1538649603.268 * [misc]progress: [Phase 1 of 3] Setting up. 1538649603.268 * * * [misc]progress: [1/2] Preparing points 1538649603.268 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1538649603.320 * * * * [misc]points: Filtering points with unrepresentable outputs 1538649603.320 * * * * [misc]points: Sampling 191 additional inputs, on iter 1 have 65 / 256 1538649603.386 * * * * [misc]points: Filtering points with unrepresentable outputs 1538649603.387 * * * * [misc]points: Sampling 139 additional inputs, on iter 2 have 117 / 256 1538649603.417 * * * * [misc]points: Filtering points with unrepresentable outputs 1538649603.417 * * * * [misc]points: Sampling 110 additional inputs, on iter 3 have 146 / 256 1538649603.429 * * * * [misc]points: Filtering points with unrepresentable outputs 1538649603.429 * * * * [misc]points: Sampling 82 additional inputs, on iter 4 have 174 / 256 1538649603.439 * * * * [misc]points: Filtering points with unrepresentable outputs 1538649603.439 * * * * [misc]points: Sampling 60 additional inputs, on iter 5 have 196 / 256 1538649603.446 * * * * [misc]points: Filtering points with unrepresentable outputs 1538649603.446 * * * * [misc]points: Sampling 43 additional inputs, on iter 6 have 213 / 256 1538649603.453 * * * * [misc]points: Filtering points with unrepresentable outputs 1538649603.453 * * * * [misc]points: Sampling 34 additional inputs, on iter 7 have 222 / 256 1538649603.461 * * * * [misc]points: Filtering points with unrepresentable outputs 1538649603.461 * * * * [misc]points: Sampling 27 additional inputs, on iter 8 have 229 / 256 1538649603.468 * * * * [misc]points: Filtering points with unrepresentable outputs 1538649603.468 * * * * [misc]points: Sampling 22 additional inputs, on iter 9 have 234 / 256 1538649603.473 * * * * [misc]points: Filtering points with unrepresentable outputs 1538649603.473 * * * * [misc]points: Sampling 15 additional inputs, on iter 10 have 241 / 256 1538649603.478 * * * * [misc]points: Filtering points with unrepresentable outputs 1538649603.478 * * * * [misc]points: Sampling 12 additional inputs, on iter 11 have 244 / 256 1538649603.483 * * * * [misc]points: Filtering points with unrepresentable outputs 1538649603.483 * * * * [misc]points: Sampling 12 additional inputs, on iter 12 have 244 / 256 1538649603.487 * * * * [misc]points: Filtering points with unrepresentable outputs 1538649603.487 * * * * [misc]points: Sampling 9 additional inputs, on iter 13 have 247 / 256 1538649603.491 * * * * [misc]points: Filtering points with unrepresentable outputs 1538649603.491 * * * * [misc]points: Sampling 7 additional inputs, on iter 14 have 249 / 256 1538649603.494 * * * * [misc]points: Filtering points with unrepresentable outputs 1538649603.494 * * * * [misc]points: Sampling 6 additional inputs, on iter 15 have 250 / 256 1538649603.498 * * * * [misc]points: Filtering points with unrepresentable outputs 1538649603.498 * * * * [misc]points: Sampling 4 additional inputs, on iter 16 have 253 / 256 1538649603.501 * * * * [misc]points: Filtering points with unrepresentable outputs 1538649603.501 * * * * [misc]points: Sampling 4 additional inputs, on iter 17 have 253 / 256 1538649603.505 * * * * [misc]points: Filtering points with unrepresentable outputs 1538649603.505 * * * * [misc]points: Sampling 4 additional inputs, on iter 18 have 255 / 256 1538649603.508 * * * * [misc]points: Filtering points with unrepresentable outputs 1538649603.508 * * * * [exit]points: Sampled 257 points with exact outputs 1538649603.508 * * * [misc]progress: [2/2] Setting up program. 1538649603.516 * [misc]progress: [Phase 2 of 3] Improving. 1538649603.516 * [enter]simplify: Simplifying (log (+ x (sqrt (- (* x x) 1)))) 1538649603.551 * * [misc]simplify: iters left: 6 (7 enodes) 1538649603.556 * * [misc]simplify: iters left: 5 (16 enodes) 1538649603.564 * * [misc]simplify: iters left: 4 (19 enodes) 1538649603.572 * * [misc]simplify: iters left: 3 (35 enodes) 1538649603.588 * * [misc]simplify: iters left: 2 (60 enodes) 1538649603.604 * * [misc]simplify: iters left: 1 (97 enodes) 1538649603.672 * [exit]simplify: Simplified to (log (+ x (sqrt (+ -1 (* x x))))) 1538649603.683 * * [misc]progress: iteration 1 / 4 1538649603.684 * * * [misc]progress: picking best candidate 1538649603.691 * * * * [misc]pick: Picked # 1538649603.691 * * * [misc]progress: localizing error 1538649603.710 * * * [misc]progress: generating rewritten candidates 1538649603.710 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2 1 2) 1538649603.720 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 1) 1538649603.771 * * * [misc]progress: generating series expansions 1538649603.772 * * * * [misc]progress: [ 1 / 2 ] generating series at (2 1 2) 1538649603.772 * [misc]backup-simplify: Simplify (sqrt (- (* x x) 1)) into (sqrt (- (pow x 2) 1)) 1538649603.772 * [misc]approximate: Taking taylor expansion of (sqrt (- (pow x 2) 1)) in (x) around 0 1538649603.772 * [misc]taylor: Taking taylor expansion of (sqrt (- (pow x 2) 1)) in x 1538649603.772 * [misc]taylor: Taking taylor expansion of (- (pow x 2) 1) in x 1538649603.772 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1538649603.772 * [misc]taylor: Taking taylor expansion of x in x 1538649603.772 * [misc]backup-simplify: Simplify 0 into 0 1538649603.772 * [misc]backup-simplify: Simplify 1 into 1 1538649603.772 * [misc]taylor: Taking taylor expansion of 1 in x 1538649603.772 * [misc]backup-simplify: Simplify 1 into 1 1538649603.773 * [misc]backup-simplify: Simplify (- 1) into -1 1538649603.773 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1538649603.773 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1538649603.773 * [misc]backup-simplify: Simplify (- 0) into 0 1538649603.774 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538649603.774 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt -1))) into 0 1538649603.774 * [misc]taylor: Taking taylor expansion of (sqrt (- (pow x 2) 1)) in x 1538649603.774 * [misc]taylor: Taking taylor expansion of (- (pow x 2) 1) in x 1538649603.774 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1538649603.774 * [misc]taylor: Taking taylor expansion of x in x 1538649603.774 * [misc]backup-simplify: Simplify 0 into 0 1538649603.774 * [misc]backup-simplify: Simplify 1 into 1 1538649603.774 * [misc]taylor: Taking taylor expansion of 1 in x 1538649603.774 * [misc]backup-simplify: Simplify 1 into 1 1538649603.774 * [misc]backup-simplify: Simplify (- 1) into -1 1538649603.774 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1538649603.774 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1538649603.775 * [misc]backup-simplify: Simplify (- 0) into 0 1538649603.775 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538649603.775 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt -1))) into 0 1538649603.775 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1538649603.775 * [misc]backup-simplify: Simplify 0 into 0 1538649603.776 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538649603.776 * [misc]backup-simplify: Simplify (- 0) into 0 1538649603.776 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538649603.778 * [misc]backup-simplify: Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1)) 1538649603.778 * [misc]backup-simplify: Simplify (/ 1/2 (sqrt -1)) into (/ 1/2 (sqrt -1)) 1538649603.779 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538649603.779 * [misc]backup-simplify: Simplify (- 0) into 0 1538649603.779 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538649603.779 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (sqrt -1)))))) (* 2 (sqrt -1))) into 0 1538649603.779 * [misc]backup-simplify: Simplify 0 into 0 1538649603.780 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538649603.780 * [misc]backup-simplify: Simplify (- 0) into 0 1538649603.780 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538649603.783 * [misc]backup-simplify: Simplify (/ (- 0 (pow (/ 1/2 (sqrt -1)) 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3)) 1538649603.784 * [misc]backup-simplify: Simplify (/ -1/8 (pow (sqrt -1) 3)) into (/ -1/8 (pow (sqrt -1) 3)) 1538649603.786 * [misc]backup-simplify: Simplify (+ (* (/ -1/8 (pow (sqrt -1) 3)) (pow x 4)) (+ (* (/ 1/2 (sqrt -1)) (pow x 2)) (sqrt -1))) into (- (+ (* 1/2 (/ (pow x 2) (sqrt -1))) (sqrt -1)) (* 1/8 (/ (pow x 4) (pow (sqrt -1) 3)))) 1538649603.786 * [misc]backup-simplify: Simplify (sqrt (- (* (/ 1 x) (/ 1 x)) 1)) into (sqrt (- (/ 1 (pow x 2)) 1)) 1538649603.787 * [misc]approximate: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1)) in (x) around 0 1538649603.787 * [misc]taylor: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1)) in x 1538649603.787 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x 1538649603.787 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1538649603.787 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1538649603.787 * [misc]taylor: Taking taylor expansion of x in x 1538649603.787 * [misc]backup-simplify: Simplify 0 into 0 1538649603.787 * [misc]backup-simplify: Simplify 1 into 1 1538649603.787 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538649603.787 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538649603.787 * [misc]taylor: Taking taylor expansion of 1 in x 1538649603.787 * [misc]backup-simplify: Simplify 1 into 1 1538649603.787 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538649603.788 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1538649603.788 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538649603.788 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538649603.788 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538649603.788 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 1))) into 0 1538649603.788 * [misc]taylor: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1)) in x 1538649603.788 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x 1538649603.788 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1538649603.788 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1538649603.789 * [misc]taylor: Taking taylor expansion of x in x 1538649603.789 * [misc]backup-simplify: Simplify 0 into 0 1538649603.789 * [misc]backup-simplify: Simplify 1 into 1 1538649603.789 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538649603.789 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538649603.789 * [misc]taylor: Taking taylor expansion of 1 in x 1538649603.789 * [misc]backup-simplify: Simplify 1 into 1 1538649603.789 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538649603.789 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1538649603.790 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538649603.790 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538649603.790 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538649603.790 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 1))) into 0 1538649603.790 * [misc]backup-simplify: Simplify 1 into 1 1538649603.790 * [misc]backup-simplify: Simplify 0 into 0 1538649603.791 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538649603.791 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538649603.791 * [misc]backup-simplify: Simplify (- 1) into -1 1538649603.791 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1538649603.792 * [misc]backup-simplify: Simplify (/ (- -1 (pow 0 2) (+)) (* 2 1)) into -1/2 1538649603.792 * [misc]backup-simplify: Simplify -1/2 into -1/2 1538649603.793 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538649603.793 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538649603.793 * [misc]backup-simplify: Simplify (- 0) into 0 1538649603.794 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538649603.794 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 -1/2)))) (* 2 1)) into 0 1538649603.794 * [misc]backup-simplify: Simplify 0 into 0 1538649603.794 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538649603.795 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538649603.795 * [misc]backup-simplify: Simplify (- 0) into 0 1538649603.795 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538649603.796 * [misc]backup-simplify: Simplify (/ (- 0 (pow -1/2 2) (+ (* 2 (* 0 0)))) (* 2 1)) into -1/8 1538649603.796 * [misc]backup-simplify: Simplify -1/8 into -1/8 1538649603.797 * [misc]backup-simplify: Simplify (+ (* -1/8 (pow (/ 1 x) 3)) (+ (* -1/2 (/ 1 x)) (* 1 (/ 1 (/ 1 x))))) into (- x (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x)))) 1538649603.797 * [misc]backup-simplify: Simplify (sqrt (- (* (/ 1 (- x)) (/ 1 (- x))) 1)) into (sqrt (- (/ 1 (pow x 2)) 1)) 1538649603.797 * [misc]approximate: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1)) in (x) around 0 1538649603.797 * [misc]taylor: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1)) in x 1538649603.797 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x 1538649603.797 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1538649603.797 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1538649603.797 * [misc]taylor: Taking taylor expansion of x in x 1538649603.797 * [misc]backup-simplify: Simplify 0 into 0 1538649603.797 * [misc]backup-simplify: Simplify 1 into 1 1538649603.798 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538649603.798 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538649603.798 * [misc]taylor: Taking taylor expansion of 1 in x 1538649603.798 * [misc]backup-simplify: Simplify 1 into 1 1538649603.798 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538649603.798 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1538649603.798 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538649603.799 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538649603.799 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538649603.799 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 1))) into 0 1538649603.799 * [misc]taylor: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1)) in x 1538649603.799 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x 1538649603.799 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1538649603.799 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1538649603.799 * [misc]taylor: Taking taylor expansion of x in x 1538649603.799 * [misc]backup-simplify: Simplify 0 into 0 1538649603.799 * [misc]backup-simplify: Simplify 1 into 1 1538649603.799 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538649603.800 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538649603.800 * [misc]taylor: Taking taylor expansion of 1 in x 1538649603.800 * [misc]backup-simplify: Simplify 1 into 1 1538649603.800 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538649603.800 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1538649603.800 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538649603.800 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538649603.801 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538649603.801 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 1))) into 0 1538649603.801 * [misc]backup-simplify: Simplify 1 into 1 1538649603.801 * [misc]backup-simplify: Simplify 0 into 0 1538649603.801 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538649603.802 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538649603.802 * [misc]backup-simplify: Simplify (- 1) into -1 1538649603.802 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1538649603.803 * [misc]backup-simplify: Simplify (/ (- -1 (pow 0 2) (+)) (* 2 1)) into -1/2 1538649603.803 * [misc]backup-simplify: Simplify -1/2 into -1/2 1538649603.804 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538649603.804 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538649603.804 * [misc]backup-simplify: Simplify (- 0) into 0 1538649603.804 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538649603.805 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 -1/2)))) (* 2 1)) into 0 1538649603.805 * [misc]backup-simplify: Simplify 0 into 0 1538649603.805 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538649603.806 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538649603.806 * [misc]backup-simplify: Simplify (- 0) into 0 1538649603.806 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538649603.807 * [misc]backup-simplify: Simplify (/ (- 0 (pow -1/2 2) (+ (* 2 (* 0 0)))) (* 2 1)) into -1/8 1538649603.807 * [misc]backup-simplify: Simplify -1/8 into -1/8 1538649603.808 * [misc]backup-simplify: Simplify (+ (* -1/8 (pow (/ 1 (- x)) 3)) (+ (* -1/2 (/ 1 (- x))) (* 1 (/ 1 (/ 1 (- x)))))) into (- (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))) x) 1538649603.808 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 1) 1538649603.808 * [misc]backup-simplify: Simplify (+ x (sqrt (- (* x x) 1))) into (+ x (sqrt (- (pow x 2) 1))) 1538649603.808 * [misc]approximate: Taking taylor expansion of (+ x (sqrt (- (pow x 2) 1))) in (x) around 0 1538649603.808 * [misc]taylor: Taking taylor expansion of (+ x (sqrt (- (pow x 2) 1))) in x 1538649603.808 * [misc]taylor: Taking taylor expansion of x in x 1538649603.808 * [misc]backup-simplify: Simplify 0 into 0 1538649603.808 * [misc]backup-simplify: Simplify 1 into 1 1538649603.808 * [misc]taylor: Taking taylor expansion of (sqrt (- (pow x 2) 1)) in x 1538649603.808 * [misc]taylor: Taking taylor expansion of (- (pow x 2) 1) in x 1538649603.808 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1538649603.808 * [misc]taylor: Taking taylor expansion of x in x 1538649603.808 * [misc]backup-simplify: Simplify 0 into 0 1538649603.808 * [misc]backup-simplify: Simplify 1 into 1 1538649603.808 * [misc]taylor: Taking taylor expansion of 1 in x 1538649603.809 * [misc]backup-simplify: Simplify 1 into 1 1538649603.809 * [misc]backup-simplify: Simplify (- 1) into -1 1538649603.809 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1538649603.809 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1538649603.809 * [misc]backup-simplify: Simplify (- 0) into 0 1538649603.809 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538649603.810 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt -1))) into 0 1538649603.810 * [misc]taylor: Taking taylor expansion of (+ x (sqrt (- (pow x 2) 1))) in x 1538649603.810 * [misc]taylor: Taking taylor expansion of x in x 1538649603.810 * [misc]backup-simplify: Simplify 0 into 0 1538649603.810 * [misc]backup-simplify: Simplify 1 into 1 1538649603.810 * [misc]taylor: Taking taylor expansion of (sqrt (- (pow x 2) 1)) in x 1538649603.810 * [misc]taylor: Taking taylor expansion of (- (pow x 2) 1) in x 1538649603.810 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1538649603.810 * [misc]taylor: Taking taylor expansion of x in x 1538649603.810 * [misc]backup-simplify: Simplify 0 into 0 1538649603.810 * [misc]backup-simplify: Simplify 1 into 1 1538649603.810 * [misc]taylor: Taking taylor expansion of 1 in x 1538649603.810 * [misc]backup-simplify: Simplify 1 into 1 1538649603.810 * [misc]backup-simplify: Simplify (- 1) into -1 1538649603.810 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1538649603.810 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1538649603.810 * [misc]backup-simplify: Simplify (- 0) into 0 1538649603.811 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538649603.811 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt -1))) into 0 1538649603.811 * [misc]backup-simplify: Simplify (+ 0 (sqrt -1)) into (sqrt -1) 1538649603.811 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1538649603.811 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538649603.811 * [misc]backup-simplify: Simplify 1 into 1 1538649603.812 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538649603.812 * [misc]backup-simplify: Simplify (- 0) into 0 1538649603.812 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538649603.813 * [misc]backup-simplify: Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1)) 1538649603.813 * [misc]backup-simplify: Simplify (+ 0 (/ 1/2 (sqrt -1))) into (* 1/2 (/ 1 (sqrt -1))) 1538649603.813 * [misc]backup-simplify: Simplify (* 1/2 (/ 1 (sqrt -1))) into (/ 1/2 (sqrt -1)) 1538649603.814 * [misc]backup-simplify: Simplify (+ (* (/ 1/2 (sqrt -1)) (pow x 2)) (+ (* 1 x) (sqrt -1))) into (+ x (+ (* 1/2 (/ (pow x 2) (sqrt -1))) (sqrt -1))) 1538649603.814 * [misc]backup-simplify: Simplify (+ (/ 1 x) (sqrt (- (* (/ 1 x) (/ 1 x)) 1))) into (+ (sqrt (- (/ 1 (pow x 2)) 1)) (/ 1 x)) 1538649603.814 * [misc]approximate: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow x 2)) 1)) (/ 1 x)) in (x) around 0 1538649603.814 * [misc]taylor: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow x 2)) 1)) (/ 1 x)) in x 1538649603.814 * [misc]taylor: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1)) in x 1538649603.814 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x 1538649603.814 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1538649603.814 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1538649603.814 * [misc]taylor: Taking taylor expansion of x in x 1538649603.814 * [misc]backup-simplify: Simplify 0 into 0 1538649603.814 * [misc]backup-simplify: Simplify 1 into 1 1538649603.814 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538649603.814 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538649603.814 * [misc]taylor: Taking taylor expansion of 1 in x 1538649603.814 * [misc]backup-simplify: Simplify 1 into 1 1538649603.814 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538649603.814 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1538649603.815 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538649603.815 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538649603.815 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538649603.815 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 1))) into 0 1538649603.815 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538649603.815 * [misc]taylor: Taking taylor expansion of x in x 1538649603.815 * [misc]backup-simplify: Simplify 0 into 0 1538649603.815 * [misc]backup-simplify: Simplify 1 into 1 1538649603.815 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538649603.815 * [misc]taylor: Taking taylor expansion of (+ (sqrt (- (/ 1 (pow x 2)) 1)) (/ 1 x)) in x 1538649603.815 * [misc]taylor: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1)) in x 1538649603.815 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x 1538649603.815 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1538649603.815 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1538649603.815 * [misc]taylor: Taking taylor expansion of x in x 1538649603.815 * [misc]backup-simplify: Simplify 0 into 0 1538649603.815 * [misc]backup-simplify: Simplify 1 into 1 1538649603.815 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538649603.815 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538649603.816 * [misc]taylor: Taking taylor expansion of 1 in x 1538649603.816 * [misc]backup-simplify: Simplify 1 into 1 1538649603.816 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538649603.816 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1538649603.816 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538649603.816 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538649603.816 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538649603.816 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 1))) into 0 1538649603.816 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538649603.816 * [misc]taylor: Taking taylor expansion of x in x 1538649603.816 * [misc]backup-simplify: Simplify 0 into 0 1538649603.816 * [misc]backup-simplify: Simplify 1 into 1 1538649603.816 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538649603.817 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1538649603.817 * [misc]backup-simplify: Simplify 2 into 2 1538649603.817 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538649603.817 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538649603.817 * [misc]backup-simplify: Simplify 0 into 0 1538649603.817 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538649603.817 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538649603.817 * [misc]backup-simplify: Simplify (- 1) into -1 1538649603.817 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1538649603.818 * [misc]backup-simplify: Simplify (/ (- -1 (pow 0 2) (+)) (* 2 1)) into -1/2 1538649603.818 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538649603.818 * [misc]backup-simplify: Simplify (+ -1/2 0) into -1/2 1538649603.818 * [misc]backup-simplify: Simplify -1/2 into -1/2 1538649603.819 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538649603.819 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538649603.819 * [misc]backup-simplify: Simplify (- 0) into 0 1538649603.819 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538649603.819 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 -1/2)))) (* 2 1)) into 0 1538649603.819 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538649603.820 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538649603.820 * [misc]backup-simplify: Simplify 0 into 0 1538649603.820 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538649603.820 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538649603.820 * [misc]backup-simplify: Simplify (- 0) into 0 1538649603.820 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538649603.821 * [misc]backup-simplify: Simplify (/ (- 0 (pow -1/2 2) (+ (* 2 (* 0 0)))) (* 2 1)) into -1/8 1538649603.821 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538649603.821 * [misc]backup-simplify: Simplify (+ -1/8 0) into -1/8 1538649603.821 * [misc]backup-simplify: Simplify -1/8 into -1/8 1538649603.822 * [misc]backup-simplify: Simplify (+ (* -1/8 (pow (/ 1 x) 3)) (+ (* -1/2 (/ 1 x)) (* 2 (/ 1 (/ 1 x))))) into (- (* 2 x) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x)))) 1538649603.822 * [misc]backup-simplify: Simplify (+ (/ 1 (- x)) (sqrt (- (* (/ 1 (- x)) (/ 1 (- x))) 1))) into (- (sqrt (- (/ 1 (pow x 2)) 1)) (/ 1 x)) 1538649603.822 * [misc]approximate: Taking taylor expansion of (- (sqrt (- (/ 1 (pow x 2)) 1)) (/ 1 x)) in (x) around 0 1538649603.822 * [misc]taylor: Taking taylor expansion of (- (sqrt (- (/ 1 (pow x 2)) 1)) (/ 1 x)) in x 1538649603.822 * [misc]taylor: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1)) in x 1538649603.822 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x 1538649603.822 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1538649603.822 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1538649603.822 * [misc]taylor: Taking taylor expansion of x in x 1538649603.822 * [misc]backup-simplify: Simplify 0 into 0 1538649603.822 * [misc]backup-simplify: Simplify 1 into 1 1538649603.822 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538649603.822 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538649603.822 * [misc]taylor: Taking taylor expansion of 1 in x 1538649603.822 * [misc]backup-simplify: Simplify 1 into 1 1538649603.823 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538649603.823 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1538649603.823 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538649603.823 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538649603.823 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538649603.823 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 1))) into 0 1538649603.823 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538649603.823 * [misc]taylor: Taking taylor expansion of x in x 1538649603.823 * [misc]backup-simplify: Simplify 0 into 0 1538649603.823 * [misc]backup-simplify: Simplify 1 into 1 1538649603.823 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538649603.823 * [misc]taylor: Taking taylor expansion of (- (sqrt (- (/ 1 (pow x 2)) 1)) (/ 1 x)) in x 1538649603.823 * [misc]taylor: Taking taylor expansion of (sqrt (- (/ 1 (pow x 2)) 1)) in x 1538649603.823 * [misc]taylor: Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x 1538649603.823 * [misc]taylor: Taking taylor expansion of (/ 1 (pow x 2)) in x 1538649603.823 * [misc]taylor: Taking taylor expansion of (pow x 2) in x 1538649603.823 * [misc]taylor: Taking taylor expansion of x in x 1538649603.823 * [misc]backup-simplify: Simplify 0 into 0 1538649603.823 * [misc]backup-simplify: Simplify 1 into 1 1538649603.824 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538649603.824 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538649603.824 * [misc]taylor: Taking taylor expansion of 1 in x 1538649603.824 * [misc]backup-simplify: Simplify 1 into 1 1538649603.824 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538649603.824 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1538649603.824 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538649603.824 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538649603.824 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538649603.824 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 1))) into 0 1538649603.824 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538649603.824 * [misc]taylor: Taking taylor expansion of x in x 1538649603.824 * [misc]backup-simplify: Simplify 0 into 0 1538649603.824 * [misc]backup-simplify: Simplify 1 into 1 1538649603.825 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538649603.825 * [misc]backup-simplify: Simplify (- 1) into -1 1538649603.825 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1538649603.825 * [misc]backup-simplify: Simplify 0 into 0 1538649603.825 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538649603.825 * [misc]backup-simplify: Simplify (- 0) into 0 1538649603.825 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538649603.825 * [misc]backup-simplify: Simplify 0 into 0 1538649603.825 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538649603.826 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538649603.826 * [misc]backup-simplify: Simplify (- 1) into -1 1538649603.826 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1538649603.826 * [misc]backup-simplify: Simplify (/ (- -1 (pow 0 2) (+)) (* 2 1)) into -1/2 1538649603.827 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538649603.827 * [misc]backup-simplify: Simplify (- 0) into 0 1538649603.827 * [misc]backup-simplify: Simplify (+ -1/2 0) into -1/2 1538649603.827 * [misc]backup-simplify: Simplify -1/2 into -1/2 1538649603.827 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538649603.827 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538649603.828 * [misc]backup-simplify: Simplify (- 0) into 0 1538649603.828 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538649603.828 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 -1/2)))) (* 2 1)) into 0 1538649603.828 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538649603.828 * [misc]backup-simplify: Simplify (- 0) into 0 1538649603.828 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538649603.828 * [misc]backup-simplify: Simplify 0 into 0 1538649603.829 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538649603.829 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538649603.829 * [misc]backup-simplify: Simplify (- 0) into 0 1538649603.829 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538649603.830 * [misc]backup-simplify: Simplify (/ (- 0 (pow -1/2 2) (+ (* 2 (* 0 0)))) (* 2 1)) into -1/8 1538649603.830 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538649603.830 * [misc]backup-simplify: Simplify (- 0) into 0 1538649603.830 * [misc]backup-simplify: Simplify (+ -1/8 0) into -1/8 1538649603.830 * [misc]backup-simplify: Simplify -1/8 into -1/8 1538649603.831 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538649603.831 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538649603.831 * [misc]backup-simplify: Simplify (- 0) into 0 1538649603.831 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538649603.831 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 -1/8)) (* 2 (* -1/2 0)))) (* 2 1)) into 0 1538649603.832 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538649603.832 * [misc]backup-simplify: Simplify (- 0) into 0 1538649603.832 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538649603.833 * [misc]backup-simplify: Simplify 0 into 0 1538649603.833 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538649603.834 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538649603.834 * [misc]backup-simplify: Simplify (- 0) into 0 1538649603.834 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538649603.836 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* -1/2 -1/8)))) (* 2 1)) into -1/16 1538649603.836 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538649603.836 * [misc]backup-simplify: Simplify (- 0) into 0 1538649603.837 * [misc]backup-simplify: Simplify (+ -1/16 0) into -1/16 1538649603.837 * [misc]backup-simplify: Simplify -1/16 into -1/16 1538649603.837 * [misc]backup-simplify: Simplify (+ (* -1/16 (pow (/ 1 (- x)) 5)) (+ (* -1/8 (pow (/ 1 (- x)) 3)) (* -1/2 (/ 1 (- x))))) into (+ (* 1/16 (/ 1 (pow x 5))) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x)))) 1538649603.837 * * * [misc]progress: simplifying candidates 1538649603.838 * * * * [misc]progress: [ 1 / 31 ] simplifiying candidate # 1538649603.838 * * * * [misc]progress: [ 2 / 31 ] simplifiying candidate # 1538649603.838 * * * * [misc]progress: [ 3 / 31 ] simplifiying candidate # 1538649603.838 * * * * [misc]progress: [ 4 / 31 ] simplifiying candidate # 1538649603.838 * * * * [misc]progress: [ 5 / 31 ] simplifiying candidate # 1538649603.838 * * * * [misc]progress: [ 6 / 31 ] simplifiying candidate # 1538649603.838 * * * * [misc]progress: [ 7 / 31 ] simplifiying candidate # 1538649603.838 * [enter]simplify: Simplifying (sqrt (* (cbrt (- (* x x) 1)) (cbrt (- (* x x) 1)))) 1538649603.839 * * [misc]simplify: iters left: 6 (7 enodes) 1538649603.844 * * [misc]simplify: iters left: 5 (16 enodes) 1538649603.849 * * [misc]simplify: iters left: 4 (19 enodes) 1538649603.857 * * [misc]simplify: iters left: 3 (35 enodes) 1538649603.879 * * [misc]simplify: iters left: 2 (60 enodes) 1538649603.916 * * [misc]simplify: iters left: 1 (108 enodes) 1538649604.020 * [exit]simplify: Simplified to (fabs (cbrt (+ -1 (* x x)))) 1538649604.020 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (log (+ x (* (fabs (cbrt (+ -1 (* x x)))) (sqrt (cbrt (- (* x x) 1))))))) 1538649604.020 * * * * [misc]progress: [ 8 / 31 ] simplifiying candidate # 1538649604.021 * [enter]simplify: Simplifying (sqrt (sqrt (- (* x x) 1))) 1538649604.024 * * [misc]simplify: iters left: 6 (6 enodes) 1538649604.028 * * [misc]simplify: iters left: 5 (14 enodes) 1538649604.033 * * [misc]simplify: iters left: 4 (17 enodes) 1538649604.040 * * [misc]simplify: iters left: 3 (33 enodes) 1538649604.055 * * [misc]simplify: iters left: 2 (58 enodes) 1538649604.075 * * [misc]simplify: iters left: 1 (106 enodes) 1538649604.166 * [exit]simplify: Simplified to (sqrt (sqrt (- (* x x) 1))) 1538649604.166 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (log (+ x (* (sqrt (sqrt (- (* x x) 1))) (sqrt (sqrt (- (* x x) 1))))))) 1538649604.166 * * * * [misc]progress: [ 9 / 31 ] simplifiying candidate # 1538649604.166 * [enter]simplify: Simplifying (sqrt 1) 1538649604.167 * * [misc]simplify: iters left: 1 (2 enodes) 1538649604.168 * [exit]simplify: Simplified to 1 1538649604.168 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (log (+ x (* 1 (sqrt (- (* x x) 1)))))) 1538649604.168 * * * * [misc]progress: [ 10 / 31 ] simplifiying candidate # 1538649604.169 * [enter]simplify: Simplifying (sqrt (+ x 1)) 1538649604.169 * * [misc]simplify: iters left: 3 (4 enodes) 1538649604.171 * * [misc]simplify: iters left: 2 (7 enodes) 1538649604.173 * [exit]simplify: Simplified to (sqrt (+ 1 x)) 1538649604.173 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (log (+ x (* (sqrt (+ 1 x)) (sqrt (- x 1)))))) 1538649604.173 * * * * [misc]progress: [ 11 / 31 ] simplifiying candidate # 1538649604.173 * [enter]simplify: Simplifying (sqrt (- (pow (* x x) 3) (pow 1 3))) 1538649604.174 * * [misc]simplify: iters left: 6 (8 enodes) 1538649604.179 * * [misc]simplify: iters left: 5 (20 enodes) 1538649604.185 * * [misc]simplify: iters left: 4 (31 enodes) 1538649604.191 * * [misc]simplify: iters left: 3 (41 enodes) 1538649604.199 * * [misc]simplify: iters left: 2 (60 enodes) 1538649604.216 * * [misc]simplify: iters left: 1 (104 enodes) 1538649604.250 * [exit]simplify: Simplified to (sqrt (- (pow x 6) 1)) 1538649604.250 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (log (+ x (/ (sqrt (- (pow x 6) 1)) (sqrt (+ (* (* x x) (* x x)) (+ (* 1 1) (* (* x x) 1)))))))) 1538649604.250 * * * * [misc]progress: [ 12 / 31 ] simplifiying candidate # 1538649604.250 * [enter]simplify: Simplifying (sqrt (- (* (* x x) (* x x)) (* 1 1))) 1538649604.251 * * [misc]simplify: iters left: 6 (7 enodes) 1538649604.253 * * [misc]simplify: iters left: 5 (16 enodes) 1538649604.256 * * [misc]simplify: iters left: 4 (21 enodes) 1538649604.260 * * [misc]simplify: iters left: 3 (30 enodes) 1538649604.267 * * [misc]simplify: iters left: 2 (53 enodes) 1538649604.289 * * [misc]simplify: iters left: 1 (135 enodes) 1538649604.416 * [exit]simplify: Simplified to (sqrt (+ (pow x 4) -1)) 1538649604.416 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (log (+ x (/ (sqrt (+ (pow x 4) -1)) (sqrt (+ (* x x) 1)))))) 1538649604.416 * * * * [misc]progress: [ 13 / 31 ] simplifiying candidate # 1538649604.416 * * * * [misc]progress: [ 14 / 31 ] simplifiying candidate # 1538649604.416 * [enter]simplify: Simplifying (sqrt (- (* x x) 1)) 1538649604.417 * * [misc]simplify: iters left: 5 (5 enodes) 1538649604.419 * * [misc]simplify: iters left: 4 (13 enodes) 1538649604.421 * * [misc]simplify: iters left: 3 (16 enodes) 1538649604.425 * * [misc]simplify: iters left: 2 (32 enodes) 1538649604.436 * * [misc]simplify: iters left: 1 (57 enodes) 1538649604.454 * [exit]simplify: Simplified to (sqrt (+ -1 (* x x))) 1538649604.455 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (log (+ x (fabs (sqrt (+ -1 (* x x))))))) 1538649604.455 * * * * [misc]progress: [ 15 / 31 ] simplifiying candidate # 1538649604.455 * * * * [misc]progress: [ 16 / 31 ] simplifiying candidate # 1538649604.455 * * * * [misc]progress: [ 17 / 31 ] simplifiying candidate # 1538649604.455 * * * * [misc]progress: [ 18 / 31 ] simplifiying candidate # 1538649604.455 * * * * [misc]progress: [ 19 / 31 ] simplifiying candidate # 1538649604.455 * * * * [misc]progress: [ 20 / 31 ] simplifiying candidate # 1538649604.455 * * * * [misc]progress: [ 21 / 31 ] simplifiying candidate # 1538649604.455 * * * * [misc]progress: [ 22 / 31 ] simplifiying candidate # 1538649604.455 * * * * [misc]progress: [ 23 / 31 ] simplifiying candidate # 1538649604.455 * * * * [misc]progress: [ 24 / 31 ] simplifiying candidate # 1538649604.455 * * * * [misc]progress: [ 25 / 31 ] simplifiying candidate # 1538649604.455 * * * * [misc]progress: [ 26 / 31 ] simplifiying candidate # 1538649604.455 * [enter]simplify: Simplifying (- (+ (* 1/2 (/ (pow x 2) (sqrt -1))) (sqrt -1)) (* 1/8 (/ (pow x 4) (pow (sqrt -1) 3)))) 1538649604.456 * * [misc]simplify: iters left: 6 (17 enodes) 1538649604.462 * * [misc]simplify: iters left: 5 (32 enodes) 1538649604.481 * * [misc]simplify: iters left: 4 (76 enodes) 1538649604.511 * * [misc]simplify: iters left: 3 (140 enodes) 1538649604.560 * * [misc]simplify: iters left: 2 (250 enodes) 1538649604.648 * * [misc]simplify: iters left: 1 (394 enodes) 1538649604.947 * [exit]simplify: Simplified to (- (/ 1/2 (/ (sqrt -1) (* x x))) (- (/ (/ (pow x 4) (sqrt -1)) -8) (sqrt -1))) 1538649604.947 * [misc]simplify: Simplified (2 1 2) to (λ (x) (log (+ x (- (/ 1/2 (/ (sqrt -1) (* x x))) (- (/ (/ (pow x 4) (sqrt -1)) -8) (sqrt -1)))))) 1538649604.947 * * * * [misc]progress: [ 27 / 31 ] simplifiying candidate # 1538649604.947 * [enter]simplify: Simplifying (- x (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x)))) 1538649604.948 * * [misc]simplify: iters left: 6 (12 enodes) 1538649604.957 * * [misc]simplify: iters left: 5 (28 enodes) 1538649604.970 * * [misc]simplify: iters left: 4 (43 enodes) 1538649604.996 * * [misc]simplify: iters left: 3 (87 enodes) 1538649605.030 * * [misc]simplify: iters left: 2 (145 enodes) 1538649605.054 * * [misc]simplify: iters left: 1 (204 enodes) 1538649605.132 * [exit]simplify: Simplified to (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x))) 1538649605.132 * [misc]simplify: Simplified (2 1 2) to (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x)))))) 1538649605.132 * * * * [misc]progress: [ 28 / 31 ] simplifiying candidate # 1538649605.132 * [enter]simplify: Simplifying (- (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x))) x) 1538649605.133 * * [misc]simplify: iters left: 6 (12 enodes) 1538649605.138 * * [misc]simplify: iters left: 5 (28 enodes) 1538649605.145 * * [misc]simplify: iters left: 4 (43 enodes) 1538649605.154 * * [misc]simplify: iters left: 3 (63 enodes) 1538649605.170 * * [misc]simplify: iters left: 2 (95 enodes) 1538649605.186 * * [misc]simplify: iters left: 1 (135 enodes) 1538649605.221 * [exit]simplify: Simplified to (+ (/ (/ 1/8 x) (* x x)) (- (/ 1/2 x) x)) 1538649605.222 * [misc]simplify: Simplified (2 1 2) to (λ (x) (log (+ x (+ (/ (/ 1/8 x) (* x x)) (- (/ 1/2 x) x))))) 1538649605.222 * * * * [misc]progress: [ 29 / 31 ] simplifiying candidate # 1538649605.222 * [enter]simplify: Simplifying (+ x (+ (* 1/2 (/ (pow x 2) (sqrt -1))) (sqrt -1))) 1538649605.222 * * [misc]simplify: iters left: 6 (10 enodes) 1538649605.225 * * [misc]simplify: iters left: 5 (18 enodes) 1538649605.230 * * [misc]simplify: iters left: 4 (32 enodes) 1538649605.237 * * [misc]simplify: iters left: 3 (42 enodes) 1538649605.246 * * [misc]simplify: iters left: 2 (52 enodes) 1538649605.256 * * [misc]simplify: iters left: 1 (68 enodes) 1538649605.275 * [exit]simplify: Simplified to (+ (+ (sqrt -1) x) (/ 1/2 (/ (sqrt -1) (* x x)))) 1538649605.275 * [misc]simplify: Simplified (2 1) to (λ (x) (log (+ (+ (sqrt -1) x) (/ 1/2 (/ (sqrt -1) (* x x)))))) 1538649605.276 * * * * [misc]progress: [ 30 / 31 ] simplifiying candidate # 1538649605.276 * [enter]simplify: Simplifying (- (* 2 x) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x)))) 1538649605.277 * * [misc]simplify: iters left: 6 (14 enodes) 1538649605.287 * * [misc]simplify: iters left: 5 (31 enodes) 1538649605.295 * * [misc]simplify: iters left: 4 (46 enodes) 1538649605.309 * * [misc]simplify: iters left: 3 (89 enodes) 1538649605.338 * * [misc]simplify: iters left: 2 (148 enodes) 1538649605.378 * * [misc]simplify: iters left: 1 (212 enodes) 1538649605.448 * [exit]simplify: Simplified to (- (/ (/ -1/8 x) (* x x)) (+ (/ 1/2 x) (* -2 x))) 1538649605.448 * [misc]simplify: Simplified (2 1) to (λ (x) (log (- (/ (/ -1/8 x) (* x x)) (+ (/ 1/2 x) (* -2 x))))) 1538649605.448 * * * * [misc]progress: [ 31 / 31 ] simplifiying candidate # 1538649605.448 * [enter]simplify: Simplifying (+ (* 1/16 (/ 1 (pow x 5))) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x)))) 1538649605.450 * * [misc]simplify: iters left: 6 (17 enodes) 1538649605.461 * * [misc]simplify: iters left: 5 (35 enodes) 1538649605.476 * * [misc]simplify: iters left: 4 (50 enodes) 1538649605.495 * * [misc]simplify: iters left: 3 (68 enodes) 1538649605.523 * * [misc]simplify: iters left: 2 (101 enodes) 1538649605.549 * * [misc]simplify: iters left: 1 (125 enodes) 1538649605.590 * [exit]simplify: Simplified to (+ (/ 1/2 x) (+ (/ 1/16 (pow x 5)) (/ (/ 1/8 x) (* x x)))) 1538649605.590 * [misc]simplify: Simplified (2 1) to (λ (x) (log (+ (/ 1/2 x) (+ (/ 1/16 (pow x 5)) (/ (/ 1/8 x) (* x x)))))) 1538649605.590 * * * [misc]progress: adding candidates to table 1538649606.115 * * [misc]progress: iteration 2 / 4 1538649606.115 * * * [misc]progress: picking best candidate 1538649606.125 * * * * [misc]pick: Picked # 1538649606.125 * * * [misc]progress: localizing error 1538649606.169 * * * [misc]progress: generating rewritten candidates 1538649606.170 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2 1 2) 1538649606.205 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 1) 1538649606.238 * * * [misc]progress: generating series expansions 1538649606.239 * * * * [misc]progress: [ 1 / 2 ] generating series at (2 1 2) 1538649606.239 * [misc]backup-simplify: Simplify (* (sqrt (+ x 1)) (sqrt (- x 1))) into (sqrt (* (+ x 1) (- x 1))) 1538649606.239 * [misc]approximate: Taking taylor expansion of (sqrt (* (+ x 1) (- x 1))) in (x) around 0 1538649606.239 * [misc]taylor: Taking taylor expansion of (sqrt (* (+ x 1) (- x 1))) in x 1538649606.239 * [misc]taylor: Taking taylor expansion of (* (+ x 1) (- x 1)) in x 1538649606.239 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1538649606.239 * [misc]taylor: Taking taylor expansion of x in x 1538649606.239 * [misc]backup-simplify: Simplify 0 into 0 1538649606.239 * [misc]backup-simplify: Simplify 1 into 1 1538649606.239 * [misc]taylor: Taking taylor expansion of 1 in x 1538649606.239 * [misc]backup-simplify: Simplify 1 into 1 1538649606.239 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1538649606.239 * [misc]taylor: Taking taylor expansion of x in x 1538649606.239 * [misc]backup-simplify: Simplify 0 into 0 1538649606.239 * [misc]backup-simplify: Simplify 1 into 1 1538649606.239 * [misc]taylor: Taking taylor expansion of 1 in x 1538649606.239 * [misc]backup-simplify: Simplify 1 into 1 1538649606.239 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1538649606.239 * [misc]backup-simplify: Simplify (- 1) into -1 1538649606.239 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1538649606.240 * [misc]backup-simplify: Simplify (* 1 -1) into -1 1538649606.240 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1538649606.240 * [misc]backup-simplify: Simplify (- 0) into 0 1538649606.240 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538649606.240 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538649606.240 * [misc]backup-simplify: Simplify (+ (* 1 1) (* 1 -1)) into 0 1538649606.240 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt -1))) into 0 1538649606.240 * [misc]taylor: Taking taylor expansion of (sqrt (* (+ x 1) (- x 1))) in x 1538649606.240 * [misc]taylor: Taking taylor expansion of (* (+ x 1) (- x 1)) in x 1538649606.240 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1538649606.240 * [misc]taylor: Taking taylor expansion of x in x 1538649606.240 * [misc]backup-simplify: Simplify 0 into 0 1538649606.240 * [misc]backup-simplify: Simplify 1 into 1 1538649606.240 * [misc]taylor: Taking taylor expansion of 1 in x 1538649606.240 * [misc]backup-simplify: Simplify 1 into 1 1538649606.240 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1538649606.240 * [misc]taylor: Taking taylor expansion of x in x 1538649606.240 * [misc]backup-simplify: Simplify 0 into 0 1538649606.240 * [misc]backup-simplify: Simplify 1 into 1 1538649606.240 * [misc]taylor: Taking taylor expansion of 1 in x 1538649606.240 * [misc]backup-simplify: Simplify 1 into 1 1538649606.241 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1538649606.241 * [misc]backup-simplify: Simplify (- 1) into -1 1538649606.241 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1538649606.241 * [misc]backup-simplify: Simplify (* 1 -1) into -1 1538649606.241 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1538649606.241 * [misc]backup-simplify: Simplify (- 0) into 0 1538649606.241 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538649606.241 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538649606.241 * [misc]backup-simplify: Simplify (+ (* 1 1) (* 1 -1)) into 0 1538649606.242 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt -1))) into 0 1538649606.242 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1538649606.242 * [misc]backup-simplify: Simplify 0 into 0 1538649606.242 * [misc]backup-simplify: Simplify (- 0) into 0 1538649606.242 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538649606.242 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538649606.242 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 1 1) (* 0 -1))) into 1 1538649606.243 * [misc]backup-simplify: Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1)) 1538649606.244 * [misc]backup-simplify: Simplify (/ 1/2 (sqrt -1)) into (/ 1/2 (sqrt -1)) 1538649606.244 * [misc]backup-simplify: Simplify (- 0) into 0 1538649606.244 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538649606.244 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538649606.244 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 1) (* 0 -1)))) into 0 1538649606.244 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (sqrt -1)))))) (* 2 (sqrt -1))) into 0 1538649606.244 * [misc]backup-simplify: Simplify 0 into 0 1538649606.245 * [misc]backup-simplify: Simplify (- 0) into 0 1538649606.245 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538649606.245 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538649606.245 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1))))) into 0 1538649606.246 * [misc]backup-simplify: Simplify (/ (- 0 (pow (/ 1/2 (sqrt -1)) 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt -1))) into (/ -1/8 (pow (sqrt -1) 3)) 1538649606.247 * [misc]backup-simplify: Simplify (/ -1/8 (pow (sqrt -1) 3)) into (/ -1/8 (pow (sqrt -1) 3)) 1538649606.248 * [misc]backup-simplify: Simplify (+ (* (/ -1/8 (pow (sqrt -1) 3)) (pow x 4)) (+ (* (/ 1/2 (sqrt -1)) (pow x 2)) (sqrt -1))) into (- (+ (* 1/2 (/ (pow x 2) (sqrt -1))) (sqrt -1)) (* 1/8 (/ (pow x 4) (pow (sqrt -1) 3)))) 1538649606.249 * [misc]backup-simplify: Simplify (* (sqrt (+ (/ 1 x) 1)) (sqrt (- (/ 1 x) 1))) into (sqrt (* (+ (/ 1 x) 1) (- (/ 1 x) 1))) 1538649606.249 * [misc]approximate: Taking taylor expansion of (sqrt (* (+ (/ 1 x) 1) (- (/ 1 x) 1))) in (x) around 0 1538649606.249 * [misc]taylor: Taking taylor expansion of (sqrt (* (+ (/ 1 x) 1) (- (/ 1 x) 1))) in x 1538649606.249 * [misc]taylor: Taking taylor expansion of (* (+ (/ 1 x) 1) (- (/ 1 x) 1)) in x 1538649606.249 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1538649606.249 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538649606.249 * [misc]taylor: Taking taylor expansion of x in x 1538649606.249 * [misc]backup-simplify: Simplify 0 into 0 1538649606.249 * [misc]backup-simplify: Simplify 1 into 1 1538649606.249 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538649606.249 * [misc]taylor: Taking taylor expansion of 1 in x 1538649606.249 * [misc]backup-simplify: Simplify 1 into 1 1538649606.249 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1538649606.249 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538649606.249 * [misc]taylor: Taking taylor expansion of x in x 1538649606.249 * [misc]backup-simplify: Simplify 0 into 0 1538649606.249 * [misc]backup-simplify: Simplify 1 into 1 1538649606.249 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538649606.249 * [misc]taylor: Taking taylor expansion of 1 in x 1538649606.249 * [misc]backup-simplify: Simplify 1 into 1 1538649606.249 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538649606.249 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538649606.249 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538649606.249 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1538649606.250 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538649606.250 * [misc]backup-simplify: Simplify (- 1) into -1 1538649606.250 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1538649606.250 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538649606.250 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1538649606.250 * [misc]backup-simplify: Simplify (+ (* 1 -1) (* 1 1)) into 0 1538649606.250 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 1))) into 0 1538649606.250 * [misc]taylor: Taking taylor expansion of (sqrt (* (+ (/ 1 x) 1) (- (/ 1 x) 1))) in x 1538649606.250 * [misc]taylor: Taking taylor expansion of (* (+ (/ 1 x) 1) (- (/ 1 x) 1)) in x 1538649606.250 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1538649606.250 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538649606.250 * [misc]taylor: Taking taylor expansion of x in x 1538649606.250 * [misc]backup-simplify: Simplify 0 into 0 1538649606.250 * [misc]backup-simplify: Simplify 1 into 1 1538649606.251 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538649606.251 * [misc]taylor: Taking taylor expansion of 1 in x 1538649606.251 * [misc]backup-simplify: Simplify 1 into 1 1538649606.251 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1538649606.251 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538649606.251 * [misc]taylor: Taking taylor expansion of x in x 1538649606.251 * [misc]backup-simplify: Simplify 0 into 0 1538649606.251 * [misc]backup-simplify: Simplify 1 into 1 1538649606.251 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538649606.251 * [misc]taylor: Taking taylor expansion of 1 in x 1538649606.251 * [misc]backup-simplify: Simplify 1 into 1 1538649606.251 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538649606.251 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538649606.251 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538649606.251 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1538649606.251 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538649606.251 * [misc]backup-simplify: Simplify (- 1) into -1 1538649606.252 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1538649606.252 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538649606.252 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1538649606.252 * [misc]backup-simplify: Simplify (+ (* 1 -1) (* 1 1)) into 0 1538649606.252 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 1))) into 0 1538649606.252 * [misc]backup-simplify: Simplify 1 into 1 1538649606.252 * [misc]backup-simplify: Simplify 0 into 0 1538649606.252 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538649606.253 * [misc]backup-simplify: Simplify (- 0) into 0 1538649606.253 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538649606.253 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538649606.253 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538649606.253 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 1 -1) (* 0 1))) into -1 1538649606.254 * [misc]backup-simplify: Simplify (/ (- -1 (pow 0 2) (+)) (* 2 1)) into -1/2 1538649606.254 * [misc]backup-simplify: Simplify -1/2 into -1/2 1538649606.254 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538649606.254 * [misc]backup-simplify: Simplify (- 0) into 0 1538649606.254 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538649606.255 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538649606.255 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538649606.255 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 -1) (* 0 1)))) into 0 1538649606.255 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 -1/2)))) (* 2 1)) into 0 1538649606.255 * [misc]backup-simplify: Simplify 0 into 0 1538649606.255 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538649606.256 * [misc]backup-simplify: Simplify (- 0) into 0 1538649606.256 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538649606.256 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538649606.256 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538649606.256 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 -1) (* 0 1))))) into 0 1538649606.257 * [misc]backup-simplify: Simplify (/ (- 0 (pow -1/2 2) (+ (* 2 (* 0 0)))) (* 2 1)) into -1/8 1538649606.257 * [misc]backup-simplify: Simplify -1/8 into -1/8 1538649606.257 * [misc]backup-simplify: Simplify (+ (* -1/8 (pow (/ 1 x) 3)) (+ (* -1/2 (/ 1 x)) (* 1 (/ 1 (/ 1 x))))) into (- x (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x)))) 1538649606.258 * [misc]backup-simplify: Simplify (* (sqrt (+ (/ 1 (- x)) 1)) (sqrt (- (/ 1 (- x)) 1))) into (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (- 1 (/ 1 x)))) 1538649606.258 * [misc]approximate: Taking taylor expansion of (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (- 1 (/ 1 x)))) in (x) around 0 1538649606.258 * [misc]taylor: Taking taylor expansion of (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (- 1 (/ 1 x)))) in x 1538649606.258 * [misc]taylor: Taking taylor expansion of (sqrt (- (+ (/ 1 x) 1))) in x 1538649606.258 * [misc]taylor: Taking taylor expansion of (- (+ (/ 1 x) 1)) in x 1538649606.258 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1538649606.258 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538649606.258 * [misc]taylor: Taking taylor expansion of x in x 1538649606.258 * [misc]backup-simplify: Simplify 0 into 0 1538649606.258 * [misc]backup-simplify: Simplify 1 into 1 1538649606.258 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538649606.258 * [misc]taylor: Taking taylor expansion of 1 in x 1538649606.258 * [misc]backup-simplify: Simplify 1 into 1 1538649606.258 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538649606.258 * [misc]backup-simplify: Simplify (- 1) into -1 1538649606.258 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1538649606.258 * [misc]backup-simplify: Simplify (- 1) into -1 1538649606.259 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1538649606.259 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (/ 1 x))) in x 1538649606.259 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1538649606.259 * [misc]taylor: Taking taylor expansion of 1 in x 1538649606.259 * [misc]backup-simplify: Simplify 1 into 1 1538649606.259 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538649606.259 * [misc]taylor: Taking taylor expansion of x in x 1538649606.259 * [misc]backup-simplify: Simplify 0 into 0 1538649606.259 * [misc]backup-simplify: Simplify 1 into 1 1538649606.259 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538649606.259 * [misc]backup-simplify: Simplify (- 1) into -1 1538649606.259 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1538649606.259 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1538649606.260 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1538649606.260 * [misc]taylor: Taking taylor expansion of (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (- 1 (/ 1 x)))) in x 1538649606.260 * [misc]taylor: Taking taylor expansion of (sqrt (- (+ (/ 1 x) 1))) in x 1538649606.260 * [misc]taylor: Taking taylor expansion of (- (+ (/ 1 x) 1)) in x 1538649606.260 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1538649606.260 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538649606.260 * [misc]taylor: Taking taylor expansion of x in x 1538649606.260 * [misc]backup-simplify: Simplify 0 into 0 1538649606.260 * [misc]backup-simplify: Simplify 1 into 1 1538649606.260 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538649606.260 * [misc]taylor: Taking taylor expansion of 1 in x 1538649606.260 * [misc]backup-simplify: Simplify 1 into 1 1538649606.260 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538649606.260 * [misc]backup-simplify: Simplify (- 1) into -1 1538649606.260 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1538649606.260 * [misc]backup-simplify: Simplify (- 1) into -1 1538649606.261 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1538649606.261 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (/ 1 x))) in x 1538649606.261 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1538649606.261 * [misc]taylor: Taking taylor expansion of 1 in x 1538649606.261 * [misc]backup-simplify: Simplify 1 into 1 1538649606.261 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538649606.261 * [misc]taylor: Taking taylor expansion of x in x 1538649606.261 * [misc]backup-simplify: Simplify 0 into 0 1538649606.261 * [misc]backup-simplify: Simplify 1 into 1 1538649606.261 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538649606.261 * [misc]backup-simplify: Simplify (- 1) into -1 1538649606.261 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1538649606.261 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1538649606.261 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1538649606.261 * [misc]backup-simplify: Simplify (* 0 0) into 0 1538649606.262 * [misc]backup-simplify: Simplify 0 into 0 1538649606.262 * [misc]backup-simplify: Simplify (+ (* 0 +nan.0) (* +nan.0 0)) into 0 1538649606.262 * [misc]backup-simplify: Simplify 0 into 0 1538649606.262 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538649606.262 * [misc]backup-simplify: Simplify (- 0) into 0 1538649606.262 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538649606.263 * [misc]backup-simplify: Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1538649606.263 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538649606.263 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1538649606.263 * [misc]backup-simplify: Simplify (- 1) into -1 1538649606.264 * [misc]backup-simplify: Simplify (/ (- -1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1538649606.264 * [misc]backup-simplify: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0))) into (- +nan.0) 1538649606.264 * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) 1538649606.265 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538649606.265 * [misc]backup-simplify: Simplify (- 0) into 0 1538649606.265 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538649606.265 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1538649606.266 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538649606.266 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538649606.266 * [misc]backup-simplify: Simplify (- 0) into 0 1538649606.267 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1538649606.267 * [misc]backup-simplify: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0)))) into (- +nan.0) 1538649606.267 * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) 1538649606.268 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538649606.268 * [misc]backup-simplify: Simplify (- 0) into 0 1538649606.268 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538649606.269 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1538649606.269 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538649606.269 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538649606.269 * [misc]backup-simplify: Simplify (- 0) into 0 1538649606.270 * [misc]backup-simplify: Simplify (/ (- 0 (pow +nan.0 2) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1538649606.271 * [misc]backup-simplify: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0))))) into (- +nan.0) 1538649606.272 * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) 1538649606.276 * [misc]backup-simplify: Simplify (+ (* (- +nan.0) (pow (/ 1 (- x)) 2)) (+ (* (- +nan.0) (/ 1 (- x))) (- +nan.0))) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 1538649606.276 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 1) 1538649606.277 * [misc]backup-simplify: Simplify (+ x (* (sqrt (+ x 1)) (sqrt (- x 1)))) into (+ x (sqrt (* (+ x 1) (- x 1)))) 1538649606.277 * [misc]approximate: Taking taylor expansion of (+ x (sqrt (* (+ x 1) (- x 1)))) in (x) around 0 1538649606.277 * [misc]taylor: Taking taylor expansion of (+ x (sqrt (* (+ x 1) (- x 1)))) in x 1538649606.277 * [misc]taylor: Taking taylor expansion of x in x 1538649606.277 * [misc]backup-simplify: Simplify 0 into 0 1538649606.277 * [misc]backup-simplify: Simplify 1 into 1 1538649606.277 * [misc]taylor: Taking taylor expansion of (sqrt (* (+ x 1) (- x 1))) in x 1538649606.277 * [misc]taylor: Taking taylor expansion of (* (+ x 1) (- x 1)) in x 1538649606.277 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1538649606.277 * [misc]taylor: Taking taylor expansion of x in x 1538649606.277 * [misc]backup-simplify: Simplify 0 into 0 1538649606.277 * [misc]backup-simplify: Simplify 1 into 1 1538649606.277 * [misc]taylor: Taking taylor expansion of 1 in x 1538649606.277 * [misc]backup-simplify: Simplify 1 into 1 1538649606.277 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1538649606.277 * [misc]taylor: Taking taylor expansion of x in x 1538649606.277 * [misc]backup-simplify: Simplify 0 into 0 1538649606.278 * [misc]backup-simplify: Simplify 1 into 1 1538649606.278 * [misc]taylor: Taking taylor expansion of 1 in x 1538649606.278 * [misc]backup-simplify: Simplify 1 into 1 1538649606.278 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1538649606.278 * [misc]backup-simplify: Simplify (- 1) into -1 1538649606.278 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1538649606.278 * [misc]backup-simplify: Simplify (* 1 -1) into -1 1538649606.278 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1538649606.279 * [misc]backup-simplify: Simplify (- 0) into 0 1538649606.279 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538649606.279 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538649606.279 * [misc]backup-simplify: Simplify (+ (* 1 1) (* 1 -1)) into 0 1538649606.279 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt -1))) into 0 1538649606.279 * [misc]taylor: Taking taylor expansion of (+ x (sqrt (* (+ x 1) (- x 1)))) in x 1538649606.279 * [misc]taylor: Taking taylor expansion of x in x 1538649606.279 * [misc]backup-simplify: Simplify 0 into 0 1538649606.279 * [misc]backup-simplify: Simplify 1 into 1 1538649606.279 * [misc]taylor: Taking taylor expansion of (sqrt (* (+ x 1) (- x 1))) in x 1538649606.280 * [misc]taylor: Taking taylor expansion of (* (+ x 1) (- x 1)) in x 1538649606.280 * [misc]taylor: Taking taylor expansion of (+ x 1) in x 1538649606.280 * [misc]taylor: Taking taylor expansion of x in x 1538649606.280 * [misc]backup-simplify: Simplify 0 into 0 1538649606.280 * [misc]backup-simplify: Simplify 1 into 1 1538649606.280 * [misc]taylor: Taking taylor expansion of 1 in x 1538649606.280 * [misc]backup-simplify: Simplify 1 into 1 1538649606.280 * [misc]taylor: Taking taylor expansion of (- x 1) in x 1538649606.280 * [misc]taylor: Taking taylor expansion of x in x 1538649606.280 * [misc]backup-simplify: Simplify 0 into 0 1538649606.280 * [misc]backup-simplify: Simplify 1 into 1 1538649606.280 * [misc]taylor: Taking taylor expansion of 1 in x 1538649606.280 * [misc]backup-simplify: Simplify 1 into 1 1538649606.280 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1538649606.280 * [misc]backup-simplify: Simplify (- 1) into -1 1538649606.280 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1538649606.280 * [misc]backup-simplify: Simplify (* 1 -1) into -1 1538649606.281 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1538649606.281 * [misc]backup-simplify: Simplify (- 0) into 0 1538649606.281 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538649606.281 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538649606.281 * [misc]backup-simplify: Simplify (+ (* 1 1) (* 1 -1)) into 0 1538649606.281 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt -1))) into 0 1538649606.282 * [misc]backup-simplify: Simplify (+ 0 (sqrt -1)) into (sqrt -1) 1538649606.282 * [misc]backup-simplify: Simplify (sqrt -1) into (sqrt -1) 1538649606.282 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538649606.282 * [misc]backup-simplify: Simplify 1 into 1 1538649606.282 * [misc]backup-simplify: Simplify (- 0) into 0 1538649606.283 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538649606.283 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538649606.283 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 1 1) (* 0 -1))) into 1 1538649606.284 * [misc]backup-simplify: Simplify (/ (- 1 (pow 0 2) (+)) (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1)) 1538649606.285 * [misc]backup-simplify: Simplify (+ 0 (/ 1/2 (sqrt -1))) into (* 1/2 (/ 1 (sqrt -1))) 1538649606.285 * [misc]backup-simplify: Simplify (* 1/2 (/ 1 (sqrt -1))) into (/ 1/2 (sqrt -1)) 1538649606.286 * [misc]backup-simplify: Simplify (+ (* (/ 1/2 (sqrt -1)) (pow x 2)) (+ (* 1 x) (sqrt -1))) into (+ x (+ (* 1/2 (/ (pow x 2) (sqrt -1))) (sqrt -1))) 1538649606.286 * [misc]backup-simplify: Simplify (+ (/ 1 x) (* (sqrt (+ (/ 1 x) 1)) (sqrt (- (/ 1 x) 1)))) into (+ (sqrt (* (+ (/ 1 x) 1) (- (/ 1 x) 1))) (/ 1 x)) 1538649606.287 * [misc]approximate: Taking taylor expansion of (+ (sqrt (* (+ (/ 1 x) 1) (- (/ 1 x) 1))) (/ 1 x)) in (x) around 0 1538649606.287 * [misc]taylor: Taking taylor expansion of (+ (sqrt (* (+ (/ 1 x) 1) (- (/ 1 x) 1))) (/ 1 x)) in x 1538649606.287 * [misc]taylor: Taking taylor expansion of (sqrt (* (+ (/ 1 x) 1) (- (/ 1 x) 1))) in x 1538649606.287 * [misc]taylor: Taking taylor expansion of (* (+ (/ 1 x) 1) (- (/ 1 x) 1)) in x 1538649606.287 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1538649606.287 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538649606.287 * [misc]taylor: Taking taylor expansion of x in x 1538649606.287 * [misc]backup-simplify: Simplify 0 into 0 1538649606.287 * [misc]backup-simplify: Simplify 1 into 1 1538649606.287 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538649606.287 * [misc]taylor: Taking taylor expansion of 1 in x 1538649606.287 * [misc]backup-simplify: Simplify 1 into 1 1538649606.287 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1538649606.287 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538649606.287 * [misc]taylor: Taking taylor expansion of x in x 1538649606.287 * [misc]backup-simplify: Simplify 0 into 0 1538649606.287 * [misc]backup-simplify: Simplify 1 into 1 1538649606.287 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538649606.287 * [misc]taylor: Taking taylor expansion of 1 in x 1538649606.287 * [misc]backup-simplify: Simplify 1 into 1 1538649606.288 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538649606.288 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538649606.288 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538649606.288 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1538649606.288 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538649606.288 * [misc]backup-simplify: Simplify (- 1) into -1 1538649606.289 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1538649606.289 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538649606.289 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1538649606.289 * [misc]backup-simplify: Simplify (+ (* 1 -1) (* 1 1)) into 0 1538649606.289 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 1))) into 0 1538649606.289 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538649606.289 * [misc]taylor: Taking taylor expansion of x in x 1538649606.289 * [misc]backup-simplify: Simplify 0 into 0 1538649606.290 * [misc]backup-simplify: Simplify 1 into 1 1538649606.290 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538649606.290 * [misc]taylor: Taking taylor expansion of (+ (sqrt (* (+ (/ 1 x) 1) (- (/ 1 x) 1))) (/ 1 x)) in x 1538649606.290 * [misc]taylor: Taking taylor expansion of (sqrt (* (+ (/ 1 x) 1) (- (/ 1 x) 1))) in x 1538649606.290 * [misc]taylor: Taking taylor expansion of (* (+ (/ 1 x) 1) (- (/ 1 x) 1)) in x 1538649606.290 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1538649606.290 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538649606.290 * [misc]taylor: Taking taylor expansion of x in x 1538649606.290 * [misc]backup-simplify: Simplify 0 into 0 1538649606.290 * [misc]backup-simplify: Simplify 1 into 1 1538649606.290 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538649606.290 * [misc]taylor: Taking taylor expansion of 1 in x 1538649606.290 * [misc]backup-simplify: Simplify 1 into 1 1538649606.290 * [misc]taylor: Taking taylor expansion of (- (/ 1 x) 1) in x 1538649606.290 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538649606.290 * [misc]taylor: Taking taylor expansion of x in x 1538649606.290 * [misc]backup-simplify: Simplify 0 into 0 1538649606.290 * [misc]backup-simplify: Simplify 1 into 1 1538649606.290 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538649606.291 * [misc]taylor: Taking taylor expansion of 1 in x 1538649606.291 * [misc]backup-simplify: Simplify 1 into 1 1538649606.291 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538649606.291 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538649606.291 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538649606.291 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1538649606.291 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538649606.292 * [misc]backup-simplify: Simplify (- 1) into -1 1538649606.292 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1538649606.292 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538649606.292 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1538649606.293 * [misc]backup-simplify: Simplify (+ (* 1 -1) (* 1 1)) into 0 1538649606.293 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt 1))) into 0 1538649606.293 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538649606.293 * [misc]taylor: Taking taylor expansion of x in x 1538649606.293 * [misc]backup-simplify: Simplify 0 into 0 1538649606.293 * [misc]backup-simplify: Simplify 1 into 1 1538649606.293 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538649606.294 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1538649606.294 * [misc]backup-simplify: Simplify 2 into 2 1538649606.294 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538649606.294 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538649606.294 * [misc]backup-simplify: Simplify 0 into 0 1538649606.294 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538649606.295 * [misc]backup-simplify: Simplify (- 0) into 0 1538649606.295 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538649606.295 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538649606.295 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538649606.296 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 1 -1) (* 0 1))) into -1 1538649606.297 * [misc]backup-simplify: Simplify (/ (- -1 (pow 0 2) (+)) (* 2 1)) into -1/2 1538649606.297 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538649606.298 * [misc]backup-simplify: Simplify (+ -1/2 0) into -1/2 1538649606.298 * [misc]backup-simplify: Simplify -1/2 into -1/2 1538649606.298 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538649606.298 * [misc]backup-simplify: Simplify (- 0) into 0 1538649606.298 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538649606.299 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538649606.299 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538649606.299 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 -1) (* 0 1)))) into 0 1538649606.299 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 -1/2)))) (* 2 1)) into 0 1538649606.300 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538649606.300 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538649606.300 * [misc]backup-simplify: Simplify 0 into 0 1538649606.301 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538649606.301 * [misc]backup-simplify: Simplify (- 0) into 0 1538649606.301 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538649606.301 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538649606.302 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538649606.302 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 -1) (* 0 1))))) into 0 1538649606.303 * [misc]backup-simplify: Simplify (/ (- 0 (pow -1/2 2) (+ (* 2 (* 0 0)))) (* 2 1)) into -1/8 1538649606.304 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538649606.304 * [misc]backup-simplify: Simplify (+ -1/8 0) into -1/8 1538649606.304 * [misc]backup-simplify: Simplify -1/8 into -1/8 1538649606.305 * [misc]backup-simplify: Simplify (+ (* -1/8 (pow (/ 1 x) 3)) (+ (* -1/2 (/ 1 x)) (* 2 (/ 1 (/ 1 x))))) into (- (* 2 x) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x)))) 1538649606.305 * [misc]backup-simplify: Simplify (+ (/ 1 (- x)) (* (sqrt (+ (/ 1 (- x)) 1)) (sqrt (- (/ 1 (- x)) 1)))) into (- (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (- 1 (/ 1 x)))) (/ 1 x)) 1538649606.305 * [misc]approximate: Taking taylor expansion of (- (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (- 1 (/ 1 x)))) (/ 1 x)) in (x) around 0 1538649606.305 * [misc]taylor: Taking taylor expansion of (- (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (- 1 (/ 1 x)))) (/ 1 x)) in x 1538649606.305 * [misc]taylor: Taking taylor expansion of (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (- 1 (/ 1 x)))) in x 1538649606.305 * [misc]taylor: Taking taylor expansion of (sqrt (- (+ (/ 1 x) 1))) in x 1538649606.305 * [misc]taylor: Taking taylor expansion of (- (+ (/ 1 x) 1)) in x 1538649606.305 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1538649606.305 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538649606.305 * [misc]taylor: Taking taylor expansion of x in x 1538649606.305 * [misc]backup-simplify: Simplify 0 into 0 1538649606.305 * [misc]backup-simplify: Simplify 1 into 1 1538649606.305 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538649606.305 * [misc]taylor: Taking taylor expansion of 1 in x 1538649606.305 * [misc]backup-simplify: Simplify 1 into 1 1538649606.306 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538649606.306 * [misc]backup-simplify: Simplify (- 1) into -1 1538649606.306 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1538649606.306 * [misc]backup-simplify: Simplify (- 1) into -1 1538649606.307 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1538649606.307 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (/ 1 x))) in x 1538649606.307 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1538649606.307 * [misc]taylor: Taking taylor expansion of 1 in x 1538649606.307 * [misc]backup-simplify: Simplify 1 into 1 1538649606.307 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538649606.307 * [misc]taylor: Taking taylor expansion of x in x 1538649606.307 * [misc]backup-simplify: Simplify 0 into 0 1538649606.307 * [misc]backup-simplify: Simplify 1 into 1 1538649606.307 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538649606.307 * [misc]backup-simplify: Simplify (- 1) into -1 1538649606.307 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1538649606.308 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1538649606.308 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1538649606.308 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538649606.308 * [misc]taylor: Taking taylor expansion of x in x 1538649606.308 * [misc]backup-simplify: Simplify 0 into 0 1538649606.308 * [misc]backup-simplify: Simplify 1 into 1 1538649606.308 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538649606.308 * [misc]taylor: Taking taylor expansion of (- (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (- 1 (/ 1 x)))) (/ 1 x)) in x 1538649606.308 * [misc]taylor: Taking taylor expansion of (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (- 1 (/ 1 x)))) in x 1538649606.308 * [misc]taylor: Taking taylor expansion of (sqrt (- (+ (/ 1 x) 1))) in x 1538649606.308 * [misc]taylor: Taking taylor expansion of (- (+ (/ 1 x) 1)) in x 1538649606.308 * [misc]taylor: Taking taylor expansion of (+ (/ 1 x) 1) in x 1538649606.308 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538649606.309 * [misc]taylor: Taking taylor expansion of x in x 1538649606.309 * [misc]backup-simplify: Simplify 0 into 0 1538649606.309 * [misc]backup-simplify: Simplify 1 into 1 1538649606.309 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538649606.309 * [misc]taylor: Taking taylor expansion of 1 in x 1538649606.309 * [misc]backup-simplify: Simplify 1 into 1 1538649606.309 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538649606.309 * [misc]backup-simplify: Simplify (- 1) into -1 1538649606.309 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1538649606.309 * [misc]backup-simplify: Simplify (- 1) into -1 1538649606.310 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1538649606.310 * [misc]taylor: Taking taylor expansion of (sqrt (- 1 (/ 1 x))) in x 1538649606.310 * [misc]taylor: Taking taylor expansion of (- 1 (/ 1 x)) in x 1538649606.310 * [misc]taylor: Taking taylor expansion of 1 in x 1538649606.310 * [misc]backup-simplify: Simplify 1 into 1 1538649606.310 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538649606.310 * [misc]taylor: Taking taylor expansion of x in x 1538649606.310 * [misc]backup-simplify: Simplify 0 into 0 1538649606.310 * [misc]backup-simplify: Simplify 1 into 1 1538649606.310 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538649606.310 * [misc]backup-simplify: Simplify (- 1) into -1 1538649606.311 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1538649606.311 * [misc]backup-simplify: Simplify (sqrt 0) into 0 1538649606.311 * [misc]backup-simplify: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1538649606.311 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538649606.311 * [misc]taylor: Taking taylor expansion of x in x 1538649606.311 * [misc]backup-simplify: Simplify 0 into 0 1538649606.311 * [misc]backup-simplify: Simplify 1 into 1 1538649606.311 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538649606.312 * [misc]backup-simplify: Simplify (* 0 0) into 0 1538649606.312 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538649606.312 * [misc]backup-simplify: Simplify 0 into 0 1538649606.312 * [misc]backup-simplify: Simplify (+ (* 0 +nan.0) (* +nan.0 0)) into 0 1538649606.312 * [misc]backup-simplify: Simplify (- 1) into -1 1538649606.312 * [misc]backup-simplify: Simplify (+ 0 -1) into -1 1538649606.312 * [misc]backup-simplify: Simplify -1 into -1 1538649606.313 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538649606.313 * [misc]backup-simplify: Simplify (- 0) into 0 1538649606.313 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538649606.314 * [misc]backup-simplify: Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1538649606.315 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538649606.315 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1538649606.315 * [misc]backup-simplify: Simplify (- 1) into -1 1538649606.316 * [misc]backup-simplify: Simplify (/ (- -1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1538649606.317 * [misc]backup-simplify: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0))) into (- +nan.0) 1538649606.317 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538649606.317 * [misc]backup-simplify: Simplify (- 0) into 0 1538649606.318 * [misc]backup-simplify: Simplify (+ (- +nan.0) 0) into (- +nan.0) 1538649606.318 * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) 1538649606.318 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538649606.318 * [misc]backup-simplify: Simplify (- 0) into 0 1538649606.318 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538649606.319 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1538649606.320 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538649606.320 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538649606.320 * [misc]backup-simplify: Simplify (- 0) into 0 1538649606.321 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1538649606.322 * [misc]backup-simplify: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0)))) into (- +nan.0) 1538649606.323 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538649606.323 * [misc]backup-simplify: Simplify (- 0) into 0 1538649606.323 * [misc]backup-simplify: Simplify (+ (- +nan.0) 0) into (- +nan.0) 1538649606.323 * [misc]backup-simplify: Simplify (- +nan.0) into (- +nan.0) 1538649606.324 * [misc]backup-simplify: Simplify (+ (* (- +nan.0) (/ 1 (- x))) (+ (- +nan.0) (* -1 (/ 1 (/ 1 (- x)))))) into (- x (+ (* +nan.0 (/ 1 x)) (- +nan.0))) 1538649606.324 * * * [misc]progress: simplifying candidates 1538649606.324 * * * * [misc]progress: [ 1 / 49 ] simplifiying candidate # 1538649606.324 * [enter]simplify: Simplifying (* (+ x 1) (- x 1)) 1538649606.325 * * [misc]simplify: iters left: 4 (5 enodes) 1538649606.328 * * [misc]simplify: iters left: 3 (12 enodes) 1538649606.334 * * [misc]simplify: iters left: 2 (27 enodes) 1538649606.357 * * [misc]simplify: iters left: 1 (58 enodes) 1538649606.390 * [exit]simplify: Simplified to (* (+ 1 x) (+ x -1)) 1538649606.390 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (log (+ x (pow (* (+ 1 x) (+ x -1)) 1/2)))) 1538649606.390 * * * * [misc]progress: [ 2 / 49 ] simplifiying candidate # 1538649606.390 * [enter]simplify: Simplifying (* (sqrt (+ x 1)) (sqrt (- x 1))) 1538649606.391 * * [misc]simplify: iters left: 5 (7 enodes) 1538649606.396 * * [misc]simplify: iters left: 4 (14 enodes) 1538649606.399 * * [misc]simplify: iters left: 3 (15 enodes) 1538649606.403 * [exit]simplify: Simplified to (* (sqrt (+ 1 x)) (sqrt (- x 1))) 1538649606.403 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (log (+ x (pow (* (sqrt (+ 1 x)) (sqrt (- x 1))) 1)))) 1538649606.404 * * * * [misc]progress: [ 3 / 49 ] simplifiying candidate # 1538649606.404 * * * * [misc]progress: [ 4 / 49 ] simplifiying candidate # 1538649606.404 * [enter]simplify: Simplifying (+ (log (sqrt (+ x 1))) (log (sqrt (- x 1)))) 1538649606.404 * * [misc]simplify: iters left: 6 (9 enodes) 1538649606.407 * * [misc]simplify: iters left: 5 (16 enodes) 1538649606.409 * * [misc]simplify: iters left: 4 (17 enodes) 1538649606.412 * [exit]simplify: Simplified to (+ (log (sqrt (+ -1 x))) (log (sqrt (+ 1 x)))) 1538649606.412 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (log (+ x (exp (+ (log (sqrt (+ -1 x))) (log (sqrt (+ 1 x)))))))) 1538649606.412 * * * * [misc]progress: [ 5 / 49 ] simplifiying candidate # 1538649606.412 * * * * [misc]progress: [ 6 / 49 ] simplifiying candidate # 1538649606.412 * * * * [misc]progress: [ 7 / 49 ] simplifiying candidate # 1538649606.412 * [enter]simplify: Simplifying (* (* (* (sqrt (+ x 1)) (sqrt (+ x 1))) (sqrt (+ x 1))) (* (* (sqrt (- x 1)) (sqrt (- x 1))) (sqrt (- x 1)))) 1538649606.415 * * [misc]simplify: iters left: 6 (11 enodes) 1538649606.419 * * [misc]simplify: iters left: 5 (24 enodes) 1538649606.426 * * [misc]simplify: iters left: 4 (59 enodes) 1538649606.446 * * [misc]simplify: iters left: 3 (152 enodes) 1538649606.558 * * [misc]simplify: iters left: 2 (485 enodes) 1538649607.140 * [exit]simplify: Simplified to (* (* (sqrt (+ x -1)) (+ 1 x)) (* (+ x -1) (sqrt (+ 1 x)))) 1538649607.140 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (log (+ x (cbrt (* (* (sqrt (+ x -1)) (+ 1 x)) (* (+ x -1) (sqrt (+ 1 x)))))))) 1538649607.140 * * * * [misc]progress: [ 8 / 49 ] simplifiying candidate # 1538649607.140 * * * * [misc]progress: [ 9 / 49 ] simplifiying candidate # 1538649607.141 * * * * [misc]progress: [ 10 / 49 ] simplifiying candidate # 1538649607.141 * [enter]simplify: Simplifying (* (+ x 1) (- x 1)) 1538649607.142 * * [misc]simplify: iters left: 4 (5 enodes) 1538649607.145 * * [misc]simplify: iters left: 3 (12 enodes) 1538649607.151 * * [misc]simplify: iters left: 2 (27 enodes) 1538649607.175 * * [misc]simplify: iters left: 1 (58 enodes) 1538649607.210 * [exit]simplify: Simplified to (* (+ 1 x) (+ x -1)) 1538649607.210 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (log (+ x (sqrt (* (+ 1 x) (+ x -1)))))) 1538649607.210 * * * * [misc]progress: [ 11 / 49 ] simplifiying candidate # 1538649607.210 * * * * [misc]progress: [ 12 / 49 ] simplifiying candidate # 1538649607.211 * [enter]simplify: Simplifying (* (sqrt (+ (pow x 3) (pow 1 3))) (sqrt (- (pow x 3) (pow 1 3)))) 1538649607.212 * * [misc]simplify: iters left: 6 (10 enodes) 1538649607.218 * * [misc]simplify: iters left: 5 (22 enodes) 1538649607.224 * * [misc]simplify: iters left: 4 (23 enodes) 1538649607.231 * * [misc]simplify: iters left: 3 (25 enodes) 1538649607.236 * * [misc]simplify: iters left: 2 (27 enodes) 1538649607.243 * [exit]simplify: Simplified to (* (sqrt (+ 1 (pow x 3))) (sqrt (+ (pow x 3) -1))) 1538649607.243 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (log (+ x (/ (* (sqrt (+ 1 (pow x 3))) (sqrt (+ (pow x 3) -1))) (* (sqrt (+ (* x x) (- (* 1 1) (* x 1)))) (sqrt (+ (* x x) (+ (* 1 1) (* x 1))))))))) 1538649607.244 * [enter]simplify: Simplifying (* (sqrt (+ (* x x) (- (* 1 1) (* x 1)))) (sqrt (+ (* x x) (+ (* 1 1) (* x 1))))) 1538649607.245 * * [misc]simplify: iters left: 6 (12 enodes) 1538649607.251 * * [misc]simplify: iters left: 5 (24 enodes) 1538649607.261 * * [misc]simplify: iters left: 4 (40 enodes) 1538649607.274 * * [misc]simplify: iters left: 3 (51 enodes) 1538649607.290 * * [misc]simplify: iters left: 2 (63 enodes) 1538649607.310 * * [misc]simplify: iters left: 1 (87 enodes) 1538649607.353 * [exit]simplify: Simplified to (* (sqrt (+ (- 1 x) (* x x))) (sqrt (+ (* x x) (+ 1 x)))) 1538649607.353 * [misc]simplify: Simplified (2 1 2 2) to (λ (x) (log (+ x (/ (* (sqrt (+ 1 (pow x 3))) (sqrt (+ (pow x 3) -1))) (* (sqrt (+ (- 1 x) (* x x))) (sqrt (+ (* x x) (+ 1 x)))))))) 1538649607.353 * * * * [misc]progress: [ 13 / 49 ] simplifiying candidate # 1538649607.354 * [enter]simplify: Simplifying (* (sqrt (+ (pow x 3) (pow 1 3))) (sqrt (- (* x x) (* 1 1)))) 1538649607.354 * * [misc]simplify: iters left: 6 (12 enodes) 1538649607.358 * * [misc]simplify: iters left: 5 (22 enodes) 1538649607.361 * * [misc]simplify: iters left: 4 (25 enodes) 1538649607.365 * * [misc]simplify: iters left: 3 (28 enodes) 1538649607.370 * * [misc]simplify: iters left: 2 (44 enodes) 1538649607.384 * * [misc]simplify: iters left: 1 (69 enodes) 1538649607.426 * [exit]simplify: Simplified to (* (sqrt (- (* x x) 1)) (sqrt (+ 1 (pow x 3)))) 1538649607.426 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (log (+ x (/ (* (sqrt (- (* x x) 1)) (sqrt (+ 1 (pow x 3)))) (* (sqrt (+ (* x x) (- (* 1 1) (* x 1)))) (sqrt (+ x 1))))))) 1538649607.426 * [enter]simplify: Simplifying (* (sqrt (+ (* x x) (- (* 1 1) (* x 1)))) (sqrt (+ x 1))) 1538649607.427 * * [misc]simplify: iters left: 6 (11 enodes) 1538649607.432 * * [misc]simplify: iters left: 5 (20 enodes) 1538649607.436 * * [misc]simplify: iters left: 4 (29 enodes) 1538649607.441 * * [misc]simplify: iters left: 3 (36 enodes) 1538649607.446 * * [misc]simplify: iters left: 2 (44 enodes) 1538649607.454 * * [misc]simplify: iters left: 1 (56 enodes) 1538649607.466 * [exit]simplify: Simplified to (* (sqrt (+ x 1)) (sqrt (- (* x x) (- x 1)))) 1538649607.466 * [misc]simplify: Simplified (2 1 2 2) to (λ (x) (log (+ x (/ (* (sqrt (- (* x x) 1)) (sqrt (+ 1 (pow x 3)))) (* (sqrt (+ x 1)) (sqrt (- (* x x) (- x 1)))))))) 1538649607.466 * * * * [misc]progress: [ 14 / 49 ] simplifiying candidate # 1538649607.466 * [enter]simplify: Simplifying (* (sqrt (- (* x x) (* 1 1))) (sqrt (- (pow x 3) (pow 1 3)))) 1538649607.467 * * [misc]simplify: iters left: 6 (12 enodes) 1538649607.471 * * [misc]simplify: iters left: 5 (23 enodes) 1538649607.475 * * [misc]simplify: iters left: 4 (27 enodes) 1538649607.479 * * [misc]simplify: iters left: 3 (32 enodes) 1538649607.485 * * [misc]simplify: iters left: 2 (50 enodes) 1538649607.499 * * [misc]simplify: iters left: 1 (75 enodes) 1538649607.531 * [exit]simplify: Simplified to (* (sqrt (- (* x x) 1)) (sqrt (+ -1 (pow x 3)))) 1538649607.531 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (log (+ x (/ (* (sqrt (- (* x x) 1)) (sqrt (+ -1 (pow x 3)))) (* (sqrt (- x 1)) (sqrt (+ (* x x) (+ (* 1 1) (* x 1))))))))) 1538649607.531 * [enter]simplify: Simplifying (* (sqrt (- x 1)) (sqrt (+ (* x x) (+ (* 1 1) (* x 1))))) 1538649607.532 * * [misc]simplify: iters left: 6 (11 enodes) 1538649607.539 * * [misc]simplify: iters left: 5 (21 enodes) 1538649607.545 * * [misc]simplify: iters left: 4 (30 enodes) 1538649607.549 * * [misc]simplify: iters left: 3 (33 enodes) 1538649607.553 * * [misc]simplify: iters left: 2 (36 enodes) 1538649607.558 * * [misc]simplify: iters left: 1 (46 enodes) 1538649607.569 * [exit]simplify: Simplified to (* (sqrt (+ -1 x)) (sqrt (+ (+ 1 x) (* x x)))) 1538649607.569 * [misc]simplify: Simplified (2 1 2 2) to (λ (x) (log (+ x (/ (* (sqrt (- (* x x) 1)) (sqrt (+ -1 (pow x 3)))) (* (sqrt (+ -1 x)) (sqrt (+ (+ 1 x) (* x x)))))))) 1538649607.569 * * * * [misc]progress: [ 15 / 49 ] simplifiying candidate # 1538649607.569 * [enter]simplify: Simplifying (* (sqrt (- (* x x) (* 1 1))) (sqrt (- (* x x) (* 1 1)))) 1538649607.570 * * [misc]simplify: iters left: 6 (7 enodes) 1538649607.572 * * [misc]simplify: iters left: 5 (12 enodes) 1538649607.574 * * [misc]simplify: iters left: 4 (16 enodes) 1538649607.576 * * [misc]simplify: iters left: 3 (19 enodes) 1538649607.582 * * [misc]simplify: iters left: 2 (35 enodes) 1538649607.595 * * [misc]simplify: iters left: 1 (60 enodes) 1538649607.625 * [exit]simplify: Simplified to (- (* x x) 1) 1538649607.625 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (log (+ x (/ (- (* x x) 1) (* (sqrt (- x 1)) (sqrt (+ x 1))))))) 1538649607.626 * [enter]simplify: Simplifying (* (sqrt (- x 1)) (sqrt (+ x 1))) 1538649607.626 * * [misc]simplify: iters left: 5 (7 enodes) 1538649607.630 * * [misc]simplify: iters left: 4 (14 enodes) 1538649607.634 * * [misc]simplify: iters left: 3 (15 enodes) 1538649607.639 * [exit]simplify: Simplified to (* (sqrt (- x 1)) (sqrt (+ 1 x))) 1538649607.639 * [misc]simplify: Simplified (2 1 2 2) to (λ (x) (log (+ x (/ (- (* x x) 1) (* (sqrt (- x 1)) (sqrt (+ 1 x))))))) 1538649607.639 * * * * [misc]progress: [ 16 / 49 ] simplifiying candidate # 1538649607.639 * * * * [misc]progress: [ 17 / 49 ] simplifiying candidate # 1538649607.639 * [enter]simplify: Simplifying (cbrt (sqrt (- x 1))) 1538649607.640 * * [misc]simplify: iters left: 4 (5 enodes) 1538649607.643 * * [misc]simplify: iters left: 3 (10 enodes) 1538649607.646 * * [misc]simplify: iters left: 2 (11 enodes) 1538649607.649 * [exit]simplify: Simplified to (cbrt (sqrt (+ x -1))) 1538649607.649 * [misc]simplify: Simplified (2 1 2 2) to (λ (x) (log (+ x (* (* (sqrt (+ x 1)) (* (cbrt (sqrt (- x 1))) (cbrt (sqrt (- x 1))))) (cbrt (sqrt (+ x -1))))))) 1538649607.649 * * * * [misc]progress: [ 18 / 49 ] simplifiying candidate # 1538649607.649 * [enter]simplify: Simplifying (sqrt (cbrt (- x 1))) 1538649607.649 * * [misc]simplify: iters left: 4 (5 enodes) 1538649607.652 * * [misc]simplify: iters left: 3 (10 enodes) 1538649607.655 * * [misc]simplify: iters left: 2 (11 enodes) 1538649607.658 * [exit]simplify: Simplified to (sqrt (cbrt (+ x -1))) 1538649607.658 * [misc]simplify: Simplified (2 1 2 2) to (λ (x) (log (+ x (* (* (sqrt (+ x 1)) (sqrt (* (cbrt (- x 1)) (cbrt (- x 1))))) (sqrt (cbrt (+ x -1))))))) 1538649607.658 * * * * [misc]progress: [ 19 / 49 ] simplifiying candidate # 1538649607.658 * [enter]simplify: Simplifying (sqrt (sqrt (- x 1))) 1538649607.659 * * [misc]simplify: iters left: 4 (5 enodes) 1538649607.661 * * [misc]simplify: iters left: 3 (10 enodes) 1538649607.664 * * [misc]simplify: iters left: 2 (11 enodes) 1538649607.667 * [exit]simplify: Simplified to (sqrt (sqrt (+ x -1))) 1538649607.667 * [misc]simplify: Simplified (2 1 2 2) to (λ (x) (log (+ x (* (* (sqrt (+ x 1)) (sqrt (sqrt (- x 1)))) (sqrt (sqrt (+ x -1))))))) 1538649607.667 * * * * [misc]progress: [ 20 / 49 ] simplifiying candidate # 1538649607.667 * [enter]simplify: Simplifying (sqrt (- x 1)) 1538649607.668 * * [misc]simplify: iters left: 3 (4 enodes) 1538649607.670 * * [misc]simplify: iters left: 2 (9 enodes) 1538649607.672 * * [misc]simplify: iters left: 1 (10 enodes) 1538649607.673 * [exit]simplify: Simplified to (sqrt (+ x -1)) 1538649607.673 * [misc]simplify: Simplified (2 1 2 2) to (λ (x) (log (+ x (* (* (sqrt (+ x 1)) (sqrt 1)) (sqrt (+ x -1)))))) 1538649607.673 * * * * [misc]progress: [ 21 / 49 ] simplifiying candidate # 1538649607.674 * [enter]simplify: Simplifying (sqrt (sqrt (- x 1))) 1538649607.674 * * [misc]simplify: iters left: 4 (5 enodes) 1538649607.675 * * [misc]simplify: iters left: 3 (10 enodes) 1538649607.677 * * [misc]simplify: iters left: 2 (11 enodes) 1538649607.678 * [exit]simplify: Simplified to (sqrt (sqrt (+ x -1))) 1538649607.678 * [misc]simplify: Simplified (2 1 2 2) to (λ (x) (log (+ x (* (* (sqrt (+ x 1)) (sqrt (sqrt (- x 1)))) (sqrt (sqrt (+ x -1))))))) 1538649607.678 * * * * [misc]progress: [ 22 / 49 ] simplifiying candidate # 1538649607.678 * [enter]simplify: Simplifying (sqrt (- x 1)) 1538649607.679 * * [misc]simplify: iters left: 3 (4 enodes) 1538649607.680 * * [misc]simplify: iters left: 2 (9 enodes) 1538649607.681 * * [misc]simplify: iters left: 1 (10 enodes) 1538649607.683 * [exit]simplify: Simplified to (sqrt (+ x -1)) 1538649607.683 * [misc]simplify: Simplified (2 1 2 2) to (λ (x) (log (+ x (* (* (sqrt (+ x 1)) 1) (sqrt (+ x -1)))))) 1538649607.683 * * * * [misc]progress: [ 23 / 49 ] simplifiying candidate # 1538649607.683 * [enter]simplify: Simplifying (* (cbrt (sqrt (+ x 1))) (cbrt (sqrt (+ x 1)))) 1538649607.683 * * [misc]simplify: iters left: 6 (6 enodes) 1538649607.684 * * [misc]simplify: iters left: 5 (9 enodes) 1538649607.686 * [exit]simplify: Simplified to (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x)))) 1538649607.686 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (log (+ x (* (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x)))) (* (cbrt (sqrt (+ x 1))) (sqrt (- x 1))))))) 1538649607.686 * * * * [misc]progress: [ 24 / 49 ] simplifiying candidate # 1538649607.686 * [enter]simplify: Simplifying (sqrt (* (cbrt (+ x 1)) (cbrt (+ x 1)))) 1538649607.686 * * [misc]simplify: iters left: 6 (6 enodes) 1538649607.688 * * [misc]simplify: iters left: 5 (10 enodes) 1538649607.689 * [exit]simplify: Simplified to (fabs (cbrt (+ 1 x))) 1538649607.689 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (log (+ x (* (fabs (cbrt (+ 1 x))) (* (sqrt (cbrt (+ x 1))) (sqrt (- x 1))))))) 1538649607.689 * * * * [misc]progress: [ 25 / 49 ] simplifiying candidate # 1538649607.690 * [enter]simplify: Simplifying (sqrt (sqrt (+ x 1))) 1538649607.690 * * [misc]simplify: iters left: 4 (5 enodes) 1538649607.693 * * [misc]simplify: iters left: 3 (8 enodes) 1538649607.694 * [exit]simplify: Simplified to (sqrt (sqrt (+ 1 x))) 1538649607.694 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (log (+ x (* (sqrt (sqrt (+ 1 x))) (* (sqrt (sqrt (+ x 1))) (sqrt (- x 1))))))) 1538649607.694 * * * * [misc]progress: [ 26 / 49 ] simplifiying candidate # 1538649607.694 * [enter]simplify: Simplifying (sqrt 1) 1538649607.694 * * [misc]simplify: iters left: 1 (2 enodes) 1538649607.695 * [exit]simplify: Simplified to 1 1538649607.696 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (log (+ x (* 1 (* (sqrt (+ x 1)) (sqrt (- x 1))))))) 1538649607.696 * * * * [misc]progress: [ 27 / 49 ] simplifiying candidate # 1538649607.696 * [enter]simplify: Simplifying (sqrt (sqrt (+ x 1))) 1538649607.696 * * [misc]simplify: iters left: 4 (5 enodes) 1538649607.697 * * [misc]simplify: iters left: 3 (8 enodes) 1538649607.698 * [exit]simplify: Simplified to (sqrt (sqrt (+ 1 x))) 1538649607.698 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (log (+ x (* (sqrt (sqrt (+ 1 x))) (* (sqrt (sqrt (+ x 1))) (sqrt (- x 1))))))) 1538649607.698 * * * * [misc]progress: [ 28 / 49 ] simplifiying candidate # 1538649607.698 * * * * [misc]progress: [ 29 / 49 ] simplifiying candidate # 1538649607.698 * [enter]simplify: Simplifying (sqrt (+ (* x x) (+ (* 1 1) (* x 1)))) 1538649607.699 * * [misc]simplify: iters left: 6 (8 enodes) 1538649607.703 * * [misc]simplify: iters left: 5 (14 enodes) 1538649607.708 * * [misc]simplify: iters left: 4 (22 enodes) 1538649607.714 * * [misc]simplify: iters left: 3 (26 enodes) 1538649607.722 * * [misc]simplify: iters left: 2 (32 enodes) 1538649607.732 * * [misc]simplify: iters left: 1 (42 enodes) 1538649607.746 * [exit]simplify: Simplified to (sqrt (+ (* x x) (+ 1 x))) 1538649607.746 * [misc]simplify: Simplified (2 1 2 2) to (λ (x) (log (+ x (/ (* (sqrt (+ x 1)) (sqrt (- (pow x 3) (pow 1 3)))) (sqrt (+ (* x x) (+ 1 x))))))) 1538649607.746 * * * * [misc]progress: [ 30 / 49 ] simplifiying candidate # 1538649607.746 * [enter]simplify: Simplifying (sqrt (+ x 1)) 1538649607.746 * * [misc]simplify: iters left: 3 (4 enodes) 1538649607.747 * * [misc]simplify: iters left: 2 (7 enodes) 1538649607.748 * [exit]simplify: Simplified to (sqrt (+ 1 x)) 1538649607.748 * [misc]simplify: Simplified (2 1 2 2) to (λ (x) (log (+ x (/ (* (sqrt (+ x 1)) (sqrt (- (* x x) (* 1 1)))) (sqrt (+ 1 x)))))) 1538649607.748 * * * * [misc]progress: [ 31 / 49 ] simplifiying candidate # 1538649607.748 * [enter]simplify: Simplifying (* (sqrt (+ (pow x 3) (pow 1 3))) (sqrt (- x 1))) 1538649607.749 * * [misc]simplify: iters left: 6 (10 enodes) 1538649607.752 * * [misc]simplify: iters left: 5 (22 enodes) 1538649607.755 * * [misc]simplify: iters left: 4 (23 enodes) 1538649607.758 * [exit]simplify: Simplified to (* (sqrt (+ 1 (pow x 3))) (sqrt (+ x -1))) 1538649607.758 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (log (+ x (/ (* (sqrt (+ 1 (pow x 3))) (sqrt (+ x -1))) (sqrt (+ (* x x) (- (* 1 1) (* x 1)))))))) 1538649607.758 * * * * [misc]progress: [ 32 / 49 ] simplifiying candidate # 1538649607.759 * [enter]simplify: Simplifying (* (sqrt (- (* x x) (* 1 1))) (sqrt (- x 1))) 1538649607.759 * * [misc]simplify: iters left: 6 (9 enodes) 1538649607.762 * * [misc]simplify: iters left: 5 (16 enodes) 1538649607.764 * * [misc]simplify: iters left: 4 (19 enodes) 1538649607.768 * * [misc]simplify: iters left: 3 (31 enodes) 1538649607.778 * * [misc]simplify: iters left: 2 (57 enodes) 1538649607.802 * * [misc]simplify: iters left: 1 (73 enodes) 1538649607.837 * [exit]simplify: Simplified to (* (sqrt (- x 1)) (sqrt (+ -1 (* x x)))) 1538649607.837 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (log (+ x (/ (* (sqrt (- x 1)) (sqrt (+ -1 (* x x)))) (sqrt (- x 1)))))) 1538649607.837 * * * * [misc]progress: [ 33 / 49 ] simplifiying candidate # 1538649607.837 * * * * [misc]progress: [ 34 / 49 ] simplifiying candidate # 1538649607.837 * * * * [misc]progress: [ 35 / 49 ] simplifiying candidate # 1538649607.837 * * * * [misc]progress: [ 36 / 49 ] simplifiying candidate # 1538649607.837 * * * * [misc]progress: [ 37 / 49 ] simplifiying candidate # 1538649607.837 * * * * [misc]progress: [ 38 / 49 ] simplifiying candidate # 1538649607.837 * * * * [misc]progress: [ 39 / 49 ] simplifiying candidate # 1538649607.837 * * * * [misc]progress: [ 40 / 49 ] simplifiying candidate # 1538649607.837 * * * * [misc]progress: [ 41 / 49 ] simplifiying candidate # 1538649607.837 * * * * [misc]progress: [ 42 / 49 ] simplifiying candidate # 1538649607.837 * * * * [misc]progress: [ 43 / 49 ] simplifiying candidate # 1538649607.837 * * * * [misc]progress: [ 44 / 49 ] simplifiying candidate # 1538649607.838 * [enter]simplify: Simplifying (- (+ (* 1/2 (/ (pow x 2) (sqrt -1))) (sqrt -1)) (* 1/8 (/ (pow x 4) (pow (sqrt -1) 3)))) 1538649607.839 * * [misc]simplify: iters left: 6 (17 enodes) 1538649607.844 * * [misc]simplify: iters left: 5 (32 enodes) 1538649607.855 * * [misc]simplify: iters left: 4 (76 enodes) 1538649607.881 * * [misc]simplify: iters left: 3 (140 enodes) 1538649607.972 * * [misc]simplify: iters left: 2 (250 enodes) 1538649608.089 * * [misc]simplify: iters left: 1 (394 enodes) 1538649608.397 * [exit]simplify: Simplified to (- (/ 1/2 (/ (sqrt -1) (* x x))) (- (/ (/ (pow x 4) (sqrt -1)) -8) (sqrt -1))) 1538649608.397 * [misc]simplify: Simplified (2 1 2) to (λ (x) (log (+ x (- (/ 1/2 (/ (sqrt -1) (* x x))) (- (/ (/ (pow x 4) (sqrt -1)) -8) (sqrt -1)))))) 1538649608.397 * * * * [misc]progress: [ 45 / 49 ] simplifiying candidate # 1538649608.397 * [enter]simplify: Simplifying (- x (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x)))) 1538649608.399 * * [misc]simplify: iters left: 6 (12 enodes) 1538649608.407 * * [misc]simplify: iters left: 5 (28 enodes) 1538649608.420 * * [misc]simplify: iters left: 4 (43 enodes) 1538649608.446 * * [misc]simplify: iters left: 3 (87 enodes) 1538649608.491 * * [misc]simplify: iters left: 2 (145 enodes) 1538649608.540 * * [misc]simplify: iters left: 1 (204 enodes) 1538649608.630 * [exit]simplify: Simplified to (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x))) 1538649608.630 * [misc]simplify: Simplified (2 1 2) to (λ (x) (log (+ x (- (+ (/ -1/2 x) x) (/ (/ 1/8 x) (* x x)))))) 1538649608.631 * * * * [misc]progress: [ 46 / 49 ] simplifiying candidate # 1538649608.631 * [enter]simplify: Simplifying (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 1538649608.631 * [misc]simplify: Simplified (2 1 2) to (λ (x) (log (+ x +nan.0))) 1538649608.631 * * * * [misc]progress: [ 47 / 49 ] simplifiying candidate # 1538649608.632 * [enter]simplify: Simplifying (+ x (+ (* 1/2 (/ (pow x 2) (sqrt -1))) (sqrt -1))) 1538649608.633 * * [misc]simplify: iters left: 6 (10 enodes) 1538649608.638 * * [misc]simplify: iters left: 5 (18 enodes) 1538649608.646 * * [misc]simplify: iters left: 4 (32 enodes) 1538649608.658 * * [misc]simplify: iters left: 3 (42 enodes) 1538649608.671 * * [misc]simplify: iters left: 2 (52 enodes) 1538649608.689 * * [misc]simplify: iters left: 1 (68 enodes) 1538649608.715 * [exit]simplify: Simplified to (+ (+ (sqrt -1) x) (/ 1/2 (/ (sqrt -1) (* x x)))) 1538649608.715 * [misc]simplify: Simplified (2 1) to (λ (x) (log (+ (+ (sqrt -1) x) (/ 1/2 (/ (sqrt -1) (* x x)))))) 1538649608.715 * * * * [misc]progress: [ 48 / 49 ] simplifiying candidate # 1538649608.716 * [enter]simplify: Simplifying (- (* 2 x) (+ (* 1/8 (/ 1 (pow x 3))) (* 1/2 (/ 1 x)))) 1538649608.717 * * [misc]simplify: iters left: 6 (14 enodes) 1538649608.729 * * [misc]simplify: iters left: 5 (31 enodes) 1538649608.742 * * [misc]simplify: iters left: 4 (46 enodes) 1538649608.768 * * [misc]simplify: iters left: 3 (89 enodes) 1538649608.811 * * [misc]simplify: iters left: 2 (148 enodes) 1538649608.865 * * [misc]simplify: iters left: 1 (212 enodes) 1538649608.938 * [exit]simplify: Simplified to (- (/ (/ -1/8 x) (* x x)) (+ (/ 1/2 x) (* -2 x))) 1538649608.938 * [misc]simplify: Simplified (2 1) to (λ (x) (log (- (/ (/ -1/8 x) (* x x)) (+ (/ 1/2 x) (* -2 x))))) 1538649608.938 * * * * [misc]progress: [ 49 / 49 ] simplifiying candidate # 1538649608.938 * [enter]simplify: Simplifying (- x (+ (* +nan.0 (/ 1 x)) (- +nan.0))) 1538649608.938 * [misc]simplify: Simplified (2 1) to (λ (x) (log +nan.0)) 1538649608.939 * * * [misc]progress: adding candidates to table 1538649609.949 * [misc]progress: [Phase 3 of 3] Extracting. 1538649609.949 * * [misc]regime: Finding splitpoints for: (# #) 1538649609.951 * * * [misc]regime-changes: Trying 6 branch expressions: ((* x x) (- (* x x) 1) (sqrt (- (* x x) 1)) x (+ x (sqrt (- (* x x) 1))) (log (+ x (sqrt (- (* x x) 1))))) 1538649609.951 * * * * [misc]regimes: Trying to branch on (* x x) from (# #) 1538649609.984 * * * * [misc]regimes: Trying to branch on (* x x) from (# #) 1538649610.030 * * * * [misc]regimes: Trying to branch on (- (* x x) 1) from (# #) 1538649610.078 * * * * [misc]regimes: Trying to branch on (- (* x x) 1) from (# #) 1538649610.122 * * * * [misc]regimes: Trying to branch on (sqrt (- (* x x) 1)) from (# #) 1538649610.189 * * * * [misc]regimes: Trying to branch on (sqrt (- (* x x) 1)) from (# #) 1538649610.245 * * * * [misc]regimes: Trying to branch on x from (# #) 1538649610.288 * * * * [misc]regimes: Trying to branch on x from (# #) 1538649610.315 * * * * [misc]regimes: Trying to branch on (+ x (sqrt (- (* x x) 1))) from (# #) 1538649610.375 * * * * [misc]regimes: Trying to branch on (+ x (sqrt (- (* x x) 1))) from (# #) 1538649610.444 * * * * [misc]regimes: Trying to branch on (log (+ x (sqrt (- (* x x) 1)))) from (# #) 1538649610.525 * * * * [misc]regimes: Trying to branch on (log (+ x (sqrt (- (* x x) 1)))) from (# #) 1538649610.595 * * * [misc]regime: Found split indices: #(struct:option (#(struct:si 1 256)) (# #) ((94.00973370675908) (127.97654370995855) (358.0507941346292) (1200.3608975622287) (3027.406514101212) (8853.160044268696) (811029.0069237644) (1298438.9076801823) (12987629.644228686) (5943952093.517587) (47431592690.12333) (865756980007.1351) (13942888335832174.0) (2.596409510934759e+18) (7.067795821298584e+19) (2.8792645395178727e+20) (2.731550658680495e+23) (2.9033371665074356e+23) (7.631759763470599e+30) (3.504938456127961e+32) (2.978286116684742e+33) (1.0092347660398984e+34) (1.0949740244189623e+34) (8.943281664512633e+35) (4.956068752941737e+36) (5.726589798744193e+36) (2.1357087550120306e+37) (3.878572697595009e+37) (5.535708888875544e+37) (2.5127177539035337e+38) (1.5207254436940917e+42) (2.666242324650495e+43) (2.1774160366388987e+47) (4.4139329426669125e+47) (4.826838567280607e+47) (1.2811624470209407e+48) (6.078759327662626e+48) (7.695425567035233e+48) (6.012246212717972e+49) (1.0362895592369945e+50) (1.7773643402845357e+50) (1.9665044296476054e+50) (7.73640391380992e+53) (3.3058220465225285e+54) (3.412149576501334e+54) (3.688999309131664e+54) (2.067262919167755e+56) (2.3870613810498803e+56) (2.8485677918313868e+57) (1.4997066904551993e+58) (1.1775821983897288e+60) (1.4350984101887236e+60) (1.4121843253598455e+62) (1.770062473073829e+62) (4.5689716172242964e+63) (6.08169065170625e+63) (9.68273009535435e+63) (1.0200333267129566e+67) (8.964357536005635e+67) (2.0140687136526414e+68) (6.053198274762616e+68) (2.7277556726911957e+70) (4.689732910091175e+72) (6.384936884830129e+73) (1.1077674220730672e+76) (1.177136377909843e+76) (6.879330612885306e+76) (2.0364296616390417e+77) (2.818005510002558e+77) (1.4003368419962409e+78) (1.7812785224209304e+79) (4.6382611228955963e+80) (6.001405477031677e+81) (8.539234192968069e+81) (1.4560974996417245e+83) (2.067304195504786e+83) (2.09011430749426e+83) (1.2359835728641874e+89) (3.729671959290181e+89) (5.468468871128501e+89) (2.889210277188664e+90) (3.416394307356257e+90) (2.375014198007224e+91) (1.1063176325559113e+92) (1.1160353144412518e+92) (1.890501396456425e+92) (2.5312429810398973e+94) (2.4252425754465367e+97) (2.6596312652327597e+98) (6.53178453666113e+100) (1.733743855828225e+101) (3.434919400192202e+101) (6.199100434003459e+103) (1.5721373574251358e+104) (5.265927513607109e+104) (1.1533236953890831e+107) (1.421195944938326e+107) (1.0929239380058157e+109) (5.35379788524869e+110) (7.038273607372421e+112) (3.520003074594046e+114) (3.7286903188849534e+114) (5.267253566945685e+114) (1.880756461677273e+115) (1.643868493513513e+116) (3.372089553141849e+122) (1.2278389702938393e+126) (8.151038964004213e+127) (1.564626041347352e+128) (4.138942026064102e+129) (3.9903208165885583e+130) (6.7776169246454e+131) (1.0084218408291183e+132) (3.6107445577833284e+133) (4.2775715095342116e+134) (7.086519017517932e+137) (8.395243862662107e+138) (8.855163885215359e+138) (1.2650083016475205e+141) (2.0471091252069384e+141) (5.887042599380173e+141) (2.9284179257111137e+142) (3.986881114525465e+142) (2.4946148214704634e+144) (7.168765385633992e+146) (2.2720743518168527e+147) (1.9800120351188318e+148) (3.5054387827459325e+149) (4.123936253774148e+149) (5.69175856853011e+149) (1.1284504676017731e+150) (2.3076314919229428e+150) (6.057510550220573e+150) (4.929774895450058e+153) (4.445858185005633e+201) (5.683800095630151e+218) (1.544735353091246e+266) (1.0315139791857241e+269) (1.3923703287847723e+276) (7.70225942886112e+217) (2.6480282707876196e+234) (1.321057982104607e+192) (7.951215369570982e+234) (1.85601090320642e+234) (1.0099739885796456e+288) (9.361769815660101e+274) (5.766499573282448e+170) (1.798965392095675e+295) (4.817366862891054e+226) (6.780497184606073e+190) (1.478018382333345e+282) (1.6512073195937756e+301) (3.6913985139822237e+276) (1.1258345181989907e+238) (1.3477760837373167e+278) (1.7076067871904958e+243) (5.705904685804998e+288) (5.323586000626265e+167) (2.737057812224211e+295) (1.1374308509903049e+169) (3.4206526235448275e+230) (8.5443179960489e+299) (6.281267957451517e+172) (4.720004369632872e+269) (3.403544822918848e+207) (1.299644677989869e+164) (1.6700317511140858e+248) (9.842424880350748e+206) (3.267890942481091e+266) (4.939585373245723e+281) (1.7150824223426303e+234) (5.193889382823928e+239) (6.706061957534547e+240) (5.574985934669429e+286) (8.31531191324032e+229) (4.1290324339988045e+238) (1.526634994126895e+271) (2.420341934450224e+229) (4.150287975516261e+275) (3.9088557414897804e+304) (7.970777271855453e+255) (1.0635467602052742e+200) (8.212503169705306e+176) (1.8792203718667247e+294) (3.27349326350321e+228) (3.59369392176031e+221) (4.331455327979255e+226) (2.477258680360737e+185) (2.199087287183643e+228) (2.166533801888183e+293) (3.734634452625089e+218) (5.284969842869398e+283) (1.930905048597348e+269) (5.201076704462436e+214) (1.4593949936501557e+299) (7.428750968344022e+268) (3.5785020705464695e+235) (1.223964547045453e+201) (1.0141399547254129e+192) (4.3057625039092985e+280) (4.046127848973437e+288) (1.502413331824884e+161) (6.135522560675105e+241) (2.1918353340831162e+280) (6.650803719036674e+181) (1.2440202502820505e+297) (9.27987650836812e+187) (3.2516741911300755e+198) (6.46357502935015e+226) (5.609770998190192e+214) (1.9456731207886494e+292) (1.740874907379961e+192) (7.5553387392986e+269) (1.7282702564006618e+279) (6.072058408060111e+179) (5.391323376780538e+230) (6.376440114565636e+274) (5.707588010889047e+276) (5.256997670001998e+202) (2.5518019801367318e+194) (1.6551911485683234e+162) (7.726616091470462e+193) (9.867903913299025e+295) (1.1206851769357583e+260) (3.865594015467504e+272) (5.998114222792806e+305) (2.5326552399028566e+296) (2.2317114824511887e+221) (2.7057237179503826e+194) (1.9401080211728257e+180) (3.3082472472974946e+214) (4.0241358473156583e+307) (5.077850389932313e+193) (2.087544529810114e+218) (4.598433120025094e+289) (1.693878837895578e+166) (2.5644141784174276e+291) (3.4171028616380214e+246) (1.057030079421388e+240) (3.054235769257492e+232) (4.176932188866243e+292) (1.0324940024751111e+300) (6.008420809964276e+184) (4.0134113706422307e+201) (1.459284611486613e+172) (8.555454149683198e+266) (5.267653138384563e+206) (1.0630739132274126e+269) (2.141166794875928e+177) (6.980966519105661e+263) (4.115655520570219e+259) (4.0634787913589995e+235) (4.5574454025410594e+160) (1.5854819834639308e+198) (1.2481527297167911e+212) (2.8039564710765907e+171)) (* x x) (1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1)) 1538649610.597 * [enter]simplify: Simplifying (log (+ x (* (sqrt (+ x 1)) (sqrt (- x 1))))) 1538649610.598 * * [misc]simplify: iters left: 6 (9 enodes) 1538649610.599 * * [misc]simplify: iters left: 5 (14 enodes) 1538649610.600 * [exit]simplify: Simplified to (log (+ x (* (sqrt (+ 1 x)) (sqrt (- x 1))))) 1538649610.600 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1538649612.330 * * * * [misc]points: Filtering points with unrepresentable outputs 1538649612.332 * * * * [misc]points: Sampling 5930 additional inputs, on iter 1 have 2070 / 8000 1538649614.007 * * * * [misc]points: Filtering points with unrepresentable outputs 1538649614.009 * * * * [misc]points: Sampling 4507 additional inputs, on iter 2 have 3493 / 8000 1538649614.885 * * * * [misc]points: Filtering points with unrepresentable outputs 1538649614.886 * * * * [misc]points: Sampling 3387 additional inputs, on iter 3 have 4613 / 8000 1538649615.518 * * * * [misc]points: Filtering points with unrepresentable outputs 1538649615.519 * * * * [misc]points: Sampling 2541 additional inputs, on iter 4 have 5459 / 8000 1538649616.527 * * * * [misc]points: Filtering points with unrepresentable outputs 1538649616.528 * * * * [misc]points: Sampling 1890 additional inputs, on iter 5 have 6110 / 8000 1538649616.894 * * * * [misc]points: Filtering points with unrepresentable outputs 1538649616.895 * * * * [misc]points: Sampling 1388 additional inputs, on iter 6 have 6612 / 8000 1538649617.177 * * * * [misc]points: Filtering points with unrepresentable outputs 1538649617.178 * * * * [misc]points: Sampling 1039 additional inputs, on iter 7 have 6961 / 8000 1538649617.389 * * * * [misc]points: Filtering points with unrepresentable outputs 1538649617.390 * * * * [misc]points: Sampling 785 additional inputs, on iter 8 have 7215 / 8000 1538649617.561 * * * * [misc]points: Filtering points with unrepresentable outputs 1538649617.562 * * * * [misc]points: Sampling 601 additional inputs, on iter 9 have 7399 / 8000 1538649617.713 * * * * [misc]points: Filtering points with unrepresentable outputs 1538649617.713 * * * * [misc]points: Sampling 461 additional inputs, on iter 10 have 7539 / 8000 1538649617.808 * * * * [misc]points: Filtering points with unrepresentable outputs 1538649617.808 * * * * [misc]points: Sampling 348 additional inputs, on iter 11 have 7652 / 8000 1538649617.878 * * * * [misc]points: Filtering points with unrepresentable outputs 1538649617.878 * * * * [misc]points: Sampling 264 additional inputs, on iter 12 have 7736 / 8000 1538649617.951 * * * * [misc]points: Filtering points with unrepresentable outputs 1538649617.951 * * * * [misc]points: Sampling 195 additional inputs, on iter 13 have 7805 / 8000 1538649617.975 * * * * [misc]points: Filtering points with unrepresentable outputs 1538649617.975 * * * * [misc]points: Sampling 157 additional inputs, on iter 14 have 7843 / 8000 1538649618.000 * * * * [misc]points: Filtering points with unrepresentable outputs 1538649618.000 * * * * [misc]points: Sampling 123 additional inputs, on iter 15 have 7877 / 8000 1538649618.014 * * * * [misc]points: Filtering points with unrepresentable outputs 1538649618.014 * * * * [misc]points: Sampling 88 additional inputs, on iter 16 have 7912 / 8000 1538649618.025 * * * * [misc]points: Filtering points with unrepresentable outputs 1538649618.025 * * * * [misc]points: Sampling 64 additional inputs, on iter 17 have 7936 / 8000 1538649618.033 * * * * [misc]points: Filtering points with unrepresentable outputs 1538649618.033 * * * * [misc]points: Sampling 48 additional inputs, on iter 18 have 7952 / 8000 1538649618.066 * * * * [misc]points: Filtering points with unrepresentable outputs 1538649618.066 * * * * [misc]points: Sampling 41 additional inputs, on iter 19 have 7959 / 8000 1538649618.074 * * * * [misc]points: Filtering points with unrepresentable outputs 1538649618.074 * * * * [misc]points: Sampling 32 additional inputs, on iter 20 have 7968 / 8000 1538649618.078 * * * * [misc]points: Filtering points with unrepresentable outputs 1538649618.079 * * * * [misc]points: Sampling 22 additional inputs, on iter 21 have 7978 / 8000 1538649618.082 * * * * [misc]points: Filtering points with unrepresentable outputs 1538649618.082 * * * * [misc]points: Sampling 15 additional inputs, on iter 22 have 7985 / 8000 1538649618.085 * * * * [misc]points: Filtering points with unrepresentable outputs 1538649618.085 * * * * [misc]points: Sampling 10 additional inputs, on iter 23 have 7990 / 8000 1538649618.088 * * * * [misc]points: Filtering points with unrepresentable outputs 1538649618.088 * * * * [misc]points: Sampling 9 additional inputs, on iter 24 have 7991 / 8000 1538649618.090 * * * * [misc]points: Filtering points with unrepresentable outputs 1538649618.090 * * * * [misc]points: Sampling 7 additional inputs, on iter 25 have 7993 / 8000 1538649618.092 * * * * [misc]points: Filtering points with unrepresentable outputs 1538649618.092 * * * * [misc]points: Sampling 4 additional inputs, on iter 26 have 7996 / 8000 1538649618.093 * * * * [misc]points: Filtering points with unrepresentable outputs 1538649618.093 * * * * [misc]points: Sampling 4 additional inputs, on iter 27 have 7997 / 8000 1538649618.095 * * * * [misc]points: Filtering points with unrepresentable outputs 1538649618.095 * * * * [misc]points: Sampling 4 additional inputs, on iter 28 have 7998 / 8000 1538649618.097 * * * * [misc]points: Filtering points with unrepresentable outputs 1538649618.097 * * * * [misc]points: Sampling 4 additional inputs, on iter 29 have 7999 / 8000 1538649618.098 * * * * [misc]points: Filtering points with unrepresentable outputs 1538649618.098 * * * * [misc]points: Sampling 4 additional inputs, on iter 30 have 7999 / 8000 1538649618.100 * * * * [misc]points: Filtering points with unrepresentable outputs 1538649618.100 * * * * [exit]points: Sampled 8001 points with exact outputs