3.099 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.045 * * * [progress]: [2/2] Setting up program. 0.052 * [progress]: [Phase 2 of 3] Improving. 0.052 * [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.054 * * [simplify]: iteration 0 : 44 enodes (cost 173 ) 0.060 * * [simplify]: iteration 1 : 132 enodes (cost 173 ) 0.087 * * [simplify]: iteration 2 : 504 enodes (cost 109 ) 0.228 * * [simplify]: iteration 3 : 2077 enodes (cost 79 ) 0.978 * * [simplify]: iteration done : 5000 enodes (cost 79 ) 0.979 * [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)))))) 0.986 * * [progress]: iteration 1 / 4 0.986 * * * [progress]: picking best candidate 0.999 * * * * [pick]: Picked # 0.999 * * * [progress]: localizing error 1.043 * * * [progress]: generating rewritten candidates 1.043 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 1.439 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 2 1) 1.446 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 2 2) 1.454 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2 1 2) 1.463 * * * [progress]: generating series expansions 1.463 * * * * [progress]: [ 1 / 4 ] generating series at (2) 1.465 * [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.465 * [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.465 * [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.465 * [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.465 * [taylor]: Taking taylor expansion of (* 0.0005064034 (pow x 8)) in x 1.465 * [taylor]: Taking taylor expansion of 0.0005064034 in x 1.465 * [taylor]: Taking taylor expansion of (pow x 8) in x 1.465 * [taylor]: Taking taylor expansion of x in x 1.465 * [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.465 * [taylor]: Taking taylor expansion of (* 0.1049934947 (pow x 2)) in x 1.465 * [taylor]: Taking taylor expansion of 0.1049934947 in x 1.465 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.465 * [taylor]: Taking taylor expansion of x in x 1.465 * [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.465 * [taylor]: Taking taylor expansion of (* 0.0072644182 (pow x 6)) in x 1.465 * [taylor]: Taking taylor expansion of 0.0072644182 in x 1.465 * [taylor]: Taking taylor expansion of (pow x 6) in x 1.465 * [taylor]: Taking taylor expansion of x in x 1.465 * [taylor]: Taking taylor expansion of (+ (* 0.0424060604 (pow x 4)) (+ (* 0.0001789971 (pow x 10)) 1.0)) in x 1.465 * [taylor]: Taking taylor expansion of (* 0.0424060604 (pow x 4)) in x 1.465 * [taylor]: Taking taylor expansion of 0.0424060604 in x 1.465 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.465 * [taylor]: Taking taylor expansion of x in x 1.465 * [taylor]: Taking taylor expansion of (+ (* 0.0001789971 (pow x 10)) 1.0) in x 1.465 * [taylor]: Taking taylor expansion of (* 0.0001789971 (pow x 10)) in x 1.465 * [taylor]: Taking taylor expansion of 0.0001789971 in x 1.465 * [taylor]: Taking taylor expansion of (pow x 10) in x 1.465 * [taylor]: Taking taylor expansion of x in x 1.465 * [taylor]: Taking taylor expansion of 1.0 in x 1.465 * [taylor]: Taking taylor expansion of x in x 1.465 * [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.465 * [taylor]: Taking taylor expansion of (* 0.7715471019 (pow x 2)) in x 1.465 * [taylor]: Taking taylor expansion of 0.7715471019 in x 1.465 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.465 * [taylor]: Taking taylor expansion of x in x 1.465 * [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.465 * [taylor]: Taking taylor expansion of (* 0.2909738639 (pow x 4)) in x 1.465 * [taylor]: Taking taylor expansion of 0.2909738639 in x 1.465 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.465 * [taylor]: Taking taylor expansion of x in x 1.465 * [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.465 * [taylor]: Taking taylor expansion of (* 0.0008327945 (pow x 10)) in x 1.465 * [taylor]: Taking taylor expansion of 0.0008327945 in x 1.466 * [taylor]: Taking taylor expansion of (pow x 10) in x 1.466 * [taylor]: Taking taylor expansion of x in x 1.466 * [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.466 * [taylor]: Taking taylor expansion of (* 0.0140005442 (pow x 8)) in x 1.466 * [taylor]: Taking taylor expansion of 0.0140005442 in x 1.466 * [taylor]: Taking taylor expansion of (pow x 8) in x 1.466 * [taylor]: Taking taylor expansion of x in x 1.466 * [taylor]: Taking taylor expansion of (+ (* 0.0694555761 (pow x 6)) (+ (* 0.0003579942 (pow x 12)) 1.0)) in x 1.466 * [taylor]: Taking taylor expansion of (* 0.0694555761 (pow x 6)) in x 1.466 * [taylor]: Taking taylor expansion of 0.0694555761 in x 1.466 * [taylor]: Taking taylor expansion of (pow x 6) in x 1.466 * [taylor]: Taking taylor expansion of x in x 1.466 * [taylor]: Taking taylor expansion of (+ (* 0.0003579942 (pow x 12)) 1.0) in x 1.466 * [taylor]: Taking taylor expansion of (* 0.0003579942 (pow x 12)) in x 1.466 * [taylor]: Taking taylor expansion of 0.0003579942 in x 1.466 * [taylor]: Taking taylor expansion of (pow x 12) in x 1.466 * [taylor]: Taking taylor expansion of x in x 1.466 * [taylor]: Taking taylor expansion of 1.0 in x 1.471 * [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.471 * [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.471 * [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.471 * [taylor]: Taking taylor expansion of (* 0.0005064034 (pow x 8)) in x 1.471 * [taylor]: Taking taylor expansion of 0.0005064034 in x 1.471 * [taylor]: Taking taylor expansion of (pow x 8) in x 1.471 * [taylor]: Taking taylor expansion of x in x 1.471 * [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.471 * [taylor]: Taking taylor expansion of (* 0.1049934947 (pow x 2)) in x 1.471 * [taylor]: Taking taylor expansion of 0.1049934947 in x 1.471 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.471 * [taylor]: Taking taylor expansion of x in x 1.471 * [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.472 * [taylor]: Taking taylor expansion of (* 0.0072644182 (pow x 6)) in x 1.472 * [taylor]: Taking taylor expansion of 0.0072644182 in x 1.472 * [taylor]: Taking taylor expansion of (pow x 6) in x 1.472 * [taylor]: Taking taylor expansion of x in x 1.472 * [taylor]: Taking taylor expansion of (+ (* 0.0424060604 (pow x 4)) (+ (* 0.0001789971 (pow x 10)) 1.0)) in x 1.472 * [taylor]: Taking taylor expansion of (* 0.0424060604 (pow x 4)) in x 1.472 * [taylor]: Taking taylor expansion of 0.0424060604 in x 1.472 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.472 * [taylor]: Taking taylor expansion of x in x 1.472 * [taylor]: Taking taylor expansion of (+ (* 0.0001789971 (pow x 10)) 1.0) in x 1.472 * [taylor]: Taking taylor expansion of (* 0.0001789971 (pow x 10)) in x 1.472 * [taylor]: Taking taylor expansion of 0.0001789971 in x 1.472 * [taylor]: Taking taylor expansion of (pow x 10) in x 1.472 * [taylor]: Taking taylor expansion of x in x 1.472 * [taylor]: Taking taylor expansion of 1.0 in x 1.472 * [taylor]: Taking taylor expansion of x in x 1.472 * [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.472 * [taylor]: Taking taylor expansion of (* 0.7715471019 (pow x 2)) in x 1.472 * [taylor]: Taking taylor expansion of 0.7715471019 in x 1.472 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.472 * [taylor]: Taking taylor expansion of x in x 1.472 * [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.472 * [taylor]: Taking taylor expansion of (* 0.2909738639 (pow x 4)) in x 1.472 * [taylor]: Taking taylor expansion of 0.2909738639 in x 1.472 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.472 * [taylor]: Taking taylor expansion of x in x 1.472 * [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.472 * [taylor]: Taking taylor expansion of (* 0.0008327945 (pow x 10)) in x 1.472 * [taylor]: Taking taylor expansion of 0.0008327945 in x 1.472 * [taylor]: Taking taylor expansion of (pow x 10) in x 1.472 * [taylor]: Taking taylor expansion of x in x 1.472 * [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.472 * [taylor]: Taking taylor expansion of (* 0.0140005442 (pow x 8)) in x 1.472 * [taylor]: Taking taylor expansion of 0.0140005442 in x 1.472 * [taylor]: Taking taylor expansion of (pow x 8) in x 1.472 * [taylor]: Taking taylor expansion of x in x 1.472 * [taylor]: Taking taylor expansion of (+ (* 0.0694555761 (pow x 6)) (+ (* 0.0003579942 (pow x 12)) 1.0)) in x 1.472 * [taylor]: Taking taylor expansion of (* 0.0694555761 (pow x 6)) in x 1.472 * [taylor]: Taking taylor expansion of 0.0694555761 in x 1.472 * [taylor]: Taking taylor expansion of (pow x 6) in x 1.472 * [taylor]: Taking taylor expansion of x in x 1.472 * [taylor]: Taking taylor expansion of (+ (* 0.0003579942 (pow x 12)) 1.0) in x 1.472 * [taylor]: Taking taylor expansion of (* 0.0003579942 (pow x 12)) in x 1.472 * [taylor]: Taking taylor expansion of 0.0003579942 in x 1.472 * [taylor]: Taking taylor expansion of (pow x 12) in x 1.472 * [taylor]: Taking taylor expansion of x in x 1.472 * [taylor]: Taking taylor expansion of 1.0 in x 1.513 * [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.513 * [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.513 * [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.513 * [taylor]: Taking taylor expansion of (* 0.0072644182 (/ 1 (pow x 6))) in x 1.514 * [taylor]: Taking taylor expansion of 0.0072644182 in x 1.514 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x 1.514 * [taylor]: Taking taylor expansion of (pow x 6) in x 1.514 * [taylor]: Taking taylor expansion of x in x 1.514 * [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.515 * [taylor]: Taking taylor expansion of (* 0.1049934947 (/ 1 (pow x 2))) in x 1.515 * [taylor]: Taking taylor expansion of 0.1049934947 in x 1.515 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.515 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.515 * [taylor]: Taking taylor expansion of x in x 1.515 * [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.515 * [taylor]: Taking taylor expansion of (* 0.0424060604 (/ 1 (pow x 4))) in x 1.515 * [taylor]: Taking taylor expansion of 0.0424060604 in x 1.515 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 1.515 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.515 * [taylor]: Taking taylor expansion of x in x 1.519 * [taylor]: Taking taylor expansion of (+ (* 0.0005064034 (/ 1 (pow x 8))) (+ (* 0.0001789971 (/ 1 (pow x 10))) 1.0)) in x 1.519 * [taylor]: Taking taylor expansion of (* 0.0005064034 (/ 1 (pow x 8))) in x 1.519 * [taylor]: Taking taylor expansion of 0.0005064034 in x 1.519 * [taylor]: Taking taylor expansion of (/ 1 (pow x 8)) in x 1.519 * [taylor]: Taking taylor expansion of (pow x 8) in x 1.519 * [taylor]: Taking taylor expansion of x in x 1.520 * [taylor]: Taking taylor expansion of (+ (* 0.0001789971 (/ 1 (pow x 10))) 1.0) in x 1.520 * [taylor]: Taking taylor expansion of (* 0.0001789971 (/ 1 (pow x 10))) in x 1.520 * [taylor]: Taking taylor expansion of 0.0001789971 in x 1.520 * [taylor]: Taking taylor expansion of (/ 1 (pow x 10)) in x 1.520 * [taylor]: Taking taylor expansion of (pow x 10) in x 1.520 * [taylor]: Taking taylor expansion of x in x 1.521 * [taylor]: Taking taylor expansion of 1.0 in x 1.521 * [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.521 * [taylor]: Taking taylor expansion of x in x 1.521 * [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.521 * [taylor]: Taking taylor expansion of (* 0.0003579942 (/ 1 (pow x 12))) in x 1.521 * [taylor]: Taking taylor expansion of 0.0003579942 in x 1.521 * [taylor]: Taking taylor expansion of (/ 1 (pow x 12)) in x 1.521 * [taylor]: Taking taylor expansion of (pow x 12) in x 1.521 * [taylor]: Taking taylor expansion of x in x 1.522 * [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.522 * [taylor]: Taking taylor expansion of (* 0.2909738639 (/ 1 (pow x 4))) in x 1.522 * [taylor]: Taking taylor expansion of 0.2909738639 in x 1.522 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 1.522 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.522 * [taylor]: Taking taylor expansion of x in x 1.523 * [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.523 * [taylor]: Taking taylor expansion of (* 0.0140005442 (/ 1 (pow x 8))) in x 1.523 * [taylor]: Taking taylor expansion of 0.0140005442 in x 1.523 * [taylor]: Taking taylor expansion of (/ 1 (pow x 8)) in x 1.523 * [taylor]: Taking taylor expansion of (pow x 8) in x 1.523 * [taylor]: Taking taylor expansion of x in x 1.524 * [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.524 * [taylor]: Taking taylor expansion of (* 0.0008327945 (/ 1 (pow x 10))) in x 1.524 * [taylor]: Taking taylor expansion of 0.0008327945 in x 1.524 * [taylor]: Taking taylor expansion of (/ 1 (pow x 10)) in x 1.524 * [taylor]: Taking taylor expansion of (pow x 10) in x 1.524 * [taylor]: Taking taylor expansion of x in x 1.525 * [taylor]: Taking taylor expansion of (+ (* 0.0694555761 (/ 1 (pow x 6))) (+ (* 0.7715471019 (/ 1 (pow x 2))) 1.0)) in x 1.525 * [taylor]: Taking taylor expansion of (* 0.0694555761 (/ 1 (pow x 6))) in x 1.525 * [taylor]: Taking taylor expansion of 0.0694555761 in x 1.525 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x 1.525 * [taylor]: Taking taylor expansion of (pow x 6) in x 1.525 * [taylor]: Taking taylor expansion of x in x 1.526 * [taylor]: Taking taylor expansion of (+ (* 0.7715471019 (/ 1 (pow x 2))) 1.0) in x 1.526 * [taylor]: Taking taylor expansion of (* 0.7715471019 (/ 1 (pow x 2))) in x 1.526 * [taylor]: Taking taylor expansion of 0.7715471019 in x 1.526 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.526 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.526 * [taylor]: Taking taylor expansion of x in x 1.527 * [taylor]: Taking taylor expansion of 1.0 in x 1.533 * [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.533 * [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.533 * [taylor]: Taking taylor expansion of (* 0.0072644182 (/ 1 (pow x 6))) in x 1.533 * [taylor]: Taking taylor expansion of 0.0072644182 in x 1.533 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x 1.533 * [taylor]: Taking taylor expansion of (pow x 6) in x 1.533 * [taylor]: Taking taylor expansion of x in x 1.534 * [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.534 * [taylor]: Taking taylor expansion of (* 0.1049934947 (/ 1 (pow x 2))) in x 1.534 * [taylor]: Taking taylor expansion of 0.1049934947 in x 1.534 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.534 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.534 * [taylor]: Taking taylor expansion of x in x 1.534 * [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.534 * [taylor]: Taking taylor expansion of (* 0.0424060604 (/ 1 (pow x 4))) in x 1.534 * [taylor]: Taking taylor expansion of 0.0424060604 in x 1.534 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 1.534 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.534 * [taylor]: Taking taylor expansion of x in x 1.535 * [taylor]: Taking taylor expansion of (+ (* 0.0005064034 (/ 1 (pow x 8))) (+ (* 0.0001789971 (/ 1 (pow x 10))) 1.0)) in x 1.535 * [taylor]: Taking taylor expansion of (* 0.0005064034 (/ 1 (pow x 8))) in x 1.535 * [taylor]: Taking taylor expansion of 0.0005064034 in x 1.535 * [taylor]: Taking taylor expansion of (/ 1 (pow x 8)) in x 1.535 * [taylor]: Taking taylor expansion of (pow x 8) in x 1.535 * [taylor]: Taking taylor expansion of x in x 1.536 * [taylor]: Taking taylor expansion of (+ (* 0.0001789971 (/ 1 (pow x 10))) 1.0) in x 1.536 * [taylor]: Taking taylor expansion of (* 0.0001789971 (/ 1 (pow x 10))) in x 1.536 * [taylor]: Taking taylor expansion of 0.0001789971 in x 1.536 * [taylor]: Taking taylor expansion of (/ 1 (pow x 10)) in x 1.536 * [taylor]: Taking taylor expansion of (pow x 10) in x 1.536 * [taylor]: Taking taylor expansion of x in x 1.537 * [taylor]: Taking taylor expansion of 1.0 in x 1.537 * [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.537 * [taylor]: Taking taylor expansion of x in x 1.537 * [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.537 * [taylor]: Taking taylor expansion of (* 0.0003579942 (/ 1 (pow x 12))) in x 1.537 * [taylor]: Taking taylor expansion of 0.0003579942 in x 1.537 * [taylor]: Taking taylor expansion of (/ 1 (pow x 12)) in x 1.537 * [taylor]: Taking taylor expansion of (pow x 12) in x 1.537 * [taylor]: Taking taylor expansion of x in x 1.539 * [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.539 * [taylor]: Taking taylor expansion of (* 0.2909738639 (/ 1 (pow x 4))) in x 1.539 * [taylor]: Taking taylor expansion of 0.2909738639 in x 1.539 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 1.539 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.539 * [taylor]: Taking taylor expansion of x in x 1.540 * [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.540 * [taylor]: Taking taylor expansion of (* 0.0140005442 (/ 1 (pow x 8))) in x 1.540 * [taylor]: Taking taylor expansion of 0.0140005442 in x 1.540 * [taylor]: Taking taylor expansion of (/ 1 (pow x 8)) in x 1.540 * [taylor]: Taking taylor expansion of (pow x 8) in x 1.540 * [taylor]: Taking taylor expansion of x in x 1.541 * [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.541 * [taylor]: Taking taylor expansion of (* 0.0008327945 (/ 1 (pow x 10))) in x 1.541 * [taylor]: Taking taylor expansion of 0.0008327945 in x 1.541 * [taylor]: Taking taylor expansion of (/ 1 (pow x 10)) in x 1.541 * [taylor]: Taking taylor expansion of (pow x 10) in x 1.541 * [taylor]: Taking taylor expansion of x in x 1.542 * [taylor]: Taking taylor expansion of (+ (* 0.0694555761 (/ 1 (pow x 6))) (+ (* 0.7715471019 (/ 1 (pow x 2))) 1.0)) in x 1.542 * [taylor]: Taking taylor expansion of (* 0.0694555761 (/ 1 (pow x 6))) in x 1.542 * [taylor]: Taking taylor expansion of 0.0694555761 in x 1.542 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x 1.542 * [taylor]: Taking taylor expansion of (pow x 6) in x 1.542 * [taylor]: Taking taylor expansion of x in x 1.543 * [taylor]: Taking taylor expansion of (+ (* 0.7715471019 (/ 1 (pow x 2))) 1.0) in x 1.543 * [taylor]: Taking taylor expansion of (* 0.7715471019 (/ 1 (pow x 2))) in x 1.543 * [taylor]: Taking taylor expansion of 0.7715471019 in x 1.543 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.543 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.543 * [taylor]: Taking taylor expansion of x in x 1.544 * [taylor]: Taking taylor expansion of 1.0 in x 1.617 * [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.617 * [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.617 * [taylor]: Taking taylor expansion of -1 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))))) (* 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.618 * [taylor]: Taking taylor expansion of (* 0.0072644182 (/ 1 (pow x 6))) in x 1.618 * [taylor]: Taking taylor expansion of 0.0072644182 in x 1.618 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x 1.618 * [taylor]: Taking taylor expansion of (pow x 6) in x 1.618 * [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.619 * [taylor]: Taking taylor expansion of (* 0.1049934947 (/ 1 (pow x 2))) in x 1.619 * [taylor]: Taking taylor expansion of 0.1049934947 in x 1.619 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.619 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.619 * [taylor]: Taking taylor expansion of x in x 1.619 * [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.619 * [taylor]: Taking taylor expansion of (* 0.0424060604 (/ 1 (pow x 4))) in x 1.619 * [taylor]: Taking taylor expansion of 0.0424060604 in x 1.619 * [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.620 * [taylor]: Taking taylor expansion of (+ (* 0.0005064034 (/ 1 (pow x 8))) (+ (* 0.0001789971 (/ 1 (pow x 10))) 1.0)) in x 1.620 * [taylor]: Taking taylor expansion of (* 0.0005064034 (/ 1 (pow x 8))) in x 1.620 * [taylor]: Taking taylor expansion of 0.0005064034 in x 1.620 * [taylor]: Taking taylor expansion of (/ 1 (pow x 8)) in x 1.620 * [taylor]: Taking taylor expansion of (pow x 8) in x 1.620 * [taylor]: Taking taylor expansion of x in x 1.621 * [taylor]: Taking taylor expansion of (+ (* 0.0001789971 (/ 1 (pow x 10))) 1.0) in x 1.621 * [taylor]: Taking taylor expansion of (* 0.0001789971 (/ 1 (pow x 10))) in x 1.621 * [taylor]: Taking taylor expansion of 0.0001789971 in x 1.621 * [taylor]: Taking taylor expansion of (/ 1 (pow x 10)) in x 1.621 * [taylor]: Taking taylor expansion of (pow x 10) in x 1.621 * [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 (* -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.634 * [taylor]: Taking taylor expansion of -1 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.635 * [taylor]: Taking taylor expansion of (* 0.0072644182 (/ 1 (pow x 6))) in x 1.635 * [taylor]: Taking taylor expansion of 0.0072644182 in x 1.635 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x 1.635 * [taylor]: Taking taylor expansion of (pow x 6) in x 1.635 * [taylor]: Taking taylor expansion of x in x 1.636 * [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.636 * [taylor]: Taking taylor expansion of (* 0.1049934947 (/ 1 (pow x 2))) in x 1.636 * [taylor]: Taking taylor expansion of 0.1049934947 in x 1.636 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.636 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.636 * [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.640 * [taylor]: Taking taylor expansion of (/ 1 (pow x 12)) in x 1.640 * [taylor]: Taking taylor expansion of (pow x 12) in x 1.640 * [taylor]: Taking taylor expansion of x in x 1.641 * [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.641 * [taylor]: Taking taylor expansion of (* 0.2909738639 (/ 1 (pow x 4))) in x 1.641 * [taylor]: Taking taylor expansion of 0.2909738639 in x 1.641 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 1.641 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.641 * [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.642 * [taylor]: Taking taylor expansion of 0.0140005442 in x 1.642 * [taylor]: Taking taylor expansion of (/ 1 (pow x 8)) in x 1.642 * [taylor]: Taking taylor expansion of (pow x 8) in x 1.642 * [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.643 * [taylor]: Taking taylor expansion of 0.0008327945 in x 1.643 * [taylor]: Taking taylor expansion of (/ 1 (pow x 10)) in x 1.643 * [taylor]: Taking taylor expansion of (pow x 10) in x 1.643 * [taylor]: Taking taylor expansion of x in x 1.644 * [taylor]: Taking taylor expansion of (+ (* 0.0694555761 (/ 1 (pow x 6))) (+ (* 0.7715471019 (/ 1 (pow x 2))) 1.0)) in x 1.644 * [taylor]: Taking taylor expansion of (* 0.0694555761 (/ 1 (pow x 6))) in x 1.644 * [taylor]: Taking taylor expansion of 0.0694555761 in x 1.644 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x 1.644 * [taylor]: Taking taylor expansion of (pow x 6) in x 1.644 * [taylor]: Taking taylor expansion of x in x 1.645 * [taylor]: Taking taylor expansion of (+ (* 0.7715471019 (/ 1 (pow x 2))) 1.0) in x 1.645 * [taylor]: Taking taylor expansion of (* 0.7715471019 (/ 1 (pow x 2))) in x 1.645 * [taylor]: Taking taylor expansion of 0.7715471019 in x 1.645 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.645 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.645 * [taylor]: Taking taylor expansion of x in x 1.645 * [taylor]: Taking taylor expansion of 1.0 in x 1.721 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 2 1) 1.721 * [approximate]: Taking taylor expansion of (* 0.0001789971 (pow x 2)) in (x) around 0 1.721 * [taylor]: Taking taylor expansion of (* 0.0001789971 (pow x 2)) in x 1.721 * [taylor]: Taking taylor expansion of 0.0001789971 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.0001789971 (pow x 2)) in x 1.721 * [taylor]: Taking taylor expansion of 0.0001789971 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.729 * [approximate]: Taking taylor expansion of (/ 0.0001789971 (pow x 2)) in (x) around 0 1.729 * [taylor]: Taking taylor expansion of (/ 0.0001789971 (pow x 2)) in x 1.729 * [taylor]: Taking taylor expansion of 0.0001789971 in x 1.729 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.729 * [taylor]: Taking taylor expansion of x in x 1.729 * [taylor]: Taking taylor expansion of (/ 0.0001789971 (pow x 2)) in x 1.729 * [taylor]: Taking taylor expansion of 0.0001789971 in x 1.729 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.730 * [taylor]: Taking taylor expansion of x in x 1.737 * [approximate]: Taking taylor expansion of (/ 0.0001789971 (pow x 2)) in (x) around 0 1.737 * [taylor]: Taking taylor expansion of (/ 0.0001789971 (pow x 2)) in x 1.737 * [taylor]: Taking taylor expansion of 0.0001789971 in x 1.737 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.737 * [taylor]: Taking taylor expansion of x in x 1.738 * [taylor]: Taking taylor expansion of (/ 0.0001789971 (pow x 2)) in x 1.738 * [taylor]: Taking taylor expansion of 0.0001789971 in x 1.738 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.738 * [taylor]: Taking taylor expansion of x in x 1.745 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 2 2) 1.745 * [approximate]: Taking taylor expansion of (* 0.0008327945 (pow x 2)) in (x) around 0 1.745 * [taylor]: Taking taylor expansion of (* 0.0008327945 (pow x 2)) in x 1.745 * [taylor]: Taking taylor expansion of 0.0008327945 in x 1.746 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.746 * [taylor]: Taking taylor expansion of x in x 1.746 * [taylor]: Taking taylor expansion of (* 0.0008327945 (pow x 2)) in x 1.746 * [taylor]: Taking taylor expansion of 0.0008327945 in x 1.746 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.746 * [taylor]: Taking taylor expansion of x in x 1.756 * [approximate]: Taking taylor expansion of (/ 0.0008327945 (pow x 2)) in (x) around 0 1.756 * [taylor]: Taking taylor expansion of (/ 0.0008327945 (pow x 2)) in x 1.756 * [taylor]: Taking taylor expansion of 0.0008327945 in x 1.756 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.756 * [taylor]: Taking taylor expansion of x in x 1.757 * [taylor]: Taking taylor expansion of (/ 0.0008327945 (pow x 2)) in x 1.757 * [taylor]: Taking taylor expansion of 0.0008327945 in x 1.757 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.757 * [taylor]: Taking taylor expansion of x in x 1.764 * [approximate]: Taking taylor expansion of (/ 0.0008327945 (pow x 2)) in (x) around 0 1.764 * [taylor]: Taking taylor expansion of (/ 0.0008327945 (pow x 2)) in x 1.764 * [taylor]: Taking taylor expansion of 0.0008327945 in x 1.764 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.764 * [taylor]: Taking taylor expansion of x in x 1.765 * [taylor]: Taking taylor expansion of (/ 0.0008327945 (pow x 2)) in x 1.765 * [taylor]: Taking taylor expansion of 0.0008327945 in x 1.765 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.765 * [taylor]: Taking taylor expansion of x in x 1.772 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2 1 2) 1.772 * [approximate]: Taking taylor expansion of (* 0.1049934947 (pow x 2)) in (x) around 0 1.772 * [taylor]: Taking taylor expansion of (* 0.1049934947 (pow x 2)) in x 1.772 * [taylor]: Taking taylor expansion of 0.1049934947 in x 1.772 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.772 * [taylor]: Taking taylor expansion of x in x 1.772 * [taylor]: Taking taylor expansion of (* 0.1049934947 (pow x 2)) in x 1.772 * [taylor]: Taking taylor expansion of 0.1049934947 in x 1.772 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.772 * [taylor]: Taking taylor expansion of x in x 1.780 * [approximate]: Taking taylor expansion of (/ 0.1049934947 (pow x 2)) in (x) around 0 1.780 * [taylor]: Taking taylor expansion of (/ 0.1049934947 (pow x 2)) in x 1.780 * [taylor]: Taking taylor expansion of 0.1049934947 in x 1.780 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.780 * [taylor]: Taking taylor expansion of x in x 1.780 * [taylor]: Taking taylor expansion of (/ 0.1049934947 (pow x 2)) in x 1.780 * [taylor]: Taking taylor expansion of 0.1049934947 in x 1.780 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.780 * [taylor]: Taking taylor expansion of x in x 1.788 * [approximate]: Taking taylor expansion of (/ 0.1049934947 (pow x 2)) in (x) around 0 1.788 * [taylor]: Taking taylor expansion of (/ 0.1049934947 (pow x 2)) in x 1.788 * [taylor]: Taking taylor expansion of 0.1049934947 in x 1.788 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.788 * [taylor]: Taking taylor expansion of x in x 1.788 * [taylor]: Taking taylor expansion of (/ 0.1049934947 (pow x 2)) in x 1.788 * [taylor]: Taking taylor expansion of 0.1049934947 in x 1.788 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.788 * [taylor]: Taking taylor expansion of x in x 1.796 * * * [progress]: simplifying candidates 1.798 * [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.807 * * [simplify]: iteration 0 : 234 enodes (cost 4171 ) 1.852 * * [simplify]: iteration 1 : 756 enodes (cost 4053 )