0.002 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.086 * * * [progress]: [2/2] Setting up program. 0.090 * [progress]: [Phase 2 of 3] Improving. 0.090 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.090 * [simplify]: Simplifying (/ (- (exp x) 1) x) 0.090 * * [simplify]: iters left: 5 (5 enodes) 0.094 * * [simplify]: iters left: 4 (24 enodes) 0.102 * * [simplify]: iters left: 3 (34 enodes) 0.112 * * [simplify]: iters left: 2 (38 enodes) 0.123 * * [simplify]: Extracting #0: cost 1 inf + 0 0.123 * * [simplify]: Extracting #1: cost 7 inf + 0 0.123 * * [simplify]: Extracting #2: cost 13 inf + 1 0.124 * * [simplify]: Extracting #3: cost 8 inf + 229 0.124 * * [simplify]: Extracting #4: cost 1 inf + 788 0.124 * * [simplify]: Extracting #5: cost 0 inf + 899 0.125 * [simplify]: Simplified to (/ (expm1 x) x) 0.125 * [simplify]: Simplified (2) to (λ (x) (/ (expm1 x) x)) 0.135 * * [progress]: iteration 1 / 4 0.135 * * * [progress]: picking best candidate 0.138 * * * * [pick]: Picked # 0.138 * * * [progress]: localizing error 0.149 * * * [progress]: generating rewritten candidates 0.149 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.158 * * * [progress]: generating series expansions 0.158 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.158 * [backup-simplify]: Simplify (/ (expm1 x) x) into (/ (expm1 x) x) 0.158 * [approximate]: Taking taylor expansion of (/ (expm1 x) x) in (x) around 0 0.158 * [taylor]: Taking taylor expansion of (/ (expm1 x) x) in x 0.158 * [taylor]: Taking taylor expansion of (expm1 x) in x 0.159 * [taylor]: Rewrote expression to (- (exp x) 1) 0.159 * [taylor]: Taking taylor expansion of (exp x) in x 0.159 * [taylor]: Taking taylor expansion of x in x 0.159 * [backup-simplify]: Simplify 0 into 0 0.159 * [backup-simplify]: Simplify 1 into 1 0.174 * [backup-simplify]: Simplify (exp 0) into 1 0.174 * [taylor]: Taking taylor expansion of 1 in x 0.174 * [backup-simplify]: Simplify 1 into 1 0.174 * [taylor]: Taking taylor expansion of x in x 0.174 * [backup-simplify]: Simplify 0 into 0 0.174 * [backup-simplify]: Simplify 1 into 1 0.175 * [backup-simplify]: Simplify (- 1) into -1 0.175 * [backup-simplify]: Simplify (+ 1 -1) into 0 0.178 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 0.179 * [backup-simplify]: Simplify (- 0) into 0 0.179 * [backup-simplify]: Simplify (+ 1 0) into 1 0.180 * [backup-simplify]: Simplify (/ 1 1) into 1 0.180 * [taylor]: Taking taylor expansion of (/ (expm1 x) x) in x 0.180 * [taylor]: Taking taylor expansion of (expm1 x) in x 0.180 * [taylor]: Rewrote expression to (- (exp x) 1) 0.180 * [taylor]: Taking taylor expansion of (exp x) in x 0.180 * [taylor]: Taking taylor expansion of x in x 0.180 * [backup-simplify]: Simplify 0 into 0 0.180 * [backup-simplify]: Simplify 1 into 1 0.180 * [backup-simplify]: Simplify (exp 0) into 1 0.180 * [taylor]: Taking taylor expansion of 1 in x 0.180 * [backup-simplify]: Simplify 1 into 1 0.180 * [taylor]: Taking taylor expansion of x in x 0.180 * [backup-simplify]: Simplify 0 into 0 0.180 * [backup-simplify]: Simplify 1 into 1 0.181 * [backup-simplify]: Simplify (- 1) into -1 0.181 * [backup-simplify]: Simplify (+ 1 -1) into 0 0.182 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 0.183 * [backup-simplify]: Simplify (- 0) into 0 0.183 * [backup-simplify]: Simplify (+ 1 0) into 1 0.183 * [backup-simplify]: Simplify (/ 1 1) into 1 0.183 * [backup-simplify]: Simplify 1 into 1 0.185 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 0.186 * [backup-simplify]: Simplify (- 0) into 0 0.186 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 0.187 * [backup-simplify]: Simplify (- (/ 1/2 1) (+ (* 1 (/ 0 1)))) into 1/2 0.187 * [backup-simplify]: Simplify 1/2 into 1/2 0.190 * [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.190 * [backup-simplify]: Simplify (- 0) into 0 0.191 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 0.192 * [backup-simplify]: Simplify (- (/ 1/6 1) (+ (* 1 (/ 0 1)) (* 1/2 (/ 0 1)))) into 1/6 0.192 * [backup-simplify]: Simplify 1/6 into 1/6 0.192 * [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.193 * [taylor]: Taking taylor expansion of (* (expm1 (/ 1 x)) x) in x 0.193 * [taylor]: Taking taylor expansion of (expm1 (/ 1 x)) in x 0.193 * [taylor]: Rewrote expression to (- (exp (/ 1 x)) 1) 0.193 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 0.193 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.193 * [taylor]: Taking taylor expansion of x in x 0.193 * [backup-simplify]: Simplify 0 into 0 0.193 * [backup-simplify]: Simplify 1 into 1 0.193 * [backup-simplify]: Simplify (/ 1 1) into 1 0.193 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 0.193 * [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.194 * [backup-simplify]: Simplify 1 into 1 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.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.195 * [backup-simplify]: Simplify (- 1) into -1 0.195 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1) 0.195 * [backup-simplify]: Simplify (* (- (exp (/ 1 x)) 1) 0) into 0 0.195 * [backup-simplify]: Simplify 0 into 0 0.196 * [backup-simplify]: Simplify (- 0) into 0 0.196 * [backup-simplify]: Simplify (+ 0 0) into 0 0.197 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 x)) 1) 1) (* 0 0)) into (- (exp (/ 1 x)) 1) 0.197 * [backup-simplify]: Simplify (- (exp (/ 1 x)) 1) into (- (exp (/ 1 x)) 1) 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) 0) (+ (* 0 1) (* 0 0))) into 0 0.198 * [backup-simplify]: Simplify 0 into 0 0.199 * [backup-simplify]: Simplify (- 0) into 0 0.199 * [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.202 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 0.202 * [backup-simplify]: Simplify 0 into 0 0.202 * [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 1) (* 0 0)))))) into 0 0.204 * [backup-simplify]: Simplify 0 into 0 0.204 * [backup-simplify]: Simplify (- 0) into 0 0.205 * [backup-simplify]: Simplify (+ 0 0) into 0 0.206 * [backup-simplify]: Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 0.206 * [backup-simplify]: Simplify 0 into 0 0.207 * [backup-simplify]: Simplify (- 0) into 0 0.207 * [backup-simplify]: Simplify (+ 0 0) into 0 0.209 * [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.209 * [backup-simplify]: Simplify 0 into 0 0.209 * [backup-simplify]: Simplify (* (- (exp (/ 1 (/ 1 x))) 1) (/ 1 x)) into (/ (- (exp x) 1) x) 0.209 * [backup-simplify]: Simplify (/ (expm1 (/ 1 (- x))) (/ 1 (- x))) into (* -1 (* x (expm1 (/ -1 x)))) 0.209 * [approximate]: Taking taylor expansion of (* -1 (* x (expm1 (/ -1 x)))) in (x) around 0 0.209 * [taylor]: Taking taylor expansion of (* -1 (* x (expm1 (/ -1 x)))) in x 0.209 * [taylor]: Taking taylor expansion of -1 in x 0.209 * [backup-simplify]: Simplify -1 into -1 0.209 * [taylor]: Taking taylor expansion of (* x (expm1 (/ -1 x))) in x 0.209 * [taylor]: Taking taylor expansion of x in x 0.209 * [backup-simplify]: Simplify 0 into 0 0.209 * [backup-simplify]: Simplify 1 into 1 0.209 * [taylor]: Taking taylor expansion of (expm1 (/ -1 x)) in x 0.209 * [taylor]: Rewrote expression to (- (exp (/ -1 x)) 1) 0.209 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.209 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.210 * [taylor]: Taking taylor expansion of -1 in x 0.210 * [backup-simplify]: Simplify -1 into -1 0.210 * [taylor]: Taking taylor expansion of x in x 0.210 * [backup-simplify]: Simplify 0 into 0 0.210 * [backup-simplify]: Simplify 1 into 1 0.210 * [backup-simplify]: Simplify (/ -1 1) into -1 0.210 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 0.210 * [taylor]: Taking taylor expansion of 1 in x 0.210 * [backup-simplify]: Simplify 1 into 1 0.210 * [taylor]: Taking taylor expansion of (* -1 (* x (expm1 (/ -1 x)))) in x 0.210 * [taylor]: Taking taylor expansion of -1 in x 0.210 * [backup-simplify]: Simplify -1 into -1 0.210 * [taylor]: Taking taylor expansion of (* x (expm1 (/ -1 x))) in x 0.210 * [taylor]: Taking taylor expansion of x in x 0.210 * [backup-simplify]: Simplify 0 into 0 0.210 * [backup-simplify]: Simplify 1 into 1 0.210 * [taylor]: Taking taylor expansion of (expm1 (/ -1 x)) in x 0.210 * [taylor]: Rewrote expression to (- (exp (/ -1 x)) 1) 0.210 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 0.210 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.211 * [taylor]: Taking taylor expansion of -1 in x 0.211 * [backup-simplify]: Simplify -1 into -1 0.211 * [taylor]: Taking taylor expansion of x in x 0.211 * [backup-simplify]: Simplify 0 into 0 0.211 * [backup-simplify]: Simplify 1 into 1 0.211 * [backup-simplify]: Simplify (/ -1 1) into -1 0.211 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 0.211 * [taylor]: Taking taylor expansion of 1 in x 0.211 * [backup-simplify]: Simplify 1 into 1 0.212 * [backup-simplify]: Simplify (- 1) into -1 0.212 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1) 0.212 * [backup-simplify]: Simplify (* 0 (- (exp (/ -1 x)) 1)) into 0 0.212 * [backup-simplify]: Simplify (* -1 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 (- (exp (/ -1 x)) 1))) into (- (exp (/ -1 x)) 1) 0.214 * [backup-simplify]: Simplify (+ (* -1 (- (exp (/ -1 x)) 1)) (* 0 0)) into (- 1 (exp (/ -1 x))) 0.214 * [backup-simplify]: Simplify (- 1 (exp (/ -1 x))) into (- 1 (exp (/ -1 x))) 0.215 * [backup-simplify]: Simplify (- 0) into 0 0.215 * [backup-simplify]: Simplify (+ 0 0) into 0 0.216 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- (exp (/ -1 x)) 1)))) into 0 0.217 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0))) into 0 0.217 * [backup-simplify]: Simplify 0 into 0 0.217 * [backup-simplify]: Simplify (- 0) into 0 0.218 * [backup-simplify]: Simplify (+ 0 0) into 0 0.219 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1))))) into 0 0.220 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0)))) into 0 0.220 * [backup-simplify]: Simplify 0 into 0 0.221 * [backup-simplify]: Simplify (- 0) into 0 0.221 * [backup-simplify]: Simplify (+ 0 0) into 0 0.223 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1)))))) into 0 0.224 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0))))) into 0 0.224 * [backup-simplify]: Simplify 0 into 0 0.225 * [backup-simplify]: Simplify (- 0) into 0 0.225 * [backup-simplify]: Simplify (+ 0 0) into 0 0.227 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1))))))) into 0 0.229 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0)))))) into 0 0.229 * [backup-simplify]: Simplify 0 into 0 0.230 * [backup-simplify]: Simplify (- 0) into 0 0.230 * [backup-simplify]: Simplify (+ 0 0) into 0 0.233 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (exp (/ -1 x)) 1)))))))) into 0 0.235 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (exp (/ -1 x)) 1)) (* 0 0))))))) into 0 0.235 * [backup-simplify]: Simplify 0 into 0 0.235 * [backup-simplify]: Simplify (- 0) into 0 0.236 * [backup-simplify]: Simplify (+ 0 0) into 0 0.239 * [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.241 * [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.241 * [backup-simplify]: Simplify 0 into 0 0.242 * [backup-simplify]: Simplify (* (- 1 (exp (/ -1 (/ 1 (- x))))) (/ 1 (- x))) into (* -1 (/ (- 1 (exp x)) x)) 0.242 * * * [progress]: simplifying candidates 0.242 * * * * [progress]: [ 1 / 34 ] simplifiying candidate # 0.242 * * * * [progress]: [ 2 / 34 ] simplifiying candidate # 0.242 * * * * [progress]: [ 3 / 34 ] simplifiying candidate # 0.242 * * * * [progress]: [ 4 / 34 ] simplifiying candidate # 0.242 * [simplify]: Simplifying (- (log (expm1 x)) (log x)) 0.242 * * [simplify]: iters left: 4 (5 enodes) 0.244 * * [simplify]: iters left: 3 (17 enodes) 0.249 * * [simplify]: iters left: 2 (20 enodes) 0.255 * * [simplify]: Extracting #0: cost 1 inf + 0 0.255 * * [simplify]: Extracting #1: cost 5 inf + 0 0.255 * * [simplify]: Extracting #2: cost 10 inf + 0 0.255 * * [simplify]: Extracting #3: cost 10 inf + 1 0.255 * * [simplify]: Extracting #4: cost 0 inf + 1291 0.255 * [simplify]: Simplified to (- (log (expm1 x)) (log x)) 0.255 * [simplify]: Simplified (2 1) to (λ (x) (exp (- (log (expm1 x)) (log x)))) 0.255 * * * * [progress]: [ 5 / 34 ] simplifiying candidate # 0.256 * * * * [progress]: [ 6 / 34 ] simplifiying candidate # 0.256 * * * * [progress]: [ 7 / 34 ] simplifiying candidate # 0.256 * [simplify]: Simplifying (/ (* (* (expm1 x) (expm1 x)) (expm1 x)) (* (* x x) x)) 0.256 * * [simplify]: iters left: 6 (7 enodes) 0.260 * * [simplify]: iters left: 5 (30 enodes) 0.271 * * [simplify]: iters left: 4 (70 enodes) 0.299 * * [simplify]: iters left: 3 (146 enodes) 0.371 * * [simplify]: iters left: 2 (250 enodes) 0.442 * * [simplify]: iters left: 1 (428 enodes) 0.621 * * [simplify]: Extracting #0: cost 1 inf + 0 0.621 * * [simplify]: Extracting #1: cost 81 inf + 0 0.622 * * [simplify]: Extracting #2: cost 197 inf + 184 0.624 * * [simplify]: Extracting #3: cost 154 inf + 13151 0.631 * * [simplify]: Extracting #4: cost 22 inf + 70479 0.639 * * [simplify]: Extracting #5: cost 0 inf + 77877 0.653 * * [simplify]: Extracting #6: cost 0 inf + 77637 0.669 * [simplify]: Simplified to (* (* (/ (expm1 x) x) (/ (expm1 x) x)) (/ (expm1 x) x)) 0.670 * [simplify]: Simplified (2 1) to (λ (x) (cbrt (* (* (/ (expm1 x) x) (/ (expm1 x) x)) (/ (expm1 x) x)))) 0.670 * * * * [progress]: [ 8 / 34 ] simplifiying candidate # 0.670 * * * * [progress]: [ 9 / 34 ] simplifiying candidate # 0.670 * * * * [progress]: [ 10 / 34 ] simplifiying candidate # 0.670 * * * * [progress]: [ 11 / 34 ] simplifiying candidate # 0.670 * * * * [progress]: [ 12 / 34 ] simplifiying candidate # 0.670 * [simplify]: Simplifying (/ (exp x) x) 0.670 * * [simplify]: iters left: 3 (3 enodes) 0.672 * * [simplify]: iters left: 2 (9 enodes) 0.674 * * [simplify]: Extracting #0: cost 1 inf + 0 0.674 * * [simplify]: Extracting #1: cost 4 inf + 0 0.674 * * [simplify]: Extracting #2: cost 4 inf + 1 0.674 * * [simplify]: Extracting #3: cost 0 inf + 365 0.674 * [simplify]: Simplified to (/ (exp x) x) 0.674 * [simplify]: Simplified (2 1) to (λ (x) (- (/ (exp x) x) (/ 1 x))) 0.675 * * * * [progress]: [ 13 / 34 ] simplifiying candidate # 0.675 * [simplify]: Simplifying (/ (* (cbrt (expm1 x)) (cbrt (expm1 x))) (* (cbrt x) (cbrt x))) 0.675 * * [simplify]: iters left: 6 (7 enodes) 0.678 * * [simplify]: iters left: 5 (27 enodes) 0.691 * * [simplify]: iters left: 4 (42 enodes) 0.704 * * [simplify]: iters left: 3 (49 enodes) 0.717 * * [simplify]: iters left: 2 (52 enodes) 0.731 * * [simplify]: Extracting #0: cost 1 inf + 0 0.731 * * [simplify]: Extracting #1: cost 11 inf + 0 0.731 * * [simplify]: Extracting #2: cost 22 inf + 0 0.731 * * [simplify]: Extracting #3: cost 21 inf + 72 0.732 * * [simplify]: Extracting #4: cost 10 inf + 2123 0.733 * * [simplify]: Extracting #5: cost 0 inf + 4803 0.734 * [simplify]: Simplified to (* (/ (cbrt (expm1 x)) (cbrt x)) (/ (cbrt (expm1 x)) (cbrt x))) 0.734 * [simplify]: Simplified (2 1) to (λ (x) (* (* (/ (cbrt (expm1 x)) (cbrt x)) (/ (cbrt (expm1 x)) (cbrt x))) (/ (cbrt (expm1 x)) (cbrt x)))) 0.735 * [simplify]: Simplifying (/ (cbrt (expm1 x)) (cbrt x)) 0.735 * * [simplify]: iters left: 4 (5 enodes) 0.737 * * [simplify]: iters left: 3 (15 enodes) 0.741 * * [simplify]: Extracting #0: cost 1 inf + 0 0.741 * * [simplify]: Extracting #1: cost 4 inf + 0 0.741 * * [simplify]: Extracting #2: cost 8 inf + 0 0.741 * * [simplify]: Extracting #3: cost 8 inf + 1 0.741 * * [simplify]: Extracting #4: cost 0 inf + 1149 0.741 * [simplify]: Simplified to (/ (cbrt (expm1 x)) (cbrt x)) 0.741 * [simplify]: Simplified (2 2) to (λ (x) (* (* (/ (cbrt (expm1 x)) (cbrt x)) (/ (cbrt (expm1 x)) (cbrt x))) (/ (cbrt (expm1 x)) (cbrt x)))) 0.742 * * * * [progress]: [ 14 / 34 ] simplifiying candidate # 0.742 * [simplify]: Simplifying (/ (* (cbrt (expm1 x)) (cbrt (expm1 x))) (sqrt x)) 0.742 * * [simplify]: iters left: 6 (6 enodes) 0.745 * * [simplify]: iters left: 5 (20 enodes) 0.750 * * [simplify]: iters left: 4 (24 enodes) 0.757 * * [simplify]: iters left: 3 (27 enodes) 0.764 * * [simplify]: Extracting #0: cost 1 inf + 0 0.765 * * [simplify]: Extracting #1: cost 7 inf + 0 0.765 * * [simplify]: Extracting #2: cost 14 inf + 0 0.765 * * [simplify]: Extracting #3: cost 14 inf + 1 0.765 * * [simplify]: Extracting #4: cost 11 inf + 154 0.765 * * [simplify]: Extracting #5: cost 2 inf + 1913 0.766 * * [simplify]: Extracting #6: cost 0 inf + 2375 0.766 * [simplify]: Simplified to (* (cbrt (expm1 x)) (/ (cbrt (expm1 x)) (sqrt x))) 0.766 * [simplify]: Simplified (2 1) to (λ (x) (* (* (cbrt (expm1 x)) (/ (cbrt (expm1 x)) (sqrt x))) (/ (cbrt (expm1 x)) (sqrt x)))) 0.767 * [simplify]: Simplifying (/ (cbrt (expm1 x)) (sqrt x)) 0.767 * * [simplify]: iters left: 4 (5 enodes) 0.769 * * [simplify]: iters left: 3 (15 enodes) 0.773 * * [simplify]: Extracting #0: cost 1 inf + 0 0.774 * * [simplify]: Extracting #1: cost 4 inf + 0 0.774 * * [simplify]: Extracting #2: cost 8 inf + 0 0.774 * * [simplify]: Extracting #3: cost 8 inf + 1 0.774 * * [simplify]: Extracting #4: cost 0 inf + 989 0.774 * [simplify]: Simplified to (/ (cbrt (expm1 x)) (sqrt x)) 0.774 * [simplify]: Simplified (2 2) to (λ (x) (* (* (cbrt (expm1 x)) (/ (cbrt (expm1 x)) (sqrt x))) (/ (cbrt (expm1 x)) (sqrt x)))) 0.774 * * * * [progress]: [ 15 / 34 ] simplifiying candidate # 0.775 * [simplify]: Simplifying (/ (* (cbrt (expm1 x)) (cbrt (expm1 x))) 1) 0.775 * * [simplify]: iters left: 6 (6 enodes) 0.778 * * [simplify]: iters left: 5 (20 enodes) 0.785 * * [simplify]: iters left: 4 (30 enodes) 0.794 * * [simplify]: iters left: 3 (31 enodes) 0.803 * * [simplify]: Extracting #0: cost 1 inf + 0 0.803 * * [simplify]: Extracting #1: cost 5 inf + 0 0.803 * * [simplify]: Extracting #2: cost 7 inf + 1 0.803 * * [simplify]: Extracting #3: cost 9 inf + 1 0.803 * * [simplify]: Extracting #4: cost 8 inf + 2 0.803 * * [simplify]: Extracting #5: cost 0 inf + 1212 0.804 * [simplify]: Simplified to (* (cbrt (expm1 x)) (cbrt (expm1 x))) 0.804 * [simplify]: Simplified (2 1) to (λ (x) (* (* (cbrt (expm1 x)) (cbrt (expm1 x))) (/ (cbrt (expm1 x)) x))) 0.804 * [simplify]: Simplifying (/ (cbrt (expm1 x)) x) 0.804 * * [simplify]: iters left: 4 (4 enodes) 0.806 * * [simplify]: iters left: 3 (12 enodes) 0.809 * * [simplify]: Extracting #0: cost 1 inf + 0 0.810 * * [simplify]: Extracting #1: cost 4 inf + 0 0.810 * * [simplify]: Extracting #2: cost 5 inf + 1 0.810 * * [simplify]: Extracting #3: cost 5 inf + 72 0.810 * * [simplify]: Extracting #4: cost 0 inf + 827 0.810 * [simplify]: Simplified to (/ (cbrt (expm1 x)) x) 0.810 * [simplify]: Simplified (2 2) to (λ (x) (* (* (cbrt (expm1 x)) (cbrt (expm1 x))) (/ (cbrt (expm1 x)) x))) 0.810 * * * * [progress]: [ 16 / 34 ] simplifiying candidate # 0.811 * [simplify]: Simplifying (/ (sqrt (expm1 x)) (* (cbrt x) (cbrt x))) 0.811 * * [simplify]: iters left: 5 (6 enodes) 0.813 * * [simplify]: iters left: 4 (20 enodes) 0.819 * * [simplify]: iters left: 3 (22 enodes) 0.825 * * [simplify]: Extracting #0: cost 1 inf + 0 0.825 * * [simplify]: Extracting #1: cost 6 inf + 0 0.825 * * [simplify]: Extracting #2: cost 12 inf + 0 0.825 * * [simplify]: Extracting #3: cost 12 inf + 1 0.825 * * [simplify]: Extracting #4: cost 10 inf + 153 0.826 * * [simplify]: Extracting #5: cost 1 inf + 1502 0.826 * * [simplify]: Extracting #6: cost 0 inf + 1773 0.826 * [simplify]: Simplified to (/ (/ (sqrt (expm1 x)) (cbrt x)) (cbrt x)) 0.827 * [simplify]: Simplified (2 1) to (λ (x) (* (/ (/ (sqrt (expm1 x)) (cbrt x)) (cbrt x)) (/ (sqrt (expm1 x)) (cbrt x)))) 0.827 * [simplify]: Simplifying (/ (sqrt (expm1 x)) (cbrt x)) 0.827 * * [simplify]: iters left: 4 (5 enodes) 0.829 * * [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.834 * * [simplify]: Extracting #4: cost 0 inf + 989 0.834 * [simplify]: Simplified to (/ (sqrt (expm1 x)) (cbrt x)) 0.834 * [simplify]: Simplified (2 2) to (λ (x) (* (/ (/ (sqrt (expm1 x)) (cbrt x)) (cbrt x)) (/ (sqrt (expm1 x)) (cbrt x)))) 0.834 * * * * [progress]: [ 17 / 34 ] simplifiying candidate # 0.834 * [simplify]: Simplifying (/ (sqrt (expm1 x)) (sqrt x)) 0.834 * * [simplify]: iters left: 4 (5 enodes) 0.836 * * [simplify]: iters left: 3 (15 enodes) 0.842 * * [simplify]: Extracting #0: cost 1 inf + 0 0.843 * * [simplify]: Extracting #1: cost 4 inf + 0 0.843 * * [simplify]: Extracting #2: cost 8 inf + 0 0.843 * * [simplify]: Extracting #3: cost 8 inf + 1 0.843 * * [simplify]: Extracting #4: cost 0 inf + 829 0.843 * [simplify]: Simplified to (/ (sqrt (expm1 x)) (sqrt x)) 0.843 * [simplify]: Simplified (2 1) to (λ (x) (* (/ (sqrt (expm1 x)) (sqrt x)) (/ (sqrt (expm1 x)) (sqrt x)))) 0.844 * [simplify]: Simplifying (/ (sqrt (expm1 x)) (sqrt x)) 0.844 * * [simplify]: iters left: 4 (5 enodes) 0.846 * * [simplify]: iters left: 3 (15 enodes) 0.850 * * [simplify]: Extracting #0: cost 1 inf + 0 0.850 * * [simplify]: Extracting #1: cost 4 inf + 0 0.850 * * [simplify]: Extracting #2: cost 8 inf + 0 0.850 * * [simplify]: Extracting #3: cost 8 inf + 1 0.850 * * [simplify]: Extracting #4: cost 0 inf + 829 0.850 * [simplify]: Simplified to (/ (sqrt (expm1 x)) (sqrt x)) 0.850 * [simplify]: Simplified (2 2) to (λ (x) (* (/ (sqrt (expm1 x)) (sqrt x)) (/ (sqrt (expm1 x)) (sqrt x)))) 0.850 * * * * [progress]: [ 18 / 34 ] simplifiying candidate # 0.851 * [simplify]: Simplifying (/ (sqrt (expm1 x)) 1) 0.851 * * [simplify]: iters left: 4 (5 enodes) 0.854 * * [simplify]: iters left: 3 (15 enodes) 0.859 * * [simplify]: iters left: 2 (17 enodes) 0.863 * * [simplify]: Extracting #0: cost 1 inf + 0 0.863 * * [simplify]: Extracting #1: cost 4 inf + 0 0.863 * * [simplify]: Extracting #2: cost 5 inf + 1 0.864 * * [simplify]: Extracting #3: cost 4 inf + 2 0.864 * * [simplify]: Extracting #4: cost 1 inf + 255 0.864 * * [simplify]: Extracting #5: cost 0 inf + 366 0.864 * [simplify]: Simplified to (sqrt (expm1 x)) 0.864 * [simplify]: Simplified (2 1) to (λ (x) (* (sqrt (expm1 x)) (/ (sqrt (expm1 x)) x))) 0.864 * [simplify]: Simplifying (/ (sqrt (expm1 x)) x) 0.864 * * [simplify]: iters left: 4 (4 enodes) 0.865 * * [simplify]: iters left: 3 (12 enodes) 0.867 * * [simplify]: Extracting #0: cost 1 inf + 0 0.867 * * [simplify]: Extracting #1: cost 4 inf + 0 0.867 * * [simplify]: Extracting #2: cost 5 inf + 1 0.867 * * [simplify]: Extracting #3: cost 5 inf + 72 0.867 * * [simplify]: Extracting #4: cost 0 inf + 667 0.867 * [simplify]: Simplified to (/ (sqrt (expm1 x)) x) 0.867 * [simplify]: Simplified (2 2) to (λ (x) (* (sqrt (expm1 x)) (/ (sqrt (expm1 x)) x))) 0.867 * * * * [progress]: [ 19 / 34 ] simplifiying candidate # 0.867 * [simplify]: Simplifying (/ 1 (* (cbrt x) (cbrt x))) 0.867 * * [simplify]: iters left: 5 (5 enodes) 0.869 * * [simplify]: iters left: 4 (19 enodes) 0.872 * * [simplify]: iters left: 3 (23 enodes) 0.875 * * [simplify]: Extracting #0: cost 1 inf + 0 0.875 * * [simplify]: Extracting #1: cost 6 inf + 0 0.875 * * [simplify]: Extracting #2: cost 9 inf + 1 0.875 * * [simplify]: Extracting #3: cost 1 inf + 852 0.876 * * [simplify]: Extracting #4: cost 0 inf + 974 0.876 * [simplify]: Simplified to (/ 1 (* (cbrt x) (cbrt x))) 0.876 * [simplify]: Simplified (2 1) to (λ (x) (* (/ 1 (* (cbrt x) (cbrt x))) (/ (expm1 x) (cbrt x)))) 0.876 * [simplify]: Simplifying (/ (expm1 x) (cbrt x)) 0.876 * * [simplify]: iters left: 3 (4 enodes) 0.877 * * [simplify]: iters left: 2 (12 enodes) 0.878 * * [simplify]: Extracting #0: cost 1 inf + 0 0.878 * * [simplify]: Extracting #1: cost 4 inf + 0 0.878 * * [simplify]: Extracting #2: cost 7 inf + 0 0.878 * * [simplify]: Extracting #3: cost 6 inf + 1 0.879 * * [simplify]: Extracting #4: cost 0 inf + 687 0.879 * [simplify]: Simplified to (/ (expm1 x) (cbrt x)) 0.879 * [simplify]: Simplified (2 2) to (λ (x) (* (/ 1 (* (cbrt x) (cbrt x))) (/ (expm1 x) (cbrt x)))) 0.879 * * * * [progress]: [ 20 / 34 ] simplifiying candidate # 0.879 * [simplify]: Simplifying (/ 1 (sqrt x)) 0.879 * * [simplify]: iters left: 3 (4 enodes) 0.880 * * [simplify]: iters left: 2 (14 enodes) 0.882 * * [simplify]: iters left: 1 (16 enodes) 0.885 * * [simplify]: Extracting #0: cost 1 inf + 0 0.885 * * [simplify]: Extracting #1: cost 4 inf + 0 0.885 * * [simplify]: Extracting #2: cost 5 inf + 1 0.885 * * [simplify]: Extracting #3: cost 3 inf + 43 0.885 * * [simplify]: Extracting #4: cost 1 inf + 166 0.885 * * [simplify]: Extracting #5: cost 0 inf + 248 0.886 * [simplify]: Simplified to (/ 1 (sqrt x)) 0.886 * [simplify]: Simplified (2 1) to (λ (x) (* (/ 1 (sqrt x)) (/ (expm1 x) (sqrt x)))) 0.886 * [simplify]: Simplifying (/ (expm1 x) (sqrt x)) 0.886 * * [simplify]: iters left: 3 (4 enodes) 0.887 * * [simplify]: iters left: 2 (12 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 7 inf + 0 0.888 * * [simplify]: Extracting #3: cost 6 inf + 1 0.888 * * [simplify]: Extracting #4: cost 0 inf + 527 0.888 * [simplify]: Simplified to (/ (expm1 x) (sqrt x)) 0.889 * [simplify]: Simplified (2 2) to (λ (x) (* (/ 1 (sqrt x)) (/ (expm1 x) (sqrt x)))) 0.889 * * * * [progress]: [ 21 / 34 ] simplifiying candidate # 0.889 * [simplify]: Simplifying (/ 1 1) 0.889 * * [simplify]: iters left: 2 (2 enodes) 0.890 * * [simplify]: iters left: 1 (6 enodes) 0.891 * * [simplify]: Extracting #0: cost 1 inf + 0 0.891 * * [simplify]: Extracting #1: cost 0 inf + 1 0.891 * [simplify]: Simplified to 1 0.891 * [simplify]: Simplified (2 1) to (λ (x) (* 1 (/ (expm1 x) x))) 0.891 * [simplify]: Simplifying (/ (expm1 x) x) 0.891 * * [simplify]: iters left: 3 (3 enodes) 0.893 * * [simplify]: iters left: 2 (9 enodes) 0.895 * * [simplify]: Extracting #0: cost 1 inf + 0 0.895 * * [simplify]: Extracting #1: cost 4 inf + 0 0.895 * * [simplify]: Extracting #2: cost 4 inf + 1 0.895 * * [simplify]: Extracting #3: cost 0 inf + 365 0.895 * [simplify]: Simplified to (/ (expm1 x) x) 0.895 * [simplify]: Simplified (2 2) to (λ (x) (* 1 (/ (expm1 x) x))) 0.895 * * * * [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.896 * [simplify]: Simplifying (cbrt x) 0.896 * * [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.899 * * * * [progress]: [ 28 / 34 ] simplifiying candidate # 0.899 * [simplify]: Simplifying (* (cbrt (expm1 x)) (cbrt (expm1 x))) 0.899 * * [simplify]: iters left: 4 (4 enodes) 0.901 * * [simplify]: iters left: 3 (12 enodes) 0.904 * * [simplify]: Extracting #0: cost 1 inf + 0 0.904 * * [simplify]: Extracting #1: cost 3 inf + 0 0.904 * * [simplify]: Extracting #2: cost 5 inf + 0 0.904 * * [simplify]: Extracting #3: cost 7 inf + 0 0.904 * * [simplify]: Extracting #4: cost 6 inf + 1 0.905 * * [simplify]: Extracting #5: cost 0 inf + 827 0.905 * [simplify]: Simplified to (* (cbrt (expm1 x)) (cbrt (expm1 x))) 0.905 * [simplify]: Simplified (2 1) to (λ (x) (/ (* (cbrt (expm1 x)) (cbrt (expm1 x))) (/ x (cbrt (expm1 x))))) 0.905 * * * * [progress]: [ 29 / 34 ] simplifiying candidate # 0.905 * [simplify]: Simplifying (sqrt (expm1 x)) 0.905 * * [simplify]: iters left: 2 (3 enodes) 0.907 * * [simplify]: iters left: 1 (9 enodes) 0.909 * * [simplify]: Extracting #0: cost 1 inf + 0 0.909 * * [simplify]: Extracting #1: cost 3 inf + 0 0.909 * * [simplify]: Extracting #2: cost 5 inf + 0 0.909 * * [simplify]: Extracting #3: cost 4 inf + 1 0.909 * * [simplify]: Extracting #4: cost 0 inf + 365 0.909 * [simplify]: Simplified to (sqrt (expm1 x)) 0.909 * [simplify]: Simplified (2 1) to (λ (x) (/ (sqrt (expm1 x)) (/ x (sqrt (expm1 x))))) 0.909 * * * * [progress]: [ 30 / 34 ] simplifiying candidate # 0.910 * * * * [progress]: [ 31 / 34 ] simplifiying candidate #real (real->posit16 (/ (expm1 x) x))))> 0.910 * * * * [progress]: [ 32 / 34 ] simplifiying candidate # 0.910 * [simplify]: Simplifying (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)) 0.910 * * [simplify]: iters left: 6 (10 enodes) 0.917 * * [simplify]: iters left: 5 (44 enodes) 0.926 * * [simplify]: iters left: 4 (62 enodes) 0.936 * * [simplify]: iters left: 3 (90 enodes) 0.950 * * [simplify]: iters left: 2 (112 enodes) 0.980 * * [simplify]: iters left: 1 (124 enodes) 1.003 * * [simplify]: Extracting #0: cost 1 inf + 0 1.003 * * [simplify]: Extracting #1: cost 14 inf + 0 1.004 * * [simplify]: Extracting #2: cost 17 inf + 87 1.004 * * [simplify]: Extracting #3: cost 4 inf + 943 1.005 * * [simplify]: Extracting #4: cost 0 inf + 1271 1.007 * [simplify]: Simplified to (fma x (fma x 1/6 1/2) 1) 1.007 * [simplify]: Simplified (2) to (λ (x) (fma x (fma x 1/6 1/2) 1)) 1.007 * * * * [progress]: [ 33 / 34 ] simplifiying candidate # 1.007 * [simplify]: Simplifying (/ (- (exp x) 1) x) 1.007 * * [simplify]: iters left: 5 (5 enodes) 1.010 * * [simplify]: iters left: 4 (24 enodes) 1.018 * * [simplify]: iters left: 3 (34 enodes) 1.028 * * [simplify]: iters left: 2 (38 enodes) 1.039 * * [simplify]: Extracting #0: cost 1 inf + 0 1.040 * * [simplify]: Extracting #1: cost 7 inf + 0 1.040 * * [simplify]: Extracting #2: cost 13 inf + 1 1.040 * * [simplify]: Extracting #3: cost 8 inf + 229 1.040 * * [simplify]: Extracting #4: cost 1 inf + 788 1.041 * * [simplify]: Extracting #5: cost 0 inf + 899 1.041 * [simplify]: Simplified to (/ (expm1 x) x) 1.041 * [simplify]: Simplified (2) to (λ (x) (/ (expm1 x) x)) 1.041 * * * * [progress]: [ 34 / 34 ] simplifiying candidate # 1.041 * [simplify]: Simplifying (* -1 (/ (- 1 (exp x)) x)) 1.041 * * [simplify]: iters left: 6 (7 enodes) 1.046 * * [simplify]: iters left: 5 (32 enodes) 1.058 * * [simplify]: iters left: 4 (56 enodes) 1.076 * * [simplify]: iters left: 3 (87 enodes) 1.106 * * [simplify]: iters left: 2 (129 enodes) 1.127 * * [simplify]: iters left: 1 (176 enodes) 1.158 * * [simplify]: Extracting #0: cost 1 inf + 0 1.158 * * [simplify]: Extracting #1: cost 22 inf + 0 1.158 * * [simplify]: Extracting #2: cost 57 inf + 3 1.158 * * [simplify]: Extracting #3: cost 49 inf + 561 1.160 * * [simplify]: Extracting #4: cost 6 inf + 6668 1.161 * * [simplify]: Extracting #5: cost 1 inf + 7467 1.163 * * [simplify]: Extracting #6: cost 0 inf + 7619 1.166 * [simplify]: Simplified to (/ (+ (exp x) -1) x) 1.167 * [simplify]: Simplified (2) to (λ (x) (/ (+ (exp x) -1) x)) 1.167 * * * [progress]: adding candidates to table 1.432 * * [progress]: iteration 2 / 4 1.432 * * * [progress]: picking best candidate 1.436 * * * * [pick]: Picked # 1.436 * * * [progress]: localizing error 1.454 * * * [progress]: generating rewritten candidates 1.454 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 1.454 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 1.460 * * * [progress]: generating series expansions 1.460 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 1.460 * [backup-simplify]: Simplify (fma x 1/6 1/2) into (fma x 1/6 1/2) 1.460 * [approximate]: Taking taylor expansion of (fma x 1/6 1/2) in (x) around 0 1.460 * [taylor]: Taking taylor expansion of (fma x 1/6 1/2) in x 1.460 * [taylor]: Rewrote expression to (+ (* x 1/6) 1/2) 1.460 * [taylor]: Taking taylor expansion of (* x 1/6) in x 1.460 * [taylor]: Taking taylor expansion of x in x 1.460 * [backup-simplify]: Simplify 0 into 0 1.460 * [backup-simplify]: Simplify 1 into 1 1.460 * [taylor]: Taking taylor expansion of 1/6 in x 1.460 * [backup-simplify]: Simplify 1/6 into 1/6 1.460 * [taylor]: Taking taylor expansion of 1/2 in x 1.460 * [backup-simplify]: Simplify 1/2 into 1/2 1.460 * [taylor]: Taking taylor expansion of (fma x 1/6 1/2) in x 1.460 * [taylor]: Rewrote expression to (+ (* x 1/6) 1/2) 1.461 * [taylor]: Taking taylor expansion of (* x 1/6) in x 1.461 * [taylor]: Taking taylor expansion of x in x 1.461 * [backup-simplify]: Simplify 0 into 0 1.461 * [backup-simplify]: Simplify 1 into 1 1.461 * [taylor]: Taking taylor expansion of 1/6 in x 1.461 * [backup-simplify]: Simplify 1/6 into 1/6 1.461 * [taylor]: Taking taylor expansion of 1/2 in x 1.461 * [backup-simplify]: Simplify 1/2 into 1/2 1.462 * [backup-simplify]: Simplify (* 0 1/6) into 0 1.462 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2 1.462 * [backup-simplify]: Simplify 1/2 into 1/2 1.463 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 1/6)) into 1/6 1.463 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 1.463 * [backup-simplify]: Simplify 1/6 into 1/6 1.465 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 1/6))) into 0 1.465 * [backup-simplify]: Simplify (+ 0 0) into 0 1.465 * [backup-simplify]: Simplify 0 into 0 1.466 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 1/6)))) into 0 1.467 * [backup-simplify]: Simplify (+ 0 0) into 0 1.467 * [backup-simplify]: Simplify 0 into 0 1.468 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/6))))) into 0 1.468 * [backup-simplify]: Simplify (+ 0 0) into 0 1.468 * [backup-simplify]: Simplify 0 into 0 1.469 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/6)))))) into 0 1.469 * [backup-simplify]: Simplify (+ 0 0) into 0 1.469 * [backup-simplify]: Simplify 0 into 0 1.470 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/6))))))) into 0 1.470 * [backup-simplify]: Simplify (+ 0 0) into 0 1.470 * [backup-simplify]: Simplify 0 into 0 1.471 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/6)))))))) into 0 1.471 * [backup-simplify]: Simplify (+ 0 0) into 0 1.472 * [backup-simplify]: Simplify 0 into 0 1.472 * [backup-simplify]: Simplify (+ (* 1/6 x) 1/2) into (+ (* 1/6 x) 1/2) 1.472 * [backup-simplify]: Simplify (fma (/ 1 x) 1/6 1/2) into (fma (/ 1 x) 1/6 1/2) 1.472 * [approximate]: Taking taylor expansion of (fma (/ 1 x) 1/6 1/2) in (x) around 0 1.472 * [taylor]: Taking taylor expansion of (fma (/ 1 x) 1/6 1/2) in x 1.472 * [taylor]: Rewrote expression to (+ (* (/ 1 x) 1/6) 1/2) 1.472 * [taylor]: Taking taylor expansion of (* (/ 1 x) 1/6) in x 1.472 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.472 * [taylor]: Taking taylor expansion of x in x 1.472 * [backup-simplify]: Simplify 0 into 0 1.472 * [backup-simplify]: Simplify 1 into 1 1.472 * [backup-simplify]: Simplify (/ 1 1) into 1 1.472 * [taylor]: Taking taylor expansion of 1/6 in x 1.472 * [backup-simplify]: Simplify 1/6 into 1/6 1.472 * [taylor]: Taking taylor expansion of 1/2 in x 1.472 * [backup-simplify]: Simplify 1/2 into 1/2 1.472 * [taylor]: Taking taylor expansion of (fma (/ 1 x) 1/6 1/2) in x 1.472 * [taylor]: Rewrote expression to (+ (* (/ 1 x) 1/6) 1/2) 1.472 * [taylor]: Taking taylor expansion of (* (/ 1 x) 1/6) in x 1.472 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.472 * [taylor]: Taking taylor expansion of x in x 1.472 * [backup-simplify]: Simplify 0 into 0 1.472 * [backup-simplify]: Simplify 1 into 1 1.473 * [backup-simplify]: Simplify (/ 1 1) into 1 1.473 * [taylor]: Taking taylor expansion of 1/6 in x 1.473 * [backup-simplify]: Simplify 1/6 into 1/6 1.473 * [taylor]: Taking taylor expansion of 1/2 in x 1.473 * [backup-simplify]: Simplify 1/2 into 1/2 1.473 * [backup-simplify]: Simplify (* 1 1/6) into 1/6 1.473 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 1.473 * [backup-simplify]: Simplify 1/6 into 1/6 1.474 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.474 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1/6)) into 0 1.474 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2 1.474 * [backup-simplify]: Simplify 1/2 into 1/2 1.475 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.476 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1/6))) into 0 1.476 * [backup-simplify]: Simplify (+ 0 0) into 0 1.476 * [backup-simplify]: Simplify 0 into 0 1.476 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.477 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/6)))) into 0 1.477 * [backup-simplify]: Simplify (+ 0 0) into 0 1.477 * [backup-simplify]: Simplify 0 into 0 1.478 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.479 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/6))))) into 0 1.479 * [backup-simplify]: Simplify (+ 0 0) into 0 1.479 * [backup-simplify]: Simplify 0 into 0 1.480 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.480 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/6)))))) into 0 1.481 * [backup-simplify]: Simplify (+ 0 0) into 0 1.481 * [backup-simplify]: Simplify 0 into 0 1.481 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.482 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/6))))))) into 0 1.483 * [backup-simplify]: Simplify (+ 0 0) into 0 1.483 * [backup-simplify]: Simplify 0 into 0 1.483 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.484 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/6)))))))) into 0 1.485 * [backup-simplify]: Simplify (+ 0 0) into 0 1.485 * [backup-simplify]: Simplify 0 into 0 1.485 * [backup-simplify]: Simplify (+ 1/2 (* 1/6 (/ 1 (/ 1 x)))) into (+ (* 1/6 x) 1/2) 1.485 * [backup-simplify]: Simplify (fma (/ 1 (- x)) 1/6 1/2) into (fma (/ -1 x) 1/6 1/2) 1.485 * [approximate]: Taking taylor expansion of (fma (/ -1 x) 1/6 1/2) in (x) around 0 1.485 * [taylor]: Taking taylor expansion of (fma (/ -1 x) 1/6 1/2) in x 1.485 * [taylor]: Rewrote expression to (+ (* (/ -1 x) 1/6) 1/2) 1.485 * [taylor]: Taking taylor expansion of (* (/ -1 x) 1/6) in x 1.485 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.485 * [taylor]: Taking taylor expansion of -1 in x 1.485 * [backup-simplify]: Simplify -1 into -1 1.485 * [taylor]: Taking taylor expansion of x in x 1.485 * [backup-simplify]: Simplify 0 into 0 1.485 * [backup-simplify]: Simplify 1 into 1 1.486 * [backup-simplify]: Simplify (/ -1 1) into -1 1.486 * [taylor]: Taking taylor expansion of 1/6 in x 1.486 * [backup-simplify]: Simplify 1/6 into 1/6 1.486 * [taylor]: Taking taylor expansion of 1/2 in x 1.486 * [backup-simplify]: Simplify 1/2 into 1/2 1.486 * [taylor]: Taking taylor expansion of (fma (/ -1 x) 1/6 1/2) in x 1.486 * [taylor]: Rewrote expression to (+ (* (/ -1 x) 1/6) 1/2) 1.486 * [taylor]: Taking taylor expansion of (* (/ -1 x) 1/6) in x 1.486 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.486 * [taylor]: Taking taylor expansion of -1 in x 1.486 * [backup-simplify]: Simplify -1 into -1 1.486 * [taylor]: Taking taylor expansion of x in x 1.486 * [backup-simplify]: Simplify 0 into 0 1.486 * [backup-simplify]: Simplify 1 into 1 1.486 * [backup-simplify]: Simplify (/ -1 1) into -1 1.486 * [taylor]: Taking taylor expansion of 1/6 in x 1.486 * [backup-simplify]: Simplify 1/6 into 1/6 1.486 * [taylor]: Taking taylor expansion of 1/2 in x 1.486 * [backup-simplify]: Simplify 1/2 into 1/2 1.487 * [backup-simplify]: Simplify (* -1 1/6) into -1/6 1.487 * [backup-simplify]: Simplify (+ -1/6 0) into -1/6 1.487 * [backup-simplify]: Simplify -1/6 into -1/6 1.488 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1.489 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 1/6)) into 0 1.489 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2 1.489 * [backup-simplify]: Simplify 1/2 into 1/2 1.490 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.491 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 1/6))) into 0 1.491 * [backup-simplify]: Simplify (+ 0 0) into 0 1.492 * [backup-simplify]: Simplify 0 into 0 1.493 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.494 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/6)))) into 0 1.494 * [backup-simplify]: Simplify (+ 0 0) into 0 1.494 * [backup-simplify]: Simplify 0 into 0 1.495 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.497 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/6))))) into 0 1.497 * [backup-simplify]: Simplify (+ 0 0) into 0 1.497 * [backup-simplify]: Simplify 0 into 0 1.498 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.499 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/6)))))) into 0 1.500 * [backup-simplify]: Simplify (+ 0 0) into 0 1.500 * [backup-simplify]: Simplify 0 into 0 1.501 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.503 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/6))))))) into 0 1.503 * [backup-simplify]: Simplify (+ 0 0) into 0 1.503 * [backup-simplify]: Simplify 0 into 0 1.504 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.507 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/6)))))))) into 0 1.507 * [backup-simplify]: Simplify (+ 0 0) into 0 1.507 * [backup-simplify]: Simplify 0 into 0 1.507 * [backup-simplify]: Simplify (+ 1/2 (* -1/6 (/ 1 (/ 1 (- x))))) into (+ (* 1/6 x) 1/2) 1.507 * * * * [progress]: [ 2 / 2 ] generating series at (2) 1.507 * [backup-simplify]: Simplify (fma x (fma x 1/6 1/2) 1) into (fma x (fma x 1/6 1/2) 1) 1.507 * [approximate]: Taking taylor expansion of (fma x (fma x 1/6 1/2) 1) in (x) around 0 1.507 * [taylor]: Taking taylor expansion of (fma x (fma x 1/6 1/2) 1) in x 1.507 * [taylor]: Rewrote expression to (+ (* x (fma x 1/6 1/2)) 1) 1.508 * [taylor]: Taking taylor expansion of (* x (fma x 1/6 1/2)) in x 1.508 * [taylor]: Taking taylor expansion of x in x 1.508 * [backup-simplify]: Simplify 0 into 0 1.508 * [backup-simplify]: Simplify 1 into 1 1.508 * [taylor]: Taking taylor expansion of (fma x 1/6 1/2) in x 1.508 * [taylor]: Rewrote expression to (+ (* x 1/6) 1/2) 1.508 * [taylor]: Taking taylor expansion of (* x 1/6) in x 1.508 * [taylor]: Taking taylor expansion of x in x 1.508 * [backup-simplify]: Simplify 0 into 0 1.508 * [backup-simplify]: Simplify 1 into 1 1.508 * [taylor]: Taking taylor expansion of 1/6 in x 1.508 * [backup-simplify]: Simplify 1/6 into 1/6 1.508 * [taylor]: Taking taylor expansion of 1/2 in x 1.508 * [backup-simplify]: Simplify 1/2 into 1/2 1.508 * [taylor]: Taking taylor expansion of 1 in x 1.508 * [backup-simplify]: Simplify 1 into 1 1.508 * [taylor]: Taking taylor expansion of (fma x (fma x 1/6 1/2) 1) in x 1.508 * [taylor]: Rewrote expression to (+ (* x (fma x 1/6 1/2)) 1) 1.508 * [taylor]: Taking taylor expansion of (* x (fma x 1/6 1/2)) in x 1.508 * [taylor]: Taking taylor expansion of x in x 1.508 * [backup-simplify]: Simplify 0 into 0 1.508 * [backup-simplify]: Simplify 1 into 1 1.508 * [taylor]: Taking taylor expansion of (fma x 1/6 1/2) in x 1.508 * [taylor]: Rewrote expression to (+ (* x 1/6) 1/2) 1.508 * [taylor]: Taking taylor expansion of (* x 1/6) in x 1.508 * [taylor]: Taking taylor expansion of x in x 1.508 * [backup-simplify]: Simplify 0 into 0 1.508 * [backup-simplify]: Simplify 1 into 1 1.508 * [taylor]: Taking taylor expansion of 1/6 in x 1.508 * [backup-simplify]: Simplify 1/6 into 1/6 1.508 * [taylor]: Taking taylor expansion of 1/2 in x 1.508 * [backup-simplify]: Simplify 1/2 into 1/2 1.508 * [taylor]: Taking taylor expansion of 1 in x 1.508 * [backup-simplify]: Simplify 1 into 1 1.509 * [backup-simplify]: Simplify (* 0 1/6) into 0 1.509 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2 1.510 * [backup-simplify]: Simplify (* 0 1/2) into 0 1.510 * [backup-simplify]: Simplify (+ 0 1) into 1 1.510 * [backup-simplify]: Simplify 1 into 1 1.511 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 1/6)) into 1/6 1.512 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 1.513 * [backup-simplify]: Simplify (+ (* 0 1/6) (* 1 1/2)) into 1/2 1.513 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 1.513 * [backup-simplify]: Simplify 1/2 into 1/2 1.515 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 1/6))) into 0 1.515 * [backup-simplify]: Simplify (+ 0 0) into 0 1.516 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1/6) (* 0 1/2))) into 1/6 1.517 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 1.517 * [backup-simplify]: Simplify 1/6 into 1/6 1.517 * [backup-simplify]: Simplify (+ (* 1/6 (pow x 2)) (+ (* 1/2 x) 1)) into (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)) 1.517 * [backup-simplify]: Simplify (fma (/ 1 x) (fma (/ 1 x) 1/6 1/2) 1) into (fma (/ 1 x) (fma (/ 1 x) 1/6 1/2) 1) 1.517 * [approximate]: Taking taylor expansion of (fma (/ 1 x) (fma (/ 1 x) 1/6 1/2) 1) in (x) around 0 1.517 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma (/ 1 x) 1/6 1/2) 1) in x 1.517 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma (/ 1 x) 1/6 1/2)) 1) 1.517 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma (/ 1 x) 1/6 1/2)) in x 1.517 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.517 * [taylor]: Taking taylor expansion of x in x 1.517 * [backup-simplify]: Simplify 0 into 0 1.517 * [backup-simplify]: Simplify 1 into 1 1.518 * [backup-simplify]: Simplify (/ 1 1) into 1 1.518 * [taylor]: Taking taylor expansion of (fma (/ 1 x) 1/6 1/2) in x 1.518 * [taylor]: Rewrote expression to (+ (* (/ 1 x) 1/6) 1/2) 1.518 * [taylor]: Taking taylor expansion of (* (/ 1 x) 1/6) in x 1.518 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.518 * [taylor]: Taking taylor expansion of x in x 1.518 * [backup-simplify]: Simplify 0 into 0 1.518 * [backup-simplify]: Simplify 1 into 1 1.518 * [backup-simplify]: Simplify (/ 1 1) into 1 1.518 * [taylor]: Taking taylor expansion of 1/6 in x 1.518 * [backup-simplify]: Simplify 1/6 into 1/6 1.518 * [taylor]: Taking taylor expansion of 1/2 in x 1.518 * [backup-simplify]: Simplify 1/2 into 1/2 1.518 * [taylor]: Taking taylor expansion of 1 in x 1.519 * [backup-simplify]: Simplify 1 into 1 1.519 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma (/ 1 x) 1/6 1/2) 1) in x 1.519 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma (/ 1 x) 1/6 1/2)) 1) 1.519 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma (/ 1 x) 1/6 1/2)) in x 1.519 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.519 * [taylor]: Taking taylor expansion of x in x 1.519 * [backup-simplify]: Simplify 0 into 0 1.519 * [backup-simplify]: Simplify 1 into 1 1.519 * [backup-simplify]: Simplify (/ 1 1) into 1 1.519 * [taylor]: Taking taylor expansion of (fma (/ 1 x) 1/6 1/2) in x 1.519 * [taylor]: Rewrote expression to (+ (* (/ 1 x) 1/6) 1/2) 1.519 * [taylor]: Taking taylor expansion of (* (/ 1 x) 1/6) in x 1.519 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.519 * [taylor]: Taking taylor expansion of x in x 1.519 * [backup-simplify]: Simplify 0 into 0 1.519 * [backup-simplify]: Simplify 1 into 1 1.520 * [backup-simplify]: Simplify (/ 1 1) into 1 1.520 * [taylor]: Taking taylor expansion of 1/6 in x 1.520 * [backup-simplify]: Simplify 1/6 into 1/6 1.520 * [taylor]: Taking taylor expansion of 1/2 in x 1.520 * [backup-simplify]: Simplify 1/2 into 1/2 1.520 * [taylor]: Taking taylor expansion of 1 in x 1.520 * [backup-simplify]: Simplify 1 into 1 1.520 * [backup-simplify]: Simplify (* 1 1/6) into 1/6 1.521 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 1.521 * [backup-simplify]: Simplify (* 1 1/6) into 1/6 1.522 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 1.522 * [backup-simplify]: Simplify 1/6 into 1/6 1.523 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.523 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1/6)) into 0 1.524 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2 1.525 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.525 * [backup-simplify]: Simplify (+ (* 1 1/2) (* 0 1/6)) into 1/2 1.526 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 1.526 * [backup-simplify]: Simplify 1/2 into 1/2 1.527 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.528 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1/6))) into 0 1.528 * [backup-simplify]: Simplify (+ 0 0) into 0 1.529 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.530 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 1/2) (* 0 1/6))) into 0 1.531 * [backup-simplify]: Simplify (+ 0 1) into 1 1.531 * [backup-simplify]: Simplify 1 into 1 1.531 * [backup-simplify]: Simplify (+ 1 (+ (* 1/2 (/ 1 (/ 1 x))) (* 1/6 (pow (/ 1 (/ 1 x)) 2)))) into (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)) 1.531 * [backup-simplify]: Simplify (fma (/ 1 (- x)) (fma (/ 1 (- x)) 1/6 1/2) 1) into (fma (/ -1 x) (fma (/ -1 x) 1/6 1/2) 1) 1.531 * [approximate]: Taking taylor expansion of (fma (/ -1 x) (fma (/ -1 x) 1/6 1/2) 1) in (x) around 0 1.531 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma (/ -1 x) 1/6 1/2) 1) in x 1.531 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma (/ -1 x) 1/6 1/2)) 1) 1.531 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma (/ -1 x) 1/6 1/2)) in x 1.531 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.531 * [taylor]: Taking taylor expansion of -1 in x 1.531 * [backup-simplify]: Simplify -1 into -1 1.532 * [taylor]: Taking taylor expansion of x in x 1.532 * [backup-simplify]: Simplify 0 into 0 1.532 * [backup-simplify]: Simplify 1 into 1 1.532 * [backup-simplify]: Simplify (/ -1 1) into -1 1.532 * [taylor]: Taking taylor expansion of (fma (/ -1 x) 1/6 1/2) in x 1.532 * [taylor]: Rewrote expression to (+ (* (/ -1 x) 1/6) 1/2) 1.532 * [taylor]: Taking taylor expansion of (* (/ -1 x) 1/6) in x 1.532 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.532 * [taylor]: Taking taylor expansion of -1 in x 1.532 * [backup-simplify]: Simplify -1 into -1 1.532 * [taylor]: Taking taylor expansion of x in x 1.532 * [backup-simplify]: Simplify 0 into 0 1.532 * [backup-simplify]: Simplify 1 into 1 1.533 * [backup-simplify]: Simplify (/ -1 1) into -1 1.533 * [taylor]: Taking taylor expansion of 1/6 in x 1.533 * [backup-simplify]: Simplify 1/6 into 1/6 1.533 * [taylor]: Taking taylor expansion of 1/2 in x 1.533 * [backup-simplify]: Simplify 1/2 into 1/2 1.533 * [taylor]: Taking taylor expansion of 1 in x 1.533 * [backup-simplify]: Simplify 1 into 1 1.533 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma (/ -1 x) 1/6 1/2) 1) in x 1.533 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma (/ -1 x) 1/6 1/2)) 1) 1.533 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma (/ -1 x) 1/6 1/2)) in x 1.533 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.533 * [taylor]: Taking taylor expansion of -1 in x 1.533 * [backup-simplify]: Simplify -1 into -1 1.533 * [taylor]: Taking taylor expansion of x in x 1.533 * [backup-simplify]: Simplify 0 into 0 1.533 * [backup-simplify]: Simplify 1 into 1 1.534 * [backup-simplify]: Simplify (/ -1 1) into -1 1.534 * [taylor]: Taking taylor expansion of (fma (/ -1 x) 1/6 1/2) in x 1.534 * [taylor]: Rewrote expression to (+ (* (/ -1 x) 1/6) 1/2) 1.534 * [taylor]: Taking taylor expansion of (* (/ -1 x) 1/6) in x 1.534 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.534 * [taylor]: Taking taylor expansion of -1 in x 1.534 * [backup-simplify]: Simplify -1 into -1 1.534 * [taylor]: Taking taylor expansion of x in x 1.534 * [backup-simplify]: Simplify 0 into 0 1.534 * [backup-simplify]: Simplify 1 into 1 1.534 * [backup-simplify]: Simplify (/ -1 1) into -1 1.534 * [taylor]: Taking taylor expansion of 1/6 in x 1.534 * [backup-simplify]: Simplify 1/6 into 1/6 1.534 * [taylor]: Taking taylor expansion of 1/2 in x 1.534 * [backup-simplify]: Simplify 1/2 into 1/2 1.534 * [taylor]: Taking taylor expansion of 1 in x 1.534 * [backup-simplify]: Simplify 1 into 1 1.535 * [backup-simplify]: Simplify (* -1 1/6) into -1/6 1.535 * [backup-simplify]: Simplify (+ -1/6 0) into -1/6 1.536 * [backup-simplify]: Simplify (* -1 -1/6) into 1/6 1.536 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 1.536 * [backup-simplify]: Simplify 1/6 into 1/6 1.537 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1.538 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 1/6)) into 0 1.538 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2 1.539 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1.540 * [backup-simplify]: Simplify (+ (* -1 1/2) (* 0 -1/6)) into -1/2 1.541 * [backup-simplify]: Simplify (+ -1/2 0) into -1/2 1.541 * [backup-simplify]: Simplify -1/2 into -1/2 1.542 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.543 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 1/6))) into 0 1.543 * [backup-simplify]: Simplify (+ 0 0) into 0 1.544 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.546 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1/2) (* 0 -1/6))) into 0 1.546 * [backup-simplify]: Simplify (+ 0 1) into 1 1.546 * [backup-simplify]: Simplify 1 into 1 1.547 * [backup-simplify]: Simplify (+ 1 (+ (* -1/2 (/ 1 (/ 1 (- x)))) (* 1/6 (pow (/ 1 (/ 1 (- x))) 2)))) into (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)) 1.547 * * * [progress]: simplifying candidates 1.547 * * * * [progress]: [ 1 / 28 ] simplifiying candidate # 1.547 * * * * [progress]: [ 2 / 28 ] simplifiying candidate # 1.547 * * * * [progress]: [ 3 / 28 ] simplifiying candidate # 1.547 * * * * [progress]: [ 4 / 28 ] simplifiying candidate # 1.547 * * * * [progress]: [ 5 / 28 ] simplifiying candidate # 1.547 * * * * [progress]: [ 6 / 28 ] simplifiying candidate # 1.547 * * * * [progress]: [ 7 / 28 ] simplifiying candidate # 1.547 * * * * [progress]: [ 8 / 28 ] simplifiying candidate # 1.547 * * * * [progress]: [ 9 / 28 ] simplifiying candidate # 1.547 * * * * [progress]: [ 10 / 28 ] simplifiying candidate # 1.547 * * * * [progress]: [ 11 / 28 ] simplifiying candidate #real (real->posit16 (fma x 1/6 1/2))) 1))> 1.547 * * * * [progress]: [ 12 / 28 ] simplifiying candidate # 1.547 * * * * [progress]: [ 13 / 28 ] simplifiying candidate # 1.547 * * * * [progress]: [ 14 / 28 ] simplifiying candidate # 1.548 * * * * [progress]: [ 15 / 28 ] simplifiying candidate # 1.548 * * * * [progress]: [ 16 / 28 ] simplifiying candidate # 1.548 * * * * [progress]: [ 17 / 28 ] simplifiying candidate # 1.548 * * * * [progress]: [ 18 / 28 ] simplifiying candidate # 1.548 * * * * [progress]: [ 19 / 28 ] simplifiying candidate # 1.548 * * * * [progress]: [ 20 / 28 ] simplifiying candidate # 1.548 * * * * [progress]: [ 21 / 28 ] simplifiying candidate # 1.548 * * * * [progress]: [ 22 / 28 ] simplifiying candidate #real (real->posit16 (fma x (fma x 1/6 1/2) 1))))> 1.548 * * * * [progress]: [ 23 / 28 ] simplifiying candidate # 1.548 * [simplify]: Simplifying (+ (* 1/6 x) 1/2) 1.548 * * [simplify]: iters left: 4 (5 enodes) 1.552 * * [simplify]: iters left: 3 (18 enodes) 1.557 * * [simplify]: iters left: 2 (19 enodes) 1.563 * * [simplify]: Extracting #0: cost 1 inf + 0 1.563 * * [simplify]: Extracting #1: cost 6 inf + 0 1.563 * * [simplify]: Extracting #2: cost 4 inf + 3 1.563 * * [simplify]: Extracting #3: cost 0 inf + 203 1.564 * [simplify]: Simplified to (fma x 1/6 1/2) 1.564 * [simplify]: Simplified (2 2) to (λ (x) (fma x (fma x 1/6 1/2) 1)) 1.564 * * * * [progress]: [ 24 / 28 ] simplifiying candidate # 1.564 * [simplify]: Simplifying (+ (* 1/6 x) 1/2) 1.564 * * [simplify]: iters left: 4 (5 enodes) 1.568 * * [simplify]: iters left: 3 (18 enodes) 1.574 * * [simplify]: iters left: 2 (19 enodes) 1.579 * * [simplify]: Extracting #0: cost 1 inf + 0 1.579 * * [simplify]: Extracting #1: cost 6 inf + 0 1.579 * * [simplify]: Extracting #2: cost 4 inf + 3 1.579 * * [simplify]: Extracting #3: cost 0 inf + 203 1.580 * [simplify]: Simplified to (fma x 1/6 1/2) 1.580 * [simplify]: Simplified (2 2) to (λ (x) (fma x (fma x 1/6 1/2) 1)) 1.580 * * * * [progress]: [ 25 / 28 ] simplifiying candidate # 1.580 * [simplify]: Simplifying (+ (* 1/6 x) 1/2) 1.580 * * [simplify]: iters left: 4 (5 enodes) 1.583 * * [simplify]: iters left: 3 (18 enodes) 1.589 * * [simplify]: iters left: 2 (19 enodes) 1.595 * * [simplify]: Extracting #0: cost 1 inf + 0 1.595 * * [simplify]: Extracting #1: cost 6 inf + 0 1.595 * * [simplify]: Extracting #2: cost 4 inf + 3 1.595 * * [simplify]: Extracting #3: cost 0 inf + 203 1.595 * [simplify]: Simplified to (fma x 1/6 1/2) 1.595 * [simplify]: Simplified (2 2) to (λ (x) (fma x (fma x 1/6 1/2) 1)) 1.595 * * * * [progress]: [ 26 / 28 ] simplifiying candidate # 1.596 * [simplify]: Simplifying (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)) 1.596 * * [simplify]: iters left: 6 (10 enodes) 1.607 * * [simplify]: iters left: 5 (44 enodes) 1.622 * * [simplify]: iters left: 4 (62 enodes) 1.642 * * [simplify]: iters left: 3 (90 enodes) 1.667 * * [simplify]: iters left: 2 (112 enodes) 1.697 * * [simplify]: iters left: 1 (124 enodes) 1.709 * * [simplify]: Extracting #0: cost 1 inf + 0 1.709 * * [simplify]: Extracting #1: cost 14 inf + 0 1.710 * * [simplify]: Extracting #2: cost 17 inf + 87 1.710 * * [simplify]: Extracting #3: cost 4 inf + 943 1.711 * * [simplify]: Extracting #4: cost 0 inf + 1271 1.711 * [simplify]: Simplified to (fma x (fma x 1/6 1/2) 1) 1.711 * [simplify]: Simplified (2) to (λ (x) (fma x (fma x 1/6 1/2) 1)) 1.711 * * * * [progress]: [ 27 / 28 ] simplifiying candidate # 1.712 * [simplify]: Simplifying (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)) 1.712 * * [simplify]: iters left: 6 (10 enodes) 1.715 * * [simplify]: iters left: 5 (44 enodes) 1.724 * * [simplify]: iters left: 4 (62 enodes) 1.745 * * [simplify]: iters left: 3 (90 enodes) 1.769 * * [simplify]: iters left: 2 (112 enodes) 1.798 * * [simplify]: iters left: 1 (124 enodes) 1.810 * * [simplify]: Extracting #0: cost 1 inf + 0 1.810 * * [simplify]: Extracting #1: cost 14 inf + 0 1.810 * * [simplify]: Extracting #2: cost 17 inf + 87 1.811 * * [simplify]: Extracting #3: cost 4 inf + 943 1.811 * * [simplify]: Extracting #4: cost 0 inf + 1271 1.812 * [simplify]: Simplified to (fma x (fma x 1/6 1/2) 1) 1.812 * [simplify]: Simplified (2) to (λ (x) (fma x (fma x 1/6 1/2) 1)) 1.812 * * * * [progress]: [ 28 / 28 ] simplifiying candidate # 1.812 * [simplify]: Simplifying (+ (* 1/2 x) (+ (* 1/6 (pow x 2)) 1)) 1.812 * * [simplify]: iters left: 6 (10 enodes) 1.816 * * [simplify]: iters left: 5 (44 enodes) 1.823 * * [simplify]: iters left: 4 (62 enodes) 1.843 * * [simplify]: iters left: 3 (90 enodes) 1.870 * * [simplify]: iters left: 2 (112 enodes) 1.900 * * [simplify]: iters left: 1 (124 enodes) 1.923 * * [simplify]: Extracting #0: cost 1 inf + 0 1.923 * * [simplify]: Extracting #1: cost 14 inf + 0 1.923 * * [simplify]: Extracting #2: cost 17 inf + 87 1.924 * * [simplify]: Extracting #3: cost 4 inf + 943 1.925 * * [simplify]: Extracting #4: cost 0 inf + 1271 1.926 * [simplify]: Simplified to (fma x (fma x 1/6 1/2) 1) 1.926 * [simplify]: Simplified (2) to (λ (x) (fma x (fma x 1/6 1/2) 1)) 1.926 * * * [progress]: adding candidates to table 2.211 * [progress]: [Phase 3 of 3] Extracting. 2.211 * * [regime]: Finding splitpoints for: (# #) 2.212 * * * [regime-changes]: Trying 1 branch expressions: (x) 2.212 * * * * [regimes]: Trying to branch on x from (# #) 2.227 * * * [regime]: Found split indices: #