2.374 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.020 * * * [progress]: [2/2] Setting up program. 0.022 * [progress]: [Phase 2 of 3] Improving. 0.022 * [simplify]: Simplifying using # : (* 0.70711 (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x)) 0.022 * [simplify]: Sending expressions to egg_math: (* h0 (- (/ (+ h1 (* h2 h3)) (+ h4 (* h2 (+ h5 (* h2 h6))))) h2)) 0.025 * * [simplify]: iteration 0 : 31 enodes (cost 9 ) 0.026 * * [simplify]: iteration 1 : 59 enodes (cost 9 ) 0.028 * * [simplify]: iteration 2 : 90 enodes (cost 9 ) 0.029 * * [simplify]: iteration 3 : 116 enodes (cost 7 ) 0.031 * * [simplify]: iteration 4 : 130 enodes (cost 7 ) 0.034 * * [simplify]: iteration 5 : 148 enodes (cost 7 ) 0.036 * * [simplify]: iteration 6 : 188 enodes (cost 7 ) 0.039 * * [simplify]: iteration 7 : 264 enodes (cost 7 ) 0.042 * * [simplify]: iteration 8 : 304 enodes (cost 7 ) 0.045 * * [simplify]: iteration 9 : 377 enodes (cost 7 ) 0.050 * * [simplify]: iteration 10 : 580 enodes (cost 7 ) 0.056 * * [simplify]: iteration 11 : 851 enodes (cost 7 ) 0.069 * * [simplify]: iteration 12 : 1402 enodes (cost 7 ) 0.084 * * [simplify]: iteration 13 : 2787 enodes (cost 7 ) 0.102 * * [simplify]: iteration 14 : 3168 enodes (cost 7 ) 0.125 * * [simplify]: iteration 15 : 4321 enodes (cost 7 ) 0.155 * * [simplify]: iteration 16 : 5002 enodes (cost 7 ) 0.155 * [simplify]: Simplified to: (fma (- x) 0.70711 (/ (* 0.70711 (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0))) 0.159 * * [progress]: iteration 1 / 4 0.159 * * * [progress]: picking best candidate 0.163 * * * * [pick]: Picked # 0.163 * * * [progress]: localizing error 0.174 * * * [progress]: generating rewritten candidates 0.175 * * * * [progress]: [ 1 / 3 ] rewriting at (2 3) 0.184 * * * * [progress]: [ 2 / 3 ] rewriting at (2 3 1) 0.191 * * * * [progress]: [ 3 / 3 ] rewriting at (2 3 2) 0.193 * * * [progress]: generating series expansions 0.193 * * * * [progress]: [ 1 / 3 ] generating series at (2 3) 0.193 * [approximate]: Taking taylor expansion of (* 0.70711 (/ (fma 0.27061 x 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) in (x) around 0 0.193 * [taylor]: Taking taylor expansion of (* 0.70711 (/ (fma 0.27061 x 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) in x 0.193 * [taylor]: Taking taylor expansion of 0.70711 in x 0.193 * [taylor]: Taking taylor expansion of (/ (fma 0.27061 x 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) in x 0.193 * [taylor]: Taking taylor expansion of (fma 0.27061 x 2.30753) in x 0.193 * [taylor]: Rewrote expression to (+ (* 0.27061 x) 2.30753) 0.193 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x 0.193 * [taylor]: Taking taylor expansion of 0.27061 in x 0.193 * [taylor]: Taking taylor expansion of x in x 0.193 * [taylor]: Taking taylor expansion of 2.30753 in x 0.193 * [taylor]: Taking taylor expansion of (fma x (fma 0.04481 x 0.99229) 1.0) in x 0.193 * [taylor]: Rewrote expression to (+ (* x (fma 0.04481 x 0.99229)) 1.0) 0.193 * [taylor]: Taking taylor expansion of (* x (fma 0.04481 x 0.99229)) in x 0.193 * [taylor]: Taking taylor expansion of x in x 0.193 * [taylor]: Taking taylor expansion of (fma 0.04481 x 0.99229) in x 0.194 * [taylor]: Rewrote expression to (+ (* 0.04481 x) 0.99229) 0.194 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x 0.194 * [taylor]: Taking taylor expansion of 0.04481 in x 0.194 * [taylor]: Taking taylor expansion of x in x 0.194 * [taylor]: Taking taylor expansion of 0.99229 in x 0.194 * [taylor]: Taking taylor expansion of 1.0 in x 0.195 * [taylor]: Taking taylor expansion of (* 0.70711 (/ (fma 0.27061 x 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) in x 0.195 * [taylor]: Taking taylor expansion of 0.70711 in x 0.196 * [taylor]: Taking taylor expansion of (/ (fma 0.27061 x 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) in x 0.196 * [taylor]: Taking taylor expansion of (fma 0.27061 x 2.30753) in x 0.196 * [taylor]: Rewrote expression to (+ (* 0.27061 x) 2.30753) 0.196 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x 0.196 * [taylor]: Taking taylor expansion of 0.27061 in x 0.196 * [taylor]: Taking taylor expansion of x in x 0.196 * [taylor]: Taking taylor expansion of 2.30753 in x 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.211 * [approximate]: Taking taylor expansion of (* 0.70711 (/ (fma 0.27061 (/ 1 x) 2.30753) (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0))) in (x) around 0 0.211 * [taylor]: Taking taylor expansion of (* 0.70711 (/ (fma 0.27061 (/ 1 x) 2.30753) (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0))) in x 0.211 * [taylor]: Taking taylor expansion of 0.70711 in x 0.211 * [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.212 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ 1 x) 2.30753) in x 0.212 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ 1 x)) 2.30753) 0.212 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 0.212 * [taylor]: Taking taylor expansion of 0.27061 in x 0.212 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.212 * [taylor]: Taking taylor expansion of x in x 0.212 * [taylor]: Taking taylor expansion of 2.30753 in x 0.212 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0) in x 0.212 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) 1.0) 0.212 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) in x 0.212 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.212 * [taylor]: Taking taylor expansion of x in x 0.212 * [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.213 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.213 * [taylor]: Taking taylor expansion of x in x 0.213 * [taylor]: Taking taylor expansion of 0.99229 in x 0.213 * [taylor]: Taking taylor expansion of 1.0 in x 0.218 * [taylor]: Taking taylor expansion of (* 0.70711 (/ (fma 0.27061 (/ 1 x) 2.30753) (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0))) in x 0.218 * [taylor]: Taking taylor expansion of 0.70711 in x 0.218 * [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.218 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ 1 x) 2.30753) in x 0.218 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ 1 x)) 2.30753) 0.218 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 0.218 * [taylor]: Taking taylor expansion of 0.27061 in x 0.218 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.218 * [taylor]: Taking taylor expansion of x in x 0.218 * [taylor]: Taking taylor expansion of 2.30753 in x 0.218 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0) in x 0.219 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) 1.0) 0.219 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) in x 0.219 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.219 * [taylor]: Taking taylor expansion of x in x 0.219 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ 1 x) 0.99229) in x 0.219 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ 1 x)) 0.99229) 0.219 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 0.219 * [taylor]: Taking taylor expansion of 0.04481 in x 0.219 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.219 * [taylor]: Taking taylor expansion of x in x 0.219 * [taylor]: Taking taylor expansion of 0.99229 in x 0.219 * [taylor]: Taking taylor expansion of 1.0 in x 0.236 * [approximate]: Taking taylor expansion of (* 0.70711 (/ (fma 0.27061 (/ -1 x) 2.30753) (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0))) in (x) around 0 0.236 * [taylor]: Taking taylor expansion of (* 0.70711 (/ (fma 0.27061 (/ -1 x) 2.30753) (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0))) in x 0.236 * [taylor]: Taking taylor expansion of 0.70711 in x 0.236 * [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.236 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ -1 x) 2.30753) in x 0.236 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ -1 x)) 2.30753) 0.236 * [taylor]: Taking taylor expansion of (* 0.27061 (/ -1 x)) in x 0.236 * [taylor]: Taking taylor expansion of 0.27061 in x 0.236 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.236 * [taylor]: Taking taylor expansion of -1 in x 0.236 * [taylor]: Taking taylor expansion of x in x 0.236 * [taylor]: Taking taylor expansion of 2.30753 in x 0.236 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0) in x 0.237 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) 1.0) 0.237 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) in x 0.237 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.237 * [taylor]: Taking taylor expansion of -1 in x 0.237 * [taylor]: Taking taylor expansion of x in x 0.237 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ -1 x) 0.99229) in x 0.237 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ -1 x)) 0.99229) 0.237 * [taylor]: Taking taylor expansion of (* 0.04481 (/ -1 x)) in x 0.237 * [taylor]: Taking taylor expansion of 0.04481 in x 0.237 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.237 * [taylor]: Taking taylor expansion of -1 in x 0.237 * [taylor]: Taking taylor expansion of x in x 0.237 * [taylor]: Taking taylor expansion of 0.99229 in x 0.237 * [taylor]: Taking taylor expansion of 1.0 in x 0.239 * [taylor]: Taking taylor expansion of (* 0.70711 (/ (fma 0.27061 (/ -1 x) 2.30753) (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0))) in x 0.240 * [taylor]: Taking taylor expansion of 0.70711 in x 0.240 * [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.240 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ -1 x) 2.30753) in x 0.240 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ -1 x)) 2.30753) 0.240 * [taylor]: Taking taylor expansion of (* 0.27061 (/ -1 x)) in x 0.240 * [taylor]: Taking taylor expansion of 0.27061 in x 0.240 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.240 * [taylor]: Taking taylor expansion of -1 in x 0.240 * [taylor]: Taking taylor expansion of x in x 0.240 * [taylor]: Taking taylor expansion of 2.30753 in x 0.240 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0) in x 0.240 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) 1.0) 0.240 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) in x 0.240 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.240 * [taylor]: Taking taylor expansion of -1 in x 0.240 * [taylor]: Taking taylor expansion of x in x 0.241 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ -1 x) 0.99229) in x 0.241 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ -1 x)) 0.99229) 0.241 * [taylor]: Taking taylor expansion of (* 0.04481 (/ -1 x)) in x 0.241 * [taylor]: Taking taylor expansion of 0.04481 in x 0.241 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.241 * [taylor]: Taking taylor expansion of -1 in x 0.241 * [taylor]: Taking taylor expansion of x in x 0.241 * [taylor]: Taking taylor expansion of 0.99229 in x 0.241 * [taylor]: Taking taylor expansion of 1.0 in x 0.260 * * * * [progress]: [ 2 / 3 ] generating series at (2 3 1) 0.260 * [approximate]: Taking taylor expansion of (* 0.70711 (fma 0.27061 x 2.30753)) in (x) around 0 0.260 * [taylor]: Taking taylor expansion of (* 0.70711 (fma 0.27061 x 2.30753)) in x 0.260 * [taylor]: Taking taylor expansion of 0.70711 in x 0.260 * [taylor]: Taking taylor expansion of (fma 0.27061 x 2.30753) in x 0.260 * [taylor]: Rewrote expression to (+ (* 0.27061 x) 2.30753) 0.260 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x 0.260 * [taylor]: Taking taylor expansion of 0.27061 in x 0.260 * [taylor]: Taking taylor expansion of x in x 0.260 * [taylor]: Taking taylor expansion of 2.30753 in x 0.260 * [taylor]: Taking taylor expansion of (* 0.70711 (fma 0.27061 x 2.30753)) in x 0.260 * [taylor]: Taking taylor expansion of 0.70711 in x 0.260 * [taylor]: Taking taylor expansion of (fma 0.27061 x 2.30753) in x 0.260 * [taylor]: Rewrote expression to (+ (* 0.27061 x) 2.30753) 0.260 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x 0.260 * [taylor]: Taking taylor expansion of 0.27061 in x 0.260 * [taylor]: Taking taylor expansion of x in x 0.260 * [taylor]: Taking taylor expansion of 2.30753 in x 0.272 * [approximate]: Taking taylor expansion of (* 0.70711 (fma 0.27061 (/ 1 x) 2.30753)) in (x) around 0 0.273 * [taylor]: Taking taylor expansion of (* 0.70711 (fma 0.27061 (/ 1 x) 2.30753)) in x 0.273 * [taylor]: Taking taylor expansion of 0.70711 in x 0.273 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ 1 x) 2.30753) in x 0.273 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ 1 x)) 2.30753) 0.273 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 0.273 * [taylor]: Taking taylor expansion of 0.27061 in x 0.273 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.273 * [taylor]: Taking taylor expansion of x in x 0.273 * [taylor]: Taking taylor expansion of 2.30753 in x 0.273 * [taylor]: Taking taylor expansion of (* 0.70711 (fma 0.27061 (/ 1 x) 2.30753)) in x 0.273 * [taylor]: Taking taylor expansion of 0.70711 in x 0.273 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ 1 x) 2.30753) in x 0.273 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ 1 x)) 2.30753) 0.273 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 0.273 * [taylor]: Taking taylor expansion of 0.27061 in x 0.273 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.273 * [taylor]: Taking taylor expansion of x in x 0.274 * [taylor]: Taking taylor expansion of 2.30753 in x 0.288 * [approximate]: Taking taylor expansion of (* 0.70711 (fma 0.27061 (/ -1 x) 2.30753)) in (x) around 0 0.288 * [taylor]: Taking taylor expansion of (* 0.70711 (fma 0.27061 (/ -1 x) 2.30753)) in x 0.288 * [taylor]: Taking taylor expansion of 0.70711 in x 0.289 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ -1 x) 2.30753) in x 0.289 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ -1 x)) 2.30753) 0.289 * [taylor]: Taking taylor expansion of (* 0.27061 (/ -1 x)) in x 0.289 * [taylor]: Taking taylor expansion of 0.27061 in x 0.289 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.289 * [taylor]: Taking taylor expansion of -1 in x 0.289 * [taylor]: Taking taylor expansion of x in x 0.289 * [taylor]: Taking taylor expansion of 2.30753 in x 0.289 * [taylor]: Taking taylor expansion of (* 0.70711 (fma 0.27061 (/ -1 x) 2.30753)) in x 0.289 * [taylor]: Taking taylor expansion of 0.70711 in x 0.289 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ -1 x) 2.30753) in x 0.289 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ -1 x)) 2.30753) 0.289 * [taylor]: Taking taylor expansion of (* 0.27061 (/ -1 x)) in x 0.289 * [taylor]: Taking taylor expansion of 0.27061 in x 0.289 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.289 * [taylor]: Taking taylor expansion of -1 in x 0.289 * [taylor]: Taking taylor expansion of x in x 0.289 * [taylor]: Taking taylor expansion of 2.30753 in x 0.310 * * * * [progress]: [ 3 / 3 ] generating series at (2 3 2) 0.310 * [approximate]: Taking taylor expansion of (fma x (fma 0.04481 x 0.99229) 1.0) in (x) around 0 0.310 * [taylor]: Taking taylor expansion of (fma x (fma 0.04481 x 0.99229) 1.0) in x 0.310 * [taylor]: Rewrote expression to (+ (* x (fma 0.04481 x 0.99229)) 1.0) 0.310 * [taylor]: Taking taylor expansion of (* x (fma 0.04481 x 0.99229)) in x 0.310 * [taylor]: Taking taylor expansion of x in x 0.310 * [taylor]: Taking taylor expansion of (fma 0.04481 x 0.99229) in x 0.311 * [taylor]: Rewrote expression to (+ (* 0.04481 x) 0.99229) 0.311 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x 0.311 * [taylor]: Taking taylor expansion of 0.04481 in x 0.311 * [taylor]: Taking taylor expansion of x in x 0.311 * [taylor]: Taking taylor expansion of 0.99229 in x 0.311 * [taylor]: Taking taylor expansion of 1.0 in x 0.311 * [taylor]: Taking taylor expansion of (fma x (fma 0.04481 x 0.99229) 1.0) in x 0.311 * [taylor]: Rewrote expression to (+ (* x (fma 0.04481 x 0.99229)) 1.0) 0.311 * [taylor]: Taking taylor expansion of (* x (fma 0.04481 x 0.99229)) in x 0.311 * [taylor]: Taking taylor expansion of x in x 0.311 * [taylor]: Taking taylor expansion of (fma 0.04481 x 0.99229) in x 0.311 * [taylor]: Rewrote expression to (+ (* 0.04481 x) 0.99229) 0.311 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x 0.311 * [taylor]: Taking taylor expansion of 0.04481 in x 0.311 * [taylor]: Taking taylor expansion of x in x 0.311 * [taylor]: Taking taylor expansion of 0.99229 in x 0.311 * [taylor]: Taking taylor expansion of 1.0 in x 0.317 * [approximate]: Taking taylor expansion of (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0) in (x) around 0 0.317 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0) in x 0.317 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) 1.0) 0.317 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) in x 0.317 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.317 * [taylor]: Taking taylor expansion of x in x 0.317 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ 1 x) 0.99229) in x 0.317 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ 1 x)) 0.99229) 0.317 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 0.317 * [taylor]: Taking taylor expansion of 0.04481 in x 0.317 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.317 * [taylor]: Taking taylor expansion of x in x 0.317 * [taylor]: Taking taylor expansion of 0.99229 in x 0.317 * [taylor]: Taking taylor expansion of 1.0 in x 0.317 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0) in x 0.318 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) 1.0) 0.318 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) in x 0.318 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.318 * [taylor]: Taking taylor expansion of x in x 0.318 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ 1 x) 0.99229) in x 0.318 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ 1 x)) 0.99229) 0.318 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 0.318 * [taylor]: Taking taylor expansion of 0.04481 in x 0.318 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.318 * [taylor]: Taking taylor expansion of x in x 0.318 * [taylor]: Taking taylor expansion of 0.99229 in x 0.318 * [taylor]: Taking taylor expansion of 1.0 in x 0.324 * [approximate]: Taking taylor expansion of (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0) in (x) around 0 0.324 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0) in x 0.324 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) 1.0) 0.324 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) in x 0.324 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.324 * [taylor]: Taking taylor expansion of -1 in x 0.324 * [taylor]: Taking taylor expansion of x in x 0.325 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ -1 x) 0.99229) in x 0.325 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ -1 x)) 0.99229) 0.325 * [taylor]: Taking taylor expansion of (* 0.04481 (/ -1 x)) in x 0.325 * [taylor]: Taking taylor expansion of 0.04481 in x 0.325 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.325 * [taylor]: Taking taylor expansion of -1 in x 0.325 * [taylor]: Taking taylor expansion of x in x 0.325 * [taylor]: Taking taylor expansion of 0.99229 in x 0.325 * [taylor]: Taking taylor expansion of 1.0 in x 0.325 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0) in x 0.325 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) 1.0) 0.325 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) in x 0.325 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.325 * [taylor]: Taking taylor expansion of -1 in x 0.325 * [taylor]: Taking taylor expansion of x in x 0.326 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ -1 x) 0.99229) in x 0.326 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ -1 x)) 0.99229) 0.326 * [taylor]: Taking taylor expansion of (* 0.04481 (/ -1 x)) in x 0.326 * [taylor]: Taking taylor expansion of 0.04481 in x 0.326 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.326 * [taylor]: Taking taylor expansion of -1 in x 0.326 * [taylor]: Taking taylor expansion of x in x 0.326 * [taylor]: Taking taylor expansion of 0.99229 in x 0.326 * [taylor]: Taking taylor expansion of 1.0 in x 0.333 * * * [progress]: simplifying candidates 0.334 * [simplify]: Simplifying using # : (expm1 (/ (* 0.70711 (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0))) (log1p (/ (* 0.70711 (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0))) (- (+ (log 0.70711) (log (fma 0.27061 x 2.30753))) (log (fma x (fma 0.04481 x 0.99229) 1.0))) (- (log (* 0.70711 (fma 0.27061 x 2.30753))) (log (fma x (fma 0.04481 x 0.99229) 1.0))) (log (/ (* 0.70711 (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0))) (exp (/ (* 0.70711 (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (* (* (* 0.70711 0.70711) 0.70711) (* (* (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))) (/ (* (* (* 0.70711 (fma 0.27061 x 2.30753)) (* 0.70711 (fma 0.27061 x 2.30753))) (* 0.70711 (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 (/ (* 0.70711 (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0))) (cbrt (/ (* 0.70711 (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0)))) (cbrt (/ (* 0.70711 (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0))) (* (* (/ (* 0.70711 (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0)) (/ (* 0.70711 (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (* 0.70711 (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt (/ (* 0.70711 (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt (/ (* 0.70711 (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0))) (- (* 0.70711 (fma 0.27061 x 2.30753))) (- (fma x (fma 0.04481 x 0.99229) 1.0)) (/ 0.70711 (* (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))) (/ 0.70711 (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))) (/ 0.70711 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) (* 0.70711 (fma 0.27061 x 2.30753))) (/ (* 0.70711 (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)))) (/ (* 0.70711 (fma 0.27061 x 2.30753)) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (* 0.70711 (fma 0.27061 x 2.30753)) 1) (/ (fma x (fma 0.04481 x 0.99229) 1.0) (fma 0.27061 x 2.30753)) (expm1 (* 0.70711 (fma 0.27061 x 2.30753))) (log1p (* 0.70711 (fma 0.27061 x 2.30753))) (* 0.70711 (fma 0.27061 x 2.30753)) (+ (log 0.70711) (log (fma 0.27061 x 2.30753))) (log (* 0.70711 (fma 0.27061 x 2.30753))) (exp (* 0.70711 (fma 0.27061 x 2.30753))) (* (* (* 0.70711 0.70711) 0.70711) (* (* (fma 0.27061 x 2.30753) (fma 0.27061 x 2.30753)) (fma 0.27061 x 2.30753))) (* (cbrt (* 0.70711 (fma 0.27061 x 2.30753))) (cbrt (* 0.70711 (fma 0.27061 x 2.30753)))) (cbrt (* 0.70711 (fma 0.27061 x 2.30753))) (* (* (* 0.70711 (fma 0.27061 x 2.30753)) (* 0.70711 (fma 0.27061 x 2.30753))) (* 0.70711 (fma 0.27061 x 2.30753))) (sqrt (* 0.70711 (fma 0.27061 x 2.30753))) (sqrt (* 0.70711 (fma 0.27061 x 2.30753))) (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))) (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))) (* 0.70711 (* 0.27061 x)) (* 0.70711 2.30753) (* (* 0.27061 x) 0.70711) (* 2.30753 0.70711) (* 0.70711 (* (cbrt (fma 0.27061 x 2.30753)) (cbrt (fma 0.27061 x 2.30753)))) (* 0.70711 (sqrt (fma 0.27061 x 2.30753))) (* 0.70711 1) (* (cbrt 0.70711) (fma 0.27061 x 2.30753)) (* (sqrt 0.70711) (fma 0.27061 x 2.30753)) (* 0.70711 (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)) (- (+ (* 1.3436228731669864 (pow x 2)) 1.6316775383) (* 1.4277462673797068 x)) (- (+ (* 4.2702753202410175 (/ 1 x)) (* 1192.3851440772235 (/ 1 (pow x 3)))) (* 58.149385387680425 (/ 1 (pow x 2)))) (- (+ (* 4.2702753202410175 (/ 1 x)) (* 1192.3851440772235 (/ 1 (pow x 3)))) (* 58.149385387680425 (/ 1 (pow x 2)))) (+ (* 0.1913510371 x) 1.6316775383) (+ (* 0.1913510371 x) 1.6316775383) (+ (* 0.1913510371 x) 1.6316775383) (+ (* 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.335 * [simplify]: Sending expressions to egg_math: (expm1 (/ (* h0 (fma h1 h2 h3)) (fma h2 (fma h4 h2 h5) h6))) (log1p (/ (* h0 (fma h1 h2 h3)) (fma h2 (fma h4 h2 h5) h6))) (- (+ (log h0) (log (fma h1 h2 h3))) (log (fma h2 (fma h4 h2 h5) h6))) (- (log (* h0 (fma h1 h2 h3))) (log (fma h2 (fma h4 h2 h5) h6))) (log (/ (* h0 (fma h1 h2 h3)) (fma h2 (fma h4 h2 h5) h6))) (exp (/ (* h0 (fma h1 h2 h3)) (fma h2 (fma h4 h2 h5) h6))) (/ (* (* (* h0 h0) h0) (* (* (fma h1 h2 h3) (fma h1 h2 h3)) (fma h1 h2 h3))) (* (* (fma h2 (fma h4 h2 h5) h6) (fma h2 (fma h4 h2 h5) h6)) (fma h2 (fma h4 h2 h5) h6))) (/ (* (* (* h0 (fma h1 h2 h3)) (* h0 (fma h1 h2 h3))) (* h0 (fma h1 h2 h3))) (* (* (fma h2 (fma h4 h2 h5) h6) (fma h2 (fma h4 h2 h5) h6)) (fma h2 (fma h4 h2 h5) h6))) (* (cbrt (/ (* h0 (fma h1 h2 h3)) (fma h2 (fma h4 h2 h5) h6))) (cbrt (/ (* h0 (fma h1 h2 h3)) (fma h2 (fma h4 h2 h5) h6)))) (cbrt (/ (* h0 (fma h1 h2 h3)) (fma h2 (fma h4 h2 h5) h6))) (* (* (/ (* h0 (fma h1 h2 h3)) (fma h2 (fma h4 h2 h5) h6)) (/ (* h0 (fma h1 h2 h3)) (fma h2 (fma h4 h2 h5) h6))) (/ (* h0 (fma h1 h2 h3)) (fma h2 (fma h4 h2 h5) h6))) (sqrt (/ (* h0 (fma h1 h2 h3)) (fma h2 (fma h4 h2 h5) h6))) (sqrt (/ (* h0 (fma h1 h2 h3)) (fma h2 (fma h4 h2 h5) h6))) (- (* h0 (fma h1 h2 h3))) (- (fma h2 (fma h4 h2 h5) h6)) (/ h0 (* (cbrt (fma h2 (fma h4 h2 h5) h6)) (cbrt (fma h2 (fma h4 h2 h5) h6)))) (/ (fma h1 h2 h3) (cbrt (fma h2 (fma h4 h2 h5) h6))) (/ h0 (sqrt (fma h2 (fma h4 h2 h5) h6))) (/ (fma h1 h2 h3) (sqrt (fma h2 (fma h4 h2 h5) h6))) (/ h0 1) (/ (fma h1 h2 h3) (fma h2 (fma h4 h2 h5) h6)) (/ 1 (fma h2 (fma h4 h2 h5) h6)) (/ (fma h2 (fma h4 h2 h5) h6) (* h0 (fma h1 h2 h3))) (/ (* h0 (fma h1 h2 h3)) (* (cbrt (fma h2 (fma h4 h2 h5) h6)) (cbrt (fma h2 (fma h4 h2 h5) h6)))) (/ (* h0 (fma h1 h2 h3)) (sqrt (fma h2 (fma h4 h2 h5) h6))) (/ (* h0 (fma h1 h2 h3)) 1) (/ (fma h2 (fma h4 h2 h5) h6) (fma h1 h2 h3)) (expm1 (* h0 (fma h1 h2 h3))) (log1p (* h0 (fma h1 h2 h3))) (* h0 (fma h1 h2 h3)) (+ (log h0) (log (fma h1 h2 h3))) (log (* h0 (fma h1 h2 h3))) (exp (* h0 (fma h1 h2 h3))) (* (* (* h0 h0) h0) (* (* (fma h1 h2 h3) (fma h1 h2 h3)) (fma h1 h2 h3))) (* (cbrt (* h0 (fma h1 h2 h3))) (cbrt (* h0 (fma h1 h2 h3)))) (cbrt (* h0 (fma h1 h2 h3))) (* (* (* h0 (fma h1 h2 h3)) (* h0 (fma h1 h2 h3))) (* h0 (fma h1 h2 h3))) (sqrt (* h0 (fma h1 h2 h3))) (sqrt (* h0 (fma h1 h2 h3))) (* (sqrt h0) (sqrt (fma h1 h2 h3))) (* (sqrt h0) (sqrt (fma h1 h2 h3))) (* h0 (* h1 h2)) (* h0 h3) (* (* h1 h2) h0) (* h3 h0) (* h0 (* (cbrt (fma h1 h2 h3)) (cbrt (fma h1 h2 h3)))) (* h0 (sqrt (fma h1 h2 h3))) (* h0 1) (* (cbrt h0) (fma h1 h2 h3)) (* (sqrt h0) (fma h1 h2 h3)) (* h0 (fma h1 h2 h3)) (expm1 (fma h2 (fma h4 h2 h5) h6)) (log1p (fma h2 (fma h4 h2 h5) h6)) (* h2 (fma h4 h2 h5)) (log (fma h2 (fma h4 h2 h5) h6)) (exp (fma h2 (fma h4 h2 h5) h6)) (* (cbrt (fma h2 (fma h4 h2 h5) h6)) (cbrt (fma h2 (fma h4 h2 h5) h6))) (cbrt (fma h2 (fma h4 h2 h5) h6)) (* (* (fma h2 (fma h4 h2 h5) h6) (fma h2 (fma h4 h2 h5) h6)) (fma h2 (fma h4 h2 h5) h6)) (sqrt (fma h2 (fma h4 h2 h5) h6)) (sqrt (fma h2 (fma h4 h2 h5) h6)) (- (+ (* h7 (pow h2 2)) h8) (* h9 h2)) (- (+ (* h10 (/ 1 h2)) (* h11 (/ 1 (pow h2 3)))) (* h12 (/ 1 (pow h2 2)))) (- (+ (* h10 (/ 1 h2)) (* h11 (/ 1 (pow h2 3)))) (* h12 (/ 1 (pow h2 2)))) (+ (* h13 h2) h8) (+ (* h13 h2) h8) (+ (* h13 h2) h8) (+ (* h4 (pow h2 2)) (+ (* h5 h2) h6)) (+ (* h4 (pow h2 2)) (+ (* h5 h2) h6)) (+ (* h4 (pow h2 2)) (+ (* h5 h2) h6)) 0.339 * * [simplify]: iteration 0 : 238 enodes (cost 335 ) 0.344 * * [simplify]: iteration 1 : 1024 enodes (cost 281 ) 0.365 * * [simplify]: iteration 2 : 5002 enodes (cost 281 ) 0.367 * [simplify]: Simplified to: (expm1 (/ (* 0.70711 (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0))) (log1p (/ (* 0.70711 (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0))) (log (/ (* 0.70711 (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0))) (log (/ (* 0.70711 (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0))) (log (/ (* 0.70711 (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0))) (exp (/ (* 0.70711 (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0))) (pow (/ (* 0.70711 (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0)) 3) (pow (/ (* 0.70711 (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0)) 3) (* (cbrt (/ (* 0.70711 (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0))) (cbrt (/ (* 0.70711 (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0)))) (cbrt (/ (* 0.70711 (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0))) (pow (/ (* 0.70711 (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0)) 3) (sqrt (/ (* 0.70711 (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt (/ (* 0.70711 (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0))) (- (* 0.70711 (fma 0.27061 x 2.30753))) (- (fma x (fma 0.04481 x 0.99229) 1.0)) (/ 0.70711 (* (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))) (/ 0.70711 (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))) 0.70711 (/ (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) (* 0.70711 (fma 0.27061 x 2.30753))) (/ (* 0.70711 (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)))) (/ (* 0.70711 (fma 0.27061 x 2.30753)) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (* 0.70711 (fma 0.27061 x 2.30753)) (/ (fma x (fma 0.04481 x 0.99229) 1.0) (fma 0.27061 x 2.30753)) (expm1 (* 0.70711 (fma 0.27061 x 2.30753))) (log1p (* 0.70711 (fma 0.27061 x 2.30753))) (* 0.70711 (fma 0.27061 x 2.30753)) (log (* 0.70711 (fma 0.27061 x 2.30753))) (log (* 0.70711 (fma 0.27061 x 2.30753))) (exp (* 0.70711 (fma 0.27061 x 2.30753))) (pow (* 0.70711 (fma 0.27061 x 2.30753)) 3) (* (cbrt (* 0.70711 (fma 0.27061 x 2.30753))) (cbrt (* 0.70711 (fma 0.27061 x 2.30753)))) (cbrt (* 0.70711 (fma 0.27061 x 2.30753))) (pow (* 0.70711 (fma 0.27061 x 2.30753)) 3) (sqrt (* 0.70711 (fma 0.27061 x 2.30753))) (sqrt (* 0.70711 (fma 0.27061 x 2.30753))) (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))) (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))) (* 0.70711 (* 0.27061 x)) (* 0.70711 2.30753) (* 0.70711 (* 0.27061 x)) (* 0.70711 2.30753) (* 0.70711 (* (cbrt (fma 0.27061 x 2.30753)) (cbrt (fma 0.27061 x 2.30753)))) (* 0.70711 (sqrt (fma 0.27061 x 2.30753))) 0.70711 (* (cbrt 0.70711) (fma 0.27061 x 2.30753)) (* (sqrt 0.70711) (fma 0.27061 x 2.30753)) (* 0.70711 (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 (pow x 2) 1.3436228731669864 (- 1.6316775383 (* 1.4277462673797068 x))) (fma 4.2702753202410175 (/ 1 x) (- (* 1192.3851440772235 (/ 1 (pow x 3))) (* 58.149385387680425 (/ 1 (pow x 2))))) (fma 4.2702753202410175 (/ 1 x) (- (* 1192.3851440772235 (/ 1 (pow x 3))) (* 58.149385387680425 (/ 1 (pow x 2))))) (fma 0.1913510371 x 1.6316775383) (fma 0.1913510371 x 1.6316775383) (fma 0.1913510371 x 1.6316775383) (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.368 * * * [progress]: adding candidates to table 0.537 * * [progress]: iteration 2 / 4 0.537 * * * [progress]: picking best candidate 0.540 * * * * [pick]: Picked # 0.540 * * * [progress]: localizing error 0.557 * * * [progress]: generating rewritten candidates 0.557 * * * * [progress]: [ 1 / 4 ] rewriting at (2 3 2 2) 0.559 * * * * [progress]: [ 2 / 4 ] rewriting at (2 3 1 2) 0.560 * * * * [progress]: [ 3 / 4 ] rewriting at (2 3 1) 0.566 * * * * [progress]: [ 4 / 4 ] rewriting at (2 3) 0.609 * * * [progress]: generating series expansions 0.609 * * * * [progress]: [ 1 / 4 ] generating series at (2 3 2 2) 0.609 * [approximate]: Taking taylor expansion of (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)) in (x) around 0 0.609 * [taylor]: Taking taylor expansion of (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)) in x 0.609 * [taylor]: Taking taylor expansion of (fma x (fma 0.04481 x 0.99229) 1.0) in x 0.609 * [taylor]: Rewrote expression to (+ (* x (fma 0.04481 x 0.99229)) 1.0) 0.609 * [taylor]: Taking taylor expansion of (* x (fma 0.04481 x 0.99229)) in x 0.609 * [taylor]: Taking taylor expansion of x in x 0.609 * [taylor]: Taking taylor expansion of (fma 0.04481 x 0.99229) in x 0.609 * [taylor]: Rewrote expression to (+ (* 0.04481 x) 0.99229) 0.609 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x 0.609 * [taylor]: Taking taylor expansion of 0.04481 in x 0.609 * [taylor]: Taking taylor expansion of x in x 0.609 * [taylor]: Taking taylor expansion of 0.99229 in x 0.609 * [taylor]: Taking taylor expansion of 1.0 in x 0.614 * [taylor]: Taking taylor expansion of (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)) in x 0.614 * [taylor]: Taking taylor expansion of (fma x (fma 0.04481 x 0.99229) 1.0) in x 0.614 * [taylor]: Rewrote expression to (+ (* x (fma 0.04481 x 0.99229)) 1.0) 0.614 * [taylor]: Taking taylor expansion of (* x (fma 0.04481 x 0.99229)) in x 0.614 * [taylor]: Taking taylor expansion of x in x 0.614 * [taylor]: Taking taylor expansion of (fma 0.04481 x 0.99229) in x 0.614 * [taylor]: Rewrote expression to (+ (* 0.04481 x) 0.99229) 0.614 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x 0.614 * [taylor]: Taking taylor expansion of 0.04481 in x 0.614 * [taylor]: Taking taylor expansion of x in x 0.614 * [taylor]: Taking taylor expansion of 0.99229 in x 0.614 * [taylor]: Taking taylor expansion of 1.0 in x 0.634 * [approximate]: Taking taylor expansion of (sqrt (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0)) in (x) around 0 0.634 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0)) in x 0.634 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0) in x 0.634 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) 1.0) 0.634 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) in x 0.634 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.634 * [taylor]: Taking taylor expansion of x in x 0.634 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ 1 x) 0.99229) in x 0.634 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ 1 x)) 0.99229) 0.634 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 0.634 * [taylor]: Taking taylor expansion of 0.04481 in x 0.634 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.634 * [taylor]: Taking taylor expansion of x in x 0.635 * [taylor]: Taking taylor expansion of 0.99229 in x 0.635 * [taylor]: Taking taylor expansion of 1.0 in x 0.639 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0)) in x 0.639 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0) in x 0.639 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) 1.0) 0.639 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) in x 0.639 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.639 * [taylor]: Taking taylor expansion of x in x 0.639 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ 1 x) 0.99229) in x 0.640 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ 1 x)) 0.99229) 0.640 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 0.640 * [taylor]: Taking taylor expansion of 0.04481 in x 0.640 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.640 * [taylor]: Taking taylor expansion of x in x 0.640 * [taylor]: Taking taylor expansion of 0.99229 in x 0.640 * [taylor]: Taking taylor expansion of 1.0 in x 0.659 * [approximate]: Taking taylor expansion of (sqrt (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0)) in (x) around 0 0.659 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0)) in x 0.659 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0) in x 0.659 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) 1.0) 0.659 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) in x 0.659 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.659 * [taylor]: Taking taylor expansion of -1 in x 0.659 * [taylor]: Taking taylor expansion of x in x 0.659 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ -1 x) 0.99229) in x 0.659 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ -1 x)) 0.99229) 0.659 * [taylor]: Taking taylor expansion of (* 0.04481 (/ -1 x)) in x 0.659 * [taylor]: Taking taylor expansion of 0.04481 in x 0.659 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.659 * [taylor]: Taking taylor expansion of -1 in x 0.659 * [taylor]: Taking taylor expansion of x in x 0.660 * [taylor]: Taking taylor expansion of 0.99229 in x 0.660 * [taylor]: Taking taylor expansion of 1.0 in x 0.665 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0)) in x 0.665 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0) in x 0.665 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) 1.0) 0.665 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) in x 0.665 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.665 * [taylor]: Taking taylor expansion of -1 in x 0.665 * [taylor]: Taking taylor expansion of x in x 0.666 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ -1 x) 0.99229) in x 0.666 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ -1 x)) 0.99229) 0.666 * [taylor]: Taking taylor expansion of (* 0.04481 (/ -1 x)) in x 0.666 * [taylor]: Taking taylor expansion of 0.04481 in x 0.666 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.666 * [taylor]: Taking taylor expansion of -1 in x 0.666 * [taylor]: Taking taylor expansion of x in x 0.666 * [taylor]: Taking taylor expansion of 0.99229 in x 0.666 * [taylor]: Taking taylor expansion of 1.0 in x 0.686 * * * * [progress]: [ 2 / 4 ] generating series at (2 3 1 2) 0.686 * [approximate]: Taking taylor expansion of (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)) in (x) around 0 0.686 * [taylor]: Taking taylor expansion of (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)) in x 0.686 * [taylor]: Taking taylor expansion of (fma x (fma 0.04481 x 0.99229) 1.0) in x 0.686 * [taylor]: Rewrote expression to (+ (* x (fma 0.04481 x 0.99229)) 1.0) 0.686 * [taylor]: Taking taylor expansion of (* x (fma 0.04481 x 0.99229)) in x 0.686 * [taylor]: Taking taylor expansion of x in x 0.686 * [taylor]: Taking taylor expansion of (fma 0.04481 x 0.99229) in x 0.686 * [taylor]: Rewrote expression to (+ (* 0.04481 x) 0.99229) 0.686 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x 0.686 * [taylor]: Taking taylor expansion of 0.04481 in x 0.686 * [taylor]: Taking taylor expansion of x in x 0.686 * [taylor]: Taking taylor expansion of 0.99229 in x 0.686 * [taylor]: Taking taylor expansion of 1.0 in x 0.696 * [taylor]: Taking taylor expansion of (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)) in x 0.696 * [taylor]: Taking taylor expansion of (fma x (fma 0.04481 x 0.99229) 1.0) in x 0.696 * [taylor]: Rewrote expression to (+ (* x (fma 0.04481 x 0.99229)) 1.0) 0.697 * [taylor]: Taking taylor expansion of (* x (fma 0.04481 x 0.99229)) in x 0.697 * [taylor]: Taking taylor expansion of x in x 0.697 * [taylor]: Taking taylor expansion of (fma 0.04481 x 0.99229) in x 0.697 * [taylor]: Rewrote expression to (+ (* 0.04481 x) 0.99229) 0.697 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x 0.697 * [taylor]: Taking taylor expansion of 0.04481 in x 0.697 * [taylor]: Taking taylor expansion of x in x 0.697 * [taylor]: Taking taylor expansion of 0.99229 in x 0.697 * [taylor]: Taking taylor expansion of 1.0 in x 0.715 * [approximate]: Taking taylor expansion of (sqrt (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0)) in (x) around 0 0.715 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0)) in x 0.715 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0) in x 0.715 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) 1.0) 0.715 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) in x 0.716 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.716 * [taylor]: Taking taylor expansion of x in x 0.716 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ 1 x) 0.99229) in x 0.716 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ 1 x)) 0.99229) 0.716 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 0.716 * [taylor]: Taking taylor expansion of 0.04481 in x 0.716 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.716 * [taylor]: Taking taylor expansion of x in x 0.716 * [taylor]: Taking taylor expansion of 0.99229 in x 0.716 * [taylor]: Taking taylor expansion of 1.0 in x 0.721 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0)) in x 0.721 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0) in x 0.721 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) 1.0) 0.721 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) in x 0.721 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.721 * [taylor]: Taking taylor expansion of x in x 0.721 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ 1 x) 0.99229) in x 0.721 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ 1 x)) 0.99229) 0.721 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 0.721 * [taylor]: Taking taylor expansion of 0.04481 in x 0.721 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.721 * [taylor]: Taking taylor expansion of x in x 0.722 * [taylor]: Taking taylor expansion of 0.99229 in x 0.722 * [taylor]: Taking taylor expansion of 1.0 in x 0.740 * [approximate]: Taking taylor expansion of (sqrt (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0)) in (x) around 0 0.740 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0)) in x 0.740 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0) in x 0.740 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) 1.0) 0.740 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) in x 0.740 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.740 * [taylor]: Taking taylor expansion of -1 in x 0.740 * [taylor]: Taking taylor expansion of x in x 0.741 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ -1 x) 0.99229) in x 0.741 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ -1 x)) 0.99229) 0.741 * [taylor]: Taking taylor expansion of (* 0.04481 (/ -1 x)) in x 0.741 * [taylor]: Taking taylor expansion of 0.04481 in x 0.741 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.741 * [taylor]: Taking taylor expansion of -1 in x 0.741 * [taylor]: Taking taylor expansion of x in x 0.741 * [taylor]: Taking taylor expansion of 0.99229 in x 0.741 * [taylor]: Taking taylor expansion of 1.0 in x 0.746 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0)) in x 0.746 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0) in x 0.746 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) 1.0) 0.747 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) in x 0.747 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.747 * [taylor]: Taking taylor expansion of -1 in x 0.747 * [taylor]: Taking taylor expansion of x in x 0.747 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ -1 x) 0.99229) in x 0.747 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ -1 x)) 0.99229) 0.747 * [taylor]: Taking taylor expansion of (* 0.04481 (/ -1 x)) in x 0.747 * [taylor]: Taking taylor expansion of 0.04481 in x 0.747 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.747 * [taylor]: Taking taylor expansion of -1 in x 0.747 * [taylor]: Taking taylor expansion of x in x 0.747 * [taylor]: Taking taylor expansion of 0.99229 in x 0.747 * [taylor]: Taking taylor expansion of 1.0 in x 0.767 * * * * [progress]: [ 3 / 4 ] generating series at (2 3 1) 0.767 * [approximate]: Taking taylor expansion of (* 0.70711 (sqrt (/ 1 (fma x (fma 0.04481 x 0.99229) 1.0)))) in (x) around 0 0.767 * [taylor]: Taking taylor expansion of (* 0.70711 (sqrt (/ 1 (fma x (fma 0.04481 x 0.99229) 1.0)))) in x 0.767 * [taylor]: Taking taylor expansion of 0.70711 in x 0.767 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (fma x (fma 0.04481 x 0.99229) 1.0))) in x 0.767 * [taylor]: Taking taylor expansion of (/ 1 (fma x (fma 0.04481 x 0.99229) 1.0)) in x 0.767 * [taylor]: Taking taylor expansion of (fma x (fma 0.04481 x 0.99229) 1.0) in x 0.767 * [taylor]: Rewrote expression to (+ (* x (fma 0.04481 x 0.99229)) 1.0) 0.767 * [taylor]: Taking taylor expansion of (* x (fma 0.04481 x 0.99229)) in x 0.767 * [taylor]: Taking taylor expansion of x in x 0.767 * [taylor]: Taking taylor expansion of (fma 0.04481 x 0.99229) in x 0.767 * [taylor]: Rewrote expression to (+ (* 0.04481 x) 0.99229) 0.767 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x 0.767 * [taylor]: Taking taylor expansion of 0.04481 in x 0.767 * [taylor]: Taking taylor expansion of x in x 0.768 * [taylor]: Taking taylor expansion of 0.99229 in x 0.768 * [taylor]: Taking taylor expansion of 1.0 in x 0.773 * [taylor]: Taking taylor expansion of (* 0.70711 (sqrt (/ 1 (fma x (fma 0.04481 x 0.99229) 1.0)))) in x 0.773 * [taylor]: Taking taylor expansion of 0.70711 in x 0.773 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (fma x (fma 0.04481 x 0.99229) 1.0))) in x 0.773 * [taylor]: Taking taylor expansion of (/ 1 (fma x (fma 0.04481 x 0.99229) 1.0)) in x 0.773 * [taylor]: Taking taylor expansion of (fma x (fma 0.04481 x 0.99229) 1.0) in x 0.773 * [taylor]: Rewrote expression to (+ (* x (fma 0.04481 x 0.99229)) 1.0) 0.774 * [taylor]: Taking taylor expansion of (* x (fma 0.04481 x 0.99229)) in x 0.774 * [taylor]: Taking taylor expansion of x in x 0.774 * [taylor]: Taking taylor expansion of (fma 0.04481 x 0.99229) in x 0.774 * [taylor]: Rewrote expression to (+ (* 0.04481 x) 0.99229) 0.774 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x 0.774 * [taylor]: Taking taylor expansion of 0.04481 in x 0.774 * [taylor]: Taking taylor expansion of x in x 0.774 * [taylor]: Taking taylor expansion of 0.99229 in x 0.774 * [taylor]: Taking taylor expansion of 1.0 in x 0.812 * [approximate]: Taking taylor expansion of (* 0.70711 (sqrt (/ 1 (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0)))) in (x) around 0 0.812 * [taylor]: Taking taylor expansion of (* 0.70711 (sqrt (/ 1 (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0)))) in x 0.812 * [taylor]: Taking taylor expansion of 0.70711 in x 0.812 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0))) in x 0.812 * [taylor]: Taking taylor expansion of (/ 1 (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0)) in x 0.812 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0) in x 0.812 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) 1.0) 0.812 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) in x 0.812 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.812 * [taylor]: Taking taylor expansion of x in x 0.812 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ 1 x) 0.99229) in x 0.813 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ 1 x)) 0.99229) 0.813 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 0.813 * [taylor]: Taking taylor expansion of 0.04481 in x 0.813 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.813 * [taylor]: Taking taylor expansion of x in x 0.813 * [taylor]: Taking taylor expansion of 0.99229 in x 0.813 * [taylor]: Taking taylor expansion of 1.0 in x 0.819 * [taylor]: Taking taylor expansion of (* 0.70711 (sqrt (/ 1 (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0)))) in x 0.819 * [taylor]: Taking taylor expansion of 0.70711 in x 0.819 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0))) in x 0.819 * [taylor]: Taking taylor expansion of (/ 1 (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0)) in x 0.819 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0) in x 0.819 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) 1.0) 0.819 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) in x 0.819 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.819 * [taylor]: Taking taylor expansion of x in x 0.820 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ 1 x) 0.99229) in x 0.820 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ 1 x)) 0.99229) 0.820 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 0.820 * [taylor]: Taking taylor expansion of 0.04481 in x 0.820 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.820 * [taylor]: Taking taylor expansion of x in x 0.820 * [taylor]: Taking taylor expansion of 0.99229 in x 0.820 * [taylor]: Taking taylor expansion of 1.0 in x 0.853 * [approximate]: Taking taylor expansion of (* 0.70711 (sqrt (/ 1 (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0)))) in (x) around 0 0.853 * [taylor]: Taking taylor expansion of (* 0.70711 (sqrt (/ 1 (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0)))) in x 0.853 * [taylor]: Taking taylor expansion of 0.70711 in x 0.853 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0))) in x 0.853 * [taylor]: Taking taylor expansion of (/ 1 (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0)) in x 0.853 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0) in x 0.853 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) 1.0) 0.853 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) in x 0.853 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.853 * [taylor]: Taking taylor expansion of -1 in x 0.854 * [taylor]: Taking taylor expansion of x in x 0.854 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ -1 x) 0.99229) in x 0.854 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ -1 x)) 0.99229) 0.854 * [taylor]: Taking taylor expansion of (* 0.04481 (/ -1 x)) in x 0.854 * [taylor]: Taking taylor expansion of 0.04481 in x 0.854 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.854 * [taylor]: Taking taylor expansion of -1 in x 0.854 * [taylor]: Taking taylor expansion of x in x 0.854 * [taylor]: Taking taylor expansion of 0.99229 in x 0.854 * [taylor]: Taking taylor expansion of 1.0 in x 0.867 * [taylor]: Taking taylor expansion of (* 0.70711 (sqrt (/ 1 (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0)))) in x 0.867 * [taylor]: Taking taylor expansion of 0.70711 in x 0.867 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0))) in x 0.867 * [taylor]: Taking taylor expansion of (/ 1 (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0)) in x 0.867 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0) in x 0.867 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) 1.0) 0.867 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) in x 0.867 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.867 * [taylor]: Taking taylor expansion of -1 in x 0.867 * [taylor]: Taking taylor expansion of x in x 0.868 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ -1 x) 0.99229) in x 0.868 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ -1 x)) 0.99229) 0.868 * [taylor]: Taking taylor expansion of (* 0.04481 (/ -1 x)) in x 0.868 * [taylor]: Taking taylor expansion of 0.04481 in x 0.868 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.868 * [taylor]: Taking taylor expansion of -1 in x 0.868 * [taylor]: Taking taylor expansion of x in x 0.868 * [taylor]: Taking taylor expansion of 0.99229 in x 0.868 * [taylor]: Taking taylor expansion of 1.0 in x 0.901 * * * * [progress]: [ 4 / 4 ] generating series at (2 3) 0.901 * [approximate]: Taking taylor expansion of (* 0.70711 (/ (fma 0.27061 x 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) in (x) around 0 0.901 * [taylor]: Taking taylor expansion of (* 0.70711 (/ (fma 0.27061 x 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) in x 0.901 * [taylor]: Taking taylor expansion of 0.70711 in x 0.901 * [taylor]: Taking taylor expansion of (/ (fma 0.27061 x 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) in x 0.901 * [taylor]: Taking taylor expansion of (fma 0.27061 x 2.30753) in x 0.901 * [taylor]: Rewrote expression to (+ (* 0.27061 x) 2.30753) 0.901 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x 0.901 * [taylor]: Taking taylor expansion of 0.27061 in x 0.901 * [taylor]: Taking taylor expansion of x in x 0.901 * [taylor]: Taking taylor expansion of 2.30753 in x 0.901 * [taylor]: Taking taylor expansion of (fma x (fma 0.04481 x 0.99229) 1.0) in x 0.902 * [taylor]: Rewrote expression to (+ (* x (fma 0.04481 x 0.99229)) 1.0) 0.902 * [taylor]: Taking taylor expansion of (* x (fma 0.04481 x 0.99229)) in x 0.902 * [taylor]: Taking taylor expansion of x in x 0.902 * [taylor]: Taking taylor expansion of (fma 0.04481 x 0.99229) in x 0.902 * [taylor]: Rewrote expression to (+ (* 0.04481 x) 0.99229) 0.902 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x 0.902 * [taylor]: Taking taylor expansion of 0.04481 in x 0.902 * [taylor]: Taking taylor expansion of x in x 0.902 * [taylor]: Taking taylor expansion of 0.99229 in x 0.902 * [taylor]: Taking taylor expansion of 1.0 in x 0.903 * [taylor]: Taking taylor expansion of (* 0.70711 (/ (fma 0.27061 x 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) in x 0.903 * [taylor]: Taking taylor expansion of 0.70711 in x 0.903 * [taylor]: Taking taylor expansion of (/ (fma 0.27061 x 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) in x 0.903 * [taylor]: Taking taylor expansion of (fma 0.27061 x 2.30753) in x 0.904 * [taylor]: Rewrote expression to (+ (* 0.27061 x) 2.30753) 0.904 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x 0.904 * [taylor]: Taking taylor expansion of 0.27061 in x 0.904 * [taylor]: Taking taylor expansion of x in x 0.904 * [taylor]: Taking taylor expansion of 2.30753 in x 0.904 * [taylor]: Taking taylor expansion of (fma x (fma 0.04481 x 0.99229) 1.0) in x 0.904 * [taylor]: Rewrote expression to (+ (* x (fma 0.04481 x 0.99229)) 1.0) 0.904 * [taylor]: Taking taylor expansion of (* x (fma 0.04481 x 0.99229)) in x 0.904 * [taylor]: Taking taylor expansion of x in x 0.904 * [taylor]: Taking taylor expansion of (fma 0.04481 x 0.99229) in x 0.904 * [taylor]: Rewrote expression to (+ (* 0.04481 x) 0.99229) 0.904 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x 0.904 * [taylor]: Taking taylor expansion of 0.04481 in x 0.904 * [taylor]: Taking taylor expansion of x in x 0.904 * [taylor]: Taking taylor expansion of 0.99229 in x 0.904 * [taylor]: Taking taylor expansion of 1.0 in x 0.920 * [approximate]: Taking taylor expansion of (* 0.70711 (/ (fma 0.27061 (/ 1 x) 2.30753) (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0))) in (x) around 0 0.920 * [taylor]: Taking taylor expansion of (* 0.70711 (/ (fma 0.27061 (/ 1 x) 2.30753) (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0))) in x 0.920 * [taylor]: Taking taylor expansion of 0.70711 in x 0.920 * [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.920 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ 1 x) 2.30753) in x 0.920 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ 1 x)) 2.30753) 0.920 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 0.920 * [taylor]: Taking taylor expansion of 0.27061 in x 0.920 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.920 * [taylor]: Taking taylor expansion of x in x 0.920 * [taylor]: Taking taylor expansion of 2.30753 in x 0.920 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0) in x 0.920 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) 1.0) 0.920 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) in x 0.920 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.920 * [taylor]: Taking taylor expansion of x in x 0.921 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ 1 x) 0.99229) in x 0.921 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ 1 x)) 0.99229) 0.921 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 0.921 * [taylor]: Taking taylor expansion of 0.04481 in x 0.921 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.921 * [taylor]: Taking taylor expansion of x in x 0.921 * [taylor]: Taking taylor expansion of 0.99229 in x 0.921 * [taylor]: Taking taylor expansion of 1.0 in x 0.923 * [taylor]: Taking taylor expansion of (* 0.70711 (/ (fma 0.27061 (/ 1 x) 2.30753) (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0))) in x 0.923 * [taylor]: Taking taylor expansion of 0.70711 in x 0.923 * [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.923 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ 1 x) 2.30753) in x 0.923 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ 1 x)) 2.30753) 0.923 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 0.923 * [taylor]: Taking taylor expansion of 0.27061 in x 0.923 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.923 * [taylor]: Taking taylor expansion of x in x 0.923 * [taylor]: Taking taylor expansion of 2.30753 in x 0.923 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0) in x 0.923 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) 1.0) 0.923 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) in x 0.923 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.923 * [taylor]: Taking taylor expansion of x in x 0.924 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ 1 x) 0.99229) in x 0.924 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ 1 x)) 0.99229) 0.924 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 0.924 * [taylor]: Taking taylor expansion of 0.04481 in x 0.924 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.924 * [taylor]: Taking taylor expansion of x in x 0.924 * [taylor]: Taking taylor expansion of 0.99229 in x 0.924 * [taylor]: Taking taylor expansion of 1.0 in x 0.940 * [approximate]: Taking taylor expansion of (* 0.70711 (/ (fma 0.27061 (/ -1 x) 2.30753) (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0))) in (x) around 0 0.940 * [taylor]: Taking taylor expansion of (* 0.70711 (/ (fma 0.27061 (/ -1 x) 2.30753) (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0))) in x 0.940 * [taylor]: Taking taylor expansion of 0.70711 in x 0.940 * [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.940 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ -1 x) 2.30753) in x 0.940 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ -1 x)) 2.30753) 0.940 * [taylor]: Taking taylor expansion of (* 0.27061 (/ -1 x)) in x 0.940 * [taylor]: Taking taylor expansion of 0.27061 in x 0.940 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.940 * [taylor]: Taking taylor expansion of -1 in x 0.940 * [taylor]: Taking taylor expansion of x in x 0.941 * [taylor]: Taking taylor expansion of 2.30753 in x 0.941 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0) in x 0.941 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) 1.0) 0.941 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) in x 0.941 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.941 * [taylor]: Taking taylor expansion of -1 in x 0.941 * [taylor]: Taking taylor expansion of x in x 0.941 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ -1 x) 0.99229) in x 0.941 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ -1 x)) 0.99229) 0.941 * [taylor]: Taking taylor expansion of (* 0.04481 (/ -1 x)) in x 0.941 * [taylor]: Taking taylor expansion of 0.04481 in x 0.941 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.941 * [taylor]: Taking taylor expansion of -1 in x 0.941 * [taylor]: Taking taylor expansion of x in x 0.942 * [taylor]: Taking taylor expansion of 0.99229 in x 0.942 * [taylor]: Taking taylor expansion of 1.0 in x 0.944 * [taylor]: Taking taylor expansion of (* 0.70711 (/ (fma 0.27061 (/ -1 x) 2.30753) (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0))) in x 0.944 * [taylor]: Taking taylor expansion of 0.70711 in x 0.944 * [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.944 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ -1 x) 2.30753) in x 0.944 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ -1 x)) 2.30753) 0.944 * [taylor]: Taking taylor expansion of (* 0.27061 (/ -1 x)) in x 0.944 * [taylor]: Taking taylor expansion of 0.27061 in x 0.944 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.944 * [taylor]: Taking taylor expansion of -1 in x 0.944 * [taylor]: Taking taylor expansion of x in x 0.944 * [taylor]: Taking taylor expansion of 2.30753 in x 0.944 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0) in x 0.944 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) 1.0) 0.944 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) in x 0.944 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.944 * [taylor]: Taking taylor expansion of -1 in x 0.944 * [taylor]: Taking taylor expansion of x in x 0.950 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ -1 x) 0.99229) in x 0.950 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ -1 x)) 0.99229) 0.951 * [taylor]: Taking taylor expansion of (* 0.04481 (/ -1 x)) in x 0.951 * [taylor]: Taking taylor expansion of 0.04481 in x 0.951 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.951 * [taylor]: Taking taylor expansion of -1 in x 0.951 * [taylor]: Taking taylor expansion of x in x 0.951 * [taylor]: Taking taylor expansion of 0.99229 in x 0.951 * [taylor]: Taking taylor expansion of 1.0 in x 0.970 * * * [progress]: simplifying candidates 0.973 * [simplify]: Simplifying using # : (expm1 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (log1p (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (log (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (exp (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (* (cbrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (cbrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (cbrt (sqrt (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))) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt (* (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (sqrt (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt 1) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)) (/ 1 2) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (expm1 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (log1p (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (log (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (exp (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (* (cbrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (cbrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (cbrt (sqrt (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))) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt (* (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (sqrt (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt 1) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)) (/ 1 2) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (expm1 (/ 0.70711 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (log1p (/ 0.70711 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (- (log 0.70711) (log (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (log (/ 0.70711 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (exp (/ 0.70711 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (* (* 0.70711 0.70711) 0.70711) (* (* (sqrt (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)))) (* (cbrt (/ 0.70711 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (cbrt (/ 0.70711 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (cbrt (/ 0.70711 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (* (* (/ 0.70711 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ 0.70711 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ 0.70711 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (sqrt (/ 0.70711 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (sqrt (/ 0.70711 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (- 0.70711) (- (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (* (cbrt 0.70711) (cbrt 0.70711)) (* (cbrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (cbrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (/ (cbrt 0.70711) (cbrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (* (cbrt 0.70711) (cbrt 0.70711)) (sqrt (* (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (/ (cbrt 0.70711) (sqrt (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (* (cbrt 0.70711) (cbrt 0.70711)) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (cbrt 0.70711) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (* (cbrt 0.70711) (cbrt 0.70711)) (sqrt 1)) (/ (cbrt 0.70711) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (* (cbrt 0.70711) (cbrt 0.70711)) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (cbrt 0.70711) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (* (cbrt 0.70711) (cbrt 0.70711)) 1) (/ (cbrt 0.70711) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (sqrt 0.70711) (* (cbrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (cbrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (/ (sqrt 0.70711) (cbrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (sqrt 0.70711) (sqrt (* (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (/ (sqrt 0.70711) (sqrt (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (sqrt 0.70711) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (sqrt 0.70711) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (sqrt 0.70711) (sqrt 1)) (/ (sqrt 0.70711) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (sqrt 0.70711) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (sqrt 0.70711) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (sqrt 0.70711) 1) (/ (sqrt 0.70711) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ 1 (* (cbrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (cbrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (/ 0.70711 (cbrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ 1 (sqrt (* (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (/ 0.70711 (sqrt (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ 1 (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ 0.70711 (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ 1 (sqrt 1)) (/ 0.70711 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ 1 (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ 0.70711 (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ 1 1) (/ 0.70711 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ 1 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)) 0.70711) (/ 0.70711 (* (cbrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (cbrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (/ 0.70711 (sqrt (* (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (/ 0.70711 (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ 0.70711 (sqrt 1)) (/ 0.70711 (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ 0.70711 1) (/ (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)) (cbrt 0.70711)) (/ (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)) (sqrt 0.70711)) (/ (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)) 0.70711) (expm1 (* (/ 0.70711 (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))))) (log1p (* (/ 0.70711 (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))))) (* (/ 0.70711 (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)))) (+ (- (log 0.70711) (log (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (- (log (fma 0.27061 x 2.30753)) (log (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (+ (- (log 0.70711) (log (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (log (/ (fma 0.27061 x 2.30753) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (+ (log (/ 0.70711 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (- (log (fma 0.27061 x 2.30753)) (log (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (+ (log (/ 0.70711 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (log (/ (fma 0.27061 x 2.30753) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (log (* (/ 0.70711 (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))))) (exp (* (/ 0.70711 (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))))) (* (/ (* (* 0.70711 0.70711) 0.70711) (* (* (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (* (* (fma 0.27061 x 2.30753) (fma 0.27061 x 2.30753)) (fma 0.27061 x 2.30753)) (* (* (sqrt (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))))) (* (/ (* (* 0.70711 0.70711) 0.70711) (* (* (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (* (* (/ (fma 0.27061 x 2.30753) (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)))) (/ (fma 0.27061 x 2.30753) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (* (* (* (/ 0.70711 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ 0.70711 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ 0.70711 (sqrt (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)) (* (* (sqrt (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))))) (* (* (* (/ 0.70711 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ 0.70711 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ 0.70711 (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))) (/ (fma 0.27061 x 2.30753) (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))))) (* (cbrt (* (/ 0.70711 (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))))) (cbrt (* (/ 0.70711 (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)))))) (cbrt (* (/ 0.70711 (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))))) (* (* (* (/ 0.70711 (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)))) (* (/ 0.70711 (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))))) (* (/ 0.70711 (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))))) (sqrt (* (/ 0.70711 (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))))) (sqrt (* (/ 0.70711 (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))))) (* 0.70711 (fma 0.27061 x 2.30753)) (* (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (* (sqrt (/ 0.70711 (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 (/ 0.70711 (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 (/ 0.70711 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (sqrt (fma 0.27061 x 2.30753)) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (* (sqrt (/ 0.70711 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (sqrt (fma 0.27061 x 2.30753)) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (* (sqrt (/ 0.70711 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (sqrt (fma 0.27061 x 2.30753)) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (* (sqrt (/ 0.70711 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (sqrt (fma 0.27061 x 2.30753)) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (* (/ (sqrt 0.70711) (sqrt (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 0.70711) (sqrt (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 0.70711) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (sqrt (fma 0.27061 x 2.30753)) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (* (/ (sqrt 0.70711) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (sqrt (fma 0.27061 x 2.30753)) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (* (/ (sqrt 0.70711) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (sqrt (fma 0.27061 x 2.30753)) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (* (/ (sqrt 0.70711) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (sqrt (fma 0.27061 x 2.30753)) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (* (/ (sqrt 0.70711) (sqrt (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 0.70711) (sqrt (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 0.70711) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (sqrt (fma 0.27061 x 2.30753)) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (* (/ (sqrt 0.70711) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (sqrt (fma 0.27061 x 2.30753)) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (* (/ (sqrt 0.70711) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (sqrt (fma 0.27061 x 2.30753)) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (* (/ (sqrt 0.70711) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (sqrt (fma 0.27061 x 2.30753)) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (* (/ 0.70711 (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) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))))) (* (/ 0.70711 (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))))) (* (/ 0.70711 (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 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (cbrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))))) (* (/ 0.70711 (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))) (sqrt (* (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))))) (* (/ 0.70711 (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))) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (* (/ 0.70711 (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))) (sqrt 1))) (* (/ 0.70711 (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))) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (* (/ 0.70711 (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)) (* (/ 0.70711 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (sqrt (fma 0.27061 x 2.30753)) (* (cbrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (cbrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))))) (* (/ 0.70711 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (sqrt (fma 0.27061 x 2.30753)) (sqrt (* (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))))) (* (/ 0.70711 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (sqrt (fma 0.27061 x 2.30753)) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (* (/ 0.70711 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (sqrt (fma 0.27061 x 2.30753)) (sqrt 1))) (* (/ 0.70711 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (sqrt (fma 0.27061 x 2.30753)) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (* (/ 0.70711 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (sqrt (fma 0.27061 x 2.30753)) 1)) (* (/ 0.70711 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ 1 (* (cbrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (cbrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))))) (* (/ 0.70711 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ 1 (sqrt (* (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))))) (* (/ 0.70711 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ 1 (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (* (/ 0.70711 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ 1 (sqrt 1))) (* (/ 0.70711 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ 1 (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (* (/ 0.70711 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ 1 1)) (* (/ 0.70711 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) 1) (* (/ 0.70711 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (fma 0.27061 x 2.30753)) (* (cbrt (/ 0.70711 (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)))) (* (sqrt (/ 0.70711 (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)))) (* (/ (cbrt 0.70711) (cbrt (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)))) (* (/ (cbrt 0.70711) (sqrt (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)))) (* (/ (cbrt 0.70711) (sqrt (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)))) (* (/ (cbrt 0.70711) (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)))) (* (/ (cbrt 0.70711) (sqrt (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)))) (* (/ (cbrt 0.70711) (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)))) (* (/ (sqrt 0.70711) (cbrt (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)))) (* (/ (sqrt 0.70711) (sqrt (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)))) (* (/ (sqrt 0.70711) (sqrt (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)))) (* (/ (sqrt 0.70711) (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)))) (* (/ (sqrt 0.70711) (sqrt (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)))) (* (/ (sqrt 0.70711) (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)))) (* (/ 0.70711 (cbrt (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)))) (* (/ 0.70711 (sqrt (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)))) (* (/ 0.70711 (sqrt (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)))) (* (/ 0.70711 (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)))) (* (/ 0.70711 (sqrt (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)))) (* (/ 0.70711 (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)))) (* (/ 0.70711 (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 (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)))) (* (/ 0.70711 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (fma 0.27061 x 2.30753)) (* 0.70711 (/ (fma 0.27061 x 2.30753) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (- (+ (sqrt 1.0) (+ (* 0.496145 (/ x (sqrt 1.0))) (* 0.022405 (/ (pow x 2) (sqrt 1.0))))) (* 0.1230799305125 (/ (pow x 2) (pow (sqrt 1.0) 3)))) (- (+ (* 0.496145 (/ 1 (sqrt 0.04481))) (+ (* (sqrt 0.04481) x) (* 0.5 (/ 1 (* (sqrt 0.04481) x))))) (* 0.1230799305125 (/ 1 (* (pow (sqrt 0.04481) 3) x)))) (- (* 0.1230799305125 (/ 1 (* (pow (sqrt 0.04481) 3) x))) (+ (* 0.496145 (/ 1 (sqrt 0.04481))) (+ (* (sqrt 0.04481) x) (* 0.5 (/ 1 (* (sqrt 0.04481) x)))))) (- (+ (sqrt 1.0) (+ (* 0.496145 (/ x (sqrt 1.0))) (* 0.022405 (/ (pow x 2) (sqrt 1.0))))) (* 0.1230799305125 (/ (pow x 2) (pow (sqrt 1.0) 3)))) (- (+ (* 0.496145 (/ 1 (sqrt 0.04481))) (+ (* (sqrt 0.04481) x) (* 0.5 (/ 1 (* (sqrt 0.04481) x))))) (* 0.1230799305125 (/ 1 (* (pow (sqrt 0.04481) 3) x)))) (- (* 0.1230799305125 (/ 1 (* (pow (sqrt 0.04481) 3) x))) (+ (* 0.496145 (/ 1 (sqrt 0.04481))) (+ (* (sqrt 0.04481) x) (* 0.5 (/ 1 (* (sqrt 0.04481) x)))))) (- (+ (* 0.70711 (sqrt 1.0)) (* 0.3322813991087755 (/ (pow x 2) (sqrt 1.0)))) (+ (* 0.08703104966469388 (/ (pow x 2) (pow (sqrt 1.0) 3))) (* 0.35082909095000003 (/ x (sqrt 1.0))))) (- (+ (* 0.70711 (/ (sqrt 22.31644722160232) x)) (* 3693.016080507325 (/ 1 (* (pow x 3) (sqrt 22.31644722160232))))) (+ (* 174.72124284731967 (/ 1 (* (pow x 2) (sqrt 22.31644722160232)))) (* 21586.112982500643 (/ 1 (* (pow x 3) (pow (sqrt 22.31644722160232) 3)))))) (- (+ (* 174.72124284731967 (/ 1 (* (pow x 2) (sqrt 22.31644722160232)))) (* 21586.112982500643 (/ 1 (* (pow x 3) (pow (sqrt 22.31644722160232) 3))))) (+ (* 0.70711 (/ (sqrt 22.31644722160232) x)) (* 3693.016080507325 (/ 1 (* (pow x 3) (sqrt 22.31644722160232)))))) (- (+ (* 1.3436228731669864 (pow x 2)) 1.6316775383) (* 1.4277462673797068 x)) (- (+ (* 4.2702753202410175 (/ 1 x)) (* 1192.3851440772235 (/ 1 (pow x 3)))) (* 58.149385387680425 (/ 1 (pow x 2)))) (- (+ (* 4.2702753202410175 (/ 1 x)) (* 1192.3851440772235 (/ 1 (pow x 3)))) (* 58.149385387680425 (/ 1 (pow x 2)))) 0.974 * [simplify]: Sending expressions to egg_math: (expm1 (sqrt (fma h0 (fma h1 h0 h2) h3))) (log1p (sqrt (fma h0 (fma h1 h0 h2) h3))) (log (sqrt (fma h0 (fma h1 h0 h2) h3))) (exp (sqrt (fma h0 (fma h1 h0 h2) h3))) (* (cbrt (sqrt (fma h0 (fma h1 h0 h2) h3))) (cbrt (sqrt (fma h0 (fma h1 h0 h2) h3)))) (cbrt (sqrt (fma h0 (fma h1 h0 h2) h3))) (* (* (sqrt (fma h0 (fma h1 h0 h2) h3)) (sqrt (fma h0 (fma h1 h0 h2) h3))) (sqrt (fma h0 (fma h1 h0 h2) h3))) (sqrt (* (cbrt (fma h0 (fma h1 h0 h2) h3)) (cbrt (fma h0 (fma h1 h0 h2) h3)))) (sqrt (cbrt (fma h0 (fma h1 h0 h2) h3))) (sqrt (sqrt (fma h0 (fma h1 h0 h2) h3))) (sqrt (sqrt (fma h0 (fma h1 h0 h2) h3))) (sqrt 1) (sqrt (fma h0 (fma h1 h0 h2) h3)) (/ 1 2) (sqrt (sqrt (fma h0 (fma h1 h0 h2) h3))) (sqrt (sqrt (fma h0 (fma h1 h0 h2) h3))) (expm1 (sqrt (fma h0 (fma h1 h0 h2) h3))) (log1p (sqrt (fma h0 (fma h1 h0 h2) h3))) (log (sqrt (fma h0 (fma h1 h0 h2) h3))) (exp (sqrt (fma h0 (fma h1 h0 h2) h3))) (* (cbrt (sqrt (fma h0 (fma h1 h0 h2) h3))) (cbrt (sqrt (fma h0 (fma h1 h0 h2) h3)))) (cbrt (sqrt (fma h0 (fma h1 h0 h2) h3))) (* (* (sqrt (fma h0 (fma h1 h0 h2) h3)) (sqrt (fma h0 (fma h1 h0 h2) h3))) (sqrt (fma h0 (fma h1 h0 h2) h3))) (sqrt (* (cbrt (fma h0 (fma h1 h0 h2) h3)) (cbrt (fma h0 (fma h1 h0 h2) h3)))) (sqrt (cbrt (fma h0 (fma h1 h0 h2) h3))) (sqrt (sqrt (fma h0 (fma h1 h0 h2) h3))) (sqrt (sqrt (fma h0 (fma h1 h0 h2) h3))) (sqrt 1) (sqrt (fma h0 (fma h1 h0 h2) h3)) (/ 1 2) (sqrt (sqrt (fma h0 (fma h1 h0 h2) h3))) (sqrt (sqrt (fma h0 (fma h1 h0 h2) h3))) (expm1 (/ h4 (sqrt (fma h0 (fma h1 h0 h2) h3)))) (log1p (/ h4 (sqrt (fma h0 (fma h1 h0 h2) h3)))) (- (log h4) (log (sqrt (fma h0 (fma h1 h0 h2) h3)))) (log (/ h4 (sqrt (fma h0 (fma h1 h0 h2) h3)))) (exp (/ h4 (sqrt (fma h0 (fma h1 h0 h2) h3)))) (/ (* (* h4 h4) h4) (* (* (sqrt (fma h0 (fma h1 h0 h2) h3)) (sqrt (fma h0 (fma h1 h0 h2) h3))) (sqrt (fma h0 (fma h1 h0 h2) h3)))) (* (cbrt (/ h4 (sqrt (fma h0 (fma h1 h0 h2) h3)))) (cbrt (/ h4 (sqrt (fma h0 (fma h1 h0 h2) h3))))) (cbrt (/ h4 (sqrt (fma h0 (fma h1 h0 h2) h3)))) (* (* (/ h4 (sqrt (fma h0 (fma h1 h0 h2) h3))) (/ h4 (sqrt (fma h0 (fma h1 h0 h2) h3)))) (/ h4 (sqrt (fma h0 (fma h1 h0 h2) h3)))) (sqrt (/ h4 (sqrt (fma h0 (fma h1 h0 h2) h3)))) (sqrt (/ h4 (sqrt (fma h0 (fma h1 h0 h2) h3)))) (- h4) (- (sqrt (fma h0 (fma h1 h0 h2) h3))) (/ (* (cbrt h4) (cbrt h4)) (* (cbrt (sqrt (fma h0 (fma h1 h0 h2) h3))) (cbrt (sqrt (fma h0 (fma h1 h0 h2) h3))))) (/ (cbrt h4) (cbrt (sqrt (fma h0 (fma h1 h0 h2) h3)))) (/ (* (cbrt h4) (cbrt h4)) (sqrt (* (cbrt (fma h0 (fma h1 h0 h2) h3)) (cbrt (fma h0 (fma h1 h0 h2) h3))))) (/ (cbrt h4) (sqrt (cbrt (fma h0 (fma h1 h0 h2) h3)))) (/ (* (cbrt h4) (cbrt h4)) (sqrt (sqrt (fma h0 (fma h1 h0 h2) h3)))) (/ (cbrt h4) (sqrt (sqrt (fma h0 (fma h1 h0 h2) h3)))) (/ (* (cbrt h4) (cbrt h4)) (sqrt 1)) (/ (cbrt h4) (sqrt (fma h0 (fma h1 h0 h2) h3))) (/ (* (cbrt h4) (cbrt h4)) (sqrt (sqrt (fma h0 (fma h1 h0 h2) h3)))) (/ (cbrt h4) (sqrt (sqrt (fma h0 (fma h1 h0 h2) h3)))) (/ (* (cbrt h4) (cbrt h4)) 1) (/ (cbrt h4) (sqrt (fma h0 (fma h1 h0 h2) h3))) (/ (sqrt h4) (* (cbrt (sqrt (fma h0 (fma h1 h0 h2) h3))) (cbrt (sqrt (fma h0 (fma h1 h0 h2) h3))))) (/ (sqrt h4) (cbrt (sqrt (fma h0 (fma h1 h0 h2) h3)))) (/ (sqrt h4) (sqrt (* (cbrt (fma h0 (fma h1 h0 h2) h3)) (cbrt (fma h0 (fma h1 h0 h2) h3))))) (/ (sqrt h4) (sqrt (cbrt (fma h0 (fma h1 h0 h2) h3)))) (/ (sqrt h4) (sqrt (sqrt (fma h0 (fma h1 h0 h2) h3)))) (/ (sqrt h4) (sqrt (sqrt (fma h0 (fma h1 h0 h2) h3)))) (/ (sqrt h4) (sqrt 1)) (/ (sqrt h4) (sqrt (fma h0 (fma h1 h0 h2) h3))) (/ (sqrt h4) (sqrt (sqrt (fma h0 (fma h1 h0 h2) h3)))) (/ (sqrt h4) (sqrt (sqrt (fma h0 (fma h1 h0 h2) h3)))) (/ (sqrt h4) 1) (/ (sqrt h4) (sqrt (fma h0 (fma h1 h0 h2) h3))) (/ 1 (* (cbrt (sqrt (fma h0 (fma h1 h0 h2) h3))) (cbrt (sqrt (fma h0 (fma h1 h0 h2) h3))))) (/ h4 (cbrt (sqrt (fma h0 (fma h1 h0 h2) h3)))) (/ 1 (sqrt (* (cbrt (fma h0 (fma h1 h0 h2) h3)) (cbrt (fma h0 (fma h1 h0 h2) h3))))) (/ h4 (sqrt (cbrt (fma h0 (fma h1 h0 h2) h3)))) (/ 1 (sqrt (sqrt (fma h0 (fma h1 h0 h2) h3)))) (/ h4 (sqrt (sqrt (fma h0 (fma h1 h0 h2) h3)))) (/ 1 (sqrt 1)) (/ h4 (sqrt (fma h0 (fma h1 h0 h2) h3))) (/ 1 (sqrt (sqrt (fma h0 (fma h1 h0 h2) h3)))) (/ h4 (sqrt (sqrt (fma h0 (fma h1 h0 h2) h3)))) (/ 1 1) (/ h4 (sqrt (fma h0 (fma h1 h0 h2) h3))) (/ 1 (sqrt (fma h0 (fma h1 h0 h2) h3))) (/ (sqrt (fma h0 (fma h1 h0 h2) h3)) h4) (/ h4 (* (cbrt (sqrt (fma h0 (fma h1 h0 h2) h3))) (cbrt (sqrt (fma h0 (fma h1 h0 h2) h3))))) (/ h4 (sqrt (* (cbrt (fma h0 (fma h1 h0 h2) h3)) (cbrt (fma h0 (fma h1 h0 h2) h3))))) (/ h4 (sqrt (sqrt (fma h0 (fma h1 h0 h2) h3)))) (/ h4 (sqrt 1)) (/ h4 (sqrt (sqrt (fma h0 (fma h1 h0 h2) h3)))) (/ h4 1) (/ (sqrt (fma h0 (fma h1 h0 h2) h3)) (cbrt h4)) (/ (sqrt (fma h0 (fma h1 h0 h2) h3)) (sqrt h4)) (/ (sqrt (fma h0 (fma h1 h0 h2) h3)) h4) (expm1 (* (/ h4 (sqrt (fma h0 (fma h1 h0 h2) h3))) (/ (fma h5 h0 h6) (sqrt (fma h0 (fma h1 h0 h2) h3))))) (log1p (* (/ h4 (sqrt (fma h0 (fma h1 h0 h2) h3))) (/ (fma h5 h0 h6) (sqrt (fma h0 (fma h1 h0 h2) h3))))) (* (/ h4 (sqrt (fma h0 (fma h1 h0 h2) h3))) (/ (fma h5 h0 h6) (sqrt (fma h0 (fma h1 h0 h2) h3)))) (+ (- (log h4) (log (sqrt (fma h0 (fma h1 h0 h2) h3)))) (- (log (fma h5 h0 h6)) (log (sqrt (fma h0 (fma h1 h0 h2) h3))))) (+ (- (log h4) (log (sqrt (fma h0 (fma h1 h0 h2) h3)))) (log (/ (fma h5 h0 h6) (sqrt (fma h0 (fma h1 h0 h2) h3))))) (+ (log (/ h4 (sqrt (fma h0 (fma h1 h0 h2) h3)))) (- (log (fma h5 h0 h6)) (log (sqrt (fma h0 (fma h1 h0 h2) h3))))) (+ (log (/ h4 (sqrt (fma h0 (fma h1 h0 h2) h3)))) (log (/ (fma h5 h0 h6) (sqrt (fma h0 (fma h1 h0 h2) h3))))) (log (* (/ h4 (sqrt (fma h0 (fma h1 h0 h2) h3))) (/ (fma h5 h0 h6) (sqrt (fma h0 (fma h1 h0 h2) h3))))) (exp (* (/ h4 (sqrt (fma h0 (fma h1 h0 h2) h3))) (/ (fma h5 h0 h6) (sqrt (fma h0 (fma h1 h0 h2) h3))))) (* (/ (* (* h4 h4) h4) (* (* (sqrt (fma h0 (fma h1 h0 h2) h3)) (sqrt (fma h0 (fma h1 h0 h2) h3))) (sqrt (fma h0 (fma h1 h0 h2) h3)))) (/ (* (* (fma h5 h0 h6) (fma h5 h0 h6)) (fma h5 h0 h6)) (* (* (sqrt (fma h0 (fma h1 h0 h2) h3)) (sqrt (fma h0 (fma h1 h0 h2) h3))) (sqrt (fma h0 (fma h1 h0 h2) h3))))) (* (/ (* (* h4 h4) h4) (* (* (sqrt (fma h0 (fma h1 h0 h2) h3)) (sqrt (fma h0 (fma h1 h0 h2) h3))) (sqrt (fma h0 (fma h1 h0 h2) h3)))) (* (* (/ (fma h5 h0 h6) (sqrt (fma h0 (fma h1 h0 h2) h3))) (/ (fma h5 h0 h6) (sqrt (fma h0 (fma h1 h0 h2) h3)))) (/ (fma h5 h0 h6) (sqrt (fma h0 (fma h1 h0 h2) h3))))) (* (* (* (/ h4 (sqrt (fma h0 (fma h1 h0 h2) h3))) (/ h4 (sqrt (fma h0 (fma h1 h0 h2) h3)))) (/ h4 (sqrt (fma h0 (fma h1 h0 h2) h3)))) (/ (* (* (fma h5 h0 h6) (fma h5 h0 h6)) (fma h5 h0 h6)) (* (* (sqrt (fma h0 (fma h1 h0 h2) h3)) (sqrt (fma h0 (fma h1 h0 h2) h3))) (sqrt (fma h0 (fma h1 h0 h2) h3))))) (* (* (* (/ h4 (sqrt (fma h0 (fma h1 h0 h2) h3))) (/ h4 (sqrt (fma h0 (fma h1 h0 h2) h3)))) (/ h4 (sqrt (fma h0 (fma h1 h0 h2) h3)))) (* (* (/ (fma h5 h0 h6) (sqrt (fma h0 (fma h1 h0 h2) h3))) (/ (fma h5 h0 h6) (sqrt (fma h0 (fma h1 h0 h2) h3)))) (/ (fma h5 h0 h6) (sqrt (fma h0 (fma h1 h0 h2) h3))))) (* (cbrt (* (/ h4 (sqrt (fma h0 (fma h1 h0 h2) h3))) (/ (fma h5 h0 h6) (sqrt (fma h0 (fma h1 h0 h2) h3))))) (cbrt (* (/ h4 (sqrt (fma h0 (fma h1 h0 h2) h3))) (/ (fma h5 h0 h6) (sqrt (fma h0 (fma h1 h0 h2) h3)))))) (cbrt (* (/ h4 (sqrt (fma h0 (fma h1 h0 h2) h3))) (/ (fma h5 h0 h6) (sqrt (fma h0 (fma h1 h0 h2) h3))))) (* (* (* (/ h4 (sqrt (fma h0 (fma h1 h0 h2) h3))) (/ (fma h5 h0 h6) (sqrt (fma h0 (fma h1 h0 h2) h3)))) (* (/ h4 (sqrt (fma h0 (fma h1 h0 h2) h3))) (/ (fma h5 h0 h6) (sqrt (fma h0 (fma h1 h0 h2) h3))))) (* (/ h4 (sqrt (fma h0 (fma h1 h0 h2) h3))) (/ (fma h5 h0 h6) (sqrt (fma h0 (fma h1 h0 h2) h3))))) (sqrt (* (/ h4 (sqrt (fma h0 (fma h1 h0 h2) h3))) (/ (fma h5 h0 h6) (sqrt (fma h0 (fma h1 h0 h2) h3))))) (sqrt (* (/ h4 (sqrt (fma h0 (fma h1 h0 h2) h3))) (/ (fma h5 h0 h6) (sqrt (fma h0 (fma h1 h0 h2) h3))))) (* h4 (fma h5 h0 h6)) (* (sqrt (fma h0 (fma h1 h0 h2) h3)) (sqrt (fma h0 (fma h1 h0 h2) h3))) (* (sqrt (/ h4 (sqrt (fma h0 (fma h1 h0 h2) h3)))) (sqrt (/ (fma h5 h0 h6) (sqrt (fma h0 (fma h1 h0 h2) h3))))) (* (sqrt (/ h4 (sqrt (fma h0 (fma h1 h0 h2) h3)))) (sqrt (/ (fma h5 h0 h6) (sqrt (fma h0 (fma h1 h0 h2) h3))))) (* (sqrt (/ h4 (sqrt (fma h0 (fma h1 h0 h2) h3)))) (/ (sqrt (fma h5 h0 h6)) (sqrt (sqrt (fma h0 (fma h1 h0 h2) h3))))) (* (sqrt (/ h4 (sqrt (fma h0 (fma h1 h0 h2) h3)))) (/ (sqrt (fma h5 h0 h6)) (sqrt (sqrt (fma h0 (fma h1 h0 h2) h3))))) (* (sqrt (/ h4 (sqrt (fma h0 (fma h1 h0 h2) h3)))) (/ (sqrt (fma h5 h0 h6)) (sqrt (sqrt (fma h0 (fma h1 h0 h2) h3))))) (* (sqrt (/ h4 (sqrt (fma h0 (fma h1 h0 h2) h3)))) (/ (sqrt (fma h5 h0 h6)) (sqrt (sqrt (fma h0 (fma h1 h0 h2) h3))))) (* (/ (sqrt h4) (sqrt (sqrt (fma h0 (fma h1 h0 h2) h3)))) (sqrt (/ (fma h5 h0 h6) (sqrt (fma h0 (fma h1 h0 h2) h3))))) (* (/ (sqrt h4) (sqrt (sqrt (fma h0 (fma h1 h0 h2) h3)))) (sqrt (/ (fma h5 h0 h6) (sqrt (fma h0 (fma h1 h0 h2) h3))))) (* (/ (sqrt h4) (sqrt (sqrt (fma h0 (fma h1 h0 h2) h3)))) (/ (sqrt (fma h5 h0 h6)) (sqrt (sqrt (fma h0 (fma h1 h0 h2) h3))))) (* (/ (sqrt h4) (sqrt (sqrt (fma h0 (fma h1 h0 h2) h3)))) (/ (sqrt (fma h5 h0 h6)) (sqrt (sqrt (fma h0 (fma h1 h0 h2) h3))))) (* (/ (sqrt h4) (sqrt (sqrt (fma h0 (fma h1 h0 h2) h3)))) (/ (sqrt (fma h5 h0 h6)) (sqrt (sqrt (fma h0 (fma h1 h0 h2) h3))))) (* (/ (sqrt h4) (sqrt (sqrt (fma h0 (fma h1 h0 h2) h3)))) (/ (sqrt (fma h5 h0 h6)) (sqrt (sqrt (fma h0 (fma h1 h0 h2) h3))))) (* (/ (sqrt h4) (sqrt (sqrt (fma h0 (fma h1 h0 h2) h3)))) (sqrt (/ (fma h5 h0 h6) (sqrt (fma h0 (fma h1 h0 h2) h3))))) (* (/ (sqrt h4) (sqrt (sqrt (fma h0 (fma h1 h0 h2) h3)))) (sqrt (/ (fma h5 h0 h6) (sqrt (fma h0 (fma h1 h0 h2) h3))))) (* (/ (sqrt h4) (sqrt (sqrt (fma h0 (fma h1 h0 h2) h3)))) (/ (sqrt (fma h5 h0 h6)) (sqrt (sqrt (fma h0 (fma h1 h0 h2) h3))))) (* (/ (sqrt h4) (sqrt (sqrt (fma h0 (fma h1 h0 h2) h3)))) (/ (sqrt (fma h5 h0 h6)) (sqrt (sqrt (fma h0 (fma h1 h0 h2) h3))))) (* (/ (sqrt h4) (sqrt (sqrt (fma h0 (fma h1 h0 h2) h3)))) (/ (sqrt (fma h5 h0 h6)) (sqrt (sqrt (fma h0 (fma h1 h0 h2) h3))))) (* (/ (sqrt h4) (sqrt (sqrt (fma h0 (fma h1 h0 h2) h3)))) (/ (sqrt (fma h5 h0 h6)) (sqrt (sqrt (fma h0 (fma h1 h0 h2) h3))))) (* (/ h4 (sqrt (fma h0 (fma h1 h0 h2) h3))) (* (cbrt (/ (fma h5 h0 h6) (sqrt (fma h0 (fma h1 h0 h2) h3)))) (cbrt (/ (fma h5 h0 h6) (sqrt (fma h0 (fma h1 h0 h2) h3)))))) (* (/ h4 (sqrt (fma h0 (fma h1 h0 h2) h3))) (sqrt (/ (fma h5 h0 h6) (sqrt (fma h0 (fma h1 h0 h2) h3))))) (* (/ h4 (sqrt (fma h0 (fma h1 h0 h2) h3))) (/ (* (cbrt (fma h5 h0 h6)) (cbrt (fma h5 h0 h6))) (* (cbrt (sqrt (fma h0 (fma h1 h0 h2) h3))) (cbrt (sqrt (fma h0 (fma h1 h0 h2) h3)))))) (* (/ h4 (sqrt (fma h0 (fma h1 h0 h2) h3))) (/ (* (cbrt (fma h5 h0 h6)) (cbrt (fma h5 h0 h6))) (sqrt (* (cbrt (fma h0 (fma h1 h0 h2) h3)) (cbrt (fma h0 (fma h1 h0 h2) h3)))))) (* (/ h4 (sqrt (fma h0 (fma h1 h0 h2) h3))) (/ (* (cbrt (fma h5 h0 h6)) (cbrt (fma h5 h0 h6))) (sqrt (sqrt (fma h0 (fma h1 h0 h2) h3))))) (* (/ h4 (sqrt (fma h0 (fma h1 h0 h2) h3))) (/ (* (cbrt (fma h5 h0 h6)) (cbrt (fma h5 h0 h6))) (sqrt 1))) (* (/ h4 (sqrt (fma h0 (fma h1 h0 h2) h3))) (/ (* (cbrt (fma h5 h0 h6)) (cbrt (fma h5 h0 h6))) (sqrt (sqrt (fma h0 (fma h1 h0 h2) h3))))) (* (/ h4 (sqrt (fma h0 (fma h1 h0 h2) h3))) (/ (* (cbrt (fma h5 h0 h6)) (cbrt (fma h5 h0 h6))) 1)) (* (/ h4 (sqrt (fma h0 (fma h1 h0 h2) h3))) (/ (sqrt (fma h5 h0 h6)) (* (cbrt (sqrt (fma h0 (fma h1 h0 h2) h3))) (cbrt (sqrt (fma h0 (fma h1 h0 h2) h3)))))) (* (/ h4 (sqrt (fma h0 (fma h1 h0 h2) h3))) (/ (sqrt (fma h5 h0 h6)) (sqrt (* (cbrt (fma h0 (fma h1 h0 h2) h3)) (cbrt (fma h0 (fma h1 h0 h2) h3)))))) (* (/ h4 (sqrt (fma h0 (fma h1 h0 h2) h3))) (/ (sqrt (fma h5 h0 h6)) (sqrt (sqrt (fma h0 (fma h1 h0 h2) h3))))) (* (/ h4 (sqrt (fma h0 (fma h1 h0 h2) h3))) (/ (sqrt (fma h5 h0 h6)) (sqrt 1))) (* (/ h4 (sqrt (fma h0 (fma h1 h0 h2) h3))) (/ (sqrt (fma h5 h0 h6)) (sqrt (sqrt (fma h0 (fma h1 h0 h2) h3))))) (* (/ h4 (sqrt (fma h0 (fma h1 h0 h2) h3))) (/ (sqrt (fma h5 h0 h6)) 1)) (* (/ h4 (sqrt (fma h0 (fma h1 h0 h2) h3))) (/ 1 (* (cbrt (sqrt (fma h0 (fma h1 h0 h2) h3))) (cbrt (sqrt (fma h0 (fma h1 h0 h2) h3)))))) (* (/ h4 (sqrt (fma h0 (fma h1 h0 h2) h3))) (/ 1 (sqrt (* (cbrt (fma h0 (fma h1 h0 h2) h3)) (cbrt (fma h0 (fma h1 h0 h2) h3)))))) (* (/ h4 (sqrt (fma h0 (fma h1 h0 h2) h3))) (/ 1 (sqrt (sqrt (fma h0 (fma h1 h0 h2) h3))))) (* (/ h4 (sqrt (fma h0 (fma h1 h0 h2) h3))) (/ 1 (sqrt 1))) (* (/ h4 (sqrt (fma h0 (fma h1 h0 h2) h3))) (/ 1 (sqrt (sqrt (fma h0 (fma h1 h0 h2) h3))))) (* (/ h4 (sqrt (fma h0 (fma h1 h0 h2) h3))) (/ 1 1)) (* (/ h4 (sqrt (fma h0 (fma h1 h0 h2) h3))) 1) (* (/ h4 (sqrt (fma h0 (fma h1 h0 h2) h3))) (fma h5 h0 h6)) (* (cbrt (/ h4 (sqrt (fma h0 (fma h1 h0 h2) h3)))) (/ (fma h5 h0 h6) (sqrt (fma h0 (fma h1 h0 h2) h3)))) (* (sqrt (/ h4 (sqrt (fma h0 (fma h1 h0 h2) h3)))) (/ (fma h5 h0 h6) (sqrt (fma h0 (fma h1 h0 h2) h3)))) (* (/ (cbrt h4) (cbrt (sqrt (fma h0 (fma h1 h0 h2) h3)))) (/ (fma h5 h0 h6) (sqrt (fma h0 (fma h1 h0 h2) h3)))) (* (/ (cbrt h4) (sqrt (cbrt (fma h0 (fma h1 h0 h2) h3)))) (/ (fma h5 h0 h6) (sqrt (fma h0 (fma h1 h0 h2) h3)))) (* (/ (cbrt h4) (sqrt (sqrt (fma h0 (fma h1 h0 h2) h3)))) (/ (fma h5 h0 h6) (sqrt (fma h0 (fma h1 h0 h2) h3)))) (* (/ (cbrt h4) (sqrt (fma h0 (fma h1 h0 h2) h3))) (/ (fma h5 h0 h6) (sqrt (fma h0 (fma h1 h0 h2) h3)))) (* (/ (cbrt h4) (sqrt (sqrt (fma h0 (fma h1 h0 h2) h3)))) (/ (fma h5 h0 h6) (sqrt (fma h0 (fma h1 h0 h2) h3)))) (* (/ (cbrt h4) (sqrt (fma h0 (fma h1 h0 h2) h3))) (/ (fma h5 h0 h6) (sqrt (fma h0 (fma h1 h0 h2) h3)))) (* (/ (sqrt h4) (cbrt (sqrt (fma h0 (fma h1 h0 h2) h3)))) (/ (fma h5 h0 h6) (sqrt (fma h0 (fma h1 h0 h2) h3)))) (* (/ (sqrt h4) (sqrt (cbrt (fma h0 (fma h1 h0 h2) h3)))) (/ (fma h5 h0 h6) (sqrt (fma h0 (fma h1 h0 h2) h3)))) (* (/ (sqrt h4) (sqrt (sqrt (fma h0 (fma h1 h0 h2) h3)))) (/ (fma h5 h0 h6) (sqrt (fma h0 (fma h1 h0 h2) h3)))) (* (/ (sqrt h4) (sqrt (fma h0 (fma h1 h0 h2) h3))) (/ (fma h5 h0 h6) (sqrt (fma h0 (fma h1 h0 h2) h3)))) (* (/ (sqrt h4) (sqrt (sqrt (fma h0 (fma h1 h0 h2) h3)))) (/ (fma h5 h0 h6) (sqrt (fma h0 (fma h1 h0 h2) h3)))) (* (/ (sqrt h4) (sqrt (fma h0 (fma h1 h0 h2) h3))) (/ (fma h5 h0 h6) (sqrt (fma h0 (fma h1 h0 h2) h3)))) (* (/ h4 (cbrt (sqrt (fma h0 (fma h1 h0 h2) h3)))) (/ (fma h5 h0 h6) (sqrt (fma h0 (fma h1 h0 h2) h3)))) (* (/ h4 (sqrt (cbrt (fma h0 (fma h1 h0 h2) h3)))) (/ (fma h5 h0 h6) (sqrt (fma h0 (fma h1 h0 h2) h3)))) (* (/ h4 (sqrt (sqrt (fma h0 (fma h1 h0 h2) h3)))) (/ (fma h5 h0 h6) (sqrt (fma h0 (fma h1 h0 h2) h3)))) (* (/ h4 (sqrt (fma h0 (fma h1 h0 h2) h3))) (/ (fma h5 h0 h6) (sqrt (fma h0 (fma h1 h0 h2) h3)))) (* (/ h4 (sqrt (sqrt (fma h0 (fma h1 h0 h2) h3)))) (/ (fma h5 h0 h6) (sqrt (fma h0 (fma h1 h0 h2) h3)))) (* (/ h4 (sqrt (fma h0 (fma h1 h0 h2) h3))) (/ (fma h5 h0 h6) (sqrt (fma h0 (fma h1 h0 h2) h3)))) (* (/ h4 (sqrt (fma h0 (fma h1 h0 h2) h3))) (/ (fma h5 h0 h6) (sqrt (fma h0 (fma h1 h0 h2) h3)))) (* (/ 1 (sqrt (fma h0 (fma h1 h0 h2) h3))) (/ (fma h5 h0 h6) (sqrt (fma h0 (fma h1 h0 h2) h3)))) (* (/ h4 (sqrt (fma h0 (fma h1 h0 h2) h3))) (fma h5 h0 h6)) (* h4 (/ (fma h5 h0 h6) (sqrt (fma h0 (fma h1 h0 h2) h3)))) (- (+ (sqrt h3) (+ (* h7 (/ h0 (sqrt h3))) (* h8 (/ (pow h0 2) (sqrt h3))))) (* h9 (/ (pow h0 2) (pow (sqrt h3) 3)))) (- (+ (* h7 (/ 1 (sqrt h1))) (+ (* (sqrt h1) h0) (* h10 (/ 1 (* (sqrt h1) h0))))) (* h9 (/ 1 (* (pow (sqrt h1) 3) h0)))) (- (* h9 (/ 1 (* (pow (sqrt h1) 3) h0))) (+ (* h7 (/ 1 (sqrt h1))) (+ (* (sqrt h1) h0) (* h10 (/ 1 (* (sqrt h1) h0)))))) (- (+ (sqrt h3) (+ (* h7 (/ h0 (sqrt h3))) (* h8 (/ (pow h0 2) (sqrt h3))))) (* h9 (/ (pow h0 2) (pow (sqrt h3) 3)))) (- (+ (* h7 (/ 1 (sqrt h1))) (+ (* (sqrt h1) h0) (* h10 (/ 1 (* (sqrt h1) h0))))) (* h9 (/ 1 (* (pow (sqrt h1) 3) h0)))) (- (* h9 (/ 1 (* (pow (sqrt h1) 3) h0))) (+ (* h7 (/ 1 (sqrt h1))) (+ (* (sqrt h1) h0) (* h10 (/ 1 (* (sqrt h1) h0)))))) (- (+ (* h4 (sqrt h3)) (* h11 (/ (pow h0 2) (sqrt h3)))) (+ (* h12 (/ (pow h0 2) (pow (sqrt h3) 3))) (* h13 (/ h0 (sqrt h3))))) (- (+ (* h4 (/ (sqrt h14) h0)) (* h15 (/ 1 (* (pow h0 3) (sqrt h14))))) (+ (* h16 (/ 1 (* (pow h0 2) (sqrt h14)))) (* h17 (/ 1 (* (pow h0 3) (pow (sqrt h14) 3)))))) (- (+ (* h16 (/ 1 (* (pow h0 2) (sqrt h14)))) (* h17 (/ 1 (* (pow h0 3) (pow (sqrt h14) 3))))) (+ (* h4 (/ (sqrt h14) h0)) (* h15 (/ 1 (* (pow h0 3) (sqrt h14)))))) (- (+ (* h18 (pow h0 2)) h19) (* h20 h0)) (- (+ (* h21 (/ 1 h0)) (* h22 (/ 1 (pow h0 3)))) (* h23 (/ 1 (pow h0 2)))) (- (+ (* h21 (/ 1 h0)) (* h22 (/ 1 (pow h0 3)))) (* h23 (/ 1 (pow h0 2)))) 0.983 * * [simplify]: iteration 0 : 657 enodes (cost 1684 ) 0.995 * * [simplify]: iteration 1 : 2901 enodes (cost 1545 ) 1.036 * * [simplify]: iteration 2 : 5002 enodes (cost 1476 ) 1.043 * [simplify]: Simplified to: (expm1 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (log1p (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (log (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (exp (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (* (cbrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (cbrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (cbrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (pow (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)) 3) (fabs (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) 1 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)) 1/2 (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (expm1 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (log1p (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (log (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (exp (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (* (cbrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (cbrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (cbrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (pow (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)) 3) (fabs (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) 1 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)) 1/2 (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (expm1 (/ 0.70711 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (log1p (/ 0.70711 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (log (/ 0.70711 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (log (/ 0.70711 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (exp (/ 0.70711 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (pow (/ 0.70711 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) 3) (* (cbrt (/ 0.70711 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (cbrt (/ 0.70711 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (cbrt (/ 0.70711 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (pow (/ 0.70711 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) 3) (sqrt (/ 0.70711 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (sqrt (/ 0.70711 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (- 0.70711) (- (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (* (cbrt 0.70711) (cbrt 0.70711)) (* (cbrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (cbrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (/ (cbrt 0.70711) (cbrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (cbrt 0.70711) (/ (fabs (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (cbrt 0.70711))) (/ (cbrt 0.70711) (sqrt (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (* (cbrt 0.70711) (cbrt 0.70711)) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (cbrt 0.70711) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (* (cbrt 0.70711) (cbrt 0.70711)) (/ (cbrt 0.70711) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (* (cbrt 0.70711) (cbrt 0.70711)) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (cbrt 0.70711) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (* (cbrt 0.70711) (cbrt 0.70711)) (/ (cbrt 0.70711) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (sqrt 0.70711) (* (cbrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (cbrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (/ (sqrt 0.70711) (cbrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (sqrt 0.70711) (fabs (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (sqrt 0.70711) (sqrt (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (sqrt 0.70711) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (sqrt 0.70711) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (sqrt 0.70711) (/ (sqrt 0.70711) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (sqrt 0.70711) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (sqrt 0.70711) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (sqrt 0.70711) (/ (sqrt 0.70711) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ 1 (* (cbrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (cbrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (/ 0.70711 (cbrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ 1 (* (fabs (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) 1)) (/ 0.70711 (sqrt (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ 1 (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ 0.70711 (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) 1 (/ 0.70711 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ 1 (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ 0.70711 (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) 1 (/ 0.70711 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ 1 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)) 0.70711) (/ 0.70711 (* (cbrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (cbrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (/ 0.70711 (fabs (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ 0.70711 (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) 0.70711 (/ 0.70711 (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) 0.70711 (/ (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)) (cbrt 0.70711)) (/ (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)) (sqrt 0.70711)) (/ (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)) 0.70711) (expm1 (* (/ 0.70711 (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))))) (log1p (* (/ 0.70711 (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))))) (/ (* 0.70711 (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0)) (- (log (* 0.70711 (fma 0.27061 x 2.30753))) (log (fma x (fma 0.04481 x 0.99229) 1.0))) (- (log (* 0.70711 (fma 0.27061 x 2.30753))) (log (fma x (fma 0.04481 x 0.99229) 1.0))) (- (log (* 0.70711 (fma 0.27061 x 2.30753))) (log (fma x (fma 0.04481 x 0.99229) 1.0))) (- (log (* 0.70711 (fma 0.27061 x 2.30753))) (log (fma x (fma 0.04481 x 0.99229) 1.0))) (- (log (* 0.70711 (fma 0.27061 x 2.30753))) (log (fma x (fma 0.04481 x 0.99229) 1.0))) (pow (exp 1) (/ (* 0.70711 (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0))) (pow (/ (* 0.70711 (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0)) 3) (pow (/ (* 0.70711 (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0)) 3) (pow (/ (* 0.70711 (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0)) 3) (pow (/ (* 0.70711 (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0)) 3) (* (cbrt (* (/ 0.70711 (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))))) (cbrt (* (/ 0.70711 (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)))))) (cbrt (* (/ 0.70711 (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))))) (pow (/ (* 0.70711 (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0)) 3) (sqrt (* (/ 0.70711 (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))))) (sqrt (* (/ 0.70711 (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))))) (* 0.70711 (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0) (* (sqrt (/ 0.70711 (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 (/ 0.70711 (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 (/ 0.70711 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (sqrt (fma 0.27061 x 2.30753)) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (* (sqrt (/ 0.70711 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (sqrt (fma 0.27061 x 2.30753)) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (* (sqrt (/ 0.70711 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (sqrt (fma 0.27061 x 2.30753)) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (* (sqrt (/ 0.70711 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (sqrt (fma 0.27061 x 2.30753)) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (* (/ (sqrt 0.70711) (sqrt (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 0.70711) (sqrt (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 0.70711) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (sqrt (fma 0.27061 x 2.30753)) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (* (/ (sqrt 0.70711) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (sqrt (fma 0.27061 x 2.30753)) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (* (/ (sqrt 0.70711) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (sqrt (fma 0.27061 x 2.30753)) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (* (/ (sqrt 0.70711) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (sqrt (fma 0.27061 x 2.30753)) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (* (/ (sqrt 0.70711) (sqrt (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 0.70711) (sqrt (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 0.70711) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (sqrt (fma 0.27061 x 2.30753)) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (* (/ (sqrt 0.70711) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (sqrt (fma 0.27061 x 2.30753)) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (* (/ (sqrt 0.70711) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (sqrt (fma 0.27061 x 2.30753)) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (* (/ (sqrt 0.70711) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (sqrt (fma 0.27061 x 2.30753)) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (* (/ 0.70711 (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) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))))) (* (/ 0.70711 (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))))) (* (/ 0.70711 (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 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (cbrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))))) (/ (* (/ 0.70711 (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)))) (fabs (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (* (/ 0.70711 (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))) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (/ (* 0.70711 (* (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))) (* (/ 0.70711 (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))) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (/ (* 0.70711 (* (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))) (* (/ 0.70711 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (sqrt (fma 0.27061 x 2.30753)) (* (cbrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (cbrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))))) (/ (* (/ 0.70711 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt (fma 0.27061 x 2.30753))) (fabs (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (* (/ 0.70711 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (sqrt (fma 0.27061 x 2.30753)) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (/ (* 0.70711 (sqrt (fma 0.27061 x 2.30753))) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (* (/ 0.70711 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (sqrt (fma 0.27061 x 2.30753)) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (/ (* 0.70711 (sqrt (fma 0.27061 x 2.30753))) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (/ 0.70711 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (* (cbrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (cbrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (/ (/ 0.70711 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (fabs (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (/ 0.70711 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ 0.70711 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (/ 0.70711 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ 0.70711 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ 0.70711 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (* 0.70711 (/ (fma 0.27061 x 2.30753) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (* (cbrt (/ 0.70711 (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)))) (* (sqrt (/ 0.70711 (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)))) (* (/ (cbrt 0.70711) (cbrt (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)))) (* (/ (cbrt 0.70711) (sqrt (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)))) (* (/ (cbrt 0.70711) (sqrt (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)))) (* (/ (cbrt 0.70711) (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)))) (* (/ (cbrt 0.70711) (sqrt (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)))) (* (/ (cbrt 0.70711) (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)))) (* (/ (sqrt 0.70711) (cbrt (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)))) (* (/ (sqrt 0.70711) (sqrt (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)))) (* (/ (sqrt 0.70711) (sqrt (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)))) (* (/ (sqrt 0.70711) (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)))) (* (/ (sqrt 0.70711) (sqrt (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)))) (* (/ (sqrt 0.70711) (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)))) (* (/ 0.70711 (cbrt (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)))) (* (/ 0.70711 (sqrt (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)))) (* (/ 0.70711 (sqrt (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)))) (/ (* 0.70711 (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0)) (* (/ 0.70711 (sqrt (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)))) (/ (* 0.70711 (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0)) (/ (* 0.70711 (fma 0.27061 x 2.30753)) (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)))) (* 0.70711 (/ (fma 0.27061 x 2.30753) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (* 0.70711 (/ (fma 0.27061 x 2.30753) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (+ (sqrt 1.0) (- (fma 0.496145 (/ x (sqrt 1.0)) (* 0.022405 (/ (pow x 2) (sqrt 1.0)))) (* 0.1230799305125 (/ (pow x 2) (pow (sqrt 1.0) 3))))) (fma (- 0.1230799305125) (/ 1 (* (pow (sqrt 0.04481) 3) x)) (fma 0.496145 (/ 1 (sqrt 0.04481)) (fma x (sqrt 0.04481) (/ (/ 0.5 x) (sqrt 0.04481))))) (fma 0.1230799305125 (/ 1 (* (pow (sqrt 0.04481) 3) x)) (- (fma 0.496145 (/ 1 (sqrt 0.04481)) (fma (sqrt 0.04481) x (* 0.5 (/ 1 (* (sqrt 0.04481) x))))))) (+ (sqrt 1.0) (- (fma 0.496145 (/ x (sqrt 1.0)) (* 0.022405 (/ (pow x 2) (sqrt 1.0)))) (* 0.1230799305125 (/ (pow x 2) (pow (sqrt 1.0) 3))))) (fma (- 0.1230799305125) (/ 1 (* (pow (sqrt 0.04481) 3) x)) (fma 0.496145 (/ 1 (sqrt 0.04481)) (fma x (sqrt 0.04481) (/ (/ 0.5 x) (sqrt 0.04481))))) (fma 0.1230799305125 (/ 1 (* (pow (sqrt 0.04481) 3) x)) (- (fma 0.496145 (/ 1 (sqrt 0.04481)) (fma (sqrt 0.04481) x (* 0.5 (/ 1 (* (sqrt 0.04481) x))))))) (fma (sqrt 1.0) 0.70711 (- (* 0.3322813991087755 (/ (pow x 2) (sqrt 1.0))) (fma 0.08703104966469388 (/ (pow x 2) (pow (sqrt 1.0) 3)) (* 0.35082909095000003 (/ x (sqrt 1.0)))))) (fma 0.70711 (/ (sqrt 22.31644722160232) x) (- (* 3693.016080507325 (/ 1 (* (pow x 3) (sqrt 22.31644722160232)))) (fma 174.72124284731967 (/ 1 (* (pow x 2) (sqrt 22.31644722160232))) (* 21586.112982500643 (/ 1 (* (pow x 3) (pow (sqrt 22.31644722160232) 3))))))) (fma 174.72124284731967 (/ 1 (* (pow x 2) (sqrt 22.31644722160232))) (- (* 21586.112982500643 (/ 1 (* (pow x 3) (pow (sqrt 22.31644722160232) 3)))) (fma 0.70711 (/ (sqrt 22.31644722160232) x) (* 3693.016080507325 (/ 1 (* (pow x 3) (sqrt 22.31644722160232))))))) (fma (pow x 2) 1.3436228731669864 (- 1.6316775383 (* 1.4277462673797068 x))) (fma 4.2702753202410175 (/ 1 x) (- (* 1192.3851440772235 (/ 1 (pow x 3))) (* 58.149385387680425 (/ 1 (pow x 2))))) (fma 4.2702753202410175 (/ 1 x) (- (* 1192.3851440772235 (/ 1 (pow x 3))) (* 58.149385387680425 (/ 1 (pow x 2))))) 1.044 * * * [progress]: adding candidates to table 1.558 * [progress]: [Phase 3 of 3] Extracting. 1.558 * * [regime]: Finding splitpoints for: (# #) 1.558 * * * [regime-changes]: Trying 1 branch expressions: (x) 1.558 * * * * [regimes]: Trying to branch on x from (# #) 1.573 * * * [regime]: Found split indices: #