18.674 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.208 * * * [progress]: [2/2] Setting up program.
0.225 * [progress]: [Phase 2 of 3] Improving.
0.225 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (re im) (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))))>
0.225 * [simplify]: Simplifying:
  (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im)))
0.225 * * [simplify]: iteration 0: 10 enodes
0.237 * * [simplify]: iteration 1: 23 enodes
0.259 * * [simplify]: iteration 2: 57 enodes
0.298 * * [simplify]: iteration 3: 86 enodes
0.379 * * [simplify]: iteration 4: 210 enodes
0.680 * * [simplify]: iteration 5: 617 enodes
1.962 * * [simplify]: iteration 6: 1348 enodes
2.999 * * [simplify]: iteration 7: 2355 enodes
5.118 * * [simplify]: iteration 8: 2876 enodes
5.773 * * [simplify]: iteration 9: 3063 enodes
6.306 * * [simplify]: iteration 10: 3212 enodes
6.663 * * [simplify]: iteration complete: 3212 enodes
6.663 * * [simplify]: Extracting #0: cost 1 inf + 0
6.663 * * [simplify]: Extracting #1: cost 17 inf + 0
6.664 * * [simplify]: Extracting #2: cost 27 inf + 44
6.665 * * [simplify]: Extracting #3: cost 27 inf + 106
6.665 * * [simplify]: Extracting #4: cost 23 inf + 454
6.667 * * [simplify]: Extracting #5: cost 7 inf + 3440
6.672 * * [simplify]: Extracting #6: cost 0 inf + 5225
6.677 * * [simplify]: Extracting #7: cost 0 inf + 4905
6.682 * * [simplify]: Extracting #8: cost 0 inf + 4865
6.687 * [simplify]: Simplified to:
  (* (+ (/ 0.5 (exp im)) (* (exp im) 0.5)) (cos re))
