51.039 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.016 * * * [progress]: [2/2] Setting up program. 0.018 * [progress]: [Phase 2 of 3] Improving. 0.018 * [simplify]: Simplifying using # : (* 0.70711 (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x)) 0.020 * * [simplify]: iteration 0 : 31 enodes (cost 9 ) 0.022 * * [simplify]: iteration 1 : 59 enodes (cost 9 ) 0.023 * * [simplify]: iteration 2 : 90 enodes (cost 9 ) 0.025 * * [simplify]: iteration 3 : 116 enodes (cost 7 ) 0.027 * * [simplify]: iteration 4 : 130 enodes (cost 7 ) 0.029 * * [simplify]: iteration 5 : 148 enodes (cost 7 ) 0.031 * * [simplify]: iteration 6 : 188 enodes (cost 7 ) 0.034 * * [simplify]: iteration 7 : 264 enodes (cost 7 ) 0.036 * * [simplify]: iteration 8 : 304 enodes (cost 7 ) 0.040 * * [simplify]: iteration 9 : 377 enodes (cost 7 ) 0.044 * * [simplify]: iteration 10 : 580 enodes (cost 7 ) 0.050 * * [simplify]: iteration 11 : 851 enodes (cost 7 ) 0.062 * * [simplify]: iteration 12 : 1402 enodes (cost 7 ) 0.077 * * [simplify]: iteration 13 : 2787 enodes (cost 7 ) 0.094 * * [simplify]: iteration 14 : 3168 enodes (cost 7 ) 0.116 * * [simplify]: iteration 15 : 4321 enodes (cost 7 ) 0.145 * * [simplify]: iteration 16 : 5001 enodes (cost 7 ) 0.146 * [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.149 * * [progress]: iteration 1 / 4 0.149 * * * [progress]: picking best candidate 0.152 * * * * [pick]: Picked # 0.152 * * * [progress]: localizing error 0.167 * * * [progress]: generating rewritten candidates 0.168 * * * * [progress]: [ 1 / 3 ] rewriting at (2 3) 0.171 * * * * [progress]: [ 2 / 3 ] rewriting at (2 3 1) 0.173 * * * * [progress]: [ 3 / 3 ] rewriting at (2 3 2) 0.174 * * * [progress]: generating series expansions 0.174 * * * * [progress]: [ 1 / 3 ] generating series at (2 3) 0.174 * [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.174 * [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.174 * [taylor]: Taking taylor expansion of 0.70711 in x 0.174 * [taylor]: Taking taylor expansion of (/ (fma 0.27061 x 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) in x 0.174 * [taylor]: Taking taylor expansion of (fma 0.27061 x 2.30753) in x 0.174 * [taylor]: Rewrote expression to (+ (* 0.27061 x) 2.30753) 0.174 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x 0.174 * [taylor]: Taking taylor expansion of 0.27061 in x 0.174 * [taylor]: Taking taylor expansion of x in x 0.174 * [taylor]: Taking taylor expansion of 2.30753 in x 0.174 * [taylor]: Taking taylor expansion of (fma x (fma 0.04481 x 0.99229) 1.0) in x 0.175 * [taylor]: Rewrote expression to (+ (* x (fma 0.04481 x 0.99229)) 1.0) 0.175 * [taylor]: Taking taylor expansion of (* x (fma 0.04481 x 0.99229)) in x 0.175 * [taylor]: Taking taylor expansion of x in x 0.175 * [taylor]: Taking taylor expansion of (fma 0.04481 x 0.99229) in x 0.175 * [taylor]: Rewrote expression to (+ (* 0.04481 x) 0.99229) 0.175 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x 0.175 * [taylor]: Taking taylor expansion of 0.04481 in x 0.175 * [taylor]: Taking taylor expansion of x in x 0.175 * [taylor]: Taking taylor expansion of 0.99229 in x 0.175 * [taylor]: Taking taylor expansion of 1.0 in x 0.177 * [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.177 * [taylor]: Taking taylor expansion of 0.70711 in x 0.177 * [taylor]: Taking taylor expansion of (/ (fma 0.27061 x 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) in x 0.177 * [taylor]: Taking taylor expansion of (fma 0.27061 x 2.30753) in x 0.177 * [taylor]: Rewrote expression to (+ (* 0.27061 x) 2.30753) 0.177 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x 0.177 * [taylor]: Taking taylor expansion of 0.27061 in x 0.177 * [taylor]: Taking taylor expansion of x in x 0.177 * [taylor]: Taking taylor expansion of 2.30753 in x 0.177 * [taylor]: Taking taylor expansion of (fma x (fma 0.04481 x 0.99229) 1.0) in x 0.177 * [taylor]: Rewrote expression to (+ (* x (fma 0.04481 x 0.99229)) 1.0) 0.177 * [taylor]: Taking taylor expansion of (* x (fma 0.04481 x 0.99229)) in x 0.177 * [taylor]: Taking taylor expansion of x in x 0.177 * [taylor]: Taking taylor expansion of (fma 0.04481 x 0.99229) in x 0.177 * [taylor]: Rewrote expression to (+ (* 0.04481 x) 0.99229) 0.177 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x 0.177 * [taylor]: Taking taylor expansion of 0.04481 in x 0.177 * [taylor]: Taking taylor expansion of x in x 0.177 * [taylor]: Taking taylor expansion of 0.99229 in x 0.178 * [taylor]: Taking taylor expansion of 1.0 in x 0.195 * [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.195 * [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.195 * [taylor]: Taking taylor expansion of 0.70711 in x 0.195 * [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.195 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ 1 x) 2.30753) in x 0.195 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ 1 x)) 2.30753) 0.195 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 0.195 * [taylor]: Taking taylor expansion of 0.27061 in x 0.195 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.195 * [taylor]: Taking taylor expansion of x in x 0.195 * [taylor]: Taking taylor expansion of 2.30753 in x 0.195 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0) in x 0.196 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) 1.0) 0.196 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) in x 0.196 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.196 * [taylor]: Taking taylor expansion of x in x 0.196 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ 1 x) 0.99229) in x 0.196 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ 1 x)) 0.99229) 0.196 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 0.196 * [taylor]: Taking taylor expansion of 0.04481 in x 0.196 * [taylor]: Taking taylor expansion of (/ 1 x) 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.198 * [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.198 * [taylor]: Taking taylor expansion of 0.70711 in x 0.198 * [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.198 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ 1 x) 2.30753) in x 0.198 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ 1 x)) 2.30753) 0.198 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 0.198 * [taylor]: Taking taylor expansion of 0.27061 in x 0.198 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.198 * [taylor]: Taking taylor expansion of x in x 0.199 * [taylor]: Taking taylor expansion of 2.30753 in x 0.199 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0) in x 0.199 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) 1.0) 0.199 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) in x 0.199 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.199 * [taylor]: Taking taylor expansion of x in x 0.199 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ 1 x) 0.99229) in x 0.199 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ 1 x)) 0.99229) 0.199 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 0.199 * [taylor]: Taking taylor expansion of 0.04481 in x 0.199 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.199 * [taylor]: Taking taylor expansion of x in x 0.200 * [taylor]: Taking taylor expansion of 0.99229 in x 0.200 * [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.218 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.218 * [taylor]: Taking taylor expansion of -1 in x 0.218 * [taylor]: Taking taylor expansion of x in x 0.218 * [taylor]: Taking taylor expansion of 2.30753 in x 0.218 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0) in x 0.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 -1 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.219 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.219 * [taylor]: Taking taylor expansion of -1 in x 0.219 * [taylor]: Taking taylor expansion of x in x 0.219 * [taylor]: Taking taylor expansion of 0.99229 in x 0.219 * [taylor]: Taking taylor expansion of 1.0 in x 0.221 * [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.221 * [taylor]: Taking taylor expansion of 0.70711 in x 0.221 * [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.221 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ -1 x) 2.30753) in x 0.221 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ -1 x)) 2.30753) 0.221 * [taylor]: Taking taylor expansion of (* 0.27061 (/ -1 x)) in x 0.221 * [taylor]: Taking taylor expansion of 0.27061 in x 0.221 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.221 * [taylor]: Taking taylor expansion of -1 in x 0.222 * [taylor]: Taking taylor expansion of x in x 0.222 * [taylor]: Taking taylor expansion of 2.30753 in x 0.222 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0) in x 0.222 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) 1.0) 0.222 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) in x 0.222 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.222 * [taylor]: Taking taylor expansion of -1 in x 0.222 * [taylor]: Taking taylor expansion of x in x 0.222 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ -1 x) 0.99229) in x 0.222 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ -1 x)) 0.99229) 0.222 * [taylor]: Taking taylor expansion of (* 0.04481 (/ -1 x)) in x 0.222 * [taylor]: Taking taylor expansion of 0.04481 in x 0.222 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.222 * [taylor]: Taking taylor expansion of -1 in x 0.222 * [taylor]: Taking taylor expansion of x in x 0.223 * [taylor]: Taking taylor expansion of 0.99229 in x 0.223 * [taylor]: Taking taylor expansion of 1.0 in x 0.247 * * * * [progress]: [ 2 / 3 ] generating series at (2 3 1) 0.247 * [approximate]: Taking taylor expansion of (* 0.70711 (fma 0.27061 x 2.30753)) in (x) around 0 0.247 * [taylor]: Taking taylor expansion of (* 0.70711 (fma 0.27061 x 2.30753)) in x 0.247 * [taylor]: Taking taylor expansion of 0.70711 in x 0.247 * [taylor]: Taking taylor expansion of (fma 0.27061 x 2.30753) in x 0.247 * [taylor]: Rewrote expression to (+ (* 0.27061 x) 2.30753) 0.247 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x 0.247 * [taylor]: Taking taylor expansion of 0.27061 in x 0.247 * [taylor]: Taking taylor expansion of x in x 0.247 * [taylor]: Taking taylor expansion of 2.30753 in x 0.247 * [taylor]: Taking taylor expansion of (* 0.70711 (fma 0.27061 x 2.30753)) in x 0.247 * [taylor]: Taking taylor expansion of 0.70711 in x 0.247 * [taylor]: Taking taylor expansion of (fma 0.27061 x 2.30753) in x 0.247 * [taylor]: Rewrote expression to (+ (* 0.27061 x) 2.30753) 0.247 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x 0.247 * [taylor]: Taking taylor expansion of 0.27061 in x 0.247 * [taylor]: Taking taylor expansion of x in x 0.247 * [taylor]: Taking taylor expansion of 2.30753 in x 0.260 * [approximate]: Taking taylor expansion of (* 0.70711 (fma 0.27061 (/ 1 x) 2.30753)) in (x) around 0 0.260 * [taylor]: Taking taylor expansion of (* 0.70711 (fma 0.27061 (/ 1 x) 2.30753)) in x 0.260 * [taylor]: Taking taylor expansion of 0.70711 in x 0.260 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ 1 x) 2.30753) in x 0.261 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ 1 x)) 2.30753) 0.261 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 0.261 * [taylor]: Taking taylor expansion of 0.27061 in x 0.261 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.261 * [taylor]: Taking taylor expansion of x in x 0.261 * [taylor]: Taking taylor expansion of 2.30753 in x 0.261 * [taylor]: Taking taylor expansion of (* 0.70711 (fma 0.27061 (/ 1 x) 2.30753)) in x 0.261 * [taylor]: Taking taylor expansion of 0.70711 in x 0.261 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ 1 x) 2.30753) in x 0.261 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ 1 x)) 2.30753) 0.261 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 0.261 * [taylor]: Taking taylor expansion of 0.27061 in x 0.261 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.261 * [taylor]: Taking taylor expansion of x in x 0.261 * [taylor]: Taking taylor expansion of 2.30753 in x 0.277 * [approximate]: Taking taylor expansion of (* 0.70711 (fma 0.27061 (/ -1 x) 2.30753)) in (x) around 0 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 -1 in x 0.277 * [taylor]: Taking taylor expansion of x in x 0.278 * [taylor]: Taking taylor expansion of 2.30753 in x 0.278 * [taylor]: Taking taylor expansion of (* 0.70711 (fma 0.27061 (/ -1 x) 2.30753)) in x 0.278 * [taylor]: Taking taylor expansion of 0.70711 in x 0.278 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ -1 x) 2.30753) in x 0.278 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ -1 x)) 2.30753) 0.278 * [taylor]: Taking taylor expansion of (* 0.27061 (/ -1 x)) in x 0.278 * [taylor]: Taking taylor expansion of 0.27061 in x 0.278 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.278 * [taylor]: Taking taylor expansion of -1 in x 0.278 * [taylor]: Taking taylor expansion of x in x 0.278 * [taylor]: Taking taylor expansion of 2.30753 in x 0.295 * * * * [progress]: [ 3 / 3 ] generating series at (2 3 2) 0.295 * [approximate]: Taking taylor expansion of (fma x (fma 0.04481 x 0.99229) 1.0) in (x) around 0 0.295 * [taylor]: Taking taylor expansion of (fma x (fma 0.04481 x 0.99229) 1.0) in x 0.295 * [taylor]: Rewrote expression to (+ (* x (fma 0.04481 x 0.99229)) 1.0) 0.295 * [taylor]: Taking taylor expansion of (* x (fma 0.04481 x 0.99229)) in x 0.295 * [taylor]: Taking taylor expansion of x in x 0.295 * [taylor]: Taking taylor expansion of (fma 0.04481 x 0.99229) in x 0.295 * [taylor]: Rewrote expression to (+ (* 0.04481 x) 0.99229) 0.295 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x 0.295 * [taylor]: Taking taylor expansion of 0.04481 in x 0.295 * [taylor]: Taking taylor expansion of x in x 0.295 * [taylor]: Taking taylor expansion of 0.99229 in x 0.295 * [taylor]: Taking taylor expansion of 1.0 in x 0.295 * [taylor]: Taking taylor expansion of (fma x (fma 0.04481 x 0.99229) 1.0) in x 0.296 * [taylor]: Rewrote expression to (+ (* x (fma 0.04481 x 0.99229)) 1.0) 0.296 * [taylor]: Taking taylor expansion of (* x (fma 0.04481 x 0.99229)) in x 0.296 * [taylor]: Taking taylor expansion of x in x 0.296 * [taylor]: Taking taylor expansion of (fma 0.04481 x 0.99229) in x 0.296 * [taylor]: Rewrote expression to (+ (* 0.04481 x) 0.99229) 0.296 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x 0.296 * [taylor]: Taking taylor expansion of 0.04481 in x 0.296 * [taylor]: Taking taylor expansion of x in x 0.296 * [taylor]: Taking taylor expansion of 0.99229 in x 0.296 * [taylor]: Taking taylor expansion of 1.0 in x 0.302 * [approximate]: Taking taylor expansion of (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0) in (x) around 0 0.302 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0) in x 0.302 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) 1.0) 0.302 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) in x 0.302 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.302 * [taylor]: Taking taylor expansion of x in x 0.303 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ 1 x) 0.99229) in x 0.303 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ 1 x)) 0.99229) 0.303 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 0.303 * [taylor]: Taking taylor expansion of 0.04481 in x 0.303 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.303 * [taylor]: Taking taylor expansion of x in x 0.303 * [taylor]: Taking taylor expansion of 0.99229 in x 0.303 * [taylor]: Taking taylor expansion of 1.0 in x 0.303 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0) in x 0.303 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) 1.0) 0.303 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) in x 0.303 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.303 * [taylor]: Taking taylor expansion of x in x 0.303 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ 1 x) 0.99229) in x 0.304 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ 1 x)) 0.99229) 0.304 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 0.304 * [taylor]: Taking taylor expansion of 0.04481 in x 0.304 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.304 * [taylor]: Taking taylor expansion of x in x 0.304 * [taylor]: Taking taylor expansion of 0.99229 in x 0.304 * [taylor]: Taking taylor expansion of 1.0 in x 0.310 * [approximate]: Taking taylor expansion of (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0) in (x) around 0 0.310 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0) in x 0.310 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) 1.0) 0.310 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) in x 0.310 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.310 * [taylor]: Taking taylor expansion of -1 in x 0.310 * [taylor]: Taking taylor expansion of x in x 0.311 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ -1 x) 0.99229) in x 0.311 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ -1 x)) 0.99229) 0.311 * [taylor]: Taking taylor expansion of (* 0.04481 (/ -1 x)) in x 0.311 * [taylor]: Taking taylor expansion of 0.04481 in x 0.311 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.311 * [taylor]: Taking taylor expansion of -1 in x 0.311 * [taylor]: Taking taylor expansion of x in x 0.311 * [taylor]: Taking taylor expansion of 0.99229 in x 0.311 * [taylor]: Taking taylor expansion of 1.0 in x 0.311 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0) in x 0.311 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) 1.0) 0.311 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) in x 0.311 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.311 * [taylor]: Taking taylor expansion of -1 in x 0.311 * [taylor]: Taking taylor expansion of x in x 0.312 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ -1 x) 0.99229) in x 0.312 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ -1 x)) 0.99229) 0.312 * [taylor]: Taking taylor expansion of (* 0.04481 (/ -1 x)) in x 0.312 * [taylor]: Taking taylor expansion of 0.04481 in x 0.312 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.312 * [taylor]: Taking taylor expansion of -1 in x 0.312 * [taylor]: Taking taylor expansion of x in x 0.312 * [taylor]: Taking taylor expansion of 0.99229 in x 0.312 * [taylor]: Taking taylor expansion of 1.0 in x 0.322 * * * [progress]: simplifying candidates 0.322 * [simplify]: Simplifying using # : (- (* 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))) (/ (fma x (fma 0.04481 x 0.99229) 1.0) (fma 0.27061 x 2.30753)) (/ (fma x (fma 0.04481 x 0.99229) 1.0) 0.70711) (* 0.70711 (* 0.27061 x)) (* 0.70711 2.30753) (* (* 0.27061 x) 0.70711) (* 2.30753 0.70711) (* x (fma 0.04481 x 0.99229)) (- (+ (* 1.3436228731669864 (pow x 2)) 1.6316775383) (* 1.4277462673797068 x)) (- (+ (* 4.2702753202410175 (/ 1 x)) (* 1192.3851440772235 (/ 1 (pow x 3)))) (* 58.149385387680425 (/ 1 (pow x 2)))) (- (+ (* 4.2702753202410175 (/ 1 x)) (* 1192.3851440772235 (/ 1 (pow x 3)))) (* 58.149385387680425 (/ 1 (pow x 2)))) (+ (* 0.1913510371 x) 1.6316775383) (+ (* 0.1913510371 x) 1.6316775383) (+ (* 0.1913510371 x) 1.6316775383) (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) 0.325 * * [simplify]: iteration 0 : 113 enodes (cost 66 ) 0.328 * * [simplify]: iteration 1 : 275 enodes (cost 60 ) 0.333 * * [simplify]: iteration 2 : 948 enodes (cost 58 ) 0.354 * * [simplify]: iteration 3 : 4394 enodes (cost 55 ) 0.500 * * [simplify]: iteration 4 : 5001 enodes (cost 53 ) 0.502 * [simplify]: Simplified to: (- (* 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))) (/ (fma x (fma 0.04481 x 0.99229) 1.0) (fma 0.27061 x 2.30753)) (/ (fma x (fma 0.04481 x 0.99229) 1.0) 0.70711) (* 0.70711 (* 0.27061 x)) (* 0.70711 2.30753) (* 0.70711 (* 0.27061 x)) (* 0.70711 2.30753) (* x (fma 0.04481 x 0.99229)) (fma x (- (* 1.3436228731669864 x) 1.4277462673797068) 1.6316775383) (fma (/ 1 (pow x 2)) (- (/ 1192.3851440772235 x) 58.149385387680425) (/ 4.2702753202410175 x)) (fma (/ 1 (pow x 2)) (- (/ 1192.3851440772235 x) 58.149385387680425) (/ 4.2702753202410175 x)) (fma 0.1913510371 x 1.6316775383) (fma 0.1913510371 x 1.6316775383) (fma 0.1913510371 x 1.6316775383) (fma x (fma 0.04481 x 0.99229) 1.0) (fma x (fma 0.04481 x 0.99229) 1.0) (fma x (fma 0.04481 x 0.99229) 1.0) 0.502 * * * [progress]: adding candidates to table 0.535 * * [progress]: iteration 2 / 4 0.535 * * * [progress]: picking best candidate 0.538 * * * * [pick]: Picked # 0.538 * * * [progress]: localizing error 0.553 * * * [progress]: generating rewritten candidates 0.553 * * * * [progress]: [ 1 / 3 ] rewriting at (2 3) 0.556 * * * * [progress]: [ 2 / 3 ] rewriting at (2 3 2 1) 0.557 * * * * [progress]: [ 3 / 3 ] rewriting at (2 3 2) 0.559 * * * [progress]: generating series expansions 0.559 * * * * [progress]: [ 1 / 3 ] generating series at (2 3) 0.560 * [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.560 * [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.560 * [taylor]: Taking taylor expansion of 0.70711 in x 0.560 * [taylor]: Taking taylor expansion of (/ (fma 0.27061 x 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) in x 0.560 * [taylor]: Taking taylor expansion of (fma 0.27061 x 2.30753) in x 0.560 * [taylor]: Rewrote expression to (+ (* 0.27061 x) 2.30753) 0.560 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x 0.560 * [taylor]: Taking taylor expansion of 0.27061 in x 0.560 * [taylor]: Taking taylor expansion of x in x 0.560 * [taylor]: Taking taylor expansion of 2.30753 in x 0.560 * [taylor]: Taking taylor expansion of (fma x (fma 0.04481 x 0.99229) 1.0) in x 0.560 * [taylor]: Rewrote expression to (+ (* x (fma 0.04481 x 0.99229)) 1.0) 0.560 * [taylor]: Taking taylor expansion of (* x (fma 0.04481 x 0.99229)) in x 0.560 * [taylor]: Taking taylor expansion of x in x 0.560 * [taylor]: Taking taylor expansion of (fma 0.04481 x 0.99229) in x 0.560 * [taylor]: Rewrote expression to (+ (* 0.04481 x) 0.99229) 0.560 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x 0.560 * [taylor]: Taking taylor expansion of 0.04481 in x 0.560 * [taylor]: Taking taylor expansion of x in x 0.560 * [taylor]: Taking taylor expansion of 0.99229 in x 0.560 * [taylor]: Taking taylor expansion of 1.0 in x 0.562 * [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.562 * [taylor]: Taking taylor expansion of 0.70711 in x 0.562 * [taylor]: Taking taylor expansion of (/ (fma 0.27061 x 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) in x 0.562 * [taylor]: Taking taylor expansion of (fma 0.27061 x 2.30753) in x 0.562 * [taylor]: Rewrote expression to (+ (* 0.27061 x) 2.30753) 0.562 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x 0.562 * [taylor]: Taking taylor expansion of 0.27061 in x 0.562 * [taylor]: Taking taylor expansion of x in x 0.562 * [taylor]: Taking taylor expansion of 2.30753 in x 0.563 * [taylor]: Taking taylor expansion of (fma x (fma 0.04481 x 0.99229) 1.0) in x 0.563 * [taylor]: Rewrote expression to (+ (* x (fma 0.04481 x 0.99229)) 1.0) 0.563 * [taylor]: Taking taylor expansion of (* x (fma 0.04481 x 0.99229)) in x 0.563 * [taylor]: Taking taylor expansion of x in x 0.563 * [taylor]: Taking taylor expansion of (fma 0.04481 x 0.99229) in x 0.563 * [taylor]: Rewrote expression to (+ (* 0.04481 x) 0.99229) 0.563 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x 0.563 * [taylor]: Taking taylor expansion of 0.04481 in x 0.563 * [taylor]: Taking taylor expansion of x in x 0.563 * [taylor]: Taking taylor expansion of 0.99229 in x 0.563 * [taylor]: Taking taylor expansion of 1.0 in x 0.580 * [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.580 * [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.580 * [taylor]: Taking taylor expansion of 0.70711 in x 0.580 * [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.580 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ 1 x) 2.30753) in x 0.580 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ 1 x)) 2.30753) 0.580 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 0.580 * [taylor]: Taking taylor expansion of 0.27061 in x 0.580 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.580 * [taylor]: Taking taylor expansion of x in x 0.581 * [taylor]: Taking taylor expansion of 2.30753 in x 0.581 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0) in x 0.581 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) 1.0) 0.581 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) in x 0.581 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.581 * [taylor]: Taking taylor expansion of x in x 0.581 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ 1 x) 0.99229) in x 0.581 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ 1 x)) 0.99229) 0.581 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 0.581 * [taylor]: Taking taylor expansion of 0.04481 in x 0.581 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.581 * [taylor]: Taking taylor expansion of x in x 0.581 * [taylor]: Taking taylor expansion of 0.99229 in x 0.581 * [taylor]: Taking taylor expansion of 1.0 in x 0.583 * [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.583 * [taylor]: Taking taylor expansion of 0.70711 in x 0.583 * [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.583 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ 1 x) 2.30753) in x 0.584 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ 1 x)) 2.30753) 0.584 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 0.584 * [taylor]: Taking taylor expansion of 0.27061 in x 0.584 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.584 * [taylor]: Taking taylor expansion of x in x 0.584 * [taylor]: Taking taylor expansion of 2.30753 in x 0.584 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0) in x 0.584 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) 1.0) 0.584 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) in x 0.584 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.584 * [taylor]: Taking taylor expansion of x in x 0.584 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ 1 x) 0.99229) in x 0.585 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ 1 x)) 0.99229) 0.585 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 0.585 * [taylor]: Taking taylor expansion of 0.04481 in x 0.585 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.585 * [taylor]: Taking taylor expansion of x in x 0.585 * [taylor]: Taking taylor expansion of 0.99229 in x 0.585 * [taylor]: Taking taylor expansion of 1.0 in x 0.603 * [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.603 * [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.603 * [taylor]: Taking taylor expansion of 0.70711 in x 0.603 * [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.603 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ -1 x) 2.30753) in x 0.604 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ -1 x)) 2.30753) 0.604 * [taylor]: Taking taylor expansion of (* 0.27061 (/ -1 x)) in x 0.604 * [taylor]: Taking taylor expansion of 0.27061 in x 0.604 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.604 * [taylor]: Taking taylor expansion of -1 in x 0.604 * [taylor]: Taking taylor expansion of x in x 0.604 * [taylor]: Taking taylor expansion of 2.30753 in x 0.604 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0) in x 0.604 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) 1.0) 0.604 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) in x 0.604 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.604 * [taylor]: Taking taylor expansion of -1 in x 0.604 * [taylor]: Taking taylor expansion of x in x 0.604 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ -1 x) 0.99229) in x 0.605 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ -1 x)) 0.99229) 0.605 * [taylor]: Taking taylor expansion of (* 0.04481 (/ -1 x)) in x 0.605 * [taylor]: Taking taylor expansion of 0.04481 in x 0.605 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.605 * [taylor]: Taking taylor expansion of -1 in x 0.605 * [taylor]: Taking taylor expansion of x in x 0.605 * [taylor]: Taking taylor expansion of 0.99229 in x 0.605 * [taylor]: Taking taylor expansion of 1.0 in x 0.607 * [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.607 * [taylor]: Taking taylor expansion of 0.70711 in x 0.607 * [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.607 * [taylor]: Taking taylor expansion of (fma 0.27061 (/ -1 x) 2.30753) in x 0.607 * [taylor]: Rewrote expression to (+ (* 0.27061 (/ -1 x)) 2.30753) 0.607 * [taylor]: Taking taylor expansion of (* 0.27061 (/ -1 x)) in x 0.607 * [taylor]: Taking taylor expansion of 0.27061 in x 0.608 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.608 * [taylor]: Taking taylor expansion of -1 in x 0.608 * [taylor]: Taking taylor expansion of x in x 0.608 * [taylor]: Taking taylor expansion of 2.30753 in x 0.608 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0) in x 0.608 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) 1.0) 0.608 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) in x 0.608 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.608 * [taylor]: Taking taylor expansion of -1 in x 0.608 * [taylor]: Taking taylor expansion of x in x 0.608 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ -1 x) 0.99229) in x 0.608 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ -1 x)) 0.99229) 0.608 * [taylor]: Taking taylor expansion of (* 0.04481 (/ -1 x)) in x 0.608 * [taylor]: Taking taylor expansion of 0.04481 in x 0.608 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.609 * [taylor]: Taking taylor expansion of -1 in x 0.609 * [taylor]: Taking taylor expansion of x in x 0.609 * [taylor]: Taking taylor expansion of 0.99229 in x 0.609 * [taylor]: Taking taylor expansion of 1.0 in x 0.629 * * * * [progress]: [ 2 / 3 ] generating series at (2 3 2 1) 0.630 * [approximate]: Taking taylor expansion of (fma x (fma 0.04481 x 0.99229) 1.0) in (x) around 0 0.630 * [taylor]: Taking taylor expansion of (fma x (fma 0.04481 x 0.99229) 1.0) in x 0.630 * [taylor]: Rewrote expression to (+ (* x (fma 0.04481 x 0.99229)) 1.0) 0.630 * [taylor]: Taking taylor expansion of (* x (fma 0.04481 x 0.99229)) in x 0.630 * [taylor]: Taking taylor expansion of x in x 0.630 * [taylor]: Taking taylor expansion of (fma 0.04481 x 0.99229) in x 0.630 * [taylor]: Rewrote expression to (+ (* 0.04481 x) 0.99229) 0.630 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x 0.630 * [taylor]: Taking taylor expansion of 0.04481 in x 0.630 * [taylor]: Taking taylor expansion of x in x 0.630 * [taylor]: Taking taylor expansion of 0.99229 in x 0.630 * [taylor]: Taking taylor expansion of 1.0 in x 0.630 * [taylor]: Taking taylor expansion of (fma x (fma 0.04481 x 0.99229) 1.0) in x 0.630 * [taylor]: Rewrote expression to (+ (* x (fma 0.04481 x 0.99229)) 1.0) 0.630 * [taylor]: Taking taylor expansion of (* x (fma 0.04481 x 0.99229)) in x 0.630 * [taylor]: Taking taylor expansion of x in x 0.630 * [taylor]: Taking taylor expansion of (fma 0.04481 x 0.99229) in x 0.630 * [taylor]: Rewrote expression to (+ (* 0.04481 x) 0.99229) 0.630 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x 0.630 * [taylor]: Taking taylor expansion of 0.04481 in x 0.630 * [taylor]: Taking taylor expansion of x in x 0.630 * [taylor]: Taking taylor expansion of 0.99229 in x 0.630 * [taylor]: Taking taylor expansion of 1.0 in x 0.639 * [approximate]: Taking taylor expansion of (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0) in (x) around 0 0.639 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0) in x 0.640 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) 1.0) 0.640 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) in x 0.640 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.640 * [taylor]: Taking taylor expansion of x in x 0.640 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ 1 x) 0.99229) in x 0.640 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ 1 x)) 0.99229) 0.640 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 0.640 * [taylor]: Taking taylor expansion of 0.04481 in x 0.640 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.640 * [taylor]: Taking taylor expansion of x in x 0.640 * [taylor]: Taking taylor expansion of 0.99229 in x 0.640 * [taylor]: Taking taylor expansion of 1.0 in x 0.640 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0) in x 0.640 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) 1.0) 0.640 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) in x 0.641 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.641 * [taylor]: Taking taylor expansion of x in x 0.641 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ 1 x) 0.99229) in x 0.641 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ 1 x)) 0.99229) 0.641 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 0.641 * [taylor]: Taking taylor expansion of 0.04481 in x 0.641 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.641 * [taylor]: Taking taylor expansion of x in x 0.641 * [taylor]: Taking taylor expansion of 0.99229 in x 0.641 * [taylor]: Taking taylor expansion of 1.0 in x 0.648 * [approximate]: Taking taylor expansion of (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0) in (x) around 0 0.648 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0) in x 0.648 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) 1.0) 0.648 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) in x 0.648 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.648 * [taylor]: Taking taylor expansion of -1 in x 0.648 * [taylor]: Taking taylor expansion of x in x 0.649 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ -1 x) 0.99229) in x 0.649 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ -1 x)) 0.99229) 0.649 * [taylor]: Taking taylor expansion of (* 0.04481 (/ -1 x)) in x 0.649 * [taylor]: Taking taylor expansion of 0.04481 in x 0.649 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.649 * [taylor]: Taking taylor expansion of -1 in x 0.649 * [taylor]: Taking taylor expansion of x in x 0.650 * [taylor]: Taking taylor expansion of 0.99229 in x 0.650 * [taylor]: Taking taylor expansion of 1.0 in x 0.650 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0) in x 0.650 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) 1.0) 0.650 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) in x 0.650 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.650 * [taylor]: Taking taylor expansion of -1 in x 0.650 * [taylor]: Taking taylor expansion of x in x 0.650 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ -1 x) 0.99229) in x 0.651 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ -1 x)) 0.99229) 0.651 * [taylor]: Taking taylor expansion of (* 0.04481 (/ -1 x)) in x 0.651 * [taylor]: Taking taylor expansion of 0.04481 in x 0.651 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.651 * [taylor]: Taking taylor expansion of -1 in x 0.651 * [taylor]: Taking taylor expansion of x in x 0.651 * [taylor]: Taking taylor expansion of 0.99229 in x 0.651 * [taylor]: Taking taylor expansion of 1.0 in x 0.665 * * * * [progress]: [ 3 / 3 ] generating series at (2 3 2) 0.665 * [approximate]: Taking taylor expansion of (* 1.4142071247754946 (fma x (fma 0.04481 x 0.99229) 1.0)) in (x) around 0 0.665 * [taylor]: Taking taylor expansion of (* 1.4142071247754946 (fma x (fma 0.04481 x 0.99229) 1.0)) in x 0.665 * [taylor]: Taking taylor expansion of 1.4142071247754946 in x 0.665 * [taylor]: Taking taylor expansion of (fma x (fma 0.04481 x 0.99229) 1.0) in x 0.665 * [taylor]: Rewrote expression to (+ (* x (fma 0.04481 x 0.99229)) 1.0) 0.665 * [taylor]: Taking taylor expansion of (* x (fma 0.04481 x 0.99229)) in x 0.665 * [taylor]: Taking taylor expansion of x in x 0.665 * [taylor]: Taking taylor expansion of (fma 0.04481 x 0.99229) in x 0.665 * [taylor]: Rewrote expression to (+ (* 0.04481 x) 0.99229) 0.665 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x 0.665 * [taylor]: Taking taylor expansion of 0.04481 in x 0.665 * [taylor]: Taking taylor expansion of x in x 0.665 * [taylor]: Taking taylor expansion of 0.99229 in x 0.665 * [taylor]: Taking taylor expansion of 1.0 in x 0.665 * [taylor]: Taking taylor expansion of (* 1.4142071247754946 (fma x (fma 0.04481 x 0.99229) 1.0)) in x 0.666 * [taylor]: Taking taylor expansion of 1.4142071247754946 in x 0.666 * [taylor]: Taking taylor expansion of (fma x (fma 0.04481 x 0.99229) 1.0) in x 0.666 * [taylor]: Rewrote expression to (+ (* x (fma 0.04481 x 0.99229)) 1.0) 0.666 * [taylor]: Taking taylor expansion of (* x (fma 0.04481 x 0.99229)) in x 0.666 * [taylor]: Taking taylor expansion of x in x 0.666 * [taylor]: Taking taylor expansion of (fma 0.04481 x 0.99229) in x 0.666 * [taylor]: Rewrote expression to (+ (* 0.04481 x) 0.99229) 0.666 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x 0.666 * [taylor]: Taking taylor expansion of 0.04481 in x 0.666 * [taylor]: Taking taylor expansion of x in x 0.666 * [taylor]: Taking taylor expansion of 0.99229 in x 0.666 * [taylor]: Taking taylor expansion of 1.0 in x 0.680 * [approximate]: Taking taylor expansion of (* 1.4142071247754946 (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0)) in (x) around 0 0.680 * [taylor]: Taking taylor expansion of (* 1.4142071247754946 (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0)) in x 0.680 * [taylor]: Taking taylor expansion of 1.4142071247754946 in x 0.680 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0) in x 0.681 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) 1.0) 0.681 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) in x 0.681 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.681 * [taylor]: Taking taylor expansion of x in x 0.681 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ 1 x) 0.99229) in x 0.681 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ 1 x)) 0.99229) 0.681 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 0.681 * [taylor]: Taking taylor expansion of 0.04481 in x 0.681 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.681 * [taylor]: Taking taylor expansion of x in x 0.682 * [taylor]: Taking taylor expansion of 0.99229 in x 0.682 * [taylor]: Taking taylor expansion of 1.0 in x 0.682 * [taylor]: Taking taylor expansion of (* 1.4142071247754946 (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0)) in x 0.682 * [taylor]: Taking taylor expansion of 1.4142071247754946 in x 0.682 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0) in x 0.682 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) 1.0) 0.682 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) in x 0.682 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.682 * [taylor]: Taking taylor expansion of x in x 0.683 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ 1 x) 0.99229) in x 0.683 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ 1 x)) 0.99229) 0.683 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 0.683 * [taylor]: Taking taylor expansion of 0.04481 in x 0.683 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.683 * [taylor]: Taking taylor expansion of x in x 0.683 * [taylor]: Taking taylor expansion of 0.99229 in x 0.683 * [taylor]: Taking taylor expansion of 1.0 in x 0.696 * [approximate]: Taking taylor expansion of (* 1.4142071247754946 (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0)) in (x) around 0 0.696 * [taylor]: Taking taylor expansion of (* 1.4142071247754946 (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0)) in x 0.696 * [taylor]: Taking taylor expansion of 1.4142071247754946 in x 0.696 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0) in x 0.696 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) 1.0) 0.696 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) in x 0.696 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.696 * [taylor]: Taking taylor expansion of -1 in x 0.696 * [taylor]: Taking taylor expansion of x in x 0.696 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ -1 x) 0.99229) in x 0.696 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ -1 x)) 0.99229) 0.696 * [taylor]: Taking taylor expansion of (* 0.04481 (/ -1 x)) in x 0.696 * [taylor]: Taking taylor expansion of 0.04481 in x 0.696 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.696 * [taylor]: Taking taylor expansion of -1 in x 0.696 * [taylor]: Taking taylor expansion of x in x 0.697 * [taylor]: Taking taylor expansion of 0.99229 in x 0.697 * [taylor]: Taking taylor expansion of 1.0 in x 0.697 * [taylor]: Taking taylor expansion of (* 1.4142071247754946 (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0)) in x 0.697 * [taylor]: Taking taylor expansion of 1.4142071247754946 in x 0.697 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0) in x 0.697 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) 1.0) 0.697 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) in x 0.697 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.697 * [taylor]: Taking taylor expansion of -1 in x 0.697 * [taylor]: Taking taylor expansion of x in x 0.697 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ -1 x) 0.99229) in x 0.697 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ -1 x)) 0.99229) 0.697 * [taylor]: Taking taylor expansion of (* 0.04481 (/ -1 x)) in x 0.697 * [taylor]: Taking taylor expansion of 0.04481 in x 0.697 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.697 * [taylor]: Taking taylor expansion of -1 in x 0.697 * [taylor]: Taking taylor expansion of x in x 0.698 * [taylor]: Taking taylor expansion of 0.99229 in x 0.698 * [taylor]: Taking taylor expansion of 1.0 in x 0.708 * * * [progress]: simplifying candidates 0.709 * [simplify]: Simplifying using # : (- (fma 0.27061 x 2.30753)) (- (/ (fma x (fma 0.04481 x 0.99229) 1.0) 0.70711)) (/ 1 (/ (fma x (fma 0.04481 x 0.99229) 1.0) 0.70711)) (/ (/ (fma x (fma 0.04481 x 0.99229) 1.0) 0.70711) (fma 0.27061 x 2.30753)) (/ (fma 0.27061 x 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) (/ (fma 0.27061 x 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) (/ (fma 0.27061 x 2.30753) (- (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (fma 0.27061 x 2.30753) 1) (* x (fma 0.04481 x 0.99229)) (- (fma x (fma 0.04481 x 0.99229) 1.0)) (- 0.70711) (/ 1 0.70711) (/ 0.70711 (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.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) (+ (* 0.06337062126118992 (pow x 2)) (+ (* 1.4033035878434756 x) 1.4142071247754946)) (+ (* 0.06337062126118992 (pow x 2)) (+ (* 1.4033035878434756 x) 1.4142071247754946)) (+ (* 0.06337062126118992 (pow x 2)) (+ (* 1.4033035878434756 x) 1.4142071247754946)) 0.712 * * [simplify]: iteration 0 : 117 enodes (cost 82 ) 0.714 * * [simplify]: iteration 1 : 302 enodes (cost 76 ) 0.719 * * [simplify]: iteration 2 : 1081 enodes (cost 73 ) 0.742 * * [simplify]: iteration 3 : 5002 enodes (cost 70 ) 0.743 * [simplify]: Simplified to: (- (fma 0.27061 x 2.30753)) (- (/ (fma x (fma 0.04481 x 0.99229) 1.0) 0.70711)) (/ 0.70711 (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)) (/ (fma 0.27061 x 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) (/ (fma 0.27061 x 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) (/ (fma 0.27061 x 2.30753) (- (fma x (fma 0.04481 x 0.99229) 1.0))) (fma 0.27061 x 2.30753) (* x (fma 0.04481 x 0.99229)) (- (fma x (fma 0.04481 x 0.99229) 1.0)) (- 0.70711) (/ 1 0.70711) (/ 0.70711 (fma x (fma 0.04481 x 0.99229) 1.0)) (fma x (- (* 1.3436228731669864 x) 1.4277462673797068) 1.6316775383) (fma (/ 1 x) (- (/ 1192.3851440772235 (pow x 2)) (/ 58.149385387680425 x)) (/ 4.2702753202410175 x)) (fma (/ 1 x) (- (/ 1192.3851440772235 (pow x 2)) (/ 58.149385387680425 x)) (/ 4.2702753202410175 x)) (fma x (fma 0.04481 x 0.99229) 1.0) (fma x (fma 0.04481 x 0.99229) 1.0) (fma x (fma 0.04481 x 0.99229) 1.0) (fma 0.06337062126118992 (pow x 2) (fma 1.4033035878434756 x 1.4142071247754946)) (fma 0.06337062126118992 (pow x 2) (fma 1.4033035878434756 x 1.4142071247754946)) (fma 0.06337062126118992 (pow x 2) (fma 1.4033035878434756 x 1.4142071247754946)) 0.743 * * * [progress]: adding candidates to table 0.786 * [progress]: [Phase 3 of 3] Extracting. 0.786 * * [regime]: Finding splitpoints for: (# #) 0.787 * * * [regime-changes]: Trying 1 branch expressions: (x) 0.787 * * * * [regimes]: Trying to branch on x from (# #) 0.798 * * * [regime]: Found split indices: #