1544090866.403 * [misc]progress:  [Phase 1 of 3] Setting up.
1544090866.403 * * * [misc]progress:  [1/2] Preparing points
1544090866.403 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1544090866.404 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1544090866.406 * * * * [misc]points:  Setting MPFR precision to 64
1544090866.407 * * * * [misc]points:  Setting MPFR precision to 320
1544090866.408 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1544090866.409 * * * * [misc]points:  Setting MPFR precision to 64
1544090866.410 * * * * [misc]points:  Setting MPFR precision to 320
1544090866.411 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1544090866.413 * * * * [misc]points:  Setting MPFR precision to 64
1544090866.414 * * * * [misc]points:  Setting MPFR precision to 320
1544090866.416 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1544090866.417 * * * * [misc]points:  Setting MPFR precision to 64
1544090866.420 * * * * [misc]points:  Setting MPFR precision to 320
1544090866.423 * * * * [misc]points:  Computing exacts for 256 points
1544090866.425 * * * * [misc]points:  Setting MPFR precision to 64
1544090866.438 * * * * [misc]points:  Setting MPFR precision to 320
1544090866.457 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544090866.457 * * * * [misc]points:  Sampling 119 additional inputs, on iter 1 have 137 / 256
1544090866.458 * * * * [misc]points:  Computing exacts on every 7 of 119 points to ramp up precision
1544090866.461 * * * * [misc]points:  Setting MPFR precision to 64
1544090866.462 * * * * [misc]points:  Setting MPFR precision to 320
1544090866.463 * * * * [misc]points:  Computing exacts on every 3 of 119 points to ramp up precision
1544090866.466 * * * * [misc]points:  Setting MPFR precision to 64
1544090866.468 * * * * [misc]points:  Setting MPFR precision to 320
1544090866.470 * * * * [misc]points:  Computing exacts for 119 points
1544090866.473 * * * * [misc]points:  Setting MPFR precision to 64
1544090866.480 * * * * [misc]points:  Setting MPFR precision to 320
1544090866.503 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544090866.503 * * * * [misc]points:  Sampling 52 additional inputs, on iter 2 have 204 / 256
1544090866.503 * * * * [misc]points:  Computing exacts on every 3 of 52 points to ramp up precision
1544090866.505 * * * * [misc]points:  Setting MPFR precision to 64
1544090866.505 * * * * [misc]points:  Setting MPFR precision to 320
1544090866.506 * * * * [misc]points:  Computing exacts for 52 points
1544090866.507 * * * * [misc]points:  Setting MPFR precision to 64
1544090866.509 * * * * [misc]points:  Setting MPFR precision to 320
1544090866.510 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544090866.510 * * * * [misc]points:  Sampling 33 additional inputs, on iter 3 have 223 / 256
1544090866.511 * * * * [misc]points:  Computing exacts on every 2 of 33 points to ramp up precision
1544090866.513 * * * * [misc]points:  Setting MPFR precision to 64
1544090866.514 * * * * [misc]points:  Setting MPFR precision to 320
1544090866.514 * * * * [misc]points:  Computing exacts for 33 points
1544090866.516 * * * * [misc]points:  Setting MPFR precision to 64
1544090866.518 * * * * [misc]points:  Setting MPFR precision to 320
1544090866.520 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544090866.521 * * * * [misc]points:  Sampling 15 additional inputs, on iter 4 have 241 / 256
1544090866.521 * * * * [misc]points:  Computing exacts for 15 points
1544090866.523 * * * * [misc]points:  Setting MPFR precision to 64
1544090866.524 * * * * [misc]points:  Setting MPFR precision to 320
1544090866.525 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544090866.525 * * * * [misc]points:  Sampling 8 additional inputs, on iter 5 have 248 / 256
1544090866.525 * * * * [misc]points:  Computing exacts for 8 points
1544090866.526 * * * * [misc]points:  Setting MPFR precision to 64
1544090866.526 * * * * [misc]points:  Setting MPFR precision to 320
1544090866.527 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544090866.527 * * * * [misc]points:  Sampling 5 additional inputs, on iter 6 have 251 / 256
1544090866.527 * * * * [misc]points:  Computing exacts for 5 points
1544090866.528 * * * * [misc]points:  Setting MPFR precision to 64
1544090866.528 * * * * [misc]points:  Setting MPFR precision to 320
1544090866.528 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544090866.528 * * * * [exit]points:  Sampled 256 points with exact outputs
1544090866.529 * * * [misc]progress:  [2/2] Setting up program.
1544090866.532 * [misc]progress:  [Phase 2 of 3] Improving.
1544090866.532 * [enter]simplify:  Simplifying (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im)))
1544090866.532 * * [misc]simplify:  iters left: 6 (11 enodes)
1544090866.535 * * [misc]simplify:  iters left: 5 (27 enodes)
1544090866.540 * * [misc]simplify:  iters left: 4 (62 enodes)
1544090866.561 * * [misc]simplify:  iters left: 3 (115 enodes)
1544090866.597 * * [misc]simplify:  iters left: 2 (202 enodes)
1544090866.682 * * [misc]simplify:  iters left: 1 (417 enodes)
1544090867.016 * [exit]simplify:  Simplified to (* 0.5 (fma (exp im) (sin re) (/ (sin re) (exp im))))
1544090867.022 * * [misc]progress:  iteration 1 / 4
1544090867.022 * * * [misc]progress:  picking best candidate
1544090867.025 * * * * [misc]pick:  Picked  #<alt (λ (re im) (* 0.5 (fma (exp im) (sin re) (/ (sin re) (exp im)))))>
1544090867.025 * * * [misc]progress:  localizing error
1544090867.043 * * * [misc]progress:  generating rewritten candidates
1544090867.043 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2 2 3)
1544090867.049 * * * [misc]progress:  generating series expansions
1544090867.049 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2 2 3)
1544090867.058 * [misc]backup-simplify:  Simplify (/ (sin re) (exp im)) into (/ (sin re) (exp im))
1544090867.058 * [misc]approximate:  Taking taylor expansion of (/ (sin re) (exp im)) in (re im) around 0
1544090867.059 * [misc]taylor:  Taking taylor expansion of (/ (sin re) (exp im)) in im
1544090867.059 * [misc]taylor:  Taking taylor expansion of (sin re) in im
1544090867.059 * [misc]taylor:  Taking taylor expansion of re in im
1544090867.059 * [misc]backup-simplify:  Simplify re into re
1544090867.059 * [misc]backup-simplify:  Simplify (sin re) into (sin re)
1544090867.059 * [misc]backup-simplify:  Simplify (cos re) into (cos re)
1544090867.059 * [misc]taylor:  Taking taylor expansion of (exp im) in im
1544090867.059 * [misc]taylor:  Taking taylor expansion of im in im
1544090867.060 * [misc]backup-simplify:  Simplify 0 into 0
1544090867.060 * [misc]backup-simplify:  Simplify 1 into 1
1544090867.060 * [misc]backup-simplify:  Simplify (exp 0) into 1
1544090867.060 * [misc]backup-simplify:  Simplify (* (sin re) 1) into (sin re)
1544090867.060 * [misc]backup-simplify:  Simplify (* (cos re) 0) into 0
1544090867.061 * [misc]backup-simplify:  Simplify (+ (sin re) 0) into (sin re)
1544090867.061 * [misc]backup-simplify:  Simplify (/ (sin re) 1) into (sin re)
1544090867.061 * [misc]taylor:  Taking taylor expansion of (/ (sin re) (exp im)) in re
1544090867.061 * [misc]taylor:  Taking taylor expansion of (sin re) in re
1544090867.061 * [misc]taylor:  Taking taylor expansion of re in re
1544090867.061 * [misc]backup-simplify:  Simplify 0 into 0
1544090867.062 * [misc]backup-simplify:  Simplify 1 into 1
1544090867.062 * [misc]taylor:  Taking taylor expansion of (exp im) in re
1544090867.062 * [misc]taylor:  Taking taylor expansion of im in re
1544090867.062 * [misc]backup-simplify:  Simplify im into im
1544090867.062 * [misc]backup-simplify:  Simplify (exp im) into (exp im)
1544090867.064 * [misc]backup-simplify:  Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
1544090867.064 * [misc]backup-simplify:  Simplify (/ 1 (exp im)) into (/ 1 (exp im))
1544090867.065 * [misc]taylor:  Taking taylor expansion of (/ (sin re) (exp im)) in re
1544090867.065 * [misc]taylor:  Taking taylor expansion of (sin re) in re
1544090867.065 * [misc]taylor:  Taking taylor expansion of re in re
1544090867.065 * [misc]backup-simplify:  Simplify 0 into 0
1544090867.065 * [misc]backup-simplify:  Simplify 1 into 1
1544090867.065 * [misc]taylor:  Taking taylor expansion of (exp im) in re
1544090867.065 * [misc]taylor:  Taking taylor expansion of im in re
1544090867.065 * [misc]backup-simplify:  Simplify im into im
1544090867.065 * [misc]backup-simplify:  Simplify (exp im) into (exp im)
1544090867.066 * [misc]backup-simplify:  Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
1544090867.066 * [misc]backup-simplify:  Simplify (/ 1 (exp im)) into (/ 1 (exp im))
1544090867.066 * [misc]taylor:  Taking taylor expansion of (/ 1 (exp im)) in im
1544090867.066 * [misc]taylor:  Taking taylor expansion of (exp im) in im
1544090867.066 * [misc]taylor:  Taking taylor expansion of im in im
1544090867.067 * [misc]backup-simplify:  Simplify 0 into 0
1544090867.067 * [misc]backup-simplify:  Simplify 1 into 1
1544090867.067 * [misc]backup-simplify:  Simplify (exp 0) into 1
1544090867.067 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544090867.067 * [misc]backup-simplify:  Simplify 1 into 1
1544090867.069 * [misc]backup-simplify:  Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
1544090867.070 * [misc]backup-simplify:  Simplify (* (exp im) (+ (* (/ (pow 0 1) 1)))) into 0
1544090867.070 * [misc]backup-simplify:  Simplify (- (/ 0 (exp im)) (+ (* (/ 1 (exp im)) (/ 0 (exp im))))) into 0
1544090867.070 * [misc]taylor:  Taking taylor expansion of 0 in im
1544090867.070 * [misc]backup-simplify:  Simplify 0 into 0
1544090867.070 * [misc]backup-simplify:  Simplify 0 into 0
1544090867.072 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1544090867.072 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 1 1)))) into -1
1544090867.072 * [misc]backup-simplify:  Simplify -1 into -1
1544090867.074 * [misc]backup-simplify:  Simplify (+ (* -1 (/ (pow 1 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into (- 1/6)
1544090867.076 * [misc]backup-simplify:  Simplify (* (exp im) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1544090867.076 * [misc]backup-simplify:  Simplify (- (/ (- 1/6) (exp im)) (+ (* (/ 1 (exp im)) (/ 0 (exp im))) (* 0 (/ 0 (exp im))))) into (- (* 1/6 (/ 1 (exp im))))
1544090867.076 * [misc]taylor:  Taking taylor expansion of (- (* 1/6 (/ 1 (exp im)))) in im
1544090867.076 * [misc]taylor:  Taking taylor expansion of (* 1/6 (/ 1 (exp im))) in im
1544090867.076 * [misc]taylor:  Taking taylor expansion of 1/6 in im
1544090867.076 * [misc]backup-simplify:  Simplify 1/6 into 1/6
1544090867.076 * [misc]taylor:  Taking taylor expansion of (/ 1 (exp im)) in im
1544090867.077 * [misc]taylor:  Taking taylor expansion of (exp im) in im
1544090867.077 * [misc]taylor:  Taking taylor expansion of im in im
1544090867.077 * [misc]backup-simplify:  Simplify 0 into 0
1544090867.077 * [misc]backup-simplify:  Simplify 1 into 1
1544090867.077 * [misc]backup-simplify:  Simplify (exp 0) into 1
1544090867.077 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544090867.077 * [misc]backup-simplify:  Simplify (* 1/6 1) into 1/6
1544090867.077 * [misc]backup-simplify:  Simplify (- 1/6) into -1/6
1544090867.077 * [misc]backup-simplify:  Simplify -1/6 into -1/6
1544090867.079 * [misc]backup-simplify:  Simplify (+ (* -1/6 (pow (* 1 re) 3)) (+ (* -1 (* im re)) (* 1 (* 1 re)))) into (- re (+ (* re im) (* 1/6 (pow re 3))))
1544090867.079 * [misc]backup-simplify:  Simplify (/ (sin (/ 1 re)) (exp (/ 1 im))) into (/ (sin (/ 1 re)) (exp (/ 1 im)))
1544090867.079 * [misc]approximate:  Taking taylor expansion of (/ (sin (/ 1 re)) (exp (/ 1 im))) in (re im) around 0
1544090867.079 * [misc]taylor:  Taking taylor expansion of (/ (sin (/ 1 re)) (exp (/ 1 im))) in im
1544090867.079 * [misc]taylor:  Taking taylor expansion of (sin (/ 1 re)) in im
1544090867.079 * [misc]taylor:  Taking taylor expansion of (/ 1 re) in im
1544090867.079 * [misc]taylor:  Taking taylor expansion of re in im
1544090867.079 * [misc]backup-simplify:  Simplify re into re
1544090867.079 * [misc]backup-simplify:  Simplify (/ 1 re) into (/ 1 re)
1544090867.079 * [misc]backup-simplify:  Simplify (sin (/ 1 re)) into (sin (/ 1 re))
1544090867.080 * [misc]backup-simplify:  Simplify (cos (/ 1 re)) into (cos (/ 1 re))
1544090867.080 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 im)) in im
1544090867.080 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in im
1544090867.080 * [misc]taylor:  Taking taylor expansion of im in im
1544090867.080 * [misc]backup-simplify:  Simplify 0 into 0
1544090867.080 * [misc]backup-simplify:  Simplify 1 into 1
1544090867.080 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544090867.080 * [misc]backup-simplify:  Simplify (exp (/ 1 im)) into (exp (/ 1 im))
1544090867.080 * [misc]backup-simplify:  Simplify (* (sin (/ 1 re)) 1) into (sin (/ 1 re))
1544090867.080 * [misc]backup-simplify:  Simplify (* (cos (/ 1 re)) 0) into 0
1544090867.080 * [misc]backup-simplify:  Simplify (+ (sin (/ 1 re)) 0) into (sin (/ 1 re))
1544090867.080 * [misc]backup-simplify:  Simplify (/ (sin (/ 1 re)) (exp (/ 1 im))) into (/ (sin (/ 1 re)) (exp (/ 1 im)))
1544090867.080 * [misc]taylor:  Taking taylor expansion of (/ (sin (/ 1 re)) (exp (/ 1 im))) in re
1544090867.080 * [misc]taylor:  Taking taylor expansion of (sin (/ 1 re)) in re
1544090867.080 * [misc]taylor:  Taking taylor expansion of (/ 1 re) in re
1544090867.080 * [misc]taylor:  Taking taylor expansion of re in re
1544090867.080 * [misc]backup-simplify:  Simplify 0 into 0
1544090867.080 * [misc]backup-simplify:  Simplify 1 into 1
1544090867.081 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544090867.081 * [misc]backup-simplify:  Simplify (sin (/ 1 re)) into (sin (/ 1 re))
1544090867.081 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 im)) in re
1544090867.081 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in re
1544090867.081 * [misc]taylor:  Taking taylor expansion of im in re
1544090867.081 * [misc]backup-simplify:  Simplify im into im
1544090867.081 * [misc]backup-simplify:  Simplify (/ 1 im) into (/ 1 im)
1544090867.081 * [misc]backup-simplify:  Simplify (exp (/ 1 im)) into (exp (/ 1 im))
1544090867.081 * [misc]backup-simplify:  Simplify (/ (sin (/ 1 re)) (exp (/ 1 im))) into (/ (sin (/ 1 re)) (exp (/ 1 im)))
1544090867.081 * [misc]taylor:  Taking taylor expansion of (/ (sin (/ 1 re)) (exp (/ 1 im))) in re
1544090867.081 * [misc]taylor:  Taking taylor expansion of (sin (/ 1 re)) in re
1544090867.081 * [misc]taylor:  Taking taylor expansion of (/ 1 re) in re
1544090867.081 * [misc]taylor:  Taking taylor expansion of re in re
1544090867.081 * [misc]backup-simplify:  Simplify 0 into 0
1544090867.081 * [misc]backup-simplify:  Simplify 1 into 1
1544090867.081 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544090867.082 * [misc]backup-simplify:  Simplify (sin (/ 1 re)) into (sin (/ 1 re))
1544090867.082 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 im)) in re
1544090867.082 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in re
1544090867.082 * [misc]taylor:  Taking taylor expansion of im in re
1544090867.082 * [misc]backup-simplify:  Simplify im into im
1544090867.082 * [misc]backup-simplify:  Simplify (/ 1 im) into (/ 1 im)
1544090867.082 * [misc]backup-simplify:  Simplify (exp (/ 1 im)) into (exp (/ 1 im))
1544090867.082 * [misc]backup-simplify:  Simplify (/ (sin (/ 1 re)) (exp (/ 1 im))) into (/ (sin (/ 1 re)) (exp (/ 1 im)))
1544090867.082 * [misc]taylor:  Taking taylor expansion of (/ (sin (/ 1 re)) (exp (/ 1 im))) in im
1544090867.082 * [misc]taylor:  Taking taylor expansion of (sin (/ 1 re)) in im
1544090867.082 * [misc]taylor:  Taking taylor expansion of (/ 1 re) in im
1544090867.082 * [misc]taylor:  Taking taylor expansion of re in im
1544090867.082 * [misc]backup-simplify:  Simplify re into re
1544090867.082 * [misc]backup-simplify:  Simplify (/ 1 re) into (/ 1 re)
1544090867.082 * [misc]backup-simplify:  Simplify (sin (/ 1 re)) into (sin (/ 1 re))
1544090867.082 * [misc]backup-simplify:  Simplify (cos (/ 1 re)) into (cos (/ 1 re))
1544090867.082 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 im)) in im
1544090867.082 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in im
1544090867.082 * [misc]taylor:  Taking taylor expansion of im in im
1544090867.082 * [misc]backup-simplify:  Simplify 0 into 0
1544090867.083 * [misc]backup-simplify:  Simplify 1 into 1
1544090867.083 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544090867.083 * [misc]backup-simplify:  Simplify (exp (/ 1 im)) into (exp (/ 1 im))
1544090867.083 * [misc]backup-simplify:  Simplify (* (sin (/ 1 re)) 1) into (sin (/ 1 re))
1544090867.083 * [misc]backup-simplify:  Simplify (* (cos (/ 1 re)) 0) into 0
1544090867.083 * [misc]backup-simplify:  Simplify (+ (sin (/ 1 re)) 0) into (sin (/ 1 re))
1544090867.083 * [misc]backup-simplify:  Simplify (/ (sin (/ 1 re)) (exp (/ 1 im))) into (/ (sin (/ 1 re)) (exp (/ 1 im)))
1544090867.083 * [misc]backup-simplify:  Simplify (/ (sin (/ 1 re)) (exp (/ 1 im))) into (/ (sin (/ 1 re)) (exp (/ 1 im)))
1544090867.083 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0
1544090867.085 * [misc]backup-simplify:  Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0
1544090867.085 * [misc]backup-simplify:  Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (sin (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))))) into 0
1544090867.085 * [misc]taylor:  Taking taylor expansion of 0 in im
1544090867.085 * [misc]backup-simplify:  Simplify 0 into 0
1544090867.085 * [misc]backup-simplify:  Simplify 0 into 0
1544090867.086 * [misc]backup-simplify:  Simplify (+ 0) into 0
1544090867.086 * [misc]backup-simplify:  Simplify (+ (* (sin (/ 1 re)) 0) (* 0 1)) into 0
1544090867.086 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0
1544090867.087 * [misc]backup-simplify:  Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
1544090867.087 * [misc]backup-simplify:  Simplify (+ (* (cos (/ 1 re)) 0) (* 0 0)) into 0
1544090867.087 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544090867.088 * [misc]backup-simplify:  Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (sin (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))))) into 0
1544090867.088 * [misc]backup-simplify:  Simplify 0 into 0
1544090867.088 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
1544090867.090 * [misc]backup-simplify:  Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1544090867.090 * [misc]backup-simplify:  Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (sin (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0
1544090867.090 * [misc]taylor:  Taking taylor expansion of 0 in im
1544090867.090 * [misc]backup-simplify:  Simplify 0 into 0
1544090867.090 * [misc]backup-simplify:  Simplify 0 into 0
1544090867.090 * [misc]backup-simplify:  Simplify 0 into 0
1544090867.091 * [misc]backup-simplify:  Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
1544090867.092 * [misc]backup-simplify:  Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 1))) into 0
1544090867.092 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
1544090867.093 * [misc]backup-simplify:  Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
1544090867.093 * [misc]backup-simplify:  Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 0))) into 0
1544090867.093 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544090867.094 * [misc]backup-simplify:  Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (sin (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0
1544090867.094 * [misc]backup-simplify:  Simplify 0 into 0
1544090867.094 * [misc]backup-simplify:  Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
1544090867.096 * [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
1544090867.097 * [misc]backup-simplify:  Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (sin (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0
1544090867.097 * [misc]taylor:  Taking taylor expansion of 0 in im
1544090867.097 * [misc]backup-simplify:  Simplify 0 into 0
1544090867.097 * [misc]backup-simplify:  Simplify 0 into 0
1544090867.097 * [misc]backup-simplify:  Simplify (/ (sin (/ 1 (/ 1 re))) (exp (/ 1 (/ 1 im)))) into (/ (sin re) (exp im))
1544090867.097 * [misc]backup-simplify:  Simplify (/ (sin (/ 1 (- re))) (exp (/ 1 (- im)))) into (/ (sin (/ -1 re)) (exp (/ -1 im)))
1544090867.097 * [misc]approximate:  Taking taylor expansion of (/ (sin (/ -1 re)) (exp (/ -1 im))) in (re im) around 0
1544090867.097 * [misc]taylor:  Taking taylor expansion of (/ (sin (/ -1 re)) (exp (/ -1 im))) in im
1544090867.097 * [misc]taylor:  Taking taylor expansion of (sin (/ -1 re)) in im
1544090867.097 * [misc]taylor:  Taking taylor expansion of (/ -1 re) in im
1544090867.097 * [misc]taylor:  Taking taylor expansion of -1 in im
1544090867.097 * [misc]backup-simplify:  Simplify -1 into -1
1544090867.097 * [misc]taylor:  Taking taylor expansion of re in im
1544090867.097 * [misc]backup-simplify:  Simplify re into re
1544090867.097 * [misc]backup-simplify:  Simplify (/ -1 re) into (/ -1 re)
1544090867.097 * [misc]backup-simplify:  Simplify (sin (/ -1 re)) into (sin (/ -1 re))
1544090867.097 * [misc]backup-simplify:  Simplify (cos (/ -1 re)) into (cos (/ -1 re))
1544090867.097 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 im)) in im
1544090867.097 * [misc]taylor:  Taking taylor expansion of (/ -1 im) in im
1544090867.097 * [misc]taylor:  Taking taylor expansion of -1 in im
1544090867.097 * [misc]backup-simplify:  Simplify -1 into -1
1544090867.097 * [misc]taylor:  Taking taylor expansion of im in im
1544090867.097 * [misc]backup-simplify:  Simplify 0 into 0
1544090867.097 * [misc]backup-simplify:  Simplify 1 into 1
1544090867.098 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1544090867.098 * [misc]backup-simplify:  Simplify (exp (/ -1 im)) into (exp (/ -1 im))
1544090867.098 * [misc]backup-simplify:  Simplify (* (sin (/ -1 re)) 1) into (sin (/ -1 re))
1544090867.098 * [misc]backup-simplify:  Simplify (* (cos (/ -1 re)) 0) into 0
1544090867.098 * [misc]backup-simplify:  Simplify (+ (sin (/ -1 re)) 0) into (sin (/ -1 re))
1544090867.098 * [misc]backup-simplify:  Simplify (/ (sin (/ -1 re)) (exp (/ -1 im))) into (/ (sin (/ -1 re)) (exp (/ -1 im)))
1544090867.098 * [misc]taylor:  Taking taylor expansion of (/ (sin (/ -1 re)) (exp (/ -1 im))) in re
1544090867.098 * [misc]taylor:  Taking taylor expansion of (sin (/ -1 re)) in re
1544090867.098 * [misc]taylor:  Taking taylor expansion of (/ -1 re) in re
1544090867.098 * [misc]taylor:  Taking taylor expansion of -1 in re
1544090867.098 * [misc]backup-simplify:  Simplify -1 into -1
1544090867.098 * [misc]taylor:  Taking taylor expansion of re in re
1544090867.098 * [misc]backup-simplify:  Simplify 0 into 0
1544090867.098 * [misc]backup-simplify:  Simplify 1 into 1
1544090867.098 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1544090867.098 * [misc]backup-simplify:  Simplify (sin (/ -1 re)) into (sin (/ -1 re))
1544090867.098 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 im)) in re
1544090867.098 * [misc]taylor:  Taking taylor expansion of (/ -1 im) in re
1544090867.098 * [misc]taylor:  Taking taylor expansion of -1 in re
1544090867.098 * [misc]backup-simplify:  Simplify -1 into -1
1544090867.098 * [misc]taylor:  Taking taylor expansion of im in re
1544090867.098 * [misc]backup-simplify:  Simplify im into im
1544090867.098 * [misc]backup-simplify:  Simplify (/ -1 im) into (/ -1 im)
1544090867.098 * [misc]backup-simplify:  Simplify (exp (/ -1 im)) into (exp (/ -1 im))
1544090867.098 * [misc]backup-simplify:  Simplify (/ (sin (/ -1 re)) (exp (/ -1 im))) into (/ (sin (/ -1 re)) (exp (/ -1 im)))
1544090867.098 * [misc]taylor:  Taking taylor expansion of (/ (sin (/ -1 re)) (exp (/ -1 im))) in re
1544090867.098 * [misc]taylor:  Taking taylor expansion of (sin (/ -1 re)) in re
1544090867.098 * [misc]taylor:  Taking taylor expansion of (/ -1 re) in re
1544090867.098 * [misc]taylor:  Taking taylor expansion of -1 in re
1544090867.098 * [misc]backup-simplify:  Simplify -1 into -1
1544090867.098 * [misc]taylor:  Taking taylor expansion of re in re
1544090867.098 * [misc]backup-simplify:  Simplify 0 into 0
1544090867.098 * [misc]backup-simplify:  Simplify 1 into 1
1544090867.099 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1544090867.099 * [misc]backup-simplify:  Simplify (sin (/ -1 re)) into (sin (/ -1 re))
1544090867.099 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 im)) in re
1544090867.099 * [misc]taylor:  Taking taylor expansion of (/ -1 im) in re
1544090867.099 * [misc]taylor:  Taking taylor expansion of -1 in re
1544090867.099 * [misc]backup-simplify:  Simplify -1 into -1
1544090867.099 * [misc]taylor:  Taking taylor expansion of im in re
1544090867.099 * [misc]backup-simplify:  Simplify im into im
1544090867.099 * [misc]backup-simplify:  Simplify (/ -1 im) into (/ -1 im)
1544090867.099 * [misc]backup-simplify:  Simplify (exp (/ -1 im)) into (exp (/ -1 im))
1544090867.099 * [misc]backup-simplify:  Simplify (/ (sin (/ -1 re)) (exp (/ -1 im))) into (/ (sin (/ -1 re)) (exp (/ -1 im)))
1544090867.099 * [misc]taylor:  Taking taylor expansion of (/ (sin (/ -1 re)) (exp (/ -1 im))) in im
1544090867.099 * [misc]taylor:  Taking taylor expansion of (sin (/ -1 re)) in im
1544090867.099 * [misc]taylor:  Taking taylor expansion of (/ -1 re) in im
1544090867.099 * [misc]taylor:  Taking taylor expansion of -1 in im
1544090867.099 * [misc]backup-simplify:  Simplify -1 into -1
1544090867.099 * [misc]taylor:  Taking taylor expansion of re in im
1544090867.099 * [misc]backup-simplify:  Simplify re into re
1544090867.099 * [misc]backup-simplify:  Simplify (/ -1 re) into (/ -1 re)
1544090867.099 * [misc]backup-simplify:  Simplify (sin (/ -1 re)) into (sin (/ -1 re))
1544090867.099 * [misc]backup-simplify:  Simplify (cos (/ -1 re)) into (cos (/ -1 re))
1544090867.099 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 im)) in im
1544090867.099 * [misc]taylor:  Taking taylor expansion of (/ -1 im) in im
1544090867.099 * [misc]taylor:  Taking taylor expansion of -1 in im
1544090867.099 * [misc]backup-simplify:  Simplify -1 into -1
1544090867.099 * [misc]taylor:  Taking taylor expansion of im in im
1544090867.099 * [misc]backup-simplify:  Simplify 0 into 0
1544090867.099 * [misc]backup-simplify:  Simplify 1 into 1
1544090867.099 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1544090867.099 * [misc]backup-simplify:  Simplify (exp (/ -1 im)) into (exp (/ -1 im))
1544090867.099 * [misc]backup-simplify:  Simplify (* (sin (/ -1 re)) 1) into (sin (/ -1 re))
1544090867.100 * [misc]backup-simplify:  Simplify (* (cos (/ -1 re)) 0) into 0
1544090867.100 * [misc]backup-simplify:  Simplify (+ (sin (/ -1 re)) 0) into (sin (/ -1 re))
1544090867.100 * [misc]backup-simplify:  Simplify (/ (sin (/ -1 re)) (exp (/ -1 im))) into (/ (sin (/ -1 re)) (exp (/ -1 im)))
1544090867.100 * [misc]backup-simplify:  Simplify (/ (sin (/ -1 re)) (exp (/ -1 im))) into (/ (sin (/ -1 re)) (exp (/ -1 im)))
1544090867.100 * [misc]backup-simplify:  Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0
1544090867.101 * [misc]backup-simplify:  Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 1) 1)))) into 0
1544090867.101 * [misc]backup-simplify:  Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (sin (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))))) into 0
1544090867.101 * [misc]taylor:  Taking taylor expansion of 0 in im
1544090867.101 * [misc]backup-simplify:  Simplify 0 into 0
1544090867.101 * [misc]backup-simplify:  Simplify 0 into 0
1544090867.101 * [misc]backup-simplify:  Simplify (+ 0) into 0
1544090867.101 * [misc]backup-simplify:  Simplify (+ (* (sin (/ -1 re)) 0) (* 0 1)) into 0
1544090867.101 * [misc]backup-simplify:  Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0
1544090867.102 * [misc]backup-simplify:  Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
1544090867.102 * [misc]backup-simplify:  Simplify (+ (* (cos (/ -1 re)) 0) (* 0 0)) into 0
1544090867.102 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544090867.102 * [misc]backup-simplify:  Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (sin (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))))) into 0
1544090867.102 * [misc]backup-simplify:  Simplify 0 into 0
1544090867.102 * [misc]backup-simplify:  Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0
1544090867.104 * [misc]backup-simplify:  Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1544090867.104 * [misc]backup-simplify:  Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (sin (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0
1544090867.104 * [misc]taylor:  Taking taylor expansion of 0 in im
1544090867.104 * [misc]backup-simplify:  Simplify 0 into 0
1544090867.104 * [misc]backup-simplify:  Simplify 0 into 0
1544090867.104 * [misc]backup-simplify:  Simplify 0 into 0
1544090867.105 * [misc]backup-simplify:  Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
1544090867.105 * [misc]backup-simplify:  Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 1))) into 0
1544090867.105 * [misc]backup-simplify:  Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0
1544090867.105 * [misc]backup-simplify:  Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
1544090867.106 * [misc]backup-simplify:  Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 0))) into 0
1544090867.106 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544090867.106 * [misc]backup-simplify:  Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (sin (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0
1544090867.106 * [misc]backup-simplify:  Simplify 0 into 0
1544090867.106 * [misc]backup-simplify:  Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0
1544090867.108 * [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
1544090867.108 * [misc]backup-simplify:  Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (sin (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0
1544090867.108 * [misc]taylor:  Taking taylor expansion of 0 in im
1544090867.108 * [misc]backup-simplify:  Simplify 0 into 0
1544090867.108 * [misc]backup-simplify:  Simplify 0 into 0
1544090867.108 * [misc]backup-simplify:  Simplify (/ (sin (/ -1 (/ 1 (- re)))) (exp (/ -1 (/ 1 (- im))))) into (/ (sin re) (exp im))
1544090867.108 * * * [misc]progress:  simplifying candidates
1544090867.108 * * * * [misc]progress:  [ 1 / 32 ] simplifiying candidate #<alt (λ (re im) (* 0.5 (fma (exp im) (sin re) (log1p (expm1 (/ (sin re) (exp im)))))))>
1544090867.109 * * * * [misc]progress:  [ 2 / 32 ] simplifiying candidate #<alt (λ (re im) (* 0.5 (fma (exp im) (sin re) (expm1 (log1p (/ (sin re) (exp im)))))))>
1544090867.109 * * * * [misc]progress:  [ 3 / 32 ] simplifiying candidate #<alt (λ (re im) (* 0.5 (fma (exp im) (sin re) (pow (/ (sin re) (exp im)) 1))))>
1544090867.109 * * * * [misc]progress:  [ 4 / 32 ] simplifiying candidate #<alt (λ (re im) (* 0.5 (fma (exp im) (sin re) (exp (- (log (sin re)) im)))))>
1544090867.109 * [enter]simplify:  Simplifying (- (log (sin re)) im)
1544090867.109 * * [misc]simplify:  iters left: 4 (5 enodes)
1544090867.110 * * [misc]simplify:  iters left: 3 (7 enodes)
1544090867.111 * * [misc]simplify:  iters left: 2 (8 enodes)
1544090867.112 * [exit]simplify:  Simplified to (- (log (sin re)) im)
1544090867.112 * [misc]simplify:  Simplified (2 2 3 1) to (λ (re im) (* 0.5 (fma (exp im) (sin re) (exp (- (log (sin re)) im)))))
1544090867.112 * * * * [misc]progress:  [ 5 / 32 ] simplifiying candidate #<alt (λ (re im) (* 0.5 (fma (exp im) (sin re) (exp (log (/ (sin re) (exp im)))))))>
1544090867.113 * * * * [misc]progress:  [ 6 / 32 ] simplifiying candidate #<alt (λ (re im) (* 0.5 (fma (exp im) (sin re) (log (exp (/ (sin re) (exp im)))))))>
1544090867.113 * * * * [misc]progress:  [ 7 / 32 ] simplifiying candidate #<alt (λ (re im) (* 0.5 (fma (exp im) (sin re) (cbrt (/ (* (* (sin re) (sin re)) (sin re)) (* (* (exp im) (exp im)) (exp im)))))))>
1544090867.113 * [enter]simplify:  Simplifying (/ (* (* (sin re) (sin re)) (sin re)) (* (* (exp im) (exp im)) (exp im)))
1544090867.113 * * [misc]simplify:  iters left: 6 (9 enodes)
1544090867.115 * * [misc]simplify:  iters left: 5 (20 enodes)
1544090867.118 * * [misc]simplify:  iters left: 4 (52 enodes)
1544090867.129 * * [misc]simplify:  iters left: 3 (102 enodes)
1544090867.161 * * [misc]simplify:  iters left: 2 (157 enodes)
1544090867.197 * * [misc]simplify:  iters left: 1 (174 enodes)
1544090867.217 * [exit]simplify:  Simplified to (pow (/ (sin re) (exp im)) 3)
1544090867.217 * [misc]simplify:  Simplified (2 2 3 1) to (λ (re im) (* 0.5 (fma (exp im) (sin re) (cbrt (pow (/ (sin re) (exp im)) 3)))))
1544090867.217 * * * * [misc]progress:  [ 8 / 32 ] simplifiying candidate #<alt (λ (re im) (* 0.5 (fma (exp im) (sin re) (* (* (cbrt (/ (sin re) (exp im))) (cbrt (/ (sin re) (exp im)))) (cbrt (/ (sin re) (exp im)))))))>
1544090867.217 * * * * [misc]progress:  [ 9 / 32 ] simplifiying candidate #<alt (λ (re im) (* 0.5 (fma (exp im) (sin re) (cbrt (* (* (/ (sin re) (exp im)) (/ (sin re) (exp im))) (/ (sin re) (exp im)))))))>
1544090867.217 * * * * [misc]progress:  [ 10 / 32 ] simplifiying candidate #<alt (λ (re im) (* 0.5 (fma (exp im) (sin re) (* (sqrt (/ (sin re) (exp im))) (sqrt (/ (sin re) (exp im)))))))>
1544090867.217 * * * * [misc]progress:  [ 11 / 32 ] simplifiying candidate #<alt (λ (re im) (* 0.5 (fma (exp im) (sin re) (/ (- (sin re)) (- (exp im))))))>
1544090867.218 * * * * [misc]progress:  [ 12 / 32 ] simplifiying candidate #<alt (λ (re im) (* 0.5 (fma (exp im) (sin re) (* (/ (* (cbrt (sin re)) (cbrt (sin re))) (* (cbrt (exp im)) (cbrt (exp im)))) (/ (cbrt (sin re)) (cbrt (exp im)))))))>
1544090867.218 * [enter]simplify:  Simplifying (/ (* (cbrt (sin re)) (cbrt (sin re))) (* (cbrt (exp im)) (cbrt (exp im))))
1544090867.218 * * [misc]simplify:  iters left: 6 (9 enodes)
1544090867.219 * * [misc]simplify:  iters left: 5 (15 enodes)
1544090867.222 * * [misc]simplify:  iters left: 4 (24 enodes)
1544090867.226 * * [misc]simplify:  iters left: 3 (27 enodes)
1544090867.230 * * [misc]simplify:  iters left: 2 (30 enodes)
1544090867.234 * [exit]simplify:  Simplified to (* (/ (cbrt (sin re)) (cbrt (exp im))) (/ (cbrt (sin re)) (cbrt (exp im))))
1544090867.234 * [misc]simplify:  Simplified (2 2 3 1) to (λ (re im) (* 0.5 (fma (exp im) (sin re) (* (* (/ (cbrt (sin re)) (cbrt (exp im))) (/ (cbrt (sin re)) (cbrt (exp im)))) (/ (cbrt (sin re)) (cbrt (exp im)))))))
1544090867.234 * [enter]simplify:  Simplifying (/ (cbrt (sin re)) (cbrt (exp im)))
1544090867.234 * * [misc]simplify:  iters left: 4 (7 enodes)
1544090867.235 * [exit]simplify:  Simplified to (/ (cbrt (sin re)) (cbrt (exp im)))
1544090867.235 * [misc]simplify:  Simplified (2 2 3 2) to (λ (re im) (* 0.5 (fma (exp im) (sin re) (* (/ (* (cbrt (sin re)) (cbrt (sin re))) (* (cbrt (exp im)) (cbrt (exp im)))) (/ (cbrt (sin re)) (cbrt (exp im)))))))
1544090867.235 * * * * [misc]progress:  [ 13 / 32 ] simplifiying candidate #<alt (λ (re im) (* 0.5 (fma (exp im) (sin re) (* (/ (* (cbrt (sin re)) (cbrt (sin re))) (sqrt (exp im))) (/ (cbrt (sin re)) (sqrt (exp im)))))))>
1544090867.235 * [enter]simplify:  Simplifying (/ (* (cbrt (sin re)) (cbrt (sin re))) (sqrt (exp im)))
1544090867.236 * * [misc]simplify:  iters left: 6 (8 enodes)
1544090867.237 * * [misc]simplify:  iters left: 5 (10 enodes)
1544090867.238 * * [misc]simplify:  iters left: 4 (12 enodes)
1544090867.240 * * [misc]simplify:  iters left: 3 (13 enodes)
1544090867.242 * [exit]simplify:  Simplified to (/ (* (cbrt (sin re)) (cbrt (sin re))) (sqrt (exp im)))
1544090867.242 * [misc]simplify:  Simplified (2 2 3 1) to (λ (re im) (* 0.5 (fma (exp im) (sin re) (* (/ (* (cbrt (sin re)) (cbrt (sin re))) (sqrt (exp im))) (/ (cbrt (sin re)) (sqrt (exp im)))))))
1544090867.243 * [enter]simplify:  Simplifying (/ (cbrt (sin re)) (sqrt (exp im)))
1544090867.243 * * [misc]simplify:  iters left: 4 (7 enodes)
1544090867.245 * [exit]simplify:  Simplified to (/ (cbrt (sin re)) (sqrt (exp im)))
1544090867.245 * [misc]simplify:  Simplified (2 2 3 2) to (λ (re im) (* 0.5 (fma (exp im) (sin re) (* (/ (* (cbrt (sin re)) (cbrt (sin re))) (sqrt (exp im))) (/ (cbrt (sin re)) (sqrt (exp im)))))))
1544090867.245 * * * * [misc]progress:  [ 14 / 32 ] simplifiying candidate #<alt (λ (re im) (* 0.5 (fma (exp im) (sin re) (* (/ (* (cbrt (sin re)) (cbrt (sin re))) 1) (/ (cbrt (sin re)) (exp im))))))>
1544090867.245 * [enter]simplify:  Simplifying (/ (* (cbrt (sin re)) (cbrt (sin re))) 1)
1544090867.245 * * [misc]simplify:  iters left: 6 (6 enodes)
1544090867.246 * * [misc]simplify:  iters left: 5 (10 enodes)
1544090867.248 * * [misc]simplify:  iters left: 4 (16 enodes)
1544090867.250 * * [misc]simplify:  iters left: 3 (18 enodes)
1544090867.253 * * [misc]simplify:  iters left: 2 (23 enodes)
1544090867.259 * [exit]simplify:  Simplified to (* (cbrt (sin re)) (cbrt (sin re)))
1544090867.259 * [misc]simplify:  Simplified (2 2 3 1) to (λ (re im) (* 0.5 (fma (exp im) (sin re) (* (* (cbrt (sin re)) (cbrt (sin re))) (/ (cbrt (sin re)) (exp im))))))
1544090867.259 * [enter]simplify:  Simplifying (/ (cbrt (sin re)) (exp im))
1544090867.259 * * [misc]simplify:  iters left: 4 (6 enodes)
1544090867.261 * [exit]simplify:  Simplified to (/ (cbrt (sin re)) (exp im))
1544090867.261 * [misc]simplify:  Simplified (2 2 3 2) to (λ (re im) (* 0.5 (fma (exp im) (sin re) (* (* (cbrt (sin re)) (cbrt (sin re))) (/ (cbrt (sin re)) (exp im))))))
1544090867.261 * * * * [misc]progress:  [ 15 / 32 ] simplifiying candidate #<alt (λ (re im) (* 0.5 (fma (exp im) (sin re) (* (/ (sqrt (sin re)) (* (cbrt (exp im)) (cbrt (exp im)))) (/ (sqrt (sin re)) (cbrt (exp im)))))))>
1544090867.261 * [enter]simplify:  Simplifying (/ (sqrt (sin re)) (* (cbrt (exp im)) (cbrt (exp im))))
1544090867.261 * * [misc]simplify:  iters left: 6 (8 enodes)
1544090867.264 * * [misc]simplify:  iters left: 5 (10 enodes)
1544090867.267 * [exit]simplify:  Simplified to (/ (/ (sqrt (sin re)) (cbrt (exp im))) (cbrt (exp im)))
1544090867.267 * [misc]simplify:  Simplified (2 2 3 1) to (λ (re im) (* 0.5 (fma (exp im) (sin re) (* (/ (/ (sqrt (sin re)) (cbrt (exp im))) (cbrt (exp im))) (/ (sqrt (sin re)) (cbrt (exp im)))))))
1544090867.268 * [enter]simplify:  Simplifying (/ (sqrt (sin re)) (cbrt (exp im)))
1544090867.268 * * [misc]simplify:  iters left: 4 (7 enodes)
1544090867.270 * [exit]simplify:  Simplified to (/ (sqrt (sin re)) (cbrt (exp im)))
1544090867.270 * [misc]simplify:  Simplified (2 2 3 2) to (λ (re im) (* 0.5 (fma (exp im) (sin re) (* (/ (sqrt (sin re)) (* (cbrt (exp im)) (cbrt (exp im)))) (/ (sqrt (sin re)) (cbrt (exp im)))))))
1544090867.270 * * * * [misc]progress:  [ 16 / 32 ] simplifiying candidate #<alt (λ (re im) (* 0.5 (fma (exp im) (sin re) (* (/ (sqrt (sin re)) (sqrt (exp im))) (/ (sqrt (sin re)) (sqrt (exp im)))))))>
1544090867.270 * [enter]simplify:  Simplifying (/ (sqrt (sin re)) (sqrt (exp im)))
1544090867.270 * * [misc]simplify:  iters left: 4 (7 enodes)
1544090867.273 * [exit]simplify:  Simplified to (/ (sqrt (sin re)) (sqrt (exp im)))
1544090867.273 * [misc]simplify:  Simplified (2 2 3 1) to (λ (re im) (* 0.5 (fma (exp im) (sin re) (* (/ (sqrt (sin re)) (sqrt (exp im))) (/ (sqrt (sin re)) (sqrt (exp im)))))))
1544090867.273 * [enter]simplify:  Simplifying (/ (sqrt (sin re)) (sqrt (exp im)))
1544090867.273 * * [misc]simplify:  iters left: 4 (7 enodes)
1544090867.275 * [exit]simplify:  Simplified to (/ (sqrt (sin re)) (sqrt (exp im)))
1544090867.275 * [misc]simplify:  Simplified (2 2 3 2) to (λ (re im) (* 0.5 (fma (exp im) (sin re) (* (/ (sqrt (sin re)) (sqrt (exp im))) (/ (sqrt (sin re)) (sqrt (exp im)))))))
1544090867.275 * * * * [misc]progress:  [ 17 / 32 ] simplifiying candidate #<alt (λ (re im) (* 0.5 (fma (exp im) (sin re) (* (/ (sqrt (sin re)) 1) (/ (sqrt (sin re)) (exp im))))))>
1544090867.276 * [enter]simplify:  Simplifying (/ (sqrt (sin re)) 1)
1544090867.276 * * [misc]simplify:  iters left: 4 (5 enodes)
1544090867.277 * * [misc]simplify:  iters left: 3 (7 enodes)
1544090867.280 * * [misc]simplify:  iters left: 2 (9 enodes)
1544090867.282 * [exit]simplify:  Simplified to (sqrt (sin re))
1544090867.282 * [misc]simplify:  Simplified (2 2 3 1) to (λ (re im) (* 0.5 (fma (exp im) (sin re) (* (sqrt (sin re)) (/ (sqrt (sin re)) (exp im))))))
1544090867.282 * [enter]simplify:  Simplifying (/ (sqrt (sin re)) (exp im))
1544090867.282 * * [misc]simplify:  iters left: 4 (6 enodes)
1544090867.284 * [exit]simplify:  Simplified to (/ (sqrt (sin re)) (exp im))
1544090867.284 * [misc]simplify:  Simplified (2 2 3 2) to (λ (re im) (* 0.5 (fma (exp im) (sin re) (* (sqrt (sin re)) (/ (sqrt (sin re)) (exp im))))))
1544090867.284 * * * * [misc]progress:  [ 18 / 32 ] simplifiying candidate #<alt (λ (re im) (* 0.5 (fma (exp im) (sin re) (* (/ 1 (* (cbrt (exp im)) (cbrt (exp im)))) (/ (sin re) (cbrt (exp im)))))))>
1544090867.285 * [enter]simplify:  Simplifying (/ 1 (* (cbrt (exp im)) (cbrt (exp im))))
1544090867.285 * * [misc]simplify:  iters left: 6 (6 enodes)
1544090867.287 * * [misc]simplify:  iters left: 5 (10 enodes)
1544090867.290 * [exit]simplify:  Simplified to (/ (/ 1 (cbrt (exp im))) (cbrt (exp im)))
1544090867.290 * [misc]simplify:  Simplified (2 2 3 1) to (λ (re im) (* 0.5 (fma (exp im) (sin re) (* (/ (/ 1 (cbrt (exp im))) (cbrt (exp im))) (/ (sin re) (cbrt (exp im)))))))
1544090867.290 * [enter]simplify:  Simplifying (/ (sin re) (cbrt (exp im)))
1544090867.290 * * [misc]simplify:  iters left: 4 (6 enodes)
1544090867.292 * [exit]simplify:  Simplified to (/ (sin re) (cbrt (exp im)))
1544090867.292 * [misc]simplify:  Simplified (2 2 3 2) to (λ (re im) (* 0.5 (fma (exp im) (sin re) (* (/ 1 (* (cbrt (exp im)) (cbrt (exp im)))) (/ (sin re) (cbrt (exp im)))))))
1544090867.292 * * * * [misc]progress:  [ 19 / 32 ] simplifiying candidate #<alt (λ (re im) (* 0.5 (fma (exp im) (sin re) (* (/ 1 (sqrt (exp im))) (/ (sin re) (sqrt (exp im)))))))>
1544090867.292 * [enter]simplify:  Simplifying (/ 1 (sqrt (exp im)))
1544090867.292 * * [misc]simplify:  iters left: 4 (5 enodes)
1544090867.294 * * [misc]simplify:  iters left: 3 (7 enodes)
1544090867.296 * [exit]simplify:  Simplified to (/ 1 (sqrt (exp im)))
1544090867.296 * [misc]simplify:  Simplified (2 2 3 1) to (λ (re im) (* 0.5 (fma (exp im) (sin re) (* (/ 1 (sqrt (exp im))) (/ (sin re) (sqrt (exp im)))))))
1544090867.296 * [enter]simplify:  Simplifying (/ (sin re) (sqrt (exp im)))
1544090867.296 * * [misc]simplify:  iters left: 4 (6 enodes)
1544090867.298 * [exit]simplify:  Simplified to (/ (sin re) (sqrt (exp im)))
1544090867.298 * [misc]simplify:  Simplified (2 2 3 2) to (λ (re im) (* 0.5 (fma (exp im) (sin re) (* (/ 1 (sqrt (exp im))) (/ (sin re) (sqrt (exp im)))))))
1544090867.298 * * * * [misc]progress:  [ 20 / 32 ] simplifiying candidate #<alt (λ (re im) (* 0.5 (fma (exp im) (sin re) (* (/ 1 1) (/ (sin re) (exp im))))))>
1544090867.298 * [enter]simplify:  Simplifying (/ 1 1)
1544090867.298 * * [misc]simplify:  iters left: 2 (2 enodes)
1544090867.299 * * [misc]simplify:  iters left: 1 (4 enodes)
1544090867.300 * [exit]simplify:  Simplified to 1
1544090867.300 * [misc]simplify:  Simplified (2 2 3 1) to (λ (re im) (* 0.5 (fma (exp im) (sin re) (* 1 (/ (sin re) (exp im))))))
1544090867.300 * [enter]simplify:  Simplifying (/ (sin re) (exp im))
1544090867.300 * * [misc]simplify:  iters left: 3 (5 enodes)
1544090867.302 * [exit]simplify:  Simplified to (/ (sin re) (exp im))
1544090867.302 * [misc]simplify:  Simplified (2 2 3 2) to (λ (re im) (* 0.5 (fma (exp im) (sin re) (* 1 (/ (sin re) (exp im))))))
1544090867.302 * * * * [misc]progress:  [ 21 / 32 ] simplifiying candidate #<alt (λ (re im) (* 0.5 (fma (exp im) (sin re) (* 1 (/ (sin re) (exp im))))))>
1544090867.302 * * * * [misc]progress:  [ 22 / 32 ] simplifiying candidate #<alt (λ (re im) (* 0.5 (fma (exp im) (sin re) (* (sin re) (/ 1 (exp im))))))>
1544090867.302 * * * * [misc]progress:  [ 23 / 32 ] simplifiying candidate #<alt (λ (re im) (* 0.5 (fma (exp im) (sin re) (/ 1 (/ (exp im) (sin re))))))>
1544090867.302 * * * * [misc]progress:  [ 24 / 32 ] simplifiying candidate #<alt (λ (re im) (* 0.5 (fma (exp im) (sin re) (/ (/ (sin re) (* (cbrt (exp im)) (cbrt (exp im)))) (cbrt (exp im))))))>
1544090867.302 * [enter]simplify:  Simplifying (cbrt (exp im))
1544090867.303 * * [misc]simplify:  iters left: 2 (3 enodes)
1544090867.304 * [exit]simplify:  Simplified to (cbrt (exp im))
1544090867.304 * [misc]simplify:  Simplified (2 2 3 2) to (λ (re im) (* 0.5 (fma (exp im) (sin re) (/ (/ (sin re) (* (cbrt (exp im)) (cbrt (exp im)))) (cbrt (exp im))))))
1544090867.304 * * * * [misc]progress:  [ 25 / 32 ] simplifiying candidate #<alt (λ (re im) (* 0.5 (fma (exp im) (sin re) (/ (/ (sin re) (sqrt (exp im))) (sqrt (exp im))))))>
1544090867.304 * [enter]simplify:  Simplifying (sqrt (exp im))
1544090867.304 * * [misc]simplify:  iters left: 2 (3 enodes)
1544090867.305 * [exit]simplify:  Simplified to (sqrt (exp im))
1544090867.305 * [misc]simplify:  Simplified (2 2 3 2) to (λ (re im) (* 0.5 (fma (exp im) (sin re) (/ (/ (sin re) (sqrt (exp im))) (sqrt (exp im))))))
1544090867.305 * * * * [misc]progress:  [ 26 / 32 ] simplifiying candidate #<alt (λ (re im) (* 0.5 (fma (exp im) (sin re) (/ (/ (sin re) 1) (exp im)))))>
1544090867.305 * [enter]simplify:  Simplifying (exp im)
1544090867.305 * * [misc]simplify:  iters left: 1 (2 enodes)
1544090867.306 * [exit]simplify:  Simplified to (exp im)
1544090867.306 * [misc]simplify:  Simplified (2 2 3 2) to (λ (re im) (* 0.5 (fma (exp im) (sin re) (/ (/ (sin re) 1) (exp im)))))
1544090867.306 * * * * [misc]progress:  [ 27 / 32 ] simplifiying candidate #<alt (λ (re im) (* 0.5 (fma (exp im) (sin re) (/ (* (cbrt (sin re)) (cbrt (sin re))) (/ (exp im) (cbrt (sin re)))))))>
1544090867.306 * [enter]simplify:  Simplifying (* (cbrt (sin re)) (cbrt (sin re)))
1544090867.306 * * [misc]simplify:  iters left: 4 (4 enodes)
1544090867.308 * [exit]simplify:  Simplified to (* (cbrt (sin re)) (cbrt (sin re)))
1544090867.308 * [misc]simplify:  Simplified (2 2 3 1) to (λ (re im) (* 0.5 (fma (exp im) (sin re) (/ (* (cbrt (sin re)) (cbrt (sin re))) (/ (exp im) (cbrt (sin re)))))))
1544090867.308 * * * * [misc]progress:  [ 28 / 32 ] simplifiying candidate #<alt (λ (re im) (* 0.5 (fma (exp im) (sin re) (/ (sqrt (sin re)) (/ (exp im) (sqrt (sin re)))))))>
1544090867.308 * [enter]simplify:  Simplifying (sqrt (sin re))
1544090867.308 * * [misc]simplify:  iters left: 2 (3 enodes)
1544090867.309 * [exit]simplify:  Simplified to (sqrt (sin re))
1544090867.309 * [misc]simplify:  Simplified (2 2 3 1) to (λ (re im) (* 0.5 (fma (exp im) (sin re) (/ (sqrt (sin re)) (/ (exp im) (sqrt (sin re)))))))
1544090867.309 * * * * [misc]progress:  [ 29 / 32 ] simplifiying candidate #<alt (λ (re im) (* 0.5 (fma (exp im) (sin re) (/ 1 (/ (exp im) (sin re))))))>
1544090867.309 * * * * [misc]progress:  [ 30 / 32 ] simplifiying candidate #<alt (λ (re im) (* 0.5 (fma (exp im) (sin re) (- re (+ (* re im) (* 1/6 (pow re 3)))))))>
1544090867.309 * [enter]simplify:  Simplifying (- re (+ (* re im) (* 1/6 (pow re 3))))
1544090867.309 * * [misc]simplify:  iters left: 6 (9 enodes)
1544090867.313 * * [misc]simplify:  iters left: 5 (20 enodes)
1544090867.320 * * [misc]simplify:  iters left: 4 (39 enodes)
1544090867.335 * * [misc]simplify:  iters left: 3 (90 enodes)
1544090867.376 * * [misc]simplify:  iters left: 2 (219 enodes)
1544090867.463 * * [misc]simplify:  iters left: 1 (335 enodes)
1544090867.561 * [exit]simplify:  Simplified to (* (fma -1/6 (* re re) (- 1 im)) re)
1544090867.561 * [misc]simplify:  Simplified (2 2 3) to (λ (re im) (* 0.5 (fma (exp im) (sin re) (* (fma -1/6 (* re re) (- 1 im)) re))))
1544090867.561 * * * * [misc]progress:  [ 31 / 32 ] simplifiying candidate #<alt (λ (re im) (* 0.5 (fma (exp im) (sin re) (/ (sin re) (exp im)))))>
1544090867.561 * [enter]simplify:  Simplifying (/ (sin re) (exp im))
1544090867.561 * * [misc]simplify:  iters left: 3 (5 enodes)
1544090867.562 * [exit]simplify:  Simplified to (/ (sin re) (exp im))
1544090867.562 * [misc]simplify:  Simplified (2 2 3) to (λ (re im) (* 0.5 (fma (exp im) (sin re) (/ (sin re) (exp im)))))
1544090867.562 * * * * [misc]progress:  [ 32 / 32 ] simplifiying candidate #<alt (λ (re im) (* 0.5 (fma (exp im) (sin re) (/ (sin re) (exp im)))))>
1544090867.562 * [enter]simplify:  Simplifying (/ (sin re) (exp im))
1544090867.562 * * [misc]simplify:  iters left: 3 (5 enodes)
1544090867.563 * [exit]simplify:  Simplified to (/ (sin re) (exp im))
1544090867.563 * [misc]simplify:  Simplified (2 2 3) to (λ (re im) (* 0.5 (fma (exp im) (sin re) (/ (sin re) (exp im)))))
1544090867.563 * * * [misc]progress:  adding candidates to table
1544090867.865 * [misc]progress:  [Phase 3 of 3] Extracting.
1544090867.868 * [enter]simplify:  Simplifying (* 0.5 (fma (exp im) (sin re) (/ (sin re) (exp im))))
1544090867.868 * * [misc]simplify:  iters left: 6 (8 enodes)
1544090867.869 * * [misc]simplify:  iters left: 5 (9 enodes)
1544090867.869 * [exit]simplify:  Simplified to (* 0.5 (fma (exp im) (sin re) (/ (sin re) (exp im))))
1544090867.869 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1544090867.904 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1544090867.905 * * * * [misc]points:  Setting MPFR precision to 64
1544090867.906 * * * * [misc]points:  Setting MPFR precision to 320
1544090867.907 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1544090867.908 * * * * [misc]points:  Setting MPFR precision to 64
1544090867.909 * * * * [misc]points:  Setting MPFR precision to 320
1544090867.910 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1544090867.911 * * * * [misc]points:  Setting MPFR precision to 64
1544090867.913 * * * * [misc]points:  Setting MPFR precision to 320
1544090867.916 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1544090867.919 * * * * [misc]points:  Setting MPFR precision to 64
1544090867.927 * * * * [misc]points:  Setting MPFR precision to 320
1544090867.948 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1544090867.950 * * * * [misc]points:  Setting MPFR precision to 64
1544090867.967 * * * * [misc]points:  Setting MPFR precision to 320
1544090867.976 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1544090867.977 * * * * [misc]points:  Setting MPFR precision to 64
1544090867.992 * * * * [misc]points:  Setting MPFR precision to 320
1544090868.010 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1544090868.012 * * * * [misc]points:  Setting MPFR precision to 64
1544090868.041 * * * * [misc]points:  Setting MPFR precision to 320
1544090868.094 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1544090868.133 * * * * [misc]points:  Setting MPFR precision to 64
1544090868.215 * * * * [misc]points:  Setting MPFR precision to 320
1544090868.346 * * * * [misc]points:  Computing exacts for 8000 points
1544090868.349 * * * * [misc]points:  Setting MPFR precision to 64
1544090868.838 * * * * [misc]points:  Setting MPFR precision to 320
1544090869.714 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544090869.717 * * * * [misc]points:  Sampling 3852 additional inputs, on iter 1 have 4148 / 8000
1544090869.780 * * * * [misc]points:  Computing exacts on every 240 of 3852 points to ramp up precision
1544090869.784 * * * * [misc]points:  Setting MPFR precision to 64
1544090869.785 * * * * [misc]points:  Setting MPFR precision to 320
1544090869.786 * * * * [misc]points:  Computing exacts on every 120 of 3852 points to ramp up precision
1544090869.789 * * * * [misc]points:  Setting MPFR precision to 64
1544090869.791 * * * * [misc]points:  Setting MPFR precision to 320
1544090869.793 * * * * [misc]points:  Computing exacts on every 60 of 3852 points to ramp up precision
1544090869.796 * * * * [misc]points:  Setting MPFR precision to 64
1544090869.800 * * * * [misc]points:  Setting MPFR precision to 320
1544090869.805 * * * * [misc]points:  Computing exacts on every 30 of 3852 points to ramp up precision
1544090869.808 * * * * [misc]points:  Setting MPFR precision to 64
1544090869.815 * * * * [misc]points:  Setting MPFR precision to 320
1544090869.824 * * * * [misc]points:  Computing exacts on every 15 of 3852 points to ramp up precision
1544090869.826 * * * * [misc]points:  Setting MPFR precision to 64
1544090869.841 * * * * [misc]points:  Setting MPFR precision to 320
1544090869.857 * * * * [misc]points:  Computing exacts on every 7 of 3852 points to ramp up precision
1544090869.860 * * * * [misc]points:  Setting MPFR precision to 64
1544090869.886 * * * * [misc]points:  Setting MPFR precision to 320
1544090869.945 * * * * [misc]points:  Computing exacts on every 3 of 3852 points to ramp up precision
1544090869.947 * * * * [misc]points:  Setting MPFR precision to 64
1544090869.999 * * * * [misc]points:  Setting MPFR precision to 320
1544090870.057 * * * * [misc]points:  Computing exacts for 3852 points
1544090870.059 * * * * [misc]points:  Setting MPFR precision to 64
1544090870.241 * * * * [misc]points:  Setting MPFR precision to 320
1544090870.475 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544090870.477 * * * * [misc]points:  Sampling 1875 additional inputs, on iter 2 have 6125 / 8000
1544090870.492 * * * * [misc]points:  Computing exacts on every 117 of 1875 points to ramp up precision
1544090870.540 * * * * [misc]points:  Setting MPFR precision to 64
1544090870.541 * * * * [misc]points:  Setting MPFR precision to 320
1544090870.542 * * * * [misc]points:  Computing exacts on every 58 of 1875 points to ramp up precision
1544090870.544 * * * * [misc]points:  Setting MPFR precision to 64
1544090870.546 * * * * [misc]points:  Setting MPFR precision to 320
1544090870.553 * * * * [misc]points:  Computing exacts on every 29 of 1875 points to ramp up precision
1544090870.555 * * * * [misc]points:  Setting MPFR precision to 64
1544090870.559 * * * * [misc]points:  Setting MPFR precision to 320
1544090870.563 * * * * [misc]points:  Computing exacts on every 14 of 1875 points to ramp up precision
1544090870.565 * * * * [misc]points:  Setting MPFR precision to 64
1544090870.573 * * * * [misc]points:  Setting MPFR precision to 320
1544090870.581 * * * * [misc]points:  Computing exacts on every 7 of 1875 points to ramp up precision
1544090870.583 * * * * [misc]points:  Setting MPFR precision to 64
1544090870.597 * * * * [misc]points:  Setting MPFR precision to 320
1544090870.613 * * * * [misc]points:  Computing exacts on every 3 of 1875 points to ramp up precision
1544090870.616 * * * * [misc]points:  Setting MPFR precision to 64
1544090870.643 * * * * [misc]points:  Setting MPFR precision to 320
1544090870.674 * * * * [misc]points:  Computing exacts for 1875 points
1544090870.676 * * * * [misc]points:  Setting MPFR precision to 64
1544090870.834 * * * * [misc]points:  Setting MPFR precision to 320
1544090870.959 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544090870.960 * * * * [misc]points:  Sampling 945 additional inputs, on iter 3 have 7055 / 8000
1544090870.968 * * * * [misc]points:  Computing exacts on every 59 of 945 points to ramp up precision
1544090870.971 * * * * [misc]points:  Setting MPFR precision to 64
1544090870.975 * * * * [misc]points:  Setting MPFR precision to 320
1544090870.980 * * * * [misc]points:  Computing exacts on every 29 of 945 points to ramp up precision
1544090870.982 * * * * [misc]points:  Setting MPFR precision to 64
1544090870.984 * * * * [misc]points:  Setting MPFR precision to 320
1544090870.986 * * * * [misc]points:  Computing exacts on every 14 of 945 points to ramp up precision
1544090870.989 * * * * [misc]points:  Setting MPFR precision to 64
1544090870.993 * * * * [misc]points:  Setting MPFR precision to 320
1544090870.997 * * * * [misc]points:  Computing exacts on every 7 of 945 points to ramp up precision
1544090871.000 * * * * [misc]points:  Setting MPFR precision to 64
1544090871.006 * * * * [misc]points:  Setting MPFR precision to 320
1544090871.058 * * * * [misc]points:  Computing exacts on every 3 of 945 points to ramp up precision
1544090871.061 * * * * [misc]points:  Setting MPFR precision to 64
1544090871.079 * * * * [misc]points:  Setting MPFR precision to 320
1544090871.095 * * * * [misc]points:  Computing exacts for 945 points
1544090871.098 * * * * [misc]points:  Setting MPFR precision to 64
1544090871.144 * * * * [misc]points:  Setting MPFR precision to 320
1544090871.198 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544090871.198 * * * * [misc]points:  Sampling 486 additional inputs, on iter 4 have 7514 / 8000
1544090871.201 * * * * [misc]points:  Computing exacts on every 30 of 486 points to ramp up precision
1544090871.202 * * * * [misc]points:  Setting MPFR precision to 64
1544090871.203 * * * * [misc]points:  Setting MPFR precision to 320
1544090871.203 * * * * [misc]points:  Computing exacts on every 15 of 486 points to ramp up precision
1544090871.205 * * * * [misc]points:  Setting MPFR precision to 64
1544090871.206 * * * * [misc]points:  Setting MPFR precision to 320
1544090871.207 * * * * [misc]points:  Computing exacts on every 7 of 486 points to ramp up precision
1544090871.208 * * * * [misc]points:  Setting MPFR precision to 64
1544090871.210 * * * * [misc]points:  Setting MPFR precision to 320
1544090871.212 * * * * [misc]points:  Computing exacts on every 3 of 486 points to ramp up precision
1544090871.213 * * * * [misc]points:  Setting MPFR precision to 64
1544090871.217 * * * * [misc]points:  Setting MPFR precision to 320
1544090871.221 * * * * [misc]points:  Computing exacts for 486 points
1544090871.222 * * * * [misc]points:  Setting MPFR precision to 64
1544090871.275 * * * * [misc]points:  Setting MPFR precision to 320
1544090871.297 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544090871.297 * * * * [misc]points:  Sampling 229 additional inputs, on iter 5 have 7771 / 8000
1544090871.300 * * * * [misc]points:  Computing exacts on every 14 of 229 points to ramp up precision
1544090871.302 * * * * [misc]points:  Setting MPFR precision to 64
1544090871.303 * * * * [misc]points:  Setting MPFR precision to 320
1544090871.304 * * * * [misc]points:  Computing exacts on every 7 of 229 points to ramp up precision
1544090871.307 * * * * [misc]points:  Setting MPFR precision to 64
1544090871.308 * * * * [misc]points:  Setting MPFR precision to 320
1544090871.311 * * * * [misc]points:  Computing exacts on every 3 of 229 points to ramp up precision
1544090871.313 * * * * [misc]points:  Setting MPFR precision to 64
1544090871.317 * * * * [misc]points:  Setting MPFR precision to 320
1544090871.321 * * * * [misc]points:  Computing exacts for 229 points
1544090871.323 * * * * [misc]points:  Setting MPFR precision to 64
1544090871.337 * * * * [misc]points:  Setting MPFR precision to 320
1544090871.353 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544090871.353 * * * * [misc]points:  Sampling 108 additional inputs, on iter 6 have 7892 / 8000
1544090871.354 * * * * [misc]points:  Computing exacts on every 6 of 108 points to ramp up precision
1544090871.357 * * * * [misc]points:  Setting MPFR precision to 64
1544090871.358 * * * * [misc]points:  Setting MPFR precision to 320
1544090871.359 * * * * [misc]points:  Computing exacts on every 3 of 108 points to ramp up precision
1544090871.361 * * * * [misc]points:  Setting MPFR precision to 64
1544090871.363 * * * * [misc]points:  Setting MPFR precision to 320
1544090871.365 * * * * [misc]points:  Computing exacts for 108 points
1544090871.367 * * * * [misc]points:  Setting MPFR precision to 64
1544090871.373 * * * * [misc]points:  Setting MPFR precision to 320
1544090871.381 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544090871.381 * * * * [misc]points:  Sampling 50 additional inputs, on iter 7 have 7950 / 8000
1544090871.381 * * * * [misc]points:  Computing exacts on every 3 of 50 points to ramp up precision
1544090871.384 * * * * [misc]points:  Setting MPFR precision to 64
1544090871.384 * * * * [misc]points:  Setting MPFR precision to 320
1544090871.385 * * * * [misc]points:  Computing exacts for 50 points
1544090871.388 * * * * [misc]points:  Setting MPFR precision to 64
1544090871.390 * * * * [misc]points:  Setting MPFR precision to 320
1544090871.394 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544090871.394 * * * * [misc]points:  Sampling 26 additional inputs, on iter 8 have 7974 / 8000
1544090871.394 * * * * [misc]points:  Computing exacts for 26 points
1544090871.397 * * * * [misc]points:  Setting MPFR precision to 64
1544090871.398 * * * * [misc]points:  Setting MPFR precision to 320
1544090871.400 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544090871.400 * * * * [misc]points:  Sampling 11 additional inputs, on iter 9 have 7989 / 8000
1544090871.400 * * * * [misc]points:  Computing exacts for 11 points
1544090871.402 * * * * [misc]points:  Setting MPFR precision to 64
1544090871.403 * * * * [misc]points:  Setting MPFR precision to 320
1544090871.404 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544090871.404 * * * * [misc]points:  Sampling 5 additional inputs, on iter 10 have 7995 / 8000
1544090871.404 * * * * [misc]points:  Computing exacts for 5 points
1544090871.406 * * * * [misc]points:  Setting MPFR precision to 64
1544090871.407 * * * * [misc]points:  Setting MPFR precision to 320
1544090871.407 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544090871.407 * * * * [exit]points:  Sampled 8000 points with exact outputs
1544090871.718 * [misc]regime-testing:  Baseline error score: 0.02334094531633254
1544090871.718 * [misc]regime-testing:  End program error score: 0.02334094531633254
1544090871.721 * [misc]regime-testing:  Oracle error score: 0.02334094531633254