38.096 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.159 * * * [progress]: [2/2] Setting up program. 0.162 * [progress]: [Phase 2 of 3] Improving. 0.162 * [simplify]: Simplifying: (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))) 0.162 * * [simplify]: Extracting # 0 : cost 0 0.162 * * [simplify]: Extracting # 1 : cost 0 0.162 * * [simplify]: Extracting # 2 : cost 0 0.162 * * [simplify]: Extracting # 3 : cost 0 0.162 * * [simplify]: Extracting # 4 : cost 0 0.162 * * [simplify]: Extracting # 5 : cost 0 0.162 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 0.164 * * [simplify]: Extracting # 0 : cost 0 0.164 * * [simplify]: Extracting # 1 : cost 0 0.164 * * [simplify]: Extracting # 2 : cost 0 0.164 * * [simplify]: iteration 1 : 23 enodes (cost 11 ) 0.169 * * [simplify]: Extracting # 0 : cost 0 0.169 * * [simplify]: Extracting # 1 : cost 0 0.169 * * [simplify]: Extracting # 2 : cost 0 0.169 * * [simplify]: iteration 2 : 59 enodes (cost 11 ) 0.183 * * [simplify]: Extracting # 0 : cost 0 0.184 * * [simplify]: Extracting # 1 : cost 0 0.184 * * [simplify]: Extracting # 2 : cost 0 0.184 * * [simplify]: iteration 3 : 108 enodes (cost 11 ) 0.250 * * [simplify]: Extracting # 0 : cost 0 0.250 * * [simplify]: Extracting # 1 : cost 0 0.251 * * [simplify]: Extracting # 2 : cost 0 0.251 * * [simplify]: Extracting # 3 : cost 0 0.252 * * [simplify]: iteration 4 : 491 enodes (cost 11 ) 1.517 * * [simplify]: Extracting # 0 : cost 0 1.527 * * [simplify]: Extracting # 1 : cost 0 1.531 * * [simplify]: Extracting # 2 : cost 0 1.535 * * [simplify]: iteration 5 : 4288 enodes (cost 11 ) 4.635 * * [simplify]: Extracting # 0 : cost 0 4.646 * * [simplify]: Extracting # 1 : cost 0 4.653 * * [simplify]: iteration done: 5000 enodes (cost 11 ) 4.653 * [simplify]: Simplified to: (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))) 4.654 * * [progress]: iteration 1 / 4 4.654 * * * [progress]: picking best candidate 4.657 * * * * [pick]: Picked # 4.657 * * * [progress]: localizing error 4.671 * * * [progress]: generating rewritten candidates 4.671 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2) 4.699 * * * [progress]: generating series expansions 4.699 * * * * [progress]: [ 1 / 1 ] generating series at (2 2) 4.699 * [backup-simplify]: Simplify (+ (exp (- im)) (exp im)) into (+ (exp im) (exp (- im))) 4.699 * [approximate]: Taking taylor expansion of (+ (exp im) (exp (- im))) in (im) around 0 4.699 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in im 4.699 * [taylor]: Taking taylor expansion of (exp im) in im 4.699 * [taylor]: Taking taylor expansion of im in im 4.699 * [backup-simplify]: Simplify 0 into 0 4.699 * [backup-simplify]: Simplify 1 into 1 4.699 * [backup-simplify]: Simplify (exp 0) into 1 4.699 * [taylor]: Taking taylor expansion of (exp (- im)) in im 4.699 * [taylor]: Taking taylor expansion of (- im) in im 4.699 * [taylor]: Taking taylor expansion of im in im 4.699 * [backup-simplify]: Simplify 0 into 0 4.699 * [backup-simplify]: Simplify 1 into 1 4.700 * [backup-simplify]: Simplify (- 0) into 0 4.700 * [backup-simplify]: Simplify (- 1) into -1 4.700 * [backup-simplify]: Simplify (exp 0) into 1 4.700 * [taylor]: Taking taylor expansion of (+ (exp im) (exp (- im))) in im 4.700 * [taylor]: Taking taylor expansion of (exp im) in im 4.700 * [taylor]: Taking taylor expansion of im in im 4.700 * [backup-simplify]: Simplify 0 into 0 4.700 * [backup-simplify]: Simplify 1 into 1 4.700 * [backup-simplify]: Simplify (exp 0) into 1 4.700 * [taylor]: Taking taylor expansion of (exp (- im)) in im 4.701 * [taylor]: Taking taylor expansion of (- im) in im 4.701 * [taylor]: Taking taylor expansion of im in im 4.701 * [backup-simplify]: Simplify 0 into 0 4.701 * [backup-simplify]: Simplify 1 into 1 4.709 * [backup-simplify]: Simplify (- 0) into 0 4.709 * [backup-simplify]: Simplify (- 1) into -1 4.709 * [backup-simplify]: Simplify (exp 0) into 1 4.710 * [backup-simplify]: Simplify (+ 1 1) into 2 4.710 * [backup-simplify]: Simplify 2 into 2 4.711 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 4.711 * [backup-simplify]: Simplify (- 1) into -1 4.712 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 4.712 * [backup-simplify]: Simplify (+ 1 -1) into 0 4.712 * [backup-simplify]: Simplify 0 into 0 4.714 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 4.714 * [backup-simplify]: Simplify (- 1) into -1 4.714 * [backup-simplify]: Simplify (- 0) into 0 4.716 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 4.716 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1 4.716 * [backup-simplify]: Simplify 1 into 1 4.718 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 4.718 * [backup-simplify]: Simplify (- 1) into -1 4.719 * [backup-simplify]: Simplify (- 1) into -1 4.719 * [backup-simplify]: Simplify (- 0) into 0 4.719 * [backup-simplify]: Simplify (- 0) into 0 4.721 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 4.722 * [backup-simplify]: Simplify (+ 1/6 -1/6) into 0 4.722 * [backup-simplify]: Simplify 0 into 0 4.725 * [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 4.726 * [backup-simplify]: Simplify (- 1) into -1 4.726 * [backup-simplify]: Simplify (- 1) into -1 4.726 * [backup-simplify]: Simplify (- 0) into 0 4.727 * [backup-simplify]: Simplify (- 1) into -1 4.727 * [backup-simplify]: Simplify (- 0) into 0 4.727 * [backup-simplify]: Simplify (- 0) into 0 4.728 * [backup-simplify]: Simplify (- 0) into 0 4.731 * [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 4.731 * [backup-simplify]: Simplify (+ 1/24 1/24) into 1/12 4.731 * [backup-simplify]: Simplify 1/12 into 1/12 4.732 * [backup-simplify]: Simplify (+ (* 1/12 (pow im 4)) (+ (* 1 (pow im 2)) 2)) into (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)) 4.732 * [backup-simplify]: Simplify (+ (exp (- (/ 1 im))) (exp (/ 1 im))) into (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 4.732 * [approximate]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in (im) around 0 4.732 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im 4.732 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 4.732 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 4.732 * [taylor]: Taking taylor expansion of (/ 1 im) in im 4.732 * [taylor]: Taking taylor expansion of im in im 4.732 * [backup-simplify]: Simplify 0 into 0 4.732 * [backup-simplify]: Simplify 1 into 1 4.733 * [backup-simplify]: Simplify (/ 1 1) into 1 4.733 * [backup-simplify]: Simplify (- 1) into -1 4.733 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im))) 4.733 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 4.733 * [taylor]: Taking taylor expansion of (/ 1 im) in im 4.733 * [taylor]: Taking taylor expansion of im in im 4.733 * [backup-simplify]: Simplify 0 into 0 4.733 * [backup-simplify]: Simplify 1 into 1 4.733 * [backup-simplify]: Simplify (/ 1 1) into 1 4.733 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 4.734 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im 4.734 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 4.734 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 4.734 * [taylor]: Taking taylor expansion of (/ 1 im) in im 4.734 * [taylor]: Taking taylor expansion of im in im 4.734 * [backup-simplify]: Simplify 0 into 0 4.734 * [backup-simplify]: Simplify 1 into 1 4.734 * [backup-simplify]: Simplify (/ 1 1) into 1 4.734 * [backup-simplify]: Simplify (- 1) into -1 4.734 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im))) 4.734 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 4.734 * [taylor]: Taking taylor expansion of (/ 1 im) in im 4.735 * [taylor]: Taking taylor expansion of im in im 4.735 * [backup-simplify]: Simplify 0 into 0 4.735 * [backup-simplify]: Simplify 1 into 1 4.735 * [backup-simplify]: Simplify (/ 1 1) into 1 4.735 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 4.735 * [backup-simplify]: Simplify (+ (exp (- (/ 1 im))) (exp (/ 1 im))) into (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 4.735 * [backup-simplify]: Simplify (+ (exp (- (/ 1 im))) (exp (/ 1 im))) into (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 4.736 * [backup-simplify]: Simplify (+ 0 0) into 0 4.736 * [backup-simplify]: Simplify 0 into 0 4.736 * [backup-simplify]: Simplify (+ 0 0) into 0 4.736 * [backup-simplify]: Simplify 0 into 0 4.737 * [backup-simplify]: Simplify (+ 0 0) into 0 4.737 * [backup-simplify]: Simplify 0 into 0 4.737 * [backup-simplify]: Simplify (+ 0 0) into 0 4.737 * [backup-simplify]: Simplify 0 into 0 4.737 * [backup-simplify]: Simplify (+ 0 0) into 0 4.737 * [backup-simplify]: Simplify 0 into 0 4.738 * [backup-simplify]: Simplify (+ 0 0) into 0 4.738 * [backup-simplify]: Simplify 0 into 0 4.738 * [backup-simplify]: Simplify (+ (exp (- (/ 1 (/ 1 im)))) (exp (/ 1 (/ 1 im)))) into (+ (exp im) (exp (- im))) 4.738 * [backup-simplify]: Simplify (+ (exp (- (/ 1 (- im)))) (exp (/ 1 (- im)))) into (+ (exp (/ -1 im)) (exp (/ 1 im))) 4.738 * [approximate]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in (im) around 0 4.738 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 4.738 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 4.738 * [taylor]: Taking taylor expansion of (/ -1 im) in im 4.738 * [taylor]: Taking taylor expansion of -1 in im 4.738 * [backup-simplify]: Simplify -1 into -1 4.738 * [taylor]: Taking taylor expansion of im in im 4.738 * [backup-simplify]: Simplify 0 into 0 4.738 * [backup-simplify]: Simplify 1 into 1 4.739 * [backup-simplify]: Simplify (/ -1 1) into -1 4.739 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 4.739 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 4.739 * [taylor]: Taking taylor expansion of (/ 1 im) in im 4.739 * [taylor]: Taking taylor expansion of im in im 4.739 * [backup-simplify]: Simplify 0 into 0 4.739 * [backup-simplify]: Simplify 1 into 1 4.739 * [backup-simplify]: Simplify (/ 1 1) into 1 4.739 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 4.739 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 4.739 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 4.739 * [taylor]: Taking taylor expansion of (/ -1 im) in im 4.740 * [taylor]: Taking taylor expansion of -1 in im 4.740 * [backup-simplify]: Simplify -1 into -1 4.740 * [taylor]: Taking taylor expansion of im in im 4.740 * [backup-simplify]: Simplify 0 into 0 4.740 * [backup-simplify]: Simplify 1 into 1 4.740 * [backup-simplify]: Simplify (/ -1 1) into -1 4.740 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 4.740 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 4.740 * [taylor]: Taking taylor expansion of (/ 1 im) in im 4.740 * [taylor]: Taking taylor expansion of im in im 4.740 * [backup-simplify]: Simplify 0 into 0 4.740 * [backup-simplify]: Simplify 1 into 1 4.741 * [backup-simplify]: Simplify (/ 1 1) into 1 4.741 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 4.741 * [backup-simplify]: Simplify (+ (exp (/ -1 im)) (exp (/ 1 im))) into (+ (exp (/ -1 im)) (exp (/ 1 im))) 4.741 * [backup-simplify]: Simplify (+ (exp (/ -1 im)) (exp (/ 1 im))) into (+ (exp (/ -1 im)) (exp (/ 1 im))) 4.741 * [backup-simplify]: Simplify (+ 0 0) into 0 4.741 * [backup-simplify]: Simplify 0 into 0 4.742 * [backup-simplify]: Simplify (+ 0 0) into 0 4.742 * [backup-simplify]: Simplify 0 into 0 4.742 * [backup-simplify]: Simplify (+ 0 0) into 0 4.742 * [backup-simplify]: Simplify 0 into 0 4.742 * [backup-simplify]: Simplify (+ 0 0) into 0 4.743 * [backup-simplify]: Simplify 0 into 0 4.743 * [backup-simplify]: Simplify (+ 0 0) into 0 4.743 * [backup-simplify]: Simplify 0 into 0 4.743 * [backup-simplify]: Simplify (+ 0 0) into 0 4.743 * [backup-simplify]: Simplify 0 into 0 4.743 * [backup-simplify]: Simplify (+ (exp (/ -1 (/ 1 (- im)))) (exp (/ 1 (/ 1 (- im))))) into (+ (exp (* -1 im)) (exp im)) 4.744 * * * [progress]: simplifying candidates 4.744 * [simplify]: Simplifying: (expm1 (+ (exp (- im)) (exp im))) (log1p (+ (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)) (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)) (+ (exp im) (exp (- im))) (+ (exp (* -1 im)) (exp im)) 4.745 * * [simplify]: Extracting # 0 : cost 0 4.745 * * [simplify]: Extracting # 1 : cost 0 4.745 * * [simplify]: Extracting # 2 : cost 0 4.745 * * [simplify]: Extracting # 3 : cost 0 4.745 * * [simplify]: Extracting # 4 : cost 0 4.745 * * [simplify]: Extracting # 5 : cost 0 4.745 * * [simplify]: Extracting # 6 : cost 0 4.745 * * [simplify]: iteration 0 : 41 enodes (cost 171 ) 4.761 * * [simplify]: Extracting # 0 : cost 0 4.761 * * [simplify]: Extracting # 1 : cost 0 4.761 * * [simplify]: Extracting # 2 : cost 0 4.761 * * [simplify]: Extracting # 3 : cost 0 4.761 * * [simplify]: Extracting # 4 : cost 0 4.762 * * [simplify]: iteration 1 : 115 enodes (cost 162 ) 4.825 * * [simplify]: Extracting # 0 : cost 0 4.826 * * [simplify]: Extracting # 1 : cost 0 4.827 * * [simplify]: Extracting # 2 : cost 0 4.832 * * [simplify]: Extracting # 3 : cost 0 4.833 * * [simplify]: Extracting # 4 : cost 0 4.833 * * [simplify]: iteration 2 : 529 enodes (cost 142 ) 5.467 * * [simplify]: Extracting # 0 : cost 0 5.487 * * [simplify]: Extracting # 1 : cost 0 5.493 * * [simplify]: Extracting # 2 : cost 0 5.502 * * [simplify]: Extracting # 3 : cost 0 5.510 * * [simplify]: Extracting # 4 : cost 0 5.515 * * [simplify]: iteration 3 : 4302 enodes (cost 139 ) 8.054 * * [simplify]: Extracting # 0 : cost 0 8.062 * * [simplify]: Extracting # 1 : cost 0 8.072 * * [simplify]: iteration done: 5000 enodes (cost 139 ) 8.072 * [simplify]: Simplified to: (expm1 (+ (exp (- im)) (exp im))) (log1p (+ (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))) (+ (exp (* im -3)) (pow (exp im) 3)) (+ (exp (* -2 im)) (expm1 (+ im im))) (- (exp (* im -2)) (exp (+ im im))) (- (exp (- im)) (exp im)) (+ (exp (- im)) (exp im)) (fma 1/12 (pow im 4) (fma im im 2)) (+ (exp (- im)) (exp im)) (+ (exp (- im)) (exp im)) 8.072 * * * [progress]: adding candidates to table 8.145 * * [progress]: iteration 2 / 4 8.145 * * * [progress]: picking best candidate 8.148 * * * * [pick]: Picked # 8.148 * * * [progress]: localizing error 8.166 * * * [progress]: generating rewritten candidates 8.166 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 2) 8.179 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1) 8.192 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2) 8.196 * * * [progress]: generating series expansions 8.196 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 2) 8.196 * [backup-simplify]: Simplify (sqrt (exp (- im))) into (sqrt (exp (- im))) 8.196 * [approximate]: Taking taylor expansion of (sqrt (exp (- im))) in (im) around 0 8.196 * [taylor]: Taking taylor expansion of (sqrt (exp (- im))) in im 8.196 * [taylor]: Taking taylor expansion of (exp (- im)) in im 8.196 * [taylor]: Taking taylor expansion of (- im) in im 8.196 * [taylor]: Taking taylor expansion of im in im 8.196 * [backup-simplify]: Simplify 0 into 0 8.196 * [backup-simplify]: Simplify 1 into 1 8.197 * [backup-simplify]: Simplify (- 0) into 0 8.197 * [backup-simplify]: Simplify (- 1) into -1 8.197 * [backup-simplify]: Simplify (exp 0) into 1 8.198 * [backup-simplify]: Simplify (sqrt 1) into 1 8.198 * [backup-simplify]: Simplify (- 1) into -1 8.199 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 8.200 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 1))) into -1/2 8.200 * [taylor]: Taking taylor expansion of (sqrt (exp (- im))) in im 8.200 * [taylor]: Taking taylor expansion of (exp (- im)) in im 8.200 * [taylor]: Taking taylor expansion of (- im) in im 8.200 * [taylor]: Taking taylor expansion of im in im 8.200 * [backup-simplify]: Simplify 0 into 0 8.200 * [backup-simplify]: Simplify 1 into 1 8.200 * [backup-simplify]: Simplify (- 0) into 0 8.201 * [backup-simplify]: Simplify (- 1) into -1 8.201 * [backup-simplify]: Simplify (exp 0) into 1 8.201 * [backup-simplify]: Simplify (sqrt 1) into 1 8.201 * [backup-simplify]: Simplify (- 1) into -1 8.202 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 8.203 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 1))) into -1/2 8.203 * [backup-simplify]: Simplify 1 into 1 8.203 * [backup-simplify]: Simplify -1/2 into -1/2 8.204 * [backup-simplify]: Simplify (- 1) into -1 8.204 * [backup-simplify]: Simplify (- 0) into 0 8.206 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 8.207 * [backup-simplify]: Simplify (/ (- 1/2 (pow -1/2 2) (+)) (* 2 1)) into 1/8 8.207 * [backup-simplify]: Simplify 1/8 into 1/8 8.207 * [backup-simplify]: Simplify (+ (* 1/8 (pow im 2)) (+ (* -1/2 im) 1)) into (- (+ (* 1/8 (pow im 2)) 1) (* 1/2 im)) 8.207 * [backup-simplify]: Simplify (sqrt (exp (- (/ 1 im)))) into (sqrt (exp (- (/ 1 im)))) 8.207 * [approximate]: Taking taylor expansion of (sqrt (exp (- (/ 1 im)))) in (im) around 0 8.207 * [taylor]: Taking taylor expansion of (sqrt (exp (- (/ 1 im)))) in im 8.207 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 8.207 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 8.207 * [taylor]: Taking taylor expansion of (/ 1 im) in im 8.207 * [taylor]: Taking taylor expansion of im in im 8.207 * [backup-simplify]: Simplify 0 into 0 8.207 * [backup-simplify]: Simplify 1 into 1 8.207 * [backup-simplify]: Simplify (/ 1 1) into 1 8.208 * [backup-simplify]: Simplify (- 1) into -1 8.208 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im))) 8.208 * [backup-simplify]: Simplify (sqrt (exp (- (/ 1 im)))) into (sqrt (exp (- (/ 1 im)))) 8.208 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (- (/ 1 im)))))) into 0 8.208 * [taylor]: Taking taylor expansion of (sqrt (exp (- (/ 1 im)))) in im 8.208 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 8.208 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 8.208 * [taylor]: Taking taylor expansion of (/ 1 im) in im 8.208 * [taylor]: Taking taylor expansion of im in im 8.208 * [backup-simplify]: Simplify 0 into 0 8.208 * [backup-simplify]: Simplify 1 into 1 8.208 * [backup-simplify]: Simplify (/ 1 1) into 1 8.209 * [backup-simplify]: Simplify (- 1) into -1 8.209 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im))) 8.209 * [backup-simplify]: Simplify (sqrt (exp (- (/ 1 im)))) into (sqrt (exp (- (/ 1 im)))) 8.209 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (- (/ 1 im)))))) into 0 8.209 * [backup-simplify]: Simplify (sqrt (exp (- (/ 1 im)))) into (sqrt (exp (- (/ 1 im)))) 8.209 * [backup-simplify]: Simplify 0 into 0 8.209 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (- (/ 1 im)))))) into 0 8.209 * [backup-simplify]: Simplify 0 into 0 8.210 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (- (/ 1 im)))))) into 0 8.210 * [backup-simplify]: Simplify 0 into 0 8.211 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (- (/ 1 im)))))) into 0 8.211 * [backup-simplify]: Simplify 0 into 0 8.211 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (- (/ 1 im)))))) into 0 8.211 * [backup-simplify]: Simplify 0 into 0 8.212 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (- (/ 1 im)))))) into 0 8.212 * [backup-simplify]: Simplify 0 into 0 8.212 * [backup-simplify]: Simplify (sqrt (exp (- (/ 1 (/ 1 im))))) into (sqrt (exp (- im))) 8.212 * [backup-simplify]: Simplify (sqrt (exp (- (/ 1 (- im))))) into (sqrt (exp (/ 1 im))) 8.212 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 im))) in (im) around 0 8.212 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 im))) in im 8.212 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 8.212 * [taylor]: Taking taylor expansion of (/ 1 im) in im 8.212 * [taylor]: Taking taylor expansion of im in im 8.212 * [backup-simplify]: Simplify 0 into 0 8.212 * [backup-simplify]: Simplify 1 into 1 8.212 * [backup-simplify]: Simplify (/ 1 1) into 1 8.212 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 8.213 * [backup-simplify]: Simplify (sqrt (exp (/ 1 im))) into (sqrt (exp (/ 1 im))) 8.213 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 im))))) into 0 8.213 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 im))) in im 8.213 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 8.213 * [taylor]: Taking taylor expansion of (/ 1 im) in im 8.213 * [taylor]: Taking taylor expansion of im in im 8.213 * [backup-simplify]: Simplify 0 into 0 8.213 * [backup-simplify]: Simplify 1 into 1 8.213 * [backup-simplify]: Simplify (/ 1 1) into 1 8.213 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 8.213 * [backup-simplify]: Simplify (sqrt (exp (/ 1 im))) into (sqrt (exp (/ 1 im))) 8.213 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 im))))) into 0 8.213 * [backup-simplify]: Simplify (sqrt (exp (/ 1 im))) into (sqrt (exp (/ 1 im))) 8.213 * [backup-simplify]: Simplify 0 into 0 8.214 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 im))))) into 0 8.214 * [backup-simplify]: Simplify 0 into 0 8.214 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 im))))) into 0 8.214 * [backup-simplify]: Simplify 0 into 0 8.215 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 im))))) into 0 8.215 * [backup-simplify]: Simplify 0 into 0 8.216 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 im))))) into 0 8.216 * [backup-simplify]: Simplify 0 into 0 8.216 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 im))))) into 0 8.216 * [backup-simplify]: Simplify 0 into 0 8.216 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (/ 1 (- im))))) into (sqrt (exp (* -1 im))) 8.216 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1) 8.216 * [backup-simplify]: Simplify (sqrt (exp (- im))) into (sqrt (exp (- im))) 8.216 * [approximate]: Taking taylor expansion of (sqrt (exp (- im))) in (im) around 0 8.217 * [taylor]: Taking taylor expansion of (sqrt (exp (- im))) in im 8.217 * [taylor]: Taking taylor expansion of (exp (- im)) in im 8.217 * [taylor]: Taking taylor expansion of (- im) in im 8.217 * [taylor]: Taking taylor expansion of im in im 8.217 * [backup-simplify]: Simplify 0 into 0 8.217 * [backup-simplify]: Simplify 1 into 1 8.217 * [backup-simplify]: Simplify (- 0) into 0 8.217 * [backup-simplify]: Simplify (- 1) into -1 8.217 * [backup-simplify]: Simplify (exp 0) into 1 8.217 * [backup-simplify]: Simplify (sqrt 1) into 1 8.218 * [backup-simplify]: Simplify (- 1) into -1 8.218 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 8.219 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 1))) into -1/2 8.219 * [taylor]: Taking taylor expansion of (sqrt (exp (- im))) in im 8.219 * [taylor]: Taking taylor expansion of (exp (- im)) in im 8.219 * [taylor]: Taking taylor expansion of (- im) in im 8.219 * [taylor]: Taking taylor expansion of im in im 8.219 * [backup-simplify]: Simplify 0 into 0 8.219 * [backup-simplify]: Simplify 1 into 1 8.219 * [backup-simplify]: Simplify (- 0) into 0 8.219 * [backup-simplify]: Simplify (- 1) into -1 8.219 * [backup-simplify]: Simplify (exp 0) into 1 8.220 * [backup-simplify]: Simplify (sqrt 1) into 1 8.220 * [backup-simplify]: Simplify (- 1) into -1 8.220 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 8.221 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 1))) into -1/2 8.221 * [backup-simplify]: Simplify 1 into 1 8.221 * [backup-simplify]: Simplify -1/2 into -1/2 8.221 * [backup-simplify]: Simplify (- 1) into -1 8.221 * [backup-simplify]: Simplify (- 0) into 0 8.222 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 8.223 * [backup-simplify]: Simplify (/ (- 1/2 (pow -1/2 2) (+)) (* 2 1)) into 1/8 8.223 * [backup-simplify]: Simplify 1/8 into 1/8 8.223 * [backup-simplify]: Simplify (+ (* 1/8 (pow im 2)) (+ (* -1/2 im) 1)) into (- (+ (* 1/8 (pow im 2)) 1) (* 1/2 im)) 8.223 * [backup-simplify]: Simplify (sqrt (exp (- (/ 1 im)))) into (sqrt (exp (- (/ 1 im)))) 8.223 * [approximate]: Taking taylor expansion of (sqrt (exp (- (/ 1 im)))) in (im) around 0 8.223 * [taylor]: Taking taylor expansion of (sqrt (exp (- (/ 1 im)))) in im 8.224 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 8.224 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 8.224 * [taylor]: Taking taylor expansion of (/ 1 im) in im 8.224 * [taylor]: Taking taylor expansion of im in im 8.224 * [backup-simplify]: Simplify 0 into 0 8.224 * [backup-simplify]: Simplify 1 into 1 8.224 * [backup-simplify]: Simplify (/ 1 1) into 1 8.224 * [backup-simplify]: Simplify (- 1) into -1 8.224 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im))) 8.224 * [backup-simplify]: Simplify (sqrt (exp (- (/ 1 im)))) into (sqrt (exp (- (/ 1 im)))) 8.224 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (- (/ 1 im)))))) into 0 8.224 * [taylor]: Taking taylor expansion of (sqrt (exp (- (/ 1 im)))) in im 8.224 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 8.224 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 8.224 * [taylor]: Taking taylor expansion of (/ 1 im) in im 8.224 * [taylor]: Taking taylor expansion of im in im 8.224 * [backup-simplify]: Simplify 0 into 0 8.224 * [backup-simplify]: Simplify 1 into 1 8.225 * [backup-simplify]: Simplify (/ 1 1) into 1 8.225 * [backup-simplify]: Simplify (- 1) into -1 8.225 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im))) 8.225 * [backup-simplify]: Simplify (sqrt (exp (- (/ 1 im)))) into (sqrt (exp (- (/ 1 im)))) 8.225 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (- (/ 1 im)))))) into 0 8.225 * [backup-simplify]: Simplify (sqrt (exp (- (/ 1 im)))) into (sqrt (exp (- (/ 1 im)))) 8.225 * [backup-simplify]: Simplify 0 into 0 8.226 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (- (/ 1 im)))))) into 0 8.226 * [backup-simplify]: Simplify 0 into 0 8.226 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (- (/ 1 im)))))) into 0 8.226 * [backup-simplify]: Simplify 0 into 0 8.227 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (- (/ 1 im)))))) into 0 8.227 * [backup-simplify]: Simplify 0 into 0 8.228 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (- (/ 1 im)))))) into 0 8.228 * [backup-simplify]: Simplify 0 into 0 8.229 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (- (/ 1 im)))))) into 0 8.229 * [backup-simplify]: Simplify 0 into 0 8.229 * [backup-simplify]: Simplify (sqrt (exp (- (/ 1 (/ 1 im))))) into (sqrt (exp (- im))) 8.230 * [backup-simplify]: Simplify (sqrt (exp (- (/ 1 (- im))))) into (sqrt (exp (/ 1 im))) 8.230 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 im))) in (im) around 0 8.230 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 im))) in im 8.230 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 8.230 * [taylor]: Taking taylor expansion of (/ 1 im) in im 8.230 * [taylor]: Taking taylor expansion of im in im 8.230 * [backup-simplify]: Simplify 0 into 0 8.230 * [backup-simplify]: Simplify 1 into 1 8.230 * [backup-simplify]: Simplify (/ 1 1) into 1 8.230 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 8.230 * [backup-simplify]: Simplify (sqrt (exp (/ 1 im))) into (sqrt (exp (/ 1 im))) 8.231 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 im))))) into 0 8.231 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 im))) in im 8.231 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 8.231 * [taylor]: Taking taylor expansion of (/ 1 im) in im 8.231 * [taylor]: Taking taylor expansion of im in im 8.231 * [backup-simplify]: Simplify 0 into 0 8.231 * [backup-simplify]: Simplify 1 into 1 8.231 * [backup-simplify]: Simplify (/ 1 1) into 1 8.231 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 8.231 * [backup-simplify]: Simplify (sqrt (exp (/ 1 im))) into (sqrt (exp (/ 1 im))) 8.232 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 im))))) into 0 8.232 * [backup-simplify]: Simplify (sqrt (exp (/ 1 im))) into (sqrt (exp (/ 1 im))) 8.232 * [backup-simplify]: Simplify 0 into 0 8.233 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 im))))) into 0 8.233 * [backup-simplify]: Simplify 0 into 0 8.234 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 im))))) into 0 8.234 * [backup-simplify]: Simplify 0 into 0 8.235 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 im))))) into 0 8.235 * [backup-simplify]: Simplify 0 into 0 8.235 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 im))))) into 0 8.235 * [backup-simplify]: Simplify 0 into 0 8.236 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 im))))) into 0 8.236 * [backup-simplify]: Simplify 0 into 0 8.236 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (/ 1 (- im))))) into (sqrt (exp (* -1 im))) 8.236 * * * * [progress]: [ 3 / 3 ] generating series at (2 2) 8.236 * [backup-simplify]: Simplify (fma (sqrt (exp (- im))) (sqrt (exp (- im))) (exp im)) into (fma (sqrt (exp (- im))) (sqrt (exp (- im))) (exp im)) 8.236 * [approximate]: Taking taylor expansion of (fma (sqrt (exp (- im))) (sqrt (exp (- im))) (exp im)) in (im) around 0 8.236 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (- im))) (sqrt (exp (- im))) (exp im)) in im 8.237 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (- im))) (sqrt (exp (- im)))) (exp im)) 8.237 * [taylor]: Taking taylor expansion of (* (sqrt (exp (- im))) (sqrt (exp (- im)))) in im 8.237 * [taylor]: Taking taylor expansion of (sqrt (exp (- im))) in im 8.237 * [taylor]: Taking taylor expansion of (exp (- im)) in im 8.237 * [taylor]: Taking taylor expansion of (- im) in im 8.237 * [taylor]: Taking taylor expansion of im in im 8.237 * [backup-simplify]: Simplify 0 into 0 8.237 * [backup-simplify]: Simplify 1 into 1 8.237 * [backup-simplify]: Simplify (- 0) into 0 8.237 * [backup-simplify]: Simplify (- 1) into -1 8.237 * [backup-simplify]: Simplify (exp 0) into 1 8.238 * [backup-simplify]: Simplify (sqrt 1) into 1 8.238 * [backup-simplify]: Simplify (- 1) into -1 8.239 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 8.239 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 1))) into -1/2 8.239 * [taylor]: Taking taylor expansion of (sqrt (exp (- im))) in im 8.239 * [taylor]: Taking taylor expansion of (exp (- im)) in im 8.239 * [taylor]: Taking taylor expansion of (- im) in im 8.239 * [taylor]: Taking taylor expansion of im in im 8.239 * [backup-simplify]: Simplify 0 into 0 8.239 * [backup-simplify]: Simplify 1 into 1 8.239 * [backup-simplify]: Simplify (- 0) into 0 8.240 * [backup-simplify]: Simplify (- 1) into -1 8.240 * [backup-simplify]: Simplify (exp 0) into 1 8.240 * [backup-simplify]: Simplify (sqrt 1) into 1 8.240 * [backup-simplify]: Simplify (- 1) into -1 8.241 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 8.241 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 1))) into -1/2 8.241 * [taylor]: Taking taylor expansion of (exp im) in im 8.241 * [taylor]: Taking taylor expansion of im in im 8.241 * [backup-simplify]: Simplify 0 into 0 8.241 * [backup-simplify]: Simplify 1 into 1 8.241 * [backup-simplify]: Simplify (exp 0) into 1 8.241 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (- im))) (sqrt (exp (- im))) (exp im)) in im 8.241 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (- im))) (sqrt (exp (- im)))) (exp im)) 8.241 * [taylor]: Taking taylor expansion of (* (sqrt (exp (- im))) (sqrt (exp (- im)))) in im 8.241 * [taylor]: Taking taylor expansion of (sqrt (exp (- im))) in im 8.241 * [taylor]: Taking taylor expansion of (exp (- im)) in im 8.241 * [taylor]: Taking taylor expansion of (- im) in im 8.241 * [taylor]: Taking taylor expansion of im in im 8.241 * [backup-simplify]: Simplify 0 into 0 8.241 * [backup-simplify]: Simplify 1 into 1 8.248 * [backup-simplify]: Simplify (- 0) into 0 8.248 * [backup-simplify]: Simplify (- 1) into -1 8.248 * [backup-simplify]: Simplify (exp 0) into 1 8.249 * [backup-simplify]: Simplify (sqrt 1) into 1 8.249 * [backup-simplify]: Simplify (- 1) into -1 8.250 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 8.250 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 1))) into -1/2 8.250 * [taylor]: Taking taylor expansion of (sqrt (exp (- im))) in im 8.250 * [taylor]: Taking taylor expansion of (exp (- im)) in im 8.250 * [taylor]: Taking taylor expansion of (- im) in im 8.250 * [taylor]: Taking taylor expansion of im in im 8.250 * [backup-simplify]: Simplify 0 into 0 8.250 * [backup-simplify]: Simplify 1 into 1 8.250 * [backup-simplify]: Simplify (- 0) into 0 8.251 * [backup-simplify]: Simplify (- 1) into -1 8.251 * [backup-simplify]: Simplify (exp 0) into 1 8.251 * [backup-simplify]: Simplify (sqrt 1) into 1 8.251 * [backup-simplify]: Simplify (- 1) into -1 8.252 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 8.252 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 1))) into -1/2 8.252 * [taylor]: Taking taylor expansion of (exp im) in im 8.252 * [taylor]: Taking taylor expansion of im in im 8.252 * [backup-simplify]: Simplify 0 into 0 8.252 * [backup-simplify]: Simplify 1 into 1 8.252 * [backup-simplify]: Simplify (exp 0) into 1 8.253 * [backup-simplify]: Simplify (* 1 1) into 1 8.253 * [backup-simplify]: Simplify (+ 1 1) into 2 8.253 * [backup-simplify]: Simplify 2 into 2 8.253 * [backup-simplify]: Simplify (+ (* 1 -1/2) (* -1/2 1)) into -1 8.254 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 8.254 * [backup-simplify]: Simplify (+ -1 1) into 0 8.254 * [backup-simplify]: Simplify 0 into 0 8.254 * [backup-simplify]: Simplify (- 1) into -1 8.255 * [backup-simplify]: Simplify (- 0) into 0 8.256 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 8.256 * [backup-simplify]: Simplify (/ (- 1/2 (pow -1/2 2) (+)) (* 2 1)) into 1/8 8.257 * [backup-simplify]: Simplify (- 1) into -1 8.257 * [backup-simplify]: Simplify (- 0) into 0 8.258 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 8.258 * [backup-simplify]: Simplify (/ (- 1/2 (pow -1/2 2) (+)) (* 2 1)) into 1/8 8.259 * [backup-simplify]: Simplify (+ (* 1 1/8) (+ (* -1/2 -1/2) (* 1/8 1))) into 1/2 8.260 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 8.260 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1 8.260 * [backup-simplify]: Simplify 1 into 1 8.261 * [backup-simplify]: Simplify (- 1) into -1 8.261 * [backup-simplify]: Simplify (- 1) into -1 8.261 * [backup-simplify]: Simplify (- 0) into 0 8.261 * [backup-simplify]: Simplify (- 0) into 0 8.263 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 8.264 * [backup-simplify]: Simplify (/ (- -1/6 (+ (* 2 (* -1/2 1/8)))) (* 2 1)) into -1/48 8.264 * [backup-simplify]: Simplify (- 1) into -1 8.264 * [backup-simplify]: Simplify (- 1) into -1 8.265 * [backup-simplify]: Simplify (- 0) into 0 8.265 * [backup-simplify]: Simplify (- 0) into 0 8.266 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6 8.267 * [backup-simplify]: Simplify (/ (- -1/6 (+ (* 2 (* -1/2 1/8)))) (* 2 1)) into -1/48 8.268 * [backup-simplify]: Simplify (+ (* 1 -1/48) (+ (* -1/2 1/8) (+ (* 1/8 -1/2) (* -1/48 1)))) into -1/6 8.269 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 8.270 * [backup-simplify]: Simplify (+ -1/6 1/6) into 0 8.270 * [backup-simplify]: Simplify 0 into 0 8.270 * [backup-simplify]: Simplify (- 1) into -1 8.270 * [backup-simplify]: Simplify (- 1) into -1 8.270 * [backup-simplify]: Simplify (- 0) into 0 8.271 * [backup-simplify]: Simplify (- 1) into -1 8.271 * [backup-simplify]: Simplify (- 0) into 0 8.271 * [backup-simplify]: Simplify (- 0) into 0 8.271 * [backup-simplify]: Simplify (- 0) into 0 8.274 * [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 8.275 * [backup-simplify]: Simplify (/ (- 1/24 (pow 1/8 2) (+ (* 2 (* -1/2 -1/48)))) (* 2 1)) into 1/384 8.275 * [backup-simplify]: Simplify (- 1) into -1 8.276 * [backup-simplify]: Simplify (- 1) into -1 8.276 * [backup-simplify]: Simplify (- 0) into 0 8.276 * [backup-simplify]: Simplify (- 1) into -1 8.277 * [backup-simplify]: Simplify (- 0) into 0 8.277 * [backup-simplify]: Simplify (- 0) into 0 8.277 * [backup-simplify]: Simplify (- 0) into 0 8.282 * [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 8.283 * [backup-simplify]: Simplify (/ (- 1/24 (pow 1/8 2) (+ (* 2 (* -1/2 -1/48)))) (* 2 1)) into 1/384 8.285 * [backup-simplify]: Simplify (+ (* 1 1/384) (+ (* -1/2 -1/48) (+ (* 1/8 1/8) (+ (* -1/48 -1/2) (* 1/384 1))))) into 1/24 8.289 * [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 8.289 * [backup-simplify]: Simplify (+ 1/24 1/24) into 1/12 8.290 * [backup-simplify]: Simplify 1/12 into 1/12 8.290 * [backup-simplify]: Simplify (+ (* 1/12 (pow im 4)) (+ (* 1 (pow im 2)) 2)) into (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)) 8.290 * [backup-simplify]: Simplify (fma (sqrt (exp (- (/ 1 im)))) (sqrt (exp (- (/ 1 im)))) (exp (/ 1 im))) into (fma (sqrt (exp (- (/ 1 im)))) (sqrt (exp (- (/ 1 im)))) (exp (/ 1 im))) 8.290 * [approximate]: Taking taylor expansion of (fma (sqrt (exp (- (/ 1 im)))) (sqrt (exp (- (/ 1 im)))) (exp (/ 1 im))) in (im) around 0 8.290 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (- (/ 1 im)))) (sqrt (exp (- (/ 1 im)))) (exp (/ 1 im))) in im 8.291 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (- (/ 1 im)))) (sqrt (exp (- (/ 1 im))))) (exp (/ 1 im))) 8.291 * [taylor]: Taking taylor expansion of (* (sqrt (exp (- (/ 1 im)))) (sqrt (exp (- (/ 1 im))))) in im 8.291 * [taylor]: Taking taylor expansion of (sqrt (exp (- (/ 1 im)))) in im 8.291 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 8.291 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 8.291 * [taylor]: Taking taylor expansion of (/ 1 im) in im 8.291 * [taylor]: Taking taylor expansion of im in im 8.291 * [backup-simplify]: Simplify 0 into 0 8.291 * [backup-simplify]: Simplify 1 into 1 8.291 * [backup-simplify]: Simplify (/ 1 1) into 1 8.291 * [backup-simplify]: Simplify (- 1) into -1 8.292 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im))) 8.292 * [backup-simplify]: Simplify (sqrt (exp (- (/ 1 im)))) into (sqrt (exp (- (/ 1 im)))) 8.292 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (- (/ 1 im)))))) into 0 8.292 * [taylor]: Taking taylor expansion of (sqrt (exp (- (/ 1 im)))) in im 8.292 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 8.292 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 8.292 * [taylor]: Taking taylor expansion of (/ 1 im) in im 8.292 * [taylor]: Taking taylor expansion of im in im 8.292 * [backup-simplify]: Simplify 0 into 0 8.292 * [backup-simplify]: Simplify 1 into 1 8.292 * [backup-simplify]: Simplify (/ 1 1) into 1 8.293 * [backup-simplify]: Simplify (- 1) into -1 8.293 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im))) 8.293 * [backup-simplify]: Simplify (sqrt (exp (- (/ 1 im)))) into (sqrt (exp (- (/ 1 im)))) 8.293 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (- (/ 1 im)))))) into 0 8.293 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 8.293 * [taylor]: Taking taylor expansion of (/ 1 im) in im 8.293 * [taylor]: Taking taylor expansion of im in im 8.293 * [backup-simplify]: Simplify 0 into 0 8.293 * [backup-simplify]: Simplify 1 into 1 8.294 * [backup-simplify]: Simplify (/ 1 1) into 1 8.294 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 8.294 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (- (/ 1 im)))) (sqrt (exp (- (/ 1 im)))) (exp (/ 1 im))) in im 8.294 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (- (/ 1 im)))) (sqrt (exp (- (/ 1 im))))) (exp (/ 1 im))) 8.294 * [taylor]: Taking taylor expansion of (* (sqrt (exp (- (/ 1 im)))) (sqrt (exp (- (/ 1 im))))) in im 8.294 * [taylor]: Taking taylor expansion of (sqrt (exp (- (/ 1 im)))) in im 8.294 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 8.294 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 8.294 * [taylor]: Taking taylor expansion of (/ 1 im) in im 8.294 * [taylor]: Taking taylor expansion of im in im 8.294 * [backup-simplify]: Simplify 0 into 0 8.294 * [backup-simplify]: Simplify 1 into 1 8.294 * [backup-simplify]: Simplify (/ 1 1) into 1 8.295 * [backup-simplify]: Simplify (- 1) into -1 8.295 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im))) 8.295 * [backup-simplify]: Simplify (sqrt (exp (- (/ 1 im)))) into (sqrt (exp (- (/ 1 im)))) 8.295 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (- (/ 1 im)))))) into 0 8.295 * [taylor]: Taking taylor expansion of (sqrt (exp (- (/ 1 im)))) in im 8.295 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 8.295 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 8.295 * [taylor]: Taking taylor expansion of (/ 1 im) in im 8.295 * [taylor]: Taking taylor expansion of im in im 8.295 * [backup-simplify]: Simplify 0 into 0 8.295 * [backup-simplify]: Simplify 1 into 1 8.296 * [backup-simplify]: Simplify (/ 1 1) into 1 8.296 * [backup-simplify]: Simplify (- 1) into -1 8.296 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im))) 8.296 * [backup-simplify]: Simplify (sqrt (exp (- (/ 1 im)))) into (sqrt (exp (- (/ 1 im)))) 8.296 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (- (/ 1 im)))))) into 0 8.296 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 8.296 * [taylor]: Taking taylor expansion of (/ 1 im) in im 8.296 * [taylor]: Taking taylor expansion of im in im 8.296 * [backup-simplify]: Simplify 0 into 0 8.296 * [backup-simplify]: Simplify 1 into 1 8.297 * [backup-simplify]: Simplify (/ 1 1) into 1 8.297 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 8.297 * [backup-simplify]: Simplify (* (sqrt (exp (- (/ 1 im)))) (sqrt (exp (- (/ 1 im))))) into (exp (- (/ 1 im))) 8.297 * [backup-simplify]: Simplify (+ (exp (- (/ 1 im))) (exp (/ 1 im))) into (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 8.297 * [backup-simplify]: Simplify (+ (exp (- (/ 1 im))) (exp (/ 1 im))) into (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 8.298 * [backup-simplify]: Simplify (+ (* (sqrt (exp (- (/ 1 im)))) 0) (* 0 (sqrt (exp (- (/ 1 im)))))) into 0 8.298 * [backup-simplify]: Simplify (+ 0 0) into 0 8.298 * [backup-simplify]: Simplify 0 into 0 8.299 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (- (/ 1 im)))))) into 0 8.299 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (- (/ 1 im)))))) into 0 8.300 * [backup-simplify]: Simplify (+ (* (sqrt (exp (- (/ 1 im)))) 0) (+ (* 0 0) (* 0 (sqrt (exp (- (/ 1 im))))))) into 0 8.300 * [backup-simplify]: Simplify (+ 0 0) into 0 8.300 * [backup-simplify]: Simplify 0 into 0 8.300 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (- (/ 1 im)))))) into 0 8.301 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (- (/ 1 im)))))) into 0 8.302 * [backup-simplify]: Simplify (+ (* (sqrt (exp (- (/ 1 im)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (- (/ 1 im)))))))) into 0 8.302 * [backup-simplify]: Simplify (+ 0 0) into 0 8.302 * [backup-simplify]: Simplify 0 into 0 8.302 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (- (/ 1 im)))))) into 0 8.303 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (- (/ 1 im)))))) into 0 8.304 * [backup-simplify]: Simplify (+ (* (sqrt (exp (- (/ 1 im)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (- (/ 1 im))))))))) into 0 8.304 * [backup-simplify]: Simplify (+ 0 0) into 0 8.304 * [backup-simplify]: Simplify 0 into 0 8.305 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (- (/ 1 im)))))) into 0 8.305 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (- (/ 1 im)))))) into 0 8.306 * [backup-simplify]: Simplify (+ (* (sqrt (exp (- (/ 1 im)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (- (/ 1 im)))))))))) into 0 8.307 * [backup-simplify]: Simplify (+ 0 0) into 0 8.307 * [backup-simplify]: Simplify 0 into 0 8.307 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (- (/ 1 im)))))) into 0 8.308 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (- (/ 1 im)))))) into 0 8.309 * [backup-simplify]: Simplify (+ (* (sqrt (exp (- (/ 1 im)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (- (/ 1 im))))))))))) into 0 8.309 * [backup-simplify]: Simplify (+ 0 0) into 0 8.309 * [backup-simplify]: Simplify 0 into 0 8.310 * [backup-simplify]: Simplify (+ (exp (- (/ 1 (/ 1 im)))) (exp (/ 1 (/ 1 im)))) into (+ (exp im) (exp (- im))) 8.310 * [backup-simplify]: Simplify (fma (sqrt (exp (- (/ 1 (- im))))) (sqrt (exp (- (/ 1 (- im))))) (exp (/ 1 (- im)))) into (fma (sqrt (exp (/ 1 im))) (sqrt (exp (/ 1 im))) (exp (/ -1 im))) 8.310 * [approximate]: Taking taylor expansion of (fma (sqrt (exp (/ 1 im))) (sqrt (exp (/ 1 im))) (exp (/ -1 im))) in (im) around 0 8.310 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 im))) (sqrt (exp (/ 1 im))) (exp (/ -1 im))) in im 8.310 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 im))) (sqrt (exp (/ 1 im)))) (exp (/ -1 im))) 8.310 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 im))) (sqrt (exp (/ 1 im)))) in im 8.310 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 im))) in im 8.310 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 8.310 * [taylor]: Taking taylor expansion of (/ 1 im) in im 8.310 * [taylor]: Taking taylor expansion of im in im 8.310 * [backup-simplify]: Simplify 0 into 0 8.310 * [backup-simplify]: Simplify 1 into 1 8.310 * [backup-simplify]: Simplify (/ 1 1) into 1 8.310 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 8.310 * [backup-simplify]: Simplify (sqrt (exp (/ 1 im))) into (sqrt (exp (/ 1 im))) 8.310 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 im))))) into 0 8.310 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 im))) in im 8.311 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 8.311 * [taylor]: Taking taylor expansion of (/ 1 im) in im 8.311 * [taylor]: Taking taylor expansion of im in im 8.311 * [backup-simplify]: Simplify 0 into 0 8.311 * [backup-simplify]: Simplify 1 into 1 8.311 * [backup-simplify]: Simplify (/ 1 1) into 1 8.311 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 8.311 * [backup-simplify]: Simplify (sqrt (exp (/ 1 im))) into (sqrt (exp (/ 1 im))) 8.311 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 im))))) into 0 8.311 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 8.311 * [taylor]: Taking taylor expansion of (/ -1 im) in im 8.311 * [taylor]: Taking taylor expansion of -1 in im 8.311 * [backup-simplify]: Simplify -1 into -1 8.311 * [taylor]: Taking taylor expansion of im in im 8.311 * [backup-simplify]: Simplify 0 into 0 8.311 * [backup-simplify]: Simplify 1 into 1 8.311 * [backup-simplify]: Simplify (/ -1 1) into -1 8.311 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 8.312 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 im))) (sqrt (exp (/ 1 im))) (exp (/ -1 im))) in im 8.312 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 im))) (sqrt (exp (/ 1 im)))) (exp (/ -1 im))) 8.312 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 im))) (sqrt (exp (/ 1 im)))) in im 8.312 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 im))) in im 8.312 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 8.312 * [taylor]: Taking taylor expansion of (/ 1 im) in im 8.312 * [taylor]: Taking taylor expansion of im in im 8.312 * [backup-simplify]: Simplify 0 into 0 8.312 * [backup-simplify]: Simplify 1 into 1 8.312 * [backup-simplify]: Simplify (/ 1 1) into 1 8.312 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 8.312 * [backup-simplify]: Simplify (sqrt (exp (/ 1 im))) into (sqrt (exp (/ 1 im))) 8.312 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 im))))) into 0 8.312 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 im))) in im 8.312 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 8.312 * [taylor]: Taking taylor expansion of (/ 1 im) in im 8.312 * [taylor]: Taking taylor expansion of im in im 8.312 * [backup-simplify]: Simplify 0 into 0 8.312 * [backup-simplify]: Simplify 1 into 1 8.313 * [backup-simplify]: Simplify (/ 1 1) into 1 8.313 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 8.313 * [backup-simplify]: Simplify (sqrt (exp (/ 1 im))) into (sqrt (exp (/ 1 im))) 8.313 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 im))))) into 0 8.313 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 8.313 * [taylor]: Taking taylor expansion of (/ -1 im) in im 8.313 * [taylor]: Taking taylor expansion of -1 in im 8.313 * [backup-simplify]: Simplify -1 into -1 8.313 * [taylor]: Taking taylor expansion of im in im 8.313 * [backup-simplify]: Simplify 0 into 0 8.313 * [backup-simplify]: Simplify 1 into 1 8.313 * [backup-simplify]: Simplify (/ -1 1) into -1 8.313 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 8.313 * [backup-simplify]: Simplify (* (sqrt (exp (/ 1 im))) (sqrt (exp (/ 1 im)))) into (exp (/ 1 im)) 8.314 * [backup-simplify]: Simplify (+ (exp (/ 1 im)) (exp (/ -1 im))) into (+ (exp (/ -1 im)) (exp (/ 1 im))) 8.314 * [backup-simplify]: Simplify (+ (exp (/ -1 im)) (exp (/ 1 im))) into (+ (exp (/ -1 im)) (exp (/ 1 im))) 8.314 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ 1 im))) 0) (* 0 (sqrt (exp (/ 1 im))))) into 0 8.314 * [backup-simplify]: Simplify (+ 0 0) into 0 8.314 * [backup-simplify]: Simplify 0 into 0 8.315 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 im))))) into 0 8.315 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 im))))) into 0 8.315 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ 1 im))) 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 im)))))) into 0 8.316 * [backup-simplify]: Simplify (+ 0 0) into 0 8.316 * [backup-simplify]: Simplify 0 into 0 8.316 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 im))))) into 0 8.317 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 im))))) into 0 8.317 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ 1 im))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 im))))))) into 0 8.317 * [backup-simplify]: Simplify (+ 0 0) into 0 8.318 * [backup-simplify]: Simplify 0 into 0 8.318 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 im))))) into 0 8.319 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 im))))) into 0 8.319 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ 1 im))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 im)))))))) into 0 8.320 * [backup-simplify]: Simplify (+ 0 0) into 0 8.320 * [backup-simplify]: Simplify 0 into 0 8.320 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 im))))) into 0 8.321 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 im))))) into 0 8.322 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ 1 im))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 im))))))))) into 0 8.322 * [backup-simplify]: Simplify (+ 0 0) into 0 8.322 * [backup-simplify]: Simplify 0 into 0 8.323 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 im))))) into 0 8.323 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 im))))) into 0 8.324 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ 1 im))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 im)))))))))) into 0 8.325 * [backup-simplify]: Simplify (+ 0 0) into 0 8.325 * [backup-simplify]: Simplify 0 into 0 8.325 * [backup-simplify]: Simplify (+ (exp (/ -1 (/ 1 (- im)))) (exp (/ 1 (/ 1 (- im))))) into (+ (exp (* -1 im)) (exp im)) 8.325 * * * [progress]: simplifying candidates 8.326 * [simplify]: Simplifying: (expm1 (sqrt (exp (- im)))) (log1p (sqrt (exp (- im)))) (log (sqrt (exp (- im)))) (exp (sqrt (exp (- im)))) (* (cbrt (sqrt (exp (- im)))) (cbrt (sqrt (exp (- im))))) (cbrt (sqrt (exp (- im)))) (* (* (sqrt (exp (- im))) (sqrt (exp (- im)))) (sqrt (exp (- im)))) (sqrt (* (cbrt (exp (- im))) (cbrt (exp (- im))))) (sqrt (cbrt (exp (- im)))) (sqrt (sqrt (exp (- im)))) (sqrt (sqrt (exp (- im)))) (sqrt 1) (sqrt (exp (- im))) (sqrt 1) (sqrt (exp im)) (sqrt (exp 0)) (sqrt (exp im)) (/ 1 2) (/ (cbrt (- im)) 2) (/ (sqrt (- im)) 2) (/ (- im) 2) (/ im 2) (/ (cbrt im) 2) (/ (sqrt im) 2) (/ im 2) (/ (- (cbrt im)) 2) (/ (- (sqrt im)) 2) (/ (- im) 2) (sqrt (sqrt (exp (- im)))) (sqrt (sqrt (exp (- im)))) (expm1 (sqrt (exp (- im)))) (log1p (sqrt (exp (- im)))) (log (sqrt (exp (- im)))) (exp (sqrt (exp (- im)))) (* (cbrt (sqrt (exp (- im)))) (cbrt (sqrt (exp (- im))))) (cbrt (sqrt (exp (- im)))) (* (* (sqrt (exp (- im))) (sqrt (exp (- im)))) (sqrt (exp (- im)))) (sqrt (* (cbrt (exp (- im))) (cbrt (exp (- im))))) (sqrt (cbrt (exp (- im)))) (sqrt (sqrt (exp (- im)))) (sqrt (sqrt (exp (- im)))) (sqrt 1) (sqrt (exp (- im))) (sqrt 1) (sqrt (exp im)) (sqrt (exp 0)) (sqrt (exp im)) (/ 1 2) (/ (cbrt (- im)) 2) (/ (sqrt (- im)) 2) (/ (- im) 2) (/ im 2) (/ (cbrt im) 2) (/ (sqrt im) 2) (/ im 2) (/ (- (cbrt im)) 2) (/ (- (sqrt im)) 2) (/ (- im) 2) (sqrt (sqrt (exp (- im)))) (sqrt (sqrt (exp (- im)))) (expm1 (fma (sqrt (exp (- im))) (sqrt (exp (- im))) (exp im))) (log1p (fma (sqrt (exp (- im))) (sqrt (exp (- im))) (exp im))) (* (sqrt (exp (- im))) (sqrt (exp (- im)))) (log (fma (sqrt (exp (- im))) (sqrt (exp (- im))) (exp im))) (exp (fma (sqrt (exp (- im))) (sqrt (exp (- im))) (exp im))) (* (cbrt (fma (sqrt (exp (- im))) (sqrt (exp (- im))) (exp im))) (cbrt (fma (sqrt (exp (- im))) (sqrt (exp (- im))) (exp im)))) (cbrt (fma (sqrt (exp (- im))) (sqrt (exp (- im))) (exp im))) (* (* (fma (sqrt (exp (- im))) (sqrt (exp (- im))) (exp im)) (fma (sqrt (exp (- im))) (sqrt (exp (- im))) (exp im))) (fma (sqrt (exp (- im))) (sqrt (exp (- im))) (exp im))) (sqrt (fma (sqrt (exp (- im))) (sqrt (exp (- im))) (exp im))) (sqrt (fma (sqrt (exp (- im))) (sqrt (exp (- im))) (exp im))) (- (+ (* 1/8 (pow im 2)) 1) (* 1/2 im)) (sqrt (exp (- im))) (sqrt (exp (* -1 im))) (- (+ (* 1/8 (pow im 2)) 1) (* 1/2 im)) (sqrt (exp (- im))) (sqrt (exp (* -1 im))) (+ (* 1/12 (pow im 4)) (+ (pow im 2) 2)) (+ (exp im) (exp (- im))) (+ (exp (* -1 im)) (exp im)) 8.327 * * [simplify]: Extracting # 0 : cost 0 8.327 * * [simplify]: Extracting # 1 : cost 0 8.327 * * [simplify]: Extracting # 2 : cost 0 8.327 * * [simplify]: Extracting # 3 : cost 0 8.327 * * [simplify]: Extracting # 4 : cost 0 8.328 * * [simplify]: Extracting # 5 : cost 0 8.328 * * [simplify]: Extracting # 6 : cost 0 8.328 * * [simplify]: Extracting # 7 : cost 0 8.328 * * [simplify]: iteration 0 : 69 enodes (cost 511 ) 8.354 * * [simplify]: Extracting # 0 : cost 0 8.355 * * [simplify]: Extracting # 1 : cost 0 8.355 * * [simplify]: Extracting # 2 : cost 0 8.355 * * [simplify]: Extracting # 3 : cost 0 8.355 * * [simplify]: iteration 1 : 105 enodes (cost 405 ) 8.399 * * [simplify]: Extracting # 0 : cost 0 8.400 * * [simplify]: Extracting # 1 : cost 0 8.400 * * [simplify]: Extracting # 2 : cost 0 8.400 * * [simplify]: Extracting # 3 : cost 0 8.400 * * [simplify]: Extracting # 4 : cost 0 8.401 * * [simplify]: iteration 2 : 274 enodes (cost 384 ) 8.545 * * [simplify]: Extracting # 0 : cost 0 8.546 * * [simplify]: Extracting # 1 : cost 0 8.547 * * [simplify]: Extracting # 2 : cost 0 8.548 * * [simplify]: Extracting # 3 : cost 0 8.552 * * [simplify]: Extracting # 4 : cost 0 8.552 * * [simplify]: iteration 3 : 888 enodes (cost 382 ) 8.918 * * [simplify]: Extracting # 0 : cost 0 8.924 * * [simplify]: Extracting # 1 : cost 0 8.932 * * [simplify]: Extracting # 2 : cost 0 8.940 * * [simplify]: Extracting # 3 : cost 0 8.947 * * [simplify]: Extracting # 4 : cost 0 8.957 * * [simplify]: iteration done: 5000 enodes (cost 378 ) 8.958 * [simplify]: Simplified to: (expm1 (sqrt (exp (- im)))) (log1p (sqrt (exp (- im)))) (log (sqrt (exp (- im)))) (exp (sqrt (exp (- im)))) (* (cbrt (sqrt (exp (- im)))) (cbrt (sqrt (exp (- im))))) (cbrt (sqrt (exp (- im)))) (pow (sqrt (exp (- im))) 3) (fabs (cbrt (exp (- im)))) (sqrt (cbrt (exp (- im)))) (sqrt (sqrt (exp (- im)))) (sqrt (sqrt (exp (- im)))) 1 (sqrt (exp (- im))) 1 (sqrt (exp im)) 1 (sqrt (exp im)) 1/2 (/ (cbrt (- im)) 2) (/ (sqrt (- im)) 2) (* -1/2 im) (/ im 2) (/ (cbrt im) 2) (/ (sqrt im) 2) (/ im 2) (/ (- (cbrt im)) 2) (/ (- (sqrt im)) 2) (* -1/2 im) (sqrt (sqrt (exp (- im)))) (sqrt (sqrt (exp (- im)))) (expm1 (sqrt (exp (- im)))) (log1p (sqrt (exp (- im)))) (log (sqrt (exp (- im)))) (exp (sqrt (exp (- im)))) (* (cbrt (sqrt (exp (- im)))) (cbrt (sqrt (exp (- im))))) (cbrt (sqrt (exp (- im)))) (pow (sqrt (exp (- im))) 3) (fabs (cbrt (exp (- im)))) (sqrt (cbrt (exp (- im)))) (sqrt (sqrt (exp (- im)))) (sqrt (sqrt (exp (- im)))) 1 (sqrt (exp (- im))) 1 (sqrt (exp im)) 1 (sqrt (exp im)) 1/2 (/ (cbrt (- im)) 2) (/ (sqrt (- im)) 2) (* -1/2 im) (/ im 2) (/ (cbrt im) 2) (/ (sqrt im) 2) (/ im 2) (/ (- (cbrt im)) 2) (/ (- (sqrt im)) 2) (* -1/2 im) (sqrt (sqrt (exp (- im)))) (sqrt (sqrt (exp (- im)))) (expm1 (+ (exp (- im)) (exp im))) (log1p (+ (exp (- im)) (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))) (fma im (fma 1/8 im -1/2) 1) (sqrt (exp (- im))) (sqrt (exp (- im))) (fma im (fma 1/8 im -1/2) 1) (sqrt (exp (- im))) (sqrt (exp (- im))) (fma 1/12 (pow im 4) (fma im im 2)) (+ (exp (- im)) (exp im)) (+ (exp (- im)) (exp im)) 8.958 * * * [progress]: adding candidates to table 9.226 * [progress]: [Phase 3 of 3] Extracting. 9.226 * * [regime]: Finding splitpoints for: (# #) 9.227 * * * [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) 9.227 * * * * [regimes]: Trying to branch on (+ (exp (- im)) (exp im)) from (# #) 9.246 * * * * [regimes]: Trying to branch on (cos re) from (# #) 9.269 * * * * [regimes]: Trying to branch on (* 0.5 (cos re)) from (# #) 9.290 * * * * [regimes]: Trying to branch on (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))) from (# #) 9.313 * * * * [regimes]: Trying to branch on im from (# #) 9.327 * * * * [regimes]: Trying to branch on re from (# #) 9.340 * * * [regime]: Found split indices: #