1547112093.049 * [misc]progress: [Phase 1 of 3] Setting up. 1547112093.049 * * * [misc]progress: [1/2] Preparing points 1547112093.049 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1547112093.108 * * * * [misc]points: Filtering points with unrepresentable outputs 1547112093.109 * * * * [misc]points: Sampling 88 additional inputs, on iter 1 have 168 / 256 1547112093.129 * * * * [misc]points: Filtering points with unrepresentable outputs 1547112093.129 * * * * [misc]points: Sampling 35 additional inputs, on iter 2 have 221 / 256 1547112093.137 * * * * [misc]points: Filtering points with unrepresentable outputs 1547112093.137 * * * * [misc]points: Sampling 18 additional inputs, on iter 3 have 238 / 256 1547112093.142 * * * * [misc]points: Filtering points with unrepresentable outputs 1547112093.142 * * * * [misc]points: Sampling 9 additional inputs, on iter 4 have 247 / 256 1547112093.155 * * * * [misc]points: Filtering points with unrepresentable outputs 1547112093.155 * * * * [misc]points: Sampling 5 additional inputs, on iter 5 have 251 / 256 1547112093.158 * * * * [misc]points: Filtering points with unrepresentable outputs 1547112093.158 * * * * [exit]points: Sampled 256 points with exact outputs 1547112093.158 * * * [misc]progress: [2/2] Setting up program. 1547112093.160 * [misc]progress: [Phase 2 of 3] Improving. 1547112093.160 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate # 1547112093.160 * [enter]simplify: Simplifying (- (exp x) 1) 1547112093.160 * * [misc]simplify: iters left: 3 (4 enodes) 1547112093.161 * * [misc]simplify: iters left: 2 (10 enodes) 1547112093.162 * [exit]simplify: Simplified to (expm1 x) 1547112093.163 * [misc]simplify: Simplified (2) to (λ (x) (expm1 x)) 1547112093.168 * * [misc]progress: iteration 1 / 4 1547112093.168 * * * [misc]progress: picking best candidate 1547112093.169 * * * * [misc]pick: Picked # 1547112093.169 * * * [misc]progress: localizing error 1547112093.172 * * * [misc]progress: generating rewritten candidates 1547112093.172 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1547112093.173 * * * [misc]progress: generating series expansions 1547112093.173 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1547112093.173 * [misc]backup-simplify: Simplify (expm1 x) into (expm1 x) 1547112093.173 * [misc]approximate: Taking taylor expansion of (expm1 x) in (x) around 0 1547112093.173 * [misc]taylor: Taking taylor expansion of (expm1 x) in x 1547112093.173 * [misc]taylor: Rewrote expression to (- (exp x) 1) 1547112093.173 * [misc]taylor: Taking taylor expansion of (exp x) in x 1547112093.173 * [misc]taylor: Taking taylor expansion of x in x 1547112093.173 * [misc]backup-simplify: Simplify 0 into 0 1547112093.173 * [misc]backup-simplify: Simplify 1 into 1 1547112093.173 * [misc]backup-simplify: Simplify (exp 0) into 1 1547112093.173 * [misc]taylor: Taking taylor expansion of 1 in x 1547112093.173 * [misc]backup-simplify: Simplify 1 into 1 1547112093.173 * [misc]taylor: Taking taylor expansion of (expm1 x) in x 1547112093.173 * [misc]taylor: Rewrote expression to (- (exp x) 1) 1547112093.173 * [misc]taylor: Taking taylor expansion of (exp x) in x 1547112093.173 * [misc]taylor: Taking taylor expansion of x in x 1547112093.173 * [misc]backup-simplify: Simplify 0 into 0 1547112093.173 * [misc]backup-simplify: Simplify 1 into 1 1547112093.173 * [misc]backup-simplify: Simplify (exp 0) into 1 1547112093.173 * [misc]taylor: Taking taylor expansion of 1 in x 1547112093.173 * [misc]backup-simplify: Simplify 1 into 1 1547112093.173 * [misc]backup-simplify: Simplify (- 1) into -1 1547112093.173 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1547112093.174 * [misc]backup-simplify: Simplify 0 into 0 1547112093.175 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1547112093.175 * [misc]backup-simplify: Simplify (- 0) into 0 1547112093.175 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1547112093.175 * [misc]backup-simplify: Simplify 1 into 1 1547112093.176 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1547112093.176 * [misc]backup-simplify: Simplify (- 0) into 0 1547112093.176 * [misc]backup-simplify: Simplify (+ 1/2 0) into 1/2 1547112093.176 * [misc]backup-simplify: Simplify 1/2 into 1/2 1547112093.179 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 1547112093.179 * [misc]backup-simplify: Simplify (- 0) into 0 1547112093.179 * [misc]backup-simplify: Simplify (+ 1/6 0) into 1/6 1547112093.179 * [misc]backup-simplify: Simplify 1/6 into 1/6 1547112093.179 * [misc]backup-simplify: Simplify (+ (* 1/6 (pow x 3)) (+ (* 1/2 (pow x 2)) (* 1 x))) into (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))) 1547112093.179 * [misc]backup-simplify: Simplify (expm1 (/ 1 x)) into (expm1 (/ 1 x)) 1547112093.179 * [misc]approximate: Taking taylor expansion of (expm1 (/ 1 x)) in (x) around 0 1547112093.179 * [misc]taylor: Taking taylor expansion of (expm1 (/ 1 x)) in x 1547112093.179 * [misc]taylor: Rewrote expression to (- (exp (/ 1 x)) 1) 1547112093.179 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1547112093.179 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1547112093.180 * [misc]taylor: Taking taylor expansion of x in x 1547112093.180 * [misc]backup-simplify: Simplify 0 into 0 1547112093.180 * [misc]backup-simplify: Simplify 1 into 1 1547112093.180 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547112093.180 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1547112093.180 * [misc]taylor: Taking taylor expansion of 1 in x 1547112093.180 * [misc]backup-simplify: Simplify 1 into 1 1547112093.180 * [misc]taylor: Taking taylor expansion of (expm1 (/ 1 x)) in x 1547112093.180 * [misc]taylor: Rewrote expression to (- (exp (/ 1 x)) 1) 1547112093.180 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1547112093.180 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1547112093.180 * [misc]taylor: Taking taylor expansion of x in x 1547112093.180 * [misc]backup-simplify: Simplify 0 into 0 1547112093.180 * [misc]backup-simplify: Simplify 1 into 1 1547112093.180 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547112093.180 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1547112093.180 * [misc]taylor: Taking taylor expansion of 1 in x 1547112093.180 * [misc]backup-simplify: Simplify 1 into 1 1547112093.180 * [misc]backup-simplify: Simplify (- 1) into -1 1547112093.180 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1) 1547112093.180 * [misc]backup-simplify: Simplify (- (exp (/ 1 x)) 1) into (- (exp (/ 1 x)) 1) 1547112093.180 * [misc]backup-simplify: Simplify (- 0) into 0 1547112093.181 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547112093.181 * [misc]backup-simplify: Simplify 0 into 0 1547112093.181 * [misc]backup-simplify: Simplify (- 0) into 0 1547112093.181 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547112093.181 * [misc]backup-simplify: Simplify 0 into 0 1547112093.181 * [misc]backup-simplify: Simplify (- 0) into 0 1547112093.181 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547112093.181 * [misc]backup-simplify: Simplify 0 into 0 1547112093.181 * [misc]backup-simplify: Simplify (- 0) into 0 1547112093.181 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547112093.181 * [misc]backup-simplify: Simplify 0 into 0 1547112093.181 * [misc]backup-simplify: Simplify (- 0) into 0 1547112093.181 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547112093.181 * [misc]backup-simplify: Simplify 0 into 0 1547112093.182 * [misc]backup-simplify: Simplify (- 0) into 0 1547112093.182 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547112093.182 * [misc]backup-simplify: Simplify 0 into 0 1547112093.182 * [misc]backup-simplify: Simplify (- (exp (/ 1 (/ 1 x))) 1) into (- (exp x) 1) 1547112093.182 * [misc]backup-simplify: Simplify (expm1 (/ 1 (- x))) into (expm1 (/ -1 x)) 1547112093.182 * [misc]approximate: Taking taylor expansion of (expm1 (/ -1 x)) in (x) around 0 1547112093.182 * [misc]taylor: Taking taylor expansion of (expm1 (/ -1 x)) in x 1547112093.182 * [misc]taylor: Rewrote expression to (- (exp (/ -1 x)) 1) 1547112093.182 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1547112093.182 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1547112093.182 * [misc]taylor: Taking taylor expansion of -1 in x 1547112093.182 * [misc]backup-simplify: Simplify -1 into -1 1547112093.182 * [misc]taylor: Taking taylor expansion of x in x 1547112093.182 * [misc]backup-simplify: Simplify 0 into 0 1547112093.182 * [misc]backup-simplify: Simplify 1 into 1 1547112093.182 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1547112093.182 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1547112093.182 * [misc]taylor: Taking taylor expansion of 1 in x 1547112093.182 * [misc]backup-simplify: Simplify 1 into 1 1547112093.182 * [misc]taylor: Taking taylor expansion of (expm1 (/ -1 x)) in x 1547112093.182 * [misc]taylor: Rewrote expression to (- (exp (/ -1 x)) 1) 1547112093.182 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1547112093.182 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1547112093.182 * [misc]taylor: Taking taylor expansion of -1 in x 1547112093.182 * [misc]backup-simplify: Simplify -1 into -1 1547112093.182 * [misc]taylor: Taking taylor expansion of x in x 1547112093.182 * [misc]backup-simplify: Simplify 0 into 0 1547112093.182 * [misc]backup-simplify: Simplify 1 into 1 1547112093.183 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1547112093.183 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1547112093.183 * [misc]taylor: Taking taylor expansion of 1 in x 1547112093.183 * [misc]backup-simplify: Simplify 1 into 1 1547112093.183 * [misc]backup-simplify: Simplify (- 1) into -1 1547112093.183 * [misc]backup-simplify: Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1) 1547112093.183 * [misc]backup-simplify: Simplify (- (exp (/ -1 x)) 1) into (- (exp (/ -1 x)) 1) 1547112093.183 * [misc]backup-simplify: Simplify (- 0) into 0 1547112093.183 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547112093.183 * [misc]backup-simplify: Simplify 0 into 0 1547112093.183 * [misc]backup-simplify: Simplify (- 0) into 0 1547112093.183 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547112093.183 * [misc]backup-simplify: Simplify 0 into 0 1547112093.184 * [misc]backup-simplify: Simplify (- 0) into 0 1547112093.184 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547112093.184 * [misc]backup-simplify: Simplify 0 into 0 1547112093.184 * [misc]backup-simplify: Simplify (- 0) into 0 1547112093.184 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547112093.184 * [misc]backup-simplify: Simplify 0 into 0 1547112093.184 * [misc]backup-simplify: Simplify (- 0) into 0 1547112093.184 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547112093.185 * [misc]backup-simplify: Simplify 0 into 0 1547112093.185 * [misc]backup-simplify: Simplify (- 0) into 0 1547112093.185 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547112093.185 * [misc]backup-simplify: Simplify 0 into 0 1547112093.185 * [misc]backup-simplify: Simplify (- (exp (/ -1 (/ 1 (- x)))) 1) into (- (exp x) 1) 1547112093.185 * * * [misc]progress: simplifying candidates 1547112093.185 * * * * [misc]progress: [ 1 / 13 ] simplifiying candidate # 1547112093.185 * * * * [misc]progress: [ 2 / 13 ] simplifiying candidate # 1547112093.185 * * * * [misc]progress: [ 3 / 13 ] simplifiying candidate # 1547112093.185 * * * * [misc]progress: [ 4 / 13 ] simplifiying candidate # 1547112093.185 * * * * [misc]progress: [ 5 / 13 ] simplifiying candidate # 1547112093.185 * * * * [misc]progress: [ 6 / 13 ] simplifiying candidate # 1547112093.185 * * * * [misc]progress: [ 7 / 13 ] simplifiying candidate # 1547112093.185 * * * * [misc]progress: [ 8 / 13 ] simplifiying candidate # 1547112093.186 * * * * [misc]progress: [ 9 / 13 ] simplifiying candidate # 1547112093.186 * * * * [misc]progress: [ 10 / 13 ] simplifiying candidate # 1547112093.186 * * * * [misc]progress: [ 11 / 13 ] simplifiying candidate # 1547112093.186 * [enter]simplify: Simplifying (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))) 1547112093.186 * * [misc]simplify: iters left: 6 (11 enodes) 1547112093.190 * * [misc]simplify: iters left: 5 (21 enodes) 1547112093.197 * * [misc]simplify: iters left: 4 (45 enodes) 1547112093.214 * * [misc]simplify: iters left: 3 (92 enodes) 1547112093.240 * * [misc]simplify: iters left: 2 (151 enodes) 1547112093.283 * * [misc]simplify: iters left: 1 (211 enodes) 1547112093.344 * [exit]simplify: Simplified to (fma (* x x) (fma x 1/6 1/2) x) 1547112093.344 * [misc]simplify: Simplified (2) to (λ (x) (fma (* x x) (fma x 1/6 1/2) x)) 1547112093.344 * * * * [misc]progress: [ 12 / 13 ] simplifiying candidate # 1547112093.344 * [enter]simplify: Simplifying (- (exp x) 1) 1547112093.344 * * [misc]simplify: iters left: 3 (4 enodes) 1547112093.345 * * [misc]simplify: iters left: 2 (10 enodes) 1547112093.346 * [exit]simplify: Simplified to (expm1 x) 1547112093.346 * [misc]simplify: Simplified (2) to (λ (x) (expm1 x)) 1547112093.346 * * * * [misc]progress: [ 13 / 13 ] simplifiying candidate # 1547112093.346 * [enter]simplify: Simplifying (- (exp x) 1) 1547112093.346 * * [misc]simplify: iters left: 3 (4 enodes) 1547112093.348 * * [misc]simplify: iters left: 2 (10 enodes) 1547112093.350 * [exit]simplify: Simplified to (expm1 x) 1547112093.350 * [misc]simplify: Simplified (2) to (λ (x) (expm1 x)) 1547112093.350 * * * [misc]progress: adding candidates to table 1547112093.451 * * [misc]progress: iteration 2 / 4 1547112093.451 * * * [misc]progress: picking best candidate 1547112093.453 * * * * [misc]pick: Picked # 1547112093.453 * * * [misc]progress: localizing error 1547112093.458 * * * [misc]progress: generating rewritten candidates 1547112093.458 * * * * [misc]progress: [ 1 / 3 ] rewriting at (2) 1547112093.463 * * * * [misc]progress: [ 2 / 3 ] rewriting at (2 2 1) 1547112093.464 * * * * [misc]progress: [ 3 / 3 ] rewriting at (2 1 1) 1547112093.464 * * * [misc]progress: generating series expansions 1547112093.464 * * * * [misc]progress: [ 1 / 3 ] generating series at (2) 1547112093.464 * [misc]backup-simplify: Simplify (* (sqrt (expm1 x)) (sqrt (expm1 x))) into (expm1 x) 1547112093.464 * [misc]approximate: Taking taylor expansion of (expm1 x) in (x) around 0 1547112093.464 * [misc]taylor: Taking taylor expansion of (expm1 x) in x 1547112093.464 * [misc]taylor: Rewrote expression to (- (exp x) 1) 1547112093.464 * [misc]taylor: Taking taylor expansion of (exp x) in x 1547112093.464 * [misc]taylor: Taking taylor expansion of x in x 1547112093.465 * [misc]backup-simplify: Simplify 0 into 0 1547112093.465 * [misc]backup-simplify: Simplify 1 into 1 1547112093.465 * [misc]backup-simplify: Simplify (exp 0) into 1 1547112093.465 * [misc]taylor: Taking taylor expansion of 1 in x 1547112093.465 * [misc]backup-simplify: Simplify 1 into 1 1547112093.465 * [misc]taylor: Taking taylor expansion of (expm1 x) in x 1547112093.465 * [misc]taylor: Rewrote expression to (- (exp x) 1) 1547112093.465 * [misc]taylor: Taking taylor expansion of (exp x) in x 1547112093.465 * [misc]taylor: Taking taylor expansion of x in x 1547112093.465 * [misc]backup-simplify: Simplify 0 into 0 1547112093.465 * [misc]backup-simplify: Simplify 1 into 1 1547112093.465 * [misc]backup-simplify: Simplify (exp 0) into 1 1547112093.465 * [misc]taylor: Taking taylor expansion of 1 in x 1547112093.465 * [misc]backup-simplify: Simplify 1 into 1 1547112093.465 * [misc]backup-simplify: Simplify (- 1) into -1 1547112093.465 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1547112093.465 * [misc]backup-simplify: Simplify 0 into 0 1547112093.466 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1547112093.466 * [misc]backup-simplify: Simplify (- 0) into 0 1547112093.466 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1547112093.466 * [misc]backup-simplify: Simplify 1 into 1 1547112093.468 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1547112093.468 * [misc]backup-simplify: Simplify (- 0) into 0 1547112093.468 * [misc]backup-simplify: Simplify (+ 1/2 0) into 1/2 1547112093.468 * [misc]backup-simplify: Simplify 1/2 into 1/2 1547112093.471 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 1547112093.471 * [misc]backup-simplify: Simplify (- 0) into 0 1547112093.471 * [misc]backup-simplify: Simplify (+ 1/6 0) into 1/6 1547112093.471 * [misc]backup-simplify: Simplify 1/6 into 1/6 1547112093.471 * [misc]backup-simplify: Simplify (+ (* 1/6 (pow x 3)) (+ (* 1/2 (pow x 2)) (* 1 x))) into (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))) 1547112093.471 * [misc]backup-simplify: Simplify (* (sqrt (expm1 (/ 1 x))) (sqrt (expm1 (/ 1 x)))) into (expm1 (/ 1 x)) 1547112093.471 * [misc]approximate: Taking taylor expansion of (expm1 (/ 1 x)) in (x) around 0 1547112093.471 * [misc]taylor: Taking taylor expansion of (expm1 (/ 1 x)) in x 1547112093.471 * [misc]taylor: Rewrote expression to (- (exp (/ 1 x)) 1) 1547112093.471 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1547112093.471 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1547112093.471 * [misc]taylor: Taking taylor expansion of x in x 1547112093.471 * [misc]backup-simplify: Simplify 0 into 0 1547112093.471 * [misc]backup-simplify: Simplify 1 into 1 1547112093.471 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547112093.472 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1547112093.472 * [misc]taylor: Taking taylor expansion of 1 in x 1547112093.472 * [misc]backup-simplify: Simplify 1 into 1 1547112093.472 * [misc]taylor: Taking taylor expansion of (expm1 (/ 1 x)) in x 1547112093.472 * [misc]taylor: Rewrote expression to (- (exp (/ 1 x)) 1) 1547112093.472 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1547112093.472 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1547112093.472 * [misc]taylor: Taking taylor expansion of x in x 1547112093.472 * [misc]backup-simplify: Simplify 0 into 0 1547112093.472 * [misc]backup-simplify: Simplify 1 into 1 1547112093.472 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547112093.472 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1547112093.472 * [misc]taylor: Taking taylor expansion of 1 in x 1547112093.472 * [misc]backup-simplify: Simplify 1 into 1 1547112093.472 * [misc]backup-simplify: Simplify (- 1) into -1 1547112093.472 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1) 1547112093.472 * [misc]backup-simplify: Simplify (- (exp (/ 1 x)) 1) into (- (exp (/ 1 x)) 1) 1547112093.472 * [misc]backup-simplify: Simplify (- 0) into 0 1547112093.472 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547112093.472 * [misc]backup-simplify: Simplify 0 into 0 1547112093.473 * [misc]backup-simplify: Simplify (- 0) into 0 1547112093.473 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547112093.473 * [misc]backup-simplify: Simplify 0 into 0 1547112093.473 * [misc]backup-simplify: Simplify (- 0) into 0 1547112093.473 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547112093.473 * [misc]backup-simplify: Simplify 0 into 0 1547112093.473 * [misc]backup-simplify: Simplify (- 0) into 0 1547112093.473 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547112093.473 * [misc]backup-simplify: Simplify 0 into 0 1547112093.473 * [misc]backup-simplify: Simplify (- 0) into 0 1547112093.473 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547112093.473 * [misc]backup-simplify: Simplify 0 into 0 1547112093.473 * [misc]backup-simplify: Simplify (- 0) into 0 1547112093.474 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547112093.474 * [misc]backup-simplify: Simplify 0 into 0 1547112093.474 * [misc]backup-simplify: Simplify (- (exp (/ 1 (/ 1 x))) 1) into (- (exp x) 1) 1547112093.474 * [misc]backup-simplify: Simplify (* (sqrt (expm1 (/ 1 (- x)))) (sqrt (expm1 (/ 1 (- x))))) into (expm1 (/ -1 x)) 1547112093.474 * [misc]approximate: Taking taylor expansion of (expm1 (/ -1 x)) in (x) around 0 1547112093.474 * [misc]taylor: Taking taylor expansion of (expm1 (/ -1 x)) in x 1547112093.474 * [misc]taylor: Rewrote expression to (- (exp (/ -1 x)) 1) 1547112093.474 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1547112093.474 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1547112093.474 * [misc]taylor: Taking taylor expansion of -1 in x 1547112093.474 * [misc]backup-simplify: Simplify -1 into -1 1547112093.474 * [misc]taylor: Taking taylor expansion of x in x 1547112093.474 * [misc]backup-simplify: Simplify 0 into 0 1547112093.474 * [misc]backup-simplify: Simplify 1 into 1 1547112093.474 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1547112093.474 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1547112093.474 * [misc]taylor: Taking taylor expansion of 1 in x 1547112093.474 * [misc]backup-simplify: Simplify 1 into 1 1547112093.474 * [misc]taylor: Taking taylor expansion of (expm1 (/ -1 x)) in x 1547112093.474 * [misc]taylor: Rewrote expression to (- (exp (/ -1 x)) 1) 1547112093.474 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1547112093.474 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1547112093.474 * [misc]taylor: Taking taylor expansion of -1 in x 1547112093.474 * [misc]backup-simplify: Simplify -1 into -1 1547112093.474 * [misc]taylor: Taking taylor expansion of x in x 1547112093.474 * [misc]backup-simplify: Simplify 0 into 0 1547112093.474 * [misc]backup-simplify: Simplify 1 into 1 1547112093.474 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1547112093.474 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1547112093.474 * [misc]taylor: Taking taylor expansion of 1 in x 1547112093.475 * [misc]backup-simplify: Simplify 1 into 1 1547112093.475 * [misc]backup-simplify: Simplify (- 1) into -1 1547112093.475 * [misc]backup-simplify: Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1) 1547112093.475 * [misc]backup-simplify: Simplify (- (exp (/ -1 x)) 1) into (- (exp (/ -1 x)) 1) 1547112093.475 * [misc]backup-simplify: Simplify (- 0) into 0 1547112093.475 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547112093.475 * [misc]backup-simplify: Simplify 0 into 0 1547112093.475 * [misc]backup-simplify: Simplify (- 0) into 0 1547112093.475 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547112093.475 * [misc]backup-simplify: Simplify 0 into 0 1547112093.475 * [misc]backup-simplify: Simplify (- 0) into 0 1547112093.475 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547112093.475 * [misc]backup-simplify: Simplify 0 into 0 1547112093.476 * [misc]backup-simplify: Simplify (- 0) into 0 1547112093.476 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547112093.476 * [misc]backup-simplify: Simplify 0 into 0 1547112093.476 * [misc]backup-simplify: Simplify (- 0) into 0 1547112093.476 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547112093.476 * [misc]backup-simplify: Simplify 0 into 0 1547112093.476 * [misc]backup-simplify: Simplify (- 0) into 0 1547112093.476 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547112093.476 * [misc]backup-simplify: Simplify 0 into 0 1547112093.476 * [misc]backup-simplify: Simplify (- (exp (/ -1 (/ 1 (- x)))) 1) into (- (exp x) 1) 1547112093.476 * * * * [misc]progress: [ 2 / 3 ] generating series at (2 2 1) 1547112093.476 * [misc]backup-simplify: Simplify (expm1 x) into (expm1 x) 1547112093.476 * [misc]approximate: Taking taylor expansion of (expm1 x) in (x) around 0 1547112093.476 * [misc]taylor: Taking taylor expansion of (expm1 x) in x 1547112093.476 * [misc]taylor: Rewrote expression to (- (exp x) 1) 1547112093.476 * [misc]taylor: Taking taylor expansion of (exp x) in x 1547112093.476 * [misc]taylor: Taking taylor expansion of x in x 1547112093.476 * [misc]backup-simplify: Simplify 0 into 0 1547112093.476 * [misc]backup-simplify: Simplify 1 into 1 1547112093.477 * [misc]backup-simplify: Simplify (exp 0) into 1 1547112093.477 * [misc]taylor: Taking taylor expansion of 1 in x 1547112093.477 * [misc]backup-simplify: Simplify 1 into 1 1547112093.477 * [misc]taylor: Taking taylor expansion of (expm1 x) in x 1547112093.477 * [misc]taylor: Rewrote expression to (- (exp x) 1) 1547112093.477 * [misc]taylor: Taking taylor expansion of (exp x) in x 1547112093.477 * [misc]taylor: Taking taylor expansion of x in x 1547112093.477 * [misc]backup-simplify: Simplify 0 into 0 1547112093.477 * [misc]backup-simplify: Simplify 1 into 1 1547112093.477 * [misc]backup-simplify: Simplify (exp 0) into 1 1547112093.477 * [misc]taylor: Taking taylor expansion of 1 in x 1547112093.477 * [misc]backup-simplify: Simplify 1 into 1 1547112093.477 * [misc]backup-simplify: Simplify (- 1) into -1 1547112093.477 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1547112093.477 * [misc]backup-simplify: Simplify 0 into 0 1547112093.478 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1547112093.478 * [misc]backup-simplify: Simplify (- 0) into 0 1547112093.478 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1547112093.478 * [misc]backup-simplify: Simplify 1 into 1 1547112093.480 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1547112093.480 * [misc]backup-simplify: Simplify (- 0) into 0 1547112093.480 * [misc]backup-simplify: Simplify (+ 1/2 0) into 1/2 1547112093.480 * [misc]backup-simplify: Simplify 1/2 into 1/2 1547112093.482 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 1547112093.482 * [misc]backup-simplify: Simplify (- 0) into 0 1547112093.483 * [misc]backup-simplify: Simplify (+ 1/6 0) into 1/6 1547112093.483 * [misc]backup-simplify: Simplify 1/6 into 1/6 1547112093.483 * [misc]backup-simplify: Simplify (+ (* 1/6 (pow x 3)) (+ (* 1/2 (pow x 2)) (* 1 x))) into (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))) 1547112093.483 * [misc]backup-simplify: Simplify (expm1 (/ 1 x)) into (expm1 (/ 1 x)) 1547112093.483 * [misc]approximate: Taking taylor expansion of (expm1 (/ 1 x)) in (x) around 0 1547112093.483 * [misc]taylor: Taking taylor expansion of (expm1 (/ 1 x)) in x 1547112093.483 * [misc]taylor: Rewrote expression to (- (exp (/ 1 x)) 1) 1547112093.483 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1547112093.483 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1547112093.483 * [misc]taylor: Taking taylor expansion of x in x 1547112093.483 * [misc]backup-simplify: Simplify 0 into 0 1547112093.483 * [misc]backup-simplify: Simplify 1 into 1 1547112093.483 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547112093.483 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1547112093.483 * [misc]taylor: Taking taylor expansion of 1 in x 1547112093.483 * [misc]backup-simplify: Simplify 1 into 1 1547112093.483 * [misc]taylor: Taking taylor expansion of (expm1 (/ 1 x)) in x 1547112093.483 * [misc]taylor: Rewrote expression to (- (exp (/ 1 x)) 1) 1547112093.483 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1547112093.483 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1547112093.483 * [misc]taylor: Taking taylor expansion of x in x 1547112093.483 * [misc]backup-simplify: Simplify 0 into 0 1547112093.483 * [misc]backup-simplify: Simplify 1 into 1 1547112093.483 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547112093.484 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1547112093.484 * [misc]taylor: Taking taylor expansion of 1 in x 1547112093.484 * [misc]backup-simplify: Simplify 1 into 1 1547112093.484 * [misc]backup-simplify: Simplify (- 1) into -1 1547112093.484 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1) 1547112093.484 * [misc]backup-simplify: Simplify (- (exp (/ 1 x)) 1) into (- (exp (/ 1 x)) 1) 1547112093.484 * [misc]backup-simplify: Simplify (- 0) into 0 1547112093.484 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547112093.484 * [misc]backup-simplify: Simplify 0 into 0 1547112093.484 * [misc]backup-simplify: Simplify (- 0) into 0 1547112093.484 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547112093.484 * [misc]backup-simplify: Simplify 0 into 0 1547112093.484 * [misc]backup-simplify: Simplify (- 0) into 0 1547112093.485 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547112093.485 * [misc]backup-simplify: Simplify 0 into 0 1547112093.485 * [misc]backup-simplify: Simplify (- 0) into 0 1547112093.485 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547112093.485 * [misc]backup-simplify: Simplify 0 into 0 1547112093.485 * [misc]backup-simplify: Simplify (- 0) into 0 1547112093.485 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547112093.485 * [misc]backup-simplify: Simplify 0 into 0 1547112093.485 * [misc]backup-simplify: Simplify (- 0) into 0 1547112093.485 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547112093.485 * [misc]backup-simplify: Simplify 0 into 0 1547112093.485 * [misc]backup-simplify: Simplify (- (exp (/ 1 (/ 1 x))) 1) into (- (exp x) 1) 1547112093.486 * [misc]backup-simplify: Simplify (expm1 (/ 1 (- x))) into (expm1 (/ -1 x)) 1547112093.486 * [misc]approximate: Taking taylor expansion of (expm1 (/ -1 x)) in (x) around 0 1547112093.486 * [misc]taylor: Taking taylor expansion of (expm1 (/ -1 x)) in x 1547112093.486 * [misc]taylor: Rewrote expression to (- (exp (/ -1 x)) 1) 1547112093.486 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1547112093.486 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1547112093.486 * [misc]taylor: Taking taylor expansion of -1 in x 1547112093.486 * [misc]backup-simplify: Simplify -1 into -1 1547112093.486 * [misc]taylor: Taking taylor expansion of x in x 1547112093.486 * [misc]backup-simplify: Simplify 0 into 0 1547112093.486 * [misc]backup-simplify: Simplify 1 into 1 1547112093.486 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1547112093.486 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1547112093.486 * [misc]taylor: Taking taylor expansion of 1 in x 1547112093.486 * [misc]backup-simplify: Simplify 1 into 1 1547112093.486 * [misc]taylor: Taking taylor expansion of (expm1 (/ -1 x)) in x 1547112093.486 * [misc]taylor: Rewrote expression to (- (exp (/ -1 x)) 1) 1547112093.486 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1547112093.486 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1547112093.486 * [misc]taylor: Taking taylor expansion of -1 in x 1547112093.486 * [misc]backup-simplify: Simplify -1 into -1 1547112093.486 * [misc]taylor: Taking taylor expansion of x in x 1547112093.486 * [misc]backup-simplify: Simplify 0 into 0 1547112093.486 * [misc]backup-simplify: Simplify 1 into 1 1547112093.486 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1547112093.486 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1547112093.486 * [misc]taylor: Taking taylor expansion of 1 in x 1547112093.486 * [misc]backup-simplify: Simplify 1 into 1 1547112093.486 * [misc]backup-simplify: Simplify (- 1) into -1 1547112093.486 * [misc]backup-simplify: Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1) 1547112093.487 * [misc]backup-simplify: Simplify (- (exp (/ -1 x)) 1) into (- (exp (/ -1 x)) 1) 1547112093.487 * [misc]backup-simplify: Simplify (- 0) into 0 1547112093.487 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547112093.487 * [misc]backup-simplify: Simplify 0 into 0 1547112093.487 * [misc]backup-simplify: Simplify (- 0) into 0 1547112093.487 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547112093.487 * [misc]backup-simplify: Simplify 0 into 0 1547112093.487 * [misc]backup-simplify: Simplify (- 0) into 0 1547112093.487 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547112093.487 * [misc]backup-simplify: Simplify 0 into 0 1547112093.487 * [misc]backup-simplify: Simplify (- 0) into 0 1547112093.487 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547112093.487 * [misc]backup-simplify: Simplify 0 into 0 1547112093.488 * [misc]backup-simplify: Simplify (- 0) into 0 1547112093.488 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547112093.488 * [misc]backup-simplify: Simplify 0 into 0 1547112093.488 * [misc]backup-simplify: Simplify (- 0) into 0 1547112093.488 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547112093.488 * [misc]backup-simplify: Simplify 0 into 0 1547112093.488 * [misc]backup-simplify: Simplify (- (exp (/ -1 (/ 1 (- x)))) 1) into (- (exp x) 1) 1547112093.488 * * * * [misc]progress: [ 3 / 3 ] generating series at (2 1 1) 1547112093.488 * [misc]backup-simplify: Simplify (expm1 x) into (expm1 x) 1547112093.488 * [misc]approximate: Taking taylor expansion of (expm1 x) in (x) around 0 1547112093.488 * [misc]taylor: Taking taylor expansion of (expm1 x) in x 1547112093.488 * [misc]taylor: Rewrote expression to (- (exp x) 1) 1547112093.488 * [misc]taylor: Taking taylor expansion of (exp x) in x 1547112093.488 * [misc]taylor: Taking taylor expansion of x in x 1547112093.488 * [misc]backup-simplify: Simplify 0 into 0 1547112093.488 * [misc]backup-simplify: Simplify 1 into 1 1547112093.488 * [misc]backup-simplify: Simplify (exp 0) into 1 1547112093.488 * [misc]taylor: Taking taylor expansion of 1 in x 1547112093.488 * [misc]backup-simplify: Simplify 1 into 1 1547112093.488 * [misc]taylor: Taking taylor expansion of (expm1 x) in x 1547112093.488 * [misc]taylor: Rewrote expression to (- (exp x) 1) 1547112093.488 * [misc]taylor: Taking taylor expansion of (exp x) in x 1547112093.488 * [misc]taylor: Taking taylor expansion of x in x 1547112093.488 * [misc]backup-simplify: Simplify 0 into 0 1547112093.488 * [misc]backup-simplify: Simplify 1 into 1 1547112093.488 * [misc]backup-simplify: Simplify (exp 0) into 1 1547112093.488 * [misc]taylor: Taking taylor expansion of 1 in x 1547112093.488 * [misc]backup-simplify: Simplify 1 into 1 1547112093.489 * [misc]backup-simplify: Simplify (- 1) into -1 1547112093.489 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1547112093.489 * [misc]backup-simplify: Simplify 0 into 0 1547112093.490 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1547112093.490 * [misc]backup-simplify: Simplify (- 0) into 0 1547112093.490 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1547112093.490 * [misc]backup-simplify: Simplify 1 into 1 1547112093.492 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1547112093.492 * [misc]backup-simplify: Simplify (- 0) into 0 1547112093.492 * [misc]backup-simplify: Simplify (+ 1/2 0) into 1/2 1547112093.492 * [misc]backup-simplify: Simplify 1/2 into 1/2 1547112093.496 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 1547112093.496 * [misc]backup-simplify: Simplify (- 0) into 0 1547112093.496 * [misc]backup-simplify: Simplify (+ 1/6 0) into 1/6 1547112093.496 * [misc]backup-simplify: Simplify 1/6 into 1/6 1547112093.497 * [misc]backup-simplify: Simplify (+ (* 1/6 (pow x 3)) (+ (* 1/2 (pow x 2)) (* 1 x))) into (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))) 1547112093.497 * [misc]backup-simplify: Simplify (expm1 (/ 1 x)) into (expm1 (/ 1 x)) 1547112093.497 * [misc]approximate: Taking taylor expansion of (expm1 (/ 1 x)) in (x) around 0 1547112093.497 * [misc]taylor: Taking taylor expansion of (expm1 (/ 1 x)) in x 1547112093.497 * [misc]taylor: Rewrote expression to (- (exp (/ 1 x)) 1) 1547112093.497 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1547112093.497 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1547112093.497 * [misc]taylor: Taking taylor expansion of x in x 1547112093.497 * [misc]backup-simplify: Simplify 0 into 0 1547112093.497 * [misc]backup-simplify: Simplify 1 into 1 1547112093.497 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547112093.497 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1547112093.497 * [misc]taylor: Taking taylor expansion of 1 in x 1547112093.497 * [misc]backup-simplify: Simplify 1 into 1 1547112093.497 * [misc]taylor: Taking taylor expansion of (expm1 (/ 1 x)) in x 1547112093.497 * [misc]taylor: Rewrote expression to (- (exp (/ 1 x)) 1) 1547112093.497 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1547112093.498 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1547112093.498 * [misc]taylor: Taking taylor expansion of x in x 1547112093.498 * [misc]backup-simplify: Simplify 0 into 0 1547112093.498 * [misc]backup-simplify: Simplify 1 into 1 1547112093.498 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1547112093.498 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1547112093.498 * [misc]taylor: Taking taylor expansion of 1 in x 1547112093.498 * [misc]backup-simplify: Simplify 1 into 1 1547112093.498 * [misc]backup-simplify: Simplify (- 1) into -1 1547112093.498 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1) 1547112093.498 * [misc]backup-simplify: Simplify (- (exp (/ 1 x)) 1) into (- (exp (/ 1 x)) 1) 1547112093.498 * [misc]backup-simplify: Simplify (- 0) into 0 1547112093.499 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547112093.499 * [misc]backup-simplify: Simplify 0 into 0 1547112093.499 * [misc]backup-simplify: Simplify (- 0) into 0 1547112093.499 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547112093.499 * [misc]backup-simplify: Simplify 0 into 0 1547112093.499 * [misc]backup-simplify: Simplify (- 0) into 0 1547112093.499 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547112093.499 * [misc]backup-simplify: Simplify 0 into 0 1547112093.500 * [misc]backup-simplify: Simplify (- 0) into 0 1547112093.500 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547112093.500 * [misc]backup-simplify: Simplify 0 into 0 1547112093.500 * [misc]backup-simplify: Simplify (- 0) into 0 1547112093.500 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547112093.500 * [misc]backup-simplify: Simplify 0 into 0 1547112093.501 * [misc]backup-simplify: Simplify (- 0) into 0 1547112093.501 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547112093.501 * [misc]backup-simplify: Simplify 0 into 0 1547112093.501 * [misc]backup-simplify: Simplify (- (exp (/ 1 (/ 1 x))) 1) into (- (exp x) 1) 1547112093.501 * [misc]backup-simplify: Simplify (expm1 (/ 1 (- x))) into (expm1 (/ -1 x)) 1547112093.501 * [misc]approximate: Taking taylor expansion of (expm1 (/ -1 x)) in (x) around 0 1547112093.501 * [misc]taylor: Taking taylor expansion of (expm1 (/ -1 x)) in x 1547112093.501 * [misc]taylor: Rewrote expression to (- (exp (/ -1 x)) 1) 1547112093.501 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1547112093.501 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1547112093.501 * [misc]taylor: Taking taylor expansion of -1 in x 1547112093.501 * [misc]backup-simplify: Simplify -1 into -1 1547112093.501 * [misc]taylor: Taking taylor expansion of x in x 1547112093.501 * [misc]backup-simplify: Simplify 0 into 0 1547112093.501 * [misc]backup-simplify: Simplify 1 into 1 1547112093.501 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1547112093.502 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1547112093.502 * [misc]taylor: Taking taylor expansion of 1 in x 1547112093.502 * [misc]backup-simplify: Simplify 1 into 1 1547112093.502 * [misc]taylor: Taking taylor expansion of (expm1 (/ -1 x)) in x 1547112093.502 * [misc]taylor: Rewrote expression to (- (exp (/ -1 x)) 1) 1547112093.502 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1547112093.502 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1547112093.502 * [misc]taylor: Taking taylor expansion of -1 in x 1547112093.502 * [misc]backup-simplify: Simplify -1 into -1 1547112093.502 * [misc]taylor: Taking taylor expansion of x in x 1547112093.502 * [misc]backup-simplify: Simplify 0 into 0 1547112093.502 * [misc]backup-simplify: Simplify 1 into 1 1547112093.502 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1547112093.502 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1547112093.502 * [misc]taylor: Taking taylor expansion of 1 in x 1547112093.502 * [misc]backup-simplify: Simplify 1 into 1 1547112093.502 * [misc]backup-simplify: Simplify (- 1) into -1 1547112093.502 * [misc]backup-simplify: Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1) 1547112093.503 * [misc]backup-simplify: Simplify (- (exp (/ -1 x)) 1) into (- (exp (/ -1 x)) 1) 1547112093.503 * [misc]backup-simplify: Simplify (- 0) into 0 1547112093.503 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547112093.503 * [misc]backup-simplify: Simplify 0 into 0 1547112093.503 * [misc]backup-simplify: Simplify (- 0) into 0 1547112093.503 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547112093.503 * [misc]backup-simplify: Simplify 0 into 0 1547112093.504 * [misc]backup-simplify: Simplify (- 0) into 0 1547112093.504 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547112093.504 * [misc]backup-simplify: Simplify 0 into 0 1547112093.504 * [misc]backup-simplify: Simplify (- 0) into 0 1547112093.504 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547112093.504 * [misc]backup-simplify: Simplify 0 into 0 1547112093.504 * [misc]backup-simplify: Simplify (- 0) into 0 1547112093.505 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547112093.505 * [misc]backup-simplify: Simplify 0 into 0 1547112093.505 * [misc]backup-simplify: Simplify (- 0) into 0 1547112093.505 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1547112093.505 * [misc]backup-simplify: Simplify 0 into 0 1547112093.505 * [misc]backup-simplify: Simplify (- (exp (/ -1 (/ 1 (- x)))) 1) into (- (exp x) 1) 1547112093.505 * * * [misc]progress: simplifying candidates 1547112093.505 * * * * [misc]progress: [ 1 / 61 ] simplifiying candidate # 1547112093.505 * * * * [misc]progress: [ 2 / 61 ] simplifiying candidate # 1547112093.505 * * * * [misc]progress: [ 3 / 61 ] simplifiying candidate # 1547112093.506 * [enter]simplify: Simplifying (expm1 x) 1547112093.506 * * [misc]simplify: iters left: 1 (2 enodes) 1547112093.506 * [exit]simplify: Simplified to (expm1 x) 1547112093.506 * [misc]simplify: Simplified (2 1) to (λ (x) (pow (expm1 x) (+ 1/2 1/2))) 1547112093.507 * [enter]simplify: Simplifying (+ 1/2 1/2) 1547112093.507 * * [misc]simplify: iters left: 2 (2 enodes) 1547112093.508 * * [misc]simplify: iters left: 1 (3 enodes) 1547112093.509 * [exit]simplify: Simplified to 1 1547112093.509 * [misc]simplify: Simplified (2 2) to (λ (x) (pow (expm1 x) 1)) 1547112093.509 * * * * [misc]progress: [ 4 / 61 ] simplifiying candidate # 1547112093.509 * [enter]simplify: Simplifying (sqrt (expm1 x)) 1547112093.509 * * [misc]simplify: iters left: 2 (3 enodes) 1547112093.510 * [exit]simplify: Simplified to (sqrt (expm1 x)) 1547112093.510 * [misc]simplify: Simplified (2 1) to (λ (x) (pow (sqrt (expm1 x)) (+ 1 1))) 1547112093.510 * [enter]simplify: Simplifying (+ 1 1) 1547112093.510 * * [misc]simplify: iters left: 2 (2 enodes) 1547112093.511 * * [misc]simplify: iters left: 1 (5 enodes) 1547112093.512 * [exit]simplify: Simplified to 2 1547112093.512 * [misc]simplify: Simplified (2 2) to (λ (x) (pow (sqrt (expm1 x)) 2)) 1547112093.512 * * * * [misc]progress: [ 5 / 61 ] simplifiying candidate # 1547112093.513 * [enter]simplify: Simplifying (* (expm1 x) (expm1 x)) 1547112093.513 * * [misc]simplify: iters left: 3 (3 enodes) 1547112093.517 * [exit]simplify: Simplified to (* (expm1 x) (expm1 x)) 1547112093.517 * [misc]simplify: Simplified (2 1) to (λ (x) (pow (* (expm1 x) (expm1 x)) 1/2)) 1547112093.517 * * * * [misc]progress: [ 6 / 61 ] simplifiying candidate # 1547112093.517 * [enter]simplify: Simplifying (* (sqrt (expm1 x)) (sqrt (expm1 x))) 1547112093.517 * * [misc]simplify: iters left: 4 (4 enodes) 1547112093.518 * [exit]simplify: Simplified to (expm1 x) 1547112093.519 * [misc]simplify: Simplified (2 1) to (λ (x) (pow (expm1 x) 1)) 1547112093.519 * * * * [misc]progress: [ 7 / 61 ] simplifiying candidate # 1547112093.519 * * * * [misc]progress: [ 8 / 61 ] simplifiying candidate # 1547112093.519 * [enter]simplify: Simplifying (sqrt (expm1 x)) 1547112093.519 * * [misc]simplify: iters left: 2 (3 enodes) 1547112093.520 * [exit]simplify: Simplified to (sqrt (expm1 x)) 1547112093.520 * [misc]simplify: Simplified (2 1) to (λ (x) (pow (sqrt (expm1 x)) (+ 1 1))) 1547112093.520 * * * * [misc]progress: [ 9 / 61 ] simplifiying candidate # 1547112093.520 * * * * [misc]progress: [ 10 / 61 ] simplifiying candidate # 1547112093.520 * [enter]simplify: Simplifying (+ (log (sqrt (expm1 x))) (log (sqrt (expm1 x)))) 1547112093.520 * * [misc]simplify: iters left: 5 (5 enodes) 1547112093.522 * [exit]simplify: Simplified to (+ (log (sqrt (expm1 x))) (log (sqrt (expm1 x)))) 1547112093.522 * [misc]simplify: Simplified (2 1) to (λ (x) (exp (+ (log (sqrt (expm1 x))) (log (sqrt (expm1 x)))))) 1547112093.522 * * * * [misc]progress: [ 11 / 61 ] simplifiying candidate # 1547112093.522 * * * * [misc]progress: [ 12 / 61 ] simplifiying candidate # 1547112093.522 * * * * [misc]progress: [ 13 / 61 ] simplifiying candidate # 1547112093.522 * [enter]simplify: Simplifying (* (* (* (sqrt (expm1 x)) (sqrt (expm1 x))) (sqrt (expm1 x))) (* (* (sqrt (expm1 x)) (sqrt (expm1 x))) (sqrt (expm1 x)))) 1547112093.523 * * [misc]simplify: iters left: 6 (6 enodes) 1547112093.525 * * [misc]simplify: iters left: 5 (11 enodes) 1547112093.528 * * [misc]simplify: iters left: 4 (20 enodes) 1547112093.534 * * [misc]simplify: iters left: 3 (26 enodes) 1547112093.542 * * [misc]simplify: iters left: 2 (31 enodes) 1547112093.549 * * [misc]simplify: iters left: 1 (34 enodes) 1547112093.556 * [exit]simplify: Simplified to (pow (expm1 x) 3) 1547112093.556 * [misc]simplify: Simplified (2 1) to (λ (x) (cbrt (pow (expm1 x) 3))) 1547112093.557 * * * * [misc]progress: [ 14 / 61 ] simplifiying candidate # 1547112093.557 * * * * [misc]progress: [ 15 / 61 ] simplifiying candidate # 1547112093.557 * * * * [misc]progress: [ 16 / 61 ] simplifiying candidate # 1547112093.557 * [enter]simplify: Simplifying (* (expm1 x) (expm1 x)) 1547112093.557 * * [misc]simplify: iters left: 3 (3 enodes) 1547112093.558 * [exit]simplify: Simplified to (* (expm1 x) (expm1 x)) 1547112093.558 * [misc]simplify: Simplified (2 1) to (λ (x) (sqrt (* (expm1 x) (expm1 x)))) 1547112093.558 * * * * [misc]progress: [ 17 / 61 ] simplifiying candidate # 1547112093.558 * * * * [misc]progress: [ 18 / 61 ] simplifiying candidate # 1547112093.558 * * * * [misc]progress: [ 19 / 61 ] simplifiying candidate # 1547112093.558 * * * * [misc]progress: [ 20 / 61 ] simplifiying candidate # 1547112093.559 * [enter]simplify: Simplifying (cbrt (sqrt (expm1 x))) 1547112093.559 * * [misc]simplify: iters left: 3 (4 enodes) 1547112093.560 * [exit]simplify: Simplified to (cbrt (sqrt (expm1 x))) 1547112093.560 * [misc]simplify: Simplified (2 2) to (λ (x) (* (* (sqrt (expm1 x)) (* (cbrt (sqrt (expm1 x))) (cbrt (sqrt (expm1 x))))) (cbrt (sqrt (expm1 x))))) 1547112093.560 * * * * [misc]progress: [ 21 / 61 ] simplifiying candidate # 1547112093.560 * [enter]simplify: Simplifying (sqrt (cbrt (expm1 x))) 1547112093.560 * * [misc]simplify: iters left: 3 (4 enodes) 1547112093.561 * [exit]simplify: Simplified to (sqrt (cbrt (expm1 x))) 1547112093.562 * [misc]simplify: Simplified (2 2) to (λ (x) (* (* (sqrt (expm1 x)) (sqrt (* (cbrt (expm1 x)) (cbrt (expm1 x))))) (sqrt (cbrt (expm1 x))))) 1547112093.562 * * * * [misc]progress: [ 22 / 61 ] simplifiying candidate # 1547112093.562 * [enter]simplify: Simplifying (sqrt (sqrt (expm1 x))) 1547112093.562 * * [misc]simplify: iters left: 3 (4 enodes) 1547112093.563 * [exit]simplify: Simplified to (sqrt (sqrt (expm1 x))) 1547112093.563 * [misc]simplify: Simplified (2 2) to (λ (x) (* (* (sqrt (expm1 x)) (sqrt (sqrt (expm1 x)))) (sqrt (sqrt (expm1 x))))) 1547112093.563 * * * * [misc]progress: [ 23 / 61 ] simplifiying candidate # 1547112093.563 * [enter]simplify: Simplifying (sqrt (expm1 x)) 1547112093.563 * * [misc]simplify: iters left: 2 (3 enodes) 1547112093.564 * [exit]simplify: Simplified to (sqrt (expm1 x)) 1547112093.564 * [misc]simplify: Simplified (2 2) to (λ (x) (* (* (sqrt (expm1 x)) (sqrt 1)) (sqrt (expm1 x)))) 1547112093.564 * * * * [misc]progress: [ 24 / 61 ] simplifiying candidate # 1547112093.565 * [enter]simplify: Simplifying (sqrt (sqrt (expm1 x))) 1547112093.565 * * [misc]simplify: iters left: 3 (4 enodes) 1547112093.566 * [exit]simplify: Simplified to (sqrt (sqrt (expm1 x))) 1547112093.566 * [misc]simplify: Simplified (2 2) to (λ (x) (* (* (sqrt (expm1 x)) (sqrt (sqrt (expm1 x)))) (sqrt (sqrt (expm1 x))))) 1547112093.566 * * * * [misc]progress: [ 25 / 61 ] simplifiying candidate # 1547112093.566 * [enter]simplify: Simplifying (sqrt (expm1 x)) 1547112093.566 * * [misc]simplify: iters left: 2 (3 enodes) 1547112093.567 * [exit]simplify: Simplified to (sqrt (expm1 x)) 1547112093.567 * [misc]simplify: Simplified (2 2) to (λ (x) (* (* (sqrt (expm1 x)) 1) (sqrt (expm1 x)))) 1547112093.567 * * * * [misc]progress: [ 26 / 61 ] simplifiying candidate # 1547112093.567 * [enter]simplify: Simplifying (* (cbrt (sqrt (expm1 x))) (cbrt (sqrt (expm1 x)))) 1547112093.568 * * [misc]simplify: iters left: 5 (5 enodes) 1547112093.569 * [exit]simplify: Simplified to (* (cbrt (sqrt (expm1 x))) (cbrt (sqrt (expm1 x)))) 1547112093.569 * [misc]simplify: Simplified (2 1) to (λ (x) (* (* (cbrt (sqrt (expm1 x))) (cbrt (sqrt (expm1 x)))) (* (cbrt (sqrt (expm1 x))) (sqrt (expm1 x))))) 1547112093.569 * * * * [misc]progress: [ 27 / 61 ] simplifiying candidate # 1547112093.569 * [enter]simplify: Simplifying (sqrt (* (cbrt (expm1 x)) (cbrt (expm1 x)))) 1547112093.569 * * [misc]simplify: iters left: 5 (5 enodes) 1547112093.571 * * [misc]simplify: iters left: 4 (6 enodes) 1547112093.573 * [exit]simplify: Simplified to (fabs (cbrt (expm1 x))) 1547112093.573 * [misc]simplify: Simplified (2 1) to (λ (x) (* (fabs (cbrt (expm1 x))) (* (sqrt (cbrt (expm1 x))) (sqrt (expm1 x))))) 1547112093.573 * * * * [misc]progress: [ 28 / 61 ] simplifiying candidate # 1547112093.573 * [enter]simplify: Simplifying (sqrt (sqrt (expm1 x))) 1547112093.573 * * [misc]simplify: iters left: 3 (4 enodes) 1547112093.574 * [exit]simplify: Simplified to (sqrt (sqrt (expm1 x))) 1547112093.574 * [misc]simplify: Simplified (2 1) to (λ (x) (* (sqrt (sqrt (expm1 x))) (* (sqrt (sqrt (expm1 x))) (sqrt (expm1 x))))) 1547112093.574 * * * * [misc]progress: [ 29 / 61 ] simplifiying candidate # 1547112093.574 * [enter]simplify: Simplifying (sqrt 1) 1547112093.574 * * [misc]simplify: iters left: 1 (2 enodes) 1547112093.576 * [exit]simplify: Simplified to 1 1547112093.576 * [misc]simplify: Simplified (2 1) to (λ (x) (* 1 (* (sqrt (expm1 x)) (sqrt (expm1 x))))) 1547112093.576 * * * * [misc]progress: [ 30 / 61 ] simplifiying candidate # 1547112093.576 * [enter]simplify: Simplifying (sqrt (sqrt (expm1 x))) 1547112093.576 * * [misc]simplify: iters left: 3 (4 enodes) 1547112093.577 * [exit]simplify: Simplified to (sqrt (sqrt (expm1 x))) 1547112093.577 * [misc]simplify: Simplified (2 1) to (λ (x) (* (sqrt (sqrt (expm1 x))) (* (sqrt (sqrt (expm1 x))) (sqrt (expm1 x))))) 1547112093.577 * * * * [misc]progress: [ 31 / 61 ] simplifiying candidate # 1547112093.577 * * * * [misc]progress: [ 32 / 61 ] simplifiying candidate # 1547112093.577 * * * * [misc]progress: [ 33 / 61 ] simplifiying candidate # 1547112093.577 * * * * [misc]progress: [ 34 / 61 ] simplifiying candidate # 1547112093.578 * * * * [misc]progress: [ 35 / 61 ] simplifiying candidate # 1547112093.578 * * * * [misc]progress: [ 36 / 61 ] simplifiying candidate # 1547112093.578 * * * * [misc]progress: [ 37 / 61 ] simplifiying candidate # 1547112093.578 * * * * [misc]progress: [ 38 / 61 ] simplifiying candidate # 1547112093.578 * * * * [misc]progress: [ 39 / 61 ] simplifiying candidate # 1547112093.578 * * * * [misc]progress: [ 40 / 61 ] simplifiying candidate # 1547112093.578 * * * * [misc]progress: [ 41 / 61 ] simplifiying candidate # 1547112093.578 * * * * [misc]progress: [ 42 / 61 ] simplifiying candidate # 1547112093.578 * * * * [misc]progress: [ 43 / 61 ] simplifiying candidate # 1547112093.578 * * * * [misc]progress: [ 44 / 61 ] simplifiying candidate # 1547112093.578 * * * * [misc]progress: [ 45 / 61 ] simplifiying candidate # 1547112093.578 * * * * [misc]progress: [ 46 / 61 ] simplifiying candidate # 1547112093.578 * * * * [misc]progress: [ 47 / 61 ] simplifiying candidate # 1547112093.578 * * * * [misc]progress: [ 48 / 61 ] simplifiying candidate # 1547112093.578 * * * * [misc]progress: [ 49 / 61 ] simplifiying candidate # 1547112093.578 * * * * [misc]progress: [ 50 / 61 ] simplifiying candidate # 1547112093.578 * * * * [misc]progress: [ 51 / 61 ] simplifiying candidate # 1547112093.578 * * * * [misc]progress: [ 52 / 61 ] simplifiying candidate # 1547112093.579 * * * * [misc]progress: [ 53 / 61 ] simplifiying candidate # 1547112093.579 * [enter]simplify: Simplifying (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))) 1547112093.579 * * [misc]simplify: iters left: 6 (11 enodes) 1547112093.583 * * [misc]simplify: iters left: 5 (21 enodes) 1547112093.590 * * [misc]simplify: iters left: 4 (45 enodes) 1547112093.607 * * [misc]simplify: iters left: 3 (92 enodes) 1547112093.633 * * [misc]simplify: iters left: 2 (151 enodes) 1547112093.692 * * [misc]simplify: iters left: 1 (211 enodes) 1547112093.780 * [exit]simplify: Simplified to (fma (* x x) (fma x 1/6 1/2) x) 1547112093.781 * [misc]simplify: Simplified (2) to (λ (x) (fma (* x x) (fma x 1/6 1/2) x)) 1547112093.781 * * * * [misc]progress: [ 54 / 61 ] simplifiying candidate # 1547112093.781 * [enter]simplify: Simplifying (- (exp x) 1) 1547112093.781 * * [misc]simplify: iters left: 3 (4 enodes) 1547112093.783 * * [misc]simplify: iters left: 2 (10 enodes) 1547112093.784 * [exit]simplify: Simplified to (expm1 x) 1547112093.784 * [misc]simplify: Simplified (2) to (λ (x) (expm1 x)) 1547112093.784 * * * * [misc]progress: [ 55 / 61 ] simplifiying candidate # 1547112093.784 * [enter]simplify: Simplifying (- (exp x) 1) 1547112093.784 * * [misc]simplify: iters left: 3 (4 enodes) 1547112093.785 * * [misc]simplify: iters left: 2 (10 enodes) 1547112093.786 * [exit]simplify: Simplified to (expm1 x) 1547112093.786 * [misc]simplify: Simplified (2) to (λ (x) (expm1 x)) 1547112093.786 * * * * [misc]progress: [ 56 / 61 ] simplifiying candidate # 1547112093.787 * [enter]simplify: Simplifying (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))) 1547112093.787 * * [misc]simplify: iters left: 6 (11 enodes) 1547112093.788 * * [misc]simplify: iters left: 5 (21 enodes) 1547112093.792 * * [misc]simplify: iters left: 4 (45 enodes) 1547112093.800 * * [misc]simplify: iters left: 3 (92 enodes) 1547112093.813 * * [misc]simplify: iters left: 2 (151 enodes) 1547112093.851 * * [misc]simplify: iters left: 1 (211 enodes) 1547112093.931 * [exit]simplify: Simplified to (fma (* x x) (fma x 1/6 1/2) x) 1547112093.932 * [misc]simplify: Simplified (2 2 1) to (λ (x) (* (sqrt (expm1 x)) (sqrt (fma (* x x) (fma x 1/6 1/2) x)))) 1547112093.932 * * * * [misc]progress: [ 57 / 61 ] simplifiying candidate # 1547112093.932 * [enter]simplify: Simplifying (- (exp x) 1) 1547112093.932 * * [misc]simplify: iters left: 3 (4 enodes) 1547112093.934 * * [misc]simplify: iters left: 2 (10 enodes) 1547112093.936 * [exit]simplify: Simplified to (expm1 x) 1547112093.936 * [misc]simplify: Simplified (2 2 1) to (λ (x) (* (sqrt (expm1 x)) (sqrt (expm1 x)))) 1547112093.936 * * * * [misc]progress: [ 58 / 61 ] simplifiying candidate # 1547112093.936 * [enter]simplify: Simplifying (- (exp x) 1) 1547112093.937 * * [misc]simplify: iters left: 3 (4 enodes) 1547112093.939 * * [misc]simplify: iters left: 2 (10 enodes) 1547112093.941 * [exit]simplify: Simplified to (expm1 x) 1547112093.941 * [misc]simplify: Simplified (2 2 1) to (λ (x) (* (sqrt (expm1 x)) (sqrt (expm1 x)))) 1547112093.941 * * * * [misc]progress: [ 59 / 61 ] simplifiying candidate # 1547112093.941 * [enter]simplify: Simplifying (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))) 1547112093.941 * * [misc]simplify: iters left: 6 (11 enodes) 1547112093.945 * * [misc]simplify: iters left: 5 (21 enodes) 1547112093.952 * * [misc]simplify: iters left: 4 (45 enodes) 1547112093.969 * * [misc]simplify: iters left: 3 (92 enodes) 1547112093.995 * * [misc]simplify: iters left: 2 (151 enodes) 1547112094.055 * * [misc]simplify: iters left: 1 (211 enodes) 1547112094.149 * [exit]simplify: Simplified to (fma (* x x) (fma x 1/6 1/2) x) 1547112094.150 * [misc]simplify: Simplified (2 1 1) to (λ (x) (* (sqrt (fma (* x x) (fma x 1/6 1/2) x)) (sqrt (expm1 x)))) 1547112094.150 * * * * [misc]progress: [ 60 / 61 ] simplifiying candidate # 1547112094.150 * [enter]simplify: Simplifying (- (exp x) 1) 1547112094.150 * * [misc]simplify: iters left: 3 (4 enodes) 1547112094.151 * * [misc]simplify: iters left: 2 (10 enodes) 1547112094.152 * [exit]simplify: Simplified to (expm1 x) 1547112094.152 * [misc]simplify: Simplified (2 1 1) to (λ (x) (* (sqrt (expm1 x)) (sqrt (expm1 x)))) 1547112094.152 * * * * [misc]progress: [ 61 / 61 ] simplifiying candidate # 1547112094.152 * [enter]simplify: Simplifying (- (exp x) 1) 1547112094.152 * * [misc]simplify: iters left: 3 (4 enodes) 1547112094.153 * * [misc]simplify: iters left: 2 (10 enodes) 1547112094.154 * [exit]simplify: Simplified to (expm1 x) 1547112094.154 * [misc]simplify: Simplified (2 1 1) to (λ (x) (* (sqrt (expm1 x)) (sqrt (expm1 x)))) 1547112094.154 * * * [misc]progress: adding candidates to table 1547112094.606 * [misc]progress: [Phase 3 of 3] Extracting. 1547112094.606 * * [misc]regime: Finding splitpoints for: (# #) 1547112094.606 * * * [misc]regime-changes: Trying 1 branch expressions: (x) 1547112094.606 * * * * [misc]regimes: Trying to branch on x from (# #) 1547112094.639 * * * [misc]regime: Found split indices: #