4.676 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.295 * * * [progress]: [2/2] Setting up program.
0.301 * [progress]: [Phase 2 of 3] Improving.
0.301 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (re im) (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im))))>
0.302 * [simplify]: Simplifying:
  (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im)))
0.302 * * [simplify]: iteration 1: (11 enodes)
0.307 * * [simplify]: iteration 2: (27 enodes)
0.319 * * [simplify]: iteration 3: (62 enodes)
0.358 * * [simplify]: iteration 4: (115 enodes)
0.394 * * [simplify]: iteration 5: (205 enodes)
0.450 * * [simplify]: iteration 6: (382 enodes)
0.644 * * [simplify]: iteration 7: (799 enodes)
0.851 * * [simplify]: iteration 8: (920 enodes)
1.251 * * [simplify]: iteration 9: (1065 enodes)
2.492 * * [simplify]: iteration 10: (1356 enodes)
3.364 * * [simplify]: iteration 11: (1646 enodes)
7.546 * * [simplify]: Extracting #0: cost 1 inf + 0
7.546 * * [simplify]: Extracting #1: cost 49 inf + 0
7.546 * * [simplify]: Extracting #2: cost 117 inf + 86
7.547 * * [simplify]: Extracting #3: cost 146 inf + 2453
7.554 * * [simplify]: Extracting #4: cost 21 inf + 19535
7.567 * * [simplify]: Extracting #5: cost 1 inf + 23893
7.579 * * [simplify]: Extracting #6: cost 0 inf + 24177
7.592 * [simplify]: Simplified to:
  (* (fma 0.5 (exp im) (/ 0.5 (exp im))) (sin re))
