0.002 * [progress]: [Phase 1 of 3] Setting up. 0.003 * * * [progress]: [1/2] Preparing points 0.088 * * * [progress]: [2/2] Setting up program. 0.092 * [progress]: [Phase 2 of 3] Improving. 0.092 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.093 * [simplify]: Simplifying (/ (- (exp x) 1) x) 0.093 * * [simplify]: iters left: 5 (5 enodes) 0.097 * * [simplify]: iters left: 4 (24 enodes) 0.104 * * [simplify]: iters left: 3 (34 enodes) 0.113 * * [simplify]: iters left: 2 (38 enodes) 0.139 * * [simplify]: Extracting #0: cost 1 inf + 0 0.139 * * [simplify]: Extracting #1: cost 7 inf + 0 0.139 * * [simplify]: Extracting #2: cost 13 inf + 1 0.139 * * [simplify]: Extracting #3: cost 8 inf + 229 0.140 * * [simplify]: Extracting #4: cost 1 inf + 788 0.140 * * [simplify]: Extracting #5: cost 0 inf + 899 0.140 * [simplify]: Simplified to (/ (expm1 x) x) 0.140 * [simplify]: Simplified (2) to (λ (x) (/ (expm1 x) x)) 0.152 * * [progress]: iteration 1 / 4 0.152 * * * [progress]: picking best candidate 0.156 * * * * [pick]: Picked # 0.156 * * * [progress]: localizing error 0.167 * * * [progress]: generating rewritten candidates 0.167 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.177 * * * [progress]: generating series expansions 0.177 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.178 * [backup-simplify]: Simplify (/ (expm1 x) x) into (/ (expm1 x) x) 0.178 * [approximate]: Taking taylor expansion of (/ (expm1 x) x) in (x) around 0 0.178 * [taylor]: Taking taylor expansion of (/ (expm1 x) x) in x 0.178 * [taylor]: Taking taylor expansion of (expm1 x) in x 0.178 * [taylor]: Rewrote expression to (- (exp x) 1) 0.178 * [taylor]: Taking taylor expansion of (exp x) in x 0.178 * [taylor]: Taking taylor expansion of x in x 0.178 * [backup-simplify]: Simplify 0 into 0 0.178 * [backup-simplify]: Simplify 1 into 1 0.178 * [backup-simplify]: Simplify (exp 0) into 1 0.178 * [taylor]: Taking taylor expansion of 1 in x 0.178 * [backup-simplify]: Simplify 1 into 1 0.178 * [taylor]: Taking taylor expansion of x in x 0.178 * [backup-simplify]: Simplify 0 into 0 0.178 * [backup-simplify]: Simplify 1 into 1 0.179 * [backup-simplify]: Simplify (- 1) into -1 0.179 * [backup-simplify]: Simplify (+ 1 -1) into 0 0.180 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 0.181 * [backup-simplify]: Simplify (- 0) into 0 0.181 * [backup-simplify]: Simplify (+ 1 0) into 1 0.181 * [backup-simplify]: Simplify (/ 1 1) into 1 0.181 * [taylor]: Taking taylor expansion of (/ (expm1 x) x) in x 0.181 * [taylor]: Taking taylor expansion of (expm1 x) in x 0.182 * [taylor]: Rewrote expression to (- (exp x) 1) 0.182 * [taylor]: Taking taylor expansion of (exp x) in x 0.182 * [taylor]: Taking taylor expansion of x in x 0.182 * [backup-simplify]: Simplify 0 into 0 0.182 * [backup-simplify]: Simplify 1 into 1 0.182 * [backup-simplify]: Simplify (exp 0) into 1 0.182 * [taylor]: Taking taylor expansion of 1 in x 0.182 * [backup-simplify]: Simplify 1 into 1 0.182 * [taylor]: Taking taylor expansion of x in x 0.182 * [backup-simplify]: Simplify 0 into 0 0.182 * [backup-simplify]: Simplify 1 into 1 0.182 * [backup-simplify]: Simplify (- 1) into -1 0.183 * [backup-simplify]: Simplify (+ 1 -1) into 0 0.184 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 0.184 * [backup-simplify]: Simplify (- 0) into 0 0.185 * [backup-simplify]: Simplify (+ 1 0) into 1 0.185 * [backup-simplify]: Simplify (/ 1 1) into 1 0.185 * [backup-simplify]: Simplify 1 into 1 0.187 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 0.187 * [backup-simplify]: Simplify (- 0) into 0 0.187 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 0.188 * [backup-simplify]: Simplify (- (/ 1/2 1) (+ (* 1 (/ 0 1)))) into 1/2 0.188 * [backup-simplify]: Simplify 1/2 into 1/2 0.191 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 0.191 * [backup-simplify]: Simplify (- 0) into 0 0.192 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 0.193 * [backup-simplify]: Simplify (- (/ 1/6 1) (+ (* 1 (/ 0 1)) (* 1/2 (/ 0 1)))) into 1/6 0.193 * [backup-simplify]: Simplify 1/6 into 1/6 0.193 * [backup-simplify]: Simplify (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1)) into (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)) 0.193 * [backup-simplify]: Simplify (/ (expm1 (/ 1 x)) (/ 1 x)) into (* (expm1 (/ 1 x)) x) 0.193 * [approximate]: Taking taylor expansion of (* (expm1 (/ 1 x)) x) in (x) around 0 0.194 * [taylor]: Taking taylor expansion of (* (expm1 (/ 1 x)) x) in x 0.194 * [taylor]: Taking taylor expansion of (expm1 (/ 1 x)) in x 0.194 * [taylor]: Rewrote expression to (- (exp (/ 1 x)) 1) 0.194 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.194 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.194 * [taylor]: Taking taylor expansion of x in x 0.194 * [backup-simplify]: Simplify 0 into 0 0.194 * [backup-simplify]: Simplify 1 into 1 0.194 * [backup-simplify]: Simplify (/ 1 1) into 1 0.194 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 0.194 * [taylor]: Taking taylor expansion of 1 in x 0.194 * [backup-simplify]: Simplify 1 into 1 0.194 * [taylor]: Taking taylor expansion of x in x 0.194 * [backup-simplify]: Simplify 0 into 0 0.195 * [backup-simplify]: Simplify 1 into 1 0.195 * [taylor]: Taking taylor expansion of (* (expm1 (/ 1 x)) x) in x 0.195 * [taylor]: Taking taylor expansion of (expm1 (/ 1 x)) in x 0.195 * [taylor]: Rewrote expression to (- (exp (/ 1 x)) 1) 0.195 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.195 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.195 * [taylor]: Taking taylor expansion of x in x 0.195 * [backup-simplify]: Simplify 0 into 0 0.195 * [backup-simplify]: Simplify 1 into 1 0.195 * [backup-simplify]: Simplify (/ 1 1) into 1 0.195 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 0.195 * [taylor]: Taking taylor expansion of 1 in x 0.195 * [backup-simplify]: Simplify 1 into 1 0.195 * [taylor]: Taking taylor expansion of x in x 0.195 * [backup-simplify]: Simplify 0 into 0 0.195 * [backup-simplify]: Simplify 1 into 1 0.196 * [backup-simplify]: Simplify (- 1) into -1 0.196 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1) 0.196 * [backup-simplify]: Simplify (* (- (exp (/ 1 x)) 1) 0) into 0 0.196 * [backup-simplify]: Simplify 0 into 0 0.197 * [backup-simplify]: Simplify (- 0) into 0 0.197 * [backup-simplify]: Simplify (+ 0 0) into 0 0.198 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 x)) 1) 1) (* 0 0)) into (- (exp (/ 1 x)) 1) 0.198 * [backup-simplify]: Simplify (- (exp (/ 1 x)) 1) into (- (exp (/ 1 x)) 1) 0.198 * [backup-simplify]: Simplify (- 0) into 0 0.198 * [backup-simplify]: Simplify (+ 0 0) into 0 0.199 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 1) (* 0 0))) into 0 0.199 * [backup-simplify]: Simplify 0 into 0 0.199 * [backup-simplify]: Simplify (- 0) into 0 0.200 * [backup-simplify]: Simplify (+ 0 0) into 0 0.200 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 0.200 * [backup-simplify]: Simplify 0 into 0 0.200 * [backup-simplify]: Simplify (- 0) into 0 0.201 * [backup-simplify]: Simplify (+ 0 0) into 0 0.201 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 0.201 * [backup-simplify]: Simplify 0 into 0 0.201 * [backup-simplify]: Simplify (- 0) into 0 0.202 * [backup-simplify]: Simplify (+ 0 0) into 0 0.202 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 0.202 * [backup-simplify]: Simplify 0 into 0 0.203 * [backup-simplify]: Simplify (- 0) into 0 0.203 * [backup-simplify]: Simplify (+ 0 0) into 0 0.204 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 0.204 * [backup-simplify]: Simplify 0 into 0 0.204 * [backup-simplify]: Simplify (- 0) into 0 0.204 * [backup-simplify]: Simplify (+ 0 0) into 0 0.205 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 0.205 * [backup-simplify]: Simplify 0 into 0 0.205 * [backup-simplify]: Simplify (* (- (exp (/ 1 (/ 1 x))) 1) (/ 1 x)) into (/ (- (exp x) 1) x) 0.205 * [backup-simplify]: Simplify (/ (expm1 (/ 1 (- x))) (/ 1 (- x))) into (* -1 (* x (expm1 (/ -1 x)))) 0.205 * [approximate]: Taking taylor expansion of (* -1 (* x (expm1 (/ -1 x)))) in (x) around 0 0.205 * [taylor]: Taking taylor expansion of (* -1 (* x (expm1 (/ -1 x)))) in x 0.205 * [taylor]: Taking taylor expansion of -1 in x 0.205 * [backup-simplify]: Simplify -1 into -1 0.205 * [taylor]: Taking taylor expansion of (* x (expm1 (/ -1 x))) in x 0.205 * [taylor]: Taking taylor expansion of x in x 0.205 * [backup-simplify]: Simplify 0 into 0 0.205 * [backup-simplify]: Simplify 1 into 1 0.205 * [taylor]: Taking taylor expansion of (expm1 (/ -1 x)) in x 0.205 * [taylor]: Rewrote expression to (- (exp (/ -1 x)) 1) 0.205 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.205 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.205 * [taylor]: Taking taylor expansion of -1 in x 0.205 * [backup-simplify]: Simplify -1 into -1 0.205 * [taylor]: Taking taylor expansion of x in x 0.205 * [backup-simplify]: Simplify 0 into 0 0.206 * [backup-simplify]: Simplify 1 into 1 0.206 * [backup-simplify]: Simplify (/ -1 1) into -1 0.206 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 0.206 * [taylor]: Taking taylor expansion of 1 in x 0.206 * [backup-simplify]: Simplify 1 into 1 0.206 * [taylor]: Taking taylor expansion of (* -1 (* x (expm1 (/ -1 x)))) in x 0.206 * [taylor]: Taking taylor expansion of -1 in x 0.206 * [backup-simplify]: Simplify -1 into -1 0.206 * [taylor]: Taking taylor expansion of (* x (expm1 (/ -1 x))) in x 0.206 * [taylor]: Taking taylor expansion of x in x 0.206 * [backup-simplify]: Simplify 0 into 0 0.206 * [backup-simplify]: Simplify 1 into 1 0.206 * [taylor]: Taking taylor expansion of (expm1 (/ -1 x)) in x 0.206 * [taylor]: Rewrote expression to (- (exp (/ -1 x)) 1) 0.206 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.206 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.206 * [taylor]: Taking taylor expansion of -1 in x 0.206 * [backup-simplify]: Simplify -1 into -1 0.206 * [taylor]: Taking taylor expansion of x in x 0.206 * [backup-simplify]: Simplify 0 into 0 0.206 * [backup-simplify]: Simplify 1 into 1 0.206 * [backup-simplify]: Simplify (/ -1 1) into -1 0.207 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 0.207 * [taylor]: Taking taylor expansion of 1 in x 0.207 * [backup-simplify]: Simplify 1 into 1 0.207 * [backup-simplify]: Simplify (- 1) into -1 0.207 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1) 0.207 * [backup-simplify]: Simplify (* 0 (- (exp (/ -1 x)) 1)) into 0 0.207 * [backup-simplify]: Simplify (* -1 0) into 0 0.207 * [backup-simplify]: Simplify 0 into 0 0.208 * [backup-simplify]: Simplify (- 0) into 0 0.208 * [backup-simplify]: Simplify (+ 0 0) into 0 0.208 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- (exp (/ -1 x)) 1))) into (- (exp (/ -1 x)) 1) 0.209 * [backup-simplify]: Simplify (+ (* -1 (- (exp (/ -1 x)) 1)) (* 0 0)) into (- 1 (exp (/ -1 x))) 0.209 * [backup-simplify]: Simplify (- 1 (exp (/ -1 x))) into (- 1 (exp (/ -1 x))) 0.209 * [backup-simplify]: Simplify (- 0) into 0 0.209 * [backup-simplify]: Simplify (+ 0 0) into 0 0.210 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- (exp (/ -1 x)) 1)))) into 0 0.210 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0))) into 0 0.210 * [backup-simplify]: Simplify 0 into 0 0.210 * [backup-simplify]: Simplify (- 0) into 0 0.211 * [backup-simplify]: Simplify (+ 0 0) into 0 0.211 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1))))) into 0 0.212 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0)))) into 0 0.212 * [backup-simplify]: Simplify 0 into 0 0.213 * [backup-simplify]: Simplify (- 0) into 0 0.213 * [backup-simplify]: Simplify (+ 0 0) into 0 0.214 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1)))))) into 0 0.215 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0))))) into 0 0.215 * [backup-simplify]: Simplify 0 into 0 0.215 * [backup-simplify]: Simplify (- 0) into 0 0.215 * [backup-simplify]: Simplify (+ 0 0) into 0 0.217 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1))))))) into 0 0.218 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0)))))) into 0 0.218 * [backup-simplify]: Simplify 0 into 0 0.218 * [backup-simplify]: Simplify (- 0) into 0 0.219 * [backup-simplify]: Simplify (+ 0 0) into 0 0.220 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1)))))))) into 0 0.221 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0))))))) into 0 0.221 * [backup-simplify]: Simplify 0 into 0 0.222 * [backup-simplify]: Simplify (- 0) into 0 0.222 * [backup-simplify]: Simplify (+ 0 0) into 0 0.223 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1))))))))) into 0 0.225 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0)))))))) into 0 0.225 * [backup-simplify]: Simplify 0 into 0 0.225 * [backup-simplify]: Simplify (* (- 1 (exp (/ -1 (/ 1 (- x))))) (/ 1 (- x))) into (* -1 (/ (- 1 (exp x)) x)) 0.225 * * * [progress]: simplifying candidates 0.225 * * * * [progress]: [ 1 / 34 ] simplifiying candidate # 0.225 * * * * [progress]: [ 2 / 34 ] simplifiying candidate # 0.225 * * * * [progress]: [ 3 / 34 ] simplifiying candidate # 0.225 * * * * [progress]: [ 4 / 34 ] simplifiying candidate # 0.226 * [simplify]: Simplifying (- (log (expm1 x)) (log x)) 0.226 * * [simplify]: iters left: 4 (5 enodes) 0.228 * * [simplify]: iters left: 3 (17 enodes) 0.232 * * [simplify]: iters left: 2 (20 enodes) 0.238 * * [simplify]: Extracting #0: cost 1 inf + 0 0.238 * * [simplify]: Extracting #1: cost 5 inf + 0 0.238 * * [simplify]: Extracting #2: cost 10 inf + 0 0.238 * * [simplify]: Extracting #3: cost 10 inf + 1 0.239 * * [simplify]: Extracting #4: cost 0 inf + 1291 0.239 * [simplify]: Simplified to (- (log (expm1 x)) (log x)) 0.239 * [simplify]: Simplified (2 1) to (λ (x) (exp (- (log (expm1 x)) (log x)))) 0.239 * * * * [progress]: [ 5 / 34 ] simplifiying candidate # 0.239 * * * * [progress]: [ 6 / 34 ] simplifiying candidate # 0.239 * * * * [progress]: [ 7 / 34 ] simplifiying candidate # 0.239 * [simplify]: Simplifying (/ (* (* (expm1 x) (expm1 x)) (expm1 x)) (* (* x x) x)) 0.240 * * [simplify]: iters left: 6 (7 enodes) 0.243 * * [simplify]: iters left: 5 (30 enodes) 0.254 * * [simplify]: iters left: 4 (70 enodes) 0.288 * * [simplify]: iters left: 3 (146 enodes) 0.352 * * [simplify]: iters left: 2 (250 enodes) 0.438 * * [simplify]: iters left: 1 (428 enodes) 0.659 * * [simplify]: Extracting #0: cost 1 inf + 0 0.659 * * [simplify]: Extracting #1: cost 81 inf + 0 0.660 * * [simplify]: Extracting #2: cost 197 inf + 184 0.662 * * [simplify]: Extracting #3: cost 154 inf + 13151 0.669 * * [simplify]: Extracting #4: cost 22 inf + 70479 0.678 * * [simplify]: Extracting #5: cost 0 inf + 77877 0.690 * * [simplify]: Extracting #6: cost 0 inf + 77637 0.707 * [simplify]: Simplified to (* (* (/ (expm1 x) x) (/ (expm1 x) x)) (/ (expm1 x) x)) 0.707 * [simplify]: Simplified (2 1) to (λ (x) (cbrt (* (* (/ (expm1 x) x) (/ (expm1 x) x)) (/ (expm1 x) x)))) 0.707 * * * * [progress]: [ 8 / 34 ] simplifiying candidate # 0.707 * * * * [progress]: [ 9 / 34 ] simplifiying candidate # 0.707 * * * * [progress]: [ 10 / 34 ] simplifiying candidate # 0.707 * * * * [progress]: [ 11 / 34 ] simplifiying candidate # 0.707 * * * * [progress]: [ 12 / 34 ] simplifiying candidate # 0.708 * [simplify]: Simplifying (/ (exp x) x) 0.708 * * [simplify]: iters left: 3 (3 enodes) 0.709 * * [simplify]: iters left: 2 (9 enodes) 0.712 * * [simplify]: Extracting #0: cost 1 inf + 0 0.712 * * [simplify]: Extracting #1: cost 4 inf + 0 0.712 * * [simplify]: Extracting #2: cost 4 inf + 1 0.712 * * [simplify]: Extracting #3: cost 0 inf + 365 0.712 * [simplify]: Simplified to (/ (exp x) x) 0.712 * [simplify]: Simplified (2 1) to (λ (x) (- (/ (exp x) x) (/ 1 x))) 0.712 * * * * [progress]: [ 13 / 34 ] simplifiying candidate # 0.712 * [simplify]: Simplifying (/ (* (cbrt (expm1 x)) (cbrt (expm1 x))) (* (cbrt x) (cbrt x))) 0.713 * * [simplify]: iters left: 6 (7 enodes) 0.716 * * [simplify]: iters left: 5 (27 enodes) 0.724 * * [simplify]: iters left: 4 (42 enodes) 0.737 * * [simplify]: iters left: 3 (49 enodes) 0.750 * * [simplify]: iters left: 2 (52 enodes) 0.759 * * [simplify]: Extracting #0: cost 1 inf + 0 0.759 * * [simplify]: Extracting #1: cost 11 inf + 0 0.759 * * [simplify]: Extracting #2: cost 22 inf + 0 0.759 * * [simplify]: Extracting #3: cost 21 inf + 72 0.760 * * [simplify]: Extracting #4: cost 10 inf + 2123 0.760 * * [simplify]: Extracting #5: cost 0 inf + 4803 0.761 * [simplify]: Simplified to (* (/ (cbrt (expm1 x)) (cbrt x)) (/ (cbrt (expm1 x)) (cbrt x))) 0.761 * [simplify]: Simplified (2 1) to (λ (x) (* (* (/ (cbrt (expm1 x)) (cbrt x)) (/ (cbrt (expm1 x)) (cbrt x))) (/ (cbrt (expm1 x)) (cbrt x)))) 0.761 * [simplify]: Simplifying (/ (cbrt (expm1 x)) (cbrt x)) 0.761 * * [simplify]: iters left: 4 (5 enodes) 0.762 * * [simplify]: iters left: 3 (15 enodes) 0.764 * * [simplify]: Extracting #0: cost 1 inf + 0 0.765 * * [simplify]: Extracting #1: cost 4 inf + 0 0.765 * * [simplify]: Extracting #2: cost 8 inf + 0 0.765 * * [simplify]: Extracting #3: cost 8 inf + 1 0.765 * * [simplify]: Extracting #4: cost 0 inf + 1149 0.765 * [simplify]: Simplified to (/ (cbrt (expm1 x)) (cbrt x)) 0.765 * [simplify]: Simplified (2 2) to (λ (x) (* (* (/ (cbrt (expm1 x)) (cbrt x)) (/ (cbrt (expm1 x)) (cbrt x))) (/ (cbrt (expm1 x)) (cbrt x)))) 0.765 * * * * [progress]: [ 14 / 34 ] simplifiying candidate # 0.765 * [simplify]: Simplifying (/ (* (cbrt (expm1 x)) (cbrt (expm1 x))) (sqrt x)) 0.765 * * [simplify]: iters left: 6 (6 enodes) 0.766 * * [simplify]: iters left: 5 (20 enodes) 0.769 * * [simplify]: iters left: 4 (24 enodes) 0.772 * * [simplify]: iters left: 3 (27 enodes) 0.776 * * [simplify]: Extracting #0: cost 1 inf + 0 0.776 * * [simplify]: Extracting #1: cost 7 inf + 0 0.776 * * [simplify]: Extracting #2: cost 14 inf + 0 0.776 * * [simplify]: Extracting #3: cost 14 inf + 1 0.776 * * [simplify]: Extracting #4: cost 11 inf + 154 0.777 * * [simplify]: Extracting #5: cost 2 inf + 1913 0.777 * * [simplify]: Extracting #6: cost 0 inf + 2375 0.777 * [simplify]: Simplified to (* (cbrt (expm1 x)) (/ (cbrt (expm1 x)) (sqrt x))) 0.777 * [simplify]: Simplified (2 1) to (λ (x) (* (* (cbrt (expm1 x)) (/ (cbrt (expm1 x)) (sqrt x))) (/ (cbrt (expm1 x)) (sqrt x)))) 0.777 * [simplify]: Simplifying (/ (cbrt (expm1 x)) (sqrt x)) 0.778 * * [simplify]: iters left: 4 (5 enodes) 0.779 * * [simplify]: iters left: 3 (15 enodes) 0.780 * * [simplify]: Extracting #0: cost 1 inf + 0 0.781 * * [simplify]: Extracting #1: cost 4 inf + 0 0.781 * * [simplify]: Extracting #2: cost 8 inf + 0 0.781 * * [simplify]: Extracting #3: cost 8 inf + 1 0.781 * * [simplify]: Extracting #4: cost 0 inf + 989 0.781 * [simplify]: Simplified to (/ (cbrt (expm1 x)) (sqrt x)) 0.781 * [simplify]: Simplified (2 2) to (λ (x) (* (* (cbrt (expm1 x)) (/ (cbrt (expm1 x)) (sqrt x))) (/ (cbrt (expm1 x)) (sqrt x)))) 0.781 * * * * [progress]: [ 15 / 34 ] simplifiying candidate # 0.781 * [simplify]: Simplifying (/ (* (cbrt (expm1 x)) (cbrt (expm1 x))) 1) 0.781 * * [simplify]: iters left: 6 (6 enodes) 0.784 * * [simplify]: iters left: 5 (20 enodes) 0.791 * * [simplify]: iters left: 4 (30 enodes) 0.800 * * [simplify]: iters left: 3 (31 enodes) 0.810 * * [simplify]: Extracting #0: cost 1 inf + 0 0.810 * * [simplify]: Extracting #1: cost 5 inf + 0 0.810 * * [simplify]: Extracting #2: cost 7 inf + 1 0.810 * * [simplify]: Extracting #3: cost 9 inf + 1 0.810 * * [simplify]: Extracting #4: cost 8 inf + 2 0.811 * * [simplify]: Extracting #5: cost 0 inf + 1212 0.811 * [simplify]: Simplified to (* (cbrt (expm1 x)) (cbrt (expm1 x))) 0.811 * [simplify]: Simplified (2 1) to (λ (x) (* (* (cbrt (expm1 x)) (cbrt (expm1 x))) (/ (cbrt (expm1 x)) x))) 0.811 * [simplify]: Simplifying (/ (cbrt (expm1 x)) x) 0.812 * * [simplify]: iters left: 4 (4 enodes) 0.813 * * [simplify]: iters left: 3 (12 enodes) 0.817 * * [simplify]: Extracting #0: cost 1 inf + 0 0.817 * * [simplify]: Extracting #1: cost 4 inf + 0 0.817 * * [simplify]: Extracting #2: cost 5 inf + 1 0.817 * * [simplify]: Extracting #3: cost 5 inf + 72 0.817 * * [simplify]: Extracting #4: cost 0 inf + 827 0.817 * [simplify]: Simplified to (/ (cbrt (expm1 x)) x) 0.817 * [simplify]: Simplified (2 2) to (λ (x) (* (* (cbrt (expm1 x)) (cbrt (expm1 x))) (/ (cbrt (expm1 x)) x))) 0.817 * * * * [progress]: [ 16 / 34 ] simplifiying candidate # 0.818 * [simplify]: Simplifying (/ (sqrt (expm1 x)) (* (cbrt x) (cbrt x))) 0.818 * * [simplify]: iters left: 5 (6 enodes) 0.820 * * [simplify]: iters left: 4 (20 enodes) 0.825 * * [simplify]: iters left: 3 (22 enodes) 0.828 * * [simplify]: Extracting #0: cost 1 inf + 0 0.829 * * [simplify]: Extracting #1: cost 6 inf + 0 0.829 * * [simplify]: Extracting #2: cost 12 inf + 0 0.829 * * [simplify]: Extracting #3: cost 12 inf + 1 0.829 * * [simplify]: Extracting #4: cost 10 inf + 153 0.829 * * [simplify]: Extracting #5: cost 1 inf + 1502 0.829 * * [simplify]: Extracting #6: cost 0 inf + 1773 0.829 * [simplify]: Simplified to (/ (/ (sqrt (expm1 x)) (cbrt x)) (cbrt x)) 0.829 * [simplify]: Simplified (2 1) to (λ (x) (* (/ (/ (sqrt (expm1 x)) (cbrt x)) (cbrt x)) (/ (sqrt (expm1 x)) (cbrt x)))) 0.829 * [simplify]: Simplifying (/ (sqrt (expm1 x)) (cbrt x)) 0.830 * * [simplify]: iters left: 4 (5 enodes) 0.831 * * [simplify]: iters left: 3 (15 enodes) 0.833 * * [simplify]: Extracting #0: cost 1 inf + 0 0.833 * * [simplify]: Extracting #1: cost 4 inf + 0 0.833 * * [simplify]: Extracting #2: cost 8 inf + 0 0.833 * * [simplify]: Extracting #3: cost 8 inf + 1 0.833 * * [simplify]: Extracting #4: cost 0 inf + 989 0.833 * [simplify]: Simplified to (/ (sqrt (expm1 x)) (cbrt x)) 0.833 * [simplify]: Simplified (2 2) to (λ (x) (* (/ (/ (sqrt (expm1 x)) (cbrt x)) (cbrt x)) (/ (sqrt (expm1 x)) (cbrt x)))) 0.833 * * * * [progress]: [ 17 / 34 ] simplifiying candidate # 0.833 * [simplify]: Simplifying (/ (sqrt (expm1 x)) (sqrt x)) 0.833 * * [simplify]: iters left: 4 (5 enodes) 0.834 * * [simplify]: iters left: 3 (15 enodes) 0.837 * * [simplify]: Extracting #0: cost 1 inf + 0 0.837 * * [simplify]: Extracting #1: cost 4 inf + 0 0.837 * * [simplify]: Extracting #2: cost 8 inf + 0 0.837 * * [simplify]: Extracting #3: cost 8 inf + 1 0.837 * * [simplify]: Extracting #4: cost 0 inf + 829 0.837 * [simplify]: Simplified to (/ (sqrt (expm1 x)) (sqrt x)) 0.837 * [simplify]: Simplified (2 1) to (λ (x) (* (/ (sqrt (expm1 x)) (sqrt x)) (/ (sqrt (expm1 x)) (sqrt x)))) 0.837 * [simplify]: Simplifying (/ (sqrt (expm1 x)) (sqrt x)) 0.837 * * [simplify]: iters left: 4 (5 enodes) 0.838 * * [simplify]: iters left: 3 (15 enodes) 0.840 * * [simplify]: Extracting #0: cost 1 inf + 0 0.840 * * [simplify]: Extracting #1: cost 4 inf + 0 0.840 * * [simplify]: Extracting #2: cost 8 inf + 0 0.840 * * [simplify]: Extracting #3: cost 8 inf + 1 0.841 * * [simplify]: Extracting #4: cost 0 inf + 829 0.841 * [simplify]: Simplified to (/ (sqrt (expm1 x)) (sqrt x)) 0.841 * [simplify]: Simplified (2 2) to (λ (x) (* (/ (sqrt (expm1 x)) (sqrt x)) (/ (sqrt (expm1 x)) (sqrt x)))) 0.841 * * * * [progress]: [ 18 / 34 ] simplifiying candidate # 0.841 * [simplify]: Simplifying (/ (sqrt (expm1 x)) 1) 0.841 * * [simplify]: iters left: 4 (5 enodes) 0.842 * * [simplify]: iters left: 3 (15 enodes) 0.845 * * [simplify]: iters left: 2 (17 enodes) 0.848 * * [simplify]: Extracting #0: cost 1 inf + 0 0.848 * * [simplify]: Extracting #1: cost 4 inf + 0 0.848 * * [simplify]: Extracting #2: cost 5 inf + 1 0.848 * * [simplify]: Extracting #3: cost 4 inf + 2 0.848 * * [simplify]: Extracting #4: cost 1 inf + 255 0.848 * * [simplify]: Extracting #5: cost 0 inf + 366 0.848 * [simplify]: Simplified to (sqrt (expm1 x)) 0.848 * [simplify]: Simplified (2 1) to (λ (x) (* (sqrt (expm1 x)) (/ (sqrt (expm1 x)) x))) 0.848 * [simplify]: Simplifying (/ (sqrt (expm1 x)) x) 0.848 * * [simplify]: iters left: 4 (4 enodes) 0.849 * * [simplify]: iters left: 3 (12 enodes) 0.852 * * [simplify]: Extracting #0: cost 1 inf + 0 0.852 * * [simplify]: Extracting #1: cost 4 inf + 0 0.852 * * [simplify]: Extracting #2: cost 5 inf + 1 0.852 * * [simplify]: Extracting #3: cost 5 inf + 72 0.852 * * [simplify]: Extracting #4: cost 0 inf + 667 0.852 * [simplify]: Simplified to (/ (sqrt (expm1 x)) x) 0.852 * [simplify]: Simplified (2 2) to (λ (x) (* (sqrt (expm1 x)) (/ (sqrt (expm1 x)) x))) 0.852 * * * * [progress]: [ 19 / 34 ] simplifiying candidate # 0.853 * [simplify]: Simplifying (/ 1 (* (cbrt x) (cbrt x))) 0.853 * * [simplify]: iters left: 5 (5 enodes) 0.856 * * [simplify]: iters left: 4 (19 enodes) 0.862 * * [simplify]: iters left: 3 (23 enodes) 0.869 * * [simplify]: Extracting #0: cost 1 inf + 0 0.869 * * [simplify]: Extracting #1: cost 6 inf + 0 0.869 * * [simplify]: Extracting #2: cost 9 inf + 1 0.869 * * [simplify]: Extracting #3: cost 1 inf + 852 0.870 * * [simplify]: Extracting #4: cost 0 inf + 974 0.870 * [simplify]: Simplified to (/ 1 (* (cbrt x) (cbrt x))) 0.870 * [simplify]: Simplified (2 1) to (λ (x) (* (/ 1 (* (cbrt x) (cbrt x))) (/ (expm1 x) (cbrt x)))) 0.870 * [simplify]: Simplifying (/ (expm1 x) (cbrt x)) 0.870 * * [simplify]: iters left: 3 (4 enodes) 0.872 * * [simplify]: iters left: 2 (12 enodes) 0.876 * * [simplify]: Extracting #0: cost 1 inf + 0 0.876 * * [simplify]: Extracting #1: cost 4 inf + 0 0.876 * * [simplify]: Extracting #2: cost 7 inf + 0 0.876 * * [simplify]: Extracting #3: cost 6 inf + 1 0.876 * * [simplify]: Extracting #4: cost 0 inf + 687 0.876 * [simplify]: Simplified to (/ (expm1 x) (cbrt x)) 0.876 * [simplify]: Simplified (2 2) to (λ (x) (* (/ 1 (* (cbrt x) (cbrt x))) (/ (expm1 x) (cbrt x)))) 0.876 * * * * [progress]: [ 20 / 34 ] simplifiying candidate # 0.877 * [simplify]: Simplifying (/ 1 (sqrt x)) 0.877 * * [simplify]: iters left: 3 (4 enodes) 0.879 * * [simplify]: iters left: 2 (14 enodes) 0.884 * * [simplify]: iters left: 1 (16 enodes) 0.888 * * [simplify]: Extracting #0: cost 1 inf + 0 0.888 * * [simplify]: Extracting #1: cost 4 inf + 0 0.888 * * [simplify]: Extracting #2: cost 5 inf + 1 0.888 * * [simplify]: Extracting #3: cost 3 inf + 43 0.888 * * [simplify]: Extracting #4: cost 1 inf + 166 0.888 * * [simplify]: Extracting #5: cost 0 inf + 248 0.888 * [simplify]: Simplified to (/ 1 (sqrt x)) 0.888 * [simplify]: Simplified (2 1) to (λ (x) (* (/ 1 (sqrt x)) (/ (expm1 x) (sqrt x)))) 0.889 * [simplify]: Simplifying (/ (expm1 x) (sqrt x)) 0.889 * * [simplify]: iters left: 3 (4 enodes) 0.889 * * [simplify]: iters left: 2 (12 enodes) 0.891 * * [simplify]: Extracting #0: cost 1 inf + 0 0.891 * * [simplify]: Extracting #1: cost 4 inf + 0 0.891 * * [simplify]: Extracting #2: cost 7 inf + 0 0.891 * * [simplify]: Extracting #3: cost 6 inf + 1 0.891 * * [simplify]: Extracting #4: cost 0 inf + 527 0.891 * [simplify]: Simplified to (/ (expm1 x) (sqrt x)) 0.891 * [simplify]: Simplified (2 2) to (λ (x) (* (/ 1 (sqrt x)) (/ (expm1 x) (sqrt x)))) 0.891 * * * * [progress]: [ 21 / 34 ] simplifiying candidate # 0.891 * [simplify]: Simplifying (/ 1 1) 0.892 * * [simplify]: iters left: 2 (2 enodes) 0.892 * * [simplify]: iters left: 1 (6 enodes) 0.894 * * [simplify]: Extracting #0: cost 1 inf + 0 0.894 * * [simplify]: Extracting #1: cost 0 inf + 1 0.894 * [simplify]: Simplified to 1 0.894 * [simplify]: Simplified (2 1) to (λ (x) (* 1 (/ (expm1 x) x))) 0.894 * [simplify]: Simplifying (/ (expm1 x) x) 0.894 * * [simplify]: iters left: 3 (3 enodes) 0.895 * * [simplify]: iters left: 2 (9 enodes) 0.896 * * [simplify]: Extracting #0: cost 1 inf + 0 0.896 * * [simplify]: Extracting #1: cost 4 inf + 0 0.896 * * [simplify]: Extracting #2: cost 4 inf + 1 0.896 * * [simplify]: Extracting #3: cost 0 inf + 365 0.896 * [simplify]: Simplified to (/ (expm1 x) x) 0.896 * [simplify]: Simplified (2 2) to (λ (x) (* 1 (/ (expm1 x) x))) 0.896 * * * * [progress]: [ 22 / 34 ] simplifiying candidate # 0.896 * * * * [progress]: [ 23 / 34 ] simplifiying candidate # 0.896 * * * * [progress]: [ 24 / 34 ] simplifiying candidate # 0.896 * * * * [progress]: [ 25 / 34 ] simplifiying candidate # 0.897 * [simplify]: Simplifying (cbrt x) 0.897 * * [simplify]: iters left: 1 (2 enodes) 0.897 * * [simplify]: Extracting #0: cost 1 inf + 0 0.897 * * [simplify]: Extracting #1: cost 3 inf + 0 0.897 * * [simplify]: Extracting #2: cost 2 inf + 1 0.897 * * [simplify]: Extracting #3: cost 0 inf + 163 0.897 * [simplify]: Simplified to (cbrt x) 0.897 * [simplify]: Simplified (2 2) to (λ (x) (/ (/ (expm1 x) (* (cbrt x) (cbrt x))) (cbrt x))) 0.897 * * * * [progress]: [ 26 / 34 ] simplifiying candidate # 0.897 * [simplify]: Simplifying (sqrt x) 0.897 * * [simplify]: iters left: 1 (2 enodes) 0.898 * * [simplify]: Extracting #0: cost 1 inf + 0 0.898 * * [simplify]: Extracting #1: cost 3 inf + 0 0.898 * * [simplify]: Extracting #2: cost 2 inf + 1 0.898 * * [simplify]: Extracting #3: cost 0 inf + 83 0.898 * [simplify]: Simplified to (sqrt x) 0.898 * [simplify]: Simplified (2 2) to (λ (x) (/ (/ (expm1 x) (sqrt x)) (sqrt x))) 0.898 * * * * [progress]: [ 27 / 34 ] simplifiying candidate # 0.898 * * * * [progress]: [ 28 / 34 ] simplifiying candidate # 0.898 * [simplify]: Simplifying (* (cbrt (expm1 x)) (cbrt (expm1 x))) 0.898 * * [simplify]: iters left: 4 (4 enodes) 0.899 * * [simplify]: iters left: 3 (12 enodes) 0.901 * * [simplify]: Extracting #0: cost 1 inf + 0 0.901 * * [simplify]: Extracting #1: cost 3 inf + 0 0.901 * * [simplify]: Extracting #2: cost 5 inf + 0 0.901 * * [simplify]: Extracting #3: cost 7 inf + 0 0.901 * * [simplify]: Extracting #4: cost 6 inf + 1 0.901 * * [simplify]: Extracting #5: cost 0 inf + 827 0.901 * [simplify]: Simplified to (* (cbrt (expm1 x)) (cbrt (expm1 x))) 0.901 * [simplify]: Simplified (2 1) to (λ (x) (/ (* (cbrt (expm1 x)) (cbrt (expm1 x))) (/ x (cbrt (expm1 x))))) 0.901 * * * * [progress]: [ 29 / 34 ] simplifiying candidate # 0.901 * [simplify]: Simplifying (sqrt (expm1 x)) 0.901 * * [simplify]: iters left: 2 (3 enodes) 0.902 * * [simplify]: iters left: 1 (9 enodes) 0.903 * * [simplify]: Extracting #0: cost 1 inf + 0 0.903 * * [simplify]: Extracting #1: cost 3 inf + 0 0.903 * * [simplify]: Extracting #2: cost 5 inf + 0 0.903 * * [simplify]: Extracting #3: cost 4 inf + 1 0.903 * * [simplify]: Extracting #4: cost 0 inf + 365 0.903 * [simplify]: Simplified to (sqrt (expm1 x)) 0.903 * [simplify]: Simplified (2 1) to (λ (x) (/ (sqrt (expm1 x)) (/ x (sqrt (expm1 x))))) 0.903 * * * * [progress]: [ 30 / 34 ] simplifiying candidate # 0.903 * * * * [progress]: [ 31 / 34 ] simplifiying candidate #real (real->posit16 (/ (expm1 x) x))))> 0.903 * * * * [progress]: [ 32 / 34 ] simplifiying candidate # 0.904 * [simplify]: Simplifying (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)) 0.904 * * [simplify]: iters left: 6 (10 enodes) 0.908 * * [simplify]: iters left: 5 (44 enodes) 0.916 * * [simplify]: iters left: 4 (62 enodes) 0.935 * * [simplify]: iters left: 3 (90 enodes) 0.959 * * [simplify]: iters left: 2 (112 enodes) 0.975 * * [simplify]: iters left: 1 (124 enodes) 0.986 * * [simplify]: Extracting #0: cost 1 inf + 0 0.986 * * [simplify]: Extracting #1: cost 14 inf + 0 0.987 * * [simplify]: Extracting #2: cost 17 inf + 87 0.988 * * [simplify]: Extracting #3: cost 4 inf + 943 0.989 * * [simplify]: Extracting #4: cost 0 inf + 1271 0.990 * [simplify]: Simplified to (fma x (fma x 1/6 1/2) 1) 0.990 * [simplify]: Simplified (2) to (λ (x) (fma x (fma x 1/6 1/2) 1)) 0.990 * * * * [progress]: [ 33 / 34 ] simplifiying candidate # 0.991 * [simplify]: Simplifying (/ (- (exp x) 1) x) 0.991 * * [simplify]: iters left: 5 (5 enodes) 0.995 * * [simplify]: iters left: 4 (24 enodes) 1.003 * * [simplify]: iters left: 3 (34 enodes) 1.008 * * [simplify]: iters left: 2 (38 enodes) 1.014 * * [simplify]: Extracting #0: cost 1 inf + 0 1.014 * * [simplify]: Extracting #1: cost 7 inf + 0 1.014 * * [simplify]: Extracting #2: cost 13 inf + 1 1.014 * * [simplify]: Extracting #3: cost 8 inf + 229 1.014 * * [simplify]: Extracting #4: cost 1 inf + 788 1.014 * * [simplify]: Extracting #5: cost 0 inf + 899 1.014 * [simplify]: Simplified to (/ (expm1 x) x) 1.014 * [simplify]: Simplified (2) to (λ (x) (/ (expm1 x) x)) 1.014 * * * * [progress]: [ 34 / 34 ] simplifiying candidate # 1.015 * [simplify]: Simplifying (* -1 (/ (- 1 (exp x)) x)) 1.015 * * [simplify]: iters left: 6 (7 enodes) 1.017 * * [simplify]: iters left: 5 (32 enodes) 1.025 * * [simplify]: iters left: 4 (56 enodes) 1.034 * * [simplify]: iters left: 3 (87 enodes) 1.048 * * [simplify]: iters left: 2 (129 enodes) 1.074 * * [simplify]: iters left: 1 (176 enodes) 1.138 * * [simplify]: Extracting #0: cost 1 inf + 0 1.138 * * [simplify]: Extracting #1: cost 22 inf + 0 1.139 * * [simplify]: Extracting #2: cost 57 inf + 3 1.139 * * [simplify]: Extracting #3: cost 49 inf + 561 1.142 * * [simplify]: Extracting #4: cost 6 inf + 6668 1.145 * * [simplify]: Extracting #5: cost 1 inf + 7467 1.148 * * [simplify]: Extracting #6: cost 0 inf + 7619 1.151 * [simplify]: Simplified to (/ (+ (exp x) -1) x) 1.151 * [simplify]: Simplified (2) to (λ (x) (/ (+ (exp x) -1) x)) 1.151 * * * [progress]: adding candidates to table 1.415 * * [progress]: iteration 2 / 4 1.415 * * * [progress]: picking best candidate 1.419 * * * * [pick]: Picked # 1.419 * * * [progress]: localizing error 1.432 * * * [progress]: generating rewritten candidates 1.433 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 1.433 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 1.433 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1) 1.438 * * * [progress]: generating series expansions 1.438 * * * * [progress]: [ 1 / 3 ] generating series at (2) 1.438 * [backup-simplify]: Simplify (expm1 (log1p (/ (expm1 x) x))) into (expm1 (log1p (/ (expm1 x) x))) 1.438 * [approximate]: Taking taylor expansion of (expm1 (log1p (/ (expm1 x) x))) in (x) around 0 1.439 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ (expm1 x) x))) in x 1.439 * [taylor]: Rewrote expression to (- (exp (log1p (/ (expm1 x) x))) 1) 1.439 * [taylor]: Taking taylor expansion of (exp (log1p (/ (expm1 x) x))) in x 1.439 * [taylor]: Taking taylor expansion of (log1p (/ (expm1 x) x)) in x 1.439 * [taylor]: Rewrote expression to (log (+ 1 (/ (expm1 x) x))) 1.439 * [taylor]: Taking taylor expansion of (+ 1 (/ (expm1 x) x)) in x 1.439 * [taylor]: Taking taylor expansion of 1 in x 1.439 * [backup-simplify]: Simplify 1 into 1 1.439 * [taylor]: Taking taylor expansion of (/ (expm1 x) x) in x 1.439 * [taylor]: Taking taylor expansion of (expm1 x) in x 1.439 * [taylor]: Rewrote expression to (- (exp x) 1) 1.439 * [taylor]: Taking taylor expansion of (exp x) in x 1.439 * [taylor]: Taking taylor expansion of x in x 1.439 * [backup-simplify]: Simplify 0 into 0 1.439 * [backup-simplify]: Simplify 1 into 1 1.439 * [backup-simplify]: Simplify (exp 0) into 1 1.439 * [taylor]: Taking taylor expansion of 1 in x 1.439 * [backup-simplify]: Simplify 1 into 1 1.439 * [taylor]: Taking taylor expansion of x in x 1.439 * [backup-simplify]: Simplify 0 into 0 1.439 * [backup-simplify]: Simplify 1 into 1 1.439 * [backup-simplify]: Simplify (- 1) into -1 1.440 * [backup-simplify]: Simplify (+ 1 -1) into 0 1.440 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1.441 * [backup-simplify]: Simplify (- 0) into 0 1.441 * [backup-simplify]: Simplify (+ 1 0) into 1 1.441 * [backup-simplify]: Simplify (/ 1 1) into 1 1.441 * [backup-simplify]: Simplify (+ 1 1) into 2 1.442 * [backup-simplify]: Simplify (log 2) into (log 2) 1.442 * [backup-simplify]: Simplify (exp (log 2)) into 2 1.442 * [taylor]: Taking taylor expansion of 1 in x 1.442 * [backup-simplify]: Simplify 1 into 1 1.442 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ (expm1 x) x))) in x 1.442 * [taylor]: Rewrote expression to (- (exp (log1p (/ (expm1 x) x))) 1) 1.442 * [taylor]: Taking taylor expansion of (exp (log1p (/ (expm1 x) x))) in x 1.442 * [taylor]: Taking taylor expansion of (log1p (/ (expm1 x) x)) in x 1.442 * [taylor]: Rewrote expression to (log (+ 1 (/ (expm1 x) x))) 1.442 * [taylor]: Taking taylor expansion of (+ 1 (/ (expm1 x) x)) in x 1.442 * [taylor]: Taking taylor expansion of 1 in x 1.442 * [backup-simplify]: Simplify 1 into 1 1.442 * [taylor]: Taking taylor expansion of (/ (expm1 x) x) in x 1.442 * [taylor]: Taking taylor expansion of (expm1 x) in x 1.443 * [taylor]: Rewrote expression to (- (exp x) 1) 1.443 * [taylor]: Taking taylor expansion of (exp x) in x 1.443 * [taylor]: Taking taylor expansion of x in x 1.443 * [backup-simplify]: Simplify 0 into 0 1.443 * [backup-simplify]: Simplify 1 into 1 1.443 * [backup-simplify]: Simplify (exp 0) into 1 1.443 * [taylor]: Taking taylor expansion of 1 in x 1.443 * [backup-simplify]: Simplify 1 into 1 1.443 * [taylor]: Taking taylor expansion of x in x 1.443 * [backup-simplify]: Simplify 0 into 0 1.443 * [backup-simplify]: Simplify 1 into 1 1.443 * [backup-simplify]: Simplify (- 1) into -1 1.443 * [backup-simplify]: Simplify (+ 1 -1) into 0 1.444 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1.444 * [backup-simplify]: Simplify (- 0) into 0 1.444 * [backup-simplify]: Simplify (+ 1 0) into 1 1.445 * [backup-simplify]: Simplify (/ 1 1) into 1 1.445 * [backup-simplify]: Simplify (+ 1 1) into 2 1.445 * [backup-simplify]: Simplify (log 2) into (log 2) 1.445 * [backup-simplify]: Simplify (exp (log 2)) into 2 1.446 * [taylor]: Taking taylor expansion of 1 in x 1.446 * [backup-simplify]: Simplify 1 into 1 1.446 * [backup-simplify]: Simplify (- 1) into -1 1.446 * [backup-simplify]: Simplify (+ 2 -1) into 1 1.446 * [backup-simplify]: Simplify 1 into 1 1.447 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1.447 * [backup-simplify]: Simplify (- 0) into 0 1.448 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 1.448 * [backup-simplify]: Simplify (- (/ 1/2 1) (+ (* 1 (/ 0 1)))) into 1/2 1.448 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2 1.449 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1/2) 1)) (pow 2 1)))) 1) into 1/4 1.451 * [backup-simplify]: Simplify (* (exp (log 2)) (+ (* (/ (pow 1/4 1) 1)))) into 1/2 1.451 * [backup-simplify]: Simplify (- 0) into 0 1.451 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 1.451 * [backup-simplify]: Simplify 1/2 into 1/2 1.453 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 1.453 * [backup-simplify]: Simplify (- 0) into 0 1.453 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 1.454 * [backup-simplify]: Simplify (- (/ 1/6 1) (+ (* 1 (/ 0 1)) (* 1/2 (/ 0 1)))) into 1/6 1.454 * [backup-simplify]: Simplify (+ 0 1/6) into 1/6 1.457 * [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 1.462 * [backup-simplify]: Simplify (* (exp (log 2)) (+ (* (/ (pow 1/4 2) 2)) (* (/ (pow 5/96 1) 1)))) into 1/6 1.462 * [backup-simplify]: Simplify (- 0) into 0 1.463 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 1.463 * [backup-simplify]: Simplify 1/6 into 1/6 1.463 * [backup-simplify]: Simplify (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1)) into (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)) 1.463 * [backup-simplify]: Simplify (expm1 (log1p (/ (expm1 (/ 1 x)) (/ 1 x)))) into (expm1 (log1p (* (expm1 (/ 1 x)) x))) 1.463 * [approximate]: Taking taylor expansion of (expm1 (log1p (* (expm1 (/ 1 x)) x))) in (x) around 0 1.463 * [taylor]: Taking taylor expansion of (expm1 (log1p (* (expm1 (/ 1 x)) x))) in x 1.463 * [taylor]: Rewrote expression to (- (exp (log1p (* (expm1 (/ 1 x)) x))) 1) 1.463 * [taylor]: Taking taylor expansion of (exp (log1p (* (expm1 (/ 1 x)) x))) in x 1.463 * [taylor]: Taking taylor expansion of (log1p (* (expm1 (/ 1 x)) x)) in x 1.463 * [taylor]: Rewrote expression to (log (+ 1 (* (expm1 (/ 1 x)) x))) 1.463 * [taylor]: Taking taylor expansion of (+ 1 (* (expm1 (/ 1 x)) x)) in x 1.463 * [taylor]: Taking taylor expansion of 1 in x 1.463 * [backup-simplify]: Simplify 1 into 1 1.463 * [taylor]: Taking taylor expansion of (* (expm1 (/ 1 x)) x) in x 1.463 * [taylor]: Taking taylor expansion of (expm1 (/ 1 x)) in x 1.463 * [taylor]: Rewrote expression to (- (exp (/ 1 x)) 1) 1.463 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.464 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.464 * [taylor]: Taking taylor expansion of x in x 1.464 * [backup-simplify]: Simplify 0 into 0 1.464 * [backup-simplify]: Simplify 1 into 1 1.464 * [backup-simplify]: Simplify (/ 1 1) into 1 1.464 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1.464 * [taylor]: Taking taylor expansion of 1 in x 1.464 * [backup-simplify]: Simplify 1 into 1 1.464 * [taylor]: Taking taylor expansion of x in x 1.464 * [backup-simplify]: Simplify 0 into 0 1.464 * [backup-simplify]: Simplify 1 into 1 1.465 * [backup-simplify]: Simplify (- 1) into -1 1.465 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1) 1.465 * [backup-simplify]: Simplify (* (- (exp (/ 1 x)) 1) 0) into 0 1.465 * [backup-simplify]: Simplify (+ 1 0) into 1 1.466 * [backup-simplify]: Simplify (log 1) into 0 1.466 * [backup-simplify]: Simplify (- 0) into 0 1.466 * [backup-simplify]: Simplify (+ 0 0) into 0 1.467 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 x)) 1) 1) (* 0 0)) into (- (exp (/ 1 x)) 1) 1.467 * [backup-simplify]: Simplify (+ 0 (- (exp (/ 1 x)) 1)) into (- (exp (/ 1 x)) 1) 1.467 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- (exp (/ 1 x)) 1)) 1)) (pow 1 1)))) 1) into (- (exp (/ 1 x)) 1) 1.467 * [backup-simplify]: Simplify (exp 0) into 1 1.467 * [taylor]: Taking taylor expansion of 1 in x 1.467 * [backup-simplify]: Simplify 1 into 1 1.467 * [taylor]: Taking taylor expansion of (expm1 (log1p (* (expm1 (/ 1 x)) x))) in x 1.467 * [taylor]: Rewrote expression to (- (exp (log1p (* (expm1 (/ 1 x)) x))) 1) 1.467 * [taylor]: Taking taylor expansion of (exp (log1p (* (expm1 (/ 1 x)) x))) in x 1.467 * [taylor]: Taking taylor expansion of (log1p (* (expm1 (/ 1 x)) x)) in x 1.467 * [taylor]: Rewrote expression to (log (+ 1 (* (expm1 (/ 1 x)) x))) 1.467 * [taylor]: Taking taylor expansion of (+ 1 (* (expm1 (/ 1 x)) x)) in x 1.467 * [taylor]: Taking taylor expansion of 1 in x 1.467 * [backup-simplify]: Simplify 1 into 1 1.467 * [taylor]: Taking taylor expansion of (* (expm1 (/ 1 x)) x) in x 1.467 * [taylor]: Taking taylor expansion of (expm1 (/ 1 x)) in x 1.467 * [taylor]: Rewrote expression to (- (exp (/ 1 x)) 1) 1.467 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.467 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.467 * [taylor]: Taking taylor expansion of x in x 1.467 * [backup-simplify]: Simplify 0 into 0 1.468 * [backup-simplify]: Simplify 1 into 1 1.468 * [backup-simplify]: Simplify (/ 1 1) into 1 1.468 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1.468 * [taylor]: Taking taylor expansion of 1 in x 1.468 * [backup-simplify]: Simplify 1 into 1 1.468 * [taylor]: Taking taylor expansion of x in x 1.468 * [backup-simplify]: Simplify 0 into 0 1.468 * [backup-simplify]: Simplify 1 into 1 1.468 * [backup-simplify]: Simplify (- 1) into -1 1.468 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1) 1.468 * [backup-simplify]: Simplify (* (- (exp (/ 1 x)) 1) 0) into 0 1.469 * [backup-simplify]: Simplify (+ 1 0) into 1 1.469 * [backup-simplify]: Simplify (log 1) into 0 1.469 * [backup-simplify]: Simplify (- 0) into 0 1.469 * [backup-simplify]: Simplify (+ 0 0) into 0 1.470 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 x)) 1) 1) (* 0 0)) into (- (exp (/ 1 x)) 1) 1.470 * [backup-simplify]: Simplify (+ 0 (- (exp (/ 1 x)) 1)) into (- (exp (/ 1 x)) 1) 1.470 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- (exp (/ 1 x)) 1)) 1)) (pow 1 1)))) 1) into (- (exp (/ 1 x)) 1) 1.470 * [backup-simplify]: Simplify (exp 0) into 1 1.470 * [taylor]: Taking taylor expansion of 1 in x 1.470 * [backup-simplify]: Simplify 1 into 1 1.471 * [backup-simplify]: Simplify (- 1) into -1 1.471 * [backup-simplify]: Simplify (+ 1 -1) into 0 1.471 * [backup-simplify]: Simplify 0 into 0 1.471 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (- (exp (/ 1 x)) 1) 1) 1)))) into (- (exp (/ 1 x)) 1) 1.471 * [backup-simplify]: Simplify (- 0) into 0 1.471 * [backup-simplify]: Simplify (+ (- (exp (/ 1 x)) 1) 0) into (- (exp (/ 1 x)) 1) 1.471 * [backup-simplify]: Simplify (- (exp (/ 1 x)) 1) into (- (exp (/ 1 x)) 1) 1.472 * [backup-simplify]: Simplify (- 0) into 0 1.472 * [backup-simplify]: Simplify (+ 0 0) into 0 1.472 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 1) (* 0 0))) into 0 1.473 * [backup-simplify]: Simplify (+ 0 0) into 0 1.474 * [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))) 1.474 * [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 1.475 * [backup-simplify]: Simplify (- 0) into 0 1.475 * [backup-simplify]: Simplify (+ 0 0) into 0 1.475 * [backup-simplify]: Simplify 0 into 0 1.475 * [backup-simplify]: Simplify (- 0) into 0 1.475 * [backup-simplify]: Simplify (+ 0 0) into 0 1.476 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1.476 * [backup-simplify]: Simplify (+ 0 0) into 0 1.478 * [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))) 1.479 * [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 1.479 * [backup-simplify]: Simplify (- 0) into 0 1.480 * [backup-simplify]: Simplify (+ 0 0) into 0 1.480 * [backup-simplify]: Simplify 0 into 0 1.480 * [backup-simplify]: Simplify (- 0) into 0 1.480 * [backup-simplify]: Simplify (+ 0 0) into 0 1.481 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1.481 * [backup-simplify]: Simplify (+ 0 0) into 0 1.485 * [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)))) 1.487 * [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 1.487 * [backup-simplify]: Simplify (- 0) into 0 1.487 * [backup-simplify]: Simplify (+ 0 0) into 0 1.487 * [backup-simplify]: Simplify 0 into 0 1.488 * [backup-simplify]: Simplify (- 0) into 0 1.488 * [backup-simplify]: Simplify (+ 0 0) into 0 1.489 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1.489 * [backup-simplify]: Simplify (+ 0 0) into 0 1.494 * [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)))))) 1.498 * [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 1.499 * [backup-simplify]: Simplify (- 0) into 0 1.502 * [backup-simplify]: Simplify (+ 0 0) into 0 1.502 * [backup-simplify]: Simplify 0 into 0 1.503 * [backup-simplify]: Simplify (- 0) into 0 1.503 * [backup-simplify]: Simplify (+ 0 0) into 0 1.504 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 1.505 * [backup-simplify]: Simplify (+ 0 0) into 0 1.521 * [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))))))) 1.538 * [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 1.539 * [backup-simplify]: Simplify (- 0) into 0 1.539 * [backup-simplify]: Simplify (+ 0 0) into 0 1.539 * [backup-simplify]: Simplify 0 into 0 1.540 * [backup-simplify]: Simplify (- 0) into 0 1.540 * [backup-simplify]: Simplify (+ 0 0) into 0 1.542 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 1.542 * [backup-simplify]: Simplify (+ 0 0) into 0 1.565 * [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))))))) 1.582 * [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 1.583 * [backup-simplify]: Simplify (- 0) into 0 1.583 * [backup-simplify]: Simplify (+ 0 0) into 0 1.583 * [backup-simplify]: Simplify 0 into 0 1.583 * [backup-simplify]: Simplify (* (- (exp (/ 1 (/ 1 x))) 1) (/ 1 x)) into (/ (- (exp x) 1) x) 1.583 * [backup-simplify]: Simplify (expm1 (log1p (/ (expm1 (/ 1 (- x))) (/ 1 (- x))))) into (expm1 (log1p (* -1 (* x (expm1 (/ -1 x)))))) 1.583 * [approximate]: Taking taylor expansion of (expm1 (log1p (* -1 (* x (expm1 (/ -1 x)))))) in (x) around 0 1.583 * [taylor]: Taking taylor expansion of (expm1 (log1p (* -1 (* x (expm1 (/ -1 x)))))) in x 1.583 * [taylor]: Rewrote expression to (- (exp (log1p (* -1 (* x (expm1 (/ -1 x)))))) 1) 1.583 * [taylor]: Taking taylor expansion of (exp (log1p (* -1 (* x (expm1 (/ -1 x)))))) in x 1.584 * [taylor]: Taking taylor expansion of (log1p (* -1 (* x (expm1 (/ -1 x))))) in x 1.584 * [taylor]: Rewrote expression to (log (+ 1 (* -1 (* x (expm1 (/ -1 x)))))) 1.584 * [taylor]: Taking taylor expansion of (+ 1 (* -1 (* x (expm1 (/ -1 x))))) in x 1.584 * [taylor]: Taking taylor expansion of 1 in x 1.584 * [backup-simplify]: Simplify 1 into 1 1.584 * [taylor]: Taking taylor expansion of (* -1 (* x (expm1 (/ -1 x)))) in x 1.584 * [taylor]: Taking taylor expansion of -1 in x 1.584 * [backup-simplify]: Simplify -1 into -1 1.584 * [taylor]: Taking taylor expansion of (* x (expm1 (/ -1 x))) in x 1.584 * [taylor]: Taking taylor expansion of x in x 1.584 * [backup-simplify]: Simplify 0 into 0 1.584 * [backup-simplify]: Simplify 1 into 1 1.584 * [taylor]: Taking taylor expansion of (expm1 (/ -1 x)) in x 1.584 * [taylor]: Rewrote expression to (- (exp (/ -1 x)) 1) 1.584 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.584 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.584 * [taylor]: Taking taylor expansion of -1 in x 1.584 * [backup-simplify]: Simplify -1 into -1 1.584 * [taylor]: Taking taylor expansion of x in x 1.584 * [backup-simplify]: Simplify 0 into 0 1.584 * [backup-simplify]: Simplify 1 into 1 1.584 * [backup-simplify]: Simplify (/ -1 1) into -1 1.584 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1.584 * [taylor]: Taking taylor expansion of 1 in x 1.584 * [backup-simplify]: Simplify 1 into 1 1.585 * [backup-simplify]: Simplify (- 1) into -1 1.585 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1) 1.585 * [backup-simplify]: Simplify (* 0 (- (exp (/ -1 x)) 1)) into 0 1.585 * [backup-simplify]: Simplify (* -1 0) into 0 1.585 * [backup-simplify]: Simplify (+ 1 0) into 1 1.586 * [backup-simplify]: Simplify (log 1) into 0 1.586 * [backup-simplify]: Simplify (- 0) into 0 1.586 * [backup-simplify]: Simplify (+ 0 0) into 0 1.586 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- (exp (/ -1 x)) 1))) into (- (exp (/ -1 x)) 1) 1.587 * [backup-simplify]: Simplify (+ (* -1 (- (exp (/ -1 x)) 1)) (* 0 0)) into (- 1 (exp (/ -1 x))) 1.587 * [backup-simplify]: Simplify (+ 0 (- 1 (exp (/ -1 x)))) into (- 1 (exp (/ -1 x))) 1.587 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- 1 (exp (/ -1 x)))) 1)) (pow 1 1)))) 1) into (- 1 (exp (/ -1 x))) 1.587 * [backup-simplify]: Simplify (exp 0) into 1 1.587 * [taylor]: Taking taylor expansion of 1 in x 1.587 * [backup-simplify]: Simplify 1 into 1 1.587 * [taylor]: Taking taylor expansion of (expm1 (log1p (* -1 (* x (expm1 (/ -1 x)))))) in x 1.587 * [taylor]: Rewrote expression to (- (exp (log1p (* -1 (* x (expm1 (/ -1 x)))))) 1) 1.587 * [taylor]: Taking taylor expansion of (exp (log1p (* -1 (* x (expm1 (/ -1 x)))))) in x 1.587 * [taylor]: Taking taylor expansion of (log1p (* -1 (* x (expm1 (/ -1 x))))) in x 1.587 * [taylor]: Rewrote expression to (log (+ 1 (* -1 (* x (expm1 (/ -1 x)))))) 1.587 * [taylor]: Taking taylor expansion of (+ 1 (* -1 (* x (expm1 (/ -1 x))))) in x 1.587 * [taylor]: Taking taylor expansion of 1 in x 1.587 * [backup-simplify]: Simplify 1 into 1 1.587 * [taylor]: Taking taylor expansion of (* -1 (* x (expm1 (/ -1 x)))) in x 1.587 * [taylor]: Taking taylor expansion of -1 in x 1.587 * [backup-simplify]: Simplify -1 into -1 1.587 * [taylor]: Taking taylor expansion of (* x (expm1 (/ -1 x))) in x 1.587 * [taylor]: Taking taylor expansion of x in x 1.587 * [backup-simplify]: Simplify 0 into 0 1.587 * [backup-simplify]: Simplify 1 into 1 1.587 * [taylor]: Taking taylor expansion of (expm1 (/ -1 x)) in x 1.587 * [taylor]: Rewrote expression to (- (exp (/ -1 x)) 1) 1.588 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.588 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.588 * [taylor]: Taking taylor expansion of -1 in x 1.588 * [backup-simplify]: Simplify -1 into -1 1.588 * [taylor]: Taking taylor expansion of x in x 1.588 * [backup-simplify]: Simplify 0 into 0 1.588 * [backup-simplify]: Simplify 1 into 1 1.588 * [backup-simplify]: Simplify (/ -1 1) into -1 1.588 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1.588 * [taylor]: Taking taylor expansion of 1 in x 1.588 * [backup-simplify]: Simplify 1 into 1 1.588 * [backup-simplify]: Simplify (- 1) into -1 1.588 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1) 1.588 * [backup-simplify]: Simplify (* 0 (- (exp (/ -1 x)) 1)) into 0 1.589 * [backup-simplify]: Simplify (* -1 0) into 0 1.589 * [backup-simplify]: Simplify (+ 1 0) into 1 1.589 * [backup-simplify]: Simplify (log 1) into 0 1.589 * [backup-simplify]: Simplify (- 0) into 0 1.590 * [backup-simplify]: Simplify (+ 0 0) into 0 1.590 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- (exp (/ -1 x)) 1))) into (- (exp (/ -1 x)) 1) 1.590 * [backup-simplify]: Simplify (+ (* -1 (- (exp (/ -1 x)) 1)) (* 0 0)) into (- 1 (exp (/ -1 x))) 1.590 * [backup-simplify]: Simplify (+ 0 (- 1 (exp (/ -1 x)))) into (- 1 (exp (/ -1 x))) 1.591 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- 1 (exp (/ -1 x)))) 1)) (pow 1 1)))) 1) into (- 1 (exp (/ -1 x))) 1.591 * [backup-simplify]: Simplify (exp 0) into 1 1.591 * [taylor]: Taking taylor expansion of 1 in x 1.591 * [backup-simplify]: Simplify 1 into 1 1.591 * [backup-simplify]: Simplify (- 1) into -1 1.591 * [backup-simplify]: Simplify (+ 1 -1) into 0 1.591 * [backup-simplify]: Simplify 0 into 0 1.591 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow (- 1 (exp (/ -1 x))) 1) 1)))) into (- 1 (exp (/ -1 x))) 1.592 * [backup-simplify]: Simplify (- 0) into 0 1.592 * [backup-simplify]: Simplify (+ (- 1 (exp (/ -1 x))) 0) into (- 1 (exp (/ -1 x))) 1.592 * [backup-simplify]: Simplify (- 1 (exp (/ -1 x))) into (- 1 (exp (/ -1 x))) 1.592 * [backup-simplify]: Simplify (- 0) into 0 1.592 * [backup-simplify]: Simplify (+ 0 0) into 0 1.593 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- (exp (/ -1 x)) 1)))) into 0 1.593 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0))) into 0 1.594 * [backup-simplify]: Simplify (+ 0 0) into 0 1.595 * [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)))) 1.595 * [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 1.595 * [backup-simplify]: Simplify (- 0) into 0 1.596 * [backup-simplify]: Simplify (+ 0 0) into 0 1.596 * [backup-simplify]: Simplify 0 into 0 1.596 * [backup-simplify]: Simplify (- 0) into 0 1.596 * [backup-simplify]: Simplify (+ 0 0) into 0 1.597 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1))))) into 0 1.598 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0)))) into 0 1.598 * [backup-simplify]: Simplify (+ 0 0) into 0 1.600 * [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)))))) 1.601 * [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 1.603 * [backup-simplify]: Simplify (- 0) into 0 1.604 * [backup-simplify]: Simplify (+ 0 0) into 0 1.604 * [backup-simplify]: Simplify 0 into 0 1.605 * [backup-simplify]: Simplify (- 0) into 0 1.605 * [backup-simplify]: Simplify (+ 0 0) into 0 1.607 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1)))))) into 0 1.608 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0))))) into 0 1.609 * [backup-simplify]: Simplify (+ 0 0) into 0 1.614 * [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)))))) 1.618 * [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 1.619 * [backup-simplify]: Simplify (- 0) into 0 1.619 * [backup-simplify]: Simplify (+ 0 0) into 0 1.619 * [backup-simplify]: Simplify 0 into 0 1.619 * [backup-simplify]: Simplify (- 0) into 0 1.620 * [backup-simplify]: Simplify (+ 0 0) into 0 1.621 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1))))))) into 0 1.622 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0)))))) into 0 1.622 * [backup-simplify]: Simplify (+ 0 0) into 0 1.628 * [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))))))) 1.632 * [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 1.632 * [backup-simplify]: Simplify (- 0) into 0 1.633 * [backup-simplify]: Simplify (+ 0 0) into 0 1.633 * [backup-simplify]: Simplify 0 into 0 1.633 * [backup-simplify]: Simplify (- 0) into 0 1.633 * [backup-simplify]: Simplify (+ 0 0) into 0 1.635 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1)))))))) into 0 1.636 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0))))))) into 0 1.636 * [backup-simplify]: Simplify (+ 0 0) into 0 1.645 * [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))))))) 1.661 * [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 1.662 * [backup-simplify]: Simplify (- 0) into 0 1.663 * [backup-simplify]: Simplify (+ 0 0) into 0 1.663 * [backup-simplify]: Simplify 0 into 0 1.663 * [backup-simplify]: Simplify (- 0) into 0 1.664 * [backup-simplify]: Simplify (+ 0 0) into 0 1.666 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1))))))))) into 0 1.669 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0)))))))) into 0 1.669 * [backup-simplify]: Simplify (+ 0 0) into 0 1.692 * [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)))))))) 1.726 * [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 1.727 * [backup-simplify]: Simplify (- 0) into 0 1.728 * [backup-simplify]: Simplify (+ 0 0) into 0 1.728 * [backup-simplify]: Simplify 0 into 0 1.728 * [backup-simplify]: Simplify (* (- 1 (exp (/ -1 (/ 1 (- x))))) (/ 1 (- x))) into (* -1 (/ (- 1 (exp x)) x)) 1.728 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 1.728 * [backup-simplify]: Simplify (log1p (/ (expm1 x) x)) into (log1p (/ (expm1 x) x)) 1.728 * [approximate]: Taking taylor expansion of (log1p (/ (expm1 x) x)) in (x) around 0 1.728 * [taylor]: Taking taylor expansion of (log1p (/ (expm1 x) x)) in x 1.728 * [taylor]: Rewrote expression to (log (+ 1 (/ (expm1 x) x))) 1.728 * [taylor]: Taking taylor expansion of (+ 1 (/ (expm1 x) x)) in x 1.728 * [taylor]: Taking taylor expansion of 1 in x 1.728 * [backup-simplify]: Simplify 1 into 1 1.728 * [taylor]: Taking taylor expansion of (/ (expm1 x) x) in x 1.728 * [taylor]: Taking taylor expansion of (expm1 x) in x 1.728 * [taylor]: Rewrote expression to (- (exp x) 1) 1.728 * [taylor]: Taking taylor expansion of (exp x) in x 1.728 * [taylor]: Taking taylor expansion of x in x 1.728 * [backup-simplify]: Simplify 0 into 0 1.728 * [backup-simplify]: Simplify 1 into 1 1.729 * [backup-simplify]: Simplify (exp 0) into 1 1.729 * [taylor]: Taking taylor expansion of 1 in x 1.729 * [backup-simplify]: Simplify 1 into 1 1.729 * [taylor]: Taking taylor expansion of x in x 1.729 * [backup-simplify]: Simplify 0 into 0 1.729 * [backup-simplify]: Simplify 1 into 1 1.729 * [backup-simplify]: Simplify (- 1) into -1 1.730 * [backup-simplify]: Simplify (+ 1 -1) into 0 1.731 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1.731 * [backup-simplify]: Simplify (- 0) into 0 1.732 * [backup-simplify]: Simplify (+ 1 0) into 1 1.732 * [backup-simplify]: Simplify (/ 1 1) into 1 1.732 * [backup-simplify]: Simplify (+ 1 1) into 2 1.733 * [backup-simplify]: Simplify (log 2) into (log 2) 1.733 * [taylor]: Taking taylor expansion of (log1p (/ (expm1 x) x)) in x 1.733 * [taylor]: Rewrote expression to (log (+ 1 (/ (expm1 x) x))) 1.733 * [taylor]: Taking taylor expansion of (+ 1 (/ (expm1 x) x)) in x 1.733 * [taylor]: Taking taylor expansion of 1 in x 1.733 * [backup-simplify]: Simplify 1 into 1 1.733 * [taylor]: Taking taylor expansion of (/ (expm1 x) x) in x 1.733 * [taylor]: Taking taylor expansion of (expm1 x) in x 1.733 * [taylor]: Rewrote expression to (- (exp x) 1) 1.733 * [taylor]: Taking taylor expansion of (exp x) in x 1.733 * [taylor]: Taking taylor expansion of x in x 1.733 * [backup-simplify]: Simplify 0 into 0 1.733 * [backup-simplify]: Simplify 1 into 1 1.733 * [backup-simplify]: Simplify (exp 0) into 1 1.733 * [taylor]: Taking taylor expansion of 1 in x 1.733 * [backup-simplify]: Simplify 1 into 1 1.733 * [taylor]: Taking taylor expansion of x in x 1.733 * [backup-simplify]: Simplify 0 into 0 1.733 * [backup-simplify]: Simplify 1 into 1 1.734 * [backup-simplify]: Simplify (- 1) into -1 1.734 * [backup-simplify]: Simplify (+ 1 -1) into 0 1.735 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1.735 * [backup-simplify]: Simplify (- 0) into 0 1.735 * [backup-simplify]: Simplify (+ 1 0) into 1 1.735 * [backup-simplify]: Simplify (/ 1 1) into 1 1.736 * [backup-simplify]: Simplify (+ 1 1) into 2 1.736 * [backup-simplify]: Simplify (log 2) into (log 2) 1.736 * [backup-simplify]: Simplify (log 2) into (log 2) 1.737 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1.737 * [backup-simplify]: Simplify (- 0) into 0 1.738 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 1.738 * [backup-simplify]: Simplify (- (/ 1/2 1) (+ (* 1 (/ 0 1)))) into 1/2 1.738 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2 1.739 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1/2) 1)) (pow 2 1)))) 1) into 1/4 1.739 * [backup-simplify]: Simplify 1/4 into 1/4 1.741 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 1.741 * [backup-simplify]: Simplify (- 0) into 0 1.741 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 1.742 * [backup-simplify]: Simplify (- (/ 1/6 1) (+ (* 1 (/ 0 1)) (* 1/2 (/ 0 1)))) into 1/6 1.742 * [backup-simplify]: Simplify (+ 0 1/6) into 1/6 1.744 * [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 1.744 * [backup-simplify]: Simplify 5/96 into 5/96 1.744 * [backup-simplify]: Simplify (+ (* 5/96 (pow x 2)) (+ (* 1/4 x) (log 2))) into (+ (log 2) (+ (* 1/4 x) (* 5/96 (pow x 2)))) 1.744 * [backup-simplify]: Simplify (log1p (/ (expm1 (/ 1 x)) (/ 1 x))) into (log1p (* (expm1 (/ 1 x)) x)) 1.744 * [approximate]: Taking taylor expansion of (log1p (* (expm1 (/ 1 x)) x)) in (x) around 0 1.744 * [taylor]: Taking taylor expansion of (log1p (* (expm1 (/ 1 x)) x)) in x 1.744 * [taylor]: Rewrote expression to (log (+ 1 (* (expm1 (/ 1 x)) x))) 1.744 * [taylor]: Taking taylor expansion of (+ 1 (* (expm1 (/ 1 x)) x)) in x 1.745 * [taylor]: Taking taylor expansion of 1 in x 1.745 * [backup-simplify]: Simplify 1 into 1 1.745 * [taylor]: Taking taylor expansion of (* (expm1 (/ 1 x)) x) in x 1.745 * [taylor]: Taking taylor expansion of (expm1 (/ 1 x)) in x 1.745 * [taylor]: Rewrote expression to (- (exp (/ 1 x)) 1) 1.745 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.745 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.745 * [taylor]: Taking taylor expansion of x in x 1.745 * [backup-simplify]: Simplify 0 into 0 1.745 * [backup-simplify]: Simplify 1 into 1 1.745 * [backup-simplify]: Simplify (/ 1 1) into 1 1.745 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1.745 * [taylor]: Taking taylor expansion of 1 in x 1.745 * [backup-simplify]: Simplify 1 into 1 1.745 * [taylor]: Taking taylor expansion of x in x 1.745 * [backup-simplify]: Simplify 0 into 0 1.745 * [backup-simplify]: Simplify 1 into 1 1.745 * [backup-simplify]: Simplify (- 1) into -1 1.745 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1) 1.745 * [backup-simplify]: Simplify (* (- (exp (/ 1 x)) 1) 0) into 0 1.746 * [backup-simplify]: Simplify (+ 1 0) into 1 1.746 * [backup-simplify]: Simplify (log 1) into 0 1.746 * [taylor]: Taking taylor expansion of (log1p (* (expm1 (/ 1 x)) x)) in x 1.746 * [taylor]: Rewrote expression to (log (+ 1 (* (expm1 (/ 1 x)) x))) 1.746 * [taylor]: Taking taylor expansion of (+ 1 (* (expm1 (/ 1 x)) x)) in x 1.746 * [taylor]: Taking taylor expansion of 1 in x 1.746 * [backup-simplify]: Simplify 1 into 1 1.746 * [taylor]: Taking taylor expansion of (* (expm1 (/ 1 x)) x) in x 1.746 * [taylor]: Taking taylor expansion of (expm1 (/ 1 x)) in x 1.746 * [taylor]: Rewrote expression to (- (exp (/ 1 x)) 1) 1.746 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.746 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.746 * [taylor]: Taking taylor expansion of x in x 1.746 * [backup-simplify]: Simplify 0 into 0 1.746 * [backup-simplify]: Simplify 1 into 1 1.746 * [backup-simplify]: Simplify (/ 1 1) into 1 1.746 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1.747 * [taylor]: Taking taylor expansion of 1 in x 1.747 * [backup-simplify]: Simplify 1 into 1 1.747 * [taylor]: Taking taylor expansion of x in x 1.747 * [backup-simplify]: Simplify 0 into 0 1.747 * [backup-simplify]: Simplify 1 into 1 1.747 * [backup-simplify]: Simplify (- 1) into -1 1.747 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1) 1.747 * [backup-simplify]: Simplify (* (- (exp (/ 1 x)) 1) 0) into 0 1.747 * [backup-simplify]: Simplify (+ 1 0) into 1 1.747 * [backup-simplify]: Simplify (log 1) into 0 1.747 * [backup-simplify]: Simplify 0 into 0 1.748 * [backup-simplify]: Simplify (- 0) into 0 1.748 * [backup-simplify]: Simplify (+ 0 0) into 0 1.748 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 x)) 1) 1) (* 0 0)) into (- (exp (/ 1 x)) 1) 1.748 * [backup-simplify]: Simplify (+ 0 (- (exp (/ 1 x)) 1)) into (- (exp (/ 1 x)) 1) 1.749 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- (exp (/ 1 x)) 1)) 1)) (pow 1 1)))) 1) into (- (exp (/ 1 x)) 1) 1.749 * [backup-simplify]: Simplify (- (exp (/ 1 x)) 1) into (- (exp (/ 1 x)) 1) 1.749 * [backup-simplify]: Simplify (- 0) into 0 1.749 * [backup-simplify]: Simplify (+ 0 0) into 0 1.750 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 1) (* 0 0))) into 0 1.750 * [backup-simplify]: Simplify (+ 0 0) into 0 1.751 * [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))) 1.751 * [backup-simplify]: Simplify (* 1/2 (- (* 2 (exp (/ 1 x))) (+ (pow (exp (/ 1 x)) 2) 1))) into (* 1/2 (- (* 2 (exp (/ 1 x))) (+ (pow (exp (/ 1 x)) 2) 1))) 1.752 * [backup-simplify]: Simplify (- 0) into 0 1.752 * [backup-simplify]: Simplify (+ 0 0) into 0 1.752 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1.752 * [backup-simplify]: Simplify (+ 0 0) into 0 1.754 * [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))) 1.755 * [backup-simplify]: Simplify (* 1/6 (- (+ (* 2 (pow (exp (/ 1 x)) 3)) (* 6 (exp (/ 1 x)))) (+ (* 6 (pow (exp (/ 1 x)) 2)) 2))) into (* 1/6 (- (+ (* 2 (pow (exp (/ 1 x)) 3)) (* 6 (exp (/ 1 x)))) (+ (* 6 (pow (exp (/ 1 x)) 2)) 2))) 1.755 * [backup-simplify]: Simplify (+ (* (* 1/6 (- (+ (* 2 (pow (exp (/ 1 (/ 1 x))) 3)) (* 6 (exp (/ 1 (/ 1 x))))) (+ (* 6 (pow (exp (/ 1 (/ 1 x))) 2)) 2))) (pow (/ 1 x) 3)) (+ (* (* 1/2 (- (* 2 (exp (/ 1 (/ 1 x)))) (+ (pow (exp (/ 1 (/ 1 x))) 2) 1))) (pow (/ 1 x) 2)) (* (- (exp (/ 1 (/ 1 x))) 1) (/ 1 x)))) into (- (+ (/ (exp x) x) (+ (/ (exp x) (pow x 2)) (+ (* 1/3 (/ (pow (exp x) 3) (pow x 3))) (/ (exp x) (pow x 3))))) (+ (/ (pow (exp x) 2) (pow x 3)) (+ (* 1/2 (/ 1 (pow x 2))) (+ (* 1/2 (/ (pow (exp x) 2) (pow x 2))) (+ (* 1/3 (/ 1 (pow x 3))) (/ 1 x)))))) 1.756 * [backup-simplify]: Simplify (log1p (/ (expm1 (/ 1 (- x))) (/ 1 (- x)))) into (log1p (* -1 (* x (expm1 (/ -1 x))))) 1.756 * [approximate]: Taking taylor expansion of (log1p (* -1 (* x (expm1 (/ -1 x))))) in (x) around 0 1.756 * [taylor]: Taking taylor expansion of (log1p (* -1 (* x (expm1 (/ -1 x))))) in x 1.756 * [taylor]: Rewrote expression to (log (+ 1 (* -1 (* x (expm1 (/ -1 x)))))) 1.756 * [taylor]: Taking taylor expansion of (+ 1 (* -1 (* x (expm1 (/ -1 x))))) in x 1.756 * [taylor]: Taking taylor expansion of 1 in x 1.756 * [backup-simplify]: Simplify 1 into 1 1.756 * [taylor]: Taking taylor expansion of (* -1 (* x (expm1 (/ -1 x)))) in x 1.756 * [taylor]: Taking taylor expansion of -1 in x 1.756 * [backup-simplify]: Simplify -1 into -1 1.756 * [taylor]: Taking taylor expansion of (* x (expm1 (/ -1 x))) in x 1.756 * [taylor]: Taking taylor expansion of x in x 1.756 * [backup-simplify]: Simplify 0 into 0 1.756 * [backup-simplify]: Simplify 1 into 1 1.756 * [taylor]: Taking taylor expansion of (expm1 (/ -1 x)) in x 1.756 * [taylor]: Rewrote expression to (- (exp (/ -1 x)) 1) 1.756 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.756 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.756 * [taylor]: Taking taylor expansion of -1 in x 1.756 * [backup-simplify]: Simplify -1 into -1 1.756 * [taylor]: Taking taylor expansion of x in x 1.756 * [backup-simplify]: Simplify 0 into 0 1.756 * [backup-simplify]: Simplify 1 into 1 1.756 * [backup-simplify]: Simplify (/ -1 1) into -1 1.756 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1.756 * [taylor]: Taking taylor expansion of 1 in x 1.756 * [backup-simplify]: Simplify 1 into 1 1.757 * [backup-simplify]: Simplify (- 1) into -1 1.757 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1) 1.757 * [backup-simplify]: Simplify (* 0 (- (exp (/ -1 x)) 1)) into 0 1.757 * [backup-simplify]: Simplify (* -1 0) into 0 1.757 * [backup-simplify]: Simplify (+ 1 0) into 1 1.758 * [backup-simplify]: Simplify (log 1) into 0 1.758 * [taylor]: Taking taylor expansion of (log1p (* -1 (* x (expm1 (/ -1 x))))) in x 1.758 * [taylor]: Rewrote expression to (log (+ 1 (* -1 (* x (expm1 (/ -1 x)))))) 1.758 * [taylor]: Taking taylor expansion of (+ 1 (* -1 (* x (expm1 (/ -1 x))))) in x 1.758 * [taylor]: Taking taylor expansion of 1 in x 1.758 * [backup-simplify]: Simplify 1 into 1 1.758 * [taylor]: Taking taylor expansion of (* -1 (* x (expm1 (/ -1 x)))) in x 1.758 * [taylor]: Taking taylor expansion of -1 in x 1.758 * [backup-simplify]: Simplify -1 into -1 1.758 * [taylor]: Taking taylor expansion of (* x (expm1 (/ -1 x))) in x 1.758 * [taylor]: Taking taylor expansion of x in x 1.758 * [backup-simplify]: Simplify 0 into 0 1.758 * [backup-simplify]: Simplify 1 into 1 1.758 * [taylor]: Taking taylor expansion of (expm1 (/ -1 x)) in x 1.758 * [taylor]: Rewrote expression to (- (exp (/ -1 x)) 1) 1.758 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.758 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.758 * [taylor]: Taking taylor expansion of -1 in x 1.758 * [backup-simplify]: Simplify -1 into -1 1.758 * [taylor]: Taking taylor expansion of x in x 1.758 * [backup-simplify]: Simplify 0 into 0 1.758 * [backup-simplify]: Simplify 1 into 1 1.758 * [backup-simplify]: Simplify (/ -1 1) into -1 1.758 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1.758 * [taylor]: Taking taylor expansion of 1 in x 1.758 * [backup-simplify]: Simplify 1 into 1 1.759 * [backup-simplify]: Simplify (- 1) into -1 1.759 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1) 1.759 * [backup-simplify]: Simplify (* 0 (- (exp (/ -1 x)) 1)) into 0 1.759 * [backup-simplify]: Simplify (* -1 0) into 0 1.759 * [backup-simplify]: Simplify (+ 1 0) into 1 1.760 * [backup-simplify]: Simplify (log 1) into 0 1.760 * [backup-simplify]: Simplify 0 into 0 1.760 * [backup-simplify]: Simplify (- 0) into 0 1.760 * [backup-simplify]: Simplify (+ 0 0) into 0 1.761 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- (exp (/ -1 x)) 1))) into (- (exp (/ -1 x)) 1) 1.761 * [backup-simplify]: Simplify (+ (* -1 (- (exp (/ -1 x)) 1)) (* 0 0)) into (- 1 (exp (/ -1 x))) 1.761 * [backup-simplify]: Simplify (+ 0 (- 1 (exp (/ -1 x)))) into (- 1 (exp (/ -1 x))) 1.761 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- 1 (exp (/ -1 x)))) 1)) (pow 1 1)))) 1) into (- 1 (exp (/ -1 x))) 1.761 * [backup-simplify]: Simplify (- 1 (exp (/ -1 x))) into (- 1 (exp (/ -1 x))) 1.762 * [backup-simplify]: Simplify (- 0) into 0 1.762 * [backup-simplify]: Simplify (+ 0 0) into 0 1.762 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- (exp (/ -1 x)) 1)))) into 0 1.763 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0))) into 0 1.763 * [backup-simplify]: Simplify (+ 0 0) into 0 1.764 * [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)))) 1.764 * [backup-simplify]: Simplify (* 1/2 (- (* 2 (exp (/ -1 x))) (+ 1 (pow (exp (/ -1 x)) 2)))) into (* 1/2 (- (* 2 (exp (/ -1 x))) (+ (pow (exp (/ -1 x)) 2) 1))) 1.765 * [backup-simplify]: Simplify (- 0) into 0 1.765 * [backup-simplify]: Simplify (+ 0 0) into 0 1.766 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1))))) into 0 1.766 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0)))) into 0 1.767 * [backup-simplify]: Simplify (+ 0 0) into 0 1.768 * [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)))))) 1.769 * [backup-simplify]: Simplify (* 1/6 (- (+ 2 (* 6 (pow (exp (/ -1 x)) 2))) (+ (* 2 (pow (exp (/ -1 x)) 3)) (* 6 (exp (/ -1 x)))))) into (* 1/6 (- (+ 2 (* 6 (pow (exp (/ -1 x)) 2))) (+ (* 2 (pow (exp (/ -1 x)) 3)) (* 6 (exp (/ -1 x)))))) 1.770 * [backup-simplify]: Simplify (+ (* (* 1/6 (- (+ 2 (* 6 (pow (exp (/ -1 (/ 1 (- x)))) 2))) (+ (* 2 (pow (exp (/ -1 (/ 1 (- x)))) 3)) (* 6 (exp (/ -1 (/ 1 (- x)))))))) (pow (/ 1 (- x)) 3)) (+ (* (* 1/2 (- (* 2 (exp (/ -1 (/ 1 (- x))))) (+ (pow (exp (/ -1 (/ 1 (- x)))) 2) 1))) (pow (/ 1 (- x)) 2)) (* (- 1 (exp (/ -1 (/ 1 (- x))))) (/ 1 (- x))))) into (- (+ (/ (exp x) x) (+ (/ (exp x) (pow x 2)) (+ (* 1/3 (/ (pow (exp x) 3) (pow x 3))) (/ (exp x) (pow x 3))))) (+ (/ (pow (exp x) 2) (pow x 3)) (+ (* 1/2 (/ 1 (pow x 2))) (+ (* 1/2 (/ (pow (exp x) 2) (pow x 2))) (+ (* 1/3 (/ 1 (pow x 3))) (/ 1 x)))))) 1.770 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1) 1.770 * [backup-simplify]: Simplify (/ (expm1 x) x) into (/ (expm1 x) x) 1.770 * [approximate]: Taking taylor expansion of (/ (expm1 x) x) in (x) around 0 1.770 * [taylor]: Taking taylor expansion of (/ (expm1 x) x) in x 1.770 * [taylor]: Taking taylor expansion of (expm1 x) in x 1.770 * [taylor]: Rewrote expression to (- (exp x) 1) 1.770 * [taylor]: Taking taylor expansion of (exp x) in x 1.770 * [taylor]: Taking taylor expansion of x in x 1.770 * [backup-simplify]: Simplify 0 into 0 1.770 * [backup-simplify]: Simplify 1 into 1 1.770 * [backup-simplify]: Simplify (exp 0) into 1 1.770 * [taylor]: Taking taylor expansion of 1 in x 1.770 * [backup-simplify]: Simplify 1 into 1 1.770 * [taylor]: Taking taylor expansion of x in x 1.770 * [backup-simplify]: Simplify 0 into 0 1.770 * [backup-simplify]: Simplify 1 into 1 1.770 * [backup-simplify]: Simplify (- 1) into -1 1.771 * [backup-simplify]: Simplify (+ 1 -1) into 0 1.771 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1.771 * [backup-simplify]: Simplify (- 0) into 0 1.772 * [backup-simplify]: Simplify (+ 1 0) into 1 1.772 * [backup-simplify]: Simplify (/ 1 1) into 1 1.772 * [taylor]: Taking taylor expansion of (/ (expm1 x) x) in x 1.772 * [taylor]: Taking taylor expansion of (expm1 x) in x 1.772 * [taylor]: Rewrote expression to (- (exp x) 1) 1.772 * [taylor]: Taking taylor expansion of (exp x) in x 1.772 * [taylor]: Taking taylor expansion of x in x 1.772 * [backup-simplify]: Simplify 0 into 0 1.772 * [backup-simplify]: Simplify 1 into 1 1.772 * [backup-simplify]: Simplify (exp 0) into 1 1.772 * [taylor]: Taking taylor expansion of 1 in x 1.772 * [backup-simplify]: Simplify 1 into 1 1.772 * [taylor]: Taking taylor expansion of x in x 1.772 * [backup-simplify]: Simplify 0 into 0 1.772 * [backup-simplify]: Simplify 1 into 1 1.772 * [backup-simplify]: Simplify (- 1) into -1 1.773 * [backup-simplify]: Simplify (+ 1 -1) into 0 1.773 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1.774 * [backup-simplify]: Simplify (- 0) into 0 1.774 * [backup-simplify]: Simplify (+ 1 0) into 1 1.774 * [backup-simplify]: Simplify (/ 1 1) into 1 1.774 * [backup-simplify]: Simplify 1 into 1 1.775 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1.775 * [backup-simplify]: Simplify (- 0) into 0 1.776 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 1.776 * [backup-simplify]: Simplify (- (/ 1/2 1) (+ (* 1 (/ 0 1)))) into 1/2 1.776 * [backup-simplify]: Simplify 1/2 into 1/2 1.778 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 1.778 * [backup-simplify]: Simplify (- 0) into 0 1.778 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 1.779 * [backup-simplify]: Simplify (- (/ 1/6 1) (+ (* 1 (/ 0 1)) (* 1/2 (/ 0 1)))) into 1/6 1.780 * [backup-simplify]: Simplify 1/6 into 1/6 1.780 * [backup-simplify]: Simplify (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1)) into (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)) 1.780 * [backup-simplify]: Simplify (/ (expm1 (/ 1 x)) (/ 1 x)) into (* (expm1 (/ 1 x)) x) 1.780 * [approximate]: Taking taylor expansion of (* (expm1 (/ 1 x)) x) in (x) around 0 1.780 * [taylor]: Taking taylor expansion of (* (expm1 (/ 1 x)) x) in x 1.780 * [taylor]: Taking taylor expansion of (expm1 (/ 1 x)) in x 1.780 * [taylor]: Rewrote expression to (- (exp (/ 1 x)) 1) 1.780 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.780 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.780 * [taylor]: Taking taylor expansion of x in x 1.780 * [backup-simplify]: Simplify 0 into 0 1.780 * [backup-simplify]: Simplify 1 into 1 1.781 * [backup-simplify]: Simplify (/ 1 1) into 1 1.781 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1.781 * [taylor]: Taking taylor expansion of 1 in x 1.781 * [backup-simplify]: Simplify 1 into 1 1.781 * [taylor]: Taking taylor expansion of x in x 1.781 * [backup-simplify]: Simplify 0 into 0 1.781 * [backup-simplify]: Simplify 1 into 1 1.781 * [taylor]: Taking taylor expansion of (* (expm1 (/ 1 x)) x) in x 1.781 * [taylor]: Taking taylor expansion of (expm1 (/ 1 x)) in x 1.781 * [taylor]: Rewrote expression to (- (exp (/ 1 x)) 1) 1.781 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1.781 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.781 * [taylor]: Taking taylor expansion of x in x 1.781 * [backup-simplify]: Simplify 0 into 0 1.781 * [backup-simplify]: Simplify 1 into 1 1.782 * [backup-simplify]: Simplify (/ 1 1) into 1 1.782 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1.782 * [taylor]: Taking taylor expansion of 1 in x 1.782 * [backup-simplify]: Simplify 1 into 1 1.782 * [taylor]: Taking taylor expansion of x in x 1.782 * [backup-simplify]: Simplify 0 into 0 1.782 * [backup-simplify]: Simplify 1 into 1 1.782 * [backup-simplify]: Simplify (- 1) into -1 1.782 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1) 1.783 * [backup-simplify]: Simplify (* (- (exp (/ 1 x)) 1) 0) into 0 1.783 * [backup-simplify]: Simplify 0 into 0 1.783 * [backup-simplify]: Simplify (- 0) into 0 1.783 * [backup-simplify]: Simplify (+ 0 0) into 0 1.784 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 x)) 1) 1) (* 0 0)) into (- (exp (/ 1 x)) 1) 1.784 * [backup-simplify]: Simplify (- (exp (/ 1 x)) 1) into (- (exp (/ 1 x)) 1) 1.784 * [backup-simplify]: Simplify (- 0) into 0 1.785 * [backup-simplify]: Simplify (+ 0 0) into 0 1.785 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 1) (* 0 0))) into 0 1.785 * [backup-simplify]: Simplify 0 into 0 1.786 * [backup-simplify]: Simplify (- 0) into 0 1.786 * [backup-simplify]: Simplify (+ 0 0) into 0 1.787 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1.787 * [backup-simplify]: Simplify 0 into 0 1.787 * [backup-simplify]: Simplify (- 0) into 0 1.788 * [backup-simplify]: Simplify (+ 0 0) into 0 1.789 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1.789 * [backup-simplify]: Simplify 0 into 0 1.789 * [backup-simplify]: Simplify (- 0) into 0 1.789 * [backup-simplify]: Simplify (+ 0 0) into 0 1.791 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1.791 * [backup-simplify]: Simplify 0 into 0 1.791 * [backup-simplify]: Simplify (- 0) into 0 1.791 * [backup-simplify]: Simplify (+ 0 0) into 0 1.793 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 1.793 * [backup-simplify]: Simplify 0 into 0 1.793 * [backup-simplify]: Simplify (- 0) into 0 1.794 * [backup-simplify]: Simplify (+ 0 0) into 0 1.795 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 1.795 * [backup-simplify]: Simplify 0 into 0 1.795 * [backup-simplify]: Simplify (* (- (exp (/ 1 (/ 1 x))) 1) (/ 1 x)) into (/ (- (exp x) 1) x) 1.795 * [backup-simplify]: Simplify (/ (expm1 (/ 1 (- x))) (/ 1 (- x))) into (* -1 (* x (expm1 (/ -1 x)))) 1.795 * [approximate]: Taking taylor expansion of (* -1 (* x (expm1 (/ -1 x)))) in (x) around 0 1.795 * [taylor]: Taking taylor expansion of (* -1 (* x (expm1 (/ -1 x)))) in x 1.795 * [taylor]: Taking taylor expansion of -1 in x 1.795 * [backup-simplify]: Simplify -1 into -1 1.795 * [taylor]: Taking taylor expansion of (* x (expm1 (/ -1 x))) in x 1.795 * [taylor]: Taking taylor expansion of x in x 1.796 * [backup-simplify]: Simplify 0 into 0 1.796 * [backup-simplify]: Simplify 1 into 1 1.796 * [taylor]: Taking taylor expansion of (expm1 (/ -1 x)) in x 1.796 * [taylor]: Rewrote expression to (- (exp (/ -1 x)) 1) 1.796 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.796 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.796 * [taylor]: Taking taylor expansion of -1 in x 1.796 * [backup-simplify]: Simplify -1 into -1 1.796 * [taylor]: Taking taylor expansion of x in x 1.796 * [backup-simplify]: Simplify 0 into 0 1.796 * [backup-simplify]: Simplify 1 into 1 1.796 * [backup-simplify]: Simplify (/ -1 1) into -1 1.796 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1.796 * [taylor]: Taking taylor expansion of 1 in x 1.796 * [backup-simplify]: Simplify 1 into 1 1.796 * [taylor]: Taking taylor expansion of (* -1 (* x (expm1 (/ -1 x)))) in x 1.796 * [taylor]: Taking taylor expansion of -1 in x 1.796 * [backup-simplify]: Simplify -1 into -1 1.797 * [taylor]: Taking taylor expansion of (* x (expm1 (/ -1 x))) in x 1.797 * [taylor]: Taking taylor expansion of x in x 1.797 * [backup-simplify]: Simplify 0 into 0 1.797 * [backup-simplify]: Simplify 1 into 1 1.797 * [taylor]: Taking taylor expansion of (expm1 (/ -1 x)) in x 1.797 * [taylor]: Rewrote expression to (- (exp (/ -1 x)) 1) 1.797 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1.797 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.797 * [taylor]: Taking taylor expansion of -1 in x 1.797 * [backup-simplify]: Simplify -1 into -1 1.797 * [taylor]: Taking taylor expansion of x in x 1.797 * [backup-simplify]: Simplify 0 into 0 1.797 * [backup-simplify]: Simplify 1 into 1 1.797 * [backup-simplify]: Simplify (/ -1 1) into -1 1.797 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1.797 * [taylor]: Taking taylor expansion of 1 in x 1.797 * [backup-simplify]: Simplify 1 into 1 1.798 * [backup-simplify]: Simplify (- 1) into -1 1.798 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1) 1.798 * [backup-simplify]: Simplify (* 0 (- (exp (/ -1 x)) 1)) into 0 1.798 * [backup-simplify]: Simplify (* -1 0) into 0 1.799 * [backup-simplify]: Simplify 0 into 0 1.799 * [backup-simplify]: Simplify (- 0) into 0 1.799 * [backup-simplify]: Simplify (+ 0 0) into 0 1.800 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- (exp (/ -1 x)) 1))) into (- (exp (/ -1 x)) 1) 1.800 * [backup-simplify]: Simplify (+ (* -1 (- (exp (/ -1 x)) 1)) (* 0 0)) into (- 1 (exp (/ -1 x))) 1.800 * [backup-simplify]: Simplify (- 1 (exp (/ -1 x))) into (- 1 (exp (/ -1 x))) 1.801 * [backup-simplify]: Simplify (- 0) into 0 1.801 * [backup-simplify]: Simplify (+ 0 0) into 0 1.802 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- (exp (/ -1 x)) 1)))) into 0 1.803 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0))) into 0 1.803 * [backup-simplify]: Simplify 0 into 0 1.803 * [backup-simplify]: Simplify (- 0) into 0 1.804 * [backup-simplify]: Simplify (+ 0 0) into 0 1.805 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1))))) into 0 1.806 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0)))) into 0 1.806 * [backup-simplify]: Simplify 0 into 0 1.807 * [backup-simplify]: Simplify (- 0) into 0 1.807 * [backup-simplify]: Simplify (+ 0 0) into 0 1.809 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1)))))) into 0 1.810 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0))))) into 0 1.810 * [backup-simplify]: Simplify 0 into 0 1.811 * [backup-simplify]: Simplify (- 0) into 0 1.811 * [backup-simplify]: Simplify (+ 0 0) into 0 1.814 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1))))))) into 0 1.816 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0)))))) into 0 1.816 * [backup-simplify]: Simplify 0 into 0 1.816 * [backup-simplify]: Simplify (- 0) into 0 1.817 * [backup-simplify]: Simplify (+ 0 0) into 0 1.819 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1)))))))) into 0 1.822 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0))))))) into 0 1.822 * [backup-simplify]: Simplify 0 into 0 1.822 * [backup-simplify]: Simplify (- 0) into 0 1.822 * [backup-simplify]: Simplify (+ 0 0) into 0 1.827 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1))))))))) into 0 1.830 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0)))))))) into 0 1.830 * [backup-simplify]: Simplify 0 into 0 1.830 * [backup-simplify]: Simplify (* (- 1 (exp (/ -1 (/ 1 (- x))))) (/ 1 (- x))) into (* -1 (/ (- 1 (exp x)) x)) 1.830 * * * [progress]: simplifying candidates 1.830 * * * * [progress]: [ 1 / 64 ] simplifiying candidate # 1.830 * * * * [progress]: [ 2 / 64 ] simplifiying candidate # 1.830 * * * * [progress]: [ 3 / 64 ] simplifiying candidate # 1.830 * * * * [progress]: [ 4 / 64 ] simplifiying candidate # 1.831 * [simplify]: Simplifying (expm1 x) 1.831 * * [simplify]: iters left: 1 (2 enodes) 1.832 * * [simplify]: Extracting #0: cost 1 inf + 0 1.832 * * [simplify]: Extracting #1: cost 3 inf + 0 1.832 * * [simplify]: Extracting #2: cost 2 inf + 1 1.832 * * [simplify]: Extracting #3: cost 0 inf + 143 1.832 * [simplify]: Simplified to (expm1 x) 1.832 * [simplify]: Simplified (2 1) to (λ (x) (/ (expm1 x) x)) 1.832 * * * * [progress]: [ 5 / 64 ] simplifiying candidate # 1.832 * * * * [progress]: [ 6 / 64 ] simplifiying candidate # 1.832 * * * * [progress]: [ 7 / 64 ] simplifiying candidate # 1.833 * * * * [progress]: [ 8 / 64 ] simplifiying candidate # 1.833 * * * * [progress]: [ 9 / 64 ] simplifiying candidate # 1.833 * * * * [progress]: [ 10 / 64 ] simplifiying candidate # 1.833 * * * * [progress]: [ 11 / 64 ] simplifiying candidate # 1.833 * * * * [progress]: [ 12 / 64 ] simplifiying candidate #real (real->posit16 (expm1 (log1p (/ (expm1 x) x))))))> 1.833 * * * * [progress]: [ 13 / 64 ] simplifiying candidate # 1.833 * * * * [progress]: [ 14 / 64 ] simplifiying candidate # 1.833 * * * * [progress]: [ 15 / 64 ] simplifiying candidate # 1.833 * * * * [progress]: [ 16 / 64 ] simplifiying candidate # 1.833 * [simplify]: Simplifying (/ (expm1 x) x) 1.833 * * [simplify]: iters left: 3 (3 enodes) 1.835 * * [simplify]: iters left: 2 (9 enodes) 1.837 * * [simplify]: Extracting #0: cost 1 inf + 0 1.837 * * [simplify]: Extracting #1: cost 4 inf + 0 1.837 * * [simplify]: Extracting #2: cost 4 inf + 1 1.837 * * [simplify]: Extracting #3: cost 0 inf + 365 1.838 * [simplify]: Simplified to (/ (expm1 x) x) 1.838 * [simplify]: Simplified (2 1 1) to (λ (x) (expm1 (log1p (/ (expm1 x) x)))) 1.838 * * * * [progress]: [ 17 / 64 ] simplifiying candidate # 1.838 * * * * [progress]: [ 18 / 64 ] simplifiying candidate # 1.838 * * * * [progress]: [ 19 / 64 ] simplifiying candidate # 1.838 * * * * [progress]: [ 20 / 64 ] simplifiying candidate # 1.838 * * * * [progress]: [ 21 / 64 ] simplifiying candidate # 1.838 * * * * [progress]: [ 22 / 64 ] simplifiying candidate # 1.838 * * * * [progress]: [ 23 / 64 ] simplifiying candidate # 1.838 * * * * [progress]: [ 24 / 64 ] simplifiying candidate #real (real->posit16 (log1p (/ (expm1 x) x))))))> 1.838 * * * * [progress]: [ 25 / 64 ] simplifiying candidate # 1.838 * * * * [progress]: [ 26 / 64 ] simplifiying candidate # 1.838 * * * * [progress]: [ 27 / 64 ] simplifiying candidate # 1.838 * * * * [progress]: [ 28 / 64 ] simplifiying candidate # 1.839 * [simplify]: Simplifying (- (log (expm1 x)) (log x)) 1.839 * * [simplify]: iters left: 4 (5 enodes) 1.841 * * [simplify]: iters left: 3 (17 enodes) 1.846 * * [simplify]: iters left: 2 (20 enodes) 1.852 * * [simplify]: Extracting #0: cost 1 inf + 0 1.852 * * [simplify]: Extracting #1: cost 5 inf + 0 1.852 * * [simplify]: Extracting #2: cost 10 inf + 0 1.852 * * [simplify]: Extracting #3: cost 10 inf + 1 1.852 * * [simplify]: Extracting #4: cost 0 inf + 1291 1.853 * [simplify]: Simplified to (- (log (expm1 x)) (log x)) 1.853 * [simplify]: Simplified (2 1 1 1) to (λ (x) (expm1 (log1p (exp (- (log (expm1 x)) (log x)))))) 1.853 * * * * [progress]: [ 29 / 64 ] simplifiying candidate # 1.853 * * * * [progress]: [ 30 / 64 ] simplifiying candidate # 1.853 * * * * [progress]: [ 31 / 64 ] simplifiying candidate # 1.853 * [simplify]: Simplifying (/ (* (* (expm1 x) (expm1 x)) (expm1 x)) (* (* x x) x)) 1.853 * * [simplify]: iters left: 6 (7 enodes) 1.857 * * [simplify]: iters left: 5 (30 enodes) 1.868 * * [simplify]: iters left: 4 (70 enodes) 1.896 * * [simplify]: iters left: 3 (146 enodes) 1.959 * * [simplify]: iters left: 2 (250 enodes) 2.040 * * [simplify]: iters left: 1 (428 enodes) 2.246 * * [simplify]: Extracting #0: cost 1 inf + 0 2.247 * * [simplify]: Extracting #1: cost 81 inf + 0 2.248 * * [simplify]: Extracting #2: cost 197 inf + 184 2.251 * * [simplify]: Extracting #3: cost 154 inf + 13151 2.265 * * [simplify]: Extracting #4: cost 22 inf + 70479 2.282 * * [simplify]: Extracting #5: cost 0 inf + 77877 2.291 * * [simplify]: Extracting #6: cost 0 inf + 77637 2.299 * [simplify]: Simplified to (* (* (/ (expm1 x) x) (/ (expm1 x) x)) (/ (expm1 x) x)) 2.300 * [simplify]: Simplified (2 1 1 1) to (λ (x) (expm1 (log1p (cbrt (* (* (/ (expm1 x) x) (/ (expm1 x) x)) (/ (expm1 x) x)))))) 2.300 * * * * [progress]: [ 32 / 64 ] simplifiying candidate # 2.300 * * * * [progress]: [ 33 / 64 ] simplifiying candidate # 2.300 * * * * [progress]: [ 34 / 64 ] simplifiying candidate # 2.300 * * * * [progress]: [ 35 / 64 ] simplifiying candidate # 2.300 * * * * [progress]: [ 36 / 64 ] simplifiying candidate # 2.300 * [simplify]: Simplifying (/ (exp x) x) 2.300 * * [simplify]: iters left: 3 (3 enodes) 2.301 * * [simplify]: iters left: 2 (9 enodes) 2.302 * * [simplify]: Extracting #0: cost 1 inf + 0 2.302 * * [simplify]: Extracting #1: cost 4 inf + 0 2.302 * * [simplify]: Extracting #2: cost 4 inf + 1 2.302 * * [simplify]: Extracting #3: cost 0 inf + 365 2.302 * [simplify]: Simplified to (/ (exp x) x) 2.302 * [simplify]: Simplified (2 1 1 1) to (λ (x) (expm1 (log1p (- (/ (exp x) x) (/ 1 x))))) 2.302 * * * * [progress]: [ 37 / 64 ] simplifiying candidate # 2.303 * [simplify]: Simplifying (/ (* (cbrt (expm1 x)) (cbrt (expm1 x))) (* (cbrt x) (cbrt x))) 2.303 * * [simplify]: iters left: 6 (7 enodes) 2.304 * * [simplify]: iters left: 5 (27 enodes) 2.308 * * [simplify]: iters left: 4 (42 enodes) 2.314 * * [simplify]: iters left: 3 (49 enodes) 2.321 * * [simplify]: iters left: 2 (52 enodes) 2.327 * * [simplify]: Extracting #0: cost 1 inf + 0 2.327 * * [simplify]: Extracting #1: cost 11 inf + 0 2.327 * * [simplify]: Extracting #2: cost 22 inf + 0 2.327 * * [simplify]: Extracting #3: cost 21 inf + 72 2.328 * * [simplify]: Extracting #4: cost 10 inf + 2123 2.328 * * [simplify]: Extracting #5: cost 0 inf + 4803 2.329 * [simplify]: Simplified to (* (/ (cbrt (expm1 x)) (cbrt x)) (/ (cbrt (expm1 x)) (cbrt x))) 2.329 * [simplify]: Simplified (2 1 1 1) to (λ (x) (expm1 (log1p (* (* (/ (cbrt (expm1 x)) (cbrt x)) (/ (cbrt (expm1 x)) (cbrt x))) (/ (cbrt (expm1 x)) (cbrt x)))))) 2.329 * [simplify]: Simplifying (/ (cbrt (expm1 x)) (cbrt x)) 2.329 * * [simplify]: iters left: 4 (5 enodes) 2.333 * * [simplify]: iters left: 3 (15 enodes) 2.337 * * [simplify]: Extracting #0: cost 1 inf + 0 2.337 * * [simplify]: Extracting #1: cost 4 inf + 0 2.337 * * [simplify]: Extracting #2: cost 8 inf + 0 2.337 * * [simplify]: Extracting #3: cost 8 inf + 1 2.337 * * [simplify]: Extracting #4: cost 0 inf + 1149 2.337 * [simplify]: Simplified to (/ (cbrt (expm1 x)) (cbrt x)) 2.337 * [simplify]: Simplified (2 1 1 2) to (λ (x) (expm1 (log1p (* (* (/ (cbrt (expm1 x)) (cbrt x)) (/ (cbrt (expm1 x)) (cbrt x))) (/ (cbrt (expm1 x)) (cbrt x)))))) 2.338 * * * * [progress]: [ 38 / 64 ] simplifiying candidate # 2.338 * [simplify]: Simplifying (/ (* (cbrt (expm1 x)) (cbrt (expm1 x))) (sqrt x)) 2.338 * * [simplify]: iters left: 6 (6 enodes) 2.341 * * [simplify]: iters left: 5 (20 enodes) 2.346 * * [simplify]: iters left: 4 (24 enodes) 2.349 * * [simplify]: iters left: 3 (27 enodes) 2.353 * * [simplify]: Extracting #0: cost 1 inf + 0 2.353 * * [simplify]: Extracting #1: cost 7 inf + 0 2.353 * * [simplify]: Extracting #2: cost 14 inf + 0 2.353 * * [simplify]: Extracting #3: cost 14 inf + 1 2.353 * * [simplify]: Extracting #4: cost 11 inf + 154 2.353 * * [simplify]: Extracting #5: cost 2 inf + 1913 2.354 * * [simplify]: Extracting #6: cost 0 inf + 2375 2.354 * [simplify]: Simplified to (* (cbrt (expm1 x)) (/ (cbrt (expm1 x)) (sqrt x))) 2.354 * [simplify]: Simplified (2 1 1 1) to (λ (x) (expm1 (log1p (* (* (cbrt (expm1 x)) (/ (cbrt (expm1 x)) (sqrt x))) (/ (cbrt (expm1 x)) (sqrt x)))))) 2.354 * [simplify]: Simplifying (/ (cbrt (expm1 x)) (sqrt x)) 2.354 * * [simplify]: iters left: 4 (5 enodes) 2.355 * * [simplify]: iters left: 3 (15 enodes) 2.357 * * [simplify]: Extracting #0: cost 1 inf + 0 2.357 * * [simplify]: Extracting #1: cost 4 inf + 0 2.357 * * [simplify]: Extracting #2: cost 8 inf + 0 2.357 * * [simplify]: Extracting #3: cost 8 inf + 1 2.357 * * [simplify]: Extracting #4: cost 0 inf + 989 2.358 * [simplify]: Simplified to (/ (cbrt (expm1 x)) (sqrt x)) 2.358 * [simplify]: Simplified (2 1 1 2) to (λ (x) (expm1 (log1p (* (* (cbrt (expm1 x)) (/ (cbrt (expm1 x)) (sqrt x))) (/ (cbrt (expm1 x)) (sqrt x)))))) 2.358 * * * * [progress]: [ 39 / 64 ] simplifiying candidate # 2.358 * [simplify]: Simplifying (/ (* (cbrt (expm1 x)) (cbrt (expm1 x))) 1) 2.358 * * [simplify]: iters left: 6 (6 enodes) 2.360 * * [simplify]: iters left: 5 (20 enodes) 2.364 * * [simplify]: iters left: 4 (30 enodes) 2.368 * * [simplify]: iters left: 3 (31 enodes) 2.373 * * [simplify]: Extracting #0: cost 1 inf + 0 2.373 * * [simplify]: Extracting #1: cost 5 inf + 0 2.373 * * [simplify]: Extracting #2: cost 7 inf + 1 2.373 * * [simplify]: Extracting #3: cost 9 inf + 1 2.373 * * [simplify]: Extracting #4: cost 8 inf + 2 2.373 * * [simplify]: Extracting #5: cost 0 inf + 1212 2.373 * [simplify]: Simplified to (* (cbrt (expm1 x)) (cbrt (expm1 x))) 2.373 * [simplify]: Simplified (2 1 1 1) to (λ (x) (expm1 (log1p (* (* (cbrt (expm1 x)) (cbrt (expm1 x))) (/ (cbrt (expm1 x)) x))))) 2.373 * [simplify]: Simplifying (/ (cbrt (expm1 x)) x) 2.373 * * [simplify]: iters left: 4 (4 enodes) 2.374 * * [simplify]: iters left: 3 (12 enodes) 2.376 * * [simplify]: Extracting #0: cost 1 inf + 0 2.376 * * [simplify]: Extracting #1: cost 4 inf + 0 2.376 * * [simplify]: Extracting #2: cost 5 inf + 1 2.376 * * [simplify]: Extracting #3: cost 5 inf + 72 2.376 * * [simplify]: Extracting #4: cost 0 inf + 827 2.376 * [simplify]: Simplified to (/ (cbrt (expm1 x)) x) 2.376 * [simplify]: Simplified (2 1 1 2) to (λ (x) (expm1 (log1p (* (* (cbrt (expm1 x)) (cbrt (expm1 x))) (/ (cbrt (expm1 x)) x))))) 2.376 * * * * [progress]: [ 40 / 64 ] simplifiying candidate # 2.376 * [simplify]: Simplifying (/ (sqrt (expm1 x)) (* (cbrt x) (cbrt x))) 2.376 * * [simplify]: iters left: 5 (6 enodes) 2.377 * * [simplify]: iters left: 4 (20 enodes) 2.380 * * [simplify]: iters left: 3 (22 enodes) 2.384 * * [simplify]: Extracting #0: cost 1 inf + 0 2.384 * * [simplify]: Extracting #1: cost 6 inf + 0 2.384 * * [simplify]: Extracting #2: cost 12 inf + 0 2.384 * * [simplify]: Extracting #3: cost 12 inf + 1 2.384 * * [simplify]: Extracting #4: cost 10 inf + 153 2.385 * * [simplify]: Extracting #5: cost 1 inf + 1502 2.385 * * [simplify]: Extracting #6: cost 0 inf + 1773 2.385 * [simplify]: Simplified to (/ (/ (sqrt (expm1 x)) (cbrt x)) (cbrt x)) 2.385 * [simplify]: Simplified (2 1 1 1) to (λ (x) (expm1 (log1p (* (/ (/ (sqrt (expm1 x)) (cbrt x)) (cbrt x)) (/ (sqrt (expm1 x)) (cbrt x)))))) 2.386 * [simplify]: Simplifying (/ (sqrt (expm1 x)) (cbrt x)) 2.386 * * [simplify]: iters left: 4 (5 enodes) 2.388 * * [simplify]: iters left: 3 (15 enodes) 2.392 * * [simplify]: Extracting #0: cost 1 inf + 0 2.392 * * [simplify]: Extracting #1: cost 4 inf + 0 2.392 * * [simplify]: Extracting #2: cost 8 inf + 0 2.392 * * [simplify]: Extracting #3: cost 8 inf + 1 2.393 * * [simplify]: Extracting #4: cost 0 inf + 989 2.393 * [simplify]: Simplified to (/ (sqrt (expm1 x)) (cbrt x)) 2.393 * [simplify]: Simplified (2 1 1 2) to (λ (x) (expm1 (log1p (* (/ (/ (sqrt (expm1 x)) (cbrt x)) (cbrt x)) (/ (sqrt (expm1 x)) (cbrt x)))))) 2.393 * * * * [progress]: [ 41 / 64 ] simplifiying candidate # 2.393 * [simplify]: Simplifying (/ (sqrt (expm1 x)) (sqrt x)) 2.393 * * [simplify]: iters left: 4 (5 enodes) 2.395 * * [simplify]: iters left: 3 (15 enodes) 2.400 * * [simplify]: Extracting #0: cost 1 inf + 0 2.400 * * [simplify]: Extracting #1: cost 4 inf + 0 2.400 * * [simplify]: Extracting #2: cost 8 inf + 0 2.400 * * [simplify]: Extracting #3: cost 8 inf + 1 2.400 * * [simplify]: Extracting #4: cost 0 inf + 829 2.400 * [simplify]: Simplified to (/ (sqrt (expm1 x)) (sqrt x)) 2.400 * [simplify]: Simplified (2 1 1 1) to (λ (x) (expm1 (log1p (* (/ (sqrt (expm1 x)) (sqrt x)) (/ (sqrt (expm1 x)) (sqrt x)))))) 2.401 * [simplify]: Simplifying (/ (sqrt (expm1 x)) (sqrt x)) 2.401 * * [simplify]: iters left: 4 (5 enodes) 2.403 * * [simplify]: iters left: 3 (15 enodes) 2.407 * * [simplify]: Extracting #0: cost 1 inf + 0 2.407 * * [simplify]: Extracting #1: cost 4 inf + 0 2.407 * * [simplify]: Extracting #2: cost 8 inf + 0 2.407 * * [simplify]: Extracting #3: cost 8 inf + 1 2.407 * * [simplify]: Extracting #4: cost 0 inf + 829 2.408 * [simplify]: Simplified to (/ (sqrt (expm1 x)) (sqrt x)) 2.408 * [simplify]: Simplified (2 1 1 2) to (λ (x) (expm1 (log1p (* (/ (sqrt (expm1 x)) (sqrt x)) (/ (sqrt (expm1 x)) (sqrt x)))))) 2.408 * * * * [progress]: [ 42 / 64 ] simplifiying candidate # 2.408 * [simplify]: Simplifying (/ (sqrt (expm1 x)) 1) 2.408 * * [simplify]: iters left: 4 (5 enodes) 2.411 * * [simplify]: iters left: 3 (15 enodes) 2.416 * * [simplify]: iters left: 2 (17 enodes) 2.421 * * [simplify]: Extracting #0: cost 1 inf + 0 2.422 * * [simplify]: Extracting #1: cost 4 inf + 0 2.422 * * [simplify]: Extracting #2: cost 5 inf + 1 2.422 * * [simplify]: Extracting #3: cost 4 inf + 2 2.422 * * [simplify]: Extracting #4: cost 1 inf + 255 2.422 * * [simplify]: Extracting #5: cost 0 inf + 366 2.422 * [simplify]: Simplified to (sqrt (expm1 x)) 2.422 * [simplify]: Simplified (2 1 1 1) to (λ (x) (expm1 (log1p (* (sqrt (expm1 x)) (/ (sqrt (expm1 x)) x))))) 2.422 * [simplify]: Simplifying (/ (sqrt (expm1 x)) x) 2.423 * * [simplify]: iters left: 4 (4 enodes) 2.424 * * [simplify]: iters left: 3 (12 enodes) 2.428 * * [simplify]: Extracting #0: cost 1 inf + 0 2.428 * * [simplify]: Extracting #1: cost 4 inf + 0 2.428 * * [simplify]: Extracting #2: cost 5 inf + 1 2.428 * * [simplify]: Extracting #3: cost 5 inf + 72 2.428 * * [simplify]: Extracting #4: cost 0 inf + 667 2.428 * [simplify]: Simplified to (/ (sqrt (expm1 x)) x) 2.428 * [simplify]: Simplified (2 1 1 2) to (λ (x) (expm1 (log1p (* (sqrt (expm1 x)) (/ (sqrt (expm1 x)) x))))) 2.428 * * * * [progress]: [ 43 / 64 ] simplifiying candidate # 2.429 * [simplify]: Simplifying (/ 1 (* (cbrt x) (cbrt x))) 2.429 * * [simplify]: iters left: 5 (5 enodes) 2.432 * * [simplify]: iters left: 4 (19 enodes) 2.438 * * [simplify]: iters left: 3 (23 enodes) 2.446 * * [simplify]: Extracting #0: cost 1 inf + 0 2.446 * * [simplify]: Extracting #1: cost 6 inf + 0 2.446 * * [simplify]: Extracting #2: cost 9 inf + 1 2.446 * * [simplify]: Extracting #3: cost 1 inf + 852 2.447 * * [simplify]: Extracting #4: cost 0 inf + 974 2.447 * [simplify]: Simplified to (/ 1 (* (cbrt x) (cbrt x))) 2.447 * [simplify]: Simplified (2 1 1 1) to (λ (x) (expm1 (log1p (* (/ 1 (* (cbrt x) (cbrt x))) (/ (expm1 x) (cbrt x)))))) 2.447 * [simplify]: Simplifying (/ (expm1 x) (cbrt x)) 2.447 * * [simplify]: iters left: 3 (4 enodes) 2.449 * * [simplify]: iters left: 2 (12 enodes) 2.452 * * [simplify]: Extracting #0: cost 1 inf + 0 2.453 * * [simplify]: Extracting #1: cost 4 inf + 0 2.453 * * [simplify]: Extracting #2: cost 7 inf + 0 2.453 * * [simplify]: Extracting #3: cost 6 inf + 1 2.453 * * [simplify]: Extracting #4: cost 0 inf + 687 2.453 * [simplify]: Simplified to (/ (expm1 x) (cbrt x)) 2.453 * [simplify]: Simplified (2 1 1 2) to (λ (x) (expm1 (log1p (* (/ 1 (* (cbrt x) (cbrt x))) (/ (expm1 x) (cbrt x)))))) 2.453 * * * * [progress]: [ 44 / 64 ] simplifiying candidate # 2.453 * [simplify]: Simplifying (/ 1 (sqrt x)) 2.454 * * [simplify]: iters left: 3 (4 enodes) 2.458 * * [simplify]: iters left: 2 (14 enodes) 2.462 * * [simplify]: iters left: 1 (16 enodes) 2.465 * * [simplify]: Extracting #0: cost 1 inf + 0 2.465 * * [simplify]: Extracting #1: cost 4 inf + 0 2.465 * * [simplify]: Extracting #2: cost 5 inf + 1 2.465 * * [simplify]: Extracting #3: cost 3 inf + 43 2.465 * * [simplify]: Extracting #4: cost 1 inf + 166 2.466 * * [simplify]: Extracting #5: cost 0 inf + 248 2.466 * [simplify]: Simplified to (/ 1 (sqrt x)) 2.466 * [simplify]: Simplified (2 1 1 1) to (λ (x) (expm1 (log1p (* (/ 1 (sqrt x)) (/ (expm1 x) (sqrt x)))))) 2.466 * [simplify]: Simplifying (/ (expm1 x) (sqrt x)) 2.466 * * [simplify]: iters left: 3 (4 enodes) 2.467 * * [simplify]: iters left: 2 (12 enodes) 2.468 * * [simplify]: Extracting #0: cost 1 inf + 0 2.468 * * [simplify]: Extracting #1: cost 4 inf + 0 2.468 * * [simplify]: Extracting #2: cost 7 inf + 0 2.468 * * [simplify]: Extracting #3: cost 6 inf + 1 2.469 * * [simplify]: Extracting #4: cost 0 inf + 527 2.469 * [simplify]: Simplified to (/ (expm1 x) (sqrt x)) 2.469 * [simplify]: Simplified (2 1 1 2) to (λ (x) (expm1 (log1p (* (/ 1 (sqrt x)) (/ (expm1 x) (sqrt x)))))) 2.469 * * * * [progress]: [ 45 / 64 ] simplifiying candidate # 2.469 * [simplify]: Simplifying (/ 1 1) 2.469 * * [simplify]: iters left: 2 (2 enodes) 2.470 * * [simplify]: iters left: 1 (6 enodes) 2.471 * * [simplify]: Extracting #0: cost 1 inf + 0 2.471 * * [simplify]: Extracting #1: cost 0 inf + 1 2.471 * [simplify]: Simplified to 1 2.471 * [simplify]: Simplified (2 1 1 1) to (λ (x) (expm1 (log1p (* 1 (/ (expm1 x) x))))) 2.471 * [simplify]: Simplifying (/ (expm1 x) x) 2.471 * * [simplify]: iters left: 3 (3 enodes) 2.472 * * [simplify]: iters left: 2 (9 enodes) 2.473 * * [simplify]: Extracting #0: cost 1 inf + 0 2.473 * * [simplify]: Extracting #1: cost 4 inf + 0 2.473 * * [simplify]: Extracting #2: cost 4 inf + 1 2.473 * * [simplify]: Extracting #3: cost 0 inf + 365 2.473 * [simplify]: Simplified to (/ (expm1 x) x) 2.473 * [simplify]: Simplified (2 1 1 2) to (λ (x) (expm1 (log1p (* 1 (/ (expm1 x) x))))) 2.473 * * * * [progress]: [ 46 / 64 ] simplifiying candidate # 2.473 * * * * [progress]: [ 47 / 64 ] simplifiying candidate # 2.473 * * * * [progress]: [ 48 / 64 ] simplifiying candidate # 2.473 * * * * [progress]: [ 49 / 64 ] simplifiying candidate # 2.474 * [simplify]: Simplifying (cbrt x) 2.474 * * [simplify]: iters left: 1 (2 enodes) 2.474 * * [simplify]: Extracting #0: cost 1 inf + 0 2.474 * * [simplify]: Extracting #1: cost 3 inf + 0 2.474 * * [simplify]: Extracting #2: cost 2 inf + 1 2.474 * * [simplify]: Extracting #3: cost 0 inf + 163 2.474 * [simplify]: Simplified to (cbrt x) 2.474 * [simplify]: Simplified (2 1 1 2) to (λ (x) (expm1 (log1p (/ (/ (expm1 x) (* (cbrt x) (cbrt x))) (cbrt x))))) 2.474 * * * * [progress]: [ 50 / 64 ] simplifiying candidate # 2.474 * [simplify]: Simplifying (sqrt x) 2.475 * * [simplify]: iters left: 1 (2 enodes) 2.475 * * [simplify]: Extracting #0: cost 1 inf + 0 2.475 * * [simplify]: Extracting #1: cost 3 inf + 0 2.475 * * [simplify]: Extracting #2: cost 2 inf + 1 2.475 * * [simplify]: Extracting #3: cost 0 inf + 83 2.475 * [simplify]: Simplified to (sqrt x) 2.475 * [simplify]: Simplified (2 1 1 2) to (λ (x) (expm1 (log1p (/ (/ (expm1 x) (sqrt x)) (sqrt x))))) 2.475 * * * * [progress]: [ 51 / 64 ] simplifiying candidate # 2.475 * * * * [progress]: [ 52 / 64 ] simplifiying candidate # 2.475 * [simplify]: Simplifying (* (cbrt (expm1 x)) (cbrt (expm1 x))) 2.475 * * [simplify]: iters left: 4 (4 enodes) 2.476 * * [simplify]: iters left: 3 (12 enodes) 2.478 * * [simplify]: Extracting #0: cost 1 inf + 0 2.478 * * [simplify]: Extracting #1: cost 3 inf + 0 2.478 * * [simplify]: Extracting #2: cost 5 inf + 0 2.478 * * [simplify]: Extracting #3: cost 7 inf + 0 2.478 * * [simplify]: Extracting #4: cost 6 inf + 1 2.478 * * [simplify]: Extracting #5: cost 0 inf + 827 2.478 * [simplify]: Simplified to (* (cbrt (expm1 x)) (cbrt (expm1 x))) 2.478 * [simplify]: Simplified (2 1 1 1) to (λ (x) (expm1 (log1p (/ (* (cbrt (expm1 x)) (cbrt (expm1 x))) (/ x (cbrt (expm1 x))))))) 2.478 * * * * [progress]: [ 53 / 64 ] simplifiying candidate # 2.479 * [simplify]: Simplifying (sqrt (expm1 x)) 2.479 * * [simplify]: iters left: 2 (3 enodes) 2.479 * * [simplify]: iters left: 1 (9 enodes) 2.480 * * [simplify]: Extracting #0: cost 1 inf + 0 2.480 * * [simplify]: Extracting #1: cost 3 inf + 0 2.480 * * [simplify]: Extracting #2: cost 5 inf + 0 2.480 * * [simplify]: Extracting #3: cost 4 inf + 1 2.480 * * [simplify]: Extracting #4: cost 0 inf + 365 2.481 * [simplify]: Simplified to (sqrt (expm1 x)) 2.481 * [simplify]: Simplified (2 1 1 1) to (λ (x) (expm1 (log1p (/ (sqrt (expm1 x)) (/ x (sqrt (expm1 x))))))) 2.481 * * * * [progress]: [ 54 / 64 ] simplifiying candidate # 2.481 * * * * [progress]: [ 55 / 64 ] simplifiying candidate #real (real->posit16 (/ (expm1 x) x))))))> 2.481 * * * * [progress]: [ 56 / 64 ] simplifiying candidate # 2.481 * [simplify]: Simplifying (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)) 2.481 * * [simplify]: iters left: 6 (10 enodes) 2.485 * * [simplify]: iters left: 5 (44 enodes) 2.493 * * [simplify]: iters left: 4 (62 enodes) 2.509 * * [simplify]: iters left: 3 (90 enodes) 2.531 * * [simplify]: iters left: 2 (112 enodes) 2.562 * * [simplify]: iters left: 1 (124 enodes) 2.575 * * [simplify]: Extracting #0: cost 1 inf + 0 2.575 * * [simplify]: Extracting #1: cost 14 inf + 0 2.575 * * [simplify]: Extracting #2: cost 17 inf + 87 2.576 * * [simplify]: Extracting #3: cost 4 inf + 943 2.576 * * [simplify]: Extracting #4: cost 0 inf + 1271 2.577 * [simplify]: Simplified to (fma x (fma x 1/6 1/2) 1) 2.577 * [simplify]: Simplified (2) to (λ (x) (fma x (fma x 1/6 1/2) 1)) 2.577 * * * * [progress]: [ 57 / 64 ] simplifiying candidate # 2.577 * [simplify]: Simplifying (/ (- (exp x) 1) x) 2.577 * * [simplify]: iters left: 5 (5 enodes) 2.579 * * [simplify]: iters left: 4 (24 enodes) 2.583 * * [simplify]: iters left: 3 (34 enodes) 2.589 * * [simplify]: iters left: 2 (38 enodes) 2.598 * * [simplify]: Extracting #0: cost 1 inf + 0 2.598 * * [simplify]: Extracting #1: cost 7 inf + 0 2.598 * * [simplify]: Extracting #2: cost 13 inf + 1 2.598 * * [simplify]: Extracting #3: cost 8 inf + 229 2.598 * * [simplify]: Extracting #4: cost 1 inf + 788 2.598 * * [simplify]: Extracting #5: cost 0 inf + 899 2.599 * [simplify]: Simplified to (/ (expm1 x) x) 2.599 * [simplify]: Simplified (2) to (λ (x) (/ (expm1 x) x)) 2.599 * * * * [progress]: [ 58 / 64 ] simplifiying candidate # 2.599 * [simplify]: Simplifying (* -1 (/ (- 1 (exp x)) x)) 2.599 * * [simplify]: iters left: 6 (7 enodes) 2.601 * * [simplify]: iters left: 5 (32 enodes) 2.608 * * [simplify]: iters left: 4 (56 enodes) 2.617 * * [simplify]: iters left: 3 (87 enodes) 2.634 * * [simplify]: iters left: 2 (129 enodes) 2.665 * * [simplify]: iters left: 1 (176 enodes) 2.712 * * [simplify]: Extracting #0: cost 1 inf + 0 2.712 * * [simplify]: Extracting #1: cost 22 inf + 0 2.713 * * [simplify]: Extracting #2: cost 57 inf + 3 2.713 * * [simplify]: Extracting #3: cost 49 inf + 561 2.715 * * [simplify]: Extracting #4: cost 6 inf + 6668 2.719 * * [simplify]: Extracting #5: cost 1 inf + 7467 2.722 * * [simplify]: Extracting #6: cost 0 inf + 7619 2.725 * [simplify]: Simplified to (/ (+ (exp x) -1) x) 2.726 * [simplify]: Simplified (2) to (λ (x) (/ (+ (exp x) -1) x)) 2.726 * * * * [progress]: [ 59 / 64 ] simplifiying candidate # 2.726 * [simplify]: Simplifying (+ (log 2) (+ (* 1/4 x) (* 5/96 (pow x 2)))) 2.726 * * [simplify]: iters left: 6 (10 enodes) 2.733 * * [simplify]: iters left: 5 (42 enodes) 2.747 * * [simplify]: iters left: 4 (61 enodes) 2.767 * * [simplify]: iters left: 3 (93 enodes) 2.784 * * [simplify]: iters left: 2 (114 enodes) 2.798 * * [simplify]: iters left: 1 (121 enodes) 2.810 * * [simplify]: Extracting #0: cost 1 inf + 0 2.810 * * [simplify]: Extracting #1: cost 14 inf + 0 2.810 * * [simplify]: Extracting #2: cost 20 inf + 61 2.811 * * [simplify]: Extracting #3: cost 8 inf + 971 2.812 * * [simplify]: Extracting #4: cost 0 inf + 1832 2.813 * [simplify]: Simplified to (fma (fma 5/96 x 1/4) x (log 2)) 2.813 * [simplify]: Simplified (2 1) to (λ (x) (expm1 (fma (fma 5/96 x 1/4) x (log 2)))) 2.814 * * * * [progress]: [ 60 / 64 ] simplifiying candidate # 2.814 * [simplify]: Simplifying (- (+ (/ (exp x) x) (+ (/ (exp x) (pow x 2)) (+ (* 1/3 (/ (pow (exp x) 3) (pow x 3))) (/ (exp x) (pow x 3))))) (+ (/ (pow (exp x) 2) (pow x 3)) (+ (* 1/2 (/ 1 (pow x 2))) (+ (* 1/2 (/ (pow (exp x) 2) (pow x 2))) (+ (* 1/3 (/ 1 (pow x 3))) (/ 1 x)))))) 2.814 * * [simplify]: iters left: 6 (32 enodes) 2.832 * * [simplify]: iters left: 5 (154 enodes) 2.868 * * [simplify]: iters left: 4 (405 enodes) 3.087 * * [simplify]: Extracting #0: cost 1 inf + 0 3.087 * * [simplify]: Extracting #1: cost 93 inf + 0 3.088 * * [simplify]: Extracting #2: cost 396 inf + 0 3.091 * * [simplify]: Extracting #3: cost 460 inf + 11999 3.106 * * [simplify]: Extracting #4: cost 273 inf + 75783 3.183 * * [simplify]: Extracting #5: cost 38 inf + 196270 3.278 * * [simplify]: Extracting #6: cost 0 inf + 209832 3.339 * * [simplify]: Extracting #7: cost 0 inf + 209767 3.413 * [simplify]: Simplified to (- (+ (+ (/ (exp x) x) (fma 1/3 (* (/ (exp x) x) (* (/ (exp x) x) (/ (exp x) x))) (/ (exp x) (* x x)))) (- (/ (exp x) (* (* x x) x)) (fma (/ (exp x) x) (/ (exp x) (* x x)) (/ 1/2 (* x x))))) (fma (* (/ (exp x) x) (/ (exp x) x)) 1/2 (+ (/ 1/3 (* (* x x) x)) (/ 1 x)))) 3.413 * [simplify]: Simplified (2 1) to (λ (x) (expm1 (- (+ (+ (/ (exp x) x) (fma 1/3 (* (/ (exp x) x) (* (/ (exp x) x) (/ (exp x) x))) (/ (exp x) (* x x)))) (- (/ (exp x) (* (* x x) x)) (fma (/ (exp x) x) (/ (exp x) (* x x)) (/ 1/2 (* x x))))) (fma (* (/ (exp x) x) (/ (exp x) x)) 1/2 (+ (/ 1/3 (* (* x x) x)) (/ 1 x)))))) 3.413 * * * * [progress]: [ 61 / 64 ] simplifiying candidate # 3.414 * [simplify]: Simplifying (- (+ (/ (exp x) x) (+ (/ (exp x) (pow x 2)) (+ (* 1/3 (/ (pow (exp x) 3) (pow x 3))) (/ (exp x) (pow x 3))))) (+ (/ (pow (exp x) 2) (pow x 3)) (+ (* 1/2 (/ 1 (pow x 2))) (+ (* 1/2 (/ (pow (exp x) 2) (pow x 2))) (+ (* 1/3 (/ 1 (pow x 3))) (/ 1 x)))))) 3.414 * * [simplify]: iters left: 6 (32 enodes) 3.435 * * [simplify]: iters left: 5 (154 enodes) 3.502 * * [simplify]: iters left: 4 (405 enodes) 3.678 * * [simplify]: Extracting #0: cost 1 inf + 0 3.679 * * [simplify]: Extracting #1: cost 93 inf + 0 3.680 * * [simplify]: Extracting #2: cost 396 inf + 0 3.683 * * [simplify]: Extracting #3: cost 460 inf + 11999 3.705 * * [simplify]: Extracting #4: cost 273 inf + 75783 3.765 * * [simplify]: Extracting #5: cost 38 inf + 196270 3.830 * * [simplify]: Extracting #6: cost 0 inf + 209832 3.903 * * [simplify]: Extracting #7: cost 0 inf + 209767 3.996 * [simplify]: Simplified to (- (+ (+ (/ (exp x) x) (fma 1/3 (* (/ (exp x) x) (* (/ (exp x) x) (/ (exp x) x))) (/ (exp x) (* x x)))) (- (/ (exp x) (* (* x x) x)) (fma (/ (exp x) x) (/ (exp x) (* x x)) (/ 1/2 (* x x))))) (fma (* (/ (exp x) x) (/ (exp x) x)) 1/2 (+ (/ 1/3 (* (* x x) x)) (/ 1 x)))) 3.996 * [simplify]: Simplified (2 1) to (λ (x) (expm1 (- (+ (+ (/ (exp x) x) (fma 1/3 (* (/ (exp x) x) (* (/ (exp x) x) (/ (exp x) x))) (/ (exp x) (* x x)))) (- (/ (exp x) (* (* x x) x)) (fma (/ (exp x) x) (/ (exp x) (* x x)) (/ 1/2 (* x x))))) (fma (* (/ (exp x) x) (/ (exp x) x)) 1/2 (+ (/ 1/3 (* (* x x) x)) (/ 1 x)))))) 3.997 * * * * [progress]: [ 62 / 64 ] simplifiying candidate # 3.997 * [simplify]: Simplifying (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)) 3.997 * * [simplify]: iters left: 6 (10 enodes) 4.005 * * [simplify]: iters left: 5 (44 enodes) 4.020 * * [simplify]: iters left: 4 (62 enodes) 4.040 * * [simplify]: iters left: 3 (90 enodes) 4.067 * * [simplify]: iters left: 2 (112 enodes) 4.093 * * [simplify]: iters left: 1 (124 enodes) 4.106 * * [simplify]: Extracting #0: cost 1 inf + 0 4.106 * * [simplify]: Extracting #1: cost 14 inf + 0 4.106 * * [simplify]: Extracting #2: cost 17 inf + 87 4.107 * * [simplify]: Extracting #3: cost 4 inf + 943 4.107 * * [simplify]: Extracting #4: cost 0 inf + 1271 4.108 * [simplify]: Simplified to (fma x (fma x 1/6 1/2) 1) 4.108 * [simplify]: Simplified (2 1 1) to (λ (x) (expm1 (log1p (fma x (fma x 1/6 1/2) 1)))) 4.108 * * * * [progress]: [ 63 / 64 ] simplifiying candidate # 4.108 * [simplify]: Simplifying (/ (- (exp x) 1) x) 4.108 * * [simplify]: iters left: 5 (5 enodes) 4.110 * * [simplify]: iters left: 4 (24 enodes) 4.114 * * [simplify]: iters left: 3 (34 enodes) 4.124 * * [simplify]: iters left: 2 (38 enodes) 4.136 * * [simplify]: Extracting #0: cost 1 inf + 0 4.136 * * [simplify]: Extracting #1: cost 7 inf + 0 4.136 * * [simplify]: Extracting #2: cost 13 inf + 1 4.136 * * [simplify]: Extracting #3: cost 8 inf + 229 4.137 * * [simplify]: Extracting #4: cost 1 inf + 788 4.137 * * [simplify]: Extracting #5: cost 0 inf + 899 4.137 * [simplify]: Simplified to (/ (expm1 x) x) 4.138 * [simplify]: Simplified (2 1 1) to (λ (x) (expm1 (log1p (/ (expm1 x) x)))) 4.138 * * * * [progress]: [ 64 / 64 ] simplifiying candidate # 4.138 * [simplify]: Simplifying (* -1 (/ (- 1 (exp x)) x)) 4.138 * * [simplify]: iters left: 6 (7 enodes) 4.143 * * [simplify]: iters left: 5 (32 enodes) 4.156 * * [simplify]: iters left: 4 (56 enodes) 4.172 * * [simplify]: iters left: 3 (87 enodes) 4.188 * * [simplify]: iters left: 2 (129 enodes) 4.215 * * [simplify]: iters left: 1 (176 enodes) 4.268 * * [simplify]: Extracting #0: cost 1 inf + 0 4.268 * * [simplify]: Extracting #1: cost 22 inf + 0 4.269 * * [simplify]: Extracting #2: cost 57 inf + 3 4.269 * * [simplify]: Extracting #3: cost 49 inf + 561 4.271 * * [simplify]: Extracting #4: cost 6 inf + 6668 4.274 * * [simplify]: Extracting #5: cost 1 inf + 7467 4.279 * * [simplify]: Extracting #6: cost 0 inf + 7619 4.282 * [simplify]: Simplified to (/ (+ (exp x) -1) x) 4.282 * [simplify]: Simplified (2 1 1) to (λ (x) (expm1 (log1p (/ (+ (exp x) -1) x)))) 4.282 * * * [progress]: adding candidates to table 4.943 * [progress]: [Phase 3 of 3] Extracting. 4.943 * * [regime]: Finding splitpoints for: (# #) 4.943 * * * [regime-changes]: Trying 1 branch expressions: (x) 4.943 * * * * [regimes]: Trying to branch on x from (# #) 4.959 * * * [regime]: Found split indices: #