1538653261.643 * [misc]progress: [Phase 1 of 3] Setting up. 1538653261.644 * * * [misc]progress: [1/2] Preparing points 1538653261.644 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1538653262.205 * * * * [misc]points: Filtering points with unrepresentable outputs 1538653262.206 * * * * [misc]points: Sampling 64 additional inputs, on iter 1 have 192 / 256 1538653262.311 * * * * [misc]points: Filtering points with unrepresentable outputs 1538653262.312 * * * * [misc]points: Sampling 14 additional inputs, on iter 2 have 242 / 256 1538653262.382 * * * * [misc]points: Filtering points with unrepresentable outputs 1538653262.382 * * * * [misc]points: Sampling 4 additional inputs, on iter 3 have 252 / 256 1538653262.394 * * * * [misc]points: Filtering points with unrepresentable outputs 1538653262.394 * * * * [misc]points: Sampling 4 additional inputs, on iter 4 have 255 / 256 1538653262.404 * * * * [misc]points: Filtering points with unrepresentable outputs 1538653262.404 * * * * [exit]points: Sampled 257 points with exact outputs 1538653262.404 * * * [misc]progress: [2/2] Setting up program. 1538653262.417 * [misc]progress: [Phase 2 of 3] Improving. 1538653262.418 * [enter]simplify: Simplifying (sqrt (/ (- (exp (* 2 x)) 1) (- (exp x) 1))) 1538653262.421 * * [misc]simplify: iters left: 6 (10 enodes) 1538653262.433 * * [misc]simplify: iters left: 5 (24 enodes) 1538653262.442 * * [misc]simplify: iters left: 4 (27 enodes) 1538653262.452 * * [misc]simplify: iters left: 3 (37 enodes) 1538653262.464 * * [misc]simplify: iters left: 2 (54 enodes) 1538653262.481 * * [misc]simplify: iters left: 1 (90 enodes) 1538653262.528 * [exit]simplify: Simplified to (sqrt (+ (exp x) 1)) 1538653262.539 * * [misc]progress: iteration 1 / 4 1538653262.539 * * * [misc]progress: picking best candidate 1538653262.543 * * * * [misc]pick: Picked # 1538653262.543 * * * [misc]progress: localizing error 1538653262.556 * * * [misc]progress: generating rewritten candidates 1538653262.557 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2) 1538653262.591 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 1) 1538653262.630 * * * [misc]progress: generating series expansions 1538653262.630 * * * * [misc]progress: [ 1 / 2 ] generating series at (2) 1538653262.640 * [misc]backup-simplify: Simplify (sqrt (+ (exp x) 1)) into (sqrt (+ (exp x) 1)) 1538653262.640 * [misc]approximate: Taking taylor expansion of (sqrt (+ (exp x) 1)) in (x) around 0 1538653262.642 * [misc]taylor: Taking taylor expansion of (sqrt (+ (exp x) 1)) in x 1538653262.642 * [misc]taylor: Taking taylor expansion of (+ (exp x) 1) in x 1538653262.642 * [misc]taylor: Taking taylor expansion of (exp x) in x 1538653262.642 * [misc]taylor: Taking taylor expansion of x in x 1538653262.642 * [misc]backup-simplify: Simplify 0 into 0 1538653262.642 * [misc]backup-simplify: Simplify 1 into 1 1538653262.642 * [misc]backup-simplify: Simplify (exp 0) into 1 1538653262.642 * [misc]taylor: Taking taylor expansion of 1 in x 1538653262.642 * [misc]backup-simplify: Simplify 1 into 1 1538653262.643 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1538653262.644 * [misc]backup-simplify: Simplify (sqrt 2) into (sqrt 2) 1538653262.648 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1538653262.648 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538653262.649 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2)) 1538653262.649 * [misc]taylor: Taking taylor expansion of (sqrt (+ (exp x) 1)) in x 1538653262.649 * [misc]taylor: Taking taylor expansion of (+ (exp x) 1) in x 1538653262.649 * [misc]taylor: Taking taylor expansion of (exp x) in x 1538653262.649 * [misc]taylor: Taking taylor expansion of x in x 1538653262.649 * [misc]backup-simplify: Simplify 0 into 0 1538653262.649 * [misc]backup-simplify: Simplify 1 into 1 1538653262.649 * [misc]backup-simplify: Simplify (exp 0) into 1 1538653262.649 * [misc]taylor: Taking taylor expansion of 1 in x 1538653262.649 * [misc]backup-simplify: Simplify 1 into 1 1538653262.649 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1538653262.649 * [misc]backup-simplify: Simplify (sqrt 2) into (sqrt 2) 1538653262.651 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1538653262.651 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538653262.651 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2)) 1538653262.652 * [misc]backup-simplify: Simplify (sqrt 2) into (sqrt 2) 1538653262.653 * [misc]backup-simplify: Simplify (/ 1/2 (sqrt 2)) into (/ 1/2 (sqrt 2)) 1538653262.656 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1538653262.656 * [misc]backup-simplify: Simplify (+ 1/2 0) into 1/2 1538653262.659 * [misc]backup-simplify: Simplify (/ (- 1/2 (pow (/ 1/2 (sqrt 2)) 2) (+)) (* 2 (sqrt 2))) into (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2))) 1538653262.662 * [misc]backup-simplify: Simplify (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2))) into (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2))) 1538653262.665 * [misc]backup-simplify: Simplify (+ (* (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2))) (pow x 2)) (+ (* (/ 1/2 (sqrt 2)) x) (sqrt 2))) into (- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3)))) 1538653262.666 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1)) 1538653262.666 * [misc]approximate: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in (x) around 0 1538653262.666 * [misc]taylor: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in x 1538653262.666 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x 1538653262.666 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1538653262.666 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538653262.666 * [misc]taylor: Taking taylor expansion of x in x 1538653262.666 * [misc]backup-simplify: Simplify 0 into 0 1538653262.666 * [misc]backup-simplify: Simplify 1 into 1 1538653262.666 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538653262.667 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1538653262.667 * [misc]taylor: Taking taylor expansion of 1 in x 1538653262.667 * [misc]backup-simplify: Simplify 1 into 1 1538653262.667 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1) 1538653262.667 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1)) 1538653262.668 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538653262.668 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1538653262.668 * [misc]taylor: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in x 1538653262.668 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x 1538653262.668 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1538653262.668 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538653262.668 * [misc]taylor: Taking taylor expansion of x in x 1538653262.668 * [misc]backup-simplify: Simplify 0 into 0 1538653262.668 * [misc]backup-simplify: Simplify 1 into 1 1538653262.668 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538653262.668 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1538653262.668 * [misc]taylor: Taking taylor expansion of 1 in x 1538653262.668 * [misc]backup-simplify: Simplify 1 into 1 1538653262.668 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1) 1538653262.668 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1)) 1538653262.668 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538653262.668 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1538653262.668 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1)) 1538653262.668 * [misc]backup-simplify: Simplify 0 into 0 1538653262.669 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538653262.669 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1538653262.669 * [misc]backup-simplify: Simplify 0 into 0 1538653262.669 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538653262.670 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1538653262.670 * [misc]backup-simplify: Simplify 0 into 0 1538653262.670 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538653262.671 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1538653262.671 * [misc]backup-simplify: Simplify 0 into 0 1538653262.671 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538653262.671 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1538653262.671 * [misc]backup-simplify: Simplify 0 into 0 1538653262.671 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538653262.672 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1538653262.672 * [misc]backup-simplify: Simplify 0 into 0 1538653262.672 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ 1 (/ 1 x))) 1)) into (sqrt (+ (exp x) 1)) 1538653262.672 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ 1 (- x))) 1)) into (sqrt (+ (exp (/ -1 x)) 1)) 1538653262.672 * [misc]approximate: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in (x) around 0 1538653262.672 * [misc]taylor: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in x 1538653262.672 * [misc]taylor: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x 1538653262.672 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1538653262.672 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1538653262.672 * [misc]taylor: Taking taylor expansion of -1 in x 1538653262.672 * [misc]backup-simplify: Simplify -1 into -1 1538653262.672 * [misc]taylor: Taking taylor expansion of x in x 1538653262.672 * [misc]backup-simplify: Simplify 0 into 0 1538653262.672 * [misc]backup-simplify: Simplify 1 into 1 1538653262.672 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1538653262.672 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1538653262.672 * [misc]taylor: Taking taylor expansion of 1 in x 1538653262.672 * [misc]backup-simplify: Simplify 1 into 1 1538653262.673 * [misc]backup-simplify: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1) 1538653262.673 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1)) 1538653262.673 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538653262.673 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1538653262.673 * [misc]taylor: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in x 1538653262.673 * [misc]taylor: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x 1538653262.673 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1538653262.673 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1538653262.673 * [misc]taylor: Taking taylor expansion of -1 in x 1538653262.673 * [misc]backup-simplify: Simplify -1 into -1 1538653262.673 * [misc]taylor: Taking taylor expansion of x in x 1538653262.673 * [misc]backup-simplify: Simplify 0 into 0 1538653262.673 * [misc]backup-simplify: Simplify 1 into 1 1538653262.673 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1538653262.673 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1538653262.673 * [misc]taylor: Taking taylor expansion of 1 in x 1538653262.673 * [misc]backup-simplify: Simplify 1 into 1 1538653262.673 * [misc]backup-simplify: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1) 1538653262.673 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1)) 1538653262.673 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538653262.674 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1538653262.674 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1)) 1538653262.674 * [misc]backup-simplify: Simplify 0 into 0 1538653262.674 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538653262.674 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1538653262.674 * [misc]backup-simplify: Simplify 0 into 0 1538653262.674 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538653262.675 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1538653262.675 * [misc]backup-simplify: Simplify 0 into 0 1538653262.675 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538653262.675 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1538653262.675 * [misc]backup-simplify: Simplify 0 into 0 1538653262.676 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538653262.676 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1538653262.676 * [misc]backup-simplify: Simplify 0 into 0 1538653262.676 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538653262.677 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1538653262.677 * [misc]backup-simplify: Simplify 0 into 0 1538653262.677 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ -1 (/ 1 (- x)))) 1)) into (sqrt (+ (exp x) 1)) 1538653262.677 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 1) 1538653262.677 * [misc]backup-simplify: Simplify (+ (exp x) 1) into (+ (exp x) 1) 1538653262.677 * [misc]approximate: Taking taylor expansion of (+ (exp x) 1) in (x) around 0 1538653262.677 * [misc]taylor: Taking taylor expansion of (+ (exp x) 1) in x 1538653262.677 * [misc]taylor: Taking taylor expansion of (exp x) in x 1538653262.677 * [misc]taylor: Taking taylor expansion of x in x 1538653262.677 * [misc]backup-simplify: Simplify 0 into 0 1538653262.677 * [misc]backup-simplify: Simplify 1 into 1 1538653262.677 * [misc]backup-simplify: Simplify (exp 0) into 1 1538653262.677 * [misc]taylor: Taking taylor expansion of 1 in x 1538653262.677 * [misc]backup-simplify: Simplify 1 into 1 1538653262.677 * [misc]taylor: Taking taylor expansion of (+ (exp x) 1) in x 1538653262.677 * [misc]taylor: Taking taylor expansion of (exp x) in x 1538653262.677 * [misc]taylor: Taking taylor expansion of x in x 1538653262.677 * [misc]backup-simplify: Simplify 0 into 0 1538653262.677 * [misc]backup-simplify: Simplify 1 into 1 1538653262.677 * [misc]backup-simplify: Simplify (exp 0) into 1 1538653262.677 * [misc]taylor: Taking taylor expansion of 1 in x 1538653262.677 * [misc]backup-simplify: Simplify 1 into 1 1538653262.678 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1538653262.678 * [misc]backup-simplify: Simplify 2 into 2 1538653262.678 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1538653262.679 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538653262.679 * [misc]backup-simplify: Simplify 1 into 1 1538653262.680 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1538653262.680 * [misc]backup-simplify: Simplify (+ 1/2 0) into 1/2 1538653262.680 * [misc]backup-simplify: Simplify 1/2 into 1/2 1538653262.680 * [misc]backup-simplify: Simplify (+ (* 1/2 (pow x 2)) (+ (* 1 x) 2)) into (+ x (+ (* 1/2 (pow x 2)) 2)) 1538653262.681 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1) 1538653262.681 * [misc]approximate: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in (x) around 0 1538653262.681 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x 1538653262.681 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1538653262.681 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538653262.681 * [misc]taylor: Taking taylor expansion of x in x 1538653262.681 * [misc]backup-simplify: Simplify 0 into 0 1538653262.681 * [misc]backup-simplify: Simplify 1 into 1 1538653262.681 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538653262.681 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1538653262.681 * [misc]taylor: Taking taylor expansion of 1 in x 1538653262.681 * [misc]backup-simplify: Simplify 1 into 1 1538653262.681 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x 1538653262.681 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1538653262.681 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538653262.681 * [misc]taylor: Taking taylor expansion of x in x 1538653262.681 * [misc]backup-simplify: Simplify 0 into 0 1538653262.681 * [misc]backup-simplify: Simplify 1 into 1 1538653262.681 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538653262.681 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1538653262.681 * [misc]taylor: Taking taylor expansion of 1 in x 1538653262.681 * [misc]backup-simplify: Simplify 1 into 1 1538653262.682 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1) 1538653262.682 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1) 1538653262.682 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538653262.682 * [misc]backup-simplify: Simplify 0 into 0 1538653262.682 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538653262.682 * [misc]backup-simplify: Simplify 0 into 0 1538653262.682 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538653262.682 * [misc]backup-simplify: Simplify 0 into 0 1538653262.682 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538653262.682 * [misc]backup-simplify: Simplify 0 into 0 1538653262.682 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538653262.682 * [misc]backup-simplify: Simplify 0 into 0 1538653262.682 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538653262.683 * [misc]backup-simplify: Simplify 0 into 0 1538653262.683 * [misc]backup-simplify: Simplify (+ (exp (/ 1 (/ 1 x))) 1) into (+ (exp x) 1) 1538653262.683 * [misc]backup-simplify: Simplify (+ (exp (/ 1 (- x))) 1) into (+ (exp (/ -1 x)) 1) 1538653262.683 * [misc]approximate: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in (x) around 0 1538653262.683 * [misc]taylor: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x 1538653262.683 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1538653262.683 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1538653262.683 * [misc]taylor: Taking taylor expansion of -1 in x 1538653262.683 * [misc]backup-simplify: Simplify -1 into -1 1538653262.683 * [misc]taylor: Taking taylor expansion of x in x 1538653262.683 * [misc]backup-simplify: Simplify 0 into 0 1538653262.683 * [misc]backup-simplify: Simplify 1 into 1 1538653262.683 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1538653262.683 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1538653262.683 * [misc]taylor: Taking taylor expansion of 1 in x 1538653262.683 * [misc]backup-simplify: Simplify 1 into 1 1538653262.683 * [misc]taylor: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x 1538653262.683 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1538653262.683 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1538653262.683 * [misc]taylor: Taking taylor expansion of -1 in x 1538653262.683 * [misc]backup-simplify: Simplify -1 into -1 1538653262.683 * [misc]taylor: Taking taylor expansion of x in x 1538653262.683 * [misc]backup-simplify: Simplify 0 into 0 1538653262.683 * [misc]backup-simplify: Simplify 1 into 1 1538653262.683 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1538653262.683 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1538653262.683 * [misc]taylor: Taking taylor expansion of 1 in x 1538653262.683 * [misc]backup-simplify: Simplify 1 into 1 1538653262.683 * [misc]backup-simplify: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1) 1538653262.683 * [misc]backup-simplify: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1) 1538653262.684 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538653262.684 * [misc]backup-simplify: Simplify 0 into 0 1538653262.684 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538653262.684 * [misc]backup-simplify: Simplify 0 into 0 1538653262.684 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538653262.684 * [misc]backup-simplify: Simplify 0 into 0 1538653262.684 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538653262.684 * [misc]backup-simplify: Simplify 0 into 0 1538653262.684 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538653262.684 * [misc]backup-simplify: Simplify 0 into 0 1538653262.684 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538653262.684 * [misc]backup-simplify: Simplify 0 into 0 1538653262.684 * [misc]backup-simplify: Simplify (+ (exp (/ -1 (/ 1 (- x)))) 1) into (+ (exp x) 1) 1538653262.684 * * * [misc]progress: simplifying candidates 1538653262.685 * * * * [misc]progress: [ 1 / 37 ] simplifiying candidate # 1538653262.685 * * * * [misc]progress: [ 2 / 37 ] simplifiying candidate # 1538653262.685 * * * * [misc]progress: [ 3 / 37 ] simplifiying candidate # 1538653262.685 * * * * [misc]progress: [ 4 / 37 ] simplifiying candidate # 1538653262.685 * * * * [misc]progress: [ 5 / 37 ] simplifiying candidate # 1538653262.685 * * * * [misc]progress: [ 6 / 37 ] simplifiying candidate # 1538653262.685 * * * * [misc]progress: [ 7 / 37 ] simplifiying candidate # 1538653262.685 * * * * [misc]progress: [ 8 / 37 ] simplifiying candidate # 1538653262.685 * * * * [misc]progress: [ 9 / 37 ] simplifiying candidate # 1538653262.685 * [enter]simplify: Simplifying (sqrt (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1)))) 1538653262.686 * * [misc]simplify: iters left: 6 (7 enodes) 1538653262.687 * * [misc]simplify: iters left: 5 (11 enodes) 1538653262.689 * [exit]simplify: Simplified to (fabs (cbrt (+ (exp x) 1))) 1538653262.689 * [misc]simplify: Simplified (2 1) to (λ (x) (* (fabs (cbrt (+ (exp x) 1))) (sqrt (cbrt (+ (exp x) 1))))) 1538653262.690 * * * * [misc]progress: [ 10 / 37 ] simplifiying candidate # 1538653262.690 * [enter]simplify: Simplifying (sqrt (sqrt (+ (exp x) 1))) 1538653262.690 * * [misc]simplify: iters left: 5 (6 enodes) 1538653262.691 * * [misc]simplify: iters left: 4 (9 enodes) 1538653262.693 * [exit]simplify: Simplified to (sqrt (sqrt (+ (exp x) 1))) 1538653262.693 * [misc]simplify: Simplified (2 1) to (λ (x) (* (sqrt (sqrt (+ (exp x) 1))) (sqrt (sqrt (+ (exp x) 1))))) 1538653262.693 * * * * [misc]progress: [ 11 / 37 ] simplifiying candidate # 1538653262.693 * [enter]simplify: Simplifying (sqrt 1) 1538653262.693 * * [misc]simplify: iters left: 1 (2 enodes) 1538653262.694 * [exit]simplify: Simplified to 1 1538653262.694 * [misc]simplify: Simplified (2 1) to (λ (x) (* 1 (sqrt (+ (exp x) 1)))) 1538653262.694 * * * * [misc]progress: [ 12 / 37 ] simplifiying candidate # 1538653262.695 * [enter]simplify: Simplifying (sqrt (+ (pow (exp x) 3) (pow 1 3))) 1538653262.695 * * [misc]simplify: iters left: 5 (8 enodes) 1538653262.698 * * [misc]simplify: iters left: 4 (16 enodes) 1538653262.701 * * [misc]simplify: iters left: 3 (20 enodes) 1538653262.704 * * [misc]simplify: iters left: 2 (24 enodes) 1538653262.708 * [exit]simplify: Simplified to (sqrt (fma (exp x) (* (exp x) (exp x)) 1)) 1538653262.708 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (sqrt (fma (exp x) (* (exp x) (exp x)) 1)) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))) 1538653262.708 * * * * [misc]progress: [ 13 / 37 ] simplifiying candidate # 1538653262.708 * [enter]simplify: Simplifying (sqrt (- (* (exp x) (exp x)) (* 1 1))) 1538653262.708 * * [misc]simplify: iters left: 6 (7 enodes) 1538653262.711 * * [misc]simplify: iters left: 5 (16 enodes) 1538653262.715 * * [misc]simplify: iters left: 4 (24 enodes) 1538653262.718 * * [misc]simplify: iters left: 3 (28 enodes) 1538653262.732 * * [misc]simplify: iters left: 2 (44 enodes) 1538653262.759 * * [misc]simplify: iters left: 1 (75 enodes) 1538653262.790 * [exit]simplify: Simplified to (sqrt (expm1 (+ x x))) 1538653262.790 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (sqrt (expm1 (+ x x))) (sqrt (- (exp x) 1)))) 1538653262.790 * * * * [misc]progress: [ 14 / 37 ] simplifiying candidate # 1538653262.790 * * * * [misc]progress: [ 15 / 37 ] simplifiying candidate # 1538653262.790 * [enter]simplify: Simplifying (sqrt (+ (exp x) 1)) 1538653262.790 * * [misc]simplify: iters left: 4 (5 enodes) 1538653262.792 * * [misc]simplify: iters left: 3 (8 enodes) 1538653262.793 * [exit]simplify: Simplified to (sqrt (+ (exp x) 1)) 1538653262.793 * [misc]simplify: Simplified (2 1) to (λ (x) (fabs (sqrt (+ (exp x) 1)))) 1538653262.793 * * * * [misc]progress: [ 16 / 37 ] simplifiying candidate # 1538653262.793 * * * * [misc]progress: [ 17 / 37 ] simplifiying candidate # 1538653262.793 * * * * [misc]progress: [ 18 / 37 ] simplifiying candidate # 1538653262.793 * * * * [misc]progress: [ 19 / 37 ] simplifiying candidate # 1538653262.793 * [enter]simplify: Simplifying (* (cbrt (exp x)) (cbrt (exp x))) 1538653262.793 * * [misc]simplify: iters left: 4 (4 enodes) 1538653262.794 * [exit]simplify: Simplified to (* (cbrt (exp x)) (cbrt (exp x))) 1538653262.794 * [misc]simplify: Simplified (2 1 1) to (λ (x) (sqrt (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) 1))) 1538653262.794 * * * * [misc]progress: [ 20 / 37 ] simplifiying candidate # 1538653262.795 * [enter]simplify: Simplifying (sqrt (exp x)) 1538653262.795 * * [misc]simplify: iters left: 2 (3 enodes) 1538653262.795 * [exit]simplify: Simplified to (sqrt (exp x)) 1538653262.795 * [misc]simplify: Simplified (2 1 1) to (λ (x) (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) 1))) 1538653262.796 * * * * [misc]progress: [ 21 / 37 ] simplifiying candidate # 1538653262.796 * * * * [misc]progress: [ 22 / 37 ] simplifiying candidate # 1538653262.796 * * * * [misc]progress: [ 23 / 37 ] simplifiying candidate # 1538653262.796 * * * * [misc]progress: [ 24 / 37 ] simplifiying candidate # 1538653262.796 * * * * [misc]progress: [ 25 / 37 ] simplifiying candidate # 1538653262.796 * * * * [misc]progress: [ 26 / 37 ] simplifiying candidate # 1538653262.796 * * * * [misc]progress: [ 27 / 37 ] simplifiying candidate # 1538653262.796 * * * * [misc]progress: [ 28 / 37 ] simplifiying candidate # 1538653262.796 * * * * [misc]progress: [ 29 / 37 ] simplifiying candidate # 1538653262.796 * * * * [misc]progress: [ 30 / 37 ] simplifiying candidate # 1538653262.796 * * * * [misc]progress: [ 31 / 37 ] simplifiying candidate # 1538653262.796 * * * * [misc]progress: [ 32 / 37 ] simplifiying candidate # 1538653262.796 * [enter]simplify: Simplifying (- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3)))) 1538653262.798 * * [misc]simplify: iters left: 6 (18 enodes) 1538653262.810 * * [misc]simplify: iters left: 5 (40 enodes) 1538653262.837 * * [misc]simplify: iters left: 4 (111 enodes) 1538653262.917 * * [misc]simplify: iters left: 3 (276 enodes) 1538653263.098 * [exit]simplify: Simplified to (+ (* (/ (* x x) (sqrt 2)) 3/16) (fma 1/2 (/ x (sqrt 2)) (sqrt 2))) 1538653263.098 * [misc]simplify: Simplified (2) to (λ (x) (+ (* (/ (* x x) (sqrt 2)) 3/16) (fma 1/2 (/ x (sqrt 2)) (sqrt 2)))) 1538653263.098 * * * * [misc]progress: [ 33 / 37 ] simplifiying candidate # 1538653263.098 * [enter]simplify: Simplifying (sqrt (+ (exp x) 1)) 1538653263.098 * * [misc]simplify: iters left: 4 (5 enodes) 1538653263.100 * * [misc]simplify: iters left: 3 (8 enodes) 1538653263.102 * [exit]simplify: Simplified to (sqrt (+ (exp x) 1)) 1538653263.102 * [misc]simplify: Simplified (2) to (λ (x) (sqrt (+ (exp x) 1))) 1538653263.102 * * * * [misc]progress: [ 34 / 37 ] simplifiying candidate # 1538653263.103 * [enter]simplify: Simplifying (sqrt (+ (exp x) 1)) 1538653263.103 * * [misc]simplify: iters left: 4 (5 enodes) 1538653263.105 * * [misc]simplify: iters left: 3 (8 enodes) 1538653263.108 * [exit]simplify: Simplified to (sqrt (+ (exp x) 1)) 1538653263.108 * [misc]simplify: Simplified (2) to (λ (x) (sqrt (+ (exp x) 1))) 1538653263.108 * * * * [misc]progress: [ 35 / 37 ] simplifiying candidate # 1538653263.108 * [enter]simplify: Simplifying (+ x (+ (* 1/2 (pow x 2)) 2)) 1538653263.109 * * [misc]simplify: iters left: 6 (7 enodes) 1538653263.113 * * [misc]simplify: iters left: 5 (14 enodes) 1538653263.119 * * [misc]simplify: iters left: 4 (25 enodes) 1538653263.126 * * [misc]simplify: iters left: 3 (39 enodes) 1538653263.133 * * [misc]simplify: iters left: 2 (46 enodes) 1538653263.140 * * [misc]simplify: iters left: 1 (52 enodes) 1538653263.155 * [exit]simplify: Simplified to (fma (fma x 1/2 1) x 2) 1538653263.155 * [misc]simplify: Simplified (2 1) to (λ (x) (sqrt (fma (fma x 1/2 1) x 2))) 1538653263.155 * * * * [misc]progress: [ 36 / 37 ] simplifiying candidate # 1538653263.155 * [enter]simplify: Simplifying (+ (exp x) 1) 1538653263.156 * * [misc]simplify: iters left: 3 (4 enodes) 1538653263.157 * * [misc]simplify: iters left: 2 (7 enodes) 1538653263.158 * [exit]simplify: Simplified to (+ (exp x) 1) 1538653263.158 * [misc]simplify: Simplified (2 1) to (λ (x) (sqrt (+ (exp x) 1))) 1538653263.158 * * * * [misc]progress: [ 37 / 37 ] simplifiying candidate # 1538653263.158 * [enter]simplify: Simplifying (+ (exp x) 1) 1538653263.158 * * [misc]simplify: iters left: 3 (4 enodes) 1538653263.159 * * [misc]simplify: iters left: 2 (7 enodes) 1538653263.160 * [exit]simplify: Simplified to (+ (exp x) 1) 1538653263.160 * [misc]simplify: Simplified (2 1) to (λ (x) (sqrt (+ (exp x) 1))) 1538653263.161 * * * [misc]progress: adding candidates to table 1538653263.703 * * [misc]progress: iteration 2 / 4 1538653263.704 * * * [misc]progress: picking best candidate 1538653263.711 * * * * [misc]pick: Picked # 1538653263.712 * * * [misc]progress: localizing error 1538653263.734 * * * [misc]progress: generating rewritten candidates 1538653263.734 * * * * [misc]progress: [ 1 / 3 ] rewriting at (2 1 2) 1538653263.743 * * * * [misc]progress: [ 2 / 3 ] rewriting at (2 1 1) 1538653263.751 * * * * [misc]progress: [ 3 / 3 ] rewriting at (2) 1538653263.760 * * * [misc]progress: generating series expansions 1538653263.760 * * * * [misc]progress: [ 1 / 3 ] generating series at (2 1 2) 1538653263.760 * [misc]backup-simplify: Simplify (sqrt (exp x)) into (sqrt (exp x)) 1538653263.760 * [misc]approximate: Taking taylor expansion of (sqrt (exp x)) in (x) around 0 1538653263.760 * [misc]taylor: Taking taylor expansion of (sqrt (exp x)) in x 1538653263.760 * [misc]taylor: Taking taylor expansion of (exp x) in x 1538653263.760 * [misc]taylor: Taking taylor expansion of x in x 1538653263.760 * [misc]backup-simplify: Simplify 0 into 0 1538653263.760 * [misc]backup-simplify: Simplify 1 into 1 1538653263.760 * [misc]backup-simplify: Simplify (exp 0) into 1 1538653263.761 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1538653263.762 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1538653263.762 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1538653263.762 * [misc]taylor: Taking taylor expansion of (sqrt (exp x)) in x 1538653263.762 * [misc]taylor: Taking taylor expansion of (exp x) in x 1538653263.762 * [misc]taylor: Taking taylor expansion of x in x 1538653263.763 * [misc]backup-simplify: Simplify 0 into 0 1538653263.763 * [misc]backup-simplify: Simplify 1 into 1 1538653263.763 * [misc]backup-simplify: Simplify (exp 0) into 1 1538653263.763 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1538653263.764 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1538653263.764 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1538653263.765 * [misc]backup-simplify: Simplify 1 into 1 1538653263.765 * [misc]backup-simplify: Simplify 1/2 into 1/2 1538653263.767 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1538653263.769 * [misc]backup-simplify: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8 1538653263.769 * [misc]backup-simplify: Simplify 1/8 into 1/8 1538653263.769 * [misc]backup-simplify: Simplify (+ (* 1/8 (pow x 2)) (+ (* 1/2 x) 1)) into (+ (* 1/2 x) (+ (* 1/8 (pow x 2)) 1)) 1538653263.769 * [misc]backup-simplify: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 1538653263.769 * [misc]approximate: Taking taylor expansion of (sqrt (exp (/ 1 x))) in (x) around 0 1538653263.769 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 1538653263.769 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1538653263.769 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538653263.769 * [misc]taylor: Taking taylor expansion of x in x 1538653263.769 * [misc]backup-simplify: Simplify 0 into 0 1538653263.769 * [misc]backup-simplify: Simplify 1 into 1 1538653263.769 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538653263.770 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1538653263.770 * [misc]backup-simplify: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 1538653263.770 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0 1538653263.770 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 1538653263.770 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1538653263.770 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538653263.770 * [misc]taylor: Taking taylor expansion of x in x 1538653263.770 * [misc]backup-simplify: Simplify 0 into 0 1538653263.770 * [misc]backup-simplify: Simplify 1 into 1 1538653263.770 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538653263.770 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1538653263.770 * [misc]backup-simplify: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 1538653263.770 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0 1538653263.771 * [misc]backup-simplify: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 1538653263.771 * [misc]backup-simplify: Simplify 0 into 0 1538653263.772 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 x))))) into 0 1538653263.772 * [misc]backup-simplify: Simplify 0 into 0 1538653263.772 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1538653263.772 * [misc]backup-simplify: Simplify 0 into 0 1538653263.773 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1538653263.773 * [misc]backup-simplify: Simplify 0 into 0 1538653263.774 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1538653263.774 * [misc]backup-simplify: Simplify 0 into 0 1538653263.775 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1538653263.775 * [misc]backup-simplify: Simplify 0 into 0 1538653263.775 * [misc]backup-simplify: Simplify (sqrt (exp (/ 1 (/ 1 x)))) into (sqrt (exp x)) 1538653263.775 * [misc]backup-simplify: Simplify (sqrt (exp (/ 1 (- x)))) into (sqrt (exp (/ -1 x))) 1538653263.775 * [misc]approximate: Taking taylor expansion of (sqrt (exp (/ -1 x))) in (x) around 0 1538653263.775 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 1538653263.775 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1538653263.775 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1538653263.775 * [misc]taylor: Taking taylor expansion of -1 in x 1538653263.775 * [misc]backup-simplify: Simplify -1 into -1 1538653263.775 * [misc]taylor: Taking taylor expansion of x in x 1538653263.775 * [misc]backup-simplify: Simplify 0 into 0 1538653263.775 * [misc]backup-simplify: Simplify 1 into 1 1538653263.775 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1538653263.775 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1538653263.776 * [misc]backup-simplify: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 1538653263.776 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0 1538653263.776 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 1538653263.776 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1538653263.776 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1538653263.776 * [misc]taylor: Taking taylor expansion of -1 in x 1538653263.776 * [misc]backup-simplify: Simplify -1 into -1 1538653263.776 * [misc]taylor: Taking taylor expansion of x in x 1538653263.776 * [misc]backup-simplify: Simplify 0 into 0 1538653263.776 * [misc]backup-simplify: Simplify 1 into 1 1538653263.776 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1538653263.776 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1538653263.776 * [misc]backup-simplify: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 1538653263.776 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0 1538653263.777 * [misc]backup-simplify: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 1538653263.777 * [misc]backup-simplify: Simplify 0 into 0 1538653263.778 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ -1 x))))) into 0 1538653263.778 * [misc]backup-simplify: Simplify 0 into 0 1538653263.778 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1538653263.778 * [misc]backup-simplify: Simplify 0 into 0 1538653263.779 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1538653263.779 * [misc]backup-simplify: Simplify 0 into 0 1538653263.779 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1538653263.779 * [misc]backup-simplify: Simplify 0 into 0 1538653263.781 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1538653263.781 * [misc]backup-simplify: Simplify 0 into 0 1538653263.781 * [misc]backup-simplify: Simplify (sqrt (exp (/ -1 (/ 1 (- x))))) into (sqrt (exp x)) 1538653263.781 * * * * [misc]progress: [ 2 / 3 ] generating series at (2 1 1) 1538653263.781 * [misc]backup-simplify: Simplify (sqrt (exp x)) into (sqrt (exp x)) 1538653263.781 * [misc]approximate: Taking taylor expansion of (sqrt (exp x)) in (x) around 0 1538653263.781 * [misc]taylor: Taking taylor expansion of (sqrt (exp x)) in x 1538653263.781 * [misc]taylor: Taking taylor expansion of (exp x) in x 1538653263.781 * [misc]taylor: Taking taylor expansion of x in x 1538653263.781 * [misc]backup-simplify: Simplify 0 into 0 1538653263.781 * [misc]backup-simplify: Simplify 1 into 1 1538653263.781 * [misc]backup-simplify: Simplify (exp 0) into 1 1538653263.782 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1538653263.783 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1538653263.783 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1538653263.783 * [misc]taylor: Taking taylor expansion of (sqrt (exp x)) in x 1538653263.783 * [misc]taylor: Taking taylor expansion of (exp x) in x 1538653263.783 * [misc]taylor: Taking taylor expansion of x in x 1538653263.783 * [misc]backup-simplify: Simplify 0 into 0 1538653263.783 * [misc]backup-simplify: Simplify 1 into 1 1538653263.783 * [misc]backup-simplify: Simplify (exp 0) into 1 1538653263.784 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1538653263.785 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1538653263.785 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1538653263.785 * [misc]backup-simplify: Simplify 1 into 1 1538653263.785 * [misc]backup-simplify: Simplify 1/2 into 1/2 1538653263.788 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1538653263.789 * [misc]backup-simplify: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8 1538653263.789 * [misc]backup-simplify: Simplify 1/8 into 1/8 1538653263.789 * [misc]backup-simplify: Simplify (+ (* 1/8 (pow x 2)) (+ (* 1/2 x) 1)) into (+ (* 1/2 x) (+ (* 1/8 (pow x 2)) 1)) 1538653263.789 * [misc]backup-simplify: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 1538653263.789 * [misc]approximate: Taking taylor expansion of (sqrt (exp (/ 1 x))) in (x) around 0 1538653263.789 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 1538653263.789 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1538653263.789 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538653263.789 * [misc]taylor: Taking taylor expansion of x in x 1538653263.789 * [misc]backup-simplify: Simplify 0 into 0 1538653263.789 * [misc]backup-simplify: Simplify 1 into 1 1538653263.790 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538653263.790 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1538653263.790 * [misc]backup-simplify: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 1538653263.790 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0 1538653263.790 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 1538653263.790 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1538653263.790 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538653263.790 * [misc]taylor: Taking taylor expansion of x in x 1538653263.790 * [misc]backup-simplify: Simplify 0 into 0 1538653263.790 * [misc]backup-simplify: Simplify 1 into 1 1538653263.790 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538653263.790 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1538653263.790 * [misc]backup-simplify: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 1538653263.791 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0 1538653263.791 * [misc]backup-simplify: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 1538653263.791 * [misc]backup-simplify: Simplify 0 into 0 1538653263.792 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 x))))) into 0 1538653263.792 * [misc]backup-simplify: Simplify 0 into 0 1538653263.792 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1538653263.792 * [misc]backup-simplify: Simplify 0 into 0 1538653263.793 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1538653263.793 * [misc]backup-simplify: Simplify 0 into 0 1538653263.793 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1538653263.794 * [misc]backup-simplify: Simplify 0 into 0 1538653263.795 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1538653263.795 * [misc]backup-simplify: Simplify 0 into 0 1538653263.795 * [misc]backup-simplify: Simplify (sqrt (exp (/ 1 (/ 1 x)))) into (sqrt (exp x)) 1538653263.795 * [misc]backup-simplify: Simplify (sqrt (exp (/ 1 (- x)))) into (sqrt (exp (/ -1 x))) 1538653263.795 * [misc]approximate: Taking taylor expansion of (sqrt (exp (/ -1 x))) in (x) around 0 1538653263.795 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 1538653263.795 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1538653263.795 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1538653263.795 * [misc]taylor: Taking taylor expansion of -1 in x 1538653263.795 * [misc]backup-simplify: Simplify -1 into -1 1538653263.795 * [misc]taylor: Taking taylor expansion of x in x 1538653263.795 * [misc]backup-simplify: Simplify 0 into 0 1538653263.795 * [misc]backup-simplify: Simplify 1 into 1 1538653263.795 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1538653263.795 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1538653263.796 * [misc]backup-simplify: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 1538653263.796 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0 1538653263.796 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 1538653263.796 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1538653263.796 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1538653263.796 * [misc]taylor: Taking taylor expansion of -1 in x 1538653263.796 * [misc]backup-simplify: Simplify -1 into -1 1538653263.796 * [misc]taylor: Taking taylor expansion of x in x 1538653263.796 * [misc]backup-simplify: Simplify 0 into 0 1538653263.796 * [misc]backup-simplify: Simplify 1 into 1 1538653263.796 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1538653263.796 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1538653263.796 * [misc]backup-simplify: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 1538653263.796 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0 1538653263.797 * [misc]backup-simplify: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 1538653263.797 * [misc]backup-simplify: Simplify 0 into 0 1538653263.797 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ -1 x))))) into 0 1538653263.797 * [misc]backup-simplify: Simplify 0 into 0 1538653263.798 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1538653263.798 * [misc]backup-simplify: Simplify 0 into 0 1538653263.799 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1538653263.799 * [misc]backup-simplify: Simplify 0 into 0 1538653263.799 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1538653263.799 * [misc]backup-simplify: Simplify 0 into 0 1538653263.800 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1538653263.800 * [misc]backup-simplify: Simplify 0 into 0 1538653263.800 * [misc]backup-simplify: Simplify (sqrt (exp (/ -1 (/ 1 (- x))))) into (sqrt (exp x)) 1538653263.800 * * * * [misc]progress: [ 3 / 3 ] generating series at (2) 1538653263.801 * [misc]backup-simplify: Simplify (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) 1)) into (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) 1)) 1538653263.801 * [misc]approximate: Taking taylor expansion of (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) 1)) in (x) around 0 1538653263.801 * [misc]taylor: Taking taylor expansion of (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) 1)) in x 1538653263.801 * [misc]taylor: Taking taylor expansion of (fma (sqrt (exp x)) (sqrt (exp x)) 1) in x 1538653263.803 * [misc]taylor: Rewrote expression to (+ (* (sqrt (exp x)) (sqrt (exp x))) 1) 1538653263.803 * [misc]taylor: Taking taylor expansion of (* (sqrt (exp x)) (sqrt (exp x))) in x 1538653263.803 * [misc]taylor: Taking taylor expansion of (sqrt (exp x)) in x 1538653263.803 * [misc]taylor: Taking taylor expansion of (exp x) in x 1538653263.803 * [misc]taylor: Taking taylor expansion of x in x 1538653263.803 * [misc]backup-simplify: Simplify 0 into 0 1538653263.803 * [misc]backup-simplify: Simplify 1 into 1 1538653263.803 * [misc]backup-simplify: Simplify (exp 0) into 1 1538653263.804 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1538653263.805 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1538653263.805 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1538653263.805 * [misc]taylor: Taking taylor expansion of (sqrt (exp x)) in x 1538653263.805 * [misc]taylor: Taking taylor expansion of (exp x) in x 1538653263.805 * [misc]taylor: Taking taylor expansion of x in x 1538653263.805 * [misc]backup-simplify: Simplify 0 into 0 1538653263.805 * [misc]backup-simplify: Simplify 1 into 1 1538653263.805 * [misc]backup-simplify: Simplify (exp 0) into 1 1538653263.806 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1538653263.807 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1538653263.807 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1538653263.807 * [misc]taylor: Taking taylor expansion of 1 in x 1538653263.807 * [misc]backup-simplify: Simplify 1 into 1 1538653263.808 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538653263.808 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1538653263.808 * [misc]backup-simplify: Simplify (sqrt 2) into (sqrt 2) 1538653263.808 * [misc]backup-simplify: Simplify (+ (* 1 1/2) (* 1/2 1)) into 1 1538653263.808 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538653263.809 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2)) 1538653263.809 * [misc]taylor: Taking taylor expansion of (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) 1)) in x 1538653263.809 * [misc]taylor: Taking taylor expansion of (fma (sqrt (exp x)) (sqrt (exp x)) 1) in x 1538653263.809 * [misc]taylor: Rewrote expression to (+ (* (sqrt (exp x)) (sqrt (exp x))) 1) 1538653263.809 * [misc]taylor: Taking taylor expansion of (* (sqrt (exp x)) (sqrt (exp x))) in x 1538653263.809 * [misc]taylor: Taking taylor expansion of (sqrt (exp x)) in x 1538653263.809 * [misc]taylor: Taking taylor expansion of (exp x) in x 1538653263.809 * [misc]taylor: Taking taylor expansion of x in x 1538653263.809 * [misc]backup-simplify: Simplify 0 into 0 1538653263.809 * [misc]backup-simplify: Simplify 1 into 1 1538653263.809 * [misc]backup-simplify: Simplify (exp 0) into 1 1538653263.809 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1538653263.811 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1538653263.811 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1538653263.811 * [misc]taylor: Taking taylor expansion of (sqrt (exp x)) in x 1538653263.811 * [misc]taylor: Taking taylor expansion of (exp x) in x 1538653263.811 * [misc]taylor: Taking taylor expansion of x in x 1538653263.811 * [misc]backup-simplify: Simplify 0 into 0 1538653263.811 * [misc]backup-simplify: Simplify 1 into 1 1538653263.811 * [misc]backup-simplify: Simplify (exp 0) into 1 1538653263.811 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1538653263.813 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1538653263.813 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1538653263.813 * [misc]taylor: Taking taylor expansion of 1 in x 1538653263.813 * [misc]backup-simplify: Simplify 1 into 1 1538653263.813 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538653263.813 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1538653263.814 * [misc]backup-simplify: Simplify (sqrt 2) into (sqrt 2) 1538653263.814 * [misc]backup-simplify: Simplify (+ (* 1 1/2) (* 1/2 1)) into 1 1538653263.814 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1538653263.815 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2)) 1538653263.815 * [misc]backup-simplify: Simplify (sqrt 2) into (sqrt 2) 1538653263.815 * [misc]backup-simplify: Simplify (/ 1/2 (sqrt 2)) into (/ 1/2 (sqrt 2)) 1538653263.817 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1538653263.819 * [misc]backup-simplify: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8 1538653263.821 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1538653263.822 * [misc]backup-simplify: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8 1538653263.822 * [misc]backup-simplify: Simplify (+ (* 1 1/8) (+ (* 1/2 1/2) (* 1/8 1))) into 1/2 1538653263.822 * [misc]backup-simplify: Simplify (+ 1/2 0) into 1/2 1538653263.825 * [misc]backup-simplify: Simplify (/ (- 1/2 (pow (/ 1/2 (sqrt 2)) 2) (+)) (* 2 (sqrt 2))) into (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2))) 1538653263.827 * [misc]backup-simplify: Simplify (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2))) into (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2))) 1538653263.837 * [misc]backup-simplify: Simplify (+ (* (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2))) (pow x 2)) (+ (* (/ 1/2 (sqrt 2)) x) (sqrt 2))) into (- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3)))) 1538653263.837 * [misc]backup-simplify: Simplify (sqrt (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) 1)) into (sqrt (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) 1)) 1538653263.837 * [misc]approximate: Taking taylor expansion of (sqrt (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) 1)) in (x) around 0 1538653263.837 * [misc]taylor: Taking taylor expansion of (sqrt (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) 1)) in x 1538653263.837 * [misc]taylor: Taking taylor expansion of (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) 1) in x 1538653263.837 * [misc]taylor: Rewrote expression to (+ (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) 1) 1538653263.837 * [misc]taylor: Taking taylor expansion of (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) in x 1538653263.837 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 1538653263.837 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1538653263.837 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538653263.837 * [misc]taylor: Taking taylor expansion of x in x 1538653263.838 * [misc]backup-simplify: Simplify 0 into 0 1538653263.838 * [misc]backup-simplify: Simplify 1 into 1 1538653263.838 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538653263.838 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1538653263.838 * [misc]backup-simplify: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 1538653263.838 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0 1538653263.838 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 1538653263.838 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1538653263.838 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538653263.838 * [misc]taylor: Taking taylor expansion of x in x 1538653263.838 * [misc]backup-simplify: Simplify 0 into 0 1538653263.838 * [misc]backup-simplify: Simplify 1 into 1 1538653263.838 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538653263.839 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1538653263.839 * [misc]backup-simplify: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 1538653263.839 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0 1538653263.839 * [misc]taylor: Taking taylor expansion of 1 in x 1538653263.839 * [misc]backup-simplify: Simplify 1 into 1 1538653263.839 * [misc]backup-simplify: Simplify (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) into (exp (/ 1 x)) 1538653263.839 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1) 1538653263.839 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1)) 1538653263.839 * [misc]backup-simplify: Simplify (+ (* (sqrt (exp (/ 1 x))) 0) (* 0 (sqrt (exp (/ 1 x))))) into 0 1538653263.840 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538653263.840 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1538653263.840 * [misc]taylor: Taking taylor expansion of (sqrt (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) 1)) in x 1538653263.840 * [misc]taylor: Taking taylor expansion of (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) 1) in x 1538653263.840 * [misc]taylor: Rewrote expression to (+ (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) 1) 1538653263.840 * [misc]taylor: Taking taylor expansion of (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) in x 1538653263.840 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 1538653263.840 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1538653263.840 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538653263.840 * [misc]taylor: Taking taylor expansion of x in x 1538653263.840 * [misc]backup-simplify: Simplify 0 into 0 1538653263.840 * [misc]backup-simplify: Simplify 1 into 1 1538653263.840 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538653263.841 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1538653263.841 * [misc]backup-simplify: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 1538653263.841 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0 1538653263.841 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 1538653263.841 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1538653263.841 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1538653263.841 * [misc]taylor: Taking taylor expansion of x in x 1538653263.841 * [misc]backup-simplify: Simplify 0 into 0 1538653263.841 * [misc]backup-simplify: Simplify 1 into 1 1538653263.841 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538653263.841 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1538653263.841 * [misc]backup-simplify: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 1538653263.841 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0 1538653263.841 * [misc]taylor: Taking taylor expansion of 1 in x 1538653263.842 * [misc]backup-simplify: Simplify 1 into 1 1538653263.842 * [misc]backup-simplify: Simplify (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) into (exp (/ 1 x)) 1538653263.842 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1) 1538653263.842 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1)) 1538653263.842 * [misc]backup-simplify: Simplify (+ (* (sqrt (exp (/ 1 x))) 0) (* 0 (sqrt (exp (/ 1 x))))) into 0 1538653263.842 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538653263.842 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1538653263.843 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1)) 1538653263.843 * [misc]backup-simplify: Simplify 0 into 0 1538653263.844 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 x))))) into 0 1538653263.844 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 x))))) into 0 1538653263.845 * [misc]backup-simplify: Simplify (+ (* (sqrt (exp (/ 1 x))) 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 x)))))) into 0 1538653263.845 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538653263.846 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1538653263.846 * [misc]backup-simplify: Simplify 0 into 0 1538653263.846 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1538653263.847 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1538653263.847 * [misc]backup-simplify: Simplify (+ (* (sqrt (exp (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 x))))))) into 0 1538653263.847 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538653263.848 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1538653263.848 * [misc]backup-simplify: Simplify 0 into 0 1538653263.849 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1538653263.850 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1538653263.850 * [misc]backup-simplify: Simplify (+ (* (sqrt (exp (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 x)))))))) into 0 1538653263.850 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538653263.851 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1538653263.851 * [misc]backup-simplify: Simplify 0 into 0 1538653263.852 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1538653263.852 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1538653263.853 * [misc]backup-simplify: Simplify (+ (* (sqrt (exp (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 x))))))))) into 0 1538653263.853 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538653263.854 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1538653263.854 * [misc]backup-simplify: Simplify 0 into 0 1538653263.855 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1538653263.856 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1538653263.857 * [misc]backup-simplify: Simplify (+ (* (sqrt (exp (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 x)))))))))) into 0 1538653263.857 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538653263.858 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1538653263.858 * [misc]backup-simplify: Simplify 0 into 0 1538653263.858 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ 1 (/ 1 x))) 1)) into (sqrt (+ (exp x) 1)) 1538653263.858 * [misc]backup-simplify: Simplify (sqrt (fma (sqrt (exp (/ 1 (- x)))) (sqrt (exp (/ 1 (- x)))) 1)) into (sqrt (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) 1)) 1538653263.858 * [misc]approximate: Taking taylor expansion of (sqrt (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) 1)) in (x) around 0 1538653263.858 * [misc]taylor: Taking taylor expansion of (sqrt (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) 1)) in x 1538653263.858 * [misc]taylor: Taking taylor expansion of (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) 1) in x 1538653263.859 * [misc]taylor: Rewrote expression to (+ (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) 1) 1538653263.859 * [misc]taylor: Taking taylor expansion of (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) in x 1538653263.859 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 1538653263.859 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1538653263.859 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1538653263.859 * [misc]taylor: Taking taylor expansion of -1 in x 1538653263.859 * [misc]backup-simplify: Simplify -1 into -1 1538653263.859 * [misc]taylor: Taking taylor expansion of x in x 1538653263.859 * [misc]backup-simplify: Simplify 0 into 0 1538653263.859 * [misc]backup-simplify: Simplify 1 into 1 1538653263.859 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1538653263.859 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1538653263.859 * [misc]backup-simplify: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 1538653263.859 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0 1538653263.859 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 1538653263.860 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1538653263.860 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1538653263.860 * [misc]taylor: Taking taylor expansion of -1 in x 1538653263.860 * [misc]backup-simplify: Simplify -1 into -1 1538653263.860 * [misc]taylor: Taking taylor expansion of x in x 1538653263.860 * [misc]backup-simplify: Simplify 0 into 0 1538653263.860 * [misc]backup-simplify: Simplify 1 into 1 1538653263.860 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1538653263.860 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1538653263.860 * [misc]backup-simplify: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 1538653263.860 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0 1538653263.860 * [misc]taylor: Taking taylor expansion of 1 in x 1538653263.860 * [misc]backup-simplify: Simplify 1 into 1 1538653263.861 * [misc]backup-simplify: Simplify (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) into (exp (/ -1 x)) 1538653263.861 * [misc]backup-simplify: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1) 1538653263.861 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1)) 1538653263.861 * [misc]backup-simplify: Simplify (+ (* (sqrt (exp (/ -1 x))) 0) (* 0 (sqrt (exp (/ -1 x))))) into 0 1538653263.861 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538653263.861 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1538653263.861 * [misc]taylor: Taking taylor expansion of (sqrt (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) 1)) in x 1538653263.861 * [misc]taylor: Taking taylor expansion of (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) 1) in x 1538653263.861 * [misc]taylor: Rewrote expression to (+ (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) 1) 1538653263.861 * [misc]taylor: Taking taylor expansion of (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) in x 1538653263.862 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 1538653263.862 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1538653263.862 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1538653263.862 * [misc]taylor: Taking taylor expansion of -1 in x 1538653263.862 * [misc]backup-simplify: Simplify -1 into -1 1538653263.862 * [misc]taylor: Taking taylor expansion of x in x 1538653263.862 * [misc]backup-simplify: Simplify 0 into 0 1538653263.862 * [misc]backup-simplify: Simplify 1 into 1 1538653263.862 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1538653263.862 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1538653263.862 * [misc]backup-simplify: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 1538653263.862 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0 1538653263.862 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 1538653263.862 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1538653263.862 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1538653263.862 * [misc]taylor: Taking taylor expansion of -1 in x 1538653263.862 * [misc]backup-simplify: Simplify -1 into -1 1538653263.862 * [misc]taylor: Taking taylor expansion of x in x 1538653263.862 * [misc]backup-simplify: Simplify 0 into 0 1538653263.862 * [misc]backup-simplify: Simplify 1 into 1 1538653263.863 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1538653263.863 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1538653263.863 * [misc]backup-simplify: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 1538653263.863 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0 1538653263.863 * [misc]taylor: Taking taylor expansion of 1 in x 1538653263.863 * [misc]backup-simplify: Simplify 1 into 1 1538653263.863 * [misc]backup-simplify: Simplify (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) into (exp (/ -1 x)) 1538653263.863 * [misc]backup-simplify: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1) 1538653263.863 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1)) 1538653263.864 * [misc]backup-simplify: Simplify (+ (* (sqrt (exp (/ -1 x))) 0) (* 0 (sqrt (exp (/ -1 x))))) into 0 1538653263.864 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538653263.864 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1538653263.864 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1)) 1538653263.864 * [misc]backup-simplify: Simplify 0 into 0 1538653263.865 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ -1 x))))) into 0 1538653263.866 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ -1 x))))) into 0 1538653263.866 * [misc]backup-simplify: Simplify (+ (* (sqrt (exp (/ -1 x))) 0) (+ (* 0 0) (* 0 (sqrt (exp (/ -1 x)))))) into 0 1538653263.866 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538653263.867 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1538653263.867 * [misc]backup-simplify: Simplify 0 into 0 1538653263.868 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1538653263.868 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1538653263.869 * [misc]backup-simplify: Simplify (+ (* (sqrt (exp (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ -1 x))))))) into 0 1538653263.869 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538653263.869 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1538653263.869 * [misc]backup-simplify: Simplify 0 into 0 1538653263.870 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1538653263.871 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1538653263.872 * [misc]backup-simplify: Simplify (+ (* (sqrt (exp (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ -1 x)))))))) into 0 1538653263.872 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538653263.873 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1538653263.873 * [misc]backup-simplify: Simplify 0 into 0 1538653263.873 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1538653263.874 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1538653263.874 * [misc]backup-simplify: Simplify (+ (* (sqrt (exp (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ -1 x))))))))) into 0 1538653263.874 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538653263.875 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1538653263.875 * [misc]backup-simplify: Simplify 0 into 0 1538653263.876 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1538653263.877 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1538653263.878 * [misc]backup-simplify: Simplify (+ (* (sqrt (exp (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ -1 x)))))))))) into 0 1538653263.878 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538653263.879 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1538653263.879 * [misc]backup-simplify: Simplify 0 into 0 1538653263.879 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ -1 (/ 1 (- x)))) 1)) into (sqrt (+ (exp x) 1)) 1538653263.879 * * * [misc]progress: simplifying candidates 1538653263.879 * * * * [misc]progress: [ 1 / 51 ] simplifiying candidate # 1538653263.879 * * * * [misc]progress: [ 2 / 51 ] simplifiying candidate # 1538653263.879 * * * * [misc]progress: [ 3 / 51 ] simplifiying candidate # 1538653263.879 * * * * [misc]progress: [ 4 / 51 ] simplifiying candidate # 1538653263.880 * * * * [misc]progress: [ 5 / 51 ] simplifiying candidate # 1538653263.880 * * * * [misc]progress: [ 6 / 51 ] simplifiying candidate # 1538653263.880 * * * * [misc]progress: [ 7 / 51 ] simplifiying candidate # 1538653263.880 * * * * [misc]progress: [ 8 / 51 ] simplifiying candidate # 1538653263.880 * * * * [misc]progress: [ 9 / 51 ] simplifiying candidate # 1538653263.880 * [enter]simplify: Simplifying (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) 1538653263.881 * * [misc]simplify: iters left: 5 (5 enodes) 1538653263.883 * * [misc]simplify: iters left: 4 (6 enodes) 1538653263.886 * [exit]simplify: Simplified to (fabs (cbrt (exp x))) 1538653263.886 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (sqrt (fma (sqrt (exp x)) (* (fabs (cbrt (exp x))) (sqrt (cbrt (exp x)))) 1))) 1538653263.886 * * * * [misc]progress: [ 10 / 51 ] simplifiying candidate # 1538653263.886 * [enter]simplify: Simplifying (sqrt (sqrt (exp x))) 1538653263.887 * * [misc]simplify: iters left: 3 (4 enodes) 1538653263.888 * [exit]simplify: Simplified to (sqrt (sqrt (exp x))) 1538653263.888 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (sqrt (fma (sqrt (exp x)) (* (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x)))) 1))) 1538653263.888 * * * * [misc]progress: [ 11 / 51 ] simplifiying candidate # 1538653263.889 * [enter]simplify: Simplifying (sqrt 1) 1538653263.889 * * [misc]simplify: iters left: 1 (2 enodes) 1538653263.891 * [exit]simplify: Simplified to 1 1538653263.891 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (sqrt (fma (sqrt (exp x)) (* 1 (sqrt (exp x))) 1))) 1538653263.891 * * * * [misc]progress: [ 12 / 51 ] simplifiying candidate # 1538653263.891 * * * * [misc]progress: [ 13 / 51 ] simplifiying candidate # 1538653263.891 * [enter]simplify: Simplifying (sqrt (exp x)) 1538653263.891 * * [misc]simplify: iters left: 2 (3 enodes) 1538653263.893 * [exit]simplify: Simplified to (sqrt (exp x)) 1538653263.893 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (sqrt (fma (sqrt (exp x)) (fabs (sqrt (exp x))) 1))) 1538653263.893 * * * * [misc]progress: [ 14 / 51 ] simplifiying candidate # 1538653263.893 * * * * [misc]progress: [ 15 / 51 ] simplifiying candidate # 1538653263.893 * * * * [misc]progress: [ 16 / 51 ] simplifiying candidate # 1538653263.893 * * * * [misc]progress: [ 17 / 51 ] simplifiying candidate # 1538653263.893 * * * * [misc]progress: [ 18 / 51 ] simplifiying candidate # 1538653263.893 * * * * [misc]progress: [ 19 / 51 ] simplifiying candidate # 1538653263.893 * * * * [misc]progress: [ 20 / 51 ] simplifiying candidate # 1538653263.893 * * * * [misc]progress: [ 21 / 51 ] simplifiying candidate # 1538653263.893 * * * * [misc]progress: [ 22 / 51 ] simplifiying candidate # 1538653263.893 * * * * [misc]progress: [ 23 / 51 ] simplifiying candidate # 1538653263.894 * [enter]simplify: Simplifying (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) 1538653263.894 * * [misc]simplify: iters left: 5 (5 enodes) 1538653263.896 * * [misc]simplify: iters left: 4 (6 enodes) 1538653263.899 * [exit]simplify: Simplified to (fabs (cbrt (exp x))) 1538653263.899 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (sqrt (fma (* (fabs (cbrt (exp x))) (sqrt (cbrt (exp x)))) (sqrt (exp x)) 1))) 1538653263.899 * * * * [misc]progress: [ 24 / 51 ] simplifiying candidate # 1538653263.899 * [enter]simplify: Simplifying (sqrt (sqrt (exp x))) 1538653263.899 * * [misc]simplify: iters left: 3 (4 enodes) 1538653263.901 * [exit]simplify: Simplified to (sqrt (sqrt (exp x))) 1538653263.901 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (sqrt (fma (* (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x)))) (sqrt (exp x)) 1))) 1538653263.901 * * * * [misc]progress: [ 25 / 51 ] simplifiying candidate # 1538653263.901 * [enter]simplify: Simplifying (sqrt 1) 1538653263.902 * * [misc]simplify: iters left: 1 (2 enodes) 1538653263.903 * [exit]simplify: Simplified to 1 1538653263.903 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (sqrt (fma (* 1 (sqrt (exp x))) (sqrt (exp x)) 1))) 1538653263.904 * * * * [misc]progress: [ 26 / 51 ] simplifiying candidate # 1538653263.904 * * * * [misc]progress: [ 27 / 51 ] simplifiying candidate # 1538653263.904 * [enter]simplify: Simplifying (sqrt (exp x)) 1538653263.904 * * [misc]simplify: iters left: 2 (3 enodes) 1538653263.905 * [exit]simplify: Simplified to (sqrt (exp x)) 1538653263.905 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (sqrt (fma (fabs (sqrt (exp x))) (sqrt (exp x)) 1))) 1538653263.905 * * * * [misc]progress: [ 28 / 51 ] simplifiying candidate # 1538653263.906 * * * * [misc]progress: [ 29 / 51 ] simplifiying candidate # 1538653263.906 * * * * [misc]progress: [ 30 / 51 ] simplifiying candidate # 1538653263.906 * * * * [misc]progress: [ 31 / 51 ] simplifiying candidate # 1538653263.906 * * * * [misc]progress: [ 32 / 51 ] simplifiying candidate # 1538653263.906 * * * * [misc]progress: [ 33 / 51 ] simplifiying candidate # 1538653263.906 * * * * [misc]progress: [ 34 / 51 ] simplifiying candidate # 1538653263.906 * * * * [misc]progress: [ 35 / 51 ] simplifiying candidate # 1538653263.906 * * * * [misc]progress: [ 36 / 51 ] simplifiying candidate # 1538653263.906 * * * * [misc]progress: [ 37 / 51 ] simplifiying candidate # 1538653263.906 * [enter]simplify: Simplifying (sqrt (* (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) 1)) (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) 1)))) 1538653263.907 * * [misc]simplify: iters left: 6 (8 enodes) 1538653263.911 * * [misc]simplify: iters left: 5 (13 enodes) 1538653263.915 * * [misc]simplify: iters left: 4 (14 enodes) 1538653263.920 * * [misc]simplify: iters left: 3 (15 enodes) 1538653263.925 * [exit]simplify: Simplified to (fabs (cbrt (+ 1 (exp x)))) 1538653263.925 * [misc]simplify: Simplified (2 1) to (λ (x) (* (fabs (cbrt (+ 1 (exp x)))) (sqrt (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) 1))))) 1538653263.925 * * * * [misc]progress: [ 38 / 51 ] simplifiying candidate # 1538653263.925 * [enter]simplify: Simplifying (sqrt (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) 1))) 1538653263.926 * * [misc]simplify: iters left: 5 (7 enodes) 1538653263.929 * * [misc]simplify: iters left: 4 (11 enodes) 1538653263.932 * * [misc]simplify: iters left: 3 (12 enodes) 1538653263.936 * * [misc]simplify: iters left: 2 (14 enodes) 1538653263.940 * [exit]simplify: Simplified to (sqrt (sqrt (+ 1 (exp x)))) 1538653263.940 * [misc]simplify: Simplified (2 1) to (λ (x) (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) 1))))) 1538653263.940 * * * * [misc]progress: [ 39 / 51 ] simplifiying candidate # 1538653263.940 * [enter]simplify: Simplifying (sqrt 1) 1538653263.941 * * [misc]simplify: iters left: 1 (2 enodes) 1538653263.943 * [exit]simplify: Simplified to 1 1538653263.943 * [misc]simplify: Simplified (2 1) to (λ (x) (* 1 (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) 1)))) 1538653263.943 * * * * [misc]progress: [ 40 / 51 ] simplifiying candidate # 1538653263.943 * * * * [misc]progress: [ 41 / 51 ] simplifiying candidate # 1538653263.943 * [enter]simplify: Simplifying (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) 1)) 1538653263.944 * * [misc]simplify: iters left: 4 (6 enodes) 1538653263.946 * * [misc]simplify: iters left: 3 (10 enodes) 1538653263.950 * * [misc]simplify: iters left: 2 (11 enodes) 1538653263.953 * * [misc]simplify: iters left: 1 (13 enodes) 1538653263.957 * [exit]simplify: Simplified to (sqrt (+ 1 (exp x))) 1538653263.957 * [misc]simplify: Simplified (2 1) to (λ (x) (fabs (sqrt (+ 1 (exp x))))) 1538653263.957 * * * * [misc]progress: [ 42 / 51 ] simplifiying candidate # 1538653263.957 * * * * [misc]progress: [ 43 / 51 ] simplifiying candidate # 1538653263.957 * [enter]simplify: Simplifying (+ (* 1/2 x) (+ (* 1/8 (pow x 2)) 1)) 1538653263.958 * * [misc]simplify: iters left: 6 (10 enodes) 1538653263.964 * * [misc]simplify: iters left: 5 (21 enodes) 1538653263.973 * * [misc]simplify: iters left: 4 (35 enodes) 1538653263.990 * * [misc]simplify: iters left: 3 (56 enodes) 1538653264.011 * * [misc]simplify: iters left: 2 (76 enodes) 1538653264.028 * * [misc]simplify: iters left: 1 (91 enodes) 1538653264.037 * [exit]simplify: Simplified to (fma x (fma x 1/8 1/2) 1) 1538653264.037 * [misc]simplify: Simplified (2 1 2) to (λ (x) (sqrt (fma (sqrt (exp x)) (fma x (fma x 1/8 1/2) 1) 1))) 1538653264.037 * * * * [misc]progress: [ 44 / 51 ] simplifiying candidate # 1538653264.037 * [enter]simplify: Simplifying (sqrt (exp x)) 1538653264.037 * * [misc]simplify: iters left: 2 (3 enodes) 1538653264.038 * [exit]simplify: Simplified to (sqrt (exp x)) 1538653264.038 * [misc]simplify: Simplified (2 1 2) to (λ (x) (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) 1))) 1538653264.038 * * * * [misc]progress: [ 45 / 51 ] simplifiying candidate # 1538653264.038 * [enter]simplify: Simplifying (sqrt (exp x)) 1538653264.038 * * [misc]simplify: iters left: 2 (3 enodes) 1538653264.039 * [exit]simplify: Simplified to (sqrt (exp x)) 1538653264.039 * [misc]simplify: Simplified (2 1 2) to (λ (x) (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) 1))) 1538653264.039 * * * * [misc]progress: [ 46 / 51 ] simplifiying candidate # 1538653264.039 * [enter]simplify: Simplifying (+ (* 1/2 x) (+ (* 1/8 (pow x 2)) 1)) 1538653264.039 * * [misc]simplify: iters left: 6 (10 enodes) 1538653264.043 * * [misc]simplify: iters left: 5 (21 enodes) 1538653264.047 * * [misc]simplify: iters left: 4 (35 enodes) 1538653264.059 * * [misc]simplify: iters left: 3 (56 enodes) 1538653264.077 * * [misc]simplify: iters left: 2 (76 enodes) 1538653264.094 * * [misc]simplify: iters left: 1 (91 enodes) 1538653264.104 * [exit]simplify: Simplified to (fma x (fma x 1/8 1/2) 1) 1538653264.104 * [misc]simplify: Simplified (2 1 1) to (λ (x) (sqrt (fma (fma x (fma x 1/8 1/2) 1) (sqrt (exp x)) 1))) 1538653264.104 * * * * [misc]progress: [ 47 / 51 ] simplifiying candidate # 1538653264.105 * [enter]simplify: Simplifying (sqrt (exp x)) 1538653264.105 * * [misc]simplify: iters left: 2 (3 enodes) 1538653264.105 * [exit]simplify: Simplified to (sqrt (exp x)) 1538653264.105 * [misc]simplify: Simplified (2 1 1) to (λ (x) (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) 1))) 1538653264.106 * * * * [misc]progress: [ 48 / 51 ] simplifiying candidate # 1538653264.106 * [enter]simplify: Simplifying (sqrt (exp x)) 1538653264.106 * * [misc]simplify: iters left: 2 (3 enodes) 1538653264.106 * [exit]simplify: Simplified to (sqrt (exp x)) 1538653264.106 * [misc]simplify: Simplified (2 1 1) to (λ (x) (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) 1))) 1538653264.106 * * * * [misc]progress: [ 49 / 51 ] simplifiying candidate # 1538653264.107 * [enter]simplify: Simplifying (- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3)))) 1538653264.108 * * [misc]simplify: iters left: 6 (18 enodes) 1538653264.115 * * [misc]simplify: iters left: 5 (40 enodes) 1538653264.143 * * [misc]simplify: iters left: 4 (111 enodes) 1538653264.204 * * [misc]simplify: iters left: 3 (276 enodes) 1538653264.416 * [exit]simplify: Simplified to (+ (* (/ (* x x) (sqrt 2)) 3/16) (fma 1/2 (/ x (sqrt 2)) (sqrt 2))) 1538653264.416 * [misc]simplify: Simplified (2) to (λ (x) (+ (* (/ (* x x) (sqrt 2)) 3/16) (fma 1/2 (/ x (sqrt 2)) (sqrt 2)))) 1538653264.416 * * * * [misc]progress: [ 50 / 51 ] simplifiying candidate # 1538653264.416 * [enter]simplify: Simplifying (sqrt (+ (exp x) 1)) 1538653264.416 * * [misc]simplify: iters left: 4 (5 enodes) 1538653264.417 * * [misc]simplify: iters left: 3 (8 enodes) 1538653264.419 * [exit]simplify: Simplified to (sqrt (+ (exp x) 1)) 1538653264.419 * [misc]simplify: Simplified (2) to (λ (x) (sqrt (+ (exp x) 1))) 1538653264.419 * * * * [misc]progress: [ 51 / 51 ] simplifiying candidate # 1538653264.419 * [enter]simplify: Simplifying (sqrt (+ (exp x) 1)) 1538653264.419 * * [misc]simplify: iters left: 4 (5 enodes) 1538653264.420 * * [misc]simplify: iters left: 3 (8 enodes) 1538653264.422 * [exit]simplify: Simplified to (sqrt (+ (exp x) 1)) 1538653264.422 * [misc]simplify: Simplified (2) to (λ (x) (sqrt (+ (exp x) 1))) 1538653264.422 * * * [misc]progress: adding candidates to table 1538653265.204 * [misc]progress: [Phase 3 of 3] Extracting. 1538653265.206 * * [misc]regime: Finding splitpoints for: (# #) 1538653265.210 * * * [misc]regime-changes: Trying 2 branch expressions: ((exp x) x) 1538653265.211 * * * * [misc]regimes: Trying to branch on (exp x) from (# #) 1538653265.259 * * * * [misc]regimes: Trying to branch on (exp x) from (# #) 1538653265.310 * * * * [misc]regimes: Trying to branch on x from (# #) 1538653265.357 * * * * [misc]regimes: Trying to branch on x from (# #) 1538653265.395 * * * [misc]regime: Found split indices: #(struct:option (#(struct:si 0 256)) (# #) ((-7.807480570551767e+300) (-5.717041212126108e+164) (-5.4904175349369936e+237) (-8.871549766874152e+162) (-1.4044180534693405e+80) (-1.5994611290910257e+77) (-7.698250410959818e+171) (-1.501157494542505e+174) (-2.3869204482109444e+246) (-1.8983697680354154e+59) (-3.9800057407404404e+85) (-3.986405248399585e+89) (-1.583678718454576e+212) (-2.3850899393960348e+173) (-9.870204554735155e+123) (-8.413976808045007e+42) (-1.8730771131684119e+202) (-2.4448516817259483e+155) (-1.3226480256138398e+274) (-1.4277553434552839e+29) (-4.7594970532051324e+275) (-175154718997.53326) (-6.513846545486203e+18) (-2.656005814487139e+173) (-4.48231322592048e+221) (-1.1505475107911324e+160) (-3.1682707041303362e+63) (-4.275373629829992e+277) (-3.991650891140564e+202) (-1.4714156703422162e+154) (-7.371431491443797e+256) (-6.351736980526873e+97) (-1.1151413263630367e+284) (-1.0972263421601039e+76) (-2.1760074340007294e+215) (-1.8607269647250501e+115) (-4.6656871068108555e+268) (-2.2042865108976684e+23) (-5.2816809551426395e+140) (-5.373353481766107e+81) (-2.5479920853474924e+125) (-1.626733550775926e+117) (-5.629255695681332e+271) (-3.4826346979618e+86) (-4.393638067487108e+90) (-1.0741924720919315e+182) (-1.02645958571828e+252) (-1.4187653460478348e+56) (-3.932156255264313e+81) (-9.68956415922322e+177) (-1.7618980710262054e+71) (-3.2228952217022036e+173) (-3.1046411861667636e+84) (-2.213006483167566e+51) (-8.934343770781832e+128) (-1.5904734566809445e+188) (-4.716951734891997e+117) (-1.2188526056103123e+253) (-2.088460329018616e+289) (-3.741560861854546e+207) (-1.886828526351525e+305) (-2.280991042917991e+294) (-1.8371172925723635e+146) (-6.349781060554477e+193) (-1.0700486882681555e+163) (-2.487539222265346e+291) (-1.3086220086411384e+212) (-5.958455093669177e+112) (-4.803678500641978e+115) (-1.4934616320487948e+32) (-1.4500434151848476e+184) (-2.2127644395635344e+259) (-1.0710343934227644e+283) (-2.2997102569217786e+237) (-5.795973095955541e+141) (-4.409974450229876e+216) (-1.7706802927394715e+242) (-175606663.94769424) (-2.414360386856746e+302) (-1.6291918716522124e+144) (-6.9400669778875615e+90) (-1.9083052535185244e+203) (-7.803024757617554e+80) (-1.6987881937714625e+99) (-1.4272084165843805e+50) (-6.974785104246381e+105) (-2.6331879118112034e+246) (-1.6887229223540044e+196) (-3.024212293918138e+190) (-7.317255902076841e+303) (-2.3276256336972163e-07) (-1.2042301899260906e-14) (-3.240346028970081e-15) (1.4098004071014702e-252) (9.94295662300743e-298) (-5.5033988221852516e-278) (2.783829392737632e-23) (8.240802531307686e-188) (4.224100043679813e-191) (-3.544166766971903e-185) (-7.913214891145994e-169) (7.391746737906687e-165) (1.9055239461048055e-230) (-2.921904871424238e-47) (-3.8484030093995154e-241) (-2.339336645760783e-110) (8.994175374043719e-208) (8.164925761322927e-159) (5.0152418206554074e-213) (-4.905253312077985e-213) (-1.2658935282931798e-178) (3.4582757322314025e-219) (5.332177281320395e-303) (-3.5632116527656977e-264) (8.574398707378534e-193) (-5.625885768842148e-88) (1.7156760236625116e-149) (-1.4120510602163205e-306) (-3.311963829387737e-117) (-1.5461950666033268e-97) (-9.610931783083408e-179) (1.0107912231791123e-101) (1.3300603339674061e-129) (-9.322931787170773e-76) (-3.132233103935163e-194) (4.2971586461211995e-249) (-2.444476255524334e-119) (9.211686925141e-233) (3.669562241922526e-57) (2.5977061666559785e-36) (-1.083182960985472e-152) (-2.2751242198706754e-236) (-2.4638814661618405e-113) (-8.372806427162053e-250) (-5.930616720795056e-165) (5.2636236971167887e-107) (-1.2320670513008903e-185) (-1.1802424952734304e-37) (1.2226598217103862e-49) (-4.302673321906094e-243) (2.7134514920655273e-25) (-1.4679129703285418e-225) (-3.0498604875835487e-49) (-2.5852241493686563e-222) (2.9415579836126274e-185) (3.6916698654574704e-133) (5.166641235649201e-297) (-6.766826023191453e-84) (1.272286441481795e-35) (7.615934000974176e-203) (2.743851952669172e-115) (-5.927114926480962e-78) (-5.527727220388671e-225) (-9.756032745261562e-307) (4.832175164489317e-39) (-4.869129021911362e-230) (-1.0938446266950585e-173) (-1.1242965509034568e-166) (1.766838948812995e-147) (-1.9059988849589942e-146) (-2.2123989024133933e-103) (-2.4916361886273643e-79) (3.2236921331051528e-80) (9.030475850962892e-102) (-2.598210309477916e-131) (-5.0867706261644334e-144) (6.340978630588841e-195) (-3.387018118176144e-181) (3.7835831284620876e-94) (3.8884865854576844e-265) (-7.473340778895825e-188) (-4.465991383384175e-26) (1.3786415375020627e-284) (-3.8630708207041023e-138) (3.400205593594157e-218) (-1.2072979823529446e-63) (-1.0666243731941173e-265) (4.627290929670442e-113) (-5.391091989162199e-74) (-6.752085354223526e-303) (-1.3950056991964502e-112) (1.7464131799263172e-22) (5.483288986076591e-232) (-2.1524007057793704e-49) (8.111572714051108e-159) (2.3809319540687927e-263) (1.941715934935601e-21) (2.618662183626593e-131) (-8.34008985677553e-294) (-1.735843317514804e-295) (3.9716148728780075e-113) (-5.378972006720192e-74) (8.540818573115008e-298) (-2.6694895720670696e-234) (-1.7938285737078533e-82) (-1.1089728376359794e-82) (-2.4367053090702182e-118) (-9.522397262835923e-225) (-7.657369731461963e-48) (-3.270698751706161e-188) (-6.0962303766092635e-177) (-3.209883341564901e-63) (-9.69813739120607e-233) (3.886453446495856e-226) (-2.7669745435699463e-136) (-4.544311792634174e-109) (-6.928817568669185e-245) (1.3647312126963589e-241) (-5.706671768507402e-69) (1.9634075622729443e-119) (-8.558059242774545e-104) (-8.868882577476724e-77) (1.2693848904378586e-156) (2.2214686711075268e-29) (-5.197645799437957e-143) (9.183490762885058e-300) (-3.2460868237466383e-258) (-5.817872448465655e-129) (3.766141140504034e-82) (-5.68648229960214e-155) (1.2241308194118762e-69) (-2.2012434472498785e-60) (-3.616191074352052e-37) (7.534211658410033e-109) (-6.578629878313496e-147) (-1.9438850420696585e-202) (6.851296073165166e-260) (8.141446867262622e-131) (-2.3169126294330088e-225) (-1.697348611873036e-73) (-1.6329299998471457e-258) (-8.975364964893644e-122) (1.7963377190742854e-177) (-2.77437682891338e-88) (-4.430508009638048e-101) (3.2741104361983186e-88) (-1.8442254689297563e-280) (-5.589276063704757e-19) (-2.9297586638352515e-203) (-7.307854146508657e-245) (-6.270052397960629e-155) (-1.2462816419703266e-48) (6.6459065265571764e-102) (4.255568669769026e-105) (-3.4081502191743144e-116) (5.644095026687996e-60) (7.370532544181588e-18) (-2.1413830128989264e-54) (6.271487897429285e-16) (5.0472561349233467e-14) (1.3541607029647162e-12) (2.2220205482534037e-11) (2.647695068660539e-11) (0.00019712927961133578) (0.10988009230650758) (1200.3608975622287)) (exp 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 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 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 712302796504270036)) 1538653265.398 * [enter]simplify: Simplifying (sqrt (+ (exp x) 1)) 1538653265.399 * * [misc]simplify: iters left: 4 (5 enodes) 1538653265.400 * * [misc]simplify: iters left: 3 (8 enodes) 1538653265.401 * [exit]simplify: Simplified to (sqrt (+ (exp x) 1)) 1538653265.401 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1538653275.667 * * * * [misc]points: Filtering points with unrepresentable outputs 1538653275.669 * * * * [misc]points: Sampling 2048 additional inputs, on iter 1 have 5952 / 8000 1538653277.702 * * * * [misc]points: Filtering points with unrepresentable outputs 1538653277.703 * * * * [misc]points: Sampling 503 additional inputs, on iter 2 have 7497 / 8000 1538653278.734 * * * * [misc]points: Filtering points with unrepresentable outputs 1538653278.734 * * * * [misc]points: Sampling 128 additional inputs, on iter 3 have 7872 / 8000 1538653278.905 * * * * [misc]points: Filtering points with unrepresentable outputs 1538653278.906 * * * * [misc]points: Sampling 34 additional inputs, on iter 4 have 7966 / 8000 1538653278.944 * * * * [misc]points: Filtering points with unrepresentable outputs 1538653278.945 * * * * [misc]points: Sampling 6 additional inputs, on iter 5 have 7994 / 8000 1538653278.956 * * * * [misc]points: Filtering points with unrepresentable outputs 1538653278.956 * * * * [exit]points: Sampled 8000 points with exact outputs