0.002 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.205 * * * [progress]: [2/2] Setting up program.
0.208 * [progress]: [Phase 2 of 3] Improving.
0.208 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (re im) (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))))>
0.208 * [simplify]: Simplifying:
  (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im)))
0.209 * * [simplify]: iteration 1: (10 enodes)
0.211 * * [simplify]: iteration 2: (43 enodes)
0.620 * * [simplify]: iteration 3: (89 enodes)
0.656 * * [simplify]: iteration 4: (140 enodes)
0.695 * * [simplify]: iteration 5: (179 enodes)
0.734 * * [simplify]: iteration 6: (220 enodes)
0.777 * * [simplify]: iteration 7: (286 enodes)
0.847 * * [simplify]: iteration 8: (393 enodes)
1.002 * * [simplify]: iteration 9: (434 enodes)
1.180 * * [simplify]: iteration 10: (471 enodes)
1.295 * * [simplify]: iteration 11: (528 enodes)
1.424 * * [simplify]: iteration 12: (548 enodes)
1.508 * * [simplify]: Extracting #0: cost 1 inf + 0
1.508 * * [simplify]: Extracting #1: cost 18 inf + 0
1.509 * * [simplify]: Extracting #2: cost 43 inf + 2
1.509 * * [simplify]: Extracting #3: cost 55 inf + 45
1.511 * * [simplify]: Extracting #4: cost 31 inf + 3302
1.516 * * [simplify]: Extracting #5: cost 5 inf + 8873
1.523 * * [simplify]: Extracting #6: cost 0 inf + 9796
1.530 * * [simplify]: Extracting #7: cost 0 inf + 9726
1.538 * [simplify]: Simplified to:
  (* (+ (/ 0.5 (exp im)) (* (exp im) 0.5)) (cos re))
