16.898 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.037 * * * [progress]: [2/2] Setting up program. 0.042 * [progress]: [Phase 2 of 3] Improving. 0.042 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.043 * [simplify]: Simplifying: (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) 0.043 * * [simplify]: iteration 0: 14 enodes 0.048 * * [simplify]: iteration 1: 22 enodes 0.056 * * [simplify]: iteration 2: 39 enodes 0.070 * * [simplify]: iteration 3: 68 enodes 0.099 * * [simplify]: iteration 4: 98 enodes 0.116 * * [simplify]: iteration 5: 108 enodes 0.127 * * [simplify]: iteration 6: 130 enodes 0.140 * * [simplify]: iteration 7: 158 enodes 0.168 * * [simplify]: iteration 8: 207 enodes 0.215 * * [simplify]: iteration 9: 302 enodes 0.290 * * [simplify]: iteration 10: 503 enodes 0.487 * * [simplify]: iteration 11: 840 enodes 0.743 * * [simplify]: iteration 12: 1280 enodes 1.095 * * [simplify]: iteration 13: 1973 enodes 2.027 * * [simplify]: iteration 14: 3347 enodes 2.910 * * [simplify]: iteration complete: 5087 enodes 2.910 * * [simplify]: Extracting #0: cost 1 inf + 0 2.910 * * [simplify]: Extracting #1: cost 43 inf + 0 2.912 * * [simplify]: Extracting #2: cost 89 inf + 167 2.917 * * [simplify]: Extracting #3: cost 302 inf + 1277 2.931 * * [simplify]: Extracting #4: cost 608 inf + 14744 2.978 * * [simplify]: Extracting #5: cost 250 inf + 79217 3.034 * * [simplify]: Extracting #6: cost 16 inf + 107173 3.074 * * [simplify]: Extracting #7: cost 0 inf + 108799 3.144 * * [simplify]: Extracting #8: cost 0 inf + 108679 3.224 * [simplify]: Simplified to: (- x (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) 3.232 * * [progress]: iteration 1 / 4 3.233 * * * [progress]: picking best candidate 3.240 * * * * [pick]: Picked # 3.240 * * * [progress]: localizing error 3.279 * * * [progress]: generating rewritten candidates 3.279 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 3.290 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 2) 3.290 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 3.324 * * * [progress]: generating series expansions 3.324 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 3.324 * [backup-simplify]: Simplify (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) into (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) 3.324 * [approximate]: Taking taylor expansion of (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) in (x) around 0 3.324 * [taylor]: Taking taylor expansion of (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) in x 3.324 * [taylor]: Taking taylor expansion of (fma 0.27061 x 2.30753) in x 3.324 * [taylor]: Rewrote expression to (+ (* 0.27061 x) 2.30753) 3.324 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x 3.324 * [taylor]: Taking taylor expansion of 0.27061 in x 3.324 * [backup-simplify]: Simplify 0.27061 into 0.27061 3.324 * [taylor]: Taking taylor expansion of x in x 3.324 * [backup-simplify]: Simplify 0 into 0 3.325 * [backup-simplify]: Simplify 1 into 1 3.325 * [taylor]: Taking taylor expansion of 2.30753 in x 3.325 * [backup-simplify]: Simplify 2.30753 into 2.30753 3.325 * [taylor]: Taking taylor expansion of (fma (fma 0.04481 x 0.99229) x 1.0) in x 3.325 * [taylor]: Rewrote expression to (+ (* (fma 0.04481 x 0.99229) x) 1.0) 3.325 * [taylor]: Taking taylor expansion of (* (fma 0.04481 x 0.99229) x) in x 3.325 * [taylor]: Taking taylor expansion of (fma 0.04481 x 0.99229) in x 3.325 * [taylor]: Rewrote expression to (+ (* 0.04481 x) 0.99229) 3.325 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x 3.325 * [taylor]: Taking taylor expansion of 0.04481 in x 3.325 * [backup-simplify]: Simplify 0.04481 into 0.04481 3.325 * [taylor]: Taking taylor expansion of x in x 3.325 * [backup-simplify]: Simplify 0 into 0 3.325 * [backup-simplify]: Simplify 1 into 1 3.325 * [taylor]: Taking taylor expansion of 0.99229 in x 3.325 * [backup-simplify]: Simplify 0.99229 into 0.99229 3.325 * [taylor]: Taking taylor expansion of x in x 3.325 * [backup-simplify]: Simplify 0 into 0 3.325 * [backup-simplify]: Simplify 1 into 1 3.325 * [taylor]: Taking taylor expansion of 1.0 in x 3.325 * [backup-simplify]: Simplify 1.0 into 1.0 3.326 * [backup-simplify]: Simplify (* 0.27061 0) into 0 3.327 * [backup-simplify]: Simplify (+ 0 2.30753) into 2.30753 3.327 * [backup-simplify]: Simplify (* 0.04481 0) into 0 3.328 * [backup-simplify]: Simplify (+ 0 0.99229) into 0.99229 3.328 * [backup-simplify]: Simplify (* 0.99229 0) into 0 3.329 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 3.329 * [backup-simplify]: Simplify (/ 2.30753 1.0) into 2.30753 3.329 * [taylor]: Taking taylor expansion of (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) in x 3.329 * [taylor]: Taking taylor expansion of (fma 0.27061 x 2.30753) in x 3.330 * [taylor]: Rewrote expression to (+ (* 0.27061 x) 2.30753) 3.330 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x 3.330 * [taylor]: Taking taylor expansion of 0.27061 in x 3.330 * [backup-simplify]: Simplify 0.27061 into 0.27061 3.330 * [taylor]: Taking taylor expansion of x in x 3.330 * [backup-simplify]: Simplify 0 into 0 3.330 * [backup-simplify]: Simplify 1 into 1 3.330 * [taylor]: Taking taylor expansion of 2.30753 in x 3.330 * [backup-simplify]: Simplify 2.30753 into 2.30753 3.330 * [taylor]: Taking taylor expansion of (fma (fma 0.04481 x 0.99229) x 1.0) in x 3.330 * [taylor]: Rewrote expression to (+ (* (fma 0.04481 x 0.99229) x) 1.0) 3.330 * [taylor]: Taking taylor expansion of (* (fma 0.04481 x 0.99229) x) in x 3.330 * [taylor]: Taking taylor expansion of (fma 0.04481 x 0.99229) in x 3.330 * [taylor]: Rewrote expression to (+ (* 0.04481 x) 0.99229) 3.330 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x 3.330 * [taylor]: Taking taylor expansion of 0.04481 in x 3.330 * [backup-simplify]: Simplify 0.04481 into 0.04481 3.330 * [taylor]: Taking taylor expansion of x in x 3.330 * [backup-simplify]: Simplify 0 into 0 3.331 * [backup-simplify]: Simplify 1 into 1 3.331 * [taylor]: Taking taylor expansion of 0.99229 in x 3.331 * [backup-simplify]: Simplify 0.99229 into 0.99229 3.331 * [taylor]: Taking taylor expansion of x in x 3.331 * [backup-simplify]: Simplify 0 into 0 3.331 * [backup-simplify]: Simplify 1 into 1 3.331 * [taylor]: Taking taylor expansion of 1.0 in x 3.331 * [backup-simplify]: Simplify 1.0 into 1.0 3.331 * [backup-simplify]: Simplify (* 0.27061 0) into 0 3.332 * [backup-simplify]: Simplify (+ 0 2.30753) into 2.30753 3.332 * [backup-simplify]: Simplify (* 0.04481 0) into 0 3.333 * [backup-simplify]: Simplify (+ 0 0.99229) into 0.99229 3.333 * [backup-simplify]: Simplify (* 0.99229 0) into 0 3.334 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 3.334 * [backup-simplify]: Simplify (/ 2.30753 1.0) into 2.30753 3.335 * [backup-simplify]: Simplify 2.30753 into 2.30753 3.336 * [backup-simplify]: Simplify (+ (* 0.27061 1) (* 0 0)) into 0.27061 3.336 * [backup-simplify]: Simplify (+ 0.27061 0) into 0.27061 3.338 * [backup-simplify]: Simplify (+ (* 0.04481 1) (* 0 0)) into 0.04481 3.338 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 3.340 * [backup-simplify]: Simplify (+ (* 0.99229 1) (* 0.04481 0)) into 0.99229 3.341 * [backup-simplify]: Simplify (+ 0.99229 0) into 0.99229 3.344 * [backup-simplify]: Simplify (- (/ 0.27061 1.0) (+ (* 2.30753 (/ 0.99229 1.0)))) into (- 2.0191289436999997) 3.344 * [backup-simplify]: Simplify (- 2.0191289436999997) into (- 2.0191289436999997) 3.345 * [backup-simplify]: Simplify (+ (* 0.27061 0) (+ (* 0 1) (* 0 0))) into 0 3.346 * [backup-simplify]: Simplify (+ 0 0) into 0 3.347 * [backup-simplify]: Simplify (+ (* 0.04481 0) (+ (* 0 1) (* 0 0))) into 0 3.347 * [backup-simplify]: Simplify (+ 0 0) into 0 3.350 * [backup-simplify]: Simplify (+ (* 0.99229 0) (+ (* 0.04481 1) (* 0 0))) into 0.04481 3.351 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 3.358 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 2.30753 (/ 0.04481 1.0)) (* (- 2.0191289436999997) (/ 0.99229 1.0)))) into 1.900161040244073 3.358 * [backup-simplify]: Simplify 1.900161040244073 into 1.900161040244073 3.358 * [backup-simplify]: Simplify (+ (* 1.900161040244073 (pow x 2)) (+ (* (- 2.0191289436999997) x) 2.30753)) into (- (+ (* 1.900161040244073 (pow x 2)) 2.30753) (* 2.0191289436999997 x)) 3.359 * [backup-simplify]: Simplify (/ (fma 0.27061 (/ 1 x) 2.30753) (fma (fma 0.04481 (/ 1 x) 0.99229) (/ 1 x) 1.0)) into (/ (fma 0.27061 (/ 1 x) 2.30753) (fma (fma 0.04481 (/ 1 x) 0.99229) (/ 1 x) 1.0)) 3.359 * [approximate]: Taking taylor expansion of (/ (fma 0.27061 (/ 1 x) 2.30753) (fma (fma 0.04481 (/ 1 x) 0.99229) (/ 1 x) 1.0)) in (x) around 0 3.359 * [taylor]: Taking taylor expansion of (/ (fma 0.27061 (/ 1 x) 2.30753) (fma (fma 0.04481 (/ 1 x) 0.99229) (/ 1 x) 1.0)) in x 3.359 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ 1 x) 2.30753) in x 3.359 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ 1 x)) 2.30753) 3.359 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 3.359 * [taylor]: Taking taylor expansion of 0.27061 in x 3.359 * [backup-simplify]: Simplify 0.27061 into 0.27061 3.359 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.359 * [taylor]: Taking taylor expansion of x in x 3.359 * [backup-simplify]: Simplify 0 into 0 3.359 * [backup-simplify]: Simplify 1 into 1 3.360 * [backup-simplify]: Simplify (/ 1 1) into 1 3.360 * [taylor]: Taking taylor expansion of 2.30753 in x 3.360 * [backup-simplify]: Simplify 2.30753 into 2.30753 3.360 * [taylor]: Taking taylor expansion of (fma (fma 0.04481 (/ 1 x) 0.99229) (/ 1 x) 1.0) in x 3.360 * [taylor]: Rewrote expression to (+ (* (fma 0.04481 (/ 1 x) 0.99229) (/ 1 x)) 1.0) 3.360 * [taylor]: Taking taylor expansion of (* (fma 0.04481 (/ 1 x) 0.99229) (/ 1 x)) in x 3.360 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ 1 x) 0.99229) in x 3.360 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ 1 x)) 0.99229) 3.360 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 3.360 * [taylor]: Taking taylor expansion of 0.04481 in x 3.360 * [backup-simplify]: Simplify 0.04481 into 0.04481 3.360 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.360 * [taylor]: Taking taylor expansion of x in x 3.360 * [backup-simplify]: Simplify 0 into 0 3.360 * [backup-simplify]: Simplify 1 into 1 3.361 * [backup-simplify]: Simplify (/ 1 1) into 1 3.361 * [taylor]: Taking taylor expansion of 0.99229 in x 3.361 * [backup-simplify]: Simplify 0.99229 into 0.99229 3.361 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.361 * [taylor]: Taking taylor expansion of x in x 3.361 * [backup-simplify]: Simplify 0 into 0 3.361 * [backup-simplify]: Simplify 1 into 1 3.362 * [backup-simplify]: Simplify (/ 1 1) into 1 3.362 * [taylor]: Taking taylor expansion of 1.0 in x 3.362 * [backup-simplify]: Simplify 1.0 into 1.0 3.362 * [backup-simplify]: Simplify (* 0.27061 1) into 0.27061 3.363 * [backup-simplify]: Simplify (+ 0.27061 0) into 0.27061 3.363 * [backup-simplify]: Simplify (* 0.04481 1) into 0.04481 3.364 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 3.364 * [backup-simplify]: Simplify (* 0.04481 1) into 0.04481 3.365 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 3.365 * [backup-simplify]: Simplify (/ 0.27061 0.04481) into 6.039053782637804 3.365 * [taylor]: Taking taylor expansion of (/ (fma 0.27061 (/ 1 x) 2.30753) (fma (fma 0.04481 (/ 1 x) 0.99229) (/ 1 x) 1.0)) in x 3.365 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ 1 x) 2.30753) in x 3.365 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ 1 x)) 2.30753) 3.365 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 3.365 * [taylor]: Taking taylor expansion of 0.27061 in x 3.365 * [backup-simplify]: Simplify 0.27061 into 0.27061 3.365 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.366 * [taylor]: Taking taylor expansion of x in x 3.366 * [backup-simplify]: Simplify 0 into 0 3.366 * [backup-simplify]: Simplify 1 into 1 3.366 * [backup-simplify]: Simplify (/ 1 1) into 1 3.366 * [taylor]: Taking taylor expansion of 2.30753 in x 3.366 * [backup-simplify]: Simplify 2.30753 into 2.30753 3.366 * [taylor]: Taking taylor expansion of (fma (fma 0.04481 (/ 1 x) 0.99229) (/ 1 x) 1.0) in x 3.366 * [taylor]: Rewrote expression to (+ (* (fma 0.04481 (/ 1 x) 0.99229) (/ 1 x)) 1.0) 3.366 * [taylor]: Taking taylor expansion of (* (fma 0.04481 (/ 1 x) 0.99229) (/ 1 x)) in x 3.366 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ 1 x) 0.99229) in x 3.366 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ 1 x)) 0.99229) 3.366 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 3.367 * [taylor]: Taking taylor expansion of 0.04481 in x 3.367 * [backup-simplify]: Simplify 0.04481 into 0.04481 3.367 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.367 * [taylor]: Taking taylor expansion of x in x 3.367 * [backup-simplify]: Simplify 0 into 0 3.367 * [backup-simplify]: Simplify 1 into 1 3.367 * [backup-simplify]: Simplify (/ 1 1) into 1 3.367 * [taylor]: Taking taylor expansion of 0.99229 in x 3.367 * [backup-simplify]: Simplify 0.99229 into 0.99229 3.367 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.367 * [taylor]: Taking taylor expansion of x in x 3.367 * [backup-simplify]: Simplify 0 into 0 3.367 * [backup-simplify]: Simplify 1 into 1 3.368 * [backup-simplify]: Simplify (/ 1 1) into 1 3.368 * [taylor]: Taking taylor expansion of 1.0 in x 3.368 * [backup-simplify]: Simplify 1.0 into 1.0 3.368 * [backup-simplify]: Simplify (* 0.27061 1) into 0.27061 3.369 * [backup-simplify]: Simplify (+ 0.27061 0) into 0.27061 3.369 * [backup-simplify]: Simplify (* 0.04481 1) into 0.04481 3.370 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 3.370 * [backup-simplify]: Simplify (* 0.04481 1) into 0.04481 3.371 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 3.371 * [backup-simplify]: Simplify (/ 0.27061 0.04481) into 6.039053782637804 3.371 * [backup-simplify]: Simplify 6.039053782637804 into 6.039053782637804 3.372 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.373 * [backup-simplify]: Simplify (+ (* 0.27061 0) (* 0 1)) into 0 3.373 * [backup-simplify]: Simplify (+ 0 2.30753) into 2.30753 3.374 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.375 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.376 * [backup-simplify]: Simplify (+ (* 0.04481 0) (* 0 1)) into 0 3.381 * [backup-simplify]: Simplify (+ 0 0.99229) into 0.99229 3.384 * [backup-simplify]: Simplify (+ (* 0.04481 0) (* 0.99229 1)) into 0.99229 3.384 * [backup-simplify]: Simplify (+ 0.99229 0) into 0.99229 3.388 * [backup-simplify]: Simplify (- (/ 2.30753 0.04481) (+ (* 6.039053782637804 (/ 0.99229 0.04481)))) into (- 82.23527511657369) 3.388 * [backup-simplify]: Simplify (- 82.23527511657369) into (- 82.23527511657369) 3.389 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.390 * [backup-simplify]: Simplify (+ (* 0.27061 0) (+ (* 0 0) (* 0 1))) into 0 3.391 * [backup-simplify]: Simplify (+ 0 0) into 0 3.392 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.393 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.394 * [backup-simplify]: Simplify (+ (* 0.04481 0) (+ (* 0 0) (* 0 1))) into 0 3.394 * [backup-simplify]: Simplify (+ 0 0) into 0 3.395 * [backup-simplify]: Simplify (+ (* 0.04481 0) (+ (* 0.99229 0) (* 0 1))) into 0 3.396 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 3.402 * [backup-simplify]: Simplify (- (/ 0 0.04481) (+ (* 6.039053782637804 (/ 1.0 0.04481)) (* (- 82.23527511657369) (/ 0.99229 0.04481)))) into 1686.279566230464 3.402 * [backup-simplify]: Simplify 1686.279566230464 into 1686.279566230464 3.403 * [backup-simplify]: Simplify (+ (* 1686.279566230464 (pow (/ 1 x) 3)) (+ (* (- 82.23527511657369) (pow (/ 1 x) 2)) (* 6.039053782637804 (/ 1 x)))) into (- (+ (* 1686.279566230464 (/ 1 (pow x 3))) (* 6.039053782637804 (/ 1 x))) (* 82.23527511657369 (/ 1 (pow x 2)))) 3.403 * [backup-simplify]: Simplify (/ (fma 0.27061 (/ 1 (- x)) 2.30753) (fma (fma 0.04481 (/ 1 (- x)) 0.99229) (/ 1 (- x)) 1.0)) into (/ (fma 0.27061 (/ -1 x) 2.30753) (fma (fma 0.04481 (/ -1 x) 0.99229) (/ -1 x) 1.0)) 3.403 * [approximate]: Taking taylor expansion of (/ (fma 0.27061 (/ -1 x) 2.30753) (fma (fma 0.04481 (/ -1 x) 0.99229) (/ -1 x) 1.0)) in (x) around 0 3.403 * [taylor]: Taking taylor expansion of (/ (fma 0.27061 (/ -1 x) 2.30753) (fma (fma 0.04481 (/ -1 x) 0.99229) (/ -1 x) 1.0)) in x 3.403 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ -1 x) 2.30753) in x 3.404 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ -1 x)) 2.30753) 3.404 * [taylor]: Taking taylor expansion of (* 0.27061 (/ -1 x)) in x 3.404 * [taylor]: Taking taylor expansion of 0.27061 in x 3.404 * [backup-simplify]: Simplify 0.27061 into 0.27061 3.404 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.404 * [taylor]: Taking taylor expansion of -1 in x 3.404 * [backup-simplify]: Simplify -1 into -1 3.404 * [taylor]: Taking taylor expansion of x in x 3.404 * [backup-simplify]: Simplify 0 into 0 3.404 * [backup-simplify]: Simplify 1 into 1 3.404 * [backup-simplify]: Simplify (/ -1 1) into -1 3.404 * [taylor]: Taking taylor expansion of 2.30753 in x 3.404 * [backup-simplify]: Simplify 2.30753 into 2.30753 3.404 * [taylor]: Taking taylor expansion of (fma (fma 0.04481 (/ -1 x) 0.99229) (/ -1 x) 1.0) in x 3.405 * [taylor]: Rewrote expression to (+ (* (fma 0.04481 (/ -1 x) 0.99229) (/ -1 x)) 1.0) 3.405 * [taylor]: Taking taylor expansion of (* (fma 0.04481 (/ -1 x) 0.99229) (/ -1 x)) in x 3.405 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ -1 x) 0.99229) in x 3.405 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ -1 x)) 0.99229) 3.405 * [taylor]: Taking taylor expansion of (* 0.04481 (/ -1 x)) in x 3.405 * [taylor]: Taking taylor expansion of 0.04481 in x 3.405 * [backup-simplify]: Simplify 0.04481 into 0.04481 3.405 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.405 * [taylor]: Taking taylor expansion of -1 in x 3.405 * [backup-simplify]: Simplify -1 into -1 3.405 * [taylor]: Taking taylor expansion of x in x 3.405 * [backup-simplify]: Simplify 0 into 0 3.405 * [backup-simplify]: Simplify 1 into 1 3.405 * [backup-simplify]: Simplify (/ -1 1) into -1 3.406 * [taylor]: Taking taylor expansion of 0.99229 in x 3.406 * [backup-simplify]: Simplify 0.99229 into 0.99229 3.406 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.406 * [taylor]: Taking taylor expansion of -1 in x 3.406 * [backup-simplify]: Simplify -1 into -1 3.406 * [taylor]: Taking taylor expansion of x in x 3.406 * [backup-simplify]: Simplify 0 into 0 3.406 * [backup-simplify]: Simplify 1 into 1 3.406 * [backup-simplify]: Simplify (/ -1 1) into -1 3.406 * [taylor]: Taking taylor expansion of 1.0 in x 3.406 * [backup-simplify]: Simplify 1.0 into 1.0 3.407 * [backup-simplify]: Simplify (* 0.27061 -1) into -0.27061 3.407 * [backup-simplify]: Simplify (+ -0.27061 0) into (- 0.27061) 3.408 * [backup-simplify]: Simplify (* 0.04481 -1) into -0.04481 3.408 * [backup-simplify]: Simplify (+ -0.04481 0) into (- 0.04481) 3.409 * [backup-simplify]: Simplify (* (- 0.04481) -1) into 0.04481 3.409 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 3.410 * [backup-simplify]: Simplify (/ (- 0.27061) 0.04481) into -6.039053782637804 3.410 * [taylor]: Taking taylor expansion of (/ (fma 0.27061 (/ -1 x) 2.30753) (fma (fma 0.04481 (/ -1 x) 0.99229) (/ -1 x) 1.0)) in x 3.410 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ -1 x) 2.30753) in x 3.411 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ -1 x)) 2.30753) 3.411 * [taylor]: Taking taylor expansion of (* 0.27061 (/ -1 x)) in x 3.411 * [taylor]: Taking taylor expansion of 0.27061 in x 3.411 * [backup-simplify]: Simplify 0.27061 into 0.27061 3.411 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.411 * [taylor]: Taking taylor expansion of -1 in x 3.411 * [backup-simplify]: Simplify -1 into -1 3.411 * [taylor]: Taking taylor expansion of x in x 3.411 * [backup-simplify]: Simplify 0 into 0 3.411 * [backup-simplify]: Simplify 1 into 1 3.411 * [backup-simplify]: Simplify (/ -1 1) into -1 3.411 * [taylor]: Taking taylor expansion of 2.30753 in x 3.411 * [backup-simplify]: Simplify 2.30753 into 2.30753 3.411 * [taylor]: Taking taylor expansion of (fma (fma 0.04481 (/ -1 x) 0.99229) (/ -1 x) 1.0) in x 3.412 * [taylor]: Rewrote expression to (+ (* (fma 0.04481 (/ -1 x) 0.99229) (/ -1 x)) 1.0) 3.412 * [taylor]: Taking taylor expansion of (* (fma 0.04481 (/ -1 x) 0.99229) (/ -1 x)) in x 3.412 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ -1 x) 0.99229) in x 3.412 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ -1 x)) 0.99229) 3.412 * [taylor]: Taking taylor expansion of (* 0.04481 (/ -1 x)) in x 3.412 * [taylor]: Taking taylor expansion of 0.04481 in x 3.412 * [backup-simplify]: Simplify 0.04481 into 0.04481 3.412 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.412 * [taylor]: Taking taylor expansion of -1 in x 3.412 * [backup-simplify]: Simplify -1 into -1 3.412 * [taylor]: Taking taylor expansion of x in x 3.412 * [backup-simplify]: Simplify 0 into 0 3.412 * [backup-simplify]: Simplify 1 into 1 3.412 * [backup-simplify]: Simplify (/ -1 1) into -1 3.412 * [taylor]: Taking taylor expansion of 0.99229 in x 3.413 * [backup-simplify]: Simplify 0.99229 into 0.99229 3.413 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.413 * [taylor]: Taking taylor expansion of -1 in x 3.413 * [backup-simplify]: Simplify -1 into -1 3.413 * [taylor]: Taking taylor expansion of x in x 3.413 * [backup-simplify]: Simplify 0 into 0 3.413 * [backup-simplify]: Simplify 1 into 1 3.413 * [backup-simplify]: Simplify (/ -1 1) into -1 3.413 * [taylor]: Taking taylor expansion of 1.0 in x 3.413 * [backup-simplify]: Simplify 1.0 into 1.0 3.414 * [backup-simplify]: Simplify (* 0.27061 -1) into -0.27061 3.414 * [backup-simplify]: Simplify (+ -0.27061 0) into (- 0.27061) 3.415 * [backup-simplify]: Simplify (* 0.04481 -1) into -0.04481 3.415 * [backup-simplify]: Simplify (+ -0.04481 0) into (- 0.04481) 3.416 * [backup-simplify]: Simplify (* (- 0.04481) -1) into 0.04481 3.416 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 3.417 * [backup-simplify]: Simplify (/ (- 0.27061) 0.04481) into -6.039053782637804 3.417 * [backup-simplify]: Simplify -6.039053782637804 into -6.039053782637804 3.418 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 3.419 * [backup-simplify]: Simplify (+ (* 0.27061 0) (* 0 -1)) into 0 3.419 * [backup-simplify]: Simplify (+ 0 2.30753) into 2.30753 3.420 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 3.421 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 3.422 * [backup-simplify]: Simplify (+ (* 0.04481 0) (* 0 -1)) into 0 3.422 * [backup-simplify]: Simplify (+ 0 0.99229) into 0.99229 3.424 * [backup-simplify]: Simplify (+ (* (- 0.04481) 0) (* 0.99229 -1)) into (- 0.99229) 3.425 * [backup-simplify]: Simplify (+ (- 0.99229) 0) into (- 0.99229) 3.429 * [backup-simplify]: Simplify (- (/ 2.30753 0.04481) (+ (* -6.039053782637804 (/ (- 0.99229) 0.04481)))) into (- 82.23527511657369) 3.430 * [backup-simplify]: Simplify (- 82.23527511657369) into (- 82.23527511657369) 3.431 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.432 * [backup-simplify]: Simplify (+ (* 0.27061 0) (+ (* 0 0) (* 0 -1))) into 0 3.432 * [backup-simplify]: Simplify (+ 0 0) into 0 3.433 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.434 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.435 * [backup-simplify]: Simplify (+ (* 0.04481 0) (+ (* 0 0) (* 0 -1))) into 0 3.435 * [backup-simplify]: Simplify (+ 0 0) into 0 3.437 * [backup-simplify]: Simplify (+ (* (- 0.04481) 0) (+ (* 0.99229 0) (* 0 -1))) into 0 3.437 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 3.446 * [backup-simplify]: Simplify (- (/ 0 0.04481) (+ (* -6.039053782637804 (/ 1.0 0.04481)) (* (- 82.23527511657369) (/ (- 0.99229) 0.04481)))) into (- 1686.279566230464) 3.446 * [backup-simplify]: Simplify (- 1686.279566230464) into (- 1686.279566230464) 3.448 * [backup-simplify]: Simplify (+ (* (- 1686.279566230464) (pow (/ 1 (- x)) 3)) (+ (* (- 82.23527511657369) (pow (/ 1 (- x)) 2)) (* -6.039053782637804 (/ 1 (- x))))) into (- (+ (* 1686.279566230464 (/ 1 (pow x 3))) (* 6.039053782637804 (/ 1 x))) (* 82.23527511657369 (/ 1 (pow x 2)))) 3.448 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 2) 3.448 * [backup-simplify]: Simplify (fma (fma 0.04481 x 0.99229) x 1.0) into (fma (fma 0.04481 x 0.99229) x 1.0) 3.448 * [approximate]: Taking taylor expansion of (fma (fma 0.04481 x 0.99229) x 1.0) in (x) around 0 3.448 * [taylor]: Taking taylor expansion of (fma (fma 0.04481 x 0.99229) x 1.0) in x 3.448 * [taylor]: Rewrote expression to (+ (* (fma 0.04481 x 0.99229) x) 1.0) 3.448 * [taylor]: Taking taylor expansion of (* (fma 0.04481 x 0.99229) x) in x 3.448 * [taylor]: Taking taylor expansion of (fma 0.04481 x 0.99229) in x 3.449 * [taylor]: Rewrote expression to (+ (* 0.04481 x) 0.99229) 3.449 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x 3.449 * [taylor]: Taking taylor expansion of 0.04481 in x 3.449 * [backup-simplify]: Simplify 0.04481 into 0.04481 3.449 * [taylor]: Taking taylor expansion of x in x 3.449 * [backup-simplify]: Simplify 0 into 0 3.449 * [backup-simplify]: Simplify 1 into 1 3.449 * [taylor]: Taking taylor expansion of 0.99229 in x 3.449 * [backup-simplify]: Simplify 0.99229 into 0.99229 3.449 * [taylor]: Taking taylor expansion of x in x 3.449 * [backup-simplify]: Simplify 0 into 0 3.449 * [backup-simplify]: Simplify 1 into 1 3.449 * [taylor]: Taking taylor expansion of 1.0 in x 3.449 * [backup-simplify]: Simplify 1.0 into 1.0 3.449 * [taylor]: Taking taylor expansion of (fma (fma 0.04481 x 0.99229) x 1.0) in x 3.449 * [taylor]: Rewrote expression to (+ (* (fma 0.04481 x 0.99229) x) 1.0) 3.449 * [taylor]: Taking taylor expansion of (* (fma 0.04481 x 0.99229) x) in x 3.449 * [taylor]: Taking taylor expansion of (fma 0.04481 x 0.99229) in x 3.449 * [taylor]: Rewrote expression to (+ (* 0.04481 x) 0.99229) 3.449 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x 3.450 * [taylor]: Taking taylor expansion of 0.04481 in x 3.450 * [backup-simplify]: Simplify 0.04481 into 0.04481 3.450 * [taylor]: Taking taylor expansion of x in x 3.450 * [backup-simplify]: Simplify 0 into 0 3.450 * [backup-simplify]: Simplify 1 into 1 3.450 * [taylor]: Taking taylor expansion of 0.99229 in x 3.450 * [backup-simplify]: Simplify 0.99229 into 0.99229 3.450 * [taylor]: Taking taylor expansion of x in x 3.450 * [backup-simplify]: Simplify 0 into 0 3.450 * [backup-simplify]: Simplify 1 into 1 3.450 * [taylor]: Taking taylor expansion of 1.0 in x 3.450 * [backup-simplify]: Simplify 1.0 into 1.0 3.451 * [backup-simplify]: Simplify (* 0.04481 0) into 0 3.451 * [backup-simplify]: Simplify (+ 0 0.99229) into 0.99229 3.452 * [backup-simplify]: Simplify (* 0.99229 0) into 0 3.452 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 3.452 * [backup-simplify]: Simplify 1.0 into 1.0 3.454 * [backup-simplify]: Simplify (+ (* 0.04481 1) (* 0 0)) into 0.04481 3.454 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 3.456 * [backup-simplify]: Simplify (+ (* 0.99229 1) (* 0.04481 0)) into 0.99229 3.456 * [backup-simplify]: Simplify (+ 0.99229 0) into 0.99229 3.457 * [backup-simplify]: Simplify 0.99229 into 0.99229 3.458 * [backup-simplify]: Simplify (+ (* 0.04481 0) (+ (* 0 1) (* 0 0))) into 0 3.459 * [backup-simplify]: Simplify (+ 0 0) into 0 3.462 * [backup-simplify]: Simplify (+ (* 0.99229 0) (+ (* 0.04481 1) (* 0 0))) into 0.04481 3.462 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 3.463 * [backup-simplify]: Simplify 0.04481 into 0.04481 3.463 * [backup-simplify]: Simplify (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) into (+ (* 0.99229 x) (+ (* 0.04481 (pow x 2)) 1.0)) 3.463 * [backup-simplify]: Simplify (fma (fma 0.04481 (/ 1 x) 0.99229) (/ 1 x) 1.0) into (fma (fma 0.04481 (/ 1 x) 0.99229) (/ 1 x) 1.0) 3.463 * [approximate]: Taking taylor expansion of (fma (fma 0.04481 (/ 1 x) 0.99229) (/ 1 x) 1.0) in (x) around 0 3.463 * [taylor]: Taking taylor expansion of (fma (fma 0.04481 (/ 1 x) 0.99229) (/ 1 x) 1.0) in x 3.464 * [taylor]: Rewrote expression to (+ (* (fma 0.04481 (/ 1 x) 0.99229) (/ 1 x)) 1.0) 3.464 * [taylor]: Taking taylor expansion of (* (fma 0.04481 (/ 1 x) 0.99229) (/ 1 x)) in x 3.464 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ 1 x) 0.99229) in x 3.464 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ 1 x)) 0.99229) 3.464 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 3.464 * [taylor]: Taking taylor expansion of 0.04481 in x 3.464 * [backup-simplify]: Simplify 0.04481 into 0.04481 3.464 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.464 * [taylor]: Taking taylor expansion of x in x 3.464 * [backup-simplify]: Simplify 0 into 0 3.464 * [backup-simplify]: Simplify 1 into 1 3.464 * [backup-simplify]: Simplify (/ 1 1) into 1 3.464 * [taylor]: Taking taylor expansion of 0.99229 in x 3.464 * [backup-simplify]: Simplify 0.99229 into 0.99229 3.464 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.464 * [taylor]: Taking taylor expansion of x in x 3.465 * [backup-simplify]: Simplify 0 into 0 3.465 * [backup-simplify]: Simplify 1 into 1 3.465 * [backup-simplify]: Simplify (/ 1 1) into 1 3.465 * [taylor]: Taking taylor expansion of 1.0 in x 3.465 * [backup-simplify]: Simplify 1.0 into 1.0 3.465 * [taylor]: Taking taylor expansion of (fma (fma 0.04481 (/ 1 x) 0.99229) (/ 1 x) 1.0) in x 3.465 * [taylor]: Rewrote expression to (+ (* (fma 0.04481 (/ 1 x) 0.99229) (/ 1 x)) 1.0) 3.465 * [taylor]: Taking taylor expansion of (* (fma 0.04481 (/ 1 x) 0.99229) (/ 1 x)) in x 3.465 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ 1 x) 0.99229) in x 3.465 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ 1 x)) 0.99229) 3.465 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 3.465 * [taylor]: Taking taylor expansion of 0.04481 in x 3.465 * [backup-simplify]: Simplify 0.04481 into 0.04481 3.465 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.466 * [taylor]: Taking taylor expansion of x in x 3.466 * [backup-simplify]: Simplify 0 into 0 3.466 * [backup-simplify]: Simplify 1 into 1 3.466 * [backup-simplify]: Simplify (/ 1 1) into 1 3.466 * [taylor]: Taking taylor expansion of 0.99229 in x 3.466 * [backup-simplify]: Simplify 0.99229 into 0.99229 3.466 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.466 * [taylor]: Taking taylor expansion of x in x 3.466 * [backup-simplify]: Simplify 0 into 0 3.466 * [backup-simplify]: Simplify 1 into 1 3.467 * [backup-simplify]: Simplify (/ 1 1) into 1 3.467 * [taylor]: Taking taylor expansion of 1.0 in x 3.467 * [backup-simplify]: Simplify 1.0 into 1.0 3.467 * [backup-simplify]: Simplify (* 0.04481 1) into 0.04481 3.468 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 3.468 * [backup-simplify]: Simplify (* 0.04481 1) into 0.04481 3.469 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 3.469 * [backup-simplify]: Simplify 0.04481 into 0.04481 3.469 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.470 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.471 * [backup-simplify]: Simplify (+ (* 0.04481 0) (* 0 1)) into 0 3.471 * [backup-simplify]: Simplify (+ 0 0.99229) into 0.99229 3.473 * [backup-simplify]: Simplify (+ (* 0.04481 0) (* 0.99229 1)) into 0.99229 3.473 * [backup-simplify]: Simplify (+ 0.99229 0) into 0.99229 3.473 * [backup-simplify]: Simplify 0.99229 into 0.99229 3.474 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.474 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.475 * [backup-simplify]: Simplify (+ (* 0.04481 0) (+ (* 0 0) (* 0 1))) into 0 3.475 * [backup-simplify]: Simplify (+ 0 0) into 0 3.476 * [backup-simplify]: Simplify (+ (* 0.04481 0) (+ (* 0.99229 0) (* 0 1))) into 0 3.476 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 3.476 * [backup-simplify]: Simplify 1.0 into 1.0 3.476 * [backup-simplify]: Simplify (+ 1.0 (+ (* 0.99229 (/ 1 (/ 1 x))) (* 0.04481 (pow (/ 1 (/ 1 x)) 2)))) into (+ (* 0.99229 x) (+ (* 0.04481 (pow x 2)) 1.0)) 3.477 * [backup-simplify]: Simplify (fma (fma 0.04481 (/ 1 (- x)) 0.99229) (/ 1 (- x)) 1.0) into (fma (fma 0.04481 (/ -1 x) 0.99229) (/ -1 x) 1.0) 3.477 * [approximate]: Taking taylor expansion of (fma (fma 0.04481 (/ -1 x) 0.99229) (/ -1 x) 1.0) in (x) around 0 3.477 * [taylor]: Taking taylor expansion of (fma (fma 0.04481 (/ -1 x) 0.99229) (/ -1 x) 1.0) in x 3.477 * [taylor]: Rewrote expression to (+ (* (fma 0.04481 (/ -1 x) 0.99229) (/ -1 x)) 1.0) 3.477 * [taylor]: Taking taylor expansion of (* (fma 0.04481 (/ -1 x) 0.99229) (/ -1 x)) in x 3.477 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ -1 x) 0.99229) in x 3.477 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ -1 x)) 0.99229) 3.477 * [taylor]: Taking taylor expansion of (* 0.04481 (/ -1 x)) in x 3.477 * [taylor]: Taking taylor expansion of 0.04481 in x 3.477 * [backup-simplify]: Simplify 0.04481 into 0.04481 3.477 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.477 * [taylor]: Taking taylor expansion of -1 in x 3.477 * [backup-simplify]: Simplify -1 into -1 3.477 * [taylor]: Taking taylor expansion of x in x 3.477 * [backup-simplify]: Simplify 0 into 0 3.477 * [backup-simplify]: Simplify 1 into 1 3.477 * [backup-simplify]: Simplify (/ -1 1) into -1 3.477 * [taylor]: Taking taylor expansion of 0.99229 in x 3.477 * [backup-simplify]: Simplify 0.99229 into 0.99229 3.477 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.477 * [taylor]: Taking taylor expansion of -1 in x 3.477 * [backup-simplify]: Simplify -1 into -1 3.477 * [taylor]: Taking taylor expansion of x in x 3.477 * [backup-simplify]: Simplify 0 into 0 3.477 * [backup-simplify]: Simplify 1 into 1 3.478 * [backup-simplify]: Simplify (/ -1 1) into -1 3.478 * [taylor]: Taking taylor expansion of 1.0 in x 3.478 * [backup-simplify]: Simplify 1.0 into 1.0 3.478 * [taylor]: Taking taylor expansion of (fma (fma 0.04481 (/ -1 x) 0.99229) (/ -1 x) 1.0) in x 3.478 * [taylor]: Rewrote expression to (+ (* (fma 0.04481 (/ -1 x) 0.99229) (/ -1 x)) 1.0) 3.478 * [taylor]: Taking taylor expansion of (* (fma 0.04481 (/ -1 x) 0.99229) (/ -1 x)) in x 3.478 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ -1 x) 0.99229) in x 3.478 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ -1 x)) 0.99229) 3.478 * [taylor]: Taking taylor expansion of (* 0.04481 (/ -1 x)) in x 3.478 * [taylor]: Taking taylor expansion of 0.04481 in x 3.478 * [backup-simplify]: Simplify 0.04481 into 0.04481 3.478 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.478 * [taylor]: Taking taylor expansion of -1 in x 3.478 * [backup-simplify]: Simplify -1 into -1 3.478 * [taylor]: Taking taylor expansion of x in x 3.478 * [backup-simplify]: Simplify 0 into 0 3.478 * [backup-simplify]: Simplify 1 into 1 3.478 * [backup-simplify]: Simplify (/ -1 1) into -1 3.478 * [taylor]: Taking taylor expansion of 0.99229 in x 3.478 * [backup-simplify]: Simplify 0.99229 into 0.99229 3.478 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.478 * [taylor]: Taking taylor expansion of -1 in x 3.478 * [backup-simplify]: Simplify -1 into -1 3.478 * [taylor]: Taking taylor expansion of x in x 3.478 * [backup-simplify]: Simplify 0 into 0 3.478 * [backup-simplify]: Simplify 1 into 1 3.479 * [backup-simplify]: Simplify (/ -1 1) into -1 3.479 * [taylor]: Taking taylor expansion of 1.0 in x 3.479 * [backup-simplify]: Simplify 1.0 into 1.0 3.479 * [backup-simplify]: Simplify (* 0.04481 -1) into -0.04481 3.479 * [backup-simplify]: Simplify (+ -0.04481 0) into (- 0.04481) 3.480 * [backup-simplify]: Simplify (* (- 0.04481) -1) into 0.04481 3.480 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 3.480 * [backup-simplify]: Simplify 0.04481 into 0.04481 3.481 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 3.481 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 3.482 * [backup-simplify]: Simplify (+ (* 0.04481 0) (* 0 -1)) into 0 3.482 * [backup-simplify]: Simplify (+ 0 0.99229) into 0.99229 3.483 * [backup-simplify]: Simplify (+ (* (- 0.04481) 0) (* 0.99229 -1)) into (- 0.99229) 3.483 * [backup-simplify]: Simplify (+ (- 0.99229) 0) into (- 0.99229) 3.484 * [backup-simplify]: Simplify (- 0.99229) into (- 0.99229) 3.484 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.485 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.485 * [backup-simplify]: Simplify (+ (* 0.04481 0) (+ (* 0 0) (* 0 -1))) into 0 3.486 * [backup-simplify]: Simplify (+ 0 0) into 0 3.486 * [backup-simplify]: Simplify (+ (* (- 0.04481) 0) (+ (* 0.99229 0) (* 0 -1))) into 0 3.487 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 3.487 * [backup-simplify]: Simplify 1.0 into 1.0 3.487 * [backup-simplify]: Simplify (+ 1.0 (+ (* (- 0.99229) (/ 1 (/ 1 (- x)))) (* 0.04481 (pow (/ 1 (/ 1 (- x))) 2)))) into (+ (* 0.99229 x) (+ (* 0.04481 (pow x 2)) 1.0)) 3.487 * * * * [progress]: [ 3 / 3 ] generating series at (2) 3.487 * [backup-simplify]: Simplify (- x (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) into (- x (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) 3.487 * [approximate]: Taking taylor expansion of (- x (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) in (x) around 0 3.487 * [taylor]: Taking taylor expansion of (- x (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) in x 3.487 * [taylor]: Taking taylor expansion of x in x 3.487 * [backup-simplify]: Simplify 0 into 0 3.487 * [backup-simplify]: Simplify 1 into 1 3.487 * [taylor]: Taking taylor expansion of (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) in x 3.487 * [taylor]: Taking taylor expansion of (fma 0.27061 x 2.30753) in x 3.488 * [taylor]: Rewrote expression to (+ (* 0.27061 x) 2.30753) 3.488 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x 3.488 * [taylor]: Taking taylor expansion of 0.27061 in x 3.488 * [backup-simplify]: Simplify 0.27061 into 0.27061 3.488 * [taylor]: Taking taylor expansion of x in x 3.488 * [backup-simplify]: Simplify 0 into 0 3.488 * [backup-simplify]: Simplify 1 into 1 3.488 * [taylor]: Taking taylor expansion of 2.30753 in x 3.488 * [backup-simplify]: Simplify 2.30753 into 2.30753 3.488 * [taylor]: Taking taylor expansion of (fma (fma 0.04481 x 0.99229) x 1.0) in x 3.488 * [taylor]: Rewrote expression to (+ (* (fma 0.04481 x 0.99229) x) 1.0) 3.488 * [taylor]: Taking taylor expansion of (* (fma 0.04481 x 0.99229) x) in x 3.488 * [taylor]: Taking taylor expansion of (fma 0.04481 x 0.99229) in x 3.488 * [taylor]: Rewrote expression to (+ (* 0.04481 x) 0.99229) 3.488 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x 3.488 * [taylor]: Taking taylor expansion of 0.04481 in x 3.488 * [backup-simplify]: Simplify 0.04481 into 0.04481 3.488 * [taylor]: Taking taylor expansion of x in x 3.488 * [backup-simplify]: Simplify 0 into 0 3.488 * [backup-simplify]: Simplify 1 into 1 3.488 * [taylor]: Taking taylor expansion of 0.99229 in x 3.488 * [backup-simplify]: Simplify 0.99229 into 0.99229 3.488 * [taylor]: Taking taylor expansion of x in x 3.488 * [backup-simplify]: Simplify 0 into 0 3.488 * [backup-simplify]: Simplify 1 into 1 3.488 * [taylor]: Taking taylor expansion of 1.0 in x 3.488 * [backup-simplify]: Simplify 1.0 into 1.0 3.488 * [backup-simplify]: Simplify (* 0.27061 0) into 0 3.489 * [backup-simplify]: Simplify (+ 0 2.30753) into 2.30753 3.489 * [backup-simplify]: Simplify (* 0.04481 0) into 0 3.489 * [backup-simplify]: Simplify (+ 0 0.99229) into 0.99229 3.490 * [backup-simplify]: Simplify (* 0.99229 0) into 0 3.490 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 3.490 * [backup-simplify]: Simplify (/ 2.30753 1.0) into 2.30753 3.490 * [taylor]: Taking taylor expansion of (- x (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) in x 3.490 * [taylor]: Taking taylor expansion of x in x 3.490 * [backup-simplify]: Simplify 0 into 0 3.490 * [backup-simplify]: Simplify 1 into 1 3.490 * [taylor]: Taking taylor expansion of (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) in x 3.490 * [taylor]: Taking taylor expansion of (fma 0.27061 x 2.30753) in x 3.490 * [taylor]: Rewrote expression to (+ (* 0.27061 x) 2.30753) 3.490 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x 3.490 * [taylor]: Taking taylor expansion of 0.27061 in x 3.490 * [backup-simplify]: Simplify 0.27061 into 0.27061 3.490 * [taylor]: Taking taylor expansion of x in x 3.490 * [backup-simplify]: Simplify 0 into 0 3.490 * [backup-simplify]: Simplify 1 into 1 3.490 * [taylor]: Taking taylor expansion of 2.30753 in x 3.490 * [backup-simplify]: Simplify 2.30753 into 2.30753 3.490 * [taylor]: Taking taylor expansion of (fma (fma 0.04481 x 0.99229) x 1.0) in x 3.491 * [taylor]: Rewrote expression to (+ (* (fma 0.04481 x 0.99229) x) 1.0) 3.491 * [taylor]: Taking taylor expansion of (* (fma 0.04481 x 0.99229) x) in x 3.491 * [taylor]: Taking taylor expansion of (fma 0.04481 x 0.99229) in x 3.491 * [taylor]: Rewrote expression to (+ (* 0.04481 x) 0.99229) 3.491 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x 3.491 * [taylor]: Taking taylor expansion of 0.04481 in x 3.491 * [backup-simplify]: Simplify 0.04481 into 0.04481 3.491 * [taylor]: Taking taylor expansion of x in x 3.491 * [backup-simplify]: Simplify 0 into 0 3.491 * [backup-simplify]: Simplify 1 into 1 3.491 * [taylor]: Taking taylor expansion of 0.99229 in x 3.491 * [backup-simplify]: Simplify 0.99229 into 0.99229 3.491 * [taylor]: Taking taylor expansion of x in x 3.491 * [backup-simplify]: Simplify 0 into 0 3.491 * [backup-simplify]: Simplify 1 into 1 3.491 * [taylor]: Taking taylor expansion of 1.0 in x 3.491 * [backup-simplify]: Simplify 1.0 into 1.0 3.491 * [backup-simplify]: Simplify (* 0.27061 0) into 0 3.491 * [backup-simplify]: Simplify (+ 0 2.30753) into 2.30753 3.492 * [backup-simplify]: Simplify (* 0.04481 0) into 0 3.492 * [backup-simplify]: Simplify (+ 0 0.99229) into 0.99229 3.492 * [backup-simplify]: Simplify (* 0.99229 0) into 0 3.492 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 3.493 * [backup-simplify]: Simplify (/ 2.30753 1.0) into 2.30753 3.493 * [backup-simplify]: Simplify (- 2.30753) into (- 2.30753) 3.494 * [backup-simplify]: Simplify (+ 0 (- 2.30753)) into (- 2.30753) 3.494 * [backup-simplify]: Simplify (- 2.30753) into (- 2.30753) 3.495 * [backup-simplify]: Simplify (+ (* 0.27061 1) (* 0 0)) into 0.27061 3.495 * [backup-simplify]: Simplify (+ 0.27061 0) into 0.27061 3.496 * [backup-simplify]: Simplify (+ (* 0.04481 1) (* 0 0)) into 0.04481 3.496 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 3.497 * [backup-simplify]: Simplify (+ (* 0.99229 1) (* 0.04481 0)) into 0.99229 3.497 * [backup-simplify]: Simplify (+ 0.99229 0) into 0.99229 3.499 * [backup-simplify]: Simplify (- (/ 0.27061 1.0) (+ (* 2.30753 (/ 0.99229 1.0)))) into (- 2.0191289436999997) 3.500 * [backup-simplify]: Simplify (- (- 2.0191289436999997)) into 2.0191289436999997 3.500 * [backup-simplify]: Simplify (+ 1 2.0191289436999997) into 3.0191289436999997 3.500 * [backup-simplify]: Simplify 3.0191289436999997 into 3.0191289436999997 3.501 * [backup-simplify]: Simplify (+ (* 0.27061 0) (+ (* 0 1) (* 0 0))) into 0 3.501 * [backup-simplify]: Simplify (+ 0 0) into 0 3.501 * [backup-simplify]: Simplify (+ (* 0.04481 0) (+ (* 0 1) (* 0 0))) into 0 3.502 * [backup-simplify]: Simplify (+ 0 0) into 0 3.503 * [backup-simplify]: Simplify (+ (* 0.99229 0) (+ (* 0.04481 1) (* 0 0))) into 0.04481 3.504 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 3.509 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 2.30753 (/ 0.04481 1.0)) (* (- 2.0191289436999997) (/ 0.99229 1.0)))) into 1.900161040244073 3.509 * [backup-simplify]: Simplify (- 1.900161040244073) into (- 1.900161040244073) 3.510 * [backup-simplify]: Simplify (+ 0 (- 1.900161040244073)) into (- 1.900161040244073) 3.510 * [backup-simplify]: Simplify (- 1.900161040244073) into (- 1.900161040244073) 3.511 * [backup-simplify]: Simplify (+ (* (- 1.900161040244073) (pow x 2)) (+ (* 3.0191289436999997 x) (- 2.30753))) into (- (* 3.0191289436999997 x) (+ (* 1.900161040244073 (pow x 2)) 2.30753)) 3.511 * [backup-simplify]: Simplify (- (/ 1 x) (/ (fma 0.27061 (/ 1 x) 2.30753) (fma (fma 0.04481 (/ 1 x) 0.99229) (/ 1 x) 1.0))) into (- (/ 1 x) (/ (fma 0.27061 (/ 1 x) 2.30753) (fma (fma 0.04481 (/ 1 x) 0.99229) (/ 1 x) 1.0))) 3.511 * [approximate]: Taking taylor expansion of (- (/ 1 x) (/ (fma 0.27061 (/ 1 x) 2.30753) (fma (fma 0.04481 (/ 1 x) 0.99229) (/ 1 x) 1.0))) in (x) around 0 3.511 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ (fma 0.27061 (/ 1 x) 2.30753) (fma (fma 0.04481 (/ 1 x) 0.99229) (/ 1 x) 1.0))) in x 3.511 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.511 * [taylor]: Taking taylor expansion of x in x 3.511 * [backup-simplify]: Simplify 0 into 0 3.511 * [backup-simplify]: Simplify 1 into 1 3.511 * [backup-simplify]: Simplify (/ 1 1) into 1 3.511 * [taylor]: Taking taylor expansion of (/ (fma 0.27061 (/ 1 x) 2.30753) (fma (fma 0.04481 (/ 1 x) 0.99229) (/ 1 x) 1.0)) in x 3.511 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ 1 x) 2.30753) in x 3.511 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ 1 x)) 2.30753) 3.511 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 3.511 * [taylor]: Taking taylor expansion of 0.27061 in x 3.511 * [backup-simplify]: Simplify 0.27061 into 0.27061 3.511 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.511 * [taylor]: Taking taylor expansion of x in x 3.511 * [backup-simplify]: Simplify 0 into 0 3.512 * [backup-simplify]: Simplify 1 into 1 3.512 * [backup-simplify]: Simplify (/ 1 1) into 1 3.512 * [taylor]: Taking taylor expansion of 2.30753 in x 3.512 * [backup-simplify]: Simplify 2.30753 into 2.30753 3.512 * [taylor]: Taking taylor expansion of (fma (fma 0.04481 (/ 1 x) 0.99229) (/ 1 x) 1.0) in x 3.512 * [taylor]: Rewrote expression to (+ (* (fma 0.04481 (/ 1 x) 0.99229) (/ 1 x)) 1.0) 3.512 * [taylor]: Taking taylor expansion of (* (fma 0.04481 (/ 1 x) 0.99229) (/ 1 x)) in x 3.512 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ 1 x) 0.99229) in x 3.512 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ 1 x)) 0.99229) 3.512 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 3.512 * [taylor]: Taking taylor expansion of 0.04481 in x 3.512 * [backup-simplify]: Simplify 0.04481 into 0.04481 3.512 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.512 * [taylor]: Taking taylor expansion of x in x 3.512 * [backup-simplify]: Simplify 0 into 0 3.512 * [backup-simplify]: Simplify 1 into 1 3.512 * [backup-simplify]: Simplify (/ 1 1) into 1 3.512 * [taylor]: Taking taylor expansion of 0.99229 in x 3.512 * [backup-simplify]: Simplify 0.99229 into 0.99229 3.512 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.512 * [taylor]: Taking taylor expansion of x in x 3.513 * [backup-simplify]: Simplify 0 into 0 3.513 * [backup-simplify]: Simplify 1 into 1 3.513 * [backup-simplify]: Simplify (/ 1 1) into 1 3.513 * [taylor]: Taking taylor expansion of 1.0 in x 3.513 * [backup-simplify]: Simplify 1.0 into 1.0 3.513 * [backup-simplify]: Simplify (* 0.27061 1) into 0.27061 3.513 * [backup-simplify]: Simplify (+ 0.27061 0) into 0.27061 3.514 * [backup-simplify]: Simplify (* 0.04481 1) into 0.04481 3.514 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 3.514 * [backup-simplify]: Simplify (* 0.04481 1) into 0.04481 3.514 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 3.515 * [backup-simplify]: Simplify (/ 0.27061 0.04481) into 6.039053782637804 3.515 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ (fma 0.27061 (/ 1 x) 2.30753) (fma (fma 0.04481 (/ 1 x) 0.99229) (/ 1 x) 1.0))) in x 3.515 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.515 * [taylor]: Taking taylor expansion of x in x 3.515 * [backup-simplify]: Simplify 0 into 0 3.515 * [backup-simplify]: Simplify 1 into 1 3.515 * [backup-simplify]: Simplify (/ 1 1) into 1 3.515 * [taylor]: Taking taylor expansion of (/ (fma 0.27061 (/ 1 x) 2.30753) (fma (fma 0.04481 (/ 1 x) 0.99229) (/ 1 x) 1.0)) in x 3.515 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ 1 x) 2.30753) in x 3.515 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ 1 x)) 2.30753) 3.515 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 3.515 * [taylor]: Taking taylor expansion of 0.27061 in x 3.515 * [backup-simplify]: Simplify 0.27061 into 0.27061 3.515 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.515 * [taylor]: Taking taylor expansion of x in x 3.515 * [backup-simplify]: Simplify 0 into 0 3.515 * [backup-simplify]: Simplify 1 into 1 3.516 * [backup-simplify]: Simplify (/ 1 1) into 1 3.516 * [taylor]: Taking taylor expansion of 2.30753 in x 3.516 * [backup-simplify]: Simplify 2.30753 into 2.30753 3.516 * [taylor]: Taking taylor expansion of (fma (fma 0.04481 (/ 1 x) 0.99229) (/ 1 x) 1.0) in x 3.516 * [taylor]: Rewrote expression to (+ (* (fma 0.04481 (/ 1 x) 0.99229) (/ 1 x)) 1.0) 3.516 * [taylor]: Taking taylor expansion of (* (fma 0.04481 (/ 1 x) 0.99229) (/ 1 x)) in x 3.516 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ 1 x) 0.99229) in x 3.516 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ 1 x)) 0.99229) 3.516 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 3.516 * [taylor]: Taking taylor expansion of 0.04481 in x 3.516 * [backup-simplify]: Simplify 0.04481 into 0.04481 3.516 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.516 * [taylor]: Taking taylor expansion of x in x 3.516 * [backup-simplify]: Simplify 0 into 0 3.516 * [backup-simplify]: Simplify 1 into 1 3.516 * [backup-simplify]: Simplify (/ 1 1) into 1 3.516 * [taylor]: Taking taylor expansion of 0.99229 in x 3.516 * [backup-simplify]: Simplify 0.99229 into 0.99229 3.516 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.516 * [taylor]: Taking taylor expansion of x in x 3.516 * [backup-simplify]: Simplify 0 into 0 3.516 * [backup-simplify]: Simplify 1 into 1 3.517 * [backup-simplify]: Simplify (/ 1 1) into 1 3.517 * [taylor]: Taking taylor expansion of 1.0 in x 3.517 * [backup-simplify]: Simplify 1.0 into 1.0 3.517 * [backup-simplify]: Simplify (* 0.27061 1) into 0.27061 3.517 * [backup-simplify]: Simplify (+ 0.27061 0) into 0.27061 3.517 * [backup-simplify]: Simplify (* 0.04481 1) into 0.04481 3.518 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 3.518 * [backup-simplify]: Simplify (* 0.04481 1) into 0.04481 3.518 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 3.519 * [backup-simplify]: Simplify (/ 0.27061 0.04481) into 6.039053782637804 3.519 * [backup-simplify]: Simplify (+ 1 0) into 1 3.519 * [backup-simplify]: Simplify 1 into 1 3.519 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.520 * [backup-simplify]: Simplify (+ 0 0) into 0 3.520 * [backup-simplify]: Simplify 0 into 0 3.520 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.520 * [backup-simplify]: Simplify (- 6.039053782637804) into (- 6.039053782637804) 3.521 * [backup-simplify]: Simplify (+ 0 (- 6.039053782637804)) into (- 6.039053782637804) 3.521 * [backup-simplify]: Simplify (- 6.039053782637804) into (- 6.039053782637804) 3.522 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.522 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.523 * [backup-simplify]: Simplify (+ (* 0.27061 0) (* 0 1)) into 0 3.523 * [backup-simplify]: Simplify (+ 0 2.30753) into 2.30753 3.523 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.524 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.524 * [backup-simplify]: Simplify (+ (* 0.04481 0) (* 0 1)) into 0 3.524 * [backup-simplify]: Simplify (+ 0 0.99229) into 0.99229 3.525 * [backup-simplify]: Simplify (+ (* 0.04481 0) (* 0.99229 1)) into 0.99229 3.526 * [backup-simplify]: Simplify (+ 0.99229 0) into 0.99229 3.528 * [backup-simplify]: Simplify (- (/ 2.30753 0.04481) (+ (* 6.039053782637804 (/ 0.99229 0.04481)))) into (- 82.23527511657369) 3.528 * [backup-simplify]: Simplify (- (- 82.23527511657369)) into 82.23527511657369 3.528 * [backup-simplify]: Simplify (+ 0 82.23527511657369) into 82.23527511657369 3.528 * [backup-simplify]: Simplify 82.23527511657369 into 82.23527511657369 3.529 * [backup-simplify]: Simplify (+ (* 82.23527511657369 (pow (/ 1 x) 2)) (+ (* (- 6.039053782637804) (/ 1 x)) (* 1 (/ 1 (/ 1 x))))) into (- (+ x (* 82.23527511657369 (/ 1 (pow x 2)))) (* 6.039053782637804 (/ 1 x))) 3.529 * [backup-simplify]: Simplify (- (/ 1 (- x)) (/ (fma 0.27061 (/ 1 (- x)) 2.30753) (fma (fma 0.04481 (/ 1 (- x)) 0.99229) (/ 1 (- x)) 1.0))) into (- (+ (/ (fma 0.27061 (/ -1 x) 2.30753) (fma (fma 0.04481 (/ -1 x) 0.99229) (/ -1 x) 1.0)) (/ 1 x))) 3.529 * [approximate]: Taking taylor expansion of (- (+ (/ (fma 0.27061 (/ -1 x) 2.30753) (fma (fma 0.04481 (/ -1 x) 0.99229) (/ -1 x) 1.0)) (/ 1 x))) in (x) around 0 3.529 * [taylor]: Taking taylor expansion of (- (+ (/ (fma 0.27061 (/ -1 x) 2.30753) (fma (fma 0.04481 (/ -1 x) 0.99229) (/ -1 x) 1.0)) (/ 1 x))) in x 3.529 * [taylor]: Taking taylor expansion of (+ (/ (fma 0.27061 (/ -1 x) 2.30753) (fma (fma 0.04481 (/ -1 x) 0.99229) (/ -1 x) 1.0)) (/ 1 x)) in x 3.529 * [taylor]: Taking taylor expansion of (/ (fma 0.27061 (/ -1 x) 2.30753) (fma (fma 0.04481 (/ -1 x) 0.99229) (/ -1 x) 1.0)) in x 3.529 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ -1 x) 2.30753) in x 3.530 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ -1 x)) 2.30753) 3.530 * [taylor]: Taking taylor expansion of (* 0.27061 (/ -1 x)) in x 3.530 * [taylor]: Taking taylor expansion of 0.27061 in x 3.530 * [backup-simplify]: Simplify 0.27061 into 0.27061 3.530 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.530 * [taylor]: Taking taylor expansion of -1 in x 3.530 * [backup-simplify]: Simplify -1 into -1 3.530 * [taylor]: Taking taylor expansion of x in x 3.530 * [backup-simplify]: Simplify 0 into 0 3.530 * [backup-simplify]: Simplify 1 into 1 3.530 * [backup-simplify]: Simplify (/ -1 1) into -1 3.530 * [taylor]: Taking taylor expansion of 2.30753 in x 3.530 * [backup-simplify]: Simplify 2.30753 into 2.30753 3.530 * [taylor]: Taking taylor expansion of (fma (fma 0.04481 (/ -1 x) 0.99229) (/ -1 x) 1.0) in x 3.531 * [taylor]: Rewrote expression to (+ (* (fma 0.04481 (/ -1 x) 0.99229) (/ -1 x)) 1.0) 3.531 * [taylor]: Taking taylor expansion of (* (fma 0.04481 (/ -1 x) 0.99229) (/ -1 x)) in x 3.531 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ -1 x) 0.99229) in x 3.531 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ -1 x)) 0.99229) 3.531 * [taylor]: Taking taylor expansion of (* 0.04481 (/ -1 x)) in x 3.531 * [taylor]: Taking taylor expansion of 0.04481 in x 3.531 * [backup-simplify]: Simplify 0.04481 into 0.04481 3.531 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.531 * [taylor]: Taking taylor expansion of -1 in x 3.531 * [backup-simplify]: Simplify -1 into -1 3.531 * [taylor]: Taking taylor expansion of x in x 3.531 * [backup-simplify]: Simplify 0 into 0 3.531 * [backup-simplify]: Simplify 1 into 1 3.531 * [backup-simplify]: Simplify (/ -1 1) into -1 3.531 * [taylor]: Taking taylor expansion of 0.99229 in x 3.531 * [backup-simplify]: Simplify 0.99229 into 0.99229 3.531 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.532 * [taylor]: Taking taylor expansion of -1 in x 3.532 * [backup-simplify]: Simplify -1 into -1 3.532 * [taylor]: Taking taylor expansion of x in x 3.532 * [backup-simplify]: Simplify 0 into 0 3.532 * [backup-simplify]: Simplify 1 into 1 3.532 * [backup-simplify]: Simplify (/ -1 1) into -1 3.532 * [taylor]: Taking taylor expansion of 1.0 in x 3.532 * [backup-simplify]: Simplify 1.0 into 1.0 3.533 * [backup-simplify]: Simplify (* 0.27061 -1) into -0.27061 3.533 * [backup-simplify]: Simplify (+ -0.27061 0) into (- 0.27061) 3.533 * [backup-simplify]: Simplify (* 0.04481 -1) into -0.04481 3.534 * [backup-simplify]: Simplify (+ -0.04481 0) into (- 0.04481) 3.535 * [backup-simplify]: Simplify (* (- 0.04481) -1) into 0.04481 3.535 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 3.536 * [backup-simplify]: Simplify (/ (- 0.27061) 0.04481) into -6.039053782637804 3.536 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.536 * [taylor]: Taking taylor expansion of x in x 3.536 * [backup-simplify]: Simplify 0 into 0 3.536 * [backup-simplify]: Simplify 1 into 1 3.537 * [backup-simplify]: Simplify (/ 1 1) into 1 3.537 * [taylor]: Taking taylor expansion of (- (+ (/ (fma 0.27061 (/ -1 x) 2.30753) (fma (fma 0.04481 (/ -1 x) 0.99229) (/ -1 x) 1.0)) (/ 1 x))) in x 3.537 * [taylor]: Taking taylor expansion of (+ (/ (fma 0.27061 (/ -1 x) 2.30753) (fma (fma 0.04481 (/ -1 x) 0.99229) (/ -1 x) 1.0)) (/ 1 x)) in x 3.537 * [taylor]: Taking taylor expansion of (/ (fma 0.27061 (/ -1 x) 2.30753) (fma (fma 0.04481 (/ -1 x) 0.99229) (/ -1 x) 1.0)) in x 3.537 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ -1 x) 2.30753) in x 3.537 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ -1 x)) 2.30753) 3.537 * [taylor]: Taking taylor expansion of (* 0.27061 (/ -1 x)) in x 3.537 * [taylor]: Taking taylor expansion of 0.27061 in x 3.537 * [backup-simplify]: Simplify 0.27061 into 0.27061 3.537 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.537 * [taylor]: Taking taylor expansion of -1 in x 3.537 * [backup-simplify]: Simplify -1 into -1 3.537 * [taylor]: Taking taylor expansion of x in x 3.537 * [backup-simplify]: Simplify 0 into 0 3.537 * [backup-simplify]: Simplify 1 into 1 3.538 * [backup-simplify]: Simplify (/ -1 1) into -1 3.538 * [taylor]: Taking taylor expansion of 2.30753 in x 3.538 * [backup-simplify]: Simplify 2.30753 into 2.30753 3.538 * [taylor]: Taking taylor expansion of (fma (fma 0.04481 (/ -1 x) 0.99229) (/ -1 x) 1.0) in x 3.538 * [taylor]: Rewrote expression to (+ (* (fma 0.04481 (/ -1 x) 0.99229) (/ -1 x)) 1.0) 3.538 * [taylor]: Taking taylor expansion of (* (fma 0.04481 (/ -1 x) 0.99229) (/ -1 x)) in x 3.538 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ -1 x) 0.99229) in x 3.538 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ -1 x)) 0.99229) 3.538 * [taylor]: Taking taylor expansion of (* 0.04481 (/ -1 x)) in x 3.538 * [taylor]: Taking taylor expansion of 0.04481 in x 3.538 * [backup-simplify]: Simplify 0.04481 into 0.04481 3.538 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.538 * [taylor]: Taking taylor expansion of -1 in x 3.538 * [backup-simplify]: Simplify -1 into -1 3.538 * [taylor]: Taking taylor expansion of x in x 3.538 * [backup-simplify]: Simplify 0 into 0 3.538 * [backup-simplify]: Simplify 1 into 1 3.539 * [backup-simplify]: Simplify (/ -1 1) into -1 3.539 * [taylor]: Taking taylor expansion of 0.99229 in x 3.539 * [backup-simplify]: Simplify 0.99229 into 0.99229 3.539 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.539 * [taylor]: Taking taylor expansion of -1 in x 3.539 * [backup-simplify]: Simplify -1 into -1 3.539 * [taylor]: Taking taylor expansion of x in x 3.539 * [backup-simplify]: Simplify 0 into 0 3.539 * [backup-simplify]: Simplify 1 into 1 3.540 * [backup-simplify]: Simplify (/ -1 1) into -1 3.540 * [taylor]: Taking taylor expansion of 1.0 in x 3.540 * [backup-simplify]: Simplify 1.0 into 1.0 3.540 * [backup-simplify]: Simplify (* 0.27061 -1) into -0.27061 3.541 * [backup-simplify]: Simplify (+ -0.27061 0) into (- 0.27061) 3.541 * [backup-simplify]: Simplify (* 0.04481 -1) into -0.04481 3.541 * [backup-simplify]: Simplify (+ -0.04481 0) into (- 0.04481) 3.542 * [backup-simplify]: Simplify (* (- 0.04481) -1) into 0.04481 3.543 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 3.544 * [backup-simplify]: Simplify (/ (- 0.27061) 0.04481) into -6.039053782637804 3.544 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.544 * [taylor]: Taking taylor expansion of x in x 3.544 * [backup-simplify]: Simplify 0 into 0 3.544 * [backup-simplify]: Simplify 1 into 1 3.544 * [backup-simplify]: Simplify (/ 1 1) into 1 3.545 * [backup-simplify]: Simplify (+ 0 1) into 1 3.545 * [backup-simplify]: Simplify (- 1) into -1 3.545 * [backup-simplify]: Simplify -1 into -1 3.546 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.546 * [backup-simplify]: Simplify (+ 0 0) into 0 3.547 * [backup-simplify]: Simplify (- 0) into 0 3.547 * [backup-simplify]: Simplify 0 into 0 3.548 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.548 * [backup-simplify]: Simplify (+ -6.039053782637804 0) into (- 6.039053782637804) 3.549 * [backup-simplify]: Simplify (- (- 6.039053782637804)) into 6.039053782637804 3.549 * [backup-simplify]: Simplify 6.039053782637804 into 6.039053782637804 3.550 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 3.551 * [backup-simplify]: Simplify (+ (* 0.27061 0) (* 0 -1)) into 0 3.551 * [backup-simplify]: Simplify (+ 0 2.30753) into 2.30753 3.552 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 3.553 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 3.554 * [backup-simplify]: Simplify (+ (* 0.04481 0) (* 0 -1)) into 0 3.554 * [backup-simplify]: Simplify (+ 0 0.99229) into 0.99229 3.556 * [backup-simplify]: Simplify (+ (* (- 0.04481) 0) (* 0.99229 -1)) into (- 0.99229) 3.557 * [backup-simplify]: Simplify (+ (- 0.99229) 0) into (- 0.99229) 3.561 * [backup-simplify]: Simplify (- (/ 2.30753 0.04481) (+ (* -6.039053782637804 (/ (- 0.99229) 0.04481)))) into (- 82.23527511657369) 3.562 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.563 * [backup-simplify]: Simplify (+ (- 82.23527511657369) 0) into (- 82.23527511657369) 3.564 * [backup-simplify]: Simplify (- (- 82.23527511657369)) into 82.23527511657369 3.564 * [backup-simplify]: Simplify 82.23527511657369 into 82.23527511657369 3.564 * [backup-simplify]: Simplify (+ (* 82.23527511657369 (pow (/ 1 (- x)) 2)) (+ (* 6.039053782637804 (/ 1 (- x))) (* -1 (/ 1 (/ 1 (- x)))))) into (- (+ x (* 82.23527511657369 (/ 1 (pow x 2)))) (* 6.039053782637804 (/ 1 x))) 3.565 * * * [progress]: simplifying candidates 3.565 * * * * [progress]: [ 1 / 110 ] simplifiying candidate # 3.565 * * * * [progress]: [ 2 / 110 ] simplifiying candidate # 3.565 * * * * [progress]: [ 3 / 110 ] simplifiying candidate # 3.565 * * * * [progress]: [ 4 / 110 ] simplifiying candidate # 3.565 * * * * [progress]: [ 5 / 110 ] simplifiying candidate # 3.565 * * * * [progress]: [ 6 / 110 ] simplifiying candidate # 3.565 * * * * [progress]: [ 7 / 110 ] simplifiying candidate # 3.565 * * * * [progress]: [ 8 / 110 ] simplifiying candidate # 3.565 * * * * [progress]: [ 9 / 110 ] simplifiying candidate # 3.565 * * * * [progress]: [ 10 / 110 ] simplifiying candidate # 3.565 * * * * [progress]: [ 11 / 110 ] simplifiying candidate # 3.565 * * * * [progress]: [ 12 / 110 ] simplifiying candidate # 3.565 * * * * [progress]: [ 13 / 110 ] simplifiying candidate # 3.566 * * * * [progress]: [ 14 / 110 ] simplifiying candidate # 3.566 * * * * [progress]: [ 15 / 110 ] simplifiying candidate # 3.566 * * * * [progress]: [ 16 / 110 ] simplifiying candidate # 3.566 * * * * [progress]: [ 17 / 110 ] simplifiying candidate # 3.566 * * * * [progress]: [ 18 / 110 ] simplifiying candidate # 3.566 * * * * [progress]: [ 19 / 110 ] simplifiying candidate # 3.566 * * * * [progress]: [ 20 / 110 ] simplifiying candidate # 3.566 * * * * [progress]: [ 21 / 110 ] simplifiying candidate # 3.566 * * * * [progress]: [ 22 / 110 ] simplifiying candidate # 3.566 * * * * [progress]: [ 23 / 110 ] simplifiying candidate # 3.566 * * * * [progress]: [ 24 / 110 ] simplifiying candidate # 3.566 * * * * [progress]: [ 25 / 110 ] simplifiying candidate # 3.566 * * * * [progress]: [ 26 / 110 ] simplifiying candidate # 3.567 * * * * [progress]: [ 27 / 110 ] simplifiying candidate # 3.567 * * * * [progress]: [ 28 / 110 ] simplifiying candidate # 3.567 * * * * [progress]: [ 29 / 110 ] simplifiying candidate # 3.567 * * * * [progress]: [ 30 / 110 ] simplifiying candidate #real (real->posit16 (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))))))> 3.567 * * * * [progress]: [ 31 / 110 ] simplifiying candidate # 3.567 * * * * [progress]: [ 32 / 110 ] simplifiying candidate # 3.567 * * * * [progress]: [ 33 / 110 ] simplifiying candidate # 3.567 * * * * [progress]: [ 34 / 110 ] simplifiying candidate # 3.567 * * * * [progress]: [ 35 / 110 ] simplifiying candidate # 3.567 * * * * [progress]: [ 36 / 110 ] simplifiying candidate # 3.567 * * * * [progress]: [ 37 / 110 ] simplifiying candidate # 3.567 * * * * [progress]: [ 38 / 110 ] simplifiying candidate # 3.567 * * * * [progress]: [ 39 / 110 ] simplifiying candidate # 3.567 * * * * [progress]: [ 40 / 110 ] simplifiying candidate # 3.567 * * * * [progress]: [ 41 / 110 ] simplifiying candidate #real (real->posit16 (fma (fma 0.04481 x 0.99229) x 1.0))))))> 3.568 * * * * [progress]: [ 42 / 110 ] simplifiying candidate # 3.568 * * * * [progress]: [ 43 / 110 ] simplifiying candidate # 3.568 * * * * [progress]: [ 44 / 110 ] simplifiying candidate # 3.568 * * * * [progress]: [ 45 / 110 ] simplifiying candidate # 3.568 * * * * [progress]: [ 46 / 110 ] simplifiying candidate # 3.568 * * * * [progress]: [ 47 / 110 ] simplifiying candidate # 3.568 * * * * [progress]: [ 48 / 110 ] simplifiying candidate # 3.568 * * * * [progress]: [ 49 / 110 ] simplifiying candidate # 3.568 * * * * [progress]: [ 50 / 110 ] simplifiying candidate # 3.569 * * * * [progress]: [ 51 / 110 ] simplifiying candidate # 3.569 * * * * [progress]: [ 52 / 110 ] simplifiying candidate # 3.569 * * * * [progress]: [ 53 / 110 ] simplifiying candidate # 3.569 * * * * [progress]: [ 54 / 110 ] simplifiying candidate # 3.569 * * * * [progress]: [ 55 / 110 ] simplifiying candidate # 3.569 * * * * [progress]: [ 56 / 110 ] simplifiying candidate # 3.569 * * * * [progress]: [ 57 / 110 ] simplifiying candidate # 3.569 * * * * [progress]: [ 58 / 110 ] simplifiying candidate # 3.569 * * * * [progress]: [ 59 / 110 ] simplifiying candidate # 3.570 * * * * [progress]: [ 60 / 110 ] simplifiying candidate # 3.570 * * * * [progress]: [ 61 / 110 ] simplifiying candidate # 3.570 * * * * [progress]: [ 62 / 110 ] simplifiying candidate # 3.570 * * * * [progress]: [ 63 / 110 ] simplifiying candidate # 3.570 * * * * [progress]: [ 64 / 110 ] simplifiying candidate # 3.570 * * * * [progress]: [ 65 / 110 ] simplifiying candidate # 3.570 * * * * [progress]: [ 66 / 110 ] simplifiying candidate # 3.570 * * * * [progress]: [ 67 / 110 ] simplifiying candidate # 3.570 * * * * [progress]: [ 68 / 110 ] simplifiying candidate # 3.571 * * * * [progress]: [ 69 / 110 ] simplifiying candidate # 3.571 * * * * [progress]: [ 70 / 110 ] simplifiying candidate # 3.571 * * * * [progress]: [ 71 / 110 ] simplifiying candidate # 3.571 * * * * [progress]: [ 72 / 110 ] simplifiying candidate # 3.571 * * * * [progress]: [ 73 / 110 ] simplifiying candidate # 3.571 * * * * [progress]: [ 74 / 110 ] simplifiying candidate # 3.571 * * * * [progress]: [ 75 / 110 ] simplifiying candidate # 3.571 * * * * [progress]: [ 76 / 110 ] simplifiying candidate # 3.571 * * * * [progress]: [ 77 / 110 ] simplifiying candidate # 3.572 * * * * [progress]: [ 78 / 110 ] simplifiying candidate # 3.572 * * * * [progress]: [ 79 / 110 ] simplifiying candidate # 3.572 * * * * [progress]: [ 80 / 110 ] simplifiying candidate # 3.572 * * * * [progress]: [ 81 / 110 ] simplifiying candidate # 3.572 * * * * [progress]: [ 82 / 110 ] simplifiying candidate # 3.572 * * * * [progress]: [ 83 / 110 ] simplifiying candidate # 3.572 * * * * [progress]: [ 84 / 110 ] simplifiying candidate # 3.572 * * * * [progress]: [ 85 / 110 ] simplifiying candidate # 3.572 * * * * [progress]: [ 86 / 110 ] simplifiying candidate # 3.572 * * * * [progress]: [ 87 / 110 ] simplifiying candidate # 3.572 * * * * [progress]: [ 88 / 110 ] simplifiying candidate # 3.572 * * * * [progress]: [ 89 / 110 ] simplifiying candidate # 3.572 * * * * [progress]: [ 90 / 110 ] simplifiying candidate # 3.573 * * * * [progress]: [ 91 / 110 ] simplifiying candidate # 3.573 * * * * [progress]: [ 92 / 110 ] simplifiying candidate # 3.573 * * * * [progress]: [ 93 / 110 ] simplifiying candidate # 3.573 * * * * [progress]: [ 94 / 110 ] simplifiying candidate # 3.573 * * * * [progress]: [ 95 / 110 ] simplifiying candidate # 3.573 * * * * [progress]: [ 96 / 110 ] simplifiying candidate # 3.573 * * * * [progress]: [ 97 / 110 ] simplifiying candidate # 3.573 * * * * [progress]: [ 98 / 110 ] simplifiying candidate # 3.573 * * * * [progress]: [ 99 / 110 ] simplifiying candidate # 3.573 * * * * [progress]: [ 100 / 110 ] simplifiying candidate # 3.573 * * * * [progress]: [ 101 / 110 ] simplifiying candidate #real (real->posit16 (- x (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))))))> 3.573 * * * * [progress]: [ 102 / 110 ] simplifiying candidate # 3.573 * * * * [progress]: [ 103 / 110 ] simplifiying candidate # 3.574 * * * * [progress]: [ 104 / 110 ] simplifiying candidate # 3.574 * * * * [progress]: [ 105 / 110 ] simplifiying candidate # 3.574 * * * * [progress]: [ 106 / 110 ] simplifiying candidate # 3.574 * * * * [progress]: [ 107 / 110 ] simplifiying candidate # 3.574 * * * * [progress]: [ 108 / 110 ] simplifiying candidate # 3.574 * * * * [progress]: [ 109 / 110 ] simplifiying candidate # 3.574 * * * * [progress]: [ 110 / 110 ] simplifiying candidate # 3.579 * [simplify]: Simplifying: (expm1 (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) (log1p (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) (- (log (fma 0.27061 x 2.30753)) (log (fma (fma 0.04481 x 0.99229) x 1.0))) (log (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) (exp (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) (/ (* (* (fma 0.27061 x 2.30753) (fma 0.27061 x 2.30753)) (fma 0.27061 x 2.30753)) (* (* (fma (fma 0.04481 x 0.99229) x 1.0) (fma (fma 0.04481 x 0.99229) x 1.0)) (fma (fma 0.04481 x 0.99229) x 1.0))) (* (cbrt (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) (cbrt (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)))) (cbrt (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) (* (* (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) (sqrt (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) (sqrt (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) (- (fma 0.27061 x 2.30753)) (- (fma (fma 0.04481 x 0.99229) x 1.0)) (/ (* (cbrt (fma 0.27061 x 2.30753)) (cbrt (fma 0.27061 x 2.30753))) (* (cbrt (fma (fma 0.04481 x 0.99229) x 1.0)) (cbrt (fma (fma 0.04481 x 0.99229) x 1.0)))) (/ (cbrt (fma 0.27061 x 2.30753)) (cbrt (fma (fma 0.04481 x 0.99229) x 1.0))) (/ (* (cbrt (fma 0.27061 x 2.30753)) (cbrt (fma 0.27061 x 2.30753))) (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))) (/ (cbrt (fma 0.27061 x 2.30753)) (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))) (/ (* (cbrt (fma 0.27061 x 2.30753)) (cbrt (fma 0.27061 x 2.30753))) 1) (/ (cbrt (fma 0.27061 x 2.30753)) (fma (fma 0.04481 x 0.99229) x 1.0)) (/ (sqrt (fma 0.27061 x 2.30753)) (* (cbrt (fma (fma 0.04481 x 0.99229) x 1.0)) (cbrt (fma (fma 0.04481 x 0.99229) x 1.0)))) (/ (sqrt (fma 0.27061 x 2.30753)) (cbrt (fma (fma 0.04481 x 0.99229) x 1.0))) (/ (sqrt (fma 0.27061 x 2.30753)) (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))) (/ (sqrt (fma 0.27061 x 2.30753)) (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))) (/ (sqrt (fma 0.27061 x 2.30753)) 1) (/ (sqrt (fma 0.27061 x 2.30753)) (fma (fma 0.04481 x 0.99229) x 1.0)) (/ 1 (* (cbrt (fma (fma 0.04481 x 0.99229) x 1.0)) (cbrt (fma (fma 0.04481 x 0.99229) x 1.0)))) (/ (fma 0.27061 x 2.30753) (cbrt (fma (fma 0.04481 x 0.99229) x 1.0))) (/ 1 (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))) (/ (fma 0.27061 x 2.30753) (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))) (/ 1 1) (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) (/ 1 (fma (fma 0.04481 x 0.99229) x 1.0)) (/ (fma (fma 0.04481 x 0.99229) x 1.0) (fma 0.27061 x 2.30753)) (/ (fma 0.27061 x 2.30753) (* (cbrt (fma (fma 0.04481 x 0.99229) x 1.0)) (cbrt (fma (fma 0.04481 x 0.99229) x 1.0)))) (/ (fma 0.27061 x 2.30753) (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))) (/ (fma 0.27061 x 2.30753) 1) (/ (fma (fma 0.04481 x 0.99229) x 1.0) (cbrt (fma 0.27061 x 2.30753))) (/ (fma (fma 0.04481 x 0.99229) x 1.0) (sqrt (fma 0.27061 x 2.30753))) (/ (fma (fma 0.04481 x 0.99229) x 1.0) (fma 0.27061 x 2.30753)) (real->posit16 (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) (expm1 (fma (fma 0.04481 x 0.99229) x 1.0)) (log1p (fma (fma 0.04481 x 0.99229) x 1.0)) (* (fma 0.04481 x 0.99229) x) (log (fma (fma 0.04481 x 0.99229) x 1.0)) (exp (fma (fma 0.04481 x 0.99229) x 1.0)) (* (cbrt (fma (fma 0.04481 x 0.99229) x 1.0)) (cbrt (fma (fma 0.04481 x 0.99229) x 1.0))) (cbrt (fma (fma 0.04481 x 0.99229) x 1.0)) (* (* (fma (fma 0.04481 x 0.99229) x 1.0) (fma (fma 0.04481 x 0.99229) x 1.0)) (fma (fma 0.04481 x 0.99229) x 1.0)) (sqrt (fma (fma 0.04481 x 0.99229) x 1.0)) (sqrt (fma (fma 0.04481 x 0.99229) x 1.0)) (real->posit16 (fma (fma 0.04481 x 0.99229) x 1.0)) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (cbrt (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) (* (cbrt (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) (cbrt (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))))))) (fma (- (cbrt (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)))) (* (cbrt (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) (cbrt (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)))) (* (cbrt (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) (* (cbrt (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) (cbrt (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)))))) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sqrt (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) (sqrt (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)))))) (fma (- (sqrt (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)))) (sqrt (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) (* (sqrt (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) (sqrt (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))))) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (/ (cbrt (fma 0.27061 x 2.30753)) (cbrt (fma (fma 0.04481 x 0.99229) x 1.0))) (/ (* (cbrt (fma 0.27061 x 2.30753)) (cbrt (fma 0.27061 x 2.30753))) (* (cbrt (fma (fma 0.04481 x 0.99229) x 1.0)) (cbrt (fma (fma 0.04481 x 0.99229) x 1.0))))))) (fma (- (/ (cbrt (fma 0.27061 x 2.30753)) (cbrt (fma (fma 0.04481 x 0.99229) x 1.0)))) (/ (* (cbrt (fma 0.27061 x 2.30753)) (cbrt (fma 0.27061 x 2.30753))) (* (cbrt (fma (fma 0.04481 x 0.99229) x 1.0)) (cbrt (fma (fma 0.04481 x 0.99229) x 1.0)))) (* (/ (cbrt (fma 0.27061 x 2.30753)) (cbrt (fma (fma 0.04481 x 0.99229) x 1.0))) (/ (* (cbrt (fma 0.27061 x 2.30753)) (cbrt (fma 0.27061 x 2.30753))) (* (cbrt (fma (fma 0.04481 x 0.99229) x 1.0)) (cbrt (fma (fma 0.04481 x 0.99229) x 1.0)))))) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (/ (cbrt (fma 0.27061 x 2.30753)) (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))) (/ (* (cbrt (fma 0.27061 x 2.30753)) (cbrt (fma 0.27061 x 2.30753))) (sqrt (fma (fma 0.04481 x 0.99229) x 1.0)))))) (fma (- (/ (cbrt (fma 0.27061 x 2.30753)) (sqrt (fma (fma 0.04481 x 0.99229) x 1.0)))) (/ (* (cbrt (fma 0.27061 x 2.30753)) (cbrt (fma 0.27061 x 2.30753))) (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))) (* (/ (cbrt (fma 0.27061 x 2.30753)) (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))) (/ (* (cbrt (fma 0.27061 x 2.30753)) (cbrt (fma 0.27061 x 2.30753))) (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))))) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (/ (cbrt (fma 0.27061 x 2.30753)) (fma (fma 0.04481 x 0.99229) x 1.0)) (/ (* (cbrt (fma 0.27061 x 2.30753)) (cbrt (fma 0.27061 x 2.30753))) 1)))) (fma (- (/ (cbrt (fma 0.27061 x 2.30753)) (fma (fma 0.04481 x 0.99229) x 1.0))) (/ (* (cbrt (fma 0.27061 x 2.30753)) (cbrt (fma 0.27061 x 2.30753))) 1) (* (/ (cbrt (fma 0.27061 x 2.30753)) (fma (fma 0.04481 x 0.99229) x 1.0)) (/ (* (cbrt (fma 0.27061 x 2.30753)) (cbrt (fma 0.27061 x 2.30753))) 1))) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (/ (sqrt (fma 0.27061 x 2.30753)) (cbrt (fma (fma 0.04481 x 0.99229) x 1.0))) (/ (sqrt (fma 0.27061 x 2.30753)) (* (cbrt (fma (fma 0.04481 x 0.99229) x 1.0)) (cbrt (fma (fma 0.04481 x 0.99229) x 1.0))))))) (fma (- (/ (sqrt (fma 0.27061 x 2.30753)) (cbrt (fma (fma 0.04481 x 0.99229) x 1.0)))) (/ (sqrt (fma 0.27061 x 2.30753)) (* (cbrt (fma (fma 0.04481 x 0.99229) x 1.0)) (cbrt (fma (fma 0.04481 x 0.99229) x 1.0)))) (* (/ (sqrt (fma 0.27061 x 2.30753)) (cbrt (fma (fma 0.04481 x 0.99229) x 1.0))) (/ (sqrt (fma 0.27061 x 2.30753)) (* (cbrt (fma (fma 0.04481 x 0.99229) x 1.0)) (cbrt (fma (fma 0.04481 x 0.99229) x 1.0)))))) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (/ (sqrt (fma 0.27061 x 2.30753)) (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))) (/ (sqrt (fma 0.27061 x 2.30753)) (sqrt (fma (fma 0.04481 x 0.99229) x 1.0)))))) (fma (- (/ (sqrt (fma 0.27061 x 2.30753)) (sqrt (fma (fma 0.04481 x 0.99229) x 1.0)))) (/ (sqrt (fma 0.27061 x 2.30753)) (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))) (* (/ (sqrt (fma 0.27061 x 2.30753)) (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))) (/ (sqrt (fma 0.27061 x 2.30753)) (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))))) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (/ (sqrt (fma 0.27061 x 2.30753)) (fma (fma 0.04481 x 0.99229) x 1.0)) (/ (sqrt (fma 0.27061 x 2.30753)) 1)))) (fma (- (/ (sqrt (fma 0.27061 x 2.30753)) (fma (fma 0.04481 x 0.99229) x 1.0))) (/ (sqrt (fma 0.27061 x 2.30753)) 1) (* (/ (sqrt (fma 0.27061 x 2.30753)) (fma (fma 0.04481 x 0.99229) x 1.0)) (/ (sqrt (fma 0.27061 x 2.30753)) 1))) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (/ (fma 0.27061 x 2.30753) (cbrt (fma (fma 0.04481 x 0.99229) x 1.0))) (/ 1 (* (cbrt (fma (fma 0.04481 x 0.99229) x 1.0)) (cbrt (fma (fma 0.04481 x 0.99229) x 1.0))))))) (fma (- (/ (fma 0.27061 x 2.30753) (cbrt (fma (fma 0.04481 x 0.99229) x 1.0)))) (/ 1 (* (cbrt (fma (fma 0.04481 x 0.99229) x 1.0)) (cbrt (fma (fma 0.04481 x 0.99229) x 1.0)))) (* (/ (fma 0.27061 x 2.30753) (cbrt (fma (fma 0.04481 x 0.99229) x 1.0))) (/ 1 (* (cbrt (fma (fma 0.04481 x 0.99229) x 1.0)) (cbrt (fma (fma 0.04481 x 0.99229) x 1.0)))))) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (/ (fma 0.27061 x 2.30753) (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))) (/ 1 (sqrt (fma (fma 0.04481 x 0.99229) x 1.0)))))) (fma (- (/ (fma 0.27061 x 2.30753) (sqrt (fma (fma 0.04481 x 0.99229) x 1.0)))) (/ 1 (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))) (* (/ (fma 0.27061 x 2.30753) (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))) (/ 1 (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))))) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) (/ 1 1)))) (fma (- (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) (/ 1 1) (* (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) (/ 1 1))) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) 1))) (fma (- (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) 1 (* (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) 1)) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (/ 1 (fma (fma 0.04481 x 0.99229) x 1.0)) (fma 0.27061 x 2.30753)))) (fma (- (/ 1 (fma (fma 0.04481 x 0.99229) x 1.0))) (fma 0.27061 x 2.30753) (* (/ 1 (fma (fma 0.04481 x 0.99229) x 1.0)) (fma 0.27061 x 2.30753))) (fma (sqrt x) (sqrt x) (- (* (cbrt (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) (* (cbrt (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) (cbrt (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))))))) (fma (- (cbrt (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)))) (* (cbrt (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) (cbrt (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)))) (* (cbrt (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) (* (cbrt (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) (cbrt (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)))))) (fma (sqrt x) (sqrt x) (- (* (sqrt (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) (sqrt (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)))))) (fma (- (sqrt (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)))) (sqrt (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) (* (sqrt (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) (sqrt (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))))) (fma (sqrt x) (sqrt x) (- (* (/ (cbrt (fma 0.27061 x 2.30753)) (cbrt (fma (fma 0.04481 x 0.99229) x 1.0))) (/ (* (cbrt (fma 0.27061 x 2.30753)) (cbrt (fma 0.27061 x 2.30753))) (* (cbrt (fma (fma 0.04481 x 0.99229) x 1.0)) (cbrt (fma (fma 0.04481 x 0.99229) x 1.0))))))) (fma (- (/ (cbrt (fma 0.27061 x 2.30753)) (cbrt (fma (fma 0.04481 x 0.99229) x 1.0)))) (/ (* (cbrt (fma 0.27061 x 2.30753)) (cbrt (fma 0.27061 x 2.30753))) (* (cbrt (fma (fma 0.04481 x 0.99229) x 1.0)) (cbrt (fma (fma 0.04481 x 0.99229) x 1.0)))) (* (/ (cbrt (fma 0.27061 x 2.30753)) (cbrt (fma (fma 0.04481 x 0.99229) x 1.0))) (/ (* (cbrt (fma 0.27061 x 2.30753)) (cbrt (fma 0.27061 x 2.30753))) (* (cbrt (fma (fma 0.04481 x 0.99229) x 1.0)) (cbrt (fma (fma 0.04481 x 0.99229) x 1.0)))))) (fma (sqrt x) (sqrt x) (- (* (/ (cbrt (fma 0.27061 x 2.30753)) (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))) (/ (* (cbrt (fma 0.27061 x 2.30753)) (cbrt (fma 0.27061 x 2.30753))) (sqrt (fma (fma 0.04481 x 0.99229) x 1.0)))))) (fma (- (/ (cbrt (fma 0.27061 x 2.30753)) (sqrt (fma (fma 0.04481 x 0.99229) x 1.0)))) (/ (* (cbrt (fma 0.27061 x 2.30753)) (cbrt (fma 0.27061 x 2.30753))) (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))) (* (/ (cbrt (fma 0.27061 x 2.30753)) (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))) (/ (* (cbrt (fma 0.27061 x 2.30753)) (cbrt (fma 0.27061 x 2.30753))) (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))))) (fma (sqrt x) (sqrt x) (- (* (/ (cbrt (fma 0.27061 x 2.30753)) (fma (fma 0.04481 x 0.99229) x 1.0)) (/ (* (cbrt (fma 0.27061 x 2.30753)) (cbrt (fma 0.27061 x 2.30753))) 1)))) (fma (- (/ (cbrt (fma 0.27061 x 2.30753)) (fma (fma 0.04481 x 0.99229) x 1.0))) (/ (* (cbrt (fma 0.27061 x 2.30753)) (cbrt (fma 0.27061 x 2.30753))) 1) (* (/ (cbrt (fma 0.27061 x 2.30753)) (fma (fma 0.04481 x 0.99229) x 1.0)) (/ (* (cbrt (fma 0.27061 x 2.30753)) (cbrt (fma 0.27061 x 2.30753))) 1))) (fma (sqrt x) (sqrt x) (- (* (/ (sqrt (fma 0.27061 x 2.30753)) (cbrt (fma (fma 0.04481 x 0.99229) x 1.0))) (/ (sqrt (fma 0.27061 x 2.30753)) (* (cbrt (fma (fma 0.04481 x 0.99229) x 1.0)) (cbrt (fma (fma 0.04481 x 0.99229) x 1.0))))))) (fma (- (/ (sqrt (fma 0.27061 x 2.30753)) (cbrt (fma (fma 0.04481 x 0.99229) x 1.0)))) (/ (sqrt (fma 0.27061 x 2.30753)) (* (cbrt (fma (fma 0.04481 x 0.99229) x 1.0)) (cbrt (fma (fma 0.04481 x 0.99229) x 1.0)))) (* (/ (sqrt (fma 0.27061 x 2.30753)) (cbrt (fma (fma 0.04481 x 0.99229) x 1.0))) (/ (sqrt (fma 0.27061 x 2.30753)) (* (cbrt (fma (fma 0.04481 x 0.99229) x 1.0)) (cbrt (fma (fma 0.04481 x 0.99229) x 1.0)))))) (fma (sqrt x) (sqrt x) (- (* (/ (sqrt (fma 0.27061 x 2.30753)) (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))) (/ (sqrt (fma 0.27061 x 2.30753)) (sqrt (fma (fma 0.04481 x 0.99229) x 1.0)))))) (fma (- (/ (sqrt (fma 0.27061 x 2.30753)) (sqrt (fma (fma 0.04481 x 0.99229) x 1.0)))) (/ (sqrt (fma 0.27061 x 2.30753)) (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))) (* (/ (sqrt (fma 0.27061 x 2.30753)) (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))) (/ (sqrt (fma 0.27061 x 2.30753)) (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))))) (fma (sqrt x) (sqrt x) (- (* (/ (sqrt (fma 0.27061 x 2.30753)) (fma (fma 0.04481 x 0.99229) x 1.0)) (/ (sqrt (fma 0.27061 x 2.30753)) 1)))) (fma (- (/ (sqrt (fma 0.27061 x 2.30753)) (fma (fma 0.04481 x 0.99229) x 1.0))) (/ (sqrt (fma 0.27061 x 2.30753)) 1) (* (/ (sqrt (fma 0.27061 x 2.30753)) (fma (fma 0.04481 x 0.99229) x 1.0)) (/ (sqrt (fma 0.27061 x 2.30753)) 1))) (fma (sqrt x) (sqrt x) (- (* (/ (fma 0.27061 x 2.30753) (cbrt (fma (fma 0.04481 x 0.99229) x 1.0))) (/ 1 (* (cbrt (fma (fma 0.04481 x 0.99229) x 1.0)) (cbrt (fma (fma 0.04481 x 0.99229) x 1.0))))))) (fma (- (/ (fma 0.27061 x 2.30753) (cbrt (fma (fma 0.04481 x 0.99229) x 1.0)))) (/ 1 (* (cbrt (fma (fma 0.04481 x 0.99229) x 1.0)) (cbrt (fma (fma 0.04481 x 0.99229) x 1.0)))) (* (/ (fma 0.27061 x 2.30753) (cbrt (fma (fma 0.04481 x 0.99229) x 1.0))) (/ 1 (* (cbrt (fma (fma 0.04481 x 0.99229) x 1.0)) (cbrt (fma (fma 0.04481 x 0.99229) x 1.0)))))) (fma (sqrt x) (sqrt x) (- (* (/ (fma 0.27061 x 2.30753) (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))) (/ 1 (sqrt (fma (fma 0.04481 x 0.99229) x 1.0)))))) (fma (- (/ (fma 0.27061 x 2.30753) (sqrt (fma (fma 0.04481 x 0.99229) x 1.0)))) (/ 1 (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))) (* (/ (fma 0.27061 x 2.30753) (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))) (/ 1 (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))))) (fma (sqrt x) (sqrt x) (- (* (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) (/ 1 1)))) (fma (- (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) (/ 1 1) (* (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) (/ 1 1))) (fma (sqrt x) (sqrt x) (- (* (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) 1))) (fma (- (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) 1 (* (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) 1)) (fma (sqrt x) (sqrt x) (- (* (/ 1 (fma (fma 0.04481 x 0.99229) x 1.0)) (fma 0.27061 x 2.30753)))) (fma (- (/ 1 (fma (fma 0.04481 x 0.99229) x 1.0))) (fma 0.27061 x 2.30753) (* (/ 1 (fma (fma 0.04481 x 0.99229) x 1.0)) (fma 0.27061 x 2.30753))) (fma 1 x (- (* (cbrt (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) (* (cbrt (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) (cbrt (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))))))) (fma (- (cbrt (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)))) (* (cbrt (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) (cbrt (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)))) (* (cbrt (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) (* (cbrt (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) (cbrt (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)))))) (fma 1 x (- (* (sqrt (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) (sqrt (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)))))) (fma (- (sqrt (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)))) (sqrt (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) (* (sqrt (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) (sqrt (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))))) (fma 1 x (- (* (/ (cbrt (fma 0.27061 x 2.30753)) (cbrt (fma (fma 0.04481 x 0.99229) x 1.0))) (/ (* (cbrt (fma 0.27061 x 2.30753)) (cbrt (fma 0.27061 x 2.30753))) (* (cbrt (fma (fma 0.04481 x 0.99229) x 1.0)) (cbrt (fma (fma 0.04481 x 0.99229) x 1.0))))))) (fma (- (/ (cbrt (fma 0.27061 x 2.30753)) (cbrt (fma (fma 0.04481 x 0.99229) x 1.0)))) (/ (* (cbrt (fma 0.27061 x 2.30753)) (cbrt (fma 0.27061 x 2.30753))) (* (cbrt (fma (fma 0.04481 x 0.99229) x 1.0)) (cbrt (fma (fma 0.04481 x 0.99229) x 1.0)))) (* (/ (cbrt (fma 0.27061 x 2.30753)) (cbrt (fma (fma 0.04481 x 0.99229) x 1.0))) (/ (* (cbrt (fma 0.27061 x 2.30753)) (cbrt (fma 0.27061 x 2.30753))) (* (cbrt (fma (fma 0.04481 x 0.99229) x 1.0)) (cbrt (fma (fma 0.04481 x 0.99229) x 1.0)))))) (fma 1 x (- (* (/ (cbrt (fma 0.27061 x 2.30753)) (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))) (/ (* (cbrt (fma 0.27061 x 2.30753)) (cbrt (fma 0.27061 x 2.30753))) (sqrt (fma (fma 0.04481 x 0.99229) x 1.0)))))) (fma (- (/ (cbrt (fma 0.27061 x 2.30753)) (sqrt (fma (fma 0.04481 x 0.99229) x 1.0)))) (/ (* (cbrt (fma 0.27061 x 2.30753)) (cbrt (fma 0.27061 x 2.30753))) (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))) (* (/ (cbrt (fma 0.27061 x 2.30753)) (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))) (/ (* (cbrt (fma 0.27061 x 2.30753)) (cbrt (fma 0.27061 x 2.30753))) (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))))) (fma 1 x (- (* (/ (cbrt (fma 0.27061 x 2.30753)) (fma (fma 0.04481 x 0.99229) x 1.0)) (/ (* (cbrt (fma 0.27061 x 2.30753)) (cbrt (fma 0.27061 x 2.30753))) 1)))) (fma (- (/ (cbrt (fma 0.27061 x 2.30753)) (fma (fma 0.04481 x 0.99229) x 1.0))) (/ (* (cbrt (fma 0.27061 x 2.30753)) (cbrt (fma 0.27061 x 2.30753))) 1) (* (/ (cbrt (fma 0.27061 x 2.30753)) (fma (fma 0.04481 x 0.99229) x 1.0)) (/ (* (cbrt (fma 0.27061 x 2.30753)) (cbrt (fma 0.27061 x 2.30753))) 1))) (fma 1 x (- (* (/ (sqrt (fma 0.27061 x 2.30753)) (cbrt (fma (fma 0.04481 x 0.99229) x 1.0))) (/ (sqrt (fma 0.27061 x 2.30753)) (* (cbrt (fma (fma 0.04481 x 0.99229) x 1.0)) (cbrt (fma (fma 0.04481 x 0.99229) x 1.0))))))) (fma (- (/ (sqrt (fma 0.27061 x 2.30753)) (cbrt (fma (fma 0.04481 x 0.99229) x 1.0)))) (/ (sqrt (fma 0.27061 x 2.30753)) (* (cbrt (fma (fma 0.04481 x 0.99229) x 1.0)) (cbrt (fma (fma 0.04481 x 0.99229) x 1.0)))) (* (/ (sqrt (fma 0.27061 x 2.30753)) (cbrt (fma (fma 0.04481 x 0.99229) x 1.0))) (/ (sqrt (fma 0.27061 x 2.30753)) (* (cbrt (fma (fma 0.04481 x 0.99229) x 1.0)) (cbrt (fma (fma 0.04481 x 0.99229) x 1.0)))))) (fma 1 x (- (* (/ (sqrt (fma 0.27061 x 2.30753)) (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))) (/ (sqrt (fma 0.27061 x 2.30753)) (sqrt (fma (fma 0.04481 x 0.99229) x 1.0)))))) (fma (- (/ (sqrt (fma 0.27061 x 2.30753)) (sqrt (fma (fma 0.04481 x 0.99229) x 1.0)))) (/ (sqrt (fma 0.27061 x 2.30753)) (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))) (* (/ (sqrt (fma 0.27061 x 2.30753)) (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))) (/ (sqrt (fma 0.27061 x 2.30753)) (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))))) (fma 1 x (- (* (/ (sqrt (fma 0.27061 x 2.30753)) (fma (fma 0.04481 x 0.99229) x 1.0)) (/ (sqrt (fma 0.27061 x 2.30753)) 1)))) (fma (- (/ (sqrt (fma 0.27061 x 2.30753)) (fma (fma 0.04481 x 0.99229) x 1.0))) (/ (sqrt (fma 0.27061 x 2.30753)) 1) (* (/ (sqrt (fma 0.27061 x 2.30753)) (fma (fma 0.04481 x 0.99229) x 1.0)) (/ (sqrt (fma 0.27061 x 2.30753)) 1))) (fma 1 x (- (* (/ (fma 0.27061 x 2.30753) (cbrt (fma (fma 0.04481 x 0.99229) x 1.0))) (/ 1 (* (cbrt (fma (fma 0.04481 x 0.99229) x 1.0)) (cbrt (fma (fma 0.04481 x 0.99229) x 1.0))))))) (fma (- (/ (fma 0.27061 x 2.30753) (cbrt (fma (fma 0.04481 x 0.99229) x 1.0)))) (/ 1 (* (cbrt (fma (fma 0.04481 x 0.99229) x 1.0)) (cbrt (fma (fma 0.04481 x 0.99229) x 1.0)))) (* (/ (fma 0.27061 x 2.30753) (cbrt (fma (fma 0.04481 x 0.99229) x 1.0))) (/ 1 (* (cbrt (fma (fma 0.04481 x 0.99229) x 1.0)) (cbrt (fma (fma 0.04481 x 0.99229) x 1.0)))))) (fma 1 x (- (* (/ (fma 0.27061 x 2.30753) (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))) (/ 1 (sqrt (fma (fma 0.04481 x 0.99229) x 1.0)))))) (fma (- (/ (fma 0.27061 x 2.30753) (sqrt (fma (fma 0.04481 x 0.99229) x 1.0)))) (/ 1 (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))) (* (/ (fma 0.27061 x 2.30753) (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))) (/ 1 (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))))) (fma 1 x (- (* (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) (/ 1 1)))) (fma (- (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) (/ 1 1) (* (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) (/ 1 1))) (fma 1 x (- (* (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) 1))) (fma (- (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) 1 (* (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) 1)) (fma 1 x (- (* (/ 1 (fma (fma 0.04481 x 0.99229) x 1.0)) (fma 0.27061 x 2.30753)))) (fma (- (/ 1 (fma (fma 0.04481 x 0.99229) x 1.0))) (fma 0.27061 x 2.30753) (* (/ 1 (fma (fma 0.04481 x 0.99229) x 1.0)) (fma 0.27061 x 2.30753))) (expm1 (- x (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)))) (log1p (- x (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)))) (- (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) (- (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) (- (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) (/ (exp x) (exp (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)))) (log (- x (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)))) (exp (- x (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)))) (* (cbrt (- x (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)))) (cbrt (- x (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))))) (cbrt (- x (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)))) (* (* (- x (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) (- x (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)))) (- x (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)))) (sqrt (- x (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)))) (sqrt (- x (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)))) (- (pow x 3) (pow (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) 3)) (+ (* x x) (+ (* (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) (* x (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))))) (- (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) (- (* x x) (* (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)))) (+ x (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) (+ (sqrt x) (sqrt (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)))) (- (sqrt x) (sqrt (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)))) (+ (sqrt x) (/ (sqrt (fma 0.27061 x 2.30753)) (sqrt (fma (fma 0.04481 x 0.99229) x 1.0)))) (- (sqrt x) (/ (sqrt (fma 0.27061 x 2.30753)) (sqrt (fma (fma 0.04481 x 0.99229) x 1.0)))) (- x (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) (- (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) (real->posit16 (- x (/ (fma 0.27061 x 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)))) (- (+ (* 1.900161040244073 (pow x 2)) 2.30753) (* 2.0191289436999997 x)) (- (+ (* 1686.279566230464 (/ 1 (pow x 3))) (* 6.039053782637804 (/ 1 x))) (* 82.23527511657369 (/ 1 (pow x 2)))) (- (+ (* 1686.279566230464 (/ 1 (pow x 3))) (* 6.039053782637804 (/ 1 x))) (* 82.23527511657369 (/ 1 (pow x 2)))) (+ (* 0.99229 x) (+ (* 0.04481 (pow x 2)) 1.0)) (+ (* 0.99229 x) (+ (* 0.04481 (pow x 2)) 1.0)) (+ (* 0.99229 x) (+ (* 0.04481 (pow x 2)) 1.0)) (- (* 3.0191289436999997 x) (+ (* 1.900161040244073 (pow x 2)) 2.30753)) (- (+ x (* 82.23527511657369 (/ 1 (pow x 2)))) (* 6.039053782637804 (/ 1 x))) (- (+ x (* 82.23527511657369 (/ 1 (pow x 2)))) (* 6.039053782637804 (/ 1 x))) 3.586 * * [simplify]: iteration 0: 212 enodes 3.631 * * [simplify]: iteration 1: 500 enodes 3.844 * * [simplify]: iteration 2: 1362 enodes 4.817 * * [simplify]: iteration 3: 4627 enodes 5.973 * * [simplify]: iteration complete: 5000 enodes 5.973 * * [simplify]: Extracting #0: cost 76 inf + 0 5.975 * * [simplify]: Extracting #1: cost 665 inf + 1 5.979 * * [simplify]: Extracting #2: cost 1231 inf + 3288 5.991 * * [simplify]: Extracting #3: cost 1201 inf + 43911 6.055 * * [simplify]: Extracting #4: cost 418 inf + 263154 6.152 * * [simplify]: Extracting #5: cost 19 inf + 408695 6.308 * * [simplify]: Extracting #6: cost 1 inf + 417068 6.424 * * [simplify]: Extracting #7: cost 0 inf + 417639 6.537 * [simplify]: Simplified to: (expm1 (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (log1p (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (log (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (log (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (exp (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (* (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) (* (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)))) (* (cbrt (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (cbrt (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)))) (cbrt (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (* (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) (* (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)))) (sqrt (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (- (fma x 0.27061 2.30753)) (- (fma x (fma 0.04481 x 0.99229) 1.0)) (* (/ (cbrt (fma x 0.27061 2.30753)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (cbrt (fma x 0.27061 2.30753)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (cbrt (fma x 0.27061 2.30753)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (* (/ (cbrt (fma x 0.27061 2.30753)) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (cbrt (fma x 0.27061 2.30753))) (/ (cbrt (fma x 0.27061 2.30753)) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (* (cbrt (fma x 0.27061 2.30753)) (cbrt (fma x 0.27061 2.30753))) (/ (cbrt (fma x 0.27061 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0)) (/ (/ (sqrt (fma x 0.27061 2.30753)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (sqrt (fma x 0.27061 2.30753)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (sqrt (fma x 0.27061 2.30753)) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (sqrt (fma x 0.27061 2.30753)) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt (fma x 0.27061 2.30753)) (/ (sqrt (fma x 0.27061 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0)) (/ 1 (* (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (fma x 0.27061 2.30753) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ 1 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (fma x 0.27061 2.30753) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) 1 (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) (/ 1 (fma x (fma 0.04481 x 0.99229) 1.0)) (/ (fma x (fma 0.04481 x 0.99229) 1.0) (fma x 0.27061 2.30753)) (/ (/ (fma x 0.27061 2.30753) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (fma x 0.27061 2.30753) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (fma x 0.27061 2.30753) (/ (fma x (fma 0.04481 x 0.99229) 1.0) (cbrt (fma x 0.27061 2.30753))) (/ (fma x (fma 0.04481 x 0.99229) 1.0) (sqrt (fma x 0.27061 2.30753))) (/ (fma x (fma 0.04481 x 0.99229) 1.0) (fma x 0.27061 2.30753)) (real->posit16 (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (expm1 (fma x (fma 0.04481 x 0.99229) 1.0)) (log1p (fma x (fma 0.04481 x 0.99229) 1.0)) (* (fma 0.04481 x 0.99229) x) (log (fma x (fma 0.04481 x 0.99229) 1.0)) (exp (fma x (fma 0.04481 x 0.99229) 1.0)) (* (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)) (* (* (fma x (fma 0.04481 x 0.99229) 1.0) (fma x (fma 0.04481 x 0.99229) 1.0)) (fma x (fma 0.04481 x 0.99229) 1.0)) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)) (real->posit16 (fma x (fma 0.04481 x 0.99229) 1.0)) (- (* (* (cbrt x) (cbrt x)) (cbrt x)) (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (* (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) 0) (- (* (* (cbrt x) (cbrt x)) (cbrt x)) (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (* (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) 0) (- (* (* (cbrt x) (cbrt x)) (cbrt x)) (/ (/ (/ (fma x 0.27061 2.30753) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (* (+ (/ (sqrt (fma x 0.27061 2.30753)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (- (/ (sqrt (fma x 0.27061 2.30753)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (/ (/ (sqrt (fma x 0.27061 2.30753)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (- (* (* (cbrt x) (cbrt x)) (cbrt x)) (/ (/ (fma x 0.27061 2.30753) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (fma (/ (fma x 0.27061 2.30753) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ -1 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (/ (fma x 0.27061 2.30753) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (- (* (* (cbrt x) (cbrt x)) (cbrt x)) (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (* (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) 0) (- (* (* (cbrt x) (cbrt x)) (cbrt x)) (/ (/ (/ (fma x 0.27061 2.30753) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (* (+ (/ (sqrt (fma x 0.27061 2.30753)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (- (/ (sqrt (fma x 0.27061 2.30753)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (/ (/ (sqrt (fma x 0.27061 2.30753)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (- (* (* (cbrt x) (cbrt x)) (cbrt x)) (/ (/ (fma x 0.27061 2.30753) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (fma (/ (fma x 0.27061 2.30753) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ -1 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (/ (fma x 0.27061 2.30753) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (- (* (* (cbrt x) (cbrt x)) (cbrt x)) (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (* (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) 0) (- (* (* (cbrt x) (cbrt x)) (cbrt x)) (/ (/ (/ (fma x 0.27061 2.30753) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (* (+ (/ (sqrt (fma x 0.27061 2.30753)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (- (/ (sqrt (fma x 0.27061 2.30753)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (/ (/ (sqrt (fma x 0.27061 2.30753)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (- (* (* (cbrt x) (cbrt x)) (cbrt x)) (/ (/ (fma x 0.27061 2.30753) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (fma (/ (fma x 0.27061 2.30753) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ -1 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (/ (fma x 0.27061 2.30753) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (- (* (* (cbrt x) (cbrt x)) (cbrt x)) (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (* (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) 0) (- (* (* (cbrt x) (cbrt x)) (cbrt x)) (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (* (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) 0) (- (* (* (cbrt x) (cbrt x)) (cbrt x)) (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (* (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) 0) (- x (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (* (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) 0) (- x (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (* (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) 0) (- x (/ (/ (/ (fma x 0.27061 2.30753) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (* (+ (/ (sqrt (fma x 0.27061 2.30753)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (- (/ (sqrt (fma x 0.27061 2.30753)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (/ (/ (sqrt (fma x 0.27061 2.30753)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (- x (/ (/ (fma x 0.27061 2.30753) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (fma (/ (fma x 0.27061 2.30753) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ -1 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (/ (fma x 0.27061 2.30753) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (- x (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (* (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) 0) (- x (/ (/ (/ (fma x 0.27061 2.30753) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (* (+ (/ (sqrt (fma x 0.27061 2.30753)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (- (/ (sqrt (fma x 0.27061 2.30753)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (/ (/ (sqrt (fma x 0.27061 2.30753)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (- x (/ (/ (fma x 0.27061 2.30753) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (fma (/ (fma x 0.27061 2.30753) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ -1 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (/ (fma x 0.27061 2.30753) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (- x (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (* (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) 0) (- x (/ (/ (/ (fma x 0.27061 2.30753) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (* (+ (/ (sqrt (fma x 0.27061 2.30753)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (- (/ (sqrt (fma x 0.27061 2.30753)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (/ (/ (sqrt (fma x 0.27061 2.30753)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (- x (/ (/ (fma x 0.27061 2.30753) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (fma (/ (fma x 0.27061 2.30753) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ -1 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (/ (fma x 0.27061 2.30753) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (- x (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (* (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) 0) (- x (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (* (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) 0) (- x (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (* (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) 0) (- x (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (* (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) 0) (- x (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (* (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) 0) (- x (/ (/ (/ (fma x 0.27061 2.30753) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (* (+ (/ (sqrt (fma x 0.27061 2.30753)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (- (/ (sqrt (fma x 0.27061 2.30753)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (/ (/ (sqrt (fma x 0.27061 2.30753)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (- x (/ (/ (fma x 0.27061 2.30753) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (fma (/ (fma x 0.27061 2.30753) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ -1 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (/ (fma x 0.27061 2.30753) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (- x (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (* (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) 0) (- x (/ (/ (/ (fma x 0.27061 2.30753) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (* (+ (/ (sqrt (fma x 0.27061 2.30753)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (- (/ (sqrt (fma x 0.27061 2.30753)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (/ (/ (sqrt (fma x 0.27061 2.30753)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (- x (/ (/ (fma x 0.27061 2.30753) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (fma (/ (fma x 0.27061 2.30753) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ -1 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (/ (fma x 0.27061 2.30753) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (- x (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (* (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) 0) (- x (/ (/ (/ (fma x 0.27061 2.30753) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (* (+ (/ (sqrt (fma x 0.27061 2.30753)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (- (/ (sqrt (fma x 0.27061 2.30753)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (/ (/ (sqrt (fma x 0.27061 2.30753)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (- x (/ (/ (fma x 0.27061 2.30753) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (fma (/ (fma x 0.27061 2.30753) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ -1 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (/ (fma x 0.27061 2.30753) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (- x (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (* (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) 0) (- x (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (* (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) 0) (- x (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (* (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) 0) (expm1 (- x (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)))) (log1p (- x (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)))) (- (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (- (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (- (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (exp (- x (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)))) (log (- x (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)))) (exp (- x (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)))) (* (cbrt (- x (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)))) (cbrt (- x (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))))) (cbrt (- x (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)))) (* (* (- x (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (- x (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)))) (- x (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)))) (sqrt (- x (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)))) (sqrt (- x (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)))) (- (* (* x x) x) (* (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) (* (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))))) (fma x x (* (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) (+ x (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))))) (- (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (- (* x x) (* (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)))) (+ (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) x) (+ (sqrt x) (sqrt (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)))) (- (sqrt x) (sqrt (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)))) (+ (/ (sqrt (fma x 0.27061 2.30753)) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt x)) (- (sqrt x) (/ (sqrt (fma x 0.27061 2.30753)) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (- x (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (- (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (real->posit16 (- x (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)))) (+ (* x (- (* x 1.900161040244073) 2.0191289436999997)) 2.30753) (+ (/ 1686.279566230464 (* (* x x) x)) (- (/ 6.039053782637804 x) (/ 82.23527511657369 (* x x)))) (+ (/ 1686.279566230464 (* (* x x) x)) (- (/ 6.039053782637804 x) (/ 82.23527511657369 (* x x)))) (fma x (fma 0.04481 x 0.99229) 1.0) (fma x (fma 0.04481 x 0.99229) 1.0) (fma x (fma 0.04481 x 0.99229) 1.0) (- (* x (- 3.0191289436999997 (* x 1.900161040244073))) 2.30753) (- (/ 82.23527511657369 (* x x)) (- (/ 6.039053782637804 x) x)) (- (/ 82.23527511657369 (* x x)) (- (/ 6.039053782637804 x) x)) 6.551 * * * [progress]: adding candidates to table 7.231 * * [progress]: iteration 2 / 4 7.231 * * * [progress]: picking best candidate 7.233 * * * * [pick]: Picked # 7.233 * * * [progress]: localizing error 7.247 * * * [progress]: generating rewritten candidates 7.247 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 7.271 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 2) 7.283 * * * [progress]: generating series expansions 7.283 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 7.283 * [backup-simplify]: Simplify (* x (- 3.0191289436999997 (* x 1.900161040244073))) into (* (- 3.0191289436999997 (* 1.900161040244073 x)) x) 7.283 * [approximate]: Taking taylor expansion of (* (- 3.0191289436999997 (* 1.900161040244073 x)) x) in (x) around 0 7.283 * [taylor]: Taking taylor expansion of (* (- 3.0191289436999997 (* 1.900161040244073 x)) x) in x 7.283 * [taylor]: Taking taylor expansion of (- 3.0191289436999997 (* 1.900161040244073 x)) in x 7.283 * [taylor]: Taking taylor expansion of 3.0191289436999997 in x 7.283 * [backup-simplify]: Simplify 3.0191289436999997 into 3.0191289436999997 7.283 * [taylor]: Taking taylor expansion of (* 1.900161040244073 x) in x 7.283 * [taylor]: Taking taylor expansion of 1.900161040244073 in x 7.283 * [backup-simplify]: Simplify 1.900161040244073 into 1.900161040244073 7.283 * [taylor]: Taking taylor expansion of x in x 7.283 * [backup-simplify]: Simplify 0 into 0 7.283 * [backup-simplify]: Simplify 1 into 1 7.283 * [taylor]: Taking taylor expansion of x in x 7.283 * [backup-simplify]: Simplify 0 into 0 7.283 * [backup-simplify]: Simplify 1 into 1 7.283 * [taylor]: Taking taylor expansion of (* (- 3.0191289436999997 (* 1.900161040244073 x)) x) in x 7.283 * [taylor]: Taking taylor expansion of (- 3.0191289436999997 (* 1.900161040244073 x)) in x 7.283 * [taylor]: Taking taylor expansion of 3.0191289436999997 in x 7.283 * [backup-simplify]: Simplify 3.0191289436999997 into 3.0191289436999997 7.283 * [taylor]: Taking taylor expansion of (* 1.900161040244073 x) in x 7.283 * [taylor]: Taking taylor expansion of 1.900161040244073 in x 7.283 * [backup-simplify]: Simplify 1.900161040244073 into 1.900161040244073 7.283 * [taylor]: Taking taylor expansion of x in x 7.283 * [backup-simplify]: Simplify 0 into 0 7.283 * [backup-simplify]: Simplify 1 into 1 7.283 * [taylor]: Taking taylor expansion of x in x 7.283 * [backup-simplify]: Simplify 0 into 0 7.283 * [backup-simplify]: Simplify 1 into 1 7.284 * [backup-simplify]: Simplify (* 1.900161040244073 0) into 0 7.284 * [backup-simplify]: Simplify (- 0) into 0 7.285 * [backup-simplify]: Simplify (+ 3.0191289436999997 0) into 3.0191289436999997 7.285 * [backup-simplify]: Simplify (* 3.0191289436999997 0) into 0 7.285 * [backup-simplify]: Simplify 0 into 0 7.286 * [backup-simplify]: Simplify (+ (* 1.900161040244073 1) (* 0 0)) into 1.900161040244073 7.286 * [backup-simplify]: Simplify (- 1.900161040244073) into (- 1.900161040244073) 7.287 * [backup-simplify]: Simplify (+ 0 (- 1.900161040244073)) into (- 1.900161040244073) 7.288 * [backup-simplify]: Simplify (+ (* 3.0191289436999997 1) (* (- 1.900161040244073) 0)) into 3.0191289436999997 7.288 * [backup-simplify]: Simplify 3.0191289436999997 into 3.0191289436999997 7.289 * [backup-simplify]: Simplify (+ (* 1.900161040244073 0) (+ (* 0 1) (* 0 0))) into 0 7.290 * [backup-simplify]: Simplify (- 0) into 0 7.290 * [backup-simplify]: Simplify (+ 0 0) into 0 7.294 * [backup-simplify]: Simplify (+ (* 3.0191289436999997 0) (+ (* (- 1.900161040244073) 1) (* 0 0))) into (- 1.900161040244073) 7.294 * [backup-simplify]: Simplify (- 1.900161040244073) into (- 1.900161040244073) 7.295 * [backup-simplify]: Simplify (+ (* 1.900161040244073 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 7.295 * [backup-simplify]: Simplify (- 0) into 0 7.296 * [backup-simplify]: Simplify (+ 0 0) into 0 7.297 * [backup-simplify]: Simplify (+ (* 3.0191289436999997 0) (+ (* (- 1.900161040244073) 0) (+ (* 0 1) (* 0 0)))) into 0 7.297 * [backup-simplify]: Simplify 0 into 0 7.299 * [backup-simplify]: Simplify (+ (* 1.900161040244073 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 7.299 * [backup-simplify]: Simplify (- 0) into 0 7.299 * [backup-simplify]: Simplify (+ 0 0) into 0 7.301 * [backup-simplify]: Simplify (+ (* 3.0191289436999997 0) (+ (* (- 1.900161040244073) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 7.301 * [backup-simplify]: Simplify 0 into 0 7.302 * [backup-simplify]: Simplify (+ (* 1.900161040244073 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 7.303 * [backup-simplify]: Simplify (- 0) into 0 7.303 * [backup-simplify]: Simplify (+ 0 0) into 0 7.305 * [backup-simplify]: Simplify (+ (* 3.0191289436999997 0) (+ (* (- 1.900161040244073) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 7.305 * [backup-simplify]: Simplify 0 into 0 7.306 * [backup-simplify]: Simplify (+ (* 1.900161040244073 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 7.307 * [backup-simplify]: Simplify (- 0) into 0 7.307 * [backup-simplify]: Simplify (+ 0 0) into 0 7.309 * [backup-simplify]: Simplify (+ (* 3.0191289436999997 0) (+ (* (- 1.900161040244073) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 7.309 * [backup-simplify]: Simplify 0 into 0 7.310 * [backup-simplify]: Simplify (+ (* 1.900161040244073 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 7.311 * [backup-simplify]: Simplify (- 0) into 0 7.311 * [backup-simplify]: Simplify (+ 0 0) into 0 7.313 * [backup-simplify]: Simplify (+ (* 3.0191289436999997 0) (+ (* (- 1.900161040244073) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 7.313 * [backup-simplify]: Simplify 0 into 0 7.315 * [backup-simplify]: Simplify (+ (* 1.900161040244073 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0 7.315 * [backup-simplify]: Simplify (- 0) into 0 7.316 * [backup-simplify]: Simplify (+ 0 0) into 0 7.318 * [backup-simplify]: Simplify (+ (* 3.0191289436999997 0) (+ (* (- 1.900161040244073) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0 7.318 * [backup-simplify]: Simplify 0 into 0 7.319 * [backup-simplify]: Simplify (+ (* (- 1.900161040244073) (pow x 2)) (* 3.0191289436999997 x)) into (- (* 3.0191289436999997 x) (* 1.900161040244073 (pow x 2))) 7.319 * [backup-simplify]: Simplify (* (/ 1 x) (- 3.0191289436999997 (* (/ 1 x) 1.900161040244073))) into (/ (- 3.0191289436999997 (* 1.900161040244073 (/ 1 x))) x) 7.319 * [approximate]: Taking taylor expansion of (/ (- 3.0191289436999997 (* 1.900161040244073 (/ 1 x))) x) in (x) around 0 7.319 * [taylor]: Taking taylor expansion of (/ (- 3.0191289436999997 (* 1.900161040244073 (/ 1 x))) x) in x 7.319 * [taylor]: Taking taylor expansion of (- 3.0191289436999997 (* 1.900161040244073 (/ 1 x))) in x 7.319 * [taylor]: Taking taylor expansion of 3.0191289436999997 in x 7.319 * [backup-simplify]: Simplify 3.0191289436999997 into 3.0191289436999997 7.319 * [taylor]: Taking taylor expansion of (* 1.900161040244073 (/ 1 x)) in x 7.319 * [taylor]: Taking taylor expansion of 1.900161040244073 in x 7.319 * [backup-simplify]: Simplify 1.900161040244073 into 1.900161040244073 7.319 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.319 * [taylor]: Taking taylor expansion of x in x 7.319 * [backup-simplify]: Simplify 0 into 0 7.319 * [backup-simplify]: Simplify 1 into 1 7.319 * [backup-simplify]: Simplify (/ 1 1) into 1 7.320 * [taylor]: Taking taylor expansion of x in x 7.320 * [backup-simplify]: Simplify 0 into 0 7.320 * [backup-simplify]: Simplify 1 into 1 7.320 * [backup-simplify]: Simplify (* 1.900161040244073 1) into 1.900161040244073 7.320 * [backup-simplify]: Simplify (- 1.900161040244073) into (- 1.900161040244073) 7.321 * [backup-simplify]: Simplify (+ 0 (- 1.900161040244073)) into (- 1.900161040244073) 7.322 * [backup-simplify]: Simplify (/ (- 1.900161040244073) 1) into -1.900161040244073 7.322 * [taylor]: Taking taylor expansion of (/ (- 3.0191289436999997 (* 1.900161040244073 (/ 1 x))) x) in x 7.322 * [taylor]: Taking taylor expansion of (- 3.0191289436999997 (* 1.900161040244073 (/ 1 x))) in x 7.322 * [taylor]: Taking taylor expansion of 3.0191289436999997 in x 7.322 * [backup-simplify]: Simplify 3.0191289436999997 into 3.0191289436999997 7.322 * [taylor]: Taking taylor expansion of (* 1.900161040244073 (/ 1 x)) in x 7.322 * [taylor]: Taking taylor expansion of 1.900161040244073 in x 7.322 * [backup-simplify]: Simplify 1.900161040244073 into 1.900161040244073 7.322 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.322 * [taylor]: Taking taylor expansion of x in x 7.322 * [backup-simplify]: Simplify 0 into 0 7.322 * [backup-simplify]: Simplify 1 into 1 7.323 * [backup-simplify]: Simplify (/ 1 1) into 1 7.323 * [taylor]: Taking taylor expansion of x in x 7.323 * [backup-simplify]: Simplify 0 into 0 7.323 * [backup-simplify]: Simplify 1 into 1 7.323 * [backup-simplify]: Simplify (* 1.900161040244073 1) into 1.900161040244073 7.323 * [backup-simplify]: Simplify (- 1.900161040244073) into (- 1.900161040244073) 7.324 * [backup-simplify]: Simplify (+ 0 (- 1.900161040244073)) into (- 1.900161040244073) 7.325 * [backup-simplify]: Simplify (/ (- 1.900161040244073) 1) into -1.900161040244073 7.325 * [backup-simplify]: Simplify -1.900161040244073 into -1.900161040244073 7.326 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.327 * [backup-simplify]: Simplify (+ (* 1.900161040244073 0) (* 0 1)) into 0 7.327 * [backup-simplify]: Simplify (- 0) into 0 7.327 * [backup-simplify]: Simplify (+ 3.0191289436999997 0) into 3.0191289436999997 7.329 * [backup-simplify]: Simplify (- (/ 3.0191289436999997 1) (+ (* -1.900161040244073 (/ 0 1)))) into 3.0191289436999997 7.329 * [backup-simplify]: Simplify 3.0191289436999997 into 3.0191289436999997 7.330 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.331 * [backup-simplify]: Simplify (+ (* 1.900161040244073 0) (+ (* 0 0) (* 0 1))) into 0 7.331 * [backup-simplify]: Simplify (- 0) into 0 7.332 * [backup-simplify]: Simplify (+ 0 0) into 0 7.333 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1.900161040244073 (/ 0 1)) (* 3.0191289436999997 (/ 0 1)))) into 0 7.333 * [backup-simplify]: Simplify 0 into 0 7.334 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.335 * [backup-simplify]: Simplify (+ (* 1.900161040244073 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 7.335 * [backup-simplify]: Simplify (- 0) into 0 7.335 * [backup-simplify]: Simplify (+ 0 0) into 0 7.337 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1.900161040244073 (/ 0 1)) (* 3.0191289436999997 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.337 * [backup-simplify]: Simplify 0 into 0 7.338 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.339 * [backup-simplify]: Simplify (+ (* 1.900161040244073 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 7.339 * [backup-simplify]: Simplify (- 0) into 0 7.340 * [backup-simplify]: Simplify (+ 0 0) into 0 7.341 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1.900161040244073 (/ 0 1)) (* 3.0191289436999997 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.341 * [backup-simplify]: Simplify 0 into 0 7.342 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.343 * [backup-simplify]: Simplify (+ (* 1.900161040244073 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 7.343 * [backup-simplify]: Simplify (- 0) into 0 7.346 * [backup-simplify]: Simplify (+ 0 0) into 0 7.347 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1.900161040244073 (/ 0 1)) (* 3.0191289436999997 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.347 * [backup-simplify]: Simplify 0 into 0 7.348 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.350 * [backup-simplify]: Simplify (+ (* 1.900161040244073 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 7.350 * [backup-simplify]: Simplify (- 0) into 0 7.350 * [backup-simplify]: Simplify (+ 0 0) into 0 7.352 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1.900161040244073 (/ 0 1)) (* 3.0191289436999997 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.352 * [backup-simplify]: Simplify 0 into 0 7.353 * [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 7.355 * [backup-simplify]: Simplify (+ (* 1.900161040244073 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 7.355 * [backup-simplify]: Simplify (- 0) into 0 7.355 * [backup-simplify]: Simplify (+ 0 0) into 0 7.357 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1.900161040244073 (/ 0 1)) (* 3.0191289436999997 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.357 * [backup-simplify]: Simplify 0 into 0 7.357 * [backup-simplify]: Simplify (+ (* 3.0191289436999997 (/ 1 (/ 1 x))) (* -1.900161040244073 (pow (/ 1 (/ 1 x)) 2))) into (- (* 3.0191289436999997 x) (* 1.900161040244073 (pow x 2))) 7.357 * [backup-simplify]: Simplify (* (/ 1 (- x)) (- 3.0191289436999997 (* (/ 1 (- x)) 1.900161040244073))) into (* -1 (/ (+ (* 1.900161040244073 (/ 1 x)) 3.0191289436999997) x)) 7.357 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (* 1.900161040244073 (/ 1 x)) 3.0191289436999997) x)) in (x) around 0 7.357 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 1.900161040244073 (/ 1 x)) 3.0191289436999997) x)) in x 7.357 * [taylor]: Taking taylor expansion of -1 in x 7.357 * [backup-simplify]: Simplify -1 into -1 7.358 * [taylor]: Taking taylor expansion of (/ (+ (* 1.900161040244073 (/ 1 x)) 3.0191289436999997) x) in x 7.358 * [taylor]: Taking taylor expansion of (+ (* 1.900161040244073 (/ 1 x)) 3.0191289436999997) in x 7.358 * [taylor]: Taking taylor expansion of (* 1.900161040244073 (/ 1 x)) in x 7.358 * [taylor]: Taking taylor expansion of 1.900161040244073 in x 7.358 * [backup-simplify]: Simplify 1.900161040244073 into 1.900161040244073 7.358 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.358 * [taylor]: Taking taylor expansion of x in x 7.358 * [backup-simplify]: Simplify 0 into 0 7.358 * [backup-simplify]: Simplify 1 into 1 7.358 * [backup-simplify]: Simplify (/ 1 1) into 1 7.358 * [taylor]: Taking taylor expansion of 3.0191289436999997 in x 7.358 * [backup-simplify]: Simplify 3.0191289436999997 into 3.0191289436999997 7.358 * [taylor]: Taking taylor expansion of x in x 7.358 * [backup-simplify]: Simplify 0 into 0 7.358 * [backup-simplify]: Simplify 1 into 1 7.359 * [backup-simplify]: Simplify (* 1.900161040244073 1) into 1.900161040244073 7.359 * [backup-simplify]: Simplify (+ 1.900161040244073 0) into 1.900161040244073 7.359 * [backup-simplify]: Simplify (/ 1.900161040244073 1) into 1.900161040244073 7.359 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 1.900161040244073 (/ 1 x)) 3.0191289436999997) x)) in x 7.360 * [taylor]: Taking taylor expansion of -1 in x 7.360 * [backup-simplify]: Simplify -1 into -1 7.360 * [taylor]: Taking taylor expansion of (/ (+ (* 1.900161040244073 (/ 1 x)) 3.0191289436999997) x) in x 7.360 * [taylor]: Taking taylor expansion of (+ (* 1.900161040244073 (/ 1 x)) 3.0191289436999997) in x 7.360 * [taylor]: Taking taylor expansion of (* 1.900161040244073 (/ 1 x)) in x 7.360 * [taylor]: Taking taylor expansion of 1.900161040244073 in x 7.360 * [backup-simplify]: Simplify 1.900161040244073 into 1.900161040244073 7.360 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.360 * [taylor]: Taking taylor expansion of x in x 7.360 * [backup-simplify]: Simplify 0 into 0 7.360 * [backup-simplify]: Simplify 1 into 1 7.360 * [backup-simplify]: Simplify (/ 1 1) into 1 7.360 * [taylor]: Taking taylor expansion of 3.0191289436999997 in x 7.360 * [backup-simplify]: Simplify 3.0191289436999997 into 3.0191289436999997 7.360 * [taylor]: Taking taylor expansion of x in x 7.360 * [backup-simplify]: Simplify 0 into 0 7.360 * [backup-simplify]: Simplify 1 into 1 7.361 * [backup-simplify]: Simplify (* 1.900161040244073 1) into 1.900161040244073 7.361 * [backup-simplify]: Simplify (+ 1.900161040244073 0) into 1.900161040244073 7.362 * [backup-simplify]: Simplify (/ 1.900161040244073 1) into 1.900161040244073 7.362 * [backup-simplify]: Simplify (* -1 1.900161040244073) into -1.900161040244073 7.363 * [backup-simplify]: Simplify -1.900161040244073 into -1.900161040244073 7.363 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.364 * [backup-simplify]: Simplify (+ (* 1.900161040244073 0) (* 0 1)) into 0 7.364 * [backup-simplify]: Simplify (+ 0 3.0191289436999997) into 3.0191289436999997 7.367 * [backup-simplify]: Simplify (- (/ 3.0191289436999997 1) (+ (* 1.900161040244073 (/ 0 1)))) into 3.0191289436999997 7.368 * [backup-simplify]: Simplify (+ (* -1 3.0191289436999997) (* 0 1.900161040244073)) into (- 3.0191289436999997) 7.369 * [backup-simplify]: Simplify (- 3.0191289436999997) into (- 3.0191289436999997) 7.370 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.371 * [backup-simplify]: Simplify (+ (* 1.900161040244073 0) (+ (* 0 0) (* 0 1))) into 0 7.371 * [backup-simplify]: Simplify (+ 0 0) into 0 7.372 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.900161040244073 (/ 0 1)) (* 3.0191289436999997 (/ 0 1)))) into 0 7.373 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 3.0191289436999997) (* 0 1.900161040244073))) into 0 7.373 * [backup-simplify]: Simplify 0 into 0 7.374 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.376 * [backup-simplify]: Simplify (+ (* 1.900161040244073 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 7.376 * [backup-simplify]: Simplify (+ 0 0) into 0 7.377 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.900161040244073 (/ 0 1)) (* 3.0191289436999997 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.379 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 3.0191289436999997) (* 0 1.900161040244073)))) into 0 7.379 * [backup-simplify]: Simplify 0 into 0 7.380 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.381 * [backup-simplify]: Simplify (+ (* 1.900161040244073 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 7.382 * [backup-simplify]: Simplify (+ 0 0) into 0 7.384 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.900161040244073 (/ 0 1)) (* 3.0191289436999997 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.385 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 3.0191289436999997) (* 0 1.900161040244073))))) into 0 7.385 * [backup-simplify]: Simplify 0 into 0 7.386 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.388 * [backup-simplify]: Simplify (+ (* 1.900161040244073 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 7.389 * [backup-simplify]: Simplify (+ 0 0) into 0 7.390 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.900161040244073 (/ 0 1)) (* 3.0191289436999997 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.392 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 3.0191289436999997) (* 0 1.900161040244073)))))) into 0 7.392 * [backup-simplify]: Simplify 0 into 0 7.393 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.395 * [backup-simplify]: Simplify (+ (* 1.900161040244073 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 7.395 * [backup-simplify]: Simplify (+ 0 0) into 0 7.396 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.900161040244073 (/ 0 1)) (* 3.0191289436999997 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.398 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 3.0191289436999997) (* 0 1.900161040244073))))))) into 0 7.398 * [backup-simplify]: Simplify 0 into 0 7.400 * [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 7.401 * [backup-simplify]: Simplify (+ (* 1.900161040244073 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 7.402 * [backup-simplify]: Simplify (+ 0 0) into 0 7.403 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.900161040244073 (/ 0 1)) (* 3.0191289436999997 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.405 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 3.0191289436999997) (* 0 1.900161040244073)))))))) into 0 7.405 * [backup-simplify]: Simplify 0 into 0 7.406 * [backup-simplify]: Simplify (+ (* (- 3.0191289436999997) (/ 1 (/ 1 (- x)))) (* -1.900161040244073 (pow (/ 1 (/ 1 (- x))) 2))) into (- (* 3.0191289436999997 x) (* 1.900161040244073 (pow x 2))) 7.406 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 2) 7.406 * [backup-simplify]: Simplify (- 3.0191289436999997 (* x 1.900161040244073)) into (- 3.0191289436999997 (* 1.900161040244073 x)) 7.406 * [approximate]: Taking taylor expansion of (- 3.0191289436999997 (* 1.900161040244073 x)) in (x) around 0 7.406 * [taylor]: Taking taylor expansion of (- 3.0191289436999997 (* 1.900161040244073 x)) in x 7.406 * [taylor]: Taking taylor expansion of 3.0191289436999997 in x 7.406 * [backup-simplify]: Simplify 3.0191289436999997 into 3.0191289436999997 7.406 * [taylor]: Taking taylor expansion of (* 1.900161040244073 x) in x 7.407 * [taylor]: Taking taylor expansion of 1.900161040244073 in x 7.407 * [backup-simplify]: Simplify 1.900161040244073 into 1.900161040244073 7.407 * [taylor]: Taking taylor expansion of x in x 7.407 * [backup-simplify]: Simplify 0 into 0 7.407 * [backup-simplify]: Simplify 1 into 1 7.407 * [taylor]: Taking taylor expansion of (- 3.0191289436999997 (* 1.900161040244073 x)) in x 7.407 * [taylor]: Taking taylor expansion of 3.0191289436999997 in x 7.407 * [backup-simplify]: Simplify 3.0191289436999997 into 3.0191289436999997 7.407 * [taylor]: Taking taylor expansion of (* 1.900161040244073 x) in x 7.407 * [taylor]: Taking taylor expansion of 1.900161040244073 in x 7.407 * [backup-simplify]: Simplify 1.900161040244073 into 1.900161040244073 7.407 * [taylor]: Taking taylor expansion of x in x 7.407 * [backup-simplify]: Simplify 0 into 0 7.407 * [backup-simplify]: Simplify 1 into 1 7.407 * [backup-simplify]: Simplify (* 1.900161040244073 0) into 0 7.408 * [backup-simplify]: Simplify (- 0) into 0 7.408 * [backup-simplify]: Simplify (+ 3.0191289436999997 0) into 3.0191289436999997 7.408 * [backup-simplify]: Simplify 3.0191289436999997 into 3.0191289436999997 7.410 * [backup-simplify]: Simplify (+ (* 1.900161040244073 1) (* 0 0)) into 1.900161040244073 7.410 * [backup-simplify]: Simplify (- 1.900161040244073) into (- 1.900161040244073) 7.411 * [backup-simplify]: Simplify (+ 0 (- 1.900161040244073)) into (- 1.900161040244073) 7.411 * [backup-simplify]: Simplify (- 1.900161040244073) into (- 1.900161040244073) 7.412 * [backup-simplify]: Simplify (+ (* 1.900161040244073 0) (+ (* 0 1) (* 0 0))) into 0 7.413 * [backup-simplify]: Simplify (- 0) into 0 7.413 * [backup-simplify]: Simplify (+ 0 0) into 0 7.413 * [backup-simplify]: Simplify 0 into 0 7.414 * [backup-simplify]: Simplify (+ (* 1.900161040244073 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 7.415 * [backup-simplify]: Simplify (- 0) into 0 7.415 * [backup-simplify]: Simplify (+ 0 0) into 0 7.415 * [backup-simplify]: Simplify 0 into 0 7.416 * [backup-simplify]: Simplify (+ (* 1.900161040244073 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 7.417 * [backup-simplify]: Simplify (- 0) into 0 7.417 * [backup-simplify]: Simplify (+ 0 0) into 0 7.417 * [backup-simplify]: Simplify 0 into 0 7.419 * [backup-simplify]: Simplify (+ (* 1.900161040244073 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 7.419 * [backup-simplify]: Simplify (- 0) into 0 7.419 * [backup-simplify]: Simplify (+ 0 0) into 0 7.419 * [backup-simplify]: Simplify 0 into 0 7.421 * [backup-simplify]: Simplify (+ (* 1.900161040244073 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 7.421 * [backup-simplify]: Simplify (- 0) into 0 7.422 * [backup-simplify]: Simplify (+ 0 0) into 0 7.422 * [backup-simplify]: Simplify 0 into 0 7.424 * [backup-simplify]: Simplify (+ (* 1.900161040244073 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 7.424 * [backup-simplify]: Simplify (- 0) into 0 7.424 * [backup-simplify]: Simplify (+ 0 0) into 0 7.424 * [backup-simplify]: Simplify 0 into 0 7.425 * [backup-simplify]: Simplify (+ (* (- 1.900161040244073) x) 3.0191289436999997) into (- 3.0191289436999997 (* 1.900161040244073 x)) 7.425 * [backup-simplify]: Simplify (- 3.0191289436999997 (* (/ 1 x) 1.900161040244073)) into (- 3.0191289436999997 (* 1.900161040244073 (/ 1 x))) 7.425 * [approximate]: Taking taylor expansion of (- 3.0191289436999997 (* 1.900161040244073 (/ 1 x))) in (x) around 0 7.425 * [taylor]: Taking taylor expansion of (- 3.0191289436999997 (* 1.900161040244073 (/ 1 x))) in x 7.425 * [taylor]: Taking taylor expansion of 3.0191289436999997 in x 7.425 * [backup-simplify]: Simplify 3.0191289436999997 into 3.0191289436999997 7.425 * [taylor]: Taking taylor expansion of (* 1.900161040244073 (/ 1 x)) in x 7.425 * [taylor]: Taking taylor expansion of 1.900161040244073 in x 7.425 * [backup-simplify]: Simplify 1.900161040244073 into 1.900161040244073 7.425 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.425 * [taylor]: Taking taylor expansion of x in x 7.425 * [backup-simplify]: Simplify 0 into 0 7.425 * [backup-simplify]: Simplify 1 into 1 7.426 * [backup-simplify]: Simplify (/ 1 1) into 1 7.426 * [taylor]: Taking taylor expansion of (- 3.0191289436999997 (* 1.900161040244073 (/ 1 x))) in x 7.426 * [taylor]: Taking taylor expansion of 3.0191289436999997 in x 7.426 * [backup-simplify]: Simplify 3.0191289436999997 into 3.0191289436999997 7.426 * [taylor]: Taking taylor expansion of (* 1.900161040244073 (/ 1 x)) in x 7.426 * [taylor]: Taking taylor expansion of 1.900161040244073 in x 7.426 * [backup-simplify]: Simplify 1.900161040244073 into 1.900161040244073 7.426 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.426 * [taylor]: Taking taylor expansion of x in x 7.426 * [backup-simplify]: Simplify 0 into 0 7.426 * [backup-simplify]: Simplify 1 into 1 7.426 * [backup-simplify]: Simplify (/ 1 1) into 1 7.427 * [backup-simplify]: Simplify (* 1.900161040244073 1) into 1.900161040244073 7.427 * [backup-simplify]: Simplify (- 1.900161040244073) into (- 1.900161040244073) 7.428 * [backup-simplify]: Simplify (+ 0 (- 1.900161040244073)) into (- 1.900161040244073) 7.428 * [backup-simplify]: Simplify (- 1.900161040244073) into (- 1.900161040244073) 7.429 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.430 * [backup-simplify]: Simplify (+ (* 1.900161040244073 0) (* 0 1)) into 0 7.430 * [backup-simplify]: Simplify (- 0) into 0 7.431 * [backup-simplify]: Simplify (+ 3.0191289436999997 0) into 3.0191289436999997 7.431 * [backup-simplify]: Simplify 3.0191289436999997 into 3.0191289436999997 7.432 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.433 * [backup-simplify]: Simplify (+ (* 1.900161040244073 0) (+ (* 0 0) (* 0 1))) into 0 7.433 * [backup-simplify]: Simplify (- 0) into 0 7.433 * [backup-simplify]: Simplify (+ 0 0) into 0 7.433 * [backup-simplify]: Simplify 0 into 0 7.434 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.435 * [backup-simplify]: Simplify (+ (* 1.900161040244073 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 7.436 * [backup-simplify]: Simplify (- 0) into 0 7.436 * [backup-simplify]: Simplify (+ 0 0) into 0 7.436 * [backup-simplify]: Simplify 0 into 0 7.437 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.439 * [backup-simplify]: Simplify (+ (* 1.900161040244073 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 7.439 * [backup-simplify]: Simplify (- 0) into 0 7.439 * [backup-simplify]: Simplify (+ 0 0) into 0 7.440 * [backup-simplify]: Simplify 0 into 0 7.440 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.442 * [backup-simplify]: Simplify (+ (* 1.900161040244073 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 7.442 * [backup-simplify]: Simplify (- 0) into 0 7.443 * [backup-simplify]: Simplify (+ 0 0) into 0 7.443 * [backup-simplify]: Simplify 0 into 0 7.444 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.445 * [backup-simplify]: Simplify (+ (* 1.900161040244073 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 7.446 * [backup-simplify]: Simplify (- 0) into 0 7.446 * [backup-simplify]: Simplify (+ 0 0) into 0 7.446 * [backup-simplify]: Simplify 0 into 0 7.447 * [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 7.449 * [backup-simplify]: Simplify (+ (* 1.900161040244073 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 7.449 * [backup-simplify]: Simplify (- 0) into 0 7.450 * [backup-simplify]: Simplify (+ 0 0) into 0 7.450 * [backup-simplify]: Simplify 0 into 0 7.450 * [backup-simplify]: Simplify (+ 3.0191289436999997 (* (- 1.900161040244073) (/ 1 (/ 1 x)))) into (- 3.0191289436999997 (* 1.900161040244073 x)) 7.450 * [backup-simplify]: Simplify (- 3.0191289436999997 (* (/ 1 (- x)) 1.900161040244073)) into (+ (* 1.900161040244073 (/ 1 x)) 3.0191289436999997) 7.450 * [approximate]: Taking taylor expansion of (+ (* 1.900161040244073 (/ 1 x)) 3.0191289436999997) in (x) around 0 7.450 * [taylor]: Taking taylor expansion of (+ (* 1.900161040244073 (/ 1 x)) 3.0191289436999997) in x 7.450 * [taylor]: Taking taylor expansion of (* 1.900161040244073 (/ 1 x)) in x 7.450 * [taylor]: Taking taylor expansion of 1.900161040244073 in x 7.450 * [backup-simplify]: Simplify 1.900161040244073 into 1.900161040244073 7.450 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.450 * [taylor]: Taking taylor expansion of x in x 7.450 * [backup-simplify]: Simplify 0 into 0 7.450 * [backup-simplify]: Simplify 1 into 1 7.450 * [backup-simplify]: Simplify (/ 1 1) into 1 7.450 * [taylor]: Taking taylor expansion of 3.0191289436999997 in x 7.450 * [backup-simplify]: Simplify 3.0191289436999997 into 3.0191289436999997 7.450 * [taylor]: Taking taylor expansion of (+ (* 1.900161040244073 (/ 1 x)) 3.0191289436999997) in x 7.450 * [taylor]: Taking taylor expansion of (* 1.900161040244073 (/ 1 x)) in x 7.450 * [taylor]: Taking taylor expansion of 1.900161040244073 in x 7.450 * [backup-simplify]: Simplify 1.900161040244073 into 1.900161040244073 7.451 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.451 * [taylor]: Taking taylor expansion of x in x 7.451 * [backup-simplify]: Simplify 0 into 0 7.451 * [backup-simplify]: Simplify 1 into 1 7.451 * [backup-simplify]: Simplify (/ 1 1) into 1 7.451 * [taylor]: Taking taylor expansion of 3.0191289436999997 in x 7.451 * [backup-simplify]: Simplify 3.0191289436999997 into 3.0191289436999997 7.451 * [backup-simplify]: Simplify (* 1.900161040244073 1) into 1.900161040244073 7.451 * [backup-simplify]: Simplify (+ 1.900161040244073 0) into 1.900161040244073 7.451 * [backup-simplify]: Simplify 1.900161040244073 into 1.900161040244073 7.452 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.452 * [backup-simplify]: Simplify (+ (* 1.900161040244073 0) (* 0 1)) into 0 7.453 * [backup-simplify]: Simplify (+ 0 3.0191289436999997) into 3.0191289436999997 7.453 * [backup-simplify]: Simplify 3.0191289436999997 into 3.0191289436999997 7.453 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.454 * [backup-simplify]: Simplify (+ (* 1.900161040244073 0) (+ (* 0 0) (* 0 1))) into 0 7.454 * [backup-simplify]: Simplify (+ 0 0) into 0 7.454 * [backup-simplify]: Simplify 0 into 0 7.455 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.455 * [backup-simplify]: Simplify (+ (* 1.900161040244073 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 7.456 * [backup-simplify]: Simplify (+ 0 0) into 0 7.456 * [backup-simplify]: Simplify 0 into 0 7.456 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.457 * [backup-simplify]: Simplify (+ (* 1.900161040244073 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 7.457 * [backup-simplify]: Simplify (+ 0 0) into 0 7.457 * [backup-simplify]: Simplify 0 into 0 7.458 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.459 * [backup-simplify]: Simplify (+ (* 1.900161040244073 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 7.459 * [backup-simplify]: Simplify (+ 0 0) into 0 7.459 * [backup-simplify]: Simplify 0 into 0 7.460 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.461 * [backup-simplify]: Simplify (+ (* 1.900161040244073 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 7.461 * [backup-simplify]: Simplify (+ 0 0) into 0 7.461 * [backup-simplify]: Simplify 0 into 0 7.461 * [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 7.462 * [backup-simplify]: Simplify (+ (* 1.900161040244073 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 7.463 * [backup-simplify]: Simplify (+ 0 0) into 0 7.463 * [backup-simplify]: Simplify 0 into 0 7.463 * [backup-simplify]: Simplify (+ 3.0191289436999997 (* 1.900161040244073 (/ 1 (/ 1 (- x))))) into (- 3.0191289436999997 (* 1.900161040244073 x)) 7.463 * * * [progress]: simplifying candidates 7.463 * * * * [progress]: [ 1 / 60 ] simplifiying candidate # 7.463 * * * * [progress]: [ 2 / 60 ] simplifiying candidate # 7.463 * * * * [progress]: [ 3 / 60 ] simplifiying candidate # 7.463 * * * * [progress]: [ 4 / 60 ] simplifiying candidate # 7.463 * * * * [progress]: [ 5 / 60 ] simplifiying candidate # 7.463 * * * * [progress]: [ 6 / 60 ] simplifiying candidate # 7.463 * * * * [progress]: [ 7 / 60 ] simplifiying candidate # 7.463 * * * * [progress]: [ 8 / 60 ] simplifiying candidate # 7.463 * * * * [progress]: [ 9 / 60 ] simplifiying candidate # 7.463 * * * * [progress]: [ 10 / 60 ] simplifiying candidate # 7.463 * * * * [progress]: [ 11 / 60 ] simplifiying candidate # 7.463 * * * * [progress]: [ 12 / 60 ] simplifiying candidate # 7.463 * * * * [progress]: [ 13 / 60 ] simplifiying candidate # 7.463 * * * * [progress]: [ 14 / 60 ] simplifiying candidate # 7.464 * * * * [progress]: [ 15 / 60 ] simplifiying candidate # 7.464 * * * * [progress]: [ 16 / 60 ] simplifiying candidate # 7.464 * * * * [progress]: [ 17 / 60 ] simplifiying candidate # 7.464 * * * * [progress]: [ 18 / 60 ] simplifiying candidate # 7.464 * * * * [progress]: [ 19 / 60 ] simplifiying candidate # 7.464 * * * * [progress]: [ 20 / 60 ] simplifiying candidate # 7.464 * * * * [progress]: [ 21 / 60 ] simplifiying candidate # 7.464 * * * * [progress]: [ 22 / 60 ] simplifiying candidate # 7.464 * * * * [progress]: [ 23 / 60 ] simplifiying candidate # 7.464 * * * * [progress]: [ 24 / 60 ] simplifiying candidate # 7.464 * * * * [progress]: [ 25 / 60 ] simplifiying candidate # 7.464 * * * * [progress]: [ 26 / 60 ] simplifiying candidate # 7.464 * * * * [progress]: [ 27 / 60 ] simplifiying candidate # 7.464 * * * * [progress]: [ 28 / 60 ] simplifiying candidate # 7.464 * * * * [progress]: [ 29 / 60 ] simplifiying candidate # 7.464 * * * * [progress]: [ 30 / 60 ] simplifiying candidate # 7.464 * * * * [progress]: [ 31 / 60 ] simplifiying candidate # 7.464 * * * * [progress]: [ 32 / 60 ] simplifiying candidate #real (real->posit16 (* x (- 3.0191289436999997 (* x 1.900161040244073))))) 2.30753))> 7.464 * * * * [progress]: [ 33 / 60 ] simplifiying candidate # 7.464 * * * * [progress]: [ 34 / 60 ] simplifiying candidate # 7.464 * * * * [progress]: [ 35 / 60 ] simplifiying candidate # 7.464 * * * * [progress]: [ 36 / 60 ] simplifiying candidate # 7.465 * * * * [progress]: [ 37 / 60 ] simplifiying candidate # 7.465 * * * * [progress]: [ 38 / 60 ] simplifiying candidate # 7.465 * * * * [progress]: [ 39 / 60 ] simplifiying candidate # 7.465 * * * * [progress]: [ 40 / 60 ] simplifiying candidate # 7.465 * * * * [progress]: [ 41 / 60 ] simplifiying candidate # 7.465 * * * * [progress]: [ 42 / 60 ] simplifiying candidate # 7.465 * * * * [progress]: [ 43 / 60 ] simplifiying candidate # 7.465 * * * * [progress]: [ 44 / 60 ] simplifiying candidate # 7.465 * * * * [progress]: [ 45 / 60 ] simplifiying candidate # 7.465 * * * * [progress]: [ 46 / 60 ] simplifiying candidate # 7.465 * * * * [progress]: [ 47 / 60 ] simplifiying candidate # 7.465 * * * * [progress]: [ 48 / 60 ] simplifiying candidate # 7.465 * * * * [progress]: [ 49 / 60 ] simplifiying candidate # 7.465 * * * * [progress]: [ 50 / 60 ] simplifiying candidate # 7.465 * * * * [progress]: [ 51 / 60 ] simplifiying candidate # 7.465 * * * * [progress]: [ 52 / 60 ] simplifiying candidate # 7.465 * * * * [progress]: [ 53 / 60 ] simplifiying candidate # 7.465 * * * * [progress]: [ 54 / 60 ] simplifiying candidate #real (real->posit16 (- 3.0191289436999997 (* x 1.900161040244073))))) 2.30753))> 7.465 * * * * [progress]: [ 55 / 60 ] simplifiying candidate # 7.465 * * * * [progress]: [ 56 / 60 ] simplifiying candidate # 7.465 * * * * [progress]: [ 57 / 60 ] simplifiying candidate # 7.465 * * * * [progress]: [ 58 / 60 ] simplifiying candidate # 7.465 * * * * [progress]: [ 59 / 60 ] simplifiying candidate # 7.465 * * * * [progress]: [ 60 / 60 ] simplifiying candidate # 7.466 * [simplify]: Simplifying: (expm1 (* x (- 3.0191289436999997 (* x 1.900161040244073)))) (log1p (* x (- 3.0191289436999997 (* x 1.900161040244073)))) (* x (- 3.0191289436999997 (* x 1.900161040244073))) (+ (log x) (log (- 3.0191289436999997 (* x 1.900161040244073)))) (log (* x (- 3.0191289436999997 (* x 1.900161040244073)))) (exp (* x (- 3.0191289436999997 (* x 1.900161040244073)))) (* (* (* x x) x) (* (* (- 3.0191289436999997 (* x 1.900161040244073)) (- 3.0191289436999997 (* x 1.900161040244073))) (- 3.0191289436999997 (* x 1.900161040244073)))) (* (cbrt (* x (- 3.0191289436999997 (* x 1.900161040244073)))) (cbrt (* x (- 3.0191289436999997 (* x 1.900161040244073))))) (cbrt (* x (- 3.0191289436999997 (* x 1.900161040244073)))) (* (* (* x (- 3.0191289436999997 (* x 1.900161040244073))) (* x (- 3.0191289436999997 (* x 1.900161040244073)))) (* x (- 3.0191289436999997 (* x 1.900161040244073)))) (sqrt (* x (- 3.0191289436999997 (* x 1.900161040244073)))) (sqrt (* x (- 3.0191289436999997 (* x 1.900161040244073)))) (* (sqrt x) (sqrt (- 3.0191289436999997 (* x 1.900161040244073)))) (* (sqrt x) (sqrt (- 3.0191289436999997 (* x 1.900161040244073)))) (* x (fma (* (cbrt 3.0191289436999997) (cbrt 3.0191289436999997)) (cbrt 3.0191289436999997) (- (* 1.900161040244073 x)))) (* x (fma (- 1.900161040244073) x (* 1.900161040244073 x))) (* x (fma (sqrt 3.0191289436999997) (sqrt 3.0191289436999997) (- (* 1.900161040244073 x)))) (* x (fma (- 1.900161040244073) x (* 1.900161040244073 x))) (* x (fma 1 3.0191289436999997 (- (* 1.900161040244073 x)))) (* x (fma (- 1.900161040244073) x (* 1.900161040244073 x))) (* x 3.0191289436999997) (* x (- (* x 1.900161040244073))) (* x 3.0191289436999997) (* x (- (* x 1.900161040244073))) (* (fma (* (cbrt 3.0191289436999997) (cbrt 3.0191289436999997)) (cbrt 3.0191289436999997) (- (* 1.900161040244073 x))) x) (* (fma (- 1.900161040244073) x (* 1.900161040244073 x)) x) (* (fma (sqrt 3.0191289436999997) (sqrt 3.0191289436999997) (- (* 1.900161040244073 x))) x) (* (fma (- 1.900161040244073) x (* 1.900161040244073 x)) x) (* (fma 1 3.0191289436999997 (- (* 1.900161040244073 x))) x) (* (fma (- 1.900161040244073) x (* 1.900161040244073 x)) x) (* 3.0191289436999997 x) (* (- (* x 1.900161040244073)) x) (* 3.0191289436999997 x) (* (- (* x 1.900161040244073)) x) (* x (* (cbrt (- 3.0191289436999997 (* x 1.900161040244073))) (cbrt (- 3.0191289436999997 (* x 1.900161040244073))))) (* x (sqrt (- 3.0191289436999997 (* x 1.900161040244073)))) (* x 1) (* (cbrt x) (- 3.0191289436999997 (* x 1.900161040244073))) (* (sqrt x) (- 3.0191289436999997 (* x 1.900161040244073))) (* x (- 3.0191289436999997 (* x 1.900161040244073))) (* x (- (pow 3.0191289436999997 3) (pow (* x 1.900161040244073) 3))) (* x (- (* 3.0191289436999997 3.0191289436999997) (* (* x 1.900161040244073) (* x 1.900161040244073)))) (real->posit16 (* x (- 3.0191289436999997 (* x 1.900161040244073)))) (fma (* (cbrt 3.0191289436999997) (cbrt 3.0191289436999997)) (cbrt 3.0191289436999997) (- (* 1.900161040244073 x))) (fma (- 1.900161040244073) x (* 1.900161040244073 x)) (fma (sqrt 3.0191289436999997) (sqrt 3.0191289436999997) (- (* 1.900161040244073 x))) (fma (- 1.900161040244073) x (* 1.900161040244073 x)) (fma 1 3.0191289436999997 (- (* 1.900161040244073 x))) (fma (- 1.900161040244073) x (* 1.900161040244073 x)) (expm1 (- 3.0191289436999997 (* x 1.900161040244073))) (log1p (- 3.0191289436999997 (* x 1.900161040244073))) (- (* x 1.900161040244073)) (- (* x 1.900161040244073)) (- (* x 1.900161040244073)) (/ (exp 3.0191289436999997) (exp (* x 1.900161040244073))) (log (- 3.0191289436999997 (* x 1.900161040244073))) (exp (- 3.0191289436999997 (* x 1.900161040244073))) (* (cbrt (- 3.0191289436999997 (* x 1.900161040244073))) (cbrt (- 3.0191289436999997 (* x 1.900161040244073)))) (cbrt (- 3.0191289436999997 (* x 1.900161040244073))) (* (* (- 3.0191289436999997 (* x 1.900161040244073)) (- 3.0191289436999997 (* x 1.900161040244073))) (- 3.0191289436999997 (* x 1.900161040244073))) (sqrt (- 3.0191289436999997 (* x 1.900161040244073))) (sqrt (- 3.0191289436999997 (* x 1.900161040244073))) (- (pow 3.0191289436999997 3) (pow (* x 1.900161040244073) 3)) (+ (* 3.0191289436999997 3.0191289436999997) (+ (* (* x 1.900161040244073) (* x 1.900161040244073)) (* 3.0191289436999997 (* x 1.900161040244073)))) (- (* x 1.900161040244073)) (- (* 3.0191289436999997 3.0191289436999997) (* (* x 1.900161040244073) (* x 1.900161040244073))) (+ 3.0191289436999997 (* x 1.900161040244073)) (- (* x 1.900161040244073)) (real->posit16 (- 3.0191289436999997 (* x 1.900161040244073))) (- (* 3.0191289436999997 x) (* 1.900161040244073 (pow x 2))) (- (* 3.0191289436999997 x) (* 1.900161040244073 (pow x 2))) (- (* 3.0191289436999997 x) (* 1.900161040244073 (pow x 2))) (- 3.0191289436999997 (* 1.900161040244073 x)) (- 3.0191289436999997 (* 1.900161040244073 x)) (- 3.0191289436999997 (* 1.900161040244073 x)) 7.467 * * [simplify]: iteration 0: 84 enodes 7.490 * * [simplify]: iteration 1: 190 enodes 7.558 * * [simplify]: iteration 2: 565 enodes 8.026 * * [simplify]: iteration 3: 2578 enodes 10.460 * * [simplify]: iteration complete: 5002 enodes 10.460 * * [simplify]: Extracting #0: cost 38 inf + 0 10.463 * * [simplify]: Extracting #1: cost 443 inf + 2 10.474 * * [simplify]: Extracting #2: cost 873 inf + 10187 10.509 * * [simplify]: Extracting #3: cost 401 inf + 85434 10.557 * * [simplify]: Extracting #4: cost 70 inf + 155078 10.608 * * [simplify]: Extracting #5: cost 8 inf + 167296 10.684 * * [simplify]: Extracting #6: cost 0 inf + 169783 10.753 * [simplify]: Simplified to: (expm1 (* (- 3.0191289436999997 (* x 1.900161040244073)) x)) (log1p (* (- 3.0191289436999997 (* x 1.900161040244073)) x)) (* (- 3.0191289436999997 (* x 1.900161040244073)) x) (log (* (- 3.0191289436999997 (* x 1.900161040244073)) x)) (log (* (- 3.0191289436999997 (* x 1.900161040244073)) x)) (exp (* (- 3.0191289436999997 (* x 1.900161040244073)) x)) (* (* (* (- 3.0191289436999997 (* x 1.900161040244073)) x) (* (- 3.0191289436999997 (* x 1.900161040244073)) x)) (* (- 3.0191289436999997 (* x 1.900161040244073)) x)) (* (cbrt (* (- 3.0191289436999997 (* x 1.900161040244073)) x)) (cbrt (* (- 3.0191289436999997 (* x 1.900161040244073)) x))) (cbrt (* (- 3.0191289436999997 (* x 1.900161040244073)) x)) (* (* (* (- 3.0191289436999997 (* x 1.900161040244073)) x) (* (- 3.0191289436999997 (* x 1.900161040244073)) x)) (* (- 3.0191289436999997 (* x 1.900161040244073)) x)) (sqrt (* (- 3.0191289436999997 (* x 1.900161040244073)) x)) (sqrt (* (- 3.0191289436999997 (* x 1.900161040244073)) x)) (* (sqrt (- 3.0191289436999997 (* x 1.900161040244073))) (sqrt x)) (* (sqrt (- 3.0191289436999997 (* x 1.900161040244073))) (sqrt x)) (* (- 3.0191289436999997 (* x 1.900161040244073)) x) (* x 0) (* (- 3.0191289436999997 (* x 1.900161040244073)) x) (* x 0) (* (- 3.0191289436999997 (* x 1.900161040244073)) x) (* x 0) (* x 3.0191289436999997) (* 1.900161040244073 (* x (- x))) (* x 3.0191289436999997) (* 1.900161040244073 (* x (- x))) (* (- 3.0191289436999997 (* x 1.900161040244073)) x) (* x 0) (* (- 3.0191289436999997 (* x 1.900161040244073)) x) (* x 0) (* (- 3.0191289436999997 (* x 1.900161040244073)) x) (* x 0) (* 3.0191289436999997 x) (* 1.900161040244073 (* x (- x))) (* 3.0191289436999997 x) (* 1.900161040244073 (* x (- x))) (* (cbrt (- 3.0191289436999997 (* x 1.900161040244073))) (* x (cbrt (- 3.0191289436999997 (* x 1.900161040244073))))) (* x (sqrt (- 3.0191289436999997 (* x 1.900161040244073)))) x (* (- 3.0191289436999997 (* x 1.900161040244073)) (cbrt x)) (* (sqrt x) (- 3.0191289436999997 (* x 1.900161040244073))) (* (- 3.0191289436999997 (* x 1.900161040244073)) x) (* (- (* (* 3.0191289436999997 3.0191289436999997) 3.0191289436999997) (* (* (* x 1.900161040244073) (* x 1.900161040244073)) (* x 1.900161040244073))) x) (* x (* (+ 3.0191289436999997 (* x 1.900161040244073)) (- 3.0191289436999997 (* x 1.900161040244073)))) (real->posit16 (* (- 3.0191289436999997 (* x 1.900161040244073)) x)) (- 3.0191289436999997 (* x 1.900161040244073)) 0 (- 3.0191289436999997 (* x 1.900161040244073)) 0 (- 3.0191289436999997 (* x 1.900161040244073)) 0 (expm1 (- 3.0191289436999997 (* x 1.900161040244073))) (log1p (- 3.0191289436999997 (* x 1.900161040244073))) (- (* x 1.900161040244073)) (- (* x 1.900161040244073)) (- (* x 1.900161040244073)) (exp (- 3.0191289436999997 (* x 1.900161040244073))) (log (- 3.0191289436999997 (* x 1.900161040244073))) (exp (- 3.0191289436999997 (* x 1.900161040244073))) (* (cbrt (- 3.0191289436999997 (* x 1.900161040244073))) (cbrt (- 3.0191289436999997 (* x 1.900161040244073)))) (cbrt (- 3.0191289436999997 (* x 1.900161040244073))) (* (- 3.0191289436999997 (* x 1.900161040244073)) (* (- 3.0191289436999997 (* x 1.900161040244073)) (- 3.0191289436999997 (* x 1.900161040244073)))) (sqrt (- 3.0191289436999997 (* x 1.900161040244073))) (sqrt (- 3.0191289436999997 (* x 1.900161040244073))) (- (* (* 3.0191289436999997 3.0191289436999997) 3.0191289436999997) (* (* (* x 1.900161040244073) (* x 1.900161040244073)) (* x 1.900161040244073))) (fma (* x 1.900161040244073) (+ 3.0191289436999997 (* x 1.900161040244073)) (* 3.0191289436999997 3.0191289436999997)) (- (* x 1.900161040244073)) (* (+ 3.0191289436999997 (* x 1.900161040244073)) (- 3.0191289436999997 (* x 1.900161040244073))) (fma x 1.900161040244073 3.0191289436999997) (- (* x 1.900161040244073)) (real->posit16 (- 3.0191289436999997 (* x 1.900161040244073))) (* (- 3.0191289436999997 (* x 1.900161040244073)) x) (* (- 3.0191289436999997 (* x 1.900161040244073)) x) (* (- 3.0191289436999997 (* x 1.900161040244073)) x) (- 3.0191289436999997 (* x 1.900161040244073)) (- 3.0191289436999997 (* x 1.900161040244073)) (- 3.0191289436999997 (* x 1.900161040244073)) 10.757 * * * [progress]: adding candidates to table 10.958 * [progress]: [Phase 3 of 3] Extracting. 10.958 * * [regime]: Finding splitpoints for: (# #) 10.959 * * * [regime-changes]: Trying 1 branch expressions: (x) 10.959 * * * * [regimes]: Trying to branch on x from (# #) 10.986 * * * [regime]: Found split indices: #