1537437281.292 * [misc]progress: [Phase 1 of 3] Setting up. 1537437281.294 * * * [misc]progress: [1/2] Preparing points 1537437281.295 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1537437281.300 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1537437281.415 * * * * [misc]points: Setting MPFR precision to 64 1537437281.418 * * * * [misc]points: Setting MPFR precision to 320 1537437281.419 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1537437281.421 * * * * [misc]points: Setting MPFR precision to 64 1537437281.423 * * * * [misc]points: Setting MPFR precision to 320 1537437281.424 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1537437281.426 * * * * [misc]points: Setting MPFR precision to 64 1537437281.428 * * * * [misc]points: Setting MPFR precision to 320 1537437281.430 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1537437281.432 * * * * [misc]points: Setting MPFR precision to 64 1537437281.436 * * * * [misc]points: Setting MPFR precision to 320 1537437281.437 * * * * [misc]points: Computing exacts for 256 points 1537437281.438 * * * * [misc]points: Setting MPFR precision to 64 1537437281.493 * * * * [misc]points: Setting MPFR precision to 320 1537437281.502 * * * * [misc]points: Filtering points with unrepresentable outputs 1537437281.503 * * * * [misc]points: Sampling 121 additional inputs, on iter 1 have 135 / 256 1537437281.504 * * * * [misc]points: Computing exacts on every 7 of 121 points to ramp up precision 1537437281.506 * * * * [misc]points: Setting MPFR precision to 64 1537437281.507 * * * * [misc]points: Setting MPFR precision to 320 1537437281.508 * * * * [misc]points: Computing exacts on every 3 of 121 points to ramp up precision 1537437281.509 * * * * [misc]points: Setting MPFR precision to 64 1537437281.510 * * * * [misc]points: Setting MPFR precision to 320 1537437281.512 * * * * [misc]points: Computing exacts for 121 points 1537437281.513 * * * * [misc]points: Setting MPFR precision to 64 1537437281.517 * * * * [misc]points: Setting MPFR precision to 320 1537437281.519 * * * * [misc]points: Filtering points with unrepresentable outputs 1537437281.519 * * * * [misc]points: Sampling 47 additional inputs, on iter 2 have 209 / 256 1537437281.520 * * * * [misc]points: Computing exacts on every 2 of 47 points to ramp up precision 1537437281.521 * * * * [misc]points: Setting MPFR precision to 64 1537437281.522 * * * * [misc]points: Setting MPFR precision to 320 1537437281.522 * * * * [misc]points: Computing exacts for 47 points 1537437281.523 * * * * [misc]points: Setting MPFR precision to 64 1537437281.524 * * * * [misc]points: Setting MPFR precision to 320 1537437281.525 * * * * [misc]points: Filtering points with unrepresentable outputs 1537437281.525 * * * * [misc]points: Sampling 20 additional inputs, on iter 3 have 236 / 256 1537437281.526 * * * * [misc]points: Computing exacts for 20 points 1537437281.526 * * * * [misc]points: Setting MPFR precision to 64 1537437281.527 * * * * [misc]points: Setting MPFR precision to 320 1537437281.527 * * * * [misc]points: Filtering points with unrepresentable outputs 1537437281.527 * * * * [misc]points: Sampling 10 additional inputs, on iter 4 have 246 / 256 1537437281.528 * * * * [misc]points: Computing exacts for 10 points 1537437281.528 * * * * [misc]points: Setting MPFR precision to 64 1537437281.529 * * * * [misc]points: Setting MPFR precision to 320 1537437281.529 * * * * [misc]points: Filtering points with unrepresentable outputs 1537437281.529 * * * * [misc]points: Sampling 4 additional inputs, on iter 5 have 252 / 256 1537437281.529 * * * * [misc]points: Computing exacts for 4 points 1537437281.530 * * * * [misc]points: Setting MPFR precision to 64 1537437281.530 * * * * [misc]points: Setting MPFR precision to 320 1537437281.530 * * * * [misc]points: Filtering points with unrepresentable outputs 1537437281.530 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 255 / 256 1537437281.530 * * * * [misc]points: Computing exacts for 4 points 1537437281.531 * * * * [misc]points: Setting MPFR precision to 64 1537437281.531 * * * * [misc]points: Setting MPFR precision to 320 1537437281.531 * * * * [misc]points: Filtering points with unrepresentable outputs 1537437281.531 * * * * [exit]points: Sampled 257 points with exact outputs 1537437281.531 * * * [misc]progress: [2/2] Setting up program. 1537437281.535 * [misc]progress: [Phase 2 of 3] Improving. 1537437281.536 * [enter]simplify: Simplifying (- (* re re) (* im im)) 1537437281.538 * * [misc]simplify: iters left: 4 (5 enodes) 1537437281.543 * * [misc]simplify: iters left: 3 (11 enodes) 1537437281.546 * * [misc]simplify: iters left: 2 (18 enodes) 1537437281.550 * * [misc]simplify: iters left: 1 (35 enodes) 1537437281.563 * [exit]simplify: Simplified to (- (* re re) (* im im)) 1537437281.571 * * [misc]progress: iteration 1 / 4 1537437281.571 * * * [misc]progress: picking best candidate 1537437281.574 * * * * [misc]pick: Picked # 1537437281.575 * * * [misc]progress: localizing error 1537437281.601 * * * [misc]progress: generating rewritten candidates 1537437281.601 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1537437281.623 * * * [misc]progress: generating series expansions 1537437281.623 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1537437281.629 * [misc]backup-simplify: Simplify (- (* re re) (* im im)) into (- (pow re 2) (pow im 2)) 1537437281.629 * [misc]approximate: Taking taylor expansion of (- (pow re 2) (pow im 2)) in (re im) around 0 1537437281.629 * [misc]taylor: Taking taylor expansion of (- (pow re 2) (pow im 2)) in im 1537437281.629 * [misc]taylor: Taking taylor expansion of (pow re 2) in im 1537437281.630 * [misc]taylor: Taking taylor expansion of re in im 1537437281.630 * [misc]backup-simplify: Simplify re into re 1537437281.630 * [misc]taylor: Taking taylor expansion of (pow im 2) in im 1537437281.630 * [misc]taylor: Taking taylor expansion of im in im 1537437281.630 * [misc]backup-simplify: Simplify 0 into 0 1537437281.630 * [misc]backup-simplify: Simplify 1 into 1 1537437281.630 * [misc]taylor: Taking taylor expansion of (- (pow re 2) (pow im 2)) in re 1537437281.630 * [misc]taylor: Taking taylor expansion of (pow re 2) in re 1537437281.630 * [misc]taylor: Taking taylor expansion of re in re 1537437281.630 * [misc]backup-simplify: Simplify 0 into 0 1537437281.630 * [misc]backup-simplify: Simplify 1 into 1 1537437281.630 * [misc]taylor: Taking taylor expansion of (pow im 2) in re 1537437281.630 * [misc]taylor: Taking taylor expansion of im in re 1537437281.630 * [misc]backup-simplify: Simplify im into im 1537437281.630 * [misc]taylor: Taking taylor expansion of (- (pow re 2) (pow im 2)) in re 1537437281.630 * [misc]taylor: Taking taylor expansion of (pow re 2) in re 1537437281.630 * [misc]taylor: Taking taylor expansion of re in re 1537437281.630 * [misc]backup-simplify: Simplify 0 into 0 1537437281.630 * [misc]backup-simplify: Simplify 1 into 1 1537437281.630 * [misc]taylor: Taking taylor expansion of (pow im 2) in re 1537437281.630 * [misc]taylor: Taking taylor expansion of im in re 1537437281.630 * [misc]backup-simplify: Simplify im into im 1537437281.631 * [misc]backup-simplify: Simplify (* im im) into (pow im 2) 1537437281.631 * [misc]backup-simplify: Simplify (- (pow im 2)) into (- (pow im 2)) 1537437281.631 * [misc]backup-simplify: Simplify (+ 0 (- (pow im 2))) into (- (pow im 2)) 1537437281.631 * [misc]taylor: Taking taylor expansion of (- (pow im 2)) in im 1537437281.631 * [misc]taylor: Taking taylor expansion of (pow im 2) in im 1537437281.631 * [misc]taylor: Taking taylor expansion of im in im 1537437281.631 * [misc]backup-simplify: Simplify 0 into 0 1537437281.631 * [misc]backup-simplify: Simplify 1 into 1 1537437281.631 * [misc]backup-simplify: Simplify (+ (* im 0) (* 0 im)) into 0 1537437281.632 * [misc]backup-simplify: Simplify (- 0) into 0 1537437281.632 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537437281.632 * [misc]taylor: Taking taylor expansion of 0 in im 1537437281.632 * [misc]backup-simplify: Simplify 0 into 0 1537437281.632 * [misc]backup-simplify: Simplify 0 into 0 1537437281.632 * [misc]backup-simplify: Simplify (* 1 1) into 1 1537437281.632 * [misc]backup-simplify: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0 1537437281.632 * [misc]backup-simplify: Simplify (- 0) into 0 1537437281.633 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1537437281.633 * [misc]taylor: Taking taylor expansion of 1 in im 1537437281.633 * [misc]backup-simplify: Simplify 1 into 1 1537437281.633 * [misc]backup-simplify: Simplify 1 into 1 1537437281.633 * [misc]backup-simplify: Simplify 0 into 0 1537437281.633 * [misc]backup-simplify: Simplify (* 1 1) into 1 1537437281.633 * [misc]backup-simplify: Simplify (- 1) into -1 1537437281.633 * [misc]backup-simplify: Simplify -1 into -1 1537437281.633 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1537437281.634 * [misc]backup-simplify: Simplify (+ (* im 0) (+ (* 0 0) (+ (* 0 0) (* 0 im)))) into 0 1537437281.634 * [misc]backup-simplify: Simplify (- 0) into 0 1537437281.634 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537437281.634 * [misc]taylor: Taking taylor expansion of 0 in im 1537437281.634 * [misc]backup-simplify: Simplify 0 into 0 1537437281.634 * [misc]backup-simplify: Simplify 0 into 0 1537437281.634 * [misc]backup-simplify: Simplify 0 into 0 1537437281.634 * [misc]backup-simplify: Simplify 0 into 0 1537437281.634 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1537437281.634 * [misc]backup-simplify: Simplify (- 0) into 0 1537437281.634 * [misc]backup-simplify: Simplify 0 into 0 1537437281.634 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1537437281.635 * [misc]backup-simplify: Simplify (+ (* im 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 im))))) into 0 1537437281.635 * [misc]backup-simplify: Simplify (- 0) into 0 1537437281.635 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537437281.635 * [misc]taylor: Taking taylor expansion of 0 in im 1537437281.635 * [misc]backup-simplify: Simplify 0 into 0 1537437281.635 * [misc]backup-simplify: Simplify 0 into 0 1537437281.635 * [misc]backup-simplify: Simplify 0 into 0 1537437281.635 * [misc]backup-simplify: Simplify (+ (* -1 (pow (* im 1) 2)) (* 1 (pow (* 1 re) 2))) into (- (pow re 2) (pow im 2)) 1537437281.636 * [misc]backup-simplify: Simplify (- (* (/ 1 re) (/ 1 re)) (* (/ 1 im) (/ 1 im))) into (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) 1537437281.636 * [misc]approximate: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in (re im) around 0 1537437281.636 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in im 1537437281.636 * [misc]taylor: Taking taylor expansion of (/ 1 (pow re 2)) in im 1537437281.636 * [misc]taylor: Taking taylor expansion of (pow re 2) in im 1537437281.636 * [misc]taylor: Taking taylor expansion of re in im 1537437281.636 * [misc]backup-simplify: Simplify re into re 1537437281.636 * [misc]backup-simplify: Simplify (* re re) into (pow re 2) 1537437281.636 * [misc]backup-simplify: Simplify (/ 1 (pow re 2)) into (/ 1 (pow re 2)) 1537437281.636 * [misc]taylor: Taking taylor expansion of (/ 1 (pow im 2)) in im 1537437281.636 * [misc]taylor: Taking taylor expansion of (pow im 2) in im 1537437281.636 * [misc]taylor: Taking taylor expansion of im in im 1537437281.636 * [misc]backup-simplify: Simplify 0 into 0 1537437281.636 * [misc]backup-simplify: Simplify 1 into 1 1537437281.636 * [misc]backup-simplify: Simplify (* 1 1) into 1 1537437281.636 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1537437281.636 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re 1537437281.636 * [misc]taylor: Taking taylor expansion of (/ 1 (pow re 2)) in re 1537437281.636 * [misc]taylor: Taking taylor expansion of (pow re 2) in re 1537437281.636 * [misc]taylor: Taking taylor expansion of re in re 1537437281.636 * [misc]backup-simplify: Simplify 0 into 0 1537437281.637 * [misc]backup-simplify: Simplify 1 into 1 1537437281.637 * [misc]backup-simplify: Simplify (* 1 1) into 1 1537437281.637 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1537437281.637 * [misc]taylor: Taking taylor expansion of (/ 1 (pow im 2)) in re 1537437281.637 * [misc]taylor: Taking taylor expansion of (pow im 2) in re 1537437281.637 * [misc]taylor: Taking taylor expansion of im in re 1537437281.637 * [misc]backup-simplify: Simplify im into im 1537437281.637 * [misc]backup-simplify: Simplify (* im im) into (pow im 2) 1537437281.637 * [misc]backup-simplify: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 1537437281.637 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re 1537437281.637 * [misc]taylor: Taking taylor expansion of (/ 1 (pow re 2)) in re 1537437281.637 * [misc]taylor: Taking taylor expansion of (pow re 2) in re 1537437281.637 * [misc]taylor: Taking taylor expansion of re in re 1537437281.637 * [misc]backup-simplify: Simplify 0 into 0 1537437281.637 * [misc]backup-simplify: Simplify 1 into 1 1537437281.637 * [misc]backup-simplify: Simplify (* 1 1) into 1 1537437281.637 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1537437281.637 * [misc]taylor: Taking taylor expansion of (/ 1 (pow im 2)) in re 1537437281.637 * [misc]taylor: Taking taylor expansion of (pow im 2) in re 1537437281.637 * [misc]taylor: Taking taylor expansion of im in re 1537437281.637 * [misc]backup-simplify: Simplify im into im 1537437281.637 * [misc]backup-simplify: Simplify (* im im) into (pow im 2) 1537437281.637 * [misc]backup-simplify: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 1537437281.638 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1537437281.638 * [misc]taylor: Taking taylor expansion of 1 in im 1537437281.638 * [misc]backup-simplify: Simplify 1 into 1 1537437281.638 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1537437281.638 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1537437281.638 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537437281.638 * [misc]taylor: Taking taylor expansion of 0 in im 1537437281.638 * [misc]backup-simplify: Simplify 0 into 0 1537437281.638 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1537437281.639 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1537437281.639 * [misc]backup-simplify: Simplify (- (/ 1 (pow im 2))) into (- (/ 1 (pow im 2))) 1537437281.639 * [misc]backup-simplify: Simplify (+ 0 (- (/ 1 (pow im 2)))) into (- (/ 1 (pow im 2))) 1537437281.639 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow im 2))) in im 1537437281.639 * [misc]taylor: Taking taylor expansion of (/ 1 (pow im 2)) in im 1537437281.639 * [misc]taylor: Taking taylor expansion of (pow im 2) in im 1537437281.639 * [misc]taylor: Taking taylor expansion of im in im 1537437281.639 * [misc]backup-simplify: Simplify 0 into 0 1537437281.639 * [misc]backup-simplify: Simplify 1 into 1 1537437281.639 * [misc]backup-simplify: Simplify (* 1 1) into 1 1537437281.639 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1537437281.639 * [misc]backup-simplify: Simplify (- 1) into -1 1537437281.639 * [misc]backup-simplify: Simplify -1 into -1 1537437281.639 * [misc]backup-simplify: Simplify 1 into 1 1537437281.639 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1537437281.640 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1537437281.640 * [misc]backup-simplify: Simplify (+ (* im 0) (* 0 im)) into 0 1537437281.640 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))))) into 0 1537437281.640 * [misc]backup-simplify: Simplify (- 0) into 0 1537437281.640 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537437281.640 * [misc]taylor: Taking taylor expansion of 0 in im 1537437281.640 * [misc]backup-simplify: Simplify 0 into 0 1537437281.640 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1537437281.640 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1537437281.640 * [misc]backup-simplify: Simplify (- 0) into 0 1537437281.640 * [misc]backup-simplify: Simplify 0 into 0 1537437281.641 * [misc]backup-simplify: Simplify 0 into 0 1537437281.641 * [misc]backup-simplify: Simplify 0 into 0 1537437281.641 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1537437281.641 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1537437281.641 * [misc]backup-simplify: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0 1537437281.641 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))) (* 0 (/ 0 (pow im 2))))) into 0 1537437281.642 * [misc]backup-simplify: Simplify (- 0) into 0 1537437281.642 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537437281.642 * [misc]taylor: Taking taylor expansion of 0 in im 1537437281.642 * [misc]backup-simplify: Simplify 0 into 0 1537437281.642 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1537437281.642 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1537437281.642 * [misc]backup-simplify: Simplify (- 0) into 0 1537437281.642 * [misc]backup-simplify: Simplify 0 into 0 1537437281.642 * [misc]backup-simplify: Simplify 0 into 0 1537437281.642 * [misc]backup-simplify: Simplify 0 into 0 1537437281.643 * [misc]backup-simplify: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 re))) 2)) (* -1 (pow (* (/ 1 (/ 1 im)) 1) 2))) into (- (pow re 2) (pow im 2)) 1537437281.643 * [misc]backup-simplify: Simplify (- (* (/ 1 (- re)) (/ 1 (- re))) (* (/ 1 (- im)) (/ 1 (- im)))) into (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) 1537437281.643 * [misc]approximate: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in (re im) around 0 1537437281.643 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in im 1537437281.643 * [misc]taylor: Taking taylor expansion of (/ 1 (pow re 2)) in im 1537437281.643 * [misc]taylor: Taking taylor expansion of (pow re 2) in im 1537437281.643 * [misc]taylor: Taking taylor expansion of re in im 1537437281.643 * [misc]backup-simplify: Simplify re into re 1537437281.643 * [misc]backup-simplify: Simplify (* re re) into (pow re 2) 1537437281.643 * [misc]backup-simplify: Simplify (/ 1 (pow re 2)) into (/ 1 (pow re 2)) 1537437281.643 * [misc]taylor: Taking taylor expansion of (/ 1 (pow im 2)) in im 1537437281.643 * [misc]taylor: Taking taylor expansion of (pow im 2) in im 1537437281.643 * [misc]taylor: Taking taylor expansion of im in im 1537437281.643 * [misc]backup-simplify: Simplify 0 into 0 1537437281.643 * [misc]backup-simplify: Simplify 1 into 1 1537437281.643 * [misc]backup-simplify: Simplify (* 1 1) into 1 1537437281.643 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1537437281.643 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re 1537437281.643 * [misc]taylor: Taking taylor expansion of (/ 1 (pow re 2)) in re 1537437281.643 * [misc]taylor: Taking taylor expansion of (pow re 2) in re 1537437281.644 * [misc]taylor: Taking taylor expansion of re in re 1537437281.644 * [misc]backup-simplify: Simplify 0 into 0 1537437281.644 * [misc]backup-simplify: Simplify 1 into 1 1537437281.644 * [misc]backup-simplify: Simplify (* 1 1) into 1 1537437281.644 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1537437281.644 * [misc]taylor: Taking taylor expansion of (/ 1 (pow im 2)) in re 1537437281.644 * [misc]taylor: Taking taylor expansion of (pow im 2) in re 1537437281.644 * [misc]taylor: Taking taylor expansion of im in re 1537437281.644 * [misc]backup-simplify: Simplify im into im 1537437281.644 * [misc]backup-simplify: Simplify (* im im) into (pow im 2) 1537437281.644 * [misc]backup-simplify: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 1537437281.644 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re 1537437281.644 * [misc]taylor: Taking taylor expansion of (/ 1 (pow re 2)) in re 1537437281.644 * [misc]taylor: Taking taylor expansion of (pow re 2) in re 1537437281.644 * [misc]taylor: Taking taylor expansion of re in re 1537437281.644 * [misc]backup-simplify: Simplify 0 into 0 1537437281.644 * [misc]backup-simplify: Simplify 1 into 1 1537437281.644 * [misc]backup-simplify: Simplify (* 1 1) into 1 1537437281.644 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1537437281.644 * [misc]taylor: Taking taylor expansion of (/ 1 (pow im 2)) in re 1537437281.644 * [misc]taylor: Taking taylor expansion of (pow im 2) in re 1537437281.644 * [misc]taylor: Taking taylor expansion of im in re 1537437281.644 * [misc]backup-simplify: Simplify im into im 1537437281.644 * [misc]backup-simplify: Simplify (* im im) into (pow im 2) 1537437281.644 * [misc]backup-simplify: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 1537437281.645 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1537437281.645 * [misc]taylor: Taking taylor expansion of 1 in im 1537437281.645 * [misc]backup-simplify: Simplify 1 into 1 1537437281.645 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1537437281.645 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1537437281.645 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537437281.645 * [misc]taylor: Taking taylor expansion of 0 in im 1537437281.645 * [misc]backup-simplify: Simplify 0 into 0 1537437281.645 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1537437281.645 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1537437281.645 * [misc]backup-simplify: Simplify (- (/ 1 (pow im 2))) into (- (/ 1 (pow im 2))) 1537437281.646 * [misc]backup-simplify: Simplify (+ 0 (- (/ 1 (pow im 2)))) into (- (/ 1 (pow im 2))) 1537437281.646 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow im 2))) in im 1537437281.646 * [misc]taylor: Taking taylor expansion of (/ 1 (pow im 2)) in im 1537437281.646 * [misc]taylor: Taking taylor expansion of (pow im 2) in im 1537437281.646 * [misc]taylor: Taking taylor expansion of im in im 1537437281.646 * [misc]backup-simplify: Simplify 0 into 0 1537437281.646 * [misc]backup-simplify: Simplify 1 into 1 1537437281.646 * [misc]backup-simplify: Simplify (* 1 1) into 1 1537437281.646 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1537437281.646 * [misc]backup-simplify: Simplify (- 1) into -1 1537437281.646 * [misc]backup-simplify: Simplify -1 into -1 1537437281.646 * [misc]backup-simplify: Simplify 1 into 1 1537437281.646 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1537437281.646 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1537437281.647 * [misc]backup-simplify: Simplify (+ (* im 0) (* 0 im)) into 0 1537437281.647 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))))) into 0 1537437281.647 * [misc]backup-simplify: Simplify (- 0) into 0 1537437281.647 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537437281.647 * [misc]taylor: Taking taylor expansion of 0 in im 1537437281.647 * [misc]backup-simplify: Simplify 0 into 0 1537437281.647 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1537437281.647 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1537437281.647 * [misc]backup-simplify: Simplify (- 0) into 0 1537437281.647 * [misc]backup-simplify: Simplify 0 into 0 1537437281.647 * [misc]backup-simplify: Simplify 0 into 0 1537437281.647 * [misc]backup-simplify: Simplify 0 into 0 1537437281.648 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1537437281.648 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1537437281.648 * [misc]backup-simplify: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0 1537437281.648 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))) (* 0 (/ 0 (pow im 2))))) into 0 1537437281.648 * [misc]backup-simplify: Simplify (- 0) into 0 1537437281.648 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537437281.648 * [misc]taylor: Taking taylor expansion of 0 in im 1537437281.648 * [misc]backup-simplify: Simplify 0 into 0 1537437281.649 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1537437281.649 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1537437281.649 * [misc]backup-simplify: Simplify (- 0) into 0 1537437281.649 * [misc]backup-simplify: Simplify 0 into 0 1537437281.649 * [misc]backup-simplify: Simplify 0 into 0 1537437281.649 * [misc]backup-simplify: Simplify 0 into 0 1537437281.649 * [misc]backup-simplify: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- re)))) 2)) (* -1 (pow (* (/ 1 (/ 1 (- im))) 1) 2))) into (- (pow re 2) (pow im 2)) 1537437281.649 * * * [misc]progress: simplifying candidates 1537437281.650 * * * * [misc]progress: [ 1 / 20 ] simplifiying candidate # 1537437281.650 * [enter]simplify: Simplifying (fma re re (- (* im im))) 1537437281.650 * * [misc]simplify: iters left: 5 (5 enodes) 1537437281.652 * * [misc]simplify: iters left: 4 (10 enodes) 1537437281.654 * * [misc]simplify: iters left: 3 (12 enodes) 1537437281.656 * * [misc]simplify: iters left: 2 (17 enodes) 1537437281.659 * * [misc]simplify: iters left: 1 (20 enodes) 1537437281.664 * [exit]simplify: Simplified to (* (- re im) (+ im re)) 1537437281.664 * [misc]simplify: Simplified (2 1) to (λ (re im) (+ (* (- re im) (+ im re)) (fma (- im) im (* im im)))) 1537437281.664 * [enter]simplify: Simplifying (fma (- im) im (* im im)) 1537437281.665 * * [misc]simplify: iters left: 3 (4 enodes) 1537437281.666 * * [misc]simplify: iters left: 2 (6 enodes) 1537437281.667 * * [misc]simplify: iters left: 1 (11 enodes) 1537437281.670 * [exit]simplify: Simplified to (- (* im im) (* im im)) 1537437281.670 * [misc]simplify: Simplified (2 2) to (λ (re im) (+ (fma re re (- (* im im))) (- (* im im) (* im im)))) 1537437281.670 * * * * [misc]progress: [ 2 / 20 ] simplifiying candidate # 1537437281.670 * * * * [misc]progress: [ 3 / 20 ] simplifiying candidate # 1537437281.670 * * * * [misc]progress: [ 4 / 20 ] simplifiying candidate # 1537437281.670 * * * * [misc]progress: [ 5 / 20 ] simplifiying candidate # 1537437281.671 * [enter]simplify: Simplifying (/ (exp (* re re)) (exp (* im im))) 1537437281.671 * * [misc]simplify: iters left: 5 (7 enodes) 1537437281.673 * * [misc]simplify: iters left: 4 (13 enodes) 1537437281.676 * * [misc]simplify: iters left: 3 (19 enodes) 1537437281.686 * * [misc]simplify: iters left: 2 (30 enodes) 1537437281.693 * * [misc]simplify: iters left: 1 (57 enodes) 1537437281.710 * [exit]simplify: Simplified to (exp (- (* re re) (* im im))) 1537437281.710 * [misc]simplify: Simplified (2 1) to (λ (re im) (log (exp (- (* re re) (* im im))))) 1537437281.710 * * * * [misc]progress: [ 6 / 20 ] simplifiying candidate # 1537437281.710 * * * * [misc]progress: [ 7 / 20 ] simplifiying candidate # 1537437281.710 * * * * [misc]progress: [ 8 / 20 ] simplifiying candidate # 1537437281.710 * * * * [misc]progress: [ 9 / 20 ] simplifiying candidate # 1537437281.710 * * * * [misc]progress: [ 10 / 20 ] simplifiying candidate # 1537437281.710 * * * * [misc]progress: [ 11 / 20 ] simplifiying candidate # 1537437281.710 * * * * [misc]progress: [ 12 / 20 ] simplifiying candidate # 1537437281.711 * * * * [misc]progress: [ 13 / 20 ] simplifiying candidate # 1537437281.711 * * * * [misc]progress: [ 14 / 20 ] simplifiying candidate # 1537437281.711 * * * * [misc]progress: [ 15 / 20 ] simplifiying candidate # 1537437281.711 * * * * [misc]progress: [ 16 / 20 ] simplifiying candidate # 1537437281.711 * [enter]simplify: Simplifying (+ re im) 1537437281.711 * * [misc]simplify: iters left: 2 (3 enodes) 1537437281.712 * * [misc]simplify: iters left: 1 (4 enodes) 1537437281.712 * [exit]simplify: Simplified to (+ im re) 1537437281.712 * [misc]simplify: Simplified (2 1) to (λ (re im) (* (+ im re) (- re im))) 1537437281.712 * [enter]simplify: Simplifying (- re im) 1537437281.713 * * [misc]simplify: iters left: 2 (3 enodes) 1537437281.713 * * [misc]simplify: iters left: 1 (5 enodes) 1537437281.714 * [exit]simplify: Simplified to (- re im) 1537437281.714 * [misc]simplify: Simplified (2 2) to (λ (re im) (* (+ re im) (- re im))) 1537437281.714 * * * * [misc]progress: [ 17 / 20 ] simplifiying candidate # 1537437281.714 * * * * [misc]progress: [ 18 / 20 ] simplifiying candidate # 1537437281.714 * [enter]simplify: Simplifying (- (pow re 2) (pow im 2)) 1537437281.715 * * [misc]simplify: iters left: 3 (6 enodes) 1537437281.716 * * [misc]simplify: iters left: 2 (10 enodes) 1537437281.718 * * [misc]simplify: iters left: 1 (18 enodes) 1537437281.722 * [exit]simplify: Simplified to (- (* re re) (* im im)) 1537437281.722 * [misc]simplify: Simplified (2) to (λ (re im) (- (* re re) (* im im))) 1537437281.722 * * * * [misc]progress: [ 19 / 20 ] simplifiying candidate # 1537437281.722 * [enter]simplify: Simplifying (- (pow re 2) (pow im 2)) 1537437281.722 * * [misc]simplify: iters left: 3 (6 enodes) 1537437281.724 * * [misc]simplify: iters left: 2 (10 enodes) 1537437281.726 * * [misc]simplify: iters left: 1 (18 enodes) 1537437281.730 * [exit]simplify: Simplified to (- (* re re) (* im im)) 1537437281.730 * [misc]simplify: Simplified (2) to (λ (re im) (- (* re re) (* im im))) 1537437281.730 * * * * [misc]progress: [ 20 / 20 ] simplifiying candidate # 1537437281.730 * [enter]simplify: Simplifying (- (pow re 2) (pow im 2)) 1537437281.730 * * [misc]simplify: iters left: 3 (6 enodes) 1537437281.732 * * [misc]simplify: iters left: 2 (10 enodes) 1537437281.734 * * [misc]simplify: iters left: 1 (18 enodes) 1537437281.739 * [exit]simplify: Simplified to (- (* re re) (* im im)) 1537437281.739 * [misc]simplify: Simplified (2) to (λ (re im) (- (* re re) (* im im))) 1537437281.739 * * * [misc]progress: adding candidates to table 1537437282.085 * * [misc]progress: iteration 2 / 4 1537437282.085 * * * [misc]progress: picking best candidate 1537437282.088 * * * * [misc]pick: Picked # 1537437282.088 * * * [misc]progress: localizing error 1537437282.105 * * * [misc]progress: generating rewritten candidates 1537437282.105 * * * [misc]progress: generating series expansions 1537437282.105 * * * [misc]progress: simplifying candidates 1537437282.105 * * * [misc]progress: adding candidates to table 1537437282.105 * [misc]progress: [Phase 3 of 3] Extracting. 1537437282.108 * [enter]simplify: Simplifying (* (+ re im) (- re im)) 1537437282.109 * * [misc]simplify: iters left: 4 (5 enodes) 1537437282.109 * * [misc]simplify: iters left: 3 (7 enodes) 1537437282.110 * [exit]simplify: Simplified to (* (+ im re) (- re im)) 1537437282.110 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1537437282.150 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1537437282.151 * * * * [misc]points: Setting MPFR precision to 64 1537437282.151 * * * * [misc]points: Setting MPFR precision to 320 1537437282.152 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1537437282.152 * * * * [misc]points: Setting MPFR precision to 64 1537437282.153 * * * * [misc]points: Setting MPFR precision to 320 1537437282.154 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1537437282.155 * * * * [misc]points: Setting MPFR precision to 64 1537437282.156 * * * * [misc]points: Setting MPFR precision to 320 1537437282.157 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1537437282.158 * * * * [misc]points: Setting MPFR precision to 64 1537437282.161 * * * * [misc]points: Setting MPFR precision to 320 1537437282.164 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1537437282.165 * * * * [misc]points: Setting MPFR precision to 64 1537437282.211 * * * * [misc]points: Setting MPFR precision to 320 1537437282.224 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1537437282.226 * * * * [misc]points: Setting MPFR precision to 64 1537437282.250 * * * * [misc]points: Setting MPFR precision to 320 1537437282.306 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1537437282.309 * * * * [misc]points: Setting MPFR precision to 64 1537437282.373 * * * * [misc]points: Setting MPFR precision to 320 1537437282.402 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1537437282.404 * * * * [misc]points: Setting MPFR precision to 64 1537437282.521 * * * * [misc]points: Setting MPFR precision to 320 1537437282.576 * * * * [misc]points: Computing exacts for 8000 points 1537437282.577 * * * * [misc]points: Setting MPFR precision to 64 1537437282.915 * * * * [misc]points: Setting MPFR precision to 320 1537437283.218 * * * * [misc]points: Setting MPFR precision to 576 1537437283.902 * * * * [misc]points: Filtering points with unrepresentable outputs 1537437283.903 * * * * [misc]points: Sampling 3505 additional inputs, on iter 1 have 4495 / 8000 1537437283.951 * * * * [misc]points: Computing exacts on every 219 of 3505 points to ramp up precision 1537437283.952 * * * * [misc]points: Setting MPFR precision to 320 1537437283.953 * * * * [misc]points: Setting MPFR precision to 576 1537437283.953 * * * * [misc]points: Computing exacts on every 109 of 3505 points to ramp up precision 1537437283.954 * * * * [misc]points: Setting MPFR precision to 320 1537437283.955 * * * * [misc]points: Setting MPFR precision to 576 1537437283.956 * * * * [misc]points: Computing exacts on every 54 of 3505 points to ramp up precision 1537437283.957 * * * * [misc]points: Setting MPFR precision to 320 1537437283.959 * * * * [misc]points: Setting MPFR precision to 576 1537437283.961 * * * * [misc]points: Computing exacts on every 27 of 3505 points to ramp up precision 1537437283.962 * * * * [misc]points: Setting MPFR precision to 320 1537437283.964 * * * * [misc]points: Setting MPFR precision to 576 1537437283.967 * * * * [misc]points: Computing exacts on every 13 of 3505 points to ramp up precision 1537437283.968 * * * * [misc]points: Setting MPFR precision to 320 1537437283.973 * * * * [misc]points: Setting MPFR precision to 576 1537437283.978 * * * * [misc]points: Computing exacts on every 6 of 3505 points to ramp up precision 1537437283.979 * * * * [misc]points: Setting MPFR precision to 320 1537437283.989 * * * * [misc]points: Setting MPFR precision to 576 1537437284.002 * * * * [misc]points: Computing exacts on every 3 of 3505 points to ramp up precision 1537437284.003 * * * * [misc]points: Setting MPFR precision to 320 1537437284.020 * * * * [misc]points: Setting MPFR precision to 576 1537437284.080 * * * * [misc]points: Computing exacts for 3505 points 1537437284.082 * * * * [misc]points: Setting MPFR precision to 320 1537437284.158 * * * * [misc]points: Setting MPFR precision to 576 1537437284.281 * * * * [misc]points: Filtering points with unrepresentable outputs 1537437284.282 * * * * [misc]points: Sampling 1502 additional inputs, on iter 2 have 6498 / 8000 1537437284.293 * * * * [misc]points: Computing exacts on every 93 of 1502 points to ramp up precision 1537437284.294 * * * * [misc]points: Setting MPFR precision to 320 1537437284.295 * * * * [misc]points: Setting MPFR precision to 576 1537437284.296 * * * * [misc]points: Computing exacts on every 46 of 1502 points to ramp up precision 1537437284.297 * * * * [misc]points: Setting MPFR precision to 320 1537437284.298 * * * * [misc]points: Setting MPFR precision to 576 1537437284.300 * * * * [misc]points: Computing exacts on every 23 of 1502 points to ramp up precision 1537437284.301 * * * * [misc]points: Setting MPFR precision to 320 1537437284.303 * * * * [misc]points: Setting MPFR precision to 576 1537437284.305 * * * * [misc]points: Computing exacts on every 11 of 1502 points to ramp up precision 1537437284.307 * * * * [misc]points: Setting MPFR precision to 320 1537437284.348 * * * * [misc]points: Setting MPFR precision to 576 1537437284.354 * * * * [misc]points: Computing exacts on every 5 of 1502 points to ramp up precision 1537437284.359 * * * * [misc]points: Setting MPFR precision to 320 1537437284.364 * * * * [misc]points: Setting MPFR precision to 576 1537437284.369 * * * * [misc]points: Computing exacts on every 2 of 1502 points to ramp up precision 1537437284.370 * * * * [misc]points: Setting MPFR precision to 320 1537437284.380 * * * * [misc]points: Setting MPFR precision to 576 1537437284.394 * * * * [misc]points: Computing exacts for 1502 points 1537437284.395 * * * * [misc]points: Setting MPFR precision to 320 1537437284.456 * * * * [misc]points: Setting MPFR precision to 576 1537437284.546 * * * * [misc]points: Filtering points with unrepresentable outputs 1537437284.547 * * * * [misc]points: Sampling 639 additional inputs, on iter 3 have 7361 / 8000 1537437284.549 * * * * [misc]points: Computing exacts on every 39 of 639 points to ramp up precision 1537437284.550 * * * * [misc]points: Setting MPFR precision to 320 1537437284.551 * * * * [misc]points: Setting MPFR precision to 576 1537437284.553 * * * * [misc]points: Computing exacts on every 19 of 639 points to ramp up precision 1537437284.554 * * * * [misc]points: Setting MPFR precision to 320 1537437284.555 * * * * [misc]points: Setting MPFR precision to 576 1537437284.556 * * * * [misc]points: Computing exacts on every 9 of 639 points to ramp up precision 1537437284.556 * * * * [misc]points: Setting MPFR precision to 320 1537437284.558 * * * * [misc]points: Setting MPFR precision to 576 1537437284.559 * * * * [misc]points: Computing exacts on every 4 of 639 points to ramp up precision 1537437284.560 * * * * [misc]points: Setting MPFR precision to 320 1537437284.563 * * * * [misc]points: Setting MPFR precision to 576 1537437284.565 * * * * [misc]points: Computing exacts on every 2 of 639 points to ramp up precision 1537437284.566 * * * * [misc]points: Setting MPFR precision to 320 1537437284.574 * * * * [misc]points: Setting MPFR precision to 576 1537437284.583 * * * * [misc]points: Computing exacts for 639 points 1537437284.584 * * * * [misc]points: Setting MPFR precision to 320 1537437284.597 * * * * [misc]points: Setting MPFR precision to 576 1537437284.610 * * * * [misc]points: Filtering points with unrepresentable outputs 1537437284.611 * * * * [misc]points: Sampling 265 additional inputs, on iter 4 have 7735 / 8000 1537437284.612 * * * * [misc]points: Computing exacts on every 16 of 265 points to ramp up precision 1537437284.613 * * * * [misc]points: Setting MPFR precision to 320 1537437284.613 * * * * [misc]points: Setting MPFR precision to 576 1537437284.614 * * * * [misc]points: Computing exacts on every 8 of 265 points to ramp up precision 1537437284.614 * * * * [misc]points: Setting MPFR precision to 320 1537437284.615 * * * * [misc]points: Setting MPFR precision to 576 1537437284.616 * * * * [misc]points: Computing exacts on every 4 of 265 points to ramp up precision 1537437284.618 * * * * [misc]points: Setting MPFR precision to 320 1537437284.620 * * * * [misc]points: Setting MPFR precision to 576 1537437284.622 * * * * [misc]points: Computing exacts on every 2 of 265 points to ramp up precision 1537437284.624 * * * * [misc]points: Setting MPFR precision to 320 1537437284.627 * * * * [misc]points: Setting MPFR precision to 576 1537437284.630 * * * * [misc]points: Computing exacts for 265 points 1537437284.631 * * * * [misc]points: Setting MPFR precision to 320 1537437284.661 * * * * [misc]points: Setting MPFR precision to 576 1537437284.666 * * * * [misc]points: Filtering points with unrepresentable outputs 1537437284.667 * * * * [misc]points: Sampling 109 additional inputs, on iter 5 have 7891 / 8000 1537437284.667 * * * * [misc]points: Computing exacts on every 6 of 109 points to ramp up precision 1537437284.668 * * * * [misc]points: Setting MPFR precision to 320 1537437284.669 * * * * [misc]points: Setting MPFR precision to 576 1537437284.669 * * * * [misc]points: Computing exacts on every 3 of 109 points to ramp up precision 1537437284.670 * * * * [misc]points: Setting MPFR precision to 320 1537437284.670 * * * * [misc]points: Setting MPFR precision to 576 1537437284.672 * * * * [misc]points: Computing exacts for 109 points 1537437284.673 * * * * [misc]points: Setting MPFR precision to 320 1537437284.676 * * * * [misc]points: Setting MPFR precision to 576 1537437284.678 * * * * [misc]points: Filtering points with unrepresentable outputs 1537437284.678 * * * * [misc]points: Sampling 49 additional inputs, on iter 6 have 7951 / 8000 1537437284.678 * * * * [misc]points: Computing exacts on every 3 of 49 points to ramp up precision 1537437284.679 * * * * [misc]points: Setting MPFR precision to 320 1537437284.679 * * * * [misc]points: Setting MPFR precision to 576 1537437284.680 * * * * [misc]points: Computing exacts for 49 points 1537437284.680 * * * * [misc]points: Setting MPFR precision to 320 1537437284.681 * * * * [misc]points: Setting MPFR precision to 576 1537437284.682 * * * * [misc]points: Filtering points with unrepresentable outputs 1537437284.682 * * * * [misc]points: Sampling 21 additional inputs, on iter 7 have 7979 / 8000 1537437284.683 * * * * [misc]points: Computing exacts for 21 points 1537437284.683 * * * * [misc]points: Setting MPFR precision to 320 1537437284.684 * * * * [misc]points: Setting MPFR precision to 576 1537437284.685 * * * * [misc]points: Filtering points with unrepresentable outputs 1537437284.685 * * * * [misc]points: Sampling 10 additional inputs, on iter 8 have 7990 / 8000 1537437284.685 * * * * [misc]points: Computing exacts for 10 points 1537437284.687 * * * * [misc]points: Setting MPFR precision to 320 1537437284.687 * * * * [misc]points: Setting MPFR precision to 576 1537437284.688 * * * * [misc]points: Filtering points with unrepresentable outputs 1537437284.688 * * * * [misc]points: Sampling 4 additional inputs, on iter 9 have 7997 / 8000 1537437284.688 * * * * [misc]points: Computing exacts for 4 points 1537437284.689 * * * * [misc]points: Setting MPFR precision to 320 1537437284.689 * * * * [misc]points: Setting MPFR precision to 576 1537437284.690 * * * * [misc]points: Filtering points with unrepresentable outputs 1537437284.690 * * * * [misc]points: Sampling 4 additional inputs, on iter 10 have 7997 / 8000 1537437284.690 * * * * [misc]points: Computing exacts for 4 points 1537437284.691 * * * * [misc]points: Setting MPFR precision to 320 1537437284.691 * * * * [misc]points: Setting MPFR precision to 576 1537437284.691 * * * * [misc]points: Filtering points with unrepresentable outputs 1537437284.691 * * * * [misc]points: Sampling 4 additional inputs, on iter 11 have 7999 / 8000 1537437284.692 * * * * [misc]points: Computing exacts for 4 points 1537437284.693 * * * * [misc]points: Setting MPFR precision to 320 1537437284.693 * * * * [misc]points: Setting MPFR precision to 576 1537437284.693 * * * * [misc]points: Filtering points with unrepresentable outputs 1537437284.693 * * * * [exit]points: Sampled 8002 points with exact outputs 1537437285.013 * [misc]regime-testing: Baseline error score: 0.00025 1537437285.013 * [misc]regime-testing: End program error score: 0.00025 1537437285.015 * [misc]regime-testing: Oracle error score: 0.00025