1536829932.013 * [misc]progress: [Phase 1 of 3] Setting up. 1536829932.013 * * * [misc]progress: [1/2] Preparing points 1536829932.013 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1536829932.084 * * * * [misc]points: Filtering points with unrepresentable outputs 1536829932.084 * * * * [misc]points: Sampling 55 additional inputs, on iter 1 have 201 / 256 1536829932.094 * * * * [misc]points: Filtering points with unrepresentable outputs 1536829932.094 * * * * [misc]points: Sampling 19 additional inputs, on iter 2 have 237 / 256 1536829932.099 * * * * [misc]points: Filtering points with unrepresentable outputs 1536829932.099 * * * * [misc]points: Sampling 4 additional inputs, on iter 3 have 254 / 256 1536829932.100 * * * * [misc]points: Filtering points with unrepresentable outputs 1536829932.101 * * * * [exit]points: Sampled 256 points with exact outputs 1536829932.101 * * * [misc]progress: [2/2] Setting up program. 1536829932.104 * [misc]progress: [Phase 2 of 3] Improving. 1536829932.104 * [enter]simplify: Simplifying (/ (- (exp x) 1) x) 1536829932.104 * * [misc]simplify: iters left: 5 (5 enodes) 1536829932.107 * * [misc]simplify: iters left: 4 (14 enodes) 1536829932.109 * * [misc]simplify: iters left: 3 (16 enodes) 1536829932.111 * * [misc]simplify: iters left: 2 (18 enodes) 1536829932.113 * [exit]simplify: Simplified to (/ (expm1 x) x) 1536829932.119 * * [misc]progress: iteration 1 / 4 1536829932.119 * * * [misc]progress: picking best candidate 1536829932.121 * * * * [misc]pick: Picked # 1536829932.121 * * * [misc]progress: localizing error 1536829932.128 * * * [misc]progress: generating rewritten candidates 1536829932.128 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1536829932.186 * * * [misc]progress: generating series expansions 1536829932.186 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1536829932.186 * [misc]backup-simplify: Simplify (/ (expm1 x) x) into (/ (expm1 x) x) 1536829932.186 * [misc]approximate: Taking taylor expansion of (/ (expm1 x) x) in (x) around 0 1536829932.186 * [misc]taylor: Taking taylor expansion of (/ (expm1 x) x) in x 1536829932.186 * [misc]taylor: Taking taylor expansion of (expm1 x) in x 1536829932.186 * [misc]taylor: Rewrote expression to (- (exp x) 1) 1536829932.186 * [misc]taylor: Taking taylor expansion of (exp x) in x 1536829932.186 * [misc]taylor: Taking taylor expansion of x in x 1536829932.186 * [misc]backup-simplify: Simplify 0 into 0 1536829932.186 * [misc]backup-simplify: Simplify 1 into 1 1536829932.186 * [misc]backup-simplify: Simplify (exp 0) into 1 1536829932.186 * [misc]taylor: Taking taylor expansion of 1 in x 1536829932.187 * [misc]backup-simplify: Simplify 1 into 1 1536829932.187 * [misc]taylor: Taking taylor expansion of x in x 1536829932.187 * [misc]backup-simplify: Simplify 0 into 0 1536829932.187 * [misc]backup-simplify: Simplify 1 into 1 1536829932.187 * [misc]backup-simplify: Simplify (- 1) into -1 1536829932.187 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1536829932.189 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1536829932.189 * [misc]backup-simplify: Simplify (- 0) into 0 1536829932.190 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536829932.190 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536829932.190 * [misc]taylor: Taking taylor expansion of (/ (expm1 x) x) in x 1536829932.190 * [misc]taylor: Taking taylor expansion of (expm1 x) in x 1536829932.190 * [misc]taylor: Rewrote expression to (- (exp x) 1) 1536829932.190 * [misc]taylor: Taking taylor expansion of (exp x) in x 1536829932.190 * [misc]taylor: Taking taylor expansion of x in x 1536829932.190 * [misc]backup-simplify: Simplify 0 into 0 1536829932.190 * [misc]backup-simplify: Simplify 1 into 1 1536829932.190 * [misc]backup-simplify: Simplify (exp 0) into 1 1536829932.190 * [misc]taylor: Taking taylor expansion of 1 in x 1536829932.190 * [misc]backup-simplify: Simplify 1 into 1 1536829932.190 * [misc]taylor: Taking taylor expansion of x in x 1536829932.190 * [misc]backup-simplify: Simplify 0 into 0 1536829932.190 * [misc]backup-simplify: Simplify 1 into 1 1536829932.190 * [misc]backup-simplify: Simplify (- 1) into -1 1536829932.190 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1536829932.192 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1536829932.192 * [misc]backup-simplify: Simplify (- 0) into 0 1536829932.192 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536829932.192 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536829932.192 * [misc]backup-simplify: Simplify 1 into 1 1536829932.195 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1536829932.195 * [misc]backup-simplify: Simplify (- 0) into 0 1536829932.195 * [misc]backup-simplify: Simplify (+ 1/2 0) into 1/2 1536829932.195 * [misc]backup-simplify: Simplify (- (/ 1/2 1) (+ (* 1 (/ 0 1)))) into 1/2 1536829932.195 * [misc]backup-simplify: Simplify 1/2 into 1/2 1536829932.199 * [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 1536829932.199 * [misc]backup-simplify: Simplify (- 0) into 0 1536829932.200 * [misc]backup-simplify: Simplify (+ 1/6 0) into 1/6 1536829932.200 * [misc]backup-simplify: Simplify (- (/ 1/6 1) (+ (* 1 (/ 0 1)) (* 1/2 (/ 0 1)))) into 1/6 1536829932.200 * [misc]backup-simplify: Simplify 1/6 into 1/6 1536829932.200 * [misc]backup-simplify: Simplify (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1)) into (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)) 1536829932.201 * [misc]backup-simplify: Simplify (/ (expm1 (/ 1 x)) (/ 1 x)) into (* (expm1 (/ 1 x)) x) 1536829932.201 * [misc]approximate: Taking taylor expansion of (* (expm1 (/ 1 x)) x) in (x) around 0 1536829932.201 * [misc]taylor: Taking taylor expansion of (* (expm1 (/ 1 x)) x) in x 1536829932.201 * [misc]taylor: Taking taylor expansion of (expm1 (/ 1 x)) in x 1536829932.201 * [misc]taylor: Rewrote expression to (- (exp (/ 1 x)) 1) 1536829932.201 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1536829932.201 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1536829932.201 * [misc]taylor: Taking taylor expansion of x in x 1536829932.201 * [misc]backup-simplify: Simplify 0 into 0 1536829932.201 * [misc]backup-simplify: Simplify 1 into 1 1536829932.201 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536829932.201 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1536829932.201 * [misc]taylor: Taking taylor expansion of 1 in x 1536829932.201 * [misc]backup-simplify: Simplify 1 into 1 1536829932.201 * [misc]taylor: Taking taylor expansion of x in x 1536829932.201 * [misc]backup-simplify: Simplify 0 into 0 1536829932.201 * [misc]backup-simplify: Simplify 1 into 1 1536829932.201 * [misc]taylor: Taking taylor expansion of (* (expm1 (/ 1 x)) x) in x 1536829932.201 * [misc]taylor: Taking taylor expansion of (expm1 (/ 1 x)) in x 1536829932.201 * [misc]taylor: Rewrote expression to (- (exp (/ 1 x)) 1) 1536829932.201 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1536829932.201 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1536829932.201 * [misc]taylor: Taking taylor expansion of x in x 1536829932.202 * [misc]backup-simplify: Simplify 0 into 0 1536829932.202 * [misc]backup-simplify: Simplify 1 into 1 1536829932.202 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536829932.202 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1536829932.202 * [misc]taylor: Taking taylor expansion of 1 in x 1536829932.202 * [misc]backup-simplify: Simplify 1 into 1 1536829932.202 * [misc]taylor: Taking taylor expansion of x in x 1536829932.202 * [misc]backup-simplify: Simplify 0 into 0 1536829932.202 * [misc]backup-simplify: Simplify 1 into 1 1536829932.202 * [misc]backup-simplify: Simplify (- 1) into -1 1536829932.202 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1) 1536829932.202 * [misc]backup-simplify: Simplify (* (- (exp (/ 1 x)) 1) 0) into 0 1536829932.202 * [misc]backup-simplify: Simplify 0 into 0 1536829932.203 * [misc]backup-simplify: Simplify (- 0) into 0 1536829932.203 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829932.203 * [misc]backup-simplify: Simplify (+ (* (- (exp (/ 1 x)) 1) 1) (* 0 0)) into (- (exp (/ 1 x)) 1) 1536829932.203 * [misc]backup-simplify: Simplify (- (exp (/ 1 x)) 1) into (- (exp (/ 1 x)) 1) 1536829932.203 * [misc]backup-simplify: Simplify (- 0) into 0 1536829932.204 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829932.204 * [misc]backup-simplify: Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 1) (* 0 0))) into 0 1536829932.204 * [misc]backup-simplify: Simplify 0 into 0 1536829932.204 * [misc]backup-simplify: Simplify (- 0) into 0 1536829932.204 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829932.205 * [misc]backup-simplify: Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1536829932.205 * [misc]backup-simplify: Simplify 0 into 0 1536829932.205 * [misc]backup-simplify: Simplify (- 0) into 0 1536829932.205 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829932.205 * [misc]backup-simplify: Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1536829932.206 * [misc]backup-simplify: Simplify 0 into 0 1536829932.206 * [misc]backup-simplify: Simplify (- 0) into 0 1536829932.206 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829932.207 * [misc]backup-simplify: Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1536829932.207 * [misc]backup-simplify: Simplify 0 into 0 1536829932.207 * [misc]backup-simplify: Simplify (- 0) into 0 1536829932.207 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829932.208 * [misc]backup-simplify: Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 1536829932.208 * [misc]backup-simplify: Simplify 0 into 0 1536829932.208 * [misc]backup-simplify: Simplify (- 0) into 0 1536829932.208 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829932.209 * [misc]backup-simplify: Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 1536829932.209 * [misc]backup-simplify: Simplify 0 into 0 1536829932.209 * [misc]backup-simplify: Simplify (* (- (exp (/ 1 (/ 1 x))) 1) (/ 1 x)) into (/ (- (exp x) 1) x) 1536829932.209 * [misc]backup-simplify: Simplify (/ (expm1 (/ 1 (- x))) (/ 1 (- x))) into (* -1 (* x (expm1 (/ -1 x)))) 1536829932.209 * [misc]approximate: Taking taylor expansion of (* -1 (* x (expm1 (/ -1 x)))) in (x) around 0 1536829932.209 * [misc]taylor: Taking taylor expansion of (* -1 (* x (expm1 (/ -1 x)))) in x 1536829932.209 * [misc]taylor: Taking taylor expansion of -1 in x 1536829932.209 * [misc]backup-simplify: Simplify -1 into -1 1536829932.209 * [misc]taylor: Taking taylor expansion of (* x (expm1 (/ -1 x))) in x 1536829932.209 * [misc]taylor: Taking taylor expansion of x in x 1536829932.209 * [misc]backup-simplify: Simplify 0 into 0 1536829932.209 * [misc]backup-simplify: Simplify 1 into 1 1536829932.209 * [misc]taylor: Taking taylor expansion of (expm1 (/ -1 x)) in x 1536829932.209 * [misc]taylor: Rewrote expression to (- (exp (/ -1 x)) 1) 1536829932.209 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1536829932.209 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1536829932.209 * [misc]taylor: Taking taylor expansion of -1 in x 1536829932.209 * [misc]backup-simplify: Simplify -1 into -1 1536829932.209 * [misc]taylor: Taking taylor expansion of x in x 1536829932.209 * [misc]backup-simplify: Simplify 0 into 0 1536829932.209 * [misc]backup-simplify: Simplify 1 into 1 1536829932.210 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1536829932.210 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1536829932.210 * [misc]taylor: Taking taylor expansion of 1 in x 1536829932.210 * [misc]backup-simplify: Simplify 1 into 1 1536829932.210 * [misc]taylor: Taking taylor expansion of (* -1 (* x (expm1 (/ -1 x)))) in x 1536829932.210 * [misc]taylor: Taking taylor expansion of -1 in x 1536829932.210 * [misc]backup-simplify: Simplify -1 into -1 1536829932.210 * [misc]taylor: Taking taylor expansion of (* x (expm1 (/ -1 x))) in x 1536829932.210 * [misc]taylor: Taking taylor expansion of x in x 1536829932.210 * [misc]backup-simplify: Simplify 0 into 0 1536829932.210 * [misc]backup-simplify: Simplify 1 into 1 1536829932.210 * [misc]taylor: Taking taylor expansion of (expm1 (/ -1 x)) in x 1536829932.210 * [misc]taylor: Rewrote expression to (- (exp (/ -1 x)) 1) 1536829932.210 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1536829932.210 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1536829932.210 * [misc]taylor: Taking taylor expansion of -1 in x 1536829932.210 * [misc]backup-simplify: Simplify -1 into -1 1536829932.210 * [misc]taylor: Taking taylor expansion of x in x 1536829932.210 * [misc]backup-simplify: Simplify 0 into 0 1536829932.210 * [misc]backup-simplify: Simplify 1 into 1 1536829932.210 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1536829932.210 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1536829932.210 * [misc]taylor: Taking taylor expansion of 1 in x 1536829932.211 * [misc]backup-simplify: Simplify 1 into 1 1536829932.211 * [misc]backup-simplify: Simplify (- 1) into -1 1536829932.211 * [misc]backup-simplify: Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1) 1536829932.211 * [misc]backup-simplify: Simplify (* 0 (- (exp (/ -1 x)) 1)) into 0 1536829932.211 * [misc]backup-simplify: Simplify (* -1 0) into 0 1536829932.211 * [misc]backup-simplify: Simplify 0 into 0 1536829932.211 * [misc]backup-simplify: Simplify (- 0) into 0 1536829932.211 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829932.212 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (- (exp (/ -1 x)) 1))) into (- (exp (/ -1 x)) 1) 1536829932.212 * [misc]backup-simplify: Simplify (+ (* -1 (- (exp (/ -1 x)) 1)) (* 0 0)) into (- 1 (exp (/ -1 x))) 1536829932.212 * [misc]backup-simplify: Simplify (- 1 (exp (/ -1 x))) into (- 1 (exp (/ -1 x))) 1536829932.212 * [misc]backup-simplify: Simplify (- 0) into 0 1536829932.212 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829932.213 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- (exp (/ -1 x)) 1)))) into 0 1536829932.213 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0))) into 0 1536829932.213 * [misc]backup-simplify: Simplify 0 into 0 1536829932.213 * [misc]backup-simplify: Simplify (- 0) into 0 1536829932.214 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829932.214 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1))))) into 0 1536829932.215 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0)))) into 0 1536829932.215 * [misc]backup-simplify: Simplify 0 into 0 1536829932.215 * [misc]backup-simplify: Simplify (- 0) into 0 1536829932.215 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829932.215 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1)))))) into 0 1536829932.216 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0))))) into 0 1536829932.216 * [misc]backup-simplify: Simplify 0 into 0 1536829932.216 * [misc]backup-simplify: Simplify (- 0) into 0 1536829932.216 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829932.217 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1))))))) into 0 1536829932.217 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0)))))) into 0 1536829932.217 * [misc]backup-simplify: Simplify 0 into 0 1536829932.217 * [misc]backup-simplify: Simplify (- 0) into 0 1536829932.217 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829932.218 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1)))))))) into 0 1536829932.218 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0))))))) into 0 1536829932.218 * [misc]backup-simplify: Simplify 0 into 0 1536829932.219 * [misc]backup-simplify: Simplify (- 0) into 0 1536829932.219 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829932.219 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1))))))))) into 0 1536829932.220 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0)))))))) into 0 1536829932.220 * [misc]backup-simplify: Simplify 0 into 0 1536829932.220 * [misc]backup-simplify: Simplify (* (- 1 (exp (/ -1 (/ 1 (- x))))) (/ 1 (- x))) into (* -1 (/ (- 1 (exp x)) x)) 1536829932.220 * * * [misc]progress: simplifying candidates 1536829932.220 * * * * [misc]progress: [ 1 / 19 ] simplifiying candidate # 1536829932.220 * * * * [misc]progress: [ 2 / 19 ] simplifiying candidate # 1536829932.220 * * * * [misc]progress: [ 3 / 19 ] simplifiying candidate # 1536829932.220 * * * * [misc]progress: [ 4 / 19 ] simplifiying candidate # 1536829932.220 * * * * [misc]progress: [ 5 / 19 ] simplifiying candidate # 1536829932.220 * * * * [misc]progress: [ 6 / 19 ] simplifiying candidate # 1536829932.220 * * * * [misc]progress: [ 7 / 19 ] simplifiying candidate # 1536829932.220 * * * * [misc]progress: [ 8 / 19 ] simplifiying candidate # 1536829932.220 * * * * [misc]progress: [ 9 / 19 ] simplifiying candidate # 1536829932.220 * * * * [misc]progress: [ 10 / 19 ] simplifiying candidate # 1536829932.221 * [enter]simplify: Simplifying (/ (exp x) x) 1536829932.221 * * [misc]simplify: iters left: 3 (3 enodes) 1536829932.222 * [exit]simplify: Simplified to (/ (exp x) x) 1536829932.222 * [misc]simplify: Simplified (2 1) to (λ (x) (- (/ (exp x) x) (/ 1 x))) 1536829932.222 * * * * [misc]progress: [ 11 / 19 ] simplifiying candidate # 1536829932.222 * * * * [misc]progress: [ 12 / 19 ] simplifiying candidate # 1536829932.222 * * * * [misc]progress: [ 13 / 19 ] simplifiying candidate # 1536829932.222 * * * * [misc]progress: [ 14 / 19 ] simplifiying candidate # 1536829932.222 * [enter]simplify: Simplifying (* (cbrt (expm1 x)) (cbrt (expm1 x))) 1536829932.222 * * [misc]simplify: iters left: 4 (4 enodes) 1536829932.223 * [exit]simplify: Simplified to (* (cbrt (expm1 x)) (cbrt (expm1 x))) 1536829932.223 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (* (cbrt (expm1 x)) (cbrt (expm1 x))) (/ x (cbrt (expm1 x))))) 1536829932.223 * * * * [misc]progress: [ 15 / 19 ] simplifiying candidate # 1536829932.223 * [enter]simplify: Simplifying (sqrt (expm1 x)) 1536829932.224 * * [misc]simplify: iters left: 2 (3 enodes) 1536829932.224 * [exit]simplify: Simplified to (sqrt (expm1 x)) 1536829932.224 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (sqrt (expm1 x)) (/ x (sqrt (expm1 x))))) 1536829932.224 * * * * [misc]progress: [ 16 / 19 ] simplifiying candidate # 1536829932.224 * * * * [misc]progress: [ 17 / 19 ] simplifiying candidate # 1536829932.225 * [enter]simplify: Simplifying (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)) 1536829932.225 * * [misc]simplify: iters left: 6 (10 enodes) 1536829932.228 * * [misc]simplify: iters left: 5 (21 enodes) 1536829932.232 * * [misc]simplify: iters left: 4 (35 enodes) 1536829932.240 * * [misc]simplify: iters left: 3 (56 enodes) 1536829932.249 * * [misc]simplify: iters left: 2 (76 enodes) 1536829932.266 * * [misc]simplify: iters left: 1 (91 enodes) 1536829932.275 * [exit]simplify: Simplified to (fma x (fma x 1/6 1/2) 1) 1536829932.275 * [misc]simplify: Simplified (2) to (λ (x) (fma x (fma x 1/6 1/2) 1)) 1536829932.275 * * * * [misc]progress: [ 18 / 19 ] simplifiying candidate # 1536829932.275 * [enter]simplify: Simplifying (/ (- (exp x) 1) x) 1536829932.275 * * [misc]simplify: iters left: 5 (5 enodes) 1536829932.278 * * [misc]simplify: iters left: 4 (14 enodes) 1536829932.280 * * [misc]simplify: iters left: 3 (16 enodes) 1536829932.282 * * [misc]simplify: iters left: 2 (18 enodes) 1536829932.285 * [exit]simplify: Simplified to (/ (expm1 x) x) 1536829932.285 * [misc]simplify: Simplified (2) to (λ (x) (/ (expm1 x) x)) 1536829932.285 * * * * [misc]progress: [ 19 / 19 ] simplifiying candidate # 1536829932.285 * [enter]simplify: Simplifying (* -1 (/ (- 1 (exp x)) x)) 1536829932.285 * * [misc]simplify: iters left: 6 (7 enodes) 1536829932.288 * * [misc]simplify: iters left: 5 (18 enodes) 1536829932.293 * * [misc]simplify: iters left: 4 (32 enodes) 1536829932.301 * * [misc]simplify: iters left: 3 (55 enodes) 1536829932.313 * * [misc]simplify: iters left: 2 (89 enodes) 1536829932.333 * * [misc]simplify: iters left: 1 (139 enodes) 1536829932.427 * [exit]simplify: Simplified to (fma (/ 1 x) (exp x) (/ -1 x)) 1536829932.428 * [misc]simplify: Simplified (2) to (λ (x) (fma (/ 1 x) (exp x) (/ -1 x))) 1536829932.428 * * * [misc]progress: adding candidates to table 1536829932.641 * * [misc]progress: iteration 2 / 4 1536829932.641 * * * [misc]progress: picking best candidate 1536829932.649 * * * * [misc]pick: Picked # 1536829932.649 * * * [misc]progress: localizing error 1536829932.663 * * * [misc]progress: generating rewritten candidates 1536829932.663 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2) 1536829932.665 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 1 1) 1536829932.697 * * * [misc]progress: generating series expansions 1536829932.698 * * * * [misc]progress: [ 1 / 2 ] generating series at (2) 1536829932.698 * [misc]backup-simplify: Simplify (expm1 (log1p (/ (expm1 x) x))) into (expm1 (log1p (/ (expm1 x) x))) 1536829932.698 * [misc]approximate: Taking taylor expansion of (expm1 (log1p (/ (expm1 x) x))) in (x) around 0 1536829932.698 * [misc]taylor: Taking taylor expansion of (expm1 (log1p (/ (expm1 x) x))) in x 1536829932.698 * [misc]taylor: Rewrote expression to (- (exp (log1p (/ (expm1 x) x))) 1) 1536829932.698 * [misc]taylor: Taking taylor expansion of (exp (log1p (/ (expm1 x) x))) in x 1536829932.698 * [misc]taylor: Taking taylor expansion of (log1p (/ (expm1 x) x)) in x 1536829932.698 * [misc]taylor: Rewrote expression to (log (+ 1 (/ (expm1 x) x))) 1536829932.698 * [misc]taylor: Taking taylor expansion of (+ 1 (/ (expm1 x) x)) in x 1536829932.698 * [misc]taylor: Taking taylor expansion of 1 in x 1536829932.698 * [misc]backup-simplify: Simplify 1 into 1 1536829932.698 * [misc]taylor: Taking taylor expansion of (/ (expm1 x) x) in x 1536829932.698 * [misc]taylor: Taking taylor expansion of (expm1 x) in x 1536829932.698 * [misc]taylor: Rewrote expression to (- (exp x) 1) 1536829932.698 * [misc]taylor: Taking taylor expansion of (exp x) in x 1536829932.698 * [misc]taylor: Taking taylor expansion of x in x 1536829932.698 * [misc]backup-simplify: Simplify 0 into 0 1536829932.699 * [misc]backup-simplify: Simplify 1 into 1 1536829932.699 * [misc]backup-simplify: Simplify (exp 0) into 1 1536829932.699 * [misc]taylor: Taking taylor expansion of 1 in x 1536829932.699 * [misc]backup-simplify: Simplify 1 into 1 1536829932.699 * [misc]taylor: Taking taylor expansion of x in x 1536829932.699 * [misc]backup-simplify: Simplify 0 into 0 1536829932.699 * [misc]backup-simplify: Simplify 1 into 1 1536829932.699 * [misc]backup-simplify: Simplify (- 1) into -1 1536829932.699 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1536829932.701 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1536829932.701 * [misc]backup-simplify: Simplify (- 0) into 0 1536829932.701 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536829932.701 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536829932.701 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1536829932.702 * [misc]backup-simplify: Simplify (log 2) into (log 2) 1536829932.702 * [misc]backup-simplify: Simplify (exp (log 2)) into 2 1536829932.702 * [misc]taylor: Taking taylor expansion of 1 in x 1536829932.702 * [misc]backup-simplify: Simplify 1 into 1 1536829932.702 * [misc]taylor: Taking taylor expansion of (expm1 (log1p (/ (expm1 x) x))) in x 1536829932.702 * [misc]taylor: Rewrote expression to (- (exp (log1p (/ (expm1 x) x))) 1) 1536829932.702 * [misc]taylor: Taking taylor expansion of (exp (log1p (/ (expm1 x) x))) in x 1536829932.702 * [misc]taylor: Taking taylor expansion of (log1p (/ (expm1 x) x)) in x 1536829932.702 * [misc]taylor: Rewrote expression to (log (+ 1 (/ (expm1 x) x))) 1536829932.702 * [misc]taylor: Taking taylor expansion of (+ 1 (/ (expm1 x) x)) in x 1536829932.702 * [misc]taylor: Taking taylor expansion of 1 in x 1536829932.702 * [misc]backup-simplify: Simplify 1 into 1 1536829932.702 * [misc]taylor: Taking taylor expansion of (/ (expm1 x) x) in x 1536829932.703 * [misc]taylor: Taking taylor expansion of (expm1 x) in x 1536829932.703 * [misc]taylor: Rewrote expression to (- (exp x) 1) 1536829932.703 * [misc]taylor: Taking taylor expansion of (exp x) in x 1536829932.703 * [misc]taylor: Taking taylor expansion of x in x 1536829932.703 * [misc]backup-simplify: Simplify 0 into 0 1536829932.703 * [misc]backup-simplify: Simplify 1 into 1 1536829932.703 * [misc]backup-simplify: Simplify (exp 0) into 1 1536829932.703 * [misc]taylor: Taking taylor expansion of 1 in x 1536829932.703 * [misc]backup-simplify: Simplify 1 into 1 1536829932.703 * [misc]taylor: Taking taylor expansion of x in x 1536829932.703 * [misc]backup-simplify: Simplify 0 into 0 1536829932.703 * [misc]backup-simplify: Simplify 1 into 1 1536829932.703 * [misc]backup-simplify: Simplify (- 1) into -1 1536829932.703 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1536829932.705 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1536829932.705 * [misc]backup-simplify: Simplify (- 0) into 0 1536829932.705 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536829932.705 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536829932.705 * [misc]backup-simplify: Simplify (+ 1 1) into 2 1536829932.705 * [misc]backup-simplify: Simplify (log 2) into (log 2) 1536829932.706 * [misc]backup-simplify: Simplify (exp (log 2)) into 2 1536829932.706 * [misc]taylor: Taking taylor expansion of 1 in x 1536829932.706 * [misc]backup-simplify: Simplify 1 into 1 1536829932.706 * [misc]backup-simplify: Simplify (- 1) into -1 1536829932.706 * [misc]backup-simplify: Simplify (+ 2 -1) into 1 1536829932.706 * [misc]backup-simplify: Simplify 1 into 1 1536829932.709 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1536829932.709 * [misc]backup-simplify: Simplify (- 0) into 0 1536829932.709 * [misc]backup-simplify: Simplify (+ 1/2 0) into 1/2 1536829932.710 * [misc]backup-simplify: Simplify (- (/ 1/2 1) (+ (* 1 (/ 0 1)))) into 1/2 1536829932.710 * [misc]backup-simplify: Simplify (+ 0 1/2) into 1/2 1536829932.712 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1/2) 1)) (pow 2 1)))) 1) into 1/4 1536829932.714 * [misc]backup-simplify: Simplify (* (exp (log 2)) (+ (* (/ (pow 1/4 1) 1)))) into 1/2 1536829932.714 * [misc]backup-simplify: Simplify (- 0) into 0 1536829932.714 * [misc]backup-simplify: Simplify (+ 1/2 0) into 1/2 1536829932.714 * [misc]backup-simplify: Simplify 1/2 into 1/2 1536829932.719 * [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 1536829932.720 * [misc]backup-simplify: Simplify (- 0) into 0 1536829932.720 * [misc]backup-simplify: Simplify (+ 1/6 0) into 1/6 1536829932.720 * [misc]backup-simplify: Simplify (- (/ 1/6 1) (+ (* 1 (/ 0 1)) (* 1/2 (/ 0 1)))) into 1/6 1536829932.720 * [misc]backup-simplify: Simplify (+ 0 1/6) into 1/6 1536829932.725 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1/2) 2)) (pow 2 2))) (* 1 (/ (* 1 (pow (* 2 1/6) 1)) (pow 2 1)))) 2) into 5/96 1536829932.728 * [misc]backup-simplify: Simplify (* (exp (log 2)) (+ (* (/ (pow 1/4 2) 2)) (* (/ (pow 5/96 1) 1)))) into 1/6 1536829932.728 * [misc]backup-simplify: Simplify (- 0) into 0 1536829932.728 * [misc]backup-simplify: Simplify (+ 1/6 0) into 1/6 1536829932.728 * [misc]backup-simplify: Simplify 1/6 into 1/6 1536829932.728 * [misc]backup-simplify: Simplify (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1)) into (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)) 1536829932.728 * [misc]backup-simplify: Simplify (expm1 (log1p (/ (expm1 (/ 1 x)) (/ 1 x)))) into (expm1 (log1p (* (expm1 (/ 1 x)) x))) 1536829932.728 * [misc]approximate: Taking taylor expansion of (expm1 (log1p (* (expm1 (/ 1 x)) x))) in (x) around 0 1536829932.729 * [misc]taylor: Taking taylor expansion of (expm1 (log1p (* (expm1 (/ 1 x)) x))) in x 1536829932.729 * [misc]taylor: Rewrote expression to (- (exp (log1p (* (expm1 (/ 1 x)) x))) 1) 1536829932.729 * [misc]taylor: Taking taylor expansion of (exp (log1p (* (expm1 (/ 1 x)) x))) in x 1536829932.729 * [misc]taylor: Taking taylor expansion of (log1p (* (expm1 (/ 1 x)) x)) in x 1536829932.729 * [misc]taylor: Rewrote expression to (log (+ 1 (* (expm1 (/ 1 x)) x))) 1536829932.729 * [misc]taylor: Taking taylor expansion of (+ 1 (* (expm1 (/ 1 x)) x)) in x 1536829932.729 * [misc]taylor: Taking taylor expansion of 1 in x 1536829932.729 * [misc]backup-simplify: Simplify 1 into 1 1536829932.729 * [misc]taylor: Taking taylor expansion of (* (expm1 (/ 1 x)) x) in x 1536829932.729 * [misc]taylor: Taking taylor expansion of (expm1 (/ 1 x)) in x 1536829932.729 * [misc]taylor: Rewrote expression to (- (exp (/ 1 x)) 1) 1536829932.729 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1536829932.729 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1536829932.729 * [misc]taylor: Taking taylor expansion of x in x 1536829932.729 * [misc]backup-simplify: Simplify 0 into 0 1536829932.729 * [misc]backup-simplify: Simplify 1 into 1 1536829932.729 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536829932.729 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1536829932.729 * [misc]taylor: Taking taylor expansion of 1 in x 1536829932.729 * [misc]backup-simplify: Simplify 1 into 1 1536829932.729 * [misc]taylor: Taking taylor expansion of x in x 1536829932.729 * [misc]backup-simplify: Simplify 0 into 0 1536829932.729 * [misc]backup-simplify: Simplify 1 into 1 1536829932.730 * [misc]backup-simplify: Simplify (- 1) into -1 1536829932.730 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1) 1536829932.730 * [misc]backup-simplify: Simplify (* (- (exp (/ 1 x)) 1) 0) into 0 1536829932.730 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536829932.730 * [misc]backup-simplify: Simplify (log 1) into 0 1536829932.730 * [misc]backup-simplify: Simplify (- 0) into 0 1536829932.730 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829932.731 * [misc]backup-simplify: Simplify (+ (* (- (exp (/ 1 x)) 1) 1) (* 0 0)) into (- (exp (/ 1 x)) 1) 1536829932.731 * [misc]backup-simplify: Simplify (+ 0 (- (exp (/ 1 x)) 1)) into (- (exp (/ 1 x)) 1) 1536829932.732 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- (exp (/ 1 x)) 1)) 1)) (pow 1 1)))) 1) into (- (exp (/ 1 x)) 1) 1536829932.732 * [misc]backup-simplify: Simplify (exp 0) into 1 1536829932.732 * [misc]taylor: Taking taylor expansion of 1 in x 1536829932.732 * [misc]backup-simplify: Simplify 1 into 1 1536829932.732 * [misc]taylor: Taking taylor expansion of (expm1 (log1p (* (expm1 (/ 1 x)) x))) in x 1536829932.732 * [misc]taylor: Rewrote expression to (- (exp (log1p (* (expm1 (/ 1 x)) x))) 1) 1536829932.732 * [misc]taylor: Taking taylor expansion of (exp (log1p (* (expm1 (/ 1 x)) x))) in x 1536829932.732 * [misc]taylor: Taking taylor expansion of (log1p (* (expm1 (/ 1 x)) x)) in x 1536829932.732 * [misc]taylor: Rewrote expression to (log (+ 1 (* (expm1 (/ 1 x)) x))) 1536829932.732 * [misc]taylor: Taking taylor expansion of (+ 1 (* (expm1 (/ 1 x)) x)) in x 1536829932.732 * [misc]taylor: Taking taylor expansion of 1 in x 1536829932.732 * [misc]backup-simplify: Simplify 1 into 1 1536829932.732 * [misc]taylor: Taking taylor expansion of (* (expm1 (/ 1 x)) x) in x 1536829932.732 * [misc]taylor: Taking taylor expansion of (expm1 (/ 1 x)) in x 1536829932.732 * [misc]taylor: Rewrote expression to (- (exp (/ 1 x)) 1) 1536829932.732 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1536829932.732 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1536829932.732 * [misc]taylor: Taking taylor expansion of x in x 1536829932.732 * [misc]backup-simplify: Simplify 0 into 0 1536829932.732 * [misc]backup-simplify: Simplify 1 into 1 1536829932.732 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536829932.732 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1536829932.732 * [misc]taylor: Taking taylor expansion of 1 in x 1536829932.733 * [misc]backup-simplify: Simplify 1 into 1 1536829932.733 * [misc]taylor: Taking taylor expansion of x in x 1536829932.733 * [misc]backup-simplify: Simplify 0 into 0 1536829932.733 * [misc]backup-simplify: Simplify 1 into 1 1536829932.733 * [misc]backup-simplify: Simplify (- 1) into -1 1536829932.733 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1) 1536829932.733 * [misc]backup-simplify: Simplify (* (- (exp (/ 1 x)) 1) 0) into 0 1536829932.733 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536829932.733 * [misc]backup-simplify: Simplify (log 1) into 0 1536829932.733 * [misc]backup-simplify: Simplify (- 0) into 0 1536829932.734 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829932.734 * [misc]backup-simplify: Simplify (+ (* (- (exp (/ 1 x)) 1) 1) (* 0 0)) into (- (exp (/ 1 x)) 1) 1536829932.734 * [misc]backup-simplify: Simplify (+ 0 (- (exp (/ 1 x)) 1)) into (- (exp (/ 1 x)) 1) 1536829932.735 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- (exp (/ 1 x)) 1)) 1)) (pow 1 1)))) 1) into (- (exp (/ 1 x)) 1) 1536829932.735 * [misc]backup-simplify: Simplify (exp 0) into 1 1536829932.735 * [misc]taylor: Taking taylor expansion of 1 in x 1536829932.735 * [misc]backup-simplify: Simplify 1 into 1 1536829932.735 * [misc]backup-simplify: Simplify (- 1) into -1 1536829932.735 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1536829932.735 * [misc]backup-simplify: Simplify 0 into 0 1536829932.736 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow (- (exp (/ 1 x)) 1) 1) 1)))) into (- (exp (/ 1 x)) 1) 1536829932.736 * [misc]backup-simplify: Simplify (- 0) into 0 1536829932.736 * [misc]backup-simplify: Simplify (+ (- (exp (/ 1 x)) 1) 0) into (- (exp (/ 1 x)) 1) 1536829932.736 * [misc]backup-simplify: Simplify (- (exp (/ 1 x)) 1) into (- (exp (/ 1 x)) 1) 1536829932.736 * [misc]backup-simplify: Simplify (- 0) into 0 1536829932.736 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829932.737 * [misc]backup-simplify: Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 1) (* 0 0))) into 0 1536829932.737 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829932.740 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (- (exp (/ 1 x)) 1)) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into (* 1/2 (- (* 2 (exp (/ 1 x))) (+ (pow (exp (/ 1 x)) 2) 1))) 1536829932.742 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow (- (exp (/ 1 x)) 1) 2) 2)) (* (/ (pow (* 1/2 (- (* 2 (exp (/ 1 x))) (+ (pow (exp (/ 1 x)) 2) 1))) 1) 1)))) into 0 1536829932.742 * [misc]backup-simplify: Simplify (- 0) into 0 1536829932.742 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829932.742 * [misc]backup-simplify: Simplify 0 into 0 1536829932.743 * [misc]backup-simplify: Simplify (- 0) into 0 1536829932.743 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829932.743 * [misc]backup-simplify: Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1536829932.743 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829932.749 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 (- (exp (/ 1 x)) 1)) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 (- (exp (/ 1 x)) 1)) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into (* 1/6 (- (+ (* 2 (pow (exp (/ 1 x)) 3)) (* 6 (exp (/ 1 x)))) (+ (* 6 (pow (exp (/ 1 x)) 2)) 2))) 1536829932.756 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow (- (exp (/ 1 x)) 1) 3) 6)) (* (/ (pow (- (exp (/ 1 x)) 1) 1) 1) (/ (pow (* 1/2 (- (* 2 (exp (/ 1 x))) (+ (pow (exp (/ 1 x)) 2) 1))) 1) 1)) (* (/ (pow (* 1/6 (- (+ (* 2 (pow (exp (/ 1 x)) 3)) (* 6 (exp (/ 1 x)))) (+ (* 6 (pow (exp (/ 1 x)) 2)) 2))) 1) 1)))) into 0 1536829932.756 * [misc]backup-simplify: Simplify (- 0) into 0 1536829932.756 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829932.756 * [misc]backup-simplify: Simplify 0 into 0 1536829932.757 * [misc]backup-simplify: Simplify (- 0) into 0 1536829932.757 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829932.757 * [misc]backup-simplify: Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1536829932.757 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829932.767 * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 (- (exp (/ 1 x)) 1)) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 (- (exp (/ 1 x)) 1)) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 (- (exp (/ 1 x)) 1)) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into (* 1/24 (- (+ (* 24 (pow (exp (/ 1 x)) 3)) (* 24 (exp (/ 1 x)))) (+ (* 36 (pow (exp (/ 1 x)) 2)) (+ (* 6 (pow (exp (/ 1 x)) 4)) 6)))) 1536829932.781 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow (- (exp (/ 1 x)) 1) 4) 24)) (* (/ (pow (- (exp (/ 1 x)) 1) 2) 2) (/ (pow (* 1/2 (- (* 2 (exp (/ 1 x))) (+ (pow (exp (/ 1 x)) 2) 1))) 1) 1)) (* (/ (pow (- (exp (/ 1 x)) 1) 1) 1) (/ (pow (* 1/6 (- (+ (* 2 (pow (exp (/ 1 x)) 3)) (* 6 (exp (/ 1 x)))) (+ (* 6 (pow (exp (/ 1 x)) 2)) 2))) 1) 1)) (* (/ (pow (* 1/2 (- (* 2 (exp (/ 1 x))) (+ (pow (exp (/ 1 x)) 2) 1))) 2) 2)) (* (/ (pow (* 1/24 (- (+ (* 24 (pow (exp (/ 1 x)) 3)) (* 24 (exp (/ 1 x)))) (+ (* 36 (pow (exp (/ 1 x)) 2)) (+ (* 6 (pow (exp (/ 1 x)) 4)) 6)))) 1) 1)))) into 0 1536829932.781 * [misc]backup-simplify: Simplify (- 0) into 0 1536829932.782 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829932.782 * [misc]backup-simplify: Simplify 0 into 0 1536829932.782 * [misc]backup-simplify: Simplify (- 0) into 0 1536829932.782 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829932.783 * [misc]backup-simplify: Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1536829932.783 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829932.793 * [misc]backup-simplify: Simplify (/ (+ (* 24 (/ (* (pow (* 1 (- (exp (/ 1 x)) 1)) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 (- (exp (/ 1 x)) 1)) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 (- (exp (/ 1 x)) 1)) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 (- (exp (/ 1 x)) 1)) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 (- (exp (/ 1 x)) 1)) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into (* 1/120 (- (+ (* 240 (pow (exp (/ 1 x)) 3)) (+ (* 120 (exp (/ 1 x))) (* 24 (pow (exp (/ 1 x)) 5)))) (+ (* 240 (pow (exp (/ 1 x)) 2)) (+ 24 (* 120 (pow (exp (/ 1 x)) 4)))))) 1536829932.822 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow (- (exp (/ 1 x)) 1) 5) 120)) (* (/ (pow (- (exp (/ 1 x)) 1) 3) 6) (/ (pow (* 1/2 (- (* 2 (exp (/ 1 x))) (+ (pow (exp (/ 1 x)) 2) 1))) 1) 1)) (* (/ (pow (- (exp (/ 1 x)) 1) 2) 2) (/ (pow (* 1/6 (- (+ (* 2 (pow (exp (/ 1 x)) 3)) (* 6 (exp (/ 1 x)))) (+ (* 6 (pow (exp (/ 1 x)) 2)) 2))) 1) 1)) (* (/ (pow (- (exp (/ 1 x)) 1) 1) 1) (/ (pow (* 1/2 (- (* 2 (exp (/ 1 x))) (+ (pow (exp (/ 1 x)) 2) 1))) 2) 2)) (* (/ (pow (- (exp (/ 1 x)) 1) 1) 1) (/ (pow (* 1/24 (- (+ (* 24 (pow (exp (/ 1 x)) 3)) (* 24 (exp (/ 1 x)))) (+ (* 36 (pow (exp (/ 1 x)) 2)) (+ (* 6 (pow (exp (/ 1 x)) 4)) 6)))) 1) 1)) (* (/ (pow (* 1/2 (- (* 2 (exp (/ 1 x))) (+ (pow (exp (/ 1 x)) 2) 1))) 1) 1) (/ (pow (* 1/6 (- (+ (* 2 (pow (exp (/ 1 x)) 3)) (* 6 (exp (/ 1 x)))) (+ (* 6 (pow (exp (/ 1 x)) 2)) 2))) 1) 1)) (* (/ (pow (* 1/120 (- (+ (* 240 (pow (exp (/ 1 x)) 3)) (+ (* 120 (exp (/ 1 x))) (* 24 (pow (exp (/ 1 x)) 5)))) (+ (* 240 (pow (exp (/ 1 x)) 2)) (+ 24 (* 120 (pow (exp (/ 1 x)) 4)))))) 1) 1)))) into 0 1536829932.823 * [misc]backup-simplify: Simplify (- 0) into 0 1536829932.823 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829932.823 * [misc]backup-simplify: Simplify 0 into 0 1536829932.823 * [misc]backup-simplify: Simplify (- 0) into 0 1536829932.823 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829932.823 * [misc]backup-simplify: Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 1536829932.824 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829932.842 * [misc]backup-simplify: Simplify (/ (+ (* -120 (/ (* (pow (* 1 (- (exp (/ 1 x)) 1)) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 (- (exp (/ 1 x)) 1)) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 (- (exp (/ 1 x)) 1)) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 (- (exp (/ 1 x)) 1)) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 (- (exp (/ 1 x)) 1)) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 (- (exp (/ 1 x)) 1)) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 (- (exp (/ 1 x)) 1)) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into (* 1/720 (- (+ (* 2400 (pow (exp (/ 1 x)) 3)) (+ (* 720 (exp (/ 1 x))) (* 720 (pow (exp (/ 1 x)) 5)))) (+ (* 1800 (pow (exp (/ 1 x)) 2)) (+ 120 (+ (* 120 (pow (exp (/ 1 x)) 6)) (* 1800 (pow (exp (/ 1 x)) 4))))))) 1536829932.907 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow (- (exp (/ 1 x)) 1) 6) 720)) (* (/ (pow (- (exp (/ 1 x)) 1) 4) 24) (/ (pow (* 1/2 (- (* 2 (exp (/ 1 x))) (+ (pow (exp (/ 1 x)) 2) 1))) 1) 1)) (* (/ (pow (- (exp (/ 1 x)) 1) 3) 6) (/ (pow (* 1/6 (- (+ (* 2 (pow (exp (/ 1 x)) 3)) (* 6 (exp (/ 1 x)))) (+ (* 6 (pow (exp (/ 1 x)) 2)) 2))) 1) 1)) (* (/ (pow (- (exp (/ 1 x)) 1) 2) 2) (/ (pow (* 1/2 (- (* 2 (exp (/ 1 x))) (+ (pow (exp (/ 1 x)) 2) 1))) 2) 2)) (* (/ (pow (- (exp (/ 1 x)) 1) 2) 2) (/ (pow (* 1/24 (- (+ (* 24 (pow (exp (/ 1 x)) 3)) (* 24 (exp (/ 1 x)))) (+ (* 36 (pow (exp (/ 1 x)) 2)) (+ (* 6 (pow (exp (/ 1 x)) 4)) 6)))) 1) 1)) (* (/ (pow (- (exp (/ 1 x)) 1) 1) 1) (/ (pow (* 1/2 (- (* 2 (exp (/ 1 x))) (+ (pow (exp (/ 1 x)) 2) 1))) 1) 1) (/ (pow (* 1/6 (- (+ (* 2 (pow (exp (/ 1 x)) 3)) (* 6 (exp (/ 1 x)))) (+ (* 6 (pow (exp (/ 1 x)) 2)) 2))) 1) 1)) (* (/ (pow (- (exp (/ 1 x)) 1) 1) 1) (/ (pow (* 1/120 (- (+ (* 240 (pow (exp (/ 1 x)) 3)) (+ (* 120 (exp (/ 1 x))) (* 24 (pow (exp (/ 1 x)) 5)))) (+ (* 240 (pow (exp (/ 1 x)) 2)) (+ 24 (* 120 (pow (exp (/ 1 x)) 4)))))) 1) 1)) (* (/ (pow (* 1/2 (- (* 2 (exp (/ 1 x))) (+ (pow (exp (/ 1 x)) 2) 1))) 3) 6)) (* (/ (pow (* 1/2 (- (* 2 (exp (/ 1 x))) (+ (pow (exp (/ 1 x)) 2) 1))) 1) 1) (/ (pow (* 1/24 (- (+ (* 24 (pow (exp (/ 1 x)) 3)) (* 24 (exp (/ 1 x)))) (+ (* 36 (pow (exp (/ 1 x)) 2)) (+ (* 6 (pow (exp (/ 1 x)) 4)) 6)))) 1) 1)) (* (/ (pow (* 1/6 (- (+ (* 2 (pow (exp (/ 1 x)) 3)) (* 6 (exp (/ 1 x)))) (+ (* 6 (pow (exp (/ 1 x)) 2)) 2))) 2) 2)) (* (/ (pow (* 1/720 (- (+ (* 2400 (pow (exp (/ 1 x)) 3)) (+ (* 720 (exp (/ 1 x))) (* 720 (pow (exp (/ 1 x)) 5)))) (+ (* 1800 (pow (exp (/ 1 x)) 2)) (+ 120 (+ (* 120 (pow (exp (/ 1 x)) 6)) (* 1800 (pow (exp (/ 1 x)) 4))))))) 1) 1)))) into 0 1536829932.907 * [misc]backup-simplify: Simplify (- 0) into 0 1536829932.907 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829932.907 * [misc]backup-simplify: Simplify 0 into 0 1536829932.907 * [misc]backup-simplify: Simplify (- 0) into 0 1536829932.908 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829932.908 * [misc]backup-simplify: Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 1536829932.908 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829932.945 * [misc]backup-simplify: Simplify (/ (+ (* 720 (/ (* (pow (* 1 (- (exp (/ 1 x)) 1)) 7)) (pow 1 7))) (* -2520 (/ (* (pow (* 1 (- (exp (/ 1 x)) 1)) 5) (pow (* 2 0) 1)) (pow 1 6))) (* 2520 (/ (* (pow (* 1 (- (exp (/ 1 x)) 1)) 3) (pow (* 2 0) 2)) (pow 1 5))) (* 840 (/ (* (pow (* 1 (- (exp (/ 1 x)) 1)) 4) 1 (pow (* 6 0) 1)) (pow 1 5))) (* -630 (/ (* (pow (* 1 (- (exp (/ 1 x)) 1)) 1) (pow (* 2 0) 3)) (pow 1 4))) (* -1260 (/ (* (pow (* 1 (- (exp (/ 1 x)) 1)) 2) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 4))) (* -210 (/ (* (pow (* 1 (- (exp (/ 1 x)) 1)) 3) 1 1 (pow (* 24 0) 1)) (pow 1 4))) (* 210 (/ (* 1 (pow (* 2 0) 2) (pow (* 6 0) 1)) (pow 1 3))) (* 140 (/ (* (pow (* 1 (- (exp (/ 1 x)) 1)) 1) 1 (pow (* 6 0) 2)) (pow 1 3))) (* 210 (/ (* (pow (* 1 (- (exp (/ 1 x)) 1)) 1) (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 3))) (* 42 (/ (* (pow (* 1 (- (exp (/ 1 x)) 1)) 2) 1 1 1 (pow (* 120 0) 1)) (pow 1 3))) (* -35 (/ (* 1 1 (pow (* 6 0) 1) (pow (* 24 0) 1)) (pow 1 2))) (* -21 (/ (* 1 (pow (* 2 0) 1) 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* -7 (/ (* (pow (* 1 (- (exp (/ 1 x)) 1)) 1) 1 1 1 1 (pow (* 720 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 1 (pow (* 5040 0) 1)) (pow 1 1)))) 5040) into (* 1/5040 (- (+ (* 25200 (pow (exp (/ 1 x)) 3)) (+ (* 720 (pow (exp (/ 1 x)) 7)) (+ (* 5040 (exp (/ 1 x))) (* 15120 (pow (exp (/ 1 x)) 5))))) (+ (* 15120 (pow (exp (/ 1 x)) 2)) (+ (* 5040 (pow (exp (/ 1 x)) 6)) (+ 720 (* 25200 (pow (exp (/ 1 x)) 4))))))) 1536829933.103 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow (- (exp (/ 1 x)) 1) 7) 5040)) (* (/ (pow (- (exp (/ 1 x)) 1) 5) 120) (/ (pow (* 1/2 (- (* 2 (exp (/ 1 x))) (+ (pow (exp (/ 1 x)) 2) 1))) 1) 1)) (* (/ (pow (- (exp (/ 1 x)) 1) 4) 24) (/ (pow (* 1/6 (- (+ (* 2 (pow (exp (/ 1 x)) 3)) (* 6 (exp (/ 1 x)))) (+ (* 6 (pow (exp (/ 1 x)) 2)) 2))) 1) 1)) (* (/ (pow (- (exp (/ 1 x)) 1) 3) 6) (/ (pow (* 1/2 (- (* 2 (exp (/ 1 x))) (+ (pow (exp (/ 1 x)) 2) 1))) 2) 2)) (* (/ (pow (- (exp (/ 1 x)) 1) 3) 6) (/ (pow (* 1/24 (- (+ (* 24 (pow (exp (/ 1 x)) 3)) (* 24 (exp (/ 1 x)))) (+ (* 36 (pow (exp (/ 1 x)) 2)) (+ (* 6 (pow (exp (/ 1 x)) 4)) 6)))) 1) 1)) (* (/ (pow (- (exp (/ 1 x)) 1) 2) 2) (/ (pow (* 1/2 (- (* 2 (exp (/ 1 x))) (+ (pow (exp (/ 1 x)) 2) 1))) 1) 1) (/ (pow (* 1/6 (- (+ (* 2 (pow (exp (/ 1 x)) 3)) (* 6 (exp (/ 1 x)))) (+ (* 6 (pow (exp (/ 1 x)) 2)) 2))) 1) 1)) (* (/ (pow (- (exp (/ 1 x)) 1) 2) 2) (/ (pow (* 1/120 (- (+ (* 240 (pow (exp (/ 1 x)) 3)) (+ (* 120 (exp (/ 1 x))) (* 24 (pow (exp (/ 1 x)) 5)))) (+ (* 240 (pow (exp (/ 1 x)) 2)) (+ 24 (* 120 (pow (exp (/ 1 x)) 4)))))) 1) 1)) (* (/ (pow (- (exp (/ 1 x)) 1) 1) 1) (/ (pow (* 1/2 (- (* 2 (exp (/ 1 x))) (+ (pow (exp (/ 1 x)) 2) 1))) 3) 6)) (* (/ (pow (- (exp (/ 1 x)) 1) 1) 1) (/ (pow (* 1/2 (- (* 2 (exp (/ 1 x))) (+ (pow (exp (/ 1 x)) 2) 1))) 1) 1) (/ (pow (* 1/24 (- (+ (* 24 (pow (exp (/ 1 x)) 3)) (* 24 (exp (/ 1 x)))) (+ (* 36 (pow (exp (/ 1 x)) 2)) (+ (* 6 (pow (exp (/ 1 x)) 4)) 6)))) 1) 1)) (* (/ (pow (- (exp (/ 1 x)) 1) 1) 1) (/ (pow (* 1/6 (- (+ (* 2 (pow (exp (/ 1 x)) 3)) (* 6 (exp (/ 1 x)))) (+ (* 6 (pow (exp (/ 1 x)) 2)) 2))) 2) 2)) (* (/ (pow (- (exp (/ 1 x)) 1) 1) 1) (/ (pow (* 1/720 (- (+ (* 2400 (pow (exp (/ 1 x)) 3)) (+ (* 720 (exp (/ 1 x))) (* 720 (pow (exp (/ 1 x)) 5)))) (+ (* 1800 (pow (exp (/ 1 x)) 2)) (+ 120 (+ (* 120 (pow (exp (/ 1 x)) 6)) (* 1800 (pow (exp (/ 1 x)) 4))))))) 1) 1)) (* (/ (pow (* 1/2 (- (* 2 (exp (/ 1 x))) (+ (pow (exp (/ 1 x)) 2) 1))) 2) 2) (/ (pow (* 1/6 (- (+ (* 2 (pow (exp (/ 1 x)) 3)) (* 6 (exp (/ 1 x)))) (+ (* 6 (pow (exp (/ 1 x)) 2)) 2))) 1) 1)) (* (/ (pow (* 1/2 (- (* 2 (exp (/ 1 x))) (+ (pow (exp (/ 1 x)) 2) 1))) 1) 1) (/ (pow (* 1/120 (- (+ (* 240 (pow (exp (/ 1 x)) 3)) (+ (* 120 (exp (/ 1 x))) (* 24 (pow (exp (/ 1 x)) 5)))) (+ (* 240 (pow (exp (/ 1 x)) 2)) (+ 24 (* 120 (pow (exp (/ 1 x)) 4)))))) 1) 1)) (* (/ (pow (* 1/6 (- (+ (* 2 (pow (exp (/ 1 x)) 3)) (* 6 (exp (/ 1 x)))) (+ (* 6 (pow (exp (/ 1 x)) 2)) 2))) 1) 1) (/ (pow (* 1/24 (- (+ (* 24 (pow (exp (/ 1 x)) 3)) (* 24 (exp (/ 1 x)))) (+ (* 36 (pow (exp (/ 1 x)) 2)) (+ (* 6 (pow (exp (/ 1 x)) 4)) 6)))) 1) 1)) (* (/ (pow (* 1/5040 (- (+ (* 25200 (pow (exp (/ 1 x)) 3)) (+ (* 720 (pow (exp (/ 1 x)) 7)) (+ (* 5040 (exp (/ 1 x))) (* 15120 (pow (exp (/ 1 x)) 5))))) (+ (* 15120 (pow (exp (/ 1 x)) 2)) (+ (* 5040 (pow (exp (/ 1 x)) 6)) (+ 720 (* 25200 (pow (exp (/ 1 x)) 4))))))) 1) 1)))) into 0 1536829933.103 * [misc]backup-simplify: Simplify (- 0) into 0 1536829933.103 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829933.104 * [misc]backup-simplify: Simplify 0 into 0 1536829933.104 * [misc]backup-simplify: Simplify (* (- (exp (/ 1 (/ 1 x))) 1) (/ 1 x)) into (/ (- (exp x) 1) x) 1536829933.104 * [misc]backup-simplify: Simplify (expm1 (log1p (/ (expm1 (/ 1 (- x))) (/ 1 (- x))))) into (expm1 (log1p (* -1 (* x (expm1 (/ -1 x)))))) 1536829933.104 * [misc]approximate: Taking taylor expansion of (expm1 (log1p (* -1 (* x (expm1 (/ -1 x)))))) in (x) around 0 1536829933.104 * [misc]taylor: Taking taylor expansion of (expm1 (log1p (* -1 (* x (expm1 (/ -1 x)))))) in x 1536829933.104 * [misc]taylor: Rewrote expression to (- (exp (log1p (* -1 (* x (expm1 (/ -1 x)))))) 1) 1536829933.104 * [misc]taylor: Taking taylor expansion of (exp (log1p (* -1 (* x (expm1 (/ -1 x)))))) in x 1536829933.104 * [misc]taylor: Taking taylor expansion of (log1p (* -1 (* x (expm1 (/ -1 x))))) in x 1536829933.104 * [misc]taylor: Rewrote expression to (log (+ 1 (* -1 (* x (expm1 (/ -1 x)))))) 1536829933.104 * [misc]taylor: Taking taylor expansion of (+ 1 (* -1 (* x (expm1 (/ -1 x))))) in x 1536829933.104 * [misc]taylor: Taking taylor expansion of 1 in x 1536829933.104 * [misc]backup-simplify: Simplify 1 into 1 1536829933.104 * [misc]taylor: Taking taylor expansion of (* -1 (* x (expm1 (/ -1 x)))) in x 1536829933.104 * [misc]taylor: Taking taylor expansion of -1 in x 1536829933.104 * [misc]backup-simplify: Simplify -1 into -1 1536829933.104 * [misc]taylor: Taking taylor expansion of (* x (expm1 (/ -1 x))) in x 1536829933.104 * [misc]taylor: Taking taylor expansion of x in x 1536829933.104 * [misc]backup-simplify: Simplify 0 into 0 1536829933.104 * [misc]backup-simplify: Simplify 1 into 1 1536829933.104 * [misc]taylor: Taking taylor expansion of (expm1 (/ -1 x)) in x 1536829933.104 * [misc]taylor: Rewrote expression to (- (exp (/ -1 x)) 1) 1536829933.104 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1536829933.104 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1536829933.104 * [misc]taylor: Taking taylor expansion of -1 in x 1536829933.104 * [misc]backup-simplify: Simplify -1 into -1 1536829933.104 * [misc]taylor: Taking taylor expansion of x in x 1536829933.104 * [misc]backup-simplify: Simplify 0 into 0 1536829933.104 * [misc]backup-simplify: Simplify 1 into 1 1536829933.104 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1536829933.104 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1536829933.104 * [misc]taylor: Taking taylor expansion of 1 in x 1536829933.104 * [misc]backup-simplify: Simplify 1 into 1 1536829933.105 * [misc]backup-simplify: Simplify (- 1) into -1 1536829933.105 * [misc]backup-simplify: Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1) 1536829933.105 * [misc]backup-simplify: Simplify (* 0 (- (exp (/ -1 x)) 1)) into 0 1536829933.105 * [misc]backup-simplify: Simplify (* -1 0) into 0 1536829933.105 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536829933.105 * [misc]backup-simplify: Simplify (log 1) into 0 1536829933.105 * [misc]backup-simplify: Simplify (- 0) into 0 1536829933.105 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829933.105 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (- (exp (/ -1 x)) 1))) into (- (exp (/ -1 x)) 1) 1536829933.106 * [misc]backup-simplify: Simplify (+ (* -1 (- (exp (/ -1 x)) 1)) (* 0 0)) into (- 1 (exp (/ -1 x))) 1536829933.106 * [misc]backup-simplify: Simplify (+ 0 (- 1 (exp (/ -1 x)))) into (- 1 (exp (/ -1 x))) 1536829933.106 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- 1 (exp (/ -1 x)))) 1)) (pow 1 1)))) 1) into (- 1 (exp (/ -1 x))) 1536829933.106 * [misc]backup-simplify: Simplify (exp 0) into 1 1536829933.106 * [misc]taylor: Taking taylor expansion of 1 in x 1536829933.106 * [misc]backup-simplify: Simplify 1 into 1 1536829933.106 * [misc]taylor: Taking taylor expansion of (expm1 (log1p (* -1 (* x (expm1 (/ -1 x)))))) in x 1536829933.106 * [misc]taylor: Rewrote expression to (- (exp (log1p (* -1 (* x (expm1 (/ -1 x)))))) 1) 1536829933.106 * [misc]taylor: Taking taylor expansion of (exp (log1p (* -1 (* x (expm1 (/ -1 x)))))) in x 1536829933.106 * [misc]taylor: Taking taylor expansion of (log1p (* -1 (* x (expm1 (/ -1 x))))) in x 1536829933.106 * [misc]taylor: Rewrote expression to (log (+ 1 (* -1 (* x (expm1 (/ -1 x)))))) 1536829933.106 * [misc]taylor: Taking taylor expansion of (+ 1 (* -1 (* x (expm1 (/ -1 x))))) in x 1536829933.106 * [misc]taylor: Taking taylor expansion of 1 in x 1536829933.106 * [misc]backup-simplify: Simplify 1 into 1 1536829933.106 * [misc]taylor: Taking taylor expansion of (* -1 (* x (expm1 (/ -1 x)))) in x 1536829933.106 * [misc]taylor: Taking taylor expansion of -1 in x 1536829933.106 * [misc]backup-simplify: Simplify -1 into -1 1536829933.106 * [misc]taylor: Taking taylor expansion of (* x (expm1 (/ -1 x))) in x 1536829933.106 * [misc]taylor: Taking taylor expansion of x in x 1536829933.106 * [misc]backup-simplify: Simplify 0 into 0 1536829933.106 * [misc]backup-simplify: Simplify 1 into 1 1536829933.106 * [misc]taylor: Taking taylor expansion of (expm1 (/ -1 x)) in x 1536829933.106 * [misc]taylor: Rewrote expression to (- (exp (/ -1 x)) 1) 1536829933.106 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1536829933.106 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1536829933.106 * [misc]taylor: Taking taylor expansion of -1 in x 1536829933.107 * [misc]backup-simplify: Simplify -1 into -1 1536829933.107 * [misc]taylor: Taking taylor expansion of x in x 1536829933.107 * [misc]backup-simplify: Simplify 0 into 0 1536829933.107 * [misc]backup-simplify: Simplify 1 into 1 1536829933.107 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1536829933.107 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1536829933.107 * [misc]taylor: Taking taylor expansion of 1 in x 1536829933.107 * [misc]backup-simplify: Simplify 1 into 1 1536829933.107 * [misc]backup-simplify: Simplify (- 1) into -1 1536829933.107 * [misc]backup-simplify: Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1) 1536829933.107 * [misc]backup-simplify: Simplify (* 0 (- (exp (/ -1 x)) 1)) into 0 1536829933.107 * [misc]backup-simplify: Simplify (* -1 0) into 0 1536829933.107 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536829933.107 * [misc]backup-simplify: Simplify (log 1) into 0 1536829933.107 * [misc]backup-simplify: Simplify (- 0) into 0 1536829933.108 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829933.108 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (- (exp (/ -1 x)) 1))) into (- (exp (/ -1 x)) 1) 1536829933.108 * [misc]backup-simplify: Simplify (+ (* -1 (- (exp (/ -1 x)) 1)) (* 0 0)) into (- 1 (exp (/ -1 x))) 1536829933.108 * [misc]backup-simplify: Simplify (+ 0 (- 1 (exp (/ -1 x)))) into (- 1 (exp (/ -1 x))) 1536829933.108 * [misc]backup-simplify: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- 1 (exp (/ -1 x)))) 1)) (pow 1 1)))) 1) into (- 1 (exp (/ -1 x))) 1536829933.108 * [misc]backup-simplify: Simplify (exp 0) into 1 1536829933.108 * [misc]taylor: Taking taylor expansion of 1 in x 1536829933.108 * [misc]backup-simplify: Simplify 1 into 1 1536829933.109 * [misc]backup-simplify: Simplify (- 1) into -1 1536829933.109 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1536829933.109 * [misc]backup-simplify: Simplify 0 into 0 1536829933.109 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow (- 1 (exp (/ -1 x))) 1) 1)))) into (- 1 (exp (/ -1 x))) 1536829933.109 * [misc]backup-simplify: Simplify (- 0) into 0 1536829933.109 * [misc]backup-simplify: Simplify (+ (- 1 (exp (/ -1 x))) 0) into (- 1 (exp (/ -1 x))) 1536829933.109 * [misc]backup-simplify: Simplify (- 1 (exp (/ -1 x))) into (- 1 (exp (/ -1 x))) 1536829933.109 * [misc]backup-simplify: Simplify (- 0) into 0 1536829933.109 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829933.110 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- (exp (/ -1 x)) 1)))) into 0 1536829933.110 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0))) into 0 1536829933.110 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829933.112 * [misc]backup-simplify: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (- 1 (exp (/ -1 x)))) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into (* 1/2 (- (* 2 (exp (/ -1 x))) (+ 1 (pow (exp (/ -1 x)) 2)))) 1536829933.114 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow (- 1 (exp (/ -1 x))) 2) 2)) (* (/ (pow (* 1/2 (- (* 2 (exp (/ -1 x))) (+ 1 (pow (exp (/ -1 x)) 2)))) 1) 1)))) into 0 1536829933.114 * [misc]backup-simplify: Simplify (- 0) into 0 1536829933.114 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829933.114 * [misc]backup-simplify: Simplify 0 into 0 1536829933.115 * [misc]backup-simplify: Simplify (- 0) into 0 1536829933.115 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829933.116 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1))))) into 0 1536829933.116 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0)))) into 0 1536829933.117 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829933.122 * [misc]backup-simplify: Simplify (/ (+ (* 2 (/ (* (pow (* 1 (- 1 (exp (/ -1 x)))) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 (- 1 (exp (/ -1 x)))) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into (* 1/6 (- (+ 2 (* 6 (pow (exp (/ -1 x)) 2))) (+ (* 2 (pow (exp (/ -1 x)) 3)) (* 6 (exp (/ -1 x)))))) 1536829933.128 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow (- 1 (exp (/ -1 x))) 3) 6)) (* (/ (pow (- 1 (exp (/ -1 x))) 1) 1) (/ (pow (* 1/2 (- (* 2 (exp (/ -1 x))) (+ 1 (pow (exp (/ -1 x)) 2)))) 1) 1)) (* (/ (pow (* 1/6 (- (+ 2 (* 6 (pow (exp (/ -1 x)) 2))) (+ (* 2 (pow (exp (/ -1 x)) 3)) (* 6 (exp (/ -1 x)))))) 1) 1)))) into 0 1536829933.128 * [misc]backup-simplify: Simplify (- 0) into 0 1536829933.129 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829933.129 * [misc]backup-simplify: Simplify 0 into 0 1536829933.129 * [misc]backup-simplify: Simplify (- 0) into 0 1536829933.129 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829933.130 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1)))))) into 0 1536829933.130 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0))))) into 0 1536829933.131 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829933.140 * [misc]backup-simplify: Simplify (/ (+ (* -6 (/ (* (pow (* 1 (- 1 (exp (/ -1 x)))) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 (- 1 (exp (/ -1 x)))) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 (- 1 (exp (/ -1 x)))) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into (* 1/24 (- (+ (* 24 (pow (exp (/ -1 x)) 3)) (* 24 (exp (/ -1 x)))) (+ (* 6 (pow (exp (/ -1 x)) 4)) (+ 6 (* 36 (pow (exp (/ -1 x)) 2)))))) 1536829933.159 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow (- 1 (exp (/ -1 x))) 4) 24)) (* (/ (pow (- 1 (exp (/ -1 x))) 2) 2) (/ (pow (* 1/2 (- (* 2 (exp (/ -1 x))) (+ 1 (pow (exp (/ -1 x)) 2)))) 1) 1)) (* (/ (pow (- 1 (exp (/ -1 x))) 1) 1) (/ (pow (* 1/6 (- (+ 2 (* 6 (pow (exp (/ -1 x)) 2))) (+ (* 2 (pow (exp (/ -1 x)) 3)) (* 6 (exp (/ -1 x)))))) 1) 1)) (* (/ (pow (* 1/2 (- (* 2 (exp (/ -1 x))) (+ 1 (pow (exp (/ -1 x)) 2)))) 2) 2)) (* (/ (pow (* 1/24 (- (+ (* 24 (pow (exp (/ -1 x)) 3)) (* 24 (exp (/ -1 x)))) (+ (* 6 (pow (exp (/ -1 x)) 4)) (+ 6 (* 36 (pow (exp (/ -1 x)) 2)))))) 1) 1)))) into 0 1536829933.159 * [misc]backup-simplify: Simplify (- 0) into 0 1536829933.160 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829933.160 * [misc]backup-simplify: Simplify 0 into 0 1536829933.160 * [misc]backup-simplify: Simplify (- 0) into 0 1536829933.160 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829933.161 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1))))))) into 0 1536829933.162 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0)))))) into 0 1536829933.162 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829933.179 * [misc]backup-simplify: Simplify (/ (+ (* 24 (/ (* (pow (* 1 (- 1 (exp (/ -1 x)))) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 (- 1 (exp (/ -1 x)))) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 (- 1 (exp (/ -1 x)))) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 (- 1 (exp (/ -1 x)))) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 (- 1 (exp (/ -1 x)))) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into (* 1/120 (- (+ (* 120 (pow (exp (/ -1 x)) 4)) (+ 24 (* 240 (pow (exp (/ -1 x)) 2)))) (+ (* 24 (pow (exp (/ -1 x)) 5)) (+ (* 240 (pow (exp (/ -1 x)) 3)) (* 120 (exp (/ -1 x))))))) 1536829933.230 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow (- 1 (exp (/ -1 x))) 5) 120)) (* (/ (pow (- 1 (exp (/ -1 x))) 3) 6) (/ (pow (* 1/2 (- (* 2 (exp (/ -1 x))) (+ 1 (pow (exp (/ -1 x)) 2)))) 1) 1)) (* (/ (pow (- 1 (exp (/ -1 x))) 2) 2) (/ (pow (* 1/6 (- (+ 2 (* 6 (pow (exp (/ -1 x)) 2))) (+ (* 2 (pow (exp (/ -1 x)) 3)) (* 6 (exp (/ -1 x)))))) 1) 1)) (* (/ (pow (- 1 (exp (/ -1 x))) 1) 1) (/ (pow (* 1/2 (- (* 2 (exp (/ -1 x))) (+ 1 (pow (exp (/ -1 x)) 2)))) 2) 2)) (* (/ (pow (- 1 (exp (/ -1 x))) 1) 1) (/ (pow (* 1/24 (- (+ (* 24 (pow (exp (/ -1 x)) 3)) (* 24 (exp (/ -1 x)))) (+ (* 6 (pow (exp (/ -1 x)) 4)) (+ 6 (* 36 (pow (exp (/ -1 x)) 2)))))) 1) 1)) (* (/ (pow (* 1/2 (- (* 2 (exp (/ -1 x))) (+ 1 (pow (exp (/ -1 x)) 2)))) 1) 1) (/ (pow (* 1/6 (- (+ 2 (* 6 (pow (exp (/ -1 x)) 2))) (+ (* 2 (pow (exp (/ -1 x)) 3)) (* 6 (exp (/ -1 x)))))) 1) 1)) (* (/ (pow (* 1/120 (- (+ (* 120 (pow (exp (/ -1 x)) 4)) (+ 24 (* 240 (pow (exp (/ -1 x)) 2)))) (+ (* 24 (pow (exp (/ -1 x)) 5)) (+ (* 240 (pow (exp (/ -1 x)) 3)) (* 120 (exp (/ -1 x))))))) 1) 1)))) into 0 1536829933.230 * [misc]backup-simplify: Simplify (- 0) into 0 1536829933.231 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829933.231 * [misc]backup-simplify: Simplify 0 into 0 1536829933.231 * [misc]backup-simplify: Simplify (- 0) into 0 1536829933.231 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829933.232 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1)))))))) into 0 1536829933.233 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0))))))) into 0 1536829933.233 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829933.265 * [misc]backup-simplify: Simplify (/ (+ (* -120 (/ (* (pow (* 1 (- 1 (exp (/ -1 x)))) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 (- 1 (exp (/ -1 x)))) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 (- 1 (exp (/ -1 x)))) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 (- 1 (exp (/ -1 x)))) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 (- 1 (exp (/ -1 x)))) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 (- 1 (exp (/ -1 x)))) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 (- 1 (exp (/ -1 x)))) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into (* 1/720 (- (+ (* 2400 (pow (exp (/ -1 x)) 3)) (+ (* 720 (pow (exp (/ -1 x)) 5)) (* 720 (exp (/ -1 x))))) (+ (* 1800 (pow (exp (/ -1 x)) 4)) (+ (* 120 (pow (exp (/ -1 x)) 6)) (+ 120 (* 1800 (pow (exp (/ -1 x)) 2))))))) 1536829933.380 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow (- 1 (exp (/ -1 x))) 6) 720)) (* (/ (pow (- 1 (exp (/ -1 x))) 4) 24) (/ (pow (* 1/2 (- (* 2 (exp (/ -1 x))) (+ 1 (pow (exp (/ -1 x)) 2)))) 1) 1)) (* (/ (pow (- 1 (exp (/ -1 x))) 3) 6) (/ (pow (* 1/6 (- (+ 2 (* 6 (pow (exp (/ -1 x)) 2))) (+ (* 2 (pow (exp (/ -1 x)) 3)) (* 6 (exp (/ -1 x)))))) 1) 1)) (* (/ (pow (- 1 (exp (/ -1 x))) 2) 2) (/ (pow (* 1/2 (- (* 2 (exp (/ -1 x))) (+ 1 (pow (exp (/ -1 x)) 2)))) 2) 2)) (* (/ (pow (- 1 (exp (/ -1 x))) 2) 2) (/ (pow (* 1/24 (- (+ (* 24 (pow (exp (/ -1 x)) 3)) (* 24 (exp (/ -1 x)))) (+ (* 6 (pow (exp (/ -1 x)) 4)) (+ 6 (* 36 (pow (exp (/ -1 x)) 2)))))) 1) 1)) (* (/ (pow (- 1 (exp (/ -1 x))) 1) 1) (/ (pow (* 1/2 (- (* 2 (exp (/ -1 x))) (+ 1 (pow (exp (/ -1 x)) 2)))) 1) 1) (/ (pow (* 1/6 (- (+ 2 (* 6 (pow (exp (/ -1 x)) 2))) (+ (* 2 (pow (exp (/ -1 x)) 3)) (* 6 (exp (/ -1 x)))))) 1) 1)) (* (/ (pow (- 1 (exp (/ -1 x))) 1) 1) (/ (pow (* 1/120 (- (+ (* 120 (pow (exp (/ -1 x)) 4)) (+ 24 (* 240 (pow (exp (/ -1 x)) 2)))) (+ (* 24 (pow (exp (/ -1 x)) 5)) (+ (* 240 (pow (exp (/ -1 x)) 3)) (* 120 (exp (/ -1 x))))))) 1) 1)) (* (/ (pow (* 1/2 (- (* 2 (exp (/ -1 x))) (+ 1 (pow (exp (/ -1 x)) 2)))) 3) 6)) (* (/ (pow (* 1/2 (- (* 2 (exp (/ -1 x))) (+ 1 (pow (exp (/ -1 x)) 2)))) 1) 1) (/ (pow (* 1/24 (- (+ (* 24 (pow (exp (/ -1 x)) 3)) (* 24 (exp (/ -1 x)))) (+ (* 6 (pow (exp (/ -1 x)) 4)) (+ 6 (* 36 (pow (exp (/ -1 x)) 2)))))) 1) 1)) (* (/ (pow (* 1/6 (- (+ 2 (* 6 (pow (exp (/ -1 x)) 2))) (+ (* 2 (pow (exp (/ -1 x)) 3)) (* 6 (exp (/ -1 x)))))) 2) 2)) (* (/ (pow (* 1/720 (- (+ (* 2400 (pow (exp (/ -1 x)) 3)) (+ (* 720 (pow (exp (/ -1 x)) 5)) (* 720 (exp (/ -1 x))))) (+ (* 1800 (pow (exp (/ -1 x)) 4)) (+ (* 120 (pow (exp (/ -1 x)) 6)) (+ 120 (* 1800 (pow (exp (/ -1 x)) 2))))))) 1) 1)))) into 0 1536829933.381 * [misc]backup-simplify: Simplify (- 0) into 0 1536829933.381 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829933.381 * [misc]backup-simplify: Simplify 0 into 0 1536829933.381 * [misc]backup-simplify: Simplify (- 0) into 0 1536829933.382 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829933.383 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1))))))))) into 0 1536829933.384 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0)))))))) into 0 1536829933.384 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829933.439 * [misc]backup-simplify: Simplify (/ (+ (* 720 (/ (* (pow (* 1 (- 1 (exp (/ -1 x)))) 7)) (pow 1 7))) (* -2520 (/ (* (pow (* 1 (- 1 (exp (/ -1 x)))) 5) (pow (* 2 0) 1)) (pow 1 6))) (* 2520 (/ (* (pow (* 1 (- 1 (exp (/ -1 x)))) 3) (pow (* 2 0) 2)) (pow 1 5))) (* 840 (/ (* (pow (* 1 (- 1 (exp (/ -1 x)))) 4) 1 (pow (* 6 0) 1)) (pow 1 5))) (* -630 (/ (* (pow (* 1 (- 1 (exp (/ -1 x)))) 1) (pow (* 2 0) 3)) (pow 1 4))) (* -1260 (/ (* (pow (* 1 (- 1 (exp (/ -1 x)))) 2) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 4))) (* -210 (/ (* (pow (* 1 (- 1 (exp (/ -1 x)))) 3) 1 1 (pow (* 24 0) 1)) (pow 1 4))) (* 210 (/ (* 1 (pow (* 2 0) 2) (pow (* 6 0) 1)) (pow 1 3))) (* 140 (/ (* (pow (* 1 (- 1 (exp (/ -1 x)))) 1) 1 (pow (* 6 0) 2)) (pow 1 3))) (* 210 (/ (* (pow (* 1 (- 1 (exp (/ -1 x)))) 1) (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 3))) (* 42 (/ (* (pow (* 1 (- 1 (exp (/ -1 x)))) 2) 1 1 1 (pow (* 120 0) 1)) (pow 1 3))) (* -35 (/ (* 1 1 (pow (* 6 0) 1) (pow (* 24 0) 1)) (pow 1 2))) (* -21 (/ (* 1 (pow (* 2 0) 1) 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* -7 (/ (* (pow (* 1 (- 1 (exp (/ -1 x)))) 1) 1 1 1 1 (pow (* 720 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 1 (pow (* 5040 0) 1)) (pow 1 1)))) 5040) into (* 1/5040 (- (+ (* 25200 (pow (exp (/ -1 x)) 4)) (+ (* 5040 (pow (exp (/ -1 x)) 6)) (+ 720 (* 15120 (pow (exp (/ -1 x)) 2))))) (+ (* 720 (pow (exp (/ -1 x)) 7)) (+ (* 25200 (pow (exp (/ -1 x)) 3)) (+ (* 15120 (pow (exp (/ -1 x)) 5)) (* 5040 (exp (/ -1 x)))))))) 1536829933.668 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow (- 1 (exp (/ -1 x))) 7) 5040)) (* (/ (pow (- 1 (exp (/ -1 x))) 5) 120) (/ (pow (* 1/2 (- (* 2 (exp (/ -1 x))) (+ 1 (pow (exp (/ -1 x)) 2)))) 1) 1)) (* (/ (pow (- 1 (exp (/ -1 x))) 4) 24) (/ (pow (* 1/6 (- (+ 2 (* 6 (pow (exp (/ -1 x)) 2))) (+ (* 2 (pow (exp (/ -1 x)) 3)) (* 6 (exp (/ -1 x)))))) 1) 1)) (* (/ (pow (- 1 (exp (/ -1 x))) 3) 6) (/ (pow (* 1/2 (- (* 2 (exp (/ -1 x))) (+ 1 (pow (exp (/ -1 x)) 2)))) 2) 2)) (* (/ (pow (- 1 (exp (/ -1 x))) 3) 6) (/ (pow (* 1/24 (- (+ (* 24 (pow (exp (/ -1 x)) 3)) (* 24 (exp (/ -1 x)))) (+ (* 6 (pow (exp (/ -1 x)) 4)) (+ 6 (* 36 (pow (exp (/ -1 x)) 2)))))) 1) 1)) (* (/ (pow (- 1 (exp (/ -1 x))) 2) 2) (/ (pow (* 1/2 (- (* 2 (exp (/ -1 x))) (+ 1 (pow (exp (/ -1 x)) 2)))) 1) 1) (/ (pow (* 1/6 (- (+ 2 (* 6 (pow (exp (/ -1 x)) 2))) (+ (* 2 (pow (exp (/ -1 x)) 3)) (* 6 (exp (/ -1 x)))))) 1) 1)) (* (/ (pow (- 1 (exp (/ -1 x))) 2) 2) (/ (pow (* 1/120 (- (+ (* 120 (pow (exp (/ -1 x)) 4)) (+ 24 (* 240 (pow (exp (/ -1 x)) 2)))) (+ (* 24 (pow (exp (/ -1 x)) 5)) (+ (* 240 (pow (exp (/ -1 x)) 3)) (* 120 (exp (/ -1 x))))))) 1) 1)) (* (/ (pow (- 1 (exp (/ -1 x))) 1) 1) (/ (pow (* 1/2 (- (* 2 (exp (/ -1 x))) (+ 1 (pow (exp (/ -1 x)) 2)))) 3) 6)) (* (/ (pow (- 1 (exp (/ -1 x))) 1) 1) (/ (pow (* 1/2 (- (* 2 (exp (/ -1 x))) (+ 1 (pow (exp (/ -1 x)) 2)))) 1) 1) (/ (pow (* 1/24 (- (+ (* 24 (pow (exp (/ -1 x)) 3)) (* 24 (exp (/ -1 x)))) (+ (* 6 (pow (exp (/ -1 x)) 4)) (+ 6 (* 36 (pow (exp (/ -1 x)) 2)))))) 1) 1)) (* (/ (pow (- 1 (exp (/ -1 x))) 1) 1) (/ (pow (* 1/6 (- (+ 2 (* 6 (pow (exp (/ -1 x)) 2))) (+ (* 2 (pow (exp (/ -1 x)) 3)) (* 6 (exp (/ -1 x)))))) 2) 2)) (* (/ (pow (- 1 (exp (/ -1 x))) 1) 1) (/ (pow (* 1/720 (- (+ (* 2400 (pow (exp (/ -1 x)) 3)) (+ (* 720 (pow (exp (/ -1 x)) 5)) (* 720 (exp (/ -1 x))))) (+ (* 1800 (pow (exp (/ -1 x)) 4)) (+ (* 120 (pow (exp (/ -1 x)) 6)) (+ 120 (* 1800 (pow (exp (/ -1 x)) 2))))))) 1) 1)) (* (/ (pow (* 1/2 (- (* 2 (exp (/ -1 x))) (+ 1 (pow (exp (/ -1 x)) 2)))) 2) 2) (/ (pow (* 1/6 (- (+ 2 (* 6 (pow (exp (/ -1 x)) 2))) (+ (* 2 (pow (exp (/ -1 x)) 3)) (* 6 (exp (/ -1 x)))))) 1) 1)) (* (/ (pow (* 1/2 (- (* 2 (exp (/ -1 x))) (+ 1 (pow (exp (/ -1 x)) 2)))) 1) 1) (/ (pow (* 1/120 (- (+ (* 120 (pow (exp (/ -1 x)) 4)) (+ 24 (* 240 (pow (exp (/ -1 x)) 2)))) (+ (* 24 (pow (exp (/ -1 x)) 5)) (+ (* 240 (pow (exp (/ -1 x)) 3)) (* 120 (exp (/ -1 x))))))) 1) 1)) (* (/ (pow (* 1/6 (- (+ 2 (* 6 (pow (exp (/ -1 x)) 2))) (+ (* 2 (pow (exp (/ -1 x)) 3)) (* 6 (exp (/ -1 x)))))) 1) 1) (/ (pow (* 1/24 (- (+ (* 24 (pow (exp (/ -1 x)) 3)) (* 24 (exp (/ -1 x)))) (+ (* 6 (pow (exp (/ -1 x)) 4)) (+ 6 (* 36 (pow (exp (/ -1 x)) 2)))))) 1) 1)) (* (/ (pow (* 1/5040 (- (+ (* 25200 (pow (exp (/ -1 x)) 4)) (+ (* 5040 (pow (exp (/ -1 x)) 6)) (+ 720 (* 15120 (pow (exp (/ -1 x)) 2))))) (+ (* 720 (pow (exp (/ -1 x)) 7)) (+ (* 25200 (pow (exp (/ -1 x)) 3)) (+ (* 15120 (pow (exp (/ -1 x)) 5)) (* 5040 (exp (/ -1 x)))))))) 1) 1)))) into 0 1536829933.668 * [misc]backup-simplify: Simplify (- 0) into 0 1536829933.669 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829933.669 * [misc]backup-simplify: Simplify 0 into 0 1536829933.669 * [misc]backup-simplify: Simplify (* (- 1 (exp (/ -1 (/ 1 (- x))))) (/ 1 (- x))) into (* -1 (/ (- 1 (exp x)) x)) 1536829933.669 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 1 1) 1536829933.669 * [misc]backup-simplify: Simplify (/ (expm1 x) x) into (/ (expm1 x) x) 1536829933.669 * [misc]approximate: Taking taylor expansion of (/ (expm1 x) x) in (x) around 0 1536829933.669 * [misc]taylor: Taking taylor expansion of (/ (expm1 x) x) in x 1536829933.669 * [misc]taylor: Taking taylor expansion of (expm1 x) in x 1536829933.669 * [misc]taylor: Rewrote expression to (- (exp x) 1) 1536829933.669 * [misc]taylor: Taking taylor expansion of (exp x) in x 1536829933.669 * [misc]taylor: Taking taylor expansion of x in x 1536829933.670 * [misc]backup-simplify: Simplify 0 into 0 1536829933.670 * [misc]backup-simplify: Simplify 1 into 1 1536829933.670 * [misc]backup-simplify: Simplify (exp 0) into 1 1536829933.670 * [misc]taylor: Taking taylor expansion of 1 in x 1536829933.670 * [misc]backup-simplify: Simplify 1 into 1 1536829933.670 * [misc]taylor: Taking taylor expansion of x in x 1536829933.670 * [misc]backup-simplify: Simplify 0 into 0 1536829933.670 * [misc]backup-simplify: Simplify 1 into 1 1536829933.670 * [misc]backup-simplify: Simplify (- 1) into -1 1536829933.670 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1536829933.672 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1536829933.672 * [misc]backup-simplify: Simplify (- 0) into 0 1536829933.672 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536829933.672 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536829933.672 * [misc]taylor: Taking taylor expansion of (/ (expm1 x) x) in x 1536829933.672 * [misc]taylor: Taking taylor expansion of (expm1 x) in x 1536829933.672 * [misc]taylor: Rewrote expression to (- (exp x) 1) 1536829933.672 * [misc]taylor: Taking taylor expansion of (exp x) in x 1536829933.672 * [misc]taylor: Taking taylor expansion of x in x 1536829933.672 * [misc]backup-simplify: Simplify 0 into 0 1536829933.672 * [misc]backup-simplify: Simplify 1 into 1 1536829933.672 * [misc]backup-simplify: Simplify (exp 0) into 1 1536829933.672 * [misc]taylor: Taking taylor expansion of 1 in x 1536829933.672 * [misc]backup-simplify: Simplify 1 into 1 1536829933.672 * [misc]taylor: Taking taylor expansion of x in x 1536829933.672 * [misc]backup-simplify: Simplify 0 into 0 1536829933.672 * [misc]backup-simplify: Simplify 1 into 1 1536829933.673 * [misc]backup-simplify: Simplify (- 1) into -1 1536829933.673 * [misc]backup-simplify: Simplify (+ 1 -1) into 0 1536829933.674 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1536829933.674 * [misc]backup-simplify: Simplify (- 0) into 0 1536829933.674 * [misc]backup-simplify: Simplify (+ 1 0) into 1 1536829933.675 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536829933.675 * [misc]backup-simplify: Simplify 1 into 1 1536829933.677 * [misc]backup-simplify: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1536829933.677 * [misc]backup-simplify: Simplify (- 0) into 0 1536829933.677 * [misc]backup-simplify: Simplify (+ 1/2 0) into 1/2 1536829933.678 * [misc]backup-simplify: Simplify (- (/ 1/2 1) (+ (* 1 (/ 0 1)))) into 1/2 1536829933.678 * [misc]backup-simplify: Simplify 1/2 into 1/2 1536829933.682 * [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 1536829933.682 * [misc]backup-simplify: Simplify (- 0) into 0 1536829933.682 * [misc]backup-simplify: Simplify (+ 1/6 0) into 1/6 1536829933.682 * [misc]backup-simplify: Simplify (- (/ 1/6 1) (+ (* 1 (/ 0 1)) (* 1/2 (/ 0 1)))) into 1/6 1536829933.682 * [misc]backup-simplify: Simplify 1/6 into 1/6 1536829933.683 * [misc]backup-simplify: Simplify (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1)) into (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)) 1536829933.683 * [misc]backup-simplify: Simplify (/ (expm1 (/ 1 x)) (/ 1 x)) into (* (expm1 (/ 1 x)) x) 1536829933.683 * [misc]approximate: Taking taylor expansion of (* (expm1 (/ 1 x)) x) in (x) around 0 1536829933.683 * [misc]taylor: Taking taylor expansion of (* (expm1 (/ 1 x)) x) in x 1536829933.683 * [misc]taylor: Taking taylor expansion of (expm1 (/ 1 x)) in x 1536829933.683 * [misc]taylor: Rewrote expression to (- (exp (/ 1 x)) 1) 1536829933.683 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1536829933.683 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1536829933.683 * [misc]taylor: Taking taylor expansion of x in x 1536829933.683 * [misc]backup-simplify: Simplify 0 into 0 1536829933.683 * [misc]backup-simplify: Simplify 1 into 1 1536829933.683 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536829933.683 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1536829933.683 * [misc]taylor: Taking taylor expansion of 1 in x 1536829933.683 * [misc]backup-simplify: Simplify 1 into 1 1536829933.684 * [misc]taylor: Taking taylor expansion of x in x 1536829933.684 * [misc]backup-simplify: Simplify 0 into 0 1536829933.684 * [misc]backup-simplify: Simplify 1 into 1 1536829933.684 * [misc]taylor: Taking taylor expansion of (* (expm1 (/ 1 x)) x) in x 1536829933.684 * [misc]taylor: Taking taylor expansion of (expm1 (/ 1 x)) in x 1536829933.684 * [misc]taylor: Rewrote expression to (- (exp (/ 1 x)) 1) 1536829933.684 * [misc]taylor: Taking taylor expansion of (exp (/ 1 x)) in x 1536829933.684 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1536829933.684 * [misc]taylor: Taking taylor expansion of x in x 1536829933.684 * [misc]backup-simplify: Simplify 0 into 0 1536829933.684 * [misc]backup-simplify: Simplify 1 into 1 1536829933.684 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536829933.684 * [misc]backup-simplify: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1536829933.684 * [misc]taylor: Taking taylor expansion of 1 in x 1536829933.684 * [misc]backup-simplify: Simplify 1 into 1 1536829933.684 * [misc]taylor: Taking taylor expansion of x in x 1536829933.684 * [misc]backup-simplify: Simplify 0 into 0 1536829933.684 * [misc]backup-simplify: Simplify 1 into 1 1536829933.684 * [misc]backup-simplify: Simplify (- 1) into -1 1536829933.684 * [misc]backup-simplify: Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1) 1536829933.685 * [misc]backup-simplify: Simplify (* (- (exp (/ 1 x)) 1) 0) into 0 1536829933.685 * [misc]backup-simplify: Simplify 0 into 0 1536829933.685 * [misc]backup-simplify: Simplify (- 0) into 0 1536829933.685 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829933.685 * [misc]backup-simplify: Simplify (+ (* (- (exp (/ 1 x)) 1) 1) (* 0 0)) into (- (exp (/ 1 x)) 1) 1536829933.685 * [misc]backup-simplify: Simplify (- (exp (/ 1 x)) 1) into (- (exp (/ 1 x)) 1) 1536829933.685 * [misc]backup-simplify: Simplify (- 0) into 0 1536829933.686 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829933.686 * [misc]backup-simplify: Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 1) (* 0 0))) into 0 1536829933.686 * [misc]backup-simplify: Simplify 0 into 0 1536829933.686 * [misc]backup-simplify: Simplify (- 0) into 0 1536829933.686 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829933.687 * [misc]backup-simplify: Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1536829933.687 * [misc]backup-simplify: Simplify 0 into 0 1536829933.687 * [misc]backup-simplify: Simplify (- 0) into 0 1536829933.687 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829933.688 * [misc]backup-simplify: Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1536829933.688 * [misc]backup-simplify: Simplify 0 into 0 1536829933.688 * [misc]backup-simplify: Simplify (- 0) into 0 1536829933.688 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829933.688 * [misc]backup-simplify: Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1536829933.688 * [misc]backup-simplify: Simplify 0 into 0 1536829933.689 * [misc]backup-simplify: Simplify (- 0) into 0 1536829933.689 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829933.689 * [misc]backup-simplify: Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 1536829933.689 * [misc]backup-simplify: Simplify 0 into 0 1536829933.690 * [misc]backup-simplify: Simplify (- 0) into 0 1536829933.690 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829933.690 * [misc]backup-simplify: Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 1536829933.690 * [misc]backup-simplify: Simplify 0 into 0 1536829933.691 * [misc]backup-simplify: Simplify (* (- (exp (/ 1 (/ 1 x))) 1) (/ 1 x)) into (/ (- (exp x) 1) x) 1536829933.691 * [misc]backup-simplify: Simplify (/ (expm1 (/ 1 (- x))) (/ 1 (- x))) into (* -1 (* x (expm1 (/ -1 x)))) 1536829933.691 * [misc]approximate: Taking taylor expansion of (* -1 (* x (expm1 (/ -1 x)))) in (x) around 0 1536829933.691 * [misc]taylor: Taking taylor expansion of (* -1 (* x (expm1 (/ -1 x)))) in x 1536829933.691 * [misc]taylor: Taking taylor expansion of -1 in x 1536829933.691 * [misc]backup-simplify: Simplify -1 into -1 1536829933.691 * [misc]taylor: Taking taylor expansion of (* x (expm1 (/ -1 x))) in x 1536829933.691 * [misc]taylor: Taking taylor expansion of x in x 1536829933.691 * [misc]backup-simplify: Simplify 0 into 0 1536829933.691 * [misc]backup-simplify: Simplify 1 into 1 1536829933.691 * [misc]taylor: Taking taylor expansion of (expm1 (/ -1 x)) in x 1536829933.691 * [misc]taylor: Rewrote expression to (- (exp (/ -1 x)) 1) 1536829933.691 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1536829933.691 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1536829933.691 * [misc]taylor: Taking taylor expansion of -1 in x 1536829933.691 * [misc]backup-simplify: Simplify -1 into -1 1536829933.691 * [misc]taylor: Taking taylor expansion of x in x 1536829933.691 * [misc]backup-simplify: Simplify 0 into 0 1536829933.691 * [misc]backup-simplify: Simplify 1 into 1 1536829933.691 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1536829933.692 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1536829933.692 * [misc]taylor: Taking taylor expansion of 1 in x 1536829933.692 * [misc]backup-simplify: Simplify 1 into 1 1536829933.692 * [misc]taylor: Taking taylor expansion of (* -1 (* x (expm1 (/ -1 x)))) in x 1536829933.692 * [misc]taylor: Taking taylor expansion of -1 in x 1536829933.692 * [misc]backup-simplify: Simplify -1 into -1 1536829933.692 * [misc]taylor: Taking taylor expansion of (* x (expm1 (/ -1 x))) in x 1536829933.692 * [misc]taylor: Taking taylor expansion of x in x 1536829933.692 * [misc]backup-simplify: Simplify 0 into 0 1536829933.692 * [misc]backup-simplify: Simplify 1 into 1 1536829933.692 * [misc]taylor: Taking taylor expansion of (expm1 (/ -1 x)) in x 1536829933.692 * [misc]taylor: Rewrote expression to (- (exp (/ -1 x)) 1) 1536829933.692 * [misc]taylor: Taking taylor expansion of (exp (/ -1 x)) in x 1536829933.692 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1536829933.692 * [misc]taylor: Taking taylor expansion of -1 in x 1536829933.692 * [misc]backup-simplify: Simplify -1 into -1 1536829933.692 * [misc]taylor: Taking taylor expansion of x in x 1536829933.692 * [misc]backup-simplify: Simplify 0 into 0 1536829933.692 * [misc]backup-simplify: Simplify 1 into 1 1536829933.692 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1536829933.692 * [misc]backup-simplify: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1536829933.692 * [misc]taylor: Taking taylor expansion of 1 in x 1536829933.692 * [misc]backup-simplify: Simplify 1 into 1 1536829933.693 * [misc]backup-simplify: Simplify (- 1) into -1 1536829933.693 * [misc]backup-simplify: Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1) 1536829933.693 * [misc]backup-simplify: Simplify (* 0 (- (exp (/ -1 x)) 1)) into 0 1536829933.693 * [misc]backup-simplify: Simplify (* -1 0) into 0 1536829933.693 * [misc]backup-simplify: Simplify 0 into 0 1536829933.693 * [misc]backup-simplify: Simplify (- 0) into 0 1536829933.693 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829933.694 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 (- (exp (/ -1 x)) 1))) into (- (exp (/ -1 x)) 1) 1536829933.694 * [misc]backup-simplify: Simplify (+ (* -1 (- (exp (/ -1 x)) 1)) (* 0 0)) into (- 1 (exp (/ -1 x))) 1536829933.694 * [misc]backup-simplify: Simplify (- 1 (exp (/ -1 x))) into (- 1 (exp (/ -1 x))) 1536829933.694 * [misc]backup-simplify: Simplify (- 0) into 0 1536829933.694 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829933.695 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- (exp (/ -1 x)) 1)))) into 0 1536829933.695 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0))) into 0 1536829933.695 * [misc]backup-simplify: Simplify 0 into 0 1536829933.695 * [misc]backup-simplify: Simplify (- 0) into 0 1536829933.695 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829933.696 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1))))) into 0 1536829933.696 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0)))) into 0 1536829933.697 * [misc]backup-simplify: Simplify 0 into 0 1536829933.697 * [misc]backup-simplify: Simplify (- 0) into 0 1536829933.697 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829933.697 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1)))))) into 0 1536829933.698 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0))))) into 0 1536829933.698 * [misc]backup-simplify: Simplify 0 into 0 1536829933.698 * [misc]backup-simplify: Simplify (- 0) into 0 1536829933.698 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829933.699 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1))))))) into 0 1536829933.700 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0)))))) into 0 1536829933.700 * [misc]backup-simplify: Simplify 0 into 0 1536829933.700 * [misc]backup-simplify: Simplify (- 0) into 0 1536829933.700 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829933.701 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1)))))))) into 0 1536829933.702 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0))))))) into 0 1536829933.702 * [misc]backup-simplify: Simplify 0 into 0 1536829933.702 * [misc]backup-simplify: Simplify (- 0) into 0 1536829933.703 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829933.704 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1))))))))) into 0 1536829933.705 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0)))))))) into 0 1536829933.705 * [misc]backup-simplify: Simplify 0 into 0 1536829933.705 * [misc]backup-simplify: Simplify (* (- 1 (exp (/ -1 (/ 1 (- x))))) (/ 1 (- x))) into (* -1 (/ (- 1 (exp x)) x)) 1536829933.705 * * * [misc]progress: simplifying candidates 1536829933.705 * * * * [misc]progress: [ 1 / 33 ] simplifiying candidate # 1536829933.705 * * * * [misc]progress: [ 2 / 33 ] simplifiying candidate # 1536829933.705 * * * * [misc]progress: [ 3 / 33 ] simplifiying candidate # 1536829933.705 * * * * [misc]progress: [ 4 / 33 ] simplifiying candidate # 1536829933.706 * [enter]simplify: Simplifying (expm1 x) 1536829933.711 * * [misc]simplify: iters left: 1 (2 enodes) 1536829933.712 * [exit]simplify: Simplified to (expm1 x) 1536829933.712 * [misc]simplify: Simplified (2 1) to (λ (x) (/ (expm1 x) x)) 1536829933.712 * * * * [misc]progress: [ 5 / 33 ] simplifiying candidate # 1536829933.712 * * * * [misc]progress: [ 6 / 33 ] simplifiying candidate # 1536829933.712 * * * * [misc]progress: [ 7 / 33 ] simplifiying candidate # 1536829933.712 * * * * [misc]progress: [ 8 / 33 ] simplifiying candidate # 1536829933.712 * * * * [misc]progress: [ 9 / 33 ] simplifiying candidate # 1536829933.712 * * * * [misc]progress: [ 10 / 33 ] simplifiying candidate # 1536829933.712 * * * * [misc]progress: [ 11 / 33 ] simplifiying candidate # 1536829933.712 * * * * [misc]progress: [ 12 / 33 ] simplifiying candidate # 1536829933.713 * * * * [misc]progress: [ 13 / 33 ] simplifiying candidate # 1536829933.713 * * * * [misc]progress: [ 14 / 33 ] simplifiying candidate # 1536829933.713 * * * * [misc]progress: [ 15 / 33 ] simplifiying candidate # 1536829933.713 * * * * [misc]progress: [ 16 / 33 ] simplifiying candidate # 1536829933.713 * * * * [misc]progress: [ 17 / 33 ] simplifiying candidate # 1536829933.713 * * * * [misc]progress: [ 18 / 33 ] simplifiying candidate # 1536829933.713 * * * * [misc]progress: [ 19 / 33 ] simplifiying candidate # 1536829933.713 * * * * [misc]progress: [ 20 / 33 ] simplifiying candidate # 1536829933.713 * * * * [misc]progress: [ 21 / 33 ] simplifiying candidate # 1536829933.713 * [enter]simplify: Simplifying (/ (exp x) x) 1536829933.714 * * [misc]simplify: iters left: 3 (3 enodes) 1536829933.715 * [exit]simplify: Simplified to (/ (exp x) x) 1536829933.715 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (expm1 (log1p (- (/ (exp x) x) (/ 1 x))))) 1536829933.715 * * * * [misc]progress: [ 22 / 33 ] simplifiying candidate # 1536829933.715 * * * * [misc]progress: [ 23 / 33 ] simplifiying candidate # 1536829933.715 * * * * [misc]progress: [ 24 / 33 ] simplifiying candidate # 1536829933.715 * * * * [misc]progress: [ 25 / 33 ] simplifiying candidate # 1536829933.715 * [enter]simplify: Simplifying (* (cbrt (expm1 x)) (cbrt (expm1 x))) 1536829933.716 * * [misc]simplify: iters left: 4 (4 enodes) 1536829933.717 * [exit]simplify: Simplified to (* (cbrt (expm1 x)) (cbrt (expm1 x))) 1536829933.717 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (expm1 (log1p (/ (* (cbrt (expm1 x)) (cbrt (expm1 x))) (/ x (cbrt (expm1 x))))))) 1536829933.718 * * * * [misc]progress: [ 26 / 33 ] simplifiying candidate # 1536829933.718 * [enter]simplify: Simplifying (sqrt (expm1 x)) 1536829933.718 * * [misc]simplify: iters left: 2 (3 enodes) 1536829933.719 * [exit]simplify: Simplified to (sqrt (expm1 x)) 1536829933.719 * [misc]simplify: Simplified (2 1 1 1) to (λ (x) (expm1 (log1p (/ (sqrt (expm1 x)) (/ x (sqrt (expm1 x))))))) 1536829933.719 * * * * [misc]progress: [ 27 / 33 ] simplifiying candidate # 1536829933.719 * * * * [misc]progress: [ 28 / 33 ] simplifiying candidate # 1536829933.719 * [enter]simplify: Simplifying (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)) 1536829933.720 * * [misc]simplify: iters left: 6 (10 enodes) 1536829933.722 * * [misc]simplify: iters left: 5 (21 enodes) 1536829933.727 * * [misc]simplify: iters left: 4 (35 enodes) 1536829933.735 * * [misc]simplify: iters left: 3 (56 enodes) 1536829933.744 * * [misc]simplify: iters left: 2 (76 enodes) 1536829933.757 * * [misc]simplify: iters left: 1 (91 enodes) 1536829933.765 * [exit]simplify: Simplified to (fma x (fma x 1/6 1/2) 1) 1536829933.765 * [misc]simplify: Simplified (2) to (λ (x) (fma x (fma x 1/6 1/2) 1)) 1536829933.765 * * * * [misc]progress: [ 29 / 33 ] simplifiying candidate # 1536829933.765 * [enter]simplify: Simplifying (/ (- (exp x) 1) x) 1536829933.766 * * [misc]simplify: iters left: 5 (5 enodes) 1536829933.768 * * [misc]simplify: iters left: 4 (14 enodes) 1536829933.770 * * [misc]simplify: iters left: 3 (16 enodes) 1536829933.773 * * [misc]simplify: iters left: 2 (18 enodes) 1536829933.775 * [exit]simplify: Simplified to (/ (expm1 x) x) 1536829933.775 * [misc]simplify: Simplified (2) to (λ (x) (/ (expm1 x) x)) 1536829933.775 * * * * [misc]progress: [ 30 / 33 ] simplifiying candidate # 1536829933.775 * [enter]simplify: Simplifying (* -1 (/ (- 1 (exp x)) x)) 1536829933.776 * * [misc]simplify: iters left: 6 (7 enodes) 1536829933.778 * * [misc]simplify: iters left: 5 (18 enodes) 1536829933.783 * * [misc]simplify: iters left: 4 (32 enodes) 1536829933.795 * * [misc]simplify: iters left: 3 (55 enodes) 1536829933.817 * * [misc]simplify: iters left: 2 (89 enodes) 1536829933.855 * * [misc]simplify: iters left: 1 (139 enodes) 1536829933.941 * [exit]simplify: Simplified to (fma (/ 1 x) (exp x) (/ -1 x)) 1536829933.941 * [misc]simplify: Simplified (2) to (λ (x) (fma (/ 1 x) (exp x) (/ -1 x))) 1536829933.941 * * * * [misc]progress: [ 31 / 33 ] simplifiying candidate # 1536829933.941 * [enter]simplify: Simplifying (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)) 1536829933.941 * * [misc]simplify: iters left: 6 (10 enodes) 1536829933.944 * * [misc]simplify: iters left: 5 (21 enodes) 1536829933.949 * * [misc]simplify: iters left: 4 (35 enodes) 1536829933.956 * * [misc]simplify: iters left: 3 (56 enodes) 1536829933.967 * * [misc]simplify: iters left: 2 (76 enodes) 1536829933.993 * * [misc]simplify: iters left: 1 (91 enodes) 1536829934.012 * [exit]simplify: Simplified to (fma x (fma x 1/6 1/2) 1) 1536829934.012 * [misc]simplify: Simplified (2 1 1) to (λ (x) (expm1 (log1p (fma x (fma x 1/6 1/2) 1)))) 1536829934.012 * * * * [misc]progress: [ 32 / 33 ] simplifiying candidate # 1536829934.012 * [enter]simplify: Simplifying (/ (- (exp x) 1) x) 1536829934.013 * * [misc]simplify: iters left: 5 (5 enodes) 1536829934.017 * * [misc]simplify: iters left: 4 (14 enodes) 1536829934.020 * * [misc]simplify: iters left: 3 (16 enodes) 1536829934.025 * * [misc]simplify: iters left: 2 (18 enodes) 1536829934.030 * [exit]simplify: Simplified to (/ (expm1 x) x) 1536829934.030 * [misc]simplify: Simplified (2 1 1) to (λ (x) (expm1 (log1p (/ (expm1 x) x)))) 1536829934.030 * * * * [misc]progress: [ 33 / 33 ] simplifiying candidate # 1536829934.030 * [enter]simplify: Simplifying (* -1 (/ (- 1 (exp x)) x)) 1536829934.031 * * [misc]simplify: iters left: 6 (7 enodes) 1536829934.035 * * [misc]simplify: iters left: 5 (18 enodes) 1536829934.045 * * [misc]simplify: iters left: 4 (32 enodes) 1536829934.060 * * [misc]simplify: iters left: 3 (55 enodes) 1536829934.083 * * [misc]simplify: iters left: 2 (89 enodes) 1536829934.120 * * [misc]simplify: iters left: 1 (139 enodes) 1536829934.233 * [exit]simplify: Simplified to (fma (/ 1 x) (exp x) (/ -1 x)) 1536829934.233 * [misc]simplify: Simplified (2 1 1) to (λ (x) (expm1 (log1p (fma (/ 1 x) (exp x) (/ -1 x))))) 1536829934.233 * * * [misc]progress: adding candidates to table 1536829934.786 * * [misc]progress: iteration 3 / 4 1536829934.786 * * * [misc]progress: picking best candidate 1536829934.789 * * * * [misc]pick: Picked # 1536829934.789 * * * [misc]progress: localizing error 1536829934.798 * * * [misc]progress: generating rewritten candidates 1536829934.798 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2 2) 1536829934.799 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2) 1536829934.801 * * * [misc]progress: generating series expansions 1536829934.801 * * * * [misc]progress: [ 1 / 2 ] generating series at (2 2) 1536829934.801 * [misc]backup-simplify: Simplify (fma x 1/6 1/2) into (fma x 1/6 1/2) 1536829934.801 * [misc]approximate: Taking taylor expansion of (fma x 1/6 1/2) in (x) around 0 1536829934.801 * [misc]taylor: Taking taylor expansion of (fma x 1/6 1/2) in x 1536829934.801 * [misc]taylor: Rewrote expression to (+ (* x 1/6) 1/2) 1536829934.801 * [misc]taylor: Taking taylor expansion of (* x 1/6) in x 1536829934.801 * [misc]taylor: Taking taylor expansion of x in x 1536829934.801 * [misc]backup-simplify: Simplify 0 into 0 1536829934.801 * [misc]backup-simplify: Simplify 1 into 1 1536829934.801 * [misc]taylor: Taking taylor expansion of 1/6 in x 1536829934.801 * [misc]backup-simplify: Simplify 1/6 into 1/6 1536829934.801 * [misc]taylor: Taking taylor expansion of 1/2 in x 1536829934.801 * [misc]backup-simplify: Simplify 1/2 into 1/2 1536829934.801 * [misc]taylor: Taking taylor expansion of (fma x 1/6 1/2) in x 1536829934.801 * [misc]taylor: Rewrote expression to (+ (* x 1/6) 1/2) 1536829934.801 * [misc]taylor: Taking taylor expansion of (* x 1/6) in x 1536829934.801 * [misc]taylor: Taking taylor expansion of x in x 1536829934.801 * [misc]backup-simplify: Simplify 0 into 0 1536829934.801 * [misc]backup-simplify: Simplify 1 into 1 1536829934.801 * [misc]taylor: Taking taylor expansion of 1/6 in x 1536829934.801 * [misc]backup-simplify: Simplify 1/6 into 1/6 1536829934.801 * [misc]taylor: Taking taylor expansion of 1/2 in x 1536829934.801 * [misc]backup-simplify: Simplify 1/2 into 1/2 1536829934.802 * [misc]backup-simplify: Simplify (* 0 1/6) into 0 1536829934.802 * [misc]backup-simplify: Simplify (+ 0 1/2) into 1/2 1536829934.802 * [misc]backup-simplify: Simplify 1/2 into 1/2 1536829934.802 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 1/6)) into 1/6 1536829934.802 * [misc]backup-simplify: Simplify (+ 1/6 0) into 1/6 1536829934.802 * [misc]backup-simplify: Simplify 1/6 into 1/6 1536829934.802 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 1/6))) into 0 1536829934.802 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829934.802 * [misc]backup-simplify: Simplify 0 into 0 1536829934.802 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 1/6)))) into 0 1536829934.803 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829934.803 * [misc]backup-simplify: Simplify 0 into 0 1536829934.803 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/6))))) into 0 1536829934.803 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829934.803 * [misc]backup-simplify: Simplify 0 into 0 1536829934.803 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/6)))))) into 0 1536829934.803 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829934.803 * [misc]backup-simplify: Simplify 0 into 0 1536829934.804 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/6))))))) into 0 1536829934.804 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829934.804 * [misc]backup-simplify: Simplify 0 into 0 1536829934.804 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/6)))))))) into 0 1536829934.804 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829934.804 * [misc]backup-simplify: Simplify 0 into 0 1536829934.804 * [misc]backup-simplify: Simplify (+ (* 1/6 x) 1/2) into (+ (* 1/6 x) 1/2) 1536829934.804 * [misc]backup-simplify: Simplify (fma (/ 1 x) 1/6 1/2) into (fma (/ 1 x) 1/6 1/2) 1536829934.804 * [misc]approximate: Taking taylor expansion of (fma (/ 1 x) 1/6 1/2) in (x) around 0 1536829934.804 * [misc]taylor: Taking taylor expansion of (fma (/ 1 x) 1/6 1/2) in x 1536829934.805 * [misc]taylor: Rewrote expression to (+ (* (/ 1 x) 1/6) 1/2) 1536829934.805 * [misc]taylor: Taking taylor expansion of (* (/ 1 x) 1/6) in x 1536829934.805 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1536829934.805 * [misc]taylor: Taking taylor expansion of x in x 1536829934.805 * [misc]backup-simplify: Simplify 0 into 0 1536829934.805 * [misc]backup-simplify: Simplify 1 into 1 1536829934.805 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536829934.805 * [misc]taylor: Taking taylor expansion of 1/6 in x 1536829934.805 * [misc]backup-simplify: Simplify 1/6 into 1/6 1536829934.805 * [misc]taylor: Taking taylor expansion of 1/2 in x 1536829934.805 * [misc]backup-simplify: Simplify 1/2 into 1/2 1536829934.805 * [misc]taylor: Taking taylor expansion of (fma (/ 1 x) 1/6 1/2) in x 1536829934.805 * [misc]taylor: Rewrote expression to (+ (* (/ 1 x) 1/6) 1/2) 1536829934.805 * [misc]taylor: Taking taylor expansion of (* (/ 1 x) 1/6) in x 1536829934.805 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1536829934.805 * [misc]taylor: Taking taylor expansion of x in x 1536829934.805 * [misc]backup-simplify: Simplify 0 into 0 1536829934.805 * [misc]backup-simplify: Simplify 1 into 1 1536829934.805 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536829934.805 * [misc]taylor: Taking taylor expansion of 1/6 in x 1536829934.805 * [misc]backup-simplify: Simplify 1/6 into 1/6 1536829934.805 * [misc]taylor: Taking taylor expansion of 1/2 in x 1536829934.805 * [misc]backup-simplify: Simplify 1/2 into 1/2 1536829934.805 * [misc]backup-simplify: Simplify (* 1 1/6) into 1/6 1536829934.805 * [misc]backup-simplify: Simplify (+ 1/6 0) into 1/6 1536829934.805 * [misc]backup-simplify: Simplify 1/6 into 1/6 1536829934.806 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1536829934.806 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1/6)) into 0 1536829934.806 * [misc]backup-simplify: Simplify (+ 0 1/2) into 1/2 1536829934.806 * [misc]backup-simplify: Simplify 1/2 into 1/2 1536829934.806 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536829934.806 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1/6))) into 0 1536829934.806 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829934.806 * [misc]backup-simplify: Simplify 0 into 0 1536829934.806 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536829934.807 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/6)))) into 0 1536829934.807 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829934.807 * [misc]backup-simplify: Simplify 0 into 0 1536829934.810 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536829934.810 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/6))))) into 0 1536829934.810 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829934.810 * [misc]backup-simplify: Simplify 0 into 0 1536829934.811 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536829934.811 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/6)))))) into 0 1536829934.811 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829934.811 * [misc]backup-simplify: Simplify 0 into 0 1536829934.811 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536829934.812 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/6))))))) into 0 1536829934.812 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829934.812 * [misc]backup-simplify: Simplify 0 into 0 1536829934.812 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536829934.813 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/6)))))))) into 0 1536829934.813 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829934.813 * [misc]backup-simplify: Simplify 0 into 0 1536829934.813 * [misc]backup-simplify: Simplify (+ 1/2 (* 1/6 (/ 1 (/ 1 x)))) into (+ (* 1/6 x) 1/2) 1536829934.813 * [misc]backup-simplify: Simplify (fma (/ 1 (- x)) 1/6 1/2) into (fma (/ -1 x) 1/6 1/2) 1536829934.813 * [misc]approximate: Taking taylor expansion of (fma (/ -1 x) 1/6 1/2) in (x) around 0 1536829934.813 * [misc]taylor: Taking taylor expansion of (fma (/ -1 x) 1/6 1/2) in x 1536829934.813 * [misc]taylor: Rewrote expression to (+ (* (/ -1 x) 1/6) 1/2) 1536829934.813 * [misc]taylor: Taking taylor expansion of (* (/ -1 x) 1/6) in x 1536829934.813 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1536829934.813 * [misc]taylor: Taking taylor expansion of -1 in x 1536829934.813 * [misc]backup-simplify: Simplify -1 into -1 1536829934.813 * [misc]taylor: Taking taylor expansion of x in x 1536829934.813 * [misc]backup-simplify: Simplify 0 into 0 1536829934.813 * [misc]backup-simplify: Simplify 1 into 1 1536829934.813 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1536829934.813 * [misc]taylor: Taking taylor expansion of 1/6 in x 1536829934.813 * [misc]backup-simplify: Simplify 1/6 into 1/6 1536829934.813 * [misc]taylor: Taking taylor expansion of 1/2 in x 1536829934.813 * [misc]backup-simplify: Simplify 1/2 into 1/2 1536829934.813 * [misc]taylor: Taking taylor expansion of (fma (/ -1 x) 1/6 1/2) in x 1536829934.813 * [misc]taylor: Rewrote expression to (+ (* (/ -1 x) 1/6) 1/2) 1536829934.813 * [misc]taylor: Taking taylor expansion of (* (/ -1 x) 1/6) in x 1536829934.813 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1536829934.813 * [misc]taylor: Taking taylor expansion of -1 in x 1536829934.813 * [misc]backup-simplify: Simplify -1 into -1 1536829934.813 * [misc]taylor: Taking taylor expansion of x in x 1536829934.813 * [misc]backup-simplify: Simplify 0 into 0 1536829934.813 * [misc]backup-simplify: Simplify 1 into 1 1536829934.814 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1536829934.814 * [misc]taylor: Taking taylor expansion of 1/6 in x 1536829934.814 * [misc]backup-simplify: Simplify 1/6 into 1/6 1536829934.814 * [misc]taylor: Taking taylor expansion of 1/2 in x 1536829934.814 * [misc]backup-simplify: Simplify 1/2 into 1/2 1536829934.814 * [misc]backup-simplify: Simplify (* -1 1/6) into -1/6 1536829934.814 * [misc]backup-simplify: Simplify (+ -1/6 0) into -1/6 1536829934.814 * [misc]backup-simplify: Simplify -1/6 into -1/6 1536829934.814 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1536829934.814 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 1/6)) into 0 1536829934.814 * [misc]backup-simplify: Simplify (+ 0 1/2) into 1/2 1536829934.814 * [misc]backup-simplify: Simplify 1/2 into 1/2 1536829934.815 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536829934.815 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 1/6))) into 0 1536829934.815 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829934.815 * [misc]backup-simplify: Simplify 0 into 0 1536829934.815 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536829934.815 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/6)))) into 0 1536829934.815 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829934.815 * [misc]backup-simplify: Simplify 0 into 0 1536829934.816 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536829934.816 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/6))))) into 0 1536829934.816 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829934.816 * [misc]backup-simplify: Simplify 0 into 0 1536829934.816 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536829934.817 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/6)))))) into 0 1536829934.817 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829934.817 * [misc]backup-simplify: Simplify 0 into 0 1536829934.817 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536829934.817 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/6))))))) into 0 1536829934.818 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829934.818 * [misc]backup-simplify: Simplify 0 into 0 1536829934.818 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536829934.818 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/6)))))))) into 0 1536829934.818 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829934.818 * [misc]backup-simplify: Simplify 0 into 0 1536829934.818 * [misc]backup-simplify: Simplify (+ 1/2 (* -1/6 (/ 1 (/ 1 (- x))))) into (+ (* 1/6 x) 1/2) 1536829934.818 * * * * [misc]progress: [ 2 / 2 ] generating series at (2) 1536829934.819 * [misc]backup-simplify: Simplify (fma x (fma x 1/6 1/2) 1) into (fma x (fma x 1/6 1/2) 1) 1536829934.819 * [misc]approximate: Taking taylor expansion of (fma x (fma x 1/6 1/2) 1) in (x) around 0 1536829934.819 * [misc]taylor: Taking taylor expansion of (fma x (fma x 1/6 1/2) 1) in x 1536829934.819 * [misc]taylor: Rewrote expression to (+ (* x (fma x 1/6 1/2)) 1) 1536829934.819 * [misc]taylor: Taking taylor expansion of (* x (fma x 1/6 1/2)) in x 1536829934.819 * [misc]taylor: Taking taylor expansion of x in x 1536829934.819 * [misc]backup-simplify: Simplify 0 into 0 1536829934.819 * [misc]backup-simplify: Simplify 1 into 1 1536829934.819 * [misc]taylor: Taking taylor expansion of (fma x 1/6 1/2) in x 1536829934.819 * [misc]taylor: Rewrote expression to (+ (* x 1/6) 1/2) 1536829934.819 * [misc]taylor: Taking taylor expansion of (* x 1/6) in x 1536829934.819 * [misc]taylor: Taking taylor expansion of x in x 1536829934.819 * [misc]backup-simplify: Simplify 0 into 0 1536829934.819 * [misc]backup-simplify: Simplify 1 into 1 1536829934.819 * [misc]taylor: Taking taylor expansion of 1/6 in x 1536829934.819 * [misc]backup-simplify: Simplify 1/6 into 1/6 1536829934.819 * [misc]taylor: Taking taylor expansion of 1/2 in x 1536829934.819 * [misc]backup-simplify: Simplify 1/2 into 1/2 1536829934.819 * [misc]taylor: Taking taylor expansion of 1 in x 1536829934.819 * [misc]backup-simplify: Simplify 1 into 1 1536829934.819 * [misc]taylor: Taking taylor expansion of (fma x (fma x 1/6 1/2) 1) in x 1536829934.819 * [misc]taylor: Rewrote expression to (+ (* x (fma x 1/6 1/2)) 1) 1536829934.819 * [misc]taylor: Taking taylor expansion of (* x (fma x 1/6 1/2)) in x 1536829934.819 * [misc]taylor: Taking taylor expansion of x in x 1536829934.819 * [misc]backup-simplify: Simplify 0 into 0 1536829934.819 * [misc]backup-simplify: Simplify 1 into 1 1536829934.819 * [misc]taylor: Taking taylor expansion of (fma x 1/6 1/2) in x 1536829934.819 * [misc]taylor: Rewrote expression to (+ (* x 1/6) 1/2) 1536829934.819 * [misc]taylor: Taking taylor expansion of (* x 1/6) in x 1536829934.819 * [misc]taylor: Taking taylor expansion of x in x 1536829934.819 * [misc]backup-simplify: Simplify 0 into 0 1536829934.819 * [misc]backup-simplify: Simplify 1 into 1 1536829934.819 * [misc]taylor: Taking taylor expansion of 1/6 in x 1536829934.819 * [misc]backup-simplify: Simplify 1/6 into 1/6 1536829934.819 * [misc]taylor: Taking taylor expansion of 1/2 in x 1536829934.820 * [misc]backup-simplify: Simplify 1/2 into 1/2 1536829934.820 * [misc]taylor: Taking taylor expansion of 1 in x 1536829934.820 * [misc]backup-simplify: Simplify 1 into 1 1536829934.820 * [misc]backup-simplify: Simplify (* 0 1/6) into 0 1536829934.820 * [misc]backup-simplify: Simplify (+ 0 1/2) into 1/2 1536829934.820 * [misc]backup-simplify: Simplify (* 0 1/2) into 0 1536829934.820 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1536829934.820 * [misc]backup-simplify: Simplify 1 into 1 1536829934.820 * [misc]backup-simplify: Simplify (+ (* 0 0) (* 1 1/6)) into 1/6 1536829934.820 * [misc]backup-simplify: Simplify (+ 1/6 0) into 1/6 1536829934.821 * [misc]backup-simplify: Simplify (+ (* 0 1/6) (* 1 1/2)) into 1/2 1536829934.821 * [misc]backup-simplify: Simplify (+ 1/2 0) into 1/2 1536829934.821 * [misc]backup-simplify: Simplify 1/2 into 1/2 1536829934.821 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 1/6))) into 0 1536829934.821 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829934.821 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 1 1/6) (* 0 1/2))) into 1/6 1536829934.821 * [misc]backup-simplify: Simplify (+ 1/6 0) into 1/6 1536829934.821 * [misc]backup-simplify: Simplify 1/6 into 1/6 1536829934.821 * [misc]backup-simplify: Simplify (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1)) into (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)) 1536829934.821 * [misc]backup-simplify: Simplify (fma (/ 1 x) (fma (/ 1 x) 1/6 1/2) 1) into (fma (/ 1 x) (fma (/ 1 x) 1/6 1/2) 1) 1536829934.821 * [misc]approximate: Taking taylor expansion of (fma (/ 1 x) (fma (/ 1 x) 1/6 1/2) 1) in (x) around 0 1536829934.822 * [misc]taylor: Taking taylor expansion of (fma (/ 1 x) (fma (/ 1 x) 1/6 1/2) 1) in x 1536829934.822 * [misc]taylor: Rewrote expression to (+ (* (/ 1 x) (fma (/ 1 x) 1/6 1/2)) 1) 1536829934.822 * [misc]taylor: Taking taylor expansion of (* (/ 1 x) (fma (/ 1 x) 1/6 1/2)) in x 1536829934.822 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1536829934.822 * [misc]taylor: Taking taylor expansion of x in x 1536829934.822 * [misc]backup-simplify: Simplify 0 into 0 1536829934.822 * [misc]backup-simplify: Simplify 1 into 1 1536829934.822 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536829934.822 * [misc]taylor: Taking taylor expansion of (fma (/ 1 x) 1/6 1/2) in x 1536829934.822 * [misc]taylor: Rewrote expression to (+ (* (/ 1 x) 1/6) 1/2) 1536829934.822 * [misc]taylor: Taking taylor expansion of (* (/ 1 x) 1/6) in x 1536829934.822 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1536829934.822 * [misc]taylor: Taking taylor expansion of x in x 1536829934.822 * [misc]backup-simplify: Simplify 0 into 0 1536829934.822 * [misc]backup-simplify: Simplify 1 into 1 1536829934.822 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536829934.822 * [misc]taylor: Taking taylor expansion of 1/6 in x 1536829934.822 * [misc]backup-simplify: Simplify 1/6 into 1/6 1536829934.822 * [misc]taylor: Taking taylor expansion of 1/2 in x 1536829934.822 * [misc]backup-simplify: Simplify 1/2 into 1/2 1536829934.822 * [misc]taylor: Taking taylor expansion of 1 in x 1536829934.822 * [misc]backup-simplify: Simplify 1 into 1 1536829934.822 * [misc]taylor: Taking taylor expansion of (fma (/ 1 x) (fma (/ 1 x) 1/6 1/2) 1) in x 1536829934.822 * [misc]taylor: Rewrote expression to (+ (* (/ 1 x) (fma (/ 1 x) 1/6 1/2)) 1) 1536829934.822 * [misc]taylor: Taking taylor expansion of (* (/ 1 x) (fma (/ 1 x) 1/6 1/2)) in x 1536829934.822 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1536829934.822 * [misc]taylor: Taking taylor expansion of x in x 1536829934.822 * [misc]backup-simplify: Simplify 0 into 0 1536829934.822 * [misc]backup-simplify: Simplify 1 into 1 1536829934.822 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536829934.822 * [misc]taylor: Taking taylor expansion of (fma (/ 1 x) 1/6 1/2) in x 1536829934.822 * [misc]taylor: Rewrote expression to (+ (* (/ 1 x) 1/6) 1/2) 1536829934.822 * [misc]taylor: Taking taylor expansion of (* (/ 1 x) 1/6) in x 1536829934.822 * [misc]taylor: Taking taylor expansion of (/ 1 x) in x 1536829934.822 * [misc]taylor: Taking taylor expansion of x in x 1536829934.822 * [misc]backup-simplify: Simplify 0 into 0 1536829934.822 * [misc]backup-simplify: Simplify 1 into 1 1536829934.823 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1536829934.823 * [misc]taylor: Taking taylor expansion of 1/6 in x 1536829934.823 * [misc]backup-simplify: Simplify 1/6 into 1/6 1536829934.823 * [misc]taylor: Taking taylor expansion of 1/2 in x 1536829934.823 * [misc]backup-simplify: Simplify 1/2 into 1/2 1536829934.823 * [misc]taylor: Taking taylor expansion of 1 in x 1536829934.823 * [misc]backup-simplify: Simplify 1 into 1 1536829934.823 * [misc]backup-simplify: Simplify (* 1 1/6) into 1/6 1536829934.823 * [misc]backup-simplify: Simplify (+ 1/6 0) into 1/6 1536829934.823 * [misc]backup-simplify: Simplify (* 1 1/6) into 1/6 1536829934.823 * [misc]backup-simplify: Simplify (+ 1/6 0) into 1/6 1536829934.823 * [misc]backup-simplify: Simplify 1/6 into 1/6 1536829934.823 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1536829934.823 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1/6)) into 0 1536829934.824 * [misc]backup-simplify: Simplify (+ 0 1/2) into 1/2 1536829934.824 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1536829934.824 * [misc]backup-simplify: Simplify (+ (* 1 1/2) (* 0 1/6)) into 1/2 1536829934.824 * [misc]backup-simplify: Simplify (+ 1/2 0) into 1/2 1536829934.824 * [misc]backup-simplify: Simplify 1/2 into 1/2 1536829934.824 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536829934.824 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1/6))) into 0 1536829934.824 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829934.825 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536829934.825 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 1/2) (* 0 1/6))) into 0 1536829934.825 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1536829934.825 * [misc]backup-simplify: Simplify 1 into 1 1536829934.825 * [misc]backup-simplify: Simplify (+ 1 (+ (* 1/2 (/ 1 (/ 1 x))) (* 1/6 (pow (/ 1 (/ 1 x)) 2)))) into (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)) 1536829934.825 * [misc]backup-simplify: Simplify (fma (/ 1 (- x)) (fma (/ 1 (- x)) 1/6 1/2) 1) into (fma (/ -1 x) (fma (/ -1 x) 1/6 1/2) 1) 1536829934.826 * [misc]approximate: Taking taylor expansion of (fma (/ -1 x) (fma (/ -1 x) 1/6 1/2) 1) in (x) around 0 1536829934.826 * [misc]taylor: Taking taylor expansion of (fma (/ -1 x) (fma (/ -1 x) 1/6 1/2) 1) in x 1536829934.826 * [misc]taylor: Rewrote expression to (+ (* (/ -1 x) (fma (/ -1 x) 1/6 1/2)) 1) 1536829934.826 * [misc]taylor: Taking taylor expansion of (* (/ -1 x) (fma (/ -1 x) 1/6 1/2)) in x 1536829934.826 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1536829934.826 * [misc]taylor: Taking taylor expansion of -1 in x 1536829934.826 * [misc]backup-simplify: Simplify -1 into -1 1536829934.826 * [misc]taylor: Taking taylor expansion of x in x 1536829934.826 * [misc]backup-simplify: Simplify 0 into 0 1536829934.826 * [misc]backup-simplify: Simplify 1 into 1 1536829934.826 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1536829934.826 * [misc]taylor: Taking taylor expansion of (fma (/ -1 x) 1/6 1/2) in x 1536829934.826 * [misc]taylor: Rewrote expression to (+ (* (/ -1 x) 1/6) 1/2) 1536829934.826 * [misc]taylor: Taking taylor expansion of (* (/ -1 x) 1/6) in x 1536829934.826 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1536829934.826 * [misc]taylor: Taking taylor expansion of -1 in x 1536829934.826 * [misc]backup-simplify: Simplify -1 into -1 1536829934.826 * [misc]taylor: Taking taylor expansion of x in x 1536829934.826 * [misc]backup-simplify: Simplify 0 into 0 1536829934.826 * [misc]backup-simplify: Simplify 1 into 1 1536829934.826 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1536829934.826 * [misc]taylor: Taking taylor expansion of 1/6 in x 1536829934.826 * [misc]backup-simplify: Simplify 1/6 into 1/6 1536829934.826 * [misc]taylor: Taking taylor expansion of 1/2 in x 1536829934.826 * [misc]backup-simplify: Simplify 1/2 into 1/2 1536829934.826 * [misc]taylor: Taking taylor expansion of 1 in x 1536829934.826 * [misc]backup-simplify: Simplify 1 into 1 1536829934.826 * [misc]taylor: Taking taylor expansion of (fma (/ -1 x) (fma (/ -1 x) 1/6 1/2) 1) in x 1536829934.826 * [misc]taylor: Rewrote expression to (+ (* (/ -1 x) (fma (/ -1 x) 1/6 1/2)) 1) 1536829934.826 * [misc]taylor: Taking taylor expansion of (* (/ -1 x) (fma (/ -1 x) 1/6 1/2)) in x 1536829934.826 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1536829934.826 * [misc]taylor: Taking taylor expansion of -1 in x 1536829934.826 * [misc]backup-simplify: Simplify -1 into -1 1536829934.826 * [misc]taylor: Taking taylor expansion of x in x 1536829934.826 * [misc]backup-simplify: Simplify 0 into 0 1536829934.826 * [misc]backup-simplify: Simplify 1 into 1 1536829934.826 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1536829934.826 * [misc]taylor: Taking taylor expansion of (fma (/ -1 x) 1/6 1/2) in x 1536829934.827 * [misc]taylor: Rewrote expression to (+ (* (/ -1 x) 1/6) 1/2) 1536829934.827 * [misc]taylor: Taking taylor expansion of (* (/ -1 x) 1/6) in x 1536829934.827 * [misc]taylor: Taking taylor expansion of (/ -1 x) in x 1536829934.827 * [misc]taylor: Taking taylor expansion of -1 in x 1536829934.827 * [misc]backup-simplify: Simplify -1 into -1 1536829934.827 * [misc]taylor: Taking taylor expansion of x in x 1536829934.827 * [misc]backup-simplify: Simplify 0 into 0 1536829934.827 * [misc]backup-simplify: Simplify 1 into 1 1536829934.827 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1536829934.827 * [misc]taylor: Taking taylor expansion of 1/6 in x 1536829934.827 * [misc]backup-simplify: Simplify 1/6 into 1/6 1536829934.827 * [misc]taylor: Taking taylor expansion of 1/2 in x 1536829934.827 * [misc]backup-simplify: Simplify 1/2 into 1/2 1536829934.827 * [misc]taylor: Taking taylor expansion of 1 in x 1536829934.827 * [misc]backup-simplify: Simplify 1 into 1 1536829934.827 * [misc]backup-simplify: Simplify (* -1 1/6) into -1/6 1536829934.827 * [misc]backup-simplify: Simplify (+ -1/6 0) into -1/6 1536829934.827 * [misc]backup-simplify: Simplify (* -1 -1/6) into 1/6 1536829934.827 * [misc]backup-simplify: Simplify (+ 1/6 0) into 1/6 1536829934.827 * [misc]backup-simplify: Simplify 1/6 into 1/6 1536829934.828 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1536829934.828 * [misc]backup-simplify: Simplify (+ (* -1 0) (* 0 1/6)) into 0 1536829934.828 * [misc]backup-simplify: Simplify (+ 0 1/2) into 1/2 1536829934.828 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1536829934.828 * [misc]backup-simplify: Simplify (+ (* -1 1/2) (* 0 -1/6)) into -1/2 1536829934.828 * [misc]backup-simplify: Simplify (+ -1/2 0) into -1/2 1536829934.828 * [misc]backup-simplify: Simplify -1/2 into -1/2 1536829934.828 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536829934.829 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 1/6))) into 0 1536829934.829 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1536829934.829 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1536829934.829 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 1/2) (* 0 -1/6))) into 0 1536829934.829 * [misc]backup-simplify: Simplify (+ 0 1) into 1 1536829934.829 * [misc]backup-simplify: Simplify 1 into 1 1536829934.829 * [misc]backup-simplify: Simplify (+ 1 (+ (* -1/2 (/ 1 (/ 1 (- x)))) (* 1/6 (pow (/ 1 (/ 1 (- x))) 2)))) into (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)) 1536829934.830 * * * [misc]progress: simplifying candidates 1536829934.830 * * * * [misc]progress: [ 1 / 26 ] simplifiying candidate # 1536829934.830 * * * * [misc]progress: [ 2 / 26 ] simplifiying candidate # 1536829934.830 * * * * [misc]progress: [ 3 / 26 ] simplifiying candidate # 1536829934.830 * * * * [misc]progress: [ 4 / 26 ] simplifiying candidate # 1536829934.830 * * * * [misc]progress: [ 5 / 26 ] simplifiying candidate # 1536829934.830 * * * * [misc]progress: [ 6 / 26 ] simplifiying candidate # 1536829934.830 * * * * [misc]progress: [ 7 / 26 ] simplifiying candidate # 1536829934.830 * * * * [misc]progress: [ 8 / 26 ] simplifiying candidate # 1536829934.830 * * * * [misc]progress: [ 9 / 26 ] simplifiying candidate # 1536829934.830 * * * * [misc]progress: [ 10 / 26 ] simplifiying candidate # 1536829934.830 * * * * [misc]progress: [ 11 / 26 ] simplifiying candidate # 1536829934.830 * * * * [misc]progress: [ 12 / 26 ] simplifiying candidate # 1536829934.830 * * * * [misc]progress: [ 13 / 26 ] simplifiying candidate # 1536829934.830 * * * * [misc]progress: [ 14 / 26 ] simplifiying candidate # 1536829934.830 * * * * [misc]progress: [ 15 / 26 ] simplifiying candidate # 1536829934.830 * * * * [misc]progress: [ 16 / 26 ] simplifiying candidate # 1536829934.830 * * * * [misc]progress: [ 17 / 26 ] simplifiying candidate # 1536829934.830 * * * * [misc]progress: [ 18 / 26 ] simplifiying candidate # 1536829934.830 * * * * [misc]progress: [ 19 / 26 ] simplifiying candidate # 1536829934.830 * * * * [misc]progress: [ 20 / 26 ] simplifiying candidate # 1536829934.830 * * * * [misc]progress: [ 21 / 26 ] simplifiying candidate # 1536829934.830 * [enter]simplify: Simplifying (+ (* 1/6 x) 1/2) 1536829934.831 * * [misc]simplify: iters left: 4 (5 enodes) 1536829934.832 * * [misc]simplify: iters left: 3 (8 enodes) 1536829934.833 * * [misc]simplify: iters left: 2 (9 enodes) 1536829934.834 * [exit]simplify: Simplified to (fma x 1/6 1/2) 1536829934.835 * [misc]simplify: Simplified (2 2) to (λ (x) (fma x (fma x 1/6 1/2) 1)) 1536829934.835 * * * * [misc]progress: [ 22 / 26 ] simplifiying candidate # 1536829934.835 * [enter]simplify: Simplifying (+ (* 1/6 x) 1/2) 1536829934.835 * * [misc]simplify: iters left: 4 (5 enodes) 1536829934.836 * * [misc]simplify: iters left: 3 (8 enodes) 1536829934.837 * * [misc]simplify: iters left: 2 (9 enodes) 1536829934.839 * [exit]simplify: Simplified to (fma x 1/6 1/2) 1536829934.839 * [misc]simplify: Simplified (2 2) to (λ (x) (fma x (fma x 1/6 1/2) 1)) 1536829934.839 * * * * [misc]progress: [ 23 / 26 ] simplifiying candidate # 1536829934.839 * [enter]simplify: Simplifying (+ (* 1/6 x) 1/2) 1536829934.839 * * [misc]simplify: iters left: 4 (5 enodes) 1536829934.840 * * [misc]simplify: iters left: 3 (8 enodes) 1536829934.842 * * [misc]simplify: iters left: 2 (9 enodes) 1536829934.843 * [exit]simplify: Simplified to (fma x 1/6 1/2) 1536829934.843 * [misc]simplify: Simplified (2 2) to (λ (x) (fma x (fma x 1/6 1/2) 1)) 1536829934.843 * * * * [misc]progress: [ 24 / 26 ] simplifiying candidate # 1536829934.843 * [enter]simplify: Simplifying (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)) 1536829934.844 * * [misc]simplify: iters left: 6 (10 enodes) 1536829934.846 * * [misc]simplify: iters left: 5 (21 enodes) 1536829934.851 * * [misc]simplify: iters left: 4 (35 enodes) 1536829934.860 * * [misc]simplify: iters left: 3 (56 enodes) 1536829934.869 * * [misc]simplify: iters left: 2 (76 enodes) 1536829934.890 * * [misc]simplify: iters left: 1 (91 enodes) 1536829934.900 * [exit]simplify: Simplified to (fma x (fma x 1/6 1/2) 1) 1536829934.900 * [misc]simplify: Simplified (2) to (λ (x) (fma x (fma x 1/6 1/2) 1)) 1536829934.900 * * * * [misc]progress: [ 25 / 26 ] simplifiying candidate # 1536829934.900 * [enter]simplify: Simplifying (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)) 1536829934.900 * * [misc]simplify: iters left: 6 (10 enodes) 1536829934.903 * * [misc]simplify: iters left: 5 (21 enodes) 1536829934.908 * * [misc]simplify: iters left: 4 (35 enodes) 1536829934.916 * * [misc]simplify: iters left: 3 (56 enodes) 1536829934.925 * * [misc]simplify: iters left: 2 (76 enodes) 1536829934.944 * * [misc]simplify: iters left: 1 (91 enodes) 1536829934.960 * [exit]simplify: Simplified to (fma x (fma x 1/6 1/2) 1) 1536829934.960 * [misc]simplify: Simplified (2) to (λ (x) (fma x (fma x 1/6 1/2) 1)) 1536829934.960 * * * * [misc]progress: [ 26 / 26 ] simplifiying candidate # 1536829934.960 * [enter]simplify: Simplifying (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)) 1536829934.961 * * [misc]simplify: iters left: 6 (10 enodes) 1536829934.966 * * [misc]simplify: iters left: 5 (21 enodes) 1536829934.975 * * [misc]simplify: iters left: 4 (35 enodes) 1536829934.991 * * [misc]simplify: iters left: 3 (56 enodes) 1536829935.011 * * [misc]simplify: iters left: 2 (76 enodes) 1536829935.036 * * [misc]simplify: iters left: 1 (91 enodes) 1536829935.052 * [exit]simplify: Simplified to (fma x (fma x 1/6 1/2) 1) 1536829935.052 * [misc]simplify: Simplified (2) to (λ (x) (fma x (fma x 1/6 1/2) 1)) 1536829935.052 * * * [misc]progress: adding candidates to table 1536829935.385 * [misc]progress: [Phase 3 of 3] Extracting. 1536829935.385 * * [misc]regime: Finding splitpoints for: (# # #) 1536829935.385 * * * [misc]regime-changes: Trying 1 branch expressions: (x) 1536829935.385 * * * * [misc]regimes: Trying to branch on x from (# # #) 1536829935.406 * * * [misc]regime: Found split indices: #