1540197386.626 * [misc]progress: [Phase 1 of 3] Setting up. 1540197386.628 * * * [misc]progress: [1/2] Preparing points 1540197386.629 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1540197386.631 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1540197386.688 * * * * [misc]points: Setting MPFR precision to 64 1540197386.689 * * * * [misc]points: Setting MPFR precision to 320 1540197386.690 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1540197386.692 * * * * [misc]points: Setting MPFR precision to 64 1540197386.692 * * * * [misc]points: Setting MPFR precision to 320 1540197386.694 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1540197386.695 * * * * [misc]points: Setting MPFR precision to 64 1540197386.696 * * * * [misc]points: Setting MPFR precision to 320 1540197386.697 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1540197386.698 * * * * [misc]points: Setting MPFR precision to 64 1540197386.699 * * * * [misc]points: Setting MPFR precision to 320 1540197386.701 * * * * [misc]points: Computing exacts for 256 points 1540197386.702 * * * * [misc]points: Setting MPFR precision to 64 1540197386.706 * * * * [misc]points: Setting MPFR precision to 320 1540197386.711 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197386.712 * * * * [misc]points: Sampling 193 additional inputs, on iter 1 have 63 / 256 1540197386.712 * * * * [misc]points: Computing exacts on every 12 of 193 points to ramp up precision 1540197386.713 * * * * [misc]points: Setting MPFR precision to 64 1540197386.714 * * * * [misc]points: Setting MPFR precision to 320 1540197386.714 * * * * [misc]points: Computing exacts on every 6 of 193 points to ramp up precision 1540197386.715 * * * * [misc]points: Setting MPFR precision to 64 1540197386.715 * * * * [misc]points: Setting MPFR precision to 320 1540197386.716 * * * * [misc]points: Computing exacts on every 3 of 193 points to ramp up precision 1540197386.717 * * * * [misc]points: Setting MPFR precision to 64 1540197386.718 * * * * [misc]points: Setting MPFR precision to 320 1540197386.719 * * * * [misc]points: Computing exacts for 193 points 1540197386.720 * * * * [misc]points: Setting MPFR precision to 64 1540197386.723 * * * * [misc]points: Setting MPFR precision to 320 1540197386.727 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197386.727 * * * * [misc]points: Sampling 145 additional inputs, on iter 2 have 111 / 256 1540197386.728 * * * * [misc]points: Computing exacts on every 9 of 145 points to ramp up precision 1540197386.729 * * * * [misc]points: Setting MPFR precision to 64 1540197386.729 * * * * [misc]points: Setting MPFR precision to 320 1540197386.729 * * * * [misc]points: Computing exacts on every 4 of 145 points to ramp up precision 1540197386.730 * * * * [misc]points: Setting MPFR precision to 64 1540197386.731 * * * * [misc]points: Setting MPFR precision to 320 1540197386.731 * * * * [misc]points: Computing exacts on every 2 of 145 points to ramp up precision 1540197386.732 * * * * [misc]points: Setting MPFR precision to 64 1540197386.733 * * * * [misc]points: Setting MPFR precision to 320 1540197386.734 * * * * [misc]points: Computing exacts for 145 points 1540197386.736 * * * * [misc]points: Setting MPFR precision to 64 1540197386.738 * * * * [misc]points: Setting MPFR precision to 320 1540197386.773 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197386.773 * * * * [misc]points: Sampling 109 additional inputs, on iter 3 have 147 / 256 1540197386.773 * * * * [misc]points: Computing exacts on every 6 of 109 points to ramp up precision 1540197386.774 * * * * [misc]points: Setting MPFR precision to 64 1540197386.775 * * * * [misc]points: Setting MPFR precision to 320 1540197386.775 * * * * [misc]points: Computing exacts on every 3 of 109 points to ramp up precision 1540197386.776 * * * * [misc]points: Setting MPFR precision to 64 1540197386.777 * * * * [misc]points: Setting MPFR precision to 320 1540197386.777 * * * * [misc]points: Computing exacts for 109 points 1540197386.778 * * * * [misc]points: Setting MPFR precision to 64 1540197386.780 * * * * [misc]points: Setting MPFR precision to 320 1540197386.784 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197386.784 * * * * [misc]points: Sampling 85 additional inputs, on iter 4 have 171 / 256 1540197386.784 * * * * [misc]points: Computing exacts on every 5 of 85 points to ramp up precision 1540197386.785 * * * * [misc]points: Setting MPFR precision to 64 1540197386.785 * * * * [misc]points: Setting MPFR precision to 320 1540197386.786 * * * * [misc]points: Computing exacts on every 2 of 85 points to ramp up precision 1540197386.787 * * * * [misc]points: Setting MPFR precision to 64 1540197386.787 * * * * [misc]points: Setting MPFR precision to 320 1540197386.788 * * * * [misc]points: Computing exacts for 85 points 1540197386.789 * * * * [misc]points: Setting MPFR precision to 64 1540197386.791 * * * * [misc]points: Setting MPFR precision to 320 1540197386.792 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197386.792 * * * * [misc]points: Sampling 62 additional inputs, on iter 5 have 194 / 256 1540197386.793 * * * * [misc]points: Computing exacts on every 3 of 62 points to ramp up precision 1540197386.794 * * * * [misc]points: Setting MPFR precision to 64 1540197386.794 * * * * [misc]points: Setting MPFR precision to 320 1540197386.795 * * * * [misc]points: Computing exacts for 62 points 1540197386.796 * * * * [misc]points: Setting MPFR precision to 64 1540197386.797 * * * * [misc]points: Setting MPFR precision to 320 1540197386.798 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197386.798 * * * * [misc]points: Sampling 52 additional inputs, on iter 6 have 204 / 256 1540197386.798 * * * * [misc]points: Computing exacts on every 3 of 52 points to ramp up precision 1540197386.799 * * * * [misc]points: Setting MPFR precision to 64 1540197386.800 * * * * [misc]points: Setting MPFR precision to 320 1540197386.800 * * * * [misc]points: Computing exacts for 52 points 1540197386.801 * * * * [misc]points: Setting MPFR precision to 64 1540197386.802 * * * * [misc]points: Setting MPFR precision to 320 1540197386.803 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197386.803 * * * * [misc]points: Sampling 36 additional inputs, on iter 7 have 220 / 256 1540197386.803 * * * * [misc]points: Computing exacts on every 2 of 36 points to ramp up precision 1540197386.804 * * * * [misc]points: Setting MPFR precision to 64 1540197386.805 * * * * [misc]points: Setting MPFR precision to 320 1540197386.805 * * * * [misc]points: Computing exacts for 36 points 1540197386.806 * * * * [misc]points: Setting MPFR precision to 64 1540197386.807 * * * * [misc]points: Setting MPFR precision to 320 1540197386.807 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197386.808 * * * * [misc]points: Sampling 21 additional inputs, on iter 8 have 235 / 256 1540197386.808 * * * * [misc]points: Computing exacts for 21 points 1540197386.809 * * * * [misc]points: Setting MPFR precision to 64 1540197386.809 * * * * [misc]points: Setting MPFR precision to 320 1540197386.810 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197386.810 * * * * [misc]points: Sampling 14 additional inputs, on iter 9 have 242 / 256 1540197386.810 * * * * [misc]points: Computing exacts for 14 points 1540197386.811 * * * * [misc]points: Setting MPFR precision to 64 1540197386.811 * * * * [misc]points: Setting MPFR precision to 320 1540197386.811 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197386.811 * * * * [misc]points: Sampling 12 additional inputs, on iter 10 have 244 / 256 1540197386.811 * * * * [misc]points: Computing exacts for 12 points 1540197386.812 * * * * [misc]points: Setting MPFR precision to 64 1540197386.813 * * * * [misc]points: Setting MPFR precision to 320 1540197386.813 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197386.813 * * * * [misc]points: Sampling 10 additional inputs, on iter 11 have 246 / 256 1540197386.813 * * * * [misc]points: Computing exacts for 10 points 1540197386.814 * * * * [misc]points: Setting MPFR precision to 64 1540197386.814 * * * * [misc]points: Setting MPFR precision to 320 1540197386.814 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197386.815 * * * * [misc]points: Sampling 8 additional inputs, on iter 12 have 248 / 256 1540197386.815 * * * * [misc]points: Computing exacts for 8 points 1540197386.816 * * * * [misc]points: Setting MPFR precision to 64 1540197386.816 * * * * [misc]points: Setting MPFR precision to 320 1540197386.816 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197386.816 * * * * [misc]points: Sampling 7 additional inputs, on iter 13 have 249 / 256 1540197386.816 * * * * [misc]points: Computing exacts for 7 points 1540197386.817 * * * * [misc]points: Setting MPFR precision to 64 1540197386.817 * * * * [misc]points: Setting MPFR precision to 320 1540197386.817 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197386.817 * * * * [misc]points: Sampling 5 additional inputs, on iter 14 have 251 / 256 1540197386.817 * * * * [misc]points: Computing exacts for 5 points 1540197386.818 * * * * [misc]points: Setting MPFR precision to 64 1540197386.819 * * * * [misc]points: Setting MPFR precision to 320 1540197386.819 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197386.819 * * * * [misc]points: Sampling 5 additional inputs, on iter 15 have 251 / 256 1540197386.819 * * * * [misc]points: Computing exacts for 5 points 1540197386.820 * * * * [misc]points: Setting MPFR precision to 64 1540197386.820 * * * * [misc]points: Setting MPFR precision to 320 1540197386.820 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197386.820 * * * * [misc]points: Sampling 4 additional inputs, on iter 16 have 252 / 256 1540197386.820 * * * * [misc]points: Computing exacts for 4 points 1540197386.821 * * * * [misc]points: Setting MPFR precision to 64 1540197386.821 * * * * [misc]points: Setting MPFR precision to 320 1540197386.821 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197386.821 * * * * [misc]points: Sampling 4 additional inputs, on iter 17 have 252 / 256 1540197386.821 * * * * [misc]points: Computing exacts for 4 points 1540197386.822 * * * * [misc]points: Setting MPFR precision to 64 1540197386.823 * * * * [misc]points: Setting MPFR precision to 320 1540197386.823 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197386.823 * * * * [misc]points: Sampling 4 additional inputs, on iter 18 have 253 / 256 1540197386.823 * * * * [misc]points: Computing exacts for 4 points 1540197386.824 * * * * [misc]points: Setting MPFR precision to 64 1540197386.824 * * * * [misc]points: Setting MPFR precision to 320 1540197386.824 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197386.824 * * * * [exit]points: Sampled 256 points with exact outputs 1540197386.825 * * * [misc]progress: [2/2] Setting up program. 1540197386.828 * [misc]progress: [Phase 2 of 3] Improving. 1540197386.829 * [enter]simplify: Simplifying (- (log (- (/ 1 x) 1))) 1540197386.829 * * [misc]simplify: iters left: 6 (6 enodes) 1540197386.834 * * [misc]simplify: iters left: 5 (11 enodes) 1540197386.835 * * [misc]simplify: iters left: 4 (12 enodes) 1540197386.838 * [exit]simplify: Simplified to (- (log (- (/ 1 x) 1))) 1540197386.845 * * [misc]progress: iteration 1 / 4 1540197386.845 * * * [misc]progress: picking best candidate 1540197386.847 * * * * [misc]pick: Picked # 1540197386.847 * * * [misc]progress: localizing error 1540197386.877 * * * [misc]progress: generating rewritten candidates 1540197386.878 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2 1 1) 1540197386.883 * * * [misc]progress: generating series expansions 1540197386.883 * * * * [misc]progress: [ 1 / 1 ] generating series at (2 1 1) 1540197386.887 * [misc]backup-simplify: Simplify (- (/ 1 x) 1) into (- (/ 1 x) 1) 1540197386.887 * [misc]approximate: Taking taylor expansion of (- (/ 1 x) 1) in (x) around 0 1540197386.888 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1540197386.888 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1540197386.888 * [misc]taylor: Taking taylor expansion of x in x 1540197386.888 * [misc]backup-simplify: Simplify 0 into 0 1540197386.888 * [misc]backup-simplify: Simplify 1 into 1 1540197386.889 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540197386.889 * [misc]taylor: Taking taylor expansion of 1 in x 1540197386.889 * [misc]backup-simplify: Simplify 1 into 1 1540197386.889 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1540197386.889 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1540197386.889 * [misc]taylor: Taking taylor expansion of x in x 1540197386.889 * [misc]backup-simplify: Simplify 0 into 0 1540197386.889 * [misc]backup-simplify: Simplify 1 into 1 1540197386.889 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540197386.889 * [misc]taylor: Taking taylor expansion of 1 in x 1540197386.889 * [misc]backup-simplify: Simplify 1 into 1 1540197386.890 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540197386.890 * [misc]backup-simplify: Simplify 1 into 1 1540197386.890 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540197386.891 * [misc]backup-simplify: Simplify (- 1) into -1 1540197386.891 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1540197386.891 * [misc]backup-simplify: Simplify -1 into -1 1540197386.891 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540197386.891 * [misc]backup-simplify: Simplify (- 0) into 0 1540197386.891 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540197386.891 * [misc]backup-simplify: Simplify 0 into 0 1540197386.891 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540197386.891 * [misc]backup-simplify: Simplify (- 0) into 0 1540197386.892 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540197386.892 * [misc]backup-simplify: Simplify 0 into 0 1540197386.892 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540197386.892 * [misc]backup-simplify: Simplify (- 0) into 0 1540197386.892 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540197386.892 * [misc]backup-simplify: Simplify 0 into 0 1540197386.893 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540197386.893 * [misc]backup-simplify: Simplify (- 0) into 0 1540197386.893 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540197386.893 * [misc]backup-simplify: Simplify 0 into 0 1540197386.893 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540197386.893 * [misc]backup-simplify: Simplify (- 0) into 0 1540197386.893 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540197386.893 * [misc]backup-simplify: Simplify 0 into 0 1540197386.894 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540197386.894 * [misc]backup-simplify: Simplify (- 0) into 0 1540197386.894 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540197386.894 * [misc]backup-simplify: Simplify 0 into 0 1540197386.894 * [misc]backup-simplify: Simplify (+ -1 (* 1 (/ 1 x))) into (- (/ 1 x) 1) 1540197386.894 * [misc]backup-simplify: Simplify (- (/ 1 (/ 1 x)) 1) into (- x 1) 1540197386.894 * [misc]approximate: Taking taylor expansion of (- x 1) in (x) around 0 1540197386.894 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1540197386.894 * [misc]taylor: Taking taylor expansion of x in x 1540197386.894 * [misc]backup-simplify: Simplify 0 into 0 1540197386.894 * [misc]backup-simplify: Simplify 1 into 1 1540197386.894 * [misc]taylor: Taking taylor expansion of 1 in x 1540197386.894 * [misc]backup-simplify: Simplify 1 into 1 1540197386.894 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1540197386.894 * [misc]taylor: Taking taylor expansion of x in x 1540197386.894 * [misc]backup-simplify: Simplify 0 into 0 1540197386.894 * [misc]backup-simplify: Simplify 1 into 1 1540197386.894 * [misc]taylor: Taking taylor expansion of 1 in x 1540197386.894 * [misc]backup-simplify: Simplify 1 into 1 1540197386.895 * [misc]backup-simplify: Simplify (- 1) into -1 1540197386.895 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1540197386.895 * [misc]backup-simplify: Simplify -1 into -1 1540197386.895 * [misc]backup-simplify: Simplify (- 0) into 0 1540197386.895 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540197386.895 * [misc]backup-simplify: Simplify 1 into 1 1540197386.895 * [misc]backup-simplify: Simplify (- 0) into 0 1540197386.895 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540197386.895 * [misc]backup-simplify: Simplify 0 into 0 1540197386.895 * [misc]backup-simplify: Simplify (- 0) into 0 1540197386.895 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540197386.895 * [misc]backup-simplify: Simplify 0 into 0 1540197386.896 * [misc]backup-simplify: Simplify (- 0) into 0 1540197386.896 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540197386.896 * [misc]backup-simplify: Simplify 0 into 0 1540197386.896 * [misc]backup-simplify: Simplify (- 0) into 0 1540197386.896 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540197386.896 * [misc]backup-simplify: Simplify 0 into 0 1540197386.896 * [misc]backup-simplify: Simplify (- 0) into 0 1540197386.896 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540197386.896 * [misc]backup-simplify: Simplify 0 into 0 1540197386.896 * [misc]backup-simplify: Simplify (- 0) into 0 1540197386.896 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540197386.896 * [misc]backup-simplify: Simplify 0 into 0 1540197386.896 * [misc]backup-simplify: Simplify (+ (* 1 (/ 1 x)) -1) into (- (/ 1 x) 1) 1540197386.897 * [misc]backup-simplify: Simplify (- (/ 1 (/ 1 (- x))) 1) into (- (+ x 1)) 1540197386.897 * [misc]approximate: Taking taylor expansion of (- (+ x 1)) in (x) around 0 1540197386.897 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1540197386.897 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1540197386.897 * [misc]taylor: Taking taylor expansion of x in x 1540197386.897 * [misc]backup-simplify: Simplify 0 into 0 1540197386.897 * [misc]backup-simplify: Simplify 1 into 1 1540197386.897 * [misc]taylor: Taking taylor expansion of 1 in x 1540197386.897 * [misc]backup-simplify: Simplify 1 into 1 1540197386.897 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1540197386.897 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1540197386.897 * [misc]taylor: Taking taylor expansion of x in x 1540197386.897 * [misc]backup-simplify: Simplify 0 into 0 1540197386.897 * [misc]backup-simplify: Simplify 1 into 1 1540197386.897 * [misc]taylor: Taking taylor expansion of 1 in x 1540197386.897 * [misc]backup-simplify: Simplify 1 into 1 1540197386.898 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540197386.898 * [misc]backup-simplify: Simplify (- 1) into -1 1540197386.898 * [misc]backup-simplify: Simplify -1 into -1 1540197386.898 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540197386.898 * [misc]backup-simplify: Simplify (- 1) into -1 1540197386.898 * [misc]backup-simplify: Simplify -1 into -1 1540197386.898 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540197386.898 * [misc]backup-simplify: Simplify (- 0) into 0 1540197386.898 * [misc]backup-simplify: Simplify 0 into 0 1540197386.898 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540197386.898 * [misc]backup-simplify: Simplify (- 0) into 0 1540197386.898 * [misc]backup-simplify: Simplify 0 into 0 1540197386.899 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540197386.899 * [misc]backup-simplify: Simplify (- 0) into 0 1540197386.899 * [misc]backup-simplify: Simplify 0 into 0 1540197386.899 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540197386.899 * [misc]backup-simplify: Simplify (- 0) into 0 1540197386.899 * [misc]backup-simplify: Simplify 0 into 0 1540197386.899 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540197386.899 * [misc]backup-simplify: Simplify (- 0) into 0 1540197386.899 * [misc]backup-simplify: Simplify 0 into 0 1540197386.899 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540197386.899 * [misc]backup-simplify: Simplify (- 0) into 0 1540197386.899 * [misc]backup-simplify: Simplify 0 into 0 1540197386.899 * [misc]backup-simplify: Simplify (+ (* -1 (/ 1 (- x))) -1) into (- (/ 1 x) 1) 1540197386.900 * * * [misc]progress: simplifying candidates 1540197386.900 * * * * [misc]progress: [ 1 / 15 ] simplifiying candidate # 1540197386.900 * * * * [misc]progress: [ 2 / 15 ] simplifiying candidate # 1540197386.900 * * * * [misc]progress: [ 3 / 15 ] simplifiying candidate # 1540197386.900 * * * * [misc]progress: [ 4 / 15 ] simplifiying candidate # 1540197386.900 * * * * [misc]progress: [ 5 / 15 ] simplifiying candidate # 1540197386.900 * * * * [misc]progress: [ 6 / 15 ] simplifiying candidate # 1540197386.900 * * * * [misc]progress: [ 7 / 15 ] simplifiying candidate # 1540197386.900 * * * * [misc]progress: [ 8 / 15 ] simplifiying candidate # 1540197386.900 * * * * [misc]progress: [ 9 / 15 ] simplifiying candidate # 1540197386.900 * * * * [misc]progress: [ 10 / 15 ] simplifiying candidate # 1540197386.900 * * * * [misc]progress: [ 11 / 15 ] simplifiying candidate # 1540197386.900 * [enter]simplify: Simplifying (+ (sqrt (/ 1 x)) 1) 1540197386.901 * * [misc]simplify: iters left: 5 (5 enodes) 1540197386.901 * * [misc]simplify: iters left: 4 (8 enodes) 1540197386.902 * [exit]simplify: Simplified to (+ (sqrt (/ 1 x)) 1) 1540197386.902 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1))))) 1540197386.903 * * * * [misc]progress: [ 12 / 15 ] simplifiying candidate # 1540197386.903 * * * * [misc]progress: [ 13 / 15 ] simplifiying candidate # 1540197386.903 * [enter]simplify: Simplifying (- (/ 1 x) 1) 1540197386.903 * * [misc]simplify: iters left: 4 (4 enodes) 1540197386.904 * * [misc]simplify: iters left: 3 (9 enodes) 1540197386.905 * * [misc]simplify: iters left: 2 (10 enodes) 1540197386.906 * [exit]simplify: Simplified to (- (/ 1 x) 1) 1540197386.906 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (log (- (/ 1 x) 1)))) 1540197386.906 * * * * [misc]progress: [ 14 / 15 ] simplifiying candidate # 1540197386.906 * [enter]simplify: Simplifying (- (/ 1 x) 1) 1540197386.906 * * [misc]simplify: iters left: 4 (4 enodes) 1540197386.907 * * [misc]simplify: iters left: 3 (9 enodes) 1540197386.908 * * [misc]simplify: iters left: 2 (10 enodes) 1540197386.909 * [exit]simplify: Simplified to (- (/ 1 x) 1) 1540197386.909 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (log (- (/ 1 x) 1)))) 1540197386.910 * * * * [misc]progress: [ 15 / 15 ] simplifiying candidate # 1540197386.910 * [enter]simplify: Simplifying (- (/ 1 x) 1) 1540197386.910 * * [misc]simplify: iters left: 4 (4 enodes) 1540197386.911 * * [misc]simplify: iters left: 3 (9 enodes) 1540197386.912 * * [misc]simplify: iters left: 2 (10 enodes) 1540197386.913 * [exit]simplify: Simplified to (- (/ 1 x) 1) 1540197386.913 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (log (- (/ 1 x) 1)))) 1540197386.913 * * * [misc]progress: adding candidates to table 1540197387.064 * [misc]progress: [Phase 3 of 3] Extracting. 1540197387.069 * [enter]simplify: Simplifying (- (log (- (/ 1 x) 1))) 1540197387.069 * * [misc]simplify: iters left: 6 (6 enodes) 1540197387.070 * * [misc]simplify: iters left: 5 (8 enodes) 1540197387.071 * [exit]simplify: Simplified to (- (log (- (/ 1 x) 1))) 1540197387.071 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1540197387.103 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1540197387.104 * * * * [misc]points: Setting MPFR precision to 64 1540197387.105 * * * * [misc]points: Setting MPFR precision to 320 1540197387.105 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1540197387.106 * * * * [misc]points: Setting MPFR precision to 64 1540197387.107 * * * * [misc]points: Setting MPFR precision to 320 1540197387.108 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1540197387.109 * * * * [misc]points: Setting MPFR precision to 64 1540197387.110 * * * * [misc]points: Setting MPFR precision to 320 1540197387.111 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1540197387.112 * * * * [misc]points: Setting MPFR precision to 64 1540197387.115 * * * * [misc]points: Setting MPFR precision to 320 1540197387.117 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1540197387.118 * * * * [misc]points: Setting MPFR precision to 64 1540197387.123 * * * * [misc]points: Setting MPFR precision to 320 1540197387.128 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1540197387.129 * * * * [misc]points: Setting MPFR precision to 64 1540197387.138 * * * * [misc]points: Setting MPFR precision to 320 1540197387.148 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1540197387.150 * * * * [misc]points: Setting MPFR precision to 64 1540197387.167 * * * * [misc]points: Setting MPFR precision to 320 1540197387.219 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1540197387.221 * * * * [misc]points: Setting MPFR precision to 64 1540197387.290 * * * * [misc]points: Setting MPFR precision to 320 1540197387.350 * * * * [misc]points: Computing exacts for 8000 points 1540197387.351 * * * * [misc]points: Setting MPFR precision to 64 1540197387.642 * * * * [misc]points: Setting MPFR precision to 320 1540197387.940 * * * * [misc]points: Setting MPFR precision to 576 1540197388.646 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197388.648 * * * * [misc]points: Sampling 6032 additional inputs, on iter 1 have 1968 / 8000 1540197388.676 * * * * [misc]points: Computing exacts on every 377 of 6032 points to ramp up precision 1540197388.678 * * * * [misc]points: Setting MPFR precision to 320 1540197388.679 * * * * [misc]points: Setting MPFR precision to 576 1540197388.680 * * * * [misc]points: Computing exacts on every 188 of 6032 points to ramp up precision 1540197388.682 * * * * [misc]points: Setting MPFR precision to 320 1540197388.683 * * * * [misc]points: Setting MPFR precision to 576 1540197388.685 * * * * [misc]points: Computing exacts on every 94 of 6032 points to ramp up precision 1540197388.687 * * * * [misc]points: Setting MPFR precision to 320 1540197388.689 * * * * [misc]points: Setting MPFR precision to 576 1540197388.692 * * * * [misc]points: Computing exacts on every 47 of 6032 points to ramp up precision 1540197388.694 * * * * [misc]points: Setting MPFR precision to 320 1540197388.698 * * * * [misc]points: Setting MPFR precision to 576 1540197388.704 * * * * [misc]points: Computing exacts on every 23 of 6032 points to ramp up precision 1540197388.706 * * * * [misc]points: Setting MPFR precision to 320 1540197388.715 * * * * [misc]points: Setting MPFR precision to 576 1540197388.724 * * * * [misc]points: Computing exacts on every 11 of 6032 points to ramp up precision 1540197388.745 * * * * [misc]points: Setting MPFR precision to 320 1540197388.756 * * * * [misc]points: Setting MPFR precision to 576 1540197388.768 * * * * [misc]points: Computing exacts on every 5 of 6032 points to ramp up precision 1540197388.771 * * * * [misc]points: Setting MPFR precision to 320 1540197388.805 * * * * [misc]points: Setting MPFR precision to 576 1540197388.834 * * * * [misc]points: Computing exacts on every 2 of 6032 points to ramp up precision 1540197388.835 * * * * [misc]points: Setting MPFR precision to 320 1540197388.886 * * * * [misc]points: Setting MPFR precision to 576 1540197389.006 * * * * [misc]points: Computing exacts for 6032 points 1540197389.009 * * * * [misc]points: Setting MPFR precision to 320 1540197389.246 * * * * [misc]points: Setting MPFR precision to 576 1540197389.461 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197389.462 * * * * [misc]points: Sampling 4482 additional inputs, on iter 2 have 3518 / 8000 1540197389.472 * * * * [misc]points: Computing exacts on every 280 of 4482 points to ramp up precision 1540197389.473 * * * * [misc]points: Setting MPFR precision to 320 1540197389.474 * * * * [misc]points: Setting MPFR precision to 576 1540197389.474 * * * * [misc]points: Computing exacts on every 140 of 4482 points to ramp up precision 1540197389.475 * * * * [misc]points: Setting MPFR precision to 320 1540197389.476 * * * * [misc]points: Setting MPFR precision to 576 1540197389.477 * * * * [misc]points: Computing exacts on every 70 of 4482 points to ramp up precision 1540197389.498 * * * * [misc]points: Setting MPFR precision to 320 1540197389.500 * * * * [misc]points: Setting MPFR precision to 576 1540197389.502 * * * * [misc]points: Computing exacts on every 35 of 4482 points to ramp up precision 1540197389.503 * * * * [misc]points: Setting MPFR precision to 320 1540197389.506 * * * * [misc]points: Setting MPFR precision to 576 1540197389.509 * * * * [misc]points: Computing exacts on every 17 of 4482 points to ramp up precision 1540197389.511 * * * * [misc]points: Setting MPFR precision to 320 1540197389.520 * * * * [misc]points: Setting MPFR precision to 576 1540197389.529 * * * * [misc]points: Computing exacts on every 8 of 4482 points to ramp up precision 1540197389.532 * * * * [misc]points: Setting MPFR precision to 320 1540197389.549 * * * * [misc]points: Setting MPFR precision to 576 1540197389.568 * * * * [misc]points: Computing exacts on every 4 of 4482 points to ramp up precision 1540197389.570 * * * * [misc]points: Setting MPFR precision to 320 1540197389.601 * * * * [misc]points: Setting MPFR precision to 576 1540197389.632 * * * * [misc]points: Computing exacts on every 2 of 4482 points to ramp up precision 1540197389.633 * * * * [misc]points: Setting MPFR precision to 320 1540197389.710 * * * * [misc]points: Setting MPFR precision to 576 1540197389.757 * * * * [misc]points: Computing exacts for 4482 points 1540197389.759 * * * * [misc]points: Setting MPFR precision to 320 1540197389.951 * * * * [misc]points: Setting MPFR precision to 576 1540197390.090 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197390.091 * * * * [misc]points: Sampling 3334 additional inputs, on iter 3 have 4666 / 8000 1540197390.098 * * * * [misc]points: Computing exacts on every 208 of 3334 points to ramp up precision 1540197390.102 * * * * [misc]points: Setting MPFR precision to 320 1540197390.103 * * * * [misc]points: Setting MPFR precision to 576 1540197390.103 * * * * [misc]points: Computing exacts on every 104 of 3334 points to ramp up precision 1540197390.104 * * * * [misc]points: Setting MPFR precision to 320 1540197390.105 * * * * [misc]points: Setting MPFR precision to 576 1540197390.106 * * * * [misc]points: Computing exacts on every 52 of 3334 points to ramp up precision 1540197390.107 * * * * [misc]points: Setting MPFR precision to 320 1540197390.108 * * * * [misc]points: Setting MPFR precision to 576 1540197390.109 * * * * [misc]points: Computing exacts on every 26 of 3334 points to ramp up precision 1540197390.111 * * * * [misc]points: Setting MPFR precision to 320 1540197390.113 * * * * [misc]points: Setting MPFR precision to 576 1540197390.117 * * * * [misc]points: Computing exacts on every 13 of 3334 points to ramp up precision 1540197390.119 * * * * [misc]points: Setting MPFR precision to 320 1540197390.125 * * * * [misc]points: Setting MPFR precision to 576 1540197390.130 * * * * [misc]points: Computing exacts on every 6 of 3334 points to ramp up precision 1540197390.132 * * * * [misc]points: Setting MPFR precision to 320 1540197390.141 * * * * [misc]points: Setting MPFR precision to 576 1540197390.150 * * * * [misc]points: Computing exacts on every 3 of 3334 points to ramp up precision 1540197390.152 * * * * [misc]points: Setting MPFR precision to 320 1540197390.182 * * * * [misc]points: Setting MPFR precision to 576 1540197390.214 * * * * [misc]points: Computing exacts for 3334 points 1540197390.251 * * * * [misc]points: Setting MPFR precision to 320 1540197390.358 * * * * [misc]points: Setting MPFR precision to 576 1540197390.481 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197390.482 * * * * [misc]points: Sampling 2491 additional inputs, on iter 4 have 5509 / 8000 1540197390.493 * * * * [misc]points: Computing exacts on every 155 of 2491 points to ramp up precision 1540197390.496 * * * * [misc]points: Setting MPFR precision to 320 1540197390.497 * * * * [misc]points: Setting MPFR precision to 576 1540197390.498 * * * * [misc]points: Computing exacts on every 77 of 2491 points to ramp up precision 1540197390.500 * * * * [misc]points: Setting MPFR precision to 320 1540197390.501 * * * * [misc]points: Setting MPFR precision to 576 1540197390.503 * * * * [misc]points: Computing exacts on every 38 of 2491 points to ramp up precision 1540197390.504 * * * * [misc]points: Setting MPFR precision to 320 1540197390.505 * * * * [misc]points: Setting MPFR precision to 576 1540197390.507 * * * * [misc]points: Computing exacts on every 19 of 2491 points to ramp up precision 1540197390.508 * * * * [misc]points: Setting MPFR precision to 320 1540197390.511 * * * * [misc]points: Setting MPFR precision to 576 1540197390.513 * * * * [misc]points: Computing exacts on every 9 of 2491 points to ramp up precision 1540197390.515 * * * * [misc]points: Setting MPFR precision to 320 1540197390.519 * * * * [misc]points: Setting MPFR precision to 576 1540197390.525 * * * * [misc]points: Computing exacts on every 4 of 2491 points to ramp up precision 1540197390.526 * * * * [misc]points: Setting MPFR precision to 320 1540197390.535 * * * * [misc]points: Setting MPFR precision to 576 1540197390.545 * * * * [misc]points: Computing exacts on every 2 of 2491 points to ramp up precision 1540197390.547 * * * * [misc]points: Setting MPFR precision to 320 1540197390.601 * * * * [misc]points: Setting MPFR precision to 576 1540197390.620 * * * * [misc]points: Computing exacts for 2491 points 1540197390.622 * * * * [misc]points: Setting MPFR precision to 320 1540197390.705 * * * * [misc]points: Setting MPFR precision to 576 1540197391.033 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197391.034 * * * * [misc]points: Sampling 1855 additional inputs, on iter 5 have 6145 / 8000 1540197391.047 * * * * [misc]points: Computing exacts on every 115 of 1855 points to ramp up precision 1540197391.050 * * * * [misc]points: Setting MPFR precision to 320 1540197391.050 * * * * [misc]points: Setting MPFR precision to 576 1540197391.051 * * * * [misc]points: Computing exacts on every 57 of 1855 points to ramp up precision 1540197391.053 * * * * [misc]points: Setting MPFR precision to 320 1540197391.055 * * * * [misc]points: Setting MPFR precision to 576 1540197391.056 * * * * [misc]points: Computing exacts on every 28 of 1855 points to ramp up precision 1540197391.058 * * * * [misc]points: Setting MPFR precision to 320 1540197391.060 * * * * [misc]points: Setting MPFR precision to 576 1540197391.061 * * * * [misc]points: Computing exacts on every 14 of 1855 points to ramp up precision 1540197391.062 * * * * [misc]points: Setting MPFR precision to 320 1540197391.065 * * * * [misc]points: Setting MPFR precision to 576 1540197391.068 * * * * [misc]points: Computing exacts on every 7 of 1855 points to ramp up precision 1540197391.069 * * * * [misc]points: Setting MPFR precision to 320 1540197391.073 * * * * [misc]points: Setting MPFR precision to 576 1540197391.078 * * * * [misc]points: Computing exacts on every 3 of 1855 points to ramp up precision 1540197391.080 * * * * [misc]points: Setting MPFR precision to 320 1540197391.088 * * * * [misc]points: Setting MPFR precision to 576 1540197391.101 * * * * [misc]points: Computing exacts for 1855 points 1540197391.103 * * * * [misc]points: Setting MPFR precision to 320 1540197391.170 * * * * [misc]points: Setting MPFR precision to 576 1540197391.225 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197391.225 * * * * [misc]points: Sampling 1407 additional inputs, on iter 6 have 6593 / 8000 1540197391.229 * * * * [misc]points: Computing exacts on every 87 of 1407 points to ramp up precision 1540197391.230 * * * * [misc]points: Setting MPFR precision to 320 1540197391.231 * * * * [misc]points: Setting MPFR precision to 576 1540197391.231 * * * * [misc]points: Computing exacts on every 43 of 1407 points to ramp up precision 1540197391.232 * * * * [misc]points: Setting MPFR precision to 320 1540197391.233 * * * * [misc]points: Setting MPFR precision to 576 1540197391.234 * * * * [misc]points: Computing exacts on every 21 of 1407 points to ramp up precision 1540197391.235 * * * * [misc]points: Setting MPFR precision to 320 1540197391.236 * * * * [misc]points: Setting MPFR precision to 576 1540197391.238 * * * * [misc]points: Computing exacts on every 10 of 1407 points to ramp up precision 1540197391.239 * * * * [misc]points: Setting MPFR precision to 320 1540197391.241 * * * * [misc]points: Setting MPFR precision to 576 1540197391.244 * * * * [misc]points: Computing exacts on every 5 of 1407 points to ramp up precision 1540197391.245 * * * * [misc]points: Setting MPFR precision to 320 1540197391.250 * * * * [misc]points: Setting MPFR precision to 576 1540197391.258 * * * * [misc]points: Computing exacts on every 2 of 1407 points to ramp up precision 1540197391.261 * * * * [misc]points: Setting MPFR precision to 320 1540197391.276 * * * * [misc]points: Setting MPFR precision to 576 1540197391.286 * * * * [misc]points: Computing exacts for 1407 points 1540197391.287 * * * * [misc]points: Setting MPFR precision to 320 1540197391.361 * * * * [misc]points: Setting MPFR precision to 576 1540197391.389 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197391.390 * * * * [misc]points: Sampling 1058 additional inputs, on iter 7 have 6942 / 8000 1540197391.392 * * * * [misc]points: Computing exacts on every 66 of 1058 points to ramp up precision 1540197391.394 * * * * [misc]points: Setting MPFR precision to 320 1540197391.394 * * * * [misc]points: Setting MPFR precision to 576 1540197391.395 * * * * [misc]points: Computing exacts on every 33 of 1058 points to ramp up precision 1540197391.396 * * * * [misc]points: Setting MPFR precision to 320 1540197391.396 * * * * [misc]points: Setting MPFR precision to 576 1540197391.397 * * * * [misc]points: Computing exacts on every 16 of 1058 points to ramp up precision 1540197391.398 * * * * [misc]points: Setting MPFR precision to 320 1540197391.400 * * * * [misc]points: Setting MPFR precision to 576 1540197391.403 * * * * [misc]points: Computing exacts on every 8 of 1058 points to ramp up precision 1540197391.405 * * * * [misc]points: Setting MPFR precision to 320 1540197391.410 * * * * [misc]points: Setting MPFR precision to 576 1540197391.414 * * * * [misc]points: Computing exacts on every 4 of 1058 points to ramp up precision 1540197391.417 * * * * [misc]points: Setting MPFR precision to 320 1540197391.425 * * * * [misc]points: Setting MPFR precision to 576 1540197391.433 * * * * [misc]points: Computing exacts on every 2 of 1058 points to ramp up precision 1540197391.435 * * * * [misc]points: Setting MPFR precision to 320 1540197391.448 * * * * [misc]points: Setting MPFR precision to 576 1540197391.462 * * * * [misc]points: Computing exacts for 1058 points 1540197391.503 * * * * [misc]points: Setting MPFR precision to 320 1540197391.542 * * * * [misc]points: Setting MPFR precision to 576 1540197391.564 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197391.564 * * * * [misc]points: Sampling 775 additional inputs, on iter 8 have 7225 / 8000 1540197391.566 * * * * [misc]points: Computing exacts on every 48 of 775 points to ramp up precision 1540197391.567 * * * * [misc]points: Setting MPFR precision to 320 1540197391.568 * * * * [misc]points: Setting MPFR precision to 576 1540197391.568 * * * * [misc]points: Computing exacts on every 24 of 775 points to ramp up precision 1540197391.569 * * * * [misc]points: Setting MPFR precision to 320 1540197391.570 * * * * [misc]points: Setting MPFR precision to 576 1540197391.571 * * * * [misc]points: Computing exacts on every 12 of 775 points to ramp up precision 1540197391.573 * * * * [misc]points: Setting MPFR precision to 320 1540197391.575 * * * * [misc]points: Setting MPFR precision to 576 1540197391.577 * * * * [misc]points: Computing exacts on every 6 of 775 points to ramp up precision 1540197391.580 * * * * [misc]points: Setting MPFR precision to 320 1540197391.583 * * * * [misc]points: Setting MPFR precision to 576 1540197391.587 * * * * [misc]points: Computing exacts on every 3 of 775 points to ramp up precision 1540197391.590 * * * * [misc]points: Setting MPFR precision to 320 1540197391.597 * * * * [misc]points: Setting MPFR precision to 576 1540197391.604 * * * * [misc]points: Computing exacts for 775 points 1540197391.607 * * * * [misc]points: Setting MPFR precision to 320 1540197391.634 * * * * [misc]points: Setting MPFR precision to 576 1540197391.708 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197391.708 * * * * [misc]points: Sampling 585 additional inputs, on iter 9 have 7415 / 8000 1540197391.711 * * * * [misc]points: Computing exacts on every 36 of 585 points to ramp up precision 1540197391.713 * * * * [misc]points: Setting MPFR precision to 320 1540197391.714 * * * * [misc]points: Setting MPFR precision to 576 1540197391.715 * * * * [misc]points: Computing exacts on every 18 of 585 points to ramp up precision 1540197391.721 * * * * [misc]points: Setting MPFR precision to 320 1540197391.722 * * * * [misc]points: Setting MPFR precision to 576 1540197391.723 * * * * [misc]points: Computing exacts on every 9 of 585 points to ramp up precision 1540197391.726 * * * * [misc]points: Setting MPFR precision to 320 1540197391.728 * * * * [misc]points: Setting MPFR precision to 576 1540197391.730 * * * * [misc]points: Computing exacts on every 4 of 585 points to ramp up precision 1540197391.732 * * * * [misc]points: Setting MPFR precision to 320 1540197391.734 * * * * [misc]points: Setting MPFR precision to 576 1540197391.736 * * * * [misc]points: Computing exacts on every 2 of 585 points to ramp up precision 1540197391.738 * * * * [misc]points: Setting MPFR precision to 320 1540197391.741 * * * * [misc]points: Setting MPFR precision to 576 1540197391.745 * * * * [misc]points: Computing exacts for 585 points 1540197391.746 * * * * [misc]points: Setting MPFR precision to 320 1540197391.757 * * * * [misc]points: Setting MPFR precision to 576 1540197391.769 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197391.769 * * * * [misc]points: Sampling 451 additional inputs, on iter 10 have 7549 / 8000 1540197391.770 * * * * [misc]points: Computing exacts on every 28 of 451 points to ramp up precision 1540197391.772 * * * * [misc]points: Setting MPFR precision to 320 1540197391.772 * * * * [misc]points: Setting MPFR precision to 576 1540197391.772 * * * * [misc]points: Computing exacts on every 14 of 451 points to ramp up precision 1540197391.773 * * * * [misc]points: Setting MPFR precision to 320 1540197391.774 * * * * [misc]points: Setting MPFR precision to 576 1540197391.775 * * * * [misc]points: Computing exacts on every 7 of 451 points to ramp up precision 1540197391.776 * * * * [misc]points: Setting MPFR precision to 320 1540197391.779 * * * * [misc]points: Setting MPFR precision to 576 1540197391.781 * * * * [misc]points: Computing exacts on every 3 of 451 points to ramp up precision 1540197391.783 * * * * [misc]points: Setting MPFR precision to 320 1540197391.787 * * * * [misc]points: Setting MPFR precision to 576 1540197391.791 * * * * [misc]points: Computing exacts for 451 points 1540197391.794 * * * * [misc]points: Setting MPFR precision to 320 1540197391.809 * * * * [misc]points: Setting MPFR precision to 576 1540197391.827 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197391.827 * * * * [misc]points: Sampling 340 additional inputs, on iter 11 have 7660 / 8000 1540197391.828 * * * * [misc]points: Computing exacts on every 21 of 340 points to ramp up precision 1540197391.829 * * * * [misc]points: Setting MPFR precision to 320 1540197391.830 * * * * [misc]points: Setting MPFR precision to 576 1540197391.830 * * * * [misc]points: Computing exacts on every 10 of 340 points to ramp up precision 1540197391.831 * * * * [misc]points: Setting MPFR precision to 320 1540197391.832 * * * * [misc]points: Setting MPFR precision to 576 1540197391.854 * * * * [misc]points: Computing exacts on every 5 of 340 points to ramp up precision 1540197391.856 * * * * [misc]points: Setting MPFR precision to 320 1540197391.859 * * * * [misc]points: Setting MPFR precision to 576 1540197391.861 * * * * [misc]points: Computing exacts on every 2 of 340 points to ramp up precision 1540197391.863 * * * * [misc]points: Setting MPFR precision to 320 1540197391.871 * * * * [misc]points: Setting MPFR precision to 576 1540197391.875 * * * * [misc]points: Computing exacts for 340 points 1540197391.878 * * * * [misc]points: Setting MPFR precision to 320 1540197391.891 * * * * [misc]points: Setting MPFR precision to 576 1540197391.904 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197391.904 * * * * [misc]points: Sampling 252 additional inputs, on iter 12 have 7748 / 8000 1540197391.905 * * * * [misc]points: Computing exacts on every 15 of 252 points to ramp up precision 1540197391.906 * * * * [misc]points: Setting MPFR precision to 320 1540197391.906 * * * * [misc]points: Setting MPFR precision to 576 1540197391.907 * * * * [misc]points: Computing exacts on every 7 of 252 points to ramp up precision 1540197391.908 * * * * [misc]points: Setting MPFR precision to 320 1540197391.908 * * * * [misc]points: Setting MPFR precision to 576 1540197391.909 * * * * [misc]points: Computing exacts on every 3 of 252 points to ramp up precision 1540197391.910 * * * * [misc]points: Setting MPFR precision to 320 1540197391.912 * * * * [misc]points: Setting MPFR precision to 576 1540197391.913 * * * * [misc]points: Computing exacts for 252 points 1540197391.914 * * * * [misc]points: Setting MPFR precision to 320 1540197391.919 * * * * [misc]points: Setting MPFR precision to 576 1540197391.924 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197391.924 * * * * [misc]points: Sampling 193 additional inputs, on iter 13 have 7807 / 8000 1540197391.924 * * * * [misc]points: Computing exacts on every 12 of 193 points to ramp up precision 1540197391.926 * * * * [misc]points: Setting MPFR precision to 320 1540197391.926 * * * * [misc]points: Setting MPFR precision to 576 1540197391.926 * * * * [misc]points: Computing exacts on every 6 of 193 points to ramp up precision 1540197391.928 * * * * [misc]points: Setting MPFR precision to 320 1540197391.928 * * * * [misc]points: Setting MPFR precision to 576 1540197391.929 * * * * [misc]points: Computing exacts on every 3 of 193 points to ramp up precision 1540197391.930 * * * * [misc]points: Setting MPFR precision to 320 1540197391.931 * * * * [misc]points: Setting MPFR precision to 576 1540197391.932 * * * * [misc]points: Computing exacts for 193 points 1540197391.933 * * * * [misc]points: Setting MPFR precision to 320 1540197391.937 * * * * [misc]points: Setting MPFR precision to 576 1540197391.941 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197391.941 * * * * [misc]points: Sampling 155 additional inputs, on iter 14 have 7845 / 8000 1540197391.941 * * * * [misc]points: Computing exacts on every 9 of 155 points to ramp up precision 1540197391.943 * * * * [misc]points: Setting MPFR precision to 320 1540197391.943 * * * * [misc]points: Setting MPFR precision to 576 1540197391.943 * * * * [misc]points: Computing exacts on every 4 of 155 points to ramp up precision 1540197391.944 * * * * [misc]points: Setting MPFR precision to 320 1540197391.945 * * * * [misc]points: Setting MPFR precision to 576 1540197391.946 * * * * [misc]points: Computing exacts on every 2 of 155 points to ramp up precision 1540197391.947 * * * * [misc]points: Setting MPFR precision to 320 1540197391.949 * * * * [misc]points: Setting MPFR precision to 576 1540197391.951 * * * * [misc]points: Computing exacts for 155 points 1540197391.953 * * * * [misc]points: Setting MPFR precision to 320 1540197391.957 * * * * [misc]points: Setting MPFR precision to 576 1540197391.960 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197391.960 * * * * [misc]points: Sampling 118 additional inputs, on iter 15 have 7882 / 8000 1540197391.961 * * * * [misc]points: Computing exacts on every 7 of 118 points to ramp up precision 1540197391.962 * * * * [misc]points: Setting MPFR precision to 320 1540197391.962 * * * * [misc]points: Setting MPFR precision to 576 1540197391.963 * * * * [misc]points: Computing exacts on every 3 of 118 points to ramp up precision 1540197391.964 * * * * [misc]points: Setting MPFR precision to 320 1540197391.964 * * * * [misc]points: Setting MPFR precision to 576 1540197391.965 * * * * [misc]points: Computing exacts for 118 points 1540197391.966 * * * * [misc]points: Setting MPFR precision to 320 1540197391.969 * * * * [misc]points: Setting MPFR precision to 576 1540197391.991 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197391.991 * * * * [misc]points: Sampling 95 additional inputs, on iter 16 have 7905 / 8000 1540197391.992 * * * * [misc]points: Computing exacts on every 5 of 95 points to ramp up precision 1540197391.994 * * * * [misc]points: Setting MPFR precision to 320 1540197391.995 * * * * [misc]points: Setting MPFR precision to 576 1540197391.996 * * * * [misc]points: Computing exacts on every 2 of 95 points to ramp up precision 1540197392.001 * * * * [misc]points: Setting MPFR precision to 320 1540197392.002 * * * * [misc]points: Setting MPFR precision to 576 1540197392.004 * * * * [misc]points: Computing exacts for 95 points 1540197392.006 * * * * [misc]points: Setting MPFR precision to 320 1540197392.010 * * * * [misc]points: Setting MPFR precision to 576 1540197392.012 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197392.012 * * * * [misc]points: Sampling 79 additional inputs, on iter 17 have 7921 / 8000 1540197392.013 * * * * [misc]points: Computing exacts on every 4 of 79 points to ramp up precision 1540197392.014 * * * * [misc]points: Setting MPFR precision to 320 1540197392.014 * * * * [misc]points: Setting MPFR precision to 576 1540197392.015 * * * * [misc]points: Computing exacts on every 2 of 79 points to ramp up precision 1540197392.016 * * * * [misc]points: Setting MPFR precision to 320 1540197392.016 * * * * [misc]points: Setting MPFR precision to 576 1540197392.017 * * * * [misc]points: Computing exacts for 79 points 1540197392.018 * * * * [misc]points: Setting MPFR precision to 320 1540197392.020 * * * * [misc]points: Setting MPFR precision to 576 1540197392.021 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197392.021 * * * * [misc]points: Sampling 60 additional inputs, on iter 18 have 7940 / 8000 1540197392.022 * * * * [misc]points: Computing exacts on every 3 of 60 points to ramp up precision 1540197392.023 * * * * [misc]points: Setting MPFR precision to 320 1540197392.023 * * * * [misc]points: Setting MPFR precision to 576 1540197392.024 * * * * [misc]points: Computing exacts for 60 points 1540197392.025 * * * * [misc]points: Setting MPFR precision to 320 1540197392.026 * * * * [misc]points: Setting MPFR precision to 576 1540197392.027 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197392.027 * * * * [misc]points: Sampling 43 additional inputs, on iter 19 have 7957 / 8000 1540197392.027 * * * * [misc]points: Computing exacts on every 2 of 43 points to ramp up precision 1540197392.029 * * * * [misc]points: Setting MPFR precision to 320 1540197392.029 * * * * [misc]points: Setting MPFR precision to 576 1540197392.029 * * * * [misc]points: Computing exacts for 43 points 1540197392.031 * * * * [misc]points: Setting MPFR precision to 320 1540197392.031 * * * * [misc]points: Setting MPFR precision to 576 1540197392.032 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197392.032 * * * * [misc]points: Sampling 33 additional inputs, on iter 20 have 7967 / 8000 1540197392.033 * * * * [misc]points: Computing exacts on every 2 of 33 points to ramp up precision 1540197392.034 * * * * [misc]points: Setting MPFR precision to 320 1540197392.034 * * * * [misc]points: Setting MPFR precision to 576 1540197392.034 * * * * [misc]points: Computing exacts for 33 points 1540197392.036 * * * * [misc]points: Setting MPFR precision to 320 1540197392.036 * * * * [misc]points: Setting MPFR precision to 576 1540197392.037 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197392.037 * * * * [misc]points: Sampling 25 additional inputs, on iter 21 have 7975 / 8000 1540197392.037 * * * * [misc]points: Computing exacts for 25 points 1540197392.038 * * * * [misc]points: Setting MPFR precision to 320 1540197392.039 * * * * [misc]points: Setting MPFR precision to 576 1540197392.040 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197392.040 * * * * [misc]points: Sampling 18 additional inputs, on iter 22 have 7982 / 8000 1540197392.040 * * * * [misc]points: Computing exacts for 18 points 1540197392.041 * * * * [misc]points: Setting MPFR precision to 320 1540197392.042 * * * * [misc]points: Setting MPFR precision to 576 1540197392.042 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197392.042 * * * * [misc]points: Sampling 12 additional inputs, on iter 23 have 7988 / 8000 1540197392.042 * * * * [misc]points: Computing exacts for 12 points 1540197392.043 * * * * [misc]points: Setting MPFR precision to 320 1540197392.044 * * * * [misc]points: Setting MPFR precision to 576 1540197392.044 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197392.044 * * * * [misc]points: Sampling 10 additional inputs, on iter 24 have 7990 / 8000 1540197392.044 * * * * [misc]points: Computing exacts for 10 points 1540197392.045 * * * * [misc]points: Setting MPFR precision to 320 1540197392.046 * * * * [misc]points: Setting MPFR precision to 576 1540197392.046 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197392.046 * * * * [misc]points: Sampling 7 additional inputs, on iter 25 have 7993 / 8000 1540197392.046 * * * * [misc]points: Computing exacts for 7 points 1540197392.047 * * * * [misc]points: Setting MPFR precision to 320 1540197392.047 * * * * [misc]points: Setting MPFR precision to 576 1540197392.047 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197392.047 * * * * [misc]points: Sampling 6 additional inputs, on iter 26 have 7994 / 8000 1540197392.048 * * * * [misc]points: Computing exacts for 6 points 1540197392.049 * * * * [misc]points: Setting MPFR precision to 320 1540197392.049 * * * * [misc]points: Setting MPFR precision to 576 1540197392.049 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197392.049 * * * * [misc]points: Sampling 4 additional inputs, on iter 27 have 7996 / 8000 1540197392.049 * * * * [misc]points: Computing exacts for 4 points 1540197392.050 * * * * [misc]points: Setting MPFR precision to 320 1540197392.051 * * * * [misc]points: Setting MPFR precision to 576 1540197392.051 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197392.051 * * * * [misc]points: Sampling 4 additional inputs, on iter 28 have 7996 / 8000 1540197392.051 * * * * [misc]points: Computing exacts for 4 points 1540197392.052 * * * * [misc]points: Setting MPFR precision to 320 1540197392.052 * * * * [misc]points: Setting MPFR precision to 576 1540197392.052 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197392.052 * * * * [misc]points: Sampling 4 additional inputs, on iter 29 have 7997 / 8000 1540197392.052 * * * * [misc]points: Computing exacts for 4 points 1540197392.053 * * * * [misc]points: Setting MPFR precision to 320 1540197392.054 * * * * [misc]points: Setting MPFR precision to 576 1540197392.054 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197392.054 * * * * [misc]points: Sampling 4 additional inputs, on iter 30 have 7998 / 8000 1540197392.054 * * * * [misc]points: Computing exacts for 4 points 1540197392.055 * * * * [misc]points: Setting MPFR precision to 320 1540197392.055 * * * * [misc]points: Setting MPFR precision to 576 1540197392.055 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197392.055 * * * * [misc]points: Sampling 4 additional inputs, on iter 31 have 7998 / 8000 1540197392.055 * * * * [misc]points: Computing exacts for 4 points 1540197392.057 * * * * [misc]points: Setting MPFR precision to 320 1540197392.057 * * * * [misc]points: Setting MPFR precision to 576 1540197392.057 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197392.057 * * * * [misc]points: Sampling 4 additional inputs, on iter 32 have 7998 / 8000 1540197392.057 * * * * [misc]points: Computing exacts for 4 points 1540197392.058 * * * * [misc]points: Setting MPFR precision to 320 1540197392.058 * * * * [misc]points: Setting MPFR precision to 576 1540197392.058 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197392.058 * * * * [misc]points: Sampling 4 additional inputs, on iter 33 have 7998 / 8000 1540197392.058 * * * * [misc]points: Computing exacts for 4 points 1540197392.060 * * * * [misc]points: Setting MPFR precision to 320 1540197392.060 * * * * [misc]points: Setting MPFR precision to 576 1540197392.060 * * * * [misc]points: Filtering points with unrepresentable outputs 1540197392.060 * * * * [exit]points: Sampled 8000 points with exact outputs 1540197392.287 * [misc]regime-testing: Baseline error score: 0.012641739821579552 1540197392.287 * [misc]regime-testing: End program error score: 0.012641739821579552 1540197392.288 * [misc]regime-testing: Oracle error score: 0.012641739821579552