1.547 * * [progress]: iteration 1 / 4
1.547 * * * [progress]: picking best candidate
1.550 * * * * [pick]: Picked  #<alt (λ (re im) (* (+ (/ 0.5 (exp im)) (* (exp im) 0.5)) (cos re)))>
1.550 * * * [progress]: localizing error
1.567 * * * [progress]: generating rewritten candidates
1.567 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1)
1.575 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
1.596 * * * [progress]: generating series expansions
1.596 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1)
1.596 * [backup-simplify]: Simplify (/ 0.5 (exp im)) into (/ 0.5 (exp im))
1.596 * [approximate]: Taking taylor expansion of (/ 0.5 (exp im)) in (im) around 0
1.596 * [taylor]: Taking taylor expansion of (/ 0.5 (exp im)) in im
1.596 * [taylor]: Taking taylor expansion of 0.5 in im
1.596 * [backup-simplify]: Simplify 0.5 into 0.5
1.596 * [taylor]: Taking taylor expansion of (exp im) in im
1.596 * [taylor]: Taking taylor expansion of im in im
1.596 * [backup-simplify]: Simplify 0 into 0
1.596 * [backup-simplify]: Simplify 1 into 1
1.596 * [backup-simplify]: Simplify (exp 0) into 1
1.597 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5
1.597 * [taylor]: Taking taylor expansion of (/ 0.5 (exp im)) in im
1.597 * [taylor]: Taking taylor expansion of 0.5 in im
1.597 * [backup-simplify]: Simplify 0.5 into 0.5
1.597 * [taylor]: Taking taylor expansion of (exp im) in im
1.597 * [taylor]: Taking taylor expansion of im in im
1.597 * [backup-simplify]: Simplify 0 into 0
1.597 * [backup-simplify]: Simplify 1 into 1
1.597 * [backup-simplify]: Simplify (exp 0) into 1
1.597 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5
1.597 * [backup-simplify]: Simplify 0.5 into 0.5
1.598 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1.600 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 1 1)))) into (- 0.5)
1.600 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
1.601 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1.604 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 1/2 1)) (* (- 0.5) (/ 1 1)))) into 0.25
1.604 * [backup-simplify]: Simplify 0.25 into 0.25
1.605 * [backup-simplify]: Simplify (+ (* 0.25 (pow im 2)) (+ (* (- 0.5) im) 0.5)) into (- (+ (* 0.25 (pow im 2)) 0.5) (* 0.5 im))
1.605 * [backup-simplify]: Simplify (/ 0.5 (exp (/ 1 im))) into (/ 0.5 (exp (/ 1 im)))
1.605 * [approximate]: Taking taylor expansion of (/ 0.5 (exp (/ 1 im))) in (im) around 0
1.605 * [taylor]: Taking taylor expansion of (/ 0.5 (exp (/ 1 im))) in im
1.605 * [taylor]: Taking taylor expansion of 0.5 in im
1.605 * [backup-simplify]: Simplify 0.5 into 0.5
1.605 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
1.605 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.605 * [taylor]: Taking taylor expansion of im in im
1.605 * [backup-simplify]: Simplify 0 into 0
1.605 * [backup-simplify]: Simplify 1 into 1
1.605 * [backup-simplify]: Simplify (/ 1 1) into 1
1.605 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
1.606 * [backup-simplify]: Simplify (/ 0.5 (exp (/ 1 im))) into (/ 0.5 (exp (/ 1 im)))
1.606 * [taylor]: Taking taylor expansion of (/ 0.5 (exp (/ 1 im))) in im
1.606 * [taylor]: Taking taylor expansion of 0.5 in im
1.606 * [backup-simplify]: Simplify 0.5 into 0.5
1.606 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
1.606 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.606 * [taylor]: Taking taylor expansion of im in im
1.606 * [backup-simplify]: Simplify 0 into 0
1.606 * [backup-simplify]: Simplify 1 into 1
1.606 * [backup-simplify]: Simplify (/ 1 1) into 1
1.606 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
1.606 * [backup-simplify]: Simplify (/ 0.5 (exp (/ 1 im))) into (/ 0.5 (exp (/ 1 im)))
1.606 * [backup-simplify]: Simplify (/ 0.5 (exp (/ 1 im))) into (/ 0.5 (exp (/ 1 im)))
1.606 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ 0.5 (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))))) into 0
1.606 * [backup-simplify]: Simplify 0 into 0
1.607 * [backup-simplify]: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ 0.5 (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0
1.607 * [backup-simplify]: Simplify 0 into 0
1.607 * [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
1.607 * [backup-simplify]: Simplify 0 into 0
1.607 * [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
1.607 * [backup-simplify]: Simplify 0 into 0
1.607 * [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
1.607 * [backup-simplify]: Simplify 0 into 0
1.608 * [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
1.608 * [backup-simplify]: Simplify 0 into 0
1.608 * [backup-simplify]: Simplify (/ 0.5 (exp (/ 1 (/ 1 im)))) into (/ 0.5 (exp im))
1.608 * [backup-simplify]: Simplify (/ 0.5 (exp (/ 1 (- im)))) into (/ 0.5 (exp (/ -1 im)))
1.608 * [approximate]: Taking taylor expansion of (/ 0.5 (exp (/ -1 im))) in (im) around 0
1.608 * [taylor]: Taking taylor expansion of (/ 0.5 (exp (/ -1 im))) in im
1.608 * [taylor]: Taking taylor expansion of 0.5 in im
1.608 * [backup-simplify]: Simplify 0.5 into 0.5
1.608 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
1.608 * [taylor]: Taking taylor expansion of (/ -1 im) in im
1.608 * [taylor]: Taking taylor expansion of -1 in im
1.608 * [backup-simplify]: Simplify -1 into -1
1.608 * [taylor]: Taking taylor expansion of im in im
1.608 * [backup-simplify]: Simplify 0 into 0
1.608 * [backup-simplify]: Simplify 1 into 1
1.609 * [backup-simplify]: Simplify (/ -1 1) into -1
1.609 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
1.609 * [backup-simplify]: Simplify (/ 0.5 (exp (/ -1 im))) into (/ 0.5 (exp (/ -1 im)))
1.609 * [taylor]: Taking taylor expansion of (/ 0.5 (exp (/ -1 im))) in im
1.609 * [taylor]: Taking taylor expansion of 0.5 in im
1.609 * [backup-simplify]: Simplify 0.5 into 0.5
1.609 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
1.609 * [taylor]: Taking taylor expansion of (/ -1 im) in im
1.609 * [taylor]: Taking taylor expansion of -1 in im
1.609 * [backup-simplify]: Simplify -1 into -1
1.609 * [taylor]: Taking taylor expansion of im in im
1.609 * [backup-simplify]: Simplify 0 into 0
1.609 * [backup-simplify]: Simplify 1 into 1
1.609 * [backup-simplify]: Simplify (/ -1 1) into -1
1.609 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
1.609 * [backup-simplify]: Simplify (/ 0.5 (exp (/ -1 im))) into (/ 0.5 (exp (/ -1 im)))
1.609 * [backup-simplify]: Simplify (/ 0.5 (exp (/ -1 im))) into (/ 0.5 (exp (/ -1 im)))
1.610 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ 0.5 (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))))) into 0
1.610 * [backup-simplify]: Simplify 0 into 0
1.610 * [backup-simplify]: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ 0.5 (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0
1.610 * [backup-simplify]: Simplify 0 into 0
1.610 * [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
1.610 * [backup-simplify]: Simplify 0 into 0
1.610 * [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
1.610 * [backup-simplify]: Simplify 0 into 0
1.611 * [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
1.611 * [backup-simplify]: Simplify 0 into 0
1.611 * [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
1.611 * [backup-simplify]: Simplify 0 into 0
1.611 * [backup-simplify]: Simplify (/ 0.5 (exp (/ -1 (/ 1 (- im))))) into (/ 0.5 (exp im))
1.611 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
1.611 * [backup-simplify]: Simplify (+ (/ 0.5 (exp im)) (* (exp im) 0.5)) into (+ (* 0.5 (exp im)) (* 0.5 (/ 1 (exp im))))
1.611 * [approximate]: Taking taylor expansion of (+ (* 0.5 (exp im)) (* 0.5 (/ 1 (exp im)))) in (im) around 0
1.611 * [taylor]: Taking taylor expansion of (+ (* 0.5 (exp im)) (* 0.5 (/ 1 (exp im)))) in im
1.611 * [taylor]: Taking taylor expansion of (* 0.5 (exp im)) in im
1.611 * [taylor]: Taking taylor expansion of 0.5 in im
1.611 * [backup-simplify]: Simplify 0.5 into 0.5
1.611 * [taylor]: Taking taylor expansion of (exp im) in im
1.611 * [taylor]: Taking taylor expansion of im in im
1.611 * [backup-simplify]: Simplify 0 into 0
1.611 * [backup-simplify]: Simplify 1 into 1
1.611 * [backup-simplify]: Simplify (exp 0) into 1
1.611 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (exp im))) in im
1.611 * [taylor]: Taking taylor expansion of 0.5 in im
1.611 * [backup-simplify]: Simplify 0.5 into 0.5
1.611 * [taylor]: Taking taylor expansion of (/ 1 (exp im)) in im
1.611 * [taylor]: Taking taylor expansion of (exp im) in im
1.612 * [taylor]: Taking taylor expansion of im in im
1.612 * [backup-simplify]: Simplify 0 into 0
1.612 * [backup-simplify]: Simplify 1 into 1
1.612 * [backup-simplify]: Simplify (exp 0) into 1
1.612 * [backup-simplify]: Simplify (/ 1 1) into 1
1.612 * [taylor]: Taking taylor expansion of (+ (* 0.5 (exp im)) (* 0.5 (/ 1 (exp im)))) in im
1.612 * [taylor]: Taking taylor expansion of (* 0.5 (exp im)) in im
1.612 * [taylor]: Taking taylor expansion of 0.5 in im
1.612 * [backup-simplify]: Simplify 0.5 into 0.5
1.612 * [taylor]: Taking taylor expansion of (exp im) in im
1.612 * [taylor]: Taking taylor expansion of im in im
1.612 * [backup-simplify]: Simplify 0 into 0
1.612 * [backup-simplify]: Simplify 1 into 1
1.613 * [backup-simplify]: Simplify (exp 0) into 1
1.613 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (exp im))) in im
1.613 * [taylor]: Taking taylor expansion of 0.5 in im
1.613 * [backup-simplify]: Simplify 0.5 into 0.5
1.613 * [taylor]: Taking taylor expansion of (/ 1 (exp im)) in im
1.613 * [taylor]: Taking taylor expansion of (exp im) in im
1.613 * [taylor]: Taking taylor expansion of im in im
1.613 * [backup-simplify]: Simplify 0 into 0
1.613 * [backup-simplify]: Simplify 1 into 1
1.613 * [backup-simplify]: Simplify (exp 0) into 1
1.613 * [backup-simplify]: Simplify (/ 1 1) into 1
1.613 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
1.614 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
1.614 * [backup-simplify]: Simplify (+ 0.5 0.5) into 1.0
1.614 * [backup-simplify]: Simplify 1.0 into 1.0
1.615 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1.616 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 1)) into 0.5
1.616 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1.617 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1 1)))) into -1
1.619 * [backup-simplify]: Simplify (+ (* 0.5 -1) (* 0 1)) into (- 0.5)
1.620 * [backup-simplify]: Simplify (+ 0.5 (- 0.5)) into 0
1.620 * [backup-simplify]: Simplify 0 into 0
1.621 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1.623 * [backup-simplify]: Simplify (+ (* 0.5 1/2) (+ (* 0 1) (* 0 1))) into 0.25
1.625 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1.627 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1/2 1)) (* -1 (/ 1 1)))) into 1/2
1.629 * [backup-simplify]: Simplify (+ (* 0.5 1/2) (+ (* 0 -1) (* 0 1))) into 0.25
1.629 * [backup-simplify]: Simplify (+ 0.25 0.25) into 0.5
1.629 * [backup-simplify]: Simplify 0.5 into 0.5
1.636 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
1.638 * [backup-simplify]: Simplify (+ (* 0.5 1/6) (+ (* 0 1/2) (+ (* 0 1) (* 0 1)))) into 0.08333333333333333
1.639 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
1.640 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1/6 1)) (* -1 (/ 1/2 1)) (* 1/2 (/ 1 1)))) into -1/6
1.642 * [backup-simplify]: Simplify (+ (* 0.5 -1/6) (+ (* 0 1/2) (+ (* 0 -1) (* 0 1)))) into (- 0.08333333333333333)
1.642 * [backup-simplify]: Simplify (+ 0.08333333333333333 (- 0.08333333333333333)) into 0
1.642 * [backup-simplify]: Simplify 0 into 0
1.645 * [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
1.646 * [backup-simplify]: Simplify (+ (* 0.5 1/24) (+ (* 0 1/6) (+ (* 0 1/2) (+ (* 0 1) (* 0 1))))) into 0.020833333333333332
1.649 * [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
1.650 * [backup-simplify]: Simplify (- (+ (* 1 (/ 1/24 1)) (* -1 (/ 1/6 1)) (* 1/2 (/ 1/2 1)) (* -1/6 (/ 1 1)))) into 1/24
1.652 * [backup-simplify]: Simplify (+ (* 0.5 1/24) (+ (* 0 -1/6) (+ (* 0 1/2) (+ (* 0 -1) (* 0 1))))) into 0.020833333333333332
1.653 * [backup-simplify]: Simplify (+ 0.020833333333333332 0.020833333333333332) into 0.041666666666666664
1.653 * [backup-simplify]: Simplify 0.041666666666666664 into 0.041666666666666664
1.653 * [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))
1.653 * [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))))
1.653 * [approximate]: Taking taylor expansion of (+ (* 0.5 (/ 1 (exp (/ 1 im)))) (* 0.5 (exp (/ 1 im)))) in (im) around 0
1.653 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (exp (/ 1 im)))) (* 0.5 (exp (/ 1 im)))) in im
1.653 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (exp (/ 1 im)))) in im
1.653 * [taylor]: Taking taylor expansion of 0.5 in im
1.654 * [backup-simplify]: Simplify 0.5 into 0.5
1.654 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 im))) in im
1.654 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
1.654 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.654 * [taylor]: Taking taylor expansion of im in im
1.654 * [backup-simplify]: Simplify 0 into 0
1.654 * [backup-simplify]: Simplify 1 into 1
1.654 * [backup-simplify]: Simplify (/ 1 1) into 1
1.654 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
1.654 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 im))) into (/ 1 (exp (/ 1 im)))
1.654 * [taylor]: Taking taylor expansion of (* 0.5 (exp (/ 1 im))) in im
1.654 * [taylor]: Taking taylor expansion of 0.5 in im
1.654 * [backup-simplify]: Simplify 0.5 into 0.5
1.654 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
1.654 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.654 * [taylor]: Taking taylor expansion of im in im
1.654 * [backup-simplify]: Simplify 0 into 0
1.654 * [backup-simplify]: Simplify 1 into 1
1.654 * [backup-simplify]: Simplify (/ 1 1) into 1
1.654 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
1.655 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (exp (/ 1 im)))) (* 0.5 (exp (/ 1 im)))) in im
1.655 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (exp (/ 1 im)))) in im
1.655 * [taylor]: Taking taylor expansion of 0.5 in im
1.655 * [backup-simplify]: Simplify 0.5 into 0.5
1.655 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ 1 im))) in im
1.655 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
1.655 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.655 * [taylor]: Taking taylor expansion of im in im
1.655 * [backup-simplify]: Simplify 0 into 0
1.655 * [backup-simplify]: Simplify 1 into 1
1.655 * [backup-simplify]: Simplify (/ 1 1) into 1
1.655 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
1.655 * [backup-simplify]: Simplify (/ 1 (exp (/ 1 im))) into (/ 1 (exp (/ 1 im)))
1.655 * [taylor]: Taking taylor expansion of (* 0.5 (exp (/ 1 im))) in im
1.655 * [taylor]: Taking taylor expansion of 0.5 in im
1.655 * [backup-simplify]: Simplify 0.5 into 0.5
1.655 * [taylor]: Taking taylor expansion of (exp (/ 1 im)) in im
1.655 * [taylor]: Taking taylor expansion of (/ 1 im) in im
1.655 * [taylor]: Taking taylor expansion of im in im
1.655 * [backup-simplify]: Simplify 0 into 0
1.655 * [backup-simplify]: Simplify 1 into 1
1.655 * [backup-simplify]: Simplify (/ 1 1) into 1
1.655 * [backup-simplify]: Simplify (exp (/ 1 im)) into (exp (/ 1 im))
1.656 * [backup-simplify]: Simplify (* 0.5 (/ 1 (exp (/ 1 im)))) into (/ 0.5 (exp (/ 1 im)))
1.656 * [backup-simplify]: Simplify (* 0.5 (exp (/ 1 im))) into (* 0.5 (exp (/ 1 im)))
1.656 * [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))))
1.656 * [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))))
1.656 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))))) into 0
1.656 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 (exp (/ 1 im))))) into 0
1.657 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (exp (/ 1 im)))) into 0
1.657 * [backup-simplify]: Simplify (+ 0 0) into 0
1.657 * [backup-simplify]: Simplify 0 into 0
1.657 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0
1.658 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 (exp (/ 1 im)))))) into 0
1.658 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (exp (/ 1 im))))) into 0
1.658 * [backup-simplify]: Simplify (+ 0 0) into 0
1.658 * [backup-simplify]: Simplify 0 into 0
1.659 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0
1.659 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (exp (/ 1 im))))))) into 0
1.660 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 im)))))) into 0
1.660 * [backup-simplify]: Simplify (+ 0 0) into 0
1.661 * [backup-simplify]: Simplify 0 into 0
1.661 * [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
1.663 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (exp (/ 1 im)))))))) into 0
1.664 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 im))))))) into 0
1.664 * [backup-simplify]: Simplify (+ 0 0) into 0
1.664 * [backup-simplify]: Simplify 0 into 0
1.665 * [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
1.667 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (exp (/ 1 im))))))))) into 0
1.669 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 im)))))))) into 0
1.669 * [backup-simplify]: Simplify (+ 0 0) into 0
1.669 * [backup-simplify]: Simplify 0 into 0
1.670 * [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
1.673 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (exp (/ 1 im)))))))))) into 0
1.675 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 im))))))))) into 0
1.675 * [backup-simplify]: Simplify (+ 0 0) into 0
1.675 * [backup-simplify]: Simplify 0 into 0
1.676 * [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))))
1.676 * [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))))
1.676 * [approximate]: Taking taylor expansion of (+ (* 0.5 (/ 1 (exp (/ -1 im)))) (* 0.5 (exp (/ -1 im)))) in (im) around 0
1.676 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (exp (/ -1 im)))) (* 0.5 (exp (/ -1 im)))) in im
1.676 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (exp (/ -1 im)))) in im
1.676 * [taylor]: Taking taylor expansion of 0.5 in im
1.676 * [backup-simplify]: Simplify 0.5 into 0.5
1.676 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 im))) in im
1.676 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
1.676 * [taylor]: Taking taylor expansion of (/ -1 im) in im
1.676 * [taylor]: Taking taylor expansion of -1 in im
1.676 * [backup-simplify]: Simplify -1 into -1
1.676 * [taylor]: Taking taylor expansion of im in im
1.676 * [backup-simplify]: Simplify 0 into 0
1.676 * [backup-simplify]: Simplify 1 into 1
1.677 * [backup-simplify]: Simplify (/ -1 1) into -1
1.677 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
1.677 * [backup-simplify]: Simplify (/ 1 (exp (/ -1 im))) into (/ 1 (exp (/ -1 im)))
1.677 * [taylor]: Taking taylor expansion of (* 0.5 (exp (/ -1 im))) in im
1.677 * [taylor]: Taking taylor expansion of 0.5 in im
1.677 * [backup-simplify]: Simplify 0.5 into 0.5
1.677 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
1.677 * [taylor]: Taking taylor expansion of (/ -1 im) in im
1.678 * [taylor]: Taking taylor expansion of -1 in im
1.678 * [backup-simplify]: Simplify -1 into -1
1.678 * [taylor]: Taking taylor expansion of im in im
1.678 * [backup-simplify]: Simplify 0 into 0
1.678 * [backup-simplify]: Simplify 1 into 1
1.678 * [backup-simplify]: Simplify (/ -1 1) into -1
1.678 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
1.679 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (exp (/ -1 im)))) (* 0.5 (exp (/ -1 im)))) in im
1.679 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (exp (/ -1 im)))) in im
1.679 * [taylor]: Taking taylor expansion of 0.5 in im
1.679 * [backup-simplify]: Simplify 0.5 into 0.5
1.679 * [taylor]: Taking taylor expansion of (/ 1 (exp (/ -1 im))) in im
1.679 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
1.679 * [taylor]: Taking taylor expansion of (/ -1 im) in im
1.679 * [taylor]: Taking taylor expansion of -1 in im
1.679 * [backup-simplify]: Simplify -1 into -1
1.679 * [taylor]: Taking taylor expansion of im in im
1.679 * [backup-simplify]: Simplify 0 into 0
1.679 * [backup-simplify]: Simplify 1 into 1
1.679 * [backup-simplify]: Simplify (/ -1 1) into -1
1.679 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
1.680 * [backup-simplify]: Simplify (/ 1 (exp (/ -1 im))) into (/ 1 (exp (/ -1 im)))
1.680 * [taylor]: Taking taylor expansion of (* 0.5 (exp (/ -1 im))) in im
1.680 * [taylor]: Taking taylor expansion of 0.5 in im
1.680 * [backup-simplify]: Simplify 0.5 into 0.5
1.680 * [taylor]: Taking taylor expansion of (exp (/ -1 im)) in im
1.680 * [taylor]: Taking taylor expansion of (/ -1 im) in im
1.680 * [taylor]: Taking taylor expansion of -1 in im
1.680 * [backup-simplify]: Simplify -1 into -1
1.680 * [taylor]: Taking taylor expansion of im in im
1.680 * [backup-simplify]: Simplify 0 into 0
1.680 * [backup-simplify]: Simplify 1 into 1
1.680 * [backup-simplify]: Simplify (/ -1 1) into -1
1.681 * [backup-simplify]: Simplify (exp (/ -1 im)) into (exp (/ -1 im))
1.681 * [backup-simplify]: Simplify (* 0.5 (/ 1 (exp (/ -1 im)))) into (/ 0.5 (exp (/ -1 im)))
1.681 * [backup-simplify]: Simplify (* 0.5 (exp (/ -1 im))) into (* 0.5 (exp (/ -1 im)))
1.681 * [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))))
1.681 * [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))))
1.682 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))))) into 0
1.682 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 (exp (/ -1 im))))) into 0
1.683 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (exp (/ -1 im)))) into 0
1.683 * [backup-simplify]: Simplify (+ 0 0) into 0
1.683 * [backup-simplify]: Simplify 0 into 0
1.684 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0
1.685 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 (exp (/ -1 im)))))) into 0
1.685 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (exp (/ -1 im))))) into 0
1.686 * [backup-simplify]: Simplify (+ 0 0) into 0
1.686 * [backup-simplify]: Simplify 0 into 0
1.686 * [backup-simplify]: Simplify (- (+ (* (/ 1 (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0
1.688 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (exp (/ -1 im))))))) into 0
1.689 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 im)))))) into 0
1.690 * [backup-simplify]: Simplify (+ 0 0) into 0
1.690 * [backup-simplify]: Simplify 0 into 0
1.690 * [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
1.692 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (exp (/ -1 im)))))))) into 0
1.693 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 im))))))) into 0
1.694 * [backup-simplify]: Simplify (+ 0 0) into 0
1.694 * [backup-simplify]: Simplify 0 into 0
1.694 * [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
1.697 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (exp (/ -1 im))))))))) into 0
1.699 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 im)))))))) into 0
1.699 * [backup-simplify]: Simplify (+ 0 0) into 0
1.699 * [backup-simplify]: Simplify 0 into 0
1.700 * [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
1.702 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (exp (/ -1 im)))))))))) into 0
1.704 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 im))))))))) into 0
1.705 * [backup-simplify]: Simplify (+ 0 0) into 0
1.705 * [backup-simplify]: Simplify 0 into 0
1.705 * [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))))
1.705 * * * [progress]: simplifying candidates
1.705 * * * * [progress]: [ 1 / 46 ] simplifiying candidate #<alt (λ (re im) (* (+ (pow (/ 0.5 (exp im)) 1) (* (exp im) 0.5)) (cos re)))>
1.705 * * * * [progress]: [ 2 / 46 ] simplifiying candidate #<alt (λ (re im) (* (+ (exp (- (log 0.5) im)) (* (exp im) 0.5)) (cos re)))>
1.705 * * * * [progress]: [ 3 / 46 ] simplifiying candidate #<alt (λ (re im) (* (+ (exp (log (/ 0.5 (exp im)))) (* (exp im) 0.5)) (cos re)))>
1.705 * * * * [progress]: [ 4 / 46 ] simplifiying candidate #<alt (λ (re im) (* (+ (log (exp (/ 0.5 (exp im)))) (* (exp im) 0.5)) (cos re)))>
1.705 * * * * [progress]: [ 5 / 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)))>
1.706 * * * * [progress]: [ 6 / 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)))>
1.706 * * * * [progress]: [ 7 / 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)))>
1.706 * * * * [progress]: [ 8 / 46 ] simplifiying candidate #<alt (λ (re im) (* (+ (* (sqrt (/ 0.5 (exp im))) (sqrt (/ 0.5 (exp im)))) (* (exp im) 0.5)) (cos re)))>
1.706 * * * * [progress]: [ 9 / 46 ] simplifiying candidate #<alt (λ (re im) (* (+ (/ (- 0.5) (- (exp im))) (* (exp im) 0.5)) (cos re)))>
1.706 * * * * [progress]: [ 10 / 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)))>
1.706 * * * * [progress]: [ 11 / 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)))>
1.706 * * * * [progress]: [ 12 / 46 ] simplifiying candidate #<alt (λ (re im) (* (+ (* (/ (* (cbrt 0.5) (cbrt 0.5)) 1) (/ (cbrt 0.5) (exp im))) (* (exp im) 0.5)) (cos re)))>
1.706 * * * * [progress]: [ 13 / 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)))>
1.706 * * * * [progress]: [ 14 / 46 ] simplifiying candidate #<alt (λ (re im) (* (+ (* (/ (sqrt 0.5) (sqrt (exp im))) (/ (sqrt 0.5) (sqrt (exp im)))) (* (exp im) 0.5)) (cos re)))>
1.706 * * * * [progress]: [ 15 / 46 ] simplifiying candidate #<alt (λ (re im) (* (+ (* (/ (sqrt 0.5) 1) (/ (sqrt 0.5) (exp im))) (* (exp im) 0.5)) (cos re)))>
1.706 * * * * [progress]: [ 16 / 46 ] simplifiying candidate #<alt (λ (re im) (* (+ (* (/ 1 (* (cbrt (exp im)) (cbrt (exp im)))) (/ 0.5 (cbrt (exp im)))) (* (exp im) 0.5)) (cos re)))>
1.706 * * * * [progress]: [ 17 / 46 ] simplifiying candidate #<alt (λ (re im) (* (+ (* (/ 1 (sqrt (exp im))) (/ 0.5 (sqrt (exp im)))) (* (exp im) 0.5)) (cos re)))>
1.706 * * * * [progress]: [ 18 / 46 ] simplifiying candidate #<alt (λ (re im) (* (+ (* (/ 1 1) (/ 0.5 (exp im))) (* (exp im) 0.5)) (cos re)))>
1.706 * * * * [progress]: [ 19 / 46 ] simplifiying candidate #<alt (λ (re im) (* (+ (* 1 (/ 0.5 (exp im))) (* (exp im) 0.5)) (cos re)))>
1.707 * * * * [progress]: [ 20 / 46 ] simplifiying candidate #<alt (λ (re im) (* (+ (* 0.5 (/ 1 (exp im))) (* (exp im) 0.5)) (cos re)))>
1.707 * * * * [progress]: [ 21 / 46 ] simplifiying candidate #<alt (λ (re im) (* (+ (/ 1 (/ (exp im) 0.5)) (* (exp im) 0.5)) (cos re)))>
1.707 * * * * [progress]: [ 22 / 46 ] simplifiying candidate #<alt (λ (re im) (* (+ (/ (/ 0.5 (* (cbrt (exp im)) (cbrt (exp im)))) (cbrt (exp im))) (* (exp im) 0.5)) (cos re)))>
1.707 * * * * [progress]: [ 23 / 46 ] simplifiying candidate #<alt (λ (re im) (* (+ (/ (/ 0.5 (sqrt (exp im))) (sqrt (exp im))) (* (exp im) 0.5)) (cos re)))>
1.707 * * * * [progress]: [ 24 / 46 ] simplifiying candidate #<alt (λ (re im) (* (+ (/ (/ 0.5 1) (exp im)) (* (exp im) 0.5)) (cos re)))>
1.707 * * * * [progress]: [ 25 / 46 ] simplifiying candidate #<alt (λ (re im) (* (+ (/ (* (cbrt 0.5) (cbrt 0.5)) (/ (exp im) (cbrt 0.5))) (* (exp im) 0.5)) (cos re)))>
1.707 * * * * [progress]: [ 26 / 46 ] simplifiying candidate #<alt (λ (re im) (* (+ (/ (sqrt 0.5) (/ (exp im) (sqrt 0.5))) (* (exp im) 0.5)) (cos re)))>
1.707 * * * * [progress]: [ 27 / 46 ] simplifiying candidate #<alt (λ (re im) (* (+ (/ 1 (/ (exp im) 0.5)) (* (exp im) 0.5)) (cos re)))>
1.707 * * * * [progress]: [ 28 / 46 ] simplifiying candidate #<alt (λ (re im) (* (+ (posit16->real (real->posit16 (/ 0.5 (exp im)))) (* (exp im) 0.5)) (cos re)))>
1.707 * * * * [progress]: [ 29 / 46 ] simplifiying candidate #<alt (λ (re im) (* (log (* (exp (/ 0.5 (exp im))) (exp (* (exp im) 0.5)))) (cos re)))>
1.707 * * * * [progress]: [ 30 / 46 ] simplifiying candidate #<alt (λ (re im) (* (pow (+ (/ 0.5 (exp im)) (* (exp im) 0.5)) 1) (cos re)))>
1.707 * * * * [progress]: [ 31 / 46 ] simplifiying candidate #<alt (λ (re im) (* (exp (log (+ (/ 0.5 (exp im)) (* (exp im) 0.5)))) (cos re)))>
1.707 * * * * [progress]: [ 32 / 46 ] simplifiying candidate #<alt (λ (re im) (* (log (exp (+ (/ 0.5 (exp im)) (* (exp im) 0.5)))) (cos re)))>
1.707 * * * * [progress]: [ 33 / 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)))>
1.707 * * * * [progress]: [ 34 / 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)))>
1.708 * * * * [progress]: [ 35 / 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)))>
1.708 * * * * [progress]: [ 36 / 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)))>
1.708 * * * * [progress]: [ 37 / 46 ] simplifiying candidate #<alt (λ (re im) (* (* 1 (+ (/ 0.5 (exp im)) (* (exp im) 0.5))) (cos re)))>
1.708 * * * * [progress]: [ 38 / 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)))>
1.708 * * * * [progress]: [ 39 / 46 ] simplifiying candidate #<alt (λ (re im) (* (posit16->real (real->posit16 (+ (/ 0.5 (exp im)) (* (exp im) 0.5)))) (cos re)))>
1.708 * * * * [progress]: [ 40 / 46 ] simplifiying candidate #<alt (λ (re im) (* (+ (* (exp im) 0.5) (/ 0.5 (exp im))) (cos re)))>
1.708 * * * * [progress]: [ 41 / 46 ] simplifiying candidate #<alt (λ (re im) (* (+ (- (+ (* 0.25 (pow im 2)) 0.5) (* 0.5 im)) (* (exp im) 0.5)) (cos re)))>
1.708 * * * * [progress]: [ 42 / 46 ] simplifiying candidate #<alt (λ (re im) (* (+ (/ 0.5 (exp im)) (* (exp im) 0.5)) (cos re)))>
1.708 * * * * [progress]: [ 43 / 46 ] simplifiying candidate #<alt (λ (re im) (* (+ (/ 0.5 (exp im)) (* (exp im) 0.5)) (cos re)))>
1.708 * * * * [progress]: [ 44 / 46 ] simplifiying candidate #<alt (λ (re im) (* (+ (* 0.5 (pow im 2)) (+ (* 0.041666666666666664 (pow im 4)) 1.0)) (cos re)))>
1.708 * * * * [progress]: [ 45 / 46 ] simplifiying candidate #<alt (λ (re im) (* (+ (* 0.5 (exp im)) (* 0.5 (/ 1 (exp im)))) (cos re)))>
1.708 * * * * [progress]: [ 46 / 46 ] simplifiying candidate #<alt (λ (re im) (* (+ (* 0.5 (exp im)) (* 0.5 (/ 1 (exp im)))) (cos re)))>
1.709 * [simplify]: Simplifying:
  (- (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 (/ 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))
  (real->posit16 (+ (/ 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))))
