1540199953.381 * [misc]progress: [Phase 1 of 3] Setting up. 1540199953.381 * * * [misc]progress: [1/2] Preparing points 1540199953.381 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1540199953.383 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1540199953.385 * * * * [misc]points: Setting MPFR precision to 64 1540199953.386 * * * * [misc]points: Setting MPFR precision to 320 1540199953.387 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1540199953.389 * * * * [misc]points: Setting MPFR precision to 64 1540199953.391 * * * * [misc]points: Setting MPFR precision to 320 1540199953.392 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1540199953.394 * * * * [misc]points: Setting MPFR precision to 64 1540199953.397 * * * * [misc]points: Setting MPFR precision to 320 1540199953.400 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1540199953.402 * * * * [misc]points: Setting MPFR precision to 64 1540199953.407 * * * * [misc]points: Setting MPFR precision to 320 1540199953.412 * * * * [misc]points: Computing exacts for 256 points 1540199953.414 * * * * [misc]points: Setting MPFR precision to 64 1540199953.427 * * * * [misc]points: Setting MPFR precision to 320 1540199953.442 * * * * [misc]points: Filtering points with unrepresentable outputs 1540199953.442 * * * * [misc]points: Sampling 125 additional inputs, on iter 1 have 131 / 256 1540199953.443 * * * * [misc]points: Computing exacts on every 7 of 125 points to ramp up precision 1540199953.445 * * * * [misc]points: Setting MPFR precision to 64 1540199953.446 * * * * [misc]points: Setting MPFR precision to 320 1540199953.447 * * * * [misc]points: Computing exacts on every 3 of 125 points to ramp up precision 1540199953.449 * * * * [misc]points: Setting MPFR precision to 64 1540199953.451 * * * * [misc]points: Setting MPFR precision to 320 1540199953.453 * * * * [misc]points: Computing exacts for 125 points 1540199953.455 * * * * [misc]points: Setting MPFR precision to 64 1540199953.461 * * * * [misc]points: Setting MPFR precision to 320 1540199953.468 * * * * [misc]points: Filtering points with unrepresentable outputs 1540199953.469 * * * * [misc]points: Sampling 64 additional inputs, on iter 2 have 192 / 256 1540199953.469 * * * * [misc]points: Computing exacts on every 4 of 64 points to ramp up precision 1540199953.471 * * * * [misc]points: Setting MPFR precision to 64 1540199953.472 * * * * [misc]points: Setting MPFR precision to 320 1540199953.473 * * * * [misc]points: Computing exacts on every 2 of 64 points to ramp up precision 1540199953.474 * * * * [misc]points: Setting MPFR precision to 64 1540199953.476 * * * * [misc]points: Setting MPFR precision to 320 1540199953.477 * * * * [misc]points: Computing exacts for 64 points 1540199953.479 * * * * [misc]points: Setting MPFR precision to 64 1540199953.482 * * * * [misc]points: Setting MPFR precision to 320 1540199953.486 * * * * [misc]points: Filtering points with unrepresentable outputs 1540199953.486 * * * * [misc]points: Sampling 35 additional inputs, on iter 3 have 221 / 256 1540199953.486 * * * * [misc]points: Computing exacts on every 2 of 35 points to ramp up precision 1540199953.488 * * * * [misc]points: Setting MPFR precision to 64 1540199953.489 * * * * [misc]points: Setting MPFR precision to 320 1540199953.490 * * * * [misc]points: Computing exacts for 35 points 1540199953.492 * * * * [misc]points: Setting MPFR precision to 64 1540199953.494 * * * * [misc]points: Setting MPFR precision to 320 1540199953.496 * * * * [misc]points: Filtering points with unrepresentable outputs 1540199953.496 * * * * [misc]points: Sampling 20 additional inputs, on iter 4 have 236 / 256 1540199953.496 * * * * [misc]points: Computing exacts for 20 points 1540199953.499 * * * * [misc]points: Setting MPFR precision to 64 1540199953.500 * * * * [misc]points: Setting MPFR precision to 320 1540199953.501 * * * * [misc]points: Filtering points with unrepresentable outputs 1540199953.501 * * * * [misc]points: Sampling 13 additional inputs, on iter 5 have 243 / 256 1540199953.501 * * * * [misc]points: Computing exacts for 13 points 1540199953.503 * * * * [misc]points: Setting MPFR precision to 64 1540199953.504 * * * * [misc]points: Setting MPFR precision to 320 1540199953.505 * * * * [misc]points: Filtering points with unrepresentable outputs 1540199953.505 * * * * [misc]points: Sampling 5 additional inputs, on iter 6 have 251 / 256 1540199953.505 * * * * [misc]points: Computing exacts for 5 points 1540199953.533 * * * * [misc]points: Setting MPFR precision to 64 1540199953.534 * * * * [misc]points: Setting MPFR precision to 320 1540199953.534 * * * * [misc]points: Filtering points with unrepresentable outputs 1540199953.534 * * * * [misc]points: Sampling 4 additional inputs, on iter 7 have 254 / 256 1540199953.534 * * * * [misc]points: Computing exacts for 4 points 1540199953.536 * * * * [misc]points: Setting MPFR precision to 64 1540199953.536 * * * * [misc]points: Setting MPFR precision to 320 1540199953.537 * * * * [misc]points: Filtering points with unrepresentable outputs 1540199953.537 * * * * [exit]points: Sampled 256 points with exact outputs 1540199953.537 * * * [misc]progress: [2/2] Setting up program. 1540199953.544 * [misc]progress: [Phase 2 of 3] Improving. 1540199953.544 * [enter]simplify: Simplifying (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))) 1540199953.545 * * [misc]simplify: iters left: 6 (10 enodes) 1540199953.548 * * [misc]simplify: iters left: 5 (23 enodes) 1540199953.556 * * [misc]simplify: iters left: 4 (59 enodes) 1540199953.579 * * [misc]simplify: iters left: 3 (102 enodes) 1540199953.612 * * [misc]simplify: iters left: 2 (225 enodes) 1540199953.737 * [exit]simplify: Simplified to (fma (exp im) (* (cos re) 0.5) (/ (* (cos re) 0.5) (exp im))) 1540199953.743 * * [misc]progress: iteration 1 / 4 1540199953.743 * * * [misc]progress: picking best candidate 1540199953.745 * * * * [misc]pick: Picked # 1540199953.745 * * * [misc]progress: localizing error 1540199953.760 * * * [misc]progress: generating rewritten candidates 1540199953.760 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2 3) 1540199953.771 * * * [misc]progress: generating series expansions 1540199953.771 * * * * [misc]progress: [ 1 / 1 ] generating series at (2 3) 1540199953.771 * [misc]backup-simplify: Simplify (/ (* (cos re) 0.5) (exp im)) into (* 0.5 (/ (cos re) (exp im))) 1540199953.771 * [misc]approximate: Taking taylor expansion of (* 0.5 (/ (cos re) (exp im))) in (re im) around 0 1540199953.771 * [misc]taylor: Taking taylor expansion of (* 0.5 (/ (cos re) (exp im))) in im 1540199953.771 * [misc]taylor: Taking taylor expansion of 0.5 in im 1540199953.771 * [misc]backup-simplify: Simplify 0.5 into 0.5 1540199953.771 * [misc]taylor: Taking taylor expansion of (/ (cos re) (exp im)) in im 1540199953.771 * [misc]taylor: Taking taylor expansion of (cos re) in im 1540199953.771 * [misc]taylor: Taking taylor expansion of re in im 1540199953.771 * [misc]backup-simplify: Simplify re into re 1540199953.771 * [misc]backup-simplify: Simplify (cos re) into (cos re) 1540199953.771 * [misc]backup-simplify: Simplify (sin re) into (sin re) 1540199953.771 * [misc]taylor: Taking taylor expansion of (exp im) in im 1540199953.771 * [misc]taylor: Taking taylor expansion of im in im 1540199953.771 * [misc]backup-simplify: Simplify 0 into 0 1540199953.771 * [misc]backup-simplify: Simplify 1 into 1 1540199953.771 * [misc]backup-simplify: Simplify (exp 0) into 1 1540199953.772 * [misc]backup-simplify: Simplify (* (cos re) 1) into (cos re) 1540199953.772 * [misc]backup-simplify: Simplify (* (sin re) 0) into 0 1540199953.772 * [misc]backup-simplify: Simplify (- 0) into 0 1540199953.772 * [misc]backup-simplify: Simplify (+ (cos re) 0) into (cos re) 1540199953.772 * [misc]backup-simplify: Simplify (/ (cos re) 1) into (cos re) 1540199953.772 * [misc]taylor: Taking taylor expansion of (* 0.5 (/ (cos re) (exp im))) in re 1540199953.772 * [misc]taylor: Taking taylor expansion of 0.5 in re 1540199953.772 * [misc]backup-simplify: Simplify 0.5 into 0.5 1540199953.772 * [misc]taylor: Taking taylor expansion of (/ (cos re) (exp im)) in re 1540199953.772 * [misc]taylor: Taking taylor expansion of (cos re) in re 1540199953.772 * [misc]taylor: Taking taylor expansion of re in re 1540199953.772 * [misc]backup-simplify: Simplify 0 into 0 1540199953.772 * [misc]backup-simplify: Simplify 1 into 1 1540199953.772 * [misc]taylor: Taking taylor expansion of (exp im) in re 1540199953.772 * [misc]taylor: Taking taylor expansion of im in re 1540199953.772 * [misc]backup-simplify: Simplify im into im 1540199953.772 * [misc]backup-simplify: Simplify (exp im) into (exp im) 1540199953.772 * [misc]backup-simplify: Simplify (/ 1 (exp im)) into (/ 1 (exp im)) 1540199953.772 * [misc]taylor: Taking taylor expansion of (* 0.5 (/ (cos re) (exp im))) in re 1540199953.772 * [misc]taylor: Taking taylor expansion of 0.5 in re 1540199953.772 * [misc]backup-simplify: Simplify 0.5 into 0.5 1540199953.772 * [misc]taylor: Taking taylor expansion of (/ (cos re) (exp im)) in re 1540199953.772 * [misc]taylor: Taking taylor expansion of (cos re) in re 1540199953.772 * [misc]taylor: Taking taylor expansion of re in re 1540199953.772 * [misc]backup-simplify: Simplify 0 into 0 1540199953.773 * [misc]backup-simplify: Simplify 1 into 1 1540199953.773 * [misc]taylor: Taking taylor expansion of (exp im) in re 1540199953.773 * [misc]taylor: Taking taylor expansion of im in re 1540199953.773 * [misc]backup-simplify: Simplify im into im 1540199953.773 * [misc]backup-simplify: Simplify (exp im) into (exp im) 1540199953.773 * [misc]backup-simplify: Simplify (/ 1 (exp im)) into (/ 1 (exp im)) 1540199953.773 * [misc]backup-simplify: Simplify (* 0.5 (/ 1 (exp im))) into (/ 0.5 (exp im)) 1540199953.773 * [misc]taylor: Taking taylor expansion of (/ 0.5 (exp im)) in im 1540199953.773 * [misc]taylor: Taking taylor expansion of 0.5 in im 1540199953.773 * [misc]backup-simplify: Simplify 0.5 into 0.5 1540199953.773 * [misc]taylor: Taking taylor expansion of (exp im) in im 1540199953.773 * [misc]taylor: Taking taylor expansion of im in im 1540199953.773 * [misc]backup-simplify: Simplify 0 into 0 1540199953.773 * [misc]backup-simplify: Simplify 1 into 1 1540199953.773 * [misc]backup-simplify: Simplify (exp 0) into 1 1540199953.773 * [misc]backup-simplify: Simplify (/ 0.5 1) into 0.5 1540199953.773 * [misc]backup-simplify: Simplify 0.5 into 0.5 1540199953.774 * [misc]backup-simplify: Simplify (+ 0) into 0 1540199953.774 * [misc]backup-simplify: Simplify (* (exp im) (+ (* (/ (pow 0 1) 1)))) into 0 1540199953.774 * [misc]backup-simplify: Simplify (- (/ 0 (exp im)) (+ (* (/ 1 (exp im)) (/ 0 (exp im))))) into 0 1540199953.775 * [misc]backup-simplify: Simplify (+ (* 0.5 0) (* 0 (/ 1 (exp im)))) into 0 1540199953.775 * [misc]taylor: Taking taylor expansion of 0 in im 1540199953.775 * [misc]backup-simplify: Simplify 0 into 0 1540199953.775 * [misc]backup-simplify: Simplify 0 into 0 1540199953.775 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1540199953.776 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.5 (/ 1 1)))) into (- 0.5) 1540199953.776 * [misc]backup-simplify: Simplify (- 0.5) into (- 0.5) 1540199953.777 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into (- 1/2) 1540199953.778 * [misc]backup-simplify: Simplify (* (exp im) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1540199953.778 * [misc]backup-simplify: Simplify (- (/ (- 1/2) (exp im)) (+ (* (/ 1 (exp im)) (/ 0 (exp im))) (* 0 (/ 0 (exp im))))) into (- (* 1/2 (/ 1 (exp im)))) 1540199953.778 * [misc]backup-simplify: Simplify (+ (* 0.5 (- (* 1/2 (/ 1 (exp im))))) (+ (* 0 0) (* 0 (/ 1 (exp im))))) into (- (* 0.25 (/ 1 (exp im)))) 1540199953.778 * [misc]taylor: Taking taylor expansion of (- (* 0.25 (/ 1 (exp im)))) in im 1540199953.778 * [misc]taylor: Taking taylor expansion of (* 0.25 (/ 1 (exp im))) in im 1540199953.778 * [misc]taylor: Taking taylor expansion of 0.25 in im 1540199953.778 * [misc]backup-simplify: Simplify 0.25 into 0.25 1540199953.778 * [misc]taylor: Taking taylor expansion of (/ 1 (exp im)) in im 1540199953.778 * [misc]taylor: Taking taylor expansion of (exp im) in im 1540199953.778 * [misc]taylor: Taking taylor expansion of im in im 1540199953.778 * [misc]backup-simplify: Simplify 0 into 0 1540199953.778 * [misc]backup-simplify: Simplify 1 into 1 1540199953.779 * [misc]backup-simplify: Simplify (exp 0) into 1 1540199953.779 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540199953.779 * [misc]backup-simplify: Simplify (* 0.25 1) into 0.25 1540199953.779 * [misc]backup-simplify: Simplify (- 0.25) into (- 0.25) 1540199953.779 * [misc]backup-simplify: Simplify (- 0.25) into (- 0.25) 1540199953.780 * [misc]backup-simplify: Simplify (+ (* (- 0.25) (pow (* 1 re) 2)) (+ (* (- 0.5) (* im 1)) 0.5)) into (- 0.5 (+ (* 0.25 (pow re 2)) (* 0.5 im))) 1540199953.780 * [misc]backup-simplify: Simplify (/ (* (cos (/ 1 re)) 0.5) (exp (/ 1 im))) into (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) 1540199953.780 * [misc]approximate: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in (re im) around 0 1540199953.780 * [misc]taylor: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in im 1540199953.780 * [misc]taylor: Taking taylor expansion of 0.5 in im 1540199953.780 * [misc]backup-simplify: Simplify 0.5 into 0.5 1540199953.780 * [misc]taylor: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in im 1540199953.780 * [misc]taylor: Taking taylor expansion of (cos (/ 1 re)) in im 1540199953.780 * [misc]taylor: Taking taylor expansion of (/ 1 re) in im 1540199953.780 * [misc]taylor: Taking taylor expansion of re in im 1540199953.780 * [misc]backup-simplify: Simplify re into re 1540199953.780 * [misc]backup-simplify: Simplify (/ 1 re) into (/ 1 re) 1540199953.780 * [misc]backup-simplify: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 1540199953.780 * [misc]backup-simplify: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 1540199953.780 * [misc]taylor: Taking taylor expansion of (exp (/ 1 im)) in im 1540199953.780 * [misc]taylor: Taking taylor expansion of (/ 1 im) in im 1540199953.780 * [misc]taylor: Taking taylor expansion of im in im 1540199953.780 * [misc]backup-simplify: Simplify 0 into 0 1540199953.780 * [misc]backup-simplify: Simplify 1 into 1 1540199953.780 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540199953.780 * [misc]backup-simplify: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 1540199953.780 * [misc]backup-simplify: Simplify (* (cos (/ 1 re)) 1) into (cos (/ 1 re)) 1540199953.780 * [misc]backup-simplify: Simplify (* (sin (/ 1 re)) 0) into 0 1540199953.780 * [misc]backup-simplify: Simplify (- 0) into 0 1540199953.781 * [misc]backup-simplify: Simplify (+ (cos (/ 1 re)) 0) into (cos (/ 1 re)) 1540199953.781 * [misc]backup-simplify: Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im))) 1540199953.781 * [misc]taylor: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in re 1540199953.781 * [misc]taylor: Taking taylor expansion of 0.5 in re 1540199953.781 * [misc]backup-simplify: Simplify 0.5 into 0.5 1540199953.781 * [misc]taylor: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in re 1540199953.781 * [misc]taylor: Taking taylor expansion of (cos (/ 1 re)) in re 1540199953.781 * [misc]taylor: Taking taylor expansion of (/ 1 re) in re 1540199953.781 * [misc]taylor: Taking taylor expansion of re in re 1540199953.781 * [misc]backup-simplify: Simplify 0 into 0 1540199953.781 * [misc]backup-simplify: Simplify 1 into 1 1540199953.781 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540199953.781 * [misc]backup-simplify: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 1540199953.781 * [misc]taylor: Taking taylor expansion of (exp (/ 1 im)) in re 1540199953.781 * [misc]taylor: Taking taylor expansion of (/ 1 im) in re 1540199953.781 * [misc]taylor: Taking taylor expansion of im in re 1540199953.781 * [misc]backup-simplify: Simplify im into im 1540199953.781 * [misc]backup-simplify: Simplify (/ 1 im) into (/ 1 im) 1540199953.781 * [misc]backup-simplify: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 1540199953.781 * [misc]backup-simplify: Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im))) 1540199953.781 * [misc]taylor: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in re 1540199953.781 * [misc]taylor: Taking taylor expansion of 0.5 in re 1540199953.781 * [misc]backup-simplify: Simplify 0.5 into 0.5 1540199953.781 * [misc]taylor: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in re 1540199953.781 * [misc]taylor: Taking taylor expansion of (cos (/ 1 re)) in re 1540199953.781 * [misc]taylor: Taking taylor expansion of (/ 1 re) in re 1540199953.781 * [misc]taylor: Taking taylor expansion of re in re 1540199953.781 * [misc]backup-simplify: Simplify 0 into 0 1540199953.781 * [misc]backup-simplify: Simplify 1 into 1 1540199953.781 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540199953.782 * [misc]backup-simplify: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 1540199953.782 * [misc]taylor: Taking taylor expansion of (exp (/ 1 im)) in re 1540199953.782 * [misc]taylor: Taking taylor expansion of (/ 1 im) in re 1540199953.782 * [misc]taylor: Taking taylor expansion of im in re 1540199953.782 * [misc]backup-simplify: Simplify im into im 1540199953.782 * [misc]backup-simplify: Simplify (/ 1 im) into (/ 1 im) 1540199953.782 * [misc]backup-simplify: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 1540199953.782 * [misc]backup-simplify: Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im))) 1540199953.782 * [misc]backup-simplify: Simplify (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) 1540199953.782 * [misc]taylor: Taking taylor expansion of (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) in im 1540199953.782 * [misc]taylor: Taking taylor expansion of 0.5 in im 1540199953.782 * [misc]backup-simplify: Simplify 0.5 into 0.5 1540199953.782 * [misc]taylor: Taking taylor expansion of (/ (cos (/ 1 re)) (exp (/ 1 im))) in im 1540199953.782 * [misc]taylor: Taking taylor expansion of (cos (/ 1 re)) in im 1540199953.782 * [misc]taylor: Taking taylor expansion of (/ 1 re) in im 1540199953.782 * [misc]taylor: Taking taylor expansion of re in im 1540199953.782 * [misc]backup-simplify: Simplify re into re 1540199953.782 * [misc]backup-simplify: Simplify (/ 1 re) into (/ 1 re) 1540199953.782 * [misc]backup-simplify: Simplify (cos (/ 1 re)) into (cos (/ 1 re)) 1540199953.782 * [misc]backup-simplify: Simplify (sin (/ 1 re)) into (sin (/ 1 re)) 1540199953.782 * [misc]taylor: Taking taylor expansion of (exp (/ 1 im)) in im 1540199953.782 * [misc]taylor: Taking taylor expansion of (/ 1 im) in im 1540199953.782 * [misc]taylor: Taking taylor expansion of im in im 1540199953.782 * [misc]backup-simplify: Simplify 0 into 0 1540199953.782 * [misc]backup-simplify: Simplify 1 into 1 1540199953.782 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540199953.782 * [misc]backup-simplify: Simplify (exp (/ 1 im)) into (exp (/ 1 im)) 1540199953.782 * [misc]backup-simplify: Simplify (* (cos (/ 1 re)) 1) into (cos (/ 1 re)) 1540199953.783 * [misc]backup-simplify: Simplify (* (sin (/ 1 re)) 0) into 0 1540199953.783 * [misc]backup-simplify: Simplify (- 0) into 0 1540199953.783 * [misc]backup-simplify: Simplify (+ (cos (/ 1 re)) 0) into (cos (/ 1 re)) 1540199953.783 * [misc]backup-simplify: Simplify (/ (cos (/ 1 re)) (exp (/ 1 im))) into (/ (cos (/ 1 re)) (exp (/ 1 im))) 1540199953.783 * [misc]backup-simplify: Simplify (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) 1540199953.783 * [misc]backup-simplify: Simplify (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) into (* 0.5 (/ (cos (/ 1 re)) (exp (/ 1 im)))) 1540199953.783 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 im) (/ 0 im)))) into 0 1540199953.784 * [misc]backup-simplify: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 1540199953.784 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))))) into 0 1540199953.784 * [misc]backup-simplify: Simplify (+ (* 0.5 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im))))) into 0 1540199953.784 * [misc]taylor: Taking taylor expansion of 0 in im 1540199953.784 * [misc]backup-simplify: Simplify 0 into 0 1540199953.784 * [misc]backup-simplify: Simplify 0 into 0 1540199953.784 * [misc]backup-simplify: Simplify (+ 0) into 0 1540199953.785 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 re)) 0) (* 0 1)) into 0 1540199953.785 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 re) (/ 0 re)))) into 0 1540199953.786 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1540199953.786 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 re)) 0) (* 0 0)) into 0 1540199953.786 * [misc]backup-simplify: Simplify (- 0) into 0 1540199953.786 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540199953.786 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))))) into 0 1540199953.786 * [misc]backup-simplify: Simplify (+ (* 0.5 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im))))) into 0 1540199953.786 * [misc]backup-simplify: Simplify 0 into 0 1540199953.786 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1540199953.788 * [misc]backup-simplify: Simplify (* (exp (/ 1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1540199953.788 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0 1540199953.788 * [misc]backup-simplify: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im)))))) into 0 1540199953.788 * [misc]taylor: Taking taylor expansion of 0 in im 1540199953.788 * [misc]backup-simplify: Simplify 0 into 0 1540199953.788 * [misc]backup-simplify: Simplify 0 into 0 1540199953.788 * [misc]backup-simplify: Simplify 0 into 0 1540199953.789 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1540199953.789 * [misc]backup-simplify: Simplify (+ (* (cos (/ 1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 1540199953.789 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1540199953.790 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1540199953.790 * [misc]backup-simplify: Simplify (+ (* (sin (/ 1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 1540199953.790 * [misc]backup-simplify: Simplify (- 0) into 0 1540199953.790 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540199953.790 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0 1540199953.791 * [misc]backup-simplify: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im)))))) into 0 1540199953.791 * [misc]backup-simplify: Simplify 0 into 0 1540199953.791 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 1540199953.793 * [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 1540199953.793 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ 1 im))) (+ (* (/ (cos (/ 1 re)) (exp (/ 1 im))) (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))) (* 0 (/ 0 (exp (/ 1 im)))))) into 0 1540199953.793 * [misc]backup-simplify: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ (cos (/ 1 re)) (exp (/ 1 im))))))) into 0 1540199953.793 * [misc]taylor: Taking taylor expansion of 0 in im 1540199953.793 * [misc]backup-simplify: Simplify 0 into 0 1540199953.793 * [misc]backup-simplify: Simplify 0 into 0 1540199953.794 * [misc]backup-simplify: Simplify (* 0.5 (/ (cos (/ 1 (/ 1 re))) (exp (/ 1 (/ 1 im))))) into (* 0.5 (/ (cos re) (exp im))) 1540199953.794 * [misc]backup-simplify: Simplify (/ (* (cos (/ 1 (- re))) 0.5) (exp (/ 1 (- im)))) into (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) 1540199953.794 * [misc]approximate: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in (re im) around 0 1540199953.794 * [misc]taylor: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in im 1540199953.794 * [misc]taylor: Taking taylor expansion of 0.5 in im 1540199953.794 * [misc]backup-simplify: Simplify 0.5 into 0.5 1540199953.794 * [misc]taylor: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in im 1540199953.794 * [misc]taylor: Taking taylor expansion of (cos (/ -1 re)) in im 1540199953.794 * [misc]taylor: Taking taylor expansion of (/ -1 re) in im 1540199953.794 * [misc]taylor: Taking taylor expansion of -1 in im 1540199953.794 * [misc]backup-simplify: Simplify -1 into -1 1540199953.794 * [misc]taylor: Taking taylor expansion of re in im 1540199953.794 * [misc]backup-simplify: Simplify re into re 1540199953.794 * [misc]backup-simplify: Simplify (/ -1 re) into (/ -1 re) 1540199953.794 * [misc]backup-simplify: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 1540199953.794 * [misc]backup-simplify: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 1540199953.794 * [misc]taylor: Taking taylor expansion of (exp (/ -1 im)) in im 1540199953.794 * [misc]taylor: Taking taylor expansion of (/ -1 im) in im 1540199953.794 * [misc]taylor: Taking taylor expansion of -1 in im 1540199953.794 * [misc]backup-simplify: Simplify -1 into -1 1540199953.794 * [misc]taylor: Taking taylor expansion of im in im 1540199953.794 * [misc]backup-simplify: Simplify 0 into 0 1540199953.794 * [misc]backup-simplify: Simplify 1 into 1 1540199953.794 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1540199953.794 * [misc]backup-simplify: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 1540199953.794 * [misc]backup-simplify: Simplify (* (cos (/ -1 re)) 1) into (cos (/ -1 re)) 1540199953.794 * [misc]backup-simplify: Simplify (* (sin (/ -1 re)) 0) into 0 1540199953.794 * [misc]backup-simplify: Simplify (- 0) into 0 1540199953.795 * [misc]backup-simplify: Simplify (+ (cos (/ -1 re)) 0) into (cos (/ -1 re)) 1540199953.795 * [misc]backup-simplify: Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im))) 1540199953.795 * [misc]taylor: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in re 1540199953.795 * [misc]taylor: Taking taylor expansion of 0.5 in re 1540199953.795 * [misc]backup-simplify: Simplify 0.5 into 0.5 1540199953.795 * [misc]taylor: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in re 1540199953.795 * [misc]taylor: Taking taylor expansion of (cos (/ -1 re)) in re 1540199953.795 * [misc]taylor: Taking taylor expansion of (/ -1 re) in re 1540199953.795 * [misc]taylor: Taking taylor expansion of -1 in re 1540199953.795 * [misc]backup-simplify: Simplify -1 into -1 1540199953.795 * [misc]taylor: Taking taylor expansion of re in re 1540199953.795 * [misc]backup-simplify: Simplify 0 into 0 1540199953.795 * [misc]backup-simplify: Simplify 1 into 1 1540199953.795 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1540199953.795 * [misc]backup-simplify: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 1540199953.795 * [misc]taylor: Taking taylor expansion of (exp (/ -1 im)) in re 1540199953.795 * [misc]taylor: Taking taylor expansion of (/ -1 im) in re 1540199953.795 * [misc]taylor: Taking taylor expansion of -1 in re 1540199953.795 * [misc]backup-simplify: Simplify -1 into -1 1540199953.795 * [misc]taylor: Taking taylor expansion of im in re 1540199953.795 * [misc]backup-simplify: Simplify im into im 1540199953.795 * [misc]backup-simplify: Simplify (/ -1 im) into (/ -1 im) 1540199953.795 * [misc]backup-simplify: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 1540199953.795 * [misc]backup-simplify: Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im))) 1540199953.795 * [misc]taylor: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in re 1540199953.795 * [misc]taylor: Taking taylor expansion of 0.5 in re 1540199953.795 * [misc]backup-simplify: Simplify 0.5 into 0.5 1540199953.795 * [misc]taylor: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in re 1540199953.795 * [misc]taylor: Taking taylor expansion of (cos (/ -1 re)) in re 1540199953.795 * [misc]taylor: Taking taylor expansion of (/ -1 re) in re 1540199953.795 * [misc]taylor: Taking taylor expansion of -1 in re 1540199953.795 * [misc]backup-simplify: Simplify -1 into -1 1540199953.795 * [misc]taylor: Taking taylor expansion of re in re 1540199953.795 * [misc]backup-simplify: Simplify 0 into 0 1540199953.795 * [misc]backup-simplify: Simplify 1 into 1 1540199953.795 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1540199953.796 * [misc]backup-simplify: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 1540199953.796 * [misc]taylor: Taking taylor expansion of (exp (/ -1 im)) in re 1540199953.796 * [misc]taylor: Taking taylor expansion of (/ -1 im) in re 1540199953.796 * [misc]taylor: Taking taylor expansion of -1 in re 1540199953.796 * [misc]backup-simplify: Simplify -1 into -1 1540199953.796 * [misc]taylor: Taking taylor expansion of im in re 1540199953.796 * [misc]backup-simplify: Simplify im into im 1540199953.796 * [misc]backup-simplify: Simplify (/ -1 im) into (/ -1 im) 1540199953.796 * [misc]backup-simplify: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 1540199953.796 * [misc]backup-simplify: Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im))) 1540199953.796 * [misc]backup-simplify: Simplify (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) 1540199953.796 * [misc]taylor: Taking taylor expansion of (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) in im 1540199953.796 * [misc]taylor: Taking taylor expansion of 0.5 in im 1540199953.796 * [misc]backup-simplify: Simplify 0.5 into 0.5 1540199953.796 * [misc]taylor: Taking taylor expansion of (/ (cos (/ -1 re)) (exp (/ -1 im))) in im 1540199953.796 * [misc]taylor: Taking taylor expansion of (cos (/ -1 re)) in im 1540199953.796 * [misc]taylor: Taking taylor expansion of (/ -1 re) in im 1540199953.796 * [misc]taylor: Taking taylor expansion of -1 in im 1540199953.796 * [misc]backup-simplify: Simplify -1 into -1 1540199953.796 * [misc]taylor: Taking taylor expansion of re in im 1540199953.796 * [misc]backup-simplify: Simplify re into re 1540199953.796 * [misc]backup-simplify: Simplify (/ -1 re) into (/ -1 re) 1540199953.796 * [misc]backup-simplify: Simplify (cos (/ -1 re)) into (cos (/ -1 re)) 1540199953.796 * [misc]backup-simplify: Simplify (sin (/ -1 re)) into (sin (/ -1 re)) 1540199953.796 * [misc]taylor: Taking taylor expansion of (exp (/ -1 im)) in im 1540199953.796 * [misc]taylor: Taking taylor expansion of (/ -1 im) in im 1540199953.796 * [misc]taylor: Taking taylor expansion of -1 in im 1540199953.796 * [misc]backup-simplify: Simplify -1 into -1 1540199953.796 * [misc]taylor: Taking taylor expansion of im in im 1540199953.796 * [misc]backup-simplify: Simplify 0 into 0 1540199953.796 * [misc]backup-simplify: Simplify 1 into 1 1540199953.796 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1540199953.796 * [misc]backup-simplify: Simplify (exp (/ -1 im)) into (exp (/ -1 im)) 1540199953.797 * [misc]backup-simplify: Simplify (* (cos (/ -1 re)) 1) into (cos (/ -1 re)) 1540199953.797 * [misc]backup-simplify: Simplify (* (sin (/ -1 re)) 0) into 0 1540199953.797 * [misc]backup-simplify: Simplify (- 0) into 0 1540199953.797 * [misc]backup-simplify: Simplify (+ (cos (/ -1 re)) 0) into (cos (/ -1 re)) 1540199953.797 * [misc]backup-simplify: Simplify (/ (cos (/ -1 re)) (exp (/ -1 im))) into (/ (cos (/ -1 re)) (exp (/ -1 im))) 1540199953.797 * [misc]backup-simplify: Simplify (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) 1540199953.797 * [misc]backup-simplify: Simplify (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) into (* 0.5 (/ (cos (/ -1 re)) (exp (/ -1 im)))) 1540199953.797 * [misc]backup-simplify: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)))) into 0 1540199953.798 * [misc]backup-simplify: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 1) 1)))) into 0 1540199953.798 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))))) into 0 1540199953.798 * [misc]backup-simplify: Simplify (+ (* 0.5 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im))))) into 0 1540199953.798 * [misc]taylor: Taking taylor expansion of 0 in im 1540199953.798 * [misc]backup-simplify: Simplify 0 into 0 1540199953.798 * [misc]backup-simplify: Simplify 0 into 0 1540199953.798 * [misc]backup-simplify: Simplify (+ 0) into 0 1540199953.799 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 re)) 0) (* 0 1)) into 0 1540199953.799 * [misc]backup-simplify: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)))) into 0 1540199953.799 * [misc]backup-simplify: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0 1540199953.799 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 re)) 0) (* 0 0)) into 0 1540199953.800 * [misc]backup-simplify: Simplify (- 0) into 0 1540199953.800 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540199953.800 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))))) into 0 1540199953.800 * [misc]backup-simplify: Simplify (+ (* 0.5 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im))))) into 0 1540199953.800 * [misc]backup-simplify: Simplify 0 into 0 1540199953.800 * [misc]backup-simplify: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)))) into 0 1540199953.801 * [misc]backup-simplify: Simplify (* (exp (/ -1 im)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1540199953.801 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0 1540199953.802 * [misc]backup-simplify: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im)))))) into 0 1540199953.802 * [misc]taylor: Taking taylor expansion of 0 in im 1540199953.802 * [misc]backup-simplify: Simplify 0 into 0 1540199953.802 * [misc]backup-simplify: Simplify 0 into 0 1540199953.802 * [misc]backup-simplify: Simplify 0 into 0 1540199953.802 * [misc]backup-simplify: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0 1540199953.803 * [misc]backup-simplify: Simplify (+ (* (cos (/ -1 re)) 0) (+ (* 0 0) (* 0 1))) into 0 1540199953.803 * [misc]backup-simplify: Simplify (- (/ 0 re) (+ (* (/ -1 re) (/ 0 re)) (* 0 (/ 0 re)))) into 0 1540199953.803 * [misc]backup-simplify: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0 1540199953.804 * [misc]backup-simplify: Simplify (+ (* (sin (/ -1 re)) 0) (+ (* 0 0) (* 0 0))) into 0 1540199953.804 * [misc]backup-simplify: Simplify (- 0) into 0 1540199953.804 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540199953.804 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0 1540199953.804 * [misc]backup-simplify: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im)))))) into 0 1540199953.804 * [misc]backup-simplify: Simplify 0 into 0 1540199953.804 * [misc]backup-simplify: Simplify (- (/ 0 im) (+ (* (/ -1 im) (/ 0 im)) (* 0 (/ 0 im)) (* 0 (/ 0 im)))) into 0 1540199953.806 * [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 1540199953.807 * [misc]backup-simplify: Simplify (- (/ 0 (exp (/ -1 im))) (+ (* (/ (cos (/ -1 re)) (exp (/ -1 im))) (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))) (* 0 (/ 0 (exp (/ -1 im)))))) into 0 1540199953.807 * [misc]backup-simplify: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ (cos (/ -1 re)) (exp (/ -1 im))))))) into 0 1540199953.807 * [misc]taylor: Taking taylor expansion of 0 in im 1540199953.807 * [misc]backup-simplify: Simplify 0 into 0 1540199953.807 * [misc]backup-simplify: Simplify 0 into 0 1540199953.807 * [misc]backup-simplify: Simplify (* 0.5 (/ (cos (/ -1 (/ 1 (- re)))) (exp (/ -1 (/ 1 (- im)))))) into (* 0.5 (/ (cos re) (exp im))) 1540199953.807 * * * [misc]progress: simplifying candidates 1540199953.807 * * * * [misc]progress: [ 1 / 24 ] simplifiying candidate # 1540199953.807 * * * * [misc]progress: [ 2 / 24 ] simplifiying candidate # 1540199953.807 * * * * [misc]progress: [ 3 / 24 ] simplifiying candidate # 1540199953.807 * * * * [misc]progress: [ 4 / 24 ] simplifiying candidate # 1540199953.808 * [enter]simplify: Simplifying (- (log (* (cos re) 0.5)) im) 1540199953.808 * * [misc]simplify: iters left: 6 (7 enodes) 1540199953.809 * * [misc]simplify: iters left: 5 (13 enodes) 1540199953.811 * * [misc]simplify: iters left: 4 (19 enodes) 1540199953.814 * * [misc]simplify: iters left: 3 (27 enodes) 1540199953.817 * * [misc]simplify: iters left: 2 (31 enodes) 1540199953.821 * * [misc]simplify: iters left: 1 (35 enodes) 1540199953.826 * [exit]simplify: Simplified to (+ (- (log 0.5) im) (log (cos re))) 1540199953.826 * [misc]simplify: Simplified (2 3 1) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (exp (+ (- (log 0.5) im) (log (cos re)))))) 1540199953.826 * * * * [misc]progress: [ 5 / 24 ] simplifiying candidate # 1540199953.826 * * * * [misc]progress: [ 6 / 24 ] simplifiying candidate # 1540199953.826 * * * * [misc]progress: [ 7 / 24 ] simplifiying candidate # 1540199953.826 * [enter]simplify: Simplifying (/ (* (* (* (cos re) 0.5) (* (cos re) 0.5)) (* (cos re) 0.5)) (* (* (exp im) (exp im)) (exp im))) 1540199953.826 * * [misc]simplify: iters left: 6 (11 enodes) 1540199953.828 * * [misc]simplify: iters left: 5 (29 enodes) 1540199953.834 * * [misc]simplify: iters left: 4 (105 enodes) 1540199953.865 * * [misc]simplify: iters left: 3 (398 enodes) 1540199954.357 * [exit]simplify: Simplified to (* (* (/ (cos re) (exp im)) (* 0.5 (cos re))) (* (/ (* 0.5 0.5) (exp im)) (/ (cos re) (exp im)))) 1540199954.357 * [misc]simplify: Simplified (2 3 1) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (cbrt (* (* (/ (cos re) (exp im)) (* 0.5 (cos re))) (* (/ (* 0.5 0.5) (exp im)) (/ (cos re) (exp im))))))) 1540199954.357 * * * * [misc]progress: [ 8 / 24 ] simplifiying candidate # 1540199954.357 * * * * [misc]progress: [ 9 / 24 ] simplifiying candidate # 1540199954.357 * * * * [misc]progress: [ 10 / 24 ] simplifiying candidate # 1540199954.357 * * * * [misc]progress: [ 11 / 24 ] simplifiying candidate # 1540199954.357 * * * * [misc]progress: [ 12 / 24 ] simplifiying candidate # 1540199954.357 * [enter]simplify: Simplifying (/ (cos re) (* (cbrt (exp im)) (cbrt (exp im)))) 1540199954.357 * * [misc]simplify: iters left: 6 (7 enodes) 1540199954.358 * * [misc]simplify: iters left: 5 (9 enodes) 1540199954.363 * [exit]simplify: Simplified to (/ (cos re) (* (cbrt (exp im)) (cbrt (exp im)))) 1540199954.363 * [misc]simplify: Simplified (2 3 1) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (* (/ (cos re) (* (cbrt (exp im)) (cbrt (exp im)))) (/ 0.5 (cbrt (exp im)))))) 1540199954.363 * [enter]simplify: Simplifying (/ 0.5 (cbrt (exp im))) 1540199954.363 * * [misc]simplify: iters left: 4 (5 enodes) 1540199954.364 * [exit]simplify: Simplified to (/ 0.5 (cbrt (exp im))) 1540199954.364 * [misc]simplify: Simplified (2 3 2) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (* (/ (cos re) (* (cbrt (exp im)) (cbrt (exp im)))) (/ 0.5 (cbrt (exp im)))))) 1540199954.364 * * * * [misc]progress: [ 13 / 24 ] simplifiying candidate # 1540199954.364 * [enter]simplify: Simplifying (/ (cos re) (sqrt (exp im))) 1540199954.364 * * [misc]simplify: iters left: 4 (6 enodes) 1540199954.365 * [exit]simplify: Simplified to (/ (cos re) (sqrt (exp im))) 1540199954.365 * [misc]simplify: Simplified (2 3 1) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (* (/ (cos re) (sqrt (exp im))) (/ 0.5 (sqrt (exp im)))))) 1540199954.365 * [enter]simplify: Simplifying (/ 0.5 (sqrt (exp im))) 1540199954.365 * * [misc]simplify: iters left: 4 (5 enodes) 1540199954.366 * [exit]simplify: Simplified to (/ 0.5 (sqrt (exp im))) 1540199954.366 * [misc]simplify: Simplified (2 3 2) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (* (/ (cos re) (sqrt (exp im))) (/ 0.5 (sqrt (exp im)))))) 1540199954.366 * * * * [misc]progress: [ 14 / 24 ] simplifiying candidate # 1540199954.366 * [enter]simplify: Simplifying (/ (cos re) 1) 1540199954.366 * * [misc]simplify: iters left: 3 (4 enodes) 1540199954.366 * * [misc]simplify: iters left: 2 (6 enodes) 1540199954.368 * * [misc]simplify: iters left: 1 (8 enodes) 1540199954.368 * [exit]simplify: Simplified to (cos re) 1540199954.368 * [misc]simplify: Simplified (2 3 1) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (* (cos re) (/ 0.5 (exp im))))) 1540199954.368 * [enter]simplify: Simplifying (/ 0.5 (exp im)) 1540199954.368 * * [misc]simplify: iters left: 3 (4 enodes) 1540199954.369 * [exit]simplify: Simplified to (/ 0.5 (exp im)) 1540199954.369 * [misc]simplify: Simplified (2 3 2) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (* (cos re) (/ 0.5 (exp im))))) 1540199954.369 * * * * [misc]progress: [ 15 / 24 ] simplifiying candidate # 1540199954.369 * * * * [misc]progress: [ 16 / 24 ] simplifiying candidate # 1540199954.369 * * * * [misc]progress: [ 17 / 24 ] simplifiying candidate # 1540199954.369 * * * * [misc]progress: [ 18 / 24 ] simplifiying candidate # 1540199954.369 * [enter]simplify: Simplifying (cbrt (exp im)) 1540199954.369 * * [misc]simplify: iters left: 2 (3 enodes) 1540199954.370 * [exit]simplify: Simplified to (cbrt (exp im)) 1540199954.370 * [misc]simplify: Simplified (2 3 2) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (/ (/ (* (cos re) 0.5) (* (cbrt (exp im)) (cbrt (exp im)))) (cbrt (exp im))))) 1540199954.370 * * * * [misc]progress: [ 19 / 24 ] simplifiying candidate # 1540199954.370 * [enter]simplify: Simplifying (sqrt (exp im)) 1540199954.370 * * [misc]simplify: iters left: 2 (3 enodes) 1540199954.370 * [exit]simplify: Simplified to (sqrt (exp im)) 1540199954.370 * [misc]simplify: Simplified (2 3 2) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (/ (/ (* (cos re) 0.5) (sqrt (exp im))) (sqrt (exp im))))) 1540199954.370 * * * * [misc]progress: [ 20 / 24 ] simplifiying candidate # 1540199954.371 * [enter]simplify: Simplifying (exp im) 1540199954.371 * * [misc]simplify: iters left: 1 (2 enodes) 1540199954.371 * [exit]simplify: Simplified to (exp im) 1540199954.371 * [misc]simplify: Simplified (2 3 2) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (/ (/ (* (cos re) 0.5) 1) (exp im)))) 1540199954.371 * * * * [misc]progress: [ 21 / 24 ] simplifiying candidate # 1540199954.371 * [enter]simplify: Simplifying (cos re) 1540199954.371 * * [misc]simplify: iters left: 1 (2 enodes) 1540199954.371 * [exit]simplify: Simplified to (cos re) 1540199954.371 * [misc]simplify: Simplified (2 3 1) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (/ (cos re) (/ (exp im) 0.5)))) 1540199954.371 * * * * [misc]progress: [ 22 / 24 ] simplifiying candidate # 1540199954.372 * [enter]simplify: Simplifying (- 0.5 (+ (* 0.25 (pow re 2)) (* 0.5 im))) 1540199954.372 * * [misc]simplify: iters left: 6 (10 enodes) 1540199954.373 * * [misc]simplify: iters left: 5 (19 enodes) 1540199954.376 * * [misc]simplify: iters left: 4 (34 enodes) 1540199954.382 * * [misc]simplify: iters left: 3 (64 enodes) 1540199954.394 * * [misc]simplify: iters left: 2 (123 enodes) 1540199954.431 * * [misc]simplify: iters left: 1 (166 enodes) 1540199954.472 * [exit]simplify: Simplified to (- 0.5 (fma (* re re) 0.25 (* 0.5 im))) 1540199954.472 * [misc]simplify: Simplified (2 3) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (- 0.5 (fma (* re re) 0.25 (* 0.5 im))))) 1540199954.473 * * * * [misc]progress: [ 23 / 24 ] simplifiying candidate # 1540199954.473 * [enter]simplify: Simplifying (* 0.5 (/ (cos re) (exp im))) 1540199954.473 * * [misc]simplify: iters left: 5 (7 enodes) 1540199954.474 * * [misc]simplify: iters left: 4 (10 enodes) 1540199954.475 * * [misc]simplify: iters left: 3 (14 enodes) 1540199954.477 * * [misc]simplify: iters left: 2 (16 enodes) 1540199954.479 * * [misc]simplify: iters left: 1 (18 enodes) 1540199954.481 * [exit]simplify: Simplified to (* (/ (cos re) (exp im)) 0.5) 1540199954.481 * [misc]simplify: Simplified (2 3) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (* (/ (cos re) (exp im)) 0.5))) 1540199954.481 * * * * [misc]progress: [ 24 / 24 ] simplifiying candidate # 1540199954.482 * [enter]simplify: Simplifying (* 0.5 (/ (cos re) (exp im))) 1540199954.482 * * [misc]simplify: iters left: 5 (7 enodes) 1540199954.483 * * [misc]simplify: iters left: 4 (10 enodes) 1540199954.484 * * [misc]simplify: iters left: 3 (14 enodes) 1540199954.486 * * [misc]simplify: iters left: 2 (16 enodes) 1540199954.488 * * [misc]simplify: iters left: 1 (18 enodes) 1540199954.493 * [exit]simplify: Simplified to (* (/ (cos re) (exp im)) 0.5) 1540199954.493 * [misc]simplify: Simplified (2 3) to (λ (re im) (fma (exp im) (* (cos re) 0.5) (* (/ (cos re) (exp im)) 0.5))) 1540199954.493 * * * [misc]progress: adding candidates to table 1540199954.746 * [misc]progress: [Phase 3 of 3] Extracting. 1540199954.751 * [enter]simplify: Simplifying (fma (exp im) (* (cos re) 0.5) (/ (* (cos re) 0.5) (exp im))) 1540199954.752 * * [misc]simplify: iters left: 6 (8 enodes) 1540199954.752 * * [misc]simplify: iters left: 5 (9 enodes) 1540199954.753 * [exit]simplify: Simplified to (fma (exp im) (* (cos re) 0.5) (/ (* (cos re) 0.5) (exp im))) 1540199954.753 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1540199954.796 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1540199954.798 * * * * [misc]points: Setting MPFR precision to 64 1540199954.798 * * * * [misc]points: Setting MPFR precision to 320 1540199954.799 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1540199954.800 * * * * [misc]points: Setting MPFR precision to 64 1540199954.801 * * * * [misc]points: Setting MPFR precision to 320 1540199954.802 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1540199954.803 * * * * [misc]points: Setting MPFR precision to 64 1540199954.805 * * * * [misc]points: Setting MPFR precision to 320 1540199954.807 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1540199954.809 * * * * [misc]points: Setting MPFR precision to 64 1540199954.812 * * * * [misc]points: Setting MPFR precision to 320 1540199954.816 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1540199954.818 * * * * [misc]points: Setting MPFR precision to 64 1540199954.825 * * * * [misc]points: Setting MPFR precision to 320 1540199954.832 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1540199954.834 * * * * [misc]points: Setting MPFR precision to 64 1540199954.848 * * * * [misc]points: Setting MPFR precision to 320 1540199954.868 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1540199954.871 * * * * [misc]points: Setting MPFR precision to 64 1540199954.928 * * * * [misc]points: Setting MPFR precision to 320 1540199954.959 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1540199954.960 * * * * [misc]points: Setting MPFR precision to 64 1540199955.015 * * * * [misc]points: Setting MPFR precision to 320 1540199955.129 * * * * [misc]points: Computing exacts for 8000 points 1540199955.130 * * * * [misc]points: Setting MPFR precision to 64 1540199955.436 * * * * [misc]points: Setting MPFR precision to 320 1540199956.022 * * * * [misc]points: Setting MPFR precision to 576 1540199956.552 * * * * [misc]points: Filtering points with unrepresentable outputs 1540199956.553 * * * * [misc]points: Sampling 4029 additional inputs, on iter 1 have 3971 / 8000 1540199956.599 * * * * [misc]points: Computing exacts on every 251 of 4029 points to ramp up precision 1540199956.600 * * * * [misc]points: Setting MPFR precision to 320 1540199956.601 * * * * [misc]points: Setting MPFR precision to 576 1540199956.602 * * * * [misc]points: Computing exacts on every 125 of 4029 points to ramp up precision 1540199956.603 * * * * [misc]points: Setting MPFR precision to 320 1540199956.604 * * * * [misc]points: Setting MPFR precision to 576 1540199956.605 * * * * [misc]points: Computing exacts on every 62 of 4029 points to ramp up precision 1540199956.606 * * * * [misc]points: Setting MPFR precision to 320 1540199956.608 * * * * [misc]points: Setting MPFR precision to 576 1540199956.611 * * * * [misc]points: Computing exacts on every 31 of 4029 points to ramp up precision 1540199956.612 * * * * [misc]points: Setting MPFR precision to 320 1540199956.617 * * * * [misc]points: Setting MPFR precision to 576 1540199956.622 * * * * [misc]points: Computing exacts on every 15 of 4029 points to ramp up precision 1540199956.623 * * * * [misc]points: Setting MPFR precision to 320 1540199956.631 * * * * [misc]points: Setting MPFR precision to 576 1540199956.641 * * * * [misc]points: Computing exacts on every 7 of 4029 points to ramp up precision 1540199956.643 * * * * [misc]points: Setting MPFR precision to 320 1540199956.659 * * * * [misc]points: Setting MPFR precision to 576 1540199956.679 * * * * [misc]points: Computing exacts on every 3 of 4029 points to ramp up precision 1540199956.681 * * * * [misc]points: Setting MPFR precision to 320 1540199956.738 * * * * [misc]points: Setting MPFR precision to 576 1540199956.778 * * * * [misc]points: Computing exacts for 4029 points 1540199956.780 * * * * [misc]points: Setting MPFR precision to 320 1540199956.945 * * * * [misc]points: Setting MPFR precision to 576 1540199957.145 * * * * [misc]points: Filtering points with unrepresentable outputs 1540199957.147 * * * * [misc]points: Sampling 1925 additional inputs, on iter 2 have 6075 / 8000 1540199957.183 * * * * [misc]points: Computing exacts on every 120 of 1925 points to ramp up precision 1540199957.185 * * * * [misc]points: Setting MPFR precision to 320 1540199957.185 * * * * [misc]points: Setting MPFR precision to 576 1540199957.186 * * * * [misc]points: Computing exacts on every 60 of 1925 points to ramp up precision 1540199957.187 * * * * [misc]points: Setting MPFR precision to 320 1540199957.188 * * * * [misc]points: Setting MPFR precision to 576 1540199957.189 * * * * [misc]points: Computing exacts on every 30 of 1925 points to ramp up precision 1540199957.191 * * * * [misc]points: Setting MPFR precision to 320 1540199957.195 * * * * [misc]points: Setting MPFR precision to 576 1540199957.198 * * * * [misc]points: Computing exacts on every 15 of 1925 points to ramp up precision 1540199957.199 * * * * [misc]points: Setting MPFR precision to 320 1540199957.203 * * * * [misc]points: Setting MPFR precision to 576 1540199957.208 * * * * [misc]points: Computing exacts on every 7 of 1925 points to ramp up precision 1540199957.210 * * * * [misc]points: Setting MPFR precision to 320 1540199957.217 * * * * [misc]points: Setting MPFR precision to 576 1540199957.227 * * * * [misc]points: Computing exacts on every 3 of 1925 points to ramp up precision 1540199957.228 * * * * [misc]points: Setting MPFR precision to 320 1540199957.244 * * * * [misc]points: Setting MPFR precision to 576 1540199957.263 * * * * [misc]points: Computing exacts for 1925 points 1540199957.265 * * * * [misc]points: Setting MPFR precision to 320 1540199957.355 * * * * [misc]points: Setting MPFR precision to 576 1540199957.433 * * * * [misc]points: Filtering points with unrepresentable outputs 1540199957.434 * * * * [misc]points: Sampling 956 additional inputs, on iter 3 have 7044 / 8000 1540199957.438 * * * * [misc]points: Computing exacts on every 59 of 956 points to ramp up precision 1540199957.467 * * * * [misc]points: Setting MPFR precision to 320 1540199957.468 * * * * [misc]points: Setting MPFR precision to 576 1540199957.469 * * * * [misc]points: Computing exacts on every 29 of 956 points to ramp up precision 1540199957.470 * * * * [misc]points: Setting MPFR precision to 320 1540199957.471 * * * * [misc]points: Setting MPFR precision to 576 1540199957.473 * * * * [misc]points: Computing exacts on every 14 of 956 points to ramp up precision 1540199957.474 * * * * [misc]points: Setting MPFR precision to 320 1540199957.478 * * * * [misc]points: Setting MPFR precision to 576 1540199957.481 * * * * [misc]points: Computing exacts on every 7 of 956 points to ramp up precision 1540199957.483 * * * * [misc]points: Setting MPFR precision to 320 1540199957.487 * * * * [misc]points: Setting MPFR precision to 576 1540199957.492 * * * * [misc]points: Computing exacts on every 3 of 956 points to ramp up precision 1540199957.493 * * * * [misc]points: Setting MPFR precision to 320 1540199957.501 * * * * [misc]points: Setting MPFR precision to 576 1540199957.511 * * * * [misc]points: Computing exacts for 956 points 1540199957.512 * * * * [misc]points: Setting MPFR precision to 320 1540199957.543 * * * * [misc]points: Setting MPFR precision to 576 1540199957.600 * * * * [misc]points: Filtering points with unrepresentable outputs 1540199957.601 * * * * [misc]points: Sampling 466 additional inputs, on iter 4 have 7534 / 8000 1540199957.604 * * * * [misc]points: Computing exacts on every 29 of 466 points to ramp up precision 1540199957.908 * * * * [misc]points: Setting MPFR precision to 320 1540199957.909 * * * * [misc]points: Setting MPFR precision to 576 1540199957.909 * * * * [misc]points: Computing exacts on every 14 of 466 points to ramp up precision 1540199957.911 * * * * [misc]points: Setting MPFR precision to 320 1540199957.912 * * * * [misc]points: Setting MPFR precision to 576 1540199957.913 * * * * [misc]points: Computing exacts on every 7 of 466 points to ramp up precision 1540199957.914 * * * * [misc]points: Setting MPFR precision to 320 1540199957.919 * * * * [misc]points: Setting MPFR precision to 576 1540199957.923 * * * * [misc]points: Computing exacts on every 3 of 466 points to ramp up precision 1540199957.926 * * * * [misc]points: Setting MPFR precision to 320 1540199957.933 * * * * [misc]points: Setting MPFR precision to 576 1540199957.943 * * * * [misc]points: Computing exacts for 466 points 1540199957.945 * * * * [misc]points: Setting MPFR precision to 320 1540199957.974 * * * * [misc]points: Setting MPFR precision to 576 1540199957.995 * * * * [misc]points: Filtering points with unrepresentable outputs 1540199957.996 * * * * [misc]points: Sampling 233 additional inputs, on iter 5 have 7767 / 8000 1540199957.997 * * * * [misc]points: Computing exacts on every 14 of 233 points to ramp up precision 1540199957.998 * * * * [misc]points: Setting MPFR precision to 320 1540199957.999 * * * * [misc]points: Setting MPFR precision to 576 1540199957.999 * * * * [misc]points: Computing exacts on every 7 of 233 points to ramp up precision 1540199958.001 * * * * [misc]points: Setting MPFR precision to 320 1540199958.002 * * * * [misc]points: Setting MPFR precision to 576 1540199958.003 * * * * [misc]points: Computing exacts on every 3 of 233 points to ramp up precision 1540199958.004 * * * * [misc]points: Setting MPFR precision to 320 1540199958.006 * * * * [misc]points: Setting MPFR precision to 576 1540199958.009 * * * * [misc]points: Computing exacts for 233 points 1540199958.010 * * * * [misc]points: Setting MPFR precision to 320 1540199958.018 * * * * [misc]points: Setting MPFR precision to 576 1540199958.028 * * * * [misc]points: Filtering points with unrepresentable outputs 1540199958.028 * * * * [misc]points: Sampling 112 additional inputs, on iter 6 have 7888 / 8000 1540199958.028 * * * * [misc]points: Computing exacts on every 7 of 112 points to ramp up precision 1540199958.030 * * * * [misc]points: Setting MPFR precision to 320 1540199958.030 * * * * [misc]points: Setting MPFR precision to 576 1540199958.031 * * * * [misc]points: Computing exacts on every 3 of 112 points to ramp up precision 1540199958.032 * * * * [misc]points: Setting MPFR precision to 320 1540199958.033 * * * * [misc]points: Setting MPFR precision to 576 1540199958.034 * * * * [misc]points: Computing exacts for 112 points 1540199958.035 * * * * [misc]points: Setting MPFR precision to 320 1540199958.039 * * * * [misc]points: Setting MPFR precision to 576 1540199958.043 * * * * [misc]points: Filtering points with unrepresentable outputs 1540199958.044 * * * * [misc]points: Sampling 63 additional inputs, on iter 7 have 7937 / 8000 1540199958.044 * * * * [misc]points: Computing exacts on every 3 of 63 points to ramp up precision 1540199958.045 * * * * [misc]points: Setting MPFR precision to 320 1540199958.069 * * * * [misc]points: Setting MPFR precision to 576 1540199958.070 * * * * [misc]points: Computing exacts for 63 points 1540199958.071 * * * * [misc]points: Setting MPFR precision to 320 1540199958.073 * * * * [misc]points: Setting MPFR precision to 576 1540199958.076 * * * * [misc]points: Filtering points with unrepresentable outputs 1540199958.076 * * * * [misc]points: Sampling 22 additional inputs, on iter 8 have 7978 / 8000 1540199958.077 * * * * [misc]points: Computing exacts for 22 points 1540199958.078 * * * * [misc]points: Setting MPFR precision to 320 1540199958.081 * * * * [misc]points: Setting MPFR precision to 576 1540199958.082 * * * * [misc]points: Filtering points with unrepresentable outputs 1540199958.082 * * * * [misc]points: Sampling 10 additional inputs, on iter 9 have 7990 / 8000 1540199958.082 * * * * [misc]points: Computing exacts for 10 points 1540199958.083 * * * * [misc]points: Setting MPFR precision to 320 1540199958.084 * * * * [misc]points: Setting MPFR precision to 576 1540199958.084 * * * * [misc]points: Filtering points with unrepresentable outputs 1540199958.084 * * * * [misc]points: Sampling 8 additional inputs, on iter 10 have 7992 / 8000 1540199958.084 * * * * [misc]points: Computing exacts for 8 points 1540199958.086 * * * * [misc]points: Setting MPFR precision to 320 1540199958.086 * * * * [misc]points: Setting MPFR precision to 576 1540199958.086 * * * * [misc]points: Filtering points with unrepresentable outputs 1540199958.086 * * * * [misc]points: Sampling 6 additional inputs, on iter 11 have 7994 / 8000 1540199958.086 * * * * [misc]points: Computing exacts for 6 points 1540199958.088 * * * * [misc]points: Setting MPFR precision to 320 1540199958.088 * * * * [misc]points: Setting MPFR precision to 576 1540199958.088 * * * * [misc]points: Filtering points with unrepresentable outputs 1540199958.088 * * * * [misc]points: Sampling 4 additional inputs, on iter 12 have 7997 / 8000 1540199958.089 * * * * [misc]points: Computing exacts for 4 points 1540199958.090 * * * * [misc]points: Setting MPFR precision to 320 1540199958.090 * * * * [misc]points: Setting MPFR precision to 576 1540199958.090 * * * * [misc]points: Filtering points with unrepresentable outputs 1540199958.090 * * * * [exit]points: Sampled 8000 points with exact outputs 1540199958.314 * [misc]regime-testing: Baseline error score: 0.006573120312590144 1540199958.314 * [misc]regime-testing: End program error score: 0.006573120312590144 1540199958.314 * [misc]regime-testing: Oracle error score: 0.006573120312590144