0.003 * [progress]: [Phase 1 of 3] Setting up. 0.003 * * * [progress]: [1/2] Preparing points 0.279 * * * [progress]: [2/2] Setting up program. 0.285 * [progress]: [Phase 2 of 3] Improving. 0.285 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.285 * [simplify]: Simplifying (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im))) 0.285 * * [simplify]: iters left: 6 (11 enodes) 0.292 * * [simplify]: iters left: 5 (49 enodes) 0.310 * * [simplify]: iters left: 4 (94 enodes) 0.340 * * [simplify]: iters left: 3 (152 enodes) 0.408 * * [simplify]: iters left: 2 (176 enodes) 0.431 * * [simplify]: iters left: 1 (200 enodes) 0.477 * * [simplify]: Extracting #0: cost 1 inf + 0 0.477 * * [simplify]: Extracting #1: cost 10 inf + 0 0.477 * * [simplify]: Extracting #2: cost 27 inf + 1 0.477 * * [simplify]: Extracting #3: cost 38 inf + 3 0.478 * * [simplify]: Extracting #4: cost 37 inf + 228 0.478 * * [simplify]: Extracting #5: cost 26 inf + 1182 0.480 * * [simplify]: Extracting #6: cost 3 inf + 5294 0.483 * * [simplify]: Extracting #7: cost 0 inf + 5910 0.486 * [simplify]: Simplified to (+ (* (exp im) (* 0.5 (sin re))) (/ (* 0.5 (sin re)) (exp im))) 0.486 * [simplify]: Simplified (2) to (λ (re im) (+ (* (exp im) (* 0.5 (sin re))) (/ (* 0.5 (sin re)) (exp im)))) 0.497 * * [progress]: iteration 1 / 4 0.497 * * * [progress]: picking best candidate 0.507 * * * * [pick]: Picked # 0.508 * * * [progress]: localizing error 0.531 * * * [progress]: generating rewritten candidates 0.531 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 0.545 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 0.589 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 0.611 * * * [progress]: generating series expansions 0.611 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 0.614 * [backup-simplify]: Simplify (/ (* 0.5 (sin re)) (exp im)) into (* 0.5 (/ (sin re) (exp im))) 0.614 * [approximate]: Taking taylor expansion of (* 0.5 (/ (sin re) (exp im))) in (re im) around 0 0.615 * [taylor]: Taking taylor expansion of (* 0.5 (/ (sin re) (exp im))) in im 0.615 * [taylor]: Taking taylor expansion of 0.5 in im 0.615 * [backup-simplify]: Simplify 0.5 into 0.5 0.615 * [taylor]: Taking taylor expansion of (/ (sin re) (exp im)) in im 0.615 * [taylor]: Taking taylor expansion of (sin re) in im 0.615 * [taylor]: Taking taylor expansion of re in im 0.615 * [backup-simplify]: Simplify re into re 0.615 * [backup-simplify]: Simplify (sin re) into (sin re) 0.615 * [backup-simplify]: Simplify (cos re) into (cos re) 0.616 * [taylor]: Taking taylor expansion of (exp im) in im 0.616 * [taylor]: Taking taylor expansion of im in im 0.616 * [backup-simplify]: Simplify 0 into 0 0.616 * [backup-simplify]: Simplify 1 into 1 0.616 * [backup-simplify]: Simplify (exp 0) into 1 0.616 * [backup-simplify]: Simplify (* (sin re) 1) into (sin re) 0.616 * [backup-simplify]: Simplify (* (cos re) 0) into 0 0.617 * [backup-simplify]: Simplify (+ (sin re) 0) into (sin re) 0.617 * [backup-simplify]: Simplify (/ (sin re) 1) into (sin re) 0.617 * [taylor]: Taking taylor expansion of (* 0.5 (/ (sin re) (exp im))) in re 0.617 * [taylor]: Taking taylor expansion of 0.5 in re 0.617 * [backup-simplify]: Simplify 0.5 into 0.5 0.617 * [taylor]: Taking taylor expansion of (/ (sin re) (exp im)) in re 0.617 * [taylor]: Taking taylor expansion of (sin re) in re 0.617 * [taylor]: Taking taylor expansion of re in re 0.617 * [backup-simplify]: Simplify 0 into 0 0.617 * [backup-simplify]: Simplify 1 into 1 0.617 * [taylor]: Taking taylor expansion of (exp im) in re 0.617 * [taylor]: Taking taylor expansion of im in re 0.617 * [backup-simplify]: Simplify im into im 0.617 * [backup-simplify]: Simplify (exp im) into (exp im) 0.618 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 0.618 * [backup-simplify]: Simplify (/ 1 (exp im)) into (/ 1 (exp im)) 0.618 * [taylor]: Taking taylor expansion of (* 0.5 (/ (sin re) (exp im))) in re 0.618 * [taylor]: Taking taylor expansion of 0.5 in re 0.618 * [backup-simplify]: Simplify 0.5 into 0.5 0.618 * [taylor]: Taking taylor expansion of (/ (sin re) (exp im)) in re 0.619 * [taylor]: Taking taylor expansion of (sin re) in re 0.619 * [taylor]: Taking taylor expansion of re in re 0.619 * [backup-simplify]: Simplify 0 into 0 0.619 * [backup-simplify]: Simplify 1 into 1 0.619 * [taylor]: Taking taylor expansion of (exp im) in re 0.619 * [taylor]: Taking taylor expansion of im in re 0.619 * [backup-simplify]: Simplify im into im 0.619 * [backup-simplify]: Simplify (exp im) into (exp im) 0.619 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 0.619 * [backup-simplify]: Simplify (/ 1 (exp im)) into (/ 1 (exp im)) 0.620 * [backup-simplify]: Simplify (* 0.5 (/ 1 (exp im))) into (/ 0.5 (exp im)) 0.620 * [taylor]: Taking taylor expansion of (/ 0.5 (exp im)) in im 0.620 * [taylor]: Taking taylor expansion of 0.5 in im 0.620 * [backup-simplify]: Simplify 0.5 into 0.5 0.620 * [taylor]: Taking taylor expansion of (exp im) in im 0.620 * [taylor]: Taking taylor expansion of im in im 0.620 * [backup-simplify]: Simplify 0 into 0 0.620 * [backup-simplify]: Simplify 1 into 1 0.620 * [backup-simplify]: Simplify (exp 0) into 1 0.620 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5 0.620 * [backup-simplify]: Simplify 0.5 into 0.5 0.622 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.623 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 1) 1)))) into 0 0.623 * [backup-simplify]: Simplify (- (/ 0 (exp im)) (+ (* (/ 1 (exp im)) (/ 0 (exp im))))) into 0 0.624 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 (exp im)))) into 0 0.624 * [taylor]: Taking taylor expansion of 0 in im 0.624 * [backup-simplify]: Simplify 0 into 0 0.624 * [backup-simplify]: Simplify 0 into 0 0.625 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 0.628 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 1 1)))) into (- 0.5) 0.628 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 0.630 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into -1/6 0.631 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.632 * [backup-simplify]: Simplify (- (/ -1/6 (exp im)) (+ (* (/ 1 (exp im)) (/ 0 (exp im))) (* 0 (/ 0 (exp im))))) into (- (* 1/6 (/ 1 (exp im)))) 0.633 * [backup-simplify]: Simplify (+ (* 0.5 (- (* 1/6 (/ 1 (exp im))))) (+ (* 0 0) (* 0 (/ 1 (exp im))))) into (- (* 0.08333333333333333 (/ 1 (exp im)))) 0.633 * [taylor]: Taking taylor expansion of (- (* 0.08333333333333333 (/ 1 (exp im)))) in im 0.633 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (/ 1 (exp im))) in im 0.633 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im 0.633 * [backup-simplify]: Simplify 0.08333333333333333 into 0.08333333333333333 0.633 * [taylor]: Taking taylor expansion of (/ 1 (exp im)) in im 0.633 * [taylor]: Taking taylor expansion of (exp im) in im 0.633 * [taylor]: Taking taylor expansion of im in im 0.633 * [backup-simplify]: Simplify 0 into 0 0.633 * [backup-simplify]: Simplify 1 into 1 0.633 * [backup-simplify]: Simplify (exp 0) into 1 0.633 * [backup-simplify]: Simplify (/ 1 1) into 1 0.634 * [backup-simplify]: Simplify (* 0.08333333333333333 1) into 0.08333333333333333 0.634 * [backup-simplify]: Simplify (- 0.08333333333333333) into (- 0.08333333333333333) 0.635 * [backup-simplify]: Simplify (- 0.08333333333333333) into (- 0.08333333333333333) 0.637 * [backup-simplify]: Simplify (+ (* (- 0.08333333333333333) (pow (* 1 re) 3)) (+ (* (- 0.5) (* im re)) (* 0.5 (* 1 re)))) into (- (* 0.5 re) (+ (* 0.5 (* re im)) (* 0.08333333333333333 (pow re 3)))) 0.637 * [backup-simplify]: Simplify (/ (* 0.5 (sin (/ 1 re))) (exp (/ 1 im))) into (* 0.5 (/ (sin (/ 1 re)) (exp (/ 1 im)))) 0.637 * [approximate]: Taking taylor expansion of (* 0.5 (/ (sin (/ 1 re)) (exp (/ 1 im)))) in (re im) around 0 0.637 * [taylor]: Taking taylor expansion of (* 0.5 (/ (sin (/ 1 re)) (exp (/ 1 im)))) in im 0.637 * [taylor]: Taking taylor expansion of 0.5 in im 0.637 * [backup-simplify]: Simplify 0.5 into 0.5 0.637 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) (exp (/ 1 im))) in im 0.637 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 0.637 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.637 * [taylor]: Taking taylor expansion of re in im 0.637 * [backup-simplify]: Simplify re into re 0.638 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 0.638 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 0.638 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 0.638 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.638 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.638 * [taylor]: Taking taylor expansion of im in im 0.638 * [backup-simplify]: Simplify 0 into 0 0.638 * [backup-simplify]: Simplify 1 into 1 0.638 * [backup-simplify]: Simplify (/ 1 1) into 1 0.638 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 0.638 * [backup-simplify]: Simplify (* (sin (/ 1 re)) 1) into (sin (/ 1 re)) 0.639 * [backup-simplify]: Simplify (* (cos (/ 1 re)) 0) into 0 0.639 * [backup-simplify]: Simplify (+ (sin (/ 1 re)) 0) into (sin (/ 1 re)) 0.639 * [backup-simplify]: Simplify (/ (sin (/ 1 re)) (exp (/ 1 im))) into (/ (sin (/ 1 re)) (exp (/ 1 im))) 0.639 * [taylor]: Taking taylor expansion of (* 0.5 (/ (sin (/ 1 re)) (exp (/ 1 im)))) in re 0.639 * [taylor]: Taking taylor expansion of 0.5 in re 0.639 * [backup-simplify]: Simplify 0.5 into 0.5 0.639 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) (exp (/ 1 im))) in re 0.639 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 0.639 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.639 * [taylor]: Taking taylor expansion of re in re 0.639 * [backup-simplify]: Simplify 0 into 0 0.639 * [backup-simplify]: Simplify 1 into 1 0.639 * [backup-simplify]: Simplify (/ 1 1) into 1 0.639 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 0.640 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.640 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.640 * [taylor]: Taking taylor expansion of im in re 0.640 * [backup-simplify]: Simplify im into im 0.640 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 0.640 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 0.640 * [backup-simplify]: Simplify (/ (sin (/ 1 re)) (exp (/ 1 im))) into (/ (sin (/ 1 re)) (exp (/ 1 im))) 0.640 * [taylor]: Taking taylor expansion of (* 0.5 (/ (sin (/ 1 re)) (exp (/ 1 im)))) in re 0.640 * [taylor]: Taking taylor expansion of 0.5 in re 0.640 * [backup-simplify]: Simplify 0.5 into 0.5 0.640 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) (exp (/ 1 im))) in re 0.640 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 0.640 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.640 * [taylor]: Taking taylor expansion of re in re 0.640 * [backup-simplify]: Simplify 0 into 0 0.640 * [backup-simplify]: Simplify 1 into 1 0.640 * [backup-simplify]: Simplify (/ 1 1) into 1 0.641 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 0.641 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.641 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.641 * [taylor]: Taking taylor expansion of im in re 0.641 * [backup-simplify]: Simplify im into im 0.641 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 0.641 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 0.641 * [backup-simplify]: Simplify (/ (sin (/ 1 re)) (exp (/ 1 im))) into (/ (sin (/ 1 re)) (exp (/ 1 im))) 0.641 * [backup-simplify]: Simplify (* 0.5 (/ (sin (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (/ (sin (/ 1 re)) (exp (/ 1 im)))) 0.641 * [taylor]: Taking taylor expansion of (* 0.5 (/ (sin (/ 1 re)) (exp (/ 1 im)))) in im 0.641 * [taylor]: Taking taylor expansion of 0.5 in im 0.641 * [backup-simplify]: Simplify 0.5 into 0.5 0.641 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) (exp (/ 1 im))) in im 0.641 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 0.641 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.641 * [taylor]: Taking taylor expansion of re in im 0.641 * [backup-simplify]: Simplify re into re 0.641 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 0.641 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 0.642 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 0.642 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.642 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.642 * [taylor]: Taking taylor expansion of im in im 0.642 * [backup-simplify]: Simplify 0 into 0 0.642 * [backup-simplify]: Simplify 1 into 1 0.642 * [backup-simplify]: Simplify (/ 1 1) into 1 0.642 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 0.642 * [backup-simplify]: Simplify (* (sin (/ 1 re)) 1) into (sin (/ 1 re)) 0.642 * [backup-simplify]: Simplify (* (cos (/ 1 re)) 0) into 0 0.642 * [backup-simplify]: Simplify (+ (sin (/ 1 re)) 0) into (sin (/ 1 re)) 0.643 * [backup-simplify]: Simplify (/ (sin (/ 1 re)) (exp (/ 1 im))) into (/ (sin (/ 1 re)) (exp (/ 1 im))) 0.643 * [backup-simplify]: Simplify (* 0.5 (/ (sin (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (/ (sin (/ 1 re)) (exp (/ 1 im)))) 0.643 * [backup-simplify]: Simplify (* 0.5 (/ (sin (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (/ (sin (/ 1 re)) (exp (/ 1 im)))) 0.643 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 0.644 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 0.644 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (sin (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))))) into 0 0.645 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ (sin (/ 1 re)) (exp (/ 1 im))))) into 0 0.645 * [taylor]: Taking taylor expansion of 0 in im 0.645 * [backup-simplify]: Simplify 0 into 0 0.645 * [backup-simplify]: Simplify 0 into 0 0.646 * [backup-simplify]: Simplify (+ 0) into 0 0.646 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 1)) into 0 0.646 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 0.647 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.648 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 0)) into 0 0.648 * [backup-simplify]: Simplify (+ 0 0) into 0 0.648 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (sin (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))))) into 0 0.649 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ (sin (/ 1 re)) (exp (/ 1 im))))) into 0 0.649 * [backup-simplify]: Simplify 0 into 0 0.649 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 0.650 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.651 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (sin (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0 0.652 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (sin (/ 1 re)) (exp (/ 1 im)))))) into 0 0.652 * [taylor]: Taking taylor expansion of 0 in im 0.652 * [backup-simplify]: Simplify 0 into 0 0.652 * [backup-simplify]: Simplify 0 into 0 0.652 * [backup-simplify]: Simplify 0 into 0 0.653 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.653 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 0.654 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 0.654 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.655 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 0.655 * [backup-simplify]: Simplify (+ 0 0) into 0 0.656 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (sin (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0 0.657 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (sin (/ 1 re)) (exp (/ 1 im)))))) into 0 0.657 * [backup-simplify]: Simplify 0 into 0 0.658 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 0.659 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 0.660 * [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 0.662 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ (sin (/ 1 re)) (exp (/ 1 im))))))) into 0 0.662 * [taylor]: Taking taylor expansion of 0 in im 0.662 * [backup-simplify]: Simplify 0 into 0 0.662 * [backup-simplify]: Simplify 0 into 0 0.662 * [backup-simplify]: Simplify (* 0.5 (/ (sin (/ 1 (/ 1 re))) (exp (/ 1 (/ 1 im))))) into (* 0.5 (/ (sin re) (exp im))) 0.663 * [backup-simplify]: Simplify (/ (* 0.5 (sin (/ 1 (- re)))) (exp (/ 1 (- im)))) into (* 0.5 (/ (sin (/ -1 re)) (exp (/ -1 im)))) 0.663 * [approximate]: Taking taylor expansion of (* 0.5 (/ (sin (/ -1 re)) (exp (/ -1 im)))) in (re im) around 0 0.663 * [taylor]: Taking taylor expansion of (* 0.5 (/ (sin (/ -1 re)) (exp (/ -1 im)))) in im 0.663 * [taylor]: Taking taylor expansion of 0.5 in im 0.663 * [backup-simplify]: Simplify 0.5 into 0.5 0.663 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) (exp (/ -1 im))) in im 0.663 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 0.663 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.663 * [taylor]: Taking taylor expansion of -1 in im 0.663 * [backup-simplify]: Simplify -1 into -1 0.663 * [taylor]: Taking taylor expansion of re in im 0.663 * [backup-simplify]: Simplify re into re 0.663 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 0.663 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 0.663 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 0.663 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.663 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.663 * [taylor]: Taking taylor expansion of -1 in im 0.663 * [backup-simplify]: Simplify -1 into -1 0.663 * [taylor]: Taking taylor expansion of im in im 0.663 * [backup-simplify]: Simplify 0 into 0 0.663 * [backup-simplify]: Simplify 1 into 1 0.664 * [backup-simplify]: Simplify (/ -1 1) into -1 0.664 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 0.664 * [backup-simplify]: Simplify (* (sin (/ -1 re)) 1) into (sin (/ -1 re)) 0.664 * [backup-simplify]: Simplify (* (cos (/ -1 re)) 0) into 0 0.664 * [backup-simplify]: Simplify (+ (sin (/ -1 re)) 0) into (sin (/ -1 re)) 0.664 * [backup-simplify]: Simplify (/ (sin (/ -1 re)) (exp (/ -1 im))) into (/ (sin (/ -1 re)) (exp (/ -1 im))) 0.664 * [taylor]: Taking taylor expansion of (* 0.5 (/ (sin (/ -1 re)) (exp (/ -1 im)))) in re 0.664 * [taylor]: Taking taylor expansion of 0.5 in re 0.664 * [backup-simplify]: Simplify 0.5 into 0.5 0.664 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) (exp (/ -1 im))) in re 0.665 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 0.665 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.665 * [taylor]: Taking taylor expansion of -1 in re 0.665 * [backup-simplify]: Simplify -1 into -1 0.665 * [taylor]: Taking taylor expansion of re in re 0.665 * [backup-simplify]: Simplify 0 into 0 0.665 * [backup-simplify]: Simplify 1 into 1 0.665 * [backup-simplify]: Simplify (/ -1 1) into -1 0.665 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 0.665 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 0.665 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.665 * [taylor]: Taking taylor expansion of -1 in re 0.665 * [backup-simplify]: Simplify -1 into -1 0.665 * [taylor]: Taking taylor expansion of im in re 0.665 * [backup-simplify]: Simplify im into im 0.665 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 0.666 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 0.666 * [backup-simplify]: Simplify (/ (sin (/ -1 re)) (exp (/ -1 im))) into (/ (sin (/ -1 re)) (exp (/ -1 im))) 0.666 * [taylor]: Taking taylor expansion of (* 0.5 (/ (sin (/ -1 re)) (exp (/ -1 im)))) in re 0.666 * [taylor]: Taking taylor expansion of 0.5 in re 0.666 * [backup-simplify]: Simplify 0.5 into 0.5 0.666 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) (exp (/ -1 im))) in re 0.666 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 0.666 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.666 * [taylor]: Taking taylor expansion of -1 in re 0.666 * [backup-simplify]: Simplify -1 into -1 0.666 * [taylor]: Taking taylor expansion of re in re 0.666 * [backup-simplify]: Simplify 0 into 0 0.666 * [backup-simplify]: Simplify 1 into 1 0.666 * [backup-simplify]: Simplify (/ -1 1) into -1 0.667 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 0.667 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 0.667 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.667 * [taylor]: Taking taylor expansion of -1 in re 0.667 * [backup-simplify]: Simplify -1 into -1 0.667 * [taylor]: Taking taylor expansion of im in re 0.667 * [backup-simplify]: Simplify im into im 0.667 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 0.667 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 0.667 * [backup-simplify]: Simplify (/ (sin (/ -1 re)) (exp (/ -1 im))) into (/ (sin (/ -1 re)) (exp (/ -1 im))) 0.667 * [backup-simplify]: Simplify (* 0.5 (/ (sin (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (/ (sin (/ -1 re)) (exp (/ -1 im)))) 0.667 * [taylor]: Taking taylor expansion of (* 0.5 (/ (sin (/ -1 re)) (exp (/ -1 im)))) in im 0.667 * [taylor]: Taking taylor expansion of 0.5 in im 0.667 * [backup-simplify]: Simplify 0.5 into 0.5 0.667 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) (exp (/ -1 im))) in im 0.667 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 0.667 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.667 * [taylor]: Taking taylor expansion of -1 in im 0.667 * [backup-simplify]: Simplify -1 into -1 0.667 * [taylor]: Taking taylor expansion of re in im 0.667 * [backup-simplify]: Simplify re into re 0.667 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 0.668 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 0.668 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 0.668 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.668 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.668 * [taylor]: Taking taylor expansion of -1 in im 0.668 * [backup-simplify]: Simplify -1 into -1 0.668 * [taylor]: Taking taylor expansion of im in im 0.668 * [backup-simplify]: Simplify 0 into 0 0.668 * [backup-simplify]: Simplify 1 into 1 0.668 * [backup-simplify]: Simplify (/ -1 1) into -1 0.668 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 0.668 * [backup-simplify]: Simplify (* (sin (/ -1 re)) 1) into (sin (/ -1 re)) 0.669 * [backup-simplify]: Simplify (* (cos (/ -1 re)) 0) into 0 0.669 * [backup-simplify]: Simplify (+ (sin (/ -1 re)) 0) into (sin (/ -1 re)) 0.669 * [backup-simplify]: Simplify (/ (sin (/ -1 re)) (exp (/ -1 im))) into (/ (sin (/ -1 re)) (exp (/ -1 im))) 0.669 * [backup-simplify]: Simplify (* 0.5 (/ (sin (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (/ (sin (/ -1 re)) (exp (/ -1 im)))) 0.669 * [backup-simplify]: Simplify (* 0.5 (/ (sin (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (/ (sin (/ -1 re)) (exp (/ -1 im)))) 0.669 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0 0.670 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 0.670 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (sin (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))))) into 0 0.671 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ (sin (/ -1 re)) (exp (/ -1 im))))) into 0 0.671 * [taylor]: Taking taylor expansion of 0 in im 0.671 * [backup-simplify]: Simplify 0 into 0 0.671 * [backup-simplify]: Simplify 0 into 0 0.671 * [backup-simplify]: Simplify (+ 0) into 0 0.672 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 1)) into 0 0.672 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0 0.673 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.673 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 0)) into 0 0.674 * [backup-simplify]: Simplify (+ 0 0) into 0 0.674 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (sin (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))))) into 0 0.675 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ (sin (/ -1 re)) (exp (/ -1 im))))) into 0 0.675 * [backup-simplify]: Simplify 0 into 0 0.675 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 0.676 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.677 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (sin (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0 0.678 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (sin (/ -1 re)) (exp (/ -1 im)))))) into 0 0.678 * [taylor]: Taking taylor expansion of 0 in im 0.678 * [backup-simplify]: Simplify 0 into 0 0.678 * [backup-simplify]: Simplify 0 into 0 0.678 * [backup-simplify]: Simplify 0 into 0 0.678 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.679 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 0.679 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 0.680 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.681 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 0.681 * [backup-simplify]: Simplify (+ 0 0) into 0 0.681 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (sin (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0 0.682 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (sin (/ -1 re)) (exp (/ -1 im)))))) into 0 0.683 * [backup-simplify]: Simplify 0 into 0 0.683 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 0.684 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 0.685 * [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 0.686 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ (sin (/ -1 re)) (exp (/ -1 im))))))) into 0 0.686 * [taylor]: Taking taylor expansion of 0 in im 0.686 * [backup-simplify]: Simplify 0 into 0 0.686 * [backup-simplify]: Simplify 0 into 0 0.687 * [backup-simplify]: Simplify (* 0.5 (/ (sin (/ -1 (/ 1 (- re)))) (exp (/ -1 (/ 1 (- im)))))) into (* 0.5 (/ (sin re) (exp im))) 0.687 * * * * [progress]: [ 2 / 3 ] generating series at (2) 0.687 * [backup-simplify]: Simplify (+ (* (exp im) (* 0.5 (sin re))) (/ (* 0.5 (sin re)) (exp im))) into (+ (* 0.5 (/ (sin re) (exp im))) (* 0.5 (* (exp im) (sin re)))) 0.687 * [approximate]: Taking taylor expansion of (+ (* 0.5 (/ (sin re) (exp im))) (* 0.5 (* (exp im) (sin re)))) in (im re) around 0 0.687 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ (sin re) (exp im))) (* 0.5 (* (exp im) (sin re)))) in re 0.687 * [taylor]: Taking taylor expansion of (* 0.5 (/ (sin re) (exp im))) in re 0.687 * [taylor]: Taking taylor expansion of 0.5 in re 0.687 * [backup-simplify]: Simplify 0.5 into 0.5 0.687 * [taylor]: Taking taylor expansion of (/ (sin re) (exp im)) in re 0.687 * [taylor]: Taking taylor expansion of (sin re) in re 0.687 * [taylor]: Taking taylor expansion of re in re 0.687 * [backup-simplify]: Simplify 0 into 0 0.687 * [backup-simplify]: Simplify 1 into 1 0.687 * [taylor]: Taking taylor expansion of (exp im) in re 0.687 * [taylor]: Taking taylor expansion of im in re 0.687 * [backup-simplify]: Simplify im into im 0.687 * [backup-simplify]: Simplify (exp im) into (exp im) 0.693 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 0.693 * [backup-simplify]: Simplify (/ 1 (exp im)) into (/ 1 (exp im)) 0.693 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (sin re))) in re 0.693 * [taylor]: Taking taylor expansion of 0.5 in re 0.693 * [backup-simplify]: Simplify 0.5 into 0.5 0.693 * [taylor]: Taking taylor expansion of (* (exp im) (sin re)) in re 0.693 * [taylor]: Taking taylor expansion of (exp im) in re 0.693 * [taylor]: Taking taylor expansion of im in re 0.694 * [backup-simplify]: Simplify im into im 0.694 * [backup-simplify]: Simplify (exp im) into (exp im) 0.694 * [taylor]: Taking taylor expansion of (sin re) in re 0.694 * [taylor]: Taking taylor expansion of re in re 0.694 * [backup-simplify]: Simplify 0 into 0 0.694 * [backup-simplify]: Simplify 1 into 1 0.694 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ (sin re) (exp im))) (* 0.5 (* (exp im) (sin re)))) in im 0.694 * [taylor]: Taking taylor expansion of (* 0.5 (/ (sin re) (exp im))) in im 0.694 * [taylor]: Taking taylor expansion of 0.5 in im 0.694 * [backup-simplify]: Simplify 0.5 into 0.5 0.694 * [taylor]: Taking taylor expansion of (/ (sin re) (exp im)) in im 0.694 * [taylor]: Taking taylor expansion of (sin re) in im 0.694 * [taylor]: Taking taylor expansion of re in im 0.694 * [backup-simplify]: Simplify re into re 0.694 * [backup-simplify]: Simplify (sin re) into (sin re) 0.694 * [backup-simplify]: Simplify (cos re) into (cos re) 0.694 * [taylor]: Taking taylor expansion of (exp im) in im 0.694 * [taylor]: Taking taylor expansion of im in im 0.694 * [backup-simplify]: Simplify 0 into 0 0.694 * [backup-simplify]: Simplify 1 into 1 0.694 * [backup-simplify]: Simplify (exp 0) into 1 0.694 * [backup-simplify]: Simplify (* (sin re) 1) into (sin re) 0.694 * [backup-simplify]: Simplify (* (cos re) 0) into 0 0.694 * [backup-simplify]: Simplify (+ (sin re) 0) into (sin re) 0.694 * [backup-simplify]: Simplify (/ (sin re) 1) into (sin re) 0.694 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (sin re))) in im 0.694 * [taylor]: Taking taylor expansion of 0.5 in im 0.695 * [backup-simplify]: Simplify 0.5 into 0.5 0.695 * [taylor]: Taking taylor expansion of (* (exp im) (sin re)) in im 0.695 * [taylor]: Taking taylor expansion of (exp im) in im 0.695 * [taylor]: Taking taylor expansion of im in im 0.695 * [backup-simplify]: Simplify 0 into 0 0.695 * [backup-simplify]: Simplify 1 into 1 0.695 * [backup-simplify]: Simplify (exp 0) into 1 0.695 * [taylor]: Taking taylor expansion of (sin re) in im 0.695 * [taylor]: Taking taylor expansion of re in im 0.695 * [backup-simplify]: Simplify re into re 0.695 * [backup-simplify]: Simplify (sin re) into (sin re) 0.695 * [backup-simplify]: Simplify (cos re) into (cos re) 0.695 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ (sin re) (exp im))) (* 0.5 (* (exp im) (sin re)))) in im 0.695 * [taylor]: Taking taylor expansion of (* 0.5 (/ (sin re) (exp im))) in im 0.695 * [taylor]: Taking taylor expansion of 0.5 in im 0.695 * [backup-simplify]: Simplify 0.5 into 0.5 0.695 * [taylor]: Taking taylor expansion of (/ (sin re) (exp im)) in im 0.695 * [taylor]: Taking taylor expansion of (sin re) in im 0.695 * [taylor]: Taking taylor expansion of re in im 0.695 * [backup-simplify]: Simplify re into re 0.695 * [backup-simplify]: Simplify (sin re) into (sin re) 0.695 * [backup-simplify]: Simplify (cos re) into (cos re) 0.695 * [taylor]: Taking taylor expansion of (exp im) in im 0.695 * [taylor]: Taking taylor expansion of im in im 0.695 * [backup-simplify]: Simplify 0 into 0 0.695 * [backup-simplify]: Simplify 1 into 1 0.695 * [backup-simplify]: Simplify (exp 0) into 1 0.695 * [backup-simplify]: Simplify (* (sin re) 1) into (sin re) 0.695 * [backup-simplify]: Simplify (* (cos re) 0) into 0 0.695 * [backup-simplify]: Simplify (+ (sin re) 0) into (sin re) 0.695 * [backup-simplify]: Simplify (/ (sin re) 1) into (sin re) 0.695 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (sin re))) in im 0.695 * [taylor]: Taking taylor expansion of 0.5 in im 0.695 * [backup-simplify]: Simplify 0.5 into 0.5 0.695 * [taylor]: Taking taylor expansion of (* (exp im) (sin re)) in im 0.696 * [taylor]: Taking taylor expansion of (exp im) in im 0.696 * [taylor]: Taking taylor expansion of im in im 0.696 * [backup-simplify]: Simplify 0 into 0 0.696 * [backup-simplify]: Simplify 1 into 1 0.696 * [backup-simplify]: Simplify (exp 0) into 1 0.696 * [taylor]: Taking taylor expansion of (sin re) in im 0.696 * [taylor]: Taking taylor expansion of re in im 0.696 * [backup-simplify]: Simplify re into re 0.696 * [backup-simplify]: Simplify (sin re) into (sin re) 0.696 * [backup-simplify]: Simplify (cos re) into (cos re) 0.696 * [backup-simplify]: Simplify (* 0.5 (sin re)) into (* 0.5 (sin re)) 0.696 * [backup-simplify]: Simplify (* (sin re) 1) into (sin re) 0.696 * [backup-simplify]: Simplify (* (cos re) 0) into 0 0.696 * [backup-simplify]: Simplify (+ (sin re) 0) into (sin re) 0.696 * [backup-simplify]: Simplify (* 1 (sin re)) into (sin re) 0.696 * [backup-simplify]: Simplify (* 0.5 (sin re)) into (* 0.5 (sin re)) 0.696 * [backup-simplify]: Simplify (+ (* 0.5 (sin re)) (* 0.5 (sin re))) into (* 1.0 (sin re)) 0.696 * [taylor]: Taking taylor expansion of (* 1.0 (sin re)) in re 0.696 * [taylor]: Taking taylor expansion of 1.0 in re 0.696 * [backup-simplify]: Simplify 1.0 into 1.0 0.696 * [taylor]: Taking taylor expansion of (sin re) in re 0.696 * [taylor]: Taking taylor expansion of re in re 0.696 * [backup-simplify]: Simplify 0 into 0 0.696 * [backup-simplify]: Simplify 1 into 1 0.697 * [backup-simplify]: Simplify (* 1.0 0) into 0 0.697 * [backup-simplify]: Simplify 0 into 0 0.698 * [backup-simplify]: Simplify (+ 0) into 0 0.698 * [backup-simplify]: Simplify (+ (* (sin re) 0) (* 0 1)) into 0 0.699 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.699 * [backup-simplify]: Simplify (+ (* (cos re) 0) (* 0 0)) into 0 0.700 * [backup-simplify]: Simplify (+ 0 0) into 0 0.701 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 0.701 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sin re) (/ 1 1)))) into (- (sin re)) 0.701 * [backup-simplify]: Simplify (+ (* 0.5 (- (sin re))) (* 0 (sin re))) into (- (* 0.5 (sin re))) 0.702 * [backup-simplify]: Simplify (+ 0) into 0 0.702 * [backup-simplify]: Simplify (+ (* (sin re) 0) (* 0 1)) into 0 0.703 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.704 * [backup-simplify]: Simplify (+ (* (cos re) 0) (* 0 0)) into 0 0.704 * [backup-simplify]: Simplify (+ 0 0) into 0 0.705 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 0.706 * [backup-simplify]: Simplify (+ (* 1 0) (* 1 (sin re))) into (sin re) 0.706 * [backup-simplify]: Simplify (+ (* 0.5 (sin re)) (* 0 (sin re))) into (* 0.5 (sin re)) 0.706 * [backup-simplify]: Simplify (+ (- (* 0.5 (sin re))) (* 0.5 (sin re))) into 0 0.706 * [taylor]: Taking taylor expansion of 0 in re 0.706 * [backup-simplify]: Simplify 0 into 0 0.706 * [backup-simplify]: Simplify 0 into 0 0.707 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 0.708 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 0.708 * [backup-simplify]: Simplify 1.0 into 1.0 0.709 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.710 * [backup-simplify]: Simplify (+ (* (sin re) 0) (+ (* 0 0) (* 0 1))) into 0 0.711 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.711 * [backup-simplify]: Simplify (+ (* (cos re) 0) (+ (* 0 0) (* 0 0))) into 0 0.712 * [backup-simplify]: Simplify (+ 0 0) into 0 0.713 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 0.715 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sin re) (/ 1/2 1)) (* (- (sin re)) (/ 1 1)))) into (* 1/2 (sin re)) 0.715 * [backup-simplify]: Simplify (+ (* 0.5 (* 1/2 (sin re))) (+ (* 0 (- (sin re))) (* 0 (sin re)))) into (* 0.25 (sin re)) 0.716 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.716 * [backup-simplify]: Simplify (+ (* (sin re) 0) (+ (* 0 0) (* 0 1))) into 0 0.717 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.718 * [backup-simplify]: Simplify (+ (* (cos re) 0) (+ (* 0 0) (* 0 0))) into 0 0.718 * [backup-simplify]: Simplify (+ 0 0) into 0 0.720 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 0.720 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 1 0) (* 1/2 (sin re)))) into (* 1/2 (sin re)) 0.721 * [backup-simplify]: Simplify (+ (* 0.5 (* 1/2 (sin re))) (+ (* 0 (sin re)) (* 0 (sin re)))) into (* 0.25 (sin re)) 0.721 * [backup-simplify]: Simplify (+ (* 0.25 (sin re)) (* 0.25 (sin re))) into (* 0.5 (sin re)) 0.721 * [taylor]: Taking taylor expansion of (* 0.5 (sin re)) in re 0.721 * [taylor]: Taking taylor expansion of 0.5 in re 0.721 * [backup-simplify]: Simplify 0.5 into 0.5 0.721 * [taylor]: Taking taylor expansion of (sin re) in re 0.721 * [taylor]: Taking taylor expansion of re in re 0.721 * [backup-simplify]: Simplify 0 into 0 0.721 * [backup-simplify]: Simplify 1 into 1 0.721 * [backup-simplify]: Simplify (* 0.5 0) into 0 0.721 * [backup-simplify]: Simplify 0 into 0 0.721 * [backup-simplify]: Simplify 0 into 0 0.722 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.722 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0 0.722 * [backup-simplify]: Simplify 0 into 0 0.723 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 0.723 * [backup-simplify]: Simplify (+ (* (sin re) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.724 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 0.725 * [backup-simplify]: Simplify (+ (* (cos re) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 0.725 * [backup-simplify]: Simplify (+ 0 0) into 0 0.726 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 0.727 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sin re) (/ 1/6 1)) (* (- (sin re)) (/ 1/2 1)) (* (* 1/2 (sin re)) (/ 1 1)))) into (- (* 1/6 (sin re))) 0.728 * [backup-simplify]: Simplify (+ (* 0.5 (- (* 1/6 (sin re)))) (+ (* 0 (* 1/2 (sin re))) (+ (* 0 (- (sin re))) (* 0 (sin re))))) into (- (* 0.08333333333333333 (sin re))) 0.728 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 0.729 * [backup-simplify]: Simplify (+ (* (sin re) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.730 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 0.730 * [backup-simplify]: Simplify (+ (* (cos re) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 0.730 * [backup-simplify]: Simplify (+ 0 0) into 0 0.732 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 0.733 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 1/2 0) (* 1/6 (sin re))))) into (* 1/6 (sin re)) 0.733 * [backup-simplify]: Simplify (+ (* 0.5 (* 1/6 (sin re))) (+ (* 0 (* 1/2 (sin re))) (+ (* 0 (sin re)) (* 0 (sin re))))) into (* 0.08333333333333333 (sin re)) 0.733 * [backup-simplify]: Simplify (+ (- (* 0.08333333333333333 (sin re))) (* 0.08333333333333333 (sin re))) into 0 0.733 * [taylor]: Taking taylor expansion of 0 in re 0.733 * [backup-simplify]: Simplify 0 into 0 0.733 * [backup-simplify]: Simplify 0 into 0 0.733 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 0.734 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5 0.734 * [backup-simplify]: Simplify 0.5 into 0.5 0.734 * [backup-simplify]: Simplify 0 into 0 0.735 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into -1/6 0.737 * [backup-simplify]: Simplify (+ (* 1.0 -1/6) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into (- 0.16666666666666666) 0.737 * [backup-simplify]: Simplify (- 0.16666666666666666) into (- 0.16666666666666666) 0.737 * [backup-simplify]: Simplify (+ (* (- 0.16666666666666666) (pow (* re 1) 3)) (+ (* 0.5 (* re (pow im 2))) (* 1.0 (* re 1)))) into (- (+ (* 1.0 re) (* 0.5 (* re (pow im 2)))) (* 0.16666666666666666 (pow re 3))) 0.738 * [backup-simplify]: Simplify (+ (* (exp (/ 1 im)) (* 0.5 (sin (/ 1 re)))) (/ (* 0.5 (sin (/ 1 re))) (exp (/ 1 im)))) into (+ (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (/ (sin (/ 1 re)) (exp (/ 1 im))))) 0.738 * [approximate]: Taking taylor expansion of (+ (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (/ (sin (/ 1 re)) (exp (/ 1 im))))) in (im re) around 0 0.738 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (/ (sin (/ 1 re)) (exp (/ 1 im))))) in re 0.738 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) in re 0.738 * [taylor]: Taking taylor expansion of 0.5 in re 0.738 * [backup-simplify]: Simplify 0.5 into 0.5 0.738 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in re 0.738 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 0.738 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.738 * [taylor]: Taking taylor expansion of re in re 0.738 * [backup-simplify]: Simplify 0 into 0 0.738 * [backup-simplify]: Simplify 1 into 1 0.738 * [backup-simplify]: Simplify (/ 1 1) into 1 0.738 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 0.738 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.738 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.738 * [taylor]: Taking taylor expansion of im in re 0.738 * [backup-simplify]: Simplify im into im 0.738 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 0.738 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 0.738 * [taylor]: Taking taylor expansion of (* 0.5 (/ (sin (/ 1 re)) (exp (/ 1 im)))) in re 0.738 * [taylor]: Taking taylor expansion of 0.5 in re 0.738 * [backup-simplify]: Simplify 0.5 into 0.5 0.738 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) (exp (/ 1 im))) in re 0.738 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 0.738 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.738 * [taylor]: Taking taylor expansion of re in re 0.738 * [backup-simplify]: Simplify 0 into 0 0.738 * [backup-simplify]: Simplify 1 into 1 0.739 * [backup-simplify]: Simplify (/ 1 1) into 1 0.739 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 0.739 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.739 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.739 * [taylor]: Taking taylor expansion of im in re 0.739 * [backup-simplify]: Simplify im into im 0.739 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 0.739 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 0.739 * [backup-simplify]: Simplify (/ (sin (/ 1 re)) (exp (/ 1 im))) into (/ (sin (/ 1 re)) (exp (/ 1 im))) 0.739 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (/ (sin (/ 1 re)) (exp (/ 1 im))))) in im 0.739 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) in im 0.739 * [taylor]: Taking taylor expansion of 0.5 in im 0.739 * [backup-simplify]: Simplify 0.5 into 0.5 0.739 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in im 0.739 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 0.739 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.739 * [taylor]: Taking taylor expansion of re in im 0.739 * [backup-simplify]: Simplify re into re 0.739 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 0.739 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 0.739 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 0.739 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.739 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.739 * [taylor]: Taking taylor expansion of im in im 0.739 * [backup-simplify]: Simplify 0 into 0 0.739 * [backup-simplify]: Simplify 1 into 1 0.740 * [backup-simplify]: Simplify (/ 1 1) into 1 0.740 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 0.740 * [taylor]: Taking taylor expansion of (* 0.5 (/ (sin (/ 1 re)) (exp (/ 1 im)))) in im 0.740 * [taylor]: Taking taylor expansion of 0.5 in im 0.740 * [backup-simplify]: Simplify 0.5 into 0.5 0.740 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) (exp (/ 1 im))) in im 0.740 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 0.740 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.740 * [taylor]: Taking taylor expansion of re in im 0.740 * [backup-simplify]: Simplify re into re 0.740 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 0.740 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 0.740 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 0.740 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.740 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.740 * [taylor]: Taking taylor expansion of im in im 0.740 * [backup-simplify]: Simplify 0 into 0 0.740 * [backup-simplify]: Simplify 1 into 1 0.740 * [backup-simplify]: Simplify (/ 1 1) into 1 0.740 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 0.740 * [backup-simplify]: Simplify (* (sin (/ 1 re)) 1) into (sin (/ 1 re)) 0.741 * [backup-simplify]: Simplify (* (cos (/ 1 re)) 0) into 0 0.741 * [backup-simplify]: Simplify (+ (sin (/ 1 re)) 0) into (sin (/ 1 re)) 0.741 * [backup-simplify]: Simplify (/ (sin (/ 1 re)) (exp (/ 1 im))) into (/ (sin (/ 1 re)) (exp (/ 1 im))) 0.741 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (/ (sin (/ 1 re)) (exp (/ 1 im))))) in im 0.741 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) in im 0.741 * [taylor]: Taking taylor expansion of 0.5 in im 0.741 * [backup-simplify]: Simplify 0.5 into 0.5 0.741 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in im 0.741 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 0.741 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.741 * [taylor]: Taking taylor expansion of re in im 0.741 * [backup-simplify]: Simplify re into re 0.741 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 0.741 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 0.741 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 0.741 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.741 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.741 * [taylor]: Taking taylor expansion of im in im 0.741 * [backup-simplify]: Simplify 0 into 0 0.741 * [backup-simplify]: Simplify 1 into 1 0.741 * [backup-simplify]: Simplify (/ 1 1) into 1 0.741 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 0.741 * [taylor]: Taking taylor expansion of (* 0.5 (/ (sin (/ 1 re)) (exp (/ 1 im)))) in im 0.741 * [taylor]: Taking taylor expansion of 0.5 in im 0.741 * [backup-simplify]: Simplify 0.5 into 0.5 0.741 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) (exp (/ 1 im))) in im 0.741 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 0.741 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.741 * [taylor]: Taking taylor expansion of re in im 0.741 * [backup-simplify]: Simplify re into re 0.741 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 0.741 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 0.742 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 0.742 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.742 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.742 * [taylor]: Taking taylor expansion of im in im 0.742 * [backup-simplify]: Simplify 0 into 0 0.742 * [backup-simplify]: Simplify 1 into 1 0.742 * [backup-simplify]: Simplify (/ 1 1) into 1 0.742 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 0.742 * [backup-simplify]: Simplify (* (sin (/ 1 re)) 1) into (sin (/ 1 re)) 0.742 * [backup-simplify]: Simplify (* (cos (/ 1 re)) 0) into 0 0.742 * [backup-simplify]: Simplify (+ (sin (/ 1 re)) 0) into (sin (/ 1 re)) 0.742 * [backup-simplify]: Simplify (/ (sin (/ 1 re)) (exp (/ 1 im))) into (/ (sin (/ 1 re)) (exp (/ 1 im))) 0.742 * [backup-simplify]: Simplify (* (sin (/ 1 re)) 1) into (sin (/ 1 re)) 0.742 * [backup-simplify]: Simplify (* (cos (/ 1 re)) 0) into 0 0.742 * [backup-simplify]: Simplify (+ (sin (/ 1 re)) 0) into (sin (/ 1 re)) 0.742 * [backup-simplify]: Simplify (* (sin (/ 1 re)) (exp (/ 1 im))) into (* (sin (/ 1 re)) (exp (/ 1 im))) 0.743 * [backup-simplify]: Simplify (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) 0.743 * [backup-simplify]: Simplify (* 0.5 (/ (sin (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (/ (sin (/ 1 re)) (exp (/ 1 im)))) 0.743 * [backup-simplify]: Simplify (+ (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (/ (sin (/ 1 re)) (exp (/ 1 im))))) into (+ (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (/ (sin (/ 1 re)) (exp (/ 1 im))))) 0.743 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (/ (sin (/ 1 re)) (exp (/ 1 im))))) in re 0.743 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) in re 0.743 * [taylor]: Taking taylor expansion of 0.5 in re 0.743 * [backup-simplify]: Simplify 0.5 into 0.5 0.743 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in re 0.743 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 0.743 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.743 * [taylor]: Taking taylor expansion of re in re 0.743 * [backup-simplify]: Simplify 0 into 0 0.743 * [backup-simplify]: Simplify 1 into 1 0.743 * [backup-simplify]: Simplify (/ 1 1) into 1 0.743 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 0.743 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.743 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.743 * [taylor]: Taking taylor expansion of im in re 0.743 * [backup-simplify]: Simplify im into im 0.743 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 0.743 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 0.743 * [taylor]: Taking taylor expansion of (* 0.5 (/ (sin (/ 1 re)) (exp (/ 1 im)))) in re 0.743 * [taylor]: Taking taylor expansion of 0.5 in re 0.744 * [backup-simplify]: Simplify 0.5 into 0.5 0.744 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 re)) (exp (/ 1 im))) in re 0.744 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 0.744 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.744 * [taylor]: Taking taylor expansion of re in re 0.744 * [backup-simplify]: Simplify 0 into 0 0.744 * [backup-simplify]: Simplify 1 into 1 0.744 * [backup-simplify]: Simplify (/ 1 1) into 1 0.744 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 0.744 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.744 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.744 * [taylor]: Taking taylor expansion of im in re 0.744 * [backup-simplify]: Simplify im into im 0.744 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 0.744 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 0.744 * [backup-simplify]: Simplify (/ (sin (/ 1 re)) (exp (/ 1 im))) into (/ (sin (/ 1 re)) (exp (/ 1 im))) 0.744 * [backup-simplify]: Simplify (* (sin (/ 1 re)) (exp (/ 1 im))) into (* (sin (/ 1 re)) (exp (/ 1 im))) 0.744 * [backup-simplify]: Simplify (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) 0.745 * [backup-simplify]: Simplify (* 0.5 (/ (sin (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (/ (sin (/ 1 re)) (exp (/ 1 im)))) 0.745 * [backup-simplify]: Simplify (+ (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (/ (sin (/ 1 re)) (exp (/ 1 im))))) into (+ (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (/ (sin (/ 1 re)) (exp (/ 1 im))))) 0.745 * [backup-simplify]: Simplify (+ (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (/ (sin (/ 1 re)) (exp (/ 1 im))))) into (+ (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (/ (sin (/ 1 re)) (exp (/ 1 im))))) 0.745 * [backup-simplify]: Simplify (+ 0) into 0 0.746 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 1)) into 0 0.746 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 0.746 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.747 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 0)) into 0 0.747 * [backup-simplify]: Simplify (+ 0 0) into 0 0.747 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 (exp (/ 1 im)))) into 0 0.747 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (sin (/ 1 re)) (exp (/ 1 im))))) into 0 0.747 * [backup-simplify]: Simplify (+ 0) into 0 0.748 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 1)) into 0 0.748 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 0.748 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.749 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 0)) into 0 0.749 * [backup-simplify]: Simplify (+ 0 0) into 0 0.749 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (sin (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))))) into 0 0.749 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ (sin (/ 1 re)) (exp (/ 1 im))))) into 0 0.750 * [backup-simplify]: Simplify (+ 0 0) into 0 0.750 * [taylor]: Taking taylor expansion of 0 in re 0.750 * [backup-simplify]: Simplify 0 into 0 0.750 * [backup-simplify]: Simplify 0 into 0 0.750 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 0.750 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 0.750 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 (exp (/ 1 im)))) into 0 0.751 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (sin (/ 1 re)) (exp (/ 1 im))))) into 0 0.751 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 0.751 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 0.751 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (sin (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))))) into 0 0.752 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ (sin (/ 1 re)) (exp (/ 1 im))))) into 0 0.752 * [backup-simplify]: Simplify (+ 0 0) into 0 0.752 * [backup-simplify]: Simplify 0 into 0 0.753 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.753 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 0.753 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 0.754 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.754 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 0.754 * [backup-simplify]: Simplify (+ 0 0) into 0 0.755 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 (exp (/ 1 im))))) into 0 0.755 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (sin (/ 1 re)) (exp (/ 1 im)))))) into 0 0.756 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.756 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 0.756 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 0.757 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.757 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 0.758 * [backup-simplify]: Simplify (+ 0 0) into 0 0.758 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (sin (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0 0.759 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (sin (/ 1 re)) (exp (/ 1 im)))))) into 0 0.759 * [backup-simplify]: Simplify (+ 0 0) into 0 0.759 * [taylor]: Taking taylor expansion of 0 in re 0.759 * [backup-simplify]: Simplify 0 into 0 0.759 * [backup-simplify]: Simplify 0 into 0 0.759 * [backup-simplify]: Simplify 0 into 0 0.760 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 0.761 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.762 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 (exp (/ 1 im))))) into 0 0.763 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (sin (/ 1 re)) (exp (/ 1 im)))))) into 0 0.763 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 0.764 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.765 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (sin (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0 0.766 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (sin (/ 1 re)) (exp (/ 1 im)))))) into 0 0.766 * [backup-simplify]: Simplify (+ 0 0) into 0 0.766 * [backup-simplify]: Simplify 0 into 0 0.767 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 0.768 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.768 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 0.770 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 0.770 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 0.771 * [backup-simplify]: Simplify (+ 0 0) into 0 0.772 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 im)))))) into 0 0.773 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (sin (/ 1 re)) (exp (/ 1 im))))))) into 0 0.774 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 0.775 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.775 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 0.777 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 0.778 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 0.778 * [backup-simplify]: Simplify (+ 0 0) into 0 0.779 * [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 0.780 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ (sin (/ 1 re)) (exp (/ 1 im))))))) into 0 0.780 * [backup-simplify]: Simplify (+ 0 0) into 0 0.780 * [taylor]: Taking taylor expansion of 0 in re 0.780 * [backup-simplify]: Simplify 0 into 0 0.780 * [backup-simplify]: Simplify 0 into 0 0.781 * [backup-simplify]: Simplify (+ (* 0.5 (* (sin (/ 1 (/ 1 re))) (exp (/ 1 (/ 1 im))))) (* 0.5 (/ (sin (/ 1 (/ 1 re))) (exp (/ 1 (/ 1 im)))))) into (+ (* 0.5 (/ (sin re) (exp im))) (* 0.5 (* (sin re) (exp im)))) 0.781 * [backup-simplify]: Simplify (+ (* (exp (/ 1 (- im))) (* 0.5 (sin (/ 1 (- re))))) (/ (* 0.5 (sin (/ 1 (- re)))) (exp (/ 1 (- im))))) into (+ (* 0.5 (/ (sin (/ -1 re)) (exp (/ -1 im)))) (* 0.5 (* (sin (/ -1 re)) (exp (/ -1 im))))) 0.781 * [approximate]: Taking taylor expansion of (+ (* 0.5 (/ (sin (/ -1 re)) (exp (/ -1 im)))) (* 0.5 (* (sin (/ -1 re)) (exp (/ -1 im))))) in (im re) around 0 0.781 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ (sin (/ -1 re)) (exp (/ -1 im)))) (* 0.5 (* (sin (/ -1 re)) (exp (/ -1 im))))) in re 0.781 * [taylor]: Taking taylor expansion of (* 0.5 (/ (sin (/ -1 re)) (exp (/ -1 im)))) in re 0.781 * [taylor]: Taking taylor expansion of 0.5 in re 0.781 * [backup-simplify]: Simplify 0.5 into 0.5 0.781 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) (exp (/ -1 im))) in re 0.782 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 0.782 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.782 * [taylor]: Taking taylor expansion of -1 in re 0.782 * [backup-simplify]: Simplify -1 into -1 0.782 * [taylor]: Taking taylor expansion of re in re 0.782 * [backup-simplify]: Simplify 0 into 0 0.782 * [backup-simplify]: Simplify 1 into 1 0.782 * [backup-simplify]: Simplify (/ -1 1) into -1 0.782 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 0.782 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 0.782 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.782 * [taylor]: Taking taylor expansion of -1 in re 0.782 * [backup-simplify]: Simplify -1 into -1 0.782 * [taylor]: Taking taylor expansion of im in re 0.782 * [backup-simplify]: Simplify im into im 0.782 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 0.783 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 0.783 * [backup-simplify]: Simplify (/ (sin (/ -1 re)) (exp (/ -1 im))) into (/ (sin (/ -1 re)) (exp (/ -1 im))) 0.783 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ -1 im)))) in re 0.783 * [taylor]: Taking taylor expansion of 0.5 in re 0.783 * [backup-simplify]: Simplify 0.5 into 0.5 0.783 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ -1 im))) in re 0.783 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 0.783 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.783 * [taylor]: Taking taylor expansion of -1 in re 0.783 * [backup-simplify]: Simplify -1 into -1 0.783 * [taylor]: Taking taylor expansion of re in re 0.783 * [backup-simplify]: Simplify 0 into 0 0.783 * [backup-simplify]: Simplify 1 into 1 0.783 * [backup-simplify]: Simplify (/ -1 1) into -1 0.784 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 0.784 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 0.784 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.784 * [taylor]: Taking taylor expansion of -1 in re 0.784 * [backup-simplify]: Simplify -1 into -1 0.784 * [taylor]: Taking taylor expansion of im in re 0.784 * [backup-simplify]: Simplify im into im 0.784 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 0.784 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 0.784 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ (sin (/ -1 re)) (exp (/ -1 im)))) (* 0.5 (* (sin (/ -1 re)) (exp (/ -1 im))))) in im 0.784 * [taylor]: Taking taylor expansion of (* 0.5 (/ (sin (/ -1 re)) (exp (/ -1 im)))) in im 0.784 * [taylor]: Taking taylor expansion of 0.5 in im 0.784 * [backup-simplify]: Simplify 0.5 into 0.5 0.784 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) (exp (/ -1 im))) in im 0.784 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 0.784 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.784 * [taylor]: Taking taylor expansion of -1 in im 0.784 * [backup-simplify]: Simplify -1 into -1 0.784 * [taylor]: Taking taylor expansion of re in im 0.784 * [backup-simplify]: Simplify re into re 0.784 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 0.784 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 0.784 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 0.784 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.784 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.784 * [taylor]: Taking taylor expansion of -1 in im 0.784 * [backup-simplify]: Simplify -1 into -1 0.784 * [taylor]: Taking taylor expansion of im in im 0.784 * [backup-simplify]: Simplify 0 into 0 0.784 * [backup-simplify]: Simplify 1 into 1 0.785 * [backup-simplify]: Simplify (/ -1 1) into -1 0.785 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 0.785 * [backup-simplify]: Simplify (* (sin (/ -1 re)) 1) into (sin (/ -1 re)) 0.785 * [backup-simplify]: Simplify (* (cos (/ -1 re)) 0) into 0 0.785 * [backup-simplify]: Simplify (+ (sin (/ -1 re)) 0) into (sin (/ -1 re)) 0.785 * [backup-simplify]: Simplify (/ (sin (/ -1 re)) (exp (/ -1 im))) into (/ (sin (/ -1 re)) (exp (/ -1 im))) 0.785 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ -1 im)))) in im 0.785 * [taylor]: Taking taylor expansion of 0.5 in im 0.785 * [backup-simplify]: Simplify 0.5 into 0.5 0.785 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ -1 im))) in im 0.786 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 0.786 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.786 * [taylor]: Taking taylor expansion of -1 in im 0.786 * [backup-simplify]: Simplify -1 into -1 0.786 * [taylor]: Taking taylor expansion of re in im 0.786 * [backup-simplify]: Simplify re into re 0.786 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 0.786 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 0.786 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 0.786 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.786 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.786 * [taylor]: Taking taylor expansion of -1 in im 0.786 * [backup-simplify]: Simplify -1 into -1 0.786 * [taylor]: Taking taylor expansion of im in im 0.786 * [backup-simplify]: Simplify 0 into 0 0.786 * [backup-simplify]: Simplify 1 into 1 0.786 * [backup-simplify]: Simplify (/ -1 1) into -1 0.786 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 0.787 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ (sin (/ -1 re)) (exp (/ -1 im)))) (* 0.5 (* (sin (/ -1 re)) (exp (/ -1 im))))) in im 0.787 * [taylor]: Taking taylor expansion of (* 0.5 (/ (sin (/ -1 re)) (exp (/ -1 im)))) in im 0.787 * [taylor]: Taking taylor expansion of 0.5 in im 0.787 * [backup-simplify]: Simplify 0.5 into 0.5 0.787 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) (exp (/ -1 im))) in im 0.787 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 0.787 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.787 * [taylor]: Taking taylor expansion of -1 in im 0.787 * [backup-simplify]: Simplify -1 into -1 0.787 * [taylor]: Taking taylor expansion of re in im 0.787 * [backup-simplify]: Simplify re into re 0.787 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 0.787 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 0.787 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 0.787 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.787 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.787 * [taylor]: Taking taylor expansion of -1 in im 0.787 * [backup-simplify]: Simplify -1 into -1 0.787 * [taylor]: Taking taylor expansion of im in im 0.787 * [backup-simplify]: Simplify 0 into 0 0.787 * [backup-simplify]: Simplify 1 into 1 0.788 * [backup-simplify]: Simplify (/ -1 1) into -1 0.788 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 0.788 * [backup-simplify]: Simplify (* (sin (/ -1 re)) 1) into (sin (/ -1 re)) 0.788 * [backup-simplify]: Simplify (* (cos (/ -1 re)) 0) into 0 0.788 * [backup-simplify]: Simplify (+ (sin (/ -1 re)) 0) into (sin (/ -1 re)) 0.788 * [backup-simplify]: Simplify (/ (sin (/ -1 re)) (exp (/ -1 im))) into (/ (sin (/ -1 re)) (exp (/ -1 im))) 0.788 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ -1 im)))) in im 0.788 * [taylor]: Taking taylor expansion of 0.5 in im 0.788 * [backup-simplify]: Simplify 0.5 into 0.5 0.788 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ -1 im))) in im 0.788 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 0.788 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.788 * [taylor]: Taking taylor expansion of -1 in im 0.788 * [backup-simplify]: Simplify -1 into -1 0.788 * [taylor]: Taking taylor expansion of re in im 0.788 * [backup-simplify]: Simplify re into re 0.788 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 0.788 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 0.788 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 0.788 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.789 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.789 * [taylor]: Taking taylor expansion of -1 in im 0.789 * [backup-simplify]: Simplify -1 into -1 0.789 * [taylor]: Taking taylor expansion of im in im 0.789 * [backup-simplify]: Simplify 0 into 0 0.789 * [backup-simplify]: Simplify 1 into 1 0.789 * [backup-simplify]: Simplify (/ -1 1) into -1 0.789 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 0.789 * [backup-simplify]: Simplify (* 0.5 (/ (sin (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (/ (sin (/ -1 re)) (exp (/ -1 im)))) 0.789 * [backup-simplify]: Simplify (* (sin (/ -1 re)) 1) into (sin (/ -1 re)) 0.790 * [backup-simplify]: Simplify (* (cos (/ -1 re)) 0) into 0 0.790 * [backup-simplify]: Simplify (+ (sin (/ -1 re)) 0) into (sin (/ -1 re)) 0.790 * [backup-simplify]: Simplify (* (sin (/ -1 re)) (exp (/ -1 im))) into (* (sin (/ -1 re)) (exp (/ -1 im))) 0.790 * [backup-simplify]: Simplify (* 0.5 (* (sin (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (* (sin (/ -1 re)) (exp (/ -1 im)))) 0.790 * [backup-simplify]: Simplify (+ (* 0.5 (/ (sin (/ -1 re)) (exp (/ -1 im)))) (* 0.5 (* (sin (/ -1 re)) (exp (/ -1 im))))) into (+ (* 0.5 (/ (sin (/ -1 re)) (exp (/ -1 im)))) (* 0.5 (* (sin (/ -1 re)) (exp (/ -1 im))))) 0.790 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ (sin (/ -1 re)) (exp (/ -1 im)))) (* 0.5 (* (sin (/ -1 re)) (exp (/ -1 im))))) in re 0.790 * [taylor]: Taking taylor expansion of (* 0.5 (/ (sin (/ -1 re)) (exp (/ -1 im)))) in re 0.790 * [taylor]: Taking taylor expansion of 0.5 in re 0.790 * [backup-simplify]: Simplify 0.5 into 0.5 0.790 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 re)) (exp (/ -1 im))) in re 0.790 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 0.790 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.790 * [taylor]: Taking taylor expansion of -1 in re 0.791 * [backup-simplify]: Simplify -1 into -1 0.791 * [taylor]: Taking taylor expansion of re in re 0.791 * [backup-simplify]: Simplify 0 into 0 0.791 * [backup-simplify]: Simplify 1 into 1 0.791 * [backup-simplify]: Simplify (/ -1 1) into -1 0.791 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 0.791 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 0.791 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.791 * [taylor]: Taking taylor expansion of -1 in re 0.791 * [backup-simplify]: Simplify -1 into -1 0.791 * [taylor]: Taking taylor expansion of im in re 0.791 * [backup-simplify]: Simplify im into im 0.791 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 0.791 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 0.792 * [backup-simplify]: Simplify (/ (sin (/ -1 re)) (exp (/ -1 im))) into (/ (sin (/ -1 re)) (exp (/ -1 im))) 0.792 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ -1 im)))) in re 0.792 * [taylor]: Taking taylor expansion of 0.5 in re 0.792 * [backup-simplify]: Simplify 0.5 into 0.5 0.792 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ -1 im))) in re 0.792 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 0.792 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.792 * [taylor]: Taking taylor expansion of -1 in re 0.792 * [backup-simplify]: Simplify -1 into -1 0.792 * [taylor]: Taking taylor expansion of re in re 0.792 * [backup-simplify]: Simplify 0 into 0 0.792 * [backup-simplify]: Simplify 1 into 1 0.792 * [backup-simplify]: Simplify (/ -1 1) into -1 0.792 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 0.792 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 0.792 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.792 * [taylor]: Taking taylor expansion of -1 in re 0.792 * [backup-simplify]: Simplify -1 into -1 0.792 * [taylor]: Taking taylor expansion of im in re 0.792 * [backup-simplify]: Simplify im into im 0.793 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 0.793 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 0.793 * [backup-simplify]: Simplify (* 0.5 (/ (sin (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (/ (sin (/ -1 re)) (exp (/ -1 im)))) 0.793 * [backup-simplify]: Simplify (* (sin (/ -1 re)) (exp (/ -1 im))) into (* (sin (/ -1 re)) (exp (/ -1 im))) 0.793 * [backup-simplify]: Simplify (* 0.5 (* (sin (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (* (sin (/ -1 re)) (exp (/ -1 im)))) 0.793 * [backup-simplify]: Simplify (+ (* 0.5 (/ (sin (/ -1 re)) (exp (/ -1 im)))) (* 0.5 (* (sin (/ -1 re)) (exp (/ -1 im))))) into (+ (* 0.5 (/ (sin (/ -1 re)) (exp (/ -1 im)))) (* 0.5 (* (sin (/ -1 re)) (exp (/ -1 im))))) 0.794 * [backup-simplify]: Simplify (+ (* 0.5 (/ (sin (/ -1 re)) (exp (/ -1 im)))) (* 0.5 (* (sin (/ -1 re)) (exp (/ -1 im))))) into (+ (* 0.5 (/ (sin (/ -1 re)) (exp (/ -1 im)))) (* 0.5 (* (sin (/ -1 re)) (exp (/ -1 im))))) 0.794 * [backup-simplify]: Simplify (+ 0) into 0 0.795 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 1)) into 0 0.795 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0 0.796 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.796 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 0)) into 0 0.796 * [backup-simplify]: Simplify (+ 0 0) into 0 0.797 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (sin (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))))) into 0 0.797 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ (sin (/ -1 re)) (exp (/ -1 im))))) into 0 0.798 * [backup-simplify]: Simplify (+ 0) into 0 0.798 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 1)) into 0 0.798 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0 0.799 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.799 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 0)) into 0 0.800 * [backup-simplify]: Simplify (+ 0 0) into 0 0.800 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 (exp (/ -1 im)))) into 0 0.800 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (sin (/ -1 re)) (exp (/ -1 im))))) into 0 0.801 * [backup-simplify]: Simplify (+ 0 0) into 0 0.801 * [taylor]: Taking taylor expansion of 0 in re 0.801 * [backup-simplify]: Simplify 0 into 0 0.801 * [backup-simplify]: Simplify 0 into 0 0.801 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0 0.802 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 0.802 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (sin (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))))) into 0 0.803 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ (sin (/ -1 re)) (exp (/ -1 im))))) into 0 0.803 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0 0.804 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 0.804 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 (exp (/ -1 im)))) into 0 0.805 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (sin (/ -1 re)) (exp (/ -1 im))))) into 0 0.805 * [backup-simplify]: Simplify (+ 0 0) into 0 0.805 * [backup-simplify]: Simplify 0 into 0 0.806 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.807 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 0.807 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 0.807 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.808 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 0.808 * [backup-simplify]: Simplify (+ 0 0) into 0 0.809 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (sin (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0 0.810 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (sin (/ -1 re)) (exp (/ -1 im)))))) into 0 0.810 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.811 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 0.811 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 0.812 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.813 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 0.813 * [backup-simplify]: Simplify (+ 0 0) into 0 0.814 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 (exp (/ -1 im))))) into 0 0.814 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (sin (/ -1 re)) (exp (/ -1 im)))))) into 0 0.815 * [backup-simplify]: Simplify (+ 0 0) into 0 0.815 * [taylor]: Taking taylor expansion of 0 in re 0.815 * [backup-simplify]: Simplify 0 into 0 0.815 * [backup-simplify]: Simplify 0 into 0 0.815 * [backup-simplify]: Simplify 0 into 0 0.815 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 0.816 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.817 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (sin (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0 0.818 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (sin (/ -1 re)) (exp (/ -1 im)))))) into 0 0.818 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 0.820 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.820 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 (exp (/ -1 im))))) into 0 0.823 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (sin (/ -1 re)) (exp (/ -1 im)))))) into 0 0.823 * [backup-simplify]: Simplify (+ 0 0) into 0 0.823 * [backup-simplify]: Simplify 0 into 0 0.824 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 0.825 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.825 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 0.827 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 0.828 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 0.828 * [backup-simplify]: Simplify (+ 0 0) into 0 0.828 * [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 0.830 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ (sin (/ -1 re)) (exp (/ -1 im))))))) into 0 0.831 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 0.832 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.832 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 0.834 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 0.835 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 0.835 * [backup-simplify]: Simplify (+ 0 0) into 0 0.836 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 im)))))) into 0 0.837 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (sin (/ -1 re)) (exp (/ -1 im))))))) into 0 0.837 * [backup-simplify]: Simplify (+ 0 0) into 0 0.837 * [taylor]: Taking taylor expansion of 0 in re 0.837 * [backup-simplify]: Simplify 0 into 0 0.838 * [backup-simplify]: Simplify 0 into 0 0.838 * [backup-simplify]: Simplify (+ (* 0.5 (/ (sin (/ -1 (/ 1 (- re)))) (exp (/ -1 (/ 1 (- im)))))) (* 0.5 (* (sin (/ -1 (/ 1 (- re)))) (exp (/ -1 (/ 1 (- im))))))) into (+ (* 0.5 (/ (sin re) (exp im))) (* 0.5 (* (sin re) (exp im)))) 0.838 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 0.838 * [backup-simplify]: Simplify (* (exp im) (* 0.5 (sin re))) into (* 0.5 (* (exp im) (sin re))) 0.838 * [approximate]: Taking taylor expansion of (* 0.5 (* (exp im) (sin re))) in (im re) around 0 0.838 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (sin re))) in re 0.838 * [taylor]: Taking taylor expansion of 0.5 in re 0.838 * [backup-simplify]: Simplify 0.5 into 0.5 0.838 * [taylor]: Taking taylor expansion of (* (exp im) (sin re)) in re 0.838 * [taylor]: Taking taylor expansion of (exp im) in re 0.838 * [taylor]: Taking taylor expansion of im in re 0.838 * [backup-simplify]: Simplify im into im 0.839 * [backup-simplify]: Simplify (exp im) into (exp im) 0.839 * [taylor]: Taking taylor expansion of (sin re) in re 0.839 * [taylor]: Taking taylor expansion of re in re 0.839 * [backup-simplify]: Simplify 0 into 0 0.839 * [backup-simplify]: Simplify 1 into 1 0.839 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (sin re))) in im 0.839 * [taylor]: Taking taylor expansion of 0.5 in im 0.839 * [backup-simplify]: Simplify 0.5 into 0.5 0.839 * [taylor]: Taking taylor expansion of (* (exp im) (sin re)) in im 0.839 * [taylor]: Taking taylor expansion of (exp im) in im 0.839 * [taylor]: Taking taylor expansion of im in im 0.839 * [backup-simplify]: Simplify 0 into 0 0.839 * [backup-simplify]: Simplify 1 into 1 0.839 * [backup-simplify]: Simplify (exp 0) into 1 0.839 * [taylor]: Taking taylor expansion of (sin re) in im 0.839 * [taylor]: Taking taylor expansion of re in im 0.839 * [backup-simplify]: Simplify re into re 0.839 * [backup-simplify]: Simplify (sin re) into (sin re) 0.839 * [backup-simplify]: Simplify (cos re) into (cos re) 0.839 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp im) (sin re))) in im 0.839 * [taylor]: Taking taylor expansion of 0.5 in im 0.839 * [backup-simplify]: Simplify 0.5 into 0.5 0.839 * [taylor]: Taking taylor expansion of (* (exp im) (sin re)) in im 0.839 * [taylor]: Taking taylor expansion of (exp im) in im 0.839 * [taylor]: Taking taylor expansion of im in im 0.839 * [backup-simplify]: Simplify 0 into 0 0.839 * [backup-simplify]: Simplify 1 into 1 0.839 * [backup-simplify]: Simplify (exp 0) into 1 0.839 * [taylor]: Taking taylor expansion of (sin re) in im 0.839 * [taylor]: Taking taylor expansion of re in im 0.839 * [backup-simplify]: Simplify re into re 0.839 * [backup-simplify]: Simplify (sin re) into (sin re) 0.839 * [backup-simplify]: Simplify (cos re) into (cos re) 0.840 * [backup-simplify]: Simplify (* (sin re) 1) into (sin re) 0.840 * [backup-simplify]: Simplify (* (cos re) 0) into 0 0.840 * [backup-simplify]: Simplify (+ (sin re) 0) into (sin re) 0.840 * [backup-simplify]: Simplify (* 1 (sin re)) into (sin re) 0.840 * [backup-simplify]: Simplify (* 0.5 (sin re)) into (* 0.5 (sin re)) 0.840 * [taylor]: Taking taylor expansion of (* 0.5 (sin re)) in re 0.840 * [taylor]: Taking taylor expansion of 0.5 in re 0.840 * [backup-simplify]: Simplify 0.5 into 0.5 0.840 * [taylor]: Taking taylor expansion of (sin re) in re 0.840 * [taylor]: Taking taylor expansion of re in re 0.840 * [backup-simplify]: Simplify 0 into 0 0.840 * [backup-simplify]: Simplify 1 into 1 0.841 * [backup-simplify]: Simplify (* 0.5 0) into 0 0.841 * [backup-simplify]: Simplify 0 into 0 0.841 * [backup-simplify]: Simplify (+ 0) into 0 0.841 * [backup-simplify]: Simplify (+ (* (sin re) 0) (* 0 1)) into 0 0.842 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.843 * [backup-simplify]: Simplify (+ (* (cos re) 0) (* 0 0)) into 0 0.843 * [backup-simplify]: Simplify (+ 0 0) into 0 0.844 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 0.844 * [backup-simplify]: Simplify (+ (* 1 0) (* 1 (sin re))) into (sin re) 0.845 * [backup-simplify]: Simplify (+ (* 0.5 (sin re)) (* 0 (sin re))) into (* 0.5 (sin re)) 0.845 * [taylor]: Taking taylor expansion of (* 0.5 (sin re)) in re 0.845 * [taylor]: Taking taylor expansion of 0.5 in re 0.845 * [backup-simplify]: Simplify 0.5 into 0.5 0.845 * [taylor]: Taking taylor expansion of (sin re) in re 0.845 * [taylor]: Taking taylor expansion of re in re 0.845 * [backup-simplify]: Simplify 0 into 0 0.845 * [backup-simplify]: Simplify 1 into 1 0.845 * [backup-simplify]: Simplify (* 0.5 0) into 0 0.845 * [backup-simplify]: Simplify 0 into 0 0.846 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 0.847 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5 0.848 * [backup-simplify]: Simplify 0.5 into 0.5 0.848 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.849 * [backup-simplify]: Simplify (+ (* (sin re) 0) (+ (* 0 0) (* 0 1))) into 0 0.850 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.850 * [backup-simplify]: Simplify (+ (* (cos re) 0) (+ (* 0 0) (* 0 0))) into 0 0.851 * [backup-simplify]: Simplify (+ 0 0) into 0 0.852 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 0.853 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 1 0) (* 1/2 (sin re)))) into (* 1/2 (sin re)) 0.854 * [backup-simplify]: Simplify (+ (* 0.5 (* 1/2 (sin re))) (+ (* 0 (sin re)) (* 0 (sin re)))) into (* 0.25 (sin re)) 0.854 * [taylor]: Taking taylor expansion of (* 0.25 (sin re)) in re 0.854 * [taylor]: Taking taylor expansion of 0.25 in re 0.854 * [backup-simplify]: Simplify 0.25 into 0.25 0.854 * [taylor]: Taking taylor expansion of (sin re) in re 0.854 * [taylor]: Taking taylor expansion of re in re 0.854 * [backup-simplify]: Simplify 0 into 0 0.854 * [backup-simplify]: Simplify 1 into 1 0.854 * [backup-simplify]: Simplify (* 0.25 0) into 0 0.854 * [backup-simplify]: Simplify 0 into 0 0.855 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 0.856 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5 0.856 * [backup-simplify]: Simplify 0.5 into 0.5 0.857 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.858 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0 0.858 * [backup-simplify]: Simplify 0 into 0 0.860 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 0.861 * [backup-simplify]: Simplify (+ (* (sin re) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.862 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 0.863 * [backup-simplify]: Simplify (+ (* (cos re) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 0.864 * [backup-simplify]: Simplify (+ 0 0) into 0 0.867 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 0.868 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 1/2 0) (* 1/6 (sin re))))) into (* 1/6 (sin re)) 0.868 * [backup-simplify]: Simplify (+ (* 0.5 (* 1/6 (sin re))) (+ (* 0 (* 1/2 (sin re))) (+ (* 0 (sin re)) (* 0 (sin re))))) into (* 0.08333333333333333 (sin re)) 0.868 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (sin re)) in re 0.868 * [taylor]: Taking taylor expansion of 0.08333333333333333 in re 0.868 * [backup-simplify]: Simplify 0.08333333333333333 into 0.08333333333333333 0.868 * [taylor]: Taking taylor expansion of (sin re) in re 0.868 * [taylor]: Taking taylor expansion of re in re 0.869 * [backup-simplify]: Simplify 0 into 0 0.869 * [backup-simplify]: Simplify 1 into 1 0.869 * [backup-simplify]: Simplify (* 0.08333333333333333 0) into 0 0.869 * [backup-simplify]: Simplify 0 into 0 0.870 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 0.871 * [backup-simplify]: Simplify (+ (* 0.25 1) (* 0 0)) into 0.25 0.871 * [backup-simplify]: Simplify 0.25 into 0.25 0.872 * [backup-simplify]: Simplify (+ (* 0.25 (* re (pow im 2))) (+ (* 0.5 (* re im)) (* 0.5 (* re 1)))) into (+ (* 0.5 (* re im)) (+ (* 0.5 re) (* 0.25 (* re (pow im 2))))) 0.872 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (* 0.5 (sin (/ 1 re)))) into (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) 0.872 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) in (im re) around 0 0.872 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) in re 0.872 * [taylor]: Taking taylor expansion of 0.5 in re 0.872 * [backup-simplify]: Simplify 0.5 into 0.5 0.872 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in re 0.872 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 0.872 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.872 * [taylor]: Taking taylor expansion of re in re 0.872 * [backup-simplify]: Simplify 0 into 0 0.872 * [backup-simplify]: Simplify 1 into 1 0.873 * [backup-simplify]: Simplify (/ 1 1) into 1 0.873 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 0.873 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.873 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.873 * [taylor]: Taking taylor expansion of im in re 0.873 * [backup-simplify]: Simplify im into im 0.873 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 0.873 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 0.873 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) in im 0.873 * [taylor]: Taking taylor expansion of 0.5 in im 0.873 * [backup-simplify]: Simplify 0.5 into 0.5 0.873 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in im 0.873 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 0.873 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.873 * [taylor]: Taking taylor expansion of re in im 0.873 * [backup-simplify]: Simplify re into re 0.873 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 0.873 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 0.873 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 0.873 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.874 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.874 * [taylor]: Taking taylor expansion of im in im 0.874 * [backup-simplify]: Simplify 0 into 0 0.874 * [backup-simplify]: Simplify 1 into 1 0.874 * [backup-simplify]: Simplify (/ 1 1) into 1 0.874 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 0.874 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) in im 0.874 * [taylor]: Taking taylor expansion of 0.5 in im 0.874 * [backup-simplify]: Simplify 0.5 into 0.5 0.874 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in im 0.874 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 0.874 * [taylor]: Taking taylor expansion of (/ 1 re) in im 0.874 * [taylor]: Taking taylor expansion of re in im 0.874 * [backup-simplify]: Simplify re into re 0.874 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 0.874 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 0.874 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 0.875 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 0.875 * [taylor]: Taking taylor expansion of (/ 1 im) in im 0.875 * [taylor]: Taking taylor expansion of im in im 0.875 * [backup-simplify]: Simplify 0 into 0 0.875 * [backup-simplify]: Simplify 1 into 1 0.875 * [backup-simplify]: Simplify (/ 1 1) into 1 0.875 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 0.875 * [backup-simplify]: Simplify (* (sin (/ 1 re)) 1) into (sin (/ 1 re)) 0.875 * [backup-simplify]: Simplify (* (cos (/ 1 re)) 0) into 0 0.875 * [backup-simplify]: Simplify (+ (sin (/ 1 re)) 0) into (sin (/ 1 re)) 0.876 * [backup-simplify]: Simplify (* (sin (/ 1 re)) (exp (/ 1 im))) into (* (sin (/ 1 re)) (exp (/ 1 im))) 0.876 * [backup-simplify]: Simplify (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) 0.876 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) in re 0.876 * [taylor]: Taking taylor expansion of 0.5 in re 0.876 * [backup-simplify]: Simplify 0.5 into 0.5 0.876 * [taylor]: Taking taylor expansion of (* (sin (/ 1 re)) (exp (/ 1 im))) in re 0.876 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 0.876 * [taylor]: Taking taylor expansion of (/ 1 re) in re 0.876 * [taylor]: Taking taylor expansion of re in re 0.876 * [backup-simplify]: Simplify 0 into 0 0.876 * [backup-simplify]: Simplify 1 into 1 0.876 * [backup-simplify]: Simplify (/ 1 1) into 1 0.876 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 0.876 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 0.877 * [taylor]: Taking taylor expansion of (/ 1 im) in re 0.877 * [taylor]: Taking taylor expansion of im in re 0.877 * [backup-simplify]: Simplify im into im 0.877 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 0.877 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 0.877 * [backup-simplify]: Simplify (* (sin (/ 1 re)) (exp (/ 1 im))) into (* (sin (/ 1 re)) (exp (/ 1 im))) 0.877 * [backup-simplify]: Simplify (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) 0.877 * [backup-simplify]: Simplify (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (* (sin (/ 1 re)) (exp (/ 1 im)))) 0.878 * [backup-simplify]: Simplify (+ 0) into 0 0.878 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 1)) into 0 0.878 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 0.879 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.880 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 0)) into 0 0.880 * [backup-simplify]: Simplify (+ 0 0) into 0 0.880 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 (exp (/ 1 im)))) into 0 0.881 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (sin (/ 1 re)) (exp (/ 1 im))))) into 0 0.881 * [taylor]: Taking taylor expansion of 0 in re 0.881 * [backup-simplify]: Simplify 0 into 0 0.881 * [backup-simplify]: Simplify 0 into 0 0.881 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 0.882 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 0.882 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 (exp (/ 1 im)))) into 0 0.883 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (sin (/ 1 re)) (exp (/ 1 im))))) into 0 0.883 * [backup-simplify]: Simplify 0 into 0 0.884 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.884 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 0.885 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 0.885 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.886 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 0.886 * [backup-simplify]: Simplify (+ 0 0) into 0 0.887 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 (exp (/ 1 im))))) into 0 0.888 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (sin (/ 1 re)) (exp (/ 1 im)))))) into 0 0.888 * [taylor]: Taking taylor expansion of 0 in re 0.888 * [backup-simplify]: Simplify 0 into 0 0.888 * [backup-simplify]: Simplify 0 into 0 0.888 * [backup-simplify]: Simplify 0 into 0 0.888 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 0.889 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.890 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 (exp (/ 1 im))))) into 0 0.891 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (sin (/ 1 re)) (exp (/ 1 im)))))) into 0 0.891 * [backup-simplify]: Simplify 0 into 0 0.892 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 0.893 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.893 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 0.895 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 0.896 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 0.896 * [backup-simplify]: Simplify (+ 0 0) into 0 0.897 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 im)))))) into 0 0.899 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (sin (/ 1 re)) (exp (/ 1 im))))))) into 0 0.899 * [taylor]: Taking taylor expansion of 0 in re 0.899 * [backup-simplify]: Simplify 0 into 0 0.899 * [backup-simplify]: Simplify 0 into 0 0.899 * [backup-simplify]: Simplify (* 0.5 (* (sin (/ 1 (/ 1 re))) (exp (/ 1 (/ 1 im))))) into (* 0.5 (* (sin re) (exp im))) 0.899 * [backup-simplify]: Simplify (* (exp (/ 1 (- im))) (* 0.5 (sin (/ 1 (- re))))) into (* 0.5 (* (sin (/ -1 re)) (exp (/ -1 im)))) 0.899 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ -1 im)))) in (im re) around 0 0.899 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ -1 im)))) in re 0.899 * [taylor]: Taking taylor expansion of 0.5 in re 0.899 * [backup-simplify]: Simplify 0.5 into 0.5 0.899 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ -1 im))) in re 0.899 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 0.899 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.899 * [taylor]: Taking taylor expansion of -1 in re 0.899 * [backup-simplify]: Simplify -1 into -1 0.899 * [taylor]: Taking taylor expansion of re in re 0.899 * [backup-simplify]: Simplify 0 into 0 0.899 * [backup-simplify]: Simplify 1 into 1 0.900 * [backup-simplify]: Simplify (/ -1 1) into -1 0.900 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 0.900 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 0.900 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.900 * [taylor]: Taking taylor expansion of -1 in re 0.900 * [backup-simplify]: Simplify -1 into -1 0.900 * [taylor]: Taking taylor expansion of im in re 0.900 * [backup-simplify]: Simplify im into im 0.900 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 0.900 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 0.900 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ -1 im)))) in im 0.900 * [taylor]: Taking taylor expansion of 0.5 in im 0.900 * [backup-simplify]: Simplify 0.5 into 0.5 0.901 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ -1 im))) in im 0.901 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 0.901 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.901 * [taylor]: Taking taylor expansion of -1 in im 0.901 * [backup-simplify]: Simplify -1 into -1 0.901 * [taylor]: Taking taylor expansion of re in im 0.901 * [backup-simplify]: Simplify re into re 0.901 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 0.901 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 0.901 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 0.901 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.901 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.901 * [taylor]: Taking taylor expansion of -1 in im 0.901 * [backup-simplify]: Simplify -1 into -1 0.901 * [taylor]: Taking taylor expansion of im in im 0.901 * [backup-simplify]: Simplify 0 into 0 0.901 * [backup-simplify]: Simplify 1 into 1 0.902 * [backup-simplify]: Simplify (/ -1 1) into -1 0.902 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 0.902 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ -1 im)))) in im 0.902 * [taylor]: Taking taylor expansion of 0.5 in im 0.902 * [backup-simplify]: Simplify 0.5 into 0.5 0.902 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ -1 im))) in im 0.902 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 0.902 * [taylor]: Taking taylor expansion of (/ -1 re) in im 0.902 * [taylor]: Taking taylor expansion of -1 in im 0.902 * [backup-simplify]: Simplify -1 into -1 0.902 * [taylor]: Taking taylor expansion of re in im 0.902 * [backup-simplify]: Simplify re into re 0.902 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 0.902 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 0.902 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 0.902 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 0.902 * [taylor]: Taking taylor expansion of (/ -1 im) in im 0.902 * [taylor]: Taking taylor expansion of -1 in im 0.902 * [backup-simplify]: Simplify -1 into -1 0.902 * [taylor]: Taking taylor expansion of im in im 0.902 * [backup-simplify]: Simplify 0 into 0 0.902 * [backup-simplify]: Simplify 1 into 1 0.903 * [backup-simplify]: Simplify (/ -1 1) into -1 0.903 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 0.903 * [backup-simplify]: Simplify (* (sin (/ -1 re)) 1) into (sin (/ -1 re)) 0.903 * [backup-simplify]: Simplify (* (cos (/ -1 re)) 0) into 0 0.903 * [backup-simplify]: Simplify (+ (sin (/ -1 re)) 0) into (sin (/ -1 re)) 0.904 * [backup-simplify]: Simplify (* (sin (/ -1 re)) (exp (/ -1 im))) into (* (sin (/ -1 re)) (exp (/ -1 im))) 0.904 * [backup-simplify]: Simplify (* 0.5 (* (sin (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (* (sin (/ -1 re)) (exp (/ -1 im)))) 0.904 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin (/ -1 re)) (exp (/ -1 im)))) in re 0.904 * [taylor]: Taking taylor expansion of 0.5 in re 0.904 * [backup-simplify]: Simplify 0.5 into 0.5 0.904 * [taylor]: Taking taylor expansion of (* (sin (/ -1 re)) (exp (/ -1 im))) in re 0.904 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 0.904 * [taylor]: Taking taylor expansion of (/ -1 re) in re 0.904 * [taylor]: Taking taylor expansion of -1 in re 0.904 * [backup-simplify]: Simplify -1 into -1 0.904 * [taylor]: Taking taylor expansion of re in re 0.904 * [backup-simplify]: Simplify 0 into 0 0.904 * [backup-simplify]: Simplify 1 into 1 0.904 * [backup-simplify]: Simplify (/ -1 1) into -1 0.905 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 0.905 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 0.905 * [taylor]: Taking taylor expansion of (/ -1 im) in re 0.905 * [taylor]: Taking taylor expansion of -1 in re 0.905 * [backup-simplify]: Simplify -1 into -1 0.905 * [taylor]: Taking taylor expansion of im in re 0.905 * [backup-simplify]: Simplify im into im 0.905 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 0.905 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 0.905 * [backup-simplify]: Simplify (* (sin (/ -1 re)) (exp (/ -1 im))) into (* (sin (/ -1 re)) (exp (/ -1 im))) 0.905 * [backup-simplify]: Simplify (* 0.5 (* (sin (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (* (sin (/ -1 re)) (exp (/ -1 im)))) 0.905 * [backup-simplify]: Simplify (* 0.5 (* (sin (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (* (sin (/ -1 re)) (exp (/ -1 im)))) 0.906 * [backup-simplify]: Simplify (+ 0) into 0 0.906 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 1)) into 0 0.907 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0 0.907 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 0.908 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 0)) into 0 0.908 * [backup-simplify]: Simplify (+ 0 0) into 0 0.908 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 (exp (/ -1 im)))) into 0 0.909 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (sin (/ -1 re)) (exp (/ -1 im))))) into 0 0.909 * [taylor]: Taking taylor expansion of 0 in re 0.909 * [backup-simplify]: Simplify 0 into 0 0.909 * [backup-simplify]: Simplify 0 into 0 0.909 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0 0.910 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 0.910 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 (exp (/ -1 im)))) into 0 0.911 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (sin (/ -1 re)) (exp (/ -1 im))))) into 0 0.911 * [backup-simplify]: Simplify 0 into 0 0.912 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 0.913 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 0.913 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 0.914 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 0.914 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 0.915 * [backup-simplify]: Simplify (+ 0 0) into 0 0.915 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 (exp (/ -1 im))))) into 0 0.916 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (sin (/ -1 re)) (exp (/ -1 im)))))) into 0 0.916 * [taylor]: Taking taylor expansion of 0 in re 0.916 * [backup-simplify]: Simplify 0 into 0 0.916 * [backup-simplify]: Simplify 0 into 0 0.916 * [backup-simplify]: Simplify 0 into 0 0.917 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 0.918 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 0.919 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 (exp (/ -1 im))))) into 0 0.919 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (sin (/ -1 re)) (exp (/ -1 im)))))) into 0 0.920 * [backup-simplify]: Simplify 0 into 0 0.920 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0 0.921 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.922 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0 0.923 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0 0.924 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0 0.924 * [backup-simplify]: Simplify (+ 0 0) into 0 0.925 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 im)))))) into 0 0.926 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (sin (/ -1 re)) (exp (/ -1 im))))))) into 0 0.926 * [taylor]: Taking taylor expansion of 0 in re 0.926 * [backup-simplify]: Simplify 0 into 0 0.926 * [backup-simplify]: Simplify 0 into 0 0.927 * [backup-simplify]: Simplify (* 0.5 (* (sin (/ -1 (/ 1 (- re)))) (exp (/ -1 (/ 1 (- im)))))) into (* 0.5 (* (sin re) (exp im))) 0.927 * * * [progress]: simplifying candidates 0.927 * * * * [progress]: [ 1 / 62 ] simplifiying candidate # 0.927 * * * * [progress]: [ 2 / 62 ] simplifiying candidate # 0.927 * [simplify]: Simplifying (- (+ (log 0.5) (log (sin re))) im) 0.928 * * [simplify]: iters left: 6 (8 enodes) 0.932 * * [simplify]: iters left: 5 (29 enodes) 0.937 * * [simplify]: iters left: 4 (41 enodes) 0.943 * * [simplify]: iters left: 3 (50 enodes) 0.950 * * [simplify]: iters left: 2 (54 enodes) 0.958 * * [simplify]: iters left: 1 (58 enodes) 0.971 * * [simplify]: Extracting #0: cost 1 inf + 0 0.971 * * [simplify]: Extracting #1: cost 16 inf + 0 0.971 * * [simplify]: Extracting #2: cost 24 inf + 42 0.971 * * [simplify]: Extracting #3: cost 22 inf + 266 0.972 * * [simplify]: Extracting #4: cost 8 inf + 2137 0.973 * * [simplify]: Extracting #5: cost 0 inf + 3624 0.974 * [simplify]: Simplified to (- (log (sin re)) (- im (log 0.5))) 0.974 * [simplify]: Simplified (2 2 1) to (λ (re im) (+ (* (exp im) (* 0.5 (sin re))) (exp (- (log (sin re)) (- im (log 0.5)))))) 0.975 * * * * [progress]: [ 3 / 62 ] simplifiying candidate # 0.975 * [simplify]: Simplifying (- (log (* 0.5 (sin re))) im) 0.975 * * [simplify]: iters left: 6 (7 enodes) 0.979 * * [simplify]: iters left: 5 (27 enodes) 0.984 * * [simplify]: iters left: 4 (39 enodes) 0.991 * * [simplify]: iters left: 3 (49 enodes) 0.998 * * [simplify]: iters left: 2 (57 enodes) 1.005 * * [simplify]: iters left: 1 (63 enodes) 1.017 * * [simplify]: Extracting #0: cost 1 inf + 0 1.017 * * [simplify]: Extracting #1: cost 13 inf + 0 1.017 * * [simplify]: Extracting #2: cost 25 inf + 1 1.017 * * [simplify]: Extracting #3: cost 25 inf + 84 1.018 * * [simplify]: Extracting #4: cost 18 inf + 713 1.018 * * [simplify]: Extracting #5: cost 7 inf + 2051 1.019 * * [simplify]: Extracting #6: cost 0 inf + 3226 1.020 * [simplify]: Simplified to (- (log (* 0.5 (sin re))) im) 1.021 * [simplify]: Simplified (2 2 1) to (λ (re im) (+ (* (exp im) (* 0.5 (sin re))) (exp (- (log (* 0.5 (sin re))) im)))) 1.021 * * * * [progress]: [ 4 / 62 ] simplifiying candidate # 1.021 * * * * [progress]: [ 5 / 62 ] simplifiying candidate # 1.021 * * * * [progress]: [ 6 / 62 ] simplifiying candidate # 1.021 * [simplify]: Simplifying (/ (* (* (* 0.5 0.5) 0.5) (* (* (sin re) (sin re)) (sin re))) (* (* (exp im) (exp im)) (exp im))) 1.021 * * [simplify]: iters left: 6 (13 enodes) 1.029 * * [simplify]: iters left: 5 (56 enodes) 1.051 * * [simplify]: iters left: 4 (170 enodes) 1.153 * * [simplify]: Extracting #0: cost 1 inf + 0 1.153 * * [simplify]: Extracting #1: cost 94 inf + 0 1.155 * * [simplify]: Extracting #2: cost 202 inf + 123 1.160 * * [simplify]: Extracting #3: cost 143 inf + 14620 1.175 * * [simplify]: Extracting #4: cost 16 inf + 48566 1.186 * * [simplify]: Extracting #5: cost 0 inf + 50869 1.202 * * [simplify]: Extracting #6: cost 0 inf + 49909 1.213 * * [simplify]: Extracting #7: cost 0 inf + 49829 1.229 * [simplify]: Simplified to (/ (* (sin re) (* (sin re) (sin re))) (* (/ (exp im) 0.5) (* (/ (exp im) 0.5) (/ (exp im) 0.5)))) 1.229 * [simplify]: Simplified (2 2 1) to (λ (re im) (+ (* (exp im) (* 0.5 (sin re))) (cbrt (/ (* (sin re) (* (sin re) (sin re))) (* (/ (exp im) 0.5) (* (/ (exp im) 0.5) (/ (exp im) 0.5))))))) 1.229 * * * * [progress]: [ 7 / 62 ] simplifiying candidate # 1.230 * [simplify]: Simplifying (/ (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re))) (* (* (exp im) (exp im)) (exp im))) 1.230 * * [simplify]: iters left: 6 (11 enodes) 1.236 * * [simplify]: iters left: 5 (54 enodes) 1.252 * * [simplify]: iters left: 4 (180 enodes) 1.334 * * [simplify]: Extracting #0: cost 1 inf + 0 1.335 * * [simplify]: Extracting #1: cost 108 inf + 0 1.335 * * [simplify]: Extracting #2: cost 228 inf + 43 1.338 * * [simplify]: Extracting #3: cost 154 inf + 16487 1.348 * * [simplify]: Extracting #4: cost 15 inf + 53440 1.370 * * [simplify]: Extracting #5: cost 0 inf + 57512 1.394 * * [simplify]: Extracting #6: cost 0 inf + 57432 1.416 * [simplify]: Simplified to (* (/ (* 0.5 (sin re)) (exp im)) (* (/ (* 0.5 (sin re)) (exp im)) (/ (* 0.5 (sin re)) (exp im)))) 1.416 * [simplify]: Simplified (2 2 1) to (λ (re im) (+ (* (exp im) (* 0.5 (sin re))) (cbrt (* (/ (* 0.5 (sin re)) (exp im)) (* (/ (* 0.5 (sin re)) (exp im)) (/ (* 0.5 (sin re)) (exp im))))))) 1.416 * * * * [progress]: [ 8 / 62 ] simplifiying candidate # 1.416 * * * * [progress]: [ 9 / 62 ] simplifiying candidate # 1.416 * * * * [progress]: [ 10 / 62 ] simplifiying candidate # 1.416 * * * * [progress]: [ 11 / 62 ] simplifiying candidate # 1.416 * * * * [progress]: [ 12 / 62 ] simplifiying candidate # 1.417 * [simplify]: Simplifying (/ 0.5 (* (cbrt (exp im)) (cbrt (exp im)))) 1.417 * * [simplify]: iters left: 6 (6 enodes) 1.418 * * [simplify]: iters left: 5 (20 enodes) 1.421 * * [simplify]: iters left: 4 (22 enodes) 1.424 * * [simplify]: Extracting #0: cost 1 inf + 0 1.425 * * [simplify]: Extracting #1: cost 6 inf + 0 1.425 * * [simplify]: Extracting #2: cost 9 inf + 1 1.425 * * [simplify]: Extracting #3: cost 11 inf + 1 1.425 * * [simplify]: Extracting #4: cost 10 inf + 2 1.425 * * [simplify]: Extracting #5: cost 1 inf + 1444 1.425 * * [simplify]: Extracting #6: cost 0 inf + 1676 1.425 * [simplify]: Simplified to (/ 0.5 (* (cbrt (exp im)) (cbrt (exp im)))) 1.425 * [simplify]: Simplified (2 2 1) to (λ (re im) (+ (* (exp im) (* 0.5 (sin re))) (* (/ 0.5 (* (cbrt (exp im)) (cbrt (exp im)))) (/ (sin re) (cbrt (exp im)))))) 1.425 * [simplify]: Simplifying (/ (sin re) (cbrt (exp im))) 1.425 * * [simplify]: iters left: 4 (6 enodes) 1.427 * * [simplify]: iters left: 3 (18 enodes) 1.429 * * [simplify]: Extracting #0: cost 1 inf + 0 1.429 * * [simplify]: Extracting #1: cost 4 inf + 0 1.429 * * [simplify]: Extracting #2: cost 8 inf + 0 1.429 * * [simplify]: Extracting #3: cost 9 inf + 1 1.429 * * [simplify]: Extracting #4: cost 0 inf + 1072 1.429 * [simplify]: Simplified to (/ (sin re) (cbrt (exp im))) 1.429 * [simplify]: Simplified (2 2 2) to (λ (re im) (+ (* (exp im) (* 0.5 (sin re))) (* (/ 0.5 (* (cbrt (exp im)) (cbrt (exp im)))) (/ (sin re) (cbrt (exp im)))))) 1.429 * * * * [progress]: [ 13 / 62 ] simplifiying candidate # 1.430 * [simplify]: Simplifying (/ 0.5 (sqrt (exp im))) 1.430 * * [simplify]: iters left: 4 (5 enodes) 1.431 * * [simplify]: iters left: 3 (15 enodes) 1.433 * * [simplify]: Extracting #0: cost 1 inf + 0 1.433 * * [simplify]: Extracting #1: cost 4 inf + 0 1.433 * * [simplify]: Extracting #2: cost 5 inf + 1 1.433 * * [simplify]: Extracting #3: cost 7 inf + 1 1.433 * * [simplify]: Extracting #4: cost 0 inf + 670 1.433 * [simplify]: Simplified to (/ 0.5 (sqrt (exp im))) 1.433 * [simplify]: Simplified (2 2 1) to (λ (re im) (+ (* (exp im) (* 0.5 (sin re))) (* (/ 0.5 (sqrt (exp im))) (/ (sin re) (sqrt (exp im)))))) 1.434 * [simplify]: Simplifying (/ (sin re) (sqrt (exp im))) 1.434 * * [simplify]: iters left: 4 (6 enodes) 1.435 * * [simplify]: iters left: 3 (18 enodes) 1.437 * * [simplify]: Extracting #0: cost 1 inf + 0 1.437 * * [simplify]: Extracting #1: cost 4 inf + 0 1.437 * * [simplify]: Extracting #2: cost 8 inf + 0 1.437 * * [simplify]: Extracting #3: cost 9 inf + 1 1.438 * * [simplify]: Extracting #4: cost 0 inf + 912 1.438 * [simplify]: Simplified to (/ (sin re) (sqrt (exp im))) 1.438 * [simplify]: Simplified (2 2 2) to (λ (re im) (+ (* (exp im) (* 0.5 (sin re))) (* (/ 0.5 (sqrt (exp im))) (/ (sin re) (sqrt (exp im)))))) 1.438 * * * * [progress]: [ 14 / 62 ] simplifiying candidate # 1.438 * [simplify]: Simplifying (/ 0.5 1) 1.438 * * [simplify]: iters left: 2 (3 enodes) 1.439 * * [simplify]: iters left: 1 (9 enodes) 1.441 * * [simplify]: Extracting #0: cost 1 inf + 0 1.441 * * [simplify]: Extracting #1: cost 0 inf + 1 1.441 * [simplify]: Simplified to 0.5 1.441 * [simplify]: Simplified (2 2 1) to (λ (re im) (+ (* (exp im) (* 0.5 (sin re))) (* 0.5 (/ (sin re) (exp im))))) 1.441 * [simplify]: Simplifying (/ (sin re) (exp im)) 1.441 * * [simplify]: iters left: 3 (5 enodes) 1.443 * * [simplify]: iters left: 2 (15 enodes) 1.447 * * [simplify]: Extracting #0: cost 1 inf + 0 1.447 * * [simplify]: Extracting #1: cost 4 inf + 0 1.447 * * [simplify]: Extracting #2: cost 8 inf + 0 1.448 * * [simplify]: Extracting #3: cost 4 inf + 144 1.448 * * [simplify]: Extracting #4: cost 0 inf + 610 1.448 * [simplify]: Simplified to (/ (sin re) (exp im)) 1.448 * [simplify]: Simplified (2 2 2) to (λ (re im) (+ (* (exp im) (* 0.5 (sin re))) (* 0.5 (/ (sin re) (exp im))))) 1.448 * * * * [progress]: [ 15 / 62 ] simplifiying candidate # 1.448 * * * * [progress]: [ 16 / 62 ] simplifiying candidate # 1.448 * * * * [progress]: [ 17 / 62 ] simplifiying candidate # 1.448 * * * * [progress]: [ 18 / 62 ] simplifiying candidate # 1.449 * [simplify]: Simplifying (cbrt (exp im)) 1.449 * * [simplify]: iters left: 2 (3 enodes) 1.450 * * [simplify]: iters left: 1 (9 enodes) 1.452 * * [simplify]: Extracting #0: cost 1 inf + 0 1.452 * * [simplify]: Extracting #1: cost 3 inf + 0 1.452 * * [simplify]: Extracting #2: cost 5 inf + 0 1.452 * * [simplify]: Extracting #3: cost 4 inf + 1 1.452 * * [simplify]: Extracting #4: cost 0 inf + 445 1.452 * [simplify]: Simplified to (cbrt (exp im)) 1.452 * [simplify]: Simplified (2 2 2) to (λ (re im) (+ (* (exp im) (* 0.5 (sin re))) (/ (/ (* 0.5 (sin re)) (* (cbrt (exp im)) (cbrt (exp im)))) (cbrt (exp im))))) 1.453 * * * * [progress]: [ 19 / 62 ] simplifiying candidate # 1.453 * [simplify]: Simplifying (sqrt (exp im)) 1.453 * * [simplify]: iters left: 2 (3 enodes) 1.454 * * [simplify]: iters left: 1 (9 enodes) 1.456 * * [simplify]: Extracting #0: cost 1 inf + 0 1.456 * * [simplify]: Extracting #1: cost 3 inf + 0 1.456 * * [simplify]: Extracting #2: cost 5 inf + 0 1.456 * * [simplify]: Extracting #3: cost 4 inf + 1 1.456 * * [simplify]: Extracting #4: cost 0 inf + 365 1.457 * [simplify]: Simplified to (sqrt (exp im)) 1.457 * [simplify]: Simplified (2 2 2) to (λ (re im) (+ (* (exp im) (* 0.5 (sin re))) (/ (/ (* 0.5 (sin re)) (sqrt (exp im))) (sqrt (exp im))))) 1.457 * * * * [progress]: [ 20 / 62 ] simplifiying candidate # 1.457 * [simplify]: Simplifying (exp im) 1.457 * * [simplify]: iters left: 1 (2 enodes) 1.458 * * [simplify]: Extracting #0: cost 1 inf + 0 1.458 * * [simplify]: Extracting #1: cost 3 inf + 0 1.458 * * [simplify]: Extracting #2: cost 2 inf + 1 1.458 * * [simplify]: Extracting #3: cost 0 inf + 143 1.458 * [simplify]: Simplified to (exp im) 1.458 * [simplify]: Simplified (2 2 2) to (λ (re im) (+ (* (exp im) (* 0.5 (sin re))) (/ (/ (* 0.5 (sin re)) 1) (exp im)))) 1.458 * * * * [progress]: [ 21 / 62 ] simplifiying candidate # 1.458 * * * * [progress]: [ 22 / 62 ] simplifiying candidate #real (real->posit16 (/ (* 0.5 (sin re)) (exp im))))))> 1.458 * * * * [progress]: [ 23 / 62 ] simplifiying candidate # 1.459 * [simplify]: Simplifying (* (exp (* (exp im) (* 0.5 (sin re)))) (exp (/ (* 0.5 (sin re)) (exp im)))) 1.459 * * [simplify]: iters left: 6 (11 enodes) 1.464 * * [simplify]: iters left: 5 (44 enodes) 1.475 * * [simplify]: iters left: 4 (72 enodes) 1.488 * * [simplify]: iters left: 3 (121 enodes) 1.508 * * [simplify]: iters left: 2 (213 enodes) 1.564 * * [simplify]: iters left: 1 (489 enodes) 1.761 * * [simplify]: Extracting #0: cost 1 inf + 0 1.762 * * [simplify]: Extracting #1: cost 91 inf + 0 1.763 * * [simplify]: Extracting #2: cost 311 inf + 0 1.766 * * [simplify]: Extracting #3: cost 418 inf + 603 1.774 * * [simplify]: Extracting #4: cost 338 inf + 29536 1.806 * * [simplify]: Extracting #5: cost 100 inf + 162280 1.864 * * [simplify]: Extracting #6: cost 3 inf + 248313 1.908 * * [simplify]: Extracting #7: cost 0 inf + 250528 1.938 * [simplify]: Simplified to (exp (+ (/ (* (sin re) 0.5) (exp im)) (* (* (sin re) 0.5) (exp im)))) 1.938 * [simplify]: Simplified (2 1) to (λ (re im) (log (exp (+ (/ (* (sin re) 0.5) (exp im)) (* (* (sin re) 0.5) (exp im)))))) 1.938 * * * * [progress]: [ 24 / 62 ] simplifiying candidate # 1.938 * * * * [progress]: [ 25 / 62 ] simplifiying candidate # 1.938 * * * * [progress]: [ 26 / 62 ] simplifiying candidate # 1.938 * * * * [progress]: [ 27 / 62 ] simplifiying candidate # 1.938 * * * * [progress]: [ 28 / 62 ] simplifiying candidate # 1.938 * * * * [progress]: [ 29 / 62 ] simplifiying candidate # 1.938 * * * * [progress]: [ 30 / 62 ] simplifiying candidate # 1.938 * * * * [progress]: [ 31 / 62 ] simplifiying candidate # 1.938 * * * * [progress]: [ 32 / 62 ] simplifiying candidate # 1.938 * * * * [progress]: [ 33 / 62 ] simplifiying candidate #real (real->posit16 (+ (* (exp im) (* 0.5 (sin re))) (/ (* 0.5 (sin re)) (exp im))))))> 1.939 * * * * [progress]: [ 34 / 62 ] simplifiying candidate # 1.939 * * * * [progress]: [ 35 / 62 ] simplifiying candidate # 1.939 * [simplify]: Simplifying (* (exp im) (* 0.5 (sin re))) 1.939 * * [simplify]: iters left: 5 (7 enodes) 1.941 * * [simplify]: iters left: 4 (25 enodes) 1.948 * * [simplify]: iters left: 3 (33 enodes) 1.958 * * [simplify]: iters left: 2 (39 enodes) 1.967 * * [simplify]: Extracting #0: cost 1 inf + 0 1.968 * * [simplify]: Extracting #1: cost 8 inf + 0 1.968 * * [simplify]: Extracting #2: cost 14 inf + 1 1.968 * * [simplify]: Extracting #3: cost 12 inf + 3 1.968 * * [simplify]: Extracting #4: cost 6 inf + 481 1.968 * * [simplify]: Extracting #5: cost 2 inf + 1080 1.969 * * [simplify]: Extracting #6: cost 0 inf + 1465 1.969 * [simplify]: Simplified to (* (* 0.5 (exp im)) (sin re)) 1.969 * [simplify]: Simplified (2 1 1) to (λ (re im) (+ (pow (* (* 0.5 (exp im)) (sin re)) 1) (/ (* 0.5 (sin re)) (exp im)))) 1.969 * * * * [progress]: [ 36 / 62 ] simplifiying candidate # 1.969 * [simplify]: Simplifying (* (exp im) (* 0.5 (sin re))) 1.969 * * [simplify]: iters left: 5 (7 enodes) 1.971 * * [simplify]: iters left: 4 (25 enodes) 1.975 * * [simplify]: iters left: 3 (33 enodes) 1.979 * * [simplify]: iters left: 2 (39 enodes) 1.984 * * [simplify]: Extracting #0: cost 1 inf + 0 1.984 * * [simplify]: Extracting #1: cost 8 inf + 0 1.984 * * [simplify]: Extracting #2: cost 14 inf + 1 1.984 * * [simplify]: Extracting #3: cost 12 inf + 3 1.984 * * [simplify]: Extracting #4: cost 6 inf + 481 1.985 * * [simplify]: Extracting #5: cost 2 inf + 1080 1.985 * * [simplify]: Extracting #6: cost 0 inf + 1465 1.985 * [simplify]: Simplified to (* (* 0.5 (exp im)) (sin re)) 1.985 * [simplify]: Simplified (2 1 1) to (λ (re im) (+ (pow (* (* 0.5 (exp im)) (sin re)) 1) (/ (* 0.5 (sin re)) (exp im)))) 1.985 * * * * [progress]: [ 37 / 62 ] simplifiying candidate # 1.985 * * * * [progress]: [ 38 / 62 ] simplifiying candidate # 1.986 * [simplify]: Simplifying (+ im (+ (log 0.5) (log (sin re)))) 1.986 * * [simplify]: iters left: 6 (8 enodes) 1.988 * * [simplify]: iters left: 5 (28 enodes) 1.993 * * [simplify]: iters left: 4 (36 enodes) 1.999 * * [simplify]: iters left: 3 (42 enodes) 2.005 * * [simplify]: Extracting #0: cost 1 inf + 0 2.005 * * [simplify]: Extracting #1: cost 8 inf + 0 2.005 * * [simplify]: Extracting #2: cost 14 inf + 1 2.005 * * [simplify]: Extracting #3: cost 15 inf + 2 2.005 * * [simplify]: Extracting #4: cost 11 inf + 257 2.005 * * [simplify]: Extracting #5: cost 5 inf + 1077 2.006 * * [simplify]: Extracting #6: cost 0 inf + 2147 2.006 * [simplify]: Simplified to (+ (log (sin re)) (+ im (log 0.5))) 2.006 * [simplify]: Simplified (2 1 1) to (λ (re im) (+ (exp (+ (log (sin re)) (+ im (log 0.5)))) (/ (* 0.5 (sin re)) (exp im)))) 2.006 * * * * [progress]: [ 39 / 62 ] simplifiying candidate # 2.006 * [simplify]: Simplifying (+ im (log (* 0.5 (sin re)))) 2.006 * * [simplify]: iters left: 6 (7 enodes) 2.008 * * [simplify]: iters left: 5 (26 enodes) 2.013 * * [simplify]: iters left: 4 (35 enodes) 2.017 * * [simplify]: iters left: 3 (44 enodes) 2.023 * * [simplify]: Extracting #0: cost 1 inf + 0 2.023 * * [simplify]: Extracting #1: cost 8 inf + 0 2.023 * * [simplify]: Extracting #2: cost 15 inf + 1 2.023 * * [simplify]: Extracting #3: cost 16 inf + 73 2.023 * * [simplify]: Extracting #4: cost 11 inf + 430 2.024 * * [simplify]: Extracting #5: cost 3 inf + 1473 2.024 * * [simplify]: Extracting #6: cost 0 inf + 2071 2.024 * [simplify]: Simplified to (+ (log (* (sin re) 0.5)) im) 2.024 * [simplify]: Simplified (2 1 1) to (λ (re im) (+ (exp (+ (log (* (sin re) 0.5)) im)) (/ (* 0.5 (sin re)) (exp im)))) 2.024 * * * * [progress]: [ 40 / 62 ] simplifiying candidate # 2.024 * * * * [progress]: [ 41 / 62 ] simplifiying candidate # 2.025 * * * * [progress]: [ 42 / 62 ] simplifiying candidate # 2.025 * [simplify]: Simplifying (* (* (* (exp im) (exp im)) (exp im)) (* (* (* 0.5 0.5) 0.5) (* (* (sin re) (sin re)) (sin re)))) 2.025 * * [simplify]: iters left: 6 (13 enodes) 2.028 * * [simplify]: iters left: 5 (54 enodes) 2.044 * * [simplify]: iters left: 4 (134 enodes) 2.108 * * [simplify]: iters left: 3 (389 enodes) 2.359 * * [simplify]: Extracting #0: cost 1 inf + 0 2.360 * * [simplify]: Extracting #1: cost 79 inf + 0 2.362 * * [simplify]: Extracting #2: cost 248 inf + 123 2.368 * * [simplify]: Extracting #3: cost 180 inf + 18553 2.388 * * [simplify]: Extracting #4: cost 22 inf + 67836 2.403 * * [simplify]: Extracting #5: cost 0 inf + 72947 2.426 * * [simplify]: Extracting #6: cost 0 inf + 72787 2.440 * [simplify]: Simplified to (* (* (* (exp im) (exp im)) (exp im)) (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re)))) 2.440 * [simplify]: Simplified (2 1 1) to (λ (re im) (+ (cbrt (* (* (* (exp im) (exp im)) (exp im)) (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re))))) (/ (* 0.5 (sin re)) (exp im)))) 2.441 * * * * [progress]: [ 43 / 62 ] simplifiying candidate # 2.441 * [simplify]: Simplifying (* (* (* (exp im) (exp im)) (exp im)) (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re)))) 2.441 * * [simplify]: iters left: 6 (11 enodes) 2.444 * * [simplify]: iters left: 5 (52 enodes) 2.454 * * [simplify]: iters left: 4 (141 enodes) 2.511 * * [simplify]: iters left: 3 (450 enodes) 2.917 * * [simplify]: Extracting #0: cost 1 inf + 0 2.917 * * [simplify]: Extracting #1: cost 90 inf + 0 2.919 * * [simplify]: Extracting #2: cost 216 inf + 124 2.925 * * [simplify]: Extracting #3: cost 160 inf + 11537 2.951 * * [simplify]: Extracting #4: cost 22 inf + 53637 2.969 * * [simplify]: Extracting #5: cost 0 inf + 59847 2.991 * * [simplify]: Extracting #6: cost 0 inf + 59687 3.011 * [simplify]: Simplified to (* (* (* (exp im) (* (sin re) 0.5)) (* (exp im) (* (sin re) 0.5))) (* (exp im) (* (sin re) 0.5))) 3.011 * [simplify]: Simplified (2 1 1) to (λ (re im) (+ (cbrt (* (* (* (exp im) (* (sin re) 0.5)) (* (exp im) (* (sin re) 0.5))) (* (exp im) (* (sin re) 0.5)))) (/ (* 0.5 (sin re)) (exp im)))) 3.011 * * * * [progress]: [ 44 / 62 ] simplifiying candidate # 3.012 * * * * [progress]: [ 45 / 62 ] simplifiying candidate # 3.012 * * * * [progress]: [ 46 / 62 ] simplifiying candidate # 3.012 * * * * [progress]: [ 47 / 62 ] simplifiying candidate # 3.012 * * * * [progress]: [ 48 / 62 ] simplifiying candidate # 3.012 * [simplify]: Simplifying (sin re) 3.012 * * [simplify]: iters left: 1 (2 enodes) 3.012 * * [simplify]: Extracting #0: cost 1 inf + 0 3.012 * * [simplify]: Extracting #1: cost 3 inf + 0 3.012 * * [simplify]: Extracting #2: cost 2 inf + 1 3.012 * * [simplify]: Extracting #3: cost 0 inf + 123 3.013 * [simplify]: Simplified to (sin re) 3.013 * [simplify]: Simplified (2 1 2) to (λ (re im) (+ (* (* (exp im) 0.5) (sin re)) (/ (* 0.5 (sin re)) (exp im)))) 3.013 * * * * [progress]: [ 49 / 62 ] simplifiying candidate # 3.013 * [simplify]: Simplifying (* (cbrt (exp im)) (cbrt (exp im))) 3.013 * * [simplify]: iters left: 4 (4 enodes) 3.014 * * [simplify]: iters left: 3 (12 enodes) 3.015 * * [simplify]: Extracting #0: cost 1 inf + 0 3.015 * * [simplify]: Extracting #1: cost 3 inf + 0 3.015 * * [simplify]: Extracting #2: cost 5 inf + 0 3.015 * * [simplify]: Extracting #3: cost 7 inf + 0 3.015 * * [simplify]: Extracting #4: cost 6 inf + 1 3.015 * * [simplify]: Extracting #5: cost 0 inf + 827 3.016 * [simplify]: Simplified to (* (cbrt (exp im)) (cbrt (exp im))) 3.016 * [simplify]: Simplified (2 1 1) to (λ (re im) (+ (* (* (cbrt (exp im)) (cbrt (exp im))) (* (cbrt (exp im)) (* 0.5 (sin re)))) (/ (* 0.5 (sin re)) (exp im)))) 3.016 * * * * [progress]: [ 50 / 62 ] simplifiying candidate # 3.016 * [simplify]: Simplifying (sqrt (exp im)) 3.016 * * [simplify]: iters left: 2 (3 enodes) 3.017 * * [simplify]: iters left: 1 (9 enodes) 3.018 * * [simplify]: Extracting #0: cost 1 inf + 0 3.018 * * [simplify]: Extracting #1: cost 3 inf + 0 3.018 * * [simplify]: Extracting #2: cost 5 inf + 0 3.018 * * [simplify]: Extracting #3: cost 4 inf + 1 3.018 * * [simplify]: Extracting #4: cost 0 inf + 365 3.018 * [simplify]: Simplified to (sqrt (exp im)) 3.018 * [simplify]: Simplified (2 1 1) to (λ (re im) (+ (* (sqrt (exp im)) (* (sqrt (exp im)) (* 0.5 (sin re)))) (/ (* 0.5 (sin re)) (exp im)))) 3.018 * * * * [progress]: [ 51 / 62 ] simplifiying candidate # 3.018 * * * * [progress]: [ 52 / 62 ] simplifiying candidate #real (real->posit16 (* (exp im) (* 0.5 (sin re))))) (/ (* 0.5 (sin re)) (exp im))))> 3.018 * * * * [progress]: [ 53 / 62 ] simplifiying candidate # 3.018 * * * * [progress]: [ 54 / 62 ] simplifiying candidate # 3.018 * [simplify]: Simplifying (- (* 0.5 re) (+ (* 0.5 (* re im)) (* 0.08333333333333333 (pow re 3)))) 3.018 * * [simplify]: iters left: 6 (12 enodes) 3.022 * * [simplify]: iters left: 5 (54 enodes) 3.035 * * [simplify]: iters left: 4 (103 enodes) 3.080 * * [simplify]: iters left: 3 (246 enodes) 3.162 * * [simplify]: Extracting #0: cost 1 inf + 0 3.162 * * [simplify]: Extracting #1: cost 22 inf + 0 3.163 * * [simplify]: Extracting #2: cost 99 inf + 1 3.164 * * [simplify]: Extracting #3: cost 128 inf + 1148 3.167 * * [simplify]: Extracting #4: cost 66 inf + 8868 3.174 * * [simplify]: Extracting #5: cost 21 inf + 17689 3.181 * * [simplify]: Extracting #6: cost 3 inf + 24359 3.190 * * [simplify]: Extracting #7: cost 0 inf + 25951 3.198 * [simplify]: Simplified to (* re (- (- 0.5 (* (* re re) 0.08333333333333333)) (* im 0.5))) 3.198 * [simplify]: Simplified (2 2) to (λ (re im) (+ (* (exp im) (* 0.5 (sin re))) (* re (- (- 0.5 (* (* re re) 0.08333333333333333)) (* im 0.5))))) 3.199 * * * * [progress]: [ 55 / 62 ] simplifiying candidate # 3.199 * [simplify]: Simplifying (* 0.5 (/ (sin re) (exp im))) 3.199 * * [simplify]: iters left: 5 (7 enodes) 3.206 * * [simplify]: iters left: 4 (24 enodes) 3.213 * * [simplify]: iters left: 3 (30 enodes) 3.217 * * [simplify]: iters left: 2 (34 enodes) 3.222 * * [simplify]: iters left: 1 (38 enodes) 3.227 * * [simplify]: Extracting #0: cost 1 inf + 0 3.227 * * [simplify]: Extracting #1: cost 10 inf + 0 3.227 * * [simplify]: Extracting #2: cost 18 inf + 1 3.227 * * [simplify]: Extracting #3: cost 16 inf + 3 3.228 * * [simplify]: Extracting #4: cost 4 inf + 1364 3.228 * * [simplify]: Extracting #5: cost 0 inf + 2033 3.228 * [simplify]: Simplified to (/ (sin re) (/ (exp im) 0.5)) 3.228 * [simplify]: Simplified (2 2) to (λ (re im) (+ (* (exp im) (* 0.5 (sin re))) (/ (sin re) (/ (exp im) 0.5)))) 3.228 * * * * [progress]: [ 56 / 62 ] simplifiying candidate # 3.229 * [simplify]: Simplifying (* 0.5 (/ (sin re) (exp im))) 3.229 * * [simplify]: iters left: 5 (7 enodes) 3.231 * * [simplify]: iters left: 4 (24 enodes) 3.234 * * [simplify]: iters left: 3 (30 enodes) 3.239 * * [simplify]: iters left: 2 (34 enodes) 3.245 * * [simplify]: iters left: 1 (38 enodes) 3.256 * * [simplify]: Extracting #0: cost 1 inf + 0 3.256 * * [simplify]: Extracting #1: cost 10 inf + 0 3.256 * * [simplify]: Extracting #2: cost 18 inf + 1 3.256 * * [simplify]: Extracting #3: cost 16 inf + 3 3.257 * * [simplify]: Extracting #4: cost 4 inf + 1364 3.257 * * [simplify]: Extracting #5: cost 0 inf + 2033 3.258 * [simplify]: Simplified to (/ (sin re) (/ (exp im) 0.5)) 3.258 * [simplify]: Simplified (2 2) to (λ (re im) (+ (* (exp im) (* 0.5 (sin re))) (/ (sin re) (/ (exp im) 0.5)))) 3.258 * * * * [progress]: [ 57 / 62 ] simplifiying candidate # 3.259 * [simplify]: Simplifying (- (+ (* 1.0 re) (* 0.5 (* re (pow im 2)))) (* 0.16666666666666666 (pow re 3))) 3.259 * * [simplify]: iters left: 6 (15 enodes) 3.268 * * [simplify]: iters left: 5 (68 enodes) 3.286 * * [simplify]: iters left: 4 (130 enodes) 3.315 * * [simplify]: iters left: 3 (274 enodes) 3.379 * * [simplify]: iters left: 2 (479 enodes) 3.520 * * [simplify]: Extracting #0: cost 1 inf + 0 3.520 * * [simplify]: Extracting #1: cost 16 inf + 0 3.521 * * [simplify]: Extracting #2: cost 86 inf + 1 3.521 * * [simplify]: Extracting #3: cost 163 inf + 663 3.523 * * [simplify]: Extracting #4: cost 106 inf + 8014 3.527 * * [simplify]: Extracting #5: cost 59 inf + 22704 3.536 * * [simplify]: Extracting #6: cost 7 inf + 46754 3.552 * * [simplify]: Extracting #7: cost 0 inf + 50915 3.564 * [simplify]: Simplified to (* (+ 1.0 (- (* (* 0.5 im) im) (* (* 0.16666666666666666 re) re))) re) 3.565 * [simplify]: Simplified (2) to (λ (re im) (* (+ 1.0 (- (* (* 0.5 im) im) (* (* 0.16666666666666666 re) re))) re)) 3.565 * * * * [progress]: [ 58 / 62 ] simplifiying candidate # 3.566 * [simplify]: Simplifying (+ (* 0.5 (/ (sin re) (exp im))) (* 0.5 (* (sin re) (exp im)))) 3.566 * * [simplify]: iters left: 6 (10 enodes) 3.571 * * [simplify]: iters left: 5 (39 enodes) 3.583 * * [simplify]: iters left: 4 (55 enodes) 3.594 * * [simplify]: iters left: 3 (64 enodes) 3.602 * * [simplify]: iters left: 2 (68 enodes) 3.610 * * [simplify]: iters left: 1 (71 enodes) 3.619 * * [simplify]: Extracting #0: cost 1 inf + 0 3.619 * * [simplify]: Extracting #1: cost 6 inf + 0 3.619 * * [simplify]: Extracting #2: cost 17 inf + 1 3.619 * * [simplify]: Extracting #3: cost 28 inf + 1 3.619 * * [simplify]: Extracting #4: cost 24 inf + 145 3.619 * * [simplify]: Extracting #5: cost 10 inf + 2043 3.620 * * [simplify]: Extracting #6: cost 1 inf + 3824 3.621 * * [simplify]: Extracting #7: cost 0 inf + 4117 3.621 * [simplify]: Simplified to (* 0.5 (+ (/ (sin re) (exp im)) (* (exp im) (sin re)))) 3.621 * [simplify]: Simplified (2) to (λ (re im) (* 0.5 (+ (/ (sin re) (exp im)) (* (exp im) (sin re))))) 3.621 * * * * [progress]: [ 59 / 62 ] simplifiying candidate # 3.622 * [simplify]: Simplifying (+ (* 0.5 (/ (sin re) (exp im))) (* 0.5 (* (sin re) (exp im)))) 3.622 * * [simplify]: iters left: 6 (10 enodes) 3.624 * * [simplify]: iters left: 5 (39 enodes) 3.630 * * [simplify]: iters left: 4 (55 enodes) 3.639 * * [simplify]: iters left: 3 (64 enodes) 3.657 * * [simplify]: iters left: 2 (68 enodes) 3.673 * * [simplify]: iters left: 1 (71 enodes) 3.690 * * [simplify]: Extracting #0: cost 1 inf + 0 3.690 * * [simplify]: Extracting #1: cost 6 inf + 0 3.690 * * [simplify]: Extracting #2: cost 17 inf + 1 3.690 * * [simplify]: Extracting #3: cost 28 inf + 1 3.691 * * [simplify]: Extracting #4: cost 24 inf + 145 3.691 * * [simplify]: Extracting #5: cost 10 inf + 2043 3.692 * * [simplify]: Extracting #6: cost 1 inf + 3824 3.694 * * [simplify]: Extracting #7: cost 0 inf + 4117 3.695 * [simplify]: Simplified to (* 0.5 (+ (/ (sin re) (exp im)) (* (exp im) (sin re)))) 3.695 * [simplify]: Simplified (2) to (λ (re im) (* 0.5 (+ (/ (sin re) (exp im)) (* (exp im) (sin re))))) 3.695 * * * * [progress]: [ 60 / 62 ] simplifiying candidate # 3.696 * [simplify]: Simplifying (+ (* 0.5 (* re im)) (+ (* 0.5 re) (* 0.25 (* re (pow im 2))))) 3.696 * * [simplify]: iters left: 6 (13 enodes) 3.704 * * [simplify]: iters left: 5 (56 enodes) 3.722 * * [simplify]: iters left: 4 (88 enodes) 3.755 * * [simplify]: iters left: 3 (159 enodes) 3.808 * * [simplify]: iters left: 2 (273 enodes) 3.871 * * [simplify]: iters left: 1 (375 enodes) 4.015 * * [simplify]: Extracting #0: cost 1 inf + 0 4.015 * * [simplify]: Extracting #1: cost 14 inf + 0 4.016 * * [simplify]: Extracting #2: cost 44 inf + 1 4.016 * * [simplify]: Extracting #3: cost 54 inf + 501 4.017 * * [simplify]: Extracting #4: cost 18 inf + 4318 4.018 * * [simplify]: Extracting #5: cost 3 inf + 5723 4.020 * * [simplify]: Extracting #6: cost 0 inf + 5853 4.022 * [simplify]: Simplified to (* re (+ 0.5 (* im (+ 0.5 (* 0.25 im))))) 4.022 * [simplify]: Simplified (2 1) to (λ (re im) (+ (* re (+ 0.5 (* im (+ 0.5 (* 0.25 im))))) (/ (* 0.5 (sin re)) (exp im)))) 4.022 * * * * [progress]: [ 61 / 62 ] simplifiying candidate # 4.022 * [simplify]: Simplifying (* 0.5 (* (sin re) (exp im))) 4.022 * * [simplify]: iters left: 5 (7 enodes) 4.024 * * [simplify]: iters left: 4 (25 enodes) 4.028 * * [simplify]: iters left: 3 (33 enodes) 4.033 * * [simplify]: iters left: 2 (39 enodes) 4.038 * * [simplify]: Extracting #0: cost 1 inf + 0 4.038 * * [simplify]: Extracting #1: cost 8 inf + 0 4.038 * * [simplify]: Extracting #2: cost 14 inf + 1 4.038 * * [simplify]: Extracting #3: cost 12 inf + 3 4.038 * * [simplify]: Extracting #4: cost 5 inf + 653 4.039 * * [simplify]: Extracting #5: cost 1 inf + 1252 4.039 * * [simplify]: Extracting #6: cost 0 inf + 1465 4.039 * [simplify]: Simplified to (* (* 0.5 (sin re)) (exp im)) 4.039 * [simplify]: Simplified (2 1) to (λ (re im) (+ (* (* 0.5 (sin re)) (exp im)) (/ (* 0.5 (sin re)) (exp im)))) 4.039 * * * * [progress]: [ 62 / 62 ] simplifiying candidate # 4.039 * [simplify]: Simplifying (* 0.5 (* (sin re) (exp im))) 4.040 * * [simplify]: iters left: 5 (7 enodes) 4.041 * * [simplify]: iters left: 4 (25 enodes) 4.046 * * [simplify]: iters left: 3 (33 enodes) 4.055 * * [simplify]: iters left: 2 (39 enodes) 4.065 * * [simplify]: Extracting #0: cost 1 inf + 0 4.065 * * [simplify]: Extracting #1: cost 8 inf + 0 4.065 * * [simplify]: Extracting #2: cost 14 inf + 1 4.065 * * [simplify]: Extracting #3: cost 12 inf + 3 4.065 * * [simplify]: Extracting #4: cost 5 inf + 653 4.066 * * [simplify]: Extracting #5: cost 1 inf + 1252 4.066 * * [simplify]: Extracting #6: cost 0 inf + 1465 4.067 * [simplify]: Simplified to (* (* 0.5 (sin re)) (exp im)) 4.067 * [simplify]: Simplified (2 1) to (λ (re im) (+ (* (* 0.5 (sin re)) (exp im)) (/ (* 0.5 (sin re)) (exp im)))) 4.067 * * * [progress]: adding candidates to table 4.597 * * [progress]: iteration 2 / 4 4.597 * * * [progress]: picking best candidate 4.603 * * * * [pick]: Picked # 4.603 * * * [progress]: localizing error 4.627 * * * [progress]: generating rewritten candidates 4.627 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 4.725 * * * [progress]: generating series expansions 4.725 * * * * [progress]: [ 1 / 1 ] generating series at (2) 4.726 * [backup-simplify]: Simplify (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im))) into (* 0.5 (* (sin re) (+ (exp (- im)) (exp im)))) 4.726 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin re) (+ (exp (- im)) (exp im)))) in (re im) around 0 4.726 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin re) (+ (exp (- im)) (exp im)))) in im 4.726 * [taylor]: Taking taylor expansion of 0.5 in im 4.726 * [backup-simplify]: Simplify 0.5 into 0.5 4.726 * [taylor]: Taking taylor expansion of (* (sin re) (+ (exp (- im)) (exp im))) in im 4.726 * [taylor]: Taking taylor expansion of (sin re) in im 4.726 * [taylor]: Taking taylor expansion of re in im 4.726 * [backup-simplify]: Simplify re into re 4.726 * [backup-simplify]: Simplify (sin re) into (sin re) 4.726 * [backup-simplify]: Simplify (cos re) into (cos re) 4.726 * [taylor]: Taking taylor expansion of (+ (exp (- im)) (exp im)) in im 4.726 * [taylor]: Taking taylor expansion of (exp (- im)) in im 4.726 * [taylor]: Taking taylor expansion of (- im) in im 4.726 * [taylor]: Taking taylor expansion of im in im 4.726 * [backup-simplify]: Simplify 0 into 0 4.726 * [backup-simplify]: Simplify 1 into 1 4.727 * [backup-simplify]: Simplify (- 0) into 0 4.727 * [backup-simplify]: Simplify (- 1) into -1 4.727 * [backup-simplify]: Simplify (exp 0) into 1 4.727 * [taylor]: Taking taylor expansion of (exp im) in im 4.727 * [taylor]: Taking taylor expansion of im in im 4.727 * [backup-simplify]: Simplify 0 into 0 4.727 * [backup-simplify]: Simplify 1 into 1 4.727 * [backup-simplify]: Simplify (exp 0) into 1 4.727 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin re) (+ (exp (- im)) (exp im)))) in re 4.727 * [taylor]: Taking taylor expansion of 0.5 in re 4.727 * [backup-simplify]: Simplify 0.5 into 0.5 4.727 * [taylor]: Taking taylor expansion of (* (sin re) (+ (exp (- im)) (exp im))) in re 4.728 * [taylor]: Taking taylor expansion of (sin re) in re 4.728 * [taylor]: Taking taylor expansion of re in re 4.728 * [backup-simplify]: Simplify 0 into 0 4.728 * [backup-simplify]: Simplify 1 into 1 4.728 * [taylor]: Taking taylor expansion of (+ (exp (- im)) (exp im)) in re 4.728 * [taylor]: Taking taylor expansion of (exp (- im)) in re 4.728 * [taylor]: Taking taylor expansion of (- im) in re 4.728 * [taylor]: Taking taylor expansion of im in re 4.728 * [backup-simplify]: Simplify im into im 4.728 * [backup-simplify]: Simplify (- im) into (- im) 4.728 * [backup-simplify]: Simplify (- im) into (- im) 4.728 * [backup-simplify]: Simplify (exp (- im)) into (exp (- im)) 4.728 * [taylor]: Taking taylor expansion of (exp im) in re 4.728 * [taylor]: Taking taylor expansion of im in re 4.728 * [backup-simplify]: Simplify im into im 4.728 * [backup-simplify]: Simplify (exp im) into (exp im) 4.728 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin re) (+ (exp (- im)) (exp im)))) in re 4.728 * [taylor]: Taking taylor expansion of 0.5 in re 4.728 * [backup-simplify]: Simplify 0.5 into 0.5 4.728 * [taylor]: Taking taylor expansion of (* (sin re) (+ (exp (- im)) (exp im))) in re 4.728 * [taylor]: Taking taylor expansion of (sin re) in re 4.728 * [taylor]: Taking taylor expansion of re in re 4.728 * [backup-simplify]: Simplify 0 into 0 4.728 * [backup-simplify]: Simplify 1 into 1 4.728 * [taylor]: Taking taylor expansion of (+ (exp (- im)) (exp im)) in re 4.728 * [taylor]: Taking taylor expansion of (exp (- im)) in re 4.728 * [taylor]: Taking taylor expansion of (- im) in re 4.728 * [taylor]: Taking taylor expansion of im in re 4.728 * [backup-simplify]: Simplify im into im 4.728 * [backup-simplify]: Simplify (- im) into (- im) 4.728 * [backup-simplify]: Simplify (- im) into (- im) 4.728 * [backup-simplify]: Simplify (exp (- im)) into (exp (- im)) 4.729 * [taylor]: Taking taylor expansion of (exp im) in re 4.729 * [taylor]: Taking taylor expansion of im in re 4.729 * [backup-simplify]: Simplify im into im 4.729 * [backup-simplify]: Simplify (exp im) into (exp im) 4.729 * [backup-simplify]: Simplify (+ (exp (- im)) (exp im)) into (+ (exp (- im)) (exp im)) 4.729 * [backup-simplify]: Simplify (* 0 (+ (exp (- im)) (exp im))) into 0 4.729 * [backup-simplify]: Simplify (* 0.5 0) into 0 4.730 * [taylor]: Taking taylor expansion of 0 in im 4.730 * [backup-simplify]: Simplify 0 into 0 4.730 * [backup-simplify]: Simplify 0 into 0 4.730 * [backup-simplify]: Simplify (- im) into (- im) 4.732 * [backup-simplify]: Simplify (- 0) into 0 4.733 * [backup-simplify]: Simplify (* (exp (- im)) (+ (* (/ (pow 0 1) 1)))) into 0 4.734 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 1) 1)))) into 0 4.734 * [backup-simplify]: Simplify (+ 0 0) into 0 4.735 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1 4.736 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (+ (exp (- im)) (exp im)))) into (+ (exp (- im)) (exp im)) 4.736 * [backup-simplify]: Simplify (+ (* 0.5 (+ (exp (- im)) (exp im))) (* 0 0)) into (+ (* 0.5 (exp (- im))) (* 0.5 (exp im))) 4.736 * [taylor]: Taking taylor expansion of (+ (* 0.5 (exp (- im))) (* 0.5 (exp im))) in im 4.736 * [taylor]: Taking taylor expansion of (* 0.5 (exp (- im))) in im 4.736 * [taylor]: Taking taylor expansion of 0.5 in im 4.736 * [backup-simplify]: Simplify 0.5 into 0.5 4.736 * [taylor]: Taking taylor expansion of (exp (- im)) in im 4.736 * [taylor]: Taking taylor expansion of (- im) in im 4.736 * [taylor]: Taking taylor expansion of im in im 4.736 * [backup-simplify]: Simplify 0 into 0 4.737 * [backup-simplify]: Simplify 1 into 1 4.737 * [backup-simplify]: Simplify (- 0) into 0 4.737 * [backup-simplify]: Simplify (- 1) into -1 4.737 * [backup-simplify]: Simplify (exp 0) into 1 4.737 * [taylor]: Taking taylor expansion of (* 0.5 (exp im)) in im 4.737 * [taylor]: Taking taylor expansion of 0.5 in im 4.737 * [backup-simplify]: Simplify 0.5 into 0.5 4.737 * [taylor]: Taking taylor expansion of (exp im) in im 4.737 * [taylor]: Taking taylor expansion of im in im 4.737 * [backup-simplify]: Simplify 0 into 0 4.737 * [backup-simplify]: Simplify 1 into 1 4.738 * [backup-simplify]: Simplify (exp 0) into 1 4.738 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 4.739 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 4.739 * [backup-simplify]: Simplify (+ 0.5 0.5) into 1.0 4.739 * [backup-simplify]: Simplify 1.0 into 1.0 4.739 * [backup-simplify]: Simplify 0 into 0 4.739 * [backup-simplify]: Simplify (- im) into (- im) 4.740 * [backup-simplify]: Simplify (- 0) into 0 4.740 * [backup-simplify]: Simplify (- 0) into 0 4.741 * [backup-simplify]: Simplify (* (exp (- im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.743 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.743 * [backup-simplify]: Simplify (+ 0 0) into 0 4.744 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 4.745 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (+ (exp (- im)) (exp im))))) into 0 4.746 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 (+ (exp (- im)) (exp im))) (* 0 0))) into 0 4.746 * [taylor]: Taking taylor expansion of 0 in im 4.746 * [backup-simplify]: Simplify 0 into 0 4.746 * [backup-simplify]: Simplify 0 into 0 4.746 * [backup-simplify]: Simplify (- 1) into -1 4.747 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1 4.749 * [backup-simplify]: Simplify (+ (* 0.5 -1) (* 0 1)) into (- 0.5) 4.750 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 4.752 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 1)) into 0.5 4.752 * [backup-simplify]: Simplify (+ (- 0.5) 0.5) into 0 4.752 * [backup-simplify]: Simplify 0 into 0 4.752 * [backup-simplify]: Simplify 0 into 0 4.752 * [backup-simplify]: Simplify (- im) into (- im) 4.753 * [backup-simplify]: Simplify (- 0) into 0 4.753 * [backup-simplify]: Simplify (- 0) into 0 4.754 * [backup-simplify]: Simplify (- 0) into 0 4.754 * [backup-simplify]: Simplify (- 0) into 0 4.756 * [backup-simplify]: Simplify (* (exp (- im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 4.757 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 4.758 * [backup-simplify]: Simplify (+ 0 0) into 0 4.759 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into -1/6 4.760 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* -1/6 (+ (exp (- im)) (exp im)))))) into (- (+ (* 1/6 (exp (- im))) (* 1/6 (exp im)))) 4.761 * [backup-simplify]: Simplify (+ (* 0.5 (- (+ (* 1/6 (exp (- im))) (* 1/6 (exp im))))) (+ (* 0 0) (+ (* 0 (+ (exp (- im)) (exp im))) (* 0 0)))) into (- (+ (* 0.08333333333333333 (exp (- im))) (* 0.08333333333333333 (exp im)))) 4.761 * [taylor]: Taking taylor expansion of (- (+ (* 0.08333333333333333 (exp (- im))) (* 0.08333333333333333 (exp im)))) in im 4.761 * [taylor]: Taking taylor expansion of (+ (* 0.08333333333333333 (exp (- im))) (* 0.08333333333333333 (exp im))) in im 4.761 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (exp (- im))) in im 4.762 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im 4.762 * [backup-simplify]: Simplify 0.08333333333333333 into 0.08333333333333333 4.762 * [taylor]: Taking taylor expansion of (exp (- im)) in im 4.762 * [taylor]: Taking taylor expansion of (- im) in im 4.762 * [taylor]: Taking taylor expansion of im in im 4.762 * [backup-simplify]: Simplify 0 into 0 4.762 * [backup-simplify]: Simplify 1 into 1 4.762 * [backup-simplify]: Simplify (- 0) into 0 4.762 * [backup-simplify]: Simplify (- 1) into -1 4.762 * [backup-simplify]: Simplify (exp 0) into 1 4.762 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (exp im)) in im 4.762 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im 4.763 * [backup-simplify]: Simplify 0.08333333333333333 into 0.08333333333333333 4.763 * [taylor]: Taking taylor expansion of (exp im) in im 4.763 * [taylor]: Taking taylor expansion of im in im 4.763 * [backup-simplify]: Simplify 0 into 0 4.763 * [backup-simplify]: Simplify 1 into 1 4.763 * [backup-simplify]: Simplify (exp 0) into 1 4.763 * [backup-simplify]: Simplify (* 0.08333333333333333 1) into 0.08333333333333333 4.764 * [backup-simplify]: Simplify (* 0.08333333333333333 1) into 0.08333333333333333 4.764 * [backup-simplify]: Simplify (+ 0.08333333333333333 0.08333333333333333) into 0.16666666666666666 4.764 * [backup-simplify]: Simplify (- 0.16666666666666666) into (- 0.16666666666666666) 4.765 * [backup-simplify]: Simplify (- 0.16666666666666666) into (- 0.16666666666666666) 4.765 * [backup-simplify]: Simplify 0 into 0 4.765 * [backup-simplify]: Simplify (- 1) into -1 4.766 * [backup-simplify]: Simplify (- 0) into 0 4.767 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 4.769 * [backup-simplify]: Simplify (+ (* 0.5 1/2) (+ (* 0 -1) (* 0 1))) into 0.25 4.771 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 4.773 * [backup-simplify]: Simplify (+ (* 0.5 1/2) (+ (* 0 1) (* 0 1))) into 0.25 4.773 * [backup-simplify]: Simplify (+ 0.25 0.25) into 0.5 4.773 * [backup-simplify]: Simplify 0.5 into 0.5 4.774 * [backup-simplify]: Simplify (+ (* 0.5 (* (pow im 2) re)) (+ (* (- 0.16666666666666666) (pow (* 1 re) 3)) (* 1.0 (* 1 re)))) into (- (+ (* 1.0 re) (* 0.5 (* re (pow im 2)))) (* 0.16666666666666666 (pow re 3))) 4.775 * [backup-simplify]: Simplify (* (* 0.5 (sin (/ 1 re))) (+ (exp (- 0 (/ 1 im))) (exp (/ 1 im)))) into (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))) 4.775 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))) in (re im) around 0 4.775 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))) in im 4.775 * [taylor]: Taking taylor expansion of 0.5 in im 4.775 * [backup-simplify]: Simplify 0.5 into 0.5 4.775 * [taylor]: Taking taylor expansion of (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))) in im 4.775 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im 4.775 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 4.775 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 4.775 * [taylor]: Taking taylor expansion of (/ 1 im) in im 4.775 * [taylor]: Taking taylor expansion of im in im 4.775 * [backup-simplify]: Simplify 0 into 0 4.775 * [backup-simplify]: Simplify 1 into 1 4.775 * [backup-simplify]: Simplify (/ 1 1) into 1 4.776 * [backup-simplify]: Simplify (- 1) into -1 4.776 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im))) 4.776 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 4.776 * [taylor]: Taking taylor expansion of (/ 1 im) in im 4.776 * [taylor]: Taking taylor expansion of im in im 4.776 * [backup-simplify]: Simplify 0 into 0 4.776 * [backup-simplify]: Simplify 1 into 1 4.776 * [backup-simplify]: Simplify (/ 1 1) into 1 4.777 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 4.777 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 4.777 * [taylor]: Taking taylor expansion of (/ 1 re) in im 4.777 * [taylor]: Taking taylor expansion of re in im 4.777 * [backup-simplify]: Simplify re into re 4.777 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 4.777 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 4.777 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 4.777 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))) in re 4.777 * [taylor]: Taking taylor expansion of 0.5 in re 4.777 * [backup-simplify]: Simplify 0.5 into 0.5 4.777 * [taylor]: Taking taylor expansion of (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))) in re 4.777 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in re 4.777 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 4.777 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 4.777 * [taylor]: Taking taylor expansion of (/ 1 im) in re 4.777 * [taylor]: Taking taylor expansion of im in re 4.777 * [backup-simplify]: Simplify im into im 4.777 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 4.777 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im)) 4.778 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im)) 4.778 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im))) 4.778 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 4.778 * [taylor]: Taking taylor expansion of (/ 1 im) in re 4.778 * [taylor]: Taking taylor expansion of im in re 4.778 * [backup-simplify]: Simplify im into im 4.778 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 4.778 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 4.778 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 4.778 * [taylor]: Taking taylor expansion of (/ 1 re) in re 4.778 * [taylor]: Taking taylor expansion of re in re 4.778 * [backup-simplify]: Simplify 0 into 0 4.778 * [backup-simplify]: Simplify 1 into 1 4.779 * [backup-simplify]: Simplify (/ 1 1) into 1 4.779 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 4.779 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))) in re 4.779 * [taylor]: Taking taylor expansion of 0.5 in re 4.779 * [backup-simplify]: Simplify 0.5 into 0.5 4.779 * [taylor]: Taking taylor expansion of (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))) in re 4.779 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in re 4.779 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re 4.779 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re 4.779 * [taylor]: Taking taylor expansion of (/ 1 im) in re 4.779 * [taylor]: Taking taylor expansion of im in re 4.779 * [backup-simplify]: Simplify im into im 4.779 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 4.779 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im)) 4.779 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im)) 4.779 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im))) 4.779 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 4.779 * [taylor]: Taking taylor expansion of (/ 1 im) in re 4.779 * [taylor]: Taking taylor expansion of im in re 4.779 * [backup-simplify]: Simplify im into im 4.779 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 4.779 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 4.780 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re 4.780 * [taylor]: Taking taylor expansion of (/ 1 re) in re 4.780 * [taylor]: Taking taylor expansion of re in re 4.780 * [backup-simplify]: Simplify 0 into 0 4.780 * [backup-simplify]: Simplify 1 into 1 4.780 * [backup-simplify]: Simplify (/ 1 1) into 1 4.780 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 4.780 * [backup-simplify]: Simplify (+ (exp (- (/ 1 im))) (exp (/ 1 im))) into (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 4.780 * [backup-simplify]: Simplify (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))) into (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))) 4.781 * [backup-simplify]: Simplify (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))) into (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))) 4.781 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))) in im 4.781 * [taylor]: Taking taylor expansion of 0.5 in im 4.781 * [backup-simplify]: Simplify 0.5 into 0.5 4.781 * [taylor]: Taking taylor expansion of (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))) in im 4.781 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im 4.781 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im 4.781 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im 4.781 * [taylor]: Taking taylor expansion of (/ 1 im) in im 4.781 * [taylor]: Taking taylor expansion of im in im 4.781 * [backup-simplify]: Simplify 0 into 0 4.781 * [backup-simplify]: Simplify 1 into 1 4.781 * [backup-simplify]: Simplify (/ 1 1) into 1 4.782 * [backup-simplify]: Simplify (- 1) into -1 4.782 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im))) 4.782 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 4.782 * [taylor]: Taking taylor expansion of (/ 1 im) in im 4.782 * [taylor]: Taking taylor expansion of im in im 4.782 * [backup-simplify]: Simplify 0 into 0 4.782 * [backup-simplify]: Simplify 1 into 1 4.782 * [backup-simplify]: Simplify (/ 1 1) into 1 4.782 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 4.782 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im 4.782 * [taylor]: Taking taylor expansion of (/ 1 re) in im 4.783 * [taylor]: Taking taylor expansion of re in im 4.783 * [backup-simplify]: Simplify re into re 4.783 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re) 4.783 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 4.783 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 4.783 * [backup-simplify]: Simplify (+ (exp (- (/ 1 im))) (exp (/ 1 im))) into (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 4.783 * [backup-simplify]: Simplify (* (sin (/ 1 re)) 1) into (sin (/ 1 re)) 4.783 * [backup-simplify]: Simplify (* (cos (/ 1 re)) 0) into 0 4.783 * [backup-simplify]: Simplify (+ (sin (/ 1 re)) 0) into (sin (/ 1 re)) 4.783 * [backup-simplify]: Simplify (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))) into (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))) 4.784 * [backup-simplify]: Simplify (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))) into (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))) 4.784 * [backup-simplify]: Simplify (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))) into (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))) 4.784 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im)) 4.784 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 4.784 * [backup-simplify]: Simplify (- 0) into 0 4.785 * [backup-simplify]: Simplify (* (exp (- (/ 1 im))) (+ (* (/ (pow 0 1) 1)))) into 0 4.785 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 4.786 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 4.787 * [backup-simplify]: Simplify (+ 0 0) into 0 4.787 * [backup-simplify]: Simplify (+ (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 0) (* 0 (sin (/ 1 re)))) into 0 4.787 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))))) into 0 4.787 * [taylor]: Taking taylor expansion of 0 in im 4.787 * [backup-simplify]: Simplify 0 into 0 4.788 * [backup-simplify]: Simplify 0 into 0 4.788 * [backup-simplify]: Simplify (+ 0) into 0 4.788 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 1)) into 0 4.789 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 4.789 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 4.789 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 0)) into 0 4.790 * [backup-simplify]: Simplify (+ 0 0) into 0 4.790 * [backup-simplify]: Simplify (+ 0 0) into 0 4.790 * [backup-simplify]: Simplify (+ (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 0) (* 0 (sin (/ 1 re)))) into 0 4.790 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))))) into 0 4.790 * [backup-simplify]: Simplify 0 into 0 4.791 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im)) 4.791 * [backup-simplify]: Simplify (- 0) into 0 4.791 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 4.791 * [backup-simplify]: Simplify (- 0) into 0 4.792 * [backup-simplify]: Simplify (* (exp (- (/ 1 im))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.792 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 4.793 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.793 * [backup-simplify]: Simplify (+ 0 0) into 0 4.793 * [backup-simplify]: Simplify (+ (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 0) (+ (* 0 0) (* 0 (sin (/ 1 re))))) into 0 4.794 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))))) into 0 4.794 * [taylor]: Taking taylor expansion of 0 in im 4.794 * [backup-simplify]: Simplify 0 into 0 4.794 * [backup-simplify]: Simplify 0 into 0 4.794 * [backup-simplify]: Simplify 0 into 0 4.795 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 4.795 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 4.795 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 4.795 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 4.796 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 4.796 * [backup-simplify]: Simplify (+ 0 0) into 0 4.796 * [backup-simplify]: Simplify (+ 0 0) into 0 4.797 * [backup-simplify]: Simplify (+ (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 0) (+ (* 0 0) (* 0 (sin (/ 1 re))))) into 0 4.797 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))))) into 0 4.797 * [backup-simplify]: Simplify 0 into 0 4.797 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im)) 4.798 * [backup-simplify]: Simplify (- 0) into 0 4.798 * [backup-simplify]: Simplify (- 0) into 0 4.798 * [backup-simplify]: Simplify (- 0) into 0 4.798 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 4.798 * [backup-simplify]: Simplify (- 0) into 0 4.799 * [backup-simplify]: Simplify (* (exp (- (/ 1 im))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 4.799 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 4.800 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 4.801 * [backup-simplify]: Simplify (+ 0 0) into 0 4.801 * [backup-simplify]: Simplify (+ (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ 1 re)))))) into 0 4.802 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))))))) into 0 4.802 * [taylor]: Taking taylor expansion of 0 in im 4.802 * [backup-simplify]: Simplify 0 into 0 4.802 * [backup-simplify]: Simplify 0 into 0 4.802 * [backup-simplify]: Simplify (* 0.5 (* (+ (exp (- (/ 1 (/ 1 im)))) (exp (/ 1 (/ 1 im)))) (sin (/ 1 (/ 1 re))))) into (* 0.5 (* (sin re) (+ (exp (- im)) (exp im)))) 4.802 * [backup-simplify]: Simplify (* (* 0.5 (sin (/ 1 (- re)))) (+ (exp (- 0 (/ 1 (- im)))) (exp (/ 1 (- im))))) into (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) 4.802 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in (re im) around 0 4.802 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in im 4.802 * [taylor]: Taking taylor expansion of 0.5 in im 4.802 * [backup-simplify]: Simplify 0.5 into 0.5 4.802 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in im 4.802 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im 4.802 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 4.802 * [taylor]: Taking taylor expansion of (/ -1 im) in im 4.803 * [taylor]: Taking taylor expansion of -1 in im 4.803 * [backup-simplify]: Simplify -1 into -1 4.803 * [taylor]: Taking taylor expansion of im in im 4.803 * [backup-simplify]: Simplify 0 into 0 4.803 * [backup-simplify]: Simplify 1 into 1 4.803 * [backup-simplify]: Simplify (/ -1 1) into -1 4.803 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 4.803 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 4.803 * [taylor]: Taking taylor expansion of (/ 1 im) in im 4.803 * [taylor]: Taking taylor expansion of im in im 4.803 * [backup-simplify]: Simplify 0 into 0 4.803 * [backup-simplify]: Simplify 1 into 1 4.803 * [backup-simplify]: Simplify (/ 1 1) into 1 4.803 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 4.803 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 4.803 * [taylor]: Taking taylor expansion of (/ -1 re) in im 4.803 * [taylor]: Taking taylor expansion of -1 in im 4.803 * [backup-simplify]: Simplify -1 into -1 4.803 * [taylor]: Taking taylor expansion of re in im 4.803 * [backup-simplify]: Simplify re into re 4.803 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 4.803 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 4.803 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 4.803 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in re 4.803 * [taylor]: Taking taylor expansion of 0.5 in re 4.804 * [backup-simplify]: Simplify 0.5 into 0.5 4.804 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in re 4.804 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re 4.804 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 4.804 * [taylor]: Taking taylor expansion of (/ -1 im) in re 4.804 * [taylor]: Taking taylor expansion of -1 in re 4.804 * [backup-simplify]: Simplify -1 into -1 4.804 * [taylor]: Taking taylor expansion of im in re 4.804 * [backup-simplify]: Simplify im into im 4.804 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 4.804 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 4.804 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 4.804 * [taylor]: Taking taylor expansion of (/ 1 im) in re 4.804 * [taylor]: Taking taylor expansion of im in re 4.804 * [backup-simplify]: Simplify im into im 4.804 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 4.804 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 4.804 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 4.804 * [taylor]: Taking taylor expansion of (/ -1 re) in re 4.804 * [taylor]: Taking taylor expansion of -1 in re 4.804 * [backup-simplify]: Simplify -1 into -1 4.804 * [taylor]: Taking taylor expansion of re in re 4.804 * [backup-simplify]: Simplify 0 into 0 4.804 * [backup-simplify]: Simplify 1 into 1 4.804 * [backup-simplify]: Simplify (/ -1 1) into -1 4.804 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 4.804 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in re 4.804 * [taylor]: Taking taylor expansion of 0.5 in re 4.804 * [backup-simplify]: Simplify 0.5 into 0.5 4.804 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in re 4.804 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re 4.804 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re 4.804 * [taylor]: Taking taylor expansion of (/ -1 im) in re 4.804 * [taylor]: Taking taylor expansion of -1 in re 4.804 * [backup-simplify]: Simplify -1 into -1 4.804 * [taylor]: Taking taylor expansion of im in re 4.804 * [backup-simplify]: Simplify im into im 4.804 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im) 4.805 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 4.805 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re 4.805 * [taylor]: Taking taylor expansion of (/ 1 im) in re 4.805 * [taylor]: Taking taylor expansion of im in re 4.805 * [backup-simplify]: Simplify im into im 4.805 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im) 4.805 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 4.805 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re 4.805 * [taylor]: Taking taylor expansion of (/ -1 re) in re 4.805 * [taylor]: Taking taylor expansion of -1 in re 4.805 * [backup-simplify]: Simplify -1 into -1 4.805 * [taylor]: Taking taylor expansion of re in re 4.805 * [backup-simplify]: Simplify 0 into 0 4.805 * [backup-simplify]: Simplify 1 into 1 4.805 * [backup-simplify]: Simplify (/ -1 1) into -1 4.805 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 4.805 * [backup-simplify]: Simplify (+ (exp (/ -1 im)) (exp (/ 1 im))) into (+ (exp (/ 1 im)) (exp (/ -1 im))) 4.805 * [backup-simplify]: Simplify (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re))) into (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) 4.805 * [backup-simplify]: Simplify (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) into (* 0.5 (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re)))) 4.805 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re)))) in im 4.805 * [taylor]: Taking taylor expansion of 0.5 in im 4.805 * [backup-simplify]: Simplify 0.5 into 0.5 4.806 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re))) in im 4.806 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 im)) (exp (/ -1 im))) in im 4.806 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im 4.806 * [taylor]: Taking taylor expansion of (/ 1 im) in im 4.806 * [taylor]: Taking taylor expansion of im in im 4.806 * [backup-simplify]: Simplify 0 into 0 4.806 * [backup-simplify]: Simplify 1 into 1 4.806 * [backup-simplify]: Simplify (/ 1 1) into 1 4.806 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 4.806 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im 4.806 * [taylor]: Taking taylor expansion of (/ -1 im) in im 4.806 * [taylor]: Taking taylor expansion of -1 in im 4.806 * [backup-simplify]: Simplify -1 into -1 4.806 * [taylor]: Taking taylor expansion of im in im 4.806 * [backup-simplify]: Simplify 0 into 0 4.806 * [backup-simplify]: Simplify 1 into 1 4.806 * [backup-simplify]: Simplify (/ -1 1) into -1 4.806 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 4.806 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im 4.806 * [taylor]: Taking taylor expansion of (/ -1 re) in im 4.806 * [taylor]: Taking taylor expansion of -1 in im 4.806 * [backup-simplify]: Simplify -1 into -1 4.806 * [taylor]: Taking taylor expansion of re in im 4.806 * [backup-simplify]: Simplify re into re 4.806 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re) 4.806 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 4.807 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 4.807 * [backup-simplify]: Simplify (+ (exp (/ 1 im)) (exp (/ -1 im))) into (+ (exp (/ -1 im)) (exp (/ 1 im))) 4.807 * [backup-simplify]: Simplify (* (sin (/ -1 re)) 1) into (sin (/ -1 re)) 4.807 * [backup-simplify]: Simplify (* (cos (/ -1 re)) 0) into 0 4.807 * [backup-simplify]: Simplify (+ (sin (/ -1 re)) 0) into (sin (/ -1 re)) 4.807 * [backup-simplify]: Simplify (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) into (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re))) 4.807 * [backup-simplify]: Simplify (* 0.5 (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re)))) into (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) 4.807 * [backup-simplify]: Simplify (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) into (* 0.5 (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re)))) 4.807 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0 4.808 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 4.808 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 4.808 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 4.808 * [backup-simplify]: Simplify (+ 0 0) into 0 4.809 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 im)) (exp (/ -1 im))) 0) (* 0 (sin (/ -1 re)))) into 0 4.809 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))))) into 0 4.809 * [taylor]: Taking taylor expansion of 0 in im 4.809 * [backup-simplify]: Simplify 0 into 0 4.809 * [backup-simplify]: Simplify 0 into 0 4.809 * [backup-simplify]: Simplify (+ 0) into 0 4.810 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 1)) into 0 4.810 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0 4.810 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 4.810 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 0)) into 0 4.811 * [backup-simplify]: Simplify (+ 0 0) into 0 4.811 * [backup-simplify]: Simplify (+ 0 0) into 0 4.811 * [backup-simplify]: Simplify (+ (* (+ (exp (/ -1 im)) (exp (/ 1 im))) 0) (* 0 (sin (/ -1 re)))) into 0 4.811 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re))))) into 0 4.811 * [backup-simplify]: Simplify 0 into 0 4.812 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 4.812 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.812 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 4.813 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.813 * [backup-simplify]: Simplify (+ 0 0) into 0 4.814 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 im)) (exp (/ -1 im))) 0) (+ (* 0 0) (* 0 (sin (/ -1 re))))) into 0 4.814 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))))) into 0 4.814 * [taylor]: Taking taylor expansion of 0 in im 4.814 * [backup-simplify]: Simplify 0 into 0 4.814 * [backup-simplify]: Simplify 0 into 0 4.814 * [backup-simplify]: Simplify 0 into 0 4.815 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 4.815 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 4.815 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 4.816 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 4.816 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 4.816 * [backup-simplify]: Simplify (+ 0 0) into 0 4.817 * [backup-simplify]: Simplify (+ 0 0) into 0 4.817 * [backup-simplify]: Simplify (+ (* (+ (exp (/ -1 im)) (exp (/ 1 im))) 0) (+ (* 0 0) (* 0 (sin (/ -1 re))))) into 0 4.818 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re)))))) into 0 4.818 * [backup-simplify]: Simplify 0 into 0 4.818 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 4.819 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 4.819 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 4.820 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 4.820 * [backup-simplify]: Simplify (+ 0 0) into 0 4.821 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 im)) (exp (/ -1 im))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 re)))))) into 0 4.821 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))))))) into 0 4.821 * [taylor]: Taking taylor expansion of 0 in im 4.822 * [backup-simplify]: Simplify 0 into 0 4.822 * [backup-simplify]: Simplify 0 into 0 4.822 * [backup-simplify]: Simplify (* 0.5 (* (+ (exp (/ 1 (/ 1 (- im)))) (exp (/ -1 (/ 1 (- im))))) (sin (/ -1 (/ 1 (- re)))))) into (* 0.5 (* (sin re) (+ (exp im) (exp (* -1 im))))) 4.822 * * * [progress]: simplifying candidates 4.822 * * * * [progress]: [ 1 / 27 ] simplifiying candidate # 4.822 * [simplify]: Simplifying (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im))) 4.822 * * [simplify]: iters left: 6 (11 enodes) 4.826 * * [simplify]: iters left: 5 (49 enodes) 4.843 * * [simplify]: iters left: 4 (94 enodes) 4.880 * * [simplify]: iters left: 3 (152 enodes) 4.923 * * [simplify]: iters left: 2 (176 enodes) 4.948 * * [simplify]: iters left: 1 (200 enodes) 4.985 * * [simplify]: Extracting #0: cost 1 inf + 0 4.985 * * [simplify]: Extracting #1: cost 10 inf + 0 4.985 * * [simplify]: Extracting #2: cost 27 inf + 1 4.985 * * [simplify]: Extracting #3: cost 38 inf + 3 4.985 * * [simplify]: Extracting #4: cost 37 inf + 228 4.985 * * [simplify]: Extracting #5: cost 26 inf + 1182 4.986 * * [simplify]: Extracting #6: cost 3 inf + 5294 4.988 * * [simplify]: Extracting #7: cost 0 inf + 5910 4.989 * [simplify]: Simplified to (+ (* (exp im) (* 0.5 (sin re))) (/ (* 0.5 (sin re)) (exp im))) 4.989 * [simplify]: Simplified (2 1) to (λ (re im) (pow (+ (* (exp im) (* 0.5 (sin re))) (/ (* 0.5 (sin re)) (exp im))) 1)) 4.989 * * * * [progress]: [ 2 / 27 ] simplifiying candidate # 4.989 * [simplify]: Simplifying (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im))) 4.989 * * [simplify]: iters left: 6 (11 enodes) 4.993 * * [simplify]: iters left: 5 (49 enodes) 5.003 * * [simplify]: iters left: 4 (94 enodes) 5.026 * * [simplify]: iters left: 3 (152 enodes) 5.061 * * [simplify]: iters left: 2 (176 enodes) 5.092 * * [simplify]: iters left: 1 (200 enodes) 5.138 * * [simplify]: Extracting #0: cost 1 inf + 0 5.138 * * [simplify]: Extracting #1: cost 10 inf + 0 5.138 * * [simplify]: Extracting #2: cost 27 inf + 1 5.138 * * [simplify]: Extracting #3: cost 38 inf + 3 5.139 * * [simplify]: Extracting #4: cost 37 inf + 228 5.139 * * [simplify]: Extracting #5: cost 26 inf + 1182 5.141 * * [simplify]: Extracting #6: cost 3 inf + 5294 5.144 * * [simplify]: Extracting #7: cost 0 inf + 5910 5.147 * [simplify]: Simplified to (+ (* (exp im) (* 0.5 (sin re))) (/ (* 0.5 (sin re)) (exp im))) 5.147 * [simplify]: Simplified (2 1) to (λ (re im) (pow (+ (* (exp im) (* 0.5 (sin re))) (/ (* 0.5 (sin re)) (exp im))) 1)) 5.147 * * * * [progress]: [ 3 / 27 ] simplifiying candidate # 5.147 * * * * [progress]: [ 4 / 27 ] simplifiying candidate # 5.148 * [simplify]: Simplifying (+ (+ (log 0.5) (log (sin re))) (log (+ (exp (- 0 im)) (exp im)))) 5.148 * * [simplify]: iters left: 6 (14 enodes) 5.156 * * [simplify]: iters left: 5 (52 enodes) 5.172 * * [simplify]: iters left: 4 (67 enodes) 5.193 * * [simplify]: iters left: 3 (78 enodes) 5.213 * * [simplify]: iters left: 2 (80 enodes) 5.230 * * [simplify]: iters left: 1 (82 enodes) 5.249 * * [simplify]: Extracting #0: cost 1 inf + 0 5.249 * * [simplify]: Extracting #1: cost 8 inf + 0 5.249 * * [simplify]: Extracting #2: cost 17 inf + 0 5.249 * * [simplify]: Extracting #3: cost 21 inf + 1 5.249 * * [simplify]: Extracting #4: cost 24 inf + 134 5.250 * * [simplify]: Extracting #5: cost 19 inf + 793 5.250 * * [simplify]: Extracting #6: cost 6 inf + 2849 5.252 * * [simplify]: Extracting #7: cost 0 inf + 5441 5.253 * [simplify]: Simplified to (+ (+ (log 0.5) (log (sin re))) (log (+ (exp im) (exp (- im))))) 5.253 * [simplify]: Simplified (2 1) to (λ (re im) (exp (+ (+ (log 0.5) (log (sin re))) (log (+ (exp im) (exp (- im))))))) 5.254 * * * * [progress]: [ 5 / 27 ] simplifiying candidate # 5.254 * [simplify]: Simplifying (+ (log (* 0.5 (sin re))) (log (+ (exp (- 0 im)) (exp im)))) 5.254 * * [simplify]: iters left: 6 (13 enodes) 5.262 * * [simplify]: iters left: 5 (50 enodes) 5.278 * * [simplify]: iters left: 4 (66 enodes) 5.296 * * [simplify]: iters left: 3 (80 enodes) 5.318 * * [simplify]: iters left: 2 (82 enodes) 5.337 * * [simplify]: iters left: 1 (84 enodes) 5.348 * * [simplify]: Extracting #0: cost 1 inf + 0 5.349 * * [simplify]: Extracting #1: cost 8 inf + 0 5.349 * * [simplify]: Extracting #2: cost 18 inf + 0 5.349 * * [simplify]: Extracting #3: cost 23 inf + 1 5.349 * * [simplify]: Extracting #4: cost 27 inf + 73 5.349 * * [simplify]: Extracting #5: cost 16 inf + 1150 5.349 * * [simplify]: Extracting #6: cost 4 inf + 3536 5.350 * * [simplify]: Extracting #7: cost 0 inf + 5365 5.351 * [simplify]: Simplified to (+ (log (* 0.5 (sin re))) (log (+ (exp (- im)) (exp im)))) 5.351 * [simplify]: Simplified (2 1) to (λ (re im) (exp (+ (log (* 0.5 (sin re))) (log (+ (exp (- im)) (exp im)))))) 5.351 * * * * [progress]: [ 6 / 27 ] simplifiying candidate # 5.351 * * * * [progress]: [ 7 / 27 ] simplifiying candidate # 5.351 * * * * [progress]: [ 8 / 27 ] simplifiying candidate # 5.351 * [simplify]: Simplifying (* (* (* (* 0.5 0.5) 0.5) (* (* (sin re) (sin re)) (sin re))) (* (* (+ (exp (- 0 im)) (exp im)) (+ (exp (- 0 im)) (exp im))) (+ (exp (- 0 im)) (exp im)))) 5.351 * * [simplify]: iters left: 6 (17 enodes) 5.357 * * [simplify]: iters left: 5 (82 enodes) 5.395 * * [simplify]: iters left: 4 (274 enodes) 5.560 * * [simplify]: Extracting #0: cost 1 inf + 0 5.560 * * [simplify]: Extracting #1: cost 49 inf + 0 5.561 * * [simplify]: Extracting #2: cost 255 inf + 42 5.562 * * [simplify]: Extracting #3: cost 326 inf + 2492 5.566 * * [simplify]: Extracting #4: cost 285 inf + 16510 5.585 * * [simplify]: Extracting #5: cost 38 inf + 116510 5.612 * * [simplify]: Extracting #6: cost 0 inf + 126909 5.642 * * [simplify]: Extracting #7: cost 0 inf + 125177 5.694 * * [simplify]: Extracting #8: cost 0 inf + 125117 5.746 * [simplify]: Simplified to (* (* (* (+ (exp im) (exp (- im))) (+ (exp im) (exp (- im)))) (+ (exp im) (exp (- im)))) (* (* (sin re) 0.5) (* (* (sin re) 0.5) (* (sin re) 0.5)))) 5.746 * [simplify]: Simplified (2 1) to (λ (re im) (cbrt (* (* (* (+ (exp im) (exp (- im))) (+ (exp im) (exp (- im)))) (+ (exp im) (exp (- im)))) (* (* (sin re) 0.5) (* (* (sin re) 0.5) (* (sin re) 0.5)))))) 5.747 * * * * [progress]: [ 9 / 27 ] simplifiying candidate # 5.747 * [simplify]: Simplifying (* (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re))) (* (* (+ (exp (- 0 im)) (exp im)) (+ (exp (- 0 im)) (exp im))) (+ (exp (- 0 im)) (exp im)))) 5.747 * * [simplify]: iters left: 6 (15 enodes) 5.756 * * [simplify]: iters left: 5 (80 enodes) 5.794 * * [simplify]: iters left: 4 (281 enodes) 5.935 * * [simplify]: Extracting #0: cost 1 inf + 0 5.935 * * [simplify]: Extracting #1: cost 50 inf + 0 5.936 * * [simplify]: Extracting #2: cost 275 inf + 1 5.938 * * [simplify]: Extracting #3: cost 347 inf + 1989 5.942 * * [simplify]: Extracting #4: cost 284 inf + 23728 5.964 * * [simplify]: Extracting #5: cost 106 inf + 92260 6.021 * * [simplify]: Extracting #6: cost 0 inf + 132799 6.076 * * [simplify]: Extracting #7: cost 0 inf + 132541 6.132 * [simplify]: Simplified to (* (* (* 0.5 (sin re)) (+ (exp im) (exp (- im)))) (* (* (* 0.5 (sin re)) (+ (exp im) (exp (- im)))) (* (* 0.5 (sin re)) (+ (exp im) (exp (- im)))))) 6.132 * [simplify]: Simplified (2 1) to (λ (re im) (cbrt (* (* (* 0.5 (sin re)) (+ (exp im) (exp (- im)))) (* (* (* 0.5 (sin re)) (+ (exp im) (exp (- im)))) (* (* 0.5 (sin re)) (+ (exp im) (exp (- im)))))))) 6.132 * * * * [progress]: [ 10 / 27 ] simplifiying candidate # 6.132 * * * * [progress]: [ 11 / 27 ] simplifiying candidate # 6.133 * * * * [progress]: [ 12 / 27 ] simplifiying candidate # 6.133 * * * * [progress]: [ 13 / 27 ] simplifiying candidate # 6.133 * * * * [progress]: [ 14 / 27 ] simplifiying candidate # 6.133 * [simplify]: Simplifying (* (* 0.5 (sin re)) (exp im)) 6.133 * * [simplify]: iters left: 5 (7 enodes) 6.137 * * [simplify]: iters left: 4 (25 enodes) 6.145 * * [simplify]: iters left: 3 (33 enodes) 6.155 * * [simplify]: iters left: 2 (39 enodes) 6.167 * * [simplify]: Extracting #0: cost 1 inf + 0 6.167 * * [simplify]: Extracting #1: cost 8 inf + 0 6.167 * * [simplify]: Extracting #2: cost 14 inf + 1 6.167 * * [simplify]: Extracting #3: cost 11 inf + 74 6.167 * * [simplify]: Extracting #4: cost 4 inf + 755 6.168 * * [simplify]: Extracting #5: cost 1 inf + 1252 6.168 * * [simplify]: Extracting #6: cost 0 inf + 1465 6.169 * [simplify]: Simplified to (* (* 0.5 (sin re)) (exp im)) 6.169 * [simplify]: Simplified (2 2) to (λ (re im) (+ (* (* 0.5 (sin re)) (exp (- 0 im))) (* (* 0.5 (sin re)) (exp im)))) 6.169 * * * * [progress]: [ 15 / 27 ] simplifiying candidate # 6.169 * [simplify]: Simplifying (* (exp im) (* 0.5 (sin re))) 6.170 * * [simplify]: iters left: 5 (7 enodes) 6.173 * * [simplify]: iters left: 4 (25 enodes) 6.181 * * [simplify]: iters left: 3 (33 enodes) 6.190 * * [simplify]: iters left: 2 (39 enodes) 6.194 * * [simplify]: Extracting #0: cost 1 inf + 0 6.194 * * [simplify]: Extracting #1: cost 8 inf + 0 6.195 * * [simplify]: Extracting #2: cost 14 inf + 1 6.195 * * [simplify]: Extracting #3: cost 12 inf + 3 6.195 * * [simplify]: Extracting #4: cost 6 inf + 481 6.195 * * [simplify]: Extracting #5: cost 2 inf + 1080 6.195 * * [simplify]: Extracting #6: cost 0 inf + 1465 6.195 * [simplify]: Simplified to (* (* 0.5 (exp im)) (sin re)) 6.195 * [simplify]: Simplified (2 2) to (λ (re im) (+ (* (exp (- 0 im)) (* 0.5 (sin re))) (* (* 0.5 (exp im)) (sin re)))) 6.196 * * * * [progress]: [ 16 / 27 ] simplifiying candidate # 6.196 * [simplify]: Simplifying (cbrt (+ (exp (- 0 im)) (exp im))) 6.196 * * [simplify]: iters left: 6 (7 enodes) 6.198 * * [simplify]: iters left: 5 (27 enodes) 6.202 * * [simplify]: iters left: 4 (34 enodes) 6.207 * * [simplify]: iters left: 3 (40 enodes) 6.212 * * [simplify]: iters left: 2 (42 enodes) 6.217 * * [simplify]: iters left: 1 (44 enodes) 6.222 * * [simplify]: Extracting #0: cost 1 inf + 0 6.222 * * [simplify]: Extracting #1: cost 3 inf + 0 6.222 * * [simplify]: Extracting #2: cost 6 inf + 0 6.222 * * [simplify]: Extracting #3: cost 12 inf + 0 6.222 * * [simplify]: Extracting #4: cost 12 inf + 43 6.222 * * [simplify]: Extracting #5: cost 4 inf + 681 6.222 * * [simplify]: Extracting #6: cost 1 inf + 1274 6.222 * * [simplify]: Extracting #7: cost 0 inf + 1575 6.223 * [simplify]: Simplified to (cbrt (+ (exp (- im)) (exp im))) 6.223 * [simplify]: Simplified (2 2) to (λ (re im) (* (* (* 0.5 (sin re)) (* (cbrt (+ (exp (- 0 im)) (exp im))) (cbrt (+ (exp (- 0 im)) (exp im))))) (cbrt (+ (exp (- im)) (exp im))))) 6.223 * * * * [progress]: [ 17 / 27 ] simplifiying candidate # 6.223 * [simplify]: Simplifying (sqrt (+ (exp (- 0 im)) (exp im))) 6.223 * * [simplify]: iters left: 6 (7 enodes) 6.225 * * [simplify]: iters left: 5 (27 enodes) 6.229 * * [simplify]: iters left: 4 (34 enodes) 6.234 * * [simplify]: iters left: 3 (40 enodes) 6.239 * * [simplify]: iters left: 2 (42 enodes) 6.243 * * [simplify]: iters left: 1 (44 enodes) 6.248 * * [simplify]: Extracting #0: cost 1 inf + 0 6.248 * * [simplify]: Extracting #1: cost 3 inf + 0 6.248 * * [simplify]: Extracting #2: cost 6 inf + 0 6.248 * * [simplify]: Extracting #3: cost 12 inf + 0 6.248 * * [simplify]: Extracting #4: cost 12 inf + 43 6.248 * * [simplify]: Extracting #5: cost 4 inf + 681 6.248 * * [simplify]: Extracting #6: cost 1 inf + 1234 6.249 * * [simplify]: Extracting #7: cost 0 inf + 1495 6.249 * [simplify]: Simplified to (sqrt (+ (exp (- im)) (exp im))) 6.249 * [simplify]: Simplified (2 2) to (λ (re im) (* (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0 im)) (exp im)))) (sqrt (+ (exp (- im)) (exp im))))) 6.249 * * * * [progress]: [ 18 / 27 ] simplifiying candidate # 6.249 * [simplify]: Simplifying (+ (exp (- 0 im)) (exp im)) 6.249 * * [simplify]: iters left: 5 (6 enodes) 6.251 * * [simplify]: iters left: 4 (24 enodes) 6.257 * * [simplify]: iters left: 3 (31 enodes) 6.262 * * [simplify]: iters left: 2 (37 enodes) 6.272 * * [simplify]: iters left: 1 (39 enodes) 6.280 * * [simplify]: Extracting #0: cost 1 inf + 0 6.280 * * [simplify]: Extracting #1: cost 4 inf + 0 6.280 * * [simplify]: Extracting #2: cost 10 inf + 0 6.280 * * [simplify]: Extracting #3: cost 6 inf + 226 6.280 * * [simplify]: Extracting #4: cost 1 inf + 711 6.281 * * [simplify]: Extracting #5: cost 0 inf + 932 6.281 * [simplify]: Simplified to (+ (exp (- im)) (exp im)) 6.281 * [simplify]: Simplified (2 2) to (λ (re im) (* (* (* 0.5 (sin re)) 1) (+ (exp (- im)) (exp im)))) 6.281 * * * * [progress]: [ 19 / 27 ] simplifiying candidate # 6.281 * [simplify]: Simplifying (+ (exp (- 0 im)) (exp im)) 6.281 * * [simplify]: iters left: 5 (6 enodes) 6.285 * * [simplify]: iters left: 4 (24 enodes) 6.292 * * [simplify]: iters left: 3 (31 enodes) 6.301 * * [simplify]: iters left: 2 (37 enodes) 6.310 * * [simplify]: iters left: 1 (39 enodes) 6.318 * * [simplify]: Extracting #0: cost 1 inf + 0 6.318 * * [simplify]: Extracting #1: cost 4 inf + 0 6.318 * * [simplify]: Extracting #2: cost 10 inf + 0 6.319 * * [simplify]: Extracting #3: cost 6 inf + 226 6.319 * * [simplify]: Extracting #4: cost 1 inf + 711 6.319 * * [simplify]: Extracting #5: cost 0 inf + 932 6.319 * [simplify]: Simplified to (+ (exp (- im)) (exp im)) 6.319 * [simplify]: Simplified (2 2) to (λ (re im) (* (* (* 0.5 (sin re)) 1) (+ (exp (- im)) (exp im)))) 6.320 * * * * [progress]: [ 20 / 27 ] simplifiying candidate # 6.320 * * * * [progress]: [ 21 / 27 ] simplifiying candidate # 6.320 * [simplify]: Simplifying (+ (* (exp (- 0 im)) (exp (- 0 im))) (- (* (exp im) (exp im)) (* (exp (- 0 im)) (exp im)))) 6.320 * * [simplify]: iters left: 6 (10 enodes) 6.326 * * [simplify]: iters left: 5 (49 enodes) 6.344 * * [simplify]: iters left: 4 (97 enodes) 6.375 * * [simplify]: iters left: 3 (153 enodes) 6.418 * * [simplify]: iters left: 2 (190 enodes) 6.460 * * [simplify]: iters left: 1 (265 enodes) 6.545 * * [simplify]: Extracting #0: cost 1 inf + 0 6.545 * * [simplify]: Extracting #1: cost 18 inf + 0 6.545 * * [simplify]: Extracting #2: cost 63 inf + 2 6.546 * * [simplify]: Extracting #3: cost 82 inf + 2 6.546 * * [simplify]: Extracting #4: cost 83 inf + 4 6.547 * * [simplify]: Extracting #5: cost 42 inf + 4579 6.549 * * [simplify]: Extracting #6: cost 2 inf + 11356 6.552 * * [simplify]: Extracting #7: cost 0 inf + 11330 6.555 * * [simplify]: Extracting #8: cost 0 inf + 11221 6.560 * [simplify]: Simplified to (- (+ -1 (exp (+ im im))) (/ -1 (exp (+ im im)))) 6.560 * [simplify]: Simplified (2 2) to (λ (re im) (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0 im)) 3) (pow (exp im) 3))) (- (+ -1 (exp (+ im im))) (/ -1 (exp (+ im im)))))) 6.561 * * * * [progress]: [ 22 / 27 ] simplifiying candidate # 6.561 * [simplify]: Simplifying (- (exp (- 0 im)) (exp im)) 6.561 * * [simplify]: iters left: 5 (6 enodes) 6.565 * * [simplify]: iters left: 4 (25 enodes) 6.571 * * [simplify]: iters left: 3 (35 enodes) 6.577 * * [simplify]: iters left: 2 (41 enodes) 6.582 * * [simplify]: iters left: 1 (43 enodes) 6.587 * * [simplify]: Extracting #0: cost 1 inf + 0 6.587 * * [simplify]: Extracting #1: cost 5 inf + 0 6.587 * * [simplify]: Extracting #2: cost 12 inf + 0 6.587 * * [simplify]: Extracting #3: cost 7 inf + 377 6.588 * * [simplify]: Extracting #4: cost 2 inf + 822 6.588 * * [simplify]: Extracting #5: cost 0 inf + 1154 6.588 * [simplify]: Simplified to (- (exp (- im)) (exp im)) 6.588 * [simplify]: Simplified (2 2) to (λ (re im) (/ (* (* 0.5 (sin re)) (- (* (exp (- 0 im)) (exp (- 0 im))) (* (exp im) (exp im)))) (- (exp (- im)) (exp im)))) 6.588 * * * * [progress]: [ 23 / 27 ] simplifiying candidate #real (real->posit16 (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im))))))> 6.588 * * * * [progress]: [ 24 / 27 ] simplifiying candidate # 6.588 * * * * [progress]: [ 25 / 27 ] simplifiying candidate # 6.588 * [simplify]: Simplifying (- (+ (* 1.0 re) (* 0.5 (* re (pow im 2)))) (* 0.16666666666666666 (pow re 3))) 6.588 * * [simplify]: iters left: 6 (15 enodes) 6.594 * * [simplify]: iters left: 5 (68 enodes) 6.611 * * [simplify]: iters left: 4 (130 enodes) 6.667 * * [simplify]: iters left: 3 (274 enodes) 6.774 * * [simplify]: iters left: 2 (479 enodes) 6.964 * * [simplify]: Extracting #0: cost 1 inf + 0 6.964 * * [simplify]: Extracting #1: cost 16 inf + 0 6.964 * * [simplify]: Extracting #2: cost 86 inf + 1 6.966 * * [simplify]: Extracting #3: cost 163 inf + 663 6.970 * * [simplify]: Extracting #4: cost 106 inf + 8014 6.977 * * [simplify]: Extracting #5: cost 59 inf + 22704 6.988 * * [simplify]: Extracting #6: cost 7 inf + 46754 6.995 * * [simplify]: Extracting #7: cost 0 inf + 50915 7.001 * [simplify]: Simplified to (* (+ 1.0 (- (* (* 0.5 im) im) (* (* 0.16666666666666666 re) re))) re) 7.001 * [simplify]: Simplified (2) to (λ (re im) (* (+ 1.0 (- (* (* 0.5 im) im) (* (* 0.16666666666666666 re) re))) re)) 7.002 * * * * [progress]: [ 26 / 27 ] simplifiying candidate # 7.002 * [simplify]: Simplifying (* 0.5 (* (sin re) (+ (exp (- im)) (exp im)))) 7.002 * * [simplify]: iters left: 6 (10 enodes) 7.005 * * [simplify]: iters left: 5 (43 enodes) 7.013 * * [simplify]: iters left: 4 (89 enodes) 7.027 * * [simplify]: iters left: 3 (142 enodes) 7.055 * * [simplify]: iters left: 2 (217 enodes) 7.122 * * [simplify]: iters left: 1 (229 enodes) 7.164 * * [simplify]: Extracting #0: cost 1 inf + 0 7.164 * * [simplify]: Extracting #1: cost 11 inf + 0 7.164 * * [simplify]: Extracting #2: cost 34 inf + 2 7.164 * * [simplify]: Extracting #3: cost 43 inf + 87 7.165 * * [simplify]: Extracting #4: cost 19 inf + 3855 7.169 * * [simplify]: Extracting #5: cost 1 inf + 7049 7.172 * * [simplify]: Extracting #6: cost 0 inf + 7021 7.176 * [simplify]: Simplified to (* 0.5 (+ (/ (sin re) (exp im)) (* (exp im) (sin re)))) 7.176 * [simplify]: Simplified (2) to (λ (re im) (* 0.5 (+ (/ (sin re) (exp im)) (* (exp im) (sin re))))) 7.177 * * * * [progress]: [ 27 / 27 ] simplifiying candidate # 7.177 * [simplify]: Simplifying (* 0.5 (* (sin re) (+ (exp im) (exp (* -1 im))))) 7.177 * * [simplify]: iters left: 6 (11 enodes) 7.183 * * [simplify]: iters left: 5 (48 enodes) 7.200 * * [simplify]: iters left: 4 (95 enodes) 7.232 * * [simplify]: iters left: 3 (170 enodes) 7.295 * * [simplify]: iters left: 2 (265 enodes) 7.403 * * [simplify]: Extracting #0: cost 1 inf + 0 7.403 * * [simplify]: Extracting #1: cost 10 inf + 0 7.403 * * [simplify]: Extracting #2: cost 52 inf + 1 7.404 * * [simplify]: Extracting #3: cost 120 inf + 3 7.405 * * [simplify]: Extracting #4: cost 118 inf + 1910 7.408 * * [simplify]: Extracting #5: cost 81 inf + 7947 7.413 * * [simplify]: Extracting #6: cost 44 inf + 17479 7.422 * * [simplify]: Extracting #7: cost 4 inf + 37970 7.432 * * [simplify]: Extracting #8: cost 0 inf + 41294 7.443 * [simplify]: Simplified to (* (+ (/ (sin re) (exp im)) (* (exp im) (sin re))) 0.5) 7.443 * [simplify]: Simplified (2) to (λ (re im) (* (+ (/ (sin re) (exp im)) (* (exp im) (sin re))) 0.5)) 7.443 * * * [progress]: adding candidates to table 7.774 * [progress]: [Phase 3 of 3] Extracting. 7.774 * * [regime]: Finding splitpoints for: (# #) 7.776 * * * [regime-changes]: Trying 6 branch expressions: (im (+ (exp (- 0 im)) (exp im)) re (sin re) (* 0.5 (sin re)) (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im)))) 7.776 * * * * [regimes]: Trying to branch on im from (# #) 7.818 * * * * [regimes]: Trying to branch on (+ (exp (- 0 im)) (exp im)) from (# #) 7.842 * * * * [regimes]: Trying to branch on re from (# #) 7.871 * * * * [regimes]: Trying to branch on (sin re) from (# #) 7.921 * * * * [regimes]: Trying to branch on (* 0.5 (sin re)) from (# #) 7.971 * * * * [regimes]: Trying to branch on (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im))) from (# #) 8.038 * * * [regime]: Found split indices: #