1537438560.503 * [misc]progress: [Phase 1 of 3] Setting up. 1537438560.503 * * * [misc]progress: [1/2] Preparing points 1537438560.503 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1537438560.504 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1537438560.506 * * * * [misc]points: Setting MPFR precision to 64 1537438560.506 * * * * [misc]points: Setting MPFR precision to 320 1537438560.507 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1537438560.509 * * * * [misc]points: Setting MPFR precision to 64 1537438560.510 * * * * [misc]points: Setting MPFR precision to 320 1537438560.511 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1537438560.512 * * * * [misc]points: Setting MPFR precision to 64 1537438560.516 * * * * [misc]points: Setting MPFR precision to 320 1537438560.518 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1537438560.520 * * * * [misc]points: Setting MPFR precision to 64 1537438560.522 * * * * [misc]points: Setting MPFR precision to 320 1537438560.525 * * * * [misc]points: Computing exacts for 256 points 1537438560.527 * * * * [misc]points: Setting MPFR precision to 64 1537438560.535 * * * * [misc]points: Setting MPFR precision to 320 1537438560.543 * * * * [misc]points: Filtering points with unrepresentable outputs 1537438560.543 * * * * [misc]points: Sampling 198 additional inputs, on iter 1 have 58 / 256 1537438560.543 * * * * [misc]points: Computing exacts on every 12 of 198 points to ramp up precision 1537438560.545 * * * * [misc]points: Setting MPFR precision to 64 1537438560.546 * * * * [misc]points: Setting MPFR precision to 320 1537438560.546 * * * * [misc]points: Computing exacts on every 6 of 198 points to ramp up precision 1537438560.548 * * * * [misc]points: Setting MPFR precision to 64 1537438560.549 * * * * [misc]points: Setting MPFR precision to 320 1537438560.550 * * * * [misc]points: Computing exacts on every 3 of 198 points to ramp up precision 1537438560.551 * * * * [misc]points: Setting MPFR precision to 64 1537438560.553 * * * * [misc]points: Setting MPFR precision to 320 1537438560.555 * * * * [misc]points: Computing exacts for 198 points 1537438560.557 * * * * [misc]points: Setting MPFR precision to 64 1537438560.563 * * * * [misc]points: Setting MPFR precision to 320 1537438560.569 * * * * [misc]points: Filtering points with unrepresentable outputs 1537438560.569 * * * * [misc]points: Sampling 143 additional inputs, on iter 2 have 113 / 256 1537438560.569 * * * * [misc]points: Computing exacts on every 8 of 143 points to ramp up precision 1537438560.571 * * * * [misc]points: Setting MPFR precision to 64 1537438560.572 * * * * [misc]points: Setting MPFR precision to 320 1537438560.572 * * * * [misc]points: Computing exacts on every 4 of 143 points to ramp up precision 1537438560.574 * * * * [misc]points: Setting MPFR precision to 64 1537438560.575 * * * * [misc]points: Setting MPFR precision to 320 1537438560.576 * * * * [misc]points: Computing exacts on every 2 of 143 points to ramp up precision 1537438560.578 * * * * [misc]points: Setting MPFR precision to 64 1537438560.579 * * * * [misc]points: Setting MPFR precision to 320 1537438560.581 * * * * [misc]points: Computing exacts for 143 points 1537438560.582 * * * * [misc]points: Setting MPFR precision to 64 1537438560.587 * * * * [misc]points: Setting MPFR precision to 320 1537438560.591 * * * * [misc]points: Filtering points with unrepresentable outputs 1537438560.591 * * * * [misc]points: Sampling 106 additional inputs, on iter 3 have 150 / 256 1537438560.592 * * * * [misc]points: Computing exacts on every 6 of 106 points to ramp up precision 1537438560.594 * * * * [misc]points: Setting MPFR precision to 64 1537438560.594 * * * * [misc]points: Setting MPFR precision to 320 1537438560.595 * * * * [misc]points: Computing exacts on every 3 of 106 points to ramp up precision 1537438560.596 * * * * [misc]points: Setting MPFR precision to 64 1537438560.597 * * * * [misc]points: Setting MPFR precision to 320 1537438560.598 * * * * [misc]points: Computing exacts for 106 points 1537438560.600 * * * * [misc]points: Setting MPFR precision to 64 1537438560.603 * * * * [misc]points: Setting MPFR precision to 320 1537438560.607 * * * * [misc]points: Filtering points with unrepresentable outputs 1537438560.607 * * * * [misc]points: Sampling 64 additional inputs, on iter 4 have 192 / 256 1537438560.607 * * * * [misc]points: Computing exacts on every 4 of 64 points to ramp up precision 1537438560.609 * * * * [misc]points: Setting MPFR precision to 64 1537438560.609 * * * * [misc]points: Setting MPFR precision to 320 1537438560.610 * * * * [misc]points: Computing exacts on every 2 of 64 points to ramp up precision 1537438560.631 * * * * [misc]points: Setting MPFR precision to 64 1537438560.632 * * * * [misc]points: Setting MPFR precision to 320 1537438560.633 * * * * [misc]points: Computing exacts for 64 points 1537438560.634 * * * * [misc]points: Setting MPFR precision to 64 1537438560.636 * * * * [misc]points: Setting MPFR precision to 320 1537438560.638 * * * * [misc]points: Filtering points with unrepresentable outputs 1537438560.638 * * * * [misc]points: Sampling 48 additional inputs, on iter 5 have 208 / 256 1537438560.638 * * * * [misc]points: Computing exacts on every 3 of 48 points to ramp up precision 1537438560.640 * * * * [misc]points: Setting MPFR precision to 64 1537438560.641 * * * * [misc]points: Setting MPFR precision to 320 1537438560.641 * * * * [misc]points: Computing exacts for 48 points 1537438560.643 * * * * [misc]points: Setting MPFR precision to 64 1537438560.645 * * * * [misc]points: Setting MPFR precision to 320 1537438560.647 * * * * [misc]points: Filtering points with unrepresentable outputs 1537438560.647 * * * * [misc]points: Sampling 29 additional inputs, on iter 6 have 227 / 256 1537438560.647 * * * * [misc]points: Computing exacts for 29 points 1537438560.649 * * * * [misc]points: Setting MPFR precision to 64 1537438560.650 * * * * [misc]points: Setting MPFR precision to 320 1537438560.651 * * * * [misc]points: Filtering points with unrepresentable outputs 1537438560.651 * * * * [misc]points: Sampling 22 additional inputs, on iter 7 have 234 / 256 1537438560.651 * * * * [misc]points: Computing exacts for 22 points 1537438560.653 * * * * [misc]points: Setting MPFR precision to 64 1537438560.654 * * * * [misc]points: Setting MPFR precision to 320 1537438560.655 * * * * [misc]points: Filtering points with unrepresentable outputs 1537438560.655 * * * * [misc]points: Sampling 15 additional inputs, on iter 8 have 241 / 256 1537438560.655 * * * * [misc]points: Computing exacts for 15 points 1537438560.656 * * * * [misc]points: Setting MPFR precision to 64 1537438560.657 * * * * [misc]points: Setting MPFR precision to 320 1537438560.657 * * * * [misc]points: Filtering points with unrepresentable outputs 1537438560.657 * * * * [misc]points: Sampling 11 additional inputs, on iter 9 have 245 / 256 1537438560.658 * * * * [misc]points: Computing exacts for 11 points 1537438560.659 * * * * [misc]points: Setting MPFR precision to 64 1537438560.660 * * * * [misc]points: Setting MPFR precision to 320 1537438560.660 * * * * [misc]points: Filtering points with unrepresentable outputs 1537438560.660 * * * * [misc]points: Sampling 7 additional inputs, on iter 10 have 249 / 256 1537438560.660 * * * * [misc]points: Computing exacts for 7 points 1537438560.662 * * * * [misc]points: Setting MPFR precision to 64 1537438560.663 * * * * [misc]points: Setting MPFR precision to 320 1537438560.663 * * * * [misc]points: Filtering points with unrepresentable outputs 1537438560.663 * * * * [misc]points: Sampling 5 additional inputs, on iter 11 have 251 / 256 1537438560.663 * * * * [misc]points: Computing exacts for 5 points 1537438560.665 * * * * [misc]points: Setting MPFR precision to 64 1537438560.665 * * * * [misc]points: Setting MPFR precision to 320 1537438560.665 * * * * [misc]points: Filtering points with unrepresentable outputs 1537438560.665 * * * * [misc]points: Sampling 5 additional inputs, on iter 12 have 251 / 256 1537438560.665 * * * * [misc]points: Computing exacts for 5 points 1537438560.667 * * * * [misc]points: Setting MPFR precision to 64 1537438560.667 * * * * [misc]points: Setting MPFR precision to 320 1537438560.667 * * * * [misc]points: Filtering points with unrepresentable outputs 1537438560.667 * * * * [misc]points: Sampling 5 additional inputs, on iter 13 have 251 / 256 1537438560.667 * * * * [misc]points: Computing exacts for 5 points 1537438560.669 * * * * [misc]points: Setting MPFR precision to 64 1537438560.669 * * * * [misc]points: Setting MPFR precision to 320 1537438560.670 * * * * [misc]points: Filtering points with unrepresentable outputs 1537438560.670 * * * * [misc]points: Sampling 4 additional inputs, on iter 14 have 252 / 256 1537438560.670 * * * * [misc]points: Computing exacts for 4 points 1537438560.671 * * * * [misc]points: Setting MPFR precision to 64 1537438560.672 * * * * [misc]points: Setting MPFR precision to 320 1537438560.672 * * * * [misc]points: Filtering points with unrepresentable outputs 1537438560.672 * * * * [misc]points: Sampling 4 additional inputs, on iter 15 have 252 / 256 1537438560.672 * * * * [misc]points: Computing exacts for 4 points 1537438560.674 * * * * [misc]points: Setting MPFR precision to 64 1537438560.674 * * * * [misc]points: Setting MPFR precision to 320 1537438560.674 * * * * [misc]points: Filtering points with unrepresentable outputs 1537438560.674 * * * * [misc]points: Sampling 4 additional inputs, on iter 16 have 253 / 256 1537438560.674 * * * * [misc]points: Computing exacts for 4 points 1537438560.676 * * * * [misc]points: Setting MPFR precision to 64 1537438560.676 * * * * [misc]points: Setting MPFR precision to 320 1537438560.676 * * * * [misc]points: Filtering points with unrepresentable outputs 1537438560.676 * * * * [misc]points: Sampling 4 additional inputs, on iter 17 have 254 / 256 1537438560.676 * * * * [misc]points: Computing exacts for 4 points 1537438560.678 * * * * [misc]points: Setting MPFR precision to 64 1537438560.678 * * * * [misc]points: Setting MPFR precision to 320 1537438560.678 * * * * [misc]points: Filtering points with unrepresentable outputs 1537438560.678 * * * * [misc]points: Sampling 4 additional inputs, on iter 18 have 255 / 256 1537438560.678 * * * * [misc]points: Computing exacts for 4 points 1537438560.680 * * * * [misc]points: Setting MPFR precision to 64 1537438560.680 * * * * [misc]points: Setting MPFR precision to 320 1537438560.680 * * * * [misc]points: Filtering points with unrepresentable outputs 1537438560.680 * * * * [exit]points: Sampled 256 points with exact outputs 1537438560.681 * * * [misc]progress: [2/2] Setting up program. 1537438560.685 * [misc]progress: [Phase 2 of 3] Improving. 1537438560.685 * [enter]simplify: Simplifying (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) 1537438560.686 * * [misc]simplify: iters left: 6 (9 enodes) 1537438560.688 * * [misc]simplify: iters left: 5 (14 enodes) 1537438560.690 * * [misc]simplify: iters left: 4 (18 enodes) 1537438560.693 * * [misc]simplify: iters left: 3 (20 enodes) 1537438560.696 * [exit]simplify: Simplified to (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) 1537438560.715 * * [misc]progress: iteration 1 / 4 1537438560.715 * * * [misc]progress: picking best candidate 1537438560.719 * * * * [misc]pick: Picked # 1537438560.719 * * * [misc]progress: localizing error 1537438560.742 * * * [misc]progress: generating rewritten candidates 1537438560.742 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1537438560.776 * * * [misc]progress: generating series expansions 1537438560.776 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1537438560.777 * [misc]backup-simplify: Simplify (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) into (log (+ (/ 1 x) (* (/ 1 x) (sqrt (- 1 (pow x 2)))))) 1537438560.777 * [misc]approximate: Taking taylor expansion of (log (+ (/ 1 x) (* (/ 1 x) (sqrt (- 1 (pow x 2)))))) in (x) around 0 1537438560.777 * [misc]taylor: Taking taylor expansion of (log (+ (/ 1 x) (* (/ 1 x) (sqrt (- 1 (pow x 2)))))) in x 1537438560.777 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) (* (/ 1 x) (sqrt (- 1 (pow x 2))))) in x 1537438560.777 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1537438560.777 * [misc]taylor: Taking taylor expansion of x in x 1537438560.777 * [misc]backup-simplify: Simplify 0 into 0 1537438560.777 * [misc]backup-simplify: Simplify 1 into 1 1537438560.777 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1537438560.777 * [misc]taylor: Taking taylor expansion of (* (/ 1 x) (sqrt (- 1 (pow x 2)))) in x 1537438560.777 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1537438560.777 * [misc]taylor: Taking taylor expansion of x in x 1537438560.777 * [misc]backup-simplify: Simplify 0 into 0 1537438560.777 * [misc]backup-simplify: Simplify 1 into 1 1537438560.777 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1537438560.777 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (pow x 2))) in x 1537438560.777 * [misc]taylor: Taking taylor expansion of (- 1 (pow x 2)) in x 1537438560.777 * [misc]taylor: Taking taylor expansion of 1 in x 1537438560.777 * [misc]backup-simplify: Simplify 1 into 1 1537438560.777 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1537438560.777 * [misc]taylor: Taking taylor expansion of x in x 1537438560.778 * [misc]backup-simplify: Simplify 0 into 0 1537438560.778 * [misc]backup-simplify: Simplify 1 into 1 1537438560.778 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1537438560.778 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1537438560.778 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537438560.778 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 1))) into 0 1537438560.778 * [misc]backup-simplify: Simplify (* 1 1) into 1 1537438560.778 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1537438560.778 * [misc]backup-simplify: Simplify (log 2) into (log 2) 1537438560.779 * [misc]taylor: Taking taylor expansion of (log (+ (/ 1 x) (* (/ 1 x) (sqrt (- 1 (pow x 2)))))) in x 1537438560.779 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) (* (/ 1 x) (sqrt (- 1 (pow x 2))))) in x 1537438560.779 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1537438560.779 * [misc]taylor: Taking taylor expansion of x in x 1537438560.779 * [misc]backup-simplify: Simplify 0 into 0 1537438560.779 * [misc]backup-simplify: Simplify 1 into 1 1537438560.779 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1537438560.779 * [misc]taylor: Taking taylor expansion of (* (/ 1 x) (sqrt (- 1 (pow x 2)))) in x 1537438560.779 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1537438560.779 * [misc]taylor: Taking taylor expansion of x in x 1537438560.779 * [misc]backup-simplify: Simplify 0 into 0 1537438560.779 * [misc]backup-simplify: Simplify 1 into 1 1537438560.779 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1537438560.779 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (pow x 2))) in x 1537438560.779 * [misc]taylor: Taking taylor expansion of (- 1 (pow x 2)) in x 1537438560.779 * [misc]taylor: Taking taylor expansion of 1 in x 1537438560.779 * [misc]backup-simplify: Simplify 1 into 1 1537438560.779 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1537438560.779 * [misc]taylor: Taking taylor expansion of x in x 1537438560.779 * [misc]backup-simplify: Simplify 0 into 0 1537438560.779 * [misc]backup-simplify: Simplify 1 into 1 1537438560.779 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1537438560.779 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1537438560.779 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537438560.779 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 1))) into 0 1537438560.780 * [misc]backup-simplify: Simplify (* 1 1) into 1 1537438560.780 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1537438560.780 * [misc]backup-simplify: Simplify (log 2) into (log 2) 1537438560.780 * [misc]backup-simplify: Simplify (+ (* (- 1) (log x)) (log 2)) into (- (log 2) (log x)) 1537438560.780 * [misc]backup-simplify: Simplify (- (log 2) (log x)) into (- (log 2) (log x)) 1537438560.781 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1537438560.781 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1537438560.781 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1537438560.781 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537438560.783 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 2 1)))) 1) into 0 1537438560.783 * [misc]backup-simplify: Simplify 0 into 0 1537438560.784 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1537438560.784 * [misc]backup-simplify: Simplify (* 1 1) into 1 1537438560.784 * [misc]backup-simplify: Simplify (- 1) into -1 1537438560.784 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1537438560.785 * [misc]backup-simplify: Simplify (/ (- -1 (pow 0 2) (+)) (* 2 1)) into -1/2 1537438560.785 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1537438560.785 * [misc]backup-simplify: Simplify (+ (* 1 -1/2) (+ (* 0 0) (* 0 1))) into -1/2 1537438560.785 * [misc]backup-simplify: Simplify (+ 0 -1/2) into -1/2 1537438560.788 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 2 2))) (* 1 (/ (* 1 (pow (* 2 -1/2) 1)) (pow 2 1)))) 2) into -1/4 1537438560.788 * [misc]backup-simplify: Simplify -1/4 into -1/4 1537438560.794 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1537438560.794 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1537438560.794 * [misc]backup-simplify: Simplify (- 0) into 0 1537438560.794 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537438560.794 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 -1/2)))) (* 2 1)) into 0 1537438560.795 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1537438560.795 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 -1/2) (+ (* 0 0) (* 0 1)))) into 0 1537438560.795 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537438560.799 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 2 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 -1/2) 1)) (pow 2 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 2 1)))) 6) into 0 1537438560.799 * [misc]backup-simplify: Simplify 0 into 0 1537438560.800 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1537438560.800 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1537438560.800 * [misc]backup-simplify: Simplify (- 0) into 0 1537438560.800 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537438560.801 * [misc]backup-simplify: Simplify (/ (- 0 (pow -1/2 2) (+ (* 2 (* 0 0)))) (* 2 1)) into -1/8 1537438560.801 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1537438560.801 * [misc]backup-simplify: Simplify (+ (* 1 -1/8) (+ (* 0 0) (+ (* 0 -1/2) (+ (* 0 0) (* 0 1))))) into -1/8 1537438560.802 * [misc]backup-simplify: Simplify (+ 0 -1/8) into -1/8 1537438560.809 * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 2 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 -1/2) 1)) (pow 2 3))) (* -3 (/ (* 1 (pow (* 2 -1/2) 2)) (pow 2 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 2 2))) (* 1 (/ (* 1 1 1 (pow (* 24 -1/8) 1)) (pow 2 1)))) 24) into -3/32 1537438560.809 * [misc]backup-simplify: Simplify -3/32 into -3/32 1537438560.809 * [misc]backup-simplify: Simplify (+ (* -3/32 (pow x 4)) (+ (* -1/4 (pow x 2)) (- (log 2) (log x)))) into (- (log 2) (+ (* 1/4 (pow x 2)) (+ (* 3/32 (pow x 4)) (log x)))) 1537438560.809 * [misc]backup-simplify: Simplify (log (+ (/ 1 (/ 1 x)) (/ (sqrt (- 1 (* (/ 1 x) (/ 1 x)))) (/ 1 x)))) into (log (+ x (* x (sqrt (- 1 (/ 1 (pow x 2))))))) 1537438560.809 * [misc]approximate: Taking taylor expansion of (log (+ x (* x (sqrt (- 1 (/ 1 (pow x 2))))))) in (x) around 0 1537438560.809 * [misc]taylor: Taking taylor expansion of (log (+ x (* x (sqrt (- 1 (/ 1 (pow x 2))))))) in x 1537438560.809 * [misc]taylor: Taking taylor expansion of (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))) in x 1537438560.809 * [misc]taylor: Taking taylor expansion of x in x 1537438560.809 * [misc]backup-simplify: Simplify 0 into 0 1537438560.809 * [misc]backup-simplify: Simplify 1 into 1 1537438560.809 * [misc]taylor: Taking taylor expansion of (* x (sqrt (- 1 (/ 1 (pow x 2))))) in x 1537438560.809 * [misc]taylor: Taking taylor expansion of x in x 1537438560.809 * [misc]backup-simplify: Simplify 0 into 0 1537438560.809 * [misc]backup-simplify: Simplify 1 into 1 1537438560.809 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x 1537438560.809 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x 1537438560.809 * [misc]taylor: Taking taylor expansion of 1 in x 1537438560.809 * [misc]backup-simplify: Simplify 1 into 1 1537438560.809 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1537438560.809 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1537438560.809 * [misc]taylor: Taking taylor expansion of x in x 1537438560.809 * [misc]backup-simplify: Simplify 0 into 0 1537438560.809 * [misc]backup-simplify: Simplify 1 into 1 1537438560.810 * [misc]backup-simplify: Simplify (* 1 1) into 1 1537438560.810 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1537438560.810 * [misc]backup-simplify: Simplify (- 1) into -1 1537438560.810 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1537438560.810 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1537438560.810 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1537438560.810 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1537438560.810 * [misc]backup-simplify: Simplify (- 0) into 0 1537438560.810 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537438560.811 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt -1))) into 0 1537438560.811 * [misc]backup-simplify: Simplify (* 0 (sqrt -1)) into 0 1537438560.811 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537438560.811 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (sqrt -1))) into (sqrt -1) 1537438560.811 * [misc]backup-simplify: Simplify (+ 0 (sqrt -1)) into (sqrt -1) 1537438560.812 * [misc]backup-simplify: Simplify (log (sqrt -1)) into (log (sqrt -1)) 1537438560.812 * [misc]taylor: Taking taylor expansion of (log (+ x (* x (sqrt (- 1 (/ 1 (pow x 2))))))) in x 1537438560.812 * [misc]taylor: Taking taylor expansion of (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))) in x 1537438560.812 * [misc]taylor: Taking taylor expansion of x in x 1537438560.812 * [misc]backup-simplify: Simplify 0 into 0 1537438560.812 * [misc]backup-simplify: Simplify 1 into 1 1537438560.812 * [misc]taylor: Taking taylor expansion of (* x (sqrt (- 1 (/ 1 (pow x 2))))) in x 1537438560.812 * [misc]taylor: Taking taylor expansion of x in x 1537438560.812 * [misc]backup-simplify: Simplify 0 into 0 1537438560.812 * [misc]backup-simplify: Simplify 1 into 1 1537438560.812 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x 1537438560.812 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x 1537438560.812 * [misc]taylor: Taking taylor expansion of 1 in x 1537438560.812 * [misc]backup-simplify: Simplify 1 into 1 1537438560.812 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1537438560.812 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1537438560.812 * [misc]taylor: Taking taylor expansion of x in x 1537438560.812 * [misc]backup-simplify: Simplify 0 into 0 1537438560.812 * [misc]backup-simplify: Simplify 1 into 1 1537438560.812 * [misc]backup-simplify: Simplify (* 1 1) into 1 1537438560.812 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1537438560.812 * [misc]backup-simplify: Simplify (- 1) into -1 1537438560.812 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1537438560.813 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1537438560.813 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1537438560.813 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1537438560.813 * [misc]backup-simplify: Simplify (- 0) into 0 1537438560.813 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537438560.813 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt -1))) into 0 1537438560.813 * [misc]backup-simplify: Simplify (* 0 (sqrt -1)) into 0 1537438560.813 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537438560.814 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (sqrt -1))) into (sqrt -1) 1537438560.814 * [misc]backup-simplify: Simplify (+ 0 (sqrt -1)) into (sqrt -1) 1537438560.814 * [misc]backup-simplify: Simplify (log (sqrt -1)) into (log (sqrt -1)) 1537438560.815 * [misc]backup-simplify: Simplify (log (sqrt -1)) into (log (sqrt -1)) 1537438560.815 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1537438560.815 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1537438560.815 * [misc]backup-simplify: Simplify (- 0) into 0 1537438560.815 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1537438560.816 * [misc]backup-simplify: Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1)) 1537438560.816 * [misc]backup-simplify: Simplify (+ (* 0 (/ 1/2 (sqrt -1))) (+ (* 1 0) (* 0 (sqrt -1)))) into 0 1537438560.816 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1537438560.818 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow (sqrt -1) 1)))) 1) into (/ 1 (sqrt -1)) 1537438560.818 * [misc]backup-simplify: Simplify (/ 1 (sqrt -1)) into (/ 1 (sqrt -1)) 1537438560.819 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1537438560.819 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1537438560.819 * [misc]backup-simplify: Simplify (- 0) into 0 1537438560.819 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537438560.819 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (sqrt -1)))))) (* 2 (sqrt -1))) into 0 1537438560.820 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 (/ 1/2 (sqrt -1))) (+ (* 0 0) (* 0 (sqrt -1))))) into (* 1/2 (/ 1 (sqrt -1))) 1537438560.820 * [misc]backup-simplify: Simplify (+ 0 (* 1/2 (/ 1 (sqrt -1)))) into (* 1/2 (/ 1 (sqrt -1))) 1537438560.825 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow (sqrt -1) 2))) (* 1 (/ (* 1 (pow (* 2 (* 1/2 (/ 1 (sqrt -1)))) 1)) (pow (sqrt -1) 1)))) 2) into 0 1537438560.825 * [misc]backup-simplify: Simplify 0 into 0 1537438560.825 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1537438560.825 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1537438560.826 * [misc]backup-simplify: Simplify (- 0) into 0 1537438560.826 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537438560.827 * [misc]backup-simplify: Simplify (/ (- 0 (pow (/ 1/2 (sqrt -1)) 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3)) 1537438560.828 * [misc]backup-simplify: Simplify (+ (* 0 (/ -1/8 (pow (sqrt -1) 3))) (+ (* 1 0) (+ (* 0 (/ 1/2 (sqrt -1))) (+ (* 0 0) (* 0 (sqrt -1)))))) into 0 1537438560.829 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537438560.835 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow (sqrt -1) 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 (* 1/2 (/ 1 (sqrt -1)))) 1)) (pow (sqrt -1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (sqrt -1) 1)))) 6) into (/ -1/6 (pow (sqrt -1) 3)) 1537438560.835 * [misc]backup-simplify: Simplify (/ -1/6 (pow (sqrt -1) 3)) into (/ -1/6 (pow (sqrt -1) 3)) 1537438560.837 * [misc]backup-simplify: Simplify (+ (* (/ -1/6 (pow (sqrt -1) 3)) (pow (/ 1 x) 3)) (+ (* (/ 1 (sqrt -1)) (/ 1 x)) (log (sqrt -1)))) into (- (+ (log (sqrt -1)) (/ 1 (* x (sqrt -1)))) (* 1/6 (/ 1 (* (pow x 3) (pow (sqrt -1) 3))))) 1537438560.837 * [misc]backup-simplify: Simplify (log (+ (/ 1 (/ 1 (- x))) (/ (sqrt (- 1 (* (/ 1 (- x)) (/ 1 (- x))))) (/ 1 (- x))))) into (log (- (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))))) 1537438560.837 * [misc]approximate: Taking taylor expansion of (log (- (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))))) in (x) around 0 1537438560.837 * [misc]taylor: Taking taylor expansion of (log (- (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))))) in x 1537438560.837 * [misc]taylor: Taking taylor expansion of (- (+ x (* x (sqrt (- 1 (/ 1 (pow x 2))))))) in x 1537438560.837 * [misc]taylor: Taking taylor expansion of (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))) in x 1537438560.837 * [misc]taylor: Taking taylor expansion of x in x 1537438560.837 * [misc]backup-simplify: Simplify 0 into 0 1537438560.837 * [misc]backup-simplify: Simplify 1 into 1 1537438560.837 * [misc]taylor: Taking taylor expansion of (* x (sqrt (- 1 (/ 1 (pow x 2))))) in x 1537438560.837 * [misc]taylor: Taking taylor expansion of x in x 1537438560.837 * [misc]backup-simplify: Simplify 0 into 0 1537438560.837 * [misc]backup-simplify: Simplify 1 into 1 1537438560.837 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x 1537438560.837 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x 1537438560.837 * [misc]taylor: Taking taylor expansion of 1 in x 1537438560.837 * [misc]backup-simplify: Simplify 1 into 1 1537438560.837 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1537438560.837 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1537438560.837 * [misc]taylor: Taking taylor expansion of x in x 1537438560.837 * [misc]backup-simplify: Simplify 0 into 0 1537438560.837 * [misc]backup-simplify: Simplify 1 into 1 1537438560.837 * [misc]backup-simplify: Simplify (* 1 1) into 1 1537438560.837 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1537438560.838 * [misc]backup-simplify: Simplify (- 1) into -1 1537438560.838 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1537438560.838 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1537438560.838 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1537438560.838 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1537438560.838 * [misc]backup-simplify: Simplify (- 0) into 0 1537438560.838 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537438560.838 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt -1))) into 0 1537438560.839 * [misc]backup-simplify: Simplify (* 0 (sqrt -1)) into 0 1537438560.839 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537438560.839 * [misc]backup-simplify: Simplify (- 0) into 0 1537438560.839 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (sqrt -1))) into (sqrt -1) 1537438560.839 * [misc]backup-simplify: Simplify (+ 0 (sqrt -1)) into (sqrt -1) 1537438560.839 * [misc]backup-simplify: Simplify (- (sqrt -1)) into (- (sqrt -1)) 1537438560.840 * [misc]backup-simplify: Simplify (- (sqrt -1)) into (- (sqrt -1)) 1537438560.840 * [misc]backup-simplify: Simplify (log (- (sqrt -1))) into (log (- (sqrt -1))) 1537438560.840 * [misc]taylor: Taking taylor expansion of (log (- (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))))) in x 1537438560.840 * [misc]taylor: Taking taylor expansion of (- (+ x (* x (sqrt (- 1 (/ 1 (pow x 2))))))) in x 1537438560.840 * [misc]taylor: Taking taylor expansion of (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))) in x 1537438560.840 * [misc]taylor: Taking taylor expansion of x in x 1537438560.840 * [misc]backup-simplify: Simplify 0 into 0 1537438560.840 * [misc]backup-simplify: Simplify 1 into 1 1537438560.840 * [misc]taylor: Taking taylor expansion of (* x (sqrt (- 1 (/ 1 (pow x 2))))) in x 1537438560.840 * [misc]taylor: Taking taylor expansion of x in x 1537438560.840 * [misc]backup-simplify: Simplify 0 into 0 1537438560.840 * [misc]backup-simplify: Simplify 1 into 1 1537438560.840 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x 1537438560.840 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x 1537438560.840 * [misc]taylor: Taking taylor expansion of 1 in x 1537438560.840 * [misc]backup-simplify: Simplify 1 into 1 1537438560.840 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1537438560.840 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1537438560.840 * [misc]taylor: Taking taylor expansion of x in x 1537438560.840 * [misc]backup-simplify: Simplify 0 into 0 1537438560.840 * [misc]backup-simplify: Simplify 1 into 1 1537438560.840 * [misc]backup-simplify: Simplify (* 1 1) into 1 1537438560.840 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1537438560.841 * [misc]backup-simplify: Simplify (- 1) into -1 1537438560.841 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1537438560.841 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1537438560.841 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1537438560.841 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1537438560.841 * [misc]backup-simplify: Simplify (- 0) into 0 1537438560.841 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537438560.841 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt -1))) into 0 1537438560.841 * [misc]backup-simplify: Simplify (* 0 (sqrt -1)) into 0 1537438560.842 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537438560.842 * [misc]backup-simplify: Simplify (- 0) into 0 1537438560.842 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (sqrt -1))) into (sqrt -1) 1537438560.842 * [misc]backup-simplify: Simplify (+ 0 (sqrt -1)) into (sqrt -1) 1537438560.843 * [misc]backup-simplify: Simplify (- (sqrt -1)) into (- (sqrt -1)) 1537438560.843 * [misc]backup-simplify: Simplify (- (sqrt -1)) into (- (sqrt -1)) 1537438560.843 * [misc]backup-simplify: Simplify (log (- (sqrt -1))) into (log (- (sqrt -1))) 1537438560.843 * [misc]backup-simplify: Simplify (log (- (sqrt -1))) into (log (- (sqrt -1))) 1537438560.844 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1537438560.844 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1537438560.844 * [misc]backup-simplify: Simplify (- 0) into 0 1537438560.844 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1537438560.845 * [misc]backup-simplify: Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1)) 1537438560.845 * [misc]backup-simplify: Simplify (+ (* 0 (/ 1/2 (sqrt -1))) (+ (* 1 0) (* 0 (sqrt -1)))) into 0 1537438560.845 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1537438560.845 * [misc]backup-simplify: Simplify (- 1) into -1 1537438560.845 * [misc]backup-simplify: Simplify (- (sqrt -1)) into (- (sqrt -1)) 1537438560.847 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow (- (sqrt -1)) 1)))) 1) into (/ 1 (sqrt -1)) 1537438560.848 * [misc]backup-simplify: Simplify (/ 1 (sqrt -1)) into (/ 1 (sqrt -1)) 1537438560.848 * [misc]backup-simplify: Simplify (- 1) into -1 1537438560.848 * [misc]backup-simplify: Simplify (- (sqrt -1)) into (- (sqrt -1)) 1537438560.848 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1537438560.848 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1537438560.848 * [misc]backup-simplify: Simplify (- 0) into 0 1537438560.848 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537438560.849 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (sqrt -1)))))) (* 2 (sqrt -1))) into 0 1537438560.850 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 (/ 1/2 (sqrt -1))) (+ (* 0 0) (* 0 (sqrt -1))))) into (* 1/2 (/ 1 (sqrt -1))) 1537438560.850 * [misc]backup-simplify: Simplify (+ 0 (* 1/2 (/ 1 (sqrt -1)))) into (* 1/2 (/ 1 (sqrt -1))) 1537438560.850 * [misc]backup-simplify: Simplify (- (* 1/2 (/ 1 (sqrt -1)))) into (- (* 1/2 (/ 1 (sqrt -1)))) 1537438560.851 * [misc]backup-simplify: Simplify (- (sqrt -1)) into (- (sqrt -1)) 1537438560.855 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 -1) 2)) (pow (- (sqrt -1)) 2))) (* 1 (/ (* 1 (pow (* 2 (- (* 1/2 (/ 1 (sqrt -1))))) 1)) (pow (- (sqrt -1)) 1)))) 2) into 0 1537438560.856 * [misc]backup-simplify: Simplify 0 into 0 1537438560.856 * [misc]backup-simplify: Simplify (- 1) into -1 1537438560.856 * [misc]backup-simplify: Simplify (- (sqrt -1)) into (- (sqrt -1)) 1537438560.856 * [misc]backup-simplify: Simplify (- 1) into -1 1537438560.856 * [misc]backup-simplify: Simplify (- (* 1/2 (/ 1 (sqrt -1)))) into (- (* 1/2 (/ 1 (sqrt -1)))) 1537438560.857 * [misc]backup-simplify: Simplify (- (sqrt -1)) into (- (sqrt -1)) 1537438560.857 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1537438560.857 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1537438560.857 * [misc]backup-simplify: Simplify (- 0) into 0 1537438560.857 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537438560.859 * [misc]backup-simplify: Simplify (/ (- 0 (pow (/ 1/2 (sqrt -1)) 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3)) 1537438560.860 * [misc]backup-simplify: Simplify (+ (* 0 (/ -1/8 (pow (sqrt -1) 3))) (+ (* 1 0) (+ (* 0 (/ 1/2 (sqrt -1))) (+ (* 0 0) (* 0 (sqrt -1)))))) into 0 1537438560.860 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537438560.860 * [misc]backup-simplify: Simplify (- 0) into 0 1537438560.861 * [misc]backup-simplify: Simplify (- (sqrt -1)) into (- (sqrt -1)) 1537438560.867 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 -1) 3)) (pow (- (sqrt -1)) 3))) (* -3 (/ (* (pow (* 1 -1) 1) (pow (* 2 (- (* 1/2 (/ 1 (sqrt -1))))) 1)) (pow (- (sqrt -1)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (- (sqrt -1)) 1)))) 6) into (/ -1/6 (pow (sqrt -1) 3)) 1537438560.868 * [misc]backup-simplify: Simplify (/ -1/6 (pow (sqrt -1) 3)) into (/ -1/6 (pow (sqrt -1) 3)) 1537438560.869 * [misc]backup-simplify: Simplify (+ (* (/ -1/6 (pow (sqrt -1) 3)) (pow (/ 1 (- x)) 3)) (+ (* (/ 1 (sqrt -1)) (/ 1 (- x))) (log (- (sqrt -1))))) into (- (+ (* 1/6 (/ 1 (* (pow x 3) (pow (sqrt -1) 3)))) (log (- (sqrt -1)))) (/ 1 (* x (sqrt -1)))) 1537438560.869 * * * [misc]progress: simplifying candidates 1537438560.869 * * * * [misc]progress: [ 1 / 25 ] simplifiying candidate # 1537438560.869 * * * * [misc]progress: [ 2 / 25 ] simplifiying candidate # 1537438560.870 * * * * [misc]progress: [ 3 / 25 ] simplifiying candidate # 1537438560.870 * [enter]simplify: Simplifying (log (* (cbrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) (cbrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))) 1537438560.870 * * [misc]simplify: iters left: 6 (11 enodes) 1537438560.873 * * [misc]simplify: iters left: 5 (18 enodes) 1537438560.876 * * [misc]simplify: iters left: 4 (22 enodes) 1537438560.880 * * [misc]simplify: iters left: 3 (24 enodes) 1537438560.887 * [exit]simplify: Simplified to (log (* (cbrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) (cbrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))) 1537438560.887 * [misc]simplify: Simplified (2 1) to (λ (x) (+ (log (* (cbrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) (cbrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))) (log (cbrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))) 1537438560.887 * * * * [misc]progress: [ 4 / 25 ] simplifiying candidate # 1537438560.887 * [enter]simplify: Simplifying (log (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))) 1537438560.888 * * [misc]simplify: iters left: 6 (10 enodes) 1537438560.892 * * [misc]simplify: iters left: 5 (15 enodes) 1537438560.897 * * [misc]simplify: iters left: 4 (19 enodes) 1537438560.902 * * [misc]simplify: iters left: 3 (21 enodes) 1537438560.909 * [exit]simplify: Simplified to (log (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))) 1537438560.909 * [misc]simplify: Simplified (2 1) to (λ (x) (+ (log (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))) (log (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))) 1537438560.909 * * * * [misc]progress: [ 5 / 25 ] simplifiying candidate # 1537438560.910 * [enter]simplify: Simplifying (log 1) 1537438560.910 * * [misc]simplify: iters left: 1 (2 enodes) 1537438560.912 * [exit]simplify: Simplified to 0 1537438560.912 * [misc]simplify: Simplified (2 1) to (λ (x) (+ 0 (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))) 1537438560.912 * * * * [misc]progress: [ 6 / 25 ] simplifiying candidate # 1537438560.912 * [enter]simplify: Simplifying (log 1) 1537438560.912 * * [misc]simplify: iters left: 1 (2 enodes) 1537438560.913 * [exit]simplify: Simplified to 0 1537438560.914 * [misc]simplify: Simplified (2 1) to (λ (x) (+ 0 (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))) 1537438560.914 * * * * [misc]progress: [ 7 / 25 ] simplifiying candidate # 1537438560.914 * [enter]simplify: Simplifying (log 1) 1537438560.914 * * [misc]simplify: iters left: 1 (2 enodes) 1537438560.915 * [exit]simplify: Simplified to 0 1537438560.915 * [misc]simplify: Simplified (2 1) to (λ (x) (+ 0 (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))) 1537438560.915 * * * * [misc]progress: [ 8 / 25 ] simplifiying candidate # 1537438560.915 * [enter]simplify: Simplifying (log (/ 1 x)) 1537438560.916 * * [misc]simplify: iters left: 3 (4 enodes) 1537438560.917 * * [misc]simplify: iters left: 2 (10 enodes) 1537438560.919 * [exit]simplify: Simplified to (- (log x)) 1537438560.919 * [misc]simplify: Simplified (2 1) to (λ (x) (+ (- (log x)) (log (+ 1 (sqrt (- 1 (* x x))))))) 1537438560.919 * * * * [misc]progress: [ 9 / 25 ] simplifiying candidate # 1537438560.919 * [enter]simplify: Simplifying (log (/ 1 x)) 1537438560.919 * * [misc]simplify: iters left: 3 (4 enodes) 1537438560.921 * * [misc]simplify: iters left: 2 (10 enodes) 1537438560.922 * [exit]simplify: Simplified to (- (log x)) 1537438560.922 * [misc]simplify: Simplified (2 1) to (λ (x) (+ (- (log x)) (log (+ 1 (sqrt (- 1 (* x x))))))) 1537438560.922 * * * * [misc]progress: [ 10 / 25 ] simplifiying candidate # 1537438560.923 * [enter]simplify: Simplifying (log (+ (sqrt (- 1 (* x x))) 1)) 1537438560.923 * * [misc]simplify: iters left: 6 (7 enodes) 1537438560.925 * * [misc]simplify: iters left: 5 (12 enodes) 1537438560.927 * * [misc]simplify: iters left: 4 (17 enodes) 1537438560.930 * * [misc]simplify: iters left: 3 (19 enodes) 1537438560.933 * [exit]simplify: Simplified to (log1p (sqrt (- 1 (* x x)))) 1537438560.933 * [misc]simplify: Simplified (2 1) to (λ (x) (+ (log1p (sqrt (- 1 (* x x)))) (log (/ 1 x)))) 1537438560.933 * * * * [misc]progress: [ 11 / 25 ] simplifiying candidate # 1537438560.933 * [enter]simplify: Simplifying (log (+ (* 1 x) (* x (sqrt (- 1 (* x x)))))) 1537438560.934 * * [misc]simplify: iters left: 6 (9 enodes) 1537438560.936 * * [misc]simplify: iters left: 5 (16 enodes) 1537438560.940 * * [misc]simplify: iters left: 4 (24 enodes) 1537438560.944 * * [misc]simplify: iters left: 3 (31 enodes) 1537438560.948 * * [misc]simplify: iters left: 2 (36 enodes) 1537438560.958 * * [misc]simplify: iters left: 1 (39 enodes) 1537438560.970 * [exit]simplify: Simplified to (log (fma (sqrt (- 1 (* x x))) x x)) 1537438560.970 * [misc]simplify: Simplified (2 1) to (λ (x) (- (log (fma (sqrt (- 1 (* x x))) x x)) (log (* x x)))) 1537438560.970 * * * * [misc]progress: [ 12 / 25 ] simplifiying candidate # 1537438560.970 * [enter]simplify: Simplifying (log (+ (pow (/ 1 x) 3) (pow (/ (sqrt (- 1 (* x x))) x) 3))) 1537438560.971 * * [misc]simplify: iters left: 6 (12 enodes) 1537438560.978 * * [misc]simplify: iters left: 5 (28 enodes) 1537438560.990 * * [misc]simplify: iters left: 4 (57 enodes) 1537438561.006 * * [misc]simplify: iters left: 3 (98 enodes) 1537438561.030 * * [misc]simplify: iters left: 2 (151 enodes) 1537438561.079 * * [misc]simplify: iters left: 1 (258 enodes) 1537438561.293 * [exit]simplify: Simplified to (log (fma (fma (/ 1 x) (/ 1 x) -1) (/ (sqrt (- 1 (* x x))) x) (/ (/ 1 x) (* x x)))) 1537438561.293 * [misc]simplify: Simplified (2 1) to (λ (x) (- (log (fma (fma (/ 1 x) (/ 1 x) -1) (/ (sqrt (- 1 (* x x))) x) (/ (/ 1 x) (* x x)))) (log (+ (* (/ 1 x) (/ 1 x)) (- (* (/ (sqrt (- 1 (* x x))) x) (/ (sqrt (- 1 (* x x))) x)) (* (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))))) 1537438561.293 * * * * [misc]progress: [ 13 / 25 ] simplifiying candidate # 1537438561.293 * [enter]simplify: Simplifying (log (- (* (/ 1 x) (/ 1 x)) (* (/ (sqrt (- 1 (* x x))) x) (/ (sqrt (- 1 (* x x))) x)))) 1537438561.294 * * [misc]simplify: iters left: 6 (11 enodes) 1537438561.298 * * [misc]simplify: iters left: 5 (29 enodes) 1537438561.306 * * [misc]simplify: iters left: 4 (55 enodes) 1537438561.326 * * [misc]simplify: iters left: 3 (96 enodes) 1537438561.350 * * [misc]simplify: iters left: 2 (176 enodes) 1537438561.436 * * [misc]simplify: iters left: 1 (367 enodes) 1537438561.736 * [exit]simplify: Simplified to (log (+ (/ 1 (* x x)) (/ (fma x x -1) (* x x)))) 1537438561.736 * [misc]simplify: Simplified (2 1) to (λ (x) (- (log (+ (/ 1 (* x x)) (/ (fma x x -1) (* x x)))) (log (- (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))) 1537438561.736 * * * * [misc]progress: [ 14 / 25 ] simplifiying candidate # 1537438561.736 * * * * [misc]progress: [ 15 / 25 ] simplifiying candidate # 1537438561.736 * * * * [misc]progress: [ 16 / 25 ] simplifiying candidate # 1537438561.736 * [enter]simplify: Simplifying (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)) 1537438561.737 * * [misc]simplify: iters left: 6 (8 enodes) 1537438561.740 * * [misc]simplify: iters left: 5 (13 enodes) 1537438561.744 * * [misc]simplify: iters left: 4 (17 enodes) 1537438561.749 * * [misc]simplify: iters left: 3 (19 enodes) 1537438561.755 * [exit]simplify: Simplified to (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)) 1537438561.755 * [misc]simplify: Simplified (2 1) to (λ (x) (log (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))) 1537438561.755 * * * * [misc]progress: [ 17 / 25 ] simplifiying candidate # 1537438561.755 * * * * [misc]progress: [ 18 / 25 ] simplifiying candidate # 1537438561.756 * * * * [misc]progress: [ 19 / 25 ] simplifiying candidate # 1537438561.756 * * * * [misc]progress: [ 20 / 25 ] simplifiying candidate # 1537438561.756 * * * * [misc]progress: [ 21 / 25 ] simplifiying candidate # 1537438561.756 * * * * [misc]progress: [ 22 / 25 ] simplifiying candidate # 1537438561.756 * * * * [misc]progress: [ 23 / 25 ] simplifiying candidate # 1537438561.756 * [enter]simplify: Simplifying (- (log 2) (+ (* 1/4 (pow x 2)) (+ (* 3/32 (pow x 4)) (log x)))) 1537438561.757 * * [misc]simplify: iters left: 6 (14 enodes) 1537438561.764 * * [misc]simplify: iters left: 5 (27 enodes) 1537438561.777 * * [misc]simplify: iters left: 4 (58 enodes) 1537438561.811 * * [misc]simplify: iters left: 3 (123 enodes) 1537438561.854 * * [misc]simplify: iters left: 2 (266 enodes) 1537438561.966 * * [misc]simplify: iters left: 1 (491 enodes) 1537438562.327 * [exit]simplify: Simplified to (- (fma (pow x 4) -3/32 (log 2)) (fma x (* 1/4 x) (log x))) 1537438562.327 * [misc]simplify: Simplified (2) to (λ (x) (- (fma (pow x 4) -3/32 (log 2)) (fma x (* 1/4 x) (log x)))) 1537438562.327 * * * * [misc]progress: [ 24 / 25 ] simplifiying candidate # 1537438562.327 * [enter]simplify: Simplifying (- (+ (log (sqrt -1)) (/ 1 (* x (sqrt -1)))) (* 1/6 (/ 1 (* (pow x 3) (pow (sqrt -1) 3))))) 1537438562.328 * * [misc]simplify: iters left: 6 (16 enodes) 1537438562.334 * * [misc]simplify: iters left: 5 (38 enodes) 1537438562.345 * * [misc]simplify: iters left: 4 (82 enodes) 1537438562.374 * * [misc]simplify: iters left: 3 (164 enodes) 1537438562.456 * * [misc]simplify: iters left: 2 (310 enodes) 1537438562.677 * [exit]simplify: Simplified to (fma -1/6 (/ (/ (/ 1 x) (* x x)) (* -1 (sqrt -1))) (+ (log (sqrt -1)) (/ (/ 1 x) (sqrt -1)))) 1537438562.677 * [misc]simplify: Simplified (2) to (λ (x) (fma -1/6 (/ (/ (/ 1 x) (* x x)) (* -1 (sqrt -1))) (+ (log (sqrt -1)) (/ (/ 1 x) (sqrt -1))))) 1537438562.677 * * * * [misc]progress: [ 25 / 25 ] simplifiying candidate # 1537438562.677 * [enter]simplify: Simplifying (- (+ (* 1/6 (/ 1 (* (pow x 3) (pow (sqrt -1) 3)))) (log (- (sqrt -1)))) (/ 1 (* x (sqrt -1)))) 1537438562.678 * * [misc]simplify: iters left: 6 (17 enodes) 1537438562.688 * * [misc]simplify: iters left: 5 (40 enodes) 1537438562.710 * * [misc]simplify: iters left: 4 (82 enodes) 1537438562.753 * * [misc]simplify: iters left: 3 (157 enodes) 1537438562.811 * * [misc]simplify: iters left: 2 (274 enodes) 1537438562.951 * [exit]simplify: Simplified to (fma (/ (/ 1 x) (* (* x x) (sqrt -1))) -1/6 (fma 3 (log (sqrt -1)) (/ (/ -1 x) (sqrt -1)))) 1537438562.951 * [misc]simplify: Simplified (2) to (λ (x) (fma (/ (/ 1 x) (* (* x x) (sqrt -1))) -1/6 (fma 3 (log (sqrt -1)) (/ (/ -1 x) (sqrt -1))))) 1537438562.951 * * * [misc]progress: adding candidates to table 1537438563.326 * * [misc]progress: iteration 2 / 4 1537438563.326 * * * [misc]progress: picking best candidate 1537438563.332 * * * * [misc]pick: Picked # 1537438563.332 * * * [misc]progress: localizing error 1537438563.342 * * * [misc]progress: generating rewritten candidates 1537438563.342 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2 2 1) 1537438563.434 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 1 1) 1537438563.522 * * * [misc]progress: generating series expansions 1537438563.522 * * * * [misc]progress: [ 1 / 2 ] generating series at (2 2 1) 1537438563.522 * [misc]backup-simplify: Simplify (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) into (sqrt (+ (/ 1 x) (* (/ 1 x) (sqrt (- 1 (pow x 2)))))) 1537438563.522 * [misc]approximate: Taking taylor expansion of (sqrt (+ (/ 1 x) (* (/ 1 x) (sqrt (- 1 (pow x 2)))))) in (x) around 0 1537438563.522 * [misc]taylor: Taking taylor expansion of (sqrt (+ (/ 1 x) (* (/ 1 x) (sqrt (- 1 (pow x 2)))))) in x 1537438563.522 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) (* (/ 1 x) (sqrt (- 1 (pow x 2))))) in x 1537438563.523 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1537438563.523 * [misc]taylor: Taking taylor expansion of x in x 1537438563.523 * [misc]backup-simplify: Simplify 0 into 0 1537438563.523 * [misc]backup-simplify: Simplify 1 into 1 1537438563.523 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1537438563.523 * [misc]taylor: Taking taylor expansion of (* (/ 1 x) (sqrt (- 1 (pow x 2)))) in x 1537438563.523 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1537438563.523 * [misc]taylor: Taking taylor expansion of x in x 1537438563.523 * [misc]backup-simplify: Simplify 0 into 0 1537438563.523 * [misc]backup-simplify: Simplify 1 into 1 1537438563.523 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1537438563.523 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (pow x 2))) in x 1537438563.523 * [misc]taylor: Taking taylor expansion of (- 1 (pow x 2)) in x 1537438563.523 * [misc]taylor: Taking taylor expansion of 1 in x 1537438563.523 * [misc]backup-simplify: Simplify 1 into 1 1537438563.523 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1537438563.524 * [misc]taylor: Taking taylor expansion of x in x 1537438563.524 * [misc]backup-simplify: Simplify 0 into 0 1537438563.524 * [misc]backup-simplify: Simplify 1 into 1 1537438563.524 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1537438563.524 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1537438563.524 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537438563.524 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 1))) into 0 1537438563.524 * [misc]backup-simplify: Simplify (* 1 1) into 1 1537438563.525 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1537438563.525 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1537438563.525 * [misc]backup-simplify: Simplify (/ 2 (* 2 (sqrt 0))) into +nan.0 1537438563.525 * [misc]taylor: Taking taylor expansion of (sqrt (+ (/ 1 x) (* (/ 1 x) (sqrt (- 1 (pow x 2)))))) in x 1537438563.525 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) (* (/ 1 x) (sqrt (- 1 (pow x 2))))) in x 1537438563.525 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1537438563.525 * [misc]taylor: Taking taylor expansion of x in x 1537438563.525 * [misc]backup-simplify: Simplify 0 into 0 1537438563.525 * [misc]backup-simplify: Simplify 1 into 1 1537438563.526 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1537438563.526 * [misc]taylor: Taking taylor expansion of (* (/ 1 x) (sqrt (- 1 (pow x 2)))) in x 1537438563.526 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1537438563.526 * [misc]taylor: Taking taylor expansion of x in x 1537438563.526 * [misc]backup-simplify: Simplify 0 into 0 1537438563.526 * [misc]backup-simplify: Simplify 1 into 1 1537438563.526 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1537438563.526 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (pow x 2))) in x 1537438563.526 * [misc]taylor: Taking taylor expansion of (- 1 (pow x 2)) in x 1537438563.526 * [misc]taylor: Taking taylor expansion of 1 in x 1537438563.526 * [misc]backup-simplify: Simplify 1 into 1 1537438563.526 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1537438563.526 * [misc]taylor: Taking taylor expansion of x in x 1537438563.526 * [misc]backup-simplify: Simplify 0 into 0 1537438563.526 * [misc]backup-simplify: Simplify 1 into 1 1537438563.526 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1537438563.526 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1537438563.527 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537438563.527 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 1))) into 0 1537438563.527 * [misc]backup-simplify: Simplify (* 1 1) into 1 1537438563.527 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1537438563.527 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1537438563.528 * [misc]backup-simplify: Simplify (/ 2 (* 2 (sqrt 0))) into +nan.0 1537438563.528 * [misc]backup-simplify: Simplify 0 into 0 1537438563.528 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1537438563.528 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1537438563.528 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1537438563.528 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1537438563.528 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537438563.529 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1537438563.529 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1537438563.529 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1537438563.529 * [misc]backup-simplify: Simplify (* 1 1) into 1 1537438563.529 * [misc]backup-simplify: Simplify (- 1) into -1 1537438563.529 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1537438563.530 * [misc]backup-simplify: Simplify (/ (- -1 (pow 0 2) (+)) (* 2 1)) into -1/2 1537438563.530 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1537438563.530 * [misc]backup-simplify: Simplify (+ (* 1 -1/2) (+ (* 0 0) (* 0 1))) into -1/2 1537438563.531 * [misc]backup-simplify: Simplify (+ 0 -1/2) into -1/2 1537438563.531 * [misc]backup-simplify: Simplify (/ (- -1/2 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1537438563.531 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1537438563.531 * [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))))) 1537438563.532 * [misc]backup-simplify: Simplify (sqrt (+ (/ 1 (/ 1 x)) (/ (sqrt (- 1 (* (/ 1 x) (/ 1 x)))) (/ 1 x)))) into (sqrt (+ x (* x (sqrt (- 1 (/ 1 (pow x 2))))))) 1537438563.532 * [misc]approximate: Taking taylor expansion of (sqrt (+ x (* x (sqrt (- 1 (/ 1 (pow x 2))))))) in (x) around 0 1537438563.532 * [misc]taylor: Taking taylor expansion of (sqrt (+ x (* x (sqrt (- 1 (/ 1 (pow x 2))))))) in x 1537438563.532 * [misc]taylor: Taking taylor expansion of (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))) in x 1537438563.532 * [misc]taylor: Taking taylor expansion of x in x 1537438563.532 * [misc]backup-simplify: Simplify 0 into 0 1537438563.532 * [misc]backup-simplify: Simplify 1 into 1 1537438563.532 * [misc]taylor: Taking taylor expansion of (* x (sqrt (- 1 (/ 1 (pow x 2))))) in x 1537438563.532 * [misc]taylor: Taking taylor expansion of x in x 1537438563.532 * [misc]backup-simplify: Simplify 0 into 0 1537438563.532 * [misc]backup-simplify: Simplify 1 into 1 1537438563.532 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x 1537438563.532 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x 1537438563.532 * [misc]taylor: Taking taylor expansion of 1 in x 1537438563.532 * [misc]backup-simplify: Simplify 1 into 1 1537438563.532 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1537438563.532 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1537438563.532 * [misc]taylor: Taking taylor expansion of x in x 1537438563.532 * [misc]backup-simplify: Simplify 0 into 0 1537438563.532 * [misc]backup-simplify: Simplify 1 into 1 1537438563.532 * [misc]backup-simplify: Simplify (* 1 1) into 1 1537438563.532 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1537438563.532 * [misc]backup-simplify: Simplify (- 1) into -1 1537438563.532 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1537438563.533 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1537438563.533 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1537438563.533 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1537438563.533 * [misc]backup-simplify: Simplify (- 0) into 0 1537438563.533 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537438563.533 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt -1))) into 0 1537438563.533 * [misc]backup-simplify: Simplify (* 0 (sqrt -1)) into 0 1537438563.533 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537438563.534 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (sqrt -1))) into (sqrt -1) 1537438563.534 * [misc]backup-simplify: Simplify (+ 0 (sqrt -1)) into (sqrt -1) 1537438563.534 * [misc]backup-simplify: Simplify (sqrt (sqrt -1)) into (sqrt (sqrt -1)) 1537438563.534 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1537438563.534 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1537438563.535 * [misc]backup-simplify: Simplify (- 0) into 0 1537438563.535 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1537438563.535 * [misc]backup-simplify: Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1)) 1537438563.536 * [misc]backup-simplify: Simplify (+ (* 0 (/ 1/2 (sqrt -1))) (+ (* 1 0) (* 0 (sqrt -1)))) into 0 1537438563.536 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1537438563.536 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt (sqrt -1)))) into (* 1/2 (sqrt (/ 1 (sqrt -1)))) 1537438563.536 * [misc]taylor: Taking taylor expansion of (sqrt (+ x (* x (sqrt (- 1 (/ 1 (pow x 2))))))) in x 1537438563.536 * [misc]taylor: Taking taylor expansion of (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))) in x 1537438563.536 * [misc]taylor: Taking taylor expansion of x in x 1537438563.536 * [misc]backup-simplify: Simplify 0 into 0 1537438563.536 * [misc]backup-simplify: Simplify 1 into 1 1537438563.536 * [misc]taylor: Taking taylor expansion of (* x (sqrt (- 1 (/ 1 (pow x 2))))) in x 1537438563.536 * [misc]taylor: Taking taylor expansion of x in x 1537438563.536 * [misc]backup-simplify: Simplify 0 into 0 1537438563.536 * [misc]backup-simplify: Simplify 1 into 1 1537438563.536 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x 1537438563.536 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x 1537438563.536 * [misc]taylor: Taking taylor expansion of 1 in x 1537438563.536 * [misc]backup-simplify: Simplify 1 into 1 1537438563.536 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1537438563.536 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1537438563.537 * [misc]taylor: Taking taylor expansion of x in x 1537438563.537 * [misc]backup-simplify: Simplify 0 into 0 1537438563.537 * [misc]backup-simplify: Simplify 1 into 1 1537438563.537 * [misc]backup-simplify: Simplify (* 1 1) into 1 1537438563.537 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1537438563.537 * [misc]backup-simplify: Simplify (- 1) into -1 1537438563.537 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1537438563.537 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1537438563.537 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1537438563.537 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1537438563.537 * [misc]backup-simplify: Simplify (- 0) into 0 1537438563.538 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537438563.538 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt -1))) into 0 1537438563.538 * [misc]backup-simplify: Simplify (* 0 (sqrt -1)) into 0 1537438563.538 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537438563.538 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (sqrt -1))) into (sqrt -1) 1537438563.539 * [misc]backup-simplify: Simplify (+ 0 (sqrt -1)) into (sqrt -1) 1537438563.539 * [misc]backup-simplify: Simplify (sqrt (sqrt -1)) into (sqrt (sqrt -1)) 1537438563.539 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1537438563.539 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1537438563.539 * [misc]backup-simplify: Simplify (- 0) into 0 1537438563.539 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1537438563.540 * [misc]backup-simplify: Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1)) 1537438563.540 * [misc]backup-simplify: Simplify (+ (* 0 (/ 1/2 (sqrt -1))) (+ (* 1 0) (* 0 (sqrt -1)))) into 0 1537438563.541 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1537438563.541 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt (sqrt -1)))) into (* 1/2 (sqrt (/ 1 (sqrt -1)))) 1537438563.541 * [misc]backup-simplify: Simplify (sqrt (sqrt -1)) into (sqrt (sqrt -1)) 1537438563.542 * [misc]backup-simplify: Simplify (* 1/2 (sqrt (/ 1 (sqrt -1)))) into (* 1/2 (sqrt (/ 1 (sqrt -1)))) 1537438563.542 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1537438563.542 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1537438563.542 * [misc]backup-simplify: Simplify (- 0) into 0 1537438563.542 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537438563.543 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (sqrt -1)))))) (* 2 (sqrt -1))) into 0 1537438563.543 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 (/ 1/2 (sqrt -1))) (+ (* 0 0) (* 0 (sqrt -1))))) into (* 1/2 (/ 1 (sqrt -1))) 1537438563.544 * [misc]backup-simplify: Simplify (+ 0 (* 1/2 (/ 1 (sqrt -1)))) into (* 1/2 (/ 1 (sqrt -1))) 1537438563.549 * [misc]backup-simplify: Simplify (/ (- (* 1/2 (/ 1 (sqrt -1))) (pow (* 1/2 (sqrt (/ 1 (sqrt -1)))) 2) (+)) (* 2 (sqrt (sqrt -1)))) into (* 1/8 (sqrt (/ 1 (pow (sqrt -1) 3)))) 1537438563.551 * [misc]backup-simplify: Simplify (* 1/8 (sqrt (/ 1 (pow (sqrt -1) 3)))) into (* 1/8 (sqrt (/ 1 (pow (sqrt -1) 3)))) 1537438563.553 * [misc]backup-simplify: Simplify (+ (* (* 1/8 (sqrt (/ 1 (pow (sqrt -1) 3)))) (pow (/ 1 x) 2)) (+ (* (* 1/2 (sqrt (/ 1 (sqrt -1)))) (/ 1 x)) (sqrt (sqrt -1)))) into (+ (* 1/8 (* (/ 1 (pow x 2)) (sqrt (/ 1 (pow (sqrt -1) 3))))) (+ (sqrt (sqrt -1)) (* 1/2 (* (/ 1 x) (sqrt (/ 1 (sqrt -1))))))) 1537438563.553 * [misc]backup-simplify: Simplify (sqrt (+ (/ 1 (/ 1 (- x))) (/ (sqrt (- 1 (* (/ 1 (- x)) (/ 1 (- x))))) (/ 1 (- x))))) into (sqrt (- (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))))) 1537438563.553 * [misc]approximate: Taking taylor expansion of (sqrt (- (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))))) in (x) around 0 1537438563.553 * [misc]taylor: Taking taylor expansion of (sqrt (- (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))))) in x 1537438563.553 * [misc]taylor: Taking taylor expansion of (- (+ x (* x (sqrt (- 1 (/ 1 (pow x 2))))))) in x 1537438563.553 * [misc]taylor: Taking taylor expansion of (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))) in x 1537438563.553 * [misc]taylor: Taking taylor expansion of x in x 1537438563.553 * [misc]backup-simplify: Simplify 0 into 0 1537438563.553 * [misc]backup-simplify: Simplify 1 into 1 1537438563.553 * [misc]taylor: Taking taylor expansion of (* x (sqrt (- 1 (/ 1 (pow x 2))))) in x 1537438563.553 * [misc]taylor: Taking taylor expansion of x in x 1537438563.553 * [misc]backup-simplify: Simplify 0 into 0 1537438563.553 * [misc]backup-simplify: Simplify 1 into 1 1537438563.553 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x 1537438563.553 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x 1537438563.553 * [misc]taylor: Taking taylor expansion of 1 in x 1537438563.553 * [misc]backup-simplify: Simplify 1 into 1 1537438563.553 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1537438563.553 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1537438563.553 * [misc]taylor: Taking taylor expansion of x in x 1537438563.553 * [misc]backup-simplify: Simplify 0 into 0 1537438563.554 * [misc]backup-simplify: Simplify 1 into 1 1537438563.554 * [misc]backup-simplify: Simplify (* 1 1) into 1 1537438563.554 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1537438563.554 * [misc]backup-simplify: Simplify (- 1) into -1 1537438563.554 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1537438563.554 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1537438563.554 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1537438563.554 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1537438563.554 * [misc]backup-simplify: Simplify (- 0) into 0 1537438563.555 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537438563.555 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt -1))) into 0 1537438563.555 * [misc]backup-simplify: Simplify (* 0 (sqrt -1)) into 0 1537438563.555 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537438563.555 * [misc]backup-simplify: Simplify (- 0) into 0 1537438563.555 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (sqrt -1))) into (sqrt -1) 1537438563.556 * [misc]backup-simplify: Simplify (+ 0 (sqrt -1)) into (sqrt -1) 1537438563.556 * [misc]backup-simplify: Simplify (- (sqrt -1)) into (- (sqrt -1)) 1537438563.556 * [misc]backup-simplify: Simplify (- (sqrt -1)) into (- (sqrt -1)) 1537438563.556 * [misc]backup-simplify: Simplify (sqrt (- (sqrt -1))) into (sqrt (- (sqrt -1))) 1537438563.556 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1537438563.557 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1537438563.557 * [misc]backup-simplify: Simplify (- 0) into 0 1537438563.557 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1537438563.558 * [misc]backup-simplify: Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1)) 1537438563.558 * [misc]backup-simplify: Simplify (+ (* 0 (/ 1/2 (sqrt -1))) (+ (* 1 0) (* 0 (sqrt -1)))) into 0 1537438563.558 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1537438563.558 * [misc]backup-simplify: Simplify (- 1) into -1 1537438563.558 * [misc]backup-simplify: Simplify (- (sqrt -1)) into (- (sqrt -1)) 1537438563.559 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt (- (sqrt -1))))) into (/ -1/2 (sqrt (- (sqrt -1)))) 1537438563.559 * [misc]taylor: Taking taylor expansion of (sqrt (- (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))))) in x 1537438563.559 * [misc]taylor: Taking taylor expansion of (- (+ x (* x (sqrt (- 1 (/ 1 (pow x 2))))))) in x 1537438563.559 * [misc]taylor: Taking taylor expansion of (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))) in x 1537438563.559 * [misc]taylor: Taking taylor expansion of x in x 1537438563.559 * [misc]backup-simplify: Simplify 0 into 0 1537438563.559 * [misc]backup-simplify: Simplify 1 into 1 1537438563.559 * [misc]taylor: Taking taylor expansion of (* x (sqrt (- 1 (/ 1 (pow x 2))))) in x 1537438563.559 * [misc]taylor: Taking taylor expansion of x in x 1537438563.559 * [misc]backup-simplify: Simplify 0 into 0 1537438563.559 * [misc]backup-simplify: Simplify 1 into 1 1537438563.559 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x 1537438563.559 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x 1537438563.559 * [misc]taylor: Taking taylor expansion of 1 in x 1537438563.559 * [misc]backup-simplify: Simplify 1 into 1 1537438563.559 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1537438563.559 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1537438563.559 * [misc]taylor: Taking taylor expansion of x in x 1537438563.559 * [misc]backup-simplify: Simplify 0 into 0 1537438563.559 * [misc]backup-simplify: Simplify 1 into 1 1537438563.559 * [misc]backup-simplify: Simplify (* 1 1) into 1 1537438563.559 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1537438563.560 * [misc]backup-simplify: Simplify (- 1) into -1 1537438563.560 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1537438563.560 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1537438563.560 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1537438563.560 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1537438563.560 * [misc]backup-simplify: Simplify (- 0) into 0 1537438563.560 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537438563.560 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt -1))) into 0 1537438563.561 * [misc]backup-simplify: Simplify (* 0 (sqrt -1)) into 0 1537438563.561 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537438563.561 * [misc]backup-simplify: Simplify (- 0) into 0 1537438563.561 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (sqrt -1))) into (sqrt -1) 1537438563.561 * [misc]backup-simplify: Simplify (+ 0 (sqrt -1)) into (sqrt -1) 1537438563.562 * [misc]backup-simplify: Simplify (- (sqrt -1)) into (- (sqrt -1)) 1537438563.562 * [misc]backup-simplify: Simplify (- (sqrt -1)) into (- (sqrt -1)) 1537438563.562 * [misc]backup-simplify: Simplify (sqrt (- (sqrt -1))) into (sqrt (- (sqrt -1))) 1537438563.562 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1537438563.562 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1537438563.562 * [misc]backup-simplify: Simplify (- 0) into 0 1537438563.563 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1537438563.563 * [misc]backup-simplify: Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1)) 1537438563.564 * [misc]backup-simplify: Simplify (+ (* 0 (/ 1/2 (sqrt -1))) (+ (* 1 0) (* 0 (sqrt -1)))) into 0 1537438563.564 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1537438563.564 * [misc]backup-simplify: Simplify (- 1) into -1 1537438563.564 * [misc]backup-simplify: Simplify (- (sqrt -1)) into (- (sqrt -1)) 1537438563.565 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt (- (sqrt -1))))) into (/ -1/2 (sqrt (- (sqrt -1)))) 1537438563.565 * [misc]backup-simplify: Simplify (sqrt (- (sqrt -1))) into (sqrt (- (sqrt -1))) 1537438563.565 * [misc]backup-simplify: Simplify (/ -1/2 (sqrt (- (sqrt -1)))) into (/ -1/2 (sqrt (- (sqrt -1)))) 1537438563.566 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1537438563.566 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1537438563.566 * [misc]backup-simplify: Simplify (- 0) into 0 1537438563.566 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537438563.566 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (sqrt -1)))))) (* 2 (sqrt -1))) into 0 1537438563.567 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 (/ 1/2 (sqrt -1))) (+ (* 0 0) (* 0 (sqrt -1))))) into (* 1/2 (/ 1 (sqrt -1))) 1537438563.568 * [misc]backup-simplify: Simplify (+ 0 (* 1/2 (/ 1 (sqrt -1)))) into (* 1/2 (/ 1 (sqrt -1))) 1537438563.568 * [misc]backup-simplify: Simplify (- (* 1/2 (/ 1 (sqrt -1)))) into (- (* 1/2 (/ 1 (sqrt -1)))) 1537438563.570 * [misc]backup-simplify: Simplify (/ (- (- (* 1/2 (/ 1 (sqrt -1)))) (pow (/ -1/2 (sqrt (- (sqrt -1)))) 2) (+)) (* 2 (sqrt (- (sqrt -1))))) into (* -1/2 (/ (+ (* 1/4 (/ 1 (pow (sqrt (- (sqrt -1))) 2))) (* 1/2 (/ 1 (sqrt -1)))) (sqrt (- (sqrt -1))))) 1537438563.573 * [misc]backup-simplify: Simplify (* -1/2 (/ (+ (* 1/4 (/ 1 (pow (sqrt (- (sqrt -1))) 2))) (* 1/2 (/ 1 (sqrt -1)))) (sqrt (- (sqrt -1))))) into (* -1/2 (/ (+ (* 1/4 (/ 1 (pow (sqrt (- (sqrt -1))) 2))) (* 1/2 (/ 1 (sqrt -1)))) (sqrt (- (sqrt -1))))) 1537438563.577 * [misc]backup-simplify: Simplify (+ (* (* -1/2 (/ (+ (* 1/4 (/ 1 (pow (sqrt (- (sqrt -1))) 2))) (* 1/2 (/ 1 (sqrt -1)))) (sqrt (- (sqrt -1))))) (pow (/ 1 (- x)) 2)) (+ (* (/ -1/2 (sqrt (- (sqrt -1)))) (/ 1 (- x))) (sqrt (- (sqrt -1))))) into (- (+ (sqrt (- (sqrt -1))) (* 1/2 (/ 1 (* (sqrt (- (sqrt -1))) x)))) (+ (* 1/4 (/ 1 (* (sqrt (- (sqrt -1))) (* (pow x 2) (sqrt -1))))) (* 1/8 (/ 1 (* (pow (sqrt (- (sqrt -1))) 3) (pow x 2)))))) 1537438563.577 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 1 1) 1537438563.577 * [misc]backup-simplify: Simplify (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) into (sqrt (+ (/ 1 x) (* (/ 1 x) (sqrt (- 1 (pow x 2)))))) 1537438563.577 * [misc]approximate: Taking taylor expansion of (sqrt (+ (/ 1 x) (* (/ 1 x) (sqrt (- 1 (pow x 2)))))) in (x) around 0 1537438563.577 * [misc]taylor: Taking taylor expansion of (sqrt (+ (/ 1 x) (* (/ 1 x) (sqrt (- 1 (pow x 2)))))) in x 1537438563.577 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) (* (/ 1 x) (sqrt (- 1 (pow x 2))))) in x 1537438563.577 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1537438563.577 * [misc]taylor: Taking taylor expansion of x in x 1537438563.577 * [misc]backup-simplify: Simplify 0 into 0 1537438563.577 * [misc]backup-simplify: Simplify 1 into 1 1537438563.578 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1537438563.578 * [misc]taylor: Taking taylor expansion of (* (/ 1 x) (sqrt (- 1 (pow x 2)))) in x 1537438563.578 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1537438563.578 * [misc]taylor: Taking taylor expansion of x in x 1537438563.578 * [misc]backup-simplify: Simplify 0 into 0 1537438563.578 * [misc]backup-simplify: Simplify 1 into 1 1537438563.578 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1537438563.578 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (pow x 2))) in x 1537438563.578 * [misc]taylor: Taking taylor expansion of (- 1 (pow x 2)) in x 1537438563.578 * [misc]taylor: Taking taylor expansion of 1 in x 1537438563.578 * [misc]backup-simplify: Simplify 1 into 1 1537438563.578 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1537438563.578 * [misc]taylor: Taking taylor expansion of x in x 1537438563.578 * [misc]backup-simplify: Simplify 0 into 0 1537438563.578 * [misc]backup-simplify: Simplify 1 into 1 1537438563.578 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1537438563.578 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1537438563.578 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537438563.578 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 1))) into 0 1537438563.578 * [misc]backup-simplify: Simplify (* 1 1) into 1 1537438563.579 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1537438563.579 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1537438563.579 * [misc]backup-simplify: Simplify (/ 2 (* 2 (sqrt 0))) into +nan.0 1537438563.579 * [misc]taylor: Taking taylor expansion of (sqrt (+ (/ 1 x) (* (/ 1 x) (sqrt (- 1 (pow x 2)))))) in x 1537438563.579 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) (* (/ 1 x) (sqrt (- 1 (pow x 2))))) in x 1537438563.579 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1537438563.579 * [misc]taylor: Taking taylor expansion of x in x 1537438563.579 * [misc]backup-simplify: Simplify 0 into 0 1537438563.579 * [misc]backup-simplify: Simplify 1 into 1 1537438563.579 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1537438563.579 * [misc]taylor: Taking taylor expansion of (* (/ 1 x) (sqrt (- 1 (pow x 2)))) in x 1537438563.579 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1537438563.579 * [misc]taylor: Taking taylor expansion of x in x 1537438563.579 * [misc]backup-simplify: Simplify 0 into 0 1537438563.579 * [misc]backup-simplify: Simplify 1 into 1 1537438563.579 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1537438563.579 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (pow x 2))) in x 1537438563.579 * [misc]taylor: Taking taylor expansion of (- 1 (pow x 2)) in x 1537438563.579 * [misc]taylor: Taking taylor expansion of 1 in x 1537438563.579 * [misc]backup-simplify: Simplify 1 into 1 1537438563.579 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1537438563.579 * [misc]taylor: Taking taylor expansion of x in x 1537438563.579 * [misc]backup-simplify: Simplify 0 into 0 1537438563.579 * [misc]backup-simplify: Simplify 1 into 1 1537438563.580 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1537438563.580 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1537438563.580 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537438563.580 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 1))) into 0 1537438563.580 * [misc]backup-simplify: Simplify (* 1 1) into 1 1537438563.580 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1537438563.580 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1537438563.580 * [misc]backup-simplify: Simplify (/ 2 (* 2 (sqrt 0))) into +nan.0 1537438563.581 * [misc]backup-simplify: Simplify 0 into 0 1537438563.581 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1537438563.581 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1537438563.581 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1537438563.581 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1537438563.581 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537438563.582 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1537438563.582 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1537438563.582 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1537438563.582 * [misc]backup-simplify: Simplify (* 1 1) into 1 1537438563.582 * [misc]backup-simplify: Simplify (- 1) into -1 1537438563.582 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1537438563.583 * [misc]backup-simplify: Simplify (/ (- -1 (pow 0 2) (+)) (* 2 1)) into -1/2 1537438563.583 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1537438563.583 * [misc]backup-simplify: Simplify (+ (* 1 -1/2) (+ (* 0 0) (* 0 1))) into -1/2 1537438563.583 * [misc]backup-simplify: Simplify (+ 0 -1/2) into -1/2 1537438563.584 * [misc]backup-simplify: Simplify (/ (- -1/2 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1537438563.584 * [misc]backup-simplify: Simplify +nan.0 into +nan.0 1537438563.584 * [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))))) 1537438563.584 * [misc]backup-simplify: Simplify (sqrt (+ (/ 1 (/ 1 x)) (/ (sqrt (- 1 (* (/ 1 x) (/ 1 x)))) (/ 1 x)))) into (sqrt (+ x (* x (sqrt (- 1 (/ 1 (pow x 2))))))) 1537438563.584 * [misc]approximate: Taking taylor expansion of (sqrt (+ x (* x (sqrt (- 1 (/ 1 (pow x 2))))))) in (x) around 0 1537438563.585 * [misc]taylor: Taking taylor expansion of (sqrt (+ x (* x (sqrt (- 1 (/ 1 (pow x 2))))))) in x 1537438563.585 * [misc]taylor: Taking taylor expansion of (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))) in x 1537438563.585 * [misc]taylor: Taking taylor expansion of x in x 1537438563.585 * [misc]backup-simplify: Simplify 0 into 0 1537438563.585 * [misc]backup-simplify: Simplify 1 into 1 1537438563.585 * [misc]taylor: Taking taylor expansion of (* x (sqrt (- 1 (/ 1 (pow x 2))))) in x 1537438563.585 * [misc]taylor: Taking taylor expansion of x in x 1537438563.585 * [misc]backup-simplify: Simplify 0 into 0 1537438563.585 * [misc]backup-simplify: Simplify 1 into 1 1537438563.585 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x 1537438563.585 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x 1537438563.585 * [misc]taylor: Taking taylor expansion of 1 in x 1537438563.585 * [misc]backup-simplify: Simplify 1 into 1 1537438563.585 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1537438563.585 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1537438563.585 * [misc]taylor: Taking taylor expansion of x in x 1537438563.585 * [misc]backup-simplify: Simplify 0 into 0 1537438563.585 * [misc]backup-simplify: Simplify 1 into 1 1537438563.585 * [misc]backup-simplify: Simplify (* 1 1) into 1 1537438563.585 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1537438563.585 * [misc]backup-simplify: Simplify (- 1) into -1 1537438563.585 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1537438563.585 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1537438563.585 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1537438563.586 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1537438563.586 * [misc]backup-simplify: Simplify (- 0) into 0 1537438563.586 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537438563.586 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt -1))) into 0 1537438563.586 * [misc]backup-simplify: Simplify (* 0 (sqrt -1)) into 0 1537438563.586 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537438563.586 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (sqrt -1))) into (sqrt -1) 1537438563.587 * [misc]backup-simplify: Simplify (+ 0 (sqrt -1)) into (sqrt -1) 1537438563.587 * [misc]backup-simplify: Simplify (sqrt (sqrt -1)) into (sqrt (sqrt -1)) 1537438563.587 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1537438563.587 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1537438563.587 * [misc]backup-simplify: Simplify (- 0) into 0 1537438563.587 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1537438563.588 * [misc]backup-simplify: Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1)) 1537438563.588 * [misc]backup-simplify: Simplify (+ (* 0 (/ 1/2 (sqrt -1))) (+ (* 1 0) (* 0 (sqrt -1)))) into 0 1537438563.589 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1537438563.589 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt (sqrt -1)))) into (* 1/2 (sqrt (/ 1 (sqrt -1)))) 1537438563.589 * [misc]taylor: Taking taylor expansion of (sqrt (+ x (* x (sqrt (- 1 (/ 1 (pow x 2))))))) in x 1537438563.589 * [misc]taylor: Taking taylor expansion of (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))) in x 1537438563.589 * [misc]taylor: Taking taylor expansion of x in x 1537438563.589 * [misc]backup-simplify: Simplify 0 into 0 1537438563.589 * [misc]backup-simplify: Simplify 1 into 1 1537438563.589 * [misc]taylor: Taking taylor expansion of (* x (sqrt (- 1 (/ 1 (pow x 2))))) in x 1537438563.589 * [misc]taylor: Taking taylor expansion of x in x 1537438563.589 * [misc]backup-simplify: Simplify 0 into 0 1537438563.589 * [misc]backup-simplify: Simplify 1 into 1 1537438563.589 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x 1537438563.589 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x 1537438563.589 * [misc]taylor: Taking taylor expansion of 1 in x 1537438563.589 * [misc]backup-simplify: Simplify 1 into 1 1537438563.589 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1537438563.589 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1537438563.589 * [misc]taylor: Taking taylor expansion of x in x 1537438563.589 * [misc]backup-simplify: Simplify 0 into 0 1537438563.589 * [misc]backup-simplify: Simplify 1 into 1 1537438563.589 * [misc]backup-simplify: Simplify (* 1 1) into 1 1537438563.589 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1537438563.590 * [misc]backup-simplify: Simplify (- 1) into -1 1537438563.590 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1537438563.590 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1537438563.590 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1537438563.590 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1537438563.590 * [misc]backup-simplify: Simplify (- 0) into 0 1537438563.590 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537438563.590 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt -1))) into 0 1537438563.590 * [misc]backup-simplify: Simplify (* 0 (sqrt -1)) into 0 1537438563.591 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537438563.591 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (sqrt -1))) into (sqrt -1) 1537438563.591 * [misc]backup-simplify: Simplify (+ 0 (sqrt -1)) into (sqrt -1) 1537438563.591 * [misc]backup-simplify: Simplify (sqrt (sqrt -1)) into (sqrt (sqrt -1)) 1537438563.592 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1537438563.592 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1537438563.592 * [misc]backup-simplify: Simplify (- 0) into 0 1537438563.592 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1537438563.593 * [misc]backup-simplify: Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1)) 1537438563.593 * [misc]backup-simplify: Simplify (+ (* 0 (/ 1/2 (sqrt -1))) (+ (* 1 0) (* 0 (sqrt -1)))) into 0 1537438563.593 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1537438563.593 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt (sqrt -1)))) into (* 1/2 (sqrt (/ 1 (sqrt -1)))) 1537438563.594 * [misc]backup-simplify: Simplify (sqrt (sqrt -1)) into (sqrt (sqrt -1)) 1537438563.594 * [misc]backup-simplify: Simplify (* 1/2 (sqrt (/ 1 (sqrt -1)))) into (* 1/2 (sqrt (/ 1 (sqrt -1)))) 1537438563.594 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1537438563.594 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1537438563.595 * [misc]backup-simplify: Simplify (- 0) into 0 1537438563.595 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537438563.595 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (sqrt -1)))))) (* 2 (sqrt -1))) into 0 1537438563.596 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 (/ 1/2 (sqrt -1))) (+ (* 0 0) (* 0 (sqrt -1))))) into (* 1/2 (/ 1 (sqrt -1))) 1537438563.596 * [misc]backup-simplify: Simplify (+ 0 (* 1/2 (/ 1 (sqrt -1)))) into (* 1/2 (/ 1 (sqrt -1))) 1537438563.598 * [misc]backup-simplify: Simplify (/ (- (* 1/2 (/ 1 (sqrt -1))) (pow (* 1/2 (sqrt (/ 1 (sqrt -1)))) 2) (+)) (* 2 (sqrt (sqrt -1)))) into (* 1/8 (sqrt (/ 1 (pow (sqrt -1) 3)))) 1537438563.599 * [misc]backup-simplify: Simplify (* 1/8 (sqrt (/ 1 (pow (sqrt -1) 3)))) into (* 1/8 (sqrt (/ 1 (pow (sqrt -1) 3)))) 1537438563.603 * [misc]backup-simplify: Simplify (+ (* (* 1/8 (sqrt (/ 1 (pow (sqrt -1) 3)))) (pow (/ 1 x) 2)) (+ (* (* 1/2 (sqrt (/ 1 (sqrt -1)))) (/ 1 x)) (sqrt (sqrt -1)))) into (+ (* 1/8 (* (/ 1 (pow x 2)) (sqrt (/ 1 (pow (sqrt -1) 3))))) (+ (sqrt (sqrt -1)) (* 1/2 (* (/ 1 x) (sqrt (/ 1 (sqrt -1))))))) 1537438563.603 * [misc]backup-simplify: Simplify (sqrt (+ (/ 1 (/ 1 (- x))) (/ (sqrt (- 1 (* (/ 1 (- x)) (/ 1 (- x))))) (/ 1 (- x))))) into (sqrt (- (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))))) 1537438563.604 * [misc]approximate: Taking taylor expansion of (sqrt (- (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))))) in (x) around 0 1537438563.604 * [misc]taylor: Taking taylor expansion of (sqrt (- (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))))) in x 1537438563.604 * [misc]taylor: Taking taylor expansion of (- (+ x (* x (sqrt (- 1 (/ 1 (pow x 2))))))) in x 1537438563.604 * [misc]taylor: Taking taylor expansion of (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))) in x 1537438563.604 * [misc]taylor: Taking taylor expansion of x in x 1537438563.604 * [misc]backup-simplify: Simplify 0 into 0 1537438563.604 * [misc]backup-simplify: Simplify 1 into 1 1537438563.604 * [misc]taylor: Taking taylor expansion of (* x (sqrt (- 1 (/ 1 (pow x 2))))) in x 1537438563.604 * [misc]taylor: Taking taylor expansion of x in x 1537438563.604 * [misc]backup-simplify: Simplify 0 into 0 1537438563.604 * [misc]backup-simplify: Simplify 1 into 1 1537438563.604 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x 1537438563.604 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x 1537438563.604 * [misc]taylor: Taking taylor expansion of 1 in x 1537438563.604 * [misc]backup-simplify: Simplify 1 into 1 1537438563.604 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1537438563.604 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1537438563.604 * [misc]taylor: Taking taylor expansion of x in x 1537438563.604 * [misc]backup-simplify: Simplify 0 into 0 1537438563.604 * [misc]backup-simplify: Simplify 1 into 1 1537438563.604 * [misc]backup-simplify: Simplify (* 1 1) into 1 1537438563.605 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1537438563.605 * [misc]backup-simplify: Simplify (- 1) into -1 1537438563.605 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1537438563.605 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1537438563.605 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1537438563.605 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1537438563.606 * [misc]backup-simplify: Simplify (- 0) into 0 1537438563.606 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537438563.606 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt -1))) into 0 1537438563.606 * [misc]backup-simplify: Simplify (* 0 (sqrt -1)) into 0 1537438563.606 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537438563.607 * [misc]backup-simplify: Simplify (- 0) into 0 1537438563.607 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (sqrt -1))) into (sqrt -1) 1537438563.608 * [misc]backup-simplify: Simplify (+ 0 (sqrt -1)) into (sqrt -1) 1537438563.608 * [misc]backup-simplify: Simplify (- (sqrt -1)) into (- (sqrt -1)) 1537438563.608 * [misc]backup-simplify: Simplify (- (sqrt -1)) into (- (sqrt -1)) 1537438563.609 * [misc]backup-simplify: Simplify (sqrt (- (sqrt -1))) into (sqrt (- (sqrt -1))) 1537438563.609 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1537438563.609 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1537438563.609 * [misc]backup-simplify: Simplify (- 0) into 0 1537438563.610 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1537438563.611 * [misc]backup-simplify: Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1)) 1537438563.612 * [misc]backup-simplify: Simplify (+ (* 0 (/ 1/2 (sqrt -1))) (+ (* 1 0) (* 0 (sqrt -1)))) into 0 1537438563.612 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1537438563.612 * [misc]backup-simplify: Simplify (- 1) into -1 1537438563.612 * [misc]backup-simplify: Simplify (- (sqrt -1)) into (- (sqrt -1)) 1537438563.613 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt (- (sqrt -1))))) into (/ -1/2 (sqrt (- (sqrt -1)))) 1537438563.613 * [misc]taylor: Taking taylor expansion of (sqrt (- (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))))) in x 1537438563.613 * [misc]taylor: Taking taylor expansion of (- (+ x (* x (sqrt (- 1 (/ 1 (pow x 2))))))) in x 1537438563.613 * [misc]taylor: Taking taylor expansion of (+ x (* x (sqrt (- 1 (/ 1 (pow x 2)))))) in x 1537438563.613 * [misc]taylor: Taking taylor expansion of x in x 1537438563.613 * [misc]backup-simplify: Simplify 0 into 0 1537438563.613 * [misc]backup-simplify: Simplify 1 into 1 1537438563.613 * [misc]taylor: Taking taylor expansion of (* x (sqrt (- 1 (/ 1 (pow x 2))))) in x 1537438563.613 * [misc]taylor: Taking taylor expansion of x in x 1537438563.613 * [misc]backup-simplify: Simplify 0 into 0 1537438563.613 * [misc]backup-simplify: Simplify 1 into 1 1537438563.613 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (/ 1 (pow x 2)))) in x 1537438563.613 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x 1537438563.613 * [misc]taylor: Taking taylor expansion of 1 in x 1537438563.613 * [misc]backup-simplify: Simplify 1 into 1 1537438563.613 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1537438563.613 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1537438563.614 * [misc]taylor: Taking taylor expansion of x in x 1537438563.614 * [misc]backup-simplify: Simplify 0 into 0 1537438563.614 * [misc]backup-simplify: Simplify 1 into 1 1537438563.614 * [misc]backup-simplify: Simplify (* 1 1) into 1 1537438563.614 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1537438563.614 * [misc]backup-simplify: Simplify (- 1) into -1 1537438563.614 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1537438563.614 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1537438563.615 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1537438563.615 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1537438563.615 * [misc]backup-simplify: Simplify (- 0) into 0 1537438563.615 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537438563.615 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt -1))) into 0 1537438563.615 * [misc]backup-simplify: Simplify (* 0 (sqrt -1)) into 0 1537438563.616 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537438563.616 * [misc]backup-simplify: Simplify (- 0) into 0 1537438563.616 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (sqrt -1))) into (sqrt -1) 1537438563.617 * [misc]backup-simplify: Simplify (+ 0 (sqrt -1)) into (sqrt -1) 1537438563.617 * [misc]backup-simplify: Simplify (- (sqrt -1)) into (- (sqrt -1)) 1537438563.617 * [misc]backup-simplify: Simplify (- (sqrt -1)) into (- (sqrt -1)) 1537438563.618 * [misc]backup-simplify: Simplify (sqrt (- (sqrt -1))) into (sqrt (- (sqrt -1))) 1537438563.618 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1537438563.618 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1537438563.618 * [misc]backup-simplify: Simplify (- 0) into 0 1537438563.619 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1537438563.620 * [misc]backup-simplify: Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1)) 1537438563.620 * [misc]backup-simplify: Simplify (+ (* 0 (/ 1/2 (sqrt -1))) (+ (* 1 0) (* 0 (sqrt -1)))) into 0 1537438563.621 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1537438563.621 * [misc]backup-simplify: Simplify (- 1) into -1 1537438563.621 * [misc]backup-simplify: Simplify (- (sqrt -1)) into (- (sqrt -1)) 1537438563.622 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt (- (sqrt -1))))) into (/ -1/2 (sqrt (- (sqrt -1)))) 1537438563.622 * [misc]backup-simplify: Simplify (sqrt (- (sqrt -1))) into (sqrt (- (sqrt -1))) 1537438563.623 * [misc]backup-simplify: Simplify (/ -1/2 (sqrt (- (sqrt -1)))) into (/ -1/2 (sqrt (- (sqrt -1)))) 1537438563.624 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1537438563.624 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1537438563.624 * [misc]backup-simplify: Simplify (- 0) into 0 1537438563.624 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1537438563.625 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (sqrt -1)))))) (* 2 (sqrt -1))) into 0 1537438563.626 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 (/ 1/2 (sqrt -1))) (+ (* 0 0) (* 0 (sqrt -1))))) into (* 1/2 (/ 1 (sqrt -1))) 1537438563.627 * [misc]backup-simplify: Simplify (+ 0 (* 1/2 (/ 1 (sqrt -1)))) into (* 1/2 (/ 1 (sqrt -1))) 1537438563.627 * [misc]backup-simplify: Simplify (- (* 1/2 (/ 1 (sqrt -1)))) into (- (* 1/2 (/ 1 (sqrt -1)))) 1537438563.630 * [misc]backup-simplify: Simplify (/ (- (- (* 1/2 (/ 1 (sqrt -1)))) (pow (/ -1/2 (sqrt (- (sqrt -1)))) 2) (+)) (* 2 (sqrt (- (sqrt -1))))) into (* -1/2 (/ (+ (* 1/4 (/ 1 (pow (sqrt (- (sqrt -1))) 2))) (* 1/2 (/ 1 (sqrt -1)))) (sqrt (- (sqrt -1))))) 1537438563.632 * [misc]backup-simplify: Simplify (* -1/2 (/ (+ (* 1/4 (/ 1 (pow (sqrt (- (sqrt -1))) 2))) (* 1/2 (/ 1 (sqrt -1)))) (sqrt (- (sqrt -1))))) into (* -1/2 (/ (+ (* 1/4 (/ 1 (pow (sqrt (- (sqrt -1))) 2))) (* 1/2 (/ 1 (sqrt -1)))) (sqrt (- (sqrt -1))))) 1537438563.636 * [misc]backup-simplify: Simplify (+ (* (* -1/2 (/ (+ (* 1/4 (/ 1 (pow (sqrt (- (sqrt -1))) 2))) (* 1/2 (/ 1 (sqrt -1)))) (sqrt (- (sqrt -1))))) (pow (/ 1 (- x)) 2)) (+ (* (/ -1/2 (sqrt (- (sqrt -1)))) (/ 1 (- x))) (sqrt (- (sqrt -1))))) into (- (+ (sqrt (- (sqrt -1))) (* 1/2 (/ 1 (* (sqrt (- (sqrt -1))) x)))) (+ (* 1/4 (/ 1 (* (sqrt (- (sqrt -1))) (* (pow x 2) (sqrt -1))))) (* 1/8 (/ 1 (* (pow (sqrt (- (sqrt -1))) 3) (pow x 2)))))) 1537438563.636 * * * [misc]progress: simplifying candidates 1537438563.636 * * * * [misc]progress: [ 1 / 52 ] simplifiying candidate # 1537438563.637 * * * * [misc]progress: [ 2 / 52 ] simplifiying candidate # 1537438563.637 * * * * [misc]progress: [ 3 / 52 ] simplifiying candidate # 1537438563.637 * [enter]simplify: Simplifying (sqrt (/ 1 x)) 1537438563.637 * * [misc]simplify: iters left: 3 (4 enodes) 1537438563.638 * * [misc]simplify: iters left: 2 (6 enodes) 1537438563.639 * [exit]simplify: Simplified to (sqrt (/ 1 x)) 1537438563.639 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (+ (log (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))) (log (hypot (sqrt (/ 1 x)) (sqrt (/ (sqrt (- 1 (* x x))) x)))))) 1537438563.639 * * * * [misc]progress: [ 4 / 52 ] simplifiying candidate # 1537438563.639 * * * * [misc]progress: [ 5 / 52 ] simplifiying candidate # 1537438563.639 * * * * [misc]progress: [ 6 / 52 ] simplifiying candidate # 1537438563.639 * * * * [misc]progress: [ 7 / 52 ] simplifiying candidate # 1537438563.639 * * * * [misc]progress: [ 8 / 52 ] simplifiying candidate # 1537438563.639 * * * * [misc]progress: [ 9 / 52 ] simplifiying candidate # 1537438563.639 * * * * [misc]progress: [ 10 / 52 ] simplifiying candidate # 1537438563.639 * [enter]simplify: Simplifying (sqrt (* (cbrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) (cbrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))) 1537438563.640 * * [misc]simplify: iters left: 6 (11 enodes) 1537438563.642 * * [misc]simplify: iters left: 5 (17 enodes) 1537438563.645 * * [misc]simplify: iters left: 4 (21 enodes) 1537438563.650 * * [misc]simplify: iters left: 3 (23 enodes) 1537438563.655 * [exit]simplify: Simplified to (fabs (cbrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))) 1537438563.655 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (+ (log (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))) (log (* (fabs (cbrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))) (sqrt (cbrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))))) 1537438563.655 * * * * [misc]progress: [ 11 / 52 ] simplifiying candidate # 1537438563.655 * [enter]simplify: Simplifying (sqrt (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))) 1537438563.655 * * [misc]simplify: iters left: 6 (10 enodes) 1537438563.658 * * [misc]simplify: iters left: 5 (15 enodes) 1537438563.660 * * [misc]simplify: iters left: 4 (19 enodes) 1537438563.664 * * [misc]simplify: iters left: 3 (21 enodes) 1537438563.667 * [exit]simplify: Simplified to (sqrt (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))) 1537438563.667 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (+ (log (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))) (log (* (sqrt (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))) (sqrt (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))))) 1537438563.667 * * * * [misc]progress: [ 12 / 52 ] simplifiying candidate # 1537438563.668 * [enter]simplify: Simplifying (sqrt 1) 1537438563.668 * * [misc]simplify: iters left: 1 (2 enodes) 1537438563.669 * [exit]simplify: Simplified to 1 1537438563.669 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (+ (log (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))) (log (* 1 (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))))) 1537438563.669 * * * * [misc]progress: [ 13 / 52 ] simplifiying candidate # 1537438563.669 * [enter]simplify: Simplifying (sqrt 1) 1537438563.669 * * [misc]simplify: iters left: 1 (2 enodes) 1537438563.670 * [exit]simplify: Simplified to 1 1537438563.670 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (+ (log (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))) (log (* 1 (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))))) 1537438563.670 * * * * [misc]progress: [ 14 / 52 ] simplifiying candidate # 1537438563.670 * [enter]simplify: Simplifying (sqrt 1) 1537438563.670 * * [misc]simplify: iters left: 1 (2 enodes) 1537438563.671 * [exit]simplify: Simplified to 1 1537438563.671 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (+ (log (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))) (log (* 1 (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))))) 1537438563.671 * * * * [misc]progress: [ 15 / 52 ] simplifiying candidate # 1537438563.671 * [enter]simplify: Simplifying (sqrt (/ 1 x)) 1537438563.672 * * [misc]simplify: iters left: 3 (4 enodes) 1537438563.672 * * [misc]simplify: iters left: 2 (6 enodes) 1537438563.673 * [exit]simplify: Simplified to (sqrt (/ 1 x)) 1537438563.673 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (+ (log (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))) (log (* (sqrt (/ 1 x)) (sqrt (+ 1 (sqrt (- 1 (* x x))))))))) 1537438563.673 * * * * [misc]progress: [ 16 / 52 ] simplifiying candidate # 1537438563.673 * [enter]simplify: Simplifying (sqrt (/ 1 x)) 1537438563.674 * * [misc]simplify: iters left: 3 (4 enodes) 1537438563.674 * * [misc]simplify: iters left: 2 (6 enodes) 1537438563.675 * [exit]simplify: Simplified to (sqrt (/ 1 x)) 1537438563.675 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (+ (log (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))) (log (* (sqrt (/ 1 x)) (sqrt (+ 1 (sqrt (- 1 (* x x))))))))) 1537438563.675 * * * * [misc]progress: [ 17 / 52 ] simplifiying candidate # 1537438563.675 * [enter]simplify: Simplifying (sqrt (+ (sqrt (- 1 (* x x))) 1)) 1537438563.676 * * [misc]simplify: iters left: 6 (7 enodes) 1537438563.677 * * [misc]simplify: iters left: 5 (12 enodes) 1537438563.680 * * [misc]simplify: iters left: 4 (16 enodes) 1537438563.685 * * [misc]simplify: iters left: 3 (18 enodes) 1537438563.690 * [exit]simplify: Simplified to (sqrt (+ 1 (sqrt (- 1 (* x x))))) 1537438563.690 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (+ (log (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))) (log (* (sqrt (+ 1 (sqrt (- 1 (* x x))))) (sqrt (/ 1 x)))))) 1537438563.690 * * * * [misc]progress: [ 18 / 52 ] simplifiying candidate # 1537438563.690 * [enter]simplify: Simplifying (sqrt (+ (* 1 x) (* x (sqrt (- 1 (* x x)))))) 1537438563.691 * * [misc]simplify: iters left: 6 (9 enodes) 1537438563.695 * * [misc]simplify: iters left: 5 (16 enodes) 1537438563.701 * * [misc]simplify: iters left: 4 (24 enodes) 1537438563.707 * * [misc]simplify: iters left: 3 (28 enodes) 1537438563.716 * * [misc]simplify: iters left: 2 (31 enodes) 1537438563.725 * * [misc]simplify: iters left: 1 (34 enodes) 1537438563.735 * [exit]simplify: Simplified to (sqrt (fma (sqrt (- 1 (* x x))) x x)) 1537438563.735 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (+ (log (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))) (log (/ (sqrt (fma (sqrt (- 1 (* x x))) x x)) (sqrt (* x x)))))) 1537438563.735 * * * * [misc]progress: [ 19 / 52 ] simplifiying candidate # 1537438563.736 * [enter]simplify: Simplifying (sqrt (+ (pow (/ 1 x) 3) (pow (/ (sqrt (- 1 (* x x))) x) 3))) 1537438563.736 * * [misc]simplify: iters left: 6 (12 enodes) 1537438563.740 * * [misc]simplify: iters left: 5 (28 enodes) 1537438563.747 * * [misc]simplify: iters left: 4 (57 enodes) 1537438563.763 * * [misc]simplify: iters left: 3 (98 enodes) 1537438563.787 * * [misc]simplify: iters left: 2 (151 enodes) 1537438563.834 * * [misc]simplify: iters left: 1 (258 enodes) 1537438564.035 * [exit]simplify: Simplified to (sqrt (fma (fma (/ 1 x) (/ 1 x) -1) (/ (sqrt (- 1 (* x x))) x) (/ (/ 1 x) (* x x)))) 1537438564.035 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (+ (log (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))) (log (/ (sqrt (fma (fma (/ 1 x) (/ 1 x) -1) (/ (sqrt (- 1 (* x x))) x) (/ (/ 1 x) (* x x)))) (sqrt (+ (* (/ 1 x) (/ 1 x)) (- (* (/ (sqrt (- 1 (* x x))) x) (/ (sqrt (- 1 (* x x))) x)) (* (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))))))) 1537438564.035 * * * * [misc]progress: [ 20 / 52 ] simplifiying candidate # 1537438564.035 * [enter]simplify: Simplifying (sqrt (- (* (/ 1 x) (/ 1 x)) (* (/ (sqrt (- 1 (* x x))) x) (/ (sqrt (- 1 (* x x))) x)))) 1537438564.036 * * [misc]simplify: iters left: 6 (11 enodes) 1537438564.039 * * [misc]simplify: iters left: 5 (29 enodes) 1537438564.047 * * [misc]simplify: iters left: 4 (52 enodes) 1537438564.061 * * [misc]simplify: iters left: 3 (92 enodes) 1537438564.083 * * [misc]simplify: iters left: 2 (172 enodes) 1537438564.150 * * [misc]simplify: iters left: 1 (363 enodes) 1537438564.421 * [exit]simplify: Simplified to (sqrt (fma (/ 1 x) (/ 1 x) (/ (fma x x -1) (* x x)))) 1537438564.421 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (+ (log (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))) (log (/ (sqrt (fma (/ 1 x) (/ 1 x) (/ (fma x x -1) (* x x)))) (sqrt (- (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))))) 1537438564.421 * * * * [misc]progress: [ 21 / 52 ] simplifiying candidate # 1537438564.421 * * * * [misc]progress: [ 22 / 52 ] simplifiying candidate # 1537438564.421 * [enter]simplify: Simplifying (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) 1537438564.421 * * [misc]simplify: iters left: 6 (9 enodes) 1537438564.423 * * [misc]simplify: iters left: 5 (14 enodes) 1537438564.426 * * [misc]simplify: iters left: 4 (18 enodes) 1537438564.429 * * [misc]simplify: iters left: 3 (20 enodes) 1537438564.432 * [exit]simplify: Simplified to (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) 1537438564.432 * [misc]simplify: Simplified (2 2 1 1) to (λ (x) (+ (log (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))) (log (fabs (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))))) 1537438564.432 * * * * [misc]progress: [ 23 / 52 ] simplifiying candidate # 1537438564.432 * * * * [misc]progress: [ 24 / 52 ] simplifiying candidate # 1537438564.432 * * * * [misc]progress: [ 25 / 52 ] simplifiying candidate # 1537438564.432 * * * * [misc]progress: [ 26 / 52 ] simplifiying candidate # 1537438564.432 * [enter]simplify: Simplifying (sqrt (/ 1 x)) 1537438564.433 * * [misc]simplify: iters left: 3 (4 enodes) 1537438564.433 * * [misc]simplify: iters left: 2 (6 enodes) 1537438564.434 * [exit]simplify: Simplified to (sqrt (/ 1 x)) 1537438564.434 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (+ (log (hypot (sqrt (/ 1 x)) (sqrt (/ (sqrt (- 1 (* x x))) x)))) (log (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))) 1537438564.434 * * * * [misc]progress: [ 27 / 52 ] simplifiying candidate # 1537438564.434 * * * * [misc]progress: [ 28 / 52 ] simplifiying candidate # 1537438564.434 * * * * [misc]progress: [ 29 / 52 ] simplifiying candidate # 1537438564.434 * * * * [misc]progress: [ 30 / 52 ] simplifiying candidate # 1537438564.435 * * * * [misc]progress: [ 31 / 52 ] simplifiying candidate # 1537438564.435 * * * * [misc]progress: [ 32 / 52 ] simplifiying candidate # 1537438564.435 * * * * [misc]progress: [ 33 / 52 ] simplifiying candidate # 1537438564.435 * [enter]simplify: Simplifying (sqrt (* (cbrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) (cbrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))) 1537438564.435 * * [misc]simplify: iters left: 6 (11 enodes) 1537438564.438 * * [misc]simplify: iters left: 5 (17 enodes) 1537438564.441 * * [misc]simplify: iters left: 4 (21 enodes) 1537438564.444 * * [misc]simplify: iters left: 3 (23 enodes) 1537438564.448 * [exit]simplify: Simplified to (fabs (cbrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))) 1537438564.448 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (+ (log (* (fabs (cbrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))) (sqrt (cbrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))) (log (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))) 1537438564.448 * * * * [misc]progress: [ 34 / 52 ] simplifiying candidate # 1537438564.449 * [enter]simplify: Simplifying (sqrt (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))) 1537438564.449 * * [misc]simplify: iters left: 6 (10 enodes) 1537438564.451 * * [misc]simplify: iters left: 5 (15 enodes) 1537438564.454 * * [misc]simplify: iters left: 4 (19 enodes) 1537438564.457 * * [misc]simplify: iters left: 3 (21 enodes) 1537438564.461 * [exit]simplify: Simplified to (sqrt (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))) 1537438564.461 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (+ (log (* (sqrt (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))) (sqrt (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))) (log (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))) 1537438564.461 * * * * [misc]progress: [ 35 / 52 ] simplifiying candidate # 1537438564.461 * [enter]simplify: Simplifying (sqrt 1) 1537438564.461 * * [misc]simplify: iters left: 1 (2 enodes) 1537438564.464 * [exit]simplify: Simplified to 1 1537438564.465 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (+ (log (* 1 (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))) (log (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))) 1537438564.465 * * * * [misc]progress: [ 36 / 52 ] simplifiying candidate # 1537438564.465 * [enter]simplify: Simplifying (sqrt 1) 1537438564.465 * * [misc]simplify: iters left: 1 (2 enodes) 1537438564.466 * [exit]simplify: Simplified to 1 1537438564.466 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (+ (log (* 1 (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))) (log (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))) 1537438564.466 * * * * [misc]progress: [ 37 / 52 ] simplifiying candidate # 1537438564.466 * [enter]simplify: Simplifying (sqrt 1) 1537438564.466 * * [misc]simplify: iters left: 1 (2 enodes) 1537438564.467 * [exit]simplify: Simplified to 1 1537438564.467 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (+ (log (* 1 (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))) (log (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))) 1537438564.467 * * * * [misc]progress: [ 38 / 52 ] simplifiying candidate # 1537438564.467 * [enter]simplify: Simplifying (sqrt (/ 1 x)) 1537438564.467 * * [misc]simplify: iters left: 3 (4 enodes) 1537438564.468 * * [misc]simplify: iters left: 2 (6 enodes) 1537438564.469 * [exit]simplify: Simplified to (sqrt (/ 1 x)) 1537438564.469 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (+ (log (* (sqrt (/ 1 x)) (sqrt (+ 1 (sqrt (- 1 (* x x))))))) (log (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))) 1537438564.469 * * * * [misc]progress: [ 39 / 52 ] simplifiying candidate # 1537438564.469 * [enter]simplify: Simplifying (sqrt (/ 1 x)) 1537438564.469 * * [misc]simplify: iters left: 3 (4 enodes) 1537438564.470 * * [misc]simplify: iters left: 2 (6 enodes) 1537438564.471 * [exit]simplify: Simplified to (sqrt (/ 1 x)) 1537438564.471 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (+ (log (* (sqrt (/ 1 x)) (sqrt (+ 1 (sqrt (- 1 (* x x))))))) (log (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))) 1537438564.471 * * * * [misc]progress: [ 40 / 52 ] simplifiying candidate # 1537438564.471 * [enter]simplify: Simplifying (sqrt (+ (sqrt (- 1 (* x x))) 1)) 1537438564.471 * * [misc]simplify: iters left: 6 (7 enodes) 1537438564.473 * * [misc]simplify: iters left: 5 (12 enodes) 1537438564.475 * * [misc]simplify: iters left: 4 (16 enodes) 1537438564.478 * * [misc]simplify: iters left: 3 (18 enodes) 1537438564.480 * [exit]simplify: Simplified to (sqrt (+ 1 (sqrt (- 1 (* x x))))) 1537438564.481 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (+ (log (* (sqrt (+ 1 (sqrt (- 1 (* x x))))) (sqrt (/ 1 x)))) (log (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))) 1537438564.481 * * * * [misc]progress: [ 41 / 52 ] simplifiying candidate # 1537438564.481 * [enter]simplify: Simplifying (sqrt (+ (* 1 x) (* x (sqrt (- 1 (* x x)))))) 1537438564.481 * * [misc]simplify: iters left: 6 (9 enodes) 1537438564.484 * * [misc]simplify: iters left: 5 (16 enodes) 1537438564.487 * * [misc]simplify: iters left: 4 (24 enodes) 1537438564.491 * * [misc]simplify: iters left: 3 (28 enodes) 1537438564.495 * * [misc]simplify: iters left: 2 (31 enodes) 1537438564.500 * * [misc]simplify: iters left: 1 (34 enodes) 1537438564.506 * [exit]simplify: Simplified to (sqrt (fma (sqrt (- 1 (* x x))) x x)) 1537438564.506 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (+ (log (/ (sqrt (fma (sqrt (- 1 (* x x))) x x)) (sqrt (* x x)))) (log (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))) 1537438564.506 * * * * [misc]progress: [ 42 / 52 ] simplifiying candidate # 1537438564.506 * [enter]simplify: Simplifying (sqrt (+ (pow (/ 1 x) 3) (pow (/ (sqrt (- 1 (* x x))) x) 3))) 1537438564.507 * * [misc]simplify: iters left: 6 (12 enodes) 1537438564.511 * * [misc]simplify: iters left: 5 (28 enodes) 1537438564.518 * * [misc]simplify: iters left: 4 (57 enodes) 1537438564.536 * * [misc]simplify: iters left: 3 (98 enodes) 1537438564.581 * * [misc]simplify: iters left: 2 (151 enodes) 1537438564.626 * * [misc]simplify: iters left: 1 (258 enodes) 1537438564.815 * [exit]simplify: Simplified to (sqrt (fma (fma (/ 1 x) (/ 1 x) -1) (/ (sqrt (- 1 (* x x))) x) (/ (/ 1 x) (* x x)))) 1537438564.816 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (+ (log (/ (sqrt (fma (fma (/ 1 x) (/ 1 x) -1) (/ (sqrt (- 1 (* x x))) x) (/ (/ 1 x) (* x x)))) (sqrt (+ (* (/ 1 x) (/ 1 x)) (- (* (/ (sqrt (- 1 (* x x))) x) (/ (sqrt (- 1 (* x x))) x)) (* (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))))) (log (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))) 1537438564.816 * * * * [misc]progress: [ 43 / 52 ] simplifiying candidate # 1537438564.816 * [enter]simplify: Simplifying (sqrt (- (* (/ 1 x) (/ 1 x)) (* (/ (sqrt (- 1 (* x x))) x) (/ (sqrt (- 1 (* x x))) x)))) 1537438564.817 * * [misc]simplify: iters left: 6 (11 enodes) 1537438564.820 * * [misc]simplify: iters left: 5 (29 enodes) 1537438564.828 * * [misc]simplify: iters left: 4 (52 enodes) 1537438564.839 * * [misc]simplify: iters left: 3 (92 enodes) 1537438564.876 * * [misc]simplify: iters left: 2 (172 enodes) 1537438564.988 * * [misc]simplify: iters left: 1 (363 enodes) 1537438565.295 * [exit]simplify: Simplified to (sqrt (fma (/ 1 x) (/ 1 x) (/ (fma x x -1) (* x x)))) 1537438565.295 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (+ (log (/ (sqrt (fma (/ 1 x) (/ 1 x) (/ (fma x x -1) (* x x)))) (sqrt (- (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))) (log (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))) 1537438565.295 * * * * [misc]progress: [ 44 / 52 ] simplifiying candidate # 1537438565.295 * * * * [misc]progress: [ 45 / 52 ] simplifiying candidate # 1537438565.295 * [enter]simplify: Simplifying (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) 1537438565.296 * * [misc]simplify: iters left: 6 (9 enodes) 1537438565.298 * * [misc]simplify: iters left: 5 (14 enodes) 1537438565.300 * * [misc]simplify: iters left: 4 (18 enodes) 1537438565.306 * * [misc]simplify: iters left: 3 (20 enodes) 1537438565.309 * [exit]simplify: Simplified to (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))) 1537438565.309 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (+ (log (fabs (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))) (log (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))) 1537438565.309 * * * * [misc]progress: [ 46 / 52 ] simplifiying candidate # 1537438565.309 * * * * [misc]progress: [ 47 / 52 ] simplifiying candidate # 1537438565.309 * [enter]simplify: Simplifying (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0))))) 1537438565.309 * [misc]simplify: Simplified (2 2 1) to (λ (x) (+ (log (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))) (log +nan.0))) 1537438565.309 * * * * [misc]progress: [ 48 / 52 ] simplifiying candidate # 1537438565.310 * [enter]simplify: Simplifying (+ (* 1/8 (* (/ 1 (pow x 2)) (sqrt (/ 1 (pow (sqrt -1) 3))))) (+ (sqrt (sqrt -1)) (* 1/2 (* (/ 1 x) (sqrt (/ 1 (sqrt -1))))))) 1537438565.311 * * [misc]simplify: iters left: 6 (23 enodes) 1537438565.322 * * [misc]simplify: iters left: 5 (46 enodes) 1537438565.352 * * [misc]simplify: iters left: 4 (109 enodes) 1537438565.420 * * [misc]simplify: iters left: 3 (214 enodes) 1537438565.524 * * [misc]simplify: iters left: 2 (385 enodes) 1537438565.808 * [exit]simplify: Simplified to (fma (/ 1/8 x) (/ (sqrt (/ -1 (sqrt -1))) x) (fma (/ 1/2 x) (sqrt (/ 1 (sqrt -1))) (sqrt (sqrt -1)))) 1537438565.808 * [misc]simplify: Simplified (2 2 1) to (λ (x) (+ (log (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))) (log (fma (/ 1/8 x) (/ (sqrt (/ -1 (sqrt -1))) x) (fma (/ 1/2 x) (sqrt (/ 1 (sqrt -1))) (sqrt (sqrt -1))))))) 1537438565.808 * * * * [misc]progress: [ 49 / 52 ] simplifiying candidate # 1537438565.809 * [enter]simplify: Simplifying (- (+ (sqrt (- (sqrt -1))) (* 1/2 (/ 1 (* (sqrt (- (sqrt -1))) x)))) (+ (* 1/4 (/ 1 (* (sqrt (- (sqrt -1))) (* (pow x 2) (sqrt -1))))) (* 1/8 (/ 1 (* (pow (sqrt (- (sqrt -1))) 3) (pow x 2)))))) 1537438565.811 * * [misc]simplify: iters left: 6 (26 enodes) 1537438565.829 * * [misc]simplify: iters left: 5 (61 enodes) 1537438565.864 * * [misc]simplify: iters left: 4 (132 enodes) 1537438565.924 * * [misc]simplify: iters left: 3 (304 enodes) 1537438566.137 * [exit]simplify: Simplified to (- (- (/ 1/2 (* (sqrt (- (sqrt -1))) x)) (/ (/ 1/8 (- (sqrt -1))) (* (sqrt (- (sqrt -1))) (* x x)))) (- (/ 1/4 (* (* (sqrt -1) (* x x)) (sqrt (- (sqrt -1))))) (sqrt (- (sqrt -1))))) 1537438566.137 * [misc]simplify: Simplified (2 2 1) to (λ (x) (+ (log (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))) (log (- (- (/ 1/2 (* (sqrt (- (sqrt -1))) x)) (/ (/ 1/8 (- (sqrt -1))) (* (sqrt (- (sqrt -1))) (* x x)))) (- (/ 1/4 (* (* (sqrt -1) (* x x)) (sqrt (- (sqrt -1))))) (sqrt (- (sqrt -1)))))))) 1537438566.137 * * * * [misc]progress: [ 50 / 52 ] simplifiying candidate # 1537438566.137 * [enter]simplify: Simplifying (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0))))) 1537438566.137 * [misc]simplify: Simplified (2 1 1) to (λ (x) (+ (log +nan.0) (log (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))) 1537438566.137 * * * * [misc]progress: [ 51 / 52 ] simplifiying candidate # 1537438566.137 * [enter]simplify: Simplifying (+ (* 1/8 (* (/ 1 (pow x 2)) (sqrt (/ 1 (pow (sqrt -1) 3))))) (+ (sqrt (sqrt -1)) (* 1/2 (* (/ 1 x) (sqrt (/ 1 (sqrt -1))))))) 1537438566.140 * * [misc]simplify: iters left: 6 (23 enodes) 1537438566.151 * * [misc]simplify: iters left: 5 (46 enodes) 1537438566.185 * * [misc]simplify: iters left: 4 (109 enodes) 1537438566.248 * * [misc]simplify: iters left: 3 (214 enodes) 1537438566.327 * * [misc]simplify: iters left: 2 (385 enodes) 1537438566.710 * [exit]simplify: Simplified to (fma (/ 1/8 x) (/ (sqrt (/ -1 (sqrt -1))) x) (fma (/ 1/2 x) (sqrt (/ 1 (sqrt -1))) (sqrt (sqrt -1)))) 1537438566.710 * [misc]simplify: Simplified (2 1 1) to (λ (x) (+ (log (fma (/ 1/8 x) (/ (sqrt (/ -1 (sqrt -1))) x) (fma (/ 1/2 x) (sqrt (/ 1 (sqrt -1))) (sqrt (sqrt -1))))) (log (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))) 1537438566.710 * * * * [misc]progress: [ 52 / 52 ] simplifiying candidate # 1537438566.710 * [enter]simplify: Simplifying (- (+ (sqrt (- (sqrt -1))) (* 1/2 (/ 1 (* (sqrt (- (sqrt -1))) x)))) (+ (* 1/4 (/ 1 (* (sqrt (- (sqrt -1))) (* (pow x 2) (sqrt -1))))) (* 1/8 (/ 1 (* (pow (sqrt (- (sqrt -1))) 3) (pow x 2)))))) 1537438566.712 * * [misc]simplify: iters left: 6 (26 enodes) 1537438566.721 * * [misc]simplify: iters left: 5 (61 enodes) 1537438566.751 * * [misc]simplify: iters left: 4 (132 enodes) 1537438566.829 * * [misc]simplify: iters left: 3 (304 enodes) 1537438567.056 * [exit]simplify: Simplified to (- (- (/ 1/2 (* (sqrt (- (sqrt -1))) x)) (/ (/ 1/8 (- (sqrt -1))) (* (sqrt (- (sqrt -1))) (* x x)))) (- (/ 1/4 (* (* (sqrt -1) (* x x)) (sqrt (- (sqrt -1))))) (sqrt (- (sqrt -1))))) 1537438567.057 * [misc]simplify: Simplified (2 1 1) to (λ (x) (+ (log (- (- (/ 1/2 (* (sqrt (- (sqrt -1))) x)) (/ (/ 1/8 (- (sqrt -1))) (* (sqrt (- (sqrt -1))) (* x x)))) (- (/ 1/4 (* (* (sqrt -1) (* x x)) (sqrt (- (sqrt -1))))) (sqrt (- (sqrt -1)))))) (log (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))))) 1537438567.057 * * * [misc]progress: adding candidates to table 1537438568.112 * [misc]progress: [Phase 3 of 3] Extracting. 1537438568.118 * [enter]simplify: Simplifying (+ (log (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))) (log (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))) 1537438568.119 * * [misc]simplify: iters left: 6 (11 enodes) 1537438568.120 * * [misc]simplify: iters left: 5 (14 enodes) 1537438568.123 * [exit]simplify: Simplified to (+ (log (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x)))) (log (sqrt (+ (/ 1 x) (/ (sqrt (- 1 (* x x))) x))))) 1537438568.123 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1537438568.156 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1537438568.160 * * * * [misc]points: Setting MPFR precision to 64 1537438568.161 * * * * [misc]points: Setting MPFR precision to 320 1537438568.162 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1537438568.166 * * * * [misc]points: Setting MPFR precision to 64 1537438568.168 * * * * [misc]points: Setting MPFR precision to 320 1537438568.170 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1537438568.173 * * * * [misc]points: Setting MPFR precision to 64 1537438568.175 * * * * [misc]points: Setting MPFR precision to 320 1537438568.177 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1537438568.179 * * * * [misc]points: Setting MPFR precision to 64 1537438568.182 * * * * [misc]points: Setting MPFR precision to 320 1537438568.186 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1537438568.188 * * * * [misc]points: Setting MPFR precision to 64 1537438568.196 * * * * [misc]points: Setting MPFR precision to 320 1537438568.204 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1537438568.206 * * * * [misc]points: Setting MPFR precision to 64 1537438568.227 * * * * [misc]points: Setting MPFR precision to 320 1537438568.267 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1537438568.269 * * * * [misc]points: Setting MPFR precision to 64 1537438568.313 * * * * [misc]points: Setting MPFR precision to 320 1537438568.345 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1537438568.347 * * * * [misc]points: Setting MPFR precision to 64 1537438568.506 * * * * [misc]points: Setting MPFR precision to 320 1537438568.604 * * * * [misc]points: Computing exacts for 8000 points 1537438568.606 * * * * [misc]points: Setting MPFR precision to 64 1537438569.117 * * * * [misc]points: Setting MPFR precision to 320 1537438569.527 * * * * [misc]points: Filtering points with unrepresentable outputs 1537438569.528 * * * * [misc]points: Sampling 5973 additional inputs, on iter 1 have 2027 / 8000 1537438569.543 * * * * [misc]points: Computing exacts on every 373 of 5973 points to ramp up precision 1537438569.545 * * * * [misc]points: Setting MPFR precision to 64 1537438569.545 * * * * [misc]points: Setting MPFR precision to 320 1537438569.546 * * * * [misc]points: Computing exacts on every 186 of 5973 points to ramp up precision 1537438569.548 * * * * [misc]points: Setting MPFR precision to 64 1537438569.549 * * * * [misc]points: Setting MPFR precision to 320 1537438569.550 * * * * [misc]points: Computing exacts on every 93 of 5973 points to ramp up precision 1537438569.552 * * * * [misc]points: Setting MPFR precision to 64 1537438569.554 * * * * [misc]points: Setting MPFR precision to 320 1537438569.556 * * * * [misc]points: Computing exacts on every 46 of 5973 points to ramp up precision 1537438569.558 * * * * [misc]points: Setting MPFR precision to 64 1537438569.964 * * * * [misc]points: Setting MPFR precision to 320 1537438569.975 * * * * [misc]points: Computing exacts on every 23 of 5973 points to ramp up precision 1537438569.979 * * * * [misc]points: Setting MPFR precision to 64 1537438569.994 * * * * [misc]points: Setting MPFR precision to 320 1537438570.009 * * * * [misc]points: Computing exacts on every 11 of 5973 points to ramp up precision 1537438570.013 * * * * [misc]points: Setting MPFR precision to 64 1537438570.044 * * * * [misc]points: Setting MPFR precision to 320 1537438570.076 * * * * [misc]points: Computing exacts on every 5 of 5973 points to ramp up precision 1537438570.079 * * * * [misc]points: Setting MPFR precision to 64 1537438570.136 * * * * [misc]points: Setting MPFR precision to 320 1537438570.195 * * * * [misc]points: Computing exacts on every 2 of 5973 points to ramp up precision 1537438570.197 * * * * [misc]points: Setting MPFR precision to 64 1537438570.259 * * * * [misc]points: Setting MPFR precision to 320 1537438570.413 * * * * [misc]points: Computing exacts for 5973 points 1537438570.416 * * * * [misc]points: Setting MPFR precision to 64 1537438570.692 * * * * [misc]points: Setting MPFR precision to 320 1537438571.015 * * * * [misc]points: Setting MPFR precision to 576 1537438571.419 * * * * [misc]points: Filtering points with unrepresentable outputs 1537438571.420 * * * * [misc]points: Sampling 4487 additional inputs, on iter 2 have 3513 / 8000 1537438571.436 * * * * [misc]points: Computing exacts on every 280 of 4487 points to ramp up precision 1537438571.441 * * * * [misc]points: Setting MPFR precision to 320 1537438571.442 * * * * [misc]points: Setting MPFR precision to 576 1537438571.443 * * * * [misc]points: Computing exacts on every 140 of 4487 points to ramp up precision 1537438571.448 * * * * [misc]points: Setting MPFR precision to 320 1537438571.450 * * * * [misc]points: Setting MPFR precision to 576 1537438571.452 * * * * [misc]points: Computing exacts on every 70 of 4487 points to ramp up precision 1537438571.457 * * * * [misc]points: Setting MPFR precision to 320 1537438571.461 * * * * [misc]points: Setting MPFR precision to 576 1537438571.466 * * * * [misc]points: Computing exacts on every 35 of 4487 points to ramp up precision 1537438571.470 * * * * [misc]points: Setting MPFR precision to 320 1537438571.490 * * * * [misc]points: Setting MPFR precision to 576 1537438571.495 * * * * [misc]points: Computing exacts on every 17 of 4487 points to ramp up precision 1537438571.497 * * * * [misc]points: Setting MPFR precision to 320 1537438571.514 * * * * [misc]points: Setting MPFR precision to 576 1537438571.527 * * * * [misc]points: Computing exacts on every 8 of 4487 points to ramp up precision 1537438571.529 * * * * [misc]points: Setting MPFR precision to 320 1537438571.546 * * * * [misc]points: Setting MPFR precision to 576 1537438571.574 * * * * [misc]points: Computing exacts on every 4 of 4487 points to ramp up precision 1537438571.577 * * * * [misc]points: Setting MPFR precision to 320 1537438571.617 * * * * [misc]points: Setting MPFR precision to 576 1537438571.703 * * * * [misc]points: Computing exacts on every 2 of 4487 points to ramp up precision 1537438571.705 * * * * [misc]points: Setting MPFR precision to 320 1537438571.771 * * * * [misc]points: Setting MPFR precision to 576 1537438571.878 * * * * [misc]points: Computing exacts for 4487 points 1537438571.883 * * * * [misc]points: Setting MPFR precision to 320 1537438572.126 * * * * [misc]points: Setting MPFR precision to 576 1537438572.761 * * * * [misc]points: Filtering points with unrepresentable outputs 1537438572.762 * * * * [misc]points: Sampling 3309 additional inputs, on iter 3 have 4691 / 8000 1537438572.770 * * * * [misc]points: Computing exacts on every 206 of 3309 points to ramp up precision 1537438572.773 * * * * [misc]points: Setting MPFR precision to 320 1537438572.774 * * * * [misc]points: Setting MPFR precision to 576 1537438572.774 * * * * [misc]points: Computing exacts on every 103 of 3309 points to ramp up precision 1537438572.798 * * * * [misc]points: Setting MPFR precision to 320 1537438572.800 * * * * [misc]points: Setting MPFR precision to 576 1537438572.801 * * * * [misc]points: Computing exacts on every 51 of 3309 points to ramp up precision 1537438572.804 * * * * [misc]points: Setting MPFR precision to 320 1537438572.810 * * * * [misc]points: Setting MPFR precision to 576 1537438572.815 * * * * [misc]points: Computing exacts on every 25 of 3309 points to ramp up precision 1537438572.820 * * * * [misc]points: Setting MPFR precision to 320 1537438572.828 * * * * [misc]points: Setting MPFR precision to 576 1537438572.836 * * * * [misc]points: Computing exacts on every 12 of 3309 points to ramp up precision 1537438572.841 * * * * [misc]points: Setting MPFR precision to 320 1537438572.858 * * * * [misc]points: Setting MPFR precision to 576 1537438572.875 * * * * [misc]points: Computing exacts on every 6 of 3309 points to ramp up precision 1537438572.880 * * * * [misc]points: Setting MPFR precision to 320 1537438572.910 * * * * [misc]points: Setting MPFR precision to 576 1537438572.940 * * * * [misc]points: Computing exacts on every 3 of 3309 points to ramp up precision 1537438572.944 * * * * [misc]points: Setting MPFR precision to 320 1537438573.010 * * * * [misc]points: Setting MPFR precision to 576 1537438573.060 * * * * [misc]points: Computing exacts for 3309 points 1537438573.063 * * * * [misc]points: Setting MPFR precision to 320 1537438573.246 * * * * [misc]points: Setting MPFR precision to 576 1537438573.476 * * * * [misc]points: Filtering points with unrepresentable outputs 1537438573.477 * * * * [misc]points: Sampling 2488 additional inputs, on iter 4 have 5512 / 8000 1537438573.489 * * * * [misc]points: Computing exacts on every 155 of 2488 points to ramp up precision 1537438573.494 * * * * [misc]points: Setting MPFR precision to 320 1537438573.496 * * * * [misc]points: Setting MPFR precision to 576 1537438573.497 * * * * [misc]points: Computing exacts on every 77 of 2488 points to ramp up precision 1537438573.501 * * * * [misc]points: Setting MPFR precision to 320 1537438573.504 * * * * [misc]points: Setting MPFR precision to 576 1537438573.506 * * * * [misc]points: Computing exacts on every 38 of 2488 points to ramp up precision 1537438573.511 * * * * [misc]points: Setting MPFR precision to 320 1537438573.515 * * * * [misc]points: Setting MPFR precision to 576 1537438573.519 * * * * [misc]points: Computing exacts on every 19 of 2488 points to ramp up precision 1537438573.523 * * * * [misc]points: Setting MPFR precision to 320 1537438573.530 * * * * [misc]points: Setting MPFR precision to 576 1537438573.537 * * * * [misc]points: Computing exacts on every 9 of 2488 points to ramp up precision 1537438573.541 * * * * [misc]points: Setting MPFR precision to 320 1537438573.554 * * * * [misc]points: Setting MPFR precision to 576 1537438573.562 * * * * [misc]points: Computing exacts on every 4 of 2488 points to ramp up precision 1537438573.565 * * * * [misc]points: Setting MPFR precision to 320 1537438573.617 * * * * [misc]points: Setting MPFR precision to 576 1537438573.649 * * * * [misc]points: Computing exacts on every 2 of 2488 points to ramp up precision 1537438573.654 * * * * [misc]points: Setting MPFR precision to 320 1537438573.695 * * * * [misc]points: Setting MPFR precision to 576 1537438573.741 * * * * [misc]points: Computing exacts for 2488 points 1537438573.746 * * * * [misc]points: Setting MPFR precision to 320 1537438573.933 * * * * [misc]points: Setting MPFR precision to 576 1537438574.081 * * * * [misc]points: Filtering points with unrepresentable outputs 1537438574.081 * * * * [misc]points: Sampling 1846 additional inputs, on iter 5 have 6154 / 8000 1537438574.087 * * * * [misc]points: Computing exacts on every 115 of 1846 points to ramp up precision 1537438574.092 * * * * [misc]points: Setting MPFR precision to 320 1537438574.094 * * * * [misc]points: Setting MPFR precision to 576 1537438574.095 * * * * [misc]points: Computing exacts on every 57 of 1846 points to ramp up precision 1537438574.100 * * * * [misc]points: Setting MPFR precision to 320 1537438574.102 * * * * [misc]points: Setting MPFR precision to 576 1537438574.104 * * * * [misc]points: Computing exacts on every 28 of 1846 points to ramp up precision 1537438574.109 * * * * [misc]points: Setting MPFR precision to 320 1537438574.113 * * * * [misc]points: Setting MPFR precision to 576 1537438574.117 * * * * [misc]points: Computing exacts on every 14 of 1846 points to ramp up precision 1537438574.122 * * * * [misc]points: Setting MPFR precision to 320 1537438574.130 * * * * [misc]points: Setting MPFR precision to 576 1537438574.138 * * * * [misc]points: Computing exacts on every 7 of 1846 points to ramp up precision 1537438574.143 * * * * [misc]points: Setting MPFR precision to 320 1537438574.150 * * * * [misc]points: Setting MPFR precision to 576 1537438574.158 * * * * [misc]points: Computing exacts on every 3 of 1846 points to ramp up precision 1537438574.161 * * * * [misc]points: Setting MPFR precision to 320 1537438574.208 * * * * [misc]points: Setting MPFR precision to 576 1537438574.227 * * * * [misc]points: Computing exacts for 1846 points 1537438574.230 * * * * [misc]points: Setting MPFR precision to 320 1537438574.304 * * * * [misc]points: Setting MPFR precision to 576 1537438574.480 * * * * [misc]points: Filtering points with unrepresentable outputs 1537438574.481 * * * * [misc]points: Sampling 1397 additional inputs, on iter 6 have 6603 / 8000 1537438574.487 * * * * [misc]points: Computing exacts on every 87 of 1397 points to ramp up precision 1537438574.492 * * * * [misc]points: Setting MPFR precision to 320 1537438574.493 * * * * [misc]points: Setting MPFR precision to 576 1537438574.493 * * * * [misc]points: Computing exacts on every 43 of 1397 points to ramp up precision 1537438574.496 * * * * [misc]points: Setting MPFR precision to 320 1537438574.497 * * * * [misc]points: Setting MPFR precision to 576 1537438574.498 * * * * [misc]points: Computing exacts on every 21 of 1397 points to ramp up precision 1537438574.500 * * * * [misc]points: Setting MPFR precision to 320 1537438574.502 * * * * [misc]points: Setting MPFR precision to 576 1537438574.505 * * * * [misc]points: Computing exacts on every 10 of 1397 points to ramp up precision 1537438574.507 * * * * [misc]points: Setting MPFR precision to 320 1537438574.511 * * * * [misc]points: Setting MPFR precision to 576 1537438574.516 * * * * [misc]points: Computing exacts on every 5 of 1397 points to ramp up precision 1537438574.519 * * * * [misc]points: Setting MPFR precision to 320 1537438574.534 * * * * [misc]points: Setting MPFR precision to 576 1537438574.549 * * * * [misc]points: Computing exacts on every 2 of 1397 points to ramp up precision 1537438574.552 * * * * [misc]points: Setting MPFR precision to 320 1537438574.598 * * * * [misc]points: Setting MPFR precision to 576 1537438574.630 * * * * [misc]points: Computing exacts for 1397 points 1537438574.635 * * * * [misc]points: Setting MPFR precision to 320 1537438574.716 * * * * [misc]points: Setting MPFR precision to 576 1537438574.808 * * * * [misc]points: Filtering points with unrepresentable outputs 1537438574.809 * * * * [misc]points: Sampling 1058 additional inputs, on iter 7 have 6942 / 8000 1537438574.812 * * * * [misc]points: Computing exacts on every 66 of 1058 points to ramp up precision 1537438574.817 * * * * [misc]points: Setting MPFR precision to 320 1537438574.818 * * * * [misc]points: Setting MPFR precision to 576 1537438574.819 * * * * [misc]points: Computing exacts on every 33 of 1058 points to ramp up precision 1537438574.821 * * * * [misc]points: Setting MPFR precision to 320 1537438574.822 * * * * [misc]points: Setting MPFR precision to 576 1537438574.823 * * * * [misc]points: Computing exacts on every 16 of 1058 points to ramp up precision 1537438574.828 * * * * [misc]points: Setting MPFR precision to 320 1537438574.830 * * * * [misc]points: Setting MPFR precision to 576 1537438574.832 * * * * [misc]points: Computing exacts on every 8 of 1058 points to ramp up precision 1537438574.834 * * * * [misc]points: Setting MPFR precision to 320 1537438574.838 * * * * [misc]points: Setting MPFR precision to 576 1537438574.842 * * * * [misc]points: Computing exacts on every 4 of 1058 points to ramp up precision 1537438574.845 * * * * [misc]points: Setting MPFR precision to 320 1537438574.851 * * * * [misc]points: Setting MPFR precision to 576 1537438574.861 * * * * [misc]points: Computing exacts on every 2 of 1058 points to ramp up precision 1537438574.866 * * * * [misc]points: Setting MPFR precision to 320 1537438574.888 * * * * [misc]points: Setting MPFR precision to 576 1537438574.913 * * * * [misc]points: Computing exacts for 1058 points 1537438574.918 * * * * [misc]points: Setting MPFR precision to 320 1537438575.021 * * * * [misc]points: Setting MPFR precision to 576 1537438575.073 * * * * [misc]points: Filtering points with unrepresentable outputs 1537438575.073 * * * * [misc]points: Sampling 804 additional inputs, on iter 8 have 7196 / 8000 1537438575.075 * * * * [misc]points: Computing exacts on every 50 of 804 points to ramp up precision 1537438575.077 * * * * [misc]points: Setting MPFR precision to 320 1537438575.078 * * * * [misc]points: Setting MPFR precision to 576 1537438575.079 * * * * [misc]points: Computing exacts on every 25 of 804 points to ramp up precision 1537438575.084 * * * * [misc]points: Setting MPFR precision to 320 1537438575.086 * * * * [misc]points: Setting MPFR precision to 576 1537438575.088 * * * * [misc]points: Computing exacts on every 12 of 804 points to ramp up precision 1537438575.093 * * * * [misc]points: Setting MPFR precision to 320 1537438575.096 * * * * [misc]points: Setting MPFR precision to 576 1537438575.100 * * * * [misc]points: Computing exacts on every 6 of 804 points to ramp up precision 1537438575.105 * * * * [misc]points: Setting MPFR precision to 320 1537438575.112 * * * * [misc]points: Setting MPFR precision to 576 1537438575.119 * * * * [misc]points: Computing exacts on every 3 of 804 points to ramp up precision 1537438575.124 * * * * [misc]points: Setting MPFR precision to 320 1537438575.132 * * * * [misc]points: Setting MPFR precision to 576 1537438575.160 * * * * [misc]points: Computing exacts for 804 points 1537438575.163 * * * * [misc]points: Setting MPFR precision to 320 1537438575.218 * * * * [misc]points: Setting MPFR precision to 576 1537438575.262 * * * * [misc]points: Filtering points with unrepresentable outputs 1537438575.263 * * * * [misc]points: Sampling 598 additional inputs, on iter 9 have 7402 / 8000 1537438575.266 * * * * [misc]points: Computing exacts on every 37 of 598 points to ramp up precision 1537438575.270 * * * * [misc]points: Setting MPFR precision to 320 1537438575.272 * * * * [misc]points: Setting MPFR precision to 576 1537438575.273 * * * * [misc]points: Computing exacts on every 18 of 598 points to ramp up precision 1537438575.277 * * * * [misc]points: Setting MPFR precision to 320 1537438575.279 * * * * [misc]points: Setting MPFR precision to 576 1537438575.281 * * * * [misc]points: Computing exacts on every 9 of 598 points to ramp up precision 1537438575.286 * * * * [misc]points: Setting MPFR precision to 320 1537438575.290 * * * * [misc]points: Setting MPFR precision to 576 1537438575.294 * * * * [misc]points: Computing exacts on every 4 of 598 points to ramp up precision 1537438575.298 * * * * [misc]points: Setting MPFR precision to 320 1537438575.305 * * * * [misc]points: Setting MPFR precision to 576 1537438575.312 * * * * [misc]points: Computing exacts on every 2 of 598 points to ramp up precision 1537438575.315 * * * * [misc]points: Setting MPFR precision to 320 1537438575.738 * * * * [misc]points: Setting MPFR precision to 576 1537438575.745 * * * * [misc]points: Computing exacts for 598 points 1537438575.750 * * * * [misc]points: Setting MPFR precision to 320 1537438575.776 * * * * [misc]points: Setting MPFR precision to 576 1537438575.796 * * * * [misc]points: Filtering points with unrepresentable outputs 1537438575.797 * * * * [misc]points: Sampling 451 additional inputs, on iter 10 have 7549 / 8000 1537438575.798 * * * * [misc]points: Computing exacts on every 28 of 451 points to ramp up precision 1537438575.800 * * * * [misc]points: Setting MPFR precision to 320 1537438575.801 * * * * [misc]points: Setting MPFR precision to 576 1537438575.802 * * * * [misc]points: Computing exacts on every 14 of 451 points to ramp up precision 1537438575.804 * * * * [misc]points: Setting MPFR precision to 320 1537438575.805 * * * * [misc]points: Setting MPFR precision to 576 1537438575.806 * * * * [misc]points: Computing exacts on every 7 of 451 points to ramp up precision 1537438575.809 * * * * [misc]points: Setting MPFR precision to 320 1537438575.811 * * * * [misc]points: Setting MPFR precision to 576 1537438575.813 * * * * [misc]points: Computing exacts on every 3 of 451 points to ramp up precision 1537438575.815 * * * * [misc]points: Setting MPFR precision to 320 1537438575.819 * * * * [misc]points: Setting MPFR precision to 576 1537438575.823 * * * * [misc]points: Computing exacts for 451 points 1537438575.825 * * * * [misc]points: Setting MPFR precision to 320 1537438575.839 * * * * [misc]points: Setting MPFR precision to 576 1537438575.892 * * * * [misc]points: Filtering points with unrepresentable outputs 1537438575.892 * * * * [misc]points: Sampling 321 additional inputs, on iter 11 have 7679 / 8000 1537438575.894 * * * * [misc]points: Computing exacts on every 20 of 321 points to ramp up precision 1537438575.898 * * * * [misc]points: Setting MPFR precision to 320 1537438575.899 * * * * [misc]points: Setting MPFR precision to 576 1537438575.900 * * * * [misc]points: Computing exacts on every 10 of 321 points to ramp up precision 1537438575.905 * * * * [misc]points: Setting MPFR precision to 320 1537438575.907 * * * * [misc]points: Setting MPFR precision to 576 1537438575.909 * * * * [misc]points: Computing exacts on every 5 of 321 points to ramp up precision 1537438575.914 * * * * [misc]points: Setting MPFR precision to 320 1537438575.917 * * * * [misc]points: Setting MPFR precision to 576 1537438575.920 * * * * [misc]points: Computing exacts on every 2 of 321 points to ramp up precision 1537438575.923 * * * * [misc]points: Setting MPFR precision to 320 1537438575.926 * * * * [misc]points: Setting MPFR precision to 576 1537438575.929 * * * * [misc]points: Computing exacts for 321 points 1537438575.932 * * * * [misc]points: Setting MPFR precision to 320 1537438575.942 * * * * [misc]points: Setting MPFR precision to 576 1537438575.954 * * * * [misc]points: Filtering points with unrepresentable outputs 1537438575.954 * * * * [misc]points: Sampling 243 additional inputs, on iter 12 have 7757 / 8000 1537438575.955 * * * * [misc]points: Computing exacts on every 15 of 243 points to ramp up precision 1537438575.960 * * * * [misc]points: Setting MPFR precision to 320 1537438575.961 * * * * [misc]points: Setting MPFR precision to 576 1537438575.962 * * * * [misc]points: Computing exacts on every 7 of 243 points to ramp up precision 1537438575.967 * * * * [misc]points: Setting MPFR precision to 320 1537438575.969 * * * * [misc]points: Setting MPFR precision to 576 1537438575.970 * * * * [misc]points: Computing exacts on every 3 of 243 points to ramp up precision 1537438575.975 * * * * [misc]points: Setting MPFR precision to 320 1537438575.979 * * * * [misc]points: Setting MPFR precision to 576 1537438575.983 * * * * [misc]points: Computing exacts for 243 points 1537438575.987 * * * * [misc]points: Setting MPFR precision to 320 1537438576.024 * * * * [misc]points: Setting MPFR precision to 576 1537438576.035 * * * * [misc]points: Filtering points with unrepresentable outputs 1537438576.035 * * * * [misc]points: Sampling 165 additional inputs, on iter 13 have 7835 / 8000 1537438576.035 * * * * [misc]points: Computing exacts on every 10 of 165 points to ramp up precision 1537438576.038 * * * * [misc]points: Setting MPFR precision to 320 1537438576.039 * * * * [misc]points: Setting MPFR precision to 576 1537438576.039 * * * * [misc]points: Computing exacts on every 5 of 165 points to ramp up precision 1537438576.042 * * * * [misc]points: Setting MPFR precision to 320 1537438576.043 * * * * [misc]points: Setting MPFR precision to 576 1537438576.043 * * * * [misc]points: Computing exacts on every 2 of 165 points to ramp up precision 1537438576.046 * * * * [misc]points: Setting MPFR precision to 320 1537438576.048 * * * * [misc]points: Setting MPFR precision to 576 1537438576.050 * * * * [misc]points: Computing exacts for 165 points 1537438576.052 * * * * [misc]points: Setting MPFR precision to 320 1537438576.057 * * * * [misc]points: Setting MPFR precision to 576 1537438576.063 * * * * [misc]points: Filtering points with unrepresentable outputs 1537438576.063 * * * * [misc]points: Sampling 123 additional inputs, on iter 14 have 7877 / 8000 1537438576.063 * * * * [misc]points: Computing exacts on every 7 of 123 points to ramp up precision 1537438576.066 * * * * [misc]points: Setting MPFR precision to 320 1537438576.066 * * * * [misc]points: Setting MPFR precision to 576 1537438576.067 * * * * [misc]points: Computing exacts on every 3 of 123 points to ramp up precision 1537438576.069 * * * * [misc]points: Setting MPFR precision to 320 1537438576.070 * * * * [misc]points: Setting MPFR precision to 576 1537438576.071 * * * * [misc]points: Computing exacts for 123 points 1537438576.073 * * * * [misc]points: Setting MPFR precision to 320 1537438576.077 * * * * [misc]points: Setting MPFR precision to 576 1537438576.082 * * * * [misc]points: Filtering points with unrepresentable outputs 1537438576.082 * * * * [misc]points: Sampling 91 additional inputs, on iter 15 have 7909 / 8000 1537438576.082 * * * * [misc]points: Computing exacts on every 5 of 91 points to ramp up precision 1537438576.084 * * * * [misc]points: Setting MPFR precision to 320 1537438576.085 * * * * [misc]points: Setting MPFR precision to 576 1537438576.086 * * * * [misc]points: Computing exacts on every 2 of 91 points to ramp up precision 1537438576.088 * * * * [misc]points: Setting MPFR precision to 320 1537438576.089 * * * * [misc]points: Setting MPFR precision to 576 1537438576.090 * * * * [misc]points: Computing exacts for 91 points 1537438576.092 * * * * [misc]points: Setting MPFR precision to 320 1537438576.095 * * * * [misc]points: Setting MPFR precision to 576 1537438576.098 * * * * [misc]points: Filtering points with unrepresentable outputs 1537438576.098 * * * * [misc]points: Sampling 72 additional inputs, on iter 16 have 7928 / 8000 1537438576.099 * * * * [misc]points: Computing exacts on every 4 of 72 points to ramp up precision 1537438576.101 * * * * [misc]points: Setting MPFR precision to 320 1537438576.118 * * * * [misc]points: Setting MPFR precision to 576 1537438576.119 * * * * [misc]points: Computing exacts on every 2 of 72 points to ramp up precision 1537438576.123 * * * * [misc]points: Setting MPFR precision to 320 1537438576.123 * * * * [misc]points: Setting MPFR precision to 576 1537438576.124 * * * * [misc]points: Computing exacts for 72 points 1537438576.127 * * * * [misc]points: Setting MPFR precision to 320 1537438576.129 * * * * [misc]points: Setting MPFR precision to 576 1537438576.132 * * * * [misc]points: Filtering points with unrepresentable outputs 1537438576.132 * * * * [misc]points: Sampling 48 additional inputs, on iter 17 have 7952 / 8000 1537438576.132 * * * * [misc]points: Computing exacts on every 3 of 48 points to ramp up precision 1537438576.134 * * * * [misc]points: Setting MPFR precision to 320 1537438576.135 * * * * [misc]points: Setting MPFR precision to 576 1537438576.135 * * * * [misc]points: Computing exacts for 48 points 1537438576.138 * * * * [misc]points: Setting MPFR precision to 320 1537438576.139 * * * * [misc]points: Setting MPFR precision to 576 1537438576.141 * * * * [misc]points: Filtering points with unrepresentable outputs 1537438576.141 * * * * [misc]points: Sampling 36 additional inputs, on iter 18 have 7964 / 8000 1537438576.141 * * * * [misc]points: Computing exacts on every 2 of 36 points to ramp up precision 1537438576.144 * * * * [misc]points: Setting MPFR precision to 320 1537438576.144 * * * * [misc]points: Setting MPFR precision to 576 1537438576.144 * * * * [misc]points: Computing exacts for 36 points 1537438576.147 * * * * [misc]points: Setting MPFR precision to 320 1537438576.148 * * * * [misc]points: Setting MPFR precision to 576 1537438576.149 * * * * [misc]points: Filtering points with unrepresentable outputs 1537438576.149 * * * * [misc]points: Sampling 25 additional inputs, on iter 19 have 7975 / 8000 1537438576.149 * * * * [misc]points: Computing exacts for 25 points 1537438576.152 * * * * [misc]points: Setting MPFR precision to 320 1537438576.153 * * * * [misc]points: Setting MPFR precision to 576 1537438576.154 * * * * [misc]points: Filtering points with unrepresentable outputs 1537438576.154 * * * * [misc]points: Sampling 19 additional inputs, on iter 20 have 7981 / 8000 1537438576.154 * * * * [misc]points: Computing exacts for 19 points 1537438576.156 * * * * [misc]points: Setting MPFR precision to 320 1537438576.157 * * * * [misc]points: Setting MPFR precision to 576 1537438576.158 * * * * [misc]points: Filtering points with unrepresentable outputs 1537438576.158 * * * * [misc]points: Sampling 18 additional inputs, on iter 21 have 7982 / 8000 1537438576.158 * * * * [misc]points: Computing exacts for 18 points 1537438576.160 * * * * [misc]points: Setting MPFR precision to 320 1537438576.161 * * * * [misc]points: Setting MPFR precision to 576 1537438576.161 * * * * [misc]points: Filtering points with unrepresentable outputs 1537438576.161 * * * * [misc]points: Sampling 15 additional inputs, on iter 22 have 7985 / 8000 1537438576.162 * * * * [misc]points: Computing exacts for 15 points 1537438576.164 * * * * [misc]points: Setting MPFR precision to 320 1537438576.164 * * * * [misc]points: Setting MPFR precision to 576 1537438576.165 * * * * [misc]points: Filtering points with unrepresentable outputs 1537438576.165 * * * * [misc]points: Sampling 13 additional inputs, on iter 23 have 7987 / 8000 1537438576.165 * * * * [misc]points: Computing exacts for 13 points 1537438576.167 * * * * [misc]points: Setting MPFR precision to 320 1537438576.168 * * * * [misc]points: Setting MPFR precision to 576 1537438576.168 * * * * [misc]points: Filtering points with unrepresentable outputs 1537438576.168 * * * * [misc]points: Sampling 11 additional inputs, on iter 24 have 7989 / 8000 1537438576.168 * * * * [misc]points: Computing exacts for 11 points 1537438576.171 * * * * [misc]points: Setting MPFR precision to 320 1537438576.171 * * * * [misc]points: Setting MPFR precision to 576 1537438576.172 * * * * [misc]points: Filtering points with unrepresentable outputs 1537438576.172 * * * * [misc]points: Sampling 7 additional inputs, on iter 25 have 7993 / 8000 1537438576.172 * * * * [misc]points: Computing exacts for 7 points 1537438576.174 * * * * [misc]points: Setting MPFR precision to 320 1537438576.175 * * * * [misc]points: Setting MPFR precision to 576 1537438576.175 * * * * [misc]points: Filtering points with unrepresentable outputs 1537438576.175 * * * * [misc]points: Sampling 6 additional inputs, on iter 26 have 7994 / 8000 1537438576.175 * * * * [misc]points: Computing exacts for 6 points 1537438576.177 * * * * [misc]points: Setting MPFR precision to 320 1537438576.177 * * * * [misc]points: Setting MPFR precision to 576 1537438576.178 * * * * [misc]points: Filtering points with unrepresentable outputs 1537438576.178 * * * * [misc]points: Sampling 5 additional inputs, on iter 27 have 7995 / 8000 1537438576.178 * * * * [misc]points: Computing exacts for 5 points 1537438576.181 * * * * [misc]points: Setting MPFR precision to 320 1537438576.181 * * * * [misc]points: Setting MPFR precision to 576 1537438576.182 * * * * [misc]points: Filtering points with unrepresentable outputs 1537438576.182 * * * * [misc]points: Sampling 4 additional inputs, on iter 28 have 7998 / 8000 1537438576.182 * * * * [misc]points: Computing exacts for 4 points 1537438576.199 * * * * [misc]points: Setting MPFR precision to 320 1537438576.199 * * * * [misc]points: Setting MPFR precision to 576 1537438576.200 * * * * [misc]points: Filtering points with unrepresentable outputs 1537438576.200 * * * * [misc]points: Sampling 4 additional inputs, on iter 29 have 7999 / 8000 1537438576.200 * * * * [misc]points: Computing exacts for 4 points 1537438576.204 * * * * [misc]points: Setting MPFR precision to 320 1537438576.204 * * * * [misc]points: Setting MPFR precision to 576 1537438576.204 * * * * [misc]points: Filtering points with unrepresentable outputs 1537438576.205 * * * * [exit]points: Sampled 8000 points with exact outputs 1537438576.739 * [misc]regime-testing: Baseline error score: 0.06085173512824346 1537438576.739 * [misc]regime-testing: End program error score: 0.06085173512824346 1537438576.740 * [misc]regime-testing: Oracle error score: 0.06085173512824346