:: SIN_COS3 semantic presentation

REAL is non zero V46() V57() V58() V59() V63() set
NAT is V57() V58() V59() V60() V61() V62() V63() Element of K19(REAL)
K19(REAL) is set
COMPLEX is non zero V46() V57() V63() set
RAT is non zero V46() V57() V58() V59() V60() V63() set
INT is non zero V46() V57() V58() V59() V60() V61() V63() set
K20(COMPLEX,COMPLEX) is set
K19(K20(COMPLEX,COMPLEX)) is set
K20(K20(COMPLEX,COMPLEX),COMPLEX) is set
K19(K20(K20(COMPLEX,COMPLEX),COMPLEX)) is set
K20(REAL,REAL) is set
K19(K20(REAL,REAL)) is set
K20(K20(REAL,REAL),REAL) is set
K19(K20(K20(REAL,REAL),REAL)) is set
K20(RAT,RAT) is set
K19(K20(RAT,RAT)) is set
K20(K20(RAT,RAT),RAT) is set
K19(K20(K20(RAT,RAT),RAT)) is set
K20(INT,INT) is set
K19(K20(INT,INT)) is set
K20(K20(INT,INT),INT) is set
K19(K20(K20(INT,INT),INT)) is set
K20(NAT,NAT) is set
K20(K20(NAT,NAT),NAT) is set
K19(K20(K20(NAT,NAT),NAT)) is set
NAT is V57() V58() V59() V60() V61() V62() V63() set
K19(NAT) is set
K19(NAT) is set
K20(NAT,REAL) is set
K19(K20(NAT,REAL)) is set
K20(NAT,COMPLEX) is set
K19(K20(NAT,COMPLEX)) is set
1r is complex Element of COMPLEX
1 is non zero natural complex V29() V30() V33() V34() V57() V58() V59() V60() V61() V62() Element of NAT
<i> is complex Element of COMPLEX
sin is V1() V4( REAL ) V5( REAL ) V6() non zero total V18( REAL , REAL ) Element of K19(K20(REAL,REAL))
cos is V1() V4( REAL ) V5( REAL ) V6() non zero total V18( REAL , REAL ) Element of K19(K20(REAL,REAL))
0 is natural complex V29() V30() V33() V34() V57() V58() V59() V60() V61() V62() Element of NAT
K198(cos,0) is complex V29() V30() Element of REAL
K198(sin,0) is complex V29() V30() Element of REAL
cos 0 is complex V29() V30() Element of REAL
sin 0 is complex V29() V30() Element of REAL
exp_R is V1() V4( REAL ) V5( REAL ) V6() non zero total V18( REAL , REAL ) Element of K19(K20(REAL,REAL))
exp_R 0 is complex V29() V30() Element of REAL
PI is complex V29() V30() Element of REAL
2 is non zero natural complex V29() V30() V33() V34() V57() V58() V59() V60() V61() V62() Element of NAT
PI / 2 is complex V29() V30() Element of REAL
K198(cos,(PI / 2)) is complex V29() V30() Element of REAL
K198(sin,(PI / 2)) is complex V29() V30() Element of REAL
K198(cos,PI) is complex V29() V30() Element of REAL
- 1 is non zero complex V29() V30() Element of REAL
K198(sin,PI) is complex V29() V30() Element of REAL
PI + (PI / 2) is complex V29() V30() Element of REAL
K198(cos,(PI + (PI / 2))) is complex V29() V30() Element of REAL
K198(sin,(PI + (PI / 2))) is complex V29() V30() Element of REAL
2 * PI is complex V29() V30() Element of REAL
K198(cos,(2 * PI)) is complex V29() V30() Element of REAL
K198(sin,(2 * PI)) is complex V29() V30() Element of REAL
sinh is V1() V4( REAL ) V5( REAL ) V6() non zero total V18( REAL , REAL ) Element of K19(K20(REAL,REAL))
cosh is V1() V4( REAL ) V5( REAL ) V6() non zero total V18( REAL , REAL ) Element of K19(K20(REAL,REAL))
tanh is V1() V4( REAL ) V5( REAL ) V6() non zero total V18( REAL , REAL ) Element of K19(K20(REAL,REAL))
2 * <i> is complex Element of COMPLEX
z1 is V1() V4( COMPLEX ) V5( COMPLEX ) V6() non zero total V18( COMPLEX , COMPLEX ) Element of K19(K20(COMPLEX,COMPLEX))
z1 is V1() V4( COMPLEX ) V5( COMPLEX ) V6() non zero total V18( COMPLEX , COMPLEX ) Element of K19(K20(COMPLEX,COMPLEX))
z2 is V1() V4( COMPLEX ) V5( COMPLEX ) V6() non zero total V18( COMPLEX , COMPLEX ) Element of K19(K20(COMPLEX,COMPLEX))
() is V1() V4( COMPLEX ) V5( COMPLEX ) V6() non zero total V18( COMPLEX , COMPLEX ) Element of K19(K20(COMPLEX,COMPLEX))
z1 is V1() V4( COMPLEX ) V5( COMPLEX ) V6() non zero total V18( COMPLEX , COMPLEX ) Element of K19(K20(COMPLEX,COMPLEX))
z1 is V1() V4( COMPLEX ) V5( COMPLEX ) V6() non zero total V18( COMPLEX , COMPLEX ) Element of K19(K20(COMPLEX,COMPLEX))
z2 is V1() V4( COMPLEX ) V5( COMPLEX ) V6() non zero total V18( COMPLEX , COMPLEX ) Element of K19(K20(COMPLEX,COMPLEX))
() is V1() V4( COMPLEX ) V5( COMPLEX ) V6() non zero total V18( COMPLEX , COMPLEX ) Element of K19(K20(COMPLEX,COMPLEX))
z1 is V1() V4( COMPLEX ) V5( COMPLEX ) V6() non zero total V18( COMPLEX , COMPLEX ) Element of K19(K20(COMPLEX,COMPLEX))
z1 is V1() V4( COMPLEX ) V5( COMPLEX ) V6() non zero total V18( COMPLEX , COMPLEX ) Element of K19(K20(COMPLEX,COMPLEX))
z2 is V1() V4( COMPLEX ) V5( COMPLEX ) V6() non zero total V18( COMPLEX , COMPLEX ) Element of K19(K20(COMPLEX,COMPLEX))
() is V1() V4( COMPLEX ) V5( COMPLEX ) V6() non zero total V18( COMPLEX , COMPLEX ) Element of K19(K20(COMPLEX,COMPLEX))
z1 is V1() V4( COMPLEX ) V5( COMPLEX ) V6() non zero total V18( COMPLEX , COMPLEX ) Element of K19(K20(COMPLEX,COMPLEX))
z1 is V1() V4( COMPLEX ) V5( COMPLEX ) V6() non zero total V18( COMPLEX , COMPLEX ) Element of K19(K20(COMPLEX,COMPLEX))
z2 is V1() V4( COMPLEX ) V5( COMPLEX ) V6() non zero total V18( COMPLEX , COMPLEX ) Element of K19(K20(COMPLEX,COMPLEX))
() is V1() V4( COMPLEX ) V5( COMPLEX ) V6() non zero total V18( COMPLEX , COMPLEX ) Element of K19(K20(COMPLEX,COMPLEX))
z1 is complex set
() /. z1 is complex Element of COMPLEX
exp z1 is complex Element of COMPLEX
- z1 is complex Element of COMPLEX
exp (- z1) is complex Element of COMPLEX
(exp z1) - (exp (- z1)) is complex Element of COMPLEX
((exp z1) - (exp (- z1))) / 2 is complex Element of COMPLEX
z2 is complex Element of COMPLEX
() /. z2 is complex Element of COMPLEX
() . z2 is complex Element of COMPLEX
exp z2 is complex Element of COMPLEX
- z2 is complex Element of COMPLEX
exp (- z2) is complex Element of COMPLEX
(exp z2) - (exp (- z2)) is complex Element of COMPLEX
((exp z2) - (exp (- z2))) / 2 is complex Element of COMPLEX
z1 is complex set
() /. z1 is complex Element of COMPLEX
exp z1 is complex Element of COMPLEX
- z1 is complex Element of COMPLEX
exp (- z1) is complex Element of COMPLEX
(exp z1) + (exp (- z1)) is complex Element of COMPLEX
((exp z1) + (exp (- z1))) / 2 is complex Element of COMPLEX
z2 is complex Element of COMPLEX
() /. z2 is complex Element of COMPLEX
() . z2 is complex Element of COMPLEX
exp z2 is complex Element of COMPLEX
- z2 is complex Element of COMPLEX
exp (- z2) is complex Element of COMPLEX
(exp z2) + (exp (- z2)) is complex Element of COMPLEX
((exp z2) + (exp (- z2))) / 2 is complex Element of COMPLEX
z1 is complex Element of COMPLEX
exp z1 is complex Element of COMPLEX
- z1 is complex Element of COMPLEX
exp (- z1) is complex Element of COMPLEX
(exp z1) * (exp (- z1)) is complex Element of COMPLEX
z1 + (- z1) is complex Element of COMPLEX
exp (z1 + (- z1)) is complex Element of COMPLEX
z1 is complex Element of COMPLEX
() /. z1 is complex Element of COMPLEX
() . z1 is complex Element of COMPLEX
(() /. z1) * (() /. z1) is complex Element of COMPLEX
() /. z1 is complex Element of COMPLEX
() . z1 is complex Element of COMPLEX
(() /. z1) * (() /. z1) is complex Element of COMPLEX
((() /. z1) * (() /. z1)) + ((() /. z1) * (() /. z1)) is complex Element of COMPLEX
<i> * z1 is complex Element of COMPLEX
exp (<i> * z1) is complex Element of COMPLEX
- (<i> * z1) is complex Element of COMPLEX
exp (- (<i> * z1)) is complex Element of COMPLEX
(exp (<i> * z1)) + (exp (- (<i> * z1))) is complex Element of COMPLEX
((exp (<i> * z1)) + (exp (- (<i> * z1)))) / 2 is complex Element of COMPLEX
(() /. z1) * (((exp (<i> * z1)) + (exp (- (<i> * z1)))) / 2) is complex Element of COMPLEX
((() /. z1) * (() /. z1)) + ((() /. z1) * (((exp (<i> * z1)) + (exp (- (<i> * z1)))) / 2)) is complex Element of COMPLEX
(((exp (<i> * z1)) + (exp (- (<i> * z1)))) / 2) * (((exp (<i> * z1)) + (exp (- (<i> * z1)))) / 2) is complex Element of COMPLEX
((() /. z1) * (() /. z1)) + ((((exp (<i> * z1)) + (exp (- (<i> * z1)))) / 2) * (((exp (<i> * z1)) + (exp (- (<i> * z1)))) / 2)) is complex Element of COMPLEX
(exp (<i> * z1)) - (exp (- (<i> * z1))) is complex Element of COMPLEX
((exp (<i> * z1)) - (exp (- (<i> * z1)))) / (2 * <i>) is complex Element of COMPLEX
(((exp (<i> * z1)) - (exp (- (<i> * z1)))) / (2 * <i>)) * (() /. z1) is complex Element of COMPLEX
((((exp (<i> * z1)) - (exp (- (<i> * z1)))) / (2 * <i>)) * (() /. z1)) + ((((exp (<i> * z1)) + (exp (- (<i> * z1)))) / 2) * (((exp (<i> * z1)) + (exp (- (<i> * z1)))) / 2)) is complex Element of COMPLEX
(((exp (<i> * z1)) - (exp (- (<i> * z1)))) / (2 * <i>)) * (((exp (<i> * z1)) - (exp (- (<i> * z1)))) / (2 * <i>)) is complex Element of COMPLEX
((((exp (<i> * z1)) - (exp (- (<i> * z1)))) / (2 * <i>)) * (((exp (<i> * z1)) - (exp (- (<i> * z1)))) / (2 * <i>))) + ((((exp (<i> * z1)) + (exp (- (<i> * z1)))) / 2) * (((exp (<i> * z1)) + (exp (- (<i> * z1)))) / 2)) is complex Element of COMPLEX
(exp (<i> * z1)) * (exp (- (<i> * z1))) is complex Element of COMPLEX
((exp (<i> * z1)) * (exp (- (<i> * z1)))) + ((exp (<i> * z1)) * (exp (- (<i> * z1)))) is complex Element of COMPLEX
(((exp (<i> * z1)) * (exp (- (<i> * z1)))) + ((exp (<i> * z1)) * (exp (- (<i> * z1))))) + (((exp (<i> * z1)) * (exp (- (<i> * z1)))) + ((exp (<i> * z1)) * (exp (- (<i> * z1))))) is complex Element of COMPLEX
4 is non zero natural complex V29() V30() V33() V34() V57() V58() V59() V60() V61() V62() Element of NAT
((((exp (<i> * z1)) * (exp (- (<i> * z1)))) + ((exp (<i> * z1)) * (exp (- (<i> * z1))))) + (((exp (<i> * z1)) * (exp (- (<i> * z1)))) + ((exp (<i> * z1)) * (exp (- (<i> * z1)))))) / 4 is complex Element of COMPLEX
1 + ((exp (<i> * z1)) * (exp (- (<i> * z1)))) is complex Element of COMPLEX
(1 + ((exp (<i> * z1)) * (exp (- (<i> * z1))))) + (((exp (<i> * z1)) * (exp (- (<i> * z1)))) + ((exp (<i> * z1)) * (exp (- (<i> * z1))))) is complex Element of COMPLEX
((1 + ((exp (<i> * z1)) * (exp (- (<i> * z1))))) + (((exp (<i> * z1)) * (exp (- (<i> * z1)))) + ((exp (<i> * z1)) * (exp (- (<i> * z1)))))) / 4 is complex Element of COMPLEX
1 + 1 is natural complex V29() V30() V33() V34() V57() V58() V59() V60() V61() V62() Element of NAT
(1 + 1) + (((exp (<i> * z1)) * (exp (- (<i> * z1)))) + ((exp (<i> * z1)) * (exp (- (<i> * z1))))) is complex Element of COMPLEX
((1 + 1) + (((exp (<i> * z1)) * (exp (- (<i> * z1)))) + ((exp (<i> * z1)) * (exp (- (<i> * z1)))))) / 4 is complex Element of COMPLEX
((exp (<i> * z1)) * (exp (- (<i> * z1)))) + 1 is complex Element of COMPLEX
(1 + 1) + (((exp (<i> * z1)) * (exp (- (<i> * z1)))) + 1) is complex Element of COMPLEX
((1 + 1) + (((exp (<i> * z1)) * (exp (- (<i> * z1)))) + 1)) / 4 is complex Element of COMPLEX
2 + 2 is natural complex V29() V30() V33() V34() V57() V58() V59() V60() V61() V62() Element of NAT
(2 + 2) / 4 is complex V29() V30() V34() Element of RAT
z1 is complex set
() /. z1 is complex Element of COMPLEX
- (() /. z1) is complex Element of COMPLEX
- z1 is complex Element of COMPLEX
() /. (- z1) is complex Element of COMPLEX
() . (- z1) is complex Element of COMPLEX
z2 is complex Element of COMPLEX
- z2 is complex Element of COMPLEX
() /. (- z2) is complex Element of COMPLEX
() . (- z2) is complex Element of COMPLEX
<i> * (- z2) is complex Element of COMPLEX
exp (<i> * (- z2)) is complex Element of COMPLEX
- (<i> * (- z2)) is complex Element of COMPLEX
exp (- (<i> * (- z2))) is complex Element of COMPLEX
(exp (<i> * (- z2))) - (exp (- (<i> * (- z2)))) is complex Element of COMPLEX
((exp (<i> * (- z2))) - (exp (- (<i> * (- z2))))) / (2 * <i>) is complex Element of COMPLEX
<i> * z2 is complex Element of COMPLEX
exp (<i> * z2) is complex Element of COMPLEX
- (<i> * z2) is complex Element of COMPLEX
exp (- (<i> * z2)) is complex Element of COMPLEX
(exp (<i> * z2)) - (exp (- (<i> * z2))) is complex Element of COMPLEX
((exp (<i> * z2)) - (exp (- (<i> * z2)))) / (2 * <i>) is complex Element of COMPLEX
- (((exp (<i> * z2)) - (exp (- (<i> * z2)))) / (2 * <i>)) is complex Element of COMPLEX
() /. z2 is complex Element of COMPLEX
() . z2 is complex Element of COMPLEX
- (() /. z2) is complex Element of COMPLEX
z1 is complex set
() /. z1 is complex Element of COMPLEX
- z1 is complex Element of COMPLEX
() /. (- z1) is complex Element of COMPLEX
() . (- z1) is complex Element of COMPLEX
z2 is complex Element of COMPLEX
- z2 is complex Element of COMPLEX
() /. (- z2) is complex Element of COMPLEX
() . (- z2) is complex Element of COMPLEX
<i> * (- z2) is complex Element of COMPLEX
exp (<i> * (- z2)) is complex Element of COMPLEX
- (<i> * (- z2)) is complex Element of COMPLEX
exp (- (<i> * (- z2))) is complex Element of COMPLEX
(exp (<i> * (- z2))) + (exp (- (<i> * (- z2)))) is complex Element of COMPLEX
((exp (<i> * (- z2))) + (exp (- (<i> * (- z2))))) / 2 is complex Element of COMPLEX
<i> * z2 is complex Element of COMPLEX
- (<i> * z2) is complex Element of COMPLEX
exp (- (<i> * z2)) is complex Element of COMPLEX
exp (<i> * z2) is complex Element of COMPLEX
(exp (- (<i> * z2))) + (exp (<i> * z2)) is complex Element of COMPLEX
((exp (- (<i> * z2))) + (exp (<i> * z2))) / 2 is complex Element of COMPLEX
() /. z2 is complex Element of COMPLEX
() . z2 is complex Element of COMPLEX
z1 is complex set
z2 is complex set
z1 + z2 is complex Element of COMPLEX
() /. (z1 + z2) is complex Element of COMPLEX
() . (z1 + z2) is complex Element of COMPLEX
() /. z1 is complex Element of COMPLEX
() /. z2 is complex Element of COMPLEX
(() /. z1) * (() /. z2) is complex Element of COMPLEX
() /. z1 is complex Element of COMPLEX
() /. z2 is complex Element of COMPLEX
(() /. z1) * (() /. z2) is complex Element of COMPLEX
((() /. z1) * (() /. z2)) + ((() /. z1) * (() /. z2)) is complex Element of COMPLEX
c1 is complex Element of COMPLEX
<i> * c1 is complex Element of COMPLEX
exp (<i> * c1) is complex Element of COMPLEX
- (<i> * c1) is complex Element of COMPLEX
exp (- (<i> * c1)) is complex Element of COMPLEX
c2 is complex Element of COMPLEX
<i> * c2 is complex Element of COMPLEX
exp (<i> * c2) is complex Element of COMPLEX
- (<i> * c2) is complex Element of COMPLEX
exp (- (<i> * c2)) is complex Element of COMPLEX
() /. c1 is complex Element of COMPLEX
() . c1 is complex Element of COMPLEX
() /. c2 is complex Element of COMPLEX
() . c2 is complex Element of COMPLEX
(() /. c1) * (() /. c2) is complex Element of COMPLEX
() /. c1 is complex Element of COMPLEX
() . c1 is complex Element of COMPLEX
() /. c2 is complex Element of COMPLEX
() . c2 is complex Element of COMPLEX
(() /. c1) * (() /. c2) is complex Element of COMPLEX
((() /. c1) * (() /. c2)) + ((() /. c1) * (() /. c2)) is complex Element of COMPLEX
(exp (<i> * c1)) - (exp (- (<i> * c1))) is complex Element of COMPLEX
((exp (<i> * c1)) - (exp (- (<i> * c1)))) / (2 * <i>) is complex Element of COMPLEX
(((exp (<i> * c1)) - (exp (- (<i> * c1)))) / (2 * <i>)) * (() /. c2) is complex Element of COMPLEX
((((exp (<i> * c1)) - (exp (- (<i> * c1)))) / (2 * <i>)) * (() /. c2)) + ((() /. c1) * (() /. c2)) is complex Element of COMPLEX
(exp (<i> * c2)) - (exp (- (<i> * c2))) is complex Element of COMPLEX
((exp (<i> * c2)) - (exp (- (<i> * c2)))) / (2 * <i>) is complex Element of COMPLEX
(() /. c1) * (((exp (<i> * c2)) - (exp (- (<i> * c2)))) / (2 * <i>)) is complex Element of COMPLEX
((((exp (<i> * c1)) - (exp (- (<i> * c1)))) / (2 * <i>)) * (() /. c2)) + ((() /. c1) * (((exp (<i> * c2)) - (exp (- (<i> * c2)))) / (2 * <i>))) is complex Element of COMPLEX
(exp (- (<i> * c2))) + (exp (<i> * c2)) is complex Element of COMPLEX
((exp (- (<i> * c2))) + (exp (<i> * c2))) / 2 is complex Element of COMPLEX
(((exp (<i> * c1)) - (exp (- (<i> * c1)))) / (2 * <i>)) * (((exp (- (<i> * c2))) + (exp (<i> * c2))) / 2) is complex Element of COMPLEX
((((exp (<i> * c1)) - (exp (- (<i> * c1)))) / (2 * <i>)) * (((exp (- (<i> * c2))) + (exp (<i> * c2))) / 2)) + ((() /. c1) * (((exp (<i> * c2)) - (exp (- (<i> * c2)))) / (2 * <i>))) is complex Element of COMPLEX
((exp (<i> * c1)) - (exp (- (<i> * c1)))) * ((exp (- (<i> * c2))) + (exp (<i> * c2))) is complex Element of COMPLEX
(2 * <i>) * 2 is complex Element of COMPLEX
(((exp (<i> * c1)) - (exp (- (<i> * c1)))) * ((exp (- (<i> * c2))) + (exp (<i> * c2)))) / ((2 * <i>) * 2) is complex Element of COMPLEX
(exp (- (<i> * c1))) + (exp (<i> * c1)) is complex Element of COMPLEX
((exp (- (<i> * c1))) + (exp (<i> * c1))) / 2 is complex Element of COMPLEX
(((exp (- (<i> * c1))) + (exp (<i> * c1))) / 2) * (((exp (<i> * c2)) - (exp (- (<i> * c2)))) / (2 * <i>)) is complex Element of COMPLEX
((((exp (<i> * c1)) - (exp (- (<i> * c1)))) * ((exp (- (<i> * c2))) + (exp (<i> * c2)))) / ((2 * <i>) * 2)) + ((((exp (- (<i> * c1))) + (exp (<i> * c1))) / 2) * (((exp (<i> * c2)) - (exp (- (<i> * c2)))) / (2 * <i>))) is complex Element of COMPLEX
(exp (<i> * c1)) * (exp (<i> * c2)) is complex Element of COMPLEX
((exp (<i> * c1)) * (exp (<i> * c2))) + ((exp (<i> * c1)) * (exp (<i> * c2))) is complex Element of COMPLEX
(exp (<i> * c1)) * (exp (- (<i> * c2))) is complex Element of COMPLEX
(exp (- (<i> * c1))) * (exp (- (<i> * c2))) is complex Element of COMPLEX
((exp (<i> * c1)) * (exp (- (<i> * c2)))) + ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))) is complex Element of COMPLEX
((exp (<i> * c1)) * (exp (- (<i> * c2)))) - ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))) is complex Element of COMPLEX
(((exp (<i> * c1)) * (exp (- (<i> * c2)))) + ((exp (- (<i> * c1))) * (exp (- (<i> * c2))))) - (((exp (<i> * c1)) * (exp (- (<i> * c2)))) - ((exp (- (<i> * c1))) * (exp (- (<i> * c2))))) is complex Element of COMPLEX
(((exp (<i> * c1)) * (exp (<i> * c2))) + ((exp (<i> * c1)) * (exp (<i> * c2)))) - ((((exp (<i> * c1)) * (exp (- (<i> * c2)))) + ((exp (- (<i> * c1))) * (exp (- (<i> * c2))))) - (((exp (<i> * c1)) * (exp (- (<i> * c2)))) - ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))))) is complex Element of COMPLEX
((((exp (<i> * c1)) * (exp (<i> * c2))) + ((exp (<i> * c1)) * (exp (<i> * c2)))) - ((((exp (<i> * c1)) * (exp (- (<i> * c2)))) + ((exp (- (<i> * c1))) * (exp (- (<i> * c2))))) - (((exp (<i> * c1)) * (exp (- (<i> * c2)))) - ((exp (- (<i> * c1))) * (exp (- (<i> * c2))))))) / ((2 * <i>) * 2) is complex Element of COMPLEX
Re ((exp (<i> * c1)) * (exp (<i> * c2))) is complex V29() V30() Element of REAL
(Re ((exp (<i> * c1)) * (exp (<i> * c2)))) + (Re ((exp (<i> * c1)) * (exp (<i> * c2)))) is complex V29() V30() Element of REAL
Im ((exp (<i> * c1)) * (exp (<i> * c2))) is complex V29() V30() Element of REAL
(Im ((exp (<i> * c1)) * (exp (<i> * c2)))) + (Im ((exp (<i> * c1)) * (exp (<i> * c2)))) is complex V29() V30() Element of REAL
((Im ((exp (<i> * c1)) * (exp (<i> * c2)))) + (Im ((exp (<i> * c1)) * (exp (<i> * c2))))) * <i> is complex Element of COMPLEX
((Re ((exp (<i> * c1)) * (exp (<i> * c2)))) + (Re ((exp (<i> * c1)) * (exp (<i> * c2))))) + (((Im ((exp (<i> * c1)) * (exp (<i> * c2)))) + (Im ((exp (<i> * c1)) * (exp (<i> * c2))))) * <i>) is complex Element of COMPLEX
((exp (- (<i> * c1))) * (exp (- (<i> * c2)))) + ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))) is complex Element of COMPLEX
(((Re ((exp (<i> * c1)) * (exp (<i> * c2)))) + (Re ((exp (<i> * c1)) * (exp (<i> * c2))))) + (((Im ((exp (<i> * c1)) * (exp (<i> * c2)))) + (Im ((exp (<i> * c1)) * (exp (<i> * c2))))) * <i>)) - (((exp (- (<i> * c1))) * (exp (- (<i> * c2)))) + ((exp (- (<i> * c1))) * (exp (- (<i> * c2))))) is complex Element of COMPLEX
((((Re ((exp (<i> * c1)) * (exp (<i> * c2)))) + (Re ((exp (<i> * c1)) * (exp (<i> * c2))))) + (((Im ((exp (<i> * c1)) * (exp (<i> * c2)))) + (Im ((exp (<i> * c1)) * (exp (<i> * c2))))) * <i>)) - (((exp (- (<i> * c1))) * (exp (- (<i> * c2)))) + ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))))) / ((2 * <i>) * 2) is complex Element of COMPLEX
2 * (Re ((exp (<i> * c1)) * (exp (<i> * c2)))) is complex V29() V30() Element of REAL
2 * (Im ((exp (<i> * c1)) * (exp (<i> * c2)))) is complex V29() V30() Element of REAL
(2 * (Im ((exp (<i> * c1)) * (exp (<i> * c2))))) * <i> is complex Element of COMPLEX
(2 * (Re ((exp (<i> * c1)) * (exp (<i> * c2))))) + ((2 * (Im ((exp (<i> * c1)) * (exp (<i> * c2))))) * <i>) is complex Element of COMPLEX
((2 * (Re ((exp (<i> * c1)) * (exp (<i> * c2))))) + ((2 * (Im ((exp (<i> * c1)) * (exp (<i> * c2))))) * <i>)) - (((exp (- (<i> * c1))) * (exp (- (<i> * c2)))) + ((exp (- (<i> * c1))) * (exp (- (<i> * c2))))) is complex Element of COMPLEX
(((2 * (Re ((exp (<i> * c1)) * (exp (<i> * c2))))) + ((2 * (Im ((exp (<i> * c1)) * (exp (<i> * c2))))) * <i>)) - (((exp (- (<i> * c1))) * (exp (- (<i> * c2)))) + ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))))) / ((2 * <i>) * 2) is complex Element of COMPLEX
2 * ((exp (<i> * c1)) * (exp (<i> * c2))) is complex Element of COMPLEX
Re (2 * ((exp (<i> * c1)) * (exp (<i> * c2)))) is complex V29() V30() Element of REAL
(Re (2 * ((exp (<i> * c1)) * (exp (<i> * c2))))) + ((2 * (Im ((exp (<i> * c1)) * (exp (<i> * c2))))) * <i>) is complex Element of COMPLEX
((Re (2 * ((exp (<i> * c1)) * (exp (<i> * c2))))) + ((2 * (Im ((exp (<i> * c1)) * (exp (<i> * c2))))) * <i>)) - (((exp (- (<i> * c1))) * (exp (- (<i> * c2)))) + ((exp (- (<i> * c1))) * (exp (- (<i> * c2))))) is complex Element of COMPLEX
(((Re (2 * ((exp (<i> * c1)) * (exp (<i> * c2))))) + ((2 * (Im ((exp (<i> * c1)) * (exp (<i> * c2))))) * <i>)) - (((exp (- (<i> * c1))) * (exp (- (<i> * c2)))) + ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))))) / ((2 * <i>) * 2) is complex Element of COMPLEX
Im (2 * ((exp (<i> * c1)) * (exp (<i> * c2)))) is complex V29() V30() Element of REAL
(Im (2 * ((exp (<i> * c1)) * (exp (<i> * c2))))) * <i> is complex Element of COMPLEX
(Re (2 * ((exp (<i> * c1)) * (exp (<i> * c2))))) + ((Im (2 * ((exp (<i> * c1)) * (exp (<i> * c2))))) * <i>) is complex Element of COMPLEX
((Re (2 * ((exp (<i> * c1)) * (exp (<i> * c2))))) + ((Im (2 * ((exp (<i> * c1)) * (exp (<i> * c2))))) * <i>)) - (((exp (- (<i> * c1))) * (exp (- (<i> * c2)))) + ((exp (- (<i> * c1))) * (exp (- (<i> * c2))))) is complex Element of COMPLEX
(((Re (2 * ((exp (<i> * c1)) * (exp (<i> * c2))))) + ((Im (2 * ((exp (<i> * c1)) * (exp (<i> * c2))))) * <i>)) - (((exp (- (<i> * c1))) * (exp (- (<i> * c2)))) + ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))))) / ((2 * <i>) * 2) is complex Element of COMPLEX
(2 * ((exp (<i> * c1)) * (exp (<i> * c2)))) - (((exp (- (<i> * c1))) * (exp (- (<i> * c2)))) + ((exp (- (<i> * c1))) * (exp (- (<i> * c2))))) is complex Element of COMPLEX
((2 * ((exp (<i> * c1)) * (exp (<i> * c2)))) - (((exp (- (<i> * c1))) * (exp (- (<i> * c2)))) + ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))))) / ((2 * <i>) * 2) is complex Element of COMPLEX
Re ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))) is complex V29() V30() Element of REAL
(Re ((exp (- (<i> * c1))) * (exp (- (<i> * c2))))) + (Re ((exp (- (<i> * c1))) * (exp (- (<i> * c2))))) is complex V29() V30() Element of REAL
Im ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))) is complex V29() V30() Element of REAL
(Im ((exp (- (<i> * c1))) * (exp (- (<i> * c2))))) + (Im ((exp (- (<i> * c1))) * (exp (- (<i> * c2))))) is complex V29() V30() Element of REAL
((Im ((exp (- (<i> * c1))) * (exp (- (<i> * c2))))) + (Im ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))))) * <i> is complex Element of COMPLEX
((Re ((exp (- (<i> * c1))) * (exp (- (<i> * c2))))) + (Re ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))))) + (((Im ((exp (- (<i> * c1))) * (exp (- (<i> * c2))))) + (Im ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))))) * <i>) is complex Element of COMPLEX
(2 * ((exp (<i> * c1)) * (exp (<i> * c2)))) - (((Re ((exp (- (<i> * c1))) * (exp (- (<i> * c2))))) + (Re ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))))) + (((Im ((exp (- (<i> * c1))) * (exp (- (<i> * c2))))) + (Im ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))))) * <i>)) is complex Element of COMPLEX
((2 * ((exp (<i> * c1)) * (exp (<i> * c2)))) - (((Re ((exp (- (<i> * c1))) * (exp (- (<i> * c2))))) + (Re ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))))) + (((Im ((exp (- (<i> * c1))) * (exp (- (<i> * c2))))) + (Im ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))))) * <i>))) / ((2 * <i>) * 2) is complex Element of COMPLEX
2 * (Re ((exp (- (<i> * c1))) * (exp (- (<i> * c2))))) is complex V29() V30() Element of REAL
2 * (Im ((exp (- (<i> * c1))) * (exp (- (<i> * c2))))) is complex V29() V30() Element of REAL
(2 * (Im ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))))) * <i> is complex Element of COMPLEX
(2 * (Re ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))))) + ((2 * (Im ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))))) * <i>) is complex Element of COMPLEX
(2 * ((exp (<i> * c1)) * (exp (<i> * c2)))) - ((2 * (Re ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))))) + ((2 * (Im ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))))) * <i>)) is complex Element of COMPLEX
((2 * ((exp (<i> * c1)) * (exp (<i> * c2)))) - ((2 * (Re ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))))) + ((2 * (Im ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))))) * <i>))) / ((2 * <i>) * 2) is complex Element of COMPLEX
2 * ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))) is complex Element of COMPLEX
Re (2 * ((exp (- (<i> * c1))) * (exp (- (<i> * c2))))) is complex V29() V30() Element of REAL
(Re (2 * ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))))) + ((2 * (Im ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))))) * <i>) is complex Element of COMPLEX
(2 * ((exp (<i> * c1)) * (exp (<i> * c2)))) - ((Re (2 * ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))))) + ((2 * (Im ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))))) * <i>)) is complex Element of COMPLEX
((2 * ((exp (<i> * c1)) * (exp (<i> * c2)))) - ((Re (2 * ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))))) + ((2 * (Im ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))))) * <i>))) / ((2 * <i>) * 2) is complex Element of COMPLEX
Im (2 * ((exp (- (<i> * c1))) * (exp (- (<i> * c2))))) is complex V29() V30() Element of REAL
(Im (2 * ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))))) * <i> is complex Element of COMPLEX
(Re (2 * ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))))) + ((Im (2 * ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))))) * <i>) is complex Element of COMPLEX
(2 * ((exp (<i> * c1)) * (exp (<i> * c2)))) - ((Re (2 * ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))))) + ((Im (2 * ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))))) * <i>)) is complex Element of COMPLEX
((2 * ((exp (<i> * c1)) * (exp (<i> * c2)))) - ((Re (2 * ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))))) + ((Im (2 * ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))))) * <i>))) / ((2 * <i>) * 2) is complex Element of COMPLEX
(2 * ((exp (<i> * c1)) * (exp (<i> * c2)))) - (2 * ((exp (- (<i> * c1))) * (exp (- (<i> * c2))))) is complex Element of COMPLEX
((2 * ((exp (<i> * c1)) * (exp (<i> * c2)))) - (2 * ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))))) / ((2 * <i>) * 2) is complex Element of COMPLEX
((exp (<i> * c1)) * (exp (<i> * c2))) / (2 * <i>) is complex Element of COMPLEX
(2 * ((exp (- (<i> * c1))) * (exp (- (<i> * c2))))) / ((2 * <i>) * 2) is complex Element of COMPLEX
(((exp (<i> * c1)) * (exp (<i> * c2))) / (2 * <i>)) - ((2 * ((exp (- (<i> * c1))) * (exp (- (<i> * c2))))) / ((2 * <i>) * 2)) is complex Element of COMPLEX
(<i> * c1) + (<i> * c2) is complex Element of COMPLEX
exp ((<i> * c1) + (<i> * c2)) is complex Element of COMPLEX
(exp ((<i> * c1) + (<i> * c2))) / (2 * <i>) is complex Element of COMPLEX
((exp (- (<i> * c1))) * (exp (- (<i> * c2)))) / (2 * <i>) is complex Element of COMPLEX
((exp ((<i> * c1) + (<i> * c2))) / (2 * <i>)) - (((exp (- (<i> * c1))) * (exp (- (<i> * c2)))) / (2 * <i>)) is complex Element of COMPLEX
c1 + c2 is complex Element of COMPLEX
<i> * (c1 + c2) is complex Element of COMPLEX
exp (<i> * (c1 + c2)) is complex Element of COMPLEX
(exp (<i> * (c1 + c2))) / (2 * <i>) is complex Element of COMPLEX
(- (<i> * c1)) + (- (<i> * c2)) is complex Element of COMPLEX
exp ((- (<i> * c1)) + (- (<i> * c2))) is complex Element of COMPLEX
(exp ((- (<i> * c1)) + (- (<i> * c2)))) / (2 * <i>) is complex Element of COMPLEX
((exp (<i> * (c1 + c2))) / (2 * <i>)) - ((exp ((- (<i> * c1)) + (- (<i> * c2)))) / (2 * <i>)) is complex Element of COMPLEX
- (<i> * (c1 + c2)) is complex Element of COMPLEX
exp (- (<i> * (c1 + c2))) is complex Element of COMPLEX
(exp (<i> * (c1 + c2))) - (exp (- (<i> * (c1 + c2)))) is complex Element of COMPLEX
((exp (<i> * (c1 + c2))) - (exp (- (<i> * (c1 + c2))))) / (2 * <i>) is complex Element of COMPLEX
() /. (c1 + c2) is complex Element of COMPLEX
() . (c1 + c2) is complex Element of COMPLEX
z1 is complex Element of COMPLEX
() /. z1 is complex Element of COMPLEX
() . z1 is complex Element of COMPLEX
() /. z1 is complex Element of COMPLEX
() . z1 is complex Element of COMPLEX
z2 is complex Element of COMPLEX
z1 - z2 is complex Element of COMPLEX
() /. (z1 - z2) is complex Element of COMPLEX
() . (z1 - z2) is complex Element of COMPLEX
() /. z2 is complex Element of COMPLEX
() . z2 is complex Element of COMPLEX
(() /. z1) * (() /. z2) is complex Element of COMPLEX
() /. z2 is complex Element of COMPLEX
() . z2 is complex Element of COMPLEX
(() /. z1) * (() /. z2) is complex Element of COMPLEX
((() /. z1) * (() /. z2)) - ((() /. z1) * (() /. z2)) is complex Element of COMPLEX
- z2 is complex Element of COMPLEX
z1 + (- z2) is complex Element of COMPLEX
() /. (z1 + (- z2)) is complex Element of COMPLEX
() . (z1 + (- z2)) is complex Element of COMPLEX
() /. (- z2) is complex Element of COMPLEX
() . (- z2) is complex Element of COMPLEX
(() /. z1) * (() /. (- z2)) is complex Element of COMPLEX
() /. (- z2) is complex Element of COMPLEX
() . (- z2) is complex Element of COMPLEX
(() /. z1) * (() /. (- z2)) is complex Element of COMPLEX
((() /. z1) * (() /. (- z2))) + ((() /. z1) * (() /. (- z2))) is complex Element of COMPLEX
((() /. z1) * (() /. z2)) + ((() /. z1) * (() /. (- z2))) is complex Element of COMPLEX
- (() /. z2) is complex Element of COMPLEX
(() /. z1) * (- (() /. z2)) is complex Element of COMPLEX
((() /. z1) * (() /. z2)) + ((() /. z1) * (- (() /. z2))) is complex Element of COMPLEX
- ((() /. z1) * (() /. z2)) is complex Element of COMPLEX
((() /. z1) * (() /. z2)) + (- ((() /. z1) * (() /. z2))) is complex Element of COMPLEX
z1 is complex set
z2 is complex set
z1 + z2 is complex Element of COMPLEX
() /. (z1 + z2) is complex Element of COMPLEX
() . (z1 + z2) is complex Element of COMPLEX
() /. z1 is complex Element of COMPLEX
() /. z2 is complex Element of COMPLEX
(() /. z1) * (() /. z2) is complex Element of COMPLEX
() /. z1 is complex Element of COMPLEX
() /. z2 is complex Element of COMPLEX
(() /. z1) * (() /. z2) is complex Element of COMPLEX
((() /. z1) * (() /. z2)) - ((() /. z1) * (() /. z2)) is complex Element of COMPLEX
c1 is complex Element of COMPLEX
<i> * c1 is complex Element of COMPLEX
exp (<i> * c1) is complex Element of COMPLEX
- (<i> * c1) is complex Element of COMPLEX
exp (- (<i> * c1)) is complex Element of COMPLEX
c2 is complex Element of COMPLEX
<i> * c2 is complex Element of COMPLEX
exp (<i> * c2) is complex Element of COMPLEX
- (<i> * c2) is complex Element of COMPLEX
exp (- (<i> * c2)) is complex Element of COMPLEX
() /. c1 is complex Element of COMPLEX
() . c1 is complex Element of COMPLEX
() /. c2 is complex Element of COMPLEX
() . c2 is complex Element of COMPLEX
(() /. c1) * (() /. c2) is complex Element of COMPLEX
() /. c1 is complex Element of COMPLEX
() . c1 is complex Element of COMPLEX
() /. c2 is complex Element of COMPLEX
() . c2 is complex Element of COMPLEX
(() /. c1) * (() /. c2) is complex Element of COMPLEX
((() /. c1) * (() /. c2)) - ((() /. c1) * (() /. c2)) is complex Element of COMPLEX
(exp (<i> * c1)) - (exp (- (<i> * c1))) is complex Element of COMPLEX
((exp (<i> * c1)) - (exp (- (<i> * c1)))) / (2 * <i>) is complex Element of COMPLEX
(((exp (<i> * c1)) - (exp (- (<i> * c1)))) / (2 * <i>)) * (() /. c2) is complex Element of COMPLEX
((() /. c1) * (() /. c2)) - ((((exp (<i> * c1)) - (exp (- (<i> * c1)))) / (2 * <i>)) * (() /. c2)) is complex Element of COMPLEX
(exp (<i> * c2)) - (exp (- (<i> * c2))) is complex Element of COMPLEX
((exp (<i> * c2)) - (exp (- (<i> * c2)))) / (2 * <i>) is complex Element of COMPLEX
(((exp (<i> * c1)) - (exp (- (<i> * c1)))) / (2 * <i>)) * (((exp (<i> * c2)) - (exp (- (<i> * c2)))) / (2 * <i>)) is complex Element of COMPLEX
((() /. c1) * (() /. c2)) - ((((exp (<i> * c1)) - (exp (- (<i> * c1)))) / (2 * <i>)) * (((exp (<i> * c2)) - (exp (- (<i> * c2)))) / (2 * <i>))) is complex Element of COMPLEX
(exp (<i> * c2)) + (exp (- (<i> * c2))) is complex Element of COMPLEX
((exp (<i> * c2)) + (exp (- (<i> * c2)))) / 2 is complex Element of COMPLEX
(() /. c1) * (((exp (<i> * c2)) + (exp (- (<i> * c2)))) / 2) is complex Element of COMPLEX
((() /. c1) * (((exp (<i> * c2)) + (exp (- (<i> * c2)))) / 2)) - ((((exp (<i> * c1)) - (exp (- (<i> * c1)))) / (2 * <i>)) * (((exp (<i> * c2)) - (exp (- (<i> * c2)))) / (2 * <i>))) is complex Element of COMPLEX
(exp (<i> * c1)) + (exp (- (<i> * c1))) is complex Element of COMPLEX
((exp (<i> * c1)) + (exp (- (<i> * c1)))) / 2 is complex Element of COMPLEX
(((exp (<i> * c1)) + (exp (- (<i> * c1)))) / 2) * (((exp (<i> * c2)) + (exp (- (<i> * c2)))) / 2) is complex Element of COMPLEX
((((exp (<i> * c1)) + (exp (- (<i> * c1)))) / 2) * (((exp (<i> * c2)) + (exp (- (<i> * c2)))) / 2)) - ((((exp (<i> * c1)) - (exp (- (<i> * c1)))) / (2 * <i>)) * (((exp (<i> * c2)) - (exp (- (<i> * c2)))) / (2 * <i>))) is complex Element of COMPLEX
(exp (<i> * c1)) * (exp (<i> * c2)) is complex Element of COMPLEX
((exp (<i> * c1)) * (exp (<i> * c2))) + ((exp (<i> * c1)) * (exp (<i> * c2))) is complex Element of COMPLEX
(exp (- (<i> * c1))) * (exp (- (<i> * c2))) is complex Element of COMPLEX
((exp (- (<i> * c1))) * (exp (- (<i> * c2)))) + ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))) is complex Element of COMPLEX
(((exp (<i> * c1)) * (exp (<i> * c2))) + ((exp (<i> * c1)) * (exp (<i> * c2)))) + (((exp (- (<i> * c1))) * (exp (- (<i> * c2)))) + ((exp (- (<i> * c1))) * (exp (- (<i> * c2))))) is complex Element of COMPLEX
2 * 2 is non zero natural complex V29() V30() V33() V34() V57() V58() V59() V60() V61() V62() Element of NAT
((((exp (<i> * c1)) * (exp (<i> * c2))) + ((exp (<i> * c1)) * (exp (<i> * c2)))) + (((exp (- (<i> * c1))) * (exp (- (<i> * c2)))) + ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))))) / (2 * 2) is complex Element of COMPLEX
Re ((exp (<i> * c1)) * (exp (<i> * c2))) is complex V29() V30() Element of REAL
(Re ((exp (<i> * c1)) * (exp (<i> * c2)))) + (Re ((exp (<i> * c1)) * (exp (<i> * c2)))) is complex V29() V30() Element of REAL
Im ((exp (<i> * c1)) * (exp (<i> * c2))) is complex V29() V30() Element of REAL
(Im ((exp (<i> * c1)) * (exp (<i> * c2)))) + (Im ((exp (<i> * c1)) * (exp (<i> * c2)))) is complex V29() V30() Element of REAL
((Im ((exp (<i> * c1)) * (exp (<i> * c2)))) + (Im ((exp (<i> * c1)) * (exp (<i> * c2))))) * <i> is complex Element of COMPLEX
((Re ((exp (<i> * c1)) * (exp (<i> * c2)))) + (Re ((exp (<i> * c1)) * (exp (<i> * c2))))) + (((Im ((exp (<i> * c1)) * (exp (<i> * c2)))) + (Im ((exp (<i> * c1)) * (exp (<i> * c2))))) * <i>) is complex Element of COMPLEX
(((Re ((exp (<i> * c1)) * (exp (<i> * c2)))) + (Re ((exp (<i> * c1)) * (exp (<i> * c2))))) + (((Im ((exp (<i> * c1)) * (exp (<i> * c2)))) + (Im ((exp (<i> * c1)) * (exp (<i> * c2))))) * <i>)) + (((exp (- (<i> * c1))) * (exp (- (<i> * c2)))) + ((exp (- (<i> * c1))) * (exp (- (<i> * c2))))) is complex Element of COMPLEX
((((Re ((exp (<i> * c1)) * (exp (<i> * c2)))) + (Re ((exp (<i> * c1)) * (exp (<i> * c2))))) + (((Im ((exp (<i> * c1)) * (exp (<i> * c2)))) + (Im ((exp (<i> * c1)) * (exp (<i> * c2))))) * <i>)) + (((exp (- (<i> * c1))) * (exp (- (<i> * c2)))) + ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))))) / (2 * 2) is complex Element of COMPLEX
2 * (Re ((exp (<i> * c1)) * (exp (<i> * c2)))) is complex V29() V30() Element of REAL
2 * (Im ((exp (<i> * c1)) * (exp (<i> * c2)))) is complex V29() V30() Element of REAL
(2 * (Im ((exp (<i> * c1)) * (exp (<i> * c2))))) * <i> is complex Element of COMPLEX
(2 * (Re ((exp (<i> * c1)) * (exp (<i> * c2))))) + ((2 * (Im ((exp (<i> * c1)) * (exp (<i> * c2))))) * <i>) is complex Element of COMPLEX
((2 * (Re ((exp (<i> * c1)) * (exp (<i> * c2))))) + ((2 * (Im ((exp (<i> * c1)) * (exp (<i> * c2))))) * <i>)) + (((exp (- (<i> * c1))) * (exp (- (<i> * c2)))) + ((exp (- (<i> * c1))) * (exp (- (<i> * c2))))) is complex Element of COMPLEX
(((2 * (Re ((exp (<i> * c1)) * (exp (<i> * c2))))) + ((2 * (Im ((exp (<i> * c1)) * (exp (<i> * c2))))) * <i>)) + (((exp (- (<i> * c1))) * (exp (- (<i> * c2)))) + ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))))) / (2 * 2) is complex Element of COMPLEX
2 * ((exp (<i> * c1)) * (exp (<i> * c2))) is complex Element of COMPLEX
Re (2 * ((exp (<i> * c1)) * (exp (<i> * c2)))) is complex V29() V30() Element of REAL
(Re (2 * ((exp (<i> * c1)) * (exp (<i> * c2))))) + ((2 * (Im ((exp (<i> * c1)) * (exp (<i> * c2))))) * <i>) is complex Element of COMPLEX
((Re (2 * ((exp (<i> * c1)) * (exp (<i> * c2))))) + ((2 * (Im ((exp (<i> * c1)) * (exp (<i> * c2))))) * <i>)) + (((exp (- (<i> * c1))) * (exp (- (<i> * c2)))) + ((exp (- (<i> * c1))) * (exp (- (<i> * c2))))) is complex Element of COMPLEX
(((Re (2 * ((exp (<i> * c1)) * (exp (<i> * c2))))) + ((2 * (Im ((exp (<i> * c1)) * (exp (<i> * c2))))) * <i>)) + (((exp (- (<i> * c1))) * (exp (- (<i> * c2)))) + ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))))) / (2 * 2) is complex Element of COMPLEX
Im (2 * ((exp (<i> * c1)) * (exp (<i> * c2)))) is complex V29() V30() Element of REAL
(Im (2 * ((exp (<i> * c1)) * (exp (<i> * c2))))) * <i> is complex Element of COMPLEX
(Re (2 * ((exp (<i> * c1)) * (exp (<i> * c2))))) + ((Im (2 * ((exp (<i> * c1)) * (exp (<i> * c2))))) * <i>) is complex Element of COMPLEX
((Re (2 * ((exp (<i> * c1)) * (exp (<i> * c2))))) + ((Im (2 * ((exp (<i> * c1)) * (exp (<i> * c2))))) * <i>)) + (((exp (- (<i> * c1))) * (exp (- (<i> * c2)))) + ((exp (- (<i> * c1))) * (exp (- (<i> * c2))))) is complex Element of COMPLEX
(((Re (2 * ((exp (<i> * c1)) * (exp (<i> * c2))))) + ((Im (2 * ((exp (<i> * c1)) * (exp (<i> * c2))))) * <i>)) + (((exp (- (<i> * c1))) * (exp (- (<i> * c2)))) + ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))))) / (2 * 2) is complex Element of COMPLEX
(2 * ((exp (<i> * c1)) * (exp (<i> * c2)))) + (((exp (- (<i> * c1))) * (exp (- (<i> * c2)))) + ((exp (- (<i> * c1))) * (exp (- (<i> * c2))))) is complex Element of COMPLEX
((2 * ((exp (<i> * c1)) * (exp (<i> * c2)))) + (((exp (- (<i> * c1))) * (exp (- (<i> * c2)))) + ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))))) / (2 * 2) is complex Element of COMPLEX
Re ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))) is complex V29() V30() Element of REAL
(Re ((exp (- (<i> * c1))) * (exp (- (<i> * c2))))) + (Re ((exp (- (<i> * c1))) * (exp (- (<i> * c2))))) is complex V29() V30() Element of REAL
Im ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))) is complex V29() V30() Element of REAL
(Im ((exp (- (<i> * c1))) * (exp (- (<i> * c2))))) + (Im ((exp (- (<i> * c1))) * (exp (- (<i> * c2))))) is complex V29() V30() Element of REAL
((Im ((exp (- (<i> * c1))) * (exp (- (<i> * c2))))) + (Im ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))))) * <i> is complex Element of COMPLEX
((Re ((exp (- (<i> * c1))) * (exp (- (<i> * c2))))) + (Re ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))))) + (((Im ((exp (- (<i> * c1))) * (exp (- (<i> * c2))))) + (Im ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))))) * <i>) is complex Element of COMPLEX
(2 * ((exp (<i> * c1)) * (exp (<i> * c2)))) + (((Re ((exp (- (<i> * c1))) * (exp (- (<i> * c2))))) + (Re ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))))) + (((Im ((exp (- (<i> * c1))) * (exp (- (<i> * c2))))) + (Im ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))))) * <i>)) is complex Element of COMPLEX
((2 * ((exp (<i> * c1)) * (exp (<i> * c2)))) + (((Re ((exp (- (<i> * c1))) * (exp (- (<i> * c2))))) + (Re ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))))) + (((Im ((exp (- (<i> * c1))) * (exp (- (<i> * c2))))) + (Im ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))))) * <i>))) / (2 * 2) is complex Element of COMPLEX
2 * (Re ((exp (- (<i> * c1))) * (exp (- (<i> * c2))))) is complex V29() V30() Element of REAL
2 * (Im ((exp (- (<i> * c1))) * (exp (- (<i> * c2))))) is complex V29() V30() Element of REAL
(2 * (Im ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))))) * <i> is complex Element of COMPLEX
(2 * (Re ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))))) + ((2 * (Im ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))))) * <i>) is complex Element of COMPLEX
(2 * ((exp (<i> * c1)) * (exp (<i> * c2)))) + ((2 * (Re ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))))) + ((2 * (Im ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))))) * <i>)) is complex Element of COMPLEX
((2 * ((exp (<i> * c1)) * (exp (<i> * c2)))) + ((2 * (Re ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))))) + ((2 * (Im ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))))) * <i>))) / (2 * 2) is complex Element of COMPLEX
2 * ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))) is complex Element of COMPLEX
Re (2 * ((exp (- (<i> * c1))) * (exp (- (<i> * c2))))) is complex V29() V30() Element of REAL
(Re (2 * ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))))) + ((2 * (Im ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))))) * <i>) is complex Element of COMPLEX
(2 * ((exp (<i> * c1)) * (exp (<i> * c2)))) + ((Re (2 * ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))))) + ((2 * (Im ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))))) * <i>)) is complex Element of COMPLEX
((2 * ((exp (<i> * c1)) * (exp (<i> * c2)))) + ((Re (2 * ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))))) + ((2 * (Im ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))))) * <i>))) / (2 * 2) is complex Element of COMPLEX
Im (2 * ((exp (- (<i> * c1))) * (exp (- (<i> * c2))))) is complex V29() V30() Element of REAL
(Im (2 * ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))))) * <i> is complex Element of COMPLEX
(Re (2 * ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))))) + ((Im (2 * ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))))) * <i>) is complex Element of COMPLEX
(2 * ((exp (<i> * c1)) * (exp (<i> * c2)))) + ((Re (2 * ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))))) + ((Im (2 * ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))))) * <i>)) is complex Element of COMPLEX
((2 * ((exp (<i> * c1)) * (exp (<i> * c2)))) + ((Re (2 * ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))))) + ((Im (2 * ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))))) * <i>))) / (2 * 2) is complex Element of COMPLEX
(2 * ((exp (<i> * c1)) * (exp (<i> * c2)))) + (2 * ((exp (- (<i> * c1))) * (exp (- (<i> * c2))))) is complex Element of COMPLEX
((2 * ((exp (<i> * c1)) * (exp (<i> * c2)))) + (2 * ((exp (- (<i> * c1))) * (exp (- (<i> * c2)))))) / (2 * 2) is complex Element of COMPLEX
((exp (<i> * c1)) * (exp (<i> * c2))) / 2 is complex Element of COMPLEX
(2 * ((exp (- (<i> * c1))) * (exp (- (<i> * c2))))) / (2 * 2) is complex Element of COMPLEX
(((exp (<i> * c1)) * (exp (<i> * c2))) / 2) + ((2 * ((exp (- (<i> * c1))) * (exp (- (<i> * c2))))) / (2 * 2)) is complex Element of COMPLEX
(<i> * c1) + (<i> * c2) is complex Element of COMPLEX
exp ((<i> * c1) + (<i> * c2)) is complex Element of COMPLEX
(exp ((<i> * c1) + (<i> * c2))) / 2 is complex Element of COMPLEX
((exp (- (<i> * c1))) * (exp (- (<i> * c2)))) / 2 is complex Element of COMPLEX
((exp ((<i> * c1) + (<i> * c2))) / 2) + (((exp (- (<i> * c1))) * (exp (- (<i> * c2)))) / 2) is complex Element of COMPLEX
c1 + c2 is complex Element of COMPLEX
<i> * (c1 + c2) is complex Element of COMPLEX
exp (<i> * (c1 + c2)) is complex Element of COMPLEX
(exp (<i> * (c1 + c2))) / 2 is complex Element of COMPLEX
(- (<i> * c1)) + (- (<i> * c2)) is complex Element of COMPLEX
exp ((- (<i> * c1)) + (- (<i> * c2))) is complex Element of COMPLEX
(exp ((- (<i> * c1)) + (- (<i> * c2)))) / 2 is complex Element of COMPLEX
((exp (<i> * (c1 + c2))) / 2) + ((exp ((- (<i> * c1)) + (- (<i> * c2)))) / 2) is complex Element of COMPLEX
- (<i> * (c1 + c2)) is complex Element of COMPLEX
exp (- (<i> * (c1 + c2))) is complex Element of COMPLEX
(exp (<i> * (c1 + c2))) + (exp (- (<i> * (c1 + c2)))) is complex Element of COMPLEX
((exp (<i> * (c1 + c2))) + (exp (- (<i> * (c1 + c2))))) / 2 is complex Element of COMPLEX
() /. (c1 + c2) is complex Element of COMPLEX
() . (c1 + c2) is complex Element of COMPLEX
z1 is complex Element of COMPLEX
() /. z1 is complex Element of COMPLEX
() . z1 is complex Element of COMPLEX
() /. z1 is complex Element of COMPLEX
() . z1 is complex Element of COMPLEX
z2 is complex Element of COMPLEX
z1 - z2 is complex Element of COMPLEX
() /. (z1 - z2) is complex Element of COMPLEX
() . (z1 - z2) is complex Element of COMPLEX
() /. z2 is complex Element of COMPLEX
() . z2 is complex Element of COMPLEX
(() /. z1) * (() /. z2) is complex Element of COMPLEX
() /. z2 is complex Element of COMPLEX
() . z2 is complex Element of COMPLEX
(() /. z1) * (() /. z2) is complex Element of COMPLEX
((() /. z1) * (() /. z2)) + ((() /. z1) * (() /. z2)) is complex Element of COMPLEX
- z2 is complex Element of COMPLEX
z1 + (- z2) is complex Element of COMPLEX
() /. (z1 + (- z2)) is complex Element of COMPLEX
() . (z1 + (- z2)) is complex Element of COMPLEX
() /. (- z2) is complex Element of COMPLEX
() . (- z2) is complex Element of COMPLEX
(() /. z1) * (() /. (- z2)) is complex Element of COMPLEX
() /. (- z2) is complex Element of COMPLEX
() . (- z2) is complex Element of COMPLEX
(() /. z1) * (() /. (- z2)) is complex Element of COMPLEX
((() /. z1) * (() /. (- z2))) - ((() /. z1) * (() /. (- z2))) is complex Element of COMPLEX
((() /. z1) * (() /. z2)) - ((() /. z1) * (() /. (- z2))) is complex Element of COMPLEX
- (() /. z2) is complex Element of COMPLEX
(() /. z1) * (- (() /. z2)) is complex Element of COMPLEX
((() /. z1) * (() /. z2)) - ((() /. z1) * (- (() /. z2))) is complex Element of COMPLEX
- ((() /. z1) * (() /. z2)) is complex Element of COMPLEX
((() /. z1) * (() /. z2)) - (- ((() /. z1) * (() /. z2))) is complex Element of COMPLEX
z1 is complex Element of COMPLEX
() /. z1 is complex Element of COMPLEX
() . z1 is complex Element of COMPLEX
(() /. z1) * (() /. z1) is complex Element of COMPLEX
() /. z1 is complex Element of COMPLEX
() . z1 is complex Element of COMPLEX
(() /. z1) * (() /. z1) is complex Element of COMPLEX
((() /. z1) * (() /. z1)) - ((() /. z1) * (() /. z1)) is complex Element of COMPLEX
exp z1 is complex Element of COMPLEX
- z1 is complex Element of COMPLEX
exp (- z1) is complex Element of COMPLEX
(exp z1) - (exp (- z1)) is complex Element of COMPLEX
((exp z1) - (exp (- z1))) / 2 is complex Element of COMPLEX
(((exp z1) - (exp (- z1))) / 2) * (() /. z1) is complex Element of COMPLEX
((() /. z1) * (() /. z1)) - ((((exp z1) - (exp (- z1))) / 2) * (() /. z1)) is complex Element of COMPLEX
(((exp z1) - (exp (- z1))) / 2) * (((exp z1) - (exp (- z1))) / 2) is complex Element of COMPLEX
((() /. z1) * (() /. z1)) - ((((exp z1) - (exp (- z1))) / 2) * (((exp z1) - (exp (- z1))) / 2)) is complex Element of COMPLEX
(exp z1) + (exp (- z1)) is complex Element of COMPLEX
((exp z1) + (exp (- z1))) / 2 is complex Element of COMPLEX
(((exp z1) + (exp (- z1))) / 2) * (() /. z1) is complex Element of COMPLEX
((exp z1) - (exp (- z1))) * ((exp z1) - (exp (- z1))) is complex Element of COMPLEX
2 * 2 is non zero natural complex V29() V30() V33() V34() V57() V58() V59() V60() V61() V62() Element of NAT
(((exp z1) - (exp (- z1))) * ((exp z1) - (exp (- z1)))) / (2 * 2) is complex Element of COMPLEX
((((exp z1) + (exp (- z1))) / 2) * (() /. z1)) - ((((exp z1) - (exp (- z1))) * ((exp z1) - (exp (- z1)))) / (2 * 2)) is complex Element of COMPLEX
(((exp z1) + (exp (- z1))) / 2) * (((exp z1) + (exp (- z1))) / 2) is complex Element of COMPLEX
((((exp z1) + (exp (- z1))) / 2) * (((exp z1) + (exp (- z1))) / 2)) - ((((exp z1) - (exp (- z1))) * ((exp z1) - (exp (- z1)))) / (2 * 2)) is complex Element of COMPLEX
(exp z1) * (exp (- z1)) is complex Element of COMPLEX
((exp z1) * (exp (- z1))) + ((exp z1) * (exp (- z1))) is complex Element of COMPLEX
(((exp z1) * (exp (- z1))) + ((exp z1) * (exp (- z1)))) + (((exp z1) * (exp (- z1))) + ((exp z1) * (exp (- z1)))) is complex Element of COMPLEX
((((exp z1) * (exp (- z1))) + ((exp z1) * (exp (- z1)))) + (((exp z1) * (exp (- z1))) + ((exp z1) * (exp (- z1))))) / (2 * 2) is complex Element of COMPLEX
1 + ((exp z1) * (exp (- z1))) is complex Element of COMPLEX
(1 + ((exp z1) * (exp (- z1)))) + (((exp z1) * (exp (- z1))) + ((exp z1) * (exp (- z1)))) is complex Element of COMPLEX
((1 + ((exp z1) * (exp (- z1)))) + (((exp z1) * (exp (- z1))) + ((exp z1) * (exp (- z1))))) / (2 * 2) is complex Element of COMPLEX
1 + 1 is natural complex V29() V30() V33() V34() V57() V58() V59() V60() V61() V62() Element of NAT
(1 + 1) + (((exp z1) * (exp (- z1))) + ((exp z1) * (exp (- z1)))) is complex Element of COMPLEX
((1 + 1) + (((exp z1) * (exp (- z1))) + ((exp z1) * (exp (- z1))))) / (2 * 2) is complex Element of COMPLEX
(1 + 1) + (1 + ((exp z1) * (exp (- z1)))) is complex Element of COMPLEX
((1 + 1) + (1 + ((exp z1) * (exp (- z1))))) / (2 * 2) is complex Element of COMPLEX
2 + 2 is natural complex V29() V30() V33() V34() V57() V58() V59() V60() V61() V62() Element of NAT
(2 + 2) / (2 * 2) is complex V29() V30() V34() Element of RAT
z1 is complex Element of COMPLEX
() /. z1 is complex Element of COMPLEX
() . z1 is complex Element of COMPLEX
- (() /. z1) is complex Element of COMPLEX
- z1 is complex Element of COMPLEX
() /. (- z1) is complex Element of COMPLEX
() . (- z1) is complex Element of COMPLEX
exp (- z1) is complex Element of COMPLEX
- (- z1) is complex Element of COMPLEX
exp (- (- z1)) is complex Element of COMPLEX
(exp (- z1)) - (exp (- (- z1))) is complex Element of COMPLEX
((exp (- z1)) - (exp (- (- z1)))) / 2 is complex Element of COMPLEX
exp z1 is complex Element of COMPLEX
(exp z1) - (exp (- z1)) is complex Element of COMPLEX
((exp z1) - (exp (- z1))) / 2 is complex Element of COMPLEX
- (((exp z1) - (exp (- z1))) / 2) is complex Element of COMPLEX
z1 is complex Element of COMPLEX
() /. z1 is complex Element of COMPLEX
() . z1 is complex Element of COMPLEX
- z1 is complex Element of COMPLEX
() /. (- z1) is complex Element of COMPLEX
() . (- z1) is complex Element of COMPLEX
exp (- z1) is complex Element of COMPLEX
- (- z1) is complex Element of COMPLEX
exp (- (- z1)) is complex Element of COMPLEX
(exp (- z1)) + (exp (- (- z1))) is complex Element of COMPLEX
((exp (- z1)) + (exp (- (- z1)))) / 2 is complex Element of COMPLEX
exp z1 is complex Element of COMPLEX
(exp (- z1)) + (exp z1) is complex Element of COMPLEX
((exp (- z1)) + (exp z1)) / 2 is complex Element of COMPLEX
z1 is complex Element of COMPLEX
() /. z1 is complex Element of COMPLEX
() . z1 is complex Element of COMPLEX
() /. z1 is complex Element of COMPLEX
() . z1 is complex Element of COMPLEX
z2 is complex Element of COMPLEX
z1 + z2 is complex Element of COMPLEX
() /. (z1 + z2) is complex Element of COMPLEX
() . (z1 + z2) is complex Element of COMPLEX
() /. z2 is complex Element of COMPLEX
() . z2 is complex Element of COMPLEX
(() /. z1) * (() /. z2) is complex Element of COMPLEX
() /. z2 is complex Element of COMPLEX
() . z2 is complex Element of COMPLEX
(() /. z1) * (() /. z2) is complex Element of COMPLEX
((() /. z1) * (() /. z2)) + ((() /. z1) * (() /. z2)) is complex Element of COMPLEX
exp z1 is complex Element of COMPLEX
- z1 is complex Element of COMPLEX
exp (- z1) is complex Element of COMPLEX
exp z2 is complex Element of COMPLEX
- z2 is complex Element of COMPLEX
exp (- z2) is complex Element of COMPLEX
(exp z1) - (exp (- z1)) is complex Element of COMPLEX
((exp z1) - (exp (- z1))) / 2 is complex Element of COMPLEX
(((exp z1) - (exp (- z1))) / 2) * (() /. z2) is complex Element of COMPLEX
((((exp z1) - (exp (- z1))) / 2) * (() /. z2)) + ((() /. z1) * (() /. z2)) is complex Element of COMPLEX
(exp z2) - (exp (- z2)) is complex Element of COMPLEX
((exp z2) - (exp (- z2))) / 2 is complex Element of COMPLEX
(() /. z1) * (((exp z2) - (exp (- z2))) / 2) is complex Element of COMPLEX
((((exp z1) - (exp (- z1))) / 2) * (() /. z2)) + ((() /. z1) * (((exp z2) - (exp (- z2))) / 2)) is complex Element of COMPLEX
(exp z1) + (exp (- z1)) is complex Element of COMPLEX
((exp z1) + (exp (- z1))) / 2 is complex Element of COMPLEX
(((exp z1) + (exp (- z1))) / 2) * (((exp z2) - (exp (- z2))) / 2) is complex Element of COMPLEX
((((exp z1) - (exp (- z1))) / 2) * (() /. z2)) + ((((exp z1) + (exp (- z1))) / 2) * (((exp z2) - (exp (- z2))) / 2)) is complex Element of COMPLEX
(exp z2) + (exp (- z2)) is complex Element of COMPLEX
((exp z2) + (exp (- z2))) / 2 is complex Element of COMPLEX
(((exp z1) - (exp (- z1))) / 2) * (((exp z2) + (exp (- z2))) / 2) is complex Element of COMPLEX
((((exp z1) - (exp (- z1))) / 2) * (((exp z2) + (exp (- z2))) / 2)) + ((((exp z1) + (exp (- z1))) / 2) * (((exp z2) - (exp (- z2))) / 2)) is complex Element of COMPLEX
(exp z1) * (exp z2) is complex Element of COMPLEX
((exp z1) * (exp z2)) + ((exp z1) * (exp z2)) is complex Element of COMPLEX
(exp (- z1)) * (exp (- z2)) is complex Element of COMPLEX
((exp (- z1)) * (exp (- z2))) + ((exp (- z1)) * (exp (- z2))) is complex Element of COMPLEX
(((exp z1) * (exp z2)) + ((exp z1) * (exp z2))) - (((exp (- z1)) * (exp (- z2))) + ((exp (- z1)) * (exp (- z2)))) is complex Element of COMPLEX
4 is non zero natural complex V29() V30() V33() V34() V57() V58() V59() V60() V61() V62() Element of NAT
((((exp z1) * (exp z2)) + ((exp z1) * (exp z2))) - (((exp (- z1)) * (exp (- z2))) + ((exp (- z1)) * (exp (- z2))))) / 4 is complex Element of COMPLEX
Re ((exp z1) * (exp z2)) is complex V29() V30() Element of REAL
(Re ((exp z1) * (exp z2))) + (Re ((exp z1) * (exp z2))) is complex V29() V30() Element of REAL
Im ((exp z1) * (exp z2)) is complex V29() V30() Element of REAL
(Im ((exp z1) * (exp z2))) + (Im ((exp z1) * (exp z2))) is complex V29() V30() Element of REAL
((Im ((exp z1) * (exp z2))) + (Im ((exp z1) * (exp z2)))) * <i> is complex Element of COMPLEX
((Re ((exp z1) * (exp z2))) + (Re ((exp z1) * (exp z2)))) + (((Im ((exp z1) * (exp z2))) + (Im ((exp z1) * (exp z2)))) * <i>) is complex Element of COMPLEX
(((Re ((exp z1) * (exp z2))) + (Re ((exp z1) * (exp z2)))) + (((Im ((exp z1) * (exp z2))) + (Im ((exp z1) * (exp z2)))) * <i>)) - (((exp (- z1)) * (exp (- z2))) + ((exp (- z1)) * (exp (- z2)))) is complex Element of COMPLEX
((((Re ((exp z1) * (exp z2))) + (Re ((exp z1) * (exp z2)))) + (((Im ((exp z1) * (exp z2))) + (Im ((exp z1) * (exp z2)))) * <i>)) - (((exp (- z1)) * (exp (- z2))) + ((exp (- z1)) * (exp (- z2))))) / 4 is complex Element of COMPLEX
2 * (Re ((exp z1) * (exp z2))) is complex V29() V30() Element of REAL
2 * (Im ((exp z1) * (exp z2))) is complex V29() V30() Element of REAL
(2 * (Im ((exp z1) * (exp z2)))) * <i> is complex Element of COMPLEX
(2 * (Re ((exp z1) * (exp z2)))) + ((2 * (Im ((exp z1) * (exp z2)))) * <i>) is complex Element of COMPLEX
((2 * (Re ((exp z1) * (exp z2)))) + ((2 * (Im ((exp z1) * (exp z2)))) * <i>)) - (((exp (- z1)) * (exp (- z2))) + ((exp (- z1)) * (exp (- z2)))) is complex Element of COMPLEX
(((2 * (Re ((exp z1) * (exp z2)))) + ((2 * (Im ((exp z1) * (exp z2)))) * <i>)) - (((exp (- z1)) * (exp (- z2))) + ((exp (- z1)) * (exp (- z2))))) / 4 is complex Element of COMPLEX
2 * ((exp z1) * (exp z2)) is complex Element of COMPLEX
Re (2 * ((exp z1) * (exp z2))) is complex V29() V30() Element of REAL
(Re (2 * ((exp z1) * (exp z2)))) + ((2 * (Im ((exp z1) * (exp z2)))) * <i>) is complex Element of COMPLEX
((Re (2 * ((exp z1) * (exp z2)))) + ((2 * (Im ((exp z1) * (exp z2)))) * <i>)) - (((exp (- z1)) * (exp (- z2))) + ((exp (- z1)) * (exp (- z2)))) is complex Element of COMPLEX
(((Re (2 * ((exp z1) * (exp z2)))) + ((2 * (Im ((exp z1) * (exp z2)))) * <i>)) - (((exp (- z1)) * (exp (- z2))) + ((exp (- z1)) * (exp (- z2))))) / 4 is complex Element of COMPLEX
Im (2 * ((exp z1) * (exp z2))) is complex V29() V30() Element of REAL
(Im (2 * ((exp z1) * (exp z2)))) * <i> is complex Element of COMPLEX
(Re (2 * ((exp z1) * (exp z2)))) + ((Im (2 * ((exp z1) * (exp z2)))) * <i>) is complex Element of COMPLEX
((Re (2 * ((exp z1) * (exp z2)))) + ((Im (2 * ((exp z1) * (exp z2)))) * <i>)) - (((exp (- z1)) * (exp (- z2))) + ((exp (- z1)) * (exp (- z2)))) is complex Element of COMPLEX
(((Re (2 * ((exp z1) * (exp z2)))) + ((Im (2 * ((exp z1) * (exp z2)))) * <i>)) - (((exp (- z1)) * (exp (- z2))) + ((exp (- z1)) * (exp (- z2))))) / 4 is complex Element of COMPLEX
(2 * ((exp z1) * (exp z2))) - (((exp (- z1)) * (exp (- z2))) + ((exp (- z1)) * (exp (- z2)))) is complex Element of COMPLEX
((2 * ((exp z1) * (exp z2))) - (((exp (- z1)) * (exp (- z2))) + ((exp (- z1)) * (exp (- z2))))) / 4 is complex Element of COMPLEX
Re ((exp (- z1)) * (exp (- z2))) is complex V29() V30() Element of REAL
(Re ((exp (- z1)) * (exp (- z2)))) + (Re ((exp (- z1)) * (exp (- z2)))) is complex V29() V30() Element of REAL
Im ((exp (- z1)) * (exp (- z2))) is complex V29() V30() Element of REAL
(Im ((exp (- z1)) * (exp (- z2)))) + (Im ((exp (- z1)) * (exp (- z2)))) is complex V29() V30() Element of REAL
((Im ((exp (- z1)) * (exp (- z2)))) + (Im ((exp (- z1)) * (exp (- z2))))) * <i> is complex Element of COMPLEX
((Re ((exp (- z1)) * (exp (- z2)))) + (Re ((exp (- z1)) * (exp (- z2))))) + (((Im ((exp (- z1)) * (exp (- z2)))) + (Im ((exp (- z1)) * (exp (- z2))))) * <i>) is complex Element of COMPLEX
(2 * ((exp z1) * (exp z2))) - (((Re ((exp (- z1)) * (exp (- z2)))) + (Re ((exp (- z1)) * (exp (- z2))))) + (((Im ((exp (- z1)) * (exp (- z2)))) + (Im ((exp (- z1)) * (exp (- z2))))) * <i>)) is complex Element of COMPLEX
((2 * ((exp z1) * (exp z2))) - (((Re ((exp (- z1)) * (exp (- z2)))) + (Re ((exp (- z1)) * (exp (- z2))))) + (((Im ((exp (- z1)) * (exp (- z2)))) + (Im ((exp (- z1)) * (exp (- z2))))) * <i>))) / 4 is complex Element of COMPLEX
2 * (Re ((exp (- z1)) * (exp (- z2)))) is complex V29() V30() Element of REAL
2 * (Im ((exp (- z1)) * (exp (- z2)))) is complex V29() V30() Element of REAL
(2 * (Im ((exp (- z1)) * (exp (- z2))))) * <i> is complex Element of COMPLEX
(2 * (Re ((exp (- z1)) * (exp (- z2))))) + ((2 * (Im ((exp (- z1)) * (exp (- z2))))) * <i>) is complex Element of COMPLEX
(2 * ((exp z1) * (exp z2))) - ((2 * (Re ((exp (- z1)) * (exp (- z2))))) + ((2 * (Im ((exp (- z1)) * (exp (- z2))))) * <i>)) is complex Element of COMPLEX
((2 * ((exp z1) * (exp z2))) - ((2 * (Re ((exp (- z1)) * (exp (- z2))))) + ((2 * (Im ((exp (- z1)) * (exp (- z2))))) * <i>))) / 4 is complex Element of COMPLEX
2 * ((exp (- z1)) * (exp (- z2))) is complex Element of COMPLEX
Re (2 * ((exp (- z1)) * (exp (- z2)))) is complex V29() V30() Element of REAL
(Re (2 * ((exp (- z1)) * (exp (- z2))))) + ((2 * (Im ((exp (- z1)) * (exp (- z2))))) * <i>) is complex Element of COMPLEX
(2 * ((exp z1) * (exp z2))) - ((Re (2 * ((exp (- z1)) * (exp (- z2))))) + ((2 * (Im ((exp (- z1)) * (exp (- z2))))) * <i>)) is complex Element of COMPLEX
((2 * ((exp z1) * (exp z2))) - ((Re (2 * ((exp (- z1)) * (exp (- z2))))) + ((2 * (Im ((exp (- z1)) * (exp (- z2))))) * <i>))) / 4 is complex Element of COMPLEX
Im (2 * ((exp (- z1)) * (exp (- z2)))) is complex V29() V30() Element of REAL
(Im (2 * ((exp (- z1)) * (exp (- z2))))) * <i> is complex Element of COMPLEX
(Re (2 * ((exp (- z1)) * (exp (- z2))))) + ((Im (2 * ((exp (- z1)) * (exp (- z2))))) * <i>) is complex Element of COMPLEX
(2 * ((exp z1) * (exp z2))) - ((Re (2 * ((exp (- z1)) * (exp (- z2))))) + ((Im (2 * ((exp (- z1)) * (exp (- z2))))) * <i>)) is complex Element of COMPLEX
((2 * ((exp z1) * (exp z2))) - ((Re (2 * ((exp (- z1)) * (exp (- z2))))) + ((Im (2 * ((exp (- z1)) * (exp (- z2))))) * <i>))) / 4 is complex Element of COMPLEX
(2 * ((exp z1) * (exp z2))) - (2 * ((exp (- z1)) * (exp (- z2)))) is complex Element of COMPLEX
((2 * ((exp z1) * (exp z2))) - (2 * ((exp (- z1)) * (exp (- z2))))) / 4 is complex Element of COMPLEX
((exp z1) * (exp z2)) / 2 is complex Element of COMPLEX
2 * 2 is non zero natural complex V29() V30() V33() V34() V57() V58() V59() V60() V61() V62() Element of NAT
(2 * ((exp (- z1)) * (exp (- z2)))) / (2 * 2) is complex Element of COMPLEX
(((exp z1) * (exp z2)) / 2) - ((2 * ((exp (- z1)) * (exp (- z2)))) / (2 * 2)) is complex Element of COMPLEX
exp (z1 + z2) is complex Element of COMPLEX
(exp (z1 + z2)) / 2 is complex Element of COMPLEX
((exp (- z1)) * (exp (- z2))) / 2 is complex Element of COMPLEX
((exp (z1 + z2)) / 2) - (((exp (- z1)) * (exp (- z2))) / 2) is complex Element of COMPLEX
(- z1) + (- z2) is complex Element of COMPLEX
exp ((- z1) + (- z2)) is complex Element of COMPLEX
(exp ((- z1) + (- z2))) / 2 is complex Element of COMPLEX
((exp (z1 + z2)) / 2) - ((exp ((- z1) + (- z2))) / 2) is complex Element of COMPLEX
- (z1 + z2) is complex Element of COMPLEX
exp (- (z1 + z2)) is complex Element of COMPLEX
(exp (z1 + z2)) - (exp (- (z1 + z2))) is complex Element of COMPLEX
((exp (z1 + z2)) - (exp (- (z1 + z2)))) / 2 is complex Element of COMPLEX
z1 is complex Element of COMPLEX
() /. z1 is complex Element of COMPLEX
() . z1 is complex Element of COMPLEX
() /. z1 is complex Element of COMPLEX
() . z1 is complex Element of COMPLEX
z2 is complex Element of COMPLEX
z1 - z2 is complex Element of COMPLEX
() /. (z1 - z2) is complex Element of COMPLEX
() . (z1 - z2) is complex Element of COMPLEX
() /. z2 is complex Element of COMPLEX
() . z2 is complex Element of COMPLEX
(() /. z1) * (() /. z2) is complex Element of COMPLEX
() /. z2 is complex Element of COMPLEX
() . z2 is complex Element of COMPLEX
(() /. z1) * (() /. z2) is complex Element of COMPLEX
((() /. z1) * (() /. z2)) - ((() /. z1) * (() /. z2)) is complex Element of COMPLEX
- z2 is complex Element of COMPLEX
z1 + (- z2) is complex Element of COMPLEX
() /. (z1 + (- z2)) is complex Element of COMPLEX
() . (z1 + (- z2)) is complex Element of COMPLEX
() /. (- z2) is complex Element of COMPLEX
() . (- z2) is complex Element of COMPLEX
(() /. z1) * (() /. (- z2)) is complex Element of COMPLEX
() /. (- z2) is complex Element of COMPLEX
() . (- z2) is complex Element of COMPLEX
(() /. z1) * (() /. (- z2)) is complex Element of COMPLEX
((() /. z1) * (() /. (- z2))) + ((() /. z1) * (() /. (- z2))) is complex Element of COMPLEX
((() /. z1) * (() /. z2)) + ((() /. z1) * (() /. (- z2))) is complex Element of COMPLEX
- (() /. z2) is complex Element of COMPLEX
(() /. z1) * (- (() /. z2)) is complex Element of COMPLEX
((() /. z1) * (() /. z2)) + ((() /. z1) * (- (() /. z2))) is complex Element of COMPLEX
- ((() /. z1) * (() /. z2)) is complex Element of COMPLEX
((() /. z1) * (() /. z2)) + (- ((() /. z1) * (() /. z2))) is complex Element of COMPLEX
z1 is complex Element of COMPLEX
() /. z1 is complex Element of COMPLEX
() . z1 is complex Element of COMPLEX
() /. z1 is complex Element of COMPLEX
() . z1 is complex Element of COMPLEX
z2 is complex Element of COMPLEX
z1 - z2 is complex Element of COMPLEX
() /. (z1 - z2) is complex Element of COMPLEX
() . (z1 - z2) is complex Element of COMPLEX
() /. z2 is complex Element of COMPLEX
() . z2 is complex Element of COMPLEX
(() /. z1) * (() /. z2) is complex Element of COMPLEX
() /. z2 is complex Element of COMPLEX
() . z2 is complex Element of COMPLEX
(() /. z1) * (() /. z2) is complex Element of COMPLEX
((() /. z1) * (() /. z2)) - ((() /. z1) * (() /. z2)) is complex Element of COMPLEX
exp z1 is complex Element of COMPLEX
- z1 is complex Element of COMPLEX
exp (- z1) is complex Element of COMPLEX
exp z2 is complex Element of COMPLEX
- z2 is complex Element of COMPLEX
exp (- z2) is complex Element of COMPLEX
(exp z1) + (exp (- z1)) is complex Element of COMPLEX
((exp z1) + (exp (- z1))) / 2 is complex Element of COMPLEX
(((exp z1) + (exp (- z1))) / 2) * (() /. z2) is complex Element of COMPLEX
((((exp z1) + (exp (- z1))) / 2) * (() /. z2)) - ((() /. z1) * (() /. z2)) is complex Element of COMPLEX
(exp z2) + (exp (- z2)) is complex Element of COMPLEX
((exp z2) + (exp (- z2))) / 2 is complex Element of COMPLEX
(((exp z1) + (exp (- z1))) / 2) * (((exp z2) + (exp (- z2))) / 2) is complex Element of COMPLEX
((((exp z1) + (exp (- z1))) / 2) * (((exp z2) + (exp (- z2))) / 2)) - ((() /. z1) * (() /. z2)) is complex Element of COMPLEX
((exp z1) + (exp (- z1))) * ((exp z2) + (exp (- z2))) is complex Element of COMPLEX
2 * 2 is non zero natural complex V29() V30() V33() V34() V57() V58() V59() V60() V61() V62() Element of NAT
(((exp z1) + (exp (- z1))) * ((exp z2) + (exp (- z2)))) / (2 * 2) is complex Element of COMPLEX
(exp z1) - (exp (- z1)) is complex Element of COMPLEX
((exp z1) - (exp (- z1))) / 2 is complex Element of COMPLEX
(((exp z1) - (exp (- z1))) / 2) * (() /. z2) is complex Element of COMPLEX
((((exp z1) + (exp (- z1))) * ((exp z2) + (exp (- z2)))) / (2 * 2)) - ((((exp z1) - (exp (- z1))) / 2) * (() /. z2)) is complex Element of COMPLEX
(exp z2) - (exp (- z2)) is complex Element of COMPLEX
((exp z2) - (exp (- z2))) / 2 is complex Element of COMPLEX
(((exp z1) - (exp (- z1))) / 2) * (((exp z2) - (exp (- z2))) / 2) is complex Element of COMPLEX
((((exp z1) + (exp (- z1))) * ((exp z2) + (exp (- z2)))) / (2 * 2)) - ((((exp z1) - (exp (- z1))) / 2) * (((exp z2) - (exp (- z2))) / 2)) is complex Element of COMPLEX
(exp (- z1)) * (exp z2) is complex Element of COMPLEX
((exp (- z1)) * (exp z2)) + ((exp (- z1)) * (exp z2)) is complex Element of COMPLEX
(exp z1) * (exp (- z2)) is complex Element of COMPLEX
(exp (- z1)) * (exp (- z2)) is complex Element of COMPLEX
((exp z1) * (exp (- z2))) + ((exp (- z1)) * (exp (- z2))) is complex Element of COMPLEX
((exp z1) * (exp (- z2))) - ((exp (- z1)) * (exp (- z2))) is complex Element of COMPLEX
(((exp z1) * (exp (- z2))) + ((exp (- z1)) * (exp (- z2)))) + (((exp z1) * (exp (- z2))) - ((exp (- z1)) * (exp (- z2)))) is complex Element of COMPLEX
(((exp (- z1)) * (exp z2)) + ((exp (- z1)) * (exp z2))) + ((((exp z1) * (exp (- z2))) + ((exp (- z1)) * (exp (- z2)))) + (((exp z1) * (exp (- z2))) - ((exp (- z1)) * (exp (- z2))))) is complex Element of COMPLEX
((((exp (- z1)) * (exp z2)) + ((exp (- z1)) * (exp z2))) + ((((exp z1) * (exp (- z2))) + ((exp (- z1)) * (exp (- z2)))) + (((exp z1) * (exp (- z2))) - ((exp (- z1)) * (exp (- z2)))))) / (2 * 2) is complex Element of COMPLEX
Re ((exp (- z1)) * (exp z2)) is complex V29() V30() Element of REAL
(Re ((exp (- z1)) * (exp z2))) + (Re ((exp (- z1)) * (exp z2))) is complex V29() V30() Element of REAL
Im ((exp (- z1)) * (exp z2)) is complex V29() V30() Element of REAL
(Im ((exp (- z1)) * (exp z2))) + (Im ((exp (- z1)) * (exp z2))) is complex V29() V30() Element of REAL
((Im ((exp (- z1)) * (exp z2))) + (Im ((exp (- z1)) * (exp z2)))) * <i> is complex Element of COMPLEX
((Re ((exp (- z1)) * (exp z2))) + (Re ((exp (- z1)) * (exp z2)))) + (((Im ((exp (- z1)) * (exp z2))) + (Im ((exp (- z1)) * (exp z2)))) * <i>) is complex Element of COMPLEX
((exp z1) * (exp (- z2))) + ((exp z1) * (exp (- z2))) is complex Element of COMPLEX
(((Re ((exp (- z1)) * (exp z2))) + (Re ((exp (- z1)) * (exp z2)))) + (((Im ((exp (- z1)) * (exp z2))) + (Im ((exp (- z1)) * (exp z2)))) * <i>)) + (((exp z1) * (exp (- z2))) + ((exp z1) * (exp (- z2)))) is complex Element of COMPLEX
((((Re ((exp (- z1)) * (exp z2))) + (Re ((exp (- z1)) * (exp z2)))) + (((Im ((exp (- z1)) * (exp z2))) + (Im ((exp (- z1)) * (exp z2)))) * <i>)) + (((exp z1) * (exp (- z2))) + ((exp z1) * (exp (- z2))))) / (2 * 2) is complex Element of COMPLEX
2 * (Re ((exp (- z1)) * (exp z2))) is complex V29() V30() Element of REAL
2 * (Im ((exp (- z1)) * (exp z2))) is complex V29() V30() Element of REAL
(2 * (Im ((exp (- z1)) * (exp z2)))) * <i> is complex Element of COMPLEX
(2 * (Re ((exp (- z1)) * (exp z2)))) + ((2 * (Im ((exp (- z1)) * (exp z2)))) * <i>) is complex Element of COMPLEX
((2 * (Re ((exp (- z1)) * (exp z2)))) + ((2 * (Im ((exp (- z1)) * (exp z2)))) * <i>)) + (((exp z1) * (exp (- z2))) + ((exp z1) * (exp (- z2)))) is complex Element of COMPLEX
(((2 * (Re ((exp (- z1)) * (exp z2)))) + ((2 * (Im ((exp (- z1)) * (exp z2)))) * <i>)) + (((exp z1) * (exp (- z2))) + ((exp z1) * (exp (- z2))))) / (2 * 2) is complex Element of COMPLEX
2 * ((exp (- z1)) * (exp z2)) is complex Element of COMPLEX
Re (2 * ((exp (- z1)) * (exp z2))) is complex V29() V30() Element of REAL
(Re (2 * ((exp (- z1)) * (exp z2)))) + ((2 * (Im ((exp (- z1)) * (exp z2)))) * <i>) is complex Element of COMPLEX
((Re (2 * ((exp (- z1)) * (exp z2)))) + ((2 * (Im ((exp (- z1)) * (exp z2)))) * <i>)) + (((exp z1) * (exp (- z2))) + ((exp z1) * (exp (- z2)))) is complex Element of COMPLEX
(((Re (2 * ((exp (- z1)) * (exp z2)))) + ((2 * (Im ((exp (- z1)) * (exp z2)))) * <i>)) + (((exp z1) * (exp (- z2))) + ((exp z1) * (exp (- z2))))) / (2 * 2) is complex Element of COMPLEX
Im (2 * ((exp (- z1)) * (exp z2))) is complex V29() V30() Element of REAL
(Im (2 * ((exp (- z1)) * (exp z2)))) * <i> is complex Element of COMPLEX
(Re (2 * ((exp (- z1)) * (exp z2)))) + ((Im (2 * ((exp (- z1)) * (exp z2)))) * <i>) is complex Element of COMPLEX
((Re (2 * ((exp (- z1)) * (exp z2)))) + ((Im (2 * ((exp (- z1)) * (exp z2)))) * <i>)) + (((exp z1) * (exp (- z2))) + ((exp z1) * (exp (- z2)))) is complex Element of COMPLEX
(((Re (2 * ((exp (- z1)) * (exp z2)))) + ((Im (2 * ((exp (- z1)) * (exp z2)))) * <i>)) + (((exp z1) * (exp (- z2))) + ((exp z1) * (exp (- z2))))) / (2 * 2) is complex Element of COMPLEX
(2 * ((exp (- z1)) * (exp z2))) + (((exp z1) * (exp (- z2))) + ((exp z1) * (exp (- z2)))) is complex Element of COMPLEX
((2 * ((exp (- z1)) * (exp z2))) + (((exp z1) * (exp (- z2))) + ((exp z1) * (exp (- z2))))) / (2 * 2) is complex Element of COMPLEX
Re ((exp z1) * (exp (- z2))) is complex V29() V30() Element of REAL
(Re ((exp z1) * (exp (- z2)))) + (Re ((exp z1) * (exp (- z2)))) is complex V29() V30() Element of REAL
Im ((exp z1) * (exp (- z2))) is complex V29() V30() Element of REAL
(Im ((exp z1) * (exp (- z2)))) + (Im ((exp z1) * (exp (- z2)))) is complex V29() V30() Element of REAL
((Im ((exp z1) * (exp (- z2)))) + (Im ((exp z1) * (exp (- z2))))) * <i> is complex Element of COMPLEX
((Re ((exp z1) * (exp (- z2)))) + (Re ((exp z1) * (exp (- z2))))) + (((Im ((exp z1) * (exp (- z2)))) + (Im ((exp z1) * (exp (- z2))))) * <i>) is complex Element of COMPLEX
(2 * ((exp (- z1)) * (exp z2))) + (((Re ((exp z1) * (exp (- z2)))) + (Re ((exp z1) * (exp (- z2))))) + (((Im ((exp z1) * (exp (- z2)))) + (Im ((exp z1) * (exp (- z2))))) * <i>)) is complex Element of COMPLEX
((2 * ((exp (- z1)) * (exp z2))) + (((Re ((exp z1) * (exp (- z2)))) + (Re ((exp z1) * (exp (- z2))))) + (((Im ((exp z1) * (exp (- z2)))) + (Im ((exp z1) * (exp (- z2))))) * <i>))) / (2 * 2) is complex Element of COMPLEX
2 * (Re ((exp z1) * (exp (- z2)))) is complex V29() V30() Element of REAL
2 * (Im ((exp z1) * (exp (- z2)))) is complex V29() V30() Element of REAL
(2 * (Im ((exp z1) * (exp (- z2))))) * <i> is complex Element of COMPLEX
(2 * (Re ((exp z1) * (exp (- z2))))) + ((2 * (Im ((exp z1) * (exp (- z2))))) * <i>) is complex Element of COMPLEX
(2 * ((exp (- z1)) * (exp z2))) + ((2 * (Re ((exp z1) * (exp (- z2))))) + ((2 * (Im ((exp z1) * (exp (- z2))))) * <i>)) is complex Element of COMPLEX
((2 * ((exp (- z1)) * (exp z2))) + ((2 * (Re ((exp z1) * (exp (- z2))))) + ((2 * (Im ((exp z1) * (exp (- z2))))) * <i>))) / (2 * 2) is complex Element of COMPLEX
2 * ((exp z1) * (exp (- z2))) is complex Element of COMPLEX
Re (2 * ((exp z1) * (exp (- z2)))) is complex V29() V30() Element of REAL
(Re (2 * ((exp z1) * (exp (- z2))))) + ((2 * (Im ((exp z1) * (exp (- z2))))) * <i>) is complex Element of COMPLEX
(2 * ((exp (- z1)) * (exp z2))) + ((Re (2 * ((exp z1) * (exp (- z2))))) + ((2 * (Im ((exp z1) * (exp (- z2))))) * <i>)) is complex Element of COMPLEX
((2 * ((exp (- z1)) * (exp z2))) + ((Re (2 * ((exp z1) * (exp (- z2))))) + ((2 * (Im ((exp z1) * (exp (- z2))))) * <i>))) / (2 * 2) is complex Element of COMPLEX
Im (2 * ((exp z1) * (exp (- z2)))) is complex V29() V30() Element of REAL
(Im (2 * ((exp z1) * (exp (- z2))))) * <i> is complex Element of COMPLEX
(Re (2 * ((exp z1) * (exp (- z2))))) + ((Im (2 * ((exp z1) * (exp (- z2))))) * <i>) is complex Element of COMPLEX
(2 * ((exp (- z1)) * (exp z2))) + ((Re (2 * ((exp z1) * (exp (- z2))))) + ((Im (2 * ((exp z1) * (exp (- z2))))) * <i>)) is complex Element of COMPLEX
((2 * ((exp (- z1)) * (exp z2))) + ((Re (2 * ((exp z1) * (exp (- z2))))) + ((Im (2 * ((exp z1) * (exp (- z2))))) * <i>))) / (2 * 2) is complex Element of COMPLEX
(2 * ((exp (- z1)) * (exp z2))) + (2 * ((exp z1) * (exp (- z2)))) is complex Element of COMPLEX
((2 * ((exp (- z1)) * (exp z2))) + (2 * ((exp z1) * (exp (- z2))))) / (2 * 2) is complex Element of COMPLEX
((exp z1) * (exp (- z2))) / 2 is complex Element of COMPLEX
(2 * ((exp (- z1)) * (exp z2))) / (2 * 2) is complex Element of COMPLEX
(((exp z1) * (exp (- z2))) / 2) + ((2 * ((exp (- z1)) * (exp z2))) / (2 * 2)) is complex Element of COMPLEX
z1 + (- z2) is complex Element of COMPLEX
exp (z1 + (- z2)) is complex Element of COMPLEX
(exp (z1 + (- z2))) / 2 is complex Element of COMPLEX
((exp (- z1)) * (exp z2)) / 2 is complex Element of COMPLEX
((exp (z1 + (- z2))) / 2) + (((exp (- z1)) * (exp z2)) / 2) is complex Element of COMPLEX
exp (z1 - z2) is complex Element of COMPLEX
(exp (z1 - z2)) / 2 is complex Element of COMPLEX
(- z1) + z2 is complex Element of COMPLEX
exp ((- z1) + z2) is complex Element of COMPLEX
(exp ((- z1) + z2)) / 2 is complex Element of COMPLEX
((exp (z1 - z2)) / 2) + ((exp ((- z1) + z2)) / 2) is complex Element of COMPLEX
- (z1 - z2) is complex Element of COMPLEX
exp (- (z1 - z2)) is complex Element of COMPLEX
(exp (z1 - z2)) + (exp (- (z1 - z2))) is complex Element of COMPLEX
((exp (z1 - z2)) + (exp (- (z1 - z2)))) / 2 is complex Element of COMPLEX
z1 is complex Element of COMPLEX
() /. z1 is complex Element of COMPLEX
() . z1 is complex Element of COMPLEX
() /. z1 is complex Element of COMPLEX
() . z1 is complex Element of COMPLEX
z2 is complex Element of COMPLEX
z1 + z2 is complex Element of COMPLEX
() /. (z1 + z2) is complex Element of COMPLEX
() . (z1 + z2) is complex Element of COMPLEX
() /. z2 is complex Element of COMPLEX
() . z2 is complex Element of COMPLEX
(() /. z1) * (() /. z2) is complex Element of COMPLEX
() /. z2 is complex Element of COMPLEX
() . z2 is complex Element of COMPLEX
(() /. z1) * (() /. z2) is complex Element of COMPLEX
((() /. z1) * (() /. z2)) + ((() /. z1) * (() /. z2)) is complex Element of COMPLEX
- z2 is complex Element of COMPLEX
z1 - (- z2) is complex Element of COMPLEX
() /. (z1 - (- z2)) is complex Element of COMPLEX
() . (z1 - (- z2)) is complex Element of COMPLEX
() /. (- z2) is complex Element of COMPLEX
() . (- z2) is complex Element of COMPLEX
(() /. z1) * (() /. (- z2)) is complex Element of COMPLEX
() /. (- z2) is complex Element of COMPLEX
() . (- z2) is complex Element of COMPLEX
(() /. z1) * (() /. (- z2)) is complex Element of COMPLEX
((() /. z1) * (() /. (- z2))) - ((() /. z1) * (() /. (- z2))) is complex Element of COMPLEX
((() /. z1) * (() /. z2)) - ((() /. z1) * (() /. (- z2))) is complex Element of COMPLEX
- (() /. z2) is complex Element of COMPLEX
(() /. z1) * (- (() /. z2)) is complex Element of COMPLEX
((() /. z1) * (() /. z2)) - ((() /. z1) * (- (() /. z2))) is complex Element of COMPLEX
- ((() /. z1) * (() /. z2)) is complex Element of COMPLEX
((() /. z1) * (() /. z2)) - (- ((() /. z1) * (() /. z2))) is complex Element of COMPLEX
z1 is complex set
<i> * z1 is complex Element of COMPLEX
() /. (<i> * z1) is complex Element of COMPLEX
() . (<i> * z1) is complex Element of COMPLEX
() /. z1 is complex Element of COMPLEX
<i> * (() /. z1) is complex Element of COMPLEX
z2 is complex Element of COMPLEX
<i> * z2 is complex Element of COMPLEX
() /. (<i> * z2) is complex Element of COMPLEX
() . (<i> * z2) is complex Element of COMPLEX
<i> * <i> is complex Element of COMPLEX
(<i> * <i>) * z2 is complex Element of COMPLEX
exp ((<i> * <i>) * z2) is complex Element of COMPLEX
<i> * (<i> * z2) is complex Element of COMPLEX
- (<i> * (<i> * z2)) is complex Element of COMPLEX
exp (- (<i> * (<i> * z2))) is complex Element of COMPLEX
(exp ((<i> * <i>) * z2)) - (exp (- (<i> * (<i> * z2)))) is complex Element of COMPLEX
<i> * 2 is complex Element of COMPLEX
((exp ((<i> * <i>) * z2)) - (exp (- (<i> * (<i> * z2))))) / (<i> * 2) is complex Element of COMPLEX
exp z2 is complex Element of COMPLEX
- z2 is complex Element of COMPLEX
exp (- z2) is complex Element of COMPLEX
(exp z2) - (exp (- z2)) is complex Element of COMPLEX
((exp z2) - (exp (- z2))) / 2 is complex Element of COMPLEX
<i> * (((exp z2) - (exp (- z2))) / 2) is complex Element of COMPLEX
() /. z2 is complex Element of COMPLEX
() . z2 is complex Element of COMPLEX
<i> * (() /. z2) is complex Element of COMPLEX
z1 is complex set
<i> * z1 is complex Element of COMPLEX
() /. (<i> * z1) is complex Element of COMPLEX
() . (<i> * z1) is complex Element of COMPLEX
() /. z1 is complex Element of COMPLEX
z2 is complex Element of COMPLEX
<i> * z2 is complex Element of COMPLEX
() /. (<i> * z2) is complex Element of COMPLEX
() . (<i> * z2) is complex Element of COMPLEX
<i> * <i> is complex Element of COMPLEX
(<i> * <i>) * z2 is complex Element of COMPLEX
exp ((<i> * <i>) * z2) is complex Element of COMPLEX
<i> * (<i> * z2) is complex Element of COMPLEX
- (<i> * (<i> * z2)) is complex Element of COMPLEX
exp (- (<i> * (<i> * z2))) is complex Element of COMPLEX
(exp ((<i> * <i>) * z2)) + (exp (- (<i> * (<i> * z2)))) is complex Element of COMPLEX
((exp ((<i> * <i>) * z2)) + (exp (- (<i> * (<i> * z2))))) / 2 is complex Element of COMPLEX
- z2 is complex Element of COMPLEX
exp (- z2) is complex Element of COMPLEX
exp z2 is complex Element of COMPLEX
(exp (- z2)) + (exp z2) is complex Element of COMPLEX
((exp (- z2)) + (exp z2)) / 2 is complex Element of COMPLEX
() /. z2 is complex Element of COMPLEX
() . z2 is complex Element of COMPLEX
z1 is complex set
<i> * z1 is complex Element of COMPLEX
() /. (<i> * z1) is complex Element of COMPLEX
() . (<i> * z1) is complex Element of COMPLEX
() /. z1 is complex Element of COMPLEX
<i> * (() /. z1) is complex Element of COMPLEX
z2 is complex Element of COMPLEX
<i> * z2 is complex Element of COMPLEX
() /. (<i> * z2) is complex Element of COMPLEX
() . (<i> * z2) is complex Element of COMPLEX
exp (<i> * z2) is complex Element of COMPLEX
- (<i> * z2) is complex Element of COMPLEX
exp (- (<i> * z2)) is complex Element of COMPLEX
(exp (<i> * z2)) - (exp (- (<i> * z2))) is complex Element of COMPLEX
((exp (<i> * z2)) - (exp (- (<i> * z2)))) / 2 is complex Element of COMPLEX
<i> * 2 is complex Element of COMPLEX
((exp (<i> * z2)) - (exp (- (<i> * z2)))) / (<i> * 2) is complex Element of COMPLEX
<i> * (((exp (<i> * z2)) - (exp (- (<i> * z2)))) / (<i> * 2)) is complex Element of COMPLEX
() /. z2 is complex Element of COMPLEX
() . z2 is complex Element of COMPLEX
<i> * (() /. z2) is complex Element of COMPLEX
z1 is complex set
<i> * z1 is complex Element of COMPLEX
() /. (<i> * z1) is complex Element of COMPLEX
() . (<i> * z1) is complex Element of COMPLEX
() /. z1 is complex Element of COMPLEX
z2 is complex Element of COMPLEX
<i> * z2 is complex Element of COMPLEX
() /. (<i> * z2) is complex Element of COMPLEX
() . (<i> * z2) is complex Element of COMPLEX
exp (<i> * z2) is complex Element of COMPLEX
- (<i> * z2) is complex Element of COMPLEX
exp (- (<i> * z2)) is complex Element of COMPLEX
(exp (<i> * z2)) + (exp (- (<i> * z2))) is complex Element of COMPLEX
((exp (<i> * z2)) + (exp (- (<i> * z2)))) / 2 is complex Element of COMPLEX
() /. z2 is complex Element of COMPLEX
() . z2 is complex Element of COMPLEX
z1 is complex V29() V30() Element of REAL
exp_R z1 is complex V29() V30() Element of REAL
z2 is complex V29() V30() Element of REAL
z2 * <i> is complex Element of COMPLEX
z1 + (z2 * <i>) is complex Element of COMPLEX
exp (z1 + (z2 * <i>)) is complex Element of COMPLEX
cos z2 is complex V29() V30() Element of REAL
sin z2 is complex V29() V30() Element of REAL
(sin z2) * <i> is complex Element of COMPLEX
(cos z2) + ((sin z2) * <i>) is complex Element of COMPLEX
(exp_R z1) * ((cos z2) + ((sin z2) * <i>)) is complex Element of COMPLEX
exp z1 is complex Element of COMPLEX
exp (z2 * <i>) is complex Element of COMPLEX
(exp z1) * (exp (z2 * <i>)) is complex Element of COMPLEX
(exp_R z1) * (exp (z2 * <i>)) is complex Element of COMPLEX
z1 is complex V29() V30() Element of REAL
z2 is complex V29() V30() Element of REAL
z2 * <i> is complex Element of COMPLEX
z1 + (z2 * <i>) is complex Element of COMPLEX
exp (z1 + (z2 * <i>)) is complex Element of COMPLEX
exp_R . z1 is complex V29() V30() Element of REAL
cos . z2 is complex V29() V30() Element of REAL
(exp_R . z1) * (cos . z2) is complex V29() V30() Element of REAL
sin . z2 is complex V29() V30() Element of REAL
(exp_R . z1) * (sin . z2) is complex V29() V30() Element of REAL
((exp_R . z1) * (sin . z2)) * <i> is complex Element of COMPLEX
((exp_R . z1) * (cos . z2)) + (((exp_R . z1) * (sin . z2)) * <i>) is complex Element of COMPLEX
exp_R z1 is complex V29() V30() Element of REAL
cos z2 is complex V29() V30() Element of REAL
sin z2 is complex V29() V30() Element of REAL
(sin z2) * <i> is complex Element of COMPLEX
(cos z2) + ((sin z2) * <i>) is complex Element of COMPLEX
(exp_R z1) * ((cos z2) + ((sin z2) * <i>)) is complex Element of COMPLEX
(exp_R z1) * (cos z2) is complex V29() V30() Element of REAL
0 * (sin z2) is complex V29() V30() Element of REAL
((exp_R z1) * (cos z2)) - (0 * (sin z2)) is complex V29() V30() Element of REAL
(exp_R z1) * (sin z2) is complex V29() V30() Element of REAL
(cos z2) * 0 is complex V29() V30() Element of REAL
((exp_R z1) * (sin z2)) + ((cos z2) * 0) is complex V29() V30() Element of REAL
(((exp_R z1) * (sin z2)) + ((cos z2) * 0)) * <i> is complex Element of COMPLEX
(((exp_R z1) * (cos z2)) - (0 * (sin z2))) + ((((exp_R z1) * (sin z2)) + ((cos z2) * 0)) * <i>) is complex Element of COMPLEX
(exp_R z1) * (cos . z2) is complex V29() V30() Element of REAL
((exp_R z1) * (sin z2)) * <i> is complex Element of COMPLEX
((exp_R z1) * (cos . z2)) + (((exp_R z1) * (sin z2)) * <i>) is complex Element of COMPLEX
((exp_R . z1) * (cos . z2)) + (((exp_R z1) * (sin z2)) * <i>) is complex Element of COMPLEX
(exp_R . z1) * (sin z2) is complex V29() V30() Element of REAL
((exp_R . z1) * (sin z2)) * <i> is complex Element of COMPLEX
((exp_R . z1) * (cos . z2)) + (((exp_R . z1) * (sin z2)) * <i>) is complex Element of COMPLEX
0c is complex Element of COMPLEX
exp 0c is complex Element of COMPLEX
() /. 0c is complex Element of COMPLEX
() . 0c is complex Element of COMPLEX
<i> * 0c is complex Element of COMPLEX
- (<i> * 0c) is complex Element of COMPLEX
exp (- (<i> * 0c)) is complex Element of COMPLEX
(exp 0c) - (exp (- (<i> * 0c))) is complex Element of COMPLEX
<i> * 2 is complex Element of COMPLEX
((exp 0c) - (exp (- (<i> * 0c)))) / (<i> * 2) is complex Element of COMPLEX
0c / (<i> * 2) is complex Element of COMPLEX
() /. 0c is complex Element of COMPLEX
() . 0c is complex Element of COMPLEX
- 0c is complex Element of COMPLEX
exp (- 0c) is complex Element of COMPLEX
(exp 0c) - (exp (- 0c)) is complex Element of COMPLEX
((exp 0c) - (exp (- 0c))) / 2 is complex Element of COMPLEX
0c / 2 is complex Element of COMPLEX
() /. 0c is complex Element of COMPLEX
() . 0c is complex Element of COMPLEX
<i> * 0c is complex Element of COMPLEX
- (<i> * 0c) is complex Element of COMPLEX
exp (- (<i> * 0c)) is complex Element of COMPLEX
(exp 0c) + (exp (- (<i> * 0c))) is complex Element of COMPLEX
((exp 0c) + (exp (- (<i> * 0c)))) / 2 is complex Element of COMPLEX
() /. 0c is complex Element of COMPLEX
() . 0c is complex Element of COMPLEX
- 0c is complex Element of COMPLEX
exp (- 0c) is complex Element of COMPLEX
(exp 0c) + (exp (- 0c)) is complex Element of COMPLEX
((exp 0c) + (exp (- 0c))) / 2 is complex Element of COMPLEX
z1 is complex Element of COMPLEX
exp z1 is complex Element of COMPLEX
() /. z1 is complex Element of COMPLEX
() . z1 is complex Element of COMPLEX
() /. z1 is complex Element of COMPLEX
() . z1 is complex Element of COMPLEX
(() /. z1) + (() /. z1) is complex Element of COMPLEX
- z1 is complex Element of COMPLEX
exp (- z1) is complex Element of COMPLEX
(exp z1) + (exp (- z1)) is complex Element of COMPLEX
((exp z1) + (exp (- z1))) / 2 is complex Element of COMPLEX
(((exp z1) + (exp (- z1))) / 2) + (() /. z1) is complex Element of COMPLEX
(exp z1) - (exp (- z1)) is complex Element of COMPLEX
((exp z1) - (exp (- z1))) / 2 is complex Element of COMPLEX
(((exp z1) + (exp (- z1))) / 2) + (((exp z1) - (exp (- z1))) / 2) is complex Element of COMPLEX
(exp (- z1)) + (exp z1) is complex Element of COMPLEX
((exp (- z1)) + (exp z1)) - (exp (- z1)) is complex Element of COMPLEX
(exp z1) + (((exp (- z1)) + (exp z1)) - (exp (- z1))) is complex Element of COMPLEX
((exp z1) + (((exp (- z1)) + (exp z1)) - (exp (- z1)))) / 2 is complex Element of COMPLEX
Re (exp z1) is complex V29() V30() Element of REAL
(Re (exp z1)) + (Re (exp z1)) is complex V29() V30() Element of REAL
Im (exp z1) is complex V29() V30() Element of REAL
(Im (exp z1)) + (Im (exp z1)) is complex V29() V30() Element of REAL
((Im (exp z1)) + (Im (exp z1))) * <i> is complex Element of COMPLEX
((Re (exp z1)) + (Re (exp z1))) + (((Im (exp z1)) + (Im (exp z1))) * <i>) is complex Element of COMPLEX
(((Re (exp z1)) + (Re (exp z1))) + (((Im (exp z1)) + (Im (exp z1))) * <i>)) / 2 is complex Element of COMPLEX
2 * (Re (exp z1)) is complex V29() V30() Element of REAL
2 * (Im (exp z1)) is complex V29() V30() Element of REAL
(2 * (Im (exp z1))) * <i> is complex Element of COMPLEX
(2 * (Re (exp z1))) + ((2 * (Im (exp z1))) * <i>) is complex Element of COMPLEX
((2 * (Re (exp z1))) + ((2 * (Im (exp z1))) * <i>)) / 2 is complex Element of COMPLEX
2 * (exp z1) is complex Element of COMPLEX
Re (2 * (exp z1)) is complex V29() V30() Element of REAL
(Re (2 * (exp z1))) + ((2 * (Im (exp z1))) * <i>) is complex Element of COMPLEX
((Re (2 * (exp z1))) + ((2 * (Im (exp z1))) * <i>)) / 2 is complex Element of COMPLEX
Im (2 * (exp z1)) is complex V29() V30() Element of REAL
(Im (2 * (exp z1))) * <i> is complex Element of COMPLEX
(Re (2 * (exp z1))) + ((Im (2 * (exp z1))) * <i>) is complex Element of COMPLEX
((Re (2 * (exp z1))) + ((Im (2 * (exp z1))) * <i>)) / 2 is complex Element of COMPLEX
(2 * (exp z1)) / 2 is complex Element of COMPLEX
(exp z1) * 1 is complex Element of COMPLEX
z1 is complex Element of COMPLEX
- z1 is complex Element of COMPLEX
exp (- z1) is complex Element of COMPLEX
() /. z1 is complex Element of COMPLEX
() . z1 is complex Element of COMPLEX
() /. z1 is complex Element of COMPLEX
() . z1 is complex Element of COMPLEX
(() /. z1) - (() /. z1) is complex Element of COMPLEX
exp z1 is complex Element of COMPLEX
(exp z1) + (exp (- z1)) is complex Element of COMPLEX
((exp z1) + (exp (- z1))) / 2 is complex Element of COMPLEX
(((exp z1) + (exp (- z1))) / 2) - (() /. z1) is complex Element of COMPLEX
(exp z1) - (exp (- z1)) is complex Element of COMPLEX
((exp z1) - (exp (- z1))) / 2 is complex Element of COMPLEX
(((exp z1) + (exp (- z1))) / 2) - (((exp z1) - (exp (- z1))) / 2) is complex Element of COMPLEX
(exp (- z1)) + (exp (- z1)) is complex Element of COMPLEX
((exp (- z1)) + (exp (- z1))) / 2 is complex Element of COMPLEX
Re (exp (- z1)) is complex V29() V30() Element of REAL
(Re (exp (- z1))) + (Re (exp (- z1))) is complex V29() V30() Element of REAL
Im (exp (- z1)) is complex V29() V30() Element of REAL
(Im (exp (- z1))) + (Im (exp (- z1))) is complex V29() V30() Element of REAL
((Im (exp (- z1))) + (Im (exp (- z1)))) * <i> is complex Element of COMPLEX
((Re (exp (- z1))) + (Re (exp (- z1)))) + (((Im (exp (- z1))) + (Im (exp (- z1)))) * <i>) is complex Element of COMPLEX
(((Re (exp (- z1))) + (Re (exp (- z1)))) + (((Im (exp (- z1))) + (Im (exp (- z1)))) * <i>)) / 2 is complex Element of COMPLEX
2 * (Re (exp (- z1))) is complex V29() V30() Element of REAL
2 * (Im (exp (- z1))) is complex V29() V30() Element of REAL
(2 * (Im (exp (- z1)))) * <i> is complex Element of COMPLEX
(2 * (Re (exp (- z1)))) + ((2 * (Im (exp (- z1)))) * <i>) is complex Element of COMPLEX
((2 * (Re (exp (- z1)))) + ((2 * (Im (exp (- z1)))) * <i>)) / 2 is complex Element of COMPLEX
2 * (exp (- z1)) is complex Element of COMPLEX
Re (2 * (exp (- z1))) is complex V29() V30() Element of REAL
(Re (2 * (exp (- z1)))) + ((2 * (Im (exp (- z1)))) * <i>) is complex Element of COMPLEX
((Re (2 * (exp (- z1)))) + ((2 * (Im (exp (- z1)))) * <i>)) / 2 is complex Element of COMPLEX
Im (2 * (exp (- z1))) is complex V29() V30() Element of REAL
(Im (2 * (exp (- z1)))) * <i> is complex Element of COMPLEX
(Re (2 * (exp (- z1)))) + ((Im (2 * (exp (- z1)))) * <i>) is complex Element of COMPLEX
((Re (2 * (exp (- z1)))) + ((Im (2 * (exp (- z1)))) * <i>)) / 2 is complex Element of COMPLEX
(2 * (exp (- z1))) / 2 is complex Element of COMPLEX
(exp (- z1)) * 1 is complex Element of COMPLEX
2 * PI is complex V29() V30() Element of REAL
(2 * PI) * <i> is complex Element of COMPLEX
z1 is complex Element of COMPLEX
z1 + ((2 * PI) * <i>) is complex Element of COMPLEX
exp (z1 + ((2 * PI) * <i>)) is complex Element of COMPLEX
exp z1 is complex Element of COMPLEX
Re z1 is complex V29() V30() Element of REAL
Im z1 is complex V29() V30() Element of REAL
(Im z1) * <i> is complex Element of COMPLEX
(Re z1) + ((Im z1) * <i>) is complex Element of COMPLEX
0 * <i> is complex Element of COMPLEX
(2 * PI) + (0 * <i>) is complex Element of COMPLEX
((2 * PI) + (0 * <i>)) * <i> is complex Element of COMPLEX
((Re z1) + ((Im z1) * <i>)) + (((2 * PI) + (0 * <i>)) * <i>) is complex Element of COMPLEX
(Re z1) + 0 is complex V29() V30() Element of REAL
(Im z1) + (2 * PI) is complex V29() V30() Element of REAL
((Im z1) + (2 * PI)) * <i> is complex Element of COMPLEX
((Re z1) + 0) + (((Im z1) + (2 * PI)) * <i>) is complex Element of COMPLEX
exp_R . (Re z1) is complex V29() V30() Element of REAL
(2 * PI) * 1 is complex V29() V30() Element of REAL
(Im z1) + ((2 * PI) * 1) is complex V29() V30() Element of REAL
cos . ((Im z1) + ((2 * PI) * 1)) is complex V29() V30() Element of REAL
(exp_R . (Re z1)) * (cos . ((Im z1) + ((2 * PI) * 1))) is complex V29() V30() Element of REAL
sin . ((Im z1) + (2 * PI)) is complex V29() V30() Element of REAL
(exp_R . (Re z1)) * (sin . ((Im z1) + (2 * PI))) is complex V29() V30() Element of REAL
((exp_R . (Re z1)) * (sin . ((Im z1) + (2 * PI)))) * <i> is complex Element of COMPLEX
((exp_R . (Re z1)) * (cos . ((Im z1) + ((2 * PI) * 1)))) + (((exp_R . (Re z1)) * (sin . ((Im z1) + (2 * PI)))) * <i>) is complex Element of COMPLEX
cos . (Im z1) is complex V29() V30() Element of REAL
(exp_R . (Re z1)) * (cos . (Im z1)) is complex V29() V30() Element of REAL
sin . ((Im z1) + ((2 * PI) * 1)) is complex V29() V30() Element of REAL
(exp_R . (Re z1)) * (sin . ((Im z1) + ((2 * PI) * 1))) is complex V29() V30() Element of REAL
((exp_R . (Re z1)) * (sin . ((Im z1) + ((2 * PI) * 1)))) * <i> is complex Element of COMPLEX
((exp_R . (Re z1)) * (cos . (Im z1))) + (((exp_R . (Re z1)) * (sin . ((Im z1) + ((2 * PI) * 1)))) * <i>) is complex Element of COMPLEX
sin . (Im z1) is complex V29() V30() Element of REAL
(exp_R . (Re z1)) * (sin . (Im z1)) is complex V29() V30() Element of REAL
((exp_R . (Re z1)) * (sin . (Im z1))) * <i> is complex Element of COMPLEX
((exp_R . (Re z1)) * (cos . (Im z1))) + (((exp_R . (Re z1)) * (sin . (Im z1))) * <i>) is complex Element of COMPLEX
exp ((Re z1) + ((Im z1) * <i>)) is complex Element of COMPLEX
z1 is natural complex V29() V30() V33() V34() V57() V58() V59() V60() V61() V62() Element of NAT
(2 * PI) * z1 is complex V29() V30() Element of REAL
((2 * PI) * z1) * <i> is complex Element of COMPLEX
exp (((2 * PI) * z1) * <i>) is complex Element of COMPLEX
0 + ((2 * PI) * z1) is complex V29() V30() Element of REAL
cos (0 + ((2 * PI) * z1)) is complex V29() V30() Element of REAL
sin (0 + ((2 * PI) * z1)) is complex V29() V30() Element of REAL
(sin (0 + ((2 * PI) * z1))) * <i> is complex Element of COMPLEX
(cos (0 + ((2 * PI) * z1))) + ((sin (0 + ((2 * PI) * z1))) * <i>) is complex Element of COMPLEX
cos . (0 + ((2 * PI) * z1)) is complex V29() V30() Element of REAL
(cos . (0 + ((2 * PI) * z1))) + ((sin (0 + ((2 * PI) * z1))) * <i>) is complex Element of COMPLEX
sin . (0 + ((2 * PI) * z1)) is complex V29() V30() Element of REAL
(sin . (0 + ((2 * PI) * z1))) * <i> is complex Element of COMPLEX
(cos . (0 + ((2 * PI) * z1))) + ((sin . (0 + ((2 * PI) * z1))) * <i>) is complex Element of COMPLEX
sin . 0 is complex V29() V30() Element of REAL
(sin . 0) * <i> is complex Element of COMPLEX
(cos . (0 + ((2 * PI) * z1))) + ((sin . 0) * <i>) is complex Element of COMPLEX
z1 is natural complex V29() V30() V33() V34() V57() V58() V59() V60() V61() V62() Element of NAT
(2 * PI) * z1 is complex V29() V30() Element of REAL
- ((2 * PI) * z1) is complex V29() V30() Element of REAL
(- ((2 * PI) * z1)) * <i> is complex Element of COMPLEX
exp ((- ((2 * PI) * z1)) * <i>) is complex Element of COMPLEX
cos (- ((2 * PI) * z1)) is complex V29() V30() Element of REAL
sin (- ((2 * PI) * z1)) is complex V29() V30() Element of REAL
(sin (- ((2 * PI) * z1))) * <i> is complex Element of COMPLEX
(cos (- ((2 * PI) * z1))) + ((sin (- ((2 * PI) * z1))) * <i>) is complex Element of COMPLEX
cos ((2 * PI) * z1) is complex V29() V30() Element of REAL
(cos ((2 * PI) * z1)) + ((sin (- ((2 * PI) * z1))) * <i>) is complex Element of COMPLEX
0 + ((2 * PI) * z1) is complex V29() V30() Element of REAL
cos (0 + ((2 * PI) * z1)) is complex V29() V30() Element of REAL
sin ((2 * PI) * z1) is complex V29() V30() Element of REAL
- (sin ((2 * PI) * z1)) is complex V29() V30() Element of REAL
(- (sin ((2 * PI) * z1))) * <i> is complex Element of COMPLEX
(cos (0 + ((2 * PI) * z1))) + ((- (sin ((2 * PI) * z1))) * <i>) is complex Element of COMPLEX
cos . (0 + ((2 * PI) * z1)) is complex V29() V30() Element of REAL
sin (0 + ((2 * PI) * z1)) is complex V29() V30() Element of REAL
(sin (0 + ((2 * PI) * z1))) * <i> is complex Element of COMPLEX
- ((sin (0 + ((2 * PI) * z1))) * <i>) is complex Element of COMPLEX
(cos . (0 + ((2 * PI) * z1))) + (- ((sin (0 + ((2 * PI) * z1))) * <i>)) is complex Element of COMPLEX
sin . (0 + ((2 * PI) * z1)) is complex V29() V30() Element of REAL
(sin . (0 + ((2 * PI) * z1))) * <i> is complex Element of COMPLEX
- ((sin . (0 + ((2 * PI) * z1))) * <i>) is complex Element of COMPLEX
(cos . (0 + ((2 * PI) * z1))) + (- ((sin . (0 + ((2 * PI) * z1))) * <i>)) is complex Element of COMPLEX
sin . 0 is complex V29() V30() Element of REAL
(sin . 0) * <i> is complex Element of COMPLEX
- ((sin . 0) * <i>) is complex Element of COMPLEX
(cos . (0 + ((2 * PI) * z1))) + (- ((sin . 0) * <i>)) is complex Element of COMPLEX
- 1 is non zero complex V29() V30() V33() V34() Element of INT
z1 is natural complex V29() V30() V33() V34() V57() V58() V59() V60() V61() V62() Element of NAT
2 * z1 is natural complex V29() V30() V33() V34() V57() V58() V59() V60() V61() V62() Element of NAT
(2 * z1) + 1 is natural complex V29() V30() V33() V34() V57() V58() V59() V60() V61() V62() Element of NAT
((2 * z1) + 1) * PI is complex V29() V30() Element of REAL
(((2 * z1) + 1) * PI) * <i> is complex Element of COMPLEX
exp ((((2 * z1) + 1) * PI) * <i>) is complex Element of COMPLEX
PI * 2 is complex V29() V30() Element of REAL
(PI * 2) * z1 is complex V29() V30() Element of REAL
((PI * 2) * z1) + PI is complex V29() V30() Element of REAL
cos (((PI * 2) * z1) + PI) is complex V29() V30() Element of REAL
PI * (2 * z1) is complex V29() V30() Element of REAL
1 * PI is complex V29() V30() Element of REAL
(PI * (2 * z1)) + (1 * PI) is complex V29() V30() Element of REAL
sin ((PI * (2 * z1)) + (1 * PI)) is complex V29() V30() Element of REAL
(sin ((PI * (2 * z1)) + (1 * PI))) * <i> is complex Element of COMPLEX
(cos (((PI * 2) * z1) + PI)) + ((sin ((PI * (2 * z1)) + (1 * PI))) * <i>) is complex Element of COMPLEX
cos . (((PI * 2) * z1) + PI) is complex V29() V30() Element of REAL
sin (((PI * 2) * z1) + PI) is complex V29() V30() Element of REAL
(sin (((PI * 2) * z1) + PI)) * <i> is complex Element of COMPLEX
(cos . (((PI * 2) * z1) + PI)) + ((sin (((PI * 2) * z1) + PI)) * <i>) is complex Element of COMPLEX
sin . (((PI * 2) * z1) + PI) is complex V29() V30() Element of REAL
(sin . (((PI * 2) * z1) + PI)) * <i> is complex Element of COMPLEX
(cos . (((PI * 2) * z1) + PI)) + ((sin . (((PI * 2) * z1) + PI)) * <i>) is complex Element of COMPLEX
cos . PI is complex V29() V30() Element of REAL
(cos . PI) + ((sin . (((PI * 2) * z1) + PI)) * <i>) is complex Element of COMPLEX
sin . PI is complex V29() V30() Element of REAL
(sin . PI) * <i> is complex Element of COMPLEX
(- 1) + ((sin . PI) * <i>) is complex Element of COMPLEX
z1 is natural complex V29() V30() V33() V34() V57() V58() V59() V60() V61() V62() Element of NAT
2 * z1 is natural complex V29() V30() V33() V34() V57() V58() V59() V60() V61() V62() Element of NAT
(2 * z1) + 1 is natural complex V29() V30() V33() V34() V57() V58() V59() V60() V61() V62() Element of NAT
((2 * z1) + 1) * PI is complex V29() V30() Element of REAL
- (((2 * z1) + 1) * PI) is complex V29() V30() Element of REAL
(- (((2 * z1) + 1) * PI)) * <i> is complex Element of COMPLEX
exp ((- (((2 * z1) + 1) * PI)) * <i>) is complex Element of COMPLEX
cos (- (((2 * z1) + 1) * PI)) is complex V29() V30() Element of REAL
sin (- (((2 * z1) + 1) * PI)) is complex V29() V30() Element of REAL
(sin (- (((2 * z1) + 1) * PI))) * <i> is complex Element of COMPLEX
(cos (- (((2 * z1) + 1) * PI))) + ((sin (- (((2 * z1) + 1) * PI))) * <i>) is complex Element of COMPLEX
cos (((2 * z1) + 1) * PI) is complex V29() V30() Element of REAL
(cos (((2 * z1) + 1) * PI)) + ((sin (- (((2 * z1) + 1) * PI))) * <i>) is complex Element of COMPLEX
PI * 2 is complex V29() V30() Element of REAL
(PI * 2) * z1 is complex V29() V30() Element of REAL
((PI * 2) * z1) + PI is complex V29() V30() Element of REAL
cos (((PI * 2) * z1) + PI) is complex V29() V30() Element of REAL
PI * (2 * z1) is complex V29() V30() Element of REAL
(PI * (2 * z1)) + PI is complex V29() V30() Element of REAL
sin ((PI * (2 * z1)) + PI) is complex V29() V30() Element of REAL
- (sin ((PI * (2 * z1)) + PI)) is complex V29() V30() Element of REAL
(- (sin ((PI * (2 * z1)) + PI))) * <i> is complex Element of COMPLEX
(cos (((PI * 2) * z1) + PI)) + ((- (sin ((PI * (2 * z1)) + PI))) * <i>) is complex Element of COMPLEX
cos . (((PI * 2) * z1) + PI) is complex V29() V30() Element of REAL
sin (((PI * 2) * z1) + PI) is complex V29() V30() Element of REAL
(sin (((PI * 2) * z1) + PI)) * <i> is complex Element of COMPLEX
- ((sin (((PI * 2) * z1) + PI)) * <i>) is complex Element of COMPLEX
(cos . (((PI * 2) * z1) + PI)) + (- ((sin (((PI * 2) * z1) + PI)) * <i>)) is complex Element of COMPLEX
sin . (((PI * 2) * z1) + PI) is complex V29() V30() Element of REAL
(sin . (((PI * 2) * z1) + PI)) * <i> is complex Element of COMPLEX
- ((sin . (((PI * 2) * z1) + PI)) * <i>) is complex Element of COMPLEX
(cos . (((PI * 2) * z1) + PI)) + (- ((sin . (((PI * 2) * z1) + PI)) * <i>)) is complex Element of COMPLEX
cos . PI is complex V29() V30() Element of REAL
(cos . PI) + (- ((sin . (((PI * 2) * z1) + PI)) * <i>)) is complex Element of COMPLEX
sin . PI is complex V29() V30() Element of REAL
(sin . PI) * <i> is complex Element of COMPLEX
- ((sin . PI) * <i>) is complex Element of COMPLEX
(- 1) + (- ((sin . PI) * <i>)) is complex Element of COMPLEX
1 / 2 is non zero complex V29() V30() V34() Element of RAT
z1 is natural complex V29() V30() V33() V34() V57() V58() V59() V60() V61() V62() Element of NAT
2 * z1 is natural complex V29() V30() V33() V34() V57() V58() V59() V60() V61() V62() Element of NAT
(2 * z1) + (1 / 2) is complex V29() V30() V34() Element of RAT
((2 * z1) + (1 / 2)) * PI is complex V29() V30() Element of REAL
(((2 * z1) + (1 / 2)) * PI) * <i> is complex Element of COMPLEX
exp ((((2 * z1) + (1 / 2)) * PI) * <i>) is complex Element of COMPLEX
PI * 2 is complex V29() V30() Element of REAL
(PI * 2) * z1 is complex V29() V30() Element of REAL
(1 / 2) * PI is complex V29() V30() Element of REAL
((PI * 2) * z1) + ((1 / 2) * PI) is complex V29() V30() Element of REAL
cos (((PI * 2) * z1) + ((1 / 2) * PI)) is complex V29() V30() Element of REAL
PI * (2 * z1) is complex V29() V30() Element of REAL
(PI * (2 * z1)) + ((1 / 2) * PI) is complex V29() V30() Element of REAL
sin ((PI * (2 * z1)) + ((1 / 2) * PI)) is complex V29() V30() Element of REAL
(sin ((PI * (2 * z1)) + ((1 / 2) * PI))) * <i> is complex Element of COMPLEX
(cos (((PI * 2) * z1) + ((1 / 2) * PI))) + ((sin ((PI * (2 * z1)) + ((1 / 2) * PI))) * <i>) is complex Element of COMPLEX
cos . (((PI * 2) * z1) + ((1 / 2) * PI)) is complex V29() V30() Element of REAL
sin (((PI * 2) * z1) + ((1 / 2) * PI)) is complex V29() V30() Element of REAL
(sin (((PI * 2) * z1) + ((1 / 2) * PI))) * <i> is complex Element of COMPLEX
(cos . (((PI * 2) * z1) + ((1 / 2) * PI))) + ((sin (((PI * 2) * z1) + ((1 / 2) * PI))) * <i>) is complex Element of COMPLEX
sin . (((PI * 2) * z1) + ((1 / 2) * PI)) is complex V29() V30() Element of REAL
(sin . (((PI * 2) * z1) + ((1 / 2) * PI))) * <i> is complex Element of COMPLEX
(cos . (((PI * 2) * z1) + ((1 / 2) * PI))) + ((sin . (((PI * 2) * z1) + ((1 / 2) * PI))) * <i>) is complex Element of COMPLEX
cos . ((1 / 2) * PI) is complex V29() V30() Element of REAL
(cos . ((1 / 2) * PI)) + ((sin . (((PI * 2) * z1) + ((1 / 2) * PI))) * <i>) is complex Element of COMPLEX
PI / 2 is complex V29() V30() Element of REAL
sin . (PI / 2) is complex V29() V30() Element of REAL
(sin . (PI / 2)) * <i> is complex Element of COMPLEX
1 * <i> is complex Element of COMPLEX
- (1 * <i>) is complex Element of COMPLEX
z1 is natural complex V29() V30() V33() V34() V57() V58() V59() V60() V61() V62() Element of NAT
2 * z1 is natural complex V29() V30() V33() V34() V57() V58() V59() V60() V61() V62() Element of NAT
(2 * z1) + (1 / 2) is complex V29() V30() V34() Element of RAT
((2 * z1) + (1 / 2)) * PI is complex V29() V30() Element of REAL
- (((2 * z1) + (1 / 2)) * PI) is complex V29() V30() Element of REAL
(- (((2 * z1) + (1 / 2)) * PI)) * <i> is complex Element of COMPLEX
exp ((- (((2 * z1) + (1 / 2)) * PI)) * <i>) is complex Element of COMPLEX
cos (- (((2 * z1) + (1 / 2)) * PI)) is complex V29() V30() Element of REAL
sin (- (((2 * z1) + (1 / 2)) * PI)) is complex V29() V30() Element of REAL
(sin (- (((2 * z1) + (1 / 2)) * PI))) * <i> is complex Element of COMPLEX
(cos (- (((2 * z1) + (1 / 2)) * PI))) + ((sin (- (((2 * z1) + (1 / 2)) * PI))) * <i>) is complex Element of COMPLEX
cos (((2 * z1) + (1 / 2)) * PI) is complex V29() V30() Element of REAL
(cos (((2 * z1) + (1 / 2)) * PI)) + ((sin (- (((2 * z1) + (1 / 2)) * PI))) * <i>) is complex Element of COMPLEX
PI * 2 is complex V29() V30() Element of REAL
(PI * 2) * z1 is complex V29() V30() Element of REAL
(1 / 2) * PI is complex V29() V30() Element of REAL
((PI * 2) * z1) + ((1 / 2) * PI) is complex V29() V30() Element of REAL
cos (((PI * 2) * z1) + ((1 / 2) * PI)) is complex V29() V30() Element of REAL
PI * (2 * z1) is complex V29() V30() Element of REAL
(PI * (2 * z1)) + ((1 / 2) * PI) is complex V29() V30() Element of REAL
sin ((PI * (2 * z1)) + ((1 / 2) * PI)) is complex V29() V30() Element of REAL
- (sin ((PI * (2 * z1)) + ((1 / 2) * PI))) is complex V29() V30() Element of REAL
(- (sin ((PI * (2 * z1)) + ((1 / 2) * PI)))) * <i> is complex Element of COMPLEX
(cos (((PI * 2) * z1) + ((1 / 2) * PI))) + ((- (sin ((PI * (2 * z1)) + ((1 / 2) * PI)))) * <i>) is complex Element of COMPLEX
cos . (((PI * 2) * z1) + ((1 / 2) * PI)) is complex V29() V30() Element of REAL
sin (((PI * 2) * z1) + ((1 / 2) * PI)) is complex V29() V30() Element of REAL
(sin (((PI * 2) * z1) + ((1 / 2) * PI))) * <i> is complex Element of COMPLEX
- ((sin (((PI * 2) * z1) + ((1 / 2) * PI))) * <i>) is complex Element of COMPLEX
(cos . (((PI * 2) * z1) + ((1 / 2) * PI))) + (- ((sin (((PI * 2) * z1) + ((1 / 2) * PI))) * <i>)) is complex Element of COMPLEX
sin . (((PI * 2) * z1) + ((1 / 2) * PI)) is complex V29() V30() Element of REAL
(sin . (((PI * 2) * z1) + ((1 / 2) * PI))) * <i> is complex Element of COMPLEX
- ((sin . (((PI * 2) * z1) + ((1 / 2) * PI))) * <i>) is complex Element of COMPLEX
(cos . (((PI * 2) * z1) + ((1 / 2) * PI))) + (- ((sin . (((PI * 2) * z1) + ((1 / 2) * PI))) * <i>)) is complex Element of COMPLEX
cos . ((1 / 2) * PI) is complex V29() V30() Element of REAL
- (sin . (((PI * 2) * z1) + ((1 / 2) * PI))) is complex V29() V30() Element of REAL
(- (sin . (((PI * 2) * z1) + ((1 / 2) * PI)))) * <i> is complex Element of COMPLEX
(cos . ((1 / 2) * PI)) + ((- (sin . (((PI * 2) * z1) + ((1 / 2) * PI)))) * <i>) is complex Element of COMPLEX
PI / 2 is complex V29() V30() Element of REAL
sin . (PI / 2) is complex V29() V30() Element of REAL
- (sin . (PI / 2)) is complex V29() V30() Element of REAL
(- (sin . (PI / 2))) * <i> is complex Element of COMPLEX
z1 is complex Element of COMPLEX
() /. z1 is complex Element of COMPLEX
() . z1 is complex Element of COMPLEX
z2 is natural complex V29() V30() V33() V34() V57() V58() V59() V60() V61() V62() Element of NAT
2 * z2 is natural complex V29() V30() V33() V34() V57() V58() V59() V60() V61() V62() Element of NAT
(2 * z2) * PI is complex V29() V30() Element of REAL
z1 + ((2 * z2) * PI) is complex Element of COMPLEX
() /. (z1 + ((2 * z2) * PI)) is complex Element of COMPLEX
() . (z1 + ((2 * z2) * PI)) is complex Element of COMPLEX
<i> * z1 is complex Element of COMPLEX
<i> * ((2 * z2) * PI) is complex Element of COMPLEX
(<i> * z1) + (<i> * ((2 * z2) * PI)) is complex Element of COMPLEX
exp ((<i> * z1) + (<i> * ((2 * z2) * PI))) is complex Element of COMPLEX
<i> * (z1 + ((2 * z2) * PI)) is complex Element of COMPLEX
- (<i> * (z1 + ((2 * z2) * PI))) is complex Element of COMPLEX
exp (- (<i> * (z1 + ((2 * z2) * PI)))) is complex Element of COMPLEX
(exp ((<i> * z1) + (<i> * ((2 * z2) * PI)))) - (exp (- (<i> * (z1 + ((2 * z2) * PI))))) is complex Element of COMPLEX
((exp ((<i> * z1) + (<i> * ((2 * z2) * PI)))) - (exp (- (<i> * (z1 + ((2 * z2) * PI)))))) / (2 * <i>) is complex Element of COMPLEX
exp (<i> * z1) is complex Element of COMPLEX
(2 * PI) * z2 is complex V29() V30() Element of REAL
((2 * PI) * z2) * <i> is complex Element of COMPLEX
exp (((2 * PI) * z2) * <i>) is complex Element of COMPLEX
(exp (<i> * z1)) * (exp (((2 * PI) * z2) * <i>)) is complex Element of COMPLEX
((exp (<i> * z1)) * (exp (((2 * PI) * z2) * <i>))) - (exp (- (<i> * (z1 + ((2 * z2) * PI))))) is complex Element of COMPLEX
(((exp (<i> * z1)) * (exp (((2 * PI) * z2) * <i>))) - (exp (- (<i> * (z1 + ((2 * z2) * PI)))))) / (2 * <i>) is complex Element of COMPLEX
(exp (<i> * z1)) * 1 is complex Element of COMPLEX
((exp (<i> * z1)) * 1) - (exp (- (<i> * (z1 + ((2 * z2) * PI))))) is complex Element of COMPLEX
(((exp (<i> * z1)) * 1) - (exp (- (<i> * (z1 + ((2 * z2) * PI)))))) / (2 * <i>) is complex Element of COMPLEX
- <i> is complex Element of COMPLEX
(- <i>) * z1 is complex Element of COMPLEX
(- <i>) * ((2 * z2) * PI) is complex Element of COMPLEX
((- <i>) * z1) + ((- <i>) * ((2 * z2) * PI)) is complex Element of COMPLEX
exp (((- <i>) * z1) + ((- <i>) * ((2 * z2) * PI))) is complex Element of COMPLEX
(exp (<i> * z1)) - (exp (((- <i>) * z1) + ((- <i>) * ((2 * z2) * PI)))) is complex Element of COMPLEX
((exp (<i> * z1)) - (exp (((- <i>) * z1) + ((- <i>) * ((2 * z2) * PI))))) / (2 * <i>) is complex Element of COMPLEX
exp ((- <i>) * z1) is complex Element of COMPLEX
- ((2 * PI) * z2) is complex V29() V30() Element of REAL
(- ((2 * PI) * z2)) * <i> is complex Element of COMPLEX
exp ((- ((2 * PI) * z2)) * <i>) is complex Element of COMPLEX
(exp ((- <i>) * z1)) * (exp ((- ((2 * PI) * z2)) * <i>)) is complex Element of COMPLEX
(exp (<i> * z1)) - ((exp ((- <i>) * z1)) * (exp ((- ((2 * PI) * z2)) * <i>))) is complex Element of COMPLEX
((exp (<i> * z1)) - ((exp ((- <i>) * z1)) * (exp ((- ((2 * PI) * z2)) * <i>)))) / (2 * <i>) is complex Element of COMPLEX
(exp ((- <i>) * z1)) * 1 is complex Element of COMPLEX
(exp (<i> * z1)) - ((exp ((- <i>) * z1)) * 1) is complex Element of COMPLEX
((exp (<i> * z1)) - ((exp ((- <i>) * z1)) * 1)) / (2 * <i>) is complex Element of COMPLEX
- (<i> * z1) is complex Element of COMPLEX
exp (- (<i> * z1)) is complex Element of COMPLEX
(exp (<i> * z1)) - (exp (- (<i> * z1))) is complex Element of COMPLEX
((exp (<i> * z1)) - (exp (- (<i> * z1)))) / (2 * <i>) is complex Element of COMPLEX
z1 is complex Element of COMPLEX
() /. z1 is complex Element of COMPLEX
() . z1 is complex Element of COMPLEX
z2 is natural complex V29() V30() V33() V34() V57() V58() V59() V60() V61() V62() Element of NAT
2 * z2 is natural complex V29() V30() V33() V34() V57() V58() V59() V60() V61() V62() Element of NAT
(2 * z2) * PI is complex V29() V30() Element of REAL
z1 + ((2 * z2) * PI) is complex Element of COMPLEX
() /. (z1 + ((2 * z2) * PI)) is complex Element of COMPLEX
() . (z1 + ((2 * z2) * PI)) is complex Element of COMPLEX
<i> * z1 is complex Element of COMPLEX
<i> * ((2 * z2) * PI) is complex Element of COMPLEX
(<i> * z1) + (<i> * ((2 * z2) * PI)) is complex Element of COMPLEX
exp ((<i> * z1) + (<i> * ((2 * z2) * PI))) is complex Element of COMPLEX
<i> * (z1 + ((2 * z2) * PI)) is complex Element of COMPLEX
- (<i> * (z1 + ((2 * z2) * PI))) is complex Element of COMPLEX
exp (- (<i> * (z1 + ((2 * z2) * PI)))) is complex Element of COMPLEX
(exp ((<i> * z1) + (<i> * ((2 * z2) * PI)))) + (exp (- (<i> * (z1 + ((2 * z2) * PI))))) is complex Element of COMPLEX
((exp ((<i> * z1) + (<i> * ((2 * z2) * PI)))) + (exp (- (<i> * (z1 + ((2 * z2) * PI)))))) / 2 is complex Element of COMPLEX
exp (<i> * z1) is complex Element of COMPLEX
(2 * PI) * z2 is complex V29() V30() Element of REAL
((2 * PI) * z2) * <i> is complex Element of COMPLEX
exp (((2 * PI) * z2) * <i>) is complex Element of COMPLEX
(exp (<i> * z1)) * (exp (((2 * PI) * z2) * <i>)) is complex Element of COMPLEX
((exp (<i> * z1)) * (exp (((2 * PI) * z2) * <i>))) + (exp (- (<i> * (z1 + ((2 * z2) * PI))))) is complex Element of COMPLEX
(((exp (<i> * z1)) * (exp (((2 * PI) * z2) * <i>))) + (exp (- (<i> * (z1 + ((2 * z2) * PI)))))) / 2 is complex Element of COMPLEX
(exp (<i> * z1)) * 1 is complex Element of COMPLEX
((exp (<i> * z1)) * 1) + (exp (- (<i> * (z1 + ((2 * z2) * PI))))) is complex Element of COMPLEX
(((exp (<i> * z1)) * 1) + (exp (- (<i> * (z1 + ((2 * z2) * PI)))))) / 2 is complex Element of COMPLEX
- <i> is complex Element of COMPLEX
(- <i>) * z1 is complex Element of COMPLEX
(- <i>) * ((2 * z2) * PI) is complex Element of COMPLEX
((- <i>) * z1) + ((- <i>) * ((2 * z2) * PI)) is complex Element of COMPLEX
exp (((- <i>) * z1) + ((- <i>) * ((2 * z2) * PI))) is complex Element of COMPLEX
(exp (<i> * z1)) + (exp (((- <i>) * z1) + ((- <i>) * ((2 * z2) * PI)))) is complex Element of COMPLEX
((exp (<i> * z1)) + (exp (((- <i>) * z1) + ((- <i>) * ((2 * z2) * PI))))) / 2 is complex Element of COMPLEX
exp ((- <i>) * z1) is complex Element of COMPLEX
- ((2 * PI) * z2) is complex V29() V30() Element of REAL
(- ((2 * PI) * z2)) * <i> is complex Element of COMPLEX
exp ((- ((2 * PI) * z2)) * <i>) is complex Element of COMPLEX
(exp ((- <i>) * z1)) * (exp ((- ((2 * PI) * z2)) * <i>)) is complex Element of COMPLEX
(exp (<i> * z1)) + ((exp ((- <i>) * z1)) * (exp ((- ((2 * PI) * z2)) * <i>))) is complex Element of COMPLEX
((exp (<i> * z1)) + ((exp ((- <i>) * z1)) * (exp ((- ((2 * PI) * z2)) * <i>)))) / 2 is complex Element of COMPLEX
- (<i> * z1) is complex Element of COMPLEX
exp (- (<i> * z1)) is complex Element of COMPLEX
(exp (- (<i> * z1))) * 1 is complex Element of COMPLEX
((exp (<i> * z1)) * 1) + ((exp (- (<i> * z1))) * 1) is complex Element of COMPLEX
(((exp (<i> * z1)) * 1) + ((exp (- (<i> * z1))) * 1)) / 2 is complex Element of COMPLEX
(exp (<i> * z1)) + (exp (- (<i> * z1))) is complex Element of COMPLEX
((exp (<i> * z1)) + (exp (- (<i> * z1)))) / 2 is complex Element of COMPLEX
z1 is complex set
<i> * z1 is complex Element of COMPLEX
exp (<i> * z1) is complex Element of COMPLEX
() /. z1 is complex Element of COMPLEX
() /. z1 is complex Element of COMPLEX
<i> * (() /. z1) is complex Element of COMPLEX
(() /. z1) + (<i> * (() /. z1)) is complex Element of COMPLEX
z2 is complex Element of COMPLEX
() /. z2 is complex Element of COMPLEX
() . z2 is complex Element of COMPLEX
() /. z2 is complex Element of COMPLEX
() . z2 is complex Element of COMPLEX
<i> * (() /. z2) is complex Element of COMPLEX
(() /. z2) + (<i> * (() /. z2)) is complex Element of COMPLEX
<i> * z2 is complex Element of COMPLEX
exp (<i> * z2) is complex Element of COMPLEX
- (<i> * z2) is complex Element of COMPLEX
exp (- (<i> * z2)) is complex Element of COMPLEX
(exp (<i> * z2)) + (exp (- (<i> * z2))) is complex Element of COMPLEX
((exp (<i> * z2)) + (exp (- (<i> * z2)))) / 2 is complex Element of COMPLEX
(((exp (<i> * z2)) + (exp (- (<i> * z2)))) / 2) + (<i> * (() /. z2)) is complex Element of COMPLEX
(exp (<i> * z2)) - (exp (- (<i> * z2))) is complex Element of COMPLEX
((exp (<i> * z2)) - (exp (- (<i> * z2)))) / (2 * <i>) is complex Element of COMPLEX
<i> * (((exp (<i> * z2)) - (exp (- (<i> * z2)))) / (2 * <i>)) is complex Element of COMPLEX
(((exp (<i> * z2)) + (exp (- (<i> * z2)))) / 2) + (<i> * (((exp (<i> * z2)) - (exp (- (<i> * z2)))) / (2 * <i>))) is complex Element of COMPLEX
(exp (- (<i> * z2))) + (exp (<i> * z2)) is complex Element of COMPLEX
((exp (- (<i> * z2))) + (exp (<i> * z2))) - (exp (- (<i> * z2))) is complex Element of COMPLEX
(exp (<i> * z2)) + (((exp (- (<i> * z2))) + (exp (<i> * z2))) - (exp (- (<i> * z2)))) is complex Element of COMPLEX
((exp (<i> * z2)) + (((exp (- (<i> * z2))) + (exp (<i> * z2))) - (exp (- (<i> * z2))))) / 2 is complex Element of COMPLEX
Re (exp (<i> * z2)) is complex V29() V30() Element of REAL
(Re (exp (<i> * z2))) + (Re (exp (<i> * z2))) is complex V29() V30() Element of REAL
Im (exp (<i> * z2)) is complex V29() V30() Element of REAL
(Im (exp (<i> * z2))) + (Im (exp (<i> * z2))) is complex V29() V30() Element of REAL
((Im (exp (<i> * z2))) + (Im (exp (<i> * z2)))) * <i> is complex Element of COMPLEX
((Re (exp (<i> * z2))) + (Re (exp (<i> * z2)))) + (((Im (exp (<i> * z2))) + (Im (exp (<i> * z2)))) * <i>) is complex Element of COMPLEX
(((Re (exp (<i> * z2))) + (Re (exp (<i> * z2)))) + (((Im (exp (<i> * z2))) + (Im (exp (<i> * z2)))) * <i>)) / 2 is complex Element of COMPLEX
2 * (Re (exp (<i> * z2))) is complex V29() V30() Element of REAL
2 * (Im (exp (<i> * z2))) is complex V29() V30() Element of REAL
(2 * (Im (exp (<i> * z2)))) * <i> is complex Element of COMPLEX
(2 * (Re (exp (<i> * z2)))) + ((2 * (Im (exp (<i> * z2)))) * <i>) is complex Element of COMPLEX
((2 * (Re (exp (<i> * z2)))) + ((2 * (Im (exp (<i> * z2)))) * <i>)) / 2 is complex Element of COMPLEX
2 * (exp (<i> * z2)) is complex Element of COMPLEX
Re (2 * (exp (<i> * z2))) is complex V29() V30() Element of REAL
(Re (2 * (exp (<i> * z2)))) + ((2 * (Im (exp (<i> * z2)))) * <i>) is complex Element of COMPLEX
((Re (2 * (exp (<i> * z2)))) + ((2 * (Im (exp (<i> * z2)))) * <i>)) / 2 is complex Element of COMPLEX
Im (2 * (exp (<i> * z2))) is complex V29() V30() Element of REAL
(Im (2 * (exp (<i> * z2)))) * <i> is complex Element of COMPLEX
(Re (2 * (exp (<i> * z2)))) + ((Im (2 * (exp (<i> * z2)))) * <i>) is complex Element of COMPLEX
((Re (2 * (exp (<i> * z2)))) + ((Im (2 * (exp (<i> * z2)))) * <i>)) / 2 is complex Element of COMPLEX
(2 * (exp (<i> * z2))) / 2 is complex Element of COMPLEX
z1 is complex set
<i> * z1 is complex Element of COMPLEX
- (<i> * z1) is complex Element of COMPLEX
exp (- (<i> * z1)) is complex Element of COMPLEX
() /. z1 is complex Element of COMPLEX
() /. z1 is complex Element of COMPLEX
<i> * (() /. z1) is complex Element of COMPLEX
(() /. z1) - (<i> * (() /. z1)) is complex Element of COMPLEX
z2 is complex Element of COMPLEX
() /. z2 is complex Element of COMPLEX
() . z2 is complex Element of COMPLEX
() /. z2 is complex Element of COMPLEX
() . z2 is complex Element of COMPLEX
<i> * (() /. z2) is complex Element of COMPLEX
(() /. z2) - (<i> * (() /. z2)) is complex Element of COMPLEX
<i> * z2 is complex Element of COMPLEX
exp (<i> * z2) is complex Element of COMPLEX
- (<i> * z2) is complex Element of COMPLEX
exp (- (<i> * z2)) is complex Element of COMPLEX
(exp (<i> * z2)) + (exp (- (<i> * z2))) is complex Element of COMPLEX
((exp (<i> * z2)) + (exp (- (<i> * z2)))) / 2 is complex Element of COMPLEX
(((exp (<i> * z2)) + (exp (- (<i> * z2)))) / 2) - (<i> * (() /. z2)) is complex Element of COMPLEX
(exp (<i> * z2)) - (exp (- (<i> * z2))) is complex Element of COMPLEX
((exp (<i> * z2)) - (exp (- (<i> * z2)))) / (2 * <i>) is complex Element of COMPLEX
<i> * (((exp (<i> * z2)) - (exp (- (<i> * z2)))) / (2 * <i>)) is complex Element of COMPLEX
(((exp (<i> * z2)) + (exp (- (<i> * z2)))) / 2) - (<i> * (((exp (<i> * z2)) - (exp (- (<i> * z2)))) / (2 * <i>))) is complex Element of COMPLEX
(exp (- (<i> * z2))) + (exp (- (<i> * z2))) is complex Element of COMPLEX
((exp (- (<i> * z2))) + (exp (- (<i> * z2)))) / 2 is complex Element of COMPLEX
Re (exp (- (<i> * z2))) is complex V29() V30() Element of REAL
(Re (exp (- (<i> * z2)))) + (Re (exp (- (<i> * z2)))) is complex V29() V30() Element of REAL
Im (exp (- (<i> * z2))) is complex V29() V30() Element of REAL
(Im (exp (- (<i> * z2)))) + (Im (exp (- (<i> * z2)))) is complex V29() V30() Element of REAL
((Im (exp (- (<i> * z2)))) + (Im (exp (- (<i> * z2))))) * <i> is complex Element of COMPLEX
((Re (exp (- (<i> * z2)))) + (Re (exp (- (<i> * z2))))) + (((Im (exp (- (<i> * z2)))) + (Im (exp (- (<i> * z2))))) * <i>) is complex Element of COMPLEX
(((Re (exp (- (<i> * z2)))) + (Re (exp (- (<i> * z2))))) + (((Im (exp (- (<i> * z2)))) + (Im (exp (- (<i> * z2))))) * <i>)) / 2 is complex Element of COMPLEX
2 * (Re (exp (- (<i> * z2)))) is complex V29() V30() Element of REAL
2 * (Im (exp (- (<i> * z2)))) is complex V29() V30() Element of REAL
(2 * (Im (exp (- (<i> * z2))))) * <i> is complex Element of COMPLEX
(2 * (Re (exp (- (<i> * z2))))) + ((2 * (Im (exp (- (<i> * z2))))) * <i>) is complex Element of COMPLEX
((2 * (Re (exp (- (<i> * z2))))) + ((2 * (Im (exp (- (<i> * z2))))) * <i>)) / 2 is complex Element of COMPLEX
2 * (exp (- (<i> * z2))) is complex Element of COMPLEX
Re (2 * (exp (- (<i> * z2)))) is complex V29() V30() Element of REAL
(Re (2 * (exp (- (<i> * z2))))) + ((2 * (Im (exp (- (<i> * z2))))) * <i>) is complex Element of COMPLEX
((Re (2 * (exp (- (<i> * z2))))) + ((2 * (Im (exp (- (<i> * z2))))) * <i>)) / 2 is complex Element of COMPLEX
Im (2 * (exp (- (<i> * z2)))) is complex V29() V30() Element of REAL
(Im (2 * (exp (- (<i> * z2))))) * <i> is complex Element of COMPLEX
(Re (2 * (exp (- (<i> * z2))))) + ((Im (2 * (exp (- (<i> * z2))))) * <i>) is complex Element of COMPLEX
((Re (2 * (exp (- (<i> * z2))))) + ((Im (2 * (exp (- (<i> * z2))))) * <i>)) / 2 is complex Element of COMPLEX
(2 * (exp (- (<i> * z2)))) / 2 is complex Element of COMPLEX
z1 is complex V29() V30() Element of REAL
() /. z1 is complex Element of COMPLEX
sin . z1 is complex V29() V30() Element of REAL
z2 is complex Element of COMPLEX
() /. z2 is complex Element of COMPLEX
() . z2 is complex Element of COMPLEX
- 0 is complex V29() V30() V33() V34() Element of INT
z1 * <i> is complex Element of COMPLEX
(- 0) + (z1 * <i>) is complex Element of COMPLEX
exp ((- 0) + (z1 * <i>)) is complex Element of COMPLEX
<i> * z1 is complex Element of COMPLEX
- (<i> * z1) is complex Element of COMPLEX
exp (- (<i> * z1)) is complex Element of COMPLEX
(exp ((- 0) + (z1 * <i>))) - (exp (- (<i> * z1))) is complex Element of COMPLEX
((exp ((- 0) + (z1 * <i>))) - (exp (- (<i> * z1)))) / (2 * <i>) is complex Element of COMPLEX
exp_R . 0 is complex V29() V30() Element of REAL
cos . z1 is complex V29() V30() Element of REAL
(exp_R . 0) * (cos . z1) is complex V29() V30() Element of REAL
(exp_R . 0) * (sin . z1) is complex V29() V30() Element of REAL
((exp_R . 0) * (sin . z1)) * <i> is complex Element of COMPLEX
((exp_R . 0) * (cos . z1)) + (((exp_R . 0) * (sin . z1)) * <i>) is complex Element of COMPLEX
- (z1 * <i>) is complex Element of COMPLEX
exp (- (z1 * <i>)) is complex Element of COMPLEX
(((exp_R . 0) * (cos . z1)) + (((exp_R . 0) * (sin . z1)) * <i>)) - (exp (- (z1 * <i>))) is complex Element of COMPLEX
((((exp_R . 0) * (cos . z1)) + (((exp_R . 0) * (sin . z1)) * <i>)) - (exp (- (z1 * <i>)))) / (2 * <i>) is complex Element of COMPLEX
(exp_R 0) * (cos . z1) is complex V29() V30() Element of REAL
((exp_R 0) * (cos . z1)) + (((exp_R . 0) * (sin . z1)) * <i>) is complex Element of COMPLEX
(((exp_R 0) * (cos . z1)) + (((exp_R . 0) * (sin . z1)) * <i>)) - (exp (- (z1 * <i>))) is complex Element of COMPLEX
((((exp_R 0) * (cos . z1)) + (((exp_R . 0) * (sin . z1)) * <i>)) - (exp (- (z1 * <i>)))) / (2 * <i>) is complex Element of COMPLEX
(exp_R 0) * (sin . z1) is complex V29() V30() Element of REAL
((exp_R 0) * (sin . z1)) * <i> is complex Element of COMPLEX
((exp_R 0) * (cos . z1)) + (((exp_R 0) * (sin . z1)) * <i>) is complex Element of COMPLEX
(((exp_R 0) * (cos . z1)) + (((exp_R 0) * (sin . z1)) * <i>)) - (exp (- (z1 * <i>))) is complex Element of COMPLEX
((((exp_R 0) * (cos . z1)) + (((exp_R 0) * (sin . z1)) * <i>)) - (exp (- (z1 * <i>)))) / (2 * <i>) is complex Element of COMPLEX
(sin . z1) * <i> is complex Element of COMPLEX
(cos . z1) + ((sin . z1) * <i>) is complex Element of COMPLEX
- z1 is complex V29() V30() Element of REAL
(- z1) * <i> is complex Element of COMPLEX
0 + ((- z1) * <i>) is complex Element of COMPLEX
exp (0 + ((- z1) * <i>)) is complex Element of COMPLEX
((cos . z1) + ((sin . z1) * <i>)) - (exp (0 + ((- z1) * <i>))) is complex Element of COMPLEX
(((cos . z1) + ((sin . z1) * <i>)) - (exp (0 + ((- z1) * <i>)))) / (2 * <i>) is complex Element of COMPLEX
cos . (- z1) is complex V29() V30() Element of REAL
(exp_R . 0) * (cos . (- z1)) is complex V29() V30() Element of REAL
sin . (- z1) is complex V29() V30() Element of REAL
(exp_R . 0) * (sin . (- z1)) is complex V29() V30() Element of REAL
((exp_R . 0) * (sin . (- z1))) * <i> is complex Element of COMPLEX
((exp_R . 0) * (cos . (- z1))) + (((exp_R . 0) * (sin . (- z1))) * <i>) is complex Element of COMPLEX
((cos . z1) + ((sin . z1) * <i>)) - (((exp_R . 0) * (cos . (- z1))) + (((exp_R . 0) * (sin . (- z1))) * <i>)) is complex Element of COMPLEX
(((cos . z1) + ((sin . z1) * <i>)) - (((exp_R . 0) * (cos . (- z1))) + (((exp_R . 0) * (sin . (- z1))) * <i>))) / (2 * <i>) is complex Element of COMPLEX
(exp_R 0) * (cos . (- z1)) is complex V29() V30() Element of REAL
((exp_R 0) * (cos . (- z1))) + (((exp_R . 0) * (sin . (- z1))) * <i>) is complex Element of COMPLEX
((cos . z1) + ((sin . z1) * <i>)) - (((exp_R 0) * (cos . (- z1))) + (((exp_R . 0) * (sin . (- z1))) * <i>)) is complex Element of COMPLEX
(((cos . z1) + ((sin . z1) * <i>)) - (((exp_R 0) * (cos . (- z1))) + (((exp_R . 0) * (sin . (- z1))) * <i>))) / (2 * <i>) is complex Element of COMPLEX
1 * (cos . (- z1)) is complex V29() V30() Element of REAL
1 * (sin . (- z1)) is complex V29() V30() Element of REAL
(1 * (sin . (- z1))) * <i> is complex Element of COMPLEX
(1 * (cos . (- z1))) + ((1 * (sin . (- z1))) * <i>) is complex Element of COMPLEX
((cos . z1) + ((sin . z1) * <i>)) - ((1 * (cos . (- z1))) + ((1 * (sin . (- z1))) * <i>)) is complex Element of COMPLEX
(((cos . z1) + ((sin . z1) * <i>)) - ((1 * (cos . (- z1))) + ((1 * (sin . (- z1))) * <i>))) / (2 * <i>) is complex Element of COMPLEX
- (sin . z1) is complex V29() V30() Element of REAL
(- (sin . z1)) * <i> is complex Element of COMPLEX
(cos . (- z1)) + ((- (sin . z1)) * <i>) is complex Element of COMPLEX
((cos . z1) + ((sin . z1) * <i>)) - ((cos . (- z1)) + ((- (sin . z1)) * <i>)) is complex Element of COMPLEX
(((cos . z1) + ((sin . z1) * <i>)) - ((cos . (- z1)) + ((- (sin . z1)) * <i>))) / (2 * <i>) is complex Element of COMPLEX
(cos . z1) + ((- (sin . z1)) * <i>) is complex Element of COMPLEX
((cos . z1) + ((sin . z1) * <i>)) - ((cos . z1) + ((- (sin . z1)) * <i>)) is complex Element of COMPLEX
(((cos . z1) + ((sin . z1) * <i>)) - ((cos . z1) + ((- (sin . z1)) * <i>))) / (2 * <i>) is complex Element of COMPLEX
z1 is complex V29() V30() Element of REAL
() /. z1 is complex Element of COMPLEX
cos . z1 is complex V29() V30() Element of REAL
z2 is complex Element of COMPLEX
() /. z2 is complex Element of COMPLEX
() . z2 is complex Element of COMPLEX
<i> * z1 is complex Element of COMPLEX
0 + (<i> * z1) is complex Element of COMPLEX
exp (0 + (<i> * z1)) is complex Element of COMPLEX
- (<i> * z1) is complex Element of COMPLEX
exp (- (<i> * z1)) is complex Element of COMPLEX
(exp (0 + (<i> * z1))) + (exp (- (<i> * z1))) is complex Element of COMPLEX
((exp (0 + (<i> * z1))) + (exp (- (<i> * z1)))) / 2 is complex Element of COMPLEX
exp_R . 0 is complex V29() V30() Element of REAL
(exp_R . 0) * (cos . z1) is complex V29() V30() Element of REAL
sin . z1 is complex V29() V30() Element of REAL
(exp_R . 0) * (sin . z1) is complex V29() V30() Element of REAL
((exp_R . 0) * (sin . z1)) * <i> is complex Element of COMPLEX
((exp_R . 0) * (cos . z1)) + (((exp_R . 0) * (sin . z1)) * <i>) is complex Element of COMPLEX
(((exp_R . 0) * (cos . z1)) + (((exp_R . 0) * (sin . z1)) * <i>)) + (exp (- (<i> * z1))) is complex Element of COMPLEX
((((exp_R . 0) * (cos . z1)) + (((exp_R . 0) * (sin . z1)) * <i>)) + (exp (- (<i> * z1)))) / 2 is complex Element of COMPLEX
(exp_R 0) * (cos . z1) is complex V29() V30() Element of REAL
((exp_R 0) * (cos . z1)) + (((exp_R . 0) * (sin . z1)) * <i>) is complex Element of COMPLEX
(((exp_R 0) * (cos . z1)) + (((exp_R . 0) * (sin . z1)) * <i>)) + (exp (- (<i> * z1))) is complex Element of COMPLEX
((((exp_R 0) * (cos . z1)) + (((exp_R . 0) * (sin . z1)) * <i>)) + (exp (- (<i> * z1)))) / 2 is complex Element of COMPLEX
1 * (cos . z1) is complex V29() V30() Element of REAL
1 * (sin . z1) is complex V29() V30() Element of REAL
(1 * (sin . z1)) * <i> is complex Element of COMPLEX
(1 * (cos . z1)) + ((1 * (sin . z1)) * <i>) is complex Element of COMPLEX
((1 * (cos . z1)) + ((1 * (sin . z1)) * <i>)) + (exp (- (<i> * z1))) is complex Element of COMPLEX
(((1 * (cos . z1)) + ((1 * (sin . z1)) * <i>)) + (exp (- (<i> * z1)))) / 2 is complex Element of COMPLEX
(sin . z1) * <i> is complex Element of COMPLEX
(cos . z1) + ((sin . z1) * <i>) is complex Element of COMPLEX
- z1 is complex V29() V30() Element of REAL
(- z1) * <i> is complex Element of COMPLEX
0 + ((- z1) * <i>) is complex Element of COMPLEX
exp (0 + ((- z1) * <i>)) is complex Element of COMPLEX
((cos . z1) + ((sin . z1) * <i>)) + (exp (0 + ((- z1) * <i>))) is complex Element of COMPLEX
(((cos . z1) + ((sin . z1) * <i>)) + (exp (0 + ((- z1) * <i>)))) / 2 is complex Element of COMPLEX
cos . (- z1) is complex V29() V30() Element of REAL
(exp_R . 0) * (cos . (- z1)) is complex V29() V30() Element of REAL
sin . (- z1) is complex V29() V30() Element of REAL
(exp_R . 0) * (sin . (- z1)) is complex V29() V30() Element of REAL
((exp_R . 0) * (sin . (- z1))) * <i> is complex Element of COMPLEX
((exp_R . 0) * (cos . (- z1))) + (((exp_R . 0) * (sin . (- z1))) * <i>) is complex Element of COMPLEX
((cos . z1) + ((sin . z1) * <i>)) + (((exp_R . 0) * (cos . (- z1))) + (((exp_R . 0) * (sin . (- z1))) * <i>)) is complex Element of COMPLEX
(((cos . z1) + ((sin . z1) * <i>)) + (((exp_R . 0) * (cos . (- z1))) + (((exp_R . 0) * (sin . (- z1))) * <i>))) / 2 is complex Element of COMPLEX
(exp_R 0) * (cos . (- z1)) is complex V29() V30() Element of REAL
((exp_R 0) * (cos . (- z1))) + (((exp_R . 0) * (sin . (- z1))) * <i>) is complex Element of COMPLEX
((cos . z1) + ((sin . z1) * <i>)) + (((exp_R 0) * (cos . (- z1))) + (((exp_R . 0) * (sin . (- z1))) * <i>)) is complex Element of COMPLEX
(((cos . z1) + ((sin . z1) * <i>)) + (((exp_R 0) * (cos . (- z1))) + (((exp_R . 0) * (sin . (- z1))) * <i>))) / 2 is complex Element of COMPLEX
1 * (cos . (- z1)) is complex V29() V30() Element of REAL
1 * (sin . (- z1)) is complex V29() V30() Element of REAL
(1 * (sin . (- z1))) * <i> is complex Element of COMPLEX
(1 * (cos . (- z1))) + ((1 * (sin . (- z1))) * <i>) is complex Element of COMPLEX
((cos . z1) + ((sin . z1) * <i>)) + ((1 * (cos . (- z1))) + ((1 * (sin . (- z1))) * <i>)) is complex Element of COMPLEX
(((cos . z1) + ((sin . z1) * <i>)) + ((1 * (cos . (- z1))) + ((1 * (sin . (- z1))) * <i>))) / 2 is complex Element of COMPLEX
(1 * (cos . z1)) + ((1 * (sin . (- z1))) * <i>) is complex Element of COMPLEX
((cos . z1) + ((sin . z1) * <i>)) + ((1 * (cos . z1)) + ((1 * (sin . (- z1))) * <i>)) is complex Element of COMPLEX
(((cos . z1) + ((sin . z1) * <i>)) + ((1 * (cos . z1)) + ((1 * (sin . (- z1))) * <i>))) / 2 is complex Element of COMPLEX
- (sin . z1) is complex V29() V30() Element of REAL
(- (sin . z1)) * <i> is complex Element of COMPLEX
(cos . z1) + ((- (sin . z1)) * <i>) is complex Element of COMPLEX
((cos . z1) + ((sin . z1) * <i>)) + ((cos . z1) + ((- (sin . z1)) * <i>)) is complex Element of COMPLEX
(((cos . z1) + ((sin . z1) * <i>)) + ((cos . z1) + ((- (sin . z1)) * <i>))) / 2 is complex Element of COMPLEX
z1 is complex V29() V30() Element of REAL
() /. z1 is complex Element of COMPLEX
sinh . z1 is complex V29() V30() Element of REAL
(sinh . z1) * 2 is complex V29() V30() Element of REAL
exp_R . z1 is complex V29() V30() Element of REAL
- z1 is complex V29() V30() Element of REAL
exp_R . (- z1) is complex V29() V30() Element of REAL
(exp_R . z1) - (exp_R . (- z1)) is complex V29() V30() Element of REAL
((exp_R . z1) - (exp_R . (- z1))) / 2 is complex V29() V30() Element of REAL
2 * (((exp_R . z1) - (exp_R . (- z1))) / 2) is complex V29() V30() Element of REAL
2 / 2 is non zero complex V29() V30() V34() Element of RAT
((exp_R . z1) - (exp_R . (- z1))) / (2 / 2) is complex V29() V30() Element of REAL
z2 is complex Element of COMPLEX
() /. z2 is complex Element of COMPLEX
() . z2 is complex Element of COMPLEX
0 * <i> is complex Element of COMPLEX
z1 + (0 * <i>) is complex Element of COMPLEX
exp (z1 + (0 * <i>)) is complex Element of COMPLEX
- z2 is complex Element of COMPLEX
exp (- z2) is complex Element of COMPLEX
(exp (z1 + (0 * <i>))) - (exp (- z2)) is complex Element of COMPLEX
((exp (z1 + (0 * <i>))) - (exp (- z2))) / 2 is complex Element of COMPLEX
(exp_R . z1) * 1 is complex V29() V30() Element of REAL
(exp_R . z1) * 0 is complex V29() V30() Element of REAL
((exp_R . z1) * 0) * <i> is complex Element of COMPLEX
((exp_R . z1) * 1) + (((exp_R . z1) * 0) * <i>) is complex Element of COMPLEX
(((exp_R . z1) * 1) + (((exp_R . z1) * 0) * <i>)) - (exp (- z2)) is complex Element of COMPLEX
((((exp_R . z1) * 1) + (((exp_R . z1) * 0) * <i>)) - (exp (- z2))) / 2 is complex Element of COMPLEX
(- z1) + (0 * <i>) is complex Element of COMPLEX
exp ((- z1) + (0 * <i>)) is complex Element of COMPLEX
(exp_R . z1) - (exp ((- z1) + (0 * <i>))) is complex Element of COMPLEX
((exp_R . z1) - (exp ((- z1) + (0 * <i>)))) / 2 is complex Element of COMPLEX
(exp_R . (- z1)) * 1 is complex V29() V30() Element of REAL
(exp_R . (- z1)) * 0 is complex V29() V30() Element of REAL
((exp_R . (- z1)) * 0) * <i> is complex Element of COMPLEX
((exp_R . (- z1)) * 1) + (((exp_R . (- z1)) * 0) * <i>) is complex Element of COMPLEX
(exp_R . z1) - (((exp_R . (- z1)) * 1) + (((exp_R . (- z1)) * 0) * <i>)) is complex Element of COMPLEX
((exp_R . z1) - (((exp_R . (- z1)) * 1) + (((exp_R . (- z1)) * 0) * <i>))) / 2 is complex Element of COMPLEX
((sinh . z1) * 2) / 2 is complex V29() V30() Element of REAL
z1 is complex V29() V30() Element of REAL
() /. z1 is complex Element of COMPLEX
cosh . z1 is complex V29() V30() Element of REAL
(cosh . z1) * 2 is complex V29() V30() Element of REAL
exp_R . z1 is complex V29() V30() Element of REAL
- z1 is complex V29() V30() Element of REAL
exp_R . (- z1) is complex V29() V30() Element of REAL
(exp_R . z1) + (exp_R . (- z1)) is complex V29() V30() Element of REAL
((exp_R . z1) + (exp_R . (- z1))) / 2 is complex V29() V30() Element of REAL
2 * (((exp_R . z1) + (exp_R . (- z1))) / 2) is complex V29() V30() Element of REAL
2 / 2 is non zero complex V29() V30() V34() Element of RAT
((exp_R . z1) + (exp_R . (- z1))) / (2 / 2) is complex V29() V30() Element of REAL
z2 is complex Element of COMPLEX
() /. z2 is complex Element of COMPLEX
() . z2 is complex Element of COMPLEX
0 * <i> is complex Element of COMPLEX
z1 + (0 * <i>) is complex Element of COMPLEX
exp (z1 + (0 * <i>)) is complex Element of COMPLEX
- z2 is complex Element of COMPLEX
exp (- z2) is complex Element of COMPLEX
(exp (z1 + (0 * <i>))) + (exp (- z2)) is complex Element of COMPLEX
((exp (z1 + (0 * <i>))) + (exp (- z2))) / 2 is complex Element of COMPLEX
(exp_R . z1) * 1 is complex V29() V30() Element of REAL
(exp_R . z1) * 0 is complex V29() V30() Element of REAL
((exp_R . z1) * 0) * <i> is complex Element of COMPLEX
((exp_R . z1) * 1) + (((exp_R . z1) * 0) * <i>) is complex Element of COMPLEX
(((exp_R . z1) * 1) + (((exp_R . z1) * 0) * <i>)) + (exp (- z2)) is complex Element of COMPLEX
((((exp_R . z1) * 1) + (((exp_R . z1) * 0) * <i>)) + (exp (- z2))) / 2 is complex Element of COMPLEX
(- z1) + (0 * <i>) is complex Element of COMPLEX
exp ((- z1) + (0 * <i>)) is complex Element of COMPLEX
(exp_R . z1) + (exp ((- z1) + (0 * <i>))) is complex Element of COMPLEX
((exp_R . z1) + (exp ((- z1) + (0 * <i>)))) / 2 is complex Element of COMPLEX
(exp_R . (- z1)) * 1 is complex V29() V30() Element of REAL
(exp_R . (- z1)) * 0 is complex V29() V30() Element of REAL
((exp_R . (- z1)) * 0) * <i> is complex Element of COMPLEX
((exp_R . (- z1)) * 1) + (((exp_R . (- z1)) * 0) * <i>) is complex Element of COMPLEX
(exp_R . z1) + (((exp_R . (- z1)) * 1) + (((exp_R . (- z1)) * 0) * <i>)) is complex Element of COMPLEX
((exp_R . z1) + (((exp_R . (- z1)) * 1) + (((exp_R . (- z1)) * 0) * <i>))) / 2 is complex Element of COMPLEX
((cosh . z1) * 2) / 2 is complex V29() V30() Element of REAL
z1 is complex V29() V30() Element of REAL
sin . z1 is complex V29() V30() Element of REAL
cos . z1 is complex V29() V30() Element of REAL
z2 is complex V29() V30() Element of REAL
z2 * <i> is complex Element of COMPLEX
z1 + (z2 * <i>) is complex Element of COMPLEX
() /. (z1 + (z2 * <i>)) is complex Element of COMPLEX
() . (z1 + (z2 * <i>)) is complex Element of COMPLEX
cosh . z2 is complex V29() V30() Element of REAL
(sin . z1) * (cosh . z2) is complex V29() V30() Element of REAL
sinh . z2 is complex V29() V30() Element of REAL
(cos . z1) * (sinh . z2) is complex V29() V30() Element of REAL
((cos . z1) * (sinh . z2)) * <i> is complex Element of COMPLEX
((sin . z1) * (cosh . z2)) + (((cos . z1) * (sinh . z2)) * <i>) is complex Element of COMPLEX
() /. z1 is complex Element of COMPLEX
() /. (z2 * <i>) is complex Element of COMPLEX
() . (z2 * <i>) is complex Element of COMPLEX
(() /. z1) * (() /. (z2 * <i>)) is complex Element of COMPLEX
() /. z1 is complex Element of COMPLEX
() /. (z2 * <i>) is complex Element of COMPLEX
() . (z2 * <i>) is complex Element of COMPLEX
(() /. z1) * (() /. (z2 * <i>)) is complex Element of COMPLEX
((() /. z1) * (() /. (z2 * <i>))) + ((() /. z1) * (() /. (z2 * <i>))) is complex Element of COMPLEX
() /. z2 is complex Element of COMPLEX
(() /. z1) * (() /. z2) is complex Element of COMPLEX
((() /. z1) * (() /. z2)) + ((() /. z1) * (() /. (z2 * <i>))) is complex Element of COMPLEX
() /. z2 is complex Element of COMPLEX
(() /. z2) * <i> is complex Element of COMPLEX
(() /. z1) * ((() /. z2) * <i>) is complex Element of COMPLEX
((() /. z1) * (() /. z2)) + ((() /. z1) * ((() /. z2) * <i>)) is complex Element of COMPLEX
(sin . z1) * (() /. z2) is complex Element of COMPLEX
<i> * (() /. z2) is complex Element of COMPLEX
(() /. z1) * (<i> * (() /. z2)) is complex Element of COMPLEX
((sin . z1) * (() /. z2)) + ((() /. z1) * (<i> * (() /. z2))) is complex Element of COMPLEX
(cos . z1) * (<i> * (() /. z2)) is complex Element of COMPLEX
((sin . z1) * (() /. z2)) + ((cos . z1) * (<i> * (() /. z2))) is complex Element of COMPLEX
<i> * (sinh . z2) is complex Element of COMPLEX
(cos . z1) * (<i> * (sinh . z2)) is complex Element of COMPLEX
((sin . z1) * (() /. z2)) + ((cos . z1) * (<i> * (sinh . z2))) is complex Element of COMPLEX
0 * <i> is complex Element of COMPLEX
((sin . z1) * (cosh . z2)) + (0 * <i>) is complex Element of COMPLEX
0 + (((cos . z1) * (sinh . z2)) * <i>) is complex Element of COMPLEX
(((sin . z1) * (cosh . z2)) + (0 * <i>)) + (0 + (((cos . z1) * (sinh . z2)) * <i>)) is complex Element of COMPLEX
z1 is complex V29() V30() Element of REAL
sin . z1 is complex V29() V30() Element of REAL
cos . z1 is complex V29() V30() Element of REAL
z2 is complex V29() V30() Element of REAL
- z2 is complex V29() V30() Element of REAL
(- z2) * <i> is complex Element of COMPLEX
z1 + ((- z2) * <i>) is complex Element of COMPLEX
() /. (z1 + ((- z2) * <i>)) is complex Element of COMPLEX
() . (z1 + ((- z2) * <i>)) is complex Element of COMPLEX
cosh . z2 is complex V29() V30() Element of REAL
(sin . z1) * (cosh . z2) is complex V29() V30() Element of REAL
sinh . z2 is complex V29() V30() Element of REAL
(cos . z1) * (sinh . z2) is complex V29() V30() Element of REAL
- ((cos . z1) * (sinh . z2)) is complex V29() V30() Element of REAL
(- ((cos . z1) * (sinh . z2))) * <i> is complex Element of COMPLEX
((sin . z1) * (cosh . z2)) + ((- ((cos . z1) * (sinh . z2))) * <i>) is complex Element of COMPLEX
cosh . (- z2) is complex V29() V30() Element of REAL
(sin . z1) * (cosh . (- z2)) is complex V29() V30() Element of REAL
sinh . (- z2) is complex V29() V30() Element of REAL
(cos . z1) * (sinh . (- z2)) is complex V29() V30() Element of REAL
((cos . z1) * (sinh . (- z2))) * <i> is complex Element of COMPLEX
((sin . z1) * (cosh . (- z2))) + (((cos . z1) * (sinh . (- z2))) * <i>) is complex Element of COMPLEX
((sin . z1) * (cosh . z2)) + (((cos . z1) * (sinh . (- z2))) * <i>) is complex Element of COMPLEX
- (sinh . z2) is complex V29() V30() Element of REAL
(cos . z1) * (- (sinh . z2)) is complex V29() V30() Element of REAL
((cos . z1) * (- (sinh . z2))) * <i> is complex Element of COMPLEX
((sin . z1) * (cosh . z2)) + (((cos . z1) * (- (sinh . z2))) * <i>) is complex Element of COMPLEX
z1 is complex V29() V30() Element of REAL
cos . z1 is complex V29() V30() Element of REAL
sin . z1 is complex V29() V30() Element of REAL
z2 is complex V29() V30() Element of REAL
z2 * <i> is complex Element of COMPLEX
z1 + (z2 * <i>) is complex Element of COMPLEX
() /. (z1 + (z2 * <i>)) is complex Element of COMPLEX
() . (z1 + (z2 * <i>)) is complex Element of COMPLEX
cosh . z2 is complex V29() V30() Element of REAL
(cos . z1) * (cosh . z2) is complex V29() V30() Element of REAL
sinh . z2 is complex V29() V30() Element of REAL
(sin . z1) * (sinh . z2) is complex V29() V30() Element of REAL
- ((sin . z1) * (sinh . z2)) is complex V29() V30() Element of REAL
(- ((sin . z1) * (sinh . z2))) * <i> is complex Element of COMPLEX
((cos . z1) * (cosh . z2)) + ((- ((sin . z1) * (sinh . z2))) * <i>) is complex Element of COMPLEX
() /. z1 is complex Element of COMPLEX
<i> * z2 is complex Element of COMPLEX
() /. (<i> * z2) is complex Element of COMPLEX
() . (<i> * z2) is complex Element of COMPLEX
(() /. z1) * (() /. (<i> * z2)) is complex Element of COMPLEX
() /. z1 is complex Element of COMPLEX
() /. (<i> * z2) is complex Element of COMPLEX
() . (<i> * z2) is complex Element of COMPLEX
(() /. z1) * (() /. (<i> * z2)) is complex Element of COMPLEX
((() /. z1) * (() /. (<i> * z2))) - ((() /. z1) * (() /. (<i> * z2))) is complex Element of COMPLEX
() /. z2 is complex Element of COMPLEX
(() /. z2) * <i> is complex Element of COMPLEX
(() /. z1) * ((() /. z2) * <i>) is complex Element of COMPLEX
((() /. z1) * (() /. (<i> * z2))) - ((() /. z1) * ((() /. z2) * <i>)) is complex Element of COMPLEX
() /. z2 is complex Element of COMPLEX
(() /. z1) * (() /. z2) is complex Element of COMPLEX
((() /. z1) * (() /. z2)) - ((() /. z1) * ((() /. z2) * <i>)) is complex Element of COMPLEX
(sin . z1) * ((() /. z2) * <i>) is complex Element of COMPLEX
((() /. z1) * (() /. z2)) - ((sin . z1) * ((() /. z2) * <i>)) is complex Element of COMPLEX
(cos . z1) * (() /. z2) is complex Element of COMPLEX
((cos . z1) * (() /. z2)) - ((sin . z1) * ((() /. z2) * <i>)) is complex Element of COMPLEX
(sinh . z2) * <i> is complex Element of COMPLEX
(sin . z1) * ((sinh . z2) * <i>) is complex Element of COMPLEX
((cos . z1) * (() /. z2)) - ((sin . z1) * ((sinh . z2) * <i>)) is complex Element of COMPLEX
((sin . z1) * (sinh . z2)) * <i> is complex Element of COMPLEX
((cos . z1) * (cosh . z2)) - (((sin . z1) * (sinh . z2)) * <i>) is complex Element of COMPLEX
z1 is complex V29() V30() Element of REAL
cos . z1 is complex V29() V30() Element of REAL
sin . z1 is complex V29() V30() Element of REAL
z2 is complex V29() V30() Element of REAL
- z2 is complex V29() V30() Element of REAL
(- z2) * <i> is complex Element of COMPLEX
z1 + ((- z2) * <i>) is complex Element of COMPLEX
() /. (z1 + ((- z2) * <i>)) is complex Element of COMPLEX
() . (z1 + ((- z2) * <i>)) is complex Element of COMPLEX
cosh . z2 is complex V29() V30() Element of REAL
(cos . z1) * (cosh . z2) is complex V29() V30() Element of REAL
sinh . z2 is complex V29() V30() Element of REAL
(sin . z1) * (sinh . z2) is complex V29() V30() Element of REAL
((sin . z1) * (sinh . z2)) * <i> is complex Element of COMPLEX
((cos . z1) * (cosh . z2)) + (((sin . z1) * (sinh . z2)) * <i>) is complex Element of COMPLEX
cosh . (- z2) is complex V29() V30() Element of REAL
(cos . z1) * (cosh . (- z2)) is complex V29() V30() Element of REAL
sinh . (- z2) is complex V29() V30() Element of REAL
(sin . z1) * (sinh . (- z2)) is complex V29() V30() Element of REAL
- ((sin . z1) * (sinh . (- z2))) is complex V29() V30() Element of REAL
(- ((sin . z1) * (sinh . (- z2)))) * <i> is complex Element of COMPLEX
((cos . z1) * (cosh . (- z2))) + ((- ((sin . z1) * (sinh . (- z2)))) * <i>) is complex Element of COMPLEX
((sin . z1) * (sinh . (- z2))) * <i> is complex Element of COMPLEX
- (((sin . z1) * (sinh . (- z2))) * <i>) is complex Element of COMPLEX
((cos . z1) * (cosh . z2)) + (- (((sin . z1) * (sinh . (- z2))) * <i>)) is complex Element of COMPLEX
- (sinh . z2) is complex V29() V30() Element of REAL
(sin . z1) * (- (sinh . z2)) is complex V29() V30() Element of REAL
((sin . z1) * (- (sinh . z2))) * <i> is complex Element of COMPLEX
- (((sin . z1) * (- (sinh . z2))) * <i>) is complex Element of COMPLEX
((cos . z1) * (cosh . z2)) + (- (((sin . z1) * (- (sinh . z2))) * <i>)) is complex Element of COMPLEX
- (((sin . z1) * (sinh . z2)) * <i>) is complex Element of COMPLEX
- (- (((sin . z1) * (sinh . z2)) * <i>)) is complex Element of COMPLEX
((cos . z1) * (cosh . z2)) + (- (- (((sin . z1) * (sinh . z2)) * <i>))) is complex Element of COMPLEX
z1 is complex V29() V30() Element of REAL
sinh . z1 is complex V29() V30() Element of REAL
cosh . z1 is complex V29() V30() Element of REAL
z2 is complex V29() V30() Element of REAL
z2 * <i> is complex Element of COMPLEX
z1 + (z2 * <i>) is complex Element of COMPLEX
() /. (z1 + (z2 * <i>)) is complex Element of COMPLEX
() . (z1 + (z2 * <i>)) is complex Element of COMPLEX
cos . z2 is complex V29() V30() Element of REAL
(sinh . z1) * (cos . z2) is complex V29() V30() Element of REAL
sin . z2 is complex V29() V30() Element of REAL
(cosh . z1) * (sin . z2) is complex V29() V30() Element of REAL
((cosh . z1) * (sin . z2)) * <i> is complex Element of COMPLEX
((sinh . z1) * (cos . z2)) + (((cosh . z1) * (sin . z2)) * <i>) is complex Element of COMPLEX
- z1 is complex V29() V30() Element of REAL
(- z1) * <i> is complex Element of COMPLEX
z2 + ((- z1) * <i>) is complex Element of COMPLEX
(z2 + ((- z1) * <i>)) * <i> is complex Element of COMPLEX
() /. ((z2 + ((- z1) * <i>)) * <i>) is complex Element of COMPLEX
() . ((z2 + ((- z1) * <i>)) * <i>) is complex Element of COMPLEX
() /. (z2 + ((- z1) * <i>)) is complex Element of COMPLEX
() . (z2 + ((- z1) * <i>)) is complex Element of COMPLEX
<i> * (() /. (z2 + ((- z1) * <i>))) is complex Element of COMPLEX
(sin . z2) * (cosh . z1) is complex V29() V30() Element of REAL
(cos . z2) * (sinh . z1) is complex V29() V30() Element of REAL
- ((cos . z2) * (sinh . z1)) is complex V29() V30() Element of REAL
(- ((cos . z2) * (sinh . z1))) * <i> is complex Element of COMPLEX
((sin . z2) * (cosh . z1)) + ((- ((cos . z2) * (sinh . z1))) * <i>) is complex Element of COMPLEX
<i> * (((sin . z2) * (cosh . z1)) + ((- ((cos . z2) * (sinh . z1))) * <i>)) is complex Element of COMPLEX
- ((sinh . z1) * (cos . z2)) is complex V29() V30() Element of REAL
- (- ((sinh . z1) * (cos . z2))) is complex V29() V30() Element of REAL
(- (- ((sinh . z1) * (cos . z2)))) + (((cosh . z1) * (sin . z2)) * <i>) is complex Element of COMPLEX
z1 is complex V29() V30() Element of REAL
sinh . z1 is complex V29() V30() Element of REAL
cosh . z1 is complex V29() V30() Element of REAL
z2 is complex V29() V30() Element of REAL
- z2 is complex V29() V30() Element of REAL
(- z2) * <i> is complex Element of COMPLEX
z1 + ((- z2) * <i>) is complex Element of COMPLEX
() /. (z1 + ((- z2) * <i>)) is complex Element of COMPLEX
() . (z1 + ((- z2) * <i>)) is complex Element of COMPLEX
cos . z2 is complex V29() V30() Element of REAL
(sinh . z1) * (cos . z2) is complex V29() V30() Element of REAL
sin . z2 is complex V29() V30() Element of REAL
(cosh . z1) * (sin . z2) is complex V29() V30() Element of REAL
- ((cosh . z1) * (sin . z2)) is complex V29() V30() Element of REAL
(- ((cosh . z1) * (sin . z2))) * <i> is complex Element of COMPLEX
((sinh . z1) * (cos . z2)) + ((- ((cosh . z1) * (sin . z2))) * <i>) is complex Element of COMPLEX
cos . (- z2) is complex V29() V30() Element of REAL
(sinh . z1) * (cos . (- z2)) is complex V29() V30() Element of REAL
sin . (- z2) is complex V29() V30() Element of REAL
(cosh . z1) * (sin . (- z2)) is complex V29() V30() Element of REAL
((cosh . z1) * (sin . (- z2))) * <i> is complex Element of COMPLEX
((sinh . z1) * (cos . (- z2))) + (((cosh . z1) * (sin . (- z2))) * <i>) is complex Element of COMPLEX
((sinh . z1) * (cos . z2)) + (((cosh . z1) * (sin . (- z2))) * <i>) is complex Element of COMPLEX
- (sin . z2) is complex V29() V30() Element of REAL
(cosh . z1) * (- (sin . z2)) is complex V29() V30() Element of REAL
((cosh . z1) * (- (sin . z2))) * <i> is complex Element of COMPLEX
((sinh . z1) * (cos . z2)) + (((cosh . z1) * (- (sin . z2))) * <i>) is complex Element of COMPLEX
z1 is complex V29() V30() Element of REAL
cosh . z1 is complex V29() V30() Element of REAL
sinh . z1 is complex V29() V30() Element of REAL
z2 is complex V29() V30() Element of REAL
z2 * <i> is complex Element of COMPLEX
z1 + (z2 * <i>) is complex Element of COMPLEX
() /. (z1 + (z2 * <i>)) is complex Element of COMPLEX
() . (z1 + (z2 * <i>)) is complex Element of COMPLEX
cos . z2 is complex V29() V30() Element of REAL
(cosh . z1) * (cos . z2) is complex V29() V30() Element of REAL
sin . z2 is complex V29() V30() Element of REAL
(sinh . z1) * (sin . z2) is complex V29() V30() Element of REAL
((sinh . z1) * (sin . z2)) * <i> is complex Element of COMPLEX
((cosh . z1) * (cos . z2)) + (((sinh . z1) * (sin . z2)) * <i>) is complex Element of COMPLEX
- z1 is complex V29() V30() Element of REAL
(- z1) * <i> is complex Element of COMPLEX
z2 + ((- z1) * <i>) is complex Element of COMPLEX
<i> * (z2 + ((- z1) * <i>)) is complex Element of COMPLEX
() /. (<i> * (z2 + ((- z1) * <i>))) is complex Element of COMPLEX
() . (<i> * (z2 + ((- z1) * <i>))) is complex Element of COMPLEX
() /. (z2 + ((- z1) * <i>)) is complex Element of COMPLEX
() . (z2 + ((- z1) * <i>)) is complex Element of COMPLEX
z1 is complex V29() V30() Element of REAL
cosh . z1 is complex V29() V30() Element of REAL
sinh . z1 is complex V29() V30() Element of REAL
z2 is complex V29() V30() Element of REAL
- z2 is complex V29() V30() Element of REAL
(- z2) * <i> is complex Element of COMPLEX
z1 + ((- z2) * <i>) is complex Element of COMPLEX
() /. (z1 + ((- z2) * <i>)) is complex Element of COMPLEX
() . (z1 + ((- z2) * <i>)) is complex Element of COMPLEX
cos . z2 is complex V29() V30() Element of REAL
(cosh . z1) * (cos . z2) is complex V29() V30() Element of REAL
sin . z2 is complex V29() V30() Element of REAL
(sinh . z1) * (sin . z2) is complex V29() V30() Element of REAL
- ((sinh . z1) * (sin . z2)) is complex V29() V30() Element of REAL
(- ((sinh . z1) * (sin . z2))) * <i> is complex Element of COMPLEX
((cosh . z1) * (cos . z2)) + ((- ((sinh . z1) * (sin . z2))) * <i>) is complex Element of COMPLEX
cos . (- z2) is complex V29() V30() Element of REAL
(cosh . z1) * (cos . (- z2)) is complex V29() V30() Element of REAL
sin . (- z2) is complex V29() V30() Element of REAL
(sinh . z1) * (sin . (- z2)) is complex V29() V30() Element of REAL
((sinh . z1) * (sin . (- z2))) * <i> is complex Element of COMPLEX
((cosh . z1) * (cos . (- z2))) + (((sinh . z1) * (sin . (- z2))) * <i>) is complex Element of COMPLEX
((cosh . z1) * (cos . z2)) + (((sinh . z1) * (sin . (- z2))) * <i>) is complex Element of COMPLEX
- (sin . z2) is complex V29() V30() Element of REAL
(sinh . z1) * (- (sin . z2)) is complex V29() V30() Element of REAL
((sinh . z1) * (- (sin . z2))) * <i> is complex Element of COMPLEX
((cosh . z1) * (cos . z2)) + (((sinh . z1) * (- (sin . z2))) * <i>) is complex Element of COMPLEX
z1 is natural complex V29() V30() V33() V34() V57() V58() V59() V60() V61() V62() Element of NAT
z1 + 1 is natural complex V29() V30() V33() V34() V57() V58() V59() V60() V61() V62() Element of NAT
z2 is complex Element of COMPLEX
() /. z2 is complex Element of COMPLEX
() . z2 is complex Element of COMPLEX
() /. z2 is complex Element of COMPLEX
() . z2 is complex Element of COMPLEX
<i> * (() /. z2) is complex Element of COMPLEX
(() /. z2) + (<i> * (() /. z2)) is complex Element of COMPLEX
((() /. z2) + (<i> * (() /. z2))) #N (z1 + 1) is complex Element of COMPLEX
(z1 + 1) * z2 is complex Element of COMPLEX
() /. ((z1 + 1) * z2) is complex Element of COMPLEX
() . ((z1 + 1) * z2) is complex Element of COMPLEX
() /. ((z1 + 1) * z2) is complex Element of COMPLEX
() . ((z1 + 1) * z2) is complex Element of COMPLEX
<i> * (() /. ((z1 + 1) * z2)) is complex Element of COMPLEX
(() /. ((z1 + 1) * z2)) + (<i> * (() /. ((z1 + 1) * z2))) is complex Element of COMPLEX
z1 * z2 is complex Element of COMPLEX
() /. (z1 * z2) is complex Element of COMPLEX
() . (z1 * z2) is complex Element of COMPLEX
() /. (z1 * z2) is complex Element of COMPLEX
() . (z1 * z2) is complex Element of COMPLEX
((() /. z2) + (<i> * (() /. z2))) GeoSeq is V1() V4( NAT ) V5( COMPLEX ) V6() total V18( NAT , COMPLEX ) Element of K19(K20(NAT,COMPLEX))
(((() /. z2) + (<i> * (() /. z2))) GeoSeq) . (z1 + 1) is complex Element of COMPLEX
(((() /. z2) + (<i> * (() /. z2))) GeoSeq) . z1 is complex Element of COMPLEX
((((() /. z2) + (<i> * (() /. z2))) GeoSeq) . z1) * ((() /. z2) + (<i> * (() /. z2))) is complex Element of COMPLEX
((() /. z2) + (<i> * (() /. z2))) #N z1 is complex Element of COMPLEX
(((() /. z2) + (<i> * (() /. z2))) #N z1) * ((() /. z2) + (<i> * (() /. z2))) is complex Element of COMPLEX
<i> * (() /. (z1 * z2)) is complex Element of COMPLEX
(() /. (z1 * z2)) + (<i> * (() /. (z1 * z2))) is complex Element of COMPLEX
((() /. (z1 * z2)) + (<i> * (() /. (z1 * z2)))) * ((() /. z2) + (<i> * (() /. z2))) is complex Element of COMPLEX
(() /. (z1 * z2)) * (() /. z2) is complex Element of COMPLEX
(<i> * (() /. (z1 * z2))) * (() /. z2) is complex Element of COMPLEX
((() /. (z1 * z2)) * (() /. z2)) + ((<i> * (() /. (z1 * z2))) * (() /. z2)) is complex Element of COMPLEX
<i> * (() /. (z1 * z2)) is complex Element of COMPLEX
(<i> * (() /. (z1 * z2))) * (() /. z2) is complex Element of COMPLEX
(() /. (z1 * z2)) * (() /. z2) is complex Element of COMPLEX
- ((() /. (z1 * z2)) * (() /. z2)) is complex Element of COMPLEX
((<i> * (() /. (z1 * z2))) * (() /. z2)) + (- ((() /. (z1 * z2)) * (() /. z2))) is complex Element of COMPLEX
(((() /. (z1 * z2)) * (() /. z2)) + ((<i> * (() /. (z1 * z2))) * (() /. z2))) + (((<i> * (() /. (z1 * z2))) * (() /. z2)) + (- ((() /. (z1 * z2)) * (() /. z2)))) is complex Element of COMPLEX
1 * z2 is complex Element of COMPLEX
(z1 * z2) + (1 * z2) is complex Element of COMPLEX
() /. ((z1 * z2) + (1 * z2)) is complex Element of COMPLEX
() . ((z1 * z2) + (1 * z2)) is complex Element of COMPLEX
() /. (1 * z2) is complex Element of COMPLEX
() . (1 * z2) is complex Element of COMPLEX
(() /. (z1 * z2)) * (() /. (1 * z2)) is complex Element of COMPLEX
() /. (1 * z2) is complex Element of COMPLEX
() . (1 * z2) is complex Element of COMPLEX
(() /. (z1 * z2)) * (() /. (1 * z2)) is complex Element of COMPLEX
((() /. (z1 * z2)) * (() /. (1 * z2))) + ((() /. (z1 * z2)) * (() /. (1 * z2))) is complex Element of COMPLEX
<i> * (((() /. (z1 * z2)) * (() /. (1 * z2))) + ((() /. (z1 * z2)) * (() /. (1 * z2)))) is complex Element of COMPLEX
(() /. ((z1 * z2) + (1 * z2))) + (<i> * (((() /. (z1 * z2)) * (() /. (1 * z2))) + ((() /. (z1 * z2)) * (() /. (1 * z2))))) is complex Element of COMPLEX
((() /. (z1 * z2)) * (() /. z2)) - ((() /. (z1 * z2)) * (() /. z2)) is complex Element of COMPLEX
(() /. (z1 * z2)) * (() /. z2) is complex Element of COMPLEX
(() /. (z1 * z2)) * (() /. z2) is complex Element of COMPLEX
((() /. (z1 * z2)) * (() /. z2)) + ((() /. (z1 * z2)) * (() /. z2)) is complex Element of COMPLEX
<i> * (((() /. (z1 * z2)) * (() /. z2)) + ((() /. (z1 * z2)) * (() /. z2))) is complex Element of COMPLEX
(((() /. (z1 * z2)) * (() /. z2)) - ((() /. (z1 * z2)) * (() /. z2))) + (<i> * (((() /. (z1 * z2)) * (() /. z2)) + ((() /. (z1 * z2)) * (() /. z2)))) is complex Element of COMPLEX
((<i> * (() /. (z1 * z2))) * (() /. z2)) + (((<i> * (() /. (z1 * z2))) * (() /. z2)) + (- ((() /. (z1 * z2)) * (() /. z2)))) is complex Element of COMPLEX
((() /. (z1 * z2)) * (() /. z2)) + (((<i> * (() /. (z1 * z2))) * (() /. z2)) + (((<i> * (() /. (z1 * z2))) * (() /. z2)) + (- ((() /. (z1 * z2)) * (() /. z2))))) is complex Element of COMPLEX
z2 is complex Element of COMPLEX
() /. z2 is complex Element of COMPLEX
() . z2 is complex Element of COMPLEX
() /. z2 is complex Element of COMPLEX
() . z2 is complex Element of COMPLEX
<i> * (() /. z2) is complex Element of COMPLEX
(() /. z2) + (<i> * (() /. z2)) is complex Element of COMPLEX
((() /. z2) + (<i> * (() /. z2))) #N (z1 + 1) is complex Element of COMPLEX
(z1 + 1) * z2 is complex Element of COMPLEX
() /. ((z1 + 1) * z2) is complex Element of COMPLEX
() . ((z1 + 1) * z2) is complex Element of COMPLEX
() /. ((z1 + 1) * z2) is complex Element of COMPLEX
() . ((z1 + 1) * z2) is complex Element of COMPLEX
<i> * (() /. ((z1 + 1) * z2)) is complex Element of COMPLEX
(() /. ((z1 + 1) * z2)) + (<i> * (() /. ((z1 + 1) * z2))) is complex Element of COMPLEX
z1 is complex Element of COMPLEX
() /. z1 is complex Element of COMPLEX
() . z1 is complex Element of COMPLEX
() /. z1 is complex Element of COMPLEX
() . z1 is complex Element of COMPLEX
<i> * (() /. z1) is complex Element of COMPLEX
(() /. z1) + (<i> * (() /. z1)) is complex Element of COMPLEX
((() /. z1) + (<i> * (() /. z1))) #N 0 is complex Element of COMPLEX
0 * z1 is complex Element of COMPLEX
() /. (0 * z1) is complex Element of COMPLEX
() . (0 * z1) is complex Element of COMPLEX
() /. (0 * z1) is complex Element of COMPLEX
() . (0 * z1) is complex Element of COMPLEX
<i> * (() /. (0 * z1)) is complex Element of COMPLEX
(() /. (0 * z1)) + (<i> * (() /. (0 * z1))) is complex Element of COMPLEX
z2 is complex Element of COMPLEX
() /. z2 is complex Element of COMPLEX
() . z2 is complex Element of COMPLEX
() /. z2 is complex Element of COMPLEX
() . z2 is complex Element of COMPLEX
<i> * (() /. z2) is complex Element of COMPLEX
(() /. z2) + (<i> * (() /. z2)) is complex Element of COMPLEX
z1 is natural complex V29() V30() V33() V34() V57() V58() V59() V60() V61() V62() Element of NAT
((() /. z2) + (<i> * (() /. z2))) #N z1 is complex Element of COMPLEX
z1 * z2 is complex Element of COMPLEX
() /. (z1 * z2) is complex Element of COMPLEX
() . (z1 * z2) is complex Element of COMPLEX
() /. (z1 * z2) is complex Element of COMPLEX
() . (z1 * z2) is complex Element of COMPLEX
<i> * (() /. (z1 * z2)) is complex Element of COMPLEX
(() /. (z1 * z2)) + (<i> * (() /. (z1 * z2))) is complex Element of COMPLEX
z1 is natural complex V29() V30() V33() V34() V57() V58() V59() V60() V61() V62() Element of NAT
z2 is complex Element of COMPLEX
() /. z2 is complex Element of COMPLEX
() . z2 is complex Element of COMPLEX
() /. z2 is complex Element of COMPLEX
() . z2 is complex Element of COMPLEX
<i> * (() /. z2) is complex Element of COMPLEX
(() /. z2) - (<i> * (() /. z2)) is complex Element of COMPLEX
((() /. z2) - (<i> * (() /. z2))) #N z1 is complex Element of COMPLEX
z1 * z2 is complex Element of COMPLEX
() /. (z1 * z2) is complex Element of COMPLEX
() . (z1 * z2) is complex Element of COMPLEX
() /. (z1 * z2) is complex Element of COMPLEX
() . (z1 * z2) is complex Element of COMPLEX
<i> * (() /. (z1 * z2)) is complex Element of COMPLEX
(() /. (z1 * z2)) - (<i> * (() /. (z1 * z2))) is complex Element of COMPLEX
- (() /. z2) is complex Element of COMPLEX
<i> * (- (() /. z2)) is complex Element of COMPLEX
(() /. z2) + (<i> * (- (() /. z2))) is complex Element of COMPLEX
((() /. z2) + (<i> * (- (() /. z2)))) #N z1 is complex Element of COMPLEX
- z2 is complex Element of COMPLEX
() /. (- z2) is complex Element of COMPLEX
() . (- z2) is complex Element of COMPLEX
<i> * (() /. (- z2)) is complex Element of COMPLEX
(() /. z2) + (<i> * (() /. (- z2))) is complex Element of COMPLEX
((() /. z2) + (<i> * (() /. (- z2)))) #N z1 is complex Element of COMPLEX
() /. (- z2) is complex Element of COMPLEX
() . (- z2) is complex Element of COMPLEX
(() /. (- z2)) + (<i> * (() /. (- z2))) is complex Element of COMPLEX
((() /. (- z2)) + (<i> * (() /. (- z2)))) #N z1 is complex Element of COMPLEX
- (z1 * z2) is complex Element of COMPLEX
() /. (- (z1 * z2)) is complex Element of COMPLEX
() . (- (z1 * z2)) is complex Element of COMPLEX
z1 * (- z2) is complex Element of COMPLEX
() /. (z1 * (- z2)) is complex Element of COMPLEX
() . (z1 * (- z2)) is complex Element of COMPLEX
<i> * (() /. (z1 * (- z2))) is complex Element of COMPLEX
(() /. (- (z1 * z2))) + (<i> * (() /. (z1 * (- z2)))) is complex Element of COMPLEX
() /. (- (z1 * z2)) is complex Element of COMPLEX
() . (- (z1 * z2)) is complex Element of COMPLEX
<i> * (() /. (- (z1 * z2))) is complex Element of COMPLEX
(() /. (z1 * z2)) + (<i> * (() /. (- (z1 * z2)))) is complex Element of COMPLEX
- (() /. (z1 * z2)) is complex Element of COMPLEX
<i> * (- (() /. (z1 * z2))) is complex Element of COMPLEX
(() /. (z1 * z2)) + (<i> * (- (() /. (z1 * z2)))) is complex Element of COMPLEX
- (<i> * (() /. (z1 * z2))) is complex Element of COMPLEX
(() /. (z1 * z2)) + (- (<i> * (() /. (z1 * z2)))) is complex Element of COMPLEX
z1 is natural complex V29() V30() V33() V34() V57() V58() V59() V60() V61() V62() Element of NAT
<i> * z1 is complex Element of COMPLEX
z2 is complex Element of COMPLEX
(<i> * z1) * z2 is complex Element of COMPLEX
exp ((<i> * z1) * z2) is complex Element of COMPLEX
() /. z2 is complex Element of COMPLEX
() . z2 is complex Element of COMPLEX
() /. z2 is complex Element of COMPLEX
() . z2 is complex Element of COMPLEX
<i> * (() /. z2) is complex Element of COMPLEX
(() /. z2) + (<i> * (() /. z2)) is complex Element of COMPLEX
((() /. z2) + (<i> * (() /. z2))) #N z1 is complex Element of COMPLEX
z1 * z2 is complex Element of COMPLEX
<i> * (z1 * z2) is complex Element of COMPLEX
exp (<i> * (z1 * z2)) is complex Element of COMPLEX
() /. (z1 * z2) is complex Element of COMPLEX
() . (z1 * z2) is complex Element of COMPLEX
() /. (z1 * z2) is complex Element of COMPLEX
() . (z1 * z2) is complex Element of COMPLEX
<i> * (() /. (z1 * z2)) is complex Element of COMPLEX
(() /. (z1 * z2)) + (<i> * (() /. (z1 * z2))) is complex Element of COMPLEX
z1 is natural complex V29() V30() V33() V34() V57() V58() V59() V60() V61() V62() Element of NAT
<i> * z1 is complex Element of COMPLEX
z2 is complex Element of COMPLEX
(<i> * z1) * z2 is complex Element of COMPLEX
- ((<i> * z1) * z2) is complex Element of COMPLEX
exp (- ((<i> * z1) * z2)) is complex Element of COMPLEX
() /. z2 is complex Element of COMPLEX
() . z2 is complex Element of COMPLEX
() /. z2 is complex Element of COMPLEX
() . z2 is complex Element of COMPLEX
<i> * (() /. z2) is complex Element of COMPLEX
(() /. z2) - (<i> * (() /. z2)) is complex Element of COMPLEX
((() /. z2) - (<i> * (() /. z2))) #N z1 is complex Element of COMPLEX
z1 * z2 is complex Element of COMPLEX
<i> * (z1 * z2) is complex Element of COMPLEX
- (<i> * (z1 * z2)) is complex Element of COMPLEX
exp (- (<i> * (z1 * z2))) is complex Element of COMPLEX
() /. (z1 * z2) is complex Element of COMPLEX
() . (z1 * z2) is complex Element of COMPLEX
() /. (z1 * z2) is complex Element of COMPLEX
() . (z1 * z2) is complex Element of COMPLEX
<i> * (() /. (z1 * z2)) is complex Element of COMPLEX
(() /. (z1 * z2)) - (<i> * (() /. (z1 * z2))) is complex Element of COMPLEX
(- 1) * <i> is complex Element of COMPLEX
1 + ((- 1) * <i>) is complex Element of COMPLEX
(1 + ((- 1) * <i>)) / 2 is complex Element of COMPLEX
1 + <i> is complex Element of COMPLEX
(1 + <i>) / 2 is complex Element of COMPLEX
z1 is complex V29() V30() Element of REAL
z2 is complex V29() V30() Element of REAL
z2 * <i> is complex Element of COMPLEX
z1 + (z2 * <i>) is complex Element of COMPLEX
() /. (z1 + (z2 * <i>)) is complex Element of COMPLEX
() . (z1 + (z2 * <i>)) is complex Element of COMPLEX
((1 + ((- 1) * <i>)) / 2) * (() /. (z1 + (z2 * <i>))) is complex Element of COMPLEX
- z2 is complex V29() V30() Element of REAL
(- z2) * <i> is complex Element of COMPLEX
z1 + ((- z2) * <i>) is complex Element of COMPLEX
() /. (z1 + ((- z2) * <i>)) is complex Element of COMPLEX
() . (z1 + ((- z2) * <i>)) is complex Element of COMPLEX
((1 + <i>) / 2) * (() /. (z1 + ((- z2) * <i>))) is complex Element of COMPLEX
(((1 + ((- 1) * <i>)) / 2) * (() /. (z1 + (z2 * <i>)))) + (((1 + <i>) / 2) * (() /. (z1 + ((- z2) * <i>)))) is complex Element of COMPLEX
sinh . z1 is complex V29() V30() Element of REAL
cos . z2 is complex V29() V30() Element of REAL
(sinh . z1) * (cos . z2) is complex V29() V30() Element of REAL
cosh . z1 is complex V29() V30() Element of REAL
sin . z2 is complex V29() V30() Element of REAL
(cosh . z1) * (sin . z2) is complex V29() V30() Element of REAL
((sinh . z1) * (cos . z2)) + ((cosh . z1) * (sin . z2)) is complex V29() V30() Element of REAL
((cosh . z1) * (sin . z2)) * <i> is complex Element of COMPLEX
((sinh . z1) * (cos . z2)) + (((cosh . z1) * (sin . z2)) * <i>) is complex Element of COMPLEX
((1 + ((- 1) * <i>)) / 2) * (((sinh . z1) * (cos . z2)) + (((cosh . z1) * (sin . z2)) * <i>)) is complex Element of COMPLEX
(((1 + ((- 1) * <i>)) / 2) * (((sinh . z1) * (cos . z2)) + (((cosh . z1) * (sin . z2)) * <i>))) + (((1 + <i>) / 2) * (() /. (z1 + ((- z2) * <i>)))) is complex Element of COMPLEX
- ((cosh . z1) * (sin . z2)) is complex V29() V30() Element of REAL
(- ((cosh . z1) * (sin . z2))) * <i> is complex Element of COMPLEX
((sinh . z1) * (cos . z2)) + ((- ((cosh . z1) * (sin . z2))) * <i>) is complex Element of COMPLEX
((1 + <i>) / 2) * (((sinh . z1) * (cos . z2)) + ((- ((cosh . z1) * (sin . z2))) * <i>)) is complex Element of COMPLEX
(((1 + ((- 1) * <i>)) / 2) * (((sinh . z1) * (cos . z2)) + (((cosh . z1) * (sin . z2)) * <i>))) + (((1 + <i>) / 2) * (((sinh . z1) * (cos . z2)) + ((- ((cosh . z1) * (sin . z2))) * <i>))) is complex Element of COMPLEX
0 * <i> is complex Element of COMPLEX
(((sinh . z1) * (cos . z2)) + ((cosh . z1) * (sin . z2))) + (0 * <i>) is complex Element of COMPLEX
2 * ((((sinh . z1) * (cos . z2)) + ((cosh . z1) * (sin . z2))) + (0 * <i>)) is complex Element of COMPLEX
(2 * ((((sinh . z1) * (cos . z2)) + ((cosh . z1) * (sin . z2))) + (0 * <i>))) / 2 is complex Element of COMPLEX
z1 is complex V29() V30() Element of REAL
z2 is complex V29() V30() Element of REAL
z2 * <i> is complex Element of COMPLEX
z1 + (z2 * <i>) is complex Element of COMPLEX
() /. (z1 + (z2 * <i>)) is complex Element of COMPLEX
() . (z1 + (z2 * <i>)) is complex Element of COMPLEX
((1 + ((- 1) * <i>)) / 2) * (() /. (z1 + (z2 * <i>))) is complex Element of COMPLEX
- z2 is complex V29() V30() Element of REAL
(- z2) * <i> is complex Element of COMPLEX
z1 + ((- z2) * <i>) is complex Element of COMPLEX
() /. (z1 + ((- z2) * <i>)) is complex Element of COMPLEX
() . (z1 + ((- z2) * <i>)) is complex Element of COMPLEX
((1 + <i>) / 2) * (() /. (z1 + ((- z2) * <i>))) is complex Element of COMPLEX
(((1 + ((- 1) * <i>)) / 2) * (() /. (z1 + (z2 * <i>)))) + (((1 + <i>) / 2) * (() /. (z1 + ((- z2) * <i>)))) is complex Element of COMPLEX
sinh . z1 is complex V29() V30() Element of REAL
sin . z2 is complex V29() V30() Element of REAL
(sinh . z1) * (sin . z2) is complex V29() V30() Element of REAL
cosh . z1 is complex V29() V30() Element of REAL
cos . z2 is complex V29() V30() Element of REAL
(cosh . z1) * (cos . z2) is complex V29() V30() Element of REAL
((sinh . z1) * (sin . z2)) + ((cosh . z1) * (cos . z2)) is complex V29() V30() Element of REAL
((sinh . z1) * (sin . z2)) * <i> is complex Element of COMPLEX
((cosh . z1) * (cos . z2)) + (((sinh . z1) * (sin . z2)) * <i>) is complex Element of COMPLEX
((1 + ((- 1) * <i>)) / 2) * (((cosh . z1) * (cos . z2)) + (((sinh . z1) * (sin . z2)) * <i>)) is complex Element of COMPLEX
(((1 + ((- 1) * <i>)) / 2) * (((cosh . z1) * (cos . z2)) + (((sinh . z1) * (sin . z2)) * <i>))) + (((1 + <i>) / 2) * (() /. (z1 + ((- z2) * <i>)))) is complex Element of COMPLEX
(1 + ((- 1) * <i>)) * (((cosh . z1) * (cos . z2)) + (((sinh . z1) * (sin . z2)) * <i>)) is complex Element of COMPLEX
((1 + ((- 1) * <i>)) * (((cosh . z1) * (cos . z2)) + (((sinh . z1) * (sin . z2)) * <i>))) / 2 is complex Element of COMPLEX
- ((sinh . z1) * (sin . z2)) is complex V29() V30() Element of REAL
(- ((sinh . z1) * (sin . z2))) * <i> is complex Element of COMPLEX
((cosh . z1) * (cos . z2)) + ((- ((sinh . z1) * (sin . z2))) * <i>) is complex Element of COMPLEX
((1 + <i>) / 2) * (((cosh . z1) * (cos . z2)) + ((- ((sinh . z1) * (sin . z2))) * <i>)) is complex Element of COMPLEX
(((1 + ((- 1) * <i>)) * (((cosh . z1) * (cos . z2)) + (((sinh . z1) * (sin . z2)) * <i>))) / 2) + (((1 + <i>) / 2) * (((cosh . z1) * (cos . z2)) + ((- ((sinh . z1) * (sin . z2))) * <i>))) is complex Element of COMPLEX
((cosh . z1) * (cos . z2)) + ((sinh . z1) * (sin . z2)) is complex V29() V30() Element of REAL
0 * <i> is complex Element of COMPLEX
(((cosh . z1) * (cos . z2)) + ((sinh . z1) * (sin . z2))) + (0 * <i>) is complex Element of COMPLEX
2 * ((((cosh . z1) * (cos . z2)) + ((sinh . z1) * (sin . z2))) + (0 * <i>)) is complex Element of COMPLEX
(2 * ((((cosh . z1) * (cos . z2)) + ((sinh . z1) * (sin . z2))) + (0 * <i>))) / 2 is complex Element of COMPLEX
z1 is complex Element of COMPLEX
() /. z1 is complex Element of COMPLEX
() . z1 is complex Element of COMPLEX
(() /. z1) * (() /. z1) is complex Element of COMPLEX
2 * z1 is complex Element of COMPLEX
() /. (2 * z1) is complex Element of COMPLEX
() . (2 * z1) is complex Element of COMPLEX
(() /. (2 * z1)) - 1 is complex Element of COMPLEX
((() /. (2 * z1)) - 1) / 2 is complex Element of COMPLEX
exp z1 is complex Element of COMPLEX
- z1 is complex Element of COMPLEX
exp (- z1) is complex Element of COMPLEX
(exp z1) - (exp (- z1)) is complex Element of COMPLEX
((exp z1) - (exp (- z1))) / 2 is complex Element of COMPLEX
(((exp z1) - (exp (- z1))) / 2) * (() /. z1) is complex Element of COMPLEX
(((exp z1) - (exp (- z1))) / 2) * (((exp z1) - (exp (- z1))) / 2) is complex Element of COMPLEX
(exp z1) * (exp z1) is complex Element of COMPLEX
(exp (- z1)) * (exp (- z1)) is complex Element of COMPLEX
((exp z1) * (exp z1)) + ((exp (- z1)) * (exp (- z1))) is complex Element of COMPLEX
(exp z1) * (exp (- z1)) is complex Element of COMPLEX
2 * ((exp z1) * (exp (- z1))) is complex Element of COMPLEX
(((exp z1) * (exp z1)) + ((exp (- z1)) * (exp (- z1)))) - (2 * ((exp z1) * (exp (- z1)))) is complex Element of COMPLEX
((((exp z1) * (exp z1)) + ((exp (- z1)) * (exp (- z1)))) - (2 * ((exp z1) * (exp (- z1))))) / 2 is complex Element of COMPLEX
(((((exp z1) * (exp z1)) + ((exp (- z1)) * (exp (- z1)))) - (2 * ((exp z1) * (exp (- z1))))) / 2) / 2 is complex Element of COMPLEX
2 * 1 is non zero natural complex V29() V30() V33() V34() V57() V58() V59() V60() V61() V62() Element of NAT
(((exp z1) * (exp z1)) + ((exp (- z1)) * (exp (- z1)))) - (2 * 1) is complex Element of COMPLEX
((((exp z1) * (exp z1)) + ((exp (- z1)) * (exp (- z1)))) - (2 * 1)) / 2 is complex Element of COMPLEX
(((((exp z1) * (exp z1)) + ((exp (- z1)) * (exp (- z1)))) - (2 * 1)) / 2) / 2 is complex Element of COMPLEX
z1 + z1 is complex Element of COMPLEX
exp (z1 + z1) is complex Element of COMPLEX
(exp (z1 + z1)) + ((exp (- z1)) * (exp (- z1))) is complex Element of COMPLEX
((exp (z1 + z1)) + ((exp (- z1)) * (exp (- z1)))) - 2 is complex Element of COMPLEX
(((exp (z1 + z1)) + ((exp (- z1)) * (exp (- z1)))) - 2) / 2 is complex Element of COMPLEX
((((exp (z1 + z1)) + ((exp (- z1)) * (exp (- z1)))) - 2) / 2) / 2 is complex Element of COMPLEX
exp (2 * z1) is complex Element of COMPLEX
(- z1) + (- z1) is complex Element of COMPLEX
exp ((- z1) + (- z1)) is complex Element of COMPLEX
(exp (2 * z1)) + (exp ((- z1) + (- z1))) is complex Element of COMPLEX
((exp (2 * z1)) + (exp ((- z1) + (- z1)))) - 2 is complex Element of COMPLEX
(((exp (2 * z1)) + (exp ((- z1) + (- z1)))) - 2) / 2 is complex Element of COMPLEX
((((exp (2 * z1)) + (exp ((- z1) + (- z1)))) - 2) / 2) / 2 is complex Element of COMPLEX
- (2 * z1) is complex Element of COMPLEX
exp (- (2 * z1)) is complex Element of COMPLEX
(exp (2 * z1)) + (exp (- (2 * z1))) is complex Element of COMPLEX
((exp (2 * z1)) + (exp (- (2 * z1)))) / 2 is complex Element of COMPLEX
(((exp (2 * z1)) + (exp (- (2 * z1)))) / 2) - 1 is complex Element of COMPLEX
((((exp (2 * z1)) + (exp (- (2 * z1)))) / 2) - 1) / 2 is complex Element of COMPLEX
z1 is complex Element of COMPLEX
() /. z1 is complex Element of COMPLEX
() . z1 is complex Element of COMPLEX
(() /. z1) * (() /. z1) is complex Element of COMPLEX
2 * z1 is complex Element of COMPLEX
() /. (2 * z1) is complex Element of COMPLEX
() . (2 * z1) is complex Element of COMPLEX
(() /. (2 * z1)) + 1 is complex Element of COMPLEX
((() /. (2 * z1)) + 1) / 2 is complex Element of COMPLEX
exp z1 is complex Element of COMPLEX
- z1 is complex Element of COMPLEX
exp (- z1) is complex Element of COMPLEX
(exp z1) + (exp (- z1)) is complex Element of COMPLEX
((exp z1) + (exp (- z1))) / 2 is complex Element of COMPLEX
(((exp z1) + (exp (- z1))) / 2) * (() /. z1) is complex Element of COMPLEX
(((exp z1) + (exp (- z1))) / 2) * (((exp z1) + (exp (- z1))) / 2) is complex Element of COMPLEX
(exp z1) * (exp z1) is complex Element of COMPLEX
(exp (- z1)) * (exp (- z1)) is complex Element of COMPLEX
((exp z1) * (exp z1)) + ((exp (- z1)) * (exp (- z1))) is complex Element of COMPLEX
(exp z1) * (exp (- z1)) is complex Element of COMPLEX
2 * ((exp z1) * (exp (- z1))) is complex Element of COMPLEX
(((exp z1) * (exp z1)) + ((exp (- z1)) * (exp (- z1)))) + (2 * ((exp z1) * (exp (- z1)))) is complex Element of COMPLEX
((((exp z1) * (exp z1)) + ((exp (- z1)) * (exp (- z1)))) + (2 * ((exp z1) * (exp (- z1))))) / 2 is complex Element of COMPLEX
(((((exp z1) * (exp z1)) + ((exp (- z1)) * (exp (- z1)))) + (2 * ((exp z1) * (exp (- z1))))) / 2) / 2 is complex Element of COMPLEX
2 * 1 is non zero natural complex V29() V30() V33() V34() V57() V58() V59() V60() V61() V62() Element of NAT
(((exp z1) * (exp z1)) + ((exp (- z1)) * (exp (- z1)))) + (2 * 1) is complex Element of COMPLEX
((((exp z1) * (exp z1)) + ((exp (- z1)) * (exp (- z1)))) + (2 * 1)) / 2 is complex Element of COMPLEX
(((((exp z1) * (exp z1)) + ((exp (- z1)) * (exp (- z1)))) + (2 * 1)) / 2) / 2 is complex Element of COMPLEX
z1 + z1 is complex Element of COMPLEX
exp (z1 + z1) is complex Element of COMPLEX
(exp (z1 + z1)) + ((exp (- z1)) * (exp (- z1))) is complex Element of COMPLEX
((exp (z1 + z1)) + ((exp (- z1)) * (exp (- z1)))) + 2 is complex Element of COMPLEX
(((exp (z1 + z1)) + ((exp (- z1)) * (exp (- z1)))) + 2) / 2 is complex Element of COMPLEX
((((exp (z1 + z1)) + ((exp (- z1)) * (exp (- z1)))) + 2) / 2) / 2 is complex Element of COMPLEX
exp (2 * z1) is complex Element of COMPLEX
(- z1) + (- z1) is complex Element of COMPLEX
exp ((- z1) + (- z1)) is complex Element of COMPLEX
(exp (2 * z1)) + (exp ((- z1) + (- z1))) is complex Element of COMPLEX
((exp (2 * z1)) + (exp ((- z1) + (- z1)))) + 2 is complex Element of COMPLEX
(((exp (2 * z1)) + (exp ((- z1) + (- z1)))) + 2) / 2 is complex Element of COMPLEX
((((exp (2 * z1)) + (exp ((- z1) + (- z1)))) + 2) / 2) / 2 is complex Element of COMPLEX
- (2 * z1) is complex Element of COMPLEX
exp (- (2 * z1)) is complex Element of COMPLEX
(exp (2 * z1)) + (exp (- (2 * z1))) is complex Element of COMPLEX
((exp (2 * z1)) + (exp (- (2 * z1)))) / 2 is complex Element of COMPLEX
(((exp (2 * z1)) + (exp (- (2 * z1)))) / 2) + 1 is complex Element of COMPLEX
((((exp (2 * z1)) + (exp (- (2 * z1)))) / 2) + 1) / 2 is complex Element of COMPLEX
z1 is complex Element of COMPLEX
2 * z1 is complex Element of COMPLEX
() /. (2 * z1) is complex Element of COMPLEX
() . (2 * z1) is complex Element of COMPLEX
() /. z1 is complex Element of COMPLEX
() . z1 is complex Element of COMPLEX
2 * (() /. z1) is complex Element of COMPLEX
() /. z1 is complex Element of COMPLEX
() . z1 is complex Element of COMPLEX
(2 * (() /. z1)) * (() /. z1) is complex Element of COMPLEX
() /. (2 * z1) is complex Element of COMPLEX
() . (2 * z1) is complex Element of COMPLEX
2 * (() /. z1) is complex Element of COMPLEX
(2 * (() /. z1)) * (() /. z1) is complex Element of COMPLEX
((2 * (() /. z1)) * (() /. z1)) - 1 is complex Element of COMPLEX
exp z1 is complex Element of COMPLEX
- z1 is complex Element of COMPLEX
exp (- z1) is complex Element of COMPLEX
(() /. z1) * (() /. z1) is complex Element of COMPLEX
2 * ((() /. z1) * (() /. z1)) is complex Element of COMPLEX
(2 * ((() /. z1) * (() /. z1))) - 1 is complex Element of COMPLEX
(() /. (2 * z1)) + 1 is complex Element of COMPLEX
((() /. (2 * z1)) + 1) / 2 is complex Element of COMPLEX
2 * (((() /. (2 * z1)) + 1) / 2) is complex Element of COMPLEX
(2 * (((() /. (2 * z1)) + 1) / 2)) - 1 is complex Element of COMPLEX
((() /. (2 * z1)) + 1) - 1 is complex Element of COMPLEX
(() /. z1) * (() /. z1) is complex Element of COMPLEX
2 * ((() /. z1) * (() /. z1)) is complex Element of COMPLEX
(exp z1) + (exp (- z1)) is complex Element of COMPLEX
((exp z1) + (exp (- z1))) / 2 is complex Element of COMPLEX
(() /. z1) * (((exp z1) + (exp (- z1))) / 2) is complex Element of COMPLEX
2 * ((() /. z1) * (((exp z1) + (exp (- z1))) / 2)) is complex Element of COMPLEX
(exp z1) - (exp (- z1)) is complex Element of COMPLEX
((exp z1) - (exp (- z1))) / 2 is complex Element of COMPLEX
(((exp z1) - (exp (- z1))) / 2) * (((exp z1) + (exp (- z1))) / 2) is complex Element of COMPLEX
2 * ((((exp z1) - (exp (- z1))) / 2) * (((exp z1) + (exp (- z1))) / 2)) is complex Element of COMPLEX
(exp z1) * (exp z1) is complex Element of COMPLEX
(exp (- z1)) * (exp (- z1)) is complex Element of COMPLEX
((exp z1) * (exp z1)) - ((exp (- z1)) * (exp (- z1))) is complex Element of COMPLEX
(((exp z1) * (exp z1)) - ((exp (- z1)) * (exp (- z1)))) / 2 is complex Element of COMPLEX
z1 + z1 is complex Element of COMPLEX
exp (z1 + z1) is complex Element of COMPLEX
(exp (z1 + z1)) - ((exp (- z1)) * (exp (- z1))) is complex Element of COMPLEX
((exp (z1 + z1)) - ((exp (- z1)) * (exp (- z1)))) / 2 is complex Element of COMPLEX
exp (2 * z1) is complex Element of COMPLEX
(- z1) + (- z1) is complex Element of COMPLEX
exp ((- z1) + (- z1)) is complex Element of COMPLEX
(exp (2 * z1)) - (exp ((- z1) + (- z1))) is complex Element of COMPLEX
((exp (2 * z1)) - (exp ((- z1) + (- z1)))) / 2 is complex Element of COMPLEX
- (2 * z1) is complex Element of COMPLEX
exp (- (2 * z1)) is complex Element of COMPLEX
(exp (2 * z1)) - (exp (- (2 * z1))) is complex Element of COMPLEX
((exp (2 * z1)) - (exp (- (2 * z1)))) / 2 is complex Element of COMPLEX
z1 is complex Element of COMPLEX
() /. z1 is complex Element of COMPLEX
() . z1 is complex Element of COMPLEX
(() /. z1) * (() /. z1) is complex Element of COMPLEX
() /. z1 is complex Element of COMPLEX
() . z1 is complex Element of COMPLEX
(() /. z1) * (() /. z1) is complex Element of COMPLEX
z2 is complex Element of COMPLEX
() /. z2 is complex Element of COMPLEX
() . z2 is complex Element of COMPLEX
(() /. z2) * (() /. z2) is complex Element of COMPLEX
((() /. z1) * (() /. z1)) - ((() /. z2) * (() /. z2)) is complex Element of COMPLEX
z1 + z2 is complex Element of COMPLEX
() /. (z1 + z2) is complex Element of COMPLEX
() . (z1 + z2) is complex Element of COMPLEX
z1 - z2 is complex Element of COMPLEX
() /. (z1 - z2) is complex Element of COMPLEX
() . (z1 - z2) is complex Element of COMPLEX
(() /. (z1 + z2)) * (() /. (z1 - z2)) is complex Element of COMPLEX
() /. z2 is complex Element of COMPLEX
() . z2 is complex Element of COMPLEX
(() /. z2) * (() /. z2) is complex Element of COMPLEX
((() /. z1) * (() /. z1)) - ((() /. z2) * (() /. z2)) is complex Element of COMPLEX
(() /. z1) * (() /. z2) is complex Element of COMPLEX
(() /. z1) * (() /. z2) is complex Element of COMPLEX
((() /. z1) * (() /. z2)) + ((() /. z1) * (() /. z2)) is complex Element of COMPLEX
(((() /. z1) * (() /. z2)) + ((() /. z1) * (() /. z2))) * (() /. (z1 - z2)) is complex Element of COMPLEX
((() /. z1) * (() /. z2)) - ((() /. z1) * (() /. z2)) is complex Element of COMPLEX
(((() /. z1) * (() /. z2)) + ((() /. z1) * (() /. z2))) * (((() /. z1) * (() /. z2)) - ((() /. z1) * (() /. z2))) is complex Element of COMPLEX
((() /. z1) * (() /. z1)) * ((() /. z2) * (() /. z2)) is complex Element of COMPLEX
(() /. z2) * ((() /. z1) * (() /. z1)) is complex Element of COMPLEX
((() /. z2) * ((() /. z1) * (() /. z1))) * (() /. z2) is complex Element of COMPLEX
(((() /. z1) * (() /. z1)) * ((() /. z2) * (() /. z2))) - (((() /. z2) * ((() /. z1) * (() /. z1))) * (() /. z2)) is complex Element of COMPLEX
((() /. z1) * (() /. z1)) - ((() /. z1) * (() /. z1)) is complex Element of COMPLEX
- (((() /. z1) * (() /. z1)) - ((() /. z1) * (() /. z1))) is complex Element of COMPLEX
(- (((() /. z1) * (() /. z1)) - ((() /. z1) * (() /. z1)))) * ((() /. z2) * (() /. z2)) is complex Element of COMPLEX
((() /. z1) * (() /. z1)) * ((() /. z2) * (() /. z2)) is complex Element of COMPLEX
((- (((() /. z1) * (() /. z1)) - ((() /. z1) * (() /. z1)))) * ((() /. z2) * (() /. z2))) + (((() /. z1) * (() /. z1)) * ((() /. z2) * (() /. z2))) is complex Element of COMPLEX
((() /. z2) * (() /. z2)) * ((() /. z1) * (() /. z1)) is complex Element of COMPLEX
(((- (((() /. z1) * (() /. z1)) - ((() /. z1) * (() /. z1)))) * ((() /. z2) * (() /. z2))) + (((() /. z1) * (() /. z1)) * ((() /. z2) * (() /. z2)))) - (((() /. z2) * (() /. z2)) * ((() /. z1) * (() /. z1))) is complex Element of COMPLEX
(- 1) * ((() /. z2) * (() /. z2)) is complex Element of COMPLEX
((- 1) * ((() /. z2) * (() /. z2))) + (((() /. z1) * (() /. z1)) * ((() /. z2) * (() /. z2))) is complex Element of COMPLEX
(((- 1) * ((() /. z2) * (() /. z2))) + (((() /. z1) * (() /. z1)) * ((() /. z2) * (() /. z2)))) - (((() /. z2) * (() /. z2)) * ((() /. z1) * (() /. z1))) is complex Element of COMPLEX
((() /. z2) * (() /. z2)) - ((() /. z2) * (() /. z2)) is complex Element of COMPLEX
((() /. z1) * (() /. z1)) * (((() /. z2) * (() /. z2)) - ((() /. z2) * (() /. z2))) is complex Element of COMPLEX
((- 1) * ((() /. z2) * (() /. z2))) + (((() /. z1) * (() /. z1)) * (((() /. z2) * (() /. z2)) - ((() /. z2) * (() /. z2)))) is complex Element of COMPLEX
((() /. z1) * (() /. z1)) * 1 is complex Element of COMPLEX
((- 1) * ((() /. z2) * (() /. z2))) + (((() /. z1) * (() /. z1)) * 1) is complex Element of COMPLEX
- ((() /. z2) * (() /. z2)) is complex Element of COMPLEX
(- ((() /. z2) * (() /. z2))) + ((() /. z1) * (() /. z1)) is complex Element of COMPLEX
((() /. z1) * (() /. z1)) * (((() /. z2) * (() /. z2)) - ((() /. z2) * (() /. z2))) is complex Element of COMPLEX
((() /. z1) * (() /. z1)) * ((() /. z2) * (() /. z2)) is complex Element of COMPLEX
(((() /. z1) * (() /. z1)) * (((() /. z2) * (() /. z2)) - ((() /. z2) * (() /. z2)))) + (((() /. z1) * (() /. z1)) * ((() /. z2) * (() /. z2))) is complex Element of COMPLEX
((((() /. z1) * (() /. z1)) * (((() /. z2) * (() /. z2)) - ((() /. z2) * (() /. z2)))) + (((() /. z1) * (() /. z1)) * ((() /. z2) * (() /. z2)))) - (((() /. z2) * (() /. z2)) * ((() /. z1) * (() /. z1))) is complex Element of COMPLEX
((() /. z1) * (() /. z1)) * 1 is complex Element of COMPLEX
(((() /. z1) * (() /. z1)) * 1) + (((() /. z1) * (() /. z1)) * ((() /. z2) * (() /. z2))) is complex Element of COMPLEX
((((() /. z1) * (() /. z1)) * 1) + (((() /. z1) * (() /. z1)) * ((() /. z2) * (() /. z2)))) - (((() /. z2) * (() /. z2)) * ((() /. z1) * (() /. z1))) is complex Element of COMPLEX
((() /. z2) * (() /. z2)) * (- (((() /. z1) * (() /. z1)) - ((() /. z1) * (() /. z1)))) is complex Element of COMPLEX
(((() /. z1) * (() /. z1)) * 1) + (((() /. z2) * (() /. z2)) * (- (((() /. z1) * (() /. z1)) - ((() /. z1) * (() /. z1))))) is complex Element of COMPLEX
((() /. z2) * (() /. z2)) * (- 1) is complex Element of COMPLEX
(((() /. z1) * (() /. z1)) * 1) + (((() /. z2) * (() /. z2)) * (- 1)) is complex Element of COMPLEX
(((() /. z1) * (() /. z1)) * 1) - ((() /. z2) * (() /. z2)) is complex Element of COMPLEX
z1 is complex Element of COMPLEX
() /. z1 is complex Element of COMPLEX
() . z1 is complex Element of COMPLEX
(() /. z1) * (() /. z1) is complex Element of COMPLEX
() /. z1 is complex Element of COMPLEX
() . z1 is complex Element of COMPLEX
(() /. z1) * (() /. z1) is complex Element of COMPLEX
z2 is complex Element of COMPLEX
z1 + z2 is complex Element of COMPLEX
() /. (z1 + z2) is complex Element of COMPLEX
() . (z1 + z2) is complex Element of COMPLEX
z1 - z2 is complex Element of COMPLEX
() /. (z1 - z2) is complex Element of COMPLEX
() . (z1 - z2) is complex Element of COMPLEX
(() /. (z1 + z2)) * (() /. (z1 - z2)) is complex Element of COMPLEX
() /. z2 is complex Element of COMPLEX
() . z2 is complex Element of COMPLEX
(() /. z2) * (() /. z2) is complex Element of COMPLEX
((() /. z1) * (() /. z1)) + ((() /. z2) * (() /. z2)) is complex Element of COMPLEX
() /. z2 is complex Element of COMPLEX
() . z2 is complex Element of COMPLEX
(() /. z2) * (() /. z2) is complex Element of COMPLEX
((() /. z1) * (() /. z1)) + ((() /. z2) * (() /. z2)) is complex Element of COMPLEX
(() /. z1) * (() /. z2) is complex Element of COMPLEX
(() /. z1) * (() /. z2) is complex Element of COMPLEX
((() /. z1) * (() /. z2)) + ((() /. z1) * (() /. z2)) is complex Element of COMPLEX
(((() /. z1) * (() /. z2)) + ((() /. z1) * (() /. z2))) * (() /. (z1 - z2)) is complex Element of COMPLEX
((() /. z1) * (() /. z2)) - ((() /. z1) * (() /. z2)) is complex Element of COMPLEX
(((() /. z1) * (() /. z2)) + ((() /. z1) * (() /. z2))) * (((() /. z1) * (() /. z2)) - ((() /. z1) * (() /. z2))) is complex Element of COMPLEX
((() /. z1) * (() /. z1)) * (() /. z2) is complex Element of COMPLEX
(((() /. z1) * (() /. z1)) * (() /. z2)) * (() /. z2) is complex Element of COMPLEX
((() /. z1) * (() /. z1)) * (() /. z2) is complex Element of COMPLEX
(((() /. z1) * (() /. z1)) * (() /. z2)) * (() /. z2) is complex Element of COMPLEX
((((() /. z1) * (() /. z1)) * (() /. z2)) * (() /. z2)) - ((((() /. z1) * (() /. z1)) * (() /. z2)) * (() /. z2)) is complex Element of COMPLEX
((() /. z2) * (() /. z2)) - ((() /. z2) * (() /. z2)) is complex Element of COMPLEX
((() /. z1) * (() /. z1)) * (((() /. z2) * (() /. z2)) - ((() /. z2) * (() /. z2))) is complex Element of COMPLEX
((() /. z1) * (() /. z1)) - ((() /. z1) * (() /. z1)) is complex Element of COMPLEX
(((() /. z1) * (() /. z1)) - ((() /. z1) * (() /. z1))) * ((() /. z2) * (() /. z2)) is complex Element of COMPLEX
(((() /. z1) * (() /. z1)) * (((() /. z2) * (() /. z2)) - ((() /. z2) * (() /. z2)))) + ((((() /. z1) * (() /. z1)) - ((() /. z1) * (() /. z1))) * ((() /. z2) * (() /. z2))) is complex Element of COMPLEX
((() /. z1) * (() /. z1)) * 1 is complex Element of COMPLEX
(((() /. z1) * (() /. z1)) * 1) + ((((() /. z1) * (() /. z1)) - ((() /. z1) * (() /. z1))) * ((() /. z2) * (() /. z2))) is complex Element of COMPLEX
1 * ((() /. z2) * (() /. z2)) is complex Element of COMPLEX
((() /. z1) * (() /. z1)) + (1 * ((() /. z2) * (() /. z2))) is complex Element of COMPLEX
(((() /. z1) * (() /. z1)) - ((() /. z1) * (() /. z1))) * ((() /. z2) * (() /. z2)) is complex Element of COMPLEX
((() /. z1) * (() /. z1)) * (((() /. z2) * (() /. z2)) - ((() /. z2) * (() /. z2))) is complex Element of COMPLEX
((((() /. z1) * (() /. z1)) - ((() /. z1) * (() /. z1))) * ((() /. z2) * (() /. z2))) + (((() /. z1) * (() /. z1)) * (((() /. z2) * (() /. z2)) - ((() /. z2) * (() /. z2)))) is complex Element of COMPLEX
1 * ((() /. z2) * (() /. z2)) is complex Element of COMPLEX
(1 * ((() /. z2) * (() /. z2))) + (((() /. z1) * (() /. z1)) * (((() /. z2) * (() /. z2)) - ((() /. z2) * (() /. z2)))) is complex Element of COMPLEX
((() /. z1) * (() /. z1)) * 1 is complex Element of COMPLEX
((() /. z2) * (() /. z2)) + (((() /. z1) * (() /. z1)) * 1) is complex Element of COMPLEX
z1 is complex Element of COMPLEX
2 * z1 is complex Element of COMPLEX
() /. (2 * z1) is complex Element of COMPLEX
() . (2 * z1) is complex Element of COMPLEX
z2 is complex Element of COMPLEX
2 * z2 is complex Element of COMPLEX
() /. (2 * z2) is complex Element of COMPLEX
() . (2 * z2) is complex Element of COMPLEX
(() /. (2 * z1)) + (() /. (2 * z2)) is complex Element of COMPLEX
z1 + z2 is complex Element of COMPLEX
() /. (z1 + z2) is complex Element of COMPLEX
() . (z1 + z2) is complex Element of COMPLEX
2 * (() /. (z1 + z2)) is complex Element of COMPLEX
z1 - z2 is complex Element of COMPLEX
() /. (z1 - z2) is complex Element of COMPLEX
() . (z1 - z2) is complex Element of COMPLEX
(2 * (() /. (z1 + z2))) * (() /. (z1 - z2)) is complex Element of COMPLEX
(() /. (2 * z1)) - (() /. (2 * z2)) is complex Element of COMPLEX
() /. (z1 - z2) is complex Element of COMPLEX
() . (z1 - z2) is complex Element of COMPLEX
2 * (() /. (z1 - z2)) is complex Element of COMPLEX
() /. (z1 + z2) is complex Element of COMPLEX
() . (z1 + z2) is complex Element of COMPLEX
(2 * (() /. (z1 - z2))) * (() /. (z1 + z2)) is complex Element of COMPLEX
() /. z1 is complex Element of COMPLEX
() . z1 is complex Element of COMPLEX
() /. z2 is complex Element of COMPLEX
() . z2 is complex Element of COMPLEX
() /. z1 is complex Element of COMPLEX
() . z1 is complex Element of COMPLEX
() /. z2 is complex Element of COMPLEX
() . z2 is complex Element of COMPLEX
(() /. z1) * (() /. z2) is complex Element of COMPLEX
(() /. z1) * (() /. z2) is complex Element of COMPLEX
((() /. z1) * (() /. z2)) - ((() /. z1) * (() /. z2)) is complex Element of COMPLEX
2 * (((() /. z1) * (() /. z2)) - ((() /. z1) * (() /. z2))) is complex Element of COMPLEX
(2 * (((() /. z1) * (() /. z2)) - ((() /. z1) * (() /. z2)))) * (() /. (z1 + z2)) is complex Element of COMPLEX
(() /. z1) * (() /. z2) is complex Element of COMPLEX
(() /. z1) * (() /. z2) is complex Element of COMPLEX
((() /. z1) * (() /. z2)) + ((() /. z1) * (() /. z2)) is complex Element of COMPLEX
(2 * (((() /. z1) * (() /. z2)) - ((() /. z1) * (() /. z2)))) * (((() /. z1) * (() /. z2)) + ((() /. z1) * (() /. z2))) is complex Element of COMPLEX
(() /. z1) * (() /. z1) is complex Element of COMPLEX
(() /. z2) * (() /. z2) is complex Element of COMPLEX
(() /. z2) * (() /. z2) is complex Element of COMPLEX
((() /. z2) * (() /. z2)) - ((() /. z2) * (() /. z2)) is complex Element of COMPLEX
((() /. z1) * (() /. z1)) * (((() /. z2) * (() /. z2)) - ((() /. z2) * (() /. z2))) is complex Element of COMPLEX
(() /. z2) * (() /. z2) is complex Element of COMPLEX
(() /. z1) * (() /. z1) is complex Element of COMPLEX
((() /. z2) * (() /. z2)) * ((() /. z1) * (() /. z1)) is complex Element of COMPLEX
(() /. z1) * (() /. z1) is complex Element of COMPLEX
((() /. z2) * (() /. z2)) * ((() /. z1) * (() /. z1)) is complex Element of COMPLEX
(((() /. z2) * (() /. z2)) * ((() /. z1) * (() /. z1))) - (((() /. z2) * (() /. z2)) * ((() /. z1) * (() /. z1))) is complex Element of COMPLEX
(((() /. z1) * (() /. z1)) * (((() /. z2) * (() /. z2)) - ((() /. z2) * (() /. z2)))) - ((((() /. z2) * (() /. z2)) * ((() /. z1) * (() /. z1))) - (((() /. z2) * (() /. z2)) * ((() /. z1) * (() /. z1)))) is complex Element of COMPLEX
2 * ((((() /. z1) * (() /. z1)) * (((() /. z2) * (() /. z2)) - ((() /. z2) * (() /. z2)))) - ((((() /. z2) * (() /. z2)) * ((() /. z1) * (() /. z1))) - (((() /. z2) * (() /. z2)) * ((() /. z1) * (() /. z1))))) is complex Element of COMPLEX
((() /. z1) * (() /. z1)) * 1 is complex Element of COMPLEX
((() /. z1) * (() /. z1)) - ((() /. z1) * (() /. z1)) is complex Element of COMPLEX
((() /. z2) * (() /. z2)) * (((() /. z1) * (() /. z1)) - ((() /. z1) * (() /. z1))) is complex Element of COMPLEX
(((() /. z1) * (() /. z1)) * 1) - (((() /. z2) * (() /. z2)) * (((() /. z1) * (() /. z1)) - ((() /. z1) * (() /. z1)))) is complex Element of COMPLEX
2 * ((((() /. z1) * (() /. z1)) * 1) - (((() /. z2) * (() /. z2)) * (((() /. z1) * (() /. z1)) - ((() /. z1) * (() /. z1))))) is complex Element of COMPLEX
((() /. z2) * (() /. z2)) * 1 is complex Element of COMPLEX
(((() /. z1) * (() /. z1)) * 1) - (((() /. z2) * (() /. z2)) * 1) is complex Element of COMPLEX
2 * ((((() /. z1) * (() /. z1)) * 1) - (((() /. z2) * (() /. z2)) * 1)) is complex Element of COMPLEX
2 * (() /. z1) is complex Element of COMPLEX
(2 * (() /. z1)) * (() /. z1) is complex Element of COMPLEX
2 * ((() /. z2) * (() /. z2)) is complex Element of COMPLEX
((2 * (() /. z1)) * (() /. z1)) - (2 * ((() /. z2) * (() /. z2))) is complex Element of COMPLEX
2 * (() /. z2) is complex Element of COMPLEX
(2 * (() /. z2)) * (() /. z2) is complex Element of COMPLEX
(() /. (2 * z1)) - ((2 * (() /. z2)) * (() /. z2)) is complex Element of COMPLEX
((() /. z1) * (() /. z2)) + ((() /. z1) * (() /. z2)) is complex Element of COMPLEX
2 * (((() /. z1) * (() /. z2)) + ((() /. z1) * (() /. z2))) is complex Element of COMPLEX
(2 * (((() /. z1) * (() /. z2)) + ((() /. z1) * (() /. z2)))) * (() /. (z1 - z2)) is complex Element of COMPLEX
((() /. z1) * (() /. z2)) - ((() /. z1) * (() /. z2)) is complex Element of COMPLEX
(2 * (((() /. z1) * (() /. z2)) + ((() /. z1) * (() /. z2)))) * (((() /. z1) * (() /. z2)) - ((() /. z1) * (() /. z2))) is complex Element of COMPLEX
(() /. z1) * (() /. z1) is complex Element of COMPLEX
(((() /. z2) * (() /. z2)) - ((() /. z2) * (() /. z2))) * ((() /. z1) * (() /. z1)) is complex Element of COMPLEX
((() /. z1) * (() /. z1)) * ((() /. z2) * (() /. z2)) is complex Element of COMPLEX
(() /. z2) * (() /. z2) is complex Element of COMPLEX
((() /. z1) * (() /. z1)) * ((() /. z2) * (() /. z2)) is complex Element of COMPLEX
(((() /. z1) * (() /. z1)) * ((() /. z2) * (() /. z2))) - (((() /. z1) * (() /. z1)) * ((() /. z2) * (() /. z2))) is complex Element of COMPLEX
((((() /. z2) * (() /. z2)) - ((() /. z2) * (() /. z2))) * ((() /. z1) * (() /. z1))) + ((((() /. z1) * (() /. z1)) * ((() /. z2) * (() /. z2))) - (((() /. z1) * (() /. z1)) * ((() /. z2) * (() /. z2)))) is complex Element of COMPLEX
2 * (((((() /. z2) * (() /. z2)) - ((() /. z2) * (() /. z2))) * ((() /. z1) * (() /. z1))) + ((((() /. z1) * (() /. z1)) * ((() /. z2) * (() /. z2))) - (((() /. z1) * (() /. z1)) * ((() /. z2) * (() /. z2))))) is complex Element of COMPLEX
1 * ((() /. z1) * (() /. z1)) is complex Element of COMPLEX
(((() /. z1) * (() /. z1)) - ((() /. z1) * (() /. z1))) * ((() /. z2) * (() /. z2)) is complex Element of COMPLEX
(1 * ((() /. z1) * (() /. z1))) + ((((() /. z1) * (() /. z1)) - ((() /. z1) * (() /. z1))) * ((() /. z2) * (() /. z2))) is complex Element of COMPLEX
2 * ((1 * ((() /. z1) * (() /. z1))) + ((((() /. z1) * (() /. z1)) - ((() /. z1) * (() /. z1))) * ((() /. z2) * (() /. z2)))) is complex Element of COMPLEX
1 * ((() /. z2) * (() /. z2)) is complex Element of COMPLEX
(1 * ((() /. z1) * (() /. z1))) + (1 * ((() /. z2) * (() /. z2))) is complex Element of COMPLEX
2 * ((1 * ((() /. z1) * (() /. z1))) + (1 * ((() /. z2) * (() /. z2)))) is complex Element of COMPLEX
2 * ((() /. z2) * (() /. z2)) is complex Element of COMPLEX
((2 * (() /. z1)) * (() /. z1)) + (2 * ((() /. z2) * (() /. z2))) is complex Element of COMPLEX
(() /. (2 * z1)) + ((2 * (() /. z2)) * (() /. z2)) is complex Element of COMPLEX
z1 is complex Element of COMPLEX
() /. z1 is complex Element of COMPLEX
() . z1 is complex Element of COMPLEX
(() /. z1) * (() /. z1) is complex Element of COMPLEX
() /. z1 is complex Element of COMPLEX
() . z1 is complex Element of COMPLEX
(() /. z1) * (() /. z1) is complex Element of COMPLEX
((() /. z1) * (() /. z1)) - 1 is complex Element of COMPLEX
((() /. z1) * (() /. z1)) - ((() /. z1) * (() /. z1)) is complex Element of COMPLEX
((() /. z1) * (() /. z1)) - (((() /. z1) * (() /. z1)) - ((() /. z1) * (() /. z1))) is complex Element of COMPLEX
((() /. z1) * (() /. z1)) + ((() /. z1) * (() /. z1)) is complex Element of COMPLEX
(((() /. z1) * (() /. z1)) + ((() /. z1) * (() /. z1))) - ((() /. z1) * (() /. z1)) is complex Element of COMPLEX
z1 is complex Element of COMPLEX
2 * z1 is complex Element of COMPLEX
() /. (2 * z1) is complex Element of COMPLEX
() . (2 * z1) is complex Element of COMPLEX
z2 is complex Element of COMPLEX
2 * z2 is complex Element of COMPLEX
() /. (2 * z2) is complex Element of COMPLEX
() . (2 * z2) is complex Element of COMPLEX
(() /. (2 * z1)) + (() /. (2 * z2)) is complex Element of COMPLEX
z1 + z2 is complex Element of COMPLEX
() /. (z1 + z2) is complex Element of COMPLEX
() . (z1 + z2) is complex Element of COMPLEX
2 * (() /. (z1 + z2)) is complex Element of COMPLEX
z1 - z2 is complex Element of COMPLEX
() /. (z1 - z2) is complex Element of COMPLEX
() . (z1 - z2) is complex Element of COMPLEX
(2 * (() /. (z1 + z2))) * (() /. (z1 - z2)) is complex Element of COMPLEX
(() /. (2 * z1)) - (() /. (2 * z2)) is complex Element of COMPLEX
() /. (z1 + z2) is complex Element of COMPLEX
() . (z1 + z2) is complex Element of COMPLEX
2 * (() /. (z1 + z2)) is complex Element of COMPLEX
() /. (z1 - z2) is complex Element of COMPLEX
() . (z1 - z2) is complex Element of COMPLEX
(2 * (() /. (z1 + z2))) * (() /. (z1 - z2)) is complex Element of COMPLEX
(() /. (z1 + z2)) * (() /. (z1 - z2)) is complex Element of COMPLEX
2 * ((() /. (z1 + z2)) * (() /. (z1 - z2))) is complex Element of COMPLEX
() /. z1 is complex Element of COMPLEX
() . z1 is complex Element of COMPLEX
(() /. z1) * (() /. z1) is complex Element of COMPLEX
() /. z2 is complex Element of COMPLEX
() . z2 is complex Element of COMPLEX
(() /. z2) * (() /. z2) is complex Element of COMPLEX
((() /. z1) * (() /. z1)) - ((() /. z2) * (() /. z2)) is complex Element of COMPLEX
2 * (((() /. z1) * (() /. z1)) - ((() /. z2) * (() /. z2))) is complex Element of COMPLEX
2 * (() /. z1) is complex Element of COMPLEX
(2 * (() /. z1)) * (() /. z1) is complex Element of COMPLEX
((2 * (() /. z1)) * (() /. z1)) - 1 is complex Element of COMPLEX
(((2 * (() /. z1)) * (() /. z1)) - 1) + 1 is complex Element of COMPLEX
2 * ((() /. z2) * (() /. z2)) is complex Element of COMPLEX
((((2 * (() /. z1)) * (() /. z1)) - 1) + 1) - (2 * ((() /. z2) * (() /. z2))) is complex Element of COMPLEX
(() /. (2 * z1)) + 1 is complex Element of COMPLEX
((() /. (2 * z1)) + 1) - (2 * ((() /. z2) * (() /. z2))) is complex Element of COMPLEX
2 * (() /. z2) is complex Element of COMPLEX
(2 * (() /. z2)) * (() /. z2) is complex Element of COMPLEX
((2 * (() /. z2)) * (() /. z2)) - 1 is complex Element of COMPLEX
(() /. (2 * z1)) - (((2 * (() /. z2)) * (() /. z2)) - 1) is complex Element of COMPLEX
(() /. (z1 + z2)) * (() /. (z1 - z2)) is complex Element of COMPLEX
2 * ((() /. (z1 + z2)) * (() /. (z1 - z2))) is complex Element of COMPLEX
() /. z1 is complex Element of COMPLEX
() . z1 is complex Element of COMPLEX
(() /. z1) * (() /. z1) is complex Element of COMPLEX
((() /. z1) * (() /. z1)) + ((() /. z2) * (() /. z2)) is complex Element of COMPLEX
2 * (((() /. z1) * (() /. z1)) + ((() /. z2) * (() /. z2))) is complex Element of COMPLEX
((() /. z1) * (() /. z1)) - 1 is complex Element of COMPLEX
(((() /. z1) * (() /. z1)) - 1) + ((() /. z2) * (() /. z2)) is complex Element of COMPLEX
2 * ((((() /. z1) * (() /. z1)) - 1) + ((() /. z2) * (() /. z2))) is complex Element of COMPLEX
(((2 * (() /. z1)) * (() /. z1)) - 1) + (((2 * (() /. z2)) * (() /. z2)) - 1) is complex Element of COMPLEX
(() /. (2 * z1)) + (((2 * (() /. z2)) * (() /. z2)) - 1) is complex Element of COMPLEX