5.152 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.017 * * * [progress]: [2/2] Setting up program. 0.019 * [progress]: [Phase 2 of 3] Improving. 0.020 * [simplify]: Simplifying using # : (* 0.70711 (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x)) 0.020 * [simplify]: Sending expressions to egg_math: (* h0 (- (/ (+ h1 (* h2 h3)) (+ h4 (* h2 (+ h5 (* h2 h6))))) h2)) 0.022 * * [simplify]: iteration 0 : 31 enodes (cost 9 ) 0.024 * * [simplify]: iteration 1 : 59 enodes (cost 9 ) 0.026 * * [simplify]: iteration 2 : 90 enodes (cost 9 ) 0.027 * * [simplify]: iteration 3 : 116 enodes (cost 7 ) 0.029 * * [simplify]: iteration 4 : 130 enodes (cost 7 ) 0.031 * * [simplify]: iteration 5 : 148 enodes (cost 7 ) 0.034 * * [simplify]: iteration 6 : 188 enodes (cost 7 ) 0.036 * * [simplify]: iteration 7 : 264 enodes (cost 7 ) 0.039 * * [simplify]: iteration 8 : 304 enodes (cost 7 ) 0.043 * * [simplify]: iteration 9 : 377 enodes (cost 7 ) 0.047 * * [simplify]: iteration 10 : 580 enodes (cost 7 ) 0.054 * * [simplify]: iteration 11 : 851 enodes (cost 7 ) 0.067 * * [simplify]: iteration 12 : 1402 enodes (cost 7 ) 0.082 * * [simplify]: iteration 13 : 2787 enodes (cost 7 ) 0.100 * * [simplify]: iteration 14 : 3168 enodes (cost 7 ) 0.125 * * [simplify]: iteration 15 : 4321 enodes (cost 7 ) 0.155 * * [simplify]: iteration 16 : 5001 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.161 * * * * [pick]: Picked # 0.161 * * * [progress]: localizing error 0.173 * * * [progress]: generating rewritten candidates 0.173 * * * * [progress]: [ 1 / 4 ] rewriting at (2 3) 0.184 * * * * [progress]: [ 2 / 4 ] rewriting at (2 3 1) 0.191 * * * * [progress]: [ 3 / 4 ] rewriting at (2 3 2) 0.191 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 0.192 * * * [progress]: generating series expansions 0.192 * * * * [progress]: [ 1 / 4 ] 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.193 * [taylor]: Rewrote expression to (+ (* 0.04481 x) 0.99229) 0.193 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x 0.193 * [taylor]: Taking taylor expansion of 0.04481 in x 0.193 * [taylor]: Taking taylor expansion of x in x 0.193 * [taylor]: Taking taylor expansion of 0.99229 in x 0.193 * [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.195 * [taylor]: Taking taylor expansion of (/ (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 (fma 0.27061 x 2.30753) in x 0.195 * [taylor]: Rewrote expression to (+ (* 0.27061 x) 2.30753) 0.195 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x 0.195 * [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.217 * [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.217 * [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.217 * [taylor]: Taking taylor expansion of 0.70711 in x 0.217 * [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.217 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ 1 x) 2.30753) in x 0.217 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ 1 x)) 2.30753) 0.217 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 0.217 * [taylor]: Taking taylor expansion of 0.27061 in x 0.217 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.217 * [taylor]: Taking taylor expansion of x in x 0.217 * [taylor]: Taking taylor expansion of 2.30753 in x 0.217 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0) in x 0.218 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) 1.0) 0.218 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) 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 (fma 0.04481 (/ 1 x) 0.99229) in x 0.218 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ 1 x)) 0.99229) 0.218 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 0.218 * [taylor]: Taking taylor expansion of 0.04481 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 0.99229 in x 0.218 * [taylor]: Taking taylor expansion of 1.0 in x 0.220 * [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.220 * [taylor]: Taking taylor expansion of 0.70711 in x 0.220 * [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.220 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ 1 x) 2.30753) in x 0.220 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ 1 x)) 2.30753) 0.220 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 0.220 * [taylor]: Taking taylor expansion of 0.27061 in x 0.220 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.220 * [taylor]: Taking taylor expansion of x in x 0.220 * [taylor]: Taking taylor expansion of 2.30753 in x 0.220 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0) in x 0.220 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) 1.0) 0.221 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) in x 0.221 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.221 * [taylor]: Taking taylor expansion of x in x 0.221 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ 1 x) 0.99229) in x 0.221 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ 1 x)) 0.99229) 0.221 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 0.221 * [taylor]: Taking taylor expansion of 0.04481 in x 0.221 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.221 * [taylor]: Taking taylor expansion of x in x 0.221 * [taylor]: Taking taylor expansion of 0.99229 in x 0.221 * [taylor]: Taking taylor expansion of 1.0 in x 0.238 * [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.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.239 * [taylor]: Taking taylor expansion of 0.70711 in x 0.239 * [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.239 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ -1 x) 2.30753) in x 0.239 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ -1 x)) 2.30753) 0.239 * [taylor]: Taking taylor expansion of (* 0.27061 (/ -1 x)) in x 0.239 * [taylor]: Taking taylor expansion of 0.27061 in x 0.239 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.239 * [taylor]: Taking taylor expansion of -1 in x 0.239 * [taylor]: Taking taylor expansion of x in x 0.239 * [taylor]: Taking taylor expansion of 2.30753 in x 0.239 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0) in x 0.239 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) 1.0) 0.239 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) in x 0.239 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.239 * [taylor]: Taking taylor expansion of -1 in x 0.239 * [taylor]: Taking taylor expansion of x in x 0.240 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ -1 x) 0.99229) in x 0.240 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ -1 x)) 0.99229) 0.240 * [taylor]: Taking taylor expansion of (* 0.04481 (/ -1 x)) in x 0.240 * [taylor]: Taking taylor expansion of 0.04481 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 0.99229 in x 0.240 * [taylor]: Taking taylor expansion of 1.0 in x 0.242 * [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.242 * [taylor]: Taking taylor expansion of 0.70711 in x 0.242 * [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.242 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ -1 x) 2.30753) in x 0.242 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ -1 x)) 2.30753) 0.243 * [taylor]: Taking taylor expansion of (* 0.27061 (/ -1 x)) in x 0.243 * [taylor]: Taking taylor expansion of 0.27061 in x 0.243 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.243 * [taylor]: Taking taylor expansion of -1 in x 0.243 * [taylor]: Taking taylor expansion of x in x 0.243 * [taylor]: Taking taylor expansion of 2.30753 in x 0.243 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0) in x 0.243 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) 1.0) 0.243 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) in x 0.243 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.243 * [taylor]: Taking taylor expansion of -1 in x 0.243 * [taylor]: Taking taylor expansion of x in x 0.243 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ -1 x) 0.99229) in x 0.244 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ -1 x)) 0.99229) 0.244 * [taylor]: Taking taylor expansion of (* 0.04481 (/ -1 x)) in x 0.244 * [taylor]: Taking taylor expansion of 0.04481 in x 0.244 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.244 * [taylor]: Taking taylor expansion of -1 in x 0.244 * [taylor]: Taking taylor expansion of x in x 0.244 * [taylor]: Taking taylor expansion of 0.99229 in x 0.244 * [taylor]: Taking taylor expansion of 1.0 in x 0.263 * * * * [progress]: [ 2 / 4 ] generating series at (2 3 1) 0.263 * [approximate]: Taking taylor expansion of (* 0.70711 (fma 0.27061 x 2.30753)) in (x) around 0 0.263 * [taylor]: Taking taylor expansion of (* 0.70711 (fma 0.27061 x 2.30753)) in x 0.263 * [taylor]: Taking taylor expansion of 0.70711 in x 0.263 * [taylor]: Taking taylor expansion of (fma 0.27061 x 2.30753) in x 0.263 * [taylor]: Rewrote expression to (+ (* 0.27061 x) 2.30753) 0.263 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x 0.263 * [taylor]: Taking taylor expansion of 0.27061 in x 0.263 * [taylor]: Taking taylor expansion of x in x 0.263 * [taylor]: Taking taylor expansion of 2.30753 in x 0.263 * [taylor]: Taking taylor expansion of (* 0.70711 (fma 0.27061 x 2.30753)) in x 0.264 * [taylor]: Taking taylor expansion of 0.70711 in x 0.264 * [taylor]: Taking taylor expansion of (fma 0.27061 x 2.30753) in x 0.264 * [taylor]: Rewrote expression to (+ (* 0.27061 x) 2.30753) 0.264 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x 0.264 * [taylor]: Taking taylor expansion of 0.27061 in x 0.264 * [taylor]: Taking taylor expansion of x in x 0.264 * [taylor]: Taking taylor expansion of 2.30753 in x 0.276 * [approximate]: Taking taylor expansion of (* 0.70711 (fma 0.27061 (/ 1 x) 2.30753)) in (x) around 0 0.276 * [taylor]: Taking taylor expansion of (* 0.70711 (fma 0.27061 (/ 1 x) 2.30753)) in x 0.276 * [taylor]: Taking taylor expansion of 0.70711 in x 0.276 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ 1 x) 2.30753) in x 0.277 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ 1 x)) 2.30753) 0.277 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 0.277 * [taylor]: Taking taylor expansion of 0.27061 in x 0.277 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.277 * [taylor]: Taking taylor expansion of x in x 0.277 * [taylor]: Taking taylor expansion of 2.30753 in x 0.277 * [taylor]: Taking taylor expansion of (* 0.70711 (fma 0.27061 (/ 1 x) 2.30753)) in x 0.277 * [taylor]: Taking taylor expansion of 0.70711 in x 0.277 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ 1 x) 2.30753) in x 0.277 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ 1 x)) 2.30753) 0.277 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 0.277 * [taylor]: Taking taylor expansion of 0.27061 in x 0.277 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.277 * [taylor]: Taking taylor expansion of x in x 0.277 * [taylor]: Taking taylor expansion of 2.30753 in x 0.299 * [approximate]: Taking taylor expansion of (* 0.70711 (fma 0.27061 (/ -1 x) 2.30753)) in (x) around 0 0.299 * [taylor]: Taking taylor expansion of (* 0.70711 (fma 0.27061 (/ -1 x) 2.30753)) in x 0.299 * [taylor]: Taking taylor expansion of 0.70711 in x 0.299 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ -1 x) 2.30753) in x 0.299 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ -1 x)) 2.30753) 0.299 * [taylor]: Taking taylor expansion of (* 0.27061 (/ -1 x)) in x 0.299 * [taylor]: Taking taylor expansion of 0.27061 in x 0.299 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.299 * [taylor]: Taking taylor expansion of -1 in x 0.299 * [taylor]: Taking taylor expansion of x in x 0.299 * [taylor]: Taking taylor expansion of 2.30753 in x 0.299 * [taylor]: Taking taylor expansion of (* 0.70711 (fma 0.27061 (/ -1 x) 2.30753)) in x 0.299 * [taylor]: Taking taylor expansion of 0.70711 in x 0.300 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ -1 x) 2.30753) in x 0.300 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ -1 x)) 2.30753) 0.300 * [taylor]: Taking taylor expansion of (* 0.27061 (/ -1 x)) in x 0.300 * [taylor]: Taking taylor expansion of 0.27061 in x 0.300 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.300 * [taylor]: Taking taylor expansion of -1 in x 0.300 * [taylor]: Taking taylor expansion of x in x 0.300 * [taylor]: Taking taylor expansion of 2.30753 in x 0.316 * * * * [progress]: [ 3 / 4 ] generating series at (2 3 2) 0.317 * [approximate]: Taking taylor expansion of (fma x (fma 0.04481 x 0.99229) 1.0) in (x) around 0 0.317 * [taylor]: Taking taylor expansion of (fma x (fma 0.04481 x 0.99229) 1.0) in x 0.317 * [taylor]: Rewrote expression to (+ (* x (fma 0.04481 x 0.99229)) 1.0) 0.317 * [taylor]: Taking taylor expansion of (* x (fma 0.04481 x 0.99229)) in x 0.317 * [taylor]: Taking taylor expansion of x in x 0.317 * [taylor]: Taking taylor expansion of (fma 0.04481 x 0.99229) in x 0.317 * [taylor]: Rewrote expression to (+ (* 0.04481 x) 0.99229) 0.317 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x 0.317 * [taylor]: Taking taylor expansion of 0.04481 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 x (fma 0.04481 x 0.99229) 1.0) in x 0.317 * [taylor]: Rewrote expression to (+ (* x (fma 0.04481 x 0.99229)) 1.0) 0.317 * [taylor]: Taking taylor expansion of (* x (fma 0.04481 x 0.99229)) in x 0.317 * [taylor]: Taking taylor expansion of x in x 0.317 * [taylor]: Taking taylor expansion of (fma 0.04481 x 0.99229) in x 0.317 * [taylor]: Rewrote expression to (+ (* 0.04481 x) 0.99229) 0.317 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x 0.317 * [taylor]: Taking taylor expansion of 0.04481 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.323 * [approximate]: Taking taylor expansion of (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0) in (x) around 0 0.323 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0) in x 0.323 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) 1.0) 0.323 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) in x 0.323 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.323 * [taylor]: Taking taylor expansion of x in x 0.324 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ 1 x) 0.99229) in x 0.324 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ 1 x)) 0.99229) 0.324 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 0.324 * [taylor]: Taking taylor expansion of 0.04481 in x 0.324 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.324 * [taylor]: Taking taylor expansion of x in x 0.324 * [taylor]: Taking taylor expansion of 0.99229 in x 0.324 * [taylor]: Taking taylor expansion of 1.0 in x 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 x in x 0.324 * [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 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.331 * [approximate]: Taking taylor expansion of (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0) in (x) around 0 0.331 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0) in x 0.331 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) 1.0) 0.331 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) in x 0.331 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.331 * [taylor]: Taking taylor expansion of -1 in x 0.331 * [taylor]: Taking taylor expansion of x in x 0.331 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ -1 x) 0.99229) in x 0.332 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ -1 x)) 0.99229) 0.332 * [taylor]: Taking taylor expansion of (* 0.04481 (/ -1 x)) in x 0.332 * [taylor]: Taking taylor expansion of 0.04481 in x 0.332 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.332 * [taylor]: Taking taylor expansion of -1 in x 0.332 * [taylor]: Taking taylor expansion of x in x 0.332 * [taylor]: Taking taylor expansion of 0.99229 in x 0.332 * [taylor]: Taking taylor expansion of 1.0 in x 0.332 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0) in x 0.332 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) 1.0) 0.332 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) in x 0.332 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.332 * [taylor]: Taking taylor expansion of -1 in x 0.332 * [taylor]: Taking taylor expansion of x in x 0.332 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ -1 x) 0.99229) in x 0.333 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ -1 x)) 0.99229) 0.333 * [taylor]: Taking taylor expansion of (* 0.04481 (/ -1 x)) in x 0.333 * [taylor]: Taking taylor expansion of 0.04481 in x 0.333 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.333 * [taylor]: Taking taylor expansion of -1 in x 0.333 * [taylor]: Taking taylor expansion of x in x 0.333 * [taylor]: Taking taylor expansion of 0.99229 in x 0.333 * [taylor]: Taking taylor expansion of 1.0 in x 0.340 * * * * [progress]: [ 4 / 4 ] generating series at (2) 0.341 * [approximate]: Taking taylor expansion of (fma (- x) 0.70711 (* 0.70711 (/ (fma 0.27061 x 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)))) in (x) around 0 0.341 * [taylor]: Taking taylor expansion of (fma (- x) 0.70711 (* 0.70711 (/ (fma 0.27061 x 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)))) in x 0.341 * [taylor]: Rewrote expression to (+ (* (- x) 0.70711) (* 0.70711 (/ (fma 0.27061 x 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)))) 0.341 * [taylor]: Taking taylor expansion of (* (- x) 0.70711) in x 0.341 * [taylor]: Taking taylor expansion of (- x) in x 0.341 * [taylor]: Taking taylor expansion of x in x 0.341 * [taylor]: Taking taylor expansion of 0.70711 in x 0.341 * [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.341 * [taylor]: Taking taylor expansion of 0.70711 in x 0.341 * [taylor]: Taking taylor expansion of (/ (fma 0.27061 x 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) in x 0.341 * [taylor]: Taking taylor expansion of (fma 0.27061 x 2.30753) in x 0.341 * [taylor]: Rewrote expression to (+ (* 0.27061 x) 2.30753) 0.341 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x 0.341 * [taylor]: Taking taylor expansion of 0.27061 in x 0.341 * [taylor]: Taking taylor expansion of x in x 0.341 * [taylor]: Taking taylor expansion of 2.30753 in x 0.341 * [taylor]: Taking taylor expansion of (fma x (fma 0.04481 x 0.99229) 1.0) in x 0.341 * [taylor]: Rewrote expression to (+ (* x (fma 0.04481 x 0.99229)) 1.0) 0.341 * [taylor]: Taking taylor expansion of (* x (fma 0.04481 x 0.99229)) in x 0.341 * [taylor]: Taking taylor expansion of x in x 0.341 * [taylor]: Taking taylor expansion of (fma 0.04481 x 0.99229) in x 0.341 * [taylor]: Rewrote expression to (+ (* 0.04481 x) 0.99229) 0.341 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x 0.341 * [taylor]: Taking taylor expansion of 0.04481 in x 0.342 * [taylor]: Taking taylor expansion of x in x 0.342 * [taylor]: Taking taylor expansion of 0.99229 in x 0.342 * [taylor]: Taking taylor expansion of 1.0 in x 0.344 * [taylor]: Taking taylor expansion of (fma (- x) 0.70711 (* 0.70711 (/ (fma 0.27061 x 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)))) in x 0.344 * [taylor]: Rewrote expression to (+ (* (- x) 0.70711) (* 0.70711 (/ (fma 0.27061 x 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)))) 0.344 * [taylor]: Taking taylor expansion of (* (- x) 0.70711) in x 0.344 * [taylor]: Taking taylor expansion of (- x) in x 0.344 * [taylor]: Taking taylor expansion of x in x 0.344 * [taylor]: Taking taylor expansion of 0.70711 in x 0.344 * [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.344 * [taylor]: Taking taylor expansion of 0.70711 in x 0.344 * [taylor]: Taking taylor expansion of (/ (fma 0.27061 x 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) in x 0.344 * [taylor]: Taking taylor expansion of (fma 0.27061 x 2.30753) in x 0.344 * [taylor]: Rewrote expression to (+ (* 0.27061 x) 2.30753) 0.344 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x 0.344 * [taylor]: Taking taylor expansion of 0.27061 in x 0.344 * [taylor]: Taking taylor expansion of x in x 0.344 * [taylor]: Taking taylor expansion of 2.30753 in x 0.344 * [taylor]: Taking taylor expansion of (fma x (fma 0.04481 x 0.99229) 1.0) in x 0.344 * [taylor]: Rewrote expression to (+ (* x (fma 0.04481 x 0.99229)) 1.0) 0.344 * [taylor]: Taking taylor expansion of (* x (fma 0.04481 x 0.99229)) in x 0.344 * [taylor]: Taking taylor expansion of x in x 0.344 * [taylor]: Taking taylor expansion of (fma 0.04481 x 0.99229) in x 0.344 * [taylor]: Rewrote expression to (+ (* 0.04481 x) 0.99229) 0.344 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x 0.344 * [taylor]: Taking taylor expansion of 0.04481 in x 0.344 * [taylor]: Taking taylor expansion of x in x 0.344 * [taylor]: Taking taylor expansion of 0.99229 in x 0.344 * [taylor]: Taking taylor expansion of 1.0 in x 0.364 * [approximate]: Taking taylor expansion of (fma (- (/ 1 x)) 0.70711 (* 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.364 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x)) 0.70711 (* 0.70711 (/ (fma 0.27061 (/ 1 x) 2.30753) (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0)))) in x 0.365 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x)) 0.70711) (* 0.70711 (/ (fma 0.27061 (/ 1 x) 2.30753) (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0)))) 0.365 * [taylor]: Taking taylor expansion of (* (- (/ 1 x)) 0.70711) in x 0.365 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.365 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.365 * [taylor]: Taking taylor expansion of x in x 0.365 * [taylor]: Taking taylor expansion of 0.70711 in x 0.365 * [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.365 * [taylor]: Taking taylor expansion of 0.70711 in x 0.365 * [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.365 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ 1 x) 2.30753) in x 0.365 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ 1 x)) 2.30753) 0.365 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 0.365 * [taylor]: Taking taylor expansion of 0.27061 in x 0.365 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.365 * [taylor]: Taking taylor expansion of x in x 0.366 * [taylor]: Taking taylor expansion of 2.30753 in x 0.366 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0) in x 0.366 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) 1.0) 0.366 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) in x 0.366 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.366 * [taylor]: Taking taylor expansion of x in x 0.366 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ 1 x) 0.99229) in x 0.366 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ 1 x)) 0.99229) 0.366 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 0.366 * [taylor]: Taking taylor expansion of 0.04481 in x 0.366 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.366 * [taylor]: Taking taylor expansion of x in x 0.366 * [taylor]: Taking taylor expansion of 0.99229 in x 0.366 * [taylor]: Taking taylor expansion of 1.0 in x 0.368 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x)) 0.70711 (* 0.70711 (/ (fma 0.27061 (/ 1 x) 2.30753) (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0)))) in x 0.368 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x)) 0.70711) (* 0.70711 (/ (fma 0.27061 (/ 1 x) 2.30753) (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0)))) 0.368 * [taylor]: Taking taylor expansion of (* (- (/ 1 x)) 0.70711) in x 0.368 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.368 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.368 * [taylor]: Taking taylor expansion of x in x 0.368 * [taylor]: Taking taylor expansion of 0.70711 in x 0.369 * [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.369 * [taylor]: Taking taylor expansion of 0.70711 in x 0.369 * [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.369 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ 1 x) 2.30753) in x 0.369 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ 1 x)) 2.30753) 0.369 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 0.369 * [taylor]: Taking taylor expansion of 0.27061 in x 0.369 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.369 * [taylor]: Taking taylor expansion of x in x 0.369 * [taylor]: Taking taylor expansion of 2.30753 in x 0.369 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0) in x 0.369 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) 1.0) 0.369 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) in x 0.369 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.369 * [taylor]: Taking taylor expansion of x in x 0.369 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ 1 x) 0.99229) in x 0.369 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ 1 x)) 0.99229) 0.370 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 0.370 * [taylor]: Taking taylor expansion of 0.04481 in x 0.370 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.370 * [taylor]: Taking taylor expansion of x in x 0.370 * [taylor]: Taking taylor expansion of 0.99229 in x 0.370 * [taylor]: Taking taylor expansion of 1.0 in x 0.391 * [approximate]: Taking taylor expansion of (fma (/ 1 x) 0.70711 (* 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.392 * [taylor]: Taking taylor expansion of (fma (/ 1 x) 0.70711 (* 0.70711 (/ (fma 0.27061 (/ -1 x) 2.30753) (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0)))) in x 0.392 * [taylor]: Rewrote expression to (+ (* (/ 1 x) 0.70711) (* 0.70711 (/ (fma 0.27061 (/ -1 x) 2.30753) (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0)))) 0.392 * [taylor]: Taking taylor expansion of (* (/ 1 x) 0.70711) in x 0.392 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.392 * [taylor]: Taking taylor expansion of x in x 0.392 * [taylor]: Taking taylor expansion of 0.70711 in x 0.392 * [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.392 * [taylor]: Taking taylor expansion of 0.70711 in x 0.392 * [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.392 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ -1 x) 2.30753) in x 0.392 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ -1 x)) 2.30753) 0.392 * [taylor]: Taking taylor expansion of (* 0.27061 (/ -1 x)) in x 0.392 * [taylor]: Taking taylor expansion of 0.27061 in x 0.392 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.392 * [taylor]: Taking taylor expansion of -1 in x 0.392 * [taylor]: Taking taylor expansion of x in x 0.393 * [taylor]: Taking taylor expansion of 2.30753 in x 0.393 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0) in x 0.393 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) 1.0) 0.393 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) in x 0.393 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.393 * [taylor]: Taking taylor expansion of -1 in x 0.393 * [taylor]: Taking taylor expansion of x in x 0.393 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ -1 x) 0.99229) in x 0.393 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ -1 x)) 0.99229) 0.393 * [taylor]: Taking taylor expansion of (* 0.04481 (/ -1 x)) in x 0.393 * [taylor]: Taking taylor expansion of 0.04481 in x 0.393 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.393 * [taylor]: Taking taylor expansion of -1 in x 0.393 * [taylor]: Taking taylor expansion of x in x 0.393 * [taylor]: Taking taylor expansion of 0.99229 in x 0.393 * [taylor]: Taking taylor expansion of 1.0 in x 0.396 * [taylor]: Taking taylor expansion of (fma (/ 1 x) 0.70711 (* 0.70711 (/ (fma 0.27061 (/ -1 x) 2.30753) (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0)))) in x 0.396 * [taylor]: Rewrote expression to (+ (* (/ 1 x) 0.70711) (* 0.70711 (/ (fma 0.27061 (/ -1 x) 2.30753) (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0)))) 0.396 * [taylor]: Taking taylor expansion of (* (/ 1 x) 0.70711) in x 0.396 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.396 * [taylor]: Taking taylor expansion of x in x 0.396 * [taylor]: Taking taylor expansion of 0.70711 in x 0.396 * [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.396 * [taylor]: Taking taylor expansion of 0.70711 in x 0.396 * [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.396 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ -1 x) 2.30753) in x 0.396 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ -1 x)) 2.30753) 0.396 * [taylor]: Taking taylor expansion of (* 0.27061 (/ -1 x)) in x 0.396 * [taylor]: Taking taylor expansion of 0.27061 in x 0.396 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.396 * [taylor]: Taking taylor expansion of -1 in x 0.396 * [taylor]: Taking taylor expansion of x in x 0.396 * [taylor]: Taking taylor expansion of 2.30753 in x 0.397 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0) in x 0.397 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) 1.0) 0.397 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) in x 0.397 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.397 * [taylor]: Taking taylor expansion of -1 in x 0.397 * [taylor]: Taking taylor expansion of x in x 0.397 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ -1 x) 0.99229) in x 0.397 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ -1 x)) 0.99229) 0.397 * [taylor]: Taking taylor expansion of (* 0.04481 (/ -1 x)) in x 0.397 * [taylor]: Taking taylor expansion of 0.04481 in x 0.397 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.397 * [taylor]: Taking taylor expansion of -1 in x 0.397 * [taylor]: Taking taylor expansion of x in x 0.397 * [taylor]: Taking taylor expansion of 0.99229 in x 0.397 * [taylor]: Taking taylor expansion of 1.0 in x 0.412 * * * [progress]: simplifying candidates 0.413 * [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)) (expm1 (fma (- x) 0.70711 (/ (* 0.70711 (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0)))) (log1p (fma (- x) 0.70711 (/ (* 0.70711 (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0)))) (* (- x) 0.70711) (log (fma (- x) 0.70711 (/ (* 0.70711 (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0)))) (exp (fma (- x) 0.70711 (/ (* 0.70711 (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0)))) (* (cbrt (fma (- x) 0.70711 (/ (* 0.70711 (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0)))) (cbrt (fma (- x) 0.70711 (/ (* 0.70711 (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0))))) (cbrt (fma (- x) 0.70711 (/ (* 0.70711 (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0)))) (* (* (fma (- x) 0.70711 (/ (* 0.70711 (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0))) (fma (- x) 0.70711 (/ (* 0.70711 (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0)))) (fma (- x) 0.70711 (/ (* 0.70711 (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0)))) (sqrt (fma (- x) 0.70711 (/ (* 0.70711 (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0)))) (sqrt (fma (- x) 0.70711 (/ (* 0.70711 (fma 0.27061 x 2.30753)) (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)) (- (+ (* 1.3436228731669864 (pow x 2)) 1.6316775383) (* 2.134856267379707 x)) (- (* 4.2702753202410175 (/ 1 x)) (+ (* 58.149385387680425 (/ 1 (pow x 2))) (* 0.70711 x))) (- (* 4.2702753202410175 (/ 1 x)) (+ (* 58.149385387680425 (/ 1 (pow x 2))) (* 0.70711 x))) 0.413 * [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)) (expm1 (fma (- h2) h0 (/ (* h0 (fma h1 h2 h3)) (fma h2 (fma h4 h2 h5) h6)))) (log1p (fma (- h2) h0 (/ (* h0 (fma h1 h2 h3)) (fma h2 (fma h4 h2 h5) h6)))) (* (- h2) h0) (log (fma (- h2) h0 (/ (* h0 (fma h1 h2 h3)) (fma h2 (fma h4 h2 h5) h6)))) (exp (fma (- h2) h0 (/ (* h0 (fma h1 h2 h3)) (fma h2 (fma h4 h2 h5) h6)))) (* (cbrt (fma (- h2) h0 (/ (* h0 (fma h1 h2 h3)) (fma h2 (fma h4 h2 h5) h6)))) (cbrt (fma (- h2) h0 (/ (* h0 (fma h1 h2 h3)) (fma h2 (fma h4 h2 h5) h6))))) (cbrt (fma (- h2) h0 (/ (* h0 (fma h1 h2 h3)) (fma h2 (fma h4 h2 h5) h6)))) (* (* (fma (- h2) h0 (/ (* h0 (fma h1 h2 h3)) (fma h2 (fma h4 h2 h5) h6))) (fma (- h2) h0 (/ (* h0 (fma h1 h2 h3)) (fma h2 (fma h4 h2 h5) h6)))) (fma (- h2) h0 (/ (* h0 (fma h1 h2 h3)) (fma h2 (fma h4 h2 h5) h6)))) (sqrt (fma (- h2) h0 (/ (* h0 (fma h1 h2 h3)) (fma h2 (fma h4 h2 h5) h6)))) (sqrt (fma (- h2) h0 (/ (* h0 (fma h1 h2 h3)) (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)) (- (+ (* h7 (pow h2 2)) h8) (* h14 h2)) (- (* h10 (/ 1 h2)) (+ (* h12 (/ 1 (pow h2 2))) (* h0 h2))) (- (* h10 (/ 1 h2)) (+ (* h12 (/ 1 (pow h2 2))) (* h0 h2))) 0.418 * * [simplify]: iteration 0 : 272 enodes (cost 452 ) 0.423 * * [simplify]: iteration 1 : 1121 enodes (cost 382 ) 0.446 * * [simplify]: iteration 2 : 5002 enodes (cost 382 ) 0.448 * [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)) (expm1 (fma (- x) 0.70711 (/ (* 0.70711 (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0)))) (log1p (fma (- x) 0.70711 (/ (* 0.70711 (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0)))) (* (- x) 0.70711) (log (fma (- x) 0.70711 (/ (* 0.70711 (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0)))) (exp (fma (- x) 0.70711 (/ (* 0.70711 (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0)))) (* (cbrt (fma (- x) 0.70711 (/ (* 0.70711 (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0)))) (cbrt (fma (- x) 0.70711 (/ (* 0.70711 (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0))))) (cbrt (fma (- x) 0.70711 (/ (* 0.70711 (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0)))) (pow (fma (- x) 0.70711 (/ (* 0.70711 (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0))) 3) (sqrt (fma (- x) 0.70711 (/ (* 0.70711 (fma 0.27061 x 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0)))) (sqrt (fma (- x) 0.70711 (/ (* 0.70711 (fma 0.27061 x 2.30753)) (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) (fma (pow x 2) 1.3436228731669864 (- 1.6316775383 (* 2.134856267379707 x))) (fma 4.2702753202410175 (/ 1 x) (- (fma 58.149385387680425 (/ 1 (pow x 2)) (* 0.70711 x)))) (fma 4.2702753202410175 (/ 1 x) (- (fma 58.149385387680425 (/ 1 (pow x 2)) (* 0.70711 x)))) 0.449 * * * [progress]: adding candidates to table 0.658 * * [progress]: iteration 2 / 4 0.658 * * * [progress]: picking best candidate 0.662 * * * * [pick]: Picked # 0.662 * * * [progress]: localizing error 0.678 * * * [progress]: generating rewritten candidates 0.678 * * * * [progress]: [ 1 / 4 ] rewriting at (2 3) 0.734 * * * * [progress]: [ 2 / 4 ] rewriting at (2 3 1) 0.786 * * * * [progress]: [ 3 / 4 ] rewriting at (2 3 1 2) 0.799 * * * * [progress]: [ 4 / 4 ] rewriting at (2 3 1 1) 0.818 * * * [progress]: generating series expansions 0.818 * * * * [progress]: [ 1 / 4 ] generating series at (2 3) 0.819 * [approximate]: Taking taylor expansion of (/ (* (fma 0.27061 x 2.30753) (pow (sqrt 0.70711) 2)) (fma x (fma 0.04481 x 0.99229) 1.0)) in (x) around 0 0.819 * [taylor]: Taking taylor expansion of (/ (* (fma 0.27061 x 2.30753) (pow (sqrt 0.70711) 2)) (fma x (fma 0.04481 x 0.99229) 1.0)) in x 0.819 * [taylor]: Taking taylor expansion of (* (fma 0.27061 x 2.30753) (pow (sqrt 0.70711) 2)) in x 0.819 * [taylor]: Taking taylor expansion of (fma 0.27061 x 2.30753) in x 0.820 * [taylor]: Rewrote expression to (+ (* 0.27061 x) 2.30753) 0.820 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x 0.820 * [taylor]: Taking taylor expansion of 0.27061 in x 0.820 * [taylor]: Taking taylor expansion of x in x 0.820 * [taylor]: Taking taylor expansion of 2.30753 in x 0.820 * [taylor]: Taking taylor expansion of (pow (sqrt 0.70711) 2) in x 0.820 * [taylor]: Taking taylor expansion of (sqrt 0.70711) in x 0.820 * [taylor]: Taking taylor expansion of 0.70711 in x 0.820 * [taylor]: Taking taylor expansion of (fma x (fma 0.04481 x 0.99229) 1.0) in x 0.820 * [taylor]: Rewrote expression to (+ (* x (fma 0.04481 x 0.99229)) 1.0) 0.820 * [taylor]: Taking taylor expansion of (* x (fma 0.04481 x 0.99229)) in x 0.821 * [taylor]: Taking taylor expansion of x in x 0.821 * [taylor]: Taking taylor expansion of (fma 0.04481 x 0.99229) in x 0.821 * [taylor]: Rewrote expression to (+ (* 0.04481 x) 0.99229) 0.821 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x 0.821 * [taylor]: Taking taylor expansion of 0.04481 in x 0.821 * [taylor]: Taking taylor expansion of x in x 0.821 * [taylor]: Taking taylor expansion of 0.99229 in x 0.821 * [taylor]: Taking taylor expansion of 1.0 in x 0.825 * [taylor]: Taking taylor expansion of (/ (* (fma 0.27061 x 2.30753) (pow (sqrt 0.70711) 2)) (fma x (fma 0.04481 x 0.99229) 1.0)) in x 0.825 * [taylor]: Taking taylor expansion of (* (fma 0.27061 x 2.30753) (pow (sqrt 0.70711) 2)) in x 0.825 * [taylor]: Taking taylor expansion of (fma 0.27061 x 2.30753) in x 0.825 * [taylor]: Rewrote expression to (+ (* 0.27061 x) 2.30753) 0.825 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x 0.825 * [taylor]: Taking taylor expansion of 0.27061 in x 0.825 * [taylor]: Taking taylor expansion of x in x 0.825 * [taylor]: Taking taylor expansion of 2.30753 in x 0.825 * [taylor]: Taking taylor expansion of (pow (sqrt 0.70711) 2) in x 0.825 * [taylor]: Taking taylor expansion of (sqrt 0.70711) in x 0.825 * [taylor]: Taking taylor expansion of 0.70711 in x 0.826 * [taylor]: Taking taylor expansion of (fma x (fma 0.04481 x 0.99229) 1.0) in x 0.826 * [taylor]: Rewrote expression to (+ (* x (fma 0.04481 x 0.99229)) 1.0) 0.826 * [taylor]: Taking taylor expansion of (* x (fma 0.04481 x 0.99229)) in x 0.826 * [taylor]: Taking taylor expansion of x in x 0.826 * [taylor]: Taking taylor expansion of (fma 0.04481 x 0.99229) in x 0.826 * [taylor]: Rewrote expression to (+ (* 0.04481 x) 0.99229) 0.826 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x 0.826 * [taylor]: Taking taylor expansion of 0.04481 in x 0.826 * [taylor]: Taking taylor expansion of x in x 0.826 * [taylor]: Taking taylor expansion of 0.99229 in x 0.826 * [taylor]: Taking taylor expansion of 1.0 in x 0.860 * [approximate]: Taking taylor expansion of (/ (* (fma 0.27061 (/ 1 x) 2.30753) (pow (sqrt 0.70711) 2)) (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0)) in (x) around 0 0.860 * [taylor]: Taking taylor expansion of (/ (* (fma 0.27061 (/ 1 x) 2.30753) (pow (sqrt 0.70711) 2)) (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0)) in x 0.860 * [taylor]: Taking taylor expansion of (* (fma 0.27061 (/ 1 x) 2.30753) (pow (sqrt 0.70711) 2)) in x 0.860 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ 1 x) 2.30753) in x 0.860 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ 1 x)) 2.30753) 0.860 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 0.860 * [taylor]: Taking taylor expansion of 0.27061 in x 0.860 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.860 * [taylor]: Taking taylor expansion of x in x 0.861 * [taylor]: Taking taylor expansion of 2.30753 in x 0.861 * [taylor]: Taking taylor expansion of (pow (sqrt 0.70711) 2) in x 0.861 * [taylor]: Taking taylor expansion of (sqrt 0.70711) in x 0.861 * [taylor]: Taking taylor expansion of 0.70711 in x 0.861 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0) in x 0.861 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) 1.0) 0.861 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) in x 0.861 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.861 * [taylor]: Taking taylor expansion of x in x 0.862 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ 1 x) 0.99229) in x 0.862 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ 1 x)) 0.99229) 0.862 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 0.862 * [taylor]: Taking taylor expansion of 0.04481 in x 0.862 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.862 * [taylor]: Taking taylor expansion of x in x 0.862 * [taylor]: Taking taylor expansion of 0.99229 in x 0.862 * [taylor]: Taking taylor expansion of 1.0 in x 0.866 * [taylor]: Taking taylor expansion of (/ (* (fma 0.27061 (/ 1 x) 2.30753) (pow (sqrt 0.70711) 2)) (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0)) in x 0.866 * [taylor]: Taking taylor expansion of (* (fma 0.27061 (/ 1 x) 2.30753) (pow (sqrt 0.70711) 2)) in x 0.866 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ 1 x) 2.30753) in x 0.867 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ 1 x)) 2.30753) 0.867 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 0.867 * [taylor]: Taking taylor expansion of 0.27061 in x 0.867 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.867 * [taylor]: Taking taylor expansion of x in x 0.867 * [taylor]: Taking taylor expansion of 2.30753 in x 0.867 * [taylor]: Taking taylor expansion of (pow (sqrt 0.70711) 2) in x 0.867 * [taylor]: Taking taylor expansion of (sqrt 0.70711) in x 0.867 * [taylor]: Taking taylor expansion of 0.70711 in x 0.867 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0) in x 0.868 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) 1.0) 0.868 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) in x 0.868 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.868 * [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 x in x 0.869 * [taylor]: Taking taylor expansion of 0.99229 in x 0.869 * [taylor]: Taking taylor expansion of 1.0 in x 0.908 * [approximate]: Taking taylor expansion of (/ (* (fma 0.27061 (/ -1 x) 2.30753) (pow (sqrt 0.70711) 2)) (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0)) in (x) around 0 0.908 * [taylor]: Taking taylor expansion of (/ (* (fma 0.27061 (/ -1 x) 2.30753) (pow (sqrt 0.70711) 2)) (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0)) in x 0.908 * [taylor]: Taking taylor expansion of (* (fma 0.27061 (/ -1 x) 2.30753) (pow (sqrt 0.70711) 2)) in x 0.908 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ -1 x) 2.30753) in x 0.908 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ -1 x)) 2.30753) 0.909 * [taylor]: Taking taylor expansion of (* 0.27061 (/ -1 x)) in x 0.909 * [taylor]: Taking taylor expansion of 0.27061 in x 0.909 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.909 * [taylor]: Taking taylor expansion of -1 in x 0.909 * [taylor]: Taking taylor expansion of x in x 0.909 * [taylor]: Taking taylor expansion of 2.30753 in x 0.909 * [taylor]: Taking taylor expansion of (pow (sqrt 0.70711) 2) in x 0.909 * [taylor]: Taking taylor expansion of (sqrt 0.70711) in x 0.909 * [taylor]: Taking taylor expansion of 0.70711 in x 0.910 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0) in x 0.910 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) 1.0) 0.910 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) in x 0.910 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.910 * [taylor]: Taking taylor expansion of -1 in x 0.910 * [taylor]: Taking taylor expansion of x in x 0.910 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ -1 x) 0.99229) in x 0.910 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ -1 x)) 0.99229) 0.910 * [taylor]: Taking taylor expansion of (* 0.04481 (/ -1 x)) in x 0.910 * [taylor]: Taking taylor expansion of 0.04481 in x 0.910 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.910 * [taylor]: Taking taylor expansion of -1 in x 0.910 * [taylor]: Taking taylor expansion of x in x 0.910 * [taylor]: Taking taylor expansion of 0.99229 in x 0.910 * [taylor]: Taking taylor expansion of 1.0 in x 0.915 * [taylor]: Taking taylor expansion of (/ (* (fma 0.27061 (/ -1 x) 2.30753) (pow (sqrt 0.70711) 2)) (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0)) in x 0.915 * [taylor]: Taking taylor expansion of (* (fma 0.27061 (/ -1 x) 2.30753) (pow (sqrt 0.70711) 2)) in x 0.915 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ -1 x) 2.30753) in x 0.915 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ -1 x)) 2.30753) 0.915 * [taylor]: Taking taylor expansion of (* 0.27061 (/ -1 x)) in x 0.915 * [taylor]: Taking taylor expansion of 0.27061 in x 0.915 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.915 * [taylor]: Taking taylor expansion of -1 in x 0.915 * [taylor]: Taking taylor expansion of x in x 0.916 * [taylor]: Taking taylor expansion of 2.30753 in x 0.916 * [taylor]: Taking taylor expansion of (pow (sqrt 0.70711) 2) in x 0.916 * [taylor]: Taking taylor expansion of (sqrt 0.70711) in x 0.916 * [taylor]: Taking taylor expansion of 0.70711 in x 0.916 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0) in x 0.916 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) 1.0) 0.916 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) in x 0.916 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.916 * [taylor]: Taking taylor expansion of -1 in x 0.916 * [taylor]: Taking taylor expansion of x in x 0.917 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ -1 x) 0.99229) in x 0.917 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ -1 x)) 0.99229) 0.917 * [taylor]: Taking taylor expansion of (* 0.04481 (/ -1 x)) in x 0.917 * [taylor]: Taking taylor expansion of 0.04481 in x 0.917 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.917 * [taylor]: Taking taylor expansion of -1 in x 0.917 * [taylor]: Taking taylor expansion of x in x 0.917 * [taylor]: Taking taylor expansion of 0.99229 in x 0.917 * [taylor]: Taking taylor expansion of 1.0 in x 0.953 * * * * [progress]: [ 2 / 4 ] generating series at (2 3 1) 0.954 * [approximate]: Taking taylor expansion of (* (fma 0.27061 x 2.30753) (pow (sqrt 0.70711) 2)) in (x) around 0 0.954 * [taylor]: Taking taylor expansion of (* (fma 0.27061 x 2.30753) (pow (sqrt 0.70711) 2)) in x 0.954 * [taylor]: Taking taylor expansion of (fma 0.27061 x 2.30753) in x 0.954 * [taylor]: Rewrote expression to (+ (* 0.27061 x) 2.30753) 0.954 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x 0.954 * [taylor]: Taking taylor expansion of 0.27061 in x 0.954 * [taylor]: Taking taylor expansion of x in x 0.954 * [taylor]: Taking taylor expansion of 2.30753 in x 0.954 * [taylor]: Taking taylor expansion of (pow (sqrt 0.70711) 2) in x 0.954 * [taylor]: Taking taylor expansion of (sqrt 0.70711) in x 0.954 * [taylor]: Taking taylor expansion of 0.70711 in x 0.955 * [taylor]: Taking taylor expansion of (* (fma 0.27061 x 2.30753) (pow (sqrt 0.70711) 2)) in x 0.955 * [taylor]: Taking taylor expansion of (fma 0.27061 x 2.30753) in x 0.955 * [taylor]: Rewrote expression to (+ (* 0.27061 x) 2.30753) 0.955 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x 0.955 * [taylor]: Taking taylor expansion of 0.27061 in x 0.955 * [taylor]: Taking taylor expansion of x in x 0.955 * [taylor]: Taking taylor expansion of 2.30753 in x 0.955 * [taylor]: Taking taylor expansion of (pow (sqrt 0.70711) 2) in x 0.955 * [taylor]: Taking taylor expansion of (sqrt 0.70711) in x 0.955 * [taylor]: Taking taylor expansion of 0.70711 in x 0.990 * [approximate]: Taking taylor expansion of (* (fma 0.27061 (/ 1 x) 2.30753) (pow (sqrt 0.70711) 2)) in (x) around 0 0.990 * [taylor]: Taking taylor expansion of (* (fma 0.27061 (/ 1 x) 2.30753) (pow (sqrt 0.70711) 2)) in x 0.990 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ 1 x) 2.30753) in x 0.990 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ 1 x)) 2.30753) 0.990 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 0.990 * [taylor]: Taking taylor expansion of 0.27061 in x 0.990 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.990 * [taylor]: Taking taylor expansion of x in x 0.991 * [taylor]: Taking taylor expansion of 2.30753 in x 0.991 * [taylor]: Taking taylor expansion of (pow (sqrt 0.70711) 2) in x 0.991 * [taylor]: Taking taylor expansion of (sqrt 0.70711) in x 0.991 * [taylor]: Taking taylor expansion of 0.70711 in x 0.991 * [taylor]: Taking taylor expansion of (* (fma 0.27061 (/ 1 x) 2.30753) (pow (sqrt 0.70711) 2)) in x 0.991 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ 1 x) 2.30753) in x 0.991 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ 1 x)) 2.30753) 0.991 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 0.992 * [taylor]: Taking taylor expansion of 0.27061 in x 0.992 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.992 * [taylor]: Taking taylor expansion of x in x 0.992 * [taylor]: Taking taylor expansion of 2.30753 in x 0.992 * [taylor]: Taking taylor expansion of (pow (sqrt 0.70711) 2) in x 0.992 * [taylor]: Taking taylor expansion of (sqrt 0.70711) in x 0.992 * [taylor]: Taking taylor expansion of 0.70711 in x 1.024 * [approximate]: Taking taylor expansion of (* (fma 0.27061 (/ -1 x) 2.30753) (pow (sqrt 0.70711) 2)) in (x) around 0 1.024 * [taylor]: Taking taylor expansion of (* (fma 0.27061 (/ -1 x) 2.30753) (pow (sqrt 0.70711) 2)) in x 1.024 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ -1 x) 2.30753) in x 1.024 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ -1 x)) 2.30753) 1.024 * [taylor]: Taking taylor expansion of (* 0.27061 (/ -1 x)) in x 1.024 * [taylor]: Taking taylor expansion of 0.27061 in x 1.024 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.024 * [taylor]: Taking taylor expansion of -1 in x 1.024 * [taylor]: Taking taylor expansion of x in x 1.024 * [taylor]: Taking taylor expansion of 2.30753 in x 1.024 * [taylor]: Taking taylor expansion of (pow (sqrt 0.70711) 2) in x 1.024 * [taylor]: Taking taylor expansion of (sqrt 0.70711) in x 1.024 * [taylor]: Taking taylor expansion of 0.70711 in x 1.025 * [taylor]: Taking taylor expansion of (* (fma 0.27061 (/ -1 x) 2.30753) (pow (sqrt 0.70711) 2)) in x 1.025 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ -1 x) 2.30753) in x 1.025 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ -1 x)) 2.30753) 1.025 * [taylor]: Taking taylor expansion of (* 0.27061 (/ -1 x)) in x 1.025 * [taylor]: Taking taylor expansion of 0.27061 in x 1.025 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.025 * [taylor]: Taking taylor expansion of -1 in x 1.025 * [taylor]: Taking taylor expansion of x in x 1.026 * [taylor]: Taking taylor expansion of 2.30753 in x 1.026 * [taylor]: Taking taylor expansion of (pow (sqrt 0.70711) 2) in x 1.026 * [taylor]: Taking taylor expansion of (sqrt 0.70711) in x 1.026 * [taylor]: Taking taylor expansion of 0.70711 in x 1.064 * * * * [progress]: [ 3 / 4 ] generating series at (2 3 1 2) 1.064 * [approximate]: Taking taylor expansion of (* (sqrt (fma 0.27061 x 2.30753)) (sqrt 0.70711)) in (x) around 0 1.064 * [taylor]: Taking taylor expansion of (* (sqrt (fma 0.27061 x 2.30753)) (sqrt 0.70711)) in x 1.064 * [taylor]: Taking taylor expansion of (sqrt (fma 0.27061 x 2.30753)) in x 1.064 * [taylor]: Taking taylor expansion of (fma 0.27061 x 2.30753) in x 1.064 * [taylor]: Rewrote expression to (+ (* 0.27061 x) 2.30753) 1.065 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x 1.065 * [taylor]: Taking taylor expansion of 0.27061 in x 1.065 * [taylor]: Taking taylor expansion of x in x 1.065 * [taylor]: Taking taylor expansion of 2.30753 in x 1.067 * [taylor]: Taking taylor expansion of (sqrt 0.70711) in x 1.067 * [taylor]: Taking taylor expansion of 0.70711 in x 1.068 * [taylor]: Taking taylor expansion of (* (sqrt (fma 0.27061 x 2.30753)) (sqrt 0.70711)) in x 1.068 * [taylor]: Taking taylor expansion of (sqrt (fma 0.27061 x 2.30753)) in x 1.068 * [taylor]: Taking taylor expansion of (fma 0.27061 x 2.30753) in x 1.068 * [taylor]: Rewrote expression to (+ (* 0.27061 x) 2.30753) 1.068 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x 1.068 * [taylor]: Taking taylor expansion of 0.27061 in x 1.068 * [taylor]: Taking taylor expansion of x in x 1.068 * [taylor]: Taking taylor expansion of 2.30753 in x 1.071 * [taylor]: Taking taylor expansion of (sqrt 0.70711) in x 1.071 * [taylor]: Taking taylor expansion of 0.70711 in x 1.091 * [approximate]: Taking taylor expansion of (* (sqrt (fma 0.27061 (/ 1 x) 2.30753)) (sqrt 0.70711)) in (x) around 0 1.091 * [taylor]: Taking taylor expansion of (* (sqrt (fma 0.27061 (/ 1 x) 2.30753)) (sqrt 0.70711)) in x 1.091 * [taylor]: Taking taylor expansion of (sqrt (fma 0.27061 (/ 1 x) 2.30753)) in x 1.092 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ 1 x) 2.30753) in x 1.092 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ 1 x)) 2.30753) 1.092 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 1.092 * [taylor]: Taking taylor expansion of 0.27061 in x 1.092 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.092 * [taylor]: Taking taylor expansion of x in x 1.092 * [taylor]: Taking taylor expansion of 2.30753 in x 1.093 * [taylor]: Taking taylor expansion of (sqrt 0.70711) in x 1.093 * [taylor]: Taking taylor expansion of 0.70711 in x 1.094 * [taylor]: Taking taylor expansion of (* (sqrt (fma 0.27061 (/ 1 x) 2.30753)) (sqrt 0.70711)) in x 1.094 * [taylor]: Taking taylor expansion of (sqrt (fma 0.27061 (/ 1 x) 2.30753)) in x 1.094 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ 1 x) 2.30753) in x 1.094 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ 1 x)) 2.30753) 1.094 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 1.094 * [taylor]: Taking taylor expansion of 0.27061 in x 1.094 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.094 * [taylor]: Taking taylor expansion of x in x 1.094 * [taylor]: Taking taylor expansion of 2.30753 in x 1.096 * [taylor]: Taking taylor expansion of (sqrt 0.70711) in x 1.096 * [taylor]: Taking taylor expansion of 0.70711 in x 1.115 * [approximate]: Taking taylor expansion of (* (sqrt (fma 0.27061 (/ -1 x) 2.30753)) (sqrt 0.70711)) in (x) around 0 1.115 * [taylor]: Taking taylor expansion of (* (sqrt (fma 0.27061 (/ -1 x) 2.30753)) (sqrt 0.70711)) in x 1.115 * [taylor]: Taking taylor expansion of (sqrt (fma 0.27061 (/ -1 x) 2.30753)) in x 1.115 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ -1 x) 2.30753) in x 1.115 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ -1 x)) 2.30753) 1.115 * [taylor]: Taking taylor expansion of (* 0.27061 (/ -1 x)) in x 1.115 * [taylor]: Taking taylor expansion of 0.27061 in x 1.115 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.115 * [taylor]: Taking taylor expansion of -1 in x 1.115 * [taylor]: Taking taylor expansion of x in x 1.115 * [taylor]: Taking taylor expansion of 2.30753 in x 1.117 * [taylor]: Taking taylor expansion of (sqrt 0.70711) in x 1.117 * [taylor]: Taking taylor expansion of 0.70711 in x 1.118 * [taylor]: Taking taylor expansion of (* (sqrt (fma 0.27061 (/ -1 x) 2.30753)) (sqrt 0.70711)) in x 1.118 * [taylor]: Taking taylor expansion of (sqrt (fma 0.27061 (/ -1 x) 2.30753)) in x 1.118 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ -1 x) 2.30753) in x 1.118 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ -1 x)) 2.30753) 1.118 * [taylor]: Taking taylor expansion of (* 0.27061 (/ -1 x)) in x 1.118 * [taylor]: Taking taylor expansion of 0.27061 in x 1.118 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.118 * [taylor]: Taking taylor expansion of -1 in x 1.118 * [taylor]: Taking taylor expansion of x in x 1.118 * [taylor]: Taking taylor expansion of 2.30753 in x 1.120 * [taylor]: Taking taylor expansion of (sqrt 0.70711) in x 1.120 * [taylor]: Taking taylor expansion of 0.70711 in x 1.139 * * * * [progress]: [ 4 / 4 ] generating series at (2 3 1 1) 1.139 * [approximate]: Taking taylor expansion of (* (sqrt (fma 0.27061 x 2.30753)) (sqrt 0.70711)) in (x) around 0 1.139 * [taylor]: Taking taylor expansion of (* (sqrt (fma 0.27061 x 2.30753)) (sqrt 0.70711)) in x 1.139 * [taylor]: Taking taylor expansion of (sqrt (fma 0.27061 x 2.30753)) in x 1.139 * [taylor]: Taking taylor expansion of (fma 0.27061 x 2.30753) in x 1.139 * [taylor]: Rewrote expression to (+ (* 0.27061 x) 2.30753) 1.139 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x 1.139 * [taylor]: Taking taylor expansion of 0.27061 in x 1.139 * [taylor]: Taking taylor expansion of x in x 1.139 * [taylor]: Taking taylor expansion of 2.30753 in x 1.142 * [taylor]: Taking taylor expansion of (sqrt 0.70711) in x 1.142 * [taylor]: Taking taylor expansion of 0.70711 in x 1.142 * [taylor]: Taking taylor expansion of (* (sqrt (fma 0.27061 x 2.30753)) (sqrt 0.70711)) in x 1.143 * [taylor]: Taking taylor expansion of (sqrt (fma 0.27061 x 2.30753)) in x 1.143 * [taylor]: Taking taylor expansion of (fma 0.27061 x 2.30753) in x 1.143 * [taylor]: Rewrote expression to (+ (* 0.27061 x) 2.30753) 1.143 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x 1.143 * [taylor]: Taking taylor expansion of 0.27061 in x 1.143 * [taylor]: Taking taylor expansion of x in x 1.143 * [taylor]: Taking taylor expansion of 2.30753 in x 1.152 * [taylor]: Taking taylor expansion of (sqrt 0.70711) in x 1.152 * [taylor]: Taking taylor expansion of 0.70711 in x 1.173 * [approximate]: Taking taylor expansion of (* (sqrt (fma 0.27061 (/ 1 x) 2.30753)) (sqrt 0.70711)) in (x) around 0 1.173 * [taylor]: Taking taylor expansion of (* (sqrt (fma 0.27061 (/ 1 x) 2.30753)) (sqrt 0.70711)) in x 1.173 * [taylor]: Taking taylor expansion of (sqrt (fma 0.27061 (/ 1 x) 2.30753)) in x 1.173 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ 1 x) 2.30753) in x 1.173 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ 1 x)) 2.30753) 1.173 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 1.173 * [taylor]: Taking taylor expansion of 0.27061 in x 1.173 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.173 * [taylor]: Taking taylor expansion of x in x 1.173 * [taylor]: Taking taylor expansion of 2.30753 in x 1.175 * [taylor]: Taking taylor expansion of (sqrt 0.70711) in x 1.175 * [taylor]: Taking taylor expansion of 0.70711 in x 1.175 * [taylor]: Taking taylor expansion of (* (sqrt (fma 0.27061 (/ 1 x) 2.30753)) (sqrt 0.70711)) in x 1.175 * [taylor]: Taking taylor expansion of (sqrt (fma 0.27061 (/ 1 x) 2.30753)) in x 1.175 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ 1 x) 2.30753) in x 1.175 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ 1 x)) 2.30753) 1.175 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 1.176 * [taylor]: Taking taylor expansion of 0.27061 in x 1.176 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.176 * [taylor]: Taking taylor expansion of x in x 1.176 * [taylor]: Taking taylor expansion of 2.30753 in x 1.177 * [taylor]: Taking taylor expansion of (sqrt 0.70711) in x 1.177 * [taylor]: Taking taylor expansion of 0.70711 in x 1.196 * [approximate]: Taking taylor expansion of (* (sqrt (fma 0.27061 (/ -1 x) 2.30753)) (sqrt 0.70711)) in (x) around 0 1.196 * [taylor]: Taking taylor expansion of (* (sqrt (fma 0.27061 (/ -1 x) 2.30753)) (sqrt 0.70711)) in x 1.196 * [taylor]: Taking taylor expansion of (sqrt (fma 0.27061 (/ -1 x) 2.30753)) in x 1.196 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ -1 x) 2.30753) in x 1.196 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ -1 x)) 2.30753) 1.196 * [taylor]: Taking taylor expansion of (* 0.27061 (/ -1 x)) in x 1.196 * [taylor]: Taking taylor expansion of 0.27061 in x 1.196 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.196 * [taylor]: Taking taylor expansion of -1 in x 1.196 * [taylor]: Taking taylor expansion of x in x 1.196 * [taylor]: Taking taylor expansion of 2.30753 in x 1.198 * [taylor]: Taking taylor expansion of (sqrt 0.70711) in x 1.198 * [taylor]: Taking taylor expansion of 0.70711 in x 1.198 * [taylor]: Taking taylor expansion of (* (sqrt (fma 0.27061 (/ -1 x) 2.30753)) (sqrt 0.70711)) in x 1.199 * [taylor]: Taking taylor expansion of (sqrt (fma 0.27061 (/ -1 x) 2.30753)) in x 1.199 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ -1 x) 2.30753) in x 1.199 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ -1 x)) 2.30753) 1.199 * [taylor]: Taking taylor expansion of (* 0.27061 (/ -1 x)) in x 1.199 * [taylor]: Taking taylor expansion of 0.27061 in x 1.199 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.199 * [taylor]: Taking taylor expansion of -1 in x 1.199 * [taylor]: Taking taylor expansion of x in x 1.199 * [taylor]: Taking taylor expansion of 2.30753 in x 1.201 * [taylor]: Taking taylor expansion of (sqrt 0.70711) in x 1.201 * [taylor]: Taking taylor expansion of 0.70711 in x 1.219 * * * [progress]: simplifying candidates 1.222 * [simplify]: Simplifying using # : (expm1 (/ (* (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))) (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753)))) (fma x (fma 0.04481 x 0.99229) 1.0))) (log1p (/ (* (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))) (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753)))) (fma x (fma 0.04481 x 0.99229) 1.0))) (- (+ (+ (log (sqrt 0.70711)) (log (sqrt (fma 0.27061 x 2.30753)))) (+ (log (sqrt 0.70711)) (log (sqrt (fma 0.27061 x 2.30753))))) (log (fma x (fma 0.04481 x 0.99229) 1.0))) (- (+ (+ (log (sqrt 0.70711)) (log (sqrt (fma 0.27061 x 2.30753)))) (log (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))))) (log (fma x (fma 0.04481 x 0.99229) 1.0))) (- (+ (log (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753)))) (+ (log (sqrt 0.70711)) (log (sqrt (fma 0.27061 x 2.30753))))) (log (fma x (fma 0.04481 x 0.99229) 1.0))) (- (+ (log (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753)))) (log (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))))) (log (fma x (fma 0.04481 x 0.99229) 1.0))) (- (log (* (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))) (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))))) (log (fma x (fma 0.04481 x 0.99229) 1.0))) (log (/ (* (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))) (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753)))) (fma x (fma 0.04481 x 0.99229) 1.0))) (exp (/ (* (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))) (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753)))) (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (* (* (* (* (sqrt 0.70711) (sqrt 0.70711)) (sqrt 0.70711)) (* (* (sqrt (fma 0.27061 x 2.30753)) (sqrt (fma 0.27061 x 2.30753))) (sqrt (fma 0.27061 x 2.30753)))) (* (* (* (sqrt 0.70711) (sqrt 0.70711)) (sqrt 0.70711)) (* (* (sqrt (fma 0.27061 x 2.30753)) (sqrt (fma 0.27061 x 2.30753))) (sqrt (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))) (/ (* (* (* (* (sqrt 0.70711) (sqrt 0.70711)) (sqrt 0.70711)) (* (* (sqrt (fma 0.27061 x 2.30753)) (sqrt (fma 0.27061 x 2.30753))) (sqrt (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)))) (* (sqrt 0.70711) (sqrt (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))) (/ (* (* (* (* (sqrt 0.70711) (sqrt (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)))) (* (* (* (sqrt 0.70711) (sqrt 0.70711)) (sqrt 0.70711)) (* (* (sqrt (fma 0.27061 x 2.30753)) (sqrt (fma 0.27061 x 2.30753))) (sqrt (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))) (/ (* (* (* (* (sqrt 0.70711) (sqrt (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)))) (* (* (* (sqrt 0.70711) (sqrt (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))))) (* (* (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 0.70711) (sqrt (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))) (* (sqrt 0.70711) (sqrt (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))))) (* (* (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 (/ (* (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))) (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753)))) (fma x (fma 0.04481 x 0.99229) 1.0))) (cbrt (/ (* (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))) (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753)))) (fma x (fma 0.04481 x 0.99229) 1.0)))) (cbrt (/ (* (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))) (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753)))) (fma x (fma 0.04481 x 0.99229) 1.0))) (* (* (/ (* (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))) (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753)))) (fma x (fma 0.04481 x 0.99229) 1.0)) (/ (* (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))) (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753)))) (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (* (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))) (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753)))) (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt (/ (* (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))) (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753)))) (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt (/ (* (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))) (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753)))) (fma x (fma 0.04481 x 0.99229) 1.0))) (- (* (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))) (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))))) (- (fma x (fma 0.04481 x 0.99229) 1.0)) (/ (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))) (* (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))) 1) (/ (* (sqrt 0.70711) (sqrt (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) (* (* (sqrt 0.70711) (sqrt (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))) (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753)))) (* (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (* (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))) (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753)))) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (* (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))) (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753)))) 1) (/ (fma x (fma 0.04481 x 0.99229) 1.0) (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753)))) (expm1 (* (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))) (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))))) (log1p (* (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))) (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))))) (+ 1/2 1/2) (+ 1/2 (/ 1 2)) (+ 1 1) (+ 1 1) (+ (/ 1 2) 1/2) (+ (/ 1 2) (/ 1 2)) (+ 1 1) (+ 1 1) (* (* 0.70711 (fma 0.27061 x 2.30753)) (* 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)))) (* (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))) (* (sqrt 0.70711) (sqrt (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) (sqrt (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))) (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753)))) (+ 1 1) (+ 1 1) (+ (+ (log (sqrt 0.70711)) (log (sqrt (fma 0.27061 x 2.30753)))) (+ (log (sqrt 0.70711)) (log (sqrt (fma 0.27061 x 2.30753))))) (+ (+ (log (sqrt 0.70711)) (log (sqrt (fma 0.27061 x 2.30753)))) (log (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))))) (+ (log (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753)))) (+ (log (sqrt 0.70711)) (log (sqrt (fma 0.27061 x 2.30753))))) (+ (log (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753)))) (log (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))))) (log (* (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))) (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))))) (exp (* (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))) (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))))) (* (* (* (* (sqrt 0.70711) (sqrt 0.70711)) (sqrt 0.70711)) (* (* (sqrt (fma 0.27061 x 2.30753)) (sqrt (fma 0.27061 x 2.30753))) (sqrt (fma 0.27061 x 2.30753)))) (* (* (* (sqrt 0.70711) (sqrt 0.70711)) (sqrt 0.70711)) (* (* (sqrt (fma 0.27061 x 2.30753)) (sqrt (fma 0.27061 x 2.30753))) (sqrt (fma 0.27061 x 2.30753))))) (* (* (* (* (sqrt 0.70711) (sqrt 0.70711)) (sqrt 0.70711)) (* (* (sqrt (fma 0.27061 x 2.30753)) (sqrt (fma 0.27061 x 2.30753))) (sqrt (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)))) (* (sqrt 0.70711) (sqrt (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)))) (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753)))) (* (* (* (sqrt 0.70711) (sqrt 0.70711)) (sqrt 0.70711)) (* (* (sqrt (fma 0.27061 x 2.30753)) (sqrt (fma 0.27061 x 2.30753))) (sqrt (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)))) (* (sqrt 0.70711) (sqrt (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)))) (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))))) (* (cbrt (* (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))) (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))))) (cbrt (* (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))) (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753)))))) (cbrt (* (* (sqrt 0.70711) (sqrt (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))) (* (sqrt 0.70711) (sqrt (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))))) (* (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))) (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))))) (* (* 0.70711 (fma 0.27061 x 2.30753)) (* 0.70711 (fma 0.27061 x 2.30753))) (sqrt (* (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))) (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))))) (sqrt (* (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))) (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))))) (* (sqrt 0.70711) (sqrt 0.70711)) (* (sqrt (fma 0.27061 x 2.30753)) (sqrt (fma 0.27061 x 2.30753))) (* 2 1/2) (* 2 1) (* 2 1) (* 2 (/ 1 2)) (* 2 1) (* 2 1) (* (* (sqrt 0.70711) (sqrt (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)))) (expm1 (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753)))) (log1p (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753)))) (* 0.70711 (fma 0.27061 x 2.30753)) (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))) (* 0.70711 (fma 0.27061 x 2.30753)) (+ (log (sqrt 0.70711)) (log (sqrt (fma 0.27061 x 2.30753)))) (log (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753)))) (exp (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753)))) (* (* (* (sqrt 0.70711) (sqrt 0.70711)) (sqrt 0.70711)) (* (* (sqrt (fma 0.27061 x 2.30753)) (sqrt (fma 0.27061 x 2.30753))) (sqrt (fma 0.27061 x 2.30753)))) (* (cbrt (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753)))) (cbrt (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))))) (cbrt (* (sqrt 0.70711) (sqrt (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)))) (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753)))) (* 0.70711 (fma 0.27061 x 2.30753)) (sqrt (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753)))) (sqrt (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753)))) (* (sqrt (sqrt 0.70711)) (sqrt (sqrt (fma 0.27061 x 2.30753)))) (* (sqrt (sqrt 0.70711)) (sqrt (sqrt (fma 0.27061 x 2.30753)))) (* (sqrt (sqrt 0.70711)) (sqrt (sqrt (fma 0.27061 x 2.30753)))) (* (sqrt (sqrt 0.70711)) (sqrt (sqrt (fma 0.27061 x 2.30753)))) (* (sqrt (sqrt 0.70711)) (sqrt (sqrt (fma 0.27061 x 2.30753)))) (* (sqrt (sqrt 0.70711)) (sqrt (sqrt (fma 0.27061 x 2.30753)))) (* (sqrt (sqrt 0.70711)) (sqrt (sqrt (fma 0.27061 x 2.30753)))) (* (sqrt (sqrt 0.70711)) (sqrt (sqrt (fma 0.27061 x 2.30753)))) (* (sqrt 0.70711) (* (cbrt (sqrt (fma 0.27061 x 2.30753))) (cbrt (sqrt (fma 0.27061 x 2.30753))))) (* (sqrt 0.70711) (sqrt (* (cbrt (fma 0.27061 x 2.30753)) (cbrt (fma 0.27061 x 2.30753))))) (* (sqrt 0.70711) (sqrt (sqrt (fma 0.27061 x 2.30753)))) (* (sqrt 0.70711) (sqrt 1)) (* (sqrt 0.70711) (sqrt (sqrt (fma 0.27061 x 2.30753)))) (* (sqrt 0.70711) 1) (* (cbrt (sqrt 0.70711)) (sqrt (fma 0.27061 x 2.30753))) (* (sqrt (cbrt 0.70711)) (sqrt (fma 0.27061 x 2.30753))) (* (sqrt (sqrt 0.70711)) (sqrt (fma 0.27061 x 2.30753))) (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))) (* (sqrt (sqrt 0.70711)) (sqrt (fma 0.27061 x 2.30753))) (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))) (expm1 (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753)))) (log1p (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753)))) (* 0.70711 (fma 0.27061 x 2.30753)) (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))) (* 0.70711 (fma 0.27061 x 2.30753)) (+ (log (sqrt 0.70711)) (log (sqrt (fma 0.27061 x 2.30753)))) (log (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753)))) (exp (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753)))) (* (* (* (sqrt 0.70711) (sqrt 0.70711)) (sqrt 0.70711)) (* (* (sqrt (fma 0.27061 x 2.30753)) (sqrt (fma 0.27061 x 2.30753))) (sqrt (fma 0.27061 x 2.30753)))) (* (cbrt (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753)))) (cbrt (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))))) (cbrt (* (sqrt 0.70711) (sqrt (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)))) (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753)))) (* 0.70711 (fma 0.27061 x 2.30753)) (sqrt (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753)))) (sqrt (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753)))) (* (sqrt (sqrt 0.70711)) (sqrt (sqrt (fma 0.27061 x 2.30753)))) (* (sqrt (sqrt 0.70711)) (sqrt (sqrt (fma 0.27061 x 2.30753)))) (* (sqrt (sqrt 0.70711)) (sqrt (sqrt (fma 0.27061 x 2.30753)))) (* (sqrt (sqrt 0.70711)) (sqrt (sqrt (fma 0.27061 x 2.30753)))) (* (sqrt (sqrt 0.70711)) (sqrt (sqrt (fma 0.27061 x 2.30753)))) (* (sqrt (sqrt 0.70711)) (sqrt (sqrt (fma 0.27061 x 2.30753)))) (* (sqrt (sqrt 0.70711)) (sqrt (sqrt (fma 0.27061 x 2.30753)))) (* (sqrt (sqrt 0.70711)) (sqrt (sqrt (fma 0.27061 x 2.30753)))) (* (sqrt 0.70711) (* (cbrt (sqrt (fma 0.27061 x 2.30753))) (cbrt (sqrt (fma 0.27061 x 2.30753))))) (* (sqrt 0.70711) (sqrt (* (cbrt (fma 0.27061 x 2.30753)) (cbrt (fma 0.27061 x 2.30753))))) (* (sqrt 0.70711) (sqrt (sqrt (fma 0.27061 x 2.30753)))) (* (sqrt 0.70711) (sqrt 1)) (* (sqrt 0.70711) (sqrt (sqrt (fma 0.27061 x 2.30753)))) (* (sqrt 0.70711) 1) (* (cbrt (sqrt 0.70711)) (sqrt (fma 0.27061 x 2.30753))) (* (sqrt (cbrt 0.70711)) (sqrt (fma 0.27061 x 2.30753))) (* (sqrt (sqrt 0.70711)) (sqrt (fma 0.27061 x 2.30753))) (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))) (* (sqrt (sqrt 0.70711)) (sqrt (fma 0.27061 x 2.30753))) (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))) (- (+ (* 2.30753 (pow (sqrt 0.70711) 2)) (* 1.900161040244073 (* (pow x 2) (pow (sqrt 0.70711) 2)))) (* 2.0191289436999997 (* x (pow (sqrt 0.70711) 2)))) (- (+ (* 1686.279566230464 (/ (pow (sqrt 0.70711) 2) (pow x 3))) (* 6.039053782637804 (/ (pow (sqrt 0.70711) 2) x))) (* 82.23527511657369 (/ (pow (sqrt 0.70711) 2) (pow x 2)))) (- (+ (* 1686.279566230464 (/ (pow (sqrt 0.70711) 2) (pow x 3))) (* 6.039053782637804 (/ (pow (sqrt 0.70711) 2) x))) (* 82.23527511657369 (/ (pow (sqrt 0.70711) 2) (pow x 2)))) (+ (* 2.30753 (pow (sqrt 0.70711) 2)) (* 0.27061 (* x (pow (sqrt 0.70711) 2)))) (+ (* 2.30753 (pow (sqrt 0.70711) 2)) (* 0.27061 (* x (pow (sqrt 0.70711) 2)))) (+ (* 2.30753 (pow (sqrt 0.70711) 2)) (* 0.27061 (* x (pow (sqrt 0.70711) 2)))) (- (+ (* (sqrt 0.70711) (sqrt 2.30753)) (* 0.135305 (/ (* x (sqrt 0.70711)) (sqrt 2.30753)))) (* 0.0091537215125 (/ (* (pow x 2) (sqrt 0.70711)) (pow (sqrt 2.30753) 3)))) (- (+ (* +nan.0 (/ (sqrt 0.70711) (pow x 2))) (- (+ (* +nan.0 (/ (sqrt 0.70711) x)) (- (* +nan.0 (sqrt 0.70711))))))) (- (+ (* +nan.0 (/ (sqrt 0.70711) (pow x 2))) (- (+ (* +nan.0 (/ (sqrt 0.70711) x)) (- (* +nan.0 (sqrt 0.70711))))))) (- (+ (* (sqrt 0.70711) (sqrt 2.30753)) (* 0.135305 (/ (* x (sqrt 0.70711)) (sqrt 2.30753)))) (* 0.0091537215125 (/ (* (pow x 2) (sqrt 0.70711)) (pow (sqrt 2.30753) 3)))) (- (+ (* +nan.0 (/ (sqrt 0.70711) (pow x 2))) (- (+ (* +nan.0 (/ (sqrt 0.70711) x)) (- (* +nan.0 (sqrt 0.70711))))))) (- (+ (* +nan.0 (/ (sqrt 0.70711) (pow x 2))) (- (+ (* +nan.0 (/ (sqrt 0.70711) x)) (- (* +nan.0 (sqrt 0.70711))))))) 1.222 * [simplify]: Sending expressions to egg_math: (expm1 (/ (* (* (sqrt h0) (sqrt (fma h1 h2 h3))) (* (sqrt h0) (sqrt (fma h1 h2 h3)))) (fma h2 (fma h4 h2 h5) h6))) (log1p (/ (* (* (sqrt h0) (sqrt (fma h1 h2 h3))) (* (sqrt h0) (sqrt (fma h1 h2 h3)))) (fma h2 (fma h4 h2 h5) h6))) (- (+ (+ (log (sqrt h0)) (log (sqrt (fma h1 h2 h3)))) (+ (log (sqrt h0)) (log (sqrt (fma h1 h2 h3))))) (log (fma h2 (fma h4 h2 h5) h6))) (- (+ (+ (log (sqrt h0)) (log (sqrt (fma h1 h2 h3)))) (log (* (sqrt h0) (sqrt (fma h1 h2 h3))))) (log (fma h2 (fma h4 h2 h5) h6))) (- (+ (log (* (sqrt h0) (sqrt (fma h1 h2 h3)))) (+ (log (sqrt h0)) (log (sqrt (fma h1 h2 h3))))) (log (fma h2 (fma h4 h2 h5) h6))) (- (+ (log (* (sqrt h0) (sqrt (fma h1 h2 h3)))) (log (* (sqrt h0) (sqrt (fma h1 h2 h3))))) (log (fma h2 (fma h4 h2 h5) h6))) (- (log (* (* (sqrt h0) (sqrt (fma h1 h2 h3))) (* (sqrt h0) (sqrt (fma h1 h2 h3))))) (log (fma h2 (fma h4 h2 h5) h6))) (log (/ (* (* (sqrt h0) (sqrt (fma h1 h2 h3))) (* (sqrt h0) (sqrt (fma h1 h2 h3)))) (fma h2 (fma h4 h2 h5) h6))) (exp (/ (* (* (sqrt h0) (sqrt (fma h1 h2 h3))) (* (sqrt h0) (sqrt (fma h1 h2 h3)))) (fma h2 (fma h4 h2 h5) h6))) (/ (* (* (* (* (sqrt h0) (sqrt h0)) (sqrt h0)) (* (* (sqrt (fma h1 h2 h3)) (sqrt (fma h1 h2 h3))) (sqrt (fma h1 h2 h3)))) (* (* (* (sqrt h0) (sqrt h0)) (sqrt h0)) (* (* (sqrt (fma h1 h2 h3)) (sqrt (fma h1 h2 h3))) (sqrt (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))) (/ (* (* (* (* (sqrt h0) (sqrt h0)) (sqrt h0)) (* (* (sqrt (fma h1 h2 h3)) (sqrt (fma h1 h2 h3))) (sqrt (fma h1 h2 h3)))) (* (* (* (sqrt h0) (sqrt (fma h1 h2 h3))) (* (sqrt h0) (sqrt (fma h1 h2 h3)))) (* (sqrt h0) (sqrt (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))) (/ (* (* (* (* (sqrt h0) (sqrt (fma h1 h2 h3))) (* (sqrt h0) (sqrt (fma h1 h2 h3)))) (* (sqrt h0) (sqrt (fma h1 h2 h3)))) (* (* (* (sqrt h0) (sqrt h0)) (sqrt h0)) (* (* (sqrt (fma h1 h2 h3)) (sqrt (fma h1 h2 h3))) (sqrt (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))) (/ (* (* (* (* (sqrt h0) (sqrt (fma h1 h2 h3))) (* (sqrt h0) (sqrt (fma h1 h2 h3)))) (* (sqrt h0) (sqrt (fma h1 h2 h3)))) (* (* (* (sqrt h0) (sqrt (fma h1 h2 h3))) (* (sqrt h0) (sqrt (fma h1 h2 h3)))) (* (sqrt h0) (sqrt (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))) (/ (* (* (* (* (sqrt h0) (sqrt (fma h1 h2 h3))) (* (sqrt h0) (sqrt (fma h1 h2 h3)))) (* (* (sqrt h0) (sqrt (fma h1 h2 h3))) (* (sqrt h0) (sqrt (fma h1 h2 h3))))) (* (* (sqrt h0) (sqrt (fma h1 h2 h3))) (* (sqrt h0) (sqrt (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 (/ (* (* (sqrt h0) (sqrt (fma h1 h2 h3))) (* (sqrt h0) (sqrt (fma h1 h2 h3)))) (fma h2 (fma h4 h2 h5) h6))) (cbrt (/ (* (* (sqrt h0) (sqrt (fma h1 h2 h3))) (* (sqrt h0) (sqrt (fma h1 h2 h3)))) (fma h2 (fma h4 h2 h5) h6)))) (cbrt (/ (* (* (sqrt h0) (sqrt (fma h1 h2 h3))) (* (sqrt h0) (sqrt (fma h1 h2 h3)))) (fma h2 (fma h4 h2 h5) h6))) (* (* (/ (* (* (sqrt h0) (sqrt (fma h1 h2 h3))) (* (sqrt h0) (sqrt (fma h1 h2 h3)))) (fma h2 (fma h4 h2 h5) h6)) (/ (* (* (sqrt h0) (sqrt (fma h1 h2 h3))) (* (sqrt h0) (sqrt (fma h1 h2 h3)))) (fma h2 (fma h4 h2 h5) h6))) (/ (* (* (sqrt h0) (sqrt (fma h1 h2 h3))) (* (sqrt h0) (sqrt (fma h1 h2 h3)))) (fma h2 (fma h4 h2 h5) h6))) (sqrt (/ (* (* (sqrt h0) (sqrt (fma h1 h2 h3))) (* (sqrt h0) (sqrt (fma h1 h2 h3)))) (fma h2 (fma h4 h2 h5) h6))) (sqrt (/ (* (* (sqrt h0) (sqrt (fma h1 h2 h3))) (* (sqrt h0) (sqrt (fma h1 h2 h3)))) (fma h2 (fma h4 h2 h5) h6))) (- (* (* (sqrt h0) (sqrt (fma h1 h2 h3))) (* (sqrt h0) (sqrt (fma h1 h2 h3))))) (- (fma h2 (fma h4 h2 h5) h6)) (/ (* (sqrt h0) (sqrt (fma h1 h2 h3))) (* (cbrt (fma h2 (fma h4 h2 h5) h6)) (cbrt (fma h2 (fma h4 h2 h5) h6)))) (/ (* (sqrt h0) (sqrt (fma h1 h2 h3))) (cbrt (fma h2 (fma h4 h2 h5) h6))) (/ (* (sqrt h0) (sqrt (fma h1 h2 h3))) (sqrt (fma h2 (fma h4 h2 h5) h6))) (/ (* (sqrt h0) (sqrt (fma h1 h2 h3))) (sqrt (fma h2 (fma h4 h2 h5) h6))) (/ (* (sqrt h0) (sqrt (fma h1 h2 h3))) 1) (/ (* (sqrt h0) (sqrt (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) (* (* (sqrt h0) (sqrt (fma h1 h2 h3))) (* (sqrt h0) (sqrt (fma h1 h2 h3))))) (/ (* (* (sqrt h0) (sqrt (fma h1 h2 h3))) (* (sqrt h0) (sqrt (fma h1 h2 h3)))) (* (cbrt (fma h2 (fma h4 h2 h5) h6)) (cbrt (fma h2 (fma h4 h2 h5) h6)))) (/ (* (* (sqrt h0) (sqrt (fma h1 h2 h3))) (* (sqrt h0) (sqrt (fma h1 h2 h3)))) (sqrt (fma h2 (fma h4 h2 h5) h6))) (/ (* (* (sqrt h0) (sqrt (fma h1 h2 h3))) (* (sqrt h0) (sqrt (fma h1 h2 h3)))) 1) (/ (fma h2 (fma h4 h2 h5) h6) (* (sqrt h0) (sqrt (fma h1 h2 h3)))) (expm1 (* (* (sqrt h0) (sqrt (fma h1 h2 h3))) (* (sqrt h0) (sqrt (fma h1 h2 h3))))) (log1p (* (* (sqrt h0) (sqrt (fma h1 h2 h3))) (* (sqrt h0) (sqrt (fma h1 h2 h3))))) (+ 1/2 1/2) (+ 1/2 (/ 1 2)) (+ 1 1) (+ 1 1) (+ (/ 1 2) 1/2) (+ (/ 1 2) (/ 1 2)) (+ 1 1) (+ 1 1) (* (* h0 (fma h1 h2 h3)) (* h0 (fma h1 h2 h3))) (* (* (sqrt h0) (sqrt (fma h1 h2 h3))) (* (sqrt h0) (sqrt (fma h1 h2 h3)))) (* (* (sqrt h0) (sqrt (fma h1 h2 h3))) (* (sqrt h0) (sqrt (fma h1 h2 h3)))) (* (* h0 (fma h1 h2 h3)) (* h0 (fma h1 h2 h3))) (* (* (sqrt h0) (sqrt (fma h1 h2 h3))) (* (sqrt h0) (sqrt (fma h1 h2 h3)))) (* (* (sqrt h0) (sqrt (fma h1 h2 h3))) (* (sqrt h0) (sqrt (fma h1 h2 h3)))) (+ 1 1) (+ 1 1) (+ (+ (log (sqrt h0)) (log (sqrt (fma h1 h2 h3)))) (+ (log (sqrt h0)) (log (sqrt (fma h1 h2 h3))))) (+ (+ (log (sqrt h0)) (log (sqrt (fma h1 h2 h3)))) (log (* (sqrt h0) (sqrt (fma h1 h2 h3))))) (+ (log (* (sqrt h0) (sqrt (fma h1 h2 h3)))) (+ (log (sqrt h0)) (log (sqrt (fma h1 h2 h3))))) (+ (log (* (sqrt h0) (sqrt (fma h1 h2 h3)))) (log (* (sqrt h0) (sqrt (fma h1 h2 h3))))) (log (* (* (sqrt h0) (sqrt (fma h1 h2 h3))) (* (sqrt h0) (sqrt (fma h1 h2 h3))))) (exp (* (* (sqrt h0) (sqrt (fma h1 h2 h3))) (* (sqrt h0) (sqrt (fma h1 h2 h3))))) (* (* (* (* (sqrt h0) (sqrt h0)) (sqrt h0)) (* (* (sqrt (fma h1 h2 h3)) (sqrt (fma h1 h2 h3))) (sqrt (fma h1 h2 h3)))) (* (* (* (sqrt h0) (sqrt h0)) (sqrt h0)) (* (* (sqrt (fma h1 h2 h3)) (sqrt (fma h1 h2 h3))) (sqrt (fma h1 h2 h3))))) (* (* (* (* (sqrt h0) (sqrt h0)) (sqrt h0)) (* (* (sqrt (fma h1 h2 h3)) (sqrt (fma h1 h2 h3))) (sqrt (fma h1 h2 h3)))) (* (* (* (sqrt h0) (sqrt (fma h1 h2 h3))) (* (sqrt h0) (sqrt (fma h1 h2 h3)))) (* (sqrt h0) (sqrt (fma h1 h2 h3))))) (* (* (* (* (sqrt h0) (sqrt (fma h1 h2 h3))) (* (sqrt h0) (sqrt (fma h1 h2 h3)))) (* (sqrt h0) (sqrt (fma h1 h2 h3)))) (* (* (* (sqrt h0) (sqrt h0)) (sqrt h0)) (* (* (sqrt (fma h1 h2 h3)) (sqrt (fma h1 h2 h3))) (sqrt (fma h1 h2 h3))))) (* (* (* (* (sqrt h0) (sqrt (fma h1 h2 h3))) (* (sqrt h0) (sqrt (fma h1 h2 h3)))) (* (sqrt h0) (sqrt (fma h1 h2 h3)))) (* (* (* (sqrt h0) (sqrt (fma h1 h2 h3))) (* (sqrt h0) (sqrt (fma h1 h2 h3)))) (* (sqrt h0) (sqrt (fma h1 h2 h3))))) (* (cbrt (* (* (sqrt h0) (sqrt (fma h1 h2 h3))) (* (sqrt h0) (sqrt (fma h1 h2 h3))))) (cbrt (* (* (sqrt h0) (sqrt (fma h1 h2 h3))) (* (sqrt h0) (sqrt (fma h1 h2 h3)))))) (cbrt (* (* (sqrt h0) (sqrt (fma h1 h2 h3))) (* (sqrt h0) (sqrt (fma h1 h2 h3))))) (* (* (* (* (sqrt h0) (sqrt (fma h1 h2 h3))) (* (sqrt h0) (sqrt (fma h1 h2 h3)))) (* (* (sqrt h0) (sqrt (fma h1 h2 h3))) (* (sqrt h0) (sqrt (fma h1 h2 h3))))) (* (* (sqrt h0) (sqrt (fma h1 h2 h3))) (* (sqrt h0) (sqrt (fma h1 h2 h3))))) (* (* h0 (fma h1 h2 h3)) (* h0 (fma h1 h2 h3))) (sqrt (* (* (sqrt h0) (sqrt (fma h1 h2 h3))) (* (sqrt h0) (sqrt (fma h1 h2 h3))))) (sqrt (* (* (sqrt h0) (sqrt (fma h1 h2 h3))) (* (sqrt h0) (sqrt (fma h1 h2 h3))))) (* (sqrt h0) (sqrt h0)) (* (sqrt (fma h1 h2 h3)) (sqrt (fma h1 h2 h3))) (* 2 1/2) (* 2 1) (* 2 1) (* 2 (/ 1 2)) (* 2 1) (* 2 1) (* (* (sqrt h0) (sqrt (fma h1 h2 h3))) (sqrt h0)) (* (sqrt (fma h1 h2 h3)) (* (sqrt h0) (sqrt (fma h1 h2 h3)))) (expm1 (* (sqrt h0) (sqrt (fma h1 h2 h3)))) (log1p (* (sqrt h0) (sqrt (fma h1 h2 h3)))) (* h0 (fma h1 h2 h3)) (* (sqrt h0) (sqrt (fma h1 h2 h3))) (* h0 (fma h1 h2 h3)) (+ (log (sqrt h0)) (log (sqrt (fma h1 h2 h3)))) (log (* (sqrt h0) (sqrt (fma h1 h2 h3)))) (exp (* (sqrt h0) (sqrt (fma h1 h2 h3)))) (* (* (* (sqrt h0) (sqrt h0)) (sqrt h0)) (* (* (sqrt (fma h1 h2 h3)) (sqrt (fma h1 h2 h3))) (sqrt (fma h1 h2 h3)))) (* (cbrt (* (sqrt h0) (sqrt (fma h1 h2 h3)))) (cbrt (* (sqrt h0) (sqrt (fma h1 h2 h3))))) (cbrt (* (sqrt h0) (sqrt (fma h1 h2 h3)))) (* (* (* (sqrt h0) (sqrt (fma h1 h2 h3))) (* (sqrt h0) (sqrt (fma h1 h2 h3)))) (* (sqrt h0) (sqrt (fma h1 h2 h3)))) (* h0 (fma h1 h2 h3)) (sqrt (* (sqrt h0) (sqrt (fma h1 h2 h3)))) (sqrt (* (sqrt h0) (sqrt (fma h1 h2 h3)))) (* (sqrt (sqrt h0)) (sqrt (sqrt (fma h1 h2 h3)))) (* (sqrt (sqrt h0)) (sqrt (sqrt (fma h1 h2 h3)))) (* (sqrt (sqrt h0)) (sqrt (sqrt (fma h1 h2 h3)))) (* (sqrt (sqrt h0)) (sqrt (sqrt (fma h1 h2 h3)))) (* (sqrt (sqrt h0)) (sqrt (sqrt (fma h1 h2 h3)))) (* (sqrt (sqrt h0)) (sqrt (sqrt (fma h1 h2 h3)))) (* (sqrt (sqrt h0)) (sqrt (sqrt (fma h1 h2 h3)))) (* (sqrt (sqrt h0)) (sqrt (sqrt (fma h1 h2 h3)))) (* (sqrt h0) (* (cbrt (sqrt (fma h1 h2 h3))) (cbrt (sqrt (fma h1 h2 h3))))) (* (sqrt h0) (sqrt (* (cbrt (fma h1 h2 h3)) (cbrt (fma h1 h2 h3))))) (* (sqrt h0) (sqrt (sqrt (fma h1 h2 h3)))) (* (sqrt h0) (sqrt 1)) (* (sqrt h0) (sqrt (sqrt (fma h1 h2 h3)))) (* (sqrt h0) 1) (* (cbrt (sqrt h0)) (sqrt (fma h1 h2 h3))) (* (sqrt (cbrt h0)) (sqrt (fma h1 h2 h3))) (* (sqrt (sqrt h0)) (sqrt (fma h1 h2 h3))) (* (sqrt h0) (sqrt (fma h1 h2 h3))) (* (sqrt (sqrt h0)) (sqrt (fma h1 h2 h3))) (* (sqrt h0) (sqrt (fma h1 h2 h3))) (expm1 (* (sqrt h0) (sqrt (fma h1 h2 h3)))) (log1p (* (sqrt h0) (sqrt (fma h1 h2 h3)))) (* h0 (fma h1 h2 h3)) (* (sqrt h0) (sqrt (fma h1 h2 h3))) (* h0 (fma h1 h2 h3)) (+ (log (sqrt h0)) (log (sqrt (fma h1 h2 h3)))) (log (* (sqrt h0) (sqrt (fma h1 h2 h3)))) (exp (* (sqrt h0) (sqrt (fma h1 h2 h3)))) (* (* (* (sqrt h0) (sqrt h0)) (sqrt h0)) (* (* (sqrt (fma h1 h2 h3)) (sqrt (fma h1 h2 h3))) (sqrt (fma h1 h2 h3)))) (* (cbrt (* (sqrt h0) (sqrt (fma h1 h2 h3)))) (cbrt (* (sqrt h0) (sqrt (fma h1 h2 h3))))) (cbrt (* (sqrt h0) (sqrt (fma h1 h2 h3)))) (* (* (* (sqrt h0) (sqrt (fma h1 h2 h3))) (* (sqrt h0) (sqrt (fma h1 h2 h3)))) (* (sqrt h0) (sqrt (fma h1 h2 h3)))) (* h0 (fma h1 h2 h3)) (sqrt (* (sqrt h0) (sqrt (fma h1 h2 h3)))) (sqrt (* (sqrt h0) (sqrt (fma h1 h2 h3)))) (* (sqrt (sqrt h0)) (sqrt (sqrt (fma h1 h2 h3)))) (* (sqrt (sqrt h0)) (sqrt (sqrt (fma h1 h2 h3)))) (* (sqrt (sqrt h0)) (sqrt (sqrt (fma h1 h2 h3)))) (* (sqrt (sqrt h0)) (sqrt (sqrt (fma h1 h2 h3)))) (* (sqrt (sqrt h0)) (sqrt (sqrt (fma h1 h2 h3)))) (* (sqrt (sqrt h0)) (sqrt (sqrt (fma h1 h2 h3)))) (* (sqrt (sqrt h0)) (sqrt (sqrt (fma h1 h2 h3)))) (* (sqrt (sqrt h0)) (sqrt (sqrt (fma h1 h2 h3)))) (* (sqrt h0) (* (cbrt (sqrt (fma h1 h2 h3))) (cbrt (sqrt (fma h1 h2 h3))))) (* (sqrt h0) (sqrt (* (cbrt (fma h1 h2 h3)) (cbrt (fma h1 h2 h3))))) (* (sqrt h0) (sqrt (sqrt (fma h1 h2 h3)))) (* (sqrt h0) (sqrt 1)) (* (sqrt h0) (sqrt (sqrt (fma h1 h2 h3)))) (* (sqrt h0) 1) (* (cbrt (sqrt h0)) (sqrt (fma h1 h2 h3))) (* (sqrt (cbrt h0)) (sqrt (fma h1 h2 h3))) (* (sqrt (sqrt h0)) (sqrt (fma h1 h2 h3))) (* (sqrt h0) (sqrt (fma h1 h2 h3))) (* (sqrt (sqrt h0)) (sqrt (fma h1 h2 h3))) (* (sqrt h0) (sqrt (fma h1 h2 h3))) (- (+ (* h3 (pow (sqrt h0) 2)) (* h7 (* (pow h2 2) (pow (sqrt h0) 2)))) (* h8 (* h2 (pow (sqrt h0) 2)))) (- (+ (* h9 (/ (pow (sqrt h0) 2) (pow h2 3))) (* h10 (/ (pow (sqrt h0) 2) h2))) (* h11 (/ (pow (sqrt h0) 2) (pow h2 2)))) (- (+ (* h9 (/ (pow (sqrt h0) 2) (pow h2 3))) (* h10 (/ (pow (sqrt h0) 2) h2))) (* h11 (/ (pow (sqrt h0) 2) (pow h2 2)))) (+ (* h3 (pow (sqrt h0) 2)) (* h1 (* h2 (pow (sqrt h0) 2)))) (+ (* h3 (pow (sqrt h0) 2)) (* h1 (* h2 (pow (sqrt h0) 2)))) (+ (* h3 (pow (sqrt h0) 2)) (* h1 (* h2 (pow (sqrt h0) 2)))) (- (+ (* (sqrt h0) (sqrt h3)) (* h12 (/ (* h2 (sqrt h0)) (sqrt h3)))) (* h13 (/ (* (pow h2 2) (sqrt h0)) (pow (sqrt h3) 3)))) (- (+ (* h14 (/ (sqrt h0) (pow h2 2))) (- (+ (* h14 (/ (sqrt h0) h2)) (- (* h14 (sqrt h0))))))) (- (+ (* h14 (/ (sqrt h0) (pow h2 2))) (- (+ (* h14 (/ (sqrt h0) h2)) (- (* h14 (sqrt h0))))))) (- (+ (* (sqrt h0) (sqrt h3)) (* h12 (/ (* h2 (sqrt h0)) (sqrt h3)))) (* h13 (/ (* (pow h2 2) (sqrt h0)) (pow (sqrt h3) 3)))) (- (+ (* h14 (/ (sqrt h0) (pow h2 2))) (- (+ (* h14 (/ (sqrt h0) h2)) (- (* h14 (sqrt h0))))))) (- (+ (* h14 (/ (sqrt h0) (pow h2 2))) (- (+ (* h14 (/ (sqrt h0) h2)) (- (* h14 (sqrt h0))))))) 1.230 * * [simplify]: iteration 0 : 437 enodes (cost 1113 ) 1.239 * * [simplify]: iteration 1 : 2380 enodes (cost 888 ) 1.290 * * [simplify]: iteration 2 : 5002 enodes (cost 841 ) 1.301 * [simplify]: Simplified to: (expm1 (/ (* (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))) (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753)))) (fma x (fma 0.04481 x 0.99229) 1.0))) (log1p (/ (* (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))) (* (sqrt 0.70711) (sqrt (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))) (- (log (* 0.70711 (fma 0.27061 x 2.30753))) (log (fma x (fma 0.04481 x 0.99229) 1.0))) (exp (/ (* (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))) (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753)))) (fma x (fma 0.04481 x 0.99229) 1.0))) (pow (/ 0.70711 (/ (fma x (fma 0.04481 x 0.99229) 1.0) (fma 0.27061 x 2.30753))) 3) (pow (/ 0.70711 (/ (fma x (fma 0.04481 x 0.99229) 1.0) (fma 0.27061 x 2.30753))) 3) (pow (/ 0.70711 (/ (fma x (fma 0.04481 x 0.99229) 1.0) (fma 0.27061 x 2.30753))) 3) (pow (/ 0.70711 (/ (fma x (fma 0.04481 x 0.99229) 1.0) (fma 0.27061 x 2.30753))) 3) (pow (/ 0.70711 (/ (fma x (fma 0.04481 x 0.99229) 1.0) (fma 0.27061 x 2.30753))) 3) (* (cbrt (/ (* (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))) (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753)))) (fma x (fma 0.04481 x 0.99229) 1.0))) (cbrt (/ (* (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))) (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753)))) (fma x (fma 0.04481 x 0.99229) 1.0)))) (cbrt (/ (* (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))) (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753)))) (fma x (fma 0.04481 x 0.99229) 1.0))) (pow (/ 0.70711 (/ (fma x (fma 0.04481 x 0.99229) 1.0) (fma 0.27061 x 2.30753))) 3) (sqrt (/ (* (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))) (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753)))) (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt (/ (* (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))) (* (sqrt 0.70711) (sqrt (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) (sqrt (fma 0.27061 x 2.30753))) (* (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))) (/ (* (sqrt 0.70711) (sqrt (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 (/ (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)) (/ (fma x (fma 0.04481 x 0.99229) 1.0) (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753)))) (expm1 (* (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))) (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))))) (log1p (* (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))) (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))))) 1 1 2 2 1 1 2 2 (* (* 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)) (* (* 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)) 2 2 (log (* 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))) (log (* 0.70711 (fma 0.27061 x 2.30753))) (log (* 0.70711 (fma 0.27061 x 2.30753))) (pow (exp 0.70711) (fma 0.27061 x 2.30753)) (pow (* 0.70711 (fma 0.27061 x 2.30753)) 3) (pow (* 0.70711 (fma 0.27061 x 2.30753)) 3) (pow (* 0.70711 (fma 0.27061 x 2.30753)) 3) (pow (* 0.70711 (fma 0.27061 x 2.30753)) 3) (* (cbrt (* (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))) (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))))) (cbrt (* (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))) (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753)))))) (cbrt (* (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))) (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))))) (pow (* 0.70711 (fma 0.27061 x 2.30753)) 3) (* (* 0.70711 (fma 0.27061 x 2.30753)) (* 0.70711 (fma 0.27061 x 2.30753))) (fabs (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753)))) (fabs (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753)))) 0.70711 (fma 0.27061 x 2.30753) 1 2 2 1 2 2 (* 0.70711 (sqrt (fma 0.27061 x 2.30753))) (* (fma 0.27061 x 2.30753) (sqrt 0.70711)) (expm1 (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753)))) (log1p (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753)))) (* 0.70711 (fma 0.27061 x 2.30753)) (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))) (* 0.70711 (fma 0.27061 x 2.30753)) (log (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753)))) (log (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753)))) (exp (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753)))) (pow (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))) 3) (* (cbrt (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753)))) (cbrt (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))))) (cbrt (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753)))) (pow (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))) 3) (* 0.70711 (fma 0.27061 x 2.30753)) (sqrt (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753)))) (sqrt (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753)))) (* (sqrt (sqrt 0.70711)) (sqrt (sqrt (fma 0.27061 x 2.30753)))) (* (sqrt (sqrt 0.70711)) (sqrt (sqrt (fma 0.27061 x 2.30753)))) (* (sqrt (sqrt 0.70711)) (sqrt (sqrt (fma 0.27061 x 2.30753)))) (* (sqrt (sqrt 0.70711)) (sqrt (sqrt (fma 0.27061 x 2.30753)))) (* (sqrt (sqrt 0.70711)) (sqrt (sqrt (fma 0.27061 x 2.30753)))) (* (sqrt (sqrt 0.70711)) (sqrt (sqrt (fma 0.27061 x 2.30753)))) (* (sqrt (sqrt 0.70711)) (sqrt (sqrt (fma 0.27061 x 2.30753)))) (* (sqrt (sqrt 0.70711)) (sqrt (sqrt (fma 0.27061 x 2.30753)))) (* (sqrt 0.70711) (* (cbrt (sqrt (fma 0.27061 x 2.30753))) (cbrt (sqrt (fma 0.27061 x 2.30753))))) (* (fabs (cbrt (fma 0.27061 x 2.30753))) (sqrt 0.70711)) (* (sqrt 0.70711) (sqrt (sqrt (fma 0.27061 x 2.30753)))) (sqrt 0.70711) (* (sqrt 0.70711) (sqrt (sqrt (fma 0.27061 x 2.30753)))) (sqrt 0.70711) (* (cbrt (sqrt 0.70711)) (sqrt (fma 0.27061 x 2.30753))) (* (sqrt (cbrt 0.70711)) (sqrt (fma 0.27061 x 2.30753))) (* (sqrt (sqrt 0.70711)) (sqrt (fma 0.27061 x 2.30753))) (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))) (* (sqrt (sqrt 0.70711)) (sqrt (fma 0.27061 x 2.30753))) (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))) (expm1 (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753)))) (log1p (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753)))) (* 0.70711 (fma 0.27061 x 2.30753)) (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))) (* 0.70711 (fma 0.27061 x 2.30753)) (log (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753)))) (log (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753)))) (exp (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753)))) (pow (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))) 3) (* (cbrt (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753)))) (cbrt (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))))) (cbrt (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753)))) (pow (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))) 3) (* 0.70711 (fma 0.27061 x 2.30753)) (sqrt (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753)))) (sqrt (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753)))) (* (sqrt (sqrt 0.70711)) (sqrt (sqrt (fma 0.27061 x 2.30753)))) (* (sqrt (sqrt 0.70711)) (sqrt (sqrt (fma 0.27061 x 2.30753)))) (* (sqrt (sqrt 0.70711)) (sqrt (sqrt (fma 0.27061 x 2.30753)))) (* (sqrt (sqrt 0.70711)) (sqrt (sqrt (fma 0.27061 x 2.30753)))) (* (sqrt (sqrt 0.70711)) (sqrt (sqrt (fma 0.27061 x 2.30753)))) (* (sqrt (sqrt 0.70711)) (sqrt (sqrt (fma 0.27061 x 2.30753)))) (* (sqrt (sqrt 0.70711)) (sqrt (sqrt (fma 0.27061 x 2.30753)))) (* (sqrt (sqrt 0.70711)) (sqrt (sqrt (fma 0.27061 x 2.30753)))) (* (sqrt 0.70711) (* (cbrt (sqrt (fma 0.27061 x 2.30753))) (cbrt (sqrt (fma 0.27061 x 2.30753))))) (* (fabs (cbrt (fma 0.27061 x 2.30753))) (sqrt 0.70711)) (* (sqrt 0.70711) (sqrt (sqrt (fma 0.27061 x 2.30753)))) (sqrt 0.70711) (* (sqrt 0.70711) (sqrt (sqrt (fma 0.27061 x 2.30753)))) (sqrt 0.70711) (* (cbrt (sqrt 0.70711)) (sqrt (fma 0.27061 x 2.30753))) (* (sqrt (cbrt 0.70711)) (sqrt (fma 0.27061 x 2.30753))) (* (sqrt (sqrt 0.70711)) (sqrt (fma 0.27061 x 2.30753))) (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))) (* (sqrt (sqrt 0.70711)) (sqrt (fma 0.27061 x 2.30753))) (* (sqrt 0.70711) (sqrt (fma 0.27061 x 2.30753))) (fma 0.70711 2.30753 (* 0.70711 (- (* 1.900161040244073 (pow x 2)) (* 2.0191289436999997 x)))) (fma 6.039053782637804 (/ 0.70711 x) (- (/ (* 1686.279566230464 0.70711) (pow x 3)) (/ (* 82.23527511657369 0.70711) (pow x 2)))) (fma 6.039053782637804 (/ 0.70711 x) (- (/ (* 1686.279566230464 0.70711) (pow x 3)) (/ (* 82.23527511657369 0.70711) (pow x 2)))) (* 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 (sqrt 2.30753) (sqrt 0.70711) (- (* 0.135305 (/ (* x (sqrt 0.70711)) (sqrt 2.30753))) (* 0.0091537215125 (/ (* (pow x 2) (sqrt 0.70711)) (pow (sqrt 2.30753) 3))))) (fma (- +nan.0) (/ (sqrt 0.70711) (pow x 2)) (* +nan.0 (- (/ (sqrt 0.70711) x) (sqrt 0.70711)))) (fma (- +nan.0) (/ (sqrt 0.70711) (pow x 2)) (* +nan.0 (- (/ (sqrt 0.70711) x) (sqrt 0.70711)))) (fma (sqrt 2.30753) (sqrt 0.70711) (- (* 0.135305 (/ (* x (sqrt 0.70711)) (sqrt 2.30753))) (* 0.0091537215125 (/ (* (pow x 2) (sqrt 0.70711)) (pow (sqrt 2.30753) 3))))) (fma (- +nan.0) (/ (sqrt 0.70711) (pow x 2)) (* +nan.0 (- (/ (sqrt 0.70711) x) (sqrt 0.70711)))) (fma (- +nan.0) (/ (sqrt 0.70711) (pow x 2)) (* +nan.0 (- (/ (sqrt 0.70711) x) (sqrt 0.70711)))) 1.302 * * * [progress]: adding candidates to table 1.655 * [progress]: [Phase 3 of 3] Extracting. 1.655 * * [regime]: Finding splitpoints for: (# #) 1.656 * * * [regime-changes]: Trying 1 branch expressions: (x) 1.656 * * * * [regimes]: Trying to branch on x from (# #) 1.668 * * * [regime]: Found split indices: #