1547631181.404 * [misc]progress: [Phase 1 of 3] Setting up. 1547631181.405 * * * [misc]progress: [1/2] Preparing points 1547631181.406 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1547631181.589 * * * * [misc]points: Filtering points with unrepresentable outputs 1547631181.591 * * * * [misc]points: Sampling 164 additional inputs, on iter 1 have 92 / 256 1547631181.641 * * * * [misc]points: Filtering points with unrepresentable outputs 1547631181.641 * * * * [misc]points: Sampling 104 additional inputs, on iter 2 have 152 / 256 1547631181.730 * * * * [misc]points: Filtering points with unrepresentable outputs 1547631181.730 * * * * [misc]points: Sampling 78 additional inputs, on iter 3 have 178 / 256 1547631181.759 * * * * [misc]points: Filtering points with unrepresentable outputs 1547631181.759 * * * * [misc]points: Sampling 55 additional inputs, on iter 4 have 201 / 256 1547631181.782 * * * * [misc]points: Filtering points with unrepresentable outputs 1547631181.782 * * * * [misc]points: Sampling 44 additional inputs, on iter 5 have 212 / 256 1547631181.791 * * * * [misc]points: Filtering points with unrepresentable outputs 1547631181.791 * * * * [misc]points: Sampling 33 additional inputs, on iter 6 have 223 / 256 1547631181.800 * * * * [misc]points: Filtering points with unrepresentable outputs 1547631181.800 * * * * [misc]points: Sampling 24 additional inputs, on iter 7 have 232 / 256 1547631181.806 * * * * [misc]points: Filtering points with unrepresentable outputs 1547631181.806 * * * * [misc]points: Sampling 19 additional inputs, on iter 8 have 237 / 256 1547631181.812 * * * * [misc]points: Filtering points with unrepresentable outputs 1547631181.812 * * * * [misc]points: Sampling 14 additional inputs, on iter 9 have 242 / 256 1547631181.816 * * * * [misc]points: Filtering points with unrepresentable outputs 1547631181.816 * * * * [misc]points: Sampling 10 additional inputs, on iter 10 have 246 / 256 1547631181.819 * * * * [misc]points: Filtering points with unrepresentable outputs 1547631181.819 * * * * [misc]points: Sampling 5 additional inputs, on iter 11 have 251 / 256 1547631181.822 * * * * [misc]points: Filtering points with unrepresentable outputs 1547631181.822 * * * * [misc]points: Sampling 4 additional inputs, on iter 12 have 253 / 256 1547631181.824 * * * * [misc]points: Filtering points with unrepresentable outputs 1547631181.824 * * * * [misc]points: Sampling 4 additional inputs, on iter 13 have 254 / 256 1547631181.827 * * * * [misc]points: Filtering points with unrepresentable outputs 1547631181.827 * * * * [exit]points: Sampled 256 points with exact outputs 1547631181.827 * * * [misc]progress: [2/2] Setting up program. 1547631181.862 * [misc]progress: [Phase 2 of 3] Improving. 1547631181.863 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate # 1547631181.864 * [enter]simplify: Simplifying (sqrt (/ (- (exp (* 2 x)) 1) (- (exp x) 1))) 1547631181.866 * * [misc]simplify: iters left: 6 (10 enodes) 1547631181.879 * * [misc]simplify: iters left: 5 (24 enodes) 1547631181.886 * * [misc]simplify: iters left: 4 (27 enodes) 1547631181.893 * * [misc]simplify: iters left: 3 (37 enodes) 1547631181.903 * * [misc]simplify: iters left: 2 (54 enodes) 1547631181.924 * * [misc]simplify: iters left: 1 (90 enodes) 1547631181.960 * [exit]simplify: Simplified to (sqrt (+ (exp x) 1)) 1547631181.961 * [misc]simplify: Simplified (2) to (λ (x) (sqrt (+ (exp x) 1))) 1547631182.008 * * [misc]progress: iteration 1 / 4 1547631182.008 * * * [misc]progress: picking best candidate 1547631182.012 * * * * [misc]pick: Picked # 1547631182.012 * * * [misc]progress: localizing error 1547631182.808 * * * [misc]progress: generating rewritten candidates 1547631182.808 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2) 1547631182.817 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 1) 1547631182.822 * * * [misc]progress: generating series expansions 1547631182.823 * * * * [misc]progress: [ 1 / 2 ] generating series at (2) 1547631182.827 * [misc]backup-simplify: Simplify (sqrt (+ (exp x) 1)) into (sqrt (+ (exp x) 1)) 1547631182.828 * [misc]approximate: Taking taylor expansion of (sqrt (+ (exp x) 1)) in (x) around 0 1547631182.829 * [misc]taylor: Taking taylor expansion of (sqrt (+ (exp x) 1)) in x 1547631182.829 * [misc]taylor: Taking taylor expansion of (+ (exp x) 1) in x 1547631182.829 * [misc]taylor: Taking taylor expansion of (exp x) in x 1547631182.829 * [misc]taylor: Taking taylor expansion of x in x 1547631182.829 * [misc]backup-simplify: Simplify 0 into 0 1547631182.829 * [misc]backup-simplify: Simplify 1 into 1 1547631182.829 * [misc]backup-simplify: Simplify (exp 0) into 1 1547631182.829 * [misc]taylor: Taking taylor expansion of 1 in x 1547631182.829 * [misc]backup-simplify: Simplify 1 into 1 1547631182.830 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1547631182.830 * [misc]backup-simplify: Simplify (sqrt 2) into (sqrt 2) 1547631182.832 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1547631182.832 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1547631182.834 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2)) 1547631182.834 * [misc]taylor: Taking taylor expansion of (sqrt (+ (exp x) 1)) in x 1547631182.834 * [misc]taylor: Taking taylor expansion of (+ (exp x) 1) in x 1547631182.834 * [misc]taylor: Taking taylor expansion of (exp x) in x 1547631182.834 * [misc]taylor: Taking taylor expansion of x in x 1547631182.834 * [misc]backup-simplify: Simplify 0 into 0 1547631182.834 * [misc]backup-simplify: Simplify 1 into 1 1547631182.834 * [misc]backup-simplify: Simplify (exp 0) into 1 1547631182.834 * [misc]taylor: Taking taylor expansion of 1 in x 1547631182.834 * [misc]backup-simplify: Simplify 1 into 1 1547631182.834 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1547631182.834 * [misc]backup-simplify: Simplify (sqrt 2) into (sqrt 2) 1547631182.836 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1547631182.836 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1547631182.837 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2)) 1547631182.838 * [misc]backup-simplify: Simplify (sqrt 2) into (sqrt 2) 1547631182.838 * [misc]backup-simplify: Simplify (/ 1/2 (sqrt 2)) into (/ 1/2 (sqrt 2)) 1547631182.841 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1547631182.841 * [misc]backup-simplify: Simplify (+ 1/2 0) into 1/2 1547631182.844 * [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))) 1547631182.847 * [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))) 1547631182.851 * [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)))) 1547631182.851 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1)) 1547631182.851 * [misc]approximate: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in (x) around 0 1547631182.851 * [misc]taylor: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in x 1547631182.851 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x 1547631182.851 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1547631182.851 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1547631182.851 * [misc]taylor: Taking taylor expansion of x in x 1547631182.851 * [misc]backup-simplify: Simplify 0 into 0 1547631182.851 * [misc]backup-simplify: Simplify 1 into 1 1547631182.851 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547631182.852 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1547631182.852 * [misc]taylor: Taking taylor expansion of 1 in x 1547631182.852 * [misc]backup-simplify: Simplify 1 into 1 1547631182.852 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1) 1547631182.852 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1)) 1547631182.852 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547631182.852 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1547631182.852 * [misc]taylor: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in x 1547631182.852 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x 1547631182.852 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1547631182.852 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1547631182.852 * [misc]taylor: Taking taylor expansion of x in x 1547631182.852 * [misc]backup-simplify: Simplify 0 into 0 1547631182.852 * [misc]backup-simplify: Simplify 1 into 1 1547631182.853 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547631182.853 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1547631182.853 * [misc]taylor: Taking taylor expansion of 1 in x 1547631182.853 * [misc]backup-simplify: Simplify 1 into 1 1547631182.853 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1) 1547631182.853 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1)) 1547631182.853 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547631182.853 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1547631182.854 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1)) 1547631182.854 * [misc]backup-simplify: Simplify 0 into 0 1547631182.854 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547631182.855 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1547631182.855 * [misc]backup-simplify: Simplify 0 into 0 1547631182.855 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547631182.855 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1547631182.856 * [misc]backup-simplify: Simplify 0 into 0 1547631182.856 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547631182.857 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1547631182.857 * [misc]backup-simplify: Simplify 0 into 0 1547631182.857 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547631182.858 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1547631182.858 * [misc]backup-simplify: Simplify 0 into 0 1547631182.858 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547631182.859 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1547631182.859 * [misc]backup-simplify: Simplify 0 into 0 1547631182.859 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ 1 (/ 1 x))) 1)) into (sqrt (+ (exp x) 1)) 1547631182.859 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ 1 (- x))) 1)) into (sqrt (+ (exp (/ -1 x)) 1)) 1547631182.859 * [misc]approximate: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in (x) around 0 1547631182.859 * [misc]taylor: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in x 1547631182.859 * [misc]taylor: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x 1547631182.859 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1547631182.859 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1547631182.860 * [misc]taylor: Taking taylor expansion of -1 in x 1547631182.860 * [misc]backup-simplify: Simplify -1 into -1 1547631182.860 * [misc]taylor: Taking taylor expansion of x in x 1547631182.860 * [misc]backup-simplify: Simplify 0 into 0 1547631182.860 * [misc]backup-simplify: Simplify 1 into 1 1547631182.860 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1547631182.860 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1547631182.860 * [misc]taylor: Taking taylor expansion of 1 in x 1547631182.860 * [misc]backup-simplify: Simplify 1 into 1 1547631182.860 * [misc]backup-simplify: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1) 1547631182.860 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1)) 1547631182.861 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547631182.861 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1547631182.861 * [misc]taylor: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in x 1547631182.861 * [misc]taylor: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x 1547631182.861 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1547631182.861 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1547631182.861 * [misc]taylor: Taking taylor expansion of -1 in x 1547631182.861 * [misc]backup-simplify: Simplify -1 into -1 1547631182.861 * [misc]taylor: Taking taylor expansion of x in x 1547631182.861 * [misc]backup-simplify: Simplify 0 into 0 1547631182.861 * [misc]backup-simplify: Simplify 1 into 1 1547631182.861 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1547631182.861 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1547631182.861 * [misc]taylor: Taking taylor expansion of 1 in x 1547631182.861 * [misc]backup-simplify: Simplify 1 into 1 1547631182.861 * [misc]backup-simplify: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1) 1547631182.861 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1)) 1547631182.862 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547631182.862 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1547631182.862 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1)) 1547631182.862 * [misc]backup-simplify: Simplify 0 into 0 1547631182.862 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547631182.863 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1547631182.863 * [misc]backup-simplify: Simplify 0 into 0 1547631182.863 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547631182.864 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1547631182.864 * [misc]backup-simplify: Simplify 0 into 0 1547631182.864 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547631182.865 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1547631182.865 * [misc]backup-simplify: Simplify 0 into 0 1547631182.865 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547631182.866 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1547631182.866 * [misc]backup-simplify: Simplify 0 into 0 1547631182.866 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547631182.867 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1547631182.867 * [misc]backup-simplify: Simplify 0 into 0 1547631182.867 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ -1 (/ 1 (- x)))) 1)) into (sqrt (+ (exp x) 1)) 1547631182.867 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 1) 1547631182.867 * [misc]backup-simplify: Simplify (+ (exp x) 1) into (+ (exp x) 1) 1547631182.867 * [misc]approximate: Taking taylor expansion of (+ (exp x) 1) in (x) around 0 1547631182.867 * [misc]taylor: Taking taylor expansion of (+ (exp x) 1) in x 1547631182.867 * [misc]taylor: Taking taylor expansion of (exp x) in x 1547631182.867 * [misc]taylor: Taking taylor expansion of x in x 1547631182.867 * [misc]backup-simplify: Simplify 0 into 0 1547631182.867 * [misc]backup-simplify: Simplify 1 into 1 1547631182.867 * [misc]backup-simplify: Simplify (exp 0) into 1 1547631182.868 * [misc]taylor: Taking taylor expansion of 1 in x 1547631182.868 * [misc]backup-simplify: Simplify 1 into 1 1547631182.868 * [misc]taylor: Taking taylor expansion of (+ (exp x) 1) in x 1547631182.868 * [misc]taylor: Taking taylor expansion of (exp x) in x 1547631182.868 * [misc]taylor: Taking taylor expansion of x in x 1547631182.868 * [misc]backup-simplify: Simplify 0 into 0 1547631182.868 * [misc]backup-simplify: Simplify 1 into 1 1547631182.868 * [misc]backup-simplify: Simplify (exp 0) into 1 1547631182.868 * [misc]taylor: Taking taylor expansion of 1 in x 1547631182.868 * [misc]backup-simplify: Simplify 1 into 1 1547631182.868 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1547631182.868 * [misc]backup-simplify: Simplify 2 into 2 1547631182.870 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1547631182.870 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1547631182.870 * [misc]backup-simplify: Simplify 1 into 1 1547631182.872 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1547631182.872 * [misc]backup-simplify: Simplify (+ 1/2 0) into 1/2 1547631182.872 * [misc]backup-simplify: Simplify 1/2 into 1/2 1547631182.873 * [misc]backup-simplify: Simplify (+ (* 1/2 (pow x 2)) (+ (* 1 x) 2)) into (+ x (+ (* 1/2 (pow x 2)) 2)) 1547631182.873 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1) 1547631182.873 * [misc]approximate: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in (x) around 0 1547631182.873 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x 1547631182.873 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1547631182.873 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1547631182.873 * [misc]taylor: Taking taylor expansion of x in x 1547631182.873 * [misc]backup-simplify: Simplify 0 into 0 1547631182.873 * [misc]backup-simplify: Simplify 1 into 1 1547631182.873 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547631182.873 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1547631182.873 * [misc]taylor: Taking taylor expansion of 1 in x 1547631182.873 * [misc]backup-simplify: Simplify 1 into 1 1547631182.873 * [misc]taylor: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x 1547631182.873 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1547631182.873 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1547631182.873 * [misc]taylor: Taking taylor expansion of x in x 1547631182.873 * [misc]backup-simplify: Simplify 0 into 0 1547631182.873 * [misc]backup-simplify: Simplify 1 into 1 1547631182.874 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547631182.874 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1547631182.874 * [misc]taylor: Taking taylor expansion of 1 in x 1547631182.874 * [misc]backup-simplify: Simplify 1 into 1 1547631182.874 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1) 1547631182.874 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1) 1547631182.874 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547631182.874 * [misc]backup-simplify: Simplify 0 into 0 1547631182.874 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547631182.874 * [misc]backup-simplify: Simplify 0 into 0 1547631182.875 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547631182.875 * [misc]backup-simplify: Simplify 0 into 0 1547631182.875 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547631182.875 * [misc]backup-simplify: Simplify 0 into 0 1547631182.875 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547631182.875 * [misc]backup-simplify: Simplify 0 into 0 1547631182.875 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547631182.875 * [misc]backup-simplify: Simplify 0 into 0 1547631182.875 * [misc]backup-simplify: Simplify (+ (exp (/ 1 (/ 1 x))) 1) into (+ (exp x) 1) 1547631182.876 * [misc]backup-simplify: Simplify (+ (exp (/ 1 (- x))) 1) into (+ (exp (/ -1 x)) 1) 1547631182.876 * [misc]approximate: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in (x) around 0 1547631182.876 * [misc]taylor: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x 1547631182.876 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1547631182.876 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1547631182.876 * [misc]taylor: Taking taylor expansion of -1 in x 1547631182.876 * [misc]backup-simplify: Simplify -1 into -1 1547631182.876 * [misc]taylor: Taking taylor expansion of x in x 1547631182.876 * [misc]backup-simplify: Simplify 0 into 0 1547631182.876 * [misc]backup-simplify: Simplify 1 into 1 1547631182.876 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1547631182.876 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1547631182.876 * [misc]taylor: Taking taylor expansion of 1 in x 1547631182.876 * [misc]backup-simplify: Simplify 1 into 1 1547631182.876 * [misc]taylor: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x 1547631182.876 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1547631182.876 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1547631182.876 * [misc]taylor: Taking taylor expansion of -1 in x 1547631182.876 * [misc]backup-simplify: Simplify -1 into -1 1547631182.876 * [misc]taylor: Taking taylor expansion of x in x 1547631182.876 * [misc]backup-simplify: Simplify 0 into 0 1547631182.876 * [misc]backup-simplify: Simplify 1 into 1 1547631182.876 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1547631182.877 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1547631182.877 * [misc]taylor: Taking taylor expansion of 1 in x 1547631182.877 * [misc]backup-simplify: Simplify 1 into 1 1547631182.877 * [misc]backup-simplify: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1) 1547631182.877 * [misc]backup-simplify: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1) 1547631182.877 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547631182.877 * [misc]backup-simplify: Simplify 0 into 0 1547631182.877 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547631182.877 * [misc]backup-simplify: Simplify 0 into 0 1547631182.877 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547631182.877 * [misc]backup-simplify: Simplify 0 into 0 1547631182.878 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547631182.878 * [misc]backup-simplify: Simplify 0 into 0 1547631182.878 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547631182.878 * [misc]backup-simplify: Simplify 0 into 0 1547631182.878 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547631182.878 * [misc]backup-simplify: Simplify 0 into 0 1547631182.878 * [misc]backup-simplify: Simplify (+ (exp (/ -1 (/ 1 (- x)))) 1) into (+ (exp x) 1) 1547631182.878 * * * [misc]progress: simplifying candidates 1547631182.878 * * * * [misc]progress: [ 1 / 37 ] simplifiying candidate # 1547631182.878 * * * * [misc]progress: [ 2 / 37 ] simplifiying candidate # 1547631182.878 * * * * [misc]progress: [ 3 / 37 ] simplifiying candidate # 1547631182.879 * * * * [misc]progress: [ 4 / 37 ] simplifiying candidate # 1547631182.879 * * * * [misc]progress: [ 5 / 37 ] simplifiying candidate # 1547631182.879 * * * * [misc]progress: [ 6 / 37 ] simplifiying candidate # 1547631182.879 * * * * [misc]progress: [ 7 / 37 ] simplifiying candidate # 1547631182.879 * * * * [misc]progress: [ 8 / 37 ] simplifiying candidate # 1547631182.879 * * * * [misc]progress: [ 9 / 37 ] simplifiying candidate # 1547631182.879 * [enter]simplify: Simplifying (sqrt (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1)))) 1547631182.879 * * [misc]simplify: iters left: 6 (7 enodes) 1547631182.882 * * [misc]simplify: iters left: 5 (11 enodes) 1547631182.885 * [exit]simplify: Simplified to (fabs (cbrt (+ (exp x) 1))) 1547631182.885 * [misc]simplify: Simplified (2 1) to (λ (x) (* (fabs (cbrt (+ (exp x) 1))) (sqrt (cbrt (+ (exp x) 1))))) 1547631182.885 * * * * [misc]progress: [ 10 / 37 ] simplifiying candidate # 1547631182.885 * [enter]simplify: Simplifying (sqrt (sqrt (+ (exp x) 1))) 1547631182.885 * * [misc]simplify: iters left: 5 (6 enodes) 1547631182.887 * * [misc]simplify: iters left: 4 (9 enodes) 1547631182.889 * [exit]simplify: Simplified to (sqrt (sqrt (+ (exp x) 1))) 1547631182.890 * [misc]simplify: Simplified (2 1) to (λ (x) (* (sqrt (sqrt (+ (exp x) 1))) (sqrt (sqrt (+ (exp x) 1))))) 1547631182.890 * * * * [misc]progress: [ 11 / 37 ] simplifiying candidate # 1547631182.890 * [enter]simplify: Simplifying (sqrt 1) 1547631182.890 * * [misc]simplify: iters left: 1 (2 enodes) 1547631182.891 * [exit]simplify: Simplified to 1 1547631182.891 * [misc]simplify: Simplified (2 1) to (λ (x) (* 1 (sqrt (+ (exp x) 1)))) 1547631182.891 * * * * [misc]progress: [ 12 / 37 ] simplifiying candidate # 1547631182.892 * [enter]simplify: Simplifying (sqrt (+ (pow (exp x) 3) (pow 1 3))) 1547631182.892 * * [misc]simplify: iters left: 5 (8 enodes) 1547631182.895 * * [misc]simplify: iters left: 4 (16 enodes) 1547631182.899 * * [misc]simplify: iters left: 3 (20 enodes) 1547631182.904 * * [misc]simplify: iters left: 2 (24 enodes) 1547631182.910 * [exit]simplify: Simplified to (sqrt (fma (exp x) (* (exp x) (exp x)) 1)) 1547631182.910 * [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)))))) 1547631182.910 * * * * [misc]progress: [ 13 / 37 ] simplifiying candidate # 1547631182.910 * [enter]simplify: Simplifying (sqrt (- (* (exp x) (exp x)) (* 1 1))) 1547631182.910 * * [misc]simplify: iters left: 6 (7 enodes) 1547631182.914 * * [misc]simplify: iters left: 5 (16 enodes) 1547631182.918 * * [misc]simplify: iters left: 4 (24 enodes) 1547631182.923 * * [misc]simplify: iters left: 3 (28 enodes) 1547631182.928 * * [misc]simplify: iters left: 2 (44 enodes) 1547631182.947 * * [misc]simplify: iters left: 1 (75 enodes) 1547631182.985 * [exit]simplify: Simplified to (sqrt (expm1 (+ x x))) 1547631182.985 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (sqrt (expm1 (+ x x))) (sqrt (- (exp x) 1)))) 1547631182.985 * * * * [misc]progress: [ 14 / 37 ] simplifiying candidate # 1547631182.985 * * * * [misc]progress: [ 15 / 37 ] simplifiying candidate # 1547631182.985 * [enter]simplify: Simplifying (sqrt (+ (exp x) 1)) 1547631182.985 * * [misc]simplify: iters left: 4 (5 enodes) 1547631182.987 * * [misc]simplify: iters left: 3 (8 enodes) 1547631182.989 * [exit]simplify: Simplified to (sqrt (+ (exp x) 1)) 1547631182.989 * [misc]simplify: Simplified (2 1) to (λ (x) (fabs (sqrt (+ (exp x) 1)))) 1547631182.989 * * * * [misc]progress: [ 16 / 37 ] simplifiying candidate # 1547631182.989 * * * * [misc]progress: [ 17 / 37 ] simplifiying candidate # 1547631182.989 * * * * [misc]progress: [ 18 / 37 ] simplifiying candidate # 1547631182.989 * * * * [misc]progress: [ 19 / 37 ] simplifiying candidate # 1547631182.990 * [enter]simplify: Simplifying (* (cbrt (exp x)) (cbrt (exp x))) 1547631182.990 * * [misc]simplify: iters left: 4 (4 enodes) 1547631182.991 * [exit]simplify: Simplified to (* (cbrt (exp x)) (cbrt (exp x))) 1547631182.991 * [misc]simplify: Simplified (2 1 1) to (λ (x) (sqrt (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) 1))) 1547631182.991 * * * * [misc]progress: [ 20 / 37 ] simplifiying candidate # 1547631182.991 * [enter]simplify: Simplifying (sqrt (exp x)) 1547631182.991 * * [misc]simplify: iters left: 2 (3 enodes) 1547631182.992 * [exit]simplify: Simplified to (sqrt (exp x)) 1547631182.992 * [misc]simplify: Simplified (2 1 1) to (λ (x) (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) 1))) 1547631182.992 * * * * [misc]progress: [ 21 / 37 ] simplifiying candidate # 1547631182.992 * * * * [misc]progress: [ 22 / 37 ] simplifiying candidate # 1547631182.992 * * * * [misc]progress: [ 23 / 37 ] simplifiying candidate # 1547631182.992 * * * * [misc]progress: [ 24 / 37 ] simplifiying candidate # 1547631182.992 * * * * [misc]progress: [ 25 / 37 ] simplifiying candidate # 1547631182.992 * * * * [misc]progress: [ 26 / 37 ] simplifiying candidate # 1547631182.992 * * * * [misc]progress: [ 27 / 37 ] simplifiying candidate # 1547631182.993 * * * * [misc]progress: [ 28 / 37 ] simplifiying candidate # 1547631182.993 * * * * [misc]progress: [ 29 / 37 ] simplifiying candidate # 1547631182.993 * * * * [misc]progress: [ 30 / 37 ] simplifiying candidate # 1547631182.993 * * * * [misc]progress: [ 31 / 37 ] simplifiying candidate # 1547631182.993 * * * * [misc]progress: [ 32 / 37 ] simplifiying candidate # 1547631182.993 * [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)))) 1547631182.993 * * [misc]simplify: iters left: 6 (18 enodes) 1547631182.998 * * [misc]simplify: iters left: 5 (40 enodes) 1547631183.007 * * [misc]simplify: iters left: 4 (111 enodes) 1547631183.028 * * [misc]simplify: iters left: 3 (276 enodes) 1547631183.124 * [exit]simplify: Simplified to (+ (* (/ (* x x) (sqrt 2)) 3/16) (fma 1/2 (/ x (sqrt 2)) (sqrt 2))) 1547631183.124 * [misc]simplify: Simplified (2) to (λ (x) (+ (* (/ (* x x) (sqrt 2)) 3/16) (fma 1/2 (/ x (sqrt 2)) (sqrt 2)))) 1547631183.124 * * * * [misc]progress: [ 33 / 37 ] simplifiying candidate # 1547631183.125 * [enter]simplify: Simplifying (sqrt (+ (exp x) 1)) 1547631183.125 * * [misc]simplify: iters left: 4 (5 enodes) 1547631183.125 * * [misc]simplify: iters left: 3 (8 enodes) 1547631183.126 * [exit]simplify: Simplified to (sqrt (+ (exp x) 1)) 1547631183.126 * [misc]simplify: Simplified (2) to (λ (x) (sqrt (+ (exp x) 1))) 1547631183.126 * * * * [misc]progress: [ 34 / 37 ] simplifiying candidate # 1547631183.127 * [enter]simplify: Simplifying (sqrt (+ (exp x) 1)) 1547631183.127 * * [misc]simplify: iters left: 4 (5 enodes) 1547631183.127 * * [misc]simplify: iters left: 3 (8 enodes) 1547631183.128 * [exit]simplify: Simplified to (sqrt (+ (exp x) 1)) 1547631183.128 * [misc]simplify: Simplified (2) to (λ (x) (sqrt (+ (exp x) 1))) 1547631183.128 * * * * [misc]progress: [ 35 / 37 ] simplifiying candidate # 1547631183.129 * [enter]simplify: Simplifying (+ x (+ (* 1/2 (pow x 2)) 2)) 1547631183.129 * * [misc]simplify: iters left: 6 (7 enodes) 1547631183.130 * * [misc]simplify: iters left: 5 (14 enodes) 1547631183.135 * * [misc]simplify: iters left: 4 (25 enodes) 1547631183.138 * * [misc]simplify: iters left: 3 (39 enodes) 1547631183.143 * * [misc]simplify: iters left: 2 (46 enodes) 1547631183.148 * * [misc]simplify: iters left: 1 (52 enodes) 1547631183.164 * [exit]simplify: Simplified to (fma (fma x 1/2 1) x 2) 1547631183.164 * [misc]simplify: Simplified (2 1) to (λ (x) (sqrt (fma (fma x 1/2 1) x 2))) 1547631183.164 * * * * [misc]progress: [ 36 / 37 ] simplifiying candidate # 1547631183.164 * [enter]simplify: Simplifying (+ (exp x) 1) 1547631183.164 * * [misc]simplify: iters left: 3 (4 enodes) 1547631183.165 * * [misc]simplify: iters left: 2 (7 enodes) 1547631183.167 * [exit]simplify: Simplified to (+ (exp x) 1) 1547631183.167 * [misc]simplify: Simplified (2 1) to (λ (x) (sqrt (+ (exp x) 1))) 1547631183.167 * * * * [misc]progress: [ 37 / 37 ] simplifiying candidate # 1547631183.167 * [enter]simplify: Simplifying (+ (exp x) 1) 1547631183.168 * * [misc]simplify: iters left: 3 (4 enodes) 1547631183.169 * * [misc]simplify: iters left: 2 (7 enodes) 1547631183.171 * [exit]simplify: Simplified to (+ (exp x) 1) 1547631183.171 * [misc]simplify: Simplified (2 1) to (λ (x) (sqrt (+ (exp x) 1))) 1547631183.171 * * * [misc]progress: adding candidates to table 1547631183.463 * * [misc]progress: iteration 2 / 4 1547631183.463 * * * [misc]progress: picking best candidate 1547631183.465 * * * * [misc]pick: Picked # 1547631183.465 * * * [misc]progress: localizing error 1547631183.473 * * * [misc]progress: generating rewritten candidates 1547631183.474 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1) 1547631183.474 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2) 1547631183.475 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 2) 1547631183.475 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 1) 1547631183.476 * * * [misc]progress: generating series expansions 1547631183.476 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1) 1547631183.477 * [misc]backup-simplify: Simplify (fma (sqrt (exp x)) (sqrt (exp x)) 1) into (fma (sqrt (exp x)) (sqrt (exp x)) 1) 1547631183.477 * [misc]approximate: Taking taylor expansion of (fma (sqrt (exp x)) (sqrt (exp x)) 1) in (x) around 0 1547631183.477 * [misc]taylor: Taking taylor expansion of (fma (sqrt (exp x)) (sqrt (exp x)) 1) in x 1547631183.478 * [misc]taylor: Rewrote expression to (+ (* (sqrt (exp x)) (sqrt (exp x))) 1) 1547631183.478 * [misc]taylor: Taking taylor expansion of (* (sqrt (exp x)) (sqrt (exp x))) in x 1547631183.478 * [misc]taylor: Taking taylor expansion of (sqrt (exp x)) in x 1547631183.478 * [misc]taylor: Taking taylor expansion of (exp x) in x 1547631183.478 * [misc]taylor: Taking taylor expansion of x in x 1547631183.478 * [misc]backup-simplify: Simplify 0 into 0 1547631183.478 * [misc]backup-simplify: Simplify 1 into 1 1547631183.478 * [misc]backup-simplify: Simplify (exp 0) into 1 1547631183.478 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1547631183.479 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1547631183.480 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1547631183.480 * [misc]taylor: Taking taylor expansion of (sqrt (exp x)) in x 1547631183.480 * [misc]taylor: Taking taylor expansion of (exp x) in x 1547631183.480 * [misc]taylor: Taking taylor expansion of x in x 1547631183.480 * [misc]backup-simplify: Simplify 0 into 0 1547631183.480 * [misc]backup-simplify: Simplify 1 into 1 1547631183.480 * [misc]backup-simplify: Simplify (exp 0) into 1 1547631183.480 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1547631183.481 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1547631183.481 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1547631183.481 * [misc]taylor: Taking taylor expansion of 1 in x 1547631183.481 * [misc]backup-simplify: Simplify 1 into 1 1547631183.481 * [misc]taylor: Taking taylor expansion of (fma (sqrt (exp x)) (sqrt (exp x)) 1) in x 1547631183.481 * [misc]taylor: Rewrote expression to (+ (* (sqrt (exp x)) (sqrt (exp x))) 1) 1547631183.481 * [misc]taylor: Taking taylor expansion of (* (sqrt (exp x)) (sqrt (exp x))) in x 1547631183.481 * [misc]taylor: Taking taylor expansion of (sqrt (exp x)) in x 1547631183.481 * [misc]taylor: Taking taylor expansion of (exp x) in x 1547631183.481 * [misc]taylor: Taking taylor expansion of x in x 1547631183.481 * [misc]backup-simplify: Simplify 0 into 0 1547631183.481 * [misc]backup-simplify: Simplify 1 into 1 1547631183.481 * [misc]backup-simplify: Simplify (exp 0) into 1 1547631183.481 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1547631183.482 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1547631183.482 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1547631183.482 * [misc]taylor: Taking taylor expansion of (sqrt (exp x)) in x 1547631183.482 * [misc]taylor: Taking taylor expansion of (exp x) in x 1547631183.482 * [misc]taylor: Taking taylor expansion of x in x 1547631183.482 * [misc]backup-simplify: Simplify 0 into 0 1547631183.482 * [misc]backup-simplify: Simplify 1 into 1 1547631183.482 * [misc]backup-simplify: Simplify (exp 0) into 1 1547631183.482 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1547631183.483 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1547631183.483 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1547631183.483 * [misc]taylor: Taking taylor expansion of 1 in x 1547631183.483 * [misc]backup-simplify: Simplify 1 into 1 1547631183.484 * [misc]backup-simplify: Simplify (* 1 1) into 1 1547631183.484 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1547631183.484 * [misc]backup-simplify: Simplify 2 into 2 1547631183.484 * [misc]backup-simplify: Simplify (+ (* 1 1/2) (* 1/2 1)) into 1 1547631183.484 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1547631183.484 * [misc]backup-simplify: Simplify 1 into 1 1547631183.486 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1547631183.488 * [misc]backup-simplify: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8 1547631183.490 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1547631183.491 * [misc]backup-simplify: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8 1547631183.491 * [misc]backup-simplify: Simplify (+ (* 1 1/8) (+ (* 1/2 1/2) (* 1/8 1))) into 1/2 1547631183.492 * [misc]backup-simplify: Simplify (+ 1/2 0) into 1/2 1547631183.492 * [misc]backup-simplify: Simplify 1/2 into 1/2 1547631183.492 * [misc]backup-simplify: Simplify (+ (* 1/2 (pow x 2)) (+ (* 1 x) 2)) into (+ x (+ (* 1/2 (pow x 2)) 2)) 1547631183.492 * [misc]backup-simplify: Simplify (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) 1) into (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) 1) 1547631183.492 * [misc]approximate: Taking taylor expansion of (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) 1) in (x) around 0 1547631183.492 * [misc]taylor: Taking taylor expansion of (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) 1) in x 1547631183.492 * [misc]taylor: Rewrote expression to (+ (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) 1) 1547631183.492 * [misc]taylor: Taking taylor expansion of (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) in x 1547631183.492 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 1547631183.492 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1547631183.492 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1547631183.492 * [misc]taylor: Taking taylor expansion of x in x 1547631183.492 * [misc]backup-simplify: Simplify 0 into 0 1547631183.492 * [misc]backup-simplify: Simplify 1 into 1 1547631183.493 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547631183.493 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1547631183.493 * [misc]backup-simplify: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 1547631183.493 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0 1547631183.493 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 1547631183.493 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1547631183.493 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1547631183.493 * [misc]taylor: Taking taylor expansion of x in x 1547631183.493 * [misc]backup-simplify: Simplify 0 into 0 1547631183.493 * [misc]backup-simplify: Simplify 1 into 1 1547631183.493 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547631183.493 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1547631183.493 * [misc]backup-simplify: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 1547631183.493 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0 1547631183.493 * [misc]taylor: Taking taylor expansion of 1 in x 1547631183.494 * [misc]backup-simplify: Simplify 1 into 1 1547631183.494 * [misc]taylor: Taking taylor expansion of (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) 1) in x 1547631183.494 * [misc]taylor: Rewrote expression to (+ (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) 1) 1547631183.494 * [misc]taylor: Taking taylor expansion of (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) in x 1547631183.494 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 1547631183.494 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1547631183.494 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1547631183.494 * [misc]taylor: Taking taylor expansion of x in x 1547631183.494 * [misc]backup-simplify: Simplify 0 into 0 1547631183.494 * [misc]backup-simplify: Simplify 1 into 1 1547631183.494 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547631183.494 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1547631183.494 * [misc]backup-simplify: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 1547631183.494 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0 1547631183.494 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 1547631183.494 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1547631183.494 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1547631183.494 * [misc]taylor: Taking taylor expansion of x in x 1547631183.494 * [misc]backup-simplify: Simplify 0 into 0 1547631183.494 * [misc]backup-simplify: Simplify 1 into 1 1547631183.495 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547631183.495 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1547631183.495 * [misc]backup-simplify: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 1547631183.495 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0 1547631183.495 * [misc]taylor: Taking taylor expansion of 1 in x 1547631183.495 * [misc]backup-simplify: Simplify 1 into 1 1547631183.495 * [misc]backup-simplify: Simplify (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) into (exp (/ 1 x)) 1547631183.495 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1) 1547631183.495 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1) 1547631183.495 * [misc]backup-simplify: Simplify (+ (* (sqrt (exp (/ 1 x))) 0) (* 0 (sqrt (exp (/ 1 x))))) into 0 1547631183.496 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547631183.496 * [misc]backup-simplify: Simplify 0 into 0 1547631183.497 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 x))))) into 0 1547631183.497 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 x))))) into 0 1547631183.498 * [misc]backup-simplify: Simplify (+ (* (sqrt (exp (/ 1 x))) 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 x)))))) into 0 1547631183.498 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547631183.498 * [misc]backup-simplify: Simplify 0 into 0 1547631183.498 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1547631183.499 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1547631183.499 * [misc]backup-simplify: Simplify (+ (* (sqrt (exp (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 x))))))) into 0 1547631183.499 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547631183.499 * [misc]backup-simplify: Simplify 0 into 0 1547631183.500 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1547631183.501 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1547631183.502 * [misc]backup-simplify: Simplify (+ (* (sqrt (exp (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 x)))))))) into 0 1547631183.502 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547631183.502 * [misc]backup-simplify: Simplify 0 into 0 1547631183.502 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1547631183.503 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1547631183.503 * [misc]backup-simplify: Simplify (+ (* (sqrt (exp (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 x))))))))) into 0 1547631183.504 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547631183.504 * [misc]backup-simplify: Simplify 0 into 0 1547631183.505 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1547631183.505 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1547631183.506 * [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 1547631183.506 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547631183.507 * [misc]backup-simplify: Simplify 0 into 0 1547631183.507 * [misc]backup-simplify: Simplify (+ (exp (/ 1 (/ 1 x))) 1) into (+ (exp x) 1) 1547631183.507 * [misc]backup-simplify: Simplify (fma (sqrt (exp (/ 1 (- x)))) (sqrt (exp (/ 1 (- x)))) 1) into (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) 1) 1547631183.507 * [misc]approximate: Taking taylor expansion of (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) 1) in (x) around 0 1547631183.507 * [misc]taylor: Taking taylor expansion of (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) 1) in x 1547631183.507 * [misc]taylor: Rewrote expression to (+ (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) 1) 1547631183.507 * [misc]taylor: Taking taylor expansion of (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) in x 1547631183.507 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 1547631183.507 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1547631183.507 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1547631183.507 * [misc]taylor: Taking taylor expansion of -1 in x 1547631183.507 * [misc]backup-simplify: Simplify -1 into -1 1547631183.507 * [misc]taylor: Taking taylor expansion of x in x 1547631183.507 * [misc]backup-simplify: Simplify 0 into 0 1547631183.507 * [misc]backup-simplify: Simplify 1 into 1 1547631183.507 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1547631183.507 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1547631183.508 * [misc]backup-simplify: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 1547631183.508 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0 1547631183.508 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 1547631183.508 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1547631183.508 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1547631183.508 * [misc]taylor: Taking taylor expansion of -1 in x 1547631183.508 * [misc]backup-simplify: Simplify -1 into -1 1547631183.508 * [misc]taylor: Taking taylor expansion of x in x 1547631183.508 * [misc]backup-simplify: Simplify 0 into 0 1547631183.508 * [misc]backup-simplify: Simplify 1 into 1 1547631183.508 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1547631183.508 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1547631183.508 * [misc]backup-simplify: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 1547631183.508 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0 1547631183.508 * [misc]taylor: Taking taylor expansion of 1 in x 1547631183.508 * [misc]backup-simplify: Simplify 1 into 1 1547631183.508 * [misc]taylor: Taking taylor expansion of (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) 1) in x 1547631183.508 * [misc]taylor: Rewrote expression to (+ (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) 1) 1547631183.508 * [misc]taylor: Taking taylor expansion of (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) in x 1547631183.508 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 1547631183.509 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1547631183.509 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1547631183.509 * [misc]taylor: Taking taylor expansion of -1 in x 1547631183.509 * [misc]backup-simplify: Simplify -1 into -1 1547631183.509 * [misc]taylor: Taking taylor expansion of x in x 1547631183.509 * [misc]backup-simplify: Simplify 0 into 0 1547631183.509 * [misc]backup-simplify: Simplify 1 into 1 1547631183.509 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1547631183.509 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1547631183.509 * [misc]backup-simplify: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 1547631183.509 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0 1547631183.509 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 1547631183.509 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1547631183.509 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1547631183.509 * [misc]taylor: Taking taylor expansion of -1 in x 1547631183.509 * [misc]backup-simplify: Simplify -1 into -1 1547631183.509 * [misc]taylor: Taking taylor expansion of x in x 1547631183.509 * [misc]backup-simplify: Simplify 0 into 0 1547631183.509 * [misc]backup-simplify: Simplify 1 into 1 1547631183.509 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1547631183.509 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1547631183.510 * [misc]backup-simplify: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 1547631183.510 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0 1547631183.510 * [misc]taylor: Taking taylor expansion of 1 in x 1547631183.510 * [misc]backup-simplify: Simplify 1 into 1 1547631183.510 * [misc]backup-simplify: Simplify (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) into (exp (/ -1 x)) 1547631183.510 * [misc]backup-simplify: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1) 1547631183.510 * [misc]backup-simplify: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1) 1547631183.510 * [misc]backup-simplify: Simplify (+ (* (sqrt (exp (/ -1 x))) 0) (* 0 (sqrt (exp (/ -1 x))))) into 0 1547631183.510 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547631183.511 * [misc]backup-simplify: Simplify 0 into 0 1547631183.511 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ -1 x))))) into 0 1547631183.512 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ -1 x))))) into 0 1547631183.513 * [misc]backup-simplify: Simplify (+ (* (sqrt (exp (/ -1 x))) 0) (+ (* 0 0) (* 0 (sqrt (exp (/ -1 x)))))) into 0 1547631183.513 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547631183.513 * [misc]backup-simplify: Simplify 0 into 0 1547631183.513 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1547631183.513 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1547631183.514 * [misc]backup-simplify: Simplify (+ (* (sqrt (exp (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ -1 x))))))) into 0 1547631183.514 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547631183.514 * [misc]backup-simplify: Simplify 0 into 0 1547631183.515 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1547631183.516 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1547631183.516 * [misc]backup-simplify: Simplify (+ (* (sqrt (exp (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ -1 x)))))))) into 0 1547631183.516 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547631183.516 * [misc]backup-simplify: Simplify 0 into 0 1547631183.517 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1547631183.517 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1547631183.518 * [misc]backup-simplify: Simplify (+ (* (sqrt (exp (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ -1 x))))))))) into 0 1547631183.518 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547631183.518 * [misc]backup-simplify: Simplify 0 into 0 1547631183.519 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1547631183.520 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1547631183.521 * [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 1547631183.521 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547631183.521 * [misc]backup-simplify: Simplify 0 into 0 1547631183.521 * [misc]backup-simplify: Simplify (+ (exp (/ -1 (/ 1 (- x)))) 1) into (+ (exp x) 1) 1547631183.521 * * * * [misc]progress: [ 2 / 4 ] generating series at (2) 1547631183.521 * [misc]backup-simplify: Simplify (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) 1)) into (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) 1)) 1547631183.521 * [misc]approximate: Taking taylor expansion of (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) 1)) in (x) around 0 1547631183.521 * [misc]taylor: Taking taylor expansion of (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) 1)) in x 1547631183.522 * [misc]taylor: Taking taylor expansion of (fma (sqrt (exp x)) (sqrt (exp x)) 1) in x 1547631183.522 * [misc]taylor: Rewrote expression to (+ (* (sqrt (exp x)) (sqrt (exp x))) 1) 1547631183.522 * [misc]taylor: Taking taylor expansion of (* (sqrt (exp x)) (sqrt (exp x))) in x 1547631183.522 * [misc]taylor: Taking taylor expansion of (sqrt (exp x)) in x 1547631183.522 * [misc]taylor: Taking taylor expansion of (exp x) in x 1547631183.522 * [misc]taylor: Taking taylor expansion of x in x 1547631183.522 * [misc]backup-simplify: Simplify 0 into 0 1547631183.522 * [misc]backup-simplify: Simplify 1 into 1 1547631183.522 * [misc]backup-simplify: Simplify (exp 0) into 1 1547631183.522 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1547631183.523 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1547631183.524 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1547631183.524 * [misc]taylor: Taking taylor expansion of (sqrt (exp x)) in x 1547631183.524 * [misc]taylor: Taking taylor expansion of (exp x) in x 1547631183.524 * [misc]taylor: Taking taylor expansion of x in x 1547631183.524 * [misc]backup-simplify: Simplify 0 into 0 1547631183.524 * [misc]backup-simplify: Simplify 1 into 1 1547631183.524 * [misc]backup-simplify: Simplify (exp 0) into 1 1547631183.524 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1547631183.525 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1547631183.525 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1547631183.525 * [misc]taylor: Taking taylor expansion of 1 in x 1547631183.525 * [misc]backup-simplify: Simplify 1 into 1 1547631183.526 * [misc]backup-simplify: Simplify (* 1 1) into 1 1547631183.526 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1547631183.526 * [misc]backup-simplify: Simplify (sqrt 2) into (sqrt 2) 1547631183.526 * [misc]backup-simplify: Simplify (+ (* 1 1/2) (* 1/2 1)) into 1 1547631183.526 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1547631183.527 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2)) 1547631183.527 * [misc]taylor: Taking taylor expansion of (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) 1)) in x 1547631183.527 * [misc]taylor: Taking taylor expansion of (fma (sqrt (exp x)) (sqrt (exp x)) 1) in x 1547631183.527 * [misc]taylor: Rewrote expression to (+ (* (sqrt (exp x)) (sqrt (exp x))) 1) 1547631183.527 * [misc]taylor: Taking taylor expansion of (* (sqrt (exp x)) (sqrt (exp x))) in x 1547631183.527 * [misc]taylor: Taking taylor expansion of (sqrt (exp x)) in x 1547631183.527 * [misc]taylor: Taking taylor expansion of (exp x) in x 1547631183.527 * [misc]taylor: Taking taylor expansion of x in x 1547631183.527 * [misc]backup-simplify: Simplify 0 into 0 1547631183.527 * [misc]backup-simplify: Simplify 1 into 1 1547631183.527 * [misc]backup-simplify: Simplify (exp 0) into 1 1547631183.527 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1547631183.529 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1547631183.529 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1547631183.529 * [misc]taylor: Taking taylor expansion of (sqrt (exp x)) in x 1547631183.529 * [misc]taylor: Taking taylor expansion of (exp x) in x 1547631183.529 * [misc]taylor: Taking taylor expansion of x in x 1547631183.529 * [misc]backup-simplify: Simplify 0 into 0 1547631183.529 * [misc]backup-simplify: Simplify 1 into 1 1547631183.529 * [misc]backup-simplify: Simplify (exp 0) into 1 1547631183.529 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1547631183.531 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1547631183.531 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1547631183.531 * [misc]taylor: Taking taylor expansion of 1 in x 1547631183.531 * [misc]backup-simplify: Simplify 1 into 1 1547631183.531 * [misc]backup-simplify: Simplify (* 1 1) into 1 1547631183.531 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1547631183.531 * [misc]backup-simplify: Simplify (sqrt 2) into (sqrt 2) 1547631183.532 * [misc]backup-simplify: Simplify (+ (* 1 1/2) (* 1/2 1)) into 1 1547631183.532 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1547631183.532 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2)) 1547631183.532 * [misc]backup-simplify: Simplify (sqrt 2) into (sqrt 2) 1547631183.533 * [misc]backup-simplify: Simplify (/ 1/2 (sqrt 2)) into (/ 1/2 (sqrt 2)) 1547631183.535 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1547631183.536 * [misc]backup-simplify: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8 1547631183.538 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1547631183.539 * [misc]backup-simplify: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8 1547631183.540 * [misc]backup-simplify: Simplify (+ (* 1 1/8) (+ (* 1/2 1/2) (* 1/8 1))) into 1/2 1547631183.540 * [misc]backup-simplify: Simplify (+ 1/2 0) into 1/2 1547631183.542 * [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))) 1547631183.544 * [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))) 1547631183.547 * [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)))) 1547631183.547 * [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)) 1547631183.547 * [misc]approximate: Taking taylor expansion of (sqrt (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) 1)) in (x) around 0 1547631183.547 * [misc]taylor: Taking taylor expansion of (sqrt (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) 1)) in x 1547631183.547 * [misc]taylor: Taking taylor expansion of (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) 1) in x 1547631183.548 * [misc]taylor: Rewrote expression to (+ (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) 1) 1547631183.548 * [misc]taylor: Taking taylor expansion of (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) in x 1547631183.548 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 1547631183.548 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1547631183.548 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1547631183.548 * [misc]taylor: Taking taylor expansion of x in x 1547631183.548 * [misc]backup-simplify: Simplify 0 into 0 1547631183.548 * [misc]backup-simplify: Simplify 1 into 1 1547631183.548 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547631183.548 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1547631183.548 * [misc]backup-simplify: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 1547631183.548 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0 1547631183.548 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 1547631183.548 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1547631183.548 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1547631183.548 * [misc]taylor: Taking taylor expansion of x in x 1547631183.548 * [misc]backup-simplify: Simplify 0 into 0 1547631183.548 * [misc]backup-simplify: Simplify 1 into 1 1547631183.549 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547631183.549 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1547631183.549 * [misc]backup-simplify: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 1547631183.549 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0 1547631183.549 * [misc]taylor: Taking taylor expansion of 1 in x 1547631183.549 * [misc]backup-simplify: Simplify 1 into 1 1547631183.549 * [misc]backup-simplify: Simplify (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) into (exp (/ 1 x)) 1547631183.549 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1) 1547631183.549 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1)) 1547631183.549 * [misc]backup-simplify: Simplify (+ (* (sqrt (exp (/ 1 x))) 0) (* 0 (sqrt (exp (/ 1 x))))) into 0 1547631183.550 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547631183.550 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1547631183.550 * [misc]taylor: Taking taylor expansion of (sqrt (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) 1)) in x 1547631183.550 * [misc]taylor: Taking taylor expansion of (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) 1) in x 1547631183.550 * [misc]taylor: Rewrote expression to (+ (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) 1) 1547631183.550 * [misc]taylor: Taking taylor expansion of (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) in x 1547631183.550 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 1547631183.550 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1547631183.550 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1547631183.550 * [misc]taylor: Taking taylor expansion of x in x 1547631183.550 * [misc]backup-simplify: Simplify 0 into 0 1547631183.550 * [misc]backup-simplify: Simplify 1 into 1 1547631183.550 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547631183.550 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1547631183.550 * [misc]backup-simplify: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 1547631183.551 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0 1547631183.551 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 1547631183.551 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1547631183.551 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1547631183.551 * [misc]taylor: Taking taylor expansion of x in x 1547631183.551 * [misc]backup-simplify: Simplify 0 into 0 1547631183.551 * [misc]backup-simplify: Simplify 1 into 1 1547631183.551 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547631183.551 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1547631183.551 * [misc]backup-simplify: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 1547631183.551 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0 1547631183.551 * [misc]taylor: Taking taylor expansion of 1 in x 1547631183.551 * [misc]backup-simplify: Simplify 1 into 1 1547631183.551 * [misc]backup-simplify: Simplify (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) into (exp (/ 1 x)) 1547631183.551 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1) 1547631183.552 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1)) 1547631183.552 * [misc]backup-simplify: Simplify (+ (* (sqrt (exp (/ 1 x))) 0) (* 0 (sqrt (exp (/ 1 x))))) into 0 1547631183.552 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547631183.553 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1547631183.553 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1)) 1547631183.553 * [misc]backup-simplify: Simplify 0 into 0 1547631183.554 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 x))))) into 0 1547631183.555 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 x))))) into 0 1547631183.555 * [misc]backup-simplify: Simplify (+ (* (sqrt (exp (/ 1 x))) 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 x)))))) into 0 1547631183.555 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547631183.556 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1547631183.556 * [misc]backup-simplify: Simplify 0 into 0 1547631183.556 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1547631183.557 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1547631183.557 * [misc]backup-simplify: Simplify (+ (* (sqrt (exp (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 x))))))) into 0 1547631183.557 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547631183.558 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1547631183.558 * [misc]backup-simplify: Simplify 0 into 0 1547631183.559 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1547631183.560 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1547631183.560 * [misc]backup-simplify: Simplify (+ (* (sqrt (exp (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 x)))))))) into 0 1547631183.560 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547631183.561 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1547631183.561 * [misc]backup-simplify: Simplify 0 into 0 1547631183.562 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1547631183.562 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1547631183.563 * [misc]backup-simplify: Simplify (+ (* (sqrt (exp (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 x))))))))) into 0 1547631183.563 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547631183.564 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1547631183.564 * [misc]backup-simplify: Simplify 0 into 0 1547631183.565 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1547631183.566 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1547631183.567 * [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 1547631183.567 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547631183.568 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1547631183.568 * [misc]backup-simplify: Simplify 0 into 0 1547631183.568 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ 1 (/ 1 x))) 1)) into (sqrt (+ (exp x) 1)) 1547631183.568 * [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)) 1547631183.568 * [misc]approximate: Taking taylor expansion of (sqrt (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) 1)) in (x) around 0 1547631183.568 * [misc]taylor: Taking taylor expansion of (sqrt (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) 1)) in x 1547631183.568 * [misc]taylor: Taking taylor expansion of (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) 1) in x 1547631183.568 * [misc]taylor: Rewrote expression to (+ (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) 1) 1547631183.568 * [misc]taylor: Taking taylor expansion of (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) in x 1547631183.568 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 1547631183.568 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1547631183.568 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1547631183.569 * [misc]taylor: Taking taylor expansion of -1 in x 1547631183.569 * [misc]backup-simplify: Simplify -1 into -1 1547631183.569 * [misc]taylor: Taking taylor expansion of x in x 1547631183.569 * [misc]backup-simplify: Simplify 0 into 0 1547631183.569 * [misc]backup-simplify: Simplify 1 into 1 1547631183.569 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1547631183.569 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1547631183.569 * [misc]backup-simplify: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 1547631183.569 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0 1547631183.569 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 1547631183.569 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1547631183.569 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1547631183.569 * [misc]taylor: Taking taylor expansion of -1 in x 1547631183.569 * [misc]backup-simplify: Simplify -1 into -1 1547631183.569 * [misc]taylor: Taking taylor expansion of x in x 1547631183.569 * [misc]backup-simplify: Simplify 0 into 0 1547631183.569 * [misc]backup-simplify: Simplify 1 into 1 1547631183.569 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1547631183.569 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1547631183.570 * [misc]backup-simplify: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 1547631183.570 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0 1547631183.570 * [misc]taylor: Taking taylor expansion of 1 in x 1547631183.570 * [misc]backup-simplify: Simplify 1 into 1 1547631183.570 * [misc]backup-simplify: Simplify (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) into (exp (/ -1 x)) 1547631183.570 * [misc]backup-simplify: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1) 1547631183.570 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1)) 1547631183.570 * [misc]backup-simplify: Simplify (+ (* (sqrt (exp (/ -1 x))) 0) (* 0 (sqrt (exp (/ -1 x))))) into 0 1547631183.570 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547631183.571 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1547631183.571 * [misc]taylor: Taking taylor expansion of (sqrt (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) 1)) in x 1547631183.571 * [misc]taylor: Taking taylor expansion of (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) 1) in x 1547631183.571 * [misc]taylor: Rewrote expression to (+ (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) 1) 1547631183.571 * [misc]taylor: Taking taylor expansion of (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) in x 1547631183.571 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 1547631183.571 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1547631183.571 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1547631183.571 * [misc]taylor: Taking taylor expansion of -1 in x 1547631183.571 * [misc]backup-simplify: Simplify -1 into -1 1547631183.571 * [misc]taylor: Taking taylor expansion of x in x 1547631183.571 * [misc]backup-simplify: Simplify 0 into 0 1547631183.571 * [misc]backup-simplify: Simplify 1 into 1 1547631183.571 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1547631183.571 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1547631183.571 * [misc]backup-simplify: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 1547631183.571 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0 1547631183.571 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 1547631183.571 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1547631183.571 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1547631183.572 * [misc]taylor: Taking taylor expansion of -1 in x 1547631183.572 * [misc]backup-simplify: Simplify -1 into -1 1547631183.572 * [misc]taylor: Taking taylor expansion of x in x 1547631183.572 * [misc]backup-simplify: Simplify 0 into 0 1547631183.572 * [misc]backup-simplify: Simplify 1 into 1 1547631183.572 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1547631183.572 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1547631183.572 * [misc]backup-simplify: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 1547631183.572 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0 1547631183.572 * [misc]taylor: Taking taylor expansion of 1 in x 1547631183.572 * [misc]backup-simplify: Simplify 1 into 1 1547631183.572 * [misc]backup-simplify: Simplify (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) into (exp (/ -1 x)) 1547631183.572 * [misc]backup-simplify: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1) 1547631183.572 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1)) 1547631183.573 * [misc]backup-simplify: Simplify (+ (* (sqrt (exp (/ -1 x))) 0) (* 0 (sqrt (exp (/ -1 x))))) into 0 1547631183.573 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547631183.573 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1547631183.573 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1)) 1547631183.573 * [misc]backup-simplify: Simplify 0 into 0 1547631183.574 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ -1 x))))) into 0 1547631183.575 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ -1 x))))) into 0 1547631183.575 * [misc]backup-simplify: Simplify (+ (* (sqrt (exp (/ -1 x))) 0) (+ (* 0 0) (* 0 (sqrt (exp (/ -1 x)))))) into 0 1547631183.575 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547631183.576 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1547631183.576 * [misc]backup-simplify: Simplify 0 into 0 1547631183.576 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1547631183.576 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1547631183.577 * [misc]backup-simplify: Simplify (+ (* (sqrt (exp (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ -1 x))))))) into 0 1547631183.577 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547631183.577 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1547631183.577 * [misc]backup-simplify: Simplify 0 into 0 1547631183.578 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1547631183.579 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1547631183.580 * [misc]backup-simplify: Simplify (+ (* (sqrt (exp (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ -1 x)))))))) into 0 1547631183.580 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547631183.581 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1547631183.581 * [misc]backup-simplify: Simplify 0 into 0 1547631183.581 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1547631183.582 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1547631183.582 * [misc]backup-simplify: Simplify (+ (* (sqrt (exp (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ -1 x))))))))) into 0 1547631183.583 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547631183.583 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1547631183.583 * [misc]backup-simplify: Simplify 0 into 0 1547631183.584 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1547631183.585 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1547631183.586 * [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 1547631183.586 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547631183.587 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1547631183.587 * [misc]backup-simplify: Simplify 0 into 0 1547631183.593 * [misc]backup-simplify: Simplify (sqrt (+ (exp (/ -1 (/ 1 (- x)))) 1)) into (sqrt (+ (exp x) 1)) 1547631183.593 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 2) 1547631183.593 * [misc]backup-simplify: Simplify (sqrt (exp x)) into (sqrt (exp x)) 1547631183.594 * [misc]approximate: Taking taylor expansion of (sqrt (exp x)) in (x) around 0 1547631183.594 * [misc]taylor: Taking taylor expansion of (sqrt (exp x)) in x 1547631183.594 * [misc]taylor: Taking taylor expansion of (exp x) in x 1547631183.594 * [misc]taylor: Taking taylor expansion of x in x 1547631183.594 * [misc]backup-simplify: Simplify 0 into 0 1547631183.594 * [misc]backup-simplify: Simplify 1 into 1 1547631183.594 * [misc]backup-simplify: Simplify (exp 0) into 1 1547631183.594 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1547631183.596 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1547631183.596 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1547631183.596 * [misc]taylor: Taking taylor expansion of (sqrt (exp x)) in x 1547631183.596 * [misc]taylor: Taking taylor expansion of (exp x) in x 1547631183.596 * [misc]taylor: Taking taylor expansion of x in x 1547631183.596 * [misc]backup-simplify: Simplify 0 into 0 1547631183.596 * [misc]backup-simplify: Simplify 1 into 1 1547631183.596 * [misc]backup-simplify: Simplify (exp 0) into 1 1547631183.596 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1547631183.598 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1547631183.598 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1547631183.598 * [misc]backup-simplify: Simplify 1 into 1 1547631183.598 * [misc]backup-simplify: Simplify 1/2 into 1/2 1547631183.600 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1547631183.601 * [misc]backup-simplify: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8 1547631183.601 * [misc]backup-simplify: Simplify 1/8 into 1/8 1547631183.602 * [misc]backup-simplify: Simplify (+ (* 1/8 (pow x 2)) (+ (* 1/2 x) 1)) into (+ (* 1/2 x) (+ (* 1/8 (pow x 2)) 1)) 1547631183.602 * [misc]backup-simplify: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 1547631183.602 * [misc]approximate: Taking taylor expansion of (sqrt (exp (/ 1 x))) in (x) around 0 1547631183.602 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 1547631183.602 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1547631183.602 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1547631183.602 * [misc]taylor: Taking taylor expansion of x in x 1547631183.602 * [misc]backup-simplify: Simplify 0 into 0 1547631183.602 * [misc]backup-simplify: Simplify 1 into 1 1547631183.602 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547631183.602 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1547631183.602 * [misc]backup-simplify: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 1547631183.602 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0 1547631183.602 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 1547631183.602 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1547631183.602 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1547631183.602 * [misc]taylor: Taking taylor expansion of x in x 1547631183.602 * [misc]backup-simplify: Simplify 0 into 0 1547631183.602 * [misc]backup-simplify: Simplify 1 into 1 1547631183.603 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547631183.603 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1547631183.603 * [misc]backup-simplify: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 1547631183.603 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0 1547631183.603 * [misc]backup-simplify: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 1547631183.603 * [misc]backup-simplify: Simplify 0 into 0 1547631183.604 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 x))))) into 0 1547631183.604 * [misc]backup-simplify: Simplify 0 into 0 1547631183.604 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1547631183.604 * [misc]backup-simplify: Simplify 0 into 0 1547631183.605 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1547631183.605 * [misc]backup-simplify: Simplify 0 into 0 1547631183.606 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1547631183.606 * [misc]backup-simplify: Simplify 0 into 0 1547631183.607 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1547631183.607 * [misc]backup-simplify: Simplify 0 into 0 1547631183.607 * [misc]backup-simplify: Simplify (sqrt (exp (/ 1 (/ 1 x)))) into (sqrt (exp x)) 1547631183.607 * [misc]backup-simplify: Simplify (sqrt (exp (/ 1 (- x)))) into (sqrt (exp (/ -1 x))) 1547631183.607 * [misc]approximate: Taking taylor expansion of (sqrt (exp (/ -1 x))) in (x) around 0 1547631183.607 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 1547631183.607 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1547631183.607 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1547631183.607 * [misc]taylor: Taking taylor expansion of -1 in x 1547631183.607 * [misc]backup-simplify: Simplify -1 into -1 1547631183.607 * [misc]taylor: Taking taylor expansion of x in x 1547631183.607 * [misc]backup-simplify: Simplify 0 into 0 1547631183.607 * [misc]backup-simplify: Simplify 1 into 1 1547631183.607 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1547631183.608 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1547631183.608 * [misc]backup-simplify: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 1547631183.608 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0 1547631183.608 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 1547631183.608 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1547631183.608 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1547631183.608 * [misc]taylor: Taking taylor expansion of -1 in x 1547631183.608 * [misc]backup-simplify: Simplify -1 into -1 1547631183.608 * [misc]taylor: Taking taylor expansion of x in x 1547631183.608 * [misc]backup-simplify: Simplify 0 into 0 1547631183.608 * [misc]backup-simplify: Simplify 1 into 1 1547631183.608 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1547631183.608 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1547631183.608 * [misc]backup-simplify: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 1547631183.608 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0 1547631183.609 * [misc]backup-simplify: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 1547631183.609 * [misc]backup-simplify: Simplify 0 into 0 1547631183.609 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ -1 x))))) into 0 1547631183.610 * [misc]backup-simplify: Simplify 0 into 0 1547631183.610 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1547631183.610 * [misc]backup-simplify: Simplify 0 into 0 1547631183.611 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1547631183.611 * [misc]backup-simplify: Simplify 0 into 0 1547631183.611 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1547631183.611 * [misc]backup-simplify: Simplify 0 into 0 1547631183.612 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1547631183.612 * [misc]backup-simplify: Simplify 0 into 0 1547631183.613 * [misc]backup-simplify: Simplify (sqrt (exp (/ -1 (/ 1 (- x))))) into (sqrt (exp x)) 1547631183.613 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 1) 1547631183.613 * [misc]backup-simplify: Simplify (sqrt (exp x)) into (sqrt (exp x)) 1547631183.613 * [misc]approximate: Taking taylor expansion of (sqrt (exp x)) in (x) around 0 1547631183.613 * [misc]taylor: Taking taylor expansion of (sqrt (exp x)) in x 1547631183.613 * [misc]taylor: Taking taylor expansion of (exp x) in x 1547631183.613 * [misc]taylor: Taking taylor expansion of x in x 1547631183.613 * [misc]backup-simplify: Simplify 0 into 0 1547631183.613 * [misc]backup-simplify: Simplify 1 into 1 1547631183.613 * [misc]backup-simplify: Simplify (exp 0) into 1 1547631183.613 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1547631183.615 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1547631183.615 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1547631183.615 * [misc]taylor: Taking taylor expansion of (sqrt (exp x)) in x 1547631183.615 * [misc]taylor: Taking taylor expansion of (exp x) in x 1547631183.615 * [misc]taylor: Taking taylor expansion of x in x 1547631183.615 * [misc]backup-simplify: Simplify 0 into 0 1547631183.615 * [misc]backup-simplify: Simplify 1 into 1 1547631183.615 * [misc]backup-simplify: Simplify (exp 0) into 1 1547631183.615 * [misc]backup-simplify: Simplify (sqrt 1) into 1 1547631183.617 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1547631183.617 * [misc]backup-simplify: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1547631183.617 * [misc]backup-simplify: Simplify 1 into 1 1547631183.617 * [misc]backup-simplify: Simplify 1/2 into 1/2 1547631183.619 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1547631183.620 * [misc]backup-simplify: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8 1547631183.620 * [misc]backup-simplify: Simplify 1/8 into 1/8 1547631183.620 * [misc]backup-simplify: Simplify (+ (* 1/8 (pow x 2)) (+ (* 1/2 x) 1)) into (+ (* 1/2 x) (+ (* 1/8 (pow x 2)) 1)) 1547631183.620 * [misc]backup-simplify: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 1547631183.620 * [misc]approximate: Taking taylor expansion of (sqrt (exp (/ 1 x))) in (x) around 0 1547631183.620 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 1547631183.620 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1547631183.620 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1547631183.620 * [misc]taylor: Taking taylor expansion of x in x 1547631183.620 * [misc]backup-simplify: Simplify 0 into 0 1547631183.620 * [misc]backup-simplify: Simplify 1 into 1 1547631183.620 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547631183.620 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1547631183.620 * [misc]backup-simplify: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 1547631183.620 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0 1547631183.620 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 1547631183.620 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1547631183.620 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1547631183.620 * [misc]taylor: Taking taylor expansion of x in x 1547631183.620 * [misc]backup-simplify: Simplify 0 into 0 1547631183.620 * [misc]backup-simplify: Simplify 1 into 1 1547631183.621 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547631183.621 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1547631183.621 * [misc]backup-simplify: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 1547631183.621 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0 1547631183.621 * [misc]backup-simplify: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 1547631183.621 * [misc]backup-simplify: Simplify 0 into 0 1547631183.621 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 x))))) into 0 1547631183.621 * [misc]backup-simplify: Simplify 0 into 0 1547631183.622 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1547631183.622 * [misc]backup-simplify: Simplify 0 into 0 1547631183.622 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1547631183.622 * [misc]backup-simplify: Simplify 0 into 0 1547631183.622 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1547631183.622 * [misc]backup-simplify: Simplify 0 into 0 1547631183.623 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1547631183.623 * [misc]backup-simplify: Simplify 0 into 0 1547631183.623 * [misc]backup-simplify: Simplify (sqrt (exp (/ 1 (/ 1 x)))) into (sqrt (exp x)) 1547631183.623 * [misc]backup-simplify: Simplify (sqrt (exp (/ 1 (- x)))) into (sqrt (exp (/ -1 x))) 1547631183.623 * [misc]approximate: Taking taylor expansion of (sqrt (exp (/ -1 x))) in (x) around 0 1547631183.623 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 1547631183.623 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1547631183.623 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1547631183.623 * [misc]taylor: Taking taylor expansion of -1 in x 1547631183.623 * [misc]backup-simplify: Simplify -1 into -1 1547631183.623 * [misc]taylor: Taking taylor expansion of x in x 1547631183.623 * [misc]backup-simplify: Simplify 0 into 0 1547631183.623 * [misc]backup-simplify: Simplify 1 into 1 1547631183.624 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1547631183.624 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1547631183.624 * [misc]backup-simplify: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 1547631183.624 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0 1547631183.624 * [misc]taylor: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 1547631183.624 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1547631183.624 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1547631183.624 * [misc]taylor: Taking taylor expansion of -1 in x 1547631183.624 * [misc]backup-simplify: Simplify -1 into -1 1547631183.624 * [misc]taylor: Taking taylor expansion of x in x 1547631183.624 * [misc]backup-simplify: Simplify 0 into 0 1547631183.624 * [misc]backup-simplify: Simplify 1 into 1 1547631183.624 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1547631183.624 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1547631183.624 * [misc]backup-simplify: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 1547631183.624 * [misc]backup-simplify: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0 1547631183.624 * [misc]backup-simplify: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 1547631183.624 * [misc]backup-simplify: Simplify 0 into 0 1547631183.625 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ -1 x))))) into 0 1547631183.625 * [misc]backup-simplify: Simplify 0 into 0 1547631183.625 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1547631183.625 * [misc]backup-simplify: Simplify 0 into 0 1547631183.626 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1547631183.626 * [misc]backup-simplify: Simplify 0 into 0 1547631183.626 * [misc]backup-simplify: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1547631183.626 * [misc]backup-simplify: Simplify 0 into 0 1547631183.627 * [misc]backup-simplify: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1547631183.627 * [misc]backup-simplify: Simplify 0 into 0 1547631183.627 * [misc]backup-simplify: Simplify (sqrt (exp (/ -1 (/ 1 (- x))))) into (sqrt (exp x)) 1547631183.627 * * * [misc]progress: simplifying candidates 1547631183.627 * * * * [misc]progress: [ 1 / 64 ] simplifiying candidate # 1547631183.627 * * * * [misc]progress: [ 2 / 64 ] simplifiying candidate # 1547631183.627 * * * * [misc]progress: [ 3 / 64 ] simplifiying candidate # 1547631183.627 * * * * [misc]progress: [ 4 / 64 ] simplifiying candidate # 1547631183.627 * * * * [misc]progress: [ 5 / 64 ] simplifiying candidate # 1547631183.627 * * * * [misc]progress: [ 6 / 64 ] simplifiying candidate # 1547631183.627 * * * * [misc]progress: [ 7 / 64 ] simplifiying candidate # 1547631183.627 * * * * [misc]progress: [ 8 / 64 ] simplifiying candidate # 1547631183.627 * * * * [misc]progress: [ 9 / 64 ] simplifiying candidate # 1547631183.627 * * * * [misc]progress: [ 10 / 64 ] simplifiying candidate # 1547631183.627 * * * * [misc]progress: [ 11 / 64 ] simplifiying candidate # 1547631183.627 * * * * [misc]progress: [ 12 / 64 ] simplifiying candidate # 1547631183.627 * * * * [misc]progress: [ 13 / 64 ] simplifiying candidate # 1547631183.627 * * * * [misc]progress: [ 14 / 64 ] simplifiying candidate # 1547631183.627 * * * * [misc]progress: [ 15 / 64 ] simplifiying candidate # 1547631183.627 * * * * [misc]progress: [ 16 / 64 ] simplifiying candidate # 1547631183.627 * * * * [misc]progress: [ 17 / 64 ] simplifiying candidate # 1547631183.627 * * * * [misc]progress: [ 18 / 64 ] simplifiying candidate # 1547631183.627 * * * * [misc]progress: [ 19 / 64 ] simplifiying candidate # 1547631183.627 * [enter]simplify: Simplifying (sqrt (* (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) 1)) (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) 1)))) 1547631183.628 * * [misc]simplify: iters left: 6 (8 enodes) 1547631183.629 * * [misc]simplify: iters left: 5 (13 enodes) 1547631183.630 * * [misc]simplify: iters left: 4 (14 enodes) 1547631183.632 * * [misc]simplify: iters left: 3 (15 enodes) 1547631183.634 * [exit]simplify: Simplified to (fabs (cbrt (+ 1 (exp x)))) 1547631183.634 * [misc]simplify: Simplified (2 1) to (λ (x) (* (fabs (cbrt (+ 1 (exp x)))) (sqrt (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) 1))))) 1547631183.634 * * * * [misc]progress: [ 20 / 64 ] simplifiying candidate # 1547631183.634 * [enter]simplify: Simplifying (sqrt (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) 1))) 1547631183.634 * * [misc]simplify: iters left: 5 (7 enodes) 1547631183.635 * * [misc]simplify: iters left: 4 (11 enodes) 1547631183.636 * * [misc]simplify: iters left: 3 (12 enodes) 1547631183.638 * * [misc]simplify: iters left: 2 (14 enodes) 1547631183.639 * [exit]simplify: Simplified to (sqrt (sqrt (+ 1 (exp x)))) 1547631183.639 * [misc]simplify: Simplified (2 1) to (λ (x) (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) 1))))) 1547631183.639 * * * * [misc]progress: [ 21 / 64 ] simplifiying candidate # 1547631183.640 * [enter]simplify: Simplifying (sqrt 1) 1547631183.640 * * [misc]simplify: iters left: 1 (2 enodes) 1547631183.640 * [exit]simplify: Simplified to 1 1547631183.641 * [misc]simplify: Simplified (2 1) to (λ (x) (* 1 (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) 1)))) 1547631183.641 * * * * [misc]progress: [ 22 / 64 ] simplifiying candidate # 1547631183.641 * * * * [misc]progress: [ 23 / 64 ] simplifiying candidate # 1547631183.641 * [enter]simplify: Simplifying (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) 1)) 1547631183.641 * * [misc]simplify: iters left: 4 (6 enodes) 1547631183.642 * * [misc]simplify: iters left: 3 (10 enodes) 1547631183.643 * * [misc]simplify: iters left: 2 (11 enodes) 1547631183.644 * * [misc]simplify: iters left: 1 (13 enodes) 1547631183.646 * [exit]simplify: Simplified to (sqrt (+ 1 (exp x))) 1547631183.646 * [misc]simplify: Simplified (2 1) to (λ (x) (fabs (sqrt (+ 1 (exp x))))) 1547631183.646 * * * * [misc]progress: [ 24 / 64 ] simplifiying candidate # 1547631183.646 * * * * [misc]progress: [ 25 / 64 ] simplifiying candidate # 1547631183.646 * * * * [misc]progress: [ 26 / 64 ] simplifiying candidate # 1547631183.646 * * * * [misc]progress: [ 27 / 64 ] simplifiying candidate # 1547631183.646 * * * * [misc]progress: [ 28 / 64 ] simplifiying candidate # 1547631183.646 * * * * [misc]progress: [ 29 / 64 ] simplifiying candidate # 1547631183.646 * * * * [misc]progress: [ 30 / 64 ] simplifiying candidate # 1547631183.646 * * * * [misc]progress: [ 31 / 64 ] simplifiying candidate # 1547631183.646 * * * * [misc]progress: [ 32 / 64 ] simplifiying candidate # 1547631183.646 * * * * [misc]progress: [ 33 / 64 ] simplifiying candidate # 1547631183.647 * [enter]simplify: Simplifying (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) 1547631183.647 * * [misc]simplify: iters left: 5 (5 enodes) 1547631183.647 * * [misc]simplify: iters left: 4 (6 enodes) 1547631183.648 * [exit]simplify: Simplified to (fabs (cbrt (exp x))) 1547631183.648 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (sqrt (fma (sqrt (exp x)) (* (fabs (cbrt (exp x))) (sqrt (cbrt (exp x)))) 1))) 1547631183.648 * * * * [misc]progress: [ 34 / 64 ] simplifiying candidate # 1547631183.648 * [enter]simplify: Simplifying (sqrt (sqrt (exp x))) 1547631183.648 * * [misc]simplify: iters left: 3 (4 enodes) 1547631183.649 * [exit]simplify: Simplified to (sqrt (sqrt (exp x))) 1547631183.649 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (sqrt (fma (sqrt (exp x)) (* (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x)))) 1))) 1547631183.649 * * * * [misc]progress: [ 35 / 64 ] simplifiying candidate # 1547631183.649 * [enter]simplify: Simplifying (sqrt 1) 1547631183.649 * * [misc]simplify: iters left: 1 (2 enodes) 1547631183.650 * [exit]simplify: Simplified to 1 1547631183.650 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (sqrt (fma (sqrt (exp x)) (* 1 (sqrt (exp x))) 1))) 1547631183.650 * * * * [misc]progress: [ 36 / 64 ] simplifiying candidate # 1547631183.650 * * * * [misc]progress: [ 37 / 64 ] simplifiying candidate # 1547631183.650 * [enter]simplify: Simplifying (sqrt (exp x)) 1547631183.650 * * [misc]simplify: iters left: 2 (3 enodes) 1547631183.651 * [exit]simplify: Simplified to (sqrt (exp x)) 1547631183.651 * [misc]simplify: Simplified (2 1 2 1) to (λ (x) (sqrt (fma (sqrt (exp x)) (fabs (sqrt (exp x))) 1))) 1547631183.651 * * * * [misc]progress: [ 38 / 64 ] simplifiying candidate # 1547631183.651 * * * * [misc]progress: [ 39 / 64 ] simplifiying candidate # 1547631183.651 * * * * [misc]progress: [ 40 / 64 ] simplifiying candidate # 1547631183.651 * * * * [misc]progress: [ 41 / 64 ] simplifiying candidate # 1547631183.651 * * * * [misc]progress: [ 42 / 64 ] simplifiying candidate # 1547631183.651 * * * * [misc]progress: [ 43 / 64 ] simplifiying candidate # 1547631183.651 * * * * [misc]progress: [ 44 / 64 ] simplifiying candidate # 1547631183.651 * * * * [misc]progress: [ 45 / 64 ] simplifiying candidate # 1547631183.651 * * * * [misc]progress: [ 46 / 64 ] simplifiying candidate # 1547631183.651 * * * * [misc]progress: [ 47 / 64 ] simplifiying candidate # 1547631183.651 * [enter]simplify: Simplifying (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) 1547631183.651 * * [misc]simplify: iters left: 5 (5 enodes) 1547631183.652 * * [misc]simplify: iters left: 4 (6 enodes) 1547631183.653 * [exit]simplify: Simplified to (fabs (cbrt (exp x))) 1547631183.653 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (sqrt (fma (* (fabs (cbrt (exp x))) (sqrt (cbrt (exp x)))) (sqrt (exp x)) 1))) 1547631183.653 * * * * [misc]progress: [ 48 / 64 ] simplifiying candidate # 1547631183.653 * [enter]simplify: Simplifying (sqrt (sqrt (exp x))) 1547631183.653 * * [misc]simplify: iters left: 3 (4 enodes) 1547631183.654 * [exit]simplify: Simplified to (sqrt (sqrt (exp x))) 1547631183.654 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (sqrt (fma (* (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x)))) (sqrt (exp x)) 1))) 1547631183.654 * * * * [misc]progress: [ 49 / 64 ] simplifiying candidate # 1547631183.654 * [enter]simplify: Simplifying (sqrt 1) 1547631183.654 * * [misc]simplify: iters left: 1 (2 enodes) 1547631183.655 * [exit]simplify: Simplified to 1 1547631183.655 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (sqrt (fma (* 1 (sqrt (exp x))) (sqrt (exp x)) 1))) 1547631183.655 * * * * [misc]progress: [ 50 / 64 ] simplifiying candidate # 1547631183.655 * * * * [misc]progress: [ 51 / 64 ] simplifiying candidate # 1547631183.655 * [enter]simplify: Simplifying (sqrt (exp x)) 1547631183.655 * * [misc]simplify: iters left: 2 (3 enodes) 1547631183.656 * [exit]simplify: Simplified to (sqrt (exp x)) 1547631183.656 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (sqrt (fma (fabs (sqrt (exp x))) (sqrt (exp x)) 1))) 1547631183.656 * * * * [misc]progress: [ 52 / 64 ] simplifiying candidate # 1547631183.656 * * * * [misc]progress: [ 53 / 64 ] simplifiying candidate # 1547631183.656 * [enter]simplify: Simplifying (+ x (+ (* 1/2 (pow x 2)) 2)) 1547631183.656 * * [misc]simplify: iters left: 6 (7 enodes) 1547631183.657 * * [misc]simplify: iters left: 5 (14 enodes) 1547631183.659 * * [misc]simplify: iters left: 4 (25 enodes) 1547631183.663 * * [misc]simplify: iters left: 3 (39 enodes) 1547631183.668 * * [misc]simplify: iters left: 2 (46 enodes) 1547631183.673 * * [misc]simplify: iters left: 1 (52 enodes) 1547631183.685 * [exit]simplify: Simplified to (fma (fma x 1/2 1) x 2) 1547631183.685 * [misc]simplify: Simplified (2 1) to (λ (x) (sqrt (fma (fma x 1/2 1) x 2))) 1547631183.685 * * * * [misc]progress: [ 54 / 64 ] simplifiying candidate # 1547631183.685 * [enter]simplify: Simplifying (+ (exp x) 1) 1547631183.685 * * [misc]simplify: iters left: 3 (4 enodes) 1547631183.686 * * [misc]simplify: iters left: 2 (7 enodes) 1547631183.689 * [exit]simplify: Simplified to (+ (exp x) 1) 1547631183.690 * [misc]simplify: Simplified (2 1) to (λ (x) (sqrt (+ (exp x) 1))) 1547631183.690 * * * * [misc]progress: [ 55 / 64 ] simplifiying candidate # 1547631183.690 * [enter]simplify: Simplifying (+ (exp x) 1) 1547631183.690 * * [misc]simplify: iters left: 3 (4 enodes) 1547631183.691 * * [misc]simplify: iters left: 2 (7 enodes) 1547631183.693 * [exit]simplify: Simplified to (+ (exp x) 1) 1547631183.693 * [misc]simplify: Simplified (2 1) to (λ (x) (sqrt (+ (exp x) 1))) 1547631183.693 * * * * [misc]progress: [ 56 / 64 ] simplifiying candidate # 1547631183.693 * [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)))) 1547631183.693 * * [misc]simplify: iters left: 6 (18 enodes) 1547631183.699 * * [misc]simplify: iters left: 5 (40 enodes) 1547631183.713 * * [misc]simplify: iters left: 4 (111 enodes) 1547631183.744 * * [misc]simplify: iters left: 3 (276 enodes) 1547631183.835 * [exit]simplify: Simplified to (+ (* (/ (* x x) (sqrt 2)) 3/16) (fma 1/2 (/ x (sqrt 2)) (sqrt 2))) 1547631183.835 * [misc]simplify: Simplified (2) to (λ (x) (+ (* (/ (* x x) (sqrt 2)) 3/16) (fma 1/2 (/ x (sqrt 2)) (sqrt 2)))) 1547631183.835 * * * * [misc]progress: [ 57 / 64 ] simplifiying candidate # 1547631183.835 * [enter]simplify: Simplifying (sqrt (+ (exp x) 1)) 1547631183.835 * * [misc]simplify: iters left: 4 (5 enodes) 1547631183.836 * * [misc]simplify: iters left: 3 (8 enodes) 1547631183.837 * [exit]simplify: Simplified to (sqrt (+ (exp x) 1)) 1547631183.837 * [misc]simplify: Simplified (2) to (λ (x) (sqrt (+ (exp x) 1))) 1547631183.837 * * * * [misc]progress: [ 58 / 64 ] simplifiying candidate # 1547631183.838 * [enter]simplify: Simplifying (sqrt (+ (exp x) 1)) 1547631183.838 * * [misc]simplify: iters left: 4 (5 enodes) 1547631183.838 * * [misc]simplify: iters left: 3 (8 enodes) 1547631183.840 * [exit]simplify: Simplified to (sqrt (+ (exp x) 1)) 1547631183.840 * [misc]simplify: Simplified (2) to (λ (x) (sqrt (+ (exp x) 1))) 1547631183.840 * * * * [misc]progress: [ 59 / 64 ] simplifiying candidate # 1547631183.840 * [enter]simplify: Simplifying (+ (* 1/2 x) (+ (* 1/8 (pow x 2)) 1)) 1547631183.840 * * [misc]simplify: iters left: 6 (10 enodes) 1547631183.842 * * [misc]simplify: iters left: 5 (21 enodes) 1547631183.845 * * [misc]simplify: iters left: 4 (35 enodes) 1547631183.853 * * [misc]simplify: iters left: 3 (56 enodes) 1547631183.868 * * [misc]simplify: iters left: 2 (76 enodes) 1547631183.888 * * [misc]simplify: iters left: 1 (91 enodes) 1547631183.900 * [exit]simplify: Simplified to (fma x (fma x 1/8 1/2) 1) 1547631183.900 * [misc]simplify: Simplified (2 1 2) to (λ (x) (sqrt (fma (sqrt (exp x)) (fma x (fma x 1/8 1/2) 1) 1))) 1547631183.901 * * * * [misc]progress: [ 60 / 64 ] simplifiying candidate # 1547631183.901 * [enter]simplify: Simplifying (sqrt (exp x)) 1547631183.901 * * [misc]simplify: iters left: 2 (3 enodes) 1547631183.902 * [exit]simplify: Simplified to (sqrt (exp x)) 1547631183.902 * [misc]simplify: Simplified (2 1 2) to (λ (x) (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) 1))) 1547631183.902 * * * * [misc]progress: [ 61 / 64 ] simplifiying candidate # 1547631183.902 * [enter]simplify: Simplifying (sqrt (exp x)) 1547631183.902 * * [misc]simplify: iters left: 2 (3 enodes) 1547631183.903 * [exit]simplify: Simplified to (sqrt (exp x)) 1547631183.903 * [misc]simplify: Simplified (2 1 2) to (λ (x) (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) 1))) 1547631183.903 * * * * [misc]progress: [ 62 / 64 ] simplifiying candidate # 1547631183.903 * [enter]simplify: Simplifying (+ (* 1/2 x) (+ (* 1/8 (pow x 2)) 1)) 1547631183.903 * * [misc]simplify: iters left: 6 (10 enodes) 1547631183.907 * * [misc]simplify: iters left: 5 (21 enodes) 1547631183.913 * * [misc]simplify: iters left: 4 (35 enodes) 1547631183.924 * * [misc]simplify: iters left: 3 (56 enodes) 1547631183.937 * * [misc]simplify: iters left: 2 (76 enodes) 1547631183.958 * * [misc]simplify: iters left: 1 (91 enodes) 1547631183.970 * [exit]simplify: Simplified to (fma x (fma x 1/8 1/2) 1) 1547631183.970 * [misc]simplify: Simplified (2 1 1) to (λ (x) (sqrt (fma (fma x (fma x 1/8 1/2) 1) (sqrt (exp x)) 1))) 1547631183.970 * * * * [misc]progress: [ 63 / 64 ] simplifiying candidate # 1547631183.970 * [enter]simplify: Simplifying (sqrt (exp x)) 1547631183.970 * * [misc]simplify: iters left: 2 (3 enodes) 1547631183.971 * [exit]simplify: Simplified to (sqrt (exp x)) 1547631183.971 * [misc]simplify: Simplified (2 1 1) to (λ (x) (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) 1))) 1547631183.971 * * * * [misc]progress: [ 64 / 64 ] simplifiying candidate # 1547631183.972 * [enter]simplify: Simplifying (sqrt (exp x)) 1547631183.972 * * [misc]simplify: iters left: 2 (3 enodes) 1547631183.973 * [exit]simplify: Simplified to (sqrt (exp x)) 1547631183.973 * [misc]simplify: Simplified (2 1 1) to (λ (x) (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) 1))) 1547631183.973 * * * [misc]progress: adding candidates to table 1547631184.567 * [misc]progress: [Phase 3 of 3] Extracting. 1547631184.567 * * [misc]regime: Finding splitpoints for: (# #) 1547631184.568 * * * [misc]regime-changes: Trying 1 branch expressions: (x) 1547631184.569 * * * * [misc]regimes: Trying to branch on x from (# #) 1547631184.602 * * * [misc]regime: Found split indices: #