:: SIN_COS4 semantic presentation

K28() is set
K32() is V1() epsilon-transitive epsilon-connected ordinal M2(K6(K28()))
K6(K28()) is set
K29() is set
omega is V1() epsilon-transitive epsilon-connected ordinal set
K6(omega) is set
K6(K32()) is set
K7(K32(),K28()) is set
K6(K7(K32(),K28())) is set
K7(K32(),K29()) is set
K6(K7(K32(),K29())) is set
K7(K29(),K29()) is set
K6(K7(K29(),K29())) is set
K7(K28(),K28()) is set
K6(K7(K28(),K28())) is set
0 is epsilon-transitive epsilon-connected ordinal natural V11() V12() real V29() M3(K28(),K32())
1 is epsilon-transitive epsilon-connected ordinal natural V11() V12() real V29() M3(K28(),K32())
cos 0 is V11() V12() real M2(K28())
sin 0 is V11() V12() real M2(K28())
th1 is V11() V12() real set
sin th1 is V11() V12() real set
cos th1 is V11() V12() real set
(sin th1) / (cos th1) is V11() V12() real set
th1 is V11() V12() real set
cos th1 is V11() V12() real set
sin th1 is V11() V12() real set
(cos th1) / (sin th1) is V11() V12() real set
th1 is V11() V12() real set
sin th1 is V11() V12() real set
1 / (sin th1) is V11() V12() real set
th1 is V11() V12() real set
cos th1 is V11() V12() real set
1 / (cos th1) is V11() V12() real set
th1 is V11() V12() real set
- th1 is V11() V12() real set
((- th1)) is V11() V12() real M2(K28())
sin (- th1) is V11() V12() real set
cos (- th1) is V11() V12() real set
(sin (- th1)) / (cos (- th1)) is V11() V12() real set
(th1) is V11() V12() real M2(K28())
sin th1 is V11() V12() real set
cos th1 is V11() V12() real set
(sin th1) / (cos th1) is V11() V12() real set
- (th1) is V11() V12() real set
(sin (- th1)) / (cos th1) is V11() V12() real set
- (sin th1) is V11() V12() real set
(- (sin th1)) / (cos th1) is V11() V12() real set
th1 is V11() V12() real set
- th1 is V11() V12() real set
((- th1)) is V11() V12() real M2(K28())
sin (- th1) is V11() V12() real set
1 / (sin (- th1)) is V11() V12() real set
sin th1 is V11() V12() real set
1 / (sin th1) is V11() V12() real set
- (1 / (sin th1)) is V11() V12() real set
- (sin th1) is V11() V12() real set
1 / (- (sin th1)) is V11() V12() real set
th1 is V11() V12() real set
- th1 is V11() V12() real set
((- th1)) is V11() V12() real M2(K28())
cos (- th1) is V11() V12() real set
sin (- th1) is V11() V12() real set
(cos (- th1)) / (sin (- th1)) is V11() V12() real set
(th1) is V11() V12() real M2(K28())
cos th1 is V11() V12() real set
sin th1 is V11() V12() real set
(cos th1) / (sin th1) is V11() V12() real set
- (th1) is V11() V12() real set
(cos th1) / (sin (- th1)) is V11() V12() real set
- (sin th1) is V11() V12() real set
(cos th1) / (- (sin th1)) is V11() V12() real set
th1 is V11() V12() real set
sin th1 is V11() V12() real set
(sin th1) * (sin th1) is V11() V12() real set
cos th1 is V11() V12() real set
(cos th1) * (cos th1) is V11() V12() real set
1 - ((cos th1) * (cos th1)) is V11() V12() real set
1 - 1 is V11() V12() real V29() set
((sin th1) * (sin th1)) + (1 - 1) is V11() V12() real set
((sin th1) * (sin th1)) + ((cos th1) * (cos th1)) is V11() V12() real set
- (((sin th1) * (sin th1)) + ((cos th1) * (cos th1))) is V11() V12() real set
- (- (((sin th1) * (sin th1)) + ((cos th1) * (cos th1)))) is V11() V12() real set
1 - (- (- (((sin th1) * (sin th1)) + ((cos th1) * (cos th1))))) is V11() V12() real set
((sin th1) * (sin th1)) + (1 - (- (- (((sin th1) * (sin th1)) + ((cos th1) * (cos th1)))))) is V11() V12() real set
th1 is V11() V12() real set
cos th1 is V11() V12() real set
(cos th1) * (cos th1) is V11() V12() real set
sin th1 is V11() V12() real set
(sin th1) * (sin th1) is V11() V12() real set
1 - ((sin th1) * (sin th1)) is V11() V12() real set
1 - 1 is V11() V12() real V29() set
((cos th1) * (cos th1)) + (1 - 1) is V11() V12() real set
((sin th1) * (sin th1)) + ((cos th1) * (cos th1)) is V11() V12() real set
- (((sin th1) * (sin th1)) + ((cos th1) * (cos th1))) is V11() V12() real set
- (- (((sin th1) * (sin th1)) + ((cos th1) * (cos th1)))) is V11() V12() real set
1 - (- (- (((sin th1) * (sin th1)) + ((cos th1) * (cos th1))))) is V11() V12() real set
((cos th1) * (cos th1)) + (1 - (- (- (((sin th1) * (sin th1)) + ((cos th1) * (cos th1)))))) is V11() V12() real set
th1 is V11() V12() real set
cos th1 is V11() V12() real set
sin th1 is V11() V12() real set
(th1) is V11() V12() real M2(K28())
(sin th1) / (cos th1) is V11() V12() real set
(cos th1) * (th1) is V11() V12() real set
(cos th1) / (cos th1) is V11() V12() real set
((cos th1) / (cos th1)) * (sin th1) is V11() V12() real set
th1 is V11() V12() real set
cos th1 is V11() V12() real set
(th1) is V11() V12() real M2(K28())
sin th1 is V11() V12() real set
(sin th1) / (cos th1) is V11() V12() real set
th2 is V11() V12() real set
cos th2 is V11() V12() real set
th1 + th2 is V11() V12() real set
((th1 + th2)) is V11() V12() real M2(K28())
sin (th1 + th2) is V11() V12() real set
cos (th1 + th2) is V11() V12() real set
(sin (th1 + th2)) / (cos (th1 + th2)) is V11() V12() real set
(th2) is V11() V12() real M2(K28())
sin th2 is V11() V12() real set
(sin th2) / (cos th2) is V11() V12() real set
(th1) + (th2) is V11() V12() real set
(th1) * (th2) is V11() V12() real set
1 - ((th1) * (th2)) is V11() V12() real set
((th1) + (th2)) / (1 - ((th1) * (th2))) is V11() V12() real set
(cos th1) * (cos th2) is V11() V12() real set
(sin (th1 + th2)) / ((cos th1) * (cos th2)) is V11() V12() real set
(cos (th1 + th2)) / ((cos th1) * (cos th2)) is V11() V12() real set
((sin (th1 + th2)) / ((cos th1) * (cos th2))) / ((cos (th1 + th2)) / ((cos th1) * (cos th2))) is V11() V12() real set
(sin th1) * (cos th2) is V11() V12() real set
(cos th1) * (sin th2) is V11() V12() real set
((sin th1) * (cos th2)) + ((cos th1) * (sin th2)) is V11() V12() real set
(((sin th1) * (cos th2)) + ((cos th1) * (sin th2))) / ((cos th1) * (cos th2)) is V11() V12() real set
((((sin th1) * (cos th2)) + ((cos th1) * (sin th2))) / ((cos th1) * (cos th2))) / ((cos (th1 + th2)) / ((cos th1) * (cos th2))) is V11() V12() real set
(sin th1) * (sin th2) is V11() V12() real set
((cos th1) * (cos th2)) - ((sin th1) * (sin th2)) is V11() V12() real set
(((cos th1) * (cos th2)) - ((sin th1) * (sin th2))) / ((cos th1) * (cos th2)) is V11() V12() real set
((((sin th1) * (cos th2)) + ((cos th1) * (sin th2))) / ((cos th1) * (cos th2))) / ((((cos th1) * (cos th2)) - ((sin th1) * (sin th2))) / ((cos th1) * (cos th2))) is V11() V12() real set
((sin th1) * (cos th2)) / ((cos th1) * (cos th2)) is V11() V12() real set
((cos th1) * (sin th2)) / ((cos th1) * (cos th2)) is V11() V12() real set
(((sin th1) * (cos th2)) / ((cos th1) * (cos th2))) + (((cos th1) * (sin th2)) / ((cos th1) * (cos th2))) is V11() V12() real set
((((sin th1) * (cos th2)) / ((cos th1) * (cos th2))) + (((cos th1) * (sin th2)) / ((cos th1) * (cos th2)))) / ((((cos th1) * (cos th2)) - ((sin th1) * (sin th2))) / ((cos th1) * (cos th2))) is V11() V12() real set
((cos th1) * (cos th2)) / ((cos th1) * (cos th2)) is V11() V12() real set
((sin th1) * (sin th2)) / ((cos th1) * (cos th2)) is V11() V12() real set
(((cos th1) * (cos th2)) / ((cos th1) * (cos th2))) - (((sin th1) * (sin th2)) / ((cos th1) * (cos th2))) is V11() V12() real set
((((sin th1) * (cos th2)) / ((cos th1) * (cos th2))) + (((cos th1) * (sin th2)) / ((cos th1) * (cos th2)))) / ((((cos th1) * (cos th2)) / ((cos th1) * (cos th2))) - (((sin th1) * (sin th2)) / ((cos th1) * (cos th2)))) is V11() V12() real set
(cos th2) / (cos th2) is V11() V12() real set
((sin th1) / (cos th1)) * ((cos th2) / (cos th2)) is V11() V12() real set
(((sin th1) / (cos th1)) * ((cos th2) / (cos th2))) + (((cos th1) * (sin th2)) / ((cos th1) * (cos th2))) is V11() V12() real set
((((sin th1) / (cos th1)) * ((cos th2) / (cos th2))) + (((cos th1) * (sin th2)) / ((cos th1) * (cos th2)))) / ((((cos th1) * (cos th2)) / ((cos th1) * (cos th2))) - (((sin th1) * (sin th2)) / ((cos th1) * (cos th2)))) is V11() V12() real set
(cos th1) / (cos th1) is V11() V12() real set
((sin th2) / (cos th2)) * ((cos th1) / (cos th1)) is V11() V12() real set
(((sin th1) / (cos th1)) * ((cos th2) / (cos th2))) + (((sin th2) / (cos th2)) * ((cos th1) / (cos th1))) is V11() V12() real set
((((sin th1) / (cos th1)) * ((cos th2) / (cos th2))) + (((sin th2) / (cos th2)) * ((cos th1) / (cos th1)))) / ((((cos th1) * (cos th2)) / ((cos th1) * (cos th2))) - (((sin th1) * (sin th2)) / ((cos th1) * (cos th2)))) is V11() V12() real set
((cos th1) / (cos th1)) * ((cos th2) / (cos th2)) is V11() V12() real set
(((cos th1) / (cos th1)) * ((cos th2) / (cos th2))) - (((sin th1) * (sin th2)) / ((cos th1) * (cos th2))) is V11() V12() real set
((((sin th1) / (cos th1)) * ((cos th2) / (cos th2))) + (((sin th2) / (cos th2)) * ((cos th1) / (cos th1)))) / ((((cos th1) / (cos th1)) * ((cos th2) / (cos th2))) - (((sin th1) * (sin th2)) / ((cos th1) * (cos th2)))) is V11() V12() real set
((sin th1) / (cos th1)) * ((sin th2) / (cos th2)) is V11() V12() real set
(((cos th1) / (cos th1)) * ((cos th2) / (cos th2))) - (((sin th1) / (cos th1)) * ((sin th2) / (cos th2))) is V11() V12() real set
((((sin th1) / (cos th1)) * ((cos th2) / (cos th2))) + (((sin th2) / (cos th2)) * ((cos th1) / (cos th1)))) / ((((cos th1) / (cos th1)) * ((cos th2) / (cos th2))) - (((sin th1) / (cos th1)) * ((sin th2) / (cos th2)))) is V11() V12() real set
((sin th1) / (cos th1)) + (((sin th2) / (cos th2)) * ((cos th1) / (cos th1))) is V11() V12() real set
(((sin th1) / (cos th1)) + (((sin th2) / (cos th2)) * ((cos th1) / (cos th1)))) / ((((cos th1) / (cos th1)) * ((cos th2) / (cos th2))) - (((sin th1) / (cos th1)) * ((sin th2) / (cos th2)))) is V11() V12() real set
((sin th1) / (cos th1)) + ((sin th2) / (cos th2)) is V11() V12() real set
(((sin th1) / (cos th1)) + ((sin th2) / (cos th2))) / ((((cos th1) / (cos th1)) * ((cos th2) / (cos th2))) - (((sin th1) / (cos th1)) * ((sin th2) / (cos th2)))) is V11() V12() real set
((cos th1) / (cos th1)) - (((sin th1) / (cos th1)) * ((sin th2) / (cos th2))) is V11() V12() real set
(((sin th1) / (cos th1)) + ((sin th2) / (cos th2))) / (((cos th1) / (cos th1)) - (((sin th1) / (cos th1)) * ((sin th2) / (cos th2)))) is V11() V12() real set
th1 is V11() V12() real set
cos th1 is V11() V12() real set
(th1) is V11() V12() real M2(K28())
sin th1 is V11() V12() real set
(sin th1) / (cos th1) is V11() V12() real set
th2 is V11() V12() real set
cos th2 is V11() V12() real set
th1 - th2 is V11() V12() real set
((th1 - th2)) is V11() V12() real M2(K28())
sin (th1 - th2) is V11() V12() real set
cos (th1 - th2) is V11() V12() real set
(sin (th1 - th2)) / (cos (th1 - th2)) is V11() V12() real set
(th2) is V11() V12() real M2(K28())
sin th2 is V11() V12() real set
(sin th2) / (cos th2) is V11() V12() real set
(th1) - (th2) is V11() V12() real set
(th1) * (th2) is V11() V12() real set
1 + ((th1) * (th2)) is V11() V12() real set
((th1) - (th2)) / (1 + ((th1) * (th2))) is V11() V12() real set
- th2 is V11() V12() real set
th1 + (- th2) is V11() V12() real set
sin (th1 + (- th2)) is V11() V12() real set
(cos th1) * (cos th2) is V11() V12() real set
(sin (th1 + (- th2))) / ((cos th1) * (cos th2)) is V11() V12() real set
cos (th1 + (- th2)) is V11() V12() real set
(cos (th1 + (- th2))) / ((cos th1) * (cos th2)) is V11() V12() real set
((sin (th1 + (- th2))) / ((cos th1) * (cos th2))) / ((cos (th1 + (- th2))) / ((cos th1) * (cos th2))) is V11() V12() real set
cos (- th2) is V11() V12() real set
(sin th1) * (cos (- th2)) is V11() V12() real set
sin (- th2) is V11() V12() real set
(cos th1) * (sin (- th2)) is V11() V12() real set
((sin th1) * (cos (- th2))) + ((cos th1) * (sin (- th2))) is V11() V12() real set
(((sin th1) * (cos (- th2))) + ((cos th1) * (sin (- th2)))) / ((cos th1) * (cos th2)) is V11() V12() real set
((((sin th1) * (cos (- th2))) + ((cos th1) * (sin (- th2)))) / ((cos th1) * (cos th2))) / ((cos (th1 + (- th2))) / ((cos th1) * (cos th2))) is V11() V12() real set
(sin th1) * (cos th2) is V11() V12() real set
((sin th1) * (cos th2)) + ((cos th1) * (sin (- th2))) is V11() V12() real set
(((sin th1) * (cos th2)) + ((cos th1) * (sin (- th2)))) / ((cos th1) * (cos th2)) is V11() V12() real set
((((sin th1) * (cos th2)) + ((cos th1) * (sin (- th2)))) / ((cos th1) * (cos th2))) / ((cos (th1 + (- th2))) / ((cos th1) * (cos th2))) is V11() V12() real set
- (sin th2) is V11() V12() real set
(cos th1) * (- (sin th2)) is V11() V12() real set
((sin th1) * (cos th2)) + ((cos th1) * (- (sin th2))) is V11() V12() real set
(((sin th1) * (cos th2)) + ((cos th1) * (- (sin th2)))) / ((cos th1) * (cos th2)) is V11() V12() real set
((((sin th1) * (cos th2)) + ((cos th1) * (- (sin th2)))) / ((cos th1) * (cos th2))) / ((cos (th1 + (- th2))) / ((cos th1) * (cos th2))) is V11() V12() real set
(cos th1) * (sin th2) is V11() V12() real set
((sin th1) * (cos th2)) - ((cos th1) * (sin th2)) is V11() V12() real set
(((sin th1) * (cos th2)) - ((cos th1) * (sin th2))) / ((cos th1) * (cos th2)) is V11() V12() real set
(cos th1) * (cos (- th2)) is V11() V12() real set
(sin th1) * (sin (- th2)) is V11() V12() real set
((cos th1) * (cos (- th2))) - ((sin th1) * (sin (- th2))) is V11() V12() real set
(((cos th1) * (cos (- th2))) - ((sin th1) * (sin (- th2)))) / ((cos th1) * (cos th2)) is V11() V12() real set
((((sin th1) * (cos th2)) - ((cos th1) * (sin th2))) / ((cos th1) * (cos th2))) / ((((cos th1) * (cos (- th2))) - ((sin th1) * (sin (- th2)))) / ((cos th1) * (cos th2))) is V11() V12() real set
((cos th1) * (cos th2)) - ((sin th1) * (sin (- th2))) is V11() V12() real set
(((cos th1) * (cos th2)) - ((sin th1) * (sin (- th2)))) / ((cos th1) * (cos th2)) is V11() V12() real set
((((sin th1) * (cos th2)) - ((cos th1) * (sin th2))) / ((cos th1) * (cos th2))) / ((((cos th1) * (cos th2)) - ((sin th1) * (sin (- th2)))) / ((cos th1) * (cos th2))) is V11() V12() real set
(sin th1) * (- (sin th2)) is V11() V12() real set
((cos th1) * (cos th2)) - ((sin th1) * (- (sin th2))) is V11() V12() real set
(((cos th1) * (cos th2)) - ((sin th1) * (- (sin th2)))) / ((cos th1) * (cos th2)) is V11() V12() real set
((((sin th1) * (cos th2)) - ((cos th1) * (sin th2))) / ((cos th1) * (cos th2))) / ((((cos th1) * (cos th2)) - ((sin th1) * (- (sin th2)))) / ((cos th1) * (cos th2))) is V11() V12() real set
((sin th1) * (cos th2)) / ((cos th1) * (cos th2)) is V11() V12() real set
((cos th1) * (sin th2)) / ((cos th1) * (cos th2)) is V11() V12() real set
(((sin th1) * (cos th2)) / ((cos th1) * (cos th2))) - (((cos th1) * (sin th2)) / ((cos th1) * (cos th2))) is V11() V12() real set
(sin th1) * (sin th2) is V11() V12() real set
((cos th1) * (cos th2)) + ((sin th1) * (sin th2)) is V11() V12() real set
(((cos th1) * (cos th2)) + ((sin th1) * (sin th2))) / ((cos th1) * (cos th2)) is V11() V12() real set
((((sin th1) * (cos th2)) / ((cos th1) * (cos th2))) - (((cos th1) * (sin th2)) / ((cos th1) * (cos th2)))) / ((((cos th1) * (cos th2)) + ((sin th1) * (sin th2))) / ((cos th1) * (cos th2))) is V11() V12() real set
((cos th1) * (cos th2)) / ((cos th1) * (cos th2)) is V11() V12() real set
((sin th1) * (sin th2)) / ((cos th1) * (cos th2)) is V11() V12() real set
(((cos th1) * (cos th2)) / ((cos th1) * (cos th2))) + (((sin th1) * (sin th2)) / ((cos th1) * (cos th2))) is V11() V12() real set
((((sin th1) * (cos th2)) / ((cos th1) * (cos th2))) - (((cos th1) * (sin th2)) / ((cos th1) * (cos th2)))) / ((((cos th1) * (cos th2)) / ((cos th1) * (cos th2))) + (((sin th1) * (sin th2)) / ((cos th1) * (cos th2)))) is V11() V12() real set
(cos th2) / (cos th2) is V11() V12() real set
((sin th1) / (cos th1)) * ((cos th2) / (cos th2)) is V11() V12() real set
(((sin th1) / (cos th1)) * ((cos th2) / (cos th2))) - (((cos th1) * (sin th2)) / ((cos th1) * (cos th2))) is V11() V12() real set
((((sin th1) / (cos th1)) * ((cos th2) / (cos th2))) - (((cos th1) * (sin th2)) / ((cos th1) * (cos th2)))) / ((((cos th1) * (cos th2)) / ((cos th1) * (cos th2))) + (((sin th1) * (sin th2)) / ((cos th1) * (cos th2)))) is V11() V12() real set
(cos th1) / (cos th1) is V11() V12() real set
((sin th2) / (cos th2)) * ((cos th1) / (cos th1)) is V11() V12() real set
(((sin th1) / (cos th1)) * ((cos th2) / (cos th2))) - (((sin th2) / (cos th2)) * ((cos th1) / (cos th1))) is V11() V12() real set
((((sin th1) / (cos th1)) * ((cos th2) / (cos th2))) - (((sin th2) / (cos th2)) * ((cos th1) / (cos th1)))) / ((((cos th1) * (cos th2)) / ((cos th1) * (cos th2))) + (((sin th1) * (sin th2)) / ((cos th1) * (cos th2)))) is V11() V12() real set
((cos th1) / (cos th1)) * ((cos th2) / (cos th2)) is V11() V12() real set
(((cos th1) / (cos th1)) * ((cos th2) / (cos th2))) + (((sin th1) * (sin th2)) / ((cos th1) * (cos th2))) is V11() V12() real set
((((sin th1) / (cos th1)) * ((cos th2) / (cos th2))) - (((sin th2) / (cos th2)) * ((cos th1) / (cos th1)))) / ((((cos th1) / (cos th1)) * ((cos th2) / (cos th2))) + (((sin th1) * (sin th2)) / ((cos th1) * (cos th2)))) is V11() V12() real set
((sin th1) / (cos th1)) * ((sin th2) / (cos th2)) is V11() V12() real set
(((cos th1) / (cos th1)) * ((cos th2) / (cos th2))) + (((sin th1) / (cos th1)) * ((sin th2) / (cos th2))) is V11() V12() real set
((((sin th1) / (cos th1)) * ((cos th2) / (cos th2))) - (((sin th2) / (cos th2)) * ((cos th1) / (cos th1)))) / ((((cos th1) / (cos th1)) * ((cos th2) / (cos th2))) + (((sin th1) / (cos th1)) * ((sin th2) / (cos th2)))) is V11() V12() real set
((sin th1) / (cos th1)) - (((sin th2) / (cos th2)) * ((cos th1) / (cos th1))) is V11() V12() real set
(((sin th1) / (cos th1)) - (((sin th2) / (cos th2)) * ((cos th1) / (cos th1)))) / ((((cos th1) / (cos th1)) * ((cos th2) / (cos th2))) + (((sin th1) / (cos th1)) * ((sin th2) / (cos th2)))) is V11() V12() real set
((sin th1) / (cos th1)) - ((sin th2) / (cos th2)) is V11() V12() real set
(((sin th1) / (cos th1)) - ((sin th2) / (cos th2))) / ((((cos th1) / (cos th1)) * ((cos th2) / (cos th2))) + (((sin th1) / (cos th1)) * ((sin th2) / (cos th2)))) is V11() V12() real set
((cos th1) / (cos th1)) + (((sin th1) / (cos th1)) * ((sin th2) / (cos th2))) is V11() V12() real set
(((sin th1) / (cos th1)) - ((sin th2) / (cos th2))) / (((cos th1) / (cos th1)) + (((sin th1) / (cos th1)) * ((sin th2) / (cos th2)))) is V11() V12() real set
th1 is V11() V12() real set
sin th1 is V11() V12() real set
(th1) is V11() V12() real M2(K28())
cos th1 is V11() V12() real set
(cos th1) / (sin th1) is V11() V12() real set
th2 is V11() V12() real set
sin th2 is V11() V12() real set
th1 + th2 is V11() V12() real set
((th1 + th2)) is V11() V12() real M2(K28())
cos (th1 + th2) is V11() V12() real set
sin (th1 + th2) is V11() V12() real set
(cos (th1 + th2)) / (sin (th1 + th2)) is V11() V12() real set
(th2) is V11() V12() real M2(K28())
cos th2 is V11() V12() real set
(cos th2) / (sin th2) is V11() V12() real set
(th1) * (th2) is V11() V12() real set
((th1) * (th2)) - 1 is V11() V12() real set
(th2) + (th1) is V11() V12() real set
(((th1) * (th2)) - 1) / ((th2) + (th1)) is V11() V12() real set
(sin th1) * (sin th2) is V11() V12() real set
(cos (th1 + th2)) / ((sin th1) * (sin th2)) is V11() V12() real set
(sin (th1 + th2)) / ((sin th1) * (sin th2)) is V11() V12() real set
((cos (th1 + th2)) / ((sin th1) * (sin th2))) / ((sin (th1 + th2)) / ((sin th1) * (sin th2))) is V11() V12() real set
(cos th1) * (cos th2) is V11() V12() real set
((cos th1) * (cos th2)) - ((sin th1) * (sin th2)) is V11() V12() real set
(((cos th1) * (cos th2)) - ((sin th1) * (sin th2))) / ((sin th1) * (sin th2)) is V11() V12() real set
((((cos th1) * (cos th2)) - ((sin th1) * (sin th2))) / ((sin th1) * (sin th2))) / ((sin (th1 + th2)) / ((sin th1) * (sin th2))) is V11() V12() real set
(sin th1) * (cos th2) is V11() V12() real set
(cos th1) * (sin th2) is V11() V12() real set
((sin th1) * (cos th2)) + ((cos th1) * (sin th2)) is V11() V12() real set
(((sin th1) * (cos th2)) + ((cos th1) * (sin th2))) / ((sin th1) * (sin th2)) is V11() V12() real set
((((cos th1) * (cos th2)) - ((sin th1) * (sin th2))) / ((sin th1) * (sin th2))) / ((((sin th1) * (cos th2)) + ((cos th1) * (sin th2))) / ((sin th1) * (sin th2))) is V11() V12() real set
((cos th1) * (cos th2)) / ((sin th1) * (sin th2)) is V11() V12() real set
((sin th1) * (sin th2)) / ((sin th1) * (sin th2)) is V11() V12() real set
(((cos th1) * (cos th2)) / ((sin th1) * (sin th2))) - (((sin th1) * (sin th2)) / ((sin th1) * (sin th2))) is V11() V12() real set
((((cos th1) * (cos th2)) / ((sin th1) * (sin th2))) - (((sin th1) * (sin th2)) / ((sin th1) * (sin th2)))) / ((((sin th1) * (cos th2)) + ((cos th1) * (sin th2))) / ((sin th1) * (sin th2))) is V11() V12() real set
((sin th1) * (cos th2)) / ((sin th1) * (sin th2)) is V11() V12() real set
((cos th1) * (sin th2)) / ((sin th1) * (sin th2)) is V11() V12() real set
(((sin th1) * (cos th2)) / ((sin th1) * (sin th2))) + (((cos th1) * (sin th2)) / ((sin th1) * (sin th2))) is V11() V12() real set
((((cos th1) * (cos th2)) / ((sin th1) * (sin th2))) - (((sin th1) * (sin th2)) / ((sin th1) * (sin th2)))) / ((((sin th1) * (cos th2)) / ((sin th1) * (sin th2))) + (((cos th1) * (sin th2)) / ((sin th1) * (sin th2)))) is V11() V12() real set
((cos th1) / (sin th1)) * ((cos th2) / (sin th2)) is V11() V12() real set
(((cos th1) / (sin th1)) * ((cos th2) / (sin th2))) - (((sin th1) * (sin th2)) / ((sin th1) * (sin th2))) is V11() V12() real set
((((cos th1) / (sin th1)) * ((cos th2) / (sin th2))) - (((sin th1) * (sin th2)) / ((sin th1) * (sin th2)))) / ((((sin th1) * (cos th2)) / ((sin th1) * (sin th2))) + (((cos th1) * (sin th2)) / ((sin th1) * (sin th2)))) is V11() V12() real set
(sin th1) / (sin th1) is V11() V12() real set
(sin th2) / (sin th2) is V11() V12() real set
((sin th1) / (sin th1)) * ((sin th2) / (sin th2)) is V11() V12() real set
(((cos th1) / (sin th1)) * ((cos th2) / (sin th2))) - (((sin th1) / (sin th1)) * ((sin th2) / (sin th2))) is V11() V12() real set
((((cos th1) / (sin th1)) * ((cos th2) / (sin th2))) - (((sin th1) / (sin th1)) * ((sin th2) / (sin th2)))) / ((((sin th1) * (cos th2)) / ((sin th1) * (sin th2))) + (((cos th1) * (sin th2)) / ((sin th1) * (sin th2)))) is V11() V12() real set
((sin th1) / (sin th1)) * ((cos th2) / (sin th2)) is V11() V12() real set
(((sin th1) / (sin th1)) * ((cos th2) / (sin th2))) + (((cos th1) * (sin th2)) / ((sin th1) * (sin th2))) is V11() V12() real set
((((cos th1) / (sin th1)) * ((cos th2) / (sin th2))) - (((sin th1) / (sin th1)) * ((sin th2) / (sin th2)))) / ((((sin th1) / (sin th1)) * ((cos th2) / (sin th2))) + (((cos th1) * (sin th2)) / ((sin th1) * (sin th2)))) is V11() V12() real set
((cos th1) / (sin th1)) * ((sin th2) / (sin th2)) is V11() V12() real set
(((sin th1) / (sin th1)) * ((cos th2) / (sin th2))) + (((cos th1) / (sin th1)) * ((sin th2) / (sin th2))) is V11() V12() real set
((((cos th1) / (sin th1)) * ((cos th2) / (sin th2))) - (((sin th1) / (sin th1)) * ((sin th2) / (sin th2)))) / ((((sin th1) / (sin th1)) * ((cos th2) / (sin th2))) + (((cos th1) / (sin th1)) * ((sin th2) / (sin th2)))) is V11() V12() real set
(((cos th1) / (sin th1)) * ((cos th2) / (sin th2))) - ((sin th1) / (sin th1)) is V11() V12() real set
((((cos th1) / (sin th1)) * ((cos th2) / (sin th2))) - ((sin th1) / (sin th1))) / ((((sin th1) / (sin th1)) * ((cos th2) / (sin th2))) + (((cos th1) / (sin th1)) * ((sin th2) / (sin th2)))) is V11() V12() real set
(((cos th1) / (sin th1)) * ((cos th2) / (sin th2))) - 1 is V11() V12() real set
((((cos th1) / (sin th1)) * ((cos th2) / (sin th2))) - 1) / ((((sin th1) / (sin th1)) * ((cos th2) / (sin th2))) + (((cos th1) / (sin th1)) * ((sin th2) / (sin th2)))) is V11() V12() real set
((cos th2) / (sin th2)) + (((cos th1) / (sin th1)) * ((sin th2) / (sin th2))) is V11() V12() real set
((((cos th1) / (sin th1)) * ((cos th2) / (sin th2))) - 1) / (((cos th2) / (sin th2)) + (((cos th1) / (sin th1)) * ((sin th2) / (sin th2)))) is V11() V12() real set
th1 is V11() V12() real set
sin th1 is V11() V12() real set
(th1) is V11() V12() real M2(K28())
cos th1 is V11() V12() real set
(cos th1) / (sin th1) is V11() V12() real set
th2 is V11() V12() real set
sin th2 is V11() V12() real set
th1 - th2 is V11() V12() real set
((th1 - th2)) is V11() V12() real M2(K28())
cos (th1 - th2) is V11() V12() real set
sin (th1 - th2) is V11() V12() real set
(cos (th1 - th2)) / (sin (th1 - th2)) is V11() V12() real set
(th2) is V11() V12() real M2(K28())
cos th2 is V11() V12() real set
(cos th2) / (sin th2) is V11() V12() real set
(th1) * (th2) is V11() V12() real set
((th1) * (th2)) + 1 is V11() V12() real set
(th2) - (th1) is V11() V12() real set
(((th1) * (th2)) + 1) / ((th2) - (th1)) is V11() V12() real set
(sin th1) * (sin th2) is V11() V12() real set
(cos (th1 - th2)) / ((sin th1) * (sin th2)) is V11() V12() real set
(sin (th1 - th2)) / ((sin th1) * (sin th2)) is V11() V12() real set
((cos (th1 - th2)) / ((sin th1) * (sin th2))) / ((sin (th1 - th2)) / ((sin th1) * (sin th2))) is V11() V12() real set
(cos th1) * (cos th2) is V11() V12() real set
((cos th1) * (cos th2)) + ((sin th1) * (sin th2)) is V11() V12() real set
(((cos th1) * (cos th2)) + ((sin th1) * (sin th2))) / ((sin th1) * (sin th2)) is V11() V12() real set
((((cos th1) * (cos th2)) + ((sin th1) * (sin th2))) / ((sin th1) * (sin th2))) / ((sin (th1 - th2)) / ((sin th1) * (sin th2))) is V11() V12() real set
(sin th1) * (cos th2) is V11() V12() real set
(cos th1) * (sin th2) is V11() V12() real set
((sin th1) * (cos th2)) - ((cos th1) * (sin th2)) is V11() V12() real set
(((sin th1) * (cos th2)) - ((cos th1) * (sin th2))) / ((sin th1) * (sin th2)) is V11() V12() real set
((((cos th1) * (cos th2)) + ((sin th1) * (sin th2))) / ((sin th1) * (sin th2))) / ((((sin th1) * (cos th2)) - ((cos th1) * (sin th2))) / ((sin th1) * (sin th2))) is V11() V12() real set
((cos th1) * (cos th2)) / ((sin th1) * (sin th2)) is V11() V12() real set
((sin th1) * (sin th2)) / ((sin th1) * (sin th2)) is V11() V12() real set
(((cos th1) * (cos th2)) / ((sin th1) * (sin th2))) + (((sin th1) * (sin th2)) / ((sin th1) * (sin th2))) is V11() V12() real set
((((cos th1) * (cos th2)) / ((sin th1) * (sin th2))) + (((sin th1) * (sin th2)) / ((sin th1) * (sin th2)))) / ((((sin th1) * (cos th2)) - ((cos th1) * (sin th2))) / ((sin th1) * (sin th2))) is V11() V12() real set
((sin th1) * (cos th2)) / ((sin th1) * (sin th2)) is V11() V12() real set
((cos th1) * (sin th2)) / ((sin th1) * (sin th2)) is V11() V12() real set
(((sin th1) * (cos th2)) / ((sin th1) * (sin th2))) - (((cos th1) * (sin th2)) / ((sin th1) * (sin th2))) is V11() V12() real set
((((cos th1) * (cos th2)) / ((sin th1) * (sin th2))) + (((sin th1) * (sin th2)) / ((sin th1) * (sin th2)))) / ((((sin th1) * (cos th2)) / ((sin th1) * (sin th2))) - (((cos th1) * (sin th2)) / ((sin th1) * (sin th2)))) is V11() V12() real set
((cos th1) / (sin th1)) * ((cos th2) / (sin th2)) is V11() V12() real set
(((cos th1) / (sin th1)) * ((cos th2) / (sin th2))) + (((sin th1) * (sin th2)) / ((sin th1) * (sin th2))) is V11() V12() real set
((((cos th1) / (sin th1)) * ((cos th2) / (sin th2))) + (((sin th1) * (sin th2)) / ((sin th1) * (sin th2)))) / ((((sin th1) * (cos th2)) / ((sin th1) * (sin th2))) - (((cos th1) * (sin th2)) / ((sin th1) * (sin th2)))) is V11() V12() real set
(sin th1) / (sin th1) is V11() V12() real set
(sin th2) / (sin th2) is V11() V12() real set
((sin th1) / (sin th1)) * ((sin th2) / (sin th2)) is V11() V12() real set
(((cos th1) / (sin th1)) * ((cos th2) / (sin th2))) + (((sin th1) / (sin th1)) * ((sin th2) / (sin th2))) is V11() V12() real set
((((cos th1) / (sin th1)) * ((cos th2) / (sin th2))) + (((sin th1) / (sin th1)) * ((sin th2) / (sin th2)))) / ((((sin th1) * (cos th2)) / ((sin th1) * (sin th2))) - (((cos th1) * (sin th2)) / ((sin th1) * (sin th2)))) is V11() V12() real set
((sin th1) / (sin th1)) * ((cos th2) / (sin th2)) is V11() V12() real set
(((sin th1) / (sin th1)) * ((cos th2) / (sin th2))) - (((cos th1) * (sin th2)) / ((sin th1) * (sin th2))) is V11() V12() real set
((((cos th1) / (sin th1)) * ((cos th2) / (sin th2))) + (((sin th1) / (sin th1)) * ((sin th2) / (sin th2)))) / ((((sin th1) / (sin th1)) * ((cos th2) / (sin th2))) - (((cos th1) * (sin th2)) / ((sin th1) * (sin th2)))) is V11() V12() real set
((cos th1) / (sin th1)) * ((sin th2) / (sin th2)) is V11() V12() real set
(((sin th1) / (sin th1)) * ((cos th2) / (sin th2))) - (((cos th1) / (sin th1)) * ((sin th2) / (sin th2))) is V11() V12() real set
((((cos th1) / (sin th1)) * ((cos th2) / (sin th2))) + (((sin th1) / (sin th1)) * ((sin th2) / (sin th2)))) / ((((sin th1) / (sin th1)) * ((cos th2) / (sin th2))) - (((cos th1) / (sin th1)) * ((sin th2) / (sin th2)))) is V11() V12() real set
(((cos th1) / (sin th1)) * ((cos th2) / (sin th2))) + ((sin th1) / (sin th1)) is V11() V12() real set
((((cos th1) / (sin th1)) * ((cos th2) / (sin th2))) + ((sin th1) / (sin th1))) / ((((sin th1) / (sin th1)) * ((cos th2) / (sin th2))) - (((cos th1) / (sin th1)) * ((sin th2) / (sin th2)))) is V11() V12() real set
(((cos th1) / (sin th1)) * ((cos th2) / (sin th2))) + 1 is V11() V12() real set
((((cos th1) / (sin th1)) * ((cos th2) / (sin th2))) + 1) / ((((sin th1) / (sin th1)) * ((cos th2) / (sin th2))) - (((cos th1) / (sin th1)) * ((sin th2) / (sin th2)))) is V11() V12() real set
((cos th2) / (sin th2)) - (((cos th1) / (sin th1)) * ((sin th2) / (sin th2))) is V11() V12() real set
((((cos th1) / (sin th1)) * ((cos th2) / (sin th2))) + 1) / (((cos th2) / (sin th2)) - (((cos th1) / (sin th1)) * ((sin th2) / (sin th2)))) is V11() V12() real set
th1 is V11() V12() real set
cos th1 is V11() V12() real set
(th1) is V11() V12() real M2(K28())
sin th1 is V11() V12() real set
(sin th1) / (cos th1) is V11() V12() real set
th2 is V11() V12() real set
cos th2 is V11() V12() real set
th1 + th2 is V11() V12() real set
(cos th1) * (cos th2) is V11() V12() real set
(th2) is V11() V12() real M2(K28())
sin th2 is V11() V12() real set
(sin th2) / (cos th2) is V11() V12() real set
(th1) + (th2) is V11() V12() real set
(th1) * (th2) is V11() V12() real set
th3 is V11() V12() real set
cos th3 is V11() V12() real set
(th1 + th2) + th3 is V11() V12() real set
sin ((th1 + th2) + th3) is V11() V12() real set
((cos th1) * (cos th2)) * (cos th3) is V11() V12() real set
(th3) is V11() V12() real M2(K28())
sin th3 is V11() V12() real set
(sin th3) / (cos th3) is V11() V12() real set
((th1) + (th2)) + (th3) is V11() V12() real set
((th1) * (th2)) * (th3) is V11() V12() real set
(((th1) + (th2)) + (th3)) - (((th1) * (th2)) * (th3)) is V11() V12() real set
(((cos th1) * (cos th2)) * (cos th3)) * ((((th1) + (th2)) + (th3)) - (((th1) * (th2)) * (th3))) is V11() V12() real set
th2 + th3 is V11() V12() real set
th1 + (th2 + th3) is V11() V12() real set
sin (th1 + (th2 + th3)) is V11() V12() real set
cos (th2 + th3) is V11() V12() real set
(sin th1) * (cos (th2 + th3)) is V11() V12() real set
sin (th2 + th3) is V11() V12() real set
(cos th1) * (sin (th2 + th3)) is V11() V12() real set
((sin th1) * (cos (th2 + th3))) + ((cos th1) * (sin (th2 + th3))) is V11() V12() real set
(cos th2) * (cos th3) is V11() V12() real set
(sin th2) * (sin th3) is V11() V12() real set
((cos th2) * (cos th3)) - ((sin th2) * (sin th3)) is V11() V12() real set
(sin th1) * (((cos th2) * (cos th3)) - ((sin th2) * (sin th3))) is V11() V12() real set
((sin th1) * (((cos th2) * (cos th3)) - ((sin th2) * (sin th3)))) + ((cos th1) * (sin (th2 + th3))) is V11() V12() real set
(sin th1) * ((cos th2) * (cos th3)) is V11() V12() real set
(sin th1) * ((sin th2) * (sin th3)) is V11() V12() real set
((sin th1) * ((cos th2) * (cos th3))) - ((sin th1) * ((sin th2) * (sin th3))) is V11() V12() real set
(sin th2) * (cos th3) is V11() V12() real set
(cos th2) * (sin th3) is V11() V12() real set
((sin th2) * (cos th3)) + ((cos th2) * (sin th3)) is V11() V12() real set
(cos th1) * (((sin th2) * (cos th3)) + ((cos th2) * (sin th3))) is V11() V12() real set
(((sin th1) * ((cos th2) * (cos th3))) - ((sin th1) * ((sin th2) * (sin th3)))) + ((cos th1) * (((sin th2) * (cos th3)) + ((cos th2) * (sin th3)))) is V11() V12() real set
(cos th1) * (th1) is V11() V12() real set
((cos th1) * (th1)) * ((cos th2) * (cos th3)) is V11() V12() real set
(((cos th1) * (th1)) * ((cos th2) * (cos th3))) - ((sin th1) * ((sin th2) * (sin th3))) is V11() V12() real set
(cos th1) * ((sin th2) * (cos th3)) is V11() V12() real set
(cos th1) * ((cos th2) * (sin th3)) is V11() V12() real set
((cos th1) * ((sin th2) * (cos th3))) + ((cos th1) * ((cos th2) * (sin th3))) is V11() V12() real set
((((cos th1) * (th1)) * ((cos th2) * (cos th3))) - ((sin th1) * ((sin th2) * (sin th3)))) + (((cos th1) * ((sin th2) * (cos th3))) + ((cos th1) * ((cos th2) * (sin th3)))) is V11() V12() real set
((cos th1) * (th1)) * ((sin th2) * (sin th3)) is V11() V12() real set
(((cos th1) * (th1)) * ((cos th2) * (cos th3))) - (((cos th1) * (th1)) * ((sin th2) * (sin th3))) is V11() V12() real set
((((cos th1) * (th1)) * ((cos th2) * (cos th3))) - (((cos th1) * (th1)) * ((sin th2) * (sin th3)))) + (((cos th1) * ((sin th2) * (cos th3))) + ((cos th1) * ((cos th2) * (sin th3)))) is V11() V12() real set
(cos th2) * (th2) is V11() V12() real set
((cos th2) * (th2)) * (sin th3) is V11() V12() real set
((cos th1) * (th1)) * (((cos th2) * (th2)) * (sin th3)) is V11() V12() real set
(((cos th1) * (th1)) * ((cos th2) * (cos th3))) - (((cos th1) * (th1)) * (((cos th2) * (th2)) * (sin th3))) is V11() V12() real set
((((cos th1) * (th1)) * ((cos th2) * (cos th3))) - (((cos th1) * (th1)) * (((cos th2) * (th2)) * (sin th3)))) + (((cos th1) * ((sin th2) * (cos th3))) + ((cos th1) * ((cos th2) * (sin th3)))) is V11() V12() real set
(cos th3) * (th3) is V11() V12() real set
((cos th2) * (th2)) * ((cos th3) * (th3)) is V11() V12() real set
((cos th1) * (th1)) * (((cos th2) * (th2)) * ((cos th3) * (th3))) is V11() V12() real set
(((cos th1) * (th1)) * ((cos th2) * (cos th3))) - (((cos th1) * (th1)) * (((cos th2) * (th2)) * ((cos th3) * (th3)))) is V11() V12() real set
((((cos th1) * (th1)) * ((cos th2) * (cos th3))) - (((cos th1) * (th1)) * (((cos th2) * (th2)) * ((cos th3) * (th3))))) + (((cos th1) * ((sin th2) * (cos th3))) + ((cos th1) * ((cos th2) * (sin th3)))) is V11() V12() real set
((cos th2) * (th2)) * (cos th3) is V11() V12() real set
(cos th1) * (((cos th2) * (th2)) * (cos th3)) is V11() V12() real set
((cos th1) * (((cos th2) * (th2)) * (cos th3))) + ((cos th1) * ((cos th2) * (sin th3))) is V11() V12() real set
((((cos th1) * (th1)) * ((cos th2) * (cos th3))) - (((cos th1) * (th1)) * (((cos th2) * (th2)) * ((cos th3) * (th3))))) + (((cos th1) * (((cos th2) * (th2)) * (cos th3))) + ((cos th1) * ((cos th2) * (sin th3)))) is V11() V12() real set
(cos th3) * (th1) is V11() V12() real set
((cos th1) * (cos th2)) * ((cos th3) * (th1)) is V11() V12() real set
((cos th1) * (cos th2)) * ((th1) * (th2)) is V11() V12() real set
(((cos th1) * (cos th2)) * ((th1) * (th2))) * ((cos th3) * (th3)) is V11() V12() real set
(((cos th1) * (cos th2)) * ((cos th3) * (th1))) - ((((cos th1) * (cos th2)) * ((th1) * (th2))) * ((cos th3) * (th3))) is V11() V12() real set
(cos th2) * ((cos th3) * (th3)) is V11() V12() real set
(cos th1) * ((cos th2) * ((cos th3) * (th3))) is V11() V12() real set
((cos th1) * (((cos th2) * (th2)) * (cos th3))) + ((cos th1) * ((cos th2) * ((cos th3) * (th3)))) is V11() V12() real set
((((cos th1) * (cos th2)) * ((cos th3) * (th1))) - ((((cos th1) * (cos th2)) * ((th1) * (th2))) * ((cos th3) * (th3)))) + (((cos th1) * (((cos th2) * (th2)) * (cos th3))) + ((cos th1) * ((cos th2) * ((cos th3) * (th3))))) is V11() V12() real set
th1 is V11() V12() real set
cos th1 is V11() V12() real set
(th1) is V11() V12() real M2(K28())
sin th1 is V11() V12() real set
(sin th1) / (cos th1) is V11() V12() real set
th2 is V11() V12() real set
cos th2 is V11() V12() real set
th1 + th2 is V11() V12() real set
(cos th1) * (cos th2) is V11() V12() real set
(th2) is V11() V12() real M2(K28())
sin th2 is V11() V12() real set
(sin th2) / (cos th2) is V11() V12() real set
(th1) * (th2) is V11() V12() real set
th3 is V11() V12() real set
cos th3 is V11() V12() real set
(th1 + th2) + th3 is V11() V12() real set
cos ((th1 + th2) + th3) is V11() V12() real set
((cos th1) * (cos th2)) * (cos th3) is V11() V12() real set
(th3) is V11() V12() real M2(K28())
sin th3 is V11() V12() real set
(sin th3) / (cos th3) is V11() V12() real set
(th2) * (th3) is V11() V12() real set
1 - ((th2) * (th3)) is V11() V12() real set
(th3) * (th1) is V11() V12() real set
(1 - ((th2) * (th3))) - ((th3) * (th1)) is V11() V12() real set
((1 - ((th2) * (th3))) - ((th3) * (th1))) - ((th1) * (th2)) is V11() V12() real set
(((cos th1) * (cos th2)) * (cos th3)) * (((1 - ((th2) * (th3))) - ((th3) * (th1))) - ((th1) * (th2))) is V11() V12() real set
th2 + th3 is V11() V12() real set
th1 + (th2 + th3) is V11() V12() real set
cos (th1 + (th2 + th3)) is V11() V12() real set
cos (th2 + th3) is V11() V12() real set
(cos th1) * (cos (th2 + th3)) is V11() V12() real set
sin (th2 + th3) is V11() V12() real set
(sin th1) * (sin (th2 + th3)) is V11() V12() real set
((cos th1) * (cos (th2 + th3))) - ((sin th1) * (sin (th2 + th3))) is V11() V12() real set
(cos th2) * (cos th3) is V11() V12() real set
(sin th2) * (sin th3) is V11() V12() real set
((cos th2) * (cos th3)) - ((sin th2) * (sin th3)) is V11() V12() real set
(cos th1) * (((cos th2) * (cos th3)) - ((sin th2) * (sin th3))) is V11() V12() real set
((cos th1) * (((cos th2) * (cos th3)) - ((sin th2) * (sin th3)))) - ((sin th1) * (sin (th2 + th3))) is V11() V12() real set
(cos th1) * ((cos th2) * (cos th3)) is V11() V12() real set
(cos th1) * ((sin th2) * (sin th3)) is V11() V12() real set
((cos th1) * ((cos th2) * (cos th3))) - ((cos th1) * ((sin th2) * (sin th3))) is V11() V12() real set
(sin th2) * (cos th3) is V11() V12() real set
(cos th2) * (sin th3) is V11() V12() real set
((sin th2) * (cos th3)) + ((cos th2) * (sin th3)) is V11() V12() real set
(sin th1) * (((sin th2) * (cos th3)) + ((cos th2) * (sin th3))) is V11() V12() real set
(((cos th1) * ((cos th2) * (cos th3))) - ((cos th1) * ((sin th2) * (sin th3)))) - ((sin th1) * (((sin th2) * (cos th3)) + ((cos th2) * (sin th3)))) is V11() V12() real set
(cos th2) * (th2) is V11() V12() real set
((cos th2) * (th2)) * (sin th3) is V11() V12() real set
(cos th1) * (((cos th2) * (th2)) * (sin th3)) is V11() V12() real set
((cos th1) * ((cos th2) * (cos th3))) - ((cos th1) * (((cos th2) * (th2)) * (sin th3))) is V11() V12() real set
(((cos th1) * ((cos th2) * (cos th3))) - ((cos th1) * (((cos th2) * (th2)) * (sin th3)))) - ((sin th1) * (((sin th2) * (cos th3)) + ((cos th2) * (sin th3)))) is V11() V12() real set
(cos th3) * (th3) is V11() V12() real set
((cos th2) * (th2)) * ((cos th3) * (th3)) is V11() V12() real set
(cos th1) * (((cos th2) * (th2)) * ((cos th3) * (th3))) is V11() V12() real set
((cos th1) * ((cos th2) * (cos th3))) - ((cos th1) * (((cos th2) * (th2)) * ((cos th3) * (th3)))) is V11() V12() real set
(((cos th1) * ((cos th2) * (cos th3))) - ((cos th1) * (((cos th2) * (th2)) * ((cos th3) * (th3))))) - ((sin th1) * (((sin th2) * (cos th3)) + ((cos th2) * (sin th3)))) is V11() V12() real set
(cos th1) * (th1) is V11() V12() real set
((cos th1) * (th1)) * (((sin th2) * (cos th3)) + ((cos th2) * (sin th3))) is V11() V12() real set
(((cos th1) * ((cos th2) * (cos th3))) - ((cos th1) * (((cos th2) * (th2)) * ((cos th3) * (th3))))) - (((cos th1) * (th1)) * (((sin th2) * (cos th3)) + ((cos th2) * (sin th3)))) is V11() V12() real set
((cos th2) * (th2)) * (cos th3) is V11() V12() real set
(((cos th2) * (th2)) * (cos th3)) + ((cos th2) * (sin th3)) is V11() V12() real set
((cos th1) * (th1)) * ((((cos th2) * (th2)) * (cos th3)) + ((cos th2) * (sin th3))) is V11() V12() real set
(((cos th1) * ((cos th2) * (cos th3))) - ((cos th1) * (((cos th2) * (th2)) * ((cos th3) * (th3))))) - (((cos th1) * (th1)) * ((((cos th2) * (th2)) * (cos th3)) + ((cos th2) * (sin th3)))) is V11() V12() real set
(((cos th1) * (cos th2)) * (cos th3)) * ((th2) * (th3)) is V11() V12() real set
(((cos th1) * (cos th2)) * (cos th3)) - ((((cos th1) * (cos th2)) * (cos th3)) * ((th2) * (th3))) is V11() V12() real set
((cos th2) * (cos th3)) * (th2) is V11() V12() real set
(cos th2) * ((cos th3) * (th3)) is V11() V12() real set
(((cos th2) * (cos th3)) * (th2)) + ((cos th2) * ((cos th3) * (th3))) is V11() V12() real set
((cos th1) * (th1)) * ((((cos th2) * (cos th3)) * (th2)) + ((cos th2) * ((cos th3) * (th3)))) is V11() V12() real set
((((cos th1) * (cos th2)) * (cos th3)) - ((((cos th1) * (cos th2)) * (cos th3)) * ((th2) * (th3)))) - (((cos th1) * (th1)) * ((((cos th2) * (cos th3)) * (th2)) + ((cos th2) * ((cos th3) * (th3))))) is V11() V12() real set
th1 is V11() V12() real set
cos th1 is V11() V12() real set
(th1) is V11() V12() real M2(K28())
sin th1 is V11() V12() real set
(sin th1) / (cos th1) is V11() V12() real set
th2 is V11() V12() real set
cos th2 is V11() V12() real set
th1 + th2 is V11() V12() real set
(th2) is V11() V12() real M2(K28())
sin th2 is V11() V12() real set
(sin th2) / (cos th2) is V11() V12() real set
(th1) + (th2) is V11() V12() real set
(th1) * (th2) is V11() V12() real set
th3 is V11() V12() real set
cos th3 is V11() V12() real set
(th1 + th2) + th3 is V11() V12() real set
(((th1 + th2) + th3)) is V11() V12() real M2(K28())
sin ((th1 + th2) + th3) is V11() V12() real set
cos ((th1 + th2) + th3) is V11() V12() real set
(sin ((th1 + th2) + th3)) / (cos ((th1 + th2) + th3)) is V11() V12() real set
(th3) is V11() V12() real M2(K28())
sin th3 is V11() V12() real set
(sin th3) / (cos th3) is V11() V12() real set
((th1) + (th2)) + (th3) is V11() V12() real set
((th1) * (th2)) * (th3) is V11() V12() real set
(((th1) + (th2)) + (th3)) - (((th1) * (th2)) * (th3)) is V11() V12() real set
(th2) * (th3) is V11() V12() real set
1 - ((th2) * (th3)) is V11() V12() real set
(th3) * (th1) is V11() V12() real set
(1 - ((th2) * (th3))) - ((th3) * (th1)) is V11() V12() real set
((1 - ((th2) * (th3))) - ((th3) * (th1))) - ((th1) * (th2)) is V11() V12() real set
((((th1) + (th2)) + (th3)) - (((th1) * (th2)) * (th3))) / (((1 - ((th2) * (th3))) - ((th3) * (th1))) - ((th1) * (th2))) is V11() V12() real set
(cos th1) * (cos th2) is V11() V12() real set
((cos th1) * (cos th2)) * (cos th3) is V11() V12() real set
(((cos th1) * (cos th2)) * (cos th3)) * ((((th1) + (th2)) + (th3)) - (((th1) * (th2)) * (th3))) is V11() V12() real set
((((cos th1) * (cos th2)) * (cos th3)) * ((((th1) + (th2)) + (th3)) - (((th1) * (th2)) * (th3)))) / (cos ((th1 + th2) + th3)) is V11() V12() real set
(((cos th1) * (cos th2)) * (cos th3)) * (((1 - ((th2) * (th3))) - ((th3) * (th1))) - ((th1) * (th2))) is V11() V12() real set
((((cos th1) * (cos th2)) * (cos th3)) * ((((th1) + (th2)) + (th3)) - (((th1) * (th2)) * (th3)))) / ((((cos th1) * (cos th2)) * (cos th3)) * (((1 - ((th2) * (th3))) - ((th3) * (th1))) - ((th1) * (th2)))) is V11() V12() real set
(((cos th1) * (cos th2)) * (cos th3)) / (((cos th1) * (cos th2)) * (cos th3)) is V11() V12() real set
(((1 - ((th2) * (th3))) - ((th3) * (th1))) - ((th1) * (th2))) / ((((th1) + (th2)) + (th3)) - (((th1) * (th2)) * (th3))) is V11() V12() real set
((((cos th1) * (cos th2)) * (cos th3)) / (((cos th1) * (cos th2)) * (cos th3))) / ((((1 - ((th2) * (th3))) - ((th3) * (th1))) - ((th1) * (th2))) / ((((th1) + (th2)) + (th3)) - (((th1) * (th2)) * (th3)))) is V11() V12() real set
1 / ((((1 - ((th2) * (th3))) - ((th3) * (th1))) - ((th1) * (th2))) / ((((th1) + (th2)) + (th3)) - (((th1) * (th2)) * (th3)))) is V11() V12() real set
th1 is V11() V12() real set
sin th1 is V11() V12() real set
(th1) is V11() V12() real M2(K28())
cos th1 is V11() V12() real set
(cos th1) / (sin th1) is V11() V12() real set
th2 is V11() V12() real set
sin th2 is V11() V12() real set
th1 + th2 is V11() V12() real set
(th2) is V11() V12() real M2(K28())
cos th2 is V11() V12() real set
(cos th2) / (sin th2) is V11() V12() real set
(th1) * (th2) is V11() V12() real set
th3 is V11() V12() real set
sin th3 is V11() V12() real set
(th1 + th2) + th3 is V11() V12() real set
(((th1 + th2) + th3)) is V11() V12() real M2(K28())
cos ((th1 + th2) + th3) is V11() V12() real set
sin ((th1 + th2) + th3) is V11() V12() real set
(cos ((th1 + th2) + th3)) / (sin ((th1 + th2) + th3)) is V11() V12() real set
(th3) is V11() V12() real M2(K28())
cos th3 is V11() V12() real set
(cos th3) / (sin th3) is V11() V12() real set
((th1) * (th2)) * (th3) is V11() V12() real set
(((th1) * (th2)) * (th3)) - (th1) is V11() V12() real set
((((th1) * (th2)) * (th3)) - (th1)) - (th2) is V11() V12() real set
(((((th1) * (th2)) * (th3)) - (th1)) - (th2)) - (th3) is V11() V12() real set
(th2) * (th3) is V11() V12() real set
(th3) * (th1) is V11() V12() real set
((th2) * (th3)) + ((th3) * (th1)) is V11() V12() real set
(((th2) * (th3)) + ((th3) * (th1))) + ((th1) * (th2)) is V11() V12() real set
((((th2) * (th3)) + ((th3) * (th1))) + ((th1) * (th2))) - 1 is V11() V12() real set
((((((th1) * (th2)) * (th3)) - (th1)) - (th2)) - (th3)) / (((((th2) * (th3)) + ((th3) * (th1))) + ((th1) * (th2))) - 1) is V11() V12() real set
(sin th1) * (sin th2) is V11() V12() real set
cos (th1 + th2) is V11() V12() real set
(cos (th1 + th2)) * (cos th3) is V11() V12() real set
sin (th1 + th2) is V11() V12() real set
(sin (th1 + th2)) * (sin th3) is V11() V12() real set
((cos (th1 + th2)) * (cos th3)) - ((sin (th1 + th2)) * (sin th3)) is V11() V12() real set
(((cos (th1 + th2)) * (cos th3)) - ((sin (th1 + th2)) * (sin th3))) / (sin ((th1 + th2) + th3)) is V11() V12() real set
(cos th1) * (cos th2) is V11() V12() real set
((cos th1) * (cos th2)) - ((sin th1) * (sin th2)) is V11() V12() real set
(((cos th1) * (cos th2)) - ((sin th1) * (sin th2))) * (cos th3) is V11() V12() real set
((((cos th1) * (cos th2)) - ((sin th1) * (sin th2))) * (cos th3)) - ((sin (th1 + th2)) * (sin th3)) is V11() V12() real set
(((((cos th1) * (cos th2)) - ((sin th1) * (sin th2))) * (cos th3)) - ((sin (th1 + th2)) * (sin th3))) / (sin ((th1 + th2) + th3)) is V11() V12() real set
(cos th3) * (((cos th1) * (cos th2)) - ((sin th1) * (sin th2))) is V11() V12() real set
(sin th1) * (cos th2) is V11() V12() real set
(cos th1) * (sin th2) is V11() V12() real set
((sin th1) * (cos th2)) + ((cos th1) * (sin th2)) is V11() V12() real set
(sin th3) * (((sin th1) * (cos th2)) + ((cos th1) * (sin th2))) is V11() V12() real set
((cos th3) * (((cos th1) * (cos th2)) - ((sin th1) * (sin th2)))) - ((sin th3) * (((sin th1) * (cos th2)) + ((cos th1) * (sin th2)))) is V11() V12() real set
(((cos th3) * (((cos th1) * (cos th2)) - ((sin th1) * (sin th2)))) - ((sin th3) * (((sin th1) * (cos th2)) + ((cos th1) * (sin th2))))) / (sin ((th1 + th2) + th3)) is V11() V12() real set
((sin th1) * (sin th2)) * (sin th3) is V11() V12() real set
(((cos th3) * (((cos th1) * (cos th2)) - ((sin th1) * (sin th2)))) - ((sin th3) * (((sin th1) * (cos th2)) + ((cos th1) * (sin th2))))) / (((sin th1) * (sin th2)) * (sin th3)) is V11() V12() real set
(sin ((th1 + th2) + th3)) / (((sin th1) * (sin th2)) * (sin th3)) is V11() V12() real set
((((cos th3) * (((cos th1) * (cos th2)) - ((sin th1) * (sin th2)))) - ((sin th3) * (((sin th1) * (cos th2)) + ((cos th1) * (sin th2))))) / (((sin th1) * (sin th2)) * (sin th3))) / ((sin ((th1 + th2) + th3)) / (((sin th1) * (sin th2)) * (sin th3))) is V11() V12() real set
(sin th3) * ((sin th1) * (sin th2)) is V11() V12() real set
((cos th3) * (((cos th1) * (cos th2)) - ((sin th1) * (sin th2)))) / ((sin th3) * ((sin th1) * (sin th2))) is V11() V12() real set
((sin th3) * (((sin th1) * (cos th2)) + ((cos th1) * (sin th2)))) / ((sin th3) * ((sin th1) * (sin th2))) is V11() V12() real set
(((cos th3) * (((cos th1) * (cos th2)) - ((sin th1) * (sin th2)))) / ((sin th3) * ((sin th1) * (sin th2)))) - (((sin th3) * (((sin th1) * (cos th2)) + ((cos th1) * (sin th2)))) / ((sin th3) * ((sin th1) * (sin th2)))) is V11() V12() real set
((((cos th3) * (((cos th1) * (cos th2)) - ((sin th1) * (sin th2)))) / ((sin th3) * ((sin th1) * (sin th2)))) - (((sin th3) * (((sin th1) * (cos th2)) + ((cos th1) * (sin th2)))) / ((sin th3) * ((sin th1) * (sin th2))))) / ((sin ((th1 + th2) + th3)) / (((sin th1) * (sin th2)) * (sin th3))) is V11() V12() real set
(((cos th1) * (cos th2)) - ((sin th1) * (sin th2))) / ((sin th1) * (sin th2)) is V11() V12() real set
(th3) * ((((cos th1) * (cos th2)) - ((sin th1) * (sin th2))) / ((sin th1) * (sin th2))) is V11() V12() real set
((th3) * ((((cos th1) * (cos th2)) - ((sin th1) * (sin th2))) / ((sin th1) * (sin th2)))) - (((sin th3) * (((sin th1) * (cos th2)) + ((cos th1) * (sin th2)))) / ((sin th3) * ((sin th1) * (sin th2)))) is V11() V12() real set
(((th3) * ((((cos th1) * (cos th2)) - ((sin th1) * (sin th2))) / ((sin th1) * (sin th2)))) - (((sin th3) * (((sin th1) * (cos th2)) + ((cos th1) * (sin th2)))) / ((sin th3) * ((sin th1) * (sin th2))))) / ((sin ((th1 + th2) + th3)) / (((sin th1) * (sin th2)) * (sin th3))) is V11() V12() real set
((cos th1) * (cos th2)) / ((sin th1) * (sin th2)) is V11() V12() real set
((sin th1) * (sin th2)) / ((sin th1) * (sin th2)) is V11() V12() real set
(((cos th1) * (cos th2)) / ((sin th1) * (sin th2))) - (((sin th1) * (sin th2)) / ((sin th1) * (sin th2))) is V11() V12() real set
(th3) * ((((cos th1) * (cos th2)) / ((sin th1) * (sin th2))) - (((sin th1) * (sin th2)) / ((sin th1) * (sin th2)))) is V11() V12() real set
((th3) * ((((cos th1) * (cos th2)) / ((sin th1) * (sin th2))) - (((sin th1) * (sin th2)) / ((sin th1) * (sin th2))))) - (((sin th3) * (((sin th1) * (cos th2)) + ((cos th1) * (sin th2)))) / ((sin th3) * ((sin th1) * (sin th2)))) is V11() V12() real set
(((th3) * ((((cos th1) * (cos th2)) / ((sin th1) * (sin th2))) - (((sin th1) * (sin th2)) / ((sin th1) * (sin th2))))) - (((sin th3) * (((sin th1) * (cos th2)) + ((cos th1) * (sin th2)))) / ((sin th3) * ((sin th1) * (sin th2))))) / ((sin ((th1 + th2) + th3)) / (((sin th1) * (sin th2)) * (sin th3))) is V11() V12() real set
(th1) * ((cos th2) / (sin th2)) is V11() V12() real set
((th1) * ((cos th2) / (sin th2))) - (((sin th1) * (sin th2)) / ((sin th1) * (sin th2))) is V11() V12() real set
(th3) * (((th1) * ((cos th2) / (sin th2))) - (((sin th1) * (sin th2)) / ((sin th1) * (sin th2)))) is V11() V12() real set
((th3) * (((th1) * ((cos th2) / (sin th2))) - (((sin th1) * (sin th2)) / ((sin th1) * (sin th2))))) - (((sin th3) * (((sin th1) * (cos th2)) + ((cos th1) * (sin th2)))) / ((sin th3) * ((sin th1) * (sin th2)))) is V11() V12() real set
(((th3) * (((th1) * ((cos th2) / (sin th2))) - (((sin th1) * (sin th2)) / ((sin th1) * (sin th2))))) - (((sin th3) * (((sin th1) * (cos th2)) + ((cos th1) * (sin th2)))) / ((sin th3) * ((sin th1) * (sin th2))))) / ((sin ((th1 + th2) + th3)) / (((sin th1) * (sin th2)) * (sin th3))) is V11() V12() real set
((th1) * (th2)) - 1 is V11() V12() real set
(th3) * (((th1) * (th2)) - 1) is V11() V12() real set
(((sin th1) * (cos th2)) + ((cos th1) * (sin th2))) * (sin th3) is V11() V12() real set
((((sin th1) * (cos th2)) + ((cos th1) * (sin th2))) * (sin th3)) / (((sin th1) * (sin th2)) * (sin th3)) is V11() V12() real set
((th3) * (((th1) * (th2)) - 1)) - (((((sin th1) * (cos th2)) + ((cos th1) * (sin th2))) * (sin th3)) / (((sin th1) * (sin th2)) * (sin th3))) is V11() V12() real set
(((th3) * (((th1) * (th2)) - 1)) - (((((sin th1) * (cos th2)) + ((cos th1) * (sin th2))) * (sin th3)) / (((sin th1) * (sin th2)) * (sin th3)))) / ((sin ((th1 + th2) + th3)) / (((sin th1) * (sin th2)) * (sin th3))) is V11() V12() real set
(((sin th1) * (cos th2)) + ((cos th1) * (sin th2))) / ((sin th1) * (sin th2)) is V11() V12() real set
((th3) * (((th1) * (th2)) - 1)) - ((((sin th1) * (cos th2)) + ((cos th1) * (sin th2))) / ((sin th1) * (sin th2))) is V11() V12() real set
(((th3) * (((th1) * (th2)) - 1)) - ((((sin th1) * (cos th2)) + ((cos th1) * (sin th2))) / ((sin th1) * (sin th2)))) / ((sin ((th1 + th2) + th3)) / (((sin th1) * (sin th2)) * (sin th3))) is V11() V12() real set
((sin th1) * (cos th2)) / ((sin th1) * (sin th2)) is V11() V12() real set
((cos th1) * (sin th2)) / ((sin th1) * (sin th2)) is V11() V12() real set
(((sin th1) * (cos th2)) / ((sin th1) * (sin th2))) + (((cos th1) * (sin th2)) / ((sin th1) * (sin th2))) is V11() V12() real set
((th3) * (((th1) * (th2)) - 1)) - ((((sin th1) * (cos th2)) / ((sin th1) * (sin th2))) + (((cos th1) * (sin th2)) / ((sin th1) * (sin th2)))) is V11() V12() real set
(((th3) * (((th1) * (th2)) - 1)) - ((((sin th1) * (cos th2)) / ((sin th1) * (sin th2))) + (((cos th1) * (sin th2)) / ((sin th1) * (sin th2))))) / ((sin ((th1 + th2) + th3)) / (((sin th1) * (sin th2)) * (sin th3))) is V11() V12() real set
((cos th2) / (sin th2)) + (((cos th1) * (sin th2)) / ((sin th1) * (sin th2))) is V11() V12() real set
((th3) * (((th1) * (th2)) - 1)) - (((cos th2) / (sin th2)) + (((cos th1) * (sin th2)) / ((sin th1) * (sin th2)))) is V11() V12() real set
(((th3) * (((th1) * (th2)) - 1)) - (((cos th2) / (sin th2)) + (((cos th1) * (sin th2)) / ((sin th1) * (sin th2))))) / ((sin ((th1 + th2) + th3)) / (((sin th1) * (sin th2)) * (sin th3))) is V11() V12() real set
(th2) + ((cos th1) / (sin th1)) is V11() V12() real set
((th3) * (((th1) * (th2)) - 1)) - ((th2) + ((cos th1) / (sin th1))) is V11() V12() real set
(((th3) * (((th1) * (th2)) - 1)) - ((th2) + ((cos th1) / (sin th1)))) / ((sin ((th1 + th2) + th3)) / (((sin th1) * (sin th2)) * (sin th3))) is V11() V12() real set
(sin (th1 + th2)) * (cos th3) is V11() V12() real set
(cos (th1 + th2)) * (sin th3) is V11() V12() real set
((sin (th1 + th2)) * (cos th3)) + ((cos (th1 + th2)) * (sin th3)) is V11() V12() real set
(((sin (th1 + th2)) * (cos th3)) + ((cos (th1 + th2)) * (sin th3))) / (((sin th1) * (sin th2)) * (sin th3)) is V11() V12() real set
((((((th1) * (th2)) * (th3)) - (th1)) - (th2)) - (th3)) / ((((sin (th1 + th2)) * (cos th3)) + ((cos (th1 + th2)) * (sin th3))) / (((sin th1) * (sin th2)) * (sin th3))) is V11() V12() real set
((sin (th1 + th2)) * (cos th3)) / (((sin th1) * (sin th2)) * (sin th3)) is V11() V12() real set
((cos (th1 + th2)) * (sin th3)) / (((sin th1) * (sin th2)) * (sin th3)) is V11() V12() real set
(((sin (th1 + th2)) * (cos th3)) / (((sin th1) * (sin th2)) * (sin th3))) + (((cos (th1 + th2)) * (sin th3)) / (((sin th1) * (sin th2)) * (sin th3))) is V11() V12() real set
((((((th1) * (th2)) * (th3)) - (th1)) - (th2)) - (th3)) / ((((sin (th1 + th2)) * (cos th3)) / (((sin th1) * (sin th2)) * (sin th3))) + (((cos (th1 + th2)) * (sin th3)) / (((sin th1) * (sin th2)) * (sin th3)))) is V11() V12() real set
(cos (th1 + th2)) / ((sin th1) * (sin th2)) is V11() V12() real set
(((sin (th1 + th2)) * (cos th3)) / (((sin th1) * (sin th2)) * (sin th3))) + ((cos (th1 + th2)) / ((sin th1) * (sin th2))) is V11() V12() real set
((((((th1) * (th2)) * (th3)) - (th1)) - (th2)) - (th3)) / ((((sin (th1 + th2)) * (cos th3)) / (((sin th1) * (sin th2)) * (sin th3))) + ((cos (th1 + th2)) / ((sin th1) * (sin th2)))) is V11() V12() real set
(sin (th1 + th2)) / ((sin th1) * (sin th2)) is V11() V12() real set
(th3) * ((sin (th1 + th2)) / ((sin th1) * (sin th2))) is V11() V12() real set
((th3) * ((sin (th1 + th2)) / ((sin th1) * (sin th2)))) + ((cos (th1 + th2)) / ((sin th1) * (sin th2))) is V11() V12() real set
((((((th1) * (th2)) * (th3)) - (th1)) - (th2)) - (th3)) / (((th3) * ((sin (th1 + th2)) / ((sin th1) * (sin th2)))) + ((cos (th1 + th2)) / ((sin th1) * (sin th2)))) is V11() V12() real set
(th3) * ((((sin th1) * (cos th2)) + ((cos th1) * (sin th2))) / ((sin th1) * (sin th2))) is V11() V12() real set
((th3) * ((((sin th1) * (cos th2)) + ((cos th1) * (sin th2))) / ((sin th1) * (sin th2)))) + ((cos (th1 + th2)) / ((sin th1) * (sin th2))) is V11() V12() real set
((((((th1) * (th2)) * (th3)) - (th1)) - (th2)) - (th3)) / (((th3) * ((((sin th1) * (cos th2)) + ((cos th1) * (sin th2))) / ((sin th1) * (sin th2)))) + ((cos (th1 + th2)) / ((sin th1) * (sin th2)))) is V11() V12() real set
(th3) * ((((sin th1) * (cos th2)) / ((sin th1) * (sin th2))) + (((cos th1) * (sin th2)) / ((sin th1) * (sin th2)))) is V11() V12() real set
((th3) * ((((sin th1) * (cos th2)) / ((sin th1) * (sin th2))) + (((cos th1) * (sin th2)) / ((sin th1) * (sin th2))))) + ((cos (th1 + th2)) / ((sin th1) * (sin th2))) is V11() V12() real set
((((((th1) * (th2)) * (th3)) - (th1)) - (th2)) - (th3)) / (((th3) * ((((sin th1) * (cos th2)) / ((sin th1) * (sin th2))) + (((cos th1) * (sin th2)) / ((sin th1) * (sin th2))))) + ((cos (th1 + th2)) / ((sin th1) * (sin th2)))) is V11() V12() real set
(th3) * (((cos th2) / (sin th2)) + (((cos th1) * (sin th2)) / ((sin th1) * (sin th2)))) is V11() V12() real set
((th3) * (((cos th2) / (sin th2)) + (((cos th1) * (sin th2)) / ((sin th1) * (sin th2))))) + ((cos (th1 + th2)) / ((sin th1) * (sin th2))) is V11() V12() real set
((((((th1) * (th2)) * (th3)) - (th1)) - (th2)) - (th3)) / (((th3) * (((cos th2) / (sin th2)) + (((cos th1) * (sin th2)) / ((sin th1) * (sin th2))))) + ((cos (th1 + th2)) / ((sin th1) * (sin th2)))) is V11() V12() real set
(th3) * ((th2) + ((cos th1) / (sin th1))) is V11() V12() real set
((th3) * ((th2) + ((cos th1) / (sin th1)))) + ((cos (th1 + th2)) / ((sin th1) * (sin th2))) is V11() V12() real set
((((((th1) * (th2)) * (th3)) - (th1)) - (th2)) - (th3)) / (((th3) * ((th2) + ((cos th1) / (sin th1)))) + ((cos (th1 + th2)) / ((sin th1) * (sin th2)))) is V11() V12() real set
(th2) + (th1) is V11() V12() real set
(th3) * ((th2) + (th1)) is V11() V12() real set
((th3) * ((th2) + (th1))) + ((((cos th1) * (cos th2)) - ((sin th1) * (sin th2))) / ((sin th1) * (sin th2))) is V11() V12() real set
((((((th1) * (th2)) * (th3)) - (th1)) - (th2)) - (th3)) / (((th3) * ((th2) + (th1))) + ((((cos th1) * (cos th2)) - ((sin th1) * (sin th2))) / ((sin th1) * (sin th2)))) is V11() V12() real set
((th3) * ((th2) + (th1))) + ((((cos th1) * (cos th2)) / ((sin th1) * (sin th2))) - (((sin th1) * (sin th2)) / ((sin th1) * (sin th2)))) is V11() V12() real set
((((((th1) * (th2)) * (th3)) - (th1)) - (th2)) - (th3)) / (((th3) * ((th2) + (th1))) + ((((cos th1) * (cos th2)) / ((sin th1) * (sin th2))) - (((sin th1) * (sin th2)) / ((sin th1) * (sin th2))))) is V11() V12() real set
(((cos th1) * (cos th2)) / ((sin th1) * (sin th2))) - 1 is V11() V12() real set
((th3) * ((th2) + (th1))) + ((((cos th1) * (cos th2)) / ((sin th1) * (sin th2))) - 1) is V11() V12() real set
((((((th1) * (th2)) * (th3)) - (th1)) - (th2)) - (th3)) / (((th3) * ((th2) + (th1))) + ((((cos th1) * (cos th2)) / ((sin th1) * (sin th2))) - 1)) is V11() V12() real set
((th1) * ((cos th2) / (sin th2))) - 1 is V11() V12() real set
((th3) * ((th2) + (th1))) + (((th1) * ((cos th2) / (sin th2))) - 1) is V11() V12() real set
((((((th1) * (th2)) * (th3)) - (th1)) - (th2)) - (th3)) / (((th3) * ((th2) + (th1))) + (((th1) * ((cos th2) / (sin th2))) - 1)) is V11() V12() real set
2 is epsilon-transitive epsilon-connected ordinal natural V11() V12() real V29() M3(K28(),K32())
th1 is V11() V12() real set
sin th1 is V11() V12() real set
th2 is V11() V12() real set
sin th2 is V11() V12() real set
(sin th1) + (sin th2) is V11() V12() real set
th1 - th2 is V11() V12() real set
(th1 - th2) / 2 is V11() V12() real set
cos ((th1 - th2) / 2) is V11() V12() real set
th1 + th2 is V11() V12() real set
(th1 + th2) / 2 is V11() V12() real set
sin ((th1 + th2) / 2) is V11() V12() real set
(cos ((th1 - th2) / 2)) * (sin ((th1 + th2) / 2)) is V11() V12() real set
2 * ((cos ((th1 - th2) / 2)) * (sin ((th1 + th2) / 2))) is V11() V12() real set
th1 / 2 is V11() V12() real set
(th1 / 2) + (th1 / 2) is V11() V12() real set
sin ((th1 / 2) + (th1 / 2)) is V11() V12() real set
th2 / 2 is V11() V12() real set
(th2 / 2) + (th2 / 2) is V11() V12() real set
sin ((th2 / 2) + (th2 / 2)) is V11() V12() real set
(sin ((th1 / 2) + (th1 / 2))) + (sin ((th2 / 2) + (th2 / 2))) is V11() V12() real set
sin (th1 / 2) is V11() V12() real set
cos (th1 / 2) is V11() V12() real set
(sin (th1 / 2)) * (cos (th1 / 2)) is V11() V12() real set
(cos (th1 / 2)) * (sin (th1 / 2)) is V11() V12() real set
((sin (th1 / 2)) * (cos (th1 / 2))) + ((cos (th1 / 2)) * (sin (th1 / 2))) is V11() V12() real set
(((sin (th1 / 2)) * (cos (th1 / 2))) + ((cos (th1 / 2)) * (sin (th1 / 2)))) + (sin ((th2 / 2) + (th2 / 2))) is V11() V12() real set
2 * ((sin (th1 / 2)) * (cos (th1 / 2))) is V11() V12() real set
sin (th2 / 2) is V11() V12() real set
cos (th2 / 2) is V11() V12() real set
(sin (th2 / 2)) * (cos (th2 / 2)) is V11() V12() real set
((sin (th2 / 2)) * (cos (th2 / 2))) + ((sin (th2 / 2)) * (cos (th2 / 2))) is V11() V12() real set
(2 * ((sin (th1 / 2)) * (cos (th1 / 2)))) + (((sin (th2 / 2)) * (cos (th2 / 2))) + ((sin (th2 / 2)) * (cos (th2 / 2)))) is V11() V12() real set
((sin (th1 / 2)) * (cos (th1 / 2))) * 1 is V11() V12() real set
(((sin (th1 / 2)) * (cos (th1 / 2))) * 1) + ((sin (th2 / 2)) * (cos (th2 / 2))) is V11() V12() real set
2 * ((((sin (th1 / 2)) * (cos (th1 / 2))) * 1) + ((sin (th2 / 2)) * (cos (th2 / 2)))) is V11() V12() real set
(cos (th2 / 2)) * (cos (th2 / 2)) is V11() V12() real set
(sin (th2 / 2)) * (sin (th2 / 2)) is V11() V12() real set
((cos (th2 / 2)) * (cos (th2 / 2))) + ((sin (th2 / 2)) * (sin (th2 / 2))) is V11() V12() real set
((sin (th1 / 2)) * (cos (th1 / 2))) * (((cos (th2 / 2)) * (cos (th2 / 2))) + ((sin (th2 / 2)) * (sin (th2 / 2)))) is V11() V12() real set
((sin (th2 / 2)) * (cos (th2 / 2))) * 1 is V11() V12() real set
(((sin (th1 / 2)) * (cos (th1 / 2))) * (((cos (th2 / 2)) * (cos (th2 / 2))) + ((sin (th2 / 2)) * (sin (th2 / 2))))) + (((sin (th2 / 2)) * (cos (th2 / 2))) * 1) is V11() V12() real set
2 * ((((sin (th1 / 2)) * (cos (th1 / 2))) * (((cos (th2 / 2)) * (cos (th2 / 2))) + ((sin (th2 / 2)) * (sin (th2 / 2))))) + (((sin (th2 / 2)) * (cos (th2 / 2))) * 1)) is V11() V12() real set
((sin (th1 / 2)) * (cos (th1 / 2))) * ((cos (th2 / 2)) * (cos (th2 / 2))) is V11() V12() real set
((sin (th1 / 2)) * (cos (th1 / 2))) * ((sin (th2 / 2)) * (sin (th2 / 2))) is V11() V12() real set
(((sin (th1 / 2)) * (cos (th1 / 2))) * ((cos (th2 / 2)) * (cos (th2 / 2)))) + (((sin (th1 / 2)) * (cos (th1 / 2))) * ((sin (th2 / 2)) * (sin (th2 / 2)))) is V11() V12() real set
(cos (th1 / 2)) * (cos (th1 / 2)) is V11() V12() real set
(sin (th1 / 2)) * (sin (th1 / 2)) is V11() V12() real set
((cos (th1 / 2)) * (cos (th1 / 2))) + ((sin (th1 / 2)) * (sin (th1 / 2))) is V11() V12() real set
((sin (th2 / 2)) * (cos (th2 / 2))) * (((cos (th1 / 2)) * (cos (th1 / 2))) + ((sin (th1 / 2)) * (sin (th1 / 2)))) is V11() V12() real set
((((sin (th1 / 2)) * (cos (th1 / 2))) * ((cos (th2 / 2)) * (cos (th2 / 2)))) + (((sin (th1 / 2)) * (cos (th1 / 2))) * ((sin (th2 / 2)) * (sin (th2 / 2))))) + (((sin (th2 / 2)) * (cos (th2 / 2))) * (((cos (th1 / 2)) * (cos (th1 / 2))) + ((sin (th1 / 2)) * (sin (th1 / 2))))) is V11() V12() real set
2 * (((((sin (th1 / 2)) * (cos (th1 / 2))) * ((cos (th2 / 2)) * (cos (th2 / 2)))) + (((sin (th1 / 2)) * (cos (th1 / 2))) * ((sin (th2 / 2)) * (sin (th2 / 2))))) + (((sin (th2 / 2)) * (cos (th2 / 2))) * (((cos (th1 / 2)) * (cos (th1 / 2))) + ((sin (th1 / 2)) * (sin (th1 / 2)))))) is V11() V12() real set
(sin (th1 / 2)) * (cos (th2 / 2)) is V11() V12() real set
(cos (th1 / 2)) * (sin (th2 / 2)) is V11() V12() real set
((sin (th1 / 2)) * (cos (th2 / 2))) + ((cos (th1 / 2)) * (sin (th2 / 2))) is V11() V12() real set
(cos (th1 / 2)) * (cos (th2 / 2)) is V11() V12() real set
(sin (th1 / 2)) * (sin (th2 / 2)) is V11() V12() real set
((cos (th1 / 2)) * (cos (th2 / 2))) + ((sin (th1 / 2)) * (sin (th2 / 2))) is V11() V12() real set
(((sin (th1 / 2)) * (cos (th2 / 2))) + ((cos (th1 / 2)) * (sin (th2 / 2)))) * (((cos (th1 / 2)) * (cos (th2 / 2))) + ((sin (th1 / 2)) * (sin (th2 / 2)))) is V11() V12() real set
2 * ((((sin (th1 / 2)) * (cos (th2 / 2))) + ((cos (th1 / 2)) * (sin (th2 / 2)))) * (((cos (th1 / 2)) * (cos (th2 / 2))) + ((sin (th1 / 2)) * (sin (th2 / 2))))) is V11() V12() real set
(th1 / 2) + (th2 / 2) is V11() V12() real set
sin ((th1 / 2) + (th2 / 2)) is V11() V12() real set
(sin ((th1 / 2) + (th2 / 2))) * (((cos (th1 / 2)) * (cos (th2 / 2))) + ((sin (th1 / 2)) * (sin (th2 / 2)))) is V11() V12() real set
2 * ((sin ((th1 / 2) + (th2 / 2))) * (((cos (th1 / 2)) * (cos (th2 / 2))) + ((sin (th1 / 2)) * (sin (th2 / 2))))) is V11() V12() real set
(th1 / 2) - (th2 / 2) is V11() V12() real set
cos ((th1 / 2) - (th2 / 2)) is V11() V12() real set
(cos ((th1 / 2) - (th2 / 2))) * (sin ((th1 + th2) / 2)) is V11() V12() real set
2 * ((cos ((th1 / 2) - (th2 / 2))) * (sin ((th1 + th2) / 2))) is V11() V12() real set
th1 is V11() V12() real set
sin th1 is V11() V12() real set
th2 is V11() V12() real set
sin th2 is V11() V12() real set
(sin th1) - (sin th2) is V11() V12() real set
th1 + th2 is V11() V12() real set
(th1 + th2) / 2 is V11() V12() real set
cos ((th1 + th2) / 2) is V11() V12() real set
th1 - th2 is V11() V12() real set
(th1 - th2) / 2 is V11() V12() real set
sin ((th1 - th2) / 2) is V11() V12() real set
(cos ((th1 + th2) / 2)) * (sin ((th1 - th2) / 2)) is V11() V12() real set
2 * ((cos ((th1 + th2) / 2)) * (sin ((th1 - th2) / 2))) is V11() V12() real set
th1 / 2 is V11() V12() real set
(th1 / 2) + (th1 / 2) is V11() V12() real set
sin ((th1 / 2) + (th1 / 2)) is V11() V12() real set
th2 / 2 is V11() V12() real set
(th2 / 2) + (th2 / 2) is V11() V12() real set
sin ((th2 / 2) + (th2 / 2)) is V11() V12() real set
(sin ((th1 / 2) + (th1 / 2))) - (sin ((th2 / 2) + (th2 / 2))) is V11() V12() real set
sin (th1 / 2) is V11() V12() real set
cos (th1 / 2) is V11() V12() real set
(sin (th1 / 2)) * (cos (th1 / 2)) is V11() V12() real set
(cos (th1 / 2)) * (sin (th1 / 2)) is V11() V12() real set
((sin (th1 / 2)) * (cos (th1 / 2))) + ((cos (th1 / 2)) * (sin (th1 / 2))) is V11() V12() real set
(((sin (th1 / 2)) * (cos (th1 / 2))) + ((cos (th1 / 2)) * (sin (th1 / 2)))) - (sin ((th2 / 2) + (th2 / 2))) is V11() V12() real set
2 * ((sin (th1 / 2)) * (cos (th1 / 2))) is V11() V12() real set
sin (th2 / 2) is V11() V12() real set
cos (th2 / 2) is V11() V12() real set
(sin (th2 / 2)) * (cos (th2 / 2)) is V11() V12() real set
((sin (th2 / 2)) * (cos (th2 / 2))) + ((sin (th2 / 2)) * (cos (th2 / 2))) is V11() V12() real set
(2 * ((sin (th1 / 2)) * (cos (th1 / 2)))) - (((sin (th2 / 2)) * (cos (th2 / 2))) + ((sin (th2 / 2)) * (cos (th2 / 2)))) is V11() V12() real set
((sin (th1 / 2)) * (cos (th1 / 2))) * 1 is V11() V12() real set
(((sin (th1 / 2)) * (cos (th1 / 2))) * 1) - ((sin (th2 / 2)) * (cos (th2 / 2))) is V11() V12() real set
2 * ((((sin (th1 / 2)) * (cos (th1 / 2))) * 1) - ((sin (th2 / 2)) * (cos (th2 / 2)))) is V11() V12() real set
(cos (th2 / 2)) * (cos (th2 / 2)) is V11() V12() real set
(sin (th2 / 2)) * (sin (th2 / 2)) is V11() V12() real set
((cos (th2 / 2)) * (cos (th2 / 2))) + ((sin (th2 / 2)) * (sin (th2 / 2))) is V11() V12() real set
((sin (th1 / 2)) * (cos (th1 / 2))) * (((cos (th2 / 2)) * (cos (th2 / 2))) + ((sin (th2 / 2)) * (sin (th2 / 2)))) is V11() V12() real set
((sin (th2 / 2)) * (cos (th2 / 2))) * 1 is V11() V12() real set
(((sin (th1 / 2)) * (cos (th1 / 2))) * (((cos (th2 / 2)) * (cos (th2 / 2))) + ((sin (th2 / 2)) * (sin (th2 / 2))))) - (((sin (th2 / 2)) * (cos (th2 / 2))) * 1) is V11() V12() real set
2 * ((((sin (th1 / 2)) * (cos (th1 / 2))) * (((cos (th2 / 2)) * (cos (th2 / 2))) + ((sin (th2 / 2)) * (sin (th2 / 2))))) - (((sin (th2 / 2)) * (cos (th2 / 2))) * 1)) is V11() V12() real set
((sin (th1 / 2)) * (cos (th1 / 2))) * ((cos (th2 / 2)) * (cos (th2 / 2))) is V11() V12() real set
((sin (th1 / 2)) * (cos (th1 / 2))) * ((sin (th2 / 2)) * (sin (th2 / 2))) is V11() V12() real set
(((sin (th1 / 2)) * (cos (th1 / 2))) * ((cos (th2 / 2)) * (cos (th2 / 2)))) + (((sin (th1 / 2)) * (cos (th1 / 2))) * ((sin (th2 / 2)) * (sin (th2 / 2)))) is V11() V12() real set
(cos (th1 / 2)) * (cos (th1 / 2)) is V11() V12() real set
(sin (th1 / 2)) * (sin (th1 / 2)) is V11() V12() real set
((cos (th1 / 2)) * (cos (th1 / 2))) + ((sin (th1 / 2)) * (sin (th1 / 2))) is V11() V12() real set
((sin (th2 / 2)) * (cos (th2 / 2))) * (((cos (th1 / 2)) * (cos (th1 / 2))) + ((sin (th1 / 2)) * (sin (th1 / 2)))) is V11() V12() real set
((((sin (th1 / 2)) * (cos (th1 / 2))) * ((cos (th2 / 2)) * (cos (th2 / 2)))) + (((sin (th1 / 2)) * (cos (th1 / 2))) * ((sin (th2 / 2)) * (sin (th2 / 2))))) - (((sin (th2 / 2)) * (cos (th2 / 2))) * (((cos (th1 / 2)) * (cos (th1 / 2))) + ((sin (th1 / 2)) * (sin (th1 / 2))))) is V11() V12() real set
2 * (((((sin (th1 / 2)) * (cos (th1 / 2))) * ((cos (th2 / 2)) * (cos (th2 / 2)))) + (((sin (th1 / 2)) * (cos (th1 / 2))) * ((sin (th2 / 2)) * (sin (th2 / 2))))) - (((sin (th2 / 2)) * (cos (th2 / 2))) * (((cos (th1 / 2)) * (cos (th1 / 2))) + ((sin (th1 / 2)) * (sin (th1 / 2)))))) is V11() V12() real set
(sin (th1 / 2)) * (cos (th2 / 2)) is V11() V12() real set
(cos (th1 / 2)) * (sin (th2 / 2)) is V11() V12() real set
((sin (th1 / 2)) * (cos (th2 / 2))) - ((cos (th1 / 2)) * (sin (th2 / 2))) is V11() V12() real set
(cos (th1 / 2)) * (cos (th2 / 2)) is V11() V12() real set
(sin (th1 / 2)) * (sin (th2 / 2)) is V11() V12() real set
- ((sin (th1 / 2)) * (sin (th2 / 2))) is V11() V12() real set
((cos (th1 / 2)) * (cos (th2 / 2))) + (- ((sin (th1 / 2)) * (sin (th2 / 2)))) is V11() V12() real set
(((sin (th1 / 2)) * (cos (th2 / 2))) - ((cos (th1 / 2)) * (sin (th2 / 2)))) * (((cos (th1 / 2)) * (cos (th2 / 2))) + (- ((sin (th1 / 2)) * (sin (th2 / 2))))) is V11() V12() real set
2 * ((((sin (th1 / 2)) * (cos (th2 / 2))) - ((cos (th1 / 2)) * (sin (th2 / 2)))) * (((cos (th1 / 2)) * (cos (th2 / 2))) + (- ((sin (th1 / 2)) * (sin (th2 / 2)))))) is V11() V12() real set
(th1 / 2) - (th2 / 2) is V11() V12() real set
sin ((th1 / 2) - (th2 / 2)) is V11() V12() real set
((cos (th1 / 2)) * (cos (th2 / 2))) - ((sin (th1 / 2)) * (sin (th2 / 2))) is V11() V12() real set
(sin ((th1 / 2) - (th2 / 2))) * (((cos (th1 / 2)) * (cos (th2 / 2))) - ((sin (th1 / 2)) * (sin (th2 / 2)))) is V11() V12() real set
2 * ((sin ((th1 / 2) - (th2 / 2))) * (((cos (th1 / 2)) * (cos (th2 / 2))) - ((sin (th1 / 2)) * (sin (th2 / 2))))) is V11() V12() real set
(th1 / 2) + (th2 / 2) is V11() V12() real set
cos ((th1 / 2) + (th2 / 2)) is V11() V12() real set
(sin ((th1 - th2) / 2)) * (cos ((th1 / 2) + (th2 / 2))) is V11() V12() real set
2 * ((sin ((th1 - th2) / 2)) * (cos ((th1 / 2) + (th2 / 2)))) is V11() V12() real set
th1 is V11() V12() real set
cos th1 is V11() V12() real set
th2 is V11() V12() real set
cos th2 is V11() V12() real set
(cos th1) + (cos th2) is V11() V12() real set
th1 + th2 is V11() V12() real set
(th1 + th2) / 2 is V11() V12() real set
cos ((th1 + th2) / 2) is V11() V12() real set
th1 - th2 is V11() V12() real set
(th1 - th2) / 2 is V11() V12() real set
cos ((th1 - th2) / 2) is V11() V12() real set
(cos ((th1 + th2) / 2)) * (cos ((th1 - th2) / 2)) is V11() V12() real set
2 * ((cos ((th1 + th2) / 2)) * (cos ((th1 - th2) / 2))) is V11() V12() real set
th1 / 2 is V11() V12() real set
(th1 / 2) + (th1 / 2) is V11() V12() real set
cos ((th1 / 2) + (th1 / 2)) is V11() V12() real set
th2 / 2 is V11() V12() real set
(th2 / 2) + (th2 / 2) is V11() V12() real set
cos ((th2 / 2) + (th2 / 2)) is V11() V12() real set
(cos ((th1 / 2) + (th1 / 2))) + (cos ((th2 / 2) + (th2 / 2))) is V11() V12() real set
cos (th1 / 2) is V11() V12() real set
(cos (th1 / 2)) * (cos (th1 / 2)) is V11() V12() real set
sin (th1 / 2) is V11() V12() real set
(sin (th1 / 2)) * (sin (th1 / 2)) is V11() V12() real set
((cos (th1 / 2)) * (cos (th1 / 2))) - ((sin (th1 / 2)) * (sin (th1 / 2))) is V11() V12() real set
(((cos (th1 / 2)) * (cos (th1 / 2))) - ((sin (th1 / 2)) * (sin (th1 / 2)))) + (cos ((th2 / 2) + (th2 / 2))) is V11() V12() real set
- ((sin (th1 / 2)) * (sin (th1 / 2))) is V11() V12() real set
((cos (th1 / 2)) * (cos (th1 / 2))) + (- ((sin (th1 / 2)) * (sin (th1 / 2)))) is V11() V12() real set
- 1 is V11() V12() real V29() set
1 + (- 1) is V11() V12() real V29() set
(((cos (th1 / 2)) * (cos (th1 / 2))) + (- ((sin (th1 / 2)) * (sin (th1 / 2))))) + (1 + (- 1)) is V11() V12() real set
cos (th2 / 2) is V11() V12() real set
(cos (th2 / 2)) * (cos (th2 / 2)) is V11() V12() real set
sin (th2 / 2) is V11() V12() real set
(sin (th2 / 2)) * (sin (th2 / 2)) is V11() V12() real set
((cos (th2 / 2)) * (cos (th2 / 2))) - ((sin (th2 / 2)) * (sin (th2 / 2))) is V11() V12() real set
((((cos (th1 / 2)) * (cos (th1 / 2))) + (- ((sin (th1 / 2)) * (sin (th1 / 2))))) + (1 + (- 1))) + (((cos (th2 / 2)) * (cos (th2 / 2))) - ((sin (th2 / 2)) * (sin (th2 / 2)))) is V11() V12() real set
(((cos (th1 / 2)) * (cos (th1 / 2))) + (- ((sin (th1 / 2)) * (sin (th1 / 2))))) + 1 is V11() V12() real set
(- 1) + (((cos (th2 / 2)) * (cos (th2 / 2))) - ((sin (th2 / 2)) * (sin (th2 / 2)))) is V11() V12() real set
((((cos (th1 / 2)) * (cos (th1 / 2))) + (- ((sin (th1 / 2)) * (sin (th1 / 2))))) + 1) + ((- 1) + (((cos (th2 / 2)) * (cos (th2 / 2))) - ((sin (th2 / 2)) * (sin (th2 / 2))))) is V11() V12() real set
((sin (th1 / 2)) * (sin (th1 / 2))) + ((cos (th1 / 2)) * (cos (th1 / 2))) is V11() V12() real set
(((cos (th1 / 2)) * (cos (th1 / 2))) + (- ((sin (th1 / 2)) * (sin (th1 / 2))))) + (((sin (th1 / 2)) * (sin (th1 / 2))) + ((cos (th1 / 2)) * (cos (th1 / 2)))) is V11() V12() real set
((((cos (th1 / 2)) * (cos (th1 / 2))) + (- ((sin (th1 / 2)) * (sin (th1 / 2))))) + (((sin (th1 / 2)) * (sin (th1 / 2))) + ((cos (th1 / 2)) * (cos (th1 / 2))))) + ((- 1) + (((cos (th2 / 2)) * (cos (th2 / 2))) - ((sin (th2 / 2)) * (sin (th2 / 2))))) is V11() V12() real set
- (- ((sin (th1 / 2)) * (sin (th1 / 2)))) is V11() V12() real set
((sin (th1 / 2)) * (sin (th1 / 2))) - (- (- ((sin (th1 / 2)) * (sin (th1 / 2))))) is V11() V12() real set
(((sin (th1 / 2)) * (sin (th1 / 2))) - (- (- ((sin (th1 / 2)) * (sin (th1 / 2)))))) + ((cos (th1 / 2)) * (cos (th1 / 2))) is V11() V12() real set
((cos (th1 / 2)) * (cos (th1 / 2))) + ((((sin (th1 / 2)) * (sin (th1 / 2))) - (- (- ((sin (th1 / 2)) * (sin (th1 / 2)))))) + ((cos (th1 / 2)) * (cos (th1 / 2)))) is V11() V12() real set
((sin (th2 / 2)) * (sin (th2 / 2))) + ((cos (th2 / 2)) * (cos (th2 / 2))) is V11() V12() real set
- (((sin (th2 / 2)) * (sin (th2 / 2))) + ((cos (th2 / 2)) * (cos (th2 / 2)))) is V11() V12() real set
(- (((sin (th2 / 2)) * (sin (th2 / 2))) + ((cos (th2 / 2)) * (cos (th2 / 2))))) + (((cos (th2 / 2)) * (cos (th2 / 2))) - ((sin (th2 / 2)) * (sin (th2 / 2)))) is V11() V12() real set
(((cos (th1 / 2)) * (cos (th1 / 2))) + ((((sin (th1 / 2)) * (sin (th1 / 2))) - (- (- ((sin (th1 / 2)) * (sin (th1 / 2)))))) + ((cos (th1 / 2)) * (cos (th1 / 2))))) + ((- (((sin (th2 / 2)) * (sin (th2 / 2))) + ((cos (th2 / 2)) * (cos (th2 / 2))))) + (((cos (th2 / 2)) * (cos (th2 / 2))) - ((sin (th2 / 2)) * (sin (th2 / 2))))) is V11() V12() real set
((sin (th2 / 2)) * (sin (th2 / 2))) * 1 is V11() V12() real set
((cos (th1 / 2)) * (cos (th1 / 2))) - (((sin (th2 / 2)) * (sin (th2 / 2))) * 1) is V11() V12() real set
2 * (((cos (th1 / 2)) * (cos (th1 / 2))) - (((sin (th2 / 2)) * (sin (th2 / 2))) * 1)) is V11() V12() real set
((cos (th1 / 2)) * (cos (th1 / 2))) + ((sin (th1 / 2)) * (sin (th1 / 2))) is V11() V12() real set
((sin (th2 / 2)) * (sin (th2 / 2))) * (((cos (th1 / 2)) * (cos (th1 / 2))) + ((sin (th1 / 2)) * (sin (th1 / 2)))) is V11() V12() real set
((cos (th1 / 2)) * (cos (th1 / 2))) - (((sin (th2 / 2)) * (sin (th2 / 2))) * (((cos (th1 / 2)) * (cos (th1 / 2))) + ((sin (th1 / 2)) * (sin (th1 / 2))))) is V11() V12() real set
2 * (((cos (th1 / 2)) * (cos (th1 / 2))) - (((sin (th2 / 2)) * (sin (th2 / 2))) * (((cos (th1 / 2)) * (cos (th1 / 2))) + ((sin (th1 / 2)) * (sin (th1 / 2)))))) is V11() V12() real set
- ((sin (th2 / 2)) * (sin (th2 / 2))) is V11() V12() real set
- (- ((sin (th2 / 2)) * (sin (th2 / 2)))) is V11() V12() real set
1 - (- (- ((sin (th2 / 2)) * (sin (th2 / 2))))) is V11() V12() real set
((cos (th1 / 2)) * (cos (th1 / 2))) * (1 - (- (- ((sin (th2 / 2)) * (sin (th2 / 2)))))) is V11() V12() real set
((sin (th2 / 2)) * (sin (th2 / 2))) * ((sin (th1 / 2)) * (sin (th1 / 2))) is V11() V12() real set
- (((sin (th2 / 2)) * (sin (th2 / 2))) * ((sin (th1 / 2)) * (sin (th1 / 2)))) is V11() V12() real set
(((cos (th1 / 2)) * (cos (th1 / 2))) * (1 - (- (- ((sin (th2 / 2)) * (sin (th2 / 2))))))) + (- (((sin (th2 / 2)) * (sin (th2 / 2))) * ((sin (th1 / 2)) * (sin (th1 / 2))))) is V11() V12() real set
2 * ((((cos (th1 / 2)) * (cos (th1 / 2))) * (1 - (- (- ((sin (th2 / 2)) * (sin (th2 / 2))))))) + (- (((sin (th2 / 2)) * (sin (th2 / 2))) * ((sin (th1 / 2)) * (sin (th1 / 2)))))) is V11() V12() real set
((cos (th2 / 2)) * (cos (th2 / 2))) + ((sin (th2 / 2)) * (sin (th2 / 2))) is V11() V12() real set
(((cos (th2 / 2)) * (cos (th2 / 2))) + ((sin (th2 / 2)) * (sin (th2 / 2)))) - (- (- ((sin (th2 / 2)) * (sin (th2 / 2))))) is V11() V12() real set
((cos (th1 / 2)) * (cos (th1 / 2))) * ((((cos (th2 / 2)) * (cos (th2 / 2))) + ((sin (th2 / 2)) * (sin (th2 / 2)))) - (- (- ((sin (th2 / 2)) * (sin (th2 / 2)))))) is V11() V12() real set
(((cos (th1 / 2)) * (cos (th1 / 2))) * ((((cos (th2 / 2)) * (cos (th2 / 2))) + ((sin (th2 / 2)) * (sin (th2 / 2)))) - (- (- ((sin (th2 / 2)) * (sin (th2 / 2))))))) + (- (((sin (th2 / 2)) * (sin (th2 / 2))) * ((sin (th1 / 2)) * (sin (th1 / 2))))) is V11() V12() real set
2 * ((((cos (th1 / 2)) * (cos (th1 / 2))) * ((((cos (th2 / 2)) * (cos (th2 / 2))) + ((sin (th2 / 2)) * (sin (th2 / 2)))) - (- (- ((sin (th2 / 2)) * (sin (th2 / 2))))))) + (- (((sin (th2 / 2)) * (sin (th2 / 2))) * ((sin (th1 / 2)) * (sin (th1 / 2)))))) is V11() V12() real set
(cos (th1 / 2)) * (cos (th2 / 2)) is V11() V12() real set
(sin (th1 / 2)) * (sin (th2 / 2)) is V11() V12() real set
((cos (th1 / 2)) * (cos (th2 / 2))) + ((sin (th1 / 2)) * (sin (th2 / 2))) is V11() V12() real set
- ((sin (th1 / 2)) * (sin (th2 / 2))) is V11() V12() real set
((cos (th1 / 2)) * (cos (th2 / 2))) + (- ((sin (th1 / 2)) * (sin (th2 / 2)))) is V11() V12() real set
(((cos (th1 / 2)) * (cos (th2 / 2))) + ((sin (th1 / 2)) * (sin (th2 / 2)))) * (((cos (th1 / 2)) * (cos (th2 / 2))) + (- ((sin (th1 / 2)) * (sin (th2 / 2))))) is V11() V12() real set
2 * ((((cos (th1 / 2)) * (cos (th2 / 2))) + ((sin (th1 / 2)) * (sin (th2 / 2)))) * (((cos (th1 / 2)) * (cos (th2 / 2))) + (- ((sin (th1 / 2)) * (sin (th2 / 2)))))) is V11() V12() real set
(th1 / 2) - (th2 / 2) is V11() V12() real set
cos ((th1 / 2) - (th2 / 2)) is V11() V12() real set
((cos (th1 / 2)) * (cos (th2 / 2))) - ((sin (th1 / 2)) * (sin (th2 / 2))) is V11() V12() real set
(cos ((th1 / 2) - (th2 / 2))) * (((cos (th1 / 2)) * (cos (th2 / 2))) - ((sin (th1 / 2)) * (sin (th2 / 2)))) is V11() V12() real set
2 * ((cos ((th1 / 2) - (th2 / 2))) * (((cos (th1 / 2)) * (cos (th2 / 2))) - ((sin (th1 / 2)) * (sin (th2 / 2))))) is V11() V12() real set
(th1 / 2) + (th2 / 2) is V11() V12() real set
cos ((th1 / 2) + (th2 / 2)) is V11() V12() real set
(cos ((th1 - th2) / 2)) * (cos ((th1 / 2) + (th2 / 2))) is V11() V12() real set
2 * ((cos ((th1 - th2) / 2)) * (cos ((th1 / 2) + (th2 / 2)))) is V11() V12() real set
th1 is V11() V12() real set
cos th1 is V11() V12() real set
th2 is V11() V12() real set
cos th2 is V11() V12() real set
(cos th1) - (cos th2) is V11() V12() real set
th1 + th2 is V11() V12() real set
(th1 + th2) / 2 is V11() V12() real set
sin ((th1 + th2) / 2) is V11() V12() real set
th1 - th2 is V11() V12() real set
(th1 - th2) / 2 is V11() V12() real set
sin ((th1 - th2) / 2) is V11() V12() real set
(sin ((th1 + th2) / 2)) * (sin ((th1 - th2) / 2)) is V11() V12() real set
2 * ((sin ((th1 + th2) / 2)) * (sin ((th1 - th2) / 2))) is V11() V12() real set
- (2 * ((sin ((th1 + th2) / 2)) * (sin ((th1 - th2) / 2)))) is V11() V12() real set
th1 / 2 is V11() V12() real set
(th1 / 2) + (th1 / 2) is V11() V12() real set
cos ((th1 / 2) + (th1 / 2)) is V11() V12() real set
th2 / 2 is V11() V12() real set
(th2 / 2) + (th2 / 2) is V11() V12() real set
cos ((th2 / 2) + (th2 / 2)) is V11() V12() real set
(cos ((th1 / 2) + (th1 / 2))) - (cos ((th2 / 2) + (th2 / 2))) is V11() V12() real set
cos (th1 / 2) is V11() V12() real set
(cos (th1 / 2)) * (cos (th1 / 2)) is V11() V12() real set
sin (th1 / 2) is V11() V12() real set
(sin (th1 / 2)) * (sin (th1 / 2)) is V11() V12() real set
((cos (th1 / 2)) * (cos (th1 / 2))) - ((sin (th1 / 2)) * (sin (th1 / 2))) is V11() V12() real set
(((cos (th1 / 2)) * (cos (th1 / 2))) - ((sin (th1 / 2)) * (sin (th1 / 2)))) - (cos ((th2 / 2) + (th2 / 2))) is V11() V12() real set
- ((sin (th1 / 2)) * (sin (th1 / 2))) is V11() V12() real set
((cos (th1 / 2)) * (cos (th1 / 2))) + (- ((sin (th1 / 2)) * (sin (th1 / 2)))) is V11() V12() real set
- 1 is V11() V12() real V29() set
1 + (- 1) is V11() V12() real V29() set
(((cos (th1 / 2)) * (cos (th1 / 2))) + (- ((sin (th1 / 2)) * (sin (th1 / 2))))) + (1 + (- 1)) is V11() V12() real set
cos (th2 / 2) is V11() V12() real set
(cos (th2 / 2)) * (cos (th2 / 2)) is V11() V12() real set
sin (th2 / 2) is V11() V12() real set
(sin (th2 / 2)) * (sin (th2 / 2)) is V11() V12() real set
((cos (th2 / 2)) * (cos (th2 / 2))) - ((sin (th2 / 2)) * (sin (th2 / 2))) is V11() V12() real set
((((cos (th1 / 2)) * (cos (th1 / 2))) + (- ((sin (th1 / 2)) * (sin (th1 / 2))))) + (1 + (- 1))) - (((cos (th2 / 2)) * (cos (th2 / 2))) - ((sin (th2 / 2)) * (sin (th2 / 2)))) is V11() V12() real set
(((cos (th1 / 2)) * (cos (th1 / 2))) + (- ((sin (th1 / 2)) * (sin (th1 / 2))))) + 1 is V11() V12() real set
- ((cos (th2 / 2)) * (cos (th2 / 2))) is V11() V12() real set
(- ((cos (th2 / 2)) * (cos (th2 / 2)))) + ((sin (th2 / 2)) * (sin (th2 / 2))) is V11() V12() real set
(- 1) + ((- ((cos (th2 / 2)) * (cos (th2 / 2)))) + ((sin (th2 / 2)) * (sin (th2 / 2)))) is V11() V12() real set
((((cos (th1 / 2)) * (cos (th1 / 2))) + (- ((sin (th1 / 2)) * (sin (th1 / 2))))) + 1) + ((- 1) + ((- ((cos (th2 / 2)) * (cos (th2 / 2)))) + ((sin (th2 / 2)) * (sin (th2 / 2))))) is V11() V12() real set
((sin (th1 / 2)) * (sin (th1 / 2))) + ((cos (th1 / 2)) * (cos (th1 / 2))) is V11() V12() real set
(((cos (th1 / 2)) * (cos (th1 / 2))) + (- ((sin (th1 / 2)) * (sin (th1 / 2))))) + (((sin (th1 / 2)) * (sin (th1 / 2))) + ((cos (th1 / 2)) * (cos (th1 / 2)))) is V11() V12() real set
((((cos (th1 / 2)) * (cos (th1 / 2))) + (- ((sin (th1 / 2)) * (sin (th1 / 2))))) + (((sin (th1 / 2)) * (sin (th1 / 2))) + ((cos (th1 / 2)) * (cos (th1 / 2))))) + ((- 1) + ((- ((cos (th2 / 2)) * (cos (th2 / 2)))) + ((sin (th2 / 2)) * (sin (th2 / 2))))) is V11() V12() real set
- (- ((sin (th1 / 2)) * (sin (th1 / 2)))) is V11() V12() real set
((sin (th1 / 2)) * (sin (th1 / 2))) - (- (- ((sin (th1 / 2)) * (sin (th1 / 2))))) is V11() V12() real set
(((sin (th1 / 2)) * (sin (th1 / 2))) - (- (- ((sin (th1 / 2)) * (sin (th1 / 2)))))) + ((cos (th1 / 2)) * (cos (th1 / 2))) is V11() V12() real set
((cos (th1 / 2)) * (cos (th1 / 2))) + ((((sin (th1 / 2)) * (sin (th1 / 2))) - (- (- ((sin (th1 / 2)) * (sin (th1 / 2)))))) + ((cos (th1 / 2)) * (cos (th1 / 2)))) is V11() V12() real set
((sin (th2 / 2)) * (sin (th2 / 2))) + ((cos (th2 / 2)) * (cos (th2 / 2))) is V11() V12() real set
- (((sin (th2 / 2)) * (sin (th2 / 2))) + ((cos (th2 / 2)) * (cos (th2 / 2)))) is V11() V12() real set
(- (((sin (th2 / 2)) * (sin (th2 / 2))) + ((cos (th2 / 2)) * (cos (th2 / 2))))) + ((- ((cos (th2 / 2)) * (cos (th2 / 2)))) + ((sin (th2 / 2)) * (sin (th2 / 2)))) is V11() V12() real set
(((cos (th1 / 2)) * (cos (th1 / 2))) + ((((sin (th1 / 2)) * (sin (th1 / 2))) - (- (- ((sin (th1 / 2)) * (sin (th1 / 2)))))) + ((cos (th1 / 2)) * (cos (th1 / 2))))) + ((- (((sin (th2 / 2)) * (sin (th2 / 2))) + ((cos (th2 / 2)) * (cos (th2 / 2))))) + ((- ((cos (th2 / 2)) * (cos (th2 / 2)))) + ((sin (th2 / 2)) * (sin (th2 / 2))))) is V11() V12() real set
((cos (th1 / 2)) * (cos (th1 / 2))) * 1 is V11() V12() real set
(((cos (th1 / 2)) * (cos (th1 / 2))) * 1) - ((cos (th2 / 2)) * (cos (th2 / 2))) is V11() V12() real set
2 * ((((cos (th1 / 2)) * (cos (th1 / 2))) * 1) - ((cos (th2 / 2)) * (cos (th2 / 2)))) is V11() V12() real set
((cos (th1 / 2)) * (cos (th1 / 2))) * (((sin (th2 / 2)) * (sin (th2 / 2))) + ((cos (th2 / 2)) * (cos (th2 / 2)))) is V11() V12() real set
(((cos (th1 / 2)) * (cos (th1 / 2))) * (((sin (th2 / 2)) * (sin (th2 / 2))) + ((cos (th2 / 2)) * (cos (th2 / 2))))) - ((cos (th2 / 2)) * (cos (th2 / 2))) is V11() V12() real set
2 * ((((cos (th1 / 2)) * (cos (th1 / 2))) * (((sin (th2 / 2)) * (sin (th2 / 2))) + ((cos (th2 / 2)) * (cos (th2 / 2))))) - ((cos (th2 / 2)) * (cos (th2 / 2)))) is V11() V12() real set
((cos (th1 / 2)) * (cos (th1 / 2))) * ((sin (th2 / 2)) * (sin (th2 / 2))) is V11() V12() real set
- (- 1) is V11() V12() real V29() set
((cos (th1 / 2)) * (cos (th1 / 2))) - (- (- 1)) is V11() V12() real set
((cos (th2 / 2)) * (cos (th2 / 2))) * (((cos (th1 / 2)) * (cos (th1 / 2))) - (- (- 1))) is V11() V12() real set
(((cos (th1 / 2)) * (cos (th1 / 2))) * ((sin (th2 / 2)) * (sin (th2 / 2)))) + (((cos (th2 / 2)) * (cos (th2 / 2))) * (((cos (th1 / 2)) * (cos (th1 / 2))) - (- (- 1)))) is V11() V12() real set
2 * ((((cos (th1 / 2)) * (cos (th1 / 2))) * ((sin (th2 / 2)) * (sin (th2 / 2)))) + (((cos (th2 / 2)) * (cos (th2 / 2))) * (((cos (th1 / 2)) * (cos (th1 / 2))) - (- (- 1))))) is V11() V12() real set
((cos (th1 / 2)) * (cos (th1 / 2))) + ((sin (th1 / 2)) * (sin (th1 / 2))) is V11() V12() real set
- (((cos (th1 / 2)) * (cos (th1 / 2))) + ((sin (th1 / 2)) * (sin (th1 / 2)))) is V11() V12() real set
- (- (((cos (th1 / 2)) * (cos (th1 / 2))) + ((sin (th1 / 2)) * (sin (th1 / 2))))) is V11() V12() real set
((cos (th1 / 2)) * (cos (th1 / 2))) - (- (- (((cos (th1 / 2)) * (cos (th1 / 2))) + ((sin (th1 / 2)) * (sin (th1 / 2)))))) is V11() V12() real set
((cos (th2 / 2)) * (cos (th2 / 2))) * (((cos (th1 / 2)) * (cos (th1 / 2))) - (- (- (((cos (th1 / 2)) * (cos (th1 / 2))) + ((sin (th1 / 2)) * (sin (th1 / 2))))))) is V11() V12() real set
(((cos (th1 / 2)) * (cos (th1 / 2))) * ((sin (th2 / 2)) * (sin (th2 / 2)))) + (((cos (th2 / 2)) * (cos (th2 / 2))) * (((cos (th1 / 2)) * (cos (th1 / 2))) - (- (- (((cos (th1 / 2)) * (cos (th1 / 2))) + ((sin (th1 / 2)) * (sin (th1 / 2)))))))) is V11() V12() real set
2 * ((((cos (th1 / 2)) * (cos (th1 / 2))) * ((sin (th2 / 2)) * (sin (th2 / 2)))) + (((cos (th2 / 2)) * (cos (th2 / 2))) * (((cos (th1 / 2)) * (cos (th1 / 2))) - (- (- (((cos (th1 / 2)) * (cos (th1 / 2))) + ((sin (th1 / 2)) * (sin (th1 / 2))))))))) is V11() V12() real set
(sin (th1 / 2)) * (cos (th2 / 2)) is V11() V12() real set
(cos (th1 / 2)) * (sin (th2 / 2)) is V11() V12() real set
- ((cos (th1 / 2)) * (sin (th2 / 2))) is V11() V12() real set
- (- ((cos (th1 / 2)) * (sin (th2 / 2)))) is V11() V12() real set
((sin (th1 / 2)) * (cos (th2 / 2))) - (- (- ((cos (th1 / 2)) * (sin (th2 / 2))))) is V11() V12() real set
((sin (th1 / 2)) * (cos (th2 / 2))) + ((cos (th1 / 2)) * (sin (th2 / 2))) is V11() V12() real set
(((sin (th1 / 2)) * (cos (th2 / 2))) - (- (- ((cos (th1 / 2)) * (sin (th2 / 2)))))) * (((sin (th1 / 2)) * (cos (th2 / 2))) + ((cos (th1 / 2)) * (sin (th2 / 2)))) is V11() V12() real set
2 * ((((sin (th1 / 2)) * (cos (th2 / 2))) - (- (- ((cos (th1 / 2)) * (sin (th2 / 2)))))) * (((sin (th1 / 2)) * (cos (th2 / 2))) + ((cos (th1 / 2)) * (sin (th2 / 2))))) is V11() V12() real set
- (2 * ((((sin (th1 / 2)) * (cos (th2 / 2))) - (- (- ((cos (th1 / 2)) * (sin (th2 / 2)))))) * (((sin (th1 / 2)) * (cos (th2 / 2))) + ((cos (th1 / 2)) * (sin (th2 / 2)))))) is V11() V12() real set
(th1 / 2) + (th2 / 2) is V11() V12() real set
sin ((th1 / 2) + (th2 / 2)) is V11() V12() real set
((sin (th1 / 2)) * (cos (th2 / 2))) - ((cos (th1 / 2)) * (sin (th2 / 2))) is V11() V12() real set
(sin ((th1 / 2) + (th2 / 2))) * (((sin (th1 / 2)) * (cos (th2 / 2))) - ((cos (th1 / 2)) * (sin (th2 / 2)))) is V11() V12() real set
2 * ((sin ((th1 / 2) + (th2 / 2))) * (((sin (th1 / 2)) * (cos (th2 / 2))) - ((cos (th1 / 2)) * (sin (th2 / 2))))) is V11() V12() real set
- (2 * ((sin ((th1 / 2) + (th2 / 2))) * (((sin (th1 / 2)) * (cos (th2 / 2))) - ((cos (th1 / 2)) * (sin (th2 / 2)))))) is V11() V12() real set
(th1 / 2) - (th2 / 2) is V11() V12() real set
sin ((th1 / 2) - (th2 / 2)) is V11() V12() real set
(sin ((th1 + th2) / 2)) * (sin ((th1 / 2) - (th2 / 2))) is V11() V12() real set
2 * ((sin ((th1 + th2) / 2)) * (sin ((th1 / 2) - (th2 / 2)))) is V11() V12() real set
- (2 * ((sin ((th1 + th2) / 2)) * (sin ((th1 / 2) - (th2 / 2))))) is V11() V12() real set
th1 is V11() V12() real set
cos th1 is V11() V12() real set
(th1) is V11() V12() real M2(K28())
sin th1 is V11() V12() real set
(sin th1) / (cos th1) is V11() V12() real set
th2 is V11() V12() real set
cos th2 is V11() V12() real set
(th2) is V11() V12() real M2(K28())
sin th2 is V11() V12() real set
(sin th2) / (cos th2) is V11() V12() real set
(th1) + (th2) is V11() V12() real set
th1 + th2 is V11() V12() real set
sin (th1 + th2) is V11() V12() real set
(cos th1) * (cos th2) is V11() V12() real set
(sin (th1 + th2)) / ((cos th1) * (cos th2)) is V11() V12() real set
(sin th1) * (cos th2) is V11() V12() real set
(sin th2) * (cos th1) is V11() V12() real set
((sin th1) * (cos th2)) + ((sin th2) * (cos th1)) is V11() V12() real set
(((sin th1) * (cos th2)) + ((sin th2) * (cos th1))) / ((cos th1) * (cos th2)) is V11() V12() real set
th1 is V11() V12() real set
cos th1 is V11() V12() real set
(th1) is V11() V12() real M2(K28())
sin th1 is V11() V12() real set
(sin th1) / (cos th1) is V11() V12() real set
th2 is V11() V12() real set
cos th2 is V11() V12() real set
(th2) is V11() V12() real M2(K28())
sin th2 is V11() V12() real set
(sin th2) / (cos th2) is V11() V12() real set
(th1) - (th2) is V11() V12() real set
th1 - th2 is V11() V12() real set
sin (th1 - th2) is V11() V12() real set
(cos th1) * (cos th2) is V11() V12() real set
(sin (th1 - th2)) / ((cos th1) * (cos th2)) is V11() V12() real set
(sin th1) * (cos th2) is V11() V12() real set
(sin th2) * (cos th1) is V11() V12() real set
((sin th1) * (cos th2)) - ((sin th2) * (cos th1)) is V11() V12() real set
(((sin th1) * (cos th2)) - ((sin th2) * (cos th1))) / ((cos th1) * (cos th2)) is V11() V12() real set
th1 is V11() V12() real set
cos th1 is V11() V12() real set
(th1) is V11() V12() real M2(K28())
sin th1 is V11() V12() real set
(sin th1) / (cos th1) is V11() V12() real set
th2 is V11() V12() real set
sin th2 is V11() V12() real set
(th2) is V11() V12() real M2(K28())
cos th2 is V11() V12() real set
(cos th2) / (sin th2) is V11() V12() real set
(th1) + (th2) is V11() V12() real set
th1 - th2 is V11() V12() real set
cos (th1 - th2) is V11() V12() real set
(cos th1) * (sin th2) is V11() V12() real set
(cos (th1 - th2)) / ((cos th1) * (sin th2)) is V11() V12() real set
(cos th1) * (cos th2) is V11() V12() real set
(sin th1) * (sin th2) is V11() V12() real set
((cos th1) * (cos th2)) + ((sin th1) * (sin th2)) is V11() V12() real set
(((cos th1) * (cos th2)) + ((sin th1) * (sin th2))) / ((cos th1) * (sin th2)) is V11() V12() real set
th1 is V11() V12() real set
cos th1 is V11() V12() real set
(th1) is V11() V12() real M2(K28())
sin th1 is V11() V12() real set
(sin th1) / (cos th1) is V11() V12() real set
th2 is V11() V12() real set
sin th2 is V11() V12() real set
(th2) is V11() V12() real M2(K28())
cos th2 is V11() V12() real set
(cos th2) / (sin th2) is V11() V12() real set
(th1) - (th2) is V11() V12() real set
th1 + th2 is V11() V12() real set
cos (th1 + th2) is V11() V12() real set
(cos th1) * (sin th2) is V11() V12() real set
(cos (th1 + th2)) / ((cos th1) * (sin th2)) is V11() V12() real set
- ((cos (th1 + th2)) / ((cos th1) * (sin th2))) is V11() V12() real set
(sin th1) * (sin th2) is V11() V12() real set
(cos th1) * (cos th2) is V11() V12() real set
- ((cos th1) * (cos th2)) is V11() V12() real set
- (- ((cos th1) * (cos th2))) is V11() V12() real set
((sin th1) * (sin th2)) - (- (- ((cos th1) * (cos th2)))) is V11() V12() real set
(((sin th1) * (sin th2)) - (- (- ((cos th1) * (cos th2))))) / ((cos th1) * (sin th2)) is V11() V12() real set
((cos th1) * (cos th2)) - ((sin th1) * (sin th2)) is V11() V12() real set
- (((cos th1) * (cos th2)) - ((sin th1) * (sin th2))) is V11() V12() real set
(- (((cos th1) * (cos th2)) - ((sin th1) * (sin th2)))) / ((cos th1) * (sin th2)) is V11() V12() real set
(((cos th1) * (cos th2)) - ((sin th1) * (sin th2))) / ((cos th1) * (sin th2)) is V11() V12() real set
- ((((cos th1) * (cos th2)) - ((sin th1) * (sin th2))) / ((cos th1) * (sin th2))) is V11() V12() real set
th1 is V11() V12() real set
sin th1 is V11() V12() real set
(th1) is V11() V12() real M2(K28())
cos th1 is V11() V12() real set
(cos th1) / (sin th1) is V11() V12() real set
th2 is V11() V12() real set
sin th2 is V11() V12() real set
(th2) is V11() V12() real M2(K28())
cos th2 is V11() V12() real set
(cos th2) / (sin th2) is V11() V12() real set
(th1) + (th2) is V11() V12() real set
th1 + th2 is V11() V12() real set
sin (th1 + th2) is V11() V12() real set
(sin th1) * (sin th2) is V11() V12() real set
(sin (th1 + th2)) / ((sin th1) * (sin th2)) is V11() V12() real set
(cos th1) * (sin th2) is V11() V12() real set
(cos th2) * (sin th1) is V11() V12() real set
((cos th1) * (sin th2)) + ((cos th2) * (sin th1)) is V11() V12() real set
(((cos th1) * (sin th2)) + ((cos th2) * (sin th1))) / ((sin th1) * (sin th2)) is V11() V12() real set
th1 is V11() V12() real set
sin th1 is V11() V12() real set
(th1) is V11() V12() real M2(K28())
cos th1 is V11() V12() real set
(cos th1) / (sin th1) is V11() V12() real set
th2 is V11() V12() real set
sin th2 is V11() V12() real set
(th2) is V11() V12() real M2(K28())
cos th2 is V11() V12() real set
(cos th2) / (sin th2) is V11() V12() real set
(th1) - (th2) is V11() V12() real set
th1 - th2 is V11() V12() real set
sin (th1 - th2) is V11() V12() real set
(sin th1) * (sin th2) is V11() V12() real set
(sin (th1 - th2)) / ((sin th1) * (sin th2)) is V11() V12() real set
- ((sin (th1 - th2)) / ((sin th1) * (sin th2))) is V11() V12() real set
(cos th1) * (sin th2) is V11() V12() real set
(cos th2) * (sin th1) is V11() V12() real set
- ((cos th2) * (sin th1)) is V11() V12() real set
- (- ((cos th2) * (sin th1))) is V11() V12() real set
((cos th1) * (sin th2)) - (- (- ((cos th2) * (sin th1)))) is V11() V12() real set
(((cos th1) * (sin th2)) - (- (- ((cos th2) * (sin th1))))) / ((sin th1) * (sin th2)) is V11() V12() real set
(sin th1) * (cos th2) is V11() V12() real set
((sin th1) * (cos th2)) - ((cos th1) * (sin th2)) is V11() V12() real set
- (((sin th1) * (cos th2)) - ((cos th1) * (sin th2))) is V11() V12() real set
(- (((sin th1) * (cos th2)) - ((cos th1) * (sin th2)))) / ((sin th1) * (sin th2)) is V11() V12() real set
- (sin (th1 - th2)) is V11() V12() real set
(- (sin (th1 - th2))) / ((sin th1) * (sin th2)) is V11() V12() real set
th1 is V11() V12() real set
sin th1 is V11() V12() real set
th2 is V11() V12() real set
th1 + th2 is V11() V12() real set
sin (th1 + th2) is V11() V12() real set
th1 - th2 is V11() V12() real set
sin (th1 - th2) is V11() V12() real set
(sin (th1 + th2)) + (sin (th1 - th2)) is V11() V12() real set
cos th2 is V11() V12() real set
(sin th1) * (cos th2) is V11() V12() real set
2 * ((sin th1) * (cos th2)) is V11() V12() real set
cos th1 is V11() V12() real set
sin th2 is V11() V12() real set
(cos th1) * (sin th2) is V11() V12() real set
((sin th1) * (cos th2)) + ((cos th1) * (sin th2)) is V11() V12() real set
(((sin th1) * (cos th2)) + ((cos th1) * (sin th2))) + (sin (th1 - th2)) is V11() V12() real set
- ((cos th1) * (sin th2)) is V11() V12() real set
- (- ((cos th1) * (sin th2))) is V11() V12() real set
((sin th1) * (cos th2)) - (- (- ((cos th1) * (sin th2)))) is V11() V12() real set
(((sin th1) * (cos th2)) + ((cos th1) * (sin th2))) + (((sin th1) * (cos th2)) - (- (- ((cos th1) * (sin th2))))) is V11() V12() real set
th1 is V11() V12() real set
cos th1 is V11() V12() real set
th2 is V11() V12() real set
th1 + th2 is V11() V12() real set
sin (th1 + th2) is V11() V12() real set
th1 - th2 is V11() V12() real set
sin (th1 - th2) is V11() V12() real set
(sin (th1 + th2)) - (sin (th1 - th2)) is V11() V12() real set
sin th2 is V11() V12() real set
(cos th1) * (sin th2) is V11() V12() real set
2 * ((cos th1) * (sin th2)) is V11() V12() real set
sin th1 is V11() V12() real set
cos th2 is V11() V12() real set
(sin th1) * (cos th2) is V11() V12() real set
((sin th1) * (cos th2)) + ((cos th1) * (sin th2)) is V11() V12() real set
(((sin th1) * (cos th2)) + ((cos th1) * (sin th2))) - (sin (th1 - th2)) is V11() V12() real set
((sin th1) * (cos th2)) - ((cos th1) * (sin th2)) is V11() V12() real set
- (((sin th1) * (cos th2)) - ((cos th1) * (sin th2))) is V11() V12() real set
- (- (((sin th1) * (cos th2)) - ((cos th1) * (sin th2)))) is V11() V12() real set
(((sin th1) * (cos th2)) + ((cos th1) * (sin th2))) - (- (- (((sin th1) * (cos th2)) - ((cos th1) * (sin th2))))) is V11() V12() real set
th1 is V11() V12() real set
cos th1 is V11() V12() real set
th2 is V11() V12() real set
th1 + th2 is V11() V12() real set
cos (th1 + th2) is V11() V12() real set
th1 - th2 is V11() V12() real set
cos (th1 - th2) is V11() V12() real set
(cos (th1 + th2)) + (cos (th1 - th2)) is V11() V12() real set
cos th2 is V11() V12() real set
(cos th1) * (cos th2) is V11() V12() real set
2 * ((cos th1) * (cos th2)) is V11() V12() real set
sin th1 is V11() V12() real set
sin th2 is V11() V12() real set
(sin th1) * (sin th2) is V11() V12() real set
((cos th1) * (cos th2)) - ((sin th1) * (sin th2)) is V11() V12() real set
(((cos th1) * (cos th2)) - ((sin th1) * (sin th2))) + (cos (th1 - th2)) is V11() V12() real set
- ((sin th1) * (sin th2)) is V11() V12() real set
((cos th1) * (cos th2)) + (- ((sin th1) * (sin th2))) is V11() V12() real set
((sin th1) * (sin th2)) + ((cos th1) * (cos th2)) is V11() V12() real set
(((cos th1) * (cos th2)) + (- ((sin th1) * (sin th2)))) + (((sin th1) * (sin th2)) + ((cos th1) * (cos th2))) is V11() V12() real set
th1 is V11() V12() real set
sin th1 is V11() V12() real set
th2 is V11() V12() real set
th1 + th2 is V11() V12() real set
cos (th1 + th2) is V11() V12() real set
th1 - th2 is V11() V12() real set
cos (th1 - th2) is V11() V12() real set
(cos (th1 + th2)) - (cos (th1 - th2)) is V11() V12() real set
sin th2 is V11() V12() real set
(sin th1) * (sin th2) is V11() V12() real set
2 * ((sin th1) * (sin th2)) is V11() V12() real set
- (2 * ((sin th1) * (sin th2))) is V11() V12() real set
cos th1 is V11() V12() real set
cos th2 is V11() V12() real set
(cos th1) * (cos th2) is V11() V12() real set
((cos th1) * (cos th2)) - ((sin th1) * (sin th2)) is V11() V12() real set
(((cos th1) * (cos th2)) - ((sin th1) * (sin th2))) - (cos (th1 - th2)) is V11() V12() real set
- ((sin th1) * (sin th2)) is V11() V12() real set
((cos th1) * (cos th2)) + (- ((sin th1) * (sin th2))) is V11() V12() real set
((cos th1) * (cos th2)) + ((sin th1) * (sin th2)) is V11() V12() real set
(((cos th1) * (cos th2)) + (- ((sin th1) * (sin th2)))) - (((cos th1) * (cos th2)) + ((sin th1) * (sin th2))) is V11() V12() real set
1 / 2 is V11() V12() real set
th1 is V11() V12() real set
sin th1 is V11() V12() real set
th2 is V11() V12() real set
sin th2 is V11() V12() real set
(sin th1) * (sin th2) is V11() V12() real set
th1 + th2 is V11() V12() real set
cos (th1 + th2) is V11() V12() real set
th1 - th2 is V11() V12() real set
cos (th1 - th2) is V11() V12() real set
(cos (th1 + th2)) - (cos (th1 - th2)) is V11() V12() real set
(1 / 2) * ((cos (th1 + th2)) - (cos (th1 - th2))) is V11() V12() real set
- ((1 / 2) * ((cos (th1 + th2)) - (cos (th1 - th2)))) is V11() V12() real set
cos th1 is V11() V12() real set
cos th2 is V11() V12() real set
(cos th1) * (cos th2) is V11() V12() real set
((cos th1) * (cos th2)) + ((sin th1) * (sin th2)) is V11() V12() real set
(((cos th1) * (cos th2)) + ((sin th1) * (sin th2))) - ((cos th1) * (cos th2)) is V11() V12() real set
((((cos th1) * (cos th2)) + ((sin th1) * (sin th2))) - ((cos th1) * (cos th2))) + ((sin th1) * (sin th2)) is V11() V12() real set
(((((cos th1) * (cos th2)) + ((sin th1) * (sin th2))) - ((cos th1) * (cos th2))) + ((sin th1) * (sin th2))) / 2 is V11() V12() real set
- th2 is V11() V12() real set
cos (- th2) is V11() V12() real set
(cos th1) * (cos (- th2)) is V11() V12() real set
((cos th1) * (cos (- th2))) + ((sin th1) * (sin th2)) is V11() V12() real set
(((cos th1) * (cos (- th2))) + ((sin th1) * (sin th2))) - ((cos th1) * (cos th2)) is V11() V12() real set
((((cos th1) * (cos (- th2))) + ((sin th1) * (sin th2))) - ((cos th1) * (cos th2))) + ((sin th1) * (sin th2)) is V11() V12() real set
(((((cos th1) * (cos (- th2))) + ((sin th1) * (sin th2))) - ((cos th1) * (cos th2))) + ((sin th1) * (sin th2))) / 2 is V11() V12() real set
- (sin th2) is V11() V12() real set
(sin th1) * (- (sin th2)) is V11() V12() real set
((cos th1) * (cos (- th2))) - ((sin th1) * (- (sin th2))) is V11() V12() real set
(((cos th1) * (cos (- th2))) - ((sin th1) * (- (sin th2)))) - ((cos th1) * (cos th2)) is V11() V12() real set
((((cos th1) * (cos (- th2))) - ((sin th1) * (- (sin th2)))) - ((cos th1) * (cos th2))) + ((sin th1) * (sin th2)) is V11() V12() real set
(((((cos th1) * (cos (- th2))) - ((sin th1) * (- (sin th2)))) - ((cos th1) * (cos th2))) + ((sin th1) * (sin th2))) / 2 is V11() V12() real set
sin (- th2) is V11() V12() real set
(sin th1) * (sin (- th2)) is V11() V12() real set
((cos th1) * (cos (- th2))) - ((sin th1) * (sin (- th2))) is V11() V12() real set
(((cos th1) * (cos (- th2))) - ((sin th1) * (sin (- th2)))) - ((cos th1) * (cos th2)) is V11() V12() real set
((((cos th1) * (cos (- th2))) - ((sin th1) * (sin (- th2)))) - ((cos th1) * (cos th2))) + ((sin th1) * (sin th2)) is V11() V12() real set
(((((cos th1) * (cos (- th2))) - ((sin th1) * (sin (- th2)))) - ((cos th1) * (cos th2))) + ((sin th1) * (sin th2))) / 2 is V11() V12() real set
th1 + (- th2) is V11() V12() real set
cos (th1 + (- th2)) is V11() V12() real set
(cos (th1 + (- th2))) - ((cos th1) * (cos th2)) is V11() V12() real set
((cos (th1 + (- th2))) - ((cos th1) * (cos th2))) + ((sin th1) * (sin th2)) is V11() V12() real set
(((cos (th1 + (- th2))) - ((cos th1) * (cos th2))) + ((sin th1) * (sin th2))) / 2 is V11() V12() real set
((cos th1) * (cos th2)) - ((sin th1) * (sin th2)) is V11() V12() real set
(cos (th1 - th2)) - (((cos th1) * (cos th2)) - ((sin th1) * (sin th2))) is V11() V12() real set
((cos (th1 - th2)) - (((cos th1) * (cos th2)) - ((sin th1) * (sin th2)))) / 2 is V11() V12() real set
(cos (th1 - th2)) - (cos (th1 + th2)) is V11() V12() real set
2 / 1 is V11() V12() real set
((cos (th1 - th2)) - (cos (th1 + th2))) / (2 / 1) is V11() V12() real set
th1 is V11() V12() real set
sin th1 is V11() V12() real set
th2 is V11() V12() real set
cos th2 is V11() V12() real set
(sin th1) * (cos th2) is V11() V12() real set
th1 + th2 is V11() V12() real set
sin (th1 + th2) is V11() V12() real set
th1 - th2 is V11() V12() real set
sin (th1 - th2) is V11() V12() real set
(sin (th1 + th2)) + (sin (th1 - th2)) is V11() V12() real set
(1 / 2) * ((sin (th1 + th2)) + (sin (th1 - th2))) is V11() V12() real set
cos th1 is V11() V12() real set
sin th2 is V11() V12() real set
(cos th1) * (sin th2) is V11() V12() real set
((sin th1) * (cos th2)) + ((cos th1) * (sin th2)) is V11() V12() real set
((sin th1) * (cos th2)) - ((cos th1) * (sin th2)) is V11() V12() real set
(((sin th1) * (cos th2)) + ((cos th1) * (sin th2))) + (((sin th1) * (cos th2)) - ((cos th1) * (sin th2))) is V11() V12() real set
(1 / 2) * ((((sin th1) * (cos th2)) + ((cos th1) * (sin th2))) + (((sin th1) * (cos th2)) - ((cos th1) * (sin th2)))) is V11() V12() real set
- (sin th2) is V11() V12() real set
(cos th1) * (- (sin th2)) is V11() V12() real set
((sin th1) * (cos th2)) + ((cos th1) * (- (sin th2))) is V11() V12() real set
(sin (th1 + th2)) + (((sin th1) * (cos th2)) + ((cos th1) * (- (sin th2)))) is V11() V12() real set
(1 / 2) * ((sin (th1 + th2)) + (((sin th1) * (cos th2)) + ((cos th1) * (- (sin th2))))) is V11() V12() real set
- th2 is V11() V12() real set
sin (- th2) is V11() V12() real set
(cos th1) * (sin (- th2)) is V11() V12() real set
((sin th1) * (cos th2)) + ((cos th1) * (sin (- th2))) is V11() V12() real set
(sin (th1 + th2)) + (((sin th1) * (cos th2)) + ((cos th1) * (sin (- th2)))) is V11() V12() real set
(1 / 2) * ((sin (th1 + th2)) + (((sin th1) * (cos th2)) + ((cos th1) * (sin (- th2))))) is V11() V12() real set
cos (- th2) is V11() V12() real set
(sin th1) * (cos (- th2)) is V11() V12() real set
((sin th1) * (cos (- th2))) + ((cos th1) * (sin (- th2))) is V11() V12() real set
(sin (th1 + th2)) + (((sin th1) * (cos (- th2))) + ((cos th1) * (sin (- th2)))) is V11() V12() real set
(1 / 2) * ((sin (th1 + th2)) + (((sin th1) * (cos (- th2))) + ((cos th1) * (sin (- th2))))) is V11() V12() real set
th1 + (- th2) is V11() V12() real set
sin (th1 + (- th2)) is V11() V12() real set
(sin (th1 + th2)) + (sin (th1 + (- th2))) is V11() V12() real set
(1 / 2) * ((sin (th1 + th2)) + (sin (th1 + (- th2)))) is V11() V12() real set
th1 is V11() V12() real set
cos th1 is V11() V12() real set
th2 is V11() V12() real set
sin th2 is V11() V12() real set
(cos th1) * (sin th2) is V11() V12() real set
th1 + th2 is V11() V12() real set
sin (th1 + th2) is V11() V12() real set
th1 - th2 is V11() V12() real set
sin (th1 - th2) is V11() V12() real set
(sin (th1 + th2)) - (sin (th1 - th2)) is V11() V12() real set
(1 / 2) * ((sin (th1 + th2)) - (sin (th1 - th2))) is V11() V12() real set
sin th1 is V11() V12() real set
cos th2 is V11() V12() real set
(sin th1) * (cos th2) is V11() V12() real set
((sin th1) * (cos th2)) + ((cos th1) * (sin th2)) is V11() V12() real set
((sin th1) * (cos th2)) - ((cos th1) * (sin th2)) is V11() V12() real set
(((sin th1) * (cos th2)) + ((cos th1) * (sin th2))) - (((sin th1) * (cos th2)) - ((cos th1) * (sin th2))) is V11() V12() real set
(1 / 2) * ((((sin th1) * (cos th2)) + ((cos th1) * (sin th2))) - (((sin th1) * (cos th2)) - ((cos th1) * (sin th2)))) is V11() V12() real set
- (sin th2) is V11() V12() real set
(cos th1) * (- (sin th2)) is V11() V12() real set
((sin th1) * (cos th2)) + ((cos th1) * (- (sin th2))) is V11() V12() real set
(sin (th1 + th2)) - (((sin th1) * (cos th2)) + ((cos th1) * (- (sin th2)))) is V11() V12() real set
(1 / 2) * ((sin (th1 + th2)) - (((sin th1) * (cos th2)) + ((cos th1) * (- (sin th2))))) is V11() V12() real set
- th2 is V11() V12() real set
sin (- th2) is V11() V12() real set
(cos th1) * (sin (- th2)) is V11() V12() real set
((sin th1) * (cos th2)) + ((cos th1) * (sin (- th2))) is V11() V12() real set
(sin (th1 + th2)) - (((sin th1) * (cos th2)) + ((cos th1) * (sin (- th2)))) is V11() V12() real set
(1 / 2) * ((sin (th1 + th2)) - (((sin th1) * (cos th2)) + ((cos th1) * (sin (- th2))))) is V11() V12() real set
cos (- th2) is V11() V12() real set
(sin th1) * (cos (- th2)) is V11() V12() real set
((sin th1) * (cos (- th2))) + ((cos th1) * (sin (- th2))) is V11() V12() real set
(sin (th1 + th2)) - (((sin th1) * (cos (- th2))) + ((cos th1) * (sin (- th2)))) is V11() V12() real set
(1 / 2) * ((sin (th1 + th2)) - (((sin th1) * (cos (- th2))) + ((cos th1) * (sin (- th2))))) is V11() V12() real set
th1 + (- th2) is V11() V12() real set
sin (th1 + (- th2)) is V11() V12() real set
(sin (th1 + th2)) - (sin (th1 + (- th2))) is V11() V12() real set
(1 / 2) * ((sin (th1 + th2)) - (sin (th1 + (- th2)))) is V11() V12() real set
th1 is V11() V12() real set
cos th1 is V11() V12() real set
th2 is V11() V12() real set
cos th2 is V11() V12() real set
(cos th1) * (cos th2) is V11() V12() real set
th1 + th2 is V11() V12() real set
cos (th1 + th2) is V11() V12() real set
th1 - th2 is V11() V12() real set
cos (th1 - th2) is V11() V12() real set
(cos (th1 + th2)) + (cos (th1 - th2)) is V11() V12() real set
(1 / 2) * ((cos (th1 + th2)) + (cos (th1 - th2))) is V11() V12() real set
sin th1 is V11() V12() real set
sin th2 is V11() V12() real set
(sin th1) * (sin th2) is V11() V12() real set
((cos th1) * (cos th2)) - ((sin th1) * (sin th2)) is V11() V12() real set
- ((sin th1) * (sin th2)) is V11() V12() real set
((cos th1) * (cos th2)) - (- ((sin th1) * (sin th2))) is V11() V12() real set
(((cos th1) * (cos th2)) - ((sin th1) * (sin th2))) + (((cos th1) * (cos th2)) - (- ((sin th1) * (sin th2)))) is V11() V12() real set
(1 / 2) * ((((cos th1) * (cos th2)) - ((sin th1) * (sin th2))) + (((cos th1) * (cos th2)) - (- ((sin th1) * (sin th2))))) is V11() V12() real set
- (sin th2) is V11() V12() real set
(sin th1) * (- (sin th2)) is V11() V12() real set
((cos th1) * (cos th2)) - ((sin th1) * (- (sin th2))) is V11() V12() real set
(cos (th1 + th2)) + (((cos th1) * (cos th2)) - ((sin th1) * (- (sin th2)))) is V11() V12() real set
(1 / 2) * ((cos (th1 + th2)) + (((cos th1) * (cos th2)) - ((sin th1) * (- (sin th2))))) is V11() V12() real set
- th2 is V11() V12() real set
sin (- th2) is V11() V12() real set
(sin th1) * (sin (- th2)) is V11() V12() real set
((cos th1) * (cos th2)) - ((sin th1) * (sin (- th2))) is V11() V12() real set
(cos (th1 + th2)) + (((cos th1) * (cos th2)) - ((sin th1) * (sin (- th2)))) is V11() V12() real set
(1 / 2) * ((cos (th1 + th2)) + (((cos th1) * (cos th2)) - ((sin th1) * (sin (- th2))))) is V11() V12() real set
cos (- th2) is V11() V12() real set
(cos th1) * (cos (- th2)) is V11() V12() real set
((cos th1) * (cos (- th2))) - ((sin th1) * (sin (- th2))) is V11() V12() real set
(cos (th1 + th2)) + (((cos th1) * (cos (- th2))) - ((sin th1) * (sin (- th2)))) is V11() V12() real set
(1 / 2) * ((cos (th1 + th2)) + (((cos th1) * (cos (- th2))) - ((sin th1) * (sin (- th2))))) is V11() V12() real set
th1 + (- th2) is V11() V12() real set
cos (th1 + (- th2)) is V11() V12() real set
(cos (th1 + th2)) + (cos (th1 + (- th2))) is V11() V12() real set
(1 / 2) * ((cos (th1 + th2)) + (cos (th1 + (- th2)))) is V11() V12() real set
4 is epsilon-transitive epsilon-connected ordinal natural V11() V12() real V29() M3(K28(),K32())
1 / 4 is V11() V12() real set
th1 is V11() V12() real set
sin th1 is V11() V12() real set
th2 is V11() V12() real set
sin th2 is V11() V12() real set
(sin th1) * (sin th2) is V11() V12() real set
th1 + th2 is V11() V12() real set
th3 is V11() V12() real set
sin th3 is V11() V12() real set
((sin th1) * (sin th2)) * (sin th3) is V11() V12() real set
(th1 + th2) - th3 is V11() V12() real set
sin ((th1 + th2) - th3) is V11() V12() real set
th2 + th3 is V11() V12() real set
(th2 + th3) - th1 is V11() V12() real set
sin ((th2 + th3) - th1) is V11() V12() real set
(sin ((th1 + th2) - th3)) + (sin ((th2 + th3) - th1)) is V11() V12() real set
th3 + th1 is V11() V12() real set
(th3 + th1) - th2 is V11() V12() real set
sin ((th3 + th1) - th2) is V11() V12() real set
((sin ((th1 + th2) - th3)) + (sin ((th2 + th3) - th1))) + (sin ((th3 + th1) - th2)) is V11() V12() real set
(th1 + th2) + th3 is V11() V12() real set
sin ((th1 + th2) + th3) is V11() V12() real set
(((sin ((th1 + th2) - th3)) + (sin ((th2 + th3) - th1))) + (sin ((th3 + th1) - th2))) - (sin ((th1 + th2) + th3)) is V11() V12() real set
(1 / 4) * ((((sin ((th1 + th2) - th3)) + (sin ((th2 + th3) - th1))) + (sin ((th3 + th1) - th2))) - (sin ((th1 + th2) + th3))) is V11() V12() real set
cos (th1 + th2) is V11() V12() real set
th1 - th2 is V11() V12() real set
cos (th1 - th2) is V11() V12() real set
(cos (th1 + th2)) - (cos (th1 - th2)) is V11() V12() real set
(1 / 2) * ((cos (th1 + th2)) - (cos (th1 - th2))) is V11() V12() real set
- ((1 / 2) * ((cos (th1 + th2)) - (cos (th1 - th2)))) is V11() V12() real set
(- ((1 / 2) * ((cos (th1 + th2)) - (cos (th1 - th2))))) * (sin th3) is V11() V12() real set
(cos (th1 - th2)) * (sin th3) is V11() V12() real set
(cos (th1 + th2)) * (sin th3) is V11() V12() real set
((cos (th1 - th2)) * (sin th3)) - ((cos (th1 + th2)) * (sin th3)) is V11() V12() real set
(1 / 2) * (((cos (th1 - th2)) * (sin th3)) - ((cos (th1 + th2)) * (sin th3))) is V11() V12() real set
(th1 - th2) + th3 is V11() V12() real set
sin ((th1 - th2) + th3) is V11() V12() real set
(th1 - th2) - th3 is V11() V12() real set
sin ((th1 - th2) - th3) is V11() V12() real set
(sin ((th1 - th2) + th3)) - (sin ((th1 - th2) - th3)) is V11() V12() real set
(1 / 2) * ((sin ((th1 - th2) + th3)) - (sin ((th1 - th2) - th3))) is V11() V12() real set
((1 / 2) * ((sin ((th1 - th2) + th3)) - (sin ((th1 - th2) - th3)))) - ((cos (th1 + th2)) * (sin th3)) is V11() V12() real set
(1 / 2) * (((1 / 2) * ((sin ((th1 - th2) + th3)) - (sin ((th1 - th2) - th3)))) - ((cos (th1 + th2)) * (sin th3))) is V11() V12() real set
(sin ((th1 + th2) + th3)) - (sin ((th1 + th2) - th3)) is V11() V12() real set
(1 / 2) * ((sin ((th1 + th2) + th3)) - (sin ((th1 + th2) - th3))) is V11() V12() real set
((1 / 2) * ((sin ((th1 - th2) + th3)) - (sin ((th1 - th2) - th3)))) - ((1 / 2) * ((sin ((th1 + th2) + th3)) - (sin ((th1 + th2) - th3)))) is V11() V12() real set
(1 / 2) * (((1 / 2) * ((sin ((th1 - th2) + th3)) - (sin ((th1 - th2) - th3)))) - ((1 / 2) * ((sin ((th1 + th2) + th3)) - (sin ((th1 + th2) - th3))))) is V11() V12() real set
2 * 2 is V11() V12() real V29() set
1 / (2 * 2) is V11() V12() real set
- (sin ((th1 - th2) - th3)) is V11() V12() real set
(sin ((th1 - th2) + th3)) + (- (sin ((th1 - th2) - th3))) is V11() V12() real set
(sin ((th1 + th2) - th3)) - (sin ((th1 + th2) + th3)) is V11() V12() real set
((sin ((th1 - th2) + th3)) + (- (sin ((th1 - th2) - th3)))) + ((sin ((th1 + th2) - th3)) - (sin ((th1 + th2) + th3))) is V11() V12() real set
(1 / (2 * 2)) * (((sin ((th1 - th2) + th3)) + (- (sin ((th1 - th2) - th3)))) + ((sin ((th1 + th2) - th3)) - (sin ((th1 + th2) + th3)))) is V11() V12() real set
- ((th1 - th2) - th3) is V11() V12() real set
sin (- ((th1 - th2) - th3)) is V11() V12() real set
(sin ((th1 - th2) + th3)) + (sin (- ((th1 - th2) - th3))) is V11() V12() real set
((sin ((th1 - th2) + th3)) + (sin (- ((th1 - th2) - th3)))) + ((sin ((th1 + th2) - th3)) - (sin ((th1 + th2) + th3))) is V11() V12() real set
(1 / (2 * 2)) * (((sin ((th1 - th2) + th3)) + (sin (- ((th1 - th2) - th3)))) + ((sin ((th1 + th2) - th3)) - (sin ((th1 + th2) + th3)))) is V11() V12() real set
(1 / (2 * 2)) * ((((sin ((th1 + th2) - th3)) + (sin ((th2 + th3) - th1))) + (sin ((th3 + th1) - th2))) - (sin ((th1 + th2) + th3))) is V11() V12() real set
th1 is V11() V12() real set
sin th1 is V11() V12() real set
th2 is V11() V12() real set
sin th2 is V11() V12() real set
(sin th1) * (sin th2) is V11() V12() real set
th1 + th2 is V11() V12() real set
th3 is V11() V12() real set
cos th3 is V11() V12() real set
((sin th1) * (sin th2)) * (cos th3) is V11() V12() real set
(th1 + th2) - th3 is V11() V12() real set
cos ((th1 + th2) - th3) is V11() V12() real set
- (cos ((th1 + th2) - th3)) is V11() V12() real set
th2 + th3 is V11() V12() real set
(th2 + th3) - th1 is V11() V12() real set
cos ((th2 + th3) - th1) is V11() V12() real set
(- (cos ((th1 + th2) - th3))) + (cos ((th2 + th3) - th1)) is V11() V12() real set
th3 + th1 is V11() V12() real set
(th3 + th1) - th2 is V11() V12() real set
cos ((th3 + th1) - th2) is V11() V12() real set
((- (cos ((th1 + th2) - th3))) + (cos ((th2 + th3) - th1))) + (cos ((th3 + th1) - th2)) is V11() V12() real set
(th1 + th2) + th3 is V11() V12() real set
cos ((th1 + th2) + th3) is V11() V12() real set
(((- (cos ((th1 + th2) - th3))) + (cos ((th2 + th3) - th1))) + (cos ((th3 + th1) - th2))) - (cos ((th1 + th2) + th3)) is V11() V12() real set
(1 / 4) * ((((- (cos ((th1 + th2) - th3))) + (cos ((th2 + th3) - th1))) + (cos ((th3 + th1) - th2))) - (cos ((th1 + th2) + th3))) is V11() V12() real set
cos (th1 + th2) is V11() V12() real set
th1 - th2 is V11() V12() real set
cos (th1 - th2) is V11() V12() real set
(cos (th1 + th2)) - (cos (th1 - th2)) is V11() V12() real set
(1 / 2) * ((cos (th1 + th2)) - (cos (th1 - th2))) is V11() V12() real set
- ((1 / 2) * ((cos (th1 + th2)) - (cos (th1 - th2)))) is V11() V12() real set
(- ((1 / 2) * ((cos (th1 + th2)) - (cos (th1 - th2))))) * (cos th3) is V11() V12() real set
(cos (th1 - th2)) * (cos th3) is V11() V12() real set
(cos (th1 + th2)) * (cos th3) is V11() V12() real set
((cos (th1 - th2)) * (cos th3)) - ((cos (th1 + th2)) * (cos th3)) is V11() V12() real set
(1 / 2) * (((cos (th1 - th2)) * (cos th3)) - ((cos (th1 + th2)) * (cos th3))) is V11() V12() real set
(th1 - th2) + th3 is V11() V12() real set
cos ((th1 - th2) + th3) is V11() V12() real set
(th1 - th2) - th3 is V11() V12() real set
cos ((th1 - th2) - th3) is V11() V12() real set
(cos ((th1 - th2) + th3)) + (cos ((th1 - th2) - th3)) is V11() V12() real set
(1 / 2) * ((cos ((th1 - th2) + th3)) + (cos ((th1 - th2) - th3))) is V11() V12() real set
((1 / 2) * ((cos ((th1 - th2) + th3)) + (cos ((th1 - th2) - th3)))) - ((cos (th1 + th2)) * (cos th3)) is V11() V12() real set
(1 / 2) * (((1 / 2) * ((cos ((th1 - th2) + th3)) + (cos ((th1 - th2) - th3)))) - ((cos (th1 + th2)) * (cos th3))) is V11() V12() real set
(cos ((th1 + th2) + th3)) + (cos ((th1 + th2) - th3)) is V11() V12() real set
(1 / 2) * ((cos ((th1 + th2) + th3)) + (cos ((th1 + th2) - th3))) is V11() V12() real set
((1 / 2) * ((cos ((th1 - th2) + th3)) + (cos ((th1 - th2) - th3)))) - ((1 / 2) * ((cos ((th1 + th2) + th3)) + (cos ((th1 + th2) - th3)))) is V11() V12() real set
(1 / 2) * (((1 / 2) * ((cos ((th1 - th2) + th3)) + (cos ((th1 - th2) - th3)))) - ((1 / 2) * ((cos ((th1 + th2) + th3)) + (cos ((th1 + th2) - th3))))) is V11() V12() real set
2 * 2 is V11() V12() real V29() set
1 / (2 * 2) is V11() V12() real set
th2 - th1 is V11() V12() real set
(th2 - th1) + th3 is V11() V12() real set
- ((th2 - th1) + th3) is V11() V12() real set
cos (- ((th2 - th1) + th3)) is V11() V12() real set
(- (cos ((th1 + th2) - th3))) + (cos (- ((th2 - th1) + th3))) is V11() V12() real set
- th2 is V11() V12() real set
(th3 + th1) + (- th2) is V11() V12() real set
cos ((th3 + th1) + (- th2)) is V11() V12() real set
- (cos ((th1 + th2) + th3)) is V11() V12() real set
(cos ((th3 + th1) + (- th2))) + (- (cos ((th1 + th2) + th3))) is V11() V12() real set
((- (cos ((th1 + th2) - th3))) + (cos (- ((th2 - th1) + th3)))) + ((cos ((th3 + th1) + (- th2))) + (- (cos ((th1 + th2) + th3)))) is V11() V12() real set
(1 / (2 * 2)) * (((- (cos ((th1 + th2) - th3))) + (cos (- ((th2 - th1) + th3)))) + ((cos ((th3 + th1) + (- th2))) + (- (cos ((th1 + th2) + th3))))) is V11() V12() real set
cos ((th2 - th1) + th3) is V11() V12() real set
(- (cos ((th1 + th2) - th3))) + (cos ((th2 - th1) + th3)) is V11() V12() real set
((- (cos ((th1 + th2) - th3))) + (cos ((th2 - th1) + th3))) + ((cos ((th3 + th1) + (- th2))) + (- (cos ((th1 + th2) + th3)))) is V11() V12() real set
(1 / (2 * 2)) * (((- (cos ((th1 + th2) - th3))) + (cos ((th2 - th1) + th3))) + ((cos ((th3 + th1) + (- th2))) + (- (cos ((th1 + th2) + th3))))) is V11() V12() real set
(1 / (2 * 2)) * ((((- (cos ((th1 + th2) - th3))) + (cos ((th2 + th3) - th1))) + (cos ((th3 + th1) - th2))) - (cos ((th1 + th2) + th3))) is V11() V12() real set
th1 is V11() V12() real set
sin th1 is V11() V12() real set
th2 is V11() V12() real set
cos th2 is V11() V12() real set
(sin th1) * (cos th2) is V11() V12() real set
th1 + th2 is V11() V12() real set
th3 is V11() V12() real set
cos th3 is V11() V12() real set
((sin th1) * (cos th2)) * (cos th3) is V11() V12() real set
(th1 + th2) - th3 is V11() V12() real set
sin ((th1 + th2) - th3) is V11() V12() real set
th2 + th3 is V11() V12() real set
(th2 + th3) - th1 is V11() V12() real set
sin ((th2 + th3) - th1) is V11() V12() real set
(sin ((th1 + th2) - th3)) - (sin ((th2 + th3) - th1)) is V11() V12() real set
th3 + th1 is V11() V12() real set
(th3 + th1) - th2 is V11() V12() real set
sin ((th3 + th1) - th2) is V11() V12() real set
((sin ((th1 + th2) - th3)) - (sin ((th2 + th3) - th1))) + (sin ((th3 + th1) - th2)) is V11() V12() real set
(th1 + th2) + th3 is V11() V12() real set
sin ((th1 + th2) + th3) is V11() V12() real set
(((sin ((th1 + th2) - th3)) - (sin ((th2 + th3) - th1))) + (sin ((th3 + th1) - th2))) + (sin ((th1 + th2) + th3)) is V11() V12() real set
(1 / 4) * ((((sin ((th1 + th2) - th3)) - (sin ((th2 + th3) - th1))) + (sin ((th3 + th1) - th2))) + (sin ((th1 + th2) + th3))) is V11() V12() real set
sin (th1 + th2) is V11() V12() real set
th1 - th2 is V11() V12() real set
sin (th1 - th2) is V11() V12() real set
(sin (th1 + th2)) + (sin (th1 - th2)) is V11() V12() real set
(1 / 2) * ((sin (th1 + th2)) + (sin (th1 - th2))) is V11() V12() real set
((1 / 2) * ((sin (th1 + th2)) + (sin (th1 - th2)))) * (cos th3) is V11() V12() real set
(sin (th1 + th2)) * (cos th3) is V11() V12() real set
(sin (th1 - th2)) * (cos th3) is V11() V12() real set
((sin (th1 + th2)) * (cos th3)) + ((sin (th1 - th2)) * (cos th3)) is V11() V12() real set
(1 / 2) * (((sin (th1 + th2)) * (cos th3)) + ((sin (th1 - th2)) * (cos th3))) is V11() V12() real set
(sin ((th1 + th2) + th3)) + (sin ((th1 + th2) - th3)) is V11() V12() real set
(1 / 2) * ((sin ((th1 + th2) + th3)) + (sin ((th1 + th2) - th3))) is V11() V12() real set
((1 / 2) * ((sin ((th1 + th2) + th3)) + (sin ((th1 + th2) - th3)))) + ((sin (th1 - th2)) * (cos th3)) is V11() V12() real set
(1 / 2) * (((1 / 2) * ((sin ((th1 + th2) + th3)) + (sin ((th1 + th2) - th3)))) + ((sin (th1 - th2)) * (cos th3))) is V11() V12() real set
(th1 - th2) + th3 is V11() V12() real set
sin ((th1 - th2) + th3) is V11() V12() real set
(th1 - th2) - th3 is V11() V12() real set
sin ((th1 - th2) - th3) is V11() V12() real set
(sin ((th1 - th2) + th3)) + (sin ((th1 - th2) - th3)) is V11() V12() real set
(1 / 2) * ((sin ((th1 - th2) + th3)) + (sin ((th1 - th2) - th3))) is V11() V12() real set
((1 / 2) * ((sin ((th1 + th2) + th3)) + (sin ((th1 + th2) - th3)))) + ((1 / 2) * ((sin ((th1 - th2) + th3)) + (sin ((th1 - th2) - th3)))) is V11() V12() real set
(1 / 2) * (((1 / 2) * ((sin ((th1 + th2) + th3)) + (sin ((th1 + th2) - th3)))) + ((1 / 2) * ((sin ((th1 - th2) + th3)) + (sin ((th1 - th2) - th3))))) is V11() V12() real set
2 * 2 is V11() V12() real V29() set
1 / (2 * 2) is V11() V12() real set
- th2 is V11() V12() real set
th1 + (- th2) is V11() V12() real set
(th1 + (- th2)) + th3 is V11() V12() real set
sin ((th1 + (- th2)) + th3) is V11() V12() real set
th2 - th1 is V11() V12() real set
(th2 - th1) + th3 is V11() V12() real set
- ((th2 - th1) + th3) is V11() V12() real set
sin (- ((th2 - th1) + th3)) is V11() V12() real set
(sin ((th1 + (- th2)) + th3)) + (sin (- ((th2 - th1) + th3))) is V11() V12() real set
((sin ((th1 + th2) + th3)) + (sin ((th1 + th2) - th3))) + ((sin ((th1 + (- th2)) + th3)) + (sin (- ((th2 - th1) + th3)))) is V11() V12() real set
(1 / (2 * 2)) * (((sin ((th1 + th2) + th3)) + (sin ((th1 + th2) - th3))) + ((sin ((th1 + (- th2)) + th3)) + (sin (- ((th2 - th1) + th3))))) is V11() V12() real set
sin ((th2 - th1) + th3) is V11() V12() real set
- (sin ((th2 - th1) + th3)) is V11() V12() real set
(th3 + th1) + (- th2) is V11() V12() real set
sin ((th3 + th1) + (- th2)) is V11() V12() real set
(- (sin ((th2 - th1) + th3))) + (sin ((th3 + th1) + (- th2))) is V11() V12() real set
((sin ((th1 + th2) + th3)) + (sin ((th1 + th2) - th3))) + ((- (sin ((th2 - th1) + th3))) + (sin ((th3 + th1) + (- th2)))) is V11() V12() real set
(1 / (2 * 2)) * (((sin ((th1 + th2) + th3)) + (sin ((th1 + th2) - th3))) + ((- (sin ((th2 - th1) + th3))) + (sin ((th3 + th1) + (- th2))))) is V11() V12() real set
(1 / (2 * 2)) * ((((sin ((th1 + th2) - th3)) - (sin ((th2 + th3) - th1))) + (sin ((th3 + th1) - th2))) + (sin ((th1 + th2) + th3))) is V11() V12() real set
th1 is V11() V12() real set
cos th1 is V11() V12() real set
th2 is V11() V12() real set
cos th2 is V11() V12() real set
(cos th1) * (cos th2) is V11() V12() real set
th1 + th2 is V11() V12() real set
th3 is V11() V12() real set
cos th3 is V11() V12() real set
((cos th1) * (cos th2)) * (cos th3) is V11() V12() real set
(th1 + th2) - th3 is V11() V12() real set
cos ((th1 + th2) - th3) is V11() V12() real set
th2 + th3 is V11() V12() real set
(th2 + th3) - th1 is V11() V12() real set
cos ((th2 + th3) - th1) is V11() V12() real set
(cos ((th1 + th2) - th3)) + (cos ((th2 + th3) - th1)) is V11() V12() real set
th3 + th1 is V11() V12() real set
(th3 + th1) - th2 is V11() V12() real set
cos ((th3 + th1) - th2) is V11() V12() real set
((cos ((th1 + th2) - th3)) + (cos ((th2 + th3) - th1))) + (cos ((th3 + th1) - th2)) is V11() V12() real set
(th1 + th2) + th3 is V11() V12() real set
cos ((th1 + th2) + th3) is V11() V12() real set
(((cos ((th1 + th2) - th3)) + (cos ((th2 + th3) - th1))) + (cos ((th3 + th1) - th2))) + (cos ((th1 + th2) + th3)) is V11() V12() real set
(1 / 4) * ((((cos ((th1 + th2) - th3)) + (cos ((th2 + th3) - th1))) + (cos ((th3 + th1) - th2))) + (cos ((th1 + th2) + th3))) is V11() V12() real set
cos (th1 + th2) is V11() V12() real set
th1 - th2 is V11() V12() real set
cos (th1 - th2) is V11() V12() real set
(cos (th1 + th2)) + (cos (th1 - th2)) is V11() V12() real set
(1 / 2) * ((cos (th1 + th2)) + (cos (th1 - th2))) is V11() V12() real set
((1 / 2) * ((cos (th1 + th2)) + (cos (th1 - th2)))) * (cos th3) is V11() V12() real set
(cos (th1 + th2)) * (cos th3) is V11() V12() real set
(cos (th1 - th2)) * (cos th3) is V11() V12() real set
((cos (th1 + th2)) * (cos th3)) + ((cos (th1 - th2)) * (cos th3)) is V11() V12() real set
(1 / 2) * (((cos (th1 + th2)) * (cos th3)) + ((cos (th1 - th2)) * (cos th3))) is V11() V12() real set
(cos ((th1 + th2) + th3)) + (cos ((th1 + th2) - th3)) is V11() V12() real set
(1 / 2) * ((cos ((th1 + th2) + th3)) + (cos ((th1 + th2) - th3))) is V11() V12() real set
((1 / 2) * ((cos ((th1 + th2) + th3)) + (cos ((th1 + th2) - th3)))) + ((cos (th1 - th2)) * (cos th3)) is V11() V12() real set
(1 / 2) * (((1 / 2) * ((cos ((th1 + th2) + th3)) + (cos ((th1 + th2) - th3)))) + ((cos (th1 - th2)) * (cos th3))) is V11() V12() real set
(th1 - th2) + th3 is V11() V12() real set
cos ((th1 - th2) + th3) is V11() V12() real set
(th1 - th2) - th3 is V11() V12() real set
cos ((th1 - th2) - th3) is V11() V12() real set
(cos ((th1 - th2) + th3)) + (cos ((th1 - th2) - th3)) is V11() V12() real set
(1 / 2) * ((cos ((th1 - th2) + th3)) + (cos ((th1 - th2) - th3))) is V11() V12() real set
((1 / 2) * ((cos ((th1 + th2) + th3)) + (cos ((th1 + th2) - th3)))) + ((1 / 2) * ((cos ((th1 - th2) + th3)) + (cos ((th1 - th2) - th3)))) is V11() V12() real set
(1 / 2) * (((1 / 2) * ((cos ((th1 + th2) + th3)) + (cos ((th1 + th2) - th3)))) + ((1 / 2) * ((cos ((th1 - th2) + th3)) + (cos ((th1 - th2) - th3))))) is V11() V12() real set
2 * 2 is V11() V12() real V29() set
1 / (2 * 2) is V11() V12() real set
- th2 is V11() V12() real set
(th3 + th1) + (- th2) is V11() V12() real set
cos ((th3 + th1) + (- th2)) is V11() V12() real set
th2 - th1 is V11() V12() real set
(th2 - th1) + th3 is V11() V12() real set
- ((th2 - th1) + th3) is V11() V12() real set
cos (- ((th2 - th1) + th3)) is V11() V12() real set
(cos ((th3 + th1) + (- th2))) + (cos (- ((th2 - th1) + th3))) is V11() V12() real set
((cos ((th1 + th2) + th3)) + (cos ((th1 + th2) - th3))) + ((cos ((th3 + th1) + (- th2))) + (cos (- ((th2 - th1) + th3)))) is V11() V12() real set
(1 / (2 * 2)) * (((cos ((th1 + th2) + th3)) + (cos ((th1 + th2) - th3))) + ((cos ((th3 + th1) + (- th2))) + (cos (- ((th2 - th1) + th3))))) is V11() V12() real set
- th1 is V11() V12() real set
(th2 + th3) + (- th1) is V11() V12() real set
cos ((th2 + th3) + (- th1)) is V11() V12() real set
(cos ((th3 + th1) - th2)) + (cos ((th2 + th3) + (- th1))) is V11() V12() real set
((cos ((th1 + th2) + th3)) + (cos ((th1 + th2) - th3))) + ((cos ((th3 + th1) - th2)) + (cos ((th2 + th3) + (- th1)))) is V11() V12() real set
(1 / (2 * 2)) * (((cos ((th1 + th2) + th3)) + (cos ((th1 + th2) - th3))) + ((cos ((th3 + th1) - th2)) + (cos ((th2 + th3) + (- th1))))) is V11() V12() real set
(1 / (2 * 2)) * ((((cos ((th1 + th2) - th3)) + (cos ((th2 + th3) - th1))) + (cos ((th3 + th1) - th2))) + (cos ((th1 + th2) + th3))) is V11() V12() real set
th1 is V11() V12() real set
sin th1 is V11() V12() real set
(sin th1) * (sin th1) is V11() V12() real set
th2 is V11() V12() real set
th1 + th2 is V11() V12() real set
sin (th1 + th2) is V11() V12() real set
th1 - th2 is V11() V12() real set
sin (th1 - th2) is V11() V12() real set
(sin (th1 + th2)) * (sin (th1 - th2)) is V11() V12() real set
sin th2 is V11() V12() real set
(sin th2) * (sin th2) is V11() V12() real set
((sin th1) * (sin th1)) - ((sin th2) * (sin th2)) is V11() V12() real set
cos th2 is V11() V12() real set
(sin th1) * (cos th2) is V11() V12() real set
cos th1 is V11() V12() real set
(cos th1) * (sin th2) is V11() V12() real set
((sin th1) * (cos th2)) + ((cos th1) * (sin th2)) is V11() V12() real set
(((sin th1) * (cos th2)) + ((cos th1) * (sin th2))) * (sin (th1 - th2)) is V11() V12() real set
- ((cos th1) * (sin th2)) is V11() V12() real set
- (- ((cos th1) * (sin th2))) is V11() V12() real set
((sin th1) * (cos th2)) - (- (- ((cos th1) * (sin th2)))) is V11() V12() real set
(((sin th1) * (cos th2)) + ((cos th1) * (sin th2))) * (((sin th1) * (cos th2)) - (- (- ((cos th1) * (sin th2))))) is V11() V12() real set
(cos th2) * (cos th2) is V11() V12() real set
((sin th1) * (sin th1)) * ((cos th2) * (cos th2)) is V11() V12() real set
((cos th1) * (sin th2)) * (cos th1) is V11() V12() real set
(((cos th1) * (sin th2)) * (cos th1)) * (sin th2) is V11() V12() real set
(((sin th1) * (sin th1)) * ((cos th2) * (cos th2))) - ((((cos th1) * (sin th2)) * (cos th1)) * (sin th2)) is V11() V12() real set
1 - ((sin th2) * (sin th2)) is V11() V12() real set
((sin th1) * (sin th1)) * (1 - ((sin th2) * (sin th2))) is V11() V12() real set
(cos th1) * (cos th1) is V11() V12() real set
((cos th1) * (cos th1)) * (sin th2) is V11() V12() real set
(((cos th1) * (cos th1)) * (sin th2)) * (sin th2) is V11() V12() real set
(((sin th1) * (sin th1)) * (1 - ((sin th2) * (sin th2)))) - ((((cos th1) * (cos th1)) * (sin th2)) * (sin th2)) is V11() V12() real set
- ((sin th2) * (sin th2)) is V11() V12() real set
1 + (- ((sin th2) * (sin th2))) is V11() V12() real set
((sin th1) * (sin th1)) * (1 + (- ((sin th2) * (sin th2)))) is V11() V12() real set
- ((sin th1) * (sin th1)) is V11() V12() real set
- (- ((sin th1) * (sin th1))) is V11() V12() real set
1 - (- (- ((sin th1) * (sin th1)))) is V11() V12() real set
(1 - (- (- ((sin th1) * (sin th1))))) * (sin th2) is V11() V12() real set
((1 - (- (- ((sin th1) * (sin th1))))) * (sin th2)) * (sin th2) is V11() V12() real set
(((sin th1) * (sin th1)) * (1 + (- ((sin th2) * (sin th2))))) - (((1 - (- (- ((sin th1) * (sin th1))))) * (sin th2)) * (sin th2)) is V11() V12() real set
th1 is V11() V12() real set
cos th1 is V11() V12() real set
(cos th1) * (cos th1) is V11() V12() real set
th2 is V11() V12() real set
th1 + th2 is V11() V12() real set
sin (th1 + th2) is V11() V12() real set
th1 - th2 is V11() V12() real set
sin (th1 - th2) is V11() V12() real set
(sin (th1 + th2)) * (sin (th1 - th2)) is V11() V12() real set
cos th2 is V11() V12() real set
(cos th2) * (cos th2) is V11() V12() real set
((cos th2) * (cos th2)) - ((cos th1) * (cos th1)) is V11() V12() real set
sin th1 is V11() V12() real set
(sin th1) * (sin th1) is V11() V12() real set
sin th2 is V11() V12() real set
(sin th2) * (sin th2) is V11() V12() real set
((sin th1) * (sin th1)) - ((sin th2) * (sin th2)) is V11() V12() real set
1 - ((cos th1) * (cos th1)) is V11() V12() real set
(1 - ((cos th1) * (cos th1))) - ((sin th2) * (sin th2)) is V11() V12() real set
- ((cos th1) * (cos th1)) is V11() V12() real set
- (- ((cos th1) * (cos th1))) is V11() V12() real set
1 - (- (- ((cos th1) * (cos th1)))) is V11() V12() real set
1 - ((cos th2) * (cos th2)) is V11() V12() real set
- (1 - ((cos th2) * (cos th2))) is V11() V12() real set
- (- (1 - ((cos th2) * (cos th2)))) is V11() V12() real set
(1 - (- (- ((cos th1) * (cos th1))))) - (- (- (1 - ((cos th2) * (cos th2))))) is V11() V12() real set
th1 is V11() V12() real set
sin th1 is V11() V12() real set
cos th1 is V11() V12() real set
(sin th1) * (cos th1) is V11() V12() real set
th2 is V11() V12() real set
th1 + th2 is V11() V12() real set
sin (th1 + th2) is V11() V12() real set
th1 - th2 is V11() V12() real set
cos (th1 - th2) is V11() V12() real set
(sin (th1 + th2)) * (cos (th1 - th2)) is V11() V12() real set
sin th2 is V11() V12() real set
cos th2 is V11() V12() real set
(sin th2) * (cos th2) is V11() V12() real set
((sin th1) * (cos th1)) + ((sin th2) * (cos th2)) is V11() V12() real set
(sin th1) * (cos th2) is V11() V12() real set
(cos th1) * (sin th2) is V11() V12() real set
((sin th1) * (cos th2)) + ((cos th1) * (sin th2)) is V11() V12() real set
(((sin th1) * (cos th2)) + ((cos th1) * (sin th2))) * (cos (th1 - th2)) is V11() V12() real set
(cos th1) * (cos th2) is V11() V12() real set
(sin th1) * (sin th2) is V11() V12() real set
((cos th1) * (cos th2)) + ((sin th1) * (sin th2)) is V11() V12() real set
(((sin th1) * (cos th2)) + ((cos th1) * (sin th2))) * (((cos th1) * (cos th2)) + ((sin th1) * (sin th2))) is V11() V12() real set
(sin th2) * (sin th2) is V11() V12() real set
(cos th2) * (cos th2) is V11() V12() real set
((sin th2) * (sin th2)) + ((cos th2) * (cos th2)) is V11() V12() real set
((sin th1) * (cos th1)) * (((sin th2) * (sin th2)) + ((cos th2) * (cos th2))) is V11() V12() real set
(sin th1) * (sin th1) is V11() V12() real set
((sin th2) * (cos th2)) * ((sin th1) * (sin th1)) is V11() V12() real set
(cos th1) * (cos th1) is V11() V12() real set
((sin th2) * (cos th2)) * ((cos th1) * (cos th1)) is V11() V12() real set
(((sin th2) * (cos th2)) * ((sin th1) * (sin th1))) + (((sin th2) * (cos th2)) * ((cos th1) * (cos th1))) is V11() V12() real set
(((sin th1) * (cos th1)) * (((sin th2) * (sin th2)) + ((cos th2) * (cos th2)))) + ((((sin th2) * (cos th2)) * ((sin th1) * (sin th1))) + (((sin th2) * (cos th2)) * ((cos th1) * (cos th1)))) is V11() V12() real set
((sin th1) * (cos th1)) * 1 is V11() V12() real set
((sin th1) * (sin th1)) + ((cos th1) * (cos th1)) is V11() V12() real set
((sin th2) * (cos th2)) * (((sin th1) * (sin th1)) + ((cos th1) * (cos th1))) is V11() V12() real set
(((sin th1) * (cos th1)) * 1) + (((sin th2) * (cos th2)) * (((sin th1) * (sin th1)) + ((cos th1) * (cos th1)))) is V11() V12() real set
1 / 1 is V11() V12() real set
((sin th2) * (cos th2)) * (1 / 1) is V11() V12() real set
((sin th1) * (cos th1)) + (((sin th2) * (cos th2)) * (1 / 1)) is V11() V12() real set
th1 is V11() V12() real set
sin th1 is V11() V12() real set
cos th1 is V11() V12() real set
(sin th1) * (cos th1) is V11() V12() real set
th2 is V11() V12() real set
th1 + th2 is V11() V12() real set
cos (th1 + th2) is V11() V12() real set
th1 - th2 is V11() V12() real set
sin (th1 - th2) is V11() V12() real set
(cos (th1 + th2)) * (sin (th1 - th2)) is V11() V12() real set
sin th2 is V11() V12() real set
cos th2 is V11() V12() real set
(sin th2) * (cos th2) is V11() V12() real set
((sin th1) * (cos th1)) - ((sin th2) * (cos th2)) is V11() V12() real set
- th2 is V11() V12() real set
th1 + (- th2) is V11() V12() real set
sin (th1 + (- th2)) is V11() V12() real set
th1 - (- th2) is V11() V12() real set
cos (th1 - (- th2)) is V11() V12() real set
(sin (th1 + (- th2))) * (cos (th1 - (- th2))) is V11() V12() real set
sin (- th2) is V11() V12() real set
cos (- th2) is V11() V12() real set
(sin (- th2)) * (cos (- th2)) is V11() V12() real set
((sin th1) * (cos th1)) + ((sin (- th2)) * (cos (- th2))) is V11() V12() real set
(sin (- th2)) * (cos th2) is V11() V12() real set
((sin th1) * (cos th1)) + ((sin (- th2)) * (cos th2)) is V11() V12() real set
- (sin th2) is V11() V12() real set
(- (sin th2)) * (cos th2) is V11() V12() real set
((sin th1) * (cos th1)) + ((- (sin th2)) * (cos th2)) is V11() V12() real set
th1 is V11() V12() real set
cos th1 is V11() V12() real set
(cos th1) * (cos th1) is V11() V12() real set
th2 is V11() V12() real set
th1 + th2 is V11() V12() real set
cos (th1 + th2) is V11() V12() real set
th1 - th2 is V11() V12() real set
cos (th1 - th2) is V11() V12() real set
(cos (th1 + th2)) * (cos (th1 - th2)) is V11() V12() real set
sin th2 is V11() V12() real set
(sin th2) * (sin th2) is V11() V12() real set
((cos th1) * (cos th1)) - ((sin th2) * (sin th2)) is V11() V12() real set
cos th2 is V11() V12() real set
(cos th1) * (cos th2) is V11() V12() real set
sin th1 is V11() V12() real set
(sin th1) * (sin th2) is V11() V12() real set
((cos th1) * (cos th2)) - ((sin th1) * (sin th2)) is V11() V12() real set
(((cos th1) * (cos th2)) - ((sin th1) * (sin th2))) * (cos (th1 - th2)) is V11() V12() real set
- ((sin th1) * (sin th2)) is V11() V12() real set
((cos th1) * (cos th2)) + (- ((sin th1) * (sin th2))) is V11() V12() real set
((cos th1) * (cos th2)) + ((sin th1) * (sin th2)) is V11() V12() real set
(((cos th1) * (cos th2)) + (- ((sin th1) * (sin th2)))) * (((cos th1) * (cos th2)) + ((sin th1) * (sin th2))) is V11() V12() real set
(cos th2) * (cos th2) is V11() V12() real set
((cos th1) * (cos th1)) * ((cos th2) * (cos th2)) is V11() V12() real set
((cos th1) * (cos th2)) * ((sin th1) * (sin th2)) is V11() V12() real set
(((cos th1) * (cos th1)) * ((cos th2) * (cos th2))) + (((cos th1) * (cos th2)) * ((sin th1) * (sin th2))) is V11() V12() real set
((sin th1) * (sin th2)) * ((cos th1) * (cos th2)) is V11() V12() real set
- (((sin th1) * (sin th2)) * ((cos th1) * (cos th2))) is V11() V12() real set
((((cos th1) * (cos th1)) * ((cos th2) * (cos th2))) + (((cos th1) * (cos th2)) * ((sin th1) * (sin th2)))) + (- (((sin th1) * (sin th2)) * ((cos th1) * (cos th2)))) is V11() V12() real set
(sin th1) * (sin th1) is V11() V12() real set
((sin th1) * (sin th1)) * (sin th2) is V11() V12() real set
(((sin th1) * (sin th1)) * (sin th2)) * (sin th2) is V11() V12() real set
- ((((sin th1) * (sin th1)) * (sin th2)) * (sin th2)) is V11() V12() real set
(((((cos th1) * (cos th1)) * ((cos th2) * (cos th2))) + (((cos th1) * (cos th2)) * ((sin th1) * (sin th2)))) + (- (((sin th1) * (sin th2)) * ((cos th1) * (cos th2))))) + (- ((((sin th1) * (sin th1)) * (sin th2)) * (sin th2))) is V11() V12() real set
- ((sin th2) * (sin th2)) is V11() V12() real set
- (- ((sin th2) * (sin th2))) is V11() V12() real set
1 - (- (- ((sin th2) * (sin th2)))) is V11() V12() real set
((cos th1) * (cos th1)) * (1 - (- (- ((sin th2) * (sin th2))))) is V11() V12() real set
((sin th1) * (sin th1)) * ((sin th2) * (sin th2)) is V11() V12() real set
- (((sin th1) * (sin th1)) * ((sin th2) * (sin th2))) is V11() V12() real set
(((cos th1) * (cos th1)) * (1 - (- (- ((sin th2) * (sin th2)))))) + (- (((sin th1) * (sin th1)) * ((sin th2) * (sin th2)))) is V11() V12() real set
((cos th1) * (cos th1)) * 1 is V11() V12() real set
((cos th1) * (cos th1)) + ((sin th1) * (sin th1)) is V11() V12() real set
- (((cos th1) * (cos th1)) + ((sin th1) * (sin th1))) is V11() V12() real set
((sin th2) * (sin th2)) * (- (((cos th1) * (cos th1)) + ((sin th1) * (sin th1)))) is V11() V12() real set
(((cos th1) * (cos th1)) * 1) + (((sin th2) * (sin th2)) * (- (((cos th1) * (cos th1)) + ((sin th1) * (sin th1))))) is V11() V12() real set
- 1 is V11() V12() real V29() set
((sin th2) * (sin th2)) * (- 1) is V11() V12() real set
(((cos th1) * (cos th1)) * 1) + (((sin th2) * (sin th2)) * (- 1)) is V11() V12() real set
th1 is V11() V12() real set
sin th1 is V11() V12() real set
(sin th1) * (sin th1) is V11() V12() real set
th2 is V11() V12() real set
th1 + th2 is V11() V12() real set
cos (th1 + th2) is V11() V12() real set
th1 - th2 is V11() V12() real set
cos (th1 - th2) is V11() V12() real set
(cos (th1 + th2)) * (cos (th1 - th2)) is V11() V12() real set
cos th2 is V11() V12() real set
(cos th2) * (cos th2) is V11() V12() real set
((cos th2) * (cos th2)) - ((sin th1) * (sin th1)) is V11() V12() real set
cos th1 is V11() V12() real set
(cos th1) * (cos th1) is V11() V12() real set
sin th2 is V11() V12() real set
(sin th2) * (sin th2) is V11() V12() real set
((cos th1) * (cos th1)) - ((sin th2) * (sin th2)) is V11() V12() real set
1 - ((sin th1) * (sin th1)) is V11() V12() real set
(1 - ((sin th1) * (sin th1))) - ((sin th2) * (sin th2)) is V11() V12() real set
1 - ((cos th2) * (cos th2)) is V11() V12() real set
(1 - ((sin th1) * (sin th1))) - (1 - ((cos th2) * (cos th2))) is V11() V12() real set
th1 is V11() V12() real set
cos th1 is V11() V12() real set
(th1) is V11() V12() real M2(K28())
sin th1 is V11() V12() real set
(sin th1) / (cos th1) is V11() V12() real set
th2 is V11() V12() real set
cos th2 is V11() V12() real set
th1 + th2 is V11() V12() real set
sin (th1 + th2) is V11() V12() real set
th1 - th2 is V11() V12() real set
sin (th1 - th2) is V11() V12() real set
(sin (th1 + th2)) / (sin (th1 - th2)) is V11() V12() real set
(th2) is V11() V12() real M2(K28())
sin th2 is V11() V12() real set
(sin th2) / (cos th2) is V11() V12() real set
(th1) + (th2) is V11() V12() real set
(th1) - (th2) is V11() V12() real set
((th1) + (th2)) / ((th1) - (th2)) is V11() V12() real set
(sin th1) * (cos th2) is V11() V12() real set
(cos th1) * (sin th2) is V11() V12() real set
((sin th1) * (cos th2)) + ((cos th1) * (sin th2)) is V11() V12() real set
(((sin th1) * (cos th2)) + ((cos th1) * (sin th2))) / (sin (th1 - th2)) is V11() V12() real set
((sin th1) * (cos th2)) - ((cos th1) * (sin th2)) is V11() V12() real set
(((sin th1) * (cos th2)) + ((cos th1) * (sin th2))) / (((sin th1) * (cos th2)) - ((cos th1) * (sin th2))) is V11() V12() real set
(cos th1) * (cos th2) is V11() V12() real set
(((sin th1) * (cos th2)) + ((cos th1) * (sin th2))) / ((cos th1) * (cos th2)) is V11() V12() real set
(((sin th1) * (cos th2)) - ((cos th1) * (sin th2))) / ((cos th1) * (cos th2)) is V11() V12() real set
((((sin th1) * (cos th2)) + ((cos th1) * (sin th2))) / ((cos th1) * (cos th2))) / ((((sin th1) * (cos th2)) - ((cos th1) * (sin th2))) / ((cos th1) * (cos th2))) is V11() V12() real set
((sin th1) * (cos th2)) / ((cos th1) * (cos th2)) is V11() V12() real set
((cos th1) * (sin th2)) / ((cos th1) * (cos th2)) is V11() V12() real set
(((sin th1) * (cos th2)) / ((cos th1) * (cos th2))) + (((cos th1) * (sin th2)) / ((cos th1) * (cos th2))) is V11() V12() real set
- ((cos th1) * (sin th2)) is V11() V12() real set
((sin th1) * (cos th2)) + (- ((cos th1) * (sin th2))) is V11() V12() real set
(((sin th1) * (cos th2)) + (- ((cos th1) * (sin th2)))) / ((cos th1) * (cos th2)) is V11() V12() real set
((((sin th1) * (cos th2)) / ((cos th1) * (cos th2))) + (((cos th1) * (sin th2)) / ((cos th1) * (cos th2)))) / ((((sin th1) * (cos th2)) + (- ((cos th1) * (sin th2)))) / ((cos th1) * (cos th2))) is V11() V12() real set
(- ((cos th1) * (sin th2))) / ((cos th1) * (cos th2)) is V11() V12() real set
(((sin th1) * (cos th2)) / ((cos th1) * (cos th2))) + ((- ((cos th1) * (sin th2))) / ((cos th1) * (cos th2))) is V11() V12() real set
((((sin th1) * (cos th2)) / ((cos th1) * (cos th2))) + (((cos th1) * (sin th2)) / ((cos th1) * (cos th2)))) / ((((sin th1) * (cos th2)) / ((cos th1) * (cos th2))) + ((- ((cos th1) * (sin th2))) / ((cos th1) * (cos th2)))) is V11() V12() real set
(cos th2) / (cos th2) is V11() V12() real set
((sin th1) / (cos th1)) * ((cos th2) / (cos th2)) is V11() V12() real set
(((sin th1) / (cos th1)) * ((cos th2) / (cos th2))) + (((cos th1) * (sin th2)) / ((cos th1) * (cos th2))) is V11() V12() real set
((((sin th1) / (cos th1)) * ((cos th2) / (cos th2))) + (((cos th1) * (sin th2)) / ((cos th1) * (cos th2)))) / ((((sin th1) * (cos th2)) / ((cos th1) * (cos th2))) + ((- ((cos th1) * (sin th2))) / ((cos th1) * (cos th2)))) is V11() V12() real set
(cos th1) / (cos th1) is V11() V12() real set
((cos th1) / (cos th1)) * ((sin th2) / (cos th2)) is V11() V12() real set
(((sin th1) / (cos th1)) * ((cos th2) / (cos th2))) + (((cos th1) / (cos th1)) * ((sin th2) / (cos th2))) is V11() V12() real set
((((sin th1) / (cos th1)) * ((cos th2) / (cos th2))) + (((cos th1) / (cos th1)) * ((sin th2) / (cos th2)))) / ((((sin th1) * (cos th2)) / ((cos th1) * (cos th2))) + ((- ((cos th1) * (sin th2))) / ((cos th1) * (cos th2)))) is V11() V12() real set
- (sin th2) is V11() V12() real set
(cos th1) * (- (sin th2)) is V11() V12() real set
((cos th1) * (- (sin th2))) / ((cos th1) * (cos th2)) is V11() V12() real set
(((sin th1) / (cos th1)) * ((cos th2) / (cos th2))) + (((cos th1) * (- (sin th2))) / ((cos th1) * (cos th2))) is V11() V12() real set
((((sin th1) / (cos th1)) * ((cos th2) / (cos th2))) + (((cos th1) / (cos th1)) * ((sin th2) / (cos th2)))) / ((((sin th1) / (cos th1)) * ((cos th2) / (cos th2))) + (((cos th1) * (- (sin th2))) / ((cos th1) * (cos th2)))) is V11() V12() real set
(- (sin th2)) / (cos th2) is V11() V12() real set
((cos th1) / (cos th1)) * ((- (sin th2)) / (cos th2)) is V11() V12() real set
(((sin th1) / (cos th1)) * ((cos th2) / (cos th2))) + (((cos th1) / (cos th1)) * ((- (sin th2)) / (cos th2))) is V11() V12() real set
((((sin th1) / (cos th1)) * ((cos th2) / (cos th2))) + (((cos th1) / (cos th1)) * ((sin th2) / (cos th2)))) / ((((sin th1) / (cos th1)) * ((cos th2) / (cos th2))) + (((cos th1) / (cos th1)) * ((- (sin th2)) / (cos th2)))) is V11() V12() real set
((sin th1) / (cos th1)) + (((cos th1) / (cos th1)) * ((sin th2) / (cos th2))) is V11() V12() real set
(((sin th1) / (cos th1)) + (((cos th1) / (cos th1)) * ((sin th2) / (cos th2)))) / ((((sin th1) / (cos th1)) * ((cos th2) / (cos th2))) + (((cos th1) / (cos th1)) * ((- (sin th2)) / (cos th2)))) is V11() V12() real set
((sin th1) / (cos th1)) + ((sin th2) / (cos th2)) is V11() V12() real set
(((sin th1) / (cos th1)) + ((sin th2) / (cos th2))) / ((((sin th1) / (cos th1)) * ((cos th2) / (cos th2))) + (((cos th1) / (cos th1)) * ((- (sin th2)) / (cos th2)))) is V11() V12() real set
((sin th1) / (cos th1)) + (((cos th1) / (cos th1)) * ((- (sin th2)) / (cos th2))) is V11() V12() real set
(((sin th1) / (cos th1)) + ((sin th2) / (cos th2))) / (((sin th1) / (cos th1)) + (((cos th1) / (cos th1)) * ((- (sin th2)) / (cos th2)))) is V11() V12() real set
((sin th1) / (cos th1)) + ((- (sin th2)) / (cos th2)) is V11() V12() real set
(((sin th1) / (cos th1)) + ((sin th2) / (cos th2))) / (((sin th1) / (cos th1)) + ((- (sin th2)) / (cos th2))) is V11() V12() real set
- ((sin th2) / (cos th2)) is V11() V12() real set
(th1) + (- ((sin th2) / (cos th2))) is V11() V12() real set
((th1) + (th2)) / ((th1) + (- ((sin th2) / (cos th2)))) is V11() V12() real set
th1 is V11() V12() real set
cos th1 is V11() V12() real set
(th1) is V11() V12() real M2(K28())
sin th1 is V11() V12() real set
(sin th1) / (cos th1) is V11() V12() real set
th2 is V11() V12() real set
cos th2 is V11() V12() real set
th1 + th2 is V11() V12() real set
cos (th1 + th2) is V11() V12() real set
th1 - th2 is V11() V12() real set
cos (th1 - th2) is V11() V12() real set
(cos (th1 + th2)) / (cos (th1 - th2)) is V11() V12() real set
(th2) is V11() V12() real M2(K28())
sin th2 is V11() V12() real set
(sin th2) / (cos th2) is V11() V12() real set
(th1) * (th2) is V11() V12() real set
1 - ((th1) * (th2)) is V11() V12() real set
1 + ((th1) * (th2)) is V11() V12() real set
(1 - ((th1) * (th2))) / (1 + ((th1) * (th2))) is V11() V12() real set
(cos th1) * (cos th2) is V11() V12() real set
(sin th1) * (sin th2) is V11() V12() real set
((cos th1) * (cos th2)) - ((sin th1) * (sin th2)) is V11() V12() real set
(((cos th1) * (cos th2)) - ((sin th1) * (sin th2))) / (cos (th1 - th2)) is V11() V12() real set
(((cos th1) * (cos th2)) - ((sin th1) * (sin th2))) / ((cos th1) * (cos th2)) is V11() V12() real set
(cos (th1 - th2)) / ((cos th1) * (cos th2)) is V11() V12() real set
((((cos th1) * (cos th2)) - ((sin th1) * (sin th2))) / ((cos th1) * (cos th2))) / ((cos (th1 - th2)) / ((cos th1) * (cos th2))) is V11() V12() real set
((cos th1) * (cos th2)) / ((cos th1) * (cos th2)) is V11() V12() real set
((sin th1) * (sin th2)) / ((cos th1) * (cos th2)) is V11() V12() real set
(((cos th1) * (cos th2)) / ((cos th1) * (cos th2))) - (((sin th1) * (sin th2)) / ((cos th1) * (cos th2))) is V11() V12() real set
((((cos th1) * (cos th2)) / ((cos th1) * (cos th2))) - (((sin th1) * (sin th2)) / ((cos th1) * (cos th2)))) / ((cos (th1 - th2)) / ((cos th1) * (cos th2))) is V11() V12() real set
1 - (((sin th1) * (sin th2)) / ((cos th1) * (cos th2))) is V11() V12() real set
(1 - (((sin th1) * (sin th2)) / ((cos th1) * (cos th2)))) / ((cos (th1 - th2)) / ((cos th1) * (cos th2))) is V11() V12() real set
(th1) * ((sin th2) / (cos th2)) is V11() V12() real set
1 - ((th1) * ((sin th2) / (cos th2))) is V11() V12() real set
(1 - ((th1) * ((sin th2) / (cos th2)))) / ((cos (th1 - th2)) / ((cos th1) * (cos th2))) is V11() V12() real set
((cos th1) * (cos th2)) + ((sin th1) * (sin th2)) is V11() V12() real set
(((cos th1) * (cos th2)) + ((sin th1) * (sin th2))) / ((cos th1) * (cos th2)) is V11() V12() real set
(1 - ((th1) * (th2))) / ((((cos th1) * (cos th2)) + ((sin th1) * (sin th2))) / ((cos th1) * (cos th2))) is V11() V12() real set
(((cos th1) * (cos th2)) / ((cos th1) * (cos th2))) + (((sin th1) * (sin th2)) / ((cos th1) * (cos th2))) is V11() V12() real set
(1 - ((th1) * (th2))) / ((((cos th1) * (cos th2)) / ((cos th1) * (cos th2))) + (((sin th1) * (sin th2)) / ((cos th1) * (cos th2)))) is V11() V12() real set
1 + (((sin th1) * (sin th2)) / ((cos th1) * (cos th2))) is V11() V12() real set
(1 - ((th1) * (th2))) / (1 + (((sin th1) * (sin th2)) / ((cos th1) * (cos th2)))) is V11() V12() real set
th1 is V11() V12() real set
sin th1 is V11() V12() real set
th2 is V11() V12() real set
sin th2 is V11() V12() real set
(sin th1) + (sin th2) is V11() V12() real set
(sin th1) - (sin th2) is V11() V12() real set
((sin th1) + (sin th2)) / ((sin th1) - (sin th2)) is V11() V12() real set
th1 + th2 is V11() V12() real set
(th1 + th2) / 2 is V11() V12() real set
(((th1 + th2) / 2)) is V11() V12() real M2(K28())
sin ((th1 + th2) / 2) is V11() V12() real set
cos ((th1 + th2) / 2) is V11() V12() real set
(sin ((th1 + th2) / 2)) / (cos ((th1 + th2) / 2)) is V11() V12() real set
th1 - th2 is V11() V12() real set
(th1 - th2) / 2 is V11() V12() real set
(((th1 - th2) / 2)) is V11() V12() real M2(K28())
cos ((th1 - th2) / 2) is V11() V12() real set
sin ((th1 - th2) / 2) is V11() V12() real set
(cos ((th1 - th2) / 2)) / (sin ((th1 - th2) / 2)) is V11() V12() real set
(((th1 + th2) / 2)) * (((th1 - th2) / 2)) is V11() V12() real set
(cos ((th1 - th2) / 2)) * (sin ((th1 + th2) / 2)) is V11() V12() real set
2 * ((cos ((th1 - th2) / 2)) * (sin ((th1 + th2) / 2))) is V11() V12() real set
(2 * ((cos ((th1 - th2) / 2)) * (sin ((th1 + th2) / 2)))) / ((sin th1) - (sin th2)) is V11() V12() real set
(cos ((th1 + th2) / 2)) * (sin ((th1 - th2) / 2)) is V11() V12() real set
2 * ((cos ((th1 + th2) / 2)) * (sin ((th1 - th2) / 2))) is V11() V12() real set
(2 * ((cos ((th1 - th2) / 2)) * (sin ((th1 + th2) / 2)))) / (2 * ((cos ((th1 + th2) / 2)) * (sin ((th1 - th2) / 2)))) is V11() V12() real set
2 / 2 is V11() V12() real set
((cos ((th1 - th2) / 2)) * (sin ((th1 + th2) / 2))) / ((cos ((th1 + th2) / 2)) * (sin ((th1 - th2) / 2))) is V11() V12() real set
(2 / 2) * (((cos ((th1 - th2) / 2)) * (sin ((th1 + th2) / 2))) / ((cos ((th1 + th2) / 2)) * (sin ((th1 - th2) / 2)))) is V11() V12() real set
th1 is V11() V12() real set
sin th1 is V11() V12() real set
cos th1 is V11() V12() real set
th2 is V11() V12() real set
th1 - th2 is V11() V12() real set
(th1 - th2) / 2 is V11() V12() real set
cos ((th1 - th2) / 2) is V11() V12() real set
sin th2 is V11() V12() real set
(sin th1) + (sin th2) is V11() V12() real set
cos th2 is V11() V12() real set
(cos th1) + (cos th2) is V11() V12() real set
((sin th1) + (sin th2)) / ((cos th1) + (cos th2)) is V11() V12() real set
th1 + th2 is V11() V12() real set
(th1 + th2) / 2 is V11() V12() real set
(((th1 + th2) / 2)) is V11() V12() real M2(K28())
sin ((th1 + th2) / 2) is V11() V12() real set
cos ((th1 + th2) / 2) is V11() V12() real set
(sin ((th1 + th2) / 2)) / (cos ((th1 + th2) / 2)) is V11() V12() real set
(cos ((th1 - th2) / 2)) * (sin ((th1 + th2) / 2)) is V11() V12() real set
2 * ((cos ((th1 - th2) / 2)) * (sin ((th1 + th2) / 2))) is V11() V12() real set
(2 * ((cos ((th1 - th2) / 2)) * (sin ((th1 + th2) / 2)))) / ((cos th1) + (cos th2)) is V11() V12() real set
(cos ((th1 + th2) / 2)) * (cos ((th1 - th2) / 2)) is V11() V12() real set
2 * ((cos ((th1 + th2) / 2)) * (cos ((th1 - th2) / 2))) is V11() V12() real set
(2 * ((cos ((th1 - th2) / 2)) * (sin ((th1 + th2) / 2)))) / (2 * ((cos ((th1 + th2) / 2)) * (cos ((th1 - th2) / 2)))) is V11() V12() real set
2 / 2 is V11() V12() real set
(cos ((th1 - th2) / 2)) * (cos ((th1 + th2) / 2)) is V11() V12() real set
((cos ((th1 - th2) / 2)) * (sin ((th1 + th2) / 2))) / ((cos ((th1 - th2) / 2)) * (cos ((th1 + th2) / 2))) is V11() V12() real set
(2 / 2) * (((cos ((th1 - th2) / 2)) * (sin ((th1 + th2) / 2))) / ((cos ((th1 - th2) / 2)) * (cos ((th1 + th2) / 2)))) is V11() V12() real set
(cos ((th1 - th2) / 2)) / (cos ((th1 - th2) / 2)) is V11() V12() real set
((cos ((th1 - th2) / 2)) / (cos ((th1 - th2) / 2))) * ((sin ((th1 + th2) / 2)) / (cos ((th1 + th2) / 2))) is V11() V12() real set
th1 is V11() V12() real set
sin th1 is V11() V12() real set
cos th1 is V11() V12() real set
th2 is V11() V12() real set
th1 + th2 is V11() V12() real set
(th1 + th2) / 2 is V11() V12() real set
cos ((th1 + th2) / 2) is V11() V12() real set
sin th2 is V11() V12() real set
(sin th1) - (sin th2) is V11() V12() real set
cos th2 is V11() V12() real set
(cos th1) + (cos th2) is V11() V12() real set
((sin th1) - (sin th2)) / ((cos th1) + (cos th2)) is V11() V12() real set
th1 - th2 is V11() V12() real set
(th1 - th2) / 2 is V11() V12() real set
(((th1 - th2) / 2)) is V11() V12() real M2(K28())
sin ((th1 - th2) / 2) is V11() V12() real set
cos ((th1 - th2) / 2) is V11() V12() real set
(sin ((th1 - th2) / 2)) / (cos ((th1 - th2) / 2)) is V11() V12() real set
(cos ((th1 + th2) / 2)) * (sin ((th1 - th2) / 2)) is V11() V12() real set
2 * ((cos ((th1 + th2) / 2)) * (sin ((th1 - th2) / 2))) is V11() V12() real set
(2 * ((cos ((th1 + th2) / 2)) * (sin ((th1 - th2) / 2)))) / ((cos th1) + (cos th2)) is V11() V12() real set
(cos ((th1 + th2) / 2)) * (cos ((th1 - th2) / 2)) is V11() V12() real set
2 * ((cos ((th1 + th2) / 2)) * (cos ((th1 - th2) / 2))) is V11() V12() real set
(2 * ((cos ((th1 + th2) / 2)) * (sin ((th1 - th2) / 2)))) / (2 * ((cos ((th1 + th2) / 2)) * (cos ((th1 - th2) / 2)))) is V11() V12() real set
2 / 2 is V11() V12() real set
((cos ((th1 + th2) / 2)) * (sin ((th1 - th2) / 2))) / ((cos ((th1 + th2) / 2)) * (cos ((th1 - th2) / 2))) is V11() V12() real set
(2 / 2) * (((cos ((th1 + th2) / 2)) * (sin ((th1 - th2) / 2))) / ((cos ((th1 + th2) / 2)) * (cos ((th1 - th2) / 2)))) is V11() V12() real set
(cos ((th1 + th2) / 2)) / (cos ((th1 + th2) / 2)) is V11() V12() real set
((cos ((th1 + th2) / 2)) / (cos ((th1 + th2) / 2))) * ((sin ((th1 - th2) / 2)) / (cos ((th1 - th2) / 2))) is V11() V12() real set
th1 is V11() V12() real set
sin th1 is V11() V12() real set
cos th1 is V11() V12() real set
th2 is V11() V12() real set
th1 + th2 is V11() V12() real set
(th1 + th2) / 2 is V11() V12() real set
sin ((th1 + th2) / 2) is V11() V12() real set
sin th2 is V11() V12() real set
(sin th1) + (sin th2) is V11() V12() real set
cos th2 is V11() V12() real set
(cos th2) - (cos th1) is V11() V12() real set
((sin th1) + (sin th2)) / ((cos th2) - (cos th1)) is V11() V12() real set
th1 - th2 is V11() V12() real set
(th1 - th2) / 2 is V11() V12() real set
(((th1 - th2) / 2)) is V11() V12() real M2(K28())
cos ((th1 - th2) / 2) is V11() V12() real set
sin ((th1 - th2) / 2) is V11() V12() real set
(cos ((th1 - th2) / 2)) / (sin ((th1 - th2) / 2)) is V11() V12() real set
(cos ((th1 - th2) / 2)) * (sin ((th1 + th2) / 2)) is V11() V12() real set
2 * ((cos ((th1 - th2) / 2)) * (sin ((th1 + th2) / 2))) is V11() V12() real set
(2 * ((cos ((th1 - th2) / 2)) * (sin ((th1 + th2) / 2)))) / ((cos th2) - (cos th1)) is V11() V12() real set
th2 + th1 is V11() V12() real set
(th2 + th1) / 2 is V11() V12() real set
sin ((th2 + th1) / 2) is V11() V12() real set
th2 - th1 is V11() V12() real set
(th2 - th1) / 2 is V11() V12() real set
sin ((th2 - th1) / 2) is V11() V12() real set
(sin ((th2 + th1) / 2)) * (sin ((th2 - th1) / 2)) is V11() V12() real set
2 * ((sin ((th2 + th1) / 2)) * (sin ((th2 - th1) / 2))) is V11() V12() real set
- (2 * ((sin ((th2 + th1) / 2)) * (sin ((th2 - th1) / 2)))) is V11() V12() real set
(2 * ((cos ((th1 - th2) / 2)) * (sin ((th1 + th2) / 2)))) / (- (2 * ((sin ((th2 + th1) / 2)) * (sin ((th2 - th1) / 2))))) is V11() V12() real set
- (sin ((th2 - th1) / 2)) is V11() V12() real set
(sin ((th2 + th1) / 2)) * (- (sin ((th2 - th1) / 2))) is V11() V12() real set
2 * ((sin ((th2 + th1) / 2)) * (- (sin ((th2 - th1) / 2)))) is V11() V12() real set
(2 * ((cos ((th1 - th2) / 2)) * (sin ((th1 + th2) / 2)))) / (2 * ((sin ((th2 + th1) / 2)) * (- (sin ((th2 - th1) / 2))))) is V11() V12() real set
- ((th2 - th1) / 2) is V11() V12() real set
sin (- ((th2 - th1) / 2)) is V11() V12() real set
(sin ((th2 + th1) / 2)) * (sin (- ((th2 - th1) / 2))) is V11() V12() real set
2 * ((sin ((th2 + th1) / 2)) * (sin (- ((th2 - th1) / 2)))) is V11() V12() real set
(2 * ((cos ((th1 - th2) / 2)) * (sin ((th1 + th2) / 2)))) / (2 * ((sin ((th2 + th1) / 2)) * (sin (- ((th2 - th1) / 2))))) is V11() V12() real set
2 / 2 is V11() V12() real set
(sin ((th2 + th1) / 2)) * (sin ((th1 - th2) / 2)) is V11() V12() real set
((cos ((th1 - th2) / 2)) * (sin ((th1 + th2) / 2))) / ((sin ((th2 + th1) / 2)) * (sin ((th1 - th2) / 2))) is V11() V12() real set
(2 / 2) * (((cos ((th1 - th2) / 2)) * (sin ((th1 + th2) / 2))) / ((sin ((th2 + th1) / 2)) * (sin ((th1 - th2) / 2)))) is V11() V12() real set
(sin ((th1 + th2) / 2)) / (sin ((th2 + th1) / 2)) is V11() V12() real set
((cos ((th1 - th2) / 2)) / (sin ((th1 - th2) / 2))) * ((sin ((th1 + th2) / 2)) / (sin ((th2 + th1) / 2))) is V11() V12() real set
th1 is V11() V12() real set
sin th1 is V11() V12() real set
cos th1 is V11() V12() real set
th2 is V11() V12() real set
th1 - th2 is V11() V12() real set
(th1 - th2) / 2 is V11() V12() real set
sin ((th1 - th2) / 2) is V11() V12() real set
sin th2 is V11() V12() real set
(sin th1) - (sin th2) is V11() V12() real set
cos th2 is V11() V12() real set
(cos th2) - (cos th1) is V11() V12() real set
((sin th1) - (sin th2)) / ((cos th2) - (cos th1)) is V11() V12() real set
th1 + th2 is V11() V12() real set
(th1 + th2) / 2 is V11() V12() real set
(((th1 + th2) / 2)) is V11() V12() real M2(K28())
cos ((th1 + th2) / 2) is V11() V12() real set
sin ((th1 + th2) / 2) is V11() V12() real set
(cos ((th1 + th2) / 2)) / (sin ((th1 + th2) / 2)) is V11() V12() real set
(cos ((th1 + th2) / 2)) * (sin ((th1 - th2) / 2)) is V11() V12() real set
2 * ((cos ((th1 + th2) / 2)) * (sin ((th1 - th2) / 2))) is V11() V12() real set
(2 * ((cos ((th1 + th2) / 2)) * (sin ((th1 - th2) / 2)))) / ((cos th2) - (cos th1)) is V11() V12() real set
th2 + th1 is V11() V12() real set
(th2 + th1) / 2 is V11() V12() real set
sin ((th2 + th1) / 2) is V11() V12() real set
th2 - th1 is V11() V12() real set
(th2 - th1) / 2 is V11() V12() real set
sin ((th2 - th1) / 2) is V11() V12() real set
(sin ((th2 + th1) / 2)) * (sin ((th2 - th1) / 2)) is V11() V12() real set
2 * ((sin ((th2 + th1) / 2)) * (sin ((th2 - th1) / 2))) is V11() V12() real set
- (2 * ((sin ((th2 + th1) / 2)) * (sin ((th2 - th1) / 2)))) is V11() V12() real set
(2 * ((cos ((th1 + th2) / 2)) * (sin ((th1 - th2) / 2)))) / (- (2 * ((sin ((th2 + th1) / 2)) * (sin ((th2 - th1) / 2))))) is V11() V12() real set
- (sin ((th2 - th1) / 2)) is V11() V12() real set
(sin ((th2 + th1) / 2)) * (- (sin ((th2 - th1) / 2))) is V11() V12() real set
2 * ((sin ((th2 + th1) / 2)) * (- (sin ((th2 - th1) / 2)))) is V11() V12() real set
(2 * ((cos ((th1 + th2) / 2)) * (sin ((th1 - th2) / 2)))) / (2 * ((sin ((th2 + th1) / 2)) * (- (sin ((th2 - th1) / 2))))) is V11() V12() real set
- ((th2 - th1) / 2) is V11() V12() real set
sin (- ((th2 - th1) / 2)) is V11() V12() real set
(sin ((th2 + th1) / 2)) * (sin (- ((th2 - th1) / 2))) is V11() V12() real set
2 * ((sin ((th2 + th1) / 2)) * (sin (- ((th2 - th1) / 2)))) is V11() V12() real set
(2 * ((cos ((th1 + th2) / 2)) * (sin ((th1 - th2) / 2)))) / (2 * ((sin ((th2 + th1) / 2)) * (sin (- ((th2 - th1) / 2))))) is V11() V12() real set
2 / 2 is V11() V12() real set
(sin ((th2 + th1) / 2)) * (sin ((th1 - th2) / 2)) is V11() V12() real set
((cos ((th1 + th2) / 2)) * (sin ((th1 - th2) / 2))) / ((sin ((th2 + th1) / 2)) * (sin ((th1 - th2) / 2))) is V11() V12() real set
(2 / 2) * (((cos ((th1 + th2) / 2)) * (sin ((th1 - th2) / 2))) / ((sin ((th2 + th1) / 2)) * (sin ((th1 - th2) / 2)))) is V11() V12() real set
(cos ((th1 + th2) / 2)) / (sin ((th2 + th1) / 2)) is V11() V12() real set
(sin ((th1 - th2) / 2)) / (sin ((th1 - th2) / 2)) is V11() V12() real set
((cos ((th1 + th2) / 2)) / (sin ((th2 + th1) / 2))) * ((sin ((th1 - th2) / 2)) / (sin ((th1 - th2) / 2))) is V11() V12() real set
th1 is V11() V12() real set
cos th1 is V11() V12() real set
th2 is V11() V12() real set
cos th2 is V11() V12() real set
(cos th1) + (cos th2) is V11() V12() real set
(cos th1) - (cos th2) is V11() V12() real set
((cos th1) + (cos th2)) / ((cos th1) - (cos th2)) is V11() V12() real set
th1 + th2 is V11() V12() real set
(th1 + th2) / 2 is V11() V12() real set
(((th1 + th2) / 2)) is V11() V12() real M2(K28())
cos ((th1 + th2) / 2) is V11() V12() real set
sin ((th1 + th2) / 2) is V11() V12() real set
(cos ((th1 + th2) / 2)) / (sin ((th1 + th2) / 2)) is V11() V12() real set
th2 - th1 is V11() V12() real set
(th2 - th1) / 2 is V11() V12() real set
(((th2 - th1) / 2)) is V11() V12() real M2(K28())
cos ((th2 - th1) / 2) is V11() V12() real set
sin ((th2 - th1) / 2) is V11() V12() real set
(cos ((th2 - th1) / 2)) / (sin ((th2 - th1) / 2)) is V11() V12() real set
(((th1 + th2) / 2)) * (((th2 - th1) / 2)) is V11() V12() real set
th1 - th2 is V11() V12() real set
(th1 - th2) / 2 is V11() V12() real set
cos ((th1 - th2) / 2) is V11() V12() real set
(cos ((th1 + th2) / 2)) * (cos ((th1 - th2) / 2)) is V11() V12() real set
2 * ((cos ((th1 + th2) / 2)) * (cos ((th1 - th2) / 2))) is V11() V12() real set
(2 * ((cos ((th1 + th2) / 2)) * (cos ((th1 - th2) / 2)))) / ((cos th1) - (cos th2)) is V11() V12() real set
sin ((th1 - th2) / 2) is V11() V12() real set
(sin ((th1 + th2) / 2)) * (sin ((th1 - th2) / 2)) is V11() V12() real set
2 * ((sin ((th1 + th2) / 2)) * (sin ((th1 - th2) / 2))) is V11() V12() real set
- (2 * ((sin ((th1 + th2) / 2)) * (sin ((th1 - th2) / 2)))) is V11() V12() real set
(2 * ((cos ((th1 + th2) / 2)) * (cos ((th1 - th2) / 2)))) / (- (2 * ((sin ((th1 + th2) / 2)) * (sin ((th1 - th2) / 2))))) is V11() V12() real set
- (sin ((th1 - th2) / 2)) is V11() V12() real set
(sin ((th1 + th2) / 2)) * (- (sin ((th1 - th2) / 2))) is V11() V12() real set
2 * ((sin ((th1 + th2) / 2)) * (- (sin ((th1 - th2) / 2)))) is V11() V12() real set
(2 * ((cos ((th1 + th2) / 2)) * (cos ((th1 - th2) / 2)))) / (2 * ((sin ((th1 + th2) / 2)) * (- (sin ((th1 - th2) / 2))))) is V11() V12() real set
- ((th1 - th2) / 2) is V11() V12() real set
sin (- ((th1 - th2) / 2)) is V11() V12() real set
(sin ((th1 + th2) / 2)) * (sin (- ((th1 - th2) / 2))) is V11() V12() real set
2 * ((sin ((th1 + th2) / 2)) * (sin (- ((th1 - th2) / 2)))) is V11() V12() real set
(2 * ((cos ((th1 + th2) / 2)) * (cos ((th1 - th2) / 2)))) / (2 * ((sin ((th1 + th2) / 2)) * (sin (- ((th1 - th2) / 2))))) is V11() V12() real set
2 / 2 is V11() V12() real set
(sin ((th1 + th2) / 2)) * (sin ((th2 - th1) / 2)) is V11() V12() real set
((cos ((th1 + th2) / 2)) * (cos ((th1 - th2) / 2))) / ((sin ((th1 + th2) / 2)) * (sin ((th2 - th1) / 2))) is V11() V12() real set
(2 / 2) * (((cos ((th1 + th2) / 2)) * (cos ((th1 - th2) / 2))) / ((sin ((th1 + th2) / 2)) * (sin ((th2 - th1) / 2)))) is V11() V12() real set
- ((th2 - th1) / 2) is V11() V12() real set
cos (- ((th2 - th1) / 2)) is V11() V12() real set
(cos (- ((th2 - th1) / 2))) / (sin ((th2 - th1) / 2)) is V11() V12() real set
((cos ((th1 + th2) / 2)) / (sin ((th1 + th2) / 2))) * ((cos (- ((th2 - th1) / 2))) / (sin ((th2 - th1) / 2))) is V11() V12() real set