27.891 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.015 * * * [progress]: [2/2] Setting up program. 0.017 * [progress]: [Phase 2 of 3] Improving. 0.018 * [simplify]: Simplifying using # : (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) 0.019 * * [simplify]: iteration 0 : 14 enodes (cost 17 ) 0.020 * * [simplify]: iteration 1 : 22 enodes (cost 17 ) 0.023 * * [simplify]: iteration 2 : 39 enodes (cost 14 ) 0.027 * * [simplify]: iteration 3 : 58 enodes (cost 14 ) 0.034 * * [simplify]: iteration 4 : 82 enodes (cost 14 ) 0.046 * * [simplify]: iteration 5 : 92 enodes (cost 14 ) 0.056 * * [simplify]: iteration 6 : 114 enodes (cost 14 ) 0.069 * * [simplify]: iteration 7 : 144 enodes (cost 14 ) 0.088 * * [simplify]: iteration 8 : 192 enodes (cost 14 ) 0.113 * * [simplify]: iteration 9 : 318 enodes (cost 14 ) 0.160 * * [simplify]: iteration 10 : 477 enodes (cost 14 ) 0.249 * * [simplify]: iteration 11 : 718 enodes (cost 14 ) 0.436 * * [simplify]: iteration 12 : 1096 enodes (cost 14 ) 0.882 * * [simplify]: iteration 13 : 2406 enodes (cost 14 ) 1.991 * * [simplify]: iteration done : 5000 enodes (cost 14 ) 1.991 * [simplify]: Simplified to: (- x (/ (fma x 0.27061 2.30753) (fma (fma 0.04481 x 0.99229) x 1.0))) 1.994 * * [progress]: iteration 1 / 4 1.994 * * * [progress]: picking best candidate 1.996 * * * * [pick]: Picked # 1.996 * * * [progress]: localizing error 2.006 * * * [progress]: generating rewritten candidates 2.006 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 2.015 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2) 2.022 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1) 2.024 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 2.045 * * * [progress]: generating series expansions 2.045 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 2.045 * [approximate]: Taking taylor expansion of (/ (+ (* 0.27061 x) 2.30753) (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in (x) around 0 2.046 * [taylor]: Taking taylor expansion of (/ (+ (* 0.27061 x) 2.30753) (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in x 2.046 * [taylor]: Taking taylor expansion of (+ (* 0.27061 x) 2.30753) in x 2.046 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x 2.046 * [taylor]: Taking taylor expansion of 0.27061 in x 2.046 * [taylor]: Taking taylor expansion of x in x 2.046 * [taylor]: Taking taylor expansion of 2.30753 in x 2.046 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x 2.046 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x 2.046 * [taylor]: Taking taylor expansion of 0.04481 in x 2.046 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.046 * [taylor]: Taking taylor expansion of x in x 2.046 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x 2.046 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x 2.046 * [taylor]: Taking taylor expansion of 0.99229 in x 2.046 * [taylor]: Taking taylor expansion of x in x 2.046 * [taylor]: Taking taylor expansion of 1.0 in x 2.048 * [taylor]: Taking taylor expansion of (/ (+ (* 0.27061 x) 2.30753) (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in x 2.048 * [taylor]: Taking taylor expansion of (+ (* 0.27061 x) 2.30753) in x 2.048 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x 2.048 * [taylor]: Taking taylor expansion of 0.27061 in x 2.048 * [taylor]: Taking taylor expansion of x in x 2.048 * [taylor]: Taking taylor expansion of 2.30753 in x 2.048 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x 2.048 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x 2.048 * [taylor]: Taking taylor expansion of 0.04481 in x 2.048 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.048 * [taylor]: Taking taylor expansion of x in x 2.048 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x 2.048 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x 2.048 * [taylor]: Taking taylor expansion of 0.99229 in x 2.048 * [taylor]: Taking taylor expansion of x in x 2.048 * [taylor]: Taking taylor expansion of 1.0 in x 2.064 * [approximate]: Taking taylor expansion of (/ (+ (* 0.27061 (/ 1 x)) 2.30753) (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0))) in (x) around 0 2.064 * [taylor]: Taking taylor expansion of (/ (+ (* 0.27061 (/ 1 x)) 2.30753) (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0))) in x 2.064 * [taylor]: Taking taylor expansion of (+ (* 0.27061 (/ 1 x)) 2.30753) in x 2.064 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 2.064 * [taylor]: Taking taylor expansion of 0.27061 in x 2.064 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.064 * [taylor]: Taking taylor expansion of x in x 2.064 * [taylor]: Taking taylor expansion of 2.30753 in x 2.064 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x 2.064 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 2.064 * [taylor]: Taking taylor expansion of 0.04481 in x 2.064 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.064 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.064 * [taylor]: Taking taylor expansion of x in x 2.065 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x 2.065 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 2.065 * [taylor]: Taking taylor expansion of 0.99229 in x 2.065 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.065 * [taylor]: Taking taylor expansion of x in x 2.065 * [taylor]: Taking taylor expansion of 1.0 in x 2.067 * [taylor]: Taking taylor expansion of (/ (+ (* 0.27061 (/ 1 x)) 2.30753) (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0))) in x 2.067 * [taylor]: Taking taylor expansion of (+ (* 0.27061 (/ 1 x)) 2.30753) in x 2.067 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 2.067 * [taylor]: Taking taylor expansion of 0.27061 in x 2.067 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.067 * [taylor]: Taking taylor expansion of x in x 2.067 * [taylor]: Taking taylor expansion of 2.30753 in x 2.067 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x 2.067 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 2.067 * [taylor]: Taking taylor expansion of 0.04481 in x 2.067 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.067 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.067 * [taylor]: Taking taylor expansion of x in x 2.067 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x 2.068 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 2.068 * [taylor]: Taking taylor expansion of 0.99229 in x 2.068 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.068 * [taylor]: Taking taylor expansion of x in x 2.068 * [taylor]: Taking taylor expansion of 1.0 in x 2.082 * [approximate]: Taking taylor expansion of (/ (- 2.30753 (* 0.27061 (/ 1 x))) (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x)))) in (x) around 0 2.082 * [taylor]: Taking taylor expansion of (/ (- 2.30753 (* 0.27061 (/ 1 x))) (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x)))) in x 2.082 * [taylor]: Taking taylor expansion of (- 2.30753 (* 0.27061 (/ 1 x))) in x 2.082 * [taylor]: Taking taylor expansion of 2.30753 in x 2.082 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 2.082 * [taylor]: Taking taylor expansion of 0.27061 in x 2.082 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.082 * [taylor]: Taking taylor expansion of x in x 2.082 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x 2.082 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x 2.082 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 2.082 * [taylor]: Taking taylor expansion of 0.04481 in x 2.082 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.082 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.082 * [taylor]: Taking taylor expansion of x in x 2.083 * [taylor]: Taking taylor expansion of 1.0 in x 2.083 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 2.083 * [taylor]: Taking taylor expansion of 0.99229 in x 2.083 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.083 * [taylor]: Taking taylor expansion of x in x 2.086 * [taylor]: Taking taylor expansion of (/ (- 2.30753 (* 0.27061 (/ 1 x))) (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x)))) in x 2.086 * [taylor]: Taking taylor expansion of (- 2.30753 (* 0.27061 (/ 1 x))) in x 2.086 * [taylor]: Taking taylor expansion of 2.30753 in x 2.086 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 2.086 * [taylor]: Taking taylor expansion of 0.27061 in x 2.086 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.086 * [taylor]: Taking taylor expansion of x in x 2.086 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x 2.086 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x 2.086 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 2.086 * [taylor]: Taking taylor expansion of 0.04481 in x 2.086 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.086 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.086 * [taylor]: Taking taylor expansion of x in x 2.087 * [taylor]: Taking taylor expansion of 1.0 in x 2.087 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 2.087 * [taylor]: Taking taylor expansion of 0.99229 in x 2.087 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.087 * [taylor]: Taking taylor expansion of x in x 2.105 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2) 2.105 * [approximate]: Taking taylor expansion of (* x (+ (* 0.04481 x) 0.99229)) in (x) around 0 2.105 * [taylor]: Taking taylor expansion of (* x (+ (* 0.04481 x) 0.99229)) in x 2.105 * [taylor]: Taking taylor expansion of x in x 2.105 * [taylor]: Taking taylor expansion of (+ (* 0.04481 x) 0.99229) in x 2.105 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x 2.105 * [taylor]: Taking taylor expansion of 0.04481 in x 2.105 * [taylor]: Taking taylor expansion of x in x 2.105 * [taylor]: Taking taylor expansion of 0.99229 in x 2.105 * [taylor]: Taking taylor expansion of (* x (+ (* 0.04481 x) 0.99229)) in x 2.105 * [taylor]: Taking taylor expansion of x in x 2.105 * [taylor]: Taking taylor expansion of (+ (* 0.04481 x) 0.99229) in x 2.105 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x 2.105 * [taylor]: Taking taylor expansion of 0.04481 in x 2.105 * [taylor]: Taking taylor expansion of x in x 2.105 * [taylor]: Taking taylor expansion of 0.99229 in x 2.122 * [approximate]: Taking taylor expansion of (/ (+ (* 0.04481 (/ 1 x)) 0.99229) x) in (x) around 0 2.122 * [taylor]: Taking taylor expansion of (/ (+ (* 0.04481 (/ 1 x)) 0.99229) x) in x 2.122 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 x)) 0.99229) in x 2.122 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 2.122 * [taylor]: Taking taylor expansion of 0.04481 in x 2.122 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.122 * [taylor]: Taking taylor expansion of x in x 2.123 * [taylor]: Taking taylor expansion of 0.99229 in x 2.123 * [taylor]: Taking taylor expansion of x in x 2.123 * [taylor]: Taking taylor expansion of (/ (+ (* 0.04481 (/ 1 x)) 0.99229) x) in x 2.123 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 x)) 0.99229) in x 2.124 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 2.124 * [taylor]: Taking taylor expansion of 0.04481 in x 2.124 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.124 * [taylor]: Taking taylor expansion of x in x 2.124 * [taylor]: Taking taylor expansion of 0.99229 in x 2.124 * [taylor]: Taking taylor expansion of x in x 2.142 * [approximate]: Taking taylor expansion of (* -1 (/ (- 0.99229 (* 0.04481 (/ 1 x))) x)) in (x) around 0 2.142 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.99229 (* 0.04481 (/ 1 x))) x)) in x 2.142 * [taylor]: Taking taylor expansion of -1 in x 2.142 * [taylor]: Taking taylor expansion of (/ (- 0.99229 (* 0.04481 (/ 1 x))) x) in x 2.142 * [taylor]: Taking taylor expansion of (- 0.99229 (* 0.04481 (/ 1 x))) in x 2.142 * [taylor]: Taking taylor expansion of 0.99229 in x 2.142 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 2.142 * [taylor]: Taking taylor expansion of 0.04481 in x 2.142 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.142 * [taylor]: Taking taylor expansion of x in x 2.142 * [taylor]: Taking taylor expansion of x in x 2.144 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.99229 (* 0.04481 (/ 1 x))) x)) in x 2.144 * [taylor]: Taking taylor expansion of -1 in x 2.144 * [taylor]: Taking taylor expansion of (/ (- 0.99229 (* 0.04481 (/ 1 x))) x) in x 2.144 * [taylor]: Taking taylor expansion of (- 0.99229 (* 0.04481 (/ 1 x))) in x 2.144 * [taylor]: Taking taylor expansion of 0.99229 in x 2.144 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 2.144 * [taylor]: Taking taylor expansion of 0.04481 in x 2.144 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.144 * [taylor]: Taking taylor expansion of x in x 2.144 * [taylor]: Taking taylor expansion of x in x 2.169 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1) 2.169 * [approximate]: Taking taylor expansion of (+ (* 0.04481 x) 0.99229) in (x) around 0 2.169 * [taylor]: Taking taylor expansion of (+ (* 0.04481 x) 0.99229) in x 2.169 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x 2.169 * [taylor]: Taking taylor expansion of 0.04481 in x 2.169 * [taylor]: Taking taylor expansion of x in x 2.169 * [taylor]: Taking taylor expansion of 0.99229 in x 2.169 * [taylor]: Taking taylor expansion of (+ (* 0.04481 x) 0.99229) in x 2.169 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x 2.169 * [taylor]: Taking taylor expansion of 0.04481 in x 2.169 * [taylor]: Taking taylor expansion of x in x 2.169 * [taylor]: Taking taylor expansion of 0.99229 in x 2.177 * [approximate]: Taking taylor expansion of (+ (* 0.04481 (/ 1 x)) 0.99229) in (x) around 0 2.177 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 x)) 0.99229) in x 2.177 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 2.177 * [taylor]: Taking taylor expansion of 0.04481 in x 2.177 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.177 * [taylor]: Taking taylor expansion of x in x 2.177 * [taylor]: Taking taylor expansion of 0.99229 in x 2.177 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 x)) 0.99229) in x 2.177 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 2.177 * [taylor]: Taking taylor expansion of 0.04481 in x 2.177 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.177 * [taylor]: Taking taylor expansion of x in x 2.178 * [taylor]: Taking taylor expansion of 0.99229 in x 2.188 * [approximate]: Taking taylor expansion of (- 0.99229 (* 0.04481 (/ 1 x))) in (x) around 0 2.188 * [taylor]: Taking taylor expansion of (- 0.99229 (* 0.04481 (/ 1 x))) in x 2.188 * [taylor]: Taking taylor expansion of 0.99229 in x 2.188 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 2.188 * [taylor]: Taking taylor expansion of 0.04481 in x 2.188 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.188 * [taylor]: Taking taylor expansion of x in x 2.188 * [taylor]: Taking taylor expansion of (- 0.99229 (* 0.04481 (/ 1 x))) in x 2.188 * [taylor]: Taking taylor expansion of 0.99229 in x 2.188 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 2.188 * [taylor]: Taking taylor expansion of 0.04481 in x 2.188 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.188 * [taylor]: Taking taylor expansion of x in x 2.201 * * * * [progress]: [ 4 / 4 ] generating series at (2) 2.201 * [approximate]: Taking taylor expansion of (- x (+ (* 2.30753 (/ 1 (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)))) (* 0.27061 (/ x (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)))))) in (x) around 0 2.201 * [taylor]: Taking taylor expansion of (- x (+ (* 2.30753 (/ 1 (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)))) (* 0.27061 (/ x (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)))))) in x 2.202 * [taylor]: Taking taylor expansion of x in x 2.202 * [taylor]: Taking taylor expansion of (+ (* 2.30753 (/ 1 (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)))) (* 0.27061 (/ x (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))))) in x 2.202 * [taylor]: Taking taylor expansion of (* 2.30753 (/ 1 (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)))) in x 2.202 * [taylor]: Taking taylor expansion of 2.30753 in x 2.202 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in x 2.202 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x 2.202 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x 2.202 * [taylor]: Taking taylor expansion of 0.04481 in x 2.202 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.202 * [taylor]: Taking taylor expansion of x in x 2.202 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x 2.202 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x 2.202 * [taylor]: Taking taylor expansion of 0.99229 in x 2.202 * [taylor]: Taking taylor expansion of x in x 2.202 * [taylor]: Taking taylor expansion of 1.0 in x 2.203 * [taylor]: Taking taylor expansion of (* 0.27061 (/ x (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)))) in x 2.203 * [taylor]: Taking taylor expansion of 0.27061 in x 2.203 * [taylor]: Taking taylor expansion of (/ x (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in x 2.203 * [taylor]: Taking taylor expansion of x in x 2.203 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x 2.203 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x 2.203 * [taylor]: Taking taylor expansion of 0.04481 in x 2.203 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.203 * [taylor]: Taking taylor expansion of x in x 2.203 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x 2.203 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x 2.203 * [taylor]: Taking taylor expansion of 0.99229 in x 2.203 * [taylor]: Taking taylor expansion of x in x 2.203 * [taylor]: Taking taylor expansion of 1.0 in x 2.204 * [taylor]: Taking taylor expansion of (- x (+ (* 2.30753 (/ 1 (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)))) (* 0.27061 (/ x (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)))))) in x 2.204 * [taylor]: Taking taylor expansion of x in x 2.204 * [taylor]: Taking taylor expansion of (+ (* 2.30753 (/ 1 (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)))) (* 0.27061 (/ x (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))))) in x 2.204 * [taylor]: Taking taylor expansion of (* 2.30753 (/ 1 (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)))) in x 2.204 * [taylor]: Taking taylor expansion of 2.30753 in x 2.204 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in x 2.204 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x 2.204 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x 2.204 * [taylor]: Taking taylor expansion of 0.04481 in x 2.204 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.204 * [taylor]: Taking taylor expansion of x in x 2.204 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x 2.204 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x 2.204 * [taylor]: Taking taylor expansion of 0.99229 in x 2.204 * [taylor]: Taking taylor expansion of x in x 2.204 * [taylor]: Taking taylor expansion of 1.0 in x 2.206 * [taylor]: Taking taylor expansion of (* 0.27061 (/ x (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)))) in x 2.206 * [taylor]: Taking taylor expansion of 0.27061 in x 2.206 * [taylor]: Taking taylor expansion of (/ x (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in x 2.206 * [taylor]: Taking taylor expansion of x in x 2.206 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x 2.206 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x 2.206 * [taylor]: Taking taylor expansion of 0.04481 in x 2.206 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.206 * [taylor]: Taking taylor expansion of x in x 2.206 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x 2.206 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x 2.206 * [taylor]: Taking taylor expansion of 0.99229 in x 2.206 * [taylor]: Taking taylor expansion of x in x 2.206 * [taylor]: Taking taylor expansion of 1.0 in x 2.228 * [approximate]: Taking taylor expansion of (- (/ 1 x) (+ (* 2.30753 (/ 1 (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)))) (* 0.27061 (/ 1 (* (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) x))))) in (x) around 0 2.228 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (* 2.30753 (/ 1 (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)))) (* 0.27061 (/ 1 (* (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) x))))) in x 2.228 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.228 * [taylor]: Taking taylor expansion of x in x 2.229 * [taylor]: Taking taylor expansion of (+ (* 2.30753 (/ 1 (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)))) (* 0.27061 (/ 1 (* (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) x)))) in x 2.229 * [taylor]: Taking taylor expansion of (* 2.30753 (/ 1 (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)))) in x 2.229 * [taylor]: Taking taylor expansion of 2.30753 in x 2.229 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0))) in x 2.229 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x 2.229 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 2.229 * [taylor]: Taking taylor expansion of 0.04481 in x 2.229 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.229 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.229 * [taylor]: Taking taylor expansion of x in x 2.229 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x 2.229 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 2.229 * [taylor]: Taking taylor expansion of 0.99229 in x 2.229 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.229 * [taylor]: Taking taylor expansion of x in x 2.230 * [taylor]: Taking taylor expansion of 1.0 in x 2.231 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 (* (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) x))) in x 2.231 * [taylor]: Taking taylor expansion of 0.27061 in x 2.231 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) x)) in x 2.231 * [taylor]: Taking taylor expansion of (* (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) x) in x 2.231 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x 2.231 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 2.231 * [taylor]: Taking taylor expansion of 0.04481 in x 2.231 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.231 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.231 * [taylor]: Taking taylor expansion of x in x 2.231 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x 2.231 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 2.231 * [taylor]: Taking taylor expansion of 0.99229 in x 2.231 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.231 * [taylor]: Taking taylor expansion of x in x 2.232 * [taylor]: Taking taylor expansion of 1.0 in x 2.232 * [taylor]: Taking taylor expansion of x in x 2.235 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (* 2.30753 (/ 1 (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)))) (* 0.27061 (/ 1 (* (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) x))))) in x 2.236 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.236 * [taylor]: Taking taylor expansion of x in x 2.236 * [taylor]: Taking taylor expansion of (+ (* 2.30753 (/ 1 (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)))) (* 0.27061 (/ 1 (* (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) x)))) in x 2.236 * [taylor]: Taking taylor expansion of (* 2.30753 (/ 1 (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)))) in x 2.236 * [taylor]: Taking taylor expansion of 2.30753 in x 2.236 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0))) in x 2.236 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x 2.236 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 2.236 * [taylor]: Taking taylor expansion of 0.04481 in x 2.236 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.236 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.236 * [taylor]: Taking taylor expansion of x in x 2.236 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x 2.237 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 2.237 * [taylor]: Taking taylor expansion of 0.99229 in x 2.237 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.237 * [taylor]: Taking taylor expansion of x in x 2.237 * [taylor]: Taking taylor expansion of 1.0 in x 2.238 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 (* (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) x))) in x 2.238 * [taylor]: Taking taylor expansion of 0.27061 in x 2.238 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) x)) in x 2.238 * [taylor]: Taking taylor expansion of (* (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) x) in x 2.238 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x 2.238 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 2.238 * [taylor]: Taking taylor expansion of 0.04481 in x 2.238 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.238 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.238 * [taylor]: Taking taylor expansion of x in x 2.238 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x 2.238 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 2.238 * [taylor]: Taking taylor expansion of 0.99229 in x 2.238 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.238 * [taylor]: Taking taylor expansion of x in x 2.239 * [taylor]: Taking taylor expansion of 1.0 in x 2.239 * [taylor]: Taking taylor expansion of x in x 2.256 * [approximate]: Taking taylor expansion of (- (* 0.27061 (/ 1 (* (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) x))) (+ (* 2.30753 (/ 1 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))))) (/ 1 x))) in (x) around 0 2.256 * [taylor]: Taking taylor expansion of (- (* 0.27061 (/ 1 (* (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) x))) (+ (* 2.30753 (/ 1 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))))) (/ 1 x))) in x 2.256 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 (* (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) x))) in x 2.256 * [taylor]: Taking taylor expansion of 0.27061 in x 2.256 * [taylor]: Taking taylor expansion of (/ 1 (* (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) x)) in x 2.256 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) x) in x 2.256 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x 2.256 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x 2.256 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 2.256 * [taylor]: Taking taylor expansion of 0.04481 in x 2.256 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.256 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.256 * [taylor]: Taking taylor expansion of x in x 2.257 * [taylor]: Taking taylor expansion of 1.0 in x 2.257 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 2.257 * [taylor]: Taking taylor expansion of 0.99229 in x 2.257 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.257 * [taylor]: Taking taylor expansion of x in x 2.257 * [taylor]: Taking taylor expansion of x in x 2.262 * [taylor]: Taking taylor expansion of (+ (* 2.30753 (/ 1 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))))) (/ 1 x)) in x 2.262 * [taylor]: Taking taylor expansion of (* 2.30753 (/ 1 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))))) in x 2.262 * [taylor]: Taking taylor expansion of 2.30753 in x 2.262 * [taylor]: Taking taylor expansion of (/ 1 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x)))) in x 2.262 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x 2.262 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x 2.262 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 2.262 * [taylor]: Taking taylor expansion of 0.04481 in x 2.262 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.262 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.262 * [taylor]: Taking taylor expansion of x in x 2.263 * [taylor]: Taking taylor expansion of 1.0 in x 2.263 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 2.263 * [taylor]: Taking taylor expansion of 0.99229 in x 2.263 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.263 * [taylor]: Taking taylor expansion of x in x 2.264 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.264 * [taylor]: Taking taylor expansion of x in x 2.264 * [taylor]: Taking taylor expansion of (- (* 0.27061 (/ 1 (* (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) x))) (+ (* 2.30753 (/ 1 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))))) (/ 1 x))) in x 2.264 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 (* (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) x))) in x 2.264 * [taylor]: Taking taylor expansion of 0.27061 in x 2.264 * [taylor]: Taking taylor expansion of (/ 1 (* (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) x)) in x 2.264 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) x) in x 2.264 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x 2.265 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x 2.265 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 2.265 * [taylor]: Taking taylor expansion of 0.04481 in x 2.265 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.265 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.265 * [taylor]: Taking taylor expansion of x in x 2.265 * [taylor]: Taking taylor expansion of 1.0 in x 2.265 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 2.265 * [taylor]: Taking taylor expansion of 0.99229 in x 2.265 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.265 * [taylor]: Taking taylor expansion of x in x 2.265 * [taylor]: Taking taylor expansion of x in x 2.270 * [taylor]: Taking taylor expansion of (+ (* 2.30753 (/ 1 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))))) (/ 1 x)) in x 2.270 * [taylor]: Taking taylor expansion of (* 2.30753 (/ 1 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))))) in x 2.270 * [taylor]: Taking taylor expansion of 2.30753 in x 2.270 * [taylor]: Taking taylor expansion of (/ 1 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x)))) in x 2.270 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x 2.270 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x 2.270 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 2.270 * [taylor]: Taking taylor expansion of 0.04481 in x 2.270 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.270 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.270 * [taylor]: Taking taylor expansion of x in x 2.271 * [taylor]: Taking taylor expansion of 1.0 in x 2.271 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 2.271 * [taylor]: Taking taylor expansion of 0.99229 in x 2.271 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.271 * [taylor]: Taking taylor expansion of x in x 2.272 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.272 * [taylor]: Taking taylor expansion of x in x 2.285 * * * [progress]: simplifying candidates 2.289 * [simplify]: Simplifying using # : (expm1 (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (log1p (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (- (log (+ 2.30753 (* x 0.27061))) (log (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (log (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (exp (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (* (* (+ 2.30753 (* x 0.27061)) (+ 2.30753 (* x 0.27061))) (+ 2.30753 (* x 0.27061))) (* (* (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (* (* (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (- (+ 2.30753 (* x 0.27061))) (- (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (/ (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (cbrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) 1) (/ (cbrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (sqrt (+ 2.30753 (* x 0.27061))) 1) (/ (sqrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ 1 (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (/ (+ 2.30753 (* x 0.27061)) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ 1 (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ 1 1) (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ 1 (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (+ 2.30753 (* x 0.27061))) (/ (+ 2.30753 (* x 0.27061)) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (+ 2.30753 (* x 0.27061)) 1) (/ (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (cbrt (+ 2.30753 (* x 0.27061)))) (/ (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (sqrt (+ 2.30753 (* x 0.27061)))) (/ (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (+ 2.30753 (* x 0.27061))) (/ (+ 2.30753 (* x 0.27061)) (+ (pow 1.0 3) (pow (* (+ 0.99229 (* x 0.04481)) x) 3))) (/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x)))) (* (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (+ (* 2.30753 2.30753) (- (* (* x 0.27061) (* x 0.27061)) (* 2.30753 (* x 0.27061))))) (* (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (- 2.30753 (* x 0.27061))) (expm1 (* (+ 0.99229 (* x 0.04481)) x)) (log1p (* (+ 0.99229 (* x 0.04481)) x)) (* (+ 0.99229 (* x 0.04481)) x) (+ (log (+ 0.99229 (* x 0.04481))) (log x)) (log (* (+ 0.99229 (* x 0.04481)) x)) (exp (* (+ 0.99229 (* x 0.04481)) x)) (* (* (* (+ 0.99229 (* x 0.04481)) (+ 0.99229 (* x 0.04481))) (+ 0.99229 (* x 0.04481))) (* (* x x) x)) (* (cbrt (* (+ 0.99229 (* x 0.04481)) x)) (cbrt (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (* (+ 0.99229 (* x 0.04481)) x)) (* (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x)) (* (+ 0.99229 (* x 0.04481)) x)) (sqrt (* (+ 0.99229 (* x 0.04481)) x)) (sqrt (* (+ 0.99229 (* x 0.04481)) x)) (* (sqrt (+ 0.99229 (* x 0.04481))) (sqrt x)) (* (sqrt (+ 0.99229 (* x 0.04481))) (sqrt x)) (* (+ 0.99229 (* x 0.04481)) (* (cbrt x) (cbrt x))) (* (+ 0.99229 (* x 0.04481)) (sqrt x)) (* (+ 0.99229 (* x 0.04481)) 1) (* (cbrt (+ 0.99229 (* x 0.04481))) x) (* (sqrt (+ 0.99229 (* x 0.04481))) x) (* (+ 0.99229 (* x 0.04481)) x) (* (+ (pow 0.99229 3) (pow (* x 0.04481) 3)) x) (* (- (* 0.99229 0.99229) (* (* x 0.04481) (* x 0.04481))) x) (expm1 (+ 0.99229 (* x 0.04481))) (log1p (+ 0.99229 (* x 0.04481))) (* (exp 0.99229) (exp (* x 0.04481))) (log (+ 0.99229 (* x 0.04481))) (exp (+ 0.99229 (* x 0.04481))) (* (cbrt (+ 0.99229 (* x 0.04481))) (cbrt (+ 0.99229 (* x 0.04481)))) (cbrt (+ 0.99229 (* x 0.04481))) (* (* (+ 0.99229 (* x 0.04481)) (+ 0.99229 (* x 0.04481))) (+ 0.99229 (* x 0.04481))) (sqrt (+ 0.99229 (* x 0.04481))) (sqrt (+ 0.99229 (* x 0.04481))) (+ (pow 0.99229 3) (pow (* x 0.04481) 3)) (+ (* 0.99229 0.99229) (- (* (* x 0.04481) (* x 0.04481)) (* 0.99229 (* x 0.04481)))) (- (* 0.99229 0.99229) (* (* x 0.04481) (* x 0.04481))) (- 0.99229 (* x 0.04481)) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))))) (fma (- (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))))) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))))) (fma (- (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (* (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (/ (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))))) (fma (- (/ (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (* (/ (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))))) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (/ (cbrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))))) (fma (- (/ (cbrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (* (/ (cbrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (/ (cbrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) 1)))) (fma (- (/ (cbrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) 1) (* (/ (cbrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) 1))) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (/ (sqrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))))) (fma (- (/ (sqrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (* (/ (sqrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))))) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))))) (fma (- (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (* (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (/ (sqrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ (sqrt (+ 2.30753 (* x 0.27061))) 1)))) (fma (- (/ (sqrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (sqrt (+ 2.30753 (* x 0.27061))) 1) (* (/ (sqrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ (sqrt (+ 2.30753 (* x 0.27061))) 1))) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (/ (+ 2.30753 (* x 0.27061)) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ 1 (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))))) (fma (- (/ (+ 2.30753 (* x 0.27061)) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (/ 1 (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (* (/ (+ 2.30753 (* x 0.27061)) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ 1 (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))))) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ 1 (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))))) (fma (- (/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (/ 1 (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (* (/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ 1 (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ 1 1)))) (fma (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ 1 1) (* (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ 1 1))) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) 1))) (fma (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) 1 (* (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) 1)) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (/ 1 (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (+ 2.30753 (* x 0.27061))))) (fma (- (/ 1 (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (+ 2.30753 (* x 0.27061)) (* (/ 1 (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (+ 2.30753 (* x 0.27061)))) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (+ (* 1.0 1.0) (- (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x)) (* 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (+ 2.30753 (* x 0.27061)) (+ (pow 1.0 3) (pow (* (+ 0.99229 (* x 0.04481)) x) 3)))))) (fma (- (+ (* 1.0 1.0) (- (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x)) (* 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (/ (+ 2.30753 (* x 0.27061)) (+ (pow 1.0 3) (pow (* (+ 0.99229 (* x 0.04481)) x) 3))) (* (+ (* 1.0 1.0) (- (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x)) (* 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (+ 2.30753 (* x 0.27061)) (+ (pow 1.0 3) (pow (* (+ 0.99229 (* x 0.04481)) x) 3))))) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (- 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x))))))) (fma (- (- 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x)))) (* (- 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x)))))) (fma (sqrt x) (sqrt x) (- (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))))) (fma (- (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))))) (fma (sqrt x) (sqrt x) (- (* (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))))) (fma (- (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (* (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (fma (sqrt x) (sqrt x) (- (* (/ (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))))) (fma (- (/ (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (* (/ (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))))) (fma (sqrt x) (sqrt x) (- (* (/ (cbrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))))) (fma (- (/ (cbrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (* (/ (cbrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (fma (sqrt x) (sqrt x) (- (* (/ (cbrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) 1)))) (fma (- (/ (cbrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) 1) (* (/ (cbrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) 1))) (fma (sqrt x) (sqrt x) (- (* (/ (sqrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))))) (fma (- (/ (sqrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (* (/ (sqrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))))) (fma (sqrt x) (sqrt x) (- (* (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))))) (fma (- (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (* (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (fma (sqrt x) (sqrt x) (- (* (/ (sqrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ (sqrt (+ 2.30753 (* x 0.27061))) 1)))) (fma (- (/ (sqrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (sqrt (+ 2.30753 (* x 0.27061))) 1) (* (/ (sqrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ (sqrt (+ 2.30753 (* x 0.27061))) 1))) (fma (sqrt x) (sqrt x) (- (* (/ (+ 2.30753 (* x 0.27061)) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ 1 (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))))) (fma (- (/ (+ 2.30753 (* x 0.27061)) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (/ 1 (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (* (/ (+ 2.30753 (* x 0.27061)) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ 1 (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))))) (fma (sqrt x) (sqrt x) (- (* (/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ 1 (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))))) (fma (- (/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (/ 1 (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (* (/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ 1 (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (fma (sqrt x) (sqrt x) (- (* (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ 1 1)))) (fma (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ 1 1) (* (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ 1 1))) (fma (sqrt x) (sqrt x) (- (* (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) 1))) (fma (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) 1 (* (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) 1)) (fma (sqrt x) (sqrt x) (- (* (/ 1 (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (+ 2.30753 (* x 0.27061))))) (fma (- (/ 1 (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (+ 2.30753 (* x 0.27061)) (* (/ 1 (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (+ 2.30753 (* x 0.27061)))) (fma (sqrt x) (sqrt x) (- (* (+ (* 1.0 1.0) (- (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x)) (* 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (+ 2.30753 (* x 0.27061)) (+ (pow 1.0 3) (pow (* (+ 0.99229 (* x 0.04481)) x) 3)))))) (fma (- (+ (* 1.0 1.0) (- (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x)) (* 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (/ (+ 2.30753 (* x 0.27061)) (+ (pow 1.0 3) (pow (* (+ 0.99229 (* x 0.04481)) x) 3))) (* (+ (* 1.0 1.0) (- (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x)) (* 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (+ 2.30753 (* x 0.27061)) (+ (pow 1.0 3) (pow (* (+ 0.99229 (* x 0.04481)) x) 3))))) (fma (sqrt x) (sqrt x) (- (* (- 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x))))))) (fma (- (- 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x)))) (* (- 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x)))))) (fma 1 x (- (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))))) (fma (- (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))))) (fma 1 x (- (* (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))))) (fma (- (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (* (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (fma 1 x (- (* (/ (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))))) (fma (- (/ (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (* (/ (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))))) (fma 1 x (- (* (/ (cbrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))))) (fma (- (/ (cbrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (* (/ (cbrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (fma 1 x (- (* (/ (cbrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) 1)))) (fma (- (/ (cbrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) 1) (* (/ (cbrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) 1))) (fma 1 x (- (* (/ (sqrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))))) (fma (- (/ (sqrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (* (/ (sqrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))))) (fma 1 x (- (* (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))))) (fma (- (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (* (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (fma 1 x (- (* (/ (sqrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ (sqrt (+ 2.30753 (* x 0.27061))) 1)))) (fma (- (/ (sqrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (sqrt (+ 2.30753 (* x 0.27061))) 1) (* (/ (sqrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ (sqrt (+ 2.30753 (* x 0.27061))) 1))) (fma 1 x (- (* (/ (+ 2.30753 (* x 0.27061)) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ 1 (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))))) (fma (- (/ (+ 2.30753 (* x 0.27061)) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (/ 1 (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (* (/ (+ 2.30753 (* x 0.27061)) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ 1 (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))))) (fma 1 x (- (* (/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ 1 (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))))) (fma (- (/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (/ 1 (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (* (/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ 1 (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (fma 1 x (- (* (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ 1 1)))) (fma (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ 1 1) (* (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ 1 1))) (fma 1 x (- (* (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) 1))) (fma (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) 1 (* (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) 1)) (fma 1 x (- (* (/ 1 (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (+ 2.30753 (* x 0.27061))))) (fma (- (/ 1 (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (+ 2.30753 (* x 0.27061)) (* (/ 1 (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (+ 2.30753 (* x 0.27061)))) (fma 1 x (- (* (+ (* 1.0 1.0) (- (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x)) (* 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (+ 2.30753 (* x 0.27061)) (+ (pow 1.0 3) (pow (* (+ 0.99229 (* x 0.04481)) x) 3)))))) (fma (- (+ (* 1.0 1.0) (- (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x)) (* 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (/ (+ 2.30753 (* x 0.27061)) (+ (pow 1.0 3) (pow (* (+ 0.99229 (* x 0.04481)) x) 3))) (* (+ (* 1.0 1.0) (- (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x)) (* 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (+ 2.30753 (* x 0.27061)) (+ (pow 1.0 3) (pow (* (+ 0.99229 (* x 0.04481)) x) 3))))) (fma 1 x (- (* (- 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x))))))) (fma (- (- 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x)))) (* (- 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x)))))) (expm1 (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (log1p (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (exp x) (exp (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (log (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (exp (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (* (cbrt (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (cbrt (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (* (* (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (sqrt (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (sqrt (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (- (pow x 3) (pow (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) 3)) (+ (* x x) (+ (* (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (* x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (- (* x x) (* (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (+ x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (+ (sqrt x) (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (- (sqrt x) (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (+ (sqrt x) (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (- (sqrt x) (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (- (+ (* 1.900161040244073 (pow x 2)) 2.30753) (* 2.0191289436999997 x)) (- (+ (* 6.039053782637804 (/ 1 x)) (* 1686.279566230464 (/ 1 (pow x 3)))) (* 82.23527511657369 (/ 1 (pow x 2)))) (- (+ (* 6.039053782637804 (/ 1 x)) (* 1686.279566230464 (/ 1 (pow x 3)))) (* 82.23527511657369 (/ 1 (pow x 2)))) (+ (* 0.04481 (pow x 2)) (* 0.99229 x)) (+ (* 0.04481 (pow x 2)) (* 0.99229 x)) (+ (* 0.04481 (pow x 2)) (* 0.99229 x)) (+ (* 0.04481 x) 0.99229) (+ (* 0.04481 x) 0.99229) (+ (* 0.04481 x) 0.99229) (- (* 3.0191289436999997 x) (+ (* 1.900161040244073 (pow x 2)) 2.30753)) (- (+ (* 82.23527511657369 (/ 1 (pow x 2))) x) (* 6.039053782637804 (/ 1 x))) (- (+ (* 82.23527511657369 (/ 1 (pow x 2))) x) (* 6.039053782637804 (/ 1 x))) 2.304 * * [simplify]: iteration 0 : 285 enodes (cost 6840 ) 2.351 * * [simplify]: iteration 1 : 755 enodes (cost 5761 ) 2.522 * * [simplify]: iteration 2 : 2673 enodes (cost 3845 ) 3.240 * * [simplify]: iteration done : 5000 enodes (cost 3839 ) 3.241 * [simplify]: Simplified to: (expm1 (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (log1p (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (log (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (log (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (exp (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (pow (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) 3) (* (cbrt (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (cbrt (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)))) (cbrt (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (pow (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) 3) (sqrt (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (- (fma x 0.27061 2.30753)) (- (fma x (fma 0.04481 x 0.99229) 1.0)) (* (/ (cbrt (fma x 0.27061 2.30753)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (cbrt (fma x 0.27061 2.30753)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (cbrt (fma x 0.27061 2.30753)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (* (cbrt (fma x 0.27061 2.30753)) (/ (cbrt (fma x 0.27061 2.30753)) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (cbrt (fma x 0.27061 2.30753)) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (* (cbrt (fma x 0.27061 2.30753)) (cbrt (fma x 0.27061 2.30753))) (/ (cbrt (fma x 0.27061 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0)) (/ (sqrt (fma x 0.27061 2.30753)) (* (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (sqrt (fma x 0.27061 2.30753)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (sqrt (fma x 0.27061 2.30753)) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (sqrt (fma x 0.27061 2.30753)) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt (fma x 0.27061 2.30753)) (/ (sqrt (fma x 0.27061 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0)) (/ 1 (* (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (fma x 0.27061 2.30753) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ 1 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (fma x 0.27061 2.30753) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) 1 (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) (/ 1 (fma x (fma 0.04481 x 0.99229) 1.0)) (/ (fma x (fma 0.04481 x 0.99229) 1.0) (fma x 0.27061 2.30753)) (/ (fma x 0.27061 2.30753) (* (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (fma x 0.27061 2.30753) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (fma x 0.27061 2.30753) (/ (fma x (fma 0.04481 x 0.99229) 1.0) (cbrt (fma x 0.27061 2.30753))) (/ (fma x (fma 0.04481 x 0.99229) 1.0) (sqrt (fma x 0.27061 2.30753))) (/ (fma x (fma 0.04481 x 0.99229) 1.0) (fma x 0.27061 2.30753)) (/ (fma x 0.27061 2.30753) (+ (pow 1.0 3) (pow (* (fma 0.04481 x 0.99229) x) 3))) (/ (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) (- 1.0 (* (fma 0.04481 x 0.99229) x))) (* (fma 2.30753 2.30753 (* (* x 0.27061) (- (* x 0.27061) 2.30753))) (fma x (fma 0.04481 x 0.99229) 1.0)) (* (fma x (fma 0.04481 x 0.99229) 1.0) (- 2.30753 (* x 0.27061))) (expm1 (* (fma 0.04481 x 0.99229) x)) (log1p (* (fma 0.04481 x 0.99229) x)) (* (fma 0.04481 x 0.99229) x) (log (* (fma 0.04481 x 0.99229) x)) (log (* (fma 0.04481 x 0.99229) x)) (exp (* (fma 0.04481 x 0.99229) x)) (pow (* (fma 0.04481 x 0.99229) x) 3) (* (cbrt (* (fma 0.04481 x 0.99229) x)) (cbrt (* (fma 0.04481 x 0.99229) x))) (cbrt (* (fma 0.04481 x 0.99229) x)) (pow (* (fma 0.04481 x 0.99229) x) 3) (sqrt (* (fma 0.04481 x 0.99229) x)) (sqrt (* (fma 0.04481 x 0.99229) x)) (* (sqrt x) (sqrt (fma 0.04481 x 0.99229))) (* (sqrt x) (sqrt (fma 0.04481 x 0.99229))) (* (fma 0.04481 x 0.99229) (* (cbrt x) (cbrt x))) (* (fma 0.04481 x 0.99229) (sqrt x)) (fma 0.04481 x 0.99229) (* (cbrt (fma 0.04481 x 0.99229)) x) (* (sqrt (fma 0.04481 x 0.99229)) x) (* (fma 0.04481 x 0.99229) x) (* (+ (pow 0.99229 3) (pow (* x 0.04481) 3)) x) (* (* (fma 0.04481 x 0.99229) (- 0.99229 (* x 0.04481))) x) (expm1 (fma 0.04481 x 0.99229)) (log1p (fma 0.04481 x 0.99229)) (exp (fma 0.04481 x 0.99229)) (log (fma 0.04481 x 0.99229)) (exp (fma 0.04481 x 0.99229)) (* (cbrt (fma 0.04481 x 0.99229)) (cbrt (fma 0.04481 x 0.99229))) (cbrt (fma 0.04481 x 0.99229)) (pow (fma 0.04481 x 0.99229) 3) (sqrt (fma 0.04481 x 0.99229)) (sqrt (fma 0.04481 x 0.99229)) (+ (pow 0.99229 3) (pow (* x 0.04481) 3)) (fma 0.99229 0.99229 (* (* x 0.04481) (- (* x 0.04481) 0.99229))) (* (fma 0.04481 x 0.99229) (- 0.99229 (* x 0.04481))) (- 0.99229 (* x 0.04481)) (- (* (* (cbrt x) (cbrt x)) (cbrt x)) (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (* (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) 0) (- (* (* (cbrt x) (cbrt x)) (cbrt x)) (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (* (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) 0) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (pow (/ (cbrt (fma x 0.27061 2.30753)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) 3))) (- (pow (/ (cbrt (fma x 0.27061 2.30753)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) 3) (pow (/ (cbrt (fma x 0.27061 2.30753)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) 3)) (- (* (* (cbrt x) (cbrt x)) (cbrt x)) (/ (/ (pow (cbrt (fma x 0.27061 2.30753)) 3) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (* (/ (* (cbrt (fma x 0.27061 2.30753)) (cbrt (fma x 0.27061 2.30753))) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (+ (- (/ (cbrt (fma x 0.27061 2.30753)) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (cbrt (fma x 0.27061 2.30753)) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (- (* (* (cbrt x) (cbrt x)) (cbrt x)) (/ (pow (cbrt (fma x 0.27061 2.30753)) 3) (fma x (fma 0.04481 x 0.99229) 1.0))) (- (/ (pow (cbrt (fma x 0.27061 2.30753)) 3) (fma x (fma 0.04481 x 0.99229) 1.0)) (/ (pow (cbrt (fma x 0.27061 2.30753)) 3) (fma x (fma 0.04481 x 0.99229) 1.0))) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (/ (/ (fma x 0.27061 2.30753) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (* (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))))) (* (/ 1 (* (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (+ (- (/ (fma x 0.27061 2.30753) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (fma x 0.27061 2.30753) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (- (* (* (cbrt x) (cbrt x)) (cbrt x)) (/ (/ (fma x 0.27061 2.30753) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (* (/ (fma x 0.27061 2.30753) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (+ (/ -1 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ 1 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (- (* (* (cbrt x) (cbrt x)) (cbrt x)) (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (* (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) 0) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (/ (/ (fma x 0.27061 2.30753) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (* (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))))) (* (/ 1 (* (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (+ (- (/ (fma x 0.27061 2.30753) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (fma x 0.27061 2.30753) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (- (* (* (cbrt x) (cbrt x)) (cbrt x)) (/ (/ (fma x 0.27061 2.30753) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (* (/ (fma x 0.27061 2.30753) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (+ (/ -1 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ 1 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (- (* (* (cbrt x) (cbrt x)) (cbrt x)) (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (* (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) 0) (- (* (* (cbrt x) (cbrt x)) (cbrt x)) (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (* (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) 0) (- (* (* (cbrt x) (cbrt x)) (cbrt x)) (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (* (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) 0) (- (* (* (cbrt x) (cbrt x)) (cbrt x)) (* (fma 1.0 1.0 (* (* (fma 0.04481 x 0.99229) x) (- (* (fma 0.04481 x 0.99229) x) 1.0))) (/ (fma x 0.27061 2.30753) (+ (pow 1.0 3) (pow (* (fma 0.04481 x 0.99229) x) 3))))) (* (fma 1.0 1.0 (* (* (fma 0.04481 x 0.99229) x) (- (* (fma 0.04481 x 0.99229) x) 1.0))) (+ (- (/ (fma x 0.27061 2.30753) (+ (pow 1.0 3) (pow (* (fma 0.04481 x 0.99229) x) 3)))) (/ (fma x 0.27061 2.30753) (+ (pow 1.0 3) (pow (* (fma 0.04481 x 0.99229) x) 3))))) (- (* (* (cbrt x) (cbrt x)) (cbrt x)) (* (/ (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) (- 1.0 (* (fma 0.04481 x 0.99229) x))) (- 1.0 (* (fma 0.04481 x 0.99229) x)))) (* (/ (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) (- 1.0 (* (fma 0.04481 x 0.99229) x))) (+ (- (- 1.0 (* (fma 0.04481 x 0.99229) x))) (- 1.0 (* (fma 0.04481 x 0.99229) x)))) (- x (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (* (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) 0) (- x (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (* (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) 0) (- x (pow (/ (cbrt (fma x 0.27061 2.30753)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) 3)) (- (pow (/ (cbrt (fma x 0.27061 2.30753)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) 3) (pow (/ (cbrt (fma x 0.27061 2.30753)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) 3)) (- x (/ (/ (pow (cbrt (fma x 0.27061 2.30753)) 3) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (* (/ (* (cbrt (fma x 0.27061 2.30753)) (cbrt (fma x 0.27061 2.30753))) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (+ (- (/ (cbrt (fma x 0.27061 2.30753)) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (cbrt (fma x 0.27061 2.30753)) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (- x (/ (pow (cbrt (fma x 0.27061 2.30753)) 3) (fma x (fma 0.04481 x 0.99229) 1.0))) (- (/ (pow (cbrt (fma x 0.27061 2.30753)) 3) (fma x (fma 0.04481 x 0.99229) 1.0)) (/ (pow (cbrt (fma x 0.27061 2.30753)) 3) (fma x (fma 0.04481 x 0.99229) 1.0))) (- x (/ (/ (fma x 0.27061 2.30753) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (* (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (* (/ 1 (* (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (+ (- (/ (fma x 0.27061 2.30753) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (fma x 0.27061 2.30753) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (- x (/ (/ (fma x 0.27061 2.30753) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (* (/ (fma x 0.27061 2.30753) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (+ (/ -1 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ 1 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (- x (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (* (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) 0) (- x (/ (/ (fma x 0.27061 2.30753) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (* (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (* (/ 1 (* (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (+ (- (/ (fma x 0.27061 2.30753) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (fma x 0.27061 2.30753) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (- x (/ (/ (fma x 0.27061 2.30753) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (* (/ (fma x 0.27061 2.30753) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (+ (/ -1 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ 1 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (- x (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (* (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) 0) (- x (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (* (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) 0) (- x (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (* (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) 0) (- x (* (fma 1.0 1.0 (* (* (fma 0.04481 x 0.99229) x) (- (* (fma 0.04481 x 0.99229) x) 1.0))) (/ (fma x 0.27061 2.30753) (+ (pow 1.0 3) (pow (* (fma 0.04481 x 0.99229) x) 3))))) (* (fma 1.0 1.0 (* (* (fma 0.04481 x 0.99229) x) (- (* (fma 0.04481 x 0.99229) x) 1.0))) (+ (- (/ (fma x 0.27061 2.30753) (+ (pow 1.0 3) (pow (* (fma 0.04481 x 0.99229) x) 3)))) (/ (fma x 0.27061 2.30753) (+ (pow 1.0 3) (pow (* (fma 0.04481 x 0.99229) x) 3))))) (- x (* (/ (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) (- 1.0 (* (fma 0.04481 x 0.99229) x))) (- 1.0 (* (fma 0.04481 x 0.99229) x)))) (* (/ (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) (- 1.0 (* (fma 0.04481 x 0.99229) x))) (+ (- (- 1.0 (* (fma 0.04481 x 0.99229) x))) (- 1.0 (* (fma 0.04481 x 0.99229) x)))) (- x (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (* (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) 0) (- x (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (* (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) 0) (- x (pow (/ (cbrt (fma x 0.27061 2.30753)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) 3)) (- (pow (/ (cbrt (fma x 0.27061 2.30753)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) 3) (pow (/ (cbrt (fma x 0.27061 2.30753)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) 3)) (- x (/ (/ (pow (cbrt (fma x 0.27061 2.30753)) 3) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (* (/ (* (cbrt (fma x 0.27061 2.30753)) (cbrt (fma x 0.27061 2.30753))) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (+ (- (/ (cbrt (fma x 0.27061 2.30753)) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (cbrt (fma x 0.27061 2.30753)) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (- x (/ (pow (cbrt (fma x 0.27061 2.30753)) 3) (fma x (fma 0.04481 x 0.99229) 1.0))) (- (/ (pow (cbrt (fma x 0.27061 2.30753)) 3) (fma x (fma 0.04481 x 0.99229) 1.0)) (/ (pow (cbrt (fma x 0.27061 2.30753)) 3) (fma x (fma 0.04481 x 0.99229) 1.0))) (- x (/ (/ (fma x 0.27061 2.30753) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (* (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (* (/ 1 (* (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (+ (- (/ (fma x 0.27061 2.30753) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (fma x 0.27061 2.30753) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (- x (/ (/ (fma x 0.27061 2.30753) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (* (/ (fma x 0.27061 2.30753) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (+ (/ -1 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ 1 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (- x (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (* (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) 0) (- x (/ (/ (fma x 0.27061 2.30753) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (* (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (* (/ 1 (* (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (+ (- (/ (fma x 0.27061 2.30753) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (fma x 0.27061 2.30753) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (- x (/ (/ (fma x 0.27061 2.30753) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (* (/ (fma x 0.27061 2.30753) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (+ (/ -1 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ 1 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))))) (- x (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (* (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) 0) (- x (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (* (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) 0) (- x (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (* (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) 0) (- x (* (fma 1.0 1.0 (* (* (fma 0.04481 x 0.99229) x) (- (* (fma 0.04481 x 0.99229) x) 1.0))) (/ (fma x 0.27061 2.30753) (+ (pow 1.0 3) (pow (* (fma 0.04481 x 0.99229) x) 3))))) (* (fma 1.0 1.0 (* (* (fma 0.04481 x 0.99229) x) (- (* (fma 0.04481 x 0.99229) x) 1.0))) (+ (- (/ (fma x 0.27061 2.30753) (+ (pow 1.0 3) (pow (* (fma 0.04481 x 0.99229) x) 3)))) (/ (fma x 0.27061 2.30753) (+ (pow 1.0 3) (pow (* (fma 0.04481 x 0.99229) x) 3))))) (- x (* (/ (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) (- 1.0 (* (fma 0.04481 x 0.99229) x))) (- 1.0 (* (fma 0.04481 x 0.99229) x)))) (* (/ (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) (- 1.0 (* (fma 0.04481 x 0.99229) x))) (+ (- (- 1.0 (* (fma 0.04481 x 0.99229) x))) (- 1.0 (* (fma 0.04481 x 0.99229) x)))) (expm1 (- x (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)))) (log1p (- x (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)))) (- (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (- (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (- (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (exp (- x (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)))) (log (- x (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)))) (exp (- x (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)))) (* (cbrt (- x (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)))) (cbrt (- x (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))))) (cbrt (- x (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)))) (pow (- x (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) 3) (sqrt (- x (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)))) (sqrt (- x (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)))) (- (pow x 3) (pow (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) 3)) (fma (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) (+ x (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (* x x)) (- (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (* (+ x (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (- x (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)))) (+ x (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (+ (sqrt (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt x)) (- (sqrt x) (sqrt (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)))) (+ (sqrt x) (/ (sqrt (fma x 0.27061 2.30753)) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (- (sqrt x) (/ (sqrt (fma x 0.27061 2.30753)) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (- x (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (- (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (- (fma 1.900161040244073 (* x x) 2.30753) (* 2.0191289436999997 x)) (- (+ (/ 6.039053782637804 x) (/ 1686.279566230464 (pow x 3))) (/ 82.23527511657369 (* x x))) (- (+ (/ 6.039053782637804 x) (/ 1686.279566230464 (pow x 3))) (/ 82.23527511657369 (* x x))) (* (fma 0.04481 x 0.99229) x) (* (fma 0.04481 x 0.99229) x) (* (fma 0.04481 x 0.99229) x) (fma 0.04481 x 0.99229) (fma 0.04481 x 0.99229) (fma 0.04481 x 0.99229) (- (* 3.0191289436999997 x) (fma 1.900161040244073 (* x x) 2.30753)) (+ (/ 82.23527511657369 (* x x)) (- x (/ 6.039053782637804 x))) (+ (/ 82.23527511657369 (* x x)) (- x (/ 6.039053782637804 x))) 3.245 * * * [progress]: adding candidates to table 3.571 * * [progress]: iteration 2 / 4 3.571 * * * [progress]: picking best candidate 3.573 * * * * [pick]: Picked # 3.573 * * * [progress]: localizing error 3.586 * * * [progress]: generating rewritten candidates 3.586 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1) 3.590 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 2) 3.591 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 3.591 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 3.592 * * * [progress]: generating series expansions 3.592 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1) 3.593 * [approximate]: Taking taylor expansion of (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) in (x) around 0 3.593 * [taylor]: Taking taylor expansion of (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) in x 3.593 * [taylor]: Taking taylor expansion of (fma x 0.27061 2.30753) in x 3.593 * [taylor]: Rewrote expression to (+ (* x 0.27061) 2.30753) 3.593 * [taylor]: Taking taylor expansion of (* x 0.27061) in x 3.593 * [taylor]: Taking taylor expansion of x in x 3.593 * [taylor]: Taking taylor expansion of 0.27061 in x 3.593 * [taylor]: Taking taylor expansion of 2.30753 in x 3.593 * [taylor]: Taking taylor expansion of (fma x (fma 0.04481 x 0.99229) 1.0) in x 3.593 * [taylor]: Rewrote expression to (+ (* x (fma 0.04481 x 0.99229)) 1.0) 3.593 * [taylor]: Taking taylor expansion of (* x (fma 0.04481 x 0.99229)) in x 3.593 * [taylor]: Taking taylor expansion of x in x 3.593 * [taylor]: Taking taylor expansion of (fma 0.04481 x 0.99229) in x 3.593 * [taylor]: Rewrote expression to (+ (* 0.04481 x) 0.99229) 3.593 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x 3.593 * [taylor]: Taking taylor expansion of 0.04481 in x 3.593 * [taylor]: Taking taylor expansion of x in x 3.593 * [taylor]: Taking taylor expansion of 0.99229 in x 3.593 * [taylor]: Taking taylor expansion of 1.0 in x 3.595 * [taylor]: Taking taylor expansion of (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) in x 3.595 * [taylor]: Taking taylor expansion of (fma x 0.27061 2.30753) in x 3.596 * [taylor]: Rewrote expression to (+ (* x 0.27061) 2.30753) 3.596 * [taylor]: Taking taylor expansion of (* x 0.27061) in x 3.596 * [taylor]: Taking taylor expansion of x in x 3.596 * [taylor]: Taking taylor expansion of 0.27061 in x 3.596 * [taylor]: Taking taylor expansion of 2.30753 in x 3.596 * [taylor]: Taking taylor expansion of (fma x (fma 0.04481 x 0.99229) 1.0) in x 3.596 * [taylor]: Rewrote expression to (+ (* x (fma 0.04481 x 0.99229)) 1.0) 3.596 * [taylor]: Taking taylor expansion of (* x (fma 0.04481 x 0.99229)) in x 3.596 * [taylor]: Taking taylor expansion of x in x 3.596 * [taylor]: Taking taylor expansion of (fma 0.04481 x 0.99229) in x 3.596 * [taylor]: Rewrote expression to (+ (* 0.04481 x) 0.99229) 3.596 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x 3.596 * [taylor]: Taking taylor expansion of 0.04481 in x 3.596 * [taylor]: Taking taylor expansion of x in x 3.596 * [taylor]: Taking taylor expansion of 0.99229 in x 3.596 * [taylor]: Taking taylor expansion of 1.0 in x 3.610 * [approximate]: Taking taylor expansion of (/ (fma (/ 1 x) 0.27061 2.30753) (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0)) in (x) around 0 3.610 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 x) 0.27061 2.30753) (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0)) in x 3.610 * [taylor]: Taking taylor expansion of (fma (/ 1 x) 0.27061 2.30753) in x 3.610 * [taylor]: Rewrote expression to (+ (* (/ 1 x) 0.27061) 2.30753) 3.610 * [taylor]: Taking taylor expansion of (* (/ 1 x) 0.27061) in x 3.610 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.610 * [taylor]: Taking taylor expansion of x in x 3.611 * [taylor]: Taking taylor expansion of 0.27061 in x 3.611 * [taylor]: Taking taylor expansion of 2.30753 in x 3.611 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0) in x 3.611 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) 1.0) 3.611 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) in x 3.611 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.611 * [taylor]: Taking taylor expansion of x in x 3.611 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ 1 x) 0.99229) in x 3.611 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ 1 x)) 0.99229) 3.611 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 3.611 * [taylor]: Taking taylor expansion of 0.04481 in x 3.611 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.611 * [taylor]: Taking taylor expansion of x in x 3.612 * [taylor]: Taking taylor expansion of 0.99229 in x 3.612 * [taylor]: Taking taylor expansion of 1.0 in x 3.613 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 x) 0.27061 2.30753) (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0)) in x 3.613 * [taylor]: Taking taylor expansion of (fma (/ 1 x) 0.27061 2.30753) in x 3.614 * [taylor]: Rewrote expression to (+ (* (/ 1 x) 0.27061) 2.30753) 3.614 * [taylor]: Taking taylor expansion of (* (/ 1 x) 0.27061) in x 3.614 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.614 * [taylor]: Taking taylor expansion of x in x 3.614 * [taylor]: Taking taylor expansion of 0.27061 in x 3.614 * [taylor]: Taking taylor expansion of 2.30753 in x 3.614 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0) in x 3.614 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) 1.0) 3.614 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) in x 3.614 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.614 * [taylor]: Taking taylor expansion of x in x 3.614 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ 1 x) 0.99229) in x 3.614 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ 1 x)) 0.99229) 3.614 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 3.614 * [taylor]: Taking taylor expansion of 0.04481 in x 3.615 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.615 * [taylor]: Taking taylor expansion of x in x 3.615 * [taylor]: Taking taylor expansion of 0.99229 in x 3.615 * [taylor]: Taking taylor expansion of 1.0 in x 3.630 * [approximate]: Taking taylor expansion of (/ (fma (/ -1 x) 0.27061 2.30753) (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0)) in (x) around 0 3.630 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 x) 0.27061 2.30753) (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0)) in x 3.630 * [taylor]: Taking taylor expansion of (fma (/ -1 x) 0.27061 2.30753) in x 3.630 * [taylor]: Rewrote expression to (+ (* (/ -1 x) 0.27061) 2.30753) 3.630 * [taylor]: Taking taylor expansion of (* (/ -1 x) 0.27061) in x 3.630 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.630 * [taylor]: Taking taylor expansion of -1 in x 3.630 * [taylor]: Taking taylor expansion of x in x 3.630 * [taylor]: Taking taylor expansion of 0.27061 in x 3.630 * [taylor]: Taking taylor expansion of 2.30753 in x 3.630 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0) in x 3.631 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) 1.0) 3.631 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) in x 3.631 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.631 * [taylor]: Taking taylor expansion of -1 in x 3.631 * [taylor]: Taking taylor expansion of x in x 3.631 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ -1 x) 0.99229) in x 3.631 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ -1 x)) 0.99229) 3.631 * [taylor]: Taking taylor expansion of (* 0.04481 (/ -1 x)) in x 3.631 * [taylor]: Taking taylor expansion of 0.04481 in x 3.631 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.631 * [taylor]: Taking taylor expansion of -1 in x 3.631 * [taylor]: Taking taylor expansion of x in x 3.631 * [taylor]: Taking taylor expansion of 0.99229 in x 3.631 * [taylor]: Taking taylor expansion of 1.0 in x 3.634 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 x) 0.27061 2.30753) (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0)) in x 3.634 * [taylor]: Taking taylor expansion of (fma (/ -1 x) 0.27061 2.30753) in x 3.634 * [taylor]: Rewrote expression to (+ (* (/ -1 x) 0.27061) 2.30753) 3.634 * [taylor]: Taking taylor expansion of (* (/ -1 x) 0.27061) in x 3.634 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.634 * [taylor]: Taking taylor expansion of -1 in x 3.634 * [taylor]: Taking taylor expansion of x in x 3.635 * [taylor]: Taking taylor expansion of 0.27061 in x 3.635 * [taylor]: Taking taylor expansion of 2.30753 in x 3.635 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0) in x 3.635 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) 1.0) 3.635 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) in x 3.635 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.635 * [taylor]: Taking taylor expansion of -1 in x 3.635 * [taylor]: Taking taylor expansion of x in x 3.635 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ -1 x) 0.99229) in x 3.635 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ -1 x)) 0.99229) 3.635 * [taylor]: Taking taylor expansion of (* 0.04481 (/ -1 x)) in x 3.635 * [taylor]: Taking taylor expansion of 0.04481 in x 3.635 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.635 * [taylor]: Taking taylor expansion of -1 in x 3.635 * [taylor]: Taking taylor expansion of x in x 3.636 * [taylor]: Taking taylor expansion of 0.99229 in x 3.636 * [taylor]: Taking taylor expansion of 1.0 in x 3.654 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 2) 3.654 * [approximate]: Taking taylor expansion of (fma x (fma 0.04481 x 0.99229) 1.0) in (x) around 0 3.654 * [taylor]: Taking taylor expansion of (fma x (fma 0.04481 x 0.99229) 1.0) in x 3.654 * [taylor]: Rewrote expression to (+ (* x (fma 0.04481 x 0.99229)) 1.0) 3.654 * [taylor]: Taking taylor expansion of (* x (fma 0.04481 x 0.99229)) in x 3.654 * [taylor]: Taking taylor expansion of x in x 3.655 * [taylor]: Taking taylor expansion of (fma 0.04481 x 0.99229) in x 3.655 * [taylor]: Rewrote expression to (+ (* 0.04481 x) 0.99229) 3.655 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x 3.655 * [taylor]: Taking taylor expansion of 0.04481 in x 3.655 * [taylor]: Taking taylor expansion of x in x 3.655 * [taylor]: Taking taylor expansion of 0.99229 in x 3.655 * [taylor]: Taking taylor expansion of 1.0 in x 3.655 * [taylor]: Taking taylor expansion of (fma x (fma 0.04481 x 0.99229) 1.0) in x 3.655 * [taylor]: Rewrote expression to (+ (* x (fma 0.04481 x 0.99229)) 1.0) 3.655 * [taylor]: Taking taylor expansion of (* x (fma 0.04481 x 0.99229)) in x 3.655 * [taylor]: Taking taylor expansion of x in x 3.655 * [taylor]: Taking taylor expansion of (fma 0.04481 x 0.99229) in x 3.655 * [taylor]: Rewrote expression to (+ (* 0.04481 x) 0.99229) 3.655 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x 3.655 * [taylor]: Taking taylor expansion of 0.04481 in x 3.655 * [taylor]: Taking taylor expansion of x in x 3.655 * [taylor]: Taking taylor expansion of 0.99229 in x 3.655 * [taylor]: Taking taylor expansion of 1.0 in x 3.661 * [approximate]: Taking taylor expansion of (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0) in (x) around 0 3.662 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0) in x 3.662 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) 1.0) 3.662 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) in x 3.662 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.662 * [taylor]: Taking taylor expansion of x in x 3.662 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ 1 x) 0.99229) in x 3.662 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ 1 x)) 0.99229) 3.662 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 3.662 * [taylor]: Taking taylor expansion of 0.04481 in x 3.662 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.662 * [taylor]: Taking taylor expansion of x in x 3.662 * [taylor]: Taking taylor expansion of 0.99229 in x 3.662 * [taylor]: Taking taylor expansion of 1.0 in x 3.663 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0) in x 3.663 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) 1.0) 3.663 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) in x 3.663 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.663 * [taylor]: Taking taylor expansion of x in x 3.663 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ 1 x) 0.99229) in x 3.663 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ 1 x)) 0.99229) 3.663 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 3.663 * [taylor]: Taking taylor expansion of 0.04481 in x 3.663 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.663 * [taylor]: Taking taylor expansion of x in x 3.663 * [taylor]: Taking taylor expansion of 0.99229 in x 3.663 * [taylor]: Taking taylor expansion of 1.0 in x 3.673 * [approximate]: Taking taylor expansion of (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0) in (x) around 0 3.673 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0) in x 3.673 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) 1.0) 3.673 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) in x 3.673 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.673 * [taylor]: Taking taylor expansion of -1 in x 3.673 * [taylor]: Taking taylor expansion of x in x 3.674 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ -1 x) 0.99229) in x 3.674 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ -1 x)) 0.99229) 3.674 * [taylor]: Taking taylor expansion of (* 0.04481 (/ -1 x)) in x 3.674 * [taylor]: Taking taylor expansion of 0.04481 in x 3.674 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.674 * [taylor]: Taking taylor expansion of -1 in x 3.674 * [taylor]: Taking taylor expansion of x in x 3.674 * [taylor]: Taking taylor expansion of 0.99229 in x 3.674 * [taylor]: Taking taylor expansion of 1.0 in x 3.674 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0) in x 3.675 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) 1.0) 3.675 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) in x 3.675 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.675 * [taylor]: Taking taylor expansion of -1 in x 3.675 * [taylor]: Taking taylor expansion of x in x 3.675 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ -1 x) 0.99229) in x 3.675 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ -1 x)) 0.99229) 3.675 * [taylor]: Taking taylor expansion of (* 0.04481 (/ -1 x)) in x 3.675 * [taylor]: Taking taylor expansion of 0.04481 in x 3.675 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.675 * [taylor]: Taking taylor expansion of -1 in x 3.675 * [taylor]: Taking taylor expansion of x in x 3.675 * [taylor]: Taking taylor expansion of 0.99229 in x 3.675 * [taylor]: Taking taylor expansion of 1.0 in x 3.683 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 3.683 * [approximate]: Taking taylor expansion of (expm1 (log1p (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)))) in (x) around 0 3.684 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)))) in x 3.684 * [taylor]: Rewrote expression to (- (exp (log1p (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)))) 1) 3.684 * [taylor]: Taking taylor expansion of (exp (log1p (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)))) in x 3.684 * [taylor]: Taking taylor expansion of (log1p (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) in x 3.684 * [taylor]: Rewrote expression to (log (+ 1 (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)))) 3.684 * [taylor]: Taking taylor expansion of (+ 1 (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) in x 3.684 * [taylor]: Taking taylor expansion of 1 in x 3.684 * [taylor]: Taking taylor expansion of (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) in x 3.684 * [taylor]: Taking taylor expansion of (fma x 0.27061 2.30753) in x 3.684 * [taylor]: Rewrote expression to (+ (* x 0.27061) 2.30753) 3.684 * [taylor]: Taking taylor expansion of (* x 0.27061) in x 3.684 * [taylor]: Taking taylor expansion of x in x 3.684 * [taylor]: Taking taylor expansion of 0.27061 in x 3.684 * [taylor]: Taking taylor expansion of 2.30753 in x 3.684 * [taylor]: Taking taylor expansion of (fma x (fma 0.04481 x 0.99229) 1.0) in x 3.684 * [taylor]: Rewrote expression to (+ (* x (fma 0.04481 x 0.99229)) 1.0) 3.684 * [taylor]: Taking taylor expansion of (* x (fma 0.04481 x 0.99229)) in x 3.684 * [taylor]: Taking taylor expansion of x in x 3.684 * [taylor]: Taking taylor expansion of (fma 0.04481 x 0.99229) in x 3.684 * [taylor]: Rewrote expression to (+ (* 0.04481 x) 0.99229) 3.684 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x 3.685 * [taylor]: Taking taylor expansion of 0.04481 in x 3.685 * [taylor]: Taking taylor expansion of x in x 3.685 * [taylor]: Taking taylor expansion of 0.99229 in x 3.685 * [taylor]: Taking taylor expansion of 1.0 in x 3.688 * [taylor]: Taking taylor expansion of 1 in x 3.688 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)))) in x 3.688 * [taylor]: Rewrote expression to (- (exp (log1p (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)))) 1) 3.688 * [taylor]: Taking taylor expansion of (exp (log1p (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)))) in x 3.688 * [taylor]: Taking taylor expansion of (log1p (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) in x 3.688 * [taylor]: Rewrote expression to (log (+ 1 (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)))) 3.688 * [taylor]: Taking taylor expansion of (+ 1 (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) in x 3.688 * [taylor]: Taking taylor expansion of 1 in x 3.688 * [taylor]: Taking taylor expansion of (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) in x 3.688 * [taylor]: Taking taylor expansion of (fma x 0.27061 2.30753) in x 3.688 * [taylor]: Rewrote expression to (+ (* x 0.27061) 2.30753) 3.688 * [taylor]: Taking taylor expansion of (* x 0.27061) in x 3.688 * [taylor]: Taking taylor expansion of x in x 3.688 * [taylor]: Taking taylor expansion of 0.27061 in x 3.688 * [taylor]: Taking taylor expansion of 2.30753 in x 3.688 * [taylor]: Taking taylor expansion of (fma x (fma 0.04481 x 0.99229) 1.0) in x 3.688 * [taylor]: Rewrote expression to (+ (* x (fma 0.04481 x 0.99229)) 1.0) 3.688 * [taylor]: Taking taylor expansion of (* x (fma 0.04481 x 0.99229)) in x 3.688 * [taylor]: Taking taylor expansion of x in x 3.688 * [taylor]: Taking taylor expansion of (fma 0.04481 x 0.99229) in x 3.688 * [taylor]: Rewrote expression to (+ (* 0.04481 x) 0.99229) 3.688 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x 3.688 * [taylor]: Taking taylor expansion of 0.04481 in x 3.688 * [taylor]: Taking taylor expansion of x in x 3.688 * [taylor]: Taking taylor expansion of 0.99229 in x 3.688 * [taylor]: Taking taylor expansion of 1.0 in x 3.691 * [taylor]: Taking taylor expansion of 1 in x 3.738 * [approximate]: Taking taylor expansion of (expm1 (log1p (/ (fma (/ 1 x) 0.27061 2.30753) (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0)))) in (x) around 0 3.738 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ (fma (/ 1 x) 0.27061 2.30753) (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0)))) in x 3.738 * [taylor]: Rewrote expression to (- (exp (log1p (/ (fma (/ 1 x) 0.27061 2.30753) (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0)))) 1) 3.739 * [taylor]: Taking taylor expansion of (exp (log1p (/ (fma (/ 1 x) 0.27061 2.30753) (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0)))) in x 3.739 * [taylor]: Taking taylor expansion of (log1p (/ (fma (/ 1 x) 0.27061 2.30753) (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0))) in x 3.739 * [taylor]: Rewrote expression to (log (+ 1 (/ (fma (/ 1 x) 0.27061 2.30753) (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0)))) 3.739 * [taylor]: Taking taylor expansion of (+ 1 (/ (fma (/ 1 x) 0.27061 2.30753) (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0))) in x 3.739 * [taylor]: Taking taylor expansion of 1 in x 3.739 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 x) 0.27061 2.30753) (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0)) in x 3.739 * [taylor]: Taking taylor expansion of (fma (/ 1 x) 0.27061 2.30753) in x 3.739 * [taylor]: Rewrote expression to (+ (* (/ 1 x) 0.27061) 2.30753) 3.739 * [taylor]: Taking taylor expansion of (* (/ 1 x) 0.27061) in x 3.739 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.739 * [taylor]: Taking taylor expansion of x in x 3.739 * [taylor]: Taking taylor expansion of 0.27061 in x 3.739 * [taylor]: Taking taylor expansion of 2.30753 in x 3.739 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0) in x 3.739 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) 1.0) 3.739 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) in x 3.739 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.739 * [taylor]: Taking taylor expansion of x in x 3.740 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ 1 x) 0.99229) in x 3.740 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ 1 x)) 0.99229) 3.740 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 3.740 * [taylor]: Taking taylor expansion of 0.04481 in x 3.740 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.740 * [taylor]: Taking taylor expansion of x in x 3.740 * [taylor]: Taking taylor expansion of 0.99229 in x 3.740 * [taylor]: Taking taylor expansion of 1.0 in x 3.746 * [taylor]: Taking taylor expansion of 1 in x 3.746 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ (fma (/ 1 x) 0.27061 2.30753) (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0)))) in x 3.746 * [taylor]: Rewrote expression to (- (exp (log1p (/ (fma (/ 1 x) 0.27061 2.30753) (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0)))) 1) 3.746 * [taylor]: Taking taylor expansion of (exp (log1p (/ (fma (/ 1 x) 0.27061 2.30753) (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0)))) in x 3.746 * [taylor]: Taking taylor expansion of (log1p (/ (fma (/ 1 x) 0.27061 2.30753) (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0))) in x 3.746 * [taylor]: Rewrote expression to (log (+ 1 (/ (fma (/ 1 x) 0.27061 2.30753) (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0)))) 3.746 * [taylor]: Taking taylor expansion of (+ 1 (/ (fma (/ 1 x) 0.27061 2.30753) (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0))) in x 3.746 * [taylor]: Taking taylor expansion of 1 in x 3.746 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 x) 0.27061 2.30753) (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0)) in x 3.747 * [taylor]: Taking taylor expansion of (fma (/ 1 x) 0.27061 2.30753) in x 3.747 * [taylor]: Rewrote expression to (+ (* (/ 1 x) 0.27061) 2.30753) 3.747 * [taylor]: Taking taylor expansion of (* (/ 1 x) 0.27061) in x 3.747 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.747 * [taylor]: Taking taylor expansion of x in x 3.747 * [taylor]: Taking taylor expansion of 0.27061 in x 3.747 * [taylor]: Taking taylor expansion of 2.30753 in x 3.747 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0) in x 3.747 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) 1.0) 3.747 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) in x 3.747 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.747 * [taylor]: Taking taylor expansion of x in x 3.747 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ 1 x) 0.99229) in x 3.747 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ 1 x)) 0.99229) 3.748 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 3.748 * [taylor]: Taking taylor expansion of 0.04481 in x 3.748 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.748 * [taylor]: Taking taylor expansion of x in x 3.748 * [taylor]: Taking taylor expansion of 0.99229 in x 3.748 * [taylor]: Taking taylor expansion of 1.0 in x 3.757 * [taylor]: Taking taylor expansion of 1 in x 3.808 * [approximate]: Taking taylor expansion of (expm1 (log1p (/ (fma (/ -1 x) 0.27061 2.30753) (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0)))) in (x) around 0 3.808 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ (fma (/ -1 x) 0.27061 2.30753) (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0)))) in x 3.808 * [taylor]: Rewrote expression to (- (exp (log1p (/ (fma (/ -1 x) 0.27061 2.30753) (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0)))) 1) 3.808 * [taylor]: Taking taylor expansion of (exp (log1p (/ (fma (/ -1 x) 0.27061 2.30753) (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0)))) in x 3.808 * [taylor]: Taking taylor expansion of (log1p (/ (fma (/ -1 x) 0.27061 2.30753) (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0))) in x 3.808 * [taylor]: Rewrote expression to (log (+ 1 (/ (fma (/ -1 x) 0.27061 2.30753) (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0)))) 3.808 * [taylor]: Taking taylor expansion of (+ 1 (/ (fma (/ -1 x) 0.27061 2.30753) (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0))) in x 3.808 * [taylor]: Taking taylor expansion of 1 in x 3.808 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 x) 0.27061 2.30753) (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0)) in x 3.808 * [taylor]: Taking taylor expansion of (fma (/ -1 x) 0.27061 2.30753) in x 3.808 * [taylor]: Rewrote expression to (+ (* (/ -1 x) 0.27061) 2.30753) 3.808 * [taylor]: Taking taylor expansion of (* (/ -1 x) 0.27061) in x 3.808 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.808 * [taylor]: Taking taylor expansion of -1 in x 3.808 * [taylor]: Taking taylor expansion of x in x 3.809 * [taylor]: Taking taylor expansion of 0.27061 in x 3.809 * [taylor]: Taking taylor expansion of 2.30753 in x 3.809 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0) in x 3.809 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) 1.0) 3.809 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) in x 3.809 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.809 * [taylor]: Taking taylor expansion of -1 in x 3.809 * [taylor]: Taking taylor expansion of x in x 3.809 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ -1 x) 0.99229) in x 3.809 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ -1 x)) 0.99229) 3.809 * [taylor]: Taking taylor expansion of (* 0.04481 (/ -1 x)) in x 3.809 * [taylor]: Taking taylor expansion of 0.04481 in x 3.809 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.809 * [taylor]: Taking taylor expansion of -1 in x 3.809 * [taylor]: Taking taylor expansion of x in x 3.810 * [taylor]: Taking taylor expansion of 0.99229 in x 3.810 * [taylor]: Taking taylor expansion of 1.0 in x 3.817 * [taylor]: Taking taylor expansion of 1 in x 3.817 * [taylor]: Taking taylor expansion of (expm1 (log1p (/ (fma (/ -1 x) 0.27061 2.30753) (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0)))) in x 3.817 * [taylor]: Rewrote expression to (- (exp (log1p (/ (fma (/ -1 x) 0.27061 2.30753) (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0)))) 1) 3.817 * [taylor]: Taking taylor expansion of (exp (log1p (/ (fma (/ -1 x) 0.27061 2.30753) (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0)))) in x 3.817 * [taylor]: Taking taylor expansion of (log1p (/ (fma (/ -1 x) 0.27061 2.30753) (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0))) in x 3.817 * [taylor]: Rewrote expression to (log (+ 1 (/ (fma (/ -1 x) 0.27061 2.30753) (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0)))) 3.817 * [taylor]: Taking taylor expansion of (+ 1 (/ (fma (/ -1 x) 0.27061 2.30753) (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0))) in x 3.817 * [taylor]: Taking taylor expansion of 1 in x 3.817 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 x) 0.27061 2.30753) (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0)) in x 3.817 * [taylor]: Taking taylor expansion of (fma (/ -1 x) 0.27061 2.30753) in x 3.817 * [taylor]: Rewrote expression to (+ (* (/ -1 x) 0.27061) 2.30753) 3.817 * [taylor]: Taking taylor expansion of (* (/ -1 x) 0.27061) in x 3.817 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.817 * [taylor]: Taking taylor expansion of -1 in x 3.817 * [taylor]: Taking taylor expansion of x in x 3.818 * [taylor]: Taking taylor expansion of 0.27061 in x 3.818 * [taylor]: Taking taylor expansion of 2.30753 in x 3.818 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0) in x 3.818 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) 1.0) 3.818 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) in x 3.818 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.818 * [taylor]: Taking taylor expansion of -1 in x 3.818 * [taylor]: Taking taylor expansion of x in x 3.818 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ -1 x) 0.99229) in x 3.818 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ -1 x)) 0.99229) 3.818 * [taylor]: Taking taylor expansion of (* 0.04481 (/ -1 x)) in x 3.818 * [taylor]: Taking taylor expansion of 0.04481 in x 3.818 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.818 * [taylor]: Taking taylor expansion of -1 in x 3.818 * [taylor]: Taking taylor expansion of x in x 3.819 * [taylor]: Taking taylor expansion of 0.99229 in x 3.819 * [taylor]: Taking taylor expansion of 1.0 in x 3.826 * [taylor]: Taking taylor expansion of 1 in x 3.886 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 3.887 * [approximate]: Taking taylor expansion of (log1p (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) in (x) around 0 3.887 * [taylor]: Taking taylor expansion of (log1p (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) in x 3.887 * [taylor]: Rewrote expression to (log (+ 1 (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)))) 3.887 * [taylor]: Taking taylor expansion of (+ 1 (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) in x 3.887 * [taylor]: Taking taylor expansion of 1 in x 3.887 * [taylor]: Taking taylor expansion of (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) in x 3.887 * [taylor]: Taking taylor expansion of (fma x 0.27061 2.30753) in x 3.887 * [taylor]: Rewrote expression to (+ (* x 0.27061) 2.30753) 3.887 * [taylor]: Taking taylor expansion of (* x 0.27061) in x 3.887 * [taylor]: Taking taylor expansion of x in x 3.887 * [taylor]: Taking taylor expansion of 0.27061 in x 3.887 * [taylor]: Taking taylor expansion of 2.30753 in x 3.887 * [taylor]: Taking taylor expansion of (fma x (fma 0.04481 x 0.99229) 1.0) in x 3.887 * [taylor]: Rewrote expression to (+ (* x (fma 0.04481 x 0.99229)) 1.0) 3.887 * [taylor]: Taking taylor expansion of (* x (fma 0.04481 x 0.99229)) in x 3.887 * [taylor]: Taking taylor expansion of x in x 3.887 * [taylor]: Taking taylor expansion of (fma 0.04481 x 0.99229) in x 3.887 * [taylor]: Rewrote expression to (+ (* 0.04481 x) 0.99229) 3.887 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x 3.887 * [taylor]: Taking taylor expansion of 0.04481 in x 3.887 * [taylor]: Taking taylor expansion of x in x 3.887 * [taylor]: Taking taylor expansion of 0.99229 in x 3.887 * [taylor]: Taking taylor expansion of 1.0 in x 3.890 * [taylor]: Taking taylor expansion of (log1p (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) in x 3.890 * [taylor]: Rewrote expression to (log (+ 1 (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)))) 3.890 * [taylor]: Taking taylor expansion of (+ 1 (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) in x 3.890 * [taylor]: Taking taylor expansion of 1 in x 3.890 * [taylor]: Taking taylor expansion of (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) in x 3.890 * [taylor]: Taking taylor expansion of (fma x 0.27061 2.30753) in x 3.890 * [taylor]: Rewrote expression to (+ (* x 0.27061) 2.30753) 3.890 * [taylor]: Taking taylor expansion of (* x 0.27061) in x 3.890 * [taylor]: Taking taylor expansion of x in x 3.890 * [taylor]: Taking taylor expansion of 0.27061 in x 3.890 * [taylor]: Taking taylor expansion of 2.30753 in x 3.890 * [taylor]: Taking taylor expansion of (fma x (fma 0.04481 x 0.99229) 1.0) in x 3.890 * [taylor]: Rewrote expression to (+ (* x (fma 0.04481 x 0.99229)) 1.0) 3.890 * [taylor]: Taking taylor expansion of (* x (fma 0.04481 x 0.99229)) in x 3.890 * [taylor]: Taking taylor expansion of x in x 3.890 * [taylor]: Taking taylor expansion of (fma 0.04481 x 0.99229) in x 3.890 * [taylor]: Rewrote expression to (+ (* 0.04481 x) 0.99229) 3.890 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x 3.890 * [taylor]: Taking taylor expansion of 0.04481 in x 3.890 * [taylor]: Taking taylor expansion of x in x 3.890 * [taylor]: Taking taylor expansion of 0.99229 in x 3.890 * [taylor]: Taking taylor expansion of 1.0 in x 3.927 * [approximate]: Taking taylor expansion of (log1p (/ (fma (/ 1 x) 0.27061 2.30753) (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0))) in (x) around 0 3.927 * [taylor]: Taking taylor expansion of (log1p (/ (fma (/ 1 x) 0.27061 2.30753) (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0))) in x 3.927 * [taylor]: Rewrote expression to (log (+ 1 (/ (fma (/ 1 x) 0.27061 2.30753) (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0)))) 3.927 * [taylor]: Taking taylor expansion of (+ 1 (/ (fma (/ 1 x) 0.27061 2.30753) (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0))) in x 3.927 * [taylor]: Taking taylor expansion of 1 in x 3.927 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 x) 0.27061 2.30753) (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0)) in x 3.927 * [taylor]: Taking taylor expansion of (fma (/ 1 x) 0.27061 2.30753) in x 3.927 * [taylor]: Rewrote expression to (+ (* (/ 1 x) 0.27061) 2.30753) 3.927 * [taylor]: Taking taylor expansion of (* (/ 1 x) 0.27061) in x 3.927 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.927 * [taylor]: Taking taylor expansion of x in x 3.927 * [taylor]: Taking taylor expansion of 0.27061 in x 3.927 * [taylor]: Taking taylor expansion of 2.30753 in x 3.927 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0) in x 3.928 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) 1.0) 3.928 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) in x 3.928 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.928 * [taylor]: Taking taylor expansion of x in x 3.928 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ 1 x) 0.99229) in x 3.928 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ 1 x)) 0.99229) 3.928 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 3.928 * [taylor]: Taking taylor expansion of 0.04481 in x 3.928 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.928 * [taylor]: Taking taylor expansion of x in x 3.928 * [taylor]: Taking taylor expansion of 0.99229 in x 3.928 * [taylor]: Taking taylor expansion of 1.0 in x 3.931 * [taylor]: Taking taylor expansion of (log1p (/ (fma (/ 1 x) 0.27061 2.30753) (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0))) in x 3.931 * [taylor]: Rewrote expression to (log (+ 1 (/ (fma (/ 1 x) 0.27061 2.30753) (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0)))) 3.931 * [taylor]: Taking taylor expansion of (+ 1 (/ (fma (/ 1 x) 0.27061 2.30753) (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0))) in x 3.931 * [taylor]: Taking taylor expansion of 1 in x 3.931 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 x) 0.27061 2.30753) (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0)) in x 3.931 * [taylor]: Taking taylor expansion of (fma (/ 1 x) 0.27061 2.30753) in x 3.931 * [taylor]: Rewrote expression to (+ (* (/ 1 x) 0.27061) 2.30753) 3.931 * [taylor]: Taking taylor expansion of (* (/ 1 x) 0.27061) in x 3.931 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.931 * [taylor]: Taking taylor expansion of x in x 3.931 * [taylor]: Taking taylor expansion of 0.27061 in x 3.931 * [taylor]: Taking taylor expansion of 2.30753 in x 3.931 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229) 1.0) in x 3.931 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) 1.0) 3.931 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma 0.04481 (/ 1 x) 0.99229)) in x 3.931 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.931 * [taylor]: Taking taylor expansion of x in x 3.932 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ 1 x) 0.99229) in x 3.932 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ 1 x)) 0.99229) 3.932 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 3.932 * [taylor]: Taking taylor expansion of 0.04481 in x 3.932 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.932 * [taylor]: Taking taylor expansion of x in x 3.932 * [taylor]: Taking taylor expansion of 0.99229 in x 3.932 * [taylor]: Taking taylor expansion of 1.0 in x 3.975 * [approximate]: Taking taylor expansion of (log1p (/ (fma (/ -1 x) 0.27061 2.30753) (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0))) in (x) around 0 3.975 * [taylor]: Taking taylor expansion of (log1p (/ (fma (/ -1 x) 0.27061 2.30753) (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0))) in x 3.975 * [taylor]: Rewrote expression to (log (+ 1 (/ (fma (/ -1 x) 0.27061 2.30753) (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0)))) 3.975 * [taylor]: Taking taylor expansion of (+ 1 (/ (fma (/ -1 x) 0.27061 2.30753) (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0))) in x 3.975 * [taylor]: Taking taylor expansion of 1 in x 3.975 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 x) 0.27061 2.30753) (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0)) in x 3.975 * [taylor]: Taking taylor expansion of (fma (/ -1 x) 0.27061 2.30753) in x 3.975 * [taylor]: Rewrote expression to (+ (* (/ -1 x) 0.27061) 2.30753) 3.975 * [taylor]: Taking taylor expansion of (* (/ -1 x) 0.27061) in x 3.975 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.975 * [taylor]: Taking taylor expansion of -1 in x 3.975 * [taylor]: Taking taylor expansion of x in x 3.976 * [taylor]: Taking taylor expansion of 0.27061 in x 3.976 * [taylor]: Taking taylor expansion of 2.30753 in x 3.976 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0) in x 3.976 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) 1.0) 3.976 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) in x 3.976 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.976 * [taylor]: Taking taylor expansion of -1 in x 3.976 * [taylor]: Taking taylor expansion of x in x 3.976 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ -1 x) 0.99229) in x 3.976 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ -1 x)) 0.99229) 3.976 * [taylor]: Taking taylor expansion of (* 0.04481 (/ -1 x)) in x 3.976 * [taylor]: Taking taylor expansion of 0.04481 in x 3.976 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.976 * [taylor]: Taking taylor expansion of -1 in x 3.976 * [taylor]: Taking taylor expansion of x in x 3.977 * [taylor]: Taking taylor expansion of 0.99229 in x 3.977 * [taylor]: Taking taylor expansion of 1.0 in x 3.979 * [taylor]: Taking taylor expansion of (log1p (/ (fma (/ -1 x) 0.27061 2.30753) (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0))) in x 3.980 * [taylor]: Rewrote expression to (log (+ 1 (/ (fma (/ -1 x) 0.27061 2.30753) (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0)))) 3.980 * [taylor]: Taking taylor expansion of (+ 1 (/ (fma (/ -1 x) 0.27061 2.30753) (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0))) in x 3.980 * [taylor]: Taking taylor expansion of 1 in x 3.980 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 x) 0.27061 2.30753) (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0)) in x 3.980 * [taylor]: Taking taylor expansion of (fma (/ -1 x) 0.27061 2.30753) in x 3.980 * [taylor]: Rewrote expression to (+ (* (/ -1 x) 0.27061) 2.30753) 3.980 * [taylor]: Taking taylor expansion of (* (/ -1 x) 0.27061) in x 3.980 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.980 * [taylor]: Taking taylor expansion of -1 in x 3.980 * [taylor]: Taking taylor expansion of x in x 3.980 * [taylor]: Taking taylor expansion of 0.27061 in x 3.980 * [taylor]: Taking taylor expansion of 2.30753 in x 3.980 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229) 1.0) in x 3.980 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) 1.0) 3.980 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma 0.04481 (/ -1 x) 0.99229)) in x 3.980 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.980 * [taylor]: Taking taylor expansion of -1 in x 3.980 * [taylor]: Taking taylor expansion of x in x 3.981 * [taylor]: Taking taylor expansion of (fma 0.04481 (/ -1 x) 0.99229) in x 3.981 * [taylor]: Rewrote expression to (+ (* 0.04481 (/ -1 x)) 0.99229) 3.981 * [taylor]: Taking taylor expansion of (* 0.04481 (/ -1 x)) in x 3.981 * [taylor]: Taking taylor expansion of 0.04481 in x 3.981 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.981 * [taylor]: Taking taylor expansion of -1 in x 3.981 * [taylor]: Taking taylor expansion of x in x 3.981 * [taylor]: Taking taylor expansion of 0.99229 in x 3.981 * [taylor]: Taking taylor expansion of 1.0 in x 4.034 * * * [progress]: simplifying candidates 4.035 * [simplify]: Simplifying using # : (expm1 (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (log1p (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (- (log (fma x 0.27061 2.30753)) (log (fma x (fma 0.04481 x 0.99229) 1.0))) (log (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (exp (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (* (* (fma x 0.27061 2.30753) (fma x 0.27061 2.30753)) (fma x 0.27061 2.30753)) (* (* (fma x (fma 0.04481 x 0.99229) 1.0) (fma x (fma 0.04481 x 0.99229) 1.0)) (fma x (fma 0.04481 x 0.99229) 1.0))) (* (cbrt (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (cbrt (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)))) (cbrt (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (* (* (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (- (fma x 0.27061 2.30753)) (- (fma x (fma 0.04481 x 0.99229) 1.0)) (/ (* (cbrt (fma x 0.27061 2.30753)) (cbrt (fma x 0.27061 2.30753))) (* (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (cbrt (fma x 0.27061 2.30753)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (* (cbrt (fma x 0.27061 2.30753)) (cbrt (fma x 0.27061 2.30753))) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (cbrt (fma x 0.27061 2.30753)) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (* (cbrt (fma x 0.27061 2.30753)) (cbrt (fma x 0.27061 2.30753))) 1) (/ (cbrt (fma x 0.27061 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0)) (/ (sqrt (fma x 0.27061 2.30753)) (* (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (sqrt (fma x 0.27061 2.30753)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (sqrt (fma x 0.27061 2.30753)) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (sqrt (fma x 0.27061 2.30753)) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (sqrt (fma x 0.27061 2.30753)) 1) (/ (sqrt (fma x 0.27061 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0)) (/ 1 (* (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (fma x 0.27061 2.30753) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ 1 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (fma x 0.27061 2.30753) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ 1 1) (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) (/ 1 (fma x (fma 0.04481 x 0.99229) 1.0)) (/ (fma x (fma 0.04481 x 0.99229) 1.0) (fma x 0.27061 2.30753)) (/ (fma x 0.27061 2.30753) (* (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (fma x 0.27061 2.30753) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (fma x 0.27061 2.30753) 1) (/ (fma x (fma 0.04481 x 0.99229) 1.0) (cbrt (fma x 0.27061 2.30753))) (/ (fma x (fma 0.04481 x 0.99229) 1.0) (sqrt (fma x 0.27061 2.30753))) (/ (fma x (fma 0.04481 x 0.99229) 1.0) (fma x 0.27061 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)) (exp (log1p (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)))) (expm1 (expm1 (log1p (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))))) (log1p (expm1 (log1p (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))))) (log (expm1 (log1p (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))))) (exp (expm1 (log1p (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))))) (* (cbrt (expm1 (log1p (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))))) (cbrt (expm1 (log1p (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)))))) (cbrt (expm1 (log1p (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))))) (* (* (expm1 (log1p (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)))) (expm1 (log1p (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))))) (expm1 (log1p (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))))) (sqrt (expm1 (log1p (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))))) (sqrt (expm1 (log1p (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))))) (+ 1 (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (expm1 (log1p (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)))) (log1p (log1p (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)))) (log (log1p (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)))) (exp (log1p (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)))) (* (cbrt (log1p (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)))) (cbrt (log1p (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))))) (cbrt (log1p (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)))) (* (* (log1p (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (log1p (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)))) (log1p (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)))) (sqrt (log1p (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)))) (sqrt (log1p (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)))) (- (+ (* 1.900161040244073 (pow x 2)) 2.30753) (* 2.0191289436999997 x)) (- (+ (* 6.039053782637804 (/ 1 x)) (* 1686.279566230464 (/ 1 (pow x 3)))) (* 82.23527511657369 (/ 1 (pow x 2)))) (- (+ (* 6.039053782637804 (/ 1 x)) (* 1686.279566230464 (/ 1 (pow x 3)))) (* 82.23527511657369 (/ 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)) (- (+ (* 2.5164640958908966 (pow x 2)) 2.30753) (+ (* 2.0191289436999997 x) (* 6.742204250191372 (/ (pow x 2) (pow 3.30753 2))))) (- (+ (* 6.039053782637804 (/ 1 x)) (* 1686.2795662304638 (/ 1 (pow x 3)))) (* 82.23527511657369 (/ 1 (pow x 2)))) (- (+ (* 6.039053782637804 (/ 1 x)) (* 1686.2795662304638 (/ 1 (pow x 3)))) (* 82.23527511657369 (/ 1 (pow x 2)))) (- (+ (* 0.5744954815962585 (pow x 2)) (log 3.30753)) (+ (* 2.0384408456435383 (/ (pow x 2) (pow 3.30753 2))) (* 0.6104642871568814 x))) (- (+ (* 6.039053782637804 (/ 1 x)) (* 2256.317922706976 (/ 1 (pow x 3)))) (* 100.47036041136968 (/ 1 (pow x 2)))) (- (+ (* 6.039053782637804 (/ 1 x)) (* 2256.317922706976 (/ 1 (pow x 3)))) (* 100.47036041136968 (/ 1 (pow x 2)))) 4.039 * * [simplify]: iteration 0 : 136 enodes (cost 1270 ) 4.063 * * [simplify]: iteration 1 : 273 enodes (cost 1218 ) 4.114 * * [simplify]: iteration 2 : 841 enodes (cost 1070 ) 4.341 * * [simplify]: iteration 3 : 3522 enodes (cost 1069 ) 5.426 * * [simplify]: iteration done : 5001 enodes (cost 1069 ) 5.427 * [simplify]: Simplified to: (expm1 (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (log1p (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (log (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (log (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (exp (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (pow (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) 3) (* (cbrt (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (cbrt (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)))) (cbrt (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (pow (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) 3) (sqrt (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (- (fma x 0.27061 2.30753)) (- (fma x (fma 0.04481 x 0.99229) 1.0)) (/ (* (cbrt (fma x 0.27061 2.30753)) (cbrt (fma x 0.27061 2.30753))) (* (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (cbrt (fma x 0.27061 2.30753)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (* (cbrt (fma x 0.27061 2.30753)) (cbrt (fma x 0.27061 2.30753))) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (cbrt (fma x 0.27061 2.30753)) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (* (cbrt (fma x 0.27061 2.30753)) (cbrt (fma x 0.27061 2.30753))) (/ (cbrt (fma x 0.27061 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0)) (/ (sqrt (fma x 0.27061 2.30753)) (* (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (sqrt (fma x 0.27061 2.30753)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (sqrt (fma x 0.27061 2.30753)) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (sqrt (fma x 0.27061 2.30753)) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt (fma x 0.27061 2.30753)) (/ (sqrt (fma x 0.27061 2.30753)) (fma x (fma 0.04481 x 0.99229) 1.0)) (/ 1 (* (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (fma x 0.27061 2.30753) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ 1 (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (fma x 0.27061 2.30753) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) 1 (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) (/ 1 (fma x (fma 0.04481 x 0.99229) 1.0)) (/ (fma x (fma 0.04481 x 0.99229) 1.0) (fma x 0.27061 2.30753)) (/ (fma x 0.27061 2.30753) (* (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)) (cbrt (fma x (fma 0.04481 x 0.99229) 1.0)))) (/ (fma x 0.27061 2.30753) (sqrt (fma x (fma 0.04481 x 0.99229) 1.0))) (fma x 0.27061 2.30753) (/ (fma x (fma 0.04481 x 0.99229) 1.0) (cbrt (fma x 0.27061 2.30753))) (/ (fma x (fma 0.04481 x 0.99229) 1.0) (sqrt (fma x 0.27061 2.30753))) (/ (fma x (fma 0.04481 x 0.99229) 1.0) (fma x 0.27061 2.30753)) (expm1 (fma x (fma 0.04481 x 0.99229) 1.0)) (log1p (fma x (fma 0.04481 x 0.99229) 1.0)) (* (fma 0.04481 x 0.99229) x) (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)) (exp (log1p (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)))) (expm1 (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (log1p (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (log (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (exp (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (* (cbrt (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (cbrt (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)))) (cbrt (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (pow (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) 3) (sqrt (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (sqrt (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (+ 1 (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)) (log1p (log1p (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)))) (log (log1p (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)))) (exp (log1p (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)))) (* (cbrt (log1p (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)))) (cbrt (log1p (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))))) (cbrt (log1p (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)))) (pow (log1p (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0))) 3) (sqrt (log1p (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)))) (sqrt (log1p (/ (fma x 0.27061 2.30753) (fma x (fma 0.04481 x 0.99229) 1.0)))) (+ (* x (- (* x 1.900161040244073) 2.0191289436999997)) 2.30753) (- (+ (/ 6.039053782637804 x) (/ 1686.279566230464 (pow x 3))) (/ 82.23527511657369 (pow x 2))) (- (+ (/ 6.039053782637804 x) (/ 1686.279566230464 (pow x 3))) (/ 82.23527511657369 (pow x 2))) (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 2.5164640958908966 (pow x 2) 2.30753) (fma 2.0191289436999997 x (* 6.742204250191372 (/ (pow x 2) (pow 3.30753 2))))) (+ (/ 1686.2795662304638 (pow x 3)) (- (/ 6.039053782637804 x) (/ 82.23527511657369 (pow x 2)))) (+ (/ 1686.2795662304638 (pow x 3)) (- (/ 6.039053782637804 x) (/ 82.23527511657369 (pow x 2)))) (- (fma 0.5744954815962585 (pow x 2) (log 3.30753)) (fma 2.0384408456435383 (/ (pow x 2) (pow 3.30753 2)) (* 0.6104642871568814 x))) (+ (/ 6.039053782637804 x) (- (/ 2256.317922706976 (pow x 3)) (/ 100.47036041136968 (pow x 2)))) (+ (/ 6.039053782637804 x) (- (/ 2256.317922706976 (pow x 3)) (/ 100.47036041136968 (pow x 2)))) 5.428 * * * [progress]: adding candidates to table 5.645 * [progress]: [Phase 3 of 3] Extracting. 5.645 * * [regime]: Finding splitpoints for: (# #) 5.646 * * * [regime-changes]: Trying 2 branch expressions: ((- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) x) 5.646 * * * * [regimes]: Trying to branch on (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) from (# #) 5.658 * * * * [regimes]: Trying to branch on x from (# #) 5.672 * * * [regime]: Found split indices: #