7.779 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.016 * * * [progress]: [2/2] Setting up program. 0.017 * [progress]: [Phase 2 of 3] Improving. 0.018 * [simplify]: Simplifying using # : (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) 0.018 * [simplify]: Sending expressions to egg_math: (- h0 (/ (+ h1 (* h0 h2)) (+ h3 (* (+ h4 (* h0 h5)) h0)))) 0.020 * * [simplify]: iteration 0 : 22 enodes (cost 8 ) 0.021 * * [simplify]: iteration 1 : 33 enodes (cost 8 ) 0.023 * * [simplify]: iteration 2 : 56 enodes (cost 8 ) 0.024 * * [simplify]: iteration 3 : 72 enodes (cost 8 ) 0.026 * * [simplify]: iteration 4 : 78 enodes (cost 8 ) 0.028 * * [simplify]: iteration 5 : 100 enodes (cost 8 ) 0.029 * * [simplify]: iteration 6 : 128 enodes (cost 8 ) 0.031 * * [simplify]: iteration 7 : 161 enodes (cost 8 ) 0.034 * * [simplify]: iteration 8 : 190 enodes (cost 8 ) 0.037 * * [simplify]: iteration 9 : 350 enodes (cost 8 ) 0.040 * * [simplify]: iteration 10 : 644 enodes (cost 8 ) 0.045 * * [simplify]: iteration 11 : 1012 enodes (cost 8 ) 0.056 * * [simplify]: iteration 12 : 2258 enodes (cost 8 ) 0.090 * * [simplify]: iteration 13 : 5001 enodes (cost 8 ) 0.091 * [simplify]: Simplified to: (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) 0.091 * * [progress]: iteration 1 / 4 0.091 * * * [progress]: picking best candidate 0.093 * * * * [pick]: Picked # 0.093 * * * [progress]: localizing error 0.106 * * * [progress]: generating rewritten candidates 0.106 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 0.128 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2) 0.143 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 0.167 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 1) 0.174 * * * [progress]: generating series expansions 0.174 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 0.174 * [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.175 * [taylor]: Taking taylor expansion of (/ (+ (* 0.27061 x) 2.30753) (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in x 0.175 * [taylor]: Taking taylor expansion of (+ (* 0.27061 x) 2.30753) in x 0.175 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x 0.175 * [taylor]: Taking taylor expansion of 0.27061 in x 0.175 * [taylor]: Taking taylor expansion of x in x 0.175 * [taylor]: Taking taylor expansion of 2.30753 in x 0.175 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x 0.175 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x 0.175 * [taylor]: Taking taylor expansion of 0.04481 in x 0.175 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.175 * [taylor]: Taking taylor expansion of x in x 0.175 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x 0.175 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x 0.175 * [taylor]: Taking taylor expansion of 0.99229 in x 0.175 * [taylor]: Taking taylor expansion of x in x 0.175 * [taylor]: Taking taylor expansion of 1.0 in x 0.177 * [taylor]: Taking taylor expansion of (/ (+ (* 0.27061 x) 2.30753) (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in x 0.177 * [taylor]: Taking taylor expansion of (+ (* 0.27061 x) 2.30753) in x 0.177 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x 0.177 * [taylor]: Taking taylor expansion of 0.27061 in x 0.177 * [taylor]: Taking taylor expansion of x in x 0.177 * [taylor]: Taking taylor expansion of 2.30753 in x 0.177 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x 0.177 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x 0.177 * [taylor]: Taking taylor expansion of 0.04481 in x 0.177 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.177 * [taylor]: Taking taylor expansion of x in x 0.177 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x 0.177 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x 0.177 * [taylor]: Taking taylor expansion of 0.99229 in x 0.177 * [taylor]: Taking taylor expansion of x in x 0.177 * [taylor]: Taking taylor expansion of 1.0 in x 0.188 * [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.188 * [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.188 * [taylor]: Taking taylor expansion of (+ (* 0.27061 (/ 1 x)) 2.30753) in x 0.188 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 0.188 * [taylor]: Taking taylor expansion of 0.27061 in x 0.188 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.188 * [taylor]: Taking taylor expansion of x in x 0.188 * [taylor]: Taking taylor expansion of 2.30753 in x 0.188 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x 0.188 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 0.189 * [taylor]: Taking taylor expansion of 0.04481 in x 0.189 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.189 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.189 * [taylor]: Taking taylor expansion of x in x 0.189 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x 0.189 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 0.189 * [taylor]: Taking taylor expansion of 0.99229 in x 0.189 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.189 * [taylor]: Taking taylor expansion of x in x 0.189 * [taylor]: Taking taylor expansion of 1.0 in x 0.190 * [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.190 * [taylor]: Taking taylor expansion of (+ (* 0.27061 (/ 1 x)) 2.30753) in x 0.190 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 0.190 * [taylor]: Taking taylor expansion of 0.27061 in x 0.190 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.190 * [taylor]: Taking taylor expansion of x in x 0.191 * [taylor]: Taking taylor expansion of 2.30753 in x 0.191 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x 0.191 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 0.191 * [taylor]: Taking taylor expansion of 0.04481 in x 0.191 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.191 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.191 * [taylor]: Taking taylor expansion of x in x 0.191 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x 0.191 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 0.191 * [taylor]: Taking taylor expansion of 0.99229 in x 0.191 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.191 * [taylor]: Taking taylor expansion of x in x 0.192 * [taylor]: Taking taylor expansion of 1.0 in x 0.204 * [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.205 * [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.205 * [taylor]: Taking taylor expansion of (- 2.30753 (* 0.27061 (/ 1 x))) in x 0.205 * [taylor]: Taking taylor expansion of 2.30753 in x 0.205 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 0.205 * [taylor]: Taking taylor expansion of 0.27061 in x 0.205 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.205 * [taylor]: Taking taylor expansion of x in x 0.205 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x 0.205 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x 0.205 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 0.205 * [taylor]: Taking taylor expansion of 0.04481 in x 0.205 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.205 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.205 * [taylor]: Taking taylor expansion of x in x 0.205 * [taylor]: Taking taylor expansion of 1.0 in x 0.206 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 0.206 * [taylor]: Taking taylor expansion of 0.99229 in x 0.206 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.206 * [taylor]: Taking taylor expansion of x in x 0.208 * [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.208 * [taylor]: Taking taylor expansion of (- 2.30753 (* 0.27061 (/ 1 x))) in x 0.208 * [taylor]: Taking taylor expansion of 2.30753 in x 0.208 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 0.208 * [taylor]: Taking taylor expansion of 0.27061 in x 0.208 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.208 * [taylor]: Taking taylor expansion of x in x 0.208 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x 0.208 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x 0.208 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 0.208 * [taylor]: Taking taylor expansion of 0.04481 in x 0.208 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.208 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.208 * [taylor]: Taking taylor expansion of x in x 0.209 * [taylor]: Taking taylor expansion of 1.0 in x 0.209 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 0.209 * [taylor]: Taking taylor expansion of 0.99229 in x 0.209 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.209 * [taylor]: Taking taylor expansion of x in x 0.225 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2) 0.225 * [approximate]: Taking taylor expansion of (* x (+ (* 0.04481 x) 0.99229)) in (x) around 0 0.225 * [taylor]: Taking taylor expansion of (* x (+ (* 0.04481 x) 0.99229)) in x 0.225 * [taylor]: Taking taylor expansion of x in x 0.225 * [taylor]: Taking taylor expansion of (+ (* 0.04481 x) 0.99229) in x 0.225 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x 0.225 * [taylor]: Taking taylor expansion of 0.04481 in x 0.225 * [taylor]: Taking taylor expansion of x in x 0.225 * [taylor]: Taking taylor expansion of 0.99229 in x 0.225 * [taylor]: Taking taylor expansion of (* x (+ (* 0.04481 x) 0.99229)) in x 0.225 * [taylor]: Taking taylor expansion of x in x 0.225 * [taylor]: Taking taylor expansion of (+ (* 0.04481 x) 0.99229) in x 0.225 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x 0.225 * [taylor]: Taking taylor expansion of 0.04481 in x 0.225 * [taylor]: Taking taylor expansion of x in x 0.225 * [taylor]: Taking taylor expansion of 0.99229 in x 0.246 * [approximate]: Taking taylor expansion of (/ (+ (* 0.04481 (/ 1 x)) 0.99229) x) in (x) around 0 0.246 * [taylor]: Taking taylor expansion of (/ (+ (* 0.04481 (/ 1 x)) 0.99229) x) in x 0.246 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 x)) 0.99229) in x 0.246 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 0.246 * [taylor]: Taking taylor expansion of 0.04481 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 0.99229 in x 0.246 * [taylor]: Taking taylor expansion of x in x 0.247 * [taylor]: Taking taylor expansion of (/ (+ (* 0.04481 (/ 1 x)) 0.99229) x) in x 0.247 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 x)) 0.99229) in x 0.247 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 0.247 * [taylor]: Taking taylor expansion of 0.04481 in x 0.247 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.247 * [taylor]: Taking taylor expansion of x in x 0.248 * [taylor]: Taking taylor expansion of 0.99229 in x 0.248 * [taylor]: Taking taylor expansion of x in x 0.263 * [approximate]: Taking taylor expansion of (* -1 (/ (- 0.99229 (* 0.04481 (/ 1 x))) x)) in (x) around 0 0.263 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.99229 (* 0.04481 (/ 1 x))) x)) in x 0.263 * [taylor]: Taking taylor expansion of -1 in x 0.263 * [taylor]: Taking taylor expansion of (/ (- 0.99229 (* 0.04481 (/ 1 x))) x) in x 0.263 * [taylor]: Taking taylor expansion of (- 0.99229 (* 0.04481 (/ 1 x))) in x 0.263 * [taylor]: Taking taylor expansion of 0.99229 in x 0.263 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 0.263 * [taylor]: Taking taylor expansion of 0.04481 in x 0.263 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.263 * [taylor]: Taking taylor expansion of x in x 0.263 * [taylor]: Taking taylor expansion of x in x 0.265 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.99229 (* 0.04481 (/ 1 x))) x)) in x 0.265 * [taylor]: Taking taylor expansion of -1 in x 0.265 * [taylor]: Taking taylor expansion of (/ (- 0.99229 (* 0.04481 (/ 1 x))) x) in x 0.265 * [taylor]: Taking taylor expansion of (- 0.99229 (* 0.04481 (/ 1 x))) in x 0.265 * [taylor]: Taking taylor expansion of 0.99229 in x 0.265 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 0.265 * [taylor]: Taking taylor expansion of 0.04481 in x 0.265 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.265 * [taylor]: Taking taylor expansion of x in x 0.265 * [taylor]: Taking taylor expansion of x in x 0.287 * * * * [progress]: [ 3 / 4 ] generating series at (2) 0.287 * [approximate]: Taking taylor expansion of (- x (+ (* 2.30753 (/ 1 (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)))) (* 0.27061 (/ x (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)))))) in (x) around 0 0.287 * [taylor]: Taking taylor expansion of (- x (+ (* 2.30753 (/ 1 (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)))) (* 0.27061 (/ x (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)))))) in x 0.287 * [taylor]: Taking taylor expansion of x in x 0.287 * [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.287 * [taylor]: Taking taylor expansion of (* 2.30753 (/ 1 (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)))) in x 0.287 * [taylor]: Taking taylor expansion of 2.30753 in x 0.287 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in x 0.287 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x 0.287 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x 0.287 * [taylor]: Taking taylor expansion of 0.04481 in x 0.287 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.287 * [taylor]: Taking taylor expansion of x in x 0.287 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x 0.287 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x 0.287 * [taylor]: Taking taylor expansion of 0.99229 in x 0.287 * [taylor]: Taking taylor expansion of x in x 0.287 * [taylor]: Taking taylor expansion of 1.0 in x 0.288 * [taylor]: Taking taylor expansion of (* 0.27061 (/ x (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)))) in x 0.288 * [taylor]: Taking taylor expansion of 0.27061 in x 0.288 * [taylor]: Taking taylor expansion of (/ x (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in x 0.288 * [taylor]: Taking taylor expansion of x in x 0.288 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x 0.288 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x 0.288 * [taylor]: Taking taylor expansion of 0.04481 in x 0.288 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.288 * [taylor]: Taking taylor expansion of x in x 0.288 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x 0.288 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x 0.288 * [taylor]: Taking taylor expansion of 0.99229 in x 0.289 * [taylor]: Taking taylor expansion of x in x 0.289 * [taylor]: Taking taylor expansion of 1.0 in x 0.289 * [taylor]: Taking taylor expansion of (- x (+ (* 2.30753 (/ 1 (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)))) (* 0.27061 (/ x (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)))))) in x 0.289 * [taylor]: Taking taylor expansion of x in x 0.290 * [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.290 * [taylor]: Taking taylor expansion of (* 2.30753 (/ 1 (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)))) in x 0.290 * [taylor]: Taking taylor expansion of 2.30753 in x 0.290 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in x 0.290 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x 0.290 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x 0.290 * [taylor]: Taking taylor expansion of 0.04481 in x 0.290 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.290 * [taylor]: Taking taylor expansion of x in x 0.290 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x 0.290 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x 0.290 * [taylor]: Taking taylor expansion of 0.99229 in x 0.290 * [taylor]: Taking taylor expansion of x in x 0.290 * [taylor]: Taking taylor expansion of 1.0 in x 0.291 * [taylor]: Taking taylor expansion of (* 0.27061 (/ x (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)))) in x 0.291 * [taylor]: Taking taylor expansion of 0.27061 in x 0.291 * [taylor]: Taking taylor expansion of (/ x (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in x 0.291 * [taylor]: Taking taylor expansion of x in x 0.291 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x 0.291 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x 0.291 * [taylor]: Taking taylor expansion of 0.04481 in x 0.291 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.291 * [taylor]: Taking taylor expansion of x in x 0.291 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x 0.291 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x 0.291 * [taylor]: Taking taylor expansion of 0.99229 in x 0.291 * [taylor]: Taking taylor expansion of x in x 0.291 * [taylor]: Taking taylor expansion of 1.0 in x 0.309 * [approximate]: Taking taylor expansion of (- (/ 1 x) (+ (* 2.30753 (/ 1 (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)))) (* 0.27061 (/ 1 (* (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) x))))) in (x) around 0 0.309 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (* 2.30753 (/ 1 (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)))) (* 0.27061 (/ 1 (* (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) x))))) in x 0.309 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.309 * [taylor]: Taking taylor expansion of x in x 0.309 * [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.309 * [taylor]: Taking taylor expansion of (* 2.30753 (/ 1 (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)))) in x 0.309 * [taylor]: Taking taylor expansion of 2.30753 in x 0.309 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0))) in x 0.309 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x 0.309 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 0.309 * [taylor]: Taking taylor expansion of 0.04481 in x 0.309 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.309 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.309 * [taylor]: Taking taylor expansion of x in x 0.310 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x 0.310 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 0.310 * [taylor]: Taking taylor expansion of 0.99229 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 1.0 in x 0.311 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 (* (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) x))) in x 0.311 * [taylor]: Taking taylor expansion of 0.27061 in x 0.311 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) x)) in x 0.311 * [taylor]: Taking taylor expansion of (* (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) x) in x 0.311 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x 0.311 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 0.311 * [taylor]: Taking taylor expansion of 0.04481 in x 0.311 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.311 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.311 * [taylor]: Taking taylor expansion of x in x 0.311 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x 0.311 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 0.311 * [taylor]: Taking taylor expansion of 0.99229 in x 0.311 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.311 * [taylor]: Taking taylor expansion of x in x 0.311 * [taylor]: Taking taylor expansion of 1.0 in x 0.312 * [taylor]: Taking taylor expansion of x in x 0.320 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (* 2.30753 (/ 1 (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)))) (* 0.27061 (/ 1 (* (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) x))))) in x 0.320 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.320 * [taylor]: Taking taylor expansion of x in x 0.321 * [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.321 * [taylor]: Taking taylor expansion of (* 2.30753 (/ 1 (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)))) in x 0.321 * [taylor]: Taking taylor expansion of 2.30753 in x 0.321 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0))) in x 0.321 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x 0.321 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 0.321 * [taylor]: Taking taylor expansion of 0.04481 in x 0.321 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.321 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.321 * [taylor]: Taking taylor expansion of x in x 0.321 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x 0.321 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 0.321 * [taylor]: Taking taylor expansion of 0.99229 in x 0.321 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.321 * [taylor]: Taking taylor expansion of x in x 0.322 * [taylor]: Taking taylor expansion of 1.0 in x 0.322 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 (* (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) x))) in x 0.322 * [taylor]: Taking taylor expansion of 0.27061 in x 0.322 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) x)) in x 0.322 * [taylor]: Taking taylor expansion of (* (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) x) in x 0.322 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x 0.322 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 0.322 * [taylor]: Taking taylor expansion of 0.04481 in x 0.322 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.322 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.323 * [taylor]: Taking taylor expansion of x in x 0.323 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x 0.323 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 0.323 * [taylor]: Taking taylor expansion of 0.99229 in x 0.323 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.323 * [taylor]: Taking taylor expansion of x in x 0.323 * [taylor]: Taking taylor expansion of 1.0 in x 0.323 * [taylor]: Taking taylor expansion of x in x 0.338 * [approximate]: Taking taylor expansion of (- (* 0.27061 (/ 1 (* (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) x))) (+ (* 2.30753 (/ 1 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))))) (/ 1 x))) in (x) around 0 0.338 * [taylor]: Taking taylor expansion of (- (* 0.27061 (/ 1 (* (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) x))) (+ (* 2.30753 (/ 1 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))))) (/ 1 x))) in x 0.338 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 (* (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) x))) in x 0.338 * [taylor]: Taking taylor expansion of 0.27061 in x 0.338 * [taylor]: Taking taylor expansion of (/ 1 (* (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) x)) in x 0.338 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) x) in x 0.338 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x 0.338 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x 0.338 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 0.338 * [taylor]: Taking taylor expansion of 0.04481 in x 0.338 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.338 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.338 * [taylor]: Taking taylor expansion of x in x 0.339 * [taylor]: Taking taylor expansion of 1.0 in x 0.339 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 0.339 * [taylor]: Taking taylor expansion of 0.99229 in x 0.339 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.339 * [taylor]: Taking taylor expansion of x in x 0.339 * [taylor]: Taking taylor expansion of x in x 0.343 * [taylor]: Taking taylor expansion of (+ (* 2.30753 (/ 1 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))))) (/ 1 x)) in x 0.343 * [taylor]: Taking taylor expansion of (* 2.30753 (/ 1 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))))) in x 0.343 * [taylor]: Taking taylor expansion of 2.30753 in x 0.343 * [taylor]: Taking taylor expansion of (/ 1 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x)))) in x 0.343 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x 0.343 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x 0.343 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 0.343 * [taylor]: Taking taylor expansion of 0.04481 in x 0.343 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.344 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.344 * [taylor]: Taking taylor expansion of x in x 0.344 * [taylor]: Taking taylor expansion of 1.0 in x 0.344 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 0.344 * [taylor]: Taking taylor expansion of 0.99229 in x 0.344 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.344 * [taylor]: Taking taylor expansion of x in x 0.345 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.345 * [taylor]: Taking taylor expansion of x in x 0.345 * [taylor]: Taking taylor expansion of (- (* 0.27061 (/ 1 (* (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) x))) (+ (* 2.30753 (/ 1 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))))) (/ 1 x))) in x 0.345 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 (* (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) x))) in x 0.345 * [taylor]: Taking taylor expansion of 0.27061 in x 0.345 * [taylor]: Taking taylor expansion of (/ 1 (* (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) x)) in x 0.345 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) x) in x 0.345 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x 0.345 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x 0.346 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 0.346 * [taylor]: Taking taylor expansion of 0.04481 in x 0.346 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.346 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.346 * [taylor]: Taking taylor expansion of x in x 0.346 * [taylor]: Taking taylor expansion of 1.0 in x 0.346 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 0.346 * [taylor]: Taking taylor expansion of 0.99229 in x 0.346 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.346 * [taylor]: Taking taylor expansion of x in x 0.346 * [taylor]: Taking taylor expansion of x in x 0.350 * [taylor]: Taking taylor expansion of (+ (* 2.30753 (/ 1 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))))) (/ 1 x)) in x 0.350 * [taylor]: Taking taylor expansion of (* 2.30753 (/ 1 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))))) in x 0.350 * [taylor]: Taking taylor expansion of 2.30753 in x 0.350 * [taylor]: Taking taylor expansion of (/ 1 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x)))) in x 0.350 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x 0.350 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x 0.350 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 0.351 * [taylor]: Taking taylor expansion of 0.04481 in x 0.351 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.351 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.351 * [taylor]: Taking taylor expansion of x in x 0.351 * [taylor]: Taking taylor expansion of 1.0 in x 0.351 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 0.351 * [taylor]: Taking taylor expansion of 0.99229 in x 0.351 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.351 * [taylor]: Taking taylor expansion of x in x 0.352 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.352 * [taylor]: Taking taylor expansion of x in x 0.364 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 1) 0.364 * [approximate]: Taking taylor expansion of (+ (* 0.04481 x) 0.99229) in (x) around 0 0.364 * [taylor]: Taking taylor expansion of (+ (* 0.04481 x) 0.99229) in x 0.364 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x 0.364 * [taylor]: Taking taylor expansion of 0.04481 in x 0.364 * [taylor]: Taking taylor expansion of x in x 0.364 * [taylor]: Taking taylor expansion of 0.99229 in x 0.364 * [taylor]: Taking taylor expansion of (+ (* 0.04481 x) 0.99229) in x 0.364 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x 0.364 * [taylor]: Taking taylor expansion of 0.04481 in x 0.364 * [taylor]: Taking taylor expansion of x in x 0.364 * [taylor]: Taking taylor expansion of 0.99229 in x 0.371 * [approximate]: Taking taylor expansion of (+ (* 0.04481 (/ 1 x)) 0.99229) in (x) around 0 0.371 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 x)) 0.99229) in x 0.371 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 0.371 * [taylor]: Taking taylor expansion of 0.04481 in x 0.371 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.371 * [taylor]: Taking taylor expansion of x in x 0.372 * [taylor]: Taking taylor expansion of 0.99229 in x 0.372 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 x)) 0.99229) in x 0.372 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 0.372 * [taylor]: Taking taylor expansion of 0.04481 in x 0.372 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.372 * [taylor]: Taking taylor expansion of x in x 0.372 * [taylor]: Taking taylor expansion of 0.99229 in x 0.381 * [approximate]: Taking taylor expansion of (- 0.99229 (* 0.04481 (/ 1 x))) in (x) around 0 0.381 * [taylor]: Taking taylor expansion of (- 0.99229 (* 0.04481 (/ 1 x))) in x 0.381 * [taylor]: Taking taylor expansion of 0.99229 in x 0.381 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 0.381 * [taylor]: Taking taylor expansion of 0.04481 in x 0.381 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.381 * [taylor]: Taking taylor expansion of x in x 0.382 * [taylor]: Taking taylor expansion of (- 0.99229 (* 0.04481 (/ 1 x))) in x 0.382 * [taylor]: Taking taylor expansion of 0.99229 in x 0.382 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 0.382 * [taylor]: Taking taylor expansion of 0.04481 in x 0.382 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.382 * [taylor]: Taking taylor expansion of x in x 0.393 * * * [progress]: simplifying candidates 0.395 * [simplify]: Simplifying using # : (- (log (+ 2.30753 (* x 0.27061))) (log (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (log (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (exp (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (* (* (+ 2.30753 (* x 0.27061)) (+ 2.30753 (* x 0.27061))) (+ 2.30753 (* x 0.27061))) (* (* (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (* (* (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (- (+ 2.30753 (* x 0.27061))) (- (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (/ (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (cbrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) 1) (/ (cbrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (sqrt (+ 2.30753 (* x 0.27061))) 1) (/ (sqrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ 1 (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (/ (+ 2.30753 (* x 0.27061)) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ 1 (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ 1 1) (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ 1 (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (+ 2.30753 (* x 0.27061))) (/ (+ 2.30753 (* x 0.27061)) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (+ 2.30753 (* x 0.27061)) 1) (/ (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (cbrt (+ 2.30753 (* x 0.27061)))) (/ (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (sqrt (+ 2.30753 (* x 0.27061)))) (/ (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (+ 2.30753 (* x 0.27061))) (/ (+ 2.30753 (* x 0.27061)) (+ (pow 1.0 3) (pow (* (+ 0.99229 (* x 0.04481)) x) 3))) (/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x)))) (* (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (+ (* 2.30753 2.30753) (- (* (* x 0.27061) (* x 0.27061)) (* 2.30753 (* x 0.27061))))) (* (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (- 2.30753 (* x 0.27061))) (* (+ 0.99229 (* x 0.04481)) x) (+ (log (+ 0.99229 (* x 0.04481))) (log x)) (log (* (+ 0.99229 (* x 0.04481)) x)) (exp (* (+ 0.99229 (* x 0.04481)) x)) (* (* (* (+ 0.99229 (* x 0.04481)) (+ 0.99229 (* x 0.04481))) (+ 0.99229 (* x 0.04481))) (* (* x x) x)) (* (cbrt (* (+ 0.99229 (* x 0.04481)) x)) (cbrt (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (* (+ 0.99229 (* x 0.04481)) x)) (* (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x)) (* (+ 0.99229 (* x 0.04481)) x)) (sqrt (* (+ 0.99229 (* x 0.04481)) x)) (sqrt (* (+ 0.99229 (* x 0.04481)) x)) (* (sqrt (+ 0.99229 (* x 0.04481))) (sqrt x)) (* (sqrt (+ 0.99229 (* x 0.04481))) (sqrt x)) (* (+ 0.99229 (* x 0.04481)) (* (cbrt x) (cbrt x))) (* (+ 0.99229 (* x 0.04481)) (sqrt x)) (* (+ 0.99229 (* x 0.04481)) 1) (* (cbrt (+ 0.99229 (* x 0.04481))) x) (* (sqrt (+ 0.99229 (* x 0.04481))) x) (* (+ 0.99229 (* x 0.04481)) x) (* (+ (pow 0.99229 3) (pow (* x 0.04481) 3)) x) (* (- (* 0.99229 0.99229) (* (* x 0.04481) (* x 0.04481))) x) (/ (exp x) (exp (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (log (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (exp (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (* (cbrt (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (cbrt (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (* (* (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (sqrt (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (sqrt (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (- (pow x 3) (pow (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) 3)) (+ (* x x) (+ (* (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (* x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (- (* x x) (* (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (+ x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (+ (sqrt x) (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (- (sqrt x) (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (+ (sqrt x) (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (- (sqrt x) (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (* (exp 0.99229) (exp (* x 0.04481))) (log (+ 0.99229 (* x 0.04481))) (exp (+ 0.99229 (* x 0.04481))) (* (cbrt (+ 0.99229 (* x 0.04481))) (cbrt (+ 0.99229 (* x 0.04481)))) (cbrt (+ 0.99229 (* x 0.04481))) (* (* (+ 0.99229 (* x 0.04481)) (+ 0.99229 (* x 0.04481))) (+ 0.99229 (* x 0.04481))) (sqrt (+ 0.99229 (* x 0.04481))) (sqrt (+ 0.99229 (* x 0.04481))) (+ (pow 0.99229 3) (pow (* x 0.04481) 3)) (+ (* 0.99229 0.99229) (- (* (* x 0.04481) (* x 0.04481)) (* 0.99229 (* x 0.04481)))) (- (* 0.99229 0.99229) (* (* x 0.04481) (* x 0.04481))) (- 0.99229 (* x 0.04481)) (- (+ (* 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)) (- (* 3.0191289436999997 x) (+ (* 1.900161040244073 (pow x 2)) 2.30753)) (- (+ (* 82.23527511657369 (/ 1 (pow x 2))) x) (* 6.039053782637804 (/ 1 x))) (- (+ (* 82.23527511657369 (/ 1 (pow x 2))) x) (* 6.039053782637804 (/ 1 x))) (+ (* 0.04481 x) 0.99229) (+ (* 0.04481 x) 0.99229) (+ (* 0.04481 x) 0.99229) 0.395 * [simplify]: Sending expressions to egg_math: (- (log (+ h0 (* h1 h2))) (log (+ h3 (* (+ h4 (* h1 h5)) h1)))) (log (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (exp (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (/ (* (* (+ h0 (* h1 h2)) (+ h0 (* h1 h2))) (+ h0 (* h1 h2))) (* (* (+ h3 (* (+ h4 (* h1 h5)) h1)) (+ h3 (* (+ h4 (* h1 h5)) h1))) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (* (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))) (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (* (* (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))) (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (sqrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (sqrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (- (+ h0 (* h1 h2))) (- (+ h3 (* (+ h4 (* h1 h5)) h1))) (/ (* (cbrt (+ h0 (* h1 h2))) (cbrt (+ h0 (* h1 h2)))) (* (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1))) (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1))))) (/ (cbrt (+ h0 (* h1 h2))) (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1)))) (/ (* (cbrt (+ h0 (* h1 h2))) (cbrt (+ h0 (* h1 h2)))) (sqrt (+ h3 (* (+ h4 (* h1 h5)) h1)))) (/ (cbrt (+ h0 (* h1 h2))) (sqrt (+ h3 (* (+ h4 (* h1 h5)) h1)))) (/ (* (cbrt (+ h0 (* h1 h2))) (cbrt (+ h0 (* h1 h2)))) 1) (/ (cbrt (+ h0 (* h1 h2))) (+ h3 (* (+ h4 (* h1 h5)) h1))) (/ (sqrt (+ h0 (* h1 h2))) (* (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1))) (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1))))) (/ (sqrt (+ h0 (* h1 h2))) (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1)))) (/ (sqrt (+ h0 (* h1 h2))) (sqrt (+ h3 (* (+ h4 (* h1 h5)) h1)))) (/ (sqrt (+ h0 (* h1 h2))) (sqrt (+ h3 (* (+ h4 (* h1 h5)) h1)))) (/ (sqrt (+ h0 (* h1 h2))) 1) (/ (sqrt (+ h0 (* h1 h2))) (+ h3 (* (+ h4 (* h1 h5)) h1))) (/ 1 (* (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1))) (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1))))) (/ (+ h0 (* h1 h2)) (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1)))) (/ 1 (sqrt (+ h3 (* (+ h4 (* h1 h5)) h1)))) (/ (+ h0 (* h1 h2)) (sqrt (+ h3 (* (+ h4 (* h1 h5)) h1)))) (/ 1 1) (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))) (/ 1 (+ h3 (* (+ h4 (* h1 h5)) h1))) (/ (+ h3 (* (+ h4 (* h1 h5)) h1)) (+ h0 (* h1 h2))) (/ (+ h0 (* h1 h2)) (* (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1))) (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1))))) (/ (+ h0 (* h1 h2)) (sqrt (+ h3 (* (+ h4 (* h1 h5)) h1)))) (/ (+ h0 (* h1 h2)) 1) (/ (+ h3 (* (+ h4 (* h1 h5)) h1)) (cbrt (+ h0 (* h1 h2)))) (/ (+ h3 (* (+ h4 (* h1 h5)) h1)) (sqrt (+ h0 (* h1 h2)))) (/ (+ h3 (* (+ h4 (* h1 h5)) h1)) (+ h0 (* h1 h2))) (/ (+ h0 (* h1 h2)) (+ (pow h3 3) (pow (* (+ h4 (* h1 h5)) h1) 3))) (/ (+ h0 (* h1 h2)) (- (* h3 h3) (* (* (+ h4 (* h1 h5)) h1) (* (+ h4 (* h1 h5)) h1)))) (* (+ h3 (* (+ h4 (* h1 h5)) h1)) (+ (* h0 h0) (- (* (* h1 h2) (* h1 h2)) (* h0 (* h1 h2))))) (* (+ h3 (* (+ h4 (* h1 h5)) h1)) (- h0 (* h1 h2))) (* (+ h4 (* h1 h5)) h1) (+ (log (+ h4 (* h1 h5))) (log h1)) (log (* (+ h4 (* h1 h5)) h1)) (exp (* (+ h4 (* h1 h5)) h1)) (* (* (* (+ h4 (* h1 h5)) (+ h4 (* h1 h5))) (+ h4 (* h1 h5))) (* (* h1 h1) h1)) (* (cbrt (* (+ h4 (* h1 h5)) h1)) (cbrt (* (+ h4 (* h1 h5)) h1))) (cbrt (* (+ h4 (* h1 h5)) h1)) (* (* (* (+ h4 (* h1 h5)) h1) (* (+ h4 (* h1 h5)) h1)) (* (+ h4 (* h1 h5)) h1)) (sqrt (* (+ h4 (* h1 h5)) h1)) (sqrt (* (+ h4 (* h1 h5)) h1)) (* (sqrt (+ h4 (* h1 h5))) (sqrt h1)) (* (sqrt (+ h4 (* h1 h5))) (sqrt h1)) (* (+ h4 (* h1 h5)) (* (cbrt h1) (cbrt h1))) (* (+ h4 (* h1 h5)) (sqrt h1)) (* (+ h4 (* h1 h5)) 1) (* (cbrt (+ h4 (* h1 h5))) h1) (* (sqrt (+ h4 (* h1 h5))) h1) (* (+ h4 (* h1 h5)) h1) (* (+ (pow h4 3) (pow (* h1 h5) 3)) h1) (* (- (* h4 h4) (* (* h1 h5) (* h1 h5))) h1) (/ (exp h1) (exp (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))) (log (- h1 (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))) (exp (- h1 (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))) (* (cbrt (- h1 (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))) (cbrt (- h1 (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))))) (cbrt (- h1 (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))) (* (* (- h1 (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (- h1 (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))) (- h1 (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))) (sqrt (- h1 (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))) (sqrt (- h1 (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))) (- (pow h1 3) (pow (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))) 3)) (+ (* h1 h1) (+ (* (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))) (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (* h1 (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))))) (- (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (- (* h1 h1) (* (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))) (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))) (+ h1 (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (+ (sqrt h1) (sqrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))) (- (sqrt h1) (sqrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))) (+ (sqrt h1) (/ (sqrt (+ h0 (* h1 h2))) (sqrt (+ h3 (* (+ h4 (* h1 h5)) h1))))) (- (sqrt h1) (/ (sqrt (+ h0 (* h1 h2))) (sqrt (+ h3 (* (+ h4 (* h1 h5)) h1))))) (- h1 (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (- (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (* (exp h4) (exp (* h1 h5))) (log (+ h4 (* h1 h5))) (exp (+ h4 (* h1 h5))) (* (cbrt (+ h4 (* h1 h5))) (cbrt (+ h4 (* h1 h5)))) (cbrt (+ h4 (* h1 h5))) (* (* (+ h4 (* h1 h5)) (+ h4 (* h1 h5))) (+ h4 (* h1 h5))) (sqrt (+ h4 (* h1 h5))) (sqrt (+ h4 (* h1 h5))) (+ (pow h4 3) (pow (* h1 h5) 3)) (+ (* h4 h4) (- (* (* h1 h5) (* h1 h5)) (* h4 (* h1 h5)))) (- (* h4 h4) (* (* h1 h5) (* h1 h5))) (- h4 (* h1 h5)) (- (+ (* h6 (pow h1 2)) h0) (* h7 h1)) (- (+ (* h8 (/ 1 h1)) (* h9 (/ 1 (pow h1 3)))) (* h10 (/ 1 (pow h1 2)))) (- (+ (* h8 (/ 1 h1)) (* h9 (/ 1 (pow h1 3)))) (* h10 (/ 1 (pow h1 2)))) (+ (* h5 (pow h1 2)) (* h4 h1)) (+ (* h5 (pow h1 2)) (* h4 h1)) (+ (* h5 (pow h1 2)) (* h4 h1)) (- (* h11 h1) (+ (* h6 (pow h1 2)) h0)) (- (+ (* h10 (/ 1 (pow h1 2))) h1) (* h8 (/ 1 h1))) (- (+ (* h10 (/ 1 (pow h1 2))) h1) (* h8 (/ 1 h1))) (+ (* h5 h1) h4) (+ (* h5 h1) h4) (+ (* h5 h1) h4) 0.406 * * [simplify]: iteration 0 : 418 enodes (cost 785 ) 0.414 * * [simplify]: iteration 1 : 1542 enodes (cost 737 ) 0.442 * * [simplify]: iteration 2 : 5001 enodes (cost 731 ) 0.446 * [simplify]: Simplified to: (log (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (log (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (exp (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (pow (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) 3) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (pow (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) 3) (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (- (+ 2.30753 (* x 0.27061))) (- (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (/ (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (cbrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (/ (cbrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (sqrt (+ 2.30753 (* x 0.27061))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ 1 (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (/ (+ 2.30753 (* x 0.27061)) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ 1 (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) 1 (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ 1 (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (+ 2.30753 (* x 0.27061))) (/ (+ 2.30753 (* x 0.27061)) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (+ 2.30753 (* x 0.27061)) (/ (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (cbrt (+ 2.30753 (* x 0.27061)))) (/ (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (sqrt (+ 2.30753 (* x 0.27061)))) (/ (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (+ 2.30753 (* x 0.27061))) (/ (+ 2.30753 (* x 0.27061)) (+ (pow 1.0 3) (pow (* (+ 0.99229 (* x 0.04481)) x) 3))) (/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x)))) (* (+ (* (* x 0.27061) (- (* x 0.27061) 2.30753)) (* 2.30753 2.30753)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (* (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (- 2.30753 (* x 0.27061))) (* (+ 0.99229 (* x 0.04481)) x) (log (* (+ 0.99229 (* x 0.04481)) x)) (log (* (+ 0.99229 (* x 0.04481)) x)) (exp (* (+ 0.99229 (* x 0.04481)) x)) (pow (* (+ 0.99229 (* x 0.04481)) x) 3) (* (cbrt (* (+ 0.99229 (* x 0.04481)) x)) (cbrt (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (* (+ 0.99229 (* x 0.04481)) x)) (pow (* (+ 0.99229 (* x 0.04481)) x) 3) (sqrt (* (+ 0.99229 (* x 0.04481)) x)) (sqrt (* (+ 0.99229 (* x 0.04481)) x)) (* (sqrt (+ 0.99229 (* x 0.04481))) (sqrt x)) (* (sqrt (+ 0.99229 (* x 0.04481))) (sqrt x)) (* (+ 0.99229 (* x 0.04481)) (* (cbrt x) (cbrt x))) (* (+ 0.99229 (* x 0.04481)) (sqrt x)) (+ 0.99229 (* x 0.04481)) (* (cbrt (+ 0.99229 (* x 0.04481))) x) (* (sqrt (+ 0.99229 (* x 0.04481))) x) (* (+ 0.99229 (* x 0.04481)) x) (* (+ (pow 0.99229 3) (pow (* x 0.04481) 3)) x) (* (- (* 0.99229 0.99229) (* (* x 0.04481) (* x 0.04481))) x) (exp (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (log (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (exp (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (* (cbrt (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (cbrt (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (pow (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) 3) (sqrt (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (sqrt (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (- (pow x 3) (pow (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) 3)) (+ (* (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (+ (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) x)) (pow x 2)) (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (- (* x x) (* (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (+ x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (+ (sqrt x) (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (- (sqrt x) (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (+ (sqrt x) (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (- (sqrt x) (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (exp (+ 0.99229 (* x 0.04481))) (log (+ 0.99229 (* x 0.04481))) (exp (+ 0.99229 (* x 0.04481))) (* (cbrt (+ 0.99229 (* x 0.04481))) (cbrt (+ 0.99229 (* x 0.04481)))) (cbrt (+ 0.99229 (* x 0.04481))) (pow (+ 0.99229 (* x 0.04481)) 3) (sqrt (+ 0.99229 (* x 0.04481))) (sqrt (+ 0.99229 (* x 0.04481))) (+ (pow 0.99229 3) (pow (* x 0.04481) 3)) (+ (* (* x 0.04481) (- (* x 0.04481) 0.99229)) (* 0.99229 0.99229)) (- (* 0.99229 0.99229) (* (* x 0.04481) (* x 0.04481))) (- 0.99229 (* x 0.04481)) (- (+ (* 1.900161040244073 (pow x 2)) 2.30753) (* 2.0191289436999997 x)) (- (* 1686.279566230464 (/ 1 (pow x 3))) (* (/ 1 x) (- (/ 82.23527511657369 x) 6.039053782637804))) (- (* 1686.279566230464 (/ 1 (pow x 3))) (* (/ 1 x) (- (/ 82.23527511657369 x) 6.039053782637804))) (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x) (- (* 3.0191289436999997 x) (+ (* 1.900161040244073 (pow x 2)) 2.30753)) (- x (* (/ 1 x) (- 6.039053782637804 (/ 82.23527511657369 x)))) (- x (* (/ 1 x) (- 6.039053782637804 (/ 82.23527511657369 x)))) (+ 0.99229 (* x 0.04481)) (+ 0.99229 (* x 0.04481)) (+ 0.99229 (* x 0.04481)) 0.447 * * * [progress]: adding candidates to table 0.632 * * [progress]: iteration 2 / 4 0.632 * * * [progress]: picking best candidate 0.634 * * * * [pick]: Picked # 0.634 * * * [progress]: localizing error 0.649 * * * [progress]: generating rewritten candidates 0.649 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1) 0.671 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1) 0.695 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1) 0.718 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 0.781 * * * [progress]: generating series expansions 0.781 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1) 0.781 * [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.781 * [taylor]: Taking taylor expansion of (/ (+ (* 0.27061 x) 2.30753) (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in x 0.781 * [taylor]: Taking taylor expansion of (+ (* 0.27061 x) 2.30753) in x 0.781 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x 0.781 * [taylor]: Taking taylor expansion of 0.27061 in x 0.781 * [taylor]: Taking taylor expansion of x in x 0.781 * [taylor]: Taking taylor expansion of 2.30753 in x 0.781 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x 0.781 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x 0.781 * [taylor]: Taking taylor expansion of 0.04481 in x 0.781 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.781 * [taylor]: Taking taylor expansion of x in x 0.781 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x 0.781 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x 0.781 * [taylor]: Taking taylor expansion of 0.99229 in x 0.781 * [taylor]: Taking taylor expansion of x in x 0.781 * [taylor]: Taking taylor expansion of 1.0 in x 0.783 * [taylor]: Taking taylor expansion of (/ (+ (* 0.27061 x) 2.30753) (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in x 0.783 * [taylor]: Taking taylor expansion of (+ (* 0.27061 x) 2.30753) in x 0.783 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x 0.783 * [taylor]: Taking taylor expansion of 0.27061 in x 0.783 * [taylor]: Taking taylor expansion of x in x 0.783 * [taylor]: Taking taylor expansion of 2.30753 in x 0.783 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x 0.783 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x 0.783 * [taylor]: Taking taylor expansion of 0.04481 in x 0.783 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.783 * [taylor]: Taking taylor expansion of x in x 0.783 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x 0.783 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x 0.783 * [taylor]: Taking taylor expansion of 0.99229 in x 0.783 * [taylor]: Taking taylor expansion of x in x 0.783 * [taylor]: Taking taylor expansion of 1.0 in x 0.794 * [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.794 * [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.794 * [taylor]: Taking taylor expansion of (+ (* 0.27061 (/ 1 x)) 2.30753) in x 0.794 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 0.794 * [taylor]: Taking taylor expansion of 0.27061 in x 0.794 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.794 * [taylor]: Taking taylor expansion of x in x 0.794 * [taylor]: Taking taylor expansion of 2.30753 in x 0.794 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x 0.794 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 0.794 * [taylor]: Taking taylor expansion of 0.04481 in x 0.794 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) 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.795 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x 0.795 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 0.795 * [taylor]: Taking taylor expansion of 0.99229 in x 0.795 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.795 * [taylor]: Taking taylor expansion of x in x 0.795 * [taylor]: Taking taylor expansion of 1.0 in x 0.796 * [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.796 * [taylor]: Taking taylor expansion of (+ (* 0.27061 (/ 1 x)) 2.30753) in x 0.796 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 0.796 * [taylor]: Taking taylor expansion of 0.27061 in x 0.796 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.796 * [taylor]: Taking taylor expansion of x in x 0.796 * [taylor]: Taking taylor expansion of 2.30753 in x 0.796 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x 0.796 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 0.796 * [taylor]: Taking taylor expansion of 0.04481 in x 0.797 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) 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 (/ 1 x)) 1.0) in x 0.797 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 0.797 * [taylor]: Taking taylor expansion of 0.99229 in x 0.797 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.797 * [taylor]: Taking taylor expansion of x in x 0.797 * [taylor]: Taking taylor expansion of 1.0 in x 0.814 * [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.814 * [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.814 * [taylor]: Taking taylor expansion of (- 2.30753 (* 0.27061 (/ 1 x))) in x 0.814 * [taylor]: Taking taylor expansion of 2.30753 in x 0.814 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 0.814 * [taylor]: Taking taylor expansion of 0.27061 in x 0.814 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.814 * [taylor]: Taking taylor expansion of x in x 0.815 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x 0.815 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x 0.815 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 0.815 * [taylor]: Taking taylor expansion of 0.04481 in x 0.815 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.815 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.815 * [taylor]: Taking taylor expansion of x in x 0.815 * [taylor]: Taking taylor expansion of 1.0 in x 0.815 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 0.815 * [taylor]: Taking taylor expansion of 0.99229 in x 0.815 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.815 * [taylor]: Taking taylor expansion of x in x 0.817 * [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.818 * [taylor]: Taking taylor expansion of (- 2.30753 (* 0.27061 (/ 1 x))) in x 0.818 * [taylor]: Taking taylor expansion of 2.30753 in x 0.818 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 0.818 * [taylor]: Taking taylor expansion of 0.27061 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 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x 0.818 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x 0.818 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 0.818 * [taylor]: Taking taylor expansion of 0.04481 in x 0.818 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.818 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.818 * [taylor]: Taking taylor expansion of x in x 0.818 * [taylor]: Taking taylor expansion of 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.834 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1) 0.834 * [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.834 * [taylor]: Taking taylor expansion of (/ (+ (* 0.27061 x) 2.30753) (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in x 0.834 * [taylor]: Taking taylor expansion of (+ (* 0.27061 x) 2.30753) in x 0.834 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x 0.834 * [taylor]: Taking taylor expansion of 0.27061 in x 0.834 * [taylor]: Taking taylor expansion of x in x 0.834 * [taylor]: Taking taylor expansion of 2.30753 in x 0.834 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x 0.834 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x 0.834 * [taylor]: Taking taylor expansion of 0.04481 in x 0.834 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.834 * [taylor]: Taking taylor expansion of x in x 0.834 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x 0.834 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x 0.834 * [taylor]: Taking taylor expansion of 0.99229 in x 0.834 * [taylor]: Taking taylor expansion of x in x 0.834 * [taylor]: Taking taylor expansion of 1.0 in x 0.836 * [taylor]: Taking taylor expansion of (/ (+ (* 0.27061 x) 2.30753) (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in x 0.836 * [taylor]: Taking taylor expansion of (+ (* 0.27061 x) 2.30753) in x 0.836 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x 0.836 * [taylor]: Taking taylor expansion of 0.27061 in x 0.836 * [taylor]: Taking taylor expansion of x in x 0.836 * [taylor]: Taking taylor expansion of 2.30753 in x 0.836 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x 0.836 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x 0.836 * [taylor]: Taking taylor expansion of 0.04481 in x 0.836 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.836 * [taylor]: Taking taylor expansion of x in x 0.836 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x 0.836 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x 0.836 * [taylor]: Taking taylor expansion of 0.99229 in x 0.836 * [taylor]: Taking taylor expansion of x in x 0.836 * [taylor]: Taking taylor expansion of 1.0 in x 0.846 * [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.846 * [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.846 * [taylor]: Taking taylor expansion of (+ (* 0.27061 (/ 1 x)) 2.30753) in x 0.846 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 0.847 * [taylor]: Taking taylor expansion of 0.27061 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 2.30753 in x 0.847 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x 0.847 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 0.847 * [taylor]: Taking taylor expansion of 0.04481 in x 0.847 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.847 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.847 * [taylor]: Taking taylor expansion of x in x 0.847 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 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.848 * [taylor]: Taking taylor expansion of 1.0 in x 0.849 * [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.849 * [taylor]: Taking taylor expansion of (+ (* 0.27061 (/ 1 x)) 2.30753) in x 0.849 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 0.849 * [taylor]: Taking taylor expansion of 0.27061 in x 0.849 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.849 * [taylor]: Taking taylor expansion of x in x 0.849 * [taylor]: Taking taylor expansion of 2.30753 in x 0.849 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x 0.849 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 0.849 * [taylor]: Taking taylor expansion of 0.04481 in x 0.849 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.849 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.849 * [taylor]: Taking taylor expansion of x in x 0.850 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x 0.850 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 0.850 * [taylor]: Taking taylor expansion of 0.99229 in x 0.850 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.850 * [taylor]: Taking taylor expansion of x in x 0.850 * [taylor]: Taking taylor expansion of 1.0 in x 0.862 * [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.862 * [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.862 * [taylor]: Taking taylor expansion of (- 2.30753 (* 0.27061 (/ 1 x))) in x 0.862 * [taylor]: Taking taylor expansion of 2.30753 in x 0.862 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 0.862 * [taylor]: Taking taylor expansion of 0.27061 in x 0.862 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.862 * [taylor]: Taking taylor expansion of x in x 0.863 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x 0.863 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x 0.863 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 0.863 * [taylor]: Taking taylor expansion of 0.04481 in x 0.863 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.863 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.863 * [taylor]: Taking taylor expansion of x in x 0.863 * [taylor]: Taking taylor expansion of 1.0 in x 0.863 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 0.863 * [taylor]: Taking taylor expansion of 0.99229 in x 0.863 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.863 * [taylor]: Taking taylor expansion of x in x 0.865 * [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.866 * [taylor]: Taking taylor expansion of (- 2.30753 (* 0.27061 (/ 1 x))) in x 0.866 * [taylor]: Taking taylor expansion of 2.30753 in x 0.866 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 0.866 * [taylor]: Taking taylor expansion of 0.27061 in x 0.866 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.866 * [taylor]: Taking taylor expansion of x in x 0.866 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x 0.866 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x 0.866 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 0.866 * [taylor]: Taking taylor expansion of 0.04481 in x 0.866 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.866 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.866 * [taylor]: Taking taylor expansion of x in x 0.866 * [taylor]: Taking taylor expansion of 1.0 in x 0.866 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 0.866 * [taylor]: Taking taylor expansion of 0.99229 in x 0.866 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.866 * [taylor]: Taking taylor expansion of x in x 0.882 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1) 0.882 * [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.882 * [taylor]: Taking taylor expansion of (/ (+ (* 0.27061 x) 2.30753) (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in x 0.882 * [taylor]: Taking taylor expansion of (+ (* 0.27061 x) 2.30753) in x 0.882 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x 0.882 * [taylor]: Taking taylor expansion of 0.27061 in x 0.882 * [taylor]: Taking taylor expansion of x in x 0.882 * [taylor]: Taking taylor expansion of 2.30753 in x 0.882 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x 0.882 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x 0.882 * [taylor]: Taking taylor expansion of 0.04481 in x 0.882 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.882 * [taylor]: Taking taylor expansion of x in x 0.882 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x 0.882 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x 0.882 * [taylor]: Taking taylor expansion of 0.99229 in x 0.882 * [taylor]: Taking taylor expansion of x in x 0.882 * [taylor]: Taking taylor expansion of 1.0 in x 0.883 * [taylor]: Taking taylor expansion of (/ (+ (* 0.27061 x) 2.30753) (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in x 0.884 * [taylor]: Taking taylor expansion of (+ (* 0.27061 x) 2.30753) in x 0.884 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x 0.884 * [taylor]: Taking taylor expansion of 0.27061 in x 0.884 * [taylor]: Taking taylor expansion of x in x 0.884 * [taylor]: Taking taylor expansion of 2.30753 in x 0.884 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x 0.884 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x 0.884 * [taylor]: Taking taylor expansion of 0.04481 in x 0.884 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.884 * [taylor]: Taking taylor expansion of x in x 0.884 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x 0.884 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x 0.884 * [taylor]: Taking taylor expansion of 0.99229 in x 0.884 * [taylor]: Taking taylor expansion of x in x 0.884 * [taylor]: Taking taylor expansion of 1.0 in x 0.899 * [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.899 * [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.899 * [taylor]: Taking taylor expansion of (+ (* 0.27061 (/ 1 x)) 2.30753) in x 0.899 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 0.899 * [taylor]: Taking taylor expansion of 0.27061 in x 0.899 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.899 * [taylor]: Taking taylor expansion of x in x 0.900 * [taylor]: Taking taylor expansion of 2.30753 in x 0.900 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x 0.900 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 0.900 * [taylor]: Taking taylor expansion of 0.04481 in x 0.900 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.900 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.900 * [taylor]: Taking taylor expansion of x in x 0.900 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x 0.900 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 0.900 * [taylor]: Taking taylor expansion of 0.99229 in x 0.900 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.900 * [taylor]: Taking taylor expansion of x in x 0.900 * [taylor]: Taking taylor expansion of 1.0 in x 0.902 * [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.902 * [taylor]: Taking taylor expansion of (+ (* 0.27061 (/ 1 x)) 2.30753) in x 0.902 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 0.902 * [taylor]: Taking taylor expansion of 0.27061 in x 0.902 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.902 * [taylor]: Taking taylor expansion of x in x 0.902 * [taylor]: Taking taylor expansion of 2.30753 in x 0.902 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x 0.902 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 0.902 * [taylor]: Taking taylor expansion of 0.04481 in x 0.902 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.902 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.902 * [taylor]: Taking taylor expansion of x in x 0.902 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x 0.902 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 0.902 * [taylor]: Taking taylor expansion of 0.99229 in x 0.902 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.902 * [taylor]: Taking taylor expansion of x in x 0.903 * [taylor]: Taking taylor expansion of 1.0 in x 0.915 * [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.915 * [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.915 * [taylor]: Taking taylor expansion of (- 2.30753 (* 0.27061 (/ 1 x))) in x 0.915 * [taylor]: Taking taylor expansion of 2.30753 in x 0.915 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 0.915 * [taylor]: Taking taylor expansion of 0.27061 in x 0.915 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.915 * [taylor]: Taking taylor expansion of x in x 0.916 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x 0.916 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x 0.916 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 0.916 * [taylor]: Taking taylor expansion of 0.04481 in x 0.916 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.916 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.916 * [taylor]: Taking taylor expansion of x in x 0.916 * [taylor]: Taking taylor expansion of 1.0 in x 0.916 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 0.916 * [taylor]: Taking taylor expansion of 0.99229 in x 0.916 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.916 * [taylor]: Taking taylor expansion of x in x 0.918 * [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.918 * [taylor]: Taking taylor expansion of (- 2.30753 (* 0.27061 (/ 1 x))) in x 0.919 * [taylor]: Taking taylor expansion of 2.30753 in x 0.919 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 0.919 * [taylor]: Taking taylor expansion of 0.27061 in x 0.919 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.919 * [taylor]: Taking taylor expansion of x in x 0.919 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x 0.919 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x 0.919 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 0.919 * [taylor]: Taking taylor expansion of 0.04481 in x 0.919 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.919 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.919 * [taylor]: Taking taylor expansion of x in x 0.919 * [taylor]: Taking taylor expansion of 1.0 in x 0.919 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 0.919 * [taylor]: Taking taylor expansion of 0.99229 in x 0.919 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.919 * [taylor]: Taking taylor expansion of x in x 0.935 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 0.935 * [approximate]: Taking taylor expansion of (pow (/ (pow (+ (* 0.27061 x) 2.30753) 2) (pow (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) 2)) 1/3) in (x) around 0 0.935 * [taylor]: Taking taylor expansion of (pow (/ (pow (+ (* 0.27061 x) 2.30753) 2) (pow (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) 2)) 1/3) in x 0.935 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (+ (* 0.27061 x) 2.30753) 2) (pow (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) 2))))) in x 0.935 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (+ (* 0.27061 x) 2.30753) 2) (pow (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) 2)))) in x 0.935 * [taylor]: Taking taylor expansion of 1/3 in x 0.935 * [taylor]: Taking taylor expansion of (log (/ (pow (+ (* 0.27061 x) 2.30753) 2) (pow (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) 2))) in x 0.935 * [taylor]: Taking taylor expansion of (/ (pow (+ (* 0.27061 x) 2.30753) 2) (pow (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) 2)) in x 0.935 * [taylor]: Taking taylor expansion of (pow (+ (* 0.27061 x) 2.30753) 2) in x 0.935 * [taylor]: Taking taylor expansion of (+ (* 0.27061 x) 2.30753) in x 0.935 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x 0.935 * [taylor]: Taking taylor expansion of 0.27061 in x 0.935 * [taylor]: Taking taylor expansion of x in x 0.935 * [taylor]: Taking taylor expansion of 2.30753 in x 0.936 * [taylor]: Taking taylor expansion of (pow (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) 2) in x 0.936 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x 0.936 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x 0.936 * [taylor]: Taking taylor expansion of 0.04481 in x 0.936 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.936 * [taylor]: Taking taylor expansion of x in x 0.936 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x 0.936 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x 0.936 * [taylor]: Taking taylor expansion of 0.99229 in x 0.936 * [taylor]: Taking taylor expansion of x in x 0.936 * [taylor]: Taking taylor expansion of 1.0 in x 0.939 * [taylor]: Taking taylor expansion of (pow (/ (pow (+ (* 0.27061 x) 2.30753) 2) (pow (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) 2)) 1/3) in x 0.939 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (+ (* 0.27061 x) 2.30753) 2) (pow (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) 2))))) in x 0.939 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (+ (* 0.27061 x) 2.30753) 2) (pow (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) 2)))) in x 0.939 * [taylor]: Taking taylor expansion of 1/3 in x 0.939 * [taylor]: Taking taylor expansion of (log (/ (pow (+ (* 0.27061 x) 2.30753) 2) (pow (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) 2))) in x 0.939 * [taylor]: Taking taylor expansion of (/ (pow (+ (* 0.27061 x) 2.30753) 2) (pow (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) 2)) in x 0.939 * [taylor]: Taking taylor expansion of (pow (+ (* 0.27061 x) 2.30753) 2) in x 0.939 * [taylor]: Taking taylor expansion of (+ (* 0.27061 x) 2.30753) in x 0.939 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x 0.939 * [taylor]: Taking taylor expansion of 0.27061 in x 0.939 * [taylor]: Taking taylor expansion of x in x 0.939 * [taylor]: Taking taylor expansion of 2.30753 in x 0.940 * [taylor]: Taking taylor expansion of (pow (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) 2) in x 0.940 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x 0.940 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x 0.940 * [taylor]: Taking taylor expansion of 0.04481 in x 0.940 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.940 * [taylor]: Taking taylor expansion of x in x 0.940 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x 0.940 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x 0.940 * [taylor]: Taking taylor expansion of 0.99229 in x 0.940 * [taylor]: Taking taylor expansion of x in x 0.940 * [taylor]: Taking taylor expansion of 1.0 in x 0.999 * [approximate]: Taking taylor expansion of (pow (/ (pow (+ (* 0.27061 (/ 1 x)) 2.30753) 2) (pow (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) 2)) 1/3) in (x) around 0 0.999 * [taylor]: Taking taylor expansion of (pow (/ (pow (+ (* 0.27061 (/ 1 x)) 2.30753) 2) (pow (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) 2)) 1/3) in x 0.999 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (+ (* 0.27061 (/ 1 x)) 2.30753) 2) (pow (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) 2))))) in x 0.999 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (+ (* 0.27061 (/ 1 x)) 2.30753) 2) (pow (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) 2)))) in x 0.999 * [taylor]: Taking taylor expansion of 1/3 in x 0.999 * [taylor]: Taking taylor expansion of (log (/ (pow (+ (* 0.27061 (/ 1 x)) 2.30753) 2) (pow (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) 2))) in x 0.999 * [taylor]: Taking taylor expansion of (/ (pow (+ (* 0.27061 (/ 1 x)) 2.30753) 2) (pow (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) 2)) in x 0.999 * [taylor]: Taking taylor expansion of (pow (+ (* 0.27061 (/ 1 x)) 2.30753) 2) in x 0.999 * [taylor]: Taking taylor expansion of (+ (* 0.27061 (/ 1 x)) 2.30753) in x 0.999 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 0.999 * [taylor]: Taking taylor expansion of 0.27061 in x 1.000 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.000 * [taylor]: Taking taylor expansion of x in x 1.000 * [taylor]: Taking taylor expansion of 2.30753 in x 1.000 * [taylor]: Taking taylor expansion of (pow (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) 2) in x 1.000 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x 1.000 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 1.000 * [taylor]: Taking taylor expansion of 0.04481 in x 1.000 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.000 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.000 * [taylor]: Taking taylor expansion of x in x 1.001 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x 1.001 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 1.001 * [taylor]: Taking taylor expansion of 0.99229 in x 1.001 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.001 * [taylor]: Taking taylor expansion of x in x 1.001 * [taylor]: Taking taylor expansion of 1.0 in x 1.003 * [taylor]: Taking taylor expansion of (pow (/ (pow (+ (* 0.27061 (/ 1 x)) 2.30753) 2) (pow (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) 2)) 1/3) in x 1.003 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (+ (* 0.27061 (/ 1 x)) 2.30753) 2) (pow (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) 2))))) in x 1.003 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (+ (* 0.27061 (/ 1 x)) 2.30753) 2) (pow (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) 2)))) in x 1.003 * [taylor]: Taking taylor expansion of 1/3 in x 1.003 * [taylor]: Taking taylor expansion of (log (/ (pow (+ (* 0.27061 (/ 1 x)) 2.30753) 2) (pow (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) 2))) in x 1.003 * [taylor]: Taking taylor expansion of (/ (pow (+ (* 0.27061 (/ 1 x)) 2.30753) 2) (pow (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) 2)) in x 1.003 * [taylor]: Taking taylor expansion of (pow (+ (* 0.27061 (/ 1 x)) 2.30753) 2) in x 1.003 * [taylor]: Taking taylor expansion of (+ (* 0.27061 (/ 1 x)) 2.30753) in x 1.003 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 1.003 * [taylor]: Taking taylor expansion of 0.27061 in x 1.004 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.004 * [taylor]: Taking taylor expansion of x in x 1.004 * [taylor]: Taking taylor expansion of 2.30753 in x 1.004 * [taylor]: Taking taylor expansion of (pow (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) 2) in x 1.004 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x 1.004 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 1.004 * [taylor]: Taking taylor expansion of 0.04481 in x 1.004 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.004 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.004 * [taylor]: Taking taylor expansion of x in x 1.005 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x 1.005 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 1.005 * [taylor]: Taking taylor expansion of 0.99229 in x 1.005 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.005 * [taylor]: Taking taylor expansion of x in x 1.005 * [taylor]: Taking taylor expansion of 1.0 in x 1.054 * [approximate]: Taking taylor expansion of (pow (/ (pow (- 2.30753 (* 0.27061 (/ 1 x))) 2) (pow (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) 2)) 1/3) in (x) around 0 1.054 * [taylor]: Taking taylor expansion of (pow (/ (pow (- 2.30753 (* 0.27061 (/ 1 x))) 2) (pow (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) 2)) 1/3) in x 1.054 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (- 2.30753 (* 0.27061 (/ 1 x))) 2) (pow (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) 2))))) in x 1.054 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (- 2.30753 (* 0.27061 (/ 1 x))) 2) (pow (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) 2)))) in x 1.054 * [taylor]: Taking taylor expansion of 1/3 in x 1.054 * [taylor]: Taking taylor expansion of (log (/ (pow (- 2.30753 (* 0.27061 (/ 1 x))) 2) (pow (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) 2))) in x 1.054 * [taylor]: Taking taylor expansion of (/ (pow (- 2.30753 (* 0.27061 (/ 1 x))) 2) (pow (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) 2)) in x 1.054 * [taylor]: Taking taylor expansion of (pow (- 2.30753 (* 0.27061 (/ 1 x))) 2) in x 1.054 * [taylor]: Taking taylor expansion of (- 2.30753 (* 0.27061 (/ 1 x))) in x 1.054 * [taylor]: Taking taylor expansion of 2.30753 in x 1.054 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 1.054 * [taylor]: Taking taylor expansion of 0.27061 in x 1.054 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.054 * [taylor]: Taking taylor expansion of x in x 1.061 * [taylor]: Taking taylor expansion of (pow (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) 2) in x 1.061 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x 1.062 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x 1.062 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 1.062 * [taylor]: Taking taylor expansion of 0.04481 in x 1.062 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.062 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.062 * [taylor]: Taking taylor expansion of x in x 1.062 * [taylor]: Taking taylor expansion of 1.0 in x 1.062 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 1.062 * [taylor]: Taking taylor expansion of 0.99229 in x 1.062 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.062 * [taylor]: Taking taylor expansion of x in x 1.065 * [taylor]: Taking taylor expansion of (pow (/ (pow (- 2.30753 (* 0.27061 (/ 1 x))) 2) (pow (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) 2)) 1/3) in x 1.065 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (- 2.30753 (* 0.27061 (/ 1 x))) 2) (pow (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) 2))))) in x 1.065 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (- 2.30753 (* 0.27061 (/ 1 x))) 2) (pow (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) 2)))) in x 1.065 * [taylor]: Taking taylor expansion of 1/3 in x 1.065 * [taylor]: Taking taylor expansion of (log (/ (pow (- 2.30753 (* 0.27061 (/ 1 x))) 2) (pow (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) 2))) in x 1.065 * [taylor]: Taking taylor expansion of (/ (pow (- 2.30753 (* 0.27061 (/ 1 x))) 2) (pow (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) 2)) in x 1.065 * [taylor]: Taking taylor expansion of (pow (- 2.30753 (* 0.27061 (/ 1 x))) 2) in x 1.065 * [taylor]: Taking taylor expansion of (- 2.30753 (* 0.27061 (/ 1 x))) in x 1.065 * [taylor]: Taking taylor expansion of 2.30753 in x 1.065 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 1.065 * [taylor]: Taking taylor expansion of 0.27061 in x 1.065 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.065 * [taylor]: Taking taylor expansion of x in x 1.067 * [taylor]: Taking taylor expansion of (pow (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) 2) in x 1.067 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x 1.067 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x 1.067 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 1.067 * [taylor]: Taking taylor expansion of 0.04481 in x 1.067 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.067 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.067 * [taylor]: Taking taylor expansion of x in x 1.067 * [taylor]: Taking taylor expansion of 1.0 in x 1.067 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 1.067 * [taylor]: Taking taylor expansion of 0.99229 in x 1.067 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.067 * [taylor]: Taking taylor expansion of x in x 1.119 * * * [progress]: simplifying candidates 1.123 * [simplify]: Simplifying using # : (- (log (+ 2.30753 (* x 0.27061))) (log (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (log (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (exp (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (* (* (+ 2.30753 (* x 0.27061)) (+ 2.30753 (* x 0.27061))) (+ 2.30753 (* x 0.27061))) (* (* (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (* (* (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (- (+ 2.30753 (* x 0.27061))) (- (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (/ (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (cbrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) 1) (/ (cbrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (sqrt (+ 2.30753 (* x 0.27061))) 1) (/ (sqrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ 1 (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (/ (+ 2.30753 (* x 0.27061)) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ 1 (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ 1 1) (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ 1 (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (+ 2.30753 (* x 0.27061))) (/ (+ 2.30753 (* x 0.27061)) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (+ 2.30753 (* x 0.27061)) 1) (/ (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (cbrt (+ 2.30753 (* x 0.27061)))) (/ (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (sqrt (+ 2.30753 (* x 0.27061)))) (/ (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (+ 2.30753 (* x 0.27061))) (/ (+ 2.30753 (* x 0.27061)) (+ (pow 1.0 3) (pow (* (+ 0.99229 (* x 0.04481)) x) 3))) (/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x)))) (* (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (+ (* 2.30753 2.30753) (- (* (* x 0.27061) (* x 0.27061)) (* 2.30753 (* x 0.27061))))) (* (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (- 2.30753 (* x 0.27061))) (- (log (+ 2.30753 (* x 0.27061))) (log (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (log (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (exp (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (* (* (+ 2.30753 (* x 0.27061)) (+ 2.30753 (* x 0.27061))) (+ 2.30753 (* x 0.27061))) (* (* (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (* (* (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (- (+ 2.30753 (* x 0.27061))) (- (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (/ (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (cbrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) 1) (/ (cbrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (sqrt (+ 2.30753 (* x 0.27061))) 1) (/ (sqrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ 1 (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (/ (+ 2.30753 (* x 0.27061)) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ 1 (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ 1 1) (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ 1 (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (+ 2.30753 (* x 0.27061))) (/ (+ 2.30753 (* x 0.27061)) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (+ 2.30753 (* x 0.27061)) 1) (/ (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (cbrt (+ 2.30753 (* x 0.27061)))) (/ (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (sqrt (+ 2.30753 (* x 0.27061)))) (/ (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (+ 2.30753 (* x 0.27061))) (/ (+ 2.30753 (* x 0.27061)) (+ (pow 1.0 3) (pow (* (+ 0.99229 (* x 0.04481)) x) 3))) (/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x)))) (* (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (+ (* 2.30753 2.30753) (- (* (* x 0.27061) (* x 0.27061)) (* 2.30753 (* x 0.27061))))) (* (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (- 2.30753 (* x 0.27061))) (- (log (+ 2.30753 (* x 0.27061))) (log (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (log (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (exp (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (* (* (+ 2.30753 (* x 0.27061)) (+ 2.30753 (* x 0.27061))) (+ 2.30753 (* x 0.27061))) (* (* (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (* (* (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (- (+ 2.30753 (* x 0.27061))) (- (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (/ (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (cbrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) 1) (/ (cbrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (sqrt (+ 2.30753 (* x 0.27061))) 1) (/ (sqrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ 1 (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (/ (+ 2.30753 (* x 0.27061)) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ 1 (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ 1 1) (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ 1 (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (+ 2.30753 (* x 0.27061))) (/ (+ 2.30753 (* x 0.27061)) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (+ 2.30753 (* x 0.27061)) 1) (/ (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (cbrt (+ 2.30753 (* x 0.27061)))) (/ (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (sqrt (+ 2.30753 (* x 0.27061)))) (/ (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (+ 2.30753 (* x 0.27061))) (/ (+ 2.30753 (* x 0.27061)) (+ (pow 1.0 3) (pow (* (+ 0.99229 (* x 0.04481)) x) 3))) (/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x)))) (* (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (+ (* 2.30753 2.30753) (- (* (* x 0.27061) (* x 0.27061)) (* 2.30753 (* x 0.27061))))) (* (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (- 2.30753 (* x 0.27061))) (+ 1/3 1/3) (+ 1 1) (* (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (+ 1 1) (+ (log (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (log (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (log (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (exp (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (* (cbrt (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (cbrt (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))))) (cbrt (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (* (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (sqrt (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (sqrt (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (* (cbrt (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (cbrt (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))))) (* (cbrt (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (cbrt (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (cbrt (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (cbrt (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (cbrt (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))))) (* (cbrt (/ (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (/ (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (cbrt (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (cbrt (/ (cbrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (/ (cbrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (cbrt (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) 1)) (cbrt (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) 1))) (* (cbrt (/ (cbrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (cbrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (* (cbrt (/ (sqrt (+ 2.30753 (* x 0.27061))) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (cbrt (/ (sqrt (+ 2.30753 (* x 0.27061))) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))))) (* (cbrt (/ (sqrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (/ (sqrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (cbrt (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (cbrt (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (cbrt (/ (sqrt (+ 2.30753 (* x 0.27061))) 1)) (cbrt (/ (sqrt (+ 2.30753 (* x 0.27061))) 1))) (* (cbrt (/ (sqrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (sqrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (* (cbrt (/ 1 (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (cbrt (/ 1 (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))))) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (cbrt (/ 1 (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (/ 1 (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (cbrt (/ 1 1)) (cbrt (/ 1 1))) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (* (cbrt 1) (cbrt 1)) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (* (cbrt (/ 1 (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ 1 (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ (pow 1.0 3) (pow (* (+ 0.99229 (* x 0.04481)) x) 3)))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ (pow 1.0 3) (pow (* (+ 0.99229 (* x 0.04481)) x) 3))))) (* (cbrt (+ (* 1.0 1.0) (- (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x)) (* 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (+ (* 1.0 1.0) (- (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x)) (* 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x)))))) (* (cbrt (- 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (- 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (* (* (cbrt (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (cbrt (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))))) (* (cbrt (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (sqrt (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (sqrt (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (sqrt (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (sqrt (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* 1 1) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (* (cbrt (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (cbrt (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (cbrt (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (cbrt (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (cbrt (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (sqrt (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (cbrt (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (sqrt (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (cbrt (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (cbrt (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (cbrt (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (cbrt (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (cbrt (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (sqrt (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (cbrt (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (sqrt (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (sqrt (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (sqrt (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (sqrt (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (sqrt (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (sqrt (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (sqrt (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (sqrt (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (sqrt (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* 2 1/3) (* 2 1) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))))) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))))) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) 1))) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (sqrt (+ 2.30753 (* x 0.27061))) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))))) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (sqrt (+ 2.30753 (* x 0.27061))) 1))) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ 1 (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))))) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ 1 (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ 1 1))) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt 1)) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (+ 2.30753 (* x 0.27061)))) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ (pow 1.0 3) (pow (* (+ 0.99229 (* x 0.04481)) x) 3))))) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x)))))) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (* (cbrt (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))))) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (sqrt (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) 1) (* (cbrt (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (* (cbrt (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (* (cbrt (/ (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (* (cbrt (/ (cbrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (* (cbrt (/ (cbrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (* (cbrt (/ (sqrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (* (cbrt (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (* (cbrt (/ (sqrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (* (cbrt (/ 1 (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (* (cbrt (+ (* 1.0 1.0) (- (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x)) (* 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (* (cbrt (- 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (* (cbrt (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (* (sqrt (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (+ 2.30753 (* x 0.27061)))) (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (- (+ (* 1.900161040244073 (pow x 2)) 2.30753) (* 2.0191289436999997 x)) (- (+ (* 6.039053782637804 (/ 1 x)) (* 1686.279566230464 (/ 1 (pow x 3)))) (* 82.23527511657369 (/ 1 (pow x 2)))) (- (+ (* 6.039053782637804 (/ 1 x)) (* 1686.279566230464 (/ 1 (pow x 3)))) (* 82.23527511657369 (/ 1 (pow x 2)))) (- (+ (* 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)))) (- (+ (* 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)))) (- (+ (pow 5.324694700899999 1/3) (* 0.9743381798377971 (* (pow x 2) (pow 5.324694700899999 1/3)))) (+ (* 14.472100225195023 (* (pow x 2) (pow (/ 1 (pow 5.324694700899999 5)) 1/3))) (* 0.5833449456634006 (* x (pow 5.324694700899999 1/3))))) (- (+ (exp (* 1/3 (+ (* 2 (log (/ 1 x))) (log 36.47017058959197)))) (* 289.16904720043374 (/ (exp (* 1/3 (+ (* 2 (log (/ 1 x))) (log 36.47017058959197)))) (pow x 2)))) (+ (* 9.07816335433198 (/ (exp (* 1/3 (+ (* 2 (log (/ 1 x))) (log 36.47017058959197)))) x)) (* 164423.10113638107 (/ (exp (* 1/3 (+ (* 2 (log (/ 1 x))) (log 36.47017058959197)))) (* (pow 36.47017058959197 2) (pow x 2)))))) (- (+ (* 289.16904720043374 (/ (exp (* 1/3 (+ (log 36.47017058959197) (* 2 (log (/ -1 x)))))) (pow x 2))) (exp (* 1/3 (+ (log 36.47017058959197) (* 2 (log (/ -1 x))))))) (+ (* 164423.10113638107 (/ (exp (* 1/3 (+ (log 36.47017058959197) (* 2 (log (/ -1 x)))))) (* (pow 36.47017058959197 2) (pow x 2)))) (* 9.07816335433198 (/ (exp (* 1/3 (+ (log 36.47017058959197) (* 2 (log (/ -1 x)))))) x)))) 1.124 * [simplify]: Sending expressions to egg_math: (- (log (+ h0 (* h1 h2))) (log (+ h3 (* (+ h4 (* h1 h5)) h1)))) (log (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (exp (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (/ (* (* (+ h0 (* h1 h2)) (+ h0 (* h1 h2))) (+ h0 (* h1 h2))) (* (* (+ h3 (* (+ h4 (* h1 h5)) h1)) (+ h3 (* (+ h4 (* h1 h5)) h1))) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (* (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))) (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (* (* (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))) (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (sqrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (sqrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (- (+ h0 (* h1 h2))) (- (+ h3 (* (+ h4 (* h1 h5)) h1))) (/ (* (cbrt (+ h0 (* h1 h2))) (cbrt (+ h0 (* h1 h2)))) (* (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1))) (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1))))) (/ (cbrt (+ h0 (* h1 h2))) (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1)))) (/ (* (cbrt (+ h0 (* h1 h2))) (cbrt (+ h0 (* h1 h2)))) (sqrt (+ h3 (* (+ h4 (* h1 h5)) h1)))) (/ (cbrt (+ h0 (* h1 h2))) (sqrt (+ h3 (* (+ h4 (* h1 h5)) h1)))) (/ (* (cbrt (+ h0 (* h1 h2))) (cbrt (+ h0 (* h1 h2)))) 1) (/ (cbrt (+ h0 (* h1 h2))) (+ h3 (* (+ h4 (* h1 h5)) h1))) (/ (sqrt (+ h0 (* h1 h2))) (* (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1))) (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1))))) (/ (sqrt (+ h0 (* h1 h2))) (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1)))) (/ (sqrt (+ h0 (* h1 h2))) (sqrt (+ h3 (* (+ h4 (* h1 h5)) h1)))) (/ (sqrt (+ h0 (* h1 h2))) (sqrt (+ h3 (* (+ h4 (* h1 h5)) h1)))) (/ (sqrt (+ h0 (* h1 h2))) 1) (/ (sqrt (+ h0 (* h1 h2))) (+ h3 (* (+ h4 (* h1 h5)) h1))) (/ 1 (* (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1))) (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1))))) (/ (+ h0 (* h1 h2)) (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1)))) (/ 1 (sqrt (+ h3 (* (+ h4 (* h1 h5)) h1)))) (/ (+ h0 (* h1 h2)) (sqrt (+ h3 (* (+ h4 (* h1 h5)) h1)))) (/ 1 1) (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))) (/ 1 (+ h3 (* (+ h4 (* h1 h5)) h1))) (/ (+ h3 (* (+ h4 (* h1 h5)) h1)) (+ h0 (* h1 h2))) (/ (+ h0 (* h1 h2)) (* (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1))) (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1))))) (/ (+ h0 (* h1 h2)) (sqrt (+ h3 (* (+ h4 (* h1 h5)) h1)))) (/ (+ h0 (* h1 h2)) 1) (/ (+ h3 (* (+ h4 (* h1 h5)) h1)) (cbrt (+ h0 (* h1 h2)))) (/ (+ h3 (* (+ h4 (* h1 h5)) h1)) (sqrt (+ h0 (* h1 h2)))) (/ (+ h3 (* (+ h4 (* h1 h5)) h1)) (+ h0 (* h1 h2))) (/ (+ h0 (* h1 h2)) (+ (pow h3 3) (pow (* (+ h4 (* h1 h5)) h1) 3))) (/ (+ h0 (* h1 h2)) (- (* h3 h3) (* (* (+ h4 (* h1 h5)) h1) (* (+ h4 (* h1 h5)) h1)))) (* (+ h3 (* (+ h4 (* h1 h5)) h1)) (+ (* h0 h0) (- (* (* h1 h2) (* h1 h2)) (* h0 (* h1 h2))))) (* (+ h3 (* (+ h4 (* h1 h5)) h1)) (- h0 (* h1 h2))) (- (log (+ h0 (* h1 h2))) (log (+ h3 (* (+ h4 (* h1 h5)) h1)))) (log (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (exp (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (/ (* (* (+ h0 (* h1 h2)) (+ h0 (* h1 h2))) (+ h0 (* h1 h2))) (* (* (+ h3 (* (+ h4 (* h1 h5)) h1)) (+ h3 (* (+ h4 (* h1 h5)) h1))) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (* (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))) (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (* (* (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))) (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (sqrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (sqrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (- (+ h0 (* h1 h2))) (- (+ h3 (* (+ h4 (* h1 h5)) h1))) (/ (* (cbrt (+ h0 (* h1 h2))) (cbrt (+ h0 (* h1 h2)))) (* (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1))) (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1))))) (/ (cbrt (+ h0 (* h1 h2))) (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1)))) (/ (* (cbrt (+ h0 (* h1 h2))) (cbrt (+ h0 (* h1 h2)))) (sqrt (+ h3 (* (+ h4 (* h1 h5)) h1)))) (/ (cbrt (+ h0 (* h1 h2))) (sqrt (+ h3 (* (+ h4 (* h1 h5)) h1)))) (/ (* (cbrt (+ h0 (* h1 h2))) (cbrt (+ h0 (* h1 h2)))) 1) (/ (cbrt (+ h0 (* h1 h2))) (+ h3 (* (+ h4 (* h1 h5)) h1))) (/ (sqrt (+ h0 (* h1 h2))) (* (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1))) (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1))))) (/ (sqrt (+ h0 (* h1 h2))) (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1)))) (/ (sqrt (+ h0 (* h1 h2))) (sqrt (+ h3 (* (+ h4 (* h1 h5)) h1)))) (/ (sqrt (+ h0 (* h1 h2))) (sqrt (+ h3 (* (+ h4 (* h1 h5)) h1)))) (/ (sqrt (+ h0 (* h1 h2))) 1) (/ (sqrt (+ h0 (* h1 h2))) (+ h3 (* (+ h4 (* h1 h5)) h1))) (/ 1 (* (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1))) (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1))))) (/ (+ h0 (* h1 h2)) (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1)))) (/ 1 (sqrt (+ h3 (* (+ h4 (* h1 h5)) h1)))) (/ (+ h0 (* h1 h2)) (sqrt (+ h3 (* (+ h4 (* h1 h5)) h1)))) (/ 1 1) (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))) (/ 1 (+ h3 (* (+ h4 (* h1 h5)) h1))) (/ (+ h3 (* (+ h4 (* h1 h5)) h1)) (+ h0 (* h1 h2))) (/ (+ h0 (* h1 h2)) (* (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1))) (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1))))) (/ (+ h0 (* h1 h2)) (sqrt (+ h3 (* (+ h4 (* h1 h5)) h1)))) (/ (+ h0 (* h1 h2)) 1) (/ (+ h3 (* (+ h4 (* h1 h5)) h1)) (cbrt (+ h0 (* h1 h2)))) (/ (+ h3 (* (+ h4 (* h1 h5)) h1)) (sqrt (+ h0 (* h1 h2)))) (/ (+ h3 (* (+ h4 (* h1 h5)) h1)) (+ h0 (* h1 h2))) (/ (+ h0 (* h1 h2)) (+ (pow h3 3) (pow (* (+ h4 (* h1 h5)) h1) 3))) (/ (+ h0 (* h1 h2)) (- (* h3 h3) (* (* (+ h4 (* h1 h5)) h1) (* (+ h4 (* h1 h5)) h1)))) (* (+ h3 (* (+ h4 (* h1 h5)) h1)) (+ (* h0 h0) (- (* (* h1 h2) (* h1 h2)) (* h0 (* h1 h2))))) (* (+ h3 (* (+ h4 (* h1 h5)) h1)) (- h0 (* h1 h2))) (- (log (+ h0 (* h1 h2))) (log (+ h3 (* (+ h4 (* h1 h5)) h1)))) (log (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (exp (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (/ (* (* (+ h0 (* h1 h2)) (+ h0 (* h1 h2))) (+ h0 (* h1 h2))) (* (* (+ h3 (* (+ h4 (* h1 h5)) h1)) (+ h3 (* (+ h4 (* h1 h5)) h1))) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (* (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))) (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (* (* (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))) (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (sqrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (sqrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (- (+ h0 (* h1 h2))) (- (+ h3 (* (+ h4 (* h1 h5)) h1))) (/ (* (cbrt (+ h0 (* h1 h2))) (cbrt (+ h0 (* h1 h2)))) (* (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1))) (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1))))) (/ (cbrt (+ h0 (* h1 h2))) (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1)))) (/ (* (cbrt (+ h0 (* h1 h2))) (cbrt (+ h0 (* h1 h2)))) (sqrt (+ h3 (* (+ h4 (* h1 h5)) h1)))) (/ (cbrt (+ h0 (* h1 h2))) (sqrt (+ h3 (* (+ h4 (* h1 h5)) h1)))) (/ (* (cbrt (+ h0 (* h1 h2))) (cbrt (+ h0 (* h1 h2)))) 1) (/ (cbrt (+ h0 (* h1 h2))) (+ h3 (* (+ h4 (* h1 h5)) h1))) (/ (sqrt (+ h0 (* h1 h2))) (* (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1))) (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1))))) (/ (sqrt (+ h0 (* h1 h2))) (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1)))) (/ (sqrt (+ h0 (* h1 h2))) (sqrt (+ h3 (* (+ h4 (* h1 h5)) h1)))) (/ (sqrt (+ h0 (* h1 h2))) (sqrt (+ h3 (* (+ h4 (* h1 h5)) h1)))) (/ (sqrt (+ h0 (* h1 h2))) 1) (/ (sqrt (+ h0 (* h1 h2))) (+ h3 (* (+ h4 (* h1 h5)) h1))) (/ 1 (* (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1))) (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1))))) (/ (+ h0 (* h1 h2)) (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1)))) (/ 1 (sqrt (+ h3 (* (+ h4 (* h1 h5)) h1)))) (/ (+ h0 (* h1 h2)) (sqrt (+ h3 (* (+ h4 (* h1 h5)) h1)))) (/ 1 1) (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))) (/ 1 (+ h3 (* (+ h4 (* h1 h5)) h1))) (/ (+ h3 (* (+ h4 (* h1 h5)) h1)) (+ h0 (* h1 h2))) (/ (+ h0 (* h1 h2)) (* (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1))) (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1))))) (/ (+ h0 (* h1 h2)) (sqrt (+ h3 (* (+ h4 (* h1 h5)) h1)))) (/ (+ h0 (* h1 h2)) 1) (/ (+ h3 (* (+ h4 (* h1 h5)) h1)) (cbrt (+ h0 (* h1 h2)))) (/ (+ h3 (* (+ h4 (* h1 h5)) h1)) (sqrt (+ h0 (* h1 h2)))) (/ (+ h3 (* (+ h4 (* h1 h5)) h1)) (+ h0 (* h1 h2))) (/ (+ h0 (* h1 h2)) (+ (pow h3 3) (pow (* (+ h4 (* h1 h5)) h1) 3))) (/ (+ h0 (* h1 h2)) (- (* h3 h3) (* (* (+ h4 (* h1 h5)) h1) (* (+ h4 (* h1 h5)) h1)))) (* (+ h3 (* (+ h4 (* h1 h5)) h1)) (+ (* h0 h0) (- (* (* h1 h2) (* h1 h2)) (* h0 (* h1 h2))))) (* (+ h3 (* (+ h4 (* h1 h5)) h1)) (- h0 (* h1 h2))) (+ 1/3 1/3) (+ 1 1) (* (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))) (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (* (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))) (+ 1 1) (+ (log (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))) (log (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))))) (log (* (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))))) (exp (* (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))))) (* (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))) (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (* (cbrt (* (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))))) (cbrt (* (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))))) (cbrt (* (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))))) (* (* (* (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))) (* (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))))) (* (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))))) (sqrt (* (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))))) (sqrt (* (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))))) (* (cbrt (+ h0 (* h1 h2))) (cbrt (+ h0 (* h1 h2)))) (* (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1))) (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1)))) (* (cbrt (* (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))))) (cbrt (* (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))))) (* (cbrt (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))) (cbrt (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))))) (* (cbrt (sqrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))) (cbrt (sqrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))))) (* (cbrt (sqrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))) (cbrt (sqrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))))) (* (cbrt (/ (* (cbrt (+ h0 (* h1 h2))) (cbrt (+ h0 (* h1 h2)))) (* (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1))) (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1)))))) (cbrt (/ (* (cbrt (+ h0 (* h1 h2))) (cbrt (+ h0 (* h1 h2)))) (* (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1))) (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1))))))) (* (cbrt (/ (cbrt (+ h0 (* h1 h2))) (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1))))) (cbrt (/ (cbrt (+ h0 (* h1 h2))) (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1)))))) (* (cbrt (/ (* (cbrt (+ h0 (* h1 h2))) (cbrt (+ h0 (* h1 h2)))) (sqrt (+ h3 (* (+ h4 (* h1 h5)) h1))))) (cbrt (/ (* (cbrt (+ h0 (* h1 h2))) (cbrt (+ h0 (* h1 h2)))) (sqrt (+ h3 (* (+ h4 (* h1 h5)) h1)))))) (* (cbrt (/ (cbrt (+ h0 (* h1 h2))) (sqrt (+ h3 (* (+ h4 (* h1 h5)) h1))))) (cbrt (/ (cbrt (+ h0 (* h1 h2))) (sqrt (+ h3 (* (+ h4 (* h1 h5)) h1)))))) (* (cbrt (/ (* (cbrt (+ h0 (* h1 h2))) (cbrt (+ h0 (* h1 h2)))) 1)) (cbrt (/ (* (cbrt (+ h0 (* h1 h2))) (cbrt (+ h0 (* h1 h2)))) 1))) (* (cbrt (/ (cbrt (+ h0 (* h1 h2))) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (cbrt (/ (cbrt (+ h0 (* h1 h2))) (+ h3 (* (+ h4 (* h1 h5)) h1))))) (* (cbrt (/ (sqrt (+ h0 (* h1 h2))) (* (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1))) (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1)))))) (cbrt (/ (sqrt (+ h0 (* h1 h2))) (* (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1))) (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1))))))) (* (cbrt (/ (sqrt (+ h0 (* h1 h2))) (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1))))) (cbrt (/ (sqrt (+ h0 (* h1 h2))) (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1)))))) (* (cbrt (/ (sqrt (+ h0 (* h1 h2))) (sqrt (+ h3 (* (+ h4 (* h1 h5)) h1))))) (cbrt (/ (sqrt (+ h0 (* h1 h2))) (sqrt (+ h3 (* (+ h4 (* h1 h5)) h1)))))) (* (cbrt (/ (sqrt (+ h0 (* h1 h2))) (sqrt (+ h3 (* (+ h4 (* h1 h5)) h1))))) (cbrt (/ (sqrt (+ h0 (* h1 h2))) (sqrt (+ h3 (* (+ h4 (* h1 h5)) h1)))))) (* (cbrt (/ (sqrt (+ h0 (* h1 h2))) 1)) (cbrt (/ (sqrt (+ h0 (* h1 h2))) 1))) (* (cbrt (/ (sqrt (+ h0 (* h1 h2))) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (cbrt (/ (sqrt (+ h0 (* h1 h2))) (+ h3 (* (+ h4 (* h1 h5)) h1))))) (* (cbrt (/ 1 (* (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1))) (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1)))))) (cbrt (/ 1 (* (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1))) (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1))))))) (* (cbrt (/ (+ h0 (* h1 h2)) (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1))))) (cbrt (/ (+ h0 (* h1 h2)) (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1)))))) (* (cbrt (/ 1 (sqrt (+ h3 (* (+ h4 (* h1 h5)) h1))))) (cbrt (/ 1 (sqrt (+ h3 (* (+ h4 (* h1 h5)) h1)))))) (* (cbrt (/ (+ h0 (* h1 h2)) (sqrt (+ h3 (* (+ h4 (* h1 h5)) h1))))) (cbrt (/ (+ h0 (* h1 h2)) (sqrt (+ h3 (* (+ h4 (* h1 h5)) h1)))))) (* (cbrt (/ 1 1)) (cbrt (/ 1 1))) (* (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))) (* (cbrt 1) (cbrt 1)) (* (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))) (* (cbrt (+ h0 (* h1 h2))) (cbrt (+ h0 (* h1 h2)))) (* (cbrt (/ 1 (+ h3 (* (+ h4 (* h1 h5)) h1)))) (cbrt (/ 1 (+ h3 (* (+ h4 (* h1 h5)) h1))))) (* (cbrt (/ (+ h0 (* h1 h2)) (+ (pow h3 3) (pow (* (+ h4 (* h1 h5)) h1) 3)))) (cbrt (/ (+ h0 (* h1 h2)) (+ (pow h3 3) (pow (* (+ h4 (* h1 h5)) h1) 3))))) (* (cbrt (+ (* h3 h3) (- (* (* (+ h4 (* h1 h5)) h1) (* (+ h4 (* h1 h5)) h1)) (* h3 (* (+ h4 (* h1 h5)) h1))))) (cbrt (+ (* h3 h3) (- (* (* (+ h4 (* h1 h5)) h1) (* (+ h4 (* h1 h5)) h1)) (* h3 (* (+ h4 (* h1 h5)) h1)))))) (* (cbrt (/ (+ h0 (* h1 h2)) (- (* h3 h3) (* (* (+ h4 (* h1 h5)) h1) (* (+ h4 (* h1 h5)) h1))))) (cbrt (/ (+ h0 (* h1 h2)) (- (* h3 h3) (* (* (+ h4 (* h1 h5)) h1) (* (+ h4 (* h1 h5)) h1)))))) (* (cbrt (- h3 (* (+ h4 (* h1 h5)) h1))) (cbrt (- h3 (* (+ h4 (* h1 h5)) h1)))) (* (* (cbrt (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))) (cbrt (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))))) (* (cbrt (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))) (cbrt (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))))) (* (cbrt (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))) (cbrt (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))))) (* (sqrt (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))) (sqrt (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))))) (* (sqrt (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))) (sqrt (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))))) (* 1 1) (* (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))) (* (cbrt (sqrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))) (cbrt (sqrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))))) (* (cbrt (sqrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))) (cbrt (sqrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))))) (* (cbrt (sqrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))) (cbrt (/ (sqrt (+ h0 (* h1 h2))) (sqrt (+ h3 (* (+ h4 (* h1 h5)) h1)))))) (* (cbrt (sqrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))) (cbrt (/ (sqrt (+ h0 (* h1 h2))) (sqrt (+ h3 (* (+ h4 (* h1 h5)) h1)))))) (* (cbrt (sqrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))) (sqrt (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))))) (* (cbrt (sqrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))) (sqrt (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))))) (* (cbrt (/ (sqrt (+ h0 (* h1 h2))) (sqrt (+ h3 (* (+ h4 (* h1 h5)) h1))))) (cbrt (sqrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))))) (* (cbrt (/ (sqrt (+ h0 (* h1 h2))) (sqrt (+ h3 (* (+ h4 (* h1 h5)) h1))))) (cbrt (sqrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))))) (* (cbrt (/ (sqrt (+ h0 (* h1 h2))) (sqrt (+ h3 (* (+ h4 (* h1 h5)) h1))))) (cbrt (/ (sqrt (+ h0 (* h1 h2))) (sqrt (+ h3 (* (+ h4 (* h1 h5)) h1)))))) (* (cbrt (/ (sqrt (+ h0 (* h1 h2))) (sqrt (+ h3 (* (+ h4 (* h1 h5)) h1))))) (cbrt (/ (sqrt (+ h0 (* h1 h2))) (sqrt (+ h3 (* (+ h4 (* h1 h5)) h1)))))) (* (cbrt (/ (sqrt (+ h0 (* h1 h2))) (sqrt (+ h3 (* (+ h4 (* h1 h5)) h1))))) (sqrt (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))))) (* (cbrt (/ (sqrt (+ h0 (* h1 h2))) (sqrt (+ h3 (* (+ h4 (* h1 h5)) h1))))) (sqrt (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))))) (* (sqrt (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))) (cbrt (sqrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))))) (* (sqrt (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))) (cbrt (sqrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))))) (* (sqrt (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))) (cbrt (/ (sqrt (+ h0 (* h1 h2))) (sqrt (+ h3 (* (+ h4 (* h1 h5)) h1)))))) (* (sqrt (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))) (cbrt (/ (sqrt (+ h0 (* h1 h2))) (sqrt (+ h3 (* (+ h4 (* h1 h5)) h1)))))) (* (sqrt (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))) (sqrt (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))))) (* (sqrt (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))) (sqrt (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))))) (* 2 1/3) (* 2 1) (* (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (cbrt (* (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))))) (* (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (cbrt (sqrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))))) (* (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (cbrt (/ (* (cbrt (+ h0 (* h1 h2))) (cbrt (+ h0 (* h1 h2)))) (* (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1))) (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1))))))) (* (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (cbrt (/ (* (cbrt (+ h0 (* h1 h2))) (cbrt (+ h0 (* h1 h2)))) (sqrt (+ h3 (* (+ h4 (* h1 h5)) h1)))))) (* (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (cbrt (/ (* (cbrt (+ h0 (* h1 h2))) (cbrt (+ h0 (* h1 h2)))) 1))) (* (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (cbrt (/ (sqrt (+ h0 (* h1 h2))) (* (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1))) (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1))))))) (* (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (cbrt (/ (sqrt (+ h0 (* h1 h2))) (sqrt (+ h3 (* (+ h4 (* h1 h5)) h1)))))) (* (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (cbrt (/ (sqrt (+ h0 (* h1 h2))) 1))) (* (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (cbrt (/ 1 (* (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1))) (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1))))))) (* (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (cbrt (/ 1 (sqrt (+ h3 (* (+ h4 (* h1 h5)) h1)))))) (* (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (cbrt (/ 1 1))) (* (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (cbrt 1)) (* (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (cbrt (+ h0 (* h1 h2)))) (* (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (cbrt (/ (+ h0 (* h1 h2)) (+ (pow h3 3) (pow (* (+ h4 (* h1 h5)) h1) 3))))) (* (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (cbrt (/ (+ h0 (* h1 h2)) (- (* h3 h3) (* (* (+ h4 (* h1 h5)) h1) (* (+ h4 (* h1 h5)) h1)))))) (* (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (* (cbrt (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))) (cbrt (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))))) (* (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (sqrt (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))))) (* (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) 1) (* (cbrt (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))) (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))) (* (cbrt (sqrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))) (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))) (* (cbrt (/ (cbrt (+ h0 (* h1 h2))) (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1))))) (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))) (* (cbrt (/ (cbrt (+ h0 (* h1 h2))) (sqrt (+ h3 (* (+ h4 (* h1 h5)) h1))))) (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))) (* (cbrt (/ (cbrt (+ h0 (* h1 h2))) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))) (* (cbrt (/ (sqrt (+ h0 (* h1 h2))) (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1))))) (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))) (* (cbrt (/ (sqrt (+ h0 (* h1 h2))) (sqrt (+ h3 (* (+ h4 (* h1 h5)) h1))))) (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))) (* (cbrt (/ (sqrt (+ h0 (* h1 h2))) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))) (* (cbrt (/ (+ h0 (* h1 h2)) (cbrt (+ h3 (* (+ h4 (* h1 h5)) h1))))) (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))) (* (cbrt (/ (+ h0 (* h1 h2)) (sqrt (+ h3 (* (+ h4 (* h1 h5)) h1))))) (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))) (* (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))) (* (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))) (* (cbrt (/ 1 (+ h3 (* (+ h4 (* h1 h5)) h1)))) (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))) (* (cbrt (+ (* h3 h3) (- (* (* (+ h4 (* h1 h5)) h1) (* (+ h4 (* h1 h5)) h1)) (* h3 (* (+ h4 (* h1 h5)) h1))))) (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))) (* (cbrt (- h3 (* (+ h4 (* h1 h5)) h1))) (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))) (* (cbrt (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))) (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))) (* (sqrt (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))) (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))) (* (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))) (* (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1)))) (cbrt (+ h0 (* h1 h2)))) (* (cbrt (+ h0 (* h1 h2))) (cbrt (/ (+ h0 (* h1 h2)) (+ h3 (* (+ h4 (* h1 h5)) h1))))) (- (+ (* h6 (pow h1 2)) h0) (* h7 h1)) (- (+ (* h8 (/ 1 h1)) (* h9 (/ 1 (pow h1 3)))) (* h10 (/ 1 (pow h1 2)))) (- (+ (* h8 (/ 1 h1)) (* h9 (/ 1 (pow h1 3)))) (* h10 (/ 1 (pow h1 2)))) (- (+ (* h6 (pow h1 2)) h0) (* h7 h1)) (- (+ (* h8 (/ 1 h1)) (* h9 (/ 1 (pow h1 3)))) (* h10 (/ 1 (pow h1 2)))) (- (+ (* h8 (/ 1 h1)) (* h9 (/ 1 (pow h1 3)))) (* h10 (/ 1 (pow h1 2)))) (- (+ (* h6 (pow h1 2)) h0) (* h7 h1)) (- (+ (* h8 (/ 1 h1)) (* h9 (/ 1 (pow h1 3)))) (* h10 (/ 1 (pow h1 2)))) (- (+ (* h8 (/ 1 h1)) (* h9 (/ 1 (pow h1 3)))) (* h10 (/ 1 (pow h1 2)))) (- (+ (pow h11 1/3) (* h12 (* (pow h1 2) (pow h11 1/3)))) (+ (* h13 (* (pow h1 2) (pow (/ 1 (pow h11 5)) 1/3))) (* h14 (* h1 (pow h11 1/3))))) (- (+ (exp (* 1/3 (+ (* 2 (log (/ 1 h1))) (log h15)))) (* h16 (/ (exp (* 1/3 (+ (* 2 (log (/ 1 h1))) (log h15)))) (pow h1 2)))) (+ (* h17 (/ (exp (* 1/3 (+ (* 2 (log (/ 1 h1))) (log h15)))) h1)) (* h18 (/ (exp (* 1/3 (+ (* 2 (log (/ 1 h1))) (log h15)))) (* (pow h15 2) (pow h1 2)))))) (- (+ (* h16 (/ (exp (* 1/3 (+ (log h15) (* 2 (log (/ -1 h1)))))) (pow h1 2))) (exp (* 1/3 (+ (log h15) (* 2 (log (/ -1 h1))))))) (+ (* h18 (/ (exp (* 1/3 (+ (log h15) (* 2 (log (/ -1 h1)))))) (* (pow h15 2) (pow h1 2)))) (* h17 (/ (exp (* 1/3 (+ (log h15) (* 2 (log (/ -1 h1)))))) h1)))) 1.135 * * [simplify]: iteration 0 : 557 enodes (cost 3240 ) 1.145 * * [simplify]: iteration 1 : 2064 enodes (cost 3079 ) 1.179 * * [simplify]: iteration 2 : 5001 enodes (cost 2917 ) 1.198 * [simplify]: Simplified to: (log (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (log (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (exp (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (pow (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) 3) (pow (sqrt (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) 4) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (pow (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) 3) (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (- (+ 2.30753 (* x 0.27061))) (- (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (/ (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (cbrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (/ (cbrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (sqrt (+ 2.30753 (* x 0.27061))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ 1 (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (/ (+ 2.30753 (* x 0.27061)) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ 1 (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) 1 (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ 1 (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (+ 2.30753 (* x 0.27061))) (/ (+ 2.30753 (* x 0.27061)) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (+ 2.30753 (* x 0.27061)) (/ (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (cbrt (+ 2.30753 (* x 0.27061)))) (/ (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (sqrt (+ 2.30753 (* x 0.27061)))) (/ (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (+ 2.30753 (* x 0.27061))) (/ (+ 2.30753 (* x 0.27061)) (+ (pow 1.0 3) (pow (* (+ 0.99229 (* x 0.04481)) x) 3))) (/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x)))) (* (+ (* (* x 0.27061) (- (* x 0.27061) 2.30753)) (* 2.30753 2.30753)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (* (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (- 2.30753 (* x 0.27061))) (log (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (log (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (exp (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (pow (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) 3) (pow (sqrt (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) 4) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (pow (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) 3) (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (- (+ 2.30753 (* x 0.27061))) (- (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (/ (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (cbrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (/ (cbrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (sqrt (+ 2.30753 (* x 0.27061))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ 1 (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (/ (+ 2.30753 (* x 0.27061)) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ 1 (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) 1 (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ 1 (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (+ 2.30753 (* x 0.27061))) (/ (+ 2.30753 (* x 0.27061)) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (+ 2.30753 (* x 0.27061)) (/ (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (cbrt (+ 2.30753 (* x 0.27061)))) (/ (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (sqrt (+ 2.30753 (* x 0.27061)))) (/ (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (+ 2.30753 (* x 0.27061))) (/ (+ 2.30753 (* x 0.27061)) (+ (pow 1.0 3) (pow (* (+ 0.99229 (* x 0.04481)) x) 3))) (/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x)))) (* (+ (* (* x 0.27061) (- (* x 0.27061) 2.30753)) (* 2.30753 2.30753)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (* (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (- 2.30753 (* x 0.27061))) (log (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (log (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (exp (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (pow (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) 3) (pow (sqrt (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) 4) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (pow (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) 3) (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (- (+ 2.30753 (* x 0.27061))) (- (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (/ (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (cbrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (/ (cbrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (sqrt (+ 2.30753 (* x 0.27061))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ 1 (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (/ (+ 2.30753 (* x 0.27061)) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ 1 (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) 1 (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ 1 (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (+ 2.30753 (* x 0.27061))) (/ (+ 2.30753 (* x 0.27061)) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (+ 2.30753 (* x 0.27061)) (/ (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (cbrt (+ 2.30753 (* x 0.27061)))) (/ (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (sqrt (+ 2.30753 (* x 0.27061)))) (/ (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (+ 2.30753 (* x 0.27061))) (/ (+ 2.30753 (* x 0.27061)) (+ (pow 1.0 3) (pow (* (+ 0.99229 (* x 0.04481)) x) 3))) (/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x)))) (* (+ (* (* x 0.27061) (- (* x 0.27061) 2.30753)) (* 2.30753 2.30753)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (* (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (- 2.30753 (* x 0.27061))) 2/3 2 (pow (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) 6) (pow (sqrt (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) 4) 2 (* 2 (log (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* 2 (log (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (pow (exp 1) (pow (sqrt (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) 4)) (pow (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) 6) (* (cbrt (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (cbrt (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))))) (cbrt (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (pow (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) 6) (fabs (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (fabs (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (* (cbrt (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (cbrt (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))))) (* (cbrt (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (cbrt (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (cbrt (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (cbrt (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (cbrt (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))))) (* (cbrt (/ (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (/ (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (cbrt (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (cbrt (/ (cbrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (/ (cbrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (cbrt (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) 1)) (cbrt (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) 1))) (* (cbrt (/ (cbrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (cbrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (* (cbrt (/ (sqrt (+ 2.30753 (* x 0.27061))) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (cbrt (/ (sqrt (+ 2.30753 (* x 0.27061))) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))))) (* (cbrt (/ (sqrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (/ (sqrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (cbrt (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (cbrt (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (cbrt (/ (sqrt (+ 2.30753 (* x 0.27061))) 1)) (cbrt (/ (sqrt (+ 2.30753 (* x 0.27061))) 1))) (* (cbrt (/ (sqrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (sqrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (* (cbrt (/ 1 (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (cbrt (/ 1 (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))))) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (cbrt (/ 1 (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (/ 1 (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) 1 (pow (sqrt (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) 4) 1 (pow (sqrt (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) 4) (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (* (cbrt (/ 1 (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ 1 (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ (pow 1.0 3) (pow (* (+ 0.99229 (* x 0.04481)) x) 3)))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ (pow 1.0 3) (pow (* (+ 0.99229 (* x 0.04481)) x) 3))))) (* (cbrt (+ (* 1.0 1.0) (- (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x)) (* 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (+ (* 1.0 1.0) (- (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x)) (* 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x)))))) (* (cbrt (- 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (- 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (pow (cbrt (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) 4) (* (cbrt (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) 1 (pow (sqrt (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) 4) (* (cbrt (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (cbrt (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (cbrt (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (cbrt (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (cbrt (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (sqrt (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (cbrt (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (sqrt (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (cbrt (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (cbrt (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (cbrt (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (cbrt (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (cbrt (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (sqrt (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (cbrt (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (sqrt (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (cbrt (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (sqrt (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (cbrt (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (sqrt (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (cbrt (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (sqrt (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (cbrt (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (sqrt (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) 2/3 2 (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))))) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))))) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) 1))) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (sqrt (+ 2.30753 (* x 0.27061))) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))))) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (sqrt (+ 2.30753 (* x 0.27061))) 1))) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ 1 (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))))) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ 1 (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (+ 2.30753 (* x 0.27061)))) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ (pow 1.0 3) (pow (* (+ 0.99229 (* x 0.04481)) x) 3))))) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (- (* 1.0 1.0) (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x)))))) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (* (cbrt (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))))) (pow (sqrt (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) 3) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (pow (cbrt (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) 4) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (cbrt (/ (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (* (cbrt (/ (cbrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (* (cbrt (/ (cbrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (* (cbrt (/ (sqrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (cbrt (/ (sqrt (+ 2.30753 (* x 0.27061))) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (pow (sqrt (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) 4) (pow (sqrt (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) 4) (* (cbrt (/ 1 (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (* (cbrt (+ (* 1.0 1.0) (- (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x)) (* 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (* (cbrt (- 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (pow (cbrt (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) 4) (pow (sqrt (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) 3) (pow (sqrt (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) 4) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (+ 2.30753 (* x 0.27061)))) (* (cbrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (+ 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)))) (- (+ (* 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)))) (- (+ (* 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.9743381798377971 (pow x 2)) 1) (pow 5.324694700899999 1/3)) (* 0.5833449456634006 (* x (pow 5.324694700899999 1/3)))) (* 14.472100225195023 (* (pow x 2) (pow (/ 1 (pow 5.324694700899999 5)) 1/3)))) (+ (* (pow 36.47017058959197 1/3) (pow (/ 1 x) 2/3)) (+ (* (/ (exp (* 1/3 (+ (* 2 (log (/ 1 x))) (log 36.47017058959197)))) x) (- (/ 289.16904720043374 x) 9.07816335433198)) (* (- 164423.10113638107) (* (/ (pow (/ 1 x) 2/3) (pow x 2)) (/ (pow 36.47017058959197 1/3) (pow 36.47017058959197 2)))))) (+ (* (pow (/ -1 x) 2/3) (pow 36.47017058959197 1/3)) (+ (* (* (/ (pow 36.47017058959197 1/3) x) (/ (pow (/ -1 x) 2/3) x)) (- 289.16904720043374 (/ 164423.10113638107 (pow 36.47017058959197 2)))) (- (* 9.07816335433198 (/ (exp (* 1/3 (+ (log 36.47017058959197) (* 2 (log (/ -1 x)))))) x))))) 1.200 * * * [progress]: adding candidates to table 1.818 * [progress]: [Phase 3 of 3] Extracting. 1.818 * * [regime]: Finding splitpoints for: (# #) 1.819 * * * [regime-changes]: Trying 2 branch expressions: ((- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) x) 1.819 * * * * [regimes]: Trying to branch on (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) from (# #) 1.835 * * * * [regimes]: Trying to branch on x from (# #) 1.847 * * * [regime]: Found split indices: #