7.604 * * [progress]: iteration 1 / 4
7.605 * * * [progress]: picking best candidate
7.610 * * * * [pick]: Picked  #<alt (λ (re im) (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im))))>
7.610 * * * [progress]: localizing error
7.647 * * * [progress]: generating rewritten candidates
7.647 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
7.779 * * * [progress]: generating series expansions
7.779 * * * * [progress]: [ 1 / 1 ] generating series at (2)
7.786 * [backup-simplify]: Simplify (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im))) into (* 0.5 (* (sin re) (+ (exp (- im)) (exp im))))
7.786 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin re) (+ (exp (- im)) (exp im)))) in (re im) around 0
7.787 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin re) (+ (exp (- im)) (exp im)))) in im
7.787 * [taylor]: Taking taylor expansion of 0.5 in im
7.787 * [backup-simplify]: Simplify 0.5 into 0.5
7.787 * [taylor]: Taking taylor expansion of (* (sin re) (+ (exp (- im)) (exp im))) in im
7.787 * [taylor]: Taking taylor expansion of (sin re) in im
7.787 * [taylor]: Taking taylor expansion of re in im
7.788 * [backup-simplify]: Simplify re into re
7.788 * [backup-simplify]: Simplify (sin re) into (sin re)
7.788 * [backup-simplify]: Simplify (cos re) into (cos re)
7.788 * [taylor]: Taking taylor expansion of (+ (exp (- im)) (exp im)) in im
7.788 * [taylor]: Taking taylor expansion of (exp (- im)) in im
7.788 * [taylor]: Taking taylor expansion of (- im) in im
7.788 * [taylor]: Taking taylor expansion of im in im
7.788 * [backup-simplify]: Simplify 0 into 0
7.788 * [backup-simplify]: Simplify 1 into 1
7.789 * [backup-simplify]: Simplify (- 0) into 0
7.789 * [backup-simplify]: Simplify (- 1) into -1
7.789 * [backup-simplify]: Simplify (exp 0) into 1
7.789 * [taylor]: Taking taylor expansion of (exp im) in im
7.789 * [taylor]: Taking taylor expansion of im in im
7.789 * [backup-simplify]: Simplify 0 into 0
7.789 * [backup-simplify]: Simplify 1 into 1
7.789 * [backup-simplify]: Simplify (exp 0) into 1
7.789 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin re) (+ (exp (- im)) (exp im)))) in re
7.790 * [taylor]: Taking taylor expansion of 0.5 in re
7.790 * [backup-simplify]: Simplify 0.5 into 0.5
7.790 * [taylor]: Taking taylor expansion of (* (sin re) (+ (exp (- im)) (exp im))) in re
7.790 * [taylor]: Taking taylor expansion of (sin re) in re
7.790 * [taylor]: Taking taylor expansion of re in re
7.790 * [backup-simplify]: Simplify 0 into 0
7.790 * [backup-simplify]: Simplify 1 into 1
7.790 * [taylor]: Taking taylor expansion of (+ (exp (- im)) (exp im)) in re
7.790 * [taylor]: Taking taylor expansion of (exp (- im)) in re
7.790 * [taylor]: Taking taylor expansion of (- im) in re
7.790 * [taylor]: Taking taylor expansion of im in re
7.790 * [backup-simplify]: Simplify im into im
7.790 * [backup-simplify]: Simplify (- im) into (- im)
7.790 * [backup-simplify]: Simplify (- im) into (- im)
7.790 * [backup-simplify]: Simplify (exp (- im)) into (exp (- im))
7.790 * [taylor]: Taking taylor expansion of (exp im) in re
7.790 * [taylor]: Taking taylor expansion of im in re
7.790 * [backup-simplify]: Simplify im into im
7.790 * [backup-simplify]: Simplify (exp im) into (exp im)
7.790 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin re) (+ (exp (- im)) (exp im)))) in re
7.790 * [taylor]: Taking taylor expansion of 0.5 in re
7.790 * [backup-simplify]: Simplify 0.5 into 0.5
7.790 * [taylor]: Taking taylor expansion of (* (sin re) (+ (exp (- im)) (exp im))) in re
7.790 * [taylor]: Taking taylor expansion of (sin re) in re
7.790 * [taylor]: Taking taylor expansion of re in re
7.790 * [backup-simplify]: Simplify 0 into 0
7.790 * [backup-simplify]: Simplify 1 into 1
7.790 * [taylor]: Taking taylor expansion of (+ (exp (- im)) (exp im)) in re
7.790 * [taylor]: Taking taylor expansion of (exp (- im)) in re
7.790 * [taylor]: Taking taylor expansion of (- im) in re
7.790 * [taylor]: Taking taylor expansion of im in re
7.790 * [backup-simplify]: Simplify im into im
7.790 * [backup-simplify]: Simplify (- im) into (- im)
7.790 * [backup-simplify]: Simplify (- im) into (- im)
7.791 * [backup-simplify]: Simplify (exp (- im)) into (exp (- im))
7.791 * [taylor]: Taking taylor expansion of (exp im) in re
7.791 * [taylor]: Taking taylor expansion of im in re
7.791 * [backup-simplify]: Simplify im into im
7.791 * [backup-simplify]: Simplify (exp im) into (exp im)
7.792 * [backup-simplify]: Simplify (+ (exp (- im)) (exp im)) into (+ (exp (- im)) (exp im))
7.792 * [backup-simplify]: Simplify (* 0 (+ (exp (- im)) (exp im))) into 0
7.793 * [backup-simplify]: Simplify (* 0.5 0) into 0
7.793 * [taylor]: Taking taylor expansion of 0 in im
7.793 * [backup-simplify]: Simplify 0 into 0
7.793 * [backup-simplify]: Simplify 0 into 0
7.793 * [backup-simplify]: Simplify (- im) into (- im)
7.794 * [backup-simplify]: Simplify (- 0) into 0
7.795 * [backup-simplify]: Simplify (* (exp (- im)) (+ (* (/ (pow 0 1) 1)))) into 0
7.796 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 1) 1)))) into 0
7.796 * [backup-simplify]: Simplify (+ 0 0) into 0
7.797 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
7.797 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (+ (exp (- im)) (exp im)))) into (+ (exp (- im)) (exp im))
7.798 * [backup-simplify]: Simplify (+ (* 0.5 (+ (exp (- im)) (exp im))) (* 0 0)) into (+ (* 0.5 (exp (- im))) (* 0.5 (exp im)))
7.798 * [taylor]: Taking taylor expansion of (+ (* 0.5 (exp (- im))) (* 0.5 (exp im))) in im
7.798 * [taylor]: Taking taylor expansion of (* 0.5 (exp (- im))) in im
7.798 * [taylor]: Taking taylor expansion of 0.5 in im
7.798 * [backup-simplify]: Simplify 0.5 into 0.5
7.798 * [taylor]: Taking taylor expansion of (exp (- im)) in im
7.798 * [taylor]: Taking taylor expansion of (- im) in im
7.798 * [taylor]: Taking taylor expansion of im in im
7.798 * [backup-simplify]: Simplify 0 into 0
7.798 * [backup-simplify]: Simplify 1 into 1
7.798 * [backup-simplify]: Simplify (- 0) into 0
7.798 * [backup-simplify]: Simplify (- 1) into -1
7.798 * [backup-simplify]: Simplify (exp 0) into 1
7.798 * [taylor]: Taking taylor expansion of (* 0.5 (exp im)) in im
7.798 * [taylor]: Taking taylor expansion of 0.5 in im
7.799 * [backup-simplify]: Simplify 0.5 into 0.5
7.799 * [taylor]: Taking taylor expansion of (exp im) in im
7.799 * [taylor]: Taking taylor expansion of im in im
7.799 * [backup-simplify]: Simplify 0 into 0
7.799 * [backup-simplify]: Simplify 1 into 1
7.799 * [backup-simplify]: Simplify (exp 0) into 1
7.799 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
7.799 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
7.799 * [backup-simplify]: Simplify (+ 0.5 0.5) into 1.0
7.799 * [backup-simplify]: Simplify 1.0 into 1.0
7.800 * [backup-simplify]: Simplify 0 into 0
7.800 * [backup-simplify]: Simplify (- im) into (- im)
7.800 * [backup-simplify]: Simplify (- 0) into 0
7.800 * [backup-simplify]: Simplify (- 0) into 0
7.801 * [backup-simplify]: Simplify (* (exp (- im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
7.802 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
7.802 * [backup-simplify]: Simplify (+ 0 0) into 0
7.803 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
7.803 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (+ (exp (- im)) (exp im))))) into 0
7.804 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 (+ (exp (- im)) (exp im))) (* 0 0))) into 0
7.804 * [taylor]: Taking taylor expansion of 0 in im
7.804 * [backup-simplify]: Simplify 0 into 0
7.804 * [backup-simplify]: Simplify 0 into 0
7.804 * [backup-simplify]: Simplify (- 1) into -1
7.805 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
7.806 * [backup-simplify]: Simplify (+ (* 0.5 -1) (* 0 1)) into (- 0.5)
7.807 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
7.808 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 1)) into 0.5
7.808 * [backup-simplify]: Simplify (+ (- 0.5) 0.5) into 0
7.808 * [backup-simplify]: Simplify 0 into 0
7.808 * [backup-simplify]: Simplify 0 into 0
7.808 * [backup-simplify]: Simplify (- im) into (- im)
7.809 * [backup-simplify]: Simplify (- 0) into 0
7.809 * [backup-simplify]: Simplify (- 0) into 0
7.809 * [backup-simplify]: Simplify (- 0) into 0
7.809 * [backup-simplify]: Simplify (- 0) into 0
7.810 * [backup-simplify]: Simplify (* (exp (- im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
7.811 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
7.812 * [backup-simplify]: Simplify (+ 0 0) into 0
7.813 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into -1/6
7.814 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* -1/6 (+ (exp (- im)) (exp im)))))) into (- (+ (* 1/6 (exp (- im))) (* 1/6 (exp im))))
7.814 * [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))))
7.814 * [taylor]: Taking taylor expansion of (- (+ (* 0.08333333333333333 (exp (- im))) (* 0.08333333333333333 (exp im)))) in im
7.814 * [taylor]: Taking taylor expansion of (+ (* 0.08333333333333333 (exp (- im))) (* 0.08333333333333333 (exp im))) in im
7.814 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (exp (- im))) in im
7.814 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im
7.815 * [backup-simplify]: Simplify 0.08333333333333333 into 0.08333333333333333
7.815 * [taylor]: Taking taylor expansion of (exp (- im)) in im
7.815 * [taylor]: Taking taylor expansion of (- im) in im
7.815 * [taylor]: Taking taylor expansion of im in im
7.815 * [backup-simplify]: Simplify 0 into 0
7.815 * [backup-simplify]: Simplify 1 into 1
7.815 * [backup-simplify]: Simplify (- 0) into 0
7.815 * [backup-simplify]: Simplify (- 1) into -1
7.815 * [backup-simplify]: Simplify (exp 0) into 1
7.815 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (exp im)) in im
7.815 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im
7.815 * [backup-simplify]: Simplify 0.08333333333333333 into 0.08333333333333333
7.815 * [taylor]: Taking taylor expansion of (exp im) in im
7.815 * [taylor]: Taking taylor expansion of im in im
7.815 * [backup-simplify]: Simplify 0 into 0
7.815 * [backup-simplify]: Simplify 1 into 1
7.815 * [backup-simplify]: Simplify (exp 0) into 1
7.816 * [backup-simplify]: Simplify (* 0.08333333333333333 1) into 0.08333333333333333
7.816 * [backup-simplify]: Simplify (* 0.08333333333333333 1) into 0.08333333333333333
7.816 * [backup-simplify]: Simplify (+ 0.08333333333333333 0.08333333333333333) into 0.16666666666666666
7.816 * [backup-simplify]: Simplify (- 0.16666666666666666) into (- 0.16666666666666666)
7.817 * [backup-simplify]: Simplify (- 0.16666666666666666) into (- 0.16666666666666666)
7.817 * [backup-simplify]: Simplify 0 into 0
7.817 * [backup-simplify]: Simplify (- 1) into -1
7.817 * [backup-simplify]: Simplify (- 0) into 0
7.819 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
7.820 * [backup-simplify]: Simplify (+ (* 0.5 1/2) (+ (* 0 -1) (* 0 1))) into 0.25
7.821 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
7.822 * [backup-simplify]: Simplify (+ (* 0.5 1/2) (+ (* 0 1) (* 0 1))) into 0.25
7.823 * [backup-simplify]: Simplify (+ 0.25 0.25) into 0.5
7.823 * [backup-simplify]: Simplify 0.5 into 0.5
7.824 * [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)))
7.824 * [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))))
7.824 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))) in (re im) around 0
7.824 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))) in im
7.824 * [taylor]: Taking taylor expansion of 0.5 in im
7.824 * [backup-simplify]: Simplify 0.5 into 0.5
7.824 * [taylor]: Taking taylor expansion of (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))) in im
7.824 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im
7.824 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im
7.824 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im
7.824 * [taylor]: Taking taylor expansion of (/ 1 im) in im
7.824 * [taylor]: Taking taylor expansion of im in im
7.824 * [backup-simplify]: Simplify 0 into 0
7.824 * [backup-simplify]: Simplify 1 into 1
7.825 * [backup-simplify]: Simplify (/ 1 1) into 1
7.825 * [backup-simplify]: Simplify (- 1) into -1
7.825 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im)))
7.825 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
7.825 * [taylor]: Taking taylor expansion of (/ 1 im) in im
7.825 * [taylor]: Taking taylor expansion of im in im
7.825 * [backup-simplify]: Simplify 0 into 0
7.825 * [backup-simplify]: Simplify 1 into 1
7.825 * [backup-simplify]: Simplify (/ 1 1) into 1
7.825 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
7.825 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im
7.825 * [taylor]: Taking taylor expansion of (/ 1 re) in im
7.825 * [taylor]: Taking taylor expansion of re in im
7.825 * [backup-simplify]: Simplify re into re
7.825 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
7.825 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re))
7.826 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
7.826 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))) in re
7.826 * [taylor]: Taking taylor expansion of 0.5 in re
7.826 * [backup-simplify]: Simplify 0.5 into 0.5
7.826 * [taylor]: Taking taylor expansion of (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))) in re
7.826 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in re
7.826 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re
7.826 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re
7.826 * [taylor]: Taking taylor expansion of (/ 1 im) in re
7.826 * [taylor]: Taking taylor expansion of im in re
7.826 * [backup-simplify]: Simplify im into im
7.826 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
7.826 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im))
7.826 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im))
7.826 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im)))
7.826 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
7.826 * [taylor]: Taking taylor expansion of (/ 1 im) in re
7.826 * [taylor]: Taking taylor expansion of im in re
7.826 * [backup-simplify]: Simplify im into im
7.826 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
7.826 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
7.826 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re
7.826 * [taylor]: Taking taylor expansion of (/ 1 re) in re
7.826 * [taylor]: Taking taylor expansion of re in re
7.826 * [backup-simplify]: Simplify 0 into 0
7.826 * [backup-simplify]: Simplify 1 into 1
7.826 * [backup-simplify]: Simplify (/ 1 1) into 1
7.826 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re))
7.826 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))) in re
7.826 * [taylor]: Taking taylor expansion of 0.5 in re
7.826 * [backup-simplify]: Simplify 0.5 into 0.5
7.826 * [taylor]: Taking taylor expansion of (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))) in re
7.827 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in re
7.827 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re
7.827 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re
7.827 * [taylor]: Taking taylor expansion of (/ 1 im) in re
7.827 * [taylor]: Taking taylor expansion of im in re
7.827 * [backup-simplify]: Simplify im into im
7.827 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
7.827 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im))
7.827 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im))
7.827 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im)))
7.827 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
7.827 * [taylor]: Taking taylor expansion of (/ 1 im) in re
7.827 * [taylor]: Taking taylor expansion of im in re
7.827 * [backup-simplify]: Simplify im into im
7.827 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
7.827 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
7.827 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re
7.827 * [taylor]: Taking taylor expansion of (/ 1 re) in re
7.827 * [taylor]: Taking taylor expansion of re in re
7.827 * [backup-simplify]: Simplify 0 into 0
7.827 * [backup-simplify]: Simplify 1 into 1
7.827 * [backup-simplify]: Simplify (/ 1 1) into 1
7.827 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re))
7.828 * [backup-simplify]: Simplify (+ (exp (- (/ 1 im))) (exp (/ 1 im))) into (+ (exp (- (/ 1 im))) (exp (/ 1 im)))
7.828 * [backup-simplify]: Simplify (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))) into (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))
7.828 * [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))))
7.828 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))) in im
7.828 * [taylor]: Taking taylor expansion of 0.5 in im
7.828 * [backup-simplify]: Simplify 0.5 into 0.5
7.828 * [taylor]: Taking taylor expansion of (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))) in im
7.828 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im
7.828 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im
7.828 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im
7.828 * [taylor]: Taking taylor expansion of (/ 1 im) in im
7.828 * [taylor]: Taking taylor expansion of im in im
7.828 * [backup-simplify]: Simplify 0 into 0
7.828 * [backup-simplify]: Simplify 1 into 1
7.829 * [backup-simplify]: Simplify (/ 1 1) into 1
7.829 * [backup-simplify]: Simplify (- 1) into -1
7.829 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im)))
7.829 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
7.829 * [taylor]: Taking taylor expansion of (/ 1 im) in im
7.829 * [taylor]: Taking taylor expansion of im in im
7.829 * [backup-simplify]: Simplify 0 into 0
7.829 * [backup-simplify]: Simplify 1 into 1
7.830 * [backup-simplify]: Simplify (/ 1 1) into 1
7.830 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
7.830 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im
7.830 * [taylor]: Taking taylor expansion of (/ 1 re) in im
7.830 * [taylor]: Taking taylor expansion of re in im
7.830 * [backup-simplify]: Simplify re into re
7.830 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
7.830 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re))
7.830 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
7.830 * [backup-simplify]: Simplify (+ (exp (- (/ 1 im))) (exp (/ 1 im))) into (+ (exp (- (/ 1 im))) (exp (/ 1 im)))
7.831 * [backup-simplify]: Simplify (* (sin (/ 1 re)) 1) into (sin (/ 1 re))
7.831 * [backup-simplify]: Simplify (* (cos (/ 1 re)) 0) into 0
7.831 * [backup-simplify]: Simplify (+ (sin (/ 1 re)) 0) into (sin (/ 1 re))
7.831 * [backup-simplify]: Simplify (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))) into (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))
7.831 * [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))))
7.831 * [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))))
7.832 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im))
7.832 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
7.832 * [backup-simplify]: Simplify (- 0) into 0
7.833 * [backup-simplify]: Simplify (* (exp (- (/ 1 im))) (+ (* (/ (pow 0 1) 1)))) into 0
7.833 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
7.834 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0
7.835 * [backup-simplify]: Simplify (+ 0 0) into 0
7.835 * [backup-simplify]: Simplify (+ (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 0) (* 0 (sin (/ 1 re)))) into 0
7.836 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))))) into 0
7.836 * [taylor]: Taking taylor expansion of 0 in im
7.836 * [backup-simplify]: Simplify 0 into 0
7.836 * [backup-simplify]: Simplify 0 into 0
7.836 * [backup-simplify]: Simplify (+ 0) into 0
7.837 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 1)) into 0
7.837 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0
7.838 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
7.838 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 0)) into 0
7.839 * [backup-simplify]: Simplify (+ 0 0) into 0
7.839 * [backup-simplify]: Simplify (+ 0 0) into 0
7.839 * [backup-simplify]: Simplify (+ (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 0) (* 0 (sin (/ 1 re)))) into 0
7.840 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))))) into 0
7.840 * [backup-simplify]: Simplify 0 into 0
7.840 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im))
7.841 * [backup-simplify]: Simplify (- 0) into 0
7.841 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
7.841 * [backup-simplify]: Simplify (- 0) into 0
7.847 * [backup-simplify]: Simplify (* (exp (- (/ 1 im))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
7.847 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
7.849 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
7.849 * [backup-simplify]: Simplify (+ 0 0) into 0
7.850 * [backup-simplify]: Simplify (+ (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 0) (+ (* 0 0) (* 0 (sin (/ 1 re))))) into 0
7.851 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))))) into 0
7.851 * [taylor]: Taking taylor expansion of 0 in im
7.851 * [backup-simplify]: Simplify 0 into 0
7.851 * [backup-simplify]: Simplify 0 into 0
7.851 * [backup-simplify]: Simplify 0 into 0
7.852 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
7.853 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 1))) into 0
7.853 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
7.854 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
7.854 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 0))) into 0
7.855 * [backup-simplify]: Simplify (+ 0 0) into 0
7.855 * [backup-simplify]: Simplify (+ 0 0) into 0
7.856 * [backup-simplify]: Simplify (+ (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 0) (+ (* 0 0) (* 0 (sin (/ 1 re))))) into 0
7.857 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))))) into 0
7.857 * [backup-simplify]: Simplify 0 into 0
7.857 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im))
7.857 * [backup-simplify]: Simplify (- 0) into 0
7.858 * [backup-simplify]: Simplify (- 0) into 0
7.858 * [backup-simplify]: Simplify (- 0) into 0
7.858 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
7.859 * [backup-simplify]: Simplify (- 0) into 0
7.861 * [backup-simplify]: Simplify (* (exp (- (/ 1 im))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
7.861 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
7.863 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
7.863 * [backup-simplify]: Simplify (+ 0 0) into 0
7.864 * [backup-simplify]: Simplify (+ (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ 1 re)))))) into 0
7.866 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))))))) into 0
7.866 * [taylor]: Taking taylor expansion of 0 in im
7.866 * [backup-simplify]: Simplify 0 into 0
7.866 * [backup-simplify]: Simplify 0 into 0
7.866 * [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))))
7.867 * [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))))
7.867 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in (re im) around 0
7.867 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in im
7.867 * [taylor]: Taking taylor expansion of 0.5 in im
7.867 * [backup-simplify]: Simplify 0.5 into 0.5
7.867 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in im
7.867 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im
7.867 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
7.867 * [taylor]: Taking taylor expansion of (/ -1 im) in im
7.867 * [taylor]: Taking taylor expansion of -1 in im
7.867 * [backup-simplify]: Simplify -1 into -1
7.867 * [taylor]: Taking taylor expansion of im in im
7.867 * [backup-simplify]: Simplify 0 into 0
7.867 * [backup-simplify]: Simplify 1 into 1
7.868 * [backup-simplify]: Simplify (/ -1 1) into -1
7.868 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
7.868 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
7.868 * [taylor]: Taking taylor expansion of (/ 1 im) in im
7.868 * [taylor]: Taking taylor expansion of im in im
7.868 * [backup-simplify]: Simplify 0 into 0
7.868 * [backup-simplify]: Simplify 1 into 1
7.868 * [backup-simplify]: Simplify (/ 1 1) into 1
7.868 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
7.869 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im
7.869 * [taylor]: Taking taylor expansion of (/ -1 re) in im
7.869 * [taylor]: Taking taylor expansion of -1 in im
7.869 * [backup-simplify]: Simplify -1 into -1
7.869 * [taylor]: Taking taylor expansion of re in im
7.869 * [backup-simplify]: Simplify re into re
7.869 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re)
7.869 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re))
7.869 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
7.869 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in re
7.869 * [taylor]: Taking taylor expansion of 0.5 in re
7.869 * [backup-simplify]: Simplify 0.5 into 0.5
7.869 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in re
7.869 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re
7.869 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
7.869 * [taylor]: Taking taylor expansion of (/ -1 im) in re
7.869 * [taylor]: Taking taylor expansion of -1 in re
7.869 * [backup-simplify]: Simplify -1 into -1
7.869 * [taylor]: Taking taylor expansion of im in re
7.869 * [backup-simplify]: Simplify im into im
7.869 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im)
7.869 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
7.869 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
7.869 * [taylor]: Taking taylor expansion of (/ 1 im) in re
7.869 * [taylor]: Taking taylor expansion of im in re
7.869 * [backup-simplify]: Simplify im into im
7.869 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
7.869 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
7.869 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re
7.869 * [taylor]: Taking taylor expansion of (/ -1 re) in re
7.869 * [taylor]: Taking taylor expansion of -1 in re
7.870 * [backup-simplify]: Simplify -1 into -1
7.870 * [taylor]: Taking taylor expansion of re in re
7.870 * [backup-simplify]: Simplify 0 into 0
7.870 * [backup-simplify]: Simplify 1 into 1
7.870 * [backup-simplify]: Simplify (/ -1 1) into -1
7.870 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re))
7.870 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in re
7.870 * [taylor]: Taking taylor expansion of 0.5 in re
7.870 * [backup-simplify]: Simplify 0.5 into 0.5
7.870 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in re
7.870 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re
7.870 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
7.870 * [taylor]: Taking taylor expansion of (/ -1 im) in re
7.870 * [taylor]: Taking taylor expansion of -1 in re
7.870 * [backup-simplify]: Simplify -1 into -1
7.871 * [taylor]: Taking taylor expansion of im in re
7.871 * [backup-simplify]: Simplify im into im
7.871 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im)
7.871 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
7.871 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
7.871 * [taylor]: Taking taylor expansion of (/ 1 im) in re
7.871 * [taylor]: Taking taylor expansion of im in re
7.871 * [backup-simplify]: Simplify im into im
7.871 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
7.871 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
7.871 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re
7.871 * [taylor]: Taking taylor expansion of (/ -1 re) in re
7.871 * [taylor]: Taking taylor expansion of -1 in re
7.871 * [backup-simplify]: Simplify -1 into -1
7.871 * [taylor]: Taking taylor expansion of re in re
7.871 * [backup-simplify]: Simplify 0 into 0
7.871 * [backup-simplify]: Simplify 1 into 1
7.872 * [backup-simplify]: Simplify (/ -1 1) into -1
7.872 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re))
7.872 * [backup-simplify]: Simplify (+ (exp (/ -1 im)) (exp (/ 1 im))) into (+ (exp (/ 1 im)) (exp (/ -1 im)))
7.872 * [backup-simplify]: Simplify (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re))) into (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))
7.872 * [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))))
7.872 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re)))) in im
7.872 * [taylor]: Taking taylor expansion of 0.5 in im
7.872 * [backup-simplify]: Simplify 0.5 into 0.5
7.872 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re))) in im
7.872 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 im)) (exp (/ -1 im))) in im
7.872 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
7.872 * [taylor]: Taking taylor expansion of (/ 1 im) in im
7.872 * [taylor]: Taking taylor expansion of im in im
7.872 * [backup-simplify]: Simplify 0 into 0
7.872 * [backup-simplify]: Simplify 1 into 1
7.873 * [backup-simplify]: Simplify (/ 1 1) into 1
7.873 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
7.873 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
7.873 * [taylor]: Taking taylor expansion of (/ -1 im) in im
7.873 * [taylor]: Taking taylor expansion of -1 in im
7.873 * [backup-simplify]: Simplify -1 into -1
7.873 * [taylor]: Taking taylor expansion of im in im
7.873 * [backup-simplify]: Simplify 0 into 0
7.873 * [backup-simplify]: Simplify 1 into 1
7.874 * [backup-simplify]: Simplify (/ -1 1) into -1
7.874 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
7.874 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im
7.874 * [taylor]: Taking taylor expansion of (/ -1 re) in im
7.874 * [taylor]: Taking taylor expansion of -1 in im
7.874 * [backup-simplify]: Simplify -1 into -1
7.874 * [taylor]: Taking taylor expansion of re in im
7.874 * [backup-simplify]: Simplify re into re
7.874 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re)
7.874 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re))
7.874 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
7.874 * [backup-simplify]: Simplify (+ (exp (/ 1 im)) (exp (/ -1 im))) into (+ (exp (/ -1 im)) (exp (/ 1 im)))
7.874 * [backup-simplify]: Simplify (* (sin (/ -1 re)) 1) into (sin (/ -1 re))
7.874 * [backup-simplify]: Simplify (* (cos (/ -1 re)) 0) into 0
7.875 * [backup-simplify]: Simplify (+ (sin (/ -1 re)) 0) into (sin (/ -1 re))
7.875 * [backup-simplify]: Simplify (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) into (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re)))
7.875 * [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))))
7.875 * [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))))
7.876 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0
7.877 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 1) 1)))) into 0
7.877 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
7.878 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0
7.878 * [backup-simplify]: Simplify (+ 0 0) into 0
7.878 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 im)) (exp (/ -1 im))) 0) (* 0 (sin (/ -1 re)))) into 0
7.879 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))))) into 0
7.879 * [taylor]: Taking taylor expansion of 0 in im
7.879 * [backup-simplify]: Simplify 0 into 0
7.879 * [backup-simplify]: Simplify 0 into 0
7.879 * [backup-simplify]: Simplify (+ 0) into 0
7.880 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 1)) into 0
7.880 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0
7.880 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
7.881 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 0)) into 0
7.881 * [backup-simplify]: Simplify (+ 0 0) into 0
7.881 * [backup-simplify]: Simplify (+ 0 0) into 0
7.882 * [backup-simplify]: Simplify (+ (* (+ (exp (/ -1 im)) (exp (/ 1 im))) 0) (* 0 (sin (/ -1 re)))) into 0
7.882 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re))))) into 0
7.882 * [backup-simplify]: Simplify 0 into 0
7.882 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
7.883 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
7.883 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
7.884 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
7.884 * [backup-simplify]: Simplify (+ 0 0) into 0
7.885 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 im)) (exp (/ -1 im))) 0) (+ (* 0 0) (* 0 (sin (/ -1 re))))) into 0
7.885 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))))) into 0
7.885 * [taylor]: Taking taylor expansion of 0 in im
7.885 * [backup-simplify]: Simplify 0 into 0
7.885 * [backup-simplify]: Simplify 0 into 0
7.885 * [backup-simplify]: Simplify 0 into 0
7.886 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
7.886 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 1))) into 0
7.886 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
7.887 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
7.887 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 0))) into 0
7.888 * [backup-simplify]: Simplify (+ 0 0) into 0
7.888 * [backup-simplify]: Simplify (+ 0 0) into 0
7.888 * [backup-simplify]: Simplify (+ (* (+ (exp (/ -1 im)) (exp (/ 1 im))) 0) (+ (* 0 0) (* 0 (sin (/ -1 re))))) into 0
7.889 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re)))))) into 0
7.889 * [backup-simplify]: Simplify 0 into 0
7.889 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
7.890 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
7.890 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
7.891 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
7.891 * [backup-simplify]: Simplify (+ 0 0) into 0
7.892 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 im)) (exp (/ -1 im))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 re)))))) into 0
7.893 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))))))) into 0
7.893 * [taylor]: Taking taylor expansion of 0 in im
7.893 * [backup-simplify]: Simplify 0 into 0
7.893 * [backup-simplify]: Simplify 0 into 0
7.893 * [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)))))
7.893 * * * [progress]: simplifying candidates
7.893 * * * * [progress]: [ 1 / 29 ] simplifiying candidate #<alt (λ (re im) (log1p (expm1 (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im))))))>
7.893 * * * * [progress]: [ 2 / 29 ] simplifiying candidate #<alt (λ (re im) (expm1 (log1p (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im))))))>
7.893 * * * * [progress]: [ 3 / 29 ] simplifiying candidate #<alt (λ (re im) (pow (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im))) 1))>
7.894 * * * * [progress]: [ 4 / 29 ] simplifiying candidate #<alt (λ (re im) (pow (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im))) 1))>
7.894 * * * * [progress]: [ 5 / 29 ] simplifiying candidate #<alt (λ (re im) (pow (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im))) 1))>
7.894 * * * * [progress]: [ 6 / 29 ] simplifiying candidate #<alt (λ (re im) (exp (+ (+ (log 0.5) (log (sin re))) (log (+ (exp (- 0 im)) (exp im))))))>
7.894 * * * * [progress]: [ 7 / 29 ] simplifiying candidate #<alt (λ (re im) (exp (+ (log (* 0.5 (sin re))) (log (+ (exp (- 0 im)) (exp im))))))>
7.894 * * * * [progress]: [ 8 / 29 ] simplifiying candidate #<alt (λ (re im) (exp (log (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im))))))>
7.894 * * * * [progress]: [ 9 / 29 ] simplifiying candidate #<alt (λ (re im) (log (exp (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im))))))>
7.894 * * * * [progress]: [ 10 / 29 ] simplifiying candidate #<alt (λ (re im) (cbrt (* (* (* (* 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))))))>
7.894 * * * * [progress]: [ 11 / 29 ] simplifiying candidate #<alt (λ (re im) (cbrt (* (* (* (* 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))))))>
7.894 * * * * [progress]: [ 12 / 29 ] simplifiying candidate #<alt (λ (re im) (* (* (cbrt (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im)))) (cbrt (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im))))) (cbrt (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im))))))>
7.894 * * * * [progress]: [ 13 / 29 ] simplifiying candidate #<alt (λ (re im) (cbrt (* (* (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im))) (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im)))) (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im))))))>
7.894 * * * * [progress]: [ 14 / 29 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im)))) (sqrt (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im))))))>
7.894 * * * * [progress]: [ 15 / 29 ] simplifiying candidate #<alt (λ (re im) (* 1 (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im)))))>
7.894 * * * * [progress]: [ 16 / 29 ] simplifiying candidate #<alt (λ (re im) (+ (* (* 0.5 (sin re)) (exp (- 0 im))) (* (* 0.5 (sin re)) (exp im))))>
7.894 * * * * [progress]: [ 17 / 29 ] simplifiying candidate #<alt (λ (re im) (+ (* (exp (- 0 im)) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re)))))>
7.894 * * * * [progress]: [ 18 / 29 ] simplifiying candidate #<alt (λ (re im) (* (* (* 0.5 (sin re)) (* (cbrt (+ (exp (- 0 im)) (exp im))) (cbrt (+ (exp (- 0 im)) (exp im))))) (cbrt (+ (exp (- 0 im)) (exp im)))))>
7.894 * * * * [progress]: [ 19 / 29 ] simplifiying candidate #<alt (λ (re im) (* (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0 im)) (exp im)))) (sqrt (+ (exp (- 0 im)) (exp im)))))>
7.894 * * * * [progress]: [ 20 / 29 ] simplifiying candidate #<alt (λ (re im) (* (* (* 0.5 (sin re)) 1) (+ (exp (- 0 im)) (exp im))))>
7.894 * * * * [progress]: [ 21 / 29 ] simplifiying candidate #<alt (λ (re im) (* (* (* 0.5 (sin re)) 1) (+ (exp (- 0 im)) (exp im))))>
7.894 * * * * [progress]: [ 22 / 29 ] simplifiying candidate #<alt (λ (re im) (* 0.5 (* (sin re) (+ (exp (- 0 im)) (exp im)))))>
7.894 * * * * [progress]: [ 23 / 29 ] simplifiying candidate #<alt (λ (re im) (/ (* (* 0.5 (sin re)) (+ (pow (exp (- 0 im)) 3) (pow (exp im) 3))) (+ (* (exp (- 0 im)) (exp (- 0 im))) (- (* (exp im) (exp im)) (* (exp (- 0 im)) (exp im))))))>
7.894 * * * * [progress]: [ 24 / 29 ] simplifiying candidate #<alt (λ (re im) (/ (* (* 0.5 (sin re)) (- (* (exp (- 0 im)) (exp (- 0 im))) (* (exp im) (exp im)))) (- (exp (- 0 im)) (exp im))))>
7.894 * * * * [progress]: [ 25 / 29 ] simplifiying candidate #<alt (λ (re im) (posit16->real (real->posit16 (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im))))))>
7.894 * * * * [progress]: [ 26 / 29 ] simplifiying candidate #<alt (λ (re im) (* (+ (exp (- 0 im)) (exp im)) (* 0.5 (sin re))))>
7.894 * * * * [progress]: [ 27 / 29 ] simplifiying candidate #<alt (λ (re im) (- (+ (* 1.0 re) (* 0.5 (* re (pow im 2)))) (* 0.16666666666666666 (pow re 3))))>
7.894 * * * * [progress]: [ 28 / 29 ] simplifiying candidate #<alt (λ (re im) (* 0.5 (* (sin re) (+ (exp (- im)) (exp im)))))>
7.895 * * * * [progress]: [ 29 / 29 ] simplifiying candidate #<alt (λ (re im) (* 0.5 (* (sin re) (+ (exp im) (exp (* -1 im))))))>
7.895 * [simplify]: Simplifying:
  (expm1 (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im))))
  (log1p (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im))))
  (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im)))
  (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im)))
  (+ (+ (log 0.5) (log (sin re))) (log (+ (exp (- 0 im)) (exp im))))
  (+ (log (* 0.5 (sin re))) (log (+ (exp (- 0 im)) (exp im))))
  (log (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im))))
  (exp (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im))))
  (* (* (* (* 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))))
  (* (* (* (* 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))))
  (* (cbrt (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im)))) (cbrt (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im)))))
  (cbrt (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im))))
  (* (* (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im))) (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im)))) (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im))))
  (sqrt (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im))))
  (sqrt (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im))))
  (* (* 0.5 (sin re)) (exp (- 0 im)))
  (* (* 0.5 (sin re)) (exp im))
  (* (exp (- 0 im)) (* 0.5 (sin re)))
  (* (exp im) (* 0.5 (sin re)))
  (* (* 0.5 (sin re)) (* (cbrt (+ (exp (- 0 im)) (exp im))) (cbrt (+ (exp (- 0 im)) (exp im)))))
  (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0 im)) (exp im))))
  (* (* 0.5 (sin re)) 1)
  (* (* 0.5 (sin re)) 1)
  (* (sin re) (+ (exp (- 0 im)) (exp im)))
  (* (* 0.5 (sin re)) (+ (pow (exp (- 0 im)) 3) (pow (exp im) 3)))
  (* (* 0.5 (sin re)) (- (* (exp (- 0 im)) (exp (- 0 im))) (* (exp im) (exp im))))
  (real->posit16 (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im))))
  (- (+ (* 1.0 re) (* 0.5 (* re (pow im 2)))) (* 0.16666666666666666 (pow re 3)))
  (* 0.5 (* (sin re) (+ (exp (- im)) (exp im))))
  (* 0.5 (* (sin re) (+ (exp im) (exp (* -1 im)))))
