26.778 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.015 * * * [progress]: [2/2] Setting up program. 0.017 * [progress]: [Phase 2 of 3] Improving. 0.018 * [simplify]: Simplifying using # : (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) 0.019 * * [simplify]: iteration 0 : 14 enodes (cost 17 ) 0.020 * * [simplify]: iteration 1 : 22 enodes (cost 17 ) 0.023 * * [simplify]: iteration 2 : 33 enodes (cost 17 ) 0.027 * * [simplify]: iteration 3 : 48 enodes (cost 17 ) 0.033 * * [simplify]: iteration 4 : 56 enodes (cost 17 ) 0.043 * * [simplify]: iteration 5 : 62 enodes (cost 17 ) 0.051 * * [simplify]: iteration 6 : 84 enodes (cost 17 ) 0.061 * * [simplify]: iteration 7 : 112 enodes (cost 17 ) 0.075 * * [simplify]: iteration 8 : 140 enodes (cost 17 ) 0.100 * * [simplify]: iteration 9 : 163 enodes (cost 17 ) 0.121 * * [simplify]: iteration 10 : 205 enodes (cost 17 ) 0.158 * * [simplify]: iteration 11 : 251 enodes (cost 17 ) 0.200 * * [simplify]: iteration 12 : 261 enodes (cost 17 ) 0.245 * * [simplify]: iteration 13 : 278 enodes (cost 17 ) 0.299 * * [simplify]: iteration 14 : 314 enodes (cost 17 ) 0.370 * * [simplify]: iteration 15 : 402 enodes (cost 17 ) 0.479 * * [simplify]: iteration 16 : 627 enodes (cost 17 ) 0.705 * * [simplify]: iteration 17 : 834 enodes (cost 17 ) 1.052 * * [simplify]: iteration 18 : 976 enodes (cost 17 ) 1.513 * * [simplify]: iteration 19 : 1082 enodes (cost 17 ) 2.054 * * [simplify]: iteration 20 : 1152 enodes (cost 17 ) 2.645 * * [simplify]: iteration 21 : 1227 enodes (cost 17 ) 3.227 * * [simplify]: iteration 22 : 1243 enodes (cost 17 ) 3.825 * * [simplify]: iteration 23 : 1248 enodes (cost 17 ) 4.424 * * [simplify]: iteration done : 1248 enodes (cost 17 ) 4.424 * [simplify]: Simplified to: (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) 4.424 * * [progress]: iteration 1 / 4 4.424 * * * [progress]: picking best candidate 4.426 * * * * [pick]: Picked # 4.426 * * * [progress]: localizing error 4.440 * * * [progress]: generating rewritten candidates 4.440 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 4.449 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2) 4.456 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1) 4.458 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 4.473 * * * [progress]: generating series expansions 4.473 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 4.473 * [approximate]: Taking taylor expansion of (/ (+ (* 0.27061 x) 2.30753) (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in (x) around 0 4.473 * [taylor]: Taking taylor expansion of (/ (+ (* 0.27061 x) 2.30753) (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in x 4.473 * [taylor]: Taking taylor expansion of (+ (* 0.27061 x) 2.30753) in x 4.473 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x 4.473 * [taylor]: Taking taylor expansion of 0.27061 in x 4.473 * [taylor]: Taking taylor expansion of x in x 4.473 * [taylor]: Taking taylor expansion of 2.30753 in x 4.473 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x 4.473 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x 4.473 * [taylor]: Taking taylor expansion of 0.04481 in x 4.473 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.473 * [taylor]: Taking taylor expansion of x in x 4.473 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x 4.473 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x 4.473 * [taylor]: Taking taylor expansion of 0.99229 in x 4.473 * [taylor]: Taking taylor expansion of x in x 4.473 * [taylor]: Taking taylor expansion of 1.0 in x 4.475 * [taylor]: Taking taylor expansion of (/ (+ (* 0.27061 x) 2.30753) (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in x 4.475 * [taylor]: Taking taylor expansion of (+ (* 0.27061 x) 2.30753) in x 4.475 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x 4.475 * [taylor]: Taking taylor expansion of 0.27061 in x 4.475 * [taylor]: Taking taylor expansion of x in x 4.475 * [taylor]: Taking taylor expansion of 2.30753 in x 4.475 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x 4.475 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x 4.475 * [taylor]: Taking taylor expansion of 0.04481 in x 4.476 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.476 * [taylor]: Taking taylor expansion of x in x 4.476 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x 4.476 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x 4.476 * [taylor]: Taking taylor expansion of 0.99229 in x 4.476 * [taylor]: Taking taylor expansion of x in x 4.476 * [taylor]: Taking taylor expansion of 1.0 in x 4.488 * [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 4.488 * [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 4.488 * [taylor]: Taking taylor expansion of (+ (* 0.27061 (/ 1 x)) 2.30753) in x 4.488 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 4.488 * [taylor]: Taking taylor expansion of 0.27061 in x 4.488 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.488 * [taylor]: Taking taylor expansion of x in x 4.489 * [taylor]: Taking taylor expansion of 2.30753 in x 4.489 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x 4.489 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 4.489 * [taylor]: Taking taylor expansion of 0.04481 in x 4.489 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 4.489 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.489 * [taylor]: Taking taylor expansion of x in x 4.489 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x 4.489 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 4.489 * [taylor]: Taking taylor expansion of 0.99229 in x 4.489 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.489 * [taylor]: Taking taylor expansion of x in x 4.490 * [taylor]: Taking taylor expansion of 1.0 in x 4.491 * [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 4.491 * [taylor]: Taking taylor expansion of (+ (* 0.27061 (/ 1 x)) 2.30753) in x 4.491 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 4.491 * [taylor]: Taking taylor expansion of 0.27061 in x 4.491 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.491 * [taylor]: Taking taylor expansion of x in x 4.491 * [taylor]: Taking taylor expansion of 2.30753 in x 4.491 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x 4.491 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 4.491 * [taylor]: Taking taylor expansion of 0.04481 in x 4.491 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 4.491 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.491 * [taylor]: Taking taylor expansion of x in x 4.492 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x 4.492 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 4.492 * [taylor]: Taking taylor expansion of 0.99229 in x 4.492 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.492 * [taylor]: Taking taylor expansion of x in x 4.492 * [taylor]: Taking taylor expansion of 1.0 in x 4.507 * [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 4.508 * [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 4.508 * [taylor]: Taking taylor expansion of (- 2.30753 (* 0.27061 (/ 1 x))) in x 4.508 * [taylor]: Taking taylor expansion of 2.30753 in x 4.508 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 4.508 * [taylor]: Taking taylor expansion of 0.27061 in x 4.508 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.508 * [taylor]: Taking taylor expansion of x in x 4.508 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x 4.508 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x 4.508 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 4.508 * [taylor]: Taking taylor expansion of 0.04481 in x 4.508 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 4.508 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.508 * [taylor]: Taking taylor expansion of x in x 4.509 * [taylor]: Taking taylor expansion of 1.0 in x 4.509 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 4.509 * [taylor]: Taking taylor expansion of 0.99229 in x 4.509 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.509 * [taylor]: Taking taylor expansion of x in x 4.511 * [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 4.511 * [taylor]: Taking taylor expansion of (- 2.30753 (* 0.27061 (/ 1 x))) in x 4.511 * [taylor]: Taking taylor expansion of 2.30753 in x 4.511 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 4.511 * [taylor]: Taking taylor expansion of 0.27061 in x 4.511 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.511 * [taylor]: Taking taylor expansion of x in x 4.512 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x 4.512 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x 4.512 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 4.512 * [taylor]: Taking taylor expansion of 0.04481 in x 4.512 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 4.512 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.512 * [taylor]: Taking taylor expansion of x in x 4.512 * [taylor]: Taking taylor expansion of 1.0 in x 4.512 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 4.512 * [taylor]: Taking taylor expansion of 0.99229 in x 4.512 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.512 * [taylor]: Taking taylor expansion of x in x 4.534 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2) 4.534 * [approximate]: Taking taylor expansion of (* x (+ (* 0.04481 x) 0.99229)) in (x) around 0 4.534 * [taylor]: Taking taylor expansion of (* x (+ (* 0.04481 x) 0.99229)) in x 4.534 * [taylor]: Taking taylor expansion of x in x 4.534 * [taylor]: Taking taylor expansion of (+ (* 0.04481 x) 0.99229) in x 4.534 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x 4.534 * [taylor]: Taking taylor expansion of 0.04481 in x 4.534 * [taylor]: Taking taylor expansion of x in x 4.534 * [taylor]: Taking taylor expansion of 0.99229 in x 4.534 * [taylor]: Taking taylor expansion of (* x (+ (* 0.04481 x) 0.99229)) in x 4.534 * [taylor]: Taking taylor expansion of x in x 4.534 * [taylor]: Taking taylor expansion of (+ (* 0.04481 x) 0.99229) in x 4.534 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x 4.534 * [taylor]: Taking taylor expansion of 0.04481 in x 4.534 * [taylor]: Taking taylor expansion of x in x 4.534 * [taylor]: Taking taylor expansion of 0.99229 in x 4.552 * [approximate]: Taking taylor expansion of (/ (+ (* 0.04481 (/ 1 x)) 0.99229) x) in (x) around 0 4.552 * [taylor]: Taking taylor expansion of (/ (+ (* 0.04481 (/ 1 x)) 0.99229) x) in x 4.552 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 x)) 0.99229) in x 4.552 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 4.552 * [taylor]: Taking taylor expansion of 0.04481 in x 4.552 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.552 * [taylor]: Taking taylor expansion of x in x 4.552 * [taylor]: Taking taylor expansion of 0.99229 in x 4.552 * [taylor]: Taking taylor expansion of x in x 4.553 * [taylor]: Taking taylor expansion of (/ (+ (* 0.04481 (/ 1 x)) 0.99229) x) in x 4.553 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 x)) 0.99229) in x 4.553 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 4.553 * [taylor]: Taking taylor expansion of 0.04481 in x 4.553 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.553 * [taylor]: Taking taylor expansion of x in x 4.553 * [taylor]: Taking taylor expansion of 0.99229 in x 4.553 * [taylor]: Taking taylor expansion of x in x 4.569 * [approximate]: Taking taylor expansion of (* -1 (/ (- 0.99229 (* 0.04481 (/ 1 x))) x)) in (x) around 0 4.569 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.99229 (* 0.04481 (/ 1 x))) x)) in x 4.569 * [taylor]: Taking taylor expansion of -1 in x 4.569 * [taylor]: Taking taylor expansion of (/ (- 0.99229 (* 0.04481 (/ 1 x))) x) in x 4.569 * [taylor]: Taking taylor expansion of (- 0.99229 (* 0.04481 (/ 1 x))) in x 4.569 * [taylor]: Taking taylor expansion of 0.99229 in x 4.569 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 4.569 * [taylor]: Taking taylor expansion of 0.04481 in x 4.569 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.569 * [taylor]: Taking taylor expansion of x in x 4.570 * [taylor]: Taking taylor expansion of x in x 4.571 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.99229 (* 0.04481 (/ 1 x))) x)) in x 4.571 * [taylor]: Taking taylor expansion of -1 in x 4.571 * [taylor]: Taking taylor expansion of (/ (- 0.99229 (* 0.04481 (/ 1 x))) x) in x 4.571 * [taylor]: Taking taylor expansion of (- 0.99229 (* 0.04481 (/ 1 x))) in x 4.571 * [taylor]: Taking taylor expansion of 0.99229 in x 4.571 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 4.571 * [taylor]: Taking taylor expansion of 0.04481 in x 4.571 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.571 * [taylor]: Taking taylor expansion of x in x 4.572 * [taylor]: Taking taylor expansion of x in x 4.597 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1) 4.597 * [approximate]: Taking taylor expansion of (+ (* 0.04481 x) 0.99229) in (x) around 0 4.597 * [taylor]: Taking taylor expansion of (+ (* 0.04481 x) 0.99229) in x 4.597 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x 4.597 * [taylor]: Taking taylor expansion of 0.04481 in x 4.597 * [taylor]: Taking taylor expansion of x in x 4.597 * [taylor]: Taking taylor expansion of 0.99229 in x 4.597 * [taylor]: Taking taylor expansion of (+ (* 0.04481 x) 0.99229) in x 4.597 * [taylor]: Taking taylor expansion of (* 0.04481 x) in x 4.597 * [taylor]: Taking taylor expansion of 0.04481 in x 4.597 * [taylor]: Taking taylor expansion of x in x 4.597 * [taylor]: Taking taylor expansion of 0.99229 in x 4.607 * [approximate]: Taking taylor expansion of (+ (* 0.04481 (/ 1 x)) 0.99229) in (x) around 0 4.607 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 x)) 0.99229) in x 4.607 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 4.607 * [taylor]: Taking taylor expansion of 0.04481 in x 4.607 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.607 * [taylor]: Taking taylor expansion of x in x 4.607 * [taylor]: Taking taylor expansion of 0.99229 in x 4.607 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 x)) 0.99229) in x 4.607 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 4.607 * [taylor]: Taking taylor expansion of 0.04481 in x 4.607 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.607 * [taylor]: Taking taylor expansion of x in x 4.608 * [taylor]: Taking taylor expansion of 0.99229 in x 4.618 * [approximate]: Taking taylor expansion of (- 0.99229 (* 0.04481 (/ 1 x))) in (x) around 0 4.618 * [taylor]: Taking taylor expansion of (- 0.99229 (* 0.04481 (/ 1 x))) in x 4.618 * [taylor]: Taking taylor expansion of 0.99229 in x 4.618 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 4.618 * [taylor]: Taking taylor expansion of 0.04481 in x 4.618 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.618 * [taylor]: Taking taylor expansion of x in x 4.619 * [taylor]: Taking taylor expansion of (- 0.99229 (* 0.04481 (/ 1 x))) in x 4.619 * [taylor]: Taking taylor expansion of 0.99229 in x 4.619 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 x)) in x 4.619 * [taylor]: Taking taylor expansion of 0.04481 in x 4.619 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.619 * [taylor]: Taking taylor expansion of x in x 4.632 * * * * [progress]: [ 4 / 4 ] generating series at (2) 4.632 * [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 4.632 * [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 4.632 * [taylor]: Taking taylor expansion of x in x 4.632 * [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 4.632 * [taylor]: Taking taylor expansion of (* 2.30753 (/ 1 (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)))) in x 4.632 * [taylor]: Taking taylor expansion of 2.30753 in x 4.632 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in x 4.632 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x 4.632 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x 4.632 * [taylor]: Taking taylor expansion of 0.04481 in x 4.632 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.632 * [taylor]: Taking taylor expansion of x in x 4.632 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x 4.632 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x 4.632 * [taylor]: Taking taylor expansion of 0.99229 in x 4.633 * [taylor]: Taking taylor expansion of x in x 4.633 * [taylor]: Taking taylor expansion of 1.0 in x 4.634 * [taylor]: Taking taylor expansion of (* 0.27061 (/ x (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)))) in x 4.634 * [taylor]: Taking taylor expansion of 0.27061 in x 4.634 * [taylor]: Taking taylor expansion of (/ x (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in x 4.634 * [taylor]: Taking taylor expansion of x in x 4.634 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x 4.634 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x 4.634 * [taylor]: Taking taylor expansion of 0.04481 in x 4.634 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.634 * [taylor]: Taking taylor expansion of x in x 4.634 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x 4.634 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x 4.634 * [taylor]: Taking taylor expansion of 0.99229 in x 4.634 * [taylor]: Taking taylor expansion of x in x 4.634 * [taylor]: Taking taylor expansion of 1.0 in x 4.635 * [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 4.635 * [taylor]: Taking taylor expansion of x in x 4.635 * [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 4.635 * [taylor]: Taking taylor expansion of (* 2.30753 (/ 1 (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)))) in x 4.635 * [taylor]: Taking taylor expansion of 2.30753 in x 4.635 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in x 4.635 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x 4.635 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x 4.635 * [taylor]: Taking taylor expansion of 0.04481 in x 4.635 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.635 * [taylor]: Taking taylor expansion of x in x 4.635 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x 4.635 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x 4.635 * [taylor]: Taking taylor expansion of 0.99229 in x 4.635 * [taylor]: Taking taylor expansion of x in x 4.635 * [taylor]: Taking taylor expansion of 1.0 in x 4.636 * [taylor]: Taking taylor expansion of (* 0.27061 (/ x (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)))) in x 4.636 * [taylor]: Taking taylor expansion of 0.27061 in x 4.636 * [taylor]: Taking taylor expansion of (/ x (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in x 4.636 * [taylor]: Taking taylor expansion of x in x 4.636 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x 4.636 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x 4.637 * [taylor]: Taking taylor expansion of 0.04481 in x 4.637 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.637 * [taylor]: Taking taylor expansion of x in x 4.637 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x 4.637 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x 4.637 * [taylor]: Taking taylor expansion of 0.99229 in x 4.637 * [taylor]: Taking taylor expansion of x in x 4.637 * [taylor]: Taking taylor expansion of 1.0 in x 4.657 * [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 4.657 * [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 4.658 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.658 * [taylor]: Taking taylor expansion of x in x 4.658 * [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 4.658 * [taylor]: Taking taylor expansion of (* 2.30753 (/ 1 (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)))) in x 4.658 * [taylor]: Taking taylor expansion of 2.30753 in x 4.658 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0))) in x 4.658 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x 4.658 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 4.658 * [taylor]: Taking taylor expansion of 0.04481 in x 4.658 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 4.658 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.658 * [taylor]: Taking taylor expansion of x in x 4.659 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x 4.659 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 4.659 * [taylor]: Taking taylor expansion of 0.99229 in x 4.659 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.659 * [taylor]: Taking taylor expansion of x in x 4.659 * [taylor]: Taking taylor expansion of 1.0 in x 4.660 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 (* (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) x))) in x 4.660 * [taylor]: Taking taylor expansion of 0.27061 in x 4.660 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) x)) in x 4.660 * [taylor]: Taking taylor expansion of (* (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) x) in x 4.660 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x 4.660 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 4.660 * [taylor]: Taking taylor expansion of 0.04481 in x 4.660 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 4.660 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.660 * [taylor]: Taking taylor expansion of x in x 4.660 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x 4.660 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 4.660 * [taylor]: Taking taylor expansion of 0.99229 in x 4.660 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.660 * [taylor]: Taking taylor expansion of x in x 4.661 * [taylor]: Taking taylor expansion of 1.0 in x 4.661 * [taylor]: Taking taylor expansion of x in x 4.665 * [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 4.665 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.665 * [taylor]: Taking taylor expansion of x in x 4.665 * [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 4.665 * [taylor]: Taking taylor expansion of (* 2.30753 (/ 1 (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)))) in x 4.665 * [taylor]: Taking taylor expansion of 2.30753 in x 4.665 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0))) in x 4.665 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x 4.665 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 4.665 * [taylor]: Taking taylor expansion of 0.04481 in x 4.665 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 4.665 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.665 * [taylor]: Taking taylor expansion of x in x 4.666 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x 4.666 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 4.666 * [taylor]: Taking taylor expansion of 0.99229 in x 4.666 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.666 * [taylor]: Taking taylor expansion of x in x 4.666 * [taylor]: Taking taylor expansion of 1.0 in x 4.667 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 (* (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) x))) in x 4.667 * [taylor]: Taking taylor expansion of 0.27061 in x 4.667 * [taylor]: Taking taylor expansion of (/ 1 (* (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) x)) in x 4.667 * [taylor]: Taking taylor expansion of (* (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) x) in x 4.667 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x 4.667 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 4.667 * [taylor]: Taking taylor expansion of 0.04481 in x 4.667 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 4.667 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.667 * [taylor]: Taking taylor expansion of x in x 4.668 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x 4.668 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 4.668 * [taylor]: Taking taylor expansion of 0.99229 in x 4.668 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.668 * [taylor]: Taking taylor expansion of x in x 4.668 * [taylor]: Taking taylor expansion of 1.0 in x 4.668 * [taylor]: Taking taylor expansion of x in x 4.689 * [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 4.689 * [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 4.689 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 (* (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) x))) in x 4.689 * [taylor]: Taking taylor expansion of 0.27061 in x 4.689 * [taylor]: Taking taylor expansion of (/ 1 (* (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) x)) in x 4.689 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) x) in x 4.689 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x 4.689 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x 4.689 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 4.689 * [taylor]: Taking taylor expansion of 0.04481 in x 4.689 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 4.689 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.689 * [taylor]: Taking taylor expansion of x in x 4.689 * [taylor]: Taking taylor expansion of 1.0 in x 4.690 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 4.690 * [taylor]: Taking taylor expansion of 0.99229 in x 4.690 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.690 * [taylor]: Taking taylor expansion of x in x 4.690 * [taylor]: Taking taylor expansion of x in x 4.695 * [taylor]: Taking taylor expansion of (+ (* 2.30753 (/ 1 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))))) (/ 1 x)) in x 4.695 * [taylor]: Taking taylor expansion of (* 2.30753 (/ 1 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))))) in x 4.695 * [taylor]: Taking taylor expansion of 2.30753 in x 4.695 * [taylor]: Taking taylor expansion of (/ 1 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x)))) in x 4.695 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x 4.695 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x 4.695 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 4.695 * [taylor]: Taking taylor expansion of 0.04481 in x 4.695 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 4.695 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.695 * [taylor]: Taking taylor expansion of x in x 4.696 * [taylor]: Taking taylor expansion of 1.0 in x 4.696 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 4.696 * [taylor]: Taking taylor expansion of 0.99229 in x 4.696 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.696 * [taylor]: Taking taylor expansion of x in x 4.697 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.697 * [taylor]: Taking taylor expansion of x in x 4.698 * [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 4.698 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 (* (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) x))) in x 4.698 * [taylor]: Taking taylor expansion of 0.27061 in x 4.698 * [taylor]: Taking taylor expansion of (/ 1 (* (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) x)) in x 4.698 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) x) in x 4.698 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x 4.698 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x 4.698 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 4.698 * [taylor]: Taking taylor expansion of 0.04481 in x 4.698 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 4.698 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.698 * [taylor]: Taking taylor expansion of x in x 4.698 * [taylor]: Taking taylor expansion of 1.0 in x 4.698 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 4.698 * [taylor]: Taking taylor expansion of 0.99229 in x 4.698 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.698 * [taylor]: Taking taylor expansion of x in x 4.699 * [taylor]: Taking taylor expansion of x in x 4.704 * [taylor]: Taking taylor expansion of (+ (* 2.30753 (/ 1 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))))) (/ 1 x)) in x 4.704 * [taylor]: Taking taylor expansion of (* 2.30753 (/ 1 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))))) in x 4.704 * [taylor]: Taking taylor expansion of 2.30753 in x 4.704 * [taylor]: Taking taylor expansion of (/ 1 (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x)))) in x 4.704 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x 4.704 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x 4.704 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 4.704 * [taylor]: Taking taylor expansion of 0.04481 in x 4.704 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 4.704 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.704 * [taylor]: Taking taylor expansion of x in x 4.705 * [taylor]: Taking taylor expansion of 1.0 in x 4.705 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 4.705 * [taylor]: Taking taylor expansion of 0.99229 in x 4.705 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.705 * [taylor]: Taking taylor expansion of x in x 4.706 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.706 * [taylor]: Taking taylor expansion of x in x 4.720 * * * [progress]: simplifying candidates 4.721 * [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 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)) (/ (exp x) (exp (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (log (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (exp (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (* (cbrt (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (cbrt (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (* (* (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (sqrt (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (sqrt (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (- (pow x 3) (pow (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) 3)) (+ (* x x) (+ (* (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (* x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (- (* x x) (* (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (+ x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (+ (sqrt x) (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (- (sqrt x) (sqrt (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (+ (sqrt x) (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (- (sqrt x) (/ (sqrt (+ 2.30753 (* x 0.27061))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (- (+ (* 1.900161040244073 (pow x 2)) 2.30753) (* 2.0191289436999997 x)) (- (+ (* 6.039053782637804 (/ 1 x)) (* 1686.279566230464 (/ 1 (pow x 3)))) (* 82.23527511657369 (/ 1 (pow x 2)))) (- (+ (* 6.039053782637804 (/ 1 x)) (* 1686.279566230464 (/ 1 (pow x 3)))) (* 82.23527511657369 (/ 1 (pow x 2)))) (+ (* 0.04481 (pow x 2)) (* 0.99229 x)) (+ (* 0.04481 (pow x 2)) (* 0.99229 x)) (+ (* 0.04481 (pow x 2)) (* 0.99229 x)) (+ (* 0.04481 x) 0.99229) (+ (* 0.04481 x) 0.99229) (+ (* 0.04481 x) 0.99229) (- (* 3.0191289436999997 x) (+ (* 1.900161040244073 (pow x 2)) 2.30753)) (- (+ (* 82.23527511657369 (/ 1 (pow x 2))) x) (* 6.039053782637804 (/ 1 x))) (- (+ (* 82.23527511657369 (/ 1 (pow x 2))) x) (* 6.039053782637804 (/ 1 x))) 4.726 * * [simplify]: iteration 0 : 170 enodes (cost 1668 ) 4.758 * * [simplify]: iteration 1 : 415 enodes (cost 1584 ) 4.864 * * [simplify]: iteration 2 : 1248 enodes (cost 1472 ) 6.091 * * [simplify]: iteration 3 : 4371 enodes (cost 1468 ) 7.315 * * [simplify]: iteration done : 5000 enodes (cost 1468 ) 7.316 * [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)))) (+ (* x 0.27061) 2.30753) (/ (+ 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.04481 x) 0.99229) x) (log (* (+ 0.99229 (* x 0.04481)) x)) (log (* (+ 0.99229 (* x 0.04481)) x)) (exp (* (+ 0.99229 (* x 0.04481)) x)) (pow (* (+ (* 0.04481 x) 0.99229) 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.04481 x) 0.99229) 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.04481 x) 0.99229) (* (cbrt (+ 0.99229 (* x 0.04481))) x) (* (sqrt (+ 0.99229 (* x 0.04481))) x) (* (+ (* 0.04481 x) 0.99229) x) (* (+ (pow 0.99229 3) (pow (* x 0.04481) 3)) x) (* (- (* 0.99229 0.99229) (* (* x 0.04481) (* 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.04481 x) 0.99229) 3) (sqrt (+ 0.99229 (* x 0.04481))) (sqrt (+ 0.99229 (* x 0.04481))) (+ (pow 0.99229 3) (pow (* x 0.04481) 3)) (+ (* (* 0.04481 x) (- (* 0.04481 x) 0.99229)) (* 0.99229 0.99229)) (- (* 0.99229 0.99229) (* (* x 0.04481) (* x 0.04481))) (- 0.99229 (* x 0.04481)) (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))) (+ x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) 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)))) (+ (* x (- (* 1.900161040244073 x) 2.0191289436999997)) 2.30753) (- (+ (/ 1686.279566230464 (pow x 3)) (/ 6.039053782637804 x)) (/ 82.23527511657369 (* x x))) (- (+ (/ 1686.279566230464 (pow x 3)) (/ 6.039053782637804 x)) (/ 82.23527511657369 (* x x))) (* (+ (* 0.04481 x) 0.99229) x) (* (+ (* 0.04481 x) 0.99229) x) (* (+ (* 0.04481 x) 0.99229) x) (+ (* 0.04481 x) 0.99229) (+ (* 0.04481 x) 0.99229) (+ (* 0.04481 x) 0.99229) (- (* x (- 3.0191289436999997 (* 1.900161040244073 x))) 2.30753) (+ (- x (/ 6.039053782637804 x)) (/ 82.23527511657369 (* x x))) (+ (- x (/ 6.039053782637804 x)) (/ 82.23527511657369 (* x x))) 7.317 * * * [progress]: adding candidates to table 7.525 * * [progress]: iteration 2 / 4 7.525 * * * [progress]: picking best candidate 7.527 * * * * [pick]: Picked # 7.527 * * * [progress]: localizing error 7.546 * * * [progress]: generating rewritten candidates 7.546 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 7.548 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 2) 7.550 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1) 7.551 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 7.566 * * * [progress]: generating series expansions 7.566 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 7.566 * [approximate]: Taking taylor expansion of (pow (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) 1/3) in (x) around 0 7.566 * [taylor]: Taking taylor expansion of (pow (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) 1/3) in x 7.566 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))))) in x 7.566 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)))) in x 7.566 * [taylor]: Taking taylor expansion of 1/3 in x 7.566 * [taylor]: Taking taylor expansion of (log (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in x 7.566 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x 7.566 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x 7.566 * [taylor]: Taking taylor expansion of 0.04481 in x 7.566 * [taylor]: Taking taylor expansion of (pow x 2) in x 7.566 * [taylor]: Taking taylor expansion of x in x 7.566 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x 7.566 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x 7.566 * [taylor]: Taking taylor expansion of 0.99229 in x 7.566 * [taylor]: Taking taylor expansion of x in x 7.566 * [taylor]: Taking taylor expansion of 1.0 in x 7.569 * [taylor]: Taking taylor expansion of (pow (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) 1/3) in x 7.569 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))))) in x 7.569 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)))) in x 7.569 * [taylor]: Taking taylor expansion of 1/3 in x 7.569 * [taylor]: Taking taylor expansion of (log (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in x 7.569 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x 7.569 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x 7.570 * [taylor]: Taking taylor expansion of 0.04481 in x 7.570 * [taylor]: Taking taylor expansion of (pow x 2) in x 7.570 * [taylor]: Taking taylor expansion of x in x 7.570 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x 7.570 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x 7.570 * [taylor]: Taking taylor expansion of 0.99229 in x 7.570 * [taylor]: Taking taylor expansion of x in x 7.570 * [taylor]: Taking taylor expansion of 1.0 in x 7.615 * [approximate]: Taking taylor expansion of (pow (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) 1/3) in (x) around 0 7.615 * [taylor]: Taking taylor expansion of (pow (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) 1/3) in x 7.615 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0))))) in x 7.615 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)))) in x 7.615 * [taylor]: Taking taylor expansion of 1/3 in x 7.615 * [taylor]: Taking taylor expansion of (log (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0))) in x 7.616 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x 7.616 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 7.616 * [taylor]: Taking taylor expansion of 0.04481 in x 7.616 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 7.616 * [taylor]: Taking taylor expansion of (pow x 2) in x 7.616 * [taylor]: Taking taylor expansion of x in x 7.616 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x 7.616 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 7.616 * [taylor]: Taking taylor expansion of 0.99229 in x 7.616 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.616 * [taylor]: Taking taylor expansion of x in x 7.616 * [taylor]: Taking taylor expansion of 1.0 in x 7.619 * [taylor]: Taking taylor expansion of (pow (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) 1/3) in x 7.619 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0))))) in x 7.619 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)))) in x 7.619 * [taylor]: Taking taylor expansion of 1/3 in x 7.619 * [taylor]: Taking taylor expansion of (log (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0))) in x 7.619 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x 7.619 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 7.619 * [taylor]: Taking taylor expansion of 0.04481 in x 7.619 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 7.619 * [taylor]: Taking taylor expansion of (pow x 2) in x 7.619 * [taylor]: Taking taylor expansion of x in x 7.620 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x 7.620 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 7.620 * [taylor]: Taking taylor expansion of 0.99229 in x 7.620 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.620 * [taylor]: Taking taylor expansion of x in x 7.620 * [taylor]: Taking taylor expansion of 1.0 in x 7.663 * [approximate]: Taking taylor expansion of (pow (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) 1/3) in (x) around 0 7.664 * [taylor]: Taking taylor expansion of (pow (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) 1/3) in x 7.664 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x)))))) in x 7.664 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))))) in x 7.664 * [taylor]: Taking taylor expansion of 1/3 in x 7.664 * [taylor]: Taking taylor expansion of (log (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x)))) in x 7.664 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x 7.664 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x 7.664 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 7.664 * [taylor]: Taking taylor expansion of 0.04481 in x 7.664 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 7.664 * [taylor]: Taking taylor expansion of (pow x 2) in x 7.664 * [taylor]: Taking taylor expansion of x in x 7.664 * [taylor]: Taking taylor expansion of 1.0 in x 7.664 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 7.664 * [taylor]: Taking taylor expansion of 0.99229 in x 7.664 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.664 * [taylor]: Taking taylor expansion of x in x 7.667 * [taylor]: Taking taylor expansion of (pow (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) 1/3) in x 7.667 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x)))))) in x 7.667 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))))) in x 7.667 * [taylor]: Taking taylor expansion of 1/3 in x 7.667 * [taylor]: Taking taylor expansion of (log (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x)))) in x 7.667 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x 7.667 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x 7.667 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 7.667 * [taylor]: Taking taylor expansion of 0.04481 in x 7.667 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 7.667 * [taylor]: Taking taylor expansion of (pow x 2) in x 7.667 * [taylor]: Taking taylor expansion of x in x 7.668 * [taylor]: Taking taylor expansion of 1.0 in x 7.668 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 7.668 * [taylor]: Taking taylor expansion of 0.99229 in x 7.668 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.668 * [taylor]: Taking taylor expansion of x in x 7.715 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 2) 7.715 * [approximate]: Taking taylor expansion of (pow (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) 1/3) in (x) around 0 7.715 * [taylor]: Taking taylor expansion of (pow (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) 1/3) in x 7.715 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))))) in x 7.715 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)))) in x 7.715 * [taylor]: Taking taylor expansion of 1/3 in x 7.715 * [taylor]: Taking taylor expansion of (log (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in x 7.715 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x 7.715 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x 7.715 * [taylor]: Taking taylor expansion of 0.04481 in x 7.715 * [taylor]: Taking taylor expansion of (pow x 2) in x 7.715 * [taylor]: Taking taylor expansion of x in x 7.715 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x 7.715 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x 7.715 * [taylor]: Taking taylor expansion of 0.99229 in x 7.715 * [taylor]: Taking taylor expansion of x in x 7.715 * [taylor]: Taking taylor expansion of 1.0 in x 7.718 * [taylor]: Taking taylor expansion of (pow (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) 1/3) in x 7.718 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))))) in x 7.718 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)))) in x 7.718 * [taylor]: Taking taylor expansion of 1/3 in x 7.718 * [taylor]: Taking taylor expansion of (log (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in x 7.718 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x 7.718 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x 7.718 * [taylor]: Taking taylor expansion of 0.04481 in x 7.718 * [taylor]: Taking taylor expansion of (pow x 2) in x 7.718 * [taylor]: Taking taylor expansion of x in x 7.718 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x 7.718 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x 7.718 * [taylor]: Taking taylor expansion of 0.99229 in x 7.718 * [taylor]: Taking taylor expansion of x in x 7.718 * [taylor]: Taking taylor expansion of 1.0 in x 7.763 * [approximate]: Taking taylor expansion of (pow (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) 1/3) in (x) around 0 7.763 * [taylor]: Taking taylor expansion of (pow (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) 1/3) in x 7.763 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0))))) in x 7.763 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)))) in x 7.763 * [taylor]: Taking taylor expansion of 1/3 in x 7.763 * [taylor]: Taking taylor expansion of (log (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0))) in x 7.763 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x 7.763 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 7.763 * [taylor]: Taking taylor expansion of 0.04481 in x 7.763 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 7.763 * [taylor]: Taking taylor expansion of (pow x 2) in x 7.763 * [taylor]: Taking taylor expansion of x in x 7.764 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x 7.764 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 7.764 * [taylor]: Taking taylor expansion of 0.99229 in x 7.764 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.764 * [taylor]: Taking taylor expansion of x in x 7.764 * [taylor]: Taking taylor expansion of 1.0 in x 7.766 * [taylor]: Taking taylor expansion of (pow (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) 1/3) in x 7.766 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0))))) in x 7.766 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)))) in x 7.766 * [taylor]: Taking taylor expansion of 1/3 in x 7.766 * [taylor]: Taking taylor expansion of (log (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0))) in x 7.766 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x 7.766 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 7.766 * [taylor]: Taking taylor expansion of 0.04481 in x 7.766 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 7.766 * [taylor]: Taking taylor expansion of (pow x 2) in x 7.766 * [taylor]: Taking taylor expansion of x in x 7.767 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x 7.767 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 7.767 * [taylor]: Taking taylor expansion of 0.99229 in x 7.767 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.767 * [taylor]: Taking taylor expansion of x in x 7.767 * [taylor]: Taking taylor expansion of 1.0 in x 7.810 * [approximate]: Taking taylor expansion of (pow (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) 1/3) in (x) around 0 7.811 * [taylor]: Taking taylor expansion of (pow (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) 1/3) in x 7.811 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x)))))) in x 7.811 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))))) in x 7.811 * [taylor]: Taking taylor expansion of 1/3 in x 7.811 * [taylor]: Taking taylor expansion of (log (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x)))) in x 7.811 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x 7.811 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x 7.811 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 7.811 * [taylor]: Taking taylor expansion of 0.04481 in x 7.811 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 7.811 * [taylor]: Taking taylor expansion of (pow x 2) in x 7.811 * [taylor]: Taking taylor expansion of x in x 7.811 * [taylor]: Taking taylor expansion of 1.0 in x 7.811 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 7.811 * [taylor]: Taking taylor expansion of 0.99229 in x 7.811 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.811 * [taylor]: Taking taylor expansion of x in x 7.814 * [taylor]: Taking taylor expansion of (pow (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) 1/3) in x 7.814 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x)))))) in x 7.814 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))))) in x 7.814 * [taylor]: Taking taylor expansion of 1/3 in x 7.814 * [taylor]: Taking taylor expansion of (log (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x)))) in x 7.814 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x 7.814 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x 7.814 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 7.814 * [taylor]: Taking taylor expansion of 0.04481 in x 7.814 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 7.814 * [taylor]: Taking taylor expansion of (pow x 2) in x 7.814 * [taylor]: Taking taylor expansion of x in x 7.815 * [taylor]: Taking taylor expansion of 1.0 in x 7.815 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 7.815 * [taylor]: Taking taylor expansion of 0.99229 in x 7.815 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.815 * [taylor]: Taking taylor expansion of x in x 7.858 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1) 7.858 * [approximate]: Taking taylor expansion of (pow (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) 1/3) in (x) around 0 7.859 * [taylor]: Taking taylor expansion of (pow (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) 1/3) in x 7.859 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))))) in x 7.859 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)))) in x 7.859 * [taylor]: Taking taylor expansion of 1/3 in x 7.859 * [taylor]: Taking taylor expansion of (log (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in x 7.859 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x 7.859 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x 7.859 * [taylor]: Taking taylor expansion of 0.04481 in x 7.859 * [taylor]: Taking taylor expansion of (pow x 2) in x 7.859 * [taylor]: Taking taylor expansion of x in x 7.859 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x 7.859 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x 7.859 * [taylor]: Taking taylor expansion of 0.99229 in x 7.859 * [taylor]: Taking taylor expansion of x in x 7.859 * [taylor]: Taking taylor expansion of 1.0 in x 7.861 * [taylor]: Taking taylor expansion of (pow (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) 1/3) in x 7.862 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))))) in x 7.862 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)))) in x 7.862 * [taylor]: Taking taylor expansion of 1/3 in x 7.862 * [taylor]: Taking taylor expansion of (log (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0))) in x 7.862 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x 7.862 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x 7.862 * [taylor]: Taking taylor expansion of 0.04481 in x 7.862 * [taylor]: Taking taylor expansion of (pow x 2) in x 7.862 * [taylor]: Taking taylor expansion of x in x 7.862 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x 7.862 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x 7.862 * [taylor]: Taking taylor expansion of 0.99229 in x 7.862 * [taylor]: Taking taylor expansion of x in x 7.862 * [taylor]: Taking taylor expansion of 1.0 in x 7.911 * [approximate]: Taking taylor expansion of (pow (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) 1/3) in (x) around 0 7.911 * [taylor]: Taking taylor expansion of (pow (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) 1/3) in x 7.911 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0))))) in x 7.911 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)))) in x 7.911 * [taylor]: Taking taylor expansion of 1/3 in x 7.911 * [taylor]: Taking taylor expansion of (log (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0))) in x 7.911 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x 7.911 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 7.911 * [taylor]: Taking taylor expansion of 0.04481 in x 7.911 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 7.911 * [taylor]: Taking taylor expansion of (pow x 2) in x 7.911 * [taylor]: Taking taylor expansion of x in x 7.912 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x 7.912 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 7.912 * [taylor]: Taking taylor expansion of 0.99229 in x 7.912 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.912 * [taylor]: Taking taylor expansion of x in x 7.912 * [taylor]: Taking taylor expansion of 1.0 in x 7.914 * [taylor]: Taking taylor expansion of (pow (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) 1/3) in x 7.914 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0))))) in x 7.914 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)))) in x 7.914 * [taylor]: Taking taylor expansion of 1/3 in x 7.914 * [taylor]: Taking taylor expansion of (log (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0))) in x 7.914 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x 7.914 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 7.914 * [taylor]: Taking taylor expansion of 0.04481 in x 7.914 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 7.914 * [taylor]: Taking taylor expansion of (pow x 2) in x 7.914 * [taylor]: Taking taylor expansion of x in x 7.915 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x 7.915 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 7.915 * [taylor]: Taking taylor expansion of 0.99229 in x 7.915 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.915 * [taylor]: Taking taylor expansion of x in x 7.915 * [taylor]: Taking taylor expansion of 1.0 in x 7.954 * [approximate]: Taking taylor expansion of (pow (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) 1/3) in (x) around 0 7.954 * [taylor]: Taking taylor expansion of (pow (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) 1/3) in x 7.954 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x)))))) in x 7.954 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))))) in x 7.954 * [taylor]: Taking taylor expansion of 1/3 in x 7.954 * [taylor]: Taking taylor expansion of (log (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x)))) in x 7.955 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x 7.955 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x 7.955 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 7.955 * [taylor]: Taking taylor expansion of 0.04481 in x 7.955 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 7.955 * [taylor]: Taking taylor expansion of (pow x 2) in x 7.955 * [taylor]: Taking taylor expansion of x in x 7.955 * [taylor]: Taking taylor expansion of 1.0 in x 7.955 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 7.955 * [taylor]: Taking taylor expansion of 0.99229 in x 7.955 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.955 * [taylor]: Taking taylor expansion of x in x 7.958 * [taylor]: Taking taylor expansion of (pow (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) 1/3) in x 7.958 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x)))))) in x 7.958 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))))) in x 7.958 * [taylor]: Taking taylor expansion of 1/3 in x 7.958 * [taylor]: Taking taylor expansion of (log (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x)))) in x 7.958 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x 7.958 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x 7.958 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 7.958 * [taylor]: Taking taylor expansion of 0.04481 in x 7.958 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 7.958 * [taylor]: Taking taylor expansion of (pow x 2) in x 7.958 * [taylor]: Taking taylor expansion of x in x 7.959 * [taylor]: Taking taylor expansion of 1.0 in x 7.959 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 7.959 * [taylor]: Taking taylor expansion of 0.99229 in x 7.959 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.959 * [taylor]: Taking taylor expansion of x in x 8.005 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 8.006 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) 2)) 1/3) (+ (* 0.27061 x) 2.30753)) in (x) around 0 8.006 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) 2)) 1/3) (+ (* 0.27061 x) 2.30753)) in x 8.006 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) 2)) 1/3) in x 8.006 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) 2))))) in x 8.006 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) 2)))) in x 8.006 * [taylor]: Taking taylor expansion of 1/3 in x 8.006 * [taylor]: Taking taylor expansion of (log (/ 1 (pow (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) 2))) in x 8.006 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) 2)) in x 8.006 * [taylor]: Taking taylor expansion of (pow (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) 2) in x 8.006 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x 8.006 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x 8.006 * [taylor]: Taking taylor expansion of 0.04481 in x 8.006 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.006 * [taylor]: Taking taylor expansion of x in x 8.006 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x 8.006 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x 8.006 * [taylor]: Taking taylor expansion of 0.99229 in x 8.006 * [taylor]: Taking taylor expansion of x in x 8.006 * [taylor]: Taking taylor expansion of 1.0 in x 8.009 * [taylor]: Taking taylor expansion of (+ (* 0.27061 x) 2.30753) in x 8.009 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x 8.009 * [taylor]: Taking taylor expansion of 0.27061 in x 8.009 * [taylor]: Taking taylor expansion of x in x 8.009 * [taylor]: Taking taylor expansion of 2.30753 in x 8.009 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) 2)) 1/3) (+ (* 0.27061 x) 2.30753)) in x 8.009 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) 2)) 1/3) in x 8.009 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) 2))))) in x 8.009 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) 2)))) in x 8.009 * [taylor]: Taking taylor expansion of 1/3 in x 8.009 * [taylor]: Taking taylor expansion of (log (/ 1 (pow (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) 2))) in x 8.009 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) 2)) in x 8.009 * [taylor]: Taking taylor expansion of (pow (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) 2) in x 8.009 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (pow x 2)) (+ (* 0.99229 x) 1.0)) in x 8.009 * [taylor]: Taking taylor expansion of (* 0.04481 (pow x 2)) in x 8.009 * [taylor]: Taking taylor expansion of 0.04481 in x 8.010 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.010 * [taylor]: Taking taylor expansion of x in x 8.010 * [taylor]: Taking taylor expansion of (+ (* 0.99229 x) 1.0) in x 8.010 * [taylor]: Taking taylor expansion of (* 0.99229 x) in x 8.010 * [taylor]: Taking taylor expansion of 0.99229 in x 8.010 * [taylor]: Taking taylor expansion of x in x 8.010 * [taylor]: Taking taylor expansion of 1.0 in x 8.013 * [taylor]: Taking taylor expansion of (+ (* 0.27061 x) 2.30753) in x 8.013 * [taylor]: Taking taylor expansion of (* 0.27061 x) in x 8.013 * [taylor]: Taking taylor expansion of 0.27061 in x 8.013 * [taylor]: Taking taylor expansion of x in x 8.013 * [taylor]: Taking taylor expansion of 2.30753 in x 8.085 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) 2)) 1/3) (+ (* 0.27061 (/ 1 x)) 2.30753)) in (x) around 0 8.086 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) 2)) 1/3) (+ (* 0.27061 (/ 1 x)) 2.30753)) in x 8.086 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) 2)) 1/3) in x 8.086 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) 2))))) in x 8.086 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) 2)))) in x 8.086 * [taylor]: Taking taylor expansion of 1/3 in x 8.086 * [taylor]: Taking taylor expansion of (log (/ 1 (pow (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) 2))) in x 8.086 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) 2)) in x 8.086 * [taylor]: Taking taylor expansion of (pow (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) 2) in x 8.086 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x 8.086 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 8.086 * [taylor]: Taking taylor expansion of 0.04481 in x 8.086 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 8.086 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.086 * [taylor]: Taking taylor expansion of x in x 8.087 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x 8.087 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 8.087 * [taylor]: Taking taylor expansion of 0.99229 in x 8.087 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.087 * [taylor]: Taking taylor expansion of x in x 8.087 * [taylor]: Taking taylor expansion of 1.0 in x 8.089 * [taylor]: Taking taylor expansion of (+ (* 0.27061 (/ 1 x)) 2.30753) in x 8.089 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 8.090 * [taylor]: Taking taylor expansion of 0.27061 in x 8.090 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.090 * [taylor]: Taking taylor expansion of x in x 8.090 * [taylor]: Taking taylor expansion of 2.30753 in x 8.090 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) 2)) 1/3) (+ (* 0.27061 (/ 1 x)) 2.30753)) in x 8.090 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) 2)) 1/3) in x 8.090 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) 2))))) in x 8.090 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) 2)))) in x 8.090 * [taylor]: Taking taylor expansion of 1/3 in x 8.090 * [taylor]: Taking taylor expansion of (log (/ 1 (pow (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) 2))) in x 8.090 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) 2)) in x 8.090 * [taylor]: Taking taylor expansion of (pow (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) 2) in x 8.090 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) (+ (* 0.99229 (/ 1 x)) 1.0)) in x 8.090 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 8.090 * [taylor]: Taking taylor expansion of 0.04481 in x 8.090 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 8.090 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.090 * [taylor]: Taking taylor expansion of x in x 8.091 * [taylor]: Taking taylor expansion of (+ (* 0.99229 (/ 1 x)) 1.0) in x 8.091 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 8.091 * [taylor]: Taking taylor expansion of 0.99229 in x 8.091 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.091 * [taylor]: Taking taylor expansion of x in x 8.091 * [taylor]: Taking taylor expansion of 1.0 in x 8.093 * [taylor]: Taking taylor expansion of (+ (* 0.27061 (/ 1 x)) 2.30753) in x 8.093 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 8.094 * [taylor]: Taking taylor expansion of 0.27061 in x 8.094 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.094 * [taylor]: Taking taylor expansion of x in x 8.094 * [taylor]: Taking taylor expansion of 2.30753 in x 8.150 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) 2)) 1/3) (- 2.30753 (* 0.27061 (/ 1 x)))) in (x) around 0 8.150 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) 2)) 1/3) (- 2.30753 (* 0.27061 (/ 1 x)))) in x 8.150 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) 2)) 1/3) in x 8.150 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) 2))))) in x 8.150 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) 2)))) in x 8.150 * [taylor]: Taking taylor expansion of 1/3 in x 8.150 * [taylor]: Taking taylor expansion of (log (/ 1 (pow (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) 2))) in x 8.150 * [taylor]: Taking taylor expansion of (/ 1 (pow (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) 2)) in x 8.151 * [taylor]: Taking taylor expansion of (pow (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) 2) in x 8.151 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x 8.151 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x 8.151 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 8.151 * [taylor]: Taking taylor expansion of 0.04481 in x 8.151 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 8.151 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.151 * [taylor]: Taking taylor expansion of x in x 8.151 * [taylor]: Taking taylor expansion of 1.0 in x 8.151 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 8.151 * [taylor]: Taking taylor expansion of 0.99229 in x 8.151 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.151 * [taylor]: Taking taylor expansion of x in x 8.154 * [taylor]: Taking taylor expansion of (- 2.30753 (* 0.27061 (/ 1 x))) in x 8.154 * [taylor]: Taking taylor expansion of 2.30753 in x 8.154 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 8.154 * [taylor]: Taking taylor expansion of 0.27061 in x 8.154 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.154 * [taylor]: Taking taylor expansion of x in x 8.154 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) 2)) 1/3) (- 2.30753 (* 0.27061 (/ 1 x)))) in x 8.155 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) 2)) 1/3) in x 8.155 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) 2))))) in x 8.155 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) 2)))) in x 8.155 * [taylor]: Taking taylor expansion of 1/3 in x 8.155 * [taylor]: Taking taylor expansion of (log (/ 1 (pow (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) 2))) in x 8.155 * [taylor]: Taking taylor expansion of (/ 1 (pow (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) 2)) in x 8.155 * [taylor]: Taking taylor expansion of (pow (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) 2) in x 8.155 * [taylor]: Taking taylor expansion of (- (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) (* 0.99229 (/ 1 x))) in x 8.155 * [taylor]: Taking taylor expansion of (+ (* 0.04481 (/ 1 (pow x 2))) 1.0) in x 8.155 * [taylor]: Taking taylor expansion of (* 0.04481 (/ 1 (pow x 2))) in x 8.155 * [taylor]: Taking taylor expansion of 0.04481 in x 8.155 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 8.155 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.155 * [taylor]: Taking taylor expansion of x in x 8.155 * [taylor]: Taking taylor expansion of 1.0 in x 8.155 * [taylor]: Taking taylor expansion of (* 0.99229 (/ 1 x)) in x 8.155 * [taylor]: Taking taylor expansion of 0.99229 in x 8.155 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.155 * [taylor]: Taking taylor expansion of x in x 8.158 * [taylor]: Taking taylor expansion of (- 2.30753 (* 0.27061 (/ 1 x))) in x 8.158 * [taylor]: Taking taylor expansion of 2.30753 in x 8.158 * [taylor]: Taking taylor expansion of (* 0.27061 (/ 1 x)) in x 8.158 * [taylor]: Taking taylor expansion of 0.27061 in x 8.158 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.158 * [taylor]: Taking taylor expansion of x in x 8.212 * * * [progress]: simplifying candidates 8.214 * [simplify]: Simplifying using # : (log (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (exp (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt 1) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ (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)))) (cbrt (- 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (* (cbrt (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (cbrt (+ 1.0 (* (+ 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 (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (sqrt (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (sqrt (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (log (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (exp (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt 1) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ (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)))) (cbrt (- 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (* (cbrt (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (cbrt (+ 1.0 (* (+ 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 (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (sqrt (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (sqrt (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (log (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (exp (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt 1) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ (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)))) (cbrt (- 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (* (cbrt (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (cbrt (+ 1.0 (* (+ 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 (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (sqrt (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (sqrt (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (- (log (+ 2.30753 (* x 0.27061))) (+ (log (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (log (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (- (log (+ 2.30753 (* x 0.27061))) (log (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (log (/ (+ 2.30753 (* x 0.27061)) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (exp (/ (+ 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)) (+ 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)))) (/ (* (* (+ 2.30753 (* x 0.27061)) (+ 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)))) (* (cbrt (+ 1.0 (* (+ 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 (+ 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.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (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 (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (* (* (/ (+ 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)) (* (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))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (sqrt (/ (+ 2.30753 (* x 0.27061)) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (sqrt (/ (+ 2.30753 (* x 0.27061)) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (- (+ 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 (+ 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)))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ 1 (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (+ 2.30753 (* x 0.27061)) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ 1 (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (/ (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 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))) (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.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)))) (+ 2.30753 (* x 0.27061))) (/ (+ 2.30753 (* x 0.27061)) (* (cbrt (+ (pow 1.0 3) (pow (* (+ 0.99229 (* x 0.04481)) x) 3))) (cbrt (+ (pow 1.0 3) (pow (* (+ 0.99229 (* x 0.04481)) x) 3))))) (/ (+ 2.30753 (* x 0.27061)) (* (cbrt (+ (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)))))) (/ (+ 2.30753 (* x 0.27061)) (* (cbrt (- (* 1.0 1.0) (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (+ (pow 1.0 3) (pow (* (+ 0.99229 (* x 0.04481)) x) 3))))) (/ (+ 2.30753 (* x 0.27061)) (* (cbrt (- (* 1.0 1.0) (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (- (* 1.0 1.0) (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x)))))) (/ (+ 2.30753 (* x 0.27061)) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ (pow 1.0 3) (pow (* (+ 0.99229 (* x 0.04481)) x) 3))))) (/ (+ 2.30753 (* x 0.27061)) (* (cbrt (+ 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)))))) (/ (+ 2.30753 (* x 0.27061)) (* (cbrt (+ (pow 1.0 3) (pow (* (+ 0.99229 (* x 0.04481)) x) 3))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (/ (+ 2.30753 (* x 0.27061)) (* (cbrt (- (* 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 (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (+ (* 2.30753 2.30753) (- (* (* x 0.27061) (* 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))) (- (+ (* 0.06963885800555555 (* (pow x 2) (pow 1.0 1/3))) (+ (* 0.3307633333333333 (* x (pow 1.0 1/3))) (pow 1.0 1/3))) (* 0.16410657401666667 (* (pow x 2) (pow (/ 1 (pow 1.0 5)) 1/3)))) (- (+ (exp (* 1/3 (- (log 0.04481) (* 2 (log (/ 1 x)))))) (+ (* 34.681809847213536 (/ (exp (* 1/3 (- (log 0.04481) (* 2 (log (/ 1 x)))))) (pow x 2))) (* 7.381462471174588 (/ (exp (* 1/3 (- (log 0.04481) (* 2 (log (/ 1 x)))))) x)))) (* 0.16410657401666667 (/ (exp (* 1/3 (- (log 0.04481) (* 2 (log (/ 1 x)))))) (* (pow 0.04481 2) (pow x 2))))) (- (+ (* 34.681809847213536 (/ (exp (* 1/3 (- (log 0.04481) (* 2 (log (/ -1 x)))))) (pow x 2))) (+ (exp (* 1/3 (- (log 0.04481) (* 2 (log (/ -1 x)))))) (* 7.381462471174588 (/ (exp (* 1/3 (- (log 0.04481) (* 2 (log (/ -1 x)))))) x)))) (* 0.16410657401666667 (/ (exp (* 1/3 (- (log 0.04481) (* 2 (log (/ -1 x)))))) (* (pow 0.04481 2) (pow x 2))))) (- (+ (* 0.06963885800555555 (* (pow x 2) (pow 1.0 1/3))) (+ (* 0.3307633333333333 (* x (pow 1.0 1/3))) (pow 1.0 1/3))) (* 0.16410657401666667 (* (pow x 2) (pow (/ 1 (pow 1.0 5)) 1/3)))) (- (+ (exp (* 1/3 (- (log 0.04481) (* 2 (log (/ 1 x)))))) (+ (* 34.681809847213536 (/ (exp (* 1/3 (- (log 0.04481) (* 2 (log (/ 1 x)))))) (pow x 2))) (* 7.381462471174588 (/ (exp (* 1/3 (- (log 0.04481) (* 2 (log (/ 1 x)))))) x)))) (* 0.16410657401666667 (/ (exp (* 1/3 (- (log 0.04481) (* 2 (log (/ 1 x)))))) (* (pow 0.04481 2) (pow x 2))))) (- (+ (* 34.681809847213536 (/ (exp (* 1/3 (- (log 0.04481) (* 2 (log (/ -1 x)))))) (pow x 2))) (+ (exp (* 1/3 (- (log 0.04481) (* 2 (log (/ -1 x)))))) (* 7.381462471174588 (/ (exp (* 1/3 (- (log 0.04481) (* 2 (log (/ -1 x)))))) x)))) (* 0.16410657401666667 (/ (exp (* 1/3 (- (log 0.04481) (* 2 (log (/ -1 x)))))) (* (pow 0.04481 2) (pow x 2))))) (- (+ (* 0.06963885800555555 (* (pow x 2) (pow 1.0 1/3))) (+ (* 0.3307633333333333 (* x (pow 1.0 1/3))) (pow 1.0 1/3))) (* 0.16410657401666667 (* (pow x 2) (pow (/ 1 (pow 1.0 5)) 1/3)))) (- (+ (exp (* 1/3 (- (log 0.04481) (* 2 (log (/ 1 x)))))) (+ (* 34.681809847213536 (/ (exp (* 1/3 (- (log 0.04481) (* 2 (log (/ 1 x)))))) (pow x 2))) (* 7.381462471174588 (/ (exp (* 1/3 (- (log 0.04481) (* 2 (log (/ 1 x)))))) x)))) (* 0.16410657401666667 (/ (exp (* 1/3 (- (log 0.04481) (* 2 (log (/ 1 x)))))) (* (pow 0.04481 2) (pow x 2))))) (- (+ (* 34.681809847213536 (/ (exp (* 1/3 (- (log 0.04481) (* 2 (log (/ -1 x)))))) (pow x 2))) (+ (exp (* 1/3 (- (log 0.04481) (* 2 (log (/ -1 x)))))) (* 7.381462471174588 (/ (exp (* 1/3 (- (log 0.04481) (* 2 (log (/ -1 x)))))) x)))) (* 0.16410657401666667 (/ (exp (* 1/3 (- (log 0.04481) (* 2 (log (/ -1 x)))))) (* (pow 0.04481 2) (pow x 2))))) (- (+ (* 2.529043502631645 (* (pow x 2) (pow 1.0 1/3))) (* 2.30753 (pow 1.0 1/3))) (+ (* 1.2558826291333332 (* x (pow 1.0 1/3))) (* 1.5147233709627153 (* (pow x 2) (pow (/ 1 (pow 1.0 5)) 1/3))))) (- (+ (* 124.09705792727661 (/ (exp (* 1/3 (+ (* 4 (log (/ 1 x))) (log 498.02381659456194)))) x)) (* 0.27061 (* (exp (* 1/3 (+ (* 4 (log (/ 1 x))) (log 498.02381659456194)))) x))) (+ (* 1.687465118649111 (exp (* 1/3 (+ (* 4 (log (/ 1 x))) (log 498.02381659456194))))) (* 21942198.93152954 (/ (exp (* 1/3 (+ (* 4 (log (/ 1 x))) (log 498.02381659456194)))) (* x (pow 498.02381659456194 2)))))) (- (+ (* 0.27061 (* (exp (* 1/3 (+ (log 498.02381659456194) (* 4 (log (/ -1 x)))))) x)) (* 124.09705792727661 (/ (exp (* 1/3 (+ (log 498.02381659456194) (* 4 (log (/ -1 x)))))) x))) (+ (* 1.687465118649111 (exp (* 1/3 (+ (log 498.02381659456194) (* 4 (log (/ -1 x))))))) (* 21942198.93152954 (/ (exp (* 1/3 (+ (log 498.02381659456194) (* 4 (log (/ -1 x)))))) (* x (pow 498.02381659456194 2)))))) 8.227 * * [simplify]: iteration 0 : 200 enodes (cost 2564 ) 8.261 * * [simplify]: iteration 1 : 523 enodes (cost 2474 ) 8.358 * * [simplify]: iteration 2 : 1487 enodes (cost 2284 ) 8.698 * * [simplify]: iteration done : 5000 enodes (cost 2123 ) 8.700 * [simplify]: Simplified to: (log (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (exp (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) 1 (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ (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)))) (cbrt (- (* 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 (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (pow (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) 3) (sqrt (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (sqrt (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (log (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (exp (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) 1 (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ (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)))) (cbrt (- (* 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 (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (pow (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) 3) (sqrt (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (sqrt (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (log (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (exp (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) 1 (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ (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)))) (cbrt (- (* 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 (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (cbrt (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (pow (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) 3) (sqrt (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (sqrt (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (- (log (+ 2.30753 (* x 0.27061))) (* 2 (log (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (- (log (+ 2.30753 (* x 0.27061))) (* 2 (log (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (- (log (+ 2.30753 (* x 0.27061))) (* 2 (log (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (exp (/ (+ 2.30753 (* x 0.27061)) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (/ (pow (+ 2.30753 (* x 0.27061)) 3) (* (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (pow (+ 2.30753 (* x 0.27061)) 3) (pow (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (* 2 3))) (* (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 (+ 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.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (/ (pow (+ 2.30753 (* x 0.27061)) 3) (pow (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (* 2 3))) (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))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))) (- (+ 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 (+ 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)))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (sqrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ 1 (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (+ 2.30753 (* x 0.27061)) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ 1 (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (/ (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 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))) (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.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)))) (+ 2.30753 (* x 0.27061))) (/ (+ 2.30753 (* x 0.27061)) (* (cbrt (+ (pow 1.0 3) (pow (* (+ 0.99229 (* x 0.04481)) x) 3))) (cbrt (+ (pow 1.0 3) (pow (* (+ 0.99229 (* x 0.04481)) x) 3))))) (/ (+ 2.30753 (* x 0.27061)) (* (cbrt (+ (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)))))) (/ (+ 2.30753 (* x 0.27061)) (* (cbrt (+ (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)))))) (/ (+ 2.30753 (* x 0.27061)) (* (cbrt (- (* 1.0 1.0) (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x)))) (cbrt (- (* 1.0 1.0) (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x)))))) (/ (+ 2.30753 (* x 0.27061)) (* (cbrt (+ (pow 1.0 3) (pow (* (+ 0.99229 (* x 0.04481)) x) 3))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (/ (+ 2.30753 (* x 0.27061)) (* (cbrt (- (* 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))))) (/ (+ 2.30753 (* x 0.27061)) (* (cbrt (+ (pow 1.0 3) (pow (* (+ 0.99229 (* x 0.04481)) x) 3))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) (/ (+ 2.30753 (* x 0.27061)) (* (cbrt (- (* 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 (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (+ (* 2.30753 2.30753) (* (* x 0.27061) (- (* x 0.27061) 2.30753))))) (* (* (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.16410657401666667 (pow x 2)) (cbrt (/ 1 (pow 1.0 5))))) (* (cbrt 1.0) (* x (+ (* 0.06963885800555555 x) 0.3307633333333333)))) (+ (/ (* (pow (exp (+ (log 0.04481) (* (log x) 2))) 1/3) 7.381462471174588) x) (+ (* (/ (/ (pow (exp (+ (log 0.04481) (* (log x) 2))) 1/3) x) x) (- 34.681809847213536 (/ 0.16410657401666667 (pow 0.04481 2)))) (pow (exp (+ (log 0.04481) (* (log x) 2))) 1/3))) (+ (+ (exp (* 1/3 (- (log 0.04481) (* 2 (log (/ -1 x)))))) (* 7.381462471174588 (/ (exp (* 1/3 (- (log 0.04481) (* 2 (log (/ -1 x)))))) x))) (* (/ (exp (* 1/3 (- (log 0.04481) (* 2 (log (/ -1 x)))))) (pow x 2)) (- 34.681809847213536 (/ 0.16410657401666667 (pow 0.04481 2))))) (+ (- (cbrt 1.0) (* (* 0.16410657401666667 (pow x 2)) (cbrt (/ 1 (pow 1.0 5))))) (* (cbrt 1.0) (* x (+ (* 0.06963885800555555 x) 0.3307633333333333)))) (+ (/ (* (pow (exp (+ (log 0.04481) (* (log x) 2))) 1/3) 7.381462471174588) x) (+ (* (/ (/ (pow (exp (+ (log 0.04481) (* (log x) 2))) 1/3) x) x) (- 34.681809847213536 (/ 0.16410657401666667 (pow 0.04481 2)))) (pow (exp (+ (log 0.04481) (* (log x) 2))) 1/3))) (+ (+ (exp (* 1/3 (- (log 0.04481) (* 2 (log (/ -1 x)))))) (* 7.381462471174588 (/ (exp (* 1/3 (- (log 0.04481) (* 2 (log (/ -1 x)))))) x))) (* (/ (exp (* 1/3 (- (log 0.04481) (* 2 (log (/ -1 x)))))) (pow x 2)) (- 34.681809847213536 (/ 0.16410657401666667 (pow 0.04481 2))))) (+ (- (cbrt 1.0) (* (* 0.16410657401666667 (pow x 2)) (cbrt (/ 1 (pow 1.0 5))))) (* (cbrt 1.0) (* x (+ (* 0.06963885800555555 x) 0.3307633333333333)))) (+ (/ (* (pow (exp (+ (log 0.04481) (* (log x) 2))) 1/3) 7.381462471174588) x) (+ (* (/ (/ (pow (exp (+ (log 0.04481) (* (log x) 2))) 1/3) x) x) (- 34.681809847213536 (/ 0.16410657401666667 (pow 0.04481 2)))) (pow (exp (+ (log 0.04481) (* (log x) 2))) 1/3))) (+ (+ (exp (* 1/3 (- (log 0.04481) (* 2 (log (/ -1 x)))))) (* 7.381462471174588 (/ (exp (* 1/3 (- (log 0.04481) (* 2 (log (/ -1 x)))))) x))) (* (/ (exp (* 1/3 (- (log 0.04481) (* 2 (log (/ -1 x)))))) (pow x 2)) (- 34.681809847213536 (/ 0.16410657401666667 (pow 0.04481 2))))) (- (* (cbrt 1.0) (- (+ (* 2.529043502631645 (pow x 2)) 2.30753) (* 1.2558826291333332 x))) (* (* (cbrt (/ 1 (pow 1.0 5))) (pow x 2)) 1.5147233709627153)) (+ (- (* (exp (* (- (log 498.02381659456194) (* (log x) 4)) 1/3)) (- (* x 0.27061) 1.687465118649111)) (/ (* (/ 21942198.93152954 x) (exp (* (- (log 498.02381659456194) (* (log x) 4)) 1/3))) (pow 498.02381659456194 2))) (* (/ (exp (* (- (log 498.02381659456194) (* (log x) 4)) 1/3)) x) 124.09705792727661)) (+ (* 0.27061 (* (exp (* 1/3 (+ (log 498.02381659456194) (* 4 (log (/ -1 x)))))) x)) (- (* (/ (exp (* 1/3 (+ (log 498.02381659456194) (* 4 (log (/ -1 x)))))) x) (- 124.09705792727661 (/ 21942198.93152954 (pow 498.02381659456194 2)))) (* 1.687465118649111 (exp (* 1/3 (+ (log 498.02381659456194) (* 4 (log (/ -1 x))))))))) 8.701 * * * [progress]: adding candidates to table 9.025 * [progress]: [Phase 3 of 3] Extracting. 9.025 * * [regime]: Finding splitpoints for: (# #) 9.026 * * * [regime-changes]: Trying 2 branch expressions: ((- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) x) 9.026 * * * * [regimes]: Trying to branch on (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) from (# #) 9.038 * * * * [regimes]: Trying to branch on x from (# #) 9.054 * * * [regime]: Found split indices: #