1540194406.333 * [misc]progress:  [Phase 1 of 3] Setting up.
1540194406.334 * * * [misc]progress:  [1/2] Preparing points
1540194406.334 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1540194406.336 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1540194406.338 * * * * [misc]points:  Setting MPFR precision to 64
1540194406.340 * * * * [misc]points:  Setting MPFR precision to 320
1540194406.341 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1540194406.343 * * * * [misc]points:  Setting MPFR precision to 64
1540194406.345 * * * * [misc]points:  Setting MPFR precision to 320
1540194406.347 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1540194406.349 * * * * [misc]points:  Setting MPFR precision to 64
1540194406.352 * * * * [misc]points:  Setting MPFR precision to 320
1540194406.355 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1540194406.357 * * * * [misc]points:  Setting MPFR precision to 64
1540194406.363 * * * * [misc]points:  Setting MPFR precision to 320
1540194406.368 * * * * [misc]points:  Computing exacts for 256 points
1540194406.370 * * * * [misc]points:  Setting MPFR precision to 64
1540194406.385 * * * * [misc]points:  Setting MPFR precision to 320
1540194406.401 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540194406.401 * * * * [misc]points:  Sampling 125 additional inputs, on iter 1 have 131 / 256
1540194406.402 * * * * [misc]points:  Computing exacts on every 7 of 125 points to ramp up precision
1540194406.404 * * * * [misc]points:  Setting MPFR precision to 64
1540194406.405 * * * * [misc]points:  Setting MPFR precision to 320
1540194406.406 * * * * [misc]points:  Computing exacts on every 3 of 125 points to ramp up precision
1540194406.408 * * * * [misc]points:  Setting MPFR precision to 64
1540194406.410 * * * * [misc]points:  Setting MPFR precision to 320
1540194406.412 * * * * [misc]points:  Computing exacts for 125 points
1540194406.414 * * * * [misc]points:  Setting MPFR precision to 64
1540194406.421 * * * * [misc]points:  Setting MPFR precision to 320
1540194406.429 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540194406.429 * * * * [misc]points:  Sampling 64 additional inputs, on iter 2 have 192 / 256
1540194406.429 * * * * [misc]points:  Computing exacts on every 4 of 64 points to ramp up precision
1540194406.432 * * * * [misc]points:  Setting MPFR precision to 64
1540194406.433 * * * * [misc]points:  Setting MPFR precision to 320
1540194406.433 * * * * [misc]points:  Computing exacts on every 2 of 64 points to ramp up precision
1540194406.435 * * * * [misc]points:  Setting MPFR precision to 64
1540194406.437 * * * * [misc]points:  Setting MPFR precision to 320
1540194406.438 * * * * [misc]points:  Computing exacts for 64 points
1540194406.440 * * * * [misc]points:  Setting MPFR precision to 64
1540194406.444 * * * * [misc]points:  Setting MPFR precision to 320
1540194406.448 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540194406.448 * * * * [misc]points:  Sampling 35 additional inputs, on iter 3 have 221 / 256
1540194406.448 * * * * [misc]points:  Computing exacts on every 2 of 35 points to ramp up precision
1540194406.451 * * * * [misc]points:  Setting MPFR precision to 64
1540194406.451 * * * * [misc]points:  Setting MPFR precision to 320
1540194406.452 * * * * [misc]points:  Computing exacts for 35 points
1540194406.454 * * * * [misc]points:  Setting MPFR precision to 64
1540194406.456 * * * * [misc]points:  Setting MPFR precision to 320
1540194406.458 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540194406.458 * * * * [misc]points:  Sampling 20 additional inputs, on iter 4 have 236 / 256
1540194406.459 * * * * [misc]points:  Computing exacts for 20 points
1540194406.461 * * * * [misc]points:  Setting MPFR precision to 64
1540194406.462 * * * * [misc]points:  Setting MPFR precision to 320
1540194406.463 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540194406.463 * * * * [misc]points:  Sampling 13 additional inputs, on iter 5 have 243 / 256
1540194406.463 * * * * [misc]points:  Computing exacts for 13 points
1540194406.465 * * * * [misc]points:  Setting MPFR precision to 64
1540194406.466 * * * * [misc]points:  Setting MPFR precision to 320
1540194406.467 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540194406.467 * * * * [misc]points:  Sampling 5 additional inputs, on iter 6 have 251 / 256
1540194406.467 * * * * [misc]points:  Computing exacts for 5 points
1540194406.469 * * * * [misc]points:  Setting MPFR precision to 64
1540194406.470 * * * * [misc]points:  Setting MPFR precision to 320
1540194406.470 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540194406.470 * * * * [misc]points:  Sampling 4 additional inputs, on iter 7 have 254 / 256
1540194406.470 * * * * [misc]points:  Computing exacts for 4 points
1540194406.472 * * * * [misc]points:  Setting MPFR precision to 64
1540194406.472 * * * * [misc]points:  Setting MPFR precision to 320
1540194406.473 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540194406.473 * * * * [exit]points:  Sampled 256 points with exact outputs
1540194406.473 * * * [misc]progress:  [2/2] Setting up program.
1540194406.478 * [misc]progress:  [Phase 2 of 3] Improving.
1540194406.479 * [enter]simplify:  Simplifying (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im)))
1540194406.479 * * [misc]simplify:  iters left: 6 (10 enodes)
1540194406.482 * * [misc]simplify:  iters left: 5 (23 enodes)
1540194406.490 * * [misc]simplify:  iters left: 4 (57 enodes)
1540194406.529 * * [misc]simplify:  iters left: 3 (86 enodes)
1540194406.548 * * [misc]simplify:  iters left: 2 (197 enodes)
1540194406.631 * * [misc]simplify:  iters left: 1 (476 enodes)
1540194406.814 * [exit]simplify:  Simplified to (* (+ (/ 0.5 (exp im)) (* 0.5 (exp im))) (cos re))
1540194406.825 * * [misc]progress:  iteration 1 / 4
1540194406.826 * * * [misc]progress:  picking best candidate
1540194406.830 * * * * [misc]pick:  Picked  #<alt (λ (re im) (* (+ (/ 0.5 (exp im)) (* 0.5 (exp im))) (cos re)))>
1540194406.831 * * * [misc]progress:  localizing error
1540194406.864 * * * [misc]progress:  generating rewritten candidates
1540194406.864 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2 1 1)
1540194406.868 * * * [misc]progress:  generating series expansions
1540194406.868 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2 1 1)
1540194406.868 * [misc]backup-simplify:  Simplify (/ 0.5 (exp im)) into (/ 0.5 (exp im))
1540194406.868 * [misc]approximate:  Taking taylor expansion of (/ 0.5 (exp im)) in (im) around 0
1540194406.868 * [misc]taylor:  Taking taylor expansion of (/ 0.5 (exp im)) in im
1540194406.868 * [misc]taylor:  Taking taylor expansion of 0.5 in im
1540194406.868 * [misc]backup-simplify:  Simplify 0.5 into 0.5
1540194406.868 * [misc]taylor:  Taking taylor expansion of (exp im) in im
1540194406.868 * [misc]taylor:  Taking taylor expansion of im in im
1540194406.868 * [misc]backup-simplify:  Simplify 0 into 0
1540194406.868 * [misc]backup-simplify:  Simplify 1 into 1
1540194406.868 * [misc]backup-simplify:  Simplify (exp 0) into 1
1540194406.869 * [misc]backup-simplify:  Simplify (/ 0.5 1) into 0.5
1540194406.869 * [misc]taylor:  Taking taylor expansion of (/ 0.5 (exp im)) in im
1540194406.869 * [misc]taylor:  Taking taylor expansion of 0.5 in im
1540194406.869 * [misc]backup-simplify:  Simplify 0.5 into 0.5
1540194406.869 * [misc]taylor:  Taking taylor expansion of (exp im) in im
1540194406.869 * [misc]taylor:  Taking taylor expansion of im in im
1540194406.869 * [misc]backup-simplify:  Simplify 0 into 0
1540194406.869 * [misc]backup-simplify:  Simplify 1 into 1
1540194406.869 * [misc]backup-simplify:  Simplify (exp 0) into 1
1540194406.869 * [misc]backup-simplify:  Simplify (/ 0.5 1) into 0.5
1540194406.869 * [misc]backup-simplify:  Simplify 0.5 into 0.5
1540194406.871 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1540194406.872 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 0.5 (/ 1 1)))) into (- 0.5)
1540194406.872 * [misc]backup-simplify:  Simplify (- 0.5) into (- 0.5)
1540194406.875 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1540194406.876 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 0.5 (/ 1/2 1)) (* (- 0.5) (/ 1 1)))) into 0.25
1540194406.876 * [misc]backup-simplify:  Simplify 0.25 into 0.25
1540194406.876 * [misc]backup-simplify:  Simplify (+ (* 0.25 (pow im 2)) (+ (* (- 0.5) im) 0.5)) into (- (+ (* 0.25 (pow im 2)) 0.5) (* 0.5 im))
1540194406.876 * [misc]backup-simplify:  Simplify (/ 0.5 (exp (/ 1 im))) into (/ 0.5 (exp (/ 1 im)))
1540194406.876 * [misc]approximate:  Taking taylor expansion of (/ 0.5 (exp (/ 1 im))) in (im) around 0
1540194406.876 * [misc]taylor:  Taking taylor expansion of (/ 0.5 (exp (/ 1 im))) in im
1540194406.876 * [misc]taylor:  Taking taylor expansion of 0.5 in im
1540194406.876 * [misc]backup-simplify:  Simplify 0.5 into 0.5
1540194406.876 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 im)) in im
1540194406.876 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in im
1540194406.876 * [misc]taylor:  Taking taylor expansion of im in im
1540194406.876 * [misc]backup-simplify:  Simplify 0 into 0
1540194406.876 * [misc]backup-simplify:  Simplify 1 into 1
1540194406.876 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540194406.877 * [misc]backup-simplify:  Simplify (exp (/ 1 im)) into (exp (/ 1 im))
1540194406.877 * [misc]backup-simplify:  Simplify (/ 0.5 (exp (/ 1 im))) into (/ 0.5 (exp (/ 1 im)))
1540194406.877 * [misc]taylor:  Taking taylor expansion of (/ 0.5 (exp (/ 1 im))) in im
1540194406.877 * [misc]taylor:  Taking taylor expansion of 0.5 in im
1540194406.877 * [misc]backup-simplify:  Simplify 0.5 into 0.5
1540194406.877 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 im)) in im
1540194406.877 * [misc]taylor:  Taking taylor expansion of (/ 1 im) in im
1540194406.877 * [misc]taylor:  Taking taylor expansion of im in im
1540194406.877 * [misc]backup-simplify:  Simplify 0 into 0
1540194406.877 * [misc]backup-simplify:  Simplify 1 into 1
1540194406.877 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1540194406.877 * [misc]backup-simplify:  Simplify (exp (/ 1 im)) into (exp (/ 1 im))
1540194406.877 * [misc]backup-simplify:  Simplify (/ 0.5 (exp (/ 1 im))) into (/ 0.5 (exp (/ 1 im)))
1540194406.877 * [misc]backup-simplify:  Simplify (/ 0.5 (exp (/ 1 im))) into (/ 0.5 (exp (/ 1 im)))
1540194406.877 * [misc]backup-simplify:  Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ 0.5 (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))))) into 0
1540194406.877 * [misc]backup-simplify:  Simplify 0 into 0
1540194406.877 * [misc]backup-simplify:  Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ 0.5 (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0
1540194406.877 * [misc]backup-simplify:  Simplify 0 into 0
1540194406.878 * [misc]backup-simplify:  Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ 0.5 (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0
1540194406.878 * [misc]backup-simplify:  Simplify 0 into 0
1540194406.878 * [misc]backup-simplify:  Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ 0.5 (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0
1540194406.878 * [misc]backup-simplify:  Simplify 0 into 0
1540194406.878 * [misc]backup-simplify:  Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ 0.5 (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0
1540194406.878 * [misc]backup-simplify:  Simplify 0 into 0
1540194406.879 * [misc]backup-simplify:  Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ 0.5 (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0
1540194406.879 * [misc]backup-simplify:  Simplify 0 into 0
1540194406.879 * [misc]backup-simplify:  Simplify (/ 0.5 (exp (/ 1 (/ 1 im)))) into (/ 0.5 (exp im))
1540194406.879 * [misc]backup-simplify:  Simplify (/ 0.5 (exp (/ 1 (- im)))) into (/ 0.5 (exp (/ -1 im)))
1540194406.879 * [misc]approximate:  Taking taylor expansion of (/ 0.5 (exp (/ -1 im))) in (im) around 0
1540194406.879 * [misc]taylor:  Taking taylor expansion of (/ 0.5 (exp (/ -1 im))) in im
1540194406.879 * [misc]taylor:  Taking taylor expansion of 0.5 in im
1540194406.879 * [misc]backup-simplify:  Simplify 0.5 into 0.5
1540194406.879 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 im)) in im
1540194406.879 * [misc]taylor:  Taking taylor expansion of (/ -1 im) in im
1540194406.879 * [misc]taylor:  Taking taylor expansion of -1 in im
1540194406.879 * [misc]backup-simplify:  Simplify -1 into -1
1540194406.879 * [misc]taylor:  Taking taylor expansion of im in im
1540194406.879 * [misc]backup-simplify:  Simplify 0 into 0
1540194406.879 * [misc]backup-simplify:  Simplify 1 into 1
1540194406.879 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1540194406.879 * [misc]backup-simplify:  Simplify (exp (/ -1 im)) into (exp (/ -1 im))
1540194406.879 * [misc]backup-simplify:  Simplify (/ 0.5 (exp (/ -1 im))) into (/ 0.5 (exp (/ -1 im)))
1540194406.879 * [misc]taylor:  Taking taylor expansion of (/ 0.5 (exp (/ -1 im))) in im
1540194406.879 * [misc]taylor:  Taking taylor expansion of 0.5 in im
1540194406.879 * [misc]backup-simplify:  Simplify 0.5 into 0.5
1540194406.879 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 im)) in im
1540194406.879 * [misc]taylor:  Taking taylor expansion of (/ -1 im) in im
1540194406.879 * [misc]taylor:  Taking taylor expansion of -1 in im
1540194406.879 * [misc]backup-simplify:  Simplify -1 into -1
1540194406.879 * [misc]taylor:  Taking taylor expansion of im in im
1540194406.879 * [misc]backup-simplify:  Simplify 0 into 0
1540194406.879 * [misc]backup-simplify:  Simplify 1 into 1
1540194406.879 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1540194406.880 * [misc]backup-simplify:  Simplify (exp (/ -1 im)) into (exp (/ -1 im))
1540194406.880 * [misc]backup-simplify:  Simplify (/ 0.5 (exp (/ -1 im))) into (/ 0.5 (exp (/ -1 im)))
1540194406.880 * [misc]backup-simplify:  Simplify (/ 0.5 (exp (/ -1 im))) into (/ 0.5 (exp (/ -1 im)))
1540194406.880 * [misc]backup-simplify:  Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ 0.5 (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))))) into 0
1540194406.880 * [misc]backup-simplify:  Simplify 0 into 0
1540194406.880 * [misc]backup-simplify:  Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ 0.5 (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0
1540194406.880 * [misc]backup-simplify:  Simplify 0 into 0
1540194406.880 * [misc]backup-simplify:  Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ 0.5 (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0
1540194406.880 * [misc]backup-simplify:  Simplify 0 into 0
1540194406.881 * [misc]backup-simplify:  Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ 0.5 (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0
1540194406.881 * [misc]backup-simplify:  Simplify 0 into 0
1540194406.881 * [misc]backup-simplify:  Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ 0.5 (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0
1540194406.881 * [misc]backup-simplify:  Simplify 0 into 0
1540194406.881 * [misc]backup-simplify:  Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ 0.5 (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0
1540194406.881 * [misc]backup-simplify:  Simplify 0 into 0
1540194406.881 * [misc]backup-simplify:  Simplify (/ 0.5 (exp (/ -1 (/ 1 (- im))))) into (/ 0.5 (exp im))
1540194406.881 * * * [misc]progress:  simplifying candidates
1540194406.881 * * * * [misc]progress:  [ 1 / 16 ] simplifiying candidate #<alt (λ (re im) (* (+ (pow (/ 0.5 (exp im)) 1) (* 0.5 (exp im))) (cos re)))>
1540194406.881 * * * * [misc]progress:  [ 2 / 16 ] simplifiying candidate #<alt (λ (re im) (* (+ (exp (log (/ 0.5 (exp im)))) (* 0.5 (exp im))) (cos re)))>
1540194406.881 * * * * [misc]progress:  [ 3 / 16 ] simplifiying candidate #<alt (λ (re im) (* (+ (log (exp (/ 0.5 (exp im)))) (* 0.5 (exp im))) (cos re)))>
1540194406.881 * * * * [misc]progress:  [ 4 / 16 ] simplifiying candidate #<alt (λ (re im) (* (+ (* (* (cbrt (/ 0.5 (exp im))) (cbrt (/ 0.5 (exp im)))) (cbrt (/ 0.5 (exp im)))) (* 0.5 (exp im))) (cos re)))>
1540194406.881 * * * * [misc]progress:  [ 5 / 16 ] simplifiying candidate #<alt (λ (re im) (* (+ (cbrt (* (* (/ 0.5 (exp im)) (/ 0.5 (exp im))) (/ 0.5 (exp im)))) (* 0.5 (exp im))) (cos re)))>
1540194406.882 * * * * [misc]progress:  [ 6 / 16 ] simplifiying candidate #<alt (λ (re im) (* (+ (* (sqrt (/ 0.5 (exp im))) (sqrt (/ 0.5 (exp im)))) (* 0.5 (exp im))) (cos re)))>
1540194406.882 * * * * [misc]progress:  [ 7 / 16 ] simplifiying candidate #<alt (λ (re im) (* (+ (/ (- 0.5) (- (exp im))) (* 0.5 (exp im))) (cos re)))>
1540194406.882 * * * * [misc]progress:  [ 8 / 16 ] simplifiying candidate #<alt (λ (re im) (* (+ (* 1 (/ 0.5 (exp im))) (* 0.5 (exp im))) (cos re)))>
1540194406.882 * * * * [misc]progress:  [ 9 / 16 ] simplifiying candidate #<alt (λ (re im) (* (+ (* 0.5 (/ 1 (exp im))) (* 0.5 (exp im))) (cos re)))>
1540194406.882 * * * * [misc]progress:  [ 10 / 16 ] simplifiying candidate #<alt (λ (re im) (* (+ (/ 1 (/ (exp im) 0.5)) (* 0.5 (exp im))) (cos re)))>
1540194406.882 * * * * [misc]progress:  [ 11 / 16 ] simplifiying candidate #<alt (λ (re im) (* (+ (/ (/ 0.5 (* (cbrt (exp im)) (cbrt (exp im)))) (cbrt (exp im))) (* 0.5 (exp im))) (cos re)))>
1540194406.882 * [enter]simplify:  Simplifying (cbrt (exp im))
1540194406.882 * * [misc]simplify:  iters left: 2 (3 enodes)
1540194406.882 * [exit]simplify:  Simplified to (cbrt (exp im))
1540194406.882 * [misc]simplify:  Simplified (2 1 1 2) to (λ (re im) (* (+ (/ (/ 0.5 (* (cbrt (exp im)) (cbrt (exp im)))) (cbrt (exp im))) (* 0.5 (exp im))) (cos re)))
1540194406.882 * * * * [misc]progress:  [ 12 / 16 ] simplifiying candidate #<alt (λ (re im) (* (+ (/ (/ 0.5 (sqrt (exp im))) (sqrt (exp im))) (* 0.5 (exp im))) (cos re)))>
1540194406.883 * [enter]simplify:  Simplifying (sqrt (exp im))
1540194406.883 * * [misc]simplify:  iters left: 2 (3 enodes)
1540194406.883 * [exit]simplify:  Simplified to (sqrt (exp im))
1540194406.883 * [misc]simplify:  Simplified (2 1 1 2) to (λ (re im) (* (+ (/ (/ 0.5 (sqrt (exp im))) (sqrt (exp im))) (* 0.5 (exp im))) (cos re)))
1540194406.883 * * * * [misc]progress:  [ 13 / 16 ] simplifiying candidate #<alt (λ (re im) (* (+ (/ (/ 0.5 1) (exp im)) (* 0.5 (exp im))) (cos re)))>
1540194406.883 * [enter]simplify:  Simplifying (exp im)
1540194406.883 * * [misc]simplify:  iters left: 1 (2 enodes)
1540194406.884 * [exit]simplify:  Simplified to (exp im)
1540194406.884 * [misc]simplify:  Simplified (2 1 1 2) to (λ (re im) (* (+ (/ (/ 0.5 1) (exp im)) (* 0.5 (exp im))) (cos re)))
1540194406.884 * * * * [misc]progress:  [ 14 / 16 ] simplifiying candidate #<alt (λ (re im) (* (+ (- (+ (* 0.25 (pow im 2)) 0.5) (* 0.5 im)) (* 0.5 (exp im))) (cos re)))>
1540194406.884 * [enter]simplify:  Simplifying (- (+ (* 0.25 (pow im 2)) 0.5) (* 0.5 im))
1540194406.884 * * [misc]simplify:  iters left: 6 (9 enodes)
1540194406.885 * * [misc]simplify:  iters left: 5 (17 enodes)
1540194406.889 * * [misc]simplify:  iters left: 4 (35 enodes)
1540194406.895 * * [misc]simplify:  iters left: 3 (54 enodes)
1540194406.904 * * [misc]simplify:  iters left: 2 (71 enodes)
1540194406.918 * * [misc]simplify:  iters left: 1 (93 enodes)
1540194406.938 * [exit]simplify:  Simplified to (+ (- 0.5 (* 0.5 im)) (* (* 0.25 im) im))
1540194406.938 * [misc]simplify:  Simplified (2 1 1) to (λ (re im) (* (+ (+ (- 0.5 (* 0.5 im)) (* (* 0.25 im) im)) (* 0.5 (exp im))) (cos re)))
1540194406.938 * * * * [misc]progress:  [ 15 / 16 ] simplifiying candidate #<alt (λ (re im) (* (+ (/ 0.5 (exp im)) (* 0.5 (exp im))) (cos re)))>
1540194406.939 * [enter]simplify:  Simplifying (/ 0.5 (exp im))
1540194406.939 * * [misc]simplify:  iters left: 3 (4 enodes)
1540194406.940 * [exit]simplify:  Simplified to (/ 0.5 (exp im))
1540194406.940 * [misc]simplify:  Simplified (2 1 1) to (λ (re im) (* (+ (/ 0.5 (exp im)) (* 0.5 (exp im))) (cos re)))
1540194406.940 * * * * [misc]progress:  [ 16 / 16 ] simplifiying candidate #<alt (λ (re im) (* (+ (/ 0.5 (exp im)) (* 0.5 (exp im))) (cos re)))>
1540194406.940 * [enter]simplify:  Simplifying (/ 0.5 (exp im))
1540194406.940 * * [misc]simplify:  iters left: 3 (4 enodes)
1540194406.942 * [exit]simplify:  Simplified to (/ 0.5 (exp im))
1540194406.942 * [misc]simplify:  Simplified (2 1 1) to (λ (re im) (* (+ (/ 0.5 (exp im)) (* 0.5 (exp im))) (cos re)))
1540194406.942 * * * [misc]progress:  adding candidates to table
1540194407.134 * [misc]progress:  [Phase 3 of 3] Extracting.
1540194407.138 * [enter]simplify:  Simplifying (* (+ (/ 0.5 (exp im)) (* 0.5 (exp im))) (cos re))
1540194407.138 * * [misc]simplify:  iters left: 6 (9 enodes)
1540194407.139 * * [misc]simplify:  iters left: 5 (12 enodes)
1540194407.140 * [exit]simplify:  Simplified to (* (cos re) (+ (/ 0.5 (exp im)) (* 0.5 (exp im))))
1540194407.140 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1540194407.208 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1540194407.211 * * * * [misc]points:  Setting MPFR precision to 64
1540194407.212 * * * * [misc]points:  Setting MPFR precision to 320
1540194407.213 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1540194407.216 * * * * [misc]points:  Setting MPFR precision to 64
1540194407.218 * * * * [misc]points:  Setting MPFR precision to 320
1540194407.220 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1540194407.222 * * * * [misc]points:  Setting MPFR precision to 64
1540194407.226 * * * * [misc]points:  Setting MPFR precision to 320
1540194407.230 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1540194407.232 * * * * [misc]points:  Setting MPFR precision to 64
1540194407.240 * * * * [misc]points:  Setting MPFR precision to 320
1540194407.248 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1540194407.251 * * * * [misc]points:  Setting MPFR precision to 64
1540194407.265 * * * * [misc]points:  Setting MPFR precision to 320
1540194407.280 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1540194407.282 * * * * [misc]points:  Setting MPFR precision to 64
1540194407.300 * * * * [misc]points:  Setting MPFR precision to 320
1540194407.328 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1540194407.330 * * * * [misc]points:  Setting MPFR precision to 64
1540194407.360 * * * * [misc]points:  Setting MPFR precision to 320
1540194407.475 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1540194407.478 * * * * [misc]points:  Setting MPFR precision to 64
1540194407.584 * * * * [misc]points:  Setting MPFR precision to 320
1540194407.750 * * * * [misc]points:  Computing exacts for 8000 points
1540194407.752 * * * * [misc]points:  Setting MPFR precision to 64
1540194408.131 * * * * [misc]points:  Setting MPFR precision to 320
1540194408.965 * * * * [misc]points:  Setting MPFR precision to 576
1540194409.487 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540194409.490 * * * * [misc]points:  Sampling 4029 additional inputs, on iter 1 have 3971 / 8000
1540194409.563 * * * * [misc]points:  Computing exacts on every 251 of 4029 points to ramp up precision
1540194409.566 * * * * [misc]points:  Setting MPFR precision to 320
1540194409.567 * * * * [misc]points:  Setting MPFR precision to 576
1540194409.569 * * * * [misc]points:  Computing exacts on every 125 of 4029 points to ramp up precision
1540194409.571 * * * * [misc]points:  Setting MPFR precision to 320
1540194409.574 * * * * [misc]points:  Setting MPFR precision to 576
1540194409.576 * * * * [misc]points:  Computing exacts on every 62 of 4029 points to ramp up precision
1540194409.579 * * * * [misc]points:  Setting MPFR precision to 320
1540194409.583 * * * * [misc]points:  Setting MPFR precision to 576
1540194409.588 * * * * [misc]points:  Computing exacts on every 31 of 4029 points to ramp up precision
1540194409.591 * * * * [misc]points:  Setting MPFR precision to 320
1540194409.599 * * * * [misc]points:  Setting MPFR precision to 576
1540194409.609 * * * * [misc]points:  Computing exacts on every 15 of 4029 points to ramp up precision
1540194409.611 * * * * [misc]points:  Setting MPFR precision to 320
1540194409.627 * * * * [misc]points:  Setting MPFR precision to 576
1540194409.646 * * * * [misc]points:  Computing exacts on every 7 of 4029 points to ramp up precision
1540194409.649 * * * * [misc]points:  Setting MPFR precision to 320
1540194409.680 * * * * [misc]points:  Setting MPFR precision to 576
1540194409.711 * * * * [misc]points:  Computing exacts on every 3 of 4029 points to ramp up precision
1540194409.713 * * * * [misc]points:  Setting MPFR precision to 320
1540194409.779 * * * * [misc]points:  Setting MPFR precision to 576
1540194409.829 * * * * [misc]points:  Computing exacts for 4029 points
1540194409.832 * * * * [misc]points:  Setting MPFR precision to 320
1540194410.053 * * * * [misc]points:  Setting MPFR precision to 576
1540194410.371 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540194410.373 * * * * [misc]points:  Sampling 1925 additional inputs, on iter 2 have 6075 / 8000
1540194410.439 * * * * [misc]points:  Computing exacts on every 120 of 1925 points to ramp up precision
1540194410.442 * * * * [misc]points:  Setting MPFR precision to 320
1540194410.443 * * * * [misc]points:  Setting MPFR precision to 576
1540194410.444 * * * * [misc]points:  Computing exacts on every 60 of 1925 points to ramp up precision
1540194410.451 * * * * [misc]points:  Setting MPFR precision to 320
1540194410.453 * * * * [misc]points:  Setting MPFR precision to 576
1540194410.455 * * * * [misc]points:  Computing exacts on every 30 of 1925 points to ramp up precision
1540194410.457 * * * * [misc]points:  Setting MPFR precision to 320
1540194410.459 * * * * [misc]points:  Setting MPFR precision to 576
1540194410.461 * * * * [misc]points:  Computing exacts on every 15 of 1925 points to ramp up precision
1540194410.463 * * * * [misc]points:  Setting MPFR precision to 320
1540194410.467 * * * * [misc]points:  Setting MPFR precision to 576
1540194410.472 * * * * [misc]points:  Computing exacts on every 7 of 1925 points to ramp up precision
1540194410.473 * * * * [misc]points:  Setting MPFR precision to 320
1540194410.481 * * * * [misc]points:  Setting MPFR precision to 576
1540194410.491 * * * * [misc]points:  Computing exacts on every 3 of 1925 points to ramp up precision
1540194410.493 * * * * [misc]points:  Setting MPFR precision to 320
1540194410.516 * * * * [misc]points:  Setting MPFR precision to 576
1540194410.538 * * * * [misc]points:  Computing exacts for 1925 points
1540194410.541 * * * * [misc]points:  Setting MPFR precision to 320
1540194410.909 * * * * [misc]points:  Setting MPFR precision to 576
1540194411.022 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540194411.023 * * * * [misc]points:  Sampling 956 additional inputs, on iter 3 have 7044 / 8000
1540194411.030 * * * * [misc]points:  Computing exacts on every 59 of 956 points to ramp up precision
1540194411.033 * * * * [misc]points:  Setting MPFR precision to 320
1540194411.062 * * * * [misc]points:  Setting MPFR precision to 576
1540194411.063 * * * * [misc]points:  Computing exacts on every 29 of 956 points to ramp up precision
1540194411.064 * * * * [misc]points:  Setting MPFR precision to 320
1540194411.065 * * * * [misc]points:  Setting MPFR precision to 576
1540194411.067 * * * * [misc]points:  Computing exacts on every 14 of 956 points to ramp up precision
1540194411.068 * * * * [misc]points:  Setting MPFR precision to 320
1540194411.070 * * * * [misc]points:  Setting MPFR precision to 576
1540194411.076 * * * * [misc]points:  Computing exacts on every 7 of 956 points to ramp up precision
1540194411.077 * * * * [misc]points:  Setting MPFR precision to 320
1540194411.081 * * * * [misc]points:  Setting MPFR precision to 576
1540194411.088 * * * * [misc]points:  Computing exacts on every 3 of 956 points to ramp up precision
1540194411.090 * * * * [misc]points:  Setting MPFR precision to 320
1540194411.104 * * * * [misc]points:  Setting MPFR precision to 576
1540194411.121 * * * * [misc]points:  Computing exacts for 956 points
1540194411.124 * * * * [misc]points:  Setting MPFR precision to 320
1540194411.178 * * * * [misc]points:  Setting MPFR precision to 576
1540194411.248 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540194411.248 * * * * [misc]points:  Sampling 466 additional inputs, on iter 4 have 7534 / 8000
1540194411.252 * * * * [misc]points:  Computing exacts on every 29 of 466 points to ramp up precision
1540194411.254 * * * * [misc]points:  Setting MPFR precision to 320
1540194411.296 * * * * [misc]points:  Setting MPFR precision to 576
1540194411.298 * * * * [misc]points:  Computing exacts on every 14 of 466 points to ramp up precision
1540194411.300 * * * * [misc]points:  Setting MPFR precision to 320
1540194411.302 * * * * [misc]points:  Setting MPFR precision to 576
1540194411.304 * * * * [misc]points:  Computing exacts on every 7 of 466 points to ramp up precision
1540194411.310 * * * * [misc]points:  Setting MPFR precision to 320
1540194411.314 * * * * [misc]points:  Setting MPFR precision to 576
1540194411.318 * * * * [misc]points:  Computing exacts on every 3 of 466 points to ramp up precision
1540194411.321 * * * * [misc]points:  Setting MPFR precision to 320
1540194411.327 * * * * [misc]points:  Setting MPFR precision to 576
1540194411.336 * * * * [misc]points:  Computing exacts for 466 points
1540194411.338 * * * * [misc]points:  Setting MPFR precision to 320
1540194411.365 * * * * [misc]points:  Setting MPFR precision to 576
1540194411.399 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540194411.399 * * * * [misc]points:  Sampling 233 additional inputs, on iter 5 have 7767 / 8000
1540194411.401 * * * * [misc]points:  Computing exacts on every 14 of 233 points to ramp up precision
1540194411.403 * * * * [misc]points:  Setting MPFR precision to 320
1540194411.404 * * * * [misc]points:  Setting MPFR precision to 576
1540194411.405 * * * * [misc]points:  Computing exacts on every 7 of 233 points to ramp up precision
1540194411.407 * * * * [misc]points:  Setting MPFR precision to 320
1540194411.409 * * * * [misc]points:  Setting MPFR precision to 576
1540194411.411 * * * * [misc]points:  Computing exacts on every 3 of 233 points to ramp up precision
1540194411.413 * * * * [misc]points:  Setting MPFR precision to 320
1540194411.417 * * * * [misc]points:  Setting MPFR precision to 576
1540194411.421 * * * * [misc]points:  Computing exacts for 233 points
1540194411.423 * * * * [misc]points:  Setting MPFR precision to 320
1540194411.436 * * * * [misc]points:  Setting MPFR precision to 576
1540194411.454 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540194411.454 * * * * [misc]points:  Sampling 112 additional inputs, on iter 6 have 7888 / 8000
1540194411.455 * * * * [misc]points:  Computing exacts on every 7 of 112 points to ramp up precision
1540194411.457 * * * * [misc]points:  Setting MPFR precision to 320
1540194411.458 * * * * [misc]points:  Setting MPFR precision to 576
1540194411.459 * * * * [misc]points:  Computing exacts on every 3 of 112 points to ramp up precision
1540194411.461 * * * * [misc]points:  Setting MPFR precision to 320
1540194411.463 * * * * [misc]points:  Setting MPFR precision to 576
1540194411.465 * * * * [misc]points:  Computing exacts for 112 points
1540194411.467 * * * * [misc]points:  Setting MPFR precision to 320
1540194411.473 * * * * [misc]points:  Setting MPFR precision to 576
1540194411.481 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540194411.481 * * * * [misc]points:  Sampling 63 additional inputs, on iter 7 have 7937 / 8000
1540194411.482 * * * * [misc]points:  Computing exacts on every 3 of 63 points to ramp up precision
1540194411.484 * * * * [misc]points:  Setting MPFR precision to 320
1540194411.485 * * * * [misc]points:  Setting MPFR precision to 576
1540194411.486 * * * * [misc]points:  Computing exacts for 63 points
1540194411.523 * * * * [misc]points:  Setting MPFR precision to 320
1540194411.527 * * * * [misc]points:  Setting MPFR precision to 576
1540194411.535 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540194411.536 * * * * [misc]points:  Sampling 22 additional inputs, on iter 8 have 7978 / 8000
1540194411.536 * * * * [misc]points:  Computing exacts for 22 points
1540194411.538 * * * * [misc]points:  Setting MPFR precision to 320
1540194411.539 * * * * [misc]points:  Setting MPFR precision to 576
1540194411.541 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540194411.541 * * * * [misc]points:  Sampling 10 additional inputs, on iter 9 have 7990 / 8000
1540194411.541 * * * * [misc]points:  Computing exacts for 10 points
1540194411.543 * * * * [misc]points:  Setting MPFR precision to 320
1540194411.544 * * * * [misc]points:  Setting MPFR precision to 576
1540194411.545 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540194411.545 * * * * [misc]points:  Sampling 8 additional inputs, on iter 10 have 7992 / 8000
1540194411.545 * * * * [misc]points:  Computing exacts for 8 points
1540194411.547 * * * * [misc]points:  Setting MPFR precision to 320
1540194411.547 * * * * [misc]points:  Setting MPFR precision to 576
1540194411.548 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540194411.548 * * * * [misc]points:  Sampling 6 additional inputs, on iter 11 have 7994 / 8000
1540194411.548 * * * * [misc]points:  Computing exacts for 6 points
1540194411.550 * * * * [misc]points:  Setting MPFR precision to 320
1540194411.550 * * * * [misc]points:  Setting MPFR precision to 576
1540194411.551 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540194411.551 * * * * [misc]points:  Sampling 4 additional inputs, on iter 12 have 7997 / 8000
1540194411.551 * * * * [misc]points:  Computing exacts for 4 points
1540194411.553 * * * * [misc]points:  Setting MPFR precision to 320
1540194411.553 * * * * [misc]points:  Setting MPFR precision to 576
1540194411.554 * * * * [misc]points:  Filtering points with unrepresentable outputs
1540194411.554 * * * * [exit]points:  Sampled 8000 points with exact outputs
1540194411.763 * [misc]regime-testing:  Baseline error score: 0.00825
1540194411.763 * [misc]regime-testing:  End program error score: 0.00825
1540194411.764 * [misc]regime-testing:  Oracle error score: 0.00825