6.495 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.278 * * * [progress]: [2/2] Setting up program.
0.283 * [progress]: [Phase 2 of 3] Improving.
0.283 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (re im) (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im))))>
0.283 * [simplify]: Simplifying:
  (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im)))
0.284 * * [simplify]: iteration 1: (11 enodes)
0.288 * * [simplify]: iteration 2: (27 enodes)
0.298 * * [simplify]: iteration 3: (60 enodes)
0.310 * * [simplify]: iteration 4: (98 enodes)
0.360 * * [simplify]: iteration 5: (178 enodes)
0.415 * * [simplify]: iteration 6: (347 enodes)
0.564 * * [simplify]: iteration 7: (669 enodes)
0.724 * * [simplify]: iteration 8: (777 enodes)
0.974 * * [simplify]: iteration 9: (917 enodes)
1.983 * * [simplify]: iteration 10: (1224 enodes)
2.642 * * [simplify]: iteration 11: (1487 enodes)
5.726 * * [simplify]: Extracting #0: cost 1 inf + 0
5.726 * * [simplify]: Extracting #1: cost 44 inf + 0
5.727 * * [simplify]: Extracting #2: cost 99 inf + 374
5.728 * * [simplify]: Extracting #3: cost 151 inf + 1241
5.731 * * [simplify]: Extracting #4: cost 110 inf + 5563
5.738 * * [simplify]: Extracting #5: cost 23 inf + 17938
5.750 * * [simplify]: Extracting #6: cost 0 inf + 24521
5.762 * [simplify]: Simplified to:
  (* 0.5 (+ (* (sin re) (exp im)) (/ (sin re) (exp im))))