7.896 * * [simplify]: iteration 1: (82 enodes)
7.925 * * [simplify]: iteration 2: (251 enodes)
8.075 * * [simplify]: iteration 3: (999 enodes)
11.312 * * [simplify]: Extracting #0: cost 19 inf + 0
11.314 * * [simplify]: Extracting #1: cost 409 inf + 0
11.327 * * [simplify]: Extracting #2: cost 1292 inf + 2192
11.345 * * [simplify]: Extracting #3: cost 1562 inf + 53146
11.410 * * [simplify]: Extracting #4: cost 653 inf + 342464
11.608 * * [simplify]: Extracting #5: cost 44 inf + 589668
11.789 * * [simplify]: Extracting #6: cost 0 inf + 608404
11.995 * * [simplify]: Extracting #7: cost 0 inf + 607369
12.184 * * [simplify]: Extracting #8: cost 0 inf + 607327
12.352 * [simplify]: Simplified to:
  (expm1 (* (fma (sin re) (exp im) (/ (sin re) (exp im))) 0.5))
  (log1p (* (fma (sin re) (exp im) (/ (sin re) (exp im))) 0.5))
  (* (fma (sin re) (exp im) (/ (sin re) (exp im))) 0.5)
  (* (fma (sin re) (exp im) (/ (sin re) (exp im))) 0.5)
  (log (* (fma (sin re) (exp im) (/ (sin re) (exp im))) 0.5))
  (log (* (fma (sin re) (exp im) (/ (sin re) (exp im))) 0.5))
  (log (* (fma (sin re) (exp im) (/ (sin re) (exp im))) 0.5))
  (exp (* (fma (sin re) (exp im) (/ (sin re) (exp im))) 0.5))
  (* (* (* (fma (sin re) (exp im) (/ (sin re) (exp im))) 0.5) (* (fma (sin re) (exp im) (/ (sin re) (exp im))) 0.5)) (* (fma (sin re) (exp im) (/ (sin re) (exp im))) 0.5))
  (* (* (* (fma (sin re) (exp im) (/ (sin re) (exp im))) 0.5) (* (fma (sin re) (exp im) (/ (sin re) (exp im))) 0.5)) (* (fma (sin re) (exp im) (/ (sin re) (exp im))) 0.5))
  (* (cbrt (* (fma (sin re) (exp im) (/ (sin re) (exp im))) 0.5)) (cbrt (* (fma (sin re) (exp im) (/ (sin re) (exp im))) 0.5)))
  (cbrt (* (fma (sin re) (exp im) (/ (sin re) (exp im))) 0.5))
  (* (* (* (fma (sin re) (exp im) (/ (sin re) (exp im))) 0.5) (* (fma (sin re) (exp im) (/ (sin re) (exp im))) 0.5)) (* (fma (sin re) (exp im) (/ (sin re) (exp im))) 0.5))
  (sqrt (* (fma (sin re) (exp im) (/ (sin re) (exp im))) 0.5))
  (sqrt (* (fma (sin re) (exp im) (/ (sin re) (exp im))) 0.5))
  (* (/ (sin re) (exp im)) 0.5)
  (* (* 0.5 (exp im)) (sin re))
  (* (/ (sin re) (exp im)) 0.5)
  (* (* 0.5 (exp im)) (sin re))
  (* 0.5 (* (* (sin re) (cbrt (+ (exp (- im)) (exp im)))) (cbrt (+ (exp (- im)) (exp im)))))
  (* (* 0.5 (sin re)) (sqrt (+ (exp (- im)) (exp im))))
  (* 0.5 (sin re))
  (* 0.5 (sin re))
  (fma (sin re) (exp im) (/ (sin re) (exp im)))
  (* (* 0.5 (sin re)) (+ (exp (- (* 3 im))) (exp (* 3 im))))
  (* (* 0.5 (sin re)) (- (exp (* im -2)) (* (exp im) (exp im))))
  (real->posit16 (* (fma (sin re) (exp im) (/ (sin re) (exp im))) 0.5))
  (fma (* 0.5 re) (* im im) (* re (- 1.0 (* re (* 0.16666666666666666 re)))))
  (* (fma (sin re) (exp im) (/ (sin re) (exp im))) 0.5)
  (* (fma (sin re) (exp im) (/ (sin re) (exp im))) 0.5)