6.705 * * [progress]: iteration 1 / 4
6.706 * * * [progress]: picking best candidate
6.740 * * * * [pick]: Picked  #<alt (λ (re im) (* (+ (/ 0.5 (exp im)) (* (exp im) 0.5)) (cos re)))>
6.740 * * * [progress]: localizing error
6.789 * * * [progress]: generating rewritten candidates
6.789 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1)
6.808 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
6.871 * * * [progress]: generating series expansions
6.871 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1)
6.872 * [backup-simplify]: Simplify (/ 0.5 (exp im)) into (/ 0.5 (exp im))
6.872 * [approximate]: Taking taylor expansion of (/ 0.5 (exp im)) in (im) around 0
6.872 * [taylor]: Taking taylor expansion of (/ 0.5 (exp im)) in im
6.872 * [taylor]: Taking taylor expansion of 0.5 in im
6.872 * [backup-simplify]: Simplify 0.5 into 0.5
6.872 * [taylor]: Taking taylor expansion of (exp im) in im
6.872 * [taylor]: Taking taylor expansion of im in im
6.872 * [backup-simplify]: Simplify 0 into 0
6.872 * [backup-simplify]: Simplify 1 into 1
6.872 * [backup-simplify]: Simplify (exp 0) into 1
6.873 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5
6.873 * [taylor]: Taking taylor expansion of (/ 0.5 (exp im)) in im
6.873 * [taylor]: Taking taylor expansion of 0.5 in im
6.873 * [backup-simplify]: Simplify 0.5 into 0.5
6.873 * [taylor]: Taking taylor expansion of (exp im) in im
6.873 * [taylor]: Taking taylor expansion of im in im
6.873 * [backup-simplify]: Simplify 0 into 0
6.873 * [backup-simplify]: Simplify 1 into 1
6.873 * [backup-simplify]: Simplify (exp 0) into 1
6.874 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5
6.874 * [backup-simplify]: Simplify 0.5 into 0.5
6.875 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
6.877 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 1 1)))) into (- 0.5)
6.878 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
6.879 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
6.883 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 1/2 1)) (* (- 0.5) (/ 1 1)))) into 0.25
6.883 * [backup-simplify]: Simplify 0.25 into 0.25
6.884 * [backup-simplify]: Simplify (+ (* 0.25 (pow im 2)) (+ (* (- 0.5) im) 0.5)) into (- (+ (* 0.25 (pow im 2)) 0.5) (* 0.5 im))
6.884 * [backup-simplify]: Simplify (/ 0.5 (exp (/ 1 im))) into (/ 0.5 (exp (/ 1 im)))
6.884 * [approximate]: Taking taylor expansion of (/ 0.5 (exp (/ 1 im))) in (im) around 0
6.884 * [taylor]: Taking taylor expansion of (/ 0.5 (exp (/ 1 im))) in im
6.884 * [taylor]: Taking taylor expansion of 0.5 in im
6.884 * [backup-simplify]: Simplify 0.5 into 0.5
6.884 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
6.884 * [taylor]: Taking taylor expansion of (/ 1 im) in im
6.884 * [taylor]: Taking taylor expansion of im in im
6.884 * [backup-simplify]: Simplify 0 into 0
6.884 * [backup-simplify]: Simplify 1 into 1
6.885 * [backup-simplify]: Simplify (/ 1 1) into 1
6.885 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
6.885 * [backup-simplify]: Simplify (/ 0.5 (exp (/ 1 im))) into (/ 0.5 (exp (/ 1 im)))
6.885 * [taylor]: Taking taylor expansion of (/ 0.5 (exp (/ 1 im))) in im
6.885 * [taylor]: Taking taylor expansion of 0.5 in im
6.885 * [backup-simplify]: Simplify 0.5 into 0.5
6.885 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
6.885 * [taylor]: Taking taylor expansion of (/ 1 im) in im
6.885 * [taylor]: Taking taylor expansion of im in im
6.885 * [backup-simplify]: Simplify 0 into 0
6.885 * [backup-simplify]: Simplify 1 into 1
6.886 * [backup-simplify]: Simplify (/ 1 1) into 1
6.886 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
6.886 * [backup-simplify]: Simplify (/ 0.5 (exp (/ 1 im))) into (/ 0.5 (exp (/ 1 im)))
6.886 * [backup-simplify]: Simplify (/ 0.5 (exp (/ 1 im))) into (/ 0.5 (exp (/ 1 im)))
6.887 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ 0.5 (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))))) into 0
6.887 * [backup-simplify]: Simplify 0 into 0
6.888 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ 0.5 (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0
6.888 * [backup-simplify]: Simplify 0 into 0
6.889 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ 0.5 (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0
6.889 * [backup-simplify]: Simplify 0 into 0
6.891 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ 0.5 (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0
6.891 * [backup-simplify]: Simplify 0 into 0
6.892 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ 0.5 (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0
6.892 * [backup-simplify]: Simplify 0 into 0
6.894 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ 0.5 (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0
6.894 * [backup-simplify]: Simplify 0 into 0
6.894 * [backup-simplify]: Simplify (/ 0.5 (exp (/ 1 (/ 1 im)))) into (/ 0.5 (exp im))
6.895 * [backup-simplify]: Simplify (/ 0.5 (exp (/ 1 (- im)))) into (/ 0.5 (exp (/ -1 im)))
6.895 * [approximate]: Taking taylor expansion of (/ 0.5 (exp (/ -1 im))) in (im) around 0
6.895 * [taylor]: Taking taylor expansion of (/ 0.5 (exp (/ -1 im))) in im
6.895 * [taylor]: Taking taylor expansion of 0.5 in im
6.895 * [backup-simplify]: Simplify 0.5 into 0.5
6.895 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
6.895 * [taylor]: Taking taylor expansion of (/ -1 im) in im
6.895 * [taylor]: Taking taylor expansion of -1 in im
6.895 * [backup-simplify]: Simplify -1 into -1
6.895 * [taylor]: Taking taylor expansion of im in im
6.895 * [backup-simplify]: Simplify 0 into 0
6.895 * [backup-simplify]: Simplify 1 into 1
6.895 * [backup-simplify]: Simplify (/ -1 1) into -1
6.895 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
6.896 * [backup-simplify]: Simplify (/ 0.5 (exp (/ -1 im))) into (/ 0.5 (exp (/ -1 im)))
6.896 * [taylor]: Taking taylor expansion of (/ 0.5 (exp (/ -1 im))) in im
6.896 * [taylor]: Taking taylor expansion of 0.5 in im
6.896 * [backup-simplify]: Simplify 0.5 into 0.5
6.896 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
6.896 * [taylor]: Taking taylor expansion of (/ -1 im) in im
6.896 * [taylor]: Taking taylor expansion of -1 in im
6.896 * [backup-simplify]: Simplify -1 into -1
6.896 * [taylor]: Taking taylor expansion of im in im
6.896 * [backup-simplify]: Simplify 0 into 0
6.896 * [backup-simplify]: Simplify 1 into 1
6.896 * [backup-simplify]: Simplify (/ -1 1) into -1
6.896 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
6.897 * [backup-simplify]: Simplify (/ 0.5 (exp (/ -1 im))) into (/ 0.5 (exp (/ -1 im)))
6.897 * [backup-simplify]: Simplify (/ 0.5 (exp (/ -1 im))) into (/ 0.5 (exp (/ -1 im)))
6.898 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ 0.5 (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))))) into 0
6.898 * [backup-simplify]: Simplify 0 into 0
6.898 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ 0.5 (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0
6.898 * [backup-simplify]: Simplify 0 into 0
6.900 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ 0.5 (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0
6.900 * [backup-simplify]: Simplify 0 into 0
6.901 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ 0.5 (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0
6.901 * [backup-simplify]: Simplify 0 into 0
6.903 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ 0.5 (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0
6.903 * [backup-simplify]: Simplify 0 into 0
6.907 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ 0.5 (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0
6.907 * [backup-simplify]: Simplify 0 into 0
6.907 * [backup-simplify]: Simplify (/ 0.5 (exp (/ -1 (/ 1 (- im))))) into (/ 0.5 (exp im))
6.907 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
6.908 * [backup-simplify]: Simplify (+ (/ 0.5 (exp im)) (* (exp im) 0.5)) into (+ (* 0.5 (exp im)) (* 0.5 (/ 1 (exp im))))
6.908 * [approximate]: Taking taylor expansion of (+ (* 0.5 (exp im)) (* 0.5 (/ 1 (exp im)))) in (im) around 0
6.908 * [taylor]: Taking taylor expansion of (+ (* 0.5 (exp im)) (* 0.5 (/ 1 (exp im)))) in im
6.908 * [taylor]: Taking taylor expansion of (* 0.5 (exp im)) in im
6.908 * [taylor]: Taking taylor expansion of 0.5 in im
6.908 * [backup-simplify]: Simplify 0.5 into 0.5
6.908 * [taylor]: Taking taylor expansion of (exp im) in im
6.908 * [taylor]: Taking taylor expansion of im in im
6.908 * [backup-simplify]: Simplify 0 into 0
6.908 * [backup-simplify]: Simplify 1 into 1
6.908 * [backup-simplify]: Simplify (exp 0) into 1
6.908 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (exp im))) in im
6.908 * [taylor]: Taking taylor expansion of 0.5 in im
6.908 * [backup-simplify]: Simplify 0.5 into 0.5
6.908 * [taylor]: Taking taylor expansion of (/ 1 (exp im)) in im
6.908 * [taylor]: Taking taylor expansion of (exp im) in im
6.908 * [taylor]: Taking taylor expansion of im in im
6.908 * [backup-simplify]: Simplify 0 into 0
6.908 * [backup-simplify]: Simplify 1 into 1
6.908 * [backup-simplify]: Simplify (exp 0) into 1
6.909 * [backup-simplify]: Simplify (/ 1 1) into 1
6.909 * [taylor]: Taking taylor expansion of (+ (* 0.5 (exp im)) (* 0.5 (/ 1 (exp im)))) in im
6.909 * [taylor]: Taking taylor expansion of (* 0.5 (exp im)) in im
6.909 * [taylor]: Taking taylor expansion of 0.5 in im
6.909 * [backup-simplify]: Simplify 0.5 into 0.5
6.909 * [taylor]: Taking taylor expansion of (exp im) in im
6.909 * [taylor]: Taking taylor expansion of im in im
6.909 * [backup-simplify]: Simplify 0 into 0
6.909 * [backup-simplify]: Simplify 1 into 1
6.909 * [backup-simplify]: Simplify (exp 0) into 1
6.909 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (exp im))) in im
6.909 * [taylor]: Taking taylor expansion of 0.5 in im
6.909 * [backup-simplify]: Simplify 0.5 into 0.5
6.909 * [taylor]: Taking taylor expansion of (/ 1 (exp im)) in im
6.909 * [taylor]: Taking taylor expansion of (exp im) in im
6.909 * [taylor]: Taking taylor expansion of im in im
6.909 * [backup-simplify]: Simplify 0 into 0
6.909 * [backup-simplify]: Simplify 1 into 1
6.909 * [backup-simplify]: Simplify (exp 0) into 1
6.910 * [backup-simplify]: Simplify (/ 1 1) into 1
6.910 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
6.911 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
6.911 * [backup-simplify]: Simplify (+ 0.5 0.5) into 1.0
6.911 * [backup-simplify]: Simplify 1.0 into 1.0
6.913 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
6.914 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 1)) into 0.5
6.916 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
6.917 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
6.919 * [backup-simplify]: Simplify (+ (* 0.5 -1) (* 0 1)) into (- 0.5)
6.920 * [backup-simplify]: Simplify (+ 0.5 (- 0.5)) into 0
6.920 * [backup-simplify]: Simplify 0 into 0
6.921 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
6.924 * [backup-simplify]: Simplify (+ (* 0.5 1/2) (+ (* 0 1) (* 0 1))) into 0.25
6.925 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
6.927 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1/2 1)) (* -1 (/ 1 1)))) into 1/2
6.929 * [backup-simplify]: Simplify (+ (* 0.5 1/2) (+ (* 0 -1) (* 0 1))) into 0.25
6.930 * [backup-simplify]: Simplify (+ 0.25 0.25) into 0.5
6.930 * [backup-simplify]: Simplify 0.5 into 0.5
6.933 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
6.936 * [backup-simplify]: Simplify (+ (* 0.5 1/6) (+ (* 0 1/2) (+ (* 0 1) (* 0 1)))) into 0.08333333333333333
6.939 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
6.940 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1/6 1)) (* -1 (/ 1/2 1)) (* 1/2 (/ 1 1)))) into -1/6
6.944 * [backup-simplify]: Simplify (+ (* 0.5 -1/6) (+ (* 0 1/2) (+ (* 0 -1) (* 0 1)))) into (- 0.08333333333333333)
6.945 * [backup-simplify]: Simplify (+ 0.08333333333333333 (- 0.08333333333333333)) into 0
6.945 * [backup-simplify]: Simplify 0 into 0
6.949 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
6.953 * [backup-simplify]: Simplify (+ (* 0.5 1/24) (+ (* 0 1/6) (+ (* 0 1/2) (+ (* 0 1) (* 0 1))))) into 0.020833333333333332
6.957 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
6.958 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1/24 1)) (* -1 (/ 1/6 1)) (* 1/2 (/ 1/2 1)) (* -1/6 (/ 1 1)))) into 1/24
6.961 * [backup-simplify]: Simplify (+ (* 0.5 1/24) (+ (* 0 -1/6) (+ (* 0 1/2) (+ (* 0 -1) (* 0 1))))) into 0.020833333333333332
6.961 * [backup-simplify]: Simplify (+ 0.020833333333333332 0.020833333333333332) into 0.041666666666666664
6.961 * [backup-simplify]: Simplify 0.041666666666666664 into 0.041666666666666664
6.962 * [backup-simplify]: Simplify (+ (* 0.041666666666666664 (pow im 4)) (+ (* 0.5 (pow im 2)) 1.0)) into (+ (* 0.5 (pow im 2)) (+ (* 0.041666666666666664 (pow im 4)) 1.0))
6.963 * [backup-simplify]: Simplify (+ (/ 0.5 (exp (/ 1 im))) (* (exp (/ 1 im)) 0.5)) into (+ (* 0.5 (/ 1 (exp (/ 1 im)))) (* 0.5 (exp (/ 1 im))))
6.963 * [approximate]: Taking taylor expansion of (+ (* 0.5 (/ 1 (exp (/ 1 im)))) (* 0.5 (exp (/ 1 im)))) in (im) around 0
6.963 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (exp (/ 1 im)))) (* 0.5 (exp (/ 1 im)))) in im
6.963 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (exp (/ 1 im)))) in im
6.963 * [taylor]: Taking taylor expansion of 0.5 in im
6.963 * [backup-simplify]: Simplify 0.5 into 0.5
6.963 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 im))) in im
6.963 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
6.963 * [taylor]: Taking taylor expansion of (/ 1 im) in im
6.963 * [taylor]: Taking taylor expansion of im in im
6.963 * [backup-simplify]: Simplify 0 into 0
6.963 * [backup-simplify]: Simplify 1 into 1
6.963 * [backup-simplify]: Simplify (/ 1 1) into 1
6.963 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
6.964 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 im))) into (/ 1 (exp (/ 1 im)))
6.964 * [taylor]: Taking taylor expansion of (* 0.5 (exp (/ 1 im))) in im
6.964 * [taylor]: Taking taylor expansion of 0.5 in im
6.964 * [backup-simplify]: Simplify 0.5 into 0.5
6.964 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
6.964 * [taylor]: Taking taylor expansion of (/ 1 im) in im
6.964 * [taylor]: Taking taylor expansion of im in im
6.964 * [backup-simplify]: Simplify 0 into 0
6.964 * [backup-simplify]: Simplify 1 into 1
6.964 * [backup-simplify]: Simplify (/ 1 1) into 1
6.964 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
6.964 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (exp (/ 1 im)))) (* 0.5 (exp (/ 1 im)))) in im
6.964 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (exp (/ 1 im)))) in im
6.964 * [taylor]: Taking taylor expansion of 0.5 in im
6.964 * [backup-simplify]: Simplify 0.5 into 0.5
6.964 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 im))) in im
6.964 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
6.964 * [taylor]: Taking taylor expansion of (/ 1 im) in im
6.964 * [taylor]: Taking taylor expansion of im in im
6.964 * [backup-simplify]: Simplify 0 into 0
6.964 * [backup-simplify]: Simplify 1 into 1
6.965 * [backup-simplify]: Simplify (/ 1 1) into 1
6.965 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
6.965 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 im))) into (/ 1 (exp (/ 1 im)))
6.965 * [taylor]: Taking taylor expansion of (* 0.5 (exp (/ 1 im))) in im
6.965 * [taylor]: Taking taylor expansion of 0.5 in im
6.965 * [backup-simplify]: Simplify 0.5 into 0.5
6.965 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
6.965 * [taylor]: Taking taylor expansion of (/ 1 im) in im
6.965 * [taylor]: Taking taylor expansion of im in im
6.965 * [backup-simplify]: Simplify 0 into 0
6.965 * [backup-simplify]: Simplify 1 into 1
6.965 * [backup-simplify]: Simplify (/ 1 1) into 1
6.966 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
6.966 * [backup-simplify]: Simplify (* 0.5 (/ 1 (exp (/ 1 im)))) into (/ 0.5 (exp (/ 1 im)))
6.966 * [backup-simplify]: Simplify (* 0.5 (exp (/ 1 im))) into (* 0.5 (exp (/ 1 im)))
6.967 * [backup-simplify]: Simplify (+ (/ 0.5 (exp (/ 1 im))) (* 0.5 (exp (/ 1 im)))) into (+ (* 0.5 (/ 1 (exp (/ 1 im)))) (* 0.5 (exp (/ 1 im))))
6.967 * [backup-simplify]: Simplify (+ (* 0.5 (/ 1 (exp (/ 1 im)))) (* 0.5 (exp (/ 1 im)))) into (+ (* 0.5 (/ 1 (exp (/ 1 im)))) (* 0.5 (exp (/ 1 im))))
6.967 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))))) into 0
6.968 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 (exp (/ 1 im))))) into 0
6.969 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (exp (/ 1 im)))) into 0
6.969 * [backup-simplify]: Simplify (+ 0 0) into 0
6.969 * [backup-simplify]: Simplify 0 into 0
6.970 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0
6.970 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 (exp (/ 1 im)))))) into 0
6.971 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (exp (/ 1 im))))) into 0
6.971 * [backup-simplify]: Simplify (+ 0 0) into 0
6.971 * [backup-simplify]: Simplify 0 into 0
6.972 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0
6.973 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (exp (/ 1 im))))))) into 0
6.974 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 im)))))) into 0
6.975 * [backup-simplify]: Simplify (+ 0 0) into 0
6.975 * [backup-simplify]: Simplify 0 into 0
6.976 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0
6.978 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (exp (/ 1 im)))))))) into 0
6.979 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 im))))))) into 0
6.979 * [backup-simplify]: Simplify (+ 0 0) into 0
6.979 * [backup-simplify]: Simplify 0 into 0
6.981 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0
6.983 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (exp (/ 1 im))))))))) into 0
6.984 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 im)))))))) into 0
6.985 * [backup-simplify]: Simplify (+ 0 0) into 0
6.985 * [backup-simplify]: Simplify 0 into 0
6.988 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0
6.991 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (exp (/ 1 im)))))))))) into 0
6.995 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 im))))))))) into 0
6.995 * [backup-simplify]: Simplify (+ 0 0) into 0
6.995 * [backup-simplify]: Simplify 0 into 0
6.996 * [backup-simplify]: Simplify (+ (* 0.5 (/ 1 (exp (/ 1 (/ 1 im))))) (* 0.5 (exp (/ 1 (/ 1 im))))) into (+ (* 0.5 (exp im)) (* 0.5 (/ 1 (exp im))))
6.997 * [backup-simplify]: Simplify (+ (/ 0.5 (exp (/ 1 (- im)))) (* (exp (/ 1 (- im))) 0.5)) into (+ (* 0.5 (/ 1 (exp (/ -1 im)))) (* 0.5 (exp (/ -1 im))))
6.997 * [approximate]: Taking taylor expansion of (+ (* 0.5 (/ 1 (exp (/ -1 im)))) (* 0.5 (exp (/ -1 im)))) in (im) around 0
6.997 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (exp (/ -1 im)))) (* 0.5 (exp (/ -1 im)))) in im
6.997 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (exp (/ -1 im)))) in im
6.998 * [taylor]: Taking taylor expansion of 0.5 in im
6.998 * [backup-simplify]: Simplify 0.5 into 0.5
6.998 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 im))) in im
6.998 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
6.998 * [taylor]: Taking taylor expansion of (/ -1 im) in im
6.998 * [taylor]: Taking taylor expansion of -1 in im
6.998 * [backup-simplify]: Simplify -1 into -1
6.998 * [taylor]: Taking taylor expansion of im in im
6.998 * [backup-simplify]: Simplify 0 into 0
6.998 * [backup-simplify]: Simplify 1 into 1
6.998 * [backup-simplify]: Simplify (/ -1 1) into -1
6.999 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
6.999 * [backup-simplify]: Simplify (/ 1 (exp (/ -1 im))) into (/ 1 (exp (/ -1 im)))
6.999 * [taylor]: Taking taylor expansion of (* 0.5 (exp (/ -1 im))) in im
6.999 * [taylor]: Taking taylor expansion of 0.5 in im
6.999 * [backup-simplify]: Simplify 0.5 into 0.5
6.999 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
6.999 * [taylor]: Taking taylor expansion of (/ -1 im) in im
6.999 * [taylor]: Taking taylor expansion of -1 in im
6.999 * [backup-simplify]: Simplify -1 into -1
6.999 * [taylor]: Taking taylor expansion of im in im
6.999 * [backup-simplify]: Simplify 0 into 0
6.999 * [backup-simplify]: Simplify 1 into 1
7.000 * [backup-simplify]: Simplify (/ -1 1) into -1
7.000 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
7.000 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (exp (/ -1 im)))) (* 0.5 (exp (/ -1 im)))) in im
7.000 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (exp (/ -1 im)))) in im
7.000 * [taylor]: Taking taylor expansion of 0.5 in im
7.000 * [backup-simplify]: Simplify 0.5 into 0.5
7.000 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 im))) in im
7.000 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
7.000 * [taylor]: Taking taylor expansion of (/ -1 im) in im
7.000 * [taylor]: Taking taylor expansion of -1 in im
7.000 * [backup-simplify]: Simplify -1 into -1
7.001 * [taylor]: Taking taylor expansion of im in im
7.001 * [backup-simplify]: Simplify 0 into 0
7.001 * [backup-simplify]: Simplify 1 into 1
7.001 * [backup-simplify]: Simplify (/ -1 1) into -1
7.001 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
7.002 * [backup-simplify]: Simplify (/ 1 (exp (/ -1 im))) into (/ 1 (exp (/ -1 im)))
7.002 * [taylor]: Taking taylor expansion of (* 0.5 (exp (/ -1 im))) in im
7.002 * [taylor]: Taking taylor expansion of 0.5 in im
7.002 * [backup-simplify]: Simplify 0.5 into 0.5
7.002 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
7.002 * [taylor]: Taking taylor expansion of (/ -1 im) in im
7.002 * [taylor]: Taking taylor expansion of -1 in im
7.002 * [backup-simplify]: Simplify -1 into -1
7.002 * [taylor]: Taking taylor expansion of im in im
7.002 * [backup-simplify]: Simplify 0 into 0
7.002 * [backup-simplify]: Simplify 1 into 1
7.003 * [backup-simplify]: Simplify (/ -1 1) into -1
7.003 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
7.003 * [backup-simplify]: Simplify (* 0.5 (/ 1 (exp (/ -1 im)))) into (/ 0.5 (exp (/ -1 im)))
7.004 * [backup-simplify]: Simplify (* 0.5 (exp (/ -1 im))) into (* 0.5 (exp (/ -1 im)))
7.005 * [backup-simplify]: Simplify (+ (/ 0.5 (exp (/ -1 im))) (* 0.5 (exp (/ -1 im)))) into (+ (* 0.5 (/ 1 (exp (/ -1 im)))) (* 0.5 (exp (/ -1 im))))
7.006 * [backup-simplify]: Simplify (+ (* 0.5 (/ 1 (exp (/ -1 im)))) (* 0.5 (exp (/ -1 im)))) into (+ (* 0.5 (/ 1 (exp (/ -1 im)))) (* 0.5 (exp (/ -1 im))))
7.007 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))))) into 0
7.008 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 (exp (/ -1 im))))) into 0
7.008 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (exp (/ -1 im)))) into 0
7.009 * [backup-simplify]: Simplify (+ 0 0) into 0
7.009 * [backup-simplify]: Simplify 0 into 0
7.010 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0
7.012 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 (exp (/ -1 im)))))) into 0
7.013 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (exp (/ -1 im))))) into 0
7.014 * [backup-simplify]: Simplify (+ 0 0) into 0
7.014 * [backup-simplify]: Simplify 0 into 0
7.016 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0
7.018 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (exp (/ -1 im))))))) into 0
7.019 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 im)))))) into 0
7.020 * [backup-simplify]: Simplify (+ 0 0) into 0
7.020 * [backup-simplify]: Simplify 0 into 0
7.022 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0
7.025 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (exp (/ -1 im)))))))) into 0
7.027 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 im))))))) into 0
7.028 * [backup-simplify]: Simplify (+ 0 0) into 0
7.028 * [backup-simplify]: Simplify 0 into 0
7.031 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0
7.034 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (exp (/ -1 im))))))))) into 0
7.036 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 im)))))))) into 0
7.037 * [backup-simplify]: Simplify (+ 0 0) into 0
7.037 * [backup-simplify]: Simplify 0 into 0
7.040 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0
7.043 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (exp (/ -1 im)))))))))) into 0
7.046 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 im))))))))) into 0
7.047 * [backup-simplify]: Simplify (+ 0 0) into 0
7.047 * [backup-simplify]: Simplify 0 into 0
7.048 * [backup-simplify]: Simplify (+ (* 0.5 (/ 1 (exp (/ -1 (/ 1 (- im)))))) (* 0.5 (exp (/ -1 (/ 1 (- im)))))) into (+ (* 0.5 (exp im)) (* 0.5 (/ 1 (exp im))))
7.048 * * * [progress]: simplifying candidates
7.048 * * * * [progress]: [ 1 / 46 ] simplifiying candidate #<alt (λ (re im) (* (+ (posit16->real (real->posit16 (/ 0.5 (exp im)))) (* (exp im) 0.5)) (cos re)))>
7.048 * * * * [progress]: [ 2 / 46 ] simplifiying candidate #<alt (λ (re im) (* (+ (pow (/ 0.5 (exp im)) 1) (* (exp im) 0.5)) (cos re)))>
7.048 * * * * [progress]: [ 3 / 46 ] simplifiying candidate #<alt (λ (re im) (* (+ (exp (- (log 0.5) im)) (* (exp im) 0.5)) (cos re)))>
7.048 * * * * [progress]: [ 4 / 46 ] simplifiying candidate #<alt (λ (re im) (* (+ (exp (log (/ 0.5 (exp im)))) (* (exp im) 0.5)) (cos re)))>
7.048 * * * * [progress]: [ 5 / 46 ] simplifiying candidate #<alt (λ (re im) (* (+ (log (exp (/ 0.5 (exp im)))) (* (exp im) 0.5)) (cos re)))>
7.048 * * * * [progress]: [ 6 / 46 ] simplifiying candidate #<alt (λ (re im) (* (+ (cbrt (/ (* (* 0.5 0.5) 0.5) (* (* (exp im) (exp im)) (exp im)))) (* (exp im) 0.5)) (cos re)))>
7.048 * * * * [progress]: [ 7 / 46 ] simplifiying candidate #<alt (λ (re im) (* (+ (* (* (cbrt (/ 0.5 (exp im))) (cbrt (/ 0.5 (exp im)))) (cbrt (/ 0.5 (exp im)))) (* (exp im) 0.5)) (cos re)))>
7.048 * * * * [progress]: [ 8 / 46 ] simplifiying candidate #<alt (λ (re im) (* (+ (cbrt (* (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (/ 0.5 (exp im)))) (* (exp im) 0.5)) (cos re)))>
7.048 * * * * [progress]: [ 9 / 46 ] simplifiying candidate #<alt (λ (re im) (* (+ (* (sqrt (/ 0.5 (exp im))) (sqrt (/ 0.5 (exp im)))) (* (exp im) 0.5)) (cos re)))>
7.048 * * * * [progress]: [ 10 / 46 ] simplifiying candidate #<alt (λ (re im) (* (+ (/ (- 0.5) (- (exp im))) (* (exp im) 0.5)) (cos re)))>
7.049 * * * * [progress]: [ 11 / 46 ] simplifiying candidate #<alt (λ (re im) (* (+ (* (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt (exp im)) (cbrt (exp im)))) (/ (cbrt 0.5) (cbrt (exp im)))) (* (exp im) 0.5)) (cos re)))>
7.049 * * * * [progress]: [ 12 / 46 ] simplifiying candidate #<alt (λ (re im) (* (+ (* (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt (exp im))) (/ (cbrt 0.5) (sqrt (exp im)))) (* (exp im) 0.5)) (cos re)))>
7.049 * * * * [progress]: [ 13 / 46 ] simplifiying candidate #<alt (λ (re im) (* (+ (* (/ (* (cbrt 0.5) (cbrt 0.5)) 1) (/ (cbrt 0.5) (exp im))) (* (exp im) 0.5)) (cos re)))>
7.049 * * * * [progress]: [ 14 / 46 ] simplifiying candidate #<alt (λ (re im) (* (+ (* (/ (sqrt 0.5) (* (cbrt (exp im)) (cbrt (exp im)))) (/ (sqrt 0.5) (cbrt (exp im)))) (* (exp im) 0.5)) (cos re)))>
7.049 * * * * [progress]: [ 15 / 46 ] simplifiying candidate #<alt (λ (re im) (* (+ (* (/ (sqrt 0.5) (sqrt (exp im))) (/ (sqrt 0.5) (sqrt (exp im)))) (* (exp im) 0.5)) (cos re)))>
7.049 * * * * [progress]: [ 16 / 46 ] simplifiying candidate #<alt (λ (re im) (* (+ (* (/ (sqrt 0.5) 1) (/ (sqrt 0.5) (exp im))) (* (exp im) 0.5)) (cos re)))>
7.049 * * * * [progress]: [ 17 / 46 ] simplifiying candidate #<alt (λ (re im) (* (+ (* (/ 1 (* (cbrt (exp im)) (cbrt (exp im)))) (/ 0.5 (cbrt (exp im)))) (* (exp im) 0.5)) (cos re)))>
7.049 * * * * [progress]: [ 18 / 46 ] simplifiying candidate #<alt (λ (re im) (* (+ (* (/ 1 (sqrt (exp im))) (/ 0.5 (sqrt (exp im)))) (* (exp im) 0.5)) (cos re)))>
7.049 * * * * [progress]: [ 19 / 46 ] simplifiying candidate #<alt (λ (re im) (* (+ (* (/ 1 1) (/ 0.5 (exp im))) (* (exp im) 0.5)) (cos re)))>
7.049 * * * * [progress]: [ 20 / 46 ] simplifiying candidate #<alt (λ (re im) (* (+ (* 1 (/ 0.5 (exp im))) (* (exp im) 0.5)) (cos re)))>
7.049 * * * * [progress]: [ 21 / 46 ] simplifiying candidate #<alt (λ (re im) (* (+ (* 0.5 (/ 1 (exp im))) (* (exp im) 0.5)) (cos re)))>
7.049 * * * * [progress]: [ 22 / 46 ] simplifiying candidate #<alt (λ (re im) (* (+ (/ 1 (/ (exp im) 0.5)) (* (exp im) 0.5)) (cos re)))>
7.049 * * * * [progress]: [ 23 / 46 ] simplifiying candidate #<alt (λ (re im) (* (+ (/ (/ 0.5 (* (cbrt (exp im)) (cbrt (exp im)))) (cbrt (exp im))) (* (exp im) 0.5)) (cos re)))>
7.049 * * * * [progress]: [ 24 / 46 ] simplifiying candidate #<alt (λ (re im) (* (+ (/ (/ 0.5 (sqrt (exp im))) (sqrt (exp im))) (* (exp im) 0.5)) (cos re)))>
7.049 * * * * [progress]: [ 25 / 46 ] simplifiying candidate #<alt (λ (re im) (* (+ (/ (/ 0.5 1) (exp im)) (* (exp im) 0.5)) (cos re)))>
7.049 * * * * [progress]: [ 26 / 46 ] simplifiying candidate #<alt (λ (re im) (* (+ (/ (* (cbrt 0.5) (cbrt 0.5)) (/ (exp im) (cbrt 0.5))) (* (exp im) 0.5)) (cos re)))>
7.049 * * * * [progress]: [ 27 / 46 ] simplifiying candidate #<alt (λ (re im) (* (+ (/ (sqrt 0.5) (/ (exp im) (sqrt 0.5))) (* (exp im) 0.5)) (cos re)))>
7.050 * * * * [progress]: [ 28 / 46 ] simplifiying candidate #<alt (λ (re im) (* (+ (/ 1 (/ (exp im) 0.5)) (* (exp im) 0.5)) (cos re)))>
7.050 * * * * [progress]: [ 29 / 46 ] simplifiying candidate #<alt (λ (re im) (* (posit16->real (real->posit16 (+ (/ 0.5 (exp im)) (* (exp im) 0.5)))) (cos re)))>
7.050 * * * * [progress]: [ 30 / 46 ] simplifiying candidate #<alt (λ (re im) (* (log (* (exp (/ 0.5 (exp im))) (exp (* (exp im) 0.5)))) (cos re)))>
7.050 * * * * [progress]: [ 31 / 46 ] simplifiying candidate #<alt (λ (re im) (* (pow (+ (/ 0.5 (exp im)) (* (exp im) 0.5)) 1) (cos re)))>
7.050 * * * * [progress]: [ 32 / 46 ] simplifiying candidate #<alt (λ (re im) (* (exp (log (+ (/ 0.5 (exp im)) (* (exp im) 0.5)))) (cos re)))>
7.050 * * * * [progress]: [ 33 / 46 ] simplifiying candidate #<alt (λ (re im) (* (log (exp (+ (/ 0.5 (exp im)) (* (exp im) 0.5)))) (cos re)))>
7.050 * * * * [progress]: [ 34 / 46 ] simplifiying candidate #<alt (λ (re im) (* (* (* (cbrt (+ (/ 0.5 (exp im)) (* (exp im) 0.5))) (cbrt (+ (/ 0.5 (exp im)) (* (exp im) 0.5)))) (cbrt (+ (/ 0.5 (exp im)) (* (exp im) 0.5)))) (cos re)))>
7.050 * * * * [progress]: [ 35 / 46 ] simplifiying candidate #<alt (λ (re im) (* (cbrt (* (* (+ (/ 0.5 (exp im)) (* (exp im) 0.5)) (+ (/ 0.5 (exp im)) (* (exp im) 0.5))) (+ (/ 0.5 (exp im)) (* (exp im) 0.5)))) (cos re)))>
7.050 * * * * [progress]: [ 36 / 46 ] simplifiying candidate #<alt (λ (re im) (* (* (sqrt (+ (/ 0.5 (exp im)) (* (exp im) 0.5))) (sqrt (+ (/ 0.5 (exp im)) (* (exp im) 0.5)))) (cos re)))>
7.050 * * * * [progress]: [ 37 / 46 ] simplifiying candidate #<alt (λ (re im) (* (/ (+ (pow (/ 0.5 (exp im)) 3) (pow (* (exp im) 0.5) 3)) (+ (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (- (* (* (exp im) 0.5) (* (exp im) 0.5)) (* (/ 0.5 (exp im)) (* (exp im) 0.5))))) (cos re)))>
7.050 * * * * [progress]: [ 38 / 46 ] simplifiying candidate #<alt (λ (re im) (* (* 1 (+ (/ 0.5 (exp im)) (* (exp im) 0.5))) (cos re)))>
7.050 * * * * [progress]: [ 39 / 46 ] simplifiying candidate #<alt (λ (re im) (* (/ (- (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (* (* (exp im) 0.5) (* (exp im) 0.5))) (- (/ 0.5 (exp im)) (* (exp im) 0.5))) (cos re)))>
7.050 * * * * [progress]: [ 40 / 46 ] simplifiying candidate #<alt (λ (re im) (* (+ (* (exp im) 0.5) (/ 0.5 (exp im))) (cos re)))>
7.050 * * * * [progress]: [ 41 / 46 ] simplifiying candidate #<alt (λ (re im) (* (+ (- (+ (* 0.25 (pow im 2)) 0.5) (* 0.5 im)) (* (exp im) 0.5)) (cos re)))>
7.050 * * * * [progress]: [ 42 / 46 ] simplifiying candidate #<alt (λ (re im) (* (+ (/ 0.5 (exp im)) (* (exp im) 0.5)) (cos re)))>
7.050 * * * * [progress]: [ 43 / 46 ] simplifiying candidate #<alt (λ (re im) (* (+ (/ 0.5 (exp im)) (* (exp im) 0.5)) (cos re)))>
7.050 * * * * [progress]: [ 44 / 46 ] simplifiying candidate #<alt (λ (re im) (* (+ (* 0.5 (pow im 2)) (+ (* 0.041666666666666664 (pow im 4)) 1.0)) (cos re)))>
7.050 * * * * [progress]: [ 45 / 46 ] simplifiying candidate #<alt (λ (re im) (* (+ (* 0.5 (exp im)) (* 0.5 (/ 1 (exp im)))) (cos re)))>
7.050 * * * * [progress]: [ 46 / 46 ] simplifiying candidate #<alt (λ (re im) (* (+ (* 0.5 (exp im)) (* 0.5 (/ 1 (exp im)))) (cos re)))>
7.051 * [simplify]: Simplifying:
  (real->posit16 (/ 0.5 (exp im)))
  (- (log 0.5) im)
  (log (/ 0.5 (exp im)))
  (exp (/ 0.5 (exp im)))
  (/ (* (* 0.5 0.5) 0.5) (* (* (exp im) (exp im)) (exp im)))
  (* (cbrt (/ 0.5 (exp im))) (cbrt (/ 0.5 (exp im))))
  (cbrt (/ 0.5 (exp im)))
  (* (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (/ 0.5 (exp im)))
  (sqrt (/ 0.5 (exp im)))
  (sqrt (/ 0.5 (exp im)))
  (- 0.5)
  (- (exp im))
  (/ (* (cbrt 0.5) (cbrt 0.5)) (* (cbrt (exp im)) (cbrt (exp im))))
  (/ (cbrt 0.5) (cbrt (exp im)))
  (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt (exp im)))
  (/ (cbrt 0.5) (sqrt (exp im)))
  (/ (* (cbrt 0.5) (cbrt 0.5)) 1)
  (/ (cbrt 0.5) (exp im))
  (/ (sqrt 0.5) (* (cbrt (exp im)) (cbrt (exp im))))
  (/ (sqrt 0.5) (cbrt (exp im)))
  (/ (sqrt 0.5) (sqrt (exp im)))
  (/ (sqrt 0.5) (sqrt (exp im)))
  (/ (sqrt 0.5) 1)
  (/ (sqrt 0.5) (exp im))
  (/ 1 (* (cbrt (exp im)) (cbrt (exp im))))
  (/ 0.5 (cbrt (exp im)))
  (/ 1 (sqrt (exp im)))
  (/ 0.5 (sqrt (exp im)))
  (/ 1 1)
  (/ 0.5 (exp im))
  (/ 1 (exp im))
  (/ (exp im) 0.5)
  (/ 0.5 (* (cbrt (exp im)) (cbrt (exp im))))
  (/ 0.5 (sqrt (exp im)))
  (/ 0.5 1)
  (/ (exp im) (cbrt 0.5))
  (/ (exp im) (sqrt 0.5))
  (/ (exp im) 0.5)
  (real->posit16 (+ (/ 0.5 (exp im)) (* (exp im) 0.5)))
  (* (exp (/ 0.5 (exp im))) (exp (* (exp im) 0.5)))
  (log (+ (/ 0.5 (exp im)) (* (exp im) 0.5)))
  (exp (+ (/ 0.5 (exp im)) (* (exp im) 0.5)))
  (* (cbrt (+ (/ 0.5 (exp im)) (* (exp im) 0.5))) (cbrt (+ (/ 0.5 (exp im)) (* (exp im) 0.5))))
  (cbrt (+ (/ 0.5 (exp im)) (* (exp im) 0.5)))
  (* (* (+ (/ 0.5 (exp im)) (* (exp im) 0.5)) (+ (/ 0.5 (exp im)) (* (exp im) 0.5))) (+ (/ 0.5 (exp im)) (* (exp im) 0.5)))
  (sqrt (+ (/ 0.5 (exp im)) (* (exp im) 0.5)))
  (sqrt (+ (/ 0.5 (exp im)) (* (exp im) 0.5)))
  (+ (pow (/ 0.5 (exp im)) 3) (pow (* (exp im) 0.5) 3))
  (+ (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (- (* (* (exp im) 0.5) (* (exp im) 0.5)) (* (/ 0.5 (exp im)) (* (exp im) 0.5))))
  (- (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (* (* (exp im) 0.5) (* (exp im) 0.5)))
  (- (/ 0.5 (exp im)) (* (exp im) 0.5))
  (- (+ (* 0.25 (pow im 2)) 0.5) (* 0.5 im))
  (/ 0.5 (exp im))
  (/ 0.5 (exp im))
  (+ (* 0.5 (pow im 2)) (+ (* 0.041666666666666664 (pow im 4)) 1.0))
  (+ (* 0.5 (exp im)) (* 0.5 (/ 1 (exp im))))
  (+ (* 0.5 (exp im)) (* 0.5 (/ 1 (exp im))))
7.053 * * [simplify]: iteration 0: 90 enodes
7.180 * * [simplify]: iteration 1: 213 enodes
7.466 * * [simplify]: iteration 2: 620 enodes
8.296 * * [simplify]: iteration 3: 2519 enodes
11.134 * * [simplify]: iteration complete: 5003 enodes
11.134 * * [simplify]: Extracting #0: cost 46 inf + 0
11.136 * * [simplify]: Extracting #1: cost 584 inf + 2
11.146 * * [simplify]: Extracting #2: cost 1501 inf + 9224
11.177 * * [simplify]: Extracting #3: cost 1148 inf + 104471
11.219 * * [simplify]: Extracting #4: cost 311 inf + 249628
11.266 * * [simplify]: Extracting #5: cost 48 inf + 309785
11.363 * * [simplify]: Extracting #6: cost 4 inf + 325810
11.435 * * [simplify]: Extracting #7: cost 0 inf + 327262
11.533 * [simplify]: Simplified to:
  (real->posit16 (/ 0.5 (exp im)))
  (- (log 0.5) im)
  (- (log 0.5) im)
  (exp (/ 0.5 (exp im)))
  (* (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (/ 0.5 (exp im)))
  (* (cbrt (/ 0.5 (exp im))) (cbrt (/ 0.5 (exp im))))
  (cbrt (/ 0.5 (exp im)))
  (* (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (/ 0.5 (exp im)))
  (sqrt (/ 0.5 (exp im)))
  (sqrt (/ 0.5 (exp im)))
  (- 0.5)
  (- (exp im))
  (* (/ (cbrt 0.5) (cbrt (exp im))) (/ (cbrt 0.5) (cbrt (exp im))))
  (/ (cbrt 0.5) (cbrt (exp im)))
  (/ (* (cbrt 0.5) (cbrt 0.5)) (sqrt (exp im)))
  (/ (cbrt 0.5) (sqrt (exp im)))
  (* (cbrt 0.5) (cbrt 0.5))
  (/ (cbrt 0.5) (exp im))
  (/ (/ (sqrt 0.5) (cbrt (exp im))) (cbrt (exp im)))
  (/ (sqrt 0.5) (cbrt (exp im)))
  (/ (sqrt 0.5) (sqrt (exp im)))
  (/ (sqrt 0.5) (sqrt (exp im)))
  (sqrt 0.5)
  (/ (sqrt 0.5) (exp im))
  (/ (/ 1 (cbrt (exp im))) (cbrt (exp im)))
  (/ 0.5 (cbrt (exp im)))
  (/ 1 (sqrt (exp im)))
  (/ 0.5 (sqrt (exp im)))
  1
  (/ 0.5 (exp im))
  (exp (- im))
  (/ (exp im) 0.5)
  (/ (/ 0.5 (cbrt (exp im))) (cbrt (exp im)))
  (/ 0.5 (sqrt (exp im)))
  0.5
  (/ (exp im) (cbrt 0.5))
  (/ (exp im) (sqrt 0.5))
  (/ (exp im) 0.5)
  (real->posit16 (+ (/ 0.5 (exp im)) (* (exp im) 0.5)))
  (exp (+ (/ 0.5 (exp im)) (* (exp im) 0.5)))
  (log (+ (/ 0.5 (exp im)) (* (exp im) 0.5)))
  (exp (+ (/ 0.5 (exp im)) (* (exp im) 0.5)))
  (* (cbrt (+ (/ 0.5 (exp im)) (* (exp im) 0.5))) (cbrt (+ (/ 0.5 (exp im)) (* (exp im) 0.5))))
  (cbrt (+ (/ 0.5 (exp im)) (* (exp im) 0.5)))
  (* (+ (/ 0.5 (exp im)) (* (exp im) 0.5)) (* (+ (/ 0.5 (exp im)) (* (exp im) 0.5)) (+ (/ 0.5 (exp im)) (* (exp im) 0.5))))
  (sqrt (+ (/ 0.5 (exp im)) (* (exp im) 0.5)))
  (sqrt (+ (/ 0.5 (exp im)) (* (exp im) 0.5)))
  (+ (* (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (/ 0.5 (exp im))) (* (* (* (exp im) 0.5) (* (exp im) 0.5)) (* (exp im) 0.5)))
  (- (* (* (exp im) 0.5) (* (exp im) 0.5)) (* (/ 0.5 (exp im)) (- (* (exp im) 0.5) (/ 0.5 (exp im)))))
  (* (+ (/ 0.5 (exp im)) (* (exp im) 0.5)) (- (/ 0.5 (exp im)) (* (exp im) 0.5)))
  (- (/ 0.5 (exp im)) (* (exp im) 0.5))
  (+ 0.5 (* im (- (* 0.25 im) 0.5)))
  (/ 0.5 (exp im))
  (/ 0.5 (exp im))
  (+ (+ (* im (* im 0.5)) 1.0) (* (* (* im im) (* im im)) 0.041666666666666664))
  (+ (/ 0.5 (exp im)) (* (exp im) 0.5))
  (+ (/ 0.5 (exp im)) (* (exp im) 0.5))
11.538 * * * [progress]: adding candidates to table
12.120 * * [progress]: iteration 2 / 4
12.120 * * * [progress]: picking best candidate
12.136 * * * * [pick]: Picked  #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (* (* im im) (* im im)) 0.041666666666666664)) (cos re)))>
12.136 * * * [progress]: localizing error
12.193 * * * [progress]: generating rewritten candidates
12.193 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2 1)
12.237 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2)
12.409 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
12.598 * * * [progress]: generating series expansions
12.598 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2 1)
12.599 * [backup-simplify]: Simplify (* (* im im) (* im im)) into (pow im 4)
12.599 * [approximate]: Taking taylor expansion of (pow im 4) in (im) around 0
12.599 * [taylor]: Taking taylor expansion of (pow im 4) in im
12.599 * [taylor]: Taking taylor expansion of im in im
12.599 * [backup-simplify]: Simplify 0 into 0
12.599 * [backup-simplify]: Simplify 1 into 1
12.599 * [taylor]: Taking taylor expansion of (pow im 4) in im
12.599 * [taylor]: Taking taylor expansion of im in im
12.599 * [backup-simplify]: Simplify 0 into 0
12.599 * [backup-simplify]: Simplify 1 into 1
12.599 * [backup-simplify]: Simplify (* 1 1) into 1
12.600 * [backup-simplify]: Simplify (* 1 1) into 1
12.600 * [backup-simplify]: Simplify 1 into 1
12.600 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
12.600 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
12.600 * [backup-simplify]: Simplify 0 into 0
12.601 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
12.602 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
12.602 * [backup-simplify]: Simplify 0 into 0
12.602 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
12.603 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
12.603 * [backup-simplify]: Simplify 0 into 0
12.604 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
12.604 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
12.605 * [backup-simplify]: Simplify 0 into 0
12.605 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
12.606 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
12.606 * [backup-simplify]: Simplify 0 into 0
12.607 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
12.608 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
12.608 * [backup-simplify]: Simplify 0 into 0
12.608 * [backup-simplify]: Simplify (* 1 (pow im 4)) into (pow im 4)
12.609 * [backup-simplify]: Simplify (* (* (/ 1 im) (/ 1 im)) (* (/ 1 im) (/ 1 im))) into (/ 1 (pow im 4))
12.609 * [approximate]: Taking taylor expansion of (/ 1 (pow im 4)) in (im) around 0
12.609 * [taylor]: Taking taylor expansion of (/ 1 (pow im 4)) in im
12.609 * [taylor]: Taking taylor expansion of (pow im 4) in im
12.609 * [taylor]: Taking taylor expansion of im in im
12.609 * [backup-simplify]: Simplify 0 into 0
12.609 * [backup-simplify]: Simplify 1 into 1
12.609 * [backup-simplify]: Simplify (* 1 1) into 1
12.609 * [backup-simplify]: Simplify (* 1 1) into 1
12.610 * [backup-simplify]: Simplify (/ 1 1) into 1
12.610 * [taylor]: Taking taylor expansion of (/ 1 (pow im 4)) in im
12.610 * [taylor]: Taking taylor expansion of (pow im 4) in im
12.610 * [taylor]: Taking taylor expansion of im in im
12.610 * [backup-simplify]: Simplify 0 into 0
12.610 * [backup-simplify]: Simplify 1 into 1
12.610 * [backup-simplify]: Simplify (* 1 1) into 1
12.610 * [backup-simplify]: Simplify (* 1 1) into 1
12.611 * [backup-simplify]: Simplify (/ 1 1) into 1
12.611 * [backup-simplify]: Simplify 1 into 1
12.611 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
12.612 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
12.612 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
12.612 * [backup-simplify]: Simplify 0 into 0
12.613 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
12.613 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
12.614 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.614 * [backup-simplify]: Simplify 0 into 0
12.615 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
12.615 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
12.616 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.616 * [backup-simplify]: Simplify 0 into 0
12.617 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
12.617 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
12.618 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.618 * [backup-simplify]: Simplify 0 into 0
12.619 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
12.620 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
12.620 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.620 * [backup-simplify]: Simplify 0 into 0
12.621 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
12.622 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
12.623 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.623 * [backup-simplify]: Simplify 0 into 0
12.624 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 im)) 4)) into (pow im 4)
12.624 * [backup-simplify]: Simplify (* (* (/ 1 (- im)) (/ 1 (- im))) (* (/ 1 (- im)) (/ 1 (- im)))) into (/ 1 (pow im 4))
12.624 * [approximate]: Taking taylor expansion of (/ 1 (pow im 4)) in (im) around 0
12.624 * [taylor]: Taking taylor expansion of (/ 1 (pow im 4)) in im
12.624 * [taylor]: Taking taylor expansion of (pow im 4) in im
12.624 * [taylor]: Taking taylor expansion of im in im
12.624 * [backup-simplify]: Simplify 0 into 0
12.624 * [backup-simplify]: Simplify 1 into 1
12.624 * [backup-simplify]: Simplify (* 1 1) into 1
12.625 * [backup-simplify]: Simplify (* 1 1) into 1
12.625 * [backup-simplify]: Simplify (/ 1 1) into 1
12.625 * [taylor]: Taking taylor expansion of (/ 1 (pow im 4)) in im
12.625 * [taylor]: Taking taylor expansion of (pow im 4) in im
12.625 * [taylor]: Taking taylor expansion of im in im
12.625 * [backup-simplify]: Simplify 0 into 0
12.625 * [backup-simplify]: Simplify 1 into 1
12.625 * [backup-simplify]: Simplify (* 1 1) into 1
12.626 * [backup-simplify]: Simplify (* 1 1) into 1
12.626 * [backup-simplify]: Simplify (/ 1 1) into 1
12.626 * [backup-simplify]: Simplify 1 into 1
12.626 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
12.627 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
12.627 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
12.627 * [backup-simplify]: Simplify 0 into 0
12.628 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
12.629 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
12.630 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.630 * [backup-simplify]: Simplify 0 into 0
12.631 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
12.633 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
12.634 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.634 * [backup-simplify]: Simplify 0 into 0
12.635 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
12.636 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
12.638 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.638 * [backup-simplify]: Simplify 0 into 0
12.639 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
12.641 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
12.641 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.641 * [backup-simplify]: Simplify 0 into 0
12.642 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
12.643 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
12.644 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.644 * [backup-simplify]: Simplify 0 into 0
12.644 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- im))) 4)) into (pow im 4)
12.645 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2)
12.645 * [backup-simplify]: Simplify (* (* (* im im) (* im im)) 0.041666666666666664) into (* 0.041666666666666664 (pow im 4))
12.645 * [approximate]: Taking taylor expansion of (* 0.041666666666666664 (pow im 4)) in (im) around 0
12.645 * [taylor]: Taking taylor expansion of (* 0.041666666666666664 (pow im 4)) in im
12.645 * [taylor]: Taking taylor expansion of 0.041666666666666664 in im
12.645 * [backup-simplify]: Simplify 0.041666666666666664 into 0.041666666666666664
12.645 * [taylor]: Taking taylor expansion of (pow im 4) in im
12.645 * [taylor]: Taking taylor expansion of im in im
12.645 * [backup-simplify]: Simplify 0 into 0
12.645 * [backup-simplify]: Simplify 1 into 1
12.645 * [taylor]: Taking taylor expansion of (* 0.041666666666666664 (pow im 4)) in im
12.645 * [taylor]: Taking taylor expansion of 0.041666666666666664 in im
12.645 * [backup-simplify]: Simplify 0.041666666666666664 into 0.041666666666666664
12.645 * [taylor]: Taking taylor expansion of (pow im 4) in im
12.645 * [taylor]: Taking taylor expansion of im in im
12.645 * [backup-simplify]: Simplify 0 into 0
12.645 * [backup-simplify]: Simplify 1 into 1
12.645 * [backup-simplify]: Simplify (* 1 1) into 1
12.646 * [backup-simplify]: Simplify (* 1 1) into 1
12.646 * [backup-simplify]: Simplify (* 0.041666666666666664 1) into 0.041666666666666664
12.646 * [backup-simplify]: Simplify 0.041666666666666664 into 0.041666666666666664
12.646 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
12.647 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
12.647 * [backup-simplify]: Simplify (+ (* 0.041666666666666664 0) (* 0 1)) into 0
12.647 * [backup-simplify]: Simplify 0 into 0
12.648 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
12.649 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
12.649 * [backup-simplify]: Simplify (+ (* 0.041666666666666664 0) (+ (* 0 0) (* 0 1))) into 0
12.649 * [backup-simplify]: Simplify 0 into 0
12.650 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
12.651 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
12.652 * [backup-simplify]: Simplify (+ (* 0.041666666666666664 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
12.652 * [backup-simplify]: Simplify 0 into 0
12.652 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
12.653 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
12.654 * [backup-simplify]: Simplify (+ (* 0.041666666666666664 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
12.654 * [backup-simplify]: Simplify 0 into 0
12.655 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
12.656 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
12.657 * [backup-simplify]: Simplify (+ (* 0.041666666666666664 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
12.657 * [backup-simplify]: Simplify 0 into 0
12.658 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
12.659 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
12.660 * [backup-simplify]: Simplify (+ (* 0.041666666666666664 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
12.660 * [backup-simplify]: Simplify 0 into 0
12.660 * [backup-simplify]: Simplify (* 0.041666666666666664 (pow im 4)) into (* 0.041666666666666664 (pow im 4))
12.660 * [backup-simplify]: Simplify (* (* (* (/ 1 im) (/ 1 im)) (* (/ 1 im) (/ 1 im))) 0.041666666666666664) into (/ 0.041666666666666664 (pow im 4))
12.660 * [approximate]: Taking taylor expansion of (/ 0.041666666666666664 (pow im 4)) in (im) around 0
12.660 * [taylor]: Taking taylor expansion of (/ 0.041666666666666664 (pow im 4)) in im
12.660 * [taylor]: Taking taylor expansion of 0.041666666666666664 in im
12.660 * [backup-simplify]: Simplify 0.041666666666666664 into 0.041666666666666664
12.660 * [taylor]: Taking taylor expansion of (pow im 4) in im
12.661 * [taylor]: Taking taylor expansion of im in im
12.661 * [backup-simplify]: Simplify 0 into 0
12.661 * [backup-simplify]: Simplify 1 into 1
12.661 * [backup-simplify]: Simplify (* 1 1) into 1
12.661 * [backup-simplify]: Simplify (* 1 1) into 1
12.661 * [backup-simplify]: Simplify (/ 0.041666666666666664 1) into 0.041666666666666664
12.661 * [taylor]: Taking taylor expansion of (/ 0.041666666666666664 (pow im 4)) in im
12.661 * [taylor]: Taking taylor expansion of 0.041666666666666664 in im
12.661 * [backup-simplify]: Simplify 0.041666666666666664 into 0.041666666666666664
12.661 * [taylor]: Taking taylor expansion of (pow im 4) in im
12.661 * [taylor]: Taking taylor expansion of im in im
12.662 * [backup-simplify]: Simplify 0 into 0
12.662 * [backup-simplify]: Simplify 1 into 1
12.662 * [backup-simplify]: Simplify (* 1 1) into 1
12.662 * [backup-simplify]: Simplify (* 1 1) into 1
12.662 * [backup-simplify]: Simplify (/ 0.041666666666666664 1) into 0.041666666666666664
12.662 * [backup-simplify]: Simplify 0.041666666666666664 into 0.041666666666666664
12.663 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
12.663 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
12.664 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.041666666666666664 (/ 0 1)))) into 0
12.664 * [backup-simplify]: Simplify 0 into 0
12.664 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
12.665 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
12.666 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.041666666666666664 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.666 * [backup-simplify]: Simplify 0 into 0
12.666 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
12.667 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
12.668 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.041666666666666664 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.668 * [backup-simplify]: Simplify 0 into 0
12.669 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
12.669 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
12.670 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.041666666666666664 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.670 * [backup-simplify]: Simplify 0 into 0
12.671 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
12.672 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
12.673 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.041666666666666664 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.673 * [backup-simplify]: Simplify 0 into 0
12.675 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
12.676 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
12.678 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.041666666666666664 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.678 * [backup-simplify]: Simplify 0 into 0
12.679 * [backup-simplify]: Simplify (* 0.041666666666666664 (pow (/ 1 (/ 1 im)) 4)) into (* 0.041666666666666664 (pow im 4))
12.679 * [backup-simplify]: Simplify (* (* (* (/ 1 (- im)) (/ 1 (- im))) (* (/ 1 (- im)) (/ 1 (- im)))) 0.041666666666666664) into (/ 0.041666666666666664 (pow im 4))
12.679 * [approximate]: Taking taylor expansion of (/ 0.041666666666666664 (pow im 4)) in (im) around 0
12.680 * [taylor]: Taking taylor expansion of (/ 0.041666666666666664 (pow im 4)) in im
12.680 * [taylor]: Taking taylor expansion of 0.041666666666666664 in im
12.680 * [backup-simplify]: Simplify 0.041666666666666664 into 0.041666666666666664
12.680 * [taylor]: Taking taylor expansion of (pow im 4) in im
12.680 * [taylor]: Taking taylor expansion of im in im
12.680 * [backup-simplify]: Simplify 0 into 0
12.680 * [backup-simplify]: Simplify 1 into 1
12.680 * [backup-simplify]: Simplify (* 1 1) into 1
12.681 * [backup-simplify]: Simplify (* 1 1) into 1
12.681 * [backup-simplify]: Simplify (/ 0.041666666666666664 1) into 0.041666666666666664
12.681 * [taylor]: Taking taylor expansion of (/ 0.041666666666666664 (pow im 4)) in im
12.681 * [taylor]: Taking taylor expansion of 0.041666666666666664 in im
12.681 * [backup-simplify]: Simplify 0.041666666666666664 into 0.041666666666666664
12.681 * [taylor]: Taking taylor expansion of (pow im 4) in im
12.681 * [taylor]: Taking taylor expansion of im in im
12.681 * [backup-simplify]: Simplify 0 into 0
12.681 * [backup-simplify]: Simplify 1 into 1
12.682 * [backup-simplify]: Simplify (* 1 1) into 1
12.682 * [backup-simplify]: Simplify (* 1 1) into 1
12.683 * [backup-simplify]: Simplify (/ 0.041666666666666664 1) into 0.041666666666666664
12.683 * [backup-simplify]: Simplify 0.041666666666666664 into 0.041666666666666664
12.684 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
12.684 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
12.685 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.041666666666666664 (/ 0 1)))) into 0
12.685 * [backup-simplify]: Simplify 0 into 0
12.686 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
12.687 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
12.688 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.041666666666666664 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.688 * [backup-simplify]: Simplify 0 into 0
12.689 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
12.690 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
12.692 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.041666666666666664 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.692 * [backup-simplify]: Simplify 0 into 0
12.693 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
12.694 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
12.695 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.041666666666666664 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.695 * [backup-simplify]: Simplify 0 into 0
12.697 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
12.698 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
12.700 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.041666666666666664 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.700 * [backup-simplify]: Simplify 0 into 0
12.701 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
12.705 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
12.706 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.041666666666666664 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.706 * [backup-simplify]: Simplify 0 into 0
12.706 * [backup-simplify]: Simplify (* 0.041666666666666664 (pow (/ 1 (/ 1 (- im))) 4)) into (* 0.041666666666666664 (pow im 4))
12.706 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
12.707 * [backup-simplify]: Simplify (+ (+ (* im (* im 0.5)) 1.0) (* (* (* im im) (* im im)) 0.041666666666666664)) into (+ (* 0.5 (pow im 2)) (+ (* 0.041666666666666664 (pow im 4)) 1.0))
12.707 * [approximate]: Taking taylor expansion of (+ (* 0.5 (pow im 2)) (+ (* 0.041666666666666664 (pow im 4)) 1.0)) in (im) around 0
12.707 * [taylor]: Taking taylor expansion of (+ (* 0.5 (pow im 2)) (+ (* 0.041666666666666664 (pow im 4)) 1.0)) in im
12.707 * [taylor]: Taking taylor expansion of (* 0.5 (pow im 2)) in im
12.707 * [taylor]: Taking taylor expansion of 0.5 in im
12.707 * [backup-simplify]: Simplify 0.5 into 0.5
12.707 * [taylor]: Taking taylor expansion of (pow im 2) in im
12.707 * [taylor]: Taking taylor expansion of im in im
12.707 * [backup-simplify]: Simplify 0 into 0
12.707 * [backup-simplify]: Simplify 1 into 1
12.707 * [taylor]: Taking taylor expansion of (+ (* 0.041666666666666664 (pow im 4)) 1.0) in im
12.707 * [taylor]: Taking taylor expansion of (* 0.041666666666666664 (pow im 4)) in im
12.707 * [taylor]: Taking taylor expansion of 0.041666666666666664 in im
12.707 * [backup-simplify]: Simplify 0.041666666666666664 into 0.041666666666666664
12.707 * [taylor]: Taking taylor expansion of (pow im 4) in im
12.707 * [taylor]: Taking taylor expansion of im in im
12.707 * [backup-simplify]: Simplify 0 into 0
12.707 * [backup-simplify]: Simplify 1 into 1
12.707 * [taylor]: Taking taylor expansion of 1.0 in im
12.707 * [backup-simplify]: Simplify 1.0 into 1.0
12.707 * [taylor]: Taking taylor expansion of (+ (* 0.5 (pow im 2)) (+ (* 0.041666666666666664 (pow im 4)) 1.0)) in im
12.707 * [taylor]: Taking taylor expansion of (* 0.5 (pow im 2)) in im
12.707 * [taylor]: Taking taylor expansion of 0.5 in im
12.707 * [backup-simplify]: Simplify 0.5 into 0.5
12.707 * [taylor]: Taking taylor expansion of (pow im 2) in im
12.708 * [taylor]: Taking taylor expansion of im in im
12.708 * [backup-simplify]: Simplify 0 into 0
12.708 * [backup-simplify]: Simplify 1 into 1
12.708 * [taylor]: Taking taylor expansion of (+ (* 0.041666666666666664 (pow im 4)) 1.0) in im
12.708 * [taylor]: Taking taylor expansion of (* 0.041666666666666664 (pow im 4)) in im
12.708 * [taylor]: Taking taylor expansion of 0.041666666666666664 in im
12.708 * [backup-simplify]: Simplify 0.041666666666666664 into 0.041666666666666664
12.708 * [taylor]: Taking taylor expansion of (pow im 4) in im
12.708 * [taylor]: Taking taylor expansion of im in im
12.708 * [backup-simplify]: Simplify 0 into 0
12.708 * [backup-simplify]: Simplify 1 into 1
12.708 * [taylor]: Taking taylor expansion of 1.0 in im
12.708 * [backup-simplify]: Simplify 1.0 into 1.0
12.708 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
12.709 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
12.709 * [backup-simplify]: Simplify 1.0 into 1.0
12.709 * [backup-simplify]: Simplify (+ 0 0) into 0
12.709 * [backup-simplify]: Simplify (+ 0 0) into 0
12.709 * [backup-simplify]: Simplify 0 into 0
12.709 * [backup-simplify]: Simplify (* 1 1) into 1
12.710 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
12.710 * [backup-simplify]: Simplify (+ 0 0) into 0
12.710 * [backup-simplify]: Simplify (+ 0.5 0) into 0.5
12.710 * [backup-simplify]: Simplify 0.5 into 0.5
12.711 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
12.711 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
12.712 * [backup-simplify]: Simplify (+ 0 0) into 0
12.712 * [backup-simplify]: Simplify (+ 0 0) into 0
12.712 * [backup-simplify]: Simplify 0 into 0
12.712 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
12.713 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0
12.714 * [backup-simplify]: Simplify (* 1 1) into 1
12.714 * [backup-simplify]: Simplify (* 1 1) into 1
12.715 * [backup-simplify]: Simplify (* 0.041666666666666664 1) into 0.041666666666666664
12.715 * [backup-simplify]: Simplify (+ 0.041666666666666664 0) into 0.041666666666666664
12.715 * [backup-simplify]: Simplify (+ 0 0.041666666666666664) into 0.041666666666666664
12.715 * [backup-simplify]: Simplify 0.041666666666666664 into 0.041666666666666664
12.716 * [backup-simplify]: Simplify (+ (* 0.041666666666666664 (pow im 4)) (+ (* 0.5 (pow im 2)) 1.0)) into (+ (* 0.5 (pow im 2)) (+ (* 0.041666666666666664 (pow im 4)) 1.0))
12.717 * [backup-simplify]: Simplify (+ (+ (* (/ 1 im) (* (/ 1 im) 0.5)) 1.0) (* (* (* (/ 1 im) (/ 1 im)) (* (/ 1 im) (/ 1 im))) 0.041666666666666664)) into (+ (* 0.5 (/ 1 (pow im 2))) (+ 1.0 (* 0.041666666666666664 (/ 1 (pow im 4)))))
12.717 * [approximate]: Taking taylor expansion of (+ (* 0.5 (/ 1 (pow im 2))) (+ 1.0 (* 0.041666666666666664 (/ 1 (pow im 4))))) in (im) around 0
12.717 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (pow im 2))) (+ 1.0 (* 0.041666666666666664 (/ 1 (pow im 4))))) in im
12.717 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow im 2))) in im
12.717 * [taylor]: Taking taylor expansion of 0.5 in im
12.717 * [backup-simplify]: Simplify 0.5 into 0.5
12.717 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
12.717 * [taylor]: Taking taylor expansion of (pow im 2) in im
12.717 * [taylor]: Taking taylor expansion of im in im
12.717 * [backup-simplify]: Simplify 0 into 0
12.717 * [backup-simplify]: Simplify 1 into 1
12.718 * [backup-simplify]: Simplify (* 1 1) into 1
12.718 * [backup-simplify]: Simplify (/ 1 1) into 1
12.718 * [taylor]: Taking taylor expansion of (+ 1.0 (* 0.041666666666666664 (/ 1 (pow im 4)))) in im
12.718 * [taylor]: Taking taylor expansion of 1.0 in im
12.718 * [backup-simplify]: Simplify 1.0 into 1.0
12.718 * [taylor]: Taking taylor expansion of (* 0.041666666666666664 (/ 1 (pow im 4))) in im
12.718 * [taylor]: Taking taylor expansion of 0.041666666666666664 in im
12.718 * [backup-simplify]: Simplify 0.041666666666666664 into 0.041666666666666664
12.718 * [taylor]: Taking taylor expansion of (/ 1 (pow im 4)) in im
12.718 * [taylor]: Taking taylor expansion of (pow im 4) in im
12.718 * [taylor]: Taking taylor expansion of im in im
12.718 * [backup-simplify]: Simplify 0 into 0
12.718 * [backup-simplify]: Simplify 1 into 1
12.719 * [backup-simplify]: Simplify (* 1 1) into 1
12.719 * [backup-simplify]: Simplify (* 1 1) into 1
12.719 * [backup-simplify]: Simplify (/ 1 1) into 1
12.719 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (pow im 2))) (+ 1.0 (* 0.041666666666666664 (/ 1 (pow im 4))))) in im
12.719 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow im 2))) in im
12.719 * [taylor]: Taking taylor expansion of 0.5 in im
12.719 * [backup-simplify]: Simplify 0.5 into 0.5
12.719 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
12.719 * [taylor]: Taking taylor expansion of (pow im 2) in im
12.719 * [taylor]: Taking taylor expansion of im in im
12.719 * [backup-simplify]: Simplify 0 into 0
12.719 * [backup-simplify]: Simplify 1 into 1
12.720 * [backup-simplify]: Simplify (* 1 1) into 1
12.720 * [backup-simplify]: Simplify (/ 1 1) into 1
12.720 * [taylor]: Taking taylor expansion of (+ 1.0 (* 0.041666666666666664 (/ 1 (pow im 4)))) in im
12.720 * [taylor]: Taking taylor expansion of 1.0 in im
12.720 * [backup-simplify]: Simplify 1.0 into 1.0
12.720 * [taylor]: Taking taylor expansion of (* 0.041666666666666664 (/ 1 (pow im 4))) in im
12.720 * [taylor]: Taking taylor expansion of 0.041666666666666664 in im
12.720 * [backup-simplify]: Simplify 0.041666666666666664 into 0.041666666666666664
12.720 * [taylor]: Taking taylor expansion of (/ 1 (pow im 4)) in im
12.720 * [taylor]: Taking taylor expansion of (pow im 4) in im
12.720 * [taylor]: Taking taylor expansion of im in im
12.720 * [backup-simplify]: Simplify 0 into 0
12.720 * [backup-simplify]: Simplify 1 into 1
12.720 * [backup-simplify]: Simplify (* 1 1) into 1
12.721 * [backup-simplify]: Simplify (* 1 1) into 1
12.721 * [backup-simplify]: Simplify (/ 1 1) into 1
12.721 * [backup-simplify]: Simplify (* 0.041666666666666664 1) into 0.041666666666666664
12.722 * [backup-simplify]: Simplify (+ 0 0.041666666666666664) into 0.041666666666666664
12.722 * [backup-simplify]: Simplify (+ 0 0.041666666666666664) into 0.041666666666666664
12.722 * [backup-simplify]: Simplify 0.041666666666666664 into 0.041666666666666664
12.722 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
12.723 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
12.723 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
12.724 * [backup-simplify]: Simplify (+ (* 0.041666666666666664 0) (* 0 1)) into 0
12.724 * [backup-simplify]: Simplify (+ 0 0) into 0
12.724 * [backup-simplify]: Simplify (+ 0 0) into 0
12.724 * [backup-simplify]: Simplify 0 into 0
12.725 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
12.725 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
12.726 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
12.726 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.727 * [backup-simplify]: Simplify (+ (* 0.041666666666666664 0) (+ (* 0 0) (* 0 1))) into 0
12.727 * [backup-simplify]: Simplify (+ 0 0) into 0
12.727 * [backup-simplify]: Simplify (+ 0.5 0) into 0.5
12.727 * [backup-simplify]: Simplify 0.5 into 0.5
12.728 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
12.728 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
12.729 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
12.730 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
12.730 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
12.731 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.731 * [backup-simplify]: Simplify (+ (* 0.041666666666666664 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
12.732 * [backup-simplify]: Simplify (+ 0 0) into 0
12.732 * [backup-simplify]: Simplify (+ 0 0) into 0
12.732 * [backup-simplify]: Simplify 0 into 0
12.733 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
12.734 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.735 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0
12.736 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
12.737 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
12.739 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.740 * [backup-simplify]: Simplify (+ (* 0.041666666666666664 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
12.741 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
12.741 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
12.741 * [backup-simplify]: Simplify 1.0 into 1.0
12.743 * [backup-simplify]: Simplify (+ 1.0 (+ (* 0.5 (pow (/ 1 (/ 1 im)) 2)) (* 0.041666666666666664 (pow (/ 1 (/ 1 im)) 4)))) into (+ (* 0.5 (pow im 2)) (+ (* 0.041666666666666664 (pow im 4)) 1.0))
12.745 * [backup-simplify]: Simplify (+ (+ (* (/ 1 (- im)) (* (/ 1 (- im)) 0.5)) 1.0) (* (* (* (/ 1 (- im)) (/ 1 (- im))) (* (/ 1 (- im)) (/ 1 (- im)))) 0.041666666666666664)) into (+ (* 0.5 (/ 1 (pow im 2))) (+ 1.0 (* 0.041666666666666664 (/ 1 (pow im 4)))))
12.745 * [approximate]: Taking taylor expansion of (+ (* 0.5 (/ 1 (pow im 2))) (+ 1.0 (* 0.041666666666666664 (/ 1 (pow im 4))))) in (im) around 0
12.745 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (pow im 2))) (+ 1.0 (* 0.041666666666666664 (/ 1 (pow im 4))))) in im
12.745 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow im 2))) in im
12.745 * [taylor]: Taking taylor expansion of 0.5 in im
12.745 * [backup-simplify]: Simplify 0.5 into 0.5
12.745 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
12.745 * [taylor]: Taking taylor expansion of (pow im 2) in im
12.745 * [taylor]: Taking taylor expansion of im in im
12.745 * [backup-simplify]: Simplify 0 into 0
12.745 * [backup-simplify]: Simplify 1 into 1
12.746 * [backup-simplify]: Simplify (* 1 1) into 1
12.746 * [backup-simplify]: Simplify (/ 1 1) into 1
12.746 * [taylor]: Taking taylor expansion of (+ 1.0 (* 0.041666666666666664 (/ 1 (pow im 4)))) in im
12.746 * [taylor]: Taking taylor expansion of 1.0 in im
12.746 * [backup-simplify]: Simplify 1.0 into 1.0
12.746 * [taylor]: Taking taylor expansion of (* 0.041666666666666664 (/ 1 (pow im 4))) in im
12.746 * [taylor]: Taking taylor expansion of 0.041666666666666664 in im
12.746 * [backup-simplify]: Simplify 0.041666666666666664 into 0.041666666666666664
12.746 * [taylor]: Taking taylor expansion of (/ 1 (pow im 4)) in im
12.746 * [taylor]: Taking taylor expansion of (pow im 4) in im
12.746 * [taylor]: Taking taylor expansion of im in im
12.746 * [backup-simplify]: Simplify 0 into 0
12.746 * [backup-simplify]: Simplify 1 into 1
12.747 * [backup-simplify]: Simplify (* 1 1) into 1
12.747 * [backup-simplify]: Simplify (* 1 1) into 1
12.748 * [backup-simplify]: Simplify (/ 1 1) into 1
12.748 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (pow im 2))) (+ 1.0 (* 0.041666666666666664 (/ 1 (pow im 4))))) in im
12.748 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow im 2))) in im
12.748 * [taylor]: Taking taylor expansion of 0.5 in im
12.748 * [backup-simplify]: Simplify 0.5 into 0.5
12.748 * [taylor]: Taking taylor expansion of (/ 1 (pow im 2)) in im
12.748 * [taylor]: Taking taylor expansion of (pow im 2) in im
12.748 * [taylor]: Taking taylor expansion of im in im
12.748 * [backup-simplify]: Simplify 0 into 0
12.748 * [backup-simplify]: Simplify 1 into 1
12.748 * [backup-simplify]: Simplify (* 1 1) into 1
12.749 * [backup-simplify]: Simplify (/ 1 1) into 1
12.749 * [taylor]: Taking taylor expansion of (+ 1.0 (* 0.041666666666666664 (/ 1 (pow im 4)))) in im
12.749 * [taylor]: Taking taylor expansion of 1.0 in im
12.749 * [backup-simplify]: Simplify 1.0 into 1.0
12.749 * [taylor]: Taking taylor expansion of (* 0.041666666666666664 (/ 1 (pow im 4))) in im
12.749 * [taylor]: Taking taylor expansion of 0.041666666666666664 in im
12.749 * [backup-simplify]: Simplify 0.041666666666666664 into 0.041666666666666664
12.749 * [taylor]: Taking taylor expansion of (/ 1 (pow im 4)) in im
12.749 * [taylor]: Taking taylor expansion of (pow im 4) in im
12.749 * [taylor]: Taking taylor expansion of im in im
12.749 * [backup-simplify]: Simplify 0 into 0
12.749 * [backup-simplify]: Simplify 1 into 1
12.749 * [backup-simplify]: Simplify (* 1 1) into 1
12.750 * [backup-simplify]: Simplify (* 1 1) into 1
12.751 * [backup-simplify]: Simplify (/ 1 1) into 1
12.751 * [backup-simplify]: Simplify (* 0.041666666666666664 1) into 0.041666666666666664
12.752 * [backup-simplify]: Simplify (+ 0 0.041666666666666664) into 0.041666666666666664
12.752 * [backup-simplify]: Simplify (+ 0 0.041666666666666664) into 0.041666666666666664
12.752 * [backup-simplify]: Simplify 0.041666666666666664 into 0.041666666666666664
12.753 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
12.754 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
12.754 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
12.755 * [backup-simplify]: Simplify (+ (* 0.041666666666666664 0) (* 0 1)) into 0
12.756 * [backup-simplify]: Simplify (+ 0 0) into 0
12.756 * [backup-simplify]: Simplify (+ 0 0) into 0
12.756 * [backup-simplify]: Simplify 0 into 0
12.757 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
12.758 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
12.758 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
12.760 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.761 * [backup-simplify]: Simplify (+ (* 0.041666666666666664 0) (+ (* 0 0) (* 0 1))) into 0
12.761 * [backup-simplify]: Simplify (+ 0 0) into 0
12.762 * [backup-simplify]: Simplify (+ 0.5 0) into 0.5
12.762 * [backup-simplify]: Simplify 0.5 into 0.5
12.762 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
12.763 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
12.764 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
12.765 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
12.766 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
12.767 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.769 * [backup-simplify]: Simplify (+ (* 0.041666666666666664 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
12.769 * [backup-simplify]: Simplify (+ 0 0) into 0
12.769 * [backup-simplify]: Simplify (+ 0 0) into 0
12.769 * [backup-simplify]: Simplify 0 into 0
12.770 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
12.771 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.772 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0
12.774 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
12.775 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
12.776 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.778 * [backup-simplify]: Simplify (+ (* 0.041666666666666664 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
12.778 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
12.779 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
12.779 * [backup-simplify]: Simplify 1.0 into 1.0
12.781 * [backup-simplify]: Simplify (+ 1.0 (+ (* 0.5 (pow (/ 1 (/ 1 (- im))) 2)) (* 0.041666666666666664 (pow (/ 1 (/ 1 (- im))) 4)))) into (+ (* 0.5 (pow im 2)) (+ (* 0.041666666666666664 (pow im 4)) 1.0))
12.781 * * * [progress]: simplifying candidates
12.781 * * * * [progress]: [ 1 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (posit16->real (real->posit16 (* (* im im) (* im im)))) 0.041666666666666664)) (cos re)))>
12.781 * * * * [progress]: [ 2 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (pow im (+ (+ 1 1) (+ 1 1))) 0.041666666666666664)) (cos re)))>
12.781 * * * * [progress]: [ 3 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (pow im (+ (+ 1 1) 2)) 0.041666666666666664)) (cos re)))>
12.781 * * * * [progress]: [ 4 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (pow im (+ (+ 1 1) (+ 1 1))) 0.041666666666666664)) (cos re)))>
12.781 * * * * [progress]: [ 5 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (pow im (+ (+ 1 1) (* 2 1))) 0.041666666666666664)) (cos re)))>
12.781 * * * * [progress]: [ 6 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (pow (* im im) (+ 1 1)) 0.041666666666666664)) (cos re)))>
12.782 * * * * [progress]: [ 7 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (pow (* im im) (+ 1 1)) 0.041666666666666664)) (cos re)))>
12.782 * * * * [progress]: [ 8 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (pow im (+ 2 (+ 1 1))) 0.041666666666666664)) (cos re)))>
12.782 * * * * [progress]: [ 9 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (pow im (+ 2 2)) 0.041666666666666664)) (cos re)))>
12.782 * * * * [progress]: [ 10 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (pow im (+ 2 (+ 1 1))) 0.041666666666666664)) (cos re)))>
12.782 * * * * [progress]: [ 11 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (pow im (+ 2 (* 2 1))) 0.041666666666666664)) (cos re)))>
12.782 * * * * [progress]: [ 12 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (pow im (+ (+ 1 1) (+ 1 1))) 0.041666666666666664)) (cos re)))>
12.782 * * * * [progress]: [ 13 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (pow im (+ (+ 1 1) 2)) 0.041666666666666664)) (cos re)))>
12.782 * * * * [progress]: [ 14 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (pow im (+ (+ 1 1) (+ 1 1))) 0.041666666666666664)) (cos re)))>
12.782 * * * * [progress]: [ 15 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (pow im (+ (+ 1 1) (* 2 1))) 0.041666666666666664)) (cos re)))>
12.782 * * * * [progress]: [ 16 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (pow (* im im) (+ 1 1)) 0.041666666666666664)) (cos re)))>
12.782 * * * * [progress]: [ 17 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (pow (* im im) (+ 1 1)) 0.041666666666666664)) (cos re)))>
12.782 * * * * [progress]: [ 18 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (pow im (+ (* 2 1) (+ 1 1))) 0.041666666666666664)) (cos re)))>
12.782 * * * * [progress]: [ 19 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (pow im (+ (* 2 1) 2)) 0.041666666666666664)) (cos re)))>
12.782 * * * * [progress]: [ 20 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (pow im (+ (* 2 1) (+ 1 1))) 0.041666666666666664)) (cos re)))>
12.783 * * * * [progress]: [ 21 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (pow im (+ (* 2 1) (* 2 1))) 0.041666666666666664)) (cos re)))>
12.783 * * * * [progress]: [ 22 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (pow (* im im) (+ 1 1)) 0.041666666666666664)) (cos re)))>
12.783 * * * * [progress]: [ 23 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (pow (* im im) (+ 1 1)) 0.041666666666666664)) (cos re)))>
12.783 * * * * [progress]: [ 24 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (pow (* (* im im) (* im im)) 1) 0.041666666666666664)) (cos re)))>
12.783 * * * * [progress]: [ 25 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (pow (* (* im im) (* im im)) 1) 0.041666666666666664)) (cos re)))>
12.783 * * * * [progress]: [ 26 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (pow (* im im) 2) 0.041666666666666664)) (cos re)))>
12.783 * * * * [progress]: [ 27 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (pow (* im im) (+ 1 1)) 0.041666666666666664)) (cos re)))>
12.783 * * * * [progress]: [ 28 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (pow (* im im) (+ 1 1)) 0.041666666666666664)) (cos re)))>
12.783 * * * * [progress]: [ 29 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (pow (* (* im im) (* im im)) 1) 0.041666666666666664)) (cos re)))>
12.783 * * * * [progress]: [ 30 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (pow (* (* im im) (* im im)) 1) 0.041666666666666664)) (cos re)))>
12.783 * * * * [progress]: [ 31 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (pow (* im im) (* 2 1)) 0.041666666666666664)) (cos re)))>
12.783 * * * * [progress]: [ 32 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (pow (* im im) 2) 0.041666666666666664)) (cos re)))>
12.783 * * * * [progress]: [ 33 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (pow (* im im) (+ 1 1)) 0.041666666666666664)) (cos re)))>
12.784 * * * * [progress]: [ 34 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (pow (* im im) (+ 1 1)) 0.041666666666666664)) (cos re)))>
12.784 * * * * [progress]: [ 35 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (pow (* (* im im) (* im im)) 1) 0.041666666666666664)) (cos re)))>
12.784 * * * * [progress]: [ 36 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (exp (+ (+ (log im) (log im)) (+ (log im) (log im)))) 0.041666666666666664)) (cos re)))>
12.784 * * * * [progress]: [ 37 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (exp (+ (+ (log im) (log im)) (log (* im im)))) 0.041666666666666664)) (cos re)))>
12.784 * * * * [progress]: [ 38 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (exp (+ (log (* im im)) (+ (log im) (log im)))) 0.041666666666666664)) (cos re)))>
12.784 * * * * [progress]: [ 39 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (exp (+ (log (* im im)) (log (* im im)))) 0.041666666666666664)) (cos re)))>
12.784 * * * * [progress]: [ 40 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (exp (log (* (* im im) (* im im)))) 0.041666666666666664)) (cos re)))>
12.784 * * * * [progress]: [ 41 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (log (exp (* (* im im) (* im im)))) 0.041666666666666664)) (cos re)))>
12.784 * * * * [progress]: [ 42 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (cbrt (* (* (* (* im im) im) (* (* im im) im)) (* (* (* im im) im) (* (* im im) im)))) 0.041666666666666664)) (cos re)))>
12.784 * * * * [progress]: [ 43 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (cbrt (* (* (* (* im im) im) (* (* im im) im)) (* (* (* im im) (* im im)) (* im im)))) 0.041666666666666664)) (cos re)))>
12.784 * * * * [progress]: [ 44 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (cbrt (* (* (* (* im im) (* im im)) (* im im)) (* (* (* im im) im) (* (* im im) im)))) 0.041666666666666664)) (cos re)))>
12.784 * * * * [progress]: [ 45 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (cbrt (* (* (* (* im im) (* im im)) (* im im)) (* (* (* im im) (* im im)) (* im im)))) 0.041666666666666664)) (cos re)))>
12.784 * * * * [progress]: [ 46 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (* (* (cbrt (* (* im im) (* im im))) (cbrt (* (* im im) (* im im)))) (cbrt (* (* im im) (* im im)))) 0.041666666666666664)) (cos re)))>
12.784 * * * * [progress]: [ 47 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (cbrt (* (* (* (* im im) (* im im)) (* (* im im) (* im im))) (* (* im im) (* im im)))) 0.041666666666666664)) (cos re)))>
12.785 * * * * [progress]: [ 48 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (* (sqrt (* (* im im) (* im im))) (sqrt (* (* im im) (* im im)))) 0.041666666666666664)) (cos re)))>
12.785 * * * * [progress]: [ 49 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (* 1 (* (* im im) (* im im))) 0.041666666666666664)) (cos re)))>
12.785 * * * * [progress]: [ 50 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (* (* im im) (* im im)) 0.041666666666666664)) (cos re)))>
12.785 * * * * [progress]: [ 51 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (* (* im im) (* im im)) 0.041666666666666664)) (cos re)))>
12.785 * * * * [progress]: [ 52 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (pow im (* 2 (+ 1 1))) 0.041666666666666664)) (cos re)))>
12.785 * * * * [progress]: [ 53 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (pow im (* 2 (+ 1 1))) 0.041666666666666664)) (cos re)))>
12.785 * * * * [progress]: [ 54 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (pow (* im im) (* 2 1)) 0.041666666666666664)) (cos re)))>
12.785 * * * * [progress]: [ 55 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (pow (* im im) (* 2 1)) 0.041666666666666664)) (cos re)))>
12.785 * * * * [progress]: [ 56 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (pow im (* 2 2)) 0.041666666666666664)) (cos re)))>
12.785 * * * * [progress]: [ 57 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (pow im (* 2 (+ 1 1))) 0.041666666666666664)) (cos re)))>
12.785 * * * * [progress]: [ 58 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (pow im (* 2 (+ 1 1))) 0.041666666666666664)) (cos re)))>
12.785 * * * * [progress]: [ 59 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (pow (* im im) (* 2 1)) 0.041666666666666664)) (cos re)))>
12.785 * * * * [progress]: [ 60 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (pow (* im im) (* 2 1)) 0.041666666666666664)) (cos re)))>
12.786 * * * * [progress]: [ 61 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (pow im (* 2 (* 2 1))) 0.041666666666666664)) (cos re)))>
12.786 * * * * [progress]: [ 62 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (* (* (* im im) im) im) 0.041666666666666664)) (cos re)))>
12.786 * * * * [progress]: [ 63 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (* im (* im (* im im))) 0.041666666666666664)) (cos re)))>
12.786 * * * * [progress]: [ 64 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (* (* im im) (* im im)) 0.041666666666666664)) (cos re)))>
12.786 * * * * [progress]: [ 65 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (posit16->real (real->posit16 (* (* (* im im) (* im im)) 0.041666666666666664)))) (cos re)))>
12.786 * * * * [progress]: [ 66 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (pow (* (* (* im im) (* im im)) 0.041666666666666664) 1)) (cos re)))>
12.786 * * * * [progress]: [ 67 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (pow (* (* (* im im) (* im im)) 0.041666666666666664) 1)) (cos re)))>
12.786 * * * * [progress]: [ 68 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (pow (* (* (* im im) (* im im)) 0.041666666666666664) 1)) (cos re)))>
12.786 * * * * [progress]: [ 69 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (pow (* (* (* im im) (* im im)) 0.041666666666666664) 1)) (cos re)))>
12.786 * * * * [progress]: [ 70 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (pow (* (* (* im im) (* im im)) 0.041666666666666664) 1)) (cos re)))>
12.786 * * * * [progress]: [ 71 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (pow (* (* (* im im) (* im im)) 0.041666666666666664) 1)) (cos re)))>
12.786 * * * * [progress]: [ 72 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (exp (+ (+ (+ (log im) (log im)) (+ (log im) (log im))) (log 0.041666666666666664)))) (cos re)))>
12.786 * * * * [progress]: [ 73 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (exp (+ (+ (+ (log im) (log im)) (log (* im im))) (log 0.041666666666666664)))) (cos re)))>
12.787 * * * * [progress]: [ 74 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (exp (+ (+ (log (* im im)) (+ (log im) (log im))) (log 0.041666666666666664)))) (cos re)))>
12.787 * * * * [progress]: [ 75 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (exp (+ (+ (log (* im im)) (log (* im im))) (log 0.041666666666666664)))) (cos re)))>
12.787 * * * * [progress]: [ 76 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (exp (+ (log (* (* im im) (* im im))) (log 0.041666666666666664)))) (cos re)))>
12.787 * * * * [progress]: [ 77 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (exp (log (* (* (* im im) (* im im)) 0.041666666666666664)))) (cos re)))>
12.787 * * * * [progress]: [ 78 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (log (exp (* (* (* im im) (* im im)) 0.041666666666666664)))) (cos re)))>
12.787 * * * * [progress]: [ 79 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (cbrt (* (* (* (* (* im im) im) (* (* im im) im)) (* (* (* im im) im) (* (* im im) im))) (* (* 0.041666666666666664 0.041666666666666664) 0.041666666666666664)))) (cos re)))>
12.787 * * * * [progress]: [ 80 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (cbrt (* (* (* (* (* im im) im) (* (* im im) im)) (* (* (* im im) (* im im)) (* im im))) (* (* 0.041666666666666664 0.041666666666666664) 0.041666666666666664)))) (cos re)))>
12.787 * * * * [progress]: [ 81 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (cbrt (* (* (* (* (* im im) (* im im)) (* im im)) (* (* (* im im) im) (* (* im im) im))) (* (* 0.041666666666666664 0.041666666666666664) 0.041666666666666664)))) (cos re)))>
12.787 * * * * [progress]: [ 82 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (cbrt (* (* (* (* (* im im) (* im im)) (* im im)) (* (* (* im im) (* im im)) (* im im))) (* (* 0.041666666666666664 0.041666666666666664) 0.041666666666666664)))) (cos re)))>
12.787 * * * * [progress]: [ 83 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (cbrt (* (* (* (* (* im im) (* im im)) (* (* im im) (* im im))) (* (* im im) (* im im))) (* (* 0.041666666666666664 0.041666666666666664) 0.041666666666666664)))) (cos re)))>
12.787 * * * * [progress]: [ 84 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (* (cbrt (* (* (* im im) (* im im)) 0.041666666666666664)) (cbrt (* (* (* im im) (* im im)) 0.041666666666666664))) (cbrt (* (* (* im im) (* im im)) 0.041666666666666664)))) (cos re)))>
12.787 * * * * [progress]: [ 85 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (cbrt (* (* (* (* (* im im) (* im im)) 0.041666666666666664) (* (* (* im im) (* im im)) 0.041666666666666664)) (* (* (* im im) (* im im)) 0.041666666666666664)))) (cos re)))>
12.787 * * * * [progress]: [ 86 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (sqrt (* (* (* im im) (* im im)) 0.041666666666666664)) (sqrt (* (* (* im im) (* im im)) 0.041666666666666664)))) (cos re)))>
12.788 * * * * [progress]: [ 87 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* 1 (* (* (* im im) (* im im)) 0.041666666666666664))) (cos re)))>
12.788 * * * * [progress]: [ 88 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (* (* im im) (sqrt 0.041666666666666664)) (* (* im im) (sqrt 0.041666666666666664)))) (cos re)))>
12.788 * * * * [progress]: [ 89 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (* (* (* im im) (* im im)) (* (cbrt 0.041666666666666664) (cbrt 0.041666666666666664))) (cbrt 0.041666666666666664))) (cos re)))>
12.788 * * * * [progress]: [ 90 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (* (* (* im im) (* im im)) (sqrt 0.041666666666666664)) (sqrt 0.041666666666666664))) (cos re)))>
12.788 * * * * [progress]: [ 91 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (* (* (* im im) (* im im)) 1) 0.041666666666666664)) (cos re)))>
12.788 * * * * [progress]: [ 92 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (* im im) (* (* im im) 0.041666666666666664))) (cos re)))>
12.788 * * * * [progress]: [ 93 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* 0.041666666666666664 (* (* im im) (* im im)))) (cos re)))>
12.788 * * * * [progress]: [ 94 / 116 ] simplifiying candidate #<alt (λ (re im) (* (posit16->real (real->posit16 (+ (+ (* im (* im 0.5)) 1.0) (* (* (* im im) (* im im)) 0.041666666666666664)))) (cos re)))>
12.788 * * * * [progress]: [ 95 / 116 ] simplifiying candidate #<alt (λ (re im) (* (log (* (* (exp (* im (* im 0.5))) (exp 1.0)) (exp (* (* (* im im) (* im im)) 0.041666666666666664)))) (cos re)))>
12.788 * * * * [progress]: [ 96 / 116 ] simplifiying candidate #<alt (λ (re im) (* (log (* (exp (+ (* im (* im 0.5)) 1.0)) (exp (* (* (* im im) (* im im)) 0.041666666666666664)))) (cos re)))>
12.788 * * * * [progress]: [ 97 / 116 ] simplifiying candidate #<alt (λ (re im) (* (pow (+ (+ (* im (* im 0.5)) 1.0) (* (* (* im im) (* im im)) 0.041666666666666664)) 1) (cos re)))>
12.788 * * * * [progress]: [ 98 / 116 ] simplifiying candidate #<alt (λ (re im) (* (exp (log (+ (+ (* im (* im 0.5)) 1.0) (* (* (* im im) (* im im)) 0.041666666666666664)))) (cos re)))>
12.788 * * * * [progress]: [ 99 / 116 ] simplifiying candidate #<alt (λ (re im) (* (log (exp (+ (+ (* im (* im 0.5)) 1.0) (* (* (* im im) (* im im)) 0.041666666666666664)))) (cos re)))>
12.789 * * * * [progress]: [ 100 / 116 ] simplifiying candidate #<alt (λ (re im) (* (* (* (cbrt (+ (+ (* im (* im 0.5)) 1.0) (* (* (* im im) (* im im)) 0.041666666666666664))) (cbrt (+ (+ (* im (* im 0.5)) 1.0) (* (* (* im im) (* im im)) 0.041666666666666664)))) (cbrt (+ (+ (* im (* im 0.5)) 1.0) (* (* (* im im) (* im im)) 0.041666666666666664)))) (cos re)))>
12.789 * * * * [progress]: [ 101 / 116 ] simplifiying candidate #<alt (λ (re im) (* (cbrt (* (* (+ (+ (* im (* im 0.5)) 1.0) (* (* (* im im) (* im im)) 0.041666666666666664)) (+ (+ (* im (* im 0.5)) 1.0) (* (* (* im im) (* im im)) 0.041666666666666664))) (+ (+ (* im (* im 0.5)) 1.0) (* (* (* im im) (* im im)) 0.041666666666666664)))) (cos re)))>
12.789 * * * * [progress]: [ 102 / 116 ] simplifiying candidate #<alt (λ (re im) (* (* (sqrt (+ (+ (* im (* im 0.5)) 1.0) (* (* (* im im) (* im im)) 0.041666666666666664))) (sqrt (+ (+ (* im (* im 0.5)) 1.0) (* (* (* im im) (* im im)) 0.041666666666666664)))) (cos re)))>
12.789 * * * * [progress]: [ 103 / 116 ] simplifiying candidate #<alt (λ (re im) (* (/ (+ (pow (+ (* im (* im 0.5)) 1.0) 3) (pow (* (* (* im im) (* im im)) 0.041666666666666664) 3)) (+ (* (+ (* im (* im 0.5)) 1.0) (+ (* im (* im 0.5)) 1.0)) (- (* (* (* (* im im) (* im im)) 0.041666666666666664) (* (* (* im im) (* im im)) 0.041666666666666664)) (* (+ (* im (* im 0.5)) 1.0) (* (* (* im im) (* im im)) 0.041666666666666664))))) (cos re)))>
12.789 * * * * [progress]: [ 104 / 116 ] simplifiying candidate #<alt (λ (re im) (* (* 1 (+ (+ (* im (* im 0.5)) 1.0) (* (* (* im im) (* im im)) 0.041666666666666664))) (cos re)))>
12.789 * * * * [progress]: [ 105 / 116 ] simplifiying candidate #<alt (λ (re im) (* (/ (- (* (+ (* im (* im 0.5)) 1.0) (+ (* im (* im 0.5)) 1.0)) (* (* (* (* im im) (* im im)) 0.041666666666666664) (* (* (* im im) (* im im)) 0.041666666666666664))) (- (+ (* im (* im 0.5)) 1.0) (* (* (* im im) (* im im)) 0.041666666666666664))) (cos re)))>
12.789 * * * * [progress]: [ 106 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (* im (* im 0.5)) (+ 1.0 (* (* (* im im) (* im im)) 0.041666666666666664))) (cos re)))>
12.789 * * * * [progress]: [ 107 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (* (* (* im im) (* im im)) 0.041666666666666664) (+ (* im (* im 0.5)) 1.0)) (cos re)))>
12.789 * * * * [progress]: [ 108 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (pow im 4) 0.041666666666666664)) (cos re)))>
12.789 * * * * [progress]: [ 109 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (pow im 4) 0.041666666666666664)) (cos re)))>
12.789 * * * * [progress]: [ 110 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (pow im 4) 0.041666666666666664)) (cos re)))>
12.789 * * * * [progress]: [ 111 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* 0.041666666666666664 (pow im 4))) (cos re)))>
12.789 * * * * [progress]: [ 112 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* 0.041666666666666664 (pow im 4))) (cos re)))>
12.789 * * * * [progress]: [ 113 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* 0.041666666666666664 (pow im 4))) (cos re)))>
12.790 * * * * [progress]: [ 114 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (* 0.5 (pow im 2)) (+ (* 0.041666666666666664 (pow im 4)) 1.0)) (cos re)))>
12.790 * * * * [progress]: [ 115 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (* 0.5 (pow im 2)) (+ (* 0.041666666666666664 (pow im 4)) 1.0)) (cos re)))>
12.790 * * * * [progress]: [ 116 / 116 ] simplifiying candidate #<alt (λ (re im) (* (+ (* 0.5 (pow im 2)) (+ (* 0.041666666666666664 (pow im 4)) 1.0)) (cos re)))>
12.792 * [simplify]: Simplifying:
  (real->posit16 (* (* im im) (* im im)))
  (+ (+ 1 1) (+ 1 1))
  (+ (+ 1 1) 2)
  (+ (+ 1 1) (+ 1 1))
  (+ (+ 1 1) (* 2 1))
  (+ 1 1)
  (+ 1 1)
  (+ 2 (+ 1 1))
  (+ 2 2)
  (+ 2 (+ 1 1))
  (+ 2 (* 2 1))
  (+ (+ 1 1) (+ 1 1))
  (+ (+ 1 1) 2)
  (+ (+ 1 1) (+ 1 1))
  (+ (+ 1 1) (* 2 1))
  (+ 1 1)
  (+ 1 1)
  (+ (* 2 1) (+ 1 1))
  (+ (* 2 1) 2)
  (+ (* 2 1) (+ 1 1))
  (+ (* 2 1) (* 2 1))
  (* im im)
  (* im im)
  (* (* im im) (* im im))
  (* (* im im) (* im im))
  (* im im)
  (* im im)
  (* im im)
  (* (* im im) (* im im))
  (* (* im im) (* im im))
  (* im im)
  (+ 1 1)
  (+ 1 1)
  (+ (+ (log im) (log im)) (+ (log im) (log im)))
  (+ (+ (log im) (log im)) (log (* im im)))
  (+ (log (* im im)) (+ (log im) (log im)))
  (+ (log (* im im)) (log (* im im)))
  (log (* (* im im) (* im im)))
  (exp (* (* im im) (* im im)))
  (* (* (* (* im im) im) (* (* im im) im)) (* (* (* im im) im) (* (* im im) im)))
  (* (* (* (* im im) im) (* (* im im) im)) (* (* (* im im) (* im im)) (* im im)))
  (* (* (* (* im im) (* im im)) (* im im)) (* (* (* im im) im) (* (* im im) im)))
  (* (* (* (* im im) (* im im)) (* im im)) (* (* (* im im) (* im im)) (* im im)))
  (* (cbrt (* (* im im) (* im im))) (cbrt (* (* im im) (* im im))))
  (cbrt (* (* im im) (* im im)))
  (* (* (* (* im im) (* im im)) (* (* im im) (* im im))) (* (* im im) (* im im)))
  (sqrt (* (* im im) (* im im)))
  (sqrt (* (* im im) (* im im)))
  (* im im)
  (* im im)
  (* im im)
  (* im im)
  (* 2 (+ 1 1))
  (* 2 (+ 1 1))
  (* 2 1)
  (* 2 1)
  (* 2 2)
  (* 2 (+ 1 1))
  (* 2 (+ 1 1))
  (* 2 1)
  (* 2 1)
  (* 2 (* 2 1))
  (* (* im im) im)
  (* im (* im im))
  (real->posit16 (* (* (* im im) (* im im)) 0.041666666666666664))
  (* (* (* im im) (* im im)) 0.041666666666666664)
  (* (* (* im im) (* im im)) 0.041666666666666664)
  (* (* (* im im) (* im im)) 0.041666666666666664)
  (* (* (* im im) (* im im)) 0.041666666666666664)
  (* (* (* im im) (* im im)) 0.041666666666666664)
  (+ (+ (+ (log im) (log im)) (+ (log im) (log im))) (log 0.041666666666666664))
  (+ (+ (+ (log im) (log im)) (log (* im im))) (log 0.041666666666666664))
  (+ (+ (log (* im im)) (+ (log im) (log im))) (log 0.041666666666666664))
  (+ (+ (log (* im im)) (log (* im im))) (log 0.041666666666666664))
  (+ (log (* (* im im) (* im im))) (log 0.041666666666666664))
  (log (* (* (* im im) (* im im)) 0.041666666666666664))
  (exp (* (* (* im im) (* im im)) 0.041666666666666664))
  (* (* (* (* (* im im) im) (* (* im im) im)) (* (* (* im im) im) (* (* im im) im))) (* (* 0.041666666666666664 0.041666666666666664) 0.041666666666666664))
  (* (* (* (* (* im im) im) (* (* im im) im)) (* (* (* im im) (* im im)) (* im im))) (* (* 0.041666666666666664 0.041666666666666664) 0.041666666666666664))
  (* (* (* (* (* im im) (* im im)) (* im im)) (* (* (* im im) im) (* (* im im) im))) (* (* 0.041666666666666664 0.041666666666666664) 0.041666666666666664))
  (* (* (* (* (* im im) (* im im)) (* im im)) (* (* (* im im) (* im im)) (* im im))) (* (* 0.041666666666666664 0.041666666666666664) 0.041666666666666664))
  (* (* (* (* (* im im) (* im im)) (* (* im im) (* im im))) (* (* im im) (* im im))) (* (* 0.041666666666666664 0.041666666666666664) 0.041666666666666664))
  (* (cbrt (* (* (* im im) (* im im)) 0.041666666666666664)) (cbrt (* (* (* im im) (* im im)) 0.041666666666666664)))
  (cbrt (* (* (* im im) (* im im)) 0.041666666666666664))
  (* (* (* (* (* im im) (* im im)) 0.041666666666666664) (* (* (* im im) (* im im)) 0.041666666666666664)) (* (* (* im im) (* im im)) 0.041666666666666664))
  (sqrt (* (* (* im im) (* im im)) 0.041666666666666664))
  (sqrt (* (* (* im im) (* im im)) 0.041666666666666664))
  (* (* im im) (sqrt 0.041666666666666664))
  (* (* im im) (sqrt 0.041666666666666664))
  (* (* (* im im) (* im im)) (* (cbrt 0.041666666666666664) (cbrt 0.041666666666666664)))
  (* (* (* im im) (* im im)) (sqrt 0.041666666666666664))
  (* (* (* im im) (* im im)) 1)
  (* (* im im) 0.041666666666666664)
  (real->posit16 (+ (+ (* im (* im 0.5)) 1.0) (* (* (* im im) (* im im)) 0.041666666666666664)))
  (* (* (exp (* im (* im 0.5))) (exp 1.0)) (exp (* (* (* im im) (* im im)) 0.041666666666666664)))
  (* (exp (+ (* im (* im 0.5)) 1.0)) (exp (* (* (* im im) (* im im)) 0.041666666666666664)))
  (log (+ (+ (* im (* im 0.5)) 1.0) (* (* (* im im) (* im im)) 0.041666666666666664)))
  (exp (+ (+ (* im (* im 0.5)) 1.0) (* (* (* im im) (* im im)) 0.041666666666666664)))
  (* (cbrt (+ (+ (* im (* im 0.5)) 1.0) (* (* (* im im) (* im im)) 0.041666666666666664))) (cbrt (+ (+ (* im (* im 0.5)) 1.0) (* (* (* im im) (* im im)) 0.041666666666666664))))
  (cbrt (+ (+ (* im (* im 0.5)) 1.0) (* (* (* im im) (* im im)) 0.041666666666666664)))
  (* (* (+ (+ (* im (* im 0.5)) 1.0) (* (* (* im im) (* im im)) 0.041666666666666664)) (+ (+ (* im (* im 0.5)) 1.0) (* (* (* im im) (* im im)) 0.041666666666666664))) (+ (+ (* im (* im 0.5)) 1.0) (* (* (* im im) (* im im)) 0.041666666666666664)))
  (sqrt (+ (+ (* im (* im 0.5)) 1.0) (* (* (* im im) (* im im)) 0.041666666666666664)))
  (sqrt (+ (+ (* im (* im 0.5)) 1.0) (* (* (* im im) (* im im)) 0.041666666666666664)))
  (+ (pow (+ (* im (* im 0.5)) 1.0) 3) (pow (* (* (* im im) (* im im)) 0.041666666666666664) 3))
  (+ (* (+ (* im (* im 0.5)) 1.0) (+ (* im (* im 0.5)) 1.0)) (- (* (* (* (* im im) (* im im)) 0.041666666666666664) (* (* (* im im) (* im im)) 0.041666666666666664)) (* (+ (* im (* im 0.5)) 1.0) (* (* (* im im) (* im im)) 0.041666666666666664))))
  (- (* (+ (* im (* im 0.5)) 1.0) (+ (* im (* im 0.5)) 1.0)) (* (* (* (* im im) (* im im)) 0.041666666666666664) (* (* (* im im) (* im im)) 0.041666666666666664)))
  (- (+ (* im (* im 0.5)) 1.0) (* (* (* im im) (* im im)) 0.041666666666666664))
  (+ 1.0 (* (* (* im im) (* im im)) 0.041666666666666664))
  (pow im 4)
  (pow im 4)
  (pow im 4)
  (* 0.041666666666666664 (pow im 4))
  (* 0.041666666666666664 (pow im 4))
  (* 0.041666666666666664 (pow im 4))
  (+ (* 0.5 (pow im 2)) (+ (* 0.041666666666666664 (pow im 4)) 1.0))
  (+ (* 0.5 (pow im 2)) (+ (* 0.041666666666666664 (pow im 4)) 1.0))
  (+ (* 0.5 (pow im 2)) (+ (* 0.041666666666666664 (pow im 4)) 1.0))
