11.882 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.019 * * * [progress]: [2/2] Setting up program. 0.022 * [progress]: [Phase 2 of 3] Improving. 0.022 * [simplify]: Simplifying: (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) 0.022 * * [simplify]: iteration 0: 14 enodes 0.024 * * [simplify]: iteration 1: 22 enodes 0.027 * * [simplify]: iteration 2: 39 enodes 0.033 * * [simplify]: iteration 3: 68 enodes 0.041 * * [simplify]: iteration 4: 106 enodes 0.069 * * [simplify]: iteration 5: 120 enodes 0.093 * * [simplify]: iteration 6: 142 enodes 0.122 * * [simplify]: iteration 7: 170 enodes 0.167 * * [simplify]: iteration 8: 221 enodes 0.224 * * [simplify]: iteration 9: 475 enodes 0.392 * * [simplify]: iteration 10: 1555 enodes 2.925 * * [simplify]: iteration complete: 5001 enodes 2.925 * * [simplify]: Extracting #0: cost 1 inf + 0 2.927 * * [simplify]: Extracting #1: cost 319 inf + 0 2.933 * * [simplify]: Extracting #2: cost 813 inf + 576 2.941 * * [simplify]: Extracting #3: cost 999 inf + 7306 2.956 * * [simplify]: Extracting #4: cost 852 inf + 22144 2.980 * * [simplify]: Extracting #5: cost 637 inf + 44548 3.050 * * [simplify]: Extracting #6: cost 149 inf + 160485 3.120 * * [simplify]: Extracting #7: cost 7 inf + 196202 3.193 * * [simplify]: Extracting #8: cost 0 inf + 198331 3.295 * [simplify]: Simplified to: (- x (/ (fma 0.27061 x 2.30753) (fma (fma x 0.04481 0.99229) x 1.0))) 3.305 * * [progress]: iteration 1 / 4 3.305 * * * [progress]: picking best candidate 3.313 * * * * [pick]: Picked # 3.313 * * * [progress]: localizing error 3.327 * * * [progress]: generating rewritten candidates 3.327 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 3.331 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 2) 3.332 * * * [progress]: generating series expansions 3.332 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 3.333 * [backup-simplify]: Simplify (/ (fma 0.27061 x 2.30753) (fma (fma x 0.04481 0.99229) x 1.0)) into (/ (fma 0.27061 x 2.30753) (fma (fma x 0.04481 0.99229) x 1.0)) 3.333 * [approximate]: Taking taylor expansion of (/ (fma 0.27061 x 2.30753) (fma (fma x 0.04481 0.99229) x 1.0)) in (x) around 0 3.333 * [taylor]: Taking taylor expansion of (/ (fma 0.27061 x 2.30753) (fma (fma x 0.04481 0.99229) x 1.0)) in x 3.333 * [taylor]: Taking taylor expansion of (fma 0.27061 x 2.30753) in x 3.333 * [taylor]: Rewrote expression to (+ (* 0.27061 x) 2.30753) 3.333 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x 3.333 * [taylor]: Taking taylor expansion of 0.27061 in x 3.333 * [backup-simplify]: Simplify 0.27061 into 0.27061 3.333 * [taylor]: Taking taylor expansion of x in x 3.333 * [backup-simplify]: Simplify 0 into 0 3.333 * [backup-simplify]: Simplify 1 into 1 3.333 * [taylor]: Taking taylor expansion of 2.30753 in x 3.333 * [backup-simplify]: Simplify 2.30753 into 2.30753 3.333 * [taylor]: Taking taylor expansion of (fma (fma x 0.04481 0.99229) x 1.0) in x 3.333 * [taylor]: Rewrote expression to (+ (* (fma x 0.04481 0.99229) x) 1.0) 3.333 * [taylor]: Taking taylor expansion of (* (fma x 0.04481 0.99229) x) in x 3.333 * [taylor]: Taking taylor expansion of (fma x 0.04481 0.99229) in x 3.333 * [taylor]: Rewrote expression to (+ (* x 0.04481) 0.99229) 3.333 * [taylor]: Taking taylor expansion of (* x 0.04481) in x 3.333 * [taylor]: Taking taylor expansion of x in x 3.333 * [backup-simplify]: Simplify 0 into 0 3.333 * [backup-simplify]: Simplify 1 into 1 3.333 * [taylor]: Taking taylor expansion of 0.04481 in x 3.333 * [backup-simplify]: Simplify 0.04481 into 0.04481 3.333 * [taylor]: Taking taylor expansion of 0.99229 in x 3.333 * [backup-simplify]: Simplify 0.99229 into 0.99229 3.333 * [taylor]: Taking taylor expansion of x in x 3.333 * [backup-simplify]: Simplify 0 into 0 3.334 * [backup-simplify]: Simplify 1 into 1 3.334 * [taylor]: Taking taylor expansion of 1.0 in x 3.334 * [backup-simplify]: Simplify 1.0 into 1.0 3.334 * [backup-simplify]: Simplify (* 0.27061 0) into 0 3.334 * [backup-simplify]: Simplify (+ 0 2.30753) into 2.30753 3.335 * [backup-simplify]: Simplify (* 0 0.04481) into 0 3.335 * [backup-simplify]: Simplify (+ 0 0.99229) into 0.99229 3.335 * [backup-simplify]: Simplify (* 0.99229 0) into 0 3.335 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 3.336 * [backup-simplify]: Simplify (/ 2.30753 1.0) into 2.30753 3.336 * [taylor]: Taking taylor expansion of (/ (fma 0.27061 x 2.30753) (fma (fma x 0.04481 0.99229) x 1.0)) in x 3.336 * [taylor]: Taking taylor expansion of (fma 0.27061 x 2.30753) in x 3.336 * [taylor]: Rewrote expression to (+ (* 0.27061 x) 2.30753) 3.336 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x 3.336 * [taylor]: Taking taylor expansion of 0.27061 in x 3.336 * [backup-simplify]: Simplify 0.27061 into 0.27061 3.336 * [taylor]: Taking taylor expansion of x in x 3.336 * [backup-simplify]: Simplify 0 into 0 3.336 * [backup-simplify]: Simplify 1 into 1 3.336 * [taylor]: Taking taylor expansion of 2.30753 in x 3.336 * [backup-simplify]: Simplify 2.30753 into 2.30753 3.336 * [taylor]: Taking taylor expansion of (fma (fma x 0.04481 0.99229) x 1.0) in x 3.336 * [taylor]: Rewrote expression to (+ (* (fma x 0.04481 0.99229) x) 1.0) 3.336 * [taylor]: Taking taylor expansion of (* (fma x 0.04481 0.99229) x) in x 3.336 * [taylor]: Taking taylor expansion of (fma x 0.04481 0.99229) in x 3.336 * [taylor]: Rewrote expression to (+ (* x 0.04481) 0.99229) 3.336 * [taylor]: Taking taylor expansion of (* x 0.04481) in x 3.336 * [taylor]: Taking taylor expansion of x in x 3.336 * [backup-simplify]: Simplify 0 into 0 3.336 * [backup-simplify]: Simplify 1 into 1 3.336 * [taylor]: Taking taylor expansion of 0.04481 in x 3.336 * [backup-simplify]: Simplify 0.04481 into 0.04481 3.336 * [taylor]: Taking taylor expansion of 0.99229 in x 3.336 * [backup-simplify]: Simplify 0.99229 into 0.99229 3.336 * [taylor]: Taking taylor expansion of x in x 3.336 * [backup-simplify]: Simplify 0 into 0 3.336 * [backup-simplify]: Simplify 1 into 1 3.336 * [taylor]: Taking taylor expansion of 1.0 in x 3.336 * [backup-simplify]: Simplify 1.0 into 1.0 3.337 * [backup-simplify]: Simplify (* 0.27061 0) into 0 3.337 * [backup-simplify]: Simplify (+ 0 2.30753) into 2.30753 3.337 * [backup-simplify]: Simplify (* 0 0.04481) into 0 3.338 * [backup-simplify]: Simplify (+ 0 0.99229) into 0.99229 3.338 * [backup-simplify]: Simplify (* 0.99229 0) into 0 3.338 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 3.338 * [backup-simplify]: Simplify (/ 2.30753 1.0) into 2.30753 3.338 * [backup-simplify]: Simplify 2.30753 into 2.30753 3.339 * [backup-simplify]: Simplify (+ (* 0.27061 1) (* 0 0)) into 0.27061 3.340 * [backup-simplify]: Simplify (+ 0.27061 0) into 0.27061 3.340 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 0.04481)) into 0.04481 3.341 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 3.342 * [backup-simplify]: Simplify (+ (* 0.99229 1) (* 0.04481 0)) into 0.99229 3.342 * [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 0) (+ (* 1 0) (* 0 0.04481))) 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.350 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 3.356 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 2.30753 (/ 0.04481 1.0)) (* (- 2.0191289436999997) (/ 0.99229 1.0)))) into 1.900161040244073 3.356 * [backup-simplify]: Simplify 1.900161040244073 into 1.900161040244073 3.362 * [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.362 * [backup-simplify]: Simplify (/ (fma 0.27061 (/ 1 x) 2.30753) (fma (fma (/ 1 x) 0.04481 0.99229) (/ 1 x) 1.0)) into (/ (fma 0.27061 (/ 1 x) 2.30753) (fma (fma (/ 1 x) 0.04481 0.99229) (/ 1 x) 1.0)) 3.362 * [approximate]: Taking taylor expansion of (/ (fma 0.27061 (/ 1 x) 2.30753) (fma (fma (/ 1 x) 0.04481 0.99229) (/ 1 x) 1.0)) in (x) around 0 3.362 * [taylor]: Taking taylor expansion of (/ (fma 0.27061 (/ 1 x) 2.30753) (fma (fma (/ 1 x) 0.04481 0.99229) (/ 1 x) 1.0)) in x 3.362 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ 1 x) 2.30753) in x 3.362 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ 1 x)) 2.30753) 3.363 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 3.363 * [taylor]: Taking taylor expansion of 0.27061 in x 3.363 * [backup-simplify]: Simplify 0.27061 into 0.27061 3.363 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.363 * [taylor]: Taking taylor expansion of x in x 3.363 * [backup-simplify]: Simplify 0 into 0 3.363 * [backup-simplify]: Simplify 1 into 1 3.363 * [backup-simplify]: Simplify (/ 1 1) into 1 3.363 * [taylor]: Taking taylor expansion of 2.30753 in x 3.363 * [backup-simplify]: Simplify 2.30753 into 2.30753 3.363 * [taylor]: Taking taylor expansion of (fma (fma (/ 1 x) 0.04481 0.99229) (/ 1 x) 1.0) in x 3.364 * [taylor]: Rewrote expression to (+ (* (fma (/ 1 x) 0.04481 0.99229) (/ 1 x)) 1.0) 3.364 * [taylor]: Taking taylor expansion of (* (fma (/ 1 x) 0.04481 0.99229) (/ 1 x)) in x 3.364 * [taylor]: Taking taylor expansion of (fma (/ 1 x) 0.04481 0.99229) in x 3.364 * [taylor]: Rewrote expression to (+ (* (/ 1 x) 0.04481) 0.99229) 3.364 * [taylor]: Taking taylor expansion of (* (/ 1 x) 0.04481) in x 3.364 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.364 * [taylor]: Taking taylor expansion of x in x 3.364 * [backup-simplify]: Simplify 0 into 0 3.364 * [backup-simplify]: Simplify 1 into 1 3.365 * [backup-simplify]: Simplify (/ 1 1) into 1 3.365 * [taylor]: Taking taylor expansion of 0.04481 in x 3.365 * [backup-simplify]: Simplify 0.04481 into 0.04481 3.365 * [taylor]: Taking taylor expansion of 0.99229 in x 3.365 * [backup-simplify]: Simplify 0.99229 into 0.99229 3.365 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.365 * [taylor]: Taking taylor expansion of x in x 3.365 * [backup-simplify]: Simplify 0 into 0 3.365 * [backup-simplify]: Simplify 1 into 1 3.365 * [backup-simplify]: Simplify (/ 1 1) into 1 3.365 * [taylor]: Taking taylor expansion of 1.0 in x 3.365 * [backup-simplify]: Simplify 1.0 into 1.0 3.366 * [backup-simplify]: Simplify (* 0.27061 1) into 0.27061 3.367 * [backup-simplify]: Simplify (+ 0.27061 0) into 0.27061 3.367 * [backup-simplify]: Simplify (* 1 0.04481) into 0.04481 3.368 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 3.368 * [backup-simplify]: Simplify (* 0.04481 1) into 0.04481 3.369 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 3.369 * [backup-simplify]: Simplify (/ 0.27061 0.04481) into 6.039053782637804 3.369 * [taylor]: Taking taylor expansion of (/ (fma 0.27061 (/ 1 x) 2.30753) (fma (fma (/ 1 x) 0.04481 0.99229) (/ 1 x) 1.0)) in x 3.369 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ 1 x) 2.30753) in x 3.370 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ 1 x)) 2.30753) 3.370 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 3.370 * [taylor]: Taking taylor expansion of 0.27061 in x 3.370 * [backup-simplify]: Simplify 0.27061 into 0.27061 3.370 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.370 * [taylor]: Taking taylor expansion of x in x 3.370 * [backup-simplify]: Simplify 0 into 0 3.370 * [backup-simplify]: Simplify 1 into 1 3.370 * [backup-simplify]: Simplify (/ 1 1) into 1 3.370 * [taylor]: Taking taylor expansion of 2.30753 in x 3.370 * [backup-simplify]: Simplify 2.30753 into 2.30753 3.370 * [taylor]: Taking taylor expansion of (fma (fma (/ 1 x) 0.04481 0.99229) (/ 1 x) 1.0) in x 3.370 * [taylor]: Rewrote expression to (+ (* (fma (/ 1 x) 0.04481 0.99229) (/ 1 x)) 1.0) 3.370 * [taylor]: Taking taylor expansion of (* (fma (/ 1 x) 0.04481 0.99229) (/ 1 x)) in x 3.371 * [taylor]: Taking taylor expansion of (fma (/ 1 x) 0.04481 0.99229) in x 3.371 * [taylor]: Rewrote expression to (+ (* (/ 1 x) 0.04481) 0.99229) 3.371 * [taylor]: Taking taylor expansion of (* (/ 1 x) 0.04481) in x 3.371 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.371 * [taylor]: Taking taylor expansion of x in x 3.371 * [backup-simplify]: Simplify 0 into 0 3.371 * [backup-simplify]: Simplify 1 into 1 3.371 * [backup-simplify]: Simplify (/ 1 1) into 1 3.371 * [taylor]: Taking taylor expansion of 0.04481 in x 3.371 * [backup-simplify]: Simplify 0.04481 into 0.04481 3.371 * [taylor]: Taking taylor expansion of 0.99229 in x 3.371 * [backup-simplify]: Simplify 0.99229 into 0.99229 3.371 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.371 * [taylor]: Taking taylor expansion of x in x 3.371 * [backup-simplify]: Simplify 0 into 0 3.372 * [backup-simplify]: Simplify 1 into 1 3.372 * [backup-simplify]: Simplify (/ 1 1) into 1 3.372 * [taylor]: Taking taylor expansion of 1.0 in x 3.372 * [backup-simplify]: Simplify 1.0 into 1.0 3.373 * [backup-simplify]: Simplify (* 0.27061 1) into 0.27061 3.373 * [backup-simplify]: Simplify (+ 0.27061 0) into 0.27061 3.373 * [backup-simplify]: Simplify (* 1 0.04481) into 0.04481 3.374 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 3.374 * [backup-simplify]: Simplify (* 0.04481 1) into 0.04481 3.375 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 3.375 * [backup-simplify]: Simplify (/ 0.27061 0.04481) into 6.039053782637804 3.375 * [backup-simplify]: Simplify 6.039053782637804 into 6.039053782637804 3.376 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.376 * [backup-simplify]: Simplify (+ (* 0.27061 0) (* 0 1)) into 0 3.376 * [backup-simplify]: Simplify (+ 0 2.30753) into 2.30753 3.377 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.377 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.378 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 0.04481)) into 0 3.378 * [backup-simplify]: Simplify (+ 0 0.99229) into 0.99229 3.379 * [backup-simplify]: Simplify (+ (* 0.04481 0) (* 0.99229 1)) into 0.99229 3.379 * [backup-simplify]: Simplify (+ 0.99229 0) into 0.99229 3.381 * [backup-simplify]: Simplify (- (/ 2.30753 0.04481) (+ (* 6.039053782637804 (/ 0.99229 0.04481)))) into (- 82.23527511657369) 3.381 * [backup-simplify]: Simplify (- 82.23527511657369) into (- 82.23527511657369) 3.382 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.382 * [backup-simplify]: Simplify (+ (* 0.27061 0) (+ (* 0 0) (* 0 1))) into 0 3.382 * [backup-simplify]: Simplify (+ 0 0) into 0 3.383 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.383 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.384 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 0.04481))) into 0 3.385 * [backup-simplify]: Simplify (+ 0 0) into 0 3.385 * [backup-simplify]: Simplify (+ (* 0.04481 0) (+ (* 0.99229 0) (* 0 1))) into 0 3.385 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 3.389 * [backup-simplify]: Simplify (- (/ 0 0.04481) (+ (* 6.039053782637804 (/ 1.0 0.04481)) (* (- 82.23527511657369) (/ 0.99229 0.04481)))) into 1686.279566230464 3.389 * [backup-simplify]: Simplify 1686.279566230464 into 1686.279566230464 3.389 * [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.389 * [backup-simplify]: Simplify (/ (fma 0.27061 (/ 1 (- x)) 2.30753) (fma (fma (/ 1 (- x)) 0.04481 0.99229) (/ 1 (- x)) 1.0)) into (/ (fma 0.27061 (/ -1 x) 2.30753) (fma (fma (/ -1 x) 0.04481 0.99229) (/ -1 x) 1.0)) 3.389 * [approximate]: Taking taylor expansion of (/ (fma 0.27061 (/ -1 x) 2.30753) (fma (fma (/ -1 x) 0.04481 0.99229) (/ -1 x) 1.0)) in (x) around 0 3.390 * [taylor]: Taking taylor expansion of (/ (fma 0.27061 (/ -1 x) 2.30753) (fma (fma (/ -1 x) 0.04481 0.99229) (/ -1 x) 1.0)) in x 3.390 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ -1 x) 2.30753) in x 3.390 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ -1 x)) 2.30753) 3.390 * [taylor]: Taking taylor expansion of (* 0.27061 (/ -1 x)) in x 3.390 * [taylor]: Taking taylor expansion of 0.27061 in x 3.390 * [backup-simplify]: Simplify 0.27061 into 0.27061 3.390 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.390 * [taylor]: Taking taylor expansion of -1 in x 3.390 * [backup-simplify]: Simplify -1 into -1 3.390 * [taylor]: Taking taylor expansion of x in x 3.390 * [backup-simplify]: Simplify 0 into 0 3.390 * [backup-simplify]: Simplify 1 into 1 3.390 * [backup-simplify]: Simplify (/ -1 1) into -1 3.390 * [taylor]: Taking taylor expansion of 2.30753 in x 3.390 * [backup-simplify]: Simplify 2.30753 into 2.30753 3.390 * [taylor]: Taking taylor expansion of (fma (fma (/ -1 x) 0.04481 0.99229) (/ -1 x) 1.0) in x 3.390 * [taylor]: Rewrote expression to (+ (* (fma (/ -1 x) 0.04481 0.99229) (/ -1 x)) 1.0) 3.390 * [taylor]: Taking taylor expansion of (* (fma (/ -1 x) 0.04481 0.99229) (/ -1 x)) in x 3.390 * [taylor]: Taking taylor expansion of (fma (/ -1 x) 0.04481 0.99229) in x 3.390 * [taylor]: Rewrote expression to (+ (* (/ -1 x) 0.04481) 0.99229) 3.390 * [taylor]: Taking taylor expansion of (* (/ -1 x) 0.04481) in x 3.390 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.390 * [taylor]: Taking taylor expansion of -1 in x 3.390 * [backup-simplify]: Simplify -1 into -1 3.390 * [taylor]: Taking taylor expansion of x in x 3.390 * [backup-simplify]: Simplify 0 into 0 3.391 * [backup-simplify]: Simplify 1 into 1 3.391 * [backup-simplify]: Simplify (/ -1 1) into -1 3.391 * [taylor]: Taking taylor expansion of 0.04481 in x 3.391 * [backup-simplify]: Simplify 0.04481 into 0.04481 3.391 * [taylor]: Taking taylor expansion of 0.99229 in x 3.391 * [backup-simplify]: Simplify 0.99229 into 0.99229 3.391 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.391 * [taylor]: Taking taylor expansion of -1 in x 3.391 * [backup-simplify]: Simplify -1 into -1 3.391 * [taylor]: Taking taylor expansion of x in x 3.391 * [backup-simplify]: Simplify 0 into 0 3.391 * [backup-simplify]: Simplify 1 into 1 3.391 * [backup-simplify]: Simplify (/ -1 1) into -1 3.391 * [taylor]: Taking taylor expansion of 1.0 in x 3.391 * [backup-simplify]: Simplify 1.0 into 1.0 3.392 * [backup-simplify]: Simplify (* 0.27061 -1) into -0.27061 3.392 * [backup-simplify]: Simplify (+ -0.27061 0) into (- 0.27061) 3.392 * [backup-simplify]: Simplify (* -1 0.04481) into -0.04481 3.392 * [backup-simplify]: Simplify (+ -0.04481 0) into (- 0.04481) 3.393 * [backup-simplify]: Simplify (* (- 0.04481) -1) into 0.04481 3.393 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 3.394 * [backup-simplify]: Simplify (/ (- 0.27061) 0.04481) into -6.039053782637804 3.394 * [taylor]: Taking taylor expansion of (/ (fma 0.27061 (/ -1 x) 2.30753) (fma (fma (/ -1 x) 0.04481 0.99229) (/ -1 x) 1.0)) in x 3.394 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ -1 x) 2.30753) in x 3.394 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ -1 x)) 2.30753) 3.394 * [taylor]: Taking taylor expansion of (* 0.27061 (/ -1 x)) in x 3.394 * [taylor]: Taking taylor expansion of 0.27061 in x 3.394 * [backup-simplify]: Simplify 0.27061 into 0.27061 3.394 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.394 * [taylor]: Taking taylor expansion of -1 in x 3.394 * [backup-simplify]: Simplify -1 into -1 3.394 * [taylor]: Taking taylor expansion of x in x 3.394 * [backup-simplify]: Simplify 0 into 0 3.394 * [backup-simplify]: Simplify 1 into 1 3.394 * [backup-simplify]: Simplify (/ -1 1) into -1 3.394 * [taylor]: Taking taylor expansion of 2.30753 in x 3.394 * [backup-simplify]: Simplify 2.30753 into 2.30753 3.394 * [taylor]: Taking taylor expansion of (fma (fma (/ -1 x) 0.04481 0.99229) (/ -1 x) 1.0) in x 3.394 * [taylor]: Rewrote expression to (+ (* (fma (/ -1 x) 0.04481 0.99229) (/ -1 x)) 1.0) 3.394 * [taylor]: Taking taylor expansion of (* (fma (/ -1 x) 0.04481 0.99229) (/ -1 x)) in x 3.394 * [taylor]: Taking taylor expansion of (fma (/ -1 x) 0.04481 0.99229) in x 3.395 * [taylor]: Rewrote expression to (+ (* (/ -1 x) 0.04481) 0.99229) 3.395 * [taylor]: Taking taylor expansion of (* (/ -1 x) 0.04481) in x 3.395 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.395 * [taylor]: Taking taylor expansion of -1 in x 3.395 * [backup-simplify]: Simplify -1 into -1 3.395 * [taylor]: Taking taylor expansion of x in x 3.395 * [backup-simplify]: Simplify 0 into 0 3.395 * [backup-simplify]: Simplify 1 into 1 3.395 * [backup-simplify]: Simplify (/ -1 1) into -1 3.395 * [taylor]: Taking taylor expansion of 0.04481 in x 3.395 * [backup-simplify]: Simplify 0.04481 into 0.04481 3.395 * [taylor]: Taking taylor expansion of 0.99229 in x 3.395 * [backup-simplify]: Simplify 0.99229 into 0.99229 3.395 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.395 * [taylor]: Taking taylor expansion of -1 in x 3.395 * [backup-simplify]: Simplify -1 into -1 3.395 * [taylor]: Taking taylor expansion of x in x 3.395 * [backup-simplify]: Simplify 0 into 0 3.395 * [backup-simplify]: Simplify 1 into 1 3.395 * [backup-simplify]: Simplify (/ -1 1) into -1 3.395 * [taylor]: Taking taylor expansion of 1.0 in x 3.395 * [backup-simplify]: Simplify 1.0 into 1.0 3.396 * [backup-simplify]: Simplify (* 0.27061 -1) into -0.27061 3.396 * [backup-simplify]: Simplify (+ -0.27061 0) into (- 0.27061) 3.396 * [backup-simplify]: Simplify (* -1 0.04481) into -0.04481 3.396 * [backup-simplify]: Simplify (+ -0.04481 0) into (- 0.04481) 3.397 * [backup-simplify]: Simplify (* (- 0.04481) -1) into 0.04481 3.397 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 3.398 * [backup-simplify]: Simplify (/ (- 0.27061) 0.04481) into -6.039053782637804 3.398 * [backup-simplify]: Simplify -6.039053782637804 into -6.039053782637804 3.398 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 3.399 * [backup-simplify]: Simplify (+ (* 0.27061 0) (* 0 -1)) into 0 3.399 * [backup-simplify]: Simplify (+ 0 2.30753) into 2.30753 3.400 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 3.400 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 3.400 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 0.04481)) into 0 3.401 * [backup-simplify]: Simplify (+ 0 0.99229) into 0.99229 3.402 * [backup-simplify]: Simplify (+ (* (- 0.04481) 0) (* 0.99229 -1)) into (- 0.99229) 3.402 * [backup-simplify]: Simplify (+ (- 0.99229) 0) into (- 0.99229) 3.406 * [backup-simplify]: Simplify (- (/ 2.30753 0.04481) (+ (* -6.039053782637804 (/ (- 0.99229) 0.04481)))) into (- 82.23527511657369) 3.406 * [backup-simplify]: Simplify (- 82.23527511657369) into (- 82.23527511657369) 3.407 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.408 * [backup-simplify]: Simplify (+ (* 0.27061 0) (+ (* 0 0) (* 0 -1))) into 0 3.408 * [backup-simplify]: Simplify (+ 0 0) into 0 3.409 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.410 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.411 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 0.04481))) into 0 3.412 * [backup-simplify]: Simplify (+ 0 0) into 0 3.413 * [backup-simplify]: Simplify (+ (* (- 0.04481) 0) (+ (* 0.99229 0) (* 0 -1))) into 0 3.413 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 3.420 * [backup-simplify]: Simplify (- (/ 0 0.04481) (+ (* -6.039053782637804 (/ 1.0 0.04481)) (* (- 82.23527511657369) (/ (- 0.99229) 0.04481)))) into (- 1686.279566230464) 3.420 * [backup-simplify]: Simplify (- 1686.279566230464) into (- 1686.279566230464) 3.422 * [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.422 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 2) 3.422 * [backup-simplify]: Simplify (fma (fma x 0.04481 0.99229) x 1.0) into (fma (fma x 0.04481 0.99229) x 1.0) 3.422 * [approximate]: Taking taylor expansion of (fma (fma x 0.04481 0.99229) x 1.0) in (x) around 0 3.422 * [taylor]: Taking taylor expansion of (fma (fma x 0.04481 0.99229) x 1.0) in x 3.422 * [taylor]: Rewrote expression to (+ (* (fma x 0.04481 0.99229) x) 1.0) 3.422 * [taylor]: Taking taylor expansion of (* (fma x 0.04481 0.99229) x) in x 3.422 * [taylor]: Taking taylor expansion of (fma x 0.04481 0.99229) in x 3.422 * [taylor]: Rewrote expression to (+ (* x 0.04481) 0.99229) 3.422 * [taylor]: Taking taylor expansion of (* x 0.04481) in x 3.422 * [taylor]: Taking taylor expansion of x in x 3.422 * [backup-simplify]: Simplify 0 into 0 3.422 * [backup-simplify]: Simplify 1 into 1 3.422 * [taylor]: Taking taylor expansion of 0.04481 in x 3.422 * [backup-simplify]: Simplify 0.04481 into 0.04481 3.422 * [taylor]: Taking taylor expansion of 0.99229 in x 3.422 * [backup-simplify]: Simplify 0.99229 into 0.99229 3.422 * [taylor]: Taking taylor expansion of x in x 3.423 * [backup-simplify]: Simplify 0 into 0 3.423 * [backup-simplify]: Simplify 1 into 1 3.423 * [taylor]: Taking taylor expansion of 1.0 in x 3.423 * [backup-simplify]: Simplify 1.0 into 1.0 3.423 * [taylor]: Taking taylor expansion of (fma (fma x 0.04481 0.99229) x 1.0) in x 3.423 * [taylor]: Rewrote expression to (+ (* (fma x 0.04481 0.99229) x) 1.0) 3.423 * [taylor]: Taking taylor expansion of (* (fma x 0.04481 0.99229) x) in x 3.423 * [taylor]: Taking taylor expansion of (fma x 0.04481 0.99229) in x 3.423 * [taylor]: Rewrote expression to (+ (* x 0.04481) 0.99229) 3.423 * [taylor]: Taking taylor expansion of (* x 0.04481) in x 3.423 * [taylor]: Taking taylor expansion of x in x 3.423 * [backup-simplify]: Simplify 0 into 0 3.423 * [backup-simplify]: Simplify 1 into 1 3.423 * [taylor]: Taking taylor expansion of 0.04481 in x 3.423 * [backup-simplify]: Simplify 0.04481 into 0.04481 3.423 * [taylor]: Taking taylor expansion of 0.99229 in x 3.423 * [backup-simplify]: Simplify 0.99229 into 0.99229 3.423 * [taylor]: Taking taylor expansion of x in x 3.423 * [backup-simplify]: Simplify 0 into 0 3.423 * [backup-simplify]: Simplify 1 into 1 3.423 * [taylor]: Taking taylor expansion of 1.0 in x 3.423 * [backup-simplify]: Simplify 1.0 into 1.0 3.424 * [backup-simplify]: Simplify (* 0 0.04481) into 0 3.424 * [backup-simplify]: Simplify (+ 0 0.99229) into 0.99229 3.425 * [backup-simplify]: Simplify (* 0.99229 0) into 0 3.425 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 3.425 * [backup-simplify]: Simplify 1.0 into 1.0 3.426 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 0.04481)) into 0.04481 3.427 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 3.428 * [backup-simplify]: Simplify (+ (* 0.99229 1) (* 0.04481 0)) into 0.99229 3.429 * [backup-simplify]: Simplify (+ 0.99229 0) into 0.99229 3.429 * [backup-simplify]: Simplify 0.99229 into 0.99229 3.430 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 0.04481))) into 0 3.430 * [backup-simplify]: Simplify (+ 0 0) into 0 3.433 * [backup-simplify]: Simplify (+ (* 0.99229 0) (+ (* 0.04481 1) (* 0 0))) into 0.04481 3.434 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 3.434 * [backup-simplify]: Simplify 0.04481 into 0.04481 3.434 * [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.435 * [backup-simplify]: Simplify (fma (fma (/ 1 x) 0.04481 0.99229) (/ 1 x) 1.0) into (fma (fma (/ 1 x) 0.04481 0.99229) (/ 1 x) 1.0) 3.435 * [approximate]: Taking taylor expansion of (fma (fma (/ 1 x) 0.04481 0.99229) (/ 1 x) 1.0) in (x) around 0 3.435 * [taylor]: Taking taylor expansion of (fma (fma (/ 1 x) 0.04481 0.99229) (/ 1 x) 1.0) in x 3.435 * [taylor]: Rewrote expression to (+ (* (fma (/ 1 x) 0.04481 0.99229) (/ 1 x)) 1.0) 3.435 * [taylor]: Taking taylor expansion of (* (fma (/ 1 x) 0.04481 0.99229) (/ 1 x)) in x 3.435 * [taylor]: Taking taylor expansion of (fma (/ 1 x) 0.04481 0.99229) in x 3.435 * [taylor]: Rewrote expression to (+ (* (/ 1 x) 0.04481) 0.99229) 3.435 * [taylor]: Taking taylor expansion of (* (/ 1 x) 0.04481) in x 3.435 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.435 * [taylor]: Taking taylor expansion of x in x 3.435 * [backup-simplify]: Simplify 0 into 0 3.435 * [backup-simplify]: Simplify 1 into 1 3.436 * [backup-simplify]: Simplify (/ 1 1) into 1 3.436 * [taylor]: Taking taylor expansion of 0.04481 in x 3.436 * [backup-simplify]: Simplify 0.04481 into 0.04481 3.436 * [taylor]: Taking taylor expansion of 0.99229 in x 3.436 * [backup-simplify]: Simplify 0.99229 into 0.99229 3.436 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.436 * [taylor]: Taking taylor expansion of x in x 3.436 * [backup-simplify]: Simplify 0 into 0 3.436 * [backup-simplify]: Simplify 1 into 1 3.436 * [backup-simplify]: Simplify (/ 1 1) into 1 3.436 * [taylor]: Taking taylor expansion of 1.0 in x 3.436 * [backup-simplify]: Simplify 1.0 into 1.0 3.436 * [taylor]: Taking taylor expansion of (fma (fma (/ 1 x) 0.04481 0.99229) (/ 1 x) 1.0) in x 3.436 * [taylor]: Rewrote expression to (+ (* (fma (/ 1 x) 0.04481 0.99229) (/ 1 x)) 1.0) 3.436 * [taylor]: Taking taylor expansion of (* (fma (/ 1 x) 0.04481 0.99229) (/ 1 x)) in x 3.437 * [taylor]: Taking taylor expansion of (fma (/ 1 x) 0.04481 0.99229) in x 3.437 * [taylor]: Rewrote expression to (+ (* (/ 1 x) 0.04481) 0.99229) 3.437 * [taylor]: Taking taylor expansion of (* (/ 1 x) 0.04481) in x 3.437 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.437 * [taylor]: Taking taylor expansion of x in x 3.437 * [backup-simplify]: Simplify 0 into 0 3.437 * [backup-simplify]: Simplify 1 into 1 3.437 * [backup-simplify]: Simplify (/ 1 1) into 1 3.437 * [taylor]: Taking taylor expansion of 0.04481 in x 3.437 * [backup-simplify]: Simplify 0.04481 into 0.04481 3.437 * [taylor]: Taking taylor expansion of 0.99229 in x 3.437 * [backup-simplify]: Simplify 0.99229 into 0.99229 3.437 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.437 * [taylor]: Taking taylor expansion of x in x 3.437 * [backup-simplify]: Simplify 0 into 0 3.437 * [backup-simplify]: Simplify 1 into 1 3.438 * [backup-simplify]: Simplify (/ 1 1) into 1 3.438 * [taylor]: Taking taylor expansion of 1.0 in x 3.438 * [backup-simplify]: Simplify 1.0 into 1.0 3.438 * [backup-simplify]: Simplify (* 1 0.04481) into 0.04481 3.439 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 3.439 * [backup-simplify]: Simplify (* 0.04481 1) into 0.04481 3.440 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 3.440 * [backup-simplify]: Simplify 0.04481 into 0.04481 3.440 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.441 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.442 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 0.04481)) into 0 3.442 * [backup-simplify]: Simplify (+ 0 0.99229) into 0.99229 3.444 * [backup-simplify]: Simplify (+ (* 0.04481 0) (* 0.99229 1)) into 0.99229 3.445 * [backup-simplify]: Simplify (+ 0.99229 0) into 0.99229 3.445 * [backup-simplify]: Simplify 0.99229 into 0.99229 3.446 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.447 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.447 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 0.04481))) into 0 3.448 * [backup-simplify]: Simplify (+ 0 0) into 0 3.449 * [backup-simplify]: Simplify (+ (* 0.04481 0) (+ (* 0.99229 0) (* 0 1))) into 0 3.449 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 3.449 * [backup-simplify]: Simplify 1.0 into 1.0 3.450 * [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.450 * [backup-simplify]: Simplify (fma (fma (/ 1 (- x)) 0.04481 0.99229) (/ 1 (- x)) 1.0) into (fma (fma (/ -1 x) 0.04481 0.99229) (/ -1 x) 1.0) 3.450 * [approximate]: Taking taylor expansion of (fma (fma (/ -1 x) 0.04481 0.99229) (/ -1 x) 1.0) in (x) around 0 3.450 * [taylor]: Taking taylor expansion of (fma (fma (/ -1 x) 0.04481 0.99229) (/ -1 x) 1.0) in x 3.450 * [taylor]: Rewrote expression to (+ (* (fma (/ -1 x) 0.04481 0.99229) (/ -1 x)) 1.0) 3.450 * [taylor]: Taking taylor expansion of (* (fma (/ -1 x) 0.04481 0.99229) (/ -1 x)) in x 3.450 * [taylor]: Taking taylor expansion of (fma (/ -1 x) 0.04481 0.99229) in x 3.451 * [taylor]: Rewrote expression to (+ (* (/ -1 x) 0.04481) 0.99229) 3.451 * [taylor]: Taking taylor expansion of (* (/ -1 x) 0.04481) in x 3.451 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.451 * [taylor]: Taking taylor expansion of -1 in x 3.451 * [backup-simplify]: Simplify -1 into -1 3.451 * [taylor]: Taking taylor expansion of x in x 3.451 * [backup-simplify]: Simplify 0 into 0 3.451 * [backup-simplify]: Simplify 1 into 1 3.451 * [backup-simplify]: Simplify (/ -1 1) into -1 3.451 * [taylor]: Taking taylor expansion of 0.04481 in x 3.451 * [backup-simplify]: Simplify 0.04481 into 0.04481 3.451 * [taylor]: Taking taylor expansion of 0.99229 in x 3.451 * [backup-simplify]: Simplify 0.99229 into 0.99229 3.451 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.451 * [taylor]: Taking taylor expansion of -1 in x 3.451 * [backup-simplify]: Simplify -1 into -1 3.451 * [taylor]: Taking taylor expansion of x in x 3.451 * [backup-simplify]: Simplify 0 into 0 3.451 * [backup-simplify]: Simplify 1 into 1 3.452 * [backup-simplify]: Simplify (/ -1 1) into -1 3.452 * [taylor]: Taking taylor expansion of 1.0 in x 3.452 * [backup-simplify]: Simplify 1.0 into 1.0 3.452 * [taylor]: Taking taylor expansion of (fma (fma (/ -1 x) 0.04481 0.99229) (/ -1 x) 1.0) in x 3.452 * [taylor]: Rewrote expression to (+ (* (fma (/ -1 x) 0.04481 0.99229) (/ -1 x)) 1.0) 3.452 * [taylor]: Taking taylor expansion of (* (fma (/ -1 x) 0.04481 0.99229) (/ -1 x)) in x 3.452 * [taylor]: Taking taylor expansion of (fma (/ -1 x) 0.04481 0.99229) in x 3.452 * [taylor]: Rewrote expression to (+ (* (/ -1 x) 0.04481) 0.99229) 3.452 * [taylor]: Taking taylor expansion of (* (/ -1 x) 0.04481) in x 3.452 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.452 * [taylor]: Taking taylor expansion of -1 in x 3.452 * [backup-simplify]: Simplify -1 into -1 3.452 * [taylor]: Taking taylor expansion of x in x 3.452 * [backup-simplify]: Simplify 0 into 0 3.452 * [backup-simplify]: Simplify 1 into 1 3.452 * [backup-simplify]: Simplify (/ -1 1) into -1 3.452 * [taylor]: Taking taylor expansion of 0.04481 in x 3.452 * [backup-simplify]: Simplify 0.04481 into 0.04481 3.452 * [taylor]: Taking taylor expansion of 0.99229 in x 3.452 * [backup-simplify]: Simplify 0.99229 into 0.99229 3.452 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.452 * [taylor]: Taking taylor expansion of -1 in x 3.452 * [backup-simplify]: Simplify -1 into -1 3.452 * [taylor]: Taking taylor expansion of x in x 3.452 * [backup-simplify]: Simplify 0 into 0 3.452 * [backup-simplify]: Simplify 1 into 1 3.453 * [backup-simplify]: Simplify (/ -1 1) into -1 3.453 * [taylor]: Taking taylor expansion of 1.0 in x 3.453 * [backup-simplify]: Simplify 1.0 into 1.0 3.453 * [backup-simplify]: Simplify (* -1 0.04481) into -0.04481 3.453 * [backup-simplify]: Simplify (+ -0.04481 0) into (- 0.04481) 3.454 * [backup-simplify]: Simplify (* (- 0.04481) -1) into 0.04481 3.454 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 3.454 * [backup-simplify]: Simplify 0.04481 into 0.04481 3.455 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 3.455 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 3.456 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 0.04481)) into 0 3.456 * [backup-simplify]: Simplify (+ 0 0.99229) into 0.99229 3.457 * [backup-simplify]: Simplify (+ (* (- 0.04481) 0) (* 0.99229 -1)) into (- 0.99229) 3.458 * [backup-simplify]: Simplify (+ (- 0.99229) 0) into (- 0.99229) 3.458 * [backup-simplify]: Simplify (- 0.99229) into (- 0.99229) 3.458 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.459 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.459 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 0.04481))) into 0 3.460 * [backup-simplify]: Simplify (+ 0 0) into 0 3.460 * [backup-simplify]: Simplify (+ (* (- 0.04481) 0) (+ (* 0.99229 0) (* 0 -1))) into 0 3.461 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 3.461 * [backup-simplify]: Simplify 1.0 into 1.0 3.461 * [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.461 * * * [progress]: simplifying candidates 3.462 * [simplify]: Simplifying: (expm1 (/ (fma 0.27061 x 2.30753) (fma (fma x 0.04481 0.99229) x 1.0))) (log1p (/ (fma 0.27061 x 2.30753) (fma (fma x 0.04481 0.99229) x 1.0))) (- (log (fma 0.27061 x 2.30753)) (log (fma (fma x 0.04481 0.99229) x 1.0))) (log (/ (fma 0.27061 x 2.30753) (fma (fma x 0.04481 0.99229) x 1.0))) (exp (/ (fma 0.27061 x 2.30753) (fma (fma x 0.04481 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 x 0.04481 0.99229) x 1.0) (fma (fma x 0.04481 0.99229) x 1.0)) (fma (fma x 0.04481 0.99229) x 1.0))) (* (cbrt (/ (fma 0.27061 x 2.30753) (fma (fma x 0.04481 0.99229) x 1.0))) (cbrt (/ (fma 0.27061 x 2.30753) (fma (fma x 0.04481 0.99229) x 1.0)))) (cbrt (/ (fma 0.27061 x 2.30753) (fma (fma x 0.04481 0.99229) x 1.0))) (* (* (/ (fma 0.27061 x 2.30753) (fma (fma x 0.04481 0.99229) x 1.0)) (/ (fma 0.27061 x 2.30753) (fma (fma x 0.04481 0.99229) x 1.0))) (/ (fma 0.27061 x 2.30753) (fma (fma x 0.04481 0.99229) x 1.0))) (sqrt (/ (fma 0.27061 x 2.30753) (fma (fma x 0.04481 0.99229) x 1.0))) (sqrt (/ (fma 0.27061 x 2.30753) (fma (fma x 0.04481 0.99229) x 1.0))) (- (fma 0.27061 x 2.30753)) (- (fma (fma x 0.04481 0.99229) x 1.0)) (/ (* (cbrt (fma 0.27061 x 2.30753)) (cbrt (fma 0.27061 x 2.30753))) (* (cbrt (fma (fma x 0.04481 0.99229) x 1.0)) (cbrt (fma (fma x 0.04481 0.99229) x 1.0)))) (/ (cbrt (fma 0.27061 x 2.30753)) (cbrt (fma (fma x 0.04481 0.99229) x 1.0))) (/ (* (cbrt (fma 0.27061 x 2.30753)) (cbrt (fma 0.27061 x 2.30753))) (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (/ (cbrt (fma 0.27061 x 2.30753)) (sqrt (fma (fma x 0.04481 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 x 0.04481 0.99229) x 1.0)) (/ (sqrt (fma 0.27061 x 2.30753)) (* (cbrt (fma (fma x 0.04481 0.99229) x 1.0)) (cbrt (fma (fma x 0.04481 0.99229) x 1.0)))) (/ (sqrt (fma 0.27061 x 2.30753)) (cbrt (fma (fma x 0.04481 0.99229) x 1.0))) (/ (sqrt (fma 0.27061 x 2.30753)) (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (/ (sqrt (fma 0.27061 x 2.30753)) (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (/ (sqrt (fma 0.27061 x 2.30753)) 1) (/ (sqrt (fma 0.27061 x 2.30753)) (fma (fma x 0.04481 0.99229) x 1.0)) (/ 1 (* (cbrt (fma (fma x 0.04481 0.99229) x 1.0)) (cbrt (fma (fma x 0.04481 0.99229) x 1.0)))) (/ (fma 0.27061 x 2.30753) (cbrt (fma (fma x 0.04481 0.99229) x 1.0))) (/ 1 (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (/ (fma 0.27061 x 2.30753) (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (/ 1 1) (/ (fma 0.27061 x 2.30753) (fma (fma x 0.04481 0.99229) x 1.0)) (/ 1 (fma (fma x 0.04481 0.99229) x 1.0)) (/ (fma (fma x 0.04481 0.99229) x 1.0) (fma 0.27061 x 2.30753)) (/ (fma 0.27061 x 2.30753) (* (cbrt (fma (fma x 0.04481 0.99229) x 1.0)) (cbrt (fma (fma x 0.04481 0.99229) x 1.0)))) (/ (fma 0.27061 x 2.30753) (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (/ (fma 0.27061 x 2.30753) 1) (/ (fma (fma x 0.04481 0.99229) x 1.0) (cbrt (fma 0.27061 x 2.30753))) (/ (fma (fma x 0.04481 0.99229) x 1.0) (sqrt (fma 0.27061 x 2.30753))) (/ (fma (fma x 0.04481 0.99229) x 1.0) (fma 0.27061 x 2.30753)) (expm1 (fma (fma x 0.04481 0.99229) x 1.0)) (log1p (fma (fma x 0.04481 0.99229) x 1.0)) (* (fma x 0.04481 0.99229) x) (log (fma (fma x 0.04481 0.99229) x 1.0)) (exp (fma (fma x 0.04481 0.99229) x 1.0)) (* (cbrt (fma (fma x 0.04481 0.99229) x 1.0)) (cbrt (fma (fma x 0.04481 0.99229) x 1.0))) (cbrt (fma (fma x 0.04481 0.99229) x 1.0)) (* (* (fma (fma x 0.04481 0.99229) x 1.0) (fma (fma x 0.04481 0.99229) x 1.0)) (fma (fma x 0.04481 0.99229) x 1.0)) (sqrt (fma (fma x 0.04481 0.99229) x 1.0)) (sqrt (fma (fma x 0.04481 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.463 * * [simplify]: iteration 0: 87 enodes 3.479 * * [simplify]: iteration 1: 167 enodes 3.553 * * [simplify]: iteration 2: 477 enodes 3.821 * * [simplify]: iteration 3: 1858 enodes 4.387 * * [simplify]: iteration complete: 5001 enodes 4.388 * * [simplify]: Extracting #0: cost 45 inf + 0 4.389 * * [simplify]: Extracting #1: cost 436 inf + 1 4.398 * * [simplify]: Extracting #2: cost 1379 inf + 3346 4.426 * * [simplify]: Extracting #3: cost 1116 inf + 71429 4.487 * * [simplify]: Extracting #4: cost 307 inf + 247040 4.582 * * [simplify]: Extracting #5: cost 44 inf + 319039 4.682 * * [simplify]: Extracting #6: cost 12 inf + 323563 4.778 * * [simplify]: Extracting #7: cost 0 inf + 326809 4.877 * [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)) (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)) (fma x (- (* 1.900161040244073 x) 2.0191289436999997) 2.30753) (fma (/ 1 (* x x)) (- (/ 1686.279566230464 x) 82.23527511657369) (/ 6.039053782637804 x)) (fma (/ 1 (* x x)) (- (/ 1686.279566230464 x) 82.23527511657369) (/ 6.039053782637804 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) 4.882 * * * [progress]: adding candidates to table 5.209 * * [progress]: iteration 2 / 4 5.209 * * * [progress]: picking best candidate 5.218 * * * * [pick]: Picked # 5.218 * * * [progress]: localizing error 5.262 * * * [progress]: generating rewritten candidates 5.262 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 5.277 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2) 5.278 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1) 5.280 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2) 5.293 * * * [progress]: generating series expansions 5.293 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 5.293 * [backup-simplify]: Simplify (/ (fma 0.27061 x 2.30753) (* (sqrt (fma (fma x 0.04481 0.99229) x 1.0)) (sqrt (fma (fma x 0.04481 0.99229) x 1.0)))) into (/ (fma 0.27061 x 2.30753) (fma (fma x 0.04481 0.99229) x 1.0)) 5.293 * [approximate]: Taking taylor expansion of (/ (fma 0.27061 x 2.30753) (fma (fma x 0.04481 0.99229) x 1.0)) in (x) around 0 5.293 * [taylor]: Taking taylor expansion of (/ (fma 0.27061 x 2.30753) (fma (fma x 0.04481 0.99229) x 1.0)) in x 5.293 * [taylor]: Taking taylor expansion of (fma 0.27061 x 2.30753) in x 5.293 * [taylor]: Rewrote expression to (+ (* 0.27061 x) 2.30753) 5.293 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x 5.293 * [taylor]: Taking taylor expansion of 0.27061 in x 5.293 * [backup-simplify]: Simplify 0.27061 into 0.27061 5.293 * [taylor]: Taking taylor expansion of x in x 5.293 * [backup-simplify]: Simplify 0 into 0 5.293 * [backup-simplify]: Simplify 1 into 1 5.293 * [taylor]: Taking taylor expansion of 2.30753 in x 5.293 * [backup-simplify]: Simplify 2.30753 into 2.30753 5.293 * [taylor]: Taking taylor expansion of (fma (fma x 0.04481 0.99229) x 1.0) in x 5.293 * [taylor]: Rewrote expression to (+ (* (fma x 0.04481 0.99229) x) 1.0) 5.293 * [taylor]: Taking taylor expansion of (* (fma x 0.04481 0.99229) x) in x 5.293 * [taylor]: Taking taylor expansion of (fma x 0.04481 0.99229) in x 5.294 * [taylor]: Rewrote expression to (+ (* x 0.04481) 0.99229) 5.294 * [taylor]: Taking taylor expansion of (* x 0.04481) in x 5.294 * [taylor]: Taking taylor expansion of x in x 5.294 * [backup-simplify]: Simplify 0 into 0 5.294 * [backup-simplify]: Simplify 1 into 1 5.294 * [taylor]: Taking taylor expansion of 0.04481 in x 5.294 * [backup-simplify]: Simplify 0.04481 into 0.04481 5.294 * [taylor]: Taking taylor expansion of 0.99229 in x 5.294 * [backup-simplify]: Simplify 0.99229 into 0.99229 5.294 * [taylor]: Taking taylor expansion of x in x 5.294 * [backup-simplify]: Simplify 0 into 0 5.294 * [backup-simplify]: Simplify 1 into 1 5.294 * [taylor]: Taking taylor expansion of 1.0 in x 5.294 * [backup-simplify]: Simplify 1.0 into 1.0 5.294 * [backup-simplify]: Simplify (* 0.27061 0) into 0 5.295 * [backup-simplify]: Simplify (+ 0 2.30753) into 2.30753 5.295 * [backup-simplify]: Simplify (* 0 0.04481) into 0 5.295 * [backup-simplify]: Simplify (+ 0 0.99229) into 0.99229 5.296 * [backup-simplify]: Simplify (* 0.99229 0) into 0 5.296 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 5.296 * [backup-simplify]: Simplify (/ 2.30753 1.0) into 2.30753 5.296 * [taylor]: Taking taylor expansion of (/ (fma 0.27061 x 2.30753) (fma (fma x 0.04481 0.99229) x 1.0)) in x 5.296 * [taylor]: Taking taylor expansion of (fma 0.27061 x 2.30753) in x 5.296 * [taylor]: Rewrote expression to (+ (* 0.27061 x) 2.30753) 5.296 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x 5.296 * [taylor]: Taking taylor expansion of 0.27061 in x 5.296 * [backup-simplify]: Simplify 0.27061 into 0.27061 5.296 * [taylor]: Taking taylor expansion of x in x 5.297 * [backup-simplify]: Simplify 0 into 0 5.297 * [backup-simplify]: Simplify 1 into 1 5.297 * [taylor]: Taking taylor expansion of 2.30753 in x 5.297 * [backup-simplify]: Simplify 2.30753 into 2.30753 5.297 * [taylor]: Taking taylor expansion of (fma (fma x 0.04481 0.99229) x 1.0) in x 5.297 * [taylor]: Rewrote expression to (+ (* (fma x 0.04481 0.99229) x) 1.0) 5.297 * [taylor]: Taking taylor expansion of (* (fma x 0.04481 0.99229) x) in x 5.297 * [taylor]: Taking taylor expansion of (fma x 0.04481 0.99229) in x 5.297 * [taylor]: Rewrote expression to (+ (* x 0.04481) 0.99229) 5.297 * [taylor]: Taking taylor expansion of (* x 0.04481) in x 5.297 * [taylor]: Taking taylor expansion of x in x 5.297 * [backup-simplify]: Simplify 0 into 0 5.297 * [backup-simplify]: Simplify 1 into 1 5.297 * [taylor]: Taking taylor expansion of 0.04481 in x 5.297 * [backup-simplify]: Simplify 0.04481 into 0.04481 5.297 * [taylor]: Taking taylor expansion of 0.99229 in x 5.297 * [backup-simplify]: Simplify 0.99229 into 0.99229 5.297 * [taylor]: Taking taylor expansion of x in x 5.297 * [backup-simplify]: Simplify 0 into 0 5.297 * [backup-simplify]: Simplify 1 into 1 5.297 * [taylor]: Taking taylor expansion of 1.0 in x 5.297 * [backup-simplify]: Simplify 1.0 into 1.0 5.297 * [backup-simplify]: Simplify (* 0.27061 0) into 0 5.298 * [backup-simplify]: Simplify (+ 0 2.30753) into 2.30753 5.298 * [backup-simplify]: Simplify (* 0 0.04481) into 0 5.298 * [backup-simplify]: Simplify (+ 0 0.99229) into 0.99229 5.298 * [backup-simplify]: Simplify (* 0.99229 0) into 0 5.299 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 5.299 * [backup-simplify]: Simplify (/ 2.30753 1.0) into 2.30753 5.299 * [backup-simplify]: Simplify 2.30753 into 2.30753 5.300 * [backup-simplify]: Simplify (+ (* 0.27061 1) (* 0 0)) into 0.27061 5.300 * [backup-simplify]: Simplify (+ 0.27061 0) into 0.27061 5.301 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 0.04481)) into 0.04481 5.301 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 5.302 * [backup-simplify]: Simplify (+ (* 0.99229 1) (* 0.04481 0)) into 0.99229 5.303 * [backup-simplify]: Simplify (+ 0.99229 0) into 0.99229 5.305 * [backup-simplify]: Simplify (- (/ 0.27061 1.0) (+ (* 2.30753 (/ 0.99229 1.0)))) into (- 2.0191289436999997) 5.305 * [backup-simplify]: Simplify (- 2.0191289436999997) into (- 2.0191289436999997) 5.306 * [backup-simplify]: Simplify (+ (* 0.27061 0) (+ (* 0 1) (* 0 0))) into 0 5.307 * [backup-simplify]: Simplify (+ 0 0) into 0 5.315 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 0.04481))) into 0 5.316 * [backup-simplify]: Simplify (+ 0 0) into 0 5.319 * [backup-simplify]: Simplify (+ (* 0.99229 0) (+ (* 0.04481 1) (* 0 0))) into 0.04481 5.320 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 5.327 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 2.30753 (/ 0.04481 1.0)) (* (- 2.0191289436999997) (/ 0.99229 1.0)))) into 1.900161040244073 5.327 * [backup-simplify]: Simplify 1.900161040244073 into 1.900161040244073 5.328 * [backup-simplify]: Simplify (+ (* 1.900161040244073 (pow x 2)) (+ (* (- 2.0191289436999997) x) 2.30753)) into (- (+ (* 1.900161040244073 (pow x 2)) 2.30753) (* 2.0191289436999997 x)) 5.329 * [backup-simplify]: Simplify (/ (fma 0.27061 (/ 1 x) 2.30753) (* (sqrt (fma (fma (/ 1 x) 0.04481 0.99229) (/ 1 x) 1.0)) (sqrt (fma (fma (/ 1 x) 0.04481 0.99229) (/ 1 x) 1.0)))) into (/ (fma 0.27061 (/ 1 x) 2.30753) (fma (fma (/ 1 x) 0.04481 0.99229) (/ 1 x) 1.0)) 5.329 * [approximate]: Taking taylor expansion of (/ (fma 0.27061 (/ 1 x) 2.30753) (fma (fma (/ 1 x) 0.04481 0.99229) (/ 1 x) 1.0)) in (x) around 0 5.329 * [taylor]: Taking taylor expansion of (/ (fma 0.27061 (/ 1 x) 2.30753) (fma (fma (/ 1 x) 0.04481 0.99229) (/ 1 x) 1.0)) in x 5.329 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ 1 x) 2.30753) in x 5.329 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ 1 x)) 2.30753) 5.329 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 5.329 * [taylor]: Taking taylor expansion of 0.27061 in x 5.329 * [backup-simplify]: Simplify 0.27061 into 0.27061 5.329 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.329 * [taylor]: Taking taylor expansion of x in x 5.329 * [backup-simplify]: Simplify 0 into 0 5.329 * [backup-simplify]: Simplify 1 into 1 5.330 * [backup-simplify]: Simplify (/ 1 1) into 1 5.330 * [taylor]: Taking taylor expansion of 2.30753 in x 5.330 * [backup-simplify]: Simplify 2.30753 into 2.30753 5.330 * [taylor]: Taking taylor expansion of (fma (fma (/ 1 x) 0.04481 0.99229) (/ 1 x) 1.0) in x 5.330 * [taylor]: Rewrote expression to (+ (* (fma (/ 1 x) 0.04481 0.99229) (/ 1 x)) 1.0) 5.330 * [taylor]: Taking taylor expansion of (* (fma (/ 1 x) 0.04481 0.99229) (/ 1 x)) in x 5.330 * [taylor]: Taking taylor expansion of (fma (/ 1 x) 0.04481 0.99229) in x 5.330 * [taylor]: Rewrote expression to (+ (* (/ 1 x) 0.04481) 0.99229) 5.330 * [taylor]: Taking taylor expansion of (* (/ 1 x) 0.04481) in x 5.330 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.330 * [taylor]: Taking taylor expansion of x in x 5.330 * [backup-simplify]: Simplify 0 into 0 5.330 * [backup-simplify]: Simplify 1 into 1 5.330 * [backup-simplify]: Simplify (/ 1 1) into 1 5.330 * [taylor]: Taking taylor expansion of 0.04481 in x 5.331 * [backup-simplify]: Simplify 0.04481 into 0.04481 5.331 * [taylor]: Taking taylor expansion of 0.99229 in x 5.331 * [backup-simplify]: Simplify 0.99229 into 0.99229 5.331 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.331 * [taylor]: Taking taylor expansion of x in x 5.331 * [backup-simplify]: Simplify 0 into 0 5.331 * [backup-simplify]: Simplify 1 into 1 5.331 * [backup-simplify]: Simplify (/ 1 1) into 1 5.331 * [taylor]: Taking taylor expansion of 1.0 in x 5.331 * [backup-simplify]: Simplify 1.0 into 1.0 5.332 * [backup-simplify]: Simplify (* 0.27061 1) into 0.27061 5.332 * [backup-simplify]: Simplify (+ 0.27061 0) into 0.27061 5.332 * [backup-simplify]: Simplify (* 1 0.04481) into 0.04481 5.333 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 5.333 * [backup-simplify]: Simplify (* 0.04481 1) into 0.04481 5.334 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 5.334 * [backup-simplify]: Simplify (/ 0.27061 0.04481) into 6.039053782637804 5.334 * [taylor]: Taking taylor expansion of (/ (fma 0.27061 (/ 1 x) 2.30753) (fma (fma (/ 1 x) 0.04481 0.99229) (/ 1 x) 1.0)) in x 5.334 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ 1 x) 2.30753) in x 5.334 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ 1 x)) 2.30753) 5.334 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 5.334 * [taylor]: Taking taylor expansion of 0.27061 in x 5.334 * [backup-simplify]: Simplify 0.27061 into 0.27061 5.334 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.334 * [taylor]: Taking taylor expansion of x in x 5.334 * [backup-simplify]: Simplify 0 into 0 5.335 * [backup-simplify]: Simplify 1 into 1 5.335 * [backup-simplify]: Simplify (/ 1 1) into 1 5.335 * [taylor]: Taking taylor expansion of 2.30753 in x 5.335 * [backup-simplify]: Simplify 2.30753 into 2.30753 5.335 * [taylor]: Taking taylor expansion of (fma (fma (/ 1 x) 0.04481 0.99229) (/ 1 x) 1.0) in x 5.335 * [taylor]: Rewrote expression to (+ (* (fma (/ 1 x) 0.04481 0.99229) (/ 1 x)) 1.0) 5.335 * [taylor]: Taking taylor expansion of (* (fma (/ 1 x) 0.04481 0.99229) (/ 1 x)) in x 5.335 * [taylor]: Taking taylor expansion of (fma (/ 1 x) 0.04481 0.99229) in x 5.335 * [taylor]: Rewrote expression to (+ (* (/ 1 x) 0.04481) 0.99229) 5.335 * [taylor]: Taking taylor expansion of (* (/ 1 x) 0.04481) in x 5.335 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.335 * [taylor]: Taking taylor expansion of x in x 5.336 * [backup-simplify]: Simplify 0 into 0 5.336 * [backup-simplify]: Simplify 1 into 1 5.336 * [backup-simplify]: Simplify (/ 1 1) into 1 5.336 * [taylor]: Taking taylor expansion of 0.04481 in x 5.336 * [backup-simplify]: Simplify 0.04481 into 0.04481 5.336 * [taylor]: Taking taylor expansion of 0.99229 in x 5.336 * [backup-simplify]: Simplify 0.99229 into 0.99229 5.336 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.336 * [taylor]: Taking taylor expansion of x in x 5.336 * [backup-simplify]: Simplify 0 into 0 5.336 * [backup-simplify]: Simplify 1 into 1 5.336 * [backup-simplify]: Simplify (/ 1 1) into 1 5.337 * [taylor]: Taking taylor expansion of 1.0 in x 5.337 * [backup-simplify]: Simplify 1.0 into 1.0 5.337 * [backup-simplify]: Simplify (* 0.27061 1) into 0.27061 5.337 * [backup-simplify]: Simplify (+ 0.27061 0) into 0.27061 5.338 * [backup-simplify]: Simplify (* 1 0.04481) into 0.04481 5.338 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 5.339 * [backup-simplify]: Simplify (* 0.04481 1) into 0.04481 5.339 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 5.340 * [backup-simplify]: Simplify (/ 0.27061 0.04481) into 6.039053782637804 5.340 * [backup-simplify]: Simplify 6.039053782637804 into 6.039053782637804 5.340 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.341 * [backup-simplify]: Simplify (+ (* 0.27061 0) (* 0 1)) into 0 5.342 * [backup-simplify]: Simplify (+ 0 2.30753) into 2.30753 5.342 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.343 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.344 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 0.04481)) into 0 5.344 * [backup-simplify]: Simplify (+ 0 0.99229) into 0.99229 5.346 * [backup-simplify]: Simplify (+ (* 0.04481 0) (* 0.99229 1)) into 0.99229 5.346 * [backup-simplify]: Simplify (+ 0.99229 0) into 0.99229 5.349 * [backup-simplify]: Simplify (- (/ 2.30753 0.04481) (+ (* 6.039053782637804 (/ 0.99229 0.04481)))) into (- 82.23527511657369) 5.350 * [backup-simplify]: Simplify (- 82.23527511657369) into (- 82.23527511657369) 5.351 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.352 * [backup-simplify]: Simplify (+ (* 0.27061 0) (+ (* 0 0) (* 0 1))) into 0 5.352 * [backup-simplify]: Simplify (+ 0 0) into 0 5.353 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.354 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.355 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 0.04481))) into 0 5.355 * [backup-simplify]: Simplify (+ 0 0) into 0 5.356 * [backup-simplify]: Simplify (+ (* 0.04481 0) (+ (* 0.99229 0) (* 0 1))) into 0 5.356 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 5.361 * [backup-simplify]: Simplify (- (/ 0 0.04481) (+ (* 6.039053782637804 (/ 1.0 0.04481)) (* (- 82.23527511657369) (/ 0.99229 0.04481)))) into 1686.279566230464 5.361 * [backup-simplify]: Simplify 1686.279566230464 into 1686.279566230464 5.362 * [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)))) 5.362 * [backup-simplify]: Simplify (/ (fma 0.27061 (/ 1 (- x)) 2.30753) (* (sqrt (fma (fma (/ 1 (- x)) 0.04481 0.99229) (/ 1 (- x)) 1.0)) (sqrt (fma (fma (/ 1 (- x)) 0.04481 0.99229) (/ 1 (- x)) 1.0)))) into (/ (fma 0.27061 (/ -1 x) 2.30753) (fma (fma (/ -1 x) 0.04481 0.99229) (/ -1 x) 1.0)) 5.362 * [approximate]: Taking taylor expansion of (/ (fma 0.27061 (/ -1 x) 2.30753) (fma (fma (/ -1 x) 0.04481 0.99229) (/ -1 x) 1.0)) in (x) around 0 5.362 * [taylor]: Taking taylor expansion of (/ (fma 0.27061 (/ -1 x) 2.30753) (fma (fma (/ -1 x) 0.04481 0.99229) (/ -1 x) 1.0)) in x 5.362 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ -1 x) 2.30753) in x 5.362 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ -1 x)) 2.30753) 5.362 * [taylor]: Taking taylor expansion of (* 0.27061 (/ -1 x)) in x 5.362 * [taylor]: Taking taylor expansion of 0.27061 in x 5.362 * [backup-simplify]: Simplify 0.27061 into 0.27061 5.362 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.362 * [taylor]: Taking taylor expansion of -1 in x 5.362 * [backup-simplify]: Simplify -1 into -1 5.362 * [taylor]: Taking taylor expansion of x in x 5.362 * [backup-simplify]: Simplify 0 into 0 5.362 * [backup-simplify]: Simplify 1 into 1 5.363 * [backup-simplify]: Simplify (/ -1 1) into -1 5.363 * [taylor]: Taking taylor expansion of 2.30753 in x 5.363 * [backup-simplify]: Simplify 2.30753 into 2.30753 5.363 * [taylor]: Taking taylor expansion of (fma (fma (/ -1 x) 0.04481 0.99229) (/ -1 x) 1.0) in x 5.363 * [taylor]: Rewrote expression to (+ (* (fma (/ -1 x) 0.04481 0.99229) (/ -1 x)) 1.0) 5.363 * [taylor]: Taking taylor expansion of (* (fma (/ -1 x) 0.04481 0.99229) (/ -1 x)) in x 5.363 * [taylor]: Taking taylor expansion of (fma (/ -1 x) 0.04481 0.99229) in x 5.363 * [taylor]: Rewrote expression to (+ (* (/ -1 x) 0.04481) 0.99229) 5.363 * [taylor]: Taking taylor expansion of (* (/ -1 x) 0.04481) in x 5.363 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.363 * [taylor]: Taking taylor expansion of -1 in x 5.363 * [backup-simplify]: Simplify -1 into -1 5.363 * [taylor]: Taking taylor expansion of x in x 5.363 * [backup-simplify]: Simplify 0 into 0 5.363 * [backup-simplify]: Simplify 1 into 1 5.363 * [backup-simplify]: Simplify (/ -1 1) into -1 5.363 * [taylor]: Taking taylor expansion of 0.04481 in x 5.363 * [backup-simplify]: Simplify 0.04481 into 0.04481 5.363 * [taylor]: Taking taylor expansion of 0.99229 in x 5.363 * [backup-simplify]: Simplify 0.99229 into 0.99229 5.363 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.363 * [taylor]: Taking taylor expansion of -1 in x 5.363 * [backup-simplify]: Simplify -1 into -1 5.363 * [taylor]: Taking taylor expansion of x in x 5.363 * [backup-simplify]: Simplify 0 into 0 5.363 * [backup-simplify]: Simplify 1 into 1 5.364 * [backup-simplify]: Simplify (/ -1 1) into -1 5.364 * [taylor]: Taking taylor expansion of 1.0 in x 5.364 * [backup-simplify]: Simplify 1.0 into 1.0 5.364 * [backup-simplify]: Simplify (* 0.27061 -1) into -0.27061 5.364 * [backup-simplify]: Simplify (+ -0.27061 0) into (- 0.27061) 5.365 * [backup-simplify]: Simplify (* -1 0.04481) into -0.04481 5.365 * [backup-simplify]: Simplify (+ -0.04481 0) into (- 0.04481) 5.365 * [backup-simplify]: Simplify (* (- 0.04481) -1) into 0.04481 5.366 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 5.367 * [backup-simplify]: Simplify (/ (- 0.27061) 0.04481) into -6.039053782637804 5.367 * [taylor]: Taking taylor expansion of (/ (fma 0.27061 (/ -1 x) 2.30753) (fma (fma (/ -1 x) 0.04481 0.99229) (/ -1 x) 1.0)) in x 5.367 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ -1 x) 2.30753) in x 5.367 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ -1 x)) 2.30753) 5.367 * [taylor]: Taking taylor expansion of (* 0.27061 (/ -1 x)) in x 5.367 * [taylor]: Taking taylor expansion of 0.27061 in x 5.367 * [backup-simplify]: Simplify 0.27061 into 0.27061 5.367 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.367 * [taylor]: Taking taylor expansion of -1 in x 5.367 * [backup-simplify]: Simplify -1 into -1 5.367 * [taylor]: Taking taylor expansion of x in x 5.367 * [backup-simplify]: Simplify 0 into 0 5.367 * [backup-simplify]: Simplify 1 into 1 5.368 * [backup-simplify]: Simplify (/ -1 1) into -1 5.368 * [taylor]: Taking taylor expansion of 2.30753 in x 5.368 * [backup-simplify]: Simplify 2.30753 into 2.30753 5.368 * [taylor]: Taking taylor expansion of (fma (fma (/ -1 x) 0.04481 0.99229) (/ -1 x) 1.0) in x 5.368 * [taylor]: Rewrote expression to (+ (* (fma (/ -1 x) 0.04481 0.99229) (/ -1 x)) 1.0) 5.368 * [taylor]: Taking taylor expansion of (* (fma (/ -1 x) 0.04481 0.99229) (/ -1 x)) in x 5.368 * [taylor]: Taking taylor expansion of (fma (/ -1 x) 0.04481 0.99229) in x 5.368 * [taylor]: Rewrote expression to (+ (* (/ -1 x) 0.04481) 0.99229) 5.368 * [taylor]: Taking taylor expansion of (* (/ -1 x) 0.04481) in x 5.368 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.368 * [taylor]: Taking taylor expansion of -1 in x 5.368 * [backup-simplify]: Simplify -1 into -1 5.368 * [taylor]: Taking taylor expansion of x in x 5.368 * [backup-simplify]: Simplify 0 into 0 5.368 * [backup-simplify]: Simplify 1 into 1 5.369 * [backup-simplify]: Simplify (/ -1 1) into -1 5.369 * [taylor]: Taking taylor expansion of 0.04481 in x 5.369 * [backup-simplify]: Simplify 0.04481 into 0.04481 5.369 * [taylor]: Taking taylor expansion of 0.99229 in x 5.369 * [backup-simplify]: Simplify 0.99229 into 0.99229 5.369 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.369 * [taylor]: Taking taylor expansion of -1 in x 5.369 * [backup-simplify]: Simplify -1 into -1 5.369 * [taylor]: Taking taylor expansion of x in x 5.369 * [backup-simplify]: Simplify 0 into 0 5.369 * [backup-simplify]: Simplify 1 into 1 5.370 * [backup-simplify]: Simplify (/ -1 1) into -1 5.370 * [taylor]: Taking taylor expansion of 1.0 in x 5.370 * [backup-simplify]: Simplify 1.0 into 1.0 5.370 * [backup-simplify]: Simplify (* 0.27061 -1) into -0.27061 5.370 * [backup-simplify]: Simplify (+ -0.27061 0) into (- 0.27061) 5.370 * [backup-simplify]: Simplify (* -1 0.04481) into -0.04481 5.371 * [backup-simplify]: Simplify (+ -0.04481 0) into (- 0.04481) 5.371 * [backup-simplify]: Simplify (* (- 0.04481) -1) into 0.04481 5.372 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 5.372 * [backup-simplify]: Simplify (/ (- 0.27061) 0.04481) into -6.039053782637804 5.372 * [backup-simplify]: Simplify -6.039053782637804 into -6.039053782637804 5.373 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 5.373 * [backup-simplify]: Simplify (+ (* 0.27061 0) (* 0 -1)) into 0 5.373 * [backup-simplify]: Simplify (+ 0 2.30753) into 2.30753 5.374 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 5.374 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 5.375 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 0.04481)) into 0 5.375 * [backup-simplify]: Simplify (+ 0 0.99229) into 0.99229 5.376 * [backup-simplify]: Simplify (+ (* (- 0.04481) 0) (* 0.99229 -1)) into (- 0.99229) 5.377 * [backup-simplify]: Simplify (+ (- 0.99229) 0) into (- 0.99229) 5.379 * [backup-simplify]: Simplify (- (/ 2.30753 0.04481) (+ (* -6.039053782637804 (/ (- 0.99229) 0.04481)))) into (- 82.23527511657369) 5.379 * [backup-simplify]: Simplify (- 82.23527511657369) into (- 82.23527511657369) 5.380 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.380 * [backup-simplify]: Simplify (+ (* 0.27061 0) (+ (* 0 0) (* 0 -1))) into 0 5.380 * [backup-simplify]: Simplify (+ 0 0) into 0 5.381 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.381 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.382 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 0.04481))) into 0 5.382 * [backup-simplify]: Simplify (+ 0 0) into 0 5.383 * [backup-simplify]: Simplify (+ (* (- 0.04481) 0) (+ (* 0.99229 0) (* 0 -1))) into 0 5.383 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 5.387 * [backup-simplify]: Simplify (- (/ 0 0.04481) (+ (* -6.039053782637804 (/ 1.0 0.04481)) (* (- 82.23527511657369) (/ (- 0.99229) 0.04481)))) into (- 1686.279566230464) 5.388 * [backup-simplify]: Simplify (- 1686.279566230464) into (- 1686.279566230464) 5.389 * [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)))) 5.389 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2) 5.389 * [backup-simplify]: Simplify (sqrt (fma (fma x 0.04481 0.99229) x 1.0)) into (sqrt (fma (fma x 0.04481 0.99229) x 1.0)) 5.389 * [approximate]: Taking taylor expansion of (sqrt (fma (fma x 0.04481 0.99229) x 1.0)) in (x) around 0 5.389 * [taylor]: Taking taylor expansion of (sqrt (fma (fma x 0.04481 0.99229) x 1.0)) in x 5.389 * [taylor]: Taking taylor expansion of (fma (fma x 0.04481 0.99229) x 1.0) in x 5.390 * [taylor]: Rewrote expression to (+ (* (fma x 0.04481 0.99229) x) 1.0) 5.390 * [taylor]: Taking taylor expansion of (* (fma x 0.04481 0.99229) x) in x 5.390 * [taylor]: Taking taylor expansion of (fma x 0.04481 0.99229) in x 5.390 * [taylor]: Rewrote expression to (+ (* x 0.04481) 0.99229) 5.390 * [taylor]: Taking taylor expansion of (* x 0.04481) in x 5.390 * [taylor]: Taking taylor expansion of x in x 5.390 * [backup-simplify]: Simplify 0 into 0 5.390 * [backup-simplify]: Simplify 1 into 1 5.390 * [taylor]: Taking taylor expansion of 0.04481 in x 5.390 * [backup-simplify]: Simplify 0.04481 into 0.04481 5.390 * [taylor]: Taking taylor expansion of 0.99229 in x 5.390 * [backup-simplify]: Simplify 0.99229 into 0.99229 5.390 * [taylor]: Taking taylor expansion of x in x 5.390 * [backup-simplify]: Simplify 0 into 0 5.390 * [backup-simplify]: Simplify 1 into 1 5.390 * [taylor]: Taking taylor expansion of 1.0 in x 5.390 * [backup-simplify]: Simplify 1.0 into 1.0 5.391 * [backup-simplify]: Simplify (* 0 0.04481) into 0 5.391 * [backup-simplify]: Simplify (+ 0 0.99229) into 0.99229 5.391 * [backup-simplify]: Simplify (* 0.99229 0) into 0 5.392 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 5.392 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0) 5.393 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 0.04481)) into 0.04481 5.393 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 5.394 * [backup-simplify]: Simplify (+ (* 0.99229 1) (* 0.04481 0)) into 0.99229 5.394 * [backup-simplify]: Simplify (+ 0.99229 0) into 0.99229 5.395 * [backup-simplify]: Simplify (/ 0.99229 (* 2 (sqrt 1.0))) into (/ 0.496145 (sqrt 1.0)) 5.395 * [taylor]: Taking taylor expansion of (sqrt (fma (fma x 0.04481 0.99229) x 1.0)) in x 5.395 * [taylor]: Taking taylor expansion of (fma (fma x 0.04481 0.99229) x 1.0) in x 5.395 * [taylor]: Rewrote expression to (+ (* (fma x 0.04481 0.99229) x) 1.0) 5.395 * [taylor]: Taking taylor expansion of (* (fma x 0.04481 0.99229) x) in x 5.395 * [taylor]: Taking taylor expansion of (fma x 0.04481 0.99229) in x 5.395 * [taylor]: Rewrote expression to (+ (* x 0.04481) 0.99229) 5.395 * [taylor]: Taking taylor expansion of (* x 0.04481) in x 5.395 * [taylor]: Taking taylor expansion of x in x 5.395 * [backup-simplify]: Simplify 0 into 0 5.395 * [backup-simplify]: Simplify 1 into 1 5.395 * [taylor]: Taking taylor expansion of 0.04481 in x 5.395 * [backup-simplify]: Simplify 0.04481 into 0.04481 5.395 * [taylor]: Taking taylor expansion of 0.99229 in x 5.395 * [backup-simplify]: Simplify 0.99229 into 0.99229 5.395 * [taylor]: Taking taylor expansion of x in x 5.396 * [backup-simplify]: Simplify 0 into 0 5.396 * [backup-simplify]: Simplify 1 into 1 5.396 * [taylor]: Taking taylor expansion of 1.0 in x 5.396 * [backup-simplify]: Simplify 1.0 into 1.0 5.396 * [backup-simplify]: Simplify (* 0 0.04481) into 0 5.396 * [backup-simplify]: Simplify (+ 0 0.99229) into 0.99229 5.396 * [backup-simplify]: Simplify (* 0.99229 0) into 0 5.397 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 5.397 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0) 5.398 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 0.04481)) into 0.04481 5.398 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 5.399 * [backup-simplify]: Simplify (+ (* 0.99229 1) (* 0.04481 0)) into 0.99229 5.399 * [backup-simplify]: Simplify (+ 0.99229 0) into 0.99229 5.400 * [backup-simplify]: Simplify (/ 0.99229 (* 2 (sqrt 1.0))) into (/ 0.496145 (sqrt 1.0)) 5.400 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0) 5.401 * [backup-simplify]: Simplify (/ 0.496145 (sqrt 1.0)) into (/ 0.496145 (sqrt 1.0)) 5.402 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 0.04481))) into 0 5.402 * [backup-simplify]: Simplify (+ 0 0) into 0 5.403 * [backup-simplify]: Simplify (+ (* 0.99229 0) (+ (* 0.04481 1) (* 0 0))) into 0.04481 5.404 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 5.407 * [backup-simplify]: Simplify (/ (- 0.04481 (pow (/ 0.496145 (sqrt 1.0)) 2) (+)) (* 2 (sqrt 1.0))) into (* 1/2 (/ (- 0.04481 (* 0.246159861025 (/ 1 (pow (sqrt 1.0) 2)))) (sqrt 1.0))) 5.411 * [backup-simplify]: Simplify (* 1/2 (/ (- 0.04481 (* 0.246159861025 (/ 1 (pow (sqrt 1.0) 2)))) (sqrt 1.0))) into (* 1/2 (/ (- 0.04481 (* 0.246159861025 (/ 1 (pow (sqrt 1.0) 2)))) (sqrt 1.0))) 5.416 * [backup-simplify]: Simplify (+ (* (* 1/2 (/ (- 0.04481 (* 0.246159861025 (/ 1 (pow (sqrt 1.0) 2)))) (sqrt 1.0))) (pow x 2)) (+ (* (/ 0.496145 (sqrt 1.0)) x) (sqrt 1.0))) into (- (+ (sqrt 1.0) (+ (* 0.022405 (/ (pow x 2) (sqrt 1.0))) (* 0.496145 (/ x (sqrt 1.0))))) (* 0.1230799305125 (/ (pow x 2) (pow (sqrt 1.0) 3)))) 5.416 * [backup-simplify]: Simplify (sqrt (fma (fma (/ 1 x) 0.04481 0.99229) (/ 1 x) 1.0)) into (sqrt (fma (fma (/ 1 x) 0.04481 0.99229) (/ 1 x) 1.0)) 5.416 * [approximate]: Taking taylor expansion of (sqrt (fma (fma (/ 1 x) 0.04481 0.99229) (/ 1 x) 1.0)) in (x) around 0 5.416 * [taylor]: Taking taylor expansion of (sqrt (fma (fma (/ 1 x) 0.04481 0.99229) (/ 1 x) 1.0)) in x 5.416 * [taylor]: Taking taylor expansion of (fma (fma (/ 1 x) 0.04481 0.99229) (/ 1 x) 1.0) in x 5.416 * [taylor]: Rewrote expression to (+ (* (fma (/ 1 x) 0.04481 0.99229) (/ 1 x)) 1.0) 5.416 * [taylor]: Taking taylor expansion of (* (fma (/ 1 x) 0.04481 0.99229) (/ 1 x)) in x 5.416 * [taylor]: Taking taylor expansion of (fma (/ 1 x) 0.04481 0.99229) in x 5.416 * [taylor]: Rewrote expression to (+ (* (/ 1 x) 0.04481) 0.99229) 5.416 * [taylor]: Taking taylor expansion of (* (/ 1 x) 0.04481) in x 5.416 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.416 * [taylor]: Taking taylor expansion of x in x 5.416 * [backup-simplify]: Simplify 0 into 0 5.416 * [backup-simplify]: Simplify 1 into 1 5.416 * [backup-simplify]: Simplify (/ 1 1) into 1 5.417 * [taylor]: Taking taylor expansion of 0.04481 in x 5.417 * [backup-simplify]: Simplify 0.04481 into 0.04481 5.417 * [taylor]: Taking taylor expansion of 0.99229 in x 5.417 * [backup-simplify]: Simplify 0.99229 into 0.99229 5.417 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.417 * [taylor]: Taking taylor expansion of x in x 5.417 * [backup-simplify]: Simplify 0 into 0 5.417 * [backup-simplify]: Simplify 1 into 1 5.417 * [backup-simplify]: Simplify (/ 1 1) into 1 5.417 * [taylor]: Taking taylor expansion of 1.0 in x 5.417 * [backup-simplify]: Simplify 1.0 into 1.0 5.417 * [backup-simplify]: Simplify (* 1 0.04481) into 0.04481 5.417 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 5.418 * [backup-simplify]: Simplify (* 0.04481 1) into 0.04481 5.418 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 5.420 * [backup-simplify]: Simplify (sqrt 0.04481) into (sqrt 0.04481) 5.421 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.421 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.422 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 0.04481)) into 0 5.422 * [backup-simplify]: Simplify (+ 0 0.99229) into 0.99229 5.423 * [backup-simplify]: Simplify (+ (* 0.04481 0) (* 0.99229 1)) into 0.99229 5.423 * [backup-simplify]: Simplify (+ 0.99229 0) into 0.99229 5.425 * [backup-simplify]: Simplify (/ 0.99229 (* 2 (sqrt 0.04481))) into (/ 0.496145 (sqrt 0.04481)) 5.425 * [taylor]: Taking taylor expansion of (sqrt (fma (fma (/ 1 x) 0.04481 0.99229) (/ 1 x) 1.0)) in x 5.425 * [taylor]: Taking taylor expansion of (fma (fma (/ 1 x) 0.04481 0.99229) (/ 1 x) 1.0) in x 5.425 * [taylor]: Rewrote expression to (+ (* (fma (/ 1 x) 0.04481 0.99229) (/ 1 x)) 1.0) 5.425 * [taylor]: Taking taylor expansion of (* (fma (/ 1 x) 0.04481 0.99229) (/ 1 x)) in x 5.425 * [taylor]: Taking taylor expansion of (fma (/ 1 x) 0.04481 0.99229) in x 5.425 * [taylor]: Rewrote expression to (+ (* (/ 1 x) 0.04481) 0.99229) 5.425 * [taylor]: Taking taylor expansion of (* (/ 1 x) 0.04481) in x 5.425 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.425 * [taylor]: Taking taylor expansion of x in x 5.425 * [backup-simplify]: Simplify 0 into 0 5.425 * [backup-simplify]: Simplify 1 into 1 5.426 * [backup-simplify]: Simplify (/ 1 1) into 1 5.426 * [taylor]: Taking taylor expansion of 0.04481 in x 5.426 * [backup-simplify]: Simplify 0.04481 into 0.04481 5.426 * [taylor]: Taking taylor expansion of 0.99229 in x 5.426 * [backup-simplify]: Simplify 0.99229 into 0.99229 5.426 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.426 * [taylor]: Taking taylor expansion of x in x 5.426 * [backup-simplify]: Simplify 0 into 0 5.426 * [backup-simplify]: Simplify 1 into 1 5.426 * [backup-simplify]: Simplify (/ 1 1) into 1 5.427 * [taylor]: Taking taylor expansion of 1.0 in x 5.427 * [backup-simplify]: Simplify 1.0 into 1.0 5.427 * [backup-simplify]: Simplify (* 1 0.04481) into 0.04481 5.427 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 5.428 * [backup-simplify]: Simplify (* 0.04481 1) into 0.04481 5.428 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 5.429 * [backup-simplify]: Simplify (sqrt 0.04481) into (sqrt 0.04481) 5.430 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.430 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.431 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 0.04481)) into 0 5.432 * [backup-simplify]: Simplify (+ 0 0.99229) into 0.99229 5.433 * [backup-simplify]: Simplify (+ (* 0.04481 0) (* 0.99229 1)) into 0.99229 5.434 * [backup-simplify]: Simplify (+ 0.99229 0) into 0.99229 5.435 * [backup-simplify]: Simplify (/ 0.99229 (* 2 (sqrt 0.04481))) into (/ 0.496145 (sqrt 0.04481)) 5.436 * [backup-simplify]: Simplify (sqrt 0.04481) into (sqrt 0.04481) 5.437 * [backup-simplify]: Simplify (/ 0.496145 (sqrt 0.04481)) into (/ 0.496145 (sqrt 0.04481)) 5.438 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.439 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.440 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 0.04481))) into 0 5.440 * [backup-simplify]: Simplify (+ 0 0) into 0 5.440 * [backup-simplify]: Simplify (+ (* 0.04481 0) (+ (* 0.99229 0) (* 0 1))) into 0 5.441 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 5.444 * [backup-simplify]: Simplify (/ (- 1.0 (pow (/ 0.496145 (sqrt 0.04481)) 2) (+)) (* 2 (sqrt 0.04481))) into (* 1/2 (/ (- 1.0 (* 0.246159861025 (/ 1 (pow (sqrt 0.04481) 2)))) (sqrt 0.04481))) 5.448 * [backup-simplify]: Simplify (* 1/2 (/ (- 1.0 (* 0.246159861025 (/ 1 (pow (sqrt 0.04481) 2)))) (sqrt 0.04481))) into (* 1/2 (/ (- 1.0 (* 0.246159861025 (/ 1 (pow (sqrt 0.04481) 2)))) (sqrt 0.04481))) 5.453 * [backup-simplify]: Simplify (+ (* (* 1/2 (/ (- 1.0 (* 0.246159861025 (/ 1 (pow (sqrt 0.04481) 2)))) (sqrt 0.04481))) (/ 1 x)) (+ (/ 0.496145 (sqrt 0.04481)) (* (sqrt 0.04481) (/ 1 (/ 1 x))))) into (- (+ (* 0.5 (/ 1 (* x (sqrt 0.04481)))) (+ (* 0.496145 (/ 1 (sqrt 0.04481))) (* x (sqrt 0.04481)))) (* 0.1230799305125 (/ 1 (* x (pow (sqrt 0.04481) 3))))) 5.453 * [backup-simplify]: Simplify (sqrt (fma (fma (/ 1 (- x)) 0.04481 0.99229) (/ 1 (- x)) 1.0)) into (sqrt (fma (fma (/ -1 x) 0.04481 0.99229) (/ -1 x) 1.0)) 5.453 * [approximate]: Taking taylor expansion of (sqrt (fma (fma (/ -1 x) 0.04481 0.99229) (/ -1 x) 1.0)) in (x) around 0 5.453 * [taylor]: Taking taylor expansion of (sqrt (fma (fma (/ -1 x) 0.04481 0.99229) (/ -1 x) 1.0)) in x 5.453 * [taylor]: Taking taylor expansion of (fma (fma (/ -1 x) 0.04481 0.99229) (/ -1 x) 1.0) in x 5.453 * [taylor]: Rewrote expression to (+ (* (fma (/ -1 x) 0.04481 0.99229) (/ -1 x)) 1.0) 5.453 * [taylor]: Taking taylor expansion of (* (fma (/ -1 x) 0.04481 0.99229) (/ -1 x)) in x 5.453 * [taylor]: Taking taylor expansion of (fma (/ -1 x) 0.04481 0.99229) in x 5.454 * [taylor]: Rewrote expression to (+ (* (/ -1 x) 0.04481) 0.99229) 5.454 * [taylor]: Taking taylor expansion of (* (/ -1 x) 0.04481) in x 5.454 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.454 * [taylor]: Taking taylor expansion of -1 in x 5.454 * [backup-simplify]: Simplify -1 into -1 5.454 * [taylor]: Taking taylor expansion of x in x 5.454 * [backup-simplify]: Simplify 0 into 0 5.454 * [backup-simplify]: Simplify 1 into 1 5.454 * [backup-simplify]: Simplify (/ -1 1) into -1 5.454 * [taylor]: Taking taylor expansion of 0.04481 in x 5.454 * [backup-simplify]: Simplify 0.04481 into 0.04481 5.454 * [taylor]: Taking taylor expansion of 0.99229 in x 5.454 * [backup-simplify]: Simplify 0.99229 into 0.99229 5.454 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.454 * [taylor]: Taking taylor expansion of -1 in x 5.454 * [backup-simplify]: Simplify -1 into -1 5.454 * [taylor]: Taking taylor expansion of x in x 5.454 * [backup-simplify]: Simplify 0 into 0 5.454 * [backup-simplify]: Simplify 1 into 1 5.454 * [backup-simplify]: Simplify (/ -1 1) into -1 5.454 * [taylor]: Taking taylor expansion of 1.0 in x 5.454 * [backup-simplify]: Simplify 1.0 into 1.0 5.455 * [backup-simplify]: Simplify (* -1 0.04481) into -0.04481 5.455 * [backup-simplify]: Simplify (+ -0.04481 0) into (- 0.04481) 5.456 * [backup-simplify]: Simplify (* (- 0.04481) -1) into 0.04481 5.456 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 5.456 * [backup-simplify]: Simplify (sqrt 0.04481) into (sqrt 0.04481) 5.457 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 5.457 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 5.458 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 0.04481)) into 0 5.458 * [backup-simplify]: Simplify (+ 0 0.99229) into 0.99229 5.459 * [backup-simplify]: Simplify (+ (* (- 0.04481) 0) (* 0.99229 -1)) into (- 0.99229) 5.459 * [backup-simplify]: Simplify (+ (- 0.99229) 0) into (- 0.99229) 5.461 * [backup-simplify]: Simplify (/ (- 0.99229) (* 2 (sqrt 0.04481))) into (/ -0.496145 (sqrt 0.04481)) 5.461 * [taylor]: Taking taylor expansion of (sqrt (fma (fma (/ -1 x) 0.04481 0.99229) (/ -1 x) 1.0)) in x 5.461 * [taylor]: Taking taylor expansion of (fma (fma (/ -1 x) 0.04481 0.99229) (/ -1 x) 1.0) in x 5.461 * [taylor]: Rewrote expression to (+ (* (fma (/ -1 x) 0.04481 0.99229) (/ -1 x)) 1.0) 5.461 * [taylor]: Taking taylor expansion of (* (fma (/ -1 x) 0.04481 0.99229) (/ -1 x)) in x 5.461 * [taylor]: Taking taylor expansion of (fma (/ -1 x) 0.04481 0.99229) in x 5.461 * [taylor]: Rewrote expression to (+ (* (/ -1 x) 0.04481) 0.99229) 5.461 * [taylor]: Taking taylor expansion of (* (/ -1 x) 0.04481) in x 5.461 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.461 * [taylor]: Taking taylor expansion of -1 in x 5.461 * [backup-simplify]: Simplify -1 into -1 5.461 * [taylor]: Taking taylor expansion of x in x 5.461 * [backup-simplify]: Simplify 0 into 0 5.461 * [backup-simplify]: Simplify 1 into 1 5.461 * [backup-simplify]: Simplify (/ -1 1) into -1 5.461 * [taylor]: Taking taylor expansion of 0.04481 in x 5.461 * [backup-simplify]: Simplify 0.04481 into 0.04481 5.461 * [taylor]: Taking taylor expansion of 0.99229 in x 5.461 * [backup-simplify]: Simplify 0.99229 into 0.99229 5.461 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.461 * [taylor]: Taking taylor expansion of -1 in x 5.461 * [backup-simplify]: Simplify -1 into -1 5.461 * [taylor]: Taking taylor expansion of x in x 5.461 * [backup-simplify]: Simplify 0 into 0 5.461 * [backup-simplify]: Simplify 1 into 1 5.462 * [backup-simplify]: Simplify (/ -1 1) into -1 5.462 * [taylor]: Taking taylor expansion of 1.0 in x 5.462 * [backup-simplify]: Simplify 1.0 into 1.0 5.462 * [backup-simplify]: Simplify (* -1 0.04481) into -0.04481 5.462 * [backup-simplify]: Simplify (+ -0.04481 0) into (- 0.04481) 5.463 * [backup-simplify]: Simplify (* (- 0.04481) -1) into 0.04481 5.463 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 5.463 * [backup-simplify]: Simplify (sqrt 0.04481) into (sqrt 0.04481) 5.464 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 5.464 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 5.465 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 0.04481)) into 0 5.465 * [backup-simplify]: Simplify (+ 0 0.99229) into 0.99229 5.466 * [backup-simplify]: Simplify (+ (* (- 0.04481) 0) (* 0.99229 -1)) into (- 0.99229) 5.467 * [backup-simplify]: Simplify (+ (- 0.99229) 0) into (- 0.99229) 5.468 * [backup-simplify]: Simplify (/ (- 0.99229) (* 2 (sqrt 0.04481))) into (/ -0.496145 (sqrt 0.04481)) 5.468 * [backup-simplify]: Simplify (sqrt 0.04481) into (sqrt 0.04481) 5.469 * [backup-simplify]: Simplify (/ -0.496145 (sqrt 0.04481)) into (/ -0.496145 (sqrt 0.04481)) 5.469 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.470 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.470 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 0.04481))) into 0 5.471 * [backup-simplify]: Simplify (+ 0 0) into 0 5.471 * [backup-simplify]: Simplify (+ (* (- 0.04481) 0) (+ (* 0.99229 0) (* 0 -1))) into 0 5.471 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 5.475 * [backup-simplify]: Simplify (/ (- 1.0 (pow (/ -0.496145 (sqrt 0.04481)) 2) (+)) (* 2 (sqrt 0.04481))) into (* 1/2 (/ (- 1.0 (* 0.246159861025 (/ 1 (pow (sqrt 0.04481) 2)))) (sqrt 0.04481))) 5.479 * [backup-simplify]: Simplify (* 1/2 (/ (- 1.0 (* 0.246159861025 (/ 1 (pow (sqrt 0.04481) 2)))) (sqrt 0.04481))) into (* 1/2 (/ (- 1.0 (* 0.246159861025 (/ 1 (pow (sqrt 0.04481) 2)))) (sqrt 0.04481))) 5.484 * [backup-simplify]: Simplify (+ (* (* 1/2 (/ (- 1.0 (* 0.246159861025 (/ 1 (pow (sqrt 0.04481) 2)))) (sqrt 0.04481))) (/ 1 (- x))) (+ (/ -0.496145 (sqrt 0.04481)) (* (sqrt 0.04481) (/ 1 (/ 1 (- x)))))) into (- (* 0.1230799305125 (/ 1 (* x (pow (sqrt 0.04481) 3)))) (+ (* 0.5 (/ 1 (* x (sqrt 0.04481)))) (+ (* 0.496145 (/ 1 (sqrt 0.04481))) (* x (sqrt 0.04481))))) 5.484 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1) 5.484 * [backup-simplify]: Simplify (sqrt (fma (fma x 0.04481 0.99229) x 1.0)) into (sqrt (fma (fma x 0.04481 0.99229) x 1.0)) 5.484 * [approximate]: Taking taylor expansion of (sqrt (fma (fma x 0.04481 0.99229) x 1.0)) in (x) around 0 5.484 * [taylor]: Taking taylor expansion of (sqrt (fma (fma x 0.04481 0.99229) x 1.0)) in x 5.484 * [taylor]: Taking taylor expansion of (fma (fma x 0.04481 0.99229) x 1.0) in x 5.484 * [taylor]: Rewrote expression to (+ (* (fma x 0.04481 0.99229) x) 1.0) 5.484 * [taylor]: Taking taylor expansion of (* (fma x 0.04481 0.99229) x) in x 5.484 * [taylor]: Taking taylor expansion of (fma x 0.04481 0.99229) in x 5.484 * [taylor]: Rewrote expression to (+ (* x 0.04481) 0.99229) 5.484 * [taylor]: Taking taylor expansion of (* x 0.04481) in x 5.484 * [taylor]: Taking taylor expansion of x in x 5.484 * [backup-simplify]: Simplify 0 into 0 5.484 * [backup-simplify]: Simplify 1 into 1 5.484 * [taylor]: Taking taylor expansion of 0.04481 in x 5.484 * [backup-simplify]: Simplify 0.04481 into 0.04481 5.484 * [taylor]: Taking taylor expansion of 0.99229 in x 5.484 * [backup-simplify]: Simplify 0.99229 into 0.99229 5.484 * [taylor]: Taking taylor expansion of x in x 5.484 * [backup-simplify]: Simplify 0 into 0 5.484 * [backup-simplify]: Simplify 1 into 1 5.484 * [taylor]: Taking taylor expansion of 1.0 in x 5.484 * [backup-simplify]: Simplify 1.0 into 1.0 5.485 * [backup-simplify]: Simplify (* 0 0.04481) into 0 5.485 * [backup-simplify]: Simplify (+ 0 0.99229) into 0.99229 5.485 * [backup-simplify]: Simplify (* 0.99229 0) into 0 5.485 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 5.486 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0) 5.487 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 0.04481)) into 0.04481 5.487 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 5.488 * [backup-simplify]: Simplify (+ (* 0.99229 1) (* 0.04481 0)) into 0.99229 5.489 * [backup-simplify]: Simplify (+ 0.99229 0) into 0.99229 5.490 * [backup-simplify]: Simplify (/ 0.99229 (* 2 (sqrt 1.0))) into (/ 0.496145 (sqrt 1.0)) 5.490 * [taylor]: Taking taylor expansion of (sqrt (fma (fma x 0.04481 0.99229) x 1.0)) in x 5.490 * [taylor]: Taking taylor expansion of (fma (fma x 0.04481 0.99229) x 1.0) in x 5.491 * [taylor]: Rewrote expression to (+ (* (fma x 0.04481 0.99229) x) 1.0) 5.491 * [taylor]: Taking taylor expansion of (* (fma x 0.04481 0.99229) x) in x 5.491 * [taylor]: Taking taylor expansion of (fma x 0.04481 0.99229) in x 5.491 * [taylor]: Rewrote expression to (+ (* x 0.04481) 0.99229) 5.491 * [taylor]: Taking taylor expansion of (* x 0.04481) in x 5.491 * [taylor]: Taking taylor expansion of x in x 5.491 * [backup-simplify]: Simplify 0 into 0 5.491 * [backup-simplify]: Simplify 1 into 1 5.491 * [taylor]: Taking taylor expansion of 0.04481 in x 5.491 * [backup-simplify]: Simplify 0.04481 into 0.04481 5.491 * [taylor]: Taking taylor expansion of 0.99229 in x 5.491 * [backup-simplify]: Simplify 0.99229 into 0.99229 5.491 * [taylor]: Taking taylor expansion of x in x 5.491 * [backup-simplify]: Simplify 0 into 0 5.491 * [backup-simplify]: Simplify 1 into 1 5.491 * [taylor]: Taking taylor expansion of 1.0 in x 5.491 * [backup-simplify]: Simplify 1.0 into 1.0 5.492 * [backup-simplify]: Simplify (* 0 0.04481) into 0 5.492 * [backup-simplify]: Simplify (+ 0 0.99229) into 0.99229 5.493 * [backup-simplify]: Simplify (* 0.99229 0) into 0 5.493 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 5.493 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0) 5.495 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 0.04481)) into 0.04481 5.495 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 5.497 * [backup-simplify]: Simplify (+ (* 0.99229 1) (* 0.04481 0)) into 0.99229 5.498 * [backup-simplify]: Simplify (+ 0.99229 0) into 0.99229 5.499 * [backup-simplify]: Simplify (/ 0.99229 (* 2 (sqrt 1.0))) into (/ 0.496145 (sqrt 1.0)) 5.500 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0) 5.501 * [backup-simplify]: Simplify (/ 0.496145 (sqrt 1.0)) into (/ 0.496145 (sqrt 1.0)) 5.502 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 0.04481))) into 0 5.502 * [backup-simplify]: Simplify (+ 0 0) into 0 5.505 * [backup-simplify]: Simplify (+ (* 0.99229 0) (+ (* 0.04481 1) (* 0 0))) into 0.04481 5.505 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 5.509 * [backup-simplify]: Simplify (/ (- 0.04481 (pow (/ 0.496145 (sqrt 1.0)) 2) (+)) (* 2 (sqrt 1.0))) into (* 1/2 (/ (- 0.04481 (* 0.246159861025 (/ 1 (pow (sqrt 1.0) 2)))) (sqrt 1.0))) 5.513 * [backup-simplify]: Simplify (* 1/2 (/ (- 0.04481 (* 0.246159861025 (/ 1 (pow (sqrt 1.0) 2)))) (sqrt 1.0))) into (* 1/2 (/ (- 0.04481 (* 0.246159861025 (/ 1 (pow (sqrt 1.0) 2)))) (sqrt 1.0))) 5.520 * [backup-simplify]: Simplify (+ (* (* 1/2 (/ (- 0.04481 (* 0.246159861025 (/ 1 (pow (sqrt 1.0) 2)))) (sqrt 1.0))) (pow x 2)) (+ (* (/ 0.496145 (sqrt 1.0)) x) (sqrt 1.0))) into (- (+ (sqrt 1.0) (+ (* 0.022405 (/ (pow x 2) (sqrt 1.0))) (* 0.496145 (/ x (sqrt 1.0))))) (* 0.1230799305125 (/ (pow x 2) (pow (sqrt 1.0) 3)))) 5.520 * [backup-simplify]: Simplify (sqrt (fma (fma (/ 1 x) 0.04481 0.99229) (/ 1 x) 1.0)) into (sqrt (fma (fma (/ 1 x) 0.04481 0.99229) (/ 1 x) 1.0)) 5.520 * [approximate]: Taking taylor expansion of (sqrt (fma (fma (/ 1 x) 0.04481 0.99229) (/ 1 x) 1.0)) in (x) around 0 5.520 * [taylor]: Taking taylor expansion of (sqrt (fma (fma (/ 1 x) 0.04481 0.99229) (/ 1 x) 1.0)) in x 5.520 * [taylor]: Taking taylor expansion of (fma (fma (/ 1 x) 0.04481 0.99229) (/ 1 x) 1.0) in x 5.520 * [taylor]: Rewrote expression to (+ (* (fma (/ 1 x) 0.04481 0.99229) (/ 1 x)) 1.0) 5.520 * [taylor]: Taking taylor expansion of (* (fma (/ 1 x) 0.04481 0.99229) (/ 1 x)) in x 5.520 * [taylor]: Taking taylor expansion of (fma (/ 1 x) 0.04481 0.99229) in x 5.521 * [taylor]: Rewrote expression to (+ (* (/ 1 x) 0.04481) 0.99229) 5.521 * [taylor]: Taking taylor expansion of (* (/ 1 x) 0.04481) in x 5.521 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.521 * [taylor]: Taking taylor expansion of x in x 5.521 * [backup-simplify]: Simplify 0 into 0 5.521 * [backup-simplify]: Simplify 1 into 1 5.521 * [backup-simplify]: Simplify (/ 1 1) into 1 5.521 * [taylor]: Taking taylor expansion of 0.04481 in x 5.521 * [backup-simplify]: Simplify 0.04481 into 0.04481 5.521 * [taylor]: Taking taylor expansion of 0.99229 in x 5.521 * [backup-simplify]: Simplify 0.99229 into 0.99229 5.521 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.521 * [taylor]: Taking taylor expansion of x in x 5.521 * [backup-simplify]: Simplify 0 into 0 5.521 * [backup-simplify]: Simplify 1 into 1 5.521 * [backup-simplify]: Simplify (/ 1 1) into 1 5.521 * [taylor]: Taking taylor expansion of 1.0 in x 5.521 * [backup-simplify]: Simplify 1.0 into 1.0 5.522 * [backup-simplify]: Simplify (* 1 0.04481) into 0.04481 5.522 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 5.522 * [backup-simplify]: Simplify (* 0.04481 1) into 0.04481 5.522 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 5.523 * [backup-simplify]: Simplify (sqrt 0.04481) into (sqrt 0.04481) 5.523 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.524 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.524 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 0.04481)) into 0 5.524 * [backup-simplify]: Simplify (+ 0 0.99229) into 0.99229 5.525 * [backup-simplify]: Simplify (+ (* 0.04481 0) (* 0.99229 1)) into 0.99229 5.525 * [backup-simplify]: Simplify (+ 0.99229 0) into 0.99229 5.526 * [backup-simplify]: Simplify (/ 0.99229 (* 2 (sqrt 0.04481))) into (/ 0.496145 (sqrt 0.04481)) 5.526 * [taylor]: Taking taylor expansion of (sqrt (fma (fma (/ 1 x) 0.04481 0.99229) (/ 1 x) 1.0)) in x 5.526 * [taylor]: Taking taylor expansion of (fma (fma (/ 1 x) 0.04481 0.99229) (/ 1 x) 1.0) in x 5.526 * [taylor]: Rewrote expression to (+ (* (fma (/ 1 x) 0.04481 0.99229) (/ 1 x)) 1.0) 5.527 * [taylor]: Taking taylor expansion of (* (fma (/ 1 x) 0.04481 0.99229) (/ 1 x)) in x 5.527 * [taylor]: Taking taylor expansion of (fma (/ 1 x) 0.04481 0.99229) in x 5.527 * [taylor]: Rewrote expression to (+ (* (/ 1 x) 0.04481) 0.99229) 5.527 * [taylor]: Taking taylor expansion of (* (/ 1 x) 0.04481) in x 5.527 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.527 * [taylor]: Taking taylor expansion of x in x 5.527 * [backup-simplify]: Simplify 0 into 0 5.527 * [backup-simplify]: Simplify 1 into 1 5.527 * [backup-simplify]: Simplify (/ 1 1) into 1 5.527 * [taylor]: Taking taylor expansion of 0.04481 in x 5.527 * [backup-simplify]: Simplify 0.04481 into 0.04481 5.527 * [taylor]: Taking taylor expansion of 0.99229 in x 5.527 * [backup-simplify]: Simplify 0.99229 into 0.99229 5.527 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.527 * [taylor]: Taking taylor expansion of x in x 5.527 * [backup-simplify]: Simplify 0 into 0 5.527 * [backup-simplify]: Simplify 1 into 1 5.527 * [backup-simplify]: Simplify (/ 1 1) into 1 5.527 * [taylor]: Taking taylor expansion of 1.0 in x 5.527 * [backup-simplify]: Simplify 1.0 into 1.0 5.528 * [backup-simplify]: Simplify (* 1 0.04481) into 0.04481 5.528 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 5.528 * [backup-simplify]: Simplify (* 0.04481 1) into 0.04481 5.528 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 5.529 * [backup-simplify]: Simplify (sqrt 0.04481) into (sqrt 0.04481) 5.529 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.530 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.530 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 0.04481)) into 0 5.530 * [backup-simplify]: Simplify (+ 0 0.99229) into 0.99229 5.531 * [backup-simplify]: Simplify (+ (* 0.04481 0) (* 0.99229 1)) into 0.99229 5.531 * [backup-simplify]: Simplify (+ 0.99229 0) into 0.99229 5.532 * [backup-simplify]: Simplify (/ 0.99229 (* 2 (sqrt 0.04481))) into (/ 0.496145 (sqrt 0.04481)) 5.533 * [backup-simplify]: Simplify (sqrt 0.04481) into (sqrt 0.04481) 5.533 * [backup-simplify]: Simplify (/ 0.496145 (sqrt 0.04481)) into (/ 0.496145 (sqrt 0.04481)) 5.534 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.534 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.535 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 0.04481))) into 0 5.535 * [backup-simplify]: Simplify (+ 0 0) into 0 5.536 * [backup-simplify]: Simplify (+ (* 0.04481 0) (+ (* 0.99229 0) (* 0 1))) into 0 5.536 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 5.539 * [backup-simplify]: Simplify (/ (- 1.0 (pow (/ 0.496145 (sqrt 0.04481)) 2) (+)) (* 2 (sqrt 0.04481))) into (* 1/2 (/ (- 1.0 (* 0.246159861025 (/ 1 (pow (sqrt 0.04481) 2)))) (sqrt 0.04481))) 5.546 * [backup-simplify]: Simplify (* 1/2 (/ (- 1.0 (* 0.246159861025 (/ 1 (pow (sqrt 0.04481) 2)))) (sqrt 0.04481))) into (* 1/2 (/ (- 1.0 (* 0.246159861025 (/ 1 (pow (sqrt 0.04481) 2)))) (sqrt 0.04481))) 5.554 * [backup-simplify]: Simplify (+ (* (* 1/2 (/ (- 1.0 (* 0.246159861025 (/ 1 (pow (sqrt 0.04481) 2)))) (sqrt 0.04481))) (/ 1 x)) (+ (/ 0.496145 (sqrt 0.04481)) (* (sqrt 0.04481) (/ 1 (/ 1 x))))) into (- (+ (* 0.5 (/ 1 (* x (sqrt 0.04481)))) (+ (* 0.496145 (/ 1 (sqrt 0.04481))) (* x (sqrt 0.04481)))) (* 0.1230799305125 (/ 1 (* x (pow (sqrt 0.04481) 3))))) 5.554 * [backup-simplify]: Simplify (sqrt (fma (fma (/ 1 (- x)) 0.04481 0.99229) (/ 1 (- x)) 1.0)) into (sqrt (fma (fma (/ -1 x) 0.04481 0.99229) (/ -1 x) 1.0)) 5.554 * [approximate]: Taking taylor expansion of (sqrt (fma (fma (/ -1 x) 0.04481 0.99229) (/ -1 x) 1.0)) in (x) around 0 5.554 * [taylor]: Taking taylor expansion of (sqrt (fma (fma (/ -1 x) 0.04481 0.99229) (/ -1 x) 1.0)) in x 5.554 * [taylor]: Taking taylor expansion of (fma (fma (/ -1 x) 0.04481 0.99229) (/ -1 x) 1.0) in x 5.555 * [taylor]: Rewrote expression to (+ (* (fma (/ -1 x) 0.04481 0.99229) (/ -1 x)) 1.0) 5.555 * [taylor]: Taking taylor expansion of (* (fma (/ -1 x) 0.04481 0.99229) (/ -1 x)) in x 5.555 * [taylor]: Taking taylor expansion of (fma (/ -1 x) 0.04481 0.99229) in x 5.555 * [taylor]: Rewrote expression to (+ (* (/ -1 x) 0.04481) 0.99229) 5.555 * [taylor]: Taking taylor expansion of (* (/ -1 x) 0.04481) in x 5.555 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.555 * [taylor]: Taking taylor expansion of -1 in x 5.555 * [backup-simplify]: Simplify -1 into -1 5.555 * [taylor]: Taking taylor expansion of x in x 5.555 * [backup-simplify]: Simplify 0 into 0 5.555 * [backup-simplify]: Simplify 1 into 1 5.555 * [backup-simplify]: Simplify (/ -1 1) into -1 5.556 * [taylor]: Taking taylor expansion of 0.04481 in x 5.556 * [backup-simplify]: Simplify 0.04481 into 0.04481 5.556 * [taylor]: Taking taylor expansion of 0.99229 in x 5.556 * [backup-simplify]: Simplify 0.99229 into 0.99229 5.556 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.556 * [taylor]: Taking taylor expansion of -1 in x 5.556 * [backup-simplify]: Simplify -1 into -1 5.556 * [taylor]: Taking taylor expansion of x in x 5.556 * [backup-simplify]: Simplify 0 into 0 5.556 * [backup-simplify]: Simplify 1 into 1 5.556 * [backup-simplify]: Simplify (/ -1 1) into -1 5.556 * [taylor]: Taking taylor expansion of 1.0 in x 5.556 * [backup-simplify]: Simplify 1.0 into 1.0 5.557 * [backup-simplify]: Simplify (* -1 0.04481) into -0.04481 5.557 * [backup-simplify]: Simplify (+ -0.04481 0) into (- 0.04481) 5.558 * [backup-simplify]: Simplify (* (- 0.04481) -1) into 0.04481 5.559 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 5.559 * [backup-simplify]: Simplify (sqrt 0.04481) into (sqrt 0.04481) 5.560 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 5.561 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 5.561 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 0.04481)) into 0 5.562 * [backup-simplify]: Simplify (+ 0 0.99229) into 0.99229 5.564 * [backup-simplify]: Simplify (+ (* (- 0.04481) 0) (* 0.99229 -1)) into (- 0.99229) 5.564 * [backup-simplify]: Simplify (+ (- 0.99229) 0) into (- 0.99229) 5.566 * [backup-simplify]: Simplify (/ (- 0.99229) (* 2 (sqrt 0.04481))) into (/ -0.496145 (sqrt 0.04481)) 5.566 * [taylor]: Taking taylor expansion of (sqrt (fma (fma (/ -1 x) 0.04481 0.99229) (/ -1 x) 1.0)) in x 5.566 * [taylor]: Taking taylor expansion of (fma (fma (/ -1 x) 0.04481 0.99229) (/ -1 x) 1.0) in x 5.567 * [taylor]: Rewrote expression to (+ (* (fma (/ -1 x) 0.04481 0.99229) (/ -1 x)) 1.0) 5.567 * [taylor]: Taking taylor expansion of (* (fma (/ -1 x) 0.04481 0.99229) (/ -1 x)) in x 5.567 * [taylor]: Taking taylor expansion of (fma (/ -1 x) 0.04481 0.99229) in x 5.567 * [taylor]: Rewrote expression to (+ (* (/ -1 x) 0.04481) 0.99229) 5.567 * [taylor]: Taking taylor expansion of (* (/ -1 x) 0.04481) in x 5.567 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.567 * [taylor]: Taking taylor expansion of -1 in x 5.567 * [backup-simplify]: Simplify -1 into -1 5.567 * [taylor]: Taking taylor expansion of x in x 5.567 * [backup-simplify]: Simplify 0 into 0 5.567 * [backup-simplify]: Simplify 1 into 1 5.567 * [backup-simplify]: Simplify (/ -1 1) into -1 5.567 * [taylor]: Taking taylor expansion of 0.04481 in x 5.568 * [backup-simplify]: Simplify 0.04481 into 0.04481 5.568 * [taylor]: Taking taylor expansion of 0.99229 in x 5.568 * [backup-simplify]: Simplify 0.99229 into 0.99229 5.568 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.568 * [taylor]: Taking taylor expansion of -1 in x 5.568 * [backup-simplify]: Simplify -1 into -1 5.568 * [taylor]: Taking taylor expansion of x in x 5.568 * [backup-simplify]: Simplify 0 into 0 5.568 * [backup-simplify]: Simplify 1 into 1 5.568 * [backup-simplify]: Simplify (/ -1 1) into -1 5.568 * [taylor]: Taking taylor expansion of 1.0 in x 5.568 * [backup-simplify]: Simplify 1.0 into 1.0 5.569 * [backup-simplify]: Simplify (* -1 0.04481) into -0.04481 5.569 * [backup-simplify]: Simplify (+ -0.04481 0) into (- 0.04481) 5.570 * [backup-simplify]: Simplify (* (- 0.04481) -1) into 0.04481 5.570 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 5.571 * [backup-simplify]: Simplify (sqrt 0.04481) into (sqrt 0.04481) 5.571 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 5.572 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 5.573 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 0.04481)) into 0 5.573 * [backup-simplify]: Simplify (+ 0 0.99229) into 0.99229 5.575 * [backup-simplify]: Simplify (+ (* (- 0.04481) 0) (* 0.99229 -1)) into (- 0.99229) 5.576 * [backup-simplify]: Simplify (+ (- 0.99229) 0) into (- 0.99229) 5.578 * [backup-simplify]: Simplify (/ (- 0.99229) (* 2 (sqrt 0.04481))) into (/ -0.496145 (sqrt 0.04481)) 5.578 * [backup-simplify]: Simplify (sqrt 0.04481) into (sqrt 0.04481) 5.579 * [backup-simplify]: Simplify (/ -0.496145 (sqrt 0.04481)) into (/ -0.496145 (sqrt 0.04481)) 5.580 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.581 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.582 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 0.04481))) into 0 5.582 * [backup-simplify]: Simplify (+ 0 0) into 0 5.584 * [backup-simplify]: Simplify (+ (* (- 0.04481) 0) (+ (* 0.99229 0) (* 0 -1))) into 0 5.584 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 5.589 * [backup-simplify]: Simplify (/ (- 1.0 (pow (/ -0.496145 (sqrt 0.04481)) 2) (+)) (* 2 (sqrt 0.04481))) into (* 1/2 (/ (- 1.0 (* 0.246159861025 (/ 1 (pow (sqrt 0.04481) 2)))) (sqrt 0.04481))) 5.596 * [backup-simplify]: Simplify (* 1/2 (/ (- 1.0 (* 0.246159861025 (/ 1 (pow (sqrt 0.04481) 2)))) (sqrt 0.04481))) into (* 1/2 (/ (- 1.0 (* 0.246159861025 (/ 1 (pow (sqrt 0.04481) 2)))) (sqrt 0.04481))) 5.604 * [backup-simplify]: Simplify (+ (* (* 1/2 (/ (- 1.0 (* 0.246159861025 (/ 1 (pow (sqrt 0.04481) 2)))) (sqrt 0.04481))) (/ 1 (- x))) (+ (/ -0.496145 (sqrt 0.04481)) (* (sqrt 0.04481) (/ 1 (/ 1 (- x)))))) into (- (* 0.1230799305125 (/ 1 (* x (pow (sqrt 0.04481) 3)))) (+ (* 0.5 (/ 1 (* x (sqrt 0.04481)))) (+ (* 0.496145 (/ 1 (sqrt 0.04481))) (* x (sqrt 0.04481))))) 5.604 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2) 5.604 * [backup-simplify]: Simplify (* (sqrt (fma (fma x 0.04481 0.99229) x 1.0)) (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) into (fma (fma x 0.04481 0.99229) x 1.0) 5.605 * [approximate]: Taking taylor expansion of (fma (fma x 0.04481 0.99229) x 1.0) in (x) around 0 5.605 * [taylor]: Taking taylor expansion of (fma (fma x 0.04481 0.99229) x 1.0) in x 5.605 * [taylor]: Rewrote expression to (+ (* (fma x 0.04481 0.99229) x) 1.0) 5.605 * [taylor]: Taking taylor expansion of (* (fma x 0.04481 0.99229) x) in x 5.605 * [taylor]: Taking taylor expansion of (fma x 0.04481 0.99229) in x 5.605 * [taylor]: Rewrote expression to (+ (* x 0.04481) 0.99229) 5.605 * [taylor]: Taking taylor expansion of (* x 0.04481) in x 5.605 * [taylor]: Taking taylor expansion of x in x 5.605 * [backup-simplify]: Simplify 0 into 0 5.605 * [backup-simplify]: Simplify 1 into 1 5.605 * [taylor]: Taking taylor expansion of 0.04481 in x 5.605 * [backup-simplify]: Simplify 0.04481 into 0.04481 5.605 * [taylor]: Taking taylor expansion of 0.99229 in x 5.605 * [backup-simplify]: Simplify 0.99229 into 0.99229 5.605 * [taylor]: Taking taylor expansion of x in x 5.605 * [backup-simplify]: Simplify 0 into 0 5.605 * [backup-simplify]: Simplify 1 into 1 5.605 * [taylor]: Taking taylor expansion of 1.0 in x 5.605 * [backup-simplify]: Simplify 1.0 into 1.0 5.605 * [taylor]: Taking taylor expansion of (fma (fma x 0.04481 0.99229) x 1.0) in x 5.605 * [taylor]: Rewrote expression to (+ (* (fma x 0.04481 0.99229) x) 1.0) 5.605 * [taylor]: Taking taylor expansion of (* (fma x 0.04481 0.99229) x) in x 5.605 * [taylor]: Taking taylor expansion of (fma x 0.04481 0.99229) in x 5.606 * [taylor]: Rewrote expression to (+ (* x 0.04481) 0.99229) 5.606 * [taylor]: Taking taylor expansion of (* x 0.04481) in x 5.606 * [taylor]: Taking taylor expansion of x in x 5.606 * [backup-simplify]: Simplify 0 into 0 5.606 * [backup-simplify]: Simplify 1 into 1 5.606 * [taylor]: Taking taylor expansion of 0.04481 in x 5.606 * [backup-simplify]: Simplify 0.04481 into 0.04481 5.606 * [taylor]: Taking taylor expansion of 0.99229 in x 5.606 * [backup-simplify]: Simplify 0.99229 into 0.99229 5.606 * [taylor]: Taking taylor expansion of x in x 5.606 * [backup-simplify]: Simplify 0 into 0 5.606 * [backup-simplify]: Simplify 1 into 1 5.606 * [taylor]: Taking taylor expansion of 1.0 in x 5.606 * [backup-simplify]: Simplify 1.0 into 1.0 5.606 * [backup-simplify]: Simplify (* 0 0.04481) into 0 5.607 * [backup-simplify]: Simplify (+ 0 0.99229) into 0.99229 5.607 * [backup-simplify]: Simplify (* 0.99229 0) into 0 5.608 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 5.608 * [backup-simplify]: Simplify 1.0 into 1.0 5.609 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 0.04481)) into 0.04481 5.610 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 5.611 * [backup-simplify]: Simplify (+ (* 0.99229 1) (* 0.04481 0)) into 0.99229 5.611 * [backup-simplify]: Simplify (+ 0.99229 0) into 0.99229 5.611 * [backup-simplify]: Simplify 0.99229 into 0.99229 5.612 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 0.04481))) into 0 5.613 * [backup-simplify]: Simplify (+ 0 0) into 0 5.615 * [backup-simplify]: Simplify (+ (* 0.99229 0) (+ (* 0.04481 1) (* 0 0))) into 0.04481 5.616 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 5.616 * [backup-simplify]: Simplify 0.04481 into 0.04481 5.616 * [backup-simplify]: Simplify (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) into (+ (* 0.99229 x) (+ (* 0.04481 (pow x 2)) 1.0)) 5.616 * [backup-simplify]: Simplify (* (sqrt (fma (fma (/ 1 x) 0.04481 0.99229) (/ 1 x) 1.0)) (sqrt (fma (fma (/ 1 x) 0.04481 0.99229) (/ 1 x) 1.0))) into (fma (fma (/ 1 x) 0.04481 0.99229) (/ 1 x) 1.0) 5.616 * [approximate]: Taking taylor expansion of (fma (fma (/ 1 x) 0.04481 0.99229) (/ 1 x) 1.0) in (x) around 0 5.616 * [taylor]: Taking taylor expansion of (fma (fma (/ 1 x) 0.04481 0.99229) (/ 1 x) 1.0) in x 5.616 * [taylor]: Rewrote expression to (+ (* (fma (/ 1 x) 0.04481 0.99229) (/ 1 x)) 1.0) 5.616 * [taylor]: Taking taylor expansion of (* (fma (/ 1 x) 0.04481 0.99229) (/ 1 x)) in x 5.616 * [taylor]: Taking taylor expansion of (fma (/ 1 x) 0.04481 0.99229) in x 5.616 * [taylor]: Rewrote expression to (+ (* (/ 1 x) 0.04481) 0.99229) 5.616 * [taylor]: Taking taylor expansion of (* (/ 1 x) 0.04481) in x 5.616 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.617 * [taylor]: Taking taylor expansion of x in x 5.617 * [backup-simplify]: Simplify 0 into 0 5.617 * [backup-simplify]: Simplify 1 into 1 5.617 * [backup-simplify]: Simplify (/ 1 1) into 1 5.617 * [taylor]: Taking taylor expansion of 0.04481 in x 5.617 * [backup-simplify]: Simplify 0.04481 into 0.04481 5.617 * [taylor]: Taking taylor expansion of 0.99229 in x 5.617 * [backup-simplify]: Simplify 0.99229 into 0.99229 5.617 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.617 * [taylor]: Taking taylor expansion of x in x 5.617 * [backup-simplify]: Simplify 0 into 0 5.617 * [backup-simplify]: Simplify 1 into 1 5.618 * [backup-simplify]: Simplify (/ 1 1) into 1 5.618 * [taylor]: Taking taylor expansion of 1.0 in x 5.618 * [backup-simplify]: Simplify 1.0 into 1.0 5.618 * [taylor]: Taking taylor expansion of (fma (fma (/ 1 x) 0.04481 0.99229) (/ 1 x) 1.0) in x 5.618 * [taylor]: Rewrote expression to (+ (* (fma (/ 1 x) 0.04481 0.99229) (/ 1 x)) 1.0) 5.618 * [taylor]: Taking taylor expansion of (* (fma (/ 1 x) 0.04481 0.99229) (/ 1 x)) in x 5.618 * [taylor]: Taking taylor expansion of (fma (/ 1 x) 0.04481 0.99229) in x 5.618 * [taylor]: Rewrote expression to (+ (* (/ 1 x) 0.04481) 0.99229) 5.618 * [taylor]: Taking taylor expansion of (* (/ 1 x) 0.04481) in x 5.618 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.618 * [taylor]: Taking taylor expansion of x in x 5.618 * [backup-simplify]: Simplify 0 into 0 5.618 * [backup-simplify]: Simplify 1 into 1 5.618 * [backup-simplify]: Simplify (/ 1 1) into 1 5.618 * [taylor]: Taking taylor expansion of 0.04481 in x 5.618 * [backup-simplify]: Simplify 0.04481 into 0.04481 5.618 * [taylor]: Taking taylor expansion of 0.99229 in x 5.618 * [backup-simplify]: Simplify 0.99229 into 0.99229 5.618 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.618 * [taylor]: Taking taylor expansion of x in x 5.618 * [backup-simplify]: Simplify 0 into 0 5.618 * [backup-simplify]: Simplify 1 into 1 5.619 * [backup-simplify]: Simplify (/ 1 1) into 1 5.619 * [taylor]: Taking taylor expansion of 1.0 in x 5.619 * [backup-simplify]: Simplify 1.0 into 1.0 5.619 * [backup-simplify]: Simplify (* 1 0.04481) into 0.04481 5.619 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 5.620 * [backup-simplify]: Simplify (* 0.04481 1) into 0.04481 5.620 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 5.620 * [backup-simplify]: Simplify 0.04481 into 0.04481 5.621 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.622 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.622 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 0.04481)) into 0 5.623 * [backup-simplify]: Simplify (+ 0 0.99229) into 0.99229 5.624 * [backup-simplify]: Simplify (+ (* 0.04481 0) (* 0.99229 1)) into 0.99229 5.625 * [backup-simplify]: Simplify (+ 0.99229 0) into 0.99229 5.625 * [backup-simplify]: Simplify 0.99229 into 0.99229 5.626 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.627 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.627 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 0.04481))) into 0 5.628 * [backup-simplify]: Simplify (+ 0 0) into 0 5.629 * [backup-simplify]: Simplify (+ (* 0.04481 0) (+ (* 0.99229 0) (* 0 1))) into 0 5.629 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 5.629 * [backup-simplify]: Simplify 1.0 into 1.0 5.630 * [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)) 5.630 * [backup-simplify]: Simplify (* (sqrt (fma (fma (/ 1 (- x)) 0.04481 0.99229) (/ 1 (- x)) 1.0)) (sqrt (fma (fma (/ 1 (- x)) 0.04481 0.99229) (/ 1 (- x)) 1.0))) into (fma (fma (/ -1 x) 0.04481 0.99229) (/ -1 x) 1.0) 5.630 * [approximate]: Taking taylor expansion of (fma (fma (/ -1 x) 0.04481 0.99229) (/ -1 x) 1.0) in (x) around 0 5.630 * [taylor]: Taking taylor expansion of (fma (fma (/ -1 x) 0.04481 0.99229) (/ -1 x) 1.0) in x 5.630 * [taylor]: Rewrote expression to (+ (* (fma (/ -1 x) 0.04481 0.99229) (/ -1 x)) 1.0) 5.630 * [taylor]: Taking taylor expansion of (* (fma (/ -1 x) 0.04481 0.99229) (/ -1 x)) in x 5.630 * [taylor]: Taking taylor expansion of (fma (/ -1 x) 0.04481 0.99229) in x 5.630 * [taylor]: Rewrote expression to (+ (* (/ -1 x) 0.04481) 0.99229) 5.630 * [taylor]: Taking taylor expansion of (* (/ -1 x) 0.04481) in x 5.630 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.630 * [taylor]: Taking taylor expansion of -1 in x 5.631 * [backup-simplify]: Simplify -1 into -1 5.631 * [taylor]: Taking taylor expansion of x in x 5.631 * [backup-simplify]: Simplify 0 into 0 5.631 * [backup-simplify]: Simplify 1 into 1 5.631 * [backup-simplify]: Simplify (/ -1 1) into -1 5.631 * [taylor]: Taking taylor expansion of 0.04481 in x 5.631 * [backup-simplify]: Simplify 0.04481 into 0.04481 5.631 * [taylor]: Taking taylor expansion of 0.99229 in x 5.631 * [backup-simplify]: Simplify 0.99229 into 0.99229 5.631 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.631 * [taylor]: Taking taylor expansion of -1 in x 5.631 * [backup-simplify]: Simplify -1 into -1 5.631 * [taylor]: Taking taylor expansion of x in x 5.631 * [backup-simplify]: Simplify 0 into 0 5.631 * [backup-simplify]: Simplify 1 into 1 5.632 * [backup-simplify]: Simplify (/ -1 1) into -1 5.632 * [taylor]: Taking taylor expansion of 1.0 in x 5.632 * [backup-simplify]: Simplify 1.0 into 1.0 5.632 * [taylor]: Taking taylor expansion of (fma (fma (/ -1 x) 0.04481 0.99229) (/ -1 x) 1.0) in x 5.632 * [taylor]: Rewrote expression to (+ (* (fma (/ -1 x) 0.04481 0.99229) (/ -1 x)) 1.0) 5.632 * [taylor]: Taking taylor expansion of (* (fma (/ -1 x) 0.04481 0.99229) (/ -1 x)) in x 5.632 * [taylor]: Taking taylor expansion of (fma (/ -1 x) 0.04481 0.99229) in x 5.632 * [taylor]: Rewrote expression to (+ (* (/ -1 x) 0.04481) 0.99229) 5.632 * [taylor]: Taking taylor expansion of (* (/ -1 x) 0.04481) in x 5.632 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.632 * [taylor]: Taking taylor expansion of -1 in x 5.632 * [backup-simplify]: Simplify -1 into -1 5.632 * [taylor]: Taking taylor expansion of x in x 5.632 * [backup-simplify]: Simplify 0 into 0 5.632 * [backup-simplify]: Simplify 1 into 1 5.633 * [backup-simplify]: Simplify (/ -1 1) into -1 5.633 * [taylor]: Taking taylor expansion of 0.04481 in x 5.633 * [backup-simplify]: Simplify 0.04481 into 0.04481 5.633 * [taylor]: Taking taylor expansion of 0.99229 in x 5.633 * [backup-simplify]: Simplify 0.99229 into 0.99229 5.633 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.633 * [taylor]: Taking taylor expansion of -1 in x 5.633 * [backup-simplify]: Simplify -1 into -1 5.633 * [taylor]: Taking taylor expansion of x in x 5.633 * [backup-simplify]: Simplify 0 into 0 5.633 * [backup-simplify]: Simplify 1 into 1 5.633 * [backup-simplify]: Simplify (/ -1 1) into -1 5.633 * [taylor]: Taking taylor expansion of 1.0 in x 5.633 * [backup-simplify]: Simplify 1.0 into 1.0 5.634 * [backup-simplify]: Simplify (* -1 0.04481) into -0.04481 5.634 * [backup-simplify]: Simplify (+ -0.04481 0) into (- 0.04481) 5.635 * [backup-simplify]: Simplify (* (- 0.04481) -1) into 0.04481 5.637 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 5.637 * [backup-simplify]: Simplify 0.04481 into 0.04481 5.639 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 5.639 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 5.640 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 0.04481)) into 0 5.641 * [backup-simplify]: Simplify (+ 0 0.99229) into 0.99229 5.642 * [backup-simplify]: Simplify (+ (* (- 0.04481) 0) (* 0.99229 -1)) into (- 0.99229) 5.643 * [backup-simplify]: Simplify (+ (- 0.99229) 0) into (- 0.99229) 5.643 * [backup-simplify]: Simplify (- 0.99229) into (- 0.99229) 5.644 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.645 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.646 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 0.04481))) into 0 5.647 * [backup-simplify]: Simplify (+ 0 0) into 0 5.648 * [backup-simplify]: Simplify (+ (* (- 0.04481) 0) (+ (* 0.99229 0) (* 0 -1))) into 0 5.648 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 5.648 * [backup-simplify]: Simplify 1.0 into 1.0 5.649 * [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)) 5.649 * * * [progress]: simplifying candidates 5.653 * [simplify]: Simplifying: (expm1 (/ (fma 0.27061 x 2.30753) (* (sqrt (fma (fma x 0.04481 0.99229) x 1.0)) (sqrt (fma (fma x 0.04481 0.99229) x 1.0))))) (log1p (/ (fma 0.27061 x 2.30753) (* (sqrt (fma (fma x 0.04481 0.99229) x 1.0)) (sqrt (fma (fma x 0.04481 0.99229) x 1.0))))) (- (log (fma 0.27061 x 2.30753)) (+ (log (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (log (sqrt (fma (fma x 0.04481 0.99229) x 1.0))))) (- (log (fma 0.27061 x 2.30753)) (log (* (sqrt (fma (fma x 0.04481 0.99229) x 1.0)) (sqrt (fma (fma x 0.04481 0.99229) x 1.0))))) (log (/ (fma 0.27061 x 2.30753) (* (sqrt (fma (fma x 0.04481 0.99229) x 1.0)) (sqrt (fma (fma x 0.04481 0.99229) x 1.0))))) (exp (/ (fma 0.27061 x 2.30753) (* (sqrt (fma (fma x 0.04481 0.99229) x 1.0)) (sqrt (fma (fma x 0.04481 0.99229) x 1.0))))) (/ (* (* (fma 0.27061 x 2.30753) (fma 0.27061 x 2.30753)) (fma 0.27061 x 2.30753)) (* (* (* (sqrt (fma (fma x 0.04481 0.99229) x 1.0)) (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (* (* (sqrt (fma (fma x 0.04481 0.99229) x 1.0)) (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (sqrt (fma (fma x 0.04481 0.99229) x 1.0))))) (/ (* (* (fma 0.27061 x 2.30753) (fma 0.27061 x 2.30753)) (fma 0.27061 x 2.30753)) (* (* (* (sqrt (fma (fma x 0.04481 0.99229) x 1.0)) (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (* (sqrt (fma (fma x 0.04481 0.99229) x 1.0)) (sqrt (fma (fma x 0.04481 0.99229) x 1.0)))) (* (sqrt (fma (fma x 0.04481 0.99229) x 1.0)) (sqrt (fma (fma x 0.04481 0.99229) x 1.0))))) (* (cbrt (/ (fma 0.27061 x 2.30753) (* (sqrt (fma (fma x 0.04481 0.99229) x 1.0)) (sqrt (fma (fma x 0.04481 0.99229) x 1.0))))) (cbrt (/ (fma 0.27061 x 2.30753) (* (sqrt (fma (fma x 0.04481 0.99229) x 1.0)) (sqrt (fma (fma x 0.04481 0.99229) x 1.0)))))) (cbrt (/ (fma 0.27061 x 2.30753) (* (sqrt (fma (fma x 0.04481 0.99229) x 1.0)) (sqrt (fma (fma x 0.04481 0.99229) x 1.0))))) (* (* (/ (fma 0.27061 x 2.30753) (* (sqrt (fma (fma x 0.04481 0.99229) x 1.0)) (sqrt (fma (fma x 0.04481 0.99229) x 1.0)))) (/ (fma 0.27061 x 2.30753) (* (sqrt (fma (fma x 0.04481 0.99229) x 1.0)) (sqrt (fma (fma x 0.04481 0.99229) x 1.0))))) (/ (fma 0.27061 x 2.30753) (* (sqrt (fma (fma x 0.04481 0.99229) x 1.0)) (sqrt (fma (fma x 0.04481 0.99229) x 1.0))))) (sqrt (/ (fma 0.27061 x 2.30753) (* (sqrt (fma (fma x 0.04481 0.99229) x 1.0)) (sqrt (fma (fma x 0.04481 0.99229) x 1.0))))) (sqrt (/ (fma 0.27061 x 2.30753) (* (sqrt (fma (fma x 0.04481 0.99229) x 1.0)) (sqrt (fma (fma x 0.04481 0.99229) x 1.0))))) (- (fma 0.27061 x 2.30753)) (- (* (sqrt (fma (fma x 0.04481 0.99229) x 1.0)) (sqrt (fma (fma x 0.04481 0.99229) x 1.0)))) (/ (* (cbrt (fma 0.27061 x 2.30753)) (cbrt (fma 0.27061 x 2.30753))) (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (/ (cbrt (fma 0.27061 x 2.30753)) (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (/ (sqrt (fma 0.27061 x 2.30753)) (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (/ (sqrt (fma 0.27061 x 2.30753)) (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (/ 1 (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (/ (fma 0.27061 x 2.30753) (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (/ 1 (* (sqrt (fma (fma x 0.04481 0.99229) x 1.0)) (sqrt (fma (fma x 0.04481 0.99229) x 1.0)))) (/ (* (sqrt (fma (fma x 0.04481 0.99229) x 1.0)) (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (fma 0.27061 x 2.30753)) (/ (fma 0.27061 x 2.30753) (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (/ (* (sqrt (fma (fma x 0.04481 0.99229) x 1.0)) (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (cbrt (fma 0.27061 x 2.30753))) (/ (* (sqrt (fma (fma x 0.04481 0.99229) x 1.0)) (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (sqrt (fma 0.27061 x 2.30753))) (/ (* (sqrt (fma (fma x 0.04481 0.99229) x 1.0)) (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (fma 0.27061 x 2.30753)) (expm1 (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (log1p (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (log (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (exp (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (* (cbrt (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (cbrt (sqrt (fma (fma x 0.04481 0.99229) x 1.0)))) (cbrt (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (* (* (sqrt (fma (fma x 0.04481 0.99229) x 1.0)) (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (sqrt (* (cbrt (fma (fma x 0.04481 0.99229) x 1.0)) (cbrt (fma (fma x 0.04481 0.99229) x 1.0)))) (sqrt (cbrt (fma (fma x 0.04481 0.99229) x 1.0))) (sqrt (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (sqrt (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (sqrt 1) (sqrt (fma (fma x 0.04481 0.99229) x 1.0)) (/ 1 2) (sqrt (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (sqrt (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (expm1 (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (log1p (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (log (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (exp (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (* (cbrt (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (cbrt (sqrt (fma (fma x 0.04481 0.99229) x 1.0)))) (cbrt (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (* (* (sqrt (fma (fma x 0.04481 0.99229) x 1.0)) (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (sqrt (* (cbrt (fma (fma x 0.04481 0.99229) x 1.0)) (cbrt (fma (fma x 0.04481 0.99229) x 1.0)))) (sqrt (cbrt (fma (fma x 0.04481 0.99229) x 1.0))) (sqrt (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (sqrt (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (sqrt 1) (sqrt (fma (fma x 0.04481 0.99229) x 1.0)) (/ 1 2) (sqrt (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (sqrt (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (expm1 (* (sqrt (fma (fma x 0.04481 0.99229) x 1.0)) (sqrt (fma (fma x 0.04481 0.99229) x 1.0)))) (log1p (* (sqrt (fma (fma x 0.04481 0.99229) x 1.0)) (sqrt (fma (fma x 0.04481 0.99229) x 1.0)))) (+ 1/2 1/2) (+ 1/2 (/ 1 2)) (+ 1 1) (+ (/ 1 2) 1/2) (+ (/ 1 2) (/ 1 2)) (* (fma (fma x 0.04481 0.99229) x 1.0) (fma (fma x 0.04481 0.99229) x 1.0)) (* (sqrt (fma (fma x 0.04481 0.99229) x 1.0)) (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (* (fma (fma x 0.04481 0.99229) x 1.0) (fma (fma x 0.04481 0.99229) x 1.0)) (+ 1 1) (+ (log (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (log (sqrt (fma (fma x 0.04481 0.99229) x 1.0)))) (log (* (sqrt (fma (fma x 0.04481 0.99229) x 1.0)) (sqrt (fma (fma x 0.04481 0.99229) x 1.0)))) (exp (* (sqrt (fma (fma x 0.04481 0.99229) x 1.0)) (sqrt (fma (fma x 0.04481 0.99229) x 1.0)))) (* (* (* (sqrt (fma (fma x 0.04481 0.99229) x 1.0)) (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (* (* (sqrt (fma (fma x 0.04481 0.99229) x 1.0)) (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (sqrt (fma (fma x 0.04481 0.99229) x 1.0)))) (* (cbrt (* (sqrt (fma (fma x 0.04481 0.99229) x 1.0)) (sqrt (fma (fma x 0.04481 0.99229) x 1.0)))) (cbrt (* (sqrt (fma (fma x 0.04481 0.99229) x 1.0)) (sqrt (fma (fma x 0.04481 0.99229) x 1.0))))) (cbrt (* (sqrt (fma (fma x 0.04481 0.99229) x 1.0)) (sqrt (fma (fma x 0.04481 0.99229) x 1.0)))) (* (* (* (sqrt (fma (fma x 0.04481 0.99229) x 1.0)) (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (* (sqrt (fma (fma x 0.04481 0.99229) x 1.0)) (sqrt (fma (fma x 0.04481 0.99229) x 1.0)))) (* (sqrt (fma (fma x 0.04481 0.99229) x 1.0)) (sqrt (fma (fma x 0.04481 0.99229) x 1.0)))) (* (fma (fma x 0.04481 0.99229) x 1.0) (fma (fma x 0.04481 0.99229) x 1.0)) (sqrt (* (sqrt (fma (fma x 0.04481 0.99229) x 1.0)) (sqrt (fma (fma x 0.04481 0.99229) x 1.0)))) (sqrt (* (sqrt (fma (fma x 0.04481 0.99229) x 1.0)) (sqrt (fma (fma x 0.04481 0.99229) x 1.0)))) (* (* (cbrt (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (cbrt (sqrt (fma (fma x 0.04481 0.99229) x 1.0)))) (* (cbrt (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (cbrt (sqrt (fma (fma x 0.04481 0.99229) x 1.0))))) (* (cbrt (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (cbrt (sqrt (fma (fma x 0.04481 0.99229) x 1.0)))) (* (sqrt (* (cbrt (fma (fma x 0.04481 0.99229) x 1.0)) (cbrt (fma (fma x 0.04481 0.99229) x 1.0)))) (sqrt (* (cbrt (fma (fma x 0.04481 0.99229) x 1.0)) (cbrt (fma (fma x 0.04481 0.99229) x 1.0))))) (* (sqrt (cbrt (fma (fma x 0.04481 0.99229) x 1.0))) (sqrt (cbrt (fma (fma x 0.04481 0.99229) x 1.0)))) (* (sqrt (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (sqrt (sqrt (fma (fma x 0.04481 0.99229) x 1.0)))) (* (sqrt (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (sqrt (sqrt (fma (fma x 0.04481 0.99229) x 1.0)))) (* (sqrt (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (sqrt (sqrt (fma (fma x 0.04481 0.99229) x 1.0)))) (* (sqrt (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (sqrt (sqrt (fma (fma x 0.04481 0.99229) x 1.0)))) (* (sqrt 1) (sqrt 1)) (* (sqrt (fma (fma x 0.04481 0.99229) x 1.0)) (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (* (sqrt (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (sqrt (sqrt (fma (fma x 0.04481 0.99229) x 1.0)))) (* (sqrt (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (sqrt (sqrt (fma (fma x 0.04481 0.99229) x 1.0)))) (* (sqrt (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (sqrt (sqrt (fma (fma x 0.04481 0.99229) x 1.0)))) (* (sqrt (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (sqrt (sqrt (fma (fma x 0.04481 0.99229) x 1.0)))) (* 1 1) (* (sqrt (fma (fma x 0.04481 0.99229) x 1.0)) (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (* (sqrt (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (sqrt (sqrt (fma (fma x 0.04481 0.99229) x 1.0)))) (* (sqrt (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (sqrt (sqrt (fma (fma x 0.04481 0.99229) x 1.0)))) (* (sqrt (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (sqrt (sqrt (fma (fma x 0.04481 0.99229) x 1.0)))) (* (sqrt (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (sqrt (sqrt (fma (fma x 0.04481 0.99229) x 1.0)))) (* (sqrt (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (sqrt (sqrt (fma (fma x 0.04481 0.99229) x 1.0)))) (* (sqrt (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (sqrt (sqrt (fma (fma x 0.04481 0.99229) x 1.0)))) (* (sqrt (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (sqrt (sqrt (fma (fma x 0.04481 0.99229) x 1.0)))) (* (sqrt (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (sqrt (sqrt (fma (fma x 0.04481 0.99229) x 1.0)))) (* 2 1/2) (* 2 1) (* 2 (/ 1 2)) (* (sqrt (fma (fma x 0.04481 0.99229) x 1.0)) (* (cbrt (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (cbrt (sqrt (fma (fma x 0.04481 0.99229) x 1.0))))) (* (sqrt (fma (fma x 0.04481 0.99229) x 1.0)) (sqrt (* (cbrt (fma (fma x 0.04481 0.99229) x 1.0)) (cbrt (fma (fma x 0.04481 0.99229) x 1.0))))) (* (sqrt (fma (fma x 0.04481 0.99229) x 1.0)) (sqrt (sqrt (fma (fma x 0.04481 0.99229) x 1.0)))) (* (sqrt (fma (fma x 0.04481 0.99229) x 1.0)) (sqrt 1)) (* (sqrt (fma (fma x 0.04481 0.99229) x 1.0)) (sqrt (sqrt (fma (fma x 0.04481 0.99229) x 1.0)))) (* (sqrt (fma (fma x 0.04481 0.99229) x 1.0)) 1) (* (cbrt (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (* (sqrt (cbrt (fma (fma x 0.04481 0.99229) x 1.0))) (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (* (sqrt (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (* (sqrt (fma (fma x 0.04481 0.99229) x 1.0)) (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (* (sqrt (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (sqrt (fma (fma x 0.04481 0.99229) x 1.0))) (* (sqrt (fma (fma x 0.04481 0.99229) x 1.0)) (sqrt (fma (fma x 0.04481 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)))) (- (+ (sqrt 1.0) (+ (* 0.022405 (/ (pow x 2) (sqrt 1.0))) (* 0.496145 (/ x (sqrt 1.0))))) (* 0.1230799305125 (/ (pow x 2) (pow (sqrt 1.0) 3)))) (- (+ (* 0.5 (/ 1 (* x (sqrt 0.04481)))) (+ (* 0.496145 (/ 1 (sqrt 0.04481))) (* x (sqrt 0.04481)))) (* 0.1230799305125 (/ 1 (* x (pow (sqrt 0.04481) 3))))) (- (* 0.1230799305125 (/ 1 (* x (pow (sqrt 0.04481) 3)))) (+ (* 0.5 (/ 1 (* x (sqrt 0.04481)))) (+ (* 0.496145 (/ 1 (sqrt 0.04481))) (* x (sqrt 0.04481))))) (- (+ (sqrt 1.0) (+ (* 0.022405 (/ (pow x 2) (sqrt 1.0))) (* 0.496145 (/ x (sqrt 1.0))))) (* 0.1230799305125 (/ (pow x 2) (pow (sqrt 1.0) 3)))) (- (+ (* 0.5 (/ 1 (* x (sqrt 0.04481)))) (+ (* 0.496145 (/ 1 (sqrt 0.04481))) (* x (sqrt 0.04481)))) (* 0.1230799305125 (/ 1 (* x (pow (sqrt 0.04481) 3))))) (- (* 0.1230799305125 (/ 1 (* x (pow (sqrt 0.04481) 3)))) (+ (* 0.5 (/ 1 (* x (sqrt 0.04481)))) (+ (* 0.496145 (/ 1 (sqrt 0.04481))) (* x (sqrt 0.04481))))) (+ (* 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)) 5.657 * * [simplify]: iteration 0: 146 enodes 5.703 * * [simplify]: iteration 1: 330 enodes 5.822 * * [simplify]: iteration 2: 1236 enodes 6.293 * * [simplify]: iteration complete: 5000 enodes 6.293 * * [simplify]: Extracting #0: cost 53 inf + 0 6.294 * * [simplify]: Extracting #1: cost 778 inf + 3 6.300 * * [simplify]: Extracting #2: cost 1494 inf + 1258 6.309 * * [simplify]: Extracting #3: cost 1361 inf + 25683 6.331 * * [simplify]: Extracting #4: cost 908 inf + 108773 6.437 * * [simplify]: Extracting #5: cost 246 inf + 298791 6.557 * * [simplify]: Extracting #6: cost 11 inf + 373244 6.639 * * [simplify]: Extracting #7: cost 0 inf + 376551 6.718 * [simplify]: Simplified to: (expm1 (/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) (log1p (/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) (log (/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) (log (/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) (log (/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) (exp (/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) (* (/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) (* (/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) (/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)))) (* (/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) (* (/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) (/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)))) (* (cbrt (/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) (cbrt (/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)))) (cbrt (/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) (* (/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) (* (/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)) (/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0)))) (sqrt (/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) (sqrt (/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) (- (fma x 0.27061 2.30753)) (- (fma (fma 0.04481 x 0.99229) x 1.0)) (* (/ (cbrt (fma x 0.27061 2.30753)) (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))) (cbrt (fma x 0.27061 2.30753))) (/ (cbrt (fma x 0.27061 2.30753)) (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))) (/ (sqrt (fma x 0.27061 2.30753)) (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))) (/ (sqrt (fma x 0.27061 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 x 0.27061 2.30753) (sqrt (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 x 0.27061 2.30753)) (/ (fma x 0.27061 2.30753) (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))) (/ (fma (fma 0.04481 x 0.99229) x 1.0) (cbrt (fma x 0.27061 2.30753))) (/ (fma (fma 0.04481 x 0.99229) x 1.0) (sqrt (fma x 0.27061 2.30753))) (/ (fma (fma 0.04481 x 0.99229) x 1.0) (fma x 0.27061 2.30753)) (expm1 (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))) (log1p (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))) (log (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))) (exp (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))) (* (cbrt (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))) (cbrt (sqrt (fma (fma 0.04481 x 0.99229) x 1.0)))) (cbrt (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))) (* (sqrt (fma (fma 0.04481 x 0.99229) x 1.0)) (fma (fma 0.04481 x 0.99229) x 1.0)) (fabs (cbrt (fma (fma 0.04481 x 0.99229) x 1.0))) (sqrt (cbrt (fma (fma 0.04481 x 0.99229) x 1.0))) (sqrt (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))) (sqrt (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))) 1 (sqrt (fma (fma 0.04481 x 0.99229) x 1.0)) 1/2 (sqrt (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))) (sqrt (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))) (expm1 (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))) (log1p (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))) (log (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))) (exp (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))) (* (cbrt (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))) (cbrt (sqrt (fma (fma 0.04481 x 0.99229) x 1.0)))) (cbrt (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))) (* (sqrt (fma (fma 0.04481 x 0.99229) x 1.0)) (fma (fma 0.04481 x 0.99229) x 1.0)) (fabs (cbrt (fma (fma 0.04481 x 0.99229) x 1.0))) (sqrt (cbrt (fma (fma 0.04481 x 0.99229) x 1.0))) (sqrt (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))) (sqrt (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))) 1 (sqrt (fma (fma 0.04481 x 0.99229) x 1.0)) 1/2 (sqrt (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))) (sqrt (sqrt (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)) 1 1 2 1 1 (* (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) (fma (fma 0.04481 x 0.99229) x 1.0)) 2 (log (fma (fma 0.04481 x 0.99229) x 1.0)) (log (fma (fma 0.04481 x 0.99229) x 1.0)) (exp (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)) (* (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)) (* (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)) (* (cbrt (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))) (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))) (* (cbrt (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))) (cbrt (sqrt (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)) (sqrt (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)) (sqrt (fma (fma 0.04481 x 0.99229) x 1.0)) 1 (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)) (sqrt (fma (fma 0.04481 x 0.99229) x 1.0)) (sqrt (fma (fma 0.04481 x 0.99229) x 1.0)) 1 (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)) (sqrt (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)) (sqrt (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)) 1 2 1 (* (sqrt (fma (fma 0.04481 x 0.99229) x 1.0)) (* (cbrt (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))) (cbrt (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))))) (* (fabs (cbrt (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)) (sqrt (sqrt (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)) (sqrt (sqrt (fma (fma 0.04481 x 0.99229) x 1.0)))) (sqrt (fma (fma 0.04481 x 0.99229) x 1.0)) (* (cbrt (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))) (sqrt (fma (fma 0.04481 x 0.99229) x 1.0))) (* (sqrt (cbrt (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)) (sqrt (sqrt (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 (sqrt (fma (fma 0.04481 x 0.99229) x 1.0)))) (fma (fma 0.04481 x 0.99229) x 1.0) (+ 2.30753 (* x (- (* 1.900161040244073 x) 2.0191289436999997))) (fma 6.039053782637804 (/ 1 x) (* (/ (/ 1 x) x) (- (/ 1686.279566230464 x) 82.23527511657369))) (fma 6.039053782637804 (/ 1 x) (* (/ (/ 1 x) x) (- (/ 1686.279566230464 x) 82.23527511657369))) (+ (/ 0.496145 (/ (sqrt 1.0) x)) (+ (* (/ x (/ (sqrt 1.0) x)) (- 0.022405 (/ 0.1230799305125 1.0))) (sqrt 1.0))) (- (+ (fma (sqrt 0.04481) x (/ 0.496145 (sqrt 0.04481))) (/ (/ 0.5 (sqrt 0.04481)) x)) (/ (/ 0.1230799305125 x) (* 0.04481 (sqrt 0.04481)))) (- (- (/ (/ 0.1230799305125 x) (* 0.04481 (sqrt 0.04481))) (/ (/ 0.5 (sqrt 0.04481)) x)) (fma (sqrt 0.04481) x (/ 0.496145 (sqrt 0.04481)))) (+ (/ 0.496145 (/ (sqrt 1.0) x)) (+ (* (/ x (/ (sqrt 1.0) x)) (- 0.022405 (/ 0.1230799305125 1.0))) (sqrt 1.0))) (- (+ (fma (sqrt 0.04481) x (/ 0.496145 (sqrt 0.04481))) (/ (/ 0.5 (sqrt 0.04481)) x)) (/ (/ 0.1230799305125 x) (* 0.04481 (sqrt 0.04481)))) (- (- (/ (/ 0.1230799305125 x) (* 0.04481 (sqrt 0.04481))) (/ (/ 0.5 (sqrt 0.04481)) x)) (fma (sqrt 0.04481) x (/ 0.496145 (sqrt 0.04481)))) (+ (* x (fma 0.04481 x 0.99229)) 1.0) (+ (* x (fma 0.04481 x 0.99229)) 1.0) (+ (* x (fma 0.04481 x 0.99229)) 1.0) 6.727 * * * [progress]: adding candidates to table 7.203 * [progress]: [Phase 3 of 3] Extracting. 7.203 * * [regime]: Finding splitpoints for: (# #) 7.204 * * * [regime-changes]: Trying 1 branch expressions: (x) 7.204 * * * * [regimes]: Trying to branch on x from (# #) 7.232 * * * [regime]: Found split indices: #