1536828488.790 * [misc]progress:  [Phase 1 of 3] Setting up.
1536828488.790 * * * [misc]progress:  [1/2] Preparing points
1536828488.790 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1536828488.792 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1536828488.793 * * * * [misc]points:  Setting MPFR precision to 64
1536828488.794 * * * * [misc]points:  Setting MPFR precision to 320
1536828488.795 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1536828488.796 * * * * [misc]points:  Setting MPFR precision to 64
1536828488.797 * * * * [misc]points:  Setting MPFR precision to 320
1536828488.798 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1536828488.800 * * * * [misc]points:  Setting MPFR precision to 64
1536828488.802 * * * * [misc]points:  Setting MPFR precision to 320
1536828488.804 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1536828488.806 * * * * [misc]points:  Setting MPFR precision to 64
1536828488.809 * * * * [misc]points:  Setting MPFR precision to 320
1536828488.813 * * * * [misc]points:  Computing exacts for 256 points
1536828488.814 * * * * [misc]points:  Setting MPFR precision to 64
1536828488.830 * * * * [misc]points:  Setting MPFR precision to 320
1536828488.852 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536828488.852 * * * * [misc]points:  Sampling 119 additional inputs, on iter 1 have 137 / 256
1536828488.853 * * * * [misc]points:  Computing exacts on every 7 of 119 points to ramp up precision
1536828488.856 * * * * [misc]points:  Setting MPFR precision to 64
1536828488.857 * * * * [misc]points:  Setting MPFR precision to 320
1536828488.858 * * * * [misc]points:  Computing exacts on every 3 of 119 points to ramp up precision
1536828488.860 * * * * [misc]points:  Setting MPFR precision to 64
1536828488.862 * * * * [misc]points:  Setting MPFR precision to 320
1536828488.864 * * * * [misc]points:  Computing exacts for 119 points
1536828488.867 * * * * [misc]points:  Setting MPFR precision to 64
1536828488.875 * * * * [misc]points:  Setting MPFR precision to 320
1536828488.885 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536828488.885 * * * * [misc]points:  Sampling 58 additional inputs, on iter 2 have 198 / 256
1536828488.886 * * * * [misc]points:  Computing exacts on every 3 of 58 points to ramp up precision
1536828488.888 * * * * [misc]points:  Setting MPFR precision to 64
1536828488.889 * * * * [misc]points:  Setting MPFR precision to 320
1536828488.891 * * * * [misc]points:  Computing exacts for 58 points
1536828488.893 * * * * [misc]points:  Setting MPFR precision to 64
1536828488.898 * * * * [misc]points:  Setting MPFR precision to 320
1536828488.903 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536828488.903 * * * * [misc]points:  Sampling 31 additional inputs, on iter 3 have 225 / 256
1536828488.903 * * * * [misc]points:  Computing exacts for 31 points
1536828488.906 * * * * [misc]points:  Setting MPFR precision to 64
1536828488.908 * * * * [misc]points:  Setting MPFR precision to 320
1536828488.935 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536828488.935 * * * * [misc]points:  Sampling 25 additional inputs, on iter 4 have 231 / 256
1536828488.935 * * * * [misc]points:  Computing exacts for 25 points
1536828488.938 * * * * [misc]points:  Setting MPFR precision to 64
1536828488.940 * * * * [misc]points:  Setting MPFR precision to 320
1536828488.942 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536828488.942 * * * * [misc]points:  Sampling 14 additional inputs, on iter 5 have 242 / 256
1536828488.942 * * * * [misc]points:  Computing exacts for 14 points
1536828488.947 * * * * [misc]points:  Setting MPFR precision to 64
1536828488.948 * * * * [misc]points:  Setting MPFR precision to 320
1536828488.949 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536828488.949 * * * * [misc]points:  Sampling 7 additional inputs, on iter 6 have 249 / 256
1536828488.950 * * * * [misc]points:  Computing exacts for 7 points
1536828488.952 * * * * [misc]points:  Setting MPFR precision to 64
1536828488.952 * * * * [misc]points:  Setting MPFR precision to 320
1536828488.953 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536828488.953 * * * * [misc]points:  Sampling 4 additional inputs, on iter 7 have 253 / 256
1536828488.953 * * * * [misc]points:  Computing exacts for 4 points
1536828488.955 * * * * [misc]points:  Setting MPFR precision to 64
1536828488.956 * * * * [misc]points:  Setting MPFR precision to 320
1536828488.956 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536828488.956 * * * * [exit]points:  Sampled 257 points with exact outputs
1536828488.956 * * * [misc]progress:  [2/2] Setting up program.
1536828488.963 * [misc]progress:  [Phase 2 of 3] Improving.
1536828488.963 * [enter]simplify:  Simplifying (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im)))
1536828488.963 * * [misc]simplify:  iters left: 6 (10 enodes)
1536828488.966 * * [misc]simplify:  iters left: 5 (23 enodes)
1536828488.974 * * [misc]simplify:  iters left: 4 (59 enodes)
1536828489.002 * * [misc]simplify:  iters left: 3 (102 enodes)
1536828489.056 * * [misc]simplify:  iters left: 2 (225 enodes)
1536828489.249 * [exit]simplify:  Simplified to (fma (exp im) (* (cos re) 0.5) (/ (* (cos re) 0.5) (exp im)))
1536828489.259 * * [misc]progress:  iteration 1 / 4
1536828489.259 * * * [misc]progress:  picking best candidate
1536828489.263 * * * * [misc]pick:  Picked  #<alt (λ (re im) (fma (exp im) (* (cos re) 0.5) (/ (* (cos re) 0.5) (exp im))))>
1536828489.263 * * * [misc]progress:  localizing error
1536828489.295 * * * [misc]progress:  generating rewritten candidates
1536828489.296 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2 3)
1536828489.347 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2)
1536828489.348 * * * [misc]progress:  generating series expansions
1536828489.348 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2 3)
1536828489.348 * [misc]backup-simplify:  Simplify (/ (* (cos re) 0.5) (exp im)) into (* 0.5 (/ (cos re) (exp im)))
1536828489.348 * [misc]approximate:  Taking taylor expansion of (* 0.5 (/ (cos re) (exp im))) in (re im) around 0
1536828489.348 * [misc]taylor:  Taking taylor expansion of (* 0.5 (/ (cos re) (exp im))) in im
1536828489.348 * [misc]taylor:  Taking taylor expansion of 0.5 in im
1536828489.348 * [misc]backup-simplify:  Simplify 0.5 into 0.5
1536828489.348 * [misc]taylor:  Taking taylor expansion of (/ (cos re) (exp im)) in im
1536828489.348 * [misc]taylor:  Taking taylor expansion of (cos re) in im
1536828489.348 * [misc]taylor:  Taking taylor expansion of re in im
1536828489.348 * [misc]backup-simplify:  Simplify re into re
1536828489.348 * [misc]backup-simplify:  Simplify (cos re) into (cos re)
1536828489.348 * [misc]backup-simplify:  Simplify (sin re) into (sin re)
1536828489.348 * [misc]taylor:  Taking taylor expansion of (exp im) in im
1536828489.348 * [misc]taylor:  Taking taylor expansion of im in im
1536828489.348 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.348 * [misc]backup-simplify:  Simplify 1 into 1
1536828489.348 * [misc]backup-simplify:  Simplify (exp 0) into 1
1536828489.348 * [misc]backup-simplify:  Simplify (* (cos re) 1) into (cos re)
1536828489.348 * [misc]backup-simplify:  Simplify (* (sin re) 0) into 0
1536828489.349 * [misc]backup-simplify:  Simplify (- 0) into 0
1536828489.349 * [misc]backup-simplify:  Simplify (+ (cos re) 0) into (cos re)
1536828489.349 * [misc]backup-simplify:  Simplify (/ (cos re) 1) into (cos re)
1536828489.349 * [misc]taylor:  Taking taylor expansion of (* 0.5 (/ (cos re) (exp im))) in re
1536828489.349 * [misc]taylor:  Taking taylor expansion of 0.5 in re
1536828489.349 * [misc]backup-simplify:  Simplify 0.5 into 0.5
1536828489.349 * [misc]taylor:  Taking taylor expansion of (/ (cos re) (exp im)) in re
1536828489.349 * [misc]taylor:  Taking taylor expansion of (cos re) in re
1536828489.349 * [misc]taylor:  Taking taylor expansion of re in re
1536828489.349 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.349 * [misc]backup-simplify:  Simplify 1 into 1
1536828489.349 * [misc]taylor:  Taking taylor expansion of (exp im) in re
1536828489.349 * [misc]taylor:  Taking taylor expansion of im in re
1536828489.349 * [misc]backup-simplify:  Simplify im into im
1536828489.349 * [misc]backup-simplify:  Simplify (exp im) into (exp im)
1536828489.349 * [misc]backup-simplify:  Simplify (/ 1 (exp im)) into (/ 1 (exp im))
1536828489.349 * [misc]taylor:  Taking taylor expansion of (* 0.5 (/ (cos re) (exp im))) in re
1536828489.349 * [misc]taylor:  Taking taylor expansion of 0.5 in re
1536828489.349 * [misc]backup-simplify:  Simplify 0.5 into 0.5
1536828489.349 * [misc]taylor:  Taking taylor expansion of (/ (cos re) (exp im)) in re
1536828489.349 * [misc]taylor:  Taking taylor expansion of (cos re) in re
1536828489.349 * [misc]taylor:  Taking taylor expansion of re in re
1536828489.349 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.349 * [misc]backup-simplify:  Simplify 1 into 1
1536828489.349 * [misc]taylor:  Taking taylor expansion of (exp im) in re
1536828489.349 * [misc]taylor:  Taking taylor expansion of im in re
1536828489.349 * [misc]backup-simplify:  Simplify im into im
1536828489.349 * [misc]backup-simplify:  Simplify (exp im) into (exp im)
1536828489.349 * [misc]backup-simplify:  Simplify (/ 1 (exp im)) into (/ 1 (exp im))
1536828489.349 * [misc]backup-simplify:  Simplify (* 0.5 (/ 1 (exp im))) into (/ 0.5 (exp im))
1536828489.349 * [misc]taylor:  Taking taylor expansion of (/ 0.5 (exp im)) in im
1536828489.349 * [misc]taylor:  Taking taylor expansion of 0.5 in im
1536828489.349 * [misc]backup-simplify:  Simplify 0.5 into 0.5
1536828489.349 * [misc]taylor:  Taking taylor expansion of (exp im) in im
1536828489.349 * [misc]taylor:  Taking taylor expansion of im in im
1536828489.349 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.349 * [misc]backup-simplify:  Simplify 1 into 1
1536828489.349 * [misc]backup-simplify:  Simplify (exp 0) into 1
1536828489.350 * [misc]backup-simplify:  Simplify (/ 0.5 1) into 0.5
1536828489.350 * [misc]backup-simplify:  Simplify 0.5 into 0.5
1536828489.350 * [misc]backup-simplify:  Simplify (+ 0) into 0
1536828489.350 * [misc]backup-simplify:  Simplify (* (exp im) (+ (* (/ (pow 0 1) 1)))) into 0
1536828489.351 * [misc]backup-simplify:  Simplify (- (/ 0 (exp im)) (+ (* (/ 1 (exp im)) (/ 0 (exp im))))) into 0
1536828489.351 * [misc]backup-simplify:  Simplify (+ (* 0.5 0) (* 0 (/ 1 (exp im)))) into 0
1536828489.351 * [misc]taylor:  Taking taylor expansion of 0 in im
1536828489.351 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.351 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.352 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1536828489.352 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 0.5 (/ 1 1)))) into (- 0.5)
1536828489.352 * [misc]backup-simplify:  Simplify (- 0.5) into (- 0.5)
1536828489.353 * [misc]backup-simplify:  Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into (- 1/2)
1536828489.354 * [misc]backup-simplify:  Simplify (* (exp im) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1536828489.355 * [misc]backup-simplify:  Simplify (- (/ (- 1/2) (exp im)) (+ (* (/ 1 (exp im)) (/ 0 (exp im))) (* 0 (/ 0 (exp im))))) into (- (* 1/2 (/ 1 (exp im))))
1536828489.355 * [misc]backup-simplify:  Simplify (+ (* 0.5 (- (* 1/2 (/ 1 (exp im))))) (+ (* 0 0) (* 0 (/ 1 (exp im))))) into (- (* 0.25 (/ 1 (exp im))))
1536828489.355 * [misc]taylor:  Taking taylor expansion of (- (* 0.25 (/ 1 (exp im)))) in im
1536828489.355 * [misc]taylor:  Taking taylor expansion of (* 0.25 (/ 1 (exp im))) in im
1536828489.355 * [misc]taylor:  Taking taylor expansion of 0.25 in im
1536828489.355 * [misc]backup-simplify:  Simplify 0.25 into 0.25
1536828489.355 * [misc]taylor:  Taking taylor expansion of (/ 1 (exp im)) in im
1536828489.355 * [misc]taylor:  Taking taylor expansion of (exp im) in im
1536828489.355 * [misc]taylor:  Taking taylor expansion of im in im
1536828489.355 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.355 * [misc]backup-simplify:  Simplify 1 into 1
1536828489.355 * [misc]backup-simplify:  Simplify (exp 0) into 1
1536828489.355 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536828489.355 * [misc]backup-simplify:  Simplify (* 0.25 1) into 0.25
1536828489.355 * [misc]backup-simplify:  Simplify (- 0.25) into (- 0.25)
1536828489.355 * [misc]backup-simplify:  Simplify (- 0.25) into (- 0.25)
1536828489.356 * [misc]backup-simplify:  Simplify (+ (* (- 0.25) (pow (* 1 re) 2)) (+ (* (- 0.5) (* im 1)) 0.5)) into (- 0.5 (+ (* 0.25 (pow re 2)) (* 0.5 im)))
1536828489.356 * [misc]backup-simplify:  Simplify (/ (* (cos (/ 1 re)) 0.5) (exp (/ 1 im))) into (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im))))
1536828489.356 * [misc]approximate:  Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in (re im) around 0
1536828489.356 * [misc]taylor:  Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in im
1536828489.356 * [misc]taylor:  Taking taylor expansion of 0.5 in im
1536828489.356 * [misc]backup-simplify:  Simplify 0.5 into 0.5
1536828489.356 * [misc]taylor:  Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in im
1536828489.356 * [misc]taylor:  Taking taylor expansion of (cos (/ 1 re)) in im
1536828489.356 * [misc]taylor:  Taking taylor expansion of (/ 1 re) in im
1536828489.356 * [misc]taylor:  Taking taylor expansion of re in im
1536828489.356 * [misc]backup-simplify:  Simplify re into re
1536828489.356 * [misc]backup-simplify:  Simplify (/ 1 re) into (/ 1 re)
1536828489.356 * [misc]backup-simplify:  Simplify (cos (/ 1 re)) into (cos (/ 1 re))
1536828489.356 * [misc]backup-simplify:  Simplify (sin (/ 1 re)) into (sin (/ 1 re))
1536828489.356 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 im)) in im
1536828489.356 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in im
1536828489.356 * [misc]taylor:  Taking taylor expansion of im in im
1536828489.356 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.356 * [misc]backup-simplify:  Simplify 1 into 1
1536828489.357 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536828489.357 * [misc]backup-simplify:  Simplify (exp (/ 1 im)) into (exp (/ 1 im))
1536828489.357 * [misc]backup-simplify:  Simplify (* (cos (/ 1 re)) 1) into (cos (/ 1 re))
1536828489.357 * [misc]backup-simplify:  Simplify (* (sin (/ 1 re)) 0) into 0
1536828489.357 * [misc]backup-simplify:  Simplify (- 0) into 0
1536828489.357 * [misc]backup-simplify:  Simplify (+ (cos (/ 1 re)) 0) into (cos (/ 1 re))
1536828489.357 * [misc]backup-simplify:  Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im)))
1536828489.357 * [misc]taylor:  Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in re
1536828489.357 * [misc]taylor:  Taking taylor expansion of 0.5 in re
1536828489.357 * [misc]backup-simplify:  Simplify 0.5 into 0.5
1536828489.357 * [misc]taylor:  Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in re
1536828489.357 * [misc]taylor:  Taking taylor expansion of (cos (/ 1 re)) in re
1536828489.357 * [misc]taylor:  Taking taylor expansion of (/ 1 re) in re
1536828489.357 * [misc]taylor:  Taking taylor expansion of re in re
1536828489.357 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.357 * [misc]backup-simplify:  Simplify 1 into 1
1536828489.357 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536828489.357 * [misc]backup-simplify:  Simplify (cos (/ 1 re)) into (cos (/ 1 re))
1536828489.357 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 im)) in re
1536828489.357 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in re
1536828489.357 * [misc]taylor:  Taking taylor expansion of im in re
1536828489.357 * [misc]backup-simplify:  Simplify im into im
1536828489.357 * [misc]backup-simplify:  Simplify (/ 1 im) into (/ 1 im)
1536828489.357 * [misc]backup-simplify:  Simplify (exp (/ 1 im)) into (exp (/ 1 im))
1536828489.357 * [misc]backup-simplify:  Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im)))
1536828489.357 * [misc]taylor:  Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in re
1536828489.358 * [misc]taylor:  Taking taylor expansion of 0.5 in re
1536828489.358 * [misc]backup-simplify:  Simplify 0.5 into 0.5
1536828489.358 * [misc]taylor:  Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in re
1536828489.358 * [misc]taylor:  Taking taylor expansion of (cos (/ 1 re)) in re
1536828489.358 * [misc]taylor:  Taking taylor expansion of (/ 1 re) in re
1536828489.358 * [misc]taylor:  Taking taylor expansion of re in re
1536828489.358 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.358 * [misc]backup-simplify:  Simplify 1 into 1
1536828489.358 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536828489.358 * [misc]backup-simplify:  Simplify (cos (/ 1 re)) into (cos (/ 1 re))
1536828489.358 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 im)) in re
1536828489.358 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in re
1536828489.358 * [misc]taylor:  Taking taylor expansion of im in re
1536828489.358 * [misc]backup-simplify:  Simplify im into im
1536828489.358 * [misc]backup-simplify:  Simplify (/ 1 im) into (/ 1 im)
1536828489.358 * [misc]backup-simplify:  Simplify (exp (/ 1 im)) into (exp (/ 1 im))
1536828489.358 * [misc]backup-simplify:  Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im)))
1536828489.358 * [misc]backup-simplify:  Simplify (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im))))
1536828489.358 * [misc]taylor:  Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in im
1536828489.358 * [misc]taylor:  Taking taylor expansion of 0.5 in im
1536828489.358 * [misc]backup-simplify:  Simplify 0.5 into 0.5
1536828489.358 * [misc]taylor:  Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in im
1536828489.358 * [misc]taylor:  Taking taylor expansion of (cos (/ 1 re)) in im
1536828489.358 * [misc]taylor:  Taking taylor expansion of (/ 1 re) in im
1536828489.358 * [misc]taylor:  Taking taylor expansion of re in im
1536828489.358 * [misc]backup-simplify:  Simplify re into re
1536828489.358 * [misc]backup-simplify:  Simplify (/ 1 re) into (/ 1 re)
1536828489.358 * [misc]backup-simplify:  Simplify (cos (/ 1 re)) into (cos (/ 1 re))
1536828489.358 * [misc]backup-simplify:  Simplify (sin (/ 1 re)) into (sin (/ 1 re))
1536828489.358 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 im)) in im
1536828489.358 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in im
1536828489.358 * [misc]taylor:  Taking taylor expansion of im in im
1536828489.358 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.358 * [misc]backup-simplify:  Simplify 1 into 1
1536828489.359 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536828489.359 * [misc]backup-simplify:  Simplify (exp (/ 1 im)) into (exp (/ 1 im))
1536828489.359 * [misc]backup-simplify:  Simplify (* (cos (/ 1 re)) 1) into (cos (/ 1 re))
1536828489.359 * [misc]backup-simplify:  Simplify (* (sin (/ 1 re)) 0) into 0
1536828489.359 * [misc]backup-simplify:  Simplify (- 0) into 0
1536828489.359 * [misc]backup-simplify:  Simplify (+ (cos (/ 1 re)) 0) into (cos (/ 1 re))
1536828489.359 * [misc]backup-simplify:  Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im)))
1536828489.359 * [misc]backup-simplify:  Simplify (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im))))
1536828489.359 * [misc]backup-simplify:  Simplify (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im))))
1536828489.359 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
1536828489.360 * [misc]backup-simplify:  Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0
1536828489.360 * [misc]backup-simplify:  Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))))) into 0
1536828489.360 * [misc]backup-simplify:  Simplify (+ (* 0.5 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im))))) into 0
1536828489.360 * [misc]taylor:  Taking taylor expansion of 0 in im
1536828489.360 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.360 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.361 * [misc]backup-simplify:  Simplify (+ 0) into 0
1536828489.361 * [misc]backup-simplify:  Simplify (+ (* (cos (/ 1 re)) 0) (* 0 1)) into 0
1536828489.361 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0
1536828489.362 * [misc]backup-simplify:  Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
1536828489.362 * [misc]backup-simplify:  Simplify (+ (* (sin (/ 1 re)) 0) (* 0 0)) into 0
1536828489.362 * [misc]backup-simplify:  Simplify (- 0) into 0
1536828489.362 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536828489.362 * [misc]backup-simplify:  Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))))) into 0
1536828489.363 * [misc]backup-simplify:  Simplify (+ (* 0.5 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im))))) into 0
1536828489.363 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.363 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
1536828489.364 * [misc]backup-simplify:  Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1536828489.364 * [misc]backup-simplify:  Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0
1536828489.364 * [misc]backup-simplify:  Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im)))))) into 0
1536828489.364 * [misc]taylor:  Taking taylor expansion of 0 in im
1536828489.364 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.364 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.364 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.365 * [misc]backup-simplify:  Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
1536828489.365 * [misc]backup-simplify:  Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 1))) into 0
1536828489.365 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
1536828489.366 * [misc]backup-simplify:  Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
1536828489.366 * [misc]backup-simplify:  Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 0))) into 0
1536828489.366 * [misc]backup-simplify:  Simplify (- 0) into 0
1536828489.366 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536828489.367 * [misc]backup-simplify:  Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0
1536828489.367 * [misc]backup-simplify:  Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im)))))) into 0
1536828489.367 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.367 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
1536828489.369 * [misc]backup-simplify:  Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1536828489.369 * [misc]backup-simplify:  Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0
1536828489.370 * [misc]backup-simplify:  Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im))))))) into 0
1536828489.370 * [misc]taylor:  Taking taylor expansion of 0 in im
1536828489.370 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.370 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.370 * [misc]backup-simplify:  Simplify (* 0.5 (/ (cos (/ 1 (/ 1 re))) (exp (/ 1 (/ 1 im))))) into (* 0.5 (/ (cos re) (exp im)))
1536828489.370 * [misc]backup-simplify:  Simplify (/ (* (cos (/ 1 (- re))) 0.5) (exp (/ 1 (- im)))) into (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im))))
1536828489.370 * [misc]approximate:  Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in (re im) around 0
1536828489.370 * [misc]taylor:  Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in im
1536828489.370 * [misc]taylor:  Taking taylor expansion of 0.5 in im
1536828489.370 * [misc]backup-simplify:  Simplify 0.5 into 0.5
1536828489.370 * [misc]taylor:  Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in im
1536828489.370 * [misc]taylor:  Taking taylor expansion of (cos (/ -1 re)) in im
1536828489.370 * [misc]taylor:  Taking taylor expansion of (/ -1 re) in im
1536828489.370 * [misc]taylor:  Taking taylor expansion of -1 in im
1536828489.370 * [misc]backup-simplify:  Simplify -1 into -1
1536828489.370 * [misc]taylor:  Taking taylor expansion of re in im
1536828489.370 * [misc]backup-simplify:  Simplify re into re
1536828489.370 * [misc]backup-simplify:  Simplify (/ -1 re) into (/ -1 re)
1536828489.370 * [misc]backup-simplify:  Simplify (cos (/ -1 re)) into (cos (/ -1 re))
1536828489.371 * [misc]backup-simplify:  Simplify (sin (/ -1 re)) into (sin (/ -1 re))
1536828489.371 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 im)) in im
1536828489.371 * [misc]taylor:  Taking taylor expansion of (/ -1 im) in im
1536828489.371 * [misc]taylor:  Taking taylor expansion of -1 in im
1536828489.371 * [misc]backup-simplify:  Simplify -1 into -1
1536828489.371 * [misc]taylor:  Taking taylor expansion of im in im
1536828489.371 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.371 * [misc]backup-simplify:  Simplify 1 into 1
1536828489.371 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1536828489.371 * [misc]backup-simplify:  Simplify (exp (/ -1 im)) into (exp (/ -1 im))
1536828489.371 * [misc]backup-simplify:  Simplify (* (cos (/ -1 re)) 1) into (cos (/ -1 re))
1536828489.371 * [misc]backup-simplify:  Simplify (* (sin (/ -1 re)) 0) into 0
1536828489.371 * [misc]backup-simplify:  Simplify (- 0) into 0
1536828489.371 * [misc]backup-simplify:  Simplify (+ (cos (/ -1 re)) 0) into (cos (/ -1 re))
1536828489.371 * [misc]backup-simplify:  Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im)))
1536828489.371 * [misc]taylor:  Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in re
1536828489.371 * [misc]taylor:  Taking taylor expansion of 0.5 in re
1536828489.371 * [misc]backup-simplify:  Simplify 0.5 into 0.5
1536828489.371 * [misc]taylor:  Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in re
1536828489.371 * [misc]taylor:  Taking taylor expansion of (cos (/ -1 re)) in re
1536828489.371 * [misc]taylor:  Taking taylor expansion of (/ -1 re) in re
1536828489.371 * [misc]taylor:  Taking taylor expansion of -1 in re
1536828489.371 * [misc]backup-simplify:  Simplify -1 into -1
1536828489.371 * [misc]taylor:  Taking taylor expansion of re in re
1536828489.371 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.371 * [misc]backup-simplify:  Simplify 1 into 1
1536828489.372 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1536828489.372 * [misc]backup-simplify:  Simplify (cos (/ -1 re)) into (cos (/ -1 re))
1536828489.372 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 im)) in re
1536828489.372 * [misc]taylor:  Taking taylor expansion of (/ -1 im) in re
1536828489.372 * [misc]taylor:  Taking taylor expansion of -1 in re
1536828489.372 * [misc]backup-simplify:  Simplify -1 into -1
1536828489.372 * [misc]taylor:  Taking taylor expansion of im in re
1536828489.372 * [misc]backup-simplify:  Simplify im into im
1536828489.372 * [misc]backup-simplify:  Simplify (/ -1 im) into (/ -1 im)
1536828489.372 * [misc]backup-simplify:  Simplify (exp (/ -1 im)) into (exp (/ -1 im))
1536828489.372 * [misc]backup-simplify:  Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im)))
1536828489.372 * [misc]taylor:  Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in re
1536828489.372 * [misc]taylor:  Taking taylor expansion of 0.5 in re
1536828489.372 * [misc]backup-simplify:  Simplify 0.5 into 0.5
1536828489.372 * [misc]taylor:  Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in re
1536828489.372 * [misc]taylor:  Taking taylor expansion of (cos (/ -1 re)) in re
1536828489.372 * [misc]taylor:  Taking taylor expansion of (/ -1 re) in re
1536828489.372 * [misc]taylor:  Taking taylor expansion of -1 in re
1536828489.372 * [misc]backup-simplify:  Simplify -1 into -1
1536828489.372 * [misc]taylor:  Taking taylor expansion of re in re
1536828489.372 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.372 * [misc]backup-simplify:  Simplify 1 into 1
1536828489.372 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1536828489.372 * [misc]backup-simplify:  Simplify (cos (/ -1 re)) into (cos (/ -1 re))
1536828489.372 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 im)) in re
1536828489.372 * [misc]taylor:  Taking taylor expansion of (/ -1 im) in re
1536828489.372 * [misc]taylor:  Taking taylor expansion of -1 in re
1536828489.372 * [misc]backup-simplify:  Simplify -1 into -1
1536828489.372 * [misc]taylor:  Taking taylor expansion of im in re
1536828489.372 * [misc]backup-simplify:  Simplify im into im
1536828489.372 * [misc]backup-simplify:  Simplify (/ -1 im) into (/ -1 im)
1536828489.372 * [misc]backup-simplify:  Simplify (exp (/ -1 im)) into (exp (/ -1 im))
1536828489.372 * [misc]backup-simplify:  Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im)))
1536828489.373 * [misc]backup-simplify:  Simplify (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im))))
1536828489.373 * [misc]taylor:  Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in im
1536828489.373 * [misc]taylor:  Taking taylor expansion of 0.5 in im
1536828489.373 * [misc]backup-simplify:  Simplify 0.5 into 0.5
1536828489.373 * [misc]taylor:  Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in im
1536828489.373 * [misc]taylor:  Taking taylor expansion of (cos (/ -1 re)) in im
1536828489.373 * [misc]taylor:  Taking taylor expansion of (/ -1 re) in im
1536828489.373 * [misc]taylor:  Taking taylor expansion of -1 in im
1536828489.373 * [misc]backup-simplify:  Simplify -1 into -1
1536828489.373 * [misc]taylor:  Taking taylor expansion of re in im
1536828489.373 * [misc]backup-simplify:  Simplify re into re
1536828489.373 * [misc]backup-simplify:  Simplify (/ -1 re) into (/ -1 re)
1536828489.373 * [misc]backup-simplify:  Simplify (cos (/ -1 re)) into (cos (/ -1 re))
1536828489.373 * [misc]backup-simplify:  Simplify (sin (/ -1 re)) into (sin (/ -1 re))
1536828489.373 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 im)) in im
1536828489.373 * [misc]taylor:  Taking taylor expansion of (/ -1 im) in im
1536828489.373 * [misc]taylor:  Taking taylor expansion of -1 in im
1536828489.373 * [misc]backup-simplify:  Simplify -1 into -1
1536828489.373 * [misc]taylor:  Taking taylor expansion of im in im
1536828489.373 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.373 * [misc]backup-simplify:  Simplify 1 into 1
1536828489.373 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1536828489.373 * [misc]backup-simplify:  Simplify (exp (/ -1 im)) into (exp (/ -1 im))
1536828489.373 * [misc]backup-simplify:  Simplify (* (cos (/ -1 re)) 1) into (cos (/ -1 re))
1536828489.373 * [misc]backup-simplify:  Simplify (* (sin (/ -1 re)) 0) into 0
1536828489.373 * [misc]backup-simplify:  Simplify (- 0) into 0
1536828489.374 * [misc]backup-simplify:  Simplify (+ (cos (/ -1 re)) 0) into (cos (/ -1 re))
1536828489.374 * [misc]backup-simplify:  Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im)))
1536828489.374 * [misc]backup-simplify:  Simplify (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im))))
1536828489.374 * [misc]backup-simplify:  Simplify (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im))))
1536828489.374 * [misc]backup-simplify:  Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0
1536828489.375 * [misc]backup-simplify:  Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 1) 1)))) into 0
1536828489.375 * [misc]backup-simplify:  Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))))) into 0
1536828489.375 * [misc]backup-simplify:  Simplify (+ (* 0.5 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im))))) into 0
1536828489.375 * [misc]taylor:  Taking taylor expansion of 0 in im
1536828489.375 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.375 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.375 * [misc]backup-simplify:  Simplify (+ 0) into 0
1536828489.376 * [misc]backup-simplify:  Simplify (+ (* (cos (/ -1 re)) 0) (* 0 1)) into 0
1536828489.376 * [misc]backup-simplify:  Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0
1536828489.377 * [misc]backup-simplify:  Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
1536828489.377 * [misc]backup-simplify:  Simplify (+ (* (sin (/ -1 re)) 0) (* 0 0)) into 0
1536828489.377 * [misc]backup-simplify:  Simplify (- 0) into 0
1536828489.377 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536828489.378 * [misc]backup-simplify:  Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))))) into 0
1536828489.378 * [misc]backup-simplify:  Simplify (+ (* 0.5 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im))))) into 0
1536828489.378 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.378 * [misc]backup-simplify:  Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
1536828489.380 * [misc]backup-simplify:  Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1536828489.380 * [misc]backup-simplify:  Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0
1536828489.381 * [misc]backup-simplify:  Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im)))))) into 0
1536828489.381 * [misc]taylor:  Taking taylor expansion of 0 in im
1536828489.381 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.381 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.381 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.382 * [misc]backup-simplify:  Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
1536828489.382 * [misc]backup-simplify:  Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 1))) into 0
1536828489.383 * [misc]backup-simplify:  Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
1536828489.384 * [misc]backup-simplify:  Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
1536828489.384 * [misc]backup-simplify:  Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 0))) into 0
1536828489.384 * [misc]backup-simplify:  Simplify (- 0) into 0
1536828489.384 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536828489.385 * [misc]backup-simplify:  Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0
1536828489.385 * [misc]backup-simplify:  Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im)))))) into 0
1536828489.385 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.385 * [misc]backup-simplify:  Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
1536828489.389 * [misc]backup-simplify:  Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1536828489.389 * [misc]backup-simplify:  Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0
1536828489.390 * [misc]backup-simplify:  Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im))))))) into 0
1536828489.390 * [misc]taylor:  Taking taylor expansion of 0 in im
1536828489.390 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.390 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.390 * [misc]backup-simplify:  Simplify (* 0.5 (/ (cos (/ -1 (/ 1 (- re)))) (exp (/ -1 (/ 1 (- im)))))) into (* 0.5 (/ (cos re) (exp im)))
1536828489.390 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2)
1536828489.394 * [misc]backup-simplify:  Simplify (fma (exp im) (* (cos re) 0.5) (/ (* (cos re) 0.5) (exp im))) into (fma (exp im) (* 0.5 (cos re)) (* 0.5 (/ (cos re) (exp im))))
1536828489.394 * [misc]approximate:  Taking taylor expansion of (fma (exp im) (* 0.5 (cos re)) (* 0.5 (/ (cos re) (exp im)))) in (im re) around 0
1536828489.394 * [misc]taylor:  Taking taylor expansion of (fma (exp im) (* 0.5 (cos re)) (* 0.5 (/ (cos re) (exp im)))) in re
1536828489.394 * [misc]taylor:  Rewrote expression to (+ (* (exp im) (* 0.5 (cos re))) (* 0.5 (/ (cos re) (exp im))))
1536828489.394 * [misc]taylor:  Taking taylor expansion of (* (exp im) (* 0.5 (cos re))) in re
1536828489.394 * [misc]taylor:  Taking taylor expansion of (exp im) in re
1536828489.394 * [misc]taylor:  Taking taylor expansion of im in re
1536828489.394 * [misc]backup-simplify:  Simplify im into im
1536828489.394 * [misc]backup-simplify:  Simplify (exp im) into (exp im)
1536828489.394 * [misc]taylor:  Taking taylor expansion of (* 0.5 (cos re)) in re
1536828489.394 * [misc]taylor:  Taking taylor expansion of 0.5 in re
1536828489.394 * [misc]backup-simplify:  Simplify 0.5 into 0.5
1536828489.394 * [misc]taylor:  Taking taylor expansion of (cos re) in re
1536828489.394 * [misc]taylor:  Taking taylor expansion of re in re
1536828489.394 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.394 * [misc]backup-simplify:  Simplify 1 into 1
1536828489.394 * [misc]taylor:  Taking taylor expansion of (* 0.5 (/ (cos re) (exp im))) in re
1536828489.394 * [misc]taylor:  Taking taylor expansion of 0.5 in re
1536828489.394 * [misc]backup-simplify:  Simplify 0.5 into 0.5
1536828489.394 * [misc]taylor:  Taking taylor expansion of (/ (cos re) (exp im)) in re
1536828489.394 * [misc]taylor:  Taking taylor expansion of (cos re) in re
1536828489.394 * [misc]taylor:  Taking taylor expansion of re in re
1536828489.394 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.394 * [misc]backup-simplify:  Simplify 1 into 1
1536828489.394 * [misc]taylor:  Taking taylor expansion of (exp im) in re
1536828489.394 * [misc]taylor:  Taking taylor expansion of im in re
1536828489.395 * [misc]backup-simplify:  Simplify im into im
1536828489.395 * [misc]backup-simplify:  Simplify (exp im) into (exp im)
1536828489.395 * [misc]backup-simplify:  Simplify (/ 1 (exp im)) into (/ 1 (exp im))
1536828489.395 * [misc]taylor:  Taking taylor expansion of (fma (exp im) (* 0.5 (cos re)) (* 0.5 (/ (cos re) (exp im)))) in im
1536828489.395 * [misc]taylor:  Rewrote expression to (+ (* (exp im) (* 0.5 (cos re))) (* 0.5 (/ (cos re) (exp im))))
1536828489.395 * [misc]taylor:  Taking taylor expansion of (* (exp im) (* 0.5 (cos re))) in im
1536828489.395 * [misc]taylor:  Taking taylor expansion of (exp im) in im
1536828489.395 * [misc]taylor:  Taking taylor expansion of im in im
1536828489.395 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.395 * [misc]backup-simplify:  Simplify 1 into 1
1536828489.395 * [misc]backup-simplify:  Simplify (exp 0) into 1
1536828489.395 * [misc]taylor:  Taking taylor expansion of (* 0.5 (cos re)) in im
1536828489.395 * [misc]taylor:  Taking taylor expansion of 0.5 in im
1536828489.395 * [misc]backup-simplify:  Simplify 0.5 into 0.5
1536828489.395 * [misc]taylor:  Taking taylor expansion of (cos re) in im
1536828489.395 * [misc]taylor:  Taking taylor expansion of re in im
1536828489.395 * [misc]backup-simplify:  Simplify re into re
1536828489.395 * [misc]backup-simplify:  Simplify (cos re) into (cos re)
1536828489.395 * [misc]backup-simplify:  Simplify (sin re) into (sin re)
1536828489.395 * [misc]taylor:  Taking taylor expansion of (* 0.5 (/ (cos re) (exp im))) in im
1536828489.395 * [misc]taylor:  Taking taylor expansion of 0.5 in im
1536828489.395 * [misc]backup-simplify:  Simplify 0.5 into 0.5
1536828489.395 * [misc]taylor:  Taking taylor expansion of (/ (cos re) (exp im)) in im
1536828489.395 * [misc]taylor:  Taking taylor expansion of (cos re) in im
1536828489.395 * [misc]taylor:  Taking taylor expansion of re in im
1536828489.395 * [misc]backup-simplify:  Simplify re into re
1536828489.395 * [misc]backup-simplify:  Simplify (cos re) into (cos re)
1536828489.395 * [misc]backup-simplify:  Simplify (sin re) into (sin re)
1536828489.395 * [misc]taylor:  Taking taylor expansion of (exp im) in im
1536828489.395 * [misc]taylor:  Taking taylor expansion of im in im
1536828489.395 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.395 * [misc]backup-simplify:  Simplify 1 into 1
1536828489.395 * [misc]backup-simplify:  Simplify (exp 0) into 1
1536828489.395 * [misc]backup-simplify:  Simplify (* (cos re) 1) into (cos re)
1536828489.395 * [misc]backup-simplify:  Simplify (* (sin re) 0) into 0
1536828489.395 * [misc]backup-simplify:  Simplify (- 0) into 0
1536828489.396 * [misc]backup-simplify:  Simplify (+ (cos re) 0) into (cos re)
1536828489.396 * [misc]backup-simplify:  Simplify (/ (cos re) 1) into (cos re)
1536828489.396 * [misc]taylor:  Taking taylor expansion of (fma (exp im) (* 0.5 (cos re)) (* 0.5 (/ (cos re) (exp im)))) in im
1536828489.396 * [misc]taylor:  Rewrote expression to (+ (* (exp im) (* 0.5 (cos re))) (* 0.5 (/ (cos re) (exp im))))
1536828489.396 * [misc]taylor:  Taking taylor expansion of (* (exp im) (* 0.5 (cos re))) in im
1536828489.396 * [misc]taylor:  Taking taylor expansion of (exp im) in im
1536828489.396 * [misc]taylor:  Taking taylor expansion of im in im
1536828489.396 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.396 * [misc]backup-simplify:  Simplify 1 into 1
1536828489.396 * [misc]backup-simplify:  Simplify (exp 0) into 1
1536828489.396 * [misc]taylor:  Taking taylor expansion of (* 0.5 (cos re)) in im
1536828489.396 * [misc]taylor:  Taking taylor expansion of 0.5 in im
1536828489.396 * [misc]backup-simplify:  Simplify 0.5 into 0.5
1536828489.396 * [misc]taylor:  Taking taylor expansion of (cos re) in im
1536828489.396 * [misc]taylor:  Taking taylor expansion of re in im
1536828489.396 * [misc]backup-simplify:  Simplify re into re
1536828489.396 * [misc]backup-simplify:  Simplify (cos re) into (cos re)
1536828489.396 * [misc]backup-simplify:  Simplify (sin re) into (sin re)
1536828489.396 * [misc]taylor:  Taking taylor expansion of (* 0.5 (/ (cos re) (exp im))) in im
1536828489.396 * [misc]taylor:  Taking taylor expansion of 0.5 in im
1536828489.396 * [misc]backup-simplify:  Simplify 0.5 into 0.5
1536828489.396 * [misc]taylor:  Taking taylor expansion of (/ (cos re) (exp im)) in im
1536828489.396 * [misc]taylor:  Taking taylor expansion of (cos re) in im
1536828489.396 * [misc]taylor:  Taking taylor expansion of re in im
1536828489.396 * [misc]backup-simplify:  Simplify re into re
1536828489.396 * [misc]backup-simplify:  Simplify (cos re) into (cos re)
1536828489.396 * [misc]backup-simplify:  Simplify (sin re) into (sin re)
1536828489.396 * [misc]taylor:  Taking taylor expansion of (exp im) in im
1536828489.396 * [misc]taylor:  Taking taylor expansion of im in im
1536828489.396 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.396 * [misc]backup-simplify:  Simplify 1 into 1
1536828489.396 * [misc]backup-simplify:  Simplify (exp 0) into 1
1536828489.396 * [misc]backup-simplify:  Simplify (* (cos re) 1) into (cos re)
1536828489.396 * [misc]backup-simplify:  Simplify (* (sin re) 0) into 0
1536828489.396 * [misc]backup-simplify:  Simplify (- 0) into 0
1536828489.396 * [misc]backup-simplify:  Simplify (+ (cos re) 0) into (cos re)
1536828489.396 * [misc]backup-simplify:  Simplify (/ (cos re) 1) into (cos re)
1536828489.397 * [misc]backup-simplify:  Simplify (* (cos re) 1) into (cos re)
1536828489.397 * [misc]backup-simplify:  Simplify (* (sin re) 0) into 0
1536828489.397 * [misc]backup-simplify:  Simplify (- 0) into 0
1536828489.397 * [misc]backup-simplify:  Simplify (+ (cos re) 0) into (cos re)
1536828489.397 * [misc]backup-simplify:  Simplify (* 0.5 (cos re)) into (* 0.5 (cos re))
1536828489.397 * [misc]backup-simplify:  Simplify (* 1 (* 0.5 (cos re))) into (* 0.5 (cos re))
1536828489.397 * [misc]backup-simplify:  Simplify (* 0.5 (cos re)) into (* 0.5 (cos re))
1536828489.397 * [misc]backup-simplify:  Simplify (+ (* 0.5 (cos re)) (* 0.5 (cos re))) into (* 1.0 (cos re))
1536828489.397 * [misc]taylor:  Taking taylor expansion of (* 1.0 (cos re)) in re
1536828489.397 * [misc]taylor:  Taking taylor expansion of 1.0 in re
1536828489.397 * [misc]backup-simplify:  Simplify 1.0 into 1.0
1536828489.397 * [misc]taylor:  Taking taylor expansion of (cos re) in re
1536828489.397 * [misc]taylor:  Taking taylor expansion of re in re
1536828489.397 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.397 * [misc]backup-simplify:  Simplify 1 into 1
1536828489.397 * [misc]backup-simplify:  Simplify (* 1.0 1) into 1.0
1536828489.397 * [misc]backup-simplify:  Simplify 1.0 into 1.0
1536828489.397 * [misc]backup-simplify:  Simplify (+ 0) into 0
1536828489.397 * [misc]backup-simplify:  Simplify (+ (* (cos re) 0) (* 0 1)) into 0
1536828489.398 * [misc]backup-simplify:  Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
1536828489.398 * [misc]backup-simplify:  Simplify (+ (* (sin re) 0) (* 0 0)) into 0
1536828489.399 * [misc]backup-simplify:  Simplify (- 0) into 0
1536828489.399 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536828489.399 * [misc]backup-simplify:  Simplify (+ (* 0.5 0) (* 0 (cos re))) into 0
1536828489.400 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1536828489.400 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 1 (* 0.5 (cos re)))) into (* 0.5 (cos re))
1536828489.400 * [misc]backup-simplify:  Simplify (+ 0) into 0
1536828489.400 * [misc]backup-simplify:  Simplify (+ (* (cos re) 0) (* 0 1)) into 0
1536828489.401 * [misc]backup-simplify:  Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
1536828489.401 * [misc]backup-simplify:  Simplify (+ (* (sin re) 0) (* 0 0)) into 0
1536828489.401 * [misc]backup-simplify:  Simplify (- 0) into 0
1536828489.401 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536828489.402 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1536828489.402 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (cos re) (/ 1 1)))) into (- (cos re))
1536828489.403 * [misc]backup-simplify:  Simplify (+ (* 0.5 (- (cos re))) (* 0 (cos re))) into (- (* 0.5 (cos re)))
1536828489.403 * [misc]backup-simplify:  Simplify (+ (* 0.5 (cos re)) (- (* 0.5 (cos re)))) into 0
1536828489.403 * [misc]taylor:  Taking taylor expansion of 0 in re
1536828489.403 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.403 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.403 * [misc]backup-simplify:  Simplify (+ 0) into 0
1536828489.403 * [misc]backup-simplify:  Simplify (+ (* 1.0 0) (* 0 1)) into 0
1536828489.403 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.404 * [misc]backup-simplify:  Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
1536828489.404 * [misc]backup-simplify:  Simplify (+ (* (cos re) 0) (+ (* 0 0) (* 0 1))) into 0
1536828489.405 * [misc]backup-simplify:  Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
1536828489.405 * [misc]backup-simplify:  Simplify (+ (* (sin re) 0) (+ (* 0 0) (* 0 0))) into 0
1536828489.405 * [misc]backup-simplify:  Simplify (- 0) into 0
1536828489.405 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536828489.405 * [misc]backup-simplify:  Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (cos re)))) into 0
1536828489.407 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1536828489.407 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 1 0) (* 1/2 (* 0.5 (cos re))))) into (* 0.25 (cos re))
1536828489.408 * [misc]backup-simplify:  Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
1536828489.408 * [misc]backup-simplify:  Simplify (+ (* (cos re) 0) (+ (* 0 0) (* 0 1))) into 0
1536828489.408 * [misc]backup-simplify:  Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
1536828489.409 * [misc]backup-simplify:  Simplify (+ (* (sin re) 0) (+ (* 0 0) (* 0 0))) into 0
1536828489.409 * [misc]backup-simplify:  Simplify (- 0) into 0
1536828489.409 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536828489.410 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1536828489.411 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* (cos re) (/ 1/2 1)) (* (- (cos re)) (/ 1 1)))) into (* 1/2 (cos re))
1536828489.411 * [misc]backup-simplify:  Simplify (+ (* 0.5 (* 1/2 (cos re))) (+ (* 0 (- (cos re))) (* 0 (cos re)))) into (* 0.25 (cos re))
1536828489.411 * [misc]backup-simplify:  Simplify (+ (* 0.25 (cos re)) (* 0.25 (cos re))) into (* 0.5 (cos re))
1536828489.411 * [misc]taylor:  Taking taylor expansion of (* 0.5 (cos re)) in re
1536828489.411 * [misc]taylor:  Taking taylor expansion of 0.5 in re
1536828489.411 * [misc]backup-simplify:  Simplify 0.5 into 0.5
1536828489.411 * [misc]taylor:  Taking taylor expansion of (cos re) in re
1536828489.411 * [misc]taylor:  Taking taylor expansion of re in re
1536828489.411 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.411 * [misc]backup-simplify:  Simplify 1 into 1
1536828489.411 * [misc]backup-simplify:  Simplify (* 0.5 1) into 0.5
1536828489.411 * [misc]backup-simplify:  Simplify 0.5 into 0.5
1536828489.411 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.412 * [misc]backup-simplify:  Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into (- 1/2)
1536828489.413 * [misc]backup-simplify:  Simplify (+ (* 1.0 (- 1/2)) (+ (* 0 0) (* 0 1))) into (- 0.5)
1536828489.413 * [misc]backup-simplify:  Simplify (- 0.5) into (- 0.5)
1536828489.413 * [misc]backup-simplify:  Simplify (+ (* (- 0.5) (pow (* re 1) 2)) (+ (* 0.5 (pow (* 1 im) 2)) 1.0)) into (- (+ (* 0.5 (pow im 2)) 1.0) (* 0.5 (pow re 2)))
1536828489.414 * [misc]backup-simplify:  Simplify (fma (exp (/ 1 im)) (* (cos (/ 1 re)) 0.5) (/ (* (cos (/ 1 re)) 0.5) (exp (/ 1 im)))) into (fma (exp (/ 1 im)) (* 0.5 (cos (/ 1 re))) (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))))
1536828489.414 * [misc]approximate:  Taking taylor expansion of (fma (exp (/ 1 im)) (* 0.5 (cos (/ 1 re))) (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im))))) in (im re) around 0
1536828489.414 * [misc]taylor:  Taking taylor expansion of (fma (exp (/ 1 im)) (* 0.5 (cos (/ 1 re))) (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im))))) in re
1536828489.414 * [misc]taylor:  Rewrote expression to (+ (* (exp (/ 1 im)) (* 0.5 (cos (/ 1 re)))) (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))))
1536828489.414 * [misc]taylor:  Taking taylor expansion of (* (exp (/ 1 im)) (* 0.5 (cos (/ 1 re)))) in re
1536828489.414 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 im)) in re
1536828489.414 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in re
1536828489.414 * [misc]taylor:  Taking taylor expansion of im in re
1536828489.414 * [misc]backup-simplify:  Simplify im into im
1536828489.414 * [misc]backup-simplify:  Simplify (/ 1 im) into (/ 1 im)
1536828489.414 * [misc]backup-simplify:  Simplify (exp (/ 1 im)) into (exp (/ 1 im))
1536828489.414 * [misc]taylor:  Taking taylor expansion of (* 0.5 (cos (/ 1 re))) in re
1536828489.414 * [misc]taylor:  Taking taylor expansion of 0.5 in re
1536828489.414 * [misc]backup-simplify:  Simplify 0.5 into 0.5
1536828489.414 * [misc]taylor:  Taking taylor expansion of (cos (/ 1 re)) in re
1536828489.414 * [misc]taylor:  Taking taylor expansion of (/ 1 re) in re
1536828489.414 * [misc]taylor:  Taking taylor expansion of re in re
1536828489.414 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.414 * [misc]backup-simplify:  Simplify 1 into 1
1536828489.414 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536828489.414 * [misc]backup-simplify:  Simplify (cos (/ 1 re)) into (cos (/ 1 re))
1536828489.414 * [misc]taylor:  Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in re
1536828489.414 * [misc]taylor:  Taking taylor expansion of 0.5 in re
1536828489.414 * [misc]backup-simplify:  Simplify 0.5 into 0.5
1536828489.414 * [misc]taylor:  Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in re
1536828489.414 * [misc]taylor:  Taking taylor expansion of (cos (/ 1 re)) in re
1536828489.414 * [misc]taylor:  Taking taylor expansion of (/ 1 re) in re
1536828489.414 * [misc]taylor:  Taking taylor expansion of re in re
1536828489.414 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.414 * [misc]backup-simplify:  Simplify 1 into 1
1536828489.414 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536828489.415 * [misc]backup-simplify:  Simplify (cos (/ 1 re)) into (cos (/ 1 re))
1536828489.415 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 im)) in re
1536828489.415 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in re
1536828489.415 * [misc]taylor:  Taking taylor expansion of im in re
1536828489.415 * [misc]backup-simplify:  Simplify im into im
1536828489.415 * [misc]backup-simplify:  Simplify (/ 1 im) into (/ 1 im)
1536828489.415 * [misc]backup-simplify:  Simplify (exp (/ 1 im)) into (exp (/ 1 im))
1536828489.415 * [misc]backup-simplify:  Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im)))
1536828489.415 * [misc]taylor:  Taking taylor expansion of (fma (exp (/ 1 im)) (* 0.5 (cos (/ 1 re))) (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im))))) in im
1536828489.415 * [misc]taylor:  Rewrote expression to (+ (* (exp (/ 1 im)) (* 0.5 (cos (/ 1 re)))) (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))))
1536828489.415 * [misc]taylor:  Taking taylor expansion of (* (exp (/ 1 im)) (* 0.5 (cos (/ 1 re)))) in im
1536828489.415 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 im)) in im
1536828489.415 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in im
1536828489.415 * [misc]taylor:  Taking taylor expansion of im in im
1536828489.415 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.415 * [misc]backup-simplify:  Simplify 1 into 1
1536828489.415 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536828489.415 * [misc]backup-simplify:  Simplify (exp (/ 1 im)) into (exp (/ 1 im))
1536828489.415 * [misc]taylor:  Taking taylor expansion of (* 0.5 (cos (/ 1 re))) in im
1536828489.415 * [misc]taylor:  Taking taylor expansion of 0.5 in im
1536828489.415 * [misc]backup-simplify:  Simplify 0.5 into 0.5
1536828489.415 * [misc]taylor:  Taking taylor expansion of (cos (/ 1 re)) in im
1536828489.415 * [misc]taylor:  Taking taylor expansion of (/ 1 re) in im
1536828489.415 * [misc]taylor:  Taking taylor expansion of re in im
1536828489.415 * [misc]backup-simplify:  Simplify re into re
1536828489.415 * [misc]backup-simplify:  Simplify (/ 1 re) into (/ 1 re)
1536828489.415 * [misc]backup-simplify:  Simplify (cos (/ 1 re)) into (cos (/ 1 re))
1536828489.415 * [misc]backup-simplify:  Simplify (sin (/ 1 re)) into (sin (/ 1 re))
1536828489.415 * [misc]taylor:  Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in im
1536828489.415 * [misc]taylor:  Taking taylor expansion of 0.5 in im
1536828489.415 * [misc]backup-simplify:  Simplify 0.5 into 0.5
1536828489.415 * [misc]taylor:  Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in im
1536828489.415 * [misc]taylor:  Taking taylor expansion of (cos (/ 1 re)) in im
1536828489.415 * [misc]taylor:  Taking taylor expansion of (/ 1 re) in im
1536828489.415 * [misc]taylor:  Taking taylor expansion of re in im
1536828489.415 * [misc]backup-simplify:  Simplify re into re
1536828489.416 * [misc]backup-simplify:  Simplify (/ 1 re) into (/ 1 re)
1536828489.416 * [misc]backup-simplify:  Simplify (cos (/ 1 re)) into (cos (/ 1 re))
1536828489.416 * [misc]backup-simplify:  Simplify (sin (/ 1 re)) into (sin (/ 1 re))
1536828489.416 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 im)) in im
1536828489.416 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in im
1536828489.416 * [misc]taylor:  Taking taylor expansion of im in im
1536828489.416 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.416 * [misc]backup-simplify:  Simplify 1 into 1
1536828489.416 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536828489.416 * [misc]backup-simplify:  Simplify (exp (/ 1 im)) into (exp (/ 1 im))
1536828489.416 * [misc]backup-simplify:  Simplify (* (cos (/ 1 re)) 1) into (cos (/ 1 re))
1536828489.416 * [misc]backup-simplify:  Simplify (* (sin (/ 1 re)) 0) into 0
1536828489.416 * [misc]backup-simplify:  Simplify (- 0) into 0
1536828489.416 * [misc]backup-simplify:  Simplify (+ (cos (/ 1 re)) 0) into (cos (/ 1 re))
1536828489.416 * [misc]backup-simplify:  Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im)))
1536828489.416 * [misc]taylor:  Taking taylor expansion of (fma (exp (/ 1 im)) (* 0.5 (cos (/ 1 re))) (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im))))) in im
1536828489.416 * [misc]taylor:  Rewrote expression to (+ (* (exp (/ 1 im)) (* 0.5 (cos (/ 1 re)))) (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))))
1536828489.416 * [misc]taylor:  Taking taylor expansion of (* (exp (/ 1 im)) (* 0.5 (cos (/ 1 re)))) in im
1536828489.416 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 im)) in im
1536828489.416 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in im
1536828489.416 * [misc]taylor:  Taking taylor expansion of im in im
1536828489.416 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.416 * [misc]backup-simplify:  Simplify 1 into 1
1536828489.416 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536828489.417 * [misc]backup-simplify:  Simplify (exp (/ 1 im)) into (exp (/ 1 im))
1536828489.417 * [misc]taylor:  Taking taylor expansion of (* 0.5 (cos (/ 1 re))) in im
1536828489.417 * [misc]taylor:  Taking taylor expansion of 0.5 in im
1536828489.417 * [misc]backup-simplify:  Simplify 0.5 into 0.5
1536828489.417 * [misc]taylor:  Taking taylor expansion of (cos (/ 1 re)) in im
1536828489.417 * [misc]taylor:  Taking taylor expansion of (/ 1 re) in im
1536828489.417 * [misc]taylor:  Taking taylor expansion of re in im
1536828489.417 * [misc]backup-simplify:  Simplify re into re
1536828489.417 * [misc]backup-simplify:  Simplify (/ 1 re) into (/ 1 re)
1536828489.417 * [misc]backup-simplify:  Simplify (cos (/ 1 re)) into (cos (/ 1 re))
1536828489.417 * [misc]backup-simplify:  Simplify (sin (/ 1 re)) into (sin (/ 1 re))
1536828489.417 * [misc]taylor:  Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in im
1536828489.417 * [misc]taylor:  Taking taylor expansion of 0.5 in im
1536828489.417 * [misc]backup-simplify:  Simplify 0.5 into 0.5
1536828489.417 * [misc]taylor:  Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in im
1536828489.417 * [misc]taylor:  Taking taylor expansion of (cos (/ 1 re)) in im
1536828489.417 * [misc]taylor:  Taking taylor expansion of (/ 1 re) in im
1536828489.417 * [misc]taylor:  Taking taylor expansion of re in im
1536828489.417 * [misc]backup-simplify:  Simplify re into re
1536828489.417 * [misc]backup-simplify:  Simplify (/ 1 re) into (/ 1 re)
1536828489.417 * [misc]backup-simplify:  Simplify (cos (/ 1 re)) into (cos (/ 1 re))
1536828489.417 * [misc]backup-simplify:  Simplify (sin (/ 1 re)) into (sin (/ 1 re))
1536828489.417 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 im)) in im
1536828489.417 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in im
1536828489.417 * [misc]taylor:  Taking taylor expansion of im in im
1536828489.417 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.417 * [misc]backup-simplify:  Simplify 1 into 1
1536828489.417 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536828489.417 * [misc]backup-simplify:  Simplify (exp (/ 1 im)) into (exp (/ 1 im))
1536828489.417 * [misc]backup-simplify:  Simplify (* (cos (/ 1 re)) 1) into (cos (/ 1 re))
1536828489.417 * [misc]backup-simplify:  Simplify (* (sin (/ 1 re)) 0) into 0
1536828489.417 * [misc]backup-simplify:  Simplify (- 0) into 0
1536828489.418 * [misc]backup-simplify:  Simplify (+ (cos (/ 1 re)) 0) into (cos (/ 1 re))
1536828489.418 * [misc]backup-simplify:  Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im)))
1536828489.418 * [misc]backup-simplify:  Simplify (* (cos (/ 1 re)) 1) into (cos (/ 1 re))
1536828489.418 * [misc]backup-simplify:  Simplify (* (sin (/ 1 re)) 0) into 0
1536828489.418 * [misc]backup-simplify:  Simplify (- 0) into 0
1536828489.418 * [misc]backup-simplify:  Simplify (+ (cos (/ 1 re)) 0) into (cos (/ 1 re))
1536828489.418 * [misc]backup-simplify:  Simplify (* 0.5 (cos (/ 1 re))) into (* 0.5 (cos (/ 1 re)))
1536828489.418 * [misc]backup-simplify:  Simplify (* (exp (/ 1 im)) (* 0.5 (cos (/ 1 re)))) into (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im))))
1536828489.418 * [misc]backup-simplify:  Simplify (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im))))
1536828489.418 * [misc]backup-simplify:  Simplify (+ (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im))))) into (+ (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))))
1536828489.418 * [misc]taylor:  Taking taylor expansion of (+ (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im))))) in re
1536828489.418 * [misc]taylor:  Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in re
1536828489.418 * [misc]taylor:  Taking taylor expansion of 0.5 in re
1536828489.418 * [misc]backup-simplify:  Simplify 0.5 into 0.5
1536828489.418 * [misc]taylor:  Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in re
1536828489.418 * [misc]taylor:  Taking taylor expansion of (cos (/ 1 re)) in re
1536828489.418 * [misc]taylor:  Taking taylor expansion of (/ 1 re) in re
1536828489.418 * [misc]taylor:  Taking taylor expansion of re in re
1536828489.419 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.419 * [misc]backup-simplify:  Simplify 1 into 1
1536828489.419 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536828489.419 * [misc]backup-simplify:  Simplify (cos (/ 1 re)) into (cos (/ 1 re))
1536828489.419 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 im)) in re
1536828489.419 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in re
1536828489.419 * [misc]taylor:  Taking taylor expansion of im in re
1536828489.419 * [misc]backup-simplify:  Simplify im into im
1536828489.419 * [misc]backup-simplify:  Simplify (/ 1 im) into (/ 1 im)
1536828489.419 * [misc]backup-simplify:  Simplify (exp (/ 1 im)) into (exp (/ 1 im))
1536828489.419 * [misc]backup-simplify:  Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im)))
1536828489.419 * [misc]taylor:  Taking taylor expansion of (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) in re
1536828489.419 * [misc]taylor:  Taking taylor expansion of 0.5 in re
1536828489.419 * [misc]backup-simplify:  Simplify 0.5 into 0.5
1536828489.419 * [misc]taylor:  Taking taylor expansion of (* (cos (/ 1 re)) (exp (/ 1 im))) in re
1536828489.419 * [misc]taylor:  Taking taylor expansion of (cos (/ 1 re)) in re
1536828489.419 * [misc]taylor:  Taking taylor expansion of (/ 1 re) in re
1536828489.419 * [misc]taylor:  Taking taylor expansion of re in re
1536828489.419 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.419 * [misc]backup-simplify:  Simplify 1 into 1
1536828489.419 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536828489.419 * [misc]backup-simplify:  Simplify (cos (/ 1 re)) into (cos (/ 1 re))
1536828489.419 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 im)) in re
1536828489.419 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in re
1536828489.419 * [misc]taylor:  Taking taylor expansion of im in re
1536828489.419 * [misc]backup-simplify:  Simplify im into im
1536828489.419 * [misc]backup-simplify:  Simplify (/ 1 im) into (/ 1 im)
1536828489.419 * [misc]backup-simplify:  Simplify (exp (/ 1 im)) into (exp (/ 1 im))
1536828489.419 * [misc]backup-simplify:  Simplify (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im))))
1536828489.420 * [misc]backup-simplify:  Simplify (* (cos (/ 1 re)) (exp (/ 1 im))) into (* (cos (/ 1 re)) (exp (/ 1 im)))
1536828489.420 * [misc]backup-simplify:  Simplify (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im))))
1536828489.420 * [misc]backup-simplify:  Simplify (+ (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im))))) into (+ (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))))
1536828489.420 * [misc]backup-simplify:  Simplify (+ (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im))))) into (+ (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) (* 0.5 (* (cos (/ 1 re)) (exp (/ 1 im)))))
1536828489.420 * [misc]backup-simplify:  Simplify (+ 0) into 0
1536828489.420 * [misc]backup-simplify:  Simplify (+ (* (cos (/ 1 re)) 0) (* 0 1)) into 0
1536828489.420 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0
1536828489.421 * [misc]backup-simplify:  Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
1536828489.421 * [misc]backup-simplify:  Simplify (+ (* (sin (/ 1 re)) 0) (* 0 0)) into 0
1536828489.421 * [misc]backup-simplify:  Simplify (- 0) into 0
1536828489.421 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536828489.422 * [misc]backup-simplify:  Simplify (+ (* 0.5 0) (* 0 (cos (/ 1 re)))) into 0
1536828489.422 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 im)) 0) (* 0 (* 0.5 (cos (/ 1 re))))) into 0
1536828489.422 * [misc]backup-simplify:  Simplify (+ 0) into 0
1536828489.422 * [misc]backup-simplify:  Simplify (+ (* (cos (/ 1 re)) 0) (* 0 1)) into 0
1536828489.422 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0
1536828489.423 * [misc]backup-simplify:  Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
1536828489.423 * [misc]backup-simplify:  Simplify (+ (* (sin (/ 1 re)) 0) (* 0 0)) into 0
1536828489.423 * [misc]backup-simplify:  Simplify (- 0) into 0
1536828489.423 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536828489.423 * [misc]backup-simplify:  Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))))) into 0
1536828489.424 * [misc]backup-simplify:  Simplify (+ (* 0.5 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im))))) into 0
1536828489.424 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536828489.424 * [misc]taylor:  Taking taylor expansion of 0 in re
1536828489.424 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.424 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.424 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
1536828489.425 * [misc]backup-simplify:  Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0
1536828489.426 * [misc]backup-simplify:  Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))))) into 0
1536828489.426 * [misc]backup-simplify:  Simplify (+ (* 0.5 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im))))) into 0
1536828489.426 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
1536828489.427 * [misc]backup-simplify:  Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0
1536828489.427 * [misc]backup-simplify:  Simplify (+ (* (cos (/ 1 re)) 0) (* 0 (exp (/ 1 im)))) into 0
1536828489.427 * [misc]backup-simplify:  Simplify (+ (* 0.5 0) (* 0 (* (cos (/ 1 re)) (exp (/ 1 im))))) into 0
1536828489.428 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536828489.428 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.429 * [misc]backup-simplify:  Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
1536828489.429 * [misc]backup-simplify:  Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 1))) into 0
1536828489.429 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
1536828489.430 * [misc]backup-simplify:  Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
1536828489.431 * [misc]backup-simplify:  Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 0))) into 0
1536828489.431 * [misc]backup-simplify:  Simplify (- 0) into 0
1536828489.431 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536828489.431 * [misc]backup-simplify:  Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (cos (/ 1 re))))) into 0
1536828489.432 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 im)) 0) (+ (* 0 0) (* 0 (* 0.5 (cos (/ 1 re)))))) into 0
1536828489.433 * [misc]backup-simplify:  Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
1536828489.433 * [misc]backup-simplify:  Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 1))) into 0
1536828489.433 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
1536828489.434 * [misc]backup-simplify:  Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
1536828489.435 * [misc]backup-simplify:  Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 0))) into 0
1536828489.435 * [misc]backup-simplify:  Simplify (- 0) into 0
1536828489.435 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536828489.435 * [misc]backup-simplify:  Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0
1536828489.436 * [misc]backup-simplify:  Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im)))))) into 0
1536828489.436 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536828489.436 * [misc]taylor:  Taking taylor expansion of 0 in re
1536828489.436 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.436 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.436 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.436 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
1536828489.438 * [misc]backup-simplify:  Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1536828489.439 * [misc]backup-simplify:  Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0
1536828489.439 * [misc]backup-simplify:  Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im)))))) into 0
1536828489.439 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
1536828489.441 * [misc]backup-simplify:  Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1536828489.441 * [misc]backup-simplify:  Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 (exp (/ 1 im))))) into 0
1536828489.442 * [misc]backup-simplify:  Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ 1 re)) (exp (/ 1 im)))))) into 0
1536828489.442 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536828489.442 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.444 * [misc]backup-simplify:  Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
1536828489.444 * [misc]backup-simplify:  Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1536828489.445 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0
1536828489.446 * [misc]backup-simplify:  Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
1536828489.447 * [misc]backup-simplify:  Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
1536828489.447 * [misc]backup-simplify:  Simplify (- 0) into 0
1536828489.447 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536828489.447 * [misc]backup-simplify:  Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ 1 re)))))) into 0
1536828489.448 * [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 0.5 (cos (/ 1 re))))))) into 0
1536828489.449 * [misc]backup-simplify:  Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
1536828489.449 * [misc]backup-simplify:  Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1536828489.449 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0
1536828489.450 * [misc]backup-simplify:  Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
1536828489.451 * [misc]backup-simplify:  Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
1536828489.451 * [misc]backup-simplify:  Simplify (- 0) into 0
1536828489.451 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536828489.451 * [misc]backup-simplify:  Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0
1536828489.451 * [misc]backup-simplify:  Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im))))))) into 0
1536828489.452 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536828489.452 * [misc]taylor:  Taking taylor expansion of 0 in re
1536828489.452 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.452 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.452 * [misc]backup-simplify:  Simplify (+ (* 0.5 (/ (cos (/ 1 (/ 1 re))) (exp (/ 1 (/ 1 im))))) (* 0.5 (* (cos (/ 1 (/ 1 re))) (exp (/ 1 (/ 1 im)))))) into (+ (* 0.5 (* (exp im) (cos re))) (* 0.5 (/ (cos re) (exp im))))
1536828489.452 * [misc]backup-simplify:  Simplify (fma (exp (/ 1 (- im))) (* (cos (/ 1 (- re))) 0.5) (/ (* (cos (/ 1 (- re))) 0.5) (exp (/ 1 (- im))))) into (fma (exp (/ -1 im)) (* 0.5 (cos (/ -1 re))) (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))))
1536828489.452 * [misc]approximate:  Taking taylor expansion of (fma (exp (/ -1 im)) (* 0.5 (cos (/ -1 re))) (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im))))) in (im re) around 0
1536828489.452 * [misc]taylor:  Taking taylor expansion of (fma (exp (/ -1 im)) (* 0.5 (cos (/ -1 re))) (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im))))) in re
1536828489.452 * [misc]taylor:  Rewrote expression to (+ (* (exp (/ -1 im)) (* 0.5 (cos (/ -1 re)))) (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))))
1536828489.452 * [misc]taylor:  Taking taylor expansion of (* (exp (/ -1 im)) (* 0.5 (cos (/ -1 re)))) in re
1536828489.452 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 im)) in re
1536828489.452 * [misc]taylor:  Taking taylor expansion of (/ -1 im) in re
1536828489.452 * [misc]taylor:  Taking taylor expansion of -1 in re
1536828489.452 * [misc]backup-simplify:  Simplify -1 into -1
1536828489.452 * [misc]taylor:  Taking taylor expansion of im in re
1536828489.452 * [misc]backup-simplify:  Simplify im into im
1536828489.452 * [misc]backup-simplify:  Simplify (/ -1 im) into (/ -1 im)
1536828489.452 * [misc]backup-simplify:  Simplify (exp (/ -1 im)) into (exp (/ -1 im))
1536828489.452 * [misc]taylor:  Taking taylor expansion of (* 0.5 (cos (/ -1 re))) in re
1536828489.452 * [misc]taylor:  Taking taylor expansion of 0.5 in re
1536828489.452 * [misc]backup-simplify:  Simplify 0.5 into 0.5
1536828489.452 * [misc]taylor:  Taking taylor expansion of (cos (/ -1 re)) in re
1536828489.452 * [misc]taylor:  Taking taylor expansion of (/ -1 re) in re
1536828489.452 * [misc]taylor:  Taking taylor expansion of -1 in re
1536828489.452 * [misc]backup-simplify:  Simplify -1 into -1
1536828489.452 * [misc]taylor:  Taking taylor expansion of re in re
1536828489.452 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.453 * [misc]backup-simplify:  Simplify 1 into 1
1536828489.453 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1536828489.453 * [misc]backup-simplify:  Simplify (cos (/ -1 re)) into (cos (/ -1 re))
1536828489.453 * [misc]taylor:  Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in re
1536828489.453 * [misc]taylor:  Taking taylor expansion of 0.5 in re
1536828489.453 * [misc]backup-simplify:  Simplify 0.5 into 0.5
1536828489.453 * [misc]taylor:  Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in re
1536828489.453 * [misc]taylor:  Taking taylor expansion of (cos (/ -1 re)) in re
1536828489.453 * [misc]taylor:  Taking taylor expansion of (/ -1 re) in re
1536828489.453 * [misc]taylor:  Taking taylor expansion of -1 in re
1536828489.453 * [misc]backup-simplify:  Simplify -1 into -1
1536828489.453 * [misc]taylor:  Taking taylor expansion of re in re
1536828489.453 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.453 * [misc]backup-simplify:  Simplify 1 into 1
1536828489.453 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1536828489.453 * [misc]backup-simplify:  Simplify (cos (/ -1 re)) into (cos (/ -1 re))
1536828489.453 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 im)) in re
1536828489.453 * [misc]taylor:  Taking taylor expansion of (/ -1 im) in re
1536828489.453 * [misc]taylor:  Taking taylor expansion of -1 in re
1536828489.453 * [misc]backup-simplify:  Simplify -1 into -1
1536828489.453 * [misc]taylor:  Taking taylor expansion of im in re
1536828489.453 * [misc]backup-simplify:  Simplify im into im
1536828489.453 * [misc]backup-simplify:  Simplify (/ -1 im) into (/ -1 im)
1536828489.453 * [misc]backup-simplify:  Simplify (exp (/ -1 im)) into (exp (/ -1 im))
1536828489.453 * [misc]backup-simplify:  Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im)))
1536828489.453 * [misc]taylor:  Taking taylor expansion of (fma (exp (/ -1 im)) (* 0.5 (cos (/ -1 re))) (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im))))) in im
1536828489.453 * [misc]taylor:  Rewrote expression to (+ (* (exp (/ -1 im)) (* 0.5 (cos (/ -1 re)))) (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))))
1536828489.453 * [misc]taylor:  Taking taylor expansion of (* (exp (/ -1 im)) (* 0.5 (cos (/ -1 re)))) in im
1536828489.453 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 im)) in im
1536828489.453 * [misc]taylor:  Taking taylor expansion of (/ -1 im) in im
1536828489.453 * [misc]taylor:  Taking taylor expansion of -1 in im
1536828489.453 * [misc]backup-simplify:  Simplify -1 into -1
1536828489.453 * [misc]taylor:  Taking taylor expansion of im in im
1536828489.453 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.453 * [misc]backup-simplify:  Simplify 1 into 1
1536828489.454 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1536828489.454 * [misc]backup-simplify:  Simplify (exp (/ -1 im)) into (exp (/ -1 im))
1536828489.454 * [misc]taylor:  Taking taylor expansion of (* 0.5 (cos (/ -1 re))) in im
1536828489.454 * [misc]taylor:  Taking taylor expansion of 0.5 in im
1536828489.454 * [misc]backup-simplify:  Simplify 0.5 into 0.5
1536828489.454 * [misc]taylor:  Taking taylor expansion of (cos (/ -1 re)) in im
1536828489.454 * [misc]taylor:  Taking taylor expansion of (/ -1 re) in im
1536828489.454 * [misc]taylor:  Taking taylor expansion of -1 in im
1536828489.454 * [misc]backup-simplify:  Simplify -1 into -1
1536828489.454 * [misc]taylor:  Taking taylor expansion of re in im
1536828489.454 * [misc]backup-simplify:  Simplify re into re
1536828489.454 * [misc]backup-simplify:  Simplify (/ -1 re) into (/ -1 re)
1536828489.454 * [misc]backup-simplify:  Simplify (cos (/ -1 re)) into (cos (/ -1 re))
1536828489.454 * [misc]backup-simplify:  Simplify (sin (/ -1 re)) into (sin (/ -1 re))
1536828489.454 * [misc]taylor:  Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in im
1536828489.454 * [misc]taylor:  Taking taylor expansion of 0.5 in im
1536828489.454 * [misc]backup-simplify:  Simplify 0.5 into 0.5
1536828489.454 * [misc]taylor:  Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in im
1536828489.454 * [misc]taylor:  Taking taylor expansion of (cos (/ -1 re)) in im
1536828489.454 * [misc]taylor:  Taking taylor expansion of (/ -1 re) in im
1536828489.454 * [misc]taylor:  Taking taylor expansion of -1 in im
1536828489.454 * [misc]backup-simplify:  Simplify -1 into -1
1536828489.454 * [misc]taylor:  Taking taylor expansion of re in im
1536828489.454 * [misc]backup-simplify:  Simplify re into re
1536828489.454 * [misc]backup-simplify:  Simplify (/ -1 re) into (/ -1 re)
1536828489.454 * [misc]backup-simplify:  Simplify (cos (/ -1 re)) into (cos (/ -1 re))
1536828489.454 * [misc]backup-simplify:  Simplify (sin (/ -1 re)) into (sin (/ -1 re))
1536828489.454 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 im)) in im
1536828489.454 * [misc]taylor:  Taking taylor expansion of (/ -1 im) in im
1536828489.454 * [misc]taylor:  Taking taylor expansion of -1 in im
1536828489.454 * [misc]backup-simplify:  Simplify -1 into -1
1536828489.454 * [misc]taylor:  Taking taylor expansion of im in im
1536828489.454 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.454 * [misc]backup-simplify:  Simplify 1 into 1
1536828489.454 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1536828489.454 * [misc]backup-simplify:  Simplify (exp (/ -1 im)) into (exp (/ -1 im))
1536828489.454 * [misc]backup-simplify:  Simplify (* (cos (/ -1 re)) 1) into (cos (/ -1 re))
1536828489.455 * [misc]backup-simplify:  Simplify (* (sin (/ -1 re)) 0) into 0
1536828489.455 * [misc]backup-simplify:  Simplify (- 0) into 0
1536828489.455 * [misc]backup-simplify:  Simplify (+ (cos (/ -1 re)) 0) into (cos (/ -1 re))
1536828489.455 * [misc]backup-simplify:  Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im)))
1536828489.455 * [misc]taylor:  Taking taylor expansion of (fma (exp (/ -1 im)) (* 0.5 (cos (/ -1 re))) (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im))))) in im
1536828489.455 * [misc]taylor:  Rewrote expression to (+ (* (exp (/ -1 im)) (* 0.5 (cos (/ -1 re)))) (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))))
1536828489.455 * [misc]taylor:  Taking taylor expansion of (* (exp (/ -1 im)) (* 0.5 (cos (/ -1 re)))) in im
1536828489.455 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 im)) in im
1536828489.455 * [misc]taylor:  Taking taylor expansion of (/ -1 im) in im
1536828489.455 * [misc]taylor:  Taking taylor expansion of -1 in im
1536828489.455 * [misc]backup-simplify:  Simplify -1 into -1
1536828489.455 * [misc]taylor:  Taking taylor expansion of im in im
1536828489.455 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.455 * [misc]backup-simplify:  Simplify 1 into 1
1536828489.455 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1536828489.455 * [misc]backup-simplify:  Simplify (exp (/ -1 im)) into (exp (/ -1 im))
1536828489.455 * [misc]taylor:  Taking taylor expansion of (* 0.5 (cos (/ -1 re))) in im
1536828489.455 * [misc]taylor:  Taking taylor expansion of 0.5 in im
1536828489.455 * [misc]backup-simplify:  Simplify 0.5 into 0.5
1536828489.455 * [misc]taylor:  Taking taylor expansion of (cos (/ -1 re)) in im
1536828489.455 * [misc]taylor:  Taking taylor expansion of (/ -1 re) in im
1536828489.455 * [misc]taylor:  Taking taylor expansion of -1 in im
1536828489.455 * [misc]backup-simplify:  Simplify -1 into -1
1536828489.455 * [misc]taylor:  Taking taylor expansion of re in im
1536828489.455 * [misc]backup-simplify:  Simplify re into re
1536828489.455 * [misc]backup-simplify:  Simplify (/ -1 re) into (/ -1 re)
1536828489.455 * [misc]backup-simplify:  Simplify (cos (/ -1 re)) into (cos (/ -1 re))
1536828489.455 * [misc]backup-simplify:  Simplify (sin (/ -1 re)) into (sin (/ -1 re))
1536828489.455 * [misc]taylor:  Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in im
1536828489.455 * [misc]taylor:  Taking taylor expansion of 0.5 in im
1536828489.456 * [misc]backup-simplify:  Simplify 0.5 into 0.5
1536828489.456 * [misc]taylor:  Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in im
1536828489.456 * [misc]taylor:  Taking taylor expansion of (cos (/ -1 re)) in im
1536828489.456 * [misc]taylor:  Taking taylor expansion of (/ -1 re) in im
1536828489.456 * [misc]taylor:  Taking taylor expansion of -1 in im
1536828489.456 * [misc]backup-simplify:  Simplify -1 into -1
1536828489.456 * [misc]taylor:  Taking taylor expansion of re in im
1536828489.456 * [misc]backup-simplify:  Simplify re into re
1536828489.456 * [misc]backup-simplify:  Simplify (/ -1 re) into (/ -1 re)
1536828489.456 * [misc]backup-simplify:  Simplify (cos (/ -1 re)) into (cos (/ -1 re))
1536828489.456 * [misc]backup-simplify:  Simplify (sin (/ -1 re)) into (sin (/ -1 re))
1536828489.456 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 im)) in im
1536828489.456 * [misc]taylor:  Taking taylor expansion of (/ -1 im) in im
1536828489.456 * [misc]taylor:  Taking taylor expansion of -1 in im
1536828489.456 * [misc]backup-simplify:  Simplify -1 into -1
1536828489.456 * [misc]taylor:  Taking taylor expansion of im in im
1536828489.456 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.456 * [misc]backup-simplify:  Simplify 1 into 1
1536828489.456 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1536828489.456 * [misc]backup-simplify:  Simplify (exp (/ -1 im)) into (exp (/ -1 im))
1536828489.456 * [misc]backup-simplify:  Simplify (* (cos (/ -1 re)) 1) into (cos (/ -1 re))
1536828489.456 * [misc]backup-simplify:  Simplify (* (sin (/ -1 re)) 0) into 0
1536828489.456 * [misc]backup-simplify:  Simplify (- 0) into 0
1536828489.456 * [misc]backup-simplify:  Simplify (+ (cos (/ -1 re)) 0) into (cos (/ -1 re))
1536828489.456 * [misc]backup-simplify:  Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im)))
1536828489.456 * [misc]backup-simplify:  Simplify (* (cos (/ -1 re)) 1) into (cos (/ -1 re))
1536828489.456 * [misc]backup-simplify:  Simplify (* (sin (/ -1 re)) 0) into 0
1536828489.457 * [misc]backup-simplify:  Simplify (- 0) into 0
1536828489.457 * [misc]backup-simplify:  Simplify (+ (cos (/ -1 re)) 0) into (cos (/ -1 re))
1536828489.457 * [misc]backup-simplify:  Simplify (* 0.5 (cos (/ -1 re))) into (* 0.5 (cos (/ -1 re)))
1536828489.457 * [misc]backup-simplify:  Simplify (* (exp (/ -1 im)) (* 0.5 (cos (/ -1 re)))) into (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im))))
1536828489.457 * [misc]backup-simplify:  Simplify (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im))))
1536828489.457 * [misc]backup-simplify:  Simplify (+ (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im))))) into (+ (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))))
1536828489.457 * [misc]taylor:  Taking taylor expansion of (+ (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im))))) in re
1536828489.457 * [misc]taylor:  Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in re
1536828489.457 * [misc]taylor:  Taking taylor expansion of 0.5 in re
1536828489.457 * [misc]backup-simplify:  Simplify 0.5 into 0.5
1536828489.457 * [misc]taylor:  Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in re
1536828489.457 * [misc]taylor:  Taking taylor expansion of (cos (/ -1 re)) in re
1536828489.457 * [misc]taylor:  Taking taylor expansion of (/ -1 re) in re
1536828489.457 * [misc]taylor:  Taking taylor expansion of -1 in re
1536828489.457 * [misc]backup-simplify:  Simplify -1 into -1
1536828489.457 * [misc]taylor:  Taking taylor expansion of re in re
1536828489.457 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.457 * [misc]backup-simplify:  Simplify 1 into 1
1536828489.457 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1536828489.457 * [misc]backup-simplify:  Simplify (cos (/ -1 re)) into (cos (/ -1 re))
1536828489.457 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 im)) in re
1536828489.457 * [misc]taylor:  Taking taylor expansion of (/ -1 im) in re
1536828489.458 * [misc]taylor:  Taking taylor expansion of -1 in re
1536828489.458 * [misc]backup-simplify:  Simplify -1 into -1
1536828489.458 * [misc]taylor:  Taking taylor expansion of im in re
1536828489.458 * [misc]backup-simplify:  Simplify im into im
1536828489.458 * [misc]backup-simplify:  Simplify (/ -1 im) into (/ -1 im)
1536828489.458 * [misc]backup-simplify:  Simplify (exp (/ -1 im)) into (exp (/ -1 im))
1536828489.458 * [misc]backup-simplify:  Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im)))
1536828489.458 * [misc]taylor:  Taking taylor expansion of (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) in re
1536828489.458 * [misc]taylor:  Taking taylor expansion of 0.5 in re
1536828489.458 * [misc]backup-simplify:  Simplify 0.5 into 0.5
1536828489.458 * [misc]taylor:  Taking taylor expansion of (* (cos (/ -1 re)) (exp (/ -1 im))) in re
1536828489.458 * [misc]taylor:  Taking taylor expansion of (cos (/ -1 re)) in re
1536828489.458 * [misc]taylor:  Taking taylor expansion of (/ -1 re) in re
1536828489.458 * [misc]taylor:  Taking taylor expansion of -1 in re
1536828489.458 * [misc]backup-simplify:  Simplify -1 into -1
1536828489.458 * [misc]taylor:  Taking taylor expansion of re in re
1536828489.458 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.458 * [misc]backup-simplify:  Simplify 1 into 1
1536828489.458 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1536828489.458 * [misc]backup-simplify:  Simplify (cos (/ -1 re)) into (cos (/ -1 re))
1536828489.458 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 im)) in re
1536828489.458 * [misc]taylor:  Taking taylor expansion of (/ -1 im) in re
1536828489.458 * [misc]taylor:  Taking taylor expansion of -1 in re
1536828489.458 * [misc]backup-simplify:  Simplify -1 into -1
1536828489.458 * [misc]taylor:  Taking taylor expansion of im in re
1536828489.458 * [misc]backup-simplify:  Simplify im into im
1536828489.458 * [misc]backup-simplify:  Simplify (/ -1 im) into (/ -1 im)
1536828489.458 * [misc]backup-simplify:  Simplify (exp (/ -1 im)) into (exp (/ -1 im))
1536828489.458 * [misc]backup-simplify:  Simplify (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im))))
1536828489.458 * [misc]backup-simplify:  Simplify (* (cos (/ -1 re)) (exp (/ -1 im))) into (* (cos (/ -1 re)) (exp (/ -1 im)))
1536828489.458 * [misc]backup-simplify:  Simplify (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im))))
1536828489.459 * [misc]backup-simplify:  Simplify (+ (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im))))) into (+ (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))))
1536828489.459 * [misc]backup-simplify:  Simplify (+ (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im))))) into (+ (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) (* 0.5 (* (cos (/ -1 re)) (exp (/ -1 im)))))
1536828489.459 * [misc]backup-simplify:  Simplify (+ 0) into 0
1536828489.459 * [misc]backup-simplify:  Simplify (+ (* (cos (/ -1 re)) 0) (* 0 1)) into 0
1536828489.459 * [misc]backup-simplify:  Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0
1536828489.460 * [misc]backup-simplify:  Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
1536828489.460 * [misc]backup-simplify:  Simplify (+ (* (sin (/ -1 re)) 0) (* 0 0)) into 0
1536828489.460 * [misc]backup-simplify:  Simplify (- 0) into 0
1536828489.460 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536828489.460 * [misc]backup-simplify:  Simplify (+ (* 0.5 0) (* 0 (cos (/ -1 re)))) into 0
1536828489.461 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 im)) 0) (* 0 (* 0.5 (cos (/ -1 re))))) into 0
1536828489.461 * [misc]backup-simplify:  Simplify (+ 0) into 0
1536828489.461 * [misc]backup-simplify:  Simplify (+ (* (cos (/ -1 re)) 0) (* 0 1)) into 0
1536828489.461 * [misc]backup-simplify:  Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0
1536828489.462 * [misc]backup-simplify:  Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
1536828489.462 * [misc]backup-simplify:  Simplify (+ (* (sin (/ -1 re)) 0) (* 0 0)) into 0
1536828489.462 * [misc]backup-simplify:  Simplify (- 0) into 0
1536828489.462 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536828489.462 * [misc]backup-simplify:  Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))))) into 0
1536828489.463 * [misc]backup-simplify:  Simplify (+ (* 0.5 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im))))) into 0
1536828489.463 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536828489.463 * [misc]taylor:  Taking taylor expansion of 0 in re
1536828489.463 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.463 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.463 * [misc]backup-simplify:  Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0
1536828489.464 * [misc]backup-simplify:  Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 1) 1)))) into 0
1536828489.464 * [misc]backup-simplify:  Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))))) into 0
1536828489.464 * [misc]backup-simplify:  Simplify (+ (* 0.5 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im))))) into 0
1536828489.464 * [misc]backup-simplify:  Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0
1536828489.465 * [misc]backup-simplify:  Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 1) 1)))) into 0
1536828489.465 * [misc]backup-simplify:  Simplify (+ (* (cos (/ -1 re)) 0) (* 0 (exp (/ -1 im)))) into 0
1536828489.465 * [misc]backup-simplify:  Simplify (+ (* 0.5 0) (* 0 (* (cos (/ -1 re)) (exp (/ -1 im))))) into 0
1536828489.465 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536828489.465 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.466 * [misc]backup-simplify:  Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
1536828489.466 * [misc]backup-simplify:  Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 1))) into 0
1536828489.466 * [misc]backup-simplify:  Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
1536828489.467 * [misc]backup-simplify:  Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
1536828489.467 * [misc]backup-simplify:  Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 0))) into 0
1536828489.467 * [misc]backup-simplify:  Simplify (- 0) into 0
1536828489.468 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536828489.468 * [misc]backup-simplify:  Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (cos (/ -1 re))))) into 0
1536828489.468 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 im)) 0) (+ (* 0 0) (* 0 (* 0.5 (cos (/ -1 re)))))) into 0
1536828489.469 * [misc]backup-simplify:  Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
1536828489.469 * [misc]backup-simplify:  Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 1))) into 0
1536828489.469 * [misc]backup-simplify:  Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
1536828489.470 * [misc]backup-simplify:  Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
1536828489.470 * [misc]backup-simplify:  Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 0))) into 0
1536828489.470 * [misc]backup-simplify:  Simplify (- 0) into 0
1536828489.470 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536828489.470 * [misc]backup-simplify:  Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0
1536828489.470 * [misc]backup-simplify:  Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im)))))) into 0
1536828489.471 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536828489.471 * [misc]taylor:  Taking taylor expansion of 0 in re
1536828489.471 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.471 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.471 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.471 * [misc]backup-simplify:  Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
1536828489.472 * [misc]backup-simplify:  Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1536828489.472 * [misc]backup-simplify:  Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0
1536828489.473 * [misc]backup-simplify:  Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im)))))) into 0
1536828489.473 * [misc]backup-simplify:  Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
1536828489.474 * [misc]backup-simplify:  Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1536828489.474 * [misc]backup-simplify:  Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 (exp (/ -1 im))))) into 0
1536828489.474 * [misc]backup-simplify:  Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (* (cos (/ -1 re)) (exp (/ -1 im)))))) into 0
1536828489.475 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536828489.475 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.476 * [misc]backup-simplify:  Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
1536828489.476 * [misc]backup-simplify:  Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1536828489.477 * [misc]backup-simplify:  Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0
1536828489.478 * [misc]backup-simplify:  Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
1536828489.479 * [misc]backup-simplify:  Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
1536828489.479 * [misc]backup-simplify:  Simplify (- 0) into 0
1536828489.479 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536828489.480 * [misc]backup-simplify:  Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cos (/ -1 re)))))) into 0
1536828489.480 * [misc]backup-simplify:  Simplify (+ (* (exp (/ -1 im)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 0.5 (cos (/ -1 re))))))) into 0
1536828489.482 * [misc]backup-simplify:  Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
1536828489.482 * [misc]backup-simplify:  Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1536828489.483 * [misc]backup-simplify:  Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)) (* 0 (/ 0 re)))) into 0
1536828489.484 * [misc]backup-simplify:  Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
1536828489.485 * [misc]backup-simplify:  Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
1536828489.485 * [misc]backup-simplify:  Simplify (- 0) into 0
1536828489.485 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536828489.486 * [misc]backup-simplify:  Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0
1536828489.486 * [misc]backup-simplify:  Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im))))))) into 0
1536828489.486 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536828489.486 * [misc]taylor:  Taking taylor expansion of 0 in re
1536828489.487 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.487 * [misc]backup-simplify:  Simplify 0 into 0
1536828489.487 * [misc]backup-simplify:  Simplify (+ (* 0.5 (/ (cos (/ -1 (/ 1 (- re)))) (exp (/ -1 (/ 1 (- im)))))) (* 0.5 (* (cos (/ -1 (/ 1 (- re)))) (exp (/ -1 (/ 1 (- im))))))) into (+ (* 0.5 (* (exp im) (cos re))) (* 0.5 (/ (cos re) (exp im))))
1536828489.487 * * * [misc]progress:  simplifying candidates
1536828489.487 * * * * [misc]progress:  [ 1 / 37 ] simplifiying candidate #<alt (λ (re im) (fma (exp im) (* (cos re) 0.5) (log1p (expm1 (/ (* (cos re) 0.5) (exp im))))))>
1536828489.487 * * * * [misc]progress:  [ 2 / 37 ] simplifiying candidate #<alt (λ (re im) (fma (exp im) (* (cos re) 0.5) (expm1 (log1p (/ (* (cos re) 0.5) (exp im))))))>
1536828489.487 * * * * [misc]progress:  [ 3 / 37 ] simplifiying candidate #<alt (λ (re im) (fma (exp im) (* (cos re) 0.5) (pow (/ (* (cos re) 0.5) (exp im)) 1)))>
1536828489.487 * * * * [misc]progress:  [ 4 / 37 ] simplifiying candidate #<alt (λ (re im) (fma (exp im) (* (cos re) 0.5) (exp (- (log (* (cos re) 0.5)) im))))>
1536828489.488 * [enter]simplify:  Simplifying (- (log (* (cos re) 0.5)) im)
1536828489.489 * * [misc]simplify:  iters left: 6 (7 enodes)
1536828489.493 * * [misc]simplify:  iters left: 5 (13 enodes)
1536828489.499 * * [misc]simplify:  iters left: 4 (19 enodes)
1536828489.505 * * [misc]simplify:  iters left: 3 (27 enodes)
1536828489.510 * * [misc]simplify:  iters left: 2 (31 enodes)
1536828489.515 * * [misc]simplify:  iters left: 1 (35 enodes)
1536828489.524 * [exit]simplify:  Simplified to (+ (- (log 0.5) im) (log (cos re)))
1536828489.524 * [misc]simplify:  Simplified (2 3 1) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (exp (+ (- (log 0.5) im) (log (cos re))))))
1536828489.524 * * * * [misc]progress:  [ 5 / 37 ] simplifiying candidate #<alt (λ (re im) (fma (exp im) (* (cos re) 0.5) (exp (log (/ (* (cos re) 0.5) (exp im))))))>
1536828489.524 * * * * [misc]progress:  [ 6 / 37 ] simplifiying candidate #<alt (λ (re im) (fma (exp im) (* (cos re) 0.5) (log (exp (/ (* (cos re) 0.5) (exp im))))))>
1536828489.524 * * * * [misc]progress:  [ 7 / 37 ] simplifiying candidate #<alt (λ (re im) (fma (exp im) (* (cos re) 0.5) (cbrt (/ (* (* (* (cos re) 0.5) (* (cos re) 0.5)) (* (cos re) 0.5)) (* (* (exp im) (exp im)) (exp im))))))>
1536828489.525 * [enter]simplify:  Simplifying (/ (* (* (* (cos re) 0.5) (* (cos re) 0.5)) (* (cos re) 0.5)) (* (* (exp im) (exp im)) (exp im)))
1536828489.525 * * [misc]simplify:  iters left: 6 (11 enodes)
1536828489.529 * * [misc]simplify:  iters left: 5 (29 enodes)
1536828489.549 * * [misc]simplify:  iters left: 4 (105 enodes)
1536828489.646 * * [misc]simplify:  iters left: 3 (398 enodes)
1536828490.376 * [exit]simplify:  Simplified to (* (* (/ (cos re) (exp im)) (* 0.5 (cos re))) (* (/ (* 0.5 0.5) (exp im)) (/ (cos re) (exp im))))
1536828490.376 * [misc]simplify:  Simplified (2 3 1) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (cbrt (* (* (/ (cos re) (exp im)) (* 0.5 (cos re))) (* (/ (* 0.5 0.5) (exp im)) (/ (cos re) (exp im)))))))
1536828490.376 * * * * [misc]progress:  [ 8 / 37 ] simplifiying candidate #<alt (λ (re im) (fma (exp im) (* (cos re) 0.5) (* (* (cbrt (/ (* (cos re) 0.5) (exp im))) (cbrt (/ (* (cos re) 0.5) (exp im)))) (cbrt (/ (* (cos re) 0.5) (exp im))))))>
1536828490.376 * * * * [misc]progress:  [ 9 / 37 ] simplifiying candidate #<alt (λ (re im) (fma (exp im) (* (cos re) 0.5) (cbrt (* (* (/ (* (cos re) 0.5) (exp im)) (/ (* (cos re) 0.5) (exp im))) (/ (* (cos re) 0.5) (exp im))))))>
1536828490.376 * * * * [misc]progress:  [ 10 / 37 ] simplifiying candidate #<alt (λ (re im) (fma (exp im) (* (cos re) 0.5) (* (sqrt (/ (* (cos re) 0.5) (exp im))) (sqrt (/ (* (cos re) 0.5) (exp im))))))>
1536828490.377 * * * * [misc]progress:  [ 11 / 37 ] simplifiying candidate #<alt (λ (re im) (fma (exp im) (* (cos re) 0.5) (/ (- (* (cos re) 0.5)) (- (exp im)))))>
1536828490.377 * * * * [misc]progress:  [ 12 / 37 ] simplifiying candidate #<alt (λ (re im) (fma (exp im) (* (cos re) 0.5) (* (/ (cos re) (* (cbrt (exp im)) (cbrt (exp im)))) (/ 0.5 (cbrt (exp im))))))>
1536828490.377 * [enter]simplify:  Simplifying (/ (cos re) (* (cbrt (exp im)) (cbrt (exp im))))
1536828490.378 * * [misc]simplify:  iters left: 6 (7 enodes)
1536828490.380 * * [misc]simplify:  iters left: 5 (9 enodes)
1536828490.384 * [exit]simplify:  Simplified to (/ (cos re) (* (cbrt (exp im)) (cbrt (exp im))))
1536828490.384 * [misc]simplify:  Simplified (2 3 1) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (* (/ (cos re) (* (cbrt (exp im)) (cbrt (exp im)))) (/ 0.5 (cbrt (exp im))))))
1536828490.384 * [enter]simplify:  Simplifying (/ 0.5 (cbrt (exp im)))
1536828490.384 * * [misc]simplify:  iters left: 4 (5 enodes)
1536828490.386 * [exit]simplify:  Simplified to (/ 0.5 (cbrt (exp im)))
1536828490.386 * [misc]simplify:  Simplified (2 3 2) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (* (/ (cos re) (* (cbrt (exp im)) (cbrt (exp im)))) (/ 0.5 (cbrt (exp im))))))
1536828490.386 * * * * [misc]progress:  [ 13 / 37 ] simplifiying candidate #<alt (λ (re im) (fma (exp im) (* (cos re) 0.5) (* (/ (cos re) (sqrt (exp im))) (/ 0.5 (sqrt (exp im))))))>
1536828490.386 * [enter]simplify:  Simplifying (/ (cos re) (sqrt (exp im)))
1536828490.387 * * [misc]simplify:  iters left: 4 (6 enodes)
1536828490.389 * [exit]simplify:  Simplified to (/ (cos re) (sqrt (exp im)))
1536828490.389 * [misc]simplify:  Simplified (2 3 1) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (* (/ (cos re) (sqrt (exp im))) (/ 0.5 (sqrt (exp im))))))
1536828490.389 * [enter]simplify:  Simplifying (/ 0.5 (sqrt (exp im)))
1536828490.390 * * [misc]simplify:  iters left: 4 (5 enodes)
1536828490.391 * [exit]simplify:  Simplified to (/ 0.5 (sqrt (exp im)))
1536828490.391 * [misc]simplify:  Simplified (2 3 2) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (* (/ (cos re) (sqrt (exp im))) (/ 0.5 (sqrt (exp im))))))
1536828490.392 * * * * [misc]progress:  [ 14 / 37 ] simplifiying candidate #<alt (λ (re im) (fma (exp im) (* (cos re) 0.5) (* (/ (cos re) 1) (/ 0.5 (exp im)))))>
1536828490.392 * [enter]simplify:  Simplifying (/ (cos re) 1)
1536828490.392 * * [misc]simplify:  iters left: 3 (4 enodes)
1536828490.394 * * [misc]simplify:  iters left: 2 (6 enodes)
1536828490.396 * * [misc]simplify:  iters left: 1 (8 enodes)
1536828490.398 * [exit]simplify:  Simplified to (cos re)
1536828490.398 * [misc]simplify:  Simplified (2 3 1) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (* (cos re) (/ 0.5 (exp im)))))
1536828490.398 * [enter]simplify:  Simplifying (/ 0.5 (exp im))
1536828490.398 * * [misc]simplify:  iters left: 3 (4 enodes)
1536828490.400 * [exit]simplify:  Simplified to (/ 0.5 (exp im))
1536828490.400 * [misc]simplify:  Simplified (2 3 2) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (* (cos re) (/ 0.5 (exp im)))))
1536828490.400 * * * * [misc]progress:  [ 15 / 37 ] simplifiying candidate #<alt (λ (re im) (fma (exp im) (* (cos re) 0.5) (* 1 (/ (* (cos re) 0.5) (exp im)))))>
1536828490.400 * * * * [misc]progress:  [ 16 / 37 ] simplifiying candidate #<alt (λ (re im) (fma (exp im) (* (cos re) 0.5) (* (* (cos re) 0.5) (/ 1 (exp im)))))>
1536828490.400 * * * * [misc]progress:  [ 17 / 37 ] simplifiying candidate #<alt (λ (re im) (fma (exp im) (* (cos re) 0.5) (/ 1 (/ (exp im) (* (cos re) 0.5)))))>
1536828490.400 * * * * [misc]progress:  [ 18 / 37 ] simplifiying candidate #<alt (λ (re im) (fma (exp im) (* (cos re) 0.5) (/ (/ (* (cos re) 0.5) (* (cbrt (exp im)) (cbrt (exp im)))) (cbrt (exp im)))))>
1536828490.400 * [enter]simplify:  Simplifying (cbrt (exp im))
1536828490.400 * * [misc]simplify:  iters left: 2 (3 enodes)
1536828490.401 * [exit]simplify:  Simplified to (cbrt (exp im))
1536828490.401 * [misc]simplify:  Simplified (2 3 2) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (/ (/ (* (cos re) 0.5) (* (cbrt (exp im)) (cbrt (exp im)))) (cbrt (exp im)))))
1536828490.402 * * * * [misc]progress:  [ 19 / 37 ] simplifiying candidate #<alt (λ (re im) (fma (exp im) (* (cos re) 0.5) (/ (/ (* (cos re) 0.5) (sqrt (exp im))) (sqrt (exp im)))))>
1536828490.402 * [enter]simplify:  Simplifying (sqrt (exp im))
1536828490.402 * * [misc]simplify:  iters left: 2 (3 enodes)
1536828490.403 * [exit]simplify:  Simplified to (sqrt (exp im))
1536828490.403 * [misc]simplify:  Simplified (2 3 2) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (/ (/ (* (cos re) 0.5) (sqrt (exp im))) (sqrt (exp im)))))
1536828490.403 * * * * [misc]progress:  [ 20 / 37 ] simplifiying candidate #<alt (λ (re im) (fma (exp im) (* (cos re) 0.5) (/ (/ (* (cos re) 0.5) 1) (exp im))))>
1536828490.403 * [enter]simplify:  Simplifying (exp im)
1536828490.404 * * [misc]simplify:  iters left: 1 (2 enodes)
1536828490.404 * [exit]simplify:  Simplified to (exp im)
1536828490.404 * [misc]simplify:  Simplified (2 3 2) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (/ (/ (* (cos re) 0.5) 1) (exp im))))
1536828490.404 * * * * [misc]progress:  [ 21 / 37 ] simplifiying candidate #<alt (λ (re im) (fma (exp im) (* (cos re) 0.5) (/ (cos re) (/ (exp im) 0.5))))>
1536828490.405 * [enter]simplify:  Simplifying (cos re)
1536828490.405 * * [misc]simplify:  iters left: 1 (2 enodes)
1536828490.405 * [exit]simplify:  Simplified to (cos re)
1536828490.405 * [misc]simplify:  Simplified (2 3 1) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (/ (cos re) (/ (exp im) 0.5))))
1536828490.405 * * * * [misc]progress:  [ 22 / 37 ] simplifiying candidate #<alt (λ (re im) (log1p (expm1 (fma (exp im) (* (cos re) 0.5) (/ (* (cos re) 0.5) (exp im))))))>
1536828490.406 * * * * [misc]progress:  [ 23 / 37 ] simplifiying candidate #<alt (λ (re im) (expm1 (log1p (fma (exp im) (* (cos re) 0.5) (/ (* (cos re) 0.5) (exp im))))))>
1536828490.406 * * * * [misc]progress:  [ 24 / 37 ] simplifiying candidate #<alt (λ (re im) (+ (* (exp im) (* (cos re) 0.5)) (/ (* (cos re) 0.5) (exp im))))>
1536828490.406 * * * * [misc]progress:  [ 25 / 37 ] simplifiying candidate #<alt (λ (re im) (pow (fma (exp im) (* (cos re) 0.5) (/ (* (cos re) 0.5) (exp im))) 1))>
1536828490.406 * * * * [misc]progress:  [ 26 / 37 ] simplifiying candidate #<alt (λ (re im) (exp (log (fma (exp im) (* (cos re) 0.5) (/ (* (cos re) 0.5) (exp im))))))>
1536828490.406 * * * * [misc]progress:  [ 27 / 37 ] simplifiying candidate #<alt (λ (re im) (log (exp (fma (exp im) (* (cos re) 0.5) (/ (* (cos re) 0.5) (exp im))))))>
1536828490.406 * * * * [misc]progress:  [ 28 / 37 ] simplifiying candidate #<alt (λ (re im) (* (* (cbrt (fma (exp im) (* (cos re) 0.5) (/ (* (cos re) 0.5) (exp im)))) (cbrt (fma (exp im) (* (cos re) 0.5) (/ (* (cos re) 0.5) (exp im))))) (cbrt (fma (exp im) (* (cos re) 0.5) (/ (* (cos re) 0.5) (exp im))))))>
1536828490.406 * * * * [misc]progress:  [ 29 / 37 ] simplifiying candidate #<alt (λ (re im) (cbrt (* (* (fma (exp im) (* (cos re) 0.5) (/ (* (cos re) 0.5) (exp im))) (fma (exp im) (* (cos re) 0.5) (/ (* (cos re) 0.5) (exp im)))) (fma (exp im) (* (cos re) 0.5) (/ (* (cos re) 0.5) (exp im))))))>
1536828490.406 * * * * [misc]progress:  [ 30 / 37 ] simplifiying candidate #<alt (λ (re im) (* (sqrt (fma (exp im) (* (cos re) 0.5) (/ (* (cos re) 0.5) (exp im)))) (sqrt (fma (exp im) (* (cos re) 0.5) (/ (* (cos re) 0.5) (exp im))))))>
1536828490.406 * * * * [misc]progress:  [ 31 / 37 ] simplifiying candidate #<alt (λ (re im) (* 1 (fma (exp im) (* (cos re) 0.5) (/ (* (cos re) 0.5) (exp im)))))>
1536828490.406 * * * * [misc]progress:  [ 32 / 37 ] simplifiying candidate #<alt (λ (re im) (fma (exp im) (* (cos re) 0.5) (- 0.5 (+ (* 0.25 (pow re 2)) (* 0.5 im)))))>
1536828490.406 * [enter]simplify:  Simplifying (- 0.5 (+ (* 0.25 (pow re 2)) (* 0.5 im)))
1536828490.407 * * [misc]simplify:  iters left: 6 (10 enodes)
1536828490.412 * * [misc]simplify:  iters left: 5 (19 enodes)
1536828490.420 * * [misc]simplify:  iters left: 4 (34 enodes)
1536828490.438 * * [misc]simplify:  iters left: 3 (64 enodes)
1536828490.471 * * [misc]simplify:  iters left: 2 (123 enodes)
1536828490.514 * * [misc]simplify:  iters left: 1 (166 enodes)
1536828490.568 * [exit]simplify:  Simplified to (- 0.5 (fma (* re re) 0.25 (* 0.5 im)))
1536828490.568 * [misc]simplify:  Simplified (2 3) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (- 0.5 (fma (* re re) 0.25 (* 0.5 im)))))
1536828490.568 * * * * [misc]progress:  [ 33 / 37 ] simplifiying candidate #<alt (λ (re im) (fma (exp im) (* (cos re) 0.5) (* 0.5 (/ (cos re) (exp im)))))>
1536828490.568 * [enter]simplify:  Simplifying (* 0.5 (/ (cos re) (exp im)))
1536828490.568 * * [misc]simplify:  iters left: 5 (7 enodes)
1536828490.570 * * [misc]simplify:  iters left: 4 (10 enodes)
1536828490.572 * * [misc]simplify:  iters left: 3 (14 enodes)
1536828490.574 * * [misc]simplify:  iters left: 2 (16 enodes)
1536828490.576 * * [misc]simplify:  iters left: 1 (18 enodes)
1536828490.580 * [exit]simplify:  Simplified to (* (/ (cos re) (exp im)) 0.5)
1536828490.580 * [misc]simplify:  Simplified (2 3) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (* (/ (cos re) (exp im)) 0.5)))
1536828490.580 * * * * [misc]progress:  [ 34 / 37 ] simplifiying candidate #<alt (λ (re im) (fma (exp im) (* (cos re) 0.5) (* 0.5 (/ (cos re) (exp im)))))>
1536828490.580 * [enter]simplify:  Simplifying (* 0.5 (/ (cos re) (exp im)))
1536828490.580 * * [misc]simplify:  iters left: 5 (7 enodes)
1536828490.582 * * [misc]simplify:  iters left: 4 (10 enodes)
1536828490.584 * * [misc]simplify:  iters left: 3 (14 enodes)
1536828490.586 * * [misc]simplify:  iters left: 2 (16 enodes)
1536828490.589 * * [misc]simplify:  iters left: 1 (18 enodes)
1536828490.592 * [exit]simplify:  Simplified to (* (/ (cos re) (exp im)) 0.5)
1536828490.592 * [misc]simplify:  Simplified (2 3) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (* (/ (cos re) (exp im)) 0.5)))
1536828490.592 * * * * [misc]progress:  [ 35 / 37 ] simplifiying candidate #<alt (λ (re im) (- (+ (* 0.5 (pow im 2)) 1.0) (* 0.5 (pow re 2))))>
1536828490.593 * [enter]simplify:  Simplifying (- (+ (* 0.5 (pow im 2)) 1.0) (* 0.5 (pow re 2)))
1536828490.593 * * [misc]simplify:  iters left: 6 (11 enodes)
1536828490.596 * * [misc]simplify:  iters left: 5 (21 enodes)
1536828490.602 * * [misc]simplify:  iters left: 4 (46 enodes)
1536828490.616 * * [misc]simplify:  iters left: 3 (79 enodes)
1536828490.634 * * [misc]simplify:  iters left: 2 (119 enodes)
1536828490.653 * * [misc]simplify:  iters left: 1 (151 enodes)
1536828490.706 * [exit]simplify:  Simplified to (fma 0.5 (* (+ re im) (- im re)) 1.0)
1536828490.706 * [misc]simplify:  Simplified (2) to (λ (re im) (fma 0.5 (* (+ re im) (- im re)) 1.0))
1536828490.706 * * * * [misc]progress:  [ 36 / 37 ] simplifiying candidate #<alt (λ (re im) (+ (* 0.5 (* (exp im) (cos re))) (* 0.5 (/ (cos re) (exp im)))))>
1536828490.706 * [enter]simplify:  Simplifying (+ (* 0.5 (* (exp im) (cos re))) (* 0.5 (/ (cos re) (exp im))))
1536828490.707 * * [misc]simplify:  iters left: 6 (10 enodes)
1536828490.712 * * [misc]simplify:  iters left: 5 (21 enodes)
1536828490.722 * * [misc]simplify:  iters left: 4 (38 enodes)
1536828490.733 * * [misc]simplify:  iters left: 3 (43 enodes)
1536828490.741 * * [misc]simplify:  iters left: 2 (45 enodes)
1536828490.750 * * [misc]simplify:  iters left: 1 (46 enodes)
1536828490.765 * [exit]simplify:  Simplified to (* (fma (exp im) (cos re) (/ (cos re) (exp im))) 0.5)
1536828490.765 * [misc]simplify:  Simplified (2) to (λ (re im) (* (fma (exp im) (cos re) (/ (cos re) (exp im))) 0.5))
1536828490.765 * * * * [misc]progress:  [ 37 / 37 ] simplifiying candidate #<alt (λ (re im) (+ (* 0.5 (* (exp im) (cos re))) (* 0.5 (/ (cos re) (exp im)))))>
1536828490.765 * [enter]simplify:  Simplifying (+ (* 0.5 (* (exp im) (cos re))) (* 0.5 (/ (cos re) (exp im))))
1536828490.766 * * [misc]simplify:  iters left: 6 (10 enodes)
1536828490.771 * * [misc]simplify:  iters left: 5 (21 enodes)
1536828490.778 * * [misc]simplify:  iters left: 4 (38 enodes)
1536828490.786 * * [misc]simplify:  iters left: 3 (43 enodes)
1536828490.791 * * [misc]simplify:  iters left: 2 (45 enodes)
1536828490.796 * * [misc]simplify:  iters left: 1 (46 enodes)
1536828490.804 * [exit]simplify:  Simplified to (* (fma (exp im) (cos re) (/ (cos re) (exp im))) 0.5)
1536828490.804 * [misc]simplify:  Simplified (2) to (λ (re im) (* (fma (exp im) (cos re) (/ (cos re) (exp im))) 0.5))
1536828490.804 * * * [misc]progress:  adding candidates to table
1536828491.265 * [misc]progress:  [Phase 3 of 3] Extracting.
1536828491.270 * [enter]simplify:  Simplifying (fma (exp im) (* (cos re) 0.5) (/ (* (cos re) 0.5) (exp im)))
1536828491.271 * * [misc]simplify:  iters left: 6 (8 enodes)
1536828491.272 * * [misc]simplify:  iters left: 5 (9 enodes)
1536828491.272 * [exit]simplify:  Simplified to (fma (exp im) (* (cos re) 0.5) (/ (* (cos re) 0.5) (exp im)))
1536828491.272 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1536828491.325 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1536828491.328 * * * * [misc]points:  Setting MPFR precision to 64
1536828491.329 * * * * [misc]points:  Setting MPFR precision to 320
1536828491.331 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1536828491.333 * * * * [misc]points:  Setting MPFR precision to 64
1536828491.336 * * * * [misc]points:  Setting MPFR precision to 320
1536828491.338 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1536828491.341 * * * * [misc]points:  Setting MPFR precision to 64
1536828491.346 * * * * [misc]points:  Setting MPFR precision to 320
1536828491.351 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1536828491.354 * * * * [misc]points:  Setting MPFR precision to 64
1536828491.364 * * * * [misc]points:  Setting MPFR precision to 320
1536828491.375 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1536828491.378 * * * * [misc]points:  Setting MPFR precision to 64
1536828491.397 * * * * [misc]points:  Setting MPFR precision to 320
1536828491.418 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1536828491.421 * * * * [misc]points:  Setting MPFR precision to 64
1536828491.456 * * * * [misc]points:  Setting MPFR precision to 320
1536828491.503 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1536828491.505 * * * * [misc]points:  Setting MPFR precision to 64
1536828491.545 * * * * [misc]points:  Setting MPFR precision to 320
1536828491.611 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1536828491.614 * * * * [misc]points:  Setting MPFR precision to 64
1536828491.781 * * * * [misc]points:  Setting MPFR precision to 320
1536828491.875 * * * * [misc]points:  Computing exacts for 8000 points
1536828491.877 * * * * [misc]points:  Setting MPFR precision to 64
1536828492.480 * * * * [misc]points:  Setting MPFR precision to 320
1536828493.163 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536828493.164 * * * * [misc]points:  Sampling 3951 additional inputs, on iter 1 have 4049 / 8000
1536828493.181 * * * * [misc]points:  Computing exacts on every 246 of 3951 points to ramp up precision
1536828493.182 * * * * [misc]points:  Setting MPFR precision to 64
1536828493.183 * * * * [misc]points:  Setting MPFR precision to 320
1536828493.184 * * * * [misc]points:  Computing exacts on every 123 of 3951 points to ramp up precision
1536828493.185 * * * * [misc]points:  Setting MPFR precision to 64
1536828493.186 * * * * [misc]points:  Setting MPFR precision to 320
1536828493.187 * * * * [misc]points:  Computing exacts on every 61 of 3951 points to ramp up precision
1536828493.189 * * * * [misc]points:  Setting MPFR precision to 64
1536828493.191 * * * * [misc]points:  Setting MPFR precision to 320
1536828493.194 * * * * [misc]points:  Computing exacts on every 30 of 3951 points to ramp up precision
1536828493.196 * * * * [misc]points:  Setting MPFR precision to 64
1536828493.201 * * * * [misc]points:  Setting MPFR precision to 320
1536828493.206 * * * * [misc]points:  Computing exacts on every 15 of 3951 points to ramp up precision
1536828493.208 * * * * [misc]points:  Setting MPFR precision to 64
1536828493.240 * * * * [misc]points:  Setting MPFR precision to 320
1536828493.259 * * * * [misc]points:  Computing exacts on every 7 of 3951 points to ramp up precision
1536828493.262 * * * * [misc]points:  Setting MPFR precision to 64
1536828493.297 * * * * [misc]points:  Setting MPFR precision to 320
1536828493.328 * * * * [misc]points:  Computing exacts on every 3 of 3951 points to ramp up precision
1536828493.330 * * * * [misc]points:  Setting MPFR precision to 64
1536828493.367 * * * * [misc]points:  Setting MPFR precision to 320
1536828493.441 * * * * [misc]points:  Computing exacts for 3951 points
1536828493.443 * * * * [misc]points:  Setting MPFR precision to 64
1536828493.656 * * * * [misc]points:  Setting MPFR precision to 320
1536828493.892 * * * * [misc]points:  Setting MPFR precision to 576
1536828494.168 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536828494.170 * * * * [misc]points:  Sampling 1987 additional inputs, on iter 2 have 6013 / 8000
1536828494.235 * * * * [misc]points:  Computing exacts on every 124 of 1987 points to ramp up precision
1536828494.238 * * * * [misc]points:  Setting MPFR precision to 320
1536828494.239 * * * * [misc]points:  Setting MPFR precision to 576
1536828494.241 * * * * [misc]points:  Computing exacts on every 62 of 1987 points to ramp up precision
1536828494.243 * * * * [misc]points:  Setting MPFR precision to 320
1536828494.245 * * * * [misc]points:  Setting MPFR precision to 576
1536828494.248 * * * * [misc]points:  Computing exacts on every 31 of 1987 points to ramp up precision
1536828494.251 * * * * [misc]points:  Setting MPFR precision to 320
1536828494.256 * * * * [misc]points:  Setting MPFR precision to 576
1536828494.262 * * * * [misc]points:  Computing exacts on every 15 of 1987 points to ramp up precision
1536828494.264 * * * * [misc]points:  Setting MPFR precision to 320
1536828494.274 * * * * [misc]points:  Setting MPFR precision to 576
1536828494.285 * * * * [misc]points:  Computing exacts on every 7 of 1987 points to ramp up precision
1536828494.287 * * * * [misc]points:  Setting MPFR precision to 320
1536828494.307 * * * * [misc]points:  Setting MPFR precision to 576
1536828494.329 * * * * [misc]points:  Computing exacts on every 3 of 1987 points to ramp up precision
1536828494.332 * * * * [misc]points:  Setting MPFR precision to 320
1536828494.367 * * * * [misc]points:  Setting MPFR precision to 576
1536828494.411 * * * * [misc]points:  Computing exacts for 1987 points
1536828494.413 * * * * [misc]points:  Setting MPFR precision to 320
1536828494.634 * * * * [misc]points:  Setting MPFR precision to 576
1536828494.891 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536828494.892 * * * * [misc]points:  Sampling 989 additional inputs, on iter 3 have 7011 / 8000
1536828494.896 * * * * [misc]points:  Computing exacts on every 61 of 989 points to ramp up precision
1536828494.898 * * * * [misc]points:  Setting MPFR precision to 320
1536828494.899 * * * * [misc]points:  Setting MPFR precision to 576
1536828494.899 * * * * [misc]points:  Computing exacts on every 30 of 989 points to ramp up precision
1536828494.901 * * * * [misc]points:  Setting MPFR precision to 320
1536828494.902 * * * * [misc]points:  Setting MPFR precision to 576
1536828494.904 * * * * [misc]points:  Computing exacts on every 15 of 989 points to ramp up precision
1536828494.906 * * * * [misc]points:  Setting MPFR precision to 320
1536828494.911 * * * * [misc]points:  Setting MPFR precision to 576
1536828494.917 * * * * [misc]points:  Computing exacts on every 7 of 989 points to ramp up precision
1536828494.919 * * * * [misc]points:  Setting MPFR precision to 320
1536828494.928 * * * * [misc]points:  Setting MPFR precision to 576
1536828494.936 * * * * [misc]points:  Computing exacts on every 3 of 989 points to ramp up precision
1536828494.938 * * * * [misc]points:  Setting MPFR precision to 320
1536828494.950 * * * * [misc]points:  Setting MPFR precision to 576
1536828494.964 * * * * [misc]points:  Computing exacts for 989 points
1536828494.966 * * * * [misc]points:  Setting MPFR precision to 320
1536828495.042 * * * * [misc]points:  Setting MPFR precision to 576
1536828495.110 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536828495.110 * * * * [misc]points:  Sampling 486 additional inputs, on iter 4 have 7514 / 8000
1536828495.112 * * * * [misc]points:  Computing exacts on every 30 of 486 points to ramp up precision
1536828495.114 * * * * [misc]points:  Setting MPFR precision to 320
1536828495.115 * * * * [misc]points:  Setting MPFR precision to 576
1536828495.116 * * * * [misc]points:  Computing exacts on every 15 of 486 points to ramp up precision
1536828495.117 * * * * [misc]points:  Setting MPFR precision to 320
1536828495.118 * * * * [misc]points:  Setting MPFR precision to 576
1536828495.120 * * * * [misc]points:  Computing exacts on every 7 of 486 points to ramp up precision
1536828495.122 * * * * [misc]points:  Setting MPFR precision to 320
1536828495.125 * * * * [misc]points:  Setting MPFR precision to 576
1536828495.128 * * * * [misc]points:  Computing exacts on every 3 of 486 points to ramp up precision
1536828495.130 * * * * [misc]points:  Setting MPFR precision to 320
1536828495.135 * * * * [misc]points:  Setting MPFR precision to 576
1536828495.142 * * * * [misc]points:  Computing exacts for 486 points
1536828495.143 * * * * [misc]points:  Setting MPFR precision to 320
1536828495.164 * * * * [misc]points:  Setting MPFR precision to 576
1536828495.244 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536828495.245 * * * * [misc]points:  Sampling 230 additional inputs, on iter 5 have 7770 / 8000
1536828495.247 * * * * [misc]points:  Computing exacts on every 14 of 230 points to ramp up precision
1536828495.251 * * * * [misc]points:  Setting MPFR precision to 320
1536828495.253 * * * * [misc]points:  Setting MPFR precision to 576
1536828495.255 * * * * [misc]points:  Computing exacts on every 7 of 230 points to ramp up precision
1536828495.258 * * * * [misc]points:  Setting MPFR precision to 320
1536828495.260 * * * * [misc]points:  Setting MPFR precision to 576
1536828495.263 * * * * [misc]points:  Computing exacts on every 3 of 230 points to ramp up precision
1536828495.265 * * * * [misc]points:  Setting MPFR precision to 320
1536828495.267 * * * * [misc]points:  Setting MPFR precision to 576
1536828495.270 * * * * [misc]points:  Computing exacts for 230 points
1536828495.272 * * * * [misc]points:  Setting MPFR precision to 320
1536828495.282 * * * * [misc]points:  Setting MPFR precision to 576
1536828495.294 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536828495.294 * * * * [misc]points:  Sampling 110 additional inputs, on iter 6 have 7890 / 8000
1536828495.294 * * * * [misc]points:  Computing exacts on every 6 of 110 points to ramp up precision
1536828495.296 * * * * [misc]points:  Setting MPFR precision to 320
1536828495.298 * * * * [misc]points:  Setting MPFR precision to 576
1536828495.300 * * * * [misc]points:  Computing exacts on every 3 of 110 points to ramp up precision
1536828495.302 * * * * [misc]points:  Setting MPFR precision to 320
1536828495.305 * * * * [misc]points:  Setting MPFR precision to 576
1536828495.308 * * * * [misc]points:  Computing exacts for 110 points
1536828495.310 * * * * [misc]points:  Setting MPFR precision to 320
1536828495.319 * * * * [misc]points:  Setting MPFR precision to 576
1536828495.329 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536828495.329 * * * * [misc]points:  Sampling 51 additional inputs, on iter 7 have 7949 / 8000
1536828495.329 * * * * [misc]points:  Computing exacts on every 3 of 51 points to ramp up precision
1536828495.331 * * * * [misc]points:  Setting MPFR precision to 320
1536828495.331 * * * * [misc]points:  Setting MPFR precision to 576
1536828495.332 * * * * [misc]points:  Computing exacts for 51 points
1536828495.334 * * * * [misc]points:  Setting MPFR precision to 320
1536828495.336 * * * * [misc]points:  Setting MPFR precision to 576
1536828495.339 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536828495.339 * * * * [misc]points:  Sampling 27 additional inputs, on iter 8 have 7973 / 8000
1536828495.339 * * * * [misc]points:  Computing exacts for 27 points
1536828495.340 * * * * [misc]points:  Setting MPFR precision to 320
1536828495.342 * * * * [misc]points:  Setting MPFR precision to 576
1536828495.343 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536828495.343 * * * * [misc]points:  Sampling 15 additional inputs, on iter 9 have 7985 / 8000
1536828495.344 * * * * [misc]points:  Computing exacts for 15 points
1536828495.345 * * * * [misc]points:  Setting MPFR precision to 320
1536828495.346 * * * * [misc]points:  Setting MPFR precision to 576
1536828495.347 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536828495.347 * * * * [misc]points:  Sampling 4 additional inputs, on iter 10 have 7996 / 8000
1536828495.347 * * * * [misc]points:  Computing exacts for 4 points
1536828495.349 * * * * [misc]points:  Setting MPFR precision to 320
1536828495.349 * * * * [misc]points:  Setting MPFR precision to 576
1536828495.349 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536828495.349 * * * * [misc]points:  Sampling 4 additional inputs, on iter 11 have 7998 / 8000
1536828495.350 * * * * [misc]points:  Computing exacts for 4 points
1536828495.351 * * * * [misc]points:  Setting MPFR precision to 320
1536828495.351 * * * * [misc]points:  Setting MPFR precision to 576
1536828495.352 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536828495.352 * * * * [exit]points:  Sampled 8000 points with exact outputs