12.354 * * * [progress]: adding candidates to table
12.555 * * [progress]: iteration 2 / 4
12.555 * * * [progress]: picking best candidate
12.558 * * * * [pick]: Picked  #<alt (λ (re im) (* (fma (sin re) (exp im) (/ (sin re) (exp im))) 0.5))>
12.558 * * * [progress]: localizing error
12.579 * * * [progress]: generating rewritten candidates
12.579 * * * [progress]: generating series expansions
12.579 * * * [progress]: simplifying candidates
12.580 * [simplify]: Simplifying:
  
12.580 * * [simplify]: iteration 1: (0 enodes)
12.580 * * [simplify]: Extracting #0: cost 0 inf + 0
12.580 * [simplify]: Simplified to:
  
12.580 * * * [progress]: adding candidates to table
12.581 * [progress]: [Phase 3 of 3] Extracting.
12.586 * [simplify]: Simplifying:
  (* (fma (sin re) (exp im) (/ (sin re) (exp im))) 0.5)
12.586 * * [simplify]: iteration 1: (8 enodes)
12.586 * * [simplify]: iteration 2: (9 enodes)
12.587 * * [simplify]: Extracting #0: cost 1 inf + 0
12.587 * * [simplify]: Extracting #1: cost 3 inf + 0
12.587 * * [simplify]: Extracting #2: cost 5 inf + 1
12.587 * * [simplify]: Extracting #3: cost 7 inf + 1
12.587 * * [simplify]: Extracting #4: cost 4 inf + 74
12.587 * * [simplify]: Extracting #5: cost 0 inf + 802
12.588 * [simplify]: Simplified to:
  (* (fma (sin re) (exp im) (/ (sin re) (exp im))) 0.5)
21.695 * [regime-testing]: Baseline error score: 0.02316182724384515
21.699 * [regime-testing]: Oracle error score: 0.02316182724384515
21.700 * [regime-testing]: End program error score: 0.02316182724384515