1536942666.024 * [misc]progress: [Phase 1 of 3] Setting up. 1536942666.026 * * * [misc]progress: [1/2] Preparing points 1536942666.026 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1536942666.031 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1536942666.080 * * * * [misc]points: Setting MPFR precision to 64 1536942666.125 * * * * [misc]points: Setting MPFR precision to 320 1536942666.126 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1536942666.129 * * * * [misc]points: Setting MPFR precision to 64 1536942666.130 * * * * [misc]points: Setting MPFR precision to 320 1536942666.132 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1536942666.133 * * * * [misc]points: Setting MPFR precision to 64 1536942666.135 * * * * [misc]points: Setting MPFR precision to 320 1536942666.137 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1536942666.138 * * * * [misc]points: Setting MPFR precision to 64 1536942666.140 * * * * [misc]points: Setting MPFR precision to 320 1536942666.142 * * * * [misc]points: Computing exacts for 256 points 1536942666.143 * * * * [misc]points: Setting MPFR precision to 64 1536942666.150 * * * * [misc]points: Setting MPFR precision to 320 1536942666.156 * * * * [misc]points: Filtering points with unrepresentable outputs 1536942666.157 * * * * [misc]points: Sampling 159 additional inputs, on iter 1 have 97 / 256 1536942666.157 * * * * [misc]points: Computing exacts on every 9 of 159 points to ramp up precision 1536942666.158 * * * * [misc]points: Setting MPFR precision to 64 1536942666.159 * * * * [misc]points: Setting MPFR precision to 320 1536942666.159 * * * * [misc]points: Computing exacts on every 4 of 159 points to ramp up precision 1536942666.160 * * * * [misc]points: Setting MPFR precision to 64 1536942666.161 * * * * [misc]points: Setting MPFR precision to 320 1536942666.162 * * * * [misc]points: Computing exacts on every 2 of 159 points to ramp up precision 1536942666.163 * * * * [misc]points: Setting MPFR precision to 64 1536942666.165 * * * * [misc]points: Setting MPFR precision to 320 1536942666.168 * * * * [misc]points: Computing exacts for 159 points 1536942666.170 * * * * [misc]points: Setting MPFR precision to 64 1536942666.178 * * * * [misc]points: Setting MPFR precision to 320 1536942666.187 * * * * [misc]points: Filtering points with unrepresentable outputs 1536942666.187 * * * * [misc]points: Sampling 85 additional inputs, on iter 2 have 171 / 256 1536942666.188 * * * * [misc]points: Computing exacts on every 5 of 85 points to ramp up precision 1536942666.190 * * * * [misc]points: Setting MPFR precision to 64 1536942666.191 * * * * [misc]points: Setting MPFR precision to 320 1536942666.192 * * * * [misc]points: Computing exacts on every 2 of 85 points to ramp up precision 1536942666.193 * * * * [misc]points: Setting MPFR precision to 64 1536942666.195 * * * * [misc]points: Setting MPFR precision to 320 1536942666.196 * * * * [misc]points: Computing exacts for 85 points 1536942666.198 * * * * [misc]points: Setting MPFR precision to 64 1536942666.202 * * * * [misc]points: Setting MPFR precision to 320 1536942666.207 * * * * [misc]points: Filtering points with unrepresentable outputs 1536942666.207 * * * * [misc]points: Sampling 53 additional inputs, on iter 3 have 203 / 256 1536942666.208 * * * * [misc]points: Computing exacts on every 3 of 53 points to ramp up precision 1536942666.209 * * * * [misc]points: Setting MPFR precision to 64 1536942666.211 * * * * [misc]points: Setting MPFR precision to 320 1536942666.212 * * * * [misc]points: Computing exacts for 53 points 1536942666.214 * * * * [misc]points: Setting MPFR precision to 64 1536942666.217 * * * * [misc]points: Setting MPFR precision to 320 1536942666.219 * * * * [misc]points: Filtering points with unrepresentable outputs 1536942666.220 * * * * [misc]points: Sampling 27 additional inputs, on iter 4 have 229 / 256 1536942666.220 * * * * [misc]points: Computing exacts for 27 points 1536942666.222 * * * * [misc]points: Setting MPFR precision to 64 1536942666.223 * * * * [misc]points: Setting MPFR precision to 320 1536942666.225 * * * * [misc]points: Filtering points with unrepresentable outputs 1536942666.225 * * * * [misc]points: Sampling 18 additional inputs, on iter 5 have 238 / 256 1536942666.225 * * * * [misc]points: Computing exacts for 18 points 1536942666.227 * * * * [misc]points: Setting MPFR precision to 64 1536942666.228 * * * * [misc]points: Setting MPFR precision to 320 1536942666.229 * * * * [misc]points: Filtering points with unrepresentable outputs 1536942666.229 * * * * [misc]points: Sampling 13 additional inputs, on iter 6 have 243 / 256 1536942666.229 * * * * [misc]points: Computing exacts for 13 points 1536942666.230 * * * * [misc]points: Setting MPFR precision to 64 1536942666.231 * * * * [misc]points: Setting MPFR precision to 320 1536942666.231 * * * * [misc]points: Filtering points with unrepresentable outputs 1536942666.231 * * * * [misc]points: Sampling 7 additional inputs, on iter 7 have 249 / 256 1536942666.232 * * * * [misc]points: Computing exacts for 7 points 1536942666.232 * * * * [misc]points: Setting MPFR precision to 64 1536942666.233 * * * * [misc]points: Setting MPFR precision to 320 1536942666.233 * * * * [misc]points: Filtering points with unrepresentable outputs 1536942666.233 * * * * [misc]points: Sampling 5 additional inputs, on iter 8 have 251 / 256 1536942666.233 * * * * [misc]points: Computing exacts for 5 points 1536942666.234 * * * * [misc]points: Setting MPFR precision to 64 1536942666.234 * * * * [misc]points: Setting MPFR precision to 320 1536942666.235 * * * * [misc]points: Filtering points with unrepresentable outputs 1536942666.235 * * * * [misc]points: Sampling 4 additional inputs, on iter 9 have 252 / 256 1536942666.235 * * * * [misc]points: Computing exacts for 4 points 1536942666.236 * * * * [misc]points: Setting MPFR precision to 64 1536942666.236 * * * * [misc]points: Setting MPFR precision to 320 1536942666.236 * * * * [misc]points: Filtering points with unrepresentable outputs 1536942666.236 * * * * [misc]points: Sampling 4 additional inputs, on iter 10 have 254 / 256 1536942666.236 * * * * [misc]points: Computing exacts for 4 points 1536942666.237 * * * * [misc]points: Setting MPFR precision to 64 1536942666.237 * * * * [misc]points: Setting MPFR precision to 320 1536942666.237 * * * * [misc]points: Filtering points with unrepresentable outputs 1536942666.237 * * * * [misc]points: Sampling 4 additional inputs, on iter 11 have 255 / 256 1536942666.238 * * * * [misc]points: Computing exacts for 4 points 1536942666.238 * * * * [misc]points: Setting MPFR precision to 64 1536942666.239 * * * * [misc]points: Setting MPFR precision to 320 1536942666.239 * * * * [misc]points: Filtering points with unrepresentable outputs 1536942666.239 * * * * [exit]points: Sampled 257 points with exact outputs 1536942666.239 * * * [misc]progress: [2/2] Setting up program. 1536942666.244 * [misc]progress: [Phase 2 of 3] Improving. 1536942666.244 * [enter]simplify: Simplifying (- (pow x 4) (pow y 4)) 1536942666.246 * * [misc]simplify: iters left: 3 (6 enodes) 1536942666.250 * * [misc]simplify: iters left: 2 (8 enodes) 1536942666.251 * * [misc]simplify: iters left: 1 (9 enodes) 1536942666.254 * [exit]simplify: Simplified to (- (pow x 4) (pow y 4)) 1536942666.298 * * [misc]progress: iteration 1 / 4 1536942666.298 * * * [misc]progress: picking best candidate 1536942666.303 * * * * [misc]pick: Picked # 1536942666.303 * * * [misc]progress: localizing error 1536942666.318 * * * [misc]progress: generating rewritten candidates 1536942666.318 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1536942666.346 * * * [misc]progress: generating series expansions 1536942666.346 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1536942666.352 * [misc]backup-simplify: Simplify (- (pow x 4) (pow y 4)) into (- (pow x 4) (pow y 4)) 1536942666.352 * [misc]approximate: Taking taylor expansion of (- (pow x 4) (pow y 4)) in (x y) around 0 1536942666.353 * [misc]taylor: Taking taylor expansion of (- (pow x 4) (pow y 4)) in y 1536942666.353 * [misc]taylor: Taking taylor expansion of (pow x 4) in y 1536942666.353 * [misc]taylor: Taking taylor expansion of x in y 1536942666.353 * [misc]backup-simplify: Simplify x into x 1536942666.353 * [misc]taylor: Taking taylor expansion of (pow y 4) in y 1536942666.353 * [misc]taylor: Taking taylor expansion of y in y 1536942666.353 * [misc]backup-simplify: Simplify 0 into 0 1536942666.353 * [misc]backup-simplify: Simplify 1 into 1 1536942666.353 * [misc]taylor: Taking taylor expansion of (- (pow x 4) (pow y 4)) in x 1536942666.353 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1536942666.353 * [misc]taylor: Taking taylor expansion of x in x 1536942666.353 * [misc]backup-simplify: Simplify 0 into 0 1536942666.353 * [misc]backup-simplify: Simplify 1 into 1 1536942666.353 * [misc]taylor: Taking taylor expansion of (pow y 4) in x 1536942666.353 * [misc]taylor: Taking taylor expansion of y in x 1536942666.354 * [misc]backup-simplify: Simplify y into y 1536942666.354 * [misc]taylor: Taking taylor expansion of (- (pow x 4) (pow y 4)) in x 1536942666.354 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1536942666.354 * [misc]taylor: Taking taylor expansion of x in x 1536942666.354 * [misc]backup-simplify: Simplify 0 into 0 1536942666.354 * [misc]backup-simplify: Simplify 1 into 1 1536942666.354 * [misc]taylor: Taking taylor expansion of (pow y 4) in x 1536942666.354 * [misc]taylor: Taking taylor expansion of y in x 1536942666.354 * [misc]backup-simplify: Simplify y into y 1536942666.354 * [misc]backup-simplify: Simplify (* y y) into (pow y 2) 1536942666.354 * [misc]backup-simplify: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 1536942666.354 * [misc]backup-simplify: Simplify (- (pow y 4)) into (- (pow y 4)) 1536942666.355 * [misc]backup-simplify: Simplify (+ 0 (- (pow y 4))) into (- (pow y 4)) 1536942666.355 * [misc]taylor: Taking taylor expansion of (- (pow y 4)) in y 1536942666.355 * [misc]taylor: Taking taylor expansion of (pow y 4) in y 1536942666.355 * [misc]taylor: Taking taylor expansion of y in y 1536942666.355 * [misc]backup-simplify: Simplify 0 into 0 1536942666.355 * [misc]backup-simplify: Simplify 1 into 1 1536942666.355 * [misc]backup-simplify: Simplify (+ (* y 0) (* 0 y)) into 0 1536942666.355 * [misc]backup-simplify: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0 1536942666.355 * [misc]backup-simplify: Simplify (- 0) into 0 1536942666.356 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942666.356 * [misc]taylor: Taking taylor expansion of 0 in y 1536942666.356 * [misc]backup-simplify: Simplify 0 into 0 1536942666.356 * [misc]backup-simplify: Simplify 0 into 0 1536942666.356 * [misc]backup-simplify: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 1536942666.356 * [misc]backup-simplify: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0 1536942666.356 * [misc]backup-simplify: Simplify (- 0) into 0 1536942666.356 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942666.356 * [misc]taylor: Taking taylor expansion of 0 in y 1536942666.356 * [misc]backup-simplify: Simplify 0 into 0 1536942666.356 * [misc]backup-simplify: Simplify 0 into 0 1536942666.356 * [misc]backup-simplify: Simplify 0 into 0 1536942666.357 * [misc]backup-simplify: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 1536942666.357 * [misc]backup-simplify: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2))))) into 0 1536942666.357 * [misc]backup-simplify: Simplify (- 0) into 0 1536942666.357 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942666.357 * [misc]taylor: Taking taylor expansion of 0 in y 1536942666.357 * [misc]backup-simplify: Simplify 0 into 0 1536942666.357 * [misc]backup-simplify: Simplify 0 into 0 1536942666.357 * [misc]backup-simplify: Simplify 0 into 0 1536942666.357 * [misc]backup-simplify: Simplify 0 into 0 1536942666.357 * [misc]backup-simplify: Simplify 0 into 0 1536942666.358 * [misc]backup-simplify: Simplify (- (pow (/ 1 x) 4) (pow (/ 1 y) 4)) into (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 1536942666.358 * [misc]approximate: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in (x y) around 0 1536942666.358 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in y 1536942666.358 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in y 1536942666.358 * [misc]taylor: Taking taylor expansion of (pow x 4) in y 1536942666.358 * [misc]taylor: Taking taylor expansion of x in y 1536942666.358 * [misc]backup-simplify: Simplify x into x 1536942666.358 * [misc]backup-simplify: Simplify (* x x) into (pow x 2) 1536942666.358 * [misc]backup-simplify: Simplify (* (pow x 2) (pow x 2)) into (pow x 4) 1536942666.358 * [misc]backup-simplify: Simplify (/ 1 (pow x 4)) into (/ 1 (pow x 4)) 1536942666.358 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 4)) in y 1536942666.358 * [misc]taylor: Taking taylor expansion of (pow y 4) in y 1536942666.358 * [misc]taylor: Taking taylor expansion of y in y 1536942666.358 * [misc]backup-simplify: Simplify 0 into 0 1536942666.358 * [misc]backup-simplify: Simplify 1 into 1 1536942666.359 * [misc]backup-simplify: Simplify (* 1 1) into 1 1536942666.359 * [misc]backup-simplify: Simplify (* 1 1) into 1 1536942666.359 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536942666.359 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x 1536942666.359 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in x 1536942666.359 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1536942666.359 * [misc]taylor: Taking taylor expansion of x in x 1536942666.359 * [misc]backup-simplify: Simplify 0 into 0 1536942666.359 * [misc]backup-simplify: Simplify 1 into 1 1536942666.359 * [misc]backup-simplify: Simplify (* 1 1) into 1 1536942666.359 * [misc]backup-simplify: Simplify (* 1 1) into 1 1536942666.359 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536942666.359 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 4)) in x 1536942666.359 * [misc]taylor: Taking taylor expansion of (pow y 4) in x 1536942666.359 * [misc]taylor: Taking taylor expansion of y in x 1536942666.359 * [misc]backup-simplify: Simplify y into y 1536942666.359 * [misc]backup-simplify: Simplify (* y y) into (pow y 2) 1536942666.359 * [misc]backup-simplify: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 1536942666.359 * [misc]backup-simplify: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4)) 1536942666.359 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x 1536942666.359 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in x 1536942666.359 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1536942666.359 * [misc]taylor: Taking taylor expansion of x in x 1536942666.360 * [misc]backup-simplify: Simplify 0 into 0 1536942666.360 * [misc]backup-simplify: Simplify 1 into 1 1536942666.360 * [misc]backup-simplify: Simplify (* 1 1) into 1 1536942666.360 * [misc]backup-simplify: Simplify (* 1 1) into 1 1536942666.360 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536942666.360 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 4)) in x 1536942666.360 * [misc]taylor: Taking taylor expansion of (pow y 4) in x 1536942666.360 * [misc]taylor: Taking taylor expansion of y in x 1536942666.360 * [misc]backup-simplify: Simplify y into y 1536942666.360 * [misc]backup-simplify: Simplify (* y y) into (pow y 2) 1536942666.360 * [misc]backup-simplify: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 1536942666.360 * [misc]backup-simplify: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4)) 1536942666.360 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536942666.360 * [misc]taylor: Taking taylor expansion of 1 in y 1536942666.360 * [misc]backup-simplify: Simplify 1 into 1 1536942666.361 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1536942666.361 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1536942666.361 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1536942666.361 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942666.361 * [misc]taylor: Taking taylor expansion of 0 in y 1536942666.361 * [misc]backup-simplify: Simplify 0 into 0 1536942666.361 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1536942666.361 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1536942666.362 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942666.362 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942666.362 * [misc]taylor: Taking taylor expansion of 0 in y 1536942666.362 * [misc]backup-simplify: Simplify 0 into 0 1536942666.362 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1536942666.362 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1536942666.362 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942666.363 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942666.363 * [misc]taylor: Taking taylor expansion of 0 in y 1536942666.363 * [misc]backup-simplify: Simplify 0 into 0 1536942666.363 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1536942666.363 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1536942666.363 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942666.364 * [misc]backup-simplify: Simplify (- (/ 1 (pow y 4))) into (- (/ 1 (pow y 4))) 1536942666.364 * [misc]backup-simplify: Simplify (+ 0 (- (/ 1 (pow y 4)))) into (- (/ 1 (pow y 4))) 1536942666.364 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow y 4))) in y 1536942666.364 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 4)) in y 1536942666.364 * [misc]taylor: Taking taylor expansion of (pow y 4) in y 1536942666.364 * [misc]taylor: Taking taylor expansion of y in y 1536942666.364 * [misc]backup-simplify: Simplify 0 into 0 1536942666.364 * [misc]backup-simplify: Simplify 1 into 1 1536942666.364 * [misc]backup-simplify: Simplify (* 1 1) into 1 1536942666.364 * [misc]backup-simplify: Simplify (* 1 1) into 1 1536942666.364 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536942666.364 * [misc]backup-simplify: Simplify (- 1) into -1 1536942666.364 * [misc]backup-simplify: Simplify -1 into -1 1536942666.364 * [misc]backup-simplify: Simplify 1 into 1 1536942666.365 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1536942666.365 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1536942666.365 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942666.365 * [misc]backup-simplify: Simplify (+ (* y 0) (* 0 y)) into 0 1536942666.365 * [misc]backup-simplify: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0 1536942666.365 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))))) into 0 1536942666.366 * [misc]backup-simplify: Simplify (- 0) into 0 1536942666.366 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942666.366 * [misc]taylor: Taking taylor expansion of 0 in y 1536942666.366 * [misc]backup-simplify: Simplify 0 into 0 1536942666.366 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1536942666.366 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1536942666.366 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1536942666.366 * [misc]backup-simplify: Simplify (- 0) into 0 1536942666.366 * [misc]backup-simplify: Simplify 0 into 0 1536942666.366 * [misc]backup-simplify: Simplify 0 into 0 1536942666.366 * [misc]backup-simplify: Simplify 0 into 0 1536942666.367 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1536942666.367 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1536942666.367 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942666.367 * [misc]backup-simplify: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 1536942666.368 * [misc]backup-simplify: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0 1536942666.368 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))))) into 0 1536942666.368 * [misc]backup-simplify: Simplify (- 0) into 0 1536942666.368 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942666.368 * [misc]taylor: Taking taylor expansion of 0 in y 1536942666.368 * [misc]backup-simplify: Simplify 0 into 0 1536942666.368 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1536942666.368 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1536942666.368 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942666.369 * [misc]backup-simplify: Simplify (- 0) into 0 1536942666.369 * [misc]backup-simplify: Simplify 0 into 0 1536942666.369 * [misc]backup-simplify: Simplify 0 into 0 1536942666.369 * [misc]backup-simplify: Simplify 0 into 0 1536942666.369 * [misc]backup-simplify: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 x))) 4)) (* -1 (pow (* (/ 1 (/ 1 y)) 1) 4))) into (- (pow x 4) (pow y 4)) 1536942666.370 * [misc]backup-simplify: Simplify (- (pow (/ 1 (- x)) 4) (pow (/ 1 (- y)) 4)) into (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 1536942666.370 * [misc]approximate: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in (x y) around 0 1536942666.370 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in y 1536942666.370 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in y 1536942666.370 * [misc]taylor: Taking taylor expansion of (pow x 4) in y 1536942666.370 * [misc]taylor: Taking taylor expansion of x in y 1536942666.370 * [misc]backup-simplify: Simplify x into x 1536942666.370 * [misc]backup-simplify: Simplify (* x x) into (pow x 2) 1536942666.370 * [misc]backup-simplify: Simplify (* (pow x 2) (pow x 2)) into (pow x 4) 1536942666.370 * [misc]backup-simplify: Simplify (/ 1 (pow x 4)) into (/ 1 (pow x 4)) 1536942666.370 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 4)) in y 1536942666.370 * [misc]taylor: Taking taylor expansion of (pow y 4) in y 1536942666.370 * [misc]taylor: Taking taylor expansion of y in y 1536942666.370 * [misc]backup-simplify: Simplify 0 into 0 1536942666.370 * [misc]backup-simplify: Simplify 1 into 1 1536942666.370 * [misc]backup-simplify: Simplify (* 1 1) into 1 1536942666.370 * [misc]backup-simplify: Simplify (* 1 1) into 1 1536942666.370 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536942666.370 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x 1536942666.370 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in x 1536942666.370 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1536942666.370 * [misc]taylor: Taking taylor expansion of x in x 1536942666.370 * [misc]backup-simplify: Simplify 0 into 0 1536942666.370 * [misc]backup-simplify: Simplify 1 into 1 1536942666.370 * [misc]backup-simplify: Simplify (* 1 1) into 1 1536942666.371 * [misc]backup-simplify: Simplify (* 1 1) into 1 1536942666.371 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536942666.371 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 4)) in x 1536942666.371 * [misc]taylor: Taking taylor expansion of (pow y 4) in x 1536942666.371 * [misc]taylor: Taking taylor expansion of y in x 1536942666.371 * [misc]backup-simplify: Simplify y into y 1536942666.371 * [misc]backup-simplify: Simplify (* y y) into (pow y 2) 1536942666.371 * [misc]backup-simplify: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 1536942666.371 * [misc]backup-simplify: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4)) 1536942666.371 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x 1536942666.371 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 4)) in x 1536942666.371 * [misc]taylor: Taking taylor expansion of (pow x 4) in x 1536942666.371 * [misc]taylor: Taking taylor expansion of x in x 1536942666.371 * [misc]backup-simplify: Simplify 0 into 0 1536942666.371 * [misc]backup-simplify: Simplify 1 into 1 1536942666.371 * [misc]backup-simplify: Simplify (* 1 1) into 1 1536942666.371 * [misc]backup-simplify: Simplify (* 1 1) into 1 1536942666.371 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536942666.371 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 4)) in x 1536942666.371 * [misc]taylor: Taking taylor expansion of (pow y 4) in x 1536942666.371 * [misc]taylor: Taking taylor expansion of y in x 1536942666.371 * [misc]backup-simplify: Simplify y into y 1536942666.371 * [misc]backup-simplify: Simplify (* y y) into (pow y 2) 1536942666.372 * [misc]backup-simplify: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 1536942666.372 * [misc]backup-simplify: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4)) 1536942666.372 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536942666.372 * [misc]taylor: Taking taylor expansion of 1 in y 1536942666.372 * [misc]backup-simplify: Simplify 1 into 1 1536942666.372 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1536942666.372 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1536942666.372 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1536942666.372 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942666.372 * [misc]taylor: Taking taylor expansion of 0 in y 1536942666.372 * [misc]backup-simplify: Simplify 0 into 0 1536942666.373 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1536942666.373 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1536942666.373 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942666.373 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942666.373 * [misc]taylor: Taking taylor expansion of 0 in y 1536942666.373 * [misc]backup-simplify: Simplify 0 into 0 1536942666.373 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1536942666.373 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1536942666.374 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942666.374 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942666.374 * [misc]taylor: Taking taylor expansion of 0 in y 1536942666.374 * [misc]backup-simplify: Simplify 0 into 0 1536942666.374 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1536942666.374 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1536942666.374 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942666.374 * [misc]backup-simplify: Simplify (- (/ 1 (pow y 4))) into (- (/ 1 (pow y 4))) 1536942666.375 * [misc]backup-simplify: Simplify (+ 0 (- (/ 1 (pow y 4)))) into (- (/ 1 (pow y 4))) 1536942666.375 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow y 4))) in y 1536942666.375 * [misc]taylor: Taking taylor expansion of (/ 1 (pow y 4)) in y 1536942666.375 * [misc]taylor: Taking taylor expansion of (pow y 4) in y 1536942666.375 * [misc]taylor: Taking taylor expansion of y in y 1536942666.375 * [misc]backup-simplify: Simplify 0 into 0 1536942666.375 * [misc]backup-simplify: Simplify 1 into 1 1536942666.375 * [misc]backup-simplify: Simplify (* 1 1) into 1 1536942666.375 * [misc]backup-simplify: Simplify (* 1 1) into 1 1536942666.375 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536942666.375 * [misc]backup-simplify: Simplify (- 1) into -1 1536942666.375 * [misc]backup-simplify: Simplify -1 into -1 1536942666.375 * [misc]backup-simplify: Simplify 1 into 1 1536942666.375 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1536942666.376 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1536942666.376 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942666.376 * [misc]backup-simplify: Simplify (+ (* y 0) (* 0 y)) into 0 1536942666.376 * [misc]backup-simplify: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0 1536942666.376 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))))) into 0 1536942666.376 * [misc]backup-simplify: Simplify (- 0) into 0 1536942666.376 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942666.376 * [misc]taylor: Taking taylor expansion of 0 in y 1536942666.377 * [misc]backup-simplify: Simplify 0 into 0 1536942666.377 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1536942666.377 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1536942666.377 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1536942666.377 * [misc]backup-simplify: Simplify (- 0) into 0 1536942666.377 * [misc]backup-simplify: Simplify 0 into 0 1536942666.377 * [misc]backup-simplify: Simplify 0 into 0 1536942666.377 * [misc]backup-simplify: Simplify 0 into 0 1536942666.377 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1536942666.378 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1536942666.378 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942666.378 * [misc]backup-simplify: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 1536942666.379 * [misc]backup-simplify: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0 1536942666.379 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))))) into 0 1536942666.379 * [misc]backup-simplify: Simplify (- 0) into 0 1536942666.379 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536942666.379 * [misc]taylor: Taking taylor expansion of 0 in y 1536942666.379 * [misc]backup-simplify: Simplify 0 into 0 1536942666.379 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1536942666.379 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1536942666.380 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536942666.380 * [misc]backup-simplify: Simplify (- 0) into 0 1536942666.380 * [misc]backup-simplify: Simplify 0 into 0 1536942666.380 * [misc]backup-simplify: Simplify 0 into 0 1536942666.380 * [misc]backup-simplify: Simplify 0 into 0 1536942666.708 * [misc]backup-simplify: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- x)))) 4)) (* -1 (pow (* (/ 1 (/ 1 (- y))) 1) 4))) into (- (pow x 4) (pow y 4)) 1536942666.708 * * * [misc]progress: simplifying candidates 1536942666.708 * * * * [misc]progress: [ 1 / 17 ] simplifiying candidate # 1536942666.709 * [enter]simplify: Simplifying (/ (exp (pow x 4)) (exp (pow y 4))) 1536942666.710 * * [misc]simplify: iters left: 4 (8 enodes) 1536942666.713 * * [misc]simplify: iters left: 3 (10 enodes) 1536942666.716 * * [misc]simplify: iters left: 2 (12 enodes) 1536942666.720 * * [misc]simplify: iters left: 1 (15 enodes) 1536942666.726 * [exit]simplify: Simplified to (exp (- (pow x 4) (pow y 4))) 1536942666.726 * [misc]simplify: Simplified (2 1) to (λ (x y) (log (exp (- (pow x 4) (pow y 4))))) 1536942666.726 * * * * [misc]progress: [ 2 / 17 ] simplifiying candidate # 1536942666.726 * * * * [misc]progress: [ 3 / 17 ] simplifiying candidate # 1536942666.726 * * * * [misc]progress: [ 4 / 17 ] simplifiying candidate # 1536942666.726 * * * * [misc]progress: [ 5 / 17 ] simplifiying candidate # 1536942666.726 * * * * [misc]progress: [ 6 / 17 ] simplifiying candidate # 1536942666.726 * * * * [misc]progress: [ 7 / 17 ] simplifiying candidate # 1536942666.726 * * * * [misc]progress: [ 8 / 17 ] simplifiying candidate # 1536942666.726 * * * * [misc]progress: [ 9 / 17 ] simplifiying candidate # 1536942666.727 * * * * [misc]progress: [ 10 / 17 ] simplifiying candidate # 1536942666.727 * * * * [misc]progress: [ 11 / 17 ] simplifiying candidate # 1536942666.727 * * * * [misc]progress: [ 12 / 17 ] simplifiying candidate # 1536942666.727 * [enter]simplify: Simplifying (+ (sqrt (pow x 4)) (sqrt (pow y 4))) 1536942666.728 * * [misc]simplify: iters left: 4 (8 enodes) 1536942666.730 * * [misc]simplify: iters left: 3 (9 enodes) 1536942666.734 * [exit]simplify: Simplified to (+ (sqrt (pow x 4)) (sqrt (pow y 4))) 1536942666.734 * [misc]simplify: Simplified (2 1) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4))))) 1536942666.734 * [enter]simplify: Simplifying (- (sqrt (pow x 4)) (sqrt (pow y 4))) 1536942666.735 * * [misc]simplify: iters left: 4 (8 enodes) 1536942666.738 * * [misc]simplify: iters left: 3 (10 enodes) 1536942666.741 * * [misc]simplify: iters left: 2 (11 enodes) 1536942666.745 * [exit]simplify: Simplified to (- (sqrt (pow x 4)) (sqrt (pow y 4))) 1536942666.745 * [misc]simplify: Simplified (2 2) to (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4))))) 1536942666.745 * * * * [misc]progress: [ 13 / 17 ] simplifiying candidate # 1536942666.745 * [enter]simplify: Simplifying (- (pow x 4) (pow y 4)) 1536942666.746 * * [misc]simplify: iters left: 3 (6 enodes) 1536942666.748 * * [misc]simplify: iters left: 2 (8 enodes) 1536942666.751 * * [misc]simplify: iters left: 1 (9 enodes) 1536942666.754 * [exit]simplify: Simplified to (- (pow x 4) (pow y 4)) 1536942666.754 * [misc]simplify: Simplified (2 2) to (λ (x y) (* 1 (- (pow x 4) (pow y 4)))) 1536942666.754 * * * * [misc]progress: [ 14 / 17 ] simplifiying candidate # 1536942666.754 * * * * [misc]progress: [ 15 / 17 ] simplifiying candidate # 1536942666.754 * [enter]simplify: Simplifying 0 1536942666.754 * * [misc]simplify: iters left: 0 (1 enodes) 1536942666.754 * [exit]simplify: Simplified to 0 1536942666.755 * [misc]simplify: Simplified (2) to (λ (x y) 0) 1536942666.755 * * * * [misc]progress: [ 16 / 17 ] simplifiying candidate # 1536942666.755 * [enter]simplify: Simplifying (- (pow x 4) (pow y 4)) 1536942666.755 * * [misc]simplify: iters left: 3 (6 enodes) 1536942666.758 * * [misc]simplify: iters left: 2 (8 enodes) 1536942666.760 * * [misc]simplify: iters left: 1 (9 enodes) 1536942666.763 * [exit]simplify: Simplified to (- (pow x 4) (pow y 4)) 1536942666.763 * [misc]simplify: Simplified (2) to (λ (x y) (- (pow x 4) (pow y 4))) 1536942666.763 * * * * [misc]progress: [ 17 / 17 ] simplifiying candidate # 1536942666.764 * [enter]simplify: Simplifying (- (pow x 4) (pow y 4)) 1536942666.764 * * [misc]simplify: iters left: 3 (6 enodes) 1536942666.766 * * [misc]simplify: iters left: 2 (8 enodes) 1536942666.769 * * [misc]simplify: iters left: 1 (9 enodes) 1536942666.772 * [exit]simplify: Simplified to (- (pow x 4) (pow y 4)) 1536942666.772 * [misc]simplify: Simplified (2) to (λ (x y) (- (pow x 4) (pow y 4))) 1536942666.772 * * * [misc]progress: adding candidates to table 1536942667.071 * [misc]progress: [Phase 3 of 3] Extracting. 1536942667.078 * [enter]simplify: Simplifying (- (pow x 4) (pow y 4)) 1536942667.079 * * [misc]simplify: iters left: 3 (6 enodes) 1536942667.080 * [exit]simplify: Simplified to (- (pow x 4) (pow y 4)) 1536942667.080 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1536942667.150 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1536942667.152 * * * * [misc]points: Setting MPFR precision to 64 1536942667.153 * * * * [misc]points: Setting MPFR precision to 320 1536942667.154 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1536942667.155 * * * * [misc]points: Setting MPFR precision to 64 1536942667.157 * * * * [misc]points: Setting MPFR precision to 320 1536942667.159 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1536942667.160 * * * * [misc]points: Setting MPFR precision to 64 1536942667.164 * * * * [misc]points: Setting MPFR precision to 320 1536942667.167 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1536942667.169 * * * * [misc]points: Setting MPFR precision to 64 1536942667.175 * * * * [misc]points: Setting MPFR precision to 320 1536942667.183 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1536942667.185 * * * * [misc]points: Setting MPFR precision to 64 1536942667.197 * * * * [misc]points: Setting MPFR precision to 320 1536942667.211 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1536942667.212 * * * * [misc]points: Setting MPFR precision to 64 1536942667.258 * * * * [misc]points: Setting MPFR precision to 320 1536942667.279 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1536942667.281 * * * * [misc]points: Setting MPFR precision to 64 1536942667.308 * * * * [misc]points: Setting MPFR precision to 320 1536942667.334 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1536942667.335 * * * * [misc]points: Setting MPFR precision to 64 1536942667.456 * * * * [misc]points: Setting MPFR precision to 320 1536942667.546 * * * * [misc]points: Computing exacts for 8000 points 1536942667.548 * * * * [misc]points: Setting MPFR precision to 64 1536942667.959 * * * * [misc]points: Setting MPFR precision to 320 1536942668.431 * * * * [misc]points: Filtering points with unrepresentable outputs 1536942668.433 * * * * [misc]points: Sampling 4930 additional inputs, on iter 1 have 3070 / 8000 1536942668.454 * * * * [misc]points: Computing exacts on every 308 of 4930 points to ramp up precision 1536942668.455 * * * * [misc]points: Setting MPFR precision to 64 1536942668.455 * * * * [misc]points: Setting MPFR precision to 320 1536942668.456 * * * * [misc]points: Computing exacts on every 154 of 4930 points to ramp up precision 1536942668.457 * * * * [misc]points: Setting MPFR precision to 64 1536942668.458 * * * * [misc]points: Setting MPFR precision to 320 1536942668.458 * * * * [misc]points: Computing exacts on every 77 of 4930 points to ramp up precision 1536942668.459 * * * * [misc]points: Setting MPFR precision to 64 1536942668.463 * * * * [misc]points: Setting MPFR precision to 320 1536942668.466 * * * * [misc]points: Computing exacts on every 38 of 4930 points to ramp up precision 1536942668.468 * * * * [misc]points: Setting MPFR precision to 64 1536942668.475 * * * * [misc]points: Setting MPFR precision to 320 1536942668.481 * * * * [misc]points: Computing exacts on every 19 of 4930 points to ramp up precision 1536942668.483 * * * * [misc]points: Setting MPFR precision to 64 1536942668.524 * * * * [misc]points: Setting MPFR precision to 320 1536942668.537 * * * * [misc]points: Computing exacts on every 9 of 4930 points to ramp up precision 1536942668.539 * * * * [misc]points: Setting MPFR precision to 64 1536942668.564 * * * * [misc]points: Setting MPFR precision to 320 1536942668.590 * * * * [misc]points: Computing exacts on every 4 of 4930 points to ramp up precision 1536942668.592 * * * * [misc]points: Setting MPFR precision to 64 1536942668.643 * * * * [misc]points: Setting MPFR precision to 320 1536942668.693 * * * * [misc]points: Computing exacts on every 2 of 4930 points to ramp up precision 1536942668.695 * * * * [misc]points: Setting MPFR precision to 64 1536942668.837 * * * * [misc]points: Setting MPFR precision to 320 1536942668.922 * * * * [misc]points: Computing exacts for 4930 points 1536942668.924 * * * * [misc]points: Setting MPFR precision to 64 1536942669.176 * * * * [misc]points: Setting MPFR precision to 320 1536942669.390 * * * * [misc]points: Filtering points with unrepresentable outputs 1536942669.391 * * * * [misc]points: Sampling 2976 additional inputs, on iter 2 have 5024 / 8000 1536942669.805 * * * * [misc]points: Computing exacts on every 186 of 2976 points to ramp up precision 1536942669.807 * * * * [misc]points: Setting MPFR precision to 64 1536942669.808 * * * * [misc]points: Setting MPFR precision to 320 1536942669.809 * * * * [misc]points: Computing exacts on every 93 of 2976 points to ramp up precision 1536942669.811 * * * * [misc]points: Setting MPFR precision to 64 1536942669.812 * * * * [misc]points: Setting MPFR precision to 320 1536942669.814 * * * * [misc]points: Computing exacts on every 46 of 2976 points to ramp up precision 1536942669.820 * * * * [misc]points: Setting MPFR precision to 64 1536942669.823 * * * * [misc]points: Setting MPFR precision to 320 1536942669.827 * * * * [misc]points: Computing exacts on every 23 of 2976 points to ramp up precision 1536942669.829 * * * * [misc]points: Setting MPFR precision to 64 1536942669.835 * * * * [misc]points: Setting MPFR precision to 320 1536942669.841 * * * * [misc]points: Computing exacts on every 11 of 2976 points to ramp up precision 1536942669.843 * * * * [misc]points: Setting MPFR precision to 64 1536942669.856 * * * * [misc]points: Setting MPFR precision to 320 1536942669.869 * * * * [misc]points: Computing exacts on every 5 of 2976 points to ramp up precision 1536942669.870 * * * * [misc]points: Setting MPFR precision to 64 1536942669.896 * * * * [misc]points: Setting MPFR precision to 320 1536942669.922 * * * * [misc]points: Computing exacts on every 2 of 2976 points to ramp up precision 1536942669.924 * * * * [misc]points: Setting MPFR precision to 64 1536942669.950 * * * * [misc]points: Setting MPFR precision to 320 1536942670.003 * * * * [misc]points: Computing exacts for 2976 points 1536942670.004 * * * * [misc]points: Setting MPFR precision to 64 1536942670.081 * * * * [misc]points: Setting MPFR precision to 320 1536942670.236 * * * * [misc]points: Filtering points with unrepresentable outputs 1536942670.237 * * * * [misc]points: Sampling 1788 additional inputs, on iter 3 have 6212 / 8000 1536942670.253 * * * * [misc]points: Computing exacts on every 111 of 1788 points to ramp up precision 1536942670.255 * * * * [misc]points: Setting MPFR precision to 64 1536942670.256 * * * * [misc]points: Setting MPFR precision to 320 1536942670.257 * * * * [misc]points: Computing exacts on every 55 of 1788 points to ramp up precision 1536942670.259 * * * * [misc]points: Setting MPFR precision to 64 1536942670.261 * * * * [misc]points: Setting MPFR precision to 320 1536942670.262 * * * * [misc]points: Computing exacts on every 27 of 1788 points to ramp up precision 1536942670.264 * * * * [misc]points: Setting MPFR precision to 64 1536942670.267 * * * * [misc]points: Setting MPFR precision to 320 1536942670.271 * * * * [misc]points: Computing exacts on every 13 of 1788 points to ramp up precision 1536942670.272 * * * * [misc]points: Setting MPFR precision to 64 1536942670.280 * * * * [misc]points: Setting MPFR precision to 320 1536942670.286 * * * * [misc]points: Computing exacts on every 6 of 1788 points to ramp up precision 1536942670.288 * * * * [misc]points: Setting MPFR precision to 64 1536942670.301 * * * * [misc]points: Setting MPFR precision to 320 1536942670.314 * * * * [misc]points: Computing exacts on every 3 of 1788 points to ramp up precision 1536942670.316 * * * * [misc]points: Setting MPFR precision to 64 1536942670.339 * * * * [misc]points: Setting MPFR precision to 320 1536942670.398 * * * * [misc]points: Computing exacts for 1788 points 1536942670.399 * * * * [misc]points: Setting MPFR precision to 64 1536942670.460 * * * * [misc]points: Setting MPFR precision to 320 1536942670.527 * * * * [misc]points: Filtering points with unrepresentable outputs 1536942670.528 * * * * [misc]points: Sampling 1106 additional inputs, on iter 4 have 6894 / 8000 1536942670.533 * * * * [misc]points: Computing exacts on every 69 of 1106 points to ramp up precision 1536942670.534 * * * * [misc]points: Setting MPFR precision to 64 1536942670.534 * * * * [misc]points: Setting MPFR precision to 320 1536942670.534 * * * * [misc]points: Computing exacts on every 34 of 1106 points to ramp up precision 1536942670.535 * * * * [misc]points: Setting MPFR precision to 64 1536942670.536 * * * * [misc]points: Setting MPFR precision to 320 1536942670.537 * * * * [misc]points: Computing exacts on every 17 of 1106 points to ramp up precision 1536942670.538 * * * * [misc]points: Setting MPFR precision to 64 1536942670.575 * * * * [misc]points: Setting MPFR precision to 320 1536942670.579 * * * * [misc]points: Computing exacts on every 8 of 1106 points to ramp up precision 1536942670.581 * * * * [misc]points: Setting MPFR precision to 64 1536942670.591 * * * * [misc]points: Setting MPFR precision to 320 1536942670.598 * * * * [misc]points: Computing exacts on every 4 of 1106 points to ramp up precision 1536942670.599 * * * * [misc]points: Setting MPFR precision to 64 1536942670.611 * * * * [misc]points: Setting MPFR precision to 320 1536942670.622 * * * * [misc]points: Computing exacts on every 2 of 1106 points to ramp up precision 1536942670.624 * * * * [misc]points: Setting MPFR precision to 64 1536942670.643 * * * * [misc]points: Setting MPFR precision to 320 1536942670.662 * * * * [misc]points: Computing exacts for 1106 points 1536942670.664 * * * * [misc]points: Setting MPFR precision to 64 1536942670.720 * * * * [misc]points: Setting MPFR precision to 320 1536942670.763 * * * * [misc]points: Filtering points with unrepresentable outputs 1536942670.764 * * * * [misc]points: Sampling 660 additional inputs, on iter 5 have 7340 / 8000 1536942670.767 * * * * [misc]points: Computing exacts on every 41 of 660 points to ramp up precision 1536942670.768 * * * * [misc]points: Setting MPFR precision to 64 1536942670.768 * * * * [misc]points: Setting MPFR precision to 320 1536942670.769 * * * * [misc]points: Computing exacts on every 20 of 660 points to ramp up precision 1536942670.769 * * * * [misc]points: Setting MPFR precision to 64 1536942670.770 * * * * [misc]points: Setting MPFR precision to 320 1536942670.771 * * * * [misc]points: Computing exacts on every 10 of 660 points to ramp up precision 1536942670.772 * * * * [misc]points: Setting MPFR precision to 64 1536942670.804 * * * * [misc]points: Setting MPFR precision to 320 1536942670.807 * * * * [misc]points: Computing exacts on every 5 of 660 points to ramp up precision 1536942670.809 * * * * [misc]points: Setting MPFR precision to 64 1536942670.818 * * * * [misc]points: Setting MPFR precision to 320 1536942670.824 * * * * [misc]points: Computing exacts on every 2 of 660 points to ramp up precision 1536942670.826 * * * * [misc]points: Setting MPFR precision to 64 1536942670.838 * * * * [misc]points: Setting MPFR precision to 320 1536942670.848 * * * * [misc]points: Computing exacts for 660 points 1536942670.849 * * * * [misc]points: Setting MPFR precision to 64 1536942670.866 * * * * [misc]points: Setting MPFR precision to 320 1536942670.899 * * * * [misc]points: Filtering points with unrepresentable outputs 1536942670.899 * * * * [misc]points: Sampling 397 additional inputs, on iter 6 have 7603 / 8000 1536942670.903 * * * * [misc]points: Computing exacts on every 24 of 397 points to ramp up precision 1536942670.904 * * * * [misc]points: Setting MPFR precision to 64 1536942670.905 * * * * [misc]points: Setting MPFR precision to 320 1536942670.906 * * * * [misc]points: Computing exacts on every 12 of 397 points to ramp up precision 1536942670.908 * * * * [misc]points: Setting MPFR precision to 64 1536942670.909 * * * * [misc]points: Setting MPFR precision to 320 1536942670.911 * * * * [misc]points: Computing exacts on every 6 of 397 points to ramp up precision 1536942670.913 * * * * [misc]points: Setting MPFR precision to 64 1536942670.916 * * * * [misc]points: Setting MPFR precision to 320 1536942670.918 * * * * [misc]points: Computing exacts on every 3 of 397 points to ramp up precision 1536942670.920 * * * * [misc]points: Setting MPFR precision to 64 1536942670.925 * * * * [misc]points: Setting MPFR precision to 320 1536942670.930 * * * * [misc]points: Computing exacts for 397 points 1536942670.932 * * * * [misc]points: Setting MPFR precision to 64 1536942670.953 * * * * [misc]points: Setting MPFR precision to 320 1536942670.974 * * * * [misc]points: Filtering points with unrepresentable outputs 1536942670.974 * * * * [misc]points: Sampling 235 additional inputs, on iter 7 have 7765 / 8000 1536942670.977 * * * * [misc]points: Computing exacts on every 14 of 235 points to ramp up precision 1536942670.979 * * * * [misc]points: Setting MPFR precision to 64 1536942670.980 * * * * [misc]points: Setting MPFR precision to 320 1536942670.980 * * * * [misc]points: Computing exacts on every 7 of 235 points to ramp up precision 1536942670.982 * * * * [misc]points: Setting MPFR precision to 64 1536942670.984 * * * * [misc]points: Setting MPFR precision to 320 1536942670.986 * * * * [misc]points: Computing exacts on every 3 of 235 points to ramp up precision 1536942670.987 * * * * [misc]points: Setting MPFR precision to 64 1536942670.990 * * * * [misc]points: Setting MPFR precision to 320 1536942670.993 * * * * [misc]points: Computing exacts for 235 points 1536942670.995 * * * * [misc]points: Setting MPFR precision to 64 1536942671.035 * * * * [misc]points: Setting MPFR precision to 320 1536942671.040 * * * * [misc]points: Filtering points with unrepresentable outputs 1536942671.041 * * * * [misc]points: Sampling 147 additional inputs, on iter 8 have 7853 / 8000 1536942671.041 * * * * [misc]points: Computing exacts on every 9 of 147 points to ramp up precision 1536942671.042 * * * * [misc]points: Setting MPFR precision to 64 1536942671.043 * * * * [misc]points: Setting MPFR precision to 320 1536942671.043 * * * * [misc]points: Computing exacts on every 4 of 147 points to ramp up precision 1536942671.044 * * * * [misc]points: Setting MPFR precision to 64 1536942671.045 * * * * [misc]points: Setting MPFR precision to 320 1536942671.046 * * * * [misc]points: Computing exacts on every 2 of 147 points to ramp up precision 1536942671.049 * * * * [misc]points: Setting MPFR precision to 64 1536942671.050 * * * * [misc]points: Setting MPFR precision to 320 1536942671.051 * * * * [misc]points: Computing exacts for 147 points 1536942671.052 * * * * [misc]points: Setting MPFR precision to 64 1536942671.056 * * * * [misc]points: Setting MPFR precision to 320 1536942671.060 * * * * [misc]points: Filtering points with unrepresentable outputs 1536942671.060 * * * * [misc]points: Sampling 89 additional inputs, on iter 9 have 7911 / 8000 1536942671.060 * * * * [misc]points: Computing exacts on every 5 of 89 points to ramp up precision 1536942671.061 * * * * [misc]points: Setting MPFR precision to 64 1536942671.062 * * * * [misc]points: Setting MPFR precision to 320 1536942671.062 * * * * [misc]points: Computing exacts on every 2 of 89 points to ramp up precision 1536942671.063 * * * * [misc]points: Setting MPFR precision to 64 1536942671.064 * * * * [misc]points: Setting MPFR precision to 320 1536942671.065 * * * * [misc]points: Computing exacts for 89 points 1536942671.066 * * * * [misc]points: Setting MPFR precision to 64 1536942671.068 * * * * [misc]points: Setting MPFR precision to 320 1536942671.073 * * * * [misc]points: Filtering points with unrepresentable outputs 1536942671.073 * * * * [misc]points: Sampling 58 additional inputs, on iter 10 have 7942 / 8000 1536942671.074 * * * * [misc]points: Computing exacts on every 3 of 58 points to ramp up precision 1536942671.075 * * * * [misc]points: Setting MPFR precision to 64 1536942671.076 * * * * [misc]points: Setting MPFR precision to 320 1536942671.076 * * * * [misc]points: Computing exacts for 58 points 1536942671.077 * * * * [misc]points: Setting MPFR precision to 64 1536942671.079 * * * * [misc]points: Setting MPFR precision to 320 1536942671.080 * * * * [misc]points: Filtering points with unrepresentable outputs 1536942671.080 * * * * [misc]points: Sampling 39 additional inputs, on iter 11 have 7961 / 8000 1536942671.081 * * * * [misc]points: Computing exacts on every 2 of 39 points to ramp up precision 1536942671.082 * * * * [misc]points: Setting MPFR precision to 64 1536942671.082 * * * * [misc]points: Setting MPFR precision to 320 1536942671.082 * * * * [misc]points: Computing exacts for 39 points 1536942671.083 * * * * [misc]points: Setting MPFR precision to 64 1536942671.084 * * * * [misc]points: Setting MPFR precision to 320 1536942671.085 * * * * [misc]points: Filtering points with unrepresentable outputs 1536942671.085 * * * * [misc]points: Sampling 25 additional inputs, on iter 12 have 7975 / 8000 1536942671.086 * * * * [misc]points: Computing exacts for 25 points 1536942671.087 * * * * [misc]points: Setting MPFR precision to 64 1536942671.087 * * * * [misc]points: Setting MPFR precision to 320 1536942671.088 * * * * [misc]points: Filtering points with unrepresentable outputs 1536942671.088 * * * * [misc]points: Sampling 13 additional inputs, on iter 13 have 7987 / 8000 1536942671.089 * * * * [misc]points: Computing exacts for 13 points 1536942671.090 * * * * [misc]points: Setting MPFR precision to 64 1536942671.090 * * * * [misc]points: Setting MPFR precision to 320 1536942671.090 * * * * [misc]points: Filtering points with unrepresentable outputs 1536942671.090 * * * * [misc]points: Sampling 9 additional inputs, on iter 14 have 7991 / 8000 1536942671.091 * * * * [misc]points: Computing exacts for 9 points 1536942671.091 * * * * [misc]points: Setting MPFR precision to 64 1536942671.092 * * * * [misc]points: Setting MPFR precision to 320 1536942671.092 * * * * [misc]points: Filtering points with unrepresentable outputs 1536942671.092 * * * * [misc]points: Sampling 4 additional inputs, on iter 15 have 7998 / 8000 1536942671.092 * * * * [misc]points: Computing exacts for 4 points 1536942671.093 * * * * [misc]points: Setting MPFR precision to 64 1536942671.093 * * * * [misc]points: Setting MPFR precision to 320 1536942671.093 * * * * [misc]points: Filtering points with unrepresentable outputs 1536942671.093 * * * * [misc]points: Sampling 4 additional inputs, on iter 16 have 7999 / 8000 1536942671.094 * * * * [misc]points: Computing exacts for 4 points 1536942671.094 * * * * [misc]points: Setting MPFR precision to 64 1536942671.095 * * * * [misc]points: Setting MPFR precision to 320 1536942671.095 * * * * [misc]points: Filtering points with unrepresentable outputs 1536942671.095 * * * * [exit]points: Sampled 8000 points with exact outputs