1540202527.986 * [misc]progress: [Phase 1 of 3] Setting up. 1540202527.987 * * * [misc]progress: [1/2] Preparing points 1540202527.988 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1540202527.989 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1540202528.024 * * * * [misc]points: Setting MPFR precision to 64 1540202528.025 * * * * [misc]points: Setting MPFR precision to 320 1540202528.026 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1540202528.027 * * * * [misc]points: Setting MPFR precision to 64 1540202528.028 * * * * [misc]points: Setting MPFR precision to 320 1540202528.028 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1540202528.029 * * * * [misc]points: Setting MPFR precision to 64 1540202528.030 * * * * [misc]points: Setting MPFR precision to 320 1540202528.031 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1540202528.032 * * * * [misc]points: Setting MPFR precision to 64 1540202528.033 * * * * [misc]points: Setting MPFR precision to 320 1540202528.035 * * * * [misc]points: Computing exacts for 256 points 1540202528.036 * * * * [misc]points: Setting MPFR precision to 64 1540202528.040 * * * * [misc]points: Setting MPFR precision to 320 1540202528.044 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202528.044 * * * * [misc]points: Sampling 193 additional inputs, on iter 1 have 63 / 256 1540202528.045 * * * * [misc]points: Computing exacts on every 12 of 193 points to ramp up precision 1540202528.046 * * * * [misc]points: Setting MPFR precision to 64 1540202528.046 * * * * [misc]points: Setting MPFR precision to 320 1540202528.046 * * * * [misc]points: Computing exacts on every 6 of 193 points to ramp up precision 1540202528.047 * * * * [misc]points: Setting MPFR precision to 64 1540202528.048 * * * * [misc]points: Setting MPFR precision to 320 1540202528.048 * * * * [misc]points: Computing exacts on every 3 of 193 points to ramp up precision 1540202528.049 * * * * [misc]points: Setting MPFR precision to 64 1540202528.050 * * * * [misc]points: Setting MPFR precision to 320 1540202528.051 * * * * [misc]points: Computing exacts for 193 points 1540202528.052 * * * * [misc]points: Setting MPFR precision to 64 1540202528.055 * * * * [misc]points: Setting MPFR precision to 320 1540202528.058 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202528.058 * * * * [misc]points: Sampling 145 additional inputs, on iter 2 have 111 / 256 1540202528.058 * * * * [misc]points: Computing exacts on every 9 of 145 points to ramp up precision 1540202528.060 * * * * [misc]points: Setting MPFR precision to 64 1540202528.060 * * * * [misc]points: Setting MPFR precision to 320 1540202528.061 * * * * [misc]points: Computing exacts on every 4 of 145 points to ramp up precision 1540202528.061 * * * * [misc]points: Setting MPFR precision to 64 1540202528.062 * * * * [misc]points: Setting MPFR precision to 320 1540202528.062 * * * * [misc]points: Computing exacts on every 2 of 145 points to ramp up precision 1540202528.063 * * * * [misc]points: Setting MPFR precision to 64 1540202528.064 * * * * [misc]points: Setting MPFR precision to 320 1540202528.065 * * * * [misc]points: Computing exacts for 145 points 1540202528.066 * * * * [misc]points: Setting MPFR precision to 64 1540202528.069 * * * * [misc]points: Setting MPFR precision to 320 1540202528.071 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202528.071 * * * * [misc]points: Sampling 109 additional inputs, on iter 3 have 147 / 256 1540202528.072 * * * * [misc]points: Computing exacts on every 6 of 109 points to ramp up precision 1540202528.073 * * * * [misc]points: Setting MPFR precision to 64 1540202528.073 * * * * [misc]points: Setting MPFR precision to 320 1540202528.074 * * * * [misc]points: Computing exacts on every 3 of 109 points to ramp up precision 1540202528.075 * * * * [misc]points: Setting MPFR precision to 64 1540202528.108 * * * * [misc]points: Setting MPFR precision to 320 1540202528.109 * * * * [misc]points: Computing exacts for 109 points 1540202528.111 * * * * [misc]points: Setting MPFR precision to 64 1540202528.114 * * * * [misc]points: Setting MPFR precision to 320 1540202528.120 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202528.120 * * * * [misc]points: Sampling 85 additional inputs, on iter 4 have 171 / 256 1540202528.121 * * * * [misc]points: Computing exacts on every 5 of 85 points to ramp up precision 1540202528.123 * * * * [misc]points: Setting MPFR precision to 64 1540202528.123 * * * * [misc]points: Setting MPFR precision to 320 1540202528.124 * * * * [misc]points: Computing exacts on every 2 of 85 points to ramp up precision 1540202528.126 * * * * [misc]points: Setting MPFR precision to 64 1540202528.127 * * * * [misc]points: Setting MPFR precision to 320 1540202528.128 * * * * [misc]points: Computing exacts for 85 points 1540202528.130 * * * * [misc]points: Setting MPFR precision to 64 1540202528.133 * * * * [misc]points: Setting MPFR precision to 320 1540202528.136 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202528.136 * * * * [misc]points: Sampling 62 additional inputs, on iter 5 have 194 / 256 1540202528.136 * * * * [misc]points: Computing exacts on every 3 of 62 points to ramp up precision 1540202528.137 * * * * [misc]points: Setting MPFR precision to 64 1540202528.137 * * * * [misc]points: Setting MPFR precision to 320 1540202528.138 * * * * [misc]points: Computing exacts for 62 points 1540202528.139 * * * * [misc]points: Setting MPFR precision to 64 1540202528.140 * * * * [misc]points: Setting MPFR precision to 320 1540202528.141 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202528.141 * * * * [misc]points: Sampling 52 additional inputs, on iter 6 have 204 / 256 1540202528.141 * * * * [misc]points: Computing exacts on every 3 of 52 points to ramp up precision 1540202528.142 * * * * [misc]points: Setting MPFR precision to 64 1540202528.142 * * * * [misc]points: Setting MPFR precision to 320 1540202528.142 * * * * [misc]points: Computing exacts for 52 points 1540202528.143 * * * * [misc]points: Setting MPFR precision to 64 1540202528.144 * * * * [misc]points: Setting MPFR precision to 320 1540202528.145 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202528.145 * * * * [misc]points: Sampling 36 additional inputs, on iter 7 have 220 / 256 1540202528.145 * * * * [misc]points: Computing exacts on every 2 of 36 points to ramp up precision 1540202528.146 * * * * [misc]points: Setting MPFR precision to 64 1540202528.146 * * * * [misc]points: Setting MPFR precision to 320 1540202528.147 * * * * [misc]points: Computing exacts for 36 points 1540202528.148 * * * * [misc]points: Setting MPFR precision to 64 1540202528.148 * * * * [misc]points: Setting MPFR precision to 320 1540202528.149 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202528.149 * * * * [misc]points: Sampling 21 additional inputs, on iter 8 have 235 / 256 1540202528.149 * * * * [misc]points: Computing exacts for 21 points 1540202528.150 * * * * [misc]points: Setting MPFR precision to 64 1540202528.150 * * * * [misc]points: Setting MPFR precision to 320 1540202528.151 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202528.151 * * * * [misc]points: Sampling 14 additional inputs, on iter 9 have 242 / 256 1540202528.151 * * * * [misc]points: Computing exacts for 14 points 1540202528.152 * * * * [misc]points: Setting MPFR precision to 64 1540202528.152 * * * * [misc]points: Setting MPFR precision to 320 1540202528.152 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202528.152 * * * * [misc]points: Sampling 12 additional inputs, on iter 10 have 244 / 256 1540202528.152 * * * * [misc]points: Computing exacts for 12 points 1540202528.153 * * * * [misc]points: Setting MPFR precision to 64 1540202528.154 * * * * [misc]points: Setting MPFR precision to 320 1540202528.154 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202528.154 * * * * [misc]points: Sampling 10 additional inputs, on iter 11 have 246 / 256 1540202528.154 * * * * [misc]points: Computing exacts for 10 points 1540202528.155 * * * * [misc]points: Setting MPFR precision to 64 1540202528.155 * * * * [misc]points: Setting MPFR precision to 320 1540202528.155 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202528.155 * * * * [misc]points: Sampling 8 additional inputs, on iter 12 have 248 / 256 1540202528.155 * * * * [misc]points: Computing exacts for 8 points 1540202528.156 * * * * [misc]points: Setting MPFR precision to 64 1540202528.157 * * * * [misc]points: Setting MPFR precision to 320 1540202528.157 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202528.157 * * * * [misc]points: Sampling 7 additional inputs, on iter 13 have 249 / 256 1540202528.157 * * * * [misc]points: Computing exacts for 7 points 1540202528.158 * * * * [misc]points: Setting MPFR precision to 64 1540202528.158 * * * * [misc]points: Setting MPFR precision to 320 1540202528.158 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202528.158 * * * * [misc]points: Sampling 5 additional inputs, on iter 14 have 251 / 256 1540202528.158 * * * * [misc]points: Computing exacts for 5 points 1540202528.159 * * * * [misc]points: Setting MPFR precision to 64 1540202528.159 * * * * [misc]points: Setting MPFR precision to 320 1540202528.159 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202528.159 * * * * [misc]points: Sampling 5 additional inputs, on iter 15 have 251 / 256 1540202528.159 * * * * [misc]points: Computing exacts for 5 points 1540202528.160 * * * * [misc]points: Setting MPFR precision to 64 1540202528.161 * * * * [misc]points: Setting MPFR precision to 320 1540202528.161 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202528.161 * * * * [misc]points: Sampling 4 additional inputs, on iter 16 have 252 / 256 1540202528.161 * * * * [misc]points: Computing exacts for 4 points 1540202528.162 * * * * [misc]points: Setting MPFR precision to 64 1540202528.162 * * * * [misc]points: Setting MPFR precision to 320 1540202528.162 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202528.162 * * * * [misc]points: Sampling 4 additional inputs, on iter 17 have 252 / 256 1540202528.162 * * * * [misc]points: Computing exacts for 4 points 1540202528.163 * * * * [misc]points: Setting MPFR precision to 64 1540202528.163 * * * * [misc]points: Setting MPFR precision to 320 1540202528.163 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202528.163 * * * * [misc]points: Sampling 4 additional inputs, on iter 18 have 253 / 256 1540202528.163 * * * * [misc]points: Computing exacts for 4 points 1540202528.164 * * * * [misc]points: Setting MPFR precision to 64 1540202528.164 * * * * [misc]points: Setting MPFR precision to 320 1540202528.164 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202528.164 * * * * [exit]points: Sampled 256 points with exact outputs 1540202528.165 * * * [misc]progress: [2/2] Setting up program. 1540202528.168 * [misc]progress: [Phase 2 of 3] Improving. 1540202528.168 * [enter]simplify: Simplifying (- (log (- (/ 1 x) 1))) 1540202528.169 * * [misc]simplify: iters left: 6 (6 enodes) 1540202528.174 * * [misc]simplify: iters left: 5 (11 enodes) 1540202528.175 * * [misc]simplify: iters left: 4 (12 enodes) 1540202528.178 * [exit]simplify: Simplified to (- (log (- (/ 1 x) 1))) 1540202528.185 * * [misc]progress: iteration 1 / 4 1540202528.185 * * * [misc]progress: picking best candidate 1540202528.190 * * * * [misc]pick: Picked # 1540202528.190 * * * [misc]progress: localizing error 1540202528.237 * * * [misc]progress: generating rewritten candidates 1540202528.237 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2 1 1) 1540202528.247 * * * [misc]progress: generating series expansions 1540202528.248 * * * * [misc]progress: [ 1 / 1 ] generating series at (2 1 1) 1540202528.255 * [misc]backup-simplify: Simplify (- (/ 1 x) 1) into (- (/ 1 x) 1) 1540202528.255 * [misc]approximate: Taking taylor expansion of (- (/ 1 x) 1) in (x) around 0 1540202528.257 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1540202528.257 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1540202528.257 * [misc]taylor: Taking taylor expansion of x in x 1540202528.257 * [misc]backup-simplify: Simplify 0 into 0 1540202528.257 * [misc]backup-simplify: Simplify 1 into 1 1540202528.258 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540202528.258 * [misc]taylor: Taking taylor expansion of 1 in x 1540202528.258 * [misc]backup-simplify: Simplify 1 into 1 1540202528.258 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1540202528.258 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1540202528.258 * [misc]taylor: Taking taylor expansion of x in x 1540202528.258 * [misc]backup-simplify: Simplify 0 into 0 1540202528.258 * [misc]backup-simplify: Simplify 1 into 1 1540202528.258 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1540202528.258 * [misc]taylor: Taking taylor expansion of 1 in x 1540202528.258 * [misc]backup-simplify: Simplify 1 into 1 1540202528.259 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540202528.259 * [misc]backup-simplify: Simplify 1 into 1 1540202528.260 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1540202528.260 * [misc]backup-simplify: Simplify (- 1) into -1 1540202528.261 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1540202528.261 * [misc]backup-simplify: Simplify -1 into -1 1540202528.261 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540202528.261 * [misc]backup-simplify: Simplify (- 0) into 0 1540202528.261 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540202528.261 * [misc]backup-simplify: Simplify 0 into 0 1540202528.262 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540202528.262 * [misc]backup-simplify: Simplify (- 0) into 0 1540202528.262 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540202528.262 * [misc]backup-simplify: Simplify 0 into 0 1540202528.263 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540202528.263 * [misc]backup-simplify: Simplify (- 0) into 0 1540202528.263 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540202528.263 * [misc]backup-simplify: Simplify 0 into 0 1540202528.263 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540202528.264 * [misc]backup-simplify: Simplify (- 0) into 0 1540202528.264 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540202528.264 * [misc]backup-simplify: Simplify 0 into 0 1540202528.264 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1540202528.264 * [misc]backup-simplify: Simplify (- 0) into 0 1540202528.265 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540202528.265 * [misc]backup-simplify: Simplify 0 into 0 1540202528.265 * [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 1540202528.265 * [misc]backup-simplify: Simplify (- 0) into 0 1540202528.266 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540202528.266 * [misc]backup-simplify: Simplify 0 into 0 1540202528.266 * [misc]backup-simplify: Simplify (+ -1 (* 1 (/ 1 x))) into (- (/ 1 x) 1) 1540202528.266 * [misc]backup-simplify: Simplify (- (/ 1 (/ 1 x)) 1) into (- x 1) 1540202528.266 * [misc]approximate: Taking taylor expansion of (- x 1) in (x) around 0 1540202528.266 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1540202528.266 * [misc]taylor: Taking taylor expansion of x in x 1540202528.266 * [misc]backup-simplify: Simplify 0 into 0 1540202528.266 * [misc]backup-simplify: Simplify 1 into 1 1540202528.266 * [misc]taylor: Taking taylor expansion of 1 in x 1540202528.266 * [misc]backup-simplify: Simplify 1 into 1 1540202528.266 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1540202528.266 * [misc]taylor: Taking taylor expansion of x in x 1540202528.266 * [misc]backup-simplify: Simplify 0 into 0 1540202528.266 * [misc]backup-simplify: Simplify 1 into 1 1540202528.266 * [misc]taylor: Taking taylor expansion of 1 in x 1540202528.266 * [misc]backup-simplify: Simplify 1 into 1 1540202528.267 * [misc]backup-simplify: Simplify (- 1) into -1 1540202528.267 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1540202528.267 * [misc]backup-simplify: Simplify -1 into -1 1540202528.267 * [misc]backup-simplify: Simplify (- 0) into 0 1540202528.267 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540202528.267 * [misc]backup-simplify: Simplify 1 into 1 1540202528.267 * [misc]backup-simplify: Simplify (- 0) into 0 1540202528.268 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540202528.268 * [misc]backup-simplify: Simplify 0 into 0 1540202528.268 * [misc]backup-simplify: Simplify (- 0) into 0 1540202528.268 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540202528.268 * [misc]backup-simplify: Simplify 0 into 0 1540202528.268 * [misc]backup-simplify: Simplify (- 0) into 0 1540202528.268 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540202528.268 * [misc]backup-simplify: Simplify 0 into 0 1540202528.268 * [misc]backup-simplify: Simplify (- 0) into 0 1540202528.269 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540202528.269 * [misc]backup-simplify: Simplify 0 into 0 1540202528.269 * [misc]backup-simplify: Simplify (- 0) into 0 1540202528.269 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540202528.269 * [misc]backup-simplify: Simplify 0 into 0 1540202528.269 * [misc]backup-simplify: Simplify (- 0) into 0 1540202528.269 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540202528.269 * [misc]backup-simplify: Simplify 0 into 0 1540202528.270 * [misc]backup-simplify: Simplify (+ (* 1 (/ 1 x)) -1) into (- (/ 1 x) 1) 1540202528.271 * [misc]backup-simplify: Simplify (- (/ 1 (/ 1 (- x))) 1) into (- (+ x 1)) 1540202528.271 * [misc]approximate: Taking taylor expansion of (- (+ x 1)) in (x) around 0 1540202528.271 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1540202528.271 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1540202528.271 * [misc]taylor: Taking taylor expansion of x in x 1540202528.271 * [misc]backup-simplify: Simplify 0 into 0 1540202528.271 * [misc]backup-simplify: Simplify 1 into 1 1540202528.271 * [misc]taylor: Taking taylor expansion of 1 in x 1540202528.271 * [misc]backup-simplify: Simplify 1 into 1 1540202528.271 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1540202528.271 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1540202528.271 * [misc]taylor: Taking taylor expansion of x in x 1540202528.271 * [misc]backup-simplify: Simplify 0 into 0 1540202528.271 * [misc]backup-simplify: Simplify 1 into 1 1540202528.271 * [misc]taylor: Taking taylor expansion of 1 in x 1540202528.271 * [misc]backup-simplify: Simplify 1 into 1 1540202528.271 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1540202528.271 * [misc]backup-simplify: Simplify (- 1) into -1 1540202528.271 * [misc]backup-simplify: Simplify -1 into -1 1540202528.272 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1540202528.272 * [misc]backup-simplify: Simplify (- 1) into -1 1540202528.272 * [misc]backup-simplify: Simplify -1 into -1 1540202528.272 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540202528.272 * [misc]backup-simplify: Simplify (- 0) into 0 1540202528.272 * [misc]backup-simplify: Simplify 0 into 0 1540202528.272 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540202528.272 * [misc]backup-simplify: Simplify (- 0) into 0 1540202528.272 * [misc]backup-simplify: Simplify 0 into 0 1540202528.273 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540202528.273 * [misc]backup-simplify: Simplify (- 0) into 0 1540202528.273 * [misc]backup-simplify: Simplify 0 into 0 1540202528.273 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540202528.273 * [misc]backup-simplify: Simplify (- 0) into 0 1540202528.273 * [misc]backup-simplify: Simplify 0 into 0 1540202528.273 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540202528.273 * [misc]backup-simplify: Simplify (- 0) into 0 1540202528.274 * [misc]backup-simplify: Simplify 0 into 0 1540202528.274 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1540202528.274 * [misc]backup-simplify: Simplify (- 0) into 0 1540202528.274 * [misc]backup-simplify: Simplify 0 into 0 1540202528.274 * [misc]backup-simplify: Simplify (+ (* -1 (/ 1 (- x))) -1) into (- (/ 1 x) 1) 1540202528.274 * * * [misc]progress: simplifying candidates 1540202528.274 * * * * [misc]progress: [ 1 / 22 ] simplifiying candidate # 1540202528.274 * * * * [misc]progress: [ 2 / 22 ] simplifiying candidate # 1540202528.275 * * * * [misc]progress: [ 3 / 22 ] simplifiying candidate # 1540202528.275 * [enter]simplify: Simplifying (log (/ 1 x)) 1540202528.275 * * [misc]simplify: iters left: 3 (4 enodes) 1540202528.277 * * [misc]simplify: iters left: 2 (10 enodes) 1540202528.279 * [exit]simplify: Simplified to (- (log x)) 1540202528.279 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (log (expm1 (- (log x)))))) 1540202528.279 * * * * [misc]progress: [ 4 / 22 ] simplifiying candidate # 1540202528.280 * [enter]simplify: Simplifying (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) 1540202528.280 * * [misc]simplify: iters left: 5 (5 enodes) 1540202528.281 * * [misc]simplify: iters left: 4 (7 enodes) 1540202528.283 * [exit]simplify: Simplified to (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) 1540202528.283 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (log (fma (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) (cbrt (/ 1 x)) (- 1))))) 1540202528.283 * * * * [misc]progress: [ 5 / 22 ] simplifiying candidate # 1540202528.284 * [enter]simplify: Simplifying (sqrt (/ 1 x)) 1540202528.284 * * [misc]simplify: iters left: 3 (4 enodes) 1540202528.285 * * [misc]simplify: iters left: 2 (6 enodes) 1540202528.286 * [exit]simplify: Simplified to (sqrt (/ 1 x)) 1540202528.286 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (log (fma (sqrt (/ 1 x)) (sqrt (/ 1 x)) (- 1))))) 1540202528.286 * * * * [misc]progress: [ 6 / 22 ] simplifiying candidate # 1540202528.287 * * * * [misc]progress: [ 7 / 22 ] simplifiying candidate # 1540202528.287 * * * * [misc]progress: [ 8 / 22 ] simplifiying candidate # 1540202528.287 * * * * [misc]progress: [ 9 / 22 ] simplifiying candidate # 1540202528.287 * * * * [misc]progress: [ 10 / 22 ] simplifiying candidate # 1540202528.287 * * * * [misc]progress: [ 11 / 22 ] simplifiying candidate # 1540202528.287 * * * * [misc]progress: [ 12 / 22 ] simplifiying candidate # 1540202528.287 * * * * [misc]progress: [ 13 / 22 ] simplifiying candidate # 1540202528.287 * * * * [misc]progress: [ 14 / 22 ] simplifiying candidate # 1540202528.287 * * * * [misc]progress: [ 15 / 22 ] simplifiying candidate # 1540202528.287 * * * * [misc]progress: [ 16 / 22 ] simplifiying candidate # 1540202528.287 * * * * [misc]progress: [ 17 / 22 ] simplifiying candidate # 1540202528.287 * * * * [misc]progress: [ 18 / 22 ] simplifiying candidate # 1540202528.287 * [enter]simplify: Simplifying (+ (sqrt (/ 1 x)) 1) 1540202528.288 * * [misc]simplify: iters left: 5 (5 enodes) 1540202528.289 * * [misc]simplify: iters left: 4 (8 enodes) 1540202528.291 * [exit]simplify: Simplified to (+ (sqrt (/ 1 x)) 1) 1540202528.291 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1))))) 1540202528.291 * * * * [misc]progress: [ 19 / 22 ] simplifiying candidate # 1540202528.291 * * * * [misc]progress: [ 20 / 22 ] simplifiying candidate # 1540202528.291 * [enter]simplify: Simplifying (- (/ 1 x) 1) 1540202528.292 * * [misc]simplify: iters left: 4 (4 enodes) 1540202528.294 * * [misc]simplify: iters left: 3 (9 enodes) 1540202528.295 * * [misc]simplify: iters left: 2 (10 enodes) 1540202528.296 * [exit]simplify: Simplified to (- (/ 1 x) 1) 1540202528.296 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (log (- (/ 1 x) 1)))) 1540202528.297 * * * * [misc]progress: [ 21 / 22 ] simplifiying candidate # 1540202528.297 * [enter]simplify: Simplifying (- (/ 1 x) 1) 1540202528.297 * * [misc]simplify: iters left: 4 (4 enodes) 1540202528.298 * * [misc]simplify: iters left: 3 (9 enodes) 1540202528.299 * * [misc]simplify: iters left: 2 (10 enodes) 1540202528.300 * [exit]simplify: Simplified to (- (/ 1 x) 1) 1540202528.300 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (log (- (/ 1 x) 1)))) 1540202528.300 * * * * [misc]progress: [ 22 / 22 ] simplifiying candidate # 1540202528.300 * [enter]simplify: Simplifying (- (/ 1 x) 1) 1540202528.300 * * [misc]simplify: iters left: 4 (4 enodes) 1540202528.301 * * [misc]simplify: iters left: 3 (9 enodes) 1540202528.302 * * [misc]simplify: iters left: 2 (10 enodes) 1540202528.303 * [exit]simplify: Simplified to (- (/ 1 x) 1) 1540202528.303 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (log (- (/ 1 x) 1)))) 1540202528.303 * * * [misc]progress: adding candidates to table 1540202528.506 * [misc]progress: [Phase 3 of 3] Extracting. 1540202528.510 * [enter]simplify: Simplifying (- (log (- (/ 1 x) 1))) 1540202528.510 * * [misc]simplify: iters left: 6 (6 enodes) 1540202528.511 * * [misc]simplify: iters left: 5 (8 enodes) 1540202528.511 * [exit]simplify: Simplified to (- (log (- (/ 1 x) 1))) 1540202528.512 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1540202528.553 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1540202528.555 * * * * [misc]points: Setting MPFR precision to 64 1540202528.556 * * * * [misc]points: Setting MPFR precision to 320 1540202528.556 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1540202528.558 * * * * [misc]points: Setting MPFR precision to 64 1540202528.559 * * * * [misc]points: Setting MPFR precision to 320 1540202528.561 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1540202528.562 * * * * [misc]points: Setting MPFR precision to 64 1540202528.565 * * * * [misc]points: Setting MPFR precision to 320 1540202528.567 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1540202528.569 * * * * [misc]points: Setting MPFR precision to 64 1540202528.573 * * * * [misc]points: Setting MPFR precision to 320 1540202528.576 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1540202528.579 * * * * [misc]points: Setting MPFR precision to 64 1540202528.586 * * * * [misc]points: Setting MPFR precision to 320 1540202528.594 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1540202528.596 * * * * [misc]points: Setting MPFR precision to 64 1540202528.611 * * * * [misc]points: Setting MPFR precision to 320 1540202528.628 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1540202528.630 * * * * [misc]points: Setting MPFR precision to 64 1540202528.651 * * * * [misc]points: Setting MPFR precision to 320 1540202528.667 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1540202528.668 * * * * [misc]points: Setting MPFR precision to 64 1540202528.740 * * * * [misc]points: Setting MPFR precision to 320 1540202528.771 * * * * [misc]points: Computing exacts for 8000 points 1540202528.772 * * * * [misc]points: Setting MPFR precision to 64 1540202529.067 * * * * [misc]points: Setting MPFR precision to 320 1540202529.283 * * * * [misc]points: Setting MPFR precision to 576 1540202529.807 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202529.809 * * * * [misc]points: Sampling 6032 additional inputs, on iter 1 have 1968 / 8000 1540202529.825 * * * * [misc]points: Computing exacts on every 377 of 6032 points to ramp up precision 1540202529.826 * * * * [misc]points: Setting MPFR precision to 320 1540202529.827 * * * * [misc]points: Setting MPFR precision to 576 1540202529.827 * * * * [misc]points: Computing exacts on every 188 of 6032 points to ramp up precision 1540202529.828 * * * * [misc]points: Setting MPFR precision to 320 1540202529.829 * * * * [misc]points: Setting MPFR precision to 576 1540202529.829 * * * * [misc]points: Computing exacts on every 94 of 6032 points to ramp up precision 1540202529.831 * * * * [misc]points: Setting MPFR precision to 320 1540202529.832 * * * * [misc]points: Setting MPFR precision to 576 1540202529.833 * * * * [misc]points: Computing exacts on every 47 of 6032 points to ramp up precision 1540202529.834 * * * * [misc]points: Setting MPFR precision to 320 1540202529.836 * * * * [misc]points: Setting MPFR precision to 576 1540202529.838 * * * * [misc]points: Computing exacts on every 23 of 6032 points to ramp up precision 1540202529.840 * * * * [misc]points: Setting MPFR precision to 320 1540202529.845 * * * * [misc]points: Setting MPFR precision to 576 1540202529.859 * * * * [misc]points: Computing exacts on every 11 of 6032 points to ramp up precision 1540202529.861 * * * * [misc]points: Setting MPFR precision to 320 1540202529.871 * * * * [misc]points: Setting MPFR precision to 576 1540202529.898 * * * * [misc]points: Computing exacts on every 5 of 6032 points to ramp up precision 1540202529.900 * * * * [misc]points: Setting MPFR precision to 320 1540202529.919 * * * * [misc]points: Setting MPFR precision to 576 1540202529.954 * * * * [misc]points: Computing exacts on every 2 of 6032 points to ramp up precision 1540202529.956 * * * * [misc]points: Setting MPFR precision to 320 1540202529.995 * * * * [misc]points: Setting MPFR precision to 576 1540202530.104 * * * * [misc]points: Computing exacts for 6032 points 1540202530.107 * * * * [misc]points: Setting MPFR precision to 320 1540202530.311 * * * * [misc]points: Setting MPFR precision to 576 1540202530.510 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202530.511 * * * * [misc]points: Sampling 4482 additional inputs, on iter 2 have 3518 / 8000 1540202530.522 * * * * [misc]points: Computing exacts on every 280 of 4482 points to ramp up precision 1540202530.524 * * * * [misc]points: Setting MPFR precision to 320 1540202530.524 * * * * [misc]points: Setting MPFR precision to 576 1540202530.525 * * * * [misc]points: Computing exacts on every 140 of 4482 points to ramp up precision 1540202530.526 * * * * [misc]points: Setting MPFR precision to 320 1540202530.526 * * * * [misc]points: Setting MPFR precision to 576 1540202530.527 * * * * [misc]points: Computing exacts on every 70 of 4482 points to ramp up precision 1540202530.528 * * * * [misc]points: Setting MPFR precision to 320 1540202530.529 * * * * [misc]points: Setting MPFR precision to 576 1540202530.531 * * * * [misc]points: Computing exacts on every 35 of 4482 points to ramp up precision 1540202530.532 * * * * [misc]points: Setting MPFR precision to 320 1540202530.536 * * * * [misc]points: Setting MPFR precision to 576 1540202530.541 * * * * [misc]points: Computing exacts on every 17 of 4482 points to ramp up precision 1540202530.543 * * * * [misc]points: Setting MPFR precision to 320 1540202530.551 * * * * [misc]points: Setting MPFR precision to 576 1540202530.560 * * * * [misc]points: Computing exacts on every 8 of 4482 points to ramp up precision 1540202530.563 * * * * [misc]points: Setting MPFR precision to 320 1540202530.599 * * * * [misc]points: Setting MPFR precision to 576 1540202530.608 * * * * [misc]points: Computing exacts on every 4 of 4482 points to ramp up precision 1540202530.610 * * * * [misc]points: Setting MPFR precision to 320 1540202530.625 * * * * [misc]points: Setting MPFR precision to 576 1540202530.640 * * * * [misc]points: Computing exacts on every 2 of 4482 points to ramp up precision 1540202530.642 * * * * [misc]points: Setting MPFR precision to 320 1540202530.665 * * * * [misc]points: Setting MPFR precision to 576 1540202530.756 * * * * [misc]points: Computing exacts for 4482 points 1540202530.759 * * * * [misc]points: Setting MPFR precision to 320 1540202530.847 * * * * [misc]points: Setting MPFR precision to 576 1540202531.042 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202531.042 * * * * [misc]points: Sampling 3334 additional inputs, on iter 3 have 4666 / 8000 1540202531.050 * * * * [misc]points: Computing exacts on every 208 of 3334 points to ramp up precision 1540202531.052 * * * * [misc]points: Setting MPFR precision to 320 1540202531.053 * * * * [misc]points: Setting MPFR precision to 576 1540202531.053 * * * * [misc]points: Computing exacts on every 104 of 3334 points to ramp up precision 1540202531.054 * * * * [misc]points: Setting MPFR precision to 320 1540202531.055 * * * * [misc]points: Setting MPFR precision to 576 1540202531.094 * * * * [misc]points: Computing exacts on every 52 of 3334 points to ramp up precision 1540202531.097 * * * * [misc]points: Setting MPFR precision to 320 1540202531.099 * * * * [misc]points: Setting MPFR precision to 576 1540202531.101 * * * * [misc]points: Computing exacts on every 26 of 3334 points to ramp up precision 1540202531.107 * * * * [misc]points: Setting MPFR precision to 320 1540202531.111 * * * * [misc]points: Setting MPFR precision to 576 1540202531.116 * * * * [misc]points: Computing exacts on every 13 of 3334 points to ramp up precision 1540202531.118 * * * * [misc]points: Setting MPFR precision to 320 1540202531.126 * * * * [misc]points: Setting MPFR precision to 576 1540202531.134 * * * * [misc]points: Computing exacts on every 6 of 3334 points to ramp up precision 1540202531.136 * * * * [misc]points: Setting MPFR precision to 320 1540202531.152 * * * * [misc]points: Setting MPFR precision to 576 1540202531.169 * * * * [misc]points: Computing exacts on every 3 of 3334 points to ramp up precision 1540202531.171 * * * * [misc]points: Setting MPFR precision to 320 1540202531.199 * * * * [misc]points: Setting MPFR precision to 576 1540202531.214 * * * * [misc]points: Computing exacts for 3334 points 1540202531.215 * * * * [misc]points: Setting MPFR precision to 320 1540202531.348 * * * * [misc]points: Setting MPFR precision to 576 1540202531.408 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202531.409 * * * * [misc]points: Sampling 2491 additional inputs, on iter 4 have 5509 / 8000 1540202531.454 * * * * [misc]points: Computing exacts on every 155 of 2491 points to ramp up precision 1540202531.462 * * * * [misc]points: Setting MPFR precision to 320 1540202531.463 * * * * [misc]points: Setting MPFR precision to 576 1540202531.463 * * * * [misc]points: Computing exacts on every 77 of 2491 points to ramp up precision 1540202531.464 * * * * [misc]points: Setting MPFR precision to 320 1540202531.465 * * * * [misc]points: Setting MPFR precision to 576 1540202531.466 * * * * [misc]points: Computing exacts on every 38 of 2491 points to ramp up precision 1540202531.467 * * * * [misc]points: Setting MPFR precision to 320 1540202531.468 * * * * [misc]points: Setting MPFR precision to 576 1540202531.469 * * * * [misc]points: Computing exacts on every 19 of 2491 points to ramp up precision 1540202531.470 * * * * [misc]points: Setting MPFR precision to 320 1540202531.473 * * * * [misc]points: Setting MPFR precision to 576 1540202531.475 * * * * [misc]points: Computing exacts on every 9 of 2491 points to ramp up precision 1540202531.476 * * * * [misc]points: Setting MPFR precision to 320 1540202531.480 * * * * [misc]points: Setting MPFR precision to 576 1540202531.484 * * * * [misc]points: Computing exacts on every 4 of 2491 points to ramp up precision 1540202531.486 * * * * [misc]points: Setting MPFR precision to 320 1540202531.494 * * * * [misc]points: Setting MPFR precision to 576 1540202531.502 * * * * [misc]points: Computing exacts on every 2 of 2491 points to ramp up precision 1540202531.504 * * * * [misc]points: Setting MPFR precision to 320 1540202531.531 * * * * [misc]points: Setting MPFR precision to 576 1540202531.560 * * * * [misc]points: Computing exacts for 2491 points 1540202531.562 * * * * [misc]points: Setting MPFR precision to 320 1540202531.640 * * * * [misc]points: Setting MPFR precision to 576 1540202531.687 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202531.688 * * * * [misc]points: Sampling 1855 additional inputs, on iter 5 have 6145 / 8000 1540202531.697 * * * * [misc]points: Computing exacts on every 115 of 1855 points to ramp up precision 1540202531.699 * * * * [misc]points: Setting MPFR precision to 320 1540202531.700 * * * * [misc]points: Setting MPFR precision to 576 1540202531.958 * * * * [misc]points: Computing exacts on every 57 of 1855 points to ramp up precision 1540202531.961 * * * * [misc]points: Setting MPFR precision to 320 1540202531.962 * * * * [misc]points: Setting MPFR precision to 576 1540202531.963 * * * * [misc]points: Computing exacts on every 28 of 1855 points to ramp up precision 1540202531.965 * * * * [misc]points: Setting MPFR precision to 320 1540202531.967 * * * * [misc]points: Setting MPFR precision to 576 1540202531.974 * * * * [misc]points: Computing exacts on every 14 of 1855 points to ramp up precision 1540202531.976 * * * * [misc]points: Setting MPFR precision to 320 1540202531.978 * * * * [misc]points: Setting MPFR precision to 576 1540202531.980 * * * * [misc]points: Computing exacts on every 7 of 1855 points to ramp up precision 1540202531.982 * * * * [misc]points: Setting MPFR precision to 320 1540202531.985 * * * * [misc]points: Setting MPFR precision to 576 1540202531.989 * * * * [misc]points: Computing exacts on every 3 of 1855 points to ramp up precision 1540202531.991 * * * * [misc]points: Setting MPFR precision to 320 1540202531.998 * * * * [misc]points: Setting MPFR precision to 576 1540202532.008 * * * * [misc]points: Computing exacts for 1855 points 1540202532.011 * * * * [misc]points: Setting MPFR precision to 320 1540202532.062 * * * * [misc]points: Setting MPFR precision to 576 1540202532.127 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202532.127 * * * * [misc]points: Sampling 1407 additional inputs, on iter 6 have 6593 / 8000 1540202532.131 * * * * [misc]points: Computing exacts on every 87 of 1407 points to ramp up precision 1540202532.132 * * * * [misc]points: Setting MPFR precision to 320 1540202532.133 * * * * [misc]points: Setting MPFR precision to 576 1540202532.133 * * * * [misc]points: Computing exacts on every 43 of 1407 points to ramp up precision 1540202532.134 * * * * [misc]points: Setting MPFR precision to 320 1540202532.135 * * * * [misc]points: Setting MPFR precision to 576 1540202532.136 * * * * [misc]points: Computing exacts on every 21 of 1407 points to ramp up precision 1540202532.137 * * * * [misc]points: Setting MPFR precision to 320 1540202532.138 * * * * [misc]points: Setting MPFR precision to 576 1540202532.139 * * * * [misc]points: Computing exacts on every 10 of 1407 points to ramp up precision 1540202532.140 * * * * [misc]points: Setting MPFR precision to 320 1540202532.142 * * * * [misc]points: Setting MPFR precision to 576 1540202532.145 * * * * [misc]points: Computing exacts on every 5 of 1407 points to ramp up precision 1540202532.146 * * * * [misc]points: Setting MPFR precision to 320 1540202532.150 * * * * [misc]points: Setting MPFR precision to 576 1540202532.154 * * * * [misc]points: Computing exacts on every 2 of 1407 points to ramp up precision 1540202532.155 * * * * [misc]points: Setting MPFR precision to 320 1540202532.162 * * * * [misc]points: Setting MPFR precision to 576 1540202532.170 * * * * [misc]points: Computing exacts for 1407 points 1540202532.172 * * * * [misc]points: Setting MPFR precision to 320 1540202532.197 * * * * [misc]points: Setting MPFR precision to 576 1540202532.274 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202532.275 * * * * [misc]points: Sampling 1058 additional inputs, on iter 7 have 6942 / 8000 1540202532.277 * * * * [misc]points: Computing exacts on every 66 of 1058 points to ramp up precision 1540202532.279 * * * * [misc]points: Setting MPFR precision to 320 1540202532.279 * * * * [misc]points: Setting MPFR precision to 576 1540202532.280 * * * * [misc]points: Computing exacts on every 33 of 1058 points to ramp up precision 1540202532.281 * * * * [misc]points: Setting MPFR precision to 320 1540202532.281 * * * * [misc]points: Setting MPFR precision to 576 1540202532.282 * * * * [misc]points: Computing exacts on every 16 of 1058 points to ramp up precision 1540202532.283 * * * * [misc]points: Setting MPFR precision to 320 1540202532.284 * * * * [misc]points: Setting MPFR precision to 576 1540202532.286 * * * * [misc]points: Computing exacts on every 8 of 1058 points to ramp up precision 1540202532.287 * * * * [misc]points: Setting MPFR precision to 320 1540202532.289 * * * * [misc]points: Setting MPFR precision to 576 1540202532.291 * * * * [misc]points: Computing exacts on every 4 of 1058 points to ramp up precision 1540202532.293 * * * * [misc]points: Setting MPFR precision to 320 1540202532.300 * * * * [misc]points: Setting MPFR precision to 576 1540202532.308 * * * * [misc]points: Computing exacts on every 2 of 1058 points to ramp up precision 1540202532.310 * * * * [misc]points: Setting MPFR precision to 320 1540202532.322 * * * * [misc]points: Setting MPFR precision to 576 1540202532.334 * * * * [misc]points: Computing exacts for 1058 points 1540202532.336 * * * * [misc]points: Setting MPFR precision to 320 1540202532.371 * * * * [misc]points: Setting MPFR precision to 576 1540202532.418 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202532.419 * * * * [misc]points: Sampling 775 additional inputs, on iter 8 have 7225 / 8000 1540202532.423 * * * * [misc]points: Computing exacts on every 48 of 775 points to ramp up precision 1540202532.424 * * * * [misc]points: Setting MPFR precision to 320 1540202532.424 * * * * [misc]points: Setting MPFR precision to 576 1540202532.425 * * * * [misc]points: Computing exacts on every 24 of 775 points to ramp up precision 1540202532.426 * * * * [misc]points: Setting MPFR precision to 320 1540202532.426 * * * * [misc]points: Setting MPFR precision to 576 1540202532.427 * * * * [misc]points: Computing exacts on every 12 of 775 points to ramp up precision 1540202532.428 * * * * [misc]points: Setting MPFR precision to 320 1540202532.429 * * * * [misc]points: Setting MPFR precision to 576 1540202532.430 * * * * [misc]points: Computing exacts on every 6 of 775 points to ramp up precision 1540202532.432 * * * * [misc]points: Setting MPFR precision to 320 1540202532.433 * * * * [misc]points: Setting MPFR precision to 576 1540202532.435 * * * * [misc]points: Computing exacts on every 3 of 775 points to ramp up precision 1540202532.436 * * * * [misc]points: Setting MPFR precision to 320 1540202532.440 * * * * [misc]points: Setting MPFR precision to 576 1540202532.446 * * * * [misc]points: Computing exacts for 775 points 1540202532.449 * * * * [misc]points: Setting MPFR precision to 320 1540202532.473 * * * * [misc]points: Setting MPFR precision to 576 1540202532.500 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202532.501 * * * * [misc]points: Sampling 585 additional inputs, on iter 9 have 7415 / 8000 1540202532.503 * * * * [misc]points: Computing exacts on every 36 of 585 points to ramp up precision 1540202532.505 * * * * [misc]points: Setting MPFR precision to 320 1540202532.505 * * * * [misc]points: Setting MPFR precision to 576 1540202532.505 * * * * [misc]points: Computing exacts on every 18 of 585 points to ramp up precision 1540202532.507 * * * * [misc]points: Setting MPFR precision to 320 1540202532.507 * * * * [misc]points: Setting MPFR precision to 576 1540202532.508 * * * * [misc]points: Computing exacts on every 9 of 585 points to ramp up precision 1540202532.509 * * * * [misc]points: Setting MPFR precision to 320 1540202532.510 * * * * [misc]points: Setting MPFR precision to 576 1540202532.511 * * * * [misc]points: Computing exacts on every 4 of 585 points to ramp up precision 1540202532.512 * * * * [misc]points: Setting MPFR precision to 320 1540202532.514 * * * * [misc]points: Setting MPFR precision to 576 1540202532.516 * * * * [misc]points: Computing exacts on every 2 of 585 points to ramp up precision 1540202532.517 * * * * [misc]points: Setting MPFR precision to 320 1540202532.520 * * * * [misc]points: Setting MPFR precision to 576 1540202532.546 * * * * [misc]points: Computing exacts for 585 points 1540202532.548 * * * * [misc]points: Setting MPFR precision to 320 1540202532.570 * * * * [misc]points: Setting MPFR precision to 576 1540202532.584 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202532.585 * * * * [misc]points: Sampling 451 additional inputs, on iter 10 have 7549 / 8000 1540202532.586 * * * * [misc]points: Computing exacts on every 28 of 451 points to ramp up precision 1540202532.587 * * * * [misc]points: Setting MPFR precision to 320 1540202532.587 * * * * [misc]points: Setting MPFR precision to 576 1540202532.588 * * * * [misc]points: Computing exacts on every 14 of 451 points to ramp up precision 1540202532.589 * * * * [misc]points: Setting MPFR precision to 320 1540202532.589 * * * * [misc]points: Setting MPFR precision to 576 1540202532.590 * * * * [misc]points: Computing exacts on every 7 of 451 points to ramp up precision 1540202532.591 * * * * [misc]points: Setting MPFR precision to 320 1540202532.592 * * * * [misc]points: Setting MPFR precision to 576 1540202532.593 * * * * [misc]points: Computing exacts on every 3 of 451 points to ramp up precision 1540202532.594 * * * * [misc]points: Setting MPFR precision to 320 1540202532.596 * * * * [misc]points: Setting MPFR precision to 576 1540202532.598 * * * * [misc]points: Computing exacts for 451 points 1540202532.599 * * * * [misc]points: Setting MPFR precision to 320 1540202532.606 * * * * [misc]points: Setting MPFR precision to 576 1540202532.617 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202532.617 * * * * [misc]points: Sampling 340 additional inputs, on iter 11 have 7660 / 8000 1540202532.619 * * * * [misc]points: Computing exacts on every 21 of 340 points to ramp up precision 1540202532.621 * * * * [misc]points: Setting MPFR precision to 320 1540202532.621 * * * * [misc]points: Setting MPFR precision to 576 1540202532.622 * * * * [misc]points: Computing exacts on every 10 of 340 points to ramp up precision 1540202532.624 * * * * [misc]points: Setting MPFR precision to 320 1540202532.625 * * * * [misc]points: Setting MPFR precision to 576 1540202532.626 * * * * [misc]points: Computing exacts on every 5 of 340 points to ramp up precision 1540202532.628 * * * * [misc]points: Setting MPFR precision to 320 1540202532.630 * * * * [misc]points: Setting MPFR precision to 576 1540202532.632 * * * * [misc]points: Computing exacts on every 2 of 340 points to ramp up precision 1540202532.634 * * * * [misc]points: Setting MPFR precision to 320 1540202532.638 * * * * [misc]points: Setting MPFR precision to 576 1540202532.641 * * * * [misc]points: Computing exacts for 340 points 1540202532.644 * * * * [misc]points: Setting MPFR precision to 320 1540202532.655 * * * * [misc]points: Setting MPFR precision to 576 1540202532.666 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202532.667 * * * * [misc]points: Sampling 252 additional inputs, on iter 12 have 7748 / 8000 1540202532.668 * * * * [misc]points: Computing exacts on every 15 of 252 points to ramp up precision 1540202532.670 * * * * [misc]points: Setting MPFR precision to 320 1540202532.671 * * * * [misc]points: Setting MPFR precision to 576 1540202532.671 * * * * [misc]points: Computing exacts on every 7 of 252 points to ramp up precision 1540202532.709 * * * * [misc]points: Setting MPFR precision to 320 1540202532.710 * * * * [misc]points: Setting MPFR precision to 576 1540202532.711 * * * * [misc]points: Computing exacts on every 3 of 252 points to ramp up precision 1540202532.714 * * * * [misc]points: Setting MPFR precision to 320 1540202532.716 * * * * [misc]points: Setting MPFR precision to 576 1540202532.718 * * * * [misc]points: Computing exacts for 252 points 1540202532.720 * * * * [misc]points: Setting MPFR precision to 320 1540202532.731 * * * * [misc]points: Setting MPFR precision to 576 1540202532.740 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202532.740 * * * * [misc]points: Sampling 193 additional inputs, on iter 13 have 7807 / 8000 1540202532.741 * * * * [misc]points: Computing exacts on every 12 of 193 points to ramp up precision 1540202532.744 * * * * [misc]points: Setting MPFR precision to 320 1540202532.744 * * * * [misc]points: Setting MPFR precision to 576 1540202532.745 * * * * [misc]points: Computing exacts on every 6 of 193 points to ramp up precision 1540202532.747 * * * * [misc]points: Setting MPFR precision to 320 1540202532.748 * * * * [misc]points: Setting MPFR precision to 576 1540202532.749 * * * * [misc]points: Computing exacts on every 3 of 193 points to ramp up precision 1540202532.751 * * * * [misc]points: Setting MPFR precision to 320 1540202532.753 * * * * [misc]points: Setting MPFR precision to 576 1540202532.754 * * * * [misc]points: Computing exacts for 193 points 1540202532.757 * * * * [misc]points: Setting MPFR precision to 320 1540202532.763 * * * * [misc]points: Setting MPFR precision to 576 1540202532.770 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202532.770 * * * * [misc]points: Sampling 155 additional inputs, on iter 14 have 7845 / 8000 1540202532.771 * * * * [misc]points: Computing exacts on every 9 of 155 points to ramp up precision 1540202532.773 * * * * [misc]points: Setting MPFR precision to 320 1540202532.774 * * * * [misc]points: Setting MPFR precision to 576 1540202532.774 * * * * [misc]points: Computing exacts on every 4 of 155 points to ramp up precision 1540202532.776 * * * * [misc]points: Setting MPFR precision to 320 1540202532.778 * * * * [misc]points: Setting MPFR precision to 576 1540202532.779 * * * * [misc]points: Computing exacts on every 2 of 155 points to ramp up precision 1540202532.781 * * * * [misc]points: Setting MPFR precision to 320 1540202532.783 * * * * [misc]points: Setting MPFR precision to 576 1540202532.784 * * * * [misc]points: Computing exacts for 155 points 1540202532.787 * * * * [misc]points: Setting MPFR precision to 320 1540202532.789 * * * * [misc]points: Setting MPFR precision to 576 1540202532.792 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202532.792 * * * * [misc]points: Sampling 118 additional inputs, on iter 15 have 7882 / 8000 1540202532.792 * * * * [misc]points: Computing exacts on every 7 of 118 points to ramp up precision 1540202532.794 * * * * [misc]points: Setting MPFR precision to 320 1540202532.794 * * * * [misc]points: Setting MPFR precision to 576 1540202532.794 * * * * [misc]points: Computing exacts on every 3 of 118 points to ramp up precision 1540202532.795 * * * * [misc]points: Setting MPFR precision to 320 1540202532.796 * * * * [misc]points: Setting MPFR precision to 576 1540202532.796 * * * * [misc]points: Computing exacts for 118 points 1540202532.798 * * * * [misc]points: Setting MPFR precision to 320 1540202532.799 * * * * [misc]points: Setting MPFR precision to 576 1540202532.801 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202532.802 * * * * [misc]points: Sampling 95 additional inputs, on iter 16 have 7905 / 8000 1540202532.802 * * * * [misc]points: Computing exacts on every 5 of 95 points to ramp up precision 1540202532.803 * * * * [misc]points: Setting MPFR precision to 320 1540202532.803 * * * * [misc]points: Setting MPFR precision to 576 1540202532.804 * * * * [misc]points: Computing exacts on every 2 of 95 points to ramp up precision 1540202532.805 * * * * [misc]points: Setting MPFR precision to 320 1540202532.805 * * * * [misc]points: Setting MPFR precision to 576 1540202532.806 * * * * [misc]points: Computing exacts for 95 points 1540202532.807 * * * * [misc]points: Setting MPFR precision to 320 1540202532.809 * * * * [misc]points: Setting MPFR precision to 576 1540202532.810 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202532.810 * * * * [misc]points: Sampling 79 additional inputs, on iter 17 have 7921 / 8000 1540202532.810 * * * * [misc]points: Computing exacts on every 4 of 79 points to ramp up precision 1540202532.812 * * * * [misc]points: Setting MPFR precision to 320 1540202532.812 * * * * [misc]points: Setting MPFR precision to 576 1540202532.812 * * * * [misc]points: Computing exacts on every 2 of 79 points to ramp up precision 1540202532.813 * * * * [misc]points: Setting MPFR precision to 320 1540202532.814 * * * * [misc]points: Setting MPFR precision to 576 1540202532.814 * * * * [misc]points: Computing exacts for 79 points 1540202532.815 * * * * [misc]points: Setting MPFR precision to 320 1540202532.817 * * * * [misc]points: Setting MPFR precision to 576 1540202532.818 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202532.818 * * * * [misc]points: Sampling 60 additional inputs, on iter 18 have 7940 / 8000 1540202532.818 * * * * [misc]points: Computing exacts on every 3 of 60 points to ramp up precision 1540202532.820 * * * * [misc]points: Setting MPFR precision to 320 1540202532.820 * * * * [misc]points: Setting MPFR precision to 576 1540202532.820 * * * * [misc]points: Computing exacts for 60 points 1540202532.846 * * * * [misc]points: Setting MPFR precision to 320 1540202532.848 * * * * [misc]points: Setting MPFR precision to 576 1540202532.850 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202532.850 * * * * [misc]points: Sampling 43 additional inputs, on iter 19 have 7957 / 8000 1540202532.850 * * * * [misc]points: Computing exacts on every 2 of 43 points to ramp up precision 1540202532.853 * * * * [misc]points: Setting MPFR precision to 320 1540202532.853 * * * * [misc]points: Setting MPFR precision to 576 1540202532.854 * * * * [misc]points: Computing exacts for 43 points 1540202532.859 * * * * [misc]points: Setting MPFR precision to 320 1540202532.860 * * * * [misc]points: Setting MPFR precision to 576 1540202532.862 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202532.862 * * * * [misc]points: Sampling 33 additional inputs, on iter 20 have 7967 / 8000 1540202532.862 * * * * [misc]points: Computing exacts on every 2 of 33 points to ramp up precision 1540202532.865 * * * * [misc]points: Setting MPFR precision to 320 1540202532.865 * * * * [misc]points: Setting MPFR precision to 576 1540202532.865 * * * * [misc]points: Computing exacts for 33 points 1540202532.868 * * * * [misc]points: Setting MPFR precision to 320 1540202532.869 * * * * [misc]points: Setting MPFR precision to 576 1540202532.870 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202532.870 * * * * [misc]points: Sampling 25 additional inputs, on iter 21 have 7975 / 8000 1540202532.870 * * * * [misc]points: Computing exacts for 25 points 1540202532.873 * * * * [misc]points: Setting MPFR precision to 320 1540202532.873 * * * * [misc]points: Setting MPFR precision to 576 1540202532.874 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202532.874 * * * * [misc]points: Sampling 18 additional inputs, on iter 22 have 7982 / 8000 1540202532.875 * * * * [misc]points: Computing exacts for 18 points 1540202532.877 * * * * [misc]points: Setting MPFR precision to 320 1540202532.878 * * * * [misc]points: Setting MPFR precision to 576 1540202532.878 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202532.878 * * * * [misc]points: Sampling 12 additional inputs, on iter 23 have 7988 / 8000 1540202532.879 * * * * [misc]points: Computing exacts for 12 points 1540202532.880 * * * * [misc]points: Setting MPFR precision to 320 1540202532.880 * * * * [misc]points: Setting MPFR precision to 576 1540202532.881 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202532.881 * * * * [misc]points: Sampling 10 additional inputs, on iter 24 have 7990 / 8000 1540202532.881 * * * * [misc]points: Computing exacts for 10 points 1540202532.882 * * * * [misc]points: Setting MPFR precision to 320 1540202532.882 * * * * [misc]points: Setting MPFR precision to 576 1540202532.882 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202532.882 * * * * [misc]points: Sampling 7 additional inputs, on iter 25 have 7993 / 8000 1540202532.883 * * * * [misc]points: Computing exacts for 7 points 1540202532.884 * * * * [misc]points: Setting MPFR precision to 320 1540202532.884 * * * * [misc]points: Setting MPFR precision to 576 1540202532.884 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202532.884 * * * * [misc]points: Sampling 6 additional inputs, on iter 26 have 7994 / 8000 1540202532.884 * * * * [misc]points: Computing exacts for 6 points 1540202532.885 * * * * [misc]points: Setting MPFR precision to 320 1540202532.885 * * * * [misc]points: Setting MPFR precision to 576 1540202532.885 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202532.886 * * * * [misc]points: Sampling 4 additional inputs, on iter 27 have 7996 / 8000 1540202532.886 * * * * [misc]points: Computing exacts for 4 points 1540202532.887 * * * * [misc]points: Setting MPFR precision to 320 1540202532.887 * * * * [misc]points: Setting MPFR precision to 576 1540202532.887 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202532.887 * * * * [misc]points: Sampling 4 additional inputs, on iter 28 have 7996 / 8000 1540202532.887 * * * * [misc]points: Computing exacts for 4 points 1540202532.888 * * * * [misc]points: Setting MPFR precision to 320 1540202532.888 * * * * [misc]points: Setting MPFR precision to 576 1540202532.888 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202532.888 * * * * [misc]points: Sampling 4 additional inputs, on iter 29 have 7997 / 8000 1540202532.888 * * * * [misc]points: Computing exacts for 4 points 1540202532.890 * * * * [misc]points: Setting MPFR precision to 320 1540202532.890 * * * * [misc]points: Setting MPFR precision to 576 1540202532.890 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202532.890 * * * * [misc]points: Sampling 4 additional inputs, on iter 30 have 7998 / 8000 1540202532.890 * * * * [misc]points: Computing exacts for 4 points 1540202532.891 * * * * [misc]points: Setting MPFR precision to 320 1540202532.891 * * * * [misc]points: Setting MPFR precision to 576 1540202532.891 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202532.891 * * * * [misc]points: Sampling 4 additional inputs, on iter 31 have 7998 / 8000 1540202532.891 * * * * [misc]points: Computing exacts for 4 points 1540202532.892 * * * * [misc]points: Setting MPFR precision to 320 1540202532.893 * * * * [misc]points: Setting MPFR precision to 576 1540202532.893 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202532.893 * * * * [misc]points: Sampling 4 additional inputs, on iter 32 have 7998 / 8000 1540202532.893 * * * * [misc]points: Computing exacts for 4 points 1540202532.894 * * * * [misc]points: Setting MPFR precision to 320 1540202532.894 * * * * [misc]points: Setting MPFR precision to 576 1540202532.894 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202532.894 * * * * [misc]points: Sampling 4 additional inputs, on iter 33 have 7998 / 8000 1540202532.894 * * * * [misc]points: Computing exacts for 4 points 1540202532.895 * * * * [misc]points: Setting MPFR precision to 320 1540202532.895 * * * * [misc]points: Setting MPFR precision to 576 1540202532.896 * * * * [misc]points: Filtering points with unrepresentable outputs 1540202532.896 * * * * [exit]points: Sampled 8000 points with exact outputs 1540202533.055 * [misc]regime-testing: Baseline error score: 0.012641739821579552 1540202533.055 * [misc]regime-testing: End program error score: 0.012641739821579552 1540202533.055 * [misc]regime-testing: Oracle error score: 0.012641739821579552