12.796 * * [simplify]: iteration 0: 111 enodes
12.968 * * [simplify]: iteration 1: 345 enodes
13.516 * * [simplify]: iteration 2: 1194 enodes
15.279 * * [simplify]: iteration complete: 5000 enodes
15.279 * * [simplify]: Extracting #0: cost 37 inf + 0
15.281 * * [simplify]: Extracting #1: cost 468 inf + 2
15.291 * * [simplify]: Extracting #2: cost 1258 inf + 17265
15.339 * * [simplify]: Extracting #3: cost 894 inf + 150508
15.447 * * [simplify]: Extracting #4: cost 199 inf + 381380
15.564 * * [simplify]: Extracting #5: cost 6 inf + 395026
15.708 * * [simplify]: Extracting #6: cost 2 inf + 378441
15.837 * * [simplify]: Extracting #7: cost 0 inf + 377831
15.994 * [simplify]: Simplified to:
  (real->posit16 (* (* im im) (* im im)))
  4
  4
  4
  4
  2
  2
  4
  4
  4
  4
  4
  4
  4
  4
  2
  2
  4
  4
  4
  4
  (* im im)
  (* im im)
  (* (* im im) (* im im))
  (* (* im im) (* im im))
  (* im im)
  (* im im)
  (* im im)
  (* (* im im) (* im im))
  (* (* im im) (* im im))
  (* im im)
  2
  2
  (* 4 (log im))
  (* 4 (log im))
  (* 4 (log im))
  (* 4 (log im))
  (* 4 (log im))
  (exp (* (* im im) (* im im)))
  (* (* (* im (* im im)) (* im (* im im))) (* (* im (* im im)) (* im (* im im))))
  (* (* (* im (* im im)) (* im (* im im))) (* (* im (* im im)) (* im (* im im))))
  (* (* (* im (* im im)) (* im (* im im))) (* (* im (* im im)) (* im (* im im))))
  (* (* (* im (* im im)) (* im (* im im))) (* (* im (* im im)) (* im (* im im))))
  (* (cbrt (* (* im im) (* im im))) (cbrt (* (* im im) (* im im))))
  (cbrt (* (* im im) (* im im)))
  (* (* (* im (* im im)) (* im (* im im))) (* (* im (* im im)) (* im (* im im))))
  (fabs (* im im))
  (fabs (* im im))
  (* im im)
  (* im im)
  (* im im)
  (* im im)
  4
  4
  2
  2
  4
  4
  4
  2
  2
  4
  (* im (* im im))
  (* im (* im im))
  (real->posit16 (* (* (* im im) (* im im)) 0.041666666666666664))
  (* (* (* im im) (* im im)) 0.041666666666666664)
  (* (* (* im im) (* im im)) 0.041666666666666664)
  (* (* (* im im) (* im im)) 0.041666666666666664)
  (* (* (* im im) (* im im)) 0.041666666666666664)
  (* (* (* im im) (* im im)) 0.041666666666666664)
  (log (* (* (* im im) (* im im)) 0.041666666666666664))
  (log (* (* (* im im) (* im im)) 0.041666666666666664))
  (log (* (* (* im im) (* im im)) 0.041666666666666664))
  (log (* (* (* im im) (* im im)) 0.041666666666666664))
  (log (* (* (* im im) (* im im)) 0.041666666666666664))
  (log (* (* (* im im) (* im im)) 0.041666666666666664))
  (exp (* (* (* im im) (* im im)) 0.041666666666666664))
  (* 0.041666666666666664 (* (* (* im im) (* im im)) (* (* 0.041666666666666664 (* (* im im) (* im im))) (* 0.041666666666666664 (* (* im im) (* im im))))))
  (* 0.041666666666666664 (* (* (* im im) (* im im)) (* (* 0.041666666666666664 (* (* im im) (* im im))) (* 0.041666666666666664 (* (* im im) (* im im))))))
  (* 0.041666666666666664 (* (* (* im im) (* im im)) (* (* 0.041666666666666664 (* (* im im) (* im im))) (* 0.041666666666666664 (* (* im im) (* im im))))))
  (* 0.041666666666666664 (* (* (* im im) (* im im)) (* (* 0.041666666666666664 (* (* im im) (* im im))) (* 0.041666666666666664 (* (* im im) (* im im))))))
  (* 0.041666666666666664 (* (* (* im im) (* im im)) (* (* 0.041666666666666664 (* (* im im) (* im im))) (* 0.041666666666666664 (* (* im im) (* im im))))))
  (* (cbrt (* (* (* im im) (* im im)) 0.041666666666666664)) (cbrt (* (* (* im im) (* im im)) 0.041666666666666664)))
  (cbrt (* (* (* im im) (* im im)) 0.041666666666666664))
  (* 0.041666666666666664 (* (* (* im im) (* im im)) (* (* 0.041666666666666664 (* (* im im) (* im im))) (* 0.041666666666666664 (* (* im im) (* im im))))))
  (sqrt (* (* (* im im) (* im im)) 0.041666666666666664))
  (sqrt (* (* (* im im) (* im im)) 0.041666666666666664))
  (* im (* im (sqrt 0.041666666666666664)))
  (* im (* im (sqrt 0.041666666666666664)))
  (* (* (cbrt 0.041666666666666664) (* im im)) (* (cbrt 0.041666666666666664) (* im im)))
  (* (* (* im im) (* im im)) (sqrt 0.041666666666666664))
  (* (* im im) (* im im))
  (* (* im im) 0.041666666666666664)
  (real->posit16 (+ 1.0 (* (* im im) (+ 0.5 (* (* im im) 0.041666666666666664)))))
  (exp (+ 1.0 (* (* im im) (+ 0.5 (* (* im im) 0.041666666666666664)))))
  (exp (+ 1.0 (* (* im im) (+ 0.5 (* (* im im) 0.041666666666666664)))))
  (log (+ 1.0 (* (* im im) (+ 0.5 (* (* im im) 0.041666666666666664)))))
  (exp (+ 1.0 (* (* im im) (+ 0.5 (* (* im im) 0.041666666666666664)))))
  (* (cbrt (+ 1.0 (* (* im im) (+ 0.5 (* (* im im) 0.041666666666666664))))) (cbrt (+ 1.0 (* (* im im) (+ 0.5 (* (* im im) 0.041666666666666664))))))
  (cbrt (+ 1.0 (* (* im im) (+ 0.5 (* (* im im) 0.041666666666666664)))))
  (* (+ 1.0 (* (* im im) (+ 0.5 (* (* im im) 0.041666666666666664)))) (* (+ 1.0 (* (* im im) (+ 0.5 (* (* im im) 0.041666666666666664)))) (+ 1.0 (* (* im im) (+ 0.5 (* (* im im) 0.041666666666666664))))))
  (sqrt (+ 1.0 (* (* im im) (+ 0.5 (* (* im im) 0.041666666666666664)))))
  (sqrt (+ 1.0 (* (* im im) (+ 0.5 (* (* im im) 0.041666666666666664)))))
  (+ (* (+ (* (* im im) 0.5) 1.0) (* (+ (* (* im im) 0.5) 1.0) (+ (* (* im im) 0.5) 1.0))) (* 0.041666666666666664 (* (* (* im im) (* im im)) (* (* 0.041666666666666664 (* (* im im) (* im im))) (* 0.041666666666666664 (* (* im im) (* im im)))))))
  (+ (* (+ (* (* im im) 0.5) 1.0) (+ (* (* im im) 0.5) 1.0)) (* (* (- (* (* im im) (- (* (* im im) 0.041666666666666664) 0.5)) 1.0) (* (* im im) 0.041666666666666664)) (* im im)))
  (- (* (+ (* (* im im) 0.5) 1.0) (+ (* (* im im) 0.5) 1.0)) (* (* 0.041666666666666664 (* (* im im) (* im im))) (* 0.041666666666666664 (* (* im im) (* im im)))))
  (- 1.0 (* (* im im) (- (* (* im im) 0.041666666666666664) 0.5)))
  (+ 1.0 (* (* (* im im) (* im im)) 0.041666666666666664))
  (* (* im im) (* im im))
  (* (* im im) (* im im))
  (* (* im im) (* im im))
  (* (* (* im im) (* im im)) 0.041666666666666664)
  (* (* (* im im) (* im im)) 0.041666666666666664)
  (* (* (* im im) (* im im)) 0.041666666666666664)
  (+ 1.0 (* (* im im) (+ 0.5 (* (* im im) 0.041666666666666664))))
  (+ 1.0 (* (* im im) (+ 0.5 (* (* im im) 0.041666666666666664))))
  (+ 1.0 (* (* im im) (+ 0.5 (* (* im im) 0.041666666666666664))))
