11.278 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.259 * * * [progress]: [2/2] Setting up program. 0.267 * [progress]: [Phase 2 of 3] Improving. 0.267 * [simplify]: Simplifying: (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))) 0.267 * * [simplify]: Extracting # 0 : cost 0 0.267 * * [simplify]: Extracting # 1 : cost 0 0.267 * * [simplify]: Extracting # 2 : cost 0 0.267 * * [simplify]: Extracting # 3 : cost 0 0.267 * * [simplify]: Extracting # 4 : cost 0 0.267 * * [simplify]: Extracting # 5 : cost 0 0.268 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 0.271 * * [simplify]: Extracting # 0 : cost 0 0.271 * * [simplify]: Extracting # 1 : cost 0 0.271 * * [simplify]: Extracting # 2 : cost 0 0.271 * * [simplify]: iteration 1 : 23 enodes (cost 11 ) 0.281 * * [simplify]: Extracting # 0 : cost 0 0.281 * * [simplify]: Extracting # 1 : cost 0 0.281 * * [simplify]: Extracting # 2 : cost 0 0.281 * * [simplify]: iteration 2 : 57 enodes (cost 11 ) 0.307 * * [simplify]: Extracting # 0 : cost 0 0.308 * * [simplify]: Extracting # 1 : cost 0 0.308 * * [simplify]: Extracting # 2 : cost 0 0.308 * * [simplify]: iteration 3 : 93 enodes (cost 11 ) 0.369 * * [simplify]: Extracting # 0 : cost 0 0.370 * * [simplify]: Extracting # 1 : cost 0 0.370 * * [simplify]: Extracting # 2 : cost 0 0.371 * * [simplify]: iteration 4 : 470 enodes (cost 11 ) 1.808 * * [simplify]: Extracting # 0 : cost 0 1.830 * * [simplify]: Extracting # 1 : cost 0 1.841 * * [simplify]: Extracting # 2 : cost 0 1.850 * * [simplify]: iteration 5 : 4175 enodes (cost 11 ) 6.954 * * [simplify]: Extracting # 0 : cost 0 6.975 * * [simplify]: Extracting # 1 : cost 0 6.987 * * [simplify]: Extracting # 2 : cost 0 7.000 * * [simplify]: iteration done: 5001 enodes (cost 11 ) 7.000 * [simplify]: Simplified to: (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))) 7.001 * * [progress]: iteration 1 / 4 7.001 * * * [progress]: picking best candidate 7.008 * * * * [pick]: Picked # 7.008 * * * [progress]: localizing error 7.041 * * * [progress]: generating rewritten candidates 7.042 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 7.175 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 7.214 * * * [progress]: generating series expansions 7.215 * * * * [progress]: [ 1 / 2 ] generating series at (2) 7.215 * [backup-simplify]: Simplify (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))) into (* 0.5 (* (cos re) (+ (exp im) (exp (- im))))) 7.215 * [approximate]: Taking taylor expansion of (* 0.5 (* (cos re) (+ (exp im) (exp (- im))))) in (re im) around 0 7.215 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos re) (+ (exp im) (exp (- im))))) in im 7.215 * [taylor]: Taking taylor expansion of 0.5 in im 7.215 * [backup-simplify]: Simplify 0.5 into 0.5 7.215 * [taylor]: Taking taylor expansion of (* (cos re) (+ (exp im) (exp (- im)))) in im 7.215 * [taylor]: Taking taylor expansion of (cos re) in im 7.215 * [taylor]: Taking taylor expansion of re in im 7.215 * [backup-simplify]: Simplify re into re 7.215 * [backup-simplify]: Simplify (cos re) into (cos re) 7.215 * [backup-simplify]: Simplify (sin re) into (sin re) 7.215 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in im 7.215 * [taylor]: Taking taylor expansion of (exp im) in im 7.215 * [taylor]: Taking taylor expansion of im in im 7.216 * [backup-simplify]: Simplify 0 into 0 7.216 * [backup-simplify]: Simplify 1 into 1 7.216 * [backup-simplify]: Simplify (exp 0) into 1 7.216 * [taylor]: Taking taylor expansion of (exp (- im)) in im 7.216 * [taylor]: Taking taylor expansion of (- im) in im 7.216 * [taylor]: Taking taylor expansion of im in im 7.216 * [backup-simplify]: Simplify 0 into 0 7.216 * [backup-simplify]: Simplify 1 into 1 7.217 * [backup-simplify]: Simplify (- 0) into 0 7.217 * [backup-simplify]: Simplify (- 1) into -1 7.217 * [backup-simplify]: Simplify (exp 0) into 1 7.217 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos re) (+ (exp im) (exp (- im))))) in re 7.217 * [taylor]: Taking taylor expansion of 0.5 in re 7.217 * [backup-simplify]: Simplify 0.5 into 0.5 7.217 * [taylor]: Taking taylor expansion of (* (cos re) (+ (exp im) (exp (- im)))) in re 7.217 * [taylor]: Taking taylor expansion of (cos re) in re 7.217 * [taylor]: Taking taylor expansion of re in re 7.217 * [backup-simplify]: Simplify 0 into 0 7.217 * [backup-simplify]: Simplify 1 into 1 7.217 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in re 7.217 * [taylor]: Taking taylor expansion of (exp im) in re 7.217 * [taylor]: Taking taylor expansion of im in re 7.217 * [backup-simplify]: Simplify im into im 7.217 * [backup-simplify]: Simplify (exp im) into (exp im) 7.217 * [taylor]: Taking taylor expansion of (exp (- im)) in re 7.218 * [taylor]: Taking taylor expansion of (- im) in re 7.218 * [taylor]: Taking taylor expansion of im in re 7.218 * [backup-simplify]: Simplify im into im 7.218 * [backup-simplify]: Simplify (- im) into (- im) 7.218 * [backup-simplify]: Simplify (- im) into (- im) 7.218 * [backup-simplify]: Simplify (exp (- im)) into (exp (- im)) 7.218 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos re) (+ (exp im) (exp (- im))))) in re 7.218 * [taylor]: Taking taylor expansion of 0.5 in re 7.218 * [backup-simplify]: Simplify 0.5 into 0.5 7.218 * [taylor]: Taking taylor expansion of (* (cos re) (+ (exp im) (exp (- im)))) in re 7.218 * [taylor]: Taking taylor expansion of (cos re) in re 7.218 * [taylor]: Taking taylor expansion of re in re 7.218 * [backup-simplify]: Simplify 0 into 0 7.218 * [backup-simplify]: Simplify 1 into 1 7.218 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in re 7.218 * [taylor]: Taking taylor expansion of (exp im) in re 7.218 * [taylor]: Taking taylor expansion of im in re 7.218 * [backup-simplify]: Simplify im into im 7.218 * [backup-simplify]: Simplify (exp im) into (exp im) 7.218 * [taylor]: Taking taylor expansion of (exp (- im)) in re 7.218 * [taylor]: Taking taylor expansion of (- im) in re 7.218 * [taylor]: Taking taylor expansion of im in re 7.218 * [backup-simplify]: Simplify im into im 7.218 * [backup-simplify]: Simplify (- im) into (- im) 7.218 * [backup-simplify]: Simplify (- im) into (- im) 7.219 * [backup-simplify]: Simplify (exp (- im)) into (exp (- im)) 7.219 * [backup-simplify]: Simplify (+ (exp im) (exp (- im))) into (+ (exp im) (exp (- im))) 7.219 * [backup-simplify]: Simplify (* 1 (+ (exp im) (exp (- im)))) into (+ (exp im) (exp (- im))) 7.219 * [backup-simplify]: Simplify (* 0.5 (+ (exp im) (exp (- im)))) into (* 0.5 (+ (exp im) (exp (- im)))) 7.219 * [taylor]: Taking taylor expansion of (* 0.5 (+ (exp im) (exp (- im)))) in im 7.219 * [taylor]: Taking taylor expansion of 0.5 in im 7.219 * [backup-simplify]: Simplify 0.5 into 0.5 7.219 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in im 7.219 * [taylor]: Taking taylor expansion of (exp im) in im 7.219 * [taylor]: Taking taylor expansion of im in im 7.219 * [backup-simplify]: Simplify 0 into 0 7.219 * [backup-simplify]: Simplify 1 into 1 7.219 * [backup-simplify]: Simplify (exp 0) into 1 7.219 * [taylor]: Taking taylor expansion of (exp (- im)) in im 7.219 * [taylor]: Taking taylor expansion of (- im) in im 7.219 * [taylor]: Taking taylor expansion of im in im 7.219 * [backup-simplify]: Simplify 0 into 0 7.220 * [backup-simplify]: Simplify 1 into 1 7.220 * [backup-simplify]: Simplify (- 0) into 0 7.221 * [backup-simplify]: Simplify (- 1) into -1 7.221 * [backup-simplify]: Simplify (exp 0) into 1 7.221 * [backup-simplify]: Simplify (+ 1 1) into 2 7.221 * [backup-simplify]: Simplify (* 0.5 2) into 1.0 7.221 * [backup-simplify]: Simplify 1.0 into 1.0 7.222 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 1) 1)))) into 0 7.222 * [backup-simplify]: Simplify (- im) into (- im) 7.223 * [backup-simplify]: Simplify (- 0) into 0 7.224 * [backup-simplify]: Simplify (* (exp (- im)) (+ (* (/ (pow 0 1) 1)))) into 0 7.224 * [backup-simplify]: Simplify (+ 0 0) into 0 7.224 * [backup-simplify]: Simplify (+ 0) into 0 7.225 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (+ (exp im) (exp (- im))))) into 0 7.225 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (+ (exp im) (exp (- im))))) into 0 7.225 * [taylor]: Taking taylor expansion of 0 in im 7.225 * [backup-simplify]: Simplify 0 into 0 7.225 * [backup-simplify]: Simplify 0 into 0 7.227 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 7.227 * [backup-simplify]: Simplify (- 1) into -1 7.228 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 7.228 * [backup-simplify]: Simplify (+ 1 -1) into 0 7.229 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 2)) into 0 7.229 * [backup-simplify]: Simplify 0 into 0 7.230 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 7.230 * [backup-simplify]: Simplify (- im) into (- im) 7.231 * [backup-simplify]: Simplify (- 0) into 0 7.231 * [backup-simplify]: Simplify (- 0) into 0 7.232 * [backup-simplify]: Simplify (* (exp (- im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 7.233 * [backup-simplify]: Simplify (+ 0 0) into 0 7.234 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2 7.714 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* -1/2 (+ (exp im) (exp (- im)))))) into (- (+ (* 1/2 (exp im)) (* 1/2 (exp (- im))))) 7.715 * [backup-simplify]: Simplify (+ (* 0.5 (- (+ (* 1/2 (exp im)) (* 1/2 (exp (- im)))))) (+ (* 0 0) (* 0 (+ (exp im) (exp (- im)))))) into (- (+ (* 0.25 (exp im)) (* 0.25 (exp (- im))))) 7.715 * [taylor]: Taking taylor expansion of (- (+ (* 0.25 (exp im)) (* 0.25 (exp (- im))))) in im 7.715 * [taylor]: Taking taylor expansion of (+ (* 0.25 (exp im)) (* 0.25 (exp (- im)))) in im 7.715 * [taylor]: Taking taylor expansion of (* 0.25 (exp im)) in im 7.715 * [taylor]: Taking taylor expansion of 0.25 in im 7.715 * [backup-simplify]: Simplify 0.25 into 0.25 7.715 * [taylor]: Taking taylor expansion of (exp im) in im 7.715 * [taylor]: Taking taylor expansion of im in im 7.715 * [backup-simplify]: Simplify 0 into 0 7.715 * [backup-simplify]: Simplify 1 into 1 7.715 * [backup-simplify]: Simplify (exp 0) into 1 7.715 * [taylor]: Taking taylor expansion of (* 0.25 (exp (- im))) in im 7.715 * [taylor]: Taking taylor expansion of 0.25 in im 7.715 * [backup-simplify]: Simplify 0.25 into 0.25 7.716 * [taylor]: Taking taylor expansion of (exp (- im)) in im 7.716 * [taylor]: Taking taylor expansion of (- im) in im 7.716 * [taylor]: Taking taylor expansion of im in im 7.716 * [backup-simplify]: Simplify 0 into 0 7.716 * [backup-simplify]: Simplify 1 into 1 7.716 * [backup-simplify]: Simplify (- 0) into 0 7.717 * [backup-simplify]: Simplify (- 1) into -1 7.717 * [backup-simplify]: Simplify (exp 0) into 1 7.717 * [backup-simplify]: Simplify (* 0.25 1) into 0.25 7.718 * [backup-simplify]: Simplify (* 0.25 1) into 0.25 7.718 * [backup-simplify]: Simplify (+ 0.25 0.25) into 0.5 7.719 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 7.719 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 7.719 * [backup-simplify]: Simplify 0 into 0 7.721 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 7.721 * [backup-simplify]: Simplify (- 1) into -1 7.721 * [backup-simplify]: Simplify (- 0) into 0 7.723 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 7.724 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1 7.726 * [backup-simplify]: Simplify (+ (* 0.5 1) (+ (* 0 0) (* 0 2))) into 0.5 7.726 * [backup-simplify]: Simplify 0.5 into 0.5 7.727 * [backup-simplify]: Simplify (+ (* 0.5 (pow (* im 1) 2)) (+ (* (- 0.5) (pow (* 1 re) 2)) 1.0)) into (- (+ (* 0.5 (pow im 2)) 1.0) (* 0.5 (pow re 2))) 7.727 * [backup-simplify]: Simplify (* (* 0.5 (cos (/ 1 re))) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) into (* 0.5 (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) 7.727 * [approximate]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in (re im) around 0 7.727 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in im 7.727 * [taylor]: Taking taylor expansion of 0.5 in im 7.727 * [backup-simplify]: Simplify 0.5 into 0.5 7.727 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) in im 7.727 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 7.727 * [taylor]: Taking taylor expansion of (/ 1 re) in im 7.727 * [taylor]: Taking taylor expansion of re in im 7.727 * [backup-simplify]: Simplify re into re 7.727 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 7.727 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 7.727 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 7.730 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im 7.730 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 7.730 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 7.730 * [taylor]: Taking taylor expansion of (/ 1 im) in im 7.730 * [taylor]: Taking taylor expansion of im in im 7.730 * [backup-simplify]: Simplify 0 into 0 7.730 * [backup-simplify]: Simplify 1 into 1 7.731 * [backup-simplify]: Simplify (/ 1 1) into 1 7.731 * [backup-simplify]: Simplify (- 1) into -1 7.732 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im))) 7.732 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 7.732 * [taylor]: Taking taylor expansion of (/ 1 im) in im 7.732 * [taylor]: Taking taylor expansion of im in im 7.732 * [backup-simplify]: Simplify 0 into 0 7.732 * [backup-simplify]: Simplify 1 into 1 7.733 * [backup-simplify]: Simplify (/ 1 1) into 1 7.733 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 7.733 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in re 7.733 * [taylor]: Taking taylor expansion of 0.5 in re 7.733 * [backup-simplify]: Simplify 0.5 into 0.5 7.733 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) in re 7.733 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 7.733 * [taylor]: Taking taylor expansion of (/ 1 re) in re 7.733 * [taylor]: Taking taylor expansion of re in re 7.733 * [backup-simplify]: Simplify 0 into 0 7.733 * [backup-simplify]: Simplify 1 into 1 7.734 * [backup-simplify]: Simplify (/ 1 1) into 1 7.734 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 7.734 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in re 7.734 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 7.734 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 7.734 * [taylor]: Taking taylor expansion of (/ 1 im) in re 7.734 * [taylor]: Taking taylor expansion of im in re 7.734 * [backup-simplify]: Simplify im into im 7.734 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 7.734 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im)) 7.734 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im)) 7.734 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im))) 7.734 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 7.734 * [taylor]: Taking taylor expansion of (/ 1 im) in re 7.734 * [taylor]: Taking taylor expansion of im in re 7.734 * [backup-simplify]: Simplify im into im 7.735 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 7.735 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 7.735 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in re 7.735 * [taylor]: Taking taylor expansion of 0.5 in re 7.735 * [backup-simplify]: Simplify 0.5 into 0.5 7.735 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) in re 7.735 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 7.735 * [taylor]: Taking taylor expansion of (/ 1 re) in re 7.735 * [taylor]: Taking taylor expansion of re in re 7.735 * [backup-simplify]: Simplify 0 into 0 7.735 * [backup-simplify]: Simplify 1 into 1 7.736 * [backup-simplify]: Simplify (/ 1 1) into 1 7.736 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 7.736 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in re 7.736 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 7.736 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 7.736 * [taylor]: Taking taylor expansion of (/ 1 im) in re 7.736 * [taylor]: Taking taylor expansion of im in re 7.736 * [backup-simplify]: Simplify im into im 7.736 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 7.736 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im)) 7.736 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im)) 7.736 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im))) 7.736 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 7.736 * [taylor]: Taking taylor expansion of (/ 1 im) in re 7.736 * [taylor]: Taking taylor expansion of im in re 7.736 * [backup-simplify]: Simplify im into im 7.736 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 7.736 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 7.737 * [backup-simplify]: Simplify (+ (exp (- (/ 1 im))) (exp (/ 1 im))) into (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 7.737 * [backup-simplify]: Simplify (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) into (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) 7.737 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) into (* 0.5 (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) 7.737 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in im 7.737 * [taylor]: Taking taylor expansion of 0.5 in im 7.737 * [backup-simplify]: Simplify 0.5 into 0.5 7.737 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) in im 7.738 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 7.738 * [taylor]: Taking taylor expansion of (/ 1 re) in im 7.738 * [taylor]: Taking taylor expansion of re in im 7.738 * [backup-simplify]: Simplify re into re 7.738 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 7.738 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 7.738 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 7.738 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im 7.738 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 7.738 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 7.738 * [taylor]: Taking taylor expansion of (/ 1 im) in im 7.738 * [taylor]: Taking taylor expansion of im in im 7.738 * [backup-simplify]: Simplify 0 into 0 7.738 * [backup-simplify]: Simplify 1 into 1 7.739 * [backup-simplify]: Simplify (/ 1 1) into 1 7.739 * [backup-simplify]: Simplify (- 1) into -1 7.739 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im))) 7.739 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 7.739 * [taylor]: Taking taylor expansion of (/ 1 im) in im 7.739 * [taylor]: Taking taylor expansion of im in im 7.739 * [backup-simplify]: Simplify 0 into 0 7.739 * [backup-simplify]: Simplify 1 into 1 7.740 * [backup-simplify]: Simplify (/ 1 1) into 1 7.740 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 7.740 * [backup-simplify]: Simplify (* (cos (/ 1 re)) 1) into (cos (/ 1 re)) 7.740 * [backup-simplify]: Simplify (* (sin (/ 1 re)) 0) into 0 7.741 * [backup-simplify]: Simplify (- 0) into 0 7.741 * [backup-simplify]: Simplify (+ (cos (/ 1 re)) 0) into (cos (/ 1 re)) 7.741 * [backup-simplify]: Simplify (+ (exp (- (/ 1 im))) (exp (/ 1 im))) into (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 7.741 * [backup-simplify]: Simplify (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) into (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) 7.742 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) into (* 0.5 (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) 7.742 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) into (* 0.5 (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) 7.742 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im)) 7.742 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 7.743 * [backup-simplify]: Simplify (- 0) into 0 7.744 * [backup-simplify]: Simplify (* (exp (- (/ 1 im))) (+ (* (/ (pow 0 1) 1)))) into 0 7.744 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 7.745 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 7.745 * [backup-simplify]: Simplify (+ 0 0) into 0 7.746 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) into 0 7.746 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))))) into 0 7.746 * [taylor]: Taking taylor expansion of 0 in im 7.747 * [backup-simplify]: Simplify 0 into 0 7.747 * [backup-simplify]: Simplify 0 into 0 7.747 * [backup-simplify]: Simplify (+ 0 0) into 0 7.747 * [backup-simplify]: Simplify (+ 0) into 0 7.748 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 1)) into 0 7.748 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 7.749 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 7.749 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 0)) into 0 7.750 * [backup-simplify]: Simplify (- 0) into 0 7.750 * [backup-simplify]: Simplify (+ 0 0) into 0 7.750 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) into 0 7.751 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))))) into 0 7.751 * [backup-simplify]: Simplify 0 into 0 7.751 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im)) 7.751 * [backup-simplify]: Simplify (- 0) into 0 7.752 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 7.752 * [backup-simplify]: Simplify (- 0) into 0 7.753 * [backup-simplify]: Simplify (* (exp (- (/ 1 im))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 7.753 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 7.755 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 7.755 * [backup-simplify]: Simplify (+ 0 0) into 0 7.756 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 (+ (exp (- (/ 1 im))) (exp (/ 1 im)))))) into 0 7.757 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))))) into 0 7.757 * [taylor]: Taking taylor expansion of 0 in im 7.757 * [backup-simplify]: Simplify 0 into 0 7.757 * [backup-simplify]: Simplify 0 into 0 7.757 * [backup-simplify]: Simplify 0 into 0 7.757 * [backup-simplify]: Simplify (+ 0 0) into 0 7.758 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 7.758 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 7.759 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 7.759 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 7.760 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 7.760 * [backup-simplify]: Simplify (- 0) into 0 7.761 * [backup-simplify]: Simplify (+ 0 0) into 0 7.761 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 (+ (exp (- (/ 1 im))) (exp (/ 1 im)))))) into 0 7.762 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))))) into 0 7.762 * [backup-simplify]: Simplify 0 into 0 7.762 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im)) 7.763 * [backup-simplify]: Simplify (- 0) into 0 7.763 * [backup-simplify]: Simplify (- 0) into 0 7.764 * [backup-simplify]: Simplify (- 0) into 0 7.764 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 7.765 * [backup-simplify]: Simplify (- 0) into 0 7.766 * [backup-simplify]: Simplify (* (exp (- (/ 1 im))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 7.766 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 7.768 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 7.769 * [backup-simplify]: Simplify (+ 0 0) into 0 7.771 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (exp (- (/ 1 im))) (exp (/ 1 im))))))) into 0 7.774 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))))))) into 0 7.774 * [taylor]: Taking taylor expansion of 0 in im 7.774 * [backup-simplify]: Simplify 0 into 0 7.774 * [backup-simplify]: Simplify 0 into 0 7.774 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ 1 (/ 1 re))) (+ (exp (- (/ 1 (/ 1 im)))) (exp (/ 1 (/ 1 im)))))) into (* 0.5 (* (cos re) (+ (exp im) (exp (- im))))) 7.775 * [backup-simplify]: Simplify (* (* 0.5 (cos (/ 1 (- re)))) (+ (exp (- (/ 1 (- im)))) (exp (/ 1 (- im))))) into (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))) 7.775 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))) in (re im) around 0 7.775 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))) in im 7.775 * [taylor]: Taking taylor expansion of 0.5 in im 7.775 * [backup-simplify]: Simplify 0.5 into 0.5 7.775 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))) in im 7.775 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 7.775 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 7.775 * [taylor]: Taking taylor expansion of (/ -1 im) in im 7.775 * [taylor]: Taking taylor expansion of -1 in im 7.775 * [backup-simplify]: Simplify -1 into -1 7.775 * [taylor]: Taking taylor expansion of im in im 7.775 * [backup-simplify]: Simplify 0 into 0 7.775 * [backup-simplify]: Simplify 1 into 1 7.776 * [backup-simplify]: Simplify (/ -1 1) into -1 7.777 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 7.777 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 7.777 * [taylor]: Taking taylor expansion of (/ 1 im) in im 7.777 * [taylor]: Taking taylor expansion of im in im 7.777 * [backup-simplify]: Simplify 0 into 0 7.777 * [backup-simplify]: Simplify 1 into 1 7.778 * [backup-simplify]: Simplify (/ 1 1) into 1 7.778 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 7.778 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 7.778 * [taylor]: Taking taylor expansion of (/ -1 re) in im 7.778 * [taylor]: Taking taylor expansion of -1 in im 7.778 * [backup-simplify]: Simplify -1 into -1 7.778 * [taylor]: Taking taylor expansion of re in im 7.778 * [backup-simplify]: Simplify re into re 7.779 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 7.779 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 7.779 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 7.779 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))) in re 7.779 * [taylor]: Taking taylor expansion of 0.5 in re 7.779 * [backup-simplify]: Simplify 0.5 into 0.5 7.779 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))) in re 7.779 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re 7.779 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 7.779 * [taylor]: Taking taylor expansion of (/ -1 im) in re 7.779 * [taylor]: Taking taylor expansion of -1 in re 7.779 * [backup-simplify]: Simplify -1 into -1 7.779 * [taylor]: Taking taylor expansion of im in re 7.779 * [backup-simplify]: Simplify im into im 7.779 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 7.780 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 7.780 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 7.780 * [taylor]: Taking taylor expansion of (/ 1 im) in re 7.780 * [taylor]: Taking taylor expansion of im in re 7.780 * [backup-simplify]: Simplify im into im 7.780 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 7.780 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 7.780 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 7.780 * [taylor]: Taking taylor expansion of (/ -1 re) in re 7.780 * [taylor]: Taking taylor expansion of -1 in re 7.780 * [backup-simplify]: Simplify -1 into -1 7.780 * [taylor]: Taking taylor expansion of re in re 7.780 * [backup-simplify]: Simplify 0 into 0 7.780 * [backup-simplify]: Simplify 1 into 1 7.782 * [backup-simplify]: Simplify (/ -1 1) into -1 7.782 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 7.782 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))) in re 7.782 * [taylor]: Taking taylor expansion of 0.5 in re 7.782 * [backup-simplify]: Simplify 0.5 into 0.5 7.782 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))) in re 7.782 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re 7.782 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 7.782 * [taylor]: Taking taylor expansion of (/ -1 im) in re 7.782 * [taylor]: Taking taylor expansion of -1 in re 7.782 * [backup-simplify]: Simplify -1 into -1 7.782 * [taylor]: Taking taylor expansion of im in re 7.782 * [backup-simplify]: Simplify im into im 7.783 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 7.783 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 7.783 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 7.783 * [taylor]: Taking taylor expansion of (/ 1 im) in re 7.783 * [taylor]: Taking taylor expansion of im in re 7.783 * [backup-simplify]: Simplify im into im 7.783 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 7.783 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 7.783 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 7.783 * [taylor]: Taking taylor expansion of (/ -1 re) in re 7.783 * [taylor]: Taking taylor expansion of -1 in re 7.783 * [backup-simplify]: Simplify -1 into -1 7.783 * [taylor]: Taking taylor expansion of re in re 7.783 * [backup-simplify]: Simplify 0 into 0 7.783 * [backup-simplify]: Simplify 1 into 1 7.784 * [backup-simplify]: Simplify (/ -1 1) into -1 7.784 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 7.785 * [backup-simplify]: Simplify (+ (exp (/ -1 im)) (exp (/ 1 im))) into (+ (exp (/ -1 im)) (exp (/ 1 im))) 7.785 * [backup-simplify]: Simplify (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))) into (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))) 7.785 * [backup-simplify]: Simplify (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))) into (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))) 7.785 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))) in im 7.786 * [taylor]: Taking taylor expansion of 0.5 in im 7.786 * [backup-simplify]: Simplify 0.5 into 0.5 7.786 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))) in im 7.786 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 7.786 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 7.786 * [taylor]: Taking taylor expansion of (/ -1 im) in im 7.786 * [taylor]: Taking taylor expansion of -1 in im 7.786 * [backup-simplify]: Simplify -1 into -1 7.786 * [taylor]: Taking taylor expansion of im in im 7.786 * [backup-simplify]: Simplify 0 into 0 7.786 * [backup-simplify]: Simplify 1 into 1 7.787 * [backup-simplify]: Simplify (/ -1 1) into -1 7.787 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 7.787 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 7.787 * [taylor]: Taking taylor expansion of (/ 1 im) in im 7.787 * [taylor]: Taking taylor expansion of im in im 7.787 * [backup-simplify]: Simplify 0 into 0 7.787 * [backup-simplify]: Simplify 1 into 1 7.787 * [backup-simplify]: Simplify (/ 1 1) into 1 7.787 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 7.788 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 7.788 * [taylor]: Taking taylor expansion of (/ -1 re) in im 7.788 * [taylor]: Taking taylor expansion of -1 in im 7.788 * [backup-simplify]: Simplify -1 into -1 7.788 * [taylor]: Taking taylor expansion of re in im 7.788 * [backup-simplify]: Simplify re into re 7.788 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 7.788 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 7.788 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 7.788 * [backup-simplify]: Simplify (+ (exp (/ -1 im)) (exp (/ 1 im))) into (+ (exp (/ -1 im)) (exp (/ 1 im))) 7.788 * [backup-simplify]: Simplify (* (cos (/ -1 re)) 1) into (cos (/ -1 re)) 7.788 * [backup-simplify]: Simplify (* (sin (/ -1 re)) 0) into 0 7.789 * [backup-simplify]: Simplify (- 0) into 0 7.789 * [backup-simplify]: Simplify (+ (cos (/ -1 re)) 0) into (cos (/ -1 re)) 7.789 * [backup-simplify]: Simplify (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))) into (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))) 7.790 * [backup-simplify]: Simplify (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))) into (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))) 7.790 * [backup-simplify]: Simplify (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))) into (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))) 7.790 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0 7.791 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 7.792 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 7.793 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 7.793 * [backup-simplify]: Simplify (+ 0 0) into 0 7.793 * [backup-simplify]: Simplify (+ (* (+ (exp (/ -1 im)) (exp (/ 1 im))) 0) (* 0 (cos (/ -1 re)))) into 0 7.794 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))))) into 0 7.794 * [taylor]: Taking taylor expansion of 0 in im 7.794 * [backup-simplify]: Simplify 0 into 0 7.794 * [backup-simplify]: Simplify 0 into 0 7.795 * [backup-simplify]: Simplify (+ 0) into 0 7.795 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 1)) into 0 7.795 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0 7.796 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 7.797 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 0)) into 0 7.797 * [backup-simplify]: Simplify (- 0) into 0 7.797 * [backup-simplify]: Simplify (+ 0 0) into 0 7.798 * [backup-simplify]: Simplify (+ 0 0) into 0 7.798 * [backup-simplify]: Simplify (+ (* (+ (exp (/ -1 im)) (exp (/ 1 im))) 0) (* 0 (cos (/ -1 re)))) into 0 7.799 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))))) into 0 7.799 * [backup-simplify]: Simplify 0 into 0 7.799 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 7.801 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 7.801 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 7.802 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 7.803 * [backup-simplify]: Simplify (+ 0 0) into 0 7.803 * [backup-simplify]: Simplify (+ (* (+ (exp (/ -1 im)) (exp (/ 1 im))) 0) (+ (* 0 0) (* 0 (cos (/ -1 re))))) into 0 7.804 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))))) into 0 7.805 * [taylor]: Taking taylor expansion of 0 in im 7.805 * [backup-simplify]: Simplify 0 into 0 7.805 * [backup-simplify]: Simplify 0 into 0 7.805 * [backup-simplify]: Simplify 0 into 0 7.805 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 7.806 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 7.806 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 7.807 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 7.808 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 7.808 * [backup-simplify]: Simplify (- 0) into 0 7.808 * [backup-simplify]: Simplify (+ 0 0) into 0 7.809 * [backup-simplify]: Simplify (+ 0 0) into 0 7.809 * [backup-simplify]: Simplify (+ (* (+ (exp (/ -1 im)) (exp (/ 1 im))) 0) (+ (* 0 0) (* 0 (cos (/ -1 re))))) into 0 7.811 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))))) into 0 7.811 * [backup-simplify]: Simplify 0 into 0 7.811 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 7.813 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 7.813 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 7.815 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 7.815 * [backup-simplify]: Simplify (+ 0 0) into 0 7.816 * [backup-simplify]: Simplify (+ (* (+ (exp (/ -1 im)) (exp (/ 1 im))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 re)))))) into 0 7.818 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))))))) into 0 7.818 * [taylor]: Taking taylor expansion of 0 in im 7.818 * [backup-simplify]: Simplify 0 into 0 7.818 * [backup-simplify]: Simplify 0 into 0 7.818 * [backup-simplify]: Simplify (* 0.5 (* (+ (exp (/ -1 (/ 1 (- im)))) (exp (/ 1 (/ 1 (- im))))) (cos (/ -1 (/ 1 (- re)))))) into (* 0.5 (* (+ (exp (* -1 im)) (exp im)) (cos re))) 7.819 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 7.819 * [backup-simplify]: Simplify (+ (exp (- im)) (exp im)) into (+ (exp im) (exp (- im))) 7.819 * [approximate]: Taking taylor expansion of (+ (exp im) (exp (- im))) in (im) around 0 7.819 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in im 7.819 * [taylor]: Taking taylor expansion of (exp im) in im 7.819 * [taylor]: Taking taylor expansion of im in im 7.819 * [backup-simplify]: Simplify 0 into 0 7.819 * [backup-simplify]: Simplify 1 into 1 7.819 * [backup-simplify]: Simplify (exp 0) into 1 7.819 * [taylor]: Taking taylor expansion of (exp (- im)) in im 7.819 * [taylor]: Taking taylor expansion of (- im) in im 7.819 * [taylor]: Taking taylor expansion of im in im 7.819 * [backup-simplify]: Simplify 0 into 0 7.819 * [backup-simplify]: Simplify 1 into 1 7.820 * [backup-simplify]: Simplify (- 0) into 0 7.820 * [backup-simplify]: Simplify (- 1) into -1 7.820 * [backup-simplify]: Simplify (exp 0) into 1 7.820 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in im 7.820 * [taylor]: Taking taylor expansion of (exp im) in im 7.820 * [taylor]: Taking taylor expansion of im in im 7.820 * [backup-simplify]: Simplify 0 into 0 7.820 * [backup-simplify]: Simplify 1 into 1 7.820 * [backup-simplify]: Simplify (exp 0) into 1 7.820 * [taylor]: Taking taylor expansion of (exp (- im)) in im 7.820 * [taylor]: Taking taylor expansion of (- im) in im 7.820 * [taylor]: Taking taylor expansion of im in im 7.820 * [backup-simplify]: Simplify 0 into 0 7.820 * [backup-simplify]: Simplify 1 into 1 7.821 * [backup-simplify]: Simplify (- 0) into 0 7.821 * [backup-simplify]: Simplify (- 1) into -1 7.821 * [backup-simplify]: Simplify (exp 0) into 1 7.822 * [backup-simplify]: Simplify (+ 1 1) into 2 7.822 * [backup-simplify]: Simplify 2 into 2 7.823 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 7.823 * [backup-simplify]: Simplify (- 1) into -1 7.825 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 7.825 * [backup-simplify]: Simplify (+ 1 -1) into 0 7.825 * [backup-simplify]: Simplify 0 into 0 7.827 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 7.828 * [backup-simplify]: Simplify (- 1) into -1 7.828 * [backup-simplify]: Simplify (- 0) into 0 7.830 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 7.831 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1 7.831 * [backup-simplify]: Simplify 1 into 1 7.833 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 7.834 * [backup-simplify]: Simplify (- 1) into -1 7.834 * [backup-simplify]: Simplify (- 1) into -1 7.834 * [backup-simplify]: Simplify (- 0) into 0 7.835 * [backup-simplify]: Simplify (- 0) into 0 7.837 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 7.838 * [backup-simplify]: Simplify (+ 1/6 -1/6) into 0 7.838 * [backup-simplify]: Simplify 0 into 0 7.842 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 7.843 * [backup-simplify]: Simplify (- 1) into -1 7.843 * [backup-simplify]: Simplify (- 1) into -1 7.844 * [backup-simplify]: Simplify (- 0) into 0 7.844 * [backup-simplify]: Simplify (- 1) into -1 7.844 * [backup-simplify]: Simplify (- 0) into 0 7.845 * [backup-simplify]: Simplify (- 0) into 0 7.845 * [backup-simplify]: Simplify (- 0) into 0 7.849 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 7.850 * [backup-simplify]: Simplify (+ 1/24 1/24) into 1/12 7.850 * [backup-simplify]: Simplify 1/12 into 1/12 7.851 * [backup-simplify]: Simplify (+ (* 1/12 (pow im 4)) (+ (* 1 (pow im 2)) 2)) into (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)) 7.851 * [backup-simplify]: Simplify (+ (exp (- (/ 1 im))) (exp (/ 1 im))) into (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 7.851 * [approximate]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in (im) around 0 7.851 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im 7.851 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 7.851 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 7.851 * [taylor]: Taking taylor expansion of (/ 1 im) in im 7.851 * [taylor]: Taking taylor expansion of im in im 7.851 * [backup-simplify]: Simplify 0 into 0 7.852 * [backup-simplify]: Simplify 1 into 1 7.852 * [backup-simplify]: Simplify (/ 1 1) into 1 7.852 * [backup-simplify]: Simplify (- 1) into -1 7.853 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im))) 7.853 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 7.853 * [taylor]: Taking taylor expansion of (/ 1 im) in im 7.853 * [taylor]: Taking taylor expansion of im in im 7.853 * [backup-simplify]: Simplify 0 into 0 7.853 * [backup-simplify]: Simplify 1 into 1 7.853 * [backup-simplify]: Simplify (/ 1 1) into 1 7.853 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 7.853 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im 7.853 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 7.853 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 7.853 * [taylor]: Taking taylor expansion of (/ 1 im) in im 7.853 * [taylor]: Taking taylor expansion of im in im 7.853 * [backup-simplify]: Simplify 0 into 0 7.853 * [backup-simplify]: Simplify 1 into 1 7.854 * [backup-simplify]: Simplify (/ 1 1) into 1 7.854 * [backup-simplify]: Simplify (- 1) into -1 7.854 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im))) 7.854 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 7.855 * [taylor]: Taking taylor expansion of (/ 1 im) in im 7.855 * [taylor]: Taking taylor expansion of im in im 7.855 * [backup-simplify]: Simplify 0 into 0 7.855 * [backup-simplify]: Simplify 1 into 1 7.855 * [backup-simplify]: Simplify (/ 1 1) into 1 7.855 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 7.855 * [backup-simplify]: Simplify (+ (exp (- (/ 1 im))) (exp (/ 1 im))) into (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 7.856 * [backup-simplify]: Simplify (+ (exp (- (/ 1 im))) (exp (/ 1 im))) into (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 7.856 * [backup-simplify]: Simplify (+ 0 0) into 0 7.856 * [backup-simplify]: Simplify 0 into 0 7.857 * [backup-simplify]: Simplify (+ 0 0) into 0 7.857 * [backup-simplify]: Simplify 0 into 0 7.857 * [backup-simplify]: Simplify (+ 0 0) into 0 7.857 * [backup-simplify]: Simplify 0 into 0 7.857 * [backup-simplify]: Simplify (+ 0 0) into 0 7.857 * [backup-simplify]: Simplify 0 into 0 7.858 * [backup-simplify]: Simplify (+ 0 0) into 0 7.858 * [backup-simplify]: Simplify 0 into 0 7.858 * [backup-simplify]: Simplify (+ 0 0) into 0 7.858 * [backup-simplify]: Simplify 0 into 0 7.859 * [backup-simplify]: Simplify (+ (exp (- (/ 1 (/ 1 im)))) (exp (/ 1 (/ 1 im)))) into (+ (exp im) (exp (- im))) 7.859 * [backup-simplify]: Simplify (+ (exp (- (/ 1 (- im)))) (exp (/ 1 (- im)))) into (+ (exp (/ -1 im)) (exp (/ 1 im))) 7.859 * [approximate]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in (im) around 0 7.859 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 7.859 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 7.859 * [taylor]: Taking taylor expansion of (/ -1 im) in im 7.859 * [taylor]: Taking taylor expansion of -1 in im 7.859 * [backup-simplify]: Simplify -1 into -1 7.859 * [taylor]: Taking taylor expansion of im in im 7.859 * [backup-simplify]: Simplify 0 into 0 7.859 * [backup-simplify]: Simplify 1 into 1 7.860 * [backup-simplify]: Simplify (/ -1 1) into -1 7.860 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 7.860 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 7.860 * [taylor]: Taking taylor expansion of (/ 1 im) in im 7.860 * [taylor]: Taking taylor expansion of im in im 7.860 * [backup-simplify]: Simplify 0 into 0 7.860 * [backup-simplify]: Simplify 1 into 1 7.861 * [backup-simplify]: Simplify (/ 1 1) into 1 7.861 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 7.861 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 7.861 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 7.861 * [taylor]: Taking taylor expansion of (/ -1 im) in im 7.861 * [taylor]: Taking taylor expansion of -1 in im 7.861 * [backup-simplify]: Simplify -1 into -1 7.861 * [taylor]: Taking taylor expansion of im in im 7.861 * [backup-simplify]: Simplify 0 into 0 7.861 * [backup-simplify]: Simplify 1 into 1 7.861 * [backup-simplify]: Simplify (/ -1 1) into -1 7.862 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 7.862 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 7.862 * [taylor]: Taking taylor expansion of (/ 1 im) in im 7.862 * [taylor]: Taking taylor expansion of im in im 7.862 * [backup-simplify]: Simplify 0 into 0 7.862 * [backup-simplify]: Simplify 1 into 1 7.862 * [backup-simplify]: Simplify (/ 1 1) into 1 7.862 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 7.862 * [backup-simplify]: Simplify (+ (exp (/ -1 im)) (exp (/ 1 im))) into (+ (exp (/ -1 im)) (exp (/ 1 im))) 7.863 * [backup-simplify]: Simplify (+ (exp (/ -1 im)) (exp (/ 1 im))) into (+ (exp (/ -1 im)) (exp (/ 1 im))) 7.863 * [backup-simplify]: Simplify (+ 0 0) into 0 7.863 * [backup-simplify]: Simplify 0 into 0 7.864 * [backup-simplify]: Simplify (+ 0 0) into 0 7.864 * [backup-simplify]: Simplify 0 into 0 7.864 * [backup-simplify]: Simplify (+ 0 0) into 0 7.864 * [backup-simplify]: Simplify 0 into 0 7.864 * [backup-simplify]: Simplify (+ 0 0) into 0 7.864 * [backup-simplify]: Simplify 0 into 0 7.865 * [backup-simplify]: Simplify (+ 0 0) into 0 7.865 * [backup-simplify]: Simplify 0 into 0 7.865 * [backup-simplify]: Simplify (+ 0 0) into 0 7.865 * [backup-simplify]: Simplify 0 into 0 7.866 * [backup-simplify]: Simplify (+ (exp (/ -1 (/ 1 (- im)))) (exp (/ 1 (/ 1 (- im))))) into (+ (exp (* -1 im)) (exp im)) 7.866 * * * [progress]: simplifying candidates 7.867 * [simplify]: Simplifying: (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))) (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))) (+ (+ (log 0.5) (log (cos re))) (log (+ (exp (- im)) (exp im)))) (+ (log (* 0.5 (cos re))) (log (+ (exp (- im)) (exp im)))) (log (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im)))) (exp (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im)))) (* (* (* (* 0.5 0.5) 0.5) (* (* (cos re) (cos re)) (cos re))) (* (* (+ (exp (- im)) (exp im)) (+ (exp (- im)) (exp im))) (+ (exp (- im)) (exp im)))) (* (* (* (* 0.5 (cos re)) (* 0.5 (cos re))) (* 0.5 (cos re))) (* (* (+ (exp (- im)) (exp im)) (+ (exp (- im)) (exp im))) (+ (exp (- im)) (exp im)))) (* (cbrt (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im)))) (cbrt (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))))) (cbrt (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im)))) (* (* (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))) (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im)))) (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im)))) (sqrt (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im)))) (sqrt (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im)))) (* (* 0.5 (cos re)) (exp (- im))) (* (* 0.5 (cos re)) (exp im)) (* (exp (- im)) (* 0.5 (cos re))) (* (exp im) (* 0.5 (cos re))) (* (* 0.5 (cos re)) (* (cbrt (+ (exp (- im)) (exp im))) (cbrt (+ (exp (- im)) (exp im))))) (* (* 0.5 (cos re)) (sqrt (+ (exp (- im)) (exp im)))) (* (* 0.5 (cos re)) 1) (* (* 0.5 (cos re)) 1) (* (cos re) (+ (exp (- im)) (exp im))) (* (* 0.5 (cos re)) (+ (pow (exp (- im)) 3) (pow (exp im) 3))) (* (* 0.5 (cos re)) (- (* (exp (- im)) (exp (- im))) (* (exp im) (exp im)))) (* (exp (exp (- im))) (exp (exp im))) (log (+ (exp (- im)) (exp im))) (exp (+ (exp (- im)) (exp im))) (* (cbrt (+ (exp (- im)) (exp im))) (cbrt (+ (exp (- im)) (exp im)))) (cbrt (+ (exp (- im)) (exp im))) (* (* (+ (exp (- im)) (exp im)) (+ (exp (- im)) (exp im))) (+ (exp (- im)) (exp im))) (sqrt (+ (exp (- im)) (exp im))) (sqrt (+ (exp (- im)) (exp im))) (+ (pow (exp (- im)) 3) (pow (exp im) 3)) (+ (* (exp (- im)) (exp (- im))) (- (* (exp im) (exp im)) (* (exp (- im)) (exp im)))) (- (* (exp (- im)) (exp (- im))) (* (exp im) (exp im))) (- (exp (- im)) (exp im)) (+ (exp (- im)) (exp im)) (- (+ (* 0.5 (pow im 2)) 1.0) (* 0.5 (pow re 2))) (* 0.5 (* (cos re) (+ (exp im) (exp (- im))))) (* 0.5 (* (+ (exp (* -1 im)) (exp im)) (cos re))) (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)) (+ (exp im) (exp (- im))) (+ (exp (* -1 im)) (exp im)) 7.869 * * [simplify]: Extracting # 0 : cost 0 7.869 * * [simplify]: Extracting # 1 : cost 0 7.869 * * [simplify]: Extracting # 2 : cost 0 7.870 * * [simplify]: Extracting # 3 : cost 0 7.870 * * [simplify]: Extracting # 4 : cost 0 7.870 * * [simplify]: Extracting # 5 : cost 0 7.870 * * [simplify]: Extracting # 6 : cost 0 7.871 * * [simplify]: iteration 0 : 87 enodes (cost 548 ) 7.918 * * [simplify]: Extracting # 0 : cost 0 7.919 * * [simplify]: Extracting # 1 : cost 0 7.920 * * [simplify]: Extracting # 2 : cost 0 7.920 * * [simplify]: Extracting # 3 : cost 0 7.921 * * [simplify]: Extracting # 4 : cost 0 7.921 * * [simplify]: Extracting # 5 : cost 0 7.922 * * [simplify]: iteration 1 : 272 enodes (cost 530 ) 8.237 * * [simplify]: Extracting # 0 : cost 0 8.241 * * [simplify]: Extracting # 1 : cost 0 8.245 * * [simplify]: Extracting # 2 : cost 0 8.250 * * [simplify]: Extracting # 3 : cost 0 8.254 * * [simplify]: Extracting # 4 : cost 0 8.259 * * [simplify]: iteration 2 : 1828 enodes (cost 443 ) 9.627 * * [simplify]: Extracting # 0 : cost 0 9.649 * * [simplify]: Extracting # 1 : cost 0 9.671 * * [simplify]: Extracting # 2 : cost 0 9.685 * * [simplify]: Extracting # 3 : cost 0 9.702 * * [simplify]: Extracting # 4 : cost 0 9.715 * * [simplify]: iteration done: 5000 enodes (cost 441 ) 9.716 * [simplify]: Simplified to: (* 0.5 (* (cos re) (+ (exp im) (exp (- im))))) (* 0.5 (* (cos re) (+ (exp im) (exp (- im))))) (log (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im)))) (log (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im)))) (log (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im)))) (exp (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im)))) (pow (* 0.5 (* (cos re) (+ (exp im) (exp (- im))))) 3) (pow (* 0.5 (* (cos re) (+ (exp im) (exp (- im))))) 3) (* (cbrt (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im)))) (cbrt (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))))) (cbrt (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im)))) (pow (* 0.5 (* (cos re) (+ (exp im) (exp (- im))))) 3) (sqrt (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im)))) (sqrt (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im)))) (* 0.5 (/ (cos re) (exp im))) (* (exp im) (* 0.5 (cos re))) (* 0.5 (/ (cos re) (exp im))) (* (exp im) (* 0.5 (cos re))) (* (* (cbrt (+ (exp (- im)) (exp im))) (cbrt (+ (exp (- im)) (exp im)))) (* 0.5 (cos re))) (* (sqrt (+ (exp (- im)) (exp im))) (* 0.5 (cos re))) (* 0.5 (cos re)) (* 0.5 (cos re)) (* (cos re) (+ (exp (- im)) (exp im))) (* (+ (pow (exp (- im)) 3) (pow (exp im) 3)) (* 0.5 (cos re))) (* (- (exp (* im -2)) (exp (+ im im))) (* 0.5 (cos re))) (exp (+ (exp (- im)) (exp im))) (log (+ (exp (- im)) (exp im))) (exp (+ (exp (- im)) (exp im))) (* (cbrt (+ (exp (- im)) (exp im))) (cbrt (+ (exp (- im)) (exp im)))) (cbrt (+ (exp (- im)) (exp im))) (pow (+ (exp im) (exp (- im))) 3) (sqrt (+ (exp (- im)) (exp im))) (sqrt (+ (exp (- im)) (exp im))) (+ (pow (exp (- im)) 3) (pow (exp im) 3)) (+ (exp (+ im im)) (+ -1 (exp (* im -2)))) (- (exp (* im -2)) (exp (+ im im))) (- (exp (- im)) (exp im)) (+ (exp im) (exp (- im))) (- (+ (* 0.5 (pow im 2)) 1.0) (* 0.5 (pow re 2))) (* 0.5 (* (cos re) (+ (exp im) (exp (- im))))) (* 0.5 (* (cos re) (+ (exp im) (exp (- im))))) (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)) (+ (exp im) (exp (- im))) (+ (exp im) (exp (- im))) 9.717 * * * [progress]: adding candidates to table 9.981 * * [progress]: iteration 2 / 4 9.981 * * * [progress]: picking best candidate 9.989 * * * * [pick]: Picked # 9.989 * * * [progress]: localizing error 10.040 * * * [progress]: generating rewritten candidates 10.041 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 10.363 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 10.518 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1) 10.558 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1) 10.602 * * * [progress]: generating series expansions 10.602 * * * * [progress]: [ 1 / 4 ] generating series at (2) 10.602 * [backup-simplify]: Simplify (* (* (sqrt (+ (exp (- im)) (exp im))) (* 0.5 (cos re))) (sqrt (+ (exp (- im)) (exp im)))) into (* 0.5 (* (cos re) (+ (exp im) (exp (- im))))) 10.602 * [approximate]: Taking taylor expansion of (* 0.5 (* (cos re) (+ (exp im) (exp (- im))))) in (im re) around 0 10.603 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos re) (+ (exp im) (exp (- im))))) in re 10.603 * [taylor]: Taking taylor expansion of 0.5 in re 10.603 * [backup-simplify]: Simplify 0.5 into 0.5 10.603 * [taylor]: Taking taylor expansion of (* (cos re) (+ (exp im) (exp (- im)))) in re 10.603 * [taylor]: Taking taylor expansion of (cos re) in re 10.603 * [taylor]: Taking taylor expansion of re in re 10.603 * [backup-simplify]: Simplify 0 into 0 10.603 * [backup-simplify]: Simplify 1 into 1 10.603 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in re 10.603 * [taylor]: Taking taylor expansion of (exp im) in re 10.603 * [taylor]: Taking taylor expansion of im in re 10.603 * [backup-simplify]: Simplify im into im 10.603 * [backup-simplify]: Simplify (exp im) into (exp im) 10.603 * [taylor]: Taking taylor expansion of (exp (- im)) in re 10.603 * [taylor]: Taking taylor expansion of (- im) in re 10.603 * [taylor]: Taking taylor expansion of im in re 10.603 * [backup-simplify]: Simplify im into im 10.603 * [backup-simplify]: Simplify (- im) into (- im) 10.603 * [backup-simplify]: Simplify (- im) into (- im) 10.603 * [backup-simplify]: Simplify (exp (- im)) into (exp (- im)) 10.603 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos re) (+ (exp im) (exp (- im))))) in im 10.603 * [taylor]: Taking taylor expansion of 0.5 in im 10.603 * [backup-simplify]: Simplify 0.5 into 0.5 10.603 * [taylor]: Taking taylor expansion of (* (cos re) (+ (exp im) (exp (- im)))) in im 10.603 * [taylor]: Taking taylor expansion of (cos re) in im 10.603 * [taylor]: Taking taylor expansion of re in im 10.603 * [backup-simplify]: Simplify re into re 10.604 * [backup-simplify]: Simplify (cos re) into (cos re) 10.604 * [backup-simplify]: Simplify (sin re) into (sin re) 10.604 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in im 10.604 * [taylor]: Taking taylor expansion of (exp im) in im 10.604 * [taylor]: Taking taylor expansion of im in im 10.604 * [backup-simplify]: Simplify 0 into 0 10.604 * [backup-simplify]: Simplify 1 into 1 10.604 * [backup-simplify]: Simplify (exp 0) into 1 10.604 * [taylor]: Taking taylor expansion of (exp (- im)) in im 10.604 * [taylor]: Taking taylor expansion of (- im) in im 10.604 * [taylor]: Taking taylor expansion of im in im 10.604 * [backup-simplify]: Simplify 0 into 0 10.604 * [backup-simplify]: Simplify 1 into 1 10.605 * [backup-simplify]: Simplify (- 0) into 0 10.605 * [backup-simplify]: Simplify (- 1) into -1 10.605 * [backup-simplify]: Simplify (exp 0) into 1 10.605 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos re) (+ (exp im) (exp (- im))))) in im 10.605 * [taylor]: Taking taylor expansion of 0.5 in im 10.605 * [backup-simplify]: Simplify 0.5 into 0.5 10.605 * [taylor]: Taking taylor expansion of (* (cos re) (+ (exp im) (exp (- im)))) in im 10.605 * [taylor]: Taking taylor expansion of (cos re) in im 10.605 * [taylor]: Taking taylor expansion of re in im 10.605 * [backup-simplify]: Simplify re into re 10.605 * [backup-simplify]: Simplify (cos re) into (cos re) 10.605 * [backup-simplify]: Simplify (sin re) into (sin re) 10.605 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in im 10.606 * [taylor]: Taking taylor expansion of (exp im) in im 10.606 * [taylor]: Taking taylor expansion of im in im 10.606 * [backup-simplify]: Simplify 0 into 0 10.606 * [backup-simplify]: Simplify 1 into 1 10.606 * [backup-simplify]: Simplify (exp 0) into 1 10.606 * [taylor]: Taking taylor expansion of (exp (- im)) in im 10.606 * [taylor]: Taking taylor expansion of (- im) in im 10.606 * [taylor]: Taking taylor expansion of im in im 10.606 * [backup-simplify]: Simplify 0 into 0 10.606 * [backup-simplify]: Simplify 1 into 1 10.606 * [backup-simplify]: Simplify (- 0) into 0 10.607 * [backup-simplify]: Simplify (- 1) into -1 10.607 * [backup-simplify]: Simplify (exp 0) into 1 10.607 * [backup-simplify]: Simplify (* (cos re) 1) into (cos re) 10.607 * [backup-simplify]: Simplify (* (sin re) 0) into 0 10.607 * [backup-simplify]: Simplify (- 0) into 0 10.607 * [backup-simplify]: Simplify (+ (cos re) 0) into (cos re) 10.608 * [backup-simplify]: Simplify (+ 1 1) into 2 10.608 * [backup-simplify]: Simplify (* (cos re) 2) into (* 2 (cos re)) 10.608 * [backup-simplify]: Simplify (* 0.5 (* 2 (cos re))) into (* 1.0 (cos re)) 10.608 * [taylor]: Taking taylor expansion of (* 1.0 (cos re)) in re 10.608 * [taylor]: Taking taylor expansion of 1.0 in re 10.608 * [backup-simplify]: Simplify 1.0 into 1.0 10.608 * [taylor]: Taking taylor expansion of (cos re) in re 10.608 * [taylor]: Taking taylor expansion of re in re 10.608 * [backup-simplify]: Simplify 0 into 0 10.608 * [backup-simplify]: Simplify 1 into 1 10.609 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 10.609 * [backup-simplify]: Simplify 1.0 into 1.0 10.610 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 10.610 * [backup-simplify]: Simplify (- 1) into -1 10.612 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 10.612 * [backup-simplify]: Simplify (+ 1 -1) into 0 10.612 * [backup-simplify]: Simplify (+ 0) into 0 10.613 * [backup-simplify]: Simplify (+ (* (cos re) 0) (* 0 1)) into 0 10.614 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 10.614 * [backup-simplify]: Simplify (+ (* (sin re) 0) (* 0 0)) into 0 10.615 * [backup-simplify]: Simplify (- 0) into 0 10.615 * [backup-simplify]: Simplify (+ 0 0) into 0 10.616 * [backup-simplify]: Simplify (+ (* (cos re) 0) (* 0 2)) into 0 10.616 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* 2 (cos re)))) into 0 10.616 * [taylor]: Taking taylor expansion of 0 in re 10.616 * [backup-simplify]: Simplify 0 into 0 10.616 * [backup-simplify]: Simplify 0 into 0 10.617 * [backup-simplify]: Simplify (+ 0) into 0 10.617 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 10.618 * [backup-simplify]: Simplify 0 into 0 10.619 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 10.620 * [backup-simplify]: Simplify (- 1) into -1 10.620 * [backup-simplify]: Simplify (- 0) into 0 10.622 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 10.623 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1 10.624 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 10.624 * [backup-simplify]: Simplify (+ (* (cos re) 0) (+ (* 0 0) (* 0 1))) into 0 10.625 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 10.626 * [backup-simplify]: Simplify (+ (* (sin re) 0) (+ (* 0 0) (* 0 0))) into 0 10.626 * [backup-simplify]: Simplify (- 0) into 0 10.627 * [backup-simplify]: Simplify (+ 0 0) into 0 10.627 * [backup-simplify]: Simplify (+ (* (cos re) 1) (+ (* 0 0) (* 0 2))) into (cos re) 10.628 * [backup-simplify]: Simplify (+ (* 0.5 (cos re)) (+ (* 0 0) (* 0 (* 2 (cos re))))) into (* 0.5 (cos re)) 10.628 * [taylor]: Taking taylor expansion of (* 0.5 (cos re)) in re 10.628 * [taylor]: Taking taylor expansion of 0.5 in re 10.628 * [backup-simplify]: Simplify 0.5 into 0.5 10.628 * [taylor]: Taking taylor expansion of (cos re) in re 10.628 * [taylor]: Taking taylor expansion of re in re 10.628 * [backup-simplify]: Simplify 0 into 0 10.628 * [backup-simplify]: Simplify 1 into 1 10.629 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 10.629 * [backup-simplify]: Simplify 0.5 into 0.5 10.629 * [backup-simplify]: Simplify 0 into 0 10.630 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2 10.632 * [backup-simplify]: Simplify (+ (* 1.0 -1/2) (+ (* 0 0) (* 0 1))) into (- 0.5) 10.632 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 10.633 * [backup-simplify]: Simplify (+ (* (- 0.5) (pow (* re 1) 2)) (+ (* 0.5 (pow (* 1 im) 2)) 1.0)) into (- (+ (* 0.5 (pow im 2)) 1.0) (* 0.5 (pow re 2))) 10.634 * [backup-simplify]: Simplify (* (* (sqrt (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) (* 0.5 (cos (/ 1 re)))) (sqrt (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) into (* 0.5 (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) 10.634 * [approximate]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in (im re) around 0 10.634 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in re 10.634 * [taylor]: Taking taylor expansion of 0.5 in re 10.634 * [backup-simplify]: Simplify 0.5 into 0.5 10.634 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) in re 10.634 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 10.634 * [taylor]: Taking taylor expansion of (/ 1 re) in re 10.634 * [taylor]: Taking taylor expansion of re in re 10.634 * [backup-simplify]: Simplify 0 into 0 10.634 * [backup-simplify]: Simplify 1 into 1 10.635 * [backup-simplify]: Simplify (/ 1 1) into 1 10.635 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 10.635 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in re 10.635 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 10.635 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 10.635 * [taylor]: Taking taylor expansion of (/ 1 im) in re 10.635 * [taylor]: Taking taylor expansion of im in re 10.635 * [backup-simplify]: Simplify im into im 10.635 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 10.635 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im)) 10.635 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im)) 10.636 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im))) 10.636 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 10.636 * [taylor]: Taking taylor expansion of (/ 1 im) in re 10.636 * [taylor]: Taking taylor expansion of im in re 10.636 * [backup-simplify]: Simplify im into im 10.636 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 10.636 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 10.636 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in im 10.636 * [taylor]: Taking taylor expansion of 0.5 in im 10.636 * [backup-simplify]: Simplify 0.5 into 0.5 10.636 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) in im 10.636 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 10.636 * [taylor]: Taking taylor expansion of (/ 1 re) in im 10.636 * [taylor]: Taking taylor expansion of re in im 10.636 * [backup-simplify]: Simplify re into re 10.636 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 10.637 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 10.637 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 10.637 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im 10.637 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 10.637 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 10.637 * [taylor]: Taking taylor expansion of (/ 1 im) in im 10.637 * [taylor]: Taking taylor expansion of im in im 10.637 * [backup-simplify]: Simplify 0 into 0 10.637 * [backup-simplify]: Simplify 1 into 1 10.638 * [backup-simplify]: Simplify (/ 1 1) into 1 10.638 * [backup-simplify]: Simplify (- 1) into -1 10.638 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im))) 10.638 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 10.638 * [taylor]: Taking taylor expansion of (/ 1 im) in im 10.638 * [taylor]: Taking taylor expansion of im in im 10.638 * [backup-simplify]: Simplify 0 into 0 10.638 * [backup-simplify]: Simplify 1 into 1 10.639 * [backup-simplify]: Simplify (/ 1 1) into 1 10.639 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 10.639 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in im 10.639 * [taylor]: Taking taylor expansion of 0.5 in im 10.639 * [backup-simplify]: Simplify 0.5 into 0.5 10.639 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) in im 10.639 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 10.639 * [taylor]: Taking taylor expansion of (/ 1 re) in im 10.639 * [taylor]: Taking taylor expansion of re in im 10.639 * [backup-simplify]: Simplify re into re 10.639 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 10.639 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 10.639 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 10.639 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im 10.639 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 10.639 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 10.639 * [taylor]: Taking taylor expansion of (/ 1 im) in im 10.639 * [taylor]: Taking taylor expansion of im in im 10.639 * [backup-simplify]: Simplify 0 into 0 10.639 * [backup-simplify]: Simplify 1 into 1 10.640 * [backup-simplify]: Simplify (/ 1 1) into 1 10.640 * [backup-simplify]: Simplify (- 1) into -1 10.640 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im))) 10.641 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 10.641 * [taylor]: Taking taylor expansion of (/ 1 im) in im 10.641 * [taylor]: Taking taylor expansion of im in im 10.641 * [backup-simplify]: Simplify 0 into 0 10.641 * [backup-simplify]: Simplify 1 into 1 10.641 * [backup-simplify]: Simplify (/ 1 1) into 1 10.641 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 10.641 * [backup-simplify]: Simplify (* (cos (/ 1 re)) 1) into (cos (/ 1 re)) 10.642 * [backup-simplify]: Simplify (* (sin (/ 1 re)) 0) into 0 10.642 * [backup-simplify]: Simplify (- 0) into 0 10.642 * [backup-simplify]: Simplify (+ (cos (/ 1 re)) 0) into (cos (/ 1 re)) 10.642 * [backup-simplify]: Simplify (+ (exp (- (/ 1 im))) (exp (/ 1 im))) into (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 10.643 * [backup-simplify]: Simplify (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) into (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) 10.643 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) into (* 0.5 (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) 10.643 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in re 10.643 * [taylor]: Taking taylor expansion of 0.5 in re 10.643 * [backup-simplify]: Simplify 0.5 into 0.5 10.643 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) in re 10.643 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 10.643 * [taylor]: Taking taylor expansion of (/ 1 re) in re 10.643 * [taylor]: Taking taylor expansion of re in re 10.643 * [backup-simplify]: Simplify 0 into 0 10.644 * [backup-simplify]: Simplify 1 into 1 10.644 * [backup-simplify]: Simplify (/ 1 1) into 1 10.645 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 10.645 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in re 10.645 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 10.645 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 10.645 * [taylor]: Taking taylor expansion of (/ 1 im) in re 10.645 * [taylor]: Taking taylor expansion of im in re 10.645 * [backup-simplify]: Simplify im into im 10.645 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 10.645 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im)) 10.645 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im)) 10.645 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im))) 10.645 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 10.645 * [taylor]: Taking taylor expansion of (/ 1 im) in re 10.645 * [taylor]: Taking taylor expansion of im in re 10.645 * [backup-simplify]: Simplify im into im 10.645 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 10.645 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 10.646 * [backup-simplify]: Simplify (+ (exp (- (/ 1 im))) (exp (/ 1 im))) into (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 10.646 * [backup-simplify]: Simplify (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) into (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) 10.646 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) into (* 0.5 (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) 10.647 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) into (* 0.5 (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) 10.648 * [backup-simplify]: Simplify (+ 0 0) into 0 10.648 * [backup-simplify]: Simplify (+ 0) into 0 10.649 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 1)) into 0 10.649 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 10.650 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 10.650 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 0)) into 0 10.651 * [backup-simplify]: Simplify (- 0) into 0 10.651 * [backup-simplify]: Simplify (+ 0 0) into 0 10.652 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) into 0 10.652 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))))) into 0 10.652 * [taylor]: Taking taylor expansion of 0 in re 10.653 * [backup-simplify]: Simplify 0 into 0 10.653 * [backup-simplify]: Simplify 0 into 0 10.653 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im)) 10.653 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 10.653 * [backup-simplify]: Simplify (- 0) into 0 10.654 * [backup-simplify]: Simplify (* (exp (- (/ 1 im))) (+ (* (/ (pow 0 1) 1)))) into 0 10.654 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 10.655 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 10.656 * [backup-simplify]: Simplify (+ 0 0) into 0 10.656 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) into 0 10.657 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))))) into 0 10.657 * [backup-simplify]: Simplify 0 into 0 10.657 * [backup-simplify]: Simplify (+ 0 0) into 0 10.658 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 10.659 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 10.659 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 10.660 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 10.660 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 10.661 * [backup-simplify]: Simplify (- 0) into 0 10.661 * [backup-simplify]: Simplify (+ 0 0) into 0 10.662 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 (+ (exp (- (/ 1 im))) (exp (/ 1 im)))))) into 0 10.663 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))))) into 0 10.663 * [taylor]: Taking taylor expansion of 0 in re 10.663 * [backup-simplify]: Simplify 0 into 0 10.663 * [backup-simplify]: Simplify 0 into 0 10.663 * [backup-simplify]: Simplify 0 into 0 10.663 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im)) 10.664 * [backup-simplify]: Simplify (- 0) into 0 10.664 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 10.664 * [backup-simplify]: Simplify (- 0) into 0 10.666 * [backup-simplify]: Simplify (* (exp (- (/ 1 im))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 10.666 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 10.667 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 10.668 * [backup-simplify]: Simplify (+ 0 0) into 0 10.669 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 (+ (exp (- (/ 1 im))) (exp (/ 1 im)))))) into 0 10.670 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im))))))) into 0 10.670 * [backup-simplify]: Simplify 0 into 0 10.670 * [backup-simplify]: Simplify (+ 0 0) into 0 10.671 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 10.672 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.672 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 10.674 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 10.675 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 10.675 * [backup-simplify]: Simplify (- 0) into 0 10.676 * [backup-simplify]: Simplify (+ 0 0) into 0 10.677 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (exp (- (/ 1 im))) (exp (/ 1 im))))))) into 0 10.678 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (cos (/ 1 re)) (+ (exp (- (/ 1 im))) (exp (/ 1 im)))))))) into 0 10.678 * [taylor]: Taking taylor expansion of 0 in re 10.678 * [backup-simplify]: Simplify 0 into 0 10.678 * [backup-simplify]: Simplify 0 into 0 10.679 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ 1 (/ 1 re))) (+ (exp (- (/ 1 (/ 1 im)))) (exp (/ 1 (/ 1 im)))))) into (* 0.5 (* (cos re) (+ (exp im) (exp (- im))))) 10.679 * [backup-simplify]: Simplify (* (* (sqrt (+ (exp (- (/ 1 (- im)))) (exp (/ 1 (- im))))) (* 0.5 (cos (/ 1 (- re))))) (sqrt (+ (exp (- (/ 1 (- im)))) (exp (/ 1 (- im)))))) into (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))) 10.679 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))) in (im re) around 0 10.679 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))) in re 10.679 * [taylor]: Taking taylor expansion of 0.5 in re 10.680 * [backup-simplify]: Simplify 0.5 into 0.5 10.680 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))) in re 10.680 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re 10.680 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 10.680 * [taylor]: Taking taylor expansion of (/ -1 im) in re 10.680 * [taylor]: Taking taylor expansion of -1 in re 10.680 * [backup-simplify]: Simplify -1 into -1 10.680 * [taylor]: Taking taylor expansion of im in re 10.680 * [backup-simplify]: Simplify im into im 10.680 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 10.680 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 10.680 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 10.680 * [taylor]: Taking taylor expansion of (/ 1 im) in re 10.680 * [taylor]: Taking taylor expansion of im in re 10.680 * [backup-simplify]: Simplify im into im 10.680 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 10.680 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 10.680 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 10.680 * [taylor]: Taking taylor expansion of (/ -1 re) in re 10.680 * [taylor]: Taking taylor expansion of -1 in re 10.680 * [backup-simplify]: Simplify -1 into -1 10.680 * [taylor]: Taking taylor expansion of re in re 10.680 * [backup-simplify]: Simplify 0 into 0 10.680 * [backup-simplify]: Simplify 1 into 1 10.681 * [backup-simplify]: Simplify (/ -1 1) into -1 10.681 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 10.681 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))) in im 10.681 * [taylor]: Taking taylor expansion of 0.5 in im 10.681 * [backup-simplify]: Simplify 0.5 into 0.5 10.681 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))) in im 10.681 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 10.681 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 10.681 * [taylor]: Taking taylor expansion of (/ -1 im) in im 10.681 * [taylor]: Taking taylor expansion of -1 in im 10.681 * [backup-simplify]: Simplify -1 into -1 10.681 * [taylor]: Taking taylor expansion of im in im 10.682 * [backup-simplify]: Simplify 0 into 0 10.682 * [backup-simplify]: Simplify 1 into 1 10.682 * [backup-simplify]: Simplify (/ -1 1) into -1 10.682 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 10.682 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 10.682 * [taylor]: Taking taylor expansion of (/ 1 im) in im 10.682 * [taylor]: Taking taylor expansion of im in im 10.682 * [backup-simplify]: Simplify 0 into 0 10.682 * [backup-simplify]: Simplify 1 into 1 10.683 * [backup-simplify]: Simplify (/ 1 1) into 1 10.683 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 10.683 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 10.683 * [taylor]: Taking taylor expansion of (/ -1 re) in im 10.683 * [taylor]: Taking taylor expansion of -1 in im 10.683 * [backup-simplify]: Simplify -1 into -1 10.683 * [taylor]: Taking taylor expansion of re in im 10.683 * [backup-simplify]: Simplify re into re 10.683 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 10.683 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 10.683 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 10.683 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))) in im 10.683 * [taylor]: Taking taylor expansion of 0.5 in im 10.683 * [backup-simplify]: Simplify 0.5 into 0.5 10.683 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))) in im 10.683 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 10.683 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 10.683 * [taylor]: Taking taylor expansion of (/ -1 im) in im 10.683 * [taylor]: Taking taylor expansion of -1 in im 10.684 * [backup-simplify]: Simplify -1 into -1 10.684 * [taylor]: Taking taylor expansion of im in im 10.684 * [backup-simplify]: Simplify 0 into 0 10.684 * [backup-simplify]: Simplify 1 into 1 10.684 * [backup-simplify]: Simplify (/ -1 1) into -1 10.684 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 10.684 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 10.684 * [taylor]: Taking taylor expansion of (/ 1 im) in im 10.684 * [taylor]: Taking taylor expansion of im in im 10.685 * [backup-simplify]: Simplify 0 into 0 10.685 * [backup-simplify]: Simplify 1 into 1 10.685 * [backup-simplify]: Simplify (/ 1 1) into 1 10.685 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 10.685 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 10.685 * [taylor]: Taking taylor expansion of (/ -1 re) in im 10.685 * [taylor]: Taking taylor expansion of -1 in im 10.685 * [backup-simplify]: Simplify -1 into -1 10.685 * [taylor]: Taking taylor expansion of re in im 10.685 * [backup-simplify]: Simplify re into re 10.685 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 10.685 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 10.685 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 10.686 * [backup-simplify]: Simplify (+ (exp (/ -1 im)) (exp (/ 1 im))) into (+ (exp (/ -1 im)) (exp (/ 1 im))) 10.686 * [backup-simplify]: Simplify (* (cos (/ -1 re)) 1) into (cos (/ -1 re)) 10.686 * [backup-simplify]: Simplify (* (sin (/ -1 re)) 0) into 0 10.686 * [backup-simplify]: Simplify (- 0) into 0 10.687 * [backup-simplify]: Simplify (+ (cos (/ -1 re)) 0) into (cos (/ -1 re)) 10.687 * [backup-simplify]: Simplify (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))) into (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))) 10.687 * [backup-simplify]: Simplify (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))) into (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))) 10.687 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))) in re 10.687 * [taylor]: Taking taylor expansion of 0.5 in re 10.687 * [backup-simplify]: Simplify 0.5 into 0.5 10.687 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))) in re 10.687 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re 10.687 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 10.687 * [taylor]: Taking taylor expansion of (/ -1 im) in re 10.687 * [taylor]: Taking taylor expansion of -1 in re 10.687 * [backup-simplify]: Simplify -1 into -1 10.688 * [taylor]: Taking taylor expansion of im in re 10.688 * [backup-simplify]: Simplify im into im 10.688 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 10.688 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 10.688 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 10.688 * [taylor]: Taking taylor expansion of (/ 1 im) in re 10.688 * [taylor]: Taking taylor expansion of im in re 10.688 * [backup-simplify]: Simplify im into im 10.688 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 10.688 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 10.688 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 10.688 * [taylor]: Taking taylor expansion of (/ -1 re) in re 10.688 * [taylor]: Taking taylor expansion of -1 in re 10.688 * [backup-simplify]: Simplify -1 into -1 10.688 * [taylor]: Taking taylor expansion of re in re 10.688 * [backup-simplify]: Simplify 0 into 0 10.688 * [backup-simplify]: Simplify 1 into 1 10.689 * [backup-simplify]: Simplify (/ -1 1) into -1 10.689 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 10.689 * [backup-simplify]: Simplify (+ (exp (/ -1 im)) (exp (/ 1 im))) into (+ (exp (/ -1 im)) (exp (/ 1 im))) 10.690 * [backup-simplify]: Simplify (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))) into (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))) 10.690 * [backup-simplify]: Simplify (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))) into (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))) 10.690 * [backup-simplify]: Simplify (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))) into (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))) 10.691 * [backup-simplify]: Simplify (+ 0) into 0 10.691 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 1)) into 0 10.692 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0 10.693 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 10.693 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 0)) into 0 10.693 * [backup-simplify]: Simplify (- 0) into 0 10.694 * [backup-simplify]: Simplify (+ 0 0) into 0 10.694 * [backup-simplify]: Simplify (+ 0 0) into 0 10.695 * [backup-simplify]: Simplify (+ (* (+ (exp (/ -1 im)) (exp (/ 1 im))) 0) (* 0 (cos (/ -1 re)))) into 0 10.695 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))))) into 0 10.695 * [taylor]: Taking taylor expansion of 0 in re 10.695 * [backup-simplify]: Simplify 0 into 0 10.695 * [backup-simplify]: Simplify 0 into 0 10.696 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0 10.697 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 10.697 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 10.698 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 10.698 * [backup-simplify]: Simplify (+ 0 0) into 0 10.699 * [backup-simplify]: Simplify (+ (* (+ (exp (/ -1 im)) (exp (/ 1 im))) 0) (* 0 (cos (/ -1 re)))) into 0 10.700 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))))) into 0 10.700 * [backup-simplify]: Simplify 0 into 0 10.701 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 10.701 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 10.702 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 10.702 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 10.703 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 10.703 * [backup-simplify]: Simplify (- 0) into 0 10.704 * [backup-simplify]: Simplify (+ 0 0) into 0 10.704 * [backup-simplify]: Simplify (+ 0 0) into 0 10.705 * [backup-simplify]: Simplify (+ (* (+ (exp (/ -1 im)) (exp (/ 1 im))) 0) (+ (* 0 0) (* 0 (cos (/ -1 re))))) into 0 10.706 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))))) into 0 10.706 * [taylor]: Taking taylor expansion of 0 in re 10.706 * [backup-simplify]: Simplify 0 into 0 10.706 * [backup-simplify]: Simplify 0 into 0 10.706 * [backup-simplify]: Simplify 0 into 0 10.706 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 10.708 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 10.708 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 10.710 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 10.710 * [backup-simplify]: Simplify (+ 0 0) into 0 10.715 * [backup-simplify]: Simplify (+ (* (+ (exp (/ -1 im)) (exp (/ 1 im))) 0) (+ (* 0 0) (* 0 (cos (/ -1 re))))) into 0 10.716 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re)))))) into 0 10.716 * [backup-simplify]: Simplify 0 into 0 10.717 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 10.718 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.719 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 10.720 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 10.721 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 10.721 * [backup-simplify]: Simplify (- 0) into 0 10.722 * [backup-simplify]: Simplify (+ 0 0) into 0 10.722 * [backup-simplify]: Simplify (+ 0 0) into 0 10.723 * [backup-simplify]: Simplify (+ (* (+ (exp (/ -1 im)) (exp (/ 1 im))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 re)))))) into 0 10.725 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (cos (/ -1 re))))))) into 0 10.725 * [taylor]: Taking taylor expansion of 0 in re 10.725 * [backup-simplify]: Simplify 0 into 0 10.725 * [backup-simplify]: Simplify 0 into 0 10.725 * [backup-simplify]: Simplify (* 0.5 (* (+ (exp (/ -1 (/ 1 (- im)))) (exp (/ 1 (/ 1 (- im))))) (cos (/ -1 (/ 1 (- re)))))) into (* 0.5 (* (+ (exp (* -1 im)) (exp im)) (cos re))) 10.726 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 10.726 * [backup-simplify]: Simplify (* (sqrt (+ (exp (- im)) (exp im))) (* 0.5 (cos re))) into (* 0.5 (* (cos re) (sqrt (+ (exp im) (exp (- im)))))) 10.726 * [approximate]: Taking taylor expansion of (* 0.5 (* (cos re) (sqrt (+ (exp im) (exp (- im)))))) in (im re) around 0 10.726 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos re) (sqrt (+ (exp im) (exp (- im)))))) in re 10.726 * [taylor]: Taking taylor expansion of 0.5 in re 10.726 * [backup-simplify]: Simplify 0.5 into 0.5 10.726 * [taylor]: Taking taylor expansion of (* (cos re) (sqrt (+ (exp im) (exp (- im))))) in re 10.726 * [taylor]: Taking taylor expansion of (cos re) in re 10.726 * [taylor]: Taking taylor expansion of re in re 10.726 * [backup-simplify]: Simplify 0 into 0 10.726 * [backup-simplify]: Simplify 1 into 1 10.726 * [taylor]: Taking taylor expansion of (sqrt (+ (exp im) (exp (- im)))) in re 10.726 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in re 10.726 * [taylor]: Taking taylor expansion of (exp im) in re 10.726 * [taylor]: Taking taylor expansion of im in re 10.726 * [backup-simplify]: Simplify im into im 10.727 * [backup-simplify]: Simplify (exp im) into (exp im) 10.727 * [taylor]: Taking taylor expansion of (exp (- im)) in re 10.727 * [taylor]: Taking taylor expansion of (- im) in re 10.727 * [taylor]: Taking taylor expansion of im in re 10.727 * [backup-simplify]: Simplify im into im 10.727 * [backup-simplify]: Simplify (- im) into (- im) 10.727 * [backup-simplify]: Simplify (- im) into (- im) 10.727 * [backup-simplify]: Simplify (exp (- im)) into (exp (- im)) 10.727 * [backup-simplify]: Simplify (+ (exp im) (exp (- im))) into (+ (exp im) (exp (- im))) 10.727 * [backup-simplify]: Simplify (sqrt (+ (exp im) (exp (- im)))) into (sqrt (+ (exp im) (exp (- im)))) 10.729 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 1) 1)))) into 0 10.729 * [backup-simplify]: Simplify (- im) into (- im) 10.730 * [backup-simplify]: Simplify (- 0) into 0 10.732 * [backup-simplify]: Simplify (* (exp (- im)) (+ (* (/ (pow 0 1) 1)))) into 0 10.733 * [backup-simplify]: Simplify (+ 0 0) into 0 10.734 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp im) (exp (- im)))))) into 0 10.734 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos re) (sqrt (+ (exp im) (exp (- im)))))) in im 10.734 * [taylor]: Taking taylor expansion of 0.5 in im 10.734 * [backup-simplify]: Simplify 0.5 into 0.5 10.734 * [taylor]: Taking taylor expansion of (* (cos re) (sqrt (+ (exp im) (exp (- im))))) in im 10.734 * [taylor]: Taking taylor expansion of (cos re) in im 10.734 * [taylor]: Taking taylor expansion of re in im 10.734 * [backup-simplify]: Simplify re into re 10.734 * [backup-simplify]: Simplify (cos re) into (cos re) 10.734 * [backup-simplify]: Simplify (sin re) into (sin re) 10.734 * [taylor]: Taking taylor expansion of (sqrt (+ (exp im) (exp (- im)))) in im 10.734 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in im 10.734 * [taylor]: Taking taylor expansion of (exp im) in im 10.734 * [taylor]: Taking taylor expansion of im in im 10.734 * [backup-simplify]: Simplify 0 into 0 10.734 * [backup-simplify]: Simplify 1 into 1 10.734 * [backup-simplify]: Simplify (exp 0) into 1 10.734 * [taylor]: Taking taylor expansion of (exp (- im)) in im 10.734 * [taylor]: Taking taylor expansion of (- im) in im 10.735 * [taylor]: Taking taylor expansion of im in im 10.735 * [backup-simplify]: Simplify 0 into 0 10.735 * [backup-simplify]: Simplify 1 into 1 10.736 * [backup-simplify]: Simplify (- 0) into 0 10.737 * [backup-simplify]: Simplify (- 1) into -1 10.737 * [backup-simplify]: Simplify (exp 0) into 1 10.738 * [backup-simplify]: Simplify (+ 1 1) into 2 10.739 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2) 10.740 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 10.741 * [backup-simplify]: Simplify (- 1) into -1 10.743 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 10.744 * [backup-simplify]: Simplify (+ 1 -1) into 0 10.745 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2))) into 0 10.745 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos re) (sqrt (+ (exp im) (exp (- im)))))) in im 10.746 * [taylor]: Taking taylor expansion of 0.5 in im 10.746 * [backup-simplify]: Simplify 0.5 into 0.5 10.746 * [taylor]: Taking taylor expansion of (* (cos re) (sqrt (+ (exp im) (exp (- im))))) in im 10.746 * [taylor]: Taking taylor expansion of (cos re) in im 10.746 * [taylor]: Taking taylor expansion of re in im 10.746 * [backup-simplify]: Simplify re into re 10.746 * [backup-simplify]: Simplify (cos re) into (cos re) 10.746 * [backup-simplify]: Simplify (sin re) into (sin re) 10.746 * [taylor]: Taking taylor expansion of (sqrt (+ (exp im) (exp (- im)))) in im 10.746 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in im 10.746 * [taylor]: Taking taylor expansion of (exp im) in im 10.746 * [taylor]: Taking taylor expansion of im in im 10.746 * [backup-simplify]: Simplify 0 into 0 10.746 * [backup-simplify]: Simplify 1 into 1 10.746 * [backup-simplify]: Simplify (exp 0) into 1 10.746 * [taylor]: Taking taylor expansion of (exp (- im)) in im 10.746 * [taylor]: Taking taylor expansion of (- im) in im 10.746 * [taylor]: Taking taylor expansion of im in im 10.746 * [backup-simplify]: Simplify 0 into 0 10.746 * [backup-simplify]: Simplify 1 into 1 10.748 * [backup-simplify]: Simplify (- 0) into 0 10.748 * [backup-simplify]: Simplify (- 1) into -1 10.748 * [backup-simplify]: Simplify (exp 0) into 1 10.748 * [backup-simplify]: Simplify (+ 1 1) into 2 10.749 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2) 10.750 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 10.750 * [backup-simplify]: Simplify (- 1) into -1 10.752 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 10.752 * [backup-simplify]: Simplify (+ 1 -1) into 0 10.753 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2))) into 0 10.753 * [backup-simplify]: Simplify (* (cos re) 1) into (cos re) 10.753 * [backup-simplify]: Simplify (* (sin re) 0) into 0 10.753 * [backup-simplify]: Simplify (- 0) into 0 10.753 * [backup-simplify]: Simplify (+ (cos re) 0) into (cos re) 10.754 * [backup-simplify]: Simplify (* (cos re) (sqrt 2)) into (* (sqrt 2) (cos re)) 10.754 * [backup-simplify]: Simplify (* 0.5 (* (sqrt 2) (cos re))) into (* 0.5 (* (sqrt 2) (cos re))) 10.754 * [taylor]: Taking taylor expansion of (* 0.5 (* (sqrt 2) (cos re))) in re 10.754 * [taylor]: Taking taylor expansion of 0.5 in re 10.754 * [backup-simplify]: Simplify 0.5 into 0.5 10.754 * [taylor]: Taking taylor expansion of (* (sqrt 2) (cos re)) in re 10.755 * [taylor]: Taking taylor expansion of (sqrt 2) in re 10.755 * [taylor]: Taking taylor expansion of 2 in re 10.755 * [backup-simplify]: Simplify 2 into 2 10.755 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2) 10.756 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2))) into 0 10.756 * [taylor]: Taking taylor expansion of (cos re) in re 10.756 * [taylor]: Taking taylor expansion of re in re 10.756 * [backup-simplify]: Simplify 0 into 0 10.756 * [backup-simplify]: Simplify 1 into 1 10.757 * [backup-simplify]: Simplify (* (sqrt 2) 1) into (sqrt 2) 10.757 * [backup-simplify]: Simplify (* 0.5 (sqrt 2)) into (* 0.5 (sqrt 2)) 10.758 * [backup-simplify]: Simplify (* 0.5 (sqrt 2)) into (* 0.5 (sqrt 2)) 10.759 * [backup-simplify]: Simplify (+ 0) into 0 10.759 * [backup-simplify]: Simplify (+ (* (cos re) 0) (* 0 1)) into 0 10.760 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 10.760 * [backup-simplify]: Simplify (+ (* (sin re) 0) (* 0 0)) into 0 10.761 * [backup-simplify]: Simplify (- 0) into 0 10.761 * [backup-simplify]: Simplify (+ 0 0) into 0 10.762 * [backup-simplify]: Simplify (+ (* (cos re) 0) (* 0 (sqrt 2))) into 0 10.763 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (sqrt 2) (cos re)))) into 0 10.763 * [taylor]: Taking taylor expansion of 0 in re 10.763 * [backup-simplify]: Simplify 0 into 0 10.763 * [backup-simplify]: Simplify 0 into 0 10.763 * [backup-simplify]: Simplify (+ 0) into 0 10.764 * [backup-simplify]: Simplify (+ (* (sqrt 2) 0) (* 0 1)) into 0 10.765 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (sqrt 2))) into 0 10.765 * [backup-simplify]: Simplify 0 into 0 10.767 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 10.767 * [backup-simplify]: Simplify (- 1) into -1 10.768 * [backup-simplify]: Simplify (- 0) into 0 10.769 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 10.770 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1 10.772 * [backup-simplify]: Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2)) 10.773 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 10.774 * [backup-simplify]: Simplify (+ (* (cos re) 0) (+ (* 0 0) (* 0 1))) into 0 10.775 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 10.775 * [backup-simplify]: Simplify (+ (* (sin re) 0) (+ (* 0 0) (* 0 0))) into 0 10.776 * [backup-simplify]: Simplify (- 0) into 0 10.776 * [backup-simplify]: Simplify (+ 0 0) into 0 10.778 * [backup-simplify]: Simplify (+ (* (cos re) (/ 1/2 (sqrt 2))) (+ (* 0 0) (* 0 (sqrt 2)))) into (* 1/2 (/ (cos re) (sqrt 2))) 10.779 * [backup-simplify]: Simplify (+ (* 0.5 (* 1/2 (/ (cos re) (sqrt 2)))) (+ (* 0 0) (* 0 (* (sqrt 2) (cos re))))) into (* 0.25 (/ (cos re) (sqrt 2))) 10.779 * [taylor]: Taking taylor expansion of (* 0.25 (/ (cos re) (sqrt 2))) in re 10.779 * [taylor]: Taking taylor expansion of 0.25 in re 10.779 * [backup-simplify]: Simplify 0.25 into 0.25 10.779 * [taylor]: Taking taylor expansion of (/ (cos re) (sqrt 2)) in re 10.779 * [taylor]: Taking taylor expansion of (cos re) in re 10.779 * [taylor]: Taking taylor expansion of re in re 10.779 * [backup-simplify]: Simplify 0 into 0 10.779 * [backup-simplify]: Simplify 1 into 1 10.779 * [taylor]: Taking taylor expansion of (sqrt 2) in re 10.779 * [taylor]: Taking taylor expansion of 2 in re 10.779 * [backup-simplify]: Simplify 2 into 2 10.780 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2) 10.780 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2))) into 0 10.781 * [backup-simplify]: Simplify (/ 1 (sqrt 2)) into (/ 1 (sqrt 2)) 10.783 * [backup-simplify]: Simplify (* 0.25 (/ 1 (sqrt 2))) into (/ 0.25 (sqrt 2)) 10.784 * [backup-simplify]: Simplify (/ 0.25 (sqrt 2)) into (/ 0.25 (sqrt 2)) 10.784 * [backup-simplify]: Simplify 0 into 0 10.785 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2 10.786 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 2))) into 0 10.789 * [backup-simplify]: Simplify (+ (* (sqrt 2) -1/2) (+ (* 0 0) (* 0 1))) into (- (* 1/2 (sqrt 2))) 10.793 * [backup-simplify]: Simplify (+ (* 0.5 (- (* 1/2 (sqrt 2)))) (+ (* 0 0) (* 0 (sqrt 2)))) into (- (* 0.25 (sqrt 2))) 10.795 * [backup-simplify]: Simplify (- (* 0.25 (sqrt 2))) into (- (* 0.25 (sqrt 2))) 10.798 * [backup-simplify]: Simplify (+ (* (- (* 0.25 (sqrt 2))) (pow (* re 1) 2)) (+ (* (/ 0.25 (sqrt 2)) (pow (* 1 im) 2)) (* 0.5 (sqrt 2)))) into (- (+ (* 0.5 (sqrt 2)) (* 0.25 (/ (pow im 2) (sqrt 2)))) (* 0.25 (* (pow re 2) (sqrt 2)))) 10.799 * [backup-simplify]: Simplify (* (sqrt (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) (* 0.5 (cos (/ 1 re)))) into (* 0.5 (* (cos (/ 1 re)) (sqrt (+ (exp (- (/ 1 im))) (exp (/ 1 im)))))) 10.799 * [approximate]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (sqrt (+ (exp (- (/ 1 im))) (exp (/ 1 im)))))) in (im re) around 0 10.799 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (sqrt (+ (exp (- (/ 1 im))) (exp (/ 1 im)))))) in re 10.799 * [taylor]: Taking taylor expansion of 0.5 in re 10.799 * [backup-simplify]: Simplify 0.5 into 0.5 10.799 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (sqrt (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in re 10.799 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 10.799 * [taylor]: Taking taylor expansion of (/ 1 re) in re 10.799 * [taylor]: Taking taylor expansion of re in re 10.799 * [backup-simplify]: Simplify 0 into 0 10.799 * [backup-simplify]: Simplify 1 into 1 10.800 * [backup-simplify]: Simplify (/ 1 1) into 1 10.800 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 10.800 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) in re 10.800 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in re 10.800 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 10.800 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 10.800 * [taylor]: Taking taylor expansion of (/ 1 im) in re 10.800 * [taylor]: Taking taylor expansion of im in re 10.800 * [backup-simplify]: Simplify im into im 10.800 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 10.800 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im)) 10.800 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im)) 10.800 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im))) 10.801 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 10.801 * [taylor]: Taking taylor expansion of (/ 1 im) in re 10.801 * [taylor]: Taking taylor expansion of im in re 10.801 * [backup-simplify]: Simplify im into im 10.801 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 10.801 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 10.801 * [backup-simplify]: Simplify (+ (exp (- (/ 1 im))) (exp (/ 1 im))) into (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 10.801 * [backup-simplify]: Simplify (sqrt (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) into (sqrt (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) 10.801 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im)) 10.801 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 10.802 * [backup-simplify]: Simplify (- 0) into 0 10.803 * [backup-simplify]: Simplify (* (exp (- (/ 1 im))) (+ (* (/ (pow 0 1) 1)))) into 0 10.803 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 10.804 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 10.804 * [backup-simplify]: Simplify (+ 0 0) into 0 10.804 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (- (/ 1 im))) (exp (/ 1 im)))))) into 0 10.804 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (sqrt (+ (exp (- (/ 1 im))) (exp (/ 1 im)))))) in im 10.804 * [taylor]: Taking taylor expansion of 0.5 in im 10.804 * [backup-simplify]: Simplify 0.5 into 0.5 10.805 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (sqrt (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in im 10.805 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 10.805 * [taylor]: Taking taylor expansion of (/ 1 re) in im 10.805 * [taylor]: Taking taylor expansion of re in im 10.805 * [backup-simplify]: Simplify re into re 10.805 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 10.805 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 10.805 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 10.805 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) in im 10.805 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im 10.805 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 10.805 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 10.805 * [taylor]: Taking taylor expansion of (/ 1 im) in im 10.805 * [taylor]: Taking taylor expansion of im in im 10.805 * [backup-simplify]: Simplify 0 into 0 10.805 * [backup-simplify]: Simplify 1 into 1 10.805 * [backup-simplify]: Simplify (/ 1 1) into 1 10.806 * [backup-simplify]: Simplify (- 1) into -1 10.806 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im))) 10.806 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 10.806 * [taylor]: Taking taylor expansion of (/ 1 im) in im 10.806 * [taylor]: Taking taylor expansion of im in im 10.806 * [backup-simplify]: Simplify 0 into 0 10.806 * [backup-simplify]: Simplify 1 into 1 10.807 * [backup-simplify]: Simplify (/ 1 1) into 1 10.807 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 10.807 * [backup-simplify]: Simplify (+ (exp (- (/ 1 im))) (exp (/ 1 im))) into (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 10.807 * [backup-simplify]: Simplify (sqrt (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) into (sqrt (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) 10.807 * [backup-simplify]: Simplify (+ 0 0) into 0 10.808 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (- (/ 1 im))) (exp (/ 1 im)))))) into 0 10.808 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (sqrt (+ (exp (- (/ 1 im))) (exp (/ 1 im)))))) in im 10.808 * [taylor]: Taking taylor expansion of 0.5 in im 10.808 * [backup-simplify]: Simplify 0.5 into 0.5 10.808 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (sqrt (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in im 10.808 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in im 10.808 * [taylor]: Taking taylor expansion of (/ 1 re) in im 10.808 * [taylor]: Taking taylor expansion of re in im 10.808 * [backup-simplify]: Simplify re into re 10.808 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 10.808 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 10.808 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 10.808 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) in im 10.808 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im 10.808 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 10.808 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 10.808 * [taylor]: Taking taylor expansion of (/ 1 im) in im 10.808 * [taylor]: Taking taylor expansion of im in im 10.808 * [backup-simplify]: Simplify 0 into 0 10.808 * [backup-simplify]: Simplify 1 into 1 10.809 * [backup-simplify]: Simplify (/ 1 1) into 1 10.809 * [backup-simplify]: Simplify (- 1) into -1 10.809 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im))) 10.809 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 10.809 * [taylor]: Taking taylor expansion of (/ 1 im) in im 10.809 * [taylor]: Taking taylor expansion of im in im 10.809 * [backup-simplify]: Simplify 0 into 0 10.810 * [backup-simplify]: Simplify 1 into 1 10.810 * [backup-simplify]: Simplify (/ 1 1) into 1 10.810 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 10.810 * [backup-simplify]: Simplify (+ (exp (- (/ 1 im))) (exp (/ 1 im))) into (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 10.810 * [backup-simplify]: Simplify (sqrt (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) into (sqrt (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) 10.811 * [backup-simplify]: Simplify (+ 0 0) into 0 10.811 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (- (/ 1 im))) (exp (/ 1 im)))))) into 0 10.811 * [backup-simplify]: Simplify (* (cos (/ 1 re)) 1) into (cos (/ 1 re)) 10.811 * [backup-simplify]: Simplify (* (sin (/ 1 re)) 0) into 0 10.812 * [backup-simplify]: Simplify (- 0) into 0 10.812 * [backup-simplify]: Simplify (+ (cos (/ 1 re)) 0) into (cos (/ 1 re)) 10.812 * [backup-simplify]: Simplify (* (cos (/ 1 re)) (sqrt (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) into (* (cos (/ 1 re)) (sqrt (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) 10.812 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ 1 re)) (sqrt (+ (exp (- (/ 1 im))) (exp (/ 1 im)))))) into (* 0.5 (* (cos (/ 1 re)) (sqrt (+ (exp (- (/ 1 im))) (exp (/ 1 im)))))) 10.813 * [taylor]: Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (sqrt (+ (exp (- (/ 1 im))) (exp (/ 1 im)))))) in re 10.813 * [taylor]: Taking taylor expansion of 0.5 in re 10.813 * [backup-simplify]: Simplify 0.5 into 0.5 10.813 * [taylor]: Taking taylor expansion of (* (cos (/ 1 re)) (sqrt (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) in re 10.813 * [taylor]: Taking taylor expansion of (cos (/ 1 re)) in re 10.813 * [taylor]: Taking taylor expansion of (/ 1 re) in re 10.813 * [taylor]: Taking taylor expansion of re in re 10.813 * [backup-simplify]: Simplify 0 into 0 10.813 * [backup-simplify]: Simplify 1 into 1 10.813 * [backup-simplify]: Simplify (/ 1 1) into 1 10.813 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 10.813 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) in re 10.813 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in re 10.813 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 10.813 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 10.813 * [taylor]: Taking taylor expansion of (/ 1 im) in re 10.813 * [taylor]: Taking taylor expansion of im in re 10.814 * [backup-simplify]: Simplify im into im 10.814 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 10.814 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im)) 10.814 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im)) 10.814 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im))) 10.814 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 10.814 * [taylor]: Taking taylor expansion of (/ 1 im) in re 10.814 * [taylor]: Taking taylor expansion of im in re 10.814 * [backup-simplify]: Simplify im into im 10.814 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 10.814 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 10.814 * [backup-simplify]: Simplify (+ (exp (- (/ 1 im))) (exp (/ 1 im))) into (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 10.815 * [backup-simplify]: Simplify (sqrt (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) into (sqrt (+ (exp (- (/ 1 im))) (exp (/ 1 im)))) 10.815 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im)) 10.815 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 10.815 * [backup-simplify]: Simplify (- 0) into 0 10.816 * [backup-simplify]: Simplify (* (exp (- (/ 1 im))) (+ (* (/ (pow 0 1) 1)))) into 0 10.816 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 10.817 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 10.818 * [backup-simplify]: Simplify (+ 0 0) into 0 10.818 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (- (/ 1 im))) (exp (/ 1 im)))))) into 0 10.818 * [backup-simplify]: Simplify (* (cos (/ 1 re)) (sqrt (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) into (* (cos (/ 1 re)) (sqrt (+ (exp (- (/ 1 im))) (exp (/ 1 im))))) 10.819 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ 1 re)) (sqrt (+ (exp (- (/ 1 im))) (exp (/ 1 im)))))) into (* 0.5 (* (cos (/ 1 re)) (sqrt (+ (exp (- (/ 1 im))) (exp (/ 1 im)))))) 10.819 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ 1 re)) (sqrt (+ (exp (- (/ 1 im))) (exp (/ 1 im)))))) into (* 0.5 (* (cos (/ 1 re)) (sqrt (+ (exp (- (/ 1 im))) (exp (/ 1 im)))))) 10.819 * [backup-simplify]: Simplify (+ 0) into 0 10.820 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 1)) into 0 10.820 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 10.821 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 10.821 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 0)) into 0 10.822 * [backup-simplify]: Simplify (- 0) into 0 10.822 * [backup-simplify]: Simplify (+ 0 0) into 0 10.822 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 (sqrt (+ (exp (- (/ 1 im))) (exp (/ 1 im)))))) into 0 10.823 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (cos (/ 1 re)) (sqrt (+ (exp (- (/ 1 im))) (exp (/ 1 im))))))) into 0 10.823 * [taylor]: Taking taylor expansion of 0 in re 10.823 * [backup-simplify]: Simplify 0 into 0 10.823 * [backup-simplify]: Simplify 0 into 0 10.824 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 (sqrt (+ (exp (- (/ 1 im))) (exp (/ 1 im)))))) into 0 10.824 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (cos (/ 1 re)) (sqrt (+ (exp (- (/ 1 im))) (exp (/ 1 im))))))) into 0 10.825 * [backup-simplify]: Simplify 0 into 0 10.825 * [backup-simplify]: Simplify (+ 0 0) into 0 10.826 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (- (/ 1 im))) (exp (/ 1 im)))))) into 0 10.827 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 10.827 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 10.828 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 10.828 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 10.829 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 10.829 * [backup-simplify]: Simplify (- 0) into 0 10.830 * [backup-simplify]: Simplify (+ 0 0) into 0 10.831 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 (sqrt (+ (exp (- (/ 1 im))) (exp (/ 1 im))))))) into 0 10.832 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ 1 re)) (sqrt (+ (exp (- (/ 1 im))) (exp (/ 1 im)))))))) into 0 10.832 * [taylor]: Taking taylor expansion of 0 in re 10.832 * [backup-simplify]: Simplify 0 into 0 10.832 * [backup-simplify]: Simplify 0 into 0 10.832 * [backup-simplify]: Simplify 0 into 0 10.832 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im)) 10.832 * [backup-simplify]: Simplify (- 0) into 0 10.832 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 10.833 * [backup-simplify]: Simplify (- 0) into 0 10.834 * [backup-simplify]: Simplify (* (exp (- (/ 1 im))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 10.834 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 10.836 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 10.836 * [backup-simplify]: Simplify (+ 0 0) into 0 10.837 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (- (/ 1 im))) (exp (/ 1 im)))))) into 0 10.838 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 (sqrt (+ (exp (- (/ 1 im))) (exp (/ 1 im))))))) into 0 10.839 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ 1 re)) (sqrt (+ (exp (- (/ 1 im))) (exp (/ 1 im)))))))) into 0 10.839 * [backup-simplify]: Simplify 0 into 0 10.840 * [backup-simplify]: Simplify (+ 0 0) into 0 10.841 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (- (/ 1 im))) (exp (/ 1 im)))))) into 0 10.842 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 10.842 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.843 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 10.844 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 10.845 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 10.845 * [backup-simplify]: Simplify (- 0) into 0 10.846 * [backup-simplify]: Simplify (+ 0 0) into 0 10.847 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (+ (exp (- (/ 1 im))) (exp (/ 1 im)))))))) into 0 10.848 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (cos (/ 1 re)) (sqrt (+ (exp (- (/ 1 im))) (exp (/ 1 im))))))))) into 0 10.848 * [taylor]: Taking taylor expansion of 0 in re 10.848 * [backup-simplify]: Simplify 0 into 0 10.848 * [backup-simplify]: Simplify 0 into 0 10.849 * [backup-simplify]: Simplify (* 0.5 (* (cos (/ 1 (/ 1 re))) (sqrt (+ (exp (- (/ 1 (/ 1 im)))) (exp (/ 1 (/ 1 im))))))) into (* 0.5 (* (cos re) (sqrt (+ (exp im) (exp (- im)))))) 10.849 * [backup-simplify]: Simplify (* (sqrt (+ (exp (- (/ 1 (- im)))) (exp (/ 1 (- im))))) (* 0.5 (cos (/ 1 (- re))))) into (* 0.5 (* (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) (cos (/ -1 re)))) 10.849 * [approximate]: Taking taylor expansion of (* 0.5 (* (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) (cos (/ -1 re)))) in (im re) around 0 10.849 * [taylor]: Taking taylor expansion of (* 0.5 (* (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) (cos (/ -1 re)))) in re 10.849 * [taylor]: Taking taylor expansion of 0.5 in re 10.849 * [backup-simplify]: Simplify 0.5 into 0.5 10.849 * [taylor]: Taking taylor expansion of (* (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) (cos (/ -1 re))) in re 10.849 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) in re 10.850 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re 10.850 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 10.850 * [taylor]: Taking taylor expansion of (/ -1 im) in re 10.850 * [taylor]: Taking taylor expansion of -1 in re 10.850 * [backup-simplify]: Simplify -1 into -1 10.850 * [taylor]: Taking taylor expansion of im in re 10.850 * [backup-simplify]: Simplify im into im 10.850 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 10.850 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 10.850 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 10.850 * [taylor]: Taking taylor expansion of (/ 1 im) in re 10.850 * [taylor]: Taking taylor expansion of im in re 10.850 * [backup-simplify]: Simplify im into im 10.850 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 10.850 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 10.850 * [backup-simplify]: Simplify (+ (exp (/ -1 im)) (exp (/ 1 im))) into (+ (exp (/ -1 im)) (exp (/ 1 im))) 10.850 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) into (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) 10.851 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0 10.852 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 10.852 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 10.853 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 10.853 * [backup-simplify]: Simplify (+ 0 0) into 0 10.854 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))))) into 0 10.854 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 10.854 * [taylor]: Taking taylor expansion of (/ -1 re) in re 10.854 * [taylor]: Taking taylor expansion of -1 in re 10.854 * [backup-simplify]: Simplify -1 into -1 10.854 * [taylor]: Taking taylor expansion of re in re 10.854 * [backup-simplify]: Simplify 0 into 0 10.854 * [backup-simplify]: Simplify 1 into 1 10.854 * [backup-simplify]: Simplify (/ -1 1) into -1 10.854 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 10.854 * [taylor]: Taking taylor expansion of (* 0.5 (* (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) (cos (/ -1 re)))) in im 10.854 * [taylor]: Taking taylor expansion of 0.5 in im 10.855 * [backup-simplify]: Simplify 0.5 into 0.5 10.855 * [taylor]: Taking taylor expansion of (* (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) (cos (/ -1 re))) in im 10.855 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) in im 10.855 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 10.855 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 10.855 * [taylor]: Taking taylor expansion of (/ -1 im) in im 10.855 * [taylor]: Taking taylor expansion of -1 in im 10.855 * [backup-simplify]: Simplify -1 into -1 10.855 * [taylor]: Taking taylor expansion of im in im 10.855 * [backup-simplify]: Simplify 0 into 0 10.855 * [backup-simplify]: Simplify 1 into 1 10.855 * [backup-simplify]: Simplify (/ -1 1) into -1 10.855 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 10.855 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 10.855 * [taylor]: Taking taylor expansion of (/ 1 im) in im 10.855 * [taylor]: Taking taylor expansion of im in im 10.855 * [backup-simplify]: Simplify 0 into 0 10.856 * [backup-simplify]: Simplify 1 into 1 10.856 * [backup-simplify]: Simplify (/ 1 1) into 1 10.856 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 10.856 * [backup-simplify]: Simplify (+ (exp (/ -1 im)) (exp (/ 1 im))) into (+ (exp (/ -1 im)) (exp (/ 1 im))) 10.856 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) into (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) 10.857 * [backup-simplify]: Simplify (+ 0 0) into 0 10.857 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))))) into 0 10.857 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 10.857 * [taylor]: Taking taylor expansion of (/ -1 re) in im 10.857 * [taylor]: Taking taylor expansion of -1 in im 10.857 * [backup-simplify]: Simplify -1 into -1 10.857 * [taylor]: Taking taylor expansion of re in im 10.857 * [backup-simplify]: Simplify re into re 10.857 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 10.857 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 10.857 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 10.858 * [taylor]: Taking taylor expansion of (* 0.5 (* (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) (cos (/ -1 re)))) in im 10.858 * [taylor]: Taking taylor expansion of 0.5 in im 10.858 * [backup-simplify]: Simplify 0.5 into 0.5 10.858 * [taylor]: Taking taylor expansion of (* (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) (cos (/ -1 re))) in im 10.858 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) in im 10.858 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 10.858 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 10.858 * [taylor]: Taking taylor expansion of (/ -1 im) in im 10.858 * [taylor]: Taking taylor expansion of -1 in im 10.858 * [backup-simplify]: Simplify -1 into -1 10.858 * [taylor]: Taking taylor expansion of im in im 10.858 * [backup-simplify]: Simplify 0 into 0 10.858 * [backup-simplify]: Simplify 1 into 1 10.858 * [backup-simplify]: Simplify (/ -1 1) into -1 10.859 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 10.859 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 10.859 * [taylor]: Taking taylor expansion of (/ 1 im) in im 10.859 * [taylor]: Taking taylor expansion of im in im 10.859 * [backup-simplify]: Simplify 0 into 0 10.859 * [backup-simplify]: Simplify 1 into 1 10.859 * [backup-simplify]: Simplify (/ 1 1) into 1 10.859 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 10.859 * [backup-simplify]: Simplify (+ (exp (/ -1 im)) (exp (/ 1 im))) into (+ (exp (/ -1 im)) (exp (/ 1 im))) 10.860 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) into (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) 10.860 * [backup-simplify]: Simplify (+ 0 0) into 0 10.860 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))))) into 0 10.860 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in im 10.860 * [taylor]: Taking taylor expansion of (/ -1 re) in im 10.860 * [taylor]: Taking taylor expansion of -1 in im 10.860 * [backup-simplify]: Simplify -1 into -1 10.861 * [taylor]: Taking taylor expansion of re in im 10.861 * [backup-simplify]: Simplify re into re 10.861 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 10.861 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 10.861 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 10.861 * [backup-simplify]: Simplify (* (cos (/ -1 re)) 1) into (cos (/ -1 re)) 10.861 * [backup-simplify]: Simplify (* (sin (/ -1 re)) 0) into 0 10.862 * [backup-simplify]: Simplify (- 0) into 0 10.862 * [backup-simplify]: Simplify (+ (cos (/ -1 re)) 0) into (cos (/ -1 re)) 10.862 * [backup-simplify]: Simplify (* (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) (cos (/ -1 re))) into (* (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) (cos (/ -1 re))) 10.862 * [backup-simplify]: Simplify (* 0.5 (* (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) (cos (/ -1 re)))) into (* 0.5 (* (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) (cos (/ -1 re)))) 10.862 * [taylor]: Taking taylor expansion of (* 0.5 (* (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) (cos (/ -1 re)))) in re 10.862 * [taylor]: Taking taylor expansion of 0.5 in re 10.862 * [backup-simplify]: Simplify 0.5 into 0.5 10.862 * [taylor]: Taking taylor expansion of (* (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) (cos (/ -1 re))) in re 10.862 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) in re 10.862 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re 10.862 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 10.862 * [taylor]: Taking taylor expansion of (/ -1 im) in re 10.863 * [taylor]: Taking taylor expansion of -1 in re 10.863 * [backup-simplify]: Simplify -1 into -1 10.863 * [taylor]: Taking taylor expansion of im in re 10.863 * [backup-simplify]: Simplify im into im 10.863 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 10.863 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 10.863 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 10.863 * [taylor]: Taking taylor expansion of (/ 1 im) in re 10.863 * [taylor]: Taking taylor expansion of im in re 10.863 * [backup-simplify]: Simplify im into im 10.863 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 10.863 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 10.863 * [backup-simplify]: Simplify (+ (exp (/ -1 im)) (exp (/ 1 im))) into (+ (exp (/ -1 im)) (exp (/ 1 im))) 10.863 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) into (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) 10.864 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0 10.865 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 10.865 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 10.866 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 10.866 * [backup-simplify]: Simplify (+ 0 0) into 0 10.866 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))))) into 0 10.866 * [taylor]: Taking taylor expansion of (cos (/ -1 re)) in re 10.866 * [taylor]: Taking taylor expansion of (/ -1 re) in re 10.866 * [taylor]: Taking taylor expansion of -1 in re 10.866 * [backup-simplify]: Simplify -1 into -1 10.866 * [taylor]: Taking taylor expansion of re in re 10.866 * [backup-simplify]: Simplify 0 into 0 10.866 * [backup-simplify]: Simplify 1 into 1 10.867 * [backup-simplify]: Simplify (/ -1 1) into -1 10.867 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 10.867 * [backup-simplify]: Simplify (* (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) (cos (/ -1 re))) into (* (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) (cos (/ -1 re))) 10.868 * [backup-simplify]: Simplify (* 0.5 (* (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) (cos (/ -1 re)))) into (* 0.5 (* (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) (cos (/ -1 re)))) 10.868 * [backup-simplify]: Simplify (* 0.5 (* (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) (cos (/ -1 re)))) into (* 0.5 (* (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) (cos (/ -1 re)))) 10.868 * [backup-simplify]: Simplify (+ 0) into 0 10.869 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 1)) into 0 10.869 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0 10.870 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 10.871 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 0)) into 0 10.871 * [backup-simplify]: Simplify (- 0) into 0 10.871 * [backup-simplify]: Simplify (+ 0 0) into 0 10.872 * [backup-simplify]: Simplify (+ (* (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) 0) (* 0 (cos (/ -1 re)))) into 0 10.872 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) (cos (/ -1 re))))) into 0 10.872 * [taylor]: Taking taylor expansion of 0 in re 10.872 * [backup-simplify]: Simplify 0 into 0 10.872 * [backup-simplify]: Simplify 0 into 0 10.873 * [backup-simplify]: Simplify (+ (* (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) 0) (* 0 (cos (/ -1 re)))) into 0 10.874 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) (cos (/ -1 re))))) into 0 10.874 * [backup-simplify]: Simplify 0 into 0 10.875 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 10.876 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 10.876 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 10.877 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 10.877 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 10.878 * [backup-simplify]: Simplify (- 0) into 0 10.878 * [backup-simplify]: Simplify (+ 0 0) into 0 10.878 * [backup-simplify]: Simplify (+ 0 0) into 0 10.879 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))))) into 0 10.880 * [backup-simplify]: Simplify (+ (* (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) 0) (+ (* 0 0) (* 0 (cos (/ -1 re))))) into 0 10.881 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) (cos (/ -1 re)))))) into 0 10.881 * [taylor]: Taking taylor expansion of 0 in re 10.881 * [backup-simplify]: Simplify 0 into 0 10.881 * [backup-simplify]: Simplify 0 into 0 10.881 * [backup-simplify]: Simplify 0 into 0 10.882 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 10.883 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 10.883 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 10.889 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 10.889 * [backup-simplify]: Simplify (+ 0 0) into 0 10.890 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))))) into 0 10.891 * [backup-simplify]: Simplify (+ (* (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) 0) (+ (* 0 0) (* 0 (cos (/ -1 re))))) into 0 10.892 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) (cos (/ -1 re)))))) into 0 10.892 * [backup-simplify]: Simplify 0 into 0 10.894 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 10.894 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.895 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 10.896 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 10.897 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 10.898 * [backup-simplify]: Simplify (- 0) into 0 10.898 * [backup-simplify]: Simplify (+ 0 0) into 0 10.898 * [backup-simplify]: Simplify (+ 0 0) into 0 10.899 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))))) into 0 10.900 * [backup-simplify]: Simplify (+ (* (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 re)))))) into 0 10.902 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (sqrt (+ (exp (/ -1 im)) (exp (/ 1 im)))) (cos (/ -1 re))))))) into 0 10.902 * [taylor]: Taking taylor expansion of 0 in re 10.902 * [backup-simplify]: Simplify 0 into 0 10.902 * [backup-simplify]: Simplify 0 into 0 10.903 * [backup-simplify]: Simplify (* 0.5 (* (sqrt (+ (exp (/ -1 (/ 1 (- im)))) (exp (/ 1 (/ 1 (- im)))))) (cos (/ -1 (/ 1 (- re)))))) into (* 0.5 (* (sqrt (+ (exp (* -1 im)) (exp im))) (cos re))) 10.903 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1) 10.903 * [backup-simplify]: Simplify (+ (exp (- im)) (exp im)) into (+ (exp im) (exp (- im))) 10.903 * [approximate]: Taking taylor expansion of (+ (exp im) (exp (- im))) in (im) around 0 10.903 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in im 10.903 * [taylor]: Taking taylor expansion of (exp im) in im 10.903 * [taylor]: Taking taylor expansion of im in im 10.903 * [backup-simplify]: Simplify 0 into 0 10.903 * [backup-simplify]: Simplify 1 into 1 10.903 * [backup-simplify]: Simplify (exp 0) into 1 10.903 * [taylor]: Taking taylor expansion of (exp (- im)) in im 10.903 * [taylor]: Taking taylor expansion of (- im) in im 10.903 * [taylor]: Taking taylor expansion of im in im 10.903 * [backup-simplify]: Simplify 0 into 0 10.903 * [backup-simplify]: Simplify 1 into 1 10.904 * [backup-simplify]: Simplify (- 0) into 0 10.905 * [backup-simplify]: Simplify (- 1) into -1 10.905 * [backup-simplify]: Simplify (exp 0) into 1 10.905 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in im 10.905 * [taylor]: Taking taylor expansion of (exp im) in im 10.905 * [taylor]: Taking taylor expansion of im in im 10.905 * [backup-simplify]: Simplify 0 into 0 10.905 * [backup-simplify]: Simplify 1 into 1 10.905 * [backup-simplify]: Simplify (exp 0) into 1 10.905 * [taylor]: Taking taylor expansion of (exp (- im)) in im 10.905 * [taylor]: Taking taylor expansion of (- im) in im 10.905 * [taylor]: Taking taylor expansion of im in im 10.905 * [backup-simplify]: Simplify 0 into 0 10.905 * [backup-simplify]: Simplify 1 into 1 10.905 * [backup-simplify]: Simplify (- 0) into 0 10.906 * [backup-simplify]: Simplify (- 1) into -1 10.906 * [backup-simplify]: Simplify (exp 0) into 1 10.906 * [backup-simplify]: Simplify (+ 1 1) into 2 10.906 * [backup-simplify]: Simplify 2 into 2 10.907 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 10.908 * [backup-simplify]: Simplify (- 1) into -1 10.909 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 10.910 * [backup-simplify]: Simplify (+ 1 -1) into 0 10.910 * [backup-simplify]: Simplify 0 into 0 10.912 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 10.913 * [backup-simplify]: Simplify (- 1) into -1 10.913 * [backup-simplify]: Simplify (- 0) into 0 10.915 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 10.916 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1 10.916 * [backup-simplify]: Simplify 1 into 1 10.918 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 10.919 * [backup-simplify]: Simplify (- 1) into -1 10.919 * [backup-simplify]: Simplify (- 1) into -1 10.920 * [backup-simplify]: Simplify (- 0) into 0 10.920 * [backup-simplify]: Simplify (- 0) into 0 10.923 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 10.923 * [backup-simplify]: Simplify (+ 1/6 -1/6) into 0 10.923 * [backup-simplify]: Simplify 0 into 0 10.928 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 10.928 * [backup-simplify]: Simplify (- 1) into -1 10.929 * [backup-simplify]: Simplify (- 1) into -1 10.929 * [backup-simplify]: Simplify (- 0) into 0 10.930 * [backup-simplify]: Simplify (- 1) into -1 10.930 * [backup-simplify]: Simplify (- 0) into 0 10.930 * [backup-simplify]: Simplify (- 0) into 0 10.931 * [backup-simplify]: Simplify (- 0) into 0 10.935 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 10.936 * [backup-simplify]: Simplify (+ 1/24 1/24) into 1/12 10.936 * [backup-simplify]: Simplify 1/12 into 1/12 10.936 * [backup-simplify]: Simplify (+ (* 1/12 (pow im 4)) (+ (* 1 (pow im 2)) 2)) into (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)) 10.937 * [backup-simplify]: Simplify (+ (exp (- (/ 1 im))) (exp (/ 1 im))) into (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 10.937 * [approximate]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in (im) around 0 10.937 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im 10.937 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 10.937 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 10.937 * [taylor]: Taking taylor expansion of (/ 1 im) in im 10.937 * [taylor]: Taking taylor expansion of im in im 10.937 * [backup-simplify]: Simplify 0 into 0 10.937 * [backup-simplify]: Simplify 1 into 1 10.937 * [backup-simplify]: Simplify (/ 1 1) into 1 10.938 * [backup-simplify]: Simplify (- 1) into -1 10.938 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im))) 10.938 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 10.938 * [taylor]: Taking taylor expansion of (/ 1 im) in im 10.938 * [taylor]: Taking taylor expansion of im in im 10.938 * [backup-simplify]: Simplify 0 into 0 10.938 * [backup-simplify]: Simplify 1 into 1 10.938 * [backup-simplify]: Simplify (/ 1 1) into 1 10.938 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 10.938 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im 10.939 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 10.939 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 10.939 * [taylor]: Taking taylor expansion of (/ 1 im) in im 10.939 * [taylor]: Taking taylor expansion of im in im 10.939 * [backup-simplify]: Simplify 0 into 0 10.939 * [backup-simplify]: Simplify 1 into 1 10.939 * [backup-simplify]: Simplify (/ 1 1) into 1 10.939 * [backup-simplify]: Simplify (- 1) into -1 10.940 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im))) 10.940 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 10.940 * [taylor]: Taking taylor expansion of (/ 1 im) in im 10.940 * [taylor]: Taking taylor expansion of im in im 10.940 * [backup-simplify]: Simplify 0 into 0 10.940 * [backup-simplify]: Simplify 1 into 1 10.940 * [backup-simplify]: Simplify (/ 1 1) into 1 10.940 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 10.940 * [backup-simplify]: Simplify (+ (exp (- (/ 1 im))) (exp (/ 1 im))) into (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 10.941 * [backup-simplify]: Simplify (+ (exp (- (/ 1 im))) (exp (/ 1 im))) into (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 10.941 * [backup-simplify]: Simplify (+ 0 0) into 0 10.941 * [backup-simplify]: Simplify 0 into 0 10.942 * [backup-simplify]: Simplify (+ 0 0) into 0 10.942 * [backup-simplify]: Simplify 0 into 0 10.942 * [backup-simplify]: Simplify (+ 0 0) into 0 10.942 * [backup-simplify]: Simplify 0 into 0 10.942 * [backup-simplify]: Simplify (+ 0 0) into 0 10.942 * [backup-simplify]: Simplify 0 into 0 10.943 * [backup-simplify]: Simplify (+ 0 0) into 0 10.943 * [backup-simplify]: Simplify 0 into 0 10.943 * [backup-simplify]: Simplify (+ 0 0) into 0 10.943 * [backup-simplify]: Simplify 0 into 0 10.944 * [backup-simplify]: Simplify (+ (exp (- (/ 1 (/ 1 im)))) (exp (/ 1 (/ 1 im)))) into (+ (exp im) (exp (- im))) 10.944 * [backup-simplify]: Simplify (+ (exp (- (/ 1 (- im)))) (exp (/ 1 (- im)))) into (+ (exp (/ -1 im)) (exp (/ 1 im))) 10.944 * [approximate]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in (im) around 0 10.944 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 10.944 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 10.944 * [taylor]: Taking taylor expansion of (/ -1 im) in im 10.944 * [taylor]: Taking taylor expansion of -1 in im 10.944 * [backup-simplify]: Simplify -1 into -1 10.944 * [taylor]: Taking taylor expansion of im in im 10.944 * [backup-simplify]: Simplify 0 into 0 10.944 * [backup-simplify]: Simplify 1 into 1 10.945 * [backup-simplify]: Simplify (/ -1 1) into -1 10.945 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 10.945 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 10.945 * [taylor]: Taking taylor expansion of (/ 1 im) in im 10.945 * [taylor]: Taking taylor expansion of im in im 10.945 * [backup-simplify]: Simplify 0 into 0 10.945 * [backup-simplify]: Simplify 1 into 1 10.945 * [backup-simplify]: Simplify (/ 1 1) into 1 10.945 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 10.945 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 10.945 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 10.945 * [taylor]: Taking taylor expansion of (/ -1 im) in im 10.945 * [taylor]: Taking taylor expansion of -1 in im 10.945 * [backup-simplify]: Simplify -1 into -1 10.945 * [taylor]: Taking taylor expansion of im in im 10.945 * [backup-simplify]: Simplify 0 into 0 10.945 * [backup-simplify]: Simplify 1 into 1 10.946 * [backup-simplify]: Simplify (/ -1 1) into -1 10.946 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 10.946 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 10.946 * [taylor]: Taking taylor expansion of (/ 1 im) in im 10.946 * [taylor]: Taking taylor expansion of im in im 10.946 * [backup-simplify]: Simplify 0 into 0 10.946 * [backup-simplify]: Simplify 1 into 1 10.947 * [backup-simplify]: Simplify (/ 1 1) into 1 10.947 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 10.947 * [backup-simplify]: Simplify (+ (exp (/ -1 im)) (exp (/ 1 im))) into (+ (exp (/ -1 im)) (exp (/ 1 im))) 10.947 * [backup-simplify]: Simplify (+ (exp (/ -1 im)) (exp (/ 1 im))) into (+ (exp (/ -1 im)) (exp (/ 1 im))) 10.947 * [backup-simplify]: Simplify (+ 0 0) into 0 10.948 * [backup-simplify]: Simplify 0 into 0 10.948 * [backup-simplify]: Simplify (+ 0 0) into 0 10.948 * [backup-simplify]: Simplify 0 into 0 10.948 * [backup-simplify]: Simplify (+ 0 0) into 0 10.948 * [backup-simplify]: Simplify 0 into 0 10.949 * [backup-simplify]: Simplify (+ 0 0) into 0 10.949 * [backup-simplify]: Simplify 0 into 0 10.949 * [backup-simplify]: Simplify (+ 0 0) into 0 10.949 * [backup-simplify]: Simplify 0 into 0 10.950 * [backup-simplify]: Simplify (+ 0 0) into 0 10.950 * [backup-simplify]: Simplify 0 into 0 10.950 * [backup-simplify]: Simplify (+ (exp (/ -1 (/ 1 (- im)))) (exp (/ 1 (/ 1 (- im))))) into (+ (exp (* -1 im)) (exp im)) 10.950 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1) 10.950 * [backup-simplify]: Simplify (+ (exp (- im)) (exp im)) into (+ (exp im) (exp (- im))) 10.950 * [approximate]: Taking taylor expansion of (+ (exp im) (exp (- im))) in (im) around 0 10.950 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in im 10.950 * [taylor]: Taking taylor expansion of (exp im) in im 10.950 * [taylor]: Taking taylor expansion of im in im 10.950 * [backup-simplify]: Simplify 0 into 0 10.950 * [backup-simplify]: Simplify 1 into 1 10.950 * [backup-simplify]: Simplify (exp 0) into 1 10.950 * [taylor]: Taking taylor expansion of (exp (- im)) in im 10.950 * [taylor]: Taking taylor expansion of (- im) in im 10.950 * [taylor]: Taking taylor expansion of im in im 10.950 * [backup-simplify]: Simplify 0 into 0 10.950 * [backup-simplify]: Simplify 1 into 1 10.951 * [backup-simplify]: Simplify (- 0) into 0 10.951 * [backup-simplify]: Simplify (- 1) into -1 10.951 * [backup-simplify]: Simplify (exp 0) into 1 10.951 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in im 10.951 * [taylor]: Taking taylor expansion of (exp im) in im 10.951 * [taylor]: Taking taylor expansion of im in im 10.951 * [backup-simplify]: Simplify 0 into 0 10.951 * [backup-simplify]: Simplify 1 into 1 10.951 * [backup-simplify]: Simplify (exp 0) into 1 10.951 * [taylor]: Taking taylor expansion of (exp (- im)) in im 10.952 * [taylor]: Taking taylor expansion of (- im) in im 10.952 * [taylor]: Taking taylor expansion of im in im 10.952 * [backup-simplify]: Simplify 0 into 0 10.952 * [backup-simplify]: Simplify 1 into 1 10.952 * [backup-simplify]: Simplify (- 0) into 0 10.952 * [backup-simplify]: Simplify (- 1) into -1 10.952 * [backup-simplify]: Simplify (exp 0) into 1 10.953 * [backup-simplify]: Simplify (+ 1 1) into 2 10.953 * [backup-simplify]: Simplify 2 into 2 10.954 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 10.954 * [backup-simplify]: Simplify (- 1) into -1 10.955 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 10.956 * [backup-simplify]: Simplify (+ 1 -1) into 0 10.956 * [backup-simplify]: Simplify 0 into 0 10.958 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 10.958 * [backup-simplify]: Simplify (- 1) into -1 10.958 * [backup-simplify]: Simplify (- 0) into 0 10.960 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 10.961 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1 10.961 * [backup-simplify]: Simplify 1 into 1 10.964 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 10.964 * [backup-simplify]: Simplify (- 1) into -1 10.964 * [backup-simplify]: Simplify (- 1) into -1 10.965 * [backup-simplify]: Simplify (- 0) into 0 10.965 * [backup-simplify]: Simplify (- 0) into 0 10.968 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 10.968 * [backup-simplify]: Simplify (+ 1/6 -1/6) into 0 10.968 * [backup-simplify]: Simplify 0 into 0 10.972 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 10.973 * [backup-simplify]: Simplify (- 1) into -1 10.973 * [backup-simplify]: Simplify (- 1) into -1 10.974 * [backup-simplify]: Simplify (- 0) into 0 10.974 * [backup-simplify]: Simplify (- 1) into -1 10.975 * [backup-simplify]: Simplify (- 0) into 0 10.975 * [backup-simplify]: Simplify (- 0) into 0 10.975 * [backup-simplify]: Simplify (- 0) into 0 10.980 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24 10.981 * [backup-simplify]: Simplify (+ 1/24 1/24) into 1/12 10.981 * [backup-simplify]: Simplify 1/12 into 1/12 10.981 * [backup-simplify]: Simplify (+ (* 1/12 (pow im 4)) (+ (* 1 (pow im 2)) 2)) into (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)) 10.981 * [backup-simplify]: Simplify (+ (exp (- (/ 1 im))) (exp (/ 1 im))) into (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 10.981 * [approximate]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in (im) around 0 10.982 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im 10.982 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 10.982 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 10.982 * [taylor]: Taking taylor expansion of (/ 1 im) in im 10.982 * [taylor]: Taking taylor expansion of im in im 10.982 * [backup-simplify]: Simplify 0 into 0 10.982 * [backup-simplify]: Simplify 1 into 1 10.982 * [backup-simplify]: Simplify (/ 1 1) into 1 10.983 * [backup-simplify]: Simplify (- 1) into -1 10.983 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im))) 10.983 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 10.983 * [taylor]: Taking taylor expansion of (/ 1 im) in im 10.983 * [taylor]: Taking taylor expansion of im in im 10.983 * [backup-simplify]: Simplify 0 into 0 10.983 * [backup-simplify]: Simplify 1 into 1 10.983 * [backup-simplify]: Simplify (/ 1 1) into 1 10.983 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 10.983 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im 10.984 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 10.984 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 10.984 * [taylor]: Taking taylor expansion of (/ 1 im) in im 10.984 * [taylor]: Taking taylor expansion of im in im 10.984 * [backup-simplify]: Simplify 0 into 0 10.984 * [backup-simplify]: Simplify 1 into 1 10.984 * [backup-simplify]: Simplify (/ 1 1) into 1 10.985 * [backup-simplify]: Simplify (- 1) into -1 10.985 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im))) 10.985 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 10.985 * [taylor]: Taking taylor expansion of (/ 1 im) in im 10.985 * [taylor]: Taking taylor expansion of im in im 10.985 * [backup-simplify]: Simplify 0 into 0 10.985 * [backup-simplify]: Simplify 1 into 1 10.985 * [backup-simplify]: Simplify (/ 1 1) into 1 10.985 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 10.986 * [backup-simplify]: Simplify (+ (exp (- (/ 1 im))) (exp (/ 1 im))) into (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 10.986 * [backup-simplify]: Simplify (+ (exp (- (/ 1 im))) (exp (/ 1 im))) into (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 10.986 * [backup-simplify]: Simplify (+ 0 0) into 0 10.986 * [backup-simplify]: Simplify 0 into 0 10.987 * [backup-simplify]: Simplify (+ 0 0) into 0 10.987 * [backup-simplify]: Simplify 0 into 0 10.987 * [backup-simplify]: Simplify (+ 0 0) into 0 10.987 * [backup-simplify]: Simplify 0 into 0 10.988 * [backup-simplify]: Simplify (+ 0 0) into 0 10.988 * [backup-simplify]: Simplify 0 into 0 10.988 * [backup-simplify]: Simplify (+ 0 0) into 0 10.988 * [backup-simplify]: Simplify 0 into 0 10.988 * [backup-simplify]: Simplify (+ 0 0) into 0 10.988 * [backup-simplify]: Simplify 0 into 0 10.989 * [backup-simplify]: Simplify (+ (exp (- (/ 1 (/ 1 im)))) (exp (/ 1 (/ 1 im)))) into (+ (exp im) (exp (- im))) 10.989 * [backup-simplify]: Simplify (+ (exp (- (/ 1 (- im)))) (exp (/ 1 (- im)))) into (+ (exp (/ -1 im)) (exp (/ 1 im))) 10.989 * [approximate]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in (im) around 0 10.989 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 10.989 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 10.989 * [taylor]: Taking taylor expansion of (/ -1 im) in im 10.989 * [taylor]: Taking taylor expansion of -1 in im 10.989 * [backup-simplify]: Simplify -1 into -1 10.989 * [taylor]: Taking taylor expansion of im in im 10.989 * [backup-simplify]: Simplify 0 into 0 10.989 * [backup-simplify]: Simplify 1 into 1 10.990 * [backup-simplify]: Simplify (/ -1 1) into -1 10.990 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 10.990 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 10.990 * [taylor]: Taking taylor expansion of (/ 1 im) in im 10.990 * [taylor]: Taking taylor expansion of im in im 10.990 * [backup-simplify]: Simplify 0 into 0 10.990 * [backup-simplify]: Simplify 1 into 1 10.990 * [backup-simplify]: Simplify (/ 1 1) into 1 10.991 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 10.991 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 10.991 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 10.991 * [taylor]: Taking taylor expansion of (/ -1 im) in im 10.991 * [taylor]: Taking taylor expansion of -1 in im 10.991 * [backup-simplify]: Simplify -1 into -1 10.991 * [taylor]: Taking taylor expansion of im in im 10.991 * [backup-simplify]: Simplify 0 into 0 10.991 * [backup-simplify]: Simplify 1 into 1 10.991 * [backup-simplify]: Simplify (/ -1 1) into -1 10.991 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 10.991 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 10.991 * [taylor]: Taking taylor expansion of (/ 1 im) in im 10.991 * [taylor]: Taking taylor expansion of im in im 10.992 * [backup-simplify]: Simplify 0 into 0 10.992 * [backup-simplify]: Simplify 1 into 1 10.992 * [backup-simplify]: Simplify (/ 1 1) into 1 10.992 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 10.992 * [backup-simplify]: Simplify (+ (exp (/ -1 im)) (exp (/ 1 im))) into (+ (exp (/ -1 im)) (exp (/ 1 im))) 10.993 * [backup-simplify]: Simplify (+ (exp (/ -1 im)) (exp (/ 1 im))) into (+ (exp (/ -1 im)) (exp (/ 1 im))) 10.993 * [backup-simplify]: Simplify (+ 0 0) into 0 10.993 * [backup-simplify]: Simplify 0 into 0 10.993 * [backup-simplify]: Simplify (+ 0 0) into 0 10.993 * [backup-simplify]: Simplify 0 into 0 10.994 * [backup-simplify]: Simplify (+ 0 0) into 0 10.994 * [backup-simplify]: Simplify 0 into 0 10.994 * [backup-simplify]: Simplify (+ 0 0) into 0 10.994 * [backup-simplify]: Simplify 0 into 0 10.995 * [backup-simplify]: Simplify (+ 0 0) into 0 10.995 * [backup-simplify]: Simplify 0 into 0 10.995 * [backup-simplify]: Simplify (+ 0 0) into 0 10.995 * [backup-simplify]: Simplify 0 into 0 10.996 * [backup-simplify]: Simplify (+ (exp (/ -1 (/ 1 (- im)))) (exp (/ 1 (/ 1 (- im))))) into (+ (exp (* -1 im)) (exp im)) 10.996 * * * [progress]: simplifying candidates 10.998 * [simplify]: Simplifying: (* (* (sqrt (+ (exp (- im)) (exp im))) (* 0.5 (cos re))) (sqrt (+ (exp (- im)) (exp im)))) (* (* (sqrt (+ (exp (- im)) (exp im))) (* 0.5 (cos re))) (sqrt (+ (exp (- im)) (exp im)))) (* (* (sqrt (+ (exp (- im)) (exp im))) (* 0.5 (cos re))) (sqrt (+ (exp (- im)) (exp im)))) (+ (+ (log (sqrt (+ (exp (- im)) (exp im)))) (+ (log 0.5) (log (cos re)))) (log (sqrt (+ (exp (- im)) (exp im))))) (+ (+ (log (sqrt (+ (exp (- im)) (exp im)))) (log (* 0.5 (cos re)))) (log (sqrt (+ (exp (- im)) (exp im))))) (+ (log (* (sqrt (+ (exp (- im)) (exp im))) (* 0.5 (cos re)))) (log (sqrt (+ (exp (- im)) (exp im))))) (log (* (* (sqrt (+ (exp (- im)) (exp im))) (* 0.5 (cos re))) (sqrt (+ (exp (- im)) (exp im))))) (exp (* (* (sqrt (+ (exp (- im)) (exp im))) (* 0.5 (cos re))) (sqrt (+ (exp (- im)) (exp im))))) (* (* (* (* (sqrt (+ (exp (- im)) (exp im))) (sqrt (+ (exp (- im)) (exp im)))) (sqrt (+ (exp (- im)) (exp im)))) (* (* (* 0.5 0.5) 0.5) (* (* (cos re) (cos re)) (cos re)))) (* (* (sqrt (+ (exp (- im)) (exp im))) (sqrt (+ (exp (- im)) (exp im)))) (sqrt (+ (exp (- im)) (exp im))))) (* (* (* (* (sqrt (+ (exp (- im)) (exp im))) (sqrt (+ (exp (- im)) (exp im)))) (sqrt (+ (exp (- im)) (exp im)))) (* (* (* 0.5 (cos re)) (* 0.5 (cos re))) (* 0.5 (cos re)))) (* (* (sqrt (+ (exp (- im)) (exp im))) (sqrt (+ (exp (- im)) (exp im)))) (sqrt (+ (exp (- im)) (exp im))))) (* (* (* (* (sqrt (+ (exp (- im)) (exp im))) (* 0.5 (cos re))) (* (sqrt (+ (exp (- im)) (exp im))) (* 0.5 (cos re)))) (* (sqrt (+ (exp (- im)) (exp im))) (* 0.5 (cos re)))) (* (* (sqrt (+ (exp (- im)) (exp im))) (sqrt (+ (exp (- im)) (exp im)))) (sqrt (+ (exp (- im)) (exp im))))) (* (cbrt (* (* (sqrt (+ (exp (- im)) (exp im))) (* 0.5 (cos re))) (sqrt (+ (exp (- im)) (exp im))))) (cbrt (* (* (sqrt (+ (exp (- im)) (exp im))) (* 0.5 (cos re))) (sqrt (+ (exp (- im)) (exp im)))))) (cbrt (* (* (sqrt (+ (exp (- im)) (exp im))) (* 0.5 (cos re))) (sqrt (+ (exp (- im)) (exp im))))) (* (* (* (* (sqrt (+ (exp (- im)) (exp im))) (* 0.5 (cos re))) (sqrt (+ (exp (- im)) (exp im)))) (* (* (sqrt (+ (exp (- im)) (exp im))) (* 0.5 (cos re))) (sqrt (+ (exp (- im)) (exp im))))) (* (* (sqrt (+ (exp (- im)) (exp im))) (* 0.5 (cos re))) (sqrt (+ (exp (- im)) (exp im))))) (sqrt (* (* (sqrt (+ (exp (- im)) (exp im))) (* 0.5 (cos re))) (sqrt (+ (exp (- im)) (exp im))))) (sqrt (* (* (sqrt (+ (exp (- im)) (exp im))) (* 0.5 (cos re))) (sqrt (+ (exp (- im)) (exp im))))) (* (* (sqrt (+ (pow (exp (- im)) 3) (pow (exp im) 3))) (* 0.5 (cos re))) (sqrt (+ (pow (exp (- im)) 3) (pow (exp im) 3)))) (* (sqrt (+ (* (exp (- im)) (exp (- im))) (- (* (exp im) (exp im)) (* (exp (- im)) (exp im))))) (sqrt (+ (* (exp (- im)) (exp (- im))) (- (* (exp im) (exp im)) (* (exp (- im)) (exp im)))))) (* (* (sqrt (+ (pow (exp (- im)) 3) (pow (exp im) 3))) (* 0.5 (cos re))) (sqrt (- (* (exp (- im)) (exp (- im))) (* (exp im) (exp im))))) (* (sqrt (+ (* (exp (- im)) (exp (- im))) (- (* (exp im) (exp im)) (* (exp (- im)) (exp im))))) (sqrt (- (exp (- im)) (exp im)))) (* (* (sqrt (- (* (exp (- im)) (exp (- im))) (* (exp im) (exp im)))) (* 0.5 (cos re))) (sqrt (+ (pow (exp (- im)) 3) (pow (exp im) 3)))) (* (sqrt (- (exp (- im)) (exp im))) (sqrt (+ (* (exp (- im)) (exp (- im))) (- (* (exp im) (exp im)) (* (exp (- im)) (exp im)))))) (* (* (sqrt (- (* (exp (- im)) (exp (- im))) (* (exp im) (exp im)))) (* 0.5 (cos re))) (sqrt (- (* (exp (- im)) (exp (- im))) (* (exp im) (exp im))))) (* (sqrt (- (exp (- im)) (exp im))) (sqrt (- (exp (- im)) (exp im)))) (* (* (sqrt (+ (exp (- im)) (exp im))) (* 0.5 (cos re))) (* (cbrt (sqrt (+ (exp (- im)) (exp im)))) (cbrt (sqrt (+ (exp (- im)) (exp im)))))) (* (* (sqrt (+ (exp (- im)) (exp im))) (* 0.5 (cos re))) (sqrt (* (cbrt (+ (exp (- im)) (exp im))) (cbrt (+ (exp (- im)) (exp im)))))) (* (* (sqrt (+ (exp (- im)) (exp im))) (* 0.5 (cos re))) (sqrt (sqrt (+ (exp (- im)) (exp im))))) (* (* (sqrt (+ (exp (- im)) (exp im))) (* 0.5 (cos re))) (sqrt 1)) (* (* (sqrt (+ (exp (- im)) (exp im))) (* 0.5 (cos re))) (sqrt 1)) (* (* (sqrt (+ (exp (- im)) (exp im))) (* 0.5 (cos re))) (sqrt (sqrt (+ (exp (- im)) (exp im))))) (* (* (sqrt (+ (exp (- im)) (exp im))) (* 0.5 (cos re))) 1) (* (* 0.5 (cos re)) (sqrt (+ (exp (- im)) (exp im)))) (* (* (sqrt (+ (exp (- im)) (exp im))) (* 0.5 (cos re))) (sqrt (+ (pow (exp (- im)) 3) (pow (exp im) 3)))) (* (* (sqrt (+ (exp (- im)) (exp im))) (* 0.5 (cos re))) (sqrt (- (* (exp (- im)) (exp (- im))) (* (exp im) (exp im))))) (* (* (sqrt (+ (pow (exp (- im)) 3) (pow (exp im) 3))) (* 0.5 (cos re))) (sqrt (+ (exp (- im)) (exp im)))) (* (* (sqrt (- (* (exp (- im)) (exp (- im))) (* (exp im) (exp im)))) (* 0.5 (cos re))) (sqrt (+ (exp (- im)) (exp im)))) (* (sqrt (+ (exp (- im)) (exp im))) (* 0.5 (cos re))) (* (sqrt (+ (exp (- im)) (exp im))) (* 0.5 (cos re))) (+ (log (sqrt (+ (exp (- im)) (exp im)))) (+ (log 0.5) (log (cos re)))) (+ (log (sqrt (+ (exp (- im)) (exp im)))) (log (* 0.5 (cos re)))) (log (* (sqrt (+ (exp (- im)) (exp im))) (* 0.5 (cos re)))) (exp (* (sqrt (+ (exp (- im)) (exp im))) (* 0.5 (cos re)))) (* (* (* (sqrt (+ (exp (- im)) (exp im))) (sqrt (+ (exp (- im)) (exp im)))) (sqrt (+ (exp (- im)) (exp im)))) (* (* (* 0.5 0.5) 0.5) (* (* (cos re) (cos re)) (cos re)))) (* (* (* (sqrt (+ (exp (- im)) (exp im))) (sqrt (+ (exp (- im)) (exp im)))) (sqrt (+ (exp (- im)) (exp im)))) (* (* (* 0.5 (cos re)) (* 0.5 (cos re))) (* 0.5 (cos re)))) (* (cbrt (* (sqrt (+ (exp (- im)) (exp im))) (* 0.5 (cos re)))) (cbrt (* (sqrt (+ (exp (- im)) (exp im))) (* 0.5 (cos re))))) (cbrt (* (sqrt (+ (exp (- im)) (exp im))) (* 0.5 (cos re)))) (* (* (* (sqrt (+ (exp (- im)) (exp im))) (* 0.5 (cos re))) (* (sqrt (+ (exp (- im)) (exp im))) (* 0.5 (cos re)))) (* (sqrt (+ (exp (- im)) (exp im))) (* 0.5 (cos re)))) (sqrt (* (sqrt (+ (exp (- im)) (exp im))) (* 0.5 (cos re)))) (sqrt (* (sqrt (+ (exp (- im)) (exp im))) (* 0.5 (cos re)))) (* (sqrt (+ (exp (- im)) (exp im))) 0.5) (* (cbrt (sqrt (+ (exp (- im)) (exp im)))) (* 0.5 (cos re))) (* (sqrt (cbrt (+ (exp (- im)) (exp im)))) (* 0.5 (cos re))) (* (sqrt (sqrt (+ (exp (- im)) (exp im)))) (* 0.5 (cos re))) (* (sqrt (+ (exp (- im)) (exp im))) (* 0.5 (cos re))) (* (sqrt (+ (exp (- im)) (exp im))) (* 0.5 (cos re))) (* (sqrt (sqrt (+ (exp (- im)) (exp im)))) (* 0.5 (cos re))) (* (sqrt (+ (exp (- im)) (exp im))) (* 0.5 (cos re))) (* (sqrt (+ (pow (exp (- im)) 3) (pow (exp im) 3))) (* 0.5 (cos re))) (* (sqrt (- (* (exp (- im)) (exp (- im))) (* (exp im) (exp im)))) (* 0.5 (cos re))) (* (exp (exp (- im))) (exp (exp im))) (log (+ (exp (- im)) (exp im))) (exp (+ (exp (- im)) (exp im))) (* (cbrt (+ (exp (- im)) (exp im))) (cbrt (+ (exp (- im)) (exp im)))) (cbrt (+ (exp (- im)) (exp im))) (* (* (+ (exp (- im)) (exp im)) (+ (exp (- im)) (exp im))) (+ (exp (- im)) (exp im))) (sqrt (+ (exp (- im)) (exp im))) (sqrt (+ (exp (- im)) (exp im))) (+ (pow (exp (- im)) 3) (pow (exp im) 3)) (+ (* (exp (- im)) (exp (- im))) (- (* (exp im) (exp im)) (* (exp (- im)) (exp im)))) (- (* (exp (- im)) (exp (- im))) (* (exp im) (exp im))) (- (exp (- im)) (exp im)) (+ (exp (- im)) (exp im)) (* (exp (exp (- im))) (exp (exp im))) (log (+ (exp (- im)) (exp im))) (exp (+ (exp (- im)) (exp im))) (* (cbrt (+ (exp (- im)) (exp im))) (cbrt (+ (exp (- im)) (exp im)))) (cbrt (+ (exp (- im)) (exp im))) (* (* (+ (exp (- im)) (exp im)) (+ (exp (- im)) (exp im))) (+ (exp (- im)) (exp im))) (sqrt (+ (exp (- im)) (exp im))) (sqrt (+ (exp (- im)) (exp im))) (+ (pow (exp (- im)) 3) (pow (exp im) 3)) (+ (* (exp (- im)) (exp (- im))) (- (* (exp im) (exp im)) (* (exp (- im)) (exp im)))) (- (* (exp (- im)) (exp (- im))) (* (exp im) (exp im))) (- (exp (- im)) (exp im)) (+ (exp (- im)) (exp im)) (- (+ (* 0.5 (pow im 2)) 1.0) (* 0.5 (pow re 2))) (* 0.5 (* (cos re) (+ (exp im) (exp (- im))))) (* 0.5 (* (+ (exp (* -1 im)) (exp im)) (cos re))) (- (+ (* 0.5 (sqrt 2)) (* 0.25 (/ (pow im 2) (sqrt 2)))) (* 0.25 (* (pow re 2) (sqrt 2)))) (* 0.5 (* (cos re) (sqrt (+ (exp im) (exp (- im)))))) (* 0.5 (* (sqrt (+ (exp (* -1 im)) (exp im))) (cos re))) (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)) (+ (exp im) (exp (- im))) (+ (exp (* -1 im)) (exp im)) (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)) (+ (exp im) (exp (- im))) (+ (exp (* -1 im)) (exp im)) 11.004 * * [simplify]: Extracting # 0 : cost 0 11.004 * * [simplify]: Extracting # 1 : cost 0 11.004 * * [simplify]: Extracting # 2 : cost 0 11.005 * * [simplify]: Extracting # 3 : cost 0 11.005 * * [simplify]: Extracting # 4 : cost 0 11.005 * * [simplify]: Extracting # 5 : cost 0 11.006 * * [simplify]: Extracting # 6 : cost 0 11.006 * * [simplify]: Extracting # 7 : cost 0 11.006 * * [simplify]: Extracting # 8 : cost 0 11.007 * * [simplify]: Extracting # 9 : cost 0 11.007 * * [simplify]: iteration 0 : 143 enodes (cost 1812 ) 11.080 * * [simplify]: Extracting # 0 : cost 0 11.081 * * [simplify]: Extracting # 1 : cost 0 11.082 * * [simplify]: Extracting # 2 : cost 0 11.083 * * [simplify]: Extracting # 3 : cost 0 11.083 * * [simplify]: Extracting # 4 : cost 0 11.084 * * [simplify]: Extracting # 5 : cost 0 11.085 * * [simplify]: iteration 1 : 376 enodes (cost 1621 ) 11.505 * * [simplify]: Extracting # 0 : cost 0 11.509 * * [simplify]: Extracting # 1 : cost 0 11.514 * * [simplify]: Extracting # 2 : cost 0 11.518 * * [simplify]: Extracting # 3 : cost 0 11.522 * * [simplify]: Extracting # 4 : cost 0 11.527 * * [simplify]: Extracting # 5 : cost 0 11.531 * * [simplify]: iteration 2 : 2051 enodes (cost 1263 ) 13.193 * * [simplify]: Extracting # 0 : cost 0 13.231 * * [simplify]: Extracting # 1 : cost 0 13.244 * * [simplify]: Extracting # 2 : cost 0 13.256 * * [simplify]: Extracting # 3 : cost 0 13.268 * * [simplify]: Extracting # 4 : cost 0 13.280 * * [simplify]: iteration done: 5000 enodes (cost 1232 ) 13.282 * [simplify]: Simplified to: (* (* (cos re) 0.5) (+ (exp im) (exp (- im)))) (* (* (cos re) 0.5) (+ (exp im) (exp (- im)))) (* (* (cos re) 0.5) (+ (exp im) (exp (- im)))) (log (* 0.5 (* (cos re) (+ (exp im) (exp (- im)))))) (log (* 0.5 (* (cos re) (+ (exp im) (exp (- im)))))) (log (* 0.5 (* (cos re) (+ (exp im) (exp (- im)))))) (log (* 0.5 (* (cos re) (+ (exp im) (exp (- im)))))) (exp (* 0.5 (* (cos re) (+ (exp im) (exp (- im)))))) (pow (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))) 3) (pow (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))) 3) (pow (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))) 3) (* (cbrt (* (* (cos re) (+ (exp im) (exp (- im)))) 0.5)) (cbrt (* (* (cos re) (+ (exp im) (exp (- im)))) 0.5))) (cbrt (* (* (cos re) (+ (exp im) (exp (- im)))) 0.5)) (pow (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))) 3) (sqrt (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im)))) (sqrt (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im)))) (* (* (cos re) 0.5) (+ (pow (exp (- im)) 3) (pow (exp im) 3))) (- (exp (+ im im)) (- 1 (exp (* im -2)))) (* (* (sqrt (+ (pow (exp (- im)) 3) (pow (exp im) 3))) (* 0.5 (sqrt (- (exp (* im -2)) (exp (+ im im)))))) (cos re)) (* (sqrt (- (exp (+ im im)) (- 1 (exp (* im -2))))) (sqrt (- (exp (- im)) (exp im)))) (* (* (sqrt (+ (pow (exp (- im)) 3) (pow (exp im) 3))) (* 0.5 (sqrt (- (exp (* im -2)) (exp (+ im im)))))) (cos re)) (* (sqrt (- (exp (+ im im)) (- 1 (exp (* im -2))))) (sqrt (- (exp (- im)) (exp im)))) (* (* 0.5 (cos re)) (- (exp (* im -2)) (exp (+ im im)))) (- (exp (- im)) (exp im)) (* (* (sqrt (+ (exp (- im)) (exp im))) (* 0.5 (cos re))) (* (cbrt (sqrt (+ (exp (- im)) (exp im)))) (cbrt (sqrt (+ (exp (- im)) (exp im)))))) (* (* (* (cos re) (sqrt (+ (exp im) (exp (- im))))) 0.5) (fabs (cbrt (+ (exp (- im)) (exp im))))) (* (* (sqrt (+ (exp (- im)) (exp im))) (* 0.5 (cos re))) (sqrt (sqrt (+ (exp (- im)) (exp im))))) (* 0.5 (* (sqrt (+ (exp im) (exp (- im)))) (cos re))) (* 0.5 (* (sqrt (+ (exp im) (exp (- im)))) (cos re))) (* (* (sqrt (+ (exp (- im)) (exp im))) (* 0.5 (cos re))) (sqrt (sqrt (+ (exp (- im)) (exp im))))) (* 0.5 (* (sqrt (+ (exp im) (exp (- im)))) (cos re))) (* 0.5 (* (sqrt (+ (exp im) (exp (- im)))) (cos re))) (* (* (sqrt (+ (exp (- im)) (exp im))) (* 0.5 (cos re))) (sqrt (+ (pow (exp (- im)) 3) (pow (exp im) 3)))) (* (sqrt (+ (exp (- im)) (exp im))) (* (* 0.5 (cos re)) (sqrt (- (exp (* im -2)) (exp (+ im im)))))) (* (* (sqrt (+ (exp (- im)) (exp im))) (* 0.5 (cos re))) (sqrt (+ (pow (exp (- im)) 3) (pow (exp im) 3)))) (* (sqrt (+ (exp (- im)) (exp im))) (* (* 0.5 (cos re)) (sqrt (- (exp (* im -2)) (exp (+ im im)))))) (* 0.5 (* (sqrt (+ (exp im) (exp (- im)))) (cos re))) (* 0.5 (* (sqrt (+ (exp im) (exp (- im)))) (cos re))) (log (* (* (cos re) (sqrt (+ (exp im) (exp (- im))))) 0.5)) (log (* (* (cos re) (sqrt (+ (exp im) (exp (- im))))) 0.5)) (log (* (* (cos re) (sqrt (+ (exp im) (exp (- im))))) 0.5)) (exp (* (sqrt (+ (exp (- im)) (exp im))) (* 0.5 (cos re)))) (pow (* 0.5 (* (cos re) (sqrt (+ (exp im) (exp (- im)))))) 3) (pow (* 0.5 (* (cos re) (sqrt (+ (exp im) (exp (- im)))))) 3) (* (cbrt (* (sqrt (+ (exp (- im)) (exp im))) (* 0.5 (cos re)))) (cbrt (* (sqrt (+ (exp (- im)) (exp im))) (* 0.5 (cos re))))) (cbrt (* (sqrt (+ (exp (- im)) (exp im))) (* 0.5 (cos re)))) (pow (* 0.5 (* (cos re) (sqrt (+ (exp im) (exp (- im)))))) 3) (sqrt (* (sqrt (+ (exp (- im)) (exp im))) (* 0.5 (cos re)))) (sqrt (* (sqrt (+ (exp (- im)) (exp im))) (* 0.5 (cos re)))) (* (sqrt (+ (exp im) (exp (- im)))) 0.5) (* (cbrt (sqrt (+ (exp (- im)) (exp im)))) (* 0.5 (cos re))) (* (sqrt (cbrt (+ (exp (- im)) (exp im)))) (* 0.5 (cos re))) (* (sqrt (sqrt (+ (exp (- im)) (exp im)))) (* 0.5 (cos re))) (* 0.5 (* (sqrt (+ (exp im) (exp (- im)))) (cos re))) (* 0.5 (* (sqrt (+ (exp im) (exp (- im)))) (cos re))) (* (sqrt (sqrt (+ (exp (- im)) (exp im)))) (* 0.5 (cos re))) (* 0.5 (* (sqrt (+ (exp im) (exp (- im)))) (cos re))) (* (sqrt (+ (pow (exp (- im)) 3) (pow (exp im) 3))) (* 0.5 (cos re))) (* (* 0.5 (cos re)) (sqrt (- (exp (* im -2)) (exp (+ im im))))) (exp (+ (exp (- im)) (exp im))) (log (+ (exp (- im)) (exp im))) (exp (+ (exp (- im)) (exp im))) (* (cbrt (+ (exp (- im)) (exp im))) (cbrt (+ (exp (- im)) (exp im)))) (cbrt (+ (exp (- im)) (exp im))) (pow (+ (exp (- im)) (exp im)) 3) (sqrt (+ (exp im) (exp (- im)))) (sqrt (+ (exp im) (exp (- im)))) (+ (pow (exp (- im)) 3) (pow (exp im) 3)) (- (exp (+ im im)) (- 1 (exp (* im -2)))) (- (exp (* im -2)) (exp (+ im im))) (- (exp (- im)) (exp im)) (+ (exp im) (exp (- im))) (exp (+ (exp (- im)) (exp im))) (log (+ (exp (- im)) (exp im))) (exp (+ (exp (- im)) (exp im))) (* (cbrt (+ (exp (- im)) (exp im))) (cbrt (+ (exp (- im)) (exp im)))) (cbrt (+ (exp (- im)) (exp im))) (pow (+ (exp (- im)) (exp im)) 3) (sqrt (+ (exp im) (exp (- im)))) (sqrt (+ (exp im) (exp (- im)))) (+ (pow (exp (- im)) 3) (pow (exp im) 3)) (- (exp (+ im im)) (- 1 (exp (* im -2)))) (- (exp (* im -2)) (exp (+ im im))) (- (exp (- im)) (exp im)) (+ (exp im) (exp (- im))) (- (+ (* 0.5 (pow im 2)) 1.0) (* 0.5 (pow re 2))) (* (* (cos re) 0.5) (+ (exp im) (exp (- im)))) (* (* (cos re) 0.5) (+ (exp im) (exp (- im)))) (+ (* 0.5 (sqrt 2)) (* 0.25 (- (/ (pow im 2) (sqrt 2)) (* (pow re 2) (sqrt 2))))) (* 0.5 (* (sqrt (+ (exp im) (exp (- im)))) (cos re))) (* 0.5 (* (sqrt (+ (exp im) (exp (- im)))) (cos re))) (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)) (+ (exp im) (exp (- im))) (+ (exp im) (exp (- im))) (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)) (+ (exp im) (exp (- im))) (+ (exp im) (exp (- im))) 13.283 * * * [progress]: adding candidates to table 13.937 * [progress]: [Phase 3 of 3] Extracting. 13.937 * * [regime]: Finding splitpoints for: (# #) 13.938 * * * [regime-changes]: Trying 6 branch expressions: ((+ (exp (- im)) (exp im)) (cos re) (* 0.5 (cos re)) (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))) im re) 13.938 * * * * [regimes]: Trying to branch on (+ (exp (- im)) (exp im)) from (# #) 13.996 * * * * [regimes]: Trying to branch on (cos re) from (# #) 14.056 * * * * [regimes]: Trying to branch on (* 0.5 (cos re)) from (# #) 14.115 * * * * [regimes]: Trying to branch on (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))) from (# #) 14.192 * * * * [regimes]: Trying to branch on im from (# #) 14.249 * * * * [regimes]: Trying to branch on re from (# #) 14.307 * * * [regime]: Found split indices: #