5.770 * * [progress]: iteration 1 / 4
5.770 * * * [progress]: picking best candidate
5.775 * * * * [pick]: Picked  #<alt (λ (re im) (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im))))>
5.775 * * * [progress]: localizing error
5.796 * * * [progress]: generating rewritten candidates
5.796 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
5.899 * * * [progress]: generating series expansions
5.899 * * * * [progress]: [ 1 / 1 ] generating series at (2)
5.900 * [backup-simplify]: Simplify (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im))) into (* 0.5 (* (sin re) (+ (exp (- im)) (exp im))))
5.900 * [approximate]: Taking taylor expansion of (* 0.5 (* (sin re) (+ (exp (- im)) (exp im)))) in (re im) around 0
5.900 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin re) (+ (exp (- im)) (exp im)))) in im
5.900 * [taylor]: Taking taylor expansion of 0.5 in im
5.900 * [backup-simplify]: Simplify 0.5 into 0.5
5.900 * [taylor]: Taking taylor expansion of (* (sin re) (+ (exp (- im)) (exp im))) in im
5.900 * [taylor]: Taking taylor expansion of (sin re) in im
5.900 * [taylor]: Taking taylor expansion of re in im
5.900 * [backup-simplify]: Simplify re into re
5.900 * [backup-simplify]: Simplify (sin re) into (sin re)
5.900 * [backup-simplify]: Simplify (cos re) into (cos re)
5.901 * [taylor]: Taking taylor expansion of (+ (exp (- im)) (exp im)) in im
5.901 * [taylor]: Taking taylor expansion of (exp (- im)) in im
5.901 * [taylor]: Taking taylor expansion of (- im) in im
5.901 * [taylor]: Taking taylor expansion of im in im
5.901 * [backup-simplify]: Simplify 0 into 0
5.901 * [backup-simplify]: Simplify 1 into 1
5.902 * [backup-simplify]: Simplify (- 0) into 0
5.902 * [backup-simplify]: Simplify (- 1) into -1
5.902 * [backup-simplify]: Simplify (exp 0) into 1
5.902 * [taylor]: Taking taylor expansion of (exp im) in im
5.902 * [taylor]: Taking taylor expansion of im in im
5.902 * [backup-simplify]: Simplify 0 into 0
5.902 * [backup-simplify]: Simplify 1 into 1
5.902 * [backup-simplify]: Simplify (exp 0) into 1
5.902 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin re) (+ (exp (- im)) (exp im)))) in re
5.902 * [taylor]: Taking taylor expansion of 0.5 in re
5.902 * [backup-simplify]: Simplify 0.5 into 0.5
5.902 * [taylor]: Taking taylor expansion of (* (sin re) (+ (exp (- im)) (exp im))) in re
5.902 * [taylor]: Taking taylor expansion of (sin re) in re
5.902 * [taylor]: Taking taylor expansion of re in re
5.902 * [backup-simplify]: Simplify 0 into 0
5.903 * [backup-simplify]: Simplify 1 into 1
5.903 * [taylor]: Taking taylor expansion of (+ (exp (- im)) (exp im)) in re
5.903 * [taylor]: Taking taylor expansion of (exp (- im)) in re
5.903 * [taylor]: Taking taylor expansion of (- im) in re
5.903 * [taylor]: Taking taylor expansion of im in re
5.903 * [backup-simplify]: Simplify im into im
5.903 * [backup-simplify]: Simplify (- im) into (- im)
5.903 * [backup-simplify]: Simplify (- im) into (- im)
5.903 * [backup-simplify]: Simplify (exp (- im)) into (exp (- im))
5.903 * [taylor]: Taking taylor expansion of (exp im) in re
5.903 * [taylor]: Taking taylor expansion of im in re
5.903 * [backup-simplify]: Simplify im into im
5.903 * [backup-simplify]: Simplify (exp im) into (exp im)
5.903 * [taylor]: Taking taylor expansion of (* 0.5 (* (sin re) (+ (exp (- im)) (exp im)))) in re
5.903 * [taylor]: Taking taylor expansion of 0.5 in re
5.903 * [backup-simplify]: Simplify 0.5 into 0.5
5.903 * [taylor]: Taking taylor expansion of (* (sin re) (+ (exp (- im)) (exp im))) in re
5.903 * [taylor]: Taking taylor expansion of (sin re) in re
5.903 * [taylor]: Taking taylor expansion of re in re
5.903 * [backup-simplify]: Simplify 0 into 0
5.903 * [backup-simplify]: Simplify 1 into 1
5.903 * [taylor]: Taking taylor expansion of (+ (exp (- im)) (exp im)) in re
5.903 * [taylor]: Taking taylor expansion of (exp (- im)) in re
5.903 * [taylor]: Taking taylor expansion of (- im) in re
5.903 * [taylor]: Taking taylor expansion of im in re
5.903 * [backup-simplify]: Simplify im into im
5.903 * [backup-simplify]: Simplify (- im) into (- im)
5.903 * [backup-simplify]: Simplify (- im) into (- im)
5.903 * [backup-simplify]: Simplify (exp (- im)) into (exp (- im))
5.904 * [taylor]: Taking taylor expansion of (exp im) in re
5.904 * [taylor]: Taking taylor expansion of im in re
5.904 * [backup-simplify]: Simplify im into im
5.904 * [backup-simplify]: Simplify (exp im) into (exp im)
5.904 * [backup-simplify]: Simplify (+ (exp (- im)) (exp im)) into (+ (exp (- im)) (exp im))
5.904 * [backup-simplify]: Simplify (* 0 (+ (exp (- im)) (exp im))) into 0
5.905 * [backup-simplify]: Simplify (* 0.5 0) into 0
5.905 * [taylor]: Taking taylor expansion of 0 in im
5.905 * [backup-simplify]: Simplify 0 into 0
5.905 * [backup-simplify]: Simplify 0 into 0
5.905 * [backup-simplify]: Simplify (- im) into (- im)
5.906 * [backup-simplify]: Simplify (- 0) into 0
5.907 * [backup-simplify]: Simplify (* (exp (- im)) (+ (* (/ (pow 0 1) 1)))) into 0
5.908 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 1) 1)))) into 0
5.908 * [backup-simplify]: Simplify (+ 0 0) into 0
5.909 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
5.910 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (+ (exp (- im)) (exp im)))) into (+ (exp (- im)) (exp im))
5.910 * [backup-simplify]: Simplify (+ (* 0.5 (+ (exp (- im)) (exp im))) (* 0 0)) into (+ (* 0.5 (exp (- im))) (* 0.5 (exp im)))
5.910 * [taylor]: Taking taylor expansion of (+ (* 0.5 (exp (- im))) (* 0.5 (exp im))) in im
5.910 * [taylor]: Taking taylor expansion of (* 0.5 (exp (- im))) in im
5.910 * [taylor]: Taking taylor expansion of 0.5 in im
5.910 * [backup-simplify]: Simplify 0.5 into 0.5
5.910 * [taylor]: Taking taylor expansion of (exp (- im)) in im
5.911 * [taylor]: Taking taylor expansion of (- im) in im
5.911 * [taylor]: Taking taylor expansion of im in im
5.911 * [backup-simplify]: Simplify 0 into 0
5.911 * [backup-simplify]: Simplify 1 into 1
5.911 * [backup-simplify]: Simplify (- 0) into 0
5.911 * [backup-simplify]: Simplify (- 1) into -1
5.911 * [backup-simplify]: Simplify (exp 0) into 1
5.911 * [taylor]: Taking taylor expansion of (* 0.5 (exp im)) in im
5.911 * [taylor]: Taking taylor expansion of 0.5 in im
5.912 * [backup-simplify]: Simplify 0.5 into 0.5
5.912 * [taylor]: Taking taylor expansion of (exp im) in im
5.912 * [taylor]: Taking taylor expansion of im in im
5.912 * [backup-simplify]: Simplify 0 into 0
5.912 * [backup-simplify]: Simplify 1 into 1
5.912 * [backup-simplify]: Simplify (exp 0) into 1
5.912 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
5.913 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
5.913 * [backup-simplify]: Simplify (+ 0.5 0.5) into 1.0
5.913 * [backup-simplify]: Simplify 1.0 into 1.0
5.913 * [backup-simplify]: Simplify 0 into 0
5.913 * [backup-simplify]: Simplify (- im) into (- im)
5.914 * [backup-simplify]: Simplify (- 0) into 0
5.914 * [backup-simplify]: Simplify (- 0) into 0
5.915 * [backup-simplify]: Simplify (* (exp (- im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.917 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.918 * [backup-simplify]: Simplify (+ 0 0) into 0
5.919 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
5.920 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (+ (exp (- im)) (exp im))))) into 0
5.920 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 (+ (exp (- im)) (exp im))) (* 0 0))) into 0
5.921 * [taylor]: Taking taylor expansion of 0 in im
5.921 * [backup-simplify]: Simplify 0 into 0
5.921 * [backup-simplify]: Simplify 0 into 0
5.921 * [backup-simplify]: Simplify (- 1) into -1
5.922 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
5.924 * [backup-simplify]: Simplify (+ (* 0.5 -1) (* 0 1)) into (- 0.5)
5.925 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
5.927 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 1)) into 0.5
5.928 * [backup-simplify]: Simplify (+ (- 0.5) 0.5) into 0
5.928 * [backup-simplify]: Simplify 0 into 0
5.928 * [backup-simplify]: Simplify 0 into 0
5.928 * [backup-simplify]: Simplify (- im) into (- im)
5.928 * [backup-simplify]: Simplify (- 0) into 0
5.929 * [backup-simplify]: Simplify (- 0) into 0
5.929 * [backup-simplify]: Simplify (- 0) into 0
5.930 * [backup-simplify]: Simplify (- 0) into 0
5.932 * [backup-simplify]: Simplify (* (exp (- im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
5.934 * [backup-simplify]: Simplify (* (exp im) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
5.934 * [backup-simplify]: Simplify (+ 0 0) into 0
5.936 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into -1/6
5.937 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* -1/6 (+ (exp (- im)) (exp im)))))) into (- (+ (* 1/6 (exp (- im))) (* 1/6 (exp im))))
5.938 * [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))))
5.938 * [taylor]: Taking taylor expansion of (- (+ (* 0.08333333333333333 (exp (- im))) (* 0.08333333333333333 (exp im)))) in im
5.938 * [taylor]: Taking taylor expansion of (+ (* 0.08333333333333333 (exp (- im))) (* 0.08333333333333333 (exp im))) in im
5.939 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (exp (- im))) in im
5.939 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im
5.939 * [backup-simplify]: Simplify 0.08333333333333333 into 0.08333333333333333
5.939 * [taylor]: Taking taylor expansion of (exp (- im)) in im
5.939 * [taylor]: Taking taylor expansion of (- im) in im
5.939 * [taylor]: Taking taylor expansion of im in im
5.939 * [backup-simplify]: Simplify 0 into 0
5.939 * [backup-simplify]: Simplify 1 into 1
5.939 * [backup-simplify]: Simplify (- 0) into 0
5.940 * [backup-simplify]: Simplify (- 1) into -1
5.940 * [backup-simplify]: Simplify (exp 0) into 1
5.940 * [taylor]: Taking taylor expansion of (* 0.08333333333333333 (exp im)) in im
5.940 * [taylor]: Taking taylor expansion of 0.08333333333333333 in im
5.940 * [backup-simplify]: Simplify 0.08333333333333333 into 0.08333333333333333
5.940 * [taylor]: Taking taylor expansion of (exp im) in im
5.940 * [taylor]: Taking taylor expansion of im in im
5.940 * [backup-simplify]: Simplify 0 into 0
5.940 * [backup-simplify]: Simplify 1 into 1
5.940 * [backup-simplify]: Simplify (exp 0) into 1
5.940 * [backup-simplify]: Simplify (* 0.08333333333333333 1) into 0.08333333333333333
5.941 * [backup-simplify]: Simplify (* 0.08333333333333333 1) into 0.08333333333333333
5.941 * [backup-simplify]: Simplify (+ 0.08333333333333333 0.08333333333333333) into 0.16666666666666666
5.942 * [backup-simplify]: Simplify (- 0.16666666666666666) into (- 0.16666666666666666)
5.942 * [backup-simplify]: Simplify (- 0.16666666666666666) into (- 0.16666666666666666)
5.942 * [backup-simplify]: Simplify 0 into 0
5.943 * [backup-simplify]: Simplify (- 1) into -1
5.943 * [backup-simplify]: Simplify (- 0) into 0
5.945 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
5.947 * [backup-simplify]: Simplify (+ (* 0.5 1/2) (+ (* 0 -1) (* 0 1))) into 0.25
5.949 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
5.951 * [backup-simplify]: Simplify (+ (* 0.5 1/2) (+ (* 0 1) (* 0 1))) into 0.25
5.952 * [backup-simplify]: Simplify (+ 0.25 0.25) into 0.5
5.952 * [backup-simplify]: Simplify 0.5 into 0.5
5.953 * [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)))
5.954 * [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))))
5.954 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))) in (re im) around 0
5.954 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))) in im
5.954 * [taylor]: Taking taylor expansion of 0.5 in im
5.954 * [backup-simplify]: Simplify 0.5 into 0.5
5.954 * [taylor]: Taking taylor expansion of (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))) in im
5.954 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im
5.954 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im
5.954 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im
5.954 * [taylor]: Taking taylor expansion of (/ 1 im) in im
5.954 * [taylor]: Taking taylor expansion of im in im
5.954 * [backup-simplify]: Simplify 0 into 0
5.954 * [backup-simplify]: Simplify 1 into 1
5.954 * [backup-simplify]: Simplify (/ 1 1) into 1
5.955 * [backup-simplify]: Simplify (- 1) into -1
5.955 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im)))
5.955 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
5.955 * [taylor]: Taking taylor expansion of (/ 1 im) in im
5.955 * [taylor]: Taking taylor expansion of im in im
5.955 * [backup-simplify]: Simplify 0 into 0
5.955 * [backup-simplify]: Simplify 1 into 1
5.955 * [backup-simplify]: Simplify (/ 1 1) into 1
5.956 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
5.956 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im
5.956 * [taylor]: Taking taylor expansion of (/ 1 re) in im
5.956 * [taylor]: Taking taylor expansion of re in im
5.956 * [backup-simplify]: Simplify re into re
5.956 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
5.956 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re))
5.956 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
5.956 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))) in re
5.956 * [taylor]: Taking taylor expansion of 0.5 in re
5.956 * [backup-simplify]: Simplify 0.5 into 0.5
5.956 * [taylor]: Taking taylor expansion of (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))) in re
5.956 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in re
5.956 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re
5.956 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re
5.956 * [taylor]: Taking taylor expansion of (/ 1 im) in re
5.956 * [taylor]: Taking taylor expansion of im in re
5.956 * [backup-simplify]: Simplify im into im
5.956 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
5.956 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im))
5.956 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im))
5.956 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im)))
5.957 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
5.957 * [taylor]: Taking taylor expansion of (/ 1 im) in re
5.957 * [taylor]: Taking taylor expansion of im in re
5.957 * [backup-simplify]: Simplify im into im
5.957 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
5.957 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
5.957 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re
5.957 * [taylor]: Taking taylor expansion of (/ 1 re) in re
5.957 * [taylor]: Taking taylor expansion of re in re
5.957 * [backup-simplify]: Simplify 0 into 0
5.957 * [backup-simplify]: Simplify 1 into 1
5.957 * [backup-simplify]: Simplify (/ 1 1) into 1
5.957 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re))
5.957 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))) in re
5.957 * [taylor]: Taking taylor expansion of 0.5 in re
5.957 * [backup-simplify]: Simplify 0.5 into 0.5
5.957 * [taylor]: Taking taylor expansion of (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))) in re
5.958 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in re
5.958 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in re
5.958 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in re
5.958 * [taylor]: Taking taylor expansion of (/ 1 im) in re
5.958 * [taylor]: Taking taylor expansion of im in re
5.958 * [backup-simplify]: Simplify im into im
5.958 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
5.958 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im))
5.958 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im))
5.958 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im)))
5.958 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
5.958 * [taylor]: Taking taylor expansion of (/ 1 im) in re
5.958 * [taylor]: Taking taylor expansion of im in re
5.958 * [backup-simplify]: Simplify im into im
5.958 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
5.958 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
5.958 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in re
5.958 * [taylor]: Taking taylor expansion of (/ 1 re) in re
5.958 * [taylor]: Taking taylor expansion of re in re
5.958 * [backup-simplify]: Simplify 0 into 0
5.958 * [backup-simplify]: Simplify 1 into 1
5.959 * [backup-simplify]: Simplify (/ 1 1) into 1
5.959 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re))
5.959 * [backup-simplify]: Simplify (+ (exp (- (/ 1 im))) (exp (/ 1 im))) into (+ (exp (- (/ 1 im))) (exp (/ 1 im)))
5.959 * [backup-simplify]: Simplify (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))) into (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))
5.960 * [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))))
5.960 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))) in im
5.960 * [taylor]: Taking taylor expansion of 0.5 in im
5.960 * [backup-simplify]: Simplify 0.5 into 0.5
5.960 * [taylor]: Taking taylor expansion of (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))) in im
5.960 * [taylor]: Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im
5.960 * [taylor]: Taking taylor expansion of (exp (- (/ 1 im))) in im
5.960 * [taylor]: Taking taylor expansion of (- (/ 1 im)) in im
5.960 * [taylor]: Taking taylor expansion of (/ 1 im) in im
5.960 * [taylor]: Taking taylor expansion of im in im
5.960 * [backup-simplify]: Simplify 0 into 0
5.960 * [backup-simplify]: Simplify 1 into 1
5.960 * [backup-simplify]: Simplify (/ 1 1) into 1
5.960 * [backup-simplify]: Simplify (- 1) into -1
5.960 * [backup-simplify]: Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im)))
5.960 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
5.960 * [taylor]: Taking taylor expansion of (/ 1 im) in im
5.960 * [taylor]: Taking taylor expansion of im in im
5.961 * [backup-simplify]: Simplify 0 into 0
5.961 * [backup-simplify]: Simplify 1 into 1
5.961 * [backup-simplify]: Simplify (/ 1 1) into 1
5.961 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
5.961 * [taylor]: Taking taylor expansion of (sin (/ 1 re)) in im
5.961 * [taylor]: Taking taylor expansion of (/ 1 re) in im
5.961 * [taylor]: Taking taylor expansion of re in im
5.961 * [backup-simplify]: Simplify re into re
5.961 * [backup-simplify]: Simplify (/ 1 re) into (/ 1 re)
5.961 * [backup-simplify]: Simplify (sin (/ 1 re)) into (sin (/ 1 re))
5.961 * [backup-simplify]: Simplify (cos (/ 1 re)) into (cos (/ 1 re))
5.961 * [backup-simplify]: Simplify (+ (exp (- (/ 1 im))) (exp (/ 1 im))) into (+ (exp (- (/ 1 im))) (exp (/ 1 im)))
5.961 * [backup-simplify]: Simplify (* (sin (/ 1 re)) 1) into (sin (/ 1 re))
5.961 * [backup-simplify]: Simplify (* (cos (/ 1 re)) 0) into 0
5.961 * [backup-simplify]: Simplify (+ (sin (/ 1 re)) 0) into (sin (/ 1 re))
5.962 * [backup-simplify]: Simplify (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))) into (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))
5.962 * [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))))
5.962 * [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))))
5.962 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im))
5.962 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
5.962 * [backup-simplify]: Simplify (- 0) into 0
5.963 * [backup-simplify]: Simplify (* (exp (- (/ 1 im))) (+ (* (/ (pow 0 1) 1)))) into 0
5.963 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
5.963 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0
5.964 * [backup-simplify]: Simplify (+ 0 0) into 0
5.964 * [backup-simplify]: Simplify (+ (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 0) (* 0 (sin (/ 1 re)))) into 0
5.964 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))))) into 0
5.964 * [taylor]: Taking taylor expansion of 0 in im
5.964 * [backup-simplify]: Simplify 0 into 0
5.964 * [backup-simplify]: Simplify 0 into 0
5.965 * [backup-simplify]: Simplify (+ 0) into 0
5.965 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 1)) into 0
5.965 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0
5.966 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
5.966 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 0)) into 0
5.966 * [backup-simplify]: Simplify (+ 0 0) into 0
5.966 * [backup-simplify]: Simplify (+ 0 0) into 0
5.966 * [backup-simplify]: Simplify (+ (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 0) (* 0 (sin (/ 1 re)))) into 0
5.967 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))))) into 0
5.967 * [backup-simplify]: Simplify 0 into 0
5.967 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im))
5.967 * [backup-simplify]: Simplify (- 0) into 0
5.967 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
5.968 * [backup-simplify]: Simplify (- 0) into 0
5.968 * [backup-simplify]: Simplify (* (exp (- (/ 1 im))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.969 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
5.969 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.970 * [backup-simplify]: Simplify (+ 0 0) into 0
5.970 * [backup-simplify]: Simplify (+ (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 0) (+ (* 0 0) (* 0 (sin (/ 1 re))))) into 0
5.971 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))))) into 0
5.971 * [taylor]: Taking taylor expansion of 0 in im
5.971 * [backup-simplify]: Simplify 0 into 0
5.971 * [backup-simplify]: Simplify 0 into 0
5.971 * [backup-simplify]: Simplify 0 into 0
5.972 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
5.972 * [backup-simplify]: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 1))) into 0
5.972 * [backup-simplify]: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
5.973 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
5.973 * [backup-simplify]: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 0))) into 0
5.973 * [backup-simplify]: Simplify (+ 0 0) into 0
5.974 * [backup-simplify]: Simplify (+ 0 0) into 0
5.974 * [backup-simplify]: Simplify (+ (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 0) (+ (* 0 0) (* 0 (sin (/ 1 re))))) into 0
5.975 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re)))))) into 0
5.975 * [backup-simplify]: Simplify 0 into 0
5.975 * [backup-simplify]: Simplify (- (/ 1 im)) into (- (/ 1 im))
5.975 * [backup-simplify]: Simplify (- 0) into 0
5.975 * [backup-simplify]: Simplify (- 0) into 0
5.976 * [backup-simplify]: Simplify (- 0) into 0
5.976 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
5.976 * [backup-simplify]: Simplify (- 0) into 0
5.977 * [backup-simplify]: Simplify (* (exp (- (/ 1 im))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
5.977 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
5.978 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
5.978 * [backup-simplify]: Simplify (+ 0 0) into 0
5.979 * [backup-simplify]: Simplify (+ (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ 1 re)))))) into 0
5.980 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (+ (exp (- (/ 1 im))) (exp (/ 1 im))) (sin (/ 1 re))))))) into 0
5.980 * [taylor]: Taking taylor expansion of 0 in im
5.980 * [backup-simplify]: Simplify 0 into 0
5.980 * [backup-simplify]: Simplify 0 into 0
5.980 * [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))))
5.980 * [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))))
5.980 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in (re im) around 0
5.980 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in im
5.980 * [taylor]: Taking taylor expansion of 0.5 in im
5.980 * [backup-simplify]: Simplify 0.5 into 0.5
5.980 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in im
5.980 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im
5.980 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
5.980 * [taylor]: Taking taylor expansion of (/ -1 im) in im
5.980 * [taylor]: Taking taylor expansion of -1 in im
5.980 * [backup-simplify]: Simplify -1 into -1
5.980 * [taylor]: Taking taylor expansion of im in im
5.980 * [backup-simplify]: Simplify 0 into 0
5.980 * [backup-simplify]: Simplify 1 into 1
5.981 * [backup-simplify]: Simplify (/ -1 1) into -1
5.981 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
5.981 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
5.981 * [taylor]: Taking taylor expansion of (/ 1 im) in im
5.981 * [taylor]: Taking taylor expansion of im in im
5.981 * [backup-simplify]: Simplify 0 into 0
5.981 * [backup-simplify]: Simplify 1 into 1
5.981 * [backup-simplify]: Simplify (/ 1 1) into 1
5.981 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
5.981 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im
5.981 * [taylor]: Taking taylor expansion of (/ -1 re) in im
5.981 * [taylor]: Taking taylor expansion of -1 in im
5.981 * [backup-simplify]: Simplify -1 into -1
5.981 * [taylor]: Taking taylor expansion of re in im
5.981 * [backup-simplify]: Simplify re into re
5.981 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re)
5.981 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re))
5.981 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
5.981 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in re
5.981 * [taylor]: Taking taylor expansion of 0.5 in re
5.981 * [backup-simplify]: Simplify 0.5 into 0.5
5.981 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in re
5.981 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re
5.981 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
5.981 * [taylor]: Taking taylor expansion of (/ -1 im) in re
5.981 * [taylor]: Taking taylor expansion of -1 in re
5.981 * [backup-simplify]: Simplify -1 into -1
5.981 * [taylor]: Taking taylor expansion of im in re
5.981 * [backup-simplify]: Simplify im into im
5.982 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im)
5.982 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
5.982 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
5.982 * [taylor]: Taking taylor expansion of (/ 1 im) in re
5.982 * [taylor]: Taking taylor expansion of im in re
5.982 * [backup-simplify]: Simplify im into im
5.982 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
5.982 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
5.982 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re
5.982 * [taylor]: Taking taylor expansion of (/ -1 re) in re
5.982 * [taylor]: Taking taylor expansion of -1 in re
5.982 * [backup-simplify]: Simplify -1 into -1
5.982 * [taylor]: Taking taylor expansion of re in re
5.982 * [backup-simplify]: Simplify 0 into 0
5.982 * [backup-simplify]: Simplify 1 into 1
5.982 * [backup-simplify]: Simplify (/ -1 1) into -1
5.982 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re))
5.982 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))) in re
5.982 * [taylor]: Taking taylor expansion of 0.5 in re
5.982 * [backup-simplify]: Simplify 0.5 into 0.5
5.982 * [taylor]: Taking taylor expansion of (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) in re
5.982 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in re
5.982 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in re
5.982 * [taylor]: Taking taylor expansion of (/ -1 im) in re
5.982 * [taylor]: Taking taylor expansion of -1 in re
5.982 * [backup-simplify]: Simplify -1 into -1
5.982 * [taylor]: Taking taylor expansion of im in re
5.982 * [backup-simplify]: Simplify im into im
5.982 * [backup-simplify]: Simplify (/ -1 im) into (/ -1 im)
5.982 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
5.982 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in re
5.982 * [taylor]: Taking taylor expansion of (/ 1 im) in re
5.982 * [taylor]: Taking taylor expansion of im in re
5.982 * [backup-simplify]: Simplify im into im
5.982 * [backup-simplify]: Simplify (/ 1 im) into (/ 1 im)
5.983 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
5.983 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in re
5.983 * [taylor]: Taking taylor expansion of (/ -1 re) in re
5.983 * [taylor]: Taking taylor expansion of -1 in re
5.983 * [backup-simplify]: Simplify -1 into -1
5.983 * [taylor]: Taking taylor expansion of re in re
5.983 * [backup-simplify]: Simplify 0 into 0
5.983 * [backup-simplify]: Simplify 1 into 1
5.983 * [backup-simplify]: Simplify (/ -1 1) into -1
5.983 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re))
5.983 * [backup-simplify]: Simplify (+ (exp (/ -1 im)) (exp (/ 1 im))) into (+ (exp (/ 1 im)) (exp (/ -1 im)))
5.983 * [backup-simplify]: Simplify (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re))) into (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))
5.983 * [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))))
5.983 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re)))) in im
5.983 * [taylor]: Taking taylor expansion of 0.5 in im
5.983 * [backup-simplify]: Simplify 0.5 into 0.5
5.983 * [taylor]: Taking taylor expansion of (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re))) in im
5.983 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 im)) (exp (/ -1 im))) in im
5.983 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
5.983 * [taylor]: Taking taylor expansion of (/ 1 im) in im
5.983 * [taylor]: Taking taylor expansion of im in im
5.983 * [backup-simplify]: Simplify 0 into 0
5.983 * [backup-simplify]: Simplify 1 into 1
5.984 * [backup-simplify]: Simplify (/ 1 1) into 1
5.984 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
5.984 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
5.984 * [taylor]: Taking taylor expansion of (/ -1 im) in im
5.984 * [taylor]: Taking taylor expansion of -1 in im
5.984 * [backup-simplify]: Simplify -1 into -1
5.984 * [taylor]: Taking taylor expansion of im in im
5.984 * [backup-simplify]: Simplify 0 into 0
5.984 * [backup-simplify]: Simplify 1 into 1
5.984 * [backup-simplify]: Simplify (/ -1 1) into -1
5.984 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
5.984 * [taylor]: Taking taylor expansion of (sin (/ -1 re)) in im
5.984 * [taylor]: Taking taylor expansion of (/ -1 re) in im
5.984 * [taylor]: Taking taylor expansion of -1 in im
5.984 * [backup-simplify]: Simplify -1 into -1
5.984 * [taylor]: Taking taylor expansion of re in im
5.984 * [backup-simplify]: Simplify re into re
5.984 * [backup-simplify]: Simplify (/ -1 re) into (/ -1 re)
5.984 * [backup-simplify]: Simplify (sin (/ -1 re)) into (sin (/ -1 re))
5.984 * [backup-simplify]: Simplify (cos (/ -1 re)) into (cos (/ -1 re))
5.985 * [backup-simplify]: Simplify (+ (exp (/ 1 im)) (exp (/ -1 im))) into (+ (exp (/ -1 im)) (exp (/ 1 im)))
5.985 * [backup-simplify]: Simplify (* (sin (/ -1 re)) 1) into (sin (/ -1 re))
5.985 * [backup-simplify]: Simplify (* (cos (/ -1 re)) 0) into 0
5.985 * [backup-simplify]: Simplify (+ (sin (/ -1 re)) 0) into (sin (/ -1 re))
5.985 * [backup-simplify]: Simplify (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))) into (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re)))
5.985 * [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))))
5.985 * [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))))
5.985 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0
5.986 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 1) 1)))) into 0
5.986 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
5.986 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0
5.986 * [backup-simplify]: Simplify (+ 0 0) into 0
5.987 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 im)) (exp (/ -1 im))) 0) (* 0 (sin (/ -1 re)))) into 0
5.987 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))))) into 0
5.987 * [taylor]: Taking taylor expansion of 0 in im
5.987 * [backup-simplify]: Simplify 0 into 0
5.987 * [backup-simplify]: Simplify 0 into 0
5.987 * [backup-simplify]: Simplify (+ 0) into 0
5.988 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 1)) into 0
5.988 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0
5.988 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
5.989 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 0)) into 0
5.989 * [backup-simplify]: Simplify (+ 0 0) into 0
5.989 * [backup-simplify]: Simplify (+ 0 0) into 0
5.989 * [backup-simplify]: Simplify (+ (* (+ (exp (/ -1 im)) (exp (/ 1 im))) 0) (* 0 (sin (/ -1 re)))) into 0
5.990 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re))))) into 0
5.990 * [backup-simplify]: Simplify 0 into 0
5.990 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
5.990 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.991 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
5.991 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.992 * [backup-simplify]: Simplify (+ 0 0) into 0
5.992 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 im)) (exp (/ -1 im))) 0) (+ (* 0 0) (* 0 (sin (/ -1 re))))) into 0
5.993 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re)))))) into 0
5.993 * [taylor]: Taking taylor expansion of 0 in im
5.993 * [backup-simplify]: Simplify 0 into 0
5.993 * [backup-simplify]: Simplify 0 into 0
5.993 * [backup-simplify]: Simplify 0 into 0
5.993 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
5.994 * [backup-simplify]: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 1))) into 0
5.994 * [backup-simplify]: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
5.994 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
5.995 * [backup-simplify]: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 0))) into 0
5.995 * [backup-simplify]: Simplify (+ 0 0) into 0
5.995 * [backup-simplify]: Simplify (+ 0 0) into 0
5.995 * [backup-simplify]: Simplify (+ (* (+ (exp (/ -1 im)) (exp (/ 1 im))) 0) (+ (* 0 0) (* 0 (sin (/ -1 re))))) into 0
5.996 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (+ (exp (/ 1 im)) (exp (/ -1 im))) (sin (/ -1 re)))))) into 0
5.996 * [backup-simplify]: Simplify 0 into 0
5.996 * [backup-simplify]: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
5.997 * [backup-simplify]: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
5.997 * [backup-simplify]: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
5.998 * [backup-simplify]: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
5.999 * [backup-simplify]: Simplify (+ 0 0) into 0
5.999 * [backup-simplify]: Simplify (+ (* (+ (exp (/ 1 im)) (exp (/ -1 im))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sin (/ -1 re)))))) into 0
6.000 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* (+ (exp (/ -1 im)) (exp (/ 1 im))) (sin (/ -1 re))))))) into 0
6.000 * [taylor]: Taking taylor expansion of 0 in im
6.000 * [backup-simplify]: Simplify 0 into 0
6.000 * [backup-simplify]: Simplify 0 into 0
6.000 * [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)))))
6.001 * * * [progress]: simplifying candidates
6.001 * * * * [progress]: [ 1 / 27 ] simplifiying candidate #<alt (λ (re im) (pow (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im))) 1))>
6.001 * * * * [progress]: [ 2 / 27 ] simplifiying candidate #<alt (λ (re im) (pow (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im))) 1))>
6.001 * * * * [progress]: [ 3 / 27 ] simplifiying candidate #<alt (λ (re im) (pow (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im))) 1))>
6.001 * * * * [progress]: [ 4 / 27 ] simplifiying candidate #<alt (λ (re im) (exp (+ (+ (log 0.5) (log (sin re))) (log (+ (exp (- 0 im)) (exp im))))))>
6.001 * * * * [progress]: [ 5 / 27 ] simplifiying candidate #<alt (λ (re im) (exp (+ (log (* 0.5 (sin re))) (log (+ (exp (- 0 im)) (exp im))))))>
6.001 * * * * [progress]: [ 6 / 27 ] simplifiying candidate #<alt (λ (re im) (exp (log (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im))))))>
6.001 * * * * [progress]: [ 7 / 27 ] simplifiying candidate #<alt (λ (re im) (log (exp (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im))))))>
6.001 * * * * [progress]: [ 8 / 27 ] 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))))))>
6.001 * * * * [progress]: [ 9 / 27 ] 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))))))>
6.001 * * * * [progress]: [ 10 / 27 ] 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))))))>
6.001 * * * * [progress]: [ 11 / 27 ] 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))))))>
6.001 * * * * [progress]: [ 12 / 27 ] 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))))))>
6.001 * * * * [progress]: [ 13 / 27 ] simplifiying candidate #<alt (λ (re im) (* 1 (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im)))))>
6.001 * * * * [progress]: [ 14 / 27 ] simplifiying candidate #<alt (λ (re im) (+ (* (* 0.5 (sin re)) (exp (- 0 im))) (* (* 0.5 (sin re)) (exp im))))>
6.001 * * * * [progress]: [ 15 / 27 ] simplifiying candidate #<alt (λ (re im) (+ (* (exp (- 0 im)) (* 0.5 (sin re))) (* (exp im) (* 0.5 (sin re)))))>
6.002 * * * * [progress]: [ 16 / 27 ] 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)))))>
6.002 * * * * [progress]: [ 17 / 27 ] simplifiying candidate #<alt (λ (re im) (* (* (* 0.5 (sin re)) (sqrt (+ (exp (- 0 im)) (exp im)))) (sqrt (+ (exp (- 0 im)) (exp im)))))>
6.002 * * * * [progress]: [ 18 / 27 ] simplifiying candidate #<alt (λ (re im) (* (* (* 0.5 (sin re)) 1) (+ (exp (- 0 im)) (exp im))))>
6.002 * * * * [progress]: [ 19 / 27 ] simplifiying candidate #<alt (λ (re im) (* (* (* 0.5 (sin re)) 1) (+ (exp (- 0 im)) (exp im))))>
6.002 * * * * [progress]: [ 20 / 27 ] simplifiying candidate #<alt (λ (re im) (* 0.5 (* (sin re) (+ (exp (- 0 im)) (exp im)))))>
6.002 * * * * [progress]: [ 21 / 27 ] 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))))))>
6.002 * * * * [progress]: [ 22 / 27 ] simplifiying candidate #<alt (λ (re im) (/ (* (* 0.5 (sin re)) (- (* (exp (- 0 im)) (exp (- 0 im))) (* (exp im) (exp im)))) (- (exp (- 0 im)) (exp im))))>
6.002 * * * * [progress]: [ 23 / 27 ] simplifiying candidate #<alt (λ (re im) (posit16->real (real->posit16 (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im))))))>
6.002 * * * * [progress]: [ 24 / 27 ] simplifiying candidate #<alt (λ (re im) (* (+ (exp (- 0 im)) (exp im)) (* 0.5 (sin re))))>
6.002 * * * * [progress]: [ 25 / 27 ] simplifiying candidate #<alt (λ (re im) (- (+ (* 1.0 re) (* 0.5 (* re (pow im 2)))) (* 0.16666666666666666 (pow re 3))))>
6.002 * * * * [progress]: [ 26 / 27 ] simplifiying candidate #<alt (λ (re im) (* 0.5 (* (sin re) (+ (exp (- im)) (exp im)))))>
6.002 * * * * [progress]: [ 27 / 27 ] simplifiying candidate #<alt (λ (re im) (* 0.5 (* (sin re) (+ (exp im) (exp (* -1 im))))))>
6.003 * [simplify]: Simplifying:
  (* (* 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)))))
