1546940047.720 * [misc]progress:  [Phase 1 of 3] Setting up.
1546940047.720 * * * [misc]progress:  [1/2] Preparing points
1546940047.720 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1546940047.863 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546940047.863 * * * * [misc]points:  Sampling 117 additional inputs, on iter 1 have 139 / 256
1546940047.913 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546940047.913 * * * * [misc]points:  Sampling 58 additional inputs, on iter 2 have 198 / 256
1546940047.945 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546940047.945 * * * * [misc]points:  Sampling 31 additional inputs, on iter 3 have 225 / 256
1546940047.963 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546940047.964 * * * * [misc]points:  Sampling 18 additional inputs, on iter 4 have 238 / 256
1546940048.022 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546940048.022 * * * * [misc]points:  Sampling 6 additional inputs, on iter 5 have 250 / 256
1546940048.025 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546940048.025 * * * * [misc]points:  Sampling 4 additional inputs, on iter 6 have 253 / 256
1546940048.030 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546940048.030 * * * * [misc]points:  Sampling 4 additional inputs, on iter 7 have 255 / 256
1546940048.032 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546940048.033 * * * * [exit]points:  Sampled 256 points with exact outputs
1546940048.033 * * * [misc]progress:  [2/2] Setting up program.
1546940048.036 * [misc]progress:  [Phase 2 of 3] Improving.
1546940048.036 * * * * [misc]progress:  [ 1 / 1 ] simplifiying candidate #<alt (λ (re im) (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))))>
1546940048.036 * [enter]simplify:  Simplifying (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im)))
1546940048.036 * * [misc]simplify:  iters left: 6 (10 enodes)
1546940048.038 * * [misc]simplify:  iters left: 5 (23 enodes)
1546940048.044 * * [misc]simplify:  iters left: 4 (59 enodes)
1546940048.072 * * [misc]simplify:  iters left: 3 (102 enodes)
1546940048.118 * * [misc]simplify:  iters left: 2 (225 enodes)
1546940048.326 * [exit]simplify:  Simplified to (fma (exp im) (* (cos re) 0.5) (/ (* (cos re) 0.5) (exp im)))
1546940048.327 * [misc]simplify:  Simplified (2) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (/ (* (cos re) 0.5) (exp im))))
1546940048.333 * * [misc]progress:  iteration 1 / 4
1546940048.333 * * * [misc]progress:  picking best candidate
1546940048.339 * * * * [misc]pick:  Picked  #<alt (λ (re im) (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))))>
1546940048.339 * * * [misc]progress:  localizing error
1546940048.677 * * * [misc]progress:  generating rewritten candidates
1546940048.677 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2 2)
1546940048.684 * * * [misc]progress:  generating series expansions
1546940048.684 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2 2)
1546940048.684 * [misc]backup-simplify:  Simplify (+ (exp (- im)) (exp im)) into (+ (exp (- im)) (exp im))
1546940048.684 * [misc]approximate:  Taking taylor expansion of (+ (exp (- im)) (exp im)) in (im) around 0
1546940048.684 * [misc]taylor:  Taking taylor expansion of (+ (exp (- im)) (exp im)) in im
1546940048.684 * [misc]taylor:  Taking taylor expansion of (exp (- im)) in im
1546940048.684 * [misc]taylor:  Taking taylor expansion of (- im) in im
1546940048.684 * [misc]taylor:  Taking taylor expansion of im in im
1546940048.684 * [misc]backup-simplify:  Simplify 0 into 0
1546940048.684 * [misc]backup-simplify:  Simplify 1 into 1
1546940048.684 * [misc]backup-simplify:  Simplify (- 0) into 0
1546940048.685 * [misc]backup-simplify:  Simplify (- 1) into -1
1546940048.685 * [misc]backup-simplify:  Simplify (exp 0) into 1
1546940048.685 * [misc]taylor:  Taking taylor expansion of (exp im) in im
1546940048.685 * [misc]taylor:  Taking taylor expansion of im in im
1546940048.685 * [misc]backup-simplify:  Simplify 0 into 0
1546940048.685 * [misc]backup-simplify:  Simplify 1 into 1
1546940048.685 * [misc]backup-simplify:  Simplify (exp 0) into 1
1546940048.685 * [misc]taylor:  Taking taylor expansion of (+ (exp (- im)) (exp im)) in im
1546940048.685 * [misc]taylor:  Taking taylor expansion of (exp (- im)) in im
1546940048.685 * [misc]taylor:  Taking taylor expansion of (- im) in im
1546940048.685 * [misc]taylor:  Taking taylor expansion of im in im
1546940048.685 * [misc]backup-simplify:  Simplify 0 into 0
1546940048.685 * [misc]backup-simplify:  Simplify 1 into 1
1546940048.685 * [misc]backup-simplify:  Simplify (- 0) into 0
1546940048.685 * [misc]backup-simplify:  Simplify (- 1) into -1
1546940048.686 * [misc]backup-simplify:  Simplify (exp 0) into 1
1546940048.686 * [misc]taylor:  Taking taylor expansion of (exp im) in im
1546940048.686 * [misc]taylor:  Taking taylor expansion of im in im
1546940048.686 * [misc]backup-simplify:  Simplify 0 into 0
1546940048.686 * [misc]backup-simplify:  Simplify 1 into 1
1546940048.686 * [misc]backup-simplify:  Simplify (exp 0) into 1
1546940048.687 * [misc]backup-simplify:  Simplify (+ 1 1) into 2
1546940048.687 * [misc]backup-simplify:  Simplify 2 into 2
1546940048.687 * [misc]backup-simplify:  Simplify (- 1) into -1
1546940048.688 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
1546940048.688 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1546940048.689 * [misc]backup-simplify:  Simplify (+ -1 1) into 0
1546940048.689 * [misc]backup-simplify:  Simplify 0 into 0
1546940048.689 * [misc]backup-simplify:  Simplify (- 1) into -1
1546940048.689 * [misc]backup-simplify:  Simplify (- 0) into 0
1546940048.690 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1546940048.691 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1546940048.692 * [misc]backup-simplify:  Simplify (+ 1/2 1/2) into 1
1546940048.692 * [misc]backup-simplify:  Simplify 1 into 1
1546940048.692 * [misc]backup-simplify:  Simplify (- 1) into -1
1546940048.692 * [misc]backup-simplify:  Simplify (- 1) into -1
1546940048.692 * [misc]backup-simplify:  Simplify (- 0) into 0
1546940048.692 * [misc]backup-simplify:  Simplify (- 0) into 0
1546940048.694 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
1546940048.696 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
1546940048.697 * [misc]backup-simplify:  Simplify (+ -1/6 1/6) into 0
1546940048.697 * [misc]backup-simplify:  Simplify 0 into 0
1546940048.697 * [misc]backup-simplify:  Simplify (- 1) into -1
1546940048.697 * [misc]backup-simplify:  Simplify (- 1) into -1
1546940048.697 * [misc]backup-simplify:  Simplify (- 0) into 0
1546940048.697 * [misc]backup-simplify:  Simplify (- 1) into -1
1546940048.697 * [misc]backup-simplify:  Simplify (- 0) into 0
1546940048.697 * [misc]backup-simplify:  Simplify (- 0) into 0
1546940048.697 * [misc]backup-simplify:  Simplify (- 0) into 0
1546940048.701 * [misc]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
1546940048.705 * [misc]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
1546940048.705 * [misc]backup-simplify:  Simplify (+ 1/24 1/24) into 1/12
1546940048.705 * [misc]backup-simplify:  Simplify 1/12 into 1/12
1546940048.705 * [misc]backup-simplify:  Simplify (+ (* 1/12 (pow im 4)) (+ (* 1 (pow im 2)) 2)) into (+ (pow im 2) (+ (* 1/12 (pow im 4)) 2))
1546940048.705 * [misc]backup-simplify:  Simplify (+ (exp (- (/ 1 im))) (exp (/ 1 im))) into (+ (exp (- (/ 1 im))) (exp (/ 1 im)))
1546940048.705 * [misc]approximate:  Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in (im) around 0
1546940048.705 * [misc]taylor:  Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im
1546940048.705 * [misc]taylor:  Taking taylor expansion of (exp (- (/ 1 im))) in im
1546940048.705 * [misc]taylor:  Taking taylor expansion of (- (/ 1 im)) in im
1546940048.705 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in im
1546940048.705 * [misc]taylor:  Taking taylor expansion of im in im
1546940048.705 * [misc]backup-simplify:  Simplify 0 into 0
1546940048.706 * [misc]backup-simplify:  Simplify 1 into 1
1546940048.706 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546940048.706 * [misc]backup-simplify:  Simplify (- 1) into -1
1546940048.706 * [misc]backup-simplify:  Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im)))
1546940048.706 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 im)) in im
1546940048.706 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in im
1546940048.706 * [misc]taylor:  Taking taylor expansion of im in im
1546940048.706 * [misc]backup-simplify:  Simplify 0 into 0
1546940048.706 * [misc]backup-simplify:  Simplify 1 into 1
1546940048.706 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546940048.706 * [misc]backup-simplify:  Simplify (exp (/ 1 im)) into (exp (/ 1 im))
1546940048.706 * [misc]taylor:  Taking taylor expansion of (+ (exp (- (/ 1 im))) (exp (/ 1 im))) in im
1546940048.706 * [misc]taylor:  Taking taylor expansion of (exp (- (/ 1 im))) in im
1546940048.706 * [misc]taylor:  Taking taylor expansion of (- (/ 1 im)) in im
1546940048.706 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in im
1546940048.706 * [misc]taylor:  Taking taylor expansion of im in im
1546940048.706 * [misc]backup-simplify:  Simplify 0 into 0
1546940048.706 * [misc]backup-simplify:  Simplify 1 into 1
1546940048.706 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546940048.706 * [misc]backup-simplify:  Simplify (- 1) into -1
1546940048.706 * [misc]backup-simplify:  Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im)))
1546940048.706 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 im)) in im
1546940048.707 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in im
1546940048.707 * [misc]taylor:  Taking taylor expansion of im in im
1546940048.707 * [misc]backup-simplify:  Simplify 0 into 0
1546940048.707 * [misc]backup-simplify:  Simplify 1 into 1
1546940048.707 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546940048.707 * [misc]backup-simplify:  Simplify (exp (/ 1 im)) into (exp (/ 1 im))
1546940048.707 * [misc]backup-simplify:  Simplify (+ (exp (- (/ 1 im))) (exp (/ 1 im))) into (+ (exp (- (/ 1 im))) (exp (/ 1 im)))
1546940048.707 * [misc]backup-simplify:  Simplify (+ (exp (- (/ 1 im))) (exp (/ 1 im))) into (+ (exp (- (/ 1 im))) (exp (/ 1 im)))
1546940048.707 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546940048.707 * [misc]backup-simplify:  Simplify 0 into 0
1546940048.707 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546940048.707 * [misc]backup-simplify:  Simplify 0 into 0
1546940048.707 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546940048.707 * [misc]backup-simplify:  Simplify 0 into 0
1546940048.708 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546940048.708 * [misc]backup-simplify:  Simplify 0 into 0
1546940048.708 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546940048.708 * [misc]backup-simplify:  Simplify 0 into 0
1546940048.708 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546940048.708 * [misc]backup-simplify:  Simplify 0 into 0
1546940048.708 * [misc]backup-simplify:  Simplify (+ (exp (- (/ 1 (/ 1 im)))) (exp (/ 1 (/ 1 im)))) into (+ (exp (- im)) (exp im))
1546940048.708 * [misc]backup-simplify:  Simplify (+ (exp (- (/ 1 (- im)))) (exp (/ 1 (- im)))) into (+ (exp (/ -1 im)) (exp (/ 1 im)))
1546940048.708 * [misc]approximate:  Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in (im) around 0
1546940048.708 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im
1546940048.708 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 im)) in im
1546940048.708 * [misc]taylor:  Taking taylor expansion of (/ -1 im) in im
1546940048.708 * [misc]taylor:  Taking taylor expansion of -1 in im
1546940048.708 * [misc]backup-simplify:  Simplify -1 into -1
1546940048.708 * [misc]taylor:  Taking taylor expansion of im in im
1546940048.708 * [misc]backup-simplify:  Simplify 0 into 0
1546940048.708 * [misc]backup-simplify:  Simplify 1 into 1
1546940048.708 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1546940048.708 * [misc]backup-simplify:  Simplify (exp (/ -1 im)) into (exp (/ -1 im))
1546940048.708 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 im)) in im
1546940048.708 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in im
1546940048.708 * [misc]taylor:  Taking taylor expansion of im in im
1546940048.708 * [misc]backup-simplify:  Simplify 0 into 0
1546940048.708 * [misc]backup-simplify:  Simplify 1 into 1
1546940048.709 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546940048.709 * [misc]backup-simplify:  Simplify (exp (/ 1 im)) into (exp (/ 1 im))
1546940048.709 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ -1 im)) (exp (/ 1 im))) in im
1546940048.709 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 im)) in im
1546940048.709 * [misc]taylor:  Taking taylor expansion of (/ -1 im) in im
1546940048.709 * [misc]taylor:  Taking taylor expansion of -1 in im
1546940048.709 * [misc]backup-simplify:  Simplify -1 into -1
1546940048.709 * [misc]taylor:  Taking taylor expansion of im in im
1546940048.709 * [misc]backup-simplify:  Simplify 0 into 0
1546940048.709 * [misc]backup-simplify:  Simplify 1 into 1
1546940048.709 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1546940048.709 * [misc]backup-simplify:  Simplify (exp (/ -1 im)) into (exp (/ -1 im))
1546940048.709 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 im)) in im
1546940048.709 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in im
1546940048.709 * [misc]taylor:  Taking taylor expansion of im in im
1546940048.709 * [misc]backup-simplify:  Simplify 0 into 0
1546940048.709 * [misc]backup-simplify:  Simplify 1 into 1
1546940048.709 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546940048.709 * [misc]backup-simplify:  Simplify (exp (/ 1 im)) into (exp (/ 1 im))
1546940048.709 * [misc]backup-simplify:  Simplify (+ (exp (/ -1 im)) (exp (/ 1 im))) into (+ (exp (/ 1 im)) (exp (/ -1 im)))
1546940048.709 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 im)) (exp (/ -1 im))) into (+ (exp (/ -1 im)) (exp (/ 1 im)))
1546940048.709 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546940048.709 * [misc]backup-simplify:  Simplify 0 into 0
1546940048.710 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546940048.710 * [misc]backup-simplify:  Simplify 0 into 0
1546940048.710 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546940048.710 * [misc]backup-simplify:  Simplify 0 into 0
1546940048.710 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546940048.710 * [misc]backup-simplify:  Simplify 0 into 0
1546940048.710 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546940048.710 * [misc]backup-simplify:  Simplify 0 into 0
1546940048.710 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546940048.710 * [misc]backup-simplify:  Simplify 0 into 0
1546940048.710 * [misc]backup-simplify:  Simplify (+ (exp (/ -1 (/ 1 (- im)))) (exp (/ 1 (/ 1 (- im))))) into (+ (exp im) (exp (* -1 im)))
1546940048.710 * * * [misc]progress:  simplifying candidates
1546940048.710 * * * * [misc]progress:  [ 1 / 20 ] simplifiying candidate #<alt (λ (re im) (* (* 0.5 (cos re)) (log1p (expm1 (+ (exp (- im)) (exp im))))))>
1546940048.710 * * * * [misc]progress:  [ 2 / 20 ] simplifiying candidate #<alt (λ (re im) (* (* 0.5 (cos re)) (expm1 (log1p (+ (exp (- im)) (exp im))))))>
1546940048.710 * * * * [misc]progress:  [ 3 / 20 ] simplifiying candidate #<alt (λ (re im) (* (* 0.5 (cos re)) (fma (* (cbrt (exp (- im))) (cbrt (exp (- im)))) (cbrt (exp (- im))) (exp im))))>
1546940048.711 * [enter]simplify:  Simplifying (* (cbrt (exp (- im))) (cbrt (exp (- im))))
1546940048.711 * * [misc]simplify:  iters left: 6 (5 enodes)
1546940048.711 * * [misc]simplify:  iters left: 5 (8 enodes)
1546940048.713 * * [misc]simplify:  iters left: 4 (10 enodes)
1546940048.714 * [exit]simplify:  Simplified to (* (cbrt (exp (- im))) (cbrt (exp (- im))))
1546940048.714 * [misc]simplify:  Simplified (2 2 1) to (λ (re im) (* (* 0.5 (cos re)) (fma (* (cbrt (exp (- im))) (cbrt (exp (- im)))) (cbrt (exp (- im))) (exp im))))
1546940048.714 * * * * [misc]progress:  [ 4 / 20 ] simplifiying candidate #<alt (λ (re im) (* (* 0.5 (cos re)) (fma (sqrt (exp (- im))) (sqrt (exp (- im))) (exp im))))>
1546940048.715 * [enter]simplify:  Simplifying (sqrt (exp (- im)))
1546940048.715 * * [misc]simplify:  iters left: 4 (4 enodes)
1546940048.715 * * [misc]simplify:  iters left: 3 (7 enodes)
1546940048.716 * * [misc]simplify:  iters left: 2 (9 enodes)
1546940048.717 * [exit]simplify:  Simplified to (sqrt (exp (- im)))
1546940048.717 * [misc]simplify:  Simplified (2 2 1) to (λ (re im) (* (* 0.5 (cos re)) (fma (sqrt (exp (- im))) (sqrt (exp (- im))) (exp im))))
1546940048.717 * * * * [misc]progress:  [ 5 / 20 ] simplifiying candidate #<alt (λ (re im) (* (* 0.5 (cos re)) (fma 1 (exp (- im)) (exp im))))>
1546940048.717 * * * * [misc]progress:  [ 6 / 20 ] simplifiying candidate #<alt (λ (re im) (* (* 0.5 (cos re)) (log (* (exp (exp (- im))) (exp (exp im))))))>
1546940048.718 * [enter]simplify:  Simplifying (* (exp (exp (- im))) (exp (exp im)))
1546940048.718 * * [misc]simplify:  iters left: 6 (7 enodes)
1546940048.719 * * [misc]simplify:  iters left: 5 (12 enodes)
1546940048.720 * * [misc]simplify:  iters left: 4 (16 enodes)
1546940048.722 * [exit]simplify:  Simplified to (exp (+ (exp (- im)) (exp im)))
1546940048.722 * [misc]simplify:  Simplified (2 2 1) to (λ (re im) (* (* 0.5 (cos re)) (log (exp (+ (exp (- im)) (exp im))))))
1546940048.722 * * * * [misc]progress:  [ 7 / 20 ] simplifiying candidate #<alt (λ (re im) (* (* 0.5 (cos re)) (pow (+ (exp (- im)) (exp im)) 1)))>
1546940048.722 * * * * [misc]progress:  [ 8 / 20 ] simplifiying candidate #<alt (λ (re im) (* (* 0.5 (cos re)) (exp (log (+ (exp (- im)) (exp im))))))>
1546940048.722 * * * * [misc]progress:  [ 9 / 20 ] simplifiying candidate #<alt (λ (re im) (* (* 0.5 (cos re)) (log (exp (+ (exp (- im)) (exp im))))))>
1546940048.722 * * * * [misc]progress:  [ 10 / 20 ] simplifiying candidate #<alt (λ (re im) (* (* 0.5 (cos re)) (* (* (cbrt (+ (exp (- im)) (exp im))) (cbrt (+ (exp (- im)) (exp im)))) (cbrt (+ (exp (- im)) (exp im))))))>
1546940048.722 * * * * [misc]progress:  [ 11 / 20 ] simplifiying candidate #<alt (λ (re im) (* (* 0.5 (cos re)) (cbrt (* (* (+ (exp (- im)) (exp im)) (+ (exp (- im)) (exp im))) (+ (exp (- im)) (exp im))))))>
1546940048.722 * * * * [misc]progress:  [ 12 / 20 ] simplifiying candidate #<alt (λ (re im) (* (* 0.5 (cos re)) (* (sqrt (+ (exp (- im)) (exp im))) (sqrt (+ (exp (- im)) (exp im))))))>
1546940048.722 * * * * [misc]progress:  [ 13 / 20 ] simplifiying candidate #<alt (λ (re im) (* (* 0.5 (cos re)) (/ (+ (pow (exp (- im)) 3) (pow (exp im) 3)) (+ (* (exp (- im)) (exp (- im))) (- (* (exp im) (exp im)) (* (exp (- im)) (exp im)))))))>
1546940048.723 * * * * [misc]progress:  [ 14 / 20 ] simplifiying candidate #<alt (λ (re im) (* (* 0.5 (cos re)) (* 1 (+ (exp (- im)) (exp im)))))>
1546940048.723 * * * * [misc]progress:  [ 15 / 20 ] simplifiying candidate #<alt (λ (re im) (* (* 0.5 (cos re)) (/ (- (* (exp (- im)) (exp (- im))) (* (exp im) (exp im))) (- (exp (- im)) (exp im)))))>
1546940048.723 * * * * [misc]progress:  [ 16 / 20 ] simplifiying candidate #<alt (λ (re im) (* (* 0.5 (cos re)) (* 1 (+ (exp (- im)) (exp im)))))>
1546940048.723 * [enter]simplify:  Simplifying (+ (exp (- im)) (exp im))
1546940048.723 * * [misc]simplify:  iters left: 5 (5 enodes)
1546940048.724 * * [misc]simplify:  iters left: 4 (8 enodes)
1546940048.726 * * [misc]simplify:  iters left: 3 (10 enodes)
1546940048.729 * [exit]simplify:  Simplified to (+ (exp im) (exp (- im)))
1546940048.729 * [misc]simplify:  Simplified (2 2 2) to (λ (re im) (* (* 0.5 (cos re)) (* 1 (+ (exp im) (exp (- im))))))
1546940048.729 * * * * [misc]progress:  [ 17 / 20 ] simplifiying candidate #<alt (λ (re im) (* (* 0.5 (cos re)) (+ (exp im) (exp (- im)))))>
1546940048.729 * * * * [misc]progress:  [ 18 / 20 ] simplifiying candidate #<alt (λ (re im) (* (* 0.5 (cos re)) (+ (pow im 2) (+ (* 1/12 (pow im 4)) 2))))>
1546940048.730 * [enter]simplify:  Simplifying (+ (pow im 2) (+ (* 1/12 (pow im 4)) 2))
1546940048.730 * * [misc]simplify:  iters left: 6 (9 enodes)
1546940048.732 * * [misc]simplify:  iters left: 5 (16 enodes)
1546940048.737 * * [misc]simplify:  iters left: 4 (25 enodes)
1546940048.743 * * [misc]simplify:  iters left: 3 (31 enodes)
1546940048.748 * [exit]simplify:  Simplified to (fma (pow im 4) 1/12 (fma im im 2))
1546940048.748 * [misc]simplify:  Simplified (2 2) to (λ (re im) (* (* 0.5 (cos re)) (fma (pow im 4) 1/12 (fma im im 2))))
1546940048.748 * * * * [misc]progress:  [ 19 / 20 ] simplifiying candidate #<alt (λ (re im) (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))))>
1546940048.748 * [enter]simplify:  Simplifying (+ (exp (- im)) (exp im))
1546940048.748 * * [misc]simplify:  iters left: 5 (5 enodes)
1546940048.749 * * [misc]simplify:  iters left: 4 (8 enodes)
1546940048.750 * * [misc]simplify:  iters left: 3 (10 enodes)
1546940048.751 * [exit]simplify:  Simplified to (+ (exp im) (exp (- im)))
1546940048.751 * [misc]simplify:  Simplified (2 2) to (λ (re im) (* (* 0.5 (cos re)) (+ (exp im) (exp (- im)))))
1546940048.751 * * * * [misc]progress:  [ 20 / 20 ] simplifiying candidate #<alt (λ (re im) (* (* 0.5 (cos re)) (+ (exp im) (exp (* -1 im)))))>
1546940048.752 * [enter]simplify:  Simplifying (+ (exp im) (exp (* -1 im)))
1546940048.752 * * [misc]simplify:  iters left: 5 (6 enodes)
1546940048.753 * * [misc]simplify:  iters left: 4 (11 enodes)
1546940048.755 * * [misc]simplify:  iters left: 3 (13 enodes)
1546940048.757 * * [misc]simplify:  iters left: 2 (16 enodes)
1546940048.759 * [exit]simplify:  Simplified to (+ (exp im) (exp (- im)))
1546940048.759 * [misc]simplify:  Simplified (2 2) to (λ (re im) (* (* 0.5 (cos re)) (+ (exp im) (exp (- im)))))
1546940048.759 * * * [misc]progress:  adding candidates to table
1546940048.902 * * [misc]progress:  iteration 2 / 4
1546940048.902 * * * [misc]progress:  picking best candidate
1546940048.905 * * * * [misc]pick:  Picked  #<alt (λ (re im) (* (* 0.5 (cos re)) (fma (sqrt (exp (- im))) (sqrt (exp (- im))) (exp im))))>
1546940048.905 * * * [misc]progress:  localizing error
1546940048.914 * * * [misc]progress:  generating rewritten candidates
1546940048.914 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2 2 2)
1546940048.915 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2 2 1)
1546940048.917 * * * [misc]progress:  generating series expansions
1546940048.917 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2 2 2)
1546940048.917 * [misc]backup-simplify:  Simplify (sqrt (exp (- im))) into (sqrt (exp (- im)))
1546940048.917 * [misc]approximate:  Taking taylor expansion of (sqrt (exp (- im))) in (im) around 0
1546940048.917 * [misc]taylor:  Taking taylor expansion of (sqrt (exp (- im))) in im
1546940048.917 * [misc]taylor:  Taking taylor expansion of (exp (- im)) in im
1546940048.917 * [misc]taylor:  Taking taylor expansion of (- im) in im
1546940048.917 * [misc]taylor:  Taking taylor expansion of im in im
1546940048.917 * [misc]backup-simplify:  Simplify 0 into 0
1546940048.917 * [misc]backup-simplify:  Simplify 1 into 1
1546940048.917 * [misc]backup-simplify:  Simplify (- 0) into 0
1546940048.917 * [misc]backup-simplify:  Simplify (- 1) into -1
1546940048.918 * [misc]backup-simplify:  Simplify (exp 0) into 1
1546940048.918 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1546940048.918 * [misc]backup-simplify:  Simplify (- 1) into -1
1546940048.919 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
1546940048.919 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 1))) into -1/2
1546940048.919 * [misc]taylor:  Taking taylor expansion of (sqrt (exp (- im))) in im
1546940048.919 * [misc]taylor:  Taking taylor expansion of (exp (- im)) in im
1546940048.919 * [misc]taylor:  Taking taylor expansion of (- im) in im
1546940048.919 * [misc]taylor:  Taking taylor expansion of im in im
1546940048.919 * [misc]backup-simplify:  Simplify 0 into 0
1546940048.919 * [misc]backup-simplify:  Simplify 1 into 1
1546940048.919 * [misc]backup-simplify:  Simplify (- 0) into 0
1546940048.919 * [misc]backup-simplify:  Simplify (- 1) into -1
1546940048.919 * [misc]backup-simplify:  Simplify (exp 0) into 1
1546940048.919 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1546940048.919 * [misc]backup-simplify:  Simplify (- 1) into -1
1546940048.920 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
1546940048.920 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 1))) into -1/2
1546940048.920 * [misc]backup-simplify:  Simplify 1 into 1
1546940048.920 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1546940048.921 * [misc]backup-simplify:  Simplify (- 1) into -1
1546940048.921 * [misc]backup-simplify:  Simplify (- 0) into 0
1546940048.922 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1546940048.923 * [misc]backup-simplify:  Simplify (/ (- 1/2 (pow -1/2 2) (+)) (* 2 1)) into 1/8
1546940048.923 * [misc]backup-simplify:  Simplify 1/8 into 1/8
1546940048.923 * [misc]backup-simplify:  Simplify (+ (* 1/8 (pow im 2)) (+ (* -1/2 im) 1)) into (- (+ (* 1/8 (pow im 2)) 1) (* 1/2 im))
1546940048.923 * [misc]backup-simplify:  Simplify (sqrt (exp (- (/ 1 im)))) into (sqrt (exp (- (/ 1 im))))
1546940048.923 * [misc]approximate:  Taking taylor expansion of (sqrt (exp (- (/ 1 im)))) in (im) around 0
1546940048.923 * [misc]taylor:  Taking taylor expansion of (sqrt (exp (- (/ 1 im)))) in im
1546940048.923 * [misc]taylor:  Taking taylor expansion of (exp (- (/ 1 im))) in im
1546940048.923 * [misc]taylor:  Taking taylor expansion of (- (/ 1 im)) in im
1546940048.923 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in im
1546940048.923 * [misc]taylor:  Taking taylor expansion of im in im
1546940048.923 * [misc]backup-simplify:  Simplify 0 into 0
1546940048.923 * [misc]backup-simplify:  Simplify 1 into 1
1546940048.923 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546940048.923 * [misc]backup-simplify:  Simplify (- 1) into -1
1546940048.923 * [misc]backup-simplify:  Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im)))
1546940048.923 * [misc]backup-simplify:  Simplify (sqrt (exp (- (/ 1 im)))) into (sqrt (exp (- (/ 1 im))))
1546940048.923 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (exp (- (/ 1 im)))))) into 0
1546940048.923 * [misc]taylor:  Taking taylor expansion of (sqrt (exp (- (/ 1 im)))) in im
1546940048.923 * [misc]taylor:  Taking taylor expansion of (exp (- (/ 1 im))) in im
1546940048.923 * [misc]taylor:  Taking taylor expansion of (- (/ 1 im)) in im
1546940048.924 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in im
1546940048.924 * [misc]taylor:  Taking taylor expansion of im in im
1546940048.924 * [misc]backup-simplify:  Simplify 0 into 0
1546940048.924 * [misc]backup-simplify:  Simplify 1 into 1
1546940048.924 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546940048.924 * [misc]backup-simplify:  Simplify (- 1) into -1
1546940048.924 * [misc]backup-simplify:  Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im)))
1546940048.924 * [misc]backup-simplify:  Simplify (sqrt (exp (- (/ 1 im)))) into (sqrt (exp (- (/ 1 im))))
1546940048.924 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (exp (- (/ 1 im)))))) into 0
1546940048.924 * [misc]backup-simplify:  Simplify (sqrt (exp (- (/ 1 im)))) into (sqrt (exp (- (/ 1 im))))
1546940048.924 * [misc]backup-simplify:  Simplify 0 into 0
1546940048.925 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (- (/ 1 im)))))) into 0
1546940048.925 * [misc]backup-simplify:  Simplify 0 into 0
1546940048.925 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (- (/ 1 im)))))) into 0
1546940048.925 * [misc]backup-simplify:  Simplify 0 into 0
1546940048.925 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (- (/ 1 im)))))) into 0
1546940048.926 * [misc]backup-simplify:  Simplify 0 into 0
1546940048.926 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (- (/ 1 im)))))) into 0
1546940048.926 * [misc]backup-simplify:  Simplify 0 into 0
1546940048.926 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (- (/ 1 im)))))) into 0
1546940048.926 * [misc]backup-simplify:  Simplify 0 into 0
1546940048.927 * [misc]backup-simplify:  Simplify (sqrt (exp (- (/ 1 (/ 1 im))))) into (sqrt (exp (- im)))
1546940048.927 * [misc]backup-simplify:  Simplify (sqrt (exp (- (/ 1 (- im))))) into (sqrt (exp (/ 1 im)))
1546940048.927 * [misc]approximate:  Taking taylor expansion of (sqrt (exp (/ 1 im))) in (im) around 0
1546940048.927 * [misc]taylor:  Taking taylor expansion of (sqrt (exp (/ 1 im))) in im
1546940048.927 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 im)) in im
1546940048.927 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in im
1546940048.927 * [misc]taylor:  Taking taylor expansion of im in im
1546940048.927 * [misc]backup-simplify:  Simplify 0 into 0
1546940048.927 * [misc]backup-simplify:  Simplify 1 into 1
1546940048.927 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546940048.927 * [misc]backup-simplify:  Simplify (exp (/ 1 im)) into (exp (/ 1 im))
1546940048.927 * [misc]backup-simplify:  Simplify (sqrt (exp (/ 1 im))) into (sqrt (exp (/ 1 im)))
1546940048.927 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (exp (/ 1 im))))) into 0
1546940048.927 * [misc]taylor:  Taking taylor expansion of (sqrt (exp (/ 1 im))) in im
1546940048.927 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 im)) in im
1546940048.927 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in im
1546940048.927 * [misc]taylor:  Taking taylor expansion of im in im
1546940048.927 * [misc]backup-simplify:  Simplify 0 into 0
1546940048.927 * [misc]backup-simplify:  Simplify 1 into 1
1546940048.927 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546940048.927 * [misc]backup-simplify:  Simplify (exp (/ 1 im)) into (exp (/ 1 im))
1546940048.927 * [misc]backup-simplify:  Simplify (sqrt (exp (/ 1 im))) into (sqrt (exp (/ 1 im)))
1546940048.927 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (exp (/ 1 im))))) into 0
1546940048.927 * [misc]backup-simplify:  Simplify (sqrt (exp (/ 1 im))) into (sqrt (exp (/ 1 im)))
1546940048.928 * [misc]backup-simplify:  Simplify 0 into 0
1546940048.928 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 im))))) into 0
1546940048.928 * [misc]backup-simplify:  Simplify 0 into 0
1546940048.928 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 im))))) into 0
1546940048.928 * [misc]backup-simplify:  Simplify 0 into 0
1546940048.929 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 im))))) into 0
1546940048.929 * [misc]backup-simplify:  Simplify 0 into 0
1546940048.929 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 im))))) into 0
1546940048.929 * [misc]backup-simplify:  Simplify 0 into 0
1546940048.930 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 im))))) into 0
1546940048.930 * [misc]backup-simplify:  Simplify 0 into 0
1546940048.930 * [misc]backup-simplify:  Simplify (sqrt (exp (/ 1 (/ 1 (- im))))) into (sqrt (exp (* -1 im)))
1546940048.930 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2 2 1)
1546940048.930 * [misc]backup-simplify:  Simplify (sqrt (exp (- im))) into (sqrt (exp (- im)))
1546940048.930 * [misc]approximate:  Taking taylor expansion of (sqrt (exp (- im))) in (im) around 0
1546940048.930 * [misc]taylor:  Taking taylor expansion of (sqrt (exp (- im))) in im
1546940048.930 * [misc]taylor:  Taking taylor expansion of (exp (- im)) in im
1546940048.930 * [misc]taylor:  Taking taylor expansion of (- im) in im
1546940048.930 * [misc]taylor:  Taking taylor expansion of im in im
1546940048.930 * [misc]backup-simplify:  Simplify 0 into 0
1546940048.930 * [misc]backup-simplify:  Simplify 1 into 1
1546940048.930 * [misc]backup-simplify:  Simplify (- 0) into 0
1546940048.930 * [misc]backup-simplify:  Simplify (- 1) into -1
1546940048.930 * [misc]backup-simplify:  Simplify (exp 0) into 1
1546940048.931 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1546940048.931 * [misc]backup-simplify:  Simplify (- 1) into -1
1546940048.933 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
1546940048.933 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 1))) into -1/2
1546940048.933 * [misc]taylor:  Taking taylor expansion of (sqrt (exp (- im))) in im
1546940048.933 * [misc]taylor:  Taking taylor expansion of (exp (- im)) in im
1546940048.933 * [misc]taylor:  Taking taylor expansion of (- im) in im
1546940048.933 * [misc]taylor:  Taking taylor expansion of im in im
1546940048.933 * [misc]backup-simplify:  Simplify 0 into 0
1546940048.933 * [misc]backup-simplify:  Simplify 1 into 1
1546940048.933 * [misc]backup-simplify:  Simplify (- 0) into 0
1546940048.933 * [misc]backup-simplify:  Simplify (- 1) into -1
1546940048.933 * [misc]backup-simplify:  Simplify (exp 0) into 1
1546940048.933 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1546940048.934 * [misc]backup-simplify:  Simplify (- 1) into -1
1546940048.934 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
1546940048.935 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 1))) into -1/2
1546940048.935 * [misc]backup-simplify:  Simplify 1 into 1
1546940048.935 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1546940048.935 * [misc]backup-simplify:  Simplify (- 1) into -1
1546940048.935 * [misc]backup-simplify:  Simplify (- 0) into 0
1546940048.936 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1546940048.937 * [misc]backup-simplify:  Simplify (/ (- 1/2 (pow -1/2 2) (+)) (* 2 1)) into 1/8
1546940048.937 * [misc]backup-simplify:  Simplify 1/8 into 1/8
1546940048.937 * [misc]backup-simplify:  Simplify (+ (* 1/8 (pow im 2)) (+ (* -1/2 im) 1)) into (- (+ (* 1/8 (pow im 2)) 1) (* 1/2 im))
1546940048.937 * [misc]backup-simplify:  Simplify (sqrt (exp (- (/ 1 im)))) into (sqrt (exp (- (/ 1 im))))
1546940048.937 * [misc]approximate:  Taking taylor expansion of (sqrt (exp (- (/ 1 im)))) in (im) around 0
1546940048.937 * [misc]taylor:  Taking taylor expansion of (sqrt (exp (- (/ 1 im)))) in im
1546940048.937 * [misc]taylor:  Taking taylor expansion of (exp (- (/ 1 im))) in im
1546940048.937 * [misc]taylor:  Taking taylor expansion of (- (/ 1 im)) in im
1546940048.937 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in im
1546940048.937 * [misc]taylor:  Taking taylor expansion of im in im
1546940048.937 * [misc]backup-simplify:  Simplify 0 into 0
1546940048.937 * [misc]backup-simplify:  Simplify 1 into 1
1546940048.937 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546940048.937 * [misc]backup-simplify:  Simplify (- 1) into -1
1546940048.938 * [misc]backup-simplify:  Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im)))
1546940048.938 * [misc]backup-simplify:  Simplify (sqrt (exp (- (/ 1 im)))) into (sqrt (exp (- (/ 1 im))))
1546940048.938 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (exp (- (/ 1 im)))))) into 0
1546940048.938 * [misc]taylor:  Taking taylor expansion of (sqrt (exp (- (/ 1 im)))) in im
1546940048.938 * [misc]taylor:  Taking taylor expansion of (exp (- (/ 1 im))) in im
1546940048.938 * [misc]taylor:  Taking taylor expansion of (- (/ 1 im)) in im
1546940048.938 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in im
1546940048.938 * [misc]taylor:  Taking taylor expansion of im in im
1546940048.938 * [misc]backup-simplify:  Simplify 0 into 0
1546940048.938 * [misc]backup-simplify:  Simplify 1 into 1
1546940048.938 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546940048.938 * [misc]backup-simplify:  Simplify (- 1) into -1
1546940048.938 * [misc]backup-simplify:  Simplify (exp (- (/ 1 im))) into (exp (- (/ 1 im)))
1546940048.938 * [misc]backup-simplify:  Simplify (sqrt (exp (- (/ 1 im)))) into (sqrt (exp (- (/ 1 im))))
1546940048.938 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (exp (- (/ 1 im)))))) into 0
1546940048.938 * [misc]backup-simplify:  Simplify (sqrt (exp (- (/ 1 im)))) into (sqrt (exp (- (/ 1 im))))
1546940048.938 * [misc]backup-simplify:  Simplify 0 into 0
1546940048.939 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (- (/ 1 im)))))) into 0
1546940048.939 * [misc]backup-simplify:  Simplify 0 into 0
1546940048.939 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (- (/ 1 im)))))) into 0
1546940048.939 * [misc]backup-simplify:  Simplify 0 into 0
1546940048.940 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (- (/ 1 im)))))) into 0
1546940048.940 * [misc]backup-simplify:  Simplify 0 into 0
1546940048.940 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (- (/ 1 im)))))) into 0
1546940048.940 * [misc]backup-simplify:  Simplify 0 into 0
1546940048.941 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (- (/ 1 im)))))) into 0
1546940048.941 * [misc]backup-simplify:  Simplify 0 into 0
1546940048.941 * [misc]backup-simplify:  Simplify (sqrt (exp (- (/ 1 (/ 1 im))))) into (sqrt (exp (- im)))
1546940048.941 * [misc]backup-simplify:  Simplify (sqrt (exp (- (/ 1 (- im))))) into (sqrt (exp (/ 1 im)))
1546940048.941 * [misc]approximate:  Taking taylor expansion of (sqrt (exp (/ 1 im))) in (im) around 0
1546940048.941 * [misc]taylor:  Taking taylor expansion of (sqrt (exp (/ 1 im))) in im
1546940048.941 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 im)) in im
1546940048.941 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in im
1546940048.941 * [misc]taylor:  Taking taylor expansion of im in im
1546940048.941 * [misc]backup-simplify:  Simplify 0 into 0
1546940048.941 * [misc]backup-simplify:  Simplify 1 into 1
1546940048.941 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546940048.941 * [misc]backup-simplify:  Simplify (exp (/ 1 im)) into (exp (/ 1 im))
1546940048.941 * [misc]backup-simplify:  Simplify (sqrt (exp (/ 1 im))) into (sqrt (exp (/ 1 im)))
1546940048.941 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (exp (/ 1 im))))) into 0
1546940048.941 * [misc]taylor:  Taking taylor expansion of (sqrt (exp (/ 1 im))) in im
1546940048.941 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 im)) in im
1546940048.941 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in im
1546940048.941 * [misc]taylor:  Taking taylor expansion of im in im
1546940048.941 * [misc]backup-simplify:  Simplify 0 into 0
1546940048.941 * [misc]backup-simplify:  Simplify 1 into 1
1546940048.942 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546940048.942 * [misc]backup-simplify:  Simplify (exp (/ 1 im)) into (exp (/ 1 im))
1546940048.942 * [misc]backup-simplify:  Simplify (sqrt (exp (/ 1 im))) into (sqrt (exp (/ 1 im)))
1546940048.942 * [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (exp (/ 1 im))))) into 0
1546940048.942 * [misc]backup-simplify:  Simplify (sqrt (exp (/ 1 im))) into (sqrt (exp (/ 1 im)))
1546940048.942 * [misc]backup-simplify:  Simplify 0 into 0
1546940048.942 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 im))))) into 0
1546940048.942 * [misc]backup-simplify:  Simplify 0 into 0
1546940048.943 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 im))))) into 0
1546940048.943 * [misc]backup-simplify:  Simplify 0 into 0
1546940048.943 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 im))))) into 0
1546940048.943 * [misc]backup-simplify:  Simplify 0 into 0
1546940048.944 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 im))))) into 0
1546940048.944 * [misc]backup-simplify:  Simplify 0 into 0
1546940048.944 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 im))))) into 0
1546940048.944 * [misc]backup-simplify:  Simplify 0 into 0
1546940048.945 * [misc]backup-simplify:  Simplify (sqrt (exp (/ 1 (/ 1 (- im))))) into (sqrt (exp (* -1 im)))
1546940048.945 * * * [misc]progress:  simplifying candidates
1546940048.945 * * * * [misc]progress:  [ 1 / 38 ] simplifiying candidate #<alt (λ (re im) (* (* 0.5 (cos re)) (fma (sqrt (exp (- im))) (log1p (expm1 (sqrt (exp (- im))))) (exp im))))>
1546940048.945 * * * * [misc]progress:  [ 2 / 38 ] simplifiying candidate #<alt (λ (re im) (* (* 0.5 (cos re)) (fma (sqrt (exp (- im))) (expm1 (log1p (sqrt (exp (- im))))) (exp im))))>
1546940048.945 * * * * [misc]progress:  [ 3 / 38 ] simplifiying candidate #<alt (λ (re im) (* (* 0.5 (cos re)) (fma (sqrt (exp (- im))) (pow (exp (- im)) 1/2) (exp im))))>
1546940048.945 * * * * [misc]progress:  [ 4 / 38 ] simplifiying candidate #<alt (λ (re im) (* (* 0.5 (cos re)) (fma (sqrt (exp (- im))) (pow (sqrt (exp (- im))) 1) (exp im))))>
1546940048.945 * * * * [misc]progress:  [ 5 / 38 ] simplifiying candidate #<alt (λ (re im) (* (* 0.5 (cos re)) (fma (sqrt (exp (- im))) (exp (log (sqrt (exp (- im))))) (exp im))))>
1546940048.945 * * * * [misc]progress:  [ 6 / 38 ] simplifiying candidate #<alt (λ (re im) (* (* 0.5 (cos re)) (fma (sqrt (exp (- im))) (log (exp (sqrt (exp (- im))))) (exp im))))>
1546940048.945 * * * * [misc]progress:  [ 7 / 38 ] simplifiying candidate #<alt (λ (re im) (* (* 0.5 (cos re)) (fma (sqrt (exp (- im))) (* (* (cbrt (sqrt (exp (- im)))) (cbrt (sqrt (exp (- im))))) (cbrt (sqrt (exp (- im))))) (exp im))))>
1546940048.945 * * * * [misc]progress:  [ 8 / 38 ] simplifiying candidate #<alt (λ (re im) (* (* 0.5 (cos re)) (fma (sqrt (exp (- im))) (cbrt (* (* (sqrt (exp (- im))) (sqrt (exp (- im)))) (sqrt (exp (- im))))) (exp im))))>
1546940048.945 * * * * [misc]progress:  [ 9 / 38 ] simplifiying candidate #<alt (λ (re im) (* (* 0.5 (cos re)) (fma (sqrt (exp (- im))) (* (sqrt (* (cbrt (exp (- im))) (cbrt (exp (- im))))) (sqrt (cbrt (exp (- im))))) (exp im))))>
1546940048.945 * [enter]simplify:  Simplifying (sqrt (* (cbrt (exp (- im))) (cbrt (exp (- im)))))
1546940048.945 * * [misc]simplify:  iters left: 6 (6 enodes)
1546940048.946 * * [misc]simplify:  iters left: 5 (10 enodes)
1546940048.947 * * [misc]simplify:  iters left: 4 (12 enodes)
1546940048.949 * [exit]simplify:  Simplified to (fabs (cbrt (exp (- im))))
1546940048.949 * [misc]simplify:  Simplified (2 2 2 1) to (λ (re im) (* (* 0.5 (cos re)) (fma (sqrt (exp (- im))) (* (fabs (cbrt (exp (- im)))) (sqrt (cbrt (exp (- im))))) (exp im))))
1546940048.949 * * * * [misc]progress:  [ 10 / 38 ] simplifiying candidate #<alt (λ (re im) (* (* 0.5 (cos re)) (fma (sqrt (exp (- im))) (* (sqrt (sqrt (exp (- im)))) (sqrt (sqrt (exp (- im))))) (exp im))))>
1546940048.949 * [enter]simplify:  Simplifying (sqrt (sqrt (exp (- im))))
1546940048.949 * * [misc]simplify:  iters left: 5 (5 enodes)
1546940048.950 * * [misc]simplify:  iters left: 4 (8 enodes)
1546940048.951 * * [misc]simplify:  iters left: 3 (10 enodes)
1546940048.952 * [exit]simplify:  Simplified to (sqrt (sqrt (exp (- im))))
1546940048.952 * [misc]simplify:  Simplified (2 2 2 1) to (λ (re im) (* (* 0.5 (cos re)) (fma (sqrt (exp (- im))) (* (sqrt (sqrt (exp (- im)))) (sqrt (sqrt (exp (- im))))) (exp im))))
1546940048.952 * * * * [misc]progress:  [ 11 / 38 ] simplifiying candidate #<alt (λ (re im) (* (* 0.5 (cos re)) (fma (sqrt (exp (- im))) (* (sqrt 1) (sqrt (exp (- im)))) (exp im))))>
1546940048.952 * [enter]simplify:  Simplifying (sqrt 1)
1546940048.952 * * [misc]simplify:  iters left: 1 (2 enodes)
1546940048.953 * [exit]simplify:  Simplified to 1
1546940048.953 * [misc]simplify:  Simplified (2 2 2 1) to (λ (re im) (* (* 0.5 (cos re)) (fma (sqrt (exp (- im))) (* 1 (sqrt (exp (- im)))) (exp im))))
1546940048.953 * * * * [misc]progress:  [ 12 / 38 ] simplifiying candidate #<alt (λ (re im) (* (* 0.5 (cos re)) (fma (sqrt (exp (- im))) (/ (sqrt 1) (sqrt (exp im))) (exp im))))>
1546940048.953 * [enter]simplify:  Simplifying (sqrt 1)
1546940048.953 * * [misc]simplify:  iters left: 1 (2 enodes)
1546940048.954 * [exit]simplify:  Simplified to 1
1546940048.954 * [misc]simplify:  Simplified (2 2 2 1) to (λ (re im) (* (* 0.5 (cos re)) (fma (sqrt (exp (- im))) (/ 1 (sqrt (exp im))) (exp im))))
1546940048.954 * * * * [misc]progress:  [ 13 / 38 ] simplifiying candidate #<alt (λ (re im) (* (* 0.5 (cos re)) (fma (sqrt (exp (- im))) (/ (sqrt (exp 0)) (sqrt (exp im))) (exp im))))>
1546940048.954 * [enter]simplify:  Simplifying (sqrt (exp 0))
1546940048.954 * * [misc]simplify:  iters left: 2 (3 enodes)
1546940048.955 * * [misc]simplify:  iters left: 1 (4 enodes)
1546940048.955 * [exit]simplify:  Simplified to 1
1546940048.955 * [misc]simplify:  Simplified (2 2 2 1) to (λ (re im) (* (* 0.5 (cos re)) (fma (sqrt (exp (- im))) (/ 1 (sqrt (exp im))) (exp im))))
1546940048.955 * * * * [misc]progress:  [ 14 / 38 ] simplifiying candidate #<alt (λ (re im) (* (* 0.5 (cos re)) (fma (sqrt (exp (- im))) (* (sqrt (sqrt (exp (- im)))) (sqrt (sqrt (exp (- im))))) (exp im))))>
1546940048.955 * * * * [misc]progress:  [ 15 / 38 ] simplifiying candidate #<alt (λ (re im) (* (* 0.5 (cos re)) (fma (sqrt (exp (- im))) (fabs (sqrt (exp (- im)))) (exp im))))>
1546940048.955 * [enter]simplify:  Simplifying (sqrt (exp (- im)))
1546940048.955 * * [misc]simplify:  iters left: 4 (4 enodes)
1546940048.956 * * [misc]simplify:  iters left: 3 (7 enodes)
1546940048.957 * * [misc]simplify:  iters left: 2 (9 enodes)
1546940048.961 * [exit]simplify:  Simplified to (sqrt (exp (- im)))
1546940048.961 * [misc]simplify:  Simplified (2 2 2 1) to (λ (re im) (* (* 0.5 (cos re)) (fma (sqrt (exp (- im))) (fabs (sqrt (exp (- im)))) (exp im))))
1546940048.961 * * * * [misc]progress:  [ 16 / 38 ] simplifiying candidate #<alt (λ (re im) (* (* 0.5 (cos re)) (fma (sqrt (exp (- im))) (* 1 (sqrt (exp (- im)))) (exp im))))>
1546940048.961 * * * * [misc]progress:  [ 17 / 38 ] simplifiying candidate #<alt (λ (re im) (* (* 0.5 (cos re)) (fma (log1p (expm1 (sqrt (exp (- im))))) (sqrt (exp (- im))) (exp im))))>
1546940048.961 * * * * [misc]progress:  [ 18 / 38 ] simplifiying candidate #<alt (λ (re im) (* (* 0.5 (cos re)) (fma (expm1 (log1p (sqrt (exp (- im))))) (sqrt (exp (- im))) (exp im))))>
1546940048.961 * * * * [misc]progress:  [ 19 / 38 ] simplifiying candidate #<alt (λ (re im) (* (* 0.5 (cos re)) (fma (pow (exp (- im)) 1/2) (sqrt (exp (- im))) (exp im))))>
1546940048.961 * * * * [misc]progress:  [ 20 / 38 ] simplifiying candidate #<alt (λ (re im) (* (* 0.5 (cos re)) (fma (pow (sqrt (exp (- im))) 1) (sqrt (exp (- im))) (exp im))))>
1546940048.961 * * * * [misc]progress:  [ 21 / 38 ] simplifiying candidate #<alt (λ (re im) (* (* 0.5 (cos re)) (fma (exp (log (sqrt (exp (- im))))) (sqrt (exp (- im))) (exp im))))>
1546940048.961 * * * * [misc]progress:  [ 22 / 38 ] simplifiying candidate #<alt (λ (re im) (* (* 0.5 (cos re)) (fma (log (exp (sqrt (exp (- im))))) (sqrt (exp (- im))) (exp im))))>
1546940048.961 * * * * [misc]progress:  [ 23 / 38 ] simplifiying candidate #<alt (λ (re im) (* (* 0.5 (cos re)) (fma (* (* (cbrt (sqrt (exp (- im)))) (cbrt (sqrt (exp (- im))))) (cbrt (sqrt (exp (- im))))) (sqrt (exp (- im))) (exp im))))>
1546940048.961 * * * * [misc]progress:  [ 24 / 38 ] simplifiying candidate #<alt (λ (re im) (* (* 0.5 (cos re)) (fma (cbrt (* (* (sqrt (exp (- im))) (sqrt (exp (- im)))) (sqrt (exp (- im))))) (sqrt (exp (- im))) (exp im))))>
1546940048.961 * * * * [misc]progress:  [ 25 / 38 ] simplifiying candidate #<alt (λ (re im) (* (* 0.5 (cos re)) (fma (* (sqrt (* (cbrt (exp (- im))) (cbrt (exp (- im))))) (sqrt (cbrt (exp (- im))))) (sqrt (exp (- im))) (exp im))))>
1546940048.961 * [enter]simplify:  Simplifying (sqrt (* (cbrt (exp (- im))) (cbrt (exp (- im)))))
1546940048.961 * * [misc]simplify:  iters left: 6 (6 enodes)
1546940048.962 * * [misc]simplify:  iters left: 5 (10 enodes)
1546940048.963 * * [misc]simplify:  iters left: 4 (12 enodes)
1546940048.965 * [exit]simplify:  Simplified to (fabs (cbrt (exp (- im))))
1546940048.965 * [misc]simplify:  Simplified (2 2 1 1) to (λ (re im) (* (* 0.5 (cos re)) (fma (* (fabs (cbrt (exp (- im)))) (sqrt (cbrt (exp (- im))))) (sqrt (exp (- im))) (exp im))))
1546940048.965 * * * * [misc]progress:  [ 26 / 38 ] simplifiying candidate #<alt (λ (re im) (* (* 0.5 (cos re)) (fma (* (sqrt (sqrt (exp (- im)))) (sqrt (sqrt (exp (- im))))) (sqrt (exp (- im))) (exp im))))>
1546940048.965 * [enter]simplify:  Simplifying (sqrt (sqrt (exp (- im))))
1546940048.965 * * [misc]simplify:  iters left: 5 (5 enodes)
1546940048.966 * * [misc]simplify:  iters left: 4 (8 enodes)
1546940048.967 * * [misc]simplify:  iters left: 3 (10 enodes)
1546940048.968 * [exit]simplify:  Simplified to (sqrt (sqrt (exp (- im))))
1546940048.968 * [misc]simplify:  Simplified (2 2 1 1) to (λ (re im) (* (* 0.5 (cos re)) (fma (* (sqrt (sqrt (exp (- im)))) (sqrt (sqrt (exp (- im))))) (sqrt (exp (- im))) (exp im))))
1546940048.968 * * * * [misc]progress:  [ 27 / 38 ] simplifiying candidate #<alt (λ (re im) (* (* 0.5 (cos re)) (fma (* (sqrt 1) (sqrt (exp (- im)))) (sqrt (exp (- im))) (exp im))))>
1546940048.968 * [enter]simplify:  Simplifying (sqrt 1)
1546940048.968 * * [misc]simplify:  iters left: 1 (2 enodes)
1546940048.969 * [exit]simplify:  Simplified to 1
1546940048.969 * [misc]simplify:  Simplified (2 2 1 1) to (λ (re im) (* (* 0.5 (cos re)) (fma (* 1 (sqrt (exp (- im)))) (sqrt (exp (- im))) (exp im))))
1546940048.969 * * * * [misc]progress:  [ 28 / 38 ] simplifiying candidate #<alt (λ (re im) (* (* 0.5 (cos re)) (fma (/ (sqrt 1) (sqrt (exp im))) (sqrt (exp (- im))) (exp im))))>
1546940048.969 * [enter]simplify:  Simplifying (sqrt 1)
1546940048.969 * * [misc]simplify:  iters left: 1 (2 enodes)
1546940048.970 * [exit]simplify:  Simplified to 1
1546940048.970 * [misc]simplify:  Simplified (2 2 1 1) to (λ (re im) (* (* 0.5 (cos re)) (fma (/ 1 (sqrt (exp im))) (sqrt (exp (- im))) (exp im))))
1546940048.970 * * * * [misc]progress:  [ 29 / 38 ] simplifiying candidate #<alt (λ (re im) (* (* 0.5 (cos re)) (fma (/ (sqrt (exp 0)) (sqrt (exp im))) (sqrt (exp (- im))) (exp im))))>
1546940048.970 * [enter]simplify:  Simplifying (sqrt (exp 0))
1546940048.970 * * [misc]simplify:  iters left: 2 (3 enodes)
1546940048.971 * * [misc]simplify:  iters left: 1 (4 enodes)
1546940048.971 * [exit]simplify:  Simplified to 1
1546940048.971 * [misc]simplify:  Simplified (2 2 1 1) to (λ (re im) (* (* 0.5 (cos re)) (fma (/ 1 (sqrt (exp im))) (sqrt (exp (- im))) (exp im))))
1546940048.971 * * * * [misc]progress:  [ 30 / 38 ] simplifiying candidate #<alt (λ (re im) (* (* 0.5 (cos re)) (fma (* (sqrt (sqrt (exp (- im)))) (sqrt (sqrt (exp (- im))))) (sqrt (exp (- im))) (exp im))))>
1546940048.971 * * * * [misc]progress:  [ 31 / 38 ] simplifiying candidate #<alt (λ (re im) (* (* 0.5 (cos re)) (fma (fabs (sqrt (exp (- im)))) (sqrt (exp (- im))) (exp im))))>
1546940048.971 * [enter]simplify:  Simplifying (sqrt (exp (- im)))
1546940048.971 * * [misc]simplify:  iters left: 4 (4 enodes)
1546940048.972 * * [misc]simplify:  iters left: 3 (7 enodes)
1546940048.973 * * [misc]simplify:  iters left: 2 (9 enodes)
1546940048.974 * [exit]simplify:  Simplified to (sqrt (exp (- im)))
1546940048.974 * [misc]simplify:  Simplified (2 2 1 1) to (λ (re im) (* (* 0.5 (cos re)) (fma (fabs (sqrt (exp (- im)))) (sqrt (exp (- im))) (exp im))))
1546940048.974 * * * * [misc]progress:  [ 32 / 38 ] simplifiying candidate #<alt (λ (re im) (* (* 0.5 (cos re)) (fma (* 1 (sqrt (exp (- im)))) (sqrt (exp (- im))) (exp im))))>
1546940048.974 * * * * [misc]progress:  [ 33 / 38 ] simplifiying candidate #<alt (λ (re im) (* (* 0.5 (cos re)) (fma (sqrt (exp (- im))) (- (+ (* 1/8 (pow im 2)) 1) (* 1/2 im)) (exp im))))>
1546940048.974 * [enter]simplify:  Simplifying (- (+ (* 1/8 (pow im 2)) 1) (* 1/2 im))
1546940048.974 * * [misc]simplify:  iters left: 6 (10 enodes)
1546940048.976 * * [misc]simplify:  iters left: 5 (21 enodes)
1546940048.980 * * [misc]simplify:  iters left: 4 (43 enodes)
1546940048.988 * * [misc]simplify:  iters left: 3 (65 enodes)
1546940048.998 * * [misc]simplify:  iters left: 2 (88 enodes)
1546940049.008 * * [misc]simplify:  iters left: 1 (108 enodes)
1546940049.023 * [exit]simplify:  Simplified to (fma im (fma 1/8 im -1/2) 1)
1546940049.023 * [misc]simplify:  Simplified (2 2 2) to (λ (re im) (* (* 0.5 (cos re)) (fma (sqrt (exp (- im))) (fma im (fma 1/8 im -1/2) 1) (exp im))))
1546940049.023 * * * * [misc]progress:  [ 34 / 38 ] simplifiying candidate #<alt (λ (re im) (* (* 0.5 (cos re)) (fma (sqrt (exp (- im))) (sqrt (exp (- im))) (exp im))))>
1546940049.023 * [enter]simplify:  Simplifying (sqrt (exp (- im)))
1546940049.023 * * [misc]simplify:  iters left: 4 (4 enodes)
1546940049.024 * * [misc]simplify:  iters left: 3 (7 enodes)
1546940049.024 * * [misc]simplify:  iters left: 2 (9 enodes)
1546940049.025 * [exit]simplify:  Simplified to (sqrt (exp (- im)))
1546940049.026 * [misc]simplify:  Simplified (2 2 2) to (λ (re im) (* (* 0.5 (cos re)) (fma (sqrt (exp (- im))) (sqrt (exp (- im))) (exp im))))
1546940049.026 * * * * [misc]progress:  [ 35 / 38 ] simplifiying candidate #<alt (λ (re im) (* (* 0.5 (cos re)) (fma (sqrt (exp (- im))) (sqrt (exp (* -1 im))) (exp im))))>
1546940049.026 * [enter]simplify:  Simplifying (sqrt (exp (* -1 im)))
1546940049.026 * * [misc]simplify:  iters left: 4 (5 enodes)
1546940049.027 * * [misc]simplify:  iters left: 3 (9 enodes)
1546940049.028 * * [misc]simplify:  iters left: 2 (12 enodes)
1546940049.030 * * [misc]simplify:  iters left: 1 (15 enodes)
1546940049.032 * [exit]simplify:  Simplified to (sqrt (exp (- im)))
1546940049.032 * [misc]simplify:  Simplified (2 2 2) to (λ (re im) (* (* 0.5 (cos re)) (fma (sqrt (exp (- im))) (sqrt (exp (- im))) (exp im))))
1546940049.032 * * * * [misc]progress:  [ 36 / 38 ] simplifiying candidate #<alt (λ (re im) (* (* 0.5 (cos re)) (fma (- (+ (* 1/8 (pow im 2)) 1) (* 1/2 im)) (sqrt (exp (- im))) (exp im))))>
1546940049.032 * [enter]simplify:  Simplifying (- (+ (* 1/8 (pow im 2)) 1) (* 1/2 im))
1546940049.032 * * [misc]simplify:  iters left: 6 (10 enodes)
1546940049.035 * * [misc]simplify:  iters left: 5 (21 enodes)
1546940049.039 * * [misc]simplify:  iters left: 4 (43 enodes)
1546940049.045 * * [misc]simplify:  iters left: 3 (65 enodes)
1546940049.054 * * [misc]simplify:  iters left: 2 (88 enodes)
1546940049.064 * * [misc]simplify:  iters left: 1 (108 enodes)
1546940049.079 * [exit]simplify:  Simplified to (fma im (fma 1/8 im -1/2) 1)
1546940049.079 * [misc]simplify:  Simplified (2 2 1) to (λ (re im) (* (* 0.5 (cos re)) (fma (fma im (fma 1/8 im -1/2) 1) (sqrt (exp (- im))) (exp im))))
1546940049.079 * * * * [misc]progress:  [ 37 / 38 ] simplifiying candidate #<alt (λ (re im) (* (* 0.5 (cos re)) (fma (sqrt (exp (- im))) (sqrt (exp (- im))) (exp im))))>
1546940049.080 * [enter]simplify:  Simplifying (sqrt (exp (- im)))
1546940049.080 * * [misc]simplify:  iters left: 4 (4 enodes)
1546940049.080 * * [misc]simplify:  iters left: 3 (7 enodes)
1546940049.081 * * [misc]simplify:  iters left: 2 (9 enodes)
1546940049.082 * [exit]simplify:  Simplified to (sqrt (exp (- im)))
1546940049.082 * [misc]simplify:  Simplified (2 2 1) to (λ (re im) (* (* 0.5 (cos re)) (fma (sqrt (exp (- im))) (sqrt (exp (- im))) (exp im))))
1546940049.082 * * * * [misc]progress:  [ 38 / 38 ] simplifiying candidate #<alt (λ (re im) (* (* 0.5 (cos re)) (fma (sqrt (exp (* -1 im))) (sqrt (exp (- im))) (exp im))))>
1546940049.082 * [enter]simplify:  Simplifying (sqrt (exp (* -1 im)))
1546940049.082 * * [misc]simplify:  iters left: 4 (5 enodes)
1546940049.083 * * [misc]simplify:  iters left: 3 (9 enodes)
1546940049.085 * * [misc]simplify:  iters left: 2 (12 enodes)
1546940049.086 * * [misc]simplify:  iters left: 1 (15 enodes)
1546940049.088 * [exit]simplify:  Simplified to (sqrt (exp (- im)))
1546940049.088 * [misc]simplify:  Simplified (2 2 1) to (λ (re im) (* (* 0.5 (cos re)) (fma (sqrt (exp (- im))) (sqrt (exp (- im))) (exp im))))
1546940049.089 * * * [misc]progress:  adding candidates to table
1546940049.560 * [misc]progress:  [Phase 3 of 3] Extracting.
1546940049.560 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (re im) (* (* 0.5 (cos re)) (fma (sqrt (exp (- im))) (sqrt (exp (- im))) (exp im))))> #<alt (λ (re im) (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))))>)
1546940049.560 * * * [misc]regime-changes:  Trying 6 branch expressions: (im (+ (exp (- im)) (exp im)) re (cos re) (* 0.5 (cos re)) (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))))
1546940049.560 * * * * [misc]regimes:  Trying to branch on im from (#<alt (λ (re im) (* (* 0.5 (cos re)) (fma (sqrt (exp (- im))) (sqrt (exp (- im))) (exp im))))> #<alt (λ (re im) (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))))>)
1546940049.580 * * * * [misc]regimes:  Trying to branch on (+ (exp (- im)) (exp im)) from (#<alt (λ (re im) (* (* 0.5 (cos re)) (fma (sqrt (exp (- im))) (sqrt (exp (- im))) (exp im))))> #<alt (λ (re im) (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))))>)
1546940049.619 * * * * [misc]regimes:  Trying to branch on re from (#<alt (λ (re im) (* (* 0.5 (cos re)) (fma (sqrt (exp (- im))) (sqrt (exp (- im))) (exp im))))> #<alt (λ (re im) (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))))>)
1546940049.662 * * * * [misc]regimes:  Trying to branch on (cos re) from (#<alt (λ (re im) (* (* 0.5 (cos re)) (fma (sqrt (exp (- im))) (sqrt (exp (- im))) (exp im))))> #<alt (λ (re im) (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))))>)
1546940049.699 * * * * [misc]regimes:  Trying to branch on (* 0.5 (cos re)) from (#<alt (λ (re im) (* (* 0.5 (cos re)) (fma (sqrt (exp (- im))) (sqrt (exp (- im))) (exp im))))> #<alt (λ (re im) (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))))>)
1546940049.723 * * * * [misc]regimes:  Trying to branch on (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))) from (#<alt (λ (re im) (* (* 0.5 (cos re)) (fma (sqrt (exp (- im))) (sqrt (exp (- im))) (exp im))))> #<alt (λ (re im) (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))))>)
1546940049.754 * * * [misc]regime:  Found split indices: #<option (#s(si 0 256))>
1546940049.754 * [enter]simplify:  Simplifying (* (* 0.5 (cos re)) (fma (sqrt (exp (- im))) (sqrt (exp (- im))) (exp im)))
1546940049.754 * * [misc]simplify:  iters left: 6 (11 enodes)
1546940049.755 * * [misc]simplify:  iters left: 5 (13 enodes)
1546940049.755 * [exit]simplify:  Simplified to (* (* 0.5 (cos re)) (fma (sqrt (exp (- im))) (sqrt (exp (- im))) (exp im)))
1546940049.755 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1546940054.003 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546940054.005 * * * * [misc]points:  Sampling 3995 additional inputs, on iter 1 have 4005 / 8000
1546940056.231 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546940056.232 * * * * [misc]points:  Sampling 1965 additional inputs, on iter 2 have 6035 / 8000
1546940057.019 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546940057.019 * * * * [misc]points:  Sampling 958 additional inputs, on iter 3 have 7042 / 8000
1546940057.540 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546940057.540 * * * * [misc]points:  Sampling 500 additional inputs, on iter 4 have 7500 / 8000
1546940057.754 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546940057.754 * * * * [misc]points:  Sampling 250 additional inputs, on iter 5 have 7750 / 8000
1546940057.844 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546940057.844 * * * * [misc]points:  Sampling 120 additional inputs, on iter 6 have 7880 / 8000
1546940057.907 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546940057.907 * * * * [misc]points:  Sampling 55 additional inputs, on iter 7 have 7945 / 8000
1546940057.939 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546940057.939 * * * * [misc]points:  Sampling 25 additional inputs, on iter 8 have 7975 / 8000
1546940057.957 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546940057.957 * * * * [misc]points:  Sampling 14 additional inputs, on iter 9 have 7986 / 8000
1546940057.965 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546940057.965 * * * * [misc]points:  Sampling 5 additional inputs, on iter 10 have 7995 / 8000
1546940057.970 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546940057.971 * * * * [misc]points:  Sampling 4 additional inputs, on iter 11 have 7997 / 8000
1546940057.973 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546940057.974 * * * * [exit]points:  Sampled 8000 points with exact outputs
1546940058.382 * [misc]regime-testing:  Baseline error score: 0.021136842188131014
1546940058.383 * [misc]regime-testing:  Oracle error score: 0.009146240625180291
1546940058.385 * [misc]regime-testing:  End program error score: 0.021136842188131014