3.965 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.015 * * * [progress]: [2/2] Setting up program. 0.017 * [progress]: [Phase 2 of 3] Improving. 0.017 * [simplify]: Simplifying: (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) 0.018 * [simplify]: Sending expressions to egg_math: (- h0 (/ (+ h1 (* h0 h2)) (+ h3 (* (+ h4 (* h0 h5)) h0)))) 0.020 * * [simplify]: iteration 0 : 22 enodes (cost 8 ) 0.021 * * [simplify]: iteration 1 : 39 enodes (cost 6 ) 0.023 * * [simplify]: iteration 2 : 66 enodes (cost 6 ) 0.024 * * [simplify]: iteration 3 : 98 enodes (cost 6 ) 0.026 * * [simplify]: iteration 4 : 108 enodes (cost 6 ) 0.028 * * [simplify]: iteration 5 : 130 enodes (cost 6 ) 0.030 * * [simplify]: iteration 6 : 158 enodes (cost 6 ) 0.032 * * [simplify]: iteration 7 : 211 enodes (cost 6 ) 0.035 * * [simplify]: iteration 8 : 277 enodes (cost 6 ) 0.039 * * [simplify]: iteration 9 : 512 enodes (cost 6 ) 0.044 * * [simplify]: iteration 10 : 881 enodes (cost 6 ) 0.049 * * [simplify]: iteration 11 : 1338 enodes (cost 6 ) 0.062 * * [simplify]: iteration 12 : 2728 enodes (cost 6 ) 0.101 * * [simplify]: iteration 13 : 5001 enodes (cost 6 ) 0.104 * * [progress]: iteration 1 / 4 0.104 * * * [progress]: picking best candidate 0.106 * * * * [pick]: Picked # 0.106 * * * [progress]: localizing error 0.115 * * * [progress]: generating rewritten candidates 0.115 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 0.124 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 2) 0.126 * * * [progress]: generating series expansions 0.126 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 0.126 * [backup-simplify]: Simplify (/ (- (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0)) into (* -1 (/ (fma 0.27061 x 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) 0.126 * [approximate]: Taking taylor expansion of (* -1 (/ (fma 0.27061 x 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) in (x) around 0 0.126 * [taylor]: Taking taylor expansion of (* -1 (/ (fma 0.27061 x 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) in x 0.126 * [taylor]: Taking taylor expansion of -1 in x 0.126 * [backup-simplify]: Simplify -1 into -1 0.126 * [taylor]: Taking taylor expansion of (/ (fma 0.27061 x 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) in x 0.126 * [taylor]: Taking taylor expansion of (fma 0.27061 x 2.30753) in x 0.127 * [taylor]: Rewrote expression to (+ (* 0.27061 x) 2.30753) 0.127 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x 0.127 * [taylor]: Taking taylor expansion of 0.27061 in x 0.127 * [backup-simplify]: Simplify 0.27061 into 0.27061 0.127 * [taylor]: Taking taylor expansion of x in x 0.127 * [backup-simplify]: Simplify 0 into 0 0.127 * [backup-simplify]: Simplify 1 into 1 0.127 * [taylor]: Taking taylor expansion of 2.30753 in x 0.127 * [backup-simplify]: Simplify 2.30753 into 2.30753 0.127 * [taylor]: Taking taylor expansion of (fma x (fma 0.04481 x 0.99229) 1.0) in x 0.127 * [taylor]: Rewrote expression to (+ (* x (fma 0.04481 x 0.99229)) 1.0) 0.127 * [taylor]: Taking taylor expansion of (* x (fma 0.04481 x 0.99229)) in x 0.127 * [taylor]: Taking taylor expansion of x in x 0.127 * [backup-simplify]: Simplify 0 into 0 0.127 * [backup-simplify]: Simplify 1 into 1 0.127 * [taylor]: Taking taylor expansion of (fma 0.04481 x 0.99229) in x 0.127 * [taylor]: Rewrote expression to (+ (* 0.04481 x) 0.99229) 0.127 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x 0.127 * [taylor]: Taking taylor expansion of 0.04481 in x 0.127 * [backup-simplify]: Simplify 0.04481 into 0.04481 0.127 * [taylor]: Taking taylor expansion of x in x 0.127 * [backup-simplify]: Simplify 0 into 0 0.127 * [backup-simplify]: Simplify 1 into 1 0.127 * [taylor]: Taking taylor expansion of 0.99229 in x 0.127 * [backup-simplify]: Simplify 0.99229 into 0.99229 0.127 * [taylor]: Taking taylor expansion of 1.0 in x 0.127 * [backup-simplify]: Simplify 1.0 into 1.0 0.128 * [backup-simplify]: Simplify (* 0.27061 0) into 0 0.128 * [backup-simplify]: Simplify (+ 0 2.30753) into 2.30753 0.128 * [backup-simplify]: Simplify (* 0.04481 0) into 0 0.128 * [backup-simplify]: Simplify (+ 0 0.99229) into 0.99229 0.129 * [backup-simplify]: Simplify (* 0 0.99229) into 0 0.129 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.129 * [backup-simplify]: Simplify (/ 2.30753 1.0) into 2.30753 0.129 * [taylor]: Taking taylor expansion of (* -1 (/ (fma 0.27061 x 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) in x 0.129 * [taylor]: Taking taylor expansion of -1 in x 0.129 * [backup-simplify]: Simplify -1 into -1 0.129 * [taylor]: Taking taylor expansion of (/ (fma 0.27061 x 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) in x 0.129 * [taylor]: Taking taylor expansion of (fma 0.27061 x 2.30753) in x 0.129 * [taylor]: Rewrote expression to (+ (* 0.27061 x) 2.30753) 0.129 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x 0.129 * [taylor]: Taking taylor expansion of 0.27061 in x 0.129 * [backup-simplify]: Simplify 0.27061 into 0.27061 0.129 * [taylor]: Taking taylor expansion of x in x 0.129 * [backup-simplify]: Simplify 0 into 0 0.129 * [backup-simplify]: Simplify 1 into 1 0.129 * [taylor]: Taking taylor expansion of 2.30753 in x 0.129 * [backup-simplify]: Simplify 2.30753 into 2.30753 0.129 * [taylor]: Taking taylor expansion of (fma x (fma 0.04481 x 0.99229) 1.0) in x 0.130 * [taylor]: Rewrote expression to (+ (* x (fma 0.04481 x 0.99229)) 1.0) 0.130 * [taylor]: Taking taylor expansion of (* x (fma 0.04481 x 0.99229)) in x 0.130 * [taylor]: Taking taylor expansion of x in x 0.130 * [backup-simplify]: Simplify 0 into 0 0.130 * [backup-simplify]: Simplify 1 into 1 0.130 * [taylor]: Taking taylor expansion of (fma 0.04481 x 0.99229) in x 0.130 * [taylor]: Rewrote expression to (+ (* 0.04481 x) 0.99229) 0.130 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x 0.130 * [taylor]: Taking taylor expansion of 0.04481 in x 0.130 * [backup-simplify]: Simplify 0.04481 into 0.04481 0.130 * [taylor]: Taking taylor expansion of x in x 0.130 * [backup-simplify]: Simplify 0 into 0 0.130 * [backup-simplify]: Simplify 1 into 1 0.130 * [taylor]: Taking taylor expansion of 0.99229 in x 0.130 * [backup-simplify]: Simplify 0.99229 into 0.99229 0.130 * [taylor]: Taking taylor expansion of 1.0 in x 0.130 * [backup-simplify]: Simplify 1.0 into 1.0 0.130 * [backup-simplify]: Simplify (* 0.27061 0) into 0 0.130 * [backup-simplify]: Simplify (+ 0 2.30753) into 2.30753 0.131 * [backup-simplify]: Simplify (* 0.04481 0) into 0 0.131 * [backup-simplify]: Simplify (+ 0 0.99229) into 0.99229 0.131 * [backup-simplify]: Simplify (* 0 0.99229) into 0 0.131 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.132 * [backup-simplify]: Simplify (/ 2.30753 1.0) into 2.30753 0.132 * [backup-simplify]: Simplify (* -1 2.30753) into -2.30753 0.132 * [backup-simplify]: Simplify -2.30753 into -2.30753 0.133 * [backup-simplify]: Simplify (+ (* 0.27061 1) (* 0 0)) into 0.27061 0.133 * [backup-simplify]: Simplify (+ 0.27061 0) into 0.27061 0.134 * [backup-simplify]: Simplify (+ (* 0.04481 1) (* 0 0)) into 0.04481 0.134 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 0.135 * [backup-simplify]: Simplify (+ (* 0 0.04481) (* 1 0.99229)) into 0.99229 0.135 * [backup-simplify]: Simplify (+ 0.99229 0) into 0.99229 0.137 * [backup-simplify]: Simplify (- (/ 0.27061 1.0) (+ (* 2.30753 (/ 0.99229 1.0)))) into (- 2.0191289436999997) 0.138 * [backup-simplify]: Simplify (+ (* -1 (- 2.0191289436999997)) (* 0 2.30753)) into 2.0191289436999997 0.138 * [backup-simplify]: Simplify 2.0191289436999997 into 2.0191289436999997 0.138 * [backup-simplify]: Simplify (+ (* 0.27061 0) (+ (* 0 1) (* 0 0))) into 0 0.139 * [backup-simplify]: Simplify (+ 0 0) into 0 0.139 * [backup-simplify]: Simplify (+ (* 0.04481 0) (+ (* 0 1) (* 0 0))) into 0 0.139 * [backup-simplify]: Simplify (+ 0 0) into 0 0.141 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0.04481) (* 0 0.99229))) into 0.04481 0.141 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 0.144 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 2.30753 (/ 0.04481 1.0)) (* (- 2.0191289436999997) (/ 0.99229 1.0)))) into 1.900161040244073 0.145 * [backup-simplify]: Simplify (+ (* -1 1.900161040244073) (+ (* 0 (- 2.0191289436999997)) (* 0 2.30753))) into (- 1.900161040244073) 0.146 * [backup-simplify]: Simplify (- 1.900161040244073) into (- 1.900161040244073) 0.146 * [backup-simplify]: Simplify (+ (* (- 1.900161040244073) (pow x 2)) (+ (* 2.0191289436999997 x) -2.30753)) into (- (* 2.0191289436999997 x) (+ (* 1.900161040244073 (pow x 2)) 2.30753)) 0.146 * [backup-simplify]: Simplify (/ (- (fma 0.27061 (/ 1 x) 2.30753)) (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0)) into (* -1 (/ (fma 0.27061 (/ 1 x) 2.30753) (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0))) 0.146 * [approximate]: Taking taylor expansion of (* -1 (/ (fma 0.27061 (/ 1 x) 2.30753) (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0))) in (x) around 0 0.146 * [taylor]: Taking taylor expansion of (* -1 (/ (fma 0.27061 (/ 1 x) 2.30753) (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0))) in x 0.146 * [taylor]: Taking taylor expansion of -1 in x 0.146 * [backup-simplify]: Simplify -1 into -1 0.146 * [taylor]: Taking taylor expansion of (/ (fma 0.27061 (/ 1 x) 2.30753) (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0)) in x 0.146 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ 1 x) 2.30753) in x 0.147 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ 1 x)) 2.30753) 0.147 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 0.147 * [taylor]: Taking taylor expansion of 0.27061 in x 0.147 * [backup-simplify]: Simplify 0.27061 into 0.27061 0.147 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.147 * [taylor]: Taking taylor expansion of x in x 0.147 * [backup-simplify]: Simplify 0 into 0 0.147 * [backup-simplify]: Simplify 1 into 1 0.147 * [backup-simplify]: Simplify (/ 1 1) into 1 0.147 * [taylor]: Taking taylor expansion of 2.30753 in x 0.147 * [backup-simplify]: Simplify 2.30753 into 2.30753 0.147 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0) in x 0.147 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) 1.0) 0.147 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) in x 0.147 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.147 * [taylor]: Taking taylor expansion of x in x 0.147 * [backup-simplify]: Simplify 0 into 0 0.147 * [backup-simplify]: Simplify 1 into 1 0.147 * [backup-simplify]: Simplify (/ 1 1) into 1 0.147 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ 1 x) 0.99229) in x 0.147 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ 1 x)) 0.99229) 0.148 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 0.148 * [taylor]: Taking taylor expansion of 0.04481 in x 0.148 * [backup-simplify]: Simplify 0.04481 into 0.04481 0.148 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.148 * [taylor]: Taking taylor expansion of x in x 0.148 * [backup-simplify]: Simplify 0 into 0 0.148 * [backup-simplify]: Simplify 1 into 1 0.148 * [backup-simplify]: Simplify (/ 1 1) into 1 0.148 * [taylor]: Taking taylor expansion of 0.99229 in x 0.148 * [backup-simplify]: Simplify 0.99229 into 0.99229 0.148 * [taylor]: Taking taylor expansion of 1.0 in x 0.148 * [backup-simplify]: Simplify 1.0 into 1.0 0.148 * [backup-simplify]: Simplify (* 0.27061 1) into 0.27061 0.148 * [backup-simplify]: Simplify (+ 0.27061 0) into 0.27061 0.149 * [backup-simplify]: Simplify (* 0.04481 1) into 0.04481 0.149 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 0.149 * [backup-simplify]: Simplify (* 1 0.04481) into 0.04481 0.149 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 0.150 * [backup-simplify]: Simplify (/ 0.27061 0.04481) into 6.039053782637804 0.150 * [taylor]: Taking taylor expansion of (* -1 (/ (fma 0.27061 (/ 1 x) 2.30753) (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0))) in x 0.150 * [taylor]: Taking taylor expansion of -1 in x 0.150 * [backup-simplify]: Simplify -1 into -1 0.150 * [taylor]: Taking taylor expansion of (/ (fma 0.27061 (/ 1 x) 2.30753) (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0)) in x 0.150 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ 1 x) 2.30753) in x 0.150 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ 1 x)) 2.30753) 0.150 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 0.150 * [taylor]: Taking taylor expansion of 0.27061 in x 0.150 * [backup-simplify]: Simplify 0.27061 into 0.27061 0.150 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.150 * [taylor]: Taking taylor expansion of x in x 0.150 * [backup-simplify]: Simplify 0 into 0 0.150 * [backup-simplify]: Simplify 1 into 1 0.150 * [backup-simplify]: Simplify (/ 1 1) into 1 0.150 * [taylor]: Taking taylor expansion of 2.30753 in x 0.150 * [backup-simplify]: Simplify 2.30753 into 2.30753 0.150 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0) in x 0.150 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) 1.0) 0.150 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) in x 0.150 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.150 * [taylor]: Taking taylor expansion of x in x 0.150 * [backup-simplify]: Simplify 0 into 0 0.150 * [backup-simplify]: Simplify 1 into 1 0.151 * [backup-simplify]: Simplify (/ 1 1) into 1 0.151 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ 1 x) 0.99229) in x 0.151 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ 1 x)) 0.99229) 0.151 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 0.151 * [taylor]: Taking taylor expansion of 0.04481 in x 0.151 * [backup-simplify]: Simplify 0.04481 into 0.04481 0.151 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.151 * [taylor]: Taking taylor expansion of x in x 0.151 * [backup-simplify]: Simplify 0 into 0 0.151 * [backup-simplify]: Simplify 1 into 1 0.151 * [backup-simplify]: Simplify (/ 1 1) into 1 0.151 * [taylor]: Taking taylor expansion of 0.99229 in x 0.151 * [backup-simplify]: Simplify 0.99229 into 0.99229 0.151 * [taylor]: Taking taylor expansion of 1.0 in x 0.151 * [backup-simplify]: Simplify 1.0 into 1.0 0.152 * [backup-simplify]: Simplify (* 0.27061 1) into 0.27061 0.152 * [backup-simplify]: Simplify (+ 0.27061 0) into 0.27061 0.152 * [backup-simplify]: Simplify (* 0.04481 1) into 0.04481 0.152 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 0.153 * [backup-simplify]: Simplify (* 1 0.04481) into 0.04481 0.153 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 0.153 * [backup-simplify]: Simplify (/ 0.27061 0.04481) into 6.039053782637804 0.154 * [backup-simplify]: Simplify (* -1 6.039053782637804) into -6.039053782637804 0.154 * [backup-simplify]: Simplify -6.039053782637804 into -6.039053782637804 0.154 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.154 * [backup-simplify]: Simplify (+ (* 0.27061 0) (* 0 1)) into 0 0.155 * [backup-simplify]: Simplify (+ 0 2.30753) into 2.30753 0.155 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.155 * [backup-simplify]: Simplify (+ (* 0.04481 0) (* 0 1)) into 0 0.156 * [backup-simplify]: Simplify (+ 0 0.99229) into 0.99229 0.156 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.157 * [backup-simplify]: Simplify (+ (* 1 0.99229) (* 0 0.04481)) into 0.99229 0.157 * [backup-simplify]: Simplify (+ 0.99229 0) into 0.99229 0.163 * [backup-simplify]: Simplify (- (/ 2.30753 0.04481) (+ (* 6.039053782637804 (/ 0.99229 0.04481)))) into (- 82.23527511657369) 0.164 * [backup-simplify]: Simplify (+ (* -1 (- 82.23527511657369)) (* 0 6.039053782637804)) into 82.23527511657369 0.164 * [backup-simplify]: Simplify 82.23527511657369 into 82.23527511657369 0.165 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.166 * [backup-simplify]: Simplify (+ (* 0.27061 0) (+ (* 0 0) (* 0 1))) into 0 0.166 * [backup-simplify]: Simplify (+ 0 0) into 0 0.166 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.167 * [backup-simplify]: Simplify (+ (* 0.04481 0) (+ (* 0 0) (* 0 1))) into 0 0.167 * [backup-simplify]: Simplify (+ 0 0) into 0 0.167 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.168 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0.99229) (* 0 0.04481))) into 0 0.168 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.171 * [backup-simplify]: Simplify (- (/ 0 0.04481) (+ (* 6.039053782637804 (/ 1.0 0.04481)) (* (- 82.23527511657369) (/ 0.99229 0.04481)))) into 1686.279566230464 0.173 * [backup-simplify]: Simplify (+ (* -1 1686.279566230464) (+ (* 0 (- 82.23527511657369)) (* 0 6.039053782637804))) into (- 1686.279566230464) 0.173 * [backup-simplify]: Simplify (- 1686.279566230464) into (- 1686.279566230464) 0.174 * [backup-simplify]: Simplify (+ (* (- 1686.279566230464) (pow (/ 1 x) 3)) (+ (* 82.23527511657369 (pow (/ 1 x) 2)) (* -6.039053782637804 (/ 1 x)))) into (- (* 82.23527511657369 (/ 1 (pow x 2))) (+ (* 6.039053782637804 (/ 1 x)) (* 1686.279566230464 (/ 1 (pow x 3))))) 0.174 * [backup-simplify]: Simplify (/ (- (fma 0.27061 (/ 1 (- x)) 2.30753)) (fma (/ 1 (- x)) (fma 0.04481 (/ 1 (- x)) 0.99229) 1.0)) into (* -1 (/ (fma 0.27061 (/ -1 x) 2.30753) (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0))) 0.174 * [approximate]: Taking taylor expansion of (* -1 (/ (fma 0.27061 (/ -1 x) 2.30753) (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0))) in (x) around 0 0.174 * [taylor]: Taking taylor expansion of (* -1 (/ (fma 0.27061 (/ -1 x) 2.30753) (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0))) in x 0.174 * [taylor]: Taking taylor expansion of -1 in x 0.174 * [backup-simplify]: Simplify -1 into -1 0.174 * [taylor]: Taking taylor expansion of (/ (fma 0.27061 (/ -1 x) 2.30753) (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0)) in x 0.174 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ -1 x) 2.30753) in x 0.174 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ -1 x)) 2.30753) 0.174 * [taylor]: Taking taylor expansion of (* 0.27061 (/ -1 x)) in x 0.174 * [taylor]: Taking taylor expansion of 0.27061 in x 0.174 * [backup-simplify]: Simplify 0.27061 into 0.27061 0.174 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.174 * [taylor]: Taking taylor expansion of -1 in x 0.174 * [backup-simplify]: Simplify -1 into -1 0.174 * [taylor]: Taking taylor expansion of x in x 0.174 * [backup-simplify]: Simplify 0 into 0 0.174 * [backup-simplify]: Simplify 1 into 1 0.174 * [backup-simplify]: Simplify (/ -1 1) into -1 0.174 * [taylor]: Taking taylor expansion of 2.30753 in x 0.174 * [backup-simplify]: Simplify 2.30753 into 2.30753 0.174 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0) in x 0.175 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) 1.0) 0.175 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) in x 0.175 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.175 * [taylor]: Taking taylor expansion of -1 in x 0.175 * [backup-simplify]: Simplify -1 into -1 0.175 * [taylor]: Taking taylor expansion of x in x 0.175 * [backup-simplify]: Simplify 0 into 0 0.175 * [backup-simplify]: Simplify 1 into 1 0.175 * [backup-simplify]: Simplify (/ -1 1) into -1 0.175 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ -1 x) 0.99229) in x 0.175 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ -1 x)) 0.99229) 0.175 * [taylor]: Taking taylor expansion of (* 0.04481 (/ -1 x)) in x 0.175 * [taylor]: Taking taylor expansion of 0.04481 in x 0.175 * [backup-simplify]: Simplify 0.04481 into 0.04481 0.175 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.175 * [taylor]: Taking taylor expansion of -1 in x 0.175 * [backup-simplify]: Simplify -1 into -1 0.175 * [taylor]: Taking taylor expansion of x in x 0.175 * [backup-simplify]: Simplify 0 into 0 0.175 * [backup-simplify]: Simplify 1 into 1 0.175 * [backup-simplify]: Simplify (/ -1 1) into -1 0.175 * [taylor]: Taking taylor expansion of 0.99229 in x 0.175 * [backup-simplify]: Simplify 0.99229 into 0.99229 0.175 * [taylor]: Taking taylor expansion of 1.0 in x 0.175 * [backup-simplify]: Simplify 1.0 into 1.0 0.176 * [backup-simplify]: Simplify (* 0.27061 -1) into -0.27061 0.176 * [backup-simplify]: Simplify (+ -0.27061 0) into (- 0.27061) 0.176 * [backup-simplify]: Simplify (* 0.04481 -1) into -0.04481 0.177 * [backup-simplify]: Simplify (+ -0.04481 0) into (- 0.04481) 0.177 * [backup-simplify]: Simplify (* -1 (- 0.04481)) into 0.04481 0.177 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 0.178 * [backup-simplify]: Simplify (/ (- 0.27061) 0.04481) into -6.039053782637804 0.178 * [taylor]: Taking taylor expansion of (* -1 (/ (fma 0.27061 (/ -1 x) 2.30753) (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0))) in x 0.178 * [taylor]: Taking taylor expansion of -1 in x 0.178 * [backup-simplify]: Simplify -1 into -1 0.178 * [taylor]: Taking taylor expansion of (/ (fma 0.27061 (/ -1 x) 2.30753) (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0)) in x 0.178 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ -1 x) 2.30753) in x 0.178 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ -1 x)) 2.30753) 0.178 * [taylor]: Taking taylor expansion of (* 0.27061 (/ -1 x)) in x 0.178 * [taylor]: Taking taylor expansion of 0.27061 in x 0.178 * [backup-simplify]: Simplify 0.27061 into 0.27061 0.178 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.178 * [taylor]: Taking taylor expansion of -1 in x 0.178 * [backup-simplify]: Simplify -1 into -1 0.178 * [taylor]: Taking taylor expansion of x in x 0.178 * [backup-simplify]: Simplify 0 into 0 0.178 * [backup-simplify]: Simplify 1 into 1 0.179 * [backup-simplify]: Simplify (/ -1 1) into -1 0.179 * [taylor]: Taking taylor expansion of 2.30753 in x 0.179 * [backup-simplify]: Simplify 2.30753 into 2.30753 0.179 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0) in x 0.179 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) 1.0) 0.179 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) in x 0.179 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.179 * [taylor]: Taking taylor expansion of -1 in x 0.179 * [backup-simplify]: Simplify -1 into -1 0.179 * [taylor]: Taking taylor expansion of x in x 0.179 * [backup-simplify]: Simplify 0 into 0 0.179 * [backup-simplify]: Simplify 1 into 1 0.179 * [backup-simplify]: Simplify (/ -1 1) into -1 0.179 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ -1 x) 0.99229) in x 0.179 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ -1 x)) 0.99229) 0.179 * [taylor]: Taking taylor expansion of (* 0.04481 (/ -1 x)) in x 0.179 * [taylor]: Taking taylor expansion of 0.04481 in x 0.179 * [backup-simplify]: Simplify 0.04481 into 0.04481 0.179 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.179 * [taylor]: Taking taylor expansion of -1 in x 0.179 * [backup-simplify]: Simplify -1 into -1 0.179 * [taylor]: Taking taylor expansion of x in x 0.179 * [backup-simplify]: Simplify 0 into 0 0.180 * [backup-simplify]: Simplify 1 into 1 0.180 * [backup-simplify]: Simplify (/ -1 1) into -1 0.180 * [taylor]: Taking taylor expansion of 0.99229 in x 0.180 * [backup-simplify]: Simplify 0.99229 into 0.99229 0.180 * [taylor]: Taking taylor expansion of 1.0 in x 0.180 * [backup-simplify]: Simplify 1.0 into 1.0 0.180 * [backup-simplify]: Simplify (* 0.27061 -1) into -0.27061 0.180 * [backup-simplify]: Simplify (+ -0.27061 0) into (- 0.27061) 0.181 * [backup-simplify]: Simplify (* 0.04481 -1) into -0.04481 0.181 * [backup-simplify]: Simplify (+ -0.04481 0) into (- 0.04481) 0.181 * [backup-simplify]: Simplify (* -1 (- 0.04481)) into 0.04481 0.182 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 0.182 * [backup-simplify]: Simplify (/ (- 0.27061) 0.04481) into -6.039053782637804 0.182 * [backup-simplify]: Simplify (* -1 -6.039053782637804) into 6.039053782637804 0.182 * [backup-simplify]: Simplify 6.039053782637804 into 6.039053782637804 0.183 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 0.183 * [backup-simplify]: Simplify (+ (* 0.27061 0) (* 0 -1)) into 0 0.183 * [backup-simplify]: Simplify (+ 0 2.30753) into 2.30753 0.184 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 0.184 * [backup-simplify]: Simplify (+ (* 0.04481 0) (* 0 -1)) into 0 0.185 * [backup-simplify]: Simplify (+ 0 0.99229) into 0.99229 0.185 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 0.186 * [backup-simplify]: Simplify (+ (* -1 0.99229) (* 0 (- 0.04481))) into (- 0.99229) 0.186 * [backup-simplify]: Simplify (+ (- 0.99229) 0) into (- 0.99229) 0.188 * [backup-simplify]: Simplify (- (/ 2.30753 0.04481) (+ (* -6.039053782637804 (/ (- 0.99229) 0.04481)))) into (- 82.23527511657369) 0.190 * [backup-simplify]: Simplify (+ (* -1 (- 82.23527511657369)) (* 0 -6.039053782637804)) into 82.23527511657369 0.190 * [backup-simplify]: Simplify 82.23527511657369 into 82.23527511657369 0.190 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.191 * [backup-simplify]: Simplify (+ (* 0.27061 0) (+ (* 0 0) (* 0 -1))) into 0 0.191 * [backup-simplify]: Simplify (+ 0 0) into 0 0.191 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.192 * [backup-simplify]: Simplify (+ (* 0.04481 0) (+ (* 0 0) (* 0 -1))) into 0 0.192 * [backup-simplify]: Simplify (+ 0 0) into 0 0.193 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.193 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0.99229) (* 0 (- 0.04481)))) into 0 0.193 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.197 * [backup-simplify]: Simplify (- (/ 0 0.04481) (+ (* -6.039053782637804 (/ 1.0 0.04481)) (* (- 82.23527511657369) (/ (- 0.99229) 0.04481)))) into (- 1686.279566230464) 0.199 * [backup-simplify]: Simplify (+ (* -1 (- 1686.279566230464)) (+ (* 0 (- 82.23527511657369)) (* 0 -6.039053782637804))) into 1686.279566230464 0.199 * [backup-simplify]: Simplify 1686.279566230464 into 1686.279566230464 0.199 * [backup-simplify]: Simplify (+ (* 1686.279566230464 (pow (/ 1 (- x)) 3)) (+ (* 82.23527511657369 (pow (/ 1 (- x)) 2)) (* 6.039053782637804 (/ 1 (- x))))) into (- (* 82.23527511657369 (/ 1 (pow x 2))) (+ (* 6.039053782637804 (/ 1 x)) (* 1686.279566230464 (/ 1 (pow x 3))))) 0.199 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 2) 0.199 * [backup-simplify]: Simplify (fma x (fma 0.04481 x 0.99229) 1.0) into (fma x (fma 0.04481 x 0.99229) 1.0) 0.199 * [approximate]: Taking taylor expansion of (fma x (fma 0.04481 x 0.99229) 1.0) in (x) around 0 0.199 * [taylor]: Taking taylor expansion of (fma x (fma 0.04481 x 0.99229) 1.0) in x 0.199 * [taylor]: Rewrote expression to (+ (* x (fma 0.04481 x 0.99229)) 1.0) 0.199 * [taylor]: Taking taylor expansion of (* x (fma 0.04481 x 0.99229)) in x 0.199 * [taylor]: Taking taylor expansion of x in x 0.199 * [backup-simplify]: Simplify 0 into 0 0.199 * [backup-simplify]: Simplify 1 into 1 0.199 * [taylor]: Taking taylor expansion of (fma 0.04481 x 0.99229) in x 0.199 * [taylor]: Rewrote expression to (+ (* 0.04481 x) 0.99229) 0.199 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x 0.199 * [taylor]: Taking taylor expansion of 0.04481 in x 0.199 * [backup-simplify]: Simplify 0.04481 into 0.04481 0.199 * [taylor]: Taking taylor expansion of x in x 0.199 * [backup-simplify]: Simplify 0 into 0 0.200 * [backup-simplify]: Simplify 1 into 1 0.200 * [taylor]: Taking taylor expansion of 0.99229 in x 0.200 * [backup-simplify]: Simplify 0.99229 into 0.99229 0.200 * [taylor]: Taking taylor expansion of 1.0 in x 0.200 * [backup-simplify]: Simplify 1.0 into 1.0 0.200 * [taylor]: Taking taylor expansion of (fma x (fma 0.04481 x 0.99229) 1.0) in x 0.200 * [taylor]: Rewrote expression to (+ (* x (fma 0.04481 x 0.99229)) 1.0) 0.200 * [taylor]: Taking taylor expansion of (* x (fma 0.04481 x 0.99229)) in x 0.200 * [taylor]: Taking taylor expansion of x in x 0.200 * [backup-simplify]: Simplify 0 into 0 0.200 * [backup-simplify]: Simplify 1 into 1 0.200 * [taylor]: Taking taylor expansion of (fma 0.04481 x 0.99229) in x 0.200 * [taylor]: Rewrote expression to (+ (* 0.04481 x) 0.99229) 0.200 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x 0.200 * [taylor]: Taking taylor expansion of 0.04481 in x 0.200 * [backup-simplify]: Simplify 0.04481 into 0.04481 0.200 * [taylor]: Taking taylor expansion of x in x 0.200 * [backup-simplify]: Simplify 0 into 0 0.200 * [backup-simplify]: Simplify 1 into 1 0.200 * [taylor]: Taking taylor expansion of 0.99229 in x 0.200 * [backup-simplify]: Simplify 0.99229 into 0.99229 0.200 * [taylor]: Taking taylor expansion of 1.0 in x 0.200 * [backup-simplify]: Simplify 1.0 into 1.0 0.200 * [backup-simplify]: Simplify (* 0.04481 0) into 0 0.201 * [backup-simplify]: Simplify (+ 0 0.99229) into 0.99229 0.201 * [backup-simplify]: Simplify (* 0 0.99229) into 0 0.201 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.201 * [backup-simplify]: Simplify 1.0 into 1.0 0.202 * [backup-simplify]: Simplify (+ (* 0.04481 1) (* 0 0)) into 0.04481 0.202 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 0.203 * [backup-simplify]: Simplify (+ (* 0 0.04481) (* 1 0.99229)) into 0.99229 0.203 * [backup-simplify]: Simplify (+ 0.99229 0) into 0.99229 0.203 * [backup-simplify]: Simplify 0.99229 into 0.99229 0.204 * [backup-simplify]: Simplify (+ (* 0.04481 0) (+ (* 0 1) (* 0 0))) into 0 0.204 * [backup-simplify]: Simplify (+ 0 0) into 0 0.206 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0.04481) (* 0 0.99229))) into 0.04481 0.206 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 0.206 * [backup-simplify]: Simplify 0.04481 into 0.04481 0.206 * [backup-simplify]: Simplify (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) into (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) 0.206 * [backup-simplify]: Simplify (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0) into (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0) 0.206 * [approximate]: Taking taylor expansion of (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0) in (x) around 0 0.206 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0) in x 0.206 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) 1.0) 0.207 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) in x 0.207 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.207 * [taylor]: Taking taylor expansion of x in x 0.207 * [backup-simplify]: Simplify 0 into 0 0.207 * [backup-simplify]: Simplify 1 into 1 0.207 * [backup-simplify]: Simplify (/ 1 1) into 1 0.207 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ 1 x) 0.99229) in x 0.207 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ 1 x)) 0.99229) 0.207 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 0.207 * [taylor]: Taking taylor expansion of 0.04481 in x 0.207 * [backup-simplify]: Simplify 0.04481 into 0.04481 0.207 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.207 * [taylor]: Taking taylor expansion of x in x 0.207 * [backup-simplify]: Simplify 0 into 0 0.207 * [backup-simplify]: Simplify 1 into 1 0.207 * [backup-simplify]: Simplify (/ 1 1) into 1 0.207 * [taylor]: Taking taylor expansion of 0.99229 in x 0.207 * [backup-simplify]: Simplify 0.99229 into 0.99229 0.207 * [taylor]: Taking taylor expansion of 1.0 in x 0.207 * [backup-simplify]: Simplify 1.0 into 1.0 0.207 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0) in x 0.207 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) 1.0) 0.207 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) in x 0.208 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.208 * [taylor]: Taking taylor expansion of x in x 0.208 * [backup-simplify]: Simplify 0 into 0 0.208 * [backup-simplify]: Simplify 1 into 1 0.208 * [backup-simplify]: Simplify (/ 1 1) into 1 0.208 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ 1 x) 0.99229) in x 0.208 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ 1 x)) 0.99229) 0.208 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 0.208 * [taylor]: Taking taylor expansion of 0.04481 in x 0.208 * [backup-simplify]: Simplify 0.04481 into 0.04481 0.208 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.208 * [taylor]: Taking taylor expansion of x in x 0.208 * [backup-simplify]: Simplify 0 into 0 0.208 * [backup-simplify]: Simplify 1 into 1 0.208 * [backup-simplify]: Simplify (/ 1 1) into 1 0.208 * [taylor]: Taking taylor expansion of 0.99229 in x 0.208 * [backup-simplify]: Simplify 0.99229 into 0.99229 0.208 * [taylor]: Taking taylor expansion of 1.0 in x 0.208 * [backup-simplify]: Simplify 1.0 into 1.0 0.209 * [backup-simplify]: Simplify (* 0.04481 1) into 0.04481 0.209 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 0.209 * [backup-simplify]: Simplify (* 1 0.04481) into 0.04481 0.209 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 0.209 * [backup-simplify]: Simplify 0.04481 into 0.04481 0.210 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.210 * [backup-simplify]: Simplify (+ (* 0.04481 0) (* 0 1)) into 0 0.210 * [backup-simplify]: Simplify (+ 0 0.99229) into 0.99229 0.211 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.212 * [backup-simplify]: Simplify (+ (* 1 0.99229) (* 0 0.04481)) into 0.99229 0.212 * [backup-simplify]: Simplify (+ 0.99229 0) into 0.99229 0.212 * [backup-simplify]: Simplify 0.99229 into 0.99229 0.212 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.213 * [backup-simplify]: Simplify (+ (* 0.04481 0) (+ (* 0 0) (* 0 1))) into 0 0.213 * [backup-simplify]: Simplify (+ 0 0) into 0 0.214 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.214 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0.99229) (* 0 0.04481))) into 0 0.214 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.214 * [backup-simplify]: Simplify 1.0 into 1.0 0.215 * [backup-simplify]: Simplify (+ 1.0 (+ (* 0.99229 (/ 1 (/ 1 x))) (* 0.04481 (pow (/ 1 (/ 1 x)) 2)))) into (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) 0.215 * [backup-simplify]: Simplify (fma (/ 1 (- x)) (fma 0.04481 (/ 1 (- x)) 0.99229) 1.0) into (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0) 0.215 * [approximate]: Taking taylor expansion of (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0) in (x) around 0 0.215 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0) in x 0.215 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) 1.0) 0.215 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) in x 0.215 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.215 * [taylor]: Taking taylor expansion of -1 in x 0.215 * [backup-simplify]: Simplify -1 into -1 0.215 * [taylor]: Taking taylor expansion of x in x 0.215 * [backup-simplify]: Simplify 0 into 0 0.215 * [backup-simplify]: Simplify 1 into 1 0.215 * [backup-simplify]: Simplify (/ -1 1) into -1 0.215 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ -1 x) 0.99229) in x 0.215 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ -1 x)) 0.99229) 0.215 * [taylor]: Taking taylor expansion of (* 0.04481 (/ -1 x)) in x 0.215 * [taylor]: Taking taylor expansion of 0.04481 in x 0.215 * [backup-simplify]: Simplify 0.04481 into 0.04481 0.216 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.216 * [taylor]: Taking taylor expansion of -1 in x 0.216 * [backup-simplify]: Simplify -1 into -1 0.216 * [taylor]: Taking taylor expansion of x in x 0.216 * [backup-simplify]: Simplify 0 into 0 0.216 * [backup-simplify]: Simplify 1 into 1 0.216 * [backup-simplify]: Simplify (/ -1 1) into -1 0.216 * [taylor]: Taking taylor expansion of 0.99229 in x 0.216 * [backup-simplify]: Simplify 0.99229 into 0.99229 0.216 * [taylor]: Taking taylor expansion of 1.0 in x 0.216 * [backup-simplify]: Simplify 1.0 into 1.0 0.216 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0) in x 0.216 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) 1.0) 0.216 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) in x 0.216 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.216 * [taylor]: Taking taylor expansion of -1 in x 0.216 * [backup-simplify]: Simplify -1 into -1 0.216 * [taylor]: Taking taylor expansion of x in x 0.216 * [backup-simplify]: Simplify 0 into 0 0.216 * [backup-simplify]: Simplify 1 into 1 0.216 * [backup-simplify]: Simplify (/ -1 1) into -1 0.216 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ -1 x) 0.99229) in x 0.216 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ -1 x)) 0.99229) 0.217 * [taylor]: Taking taylor expansion of (* 0.04481 (/ -1 x)) in x 0.217 * [taylor]: Taking taylor expansion of 0.04481 in x 0.217 * [backup-simplify]: Simplify 0.04481 into 0.04481 0.217 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.217 * [taylor]: Taking taylor expansion of -1 in x 0.217 * [backup-simplify]: Simplify -1 into -1 0.217 * [taylor]: Taking taylor expansion of x in x 0.217 * [backup-simplify]: Simplify 0 into 0 0.217 * [backup-simplify]: Simplify 1 into 1 0.217 * [backup-simplify]: Simplify (/ -1 1) into -1 0.217 * [taylor]: Taking taylor expansion of 0.99229 in x 0.217 * [backup-simplify]: Simplify 0.99229 into 0.99229 0.217 * [taylor]: Taking taylor expansion of 1.0 in x 0.217 * [backup-simplify]: Simplify 1.0 into 1.0 0.217 * [backup-simplify]: Simplify (* 0.04481 -1) into -0.04481 0.218 * [backup-simplify]: Simplify (+ -0.04481 0) into (- 0.04481) 0.218 * [backup-simplify]: Simplify (* -1 (- 0.04481)) into 0.04481 0.218 * [backup-simplify]: Simplify (+ 0.04481 0) into 0.04481 0.218 * [backup-simplify]: Simplify 0.04481 into 0.04481 0.219 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 0.219 * [backup-simplify]: Simplify (+ (* 0.04481 0) (* 0 -1)) into 0 0.219 * [backup-simplify]: Simplify (+ 0 0.99229) into 0.99229 0.220 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 0.221 * [backup-simplify]: Simplify (+ (* -1 0.99229) (* 0 (- 0.04481))) into (- 0.99229) 0.221 * [backup-simplify]: Simplify (+ (- 0.99229) 0) into (- 0.99229) 0.221 * [backup-simplify]: Simplify (- 0.99229) into (- 0.99229) 0.222 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.222 * [backup-simplify]: Simplify (+ (* 0.04481 0) (+ (* 0 0) (* 0 -1))) into 0 0.223 * [backup-simplify]: Simplify (+ 0 0) into 0 0.223 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.224 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0.99229) (* 0 (- 0.04481)))) into 0 0.224 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.224 * [backup-simplify]: Simplify 1.0 into 1.0 0.225 * [backup-simplify]: Simplify (+ 1.0 (+ (* (- 0.99229) (/ 1 (/ 1 (- x)))) (* 0.04481 (pow (/ 1 (/ 1 (- x))) 2)))) into (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) 0.225 * * * [progress]: simplifying candidates 0.226 * [simplify]: Simplifying: (expm1 (/ (- (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0))) (log1p (/ (- (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0))) (- (log (- (fma 0.27061 x 2.30753))) (log (fma x (fma 0.04481 x 0.99229) 1.0))) (log (/ (- (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0))) (exp (/ (- (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (* (* (- (fma 0.27061 x 2.30753)) (- (fma 0.27061 x 2.30753))) (- (fma 0.27061 x 2.30753))) (* (* (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))) (* (cbrt (/ (- (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0))) (cbrt (/ (- (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0)))) (cbrt (/ (- (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0))) (* (* (/ (- (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0)) (/ (- (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (- (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt (/ (- (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt (/ (- (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0))) (- (- (fma 0.27061 x 2.30753))) (- (fma x (fma 0.04481 x 0.99229) 1.0)) (/ 0 (fma x (fma 0.04481 x 0.99229) 1.0)) (/ (fma 0.27061 x 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) (/ (* (cbrt (- (fma 0.27061 x 2.30753))) (cbrt (- (fma 0.27061 x 2.30753)))) (* (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (cbrt (- (fma 0.27061 x 2.30753))) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (* (cbrt (- (fma 0.27061 x 2.30753))) (cbrt (- (fma 0.27061 x 2.30753)))) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (cbrt (- (fma 0.27061 x 2.30753))) (sqrt (fma x (fma 0.04481 x 0.99229) 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 x (fma 0.04481 x 0.99229) 1.0)) (/ (sqrt (- (fma 0.27061 x 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 0.27061 x 2.30753))) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (sqrt (- (fma 0.27061 x 2.30753))) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (sqrt (- (fma 0.27061 x 2.30753))) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (sqrt (- (fma 0.27061 x 2.30753))) 1) (/ (sqrt (- (fma 0.27061 x 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 0.27061 x 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 0.27061 x 2.30753)) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ 1 1) (/ (- (fma 0.27061 x 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 0.27061 x 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 0.27061 x 2.30753) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ -1 1) (/ (fma 0.27061 x 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) (/ (- (* (cbrt (fma 0.27061 x 2.30753)) (cbrt (fma 0.27061 x 2.30753)))) (* (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (cbrt (fma 0.27061 x 2.30753)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (- (* (cbrt (fma 0.27061 x 2.30753)) (cbrt (fma 0.27061 x 2.30753)))) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (cbrt (fma 0.27061 x 2.30753)) (sqrt (fma x (fma 0.04481 x 0.99229) 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 x (fma 0.04481 x 0.99229) 1.0)) (/ (- (sqrt (fma 0.27061 x 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 0.27061 x 2.30753)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (- (sqrt (fma 0.27061 x 2.30753))) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (sqrt (fma 0.27061 x 2.30753)) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (- (sqrt (fma 0.27061 x 2.30753))) 1) (/ (sqrt (fma 0.27061 x 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 0.27061 x 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 0.27061 x 2.30753) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (- 1) 1) (/ (fma 0.27061 x 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) (/ (* (cbrt (fma 0.27061 x 2.30753)) (cbrt (fma 0.27061 x 2.30753))) (* (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (- (cbrt (fma 0.27061 x 2.30753))) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (* (cbrt (fma 0.27061 x 2.30753)) (cbrt (fma 0.27061 x 2.30753))) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (- (cbrt (fma 0.27061 x 2.30753))) (sqrt (fma x (fma 0.04481 x 0.99229) 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 x (fma 0.04481 x 0.99229) 1.0)) (/ (sqrt (fma 0.27061 x 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 0.27061 x 2.30753))) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (sqrt (fma 0.27061 x 2.30753)) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (- (sqrt (fma 0.27061 x 2.30753))) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (sqrt (fma 0.27061 x 2.30753)) 1) (/ (- (sqrt (fma 0.27061 x 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 0.27061 x 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 0.27061 x 2.30753)) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ 1 1) (/ (- (fma 0.27061 x 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 0.27061 x 2.30753))) (/ (fma 0.27061 x 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) (/ (- (fma 0.27061 x 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 0.27061 x 2.30753)) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (- (fma 0.27061 x 2.30753)) 1) (/ (fma x (fma 0.04481 x 0.99229) 1.0) (cbrt (- (fma 0.27061 x 2.30753)))) (/ (fma x (fma 0.04481 x 0.99229) 1.0) (sqrt (- (fma 0.27061 x 2.30753)))) (/ (fma x (fma 0.04481 x 0.99229) 1.0) (- (fma 0.27061 x 2.30753))) (/ (fma x (fma 0.04481 x 0.99229) 1.0) (fma 0.27061 x 2.30753)) (/ (fma x (fma 0.04481 x 0.99229) 1.0) (cbrt (fma 0.27061 x 2.30753))) (/ (fma x (fma 0.04481 x 0.99229) 1.0) (sqrt (fma 0.27061 x 2.30753))) (/ (fma x (fma 0.04481 x 0.99229) 1.0) (fma 0.27061 x 2.30753)) (/ (fma x (fma 0.04481 x 0.99229) 1.0) (- (cbrt (fma 0.27061 x 2.30753)))) (/ (fma x (fma 0.04481 x 0.99229) 1.0) (- (sqrt (fma 0.27061 x 2.30753)))) (/ (fma x (fma 0.04481 x 0.99229) 1.0) (- (fma 0.27061 x 2.30753))) (expm1 (fma x (fma 0.04481 x 0.99229) 1.0)) (log1p (fma x (fma 0.04481 x 0.99229) 1.0)) (* x (fma 0.04481 x 0.99229)) (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)) (- (* 2.0191289436999997 x) (+ (* 1.900161040244073 (pow x 2)) 2.30753)) (- (* 82.23527511657369 (/ 1 (pow x 2))) (+ (* 6.039053782637804 (/ 1 x)) (* 1686.279566230464 (/ 1 (pow x 3))))) (- (* 82.23527511657369 (/ 1 (pow x 2))) (+ (* 6.039053782637804 (/ 1 x)) (* 1686.279566230464 (/ 1 (pow x 3))))) (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) 0.227 * [simplify]: Sending expressions to egg_math: (expm1 (/ (- (fma h0 h1 h2)) (fma h1 (fma h3 h1 h4) h5))) (log1p (/ (- (fma h0 h1 h2)) (fma h1 (fma h3 h1 h4) h5))) (- (log (- (fma h0 h1 h2))) (log (fma h1 (fma h3 h1 h4) h5))) (log (/ (- (fma h0 h1 h2)) (fma h1 (fma h3 h1 h4) h5))) (exp (/ (- (fma h0 h1 h2)) (fma h1 (fma h3 h1 h4) h5))) (/ (* (* (- (fma h0 h1 h2)) (- (fma h0 h1 h2))) (- (fma h0 h1 h2))) (* (* (fma h1 (fma h3 h1 h4) h5) (fma h1 (fma h3 h1 h4) h5)) (fma h1 (fma h3 h1 h4) h5))) (* (cbrt (/ (- (fma h0 h1 h2)) (fma h1 (fma h3 h1 h4) h5))) (cbrt (/ (- (fma h0 h1 h2)) (fma h1 (fma h3 h1 h4) h5)))) (cbrt (/ (- (fma h0 h1 h2)) (fma h1 (fma h3 h1 h4) h5))) (* (* (/ (- (fma h0 h1 h2)) (fma h1 (fma h3 h1 h4) h5)) (/ (- (fma h0 h1 h2)) (fma h1 (fma h3 h1 h4) h5))) (/ (- (fma h0 h1 h2)) (fma h1 (fma h3 h1 h4) h5))) (sqrt (/ (- (fma h0 h1 h2)) (fma h1 (fma h3 h1 h4) h5))) (sqrt (/ (- (fma h0 h1 h2)) (fma h1 (fma h3 h1 h4) h5))) (- (- (fma h0 h1 h2))) (- (fma h1 (fma h3 h1 h4) h5)) (/ 0 (fma h1 (fma h3 h1 h4) h5)) (/ (fma h0 h1 h2) (fma h1 (fma h3 h1 h4) h5)) (/ (* (cbrt (- (fma h0 h1 h2))) (cbrt (- (fma h0 h1 h2)))) (* (cbrt (fma h1 (fma h3 h1 h4) h5)) (cbrt (fma h1 (fma h3 h1 h4) h5)))) (/ (cbrt (- (fma h0 h1 h2))) (cbrt (fma h1 (fma h3 h1 h4) h5))) (/ (* (cbrt (- (fma h0 h1 h2))) (cbrt (- (fma h0 h1 h2)))) (sqrt (fma h1 (fma h3 h1 h4) h5))) (/ (cbrt (- (fma h0 h1 h2))) (sqrt (fma h1 (fma h3 h1 h4) h5))) (/ (* (cbrt (- (fma h0 h1 h2))) (cbrt (- (fma h0 h1 h2)))) 1) (/ (cbrt (- (fma h0 h1 h2))) (fma h1 (fma h3 h1 h4) h5)) (/ (sqrt (- (fma h0 h1 h2))) (* (cbrt (fma h1 (fma h3 h1 h4) h5)) (cbrt (fma h1 (fma h3 h1 h4) h5)))) (/ (sqrt (- (fma h0 h1 h2))) (cbrt (fma h1 (fma h3 h1 h4) h5))) (/ (sqrt (- (fma h0 h1 h2))) (sqrt (fma h1 (fma h3 h1 h4) h5))) (/ (sqrt (- (fma h0 h1 h2))) (sqrt (fma h1 (fma h3 h1 h4) h5))) (/ (sqrt (- (fma h0 h1 h2))) 1) (/ (sqrt (- (fma h0 h1 h2))) (fma h1 (fma h3 h1 h4) h5)) (/ 1 (* (cbrt (fma h1 (fma h3 h1 h4) h5)) (cbrt (fma h1 (fma h3 h1 h4) h5)))) (/ (- (fma h0 h1 h2)) (cbrt (fma h1 (fma h3 h1 h4) h5))) (/ 1 (sqrt (fma h1 (fma h3 h1 h4) h5))) (/ (- (fma h0 h1 h2)) (sqrt (fma h1 (fma h3 h1 h4) h5))) (/ 1 1) (/ (- (fma h0 h1 h2)) (fma h1 (fma h3 h1 h4) h5)) (/ -1 (* (cbrt (fma h1 (fma h3 h1 h4) h5)) (cbrt (fma h1 (fma h3 h1 h4) h5)))) (/ (fma h0 h1 h2) (cbrt (fma h1 (fma h3 h1 h4) h5))) (/ -1 (sqrt (fma h1 (fma h3 h1 h4) h5))) (/ (fma h0 h1 h2) (sqrt (fma h1 (fma h3 h1 h4) h5))) (/ -1 1) (/ (fma h0 h1 h2) (fma h1 (fma h3 h1 h4) h5)) (/ (- (* (cbrt (fma h0 h1 h2)) (cbrt (fma h0 h1 h2)))) (* (cbrt (fma h1 (fma h3 h1 h4) h5)) (cbrt (fma h1 (fma h3 h1 h4) h5)))) (/ (cbrt (fma h0 h1 h2)) (cbrt (fma h1 (fma h3 h1 h4) h5))) (/ (- (* (cbrt (fma h0 h1 h2)) (cbrt (fma h0 h1 h2)))) (sqrt (fma h1 (fma h3 h1 h4) h5))) (/ (cbrt (fma h0 h1 h2)) (sqrt (fma h1 (fma h3 h1 h4) h5))) (/ (- (* (cbrt (fma h0 h1 h2)) (cbrt (fma h0 h1 h2)))) 1) (/ (cbrt (fma h0 h1 h2)) (fma h1 (fma h3 h1 h4) h5)) (/ (- (sqrt (fma h0 h1 h2))) (* (cbrt (fma h1 (fma h3 h1 h4) h5)) (cbrt (fma h1 (fma h3 h1 h4) h5)))) (/ (sqrt (fma h0 h1 h2)) (cbrt (fma h1 (fma h3 h1 h4) h5))) (/ (- (sqrt (fma h0 h1 h2))) (sqrt (fma h1 (fma h3 h1 h4) h5))) (/ (sqrt (fma h0 h1 h2)) (sqrt (fma h1 (fma h3 h1 h4) h5))) (/ (- (sqrt (fma h0 h1 h2))) 1) (/ (sqrt (fma h0 h1 h2)) (fma h1 (fma h3 h1 h4) h5)) (/ (- 1) (* (cbrt (fma h1 (fma h3 h1 h4) h5)) (cbrt (fma h1 (fma h3 h1 h4) h5)))) (/ (fma h0 h1 h2) (cbrt (fma h1 (fma h3 h1 h4) h5))) (/ (- 1) (sqrt (fma h1 (fma h3 h1 h4) h5))) (/ (fma h0 h1 h2) (sqrt (fma h1 (fma h3 h1 h4) h5))) (/ (- 1) 1) (/ (fma h0 h1 h2) (fma h1 (fma h3 h1 h4) h5)) (/ (* (cbrt (fma h0 h1 h2)) (cbrt (fma h0 h1 h2))) (* (cbrt (fma h1 (fma h3 h1 h4) h5)) (cbrt (fma h1 (fma h3 h1 h4) h5)))) (/ (- (cbrt (fma h0 h1 h2))) (cbrt (fma h1 (fma h3 h1 h4) h5))) (/ (* (cbrt (fma h0 h1 h2)) (cbrt (fma h0 h1 h2))) (sqrt (fma h1 (fma h3 h1 h4) h5))) (/ (- (cbrt (fma h0 h1 h2))) (sqrt (fma h1 (fma h3 h1 h4) h5))) (/ (* (cbrt (fma h0 h1 h2)) (cbrt (fma h0 h1 h2))) 1) (/ (- (cbrt (fma h0 h1 h2))) (fma h1 (fma h3 h1 h4) h5)) (/ (sqrt (fma h0 h1 h2)) (* (cbrt (fma h1 (fma h3 h1 h4) h5)) (cbrt (fma h1 (fma h3 h1 h4) h5)))) (/ (- (sqrt (fma h0 h1 h2))) (cbrt (fma h1 (fma h3 h1 h4) h5))) (/ (sqrt (fma h0 h1 h2)) (sqrt (fma h1 (fma h3 h1 h4) h5))) (/ (- (sqrt (fma h0 h1 h2))) (sqrt (fma h1 (fma h3 h1 h4) h5))) (/ (sqrt (fma h0 h1 h2)) 1) (/ (- (sqrt (fma h0 h1 h2))) (fma h1 (fma h3 h1 h4) h5)) (/ 1 (* (cbrt (fma h1 (fma h3 h1 h4) h5)) (cbrt (fma h1 (fma h3 h1 h4) h5)))) (/ (- (fma h0 h1 h2)) (cbrt (fma h1 (fma h3 h1 h4) h5))) (/ 1 (sqrt (fma h1 (fma h3 h1 h4) h5))) (/ (- (fma h0 h1 h2)) (sqrt (fma h1 (fma h3 h1 h4) h5))) (/ 1 1) (/ (- (fma h0 h1 h2)) (fma h1 (fma h3 h1 h4) h5)) (/ 1 (fma h1 (fma h3 h1 h4) h5)) (/ (fma h1 (fma h3 h1 h4) h5) (- (fma h0 h1 h2))) (/ (fma h0 h1 h2) (fma h1 (fma h3 h1 h4) h5)) (/ (- (fma h0 h1 h2)) (* (cbrt (fma h1 (fma h3 h1 h4) h5)) (cbrt (fma h1 (fma h3 h1 h4) h5)))) (/ (- (fma h0 h1 h2)) (sqrt (fma h1 (fma h3 h1 h4) h5))) (/ (- (fma h0 h1 h2)) 1) (/ (fma h1 (fma h3 h1 h4) h5) (cbrt (- (fma h0 h1 h2)))) (/ (fma h1 (fma h3 h1 h4) h5) (sqrt (- (fma h0 h1 h2)))) (/ (fma h1 (fma h3 h1 h4) h5) (- (fma h0 h1 h2))) (/ (fma h1 (fma h3 h1 h4) h5) (fma h0 h1 h2)) (/ (fma h1 (fma h3 h1 h4) h5) (cbrt (fma h0 h1 h2))) (/ (fma h1 (fma h3 h1 h4) h5) (sqrt (fma h0 h1 h2))) (/ (fma h1 (fma h3 h1 h4) h5) (fma h0 h1 h2)) (/ (fma h1 (fma h3 h1 h4) h5) (- (cbrt (fma h0 h1 h2)))) (/ (fma h1 (fma h3 h1 h4) h5) (- (sqrt (fma h0 h1 h2)))) (/ (fma h1 (fma h3 h1 h4) h5) (- (fma h0 h1 h2))) (expm1 (fma h1 (fma h3 h1 h4) h5)) (log1p (fma h1 (fma h3 h1 h4) h5)) (* h1 (fma h3 h1 h4)) (log (fma h1 (fma h3 h1 h4) h5)) (exp (fma h1 (fma h3 h1 h4) h5)) (* (cbrt (fma h1 (fma h3 h1 h4) h5)) (cbrt (fma h1 (fma h3 h1 h4) h5))) (cbrt (fma h1 (fma h3 h1 h4) h5)) (* (* (fma h1 (fma h3 h1 h4) h5) (fma h1 (fma h3 h1 h4) h5)) (fma h1 (fma h3 h1 h4) h5)) (sqrt (fma h1 (fma h3 h1 h4) h5)) (sqrt (fma h1 (fma h3 h1 h4) h5)) (- (* h6 h1) (+ (* h7 (pow h1 2)) h2)) (- (* h8 (/ 1 (pow h1 2))) (+ (* h9 (/ 1 h1)) (* h10 (/ 1 (pow h1 3))))) (- (* h8 (/ 1 (pow h1 2))) (+ (* h9 (/ 1 h1)) (* h10 (/ 1 (pow h1 3))))) (+ (* h3 (pow h1 2)) (+ (* h4 h1) h5)) (+ (* h3 (pow h1 2)) (+ (* h4 h1) h5)) (+ (* h3 (pow h1 2)) (+ (* h4 h1) h5)) 0.232 * * [simplify]: iteration 0 : 259 enodes (cost 629 ) 0.236 * * [simplify]: iteration 1 : 830 enodes (cost 601 ) 0.251 * * [simplify]: iteration 2 : 3846 enodes (cost 596 ) 0.322 * * [simplify]: iteration 3 : 5003 enodes (cost 594 ) 0.326 * * * [progress]: adding candidates to table 0.520 * [progress]: [Phase 3 of 3] Extracting. 0.523 * [simplify]: Simplifying: (+ (/ (- (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0)) x) 0.523 * [simplify]: Sending expressions to egg_math: (+ (/ (- (fma h0 h1 h2)) (fma h1 (fma h3 h1 h4) h5)) h1) 0.523 * * [simplify]: iteration 0 : 15 enodes (cost 6 ) 0.524 * * [simplify]: iteration 1 : 15 enodes (cost 6 ) 0.987 * [regime-testing]: End program error score: 0.010251237371737514