1539793886.527 * [misc]progress: [Phase 1 of 3] Setting up. 1539793886.529 * * * [misc]progress: [1/2] Preparing points 1539793886.530 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1539793886.533 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1539793886.596 * * * * [misc]points: Setting MPFR precision to 64 1539793886.598 * * * * [misc]points: Setting MPFR precision to 320 1539793886.599 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1539793886.600 * * * * [misc]points: Setting MPFR precision to 64 1539793886.601 * * * * [misc]points: Setting MPFR precision to 320 1539793886.602 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1539793886.603 * * * * [misc]points: Setting MPFR precision to 64 1539793886.605 * * * * [misc]points: Setting MPFR precision to 320 1539793886.606 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1539793886.608 * * * * [misc]points: Setting MPFR precision to 64 1539793886.610 * * * * [misc]points: Setting MPFR precision to 320 1539793886.613 * * * * [misc]points: Computing exacts for 256 points 1539793886.614 * * * * [misc]points: Setting MPFR precision to 64 1539793886.622 * * * * [misc]points: Setting MPFR precision to 320 1539793886.627 * * * * [misc]points: Filtering points with unrepresentable outputs 1539793886.627 * * * * [misc]points: Sampling 107 additional inputs, on iter 1 have 149 / 256 1539793886.628 * * * * [misc]points: Computing exacts on every 6 of 107 points to ramp up precision 1539793886.628 * * * * [misc]points: Setting MPFR precision to 64 1539793886.629 * * * * [misc]points: Setting MPFR precision to 320 1539793886.629 * * * * [misc]points: Computing exacts on every 3 of 107 points to ramp up precision 1539793886.630 * * * * [misc]points: Setting MPFR precision to 64 1539793886.630 * * * * [misc]points: Setting MPFR precision to 320 1539793886.630 * * * * [misc]points: Computing exacts for 107 points 1539793886.631 * * * * [misc]points: Setting MPFR precision to 64 1539793886.633 * * * * [misc]points: Setting MPFR precision to 320 1539793886.634 * * * * [misc]points: Filtering points with unrepresentable outputs 1539793886.635 * * * * [misc]points: Sampling 49 additional inputs, on iter 2 have 207 / 256 1539793886.635 * * * * [misc]points: Computing exacts on every 3 of 49 points to ramp up precision 1539793886.636 * * * * [misc]points: Setting MPFR precision to 64 1539793886.636 * * * * [misc]points: Setting MPFR precision to 320 1539793886.636 * * * * [misc]points: Computing exacts for 49 points 1539793886.637 * * * * [misc]points: Setting MPFR precision to 64 1539793886.638 * * * * [misc]points: Setting MPFR precision to 320 1539793886.639 * * * * [misc]points: Filtering points with unrepresentable outputs 1539793886.639 * * * * [misc]points: Sampling 17 additional inputs, on iter 3 have 239 / 256 1539793886.639 * * * * [misc]points: Computing exacts for 17 points 1539793886.639 * * * * [misc]points: Setting MPFR precision to 64 1539793886.640 * * * * [misc]points: Setting MPFR precision to 320 1539793886.640 * * * * [misc]points: Filtering points with unrepresentable outputs 1539793886.640 * * * * [misc]points: Sampling 5 additional inputs, on iter 4 have 251 / 256 1539793886.640 * * * * [misc]points: Computing exacts for 5 points 1539793886.641 * * * * [misc]points: Setting MPFR precision to 64 1539793886.641 * * * * [misc]points: Setting MPFR precision to 320 1539793886.641 * * * * [misc]points: Filtering points with unrepresentable outputs 1539793886.641 * * * * [misc]points: Sampling 4 additional inputs, on iter 5 have 255 / 256 1539793886.641 * * * * [misc]points: Computing exacts for 4 points 1539793886.642 * * * * [misc]points: Setting MPFR precision to 64 1539793886.642 * * * * [misc]points: Setting MPFR precision to 320 1539793886.642 * * * * [misc]points: Filtering points with unrepresentable outputs 1539793886.642 * * * * [exit]points: Sampled 258 points with exact outputs 1539793886.642 * * * [misc]progress: [2/2] Setting up program. 1539793886.645 * [misc]progress: [Phase 2 of 3] Improving. 1539793886.646 * [enter]simplify: Simplifying (- (* re re) (* im im)) 1539793886.647 * * [misc]simplify: iters left: 4 (5 enodes) 1539793886.652 * * [misc]simplify: iters left: 3 (11 enodes) 1539793886.656 * * [misc]simplify: iters left: 2 (18 enodes) 1539793886.710 * * [misc]simplify: iters left: 1 (35 enodes) 1539793886.725 * [exit]simplify: Simplified to (- (* re re) (* im im)) 1539793886.736 * * [misc]progress: iteration 1 / 4 1539793886.736 * * * [misc]progress: picking best candidate 1539793886.740 * * * * [misc]pick: Picked # 1539793886.740 * * * [misc]progress: localizing error 1539793886.757 * * * [misc]progress: generating rewritten candidates 1539793886.757 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1539793886.762 * * * [misc]progress: generating series expansions 1539793886.763 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1539793886.767 * [misc]backup-simplify: Simplify (- (* re re) (* im im)) into (- (pow re 2) (pow im 2)) 1539793886.767 * [misc]approximate: Taking taylor expansion of (- (pow re 2) (pow im 2)) in (re im) around 0 1539793886.768 * [misc]taylor: Taking taylor expansion of (- (pow re 2) (pow im 2)) in im 1539793886.768 * [misc]taylor: Taking taylor expansion of (pow re 2) in im 1539793886.768 * [misc]taylor: Taking taylor expansion of re in im 1539793886.768 * [misc]backup-simplify: Simplify re into re 1539793886.768 * [misc]taylor: Taking taylor expansion of (pow im 2) in im 1539793886.768 * [misc]taylor: Taking taylor expansion of im in im 1539793886.768 * [misc]backup-simplify: Simplify 0 into 0 1539793886.768 * [misc]backup-simplify: Simplify 1 into 1 1539793886.769 * [misc]taylor: Taking taylor expansion of (- (pow re 2) (pow im 2)) in re 1539793886.769 * [misc]taylor: Taking taylor expansion of (pow re 2) in re 1539793886.769 * [misc]taylor: Taking taylor expansion of re in re 1539793886.769 * [misc]backup-simplify: Simplify 0 into 0 1539793886.769 * [misc]backup-simplify: Simplify 1 into 1 1539793886.769 * [misc]taylor: Taking taylor expansion of (pow im 2) in re 1539793886.769 * [misc]taylor: Taking taylor expansion of im in re 1539793886.769 * [misc]backup-simplify: Simplify im into im 1539793886.769 * [misc]taylor: Taking taylor expansion of (- (pow re 2) (pow im 2)) in re 1539793886.769 * [misc]taylor: Taking taylor expansion of (pow re 2) in re 1539793886.769 * [misc]taylor: Taking taylor expansion of re in re 1539793886.769 * [misc]backup-simplify: Simplify 0 into 0 1539793886.769 * [misc]backup-simplify: Simplify 1 into 1 1539793886.769 * [misc]taylor: Taking taylor expansion of (pow im 2) in re 1539793886.769 * [misc]taylor: Taking taylor expansion of im in re 1539793886.769 * [misc]backup-simplify: Simplify im into im 1539793886.769 * [misc]backup-simplify: Simplify (* im im) into (pow im 2) 1539793886.770 * [misc]backup-simplify: Simplify (- (pow im 2)) into (- (pow im 2)) 1539793886.770 * [misc]backup-simplify: Simplify (+ 0 (- (pow im 2))) into (- (pow im 2)) 1539793886.770 * [misc]taylor: Taking taylor expansion of (- (pow im 2)) in im 1539793886.770 * [misc]taylor: Taking taylor expansion of (pow im 2) in im 1539793886.770 * [misc]taylor: Taking taylor expansion of im in im 1539793886.770 * [misc]backup-simplify: Simplify 0 into 0 1539793886.770 * [misc]backup-simplify: Simplify 1 into 1 1539793886.770 * [misc]backup-simplify: Simplify (+ (* im 0) (* 0 im)) into 0 1539793886.770 * [misc]backup-simplify: Simplify (- 0) into 0 1539793886.770 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539793886.771 * [misc]taylor: Taking taylor expansion of 0 in im 1539793886.771 * [misc]backup-simplify: Simplify 0 into 0 1539793886.771 * [misc]backup-simplify: Simplify 0 into 0 1539793886.771 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539793886.771 * [misc]backup-simplify: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0 1539793886.771 * [misc]backup-simplify: Simplify (- 0) into 0 1539793886.771 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539793886.771 * [misc]taylor: Taking taylor expansion of 1 in im 1539793886.771 * [misc]backup-simplify: Simplify 1 into 1 1539793886.771 * [misc]backup-simplify: Simplify 1 into 1 1539793886.771 * [misc]backup-simplify: Simplify 0 into 0 1539793886.772 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539793886.772 * [misc]backup-simplify: Simplify (- 1) into -1 1539793886.772 * [misc]backup-simplify: Simplify -1 into -1 1539793886.772 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539793886.772 * [misc]backup-simplify: Simplify (+ (* im 0) (+ (* 0 0) (+ (* 0 0) (* 0 im)))) into 0 1539793886.772 * [misc]backup-simplify: Simplify (- 0) into 0 1539793886.772 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539793886.772 * [misc]taylor: Taking taylor expansion of 0 in im 1539793886.772 * [misc]backup-simplify: Simplify 0 into 0 1539793886.773 * [misc]backup-simplify: Simplify 0 into 0 1539793886.773 * [misc]backup-simplify: Simplify 0 into 0 1539793886.773 * [misc]backup-simplify: Simplify 0 into 0 1539793886.773 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539793886.773 * [misc]backup-simplify: Simplify (- 0) into 0 1539793886.773 * [misc]backup-simplify: Simplify 0 into 0 1539793886.773 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539793886.773 * [misc]backup-simplify: Simplify (+ (* im 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 im))))) into 0 1539793886.774 * [misc]backup-simplify: Simplify (- 0) into 0 1539793886.774 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539793886.774 * [misc]taylor: Taking taylor expansion of 0 in im 1539793886.774 * [misc]backup-simplify: Simplify 0 into 0 1539793886.774 * [misc]backup-simplify: Simplify 0 into 0 1539793886.774 * [misc]backup-simplify: Simplify 0 into 0 1539793886.774 * [misc]backup-simplify: Simplify (+ (* -1 (pow (* im 1) 2)) (* 1 (pow (* 1 re) 2))) into (- (pow re 2) (pow im 2)) 1539793886.774 * [misc]backup-simplify: Simplify (- (* (/ 1 re) (/ 1 re)) (* (/ 1 im) (/ 1 im))) into (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) 1539793886.774 * [misc]approximate: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in (re im) around 0 1539793886.774 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in im 1539793886.774 * [misc]taylor: Taking taylor expansion of (/ 1 (pow re 2)) in im 1539793886.774 * [misc]taylor: Taking taylor expansion of (pow re 2) in im 1539793886.774 * [misc]taylor: Taking taylor expansion of re in im 1539793886.774 * [misc]backup-simplify: Simplify re into re 1539793886.774 * [misc]backup-simplify: Simplify (* re re) into (pow re 2) 1539793886.775 * [misc]backup-simplify: Simplify (/ 1 (pow re 2)) into (/ 1 (pow re 2)) 1539793886.775 * [misc]taylor: Taking taylor expansion of (/ 1 (pow im 2)) in im 1539793886.775 * [misc]taylor: Taking taylor expansion of (pow im 2) in im 1539793886.775 * [misc]taylor: Taking taylor expansion of im in im 1539793886.775 * [misc]backup-simplify: Simplify 0 into 0 1539793886.775 * [misc]backup-simplify: Simplify 1 into 1 1539793886.775 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539793886.775 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539793886.775 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re 1539793886.775 * [misc]taylor: Taking taylor expansion of (/ 1 (pow re 2)) in re 1539793886.775 * [misc]taylor: Taking taylor expansion of (pow re 2) in re 1539793886.775 * [misc]taylor: Taking taylor expansion of re in re 1539793886.775 * [misc]backup-simplify: Simplify 0 into 0 1539793886.775 * [misc]backup-simplify: Simplify 1 into 1 1539793886.775 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539793886.775 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539793886.775 * [misc]taylor: Taking taylor expansion of (/ 1 (pow im 2)) in re 1539793886.775 * [misc]taylor: Taking taylor expansion of (pow im 2) in re 1539793886.775 * [misc]taylor: Taking taylor expansion of im in re 1539793886.775 * [misc]backup-simplify: Simplify im into im 1539793886.775 * [misc]backup-simplify: Simplify (* im im) into (pow im 2) 1539793886.775 * [misc]backup-simplify: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 1539793886.775 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re 1539793886.775 * [misc]taylor: Taking taylor expansion of (/ 1 (pow re 2)) in re 1539793886.775 * [misc]taylor: Taking taylor expansion of (pow re 2) in re 1539793886.775 * [misc]taylor: Taking taylor expansion of re in re 1539793886.775 * [misc]backup-simplify: Simplify 0 into 0 1539793886.775 * [misc]backup-simplify: Simplify 1 into 1 1539793886.776 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539793886.776 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539793886.776 * [misc]taylor: Taking taylor expansion of (/ 1 (pow im 2)) in re 1539793886.776 * [misc]taylor: Taking taylor expansion of (pow im 2) in re 1539793886.776 * [misc]taylor: Taking taylor expansion of im in re 1539793886.776 * [misc]backup-simplify: Simplify im into im 1539793886.776 * [misc]backup-simplify: Simplify (* im im) into (pow im 2) 1539793886.776 * [misc]backup-simplify: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 1539793886.776 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539793886.776 * [misc]taylor: Taking taylor expansion of 1 in im 1539793886.776 * [misc]backup-simplify: Simplify 1 into 1 1539793886.776 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539793886.777 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1539793886.777 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539793886.777 * [misc]taylor: Taking taylor expansion of 0 in im 1539793886.777 * [misc]backup-simplify: Simplify 0 into 0 1539793886.777 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539793886.777 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539793886.777 * [misc]backup-simplify: Simplify (- (/ 1 (pow im 2))) into (- (/ 1 (pow im 2))) 1539793886.777 * [misc]backup-simplify: Simplify (+ 0 (- (/ 1 (pow im 2)))) into (- (/ 1 (pow im 2))) 1539793886.777 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow im 2))) in im 1539793886.777 * [misc]taylor: Taking taylor expansion of (/ 1 (pow im 2)) in im 1539793886.777 * [misc]taylor: Taking taylor expansion of (pow im 2) in im 1539793886.777 * [misc]taylor: Taking taylor expansion of im in im 1539793886.777 * [misc]backup-simplify: Simplify 0 into 0 1539793886.777 * [misc]backup-simplify: Simplify 1 into 1 1539793886.777 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539793886.778 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539793886.778 * [misc]backup-simplify: Simplify (- 1) into -1 1539793886.778 * [misc]backup-simplify: Simplify -1 into -1 1539793886.778 * [misc]backup-simplify: Simplify 1 into 1 1539793886.778 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539793886.778 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539793886.778 * [misc]backup-simplify: Simplify (+ (* im 0) (* 0 im)) into 0 1539793886.778 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))))) into 0 1539793886.778 * [misc]backup-simplify: Simplify (- 0) into 0 1539793886.779 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539793886.779 * [misc]taylor: Taking taylor expansion of 0 in im 1539793886.779 * [misc]backup-simplify: Simplify 0 into 0 1539793886.779 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539793886.779 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1539793886.779 * [misc]backup-simplify: Simplify (- 0) into 0 1539793886.779 * [misc]backup-simplify: Simplify 0 into 0 1539793886.779 * [misc]backup-simplify: Simplify 0 into 0 1539793886.779 * [misc]backup-simplify: Simplify 0 into 0 1539793886.779 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539793886.780 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539793886.780 * [misc]backup-simplify: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0 1539793886.780 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))) (* 0 (/ 0 (pow im 2))))) into 0 1539793886.780 * [misc]backup-simplify: Simplify (- 0) into 0 1539793886.780 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539793886.780 * [misc]taylor: Taking taylor expansion of 0 in im 1539793886.780 * [misc]backup-simplify: Simplify 0 into 0 1539793886.780 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539793886.781 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539793886.781 * [misc]backup-simplify: Simplify (- 0) into 0 1539793886.781 * [misc]backup-simplify: Simplify 0 into 0 1539793886.781 * [misc]backup-simplify: Simplify 0 into 0 1539793886.781 * [misc]backup-simplify: Simplify 0 into 0 1539793886.781 * [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)) 1539793886.781 * [misc]backup-simplify: Simplify (- (* (/ 1 (- re)) (/ 1 (- re))) (* (/ 1 (- im)) (/ 1 (- im)))) into (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) 1539793886.781 * [misc]approximate: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in (re im) around 0 1539793886.781 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in im 1539793886.781 * [misc]taylor: Taking taylor expansion of (/ 1 (pow re 2)) in im 1539793886.781 * [misc]taylor: Taking taylor expansion of (pow re 2) in im 1539793886.781 * [misc]taylor: Taking taylor expansion of re in im 1539793886.781 * [misc]backup-simplify: Simplify re into re 1539793886.781 * [misc]backup-simplify: Simplify (* re re) into (pow re 2) 1539793886.781 * [misc]backup-simplify: Simplify (/ 1 (pow re 2)) into (/ 1 (pow re 2)) 1539793886.781 * [misc]taylor: Taking taylor expansion of (/ 1 (pow im 2)) in im 1539793886.781 * [misc]taylor: Taking taylor expansion of (pow im 2) in im 1539793886.781 * [misc]taylor: Taking taylor expansion of im in im 1539793886.781 * [misc]backup-simplify: Simplify 0 into 0 1539793886.781 * [misc]backup-simplify: Simplify 1 into 1 1539793886.782 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539793886.782 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539793886.782 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re 1539793886.782 * [misc]taylor: Taking taylor expansion of (/ 1 (pow re 2)) in re 1539793886.782 * [misc]taylor: Taking taylor expansion of (pow re 2) in re 1539793886.782 * [misc]taylor: Taking taylor expansion of re in re 1539793886.782 * [misc]backup-simplify: Simplify 0 into 0 1539793886.782 * [misc]backup-simplify: Simplify 1 into 1 1539793886.782 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539793886.782 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539793886.782 * [misc]taylor: Taking taylor expansion of (/ 1 (pow im 2)) in re 1539793886.782 * [misc]taylor: Taking taylor expansion of (pow im 2) in re 1539793886.782 * [misc]taylor: Taking taylor expansion of im in re 1539793886.782 * [misc]backup-simplify: Simplify im into im 1539793886.782 * [misc]backup-simplify: Simplify (* im im) into (pow im 2) 1539793886.782 * [misc]backup-simplify: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 1539793886.782 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow re 2)) (/ 1 (pow im 2))) in re 1539793886.782 * [misc]taylor: Taking taylor expansion of (/ 1 (pow re 2)) in re 1539793886.782 * [misc]taylor: Taking taylor expansion of (pow re 2) in re 1539793886.782 * [misc]taylor: Taking taylor expansion of re in re 1539793886.782 * [misc]backup-simplify: Simplify 0 into 0 1539793886.782 * [misc]backup-simplify: Simplify 1 into 1 1539793886.782 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539793886.782 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539793886.782 * [misc]taylor: Taking taylor expansion of (/ 1 (pow im 2)) in re 1539793886.783 * [misc]taylor: Taking taylor expansion of (pow im 2) in re 1539793886.783 * [misc]taylor: Taking taylor expansion of im in re 1539793886.783 * [misc]backup-simplify: Simplify im into im 1539793886.783 * [misc]backup-simplify: Simplify (* im im) into (pow im 2) 1539793886.783 * [misc]backup-simplify: Simplify (/ 1 (pow im 2)) into (/ 1 (pow im 2)) 1539793886.783 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539793886.783 * [misc]taylor: Taking taylor expansion of 1 in im 1539793886.783 * [misc]backup-simplify: Simplify 1 into 1 1539793886.783 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539793886.783 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1539793886.783 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539793886.783 * [misc]taylor: Taking taylor expansion of 0 in im 1539793886.783 * [misc]backup-simplify: Simplify 0 into 0 1539793886.783 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539793886.784 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539793886.784 * [misc]backup-simplify: Simplify (- (/ 1 (pow im 2))) into (- (/ 1 (pow im 2))) 1539793886.784 * [misc]backup-simplify: Simplify (+ 0 (- (/ 1 (pow im 2)))) into (- (/ 1 (pow im 2))) 1539793886.784 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow im 2))) in im 1539793886.784 * [misc]taylor: Taking taylor expansion of (/ 1 (pow im 2)) in im 1539793886.784 * [misc]taylor: Taking taylor expansion of (pow im 2) in im 1539793886.784 * [misc]taylor: Taking taylor expansion of im in im 1539793886.784 * [misc]backup-simplify: Simplify 0 into 0 1539793886.784 * [misc]backup-simplify: Simplify 1 into 1 1539793886.784 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539793886.784 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539793886.784 * [misc]backup-simplify: Simplify (- 1) into -1 1539793886.784 * [misc]backup-simplify: Simplify -1 into -1 1539793886.784 * [misc]backup-simplify: Simplify 1 into 1 1539793886.784 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539793886.785 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539793886.785 * [misc]backup-simplify: Simplify (+ (* im 0) (* 0 im)) into 0 1539793886.785 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))))) into 0 1539793886.785 * [misc]backup-simplify: Simplify (- 0) into 0 1539793886.785 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539793886.785 * [misc]taylor: Taking taylor expansion of 0 in im 1539793886.785 * [misc]backup-simplify: Simplify 0 into 0 1539793886.785 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539793886.785 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1539793886.786 * [misc]backup-simplify: Simplify (- 0) into 0 1539793886.786 * [misc]backup-simplify: Simplify 0 into 0 1539793886.786 * [misc]backup-simplify: Simplify 0 into 0 1539793886.786 * [misc]backup-simplify: Simplify 0 into 0 1539793886.786 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539793886.786 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539793886.786 * [misc]backup-simplify: Simplify (+ (* im 0) (+ (* 0 0) (* 0 im))) into 0 1539793886.786 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow im 2)) (/ 0 (pow im 2))) (* 0 (/ 0 (pow im 2))))) into 0 1539793886.786 * [misc]backup-simplify: Simplify (- 0) into 0 1539793886.787 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539793886.787 * [misc]taylor: Taking taylor expansion of 0 in im 1539793886.787 * [misc]backup-simplify: Simplify 0 into 0 1539793886.787 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539793886.787 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539793886.787 * [misc]backup-simplify: Simplify (- 0) into 0 1539793886.787 * [misc]backup-simplify: Simplify 0 into 0 1539793886.787 * [misc]backup-simplify: Simplify 0 into 0 1539793886.787 * [misc]backup-simplify: Simplify 0 into 0 1539793886.787 * [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)) 1539793886.787 * * * [misc]progress: simplifying candidates 1539793886.788 * * * * [misc]progress: [ 1 / 20 ] simplifiying candidate # 1539793886.788 * [enter]simplify: Simplifying (fma re re (- (* im im))) 1539793886.788 * * [misc]simplify: iters left: 5 (5 enodes) 1539793886.789 * * [misc]simplify: iters left: 4 (10 enodes) 1539793886.790 * * [misc]simplify: iters left: 3 (12 enodes) 1539793886.794 * * [misc]simplify: iters left: 2 (17 enodes) 1539793886.798 * * [misc]simplify: iters left: 1 (20 enodes) 1539793886.804 * [exit]simplify: Simplified to (* (- re im) (+ im re)) 1539793886.805 * [misc]simplify: Simplified (2 1) to (λ (re im) (+ (* (- re im) (+ im re)) (fma (- im) im (* im im)))) 1539793886.805 * [enter]simplify: Simplifying (fma (- im) im (* im im)) 1539793886.805 * * [misc]simplify: iters left: 3 (4 enodes) 1539793886.806 * * [misc]simplify: iters left: 2 (6 enodes) 1539793886.808 * * [misc]simplify: iters left: 1 (11 enodes) 1539793886.812 * [exit]simplify: Simplified to (- (* im im) (* im im)) 1539793886.813 * [misc]simplify: Simplified (2 2) to (λ (re im) (+ (fma re re (- (* im im))) (- (* im im) (* im im)))) 1539793886.813 * * * * [misc]progress: [ 2 / 20 ] simplifiying candidate # 1539793886.813 * * * * [misc]progress: [ 3 / 20 ] simplifiying candidate # 1539793886.813 * * * * [misc]progress: [ 4 / 20 ] simplifiying candidate # 1539793886.813 * * * * [misc]progress: [ 5 / 20 ] simplifiying candidate # 1539793886.813 * [enter]simplify: Simplifying (/ (exp (* re re)) (exp (* im im))) 1539793886.813 * * [misc]simplify: iters left: 5 (7 enodes) 1539793886.815 * * [misc]simplify: iters left: 4 (13 enodes) 1539793886.819 * * [misc]simplify: iters left: 3 (19 enodes) 1539793886.825 * * [misc]simplify: iters left: 2 (30 enodes) 1539793886.835 * * [misc]simplify: iters left: 1 (57 enodes) 1539793886.868 * [exit]simplify: Simplified to (exp (- (* re re) (* im im))) 1539793886.868 * [misc]simplify: Simplified (2 1) to (λ (re im) (log (exp (- (* re re) (* im im))))) 1539793886.868 * * * * [misc]progress: [ 6 / 20 ] simplifiying candidate # 1539793886.868 * * * * [misc]progress: [ 7 / 20 ] simplifiying candidate # 1539793886.868 * * * * [misc]progress: [ 8 / 20 ] simplifiying candidate # 1539793886.868 * * * * [misc]progress: [ 9 / 20 ] simplifiying candidate # 1539793886.868 * * * * [misc]progress: [ 10 / 20 ] simplifiying candidate # 1539793886.868 * * * * [misc]progress: [ 11 / 20 ] simplifiying candidate # 1539793886.868 * * * * [misc]progress: [ 12 / 20 ] simplifiying candidate # 1539793886.868 * * * * [misc]progress: [ 13 / 20 ] simplifiying candidate # 1539793886.868 * * * * [misc]progress: [ 14 / 20 ] simplifiying candidate # 1539793886.868 * * * * [misc]progress: [ 15 / 20 ] simplifiying candidate # 1539793886.868 * * * * [misc]progress: [ 16 / 20 ] simplifiying candidate # 1539793886.869 * [enter]simplify: Simplifying (+ re im) 1539793886.869 * * [misc]simplify: iters left: 2 (3 enodes) 1539793886.870 * * [misc]simplify: iters left: 1 (4 enodes) 1539793886.871 * [exit]simplify: Simplified to (+ im re) 1539793886.871 * [misc]simplify: Simplified (2 1) to (λ (re im) (* (+ im re) (- re im))) 1539793886.871 * [enter]simplify: Simplifying (- re im) 1539793886.871 * * [misc]simplify: iters left: 2 (3 enodes) 1539793886.872 * * [misc]simplify: iters left: 1 (5 enodes) 1539793886.874 * [exit]simplify: Simplified to (- re im) 1539793886.874 * [misc]simplify: Simplified (2 2) to (λ (re im) (* (+ re im) (- re im))) 1539793886.874 * * * * [misc]progress: [ 17 / 20 ] simplifiying candidate # 1539793886.874 * * * * [misc]progress: [ 18 / 20 ] simplifiying candidate # 1539793886.874 * [enter]simplify: Simplifying (- (pow re 2) (pow im 2)) 1539793886.874 * * [misc]simplify: iters left: 3 (6 enodes) 1539793886.876 * * [misc]simplify: iters left: 2 (10 enodes) 1539793886.879 * * [misc]simplify: iters left: 1 (18 enodes) 1539793886.885 * [exit]simplify: Simplified to (- (* re re) (* im im)) 1539793886.885 * [misc]simplify: Simplified (2) to (λ (re im) (- (* re re) (* im im))) 1539793886.885 * * * * [misc]progress: [ 19 / 20 ] simplifiying candidate # 1539793886.885 * [enter]simplify: Simplifying (- (pow re 2) (pow im 2)) 1539793886.885 * * [misc]simplify: iters left: 3 (6 enodes) 1539793886.887 * * [misc]simplify: iters left: 2 (10 enodes) 1539793886.890 * * [misc]simplify: iters left: 1 (18 enodes) 1539793886.896 * [exit]simplify: Simplified to (- (* re re) (* im im)) 1539793886.896 * [misc]simplify: Simplified (2) to (λ (re im) (- (* re re) (* im im))) 1539793886.896 * * * * [misc]progress: [ 20 / 20 ] simplifiying candidate # 1539793886.896 * [enter]simplify: Simplifying (- (pow re 2) (pow im 2)) 1539793886.896 * * [misc]simplify: iters left: 3 (6 enodes) 1539793886.898 * * [misc]simplify: iters left: 2 (10 enodes) 1539793886.901 * * [misc]simplify: iters left: 1 (18 enodes) 1539793886.905 * [exit]simplify: Simplified to (- (* re re) (* im im)) 1539793886.905 * [misc]simplify: Simplified (2) to (λ (re im) (- (* re re) (* im im))) 1539793886.905 * * * [misc]progress: adding candidates to table 1539793887.197 * * [misc]progress: iteration 2 / 4 1539793887.197 * * * [misc]progress: picking best candidate 1539793887.198 * * * * [misc]pick: Picked # 1539793887.199 * * * [misc]progress: localizing error 1539793887.207 * * * [misc]progress: generating rewritten candidates 1539793887.207 * * * [misc]progress: generating series expansions 1539793887.207 * * * [misc]progress: simplifying candidates 1539793887.207 * * * [misc]progress: adding candidates to table 1539793887.207 * [misc]progress: [Phase 3 of 3] Extracting. 1539793887.209 * [enter]simplify: Simplifying (* (+ re im) (- re im)) 1539793887.209 * * [misc]simplify: iters left: 4 (5 enodes) 1539793887.209 * * [misc]simplify: iters left: 3 (7 enodes) 1539793887.209 * [exit]simplify: Simplified to (* (+ im re) (- re im)) 1539793887.210 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1539793887.249 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1539793887.250 * * * * [misc]points: Setting MPFR precision to 64 1539793887.251 * * * * [misc]points: Setting MPFR precision to 320 1539793887.251 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1539793887.252 * * * * [misc]points: Setting MPFR precision to 64 1539793887.252 * * * * [misc]points: Setting MPFR precision to 320 1539793887.253 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1539793887.254 * * * * [misc]points: Setting MPFR precision to 64 1539793887.255 * * * * [misc]points: Setting MPFR precision to 320 1539793887.256 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1539793887.256 * * * * [misc]points: Setting MPFR precision to 64 1539793887.258 * * * * [misc]points: Setting MPFR precision to 320 1539793887.260 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1539793887.261 * * * * [misc]points: Setting MPFR precision to 64 1539793887.266 * * * * [misc]points: Setting MPFR precision to 320 1539793887.274 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1539793887.275 * * * * [misc]points: Setting MPFR precision to 64 1539793887.290 * * * * [misc]points: Setting MPFR precision to 320 1539793887.342 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1539793887.344 * * * * [misc]points: Setting MPFR precision to 64 1539793887.408 * * * * [misc]points: Setting MPFR precision to 320 1539793887.502 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1539793887.638 * * * * [misc]points: Setting MPFR precision to 64 1539793887.707 * * * * [misc]points: Setting MPFR precision to 320 1539793887.762 * * * * [misc]points: Setting MPFR precision to 576 1539793887.880 * * * * [misc]points: Computing exacts for 8000 points 1539793887.881 * * * * [misc]points: Setting MPFR precision to 320 1539793888.283 * * * * [misc]points: Setting MPFR precision to 576 1539793888.535 * * * * [misc]points: Filtering points with unrepresentable outputs 1539793888.537 * * * * [misc]points: Sampling 3457 additional inputs, on iter 1 have 4543 / 8000 1539793889.028 * * * * [misc]points: Computing exacts on every 216 of 3457 points to ramp up precision 1539793889.030 * * * * [misc]points: Setting MPFR precision to 320 1539793889.030 * * * * [misc]points: Setting MPFR precision to 576 1539793889.031 * * * * [misc]points: Computing exacts on every 108 of 3457 points to ramp up precision 1539793889.032 * * * * [misc]points: Setting MPFR precision to 320 1539793889.033 * * * * [misc]points: Setting MPFR precision to 576 1539793889.034 * * * * [misc]points: Computing exacts on every 54 of 3457 points to ramp up precision 1539793889.036 * * * * [misc]points: Setting MPFR precision to 320 1539793889.038 * * * * [misc]points: Setting MPFR precision to 576 1539793889.040 * * * * [misc]points: Computing exacts on every 27 of 3457 points to ramp up precision 1539793889.041 * * * * [misc]points: Setting MPFR precision to 320 1539793889.045 * * * * [misc]points: Setting MPFR precision to 576 1539793889.049 * * * * [misc]points: Computing exacts on every 13 of 3457 points to ramp up precision 1539793889.050 * * * * [misc]points: Setting MPFR precision to 320 1539793889.058 * * * * [misc]points: Setting MPFR precision to 576 1539793889.066 * * * * [misc]points: Computing exacts on every 6 of 3457 points to ramp up precision 1539793889.067 * * * * [misc]points: Setting MPFR precision to 320 1539793889.083 * * * * [misc]points: Setting MPFR precision to 576 1539793889.100 * * * * [misc]points: Computing exacts on every 3 of 3457 points to ramp up precision 1539793889.101 * * * * [misc]points: Setting MPFR precision to 320 1539793889.164 * * * * [misc]points: Setting MPFR precision to 576 1539793889.194 * * * * [misc]points: Computing exacts for 3457 points 1539793889.195 * * * * [misc]points: Setting MPFR precision to 320 1539793889.270 * * * * [misc]points: Setting MPFR precision to 576 1539793889.422 * * * * [misc]points: Filtering points with unrepresentable outputs 1539793889.423 * * * * [misc]points: Sampling 1556 additional inputs, on iter 2 have 6444 / 8000 1539793889.432 * * * * [misc]points: Computing exacts on every 97 of 1556 points to ramp up precision 1539793889.433 * * * * [misc]points: Setting MPFR precision to 320 1539793889.433 * * * * [misc]points: Setting MPFR precision to 576 1539793889.434 * * * * [misc]points: Computing exacts on every 48 of 1556 points to ramp up precision 1539793889.434 * * * * [misc]points: Setting MPFR precision to 320 1539793889.435 * * * * [misc]points: Setting MPFR precision to 576 1539793889.435 * * * * [misc]points: Computing exacts on every 24 of 1556 points to ramp up precision 1539793889.436 * * * * [misc]points: Setting MPFR precision to 320 1539793889.437 * * * * [misc]points: Setting MPFR precision to 576 1539793889.438 * * * * [misc]points: Computing exacts on every 12 of 1556 points to ramp up precision 1539793889.439 * * * * [misc]points: Setting MPFR precision to 320 1539793889.473 * * * * [misc]points: Setting MPFR precision to 576 1539793889.477 * * * * [misc]points: Computing exacts on every 6 of 1556 points to ramp up precision 1539793889.478 * * * * [misc]points: Setting MPFR precision to 320 1539793889.489 * * * * [misc]points: Setting MPFR precision to 576 1539793889.496 * * * * [misc]points: Computing exacts on every 3 of 1556 points to ramp up precision 1539793889.497 * * * * [misc]points: Setting MPFR precision to 320 1539793889.509 * * * * [misc]points: Setting MPFR precision to 576 1539793889.522 * * * * [misc]points: Computing exacts for 1556 points 1539793889.523 * * * * [misc]points: Setting MPFR precision to 320 1539793889.570 * * * * [misc]points: Setting MPFR precision to 576 1539793889.613 * * * * [misc]points: Filtering points with unrepresentable outputs 1539793889.614 * * * * [misc]points: Sampling 675 additional inputs, on iter 3 have 7325 / 8000 1539793889.657 * * * * [misc]points: Computing exacts on every 42 of 675 points to ramp up precision 1539793889.658 * * * * [misc]points: Setting MPFR precision to 320 1539793889.659 * * * * [misc]points: Setting MPFR precision to 576 1539793889.660 * * * * [misc]points: Computing exacts on every 21 of 675 points to ramp up precision 1539793889.661 * * * * [misc]points: Setting MPFR precision to 320 1539793889.666 * * * * [misc]points: Setting MPFR precision to 576 1539793889.667 * * * * [misc]points: Computing exacts on every 10 of 675 points to ramp up precision 1539793889.668 * * * * [misc]points: Setting MPFR precision to 320 1539793889.671 * * * * [misc]points: Setting MPFR precision to 576 1539793889.672 * * * * [misc]points: Computing exacts on every 5 of 675 points to ramp up precision 1539793889.673 * * * * [misc]points: Setting MPFR precision to 320 1539793889.674 * * * * [misc]points: Setting MPFR precision to 576 1539793889.676 * * * * [misc]points: Computing exacts on every 2 of 675 points to ramp up precision 1539793889.677 * * * * [misc]points: Setting MPFR precision to 320 1539793889.680 * * * * [misc]points: Setting MPFR precision to 576 1539793889.684 * * * * [misc]points: Computing exacts for 675 points 1539793889.685 * * * * [misc]points: Setting MPFR precision to 320 1539793889.695 * * * * [misc]points: Setting MPFR precision to 576 1539793889.712 * * * * [misc]points: Filtering points with unrepresentable outputs 1539793889.713 * * * * [misc]points: Sampling 302 additional inputs, on iter 4 have 7698 / 8000 1539793889.715 * * * * [misc]points: Computing exacts on every 18 of 302 points to ramp up precision 1539793889.716 * * * * [misc]points: Setting MPFR precision to 320 1539793889.717 * * * * [misc]points: Setting MPFR precision to 576 1539793889.717 * * * * [misc]points: Computing exacts on every 9 of 302 points to ramp up precision 1539793889.718 * * * * [misc]points: Setting MPFR precision to 320 1539793889.719 * * * * [misc]points: Setting MPFR precision to 576 1539793889.720 * * * * [misc]points: Computing exacts on every 4 of 302 points to ramp up precision 1539793889.721 * * * * [misc]points: Setting MPFR precision to 320 1539793889.723 * * * * [misc]points: Setting MPFR precision to 576 1539793889.725 * * * * [misc]points: Computing exacts on every 2 of 302 points to ramp up precision 1539793889.726 * * * * [misc]points: Setting MPFR precision to 320 1539793889.729 * * * * [misc]points: Setting MPFR precision to 576 1539793889.733 * * * * [misc]points: Computing exacts for 302 points 1539793889.734 * * * * [misc]points: Setting MPFR precision to 320 1539793889.743 * * * * [misc]points: Setting MPFR precision to 576 1539793889.753 * * * * [misc]points: Filtering points with unrepresentable outputs 1539793889.753 * * * * [misc]points: Sampling 138 additional inputs, on iter 5 have 7862 / 8000 1539793889.754 * * * * [misc]points: Computing exacts on every 8 of 138 points to ramp up precision 1539793889.755 * * * * [misc]points: Setting MPFR precision to 320 1539793889.756 * * * * [misc]points: Setting MPFR precision to 576 1539793889.756 * * * * [misc]points: Computing exacts on every 4 of 138 points to ramp up precision 1539793889.757 * * * * [misc]points: Setting MPFR precision to 320 1539793889.758 * * * * [misc]points: Setting MPFR precision to 576 1539793889.759 * * * * [misc]points: Computing exacts on every 2 of 138 points to ramp up precision 1539793889.760 * * * * [misc]points: Setting MPFR precision to 320 1539793889.762 * * * * [misc]points: Setting MPFR precision to 576 1539793889.763 * * * * [misc]points: Computing exacts for 138 points 1539793889.764 * * * * [misc]points: Setting MPFR precision to 320 1539793889.807 * * * * [misc]points: Setting MPFR precision to 576 1539793889.811 * * * * [misc]points: Filtering points with unrepresentable outputs 1539793889.811 * * * * [misc]points: Sampling 70 additional inputs, on iter 6 have 7930 / 8000 1539793889.812 * * * * [misc]points: Computing exacts on every 4 of 70 points to ramp up precision 1539793889.817 * * * * [misc]points: Setting MPFR precision to 320 1539793889.818 * * * * [misc]points: Setting MPFR precision to 576 1539793889.818 * * * * [misc]points: Computing exacts on every 2 of 70 points to ramp up precision 1539793889.819 * * * * [misc]points: Setting MPFR precision to 320 1539793889.820 * * * * [misc]points: Setting MPFR precision to 576 1539793889.820 * * * * [misc]points: Computing exacts for 70 points 1539793889.820 * * * * [misc]points: Setting MPFR precision to 320 1539793889.822 * * * * [misc]points: Setting MPFR precision to 576 1539793889.823 * * * * [misc]points: Filtering points with unrepresentable outputs 1539793889.823 * * * * [misc]points: Sampling 32 additional inputs, on iter 7 have 7968 / 8000 1539793889.823 * * * * [misc]points: Computing exacts on every 2 of 32 points to ramp up precision 1539793889.824 * * * * [misc]points: Setting MPFR precision to 320 1539793889.824 * * * * [misc]points: Setting MPFR precision to 576 1539793889.824 * * * * [misc]points: Computing exacts for 32 points 1539793889.825 * * * * [misc]points: Setting MPFR precision to 320 1539793889.825 * * * * [misc]points: Setting MPFR precision to 576 1539793889.826 * * * * [misc]points: Filtering points with unrepresentable outputs 1539793889.826 * * * * [misc]points: Sampling 15 additional inputs, on iter 8 have 7985 / 8000 1539793889.826 * * * * [misc]points: Computing exacts for 15 points 1539793889.826 * * * * [misc]points: Setting MPFR precision to 320 1539793889.827 * * * * [misc]points: Setting MPFR precision to 576 1539793889.827 * * * * [misc]points: Filtering points with unrepresentable outputs 1539793889.827 * * * * [misc]points: Sampling 7 additional inputs, on iter 9 have 7993 / 8000 1539793889.827 * * * * [misc]points: Computing exacts for 7 points 1539793889.828 * * * * [misc]points: Setting MPFR precision to 320 1539793889.828 * * * * [misc]points: Setting MPFR precision to 576 1539793889.828 * * * * [misc]points: Filtering points with unrepresentable outputs 1539793889.828 * * * * [misc]points: Sampling 4 additional inputs, on iter 10 have 7996 / 8000 1539793889.828 * * * * [misc]points: Computing exacts for 4 points 1539793889.829 * * * * [misc]points: Setting MPFR precision to 320 1539793889.829 * * * * [misc]points: Setting MPFR precision to 576 1539793889.829 * * * * [misc]points: Filtering points with unrepresentable outputs 1539793889.829 * * * * [misc]points: Sampling 4 additional inputs, on iter 11 have 7998 / 8000 1539793889.829 * * * * [misc]points: Computing exacts for 4 points 1539793889.830 * * * * [misc]points: Setting MPFR precision to 320 1539793889.830 * * * * [misc]points: Setting MPFR precision to 576 1539793889.830 * * * * [misc]points: Filtering points with unrepresentable outputs 1539793889.830 * * * * [exit]points: Sampled 8000 points with exact outputs 1539793889.999 * [misc]regime-testing: Baseline error score: 0.0005 1539793889.999 * [misc]regime-testing: End program error score: 0.0005 1539793890.001 * [misc]regime-testing: Oracle error score: 0.0005