1539421115.353 * [misc]progress: [Phase 1 of 3] Setting up. 1539421115.354 * * * [misc]progress: [1/2] Preparing points 1539421115.355 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1539421115.356 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1539421115.394 * * * * [misc]points: Setting MPFR precision to 64 1539421115.395 * * * * [misc]points: Setting MPFR precision to 320 1539421115.395 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1539421115.397 * * * * [misc]points: Setting MPFR precision to 64 1539421115.397 * * * * [misc]points: Setting MPFR precision to 320 1539421115.398 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1539421115.399 * * * * [misc]points: Setting MPFR precision to 64 1539421115.400 * * * * [misc]points: Setting MPFR precision to 320 1539421115.401 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1539421115.402 * * * * [misc]points: Setting MPFR precision to 64 1539421115.403 * * * * [misc]points: Setting MPFR precision to 320 1539421115.405 * * * * [misc]points: Computing exacts for 256 points 1539421115.406 * * * * [misc]points: Setting MPFR precision to 64 1539421115.410 * * * * [misc]points: Setting MPFR precision to 320 1539421115.415 * * * * [misc]points: Filtering points with unrepresentable outputs 1539421115.415 * * * * [misc]points: Sampling 189 additional inputs, on iter 1 have 67 / 256 1539421115.416 * * * * [misc]points: Computing exacts on every 11 of 189 points to ramp up precision 1539421115.417 * * * * [misc]points: Setting MPFR precision to 64 1539421115.417 * * * * [misc]points: Setting MPFR precision to 320 1539421115.417 * * * * [misc]points: Computing exacts on every 5 of 189 points to ramp up precision 1539421115.418 * * * * [misc]points: Setting MPFR precision to 64 1539421115.419 * * * * [misc]points: Setting MPFR precision to 320 1539421115.419 * * * * [misc]points: Computing exacts on every 2 of 189 points to ramp up precision 1539421115.420 * * * * [misc]points: Setting MPFR precision to 64 1539421115.421 * * * * [misc]points: Setting MPFR precision to 320 1539421115.423 * * * * [misc]points: Computing exacts for 189 points 1539421115.424 * * * * [misc]points: Setting MPFR precision to 64 1539421115.430 * * * * [misc]points: Setting MPFR precision to 320 1539421115.436 * * * * [misc]points: Filtering points with unrepresentable outputs 1539421115.436 * * * * [misc]points: Sampling 141 additional inputs, on iter 2 have 115 / 256 1539421115.437 * * * * [misc]points: Computing exacts on every 8 of 141 points to ramp up precision 1539421115.439 * * * * [misc]points: Setting MPFR precision to 64 1539421115.440 * * * * [misc]points: Setting MPFR precision to 320 1539421115.440 * * * * [misc]points: Computing exacts on every 4 of 141 points to ramp up precision 1539421115.442 * * * * [misc]points: Setting MPFR precision to 64 1539421115.443 * * * * [misc]points: Setting MPFR precision to 320 1539421115.444 * * * * [misc]points: Computing exacts on every 2 of 141 points to ramp up precision 1539421115.446 * * * * [misc]points: Setting MPFR precision to 64 1539421115.448 * * * * [misc]points: Setting MPFR precision to 320 1539421115.450 * * * * [misc]points: Computing exacts for 141 points 1539421115.452 * * * * [misc]points: Setting MPFR precision to 64 1539421115.456 * * * * [misc]points: Setting MPFR precision to 320 1539421115.458 * * * * [misc]points: Filtering points with unrepresentable outputs 1539421115.458 * * * * [misc]points: Sampling 107 additional inputs, on iter 3 have 149 / 256 1539421115.458 * * * * [misc]points: Computing exacts on every 6 of 107 points to ramp up precision 1539421115.491 * * * * [misc]points: Setting MPFR precision to 64 1539421115.491 * * * * [misc]points: Setting MPFR precision to 320 1539421115.492 * * * * [misc]points: Computing exacts on every 3 of 107 points to ramp up precision 1539421115.493 * * * * [misc]points: Setting MPFR precision to 64 1539421115.493 * * * * [misc]points: Setting MPFR precision to 320 1539421115.494 * * * * [misc]points: Computing exacts for 107 points 1539421115.495 * * * * [misc]points: Setting MPFR precision to 64 1539421115.496 * * * * [misc]points: Setting MPFR precision to 320 1539421115.498 * * * * [misc]points: Filtering points with unrepresentable outputs 1539421115.498 * * * * [misc]points: Sampling 75 additional inputs, on iter 4 have 181 / 256 1539421115.499 * * * * [misc]points: Computing exacts on every 4 of 75 points to ramp up precision 1539421115.501 * * * * [misc]points: Setting MPFR precision to 64 1539421115.501 * * * * [misc]points: Setting MPFR precision to 320 1539421115.502 * * * * [misc]points: Computing exacts on every 2 of 75 points to ramp up precision 1539421115.503 * * * * [misc]points: Setting MPFR precision to 64 1539421115.503 * * * * [misc]points: Setting MPFR precision to 320 1539421115.504 * * * * [misc]points: Computing exacts for 75 points 1539421115.506 * * * * [misc]points: Setting MPFR precision to 64 1539421115.508 * * * * [misc]points: Setting MPFR precision to 320 1539421115.511 * * * * [misc]points: Filtering points with unrepresentable outputs 1539421115.511 * * * * [misc]points: Sampling 58 additional inputs, on iter 5 have 198 / 256 1539421115.511 * * * * [misc]points: Computing exacts on every 3 of 58 points to ramp up precision 1539421115.513 * * * * [misc]points: Setting MPFR precision to 64 1539421115.514 * * * * [misc]points: Setting MPFR precision to 320 1539421115.515 * * * * [misc]points: Computing exacts for 58 points 1539421115.517 * * * * [misc]points: Setting MPFR precision to 64 1539421115.518 * * * * [misc]points: Setting MPFR precision to 320 1539421115.521 * * * * [misc]points: Filtering points with unrepresentable outputs 1539421115.521 * * * * [misc]points: Sampling 44 additional inputs, on iter 6 have 212 / 256 1539421115.521 * * * * [misc]points: Computing exacts on every 2 of 44 points to ramp up precision 1539421115.523 * * * * [misc]points: Setting MPFR precision to 64 1539421115.524 * * * * [misc]points: Setting MPFR precision to 320 1539421115.525 * * * * [misc]points: Computing exacts for 44 points 1539421115.527 * * * * [misc]points: Setting MPFR precision to 64 1539421115.528 * * * * [misc]points: Setting MPFR precision to 320 1539421115.530 * * * * [misc]points: Filtering points with unrepresentable outputs 1539421115.530 * * * * [misc]points: Sampling 26 additional inputs, on iter 7 have 230 / 256 1539421115.530 * * * * [misc]points: Computing exacts for 26 points 1539421115.533 * * * * [misc]points: Setting MPFR precision to 64 1539421115.534 * * * * [misc]points: Setting MPFR precision to 320 1539421115.535 * * * * [misc]points: Filtering points with unrepresentable outputs 1539421115.535 * * * * [misc]points: Sampling 17 additional inputs, on iter 8 have 239 / 256 1539421115.535 * * * * [misc]points: Computing exacts for 17 points 1539421115.537 * * * * [misc]points: Setting MPFR precision to 64 1539421115.537 * * * * [misc]points: Setting MPFR precision to 320 1539421115.538 * * * * [misc]points: Filtering points with unrepresentable outputs 1539421115.538 * * * * [misc]points: Sampling 14 additional inputs, on iter 9 have 242 / 256 1539421115.538 * * * * [misc]points: Computing exacts for 14 points 1539421115.540 * * * * [misc]points: Setting MPFR precision to 64 1539421115.541 * * * * [misc]points: Setting MPFR precision to 320 1539421115.541 * * * * [misc]points: Filtering points with unrepresentable outputs 1539421115.541 * * * * [misc]points: Sampling 10 additional inputs, on iter 10 have 246 / 256 1539421115.542 * * * * [misc]points: Computing exacts for 10 points 1539421115.544 * * * * [misc]points: Setting MPFR precision to 64 1539421115.544 * * * * [misc]points: Setting MPFR precision to 320 1539421115.545 * * * * [misc]points: Filtering points with unrepresentable outputs 1539421115.545 * * * * [misc]points: Sampling 7 additional inputs, on iter 11 have 249 / 256 1539421115.545 * * * * [misc]points: Computing exacts for 7 points 1539421115.547 * * * * [misc]points: Setting MPFR precision to 64 1539421115.547 * * * * [misc]points: Setting MPFR precision to 320 1539421115.547 * * * * [misc]points: Filtering points with unrepresentable outputs 1539421115.547 * * * * [misc]points: Sampling 4 additional inputs, on iter 12 have 252 / 256 1539421115.548 * * * * [misc]points: Computing exacts for 4 points 1539421115.549 * * * * [misc]points: Setting MPFR precision to 64 1539421115.550 * * * * [misc]points: Setting MPFR precision to 320 1539421115.550 * * * * [misc]points: Filtering points with unrepresentable outputs 1539421115.550 * * * * [misc]points: Sampling 4 additional inputs, on iter 13 have 252 / 256 1539421115.550 * * * * [misc]points: Computing exacts for 4 points 1539421115.552 * * * * [misc]points: Setting MPFR precision to 64 1539421115.552 * * * * [misc]points: Setting MPFR precision to 320 1539421115.552 * * * * [misc]points: Filtering points with unrepresentable outputs 1539421115.552 * * * * [misc]points: Sampling 4 additional inputs, on iter 14 have 253 / 256 1539421115.552 * * * * [misc]points: Computing exacts for 4 points 1539421115.554 * * * * [misc]points: Setting MPFR precision to 64 1539421115.554 * * * * [misc]points: Setting MPFR precision to 320 1539421115.555 * * * * [misc]points: Filtering points with unrepresentable outputs 1539421115.555 * * * * [exit]points: Sampled 256 points with exact outputs 1539421115.555 * * * [misc]progress: [2/2] Setting up program. 1539421115.561 * [misc]progress: [Phase 2 of 3] Improving. 1539421115.562 * [enter]simplify: Simplifying (- (log (- (/ 1 x) 1))) 1539421115.564 * * [misc]simplify: iters left: 6 (6 enodes) 1539421115.571 * * [misc]simplify: iters left: 5 (11 enodes) 1539421115.574 * * [misc]simplify: iters left: 4 (12 enodes) 1539421115.578 * [exit]simplify: Simplified to (- (log (- (/ 1 x) 1))) 1539421115.590 * * [misc]progress: iteration 1 / 4 1539421115.590 * * * [misc]progress: picking best candidate 1539421115.594 * * * * [misc]pick: Picked # 1539421115.594 * * * [misc]progress: localizing error 1539421115.638 * * * [misc]progress: generating rewritten candidates 1539421115.638 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2 1 1) 1539421115.643 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 1) 1539421115.645 * * * [misc]progress: generating series expansions 1539421115.645 * * * * [misc]progress: [ 1 / 2 ] generating series at (2 1 1) 1539421115.650 * [misc]backup-simplify: Simplify (- (/ 1 x) 1) into (- (/ 1 x) 1) 1539421115.650 * [misc]approximate: Taking taylor expansion of (- (/ 1 x) 1) in (x) around 0 1539421115.651 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1539421115.651 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539421115.651 * [misc]taylor: Taking taylor expansion of x in x 1539421115.651 * [misc]backup-simplify: Simplify 0 into 0 1539421115.651 * [misc]backup-simplify: Simplify 1 into 1 1539421115.651 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539421115.651 * [misc]taylor: Taking taylor expansion of 1 in x 1539421115.651 * [misc]backup-simplify: Simplify 1 into 1 1539421115.652 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1539421115.652 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539421115.652 * [misc]taylor: Taking taylor expansion of x in x 1539421115.652 * [misc]backup-simplify: Simplify 0 into 0 1539421115.652 * [misc]backup-simplify: Simplify 1 into 1 1539421115.652 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539421115.652 * [misc]taylor: Taking taylor expansion of 1 in x 1539421115.652 * [misc]backup-simplify: Simplify 1 into 1 1539421115.652 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539421115.653 * [misc]backup-simplify: Simplify 1 into 1 1539421115.653 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1539421115.653 * [misc]backup-simplify: Simplify (- 1) into -1 1539421115.653 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539421115.653 * [misc]backup-simplify: Simplify -1 into -1 1539421115.653 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539421115.654 * [misc]backup-simplify: Simplify (- 0) into 0 1539421115.654 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539421115.654 * [misc]backup-simplify: Simplify 0 into 0 1539421115.654 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539421115.654 * [misc]backup-simplify: Simplify (- 0) into 0 1539421115.654 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539421115.654 * [misc]backup-simplify: Simplify 0 into 0 1539421115.654 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539421115.655 * [misc]backup-simplify: Simplify (- 0) into 0 1539421115.655 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539421115.655 * [misc]backup-simplify: Simplify 0 into 0 1539421115.655 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539421115.655 * [misc]backup-simplify: Simplify (- 0) into 0 1539421115.655 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539421115.655 * [misc]backup-simplify: Simplify 0 into 0 1539421115.655 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539421115.656 * [misc]backup-simplify: Simplify (- 0) into 0 1539421115.656 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539421115.656 * [misc]backup-simplify: Simplify 0 into 0 1539421115.656 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539421115.656 * [misc]backup-simplify: Simplify (- 0) into 0 1539421115.656 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539421115.656 * [misc]backup-simplify: Simplify 0 into 0 1539421115.656 * [misc]backup-simplify: Simplify (+ -1 (* 1 (/ 1 x))) into (- (/ 1 x) 1) 1539421115.657 * [misc]backup-simplify: Simplify (- (/ 1 (/ 1 x)) 1) into (- x 1) 1539421115.657 * [misc]approximate: Taking taylor expansion of (- x 1) in (x) around 0 1539421115.657 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1539421115.657 * [misc]taylor: Taking taylor expansion of x in x 1539421115.657 * [misc]backup-simplify: Simplify 0 into 0 1539421115.657 * [misc]backup-simplify: Simplify 1 into 1 1539421115.657 * [misc]taylor: Taking taylor expansion of 1 in x 1539421115.657 * [misc]backup-simplify: Simplify 1 into 1 1539421115.657 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1539421115.657 * [misc]taylor: Taking taylor expansion of x in x 1539421115.657 * [misc]backup-simplify: Simplify 0 into 0 1539421115.657 * [misc]backup-simplify: Simplify 1 into 1 1539421115.657 * [misc]taylor: Taking taylor expansion of 1 in x 1539421115.657 * [misc]backup-simplify: Simplify 1 into 1 1539421115.657 * [misc]backup-simplify: Simplify (- 1) into -1 1539421115.657 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539421115.657 * [misc]backup-simplify: Simplify -1 into -1 1539421115.657 * [misc]backup-simplify: Simplify (- 0) into 0 1539421115.657 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539421115.657 * [misc]backup-simplify: Simplify 1 into 1 1539421115.657 * [misc]backup-simplify: Simplify (- 0) into 0 1539421115.657 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539421115.657 * [misc]backup-simplify: Simplify 0 into 0 1539421115.658 * [misc]backup-simplify: Simplify (- 0) into 0 1539421115.658 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539421115.658 * [misc]backup-simplify: Simplify 0 into 0 1539421115.658 * [misc]backup-simplify: Simplify (- 0) into 0 1539421115.658 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539421115.658 * [misc]backup-simplify: Simplify 0 into 0 1539421115.658 * [misc]backup-simplify: Simplify (- 0) into 0 1539421115.658 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539421115.658 * [misc]backup-simplify: Simplify 0 into 0 1539421115.658 * [misc]backup-simplify: Simplify (- 0) into 0 1539421115.658 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539421115.658 * [misc]backup-simplify: Simplify 0 into 0 1539421115.658 * [misc]backup-simplify: Simplify (- 0) into 0 1539421115.659 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539421115.659 * [misc]backup-simplify: Simplify 0 into 0 1539421115.659 * [misc]backup-simplify: Simplify (+ (* 1 (/ 1 x)) -1) into (- (/ 1 x) 1) 1539421115.659 * [misc]backup-simplify: Simplify (- (/ 1 (/ 1 (- x))) 1) into (- (+ x 1)) 1539421115.659 * [misc]approximate: Taking taylor expansion of (- (+ x 1)) in (x) around 0 1539421115.659 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1539421115.659 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1539421115.659 * [misc]taylor: Taking taylor expansion of x in x 1539421115.659 * [misc]backup-simplify: Simplify 0 into 0 1539421115.659 * [misc]backup-simplify: Simplify 1 into 1 1539421115.659 * [misc]taylor: Taking taylor expansion of 1 in x 1539421115.659 * [misc]backup-simplify: Simplify 1 into 1 1539421115.660 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1539421115.660 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1539421115.660 * [misc]taylor: Taking taylor expansion of x in x 1539421115.660 * [misc]backup-simplify: Simplify 0 into 0 1539421115.660 * [misc]backup-simplify: Simplify 1 into 1 1539421115.660 * [misc]taylor: Taking taylor expansion of 1 in x 1539421115.660 * [misc]backup-simplify: Simplify 1 into 1 1539421115.660 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1539421115.660 * [misc]backup-simplify: Simplify (- 1) into -1 1539421115.660 * [misc]backup-simplify: Simplify -1 into -1 1539421115.660 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539421115.660 * [misc]backup-simplify: Simplify (- 1) into -1 1539421115.660 * [misc]backup-simplify: Simplify -1 into -1 1539421115.660 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539421115.660 * [misc]backup-simplify: Simplify (- 0) into 0 1539421115.660 * [misc]backup-simplify: Simplify 0 into 0 1539421115.660 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539421115.661 * [misc]backup-simplify: Simplify (- 0) into 0 1539421115.661 * [misc]backup-simplify: Simplify 0 into 0 1539421115.661 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539421115.661 * [misc]backup-simplify: Simplify (- 0) into 0 1539421115.661 * [misc]backup-simplify: Simplify 0 into 0 1539421115.661 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539421115.661 * [misc]backup-simplify: Simplify (- 0) into 0 1539421115.661 * [misc]backup-simplify: Simplify 0 into 0 1539421115.661 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539421115.661 * [misc]backup-simplify: Simplify (- 0) into 0 1539421115.661 * [misc]backup-simplify: Simplify 0 into 0 1539421115.661 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539421115.661 * [misc]backup-simplify: Simplify (- 0) into 0 1539421115.661 * [misc]backup-simplify: Simplify 0 into 0 1539421115.662 * [misc]backup-simplify: Simplify (+ (* -1 (/ 1 (- x))) -1) into (- (/ 1 x) 1) 1539421115.662 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 1) 1539421115.662 * [misc]backup-simplify: Simplify (log (- (/ 1 x) 1)) into (log (- (/ 1 x) 1)) 1539421115.662 * [misc]approximate: Taking taylor expansion of (log (- (/ 1 x) 1)) in (x) around 0 1539421115.662 * [misc]taylor: Taking taylor expansion of (log (- (/ 1 x) 1)) in x 1539421115.662 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1539421115.662 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539421115.662 * [misc]taylor: Taking taylor expansion of x in x 1539421115.662 * [misc]backup-simplify: Simplify 0 into 0 1539421115.662 * [misc]backup-simplify: Simplify 1 into 1 1539421115.662 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539421115.662 * [misc]taylor: Taking taylor expansion of 1 in x 1539421115.662 * [misc]backup-simplify: Simplify 1 into 1 1539421115.662 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539421115.662 * [misc]backup-simplify: Simplify (log 1) into 0 1539421115.662 * [misc]taylor: Taking taylor expansion of (log (- (/ 1 x) 1)) in x 1539421115.662 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1539421115.662 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539421115.662 * [misc]taylor: Taking taylor expansion of x in x 1539421115.662 * [misc]backup-simplify: Simplify 0 into 0 1539421115.662 * [misc]backup-simplify: Simplify 1 into 1 1539421115.663 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539421115.663 * [misc]taylor: Taking taylor expansion of 1 in x 1539421115.663 * [misc]backup-simplify: Simplify 1 into 1 1539421115.663 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539421115.663 * [misc]backup-simplify: Simplify (log 1) into 0 1539421115.663 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) 0) into (- (log x)) 1539421115.663 * [misc]backup-simplify: Simplify (- (log x)) into (- (log x)) 1539421115.664 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1539421115.664 * [misc]backup-simplify: Simplify (- 1) into -1 1539421115.664 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539421115.667 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1 1)))) 1) into -1 1539421115.667 * [misc]backup-simplify: Simplify -1 into -1 1539421115.668 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539421115.668 * [misc]backup-simplify: Simplify (- 0) into 0 1539421115.668 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539421115.673 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 -1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1539421115.673 * [misc]backup-simplify: Simplify -1/2 into -1/2 1539421115.673 * [misc]backup-simplify: Simplify (+ (* -1/2 (pow x 2)) (+ (* -1 x) (- (log x)))) into (- (+ x (+ (* 1/2 (pow x 2)) (log x)))) 1539421115.673 * [misc]backup-simplify: Simplify (log (- (/ 1 (/ 1 x)) 1)) into (log (- x 1)) 1539421115.673 * [misc]approximate: Taking taylor expansion of (log (- x 1)) in (x) around 0 1539421115.673 * [misc]taylor: Taking taylor expansion of (log (- x 1)) in x 1539421115.673 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1539421115.673 * [misc]taylor: Taking taylor expansion of x in x 1539421115.673 * [misc]backup-simplify: Simplify 0 into 0 1539421115.673 * [misc]backup-simplify: Simplify 1 into 1 1539421115.673 * [misc]taylor: Taking taylor expansion of 1 in x 1539421115.674 * [misc]backup-simplify: Simplify 1 into 1 1539421115.674 * [misc]backup-simplify: Simplify (- 1) into -1 1539421115.674 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539421115.674 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1539421115.674 * [misc]taylor: Taking taylor expansion of (log (- x 1)) in x 1539421115.674 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1539421115.674 * [misc]taylor: Taking taylor expansion of x in x 1539421115.674 * [misc]backup-simplify: Simplify 0 into 0 1539421115.674 * [misc]backup-simplify: Simplify 1 into 1 1539421115.674 * [misc]taylor: Taking taylor expansion of 1 in x 1539421115.674 * [misc]backup-simplify: Simplify 1 into 1 1539421115.675 * [misc]backup-simplify: Simplify (- 1) into -1 1539421115.675 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539421115.675 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1539421115.675 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1539421115.675 * [misc]backup-simplify: Simplify (- 0) into 0 1539421115.676 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539421115.678 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 1539421115.678 * [misc]backup-simplify: Simplify -1 into -1 1539421115.678 * [misc]backup-simplify: Simplify (- 0) into 0 1539421115.679 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539421115.683 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2 1539421115.683 * [misc]backup-simplify: Simplify -1/2 into -1/2 1539421115.683 * [misc]backup-simplify: Simplify (+ (* -1/2 (pow (/ 1 x) 2)) (+ (* -1 (/ 1 x)) (log -1))) into (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2))))) 1539421115.684 * [misc]backup-simplify: Simplify (log (- (/ 1 (/ 1 (- x))) 1)) into (log (- (+ x 1))) 1539421115.684 * [misc]approximate: Taking taylor expansion of (log (- (+ x 1))) in (x) around 0 1539421115.684 * [misc]taylor: Taking taylor expansion of (log (- (+ x 1))) in x 1539421115.684 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1539421115.684 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1539421115.684 * [misc]taylor: Taking taylor expansion of x in x 1539421115.684 * [misc]backup-simplify: Simplify 0 into 0 1539421115.684 * [misc]backup-simplify: Simplify 1 into 1 1539421115.684 * [misc]taylor: Taking taylor expansion of 1 in x 1539421115.684 * [misc]backup-simplify: Simplify 1 into 1 1539421115.684 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1539421115.684 * [misc]backup-simplify: Simplify (- 1) into -1 1539421115.684 * [misc]backup-simplify: Simplify (- 1) into -1 1539421115.685 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1539421115.685 * [misc]taylor: Taking taylor expansion of (log (- (+ x 1))) in x 1539421115.685 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1539421115.685 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1539421115.685 * [misc]taylor: Taking taylor expansion of x in x 1539421115.685 * [misc]backup-simplify: Simplify 0 into 0 1539421115.685 * [misc]backup-simplify: Simplify 1 into 1 1539421115.685 * [misc]taylor: Taking taylor expansion of 1 in x 1539421115.685 * [misc]backup-simplify: Simplify 1 into 1 1539421115.685 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1539421115.685 * [misc]backup-simplify: Simplify (- 1) into -1 1539421115.685 * [misc]backup-simplify: Simplify (- 1) into -1 1539421115.685 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1539421115.686 * [misc]backup-simplify: Simplify (log -1) into (log -1) 1539421115.686 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539421115.686 * [misc]backup-simplify: Simplify (- 1) into -1 1539421115.686 * [misc]backup-simplify: Simplify (- 1) into -1 1539421115.689 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow -1 1)))) 1) into 1 1539421115.689 * [misc]backup-simplify: Simplify 1 into 1 1539421115.689 * [misc]backup-simplify: Simplify (- 1) into -1 1539421115.689 * [misc]backup-simplify: Simplify (- 1) into -1 1539421115.689 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539421115.689 * [misc]backup-simplify: Simplify (- 0) into 0 1539421115.690 * [misc]backup-simplify: Simplify (- 1) into -1 1539421115.694 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 -1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2 1539421115.694 * [misc]backup-simplify: Simplify -1/2 into -1/2 1539421115.694 * [misc]backup-simplify: Simplify (+ (* -1/2 (pow (/ 1 (- x)) 2)) (+ (* 1 (/ 1 (- x))) (log -1))) into (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2))))) 1539421115.694 * * * [misc]progress: simplifying candidates 1539421115.695 * * * * [misc]progress: [ 1 / 33 ] simplifiying candidate # 1539421115.695 * * * * [misc]progress: [ 2 / 33 ] simplifiying candidate # 1539421115.695 * * * * [misc]progress: [ 3 / 33 ] simplifiying candidate # 1539421115.695 * * * * [misc]progress: [ 4 / 33 ] simplifiying candidate # 1539421115.695 * * * * [misc]progress: [ 5 / 33 ] simplifiying candidate # 1539421115.695 * * * * [misc]progress: [ 6 / 33 ] simplifiying candidate # 1539421115.695 * * * * [misc]progress: [ 7 / 33 ] simplifiying candidate # 1539421115.696 * * * * [misc]progress: [ 8 / 33 ] simplifiying candidate # 1539421115.696 * * * * [misc]progress: [ 9 / 33 ] simplifiying candidate # 1539421115.696 * * * * [misc]progress: [ 10 / 33 ] simplifiying candidate # 1539421115.696 * * * * [misc]progress: [ 11 / 33 ] simplifiying candidate # 1539421115.696 * [enter]simplify: Simplifying (+ (sqrt (/ 1 x)) 1) 1539421115.696 * * [misc]simplify: iters left: 5 (5 enodes) 1539421115.698 * * [misc]simplify: iters left: 4 (8 enodes) 1539421115.700 * [exit]simplify: Simplified to (+ (sqrt (/ 1 x)) 1) 1539421115.700 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1))))) 1539421115.700 * * * * [misc]progress: [ 12 / 33 ] simplifiying candidate # 1539421115.700 * * * * [misc]progress: [ 13 / 33 ] simplifiying candidate # 1539421115.701 * [enter]simplify: Simplifying (log (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))) 1539421115.701 * * [misc]simplify: iters left: 6 (7 enodes) 1539421115.704 * * [misc]simplify: iters left: 5 (14 enodes) 1539421115.707 * * [misc]simplify: iters left: 4 (15 enodes) 1539421115.711 * [exit]simplify: Simplified to (log (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))) 1539421115.711 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (+ (log (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))) (log (cbrt (- (/ 1 x) 1)))))) 1539421115.711 * * * * [misc]progress: [ 14 / 33 ] simplifiying candidate # 1539421115.712 * [enter]simplify: Simplifying (log (sqrt (- (/ 1 x) 1))) 1539421115.712 * * [misc]simplify: iters left: 6 (6 enodes) 1539421115.714 * * [misc]simplify: iters left: 5 (11 enodes) 1539421115.717 * * [misc]simplify: iters left: 4 (12 enodes) 1539421115.720 * [exit]simplify: Simplified to (log (sqrt (- (/ 1 x) 1))) 1539421115.720 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1)))))) 1539421115.720 * * * * [misc]progress: [ 15 / 33 ] simplifiying candidate # 1539421115.720 * [enter]simplify: Simplifying (log 1) 1539421115.720 * * [misc]simplify: iters left: 1 (2 enodes) 1539421115.721 * [exit]simplify: Simplified to 0 1539421115.721 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (+ 0 (log (- (/ 1 x) 1))))) 1539421115.721 * * * * [misc]progress: [ 16 / 33 ] simplifiying candidate # 1539421115.722 * [enter]simplify: Simplifying (log (+ (sqrt (/ 1 x)) 1)) 1539421115.722 * * [misc]simplify: iters left: 6 (6 enodes) 1539421115.724 * * [misc]simplify: iters left: 5 (9 enodes) 1539421115.726 * [exit]simplify: Simplified to (log (+ (sqrt (/ 1 x)) 1)) 1539421115.726 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (+ (log (+ (sqrt (/ 1 x)) 1)) (log (- (sqrt (/ 1 x)) 1))))) 1539421115.726 * * * * [misc]progress: [ 17 / 33 ] simplifiying candidate # 1539421115.726 * [enter]simplify: Simplifying (log (- (pow (/ 1 x) 3) (pow 1 3))) 1539421115.726 * * [misc]simplify: iters left: 6 (8 enodes) 1539421115.731 * * [misc]simplify: iters left: 5 (20 enodes) 1539421115.736 * * [misc]simplify: iters left: 4 (32 enodes) 1539421115.745 * * [misc]simplify: iters left: 3 (41 enodes) 1539421115.756 * * [misc]simplify: iters left: 2 (49 enodes) 1539421115.767 * * [misc]simplify: iters left: 1 (56 enodes) 1539421115.781 * [exit]simplify: Simplified to (log (- (/ (/ 1 x) (* x x)) 1)) 1539421115.781 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (- (log (- (/ (/ 1 x) (* x x)) 1)) (log (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1))))))) 1539421115.781 * * * * [misc]progress: [ 18 / 33 ] simplifiying candidate # 1539421115.782 * [enter]simplify: Simplifying (log (- (* (/ 1 x) (/ 1 x)) (* 1 1))) 1539421115.782 * * [misc]simplify: iters left: 6 (7 enodes) 1539421115.793 * * [misc]simplify: iters left: 5 (16 enodes) 1539421115.797 * * [misc]simplify: iters left: 4 (17 enodes) 1539421115.801 * * [misc]simplify: iters left: 3 (24 enodes) 1539421115.807 * * [misc]simplify: iters left: 2 (35 enodes) 1539421115.819 * * [misc]simplify: iters left: 1 (57 enodes) 1539421115.842 * [exit]simplify: Simplified to (log (- (* (/ 1 x) (/ 1 x)) 1)) 1539421115.843 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (- (log (- (* (/ 1 x) (/ 1 x)) 1)) (log (+ (/ 1 x) 1))))) 1539421115.843 * * * * [misc]progress: [ 19 / 33 ] simplifiying candidate # 1539421115.843 * * * * [misc]progress: [ 20 / 33 ] simplifiying candidate # 1539421115.843 * * * * [misc]progress: [ 21 / 33 ] simplifiying candidate # 1539421115.843 * [enter]simplify: Simplifying (- (/ 1 x) 1) 1539421115.843 * * [misc]simplify: iters left: 4 (4 enodes) 1539421115.845 * * [misc]simplify: iters left: 3 (9 enodes) 1539421115.847 * * [misc]simplify: iters left: 2 (10 enodes) 1539421115.849 * [exit]simplify: Simplified to (- (/ 1 x) 1) 1539421115.849 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (log (- (/ 1 x) 1)))) 1539421115.849 * * * * [misc]progress: [ 22 / 33 ] simplifiying candidate # 1539421115.849 * * * * [misc]progress: [ 23 / 33 ] simplifiying candidate # 1539421115.849 * * * * [misc]progress: [ 24 / 33 ] simplifiying candidate # 1539421115.849 * * * * [misc]progress: [ 25 / 33 ] simplifiying candidate # 1539421115.849 * * * * [misc]progress: [ 26 / 33 ] simplifiying candidate # 1539421115.850 * * * * [misc]progress: [ 27 / 33 ] simplifiying candidate # 1539421115.850 * * * * [misc]progress: [ 28 / 33 ] simplifiying candidate # 1539421115.850 * [enter]simplify: Simplifying (- (/ 1 x) 1) 1539421115.850 * * [misc]simplify: iters left: 4 (4 enodes) 1539421115.852 * * [misc]simplify: iters left: 3 (9 enodes) 1539421115.854 * * [misc]simplify: iters left: 2 (10 enodes) 1539421115.856 * [exit]simplify: Simplified to (- (/ 1 x) 1) 1539421115.856 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (log (- (/ 1 x) 1)))) 1539421115.856 * * * * [misc]progress: [ 29 / 33 ] simplifiying candidate # 1539421115.856 * [enter]simplify: Simplifying (- (/ 1 x) 1) 1539421115.856 * * [misc]simplify: iters left: 4 (4 enodes) 1539421115.858 * * [misc]simplify: iters left: 3 (9 enodes) 1539421115.860 * * [misc]simplify: iters left: 2 (10 enodes) 1539421115.862 * [exit]simplify: Simplified to (- (/ 1 x) 1) 1539421115.862 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (log (- (/ 1 x) 1)))) 1539421115.862 * * * * [misc]progress: [ 30 / 33 ] simplifiying candidate # 1539421115.863 * [enter]simplify: Simplifying (- (/ 1 x) 1) 1539421115.863 * * [misc]simplify: iters left: 4 (4 enodes) 1539421115.865 * * [misc]simplify: iters left: 3 (9 enodes) 1539421115.867 * * [misc]simplify: iters left: 2 (10 enodes) 1539421115.869 * [exit]simplify: Simplified to (- (/ 1 x) 1) 1539421115.869 * [misc]simplify: Simplified (2 1 1) to (λ (x) (- (log (- (/ 1 x) 1)))) 1539421115.869 * * * * [misc]progress: [ 31 / 33 ] simplifiying candidate # 1539421115.869 * [enter]simplify: Simplifying (- (+ x (+ (* 1/2 (pow x 2)) (log x)))) 1539421115.869 * * [misc]simplify: iters left: 6 (9 enodes) 1539421115.872 * * [misc]simplify: iters left: 5 (18 enodes) 1539421115.878 * * [misc]simplify: iters left: 4 (34 enodes) 1539421115.889 * * [misc]simplify: iters left: 3 (75 enodes) 1539421115.912 * * [misc]simplify: iters left: 2 (104 enodes) 1539421115.944 * * [misc]simplify: iters left: 1 (140 enodes) 1539421115.984 * [exit]simplify: Simplified to (- (* (* x x) -1/2) (+ x (log x))) 1539421115.984 * [misc]simplify: Simplified (2 1) to (λ (x) (- (- (* (* x x) -1/2) (+ x (log x))))) 1539421115.984 * * * * [misc]progress: [ 32 / 33 ] simplifiying candidate # 1539421115.984 * [enter]simplify: Simplifying (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2))))) 1539421115.984 * * [misc]simplify: iters left: 6 (12 enodes) 1539421115.987 * * [misc]simplify: iters left: 5 (23 enodes) 1539421115.990 * * [misc]simplify: iters left: 4 (34 enodes) 1539421115.997 * * [misc]simplify: iters left: 3 (62 enodes) 1539421116.006 * * [misc]simplify: iters left: 2 (94 enodes) 1539421116.017 * * [misc]simplify: iters left: 1 (125 enodes) 1539421116.037 * [exit]simplify: Simplified to (- (+ (log -1) (/ -1 x)) (/ (/ 1/2 x) x)) 1539421116.038 * [misc]simplify: Simplified (2 1) to (λ (x) (- (- (+ (log -1) (/ -1 x)) (/ (/ 1/2 x) x)))) 1539421116.038 * * * * [misc]progress: [ 33 / 33 ] simplifiying candidate # 1539421116.038 * [enter]simplify: Simplifying (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2))))) 1539421116.038 * * [misc]simplify: iters left: 6 (12 enodes) 1539421116.041 * * [misc]simplify: iters left: 5 (23 enodes) 1539421116.048 * * [misc]simplify: iters left: 4 (34 enodes) 1539421116.061 * * [misc]simplify: iters left: 3 (62 enodes) 1539421116.080 * * [misc]simplify: iters left: 2 (94 enodes) 1539421116.101 * * [misc]simplify: iters left: 1 (125 enodes) 1539421116.129 * [exit]simplify: Simplified to (- (+ (log -1) (/ -1 x)) (/ (/ 1/2 x) x)) 1539421116.129 * [misc]simplify: Simplified (2 1) to (λ (x) (- (- (+ (log -1) (/ -1 x)) (/ (/ 1/2 x) x)))) 1539421116.129 * * * [misc]progress: adding candidates to table 1539421116.375 * * [misc]progress: iteration 2 / 4 1539421116.375 * * * [misc]progress: picking best candidate 1539421116.387 * * * * [misc]pick: Picked # 1539421116.387 * * * [misc]progress: localizing error 1539421116.409 * * * [misc]progress: generating rewritten candidates 1539421116.409 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 2 1) 1539421116.415 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1 1) 1539421116.420 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 2 1 1) 1539421116.423 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 1 1 1) 1539421116.425 * * * [misc]progress: generating series expansions 1539421116.425 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 2 1) 1539421116.426 * [misc]backup-simplify: Simplify (sqrt (- (/ 1 x) 1)) into (sqrt (- (/ 1 x) 1)) 1539421116.426 * [misc]approximate: Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in (x) around 0 1539421116.426 * [misc]taylor: Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in x 1539421116.426 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1539421116.426 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539421116.426 * [misc]taylor: Taking taylor expansion of x in x 1539421116.426 * [misc]backup-simplify: Simplify 0 into 0 1539421116.426 * [misc]backup-simplify: Simplify 1 into 1 1539421116.426 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539421116.426 * [misc]taylor: Taking taylor expansion of 1 in x 1539421116.426 * [misc]backup-simplify: Simplify 1 into 1 1539421116.426 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539421116.426 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1539421116.427 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1539421116.427 * [misc]taylor: Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in x 1539421116.427 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1539421116.427 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539421116.427 * [misc]taylor: Taking taylor expansion of x in x 1539421116.427 * [misc]backup-simplify: Simplify 0 into 0 1539421116.427 * [misc]backup-simplify: Simplify 1 into 1 1539421116.427 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539421116.427 * [misc]taylor: Taking taylor expansion of 1 in x 1539421116.427 * [misc]backup-simplify: Simplify 1 into 1 1539421116.427 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539421116.427 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1539421116.427 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1539421116.428 * [misc]backup-simplify: Simplify 0 into 0 1539421116.428 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1539421116.428 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1539421116.428 * [misc]backup-simplify: Simplify (- 1) into -1 1539421116.428 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539421116.429 * [misc]backup-simplify: Simplify (/ (- -1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1539421116.429 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1539421116.429 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539421116.429 * [misc]backup-simplify: Simplify (- 0) into 0 1539421116.429 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539421116.430 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1539421116.430 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1539421116.430 * [misc]backup-simplify: Simplify (+ (* +nan.0 (pow x 2)) (+ (* +nan.0 x) +nan.0)) into (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0))))) 1539421116.431 * [misc]backup-simplify: Simplify (sqrt (- (/ 1 (/ 1 x)) 1)) into (sqrt (- x 1)) 1539421116.431 * [misc]approximate: Taking taylor expansion of (sqrt (- x 1)) in (x) around 0 1539421116.431 * [misc]taylor: Taking taylor expansion of (sqrt (- x 1)) in x 1539421116.431 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1539421116.431 * [misc]taylor: Taking taylor expansion of x in x 1539421116.431 * [misc]backup-simplify: Simplify 0 into 0 1539421116.431 * [misc]backup-simplify: Simplify 1 into 1 1539421116.431 * [misc]taylor: Taking taylor expansion of 1 in x 1539421116.431 * [misc]backup-simplify: Simplify 1 into 1 1539421116.431 * [misc]backup-simplify: Simplify (- 1) into -1 1539421116.431 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539421116.431 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1539421116.431 * [misc]backup-simplify: Simplify (- 0) into 0 1539421116.431 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539421116.432 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1)) 1539421116.432 * [misc]taylor: Taking taylor expansion of (sqrt (- x 1)) in x 1539421116.432 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1539421116.432 * [misc]taylor: Taking taylor expansion of x in x 1539421116.432 * [misc]backup-simplify: Simplify 0 into 0 1539421116.432 * [misc]backup-simplify: Simplify 1 into 1 1539421116.432 * [misc]taylor: Taking taylor expansion of 1 in x 1539421116.432 * [misc]backup-simplify: Simplify 1 into 1 1539421116.432 * [misc]backup-simplify: Simplify (- 1) into -1 1539421116.432 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539421116.432 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1539421116.432 * [misc]backup-simplify: Simplify (- 0) into 0 1539421116.432 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539421116.432 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1)) 1539421116.433 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1539421116.433 * [misc]backup-simplify: Simplify (/ 1/2 (sqrt -1)) into (/ 1/2 (sqrt -1)) 1539421116.433 * [misc]backup-simplify: Simplify (- 0) into 0 1539421116.433 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539421116.434 * [misc]backup-simplify: Simplify (/ (- 0 (pow (/ 1/2 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3)) 1539421116.435 * [misc]backup-simplify: Simplify (/ -1/8 (pow (sqrt -1) 3)) into (/ -1/8 (pow (sqrt -1) 3)) 1539421116.435 * [misc]backup-simplify: Simplify (+ (* (/ -1/8 (pow (sqrt -1) 3)) (pow (/ 1 x) 2)) (+ (* (/ 1/2 (sqrt -1)) (/ 1 x)) (sqrt -1))) into (- (+ (* 1/2 (/ 1 (* x (sqrt -1)))) (sqrt -1)) (* 1/8 (/ 1 (* (pow x 2) (pow (sqrt -1) 3))))) 1539421116.436 * [misc]backup-simplify: Simplify (sqrt (- (/ 1 (/ 1 (- x))) 1)) into (sqrt (- (+ x 1))) 1539421116.436 * [misc]approximate: Taking taylor expansion of (sqrt (- (+ x 1))) in (x) around 0 1539421116.436 * [misc]taylor: Taking taylor expansion of (sqrt (- (+ x 1))) in x 1539421116.436 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1539421116.436 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1539421116.436 * [misc]taylor: Taking taylor expansion of x in x 1539421116.436 * [misc]backup-simplify: Simplify 0 into 0 1539421116.436 * [misc]backup-simplify: Simplify 1 into 1 1539421116.436 * [misc]taylor: Taking taylor expansion of 1 in x 1539421116.436 * [misc]backup-simplify: Simplify 1 into 1 1539421116.436 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1539421116.436 * [misc]backup-simplify: Simplify (- 1) into -1 1539421116.436 * [misc]backup-simplify: Simplify (- 1) into -1 1539421116.436 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1539421116.436 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539421116.436 * [misc]backup-simplify: Simplify (- 1) into -1 1539421116.436 * [misc]backup-simplify: Simplify (- 1) into -1 1539421116.437 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1)) 1539421116.437 * [misc]taylor: Taking taylor expansion of (sqrt (- (+ x 1))) in x 1539421116.437 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1539421116.437 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1539421116.437 * [misc]taylor: Taking taylor expansion of x in x 1539421116.437 * [misc]backup-simplify: Simplify 0 into 0 1539421116.437 * [misc]backup-simplify: Simplify 1 into 1 1539421116.437 * [misc]taylor: Taking taylor expansion of 1 in x 1539421116.437 * [misc]backup-simplify: Simplify 1 into 1 1539421116.437 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1539421116.437 * [misc]backup-simplify: Simplify (- 1) into -1 1539421116.437 * [misc]backup-simplify: Simplify (- 1) into -1 1539421116.437 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1539421116.437 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539421116.438 * [misc]backup-simplify: Simplify (- 1) into -1 1539421116.438 * [misc]backup-simplify: Simplify (- 1) into -1 1539421116.438 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1)) 1539421116.438 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1539421116.438 * [misc]backup-simplify: Simplify (/ -1/2 (sqrt -1)) into (/ -1/2 (sqrt -1)) 1539421116.438 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539421116.439 * [misc]backup-simplify: Simplify (- 0) into 0 1539421116.440 * [misc]backup-simplify: Simplify (/ (- 0 (pow (/ -1/2 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3)) 1539421116.440 * [misc]backup-simplify: Simplify (/ -1/8 (pow (sqrt -1) 3)) into (/ -1/8 (pow (sqrt -1) 3)) 1539421116.441 * [misc]backup-simplify: Simplify (+ (* (/ -1/8 (pow (sqrt -1) 3)) (pow (/ 1 (- x)) 2)) (+ (* (/ -1/2 (sqrt -1)) (/ 1 (- x))) (sqrt -1))) into (- (+ (* 1/2 (/ 1 (* x (sqrt -1)))) (sqrt -1)) (* 1/8 (/ 1 (* (pow x 2) (pow (sqrt -1) 3))))) 1539421116.441 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1 1) 1539421116.441 * [misc]backup-simplify: Simplify (sqrt (- (/ 1 x) 1)) into (sqrt (- (/ 1 x) 1)) 1539421116.441 * [misc]approximate: Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in (x) around 0 1539421116.441 * [misc]taylor: Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in x 1539421116.441 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1539421116.441 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539421116.441 * [misc]taylor: Taking taylor expansion of x in x 1539421116.441 * [misc]backup-simplify: Simplify 0 into 0 1539421116.441 * [misc]backup-simplify: Simplify 1 into 1 1539421116.441 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539421116.441 * [misc]taylor: Taking taylor expansion of 1 in x 1539421116.441 * [misc]backup-simplify: Simplify 1 into 1 1539421116.441 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539421116.442 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1539421116.442 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1539421116.442 * [misc]taylor: Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in x 1539421116.442 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1539421116.442 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539421116.442 * [misc]taylor: Taking taylor expansion of x in x 1539421116.442 * [misc]backup-simplify: Simplify 0 into 0 1539421116.442 * [misc]backup-simplify: Simplify 1 into 1 1539421116.442 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539421116.442 * [misc]taylor: Taking taylor expansion of 1 in x 1539421116.442 * [misc]backup-simplify: Simplify 1 into 1 1539421116.442 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539421116.442 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1539421116.443 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1539421116.443 * [misc]backup-simplify: Simplify 0 into 0 1539421116.443 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1539421116.443 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1539421116.443 * [misc]backup-simplify: Simplify (- 1) into -1 1539421116.443 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539421116.444 * [misc]backup-simplify: Simplify (/ (- -1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1539421116.444 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1539421116.444 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539421116.444 * [misc]backup-simplify: Simplify (- 0) into 0 1539421116.444 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539421116.445 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1539421116.445 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1539421116.445 * [misc]backup-simplify: Simplify (+ (* +nan.0 (pow x 2)) (+ (* +nan.0 x) +nan.0)) into (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0))))) 1539421116.445 * [misc]backup-simplify: Simplify (sqrt (- (/ 1 (/ 1 x)) 1)) into (sqrt (- x 1)) 1539421116.445 * [misc]approximate: Taking taylor expansion of (sqrt (- x 1)) in (x) around 0 1539421116.445 * [misc]taylor: Taking taylor expansion of (sqrt (- x 1)) in x 1539421116.445 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1539421116.445 * [misc]taylor: Taking taylor expansion of x in x 1539421116.445 * [misc]backup-simplify: Simplify 0 into 0 1539421116.445 * [misc]backup-simplify: Simplify 1 into 1 1539421116.445 * [misc]taylor: Taking taylor expansion of 1 in x 1539421116.445 * [misc]backup-simplify: Simplify 1 into 1 1539421116.445 * [misc]backup-simplify: Simplify (- 1) into -1 1539421116.446 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539421116.446 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1539421116.446 * [misc]backup-simplify: Simplify (- 0) into 0 1539421116.446 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539421116.446 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1)) 1539421116.446 * [misc]taylor: Taking taylor expansion of (sqrt (- x 1)) in x 1539421116.446 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1539421116.446 * [misc]taylor: Taking taylor expansion of x in x 1539421116.446 * [misc]backup-simplify: Simplify 0 into 0 1539421116.446 * [misc]backup-simplify: Simplify 1 into 1 1539421116.446 * [misc]taylor: Taking taylor expansion of 1 in x 1539421116.446 * [misc]backup-simplify: Simplify 1 into 1 1539421116.446 * [misc]backup-simplify: Simplify (- 1) into -1 1539421116.446 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539421116.447 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1539421116.447 * [misc]backup-simplify: Simplify (- 0) into 0 1539421116.447 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539421116.447 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1)) 1539421116.447 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1539421116.447 * [misc]backup-simplify: Simplify (/ 1/2 (sqrt -1)) into (/ 1/2 (sqrt -1)) 1539421116.448 * [misc]backup-simplify: Simplify (- 0) into 0 1539421116.448 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539421116.449 * [misc]backup-simplify: Simplify (/ (- 0 (pow (/ 1/2 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3)) 1539421116.449 * [misc]backup-simplify: Simplify (/ -1/8 (pow (sqrt -1) 3)) into (/ -1/8 (pow (sqrt -1) 3)) 1539421116.450 * [misc]backup-simplify: Simplify (+ (* (/ -1/8 (pow (sqrt -1) 3)) (pow (/ 1 x) 2)) (+ (* (/ 1/2 (sqrt -1)) (/ 1 x)) (sqrt -1))) into (- (+ (* 1/2 (/ 1 (* x (sqrt -1)))) (sqrt -1)) (* 1/8 (/ 1 (* (pow x 2) (pow (sqrt -1) 3))))) 1539421116.450 * [misc]backup-simplify: Simplify (sqrt (- (/ 1 (/ 1 (- x))) 1)) into (sqrt (- (+ x 1))) 1539421116.450 * [misc]approximate: Taking taylor expansion of (sqrt (- (+ x 1))) in (x) around 0 1539421116.450 * [misc]taylor: Taking taylor expansion of (sqrt (- (+ x 1))) in x 1539421116.450 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1539421116.450 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1539421116.450 * [misc]taylor: Taking taylor expansion of x in x 1539421116.450 * [misc]backup-simplify: Simplify 0 into 0 1539421116.450 * [misc]backup-simplify: Simplify 1 into 1 1539421116.450 * [misc]taylor: Taking taylor expansion of 1 in x 1539421116.450 * [misc]backup-simplify: Simplify 1 into 1 1539421116.451 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1539421116.451 * [misc]backup-simplify: Simplify (- 1) into -1 1539421116.451 * [misc]backup-simplify: Simplify (- 1) into -1 1539421116.451 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1539421116.451 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539421116.451 * [misc]backup-simplify: Simplify (- 1) into -1 1539421116.451 * [misc]backup-simplify: Simplify (- 1) into -1 1539421116.451 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1)) 1539421116.451 * [misc]taylor: Taking taylor expansion of (sqrt (- (+ x 1))) in x 1539421116.451 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1539421116.452 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1539421116.452 * [misc]taylor: Taking taylor expansion of x in x 1539421116.452 * [misc]backup-simplify: Simplify 0 into 0 1539421116.452 * [misc]backup-simplify: Simplify 1 into 1 1539421116.452 * [misc]taylor: Taking taylor expansion of 1 in x 1539421116.452 * [misc]backup-simplify: Simplify 1 into 1 1539421116.452 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1539421116.452 * [misc]backup-simplify: Simplify (- 1) into -1 1539421116.452 * [misc]backup-simplify: Simplify (- 1) into -1 1539421116.452 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1539421116.452 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539421116.452 * [misc]backup-simplify: Simplify (- 1) into -1 1539421116.452 * [misc]backup-simplify: Simplify (- 1) into -1 1539421116.453 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1)) 1539421116.453 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1539421116.453 * [misc]backup-simplify: Simplify (/ -1/2 (sqrt -1)) into (/ -1/2 (sqrt -1)) 1539421116.453 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539421116.453 * [misc]backup-simplify: Simplify (- 0) into 0 1539421116.454 * [misc]backup-simplify: Simplify (/ (- 0 (pow (/ -1/2 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3)) 1539421116.455 * [misc]backup-simplify: Simplify (/ -1/8 (pow (sqrt -1) 3)) into (/ -1/8 (pow (sqrt -1) 3)) 1539421116.456 * [misc]backup-simplify: Simplify (+ (* (/ -1/8 (pow (sqrt -1) 3)) (pow (/ 1 (- x)) 2)) (+ (* (/ -1/2 (sqrt -1)) (/ 1 (- x))) (sqrt -1))) into (- (+ (* 1/2 (/ 1 (* x (sqrt -1)))) (sqrt -1)) (* 1/8 (/ 1 (* (pow x 2) (pow (sqrt -1) 3))))) 1539421116.456 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 2 1 1) 1539421116.456 * [misc]backup-simplify: Simplify (- (/ 1 x) 1) into (- (/ 1 x) 1) 1539421116.456 * [misc]approximate: Taking taylor expansion of (- (/ 1 x) 1) in (x) around 0 1539421116.456 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1539421116.456 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539421116.456 * [misc]taylor: Taking taylor expansion of x in x 1539421116.456 * [misc]backup-simplify: Simplify 0 into 0 1539421116.456 * [misc]backup-simplify: Simplify 1 into 1 1539421116.456 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539421116.456 * [misc]taylor: Taking taylor expansion of 1 in x 1539421116.456 * [misc]backup-simplify: Simplify 1 into 1 1539421116.456 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1539421116.456 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539421116.456 * [misc]taylor: Taking taylor expansion of x in x 1539421116.456 * [misc]backup-simplify: Simplify 0 into 0 1539421116.456 * [misc]backup-simplify: Simplify 1 into 1 1539421116.456 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539421116.456 * [misc]taylor: Taking taylor expansion of 1 in x 1539421116.456 * [misc]backup-simplify: Simplify 1 into 1 1539421116.456 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539421116.456 * [misc]backup-simplify: Simplify 1 into 1 1539421116.457 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1539421116.457 * [misc]backup-simplify: Simplify (- 1) into -1 1539421116.457 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539421116.457 * [misc]backup-simplify: Simplify -1 into -1 1539421116.457 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539421116.457 * [misc]backup-simplify: Simplify (- 0) into 0 1539421116.457 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539421116.457 * [misc]backup-simplify: Simplify 0 into 0 1539421116.457 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539421116.457 * [misc]backup-simplify: Simplify (- 0) into 0 1539421116.458 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539421116.458 * [misc]backup-simplify: Simplify 0 into 0 1539421116.458 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539421116.458 * [misc]backup-simplify: Simplify (- 0) into 0 1539421116.458 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539421116.458 * [misc]backup-simplify: Simplify 0 into 0 1539421116.458 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539421116.458 * [misc]backup-simplify: Simplify (- 0) into 0 1539421116.459 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539421116.459 * [misc]backup-simplify: Simplify 0 into 0 1539421116.459 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539421116.459 * [misc]backup-simplify: Simplify (- 0) into 0 1539421116.459 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539421116.459 * [misc]backup-simplify: Simplify 0 into 0 1539421116.459 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539421116.460 * [misc]backup-simplify: Simplify (- 0) into 0 1539421116.460 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539421116.460 * [misc]backup-simplify: Simplify 0 into 0 1539421116.460 * [misc]backup-simplify: Simplify (+ -1 (* 1 (/ 1 x))) into (- (/ 1 x) 1) 1539421116.460 * [misc]backup-simplify: Simplify (- (/ 1 (/ 1 x)) 1) into (- x 1) 1539421116.460 * [misc]approximate: Taking taylor expansion of (- x 1) in (x) around 0 1539421116.460 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1539421116.460 * [misc]taylor: Taking taylor expansion of x in x 1539421116.460 * [misc]backup-simplify: Simplify 0 into 0 1539421116.460 * [misc]backup-simplify: Simplify 1 into 1 1539421116.460 * [misc]taylor: Taking taylor expansion of 1 in x 1539421116.460 * [misc]backup-simplify: Simplify 1 into 1 1539421116.460 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1539421116.460 * [misc]taylor: Taking taylor expansion of x in x 1539421116.460 * [misc]backup-simplify: Simplify 0 into 0 1539421116.460 * [misc]backup-simplify: Simplify 1 into 1 1539421116.460 * [misc]taylor: Taking taylor expansion of 1 in x 1539421116.460 * [misc]backup-simplify: Simplify 1 into 1 1539421116.460 * [misc]backup-simplify: Simplify (- 1) into -1 1539421116.460 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539421116.460 * [misc]backup-simplify: Simplify -1 into -1 1539421116.460 * [misc]backup-simplify: Simplify (- 0) into 0 1539421116.461 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539421116.461 * [misc]backup-simplify: Simplify 1 into 1 1539421116.461 * [misc]backup-simplify: Simplify (- 0) into 0 1539421116.461 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539421116.461 * [misc]backup-simplify: Simplify 0 into 0 1539421116.461 * [misc]backup-simplify: Simplify (- 0) into 0 1539421116.461 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539421116.461 * [misc]backup-simplify: Simplify 0 into 0 1539421116.461 * [misc]backup-simplify: Simplify (- 0) into 0 1539421116.461 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539421116.461 * [misc]backup-simplify: Simplify 0 into 0 1539421116.461 * [misc]backup-simplify: Simplify (- 0) into 0 1539421116.461 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539421116.461 * [misc]backup-simplify: Simplify 0 into 0 1539421116.462 * [misc]backup-simplify: Simplify (- 0) into 0 1539421116.462 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539421116.462 * [misc]backup-simplify: Simplify 0 into 0 1539421116.462 * [misc]backup-simplify: Simplify (- 0) into 0 1539421116.462 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539421116.462 * [misc]backup-simplify: Simplify 0 into 0 1539421116.462 * [misc]backup-simplify: Simplify (+ (* 1 (/ 1 x)) -1) into (- (/ 1 x) 1) 1539421116.462 * [misc]backup-simplify: Simplify (- (/ 1 (/ 1 (- x))) 1) into (- (+ x 1)) 1539421116.462 * [misc]approximate: Taking taylor expansion of (- (+ x 1)) in (x) around 0 1539421116.462 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1539421116.462 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1539421116.462 * [misc]taylor: Taking taylor expansion of x in x 1539421116.462 * [misc]backup-simplify: Simplify 0 into 0 1539421116.462 * [misc]backup-simplify: Simplify 1 into 1 1539421116.462 * [misc]taylor: Taking taylor expansion of 1 in x 1539421116.462 * [misc]backup-simplify: Simplify 1 into 1 1539421116.462 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1539421116.462 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1539421116.462 * [misc]taylor: Taking taylor expansion of x in x 1539421116.462 * [misc]backup-simplify: Simplify 0 into 0 1539421116.462 * [misc]backup-simplify: Simplify 1 into 1 1539421116.462 * [misc]taylor: Taking taylor expansion of 1 in x 1539421116.462 * [misc]backup-simplify: Simplify 1 into 1 1539421116.462 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1539421116.463 * [misc]backup-simplify: Simplify (- 1) into -1 1539421116.463 * [misc]backup-simplify: Simplify -1 into -1 1539421116.463 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539421116.463 * [misc]backup-simplify: Simplify (- 1) into -1 1539421116.463 * [misc]backup-simplify: Simplify -1 into -1 1539421116.463 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539421116.463 * [misc]backup-simplify: Simplify (- 0) into 0 1539421116.463 * [misc]backup-simplify: Simplify 0 into 0 1539421116.463 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539421116.463 * [misc]backup-simplify: Simplify (- 0) into 0 1539421116.463 * [misc]backup-simplify: Simplify 0 into 0 1539421116.463 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539421116.463 * [misc]backup-simplify: Simplify (- 0) into 0 1539421116.464 * [misc]backup-simplify: Simplify 0 into 0 1539421116.464 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539421116.464 * [misc]backup-simplify: Simplify (- 0) into 0 1539421116.464 * [misc]backup-simplify: Simplify 0 into 0 1539421116.464 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539421116.464 * [misc]backup-simplify: Simplify (- 0) into 0 1539421116.464 * [misc]backup-simplify: Simplify 0 into 0 1539421116.464 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539421116.464 * [misc]backup-simplify: Simplify (- 0) into 0 1539421116.464 * [misc]backup-simplify: Simplify 0 into 0 1539421116.464 * [misc]backup-simplify: Simplify (+ (* -1 (/ 1 (- x))) -1) into (- (/ 1 x) 1) 1539421116.464 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 1 1 1) 1539421116.464 * [misc]backup-simplify: Simplify (- (/ 1 x) 1) into (- (/ 1 x) 1) 1539421116.464 * [misc]approximate: Taking taylor expansion of (- (/ 1 x) 1) in (x) around 0 1539421116.464 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1539421116.464 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539421116.464 * [misc]taylor: Taking taylor expansion of x in x 1539421116.464 * [misc]backup-simplify: Simplify 0 into 0 1539421116.464 * [misc]backup-simplify: Simplify 1 into 1 1539421116.465 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539421116.465 * [misc]taylor: Taking taylor expansion of 1 in x 1539421116.465 * [misc]backup-simplify: Simplify 1 into 1 1539421116.465 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1539421116.465 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539421116.465 * [misc]taylor: Taking taylor expansion of x in x 1539421116.465 * [misc]backup-simplify: Simplify 0 into 0 1539421116.465 * [misc]backup-simplify: Simplify 1 into 1 1539421116.465 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539421116.465 * [misc]taylor: Taking taylor expansion of 1 in x 1539421116.465 * [misc]backup-simplify: Simplify 1 into 1 1539421116.465 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539421116.465 * [misc]backup-simplify: Simplify 1 into 1 1539421116.465 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1539421116.465 * [misc]backup-simplify: Simplify (- 1) into -1 1539421116.465 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539421116.465 * [misc]backup-simplify: Simplify -1 into -1 1539421116.466 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539421116.466 * [misc]backup-simplify: Simplify (- 0) into 0 1539421116.466 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539421116.466 * [misc]backup-simplify: Simplify 0 into 0 1539421116.466 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539421116.466 * [misc]backup-simplify: Simplify (- 0) into 0 1539421116.466 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539421116.466 * [misc]backup-simplify: Simplify 0 into 0 1539421116.466 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539421116.467 * [misc]backup-simplify: Simplify (- 0) into 0 1539421116.467 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539421116.467 * [misc]backup-simplify: Simplify 0 into 0 1539421116.467 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539421116.467 * [misc]backup-simplify: Simplify (- 0) into 0 1539421116.467 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539421116.467 * [misc]backup-simplify: Simplify 0 into 0 1539421116.468 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539421116.468 * [misc]backup-simplify: Simplify (- 0) into 0 1539421116.468 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539421116.468 * [misc]backup-simplify: Simplify 0 into 0 1539421116.468 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539421116.468 * [misc]backup-simplify: Simplify (- 0) into 0 1539421116.468 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539421116.468 * [misc]backup-simplify: Simplify 0 into 0 1539421116.468 * [misc]backup-simplify: Simplify (+ -1 (* 1 (/ 1 x))) into (- (/ 1 x) 1) 1539421116.468 * [misc]backup-simplify: Simplify (- (/ 1 (/ 1 x)) 1) into (- x 1) 1539421116.468 * [misc]approximate: Taking taylor expansion of (- x 1) in (x) around 0 1539421116.469 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1539421116.469 * [misc]taylor: Taking taylor expansion of x in x 1539421116.469 * [misc]backup-simplify: Simplify 0 into 0 1539421116.469 * [misc]backup-simplify: Simplify 1 into 1 1539421116.469 * [misc]taylor: Taking taylor expansion of 1 in x 1539421116.469 * [misc]backup-simplify: Simplify 1 into 1 1539421116.469 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1539421116.469 * [misc]taylor: Taking taylor expansion of x in x 1539421116.469 * [misc]backup-simplify: Simplify 0 into 0 1539421116.469 * [misc]backup-simplify: Simplify 1 into 1 1539421116.469 * [misc]taylor: Taking taylor expansion of 1 in x 1539421116.469 * [misc]backup-simplify: Simplify 1 into 1 1539421116.469 * [misc]backup-simplify: Simplify (- 1) into -1 1539421116.469 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539421116.469 * [misc]backup-simplify: Simplify -1 into -1 1539421116.469 * [misc]backup-simplify: Simplify (- 0) into 0 1539421116.469 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539421116.469 * [misc]backup-simplify: Simplify 1 into 1 1539421116.469 * [misc]backup-simplify: Simplify (- 0) into 0 1539421116.469 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539421116.469 * [misc]backup-simplify: Simplify 0 into 0 1539421116.470 * [misc]backup-simplify: Simplify (- 0) into 0 1539421116.470 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539421116.470 * [misc]backup-simplify: Simplify 0 into 0 1539421116.470 * [misc]backup-simplify: Simplify (- 0) into 0 1539421116.470 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539421116.470 * [misc]backup-simplify: Simplify 0 into 0 1539421116.470 * [misc]backup-simplify: Simplify (- 0) into 0 1539421116.470 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539421116.470 * [misc]backup-simplify: Simplify 0 into 0 1539421116.470 * [misc]backup-simplify: Simplify (- 0) into 0 1539421116.470 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539421116.470 * [misc]backup-simplify: Simplify 0 into 0 1539421116.470 * [misc]backup-simplify: Simplify (- 0) into 0 1539421116.471 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539421116.471 * [misc]backup-simplify: Simplify 0 into 0 1539421116.471 * [misc]backup-simplify: Simplify (+ (* 1 (/ 1 x)) -1) into (- (/ 1 x) 1) 1539421116.471 * [misc]backup-simplify: Simplify (- (/ 1 (/ 1 (- x))) 1) into (- (+ x 1)) 1539421116.471 * [misc]approximate: Taking taylor expansion of (- (+ x 1)) in (x) around 0 1539421116.471 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1539421116.471 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1539421116.471 * [misc]taylor: Taking taylor expansion of x in x 1539421116.471 * [misc]backup-simplify: Simplify 0 into 0 1539421116.471 * [misc]backup-simplify: Simplify 1 into 1 1539421116.471 * [misc]taylor: Taking taylor expansion of 1 in x 1539421116.471 * [misc]backup-simplify: Simplify 1 into 1 1539421116.471 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1539421116.471 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1539421116.471 * [misc]taylor: Taking taylor expansion of x in x 1539421116.471 * [misc]backup-simplify: Simplify 0 into 0 1539421116.471 * [misc]backup-simplify: Simplify 1 into 1 1539421116.471 * [misc]taylor: Taking taylor expansion of 1 in x 1539421116.471 * [misc]backup-simplify: Simplify 1 into 1 1539421116.471 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1539421116.471 * [misc]backup-simplify: Simplify (- 1) into -1 1539421116.471 * [misc]backup-simplify: Simplify -1 into -1 1539421116.471 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539421116.471 * [misc]backup-simplify: Simplify (- 1) into -1 1539421116.471 * [misc]backup-simplify: Simplify -1 into -1 1539421116.472 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539421116.472 * [misc]backup-simplify: Simplify (- 0) into 0 1539421116.472 * [misc]backup-simplify: Simplify 0 into 0 1539421116.472 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539421116.472 * [misc]backup-simplify: Simplify (- 0) into 0 1539421116.472 * [misc]backup-simplify: Simplify 0 into 0 1539421116.472 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539421116.472 * [misc]backup-simplify: Simplify (- 0) into 0 1539421116.472 * [misc]backup-simplify: Simplify 0 into 0 1539421116.472 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539421116.472 * [misc]backup-simplify: Simplify (- 0) into 0 1539421116.472 * [misc]backup-simplify: Simplify 0 into 0 1539421116.472 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539421116.473 * [misc]backup-simplify: Simplify (- 0) into 0 1539421116.473 * [misc]backup-simplify: Simplify 0 into 0 1539421116.473 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539421116.473 * [misc]backup-simplify: Simplify (- 0) into 0 1539421116.473 * [misc]backup-simplify: Simplify 0 into 0 1539421116.473 * [misc]backup-simplify: Simplify (+ (* -1 (/ 1 (- x))) -1) into (- (/ 1 x) 1) 1539421116.473 * * * [misc]progress: simplifying candidates 1539421116.473 * * * * [misc]progress: [ 1 / 66 ] simplifiying candidate # 1539421116.473 * * * * [misc]progress: [ 2 / 66 ] simplifiying candidate # 1539421116.473 * * * * [misc]progress: [ 3 / 66 ] simplifiying candidate # 1539421116.473 * * * * [misc]progress: [ 4 / 66 ] simplifiying candidate # 1539421116.473 * * * * [misc]progress: [ 5 / 66 ] simplifiying candidate # 1539421116.473 * * * * [misc]progress: [ 6 / 66 ] simplifiying candidate # 1539421116.473 * * * * [misc]progress: [ 7 / 66 ] simplifiying candidate # 1539421116.473 * [enter]simplify: Simplifying (sqrt (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))) 1539421116.473 * * [misc]simplify: iters left: 6 (7 enodes) 1539421116.475 * * [misc]simplify: iters left: 5 (13 enodes) 1539421116.477 * * [misc]simplify: iters left: 4 (14 enodes) 1539421116.478 * [exit]simplify: Simplified to (fabs (cbrt (- (/ 1 x) 1))) 1539421116.478 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* (fabs (cbrt (- (/ 1 x) 1))) (sqrt (cbrt (- (/ 1 x) 1)))))))) 1539421116.478 * * * * [misc]progress: [ 8 / 66 ] simplifiying candidate # 1539421116.478 * [enter]simplify: Simplifying (sqrt (sqrt (- (/ 1 x) 1))) 1539421116.478 * * [misc]simplify: iters left: 6 (6 enodes) 1539421116.480 * * [misc]simplify: iters left: 5 (11 enodes) 1539421116.481 * * [misc]simplify: iters left: 4 (12 enodes) 1539421116.482 * [exit]simplify: Simplified to (sqrt (sqrt (- (/ 1 x) 1))) 1539421116.482 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* (sqrt (sqrt (- (/ 1 x) 1))) (sqrt (sqrt (- (/ 1 x) 1)))))))) 1539421116.482 * * * * [misc]progress: [ 9 / 66 ] simplifiying candidate # 1539421116.482 * [enter]simplify: Simplifying (sqrt 1) 1539421116.482 * * [misc]simplify: iters left: 1 (2 enodes) 1539421116.483 * [exit]simplify: Simplified to 1 1539421116.483 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* 1 (sqrt (- (/ 1 x) 1))))))) 1539421116.483 * * * * [misc]progress: [ 10 / 66 ] simplifiying candidate # 1539421116.483 * [enter]simplify: Simplifying (sqrt (+ (sqrt (/ 1 x)) 1)) 1539421116.483 * * [misc]simplify: iters left: 6 (6 enodes) 1539421116.485 * * [misc]simplify: iters left: 5 (9 enodes) 1539421116.487 * [exit]simplify: Simplified to (sqrt (+ (sqrt (/ 1 x)) 1)) 1539421116.487 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* (sqrt (+ (sqrt (/ 1 x)) 1)) (sqrt (- (sqrt (/ 1 x)) 1))))))) 1539421116.487 * * * * [misc]progress: [ 11 / 66 ] simplifiying candidate # 1539421116.488 * [enter]simplify: Simplifying (sqrt (- (pow (/ 1 x) 3) (pow 1 3))) 1539421116.488 * * [misc]simplify: iters left: 6 (8 enodes) 1539421116.491 * * [misc]simplify: iters left: 5 (20 enodes) 1539421116.494 * * [misc]simplify: iters left: 4 (32 enodes) 1539421116.501 * * [misc]simplify: iters left: 3 (41 enodes) 1539421116.507 * * [misc]simplify: iters left: 2 (49 enodes) 1539421116.513 * * [misc]simplify: iters left: 1 (56 enodes) 1539421116.519 * [exit]simplify: Simplified to (sqrt (- (/ (/ 1 x) (* x x)) 1)) 1539421116.520 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (/ (sqrt (- (/ (/ 1 x) (* x x)) 1)) (sqrt (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1))))))))) 1539421116.520 * * * * [misc]progress: [ 12 / 66 ] simplifiying candidate # 1539421116.520 * [enter]simplify: Simplifying (sqrt (- (* (/ 1 x) (/ 1 x)) (* 1 1))) 1539421116.520 * * [misc]simplify: iters left: 6 (7 enodes) 1539421116.521 * * [misc]simplify: iters left: 5 (16 enodes) 1539421116.523 * * [misc]simplify: iters left: 4 (17 enodes) 1539421116.525 * * [misc]simplify: iters left: 3 (24 enodes) 1539421116.529 * * [misc]simplify: iters left: 2 (32 enodes) 1539421116.533 * * [misc]simplify: iters left: 1 (51 enodes) 1539421116.544 * [exit]simplify: Simplified to (sqrt (- (* (/ 1 x) (/ 1 x)) 1)) 1539421116.544 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (/ (sqrt (- (* (/ 1 x) (/ 1 x)) 1)) (sqrt (+ (/ 1 x) 1))))))) 1539421116.544 * * * * [misc]progress: [ 13 / 66 ] simplifiying candidate # 1539421116.544 * * * * [misc]progress: [ 14 / 66 ] simplifiying candidate # 1539421116.545 * [enter]simplify: Simplifying (sqrt (- (/ 1 x) 1)) 1539421116.545 * * [misc]simplify: iters left: 5 (5 enodes) 1539421116.546 * * [misc]simplify: iters left: 4 (10 enodes) 1539421116.547 * * [misc]simplify: iters left: 3 (11 enodes) 1539421116.548 * [exit]simplify: Simplified to (sqrt (- (/ 1 x) 1)) 1539421116.548 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (fabs (sqrt (- (/ 1 x) 1))))))) 1539421116.548 * * * * [misc]progress: [ 15 / 66 ] simplifiying candidate # 1539421116.548 * * * * [misc]progress: [ 16 / 66 ] simplifiying candidate # 1539421116.548 * * * * [misc]progress: [ 17 / 66 ] simplifiying candidate # 1539421116.548 * * * * [misc]progress: [ 18 / 66 ] simplifiying candidate # 1539421116.548 * * * * [misc]progress: [ 19 / 66 ] simplifiying candidate # 1539421116.548 * * * * [misc]progress: [ 20 / 66 ] simplifiying candidate # 1539421116.548 * * * * [misc]progress: [ 21 / 66 ] simplifiying candidate # 1539421116.548 * * * * [misc]progress: [ 22 / 66 ] simplifiying candidate # 1539421116.548 * [enter]simplify: Simplifying (sqrt (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))) 1539421116.549 * * [misc]simplify: iters left: 6 (7 enodes) 1539421116.550 * * [misc]simplify: iters left: 5 (13 enodes) 1539421116.551 * * [misc]simplify: iters left: 4 (14 enodes) 1539421116.553 * [exit]simplify: Simplified to (fabs (cbrt (- (/ 1 x) 1))) 1539421116.553 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (* (fabs (cbrt (- (/ 1 x) 1))) (sqrt (cbrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1)))))) 1539421116.553 * * * * [misc]progress: [ 23 / 66 ] simplifiying candidate # 1539421116.553 * [enter]simplify: Simplifying (sqrt (sqrt (- (/ 1 x) 1))) 1539421116.553 * * [misc]simplify: iters left: 6 (6 enodes) 1539421116.554 * * [misc]simplify: iters left: 5 (11 enodes) 1539421116.556 * * [misc]simplify: iters left: 4 (12 enodes) 1539421116.557 * [exit]simplify: Simplified to (sqrt (sqrt (- (/ 1 x) 1))) 1539421116.557 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (* (sqrt (sqrt (- (/ 1 x) 1))) (sqrt (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1)))))) 1539421116.557 * * * * [misc]progress: [ 24 / 66 ] simplifiying candidate # 1539421116.557 * [enter]simplify: Simplifying (sqrt 1) 1539421116.557 * * [misc]simplify: iters left: 1 (2 enodes) 1539421116.558 * [exit]simplify: Simplified to 1 1539421116.558 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (* 1 (sqrt (- (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1)))))) 1539421116.558 * * * * [misc]progress: [ 25 / 66 ] simplifiying candidate # 1539421116.558 * [enter]simplify: Simplifying (sqrt (+ (sqrt (/ 1 x)) 1)) 1539421116.558 * * [misc]simplify: iters left: 6 (6 enodes) 1539421116.559 * * [misc]simplify: iters left: 5 (9 enodes) 1539421116.560 * [exit]simplify: Simplified to (sqrt (+ (sqrt (/ 1 x)) 1)) 1539421116.560 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (* (sqrt (+ (sqrt (/ 1 x)) 1)) (sqrt (- (sqrt (/ 1 x)) 1)))) (log (sqrt (- (/ 1 x) 1)))))) 1539421116.560 * * * * [misc]progress: [ 26 / 66 ] simplifiying candidate # 1539421116.560 * [enter]simplify: Simplifying (sqrt (- (pow (/ 1 x) 3) (pow 1 3))) 1539421116.560 * * [misc]simplify: iters left: 6 (8 enodes) 1539421116.562 * * [misc]simplify: iters left: 5 (20 enodes) 1539421116.564 * * [misc]simplify: iters left: 4 (32 enodes) 1539421116.569 * * [misc]simplify: iters left: 3 (41 enodes) 1539421116.575 * * [misc]simplify: iters left: 2 (49 enodes) 1539421116.581 * * [misc]simplify: iters left: 1 (56 enodes) 1539421116.588 * [exit]simplify: Simplified to (sqrt (- (/ (/ 1 x) (* x x)) 1)) 1539421116.588 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (/ (sqrt (- (/ (/ 1 x) (* x x)) 1)) (sqrt (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1)))))) (log (sqrt (- (/ 1 x) 1)))))) 1539421116.588 * * * * [misc]progress: [ 27 / 66 ] simplifiying candidate # 1539421116.588 * [enter]simplify: Simplifying (sqrt (- (* (/ 1 x) (/ 1 x)) (* 1 1))) 1539421116.588 * * [misc]simplify: iters left: 6 (7 enodes) 1539421116.590 * * [misc]simplify: iters left: 5 (16 enodes) 1539421116.592 * * [misc]simplify: iters left: 4 (17 enodes) 1539421116.594 * * [misc]simplify: iters left: 3 (24 enodes) 1539421116.597 * * [misc]simplify: iters left: 2 (32 enodes) 1539421116.602 * * [misc]simplify: iters left: 1 (51 enodes) 1539421116.613 * [exit]simplify: Simplified to (sqrt (- (* (/ 1 x) (/ 1 x)) 1)) 1539421116.613 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (/ (sqrt (- (* (/ 1 x) (/ 1 x)) 1)) (sqrt (+ (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1)))))) 1539421116.613 * * * * [misc]progress: [ 28 / 66 ] simplifiying candidate # 1539421116.613 * * * * [misc]progress: [ 29 / 66 ] simplifiying candidate # 1539421116.613 * [enter]simplify: Simplifying (sqrt (- (/ 1 x) 1)) 1539421116.613 * * [misc]simplify: iters left: 5 (5 enodes) 1539421116.614 * * [misc]simplify: iters left: 4 (10 enodes) 1539421116.615 * * [misc]simplify: iters left: 3 (11 enodes) 1539421116.616 * [exit]simplify: Simplified to (sqrt (- (/ 1 x) 1)) 1539421116.616 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (fabs (sqrt (- (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1)))))) 1539421116.616 * * * * [misc]progress: [ 30 / 66 ] simplifiying candidate # 1539421116.616 * * * * [misc]progress: [ 31 / 66 ] simplifiying candidate # 1539421116.616 * * * * [misc]progress: [ 32 / 66 ] simplifiying candidate # 1539421116.616 * * * * [misc]progress: [ 33 / 66 ] simplifiying candidate # 1539421116.616 * * * * [misc]progress: [ 34 / 66 ] simplifiying candidate # 1539421116.616 * * * * [misc]progress: [ 35 / 66 ] simplifiying candidate # 1539421116.617 * * * * [misc]progress: [ 36 / 66 ] simplifiying candidate # 1539421116.617 * * * * [misc]progress: [ 37 / 66 ] simplifiying candidate # 1539421116.617 * * * * [misc]progress: [ 38 / 66 ] simplifiying candidate # 1539421116.617 * * * * [misc]progress: [ 39 / 66 ] simplifiying candidate # 1539421116.617 * * * * [misc]progress: [ 40 / 66 ] simplifiying candidate # 1539421116.617 * * * * [misc]progress: [ 41 / 66 ] simplifiying candidate # 1539421116.617 * [enter]simplify: Simplifying (+ (sqrt (/ 1 x)) 1) 1539421116.617 * * [misc]simplify: iters left: 5 (5 enodes) 1539421116.618 * * [misc]simplify: iters left: 4 (8 enodes) 1539421116.619 * [exit]simplify: Simplified to (+ (sqrt (/ 1 x)) 1) 1539421116.619 * [misc]simplify: Simplified (2 1 2 1 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1))))))) 1539421116.619 * * * * [misc]progress: [ 42 / 66 ] simplifiying candidate # 1539421116.619 * * * * [misc]progress: [ 43 / 66 ] simplifiying candidate # 1539421116.619 * * * * [misc]progress: [ 44 / 66 ] simplifiying candidate # 1539421116.619 * * * * [misc]progress: [ 45 / 66 ] simplifiying candidate # 1539421116.619 * * * * [misc]progress: [ 46 / 66 ] simplifiying candidate # 1539421116.619 * * * * [misc]progress: [ 47 / 66 ] simplifiying candidate # 1539421116.619 * * * * [misc]progress: [ 48 / 66 ] simplifiying candidate # 1539421116.619 * * * * [misc]progress: [ 49 / 66 ] simplifiying candidate # 1539421116.619 * * * * [misc]progress: [ 50 / 66 ] simplifiying candidate # 1539421116.619 * * * * [misc]progress: [ 51 / 66 ] simplifiying candidate # 1539421116.619 * * * * [misc]progress: [ 52 / 66 ] simplifiying candidate # 1539421116.619 * * * * [misc]progress: [ 53 / 66 ] simplifiying candidate # 1539421116.619 * [enter]simplify: Simplifying (+ (sqrt (/ 1 x)) 1) 1539421116.619 * * [misc]simplify: iters left: 5 (5 enodes) 1539421116.620 * * [misc]simplify: iters left: 4 (8 enodes) 1539421116.621 * [exit]simplify: Simplified to (+ (sqrt (/ 1 x)) 1) 1539421116.621 * [misc]simplify: Simplified (2 1 1 1 1 1) to (λ (x) (- (+ (log (sqrt (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1)))) (log (sqrt (- (/ 1 x) 1)))))) 1539421116.621 * * * * [misc]progress: [ 54 / 66 ] simplifiying candidate # 1539421116.621 * * * * [misc]progress: [ 55 / 66 ] simplifiying candidate # 1539421116.621 * [enter]simplify: Simplifying (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0))))) 1539421116.621 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log +nan.0)))) 1539421116.621 * * * * [misc]progress: [ 56 / 66 ] simplifiying candidate # 1539421116.621 * [enter]simplify: Simplifying (- (+ (* 1/2 (/ 1 (* x (sqrt -1)))) (sqrt -1)) (* 1/8 (/ 1 (* (pow x 2) (pow (sqrt -1) 3))))) 1539421116.621 * * [misc]simplify: iters left: 6 (18 enodes) 1539421116.627 * * [misc]simplify: iters left: 5 (41 enodes) 1539421116.643 * * [misc]simplify: iters left: 4 (85 enodes) 1539421116.679 * * [misc]simplify: iters left: 3 (151 enodes) 1539421116.730 * * [misc]simplify: iters left: 2 (240 enodes) 1539421116.870 * [exit]simplify: Simplified to (+ (/ 1/8 (* (* x x) (sqrt -1))) (+ (/ (/ 1/2 x) (sqrt -1)) (sqrt -1))) 1539421116.870 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (+ (/ 1/8 (* (* x x) (sqrt -1))) (+ (/ (/ 1/2 x) (sqrt -1)) (sqrt -1))))))) 1539421116.870 * * * * [misc]progress: [ 57 / 66 ] simplifiying candidate # 1539421116.870 * [enter]simplify: Simplifying (- (+ (* 1/2 (/ 1 (* x (sqrt -1)))) (sqrt -1)) (* 1/8 (/ 1 (* (pow x 2) (pow (sqrt -1) 3))))) 1539421116.870 * * [misc]simplify: iters left: 6 (18 enodes) 1539421116.878 * * [misc]simplify: iters left: 5 (41 enodes) 1539421116.897 * * [misc]simplify: iters left: 4 (85 enodes) 1539421116.930 * * [misc]simplify: iters left: 3 (151 enodes) 1539421116.978 * * [misc]simplify: iters left: 2 (240 enodes) 1539421117.103 * [exit]simplify: Simplified to (+ (/ 1/8 (* (* x x) (sqrt -1))) (+ (/ (/ 1/2 x) (sqrt -1)) (sqrt -1))) 1539421117.103 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (+ (/ 1/8 (* (* x x) (sqrt -1))) (+ (/ (/ 1/2 x) (sqrt -1)) (sqrt -1))))))) 1539421117.103 * * * * [misc]progress: [ 58 / 66 ] simplifiying candidate # 1539421117.103 * [enter]simplify: Simplifying (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0))))) 1539421117.103 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (+ (log +nan.0) (log (sqrt (- (/ 1 x) 1)))))) 1539421117.103 * * * * [misc]progress: [ 59 / 66 ] simplifiying candidate # 1539421117.104 * [enter]simplify: Simplifying (- (+ (* 1/2 (/ 1 (* x (sqrt -1)))) (sqrt -1)) (* 1/8 (/ 1 (* (pow x 2) (pow (sqrt -1) 3))))) 1539421117.104 * * [misc]simplify: iters left: 6 (18 enodes) 1539421117.108 * * [misc]simplify: iters left: 5 (41 enodes) 1539421117.119 * * [misc]simplify: iters left: 4 (85 enodes) 1539421117.135 * * [misc]simplify: iters left: 3 (151 enodes) 1539421117.174 * * [misc]simplify: iters left: 2 (240 enodes) 1539421117.302 * [exit]simplify: Simplified to (+ (/ 1/8 (* (* x x) (sqrt -1))) (+ (/ (/ 1/2 x) (sqrt -1)) (sqrt -1))) 1539421117.302 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (+ (log (+ (/ 1/8 (* (* x x) (sqrt -1))) (+ (/ (/ 1/2 x) (sqrt -1)) (sqrt -1)))) (log (sqrt (- (/ 1 x) 1)))))) 1539421117.302 * * * * [misc]progress: [ 60 / 66 ] simplifiying candidate # 1539421117.302 * [enter]simplify: Simplifying (- (+ (* 1/2 (/ 1 (* x (sqrt -1)))) (sqrt -1)) (* 1/8 (/ 1 (* (pow x 2) (pow (sqrt -1) 3))))) 1539421117.302 * * [misc]simplify: iters left: 6 (18 enodes) 1539421117.306 * * [misc]simplify: iters left: 5 (41 enodes) 1539421117.314 * * [misc]simplify: iters left: 4 (85 enodes) 1539421117.337 * * [misc]simplify: iters left: 3 (151 enodes) 1539421117.392 * * [misc]simplify: iters left: 2 (240 enodes) 1539421117.531 * [exit]simplify: Simplified to (+ (/ 1/8 (* (* x x) (sqrt -1))) (+ (/ (/ 1/2 x) (sqrt -1)) (sqrt -1))) 1539421117.531 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (+ (log (+ (/ 1/8 (* (* x x) (sqrt -1))) (+ (/ (/ 1/2 x) (sqrt -1)) (sqrt -1)))) (log (sqrt (- (/ 1 x) 1)))))) 1539421117.531 * * * * [misc]progress: [ 61 / 66 ] simplifiying candidate # 1539421117.531 * [enter]simplify: Simplifying (- (/ 1 x) 1) 1539421117.531 * * [misc]simplify: iters left: 4 (4 enodes) 1539421117.533 * * [misc]simplify: iters left: 3 (9 enodes) 1539421117.535 * * [misc]simplify: iters left: 2 (10 enodes) 1539421117.537 * [exit]simplify: Simplified to (- (/ 1 x) 1) 1539421117.537 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1)))))) 1539421117.537 * * * * [misc]progress: [ 62 / 66 ] simplifiying candidate # 1539421117.538 * [enter]simplify: Simplifying (- (/ 1 x) 1) 1539421117.538 * * [misc]simplify: iters left: 4 (4 enodes) 1539421117.540 * * [misc]simplify: iters left: 3 (9 enodes) 1539421117.541 * * [misc]simplify: iters left: 2 (10 enodes) 1539421117.543 * [exit]simplify: Simplified to (- (/ 1 x) 1) 1539421117.543 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1)))))) 1539421117.543 * * * * [misc]progress: [ 63 / 66 ] simplifiying candidate # 1539421117.544 * [enter]simplify: Simplifying (- (/ 1 x) 1) 1539421117.544 * * [misc]simplify: iters left: 4 (4 enodes) 1539421117.545 * * [misc]simplify: iters left: 3 (9 enodes) 1539421117.546 * * [misc]simplify: iters left: 2 (10 enodes) 1539421117.547 * [exit]simplify: Simplified to (- (/ 1 x) 1) 1539421117.547 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1)))))) 1539421117.547 * * * * [misc]progress: [ 64 / 66 ] simplifiying candidate # 1539421117.547 * [enter]simplify: Simplifying (- (/ 1 x) 1) 1539421117.547 * * [misc]simplify: iters left: 4 (4 enodes) 1539421117.548 * * [misc]simplify: iters left: 3 (9 enodes) 1539421117.549 * * [misc]simplify: iters left: 2 (10 enodes) 1539421117.550 * [exit]simplify: Simplified to (- (/ 1 x) 1) 1539421117.550 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1)))))) 1539421117.550 * * * * [misc]progress: [ 65 / 66 ] simplifiying candidate # 1539421117.550 * [enter]simplify: Simplifying (- (/ 1 x) 1) 1539421117.550 * * [misc]simplify: iters left: 4 (4 enodes) 1539421117.551 * * [misc]simplify: iters left: 3 (9 enodes) 1539421117.552 * * [misc]simplify: iters left: 2 (10 enodes) 1539421117.553 * [exit]simplify: Simplified to (- (/ 1 x) 1) 1539421117.553 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1)))))) 1539421117.553 * * * * [misc]progress: [ 66 / 66 ] simplifiying candidate # 1539421117.553 * [enter]simplify: Simplifying (- (/ 1 x) 1) 1539421117.553 * * [misc]simplify: iters left: 4 (4 enodes) 1539421117.554 * * [misc]simplify: iters left: 3 (9 enodes) 1539421117.555 * * [misc]simplify: iters left: 2 (10 enodes) 1539421117.558 * [exit]simplify: Simplified to (- (/ 1 x) 1) 1539421117.558 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1)))))) 1539421117.558 * * * [misc]progress: adding candidates to table 1539421118.213 * * [misc]progress: iteration 3 / 4 1539421118.213 * * * [misc]progress: picking best candidate 1539421118.216 * * * * [misc]pick: Picked # 1539421118.216 * * * [misc]progress: localizing error 1539421118.242 * * * [misc]progress: generating rewritten candidates 1539421118.242 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1 1) 1539421118.270 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 2 1) 1539421118.275 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 1 2 1 1) 1539421118.276 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 1) 1539421118.277 * * * [misc]progress: generating series expansions 1539421118.277 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1 1) 1539421118.278 * [misc]backup-simplify: Simplify (* (sqrt (+ (sqrt (/ 1 x)) 1)) (sqrt (- (sqrt (/ 1 x)) 1))) into (sqrt (* (- (sqrt (/ 1 x)) 1) (+ (sqrt (/ 1 x)) 1))) 1539421118.278 * [misc]approximate: Taking taylor expansion of (sqrt (* (- (sqrt (/ 1 x)) 1) (+ (sqrt (/ 1 x)) 1))) in (x) around 0 1539421118.278 * [misc]taylor: Taking taylor expansion of (sqrt (* (- (sqrt (/ 1 x)) 1) (+ (sqrt (/ 1 x)) 1))) in x 1539421118.278 * [misc]taylor: Taking taylor expansion of (* (- (sqrt (/ 1 x)) 1) (+ (sqrt (/ 1 x)) 1)) in x 1539421118.278 * [misc]taylor: Taking taylor expansion of (- (sqrt (/ 1 x)) 1) in x 1539421118.278 * [misc]taylor: Taking taylor expansion of (sqrt (/ 1 x)) in x 1539421118.278 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539421118.278 * [misc]taylor: Taking taylor expansion of x in x 1539421118.278 * [misc]backup-simplify: Simplify 0 into 0 1539421118.278 * [misc]backup-simplify: Simplify 1 into 1 1539421118.278 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539421118.278 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1539421118.279 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1539421118.279 * [misc]taylor: Taking taylor expansion of 1 in x 1539421118.279 * [misc]backup-simplify: Simplify 1 into 1 1539421118.279 * [misc]taylor: Taking taylor expansion of (+ (sqrt (/ 1 x)) 1) in x 1539421118.279 * [misc]taylor: Taking taylor expansion of (sqrt (/ 1 x)) in x 1539421118.279 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539421118.279 * [misc]taylor: Taking taylor expansion of x in x 1539421118.279 * [misc]backup-simplify: Simplify 0 into 0 1539421118.279 * [misc]backup-simplify: Simplify 1 into 1 1539421118.279 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539421118.280 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1539421118.280 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1539421118.280 * [misc]taylor: Taking taylor expansion of 1 in x 1539421118.280 * [misc]backup-simplify: Simplify 1 into 1 1539421118.280 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539421118.281 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539421118.281 * [misc]backup-simplify: Simplify (* 0 0) into 0 1539421118.281 * [misc]backup-simplify: Simplify (+ +nan.0 1) into (- +nan.0) 1539421118.281 * [misc]backup-simplify: Simplify (- 1) into -1 1539421118.281 * [misc]backup-simplify: Simplify (+ +nan.0 -1) into (- +nan.0) 1539421118.282 * [misc]backup-simplify: Simplify (+ (* 0 (- +nan.0)) (* (- +nan.0) 0)) into 0 1539421118.282 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1539421118.283 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1539421118.283 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1539421118.283 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1539421118.284 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1539421118.284 * [misc]backup-simplify: Simplify (- 0) into 0 1539421118.285 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1539421118.286 * [misc]backup-simplify: Simplify (+ (* 0 (- +nan.0)) (+ (* (- +nan.0) (- +nan.0)) (* (- +nan.0) 0))) into (- +nan.0) 1539421118.286 * [misc]backup-simplify: Simplify (sqrt (- +nan.0)) into (sqrt +nan.0) 1539421118.287 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539421118.288 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1539421118.288 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1539421118.288 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539421118.289 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1539421118.290 * [misc]backup-simplify: Simplify (- 0) into 0 1539421118.290 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1539421118.292 * [misc]backup-simplify: Simplify (+ (* 0 (- +nan.0)) (+ (* (- +nan.0) (- +nan.0)) (+ (* (- +nan.0) (- +nan.0)) (* (- +nan.0) 0)))) into (- +nan.0) 1539421118.293 * [misc]backup-simplify: Simplify (/ (- +nan.0) (* 2 (sqrt (- +nan.0)))) into (/ +nan.0 (sqrt +nan.0)) 1539421118.293 * [misc]taylor: Taking taylor expansion of (sqrt (* (- (sqrt (/ 1 x)) 1) (+ (sqrt (/ 1 x)) 1))) in x 1539421118.293 * [misc]taylor: Taking taylor expansion of (* (- (sqrt (/ 1 x)) 1) (+ (sqrt (/ 1 x)) 1)) in x 1539421118.293 * [misc]taylor: Taking taylor expansion of (- (sqrt (/ 1 x)) 1) in x 1539421118.293 * [misc]taylor: Taking taylor expansion of (sqrt (/ 1 x)) in x 1539421118.293 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539421118.293 * [misc]taylor: Taking taylor expansion of x in x 1539421118.293 * [misc]backup-simplify: Simplify 0 into 0 1539421118.293 * [misc]backup-simplify: Simplify 1 into 1 1539421118.293 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539421118.294 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1539421118.294 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1539421118.294 * [misc]taylor: Taking taylor expansion of 1 in x 1539421118.294 * [misc]backup-simplify: Simplify 1 into 1 1539421118.294 * [misc]taylor: Taking taylor expansion of (+ (sqrt (/ 1 x)) 1) in x 1539421118.294 * [misc]taylor: Taking taylor expansion of (sqrt (/ 1 x)) in x 1539421118.294 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539421118.294 * [misc]taylor: Taking taylor expansion of x in x 1539421118.294 * [misc]backup-simplify: Simplify 0 into 0 1539421118.294 * [misc]backup-simplify: Simplify 1 into 1 1539421118.294 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539421118.295 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1539421118.295 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1539421118.295 * [misc]taylor: Taking taylor expansion of 1 in x 1539421118.295 * [misc]backup-simplify: Simplify 1 into 1 1539421118.295 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539421118.295 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539421118.296 * [misc]backup-simplify: Simplify (* 0 0) into 0 1539421118.296 * [misc]backup-simplify: Simplify (+ +nan.0 1) into (- +nan.0) 1539421118.296 * [misc]backup-simplify: Simplify (- 1) into -1 1539421118.296 * [misc]backup-simplify: Simplify (+ +nan.0 -1) into (- +nan.0) 1539421118.296 * [misc]backup-simplify: Simplify (+ (* 0 (- +nan.0)) (* (- +nan.0) 0)) into 0 1539421118.297 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1539421118.298 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1539421118.298 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1539421118.298 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1539421118.300 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1539421118.300 * [misc]backup-simplify: Simplify (- 0) into 0 1539421118.300 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1539421118.301 * [misc]backup-simplify: Simplify (+ (* 0 (- +nan.0)) (+ (* (- +nan.0) (- +nan.0)) (* (- +nan.0) 0))) into (- +nan.0) 1539421118.301 * [misc]backup-simplify: Simplify (sqrt (- +nan.0)) into (sqrt +nan.0) 1539421118.302 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539421118.303 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1539421118.303 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1539421118.303 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539421118.305 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1539421118.305 * [misc]backup-simplify: Simplify (- 0) into 0 1539421118.305 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1539421118.307 * [misc]backup-simplify: Simplify (+ (* 0 (- +nan.0)) (+ (* (- +nan.0) (- +nan.0)) (+ (* (- +nan.0) (- +nan.0)) (* (- +nan.0) 0)))) into (- +nan.0) 1539421118.308 * [misc]backup-simplify: Simplify (/ (- +nan.0) (* 2 (sqrt (- +nan.0)))) into (/ +nan.0 (sqrt +nan.0)) 1539421118.308 * [misc]backup-simplify: Simplify (sqrt +nan.0) into (sqrt +nan.0) 1539421118.309 * [misc]backup-simplify: Simplify (/ +nan.0 (sqrt +nan.0)) into (/ +nan.0 (sqrt +nan.0)) 1539421118.309 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539421118.311 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1539421118.311 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1539421118.311 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539421118.313 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1539421118.313 * [misc]backup-simplify: Simplify (- 0) into 0 1539421118.313 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1539421118.316 * [misc]backup-simplify: Simplify (+ (* 0 (- +nan.0)) (+ (* (- +nan.0) (- +nan.0)) (+ (* (- +nan.0) (- +nan.0)) (+ (* (- +nan.0) (- +nan.0)) (* (- +nan.0) 0))))) into (- +nan.0) 1539421118.319 * [misc]backup-simplify: Simplify (/ (- (- +nan.0) (pow (/ +nan.0 (sqrt +nan.0)) 2) (+)) (* 2 (sqrt +nan.0))) into (* -1/2 (/ (+ (* +nan.0 (/ 1 (pow (sqrt +nan.0) 2))) (- +nan.0)) (sqrt +nan.0))) 1539421118.321 * [misc]backup-simplify: Simplify (* -1/2 (/ (+ (* +nan.0 (/ 1 (pow (sqrt +nan.0) 2))) (- +nan.0)) (sqrt +nan.0))) into (* 1/2 (/ (+ (* +nan.0 (/ 1 (pow (sqrt +nan.0) 2))) (- +nan.0)) (sqrt +nan.0))) 1539421118.325 * [misc]backup-simplify: Simplify (+ (* (* 1/2 (/ (+ (* +nan.0 (/ 1 (pow (sqrt +nan.0) 2))) (- +nan.0)) (sqrt +nan.0))) (pow x 2)) (+ (* (/ +nan.0 (sqrt +nan.0)) x) (sqrt +nan.0))) into (- (sqrt +nan.0) (+ (* +nan.0 (/ x (sqrt +nan.0))) (- (+ (* +nan.0 (/ (pow x 2) (sqrt +nan.0))) (- (* +nan.0 (/ (pow x 2) (pow (sqrt +nan.0) 3)))))))) 1539421118.325 * [misc]backup-simplify: Simplify (* (sqrt (+ (sqrt (/ 1 (/ 1 x))) 1)) (sqrt (- (sqrt (/ 1 (/ 1 x))) 1))) into (sqrt (* (- (sqrt x) 1) (+ (sqrt x) 1))) 1539421118.325 * [misc]approximate: Taking taylor expansion of (sqrt (* (- (sqrt x) 1) (+ (sqrt x) 1))) in (x) around 0 1539421118.325 * [misc]taylor: Taking taylor expansion of (sqrt (* (- (sqrt x) 1) (+ (sqrt x) 1))) in x 1539421118.325 * [misc]taylor: Taking taylor expansion of (* (- (sqrt x) 1) (+ (sqrt x) 1)) in x 1539421118.325 * [misc]taylor: Taking taylor expansion of (- (sqrt x) 1) in x 1539421118.325 * [misc]taylor: Taking taylor expansion of (sqrt x) in x 1539421118.325 * [misc]taylor: Taking taylor expansion of x in x 1539421118.325 * [misc]backup-simplify: Simplify 0 into 0 1539421118.325 * [misc]backup-simplify: Simplify 1 into 1 1539421118.325 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1539421118.326 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1539421118.326 * [misc]taylor: Taking taylor expansion of 1 in x 1539421118.326 * [misc]backup-simplify: Simplify 1 into 1 1539421118.326 * [misc]taylor: Taking taylor expansion of (+ (sqrt x) 1) in x 1539421118.326 * [misc]taylor: Taking taylor expansion of (sqrt x) in x 1539421118.326 * [misc]taylor: Taking taylor expansion of x in x 1539421118.326 * [misc]backup-simplify: Simplify 0 into 0 1539421118.326 * [misc]backup-simplify: Simplify 1 into 1 1539421118.326 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1539421118.327 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1539421118.327 * [misc]taylor: Taking taylor expansion of 1 in x 1539421118.327 * [misc]backup-simplify: Simplify 1 into 1 1539421118.327 * [misc]backup-simplify: Simplify (- 1) into -1 1539421118.327 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539421118.327 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1539421118.327 * [misc]backup-simplify: Simplify (* -1 1) into -1 1539421118.328 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1539421118.328 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1539421118.328 * [misc]backup-simplify: Simplify (- 0) into 0 1539421118.328 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1539421118.329 * [misc]backup-simplify: Simplify (+ (* -1 (- +nan.0)) (* (- +nan.0) 1)) into (- +nan.0) 1539421118.330 * [misc]backup-simplify: Simplify (/ (- +nan.0) (* 2 (sqrt -1))) into (/ +nan.0 (sqrt -1)) 1539421118.330 * [misc]taylor: Taking taylor expansion of (sqrt (* (- (sqrt x) 1) (+ (sqrt x) 1))) in x 1539421118.330 * [misc]taylor: Taking taylor expansion of (* (- (sqrt x) 1) (+ (sqrt x) 1)) in x 1539421118.330 * [misc]taylor: Taking taylor expansion of (- (sqrt x) 1) in x 1539421118.330 * [misc]taylor: Taking taylor expansion of (sqrt x) in x 1539421118.330 * [misc]taylor: Taking taylor expansion of x in x 1539421118.330 * [misc]backup-simplify: Simplify 0 into 0 1539421118.330 * [misc]backup-simplify: Simplify 1 into 1 1539421118.330 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1539421118.330 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1539421118.330 * [misc]taylor: Taking taylor expansion of 1 in x 1539421118.331 * [misc]backup-simplify: Simplify 1 into 1 1539421118.331 * [misc]taylor: Taking taylor expansion of (+ (sqrt x) 1) in x 1539421118.331 * [misc]taylor: Taking taylor expansion of (sqrt x) in x 1539421118.331 * [misc]taylor: Taking taylor expansion of x in x 1539421118.331 * [misc]backup-simplify: Simplify 0 into 0 1539421118.331 * [misc]backup-simplify: Simplify 1 into 1 1539421118.331 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1539421118.331 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1539421118.331 * [misc]taylor: Taking taylor expansion of 1 in x 1539421118.331 * [misc]backup-simplify: Simplify 1 into 1 1539421118.331 * [misc]backup-simplify: Simplify (- 1) into -1 1539421118.332 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539421118.332 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1539421118.332 * [misc]backup-simplify: Simplify (* -1 1) into -1 1539421118.332 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1539421118.332 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1539421118.332 * [misc]backup-simplify: Simplify (- 0) into 0 1539421118.333 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1539421118.333 * [misc]backup-simplify: Simplify (+ (* -1 (- +nan.0)) (* (- +nan.0) 1)) into (- +nan.0) 1539421118.334 * [misc]backup-simplify: Simplify (/ (- +nan.0) (* 2 (sqrt -1))) into (/ +nan.0 (sqrt -1)) 1539421118.334 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1539421118.335 * [misc]backup-simplify: Simplify (/ +nan.0 (sqrt -1)) into (/ +nan.0 (sqrt -1)) 1539421118.336 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1539421118.336 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1539421118.337 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1539421118.337 * [misc]backup-simplify: Simplify (- 0) into 0 1539421118.337 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1539421118.339 * [misc]backup-simplify: Simplify (+ (* -1 (- +nan.0)) (+ (* (- +nan.0) (- +nan.0)) (* (- +nan.0) 1))) into (- +nan.0) 1539421118.341 * [misc]backup-simplify: Simplify (/ (- (- +nan.0) (pow (/ +nan.0 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (* -1/2 (/ (+ (* +nan.0 (/ 1 (pow (sqrt -1) 2))) (- +nan.0)) (sqrt -1))) 1539421118.343 * [misc]backup-simplify: Simplify (* -1/2 (/ (+ (* +nan.0 (/ 1 (pow (sqrt -1) 2))) (- +nan.0)) (sqrt -1))) into (* 1/2 (/ (+ (* +nan.0 (/ 1 (pow (sqrt -1) 2))) (- +nan.0)) (sqrt -1))) 1539421118.347 * [misc]backup-simplify: Simplify (+ (* (* 1/2 (/ (+ (* +nan.0 (/ 1 (pow (sqrt -1) 2))) (- +nan.0)) (sqrt -1))) (pow (/ 1 x) 2)) (+ (* (/ +nan.0 (sqrt -1)) (/ 1 x)) (sqrt -1))) into (- (sqrt -1) (+ (* +nan.0 (/ 1 (* (pow x 2) (sqrt -1)))) (- (+ (* +nan.0 (/ 1 (* (pow x 2) (pow (sqrt -1) 3)))) (- (* +nan.0 (/ 1 (* x (sqrt -1))))))))) 1539421118.347 * [misc]backup-simplify: Simplify (* (sqrt (+ (sqrt (/ 1 (/ 1 (- x)))) 1)) (sqrt (- (sqrt (/ 1 (/ 1 (- x)))) 1))) into (sqrt (* (- (sqrt (* -1 x)) 1) (+ (sqrt (* -1 x)) 1))) 1539421118.347 * [misc]approximate: Taking taylor expansion of (sqrt (* (- (sqrt (* -1 x)) 1) (+ (sqrt (* -1 x)) 1))) in (x) around 0 1539421118.347 * [misc]taylor: Taking taylor expansion of (sqrt (* (- (sqrt (* -1 x)) 1) (+ (sqrt (* -1 x)) 1))) in x 1539421118.348 * [misc]taylor: Taking taylor expansion of (* (- (sqrt (* -1 x)) 1) (+ (sqrt (* -1 x)) 1)) in x 1539421118.348 * [misc]taylor: Taking taylor expansion of (- (sqrt (* -1 x)) 1) in x 1539421118.348 * [misc]taylor: Taking taylor expansion of (sqrt (* -1 x)) in x 1539421118.348 * [misc]taylor: Taking taylor expansion of (* -1 x) in x 1539421118.348 * [misc]taylor: Taking taylor expansion of -1 in x 1539421118.348 * [misc]backup-simplify: Simplify -1 into -1 1539421118.348 * [misc]taylor: Taking taylor expansion of x in x 1539421118.348 * [misc]backup-simplify: Simplify 0 into 0 1539421118.348 * [misc]backup-simplify: Simplify 1 into 1 1539421118.348 * [misc]backup-simplify: Simplify (* -1 0) into 0 1539421118.348 * [misc]backup-simplify: Simplify (+ (* -1 1) (* 0 0)) into -1 1539421118.348 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1539421118.349 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1539421118.349 * [misc]taylor: Taking taylor expansion of 1 in x 1539421118.349 * [misc]backup-simplify: Simplify 1 into 1 1539421118.349 * [misc]taylor: Taking taylor expansion of (+ (sqrt (* -1 x)) 1) in x 1539421118.349 * [misc]taylor: Taking taylor expansion of (sqrt (* -1 x)) in x 1539421118.349 * [misc]taylor: Taking taylor expansion of (* -1 x) in x 1539421118.349 * [misc]taylor: Taking taylor expansion of -1 in x 1539421118.349 * [misc]backup-simplify: Simplify -1 into -1 1539421118.349 * [misc]taylor: Taking taylor expansion of x in x 1539421118.349 * [misc]backup-simplify: Simplify 0 into 0 1539421118.349 * [misc]backup-simplify: Simplify 1 into 1 1539421118.350 * [misc]backup-simplify: Simplify (* -1 0) into 0 1539421118.350 * [misc]backup-simplify: Simplify (+ (* -1 1) (* 0 0)) into -1 1539421118.350 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1539421118.351 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1539421118.351 * [misc]taylor: Taking taylor expansion of 1 in x 1539421118.351 * [misc]backup-simplify: Simplify 1 into 1 1539421118.351 * [misc]backup-simplify: Simplify (- 1) into -1 1539421118.351 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539421118.351 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1539421118.351 * [misc]backup-simplify: Simplify (* -1 1) into -1 1539421118.352 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1539421118.352 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1539421118.352 * [misc]backup-simplify: Simplify (- 0) into 0 1539421118.352 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1539421118.353 * [misc]backup-simplify: Simplify (+ (* -1 (- +nan.0)) (* (- +nan.0) 1)) into (- +nan.0) 1539421118.354 * [misc]backup-simplify: Simplify (/ (- +nan.0) (* 2 (sqrt -1))) into (/ +nan.0 (sqrt -1)) 1539421118.354 * [misc]taylor: Taking taylor expansion of (sqrt (* (- (sqrt (* -1 x)) 1) (+ (sqrt (* -1 x)) 1))) in x 1539421118.354 * [misc]taylor: Taking taylor expansion of (* (- (sqrt (* -1 x)) 1) (+ (sqrt (* -1 x)) 1)) in x 1539421118.354 * [misc]taylor: Taking taylor expansion of (- (sqrt (* -1 x)) 1) in x 1539421118.354 * [misc]taylor: Taking taylor expansion of (sqrt (* -1 x)) in x 1539421118.354 * [misc]taylor: Taking taylor expansion of (* -1 x) in x 1539421118.354 * [misc]taylor: Taking taylor expansion of -1 in x 1539421118.354 * [misc]backup-simplify: Simplify -1 into -1 1539421118.354 * [misc]taylor: Taking taylor expansion of x in x 1539421118.354 * [misc]backup-simplify: Simplify 0 into 0 1539421118.354 * [misc]backup-simplify: Simplify 1 into 1 1539421118.354 * [misc]backup-simplify: Simplify (* -1 0) into 0 1539421118.354 * [misc]backup-simplify: Simplify (+ (* -1 1) (* 0 0)) into -1 1539421118.354 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1539421118.355 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1539421118.355 * [misc]taylor: Taking taylor expansion of 1 in x 1539421118.355 * [misc]backup-simplify: Simplify 1 into 1 1539421118.355 * [misc]taylor: Taking taylor expansion of (+ (sqrt (* -1 x)) 1) in x 1539421118.355 * [misc]taylor: Taking taylor expansion of (sqrt (* -1 x)) in x 1539421118.355 * [misc]taylor: Taking taylor expansion of (* -1 x) in x 1539421118.355 * [misc]taylor: Taking taylor expansion of -1 in x 1539421118.355 * [misc]backup-simplify: Simplify -1 into -1 1539421118.355 * [misc]taylor: Taking taylor expansion of x in x 1539421118.355 * [misc]backup-simplify: Simplify 0 into 0 1539421118.355 * [misc]backup-simplify: Simplify 1 into 1 1539421118.355 * [misc]backup-simplify: Simplify (* -1 0) into 0 1539421118.356 * [misc]backup-simplify: Simplify (+ (* -1 1) (* 0 0)) into -1 1539421118.356 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1539421118.356 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1539421118.356 * [misc]taylor: Taking taylor expansion of 1 in x 1539421118.356 * [misc]backup-simplify: Simplify 1 into 1 1539421118.356 * [misc]backup-simplify: Simplify (- 1) into -1 1539421118.357 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539421118.357 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1539421118.357 * [misc]backup-simplify: Simplify (* -1 1) into -1 1539421118.357 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1539421118.357 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1539421118.357 * [misc]backup-simplify: Simplify (- 0) into 0 1539421118.357 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1539421118.358 * [misc]backup-simplify: Simplify (+ (* -1 (- +nan.0)) (* (- +nan.0) 1)) into (- +nan.0) 1539421118.359 * [misc]backup-simplify: Simplify (/ (- +nan.0) (* 2 (sqrt -1))) into (/ +nan.0 (sqrt -1)) 1539421118.359 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1539421118.360 * [misc]backup-simplify: Simplify (/ +nan.0 (sqrt -1)) into (/ +nan.0 (sqrt -1)) 1539421118.360 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0 1539421118.361 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1539421118.361 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1539421118.361 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0 1539421118.362 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1539421118.363 * [misc]backup-simplify: Simplify (- 0) into 0 1539421118.363 * [misc]backup-simplify: Simplify (+ +nan.0 0) into (- +nan.0) 1539421118.364 * [misc]backup-simplify: Simplify (+ (* -1 (- +nan.0)) (+ (* (- +nan.0) (- +nan.0)) (* (- +nan.0) 1))) into (- +nan.0) 1539421118.366 * [misc]backup-simplify: Simplify (/ (- (- +nan.0) (pow (/ +nan.0 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (* -1/2 (/ (+ (* +nan.0 (/ 1 (pow (sqrt -1) 2))) (- +nan.0)) (sqrt -1))) 1539421118.369 * [misc]backup-simplify: Simplify (* -1/2 (/ (+ (* +nan.0 (/ 1 (pow (sqrt -1) 2))) (- +nan.0)) (sqrt -1))) into (* 1/2 (/ (+ (* +nan.0 (/ 1 (pow (sqrt -1) 2))) (- +nan.0)) (sqrt -1))) 1539421118.372 * [misc]backup-simplify: Simplify (+ (* (* 1/2 (/ (+ (* +nan.0 (/ 1 (pow (sqrt -1) 2))) (- +nan.0)) (sqrt -1))) (pow (/ 1 (- x)) 2)) (+ (* (/ +nan.0 (sqrt -1)) (/ 1 (- x))) (sqrt -1))) into (- (sqrt -1) (+ (* +nan.0 (/ 1 (* (pow x 2) (sqrt -1)))) (- (+ (* +nan.0 (/ 1 (* (pow x 2) (pow (sqrt -1) 3)))) (- (* +nan.0 (/ 1 (* x (sqrt -1))))))))) 1539421118.372 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 2 1) 1539421118.372 * [misc]backup-simplify: Simplify (sqrt (- (/ 1 x) 1)) into (sqrt (- (/ 1 x) 1)) 1539421118.373 * [misc]approximate: Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in (x) around 0 1539421118.373 * [misc]taylor: Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in x 1539421118.373 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1539421118.373 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539421118.373 * [misc]taylor: Taking taylor expansion of x in x 1539421118.373 * [misc]backup-simplify: Simplify 0 into 0 1539421118.373 * [misc]backup-simplify: Simplify 1 into 1 1539421118.373 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539421118.373 * [misc]taylor: Taking taylor expansion of 1 in x 1539421118.373 * [misc]backup-simplify: Simplify 1 into 1 1539421118.373 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539421118.373 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1539421118.374 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1539421118.374 * [misc]taylor: Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in x 1539421118.374 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1539421118.374 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539421118.374 * [misc]taylor: Taking taylor expansion of x in x 1539421118.374 * [misc]backup-simplify: Simplify 0 into 0 1539421118.374 * [misc]backup-simplify: Simplify 1 into 1 1539421118.374 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539421118.374 * [misc]taylor: Taking taylor expansion of 1 in x 1539421118.374 * [misc]backup-simplify: Simplify 1 into 1 1539421118.374 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539421118.375 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1539421118.375 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1539421118.375 * [misc]backup-simplify: Simplify 0 into 0 1539421118.375 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1539421118.375 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1539421118.375 * [misc]backup-simplify: Simplify (- 1) into -1 1539421118.376 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539421118.376 * [misc]backup-simplify: Simplify (/ (- -1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1539421118.376 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1539421118.376 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539421118.377 * [misc]backup-simplify: Simplify (- 0) into 0 1539421118.377 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539421118.377 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1539421118.377 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1539421118.377 * [misc]backup-simplify: Simplify (+ (* +nan.0 (pow x 2)) (+ (* +nan.0 x) +nan.0)) into (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0))))) 1539421118.378 * [misc]backup-simplify: Simplify (sqrt (- (/ 1 (/ 1 x)) 1)) into (sqrt (- x 1)) 1539421118.378 * [misc]approximate: Taking taylor expansion of (sqrt (- x 1)) in (x) around 0 1539421118.378 * [misc]taylor: Taking taylor expansion of (sqrt (- x 1)) in x 1539421118.378 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1539421118.378 * [misc]taylor: Taking taylor expansion of x in x 1539421118.378 * [misc]backup-simplify: Simplify 0 into 0 1539421118.378 * [misc]backup-simplify: Simplify 1 into 1 1539421118.378 * [misc]taylor: Taking taylor expansion of 1 in x 1539421118.378 * [misc]backup-simplify: Simplify 1 into 1 1539421118.378 * [misc]backup-simplify: Simplify (- 1) into -1 1539421118.378 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539421118.378 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1539421118.378 * [misc]backup-simplify: Simplify (- 0) into 0 1539421118.378 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539421118.380 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1)) 1539421118.380 * [misc]taylor: Taking taylor expansion of (sqrt (- x 1)) in x 1539421118.380 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1539421118.380 * [misc]taylor: Taking taylor expansion of x in x 1539421118.380 * [misc]backup-simplify: Simplify 0 into 0 1539421118.380 * [misc]backup-simplify: Simplify 1 into 1 1539421118.380 * [misc]taylor: Taking taylor expansion of 1 in x 1539421118.380 * [misc]backup-simplify: Simplify 1 into 1 1539421118.380 * [misc]backup-simplify: Simplify (- 1) into -1 1539421118.380 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1539421118.381 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1539421118.381 * [misc]backup-simplify: Simplify (- 0) into 0 1539421118.381 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539421118.381 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1)) 1539421118.381 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1539421118.381 * [misc]backup-simplify: Simplify (/ 1/2 (sqrt -1)) into (/ 1/2 (sqrt -1)) 1539421118.382 * [misc]backup-simplify: Simplify (- 0) into 0 1539421118.382 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539421118.383 * [misc]backup-simplify: Simplify (/ (- 0 (pow (/ 1/2 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3)) 1539421118.383 * [misc]backup-simplify: Simplify (/ -1/8 (pow (sqrt -1) 3)) into (/ -1/8 (pow (sqrt -1) 3)) 1539421118.384 * [misc]backup-simplify: Simplify (+ (* (/ -1/8 (pow (sqrt -1) 3)) (pow (/ 1 x) 2)) (+ (* (/ 1/2 (sqrt -1)) (/ 1 x)) (sqrt -1))) into (- (+ (* 1/2 (/ 1 (* x (sqrt -1)))) (sqrt -1)) (* 1/8 (/ 1 (* (pow x 2) (pow (sqrt -1) 3))))) 1539421118.384 * [misc]backup-simplify: Simplify (sqrt (- (/ 1 (/ 1 (- x))) 1)) into (sqrt (- (+ x 1))) 1539421118.384 * [misc]approximate: Taking taylor expansion of (sqrt (- (+ x 1))) in (x) around 0 1539421118.384 * [misc]taylor: Taking taylor expansion of (sqrt (- (+ x 1))) in x 1539421118.384 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1539421118.384 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1539421118.384 * [misc]taylor: Taking taylor expansion of x in x 1539421118.384 * [misc]backup-simplify: Simplify 0 into 0 1539421118.384 * [misc]backup-simplify: Simplify 1 into 1 1539421118.384 * [misc]taylor: Taking taylor expansion of 1 in x 1539421118.384 * [misc]backup-simplify: Simplify 1 into 1 1539421118.384 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1539421118.385 * [misc]backup-simplify: Simplify (- 1) into -1 1539421118.385 * [misc]backup-simplify: Simplify (- 1) into -1 1539421118.385 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1539421118.385 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539421118.385 * [misc]backup-simplify: Simplify (- 1) into -1 1539421118.385 * [misc]backup-simplify: Simplify (- 1) into -1 1539421118.385 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1)) 1539421118.385 * [misc]taylor: Taking taylor expansion of (sqrt (- (+ x 1))) in x 1539421118.385 * [misc]taylor: Taking taylor expansion of (- (+ x 1)) in x 1539421118.385 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1539421118.385 * [misc]taylor: Taking taylor expansion of x in x 1539421118.385 * [misc]backup-simplify: Simplify 0 into 0 1539421118.385 * [misc]backup-simplify: Simplify 1 into 1 1539421118.385 * [misc]taylor: Taking taylor expansion of 1 in x 1539421118.385 * [misc]backup-simplify: Simplify 1 into 1 1539421118.386 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1539421118.386 * [misc]backup-simplify: Simplify (- 1) into -1 1539421118.386 * [misc]backup-simplify: Simplify (- 1) into -1 1539421118.386 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1539421118.386 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1539421118.386 * [misc]backup-simplify: Simplify (- 1) into -1 1539421118.386 * [misc]backup-simplify: Simplify (- 1) into -1 1539421118.386 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1)) 1539421118.387 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1539421118.387 * [misc]backup-simplify: Simplify (/ -1/2 (sqrt -1)) into (/ -1/2 (sqrt -1)) 1539421118.387 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1539421118.387 * [misc]backup-simplify: Simplify (- 0) into 0 1539421118.388 * [misc]backup-simplify: Simplify (/ (- 0 (pow (/ -1/2 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3)) 1539421118.389 * [misc]backup-simplify: Simplify (/ -1/8 (pow (sqrt -1) 3)) into (/ -1/8 (pow (sqrt -1) 3)) 1539421118.389 * [misc]backup-simplify: Simplify (+ (* (/ -1/8 (pow (sqrt -1) 3)) (pow (/ 1 (- x)) 2)) (+ (* (/ -1/2 (sqrt -1)) (/ 1 (- x))) (sqrt -1))) into (- (+ (* 1/2 (/ 1 (* x (sqrt -1)))) (sqrt -1)) (* 1/8 (/ 1 (* (pow x 2) (pow (sqrt -1) 3))))) 1539421118.390 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 1 2 1 1) 1539421118.390 * [misc]backup-simplify: Simplify (sqrt (/ 1 x)) into (sqrt (/ 1 x)) 1539421118.390 * [misc]approximate: Taking taylor expansion of (sqrt (/ 1 x)) in (x) around 0 1539421118.390 * [misc]taylor: Taking taylor expansion of (sqrt (/ 1 x)) in x 1539421118.390 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539421118.390 * [misc]taylor: Taking taylor expansion of x in x 1539421118.390 * [misc]backup-simplify: Simplify 0 into 0 1539421118.390 * [misc]backup-simplify: Simplify 1 into 1 1539421118.390 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539421118.390 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1539421118.390 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1539421118.390 * [misc]taylor: Taking taylor expansion of (sqrt (/ 1 x)) in x 1539421118.390 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539421118.390 * [misc]taylor: Taking taylor expansion of x in x 1539421118.390 * [misc]backup-simplify: Simplify 0 into 0 1539421118.390 * [misc]backup-simplify: Simplify 1 into 1 1539421118.390 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539421118.390 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1539421118.391 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1539421118.391 * [misc]backup-simplify: Simplify 0 into 0 1539421118.391 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1539421118.391 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1539421118.392 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1539421118.392 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1539421118.392 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539421118.393 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1539421118.393 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1539421118.393 * [misc]backup-simplify: Simplify (+ (* +nan.0 (pow x 2)) (+ (* +nan.0 x) +nan.0)) into (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0))))) 1539421118.393 * [misc]backup-simplify: Simplify (sqrt (/ 1 (/ 1 x))) into (sqrt x) 1539421118.393 * [misc]approximate: Taking taylor expansion of (sqrt x) in (x) around 0 1539421118.393 * [misc]taylor: Taking taylor expansion of (sqrt x) in x 1539421118.393 * [misc]taylor: Taking taylor expansion of x in x 1539421118.393 * [misc]backup-simplify: Simplify 0 into 0 1539421118.393 * [misc]backup-simplify: Simplify 1 into 1 1539421118.393 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1539421118.393 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1539421118.393 * [misc]taylor: Taking taylor expansion of (sqrt x) in x 1539421118.393 * [misc]taylor: Taking taylor expansion of x in x 1539421118.393 * [misc]backup-simplify: Simplify 0 into 0 1539421118.393 * [misc]backup-simplify: Simplify 1 into 1 1539421118.393 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1539421118.394 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1539421118.394 * [misc]backup-simplify: Simplify 0 into 0 1539421118.394 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1539421118.394 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1539421118.395 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1539421118.395 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1539421118.395 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1539421118.395 * [misc]backup-simplify: Simplify (+ (* +nan.0 (pow (/ 1 x) 3)) (+ (* +nan.0 (pow (/ 1 x) 2)) (* +nan.0 (/ 1 x)))) into (- (+ (* +nan.0 (/ 1 (pow x 3))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x))))))) 1539421118.396 * [misc]backup-simplify: Simplify (sqrt (/ 1 (/ 1 (- x)))) into (sqrt (* -1 x)) 1539421118.396 * [misc]approximate: Taking taylor expansion of (sqrt (* -1 x)) in (x) around 0 1539421118.396 * [misc]taylor: Taking taylor expansion of (sqrt (* -1 x)) in x 1539421118.396 * [misc]taylor: Taking taylor expansion of (* -1 x) in x 1539421118.396 * [misc]taylor: Taking taylor expansion of -1 in x 1539421118.396 * [misc]backup-simplify: Simplify -1 into -1 1539421118.396 * [misc]taylor: Taking taylor expansion of x in x 1539421118.396 * [misc]backup-simplify: Simplify 0 into 0 1539421118.396 * [misc]backup-simplify: Simplify 1 into 1 1539421118.396 * [misc]backup-simplify: Simplify (* -1 0) into 0 1539421118.396 * [misc]backup-simplify: Simplify (+ (* -1 1) (* 0 0)) into -1 1539421118.396 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1539421118.396 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1539421118.396 * [misc]taylor: Taking taylor expansion of (sqrt (* -1 x)) in x 1539421118.396 * [misc]taylor: Taking taylor expansion of (* -1 x) in x 1539421118.396 * [misc]taylor: Taking taylor expansion of -1 in x 1539421118.396 * [misc]backup-simplify: Simplify -1 into -1 1539421118.396 * [misc]taylor: Taking taylor expansion of x in x 1539421118.396 * [misc]backup-simplify: Simplify 0 into 0 1539421118.396 * [misc]backup-simplify: Simplify 1 into 1 1539421118.397 * [misc]backup-simplify: Simplify (* -1 0) into 0 1539421118.397 * [misc]backup-simplify: Simplify (+ (* -1 1) (* 0 0)) into -1 1539421118.397 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1539421118.397 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1539421118.397 * [misc]backup-simplify: Simplify 0 into 0 1539421118.397 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1539421118.397 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0 1539421118.398 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1539421118.398 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1539421118.398 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1539421118.399 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1539421118.399 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1539421118.399 * [misc]backup-simplify: Simplify (+ (* +nan.0 (pow (/ 1 (- x)) 3)) (+ (* +nan.0 (pow (/ 1 (- x)) 2)) (* +nan.0 (/ 1 (- x))))) into (- (+ (* +nan.0 (/ 1 (pow x 3))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x))))))) 1539421118.399 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 1 1 1 1 1) 1539421118.400 * [misc]backup-simplify: Simplify (sqrt (/ 1 x)) into (sqrt (/ 1 x)) 1539421118.400 * [misc]approximate: Taking taylor expansion of (sqrt (/ 1 x)) in (x) around 0 1539421118.400 * [misc]taylor: Taking taylor expansion of (sqrt (/ 1 x)) in x 1539421118.400 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539421118.400 * [misc]taylor: Taking taylor expansion of x in x 1539421118.400 * [misc]backup-simplify: Simplify 0 into 0 1539421118.400 * [misc]backup-simplify: Simplify 1 into 1 1539421118.400 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539421118.400 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1539421118.400 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1539421118.400 * [misc]taylor: Taking taylor expansion of (sqrt (/ 1 x)) in x 1539421118.400 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1539421118.400 * [misc]taylor: Taking taylor expansion of x in x 1539421118.400 * [misc]backup-simplify: Simplify 0 into 0 1539421118.400 * [misc]backup-simplify: Simplify 1 into 1 1539421118.400 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1539421118.401 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1539421118.401 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1539421118.401 * [misc]backup-simplify: Simplify 0 into 0 1539421118.401 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1539421118.401 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1539421118.402 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1539421118.402 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1539421118.402 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1539421118.403 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1539421118.403 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1539421118.403 * [misc]backup-simplify: Simplify (+ (* +nan.0 (pow x 2)) (+ (* +nan.0 x) +nan.0)) into (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0))))) 1539421118.403 * [misc]backup-simplify: Simplify (sqrt (/ 1 (/ 1 x))) into (sqrt x) 1539421118.403 * [misc]approximate: Taking taylor expansion of (sqrt x) in (x) around 0 1539421118.403 * [misc]taylor: Taking taylor expansion of (sqrt x) in x 1539421118.403 * [misc]taylor: Taking taylor expansion of x in x 1539421118.403 * [misc]backup-simplify: Simplify 0 into 0 1539421118.403 * [misc]backup-simplify: Simplify 1 into 1 1539421118.403 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1539421118.403 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1539421118.403 * [misc]taylor: Taking taylor expansion of (sqrt x) in x 1539421118.403 * [misc]taylor: Taking taylor expansion of x in x 1539421118.403 * [misc]backup-simplify: Simplify 0 into 0 1539421118.403 * [misc]backup-simplify: Simplify 1 into 1 1539421118.404 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1539421118.404 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1539421118.404 * [misc]backup-simplify: Simplify 0 into 0 1539421118.404 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1539421118.405 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1539421118.405 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1539421118.405 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1539421118.405 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1539421118.405 * [misc]backup-simplify: Simplify (+ (* +nan.0 (pow (/ 1 x) 3)) (+ (* +nan.0 (pow (/ 1 x) 2)) (* +nan.0 (/ 1 x)))) into (- (+ (* +nan.0 (/ 1 (pow x 3))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x))))))) 1539421118.406 * [misc]backup-simplify: Simplify (sqrt (/ 1 (/ 1 (- x)))) into (sqrt (* -1 x)) 1539421118.406 * [misc]approximate: Taking taylor expansion of (sqrt (* -1 x)) in (x) around 0 1539421118.406 * [misc]taylor: Taking taylor expansion of (sqrt (* -1 x)) in x 1539421118.406 * [misc]taylor: Taking taylor expansion of (* -1 x) in x 1539421118.406 * [misc]taylor: Taking taylor expansion of -1 in x 1539421118.406 * [misc]backup-simplify: Simplify -1 into -1 1539421118.406 * [misc]taylor: Taking taylor expansion of x in x 1539421118.406 * [misc]backup-simplify: Simplify 0 into 0 1539421118.406 * [misc]backup-simplify: Simplify 1 into 1 1539421118.406 * [misc]backup-simplify: Simplify (* -1 0) into 0 1539421118.406 * [misc]backup-simplify: Simplify (+ (* -1 1) (* 0 0)) into -1 1539421118.406 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1539421118.406 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1539421118.406 * [misc]taylor: Taking taylor expansion of (sqrt (* -1 x)) in x 1539421118.406 * [misc]taylor: Taking taylor expansion of (* -1 x) in x 1539421118.406 * [misc]taylor: Taking taylor expansion of -1 in x 1539421118.406 * [misc]backup-simplify: Simplify -1 into -1 1539421118.406 * [misc]taylor: Taking taylor expansion of x in x 1539421118.406 * [misc]backup-simplify: Simplify 0 into 0 1539421118.406 * [misc]backup-simplify: Simplify 1 into 1 1539421118.407 * [misc]backup-simplify: Simplify (* -1 0) into 0 1539421118.407 * [misc]backup-simplify: Simplify (+ (* -1 1) (* 0 0)) into -1 1539421118.407 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1539421118.407 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1539421118.407 * [misc]backup-simplify: Simplify 0 into 0 1539421118.407 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1539421118.408 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0 1539421118.409 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1539421118.409 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1539421118.409 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1539421118.410 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1539421118.410 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1539421118.411 * [misc]backup-simplify: Simplify (+ (* +nan.0 (pow (/ 1 (- x)) 3)) (+ (* +nan.0 (pow (/ 1 (- x)) 2)) (* +nan.0 (/ 1 (- x))))) into (- (+ (* +nan.0 (/ 1 (pow x 3))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x))))))) 1539421118.411 * * * [misc]progress: simplifying candidates 1539421118.411 * * * * [misc]progress: [ 1 / 90 ] simplifiying candidate # 1539421118.411 * [enter]simplify: Simplifying (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1)) 1539421118.411 * * [misc]simplify: iters left: 6 (7 enodes) 1539421118.414 * * [misc]simplify: iters left: 5 (14 enodes) 1539421118.418 * * [misc]simplify: iters left: 4 (29 enodes) 1539421118.433 * * [misc]simplify: iters left: 3 (60 enodes) 1539421118.454 * * [misc]simplify: iters left: 2 (156 enodes) 1539421118.533 * * [misc]simplify: iters left: 1 (354 enodes) 1539421118.698 * [exit]simplify: Simplified to (+ -1 (/ 1 x)) 1539421118.698 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (pow (+ -1 (/ 1 x)) 1/2)) (log (sqrt (- (/ 1 x) 1)))))) 1539421118.698 * * * * [misc]progress: [ 2 / 90 ] simplifiying candidate # 1539421118.698 * [enter]simplify: Simplifying (* (sqrt (+ (sqrt (/ 1 x)) 1)) (sqrt (- (sqrt (/ 1 x)) 1))) 1539421118.698 * * [misc]simplify: iters left: 6 (9 enodes) 1539421118.701 * * [misc]simplify: iters left: 5 (16 enodes) 1539421118.705 * * [misc]simplify: iters left: 4 (17 enodes) 1539421118.709 * [exit]simplify: Simplified to (* (sqrt (- (sqrt (/ 1 x)) 1)) (sqrt (+ (sqrt (/ 1 x)) 1))) 1539421118.709 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (pow (* (sqrt (- (sqrt (/ 1 x)) 1)) (sqrt (+ (sqrt (/ 1 x)) 1))) 1)) (log (sqrt (- (/ 1 x) 1)))))) 1539421118.709 * * * * [misc]progress: [ 3 / 90 ] simplifiying candidate # 1539421118.709 * * * * [misc]progress: [ 4 / 90 ] simplifiying candidate # 1539421118.710 * [enter]simplify: Simplifying (+ (log (sqrt (+ (sqrt (/ 1 x)) 1))) (log (sqrt (- (sqrt (/ 1 x)) 1)))) 1539421118.710 * * [misc]simplify: iters left: 6 (11 enodes) 1539421118.714 * * [misc]simplify: iters left: 5 (18 enodes) 1539421118.718 * * [misc]simplify: iters left: 4 (19 enodes) 1539421118.723 * [exit]simplify: Simplified to (+ (log (sqrt (+ (sqrt (/ 1 x)) 1))) (log (sqrt (- (sqrt (/ 1 x)) 1)))) 1539421118.723 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (exp (+ (log (sqrt (+ (sqrt (/ 1 x)) 1))) (log (sqrt (- (sqrt (/ 1 x)) 1)))))) (log (sqrt (- (/ 1 x) 1)))))) 1539421118.723 * * * * [misc]progress: [ 5 / 90 ] simplifiying candidate # 1539421118.723 * * * * [misc]progress: [ 6 / 90 ] simplifiying candidate # 1539421118.723 * * * * [misc]progress: [ 7 / 90 ] simplifiying candidate # 1539421118.723 * [enter]simplify: Simplifying (* (* (* (sqrt (+ (sqrt (/ 1 x)) 1)) (sqrt (+ (sqrt (/ 1 x)) 1))) (sqrt (+ (sqrt (/ 1 x)) 1))) (* (* (sqrt (- (sqrt (/ 1 x)) 1)) (sqrt (- (sqrt (/ 1 x)) 1))) (sqrt (- (sqrt (/ 1 x)) 1)))) 1539421118.724 * * [misc]simplify: iters left: 6 (13 enodes) 1539421118.729 * * [misc]simplify: iters left: 5 (26 enodes) 1539421118.736 * * [misc]simplify: iters left: 4 (61 enodes) 1539421118.761 * * [misc]simplify: iters left: 3 (162 enodes) 1539421118.852 * [exit]simplify: Simplified to (* (* (sqrt (- (sqrt (/ 1 x)) 1)) (- (sqrt (/ 1 x)) 1)) (* (sqrt (+ (sqrt (/ 1 x)) 1)) (+ (sqrt (/ 1 x)) 1))) 1539421118.852 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (cbrt (* (* (sqrt (- (sqrt (/ 1 x)) 1)) (- (sqrt (/ 1 x)) 1)) (* (sqrt (+ (sqrt (/ 1 x)) 1)) (+ (sqrt (/ 1 x)) 1))))) (log (sqrt (- (/ 1 x) 1)))))) 1539421118.852 * * * * [misc]progress: [ 8 / 90 ] simplifiying candidate # 1539421118.852 * * * * [misc]progress: [ 9 / 90 ] simplifiying candidate # 1539421118.852 * * * * [misc]progress: [ 10 / 90 ] simplifiying candidate # 1539421118.852 * [enter]simplify: Simplifying (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1)) 1539421118.852 * * [misc]simplify: iters left: 6 (7 enodes) 1539421118.854 * * [misc]simplify: iters left: 5 (14 enodes) 1539421118.855 * * [misc]simplify: iters left: 4 (29 enodes) 1539421118.866 * * [misc]simplify: iters left: 3 (60 enodes) 1539421118.880 * * [misc]simplify: iters left: 2 (156 enodes) 1539421118.972 * * [misc]simplify: iters left: 1 (354 enodes) 1539421119.121 * [exit]simplify: Simplified to (+ -1 (/ 1 x)) 1539421119.121 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (sqrt (+ -1 (/ 1 x)))) (log (sqrt (- (/ 1 x) 1)))))) 1539421119.121 * * * * [misc]progress: [ 11 / 90 ] simplifiying candidate # 1539421119.121 * * * * [misc]progress: [ 12 / 90 ] simplifiying candidate # 1539421119.121 * [enter]simplify: Simplifying (* (sqrt (+ (pow (sqrt (/ 1 x)) 3) (pow 1 3))) (sqrt (- (pow (sqrt (/ 1 x)) 3) (pow 1 3)))) 1539421119.121 * * [misc]simplify: iters left: 6 (12 enodes) 1539421119.124 * * [misc]simplify: iters left: 5 (24 enodes) 1539421119.129 * * [misc]simplify: iters left: 4 (25 enodes) 1539421119.135 * * [misc]simplify: iters left: 3 (32 enodes) 1539421119.142 * * [misc]simplify: iters left: 2 (38 enodes) 1539421119.153 * * [misc]simplify: iters left: 1 (43 enodes) 1539421119.157 * [exit]simplify: Simplified to (* (sqrt (+ (* (/ 1 x) (sqrt (/ 1 x))) 1)) (sqrt (- (* (/ 1 x) (sqrt (/ 1 x))) 1))) 1539421119.157 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (/ (* (sqrt (+ (* (/ 1 x) (sqrt (/ 1 x))) 1)) (sqrt (- (* (/ 1 x) (sqrt (/ 1 x))) 1))) (* (sqrt (+ (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (- (* 1 1) (* (sqrt (/ 1 x)) 1)))) (sqrt (+ (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (+ (* 1 1) (* (sqrt (/ 1 x)) 1))))))) (log (sqrt (- (/ 1 x) 1)))))) 1539421119.157 * [enter]simplify: Simplifying (* (sqrt (+ (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (- (* 1 1) (* (sqrt (/ 1 x)) 1)))) (sqrt (+ (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (+ (* 1 1) (* (sqrt (/ 1 x)) 1))))) 1539421119.157 * * [misc]simplify: iters left: 6 (14 enodes) 1539421119.160 * * [misc]simplify: iters left: 5 (28 enodes) 1539421119.164 * * [misc]simplify: iters left: 4 (51 enodes) 1539421119.172 * * [misc]simplify: iters left: 3 (74 enodes) 1539421119.183 * * [misc]simplify: iters left: 2 (123 enodes) 1539421119.212 * * [misc]simplify: iters left: 1 (195 enodes) 1539421119.260 * [exit]simplify: Simplified to (* (sqrt (- (+ 1 (/ 1 x)) (sqrt (/ 1 x)))) (sqrt (+ (+ 1 (/ 1 x)) (sqrt (/ 1 x))))) 1539421119.260 * [misc]simplify: Simplified (2 1 1 1 2) to (λ (x) (- (+ (log (/ (* (sqrt (+ (pow (sqrt (/ 1 x)) 3) (pow 1 3))) (sqrt (- (pow (sqrt (/ 1 x)) 3) (pow 1 3)))) (* (sqrt (- (+ 1 (/ 1 x)) (sqrt (/ 1 x)))) (sqrt (+ (+ 1 (/ 1 x)) (sqrt (/ 1 x))))))) (log (sqrt (- (/ 1 x) 1)))))) 1539421119.261 * * * * [misc]progress: [ 13 / 90 ] simplifiying candidate # 1539421119.261 * [enter]simplify: Simplifying (* (sqrt (+ (pow (sqrt (/ 1 x)) 3) (pow 1 3))) (sqrt (- (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (* 1 1)))) 1539421119.261 * * [misc]simplify: iters left: 6 (14 enodes) 1539421119.267 * * [misc]simplify: iters left: 5 (24 enodes) 1539421119.269 * * [misc]simplify: iters left: 4 (32 enodes) 1539421119.273 * * [misc]simplify: iters left: 3 (39 enodes) 1539421119.278 * * [misc]simplify: iters left: 2 (63 enodes) 1539421119.290 * * [misc]simplify: iters left: 1 (95 enodes) 1539421119.306 * [exit]simplify: Simplified to (* (sqrt (- (/ 1 x) 1)) (sqrt (+ (* (sqrt (/ 1 x)) (/ 1 x)) 1))) 1539421119.307 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (/ (* (sqrt (- (/ 1 x) 1)) (sqrt (+ (* (sqrt (/ 1 x)) (/ 1 x)) 1))) (* (sqrt (+ (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (- (* 1 1) (* (sqrt (/ 1 x)) 1)))) (sqrt (+ (sqrt (/ 1 x)) 1))))) (log (sqrt (- (/ 1 x) 1)))))) 1539421119.307 * [enter]simplify: Simplifying (* (sqrt (+ (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (- (* 1 1) (* (sqrt (/ 1 x)) 1)))) (sqrt (+ (sqrt (/ 1 x)) 1))) 1539421119.307 * * [misc]simplify: iters left: 6 (13 enodes) 1539421119.309 * * [misc]simplify: iters left: 5 (24 enodes) 1539421119.313 * * [misc]simplify: iters left: 4 (39 enodes) 1539421119.321 * * [misc]simplify: iters left: 3 (51 enodes) 1539421119.335 * * [misc]simplify: iters left: 2 (76 enodes) 1539421119.352 * * [misc]simplify: iters left: 1 (118 enodes) 1539421119.382 * [exit]simplify: Simplified to (* (sqrt (+ 1 (sqrt (/ 1 x)))) (sqrt (- (+ 1 (/ 1 x)) (sqrt (/ 1 x))))) 1539421119.382 * [misc]simplify: Simplified (2 1 1 1 2) to (λ (x) (- (+ (log (/ (* (sqrt (- (/ 1 x) 1)) (sqrt (+ (* (sqrt (/ 1 x)) (/ 1 x)) 1))) (* (sqrt (+ 1 (sqrt (/ 1 x)))) (sqrt (- (+ 1 (/ 1 x)) (sqrt (/ 1 x))))))) (log (sqrt (- (/ 1 x) 1)))))) 1539421119.383 * * * * [misc]progress: [ 14 / 90 ] simplifiying candidate # 1539421119.383 * [enter]simplify: Simplifying (* (sqrt (- (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (* 1 1))) (sqrt (- (pow (sqrt (/ 1 x)) 3) (pow 1 3)))) 1539421119.383 * * [misc]simplify: iters left: 6 (14 enodes) 1539421119.389 * * [misc]simplify: iters left: 5 (25 enodes) 1539421119.394 * * [misc]simplify: iters left: 4 (34 enodes) 1539421119.403 * * [misc]simplify: iters left: 3 (43 enodes) 1539421119.414 * * [misc]simplify: iters left: 2 (67 enodes) 1539421119.439 * * [misc]simplify: iters left: 1 (98 enodes) 1539421119.468 * [exit]simplify: Simplified to (* (sqrt (- (/ (sqrt (/ 1 x)) x) 1)) (sqrt (- (/ 1 x) 1))) 1539421119.468 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (/ (* (sqrt (- (/ (sqrt (/ 1 x)) x) 1)) (sqrt (- (/ 1 x) 1))) (* (sqrt (- (sqrt (/ 1 x)) 1)) (sqrt (+ (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (+ (* 1 1) (* (sqrt (/ 1 x)) 1))))))) (log (sqrt (- (/ 1 x) 1)))))) 1539421119.468 * [enter]simplify: Simplifying (* (sqrt (- (sqrt (/ 1 x)) 1)) (sqrt (+ (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (+ (* 1 1) (* (sqrt (/ 1 x)) 1))))) 1539421119.469 * * [misc]simplify: iters left: 6 (13 enodes) 1539421119.471 * * [misc]simplify: iters left: 5 (25 enodes) 1539421119.474 * * [misc]simplify: iters left: 4 (36 enodes) 1539421119.479 * * [misc]simplify: iters left: 3 (44 enodes) 1539421119.485 * * [misc]simplify: iters left: 2 (65 enodes) 1539421119.496 * * [misc]simplify: iters left: 1 (77 enodes) 1539421119.508 * [exit]simplify: Simplified to (* (sqrt (- (sqrt (/ 1 x)) 1)) (sqrt (+ (sqrt (/ 1 x)) (+ 1 (/ 1 x))))) 1539421119.508 * [misc]simplify: Simplified (2 1 1 1 2) to (λ (x) (- (+ (log (/ (* (sqrt (- (/ (sqrt (/ 1 x)) x) 1)) (sqrt (- (/ 1 x) 1))) (* (sqrt (- (sqrt (/ 1 x)) 1)) (sqrt (+ (sqrt (/ 1 x)) (+ 1 (/ 1 x))))))) (log (sqrt (- (/ 1 x) 1)))))) 1539421119.508 * * * * [misc]progress: [ 15 / 90 ] simplifiying candidate # 1539421119.508 * [enter]simplify: Simplifying (* (sqrt (- (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (* 1 1))) (sqrt (- (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (* 1 1)))) 1539421119.508 * * [misc]simplify: iters left: 6 (9 enodes) 1539421119.510 * * [misc]simplify: iters left: 5 (14 enodes) 1539421119.511 * * [misc]simplify: iters left: 4 (19 enodes) 1539421119.513 * * [misc]simplify: iters left: 3 (22 enodes) 1539421119.516 * * [misc]simplify: iters left: 2 (38 enodes) 1539421119.524 * * [misc]simplify: iters left: 1 (63 enodes) 1539421119.533 * [exit]simplify: Simplified to (- (/ 1 x) 1) 1539421119.533 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (/ (- (/ 1 x) 1) (* (sqrt (- (sqrt (/ 1 x)) 1)) (sqrt (+ (sqrt (/ 1 x)) 1))))) (log (sqrt (- (/ 1 x) 1)))))) 1539421119.533 * [enter]simplify: Simplifying (* (sqrt (- (sqrt (/ 1 x)) 1)) (sqrt (+ (sqrt (/ 1 x)) 1))) 1539421119.533 * * [misc]simplify: iters left: 6 (9 enodes) 1539421119.535 * * [misc]simplify: iters left: 5 (16 enodes) 1539421119.537 * * [misc]simplify: iters left: 4 (17 enodes) 1539421119.539 * [exit]simplify: Simplified to (* (sqrt (+ (sqrt (/ 1 x)) 1)) (sqrt (- (sqrt (/ 1 x)) 1))) 1539421119.539 * [misc]simplify: Simplified (2 1 1 1 2) to (λ (x) (- (+ (log (/ (- (/ 1 x) 1) (* (sqrt (+ (sqrt (/ 1 x)) 1)) (sqrt (- (sqrt (/ 1 x)) 1))))) (log (sqrt (- (/ 1 x) 1)))))) 1539421119.539 * * * * [misc]progress: [ 16 / 90 ] simplifiying candidate # 1539421119.539 * * * * [misc]progress: [ 17 / 90 ] simplifiying candidate # 1539421119.539 * [enter]simplify: Simplifying (cbrt (sqrt (- (sqrt (/ 1 x)) 1))) 1539421119.539 * * [misc]simplify: iters left: 6 (7 enodes) 1539421119.541 * * [misc]simplify: iters left: 5 (12 enodes) 1539421119.542 * * [misc]simplify: iters left: 4 (13 enodes) 1539421119.544 * [exit]simplify: Simplified to (cbrt (sqrt (- (sqrt (/ 1 x)) 1))) 1539421119.544 * [misc]simplify: Simplified (2 1 1 1 2) to (λ (x) (- (+ (log (* (* (sqrt (+ (sqrt (/ 1 x)) 1)) (* (cbrt (sqrt (- (sqrt (/ 1 x)) 1))) (cbrt (sqrt (- (sqrt (/ 1 x)) 1))))) (cbrt (sqrt (- (sqrt (/ 1 x)) 1))))) (log (sqrt (- (/ 1 x) 1)))))) 1539421119.544 * * * * [misc]progress: [ 18 / 90 ] simplifiying candidate # 1539421119.544 * [enter]simplify: Simplifying (sqrt (cbrt (- (sqrt (/ 1 x)) 1))) 1539421119.544 * * [misc]simplify: iters left: 6 (7 enodes) 1539421119.547 * * [misc]simplify: iters left: 5 (12 enodes) 1539421119.549 * * [misc]simplify: iters left: 4 (13 enodes) 1539421119.552 * [exit]simplify: Simplified to (sqrt (cbrt (- (sqrt (/ 1 x)) 1))) 1539421119.552 * [misc]simplify: Simplified (2 1 1 1 2) to (λ (x) (- (+ (log (* (* (sqrt (+ (sqrt (/ 1 x)) 1)) (sqrt (* (cbrt (- (sqrt (/ 1 x)) 1)) (cbrt (- (sqrt (/ 1 x)) 1))))) (sqrt (cbrt (- (sqrt (/ 1 x)) 1))))) (log (sqrt (- (/ 1 x) 1)))))) 1539421119.552 * * * * [misc]progress: [ 19 / 90 ] simplifiying candidate # 1539421119.552 * [enter]simplify: Simplifying (sqrt (sqrt (- (sqrt (/ 1 x)) 1))) 1539421119.553 * * [misc]simplify: iters left: 6 (7 enodes) 1539421119.555 * * [misc]simplify: iters left: 5 (12 enodes) 1539421119.558 * * [misc]simplify: iters left: 4 (13 enodes) 1539421119.561 * [exit]simplify: Simplified to (sqrt (sqrt (- (sqrt (/ 1 x)) 1))) 1539421119.561 * [misc]simplify: Simplified (2 1 1 1 2) to (λ (x) (- (+ (log (* (* (sqrt (+ (sqrt (/ 1 x)) 1)) (sqrt (sqrt (- (sqrt (/ 1 x)) 1)))) (sqrt (sqrt (- (sqrt (/ 1 x)) 1))))) (log (sqrt (- (/ 1 x) 1)))))) 1539421119.561 * * * * [misc]progress: [ 20 / 90 ] simplifiying candidate # 1539421119.561 * [enter]simplify: Simplifying (sqrt (- (sqrt (/ 1 x)) 1)) 1539421119.561 * * [misc]simplify: iters left: 6 (6 enodes) 1539421119.563 * * [misc]simplify: iters left: 5 (11 enodes) 1539421119.566 * * [misc]simplify: iters left: 4 (12 enodes) 1539421119.568 * [exit]simplify: Simplified to (sqrt (- (sqrt (/ 1 x)) 1)) 1539421119.568 * [misc]simplify: Simplified (2 1 1 1 2) to (λ (x) (- (+ (log (* (* (sqrt (+ (sqrt (/ 1 x)) 1)) (sqrt 1)) (sqrt (- (sqrt (/ 1 x)) 1)))) (log (sqrt (- (/ 1 x) 1)))))) 1539421119.569 * * * * [misc]progress: [ 21 / 90 ] simplifiying candidate # 1539421119.569 * [enter]simplify: Simplifying (sqrt (- (sqrt (sqrt (/ 1 x))) 1)) 1539421119.569 * * [misc]simplify: iters left: 6 (7 enodes) 1539421119.571 * * [misc]simplify: iters left: 5 (12 enodes) 1539421119.573 * * [misc]simplify: iters left: 4 (13 enodes) 1539421119.574 * [exit]simplify: Simplified to (sqrt (- (sqrt (sqrt (/ 1 x))) 1)) 1539421119.574 * [misc]simplify: Simplified (2 1 1 1 2) to (λ (x) (- (+ (log (* (* (sqrt (+ (sqrt (/ 1 x)) 1)) (sqrt (+ (sqrt (sqrt (/ 1 x))) 1))) (sqrt (- (sqrt (sqrt (/ 1 x))) 1)))) (log (sqrt (- (/ 1 x) 1)))))) 1539421119.574 * * * * [misc]progress: [ 22 / 90 ] simplifiying candidate # 1539421119.574 * [enter]simplify: Simplifying (sqrt (- (sqrt (sqrt (/ 1 x))) 1)) 1539421119.574 * * [misc]simplify: iters left: 6 (7 enodes) 1539421119.576 * * [misc]simplify: iters left: 5 (12 enodes) 1539421119.577 * * [misc]simplify: iters left: 4 (13 enodes) 1539421119.578 * [exit]simplify: Simplified to (sqrt (- (sqrt (sqrt (/ 1 x))) 1)) 1539421119.578 * [misc]simplify: Simplified (2 1 1 1 2) to (λ (x) (- (+ (log (* (* (sqrt (+ (sqrt (/ 1 x)) 1)) (sqrt (+ (sqrt (sqrt (/ 1 x))) 1))) (sqrt (- (sqrt (sqrt (/ 1 x))) 1)))) (log (sqrt (- (/ 1 x) 1)))))) 1539421119.578 * * * * [misc]progress: [ 23 / 90 ] simplifiying candidate # 1539421119.579 * [enter]simplify: Simplifying (sqrt (sqrt (- (sqrt (/ 1 x)) 1))) 1539421119.579 * * [misc]simplify: iters left: 6 (7 enodes) 1539421119.580 * * [misc]simplify: iters left: 5 (12 enodes) 1539421119.582 * * [misc]simplify: iters left: 4 (13 enodes) 1539421119.584 * [exit]simplify: Simplified to (sqrt (sqrt (- (sqrt (/ 1 x)) 1))) 1539421119.584 * [misc]simplify: Simplified (2 1 1 1 2) to (λ (x) (- (+ (log (* (* (sqrt (+ (sqrt (/ 1 x)) 1)) (sqrt (sqrt (- (sqrt (/ 1 x)) 1)))) (sqrt (sqrt (- (sqrt (/ 1 x)) 1))))) (log (sqrt (- (/ 1 x) 1)))))) 1539421119.584 * * * * [misc]progress: [ 24 / 90 ] simplifiying candidate # 1539421119.584 * [enter]simplify: Simplifying (sqrt (- (sqrt (/ 1 x)) 1)) 1539421119.584 * * [misc]simplify: iters left: 6 (6 enodes) 1539421119.585 * * [misc]simplify: iters left: 5 (11 enodes) 1539421119.586 * * [misc]simplify: iters left: 4 (12 enodes) 1539421119.588 * [exit]simplify: Simplified to (sqrt (- (sqrt (/ 1 x)) 1)) 1539421119.588 * [misc]simplify: Simplified (2 1 1 1 2) to (λ (x) (- (+ (log (* (* (sqrt (+ (sqrt (/ 1 x)) 1)) 1) (sqrt (- (sqrt (/ 1 x)) 1)))) (log (sqrt (- (/ 1 x) 1)))))) 1539421119.588 * * * * [misc]progress: [ 25 / 90 ] simplifiying candidate # 1539421119.588 * [enter]simplify: Simplifying (* (cbrt (sqrt (+ (sqrt (/ 1 x)) 1))) (cbrt (sqrt (+ (sqrt (/ 1 x)) 1)))) 1539421119.588 * * [misc]simplify: iters left: 6 (8 enodes) 1539421119.589 * * [misc]simplify: iters left: 5 (11 enodes) 1539421119.591 * [exit]simplify: Simplified to (* (cbrt (sqrt (+ (sqrt (/ 1 x)) 1))) (cbrt (sqrt (+ (sqrt (/ 1 x)) 1)))) 1539421119.591 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (* (* (cbrt (sqrt (+ (sqrt (/ 1 x)) 1))) (cbrt (sqrt (+ (sqrt (/ 1 x)) 1)))) (* (cbrt (sqrt (+ (sqrt (/ 1 x)) 1))) (sqrt (- (sqrt (/ 1 x)) 1))))) (log (sqrt (- (/ 1 x) 1)))))) 1539421119.591 * * * * [misc]progress: [ 26 / 90 ] simplifiying candidate # 1539421119.591 * [enter]simplify: Simplifying (sqrt (* (cbrt (+ (sqrt (/ 1 x)) 1)) (cbrt (+ (sqrt (/ 1 x)) 1)))) 1539421119.591 * * [misc]simplify: iters left: 6 (8 enodes) 1539421119.592 * * [misc]simplify: iters left: 5 (12 enodes) 1539421119.594 * [exit]simplify: Simplified to (fabs (cbrt (+ (sqrt (/ 1 x)) 1))) 1539421119.594 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (* (fabs (cbrt (+ (sqrt (/ 1 x)) 1))) (* (sqrt (cbrt (+ (sqrt (/ 1 x)) 1))) (sqrt (- (sqrt (/ 1 x)) 1))))) (log (sqrt (- (/ 1 x) 1)))))) 1539421119.594 * * * * [misc]progress: [ 27 / 90 ] simplifiying candidate # 1539421119.594 * [enter]simplify: Simplifying (sqrt (sqrt (+ (sqrt (/ 1 x)) 1))) 1539421119.594 * * [misc]simplify: iters left: 6 (7 enodes) 1539421119.595 * * [misc]simplify: iters left: 5 (10 enodes) 1539421119.596 * [exit]simplify: Simplified to (sqrt (sqrt (+ (sqrt (/ 1 x)) 1))) 1539421119.596 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (* (sqrt (sqrt (+ (sqrt (/ 1 x)) 1))) (* (sqrt (sqrt (+ (sqrt (/ 1 x)) 1))) (sqrt (- (sqrt (/ 1 x)) 1))))) (log (sqrt (- (/ 1 x) 1)))))) 1539421119.596 * * * * [misc]progress: [ 28 / 90 ] simplifiying candidate # 1539421119.596 * [enter]simplify: Simplifying (sqrt 1) 1539421119.596 * * [misc]simplify: iters left: 1 (2 enodes) 1539421119.597 * [exit]simplify: Simplified to 1 1539421119.597 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (* 1 (* (sqrt (+ (sqrt (/ 1 x)) 1)) (sqrt (- (sqrt (/ 1 x)) 1))))) (log (sqrt (- (/ 1 x) 1)))))) 1539421119.597 * * * * [misc]progress: [ 29 / 90 ] simplifiying candidate # 1539421119.597 * [enter]simplify: Simplifying (sqrt (sqrt (+ (sqrt (/ 1 x)) 1))) 1539421119.597 * * [misc]simplify: iters left: 6 (7 enodes) 1539421119.598 * * [misc]simplify: iters left: 5 (10 enodes) 1539421119.599 * [exit]simplify: Simplified to (sqrt (sqrt (+ (sqrt (/ 1 x)) 1))) 1539421119.599 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (* (sqrt (sqrt (+ (sqrt (/ 1 x)) 1))) (* (sqrt (sqrt (+ (sqrt (/ 1 x)) 1))) (sqrt (- (sqrt (/ 1 x)) 1))))) (log (sqrt (- (/ 1 x) 1)))))) 1539421119.599 * * * * [misc]progress: [ 30 / 90 ] simplifiying candidate # 1539421119.599 * * * * [misc]progress: [ 31 / 90 ] simplifiying candidate # 1539421119.600 * [enter]simplify: Simplifying (sqrt (+ (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (+ (* 1 1) (* (sqrt (/ 1 x)) 1)))) 1539421119.600 * * [misc]simplify: iters left: 6 (10 enodes) 1539421119.601 * * [misc]simplify: iters left: 5 (18 enodes) 1539421119.604 * * [misc]simplify: iters left: 4 (28 enodes) 1539421119.607 * * [misc]simplify: iters left: 3 (35 enodes) 1539421119.612 * * [misc]simplify: iters left: 2 (51 enodes) 1539421119.621 * * [misc]simplify: iters left: 1 (77 enodes) 1539421119.636 * [exit]simplify: Simplified to (sqrt (+ (+ 1 (/ 1 x)) (sqrt (/ 1 x)))) 1539421119.636 * [misc]simplify: Simplified (2 1 1 1 2) to (λ (x) (- (+ (log (/ (* (sqrt (+ (sqrt (/ 1 x)) 1)) (sqrt (- (pow (sqrt (/ 1 x)) 3) (pow 1 3)))) (sqrt (+ (+ 1 (/ 1 x)) (sqrt (/ 1 x)))))) (log (sqrt (- (/ 1 x) 1)))))) 1539421119.636 * * * * [misc]progress: [ 32 / 90 ] simplifiying candidate # 1539421119.636 * [enter]simplify: Simplifying (sqrt (+ (sqrt (/ 1 x)) 1)) 1539421119.636 * * [misc]simplify: iters left: 6 (6 enodes) 1539421119.639 * * [misc]simplify: iters left: 5 (9 enodes) 1539421119.641 * [exit]simplify: Simplified to (sqrt (+ (sqrt (/ 1 x)) 1)) 1539421119.641 * [misc]simplify: Simplified (2 1 1 1 2) to (λ (x) (- (+ (log (/ (* (sqrt (+ (sqrt (/ 1 x)) 1)) (sqrt (- (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (* 1 1)))) (sqrt (+ (sqrt (/ 1 x)) 1)))) (log (sqrt (- (/ 1 x) 1)))))) 1539421119.641 * * * * [misc]progress: [ 33 / 90 ] simplifiying candidate # 1539421119.641 * [enter]simplify: Simplifying (* (sqrt (+ (pow (sqrt (/ 1 x)) 3) (pow 1 3))) (sqrt (- (sqrt (/ 1 x)) 1))) 1539421119.641 * * [misc]simplify: iters left: 6 (12 enodes) 1539421119.646 * * [misc]simplify: iters left: 5 (24 enodes) 1539421119.651 * * [misc]simplify: iters left: 4 (25 enodes) 1539421119.656 * * [misc]simplify: iters left: 3 (30 enodes) 1539421119.663 * * [misc]simplify: iters left: 2 (34 enodes) 1539421119.671 * * [misc]simplify: iters left: 1 (39 enodes) 1539421119.682 * [exit]simplify: Simplified to (* (sqrt (+ (* (/ 1 x) (sqrt (/ 1 x))) 1)) (sqrt (- (sqrt (/ 1 x)) 1))) 1539421119.682 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (/ (* (sqrt (+ (* (/ 1 x) (sqrt (/ 1 x))) 1)) (sqrt (- (sqrt (/ 1 x)) 1))) (sqrt (+ (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (- (* 1 1) (* (sqrt (/ 1 x)) 1)))))) (log (sqrt (- (/ 1 x) 1)))))) 1539421119.682 * * * * [misc]progress: [ 34 / 90 ] simplifiying candidate # 1539421119.682 * [enter]simplify: Simplifying (* (sqrt (- (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) (* 1 1))) (sqrt (- (sqrt (/ 1 x)) 1))) 1539421119.682 * * [misc]simplify: iters left: 6 (11 enodes) 1539421119.687 * * [misc]simplify: iters left: 5 (18 enodes) 1539421119.691 * * [misc]simplify: iters left: 4 (22 enodes) 1539421119.696 * * [misc]simplify: iters left: 3 (34 enodes) 1539421119.710 * * [misc]simplify: iters left: 2 (60 enodes) 1539421119.726 * * [misc]simplify: iters left: 1 (66 enodes) 1539421119.743 * [exit]simplify: Simplified to (* (sqrt (- (sqrt (/ 1 x)) 1)) (sqrt (- (/ 1 x) 1))) 1539421119.743 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (/ (* (sqrt (- (sqrt (/ 1 x)) 1)) (sqrt (- (/ 1 x) 1))) (sqrt (- (sqrt (/ 1 x)) 1)))) (log (sqrt (- (/ 1 x) 1)))))) 1539421119.743 * * * * [misc]progress: [ 35 / 90 ] simplifiying candidate # 1539421119.743 * * * * [misc]progress: [ 36 / 90 ] simplifiying candidate # 1539421119.743 * * * * [misc]progress: [ 37 / 90 ] simplifiying candidate # 1539421119.743 * * * * [misc]progress: [ 38 / 90 ] simplifiying candidate # 1539421119.743 * * * * [misc]progress: [ 39 / 90 ] simplifiying candidate # 1539421119.743 * * * * [misc]progress: [ 40 / 90 ] simplifiying candidate # 1539421119.743 * * * * [misc]progress: [ 41 / 90 ] simplifiying candidate # 1539421119.744 * * * * [misc]progress: [ 42 / 90 ] simplifiying candidate # 1539421119.744 * [enter]simplify: Simplifying (sqrt (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))) 1539421119.744 * * [misc]simplify: iters left: 6 (7 enodes) 1539421119.745 * * [misc]simplify: iters left: 5 (13 enodes) 1539421119.747 * * [misc]simplify: iters left: 4 (14 enodes) 1539421119.748 * [exit]simplify: Simplified to (fabs (cbrt (- (/ 1 x) 1))) 1539421119.748 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (* (sqrt (+ (sqrt (/ 1 x)) 1)) (sqrt (- (sqrt (/ 1 x)) 1)))) (log (* (fabs (cbrt (- (/ 1 x) 1))) (sqrt (cbrt (- (/ 1 x) 1)))))))) 1539421119.748 * * * * [misc]progress: [ 43 / 90 ] simplifiying candidate # 1539421119.748 * [enter]simplify: Simplifying (sqrt (sqrt (- (/ 1 x) 1))) 1539421119.748 * * [misc]simplify: iters left: 6 (6 enodes) 1539421119.750 * * [misc]simplify: iters left: 5 (11 enodes) 1539421119.751 * * [misc]simplify: iters left: 4 (12 enodes) 1539421119.752 * [exit]simplify: Simplified to (sqrt (sqrt (- (/ 1 x) 1))) 1539421119.752 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (* (sqrt (+ (sqrt (/ 1 x)) 1)) (sqrt (- (sqrt (/ 1 x)) 1)))) (log (* (sqrt (sqrt (- (/ 1 x) 1))) (sqrt (sqrt (- (/ 1 x) 1)))))))) 1539421119.752 * * * * [misc]progress: [ 44 / 90 ] simplifiying candidate # 1539421119.752 * [enter]simplify: Simplifying (sqrt 1) 1539421119.752 * * [misc]simplify: iters left: 1 (2 enodes) 1539421119.753 * [exit]simplify: Simplified to 1 1539421119.753 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (* (sqrt (+ (sqrt (/ 1 x)) 1)) (sqrt (- (sqrt (/ 1 x)) 1)))) (log (* 1 (sqrt (- (/ 1 x) 1))))))) 1539421119.753 * * * * [misc]progress: [ 45 / 90 ] simplifiying candidate # 1539421119.753 * [enter]simplify: Simplifying (sqrt (+ (sqrt (/ 1 x)) 1)) 1539421119.753 * * [misc]simplify: iters left: 6 (6 enodes) 1539421119.754 * * [misc]simplify: iters left: 5 (9 enodes) 1539421119.755 * [exit]simplify: Simplified to (sqrt (+ (sqrt (/ 1 x)) 1)) 1539421119.755 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (* (sqrt (+ (sqrt (/ 1 x)) 1)) (sqrt (- (sqrt (/ 1 x)) 1)))) (log (* (sqrt (+ (sqrt (/ 1 x)) 1)) (sqrt (- (sqrt (/ 1 x)) 1))))))) 1539421119.755 * * * * [misc]progress: [ 46 / 90 ] simplifiying candidate # 1539421119.755 * [enter]simplify: Simplifying (sqrt (- (pow (/ 1 x) 3) (pow 1 3))) 1539421119.755 * * [misc]simplify: iters left: 6 (8 enodes) 1539421119.757 * * [misc]simplify: iters left: 5 (20 enodes) 1539421119.759 * * [misc]simplify: iters left: 4 (32 enodes) 1539421119.764 * * [misc]simplify: iters left: 3 (41 enodes) 1539421119.771 * * [misc]simplify: iters left: 2 (49 enodes) 1539421119.782 * * [misc]simplify: iters left: 1 (56 enodes) 1539421119.797 * [exit]simplify: Simplified to (sqrt (- (/ (/ 1 x) (* x x)) 1)) 1539421119.797 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (* (sqrt (+ (sqrt (/ 1 x)) 1)) (sqrt (- (sqrt (/ 1 x)) 1)))) (log (/ (sqrt (- (/ (/ 1 x) (* x x)) 1)) (sqrt (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1))))))))) 1539421119.797 * * * * [misc]progress: [ 47 / 90 ] simplifiying candidate # 1539421119.797 * [enter]simplify: Simplifying (sqrt (- (* (/ 1 x) (/ 1 x)) (* 1 1))) 1539421119.797 * * [misc]simplify: iters left: 6 (7 enodes) 1539421119.802 * * [misc]simplify: iters left: 5 (16 enodes) 1539421119.806 * * [misc]simplify: iters left: 4 (17 enodes) 1539421119.810 * * [misc]simplify: iters left: 3 (24 enodes) 1539421119.816 * * [misc]simplify: iters left: 2 (32 enodes) 1539421119.826 * * [misc]simplify: iters left: 1 (51 enodes) 1539421119.848 * [exit]simplify: Simplified to (sqrt (- (* (/ 1 x) (/ 1 x)) 1)) 1539421119.848 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (* (sqrt (+ (sqrt (/ 1 x)) 1)) (sqrt (- (sqrt (/ 1 x)) 1)))) (log (/ (sqrt (- (* (/ 1 x) (/ 1 x)) 1)) (sqrt (+ (/ 1 x) 1))))))) 1539421119.849 * * * * [misc]progress: [ 48 / 90 ] simplifiying candidate # 1539421119.849 * * * * [misc]progress: [ 49 / 90 ] simplifiying candidate # 1539421119.849 * [enter]simplify: Simplifying (sqrt (- (/ 1 x) 1)) 1539421119.849 * * [misc]simplify: iters left: 5 (5 enodes) 1539421119.851 * * [misc]simplify: iters left: 4 (10 enodes) 1539421119.854 * * [misc]simplify: iters left: 3 (11 enodes) 1539421119.856 * [exit]simplify: Simplified to (sqrt (- (/ 1 x) 1)) 1539421119.856 * [misc]simplify: Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (* (sqrt (+ (sqrt (/ 1 x)) 1)) (sqrt (- (sqrt (/ 1 x)) 1)))) (log (fabs (sqrt (- (/ 1 x) 1))))))) 1539421119.856 * * * * [misc]progress: [ 50 / 90 ] simplifiying candidate # 1539421119.856 * * * * [misc]progress: [ 51 / 90 ] simplifiying candidate # 1539421119.856 * * * * [misc]progress: [ 52 / 90 ] simplifiying candidate # 1539421119.856 * * * * [misc]progress: [ 53 / 90 ] simplifiying candidate # 1539421119.856 * * * * [misc]progress: [ 54 / 90 ] simplifiying candidate # 1539421119.856 * * * * [misc]progress: [ 55 / 90 ] simplifiying candidate # 1539421119.856 * * * * [misc]progress: [ 56 / 90 ] simplifiying candidate # 1539421119.857 * * * * [misc]progress: [ 57 / 90 ] simplifiying candidate # 1539421119.857 * [enter]simplify: Simplifying (sqrt (* (cbrt (/ 1 x)) (cbrt (/ 1 x)))) 1539421119.857 * * [misc]simplify: iters left: 6 (6 enodes) 1539421119.859 * * [misc]simplify: iters left: 5 (9 enodes) 1539421119.861 * [exit]simplify: Simplified to (fabs (cbrt (/ 1 x))) 1539421119.861 * [misc]simplify: Simplified (2 1 1 1 2 1 1 1) to (λ (x) (- (+ (log (* (sqrt (+ (sqrt (/ 1 x)) 1)) (sqrt (- (* (fabs (cbrt (/ 1 x))) (sqrt (cbrt (/ 1 x)))) 1)))) (log (sqrt (- (/ 1 x) 1)))))) 1539421119.861 * * * * [misc]progress: [ 58 / 90 ] simplifiying candidate # 1539421119.861 * [enter]simplify: Simplifying (sqrt (sqrt (/ 1 x))) 1539421119.861 * * [misc]simplify: iters left: 4 (5 enodes) 1539421119.863 * * [misc]simplify: iters left: 3 (7 enodes) 1539421119.865 * [exit]simplify: Simplified to (sqrt (sqrt (/ 1 x))) 1539421119.865 * [misc]simplify: Simplified (2 1 1 1 2 1 1 1) to (λ (x) (- (+ (log (* (sqrt (+ (sqrt (/ 1 x)) 1)) (sqrt (- (* (sqrt (sqrt (/ 1 x))) (sqrt (sqrt (/ 1 x)))) 1)))) (log (sqrt (- (/ 1 x) 1)))))) 1539421119.865 * * * * [misc]progress: [ 59 / 90 ] simplifiying candidate # 1539421119.865 * [enter]simplify: Simplifying (sqrt 1) 1539421119.865 * * [misc]simplify: iters left: 1 (2 enodes) 1539421119.866 * [exit]simplify: Simplified to 1 1539421119.866 * [misc]simplify: Simplified (2 1 1 1 2 1 1 1) to (λ (x) (- (+ (log (* (sqrt (+ (sqrt (/ 1 x)) 1)) (sqrt (- (* 1 (sqrt (/ 1 x))) 1)))) (log (sqrt (- (/ 1 x) 1)))))) 1539421119.866 * * * * [misc]progress: [ 60 / 90 ] simplifiying candidate # 1539421119.867 * [enter]simplify: Simplifying (sqrt 1) 1539421119.867 * * [misc]simplify: iters left: 1 (2 enodes) 1539421119.868 * [exit]simplify: Simplified to 1 1539421119.868 * [misc]simplify: Simplified (2 1 1 1 2 1 1 1) to (λ (x) (- (+ (log (* (sqrt (+ (sqrt (/ 1 x)) 1)) (sqrt (- (* 1 (sqrt (/ 1 x))) 1)))) (log (sqrt (- (/ 1 x) 1)))))) 1539421119.868 * * * * [misc]progress: [ 61 / 90 ] simplifiying candidate # 1539421119.868 * [enter]simplify: Simplifying (sqrt 1) 1539421119.868 * * [misc]simplify: iters left: 1 (2 enodes) 1539421119.869 * [exit]simplify: Simplified to 1 1539421119.869 * [misc]simplify: Simplified (2 1 1 1 2 1 1 1) to (λ (x) (- (+ (log (* (sqrt (+ (sqrt (/ 1 x)) 1)) (sqrt (- (/ 1 (sqrt x)) 1)))) (log (sqrt (- (/ 1 x) 1)))))) 1539421119.869 * * * * [misc]progress: [ 62 / 90 ] simplifiying candidate # 1539421119.869 * * * * [misc]progress: [ 63 / 90 ] simplifiying candidate # 1539421119.870 * [enter]simplify: Simplifying (sqrt (/ 1 x)) 1539421119.870 * * [misc]simplify: iters left: 3 (4 enodes) 1539421119.871 * * [misc]simplify: iters left: 2 (6 enodes) 1539421119.872 * [exit]simplify: Simplified to (sqrt (/ 1 x)) 1539421119.872 * [misc]simplify: Simplified (2 1 1 1 2 1 1 1) to (λ (x) (- (+ (log (* (sqrt (+ (sqrt (/ 1 x)) 1)) (sqrt (- (fabs (sqrt (/ 1 x))) 1)))) (log (sqrt (- (/ 1 x) 1)))))) 1539421119.872 * * * * [misc]progress: [ 64 / 90 ] simplifiying candidate # 1539421119.872 * * * * [misc]progress: [ 65 / 90 ] simplifiying candidate # 1539421119.872 * * * * [misc]progress: [ 66 / 90 ] simplifiying candidate # 1539421119.873 * * * * [misc]progress: [ 67 / 90 ] simplifiying candidate # 1539421119.873 * * * * [misc]progress: [ 68 / 90 ] simplifiying candidate # 1539421119.873 * * * * [misc]progress: [ 69 / 90 ] simplifiying candidate # 1539421119.873 * * * * [misc]progress: [ 70 / 90 ] simplifiying candidate # 1539421119.873 * * * * [misc]progress: [ 71 / 90 ] simplifiying candidate # 1539421119.873 * [enter]simplify: Simplifying (sqrt (* (cbrt (/ 1 x)) (cbrt (/ 1 x)))) 1539421119.873 * * [misc]simplify: iters left: 6 (6 enodes) 1539421119.875 * * [misc]simplify: iters left: 5 (9 enodes) 1539421119.877 * [exit]simplify: Simplified to (fabs (cbrt (/ 1 x))) 1539421119.877 * [misc]simplify: Simplified (2 1 1 1 1 1 1 1) to (λ (x) (- (+ (log (* (sqrt (+ (* (fabs (cbrt (/ 1 x))) (sqrt (cbrt (/ 1 x)))) 1)) (sqrt (- (sqrt (/ 1 x)) 1)))) (log (sqrt (- (/ 1 x) 1)))))) 1539421119.877 * * * * [misc]progress: [ 72 / 90 ] simplifiying candidate # 1539421119.878 * [enter]simplify: Simplifying (sqrt (sqrt (/ 1 x))) 1539421119.878 * * [misc]simplify: iters left: 4 (5 enodes) 1539421119.879 * * [misc]simplify: iters left: 3 (7 enodes) 1539421119.881 * [exit]simplify: Simplified to (sqrt (sqrt (/ 1 x))) 1539421119.881 * [misc]simplify: Simplified (2 1 1 1 1 1 1 1) to (λ (x) (- (+ (log (* (sqrt (+ (* (sqrt (sqrt (/ 1 x))) (sqrt (sqrt (/ 1 x)))) 1)) (sqrt (- (sqrt (/ 1 x)) 1)))) (log (sqrt (- (/ 1 x) 1)))))) 1539421119.881 * * * * [misc]progress: [ 73 / 90 ] simplifiying candidate # 1539421119.881 * [enter]simplify: Simplifying (sqrt 1) 1539421119.881 * * [misc]simplify: iters left: 1 (2 enodes) 1539421119.883 * [exit]simplify: Simplified to 1 1539421119.883 * [misc]simplify: Simplified (2 1 1 1 1 1 1 1) to (λ (x) (- (+ (log (* (sqrt (+ (* 1 (sqrt (/ 1 x))) 1)) (sqrt (- (sqrt (/ 1 x)) 1)))) (log (sqrt (- (/ 1 x) 1)))))) 1539421119.883 * * * * [misc]progress: [ 74 / 90 ] simplifiying candidate # 1539421119.883 * [enter]simplify: Simplifying (sqrt 1) 1539421119.883 * * [misc]simplify: iters left: 1 (2 enodes) 1539421119.884 * [exit]simplify: Simplified to 1 1539421119.884 * [misc]simplify: Simplified (2 1 1 1 1 1 1 1) to (λ (x) (- (+ (log (* (sqrt (+ (* 1 (sqrt (/ 1 x))) 1)) (sqrt (- (sqrt (/ 1 x)) 1)))) (log (sqrt (- (/ 1 x) 1)))))) 1539421119.884 * * * * [misc]progress: [ 75 / 90 ] simplifiying candidate # 1539421119.885 * [enter]simplify: Simplifying (sqrt 1) 1539421119.885 * * [misc]simplify: iters left: 1 (2 enodes) 1539421119.886 * [exit]simplify: Simplified to 1 1539421119.886 * [misc]simplify: Simplified (2 1 1 1 1 1 1 1) to (λ (x) (- (+ (log (* (sqrt (+ (/ 1 (sqrt x)) 1)) (sqrt (- (sqrt (/ 1 x)) 1)))) (log (sqrt (- (/ 1 x) 1)))))) 1539421119.886 * * * * [misc]progress: [ 76 / 90 ] simplifiying candidate # 1539421119.886 * * * * [misc]progress: [ 77 / 90 ] simplifiying candidate # 1539421119.886 * [enter]simplify: Simplifying (sqrt (/ 1 x)) 1539421119.886 * * [misc]simplify: iters left: 3 (4 enodes) 1539421119.887 * * [misc]simplify: iters left: 2 (6 enodes) 1539421119.889 * [exit]simplify: Simplified to (sqrt (/ 1 x)) 1539421119.889 * [misc]simplify: Simplified (2 1 1 1 1 1 1 1) to (λ (x) (- (+ (log (* (sqrt (+ (fabs (sqrt (/ 1 x))) 1)) (sqrt (- (sqrt (/ 1 x)) 1)))) (log (sqrt (- (/ 1 x) 1)))))) 1539421119.889 * * * * [misc]progress: [ 78 / 90 ] simplifiying candidate # 1539421119.889 * * * * [misc]progress: [ 79 / 90 ] simplifiying candidate # 1539421119.890 * [enter]simplify: Simplifying (- (sqrt +nan.0) (+ (* +nan.0 (/ x (sqrt +nan.0))) (- (+ (* +nan.0 (/ (pow x 2) (sqrt +nan.0))) (- (* +nan.0 (/ (pow x 2) (pow (sqrt +nan.0) 3)))))))) 1539421119.890 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (+ (log +nan.0) (log (sqrt (- (/ 1 x) 1)))))) 1539421119.890 * * * * [misc]progress: [ 80 / 90 ] simplifiying candidate # 1539421119.890 * [enter]simplify: Simplifying (- (sqrt -1) (+ (* +nan.0 (/ 1 (* (pow x 2) (sqrt -1)))) (- (+ (* +nan.0 (/ 1 (* (pow x 2) (pow (sqrt -1) 3)))) (- (* +nan.0 (/ 1 (* x (sqrt -1))))))))) 1539421119.890 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (+ (log +nan.0) (log (sqrt (- (/ 1 x) 1)))))) 1539421119.890 * * * * [misc]progress: [ 81 / 90 ] simplifiying candidate # 1539421119.890 * [enter]simplify: Simplifying (- (sqrt -1) (+ (* +nan.0 (/ 1 (* (pow x 2) (sqrt -1)))) (- (+ (* +nan.0 (/ 1 (* (pow x 2) (pow (sqrt -1) 3)))) (- (* +nan.0 (/ 1 (* x (sqrt -1))))))))) 1539421119.890 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (- (+ (log +nan.0) (log (sqrt (- (/ 1 x) 1)))))) 1539421119.890 * * * * [misc]progress: [ 82 / 90 ] simplifiying candidate # 1539421119.891 * [enter]simplify: Simplifying (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0))))) 1539421119.891 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (- (+ (log (* (sqrt (+ (sqrt (/ 1 x)) 1)) (sqrt (- (sqrt (/ 1 x)) 1)))) (log +nan.0)))) 1539421119.891 * * * * [misc]progress: [ 83 / 90 ] simplifiying candidate # 1539421119.891 * [enter]simplify: Simplifying (- (+ (* 1/2 (/ 1 (* x (sqrt -1)))) (sqrt -1)) (* 1/8 (/ 1 (* (pow x 2) (pow (sqrt -1) 3))))) 1539421119.891 * * [misc]simplify: iters left: 6 (18 enodes) 1539421119.899 * * [misc]simplify: iters left: 5 (41 enodes) 1539421119.915 * * [misc]simplify: iters left: 4 (85 enodes) 1539421119.949 * * [misc]simplify: iters left: 3 (151 enodes) 1539421119.996 * * [misc]simplify: iters left: 2 (240 enodes) 1539421120.110 * [exit]simplify: Simplified to (+ (/ 1/8 (* (* x x) (sqrt -1))) (+ (/ (/ 1/2 x) (sqrt -1)) (sqrt -1))) 1539421120.110 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (- (+ (log (* (sqrt (+ (sqrt (/ 1 x)) 1)) (sqrt (- (sqrt (/ 1 x)) 1)))) (log (+ (/ 1/8 (* (* x x) (sqrt -1))) (+ (/ (/ 1/2 x) (sqrt -1)) (sqrt -1))))))) 1539421120.110 * * * * [misc]progress: [ 84 / 90 ] simplifiying candidate # 1539421120.110 * [enter]simplify: Simplifying (- (+ (* 1/2 (/ 1 (* x (sqrt -1)))) (sqrt -1)) (* 1/8 (/ 1 (* (pow x 2) (pow (sqrt -1) 3))))) 1539421120.110 * * [misc]simplify: iters left: 6 (18 enodes) 1539421120.114 * * [misc]simplify: iters left: 5 (41 enodes) 1539421120.127 * * [misc]simplify: iters left: 4 (85 enodes) 1539421120.150 * * [misc]simplify: iters left: 3 (151 enodes) 1539421120.175 * * [misc]simplify: iters left: 2 (240 enodes) 1539421120.331 * [exit]simplify: Simplified to (+ (/ 1/8 (* (* x x) (sqrt -1))) (+ (/ (/ 1/2 x) (sqrt -1)) (sqrt -1))) 1539421120.331 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (- (+ (log (* (sqrt (+ (sqrt (/ 1 x)) 1)) (sqrt (- (sqrt (/ 1 x)) 1)))) (log (+ (/ 1/8 (* (* x x) (sqrt -1))) (+ (/ (/ 1/2 x) (sqrt -1)) (sqrt -1))))))) 1539421120.331 * * * * [misc]progress: [ 85 / 90 ] simplifiying candidate # 1539421120.331 * [enter]simplify: Simplifying (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0))))) 1539421120.331 * [misc]simplify: Simplified (2 1 1 1 2 1 1) to (λ (x) (- (+ (log (* (sqrt (+ (sqrt (/ 1 x)) 1)) (sqrt (- +nan.0 1)))) (log (sqrt (- (/ 1 x) 1)))))) 1539421120.331 * * * * [misc]progress: [ 86 / 90 ] simplifiying candidate # 1539421120.332 * [enter]simplify: Simplifying (- (+ (* +nan.0 (/ 1 (pow x 3))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x))))))) 1539421120.332 * [misc]simplify: Simplified (2 1 1 1 2 1 1) to (λ (x) (- (+ (log (* (sqrt (+ (sqrt (/ 1 x)) 1)) (sqrt (- +nan.0 1)))) (log (sqrt (- (/ 1 x) 1)))))) 1539421120.332 * * * * [misc]progress: [ 87 / 90 ] simplifiying candidate # 1539421120.332 * [enter]simplify: Simplifying (- (+ (* +nan.0 (/ 1 (pow x 3))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x))))))) 1539421120.332 * [misc]simplify: Simplified (2 1 1 1 2 1 1) to (λ (x) (- (+ (log (* (sqrt (+ (sqrt (/ 1 x)) 1)) (sqrt (- +nan.0 1)))) (log (sqrt (- (/ 1 x) 1)))))) 1539421120.332 * * * * [misc]progress: [ 88 / 90 ] simplifiying candidate # 1539421120.332 * [enter]simplify: Simplifying (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0))))) 1539421120.332 * [misc]simplify: Simplified (2 1 1 1 1 1 1) to (λ (x) (- (+ (log (* (sqrt (+ +nan.0 1)) (sqrt (- (sqrt (/ 1 x)) 1)))) (log (sqrt (- (/ 1 x) 1)))))) 1539421120.332 * * * * [misc]progress: [ 89 / 90 ] simplifiying candidate # 1539421120.333 * [enter]simplify: Simplifying (- (+ (* +nan.0 (/ 1 (pow x 3))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x))))))) 1539421120.333 * [misc]simplify: Simplified (2 1 1 1 1 1 1) to (λ (x) (- (+ (log (* (sqrt (+ +nan.0 1)) (sqrt (- (sqrt (/ 1 x)) 1)))) (log (sqrt (- (/ 1 x) 1)))))) 1539421120.333 * * * * [misc]progress: [ 90 / 90 ] simplifiying candidate # 1539421120.333 * [enter]simplify: Simplifying (- (+ (* +nan.0 (/ 1 (pow x 3))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x))))))) 1539421120.333 * [misc]simplify: Simplified (2 1 1 1 1 1 1) to (λ (x) (- (+ (log (* (sqrt (+ +nan.0 1)) (sqrt (- (sqrt (/ 1 x)) 1)))) (log (sqrt (- (/ 1 x) 1)))))) 1539421120.333 * * * [misc]progress: adding candidates to table 1539421121.492 * [misc]progress: [Phase 3 of 3] Extracting. 1539421121.492 * * [misc]regime: Finding splitpoints for: (# #) 1539421121.493 * * * [misc]regime-changes: Trying 5 branch expressions: (x (/ 1 x) (- (/ 1 x) 1) (log (- (/ 1 x) 1)) (- (log (- (/ 1 x) 1)))) 1539421121.494 * * * * [misc]regimes: Trying to branch on x from (# #) 1539421121.515 * * * * [misc]regimes: Trying to branch on (/ 1 x) from (# #) 1539421121.552 * * * * [misc]regimes: Trying to branch on (- (/ 1 x) 1) from (# #) 1539421121.591 * * * * [misc]regimes: Trying to branch on (log (- (/ 1 x) 1)) from (# #) 1539421121.636 * * * * [misc]regimes: Trying to branch on (- (log (- (/ 1 x) 1))) from (# #) 1539421121.663 * * * [misc]regime: Found split indices: #