3.437 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.044 * * * [progress]: [2/2] Setting up program. 0.051 * [progress]: [Phase 2 of 3] Improving. 0.051 * [simplify]: Simplifying using # : (* (/ (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1.0 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2.0 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))) x) 0.052 * * [simplify]: iteration 0 : 44 enodes (cost 173 ) 0.059 * * [simplify]: iteration 1 : 132 enodes (cost 173 ) 0.085 * * [simplify]: iteration 2 : 504 enodes (cost 109 ) 0.237 * * [simplify]: iteration 3 : 2077 enodes (cost 79 ) 1.065 * * [simplify]: iteration done : 5000 enodes (cost 79 ) 1.065 * [simplify]: Simplified to: (/ (* (+ (+ (* (pow (* x x) 4) (+ (* (* x x) 0.0001789971) 0.0005064034)) (+ (+ 1.0 (* 0.1049934947 (* x x))) (* (pow x 6) 0.0072644182))) (* (pow x 4) 0.0424060604)) x) (+ (+ (* (* 2.0 0.0001789971) (pow (* x x) 6)) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (+ (* (pow x 6) 0.0694555761) (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945)))))) 1.073 * * [progress]: iteration 1 / 4 1.073 * * * [progress]: picking best candidate 1.086 * * * * [pick]: Picked # 1.086 * * * [progress]: localizing error 1.131 * * * [progress]: generating rewritten candidates 1.131 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 1.537 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 2 1) 1.544 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 2 2) 1.552 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2 1 2) 1.561 * * * [progress]: generating series expansions 1.561 * * * * [progress]: [ 1 / 4 ] generating series at (2) 1.563 * [approximate]: Taking taylor expansion of (/ (* (+ (* 0.0005064034 (pow x 8)) (+ (* 0.1049934947 (pow x 2)) (+ (* 0.0072644182 (pow x 6)) (+ (* 0.0424060604 (pow x 4)) (+ (* 0.0001789971 (pow x 10)) 1.0))))) x) (+ (* 0.7715471019 (pow x 2)) (+ (* 0.2909738639 (pow x 4)) (+ (* 0.0008327945 (pow x 10)) (+ (* 0.0140005442 (pow x 8)) (+ (* 0.0694555761 (pow x 6)) (+ (* 0.0003579942 (pow x 12)) 1.0))))))) in (x) around 0 1.563 * [taylor]: Taking taylor expansion of (/ (* (+ (* 0.0005064034 (pow x 8)) (+ (* 0.1049934947 (pow x 2)) (+ (* 0.0072644182 (pow x 6)) (+ (* 0.0424060604 (pow x 4)) (+ (* 0.0001789971 (pow x 10)) 1.0))))) x) (+ (* 0.7715471019 (pow x 2)) (+ (* 0.2909738639 (pow x 4)) (+ (* 0.0008327945 (pow x 10)) (+ (* 0.0140005442 (pow x 8)) (+ (* 0.0694555761 (pow x 6)) (+ (* 0.0003579942 (pow x 12)) 1.0))))))) in x 1.563 * [taylor]: Taking taylor expansion of (* (+ (* 0.0005064034 (pow x 8)) (+ (* 0.1049934947 (pow x 2)) (+ (* 0.0072644182 (pow x 6)) (+ (* 0.0424060604 (pow x 4)) (+ (* 0.0001789971 (pow x 10)) 1.0))))) x) in x 1.563 * [taylor]: Taking taylor expansion of (+ (* 0.0005064034 (pow x 8)) (+ (* 0.1049934947 (pow x 2)) (+ (* 0.0072644182 (pow x 6)) (+ (* 0.0424060604 (pow x 4)) (+ (* 0.0001789971 (pow x 10)) 1.0))))) in x 1.564 * [taylor]: Taking taylor expansion of (* 0.0005064034 (pow x 8)) in x 1.564 * [taylor]: Taking taylor expansion of 0.0005064034 in x 1.564 * [taylor]: Taking taylor expansion of (pow x 8) in x 1.564 * [taylor]: Taking taylor expansion of x in x 1.564 * [taylor]: Taking taylor expansion of (+ (* 0.1049934947 (pow x 2)) (+ (* 0.0072644182 (pow x 6)) (+ (* 0.0424060604 (pow x 4)) (+ (* 0.0001789971 (pow x 10)) 1.0)))) in x 1.564 * [taylor]: Taking taylor expansion of (* 0.1049934947 (pow x 2)) in x 1.564 * [taylor]: Taking taylor expansion of 0.1049934947 in x 1.564 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.564 * [taylor]: Taking taylor expansion of x in x 1.564 * [taylor]: Taking taylor expansion of (+ (* 0.0072644182 (pow x 6)) (+ (* 0.0424060604 (pow x 4)) (+ (* 0.0001789971 (pow x 10)) 1.0))) in x 1.564 * [taylor]: Taking taylor expansion of (* 0.0072644182 (pow x 6)) in x 1.564 * [taylor]: Taking taylor expansion of 0.0072644182 in x 1.564 * [taylor]: Taking taylor expansion of (pow x 6) in x 1.564 * [taylor]: Taking taylor expansion of x in x 1.564 * [taylor]: Taking taylor expansion of (+ (* 0.0424060604 (pow x 4)) (+ (* 0.0001789971 (pow x 10)) 1.0)) in x 1.564 * [taylor]: Taking taylor expansion of (* 0.0424060604 (pow x 4)) in x 1.564 * [taylor]: Taking taylor expansion of 0.0424060604 in x 1.564 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.564 * [taylor]: Taking taylor expansion of x in x 1.564 * [taylor]: Taking taylor expansion of (+ (* 0.0001789971 (pow x 10)) 1.0) in x 1.564 * [taylor]: Taking taylor expansion of (* 0.0001789971 (pow x 10)) in x 1.564 * [taylor]: Taking taylor expansion of 0.0001789971 in x 1.564 * [taylor]: Taking taylor expansion of (pow x 10) in x 1.564 * [taylor]: Taking taylor expansion of x in x 1.564 * [taylor]: Taking taylor expansion of 1.0 in x 1.564 * [taylor]: Taking taylor expansion of x in x 1.564 * [taylor]: Taking taylor expansion of (+ (* 0.7715471019 (pow x 2)) (+ (* 0.2909738639 (pow x 4)) (+ (* 0.0008327945 (pow x 10)) (+ (* 0.0140005442 (pow x 8)) (+ (* 0.0694555761 (pow x 6)) (+ (* 0.0003579942 (pow x 12)) 1.0)))))) in x 1.564 * [taylor]: Taking taylor expansion of (* 0.7715471019 (pow x 2)) in x 1.564 * [taylor]: Taking taylor expansion of 0.7715471019 in x 1.564 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.564 * [taylor]: Taking taylor expansion of x in x 1.564 * [taylor]: Taking taylor expansion of (+ (* 0.2909738639 (pow x 4)) (+ (* 0.0008327945 (pow x 10)) (+ (* 0.0140005442 (pow x 8)) (+ (* 0.0694555761 (pow x 6)) (+ (* 0.0003579942 (pow x 12)) 1.0))))) in x 1.564 * [taylor]: Taking taylor expansion of (* 0.2909738639 (pow x 4)) in x 1.564 * [taylor]: Taking taylor expansion of 0.2909738639 in x 1.564 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.564 * [taylor]: Taking taylor expansion of x in x 1.564 * [taylor]: Taking taylor expansion of (+ (* 0.0008327945 (pow x 10)) (+ (* 0.0140005442 (pow x 8)) (+ (* 0.0694555761 (pow x 6)) (+ (* 0.0003579942 (pow x 12)) 1.0)))) in x 1.564 * [taylor]: Taking taylor expansion of (* 0.0008327945 (pow x 10)) in x 1.564 * [taylor]: Taking taylor expansion of 0.0008327945 in x 1.564 * [taylor]: Taking taylor expansion of (pow x 10) in x 1.564 * [taylor]: Taking taylor expansion of x in x 1.564 * [taylor]: Taking taylor expansion of (+ (* 0.0140005442 (pow x 8)) (+ (* 0.0694555761 (pow x 6)) (+ (* 0.0003579942 (pow x 12)) 1.0))) in x 1.564 * [taylor]: Taking taylor expansion of (* 0.0140005442 (pow x 8)) in x 1.564 * [taylor]: Taking taylor expansion of 0.0140005442 in x 1.564 * [taylor]: Taking taylor expansion of (pow x 8) in x 1.564 * [taylor]: Taking taylor expansion of x in x 1.564 * [taylor]: Taking taylor expansion of (+ (* 0.0694555761 (pow x 6)) (+ (* 0.0003579942 (pow x 12)) 1.0)) in x 1.564 * [taylor]: Taking taylor expansion of (* 0.0694555761 (pow x 6)) in x 1.564 * [taylor]: Taking taylor expansion of 0.0694555761 in x 1.564 * [taylor]: Taking taylor expansion of (pow x 6) in x 1.564 * [taylor]: Taking taylor expansion of x in x 1.564 * [taylor]: Taking taylor expansion of (+ (* 0.0003579942 (pow x 12)) 1.0) in x 1.565 * [taylor]: Taking taylor expansion of (* 0.0003579942 (pow x 12)) in x 1.565 * [taylor]: Taking taylor expansion of 0.0003579942 in x 1.565 * [taylor]: Taking taylor expansion of (pow x 12) in x 1.565 * [taylor]: Taking taylor expansion of x in x 1.565 * [taylor]: Taking taylor expansion of 1.0 in x 1.573 * [taylor]: Taking taylor expansion of (/ (* (+ (* 0.0005064034 (pow x 8)) (+ (* 0.1049934947 (pow x 2)) (+ (* 0.0072644182 (pow x 6)) (+ (* 0.0424060604 (pow x 4)) (+ (* 0.0001789971 (pow x 10)) 1.0))))) x) (+ (* 0.7715471019 (pow x 2)) (+ (* 0.2909738639 (pow x 4)) (+ (* 0.0008327945 (pow x 10)) (+ (* 0.0140005442 (pow x 8)) (+ (* 0.0694555761 (pow x 6)) (+ (* 0.0003579942 (pow x 12)) 1.0))))))) in x 1.573 * [taylor]: Taking taylor expansion of (* (+ (* 0.0005064034 (pow x 8)) (+ (* 0.1049934947 (pow x 2)) (+ (* 0.0072644182 (pow x 6)) (+ (* 0.0424060604 (pow x 4)) (+ (* 0.0001789971 (pow x 10)) 1.0))))) x) in x 1.573 * [taylor]: Taking taylor expansion of (+ (* 0.0005064034 (pow x 8)) (+ (* 0.1049934947 (pow x 2)) (+ (* 0.0072644182 (pow x 6)) (+ (* 0.0424060604 (pow x 4)) (+ (* 0.0001789971 (pow x 10)) 1.0))))) in x 1.573 * [taylor]: Taking taylor expansion of (* 0.0005064034 (pow x 8)) in x 1.573 * [taylor]: Taking taylor expansion of 0.0005064034 in x 1.573 * [taylor]: Taking taylor expansion of (pow x 8) in x 1.573 * [taylor]: Taking taylor expansion of x in x 1.573 * [taylor]: Taking taylor expansion of (+ (* 0.1049934947 (pow x 2)) (+ (* 0.0072644182 (pow x 6)) (+ (* 0.0424060604 (pow x 4)) (+ (* 0.0001789971 (pow x 10)) 1.0)))) in x 1.573 * [taylor]: Taking taylor expansion of (* 0.1049934947 (pow x 2)) in x 1.573 * [taylor]: Taking taylor expansion of 0.1049934947 in x 1.573 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.573 * [taylor]: Taking taylor expansion of x in x 1.573 * [taylor]: Taking taylor expansion of (+ (* 0.0072644182 (pow x 6)) (+ (* 0.0424060604 (pow x 4)) (+ (* 0.0001789971 (pow x 10)) 1.0))) in x 1.573 * [taylor]: Taking taylor expansion of (* 0.0072644182 (pow x 6)) in x 1.573 * [taylor]: Taking taylor expansion of 0.0072644182 in x 1.573 * [taylor]: Taking taylor expansion of (pow x 6) in x 1.573 * [taylor]: Taking taylor expansion of x in x 1.573 * [taylor]: Taking taylor expansion of (+ (* 0.0424060604 (pow x 4)) (+ (* 0.0001789971 (pow x 10)) 1.0)) in x 1.573 * [taylor]: Taking taylor expansion of (* 0.0424060604 (pow x 4)) in x 1.573 * [taylor]: Taking taylor expansion of 0.0424060604 in x 1.573 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.573 * [taylor]: Taking taylor expansion of x in x 1.573 * [taylor]: Taking taylor expansion of (+ (* 0.0001789971 (pow x 10)) 1.0) in x 1.573 * [taylor]: Taking taylor expansion of (* 0.0001789971 (pow x 10)) in x 1.573 * [taylor]: Taking taylor expansion of 0.0001789971 in x 1.573 * [taylor]: Taking taylor expansion of (pow x 10) in x 1.573 * [taylor]: Taking taylor expansion of x in x 1.573 * [taylor]: Taking taylor expansion of 1.0 in x 1.573 * [taylor]: Taking taylor expansion of x in x 1.573 * [taylor]: Taking taylor expansion of (+ (* 0.7715471019 (pow x 2)) (+ (* 0.2909738639 (pow x 4)) (+ (* 0.0008327945 (pow x 10)) (+ (* 0.0140005442 (pow x 8)) (+ (* 0.0694555761 (pow x 6)) (+ (* 0.0003579942 (pow x 12)) 1.0)))))) in x 1.573 * [taylor]: Taking taylor expansion of (* 0.7715471019 (pow x 2)) in x 1.573 * [taylor]: Taking taylor expansion of 0.7715471019 in x 1.573 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.573 * [taylor]: Taking taylor expansion of x in x 1.573 * [taylor]: Taking taylor expansion of (+ (* 0.2909738639 (pow x 4)) (+ (* 0.0008327945 (pow x 10)) (+ (* 0.0140005442 (pow x 8)) (+ (* 0.0694555761 (pow x 6)) (+ (* 0.0003579942 (pow x 12)) 1.0))))) in x 1.573 * [taylor]: Taking taylor expansion of (* 0.2909738639 (pow x 4)) in x 1.573 * [taylor]: Taking taylor expansion of 0.2909738639 in x 1.573 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.573 * [taylor]: Taking taylor expansion of x in x 1.573 * [taylor]: Taking taylor expansion of (+ (* 0.0008327945 (pow x 10)) (+ (* 0.0140005442 (pow x 8)) (+ (* 0.0694555761 (pow x 6)) (+ (* 0.0003579942 (pow x 12)) 1.0)))) in x 1.573 * [taylor]: Taking taylor expansion of (* 0.0008327945 (pow x 10)) in x 1.573 * [taylor]: Taking taylor expansion of 0.0008327945 in x 1.573 * [taylor]: Taking taylor expansion of (pow x 10) in x 1.573 * [taylor]: Taking taylor expansion of x in x 1.573 * [taylor]: Taking taylor expansion of (+ (* 0.0140005442 (pow x 8)) (+ (* 0.0694555761 (pow x 6)) (+ (* 0.0003579942 (pow x 12)) 1.0))) in x 1.573 * [taylor]: Taking taylor expansion of (* 0.0140005442 (pow x 8)) in x 1.574 * [taylor]: Taking taylor expansion of 0.0140005442 in x 1.574 * [taylor]: Taking taylor expansion of (pow x 8) in x 1.574 * [taylor]: Taking taylor expansion of x in x 1.574 * [taylor]: Taking taylor expansion of (+ (* 0.0694555761 (pow x 6)) (+ (* 0.0003579942 (pow x 12)) 1.0)) in x 1.574 * [taylor]: Taking taylor expansion of (* 0.0694555761 (pow x 6)) in x 1.574 * [taylor]: Taking taylor expansion of 0.0694555761 in x 1.574 * [taylor]: Taking taylor expansion of (pow x 6) in x 1.574 * [taylor]: Taking taylor expansion of x in x 1.574 * [taylor]: Taking taylor expansion of (+ (* 0.0003579942 (pow x 12)) 1.0) in x 1.574 * [taylor]: Taking taylor expansion of (* 0.0003579942 (pow x 12)) in x 1.574 * [taylor]: Taking taylor expansion of 0.0003579942 in x 1.574 * [taylor]: Taking taylor expansion of (pow x 12) in x 1.574 * [taylor]: Taking taylor expansion of x in x 1.574 * [taylor]: Taking taylor expansion of 1.0 in x 1.617 * [approximate]: Taking taylor expansion of (/ (+ (* 0.0072644182 (/ 1 (pow x 6))) (+ (* 0.1049934947 (/ 1 (pow x 2))) (+ (* 0.0424060604 (/ 1 (pow x 4))) (+ (* 0.0005064034 (/ 1 (pow x 8))) (+ (* 0.0001789971 (/ 1 (pow x 10))) 1.0))))) (* x (+ (* 0.0003579942 (/ 1 (pow x 12))) (+ (* 0.2909738639 (/ 1 (pow x 4))) (+ (* 0.0140005442 (/ 1 (pow x 8))) (+ (* 0.0008327945 (/ 1 (pow x 10))) (+ (* 0.0694555761 (/ 1 (pow x 6))) (+ (* 0.7715471019 (/ 1 (pow x 2))) 1.0)))))))) in (x) around 0 1.617 * [taylor]: Taking taylor expansion of (/ (+ (* 0.0072644182 (/ 1 (pow x 6))) (+ (* 0.1049934947 (/ 1 (pow x 2))) (+ (* 0.0424060604 (/ 1 (pow x 4))) (+ (* 0.0005064034 (/ 1 (pow x 8))) (+ (* 0.0001789971 (/ 1 (pow x 10))) 1.0))))) (* x (+ (* 0.0003579942 (/ 1 (pow x 12))) (+ (* 0.2909738639 (/ 1 (pow x 4))) (+ (* 0.0140005442 (/ 1 (pow x 8))) (+ (* 0.0008327945 (/ 1 (pow x 10))) (+ (* 0.0694555761 (/ 1 (pow x 6))) (+ (* 0.7715471019 (/ 1 (pow x 2))) 1.0)))))))) in x 1.617 * [taylor]: Taking taylor expansion of (+ (* 0.0072644182 (/ 1 (pow x 6))) (+ (* 0.1049934947 (/ 1 (pow x 2))) (+ (* 0.0424060604 (/ 1 (pow x 4))) (+ (* 0.0005064034 (/ 1 (pow x 8))) (+ (* 0.0001789971 (/ 1 (pow x 10))) 1.0))))) in x 1.617 * [taylor]: Taking taylor expansion of (* 0.0072644182 (/ 1 (pow x 6))) in x 1.617 * [taylor]: Taking taylor expansion of 0.0072644182 in x 1.617 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x 1.617 * [taylor]: Taking taylor expansion of (pow x 6) in x 1.617 * [taylor]: Taking taylor expansion of x in x 1.618 * [taylor]: Taking taylor expansion of (+ (* 0.1049934947 (/ 1 (pow x 2))) (+ (* 0.0424060604 (/ 1 (pow x 4))) (+ (* 0.0005064034 (/ 1 (pow x 8))) (+ (* 0.0001789971 (/ 1 (pow x 10))) 1.0)))) in x 1.618 * [taylor]: Taking taylor expansion of (* 0.1049934947 (/ 1 (pow x 2))) in x 1.618 * [taylor]: Taking taylor expansion of 0.1049934947 in x 1.618 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.618 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.618 * [taylor]: Taking taylor expansion of x in x 1.618 * [taylor]: Taking taylor expansion of (+ (* 0.0424060604 (/ 1 (pow x 4))) (+ (* 0.0005064034 (/ 1 (pow x 8))) (+ (* 0.0001789971 (/ 1 (pow x 10))) 1.0))) in x 1.618 * [taylor]: Taking taylor expansion of (* 0.0424060604 (/ 1 (pow x 4))) in x 1.618 * [taylor]: Taking taylor expansion of 0.0424060604 in x 1.618 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 1.619 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.619 * [taylor]: Taking taylor expansion of x in x 1.619 * [taylor]: Taking taylor expansion of (+ (* 0.0005064034 (/ 1 (pow x 8))) (+ (* 0.0001789971 (/ 1 (pow x 10))) 1.0)) in x 1.619 * [taylor]: Taking taylor expansion of (* 0.0005064034 (/ 1 (pow x 8))) in x 1.619 * [taylor]: Taking taylor expansion of 0.0005064034 in x 1.619 * [taylor]: Taking taylor expansion of (/ 1 (pow x 8)) in x 1.619 * [taylor]: Taking taylor expansion of (pow x 8) in x 1.619 * [taylor]: Taking taylor expansion of x in x 1.620 * [taylor]: Taking taylor expansion of (+ (* 0.0001789971 (/ 1 (pow x 10))) 1.0) in x 1.620 * [taylor]: Taking taylor expansion of (* 0.0001789971 (/ 1 (pow x 10))) in x 1.620 * [taylor]: Taking taylor expansion of 0.0001789971 in x 1.620 * [taylor]: Taking taylor expansion of (/ 1 (pow x 10)) in x 1.620 * [taylor]: Taking taylor expansion of (pow x 10) in x 1.620 * [taylor]: Taking taylor expansion of x in x 1.622 * [taylor]: Taking taylor expansion of 1.0 in x 1.622 * [taylor]: Taking taylor expansion of (* x (+ (* 0.0003579942 (/ 1 (pow x 12))) (+ (* 0.2909738639 (/ 1 (pow x 4))) (+ (* 0.0140005442 (/ 1 (pow x 8))) (+ (* 0.0008327945 (/ 1 (pow x 10))) (+ (* 0.0694555761 (/ 1 (pow x 6))) (+ (* 0.7715471019 (/ 1 (pow x 2))) 1.0))))))) in x 1.622 * [taylor]: Taking taylor expansion of x in x 1.622 * [taylor]: Taking taylor expansion of (+ (* 0.0003579942 (/ 1 (pow x 12))) (+ (* 0.2909738639 (/ 1 (pow x 4))) (+ (* 0.0140005442 (/ 1 (pow x 8))) (+ (* 0.0008327945 (/ 1 (pow x 10))) (+ (* 0.0694555761 (/ 1 (pow x 6))) (+ (* 0.7715471019 (/ 1 (pow x 2))) 1.0)))))) in x 1.622 * [taylor]: Taking taylor expansion of (* 0.0003579942 (/ 1 (pow x 12))) in x 1.622 * [taylor]: Taking taylor expansion of 0.0003579942 in x 1.622 * [taylor]: Taking taylor expansion of (/ 1 (pow x 12)) in x 1.622 * [taylor]: Taking taylor expansion of (pow x 12) in x 1.622 * [taylor]: Taking taylor expansion of x in x 1.623 * [taylor]: Taking taylor expansion of (+ (* 0.2909738639 (/ 1 (pow x 4))) (+ (* 0.0140005442 (/ 1 (pow x 8))) (+ (* 0.0008327945 (/ 1 (pow x 10))) (+ (* 0.0694555761 (/ 1 (pow x 6))) (+ (* 0.7715471019 (/ 1 (pow x 2))) 1.0))))) in x 1.623 * [taylor]: Taking taylor expansion of (* 0.2909738639 (/ 1 (pow x 4))) in x 1.623 * [taylor]: Taking taylor expansion of 0.2909738639 in x 1.623 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 1.623 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.623 * [taylor]: Taking taylor expansion of x in x 1.624 * [taylor]: Taking taylor expansion of (+ (* 0.0140005442 (/ 1 (pow x 8))) (+ (* 0.0008327945 (/ 1 (pow x 10))) (+ (* 0.0694555761 (/ 1 (pow x 6))) (+ (* 0.7715471019 (/ 1 (pow x 2))) 1.0)))) in x 1.624 * [taylor]: Taking taylor expansion of (* 0.0140005442 (/ 1 (pow x 8))) in x 1.624 * [taylor]: Taking taylor expansion of 0.0140005442 in x 1.624 * [taylor]: Taking taylor expansion of (/ 1 (pow x 8)) in x 1.624 * [taylor]: Taking taylor expansion of (pow x 8) in x 1.624 * [taylor]: Taking taylor expansion of x in x 1.625 * [taylor]: Taking taylor expansion of (+ (* 0.0008327945 (/ 1 (pow x 10))) (+ (* 0.0694555761 (/ 1 (pow x 6))) (+ (* 0.7715471019 (/ 1 (pow x 2))) 1.0))) in x 1.625 * [taylor]: Taking taylor expansion of (* 0.0008327945 (/ 1 (pow x 10))) in x 1.625 * [taylor]: Taking taylor expansion of 0.0008327945 in x 1.625 * [taylor]: Taking taylor expansion of (/ 1 (pow x 10)) in x 1.625 * [taylor]: Taking taylor expansion of (pow x 10) in x 1.625 * [taylor]: Taking taylor expansion of x in x 1.626 * [taylor]: Taking taylor expansion of (+ (* 0.0694555761 (/ 1 (pow x 6))) (+ (* 0.7715471019 (/ 1 (pow x 2))) 1.0)) in x 1.626 * [taylor]: Taking taylor expansion of (* 0.0694555761 (/ 1 (pow x 6))) in x 1.626 * [taylor]: Taking taylor expansion of 0.0694555761 in x 1.626 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x 1.626 * [taylor]: Taking taylor expansion of (pow x 6) in x 1.626 * [taylor]: Taking taylor expansion of x in x 1.627 * [taylor]: Taking taylor expansion of (+ (* 0.7715471019 (/ 1 (pow x 2))) 1.0) in x 1.627 * [taylor]: Taking taylor expansion of (* 0.7715471019 (/ 1 (pow x 2))) in x 1.627 * [taylor]: Taking taylor expansion of 0.7715471019 in x 1.627 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.627 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.627 * [taylor]: Taking taylor expansion of x in x 1.628 * [taylor]: Taking taylor expansion of 1.0 in x 1.634 * [taylor]: Taking taylor expansion of (/ (+ (* 0.0072644182 (/ 1 (pow x 6))) (+ (* 0.1049934947 (/ 1 (pow x 2))) (+ (* 0.0424060604 (/ 1 (pow x 4))) (+ (* 0.0005064034 (/ 1 (pow x 8))) (+ (* 0.0001789971 (/ 1 (pow x 10))) 1.0))))) (* x (+ (* 0.0003579942 (/ 1 (pow x 12))) (+ (* 0.2909738639 (/ 1 (pow x 4))) (+ (* 0.0140005442 (/ 1 (pow x 8))) (+ (* 0.0008327945 (/ 1 (pow x 10))) (+ (* 0.0694555761 (/ 1 (pow x 6))) (+ (* 0.7715471019 (/ 1 (pow x 2))) 1.0)))))))) in x 1.634 * [taylor]: Taking taylor expansion of (+ (* 0.0072644182 (/ 1 (pow x 6))) (+ (* 0.1049934947 (/ 1 (pow x 2))) (+ (* 0.0424060604 (/ 1 (pow x 4))) (+ (* 0.0005064034 (/ 1 (pow x 8))) (+ (* 0.0001789971 (/ 1 (pow x 10))) 1.0))))) in x 1.634 * [taylor]: Taking taylor expansion of (* 0.0072644182 (/ 1 (pow x 6))) in x 1.634 * [taylor]: Taking taylor expansion of 0.0072644182 in x 1.634 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x 1.634 * [taylor]: Taking taylor expansion of (pow x 6) in x 1.634 * [taylor]: Taking taylor expansion of x in x 1.635 * [taylor]: Taking taylor expansion of (+ (* 0.1049934947 (/ 1 (pow x 2))) (+ (* 0.0424060604 (/ 1 (pow x 4))) (+ (* 0.0005064034 (/ 1 (pow x 8))) (+ (* 0.0001789971 (/ 1 (pow x 10))) 1.0)))) in x 1.635 * [taylor]: Taking taylor expansion of (* 0.1049934947 (/ 1 (pow x 2))) in x 1.635 * [taylor]: Taking taylor expansion of 0.1049934947 in x 1.635 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.635 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.635 * [taylor]: Taking taylor expansion of x in x 1.636 * [taylor]: Taking taylor expansion of (+ (* 0.0424060604 (/ 1 (pow x 4))) (+ (* 0.0005064034 (/ 1 (pow x 8))) (+ (* 0.0001789971 (/ 1 (pow x 10))) 1.0))) in x 1.636 * [taylor]: Taking taylor expansion of (* 0.0424060604 (/ 1 (pow x 4))) in x 1.636 * [taylor]: Taking taylor expansion of 0.0424060604 in x 1.636 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 1.636 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.636 * [taylor]: Taking taylor expansion of x in x 1.637 * [taylor]: Taking taylor expansion of (+ (* 0.0005064034 (/ 1 (pow x 8))) (+ (* 0.0001789971 (/ 1 (pow x 10))) 1.0)) in x 1.637 * [taylor]: Taking taylor expansion of (* 0.0005064034 (/ 1 (pow x 8))) in x 1.637 * [taylor]: Taking taylor expansion of 0.0005064034 in x 1.637 * [taylor]: Taking taylor expansion of (/ 1 (pow x 8)) in x 1.637 * [taylor]: Taking taylor expansion of (pow x 8) in x 1.637 * [taylor]: Taking taylor expansion of x in x 1.638 * [taylor]: Taking taylor expansion of (+ (* 0.0001789971 (/ 1 (pow x 10))) 1.0) in x 1.638 * [taylor]: Taking taylor expansion of (* 0.0001789971 (/ 1 (pow x 10))) in x 1.638 * [taylor]: Taking taylor expansion of 0.0001789971 in x 1.638 * [taylor]: Taking taylor expansion of (/ 1 (pow x 10)) in x 1.638 * [taylor]: Taking taylor expansion of (pow x 10) in x 1.638 * [taylor]: Taking taylor expansion of x in x 1.639 * [taylor]: Taking taylor expansion of 1.0 in x 1.639 * [taylor]: Taking taylor expansion of (* x (+ (* 0.0003579942 (/ 1 (pow x 12))) (+ (* 0.2909738639 (/ 1 (pow x 4))) (+ (* 0.0140005442 (/ 1 (pow x 8))) (+ (* 0.0008327945 (/ 1 (pow x 10))) (+ (* 0.0694555761 (/ 1 (pow x 6))) (+ (* 0.7715471019 (/ 1 (pow x 2))) 1.0))))))) in x 1.639 * [taylor]: Taking taylor expansion of x in x 1.639 * [taylor]: Taking taylor expansion of (+ (* 0.0003579942 (/ 1 (pow x 12))) (+ (* 0.2909738639 (/ 1 (pow x 4))) (+ (* 0.0140005442 (/ 1 (pow x 8))) (+ (* 0.0008327945 (/ 1 (pow x 10))) (+ (* 0.0694555761 (/ 1 (pow x 6))) (+ (* 0.7715471019 (/ 1 (pow x 2))) 1.0)))))) in x 1.639 * [taylor]: Taking taylor expansion of (* 0.0003579942 (/ 1 (pow x 12))) in x 1.639 * [taylor]: Taking taylor expansion of 0.0003579942 in x 1.639 * [taylor]: Taking taylor expansion of (/ 1 (pow x 12)) in x 1.639 * [taylor]: Taking taylor expansion of (pow x 12) in x 1.639 * [taylor]: Taking taylor expansion of x in x 1.640 * [taylor]: Taking taylor expansion of (+ (* 0.2909738639 (/ 1 (pow x 4))) (+ (* 0.0140005442 (/ 1 (pow x 8))) (+ (* 0.0008327945 (/ 1 (pow x 10))) (+ (* 0.0694555761 (/ 1 (pow x 6))) (+ (* 0.7715471019 (/ 1 (pow x 2))) 1.0))))) in x 1.640 * [taylor]: Taking taylor expansion of (* 0.2909738639 (/ 1 (pow x 4))) in x 1.640 * [taylor]: Taking taylor expansion of 0.2909738639 in x 1.640 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 1.640 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.640 * [taylor]: Taking taylor expansion of x in x 1.641 * [taylor]: Taking taylor expansion of (+ (* 0.0140005442 (/ 1 (pow x 8))) (+ (* 0.0008327945 (/ 1 (pow x 10))) (+ (* 0.0694555761 (/ 1 (pow x 6))) (+ (* 0.7715471019 (/ 1 (pow x 2))) 1.0)))) in x 1.641 * [taylor]: Taking taylor expansion of (* 0.0140005442 (/ 1 (pow x 8))) in x 1.641 * [taylor]: Taking taylor expansion of 0.0140005442 in x 1.641 * [taylor]: Taking taylor expansion of (/ 1 (pow x 8)) in x 1.641 * [taylor]: Taking taylor expansion of (pow x 8) in x 1.641 * [taylor]: Taking taylor expansion of x in x 1.642 * [taylor]: Taking taylor expansion of (+ (* 0.0008327945 (/ 1 (pow x 10))) (+ (* 0.0694555761 (/ 1 (pow x 6))) (+ (* 0.7715471019 (/ 1 (pow x 2))) 1.0))) in x 1.642 * [taylor]: Taking taylor expansion of (* 0.0008327945 (/ 1 (pow x 10))) in x 1.642 * [taylor]: Taking taylor expansion of 0.0008327945 in x 1.642 * [taylor]: Taking taylor expansion of (/ 1 (pow x 10)) in x 1.642 * [taylor]: Taking taylor expansion of (pow x 10) in x 1.642 * [taylor]: Taking taylor expansion of x in x 1.643 * [taylor]: Taking taylor expansion of (+ (* 0.0694555761 (/ 1 (pow x 6))) (+ (* 0.7715471019 (/ 1 (pow x 2))) 1.0)) in x 1.643 * [taylor]: Taking taylor expansion of (* 0.0694555761 (/ 1 (pow x 6))) in x 1.643 * [taylor]: Taking taylor expansion of 0.0694555761 in x 1.643 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x 1.643 * [taylor]: Taking taylor expansion of (pow x 6) in x 1.643 * [taylor]: Taking taylor expansion of x in x 1.644 * [taylor]: Taking taylor expansion of (+ (* 0.7715471019 (/ 1 (pow x 2))) 1.0) in x 1.644 * [taylor]: Taking taylor expansion of (* 0.7715471019 (/ 1 (pow x 2))) in x 1.644 * [taylor]: Taking taylor expansion of 0.7715471019 in x 1.644 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.644 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.644 * [taylor]: Taking taylor expansion of x in x 1.645 * [taylor]: Taking taylor expansion of 1.0 in x 1.719 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (* 0.0072644182 (/ 1 (pow x 6))) (+ (* 0.1049934947 (/ 1 (pow x 2))) (+ (* 0.0424060604 (/ 1 (pow x 4))) (+ (* 0.0005064034 (/ 1 (pow x 8))) (+ (* 0.0001789971 (/ 1 (pow x 10))) 1.0))))) (* x (+ (* 0.0003579942 (/ 1 (pow x 12))) (+ (* 0.2909738639 (/ 1 (pow x 4))) (+ (* 0.0140005442 (/ 1 (pow x 8))) (+ (* 0.0008327945 (/ 1 (pow x 10))) (+ (* 0.0694555761 (/ 1 (pow x 6))) (+ (* 0.7715471019 (/ 1 (pow x 2))) 1.0))))))))) in (x) around 0 1.720 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 0.0072644182 (/ 1 (pow x 6))) (+ (* 0.1049934947 (/ 1 (pow x 2))) (+ (* 0.0424060604 (/ 1 (pow x 4))) (+ (* 0.0005064034 (/ 1 (pow x 8))) (+ (* 0.0001789971 (/ 1 (pow x 10))) 1.0))))) (* x (+ (* 0.0003579942 (/ 1 (pow x 12))) (+ (* 0.2909738639 (/ 1 (pow x 4))) (+ (* 0.0140005442 (/ 1 (pow x 8))) (+ (* 0.0008327945 (/ 1 (pow x 10))) (+ (* 0.0694555761 (/ 1 (pow x 6))) (+ (* 0.7715471019 (/ 1 (pow x 2))) 1.0))))))))) in x 1.720 * [taylor]: Taking taylor expansion of -1 in x 1.720 * [taylor]: Taking taylor expansion of (/ (+ (* 0.0072644182 (/ 1 (pow x 6))) (+ (* 0.1049934947 (/ 1 (pow x 2))) (+ (* 0.0424060604 (/ 1 (pow x 4))) (+ (* 0.0005064034 (/ 1 (pow x 8))) (+ (* 0.0001789971 (/ 1 (pow x 10))) 1.0))))) (* x (+ (* 0.0003579942 (/ 1 (pow x 12))) (+ (* 0.2909738639 (/ 1 (pow x 4))) (+ (* 0.0140005442 (/ 1 (pow x 8))) (+ (* 0.0008327945 (/ 1 (pow x 10))) (+ (* 0.0694555761 (/ 1 (pow x 6))) (+ (* 0.7715471019 (/ 1 (pow x 2))) 1.0)))))))) in x 1.720 * [taylor]: Taking taylor expansion of (+ (* 0.0072644182 (/ 1 (pow x 6))) (+ (* 0.1049934947 (/ 1 (pow x 2))) (+ (* 0.0424060604 (/ 1 (pow x 4))) (+ (* 0.0005064034 (/ 1 (pow x 8))) (+ (* 0.0001789971 (/ 1 (pow x 10))) 1.0))))) in x 1.720 * [taylor]: Taking taylor expansion of (* 0.0072644182 (/ 1 (pow x 6))) in x 1.720 * [taylor]: Taking taylor expansion of 0.0072644182 in x 1.720 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x 1.720 * [taylor]: Taking taylor expansion of (pow x 6) in x 1.720 * [taylor]: Taking taylor expansion of x in x 1.721 * [taylor]: Taking taylor expansion of (+ (* 0.1049934947 (/ 1 (pow x 2))) (+ (* 0.0424060604 (/ 1 (pow x 4))) (+ (* 0.0005064034 (/ 1 (pow x 8))) (+ (* 0.0001789971 (/ 1 (pow x 10))) 1.0)))) in x 1.721 * [taylor]: Taking taylor expansion of (* 0.1049934947 (/ 1 (pow x 2))) in x 1.721 * [taylor]: Taking taylor expansion of 0.1049934947 in x 1.721 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.721 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.721 * [taylor]: Taking taylor expansion of x in x 1.721 * [taylor]: Taking taylor expansion of (+ (* 0.0424060604 (/ 1 (pow x 4))) (+ (* 0.0005064034 (/ 1 (pow x 8))) (+ (* 0.0001789971 (/ 1 (pow x 10))) 1.0))) in x 1.721 * [taylor]: Taking taylor expansion of (* 0.0424060604 (/ 1 (pow x 4))) in x 1.721 * [taylor]: Taking taylor expansion of 0.0424060604 in x 1.721 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 1.721 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.721 * [taylor]: Taking taylor expansion of x in x 1.722 * [taylor]: Taking taylor expansion of (+ (* 0.0005064034 (/ 1 (pow x 8))) (+ (* 0.0001789971 (/ 1 (pow x 10))) 1.0)) in x 1.722 * [taylor]: Taking taylor expansion of (* 0.0005064034 (/ 1 (pow x 8))) in x 1.722 * [taylor]: Taking taylor expansion of 0.0005064034 in x 1.722 * [taylor]: Taking taylor expansion of (/ 1 (pow x 8)) in x 1.722 * [taylor]: Taking taylor expansion of (pow x 8) in x 1.722 * [taylor]: Taking taylor expansion of x in x 1.723 * [taylor]: Taking taylor expansion of (+ (* 0.0001789971 (/ 1 (pow x 10))) 1.0) in x 1.723 * [taylor]: Taking taylor expansion of (* 0.0001789971 (/ 1 (pow x 10))) in x 1.723 * [taylor]: Taking taylor expansion of 0.0001789971 in x 1.723 * [taylor]: Taking taylor expansion of (/ 1 (pow x 10)) in x 1.723 * [taylor]: Taking taylor expansion of (pow x 10) in x 1.723 * [taylor]: Taking taylor expansion of x in x 1.724 * [taylor]: Taking taylor expansion of 1.0 in x 1.724 * [taylor]: Taking taylor expansion of (* x (+ (* 0.0003579942 (/ 1 (pow x 12))) (+ (* 0.2909738639 (/ 1 (pow x 4))) (+ (* 0.0140005442 (/ 1 (pow x 8))) (+ (* 0.0008327945 (/ 1 (pow x 10))) (+ (* 0.0694555761 (/ 1 (pow x 6))) (+ (* 0.7715471019 (/ 1 (pow x 2))) 1.0))))))) in x 1.724 * [taylor]: Taking taylor expansion of x in x 1.725 * [taylor]: Taking taylor expansion of (+ (* 0.0003579942 (/ 1 (pow x 12))) (+ (* 0.2909738639 (/ 1 (pow x 4))) (+ (* 0.0140005442 (/ 1 (pow x 8))) (+ (* 0.0008327945 (/ 1 (pow x 10))) (+ (* 0.0694555761 (/ 1 (pow x 6))) (+ (* 0.7715471019 (/ 1 (pow x 2))) 1.0)))))) in x 1.725 * [taylor]: Taking taylor expansion of (* 0.0003579942 (/ 1 (pow x 12))) in x 1.725 * [taylor]: Taking taylor expansion of 0.0003579942 in x 1.725 * [taylor]: Taking taylor expansion of (/ 1 (pow x 12)) in x 1.725 * [taylor]: Taking taylor expansion of (pow x 12) in x 1.725 * [taylor]: Taking taylor expansion of x in x 1.726 * [taylor]: Taking taylor expansion of (+ (* 0.2909738639 (/ 1 (pow x 4))) (+ (* 0.0140005442 (/ 1 (pow x 8))) (+ (* 0.0008327945 (/ 1 (pow x 10))) (+ (* 0.0694555761 (/ 1 (pow x 6))) (+ (* 0.7715471019 (/ 1 (pow x 2))) 1.0))))) in x 1.726 * [taylor]: Taking taylor expansion of (* 0.2909738639 (/ 1 (pow x 4))) in x 1.726 * [taylor]: Taking taylor expansion of 0.2909738639 in x 1.726 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 1.726 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.726 * [taylor]: Taking taylor expansion of x in x 1.727 * [taylor]: Taking taylor expansion of (+ (* 0.0140005442 (/ 1 (pow x 8))) (+ (* 0.0008327945 (/ 1 (pow x 10))) (+ (* 0.0694555761 (/ 1 (pow x 6))) (+ (* 0.7715471019 (/ 1 (pow x 2))) 1.0)))) in x 1.727 * [taylor]: Taking taylor expansion of (* 0.0140005442 (/ 1 (pow x 8))) in x 1.727 * [taylor]: Taking taylor expansion of 0.0140005442 in x 1.727 * [taylor]: Taking taylor expansion of (/ 1 (pow x 8)) in x 1.727 * [taylor]: Taking taylor expansion of (pow x 8) in x 1.727 * [taylor]: Taking taylor expansion of x in x 1.730 * [taylor]: Taking taylor expansion of (+ (* 0.0008327945 (/ 1 (pow x 10))) (+ (* 0.0694555761 (/ 1 (pow x 6))) (+ (* 0.7715471019 (/ 1 (pow x 2))) 1.0))) in x 1.730 * [taylor]: Taking taylor expansion of (* 0.0008327945 (/ 1 (pow x 10))) in x 1.730 * [taylor]: Taking taylor expansion of 0.0008327945 in x 1.730 * [taylor]: Taking taylor expansion of (/ 1 (pow x 10)) in x 1.730 * [taylor]: Taking taylor expansion of (pow x 10) in x 1.730 * [taylor]: Taking taylor expansion of x in x 1.731 * [taylor]: Taking taylor expansion of (+ (* 0.0694555761 (/ 1 (pow x 6))) (+ (* 0.7715471019 (/ 1 (pow x 2))) 1.0)) in x 1.731 * [taylor]: Taking taylor expansion of (* 0.0694555761 (/ 1 (pow x 6))) in x 1.731 * [taylor]: Taking taylor expansion of 0.0694555761 in x 1.731 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x 1.731 * [taylor]: Taking taylor expansion of (pow x 6) in x 1.731 * [taylor]: Taking taylor expansion of x in x 1.732 * [taylor]: Taking taylor expansion of (+ (* 0.7715471019 (/ 1 (pow x 2))) 1.0) in x 1.732 * [taylor]: Taking taylor expansion of (* 0.7715471019 (/ 1 (pow x 2))) in x 1.732 * [taylor]: Taking taylor expansion of 0.7715471019 in x 1.732 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.732 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.732 * [taylor]: Taking taylor expansion of x in x 1.733 * [taylor]: Taking taylor expansion of 1.0 in x 1.739 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 0.0072644182 (/ 1 (pow x 6))) (+ (* 0.1049934947 (/ 1 (pow x 2))) (+ (* 0.0424060604 (/ 1 (pow x 4))) (+ (* 0.0005064034 (/ 1 (pow x 8))) (+ (* 0.0001789971 (/ 1 (pow x 10))) 1.0))))) (* x (+ (* 0.0003579942 (/ 1 (pow x 12))) (+ (* 0.2909738639 (/ 1 (pow x 4))) (+ (* 0.0140005442 (/ 1 (pow x 8))) (+ (* 0.0008327945 (/ 1 (pow x 10))) (+ (* 0.0694555761 (/ 1 (pow x 6))) (+ (* 0.7715471019 (/ 1 (pow x 2))) 1.0))))))))) in x 1.739 * [taylor]: Taking taylor expansion of -1 in x 1.739 * [taylor]: Taking taylor expansion of (/ (+ (* 0.0072644182 (/ 1 (pow x 6))) (+ (* 0.1049934947 (/ 1 (pow x 2))) (+ (* 0.0424060604 (/ 1 (pow x 4))) (+ (* 0.0005064034 (/ 1 (pow x 8))) (+ (* 0.0001789971 (/ 1 (pow x 10))) 1.0))))) (* x (+ (* 0.0003579942 (/ 1 (pow x 12))) (+ (* 0.2909738639 (/ 1 (pow x 4))) (+ (* 0.0140005442 (/ 1 (pow x 8))) (+ (* 0.0008327945 (/ 1 (pow x 10))) (+ (* 0.0694555761 (/ 1 (pow x 6))) (+ (* 0.7715471019 (/ 1 (pow x 2))) 1.0)))))))) in x 1.739 * [taylor]: Taking taylor expansion of (+ (* 0.0072644182 (/ 1 (pow x 6))) (+ (* 0.1049934947 (/ 1 (pow x 2))) (+ (* 0.0424060604 (/ 1 (pow x 4))) (+ (* 0.0005064034 (/ 1 (pow x 8))) (+ (* 0.0001789971 (/ 1 (pow x 10))) 1.0))))) in x 1.739 * [taylor]: Taking taylor expansion of (* 0.0072644182 (/ 1 (pow x 6))) in x 1.739 * [taylor]: Taking taylor expansion of 0.0072644182 in x 1.739 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x 1.739 * [taylor]: Taking taylor expansion of (pow x 6) in x 1.739 * [taylor]: Taking taylor expansion of x in x 1.740 * [taylor]: Taking taylor expansion of (+ (* 0.1049934947 (/ 1 (pow x 2))) (+ (* 0.0424060604 (/ 1 (pow x 4))) (+ (* 0.0005064034 (/ 1 (pow x 8))) (+ (* 0.0001789971 (/ 1 (pow x 10))) 1.0)))) in x 1.740 * [taylor]: Taking taylor expansion of (* 0.1049934947 (/ 1 (pow x 2))) in x 1.740 * [taylor]: Taking taylor expansion of 0.1049934947 in x 1.740 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.740 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.740 * [taylor]: Taking taylor expansion of x in x 1.740 * [taylor]: Taking taylor expansion of (+ (* 0.0424060604 (/ 1 (pow x 4))) (+ (* 0.0005064034 (/ 1 (pow x 8))) (+ (* 0.0001789971 (/ 1 (pow x 10))) 1.0))) in x 1.740 * [taylor]: Taking taylor expansion of (* 0.0424060604 (/ 1 (pow x 4))) in x 1.740 * [taylor]: Taking taylor expansion of 0.0424060604 in x 1.741 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 1.741 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.741 * [taylor]: Taking taylor expansion of x in x 1.741 * [taylor]: Taking taylor expansion of (+ (* 0.0005064034 (/ 1 (pow x 8))) (+ (* 0.0001789971 (/ 1 (pow x 10))) 1.0)) in x 1.741 * [taylor]: Taking taylor expansion of (* 0.0005064034 (/ 1 (pow x 8))) in x 1.741 * [taylor]: Taking taylor expansion of 0.0005064034 in x 1.741 * [taylor]: Taking taylor expansion of (/ 1 (pow x 8)) in x 1.741 * [taylor]: Taking taylor expansion of (pow x 8) in x 1.741 * [taylor]: Taking taylor expansion of x in x 1.742 * [taylor]: Taking taylor expansion of (+ (* 0.0001789971 (/ 1 (pow x 10))) 1.0) in x 1.742 * [taylor]: Taking taylor expansion of (* 0.0001789971 (/ 1 (pow x 10))) in x 1.742 * [taylor]: Taking taylor expansion of 0.0001789971 in x 1.742 * [taylor]: Taking taylor expansion of (/ 1 (pow x 10)) in x 1.742 * [taylor]: Taking taylor expansion of (pow x 10) in x 1.742 * [taylor]: Taking taylor expansion of x in x 1.744 * [taylor]: Taking taylor expansion of 1.0 in x 1.744 * [taylor]: Taking taylor expansion of (* x (+ (* 0.0003579942 (/ 1 (pow x 12))) (+ (* 0.2909738639 (/ 1 (pow x 4))) (+ (* 0.0140005442 (/ 1 (pow x 8))) (+ (* 0.0008327945 (/ 1 (pow x 10))) (+ (* 0.0694555761 (/ 1 (pow x 6))) (+ (* 0.7715471019 (/ 1 (pow x 2))) 1.0))))))) in x 1.744 * [taylor]: Taking taylor expansion of x in x 1.744 * [taylor]: Taking taylor expansion of (+ (* 0.0003579942 (/ 1 (pow x 12))) (+ (* 0.2909738639 (/ 1 (pow x 4))) (+ (* 0.0140005442 (/ 1 (pow x 8))) (+ (* 0.0008327945 (/ 1 (pow x 10))) (+ (* 0.0694555761 (/ 1 (pow x 6))) (+ (* 0.7715471019 (/ 1 (pow x 2))) 1.0)))))) in x 1.744 * [taylor]: Taking taylor expansion of (* 0.0003579942 (/ 1 (pow x 12))) in x 1.744 * [taylor]: Taking taylor expansion of 0.0003579942 in x 1.744 * [taylor]: Taking taylor expansion of (/ 1 (pow x 12)) in x 1.744 * [taylor]: Taking taylor expansion of (pow x 12) in x 1.744 * [taylor]: Taking taylor expansion of x in x 1.745 * [taylor]: Taking taylor expansion of (+ (* 0.2909738639 (/ 1 (pow x 4))) (+ (* 0.0140005442 (/ 1 (pow x 8))) (+ (* 0.0008327945 (/ 1 (pow x 10))) (+ (* 0.0694555761 (/ 1 (pow x 6))) (+ (* 0.7715471019 (/ 1 (pow x 2))) 1.0))))) in x 1.745 * [taylor]: Taking taylor expansion of (* 0.2909738639 (/ 1 (pow x 4))) in x 1.745 * [taylor]: Taking taylor expansion of 0.2909738639 in x 1.745 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 1.745 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.745 * [taylor]: Taking taylor expansion of x in x 1.746 * [taylor]: Taking taylor expansion of (+ (* 0.0140005442 (/ 1 (pow x 8))) (+ (* 0.0008327945 (/ 1 (pow x 10))) (+ (* 0.0694555761 (/ 1 (pow x 6))) (+ (* 0.7715471019 (/ 1 (pow x 2))) 1.0)))) in x 1.746 * [taylor]: Taking taylor expansion of (* 0.0140005442 (/ 1 (pow x 8))) in x 1.746 * [taylor]: Taking taylor expansion of 0.0140005442 in x 1.746 * [taylor]: Taking taylor expansion of (/ 1 (pow x 8)) in x 1.746 * [taylor]: Taking taylor expansion of (pow x 8) in x 1.746 * [taylor]: Taking taylor expansion of x in x 1.747 * [taylor]: Taking taylor expansion of (+ (* 0.0008327945 (/ 1 (pow x 10))) (+ (* 0.0694555761 (/ 1 (pow x 6))) (+ (* 0.7715471019 (/ 1 (pow x 2))) 1.0))) in x 1.747 * [taylor]: Taking taylor expansion of (* 0.0008327945 (/ 1 (pow x 10))) in x 1.747 * [taylor]: Taking taylor expansion of 0.0008327945 in x 1.747 * [taylor]: Taking taylor expansion of (/ 1 (pow x 10)) in x 1.747 * [taylor]: Taking taylor expansion of (pow x 10) in x 1.747 * [taylor]: Taking taylor expansion of x in x 1.748 * [taylor]: Taking taylor expansion of (+ (* 0.0694555761 (/ 1 (pow x 6))) (+ (* 0.7715471019 (/ 1 (pow x 2))) 1.0)) in x 1.748 * [taylor]: Taking taylor expansion of (* 0.0694555761 (/ 1 (pow x 6))) in x 1.748 * [taylor]: Taking taylor expansion of 0.0694555761 in x 1.748 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x 1.748 * [taylor]: Taking taylor expansion of (pow x 6) in x 1.748 * [taylor]: Taking taylor expansion of x in x 1.749 * [taylor]: Taking taylor expansion of (+ (* 0.7715471019 (/ 1 (pow x 2))) 1.0) in x 1.749 * [taylor]: Taking taylor expansion of (* 0.7715471019 (/ 1 (pow x 2))) in x 1.749 * [taylor]: Taking taylor expansion of 0.7715471019 in x 1.749 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.749 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.749 * [taylor]: Taking taylor expansion of x in x 1.750 * [taylor]: Taking taylor expansion of 1.0 in x 1.827 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 2 1) 1.827 * [approximate]: Taking taylor expansion of (* 0.0001789971 (pow x 2)) in (x) around 0 1.827 * [taylor]: Taking taylor expansion of (* 0.0001789971 (pow x 2)) in x 1.827 * [taylor]: Taking taylor expansion of 0.0001789971 in x 1.827 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.827 * [taylor]: Taking taylor expansion of x in x 1.827 * [taylor]: Taking taylor expansion of (* 0.0001789971 (pow x 2)) in x 1.827 * [taylor]: Taking taylor expansion of 0.0001789971 in x 1.827 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.827 * [taylor]: Taking taylor expansion of x in x 1.835 * [approximate]: Taking taylor expansion of (/ 0.0001789971 (pow x 2)) in (x) around 0 1.835 * [taylor]: Taking taylor expansion of (/ 0.0001789971 (pow x 2)) in x 1.835 * [taylor]: Taking taylor expansion of 0.0001789971 in x 1.836 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.836 * [taylor]: Taking taylor expansion of x in x 1.836 * [taylor]: Taking taylor expansion of (/ 0.0001789971 (pow x 2)) in x 1.836 * [taylor]: Taking taylor expansion of 0.0001789971 in x 1.836 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.836 * [taylor]: Taking taylor expansion of x in x 1.843 * [approximate]: Taking taylor expansion of (/ 0.0001789971 (pow x 2)) in (x) around 0 1.844 * [taylor]: Taking taylor expansion of (/ 0.0001789971 (pow x 2)) in x 1.844 * [taylor]: Taking taylor expansion of 0.0001789971 in x 1.844 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.844 * [taylor]: Taking taylor expansion of x in x 1.844 * [taylor]: Taking taylor expansion of (/ 0.0001789971 (pow x 2)) in x 1.844 * [taylor]: Taking taylor expansion of 0.0001789971 in x 1.844 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.844 * [taylor]: Taking taylor expansion of x in x 1.852 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 2 2) 1.852 * [approximate]: Taking taylor expansion of (* 0.0008327945 (pow x 2)) in (x) around 0 1.852 * [taylor]: Taking taylor expansion of (* 0.0008327945 (pow x 2)) in x 1.852 * [taylor]: Taking taylor expansion of 0.0008327945 in x 1.852 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.852 * [taylor]: Taking taylor expansion of x in x 1.852 * [taylor]: Taking taylor expansion of (* 0.0008327945 (pow x 2)) in x 1.852 * [taylor]: Taking taylor expansion of 0.0008327945 in x 1.852 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.852 * [taylor]: Taking taylor expansion of x in x 1.860 * [approximate]: Taking taylor expansion of (/ 0.0008327945 (pow x 2)) in (x) around 0 1.860 * [taylor]: Taking taylor expansion of (/ 0.0008327945 (pow x 2)) in x 1.860 * [taylor]: Taking taylor expansion of 0.0008327945 in x 1.860 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.860 * [taylor]: Taking taylor expansion of x in x 1.860 * [taylor]: Taking taylor expansion of (/ 0.0008327945 (pow x 2)) in x 1.860 * [taylor]: Taking taylor expansion of 0.0008327945 in x 1.860 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.861 * [taylor]: Taking taylor expansion of x in x 1.868 * [approximate]: Taking taylor expansion of (/ 0.0008327945 (pow x 2)) in (x) around 0 1.868 * [taylor]: Taking taylor expansion of (/ 0.0008327945 (pow x 2)) in x 1.868 * [taylor]: Taking taylor expansion of 0.0008327945 in x 1.868 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.868 * [taylor]: Taking taylor expansion of x in x 1.869 * [taylor]: Taking taylor expansion of (/ 0.0008327945 (pow x 2)) in x 1.869 * [taylor]: Taking taylor expansion of 0.0008327945 in x 1.869 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.869 * [taylor]: Taking taylor expansion of x in x 1.876 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2 1 2) 1.876 * [approximate]: Taking taylor expansion of (* 0.1049934947 (pow x 2)) in (x) around 0 1.876 * [taylor]: Taking taylor expansion of (* 0.1049934947 (pow x 2)) in x 1.876 * [taylor]: Taking taylor expansion of 0.1049934947 in x 1.876 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.876 * [taylor]: Taking taylor expansion of x in x 1.876 * [taylor]: Taking taylor expansion of (* 0.1049934947 (pow x 2)) in x 1.876 * [taylor]: Taking taylor expansion of 0.1049934947 in x 1.877 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.877 * [taylor]: Taking taylor expansion of x in x 1.887 * [approximate]: Taking taylor expansion of (/ 0.1049934947 (pow x 2)) in (x) around 0 1.887 * [taylor]: Taking taylor expansion of (/ 0.1049934947 (pow x 2)) in x 1.887 * [taylor]: Taking taylor expansion of 0.1049934947 in x 1.887 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.887 * [taylor]: Taking taylor expansion of x in x 1.887 * [taylor]: Taking taylor expansion of (/ 0.1049934947 (pow x 2)) in x 1.887 * [taylor]: Taking taylor expansion of 0.1049934947 in x 1.887 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.887 * [taylor]: Taking taylor expansion of x in x 1.895 * [approximate]: Taking taylor expansion of (/ 0.1049934947 (pow x 2)) in (x) around 0 1.895 * [taylor]: Taking taylor expansion of (/ 0.1049934947 (pow x 2)) in x 1.895 * [taylor]: Taking taylor expansion of 0.1049934947 in x 1.895 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.895 * [taylor]: Taking taylor expansion of x in x 1.896 * [taylor]: Taking taylor expansion of (/ 0.1049934947 (pow x 2)) in x 1.896 * [taylor]: Taking taylor expansion of 0.1049934947 in x 1.896 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.896 * [taylor]: Taking taylor expansion of x in x 1.903 * * * [progress]: simplifying candidates 1.905 * [simplify]: Simplifying using # : (- (+ (log (+ (+ (* (pow (* x x) 4) (+ (* (* x x) 0.0001789971) 0.0005064034)) (+ (+ 1.0 (* 0.1049934947 (* x x))) (* (pow x 6) 0.0072644182))) (* (pow x 4) 0.0424060604))) (log x)) (log (+ (+ (* (* 2.0 0.0001789971) (pow (* x x) 6)) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (+ (* (pow x 6) 0.0694555761) (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945))))))) (- (log (* (+ (+ (* (pow (* x x) 4) (+ (* (* x x) 0.0001789971) 0.0005064034)) (+ (+ 1.0 (* 0.1049934947 (* x x))) (* (pow x 6) 0.0072644182))) (* (pow x 4) 0.0424060604)) x)) (log (+ (+ (* (* 2.0 0.0001789971) (pow (* x x) 6)) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (+ (* (pow x 6) 0.0694555761) (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945))))))) (log (/ (* (+ (+ (* (pow (* x x) 4) (+ (* (* x x) 0.0001789971) 0.0005064034)) (+ (+ 1.0 (* 0.1049934947 (* x x))) (* (pow x 6) 0.0072644182))) (* (pow x 4) 0.0424060604)) x) (+ (+ (* (* 2.0 0.0001789971) (pow (* x x) 6)) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (+ (* (pow x 6) 0.0694555761) (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945))))))) (exp (/ (* (+ (+ (* (pow (* x x) 4) (+ (* (* x x) 0.0001789971) 0.0005064034)) (+ (+ 1.0 (* 0.1049934947 (* x x))) (* (pow x 6) 0.0072644182))) (* (pow x 4) 0.0424060604)) x) (+ (+ (* (* 2.0 0.0001789971) (pow (* x x) 6)) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (+ (* (pow x 6) 0.0694555761) (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945))))))) (/ (* (* (* (+ (+ (* (pow (* x x) 4) (+ (* (* x x) 0.0001789971) 0.0005064034)) (+ (+ 1.0 (* 0.1049934947 (* x x))) (* (pow x 6) 0.0072644182))) (* (pow x 4) 0.0424060604)) (+ (+ (* (pow (* x x) 4) (+ (* (* x x) 0.0001789971) 0.0005064034)) (+ (+ 1.0 (* 0.1049934947 (* x x))) (* (pow x 6) 0.0072644182))) (* (pow x 4) 0.0424060604))) (+ (+ (* (pow (* x x) 4) (+ (* (* x x) 0.0001789971) 0.0005064034)) (+ (+ 1.0 (* 0.1049934947 (* x x))) (* (pow x 6) 0.0072644182))) (* (pow x 4) 0.0424060604))) (* (* x x) x)) (* (* (+ (+ (* (* 2.0 0.0001789971) (pow (* x x) 6)) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (+ (* (pow x 6) 0.0694555761) (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945))))) (+ (+ (* (* 2.0 0.0001789971) (pow (* x x) 6)) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (+ (* (pow x 6) 0.0694555761) (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945)))))) (+ (+ (* (* 2.0 0.0001789971) (pow (* x x) 6)) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (+ (* (pow x 6) 0.0694555761) (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945))))))) (/ (* (* (* (+ (+ (* (pow (* x x) 4) (+ (* (* x x) 0.0001789971) 0.0005064034)) (+ (+ 1.0 (* 0.1049934947 (* x x))) (* (pow x 6) 0.0072644182))) (* (pow x 4) 0.0424060604)) x) (* (+ (+ (* (pow (* x x) 4) (+ (* (* x x) 0.0001789971) 0.0005064034)) (+ (+ 1.0 (* 0.1049934947 (* x x))) (* (pow x 6) 0.0072644182))) (* (pow x 4) 0.0424060604)) x)) (* (+ (+ (* (pow (* x x) 4) (+ (* (* x x) 0.0001789971) 0.0005064034)) (+ (+ 1.0 (* 0.1049934947 (* x x))) (* (pow x 6) 0.0072644182))) (* (pow x 4) 0.0424060604)) x)) (* (* (+ (+ (* (* 2.0 0.0001789971) (pow (* x x) 6)) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (+ (* (pow x 6) 0.0694555761) (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945))))) (+ (+ (* (* 2.0 0.0001789971) (pow (* x x) 6)) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (+ (* (pow x 6) 0.0694555761) (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945)))))) (+ (+ (* (* 2.0 0.0001789971) (pow (* x x) 6)) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (+ (* (pow x 6) 0.0694555761) (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945))))))) (* (cbrt (/ (* (+ (+ (* (pow (* x x) 4) (+ (* (* x x) 0.0001789971) 0.0005064034)) (+ (+ 1.0 (* 0.1049934947 (* x x))) (* (pow x 6) 0.0072644182))) (* (pow x 4) 0.0424060604)) x) (+ (+ (* (* 2.0 0.0001789971) (pow (* x x) 6)) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (+ (* (pow x 6) 0.0694555761) (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945))))))) (cbrt (/ (* (+ (+ (* (pow (* x x) 4) (+ (* (* x x) 0.0001789971) 0.0005064034)) (+ (+ 1.0 (* 0.1049934947 (* x x))) (* (pow x 6) 0.0072644182))) (* (pow x 4) 0.0424060604)) x) (+ (+ (* (* 2.0 0.0001789971) (pow (* x x) 6)) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (+ (* (pow x 6) 0.0694555761) (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945)))))))) (cbrt (/ (* (+ (+ (* (pow (* x x) 4) (+ (* (* x x) 0.0001789971) 0.0005064034)) (+ (+ 1.0 (* 0.1049934947 (* x x))) (* (pow x 6) 0.0072644182))) (* (pow x 4) 0.0424060604)) x) (+ (+ (* (* 2.0 0.0001789971) (pow (* x x) 6)) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (+ (* (pow x 6) 0.0694555761) (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945))))))) (* (* (/ (* (+ (+ (* (pow (* x x) 4) (+ (* (* x x) 0.0001789971) 0.0005064034)) (+ (+ 1.0 (* 0.1049934947 (* x x))) (* (pow x 6) 0.0072644182))) (* (pow x 4) 0.0424060604)) x) (+ (+ (* (* 2.0 0.0001789971) (pow (* x x) 6)) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (+ (* (pow x 6) 0.0694555761) (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945)))))) (/ (* (+ (+ (* (pow (* x x) 4) (+ (* (* x x) 0.0001789971) 0.0005064034)) (+ (+ 1.0 (* 0.1049934947 (* x x))) (* (pow x 6) 0.0072644182))) (* (pow x 4) 0.0424060604)) x) (+ (+ (* (* 2.0 0.0001789971) (pow (* x x) 6)) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (+ (* (pow x 6) 0.0694555761) (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945))))))) (/ (* (+ (+ (* (pow (* x x) 4) (+ (* (* x x) 0.0001789971) 0.0005064034)) (+ (+ 1.0 (* 0.1049934947 (* x x))) (* (pow x 6) 0.0072644182))) (* (pow x 4) 0.0424060604)) x) (+ (+ (* (* 2.0 0.0001789971) (pow (* x x) 6)) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (+ (* (pow x 6) 0.0694555761) (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945))))))) (sqrt (/ (* (+ (+ (* (pow (* x x) 4) (+ (* (* x x) 0.0001789971) 0.0005064034)) (+ (+ 1.0 (* 0.1049934947 (* x x))) (* (pow x 6) 0.0072644182))) (* (pow x 4) 0.0424060604)) x) (+ (+ (* (* 2.0 0.0001789971) (pow (* x x) 6)) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (+ (* (pow x 6) 0.0694555761) (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945))))))) (sqrt (/ (* (+ (+ (* (pow (* x x) 4) (+ (* (* x x) 0.0001789971) 0.0005064034)) (+ (+ 1.0 (* 0.1049934947 (* x x))) (* (pow x 6) 0.0072644182))) (* (pow x 4) 0.0424060604)) x) (+ (+ (* (* 2.0 0.0001789971) (pow (* x x) 6)) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (+ (* (pow x 6) 0.0694555761) (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945))))))) (- (* (+ (+ (* (pow (* x x) 4) (+ (* (* x x) 0.0001789971) 0.0005064034)) (+ (+ 1.0 (* 0.1049934947 (* x x))) (* (pow x 6) 0.0072644182))) (* (pow x 4) 0.0424060604)) x)) (- (+ (+ (* (* 2.0 0.0001789971) (pow (* x x) 6)) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (+ (* (pow x 6) 0.0694555761) (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945)))))) (/ (+ (+ (* (pow (* x x) 4) (+ (* (* x x) 0.0001789971) 0.0005064034)) (+ (+ 1.0 (* 0.1049934947 (* x x))) (* (pow x 6) 0.0072644182))) (* (pow x 4) 0.0424060604)) (* (cbrt (+ (+ (* (* 2.0 0.0001789971) (pow (* x x) 6)) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (+ (* (pow x 6) 0.0694555761) (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945)))))) (cbrt (+ (+ (* (* 2.0 0.0001789971) (pow (* x x) 6)) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (+ (* (pow x 6) 0.0694555761) (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945)))))))) (/ x (cbrt (+ (+ (* (* 2.0 0.0001789971) (pow (* x x) 6)) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (+ (* (pow x 6) 0.0694555761) (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945))))))) (/ (+ (+ (* (pow (* x x) 4) (+ (* (* x x) 0.0001789971) 0.0005064034)) (+ (+ 1.0 (* 0.1049934947 (* x x))) (* (pow x 6) 0.0072644182))) (* (pow x 4) 0.0424060604)) (sqrt (+ (+ (* (* 2.0 0.0001789971) (pow (* x x) 6)) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (+ (* (pow x 6) 0.0694555761) (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945))))))) (/ x (sqrt (+ (+ (* (* 2.0 0.0001789971) (pow (* x x) 6)) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (+ (* (pow x 6) 0.0694555761) (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945))))))) (/ (+ (+ (* (pow (* x x) 4) (+ (* (* x x) 0.0001789971) 0.0005064034)) (+ (+ 1.0 (* 0.1049934947 (* x x))) (* (pow x 6) 0.0072644182))) (* (pow x 4) 0.0424060604)) 1) (/ x (+ (+ (* (* 2.0 0.0001789971) (pow (* x x) 6)) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (+ (* (pow x 6) 0.0694555761) (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945)))))) (/ (+ (+ (* (pow (* x x) 4) (+ (* (* x x) 0.0001789971) 0.0005064034)) (+ (+ 1.0 (* 0.1049934947 (* x x))) (* (pow x 6) 0.0072644182))) (* (pow x 4) 0.0424060604)) 1) (/ x (+ (+ (* (* 2.0 0.0001789971) (pow (* x x) 6)) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (+ (* (pow x 6) 0.0694555761) (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945)))))) (/ 1 (+ (+ (* (* 2.0 0.0001789971) (pow (* x x) 6)) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (+ (* (pow x 6) 0.0694555761) (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945)))))) (/ (+ (+ (* (* 2.0 0.0001789971) (pow (* x x) 6)) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (+ (* (pow x 6) 0.0694555761) (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945))))) (* (+ (+ (* (pow (* x x) 4) (+ (* (* x x) 0.0001789971) 0.0005064034)) (+ (+ 1.0 (* 0.1049934947 (* x x))) (* (pow x 6) 0.0072644182))) (* (pow x 4) 0.0424060604)) x)) (/ (* (+ (+ (* (pow (* x x) 4) (+ (* (* x x) 0.0001789971) 0.0005064034)) (+ (+ 1.0 (* 0.1049934947 (* x x))) (* (pow x 6) 0.0072644182))) (* (pow x 4) 0.0424060604)) x) (* (cbrt (+ (+ (* (* 2.0 0.0001789971) (pow (* x x) 6)) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (+ (* (pow x 6) 0.0694555761) (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945)))))) (cbrt (+ (+ (* (* 2.0 0.0001789971) (pow (* x x) 6)) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (+ (* (pow x 6) 0.0694555761) (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945)))))))) (/ (* (+ (+ (* (pow (* x x) 4) (+ (* (* x x) 0.0001789971) 0.0005064034)) (+ (+ 1.0 (* 0.1049934947 (* x x))) (* (pow x 6) 0.0072644182))) (* (pow x 4) 0.0424060604)) x) (sqrt (+ (+ (* (* 2.0 0.0001789971) (pow (* x x) 6)) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (+ (* (pow x 6) 0.0694555761) (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945))))))) (/ (* (+ (+ (* (pow (* x x) 4) (+ (* (* x x) 0.0001789971) 0.0005064034)) (+ (+ 1.0 (* 0.1049934947 (* x x))) (* (pow x 6) 0.0072644182))) (* (pow x 4) 0.0424060604)) x) 1) (/ (* (+ (+ (* (pow (* x x) 4) (+ (* (* x x) 0.0001789971) 0.0005064034)) (+ (+ 1.0 (* 0.1049934947 (* x x))) (* (pow x 6) 0.0072644182))) (* (pow x 4) 0.0424060604)) x) 1) (/ (+ (+ (* (* 2.0 0.0001789971) (pow (* x x) 6)) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (+ (* (pow x 6) 0.0694555761) (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945))))) x) (/ (* (+ (+ (* (pow (* x x) 4) (+ (* (* x x) 0.0001789971) 0.0005064034)) (+ (+ 1.0 (* 0.1049934947 (* x x))) (* (pow x 6) 0.0072644182))) (* (pow x 4) 0.0424060604)) x) (+ (* (+ (pow (* (* 2.0 0.0001789971) (pow (* x x) 6)) 3) (pow (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0) 3)) (+ (* (* (pow x 6) 0.0694555761) (* (pow x 6) 0.0694555761)) (- (* (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945))) (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945)))) (* (* (pow x 6) 0.0694555761) (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945))))))) (* (+ (* (* (* 2.0 0.0001789971) (pow (* x x) 6)) (* (* 2.0 0.0001789971) (pow (* x x) 6))) (- (* (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (* (* 2.0 0.0001789971) (pow (* x x) 6)) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)))) (+ (pow (* (pow x 6) 0.0694555761) 3) (pow (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945))) 3))))) (/ (* (+ (+ (* (pow (* x x) 4) (+ (* (* x x) 0.0001789971) 0.0005064034)) (+ (+ 1.0 (* 0.1049934947 (* x x))) (* (pow x 6) 0.0072644182))) (* (pow x 4) 0.0424060604)) x) (+ (* (+ (pow (* (* 2.0 0.0001789971) (pow (* x x) 6)) 3) (pow (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0) 3)) (- (* (pow x 6) 0.0694555761) (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945))))) (* (+ (* (* (* 2.0 0.0001789971) (pow (* x x) 6)) (* (* 2.0 0.0001789971) (pow (* x x) 6))) (- (* (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (* (* (* 2.0 0.0001789971) (pow (* x x) 6)) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)))) (- (* (* (pow x 6) 0.0694555761) (* (pow x 6) 0.0694555761)) (* (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945))) (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945)))))))) (/ (* (+ (+ (* (pow (* x x) 4) (+ (* (* x x) 0.0001789971) 0.0005064034)) (+ (+ 1.0 (* 0.1049934947 (* x x))) (* (pow x 6) 0.0072644182))) (* (pow x 4) 0.0424060604)) x) (+ (* (- (* (* (* 2.0 0.0001789971) (pow (* x x) 6)) (* (* 2.0 0.0001789971) (pow (* x x) 6))) (* (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0))) (+ (* (* (pow x 6) 0.0694555761) (* (pow x 6) 0.0694555761)) (- (* (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945))) (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945)))) (* (* (pow x 6) 0.0694555761) (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945))))))) (* (- (* (* 2.0 0.0001789971) (pow (* x x) 6)) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (+ (pow (* (pow x 6) 0.0694555761) 3) (pow (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945))) 3))))) (/ (* (+ (+ (* (pow (* x x) 4) (+ (* (* x x) 0.0001789971) 0.0005064034)) (+ (+ 1.0 (* 0.1049934947 (* x x))) (* (pow x 6) 0.0072644182))) (* (pow x 4) 0.0424060604)) x) (+ (* (- (* (* (* 2.0 0.0001789971) (pow (* x x) 6)) (* (* 2.0 0.0001789971) (pow (* x x) 6))) (* (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0))) (- (* (pow x 6) 0.0694555761) (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945))))) (* (- (* (* 2.0 0.0001789971) (pow (* x x) 6)) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (- (* (* (pow x 6) 0.0694555761) (* (pow x 6) 0.0694555761)) (* (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945))) (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945)))))))) (/ (* (+ (+ (* (pow (* x x) 4) (+ (* (* x x) 0.0001789971) 0.0005064034)) (+ (+ 1.0 (* 0.1049934947 (* x x))) (* (pow x 6) 0.0072644182))) (* (pow x 4) 0.0424060604)) x) (+ (pow (+ (* (* 2.0 0.0001789971) (pow (* x x) 6)) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) 3) (pow (+ (* (pow x 6) 0.0694555761) (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945)))) 3))) (/ (* (+ (+ (* (pow (* x x) 4) (+ (* (* x x) 0.0001789971) 0.0005064034)) (+ (+ 1.0 (* 0.1049934947 (* x x))) (* (pow x 6) 0.0072644182))) (* (pow x 4) 0.0424060604)) x) (- (* (+ (* (* 2.0 0.0001789971) (pow (* x x) 6)) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (+ (* (* 2.0 0.0001789971) (pow (* x x) 6)) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0))) (* (+ (* (pow x 6) 0.0694555761) (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945)))) (+ (* (pow x 6) 0.0694555761) (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945))))))) (* (+ (+ (* (* 2.0 0.0001789971) (pow (* x x) 6)) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (+ (* (pow x 6) 0.0694555761) (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945))))) (+ (* (+ (* (pow (* x x) 4) (+ (* (* x x) 0.0001789971) 0.0005064034)) (+ (+ 1.0 (* 0.1049934947 (* x x))) (* (pow x 6) 0.0072644182))) (+ (* (pow (* x x) 4) (+ (* (* x x) 0.0001789971) 0.0005064034)) (+ (+ 1.0 (* 0.1049934947 (* x x))) (* (pow x 6) 0.0072644182)))) (- (* (* (pow x 4) 0.0424060604) (* (pow x 4) 0.0424060604)) (* (+ (* (pow (* x x) 4) (+ (* (* x x) 0.0001789971) 0.0005064034)) (+ (+ 1.0 (* 0.1049934947 (* x x))) (* (pow x 6) 0.0072644182))) (* (pow x 4) 0.0424060604))))) (* (+ (+ (* (* 2.0 0.0001789971) (pow (* x x) 6)) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (+ (* (pow x 6) 0.0694555761) (* (pow (* x x) 4) (+ 0.0140005442 (* (* x x) 0.0008327945))))) (- (+ (* (pow (* x x) 4) (+ (* (* x x) 0.0001789971) 0.0005064034)) (+ (+ 1.0 (* 0.1049934947 (* x x))) (* (pow x 6) 0.0072644182))) (* (pow x 4) 0.0424060604))) (* (* x x) 0.0001789971) (* (* x x) 0.0001789971) (+ (+ (log x) (log x)) (log 0.0001789971)) (+ (log (* x x)) (log 0.0001789971)) (log (* (* x x) 0.0001789971)) (exp (* (* x x) 0.0001789971)) (* (* (* (* x x) x) (* (* x x) x)) (* (* 0.0001789971 0.0001789971) 0.0001789971)) (* (* (* (* x x) (* x x)) (* x x)) (* (* 0.0001789971 0.0001789971) 0.0001789971)) (* (cbrt (* (* x x) 0.0001789971)) (cbrt (* (* x x) 0.0001789971))) (cbrt (* (* x x) 0.0001789971)) (* (* (* (* x x) 0.0001789971) (* (* x x) 0.0001789971)) (* (* x x) 0.0001789971)) (sqrt (* (* x x) 0.0001789971)) (sqrt (* (* x x) 0.0001789971)) (* x (sqrt 0.0001789971)) (* x (sqrt 0.0001789971)) (* (* x x) (* (cbrt 0.0001789971) (cbrt 0.0001789971))) (* (* x x) (sqrt 0.0001789971)) (* (* x x) 1) (* x 0.0001789971) (* (* x x) 0.0008327945) (* (* x x) 0.0008327945) (+ (+ (log x) (log x)) (log 0.0008327945)) (+ (log (* x x)) (log 0.0008327945)) (log (* (* x x) 0.0008327945)) (exp (* (* x x) 0.0008327945)) (* (* (* (* x x) x) (* (* x x) x)) (* (* 0.0008327945 0.0008327945) 0.0008327945)) (* (* (* (* x x) (* x x)) (* x x)) (* (* 0.0008327945 0.0008327945) 0.0008327945)) (* (cbrt (* (* x x) 0.0008327945)) (cbrt (* (* x x) 0.0008327945))) (cbrt (* (* x x) 0.0008327945)) (* (* (* (* x x) 0.0008327945) (* (* x x) 0.0008327945)) (* (* x x) 0.0008327945)) (sqrt (* (* x x) 0.0008327945)) (sqrt (* (* x x) 0.0008327945)) (* x (sqrt 0.0008327945)) (* x (sqrt 0.0008327945)) (* (* x x) (* (cbrt 0.0008327945) (cbrt 0.0008327945))) (* (* x x) (sqrt 0.0008327945)) (* (* x x) 1) (* x 0.0008327945) (* 0.1049934947 (* x x)) (* 0.1049934947 (* x x)) (+ (log 0.1049934947) (+ (log x) (log x))) (+ (log 0.1049934947) (log (* x x))) (log (* 0.1049934947 (* x x))) (exp (* 0.1049934947 (* x x))) (* (* (* 0.1049934947 0.1049934947) 0.1049934947) (* (* (* x x) x) (* (* x x) x))) (* (* (* 0.1049934947 0.1049934947) 0.1049934947) (* (* (* x x) (* x x)) (* x x))) (* (cbrt (* 0.1049934947 (* x x))) (cbrt (* 0.1049934947 (* x x)))) (cbrt (* 0.1049934947 (* x x))) (* (* (* 0.1049934947 (* x x)) (* 0.1049934947 (* x x))) (* 0.1049934947 (* x x))) (sqrt (* 0.1049934947 (* x x))) (sqrt (* 0.1049934947 (* x x))) (* (sqrt 0.1049934947) x) (* (sqrt 0.1049934947) x) (* 0.1049934947 x) (* (cbrt 0.1049934947) (* x x)) (* (sqrt 0.1049934947) (* x x)) (* 0.1049934947 (* x x)) (- (+ (* 1.0 x) (* 0.265709700396151 (pow x 5))) (* 0.6665536072 (pow x 3))) (+ (* 0.2514179000665375 (/ 1 (pow x 3))) (+ (* 0.15298196345929327 (/ 1 (pow x 5))) (* 0.5 (/ 1 x)))) (+ (* 0.2514179000665375 (/ 1 (pow x 3))) (+ (* 0.15298196345929327 (/ 1 (pow x 5))) (* 0.5 (/ 1 x)))) (* 0.0001789971 (pow x 2)) (* 0.0001789971 (pow x 2)) (* 0.0001789971 (pow x 2)) (* 0.0008327945 (pow x 2)) (* 0.0008327945 (pow x 2)) (* 0.0008327945 (pow x 2)) (* 0.1049934947 (pow x 2)) (* 0.1049934947 (pow x 2)) (* 0.1049934947 (pow x 2)) 1.914 * * [simplify]: iteration 0 : 234 enodes (cost 4171 ) 1.962 * * [simplify]: iteration 1 : 756 enodes (cost 4053 )