16.001 * * * [progress]: adding candidates to table
16.671 * [progress]: [Phase 3 of 3] Extracting.
16.671 * * [regime]: Finding splitpoints for: (#<alt (λ (re im) (* (+ (/ 0.5 (exp im)) (* (exp im) 0.5)) (cos re)))> #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (* (* im im) (* im im)) 0.041666666666666664)) (cos re)))>)
16.673 * * * [regime-changes]: Trying 3 branch expressions: ((cos re) im re)
16.673 * * * * [regimes]: Trying to branch on (cos re) from (#<alt (λ (re im) (* (+ (/ 0.5 (exp im)) (* (exp im) 0.5)) (cos re)))> #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (* (* im im) (* im im)) 0.041666666666666664)) (cos re)))>)
16.798 * * * * [regimes]: Trying to branch on im from (#<alt (λ (re im) (* (+ (/ 0.5 (exp im)) (* (exp im) 0.5)) (cos re)))> #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (* (* im im) (* im im)) 0.041666666666666664)) (cos re)))>)
16.910 * * * * [regimes]: Trying to branch on re from (#<alt (λ (re im) (* (+ (/ 0.5 (exp im)) (* (exp im) 0.5)) (cos re)))> #<alt (λ (re im) (* (+ (+ (* im (* im 0.5)) 1.0) (* (* (* im im) (* im im)) 0.041666666666666664)) (cos re)))>)
17.018 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
17.019 * [simplify]: Simplifying:
  (* (+ (/ 0.5 (exp im)) (* (exp im) 0.5)) (cos re))
17.019 * * [simplify]: iteration 0: 9 enodes
17.022 * * [simplify]: iteration 1: 12 enodes
17.025 * * [simplify]: iteration complete: 12 enodes
17.025 * * [simplify]: Extracting #0: cost 1 inf + 0
17.025 * * [simplify]: Extracting #1: cost 3 inf + 0
17.025 * * [simplify]: Extracting #2: cost 6 inf + 0
17.025 * * [simplify]: Extracting #3: cost 6 inf + 62
17.025 * * [simplify]: Extracting #4: cost 6 inf + 63
17.025 * * [simplify]: Extracting #5: cost 0 inf + 844
17.025 * [simplify]: Simplified to:
  (* (cos re) (+ (/ 0.5 (exp im)) (* 0.5 (exp im))))
24.429 * [regime-testing]: Baseline error score: 0.012690308164061375
24.462 * [regime-testing]: Oracle error score: 0.010293767971356997
24.523 * [regime-testing]: End program error score: 0.012690308164061375