6.004 * * [simplify]: iteration 1: (80 enodes)
6.046 * * [simplify]: iteration 2: (240 enodes)
6.147 * * [simplify]: iteration 3: (953 enodes)
9.260 * * [simplify]: Extracting #0: cost 17 inf + 0
9.261 * * [simplify]: Extracting #1: cost 403 inf + 0
9.265 * * [simplify]: Extracting #2: cost 1194 inf + 117
9.272 * * [simplify]: Extracting #3: cost 1694 inf + 3011
9.304 * * [simplify]: Extracting #4: cost 1381 inf + 66137
9.406 * * [simplify]: Extracting #5: cost 521 inf + 358869
9.556 * * [simplify]: Extracting #6: cost 28 inf + 545194
9.708 * * [simplify]: Extracting #7: cost 0 inf + 552061
9.849 * * [simplify]: Extracting #8: cost 0 inf + 552058
10.004 * [simplify]: Simplified to:
  (+ (/ (* 0.5 (sin re)) (exp im)) (* (* 0.5 (sin re)) (exp im)))
  (+ (/ (* 0.5 (sin re)) (exp im)) (* (* 0.5 (sin re)) (exp im)))
  (log (+ (/ (* 0.5 (sin re)) (exp im)) (* (* 0.5 (sin re)) (exp im))))
  (log (+ (/ (* 0.5 (sin re)) (exp im)) (* (* 0.5 (sin re)) (exp im))))
  (log (+ (/ (* 0.5 (sin re)) (exp im)) (* (* 0.5 (sin re)) (exp im))))
  (exp (+ (/ (* 0.5 (sin re)) (exp im)) (* (* 0.5 (sin re)) (exp im))))
  (* (* (+ (/ (* 0.5 (sin re)) (exp im)) (* (* 0.5 (sin re)) (exp im))) (+ (/ (* 0.5 (sin re)) (exp im)) (* (* 0.5 (sin re)) (exp im)))) (+ (/ (* 0.5 (sin re)) (exp im)) (* (* 0.5 (sin re)) (exp im))))
  (* (* (+ (/ (* 0.5 (sin re)) (exp im)) (* (* 0.5 (sin re)) (exp im))) (+ (/ (* 0.5 (sin re)) (exp im)) (* (* 0.5 (sin re)) (exp im)))) (+ (/ (* 0.5 (sin re)) (exp im)) (* (* 0.5 (sin re)) (exp im))))
  (* (cbrt (+ (/ (* 0.5 (sin re)) (exp im)) (* (* 0.5 (sin re)) (exp im)))) (cbrt (+ (/ (* 0.5 (sin re)) (exp im)) (* (* 0.5 (sin re)) (exp im)))))
  (cbrt (+ (/ (* 0.5 (sin re)) (exp im)) (* (* 0.5 (sin re)) (exp im))))
  (* (* (+ (/ (* 0.5 (sin re)) (exp im)) (* (* 0.5 (sin re)) (exp im))) (+ (/ (* 0.5 (sin re)) (exp im)) (* (* 0.5 (sin re)) (exp im)))) (+ (/ (* 0.5 (sin re)) (exp im)) (* (* 0.5 (sin re)) (exp im))))
  (sqrt (+ (/ (* 0.5 (sin re)) (exp im)) (* (* 0.5 (sin re)) (exp im))))
  (sqrt (+ (/ (* 0.5 (sin re)) (exp im)) (* (* 0.5 (sin re)) (exp im))))
  (/ (* 0.5 (sin re)) (exp im))
  (* (* 0.5 (exp im)) (sin re))
  (/ (* 0.5 (sin re)) (exp im))
  (* (* 0.5 (exp im)) (sin re))
  (* (cbrt (+ (exp (- im)) (exp im))) (* (cbrt (+ (exp (- im)) (exp im))) (* 0.5 (sin re))))
  (* (* 0.5 (sin re)) (sqrt (+ (exp (- im)) (exp im))))
  (* 0.5 (sin re))
  (* 0.5 (sin re))
  (+ (/ (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 im))))
  (real->posit16 (+ (/ (* 0.5 (sin re)) (exp im)) (* (* 0.5 (sin re)) (exp im))))
  (+ (* 0.5 (* im (* im re))) (* re (- 1.0 (* 0.16666666666666666 (* re re)))))
  (+ (/ (* 0.5 (sin re)) (exp im)) (* (* 0.5 (sin re)) (exp im)))
  (+ (/ (* 0.5 (sin re)) (exp im)) (* (* 0.5 (sin re)) (exp im)))
10.007 * * * [progress]: adding candidates to table
10.130 * [progress]: [Phase 3 of 3] Extracting.
10.135 * [simplify]: Simplifying:
  (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im)))
10.136 * * [simplify]: iteration 1: (11 enodes)
10.136 * * [simplify]: iteration 2: (15 enodes)
10.137 * * [simplify]: Extracting #0: cost 1 inf + 0
10.137 * * [simplify]: Extracting #1: cost 3 inf + 0
10.137 * * [simplify]: Extracting #2: cost 7 inf + 0
10.137 * * [simplify]: Extracting #3: cost 9 inf + 1
10.138 * * [simplify]: Extracting #4: cost 1 inf + 973
10.138 * * [simplify]: Extracting #5: cost 0 inf + 974
10.138 * [simplify]: Simplified to:
  (* (* 0.5 (sin re)) (+ (exp (- im)) (exp im)))
19.697 * [regime-testing]: Baseline error score: 0.02198958136264979
19.702 * [regime-testing]: Oracle error score: 0.02198958136264979
19.702 * [regime-testing]: End program error score: 0.02198958136264979