6.772 * [progress]: [Phase 1 of 3] Setting up. 0.004 * * * [progress]: [1/2] Preparing points 0.314 * * * [progress]: [2/2] Setting up program. 0.320 * [progress]: [Phase 2 of 3] Improving. 0.320 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.321 * [simplify]: Simplifying: (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im))) 0.321 * * [simplify]: iteration 1: (11 enodes) 0.326 * * [simplify]: iteration 2: (27 enodes) 0.336 * * [simplify]: iteration 3: (60 enodes) 0.360 * * [simplify]: iteration 4: (98 enodes) 0.403 * * [simplify]: iteration 5: (178 enodes) 0.480 * * [simplify]: iteration 6: (347 enodes) 0.661 * * [simplify]: iteration 7: (669 enodes) 0.828 * * [simplify]: iteration 8: (777 enodes) 1.080 * * [simplify]: iteration 9: (917 enodes) 2.101 * * [simplify]: iteration 10: (1224 enodes) 2.905 * * [simplify]: iteration 11: (1487 enodes) 6.308 * * [simplify]: Extracting #0: cost 1 inf + 0 6.308 * * [simplify]: Extracting #1: cost 44 inf + 0 6.309 * * [simplify]: Extracting #2: cost 99 inf + 374 6.310 * * [simplify]: Extracting #3: cost 151 inf + 1241 6.313 * * [simplify]: Extracting #4: cost 110 inf + 5563 6.316 * * [simplify]: Extracting #5: cost 23 inf + 17938 6.322 * * [simplify]: Extracting #6: cost 0 inf + 24521 6.328 * [simplify]: Simplified to: (* 0.5 (+ (* (sin re) (exp im)) (/ (sin re) (exp im)))) 6.334 * * [progress]: iteration 1 / 4 6.334 * * * [progress]: picking best candidate 6.337 * * * * [pick]: Picked # 6.337 * * * [progress]: localizing error 6.353 * * * [progress]: generating rewritten candidates 6.353 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 1) 6.376 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 6.401 * * * [progress]: generating series expansions 6.401 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 1) 6.401 * [backup-simplify]: Simplify (* (sin re) (exp im)) into (* (sin re) (exp im)) 6.401 * [approximate]: Taking taylor expansion of (* (sin re) (exp im)) in (re im) around 0 6.401 * [taylor]: Taking taylor expansion of (* (sin re) (exp im)) in im 6.401 * [taylor]: Taking taylor expansion of (sin re) in im 6.401 * [taylor]: Taking taylor expansion of re in im 6.401 * [backup-simplify]: Simplify re into re 6.401 * [backup-simplify]: Simplify (sin re) into (sin re) 6.401 * [backup-simplify]: Simplify (cos re) into (cos re) 6.401 * [taylor]: Taking taylor expansion of (exp im) in im 6.401 * [taylor]: Taking taylor expansion of im in im 6.401 * [backup-simplify]: Simplify 0 into 0 6.401 * [backup-simplify]: Simplify 1 into 1 6.401 * [backup-simplify]: Simplify (exp 0) into 1 6.401 * [taylor]: Taking taylor expansion of (* (sin re) (exp im)) in re 6.401 * [taylor]: Taking taylor expansion of (sin re) in re 6.401 * [taylor]: Taking taylor expansion of re in re 6.401 * [backup-simplify]: Simplify 0 into 0 6.401 * [backup-simplify]: Simplify 1 into 1 6.402 * [taylor]: Taking taylor expansion of (exp im) in re 6.402 * [taylor]: Taking taylor expansion of im in re 6.402 * [backup-simplify]: Simplify im into im 6.402 * [backup-simplify]: Simplify (exp im) into (exp im) 6.402 * [taylor]: Taking taylor expansion of (* (sin re) (exp im)) in re 6.402 * [taylor]: Taking taylor expansion of (sin re) in re 6.402 * [taylor]: Taking taylor expansion of re in re 6.402 * [backup-simplify]: Simplify 0 into 0 6.402 * [backup-simplify]: Simplify 1 into 1 6.402 * [taylor]: Taking taylor expansion of (exp im) in re 6.402 * [taylor]: Taking taylor expansion of im in re 6.402 * [backup-simplify]: Simplify im into im 6.402 * [backup-simplify]: Simplify (exp im) into (exp im) 6.402 * [backup-simplify]: Simplify (* 0 (exp im)) into 0 6.402 * [taylor]: Taking taylor expansion of 0 in im 6.402 * [backup-simplify]: Simplify 0 into 0 6.402 * [backup-simplify]: Simplify 0 into 0 6.403 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 1) 1)))) into 0 6.404 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 6.404 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (exp im))) into (exp im) 6.404 * [taylor]: Taking taylor expansion of (exp im) in im 6.404 * [taylor]: Taking taylor expansion of im in im 6.404 * [backup-simplify]: Simplify 0 into 0 6.404 * [backup-simplify]: Simplify 1 into 1 6.404 * [backup-simplify]: Simplify (exp 0) into 1 6.404 * [backup-simplify]: Simplify 1 into 1 6.404 * [backup-simplify]: Simplify 0 into 0 6.405 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.405 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 6.406 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (exp im)))) into 0 6.406 * [taylor]: Taking taylor expansion of 0 in im 6.406 * [backup-simplify]: Simplify 0 into 0 6.406 * [backup-simplify]: Simplify 0 into 0 6.407 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 6.407 * [backup-simplify]: Simplify 1 into 1 6.407 * [backup-simplify]: Simplify 0 into 0 6.408 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 6.409 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into -1/6 6.410 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* -1/6 (exp im))))) into (- (* 1/6 (exp im))) 6.410 * [taylor]: Taking taylor expansion of (- (* 1/6 (exp im))) in im 6.410 * [taylor]: Taking taylor expansion of (* 1/6 (exp im)) in im 6.410 * [taylor]: Taking taylor expansion of 1/6 in im 6.410 * [backup-simplify]: Simplify 1/6 into 1/6 6.410 * [taylor]: Taking taylor expansion of (exp im) in im 6.410 * [taylor]: Taking taylor expansion of im in im 6.410 * [backup-simplify]: Simplify 0 into 0 6.410 * [backup-simplify]: Simplify 1 into 1 6.410 * [backup-simplify]: Simplify (exp 0) into 1 6.410 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 6.410 * [backup-simplify]: Simplify (- 1/6) into -1/6 6.411 * [backup-simplify]: Simplify -1/6 into -1/6 6.411 * [backup-simplify]: Simplify (+ (* -1/6 (pow (* 1 re) 3)) (+ (* 1 (* im re)) (* 1 (* 1 re)))) into (- (+ re (* re im)) (* 1/6 (pow re 3))) 6.411 * [backup-simplify]: Simplify (* (sin (/ 1 re)) (exp (/ 1 im))) into (* (sin (/ 1 re)) (exp (/ 1 im))) 6.411 * [approximate]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in (re im) around 0 6.411 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in im 6.411 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 6.411 * [taylor]: Taking taylor expansion of (/ 1 re) in im 6.411 * [taylor]: Taking taylor expansion of re in im 6.411 * [backup-simplify]: Simplify re into re 6.411 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 6.412 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 6.412 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 6.412 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 6.412 * [taylor]: Taking taylor expansion of (/ 1 im) in im 6.412 * [taylor]: Taking taylor expansion of im in im 6.412 * [backup-simplify]: Simplify 0 into 0 6.412 * [backup-simplify]: Simplify 1 into 1 6.412 * [backup-simplify]: Simplify (/ 1 1) into 1 6.412 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 6.412 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in re 6.412 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 6.412 * [taylor]: Taking taylor expansion of (/ 1 re) in re 6.412 * [taylor]: Taking taylor expansion of re in re 6.412 * [backup-simplify]: Simplify 0 into 0 6.412 * [backup-simplify]: Simplify 1 into 1 6.412 * [backup-simplify]: Simplify (/ 1 1) into 1 6.412 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 6.412 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 6.412 * [taylor]: Taking taylor expansion of (/ 1 im) in re 6.412 * [taylor]: Taking taylor expansion of im in re 6.412 * [backup-simplify]: Simplify im into im 6.412 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 6.413 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 6.413 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in re 6.413 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 6.413 * [taylor]: Taking taylor expansion of (/ 1 re) in re 6.413 * [taylor]: Taking taylor expansion of re in re 6.413 * [backup-simplify]: Simplify 0 into 0 6.413 * [backup-simplify]: Simplify 1 into 1 6.413 * [backup-simplify]: Simplify (/ 1 1) into 1 6.413 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 6.413 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 6.413 * [taylor]: Taking taylor expansion of (/ 1 im) in re 6.413 * [taylor]: Taking taylor expansion of im in re 6.413 * [backup-simplify]: Simplify im into im 6.413 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 6.413 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 6.413 * [backup-simplify]: Simplify (* (sin (/ 1 re)) (exp (/ 1 im))) into (* (sin (/ 1 re)) (exp (/ 1 im))) 6.413 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in im 6.413 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 6.413 * [taylor]: Taking taylor expansion of (/ 1 re) in im 6.413 * [taylor]: Taking taylor expansion of re in im 6.413 * [backup-simplify]: Simplify re into re 6.413 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 6.413 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 6.413 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 6.413 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 6.413 * [taylor]: Taking taylor expansion of (/ 1 im) in im 6.413 * [taylor]: Taking taylor expansion of im in im 6.413 * [backup-simplify]: Simplify 0 into 0 6.413 * [backup-simplify]: Simplify 1 into 1 6.414 * [backup-simplify]: Simplify (/ 1 1) into 1 6.414 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 6.414 * [backup-simplify]: Simplify (* (sin (/ 1 re)) 1) into (sin (/ 1 re)) 6.414 * [backup-simplify]: Simplify (* (cos (/ 1 re)) 0) into 0 6.414 * [backup-simplify]: Simplify (+ (sin (/ 1 re)) 0) into (sin (/ 1 re)) 6.414 * [backup-simplify]: Simplify (* (sin (/ 1 re)) (exp (/ 1 im))) into (* (sin (/ 1 re)) (exp (/ 1 im))) 6.414 * [backup-simplify]: Simplify (* (sin (/ 1 re)) (exp (/ 1 im))) into (* (sin (/ 1 re)) (exp (/ 1 im))) 6.414 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 6.415 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 6.415 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 (exp (/ 1 im)))) into 0 6.415 * [taylor]: Taking taylor expansion of 0 in im 6.415 * [backup-simplify]: Simplify 0 into 0 6.415 * [backup-simplify]: Simplify 0 into 0 6.416 * [backup-simplify]: Simplify (+ 0) into 0 6.416 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 1)) into 0 6.416 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 6.417 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 6.417 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 0)) into 0 6.417 * [backup-simplify]: Simplify (+ 0 0) into 0 6.417 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 (exp (/ 1 im)))) into 0 6.417 * [backup-simplify]: Simplify 0 into 0 6.418 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 6.418 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.419 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 (exp (/ 1 im))))) into 0 6.419 * [taylor]: Taking taylor expansion of 0 in im 6.419 * [backup-simplify]: Simplify 0 into 0 6.419 * [backup-simplify]: Simplify 0 into 0 6.419 * [backup-simplify]: Simplify 0 into 0 6.419 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 6.420 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 6.420 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 6.421 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 6.422 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 6.422 * [backup-simplify]: Simplify (+ 0 0) into 0 6.423 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 (exp (/ 1 im))))) into 0 6.423 * [backup-simplify]: Simplify 0 into 0 6.423 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 6.425 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 6.426 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 im)))))) into 0 6.426 * [taylor]: Taking taylor expansion of 0 in im 6.426 * [backup-simplify]: Simplify 0 into 0 6.426 * [backup-simplify]: Simplify 0 into 0 6.426 * [backup-simplify]: Simplify (* (sin (/ 1 (/ 1 re))) (exp (/ 1 (/ 1 im)))) into (* (sin re) (exp im)) 6.426 * [backup-simplify]: Simplify (* (sin (/ 1 (- re))) (exp (/ 1 (- im)))) into (* (sin (/ -1 re)) (exp (/ -1 im))) 6.426 * [approximate]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ -1 im))) in (re im) around 0 6.426 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ -1 im))) in im 6.426 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 6.426 * [taylor]: Taking taylor expansion of (/ -1 re) in im 6.426 * [taylor]: Taking taylor expansion of -1 in im 6.426 * [backup-simplify]: Simplify -1 into -1 6.426 * [taylor]: Taking taylor expansion of re in im 6.426 * [backup-simplify]: Simplify re into re 6.426 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 6.426 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 6.427 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 6.427 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 6.427 * [taylor]: Taking taylor expansion of (/ -1 im) in im 6.427 * [taylor]: Taking taylor expansion of -1 in im 6.427 * [backup-simplify]: Simplify -1 into -1 6.427 * [taylor]: Taking taylor expansion of im in im 6.427 * [backup-simplify]: Simplify 0 into 0 6.427 * [backup-simplify]: Simplify 1 into 1 6.427 * [backup-simplify]: Simplify (/ -1 1) into -1 6.427 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 6.427 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ -1 im))) in re 6.427 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 6.427 * [taylor]: Taking taylor expansion of (/ -1 re) in re 6.427 * [taylor]: Taking taylor expansion of -1 in re 6.427 * [backup-simplify]: Simplify -1 into -1 6.427 * [taylor]: Taking taylor expansion of re in re 6.427 * [backup-simplify]: Simplify 0 into 0 6.428 * [backup-simplify]: Simplify 1 into 1 6.428 * [backup-simplify]: Simplify (/ -1 1) into -1 6.428 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 6.428 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 6.428 * [taylor]: Taking taylor expansion of (/ -1 im) in re 6.428 * [taylor]: Taking taylor expansion of -1 in re 6.428 * [backup-simplify]: Simplify -1 into -1 6.428 * [taylor]: Taking taylor expansion of im in re 6.428 * [backup-simplify]: Simplify im into im 6.428 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 6.428 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 6.428 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ -1 im))) in re 6.428 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 6.428 * [taylor]: Taking taylor expansion of (/ -1 re) in re 6.428 * [taylor]: Taking taylor expansion of -1 in re 6.428 * [backup-simplify]: Simplify -1 into -1 6.428 * [taylor]: Taking taylor expansion of re in re 6.428 * [backup-simplify]: Simplify 0 into 0 6.428 * [backup-simplify]: Simplify 1 into 1 6.429 * [backup-simplify]: Simplify (/ -1 1) into -1 6.429 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 6.429 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 6.429 * [taylor]: Taking taylor expansion of (/ -1 im) in re 6.429 * [taylor]: Taking taylor expansion of -1 in re 6.429 * [backup-simplify]: Simplify -1 into -1 6.429 * [taylor]: Taking taylor expansion of im in re 6.429 * [backup-simplify]: Simplify im into im 6.429 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 6.429 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 6.429 * [backup-simplify]: Simplify (* (sin (/ -1 re)) (exp (/ -1 im))) into (* (sin (/ -1 re)) (exp (/ -1 im))) 6.430 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ -1 im))) in im 6.430 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 6.430 * [taylor]: Taking taylor expansion of (/ -1 re) in im 6.430 * [taylor]: Taking taylor expansion of -1 in im 6.430 * [backup-simplify]: Simplify -1 into -1 6.430 * [taylor]: Taking taylor expansion of re in im 6.430 * [backup-simplify]: Simplify re into re 6.430 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 6.430 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 6.430 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 6.430 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 6.430 * [taylor]: Taking taylor expansion of (/ -1 im) in im 6.430 * [taylor]: Taking taylor expansion of -1 in im 6.430 * [backup-simplify]: Simplify -1 into -1 6.430 * [taylor]: Taking taylor expansion of im in im 6.430 * [backup-simplify]: Simplify 0 into 0 6.430 * [backup-simplify]: Simplify 1 into 1 6.431 * [backup-simplify]: Simplify (/ -1 1) into -1 6.431 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 6.431 * [backup-simplify]: Simplify (* (sin (/ -1 re)) 1) into (sin (/ -1 re)) 6.431 * [backup-simplify]: Simplify (* (cos (/ -1 re)) 0) into 0 6.431 * [backup-simplify]: Simplify (+ (sin (/ -1 re)) 0) into (sin (/ -1 re)) 6.431 * [backup-simplify]: Simplify (* (sin (/ -1 re)) (exp (/ -1 im))) into (* (sin (/ -1 re)) (exp (/ -1 im))) 6.431 * [backup-simplify]: Simplify (* (sin (/ -1 re)) (exp (/ -1 im))) into (* (sin (/ -1 re)) (exp (/ -1 im))) 6.431 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0 6.432 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 6.432 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 (exp (/ -1 im)))) into 0 6.432 * [taylor]: Taking taylor expansion of 0 in im 6.432 * [backup-simplify]: Simplify 0 into 0 6.433 * [backup-simplify]: Simplify 0 into 0 6.433 * [backup-simplify]: Simplify (+ 0) into 0 6.433 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 1)) into 0 6.434 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0 6.434 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 6.435 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 0)) into 0 6.435 * [backup-simplify]: Simplify (+ 0 0) into 0 6.435 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 (exp (/ -1 im)))) into 0 6.435 * [backup-simplify]: Simplify 0 into 0 6.436 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 6.437 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.437 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 (exp (/ -1 im))))) into 0 6.438 * [taylor]: Taking taylor expansion of 0 in im 6.438 * [backup-simplify]: Simplify 0 into 0 6.438 * [backup-simplify]: Simplify 0 into 0 6.438 * [backup-simplify]: Simplify 0 into 0 6.439 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 6.439 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 6.439 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 6.440 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 6.441 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 6.441 * [backup-simplify]: Simplify (+ 0 0) into 0 6.442 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 (exp (/ -1 im))))) into 0 6.442 * [backup-simplify]: Simplify 0 into 0 6.442 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 6.444 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 6.445 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 im)))))) into 0 6.445 * [taylor]: Taking taylor expansion of 0 in im 6.445 * [backup-simplify]: Simplify 0 into 0 6.445 * [backup-simplify]: Simplify 0 into 0 6.445 * [backup-simplify]: Simplify (* (sin (/ -1 (/ 1 (- re)))) (exp (/ -1 (/ 1 (- im))))) into (* (sin re) (exp im)) 6.445 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 6.445 * [backup-simplify]: Simplify (+ (* (sin re) (exp im)) (/ (sin re) (exp im))) into (+ (/ (sin re) (exp im)) (* (sin re) (exp im))) 6.445 * [approximate]: Taking taylor expansion of (+ (/ (sin re) (exp im)) (* (sin re) (exp im))) in (re im) around 0 6.445 * [taylor]: Taking taylor expansion of (+ (/ (sin re) (exp im)) (* (sin re) (exp im))) in im 6.445 * [taylor]: Taking taylor expansion of (/ (sin re) (exp im)) in im 6.445 * [taylor]: Taking taylor expansion of (sin re) in im 6.445 * [taylor]: Taking taylor expansion of re in im 6.445 * [backup-simplify]: Simplify re into re 6.445 * [backup-simplify]: Simplify (sin re) into (sin re) 6.445 * [backup-simplify]: Simplify (cos re) into (cos re) 6.445 * [taylor]: Taking taylor expansion of (exp im) in im 6.445 * [taylor]: Taking taylor expansion of im in im 6.445 * [backup-simplify]: Simplify 0 into 0 6.446 * [backup-simplify]: Simplify 1 into 1 6.446 * [backup-simplify]: Simplify (exp 0) into 1 6.446 * [backup-simplify]: Simplify (* (sin re) 1) into (sin re) 6.446 * [backup-simplify]: Simplify (* (cos re) 0) into 0 6.446 * [backup-simplify]: Simplify (+ (sin re) 0) into (sin re) 6.446 * [backup-simplify]: Simplify (/ (sin re) 1) into (sin re) 6.446 * [taylor]: Taking taylor expansion of (* (sin re) (exp im)) in im 6.446 * [taylor]: Taking taylor expansion of (sin re) in im 6.446 * [taylor]: Taking taylor expansion of re in im 6.446 * [backup-simplify]: Simplify re into re 6.446 * [backup-simplify]: Simplify (sin re) into (sin re) 6.446 * [backup-simplify]: Simplify (cos re) into (cos re) 6.446 * [taylor]: Taking taylor expansion of (exp im) in im 6.446 * [taylor]: Taking taylor expansion of im in im 6.446 * [backup-simplify]: Simplify 0 into 0 6.446 * [backup-simplify]: Simplify 1 into 1 6.446 * [backup-simplify]: Simplify (exp 0) into 1 6.446 * [taylor]: Taking taylor expansion of (+ (/ (sin re) (exp im)) (* (sin re) (exp im))) in re 6.446 * [taylor]: Taking taylor expansion of (/ (sin re) (exp im)) in re 6.446 * [taylor]: Taking taylor expansion of (sin re) in re 6.446 * [taylor]: Taking taylor expansion of re in re 6.446 * [backup-simplify]: Simplify 0 into 0 6.446 * [backup-simplify]: Simplify 1 into 1 6.446 * [taylor]: Taking taylor expansion of (exp im) in re 6.446 * [taylor]: Taking taylor expansion of im in re 6.446 * [backup-simplify]: Simplify im into im 6.446 * [backup-simplify]: Simplify (exp im) into (exp im) 6.447 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 6.447 * [backup-simplify]: Simplify (/ 1 (exp im)) into (/ 1 (exp im)) 6.447 * [taylor]: Taking taylor expansion of (* (sin re) (exp im)) in re 6.447 * [taylor]: Taking taylor expansion of (sin re) in re 6.447 * [taylor]: Taking taylor expansion of re in re 6.447 * [backup-simplify]: Simplify 0 into 0 6.447 * [backup-simplify]: Simplify 1 into 1 6.447 * [taylor]: Taking taylor expansion of (exp im) in re 6.447 * [taylor]: Taking taylor expansion of im in re 6.447 * [backup-simplify]: Simplify im into im 6.447 * [backup-simplify]: Simplify (exp im) into (exp im) 6.448 * [taylor]: Taking taylor expansion of (+ (/ (sin re) (exp im)) (* (sin re) (exp im))) in re 6.448 * [taylor]: Taking taylor expansion of (/ (sin re) (exp im)) in re 6.448 * [taylor]: Taking taylor expansion of (sin re) in re 6.448 * [taylor]: Taking taylor expansion of re in re 6.448 * [backup-simplify]: Simplify 0 into 0 6.448 * [backup-simplify]: Simplify 1 into 1 6.448 * [taylor]: Taking taylor expansion of (exp im) in re 6.448 * [taylor]: Taking taylor expansion of im in re 6.448 * [backup-simplify]: Simplify im into im 6.448 * [backup-simplify]: Simplify (exp im) into (exp im) 6.448 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 6.449 * [backup-simplify]: Simplify (/ 1 (exp im)) into (/ 1 (exp im)) 6.449 * [taylor]: Taking taylor expansion of (* (sin re) (exp im)) in re 6.449 * [taylor]: Taking taylor expansion of (sin re) in re 6.449 * [taylor]: Taking taylor expansion of re in re 6.449 * [backup-simplify]: Simplify 0 into 0 6.449 * [backup-simplify]: Simplify 1 into 1 6.449 * [taylor]: Taking taylor expansion of (exp im) in re 6.449 * [taylor]: Taking taylor expansion of im in re 6.449 * [backup-simplify]: Simplify im into im 6.449 * [backup-simplify]: Simplify (exp im) into (exp im) 6.449 * [backup-simplify]: Simplify (* 0 (exp im)) into 0 6.449 * [backup-simplify]: Simplify (+ 0 0) into 0 6.450 * [taylor]: Taking taylor expansion of 0 in im 6.450 * [backup-simplify]: Simplify 0 into 0 6.450 * [backup-simplify]: Simplify 0 into 0 6.450 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 1) 1)))) into 0 6.451 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 6.452 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (exp im))) into (exp im) 6.452 * [backup-simplify]: Simplify (+ (/ 1 (exp im)) (exp im)) into (+ (exp im) (/ 1 (exp im))) 6.452 * [taylor]: Taking taylor expansion of (+ (exp im) (/ 1 (exp im))) in im 6.452 * [taylor]: Taking taylor expansion of (exp im) in im 6.452 * [taylor]: Taking taylor expansion of im in im 6.452 * [backup-simplify]: Simplify 0 into 0 6.452 * [backup-simplify]: Simplify 1 into 1 6.452 * [backup-simplify]: Simplify (exp 0) into 1 6.452 * [taylor]: Taking taylor expansion of (/ 1 (exp im)) in im 6.452 * [taylor]: Taking taylor expansion of (exp im) in im 6.452 * [taylor]: Taking taylor expansion of im in im 6.452 * [backup-simplify]: Simplify 0 into 0 6.452 * [backup-simplify]: Simplify 1 into 1 6.452 * [backup-simplify]: Simplify (exp 0) into 1 6.452 * [backup-simplify]: Simplify (/ 1 1) into 1 6.453 * [backup-simplify]: Simplify (+ 1 1) into 2 6.453 * [backup-simplify]: Simplify 2 into 2 6.453 * [backup-simplify]: Simplify 0 into 0 6.454 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 6.454 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 1) 1)))) into 0 6.455 * [backup-simplify]: Simplify (- (/ 0 (exp im)) (+ (* (/ 1 (exp im)) (/ 0 (exp im))))) into 0 6.456 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.457 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 6.458 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (exp im)))) into 0 6.458 * [backup-simplify]: Simplify (+ 0 0) into 0 6.458 * [taylor]: Taking taylor expansion of 0 in im 6.458 * [backup-simplify]: Simplify 0 into 0 6.458 * [backup-simplify]: Simplify 0 into 0 6.460 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 6.461 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 6.461 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1 6.462 * [backup-simplify]: Simplify (+ 1 -1) into 0 6.462 * [backup-simplify]: Simplify 0 into 0 6.462 * [backup-simplify]: Simplify 0 into 0 6.463 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into -1/6 6.465 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.465 * [backup-simplify]: Simplify (- (/ -1/6 (exp im)) (+ (* (/ 1 (exp im)) (/ 0 (exp im))) (* 0 (/ 0 (exp im))))) into (- (* 1/6 (/ 1 (exp im)))) 6.467 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 6.468 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into -1/6 6.470 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* -1/6 (exp im))))) into (- (* 1/6 (exp im))) 6.470 * [backup-simplify]: Simplify (+ (- (* 1/6 (/ 1 (exp im)))) (- (* 1/6 (exp im)))) into (- (+ (* 1/6 (exp im)) (* 1/6 (/ 1 (exp im))))) 6.470 * [taylor]: Taking taylor expansion of (- (+ (* 1/6 (exp im)) (* 1/6 (/ 1 (exp im))))) in im 6.470 * [taylor]: Taking taylor expansion of (+ (* 1/6 (exp im)) (* 1/6 (/ 1 (exp im)))) in im 6.470 * [taylor]: Taking taylor expansion of (* 1/6 (exp im)) in im 6.470 * [taylor]: Taking taylor expansion of 1/6 in im 6.470 * [backup-simplify]: Simplify 1/6 into 1/6 6.470 * [taylor]: Taking taylor expansion of (exp im) in im 6.470 * [taylor]: Taking taylor expansion of im in im 6.470 * [backup-simplify]: Simplify 0 into 0 6.470 * [backup-simplify]: Simplify 1 into 1 6.470 * [backup-simplify]: Simplify (exp 0) into 1 6.470 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (exp im))) in im 6.470 * [taylor]: Taking taylor expansion of 1/6 in im 6.470 * [backup-simplify]: Simplify 1/6 into 1/6 6.470 * [taylor]: Taking taylor expansion of (/ 1 (exp im)) in im 6.470 * [taylor]: Taking taylor expansion of (exp im) in im 6.471 * [taylor]: Taking taylor expansion of im in im 6.471 * [backup-simplify]: Simplify 0 into 0 6.471 * [backup-simplify]: Simplify 1 into 1 6.471 * [backup-simplify]: Simplify (exp 0) into 1 6.471 * [backup-simplify]: Simplify (/ 1 1) into 1 6.471 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 6.472 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 6.472 * [backup-simplify]: Simplify (+ 1/6 1/6) into 1/3 6.473 * [backup-simplify]: Simplify (- 1/3) into -1/3 6.473 * [backup-simplify]: Simplify -1/3 into -1/3 6.473 * [backup-simplify]: Simplify 0 into 0 6.475 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 6.476 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 6.478 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1/2 1)) (* -1 (/ 1 1)))) into 1/2 6.478 * [backup-simplify]: Simplify (+ 1/2 1/2) into 1 6.478 * [backup-simplify]: Simplify 1 into 1 6.478 * [backup-simplify]: Simplify (+ (* 1 (* (pow im 2) re)) (+ (* -1/3 (pow (* 1 re) 3)) (* 2 (* 1 re)))) into (- (+ (* 2 re) (* re (pow im 2))) (* 1/3 (pow re 3))) 6.479 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) (exp (/ 1 im))) (/ (sin (/ 1 re)) (exp (/ 1 im)))) into (+ (* (sin (/ 1 re)) (exp (/ 1 im))) (/ (sin (/ 1 re)) (exp (/ 1 im)))) 6.479 * [approximate]: Taking taylor expansion of (+ (* (sin (/ 1 re)) (exp (/ 1 im))) (/ (sin (/ 1 re)) (exp (/ 1 im)))) in (re im) around 0 6.479 * [taylor]: Taking taylor expansion of (+ (* (sin (/ 1 re)) (exp (/ 1 im))) (/ (sin (/ 1 re)) (exp (/ 1 im)))) in im 6.479 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in im 6.479 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 6.479 * [taylor]: Taking taylor expansion of (/ 1 re) in im 6.479 * [taylor]: Taking taylor expansion of re in im 6.479 * [backup-simplify]: Simplify re into re 6.479 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 6.479 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 6.479 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 6.479 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 6.479 * [taylor]: Taking taylor expansion of (/ 1 im) in im 6.479 * [taylor]: Taking taylor expansion of im in im 6.479 * [backup-simplify]: Simplify 0 into 0 6.479 * [backup-simplify]: Simplify 1 into 1 6.480 * [backup-simplify]: Simplify (/ 1 1) into 1 6.480 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 6.480 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) (exp (/ 1 im))) in im 6.480 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 6.480 * [taylor]: Taking taylor expansion of (/ 1 re) in im 6.480 * [taylor]: Taking taylor expansion of re in im 6.480 * [backup-simplify]: Simplify re into re 6.480 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 6.480 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 6.480 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 6.480 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 6.480 * [taylor]: Taking taylor expansion of (/ 1 im) in im 6.480 * [taylor]: Taking taylor expansion of im in im 6.480 * [backup-simplify]: Simplify 0 into 0 6.480 * [backup-simplify]: Simplify 1 into 1 6.481 * [backup-simplify]: Simplify (/ 1 1) into 1 6.481 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 6.481 * [backup-simplify]: Simplify (* (sin (/ 1 re)) 1) into (sin (/ 1 re)) 6.481 * [backup-simplify]: Simplify (* (cos (/ 1 re)) 0) into 0 6.481 * [backup-simplify]: Simplify (+ (sin (/ 1 re)) 0) into (sin (/ 1 re)) 6.481 * [backup-simplify]: Simplify (/ (sin (/ 1 re)) (exp (/ 1 im))) into (/ (sin (/ 1 re)) (exp (/ 1 im))) 6.481 * [taylor]: Taking taylor expansion of (+ (* (sin (/ 1 re)) (exp (/ 1 im))) (/ (sin (/ 1 re)) (exp (/ 1 im)))) in re 6.481 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in re 6.481 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 6.481 * [taylor]: Taking taylor expansion of (/ 1 re) in re 6.481 * [taylor]: Taking taylor expansion of re in re 6.481 * [backup-simplify]: Simplify 0 into 0 6.482 * [backup-simplify]: Simplify 1 into 1 6.482 * [backup-simplify]: Simplify (/ 1 1) into 1 6.482 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 6.482 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 6.482 * [taylor]: Taking taylor expansion of (/ 1 im) in re 6.482 * [taylor]: Taking taylor expansion of im in re 6.482 * [backup-simplify]: Simplify im into im 6.482 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 6.482 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 6.482 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) (exp (/ 1 im))) in re 6.482 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 6.482 * [taylor]: Taking taylor expansion of (/ 1 re) in re 6.482 * [taylor]: Taking taylor expansion of re in re 6.482 * [backup-simplify]: Simplify 0 into 0 6.482 * [backup-simplify]: Simplify 1 into 1 6.483 * [backup-simplify]: Simplify (/ 1 1) into 1 6.483 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 6.483 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 6.483 * [taylor]: Taking taylor expansion of (/ 1 im) in re 6.483 * [taylor]: Taking taylor expansion of im in re 6.483 * [backup-simplify]: Simplify im into im 6.483 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 6.483 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 6.483 * [backup-simplify]: Simplify (/ (sin (/ 1 re)) (exp (/ 1 im))) into (/ (sin (/ 1 re)) (exp (/ 1 im))) 6.483 * [taylor]: Taking taylor expansion of (+ (* (sin (/ 1 re)) (exp (/ 1 im))) (/ (sin (/ 1 re)) (exp (/ 1 im)))) in re 6.483 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in re 6.483 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 6.483 * [taylor]: Taking taylor expansion of (/ 1 re) in re 6.483 * [taylor]: Taking taylor expansion of re in re 6.483 * [backup-simplify]: Simplify 0 into 0 6.483 * [backup-simplify]: Simplify 1 into 1 6.484 * [backup-simplify]: Simplify (/ 1 1) into 1 6.484 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 6.484 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 6.484 * [taylor]: Taking taylor expansion of (/ 1 im) in re 6.484 * [taylor]: Taking taylor expansion of im in re 6.484 * [backup-simplify]: Simplify im into im 6.484 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 6.484 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 6.484 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) (exp (/ 1 im))) in re 6.484 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 6.484 * [taylor]: Taking taylor expansion of (/ 1 re) in re 6.484 * [taylor]: Taking taylor expansion of re in re 6.484 * [backup-simplify]: Simplify 0 into 0 6.484 * [backup-simplify]: Simplify 1 into 1 6.485 * [backup-simplify]: Simplify (/ 1 1) into 1 6.485 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 6.485 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 6.485 * [taylor]: Taking taylor expansion of (/ 1 im) in re 6.485 * [taylor]: Taking taylor expansion of im in re 6.485 * [backup-simplify]: Simplify im into im 6.485 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 6.485 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 6.485 * [backup-simplify]: Simplify (/ (sin (/ 1 re)) (exp (/ 1 im))) into (/ (sin (/ 1 re)) (exp (/ 1 im))) 6.485 * [backup-simplify]: Simplify (* (sin (/ 1 re)) (exp (/ 1 im))) into (* (sin (/ 1 re)) (exp (/ 1 im))) 6.486 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) (exp (/ 1 im))) (/ (sin (/ 1 re)) (exp (/ 1 im)))) into (+ (* (sin (/ 1 re)) (exp (/ 1 im))) (/ (sin (/ 1 re)) (exp (/ 1 im)))) 6.486 * [taylor]: Taking taylor expansion of (+ (* (sin (/ 1 re)) (exp (/ 1 im))) (/ (sin (/ 1 re)) (exp (/ 1 im)))) in im 6.486 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in im 6.486 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 6.486 * [taylor]: Taking taylor expansion of (/ 1 re) in im 6.486 * [taylor]: Taking taylor expansion of re in im 6.486 * [backup-simplify]: Simplify re into re 6.486 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 6.486 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 6.486 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 6.486 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 6.486 * [taylor]: Taking taylor expansion of (/ 1 im) in im 6.486 * [taylor]: Taking taylor expansion of im in im 6.486 * [backup-simplify]: Simplify 0 into 0 6.486 * [backup-simplify]: Simplify 1 into 1 6.487 * [backup-simplify]: Simplify (/ 1 1) into 1 6.487 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 6.487 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) (exp (/ 1 im))) in im 6.487 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 6.487 * [taylor]: Taking taylor expansion of (/ 1 re) in im 6.487 * [taylor]: Taking taylor expansion of re in im 6.487 * [backup-simplify]: Simplify re into re 6.487 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 6.487 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 6.487 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 6.487 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 6.487 * [taylor]: Taking taylor expansion of (/ 1 im) in im 6.487 * [taylor]: Taking taylor expansion of im in im 6.487 * [backup-simplify]: Simplify 0 into 0 6.487 * [backup-simplify]: Simplify 1 into 1 6.488 * [backup-simplify]: Simplify (/ 1 1) into 1 6.488 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 6.488 * [backup-simplify]: Simplify (* (sin (/ 1 re)) 1) into (sin (/ 1 re)) 6.488 * [backup-simplify]: Simplify (* (cos (/ 1 re)) 0) into 0 6.488 * [backup-simplify]: Simplify (+ (sin (/ 1 re)) 0) into (sin (/ 1 re)) 6.488 * [backup-simplify]: Simplify (/ (sin (/ 1 re)) (exp (/ 1 im))) into (/ (sin (/ 1 re)) (exp (/ 1 im))) 6.488 * [backup-simplify]: Simplify (* (sin (/ 1 re)) 1) into (sin (/ 1 re)) 6.488 * [backup-simplify]: Simplify (* (cos (/ 1 re)) 0) into 0 6.488 * [backup-simplify]: Simplify (+ (sin (/ 1 re)) 0) into (sin (/ 1 re)) 6.488 * [backup-simplify]: Simplify (* (sin (/ 1 re)) (exp (/ 1 im))) into (* (sin (/ 1 re)) (exp (/ 1 im))) 6.489 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) (exp (/ 1 im))) (/ (sin (/ 1 re)) (exp (/ 1 im)))) into (+ (* (sin (/ 1 re)) (exp (/ 1 im))) (/ (sin (/ 1 re)) (exp (/ 1 im)))) 6.489 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) (exp (/ 1 im))) (/ (sin (/ 1 re)) (exp (/ 1 im)))) into (+ (* (sin (/ 1 re)) (exp (/ 1 im))) (/ (sin (/ 1 re)) (exp (/ 1 im)))) 6.489 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 6.490 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 6.490 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 (exp (/ 1 im)))) into 0 6.490 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 6.491 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 6.491 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (sin (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))))) into 0 6.492 * [backup-simplify]: Simplify (+ 0 0) into 0 6.492 * [taylor]: Taking taylor expansion of 0 in im 6.492 * [backup-simplify]: Simplify 0 into 0 6.492 * [backup-simplify]: Simplify 0 into 0 6.492 * [backup-simplify]: Simplify (+ 0) into 0 6.493 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 1)) into 0 6.493 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 6.494 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 6.494 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 0)) into 0 6.494 * [backup-simplify]: Simplify (+ 0 0) into 0 6.495 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 (exp (/ 1 im)))) into 0 6.495 * [backup-simplify]: Simplify (+ 0) into 0 6.496 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 1)) into 0 6.496 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 6.496 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 6.497 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 0)) into 0 6.497 * [backup-simplify]: Simplify (+ 0 0) into 0 6.497 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (sin (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))))) into 0 6.498 * [backup-simplify]: Simplify (+ 0 0) into 0 6.498 * [backup-simplify]: Simplify 0 into 0 6.498 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 6.500 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.500 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 (exp (/ 1 im))))) into 0 6.500 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 6.502 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.502 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (sin (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0 6.502 * [backup-simplify]: Simplify (+ 0 0) into 0 6.502 * [taylor]: Taking taylor expansion of 0 in im 6.502 * [backup-simplify]: Simplify 0 into 0 6.502 * [backup-simplify]: Simplify 0 into 0 6.503 * [backup-simplify]: Simplify 0 into 0 6.503 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 6.504 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 6.504 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 6.505 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 6.506 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 6.506 * [backup-simplify]: Simplify (+ 0 0) into 0 6.506 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 (exp (/ 1 im))))) into 0 6.507 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 6.508 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 6.508 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 6.509 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 6.510 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 6.510 * [backup-simplify]: Simplify (+ 0 0) into 0 6.511 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (sin (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0 6.511 * [backup-simplify]: Simplify (+ 0 0) into 0 6.511 * [backup-simplify]: Simplify 0 into 0 6.511 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 6.513 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 6.514 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 im)))))) into 0 6.514 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 6.516 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 6.517 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (sin (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0 6.517 * [backup-simplify]: Simplify (+ 0 0) into 0 6.517 * [taylor]: Taking taylor expansion of 0 in im 6.517 * [backup-simplify]: Simplify 0 into 0 6.517 * [backup-simplify]: Simplify 0 into 0 6.517 * [backup-simplify]: Simplify (+ (* (sin (/ 1 (/ 1 re))) (exp (/ 1 (/ 1 im)))) (/ (sin (/ 1 (/ 1 re))) (exp (/ 1 (/ 1 im))))) into (+ (/ (sin re) (exp im)) (* (sin re) (exp im))) 6.518 * [backup-simplify]: Simplify (+ (* (sin (/ 1 (- re))) (exp (/ 1 (- im)))) (/ (sin (/ 1 (- re))) (exp (/ 1 (- im))))) into (+ (/ (sin (/ -1 re)) (exp (/ -1 im))) (* (sin (/ -1 re)) (exp (/ -1 im)))) 6.518 * [approximate]: Taking taylor expansion of (+ (/ (sin (/ -1 re)) (exp (/ -1 im))) (* (sin (/ -1 re)) (exp (/ -1 im)))) in (re im) around 0 6.518 * [taylor]: Taking taylor expansion of (+ (/ (sin (/ -1 re)) (exp (/ -1 im))) (* (sin (/ -1 re)) (exp (/ -1 im)))) in im 6.518 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) (exp (/ -1 im))) in im 6.518 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 6.518 * [taylor]: Taking taylor expansion of (/ -1 re) in im 6.518 * [taylor]: Taking taylor expansion of -1 in im 6.518 * [backup-simplify]: Simplify -1 into -1 6.518 * [taylor]: Taking taylor expansion of re in im 6.518 * [backup-simplify]: Simplify re into re 6.518 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 6.518 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 6.518 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 6.518 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 6.518 * [taylor]: Taking taylor expansion of (/ -1 im) in im 6.518 * [taylor]: Taking taylor expansion of -1 in im 6.518 * [backup-simplify]: Simplify -1 into -1 6.518 * [taylor]: Taking taylor expansion of im in im 6.518 * [backup-simplify]: Simplify 0 into 0 6.518 * [backup-simplify]: Simplify 1 into 1 6.519 * [backup-simplify]: Simplify (/ -1 1) into -1 6.519 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 6.519 * [backup-simplify]: Simplify (* (sin (/ -1 re)) 1) into (sin (/ -1 re)) 6.519 * [backup-simplify]: Simplify (* (cos (/ -1 re)) 0) into 0 6.519 * [backup-simplify]: Simplify (+ (sin (/ -1 re)) 0) into (sin (/ -1 re)) 6.519 * [backup-simplify]: Simplify (/ (sin (/ -1 re)) (exp (/ -1 im))) into (/ (sin (/ -1 re)) (exp (/ -1 im))) 6.519 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ -1 im))) in im 6.519 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 6.519 * [taylor]: Taking taylor expansion of (/ -1 re) in im 6.519 * [taylor]: Taking taylor expansion of -1 in im 6.519 * [backup-simplify]: Simplify -1 into -1 6.519 * [taylor]: Taking taylor expansion of re in im 6.519 * [backup-simplify]: Simplify re into re 6.520 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 6.520 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 6.520 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 6.520 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 6.520 * [taylor]: Taking taylor expansion of (/ -1 im) in im 6.520 * [taylor]: Taking taylor expansion of -1 in im 6.520 * [backup-simplify]: Simplify -1 into -1 6.520 * [taylor]: Taking taylor expansion of im in im 6.520 * [backup-simplify]: Simplify 0 into 0 6.520 * [backup-simplify]: Simplify 1 into 1 6.520 * [backup-simplify]: Simplify (/ -1 1) into -1 6.520 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 6.520 * [taylor]: Taking taylor expansion of (+ (/ (sin (/ -1 re)) (exp (/ -1 im))) (* (sin (/ -1 re)) (exp (/ -1 im)))) in re 6.520 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) (exp (/ -1 im))) in re 6.520 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 6.520 * [taylor]: Taking taylor expansion of (/ -1 re) in re 6.521 * [taylor]: Taking taylor expansion of -1 in re 6.521 * [backup-simplify]: Simplify -1 into -1 6.521 * [taylor]: Taking taylor expansion of re in re 6.521 * [backup-simplify]: Simplify 0 into 0 6.521 * [backup-simplify]: Simplify 1 into 1 6.521 * [backup-simplify]: Simplify (/ -1 1) into -1 6.521 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 6.521 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 6.521 * [taylor]: Taking taylor expansion of (/ -1 im) in re 6.521 * [taylor]: Taking taylor expansion of -1 in re 6.521 * [backup-simplify]: Simplify -1 into -1 6.521 * [taylor]: Taking taylor expansion of im in re 6.521 * [backup-simplify]: Simplify im into im 6.521 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 6.521 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 6.522 * [backup-simplify]: Simplify (/ (sin (/ -1 re)) (exp (/ -1 im))) into (/ (sin (/ -1 re)) (exp (/ -1 im))) 6.522 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ -1 im))) in re 6.522 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 6.522 * [taylor]: Taking taylor expansion of (/ -1 re) in re 6.522 * [taylor]: Taking taylor expansion of -1 in re 6.522 * [backup-simplify]: Simplify -1 into -1 6.522 * [taylor]: Taking taylor expansion of re in re 6.522 * [backup-simplify]: Simplify 0 into 0 6.522 * [backup-simplify]: Simplify 1 into 1 6.525 * [backup-simplify]: Simplify (/ -1 1) into -1 6.525 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 6.525 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 6.525 * [taylor]: Taking taylor expansion of (/ -1 im) in re 6.525 * [taylor]: Taking taylor expansion of -1 in re 6.526 * [backup-simplify]: Simplify -1 into -1 6.526 * [taylor]: Taking taylor expansion of im in re 6.526 * [backup-simplify]: Simplify im into im 6.526 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 6.526 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 6.526 * [taylor]: Taking taylor expansion of (+ (/ (sin (/ -1 re)) (exp (/ -1 im))) (* (sin (/ -1 re)) (exp (/ -1 im)))) in re 6.526 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) (exp (/ -1 im))) in re 6.526 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 6.526 * [taylor]: Taking taylor expansion of (/ -1 re) in re 6.526 * [taylor]: Taking taylor expansion of -1 in re 6.526 * [backup-simplify]: Simplify -1 into -1 6.526 * [taylor]: Taking taylor expansion of re in re 6.526 * [backup-simplify]: Simplify 0 into 0 6.526 * [backup-simplify]: Simplify 1 into 1 6.527 * [backup-simplify]: Simplify (/ -1 1) into -1 6.527 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 6.527 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 6.527 * [taylor]: Taking taylor expansion of (/ -1 im) in re 6.527 * [taylor]: Taking taylor expansion of -1 in re 6.527 * [backup-simplify]: Simplify -1 into -1 6.527 * [taylor]: Taking taylor expansion of im in re 6.527 * [backup-simplify]: Simplify im into im 6.527 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 6.527 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 6.527 * [backup-simplify]: Simplify (/ (sin (/ -1 re)) (exp (/ -1 im))) into (/ (sin (/ -1 re)) (exp (/ -1 im))) 6.527 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ -1 im))) in re 6.527 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 6.527 * [taylor]: Taking taylor expansion of (/ -1 re) in re 6.527 * [taylor]: Taking taylor expansion of -1 in re 6.527 * [backup-simplify]: Simplify -1 into -1 6.527 * [taylor]: Taking taylor expansion of re in re 6.527 * [backup-simplify]: Simplify 0 into 0 6.527 * [backup-simplify]: Simplify 1 into 1 6.528 * [backup-simplify]: Simplify (/ -1 1) into -1 6.528 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 6.528 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 6.528 * [taylor]: Taking taylor expansion of (/ -1 im) in re 6.528 * [taylor]: Taking taylor expansion of -1 in re 6.528 * [backup-simplify]: Simplify -1 into -1 6.528 * [taylor]: Taking taylor expansion of im in re 6.528 * [backup-simplify]: Simplify im into im 6.528 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 6.528 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 6.528 * [backup-simplify]: Simplify (* (sin (/ -1 re)) (exp (/ -1 im))) into (* (sin (/ -1 re)) (exp (/ -1 im))) 6.529 * [backup-simplify]: Simplify (+ (/ (sin (/ -1 re)) (exp (/ -1 im))) (* (sin (/ -1 re)) (exp (/ -1 im)))) into (+ (/ (sin (/ -1 re)) (exp (/ -1 im))) (* (sin (/ -1 re)) (exp (/ -1 im)))) 6.529 * [taylor]: Taking taylor expansion of (+ (/ (sin (/ -1 re)) (exp (/ -1 im))) (* (sin (/ -1 re)) (exp (/ -1 im)))) in im 6.529 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) (exp (/ -1 im))) in im 6.529 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 6.529 * [taylor]: Taking taylor expansion of (/ -1 re) in im 6.529 * [taylor]: Taking taylor expansion of -1 in im 6.529 * [backup-simplify]: Simplify -1 into -1 6.529 * [taylor]: Taking taylor expansion of re in im 6.529 * [backup-simplify]: Simplify re into re 6.529 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 6.529 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 6.529 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 6.529 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 6.529 * [taylor]: Taking taylor expansion of (/ -1 im) in im 6.529 * [taylor]: Taking taylor expansion of -1 in im 6.529 * [backup-simplify]: Simplify -1 into -1 6.529 * [taylor]: Taking taylor expansion of im in im 6.529 * [backup-simplify]: Simplify 0 into 0 6.529 * [backup-simplify]: Simplify 1 into 1 6.530 * [backup-simplify]: Simplify (/ -1 1) into -1 6.530 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 6.530 * [backup-simplify]: Simplify (* (sin (/ -1 re)) 1) into (sin (/ -1 re)) 6.530 * [backup-simplify]: Simplify (* (cos (/ -1 re)) 0) into 0 6.530 * [backup-simplify]: Simplify (+ (sin (/ -1 re)) 0) into (sin (/ -1 re)) 6.530 * [backup-simplify]: Simplify (/ (sin (/ -1 re)) (exp (/ -1 im))) into (/ (sin (/ -1 re)) (exp (/ -1 im))) 6.530 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ -1 im))) in im 6.531 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 6.531 * [taylor]: Taking taylor expansion of (/ -1 re) in im 6.531 * [taylor]: Taking taylor expansion of -1 in im 6.531 * [backup-simplify]: Simplify -1 into -1 6.531 * [taylor]: Taking taylor expansion of re in im 6.531 * [backup-simplify]: Simplify re into re 6.531 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 6.531 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 6.531 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 6.531 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 6.531 * [taylor]: Taking taylor expansion of (/ -1 im) in im 6.531 * [taylor]: Taking taylor expansion of -1 in im 6.531 * [backup-simplify]: Simplify -1 into -1 6.531 * [taylor]: Taking taylor expansion of im in im 6.531 * [backup-simplify]: Simplify 0 into 0 6.531 * [backup-simplify]: Simplify 1 into 1 6.531 * [backup-simplify]: Simplify (/ -1 1) into -1 6.532 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 6.532 * [backup-simplify]: Simplify (* (sin (/ -1 re)) 1) into (sin (/ -1 re)) 6.532 * [backup-simplify]: Simplify (* (cos (/ -1 re)) 0) into 0 6.532 * [backup-simplify]: Simplify (+ (sin (/ -1 re)) 0) into (sin (/ -1 re)) 6.532 * [backup-simplify]: Simplify (* (sin (/ -1 re)) (exp (/ -1 im))) into (* (sin (/ -1 re)) (exp (/ -1 im))) 6.532 * [backup-simplify]: Simplify (+ (/ (sin (/ -1 re)) (exp (/ -1 im))) (* (sin (/ -1 re)) (exp (/ -1 im)))) into (+ (/ (sin (/ -1 re)) (exp (/ -1 im))) (* (sin (/ -1 re)) (exp (/ -1 im)))) 6.532 * [backup-simplify]: Simplify (+ (/ (sin (/ -1 re)) (exp (/ -1 im))) (* (sin (/ -1 re)) (exp (/ -1 im)))) into (+ (/ (sin (/ -1 re)) (exp (/ -1 im))) (* (sin (/ -1 re)) (exp (/ -1 im)))) 6.533 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0 6.534 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 6.534 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (sin (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))))) into 0 6.534 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0 6.535 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 6.535 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 (exp (/ -1 im)))) into 0 6.535 * [backup-simplify]: Simplify (+ 0 0) into 0 6.535 * [taylor]: Taking taylor expansion of 0 in im 6.536 * [backup-simplify]: Simplify 0 into 0 6.536 * [backup-simplify]: Simplify 0 into 0 6.536 * [backup-simplify]: Simplify (+ 0) into 0 6.536 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 1)) into 0 6.537 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0 6.537 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 6.538 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 0)) into 0 6.538 * [backup-simplify]: Simplify (+ 0 0) into 0 6.539 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (sin (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))))) into 0 6.539 * [backup-simplify]: Simplify (+ 0) into 0 6.539 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 1)) into 0 6.540 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0 6.540 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 6.541 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 0)) into 0 6.541 * [backup-simplify]: Simplify (+ 0 0) into 0 6.541 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 (exp (/ -1 im)))) into 0 6.542 * [backup-simplify]: Simplify (+ 0 0) into 0 6.542 * [backup-simplify]: Simplify 0 into 0 6.542 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 6.544 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.544 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (sin (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0 6.544 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 6.545 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 6.546 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 (exp (/ -1 im))))) into 0 6.546 * [backup-simplify]: Simplify (+ 0 0) into 0 6.546 * [taylor]: Taking taylor expansion of 0 in im 6.546 * [backup-simplify]: Simplify 0 into 0 6.546 * [backup-simplify]: Simplify 0 into 0 6.546 * [backup-simplify]: Simplify 0 into 0 6.547 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 6.548 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 6.548 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 6.549 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 6.550 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 6.550 * [backup-simplify]: Simplify (+ 0 0) into 0 6.550 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (sin (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0 6.551 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 6.552 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 6.552 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 6.552 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 6.552 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 6.553 * [backup-simplify]: Simplify (+ 0 0) into 0 6.553 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 (exp (/ -1 im))))) into 0 6.553 * [backup-simplify]: Simplify (+ 0 0) into 0 6.553 * [backup-simplify]: Simplify 0 into 0 6.553 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 6.554 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 6.555 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (sin (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0 6.555 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 6.556 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 6.556 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 im)))))) into 0 6.556 * [backup-simplify]: Simplify (+ 0 0) into 0 6.556 * [taylor]: Taking taylor expansion of 0 in im 6.557 * [backup-simplify]: Simplify 0 into 0 6.557 * [backup-simplify]: Simplify 0 into 0 6.557 * [backup-simplify]: Simplify (+ (/ (sin (/ -1 (/ 1 (- re)))) (exp (/ -1 (/ 1 (- im))))) (* (sin (/ -1 (/ 1 (- re)))) (exp (/ -1 (/ 1 (- im)))))) into (+ (/ (sin re) (exp im)) (* (sin re) (exp im))) 6.557 * * * [progress]: simplifying candidates 6.557 * * * * [progress]: [ 1 / 38 ] simplifiying candidate # 6.557 * * * * [progress]: [ 2 / 38 ] simplifiying candidate # 6.557 * * * * [progress]: [ 3 / 38 ] simplifiying candidate # 6.557 * * * * [progress]: [ 4 / 38 ] simplifiying candidate # 6.557 * * * * [progress]: [ 5 / 38 ] simplifiying candidate # 6.557 * * * * [progress]: [ 6 / 38 ] simplifiying candidate # 6.557 * * * * [progress]: [ 7 / 38 ] simplifiying candidate # 6.557 * * * * [progress]: [ 8 / 38 ] simplifiying candidate # 6.557 * * * * [progress]: [ 9 / 38 ] simplifiying candidate # 6.557 * * * * [progress]: [ 10 / 38 ] simplifiying candidate # 6.557 * * * * [progress]: [ 11 / 38 ] simplifiying candidate # 6.557 * * * * [progress]: [ 12 / 38 ] simplifiying candidate # 6.557 * * * * [progress]: [ 13 / 38 ] simplifiying candidate # 6.557 * * * * [progress]: [ 14 / 38 ] simplifiying candidate # 6.557 * * * * [progress]: [ 15 / 38 ] simplifiying candidate # 6.557 * * * * [progress]: [ 16 / 38 ] simplifiying candidate # 6.558 * * * * [progress]: [ 17 / 38 ] simplifiying candidate # 6.558 * * * * [progress]: [ 18 / 38 ] simplifiying candidate #real (real->posit16 (* (sin re) (exp im)))) (/ (sin re) (exp im)))))> 6.558 * * * * [progress]: [ 19 / 38 ] simplifiying candidate # 6.558 * * * * [progress]: [ 20 / 38 ] simplifiying candidate # 6.558 * * * * [progress]: [ 21 / 38 ] simplifiying candidate # 6.558 * * * * [progress]: [ 22 / 38 ] simplifiying candidate # 6.558 * * * * [progress]: [ 23 / 38 ] simplifiying candidate # 6.558 * * * * [progress]: [ 24 / 38 ] simplifiying candidate # 6.558 * * * * [progress]: [ 25 / 38 ] simplifiying candidate # 6.558 * * * * [progress]: [ 26 / 38 ] simplifiying candidate # 6.558 * * * * [progress]: [ 27 / 38 ] simplifiying candidate # 6.558 * * * * [progress]: [ 28 / 38 ] simplifiying candidate # 6.558 * * * * [progress]: [ 29 / 38 ] simplifiying candidate # 6.558 * * * * [progress]: [ 30 / 38 ] simplifiying candidate # 6.558 * * * * [progress]: [ 31 / 38 ] simplifiying candidate #real (real->posit16 (+ (* (sin re) (exp im)) (/ (sin re) (exp im)))))))> 6.558 * * * * [progress]: [ 32 / 38 ] simplifiying candidate # 6.558 * * * * [progress]: [ 33 / 38 ] simplifiying candidate # 6.558 * * * * [progress]: [ 34 / 38 ] simplifiying candidate # 6.558 * * * * [progress]: [ 35 / 38 ] simplifiying candidate # 6.558 * * * * [progress]: [ 36 / 38 ] simplifiying candidate # 6.558 * * * * [progress]: [ 37 / 38 ] simplifiying candidate # 6.558 * * * * [progress]: [ 38 / 38 ] simplifiying candidate # 6.559 * [simplify]: Simplifying: (* (sin re) (exp im)) (+ (log (sin re)) im) (log (* (sin re) (exp im))) (exp (* (sin re) (exp im))) (* (* (* (sin re) (sin re)) (sin re)) (* (* (exp im) (exp im)) (exp im))) (* (cbrt (* (sin re) (exp im))) (cbrt (* (sin re) (exp im)))) (cbrt (* (sin re) (exp im))) (* (* (* (sin re) (exp im)) (* (sin re) (exp im))) (* (sin re) (exp im))) (sqrt (* (sin re) (exp im))) (sqrt (* (sin re) (exp im))) (* (sqrt (sin re)) (sqrt (exp im))) (* (sqrt (sin re)) (sqrt (exp im))) (* (sin re) (* (cbrt (exp im)) (cbrt (exp im)))) (* (sin re) (sqrt (exp im))) (* (sin re) 1) (* (cbrt (sin re)) (exp im)) (* (sqrt (sin re)) (exp im)) (* (sin re) (exp im)) (real->posit16 (* (sin re) (exp im))) (* (exp (* (sin re) (exp im))) (exp (/ (sin re) (exp im)))) (log (+ (* (sin re) (exp im)) (/ (sin re) (exp im)))) (exp (+ (* (sin re) (exp im)) (/ (sin re) (exp im)))) (* (cbrt (+ (* (sin re) (exp im)) (/ (sin re) (exp im)))) (cbrt (+ (* (sin re) (exp im)) (/ (sin re) (exp im))))) (cbrt (+ (* (sin re) (exp im)) (/ (sin re) (exp im)))) (* (* (+ (* (sin re) (exp im)) (/ (sin re) (exp im))) (+ (* (sin re) (exp im)) (/ (sin re) (exp im)))) (+ (* (sin re) (exp im)) (/ (sin re) (exp im)))) (sqrt (+ (* (sin re) (exp im)) (/ (sin re) (exp im)))) (sqrt (+ (* (sin re) (exp im)) (/ (sin re) (exp im)))) (+ (pow (* (sin re) (exp im)) 3) (pow (/ (sin re) (exp im)) 3)) (+ (* (* (sin re) (exp im)) (* (sin re) (exp im))) (- (* (/ (sin re) (exp im)) (/ (sin re) (exp im))) (* (* (sin re) (exp im)) (/ (sin re) (exp im))))) (- (* (* (sin re) (exp im)) (* (sin re) (exp im))) (* (/ (sin re) (exp im)) (/ (sin re) (exp im)))) (- (* (sin re) (exp im)) (/ (sin re) (exp im))) (+ (exp im) (/ 1 (exp im))) (real->posit16 (+ (* (sin re) (exp im)) (/ (sin re) (exp im)))) (- (+ re (* re im)) (* 1/6 (pow re 3))) (* (sin re) (exp im)) (* (sin re) (exp im)) (- (+ (* 2 re) (* re (pow im 2))) (* 1/3 (pow re 3))) (+ (/ (sin re) (exp im)) (* (sin re) (exp im))) (+ (/ (sin re) (exp im)) (* (sin re) (exp im))) 6.559 * * [simplify]: iteration 1: (71 enodes) 6.573 * * [simplify]: iteration 2: (183 enodes) 6.647 * * [simplify]: iteration 3: (522 enodes) 7.151 * * [simplify]: iteration 4: (1447 enodes) 8.978 * * [simplify]: Extracting #0: cost 29 inf + 0 8.978 * * [simplify]: Extracting #1: cost 173 inf + 0 8.980 * * [simplify]: Extracting #2: cost 621 inf + 340 8.986 * * [simplify]: Extracting #3: cost 639 inf + 25048 9.015 * * [simplify]: Extracting #4: cost 248 inf + 139986 9.086 * * [simplify]: Extracting #5: cost 37 inf + 214960 9.129 * * [simplify]: Extracting #6: cost 0 inf + 229029 9.175 * * [simplify]: Extracting #7: cost 0 inf + 228949 9.228 * [simplify]: Simplified to: (* (exp im) (sin re)) (+ (log (sin re)) im) (+ (log (sin re)) im) (exp (* (exp im) (sin re))) (* (* (* (exp im) (sin re)) (* (exp im) (sin re))) (* (exp im) (sin re))) (* (cbrt (* (exp im) (sin re))) (cbrt (* (exp im) (sin re)))) (cbrt (* (exp im) (sin re))) (* (* (* (exp im) (sin re)) (* (exp im) (sin re))) (* (exp im) (sin re))) (sqrt (* (exp im) (sin re))) (sqrt (* (exp im) (sin re))) (* (sqrt (sin re)) (sqrt (exp im))) (* (sqrt (sin re)) (sqrt (exp im))) (* (* (cbrt (exp im)) (sin re)) (cbrt (exp im))) (* (sqrt (exp im)) (sin re)) (sin re) (* (cbrt (sin re)) (exp im)) (* (exp im) (sqrt (sin re))) (* (exp im) (sin re)) (real->posit16 (* (exp im) (sin re))) (exp (+ (/ (sin re) (exp im)) (* (exp im) (sin re)))) (log (+ (/ (sin re) (exp im)) (* (exp im) (sin re)))) (exp (+ (/ (sin re) (exp im)) (* (exp im) (sin re)))) (* (cbrt (+ (/ (sin re) (exp im)) (* (exp im) (sin re)))) (cbrt (+ (/ (sin re) (exp im)) (* (exp im) (sin re))))) (cbrt (+ (/ (sin re) (exp im)) (* (exp im) (sin re)))) (* (* (+ (/ (sin re) (exp im)) (* (exp im) (sin re))) (+ (/ (sin re) (exp im)) (* (exp im) (sin re)))) (+ (/ (sin re) (exp im)) (* (exp im) (sin re)))) (sqrt (+ (/ (sin re) (exp im)) (* (exp im) (sin re)))) (sqrt (+ (/ (sin re) (exp im)) (* (exp im) (sin re)))) (+ (* (/ (sin re) (exp im)) (* (/ (sin re) (exp im)) (/ (sin re) (exp im)))) (* (* (* (exp im) (sin re)) (* (exp im) (sin re))) (* (exp im) (sin re)))) (- (* (/ (sin re) (exp im)) (/ (sin re) (exp im))) (* (* (exp im) (sin re)) (- (/ (sin re) (exp im)) (* (exp im) (sin re))))) (- (* (* (exp im) (sin re)) (* (exp im) (sin re))) (* (/ (sin re) (exp im)) (/ (sin re) (exp im)))) (- (* (exp im) (sin re)) (/ (sin re) (exp im))) (+ (exp im) (/ 1 (exp im))) (real->posit16 (+ (/ (sin re) (exp im)) (* (exp im) (sin re)))) (+ re (* (- im (* 1/6 (* re re))) re)) (* (exp im) (sin re)) (* (exp im) (sin re)) (* re (- (+ (* im im) 2) (* (* re re) 1/3))) (+ (/ (sin re) (exp im)) (* (exp im) (sin re))) (+ (/ (sin re) (exp im)) (* (exp im) (sin re))) 9.232 * * * [progress]: adding candidates to table 9.561 * [progress]: [Phase 3 of 3] Extracting. 9.564 * [simplify]: Simplifying: (* 0.5 (+ (* (sin re) (exp im)) (/ (sin re) (exp im)))) 9.564 * * [simplify]: iteration 1: (9 enodes) 9.564 * * [simplify]: iteration 2: (12 enodes) 9.564 * * [simplify]: Extracting #0: cost 1 inf + 0 9.564 * * [simplify]: Extracting #1: cost 3 inf + 0 9.564 * * [simplify]: Extracting #2: cost 4 inf + 1 9.564 * * [simplify]: Extracting #3: cost 6 inf + 1 9.565 * * [simplify]: Extracting #4: cost 8 inf + 1 9.565 * * [simplify]: Extracting #5: cost 0 inf + 1024 9.565 * [simplify]: Simplified to: (* (+ (* (exp im) (sin re)) (/ (sin re) (exp im))) 0.5) 18.308 * [regime-testing]: Baseline error score: 0.0257871554098659 18.311 * [regime-testing]: Oracle error score: 0.0257871554098659 18.311 * [regime-testing]: End program error score: 0.0257871554098659