1539794973.169 * [misc]progress: [Phase 1 of 3] Setting up. 1539794973.170 * * * [misc]progress: [1/2] Preparing points 1539794973.170 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1539794973.170 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1539794973.172 * * * * [misc]points: Setting MPFR precision to 64 1539794973.172 * * * * [misc]points: Setting MPFR precision to 320 1539794973.173 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1539794973.174 * * * * [misc]points: Setting MPFR precision to 64 1539794973.175 * * * * [misc]points: Setting MPFR precision to 320 1539794973.176 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1539794973.177 * * * * [misc]points: Setting MPFR precision to 64 1539794973.178 * * * * [misc]points: Setting MPFR precision to 320 1539794973.180 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1539794973.181 * * * * [misc]points: Setting MPFR precision to 64 1539794973.183 * * * * [misc]points: Setting MPFR precision to 320 1539794973.187 * * * * [misc]points: Computing exacts for 256 points 1539794973.191 * * * * [misc]points: Setting MPFR precision to 64 1539794973.201 * * * * [misc]points: Setting MPFR precision to 320 1539794973.212 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794973.212 * * * * [misc]points: Sampling 186 additional inputs, on iter 1 have 70 / 256 1539794973.213 * * * * [misc]points: Computing exacts on every 11 of 186 points to ramp up precision 1539794973.217 * * * * [misc]points: Setting MPFR precision to 64 1539794973.218 * * * * [misc]points: Setting MPFR precision to 320 1539794973.218 * * * * [misc]points: Computing exacts on every 5 of 186 points to ramp up precision 1539794973.232 * * * * [misc]points: Setting MPFR precision to 64 1539794973.233 * * * * [misc]points: Setting MPFR precision to 320 1539794973.235 * * * * [misc]points: Computing exacts on every 2 of 186 points to ramp up precision 1539794973.240 * * * * [misc]points: Setting MPFR precision to 64 1539794973.242 * * * * [misc]points: Setting MPFR precision to 320 1539794973.244 * * * * [misc]points: Computing exacts for 186 points 1539794973.246 * * * * [misc]points: Setting MPFR precision to 64 1539794973.250 * * * * [misc]points: Setting MPFR precision to 320 1539794973.255 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794973.255 * * * * [misc]points: Sampling 135 additional inputs, on iter 2 have 121 / 256 1539794973.255 * * * * [misc]points: Computing exacts on every 8 of 135 points to ramp up precision 1539794973.257 * * * * [misc]points: Setting MPFR precision to 64 1539794973.257 * * * * [misc]points: Setting MPFR precision to 320 1539794973.257 * * * * [misc]points: Computing exacts on every 4 of 135 points to ramp up precision 1539794973.259 * * * * [misc]points: Setting MPFR precision to 64 1539794973.260 * * * * [misc]points: Setting MPFR precision to 320 1539794973.260 * * * * [misc]points: Computing exacts on every 2 of 135 points to ramp up precision 1539794973.262 * * * * [misc]points: Setting MPFR precision to 64 1539794973.263 * * * * [misc]points: Setting MPFR precision to 320 1539794973.264 * * * * [misc]points: Computing exacts for 135 points 1539794973.266 * * * * [misc]points: Setting MPFR precision to 64 1539794973.269 * * * * [misc]points: Setting MPFR precision to 320 1539794973.272 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794973.272 * * * * [misc]points: Sampling 102 additional inputs, on iter 3 have 154 / 256 1539794973.272 * * * * [misc]points: Computing exacts on every 6 of 102 points to ramp up precision 1539794973.274 * * * * [misc]points: Setting MPFR precision to 64 1539794973.274 * * * * [misc]points: Setting MPFR precision to 320 1539794973.274 * * * * [misc]points: Computing exacts on every 3 of 102 points to ramp up precision 1539794973.277 * * * * [misc]points: Setting MPFR precision to 64 1539794973.278 * * * * [misc]points: Setting MPFR precision to 320 1539794973.279 * * * * [misc]points: Computing exacts for 102 points 1539794973.282 * * * * [misc]points: Setting MPFR precision to 64 1539794973.287 * * * * [misc]points: Setting MPFR precision to 320 1539794973.291 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794973.291 * * * * [misc]points: Sampling 83 additional inputs, on iter 4 have 173 / 256 1539794973.291 * * * * [misc]points: Computing exacts on every 5 of 83 points to ramp up precision 1539794973.294 * * * * [misc]points: Setting MPFR precision to 64 1539794973.295 * * * * [misc]points: Setting MPFR precision to 320 1539794973.296 * * * * [misc]points: Computing exacts on every 2 of 83 points to ramp up precision 1539794973.299 * * * * [misc]points: Setting MPFR precision to 64 1539794973.300 * * * * [misc]points: Setting MPFR precision to 320 1539794973.302 * * * * [misc]points: Computing exacts for 83 points 1539794973.305 * * * * [misc]points: Setting MPFR precision to 64 1539794973.308 * * * * [misc]points: Setting MPFR precision to 320 1539794973.312 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794973.312 * * * * [misc]points: Sampling 57 additional inputs, on iter 5 have 199 / 256 1539794973.313 * * * * [misc]points: Computing exacts on every 3 of 57 points to ramp up precision 1539794973.316 * * * * [misc]points: Setting MPFR precision to 64 1539794973.316 * * * * [misc]points: Setting MPFR precision to 320 1539794973.317 * * * * [misc]points: Computing exacts for 57 points 1539794973.320 * * * * [misc]points: Setting MPFR precision to 64 1539794973.321 * * * * [misc]points: Setting MPFR precision to 320 1539794973.322 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794973.322 * * * * [misc]points: Sampling 49 additional inputs, on iter 6 have 207 / 256 1539794973.322 * * * * [misc]points: Computing exacts on every 3 of 49 points to ramp up precision 1539794973.324 * * * * [misc]points: Setting MPFR precision to 64 1539794973.324 * * * * [misc]points: Setting MPFR precision to 320 1539794973.325 * * * * [misc]points: Computing exacts for 49 points 1539794973.326 * * * * [misc]points: Setting MPFR precision to 64 1539794973.327 * * * * [misc]points: Setting MPFR precision to 320 1539794973.329 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794973.329 * * * * [misc]points: Sampling 33 additional inputs, on iter 7 have 223 / 256 1539794973.329 * * * * [misc]points: Computing exacts on every 2 of 33 points to ramp up precision 1539794973.330 * * * * [misc]points: Setting MPFR precision to 64 1539794973.331 * * * * [misc]points: Setting MPFR precision to 320 1539794973.331 * * * * [misc]points: Computing exacts for 33 points 1539794973.333 * * * * [misc]points: Setting MPFR precision to 64 1539794973.333 * * * * [misc]points: Setting MPFR precision to 320 1539794973.334 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794973.334 * * * * [misc]points: Sampling 26 additional inputs, on iter 8 have 230 / 256 1539794973.334 * * * * [misc]points: Computing exacts for 26 points 1539794973.336 * * * * [misc]points: Setting MPFR precision to 64 1539794973.336 * * * * [misc]points: Setting MPFR precision to 320 1539794973.337 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794973.337 * * * * [misc]points: Sampling 20 additional inputs, on iter 9 have 236 / 256 1539794973.337 * * * * [misc]points: Computing exacts for 20 points 1539794973.339 * * * * [misc]points: Setting MPFR precision to 64 1539794973.357 * * * * [misc]points: Setting MPFR precision to 320 1539794973.357 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794973.357 * * * * [misc]points: Sampling 16 additional inputs, on iter 10 have 240 / 256 1539794973.357 * * * * [misc]points: Computing exacts for 16 points 1539794973.359 * * * * [misc]points: Setting MPFR precision to 64 1539794973.360 * * * * [misc]points: Setting MPFR precision to 320 1539794973.360 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794973.360 * * * * [misc]points: Sampling 14 additional inputs, on iter 11 have 242 / 256 1539794973.360 * * * * [misc]points: Computing exacts for 14 points 1539794973.362 * * * * [misc]points: Setting MPFR precision to 64 1539794973.362 * * * * [misc]points: Setting MPFR precision to 320 1539794973.362 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794973.362 * * * * [misc]points: Sampling 10 additional inputs, on iter 12 have 246 / 256 1539794973.362 * * * * [misc]points: Computing exacts for 10 points 1539794973.364 * * * * [misc]points: Setting MPFR precision to 64 1539794973.364 * * * * [misc]points: Setting MPFR precision to 320 1539794973.365 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794973.365 * * * * [misc]points: Sampling 5 additional inputs, on iter 13 have 251 / 256 1539794973.365 * * * * [misc]points: Computing exacts for 5 points 1539794973.368 * * * * [misc]points: Setting MPFR precision to 64 1539794973.368 * * * * [misc]points: Setting MPFR precision to 320 1539794973.369 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794973.369 * * * * [misc]points: Sampling 4 additional inputs, on iter 14 have 253 / 256 1539794973.369 * * * * [misc]points: Computing exacts for 4 points 1539794973.370 * * * * [misc]points: Setting MPFR precision to 64 1539794973.371 * * * * [misc]points: Setting MPFR precision to 320 1539794973.371 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794973.371 * * * * [exit]points: Sampled 256 points with exact outputs 1539794973.371 * * * [misc]progress: [2/2] Setting up program. 1539794973.373 * [misc]progress: [Phase 2 of 3] Improving. 1539794973.373 * [enter]simplify: Simplifying (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) 1539794973.373 * * [misc]simplify: iters left: 6 (9 enodes) 1539794973.375 * * [misc]simplify: iters left: 5 (14 enodes) 1539794973.377 * * [misc]simplify: iters left: 4 (18 enodes) 1539794973.379 * * [misc]simplify: iters left: 3 (20 enodes) 1539794973.381 * [exit]simplify: Simplified to (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) 1539794973.386 * * [misc]progress: iteration 1 / 4 1539794973.387 * * * [misc]progress: picking best candidate 1539794973.389 * * * * [misc]pick: Picked # 1539794973.389 * * * [misc]progress: localizing error 1539794973.413 * * * [misc]progress: generating rewritten candidates 1539794973.413 * * * * [misc]progress: [ 1 / 3 ] rewriting at (2 1 2 1) 1539794973.418 * * * * [misc]progress: [ 2 / 3 ] rewriting at (2 1 2) 1539794973.424 * * * * [misc]progress: [ 3 / 3 ] rewriting at (2 1) 1539794973.438 * * * [misc]progress: generating series expansions 1539794973.438 * * * * [misc]progress: [ 1 / 3 ] generating series at (2 1 2 1) 1539794973.439 * [misc]backup-simplify: Simplify (sqrt (- 1 (* x x))) into (sqrt (- 1 (pow x 2))) 1539794973.439 * [misc]approximate: Taking taylor expansion of (sqrt (- 1 (pow x 2))) in (x) around 0 1539794973.439 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (pow x 2))) in x 1539794973.439 * [misc]taylor: Taking taylor expansion of (- 1 (pow x 2)) in x 1539794973.439 * [misc]taylor: Taking taylor expansion of 1 in x 1539794973.439 * [misc]backup-simplify: Simplify 1 into 1 1539794973.439 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1539794973.439 * [misc]taylor: Taking taylor expansion of x in x 1539794973.439 * [misc]backup-simplify: Simplify 0 into 0 1539794973.439 * [misc]backup-simplify: Simplify 1 into 1 1539794973.439 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539794973.439 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1539794973.439 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539794973.439 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 1))) into 0 1539794973.439 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (pow x 2))) in x 1539794973.439 * [misc]taylor: Taking taylor expansion of (- 1 (pow x 2)) in x 1539794973.439 * [misc]taylor: Taking taylor expansion of 1 in x 1539794973.439 * [misc]backup-simplify: Simplify 1 into 1 1539794973.440 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1539794973.440 * [misc]taylor: Taking taylor expansion of x in x 1539794973.440 * [misc]backup-simplify: Simplify 0 into 0 1539794973.440 * [misc]backup-simplify: Simplify 1 into 1 1539794973.440 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539794973.440 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1539794973.440 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539794973.440 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 1))) into 0 1539794973.440 * [misc]backup-simplify: Simplify 1 into 1 1539794973.440 * [misc]backup-simplify: Simplify 0 into 0 1539794973.440 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794973.440 * [misc]backup-simplify: Simplify (- 1) into -1 1539794973.440 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539794973.441 * [misc]backup-simplify: Simplify (/ (- -1 (pow 0 2) (+)) (* 2 1)) into -1/2 1539794973.441 * [misc]backup-simplify: Simplify -1/2 into -1/2 1539794973.441 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794973.442 * [misc]backup-simplify: Simplify (- 0) into 0 1539794973.442 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539794973.442 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 -1/2)))) (* 2 1)) into 0 1539794973.442 * [misc]backup-simplify: Simplify 0 into 0 1539794973.442 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794973.442 * [misc]backup-simplify: Simplify (- 0) into 0 1539794973.442 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539794973.443 * [misc]backup-simplify: Simplify (/ (- 0 (pow -1/2 2) (+ (* 2 (* 0 0)))) (* 2 1)) into -1/8 1539794973.443 * [misc]backup-simplify: Simplify -1/8 into -1/8 1539794973.443 * [misc]backup-simplify: Simplify (+ (* -1/8 (pow x 4)) (+ (* -1/2 (pow x 2)) 1)) into (- 1 (+ (* 1/2 (pow x 2)) (* 1/8 (pow x 4)))) 1539794973.443 * [misc]backup-simplify: Simplify (sqrt (- 1 (* (/ 1 x) (/ 1 x)))) into (sqrt (- 1 (/ 1 (pow x 2)))) 1539794973.443 * [misc]approximate: Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in (x) around 0 1539794973.443 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x 1539794973.443 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x 1539794973.443 * [misc]taylor: Taking taylor expansion of 1 in x 1539794973.443 * [misc]backup-simplify: Simplify 1 into 1 1539794973.443 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1539794973.443 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1539794973.443 * [misc]taylor: Taking taylor expansion of x in x 1539794973.443 * [misc]backup-simplify: Simplify 0 into 0 1539794973.443 * [misc]backup-simplify: Simplify 1 into 1 1539794973.444 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794973.444 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539794973.444 * [misc]backup-simplify: Simplify (- 1) into -1 1539794973.444 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539794973.444 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1539794973.444 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794973.444 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1539794973.444 * [misc]backup-simplify: Simplify (- 0) into 0 1539794973.444 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539794973.445 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt -1))) into 0 1539794973.445 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x 1539794973.445 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x 1539794973.445 * [misc]taylor: Taking taylor expansion of 1 in x 1539794973.445 * [misc]backup-simplify: Simplify 1 into 1 1539794973.445 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1539794973.445 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1539794973.445 * [misc]taylor: Taking taylor expansion of x in x 1539794973.445 * [misc]backup-simplify: Simplify 0 into 0 1539794973.445 * [misc]backup-simplify: Simplify 1 into 1 1539794973.445 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794973.445 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539794973.445 * [misc]backup-simplify: Simplify (- 1) into -1 1539794973.445 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539794973.445 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1539794973.445 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794973.446 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1539794973.446 * [misc]backup-simplify: Simplify (- 0) into 0 1539794973.446 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539794973.446 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt -1))) into 0 1539794973.446 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1539794973.446 * [misc]backup-simplify: Simplify 0 into 0 1539794973.446 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794973.446 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794973.446 * [misc]backup-simplify: Simplify (- 0) into 0 1539794973.447 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539794973.447 * [misc]backup-simplify: Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1)) 1539794973.448 * [misc]backup-simplify: Simplify (/ 1/2 (sqrt -1)) into (/ 1/2 (sqrt -1)) 1539794973.448 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539794973.448 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794973.448 * [misc]backup-simplify: Simplify (- 0) into 0 1539794973.448 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539794973.449 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (sqrt -1)))))) (* 2 (sqrt -1))) into 0 1539794973.449 * [misc]backup-simplify: Simplify 0 into 0 1539794973.449 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539794973.449 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794973.449 * [misc]backup-simplify: Simplify (- 0) into 0 1539794973.449 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539794973.450 * [misc]backup-simplify: Simplify (/ (- 0 (pow (/ 1/2 (sqrt -1)) 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3)) 1539794973.451 * [misc]backup-simplify: Simplify (/ -1/8 (pow (sqrt -1) 3)) into (/ -1/8 (pow (sqrt -1) 3)) 1539794973.452 * [misc]backup-simplify: Simplify (+ (* (/ -1/8 (pow (sqrt -1) 3)) (pow (/ 1 x) 3)) (+ (* (/ 1/2 (sqrt -1)) (/ 1 x)) (* (sqrt -1) (/ 1 (/ 1 x))))) into (- (+ (* x (sqrt -1)) (* 1/2 (/ 1 (* x (sqrt -1))))) (* 1/8 (/ 1 (* (pow x 3) (pow (sqrt -1) 3))))) 1539794973.452 * [misc]backup-simplify: Simplify (sqrt (- 1 (* (/ 1 (- x)) (/ 1 (- x))))) into (sqrt (- 1 (/ 1 (pow x 2)))) 1539794973.452 * [misc]approximate: Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in (x) around 0 1539794973.452 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x 1539794973.452 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x 1539794973.452 * [misc]taylor: Taking taylor expansion of 1 in x 1539794973.452 * [misc]backup-simplify: Simplify 1 into 1 1539794973.452 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1539794973.452 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1539794973.452 * [misc]taylor: Taking taylor expansion of x in x 1539794973.452 * [misc]backup-simplify: Simplify 0 into 0 1539794973.452 * [misc]backup-simplify: Simplify 1 into 1 1539794973.452 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794973.452 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539794973.452 * [misc]backup-simplify: Simplify (- 1) into -1 1539794973.453 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539794973.453 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1539794973.453 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794973.453 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1539794973.453 * [misc]backup-simplify: Simplify (- 0) into 0 1539794973.453 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539794973.453 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt -1))) into 0 1539794973.453 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x 1539794973.453 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x 1539794973.453 * [misc]taylor: Taking taylor expansion of 1 in x 1539794973.453 * [misc]backup-simplify: Simplify 1 into 1 1539794973.453 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1539794973.453 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1539794973.453 * [misc]taylor: Taking taylor expansion of x in x 1539794973.453 * [misc]backup-simplify: Simplify 0 into 0 1539794973.453 * [misc]backup-simplify: Simplify 1 into 1 1539794973.454 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794973.454 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539794973.454 * [misc]backup-simplify: Simplify (- 1) into -1 1539794973.454 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539794973.454 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1539794973.454 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794973.454 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1539794973.454 * [misc]backup-simplify: Simplify (- 0) into 0 1539794973.454 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539794973.455 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt -1))) into 0 1539794973.455 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1539794973.455 * [misc]backup-simplify: Simplify 0 into 0 1539794973.455 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794973.455 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794973.455 * [misc]backup-simplify: Simplify (- 0) into 0 1539794973.455 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539794973.456 * [misc]backup-simplify: Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1)) 1539794973.456 * [misc]backup-simplify: Simplify (/ 1/2 (sqrt -1)) into (/ 1/2 (sqrt -1)) 1539794973.457 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539794973.457 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794973.457 * [misc]backup-simplify: Simplify (- 0) into 0 1539794973.457 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539794973.457 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (sqrt -1)))))) (* 2 (sqrt -1))) into 0 1539794973.457 * [misc]backup-simplify: Simplify 0 into 0 1539794973.457 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539794973.458 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794973.458 * [misc]backup-simplify: Simplify (- 0) into 0 1539794973.458 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539794973.459 * [misc]backup-simplify: Simplify (/ (- 0 (pow (/ 1/2 (sqrt -1)) 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3)) 1539794973.460 * [misc]backup-simplify: Simplify (/ -1/8 (pow (sqrt -1) 3)) into (/ -1/8 (pow (sqrt -1) 3)) 1539794973.460 * [misc]backup-simplify: Simplify (+ (* (/ -1/8 (pow (sqrt -1) 3)) (pow (/ 1 (- x)) 3)) (+ (* (/ 1/2 (sqrt -1)) (/ 1 (- x))) (* (sqrt -1) (/ 1 (/ 1 (- x)))))) into (- (* 1/8 (/ 1 (* (pow x 3) (pow (sqrt -1) 3)))) (+ (* x (sqrt -1)) (* 1/2 (/ 1 (* x (sqrt -1)))))) 1539794973.460 * * * * [misc]progress: [ 2 / 3 ] generating series at (2 1 2) 1539794973.461 * [misc]backup-simplify: Simplify (/ (sqrt (- 1 (* x x))) x) into (* (/ 1 x) (sqrt (- 1 (pow x 2)))) 1539794973.461 * [misc]approximate: Taking taylor expansion of (* (/ 1 x) (sqrt (- 1 (pow x 2)))) in (x) around 0 1539794973.461 * [misc]taylor: Taking taylor expansion of (* (/ 1 x) (sqrt (- 1 (pow x 2)))) in x 1539794973.461 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539794973.461 * [misc]taylor: Taking taylor expansion of x in x 1539794973.461 * [misc]backup-simplify: Simplify 0 into 0 1539794973.461 * [misc]backup-simplify: Simplify 1 into 1 1539794973.461 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539794973.461 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (pow x 2))) in x 1539794973.461 * [misc]taylor: Taking taylor expansion of (- 1 (pow x 2)) in x 1539794973.461 * [misc]taylor: Taking taylor expansion of 1 in x 1539794973.461 * [misc]backup-simplify: Simplify 1 into 1 1539794973.461 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1539794973.461 * [misc]taylor: Taking taylor expansion of x in x 1539794973.461 * [misc]backup-simplify: Simplify 0 into 0 1539794973.461 * [misc]backup-simplify: Simplify 1 into 1 1539794973.461 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539794973.461 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1539794973.461 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539794973.461 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 1))) into 0 1539794973.461 * [misc]taylor: Taking taylor expansion of (* (/ 1 x) (sqrt (- 1 (pow x 2)))) in x 1539794973.461 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539794973.461 * [misc]taylor: Taking taylor expansion of x in x 1539794973.461 * [misc]backup-simplify: Simplify 0 into 0 1539794973.462 * [misc]backup-simplify: Simplify 1 into 1 1539794973.462 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539794973.462 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (pow x 2))) in x 1539794973.462 * [misc]taylor: Taking taylor expansion of (- 1 (pow x 2)) in x 1539794973.462 * [misc]taylor: Taking taylor expansion of 1 in x 1539794973.462 * [misc]backup-simplify: Simplify 1 into 1 1539794973.462 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1539794973.462 * [misc]taylor: Taking taylor expansion of x in x 1539794973.462 * [misc]backup-simplify: Simplify 0 into 0 1539794973.462 * [misc]backup-simplify: Simplify 1 into 1 1539794973.462 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539794973.462 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1539794973.462 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539794973.462 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 1))) into 0 1539794973.462 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794973.462 * [misc]backup-simplify: Simplify 1 into 1 1539794973.463 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1539794973.463 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794973.463 * [misc]backup-simplify: Simplify 0 into 0 1539794973.463 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794973.463 * [misc]backup-simplify: Simplify (- 1) into -1 1539794973.463 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539794973.464 * [misc]backup-simplify: Simplify (/ (- -1 (pow 0 2) (+)) (* 2 1)) into -1/2 1539794973.464 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794973.465 * [misc]backup-simplify: Simplify (+ (* 1 -1/2) (+ (* 0 0) (* 0 1))) into -1/2 1539794973.465 * [misc]backup-simplify: Simplify -1/2 into -1/2 1539794973.465 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794973.465 * [misc]backup-simplify: Simplify (- 0) into 0 1539794973.465 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539794973.466 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 -1/2)))) (* 2 1)) into 0 1539794973.466 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794973.466 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 -1/2) (+ (* 0 0) (* 0 1)))) into 0 1539794973.466 * [misc]backup-simplify: Simplify 0 into 0 1539794973.467 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794973.467 * [misc]backup-simplify: Simplify (- 0) into 0 1539794973.467 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539794973.469 * [misc]backup-simplify: Simplify (/ (- 0 (pow -1/2 2) (+ (* 2 (* 0 0)))) (* 2 1)) into -1/8 1539794973.469 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794973.470 * [misc]backup-simplify: Simplify (+ (* 1 -1/8) (+ (* 0 0) (+ (* 0 -1/2) (+ (* 0 0) (* 0 1))))) into -1/8 1539794973.470 * [misc]backup-simplify: Simplify -1/8 into -1/8 1539794973.470 * [misc]backup-simplify: Simplify (+ (* -1/8 (pow x 3)) (+ (* -1/2 x) (* 1 (/ 1 x)))) into (- (/ 1 x) (+ (* 1/2 x) (* 1/8 (pow x 3)))) 1539794973.470 * [misc]backup-simplify: Simplify (/ (sqrt (- 1 (* (/ 1 x) (/ 1 x)))) (/ 1 x)) into (* x (sqrt (- 1 (/ 1 (pow x 2))))) 1539794973.470 * [misc]approximate: Taking taylor expansion of (* x (sqrt (- 1 (/ 1 (pow x 2))))) in (x) around 0 1539794973.470 * [misc]taylor: Taking taylor expansion of (* x (sqrt (- 1 (/ 1 (pow x 2))))) in x 1539794973.470 * [misc]taylor: Taking taylor expansion of x in x 1539794973.470 * [misc]backup-simplify: Simplify 0 into 0 1539794973.470 * [misc]backup-simplify: Simplify 1 into 1 1539794973.471 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x 1539794973.471 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x 1539794973.471 * [misc]taylor: Taking taylor expansion of 1 in x 1539794973.471 * [misc]backup-simplify: Simplify 1 into 1 1539794973.471 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1539794973.471 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1539794973.471 * [misc]taylor: Taking taylor expansion of x in x 1539794973.471 * [misc]backup-simplify: Simplify 0 into 0 1539794973.471 * [misc]backup-simplify: Simplify 1 into 1 1539794973.471 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794973.471 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539794973.471 * [misc]backup-simplify: Simplify (- 1) into -1 1539794973.472 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539794973.472 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1539794973.472 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794973.472 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1539794973.472 * [misc]backup-simplify: Simplify (- 0) into 0 1539794973.472 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539794973.473 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt -1))) into 0 1539794973.473 * [misc]taylor: Taking taylor expansion of (* x (sqrt (- 1 (/ 1 (pow x 2))))) in x 1539794973.473 * [misc]taylor: Taking taylor expansion of x in x 1539794973.473 * [misc]backup-simplify: Simplify 0 into 0 1539794973.473 * [misc]backup-simplify: Simplify 1 into 1 1539794973.473 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x 1539794973.473 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x 1539794973.473 * [misc]taylor: Taking taylor expansion of 1 in x 1539794973.473 * [misc]backup-simplify: Simplify 1 into 1 1539794973.473 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1539794973.473 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1539794973.473 * [misc]taylor: Taking taylor expansion of x in x 1539794973.473 * [misc]backup-simplify: Simplify 0 into 0 1539794973.473 * [misc]backup-simplify: Simplify 1 into 1 1539794973.473 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794973.473 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539794973.473 * [misc]backup-simplify: Simplify (- 1) into -1 1539794973.474 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539794973.474 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1539794973.474 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794973.474 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1539794973.474 * [misc]backup-simplify: Simplify (- 0) into 0 1539794973.475 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539794973.475 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt -1))) into 0 1539794973.475 * [misc]backup-simplify: Simplify (* 0 (sqrt -1)) into 0 1539794973.475 * [misc]backup-simplify: Simplify 0 into 0 1539794973.476 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (sqrt -1))) into (sqrt -1) 1539794973.476 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1539794973.476 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794973.477 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794973.477 * [misc]backup-simplify: Simplify (- 0) into 0 1539794973.477 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539794973.478 * [misc]backup-simplify: Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1)) 1539794973.479 * [misc]backup-simplify: Simplify (+ (* 0 (/ 1/2 (sqrt -1))) (+ (* 1 0) (* 0 (sqrt -1)))) into 0 1539794973.479 * [misc]backup-simplify: Simplify 0 into 0 1539794973.479 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539794973.480 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794973.480 * [misc]backup-simplify: Simplify (- 0) into 0 1539794973.480 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539794973.480 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (sqrt -1)))))) (* 2 (sqrt -1))) into 0 1539794973.482 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 (/ 1/2 (sqrt -1))) (+ (* 0 0) (* 0 (sqrt -1))))) into (* 1/2 (/ 1 (sqrt -1))) 1539794973.482 * [misc]backup-simplify: Simplify (* 1/2 (/ 1 (sqrt -1))) into (/ 1/2 (sqrt -1)) 1539794973.483 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539794973.483 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794973.483 * [misc]backup-simplify: Simplify (- 0) into 0 1539794973.484 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539794973.486 * [misc]backup-simplify: Simplify (/ (- 0 (pow (/ 1/2 (sqrt -1)) 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3)) 1539794973.487 * [misc]backup-simplify: Simplify (+ (* 0 (/ -1/8 (pow (sqrt -1) 3))) (+ (* 1 0) (+ (* 0 (/ 1/2 (sqrt -1))) (+ (* 0 0) (* 0 (sqrt -1)))))) into 0 1539794973.487 * [misc]backup-simplify: Simplify 0 into 0 1539794973.488 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539794973.488 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794973.489 * [misc]backup-simplify: Simplify (- 0) into 0 1539794973.489 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539794973.492 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 (/ -1/8 (pow (sqrt -1) 3)))) (* 2 (* (/ 1/2 (sqrt -1)) 0)))) (* 2 (sqrt -1))) into 0 1539794973.495 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 (/ -1/8 (pow (sqrt -1) 3))) (+ (* 0 0) (+ (* 0 (/ 1/2 (sqrt -1))) (+ (* 0 0) (* 0 (sqrt -1))))))) into (- (* 1/8 (/ 1 (pow (sqrt -1) 3)))) 1539794973.496 * [misc]backup-simplify: Simplify (- (* 1/8 (/ 1 (pow (sqrt -1) 3)))) into (- (* 1/8 (/ 1 (pow (sqrt -1) 3)))) 1539794973.498 * [misc]backup-simplify: Simplify (+ (* (- (* 1/8 (/ 1 (pow (sqrt -1) 3)))) (pow (/ 1 x) 4)) (+ (* (/ 1/2 (sqrt -1)) (pow (/ 1 x) 2)) (sqrt -1))) into (- (+ (* 1/2 (/ 1 (* (pow x 2) (sqrt -1)))) (sqrt -1)) (* 1/8 (/ 1 (* (pow x 4) (pow (sqrt -1) 3))))) 1539794973.498 * [misc]backup-simplify: Simplify (/ (sqrt (- 1 (* (/ 1 (- x)) (/ 1 (- x))))) (/ 1 (- x))) into (* -1 (* x (sqrt (- 1 (/ 1 (pow x 2)))))) 1539794973.498 * [misc]approximate: Taking taylor expansion of (* -1 (* x (sqrt (- 1 (/ 1 (pow x 2)))))) in (x) around 0 1539794973.499 * [misc]taylor: Taking taylor expansion of (* -1 (* x (sqrt (- 1 (/ 1 (pow x 2)))))) in x 1539794973.499 * [misc]taylor: Taking taylor expansion of -1 in x 1539794973.499 * [misc]backup-simplify: Simplify -1 into -1 1539794973.499 * [misc]taylor: Taking taylor expansion of (* x (sqrt (- 1 (/ 1 (pow x 2))))) in x 1539794973.499 * [misc]taylor: Taking taylor expansion of x in x 1539794973.499 * [misc]backup-simplify: Simplify 0 into 0 1539794973.499 * [misc]backup-simplify: Simplify 1 into 1 1539794973.499 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x 1539794973.499 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x 1539794973.499 * [misc]taylor: Taking taylor expansion of 1 in x 1539794973.499 * [misc]backup-simplify: Simplify 1 into 1 1539794973.499 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1539794973.499 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1539794973.499 * [misc]taylor: Taking taylor expansion of x in x 1539794973.499 * [misc]backup-simplify: Simplify 0 into 0 1539794973.499 * [misc]backup-simplify: Simplify 1 into 1 1539794973.499 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794973.499 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539794973.499 * [misc]backup-simplify: Simplify (- 1) into -1 1539794973.500 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539794973.500 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1539794973.500 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794973.500 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1539794973.501 * [misc]backup-simplify: Simplify (- 0) into 0 1539794973.501 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539794973.501 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt -1))) into 0 1539794973.501 * [misc]taylor: Taking taylor expansion of (* -1 (* x (sqrt (- 1 (/ 1 (pow x 2)))))) in x 1539794973.501 * [misc]taylor: Taking taylor expansion of -1 in x 1539794973.501 * [misc]backup-simplify: Simplify -1 into -1 1539794973.501 * [misc]taylor: Taking taylor expansion of (* x (sqrt (- 1 (/ 1 (pow x 2))))) in x 1539794973.501 * [misc]taylor: Taking taylor expansion of x in x 1539794973.501 * [misc]backup-simplify: Simplify 0 into 0 1539794973.501 * [misc]backup-simplify: Simplify 1 into 1 1539794973.501 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x 1539794973.501 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x 1539794973.501 * [misc]taylor: Taking taylor expansion of 1 in x 1539794973.501 * [misc]backup-simplify: Simplify 1 into 1 1539794973.501 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1539794973.501 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1539794973.501 * [misc]taylor: Taking taylor expansion of x in x 1539794973.501 * [misc]backup-simplify: Simplify 0 into 0 1539794973.501 * [misc]backup-simplify: Simplify 1 into 1 1539794973.502 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794973.502 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539794973.502 * [misc]backup-simplify: Simplify (- 1) into -1 1539794973.502 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539794973.502 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1539794973.502 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794973.503 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1539794973.503 * [misc]backup-simplify: Simplify (- 0) into 0 1539794973.503 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539794973.503 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt -1))) into 0 1539794973.503 * [misc]backup-simplify: Simplify (* 0 (sqrt -1)) into 0 1539794973.504 * [misc]backup-simplify: Simplify (* -1 0) into 0 1539794973.504 * [misc]backup-simplify: Simplify 0 into 0 1539794973.504 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (sqrt -1))) into (sqrt -1) 1539794973.505 * [misc]backup-simplify: Simplify (+ (* -1 (sqrt -1)) (* 0 0)) into (- (sqrt -1)) 1539794973.505 * [misc]backup-simplify: Simplify (- (sqrt -1)) into (- (sqrt -1)) 1539794973.506 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794973.506 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794973.506 * [misc]backup-simplify: Simplify (- 0) into 0 1539794973.506 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539794973.508 * [misc]backup-simplify: Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1)) 1539794973.508 * [misc]backup-simplify: Simplify (+ (* 0 (/ 1/2 (sqrt -1))) (+ (* 1 0) (* 0 (sqrt -1)))) into 0 1539794973.508 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 (sqrt -1)) (* 0 0))) into 0 1539794973.508 * [misc]backup-simplify: Simplify 0 into 0 1539794973.509 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539794973.509 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794973.509 * [misc]backup-simplify: Simplify (- 0) into 0 1539794973.509 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539794973.510 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (sqrt -1)))))) (* 2 (sqrt -1))) into 0 1539794973.511 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 (/ 1/2 (sqrt -1))) (+ (* 0 0) (* 0 (sqrt -1))))) into (* 1/2 (/ 1 (sqrt -1))) 1539794973.513 * [misc]backup-simplify: Simplify (+ (* -1 (* 1/2 (/ 1 (sqrt -1)))) (+ (* 0 0) (+ (* 0 (sqrt -1)) (* 0 0)))) into (- (* 1/2 (/ 1 (sqrt -1)))) 1539794973.513 * [misc]backup-simplify: Simplify (- (* 1/2 (/ 1 (sqrt -1)))) into (- (* 1/2 (/ 1 (sqrt -1)))) 1539794973.514 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1539794973.514 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794973.514 * [misc]backup-simplify: Simplify (- 0) into 0 1539794973.515 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539794973.517 * [misc]backup-simplify: Simplify (/ (- 0 (pow (/ 1/2 (sqrt -1)) 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3)) 1539794973.519 * [misc]backup-simplify: Simplify (+ (* 0 (/ -1/8 (pow (sqrt -1) 3))) (+ (* 1 0) (+ (* 0 (/ 1/2 (sqrt -1))) (+ (* 0 0) (* 0 (sqrt -1)))))) into 0 1539794973.520 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 (* 1/2 (/ 1 (sqrt -1)))) (+ (* 0 0) (+ (* 0 (sqrt -1)) (* 0 0))))) into 0 1539794973.520 * [misc]backup-simplify: Simplify 0 into 0 1539794973.520 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1539794973.521 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794973.521 * [misc]backup-simplify: Simplify (- 0) into 0 1539794973.521 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539794973.524 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 (/ -1/8 (pow (sqrt -1) 3)))) (* 2 (* (/ 1/2 (sqrt -1)) 0)))) (* 2 (sqrt -1))) into 0 1539794973.527 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 (/ -1/8 (pow (sqrt -1) 3))) (+ (* 0 0) (+ (* 0 (/ 1/2 (sqrt -1))) (+ (* 0 0) (* 0 (sqrt -1))))))) into (- (* 1/8 (/ 1 (pow (sqrt -1) 3)))) 1539794973.529 * [misc]backup-simplify: Simplify (+ (* -1 (- (* 1/8 (/ 1 (pow (sqrt -1) 3))))) (+ (* 0 0) (+ (* 0 (* 1/2 (/ 1 (sqrt -1)))) (+ (* 0 0) (+ (* 0 (sqrt -1)) (* 0 0)))))) into (* 1/8 (/ 1 (pow (sqrt -1) 3))) 1539794973.530 * [misc]backup-simplify: Simplify (* 1/8 (/ 1 (pow (sqrt -1) 3))) into (/ 1/8 (pow (sqrt -1) 3)) 1539794973.532 * [misc]backup-simplify: Simplify (+ (* (/ 1/8 (pow (sqrt -1) 3)) (pow (/ 1 (- x)) 4)) (+ (* (- (* 1/2 (/ 1 (sqrt -1)))) (pow (/ 1 (- x)) 2)) (- (sqrt -1)))) into (- (* 1/8 (/ 1 (* (pow x 4) (pow (sqrt -1) 3)))) (+ (* 1/2 (/ 1 (* (pow x 2) (sqrt -1)))) (sqrt -1))) 1539794973.532 * * * * [misc]progress: [ 3 / 3 ] generating series at (2 1) 1539794973.533 * [misc]backup-simplify: Simplify (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)) into (+ (/ 1 x) (* (/ 1 x) (sqrt (- 1 (pow x 2))))) 1539794973.533 * [misc]approximate: Taking taylor expansion of (+ (/ 1 x) (* (/ 1 x) (sqrt (- 1 (pow x 2))))) in (x) around 0 1539794973.533 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) (* (/ 1 x) (sqrt (- 1 (pow x 2))))) in x 1539794973.533 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539794973.533 * [misc]taylor: Taking taylor expansion of x in x 1539794973.533 * [misc]backup-simplify: Simplify 0 into 0 1539794973.533 * [misc]backup-simplify: Simplify 1 into 1 1539794973.533 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539794973.533 * [misc]taylor: Taking taylor expansion of (* (/ 1 x) (sqrt (- 1 (pow x 2)))) in x 1539794973.533 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539794973.533 * [misc]taylor: Taking taylor expansion of x in x 1539794973.533 * [misc]backup-simplify: Simplify 0 into 0 1539794973.533 * [misc]backup-simplify: Simplify 1 into 1 1539794973.533 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539794973.533 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (pow x 2))) in x 1539794973.533 * [misc]taylor: Taking taylor expansion of (- 1 (pow x 2)) in x 1539794973.533 * [misc]taylor: Taking taylor expansion of 1 in x 1539794973.533 * [misc]backup-simplify: Simplify 1 into 1 1539794973.533 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1539794973.534 * [misc]taylor: Taking taylor expansion of x in x 1539794973.534 * [misc]backup-simplify: Simplify 0 into 0 1539794973.534 * [misc]backup-simplify: Simplify 1 into 1 1539794973.534 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539794973.534 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1539794973.534 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539794973.534 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 1))) into 0 1539794973.534 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) (* (/ 1 x) (sqrt (- 1 (pow x 2))))) in x 1539794973.534 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539794973.534 * [misc]taylor: Taking taylor expansion of x in x 1539794973.534 * [misc]backup-simplify: Simplify 0 into 0 1539794973.534 * [misc]backup-simplify: Simplify 1 into 1 1539794973.535 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539794973.535 * [misc]taylor: Taking taylor expansion of (* (/ 1 x) (sqrt (- 1 (pow x 2)))) in x 1539794973.535 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539794973.535 * [misc]taylor: Taking taylor expansion of x in x 1539794973.535 * [misc]backup-simplify: Simplify 0 into 0 1539794973.535 * [misc]backup-simplify: Simplify 1 into 1 1539794973.535 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539794973.535 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (pow x 2))) in x 1539794973.535 * [misc]taylor: Taking taylor expansion of (- 1 (pow x 2)) in x 1539794973.535 * [misc]taylor: Taking taylor expansion of 1 in x 1539794973.535 * [misc]backup-simplify: Simplify 1 into 1 1539794973.535 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1539794973.535 * [misc]taylor: Taking taylor expansion of x in x 1539794973.535 * [misc]backup-simplify: Simplify 0 into 0 1539794973.535 * [misc]backup-simplify: Simplify 1 into 1 1539794973.535 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539794973.535 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1539794973.536 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539794973.536 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 1))) into 0 1539794973.536 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794973.536 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1539794973.536 * [misc]backup-simplify: Simplify 2 into 2 1539794973.536 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1539794973.537 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1539794973.537 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794973.537 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539794973.537 * [misc]backup-simplify: Simplify 0 into 0 1539794973.537 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794973.537 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794973.538 * [misc]backup-simplify: Simplify (- 1) into -1 1539794973.538 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539794973.539 * [misc]backup-simplify: Simplify (/ (- -1 (pow 0 2) (+)) (* 2 1)) into -1/2 1539794973.539 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794973.540 * [misc]backup-simplify: Simplify (+ (* 1 -1/2) (+ (* 0 0) (* 0 1))) into -1/2 1539794973.540 * [misc]backup-simplify: Simplify (+ 0 -1/2) into -1/2 1539794973.540 * [misc]backup-simplify: Simplify -1/2 into -1/2 1539794973.540 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794973.540 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794973.541 * [misc]backup-simplify: Simplify (- 0) into 0 1539794973.541 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539794973.541 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 -1/2)))) (* 2 1)) into 0 1539794973.541 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794973.542 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 -1/2) (+ (* 0 0) (* 0 1)))) into 0 1539794973.542 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539794973.542 * [misc]backup-simplify: Simplify 0 into 0 1539794973.542 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794973.543 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794973.543 * [misc]backup-simplify: Simplify (- 0) into 0 1539794973.543 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539794973.544 * [misc]backup-simplify: Simplify (/ (- 0 (pow -1/2 2) (+ (* 2 (* 0 0)))) (* 2 1)) into -1/8 1539794973.545 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794973.545 * [misc]backup-simplify: Simplify (+ (* 1 -1/8) (+ (* 0 0) (+ (* 0 -1/2) (+ (* 0 0) (* 0 1))))) into -1/8 1539794973.545 * [misc]backup-simplify: Simplify (+ 0 -1/8) into -1/8 1539794973.545 * [misc]backup-simplify: Simplify -1/8 into -1/8 1539794973.546 * [misc]backup-simplify: Simplify (+ (* -1/8 (pow x 3)) (+ (* -1/2 x) (* 2 (/ 1 x)))) into (- (* 2 (/ 1 x)) (+ (* 1/2 x) (* 1/8 (pow x 3)))) 1539794973.546 * [misc]backup-simplify: Simplify (+ (/ 1 (/ 1 x)) (/ (sqrt (- 1 (* (/ 1 x) (/ 1 x)))) (/ 1 x))) into (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))) 1539794973.546 * [misc]approximate: Taking taylor expansion of (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))) in (x) around 0 1539794973.546 * [misc]taylor: Taking taylor expansion of (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))) in x 1539794973.546 * [misc]taylor: Taking taylor expansion of x in x 1539794973.546 * [misc]backup-simplify: Simplify 0 into 0 1539794973.546 * [misc]backup-simplify: Simplify 1 into 1 1539794973.546 * [misc]taylor: Taking taylor expansion of (* x (sqrt (- 1 (/ 1 (pow x 2))))) in x 1539794973.546 * [misc]taylor: Taking taylor expansion of x in x 1539794973.546 * [misc]backup-simplify: Simplify 0 into 0 1539794973.546 * [misc]backup-simplify: Simplify 1 into 1 1539794973.546 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x 1539794973.546 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x 1539794973.546 * [misc]taylor: Taking taylor expansion of 1 in x 1539794973.546 * [misc]backup-simplify: Simplify 1 into 1 1539794973.546 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1539794973.546 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1539794973.546 * [misc]taylor: Taking taylor expansion of x in x 1539794973.547 * [misc]backup-simplify: Simplify 0 into 0 1539794973.547 * [misc]backup-simplify: Simplify 1 into 1 1539794973.547 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794973.547 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539794973.547 * [misc]backup-simplify: Simplify (- 1) into -1 1539794973.547 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539794973.547 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1539794973.548 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794973.548 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1539794973.548 * [misc]backup-simplify: Simplify (- 0) into 0 1539794973.548 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539794973.548 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt -1))) into 0 1539794973.548 * [misc]taylor: Taking taylor expansion of (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))) in x 1539794973.549 * [misc]taylor: Taking taylor expansion of x in x 1539794973.549 * [misc]backup-simplify: Simplify 0 into 0 1539794973.549 * [misc]backup-simplify: Simplify 1 into 1 1539794973.549 * [misc]taylor: Taking taylor expansion of (* x (sqrt (- 1 (/ 1 (pow x 2))))) in x 1539794973.549 * [misc]taylor: Taking taylor expansion of x in x 1539794973.549 * [misc]backup-simplify: Simplify 0 into 0 1539794973.549 * [misc]backup-simplify: Simplify 1 into 1 1539794973.549 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x 1539794973.549 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x 1539794973.549 * [misc]taylor: Taking taylor expansion of 1 in x 1539794973.549 * [misc]backup-simplify: Simplify 1 into 1 1539794973.549 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1539794973.549 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1539794973.549 * [misc]taylor: Taking taylor expansion of x in x 1539794973.549 * [misc]backup-simplify: Simplify 0 into 0 1539794973.549 * [misc]backup-simplify: Simplify 1 into 1 1539794973.549 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794973.549 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539794973.549 * [misc]backup-simplify: Simplify (- 1) into -1 1539794973.550 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539794973.550 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1539794973.550 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794973.550 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1539794973.550 * [misc]backup-simplify: Simplify (- 0) into 0 1539794973.550 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539794973.551 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt -1))) into 0 1539794973.551 * [misc]backup-simplify: Simplify (* 0 (sqrt -1)) into 0 1539794973.551 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539794973.551 * [misc]backup-simplify: Simplify 0 into 0 1539794973.552 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (sqrt -1))) into (sqrt -1) 1539794973.552 * [misc]backup-simplify: Simplify (+ 0 (sqrt -1)) into (sqrt -1) 1539794973.552 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1539794973.553 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794973.553 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794973.553 * [misc]backup-simplify: Simplify (- 0) into 0 1539794973.553 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539794973.555 * [misc]backup-simplify: Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1)) 1539794973.555 * [misc]backup-simplify: Simplify (+ (* 0 (/ 1/2 (sqrt -1))) (+ (* 1 0) (* 0 (sqrt -1)))) into 0 1539794973.555 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539794973.555 * [misc]backup-simplify: Simplify 1 into 1 1539794973.556 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539794973.556 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794973.556 * [misc]backup-simplify: Simplify (- 0) into 0 1539794973.556 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539794973.557 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (sqrt -1)))))) (* 2 (sqrt -1))) into 0 1539794973.558 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 (/ 1/2 (sqrt -1))) (+ (* 0 0) (* 0 (sqrt -1))))) into (* 1/2 (/ 1 (sqrt -1))) 1539794973.559 * [misc]backup-simplify: Simplify (+ 0 (* 1/2 (/ 1 (sqrt -1)))) into (* 1/2 (/ 1 (sqrt -1))) 1539794973.559 * [misc]backup-simplify: Simplify (* 1/2 (/ 1 (sqrt -1))) into (/ 1/2 (sqrt -1)) 1539794973.560 * [misc]backup-simplify: Simplify (+ (* (/ 1/2 (sqrt -1)) (pow (/ 1 x) 2)) (+ (* 1 (/ 1 x)) (sqrt -1))) into (+ (* 1/2 (/ 1 (* (pow x 2) (sqrt -1)))) (+ (sqrt -1) (/ 1 x))) 1539794973.560 * [misc]backup-simplify: Simplify (+ (/ 1 (/ 1 (- x))) (/ (sqrt (- 1 (* (/ 1 (- x)) (/ 1 (- x))))) (/ 1 (- x)))) into (- (+ x (* x (sqrt (- 1 (/ 1 (pow x 2))))))) 1539794973.560 * [misc]approximate: Taking taylor expansion of (- (+ x (* x (sqrt (- 1 (/ 1 (pow x 2))))))) in (x) around 0 1539794973.560 * [misc]taylor: Taking taylor expansion of (- (+ x (* x (sqrt (- 1 (/ 1 (pow x 2))))))) in x 1539794973.560 * [misc]taylor: Taking taylor expansion of (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))) in x 1539794973.560 * [misc]taylor: Taking taylor expansion of x in x 1539794973.560 * [misc]backup-simplify: Simplify 0 into 0 1539794973.560 * [misc]backup-simplify: Simplify 1 into 1 1539794973.560 * [misc]taylor: Taking taylor expansion of (* x (sqrt (- 1 (/ 1 (pow x 2))))) in x 1539794973.560 * [misc]taylor: Taking taylor expansion of x in x 1539794973.560 * [misc]backup-simplify: Simplify 0 into 0 1539794973.560 * [misc]backup-simplify: Simplify 1 into 1 1539794973.560 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x 1539794973.560 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x 1539794973.560 * [misc]taylor: Taking taylor expansion of 1 in x 1539794973.560 * [misc]backup-simplify: Simplify 1 into 1 1539794973.560 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1539794973.560 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1539794973.560 * [misc]taylor: Taking taylor expansion of x in x 1539794973.560 * [misc]backup-simplify: Simplify 0 into 0 1539794973.560 * [misc]backup-simplify: Simplify 1 into 1 1539794973.560 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794973.560 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539794973.561 * [misc]backup-simplify: Simplify (- 1) into -1 1539794973.561 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539794973.561 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1539794973.561 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794973.561 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1539794973.561 * [misc]backup-simplify: Simplify (- 0) into 0 1539794973.561 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539794973.561 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt -1))) into 0 1539794973.561 * [misc]taylor: Taking taylor expansion of (- (+ x (* x (sqrt (- 1 (/ 1 (pow x 2))))))) in x 1539794973.561 * [misc]taylor: Taking taylor expansion of (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))) in x 1539794973.561 * [misc]taylor: Taking taylor expansion of x in x 1539794973.561 * [misc]backup-simplify: Simplify 0 into 0 1539794973.561 * [misc]backup-simplify: Simplify 1 into 1 1539794973.562 * [misc]taylor: Taking taylor expansion of (* x (sqrt (- 1 (/ 1 (pow x 2))))) in x 1539794973.562 * [misc]taylor: Taking taylor expansion of x in x 1539794973.562 * [misc]backup-simplify: Simplify 0 into 0 1539794973.562 * [misc]backup-simplify: Simplify 1 into 1 1539794973.562 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x 1539794973.562 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x 1539794973.562 * [misc]taylor: Taking taylor expansion of 1 in x 1539794973.562 * [misc]backup-simplify: Simplify 1 into 1 1539794973.562 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1539794973.562 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1539794973.562 * [misc]taylor: Taking taylor expansion of x in x 1539794973.562 * [misc]backup-simplify: Simplify 0 into 0 1539794973.562 * [misc]backup-simplify: Simplify 1 into 1 1539794973.562 * [misc]backup-simplify: Simplify (* 1 1) into 1 1539794973.562 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539794973.562 * [misc]backup-simplify: Simplify (- 1) into -1 1539794973.562 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539794973.562 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1539794973.562 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1539794973.562 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1539794973.563 * [misc]backup-simplify: Simplify (- 0) into 0 1539794973.563 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539794973.563 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt -1))) into 0 1539794973.563 * [misc]backup-simplify: Simplify (* 0 (sqrt -1)) into 0 1539794973.563 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539794973.563 * [misc]backup-simplify: Simplify (- 0) into 0 1539794973.563 * [misc]backup-simplify: Simplify 0 into 0 1539794973.564 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (sqrt -1))) into (sqrt -1) 1539794973.564 * [misc]backup-simplify: Simplify (+ 0 (sqrt -1)) into (sqrt -1) 1539794973.564 * [misc]backup-simplify: Simplify (- (sqrt -1)) into (- (sqrt -1)) 1539794973.564 * [misc]backup-simplify: Simplify (- (sqrt -1)) into (- (sqrt -1)) 1539794973.564 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1539794973.564 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794973.565 * [misc]backup-simplify: Simplify (- 0) into 0 1539794973.565 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539794973.566 * [misc]backup-simplify: Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1)) 1539794973.566 * [misc]backup-simplify: Simplify (+ (* 0 (/ 1/2 (sqrt -1))) (+ (* 1 0) (* 0 (sqrt -1)))) into 0 1539794973.566 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539794973.566 * [misc]backup-simplify: Simplify (- 1) into -1 1539794973.566 * [misc]backup-simplify: Simplify -1 into -1 1539794973.566 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1539794973.566 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539794973.567 * [misc]backup-simplify: Simplify (- 0) into 0 1539794973.567 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539794973.567 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (sqrt -1)))))) (* 2 (sqrt -1))) into 0 1539794973.568 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 (/ 1/2 (sqrt -1))) (+ (* 0 0) (* 0 (sqrt -1))))) into (* 1/2 (/ 1 (sqrt -1))) 1539794973.568 * [misc]backup-simplify: Simplify (+ 0 (* 1/2 (/ 1 (sqrt -1)))) into (* 1/2 (/ 1 (sqrt -1))) 1539794973.569 * [misc]backup-simplify: Simplify (- (* 1/2 (/ 1 (sqrt -1)))) into (- (* 1/2 (/ 1 (sqrt -1)))) 1539794973.571 * [misc]backup-simplify: Simplify (- (* 1/2 (/ 1 (sqrt -1)))) into (- (* 1/2 (/ 1 (sqrt -1)))) 1539794973.572 * [misc]backup-simplify: Simplify (+ (* (- (* 1/2 (/ 1 (sqrt -1)))) (pow (/ 1 (- x)) 2)) (+ (* -1 (/ 1 (- x))) (- (sqrt -1)))) into (- (/ 1 x) (+ (* 1/2 (/ 1 (* (pow x 2) (sqrt -1)))) (sqrt -1))) 1539794973.572 * * * [misc]progress: simplifying candidates 1539794973.572 * * * * [misc]progress: [ 1 / 68 ] simplifiying candidate # 1539794973.572 * * * * [misc]progress: [ 2 / 68 ] simplifiying candidate # 1539794973.572 * * * * [misc]progress: [ 3 / 68 ] simplifiying candidate # 1539794973.572 * * * * [misc]progress: [ 4 / 68 ] simplifiying candidate # 1539794973.572 * * * * [misc]progress: [ 5 / 68 ] simplifiying candidate # 1539794973.572 * * * * [misc]progress: [ 6 / 68 ] simplifiying candidate # 1539794973.572 * * * * [misc]progress: [ 7 / 68 ] simplifiying candidate # 1539794973.572 * * * * [misc]progress: [ 8 / 68 ] simplifiying candidate # 1539794973.572 * * * * [misc]progress: [ 9 / 68 ] simplifiying candidate # 1539794973.572 * [enter]simplify: Simplifying (sqrt (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x))))) 1539794973.572 * * [misc]simplify: iters left: 6 (7 enodes) 1539794973.573 * * [misc]simplify: iters left: 5 (12 enodes) 1539794973.575 * * [misc]simplify: iters left: 4 (16 enodes) 1539794973.577 * * [misc]simplify: iters left: 3 (18 enodes) 1539794973.579 * [exit]simplify: Simplified to (fabs (cbrt (- 1 (* x x)))) 1539794973.579 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (x) (log (+ (/ 1 x) (/ (* (fabs (cbrt (- 1 (* x x)))) (sqrt (cbrt (- 1 (* x x))))) x)))) 1539794973.579 * * * * [misc]progress: [ 10 / 68 ] simplifiying candidate # 1539794973.579 * [enter]simplify: Simplifying (sqrt (sqrt (- 1 (* x x)))) 1539794973.579 * * [misc]simplify: iters left: 6 (6 enodes) 1539794973.580 * * [misc]simplify: iters left: 5 (10 enodes) 1539794973.582 * * [misc]simplify: iters left: 4 (14 enodes) 1539794973.583 * * [misc]simplify: iters left: 3 (16 enodes) 1539794973.585 * [exit]simplify: Simplified to (sqrt (sqrt (- 1 (* x x)))) 1539794973.585 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (x) (log (+ (/ 1 x) (/ (* (sqrt (sqrt (- 1 (* x x)))) (sqrt (sqrt (- 1 (* x x))))) x)))) 1539794973.585 * * * * [misc]progress: [ 11 / 68 ] simplifiying candidate # 1539794973.585 * [enter]simplify: Simplifying (sqrt 1) 1539794973.585 * * [misc]simplify: iters left: 1 (2 enodes) 1539794973.586 * [exit]simplify: Simplified to 1 1539794973.586 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (x) (log (+ (/ 1 x) (/ (* 1 (sqrt (- 1 (* x x)))) x)))) 1539794973.586 * * * * [misc]progress: [ 12 / 68 ] simplifiying candidate # 1539794973.586 * [enter]simplify: Simplifying (sqrt (- (pow 1 3) (pow (* x x) 3))) 1539794973.587 * * [misc]simplify: iters left: 6 (8 enodes) 1539794973.588 * * [misc]simplify: iters left: 5 (19 enodes) 1539794973.591 * * [misc]simplify: iters left: 4 (37 enodes) 1539794973.603 * * [misc]simplify: iters left: 3 (76 enodes) 1539794973.627 * * [misc]simplify: iters left: 2 (83 enodes) 1539794973.640 * * [misc]simplify: iters left: 1 (86 enodes) 1539794973.647 * [exit]simplify: Simplified to (sqrt (- 1 (pow x 6))) 1539794973.647 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (x) (log (+ (/ 1 x) (/ (/ (sqrt (- 1 (pow x 6))) (sqrt (+ (* 1 1) (+ (* (* x x) (* x x)) (* 1 (* x x)))))) x)))) 1539794973.647 * * * * [misc]progress: [ 13 / 68 ] simplifiying candidate # 1539794973.647 * [enter]simplify: Simplifying (sqrt (- (* 1 1) (* (* x x) (* x x)))) 1539794973.647 * * [misc]simplify: iters left: 6 (7 enodes) 1539794973.649 * * [misc]simplify: iters left: 5 (16 enodes) 1539794973.651 * * [misc]simplify: iters left: 4 (29 enodes) 1539794973.656 * * [misc]simplify: iters left: 3 (50 enodes) 1539794973.661 * * [misc]simplify: iters left: 2 (54 enodes) 1539794973.667 * [exit]simplify: Simplified to (sqrt (- 1 (pow x 4))) 1539794973.667 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (x) (log (+ (/ 1 x) (/ (/ (sqrt (- 1 (pow x 4))) (sqrt (+ 1 (* x x)))) x)))) 1539794973.667 * * * * [misc]progress: [ 14 / 68 ] simplifiying candidate # 1539794973.667 * * * * [misc]progress: [ 15 / 68 ] simplifiying candidate # 1539794973.667 * [enter]simplify: Simplifying (sqrt (- 1 (* x x))) 1539794973.667 * * [misc]simplify: iters left: 5 (5 enodes) 1539794973.668 * * [misc]simplify: iters left: 4 (9 enodes) 1539794973.669 * * [misc]simplify: iters left: 3 (13 enodes) 1539794973.671 * * [misc]simplify: iters left: 2 (15 enodes) 1539794973.673 * [exit]simplify: Simplified to (sqrt (- 1 (* x x))) 1539794973.673 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (x) (log (+ (/ 1 x) (/ (fabs (sqrt (- 1 (* x x)))) x)))) 1539794973.673 * * * * [misc]progress: [ 16 / 68 ] simplifiying candidate # 1539794973.673 * * * * [misc]progress: [ 17 / 68 ] simplifiying candidate # 1539794973.673 * * * * [misc]progress: [ 18 / 68 ] simplifiying candidate # 1539794973.673 * * * * [misc]progress: [ 19 / 68 ] simplifiying candidate # 1539794973.673 * * * * [misc]progress: [ 20 / 68 ] simplifiying candidate # 1539794973.673 * * * * [misc]progress: [ 21 / 68 ] simplifiying candidate # 1539794973.673 * * * * [misc]progress: [ 22 / 68 ] simplifiying candidate # 1539794973.673 * * * * [misc]progress: [ 23 / 68 ] simplifiying candidate # 1539794973.673 * * * * [misc]progress: [ 24 / 68 ] simplifiying candidate # 1539794973.673 * * * * [misc]progress: [ 25 / 68 ] simplifiying candidate # 1539794973.673 * * * * [misc]progress: [ 26 / 68 ] simplifiying candidate # 1539794973.673 * * * * [misc]progress: [ 27 / 68 ] simplifiying candidate # 1539794973.673 * * * * [misc]progress: [ 28 / 68 ] simplifiying candidate # 1539794973.673 * * * * [misc]progress: [ 29 / 68 ] simplifiying candidate # 1539794973.673 * [enter]simplify: Simplifying (* (cbrt (sqrt (- 1 (* x x)))) (cbrt (sqrt (- 1 (* x x))))) 1539794973.674 * * [misc]simplify: iters left: 6 (7 enodes) 1539794973.675 * * [misc]simplify: iters left: 5 (11 enodes) 1539794973.677 * * [misc]simplify: iters left: 4 (15 enodes) 1539794973.681 * * [misc]simplify: iters left: 3 (17 enodes) 1539794973.686 * [exit]simplify: Simplified to (* (cbrt (sqrt (- 1 (* x x)))) (cbrt (sqrt (- 1 (* x x))))) 1539794973.686 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (log (+ (/ 1 x) (/ (* (cbrt (sqrt (- 1 (* x x)))) (cbrt (sqrt (- 1 (* x x))))) (/ x (cbrt (sqrt (- 1 (* x x))))))))) 1539794973.686 * * * * [misc]progress: [ 30 / 68 ] simplifiying candidate # 1539794973.686 * [enter]simplify: Simplifying (sqrt (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x))))) 1539794973.686 * * [misc]simplify: iters left: 6 (7 enodes) 1539794973.688 * * [misc]simplify: iters left: 5 (12 enodes) 1539794973.691 * * [misc]simplify: iters left: 4 (16 enodes) 1539794973.696 * * [misc]simplify: iters left: 3 (18 enodes) 1539794973.700 * [exit]simplify: Simplified to (fabs (cbrt (- 1 (* x x)))) 1539794973.700 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (log (+ (/ 1 x) (/ (fabs (cbrt (- 1 (* x x)))) (/ x (sqrt (cbrt (- 1 (* x x))))))))) 1539794973.700 * * * * [misc]progress: [ 31 / 68 ] simplifiying candidate # 1539794973.700 * [enter]simplify: Simplifying (sqrt (sqrt (- 1 (* x x)))) 1539794973.700 * * [misc]simplify: iters left: 6 (6 enodes) 1539794973.702 * * [misc]simplify: iters left: 5 (10 enodes) 1539794973.705 * * [misc]simplify: iters left: 4 (14 enodes) 1539794973.709 * * [misc]simplify: iters left: 3 (16 enodes) 1539794973.712 * [exit]simplify: Simplified to (sqrt (sqrt (- 1 (* x x)))) 1539794973.713 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (log (+ (/ 1 x) (/ (sqrt (sqrt (- 1 (* x x)))) (/ x (sqrt (sqrt (- 1 (* x x))))))))) 1539794973.713 * * * * [misc]progress: [ 32 / 68 ] simplifiying candidate # 1539794973.713 * [enter]simplify: Simplifying (sqrt 1) 1539794973.713 * * [misc]simplify: iters left: 1 (2 enodes) 1539794973.714 * [exit]simplify: Simplified to 1 1539794973.714 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (log (+ (/ 1 x) (/ 1 (/ x (sqrt (- 1 (* x x)))))))) 1539794973.714 * * * * [misc]progress: [ 33 / 68 ] simplifiying candidate # 1539794973.714 * [enter]simplify: Simplifying (sqrt (sqrt (- 1 (* x x)))) 1539794973.715 * * [misc]simplify: iters left: 6 (6 enodes) 1539794973.716 * * [misc]simplify: iters left: 5 (10 enodes) 1539794973.719 * * [misc]simplify: iters left: 4 (14 enodes) 1539794973.723 * * [misc]simplify: iters left: 3 (16 enodes) 1539794973.727 * [exit]simplify: Simplified to (sqrt (sqrt (- 1 (* x x)))) 1539794973.727 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (log (+ (/ 1 x) (/ (sqrt (sqrt (- 1 (* x x)))) (/ x (sqrt (sqrt (- 1 (* x x))))))))) 1539794973.727 * * * * [misc]progress: [ 34 / 68 ] simplifiying candidate # 1539794973.727 * * * * [misc]progress: [ 35 / 68 ] simplifiying candidate # 1539794973.727 * [enter]simplify: Simplifying (sqrt (- (pow 1 3) (pow (* x x) 3))) 1539794973.727 * * [misc]simplify: iters left: 6 (8 enodes) 1539794973.731 * * [misc]simplify: iters left: 5 (19 enodes) 1539794973.736 * * [misc]simplify: iters left: 4 (37 enodes) 1539794973.746 * * [misc]simplify: iters left: 3 (76 enodes) 1539794973.758 * * [misc]simplify: iters left: 2 (83 enodes) 1539794973.767 * * [misc]simplify: iters left: 1 (86 enodes) 1539794973.779 * [exit]simplify: Simplified to (sqrt (- 1 (pow x 6))) 1539794973.779 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (log (+ (/ 1 x) (/ (sqrt (- 1 (pow x 6))) (* x (sqrt (+ (* 1 1) (+ (* (* x x) (* x x)) (* 1 (* x x)))))))))) 1539794973.779 * * * * [misc]progress: [ 36 / 68 ] simplifiying candidate # 1539794973.780 * [enter]simplify: Simplifying (sqrt (- (* 1 1) (* (* x x) (* x x)))) 1539794973.780 * * [misc]simplify: iters left: 6 (7 enodes) 1539794973.782 * * [misc]simplify: iters left: 5 (16 enodes) 1539794973.787 * * [misc]simplify: iters left: 4 (29 enodes) 1539794973.796 * * [misc]simplify: iters left: 3 (50 enodes) 1539794973.805 * * [misc]simplify: iters left: 2 (54 enodes) 1539794973.810 * [exit]simplify: Simplified to (sqrt (- 1 (pow x 4))) 1539794973.810 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (log (+ (/ 1 x) (/ (sqrt (- 1 (pow x 4))) (* x (sqrt (+ 1 (* x x)))))))) 1539794973.810 * * * * [misc]progress: [ 37 / 68 ] simplifiying candidate # 1539794973.811 * * * * [misc]progress: [ 38 / 68 ] simplifiying candidate # 1539794973.811 * * * * [misc]progress: [ 39 / 68 ] simplifiying candidate # 1539794973.811 * [enter]simplify: Simplifying (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) 1539794973.811 * * [misc]simplify: iters left: 5 (5 enodes) 1539794973.812 * * [misc]simplify: iters left: 4 (7 enodes) 1539794973.812 * [exit]simplify: Simplified to (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) 1539794973.812 * [misc]simplify: Simplified (2 1 1) to (λ (x) (log (fma (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) (cbrt (/ 1 x)) (/ (sqrt (- 1 (* x x))) x)))) 1539794973.812 * * * * [misc]progress: [ 40 / 68 ] simplifiying candidate # 1539794973.813 * [enter]simplify: Simplifying (sqrt (/ 1 x)) 1539794973.813 * * [misc]simplify: iters left: 3 (4 enodes) 1539794973.813 * * [misc]simplify: iters left: 2 (6 enodes) 1539794973.814 * [exit]simplify: Simplified to (sqrt (/ 1 x)) 1539794973.814 * [misc]simplify: Simplified (2 1 1) to (λ (x) (log (fma (sqrt (/ 1 x)) (sqrt (/ 1 x)) (/ (sqrt (- 1 (* x x))) x)))) 1539794973.814 * * * * [misc]progress: [ 41 / 68 ] simplifiying candidate # 1539794973.814 * * * * [misc]progress: [ 42 / 68 ] simplifiying candidate # 1539794973.814 * * * * [misc]progress: [ 43 / 68 ] simplifiying candidate # 1539794973.814 * [enter]simplify: Simplifying (* (exp (/ 1 x)) (exp (/ (sqrt (- 1 (* x x))) x))) 1539794973.814 * * [misc]simplify: iters left: 6 (10 enodes) 1539794973.816 * * [misc]simplify: iters left: 5 (17 enodes) 1539794973.818 * * [misc]simplify: iters left: 4 (23 enodes) 1539794973.821 * * [misc]simplify: iters left: 3 (25 enodes) 1539794973.824 * [exit]simplify: Simplified to (exp (+ (/ (sqrt (- 1 (* x x))) x) (/ 1 x))) 1539794973.824 * [misc]simplify: Simplified (2 1 1) to (λ (x) (log (log (exp (+ (/ (sqrt (- 1 (* x x))) x) (/ 1 x)))))) 1539794973.824 * * * * [misc]progress: [ 44 / 68 ] simplifiying candidate # 1539794973.824 * * * * [misc]progress: [ 45 / 68 ] simplifiying candidate # 1539794973.824 * * * * [misc]progress: [ 46 / 68 ] simplifiying candidate # 1539794973.824 * * * * [misc]progress: [ 47 / 68 ] simplifiying candidate # 1539794973.824 * * * * [misc]progress: [ 48 / 68 ] simplifiying candidate # 1539794973.824 * * * * [misc]progress: [ 49 / 68 ] simplifiying candidate # 1539794973.825 * * * * [misc]progress: [ 50 / 68 ] simplifiying candidate # 1539794973.825 * [enter]simplify: Simplifying (+ (* 1 x) (* x (sqrt (- 1 (* x x))))) 1539794973.825 * * [misc]simplify: iters left: 6 (8 enodes) 1539794973.828 * * [misc]simplify: iters left: 5 (15 enodes) 1539794973.832 * * [misc]simplify: iters left: 4 (23 enodes) 1539794973.837 * * [misc]simplify: iters left: 3 (27 enodes) 1539794973.843 * * [misc]simplify: iters left: 2 (30 enodes) 1539794973.853 * * [misc]simplify: iters left: 1 (33 enodes) 1539794973.859 * [exit]simplify: Simplified to (fma x (sqrt (- 1 (* x x))) x) 1539794973.859 * [misc]simplify: Simplified (2 1 1) to (λ (x) (log (/ (fma x (sqrt (- 1 (* x x))) x) (* x x)))) 1539794973.859 * [enter]simplify: Simplifying (* x x) 1539794973.859 * * [misc]simplify: iters left: 2 (2 enodes) 1539794973.860 * [exit]simplify: Simplified to (* x x) 1539794973.860 * [misc]simplify: Simplified (2 1 2) to (λ (x) (log (/ (fma x (sqrt (- 1 (* x x))) x) (* x x)))) 1539794973.860 * * * * [misc]progress: [ 51 / 68 ] simplifiying candidate # 1539794973.860 * * * * [misc]progress: [ 52 / 68 ] simplifiying candidate # 1539794973.860 * * * * [misc]progress: [ 53 / 68 ] simplifiying candidate # 1539794973.860 * * * * [misc]progress: [ 54 / 68 ] simplifiying candidate # 1539794973.861 * [enter]simplify: Simplifying (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)) 1539794973.861 * * [misc]simplify: iters left: 6 (8 enodes) 1539794973.863 * * [misc]simplify: iters left: 5 (13 enodes) 1539794973.867 * * [misc]simplify: iters left: 4 (17 enodes) 1539794973.871 * * [misc]simplify: iters left: 3 (19 enodes) 1539794973.876 * [exit]simplify: Simplified to (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)) 1539794973.876 * [misc]simplify: Simplified (2 1 2) to (λ (x) (log (* 1 (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))) 1539794973.876 * * * * [misc]progress: [ 55 / 68 ] simplifiying candidate # 1539794973.876 * [enter]simplify: Simplifying (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)) 1539794973.877 * * [misc]simplify: iters left: 6 (8 enodes) 1539794973.879 * * [misc]simplify: iters left: 5 (13 enodes) 1539794973.883 * * [misc]simplify: iters left: 4 (17 enodes) 1539794973.887 * * [misc]simplify: iters left: 3 (19 enodes) 1539794973.890 * [exit]simplify: Simplified to (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)) 1539794973.890 * [misc]simplify: Simplified (2 1 2) to (λ (x) (log (* 1 (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))) 1539794973.890 * * * * [misc]progress: [ 56 / 68 ] simplifiying candidate # 1539794973.890 * [enter]simplify: Simplifying (/ 1 x) 1539794973.890 * * [misc]simplify: iters left: 2 (3 enodes) 1539794973.890 * * [misc]simplify: iters left: 1 (5 enodes) 1539794973.892 * [exit]simplify: Simplified to (/ 1 x) 1539794973.892 * [misc]simplify: Simplified (2 1 1) to (λ (x) (log (* (/ 1 x) (+ 1 (sqrt (- 1 (* x x))))))) 1539794973.892 * [enter]simplify: Simplifying (+ 1 (sqrt (- 1 (* x x)))) 1539794973.892 * * [misc]simplify: iters left: 6 (6 enodes) 1539794973.893 * * [misc]simplify: iters left: 5 (11 enodes) 1539794973.894 * * [misc]simplify: iters left: 4 (15 enodes) 1539794973.896 * * [misc]simplify: iters left: 3 (17 enodes) 1539794973.898 * [exit]simplify: Simplified to (+ 1 (sqrt (- 1 (* x x)))) 1539794973.898 * [misc]simplify: Simplified (2 1 2) to (λ (x) (log (* (/ 1 x) (+ 1 (sqrt (- 1 (* x x))))))) 1539794973.898 * * * * [misc]progress: [ 57 / 68 ] simplifiying candidate # 1539794973.898 * [enter]simplify: Simplifying (/ 1 x) 1539794973.899 * * [misc]simplify: iters left: 2 (3 enodes) 1539794973.899 * * [misc]simplify: iters left: 1 (5 enodes) 1539794973.900 * [exit]simplify: Simplified to (/ 1 x) 1539794973.900 * [misc]simplify: Simplified (2 1 1) to (λ (x) (log (* (/ 1 x) (+ 1 (sqrt (- 1 (* x x))))))) 1539794973.900 * [enter]simplify: Simplifying (+ 1 (sqrt (- 1 (* x x)))) 1539794973.900 * * [misc]simplify: iters left: 6 (6 enodes) 1539794973.901 * * [misc]simplify: iters left: 5 (11 enodes) 1539794973.902 * * [misc]simplify: iters left: 4 (15 enodes) 1539794973.904 * * [misc]simplify: iters left: 3 (17 enodes) 1539794973.906 * [exit]simplify: Simplified to (+ 1 (sqrt (- 1 (* x x)))) 1539794973.906 * [misc]simplify: Simplified (2 1 2) to (λ (x) (log (* (/ 1 x) (+ 1 (sqrt (- 1 (* x x))))))) 1539794973.906 * * * * [misc]progress: [ 58 / 68 ] simplifiying candidate # 1539794973.906 * [enter]simplify: Simplifying (/ 1 x) 1539794973.906 * * [misc]simplify: iters left: 2 (3 enodes) 1539794973.907 * * [misc]simplify: iters left: 1 (5 enodes) 1539794973.907 * [exit]simplify: Simplified to (/ 1 x) 1539794973.907 * [misc]simplify: Simplified (2 1 2) to (λ (x) (log (* (+ (sqrt (- 1 (* x x))) 1) (/ 1 x)))) 1539794973.907 * * * * [misc]progress: [ 59 / 68 ] simplifiying candidate # 1539794973.907 * * * * [misc]progress: [ 60 / 68 ] simplifiying candidate # 1539794973.908 * [enter]simplify: Simplifying (- 1 (+ (* 1/2 (pow x 2)) (* 1/8 (pow x 4)))) 1539794973.908 * * [misc]simplify: iters left: 6 (12 enodes) 1539794973.909 * * [misc]simplify: iters left: 5 (23 enodes) 1539794973.913 * * [misc]simplify: iters left: 4 (38 enodes) 1539794973.919 * * [misc]simplify: iters left: 3 (71 enodes) 1539794973.939 * * [misc]simplify: iters left: 2 (134 enodes) 1539794973.957 * * [misc]simplify: iters left: 1 (174 enodes) 1539794973.991 * [exit]simplify: Simplified to (fma (pow x 4) -1/8 (fma x (* x -1/2) 1)) 1539794973.991 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (log (+ (/ 1 x) (/ (fma (pow x 4) -1/8 (fma x (* x -1/2) 1)) x)))) 1539794973.991 * * * * [misc]progress: [ 61 / 68 ] simplifiying candidate # 1539794973.991 * [enter]simplify: Simplifying (- (+ (* x (sqrt -1)) (* 1/2 (/ 1 (* x (sqrt -1))))) (* 1/8 (/ 1 (* (pow x 3) (pow (sqrt -1) 3))))) 1539794973.991 * * [misc]simplify: iters left: 6 (17 enodes) 1539794973.995 * * [misc]simplify: iters left: 5 (43 enodes) 1539794974.004 * * [misc]simplify: iters left: 4 (100 enodes) 1539794974.030 * * [misc]simplify: iters left: 3 (198 enodes) 1539794974.076 * * [misc]simplify: iters left: 2 (336 enodes) 1539794974.254 * [exit]simplify: Simplified to (fma (sqrt -1) x (fma (/ -1/8 (sqrt -1)) (/ (/ -1 x) (* x x)) (/ (/ 1/2 x) (sqrt -1)))) 1539794974.254 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (log (+ (/ 1 x) (/ (fma (sqrt -1) x (fma (/ -1/8 (sqrt -1)) (/ (/ -1 x) (* x x)) (/ (/ 1/2 x) (sqrt -1)))) x)))) 1539794974.254 * * * * [misc]progress: [ 62 / 68 ] simplifiying candidate # 1539794974.254 * [enter]simplify: Simplifying (- (* 1/8 (/ 1 (* (pow x 3) (pow (sqrt -1) 3)))) (+ (* x (sqrt -1)) (* 1/2 (/ 1 (* x (sqrt -1)))))) 1539794974.255 * * [misc]simplify: iters left: 6 (17 enodes) 1539794974.259 * * [misc]simplify: iters left: 5 (44 enodes) 1539794974.267 * * [misc]simplify: iters left: 4 (91 enodes) 1539794974.285 * * [misc]simplify: iters left: 3 (199 enodes) 1539794974.351 * * [misc]simplify: iters left: 2 (416 enodes) 1539794974.582 * [exit]simplify: Simplified to (fma -1/8 (/ (/ (/ 1 x) x) (* x (sqrt -1))) (- (/ (/ -1/2 x) (sqrt -1)) (* x (sqrt -1)))) 1539794974.582 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (log (+ (/ 1 x) (/ (fma -1/8 (/ (/ (/ 1 x) x) (* x (sqrt -1))) (- (/ (/ -1/2 x) (sqrt -1)) (* x (sqrt -1)))) x)))) 1539794974.582 * * * * [misc]progress: [ 63 / 68 ] simplifiying candidate # 1539794974.582 * [enter]simplify: Simplifying (- (/ 1 x) (+ (* 1/2 x) (* 1/8 (pow x 3)))) 1539794974.582 * * [misc]simplify: iters left: 6 (11 enodes) 1539794974.584 * * [misc]simplify: iters left: 5 (24 enodes) 1539794974.587 * * [misc]simplify: iters left: 4 (43 enodes) 1539794974.596 * * [misc]simplify: iters left: 3 (95 enodes) 1539794974.620 * * [misc]simplify: iters left: 2 (219 enodes) 1539794974.669 * * [misc]simplify: iters left: 1 (309 enodes) 1539794974.747 * [exit]simplify: Simplified to (fma x (fma x (* x -1/8) -1/2) (/ 1 x)) 1539794974.747 * [misc]simplify: Simplified (2 1 2) to (λ (x) (log (+ (/ 1 x) (fma x (fma x (* x -1/8) -1/2) (/ 1 x))))) 1539794974.747 * * * * [misc]progress: [ 64 / 68 ] simplifiying candidate # 1539794974.747 * [enter]simplify: Simplifying (- (+ (* 1/2 (/ 1 (* (pow x 2) (sqrt -1)))) (sqrt -1)) (* 1/8 (/ 1 (* (pow x 4) (pow (sqrt -1) 3))))) 1539794974.747 * * [misc]simplify: iters left: 6 (20 enodes) 1539794974.751 * * [misc]simplify: iters left: 5 (44 enodes) 1539794974.768 * * [misc]simplify: iters left: 4 (92 enodes) 1539794974.802 * * [misc]simplify: iters left: 3 (158 enodes) 1539794974.862 * * [misc]simplify: iters left: 2 (270 enodes) 1539794974.976 * [exit]simplify: Simplified to (+ (+ (sqrt -1) (/ 1/8 (* (pow x 4) (sqrt -1)))) (/ (/ 1/2 (sqrt -1)) (* x x))) 1539794974.976 * [misc]simplify: Simplified (2 1 2) to (λ (x) (log (+ (/ 1 x) (+ (+ (sqrt -1) (/ 1/8 (* (pow x 4) (sqrt -1)))) (/ (/ 1/2 (sqrt -1)) (* x x)))))) 1539794974.977 * * * * [misc]progress: [ 65 / 68 ] simplifiying candidate # 1539794974.977 * [enter]simplify: Simplifying (- (* 1/8 (/ 1 (* (pow x 4) (pow (sqrt -1) 3)))) (+ (* 1/2 (/ 1 (* (pow x 2) (sqrt -1)))) (sqrt -1))) 1539794974.977 * * [misc]simplify: iters left: 6 (20 enodes) 1539794974.985 * * [misc]simplify: iters left: 5 (45 enodes) 1539794974.993 * * [misc]simplify: iters left: 4 (85 enodes) 1539794975.010 * * [misc]simplify: iters left: 3 (153 enodes) 1539794975.065 * * [misc]simplify: iters left: 2 (303 enodes) 1539794975.172 * [exit]simplify: Simplified to (- (fma (/ -1 (pow x 4)) (/ 1/8 (sqrt -1)) (- (sqrt -1))) (/ (/ (/ 1/2 x) x) (sqrt -1))) 1539794975.172 * [misc]simplify: Simplified (2 1 2) to (λ (x) (log (+ (/ 1 x) (- (fma (/ -1 (pow x 4)) (/ 1/8 (sqrt -1)) (- (sqrt -1))) (/ (/ (/ 1/2 x) x) (sqrt -1)))))) 1539794975.172 * * * * [misc]progress: [ 66 / 68 ] simplifiying candidate # 1539794975.172 * [enter]simplify: Simplifying (- (* 2 (/ 1 x)) (+ (* 1/2 x) (* 1/8 (pow x 3)))) 1539794975.172 * * [misc]simplify: iters left: 6 (13 enodes) 1539794975.175 * * [misc]simplify: iters left: 5 (30 enodes) 1539794975.180 * * [misc]simplify: iters left: 4 (54 enodes) 1539794975.192 * * [misc]simplify: iters left: 3 (120 enodes) 1539794975.216 * * [misc]simplify: iters left: 2 (260 enodes) 1539794975.279 * * [misc]simplify: iters left: 1 (377 enodes) 1539794975.436 * [exit]simplify: Simplified to (fma x (fma -1/8 (* x x) -1/2) (/ 2 x)) 1539794975.436 * [misc]simplify: Simplified (2 1) to (λ (x) (log (fma x (fma -1/8 (* x x) -1/2) (/ 2 x)))) 1539794975.436 * * * * [misc]progress: [ 67 / 68 ] simplifiying candidate # 1539794975.436 * [enter]simplify: Simplifying (+ (* 1/2 (/ 1 (* (pow x 2) (sqrt -1)))) (+ (sqrt -1) (/ 1 x))) 1539794975.436 * * [misc]simplify: iters left: 6 (13 enodes) 1539794975.439 * * [misc]simplify: iters left: 5 (27 enodes) 1539794975.444 * * [misc]simplify: iters left: 4 (47 enodes) 1539794975.452 * * [misc]simplify: iters left: 3 (68 enodes) 1539794975.470 * * [misc]simplify: iters left: 2 (104 enodes) 1539794975.492 * * [misc]simplify: iters left: 1 (162 enodes) 1539794975.534 * [exit]simplify: Simplified to (fma (/ 1/2 x) (/ (/ 1 x) (sqrt -1)) (+ (/ 1 x) (sqrt -1))) 1539794975.534 * [misc]simplify: Simplified (2 1) to (λ (x) (log (fma (/ 1/2 x) (/ (/ 1 x) (sqrt -1)) (+ (/ 1 x) (sqrt -1))))) 1539794975.535 * * * * [misc]progress: [ 68 / 68 ] simplifiying candidate # 1539794975.535 * [enter]simplify: Simplifying (- (/ 1 x) (+ (* 1/2 (/ 1 (* (pow x 2) (sqrt -1)))) (sqrt -1))) 1539794975.535 * * [misc]simplify: iters left: 6 (13 enodes) 1539794975.540 * * [misc]simplify: iters left: 5 (28 enodes) 1539794975.550 * * [misc]simplify: iters left: 4 (48 enodes) 1539794975.567 * * [misc]simplify: iters left: 3 (89 enodes) 1539794975.620 * * [misc]simplify: iters left: 2 (173 enodes) 1539794975.676 * * [misc]simplify: iters left: 1 (294 enodes) 1539794975.814 * [exit]simplify: Simplified to (fma -1/2 (/ (/ (/ 1 x) x) (sqrt -1)) (- (/ 1 x) (sqrt -1))) 1539794975.814 * [misc]simplify: Simplified (2 1) to (λ (x) (log (fma -1/2 (/ (/ (/ 1 x) x) (sqrt -1)) (- (/ 1 x) (sqrt -1))))) 1539794975.814 * * * [misc]progress: adding candidates to table 1539794976.453 * [misc]progress: [Phase 3 of 3] Extracting. 1539794976.455 * [enter]simplify: Simplifying (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) 1539794976.455 * * [misc]simplify: iters left: 6 (9 enodes) 1539794976.456 * * [misc]simplify: iters left: 5 (12 enodes) 1539794976.456 * [exit]simplify: Simplified to (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) 1539794976.456 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1539794976.482 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1539794976.486 * * * * [misc]points: Setting MPFR precision to 64 1539794976.487 * * * * [misc]points: Setting MPFR precision to 320 1539794976.488 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1539794976.491 * * * * [misc]points: Setting MPFR precision to 64 1539794976.492 * * * * [misc]points: Setting MPFR precision to 320 1539794976.494 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1539794976.497 * * * * [misc]points: Setting MPFR precision to 64 1539794976.500 * * * * [misc]points: Setting MPFR precision to 320 1539794976.503 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1539794976.506 * * * * [misc]points: Setting MPFR precision to 64 1539794976.511 * * * * [misc]points: Setting MPFR precision to 320 1539794976.517 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1539794976.520 * * * * [misc]points: Setting MPFR precision to 64 1539794976.527 * * * * [misc]points: Setting MPFR precision to 320 1539794976.532 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1539794976.534 * * * * [misc]points: Setting MPFR precision to 64 1539794976.545 * * * * [misc]points: Setting MPFR precision to 320 1539794976.561 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1539794976.564 * * * * [misc]points: Setting MPFR precision to 64 1539794976.604 * * * * [misc]points: Setting MPFR precision to 320 1539794976.673 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1539794976.679 * * * * [misc]points: Setting MPFR precision to 64 1539794976.734 * * * * [misc]points: Setting MPFR precision to 320 1539794976.830 * * * * [misc]points: Setting MPFR precision to 576 1539794976.898 * * * * [misc]points: Computing exacts for 8000 points 1539794976.900 * * * * [misc]points: Setting MPFR precision to 320 1539794977.275 * * * * [misc]points: Setting MPFR precision to 576 1539794977.639 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794977.642 * * * * [misc]points: Sampling 5976 additional inputs, on iter 1 have 2024 / 8000 1539794977.688 * * * * [misc]points: Computing exacts on every 373 of 5976 points to ramp up precision 1539794977.690 * * * * [misc]points: Setting MPFR precision to 320 1539794977.691 * * * * [misc]points: Setting MPFR precision to 576 1539794977.691 * * * * [misc]points: Computing exacts on every 186 of 5976 points to ramp up precision 1539794977.695 * * * * [misc]points: Setting MPFR precision to 320 1539794977.696 * * * * [misc]points: Setting MPFR precision to 576 1539794977.697 * * * * [misc]points: Computing exacts on every 93 of 5976 points to ramp up precision 1539794977.699 * * * * [misc]points: Setting MPFR precision to 320 1539794977.701 * * * * [misc]points: Setting MPFR precision to 576 1539794977.702 * * * * [misc]points: Computing exacts on every 46 of 5976 points to ramp up precision 1539794977.705 * * * * [misc]points: Setting MPFR precision to 320 1539794977.708 * * * * [misc]points: Setting MPFR precision to 576 1539794977.711 * * * * [misc]points: Computing exacts on every 23 of 5976 points to ramp up precision 1539794977.715 * * * * [misc]points: Setting MPFR precision to 320 1539794977.726 * * * * [misc]points: Setting MPFR precision to 576 1539794977.737 * * * * [misc]points: Computing exacts on every 11 of 5976 points to ramp up precision 1539794977.742 * * * * [misc]points: Setting MPFR precision to 320 1539794977.763 * * * * [misc]points: Setting MPFR precision to 576 1539794977.786 * * * * [misc]points: Computing exacts on every 5 of 5976 points to ramp up precision 1539794977.791 * * * * [misc]points: Setting MPFR precision to 320 1539794978.214 * * * * [misc]points: Setting MPFR precision to 576 1539794978.260 * * * * [misc]points: Computing exacts on every 2 of 5976 points to ramp up precision 1539794978.265 * * * * [misc]points: Setting MPFR precision to 320 1539794978.317 * * * * [misc]points: Setting MPFR precision to 576 1539794978.424 * * * * [misc]points: Computing exacts for 5976 points 1539794978.426 * * * * [misc]points: Setting MPFR precision to 320 1539794978.646 * * * * [misc]points: Setting MPFR precision to 576 1539794978.911 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794978.912 * * * * [misc]points: Sampling 4517 additional inputs, on iter 2 have 3483 / 8000 1539794978.924 * * * * [misc]points: Computing exacts on every 282 of 4517 points to ramp up precision 1539794978.927 * * * * [misc]points: Setting MPFR precision to 320 1539794978.927 * * * * [misc]points: Setting MPFR precision to 576 1539794978.928 * * * * [misc]points: Computing exacts on every 141 of 4517 points to ramp up precision 1539794978.930 * * * * [misc]points: Setting MPFR precision to 320 1539794978.931 * * * * [misc]points: Setting MPFR precision to 576 1539794978.932 * * * * [misc]points: Computing exacts on every 70 of 4517 points to ramp up precision 1539794978.934 * * * * [misc]points: Setting MPFR precision to 320 1539794978.936 * * * * [misc]points: Setting MPFR precision to 576 1539794978.965 * * * * [misc]points: Computing exacts on every 35 of 4517 points to ramp up precision 1539794978.969 * * * * [misc]points: Setting MPFR precision to 320 1539794978.972 * * * * [misc]points: Setting MPFR precision to 576 1539794978.976 * * * * [misc]points: Computing exacts on every 17 of 4517 points to ramp up precision 1539794978.978 * * * * [misc]points: Setting MPFR precision to 320 1539794978.984 * * * * [misc]points: Setting MPFR precision to 576 1539794978.990 * * * * [misc]points: Computing exacts on every 8 of 4517 points to ramp up precision 1539794978.993 * * * * [misc]points: Setting MPFR precision to 320 1539794979.012 * * * * [misc]points: Setting MPFR precision to 576 1539794979.028 * * * * [misc]points: Computing exacts on every 4 of 4517 points to ramp up precision 1539794979.030 * * * * [misc]points: Setting MPFR precision to 320 1539794979.054 * * * * [misc]points: Setting MPFR precision to 576 1539794979.135 * * * * [misc]points: Computing exacts on every 2 of 4517 points to ramp up precision 1539794979.137 * * * * [misc]points: Setting MPFR precision to 320 1539794979.174 * * * * [misc]points: Setting MPFR precision to 576 1539794979.237 * * * * [misc]points: Computing exacts for 4517 points 1539794979.239 * * * * [misc]points: Setting MPFR precision to 320 1539794979.382 * * * * [misc]points: Setting MPFR precision to 576 1539794979.624 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794979.625 * * * * [misc]points: Sampling 3418 additional inputs, on iter 3 have 4582 / 8000 1539794979.634 * * * * [misc]points: Computing exacts on every 213 of 3418 points to ramp up precision 1539794979.637 * * * * [misc]points: Setting MPFR precision to 320 1539794979.637 * * * * [misc]points: Setting MPFR precision to 576 1539794979.638 * * * * [misc]points: Computing exacts on every 106 of 3418 points to ramp up precision 1539794979.640 * * * * [misc]points: Setting MPFR precision to 320 1539794979.641 * * * * [misc]points: Setting MPFR precision to 576 1539794979.642 * * * * [misc]points: Computing exacts on every 53 of 3418 points to ramp up precision 1539794979.644 * * * * [misc]points: Setting MPFR precision to 320 1539794979.645 * * * * [misc]points: Setting MPFR precision to 576 1539794979.647 * * * * [misc]points: Computing exacts on every 26 of 3418 points to ramp up precision 1539794979.649 * * * * [misc]points: Setting MPFR precision to 320 1539794979.652 * * * * [misc]points: Setting MPFR precision to 576 1539794979.655 * * * * [misc]points: Computing exacts on every 13 of 3418 points to ramp up precision 1539794979.658 * * * * [misc]points: Setting MPFR precision to 320 1539794979.664 * * * * [misc]points: Setting MPFR precision to 576 1539794979.670 * * * * [misc]points: Computing exacts on every 6 of 3418 points to ramp up precision 1539794979.672 * * * * [misc]points: Setting MPFR precision to 320 1539794980.030 * * * * [misc]points: Setting MPFR precision to 576 1539794980.055 * * * * [misc]points: Computing exacts on every 3 of 3418 points to ramp up precision 1539794980.059 * * * * [misc]points: Setting MPFR precision to 320 1539794980.088 * * * * [misc]points: Setting MPFR precision to 576 1539794980.109 * * * * [misc]points: Computing exacts for 3418 points 1539794980.112 * * * * [misc]points: Setting MPFR precision to 320 1539794980.234 * * * * [misc]points: Setting MPFR precision to 576 1539794980.368 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794980.368 * * * * [misc]points: Sampling 2571 additional inputs, on iter 4 have 5429 / 8000 1539794980.375 * * * * [misc]points: Computing exacts on every 160 of 2571 points to ramp up precision 1539794980.377 * * * * [misc]points: Setting MPFR precision to 320 1539794980.378 * * * * [misc]points: Setting MPFR precision to 576 1539794980.378 * * * * [misc]points: Computing exacts on every 80 of 2571 points to ramp up precision 1539794980.381 * * * * [misc]points: Setting MPFR precision to 320 1539794980.381 * * * * [misc]points: Setting MPFR precision to 576 1539794980.382 * * * * [misc]points: Computing exacts on every 40 of 2571 points to ramp up precision 1539794980.385 * * * * [misc]points: Setting MPFR precision to 320 1539794980.386 * * * * [misc]points: Setting MPFR precision to 576 1539794980.387 * * * * [misc]points: Computing exacts on every 20 of 2571 points to ramp up precision 1539794980.390 * * * * [misc]points: Setting MPFR precision to 320 1539794980.392 * * * * [misc]points: Setting MPFR precision to 576 1539794980.395 * * * * [misc]points: Computing exacts on every 10 of 2571 points to ramp up precision 1539794980.397 * * * * [misc]points: Setting MPFR precision to 320 1539794980.403 * * * * [misc]points: Setting MPFR precision to 576 1539794980.429 * * * * [misc]points: Computing exacts on every 5 of 2571 points to ramp up precision 1539794980.431 * * * * [misc]points: Setting MPFR precision to 320 1539794980.442 * * * * [misc]points: Setting MPFR precision to 576 1539794980.452 * * * * [misc]points: Computing exacts on every 2 of 2571 points to ramp up precision 1539794980.455 * * * * [misc]points: Setting MPFR precision to 320 1539794980.473 * * * * [misc]points: Setting MPFR precision to 576 1539794980.494 * * * * [misc]points: Computing exacts for 2571 points 1539794980.496 * * * * [misc]points: Setting MPFR precision to 320 1539794980.597 * * * * [misc]points: Setting MPFR precision to 576 1539794980.715 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794980.716 * * * * [misc]points: Sampling 1934 additional inputs, on iter 5 have 6066 / 8000 1539794980.721 * * * * [misc]points: Computing exacts on every 120 of 1934 points to ramp up precision 1539794980.729 * * * * [misc]points: Setting MPFR precision to 320 1539794980.730 * * * * [misc]points: Setting MPFR precision to 576 1539794980.731 * * * * [misc]points: Computing exacts on every 60 of 1934 points to ramp up precision 1539794980.735 * * * * [misc]points: Setting MPFR precision to 320 1539794980.737 * * * * [misc]points: Setting MPFR precision to 576 1539794980.738 * * * * [misc]points: Computing exacts on every 30 of 1934 points to ramp up precision 1539794980.743 * * * * [misc]points: Setting MPFR precision to 320 1539794980.746 * * * * [misc]points: Setting MPFR precision to 576 1539794980.749 * * * * [misc]points: Computing exacts on every 15 of 1934 points to ramp up precision 1539794980.753 * * * * [misc]points: Setting MPFR precision to 320 1539794980.759 * * * * [misc]points: Setting MPFR precision to 576 1539794980.762 * * * * [misc]points: Computing exacts on every 7 of 1934 points to ramp up precision 1539794980.764 * * * * [misc]points: Setting MPFR precision to 320 1539794980.770 * * * * [misc]points: Setting MPFR precision to 576 1539794980.775 * * * * [misc]points: Computing exacts on every 3 of 1934 points to ramp up precision 1539794980.778 * * * * [misc]points: Setting MPFR precision to 320 1539794980.793 * * * * [misc]points: Setting MPFR precision to 576 1539794980.816 * * * * [misc]points: Computing exacts for 1934 points 1539794980.850 * * * * [misc]points: Setting MPFR precision to 320 1539794980.899 * * * * [misc]points: Setting MPFR precision to 576 1539794980.967 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794980.967 * * * * [misc]points: Sampling 1460 additional inputs, on iter 6 have 6540 / 8000 1539794980.975 * * * * [misc]points: Computing exacts on every 91 of 1460 points to ramp up precision 1539794981.022 * * * * [misc]points: Setting MPFR precision to 320 1539794981.023 * * * * [misc]points: Setting MPFR precision to 576 1539794981.024 * * * * [misc]points: Computing exacts on every 45 of 1460 points to ramp up precision 1539794981.033 * * * * [misc]points: Setting MPFR precision to 320 1539794981.035 * * * * [misc]points: Setting MPFR precision to 576 1539794981.036 * * * * [misc]points: Computing exacts on every 22 of 1460 points to ramp up precision 1539794981.040 * * * * [misc]points: Setting MPFR precision to 320 1539794981.041 * * * * [misc]points: Setting MPFR precision to 576 1539794981.043 * * * * [misc]points: Computing exacts on every 11 of 1460 points to ramp up precision 1539794981.045 * * * * [misc]points: Setting MPFR precision to 320 1539794981.048 * * * * [misc]points: Setting MPFR precision to 576 1539794981.051 * * * * [misc]points: Computing exacts on every 5 of 1460 points to ramp up precision 1539794981.053 * * * * [misc]points: Setting MPFR precision to 320 1539794981.059 * * * * [misc]points: Setting MPFR precision to 576 1539794981.064 * * * * [misc]points: Computing exacts on every 2 of 1460 points to ramp up precision 1539794981.067 * * * * [misc]points: Setting MPFR precision to 320 1539794981.078 * * * * [misc]points: Setting MPFR precision to 576 1539794981.089 * * * * [misc]points: Computing exacts for 1460 points 1539794981.092 * * * * [misc]points: Setting MPFR precision to 320 1539794981.195 * * * * [misc]points: Setting MPFR precision to 576 1539794981.263 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794981.263 * * * * [misc]points: Sampling 1129 additional inputs, on iter 7 have 6871 / 8000 1539794981.269 * * * * [misc]points: Computing exacts on every 70 of 1129 points to ramp up precision 1539794981.273 * * * * [misc]points: Setting MPFR precision to 320 1539794981.274 * * * * [misc]points: Setting MPFR precision to 576 1539794981.275 * * * * [misc]points: Computing exacts on every 35 of 1129 points to ramp up precision 1539794981.279 * * * * [misc]points: Setting MPFR precision to 320 1539794981.281 * * * * [misc]points: Setting MPFR precision to 576 1539794981.282 * * * * [misc]points: Computing exacts on every 17 of 1129 points to ramp up precision 1539794981.287 * * * * [misc]points: Setting MPFR precision to 320 1539794981.290 * * * * [misc]points: Setting MPFR precision to 576 1539794981.293 * * * * [misc]points: Computing exacts on every 8 of 1129 points to ramp up precision 1539794981.297 * * * * [misc]points: Setting MPFR precision to 320 1539794981.303 * * * * [misc]points: Setting MPFR precision to 576 1539794981.308 * * * * [misc]points: Computing exacts on every 4 of 1129 points to ramp up precision 1539794981.313 * * * * [misc]points: Setting MPFR precision to 320 1539794981.360 * * * * [misc]points: Setting MPFR precision to 576 1539794981.366 * * * * [misc]points: Computing exacts on every 2 of 1129 points to ramp up precision 1539794981.370 * * * * [misc]points: Setting MPFR precision to 320 1539794981.379 * * * * [misc]points: Setting MPFR precision to 576 1539794981.388 * * * * [misc]points: Computing exacts for 1129 points 1539794981.390 * * * * [misc]points: Setting MPFR precision to 320 1539794981.428 * * * * [misc]points: Setting MPFR precision to 576 1539794981.468 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794981.468 * * * * [misc]points: Sampling 864 additional inputs, on iter 8 have 7136 / 8000 1539794981.471 * * * * [misc]points: Computing exacts on every 54 of 864 points to ramp up precision 1539794981.503 * * * * [misc]points: Setting MPFR precision to 320 1539794981.504 * * * * [misc]points: Setting MPFR precision to 576 1539794981.505 * * * * [misc]points: Computing exacts on every 27 of 864 points to ramp up precision 1539794981.509 * * * * [misc]points: Setting MPFR precision to 320 1539794981.511 * * * * [misc]points: Setting MPFR precision to 576 1539794981.512 * * * * [misc]points: Computing exacts on every 13 of 864 points to ramp up precision 1539794981.521 * * * * [misc]points: Setting MPFR precision to 320 1539794981.524 * * * * [misc]points: Setting MPFR precision to 576 1539794981.526 * * * * [misc]points: Computing exacts on every 6 of 864 points to ramp up precision 1539794981.531 * * * * [misc]points: Setting MPFR precision to 320 1539794981.537 * * * * [misc]points: Setting MPFR precision to 576 1539794981.542 * * * * [misc]points: Computing exacts on every 3 of 864 points to ramp up precision 1539794981.547 * * * * [misc]points: Setting MPFR precision to 320 1539794981.556 * * * * [misc]points: Setting MPFR precision to 576 1539794981.567 * * * * [misc]points: Computing exacts for 864 points 1539794981.572 * * * * [misc]points: Setting MPFR precision to 320 1539794981.606 * * * * [misc]points: Setting MPFR precision to 576 1539794981.627 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794981.627 * * * * [misc]points: Sampling 645 additional inputs, on iter 9 have 7355 / 8000 1539794981.629 * * * * [misc]points: Computing exacts on every 40 of 645 points to ramp up precision 1539794981.632 * * * * [misc]points: Setting MPFR precision to 320 1539794981.632 * * * * [misc]points: Setting MPFR precision to 576 1539794981.986 * * * * [misc]points: Computing exacts on every 20 of 645 points to ramp up precision 1539794981.990 * * * * [misc]points: Setting MPFR precision to 320 1539794981.992 * * * * [misc]points: Setting MPFR precision to 576 1539794981.993 * * * * [misc]points: Computing exacts on every 10 of 645 points to ramp up precision 1539794981.997 * * * * [misc]points: Setting MPFR precision to 320 1539794982.003 * * * * [misc]points: Setting MPFR precision to 576 1539794982.006 * * * * [misc]points: Computing exacts on every 5 of 645 points to ramp up precision 1539794982.010 * * * * [misc]points: Setting MPFR precision to 320 1539794982.015 * * * * [misc]points: Setting MPFR precision to 576 1539794982.021 * * * * [misc]points: Computing exacts on every 2 of 645 points to ramp up precision 1539794982.025 * * * * [misc]points: Setting MPFR precision to 320 1539794982.034 * * * * [misc]points: Setting MPFR precision to 576 1539794982.044 * * * * [misc]points: Computing exacts for 645 points 1539794982.049 * * * * [misc]points: Setting MPFR precision to 320 1539794982.076 * * * * [misc]points: Setting MPFR precision to 576 1539794982.106 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794982.107 * * * * [misc]points: Sampling 498 additional inputs, on iter 10 have 7502 / 8000 1539794982.109 * * * * [misc]points: Computing exacts on every 31 of 498 points to ramp up precision 1539794982.114 * * * * [misc]points: Setting MPFR precision to 320 1539794982.115 * * * * [misc]points: Setting MPFR precision to 576 1539794982.115 * * * * [misc]points: Computing exacts on every 15 of 498 points to ramp up precision 1539794982.120 * * * * [misc]points: Setting MPFR precision to 320 1539794982.122 * * * * [misc]points: Setting MPFR precision to 576 1539794982.123 * * * * [misc]points: Computing exacts on every 7 of 498 points to ramp up precision 1539794982.128 * * * * [misc]points: Setting MPFR precision to 320 1539794982.129 * * * * [misc]points: Setting MPFR precision to 576 1539794982.131 * * * * [misc]points: Computing exacts on every 3 of 498 points to ramp up precision 1539794982.155 * * * * [misc]points: Setting MPFR precision to 320 1539794982.158 * * * * [misc]points: Setting MPFR precision to 576 1539794982.163 * * * * [misc]points: Computing exacts for 498 points 1539794982.170 * * * * [misc]points: Setting MPFR precision to 320 1539794982.192 * * * * [misc]points: Setting MPFR precision to 576 1539794982.206 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794982.206 * * * * [misc]points: Sampling 382 additional inputs, on iter 11 have 7618 / 8000 1539794982.207 * * * * [misc]points: Computing exacts on every 23 of 382 points to ramp up precision 1539794982.209 * * * * [misc]points: Setting MPFR precision to 320 1539794982.210 * * * * [misc]points: Setting MPFR precision to 576 1539794982.210 * * * * [misc]points: Computing exacts on every 11 of 382 points to ramp up precision 1539794982.212 * * * * [misc]points: Setting MPFR precision to 320 1539794982.213 * * * * [misc]points: Setting MPFR precision to 576 1539794982.214 * * * * [misc]points: Computing exacts on every 5 of 382 points to ramp up precision 1539794982.216 * * * * [misc]points: Setting MPFR precision to 320 1539794982.217 * * * * [misc]points: Setting MPFR precision to 576 1539794982.219 * * * * [misc]points: Computing exacts on every 2 of 382 points to ramp up precision 1539794982.223 * * * * [misc]points: Setting MPFR precision to 320 1539794982.229 * * * * [misc]points: Setting MPFR precision to 576 1539794982.235 * * * * [misc]points: Computing exacts for 382 points 1539794982.237 * * * * [misc]points: Setting MPFR precision to 320 1539794982.246 * * * * [misc]points: Setting MPFR precision to 576 1539794982.255 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794982.255 * * * * [misc]points: Sampling 291 additional inputs, on iter 12 have 7709 / 8000 1539794982.256 * * * * [misc]points: Computing exacts on every 18 of 291 points to ramp up precision 1539794982.288 * * * * [misc]points: Setting MPFR precision to 320 1539794982.289 * * * * [misc]points: Setting MPFR precision to 576 1539794982.289 * * * * [misc]points: Computing exacts on every 9 of 291 points to ramp up precision 1539794982.292 * * * * [misc]points: Setting MPFR precision to 320 1539794982.293 * * * * [misc]points: Setting MPFR precision to 576 1539794982.293 * * * * [misc]points: Computing exacts on every 4 of 291 points to ramp up precision 1539794982.295 * * * * [misc]points: Setting MPFR precision to 320 1539794982.297 * * * * [misc]points: Setting MPFR precision to 576 1539794982.300 * * * * [misc]points: Computing exacts on every 2 of 291 points to ramp up precision 1539794982.302 * * * * [misc]points: Setting MPFR precision to 320 1539794982.305 * * * * [misc]points: Setting MPFR precision to 576 1539794982.307 * * * * [misc]points: Computing exacts for 291 points 1539794982.311 * * * * [misc]points: Setting MPFR precision to 320 1539794982.324 * * * * [misc]points: Setting MPFR precision to 576 1539794982.337 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794982.337 * * * * [misc]points: Sampling 219 additional inputs, on iter 13 have 7781 / 8000 1539794982.338 * * * * [misc]points: Computing exacts on every 13 of 219 points to ramp up precision 1539794982.342 * * * * [misc]points: Setting MPFR precision to 320 1539794982.343 * * * * [misc]points: Setting MPFR precision to 576 1539794982.344 * * * * [misc]points: Computing exacts on every 6 of 219 points to ramp up precision 1539794982.348 * * * * [misc]points: Setting MPFR precision to 320 1539794982.349 * * * * [misc]points: Setting MPFR precision to 576 1539794982.351 * * * * [misc]points: Computing exacts on every 3 of 219 points to ramp up precision 1539794982.355 * * * * [misc]points: Setting MPFR precision to 320 1539794982.357 * * * * [misc]points: Setting MPFR precision to 576 1539794982.360 * * * * [misc]points: Computing exacts for 219 points 1539794982.365 * * * * [misc]points: Setting MPFR precision to 320 1539794982.374 * * * * [misc]points: Setting MPFR precision to 576 1539794982.383 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794982.383 * * * * [misc]points: Sampling 165 additional inputs, on iter 14 have 7835 / 8000 1539794982.384 * * * * [misc]points: Computing exacts on every 10 of 165 points to ramp up precision 1539794982.388 * * * * [misc]points: Setting MPFR precision to 320 1539794982.389 * * * * [misc]points: Setting MPFR precision to 576 1539794982.390 * * * * [misc]points: Computing exacts on every 5 of 165 points to ramp up precision 1539794982.394 * * * * [misc]points: Setting MPFR precision to 320 1539794982.395 * * * * [misc]points: Setting MPFR precision to 576 1539794982.396 * * * * [misc]points: Computing exacts on every 2 of 165 points to ramp up precision 1539794982.424 * * * * [misc]points: Setting MPFR precision to 320 1539794982.426 * * * * [misc]points: Setting MPFR precision to 576 1539794982.429 * * * * [misc]points: Computing exacts for 165 points 1539794982.433 * * * * [misc]points: Setting MPFR precision to 320 1539794982.442 * * * * [misc]points: Setting MPFR precision to 576 1539794982.449 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794982.450 * * * * [misc]points: Sampling 120 additional inputs, on iter 15 have 7880 / 8000 1539794982.450 * * * * [misc]points: Computing exacts on every 7 of 120 points to ramp up precision 1539794982.454 * * * * [misc]points: Setting MPFR precision to 320 1539794982.455 * * * * [misc]points: Setting MPFR precision to 576 1539794982.456 * * * * [misc]points: Computing exacts on every 3 of 120 points to ramp up precision 1539794982.460 * * * * [misc]points: Setting MPFR precision to 320 1539794982.460 * * * * [misc]points: Setting MPFR precision to 576 1539794982.461 * * * * [misc]points: Computing exacts for 120 points 1539794982.463 * * * * [misc]points: Setting MPFR precision to 320 1539794982.466 * * * * [misc]points: Setting MPFR precision to 576 1539794982.469 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794982.469 * * * * [misc]points: Sampling 90 additional inputs, on iter 16 have 7910 / 8000 1539794982.469 * * * * [misc]points: Computing exacts on every 5 of 90 points to ramp up precision 1539794982.472 * * * * [misc]points: Setting MPFR precision to 320 1539794982.472 * * * * [misc]points: Setting MPFR precision to 576 1539794982.472 * * * * [misc]points: Computing exacts on every 2 of 90 points to ramp up precision 1539794982.475 * * * * [misc]points: Setting MPFR precision to 320 1539794982.475 * * * * [misc]points: Setting MPFR precision to 576 1539794982.476 * * * * [misc]points: Computing exacts for 90 points 1539794982.479 * * * * [misc]points: Setting MPFR precision to 320 1539794982.481 * * * * [misc]points: Setting MPFR precision to 576 1539794982.483 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794982.483 * * * * [misc]points: Sampling 73 additional inputs, on iter 17 have 7927 / 8000 1539794982.483 * * * * [misc]points: Computing exacts on every 4 of 73 points to ramp up precision 1539794982.486 * * * * [misc]points: Setting MPFR precision to 320 1539794982.486 * * * * [misc]points: Setting MPFR precision to 576 1539794982.486 * * * * [misc]points: Computing exacts on every 2 of 73 points to ramp up precision 1539794982.490 * * * * [misc]points: Setting MPFR precision to 320 1539794982.491 * * * * [misc]points: Setting MPFR precision to 576 1539794982.492 * * * * [misc]points: Computing exacts for 73 points 1539794982.496 * * * * [misc]points: Setting MPFR precision to 320 1539794982.499 * * * * [misc]points: Setting MPFR precision to 576 1539794982.502 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794982.502 * * * * [misc]points: Sampling 55 additional inputs, on iter 18 have 7945 / 8000 1539794982.503 * * * * [misc]points: Computing exacts on every 3 of 55 points to ramp up precision 1539794982.507 * * * * [misc]points: Setting MPFR precision to 320 1539794982.507 * * * * [misc]points: Setting MPFR precision to 576 1539794982.508 * * * * [misc]points: Computing exacts for 55 points 1539794982.512 * * * * [misc]points: Setting MPFR precision to 320 1539794982.514 * * * * [misc]points: Setting MPFR precision to 576 1539794982.516 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794982.517 * * * * [misc]points: Sampling 45 additional inputs, on iter 19 have 7955 / 8000 1539794982.517 * * * * [misc]points: Computing exacts on every 2 of 45 points to ramp up precision 1539794982.521 * * * * [misc]points: Setting MPFR precision to 320 1539794982.522 * * * * [misc]points: Setting MPFR precision to 576 1539794982.543 * * * * [misc]points: Computing exacts for 45 points 1539794982.547 * * * * [misc]points: Setting MPFR precision to 320 1539794982.549 * * * * [misc]points: Setting MPFR precision to 576 1539794982.550 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794982.550 * * * * [misc]points: Sampling 29 additional inputs, on iter 20 have 7971 / 8000 1539794982.550 * * * * [misc]points: Computing exacts for 29 points 1539794982.554 * * * * [misc]points: Setting MPFR precision to 320 1539794982.555 * * * * [misc]points: Setting MPFR precision to 576 1539794982.556 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794982.556 * * * * [misc]points: Sampling 20 additional inputs, on iter 21 have 7980 / 8000 1539794982.556 * * * * [misc]points: Computing exacts for 20 points 1539794982.558 * * * * [misc]points: Setting MPFR precision to 320 1539794982.559 * * * * [misc]points: Setting MPFR precision to 576 1539794982.560 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794982.560 * * * * [misc]points: Sampling 17 additional inputs, on iter 22 have 7983 / 8000 1539794982.560 * * * * [misc]points: Computing exacts for 17 points 1539794982.562 * * * * [misc]points: Setting MPFR precision to 320 1539794982.562 * * * * [misc]points: Setting MPFR precision to 576 1539794982.563 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794982.563 * * * * [misc]points: Sampling 13 additional inputs, on iter 23 have 7987 / 8000 1539794982.563 * * * * [misc]points: Computing exacts for 13 points 1539794982.565 * * * * [misc]points: Setting MPFR precision to 320 1539794982.565 * * * * [misc]points: Setting MPFR precision to 576 1539794982.566 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794982.566 * * * * [misc]points: Sampling 9 additional inputs, on iter 24 have 7991 / 8000 1539794982.566 * * * * [misc]points: Computing exacts for 9 points 1539794982.568 * * * * [misc]points: Setting MPFR precision to 320 1539794982.568 * * * * [misc]points: Setting MPFR precision to 576 1539794982.569 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794982.569 * * * * [misc]points: Sampling 4 additional inputs, on iter 25 have 7996 / 8000 1539794982.569 * * * * [misc]points: Computing exacts for 4 points 1539794982.571 * * * * [misc]points: Setting MPFR precision to 320 1539794982.571 * * * * [misc]points: Setting MPFR precision to 576 1539794982.571 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794982.571 * * * * [misc]points: Sampling 4 additional inputs, on iter 26 have 7997 / 8000 1539794982.571 * * * * [misc]points: Computing exacts for 4 points 1539794982.573 * * * * [misc]points: Setting MPFR precision to 320 1539794982.574 * * * * [misc]points: Setting MPFR precision to 576 1539794982.574 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794982.574 * * * * [misc]points: Sampling 4 additional inputs, on iter 27 have 7998 / 8000 1539794982.574 * * * * [misc]points: Computing exacts for 4 points 1539794982.577 * * * * [misc]points: Setting MPFR precision to 320 1539794982.577 * * * * [misc]points: Setting MPFR precision to 576 1539794982.577 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794982.577 * * * * [misc]points: Sampling 4 additional inputs, on iter 28 have 7999 / 8000 1539794982.577 * * * * [misc]points: Computing exacts for 4 points 1539794982.582 * * * * [misc]points: Setting MPFR precision to 320 1539794982.582 * * * * [misc]points: Setting MPFR precision to 576 1539794982.582 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794982.582 * * * * [misc]points: Sampling 4 additional inputs, on iter 29 have 7999 / 8000 1539794982.582 * * * * [misc]points: Computing exacts for 4 points 1539794982.587 * * * * [misc]points: Setting MPFR precision to 320 1539794982.587 * * * * [misc]points: Setting MPFR precision to 576 1539794982.587 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794982.587 * * * * [misc]points: Sampling 4 additional inputs, on iter 30 have 7999 / 8000 1539794982.587 * * * * [misc]points: Computing exacts for 4 points 1539794982.592 * * * * [misc]points: Setting MPFR precision to 320 1539794982.592 * * * * [misc]points: Setting MPFR precision to 576 1539794982.592 * * * * [misc]points: Filtering points with unrepresentable outputs 1539794982.592 * * * * [exit]points: Sampled 8000 points with exact outputs 1539794982.765 * [misc]regime-testing: Baseline error score: 0.033118356075100074 1539794982.765 * [misc]regime-testing: End program error score: 0.033118356075100074 1539794982.766 * [misc]regime-testing: Oracle error score: 0.033118356075100074