4.198 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.302 * * * [progress]: [2/2] Setting up program. 0.307 * [progress]: [Phase 2 of 3] Improving. 0.308 * [simplify]: Simplifying: (* (* 0.5 (sin re)) (- (exp (- im)) (exp im))) 0.308 * * [simplify]: Extracting # 0 : cost 0 0.308 * * [simplify]: Extracting # 1 : cost 0 0.308 * * [simplify]: Extracting # 2 : cost 0 0.308 * * [simplify]: Extracting # 3 : cost 0 0.308 * * [simplify]: Extracting # 4 : cost 0 0.308 * * [simplify]: Extracting # 5 : cost 0 0.308 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 0.311 * * [simplify]: Extracting # 0 : cost 0 0.311 * * [simplify]: Extracting # 1 : cost 0 0.311 * * [simplify]: Extracting # 2 : cost 0 0.311 * * [simplify]: iteration 1 : 18 enodes (cost 11 ) 0.318 * * [simplify]: Extracting # 0 : cost 0 0.318 * * [simplify]: Extracting # 1 : cost 0 0.318 * * [simplify]: Extracting # 2 : cost 0 0.318 * * [simplify]: iteration 2 : 39 enodes (cost 11 ) 0.334 * * [simplify]: Extracting # 0 : cost 0 0.335 * * [simplify]: Extracting # 1 : cost 0 0.335 * * [simplify]: Extracting # 2 : cost 0 0.335 * * [simplify]: iteration 3 : 85 enodes (cost 11 ) 0.408 * * [simplify]: Extracting # 0 : cost 0 0.408 * * [simplify]: Extracting # 1 : cost 0 0.408 * * [simplify]: Extracting # 2 : cost 0 0.409 * * [simplify]: iteration 4 : 130 enodes (cost 11 ) 0.477 * * [simplify]: Extracting # 0 : cost 0 0.477 * * [simplify]: Extracting # 1 : cost 0 0.478 * * [simplify]: Extracting # 2 : cost 0 0.478 * * [simplify]: iteration 5 : 230 enodes (cost 11 ) 0.603 * * [simplify]: Extracting # 0 : cost 0 0.603 * * [simplify]: Extracting # 1 : cost 0 0.603 * * [simplify]: Extracting # 2 : cost 0 0.604 * * [simplify]: iteration 6 : 282 enodes (cost 11 ) 0.793 * * [simplify]: Extracting # 0 : cost 0 0.798 * * [simplify]: Extracting # 1 : cost 0 0.798 * * [simplify]: Extracting # 2 : cost 0 0.799 * * [simplify]: iteration 7 : 400 enodes (cost 11 ) 1.063 * * [simplify]: Extracting # 0 : cost 0 1.064 * * [simplify]: Extracting # 1 : cost 0 1.064 * * [simplify]: Extracting # 2 : cost 0 1.065 * * [simplify]: iteration 8 : 693 enodes (cost 11 ) 1.972 * * [simplify]: Extracting # 0 : cost 0 1.973 * * [simplify]: Extracting # 1 : cost 0 1.974 * * [simplify]: iteration 9 : 878 enodes (cost 11 ) 2.628 * * [simplify]: Extracting # 0 : cost 0 2.629 * * [simplify]: Extracting # 1 : cost 0 2.629 * * [simplify]: Extracting # 2 : cost 0 2.630 * * [simplify]: iteration 10 : 914 enodes (cost 11 ) 3.399 * * [simplify]: Extracting # 0 : cost 0 3.400 * * [simplify]: Extracting # 1 : cost 0 3.401 * * [simplify]: Extracting # 2 : cost 0 3.402 * * [simplify]: iteration 11 : 955 enodes (cost 11 ) 4.098 * * [simplify]: Extracting # 0 : cost 0 4.099 * * [simplify]: Extracting # 1 : cost 0 4.099 * * [simplify]: iteration done: 955 enodes (cost 11 ) 4.099 * [simplify]: Simplified to: (* (* 0.5 (sin re)) (- (exp (- im)) (exp im))) 4.100 * * [progress]: iteration 1 / 4 4.100 * * * [progress]: picking best candidate 4.102 * * * * [pick]: Picked # 4.102 * * * [progress]: localizing error 4.122 * * * [progress]: generating rewritten candidates 4.122 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 4.168 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 4.313 * * * [progress]: generating series expansions 4.314 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 4.314 * [backup-simplify]: Simplify (- (exp (- im)) (exp im)) into (- (exp (- im)) (exp im)) 4.314 * [approximate]: Taking taylor expansion of (- (exp (- im)) (exp im)) in (im) around 0 4.314 * [taylor]: Taking taylor expansion of (- (exp (- im)) (exp im)) in im 4.314 * [taylor]: Taking taylor expansion of (exp (- im)) in im 4.314 * [taylor]: Taking taylor expansion of (- im) in im 4.314 * [taylor]: Taking taylor expansion of im in im 4.314 * [backup-simplify]: Simplify 0 into 0 4.314 * [backup-simplify]: Simplify 1 into 1 4.315 * [backup-simplify]: Simplify (- 0) into 0 4.315 * [backup-simplify]: Simplify (- 1) into -1 4.315 * [backup-simplify]: Simplify (exp 0) into 1 4.315 * [taylor]: Taking taylor expansion of (exp im) in im 4.315 * [taylor]: Taking taylor expansion of im in im 4.315 * [backup-simplify]: Simplify 0 into 0 4.315 * [backup-simplify]: Simplify 1 into 1 4.315 * [backup-simplify]: Simplify (exp 0) into 1 4.315 * [taylor]: Taking taylor expansion of (- (exp (- im)) (exp im)) in im 4.315 * [taylor]: Taking taylor expansion of (exp (- im)) in im 4.315 * [taylor]: Taking taylor expansion of (- im) in im 4.316 * [taylor]: Taking taylor expansion of im in im 4.316 * [backup-simplify]: Simplify 0 into 0 4.316 * [backup-simplify]: Simplify 1 into 1 4.316 * [backup-simplify]: Simplify (- 0) into 0 4.316 * [backup-simplify]: Simplify (- 1) into -1 4.316 * [backup-simplify]: Simplify (exp 0) into 1 4.316 * [taylor]: Taking taylor expansion of (exp im) in im 4.316 * [taylor]: Taking taylor expansion of im in im 4.316 * [backup-simplify]: Simplify 0 into 0 4.316 * [backup-simplify]: Simplify 1 into 1 4.317 * [backup-simplify]: Simplify (exp 0) into 1 4.317 * [backup-simplify]: Simplify (- 1) into -1 4.317 * [backup-simplify]: Simplify (+ 1 -1) into 0 4.317 * [backup-simplify]: Simplify 0 into 0 4.318 * [backup-simplify]: Simplify (- 1) into -1 4.319 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 4.321 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 4.321 * [backup-simplify]: Simplify (- 1) into -1 4.321 * [backup-simplify]: Simplify (+ -1 -1) into -2 4.321 * [backup-simplify]: Simplify -2 into -2 4.322 * [backup-simplify]: Simplify (- 1) into -1 4.322 * [backup-simplify]: Simplify (- 0) into 0 4.324 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 4.326 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 4.326 * [backup-simplify]: Simplify (- 1/2) into -1/2 4.326 * [backup-simplify]: Simplify (+ 1/2 -1/2) into 0 4.327 * [backup-simplify]: Simplify 0 into 0 4.327 * [backup-simplify]: Simplify (- 1) into -1 4.327 * [backup-simplify]: Simplify (- 1) into -1 4.328 * [backup-simplify]: Simplify (- 0) into 0 4.328 * [backup-simplify]: Simplify (- 0) into 0 4.331 * [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.334 * [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.334 * [backup-simplify]: Simplify (- 1/6) into -1/6 4.335 * [backup-simplify]: Simplify (+ -1/6 -1/6) into -1/3 4.335 * [backup-simplify]: Simplify -1/3 into -1/3 4.335 * [backup-simplify]: Simplify (- 1) into -1 4.336 * [backup-simplify]: Simplify (- 1) into -1 4.336 * [backup-simplify]: Simplify (- 0) into 0 4.336 * [backup-simplify]: Simplify (- 1) into -1 4.337 * [backup-simplify]: Simplify (- 0) into 0 4.337 * [backup-simplify]: Simplify (- 0) into 0 4.337 * [backup-simplify]: Simplify (- 0) into 0 4.347 * [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.351 * [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.352 * [backup-simplify]: Simplify (- 1/24) into -1/24 4.352 * [backup-simplify]: Simplify (+ 1/24 -1/24) into 0 4.352 * [backup-simplify]: Simplify 0 into 0 4.353 * [backup-simplify]: Simplify (- 1) into -1 4.353 * [backup-simplify]: Simplify (- 1) into -1 4.354 * [backup-simplify]: Simplify (- 0) into 0 4.354 * [backup-simplify]: Simplify (- 1) into -1 4.355 * [backup-simplify]: Simplify (- 0) into 0 4.355 * [backup-simplify]: Simplify (- 1) into -1 4.355 * [backup-simplify]: Simplify (- 0) into 0 4.356 * [backup-simplify]: Simplify (- 1) into -1 4.356 * [backup-simplify]: Simplify (- 0) into 0 4.356 * [backup-simplify]: Simplify (- 0) into 0 4.357 * [backup-simplify]: Simplify (- 0) into 0 4.357 * [backup-simplify]: Simplify (- 0) into 0 4.363 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 5) 120)) (* (/ (pow -1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/120 4.366 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 5) 120)) (* (/ (pow 1 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/120 4.366 * [backup-simplify]: Simplify (- 1/120) into -1/120 4.366 * [backup-simplify]: Simplify (+ -1/120 -1/120) into -1/60 4.367 * [backup-simplify]: Simplify -1/60 into -1/60