1.710 * * [simplify]: iteration 1: (90 enodes)
1.736 * * [simplify]: iteration 2: (368 enodes)
1.841 * * [simplify]: iteration 3: (773 enodes)
2.216 * * [simplify]: iteration 4: (1833 enodes)
3.909 * * [simplify]: Extracting #0: cost 46 inf + 0
3.911 * * [simplify]: Extracting #1: cost 345 inf + 2
3.920 * * [simplify]: Extracting #2: cost 956 inf + 13314
3.973 * * [simplify]: Extracting #3: cost 536 inf + 143961
4.052 * * [simplify]: Extracting #4: cost 66 inf + 264564
4.147 * * [simplify]: Extracting #5: cost 1 inf + 289884
4.259 * * [simplify]: Extracting #6: cost 0 inf + 290316
4.332 * [simplify]: Simplified to:
  (- (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) (sqrt (exp im))) (cbrt 0.5))
  (/ (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 (+ (/ 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)))
  (+ (* (* (* (exp im) 0.5) (* (exp im) 0.5)) (* (exp im) 0.5)) (* (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (/ 0.5 (exp im))))
  (+ (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (* (* (exp im) 0.5) (- (* (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))
  (real->posit16 (+ (/ 0.5 (exp im)) (* (exp im) 0.5)))
  (- 0.5 (* im (- 0.5 (* 0.25 im))))
  (/ 0.5 (exp im))
  (/ 0.5 (exp im))
  (+ 1.0 (* (* im im) (+ (* (* im im) 0.041666666666666664) 0.5)))
  (+ (/ 0.5 (exp im)) (* (exp im) 0.5))
  (+ (/ 0.5 (exp im)) (* (exp im) 0.5))
4.335 * * * [progress]: adding candidates to table
4.800 * [progress]: [Phase 3 of 3] Extracting.
4.806 * [simplify]: Simplifying:
  (* (+ (/ 0.5 (exp im)) (* (exp im) 0.5)) (cos re))
4.806 * * [simplify]: iteration 1: (9 enodes)
4.807 * * [simplify]: iteration 2: (12 enodes)
4.807 * * [simplify]: Extracting #0: cost 1 inf + 0
4.807 * * [simplify]: Extracting #1: cost 3 inf + 0
4.807 * * [simplify]: Extracting #2: cost 6 inf + 0
4.807 * * [simplify]: Extracting #3: cost 6 inf + 62
4.807 * * [simplify]: Extracting #4: cost 6 inf + 63
4.808 * * [simplify]: Extracting #5: cost 0 inf + 844
4.808 * [simplify]: Simplified to:
  (* (cos re) (+ (/ 0.5 (exp im)) (* 0.5 (exp im))))
12.710 * [regime-testing]: Baseline error score: 0.010845716652351976
12.713 * [regime-testing]: Oracle error score: 0.010845716652351976
12.713 * [regime-testing]: End program error score: 0.010845716652351976