1544000093.178 * [misc]progress: [Phase 1 of 3] Setting up. 1544000093.179 * * * [misc]progress: [1/2] Preparing points 1544000093.179 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1544000093.180 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1544000093.182 * * * * [misc]points: Setting MPFR precision to 64 1544000093.183 * * * * [misc]points: Setting MPFR precision to 320 1544000093.184 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1544000093.186 * * * * [misc]points: Setting MPFR precision to 64 1544000093.187 * * * * [misc]points: Setting MPFR precision to 320 1544000093.189 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1544000093.191 * * * * [misc]points: Setting MPFR precision to 64 1544000093.193 * * * * [misc]points: Setting MPFR precision to 320 1544000093.195 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1544000093.198 * * * * [misc]points: Setting MPFR precision to 64 1544000093.202 * * * * [misc]points: Setting MPFR precision to 320 1544000093.205 * * * * [misc]points: Computing exacts for 256 points 1544000093.208 * * * * [misc]points: Setting MPFR precision to 64 1544000093.218 * * * * [misc]points: Setting MPFR precision to 320 1544000093.229 * * * * [misc]points: Filtering points with unrepresentable outputs 1544000093.229 * * * * [misc]points: Sampling 208 additional inputs, on iter 1 have 48 / 256 1544000093.230 * * * * [misc]points: Computing exacts on every 13 of 208 points to ramp up precision 1544000093.233 * * * * [misc]points: Setting MPFR precision to 64 1544000093.234 * * * * [misc]points: Setting MPFR precision to 320 1544000093.234 * * * * [misc]points: Computing exacts on every 6 of 208 points to ramp up precision 1544000093.249 * * * * [misc]points: Setting MPFR precision to 64 1544000093.251 * * * * [misc]points: Setting MPFR precision to 320 1544000093.252 * * * * [misc]points: Computing exacts on every 3 of 208 points to ramp up precision 1544000093.256 * * * * [misc]points: Setting MPFR precision to 64 1544000093.259 * * * * [misc]points: Setting MPFR precision to 320 1544000093.261 * * * * [misc]points: Computing exacts for 208 points 1544000093.264 * * * * [misc]points: Setting MPFR precision to 64 1544000093.272 * * * * [misc]points: Setting MPFR precision to 320 1544000093.281 * * * * [misc]points: Filtering points with unrepresentable outputs 1544000093.281 * * * * [misc]points: Sampling 153 additional inputs, on iter 2 have 103 / 256 1544000093.282 * * * * [misc]points: Computing exacts on every 9 of 153 points to ramp up precision 1544000093.284 * * * * [misc]points: Setting MPFR precision to 64 1544000093.285 * * * * [misc]points: Setting MPFR precision to 320 1544000093.286 * * * * [misc]points: Computing exacts on every 4 of 153 points to ramp up precision 1544000093.288 * * * * [misc]points: Setting MPFR precision to 64 1544000093.290 * * * * [misc]points: Setting MPFR precision to 320 1544000093.291 * * * * [misc]points: Computing exacts on every 2 of 153 points to ramp up precision 1544000093.293 * * * * [misc]points: Setting MPFR precision to 64 1544000093.296 * * * * [misc]points: Setting MPFR precision to 320 1544000093.298 * * * * [misc]points: Computing exacts for 153 points 1544000093.300 * * * * [misc]points: Setting MPFR precision to 64 1544000093.307 * * * * [misc]points: Setting MPFR precision to 320 1544000093.313 * * * * [misc]points: Filtering points with unrepresentable outputs 1544000093.314 * * * * [misc]points: Sampling 107 additional inputs, on iter 3 have 149 / 256 1544000093.314 * * * * [misc]points: Computing exacts on every 6 of 107 points to ramp up precision 1544000093.317 * * * * [misc]points: Setting MPFR precision to 64 1544000093.317 * * * * [misc]points: Setting MPFR precision to 320 1544000093.318 * * * * [misc]points: Computing exacts on every 3 of 107 points to ramp up precision 1544000093.321 * * * * [misc]points: Setting MPFR precision to 64 1544000093.322 * * * * [misc]points: Setting MPFR precision to 320 1544000093.323 * * * * [misc]points: Computing exacts for 107 points 1544000093.326 * * * * [misc]points: Setting MPFR precision to 64 1544000093.330 * * * * [misc]points: Setting MPFR precision to 320 1544000093.334 * * * * [misc]points: Filtering points with unrepresentable outputs 1544000093.335 * * * * [misc]points: Sampling 84 additional inputs, on iter 4 have 172 / 256 1544000093.335 * * * * [misc]points: Computing exacts on every 5 of 84 points to ramp up precision 1544000093.338 * * * * [misc]points: Setting MPFR precision to 64 1544000093.339 * * * * [misc]points: Setting MPFR precision to 320 1544000093.339 * * * * [misc]points: Computing exacts on every 2 of 84 points to ramp up precision 1544000093.342 * * * * [misc]points: Setting MPFR precision to 64 1544000093.343 * * * * [misc]points: Setting MPFR precision to 320 1544000093.344 * * * * [misc]points: Computing exacts for 84 points 1544000093.347 * * * * [misc]points: Setting MPFR precision to 64 1544000093.351 * * * * [misc]points: Setting MPFR precision to 320 1544000093.354 * * * * [misc]points: Filtering points with unrepresentable outputs 1544000093.355 * * * * [misc]points: Sampling 64 additional inputs, on iter 5 have 192 / 256 1544000093.355 * * * * [misc]points: Computing exacts on every 4 of 64 points to ramp up precision 1544000093.358 * * * * [misc]points: Setting MPFR precision to 64 1544000093.358 * * * * [misc]points: Setting MPFR precision to 320 1544000093.359 * * * * [misc]points: Computing exacts on every 2 of 64 points to ramp up precision 1544000093.361 * * * * [misc]points: Setting MPFR precision to 64 1544000093.362 * * * * [misc]points: Setting MPFR precision to 320 1544000093.363 * * * * [misc]points: Computing exacts for 64 points 1544000093.365 * * * * [misc]points: Setting MPFR precision to 64 1544000093.366 * * * * [misc]points: Setting MPFR precision to 320 1544000093.367 * * * * [misc]points: Filtering points with unrepresentable outputs 1544000093.368 * * * * [misc]points: Sampling 45 additional inputs, on iter 6 have 211 / 256 1544000093.368 * * * * [misc]points: Computing exacts on every 2 of 45 points to ramp up precision 1544000093.369 * * * * [misc]points: Setting MPFR precision to 64 1544000093.370 * * * * [misc]points: Setting MPFR precision to 320 1544000093.370 * * * * [misc]points: Computing exacts for 45 points 1544000093.371 * * * * [misc]points: Setting MPFR precision to 64 1544000093.372 * * * * [misc]points: Setting MPFR precision to 320 1544000093.373 * * * * [misc]points: Filtering points with unrepresentable outputs 1544000093.373 * * * * [misc]points: Sampling 32 additional inputs, on iter 7 have 224 / 256 1544000093.373 * * * * [misc]points: Computing exacts on every 2 of 32 points to ramp up precision 1544000093.375 * * * * [misc]points: Setting MPFR precision to 64 1544000093.375 * * * * [misc]points: Setting MPFR precision to 320 1544000093.375 * * * * [misc]points: Computing exacts for 32 points 1544000093.377 * * * * [misc]points: Setting MPFR precision to 64 1544000093.378 * * * * [misc]points: Setting MPFR precision to 320 1544000093.378 * * * * [misc]points: Filtering points with unrepresentable outputs 1544000093.378 * * * * [misc]points: Sampling 24 additional inputs, on iter 8 have 232 / 256 1544000093.378 * * * * [misc]points: Computing exacts for 24 points 1544000093.380 * * * * [misc]points: Setting MPFR precision to 64 1544000093.380 * * * * [misc]points: Setting MPFR precision to 320 1544000093.381 * * * * [misc]points: Filtering points with unrepresentable outputs 1544000093.381 * * * * [misc]points: Sampling 18 additional inputs, on iter 9 have 238 / 256 1544000093.381 * * * * [misc]points: Computing exacts for 18 points 1544000093.382 * * * * [misc]points: Setting MPFR precision to 64 1544000093.383 * * * * [misc]points: Setting MPFR precision to 320 1544000093.383 * * * * [misc]points: Filtering points with unrepresentable outputs 1544000093.383 * * * * [misc]points: Sampling 15 additional inputs, on iter 10 have 241 / 256 1544000093.383 * * * * [misc]points: Computing exacts for 15 points 1544000093.385 * * * * [misc]points: Setting MPFR precision to 64 1544000093.386 * * * * [misc]points: Setting MPFR precision to 320 1544000093.387 * * * * [misc]points: Filtering points with unrepresentable outputs 1544000093.387 * * * * [misc]points: Sampling 13 additional inputs, on iter 11 have 243 / 256 1544000093.387 * * * * [misc]points: Computing exacts for 13 points 1544000093.417 * * * * [misc]points: Setting MPFR precision to 64 1544000093.418 * * * * [misc]points: Setting MPFR precision to 320 1544000093.419 * * * * [misc]points: Filtering points with unrepresentable outputs 1544000093.419 * * * * [misc]points: Sampling 9 additional inputs, on iter 12 have 247 / 256 1544000093.419 * * * * [misc]points: Computing exacts for 9 points 1544000093.421 * * * * [misc]points: Setting MPFR precision to 64 1544000093.422 * * * * [misc]points: Setting MPFR precision to 320 1544000093.422 * * * * [misc]points: Filtering points with unrepresentable outputs 1544000093.422 * * * * [misc]points: Sampling 5 additional inputs, on iter 13 have 251 / 256 1544000093.423 * * * * [misc]points: Computing exacts for 5 points 1544000093.425 * * * * [misc]points: Setting MPFR precision to 64 1544000093.425 * * * * [misc]points: Setting MPFR precision to 320 1544000093.426 * * * * [misc]points: Filtering points with unrepresentable outputs 1544000093.426 * * * * [misc]points: Sampling 5 additional inputs, on iter 14 have 251 / 256 1544000093.426 * * * * [misc]points: Computing exacts for 5 points 1544000093.432 * * * * [misc]points: Setting MPFR precision to 64 1544000093.433 * * * * [misc]points: Setting MPFR precision to 320 1544000093.433 * * * * [misc]points: Filtering points with unrepresentable outputs 1544000093.433 * * * * [misc]points: Sampling 5 additional inputs, on iter 15 have 251 / 256 1544000093.433 * * * * [misc]points: Computing exacts for 5 points 1544000093.436 * * * * [misc]points: Setting MPFR precision to 64 1544000093.436 * * * * [misc]points: Setting MPFR precision to 320 1544000093.436 * * * * [misc]points: Filtering points with unrepresentable outputs 1544000093.436 * * * * [misc]points: Sampling 4 additional inputs, on iter 16 have 252 / 256 1544000093.436 * * * * [misc]points: Computing exacts for 4 points 1544000093.439 * * * * [misc]points: Setting MPFR precision to 64 1544000093.439 * * * * [misc]points: Setting MPFR precision to 320 1544000093.439 * * * * [misc]points: Filtering points with unrepresentable outputs 1544000093.439 * * * * [misc]points: Sampling 4 additional inputs, on iter 17 have 253 / 256 1544000093.439 * * * * [misc]points: Computing exacts for 4 points 1544000093.442 * * * * [misc]points: Setting MPFR precision to 64 1544000093.442 * * * * [misc]points: Setting MPFR precision to 320 1544000093.442 * * * * [misc]points: Filtering points with unrepresentable outputs 1544000093.442 * * * * [misc]points: Sampling 4 additional inputs, on iter 18 have 253 / 256 1544000093.443 * * * * [misc]points: Computing exacts for 4 points 1544000093.445 * * * * [misc]points: Setting MPFR precision to 64 1544000093.445 * * * * [misc]points: Setting MPFR precision to 320 1544000093.446 * * * * [misc]points: Filtering points with unrepresentable outputs 1544000093.446 * * * * [misc]points: Sampling 4 additional inputs, on iter 19 have 253 / 256 1544000093.446 * * * * [misc]points: Computing exacts for 4 points 1544000093.448 * * * * [misc]points: Setting MPFR precision to 64 1544000093.448 * * * * [misc]points: Setting MPFR precision to 320 1544000093.449 * * * * [misc]points: Filtering points with unrepresentable outputs 1544000093.449 * * * * [exit]points: Sampled 256 points with exact outputs 1544000093.449 * * * [misc]progress: [2/2] Setting up program. 1544000093.454 * [misc]progress: [Phase 2 of 3] Improving. 1544000093.454 * [enter]simplify: Simplifying (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) 1544000093.454 * * [misc]simplify: iters left: 6 (9 enodes) 1544000093.457 * * [misc]simplify: iters left: 5 (14 enodes) 1544000093.461 * * [misc]simplify: iters left: 4 (18 enodes) 1544000093.466 * [exit]simplify: Simplified to (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) 1544000093.474 * * [misc]progress: iteration 1 / 4 1544000093.474 * * * [misc]progress: picking best candidate 1544000093.476 * * * * [misc]pick: Picked # 1544000093.476 * * * [misc]progress: localizing error 1544000093.494 * * * [misc]progress: generating rewritten candidates 1544000093.494 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2 1 2 1) 1544000093.497 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 1) 1544000093.505 * * * [misc]progress: generating series expansions 1544000093.505 * * * * [misc]progress: [ 1 / 2 ] generating series at (2 1 2 1) 1544000093.505 * [misc]backup-simplify: Simplify (sqrt (- 1 (* x x))) into (sqrt (- 1 (pow x 2))) 1544000093.505 * [misc]approximate: Taking taylor expansion of (sqrt (- 1 (pow x 2))) in (x) around 0 1544000093.505 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (pow x 2))) in x 1544000093.505 * [misc]taylor: Taking taylor expansion of (- 1 (pow x 2)) in x 1544000093.505 * [misc]taylor: Taking taylor expansion of 1 in x 1544000093.505 * [misc]backup-simplify: Simplify 1 into 1 1544000093.505 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1544000093.505 * [misc]taylor: Taking taylor expansion of x in x 1544000093.505 * [misc]backup-simplify: Simplify 0 into 0 1544000093.505 * [misc]backup-simplify: Simplify 1 into 1 1544000093.505 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1544000093.505 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1544000093.506 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544000093.506 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 1))) into 0 1544000093.506 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (pow x 2))) in x 1544000093.506 * [misc]taylor: Taking taylor expansion of (- 1 (pow x 2)) in x 1544000093.506 * [misc]taylor: Taking taylor expansion of 1 in x 1544000093.506 * [misc]backup-simplify: Simplify 1 into 1 1544000093.506 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1544000093.506 * [misc]taylor: Taking taylor expansion of x in x 1544000093.506 * [misc]backup-simplify: Simplify 0 into 0 1544000093.506 * [misc]backup-simplify: Simplify 1 into 1 1544000093.506 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1544000093.506 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1544000093.506 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544000093.506 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 1))) into 0 1544000093.506 * [misc]backup-simplify: Simplify 1 into 1 1544000093.506 * [misc]backup-simplify: Simplify 0 into 0 1544000093.507 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544000093.507 * [misc]backup-simplify: Simplify (- 1) into -1 1544000093.507 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1544000093.508 * [misc]backup-simplify: Simplify (/ (- -1 (pow 0 2) (+)) (* 2 1)) into -1/2 1544000093.508 * [misc]backup-simplify: Simplify -1/2 into -1/2 1544000093.508 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544000093.508 * [misc]backup-simplify: Simplify (- 0) into 0 1544000093.508 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544000093.508 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 -1/2)))) (* 2 1)) into 0 1544000093.508 * [misc]backup-simplify: Simplify 0 into 0 1544000093.508 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544000093.508 * [misc]backup-simplify: Simplify (- 0) into 0 1544000093.509 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544000093.509 * [misc]backup-simplify: Simplify (/ (- 0 (pow -1/2 2) (+ (* 2 (* 0 0)))) (* 2 1)) into -1/8 1544000093.509 * [misc]backup-simplify: Simplify -1/8 into -1/8 1544000093.510 * [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)))) 1544000093.510 * [misc]backup-simplify: Simplify (sqrt (- 1 (* (/ 1 x) (/ 1 x)))) into (sqrt (- 1 (/ 1 (pow x 2)))) 1544000093.510 * [misc]approximate: Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in (x) around 0 1544000093.510 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x 1544000093.510 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x 1544000093.510 * [misc]taylor: Taking taylor expansion of 1 in x 1544000093.510 * [misc]backup-simplify: Simplify 1 into 1 1544000093.510 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1544000093.510 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1544000093.510 * [misc]taylor: Taking taylor expansion of x in x 1544000093.510 * [misc]backup-simplify: Simplify 0 into 0 1544000093.510 * [misc]backup-simplify: Simplify 1 into 1 1544000093.510 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544000093.510 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544000093.510 * [misc]backup-simplify: Simplify (- 1) into -1 1544000093.510 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1544000093.510 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1544000093.510 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544000093.511 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1544000093.511 * [misc]backup-simplify: Simplify (- 0) into 0 1544000093.511 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544000093.511 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt -1))) into 0 1544000093.511 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x 1544000093.511 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x 1544000093.511 * [misc]taylor: Taking taylor expansion of 1 in x 1544000093.511 * [misc]backup-simplify: Simplify 1 into 1 1544000093.511 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1544000093.511 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1544000093.511 * [misc]taylor: Taking taylor expansion of x in x 1544000093.511 * [misc]backup-simplify: Simplify 0 into 0 1544000093.511 * [misc]backup-simplify: Simplify 1 into 1 1544000093.511 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544000093.511 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544000093.511 * [misc]backup-simplify: Simplify (- 1) into -1 1544000093.512 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1544000093.512 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1544000093.512 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544000093.512 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1544000093.512 * [misc]backup-simplify: Simplify (- 0) into 0 1544000093.512 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544000093.512 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt -1))) into 0 1544000093.512 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1544000093.512 * [misc]backup-simplify: Simplify 0 into 0 1544000093.513 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544000093.513 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544000093.513 * [misc]backup-simplify: Simplify (- 0) into 0 1544000093.513 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1544000093.520 * [misc]backup-simplify: Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1)) 1544000093.520 * [misc]backup-simplify: Simplify (/ 1/2 (sqrt -1)) into (/ 1/2 (sqrt -1)) 1544000093.520 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544000093.521 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544000093.521 * [misc]backup-simplify: Simplify (- 0) into 0 1544000093.521 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544000093.521 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (sqrt -1)))))) (* 2 (sqrt -1))) into 0 1544000093.521 * [misc]backup-simplify: Simplify 0 into 0 1544000093.521 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544000093.522 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544000093.522 * [misc]backup-simplify: Simplify (- 0) into 0 1544000093.522 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544000093.523 * [misc]backup-simplify: Simplify (/ (- 0 (pow (/ 1/2 (sqrt -1)) 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3)) 1544000093.523 * [misc]backup-simplify: Simplify (/ -1/8 (pow (sqrt -1) 3)) into (/ -1/8 (pow (sqrt -1) 3)) 1544000093.524 * [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))))) 1544000093.524 * [misc]backup-simplify: Simplify (sqrt (- 1 (* (/ 1 (- x)) (/ 1 (- x))))) into (sqrt (- 1 (/ 1 (pow x 2)))) 1544000093.524 * [misc]approximate: Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in (x) around 0 1544000093.525 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x 1544000093.525 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x 1544000093.525 * [misc]taylor: Taking taylor expansion of 1 in x 1544000093.525 * [misc]backup-simplify: Simplify 1 into 1 1544000093.525 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1544000093.525 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1544000093.525 * [misc]taylor: Taking taylor expansion of x in x 1544000093.525 * [misc]backup-simplify: Simplify 0 into 0 1544000093.525 * [misc]backup-simplify: Simplify 1 into 1 1544000093.525 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544000093.525 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544000093.525 * [misc]backup-simplify: Simplify (- 1) into -1 1544000093.525 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1544000093.525 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1544000093.526 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544000093.526 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1544000093.526 * [misc]backup-simplify: Simplify (- 0) into 0 1544000093.526 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544000093.526 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt -1))) into 0 1544000093.526 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x 1544000093.526 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x 1544000093.526 * [misc]taylor: Taking taylor expansion of 1 in x 1544000093.526 * [misc]backup-simplify: Simplify 1 into 1 1544000093.526 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1544000093.526 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1544000093.526 * [misc]taylor: Taking taylor expansion of x in x 1544000093.526 * [misc]backup-simplify: Simplify 0 into 0 1544000093.526 * [misc]backup-simplify: Simplify 1 into 1 1544000093.526 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544000093.526 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544000093.527 * [misc]backup-simplify: Simplify (- 1) into -1 1544000093.527 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1544000093.527 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1544000093.527 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544000093.527 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1544000093.527 * [misc]backup-simplify: Simplify (- 0) into 0 1544000093.527 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544000093.527 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt -1))) into 0 1544000093.527 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1544000093.528 * [misc]backup-simplify: Simplify 0 into 0 1544000093.528 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544000093.528 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544000093.528 * [misc]backup-simplify: Simplify (- 0) into 0 1544000093.528 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1544000093.529 * [misc]backup-simplify: Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1)) 1544000093.529 * [misc]backup-simplify: Simplify (/ 1/2 (sqrt -1)) into (/ 1/2 (sqrt -1)) 1544000093.529 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544000093.530 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544000093.530 * [misc]backup-simplify: Simplify (- 0) into 0 1544000093.530 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544000093.530 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (sqrt -1)))))) (* 2 (sqrt -1))) into 0 1544000093.530 * [misc]backup-simplify: Simplify 0 into 0 1544000093.530 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1544000093.531 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544000093.531 * [misc]backup-simplify: Simplify (- 0) into 0 1544000093.531 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544000093.532 * [misc]backup-simplify: Simplify (/ (- 0 (pow (/ 1/2 (sqrt -1)) 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3)) 1544000093.532 * [misc]backup-simplify: Simplify (/ -1/8 (pow (sqrt -1) 3)) into (/ -1/8 (pow (sqrt -1) 3)) 1544000093.533 * [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)))))) 1544000093.533 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 1) 1544000093.533 * [misc]backup-simplify: Simplify (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)) into (+ (/ 1 x) (* (/ 1 x) (sqrt (- 1 (pow x 2))))) 1544000093.533 * [misc]approximate: Taking taylor expansion of (+ (/ 1 x) (* (/ 1 x) (sqrt (- 1 (pow x 2))))) in (x) around 0 1544000093.533 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) (* (/ 1 x) (sqrt (- 1 (pow x 2))))) in x 1544000093.534 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1544000093.534 * [misc]taylor: Taking taylor expansion of x in x 1544000093.534 * [misc]backup-simplify: Simplify 0 into 0 1544000093.534 * [misc]backup-simplify: Simplify 1 into 1 1544000093.534 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544000093.534 * [misc]taylor: Taking taylor expansion of (* (/ 1 x) (sqrt (- 1 (pow x 2)))) in x 1544000093.534 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1544000093.534 * [misc]taylor: Taking taylor expansion of x in x 1544000093.534 * [misc]backup-simplify: Simplify 0 into 0 1544000093.534 * [misc]backup-simplify: Simplify 1 into 1 1544000093.534 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544000093.534 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (pow x 2))) in x 1544000093.534 * [misc]taylor: Taking taylor expansion of (- 1 (pow x 2)) in x 1544000093.534 * [misc]taylor: Taking taylor expansion of 1 in x 1544000093.534 * [misc]backup-simplify: Simplify 1 into 1 1544000093.534 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1544000093.534 * [misc]taylor: Taking taylor expansion of x in x 1544000093.534 * [misc]backup-simplify: Simplify 0 into 0 1544000093.534 * [misc]backup-simplify: Simplify 1 into 1 1544000093.534 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1544000093.534 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1544000093.534 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544000093.534 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 1))) into 0 1544000093.534 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) (* (/ 1 x) (sqrt (- 1 (pow x 2))))) in x 1544000093.534 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1544000093.534 * [misc]taylor: Taking taylor expansion of x in x 1544000093.534 * [misc]backup-simplify: Simplify 0 into 0 1544000093.535 * [misc]backup-simplify: Simplify 1 into 1 1544000093.535 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544000093.535 * [misc]taylor: Taking taylor expansion of (* (/ 1 x) (sqrt (- 1 (pow x 2)))) in x 1544000093.535 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1544000093.535 * [misc]taylor: Taking taylor expansion of x in x 1544000093.535 * [misc]backup-simplify: Simplify 0 into 0 1544000093.535 * [misc]backup-simplify: Simplify 1 into 1 1544000093.535 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544000093.535 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (pow x 2))) in x 1544000093.535 * [misc]taylor: Taking taylor expansion of (- 1 (pow x 2)) in x 1544000093.535 * [misc]taylor: Taking taylor expansion of 1 in x 1544000093.535 * [misc]backup-simplify: Simplify 1 into 1 1544000093.535 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1544000093.535 * [misc]taylor: Taking taylor expansion of x in x 1544000093.535 * [misc]backup-simplify: Simplify 0 into 0 1544000093.535 * [misc]backup-simplify: Simplify 1 into 1 1544000093.535 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1544000093.535 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1544000093.536 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544000093.536 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 1))) into 0 1544000093.536 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544000093.536 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1544000093.536 * [misc]backup-simplify: Simplify 2 into 2 1544000093.536 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1544000093.536 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1544000093.536 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544000093.537 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544000093.537 * [misc]backup-simplify: Simplify 0 into 0 1544000093.537 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544000093.537 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544000093.537 * [misc]backup-simplify: Simplify (- 1) into -1 1544000093.537 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1544000093.538 * [misc]backup-simplify: Simplify (/ (- -1 (pow 0 2) (+)) (* 2 1)) into -1/2 1544000093.538 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544000093.538 * [misc]backup-simplify: Simplify (+ (* 1 -1/2) (+ (* 0 0) (* 0 1))) into -1/2 1544000093.538 * [misc]backup-simplify: Simplify (+ 0 -1/2) into -1/2 1544000093.538 * [misc]backup-simplify: Simplify -1/2 into -1/2 1544000093.539 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544000093.539 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544000093.539 * [misc]backup-simplify: Simplify (- 0) into 0 1544000093.539 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544000093.539 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 -1/2)))) (* 2 1)) into 0 1544000093.539 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544000093.540 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 -1/2) (+ (* 0 0) (* 0 1)))) into 0 1544000093.540 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544000093.540 * [misc]backup-simplify: Simplify 0 into 0 1544000093.540 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544000093.541 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544000093.541 * [misc]backup-simplify: Simplify (- 0) into 0 1544000093.541 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544000093.542 * [misc]backup-simplify: Simplify (/ (- 0 (pow -1/2 2) (+ (* 2 (* 0 0)))) (* 2 1)) into -1/8 1544000093.542 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544000093.543 * [misc]backup-simplify: Simplify (+ (* 1 -1/8) (+ (* 0 0) (+ (* 0 -1/2) (+ (* 0 0) (* 0 1))))) into -1/8 1544000093.543 * [misc]backup-simplify: Simplify (+ 0 -1/8) into -1/8 1544000093.543 * [misc]backup-simplify: Simplify -1/8 into -1/8 1544000093.543 * [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)))) 1544000093.544 * [misc]backup-simplify: Simplify (+ (/ 1 (/ 1 x)) (/ (sqrt (- 1 (* (/ 1 x) (/ 1 x)))) (/ 1 x))) into (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))) 1544000093.544 * [misc]approximate: Taking taylor expansion of (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))) in (x) around 0 1544000093.544 * [misc]taylor: Taking taylor expansion of (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))) in x 1544000093.544 * [misc]taylor: Taking taylor expansion of x in x 1544000093.544 * [misc]backup-simplify: Simplify 0 into 0 1544000093.544 * [misc]backup-simplify: Simplify 1 into 1 1544000093.544 * [misc]taylor: Taking taylor expansion of (* x (sqrt (- 1 (/ 1 (pow x 2))))) in x 1544000093.544 * [misc]taylor: Taking taylor expansion of x in x 1544000093.544 * [misc]backup-simplify: Simplify 0 into 0 1544000093.544 * [misc]backup-simplify: Simplify 1 into 1 1544000093.544 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x 1544000093.544 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x 1544000093.544 * [misc]taylor: Taking taylor expansion of 1 in x 1544000093.544 * [misc]backup-simplify: Simplify 1 into 1 1544000093.544 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1544000093.544 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1544000093.544 * [misc]taylor: Taking taylor expansion of x in x 1544000093.544 * [misc]backup-simplify: Simplify 0 into 0 1544000093.544 * [misc]backup-simplify: Simplify 1 into 1 1544000093.544 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544000093.545 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544000093.545 * [misc]backup-simplify: Simplify (- 1) into -1 1544000093.545 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1544000093.545 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1544000093.545 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544000093.545 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1544000093.546 * [misc]backup-simplify: Simplify (- 0) into 0 1544000093.546 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544000093.546 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt -1))) into 0 1544000093.546 * [misc]taylor: Taking taylor expansion of (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))) in x 1544000093.546 * [misc]taylor: Taking taylor expansion of x in x 1544000093.546 * [misc]backup-simplify: Simplify 0 into 0 1544000093.546 * [misc]backup-simplify: Simplify 1 into 1 1544000093.546 * [misc]taylor: Taking taylor expansion of (* x (sqrt (- 1 (/ 1 (pow x 2))))) in x 1544000093.546 * [misc]taylor: Taking taylor expansion of x in x 1544000093.546 * [misc]backup-simplify: Simplify 0 into 0 1544000093.546 * [misc]backup-simplify: Simplify 1 into 1 1544000093.546 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x 1544000093.546 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x 1544000093.546 * [misc]taylor: Taking taylor expansion of 1 in x 1544000093.546 * [misc]backup-simplify: Simplify 1 into 1 1544000093.546 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1544000093.546 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1544000093.546 * [misc]taylor: Taking taylor expansion of x in x 1544000093.546 * [misc]backup-simplify: Simplify 0 into 0 1544000093.546 * [misc]backup-simplify: Simplify 1 into 1 1544000093.547 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544000093.547 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544000093.547 * [misc]backup-simplify: Simplify (- 1) into -1 1544000093.547 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1544000093.547 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1544000093.547 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544000093.548 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1544000093.548 * [misc]backup-simplify: Simplify (- 0) into 0 1544000093.548 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544000093.548 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt -1))) into 0 1544000093.548 * [misc]backup-simplify: Simplify (* 0 (sqrt -1)) into 0 1544000093.549 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544000093.549 * [misc]backup-simplify: Simplify 0 into 0 1544000093.549 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (sqrt -1))) into (sqrt -1) 1544000093.550 * [misc]backup-simplify: Simplify (+ 0 (sqrt -1)) into (sqrt -1) 1544000093.550 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1544000093.550 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544000093.550 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544000093.550 * [misc]backup-simplify: Simplify (- 0) into 0 1544000093.551 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1544000093.552 * [misc]backup-simplify: Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1)) 1544000093.552 * [misc]backup-simplify: Simplify (+ (* 0 (/ 1/2 (sqrt -1))) (+ (* 1 0) (* 0 (sqrt -1)))) into 0 1544000093.553 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1544000093.553 * [misc]backup-simplify: Simplify 1 into 1 1544000093.553 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544000093.553 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544000093.553 * [misc]backup-simplify: Simplify (- 0) into 0 1544000093.554 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544000093.554 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (sqrt -1)))))) (* 2 (sqrt -1))) into 0 1544000093.555 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 (/ 1/2 (sqrt -1))) (+ (* 0 0) (* 0 (sqrt -1))))) into (* 1/2 (/ 1 (sqrt -1))) 1544000093.556 * [misc]backup-simplify: Simplify (+ 0 (* 1/2 (/ 1 (sqrt -1)))) into (* 1/2 (/ 1 (sqrt -1))) 1544000093.557 * [misc]backup-simplify: Simplify (* 1/2 (/ 1 (sqrt -1))) into (/ 1/2 (sqrt -1)) 1544000093.557 * [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))) 1544000093.558 * [misc]backup-simplify: Simplify (+ (/ 1 (/ 1 (- x))) (/ (sqrt (- 1 (* (/ 1 (- x)) (/ 1 (- x))))) (/ 1 (- x)))) into (- (+ x (* x (sqrt (- 1 (/ 1 (pow x 2))))))) 1544000093.558 * [misc]approximate: Taking taylor expansion of (- (+ x (* x (sqrt (- 1 (/ 1 (pow x 2))))))) in (x) around 0 1544000093.558 * [misc]taylor: Taking taylor expansion of (- (+ x (* x (sqrt (- 1 (/ 1 (pow x 2))))))) in x 1544000093.558 * [misc]taylor: Taking taylor expansion of (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))) in x 1544000093.558 * [misc]taylor: Taking taylor expansion of x in x 1544000093.558 * [misc]backup-simplify: Simplify 0 into 0 1544000093.558 * [misc]backup-simplify: Simplify 1 into 1 1544000093.558 * [misc]taylor: Taking taylor expansion of (* x (sqrt (- 1 (/ 1 (pow x 2))))) in x 1544000093.558 * [misc]taylor: Taking taylor expansion of x in x 1544000093.558 * [misc]backup-simplify: Simplify 0 into 0 1544000093.558 * [misc]backup-simplify: Simplify 1 into 1 1544000093.558 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x 1544000093.558 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x 1544000093.558 * [misc]taylor: Taking taylor expansion of 1 in x 1544000093.558 * [misc]backup-simplify: Simplify 1 into 1 1544000093.558 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1544000093.558 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1544000093.558 * [misc]taylor: Taking taylor expansion of x in x 1544000093.558 * [misc]backup-simplify: Simplify 0 into 0 1544000093.558 * [misc]backup-simplify: Simplify 1 into 1 1544000093.558 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544000093.558 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544000093.559 * [misc]backup-simplify: Simplify (- 1) into -1 1544000093.559 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1544000093.559 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1544000093.559 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544000093.559 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1544000093.559 * [misc]backup-simplify: Simplify (- 0) into 0 1544000093.560 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544000093.560 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt -1))) into 0 1544000093.560 * [misc]taylor: Taking taylor expansion of (- (+ x (* x (sqrt (- 1 (/ 1 (pow x 2))))))) in x 1544000093.560 * [misc]taylor: Taking taylor expansion of (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))) in x 1544000093.560 * [misc]taylor: Taking taylor expansion of x in x 1544000093.560 * [misc]backup-simplify: Simplify 0 into 0 1544000093.560 * [misc]backup-simplify: Simplify 1 into 1 1544000093.560 * [misc]taylor: Taking taylor expansion of (* x (sqrt (- 1 (/ 1 (pow x 2))))) in x 1544000093.560 * [misc]taylor: Taking taylor expansion of x in x 1544000093.560 * [misc]backup-simplify: Simplify 0 into 0 1544000093.560 * [misc]backup-simplify: Simplify 1 into 1 1544000093.560 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x 1544000093.560 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x 1544000093.560 * [misc]taylor: Taking taylor expansion of 1 in x 1544000093.560 * [misc]backup-simplify: Simplify 1 into 1 1544000093.560 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1544000093.560 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1544000093.560 * [misc]taylor: Taking taylor expansion of x in x 1544000093.560 * [misc]backup-simplify: Simplify 0 into 0 1544000093.560 * [misc]backup-simplify: Simplify 1 into 1 1544000093.560 * [misc]backup-simplify: Simplify (* 1 1) into 1 1544000093.560 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1544000093.560 * [misc]backup-simplify: Simplify (- 1) into -1 1544000093.560 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1544000093.560 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1544000093.561 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1544000093.561 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1544000093.561 * [misc]backup-simplify: Simplify (- 0) into 0 1544000093.561 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544000093.561 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt -1))) into 0 1544000093.561 * [misc]backup-simplify: Simplify (* 0 (sqrt -1)) into 0 1544000093.561 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544000093.562 * [misc]backup-simplify: Simplify (- 0) into 0 1544000093.562 * [misc]backup-simplify: Simplify 0 into 0 1544000093.562 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (sqrt -1))) into (sqrt -1) 1544000093.562 * [misc]backup-simplify: Simplify (+ 0 (sqrt -1)) into (sqrt -1) 1544000093.562 * [misc]backup-simplify: Simplify (- (sqrt -1)) into (- (sqrt -1)) 1544000093.562 * [misc]backup-simplify: Simplify (- (sqrt -1)) into (- (sqrt -1)) 1544000093.563 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1544000093.563 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544000093.563 * [misc]backup-simplify: Simplify (- 0) into 0 1544000093.563 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1544000093.564 * [misc]backup-simplify: Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1)) 1544000093.564 * [misc]backup-simplify: Simplify (+ (* 0 (/ 1/2 (sqrt -1))) (+ (* 1 0) (* 0 (sqrt -1)))) into 0 1544000093.564 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1544000093.564 * [misc]backup-simplify: Simplify (- 1) into -1 1544000093.564 * [misc]backup-simplify: Simplify -1 into -1 1544000093.565 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1544000093.565 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1544000093.565 * [misc]backup-simplify: Simplify (- 0) into 0 1544000093.565 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1544000093.565 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (sqrt -1)))))) (* 2 (sqrt -1))) into 0 1544000093.566 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 (/ 1/2 (sqrt -1))) (+ (* 0 0) (* 0 (sqrt -1))))) into (* 1/2 (/ 1 (sqrt -1))) 1544000093.567 * [misc]backup-simplify: Simplify (+ 0 (* 1/2 (/ 1 (sqrt -1)))) into (* 1/2 (/ 1 (sqrt -1))) 1544000093.567 * [misc]backup-simplify: Simplify (- (* 1/2 (/ 1 (sqrt -1)))) into (- (* 1/2 (/ 1 (sqrt -1)))) 1544000093.567 * [misc]backup-simplify: Simplify (- (* 1/2 (/ 1 (sqrt -1)))) into (- (* 1/2 (/ 1 (sqrt -1)))) 1544000093.568 * [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))) 1544000093.568 * * * [misc]progress: simplifying candidates 1544000093.568 * * * * [misc]progress: [ 1 / 37 ] simplifiying candidate # 1544000093.568 * * * * [misc]progress: [ 2 / 37 ] simplifiying candidate # 1544000093.568 * * * * [misc]progress: [ 3 / 37 ] simplifiying candidate # 1544000093.568 * * * * [misc]progress: [ 4 / 37 ] simplifiying candidate # 1544000093.569 * * * * [misc]progress: [ 5 / 37 ] simplifiying candidate # 1544000093.569 * * * * [misc]progress: [ 6 / 37 ] simplifiying candidate # 1544000093.569 * * * * [misc]progress: [ 7 / 37 ] simplifiying candidate # 1544000093.569 * [enter]simplify: Simplifying (sqrt (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x))))) 1544000093.569 * * [misc]simplify: iters left: 6 (7 enodes) 1544000093.570 * * [misc]simplify: iters left: 5 (12 enodes) 1544000093.571 * * [misc]simplify: iters left: 4 (16 enodes) 1544000093.573 * [exit]simplify: Simplified to (fabs (cbrt (- 1 (* x x)))) 1544000093.573 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (x) (log (+ (/ 1 x) (/ (* (fabs (cbrt (- 1 (* x x)))) (sqrt (cbrt (- 1 (* x x))))) x)))) 1544000093.573 * * * * [misc]progress: [ 8 / 37 ] simplifiying candidate # 1544000093.574 * [enter]simplify: Simplifying (sqrt (sqrt (- 1 (* x x)))) 1544000093.574 * * [misc]simplify: iters left: 6 (6 enodes) 1544000093.574 * * [misc]simplify: iters left: 5 (10 enodes) 1544000093.576 * * [misc]simplify: iters left: 4 (14 enodes) 1544000093.577 * [exit]simplify: Simplified to (sqrt (sqrt (- 1 (* x x)))) 1544000093.577 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (x) (log (+ (/ 1 x) (/ (* (sqrt (sqrt (- 1 (* x x)))) (sqrt (sqrt (- 1 (* x x))))) x)))) 1544000093.577 * * * * [misc]progress: [ 9 / 37 ] simplifiying candidate # 1544000093.578 * [enter]simplify: Simplifying (sqrt 1) 1544000093.578 * * [misc]simplify: iters left: 1 (2 enodes) 1544000093.578 * [exit]simplify: Simplified to 1 1544000093.578 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (x) (log (+ (/ 1 x) (/ (* 1 (sqrt (- 1 (* x x)))) x)))) 1544000093.578 * * * * [misc]progress: [ 10 / 37 ] simplifiying candidate # 1544000093.579 * [enter]simplify: Simplifying (sqrt (- (pow 1 3) (pow (* x x) 3))) 1544000093.579 * * [misc]simplify: iters left: 6 (8 enodes) 1544000093.580 * * [misc]simplify: iters left: 5 (19 enodes) 1544000093.583 * * [misc]simplify: iters left: 4 (37 enodes) 1544000093.589 * * [misc]simplify: iters left: 3 (70 enodes) 1544000093.616 * * [misc]simplify: iters left: 2 (76 enodes) 1544000093.636 * * [misc]simplify: iters left: 1 (79 enodes) 1544000093.650 * [exit]simplify: Simplified to (sqrt (- 1 (pow x 6))) 1544000093.650 * [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)))) 1544000093.650 * * * * [misc]progress: [ 11 / 37 ] simplifiying candidate # 1544000093.651 * [enter]simplify: Simplifying (sqrt (- (* 1 1) (* (* x x) (* x x)))) 1544000093.651 * * [misc]simplify: iters left: 6 (7 enodes) 1544000093.654 * * [misc]simplify: iters left: 5 (15 enodes) 1544000093.658 * * [misc]simplify: iters left: 4 (28 enodes) 1544000093.667 * * [misc]simplify: iters left: 3 (43 enodes) 1544000093.678 * * [misc]simplify: iters left: 2 (47 enodes) 1544000093.687 * [exit]simplify: Simplified to (sqrt (- 1 (pow x 4))) 1544000093.687 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (x) (log (+ (/ 1 x) (/ (/ (sqrt (- 1 (pow x 4))) (sqrt (+ 1 (* x x)))) x)))) 1544000093.687 * * * * [misc]progress: [ 12 / 37 ] simplifiying candidate # 1544000093.688 * * * * [misc]progress: [ 13 / 37 ] simplifiying candidate # 1544000093.688 * [enter]simplify: Simplifying (sqrt (- 1 (* x x))) 1544000093.688 * * [misc]simplify: iters left: 5 (5 enodes) 1544000093.689 * * [misc]simplify: iters left: 4 (9 enodes) 1544000093.692 * * [misc]simplify: iters left: 3 (13 enodes) 1544000093.695 * [exit]simplify: Simplified to (sqrt (- 1 (* x x))) 1544000093.696 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (x) (log (+ (/ 1 x) (/ (fabs (sqrt (- 1 (* x x)))) x)))) 1544000093.696 * * * * [misc]progress: [ 14 / 37 ] simplifiying candidate # 1544000093.696 * * * * [misc]progress: [ 15 / 37 ] simplifiying candidate # 1544000093.696 * [enter]simplify: Simplifying (* (exp (/ 1 x)) (exp (/ (sqrt (- 1 (* x x))) x))) 1544000093.696 * * [misc]simplify: iters left: 6 (10 enodes) 1544000093.699 * * [misc]simplify: iters left: 5 (17 enodes) 1544000093.704 * * [misc]simplify: iters left: 4 (23 enodes) 1544000093.711 * [exit]simplify: Simplified to (exp (+ (/ (sqrt (- 1 (* x x))) x) (/ 1 x))) 1544000093.711 * [misc]simplify: Simplified (2 1 1) to (λ (x) (log (log (exp (+ (/ (sqrt (- 1 (* x x))) x) (/ 1 x)))))) 1544000093.711 * * * * [misc]progress: [ 16 / 37 ] simplifiying candidate # 1544000093.711 * * * * [misc]progress: [ 17 / 37 ] simplifiying candidate # 1544000093.711 * * * * [misc]progress: [ 18 / 37 ] simplifiying candidate # 1544000093.711 * * * * [misc]progress: [ 19 / 37 ] simplifiying candidate # 1544000093.711 * * * * [misc]progress: [ 20 / 37 ] simplifiying candidate # 1544000093.711 * * * * [misc]progress: [ 21 / 37 ] simplifiying candidate # 1544000093.711 * * * * [misc]progress: [ 22 / 37 ] simplifiying candidate # 1544000093.711 * [enter]simplify: Simplifying (+ (* 1 x) (* x (sqrt (- 1 (* x x))))) 1544000093.711 * * [misc]simplify: iters left: 6 (8 enodes) 1544000093.714 * * [misc]simplify: iters left: 5 (14 enodes) 1544000093.718 * * [misc]simplify: iters left: 4 (20 enodes) 1544000093.723 * * [misc]simplify: iters left: 3 (23 enodes) 1544000093.728 * * [misc]simplify: iters left: 2 (26 enodes) 1544000093.735 * [exit]simplify: Simplified to (+ x (* (sqrt (- 1 (* x x))) x)) 1544000093.735 * [misc]simplify: Simplified (2 1 1) to (λ (x) (log (/ (+ x (* (sqrt (- 1 (* x x))) x)) (* x x)))) 1544000093.736 * [enter]simplify: Simplifying (* x x) 1544000093.736 * * [misc]simplify: iters left: 2 (2 enodes) 1544000093.736 * [exit]simplify: Simplified to (* x x) 1544000093.737 * [misc]simplify: Simplified (2 1 2) to (λ (x) (log (/ (+ x (* (sqrt (- 1 (* x x))) x)) (* x x)))) 1544000093.737 * * * * [misc]progress: [ 23 / 37 ] simplifiying candidate # 1544000093.737 * * * * [misc]progress: [ 24 / 37 ] simplifiying candidate # 1544000093.737 * * * * [misc]progress: [ 25 / 37 ] simplifiying candidate # 1544000093.737 * * * * [misc]progress: [ 26 / 37 ] simplifiying candidate # 1544000093.737 * [enter]simplify: Simplifying (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)) 1544000093.737 * * [misc]simplify: iters left: 6 (8 enodes) 1544000093.740 * * [misc]simplify: iters left: 5 (13 enodes) 1544000093.744 * * [misc]simplify: iters left: 4 (17 enodes) 1544000093.748 * [exit]simplify: Simplified to (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)) 1544000093.748 * [misc]simplify: Simplified (2 1 2) to (λ (x) (log (* 1 (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))) 1544000093.748 * * * * [misc]progress: [ 27 / 37 ] simplifiying candidate # 1544000093.749 * [enter]simplify: Simplifying (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)) 1544000093.749 * * [misc]simplify: iters left: 6 (8 enodes) 1544000093.751 * * [misc]simplify: iters left: 5 (13 enodes) 1544000093.755 * * [misc]simplify: iters left: 4 (17 enodes) 1544000093.759 * [exit]simplify: Simplified to (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)) 1544000093.760 * [misc]simplify: Simplified (2 1 2) to (λ (x) (log (* 1 (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))) 1544000093.760 * * * * [misc]progress: [ 28 / 37 ] simplifiying candidate # 1544000093.760 * [enter]simplify: Simplifying (/ 1 x) 1544000093.760 * * [misc]simplify: iters left: 2 (3 enodes) 1544000093.761 * * [misc]simplify: iters left: 1 (5 enodes) 1544000093.762 * [exit]simplify: Simplified to (/ 1 x) 1544000093.762 * [misc]simplify: Simplified (2 1 1) to (λ (x) (log (* (/ 1 x) (+ 1 (sqrt (- 1 (* x x))))))) 1544000093.762 * [enter]simplify: Simplifying (+ 1 (sqrt (- 1 (* x x)))) 1544000093.762 * * [misc]simplify: iters left: 6 (6 enodes) 1544000093.765 * * [misc]simplify: iters left: 5 (11 enodes) 1544000093.768 * * [misc]simplify: iters left: 4 (15 enodes) 1544000093.771 * [exit]simplify: Simplified to (+ 1 (sqrt (- 1 (* x x)))) 1544000093.771 * [misc]simplify: Simplified (2 1 2) to (λ (x) (log (* (/ 1 x) (+ 1 (sqrt (- 1 (* x x))))))) 1544000093.772 * * * * [misc]progress: [ 29 / 37 ] simplifiying candidate # 1544000093.772 * [enter]simplify: Simplifying (/ 1 x) 1544000093.772 * * [misc]simplify: iters left: 2 (3 enodes) 1544000093.772 * * [misc]simplify: iters left: 1 (5 enodes) 1544000093.773 * [exit]simplify: Simplified to (/ 1 x) 1544000093.773 * [misc]simplify: Simplified (2 1 1) to (λ (x) (log (* (/ 1 x) (+ 1 (sqrt (- 1 (* x x))))))) 1544000093.773 * [enter]simplify: Simplifying (+ 1 (sqrt (- 1 (* x x)))) 1544000093.773 * * [misc]simplify: iters left: 6 (6 enodes) 1544000093.774 * * [misc]simplify: iters left: 5 (11 enodes) 1544000093.775 * * [misc]simplify: iters left: 4 (15 enodes) 1544000093.777 * [exit]simplify: Simplified to (+ 1 (sqrt (- 1 (* x x)))) 1544000093.777 * [misc]simplify: Simplified (2 1 2) to (λ (x) (log (* (/ 1 x) (+ 1 (sqrt (- 1 (* x x))))))) 1544000093.777 * * * * [misc]progress: [ 30 / 37 ] simplifiying candidate # 1544000093.777 * [enter]simplify: Simplifying (/ 1 x) 1544000093.777 * * [misc]simplify: iters left: 2 (3 enodes) 1544000093.778 * * [misc]simplify: iters left: 1 (5 enodes) 1544000093.778 * [exit]simplify: Simplified to (/ 1 x) 1544000093.778 * [misc]simplify: Simplified (2 1 2) to (λ (x) (log (* (+ (sqrt (- 1 (* x x))) 1) (/ 1 x)))) 1544000093.778 * * * * [misc]progress: [ 31 / 37 ] simplifiying candidate # 1544000093.778 * * * * [misc]progress: [ 32 / 37 ] simplifiying candidate # 1544000093.779 * [enter]simplify: Simplifying (- 1 (+ (* 1/2 (pow x 2)) (* 1/8 (pow x 4)))) 1544000093.779 * * [misc]simplify: iters left: 6 (12 enodes) 1544000093.781 * * [misc]simplify: iters left: 5 (22 enodes) 1544000093.784 * * [misc]simplify: iters left: 4 (34 enodes) 1544000093.790 * * [misc]simplify: iters left: 3 (66 enodes) 1544000093.799 * * [misc]simplify: iters left: 2 (87 enodes) 1544000093.811 * * [misc]simplify: iters left: 1 (103 enodes) 1544000093.845 * [exit]simplify: Simplified to (- (* -1/8 (pow x 4)) (+ (* 1/2 (* x x)) -1)) 1544000093.846 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (log (+ (/ 1 x) (/ (- (* -1/8 (pow x 4)) (+ (* 1/2 (* x x)) -1)) x)))) 1544000093.846 * * * * [misc]progress: [ 33 / 37 ] simplifiying candidate # 1544000093.846 * [enter]simplify: Simplifying (- (+ (* x (sqrt -1)) (* 1/2 (/ 1 (* x (sqrt -1))))) (* 1/8 (/ 1 (* (pow x 3) (pow (sqrt -1) 3))))) 1544000093.846 * * [misc]simplify: iters left: 6 (17 enodes) 1544000093.851 * * [misc]simplify: iters left: 5 (42 enodes) 1544000093.859 * * [misc]simplify: iters left: 4 (92 enodes) 1544000093.879 * * [misc]simplify: iters left: 3 (177 enodes) 1544000093.906 * * [misc]simplify: iters left: 2 (282 enodes) 1544000094.026 * [exit]simplify: Simplified to (+ (+ (* x (sqrt -1)) (/ (/ 1/2 x) (sqrt -1))) (/ (/ (/ -1 x) (* x x)) (* -8 (sqrt -1)))) 1544000094.026 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (log (+ (/ 1 x) (/ (+ (+ (* x (sqrt -1)) (/ (/ 1/2 x) (sqrt -1))) (/ (/ (/ -1 x) (* x x)) (* -8 (sqrt -1)))) x)))) 1544000094.026 * * * * [misc]progress: [ 34 / 37 ] simplifiying candidate # 1544000094.026 * [enter]simplify: Simplifying (- (* 1/8 (/ 1 (* (pow x 3) (pow (sqrt -1) 3)))) (+ (* x (sqrt -1)) (* 1/2 (/ 1 (* x (sqrt -1)))))) 1544000094.026 * * [misc]simplify: iters left: 6 (17 enodes) 1544000094.030 * * [misc]simplify: iters left: 5 (42 enodes) 1544000094.044 * * [misc]simplify: iters left: 4 (83 enodes) 1544000094.072 * * [misc]simplify: iters left: 3 (181 enodes) 1544000094.117 * * [misc]simplify: iters left: 2 (314 enodes) 1544000094.223 * [exit]simplify: Simplified to (+ (- (/ (/ -1/2 x) (sqrt -1)) (* (sqrt -1) x)) (/ (/ (/ 1/8 x) (* x x)) (- (sqrt -1)))) 1544000094.223 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (log (+ (/ 1 x) (/ (+ (- (/ (/ -1/2 x) (sqrt -1)) (* (sqrt -1) x)) (/ (/ (/ 1/8 x) (* x x)) (- (sqrt -1)))) x)))) 1544000094.223 * * * * [misc]progress: [ 35 / 37 ] simplifiying candidate # 1544000094.223 * [enter]simplify: Simplifying (- (* 2 (/ 1 x)) (+ (* 1/2 x) (* 1/8 (pow x 3)))) 1544000094.223 * * [misc]simplify: iters left: 6 (13 enodes) 1544000094.226 * * [misc]simplify: iters left: 5 (28 enodes) 1544000094.230 * * [misc]simplify: iters left: 4 (46 enodes) 1544000094.245 * * [misc]simplify: iters left: 3 (101 enodes) 1544000094.263 * * [misc]simplify: iters left: 2 (164 enodes) 1544000094.298 * * [misc]simplify: iters left: 1 (217 enodes) 1544000094.348 * [exit]simplify: Simplified to (- (* (* x x) (* -1/8 x)) (+ (/ -2 x) (* x 1/2))) 1544000094.348 * [misc]simplify: Simplified (2 1) to (λ (x) (log (- (* (* x x) (* -1/8 x)) (+ (/ -2 x) (* x 1/2))))) 1544000094.348 * * * * [misc]progress: [ 36 / 37 ] simplifiying candidate # 1544000094.348 * [enter]simplify: Simplifying (+ (* 1/2 (/ 1 (* (pow x 2) (sqrt -1)))) (+ (sqrt -1) (/ 1 x))) 1544000094.348 * * [misc]simplify: iters left: 6 (13 enodes) 1544000094.354 * * [misc]simplify: iters left: 5 (26 enodes) 1544000094.362 * * [misc]simplify: iters left: 4 (43 enodes) 1544000094.377 * * [misc]simplify: iters left: 3 (59 enodes) 1544000094.395 * * [misc]simplify: iters left: 2 (91 enodes) 1544000094.418 * * [misc]simplify: iters left: 1 (137 enodes) 1544000094.449 * [exit]simplify: Simplified to (+ (+ (/ 1 x) (sqrt -1)) (/ 1/2 (* (sqrt -1) (* x x)))) 1544000094.449 * [misc]simplify: Simplified (2 1) to (λ (x) (log (+ (+ (/ 1 x) (sqrt -1)) (/ 1/2 (* (sqrt -1) (* x x)))))) 1544000094.449 * * * * [misc]progress: [ 37 / 37 ] simplifiying candidate # 1544000094.449 * [enter]simplify: Simplifying (- (/ 1 x) (+ (* 1/2 (/ 1 (* (pow x 2) (sqrt -1)))) (sqrt -1))) 1544000094.449 * * [misc]simplify: iters left: 6 (13 enodes) 1544000094.452 * * [misc]simplify: iters left: 5 (27 enodes) 1544000094.457 * * [misc]simplify: iters left: 4 (46 enodes) 1544000094.473 * * [misc]simplify: iters left: 3 (87 enodes) 1544000094.493 * * [misc]simplify: iters left: 2 (154 enodes) 1544000094.519 * * [misc]simplify: iters left: 1 (264 enodes) 1544000094.683 * [exit]simplify: Simplified to (- (/ (/ (/ -1/2 x) (sqrt -1)) x) (+ (sqrt -1) (/ -1 x))) 1544000094.683 * [misc]simplify: Simplified (2 1) to (λ (x) (log (- (/ (/ (/ -1/2 x) (sqrt -1)) x) (+ (sqrt -1) (/ -1 x))))) 1544000094.683 * * * [misc]progress: adding candidates to table 1544000095.005 * [misc]progress: [Phase 3 of 3] Extracting. 1544000095.009 * [enter]simplify: Simplifying (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) 1544000095.010 * * [misc]simplify: iters left: 6 (9 enodes) 1544000095.010 * * [misc]simplify: iters left: 5 (12 enodes) 1544000095.011 * [exit]simplify: Simplified to (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) 1544000095.012 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1544000095.034 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1544000095.036 * * * * [misc]points: Setting MPFR precision to 64 1544000095.037 * * * * [misc]points: Setting MPFR precision to 320 1544000095.037 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1544000095.039 * * * * [misc]points: Setting MPFR precision to 64 1544000095.039 * * * * [misc]points: Setting MPFR precision to 320 1544000095.040 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1544000095.041 * * * * [misc]points: Setting MPFR precision to 64 1544000095.043 * * * * [misc]points: Setting MPFR precision to 320 1544000095.044 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1544000095.046 * * * * [misc]points: Setting MPFR precision to 64 1544000095.050 * * * * [misc]points: Setting MPFR precision to 320 1544000095.055 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1544000095.058 * * * * [misc]points: Setting MPFR precision to 64 1544000095.066 * * * * [misc]points: Setting MPFR precision to 320 1544000095.071 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1544000095.073 * * * * [misc]points: Setting MPFR precision to 64 1544000095.100 * * * * [misc]points: Setting MPFR precision to 320 1544000095.121 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1544000095.124 * * * * [misc]points: Setting MPFR precision to 64 1544000095.163 * * * * [misc]points: Setting MPFR precision to 320 1544000095.205 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1544000095.207 * * * * [misc]points: Setting MPFR precision to 64 1544000095.327 * * * * [misc]points: Setting MPFR precision to 320 1544000095.387 * * * * [misc]points: Computing exacts for 8000 points 1544000095.390 * * * * [misc]points: Setting MPFR precision to 64 1544000095.757 * * * * [misc]points: Setting MPFR precision to 320 1544000096.123 * * * * [misc]points: Filtering points with unrepresentable outputs 1544000096.125 * * * * [misc]points: Sampling 6004 additional inputs, on iter 1 have 1996 / 8000 1544000096.152 * * * * [misc]points: Computing exacts on every 375 of 6004 points to ramp up precision 1544000096.186 * * * * [misc]points: Setting MPFR precision to 64 1544000096.187 * * * * [misc]points: Setting MPFR precision to 320 1544000096.188 * * * * [misc]points: Computing exacts on every 187 of 6004 points to ramp up precision 1544000096.191 * * * * [misc]points: Setting MPFR precision to 64 1544000096.192 * * * * [misc]points: Setting MPFR precision to 320 1544000096.196 * * * * [misc]points: Computing exacts on every 93 of 6004 points to ramp up precision 1544000096.199 * * * * [misc]points: Setting MPFR precision to 64 1544000096.201 * * * * [misc]points: Setting MPFR precision to 320 1544000096.204 * * * * [misc]points: Computing exacts on every 46 of 6004 points to ramp up precision 1544000096.207 * * * * [misc]points: Setting MPFR precision to 64 1544000096.212 * * * * [misc]points: Setting MPFR precision to 320 1544000096.217 * * * * [misc]points: Computing exacts on every 23 of 6004 points to ramp up precision 1544000096.220 * * * * [misc]points: Setting MPFR precision to 64 1544000096.229 * * * * [misc]points: Setting MPFR precision to 320 1544000096.235 * * * * [misc]points: Computing exacts on every 11 of 6004 points to ramp up precision 1544000096.236 * * * * [misc]points: Setting MPFR precision to 64 1544000096.246 * * * * [misc]points: Setting MPFR precision to 320 1544000096.267 * * * * [misc]points: Computing exacts on every 5 of 6004 points to ramp up precision 1544000096.270 * * * * [misc]points: Setting MPFR precision to 64 1544000096.309 * * * * [misc]points: Setting MPFR precision to 320 1544000096.393 * * * * [misc]points: Computing exacts on every 2 of 6004 points to ramp up precision 1544000096.396 * * * * [misc]points: Setting MPFR precision to 64 1544000096.454 * * * * [misc]points: Setting MPFR precision to 320 1544000096.882 * * * * [misc]points: Computing exacts for 6004 points 1544000096.883 * * * * [misc]points: Setting MPFR precision to 64 1544000097.123 * * * * [misc]points: Setting MPFR precision to 320 1544000097.379 * * * * [misc]points: Filtering points with unrepresentable outputs 1544000097.381 * * * * [misc]points: Sampling 4503 additional inputs, on iter 2 have 3497 / 8000 1544000097.437 * * * * [misc]points: Computing exacts on every 281 of 4503 points to ramp up precision 1544000097.439 * * * * [misc]points: Setting MPFR precision to 64 1544000097.439 * * * * [misc]points: Setting MPFR precision to 320 1544000097.440 * * * * [misc]points: Computing exacts on every 140 of 4503 points to ramp up precision 1544000097.441 * * * * [misc]points: Setting MPFR precision to 64 1544000097.442 * * * * [misc]points: Setting MPFR precision to 320 1544000097.442 * * * * [misc]points: Computing exacts on every 70 of 4503 points to ramp up precision 1544000097.444 * * * * [misc]points: Setting MPFR precision to 64 1544000097.445 * * * * [misc]points: Setting MPFR precision to 320 1544000097.446 * * * * [misc]points: Computing exacts on every 35 of 4503 points to ramp up precision 1544000097.448 * * * * [misc]points: Setting MPFR precision to 64 1544000097.450 * * * * [misc]points: Setting MPFR precision to 320 1544000097.453 * * * * [misc]points: Computing exacts on every 17 of 4503 points to ramp up precision 1544000097.455 * * * * [misc]points: Setting MPFR precision to 64 1544000097.464 * * * * [misc]points: Setting MPFR precision to 320 1544000097.474 * * * * [misc]points: Computing exacts on every 8 of 4503 points to ramp up precision 1544000097.477 * * * * [misc]points: Setting MPFR precision to 64 1544000097.497 * * * * [misc]points: Setting MPFR precision to 320 1544000097.517 * * * * [misc]points: Computing exacts on every 4 of 4503 points to ramp up precision 1544000097.518 * * * * [misc]points: Setting MPFR precision to 64 1544000097.560 * * * * [misc]points: Setting MPFR precision to 320 1544000097.592 * * * * [misc]points: Computing exacts on every 2 of 4503 points to ramp up precision 1544000097.594 * * * * [misc]points: Setting MPFR precision to 64 1544000097.650 * * * * [misc]points: Setting MPFR precision to 320 1544000097.701 * * * * [misc]points: Computing exacts for 4503 points 1544000097.745 * * * * [misc]points: Setting MPFR precision to 64 1544000097.924 * * * * [misc]points: Setting MPFR precision to 320 1544000098.100 * * * * [misc]points: Filtering points with unrepresentable outputs 1544000098.101 * * * * [misc]points: Sampling 3324 additional inputs, on iter 3 have 4676 / 8000 1544000098.114 * * * * [misc]points: Computing exacts on every 207 of 3324 points to ramp up precision 1544000098.116 * * * * [misc]points: Setting MPFR precision to 64 1544000098.117 * * * * [misc]points: Setting MPFR precision to 320 1544000098.118 * * * * [misc]points: Computing exacts on every 103 of 3324 points to ramp up precision 1544000098.120 * * * * [misc]points: Setting MPFR precision to 64 1544000098.121 * * * * [misc]points: Setting MPFR precision to 320 1544000098.122 * * * * [misc]points: Computing exacts on every 51 of 3324 points to ramp up precision 1544000098.125 * * * * [misc]points: Setting MPFR precision to 64 1544000098.128 * * * * [misc]points: Setting MPFR precision to 320 1544000098.131 * * * * [misc]points: Computing exacts on every 25 of 3324 points to ramp up precision 1544000098.134 * * * * [misc]points: Setting MPFR precision to 64 1544000098.139 * * * * [misc]points: Setting MPFR precision to 320 1544000098.145 * * * * [misc]points: Computing exacts on every 12 of 3324 points to ramp up precision 1544000098.147 * * * * [misc]points: Setting MPFR precision to 64 1544000098.158 * * * * [misc]points: Setting MPFR precision to 320 1544000098.164 * * * * [misc]points: Computing exacts on every 6 of 3324 points to ramp up precision 1544000098.166 * * * * [misc]points: Setting MPFR precision to 64 1544000098.175 * * * * [misc]points: Setting MPFR precision to 320 1544000098.185 * * * * [misc]points: Computing exacts on every 3 of 3324 points to ramp up precision 1544000098.187 * * * * [misc]points: Setting MPFR precision to 64 1544000098.244 * * * * [misc]points: Setting MPFR precision to 320 1544000098.281 * * * * [misc]points: Computing exacts for 3324 points 1544000098.283 * * * * [misc]points: Setting MPFR precision to 64 1544000098.440 * * * * [misc]points: Setting MPFR precision to 320 1544000098.547 * * * * [misc]points: Filtering points with unrepresentable outputs 1544000098.548 * * * * [misc]points: Sampling 2473 additional inputs, on iter 4 have 5527 / 8000 1544000098.553 * * * * [misc]points: Computing exacts on every 154 of 2473 points to ramp up precision 1544000098.588 * * * * [misc]points: Setting MPFR precision to 64 1544000098.589 * * * * [misc]points: Setting MPFR precision to 320 1544000098.589 * * * * [misc]points: Computing exacts on every 77 of 2473 points to ramp up precision 1544000098.592 * * * * [misc]points: Setting MPFR precision to 64 1544000098.594 * * * * [misc]points: Setting MPFR precision to 320 1544000098.595 * * * * [misc]points: Computing exacts on every 38 of 2473 points to ramp up precision 1544000098.602 * * * * [misc]points: Setting MPFR precision to 64 1544000098.605 * * * * [misc]points: Setting MPFR precision to 320 1544000098.608 * * * * [misc]points: Computing exacts on every 19 of 2473 points to ramp up precision 1544000098.611 * * * * [misc]points: Setting MPFR precision to 64 1544000098.616 * * * * [misc]points: Setting MPFR precision to 320 1544000098.620 * * * * [misc]points: Computing exacts on every 9 of 2473 points to ramp up precision 1544000098.622 * * * * [misc]points: Setting MPFR precision to 64 1544000098.627 * * * * [misc]points: Setting MPFR precision to 320 1544000098.632 * * * * [misc]points: Computing exacts on every 4 of 2473 points to ramp up precision 1544000098.634 * * * * [misc]points: Setting MPFR precision to 64 1544000098.643 * * * * [misc]points: Setting MPFR precision to 320 1544000098.656 * * * * [misc]points: Computing exacts on every 2 of 2473 points to ramp up precision 1544000098.660 * * * * [misc]points: Setting MPFR precision to 64 1544000098.691 * * * * [misc]points: Setting MPFR precision to 320 1544000098.721 * * * * [misc]points: Computing exacts for 2473 points 1544000099.082 * * * * [misc]points: Setting MPFR precision to 64 1544000099.143 * * * * [misc]points: Setting MPFR precision to 320 1544000099.294 * * * * [misc]points: Filtering points with unrepresentable outputs 1544000099.295 * * * * [misc]points: Sampling 1870 additional inputs, on iter 5 have 6130 / 8000 1544000099.303 * * * * [misc]points: Computing exacts on every 116 of 1870 points to ramp up precision 1544000099.306 * * * * [misc]points: Setting MPFR precision to 64 1544000099.307 * * * * [misc]points: Setting MPFR precision to 320 1544000099.308 * * * * [misc]points: Computing exacts on every 58 of 1870 points to ramp up precision 1544000099.310 * * * * [misc]points: Setting MPFR precision to 64 1544000099.312 * * * * [misc]points: Setting MPFR precision to 320 1544000099.313 * * * * [misc]points: Computing exacts on every 29 of 1870 points to ramp up precision 1544000099.316 * * * * [misc]points: Setting MPFR precision to 64 1544000099.319 * * * * [misc]points: Setting MPFR precision to 320 1544000099.322 * * * * [misc]points: Computing exacts on every 14 of 1870 points to ramp up precision 1544000099.324 * * * * [misc]points: Setting MPFR precision to 64 1544000099.329 * * * * [misc]points: Setting MPFR precision to 320 1544000099.334 * * * * [misc]points: Computing exacts on every 7 of 1870 points to ramp up precision 1544000099.337 * * * * [misc]points: Setting MPFR precision to 64 1544000099.346 * * * * [misc]points: Setting MPFR precision to 320 1544000099.356 * * * * [misc]points: Computing exacts on every 3 of 1870 points to ramp up precision 1544000099.359 * * * * [misc]points: Setting MPFR precision to 64 1544000099.377 * * * * [misc]points: Setting MPFR precision to 320 1544000099.397 * * * * [misc]points: Computing exacts for 1870 points 1544000099.400 * * * * [misc]points: Setting MPFR precision to 64 1544000099.516 * * * * [misc]points: Setting MPFR precision to 320 1544000099.590 * * * * [misc]points: Filtering points with unrepresentable outputs 1544000099.591 * * * * [misc]points: Sampling 1428 additional inputs, on iter 6 have 6572 / 8000 1544000099.594 * * * * [misc]points: Computing exacts on every 89 of 1428 points to ramp up precision 1544000099.595 * * * * [misc]points: Setting MPFR precision to 64 1544000099.596 * * * * [misc]points: Setting MPFR precision to 320 1544000099.596 * * * * [misc]points: Computing exacts on every 44 of 1428 points to ramp up precision 1544000099.598 * * * * [misc]points: Setting MPFR precision to 64 1544000099.598 * * * * [misc]points: Setting MPFR precision to 320 1544000099.599 * * * * [misc]points: Computing exacts on every 22 of 1428 points to ramp up precision 1544000099.600 * * * * [misc]points: Setting MPFR precision to 64 1544000099.602 * * * * [misc]points: Setting MPFR precision to 320 1544000099.603 * * * * [misc]points: Computing exacts on every 11 of 1428 points to ramp up precision 1544000099.604 * * * * [misc]points: Setting MPFR precision to 64 1544000099.649 * * * * [misc]points: Setting MPFR precision to 320 1544000099.653 * * * * [misc]points: Computing exacts on every 5 of 1428 points to ramp up precision 1544000099.654 * * * * [misc]points: Setting MPFR precision to 64 1544000099.662 * * * * [misc]points: Setting MPFR precision to 320 1544000099.667 * * * * [misc]points: Computing exacts on every 2 of 1428 points to ramp up precision 1544000099.669 * * * * [misc]points: Setting MPFR precision to 64 1544000099.689 * * * * [misc]points: Setting MPFR precision to 320 1544000099.706 * * * * [misc]points: Computing exacts for 1428 points 1544000099.708 * * * * [misc]points: Setting MPFR precision to 64 1544000099.739 * * * * [misc]points: Setting MPFR precision to 320 1544000099.859 * * * * [misc]points: Setting MPFR precision to 576 1544000099.923 * * * * [misc]points: Filtering points with unrepresentable outputs 1544000099.923 * * * * [misc]points: Sampling 1093 additional inputs, on iter 7 have 6907 / 8000 1544000099.928 * * * * [misc]points: Computing exacts on every 68 of 1093 points to ramp up precision 1544000099.932 * * * * [misc]points: Setting MPFR precision to 320 1544000099.933 * * * * [misc]points: Setting MPFR precision to 576 1544000099.934 * * * * [misc]points: Computing exacts on every 34 of 1093 points to ramp up precision 1544000099.937 * * * * [misc]points: Setting MPFR precision to 320 1544000099.939 * * * * [misc]points: Setting MPFR precision to 576 1544000099.940 * * * * [misc]points: Computing exacts on every 17 of 1093 points to ramp up precision 1544000099.943 * * * * [misc]points: Setting MPFR precision to 320 1544000099.946 * * * * [misc]points: Setting MPFR precision to 576 1544000099.949 * * * * [misc]points: Computing exacts on every 8 of 1093 points to ramp up precision 1544000099.952 * * * * [misc]points: Setting MPFR precision to 320 1544000099.957 * * * * [misc]points: Setting MPFR precision to 576 1544000099.963 * * * * [misc]points: Computing exacts on every 4 of 1093 points to ramp up precision 1544000099.967 * * * * [misc]points: Setting MPFR precision to 320 1544000099.976 * * * * [misc]points: Setting MPFR precision to 576 1544000099.986 * * * * [misc]points: Computing exacts on every 2 of 1093 points to ramp up precision 1544000099.990 * * * * [misc]points: Setting MPFR precision to 320 1544000100.028 * * * * [misc]points: Setting MPFR precision to 576 1544000100.046 * * * * [misc]points: Computing exacts for 1093 points 1544000100.049 * * * * [misc]points: Setting MPFR precision to 320 1544000100.096 * * * * [misc]points: Setting MPFR precision to 576 1544000100.124 * * * * [misc]points: Filtering points with unrepresentable outputs 1544000100.124 * * * * [misc]points: Sampling 836 additional inputs, on iter 8 have 7164 / 8000 1544000100.128 * * * * [misc]points: Computing exacts on every 52 of 836 points to ramp up precision 1544000100.132 * * * * [misc]points: Setting MPFR precision to 320 1544000100.133 * * * * [misc]points: Setting MPFR precision to 576 1544000100.133 * * * * [misc]points: Computing exacts on every 26 of 836 points to ramp up precision 1544000100.137 * * * * [misc]points: Setting MPFR precision to 320 1544000100.138 * * * * [misc]points: Setting MPFR precision to 576 1544000100.140 * * * * [misc]points: Computing exacts on every 13 of 836 points to ramp up precision 1544000100.143 * * * * [misc]points: Setting MPFR precision to 320 1544000100.145 * * * * [misc]points: Setting MPFR precision to 576 1544000100.146 * * * * [misc]points: Computing exacts on every 6 of 836 points to ramp up precision 1544000100.148 * * * * [misc]points: Setting MPFR precision to 320 1544000100.179 * * * * [misc]points: Setting MPFR precision to 576 1544000100.188 * * * * [misc]points: Computing exacts on every 3 of 836 points to ramp up precision 1544000100.190 * * * * [misc]points: Setting MPFR precision to 320 1544000100.194 * * * * [misc]points: Setting MPFR precision to 576 1544000100.199 * * * * [misc]points: Computing exacts for 836 points 1544000100.201 * * * * [misc]points: Setting MPFR precision to 320 1544000100.222 * * * * [misc]points: Setting MPFR precision to 576 1544000100.259 * * * * [misc]points: Filtering points with unrepresentable outputs 1544000100.259 * * * * [misc]points: Sampling 627 additional inputs, on iter 9 have 7373 / 8000 1544000100.262 * * * * [misc]points: Computing exacts on every 39 of 627 points to ramp up precision 1544000100.266 * * * * [misc]points: Setting MPFR precision to 320 1544000100.267 * * * * [misc]points: Setting MPFR precision to 576 1544000100.267 * * * * [misc]points: Computing exacts on every 19 of 627 points to ramp up precision 1544000100.271 * * * * [misc]points: Setting MPFR precision to 320 1544000100.272 * * * * [misc]points: Setting MPFR precision to 576 1544000100.274 * * * * [misc]points: Computing exacts on every 9 of 627 points to ramp up precision 1544000100.277 * * * * [misc]points: Setting MPFR precision to 320 1544000100.280 * * * * [misc]points: Setting MPFR precision to 576 1544000100.283 * * * * [misc]points: Computing exacts on every 4 of 627 points to ramp up precision 1544000100.286 * * * * [misc]points: Setting MPFR precision to 320 1544000100.292 * * * * [misc]points: Setting MPFR precision to 576 1544000100.298 * * * * [misc]points: Computing exacts on every 2 of 627 points to ramp up precision 1544000100.301 * * * * [misc]points: Setting MPFR precision to 320 1544000100.342 * * * * [misc]points: Setting MPFR precision to 576 1544000100.347 * * * * [misc]points: Computing exacts for 627 points 1544000100.351 * * * * [misc]points: Setting MPFR precision to 320 1544000100.365 * * * * [misc]points: Setting MPFR precision to 576 1544000100.393 * * * * [misc]points: Filtering points with unrepresentable outputs 1544000100.394 * * * * [misc]points: Sampling 466 additional inputs, on iter 10 have 7534 / 8000 1544000100.396 * * * * [misc]points: Computing exacts on every 29 of 466 points to ramp up precision 1544000100.400 * * * * [misc]points: Setting MPFR precision to 320 1544000100.400 * * * * [misc]points: Setting MPFR precision to 576 1544000100.401 * * * * [misc]points: Computing exacts on every 14 of 466 points to ramp up precision 1544000100.405 * * * * [misc]points: Setting MPFR precision to 320 1544000100.406 * * * * [misc]points: Setting MPFR precision to 576 1544000100.407 * * * * [misc]points: Computing exacts on every 7 of 466 points to ramp up precision 1544000100.411 * * * * [misc]points: Setting MPFR precision to 320 1544000100.413 * * * * [misc]points: Setting MPFR precision to 576 1544000100.416 * * * * [misc]points: Computing exacts on every 3 of 466 points to ramp up precision 1544000100.417 * * * * [misc]points: Setting MPFR precision to 320 1544000100.420 * * * * [misc]points: Setting MPFR precision to 576 1544000100.423 * * * * [misc]points: Computing exacts for 466 points 1544000100.425 * * * * [misc]points: Setting MPFR precision to 320 1544000100.434 * * * * [misc]points: Setting MPFR precision to 576 1544000100.445 * * * * [misc]points: Filtering points with unrepresentable outputs 1544000100.446 * * * * [misc]points: Sampling 359 additional inputs, on iter 11 have 7641 / 8000 1544000100.447 * * * * [misc]points: Computing exacts on every 22 of 359 points to ramp up precision 1544000100.477 * * * * [misc]points: Setting MPFR precision to 320 1544000100.478 * * * * [misc]points: Setting MPFR precision to 576 1544000100.479 * * * * [misc]points: Computing exacts on every 11 of 359 points to ramp up precision 1544000100.483 * * * * [misc]points: Setting MPFR precision to 320 1544000100.484 * * * * [misc]points: Setting MPFR precision to 576 1544000100.485 * * * * [misc]points: Computing exacts on every 5 of 359 points to ramp up precision 1544000100.493 * * * * [misc]points: Setting MPFR precision to 320 1544000100.495 * * * * [misc]points: Setting MPFR precision to 576 1544000100.498 * * * * [misc]points: Computing exacts on every 2 of 359 points to ramp up precision 1544000100.502 * * * * [misc]points: Setting MPFR precision to 320 1544000100.507 * * * * [misc]points: Setting MPFR precision to 576 1544000100.512 * * * * [misc]points: Computing exacts for 359 points 1544000100.516 * * * * [misc]points: Setting MPFR precision to 320 1544000100.531 * * * * [misc]points: Setting MPFR precision to 576 1544000100.546 * * * * [misc]points: Filtering points with unrepresentable outputs 1544000100.546 * * * * [misc]points: Sampling 274 additional inputs, on iter 12 have 7726 / 8000 1544000100.546 * * * * [misc]points: Computing exacts on every 17 of 274 points to ramp up precision 1544000100.548 * * * * [misc]points: Setting MPFR precision to 320 1544000100.549 * * * * [misc]points: Setting MPFR precision to 576 1544000100.549 * * * * [misc]points: Computing exacts on every 8 of 274 points to ramp up precision 1544000100.551 * * * * [misc]points: Setting MPFR precision to 320 1544000100.552 * * * * [misc]points: Setting MPFR precision to 576 1544000100.552 * * * * [misc]points: Computing exacts on every 4 of 274 points to ramp up precision 1544000100.554 * * * * [misc]points: Setting MPFR precision to 320 1544000100.556 * * * * [misc]points: Setting MPFR precision to 576 1544000100.557 * * * * [misc]points: Computing exacts on every 2 of 274 points to ramp up precision 1544000100.559 * * * * [misc]points: Setting MPFR precision to 320 1544000100.561 * * * * [misc]points: Setting MPFR precision to 576 1544000100.563 * * * * [misc]points: Computing exacts for 274 points 1544000100.565 * * * * [misc]points: Setting MPFR precision to 320 1544000100.571 * * * * [misc]points: Setting MPFR precision to 576 1544000100.583 * * * * [misc]points: Filtering points with unrepresentable outputs 1544000100.584 * * * * [misc]points: Sampling 200 additional inputs, on iter 13 have 7800 / 8000 1544000100.585 * * * * [misc]points: Computing exacts on every 12 of 200 points to ramp up precision 1544000100.588 * * * * [misc]points: Setting MPFR precision to 320 1544000100.589 * * * * [misc]points: Setting MPFR precision to 576 1544000100.590 * * * * [misc]points: Computing exacts on every 6 of 200 points to ramp up precision 1544000100.593 * * * * [misc]points: Setting MPFR precision to 320 1544000100.618 * * * * [misc]points: Setting MPFR precision to 576 1544000100.619 * * * * [misc]points: Computing exacts on every 3 of 200 points to ramp up precision 1544000100.621 * * * * [misc]points: Setting MPFR precision to 320 1544000100.622 * * * * [misc]points: Setting MPFR precision to 576 1544000100.624 * * * * [misc]points: Computing exacts for 200 points 1544000100.626 * * * * [misc]points: Setting MPFR precision to 320 1544000100.630 * * * * [misc]points: Setting MPFR precision to 576 1544000100.641 * * * * [misc]points: Filtering points with unrepresentable outputs 1544000100.641 * * * * [misc]points: Sampling 149 additional inputs, on iter 14 have 7851 / 8000 1544000100.642 * * * * [misc]points: Computing exacts on every 9 of 149 points to ramp up precision 1544000100.645 * * * * [misc]points: Setting MPFR precision to 320 1544000100.646 * * * * [misc]points: Setting MPFR precision to 576 1544000100.647 * * * * [misc]points: Computing exacts on every 4 of 149 points to ramp up precision 1544000100.650 * * * * [misc]points: Setting MPFR precision to 320 1544000100.651 * * * * [misc]points: Setting MPFR precision to 576 1544000100.652 * * * * [misc]points: Computing exacts on every 2 of 149 points to ramp up precision 1544000100.654 * * * * [misc]points: Setting MPFR precision to 320 1544000100.655 * * * * [misc]points: Setting MPFR precision to 576 1544000100.656 * * * * [misc]points: Computing exacts for 149 points 1544000100.658 * * * * [misc]points: Setting MPFR precision to 320 1544000100.661 * * * * [misc]points: Setting MPFR precision to 576 1544000100.665 * * * * [misc]points: Filtering points with unrepresentable outputs 1544000100.665 * * * * [misc]points: Sampling 119 additional inputs, on iter 15 have 7881 / 8000 1544000100.665 * * * * [misc]points: Computing exacts on every 7 of 119 points to ramp up precision 1544000100.667 * * * * [misc]points: Setting MPFR precision to 320 1544000100.668 * * * * [misc]points: Setting MPFR precision to 576 1544000100.668 * * * * [misc]points: Computing exacts on every 3 of 119 points to ramp up precision 1544000100.670 * * * * [misc]points: Setting MPFR precision to 320 1544000100.670 * * * * [misc]points: Setting MPFR precision to 576 1544000100.671 * * * * [misc]points: Computing exacts for 119 points 1544000100.673 * * * * [misc]points: Setting MPFR precision to 320 1544000100.676 * * * * [misc]points: Setting MPFR precision to 576 1544000100.678 * * * * [misc]points: Filtering points with unrepresentable outputs 1544000100.679 * * * * [misc]points: Sampling 95 additional inputs, on iter 16 have 7905 / 8000 1544000100.679 * * * * [misc]points: Computing exacts on every 5 of 95 points to ramp up precision 1544000100.682 * * * * [misc]points: Setting MPFR precision to 320 1544000100.683 * * * * [misc]points: Setting MPFR precision to 576 1544000100.684 * * * * [misc]points: Computing exacts on every 2 of 95 points to ramp up precision 1544000100.687 * * * * [misc]points: Setting MPFR precision to 320 1544000100.689 * * * * [misc]points: Setting MPFR precision to 576 1544000100.690 * * * * [misc]points: Computing exacts for 95 points 1544000100.694 * * * * [misc]points: Setting MPFR precision to 320 1544000100.699 * * * * [misc]points: Setting MPFR precision to 576 1544000100.703 * * * * [misc]points: Filtering points with unrepresentable outputs 1544000100.703 * * * * [misc]points: Sampling 72 additional inputs, on iter 17 have 7928 / 8000 1544000100.704 * * * * [misc]points: Computing exacts on every 4 of 72 points to ramp up precision 1544000100.708 * * * * [misc]points: Setting MPFR precision to 320 1544000100.709 * * * * [misc]points: Setting MPFR precision to 576 1544000100.709 * * * * [misc]points: Computing exacts on every 2 of 72 points to ramp up precision 1544000100.712 * * * * [misc]points: Setting MPFR precision to 320 1544000100.713 * * * * [misc]points: Setting MPFR precision to 576 1544000100.713 * * * * [misc]points: Computing exacts for 72 points 1544000100.715 * * * * [misc]points: Setting MPFR precision to 320 1544000100.734 * * * * [misc]points: Setting MPFR precision to 576 1544000100.736 * * * * [misc]points: Filtering points with unrepresentable outputs 1544000100.736 * * * * [misc]points: Sampling 49 additional inputs, on iter 18 have 7951 / 8000 1544000100.737 * * * * [misc]points: Computing exacts on every 3 of 49 points to ramp up precision 1544000100.739 * * * * [misc]points: Setting MPFR precision to 320 1544000100.739 * * * * [misc]points: Setting MPFR precision to 576 1544000100.740 * * * * [misc]points: Computing exacts for 49 points 1544000100.743 * * * * [misc]points: Setting MPFR precision to 320 1544000100.746 * * * * [misc]points: Setting MPFR precision to 576 1544000100.747 * * * * [misc]points: Filtering points with unrepresentable outputs 1544000100.747 * * * * [misc]points: Sampling 36 additional inputs, on iter 19 have 7964 / 8000 1544000100.747 * * * * [misc]points: Computing exacts on every 2 of 36 points to ramp up precision 1544000100.749 * * * * [misc]points: Setting MPFR precision to 320 1544000100.749 * * * * [misc]points: Setting MPFR precision to 576 1544000100.750 * * * * [misc]points: Computing exacts for 36 points 1544000100.752 * * * * [misc]points: Setting MPFR precision to 320 1544000100.752 * * * * [misc]points: Setting MPFR precision to 576 1544000100.753 * * * * [misc]points: Filtering points with unrepresentable outputs 1544000100.753 * * * * [misc]points: Sampling 28 additional inputs, on iter 20 have 7972 / 8000 1544000100.753 * * * * [misc]points: Computing exacts for 28 points 1544000100.755 * * * * [misc]points: Setting MPFR precision to 320 1544000100.756 * * * * [misc]points: Setting MPFR precision to 576 1544000100.757 * * * * [misc]points: Filtering points with unrepresentable outputs 1544000100.757 * * * * [misc]points: Sampling 19 additional inputs, on iter 21 have 7981 / 8000 1544000100.757 * * * * [misc]points: Computing exacts for 19 points 1544000100.759 * * * * [misc]points: Setting MPFR precision to 320 1544000100.759 * * * * [misc]points: Setting MPFR precision to 576 1544000100.760 * * * * [misc]points: Filtering points with unrepresentable outputs 1544000100.760 * * * * [misc]points: Sampling 11 additional inputs, on iter 22 have 7989 / 8000 1544000100.760 * * * * [misc]points: Computing exacts for 11 points 1544000100.761 * * * * [misc]points: Setting MPFR precision to 320 1544000100.762 * * * * [misc]points: Setting MPFR precision to 576 1544000100.762 * * * * [misc]points: Filtering points with unrepresentable outputs 1544000100.762 * * * * [misc]points: Sampling 8 additional inputs, on iter 23 have 7992 / 8000 1544000100.762 * * * * [misc]points: Computing exacts for 8 points 1544000100.764 * * * * [misc]points: Setting MPFR precision to 320 1544000100.764 * * * * [misc]points: Setting MPFR precision to 576 1544000100.764 * * * * [misc]points: Filtering points with unrepresentable outputs 1544000100.765 * * * * [misc]points: Sampling 6 additional inputs, on iter 24 have 7994 / 8000 1544000100.765 * * * * [misc]points: Computing exacts for 6 points 1544000100.766 * * * * [misc]points: Setting MPFR precision to 320 1544000100.767 * * * * [misc]points: Setting MPFR precision to 576 1544000100.767 * * * * [misc]points: Filtering points with unrepresentable outputs 1544000100.767 * * * * [misc]points: Sampling 4 additional inputs, on iter 25 have 7996 / 8000 1544000100.767 * * * * [misc]points: Computing exacts for 4 points 1544000100.769 * * * * [misc]points: Setting MPFR precision to 320 1544000100.769 * * * * [misc]points: Setting MPFR precision to 576 1544000100.769 * * * * [misc]points: Filtering points with unrepresentable outputs 1544000100.769 * * * * [misc]points: Sampling 4 additional inputs, on iter 26 have 7996 / 8000 1544000100.769 * * * * [misc]points: Computing exacts for 4 points 1544000100.771 * * * * [misc]points: Setting MPFR precision to 320 1544000100.771 * * * * [misc]points: Setting MPFR precision to 576 1544000100.771 * * * * [misc]points: Filtering points with unrepresentable outputs 1544000100.771 * * * * [misc]points: Sampling 4 additional inputs, on iter 27 have 7997 / 8000 1544000100.771 * * * * [misc]points: Computing exacts for 4 points 1544000100.773 * * * * [misc]points: Setting MPFR precision to 320 1544000100.773 * * * * [misc]points: Setting MPFR precision to 576 1544000100.773 * * * * [misc]points: Filtering points with unrepresentable outputs 1544000100.773 * * * * [misc]points: Sampling 4 additional inputs, on iter 28 have 7998 / 8000 1544000100.773 * * * * [misc]points: Computing exacts for 4 points 1544000100.775 * * * * [misc]points: Setting MPFR precision to 320 1544000100.775 * * * * [misc]points: Setting MPFR precision to 576 1544000100.775 * * * * [misc]points: Filtering points with unrepresentable outputs 1544000100.775 * * * * [misc]points: Sampling 4 additional inputs, on iter 29 have 7999 / 8000 1544000100.775 * * * * [misc]points: Computing exacts for 4 points 1544000100.777 * * * * [misc]points: Setting MPFR precision to 320 1544000100.777 * * * * [misc]points: Setting MPFR precision to 576 1544000100.777 * * * * [misc]points: Filtering points with unrepresentable outputs 1544000100.777 * * * * [exit]points: Sampled 8000 points with exact outputs 1544000100.998 * [misc]regime-testing: Baseline error score: 0.034066475973892674 1544000100.998 * [misc]regime-testing: End program error score: 0.034066475973892674 1544000101.000 * [misc]regime-testing: Oracle error score: 0.034066475973892674