4.183 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.015 * * * [progress]: [2/2] Setting up program. 0.017 * [progress]: [Phase 2 of 3] Improving. 0.017 * [simplify]: Simplifying using # : (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x) 0.019 * * [simplify]: iteration 0 : 28 enodes (cost 8 ) 0.021 * * [simplify]: iteration 1 : 42 enodes (cost 8 ) 0.022 * * [simplify]: iteration 2 : 50 enodes (cost 8 ) 0.024 * * [simplify]: iteration 3 : 50 enodes (cost 8 ) 0.024 * [simplify]: Simplified to: (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x) 0.024 * * [progress]: iteration 1 / 4 0.024 * * * [progress]: picking best candidate 0.026 * * * * [pick]: Picked # 0.026 * * * [progress]: localizing error 0.035 * * * [progress]: generating rewritten candidates 0.035 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 0.044 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2) 0.051 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 0.087 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 0.092 * * * [progress]: generating series expansions 0.092 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 0.092 * [approximate]: Taking taylor expansion of (/ (+ (* 0.27061 x) 2.30753) (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in (x) around 0 0.092 * [taylor]: Taking taylor expansion of (/ (+ (* 0.27061 x) 2.30753) (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in x 0.092 * [taylor]: Taking taylor expansion of (+ (* 0.27061 x) 2.30753) in x 0.092 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x 0.092 * [taylor]: Taking taylor expansion of 0.27061 in x 0.092 * [taylor]: Taking taylor expansion of x in x 0.092 * [taylor]: Taking taylor expansion of 2.30753 in x 0.092 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x 0.092 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x 0.092 * [taylor]: Taking taylor expansion of 0.04481 in x 0.092 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.092 * [taylor]: Taking taylor expansion of x in x 0.092 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x 0.092 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x 0.092 * [taylor]: Taking taylor expansion of 0.99229 in x 0.092 * [taylor]: Taking taylor expansion of x in x 0.092 * [taylor]: Taking taylor expansion of 1.0 in x 0.094 * [taylor]: Taking taylor expansion of (/ (+ (* 0.27061 x) 2.30753) (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in x 0.094 * [taylor]: Taking taylor expansion of (+ (* 0.27061 x) 2.30753) in x 0.094 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x 0.094 * [taylor]: Taking taylor expansion of 0.27061 in x 0.094 * [taylor]: Taking taylor expansion of x in x 0.094 * [taylor]: Taking taylor expansion of 2.30753 in x 0.094 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x 0.094 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x 0.094 * [taylor]: Taking taylor expansion of 0.04481 in x 0.094 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.094 * [taylor]: Taking taylor expansion of x in x 0.094 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x 0.094 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x 0.094 * [taylor]: Taking taylor expansion of 0.99229 in x 0.094 * [taylor]: Taking taylor expansion of x in x 0.094 * [taylor]: Taking taylor expansion of 1.0 in x 0.106 * [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 0.106 * [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 0.106 * [taylor]: Taking taylor expansion of (+ (* 0.27061 (/ 1 x)) 2.30753) in x 0.106 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 0.106 * [taylor]: Taking taylor expansion of 0.27061 in x 0.107 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.107 * [taylor]: Taking taylor expansion of x in x 0.107 * [taylor]: Taking taylor expansion of 2.30753 in x 0.107 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x 0.107 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 0.107 * [taylor]: Taking taylor expansion of 0.04481 in x 0.107 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.107 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.107 * [taylor]: Taking taylor expansion of x in x 0.107 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x 0.107 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 0.107 * [taylor]: Taking taylor expansion of 0.99229 in x 0.107 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.107 * [taylor]: Taking taylor expansion of x in x 0.108 * [taylor]: Taking taylor expansion of 1.0 in x 0.109 * [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 0.109 * [taylor]: Taking taylor expansion of (+ (* 0.27061 (/ 1 x)) 2.30753) in x 0.109 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 0.109 * [taylor]: Taking taylor expansion of 0.27061 in x 0.109 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.109 * [taylor]: Taking taylor expansion of x in x 0.109 * [taylor]: Taking taylor expansion of 2.30753 in x 0.109 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x 0.110 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 0.110 * [taylor]: Taking taylor expansion of 0.04481 in x 0.110 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.110 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.110 * [taylor]: Taking taylor expansion of x in x 0.110 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x 0.110 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 0.110 * [taylor]: Taking taylor expansion of 0.99229 in x 0.110 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.110 * [taylor]: Taking taylor expansion of x in x 0.110 * [taylor]: Taking taylor expansion of 1.0 in x 0.125 * [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 0.125 * [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 0.125 * [taylor]: Taking taylor expansion of (- 2.30753 (* 0.27061 (/ 1 x))) in x 0.125 * [taylor]: Taking taylor expansion of 2.30753 in x 0.125 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 0.125 * [taylor]: Taking taylor expansion of 0.27061 in x 0.125 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.125 * [taylor]: Taking taylor expansion of x in x 0.125 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x 0.125 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x 0.125 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 0.125 * [taylor]: Taking taylor expansion of 0.04481 in x 0.125 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.125 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.125 * [taylor]: Taking taylor expansion of x in x 0.126 * [taylor]: Taking taylor expansion of 1.0 in x 0.126 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 0.126 * [taylor]: Taking taylor expansion of 0.99229 in x 0.126 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.126 * [taylor]: Taking taylor expansion of x in x 0.128 * [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 0.128 * [taylor]: Taking taylor expansion of (- 2.30753 (* 0.27061 (/ 1 x))) in x 0.129 * [taylor]: Taking taylor expansion of 2.30753 in x 0.129 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 0.129 * [taylor]: Taking taylor expansion of 0.27061 in x 0.129 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.129 * [taylor]: Taking taylor expansion of x in x 0.129 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x 0.129 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x 0.129 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 0.129 * [taylor]: Taking taylor expansion of 0.04481 in x 0.129 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.129 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.129 * [taylor]: Taking taylor expansion of x in x 0.129 * [taylor]: Taking taylor expansion of 1.0 in x 0.129 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 0.129 * [taylor]: Taking taylor expansion of 0.99229 in x 0.130 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.130 * [taylor]: Taking taylor expansion of x in x 0.147 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2) 0.147 * [approximate]: Taking taylor expansion of (* x (+ (* 0.04481 x) 0.99229)) in (x) around 0 0.147 * [taylor]: Taking taylor expansion of (* x (+ (* 0.04481 x) 0.99229)) in x 0.147 * [taylor]: Taking taylor expansion of x in x 0.147 * [taylor]: Taking taylor expansion of (+ (* 0.04481 x) 0.99229) in x 0.147 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x 0.147 * [taylor]: Taking taylor expansion of 0.04481 in x 0.147 * [taylor]: Taking taylor expansion of x in x 0.147 * [taylor]: Taking taylor expansion of 0.99229 in x 0.147 * [taylor]: Taking taylor expansion of (* x (+ (* 0.04481 x) 0.99229)) in x 0.147 * [taylor]: Taking taylor expansion of x in x 0.147 * [taylor]: Taking taylor expansion of (+ (* 0.04481 x) 0.99229) in x 0.147 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x 0.147 * [taylor]: Taking taylor expansion of 0.04481 in x 0.147 * [taylor]: Taking taylor expansion of x in x 0.147 * [taylor]: Taking taylor expansion of 0.99229 in x 0.167 * [approximate]: Taking taylor expansion of (/ (+ (* 0.04481 (/ 1 x)) 0.99229) x) in (x) around 0 0.167 * [taylor]: Taking taylor expansion of (/ (+ (* 0.04481 (/ 1 x)) 0.99229) x) in x 0.167 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 x)) 0.99229) in x 0.167 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 0.167 * [taylor]: Taking taylor expansion of 0.04481 in x 0.167 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.167 * [taylor]: Taking taylor expansion of x in x 0.168 * [taylor]: Taking taylor expansion of 0.99229 in x 0.168 * [taylor]: Taking taylor expansion of x in x 0.168 * [taylor]: Taking taylor expansion of (/ (+ (* 0.04481 (/ 1 x)) 0.99229) x) in x 0.168 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 x)) 0.99229) in x 0.169 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 0.169 * [taylor]: Taking taylor expansion of 0.04481 in x 0.169 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.169 * [taylor]: Taking taylor expansion of x in x 0.169 * [taylor]: Taking taylor expansion of 0.99229 in x 0.169 * [taylor]: Taking taylor expansion of x in x 0.184 * [approximate]: Taking taylor expansion of (* -1 (/ (- 0.99229 (* 0.04481 (/ 1 x))) x)) in (x) around 0 0.184 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.99229 (* 0.04481 (/ 1 x))) x)) in x 0.184 * [taylor]: Taking taylor expansion of -1 in x 0.184 * [taylor]: Taking taylor expansion of (/ (- 0.99229 (* 0.04481 (/ 1 x))) x) in x 0.184 * [taylor]: Taking taylor expansion of (- 0.99229 (* 0.04481 (/ 1 x))) in x 0.184 * [taylor]: Taking taylor expansion of 0.99229 in x 0.184 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 0.184 * [taylor]: Taking taylor expansion of 0.04481 in x 0.184 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.184 * [taylor]: Taking taylor expansion of x in x 0.185 * [taylor]: Taking taylor expansion of x in x 0.186 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.99229 (* 0.04481 (/ 1 x))) x)) in x 0.186 * [taylor]: Taking taylor expansion of -1 in x 0.186 * [taylor]: Taking taylor expansion of (/ (- 0.99229 (* 0.04481 (/ 1 x))) x) in x 0.186 * [taylor]: Taking taylor expansion of (- 0.99229 (* 0.04481 (/ 1 x))) in x 0.186 * [taylor]: Taking taylor expansion of 0.99229 in x 0.186 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 0.186 * [taylor]: Taking taylor expansion of 0.04481 in x 0.186 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.186 * [taylor]: Taking taylor expansion of x in x 0.187 * [taylor]: Taking taylor expansion of x in x 0.210 * * * * [progress]: [ 3 / 4 ] generating series at (2) 0.211 * [approximate]: 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))))) x) in (x) around 0 0.211 * [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))))) x) in x 0.211 * [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 0.211 * [taylor]: Taking taylor expansion of (* 2.30753 (/ 1 (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)))) in x 0.211 * [taylor]: Taking taylor expansion of 2.30753 in x 0.211 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in x 0.211 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x 0.211 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x 0.211 * [taylor]: Taking taylor expansion of 0.04481 in x 0.211 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.211 * [taylor]: Taking taylor expansion of x in x 0.211 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x 0.211 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x 0.211 * [taylor]: Taking taylor expansion of 0.99229 in x 0.211 * [taylor]: Taking taylor expansion of x in x 0.211 * [taylor]: Taking taylor expansion of 1.0 in x 0.212 * [taylor]: Taking taylor expansion of (* 0.27061 (/ x (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)))) in x 0.212 * [taylor]: Taking taylor expansion of 0.27061 in x 0.212 * [taylor]: Taking taylor expansion of (/ x (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in x 0.212 * [taylor]: Taking taylor expansion of x in x 0.212 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x 0.212 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x 0.212 * [taylor]: Taking taylor expansion of 0.04481 in x 0.212 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.212 * [taylor]: Taking taylor expansion of x in x 0.212 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x 0.212 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x 0.212 * [taylor]: Taking taylor expansion of 0.99229 in x 0.212 * [taylor]: Taking taylor expansion of x in x 0.212 * [taylor]: Taking taylor expansion of 1.0 in x 0.213 * [taylor]: Taking taylor expansion of x in x 0.213 * [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))))) x) in x 0.213 * [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 0.213 * [taylor]: Taking taylor expansion of (* 2.30753 (/ 1 (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)))) in x 0.213 * [taylor]: Taking taylor expansion of 2.30753 in x 0.213 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in x 0.213 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x 0.213 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x 0.214 * [taylor]: Taking taylor expansion of 0.04481 in x 0.214 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.214 * [taylor]: Taking taylor expansion of x in x 0.214 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x 0.214 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x 0.214 * [taylor]: Taking taylor expansion of 0.99229 in x 0.214 * [taylor]: Taking taylor expansion of x in x 0.214 * [taylor]: Taking taylor expansion of 1.0 in x 0.215 * [taylor]: Taking taylor expansion of (* 0.27061 (/ x (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)))) in x 0.215 * [taylor]: Taking taylor expansion of 0.27061 in x 0.215 * [taylor]: Taking taylor expansion of (/ x (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in x 0.215 * [taylor]: Taking taylor expansion of x in x 0.215 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x 0.215 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x 0.215 * [taylor]: Taking taylor expansion of 0.04481 in x 0.215 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.215 * [taylor]: Taking taylor expansion of x in x 0.215 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x 0.215 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x 0.215 * [taylor]: Taking taylor expansion of 0.99229 in x 0.215 * [taylor]: Taking taylor expansion of x in x 0.215 * [taylor]: Taking taylor expansion of 1.0 in x 0.216 * [taylor]: Taking taylor expansion of x in x 0.236 * [approximate]: 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)))) (/ 1 x)) in (x) around 0 0.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)))) (/ 1 x)) in x 0.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 0.236 * [taylor]: Taking taylor expansion of (* 2.30753 (/ 1 (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)))) in x 0.236 * [taylor]: Taking taylor expansion of 2.30753 in x 0.237 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0))) in x 0.237 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x 0.237 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 0.237 * [taylor]: Taking taylor expansion of 0.04481 in x 0.237 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.237 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.237 * [taylor]: Taking taylor expansion of x in x 0.237 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x 0.237 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 0.237 * [taylor]: Taking taylor expansion of 0.99229 in x 0.237 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.237 * [taylor]: Taking taylor expansion of x in x 0.237 * [taylor]: Taking taylor expansion of 1.0 in x 0.238 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 (* (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) x))) in x 0.238 * [taylor]: Taking taylor expansion of 0.27061 in x 0.238 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) x)) in x 0.238 * [taylor]: Taking taylor expansion of (* (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) x) in x 0.238 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x 0.238 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 0.238 * [taylor]: Taking taylor expansion of 0.04481 in x 0.238 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.238 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.238 * [taylor]: Taking taylor expansion of x in x 0.239 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x 0.239 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 0.239 * [taylor]: Taking taylor expansion of 0.99229 in x 0.239 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.239 * [taylor]: Taking taylor expansion of x in x 0.239 * [taylor]: Taking taylor expansion of 1.0 in x 0.239 * [taylor]: Taking taylor expansion of x in x 0.243 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.243 * [taylor]: Taking taylor expansion of x in x 0.243 * [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)))) (/ 1 x)) in x 0.243 * [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 0.243 * [taylor]: Taking taylor expansion of (* 2.30753 (/ 1 (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)))) in x 0.243 * [taylor]: Taking taylor expansion of 2.30753 in x 0.243 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0))) in x 0.243 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x 0.243 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 0.243 * [taylor]: Taking taylor expansion of 0.04481 in x 0.243 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.243 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.243 * [taylor]: Taking taylor expansion of x in x 0.244 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x 0.244 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 0.244 * [taylor]: Taking taylor expansion of 0.99229 in x 0.244 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.244 * [taylor]: Taking taylor expansion of x in x 0.244 * [taylor]: Taking taylor expansion of 1.0 in x 0.245 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 (* (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) x))) in x 0.245 * [taylor]: Taking taylor expansion of 0.27061 in x 0.245 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) x)) in x 0.245 * [taylor]: Taking taylor expansion of (* (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) x) in x 0.245 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x 0.245 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 0.245 * [taylor]: Taking taylor expansion of 0.04481 in x 0.245 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.245 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.245 * [taylor]: Taking taylor expansion of x in x 0.246 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x 0.246 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 0.246 * [taylor]: Taking taylor expansion of 0.99229 in x 0.246 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.246 * [taylor]: Taking taylor expansion of x in x 0.246 * [taylor]: Taking taylor expansion of 1.0 in x 0.246 * [taylor]: Taking taylor expansion of x in x 0.250 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.250 * [taylor]: Taking taylor expansion of x in x 0.262 * [approximate]: Taking taylor expansion of (- (+ (/ 1 x) (* 2.30753 (/ 1 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x)))))) (* 0.27061 (/ 1 (* (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) x)))) in (x) around 0 0.262 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (* 2.30753 (/ 1 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x)))))) (* 0.27061 (/ 1 (* (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) x)))) in x 0.262 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 2.30753 (/ 1 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x)))))) in x 0.262 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.262 * [taylor]: Taking taylor expansion of x in x 0.263 * [taylor]: Taking taylor expansion of (* 2.30753 (/ 1 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))))) in x 0.263 * [taylor]: Taking taylor expansion of 2.30753 in x 0.263 * [taylor]: Taking taylor expansion of (/ 1 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x)))) in x 0.263 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x 0.263 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x 0.263 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 0.263 * [taylor]: Taking taylor expansion of 0.04481 in x 0.263 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.263 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.263 * [taylor]: Taking taylor expansion of x in x 0.263 * [taylor]: Taking taylor expansion of 1.0 in x 0.263 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 0.263 * [taylor]: Taking taylor expansion of 0.99229 in x 0.263 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.263 * [taylor]: Taking taylor expansion of x in x 0.265 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 (* (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) x))) in x 0.265 * [taylor]: Taking taylor expansion of 0.27061 in x 0.265 * [taylor]: Taking taylor expansion of (/ 1 (* (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) x)) in x 0.265 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) x) in x 0.265 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x 0.265 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x 0.265 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 0.265 * [taylor]: Taking taylor expansion of 0.04481 in x 0.265 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.265 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.265 * [taylor]: Taking taylor expansion of x in x 0.266 * [taylor]: Taking taylor expansion of 1.0 in x 0.266 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 0.266 * [taylor]: Taking taylor expansion of 0.99229 in x 0.266 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.266 * [taylor]: Taking taylor expansion of x in x 0.266 * [taylor]: Taking taylor expansion of x in x 0.270 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (* 2.30753 (/ 1 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x)))))) (* 0.27061 (/ 1 (* (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) x)))) in x 0.270 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 2.30753 (/ 1 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x)))))) in x 0.270 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.270 * [taylor]: Taking taylor expansion of x in x 0.271 * [taylor]: Taking taylor expansion of (* 2.30753 (/ 1 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))))) in x 0.271 * [taylor]: Taking taylor expansion of 2.30753 in x 0.271 * [taylor]: Taking taylor expansion of (/ 1 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x)))) in x 0.271 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x 0.271 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x 0.271 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 0.271 * [taylor]: Taking taylor expansion of 0.04481 in x 0.271 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.271 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.271 * [taylor]: Taking taylor expansion of x in x 0.271 * [taylor]: Taking taylor expansion of 1.0 in x 0.271 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 0.271 * [taylor]: Taking taylor expansion of 0.99229 in x 0.271 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.271 * [taylor]: Taking taylor expansion of x in x 0.273 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 (* (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) x))) in x 0.273 * [taylor]: Taking taylor expansion of 0.27061 in x 0.273 * [taylor]: Taking taylor expansion of (/ 1 (* (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) x)) in x 0.273 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) x) in x 0.273 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x 0.273 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x 0.273 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 0.273 * [taylor]: Taking taylor expansion of 0.04481 in x 0.273 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.273 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.273 * [taylor]: Taking taylor expansion of x in x 0.273 * [taylor]: Taking taylor expansion of 1.0 in x 0.273 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 0.273 * [taylor]: Taking taylor expansion of 0.99229 in x 0.273 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.273 * [taylor]: Taking taylor expansion of x in x 0.274 * [taylor]: Taking taylor expansion of x in x 0.292 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 0.292 * [approximate]: Taking taylor expansion of (+ (* 0.27061 x) 2.30753) in (x) around 0 0.292 * [taylor]: Taking taylor expansion of (+ (* 0.27061 x) 2.30753) in x 0.292 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x 0.292 * [taylor]: Taking taylor expansion of 0.27061 in x 0.292 * [taylor]: Taking taylor expansion of x in x 0.292 * [taylor]: Taking taylor expansion of 2.30753 in x 0.292 * [taylor]: Taking taylor expansion of (+ (* 0.27061 x) 2.30753) in x 0.292 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x 0.292 * [taylor]: Taking taylor expansion of 0.27061 in x 0.292 * [taylor]: Taking taylor expansion of x in x 0.292 * [taylor]: Taking taylor expansion of 2.30753 in x 0.299 * [approximate]: Taking taylor expansion of (+ (* 0.27061 (/ 1 x)) 2.30753) in (x) around 0 0.299 * [taylor]: Taking taylor expansion of (+ (* 0.27061 (/ 1 x)) 2.30753) in x 0.299 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 0.299 * [taylor]: Taking taylor expansion of 0.27061 in x 0.299 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.299 * [taylor]: Taking taylor expansion of x in x 0.300 * [taylor]: Taking taylor expansion of 2.30753 in x 0.300 * [taylor]: Taking taylor expansion of (+ (* 0.27061 (/ 1 x)) 2.30753) in x 0.300 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 0.300 * [taylor]: Taking taylor expansion of 0.27061 in x 0.300 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.300 * [taylor]: Taking taylor expansion of x in x 0.300 * [taylor]: Taking taylor expansion of 2.30753 in x 0.310 * [approximate]: Taking taylor expansion of (- 2.30753 (* 0.27061 (/ 1 x))) in (x) around 0 0.310 * [taylor]: Taking taylor expansion of (- 2.30753 (* 0.27061 (/ 1 x))) in x 0.310 * [taylor]: Taking taylor expansion of 2.30753 in x 0.310 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 0.310 * [taylor]: Taking taylor expansion of 0.27061 in x 0.310 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.310 * [taylor]: Taking taylor expansion of x in x 0.310 * [taylor]: Taking taylor expansion of (- 2.30753 (* 0.27061 (/ 1 x))) in x 0.310 * [taylor]: Taking taylor expansion of 2.30753 in x 0.310 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 0.310 * [taylor]: Taking taylor expansion of 0.27061 in x 0.310 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.310 * [taylor]: Taking taylor expansion of x in x 0.326 * * * [progress]: simplifying candidates 0.327 * [simplify]: Simplifying using # : (- (log (+ 2.30753 (* x 0.27061))) (log (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (log (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (exp (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (/ (* (* (+ 2.30753 (* x 0.27061)) (+ 2.30753 (* x 0.27061))) (+ 2.30753 (* x 0.27061))) (* (* (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (* (* (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (- (+ 2.30753 (* x 0.27061))) (- (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (* (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (/ (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (/ (cbrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) 1) (/ (cbrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (* (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (/ (sqrt (+ 2.30753 (* x 0.27061))) 1) (/ (sqrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (/ 1 (* (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (/ (+ 2.30753 (* x 0.27061)) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (/ 1 (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (/ 1 1) (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061))) (/ (+ 2.30753 (* x 0.27061)) (* (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (/ (+ 2.30753 (* x 0.27061)) 1) (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (cbrt (+ 2.30753 (* x 0.27061)))) (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (sqrt (+ 2.30753 (* x 0.27061)))) (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061))) (/ (+ 2.30753 (* x 0.27061)) (+ (pow 1.0 3) (pow (* x (+ 0.99229 (* x 0.04481))) 3))) (/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481)))))) (* (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ (* 2.30753 2.30753) (- (* (* x 0.27061) (* x 0.27061)) (* 2.30753 (* x 0.27061))))) (* (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (- 2.30753 (* x 0.27061))) (* x (+ 0.99229 (* x 0.04481))) (+ (log x) (log (+ 0.99229 (* x 0.04481)))) (log (* x (+ 0.99229 (* x 0.04481)))) (exp (* x (+ 0.99229 (* x 0.04481)))) (* (* (* x x) x) (* (* (+ 0.99229 (* x 0.04481)) (+ 0.99229 (* x 0.04481))) (+ 0.99229 (* x 0.04481)))) (* (cbrt (* x (+ 0.99229 (* x 0.04481)))) (cbrt (* x (+ 0.99229 (* x 0.04481))))) (cbrt (* x (+ 0.99229 (* x 0.04481)))) (* (* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481)))) (* x (+ 0.99229 (* x 0.04481)))) (sqrt (* x (+ 0.99229 (* x 0.04481)))) (sqrt (* x (+ 0.99229 (* x 0.04481)))) (* (sqrt x) (sqrt (+ 0.99229 (* x 0.04481)))) (* (sqrt x) (sqrt (+ 0.99229 (* x 0.04481)))) (* x 0.99229) (* x (* x 0.04481)) (* 0.99229 x) (* (* x 0.04481) x) (* x (* (cbrt (+ 0.99229 (* x 0.04481))) (cbrt (+ 0.99229 (* x 0.04481))))) (* x (sqrt (+ 0.99229 (* x 0.04481)))) (* x 1) (* (cbrt x) (+ 0.99229 (* x 0.04481))) (* (sqrt x) (+ 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)))) (/ (exp (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (exp x)) (log (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x)) (exp (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x)) (* (cbrt (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x)) (cbrt (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))) (cbrt (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x)) (* (* (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x) (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x)) (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x)) (sqrt (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x)) (sqrt (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x)) (- (pow (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) 3) (pow x 3)) (+ (* (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (+ (* x x) (* (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))) (- x) (- (* (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (* x x)) (+ (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x) (+ (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt x)) (- (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt x)) (+ (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt x)) (- (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt x)) (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x) (- x) (* (exp 2.30753) (exp (* x 0.27061))) (log (+ 2.30753 (* x 0.27061))) (exp (+ 2.30753 (* x 0.27061))) (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (cbrt (+ 2.30753 (* x 0.27061))) (* (* (+ 2.30753 (* x 0.27061)) (+ 2.30753 (* x 0.27061))) (+ 2.30753 (* x 0.27061))) (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 2.30753 (* x 0.27061))) (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (+ (* 2.30753 2.30753) (- (* (* x 0.27061) (* x 0.27061)) (* 2.30753 (* x 0.27061)))) (- (* 2.30753 2.30753) (* (* x 0.27061) (* x 0.27061))) (- 2.30753 (* x 0.27061)) (- (+ (* 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)) (- (+ (* 1.900161040244073 (pow x 2)) 2.30753) (* 3.0191289436999997 x)) (- (* 6.039053782637804 (/ 1 x)) (+ (* 82.23527511657369 (/ 1 (pow x 2))) x)) (- (* 6.039053782637804 (/ 1 x)) (+ (* 82.23527511657369 (/ 1 (pow x 2))) x)) (+ (* 0.27061 x) 2.30753) (+ (* 0.27061 x) 2.30753) (+ (* 0.27061 x) 2.30753) 0.333 * * [simplify]: iteration 0 : 441 enodes (cost 781 ) 0.341 * * [simplify]: iteration 1 : 1821 enodes (cost 736 ) 0.377 * * [simplify]: iteration 2 : 5002 enodes (cost 736 ) 0.381 * [simplify]: Simplified to: (log (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (log (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (exp (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (pow (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) 3) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (pow (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) 3) (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (- (+ 2.30753 (* x 0.27061))) (- (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (* (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (/ (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (/ (cbrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (/ (cbrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (* (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt (+ 2.30753 (* x 0.27061))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (/ 1 (* (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (/ (+ 2.30753 (* x 0.27061)) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (/ 1 (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) 1 (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061))) (/ (+ 2.30753 (* x 0.27061)) (* (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (+ 2.30753 (* x 0.27061)) (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (cbrt (+ 2.30753 (* x 0.27061)))) (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (sqrt (+ 2.30753 (* x 0.27061)))) (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 2.30753 (* x 0.27061))) (/ (+ 2.30753 (* x 0.27061)) (+ (pow 1.0 3) (pow (* x (+ 0.99229 (* x 0.04481))) 3))) (/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481)))))) (* (+ (* (* x 0.27061) (- (* x 0.27061) 2.30753)) (* 2.30753 2.30753)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (* (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (- 2.30753 (* x 0.27061))) (* x (+ 0.99229 (* x 0.04481))) (log (* x (+ 0.99229 (* x 0.04481)))) (log (* x (+ 0.99229 (* x 0.04481)))) (exp (* x (+ 0.99229 (* x 0.04481)))) (pow (* x (+ 0.99229 (* x 0.04481))) 3) (* (cbrt (* x (+ 0.99229 (* x 0.04481)))) (cbrt (* x (+ 0.99229 (* x 0.04481))))) (cbrt (* x (+ 0.99229 (* x 0.04481)))) (pow (* x (+ 0.99229 (* x 0.04481))) 3) (sqrt (* x (+ 0.99229 (* x 0.04481)))) (sqrt (* x (+ 0.99229 (* x 0.04481)))) (* (sqrt x) (sqrt (+ 0.99229 (* x 0.04481)))) (* (sqrt x) (sqrt (+ 0.99229 (* x 0.04481)))) (* x 0.99229) (* x (* x 0.04481)) (* x 0.99229) (* x (* x 0.04481)) (* x (* (cbrt (+ 0.99229 (* x 0.04481))) (cbrt (+ 0.99229 (* x 0.04481))))) (* x (sqrt (+ 0.99229 (* x 0.04481)))) x (* (cbrt x) (+ 0.99229 (* x 0.04481))) (* (sqrt x) (+ 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)))) (exp (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x)) (log (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x)) (exp (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x)) (* (cbrt (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x)) (cbrt (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))) (cbrt (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x)) (pow (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x) 3) (sqrt (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x)) (sqrt (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x)) (- (pow (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) 3) (pow x 3)) (+ (* x (+ x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (* (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (- x) (- (* (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (* x x)) (+ (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x) (+ (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt x)) (- (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt x)) (+ (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt x)) (- (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt x)) (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x) (- x) (exp (+ 2.30753 (* x 0.27061))) (log (+ 2.30753 (* x 0.27061))) (exp (+ 2.30753 (* x 0.27061))) (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (cbrt (+ 2.30753 (* x 0.27061))) (pow (+ 2.30753 (* x 0.27061)) 3) (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 2.30753 (* x 0.27061))) (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (+ (* (* x 0.27061) (- (* x 0.27061) 2.30753)) (* 2.30753 2.30753)) (- (* 2.30753 2.30753) (* (* x 0.27061) (* x 0.27061))) (- 2.30753 (* x 0.27061)) (- (+ (* 1.900161040244073 (pow x 2)) 2.30753) (* 2.0191289436999997 x)) (+ (- (* 1686.279566230464 (/ 1 (pow x 3))) (* 82.23527511657369 (/ 1 (pow x 2)))) (/ 6.039053782637804 x)) (+ (- (* 1686.279566230464 (/ 1 (pow x 3))) (* 82.23527511657369 (/ 1 (pow x 2)))) (/ 6.039053782637804 x)) (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481))) (- (+ (* 1.900161040244073 (pow x 2)) 2.30753) (* 3.0191289436999997 x)) (- (* 6.039053782637804 (/ 1 x)) (+ (* 82.23527511657369 (/ 1 (pow x 2))) x)) (- (* 6.039053782637804 (/ 1 x)) (+ (* 82.23527511657369 (/ 1 (pow x 2))) x)) (+ 2.30753 (* x 0.27061)) (+ 2.30753 (* x 0.27061)) (+ 2.30753 (* x 0.27061)) 0.381 * * * [progress]: adding candidates to table 0.573 * * [progress]: iteration 2 / 4 0.573 * * * [progress]: picking best candidate 0.577 * * * * [pick]: Picked # 0.577 * * * [progress]: localizing error 0.588 * * * [progress]: generating rewritten candidates 0.588 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 0.606 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 0.611 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 2) 0.618 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 0.632 * * * [progress]: generating series expansions 0.632 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 0.632 * [approximate]: Taking taylor expansion of (/ (+ (* 0.27061 x) 2.30753) (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in (x) around 0 0.632 * [taylor]: Taking taylor expansion of (/ (+ (* 0.27061 x) 2.30753) (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in x 0.632 * [taylor]: Taking taylor expansion of (+ (* 0.27061 x) 2.30753) in x 0.632 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x 0.632 * [taylor]: Taking taylor expansion of 0.27061 in x 0.632 * [taylor]: Taking taylor expansion of x in x 0.632 * [taylor]: Taking taylor expansion of 2.30753 in x 0.632 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x 0.632 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x 0.632 * [taylor]: Taking taylor expansion of 0.04481 in x 0.632 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.632 * [taylor]: Taking taylor expansion of x in x 0.632 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x 0.632 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x 0.632 * [taylor]: Taking taylor expansion of 0.99229 in x 0.632 * [taylor]: Taking taylor expansion of x in x 0.632 * [taylor]: Taking taylor expansion of 1.0 in x 0.634 * [taylor]: Taking taylor expansion of (/ (+ (* 0.27061 x) 2.30753) (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in x 0.634 * [taylor]: Taking taylor expansion of (+ (* 0.27061 x) 2.30753) in x 0.634 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x 0.634 * [taylor]: Taking taylor expansion of 0.27061 in x 0.634 * [taylor]: Taking taylor expansion of x in x 0.634 * [taylor]: Taking taylor expansion of 2.30753 in x 0.634 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x 0.634 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x 0.634 * [taylor]: Taking taylor expansion of 0.04481 in x 0.634 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.634 * [taylor]: Taking taylor expansion of x in x 0.634 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x 0.634 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x 0.634 * [taylor]: Taking taylor expansion of 0.99229 in x 0.634 * [taylor]: Taking taylor expansion of x in x 0.634 * [taylor]: Taking taylor expansion of 1.0 in x 0.646 * [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 0.646 * [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 0.646 * [taylor]: Taking taylor expansion of (+ (* 0.27061 (/ 1 x)) 2.30753) in x 0.646 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 0.646 * [taylor]: Taking taylor expansion of 0.27061 in x 0.646 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.646 * [taylor]: Taking taylor expansion of x in x 0.646 * [taylor]: Taking taylor expansion of 2.30753 in x 0.646 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x 0.647 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 0.647 * [taylor]: Taking taylor expansion of 0.04481 in x 0.647 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.647 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.647 * [taylor]: Taking taylor expansion of x in x 0.647 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x 0.647 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 0.647 * [taylor]: Taking taylor expansion of 0.99229 in x 0.647 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.647 * [taylor]: Taking taylor expansion of x in x 0.647 * [taylor]: Taking taylor expansion of 1.0 in x 0.649 * [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 0.649 * [taylor]: Taking taylor expansion of (+ (* 0.27061 (/ 1 x)) 2.30753) in x 0.649 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 0.649 * [taylor]: Taking taylor expansion of 0.27061 in x 0.649 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.649 * [taylor]: Taking taylor expansion of x in x 0.649 * [taylor]: Taking taylor expansion of 2.30753 in x 0.649 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x 0.649 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 0.649 * [taylor]: Taking taylor expansion of 0.04481 in x 0.649 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.649 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.649 * [taylor]: Taking taylor expansion of x in x 0.650 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x 0.650 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 0.650 * [taylor]: Taking taylor expansion of 0.99229 in x 0.650 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.650 * [taylor]: Taking taylor expansion of x in x 0.650 * [taylor]: Taking taylor expansion of 1.0 in x 0.664 * [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 0.664 * [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 0.664 * [taylor]: Taking taylor expansion of (- 2.30753 (* 0.27061 (/ 1 x))) in x 0.664 * [taylor]: Taking taylor expansion of 2.30753 in x 0.664 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 0.665 * [taylor]: Taking taylor expansion of 0.27061 in x 0.665 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.665 * [taylor]: Taking taylor expansion of x in x 0.665 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x 0.665 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x 0.665 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 0.665 * [taylor]: Taking taylor expansion of 0.04481 in x 0.665 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.665 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.665 * [taylor]: Taking taylor expansion of x in x 0.665 * [taylor]: Taking taylor expansion of 1.0 in x 0.665 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 0.665 * [taylor]: Taking taylor expansion of 0.99229 in x 0.665 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.665 * [taylor]: Taking taylor expansion of x in x 0.668 * [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 0.668 * [taylor]: Taking taylor expansion of (- 2.30753 (* 0.27061 (/ 1 x))) in x 0.668 * [taylor]: Taking taylor expansion of 2.30753 in x 0.668 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 0.668 * [taylor]: Taking taylor expansion of 0.27061 in x 0.668 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.668 * [taylor]: Taking taylor expansion of x in x 0.668 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x 0.668 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x 0.668 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 0.668 * [taylor]: Taking taylor expansion of 0.04481 in x 0.668 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.668 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.668 * [taylor]: Taking taylor expansion of x in x 0.669 * [taylor]: Taking taylor expansion of 1.0 in x 0.669 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 0.669 * [taylor]: Taking taylor expansion of 0.99229 in x 0.669 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.669 * [taylor]: Taking taylor expansion of x in x 0.686 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 0.686 * [approximate]: Taking taylor expansion of (/ 1 (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in (x) around 0 0.686 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in x 0.686 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x 0.686 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x 0.686 * [taylor]: Taking taylor expansion of 0.04481 in x 0.686 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.686 * [taylor]: Taking taylor expansion of x in x 0.686 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x 0.686 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x 0.686 * [taylor]: Taking taylor expansion of 0.99229 in x 0.686 * [taylor]: Taking taylor expansion of x in x 0.686 * [taylor]: Taking taylor expansion of 1.0 in x 0.687 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in x 0.687 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x 0.687 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x 0.687 * [taylor]: Taking taylor expansion of 0.04481 in x 0.687 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.687 * [taylor]: Taking taylor expansion of x in x 0.688 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x 0.688 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x 0.688 * [taylor]: Taking taylor expansion of 0.99229 in x 0.688 * [taylor]: Taking taylor expansion of x in x 0.688 * [taylor]: Taking taylor expansion of 1.0 in x 0.696 * [approximate]: Taking taylor expansion of (/ 1 (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0))) in (x) around 0 0.696 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0))) in x 0.696 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x 0.696 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 0.696 * [taylor]: Taking taylor expansion of 0.04481 in x 0.696 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.696 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.696 * [taylor]: Taking taylor expansion of x in x 0.697 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x 0.697 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 0.697 * [taylor]: Taking taylor expansion of 0.99229 in x 0.697 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.697 * [taylor]: Taking taylor expansion of x in x 0.697 * [taylor]: Taking taylor expansion of 1.0 in x 0.698 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0))) in x 0.698 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x 0.698 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 0.698 * [taylor]: Taking taylor expansion of 0.04481 in x 0.698 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.698 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.698 * [taylor]: Taking taylor expansion of x in x 0.698 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x 0.698 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 0.698 * [taylor]: Taking taylor expansion of 0.99229 in x 0.698 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.698 * [taylor]: Taking taylor expansion of x in x 0.699 * [taylor]: Taking taylor expansion of 1.0 in x 0.714 * [approximate]: Taking taylor expansion of (/ 1 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x)))) in (x) around 0 0.714 * [taylor]: Taking taylor expansion of (/ 1 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x)))) in x 0.714 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x 0.714 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x 0.714 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 0.714 * [taylor]: Taking taylor expansion of 0.04481 in x 0.714 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.714 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.714 * [taylor]: Taking taylor expansion of x in x 0.715 * [taylor]: Taking taylor expansion of 1.0 in x 0.715 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 0.715 * [taylor]: Taking taylor expansion of 0.99229 in x 0.715 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.715 * [taylor]: Taking taylor expansion of x in x 0.716 * [taylor]: Taking taylor expansion of (/ 1 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x)))) in x 0.716 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x 0.716 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x 0.716 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 0.716 * [taylor]: Taking taylor expansion of 0.04481 in x 0.716 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.716 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.716 * [taylor]: Taking taylor expansion of x in x 0.717 * [taylor]: Taking taylor expansion of 1.0 in x 0.717 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 0.717 * [taylor]: Taking taylor expansion of 0.99229 in x 0.717 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.717 * [taylor]: Taking taylor expansion of x in x 0.728 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 2) 0.728 * [approximate]: Taking taylor expansion of (* x (+ (* 0.04481 x) 0.99229)) in (x) around 0 0.729 * [taylor]: Taking taylor expansion of (* x (+ (* 0.04481 x) 0.99229)) in x 0.729 * [taylor]: Taking taylor expansion of x in x 0.729 * [taylor]: Taking taylor expansion of (+ (* 0.04481 x) 0.99229) in x 0.729 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x 0.729 * [taylor]: Taking taylor expansion of 0.04481 in x 0.729 * [taylor]: Taking taylor expansion of x in x 0.729 * [taylor]: Taking taylor expansion of 0.99229 in x 0.729 * [taylor]: Taking taylor expansion of (* x (+ (* 0.04481 x) 0.99229)) in x 0.729 * [taylor]: Taking taylor expansion of x in x 0.729 * [taylor]: Taking taylor expansion of (+ (* 0.04481 x) 0.99229) in x 0.729 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x 0.729 * [taylor]: Taking taylor expansion of 0.04481 in x 0.729 * [taylor]: Taking taylor expansion of x in x 0.729 * [taylor]: Taking taylor expansion of 0.99229 in x 0.746 * [approximate]: Taking taylor expansion of (/ (+ (* 0.04481 (/ 1 x)) 0.99229) x) in (x) around 0 0.746 * [taylor]: Taking taylor expansion of (/ (+ (* 0.04481 (/ 1 x)) 0.99229) x) in x 0.746 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 x)) 0.99229) in x 0.746 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 0.746 * [taylor]: Taking taylor expansion of 0.04481 in x 0.746 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.746 * [taylor]: Taking taylor expansion of x in x 0.746 * [taylor]: Taking taylor expansion of 0.99229 in x 0.746 * [taylor]: Taking taylor expansion of x in x 0.747 * [taylor]: Taking taylor expansion of (/ (+ (* 0.04481 (/ 1 x)) 0.99229) x) in x 0.747 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 x)) 0.99229) in x 0.747 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 0.747 * [taylor]: Taking taylor expansion of 0.04481 in x 0.747 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.747 * [taylor]: Taking taylor expansion of x in x 0.747 * [taylor]: Taking taylor expansion of 0.99229 in x 0.747 * [taylor]: Taking taylor expansion of x in x 0.763 * [approximate]: Taking taylor expansion of (* -1 (/ (- 0.99229 (* 0.04481 (/ 1 x))) x)) in (x) around 0 0.763 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.99229 (* 0.04481 (/ 1 x))) x)) in x 0.763 * [taylor]: Taking taylor expansion of -1 in x 0.763 * [taylor]: Taking taylor expansion of (/ (- 0.99229 (* 0.04481 (/ 1 x))) x) in x 0.763 * [taylor]: Taking taylor expansion of (- 0.99229 (* 0.04481 (/ 1 x))) in x 0.763 * [taylor]: Taking taylor expansion of 0.99229 in x 0.763 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 0.763 * [taylor]: Taking taylor expansion of 0.04481 in x 0.763 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.763 * [taylor]: Taking taylor expansion of x in x 0.763 * [taylor]: Taking taylor expansion of x in x 0.765 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.99229 (* 0.04481 (/ 1 x))) x)) in x 0.765 * [taylor]: Taking taylor expansion of -1 in x 0.765 * [taylor]: Taking taylor expansion of (/ (- 0.99229 (* 0.04481 (/ 1 x))) x) in x 0.765 * [taylor]: Taking taylor expansion of (- 0.99229 (* 0.04481 (/ 1 x))) in x 0.765 * [taylor]: Taking taylor expansion of 0.99229 in x 0.765 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 0.765 * [taylor]: Taking taylor expansion of 0.04481 in x 0.765 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.765 * [taylor]: Taking taylor expansion of x in x 0.765 * [taylor]: Taking taylor expansion of x in x 0.794 * * * * [progress]: [ 4 / 4 ] generating series at (2) 0.794 * [approximate]: 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))))) x) in (x) around 0 0.794 * [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))))) x) in x 0.794 * [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 0.794 * [taylor]: Taking taylor expansion of (* 2.30753 (/ 1 (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)))) in x 0.794 * [taylor]: Taking taylor expansion of 2.30753 in x 0.794 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in x 0.794 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x 0.794 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x 0.794 * [taylor]: Taking taylor expansion of 0.04481 in x 0.794 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.794 * [taylor]: Taking taylor expansion of x in x 0.794 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x 0.794 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x 0.794 * [taylor]: Taking taylor expansion of 0.99229 in x 0.794 * [taylor]: Taking taylor expansion of x in x 0.794 * [taylor]: Taking taylor expansion of 1.0 in x 0.795 * [taylor]: Taking taylor expansion of (* 0.27061 (/ x (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)))) in x 0.795 * [taylor]: Taking taylor expansion of 0.27061 in x 0.795 * [taylor]: Taking taylor expansion of (/ x (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in x 0.795 * [taylor]: Taking taylor expansion of x in x 0.795 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x 0.795 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x 0.796 * [taylor]: Taking taylor expansion of 0.04481 in x 0.796 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.796 * [taylor]: Taking taylor expansion of x in x 0.796 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x 0.796 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x 0.796 * [taylor]: Taking taylor expansion of 0.99229 in x 0.796 * [taylor]: Taking taylor expansion of x in x 0.796 * [taylor]: Taking taylor expansion of 1.0 in x 0.797 * [taylor]: Taking taylor expansion of x in x 0.797 * [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))))) x) in x 0.797 * [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 0.797 * [taylor]: Taking taylor expansion of (* 2.30753 (/ 1 (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)))) in x 0.797 * [taylor]: Taking taylor expansion of 2.30753 in x 0.797 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in x 0.797 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x 0.797 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x 0.797 * [taylor]: Taking taylor expansion of 0.04481 in x 0.797 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.797 * [taylor]: Taking taylor expansion of x in x 0.797 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x 0.797 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x 0.797 * [taylor]: Taking taylor expansion of 0.99229 in x 0.797 * [taylor]: Taking taylor expansion of x in x 0.797 * [taylor]: Taking taylor expansion of 1.0 in x 0.798 * [taylor]: Taking taylor expansion of (* 0.27061 (/ x (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)))) in x 0.798 * [taylor]: Taking taylor expansion of 0.27061 in x 0.798 * [taylor]: Taking taylor expansion of (/ x (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in x 0.798 * [taylor]: Taking taylor expansion of x in x 0.798 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x 0.798 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x 0.798 * [taylor]: Taking taylor expansion of 0.04481 in x 0.798 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.798 * [taylor]: Taking taylor expansion of x in x 0.798 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x 0.798 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x 0.798 * [taylor]: Taking taylor expansion of 0.99229 in x 0.798 * [taylor]: Taking taylor expansion of x in x 0.798 * [taylor]: Taking taylor expansion of 1.0 in x 0.799 * [taylor]: Taking taylor expansion of x in x 0.817 * [approximate]: 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)))) (/ 1 x)) in (x) around 0 0.817 * [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)))) (/ 1 x)) in x 0.817 * [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 0.817 * [taylor]: Taking taylor expansion of (* 2.30753 (/ 1 (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)))) in x 0.817 * [taylor]: Taking taylor expansion of 2.30753 in x 0.817 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0))) in x 0.817 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x 0.817 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 0.817 * [taylor]: Taking taylor expansion of 0.04481 in x 0.817 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.817 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.817 * [taylor]: Taking taylor expansion of x in x 0.818 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x 0.818 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 0.818 * [taylor]: Taking taylor expansion of 0.99229 in x 0.818 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.818 * [taylor]: Taking taylor expansion of x in x 0.818 * [taylor]: Taking taylor expansion of 1.0 in x 0.819 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 (* (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) x))) in x 0.819 * [taylor]: Taking taylor expansion of 0.27061 in x 0.819 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) x)) in x 0.819 * [taylor]: Taking taylor expansion of (* (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) x) in x 0.819 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x 0.819 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 0.819 * [taylor]: Taking taylor expansion of 0.04481 in x 0.819 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.819 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.819 * [taylor]: Taking taylor expansion of x in x 0.820 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x 0.820 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 0.820 * [taylor]: Taking taylor expansion of 0.99229 in x 0.820 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.820 * [taylor]: Taking taylor expansion of x in x 0.820 * [taylor]: Taking taylor expansion of 1.0 in x 0.820 * [taylor]: Taking taylor expansion of x in x 0.824 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.824 * [taylor]: Taking taylor expansion of x in x 0.824 * [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)))) (/ 1 x)) in x 0.824 * [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 0.824 * [taylor]: Taking taylor expansion of (* 2.30753 (/ 1 (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)))) in x 0.824 * [taylor]: Taking taylor expansion of 2.30753 in x 0.824 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0))) in x 0.824 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x 0.824 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 0.824 * [taylor]: Taking taylor expansion of 0.04481 in x 0.824 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.824 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.824 * [taylor]: Taking taylor expansion of x in x 0.825 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x 0.825 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 0.825 * [taylor]: Taking taylor expansion of 0.99229 in x 0.825 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.825 * [taylor]: Taking taylor expansion of x in x 0.825 * [taylor]: Taking taylor expansion of 1.0 in x 0.826 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 (* (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) x))) in x 0.826 * [taylor]: Taking taylor expansion of 0.27061 in x 0.826 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) x)) in x 0.826 * [taylor]: Taking taylor expansion of (* (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) x) in x 0.826 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x 0.826 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 0.826 * [taylor]: Taking taylor expansion of 0.04481 in x 0.826 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.826 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.826 * [taylor]: Taking taylor expansion of x in x 0.827 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x 0.827 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 0.827 * [taylor]: Taking taylor expansion of 0.99229 in x 0.827 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.827 * [taylor]: Taking taylor expansion of x in x 0.827 * [taylor]: Taking taylor expansion of 1.0 in x 0.827 * [taylor]: Taking taylor expansion of x in x 0.831 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.831 * [taylor]: Taking taylor expansion of x in x 0.843 * [approximate]: Taking taylor expansion of (- (+ (/ 1 x) (* 2.30753 (/ 1 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x)))))) (* 0.27061 (/ 1 (* (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) x)))) in (x) around 0 0.844 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (* 2.30753 (/ 1 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x)))))) (* 0.27061 (/ 1 (* (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) x)))) in x 0.844 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 2.30753 (/ 1 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x)))))) in x 0.844 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.844 * [taylor]: Taking taylor expansion of x in x 0.844 * [taylor]: Taking taylor expansion of (* 2.30753 (/ 1 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))))) in x 0.844 * [taylor]: Taking taylor expansion of 2.30753 in x 0.844 * [taylor]: Taking taylor expansion of (/ 1 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x)))) in x 0.844 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x 0.844 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x 0.844 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 0.844 * [taylor]: Taking taylor expansion of 0.04481 in x 0.844 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.844 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.844 * [taylor]: Taking taylor expansion of x in x 0.845 * [taylor]: Taking taylor expansion of 1.0 in x 0.845 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 0.845 * [taylor]: Taking taylor expansion of 0.99229 in x 0.845 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.845 * [taylor]: Taking taylor expansion of x in x 0.846 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 (* (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) x))) in x 0.846 * [taylor]: Taking taylor expansion of 0.27061 in x 0.846 * [taylor]: Taking taylor expansion of (/ 1 (* (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) x)) in x 0.846 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) x) in x 0.846 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x 0.846 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x 0.846 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 0.846 * [taylor]: Taking taylor expansion of 0.04481 in x 0.846 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.846 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.846 * [taylor]: Taking taylor expansion of x in x 0.847 * [taylor]: Taking taylor expansion of 1.0 in x 0.847 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 0.847 * [taylor]: Taking taylor expansion of 0.99229 in x 0.847 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.847 * [taylor]: Taking taylor expansion of x in x 0.847 * [taylor]: Taking taylor expansion of x in x 0.852 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (* 2.30753 (/ 1 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x)))))) (* 0.27061 (/ 1 (* (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) x)))) in x 0.852 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (* 2.30753 (/ 1 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x)))))) in x 0.852 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.852 * [taylor]: Taking taylor expansion of x in x 0.852 * [taylor]: Taking taylor expansion of (* 2.30753 (/ 1 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))))) in x 0.852 * [taylor]: Taking taylor expansion of 2.30753 in x 0.852 * [taylor]: Taking taylor expansion of (/ 1 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x)))) in x 0.852 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x 0.852 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x 0.852 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 0.852 * [taylor]: Taking taylor expansion of 0.04481 in x 0.852 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.852 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.852 * [taylor]: Taking taylor expansion of x in x 0.853 * [taylor]: Taking taylor expansion of 1.0 in x 0.853 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 0.853 * [taylor]: Taking taylor expansion of 0.99229 in x 0.853 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.853 * [taylor]: Taking taylor expansion of x in x 0.854 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 (* (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) x))) in x 0.854 * [taylor]: Taking taylor expansion of 0.27061 in x 0.854 * [taylor]: Taking taylor expansion of (/ 1 (* (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) x)) in x 0.854 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) x) in x 0.854 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x 0.854 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x 0.854 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 0.854 * [taylor]: Taking taylor expansion of 0.04481 in x 0.854 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.854 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.854 * [taylor]: Taking taylor expansion of x in x 0.855 * [taylor]: Taking taylor expansion of 1.0 in x 0.855 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 0.855 * [taylor]: Taking taylor expansion of 0.99229 in x 0.855 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.855 * [taylor]: Taking taylor expansion of x in x 0.855 * [taylor]: Taking taylor expansion of x in x 0.878 * * * [progress]: simplifying candidates 0.880 * [simplify]: Simplifying using # : (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (+ (log (+ 2.30753 (* x 0.27061))) (- (log (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (+ (log (+ 2.30753 (* x 0.27061))) (- 0 (log (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (+ (log (+ 2.30753 (* x 0.27061))) (- (log 1) (log (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (+ (log (+ 2.30753 (* x 0.27061))) (log (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (log (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (exp (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (* (* (* (+ 2.30753 (* x 0.27061)) (+ 2.30753 (* x 0.27061))) (+ 2.30753 (* x 0.27061))) (/ (* (* 1 1) 1) (* (* (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (* (* (* (+ 2.30753 (* x 0.27061)) (+ 2.30753 (* x 0.27061))) (+ 2.30753 (* x 0.27061))) (* (* (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (* (cbrt (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (cbrt (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))) (cbrt (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (* (* (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (sqrt (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (sqrt (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (* (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) 1) (* (+ (* 2.30753 2.30753) (- (* (* x 0.27061) (* x 0.27061)) (* 2.30753 (* x 0.27061)))) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (* (- (* 2.30753 2.30753) (* (* x 0.27061) (* x 0.27061))) 1) (* (- 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (* (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (* (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (* (sqrt (+ 2.30753 (* x 0.27061))) (/ (sqrt 1) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (* (sqrt (+ 2.30753 (* x 0.27061))) (/ (sqrt 1) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (* (sqrt (+ 2.30753 (* x 0.27061))) (/ 1 (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (* (sqrt (+ 2.30753 (* x 0.27061))) (/ 1 (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (* (+ 2.30753 (* x 0.27061)) (* (cbrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (cbrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))) (* (+ 2.30753 (* x 0.27061)) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (* (+ 2.30753 (* x 0.27061)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))) (* (+ 2.30753 (* x 0.27061)) (/ (* (cbrt 1) (cbrt 1)) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (* (+ 2.30753 (* x 0.27061)) (/ (* (cbrt 1) (cbrt 1)) 1)) (* (+ 2.30753 (* x 0.27061)) (/ (sqrt 1) (* (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))) (* (+ 2.30753 (* x 0.27061)) (/ (sqrt 1) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (* (+ 2.30753 (* x 0.27061)) (/ (sqrt 1) 1)) (* (+ 2.30753 (* x 0.27061)) (/ 1 (* (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))) (* (+ 2.30753 (* x 0.27061)) (/ 1 (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (* (+ 2.30753 (* x 0.27061)) (/ 1 1)) (* (+ 2.30753 (* x 0.27061)) 1) (* (+ 2.30753 (* x 0.27061)) 1) (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ (pow 1.0 3) (pow (* x (+ 0.99229 (* x 0.04481))) 3)))) (* (+ 2.30753 (* x 0.27061)) (/ 1 (- (* 1.0 1.0) (* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481))))))) (* (cbrt (+ 2.30753 (* x 0.27061))) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (* (sqrt (+ 2.30753 (* x 0.27061))) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (* (+ 2.30753 (* x 0.27061)) 1) (* (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (* (- (* 2.30753 2.30753) (* (* x 0.27061) (* x 0.27061))) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (- 1) (- (log (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (- 0 (log (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (- (log 1) (log (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (log (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (exp (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (/ (* (* 1 1) 1) (* (* (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (* (cbrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (cbrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (cbrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (* (* (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (- 1) (- (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (/ (cbrt 1) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (/ (cbrt 1) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (/ (sqrt 1) (* (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (/ (sqrt 1) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (/ (sqrt 1) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (/ (sqrt 1) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (/ (sqrt 1) 1) (/ (sqrt 1) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (/ 1 (* (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (/ 1 (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (/ 1 (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (/ 1 (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (/ 1 1) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) 1) (/ 1 (* (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (/ 1 (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (/ 1 1) (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (cbrt 1)) (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (sqrt 1)) (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) 1) (/ 1 (+ (pow 1.0 3) (pow (* x (+ 0.99229 (* x 0.04481))) 3))) (/ 1 (- (* 1.0 1.0) (* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481)))))) (* x (+ 0.99229 (* x 0.04481))) (+ (log x) (log (+ 0.99229 (* x 0.04481)))) (log (* x (+ 0.99229 (* x 0.04481)))) (exp (* x (+ 0.99229 (* x 0.04481)))) (* (* (* x x) x) (* (* (+ 0.99229 (* x 0.04481)) (+ 0.99229 (* x 0.04481))) (+ 0.99229 (* x 0.04481)))) (* (cbrt (* x (+ 0.99229 (* x 0.04481)))) (cbrt (* x (+ 0.99229 (* x 0.04481))))) (cbrt (* x (+ 0.99229 (* x 0.04481)))) (* (* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481)))) (* x (+ 0.99229 (* x 0.04481)))) (sqrt (* x (+ 0.99229 (* x 0.04481)))) (sqrt (* x (+ 0.99229 (* x 0.04481)))) (* (sqrt x) (sqrt (+ 0.99229 (* x 0.04481)))) (* (sqrt x) (sqrt (+ 0.99229 (* x 0.04481)))) (* x 0.99229) (* x (* x 0.04481)) (* 0.99229 x) (* (* x 0.04481) x) (* x (* (cbrt (+ 0.99229 (* x 0.04481))) (cbrt (+ 0.99229 (* x 0.04481))))) (* x (sqrt (+ 0.99229 (* x 0.04481)))) (* x 1) (* (cbrt x) (+ 0.99229 (* x 0.04481))) (* (sqrt x) (+ 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)))) (/ (exp (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (exp x)) (log (- (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) x)) (exp (- (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) x)) (* (cbrt (- (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) x)) (cbrt (- (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) x))) (cbrt (- (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) x)) (* (* (- (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) x) (- (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) x)) (- (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) x)) (sqrt (- (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) x)) (sqrt (- (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) x)) (- (pow (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) 3) (pow x 3)) (+ (* (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (+ (* x x) (* (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) x))) (- x) (- (* (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (* x x)) (+ (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) x) (- 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.9398294441 (pow x 2)) 1.0) (* 0.99229 x)) (- (+ (* 22.31644722160232 (/ 1 (pow x 2))) (* 10445.379305927861 (/ 1 (pow x 4)))) (* 494.18405296861783 (/ 1 (pow x 3)))) (- (+ (* 22.31644722160232 (/ 1 (pow x 2))) (* 10445.379305927861 (/ 1 (pow x 4)))) (* 494.18405296861783 (/ 1 (pow x 3)))) (+ (* 0.04481 (pow x 2)) (* 0.99229 x)) (+ (* 0.04481 (pow x 2)) (* 0.99229 x)) (+ (* 0.04481 (pow x 2)) (* 0.99229 x)) (- (+ (* 1.900161040244073 (pow x 2)) 2.30753) (* 3.0191289436999997 x)) (- (* 6.039053782637804 (/ 1 x)) (+ (* 82.23527511657369 (/ 1 (pow x 2))) x)) (- (* 6.039053782637804 (/ 1 x)) (+ (* 82.23527511657369 (/ 1 (pow x 2))) x)) 0.888 * * [simplify]: iteration 0 : 583 enodes (cost 1083 ) 0.900 * * [simplify]: iteration 1 : 2874 enodes (cost 976 ) 0.951 * * [simplify]: iteration 2 : 5002 enodes (cost 949 ) 0.955 * [simplify]: Simplified to: (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (- (log (+ 2.30753 (* x 0.27061))) (log (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (- (log (+ 2.30753 (* x 0.27061))) (log (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (- (log (+ 2.30753 (* x 0.27061))) (log (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (- (log (+ 2.30753 (* x 0.27061))) (log (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (- (log (+ 2.30753 (* x 0.27061))) (log (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (exp (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (pow (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) 3) (pow (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) 3) (* (cbrt (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (cbrt (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))) (cbrt (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (pow (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) 3) (sqrt (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (sqrt (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (* (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ (* (* x 0.27061) (- (* x 0.27061) 2.30753)) (* 2.30753 2.30753))) (- (* 2.30753 2.30753) (* (* x 0.27061) (* x 0.27061))) (* (- 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (* (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (* (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (/ (* (sqrt (+ 2.30753 (* x 0.27061))) 1) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (/ (* (sqrt (+ 2.30753 (* x 0.27061))) 1) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (/ (* (sqrt (+ 2.30753 (* x 0.27061))) 1) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (/ (* (sqrt (+ 2.30753 (* x 0.27061))) 1) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (* (+ 2.30753 (* x 0.27061)) (* (cbrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (cbrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))) (* (+ 2.30753 (* x 0.27061)) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (/ (+ 2.30753 (* x 0.27061)) (* (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (+ 2.30753 (* x 0.27061)) (/ (+ 2.30753 (* x 0.27061)) (* (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (+ 2.30753 (* x 0.27061)) (/ (+ 2.30753 (* x 0.27061)) (* (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (+ 2.30753 (* x 0.27061)) (+ 2.30753 (* x 0.27061)) (+ 2.30753 (* x 0.27061)) (/ (+ 2.30753 (* x 0.27061)) (+ (pow 1.0 3) (pow (* x (+ 0.99229 (* x 0.04481))) 3))) (/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481)))))) (/ (cbrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (+ 2.30753 (* x 0.27061)) (/ (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (/ (- (* 2.30753 2.30753) (* (* x 0.27061) (* x 0.27061))) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (- 1) (log (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (log (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (log (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (log (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (exp (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (pow (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) 3) (* (cbrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (cbrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (cbrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (pow (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) 3) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (- 1) (- (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (/ 1 (* (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (/ 1 (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (/ 1 (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (/ 1 (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) 1 (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (/ 1 (* (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (/ 1 (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (/ 1 (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (/ 1 (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) 1 (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (/ 1 (* (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (/ 1 (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (/ 1 (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (/ 1 (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) 1 (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (/ 1 (* (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (/ 1 (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (/ 1 (+ (pow 1.0 3) (pow (* x (+ 0.99229 (* x 0.04481))) 3))) (/ 1 (- (* 1.0 1.0) (* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481)))))) (* x (+ 0.99229 (* x 0.04481))) (log (* x (+ 0.99229 (* x 0.04481)))) (log (* x (+ 0.99229 (* x 0.04481)))) (exp (* x (+ 0.99229 (* x 0.04481)))) (pow (* x (+ 0.99229 (* x 0.04481))) 3) (* (cbrt (* x (+ 0.99229 (* x 0.04481)))) (cbrt (* x (+ 0.99229 (* x 0.04481))))) (cbrt (* x (+ 0.99229 (* x 0.04481)))) (pow (* x (+ 0.99229 (* x 0.04481))) 3) (sqrt (* x (+ 0.99229 (* x 0.04481)))) (sqrt (* x (+ 0.99229 (* x 0.04481)))) (* (sqrt x) (sqrt (+ 0.99229 (* x 0.04481)))) (* (sqrt x) (sqrt (+ 0.99229 (* x 0.04481)))) (* x 0.99229) (* x (* x 0.04481)) (* x 0.99229) (* x (* x 0.04481)) (* x (* (cbrt (+ 0.99229 (* x 0.04481))) (cbrt (+ 0.99229 (* x 0.04481))))) (* x (sqrt (+ 0.99229 (* x 0.04481)))) x (* (cbrt x) (+ 0.99229 (* x 0.04481))) (* (sqrt x) (+ 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)))) (exp (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x)) (log (- (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) x)) (exp (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x)) (* (cbrt (- (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) x)) (cbrt (- (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) x))) (cbrt (- (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) x)) (pow (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x) 3) (sqrt (- (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) x)) (sqrt (- (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) x)) (- (pow (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) 3) (pow x 3)) (+ (* x (+ x (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))) (* (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))) (- x) (* (+ (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x) (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x)) (+ (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x) (- x) (- (+ (* 1.900161040244073 (pow x 2)) 2.30753) (* 2.0191289436999997 x)) (+ (- (* 1686.279566230464 (/ 1 (pow x 3))) (* 82.23527511657369 (/ 1 (pow x 2)))) (/ 6.039053782637804 x)) (+ (- (* 1686.279566230464 (/ 1 (pow x 3))) (* 82.23527511657369 (/ 1 (pow x 2)))) (/ 6.039053782637804 x)) (- (+ (* 0.9398294441 (pow x 2)) 1.0) (* 0.99229 x)) (+ (- (* 10445.379305927861 (/ 1 (pow x 4))) (* 494.18405296861783 (/ 1 (pow x 3)))) (/ (/ 22.31644722160232 x) x)) (+ (- (* 10445.379305927861 (/ 1 (pow x 4))) (* 494.18405296861783 (/ 1 (pow x 3)))) (/ (/ 22.31644722160232 x) x)) (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481))) (- (+ (* 1.900161040244073 (pow x 2)) 2.30753) (* 3.0191289436999997 x)) (- (* 6.039053782637804 (/ 1 x)) (+ (* 82.23527511657369 (/ 1 (pow x 2))) x)) (- (* 6.039053782637804 (/ 1 x)) (+ (* 82.23527511657369 (/ 1 (pow x 2))) x)) 0.956 * * * [progress]: adding candidates to table 1.192 * * [progress]: iteration 3 / 4 1.192 * * * [progress]: picking best candidate 1.194 * * * * [pick]: Picked # 1.194 * * * [progress]: localizing error 1.209 * * * [progress]: generating rewritten candidates 1.209 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 1.253 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2) 1.261 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1) 1.266 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 1) 1.275 * * * [progress]: generating series expansions 1.275 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 1.275 * [approximate]: Taking taylor expansion of (/ (+ (* 0.27061 x) 2.30753) (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in (x) around 0 1.275 * [taylor]: Taking taylor expansion of (/ (+ (* 0.27061 x) 2.30753) (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in x 1.275 * [taylor]: Taking taylor expansion of (+ (* 0.27061 x) 2.30753) in x 1.275 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x 1.275 * [taylor]: Taking taylor expansion of 0.27061 in x 1.275 * [taylor]: Taking taylor expansion of x in x 1.275 * [taylor]: Taking taylor expansion of 2.30753 in x 1.275 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x 1.275 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x 1.275 * [taylor]: Taking taylor expansion of 0.04481 in x 1.275 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.275 * [taylor]: Taking taylor expansion of x in x 1.275 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x 1.275 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x 1.275 * [taylor]: Taking taylor expansion of 0.99229 in x 1.275 * [taylor]: Taking taylor expansion of x in x 1.275 * [taylor]: Taking taylor expansion of 1.0 in x 1.277 * [taylor]: Taking taylor expansion of (/ (+ (* 0.27061 x) 2.30753) (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in x 1.277 * [taylor]: Taking taylor expansion of (+ (* 0.27061 x) 2.30753) in x 1.277 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x 1.277 * [taylor]: Taking taylor expansion of 0.27061 in x 1.277 * [taylor]: Taking taylor expansion of x in x 1.277 * [taylor]: Taking taylor expansion of 2.30753 in x 1.277 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x 1.277 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x 1.277 * [taylor]: Taking taylor expansion of 0.04481 in x 1.277 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.277 * [taylor]: Taking taylor expansion of x in x 1.277 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x 1.277 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x 1.277 * [taylor]: Taking taylor expansion of 0.99229 in x 1.277 * [taylor]: Taking taylor expansion of x in x 1.277 * [taylor]: Taking taylor expansion of 1.0 in x 1.290 * [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 1.290 * [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 1.290 * [taylor]: Taking taylor expansion of (+ (* 0.27061 (/ 1 x)) 2.30753) in x 1.290 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 1.290 * [taylor]: Taking taylor expansion of 0.27061 in x 1.290 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.290 * [taylor]: Taking taylor expansion of x in x 1.291 * [taylor]: Taking taylor expansion of 2.30753 in x 1.291 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x 1.291 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 1.291 * [taylor]: Taking taylor expansion of 0.04481 in x 1.291 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.291 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.291 * [taylor]: Taking taylor expansion of x in x 1.291 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x 1.291 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 1.291 * [taylor]: Taking taylor expansion of 0.99229 in x 1.291 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.291 * [taylor]: Taking taylor expansion of x in x 1.291 * [taylor]: Taking taylor expansion of 1.0 in x 1.293 * [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 1.293 * [taylor]: Taking taylor expansion of (+ (* 0.27061 (/ 1 x)) 2.30753) in x 1.293 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 1.293 * [taylor]: Taking taylor expansion of 0.27061 in x 1.293 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.293 * [taylor]: Taking taylor expansion of x in x 1.293 * [taylor]: Taking taylor expansion of 2.30753 in x 1.293 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x 1.293 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 1.293 * [taylor]: Taking taylor expansion of 0.04481 in x 1.293 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.293 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.293 * [taylor]: Taking taylor expansion of x in x 1.294 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x 1.294 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 1.294 * [taylor]: Taking taylor expansion of 0.99229 in x 1.294 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.294 * [taylor]: Taking taylor expansion of x in x 1.294 * [taylor]: Taking taylor expansion of 1.0 in x 1.309 * [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 1.309 * [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 1.309 * [taylor]: Taking taylor expansion of (- 2.30753 (* 0.27061 (/ 1 x))) in x 1.309 * [taylor]: Taking taylor expansion of 2.30753 in x 1.309 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 1.309 * [taylor]: Taking taylor expansion of 0.27061 in x 1.309 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.309 * [taylor]: Taking taylor expansion of x in x 1.309 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x 1.309 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x 1.309 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 1.309 * [taylor]: Taking taylor expansion of 0.04481 in x 1.309 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.309 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.309 * [taylor]: Taking taylor expansion of x in x 1.310 * [taylor]: Taking taylor expansion of 1.0 in x 1.310 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 1.310 * [taylor]: Taking taylor expansion of 0.99229 in x 1.310 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.310 * [taylor]: Taking taylor expansion of x in x 1.312 * [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 1.312 * [taylor]: Taking taylor expansion of (- 2.30753 (* 0.27061 (/ 1 x))) in x 1.312 * [taylor]: Taking taylor expansion of 2.30753 in x 1.312 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 1.312 * [taylor]: Taking taylor expansion of 0.27061 in x 1.312 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.312 * [taylor]: Taking taylor expansion of x in x 1.313 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x 1.313 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x 1.313 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 1.313 * [taylor]: Taking taylor expansion of 0.04481 in x 1.313 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.313 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.313 * [taylor]: Taking taylor expansion of x in x 1.313 * [taylor]: Taking taylor expansion of 1.0 in x 1.313 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 1.313 * [taylor]: Taking taylor expansion of 0.99229 in x 1.313 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.313 * [taylor]: Taking taylor expansion of x in x 1.331 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2) 1.331 * [approximate]: Taking taylor expansion of (sqrt (/ 1 (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)))) in (x) around 0 1.331 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)))) in x 1.331 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in x 1.331 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x 1.331 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x 1.331 * [taylor]: Taking taylor expansion of 0.04481 in x 1.331 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.331 * [taylor]: Taking taylor expansion of x in x 1.331 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x 1.331 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x 1.331 * [taylor]: Taking taylor expansion of 0.99229 in x 1.331 * [taylor]: Taking taylor expansion of x in x 1.331 * [taylor]: Taking taylor expansion of 1.0 in x 1.341 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)))) in x 1.341 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in x 1.341 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x 1.341 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x 1.341 * [taylor]: Taking taylor expansion of 0.04481 in x 1.341 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.341 * [taylor]: Taking taylor expansion of x in x 1.341 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x 1.341 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x 1.341 * [taylor]: Taking taylor expansion of 0.99229 in x 1.341 * [taylor]: Taking taylor expansion of x in x 1.341 * [taylor]: Taking taylor expansion of 1.0 in x 1.364 * [approximate]: Taking taylor expansion of (sqrt (/ 1 (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)))) in (x) around 0 1.364 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)))) in x 1.364 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0))) in x 1.364 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x 1.364 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 1.364 * [taylor]: Taking taylor expansion of 0.04481 in x 1.364 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.364 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.364 * [taylor]: Taking taylor expansion of x in x 1.365 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x 1.365 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 1.365 * [taylor]: Taking taylor expansion of 0.99229 in x 1.365 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.365 * [taylor]: Taking taylor expansion of x in x 1.365 * [taylor]: Taking taylor expansion of 1.0 in x 1.371 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)))) in x 1.371 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0))) in x 1.371 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x 1.371 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 1.371 * [taylor]: Taking taylor expansion of 0.04481 in x 1.371 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.371 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.371 * [taylor]: Taking taylor expansion of x in x 1.371 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x 1.371 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 1.371 * [taylor]: Taking taylor expansion of 0.99229 in x 1.371 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.371 * [taylor]: Taking taylor expansion of x in x 1.372 * [taylor]: Taking taylor expansion of 1.0 in x 1.395 * [approximate]: Taking taylor expansion of (sqrt (/ 1 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))))) in (x) around 0 1.395 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))))) in x 1.395 * [taylor]: Taking taylor expansion of (/ 1 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x)))) in x 1.395 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x 1.395 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x 1.395 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 1.395 * [taylor]: Taking taylor expansion of 0.04481 in x 1.395 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.396 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.396 * [taylor]: Taking taylor expansion of x in x 1.396 * [taylor]: Taking taylor expansion of 1.0 in x 1.396 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 1.396 * [taylor]: Taking taylor expansion of 0.99229 in x 1.396 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.396 * [taylor]: Taking taylor expansion of x in x 1.403 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))))) in x 1.403 * [taylor]: Taking taylor expansion of (/ 1 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x)))) in x 1.403 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x 1.403 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x 1.403 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 1.403 * [taylor]: Taking taylor expansion of 0.04481 in x 1.403 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.403 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.403 * [taylor]: Taking taylor expansion of x in x 1.404 * [taylor]: Taking taylor expansion of 1.0 in x 1.404 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 1.404 * [taylor]: Taking taylor expansion of 0.99229 in x 1.404 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.404 * [taylor]: Taking taylor expansion of x in x 1.435 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1) 1.436 * [approximate]: Taking taylor expansion of (sqrt (/ 1 (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)))) in (x) around 0 1.436 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)))) in x 1.436 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in x 1.436 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x 1.436 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x 1.436 * [taylor]: Taking taylor expansion of 0.04481 in x 1.436 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.436 * [taylor]: Taking taylor expansion of x in x 1.436 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x 1.436 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x 1.436 * [taylor]: Taking taylor expansion of 0.99229 in x 1.436 * [taylor]: Taking taylor expansion of x in x 1.436 * [taylor]: Taking taylor expansion of 1.0 in x 1.441 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)))) in x 1.441 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in x 1.441 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x 1.441 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x 1.441 * [taylor]: Taking taylor expansion of 0.04481 in x 1.441 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.441 * [taylor]: Taking taylor expansion of x in x 1.441 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x 1.441 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x 1.441 * [taylor]: Taking taylor expansion of 0.99229 in x 1.441 * [taylor]: Taking taylor expansion of x in x 1.441 * [taylor]: Taking taylor expansion of 1.0 in x 1.463 * [approximate]: Taking taylor expansion of (sqrt (/ 1 (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)))) in (x) around 0 1.464 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)))) in x 1.464 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0))) in x 1.464 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x 1.464 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 1.464 * [taylor]: Taking taylor expansion of 0.04481 in x 1.464 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.464 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.464 * [taylor]: Taking taylor expansion of x in x 1.464 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x 1.464 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 1.464 * [taylor]: Taking taylor expansion of 0.99229 in x 1.464 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.464 * [taylor]: Taking taylor expansion of x in x 1.464 * [taylor]: Taking taylor expansion of 1.0 in x 1.470 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)))) in x 1.470 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0))) in x 1.470 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x 1.470 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 1.470 * [taylor]: Taking taylor expansion of 0.04481 in x 1.470 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.470 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.470 * [taylor]: Taking taylor expansion of x in x 1.471 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x 1.471 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 1.471 * [taylor]: Taking taylor expansion of 0.99229 in x 1.471 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.471 * [taylor]: Taking taylor expansion of x in x 1.471 * [taylor]: Taking taylor expansion of 1.0 in x 1.495 * [approximate]: Taking taylor expansion of (sqrt (/ 1 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))))) in (x) around 0 1.495 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))))) in x 1.495 * [taylor]: Taking taylor expansion of (/ 1 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x)))) in x 1.495 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x 1.495 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x 1.495 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 1.495 * [taylor]: Taking taylor expansion of 0.04481 in x 1.495 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.495 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.495 * [taylor]: Taking taylor expansion of x in x 1.496 * [taylor]: Taking taylor expansion of 1.0 in x 1.496 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 1.496 * [taylor]: Taking taylor expansion of 0.99229 in x 1.496 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.496 * [taylor]: Taking taylor expansion of x in x 1.508 * [taylor]: Taking taylor expansion of (sqrt (/ 1 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))))) in x 1.509 * [taylor]: Taking taylor expansion of (/ 1 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x)))) in x 1.509 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x 1.509 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x 1.509 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 1.509 * [taylor]: Taking taylor expansion of 0.04481 in x 1.509 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.509 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.509 * [taylor]: Taking taylor expansion of x in x 1.509 * [taylor]: Taking taylor expansion of 1.0 in x 1.509 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 1.509 * [taylor]: Taking taylor expansion of 0.99229 in x 1.509 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.509 * [taylor]: Taking taylor expansion of x in x 1.535 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 1) 1.535 * [approximate]: Taking taylor expansion of (/ 1 (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in (x) around 0 1.535 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in x 1.535 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x 1.535 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x 1.535 * [taylor]: Taking taylor expansion of 0.04481 in x 1.535 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.535 * [taylor]: Taking taylor expansion of x in x 1.535 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x 1.535 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x 1.535 * [taylor]: Taking taylor expansion of 0.99229 in x 1.535 * [taylor]: Taking taylor expansion of x in x 1.535 * [taylor]: Taking taylor expansion of 1.0 in x 1.536 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in x 1.536 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x 1.536 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x 1.536 * [taylor]: Taking taylor expansion of 0.04481 in x 1.536 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.536 * [taylor]: Taking taylor expansion of x in x 1.536 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x 1.536 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x 1.536 * [taylor]: Taking taylor expansion of 0.99229 in x 1.536 * [taylor]: Taking taylor expansion of x in x 1.536 * [taylor]: Taking taylor expansion of 1.0 in x 1.545 * [approximate]: Taking taylor expansion of (/ 1 (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0))) in (x) around 0 1.545 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0))) in x 1.545 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x 1.545 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 1.545 * [taylor]: Taking taylor expansion of 0.04481 in x 1.545 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.545 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.545 * [taylor]: Taking taylor expansion of x in x 1.546 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x 1.546 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 1.546 * [taylor]: Taking taylor expansion of 0.99229 in x 1.546 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.546 * [taylor]: Taking taylor expansion of x in x 1.546 * [taylor]: Taking taylor expansion of 1.0 in x 1.547 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0))) in x 1.547 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x 1.547 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 1.547 * [taylor]: Taking taylor expansion of 0.04481 in x 1.547 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.547 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.547 * [taylor]: Taking taylor expansion of x in x 1.548 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x 1.548 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 1.548 * [taylor]: Taking taylor expansion of 0.99229 in x 1.548 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.548 * [taylor]: Taking taylor expansion of x in x 1.548 * [taylor]: Taking taylor expansion of 1.0 in x 1.559 * [approximate]: Taking taylor expansion of (/ 1 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x)))) in (x) around 0 1.559 * [taylor]: Taking taylor expansion of (/ 1 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x)))) in x 1.559 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x 1.559 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x 1.559 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 1.559 * [taylor]: Taking taylor expansion of 0.04481 in x 1.559 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.559 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.559 * [taylor]: Taking taylor expansion of x in x 1.559 * [taylor]: Taking taylor expansion of 1.0 in x 1.559 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 1.559 * [taylor]: Taking taylor expansion of 0.99229 in x 1.559 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.559 * [taylor]: Taking taylor expansion of x in x 1.561 * [taylor]: Taking taylor expansion of (/ 1 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x)))) in x 1.561 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x 1.561 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x 1.561 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 1.561 * [taylor]: Taking taylor expansion of 0.04481 in x 1.561 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.561 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.561 * [taylor]: Taking taylor expansion of x in x 1.561 * [taylor]: Taking taylor expansion of 1.0 in x 1.561 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 1.561 * [taylor]: Taking taylor expansion of 0.99229 in x 1.561 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.561 * [taylor]: Taking taylor expansion of x in x 1.573 * * * [progress]: simplifying candidates 1.576 * [simplify]: Simplifying using # : (* (+ 2.30753 (* x 0.27061)) (* (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))) (* (+ 2.30753 (* x 0.27061)) (* (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))) (+ (log (+ 2.30753 (* x 0.27061))) (+ (log (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (log (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))))) (+ (log (+ 2.30753 (* x 0.27061))) (log (* (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))))) (log (* (+ 2.30753 (* x 0.27061)) (* (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))))) (exp (* (+ 2.30753 (* x 0.27061)) (* (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))))) (* (* (* (+ 2.30753 (* x 0.27061)) (+ 2.30753 (* x 0.27061))) (+ 2.30753 (* x 0.27061))) (* (* (* (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (* (* (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))))) (* (* (* (+ 2.30753 (* x 0.27061)) (+ 2.30753 (* x 0.27061))) (+ 2.30753 (* x 0.27061))) (* (* (* (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (* (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))) (* (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))))) (* (cbrt (* (+ 2.30753 (* x 0.27061)) (* (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))))) (cbrt (* (+ 2.30753 (* x 0.27061)) (* (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))))) (cbrt (* (+ 2.30753 (* x 0.27061)) (* (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))))) (* (* (* (+ 2.30753 (* x 0.27061)) (* (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))) (* (+ 2.30753 (* x 0.27061)) (* (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))))) (* (+ 2.30753 (* x 0.27061)) (* (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))))) (sqrt (* (+ 2.30753 (* x 0.27061)) (* (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))))) (sqrt (* (+ 2.30753 (* x 0.27061)) (* (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))))) (* (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (* (sqrt 1) (sqrt 1))) (* (+ (* 2.30753 2.30753) (- (* (* x 0.27061) (* x 0.27061)) (* 2.30753 (* x 0.27061)))) (* (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (* (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (* (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt 1))) (* (+ (* 2.30753 2.30753) (- (* (* x 0.27061) (* x 0.27061)) (* 2.30753 (* x 0.27061)))) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (* (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (* (sqrt 1) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))) (* (+ (* 2.30753 2.30753) (- (* (* x 0.27061) (* x 0.27061)) (* 2.30753 (* x 0.27061)))) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (* (- (* 2.30753 2.30753) (* (* x 0.27061) (* x 0.27061))) (* (sqrt 1) (sqrt 1))) (* (- 2.30753 (* x 0.27061)) (* (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (* (- (* 2.30753 2.30753) (* (* x 0.27061) (* x 0.27061))) (* (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt 1))) (* (- 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (* (- (* 2.30753 2.30753) (* (* x 0.27061) (* x 0.27061))) (* (sqrt 1) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))) (* (- 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (* (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (* (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (* (+ 2.30753 (* x 0.27061)) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (* (cbrt (+ 2.30753 (* x 0.27061))) (* (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))) (* (sqrt (+ 2.30753 (* x 0.27061))) (* (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))) (* (+ 2.30753 (* x 0.27061)) (* (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))) (* (+ 2.30753 (* x 0.27061)) (* (sqrt 1) (sqrt 1))) (* (+ 2.30753 (* x 0.27061)) (* (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt 1))) (* (+ 2.30753 (* x 0.27061)) (* (sqrt 1) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))) (* (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (* (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))) (* (- (* 2.30753 2.30753) (* (* x 0.27061) (* x 0.27061))) (* (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))) (log (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (exp (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (* (cbrt (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (cbrt (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))) (cbrt (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (* (* (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (sqrt (* (cbrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (cbrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))) (sqrt (cbrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (sqrt (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (sqrt (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (sqrt (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))) (sqrt (/ (cbrt 1) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (sqrt (/ (* (cbrt 1) (cbrt 1)) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (sqrt (/ (cbrt 1) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (sqrt (/ (* (cbrt 1) (cbrt 1)) 1)) (sqrt (/ (cbrt 1) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt (/ (sqrt 1) (* (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))) (sqrt (/ (sqrt 1) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (sqrt (/ (sqrt 1) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (sqrt (/ (sqrt 1) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (sqrt (/ (sqrt 1) 1)) (sqrt (/ (sqrt 1) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt (/ 1 (* (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))) (sqrt (/ 1 (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (sqrt (/ 1 (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (sqrt (/ 1 (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (sqrt (/ 1 1)) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt 1) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt 1) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt (/ 1 (+ (pow 1.0 3) (pow (* x (+ 0.99229 (* x 0.04481))) 3)))) (sqrt (+ (* 1.0 1.0) (- (* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481)))) (* 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (sqrt (/ 1 (- (* 1.0 1.0) (* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481))))))) (sqrt (- 1.0 (* x (+ 0.99229 (* x 0.04481))))) (sqrt 1) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (/ -1 2) (/ (- 1) 2) (/ 1 2) (sqrt (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (sqrt (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (log (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (exp (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (* (cbrt (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (cbrt (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))) (cbrt (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (* (* (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (sqrt (* (cbrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (cbrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))) (sqrt (cbrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (sqrt (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (sqrt (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (sqrt (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))) (sqrt (/ (cbrt 1) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (sqrt (/ (* (cbrt 1) (cbrt 1)) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (sqrt (/ (cbrt 1) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (sqrt (/ (* (cbrt 1) (cbrt 1)) 1)) (sqrt (/ (cbrt 1) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt (/ (sqrt 1) (* (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))) (sqrt (/ (sqrt 1) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (sqrt (/ (sqrt 1) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (sqrt (/ (sqrt 1) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (sqrt (/ (sqrt 1) 1)) (sqrt (/ (sqrt 1) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt (/ 1 (* (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))) (sqrt (/ 1 (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (sqrt (/ 1 (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (sqrt (/ 1 (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (sqrt (/ 1 1)) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt 1) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt 1) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt (/ 1 (+ (pow 1.0 3) (pow (* x (+ 0.99229 (* x 0.04481))) 3)))) (sqrt (+ (* 1.0 1.0) (- (* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481)))) (* 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (sqrt (/ 1 (- (* 1.0 1.0) (* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481))))))) (sqrt (- 1.0 (* x (+ 0.99229 (* x 0.04481))))) (sqrt 1) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (/ -1 2) (/ (- 1) 2) (/ 1 2) (sqrt (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (sqrt (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (- 1) (- (log (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (- 0 (log (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (- (log 1) (log (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (log (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (exp (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (/ (* (* 1 1) 1) (* (* (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (* (cbrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (cbrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (cbrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (* (* (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (- 1) (- (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (/ (cbrt 1) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (/ (cbrt 1) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (/ (sqrt 1) (* (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (/ (sqrt 1) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (/ (sqrt 1) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (/ (sqrt 1) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (/ (sqrt 1) 1) (/ (sqrt 1) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (/ 1 (* (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (/ 1 (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (/ 1 (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (/ 1 (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (/ 1 1) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) 1) (/ 1 (* (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (/ 1 (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (/ 1 1) (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (cbrt 1)) (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (sqrt 1)) (/ (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) 1) (/ 1 (+ (pow 1.0 3) (pow (* x (+ 0.99229 (* x 0.04481))) 3))) (/ 1 (- (* 1.0 1.0) (* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481)))))) (- (+ (* 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)))) (- (+ (sqrt 1.0) (* 0.46991472205 (/ (pow x 2) (sqrt 1.0)))) (+ (* 0.1230799305125 (/ (pow x 2) (pow (sqrt 1.0) 3))) (* 0.496145 (/ x (sqrt 1.0))))) (- (+ (/ (sqrt 22.31644722160232) x) (* 5222.689652963931 (/ 1 (* (pow x 3) (sqrt 22.31644722160232))))) (+ (* 247.09202648430892 (/ 1 (* (pow x 2) (sqrt 22.31644722160232)))) (* 30527.23477606121 (/ 1 (* (pow x 3) (pow (sqrt 22.31644722160232) 3)))))) (- (+ (* 247.09202648430892 (/ 1 (* (pow x 2) (sqrt 22.31644722160232)))) (* 30527.23477606121 (/ 1 (* (pow x 3) (pow (sqrt 22.31644722160232) 3))))) (+ (/ (sqrt 22.31644722160232) x) (* 5222.689652963931 (/ 1 (* (pow x 3) (sqrt 22.31644722160232)))))) (- (+ (sqrt 1.0) (* 0.46991472205 (/ (pow x 2) (sqrt 1.0)))) (+ (* 0.1230799305125 (/ (pow x 2) (pow (sqrt 1.0) 3))) (* 0.496145 (/ x (sqrt 1.0))))) (- (+ (/ (sqrt 22.31644722160232) x) (* 5222.689652963931 (/ 1 (* (pow x 3) (sqrt 22.31644722160232))))) (+ (* 247.09202648430892 (/ 1 (* (pow x 2) (sqrt 22.31644722160232)))) (* 30527.23477606121 (/ 1 (* (pow x 3) (pow (sqrt 22.31644722160232) 3)))))) (- (+ (* 247.09202648430892 (/ 1 (* (pow x 2) (sqrt 22.31644722160232)))) (* 30527.23477606121 (/ 1 (* (pow x 3) (pow (sqrt 22.31644722160232) 3))))) (+ (/ (sqrt 22.31644722160232) x) (* 5222.689652963931 (/ 1 (* (pow x 3) (sqrt 22.31644722160232)))))) (- (+ (* 0.9398294441 (pow x 2)) 1.0) (* 0.99229 x)) (- (+ (* 22.31644722160232 (/ 1 (pow x 2))) (* 10445.379305927861 (/ 1 (pow x 4)))) (* 494.18405296861783 (/ 1 (pow x 3)))) (- (+ (* 22.31644722160232 (/ 1 (pow x 2))) (* 10445.379305927861 (/ 1 (pow x 4)))) (* 494.18405296861783 (/ 1 (pow x 3)))) 1.585 * * [simplify]: iteration 0 : 545 enodes (cost 1518 ) 1.595 * * [simplify]: iteration 1 : 2396 enodes (cost 1323 ) 1.634 * * [simplify]: iteration 2 : 5001 enodes (cost 1260 ) 1.645 * [simplify]: Simplified to: (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (- (log (+ 2.30753 (* x 0.27061))) (log (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (- (log (+ 2.30753 (* x 0.27061))) (log (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (- (log (+ 2.30753 (* x 0.27061))) (log (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (pow (exp (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (+ 2.30753 (* x 0.27061))) (pow (* (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (+ 2.30753 (* x 0.27061))) 3) (pow (* (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (+ 2.30753 (* x 0.27061))) 3) (* (cbrt (* (+ 2.30753 (* x 0.27061)) (* (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))))) (cbrt (* (+ 2.30753 (* x 0.27061)) (* (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))))) (cbrt (* (+ 2.30753 (* x 0.27061)) (* (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))))) (pow (* (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (+ 2.30753 (* x 0.27061))) 3) (sqrt (* (+ 2.30753 (* x 0.27061)) (* (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))))) (sqrt (* (+ 2.30753 (* x 0.27061)) (* (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))))) (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (* (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ (* (* x 0.27061) (- (* x 0.27061) 2.30753)) (* 2.30753 2.30753))) (* (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (* (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (+ (* (* x 0.27061) (- (* x 0.27061) 2.30753)) (* 2.30753 2.30753))) (* (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (* (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (+ (* (* x 0.27061) (- (* x 0.27061) 2.30753)) (* 2.30753 2.30753))) (- (* 2.30753 2.30753) (* (* x 0.27061) (* x 0.27061))) (* (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (- 2.30753 (* x 0.27061))) (* (- (* 2.30753 2.30753) (* (* x 0.27061) (* x 0.27061))) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (* (- 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (* (- (* 2.30753 2.30753) (* (* x 0.27061) (* x 0.27061))) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (* (- 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (* (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (* (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (* (+ 2.30753 (* x 0.27061)) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (/ (cbrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (+ 2.30753 (* x 0.27061)) (* (+ 2.30753 (* x 0.27061)) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (* (+ 2.30753 (* x 0.27061)) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (/ (+ (pow 2.30753 3) (pow (* x 0.27061) 3)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (/ (- (* 2.30753 2.30753) (* (* x 0.27061) (* x 0.27061))) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (log (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (exp (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (* (cbrt (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (cbrt (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))) (cbrt (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (pow (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) 3) (fabs (cbrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (sqrt (cbrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (sqrt (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (sqrt (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (fabs (/ 1 (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (sqrt (/ 1 (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (sqrt (/ 1 (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (sqrt (/ 1 (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) 1 (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (fabs (/ 1 (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (sqrt (/ 1 (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (sqrt (/ 1 (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (sqrt (/ 1 (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) 1 (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (fabs (/ 1 (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (sqrt (/ 1 (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (sqrt (/ 1 (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (sqrt (/ 1 (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) 1 (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) 1 (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) 1 (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt (/ 1 (+ (pow 1.0 3) (pow (* x (+ 0.99229 (* x 0.04481))) 3)))) (sqrt (+ (* 1.0 1.0) (- (* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481)))) (* 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (sqrt (/ 1 (- (* 1.0 1.0) (* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481))))))) (sqrt (- 1.0 (* x (+ 0.99229 (* x 0.04481))))) 1 (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) -1/2 (- 1/2) 1/2 (sqrt (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (sqrt (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (log (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (exp (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (* (cbrt (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (cbrt (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))) (cbrt (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (pow (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) 3) (fabs (cbrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (sqrt (cbrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (sqrt (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (sqrt (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (fabs (/ 1 (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (sqrt (/ 1 (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (sqrt (/ 1 (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (sqrt (/ 1 (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) 1 (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (fabs (/ 1 (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (sqrt (/ 1 (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (sqrt (/ 1 (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (sqrt (/ 1 (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) 1 (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (fabs (/ 1 (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (sqrt (/ 1 (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (sqrt (/ 1 (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (sqrt (/ 1 (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) 1 (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) 1 (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) 1 (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt (/ 1 (+ (pow 1.0 3) (pow (* x (+ 0.99229 (* x 0.04481))) 3)))) (sqrt (+ (* 1.0 1.0) (- (* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481)))) (* 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (sqrt (/ 1 (- (* 1.0 1.0) (* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481))))))) (sqrt (- 1.0 (* x (+ 0.99229 (* x 0.04481))))) 1 (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) -1/2 (- 1/2) 1/2 (sqrt (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (sqrt (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (- 1) (log (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (log (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (log (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (log (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (exp (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (pow (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) 3) (* (cbrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (cbrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (cbrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (pow (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) 3) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (sqrt (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (- 1) (- (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (/ 1 (* (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (/ 1 (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (/ 1 (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (/ 1 (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) 1 (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (/ 1 (* (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (/ 1 (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (/ 1 (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (/ 1 (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) 1 (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (/ 1 (* (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (/ 1 (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (/ 1 (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) (/ 1 (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) 1 (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (/ 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (/ 1 (* (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))) (/ 1 (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) 1 (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))) (/ 1 (+ (pow 1.0 3) (pow (* x (+ 0.99229 (* x 0.04481))) 3))) (/ 1 (- (* 1.0 1.0) (* (* x (+ 0.99229 (* x 0.04481))) (* x (+ 0.99229 (* x 0.04481)))))) (- (+ (* 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)))) (- (+ (sqrt 1.0) (* 0.46991472205 (/ (pow x 2) (sqrt 1.0)))) (+ (* 0.1230799305125 (/ (pow x 2) (pow (sqrt 1.0) 3))) (* 0.496145 (/ x (sqrt 1.0))))) (- (+ (/ (sqrt 22.31644722160232) x) (* 5222.689652963931 (/ 1 (* (pow x 3) (sqrt 22.31644722160232))))) (+ (* 247.09202648430892 (/ 1 (* (pow x 2) (sqrt 22.31644722160232)))) (* 30527.23477606121 (/ 1 (* (pow x 3) (pow (sqrt 22.31644722160232) 3)))))) (+ (- (* 30527.23477606121 (/ 1 (* (pow x 3) (pow (sqrt 22.31644722160232) 3)))) (+ (/ (sqrt 22.31644722160232) x) (* 5222.689652963931 (/ 1 (* (pow x 3) (sqrt 22.31644722160232)))))) (/ (/ 247.09202648430892 (sqrt 22.31644722160232)) (pow x 2))) (- (+ (sqrt 1.0) (* 0.46991472205 (/ (pow x 2) (sqrt 1.0)))) (+ (* 0.1230799305125 (/ (pow x 2) (pow (sqrt 1.0) 3))) (* 0.496145 (/ x (sqrt 1.0))))) (- (+ (/ (sqrt 22.31644722160232) x) (* 5222.689652963931 (/ 1 (* (pow x 3) (sqrt 22.31644722160232))))) (+ (* 247.09202648430892 (/ 1 (* (pow x 2) (sqrt 22.31644722160232)))) (* 30527.23477606121 (/ 1 (* (pow x 3) (pow (sqrt 22.31644722160232) 3)))))) (+ (- (* 30527.23477606121 (/ 1 (* (pow x 3) (pow (sqrt 22.31644722160232) 3)))) (+ (/ (sqrt 22.31644722160232) x) (* 5222.689652963931 (/ 1 (* (pow x 3) (sqrt 22.31644722160232)))))) (/ (/ 247.09202648430892 (sqrt 22.31644722160232)) (pow x 2))) (- (+ (* 0.9398294441 (pow x 2)) 1.0) (* 0.99229 x)) (+ (- (* 10445.379305927861 (/ 1 (pow x 4))) (* 494.18405296861783 (/ 1 (pow x 3)))) (/ 22.31644722160232 (pow x 2))) (+ (- (* 10445.379305927861 (/ 1 (pow x 4))) (* 494.18405296861783 (/ 1 (pow x 3)))) (/ 22.31644722160232 (pow x 2))) 1.646 * * * [progress]: adding candidates to table 1.987 * [progress]: [Phase 3 of 3] Extracting. 1.987 * * [regime]: Finding splitpoints for: (# #) 1.987 * * * [regime-changes]: Trying 1 branch expressions: (x) 1.988 * * * * [regimes]: Trying to branch on x from (# #) 1.998 * * * [regime]: Found split indices: #