2.347 * [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 using # : (- 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.043 * * [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.100 * * [simplify]: iteration 13 : 5001 enodes (cost 6 ) 0.101 * [simplify]: Simplified to: (+ (/ (- (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0)) x) 0.105 * * [progress]: iteration 1 / 4 0.105 * * * [progress]: picking best candidate 0.107 * * * * [pick]: Picked # 0.107 * * * [progress]: localizing error 0.117 * * * [progress]: generating rewritten candidates 0.117 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 0.125 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 2) 0.128 * * * [progress]: generating series expansions 0.128 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 0.128 * [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.128 * [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.128 * [taylor]: Taking taylor expansion of -1 in x 0.128 * [taylor]: Taking taylor expansion of (/ (fma 0.27061 x 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) in x 0.128 * [taylor]: Taking taylor expansion of (fma 0.27061 x 2.30753) in x 0.128 * [taylor]: Rewrote expression to (+ (* 0.27061 x) 2.30753) 0.128 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x 0.128 * [taylor]: Taking taylor expansion of 0.27061 in x 0.128 * [taylor]: Taking taylor expansion of x in x 0.128 * [taylor]: Taking taylor expansion of 2.30753 in x 0.128 * [taylor]: Taking taylor expansion of (fma x (fma 0.04481 x 0.99229) 1.0) in x 0.128 * [taylor]: Rewrote expression to (+ (* x (fma 0.04481 x 0.99229)) 1.0) 0.128 * [taylor]: Taking taylor expansion of (* x (fma 0.04481 x 0.99229)) in x 0.128 * [taylor]: Taking taylor expansion of x in x 0.128 * [taylor]: Taking taylor expansion of (fma 0.04481 x 0.99229) in x 0.128 * [taylor]: Rewrote expression to (+ (* 0.04481 x) 0.99229) 0.128 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x 0.129 * [taylor]: Taking taylor expansion of 0.04481 in x 0.129 * [taylor]: Taking taylor expansion of x in x 0.129 * [taylor]: Taking taylor expansion of 0.99229 in x 0.129 * [taylor]: Taking taylor expansion of 1.0 in x 0.130 * [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.130 * [taylor]: Taking taylor expansion of -1 in x 0.131 * [taylor]: Taking taylor expansion of (/ (fma 0.27061 x 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) in x 0.131 * [taylor]: Taking taylor expansion of (fma 0.27061 x 2.30753) in x 0.131 * [taylor]: Rewrote expression to (+ (* 0.27061 x) 2.30753) 0.131 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x 0.131 * [taylor]: Taking taylor expansion of 0.27061 in x 0.131 * [taylor]: Taking taylor expansion of x in x 0.131 * [taylor]: Taking taylor expansion of 2.30753 in x 0.131 * [taylor]: Taking taylor expansion of (fma x (fma 0.04481 x 0.99229) 1.0) in x 0.131 * [taylor]: Rewrote expression to (+ (* x (fma 0.04481 x 0.99229)) 1.0) 0.131 * [taylor]: Taking taylor expansion of (* x (fma 0.04481 x 0.99229)) in x 0.131 * [taylor]: Taking taylor expansion of x in x 0.131 * [taylor]: Taking taylor expansion of (fma 0.04481 x 0.99229) in x 0.131 * [taylor]: Rewrote expression to (+ (* 0.04481 x) 0.99229) 0.131 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x 0.131 * [taylor]: Taking taylor expansion of 0.04481 in x 0.131 * [taylor]: Taking taylor expansion of x in x 0.131 * [taylor]: Taking taylor expansion of 0.99229 in x 0.131 * [taylor]: Taking taylor expansion of 1.0 in x 0.147 * [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.147 * [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.147 * [taylor]: Taking taylor expansion of -1 in x 0.147 * [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.147 * [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 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.147 * [taylor]: Taking taylor expansion of x in x 0.147 * [taylor]: Taking taylor expansion of 2.30753 in x 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.148 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ 1 x) 0.99229) in x 0.148 * [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 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.148 * [taylor]: Taking taylor expansion of x in x 0.148 * [taylor]: Taking taylor expansion of 0.99229 in x 0.148 * [taylor]: Taking taylor expansion of 1.0 in x 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 * [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 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.150 * [taylor]: Taking taylor expansion of x in x 0.150 * [taylor]: Taking taylor expansion of 2.30753 in x 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.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 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.151 * [taylor]: Taking taylor expansion of x in x 0.151 * [taylor]: Taking taylor expansion of 0.99229 in x 0.151 * [taylor]: Taking taylor expansion of 1.0 in x 0.173 * [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.173 * [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.173 * [taylor]: Taking taylor expansion of -1 in x 0.173 * [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.173 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ -1 x) 2.30753) in x 0.173 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ -1 x)) 2.30753) 0.173 * [taylor]: Taking taylor expansion of (* 0.27061 (/ -1 x)) in x 0.173 * [taylor]: Taking taylor expansion of 0.27061 in x 0.173 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.173 * [taylor]: Taking taylor expansion of -1 in x 0.173 * [taylor]: Taking taylor expansion of x in x 0.173 * [taylor]: Taking taylor expansion of 2.30753 in x 0.173 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0) in x 0.173 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) 1.0) 0.173 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) in x 0.173 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.173 * [taylor]: Taking taylor expansion of -1 in x 0.173 * [taylor]: Taking taylor expansion of x in x 0.174 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ -1 x) 0.99229) in x 0.174 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ -1 x)) 0.99229) 0.174 * [taylor]: Taking taylor expansion of (* 0.04481 (/ -1 x)) in x 0.174 * [taylor]: Taking taylor expansion of 0.04481 in x 0.174 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.174 * [taylor]: Taking taylor expansion of -1 in x 0.174 * [taylor]: Taking taylor expansion of x in x 0.174 * [taylor]: Taking taylor expansion of 0.99229 in x 0.174 * [taylor]: Taking taylor expansion of 1.0 in x 0.176 * [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.176 * [taylor]: Taking taylor expansion of -1 in x 0.176 * [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.176 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ -1 x) 2.30753) in x 0.176 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ -1 x)) 2.30753) 0.176 * [taylor]: Taking taylor expansion of (* 0.27061 (/ -1 x)) in x 0.176 * [taylor]: Taking taylor expansion of 0.27061 in x 0.176 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.176 * [taylor]: Taking taylor expansion of -1 in x 0.176 * [taylor]: Taking taylor expansion of x in x 0.177 * [taylor]: Taking taylor expansion of 2.30753 in x 0.177 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0) in x 0.177 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) 1.0) 0.177 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) in x 0.177 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.177 * [taylor]: Taking taylor expansion of -1 in x 0.177 * [taylor]: Taking taylor expansion of x in x 0.177 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ -1 x) 0.99229) in x 0.177 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ -1 x)) 0.99229) 0.177 * [taylor]: Taking taylor expansion of (* 0.04481 (/ -1 x)) in x 0.177 * [taylor]: Taking taylor expansion of 0.04481 in x 0.177 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.177 * [taylor]: Taking taylor expansion of -1 in x 0.177 * [taylor]: Taking taylor expansion of x in x 0.178 * [taylor]: Taking taylor expansion of 0.99229 in x 0.178 * [taylor]: Taking taylor expansion of 1.0 in x 0.196 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 2) 0.196 * [approximate]: Taking taylor expansion of (fma x (fma 0.04481 x 0.99229) 1.0) in (x) around 0 0.196 * [taylor]: Taking taylor expansion of (fma x (fma 0.04481 x 0.99229) 1.0) in x 0.196 * [taylor]: Rewrote expression to (+ (* x (fma 0.04481 x 0.99229)) 1.0) 0.196 * [taylor]: Taking taylor expansion of (* x (fma 0.04481 x 0.99229)) in x 0.196 * [taylor]: Taking taylor expansion of x in x 0.196 * [taylor]: Taking taylor expansion of (fma 0.04481 x 0.99229) in x 0.196 * [taylor]: Rewrote expression to (+ (* 0.04481 x) 0.99229) 0.196 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x 0.196 * [taylor]: Taking taylor expansion of 0.04481 in x 0.196 * [taylor]: Taking taylor expansion of x in x 0.196 * [taylor]: Taking taylor expansion of 0.99229 in x 0.196 * [taylor]: Taking taylor expansion of 1.0 in x 0.197 * [taylor]: Taking taylor expansion of (fma x (fma 0.04481 x 0.99229) 1.0) in x 0.197 * [taylor]: Rewrote expression to (+ (* x (fma 0.04481 x 0.99229)) 1.0) 0.197 * [taylor]: Taking taylor expansion of (* x (fma 0.04481 x 0.99229)) in x 0.197 * [taylor]: Taking taylor expansion of x in x 0.197 * [taylor]: Taking taylor expansion of (fma 0.04481 x 0.99229) in x 0.197 * [taylor]: Rewrote expression to (+ (* 0.04481 x) 0.99229) 0.197 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x 0.197 * [taylor]: Taking taylor expansion of 0.04481 in x 0.197 * [taylor]: Taking taylor expansion of x in x 0.197 * [taylor]: Taking taylor expansion of 0.99229 in x 0.197 * [taylor]: Taking taylor expansion of 1.0 in x 0.202 * [approximate]: Taking taylor expansion of (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0) in (x) around 0 0.202 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0) in x 0.203 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) 1.0) 0.203 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) in x 0.203 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.203 * [taylor]: Taking taylor expansion of x in x 0.203 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ 1 x) 0.99229) in x 0.203 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ 1 x)) 0.99229) 0.203 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 0.203 * [taylor]: Taking taylor expansion of 0.04481 in x 0.203 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.203 * [taylor]: Taking taylor expansion of x in x 0.203 * [taylor]: Taking taylor expansion of 0.99229 in x 0.203 * [taylor]: Taking taylor expansion of 1.0 in x 0.203 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0) in x 0.203 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) 1.0) 0.203 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) in x 0.203 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.203 * [taylor]: Taking taylor expansion of x in x 0.204 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ 1 x) 0.99229) in x 0.204 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ 1 x)) 0.99229) 0.204 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 0.204 * [taylor]: Taking taylor expansion of 0.04481 in x 0.204 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.204 * [taylor]: Taking taylor expansion of x in x 0.204 * [taylor]: Taking taylor expansion of 0.99229 in x 0.204 * [taylor]: Taking taylor expansion of 1.0 in x 0.210 * [approximate]: Taking taylor expansion of (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0) in (x) around 0 0.210 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0) in x 0.210 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) 1.0) 0.210 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) in x 0.210 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.210 * [taylor]: Taking taylor expansion of -1 in x 0.210 * [taylor]: Taking taylor expansion of x in x 0.211 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ -1 x) 0.99229) in x 0.211 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ -1 x)) 0.99229) 0.211 * [taylor]: Taking taylor expansion of (* 0.04481 (/ -1 x)) in x 0.211 * [taylor]: Taking taylor expansion of 0.04481 in x 0.211 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.211 * [taylor]: Taking taylor expansion of -1 in x 0.211 * [taylor]: Taking taylor expansion of x in x 0.211 * [taylor]: Taking taylor expansion of 0.99229 in x 0.211 * [taylor]: Taking taylor expansion of 1.0 in x 0.211 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0) in x 0.211 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) 1.0) 0.211 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) in x 0.211 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.211 * [taylor]: Taking taylor expansion of -1 in x 0.211 * [taylor]: Taking taylor expansion of x in x 0.211 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ -1 x) 0.99229) in x 0.212 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ -1 x)) 0.99229) 0.212 * [taylor]: Taking taylor expansion of (* 0.04481 (/ -1 x)) in x 0.212 * [taylor]: Taking taylor expansion of 0.04481 in x 0.212 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.212 * [taylor]: Taking taylor expansion of -1 in x 0.212 * [taylor]: Taking taylor expansion of x in x 0.212 * [taylor]: Taking taylor expansion of 0.99229 in x 0.212 * [taylor]: Taking taylor expansion of 1.0 in x 0.219 * * * [progress]: simplifying candidates 0.221 * [simplify]: Simplifying using # : (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.221 * [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.226 * * [simplify]: iteration 0 : 259 enodes (cost 629 ) 0.230 * * [simplify]: iteration 1 : 830 enodes (cost 601 ) 0.246 * * [simplify]: iteration 2 : 3846 enodes (cost 596 ) 0.316 * * [simplify]: iteration 3 : 5003 enodes (cost 594 ) 0.319 * [simplify]: Simplified to: (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)) (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))) (pow (/ (- (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0)) 3) (* (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))) (pow (/ (- (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0)) 3) (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 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)))) (/ (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))) (/ (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 (/ (- (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 (/ (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)))) (/ (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))) (/ (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 (/ (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))) (/ (- (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)) (/ (- (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 (/ (- (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)) (/ (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)) (pow (fma x (fma 0.04481 x 0.99229) 1.0) 3) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)) (fma 2.0191289436999997 x (- (fma 1.900161040244073 (pow x 2) 2.30753))) (fma (/ 1 x) (- (/ 82.23527511657369 x) 6.039053782637804) (/ (- 1686.279566230464) (pow x 3))) (fma (/ 1 x) (- (/ 82.23527511657369 x) 6.039053782637804) (/ (- 1686.279566230464) (pow x 3))) (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) 0.320 * * * [progress]: adding candidates to table 0.521 * [progress]: [Phase 3 of 3] Extracting. 0.524 * [simplify]: Simplifying using # : (+ (/ (- (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0)) x) 0.524 * [simplify]: Sending expressions to egg_math: (+ (/ (- (fma h0 h1 h2)) (fma h1 (fma h3 h1 h4) h5)) h1) 0.524 * * [simplify]: iteration 0 : 15 enodes (cost 6 ) 0.525 * * [simplify]: iteration 1 : 15 enodes (cost 6 ) 0.525 * [simplify]: Simplified to: (+ (/ (- (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0)) x) 1.000 * [regime-testing]: End program error score: 0.010251237371737514