2.215 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.038 * * * [progress]: [2/2] Setting up program. 0.044 * [progress]: [Phase 2 of 3] Improving. 0.045 * [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.046 * * [simplify]: iteration 0 : 44 enodes (cost 173 ) 0.053 * * [simplify]: iteration 1 : 132 enodes (cost 173 ) 0.084 * * [simplify]: iteration 2 : 565 enodes (cost 106 ) 0.247 * * [simplify]: iteration 3 : 2740 enodes (cost 72 ) 1.053 * * [simplify]: iteration done : 5000 enodes (cost 72 ) 1.053 * [simplify]: Simplified to: (/ (* (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (fma 0.0072644182 (pow x 6) (fma (pow x 4) 0.0424060604 (fma (* x x) 0.1049934947 1.0)))) x) (fma 0.0001789971 (* 2.0 (pow (* x x) 6)) (+ (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)) (fma (pow x 6) 0.0694555761 (* (pow (* x x) 4) (+ (* (* x x) 0.0008327945) 0.0140005442)))))) 1.061 * * [progress]: iteration 1 / 4 1.061 * * * [progress]: picking best candidate 1.075 * * * * [pick]: Picked # 1.075 * * * [progress]: localizing error 1.111 * * * [progress]: generating rewritten candidates 1.111 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 1.121 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2 2) 1.131 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 3 2 3 2 1) 1.138 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2) 1.143 * * * [progress]: generating series expansions 1.143 * * * * [progress]: [ 1 / 4 ] generating series at (2) 1.144 * [approximate]: Taking taylor expansion of (/ (* (+ (* 0.0005064034 (pow x 8)) (+ (fma 0.0072644182 (pow x 6) (fma (pow x 4) 0.0424060604 (fma (pow x 2) 0.1049934947 1.0))) (* 0.0001789971 (pow x 10)))) x) (fma 0.0001789971 (* 2.0 (pow x 12)) (+ (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)) (fma (pow x 6) 0.0694555761 (* (+ (* 0.0008327945 (pow x 2)) 0.0140005442) (pow x 8)))))) in (x) around 0 1.144 * [taylor]: Taking taylor expansion of (/ (* (+ (* 0.0005064034 (pow x 8)) (+ (fma 0.0072644182 (pow x 6) (fma (pow x 4) 0.0424060604 (fma (pow x 2) 0.1049934947 1.0))) (* 0.0001789971 (pow x 10)))) x) (fma 0.0001789971 (* 2.0 (pow x 12)) (+ (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)) (fma (pow x 6) 0.0694555761 (* (+ (* 0.0008327945 (pow x 2)) 0.0140005442) (pow x 8)))))) in x 1.144 * [taylor]: Taking taylor expansion of (* (+ (* 0.0005064034 (pow x 8)) (+ (fma 0.0072644182 (pow x 6) (fma (pow x 4) 0.0424060604 (fma (pow x 2) 0.1049934947 1.0))) (* 0.0001789971 (pow x 10)))) x) in x 1.144 * [taylor]: Taking taylor expansion of (+ (* 0.0005064034 (pow x 8)) (+ (fma 0.0072644182 (pow x 6) (fma (pow x 4) 0.0424060604 (fma (pow x 2) 0.1049934947 1.0))) (* 0.0001789971 (pow x 10)))) in x 1.144 * [taylor]: Taking taylor expansion of (* 0.0005064034 (pow x 8)) in x 1.144 * [taylor]: Taking taylor expansion of 0.0005064034 in x 1.144 * [taylor]: Taking taylor expansion of (pow x 8) in x 1.144 * [taylor]: Taking taylor expansion of x in x 1.144 * [taylor]: Taking taylor expansion of (+ (fma 0.0072644182 (pow x 6) (fma (pow x 4) 0.0424060604 (fma (pow x 2) 0.1049934947 1.0))) (* 0.0001789971 (pow x 10))) in x 1.144 * [taylor]: Taking taylor expansion of (fma 0.0072644182 (pow x 6) (fma (pow x 4) 0.0424060604 (fma (pow x 2) 0.1049934947 1.0))) in x 1.145 * [taylor]: Rewrote expression to (+ (* 0.0072644182 (pow x 6)) (fma (pow x 4) 0.0424060604 (fma (pow x 2) 0.1049934947 1.0))) 1.145 * [taylor]: Taking taylor expansion of (* 0.0072644182 (pow x 6)) in x 1.145 * [taylor]: Taking taylor expansion of 0.0072644182 in x 1.145 * [taylor]: Taking taylor expansion of (pow x 6) in x 1.145 * [taylor]: Taking taylor expansion of x in x 1.145 * [taylor]: Taking taylor expansion of (fma (pow x 4) 0.0424060604 (fma (pow x 2) 0.1049934947 1.0)) in x 1.145 * [taylor]: Rewrote expression to (+ (* (pow x 4) 0.0424060604) (fma (pow x 2) 0.1049934947 1.0)) 1.145 * [taylor]: Taking taylor expansion of (* (pow x 4) 0.0424060604) in x 1.145 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.145 * [taylor]: Taking taylor expansion of x in x 1.145 * [taylor]: Taking taylor expansion of 0.0424060604 in x 1.145 * [taylor]: Taking taylor expansion of (fma (pow x 2) 0.1049934947 1.0) in x 1.145 * [taylor]: Rewrote expression to (+ (* (pow x 2) 0.1049934947) 1.0) 1.145 * [taylor]: Taking taylor expansion of (* (pow x 2) 0.1049934947) in x 1.145 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.145 * [taylor]: Taking taylor expansion of x in x 1.145 * [taylor]: Taking taylor expansion of 0.1049934947 in x 1.145 * [taylor]: Taking taylor expansion of 1.0 in x 1.145 * [taylor]: Taking taylor expansion of (* 0.0001789971 (pow x 10)) in x 1.145 * [taylor]: Taking taylor expansion of 0.0001789971 in x 1.145 * [taylor]: Taking taylor expansion of (pow x 10) in x 1.145 * [taylor]: Taking taylor expansion of x in x 1.145 * [taylor]: Taking taylor expansion of x in x 1.145 * [taylor]: Taking taylor expansion of (fma 0.0001789971 (* 2.0 (pow x 12)) (+ (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)) (fma (pow x 6) 0.0694555761 (* (+ (* 0.0008327945 (pow x 2)) 0.0140005442) (pow x 8))))) in x 1.145 * [taylor]: Rewrote expression to (+ (* 0.0001789971 (* 2.0 (pow x 12))) (+ (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)) (fma (pow x 6) 0.0694555761 (* (+ (* 0.0008327945 (pow x 2)) 0.0140005442) (pow x 8))))) 1.145 * [taylor]: Taking taylor expansion of (* 0.0001789971 (* 2.0 (pow x 12))) in x 1.145 * [taylor]: Taking taylor expansion of 0.0001789971 in x 1.145 * [taylor]: Taking taylor expansion of (* 2.0 (pow x 12)) in x 1.145 * [taylor]: Taking taylor expansion of 2.0 in x 1.145 * [taylor]: Taking taylor expansion of (pow x 12) in x 1.145 * [taylor]: Taking taylor expansion of x in x 1.145 * [taylor]: Taking taylor expansion of (+ (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)) (fma (pow x 6) 0.0694555761 (* (+ (* 0.0008327945 (pow x 2)) 0.0140005442) (pow x 8)))) in x 1.145 * [taylor]: Taking taylor expansion of (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)) in x 1.145 * [taylor]: Rewrote expression to (+ (* 0.2909738639 (pow x 4)) (fma (* 0.7715471019 x) x 1.0)) 1.145 * [taylor]: Taking taylor expansion of (* 0.2909738639 (pow x 4)) in x 1.145 * [taylor]: Taking taylor expansion of 0.2909738639 in x 1.145 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.145 * [taylor]: Taking taylor expansion of x in x 1.145 * [taylor]: Taking taylor expansion of (fma (* 0.7715471019 x) x 1.0) in x 1.146 * [taylor]: Rewrote expression to (+ (* (* 0.7715471019 x) x) 1.0) 1.146 * [taylor]: Taking taylor expansion of (* (* 0.7715471019 x) x) in x 1.146 * [taylor]: Taking taylor expansion of (* 0.7715471019 x) in x 1.146 * [taylor]: Taking taylor expansion of 0.7715471019 in x 1.146 * [taylor]: Taking taylor expansion of x in x 1.146 * [taylor]: Taking taylor expansion of x in x 1.146 * [taylor]: Taking taylor expansion of 1.0 in x 1.146 * [taylor]: Taking taylor expansion of (fma (pow x 6) 0.0694555761 (* (+ (* 0.0008327945 (pow x 2)) 0.0140005442) (pow x 8))) in x 1.146 * [taylor]: Rewrote expression to (+ (* (pow x 6) 0.0694555761) (* (+ (* 0.0008327945 (pow x 2)) 0.0140005442) (pow x 8))) 1.146 * [taylor]: Taking taylor expansion of (* (pow x 6) 0.0694555761) in x 1.146 * [taylor]: Taking taylor expansion of (pow x 6) in x 1.146 * [taylor]: Taking taylor expansion of x in x 1.146 * [taylor]: Taking taylor expansion of 0.0694555761 in x 1.146 * [taylor]: Taking taylor expansion of (* (+ (* 0.0008327945 (pow x 2)) 0.0140005442) (pow x 8)) in x 1.146 * [taylor]: Taking taylor expansion of (+ (* 0.0008327945 (pow x 2)) 0.0140005442) in x 1.146 * [taylor]: Taking taylor expansion of (* 0.0008327945 (pow x 2)) in x 1.146 * [taylor]: Taking taylor expansion of 0.0008327945 in x 1.146 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.146 * [taylor]: Taking taylor expansion of x in x 1.146 * [taylor]: Taking taylor expansion of 0.0140005442 in x 1.146 * [taylor]: Taking taylor expansion of (pow x 8) in x 1.146 * [taylor]: Taking taylor expansion of x in x 1.152 * [taylor]: Taking taylor expansion of (/ (* (+ (* 0.0005064034 (pow x 8)) (+ (fma 0.0072644182 (pow x 6) (fma (pow x 4) 0.0424060604 (fma (pow x 2) 0.1049934947 1.0))) (* 0.0001789971 (pow x 10)))) x) (fma 0.0001789971 (* 2.0 (pow x 12)) (+ (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)) (fma (pow x 6) 0.0694555761 (* (+ (* 0.0008327945 (pow x 2)) 0.0140005442) (pow x 8)))))) in x 1.152 * [taylor]: Taking taylor expansion of (* (+ (* 0.0005064034 (pow x 8)) (+ (fma 0.0072644182 (pow x 6) (fma (pow x 4) 0.0424060604 (fma (pow x 2) 0.1049934947 1.0))) (* 0.0001789971 (pow x 10)))) x) in x 1.152 * [taylor]: Taking taylor expansion of (+ (* 0.0005064034 (pow x 8)) (+ (fma 0.0072644182 (pow x 6) (fma (pow x 4) 0.0424060604 (fma (pow x 2) 0.1049934947 1.0))) (* 0.0001789971 (pow x 10)))) in x 1.152 * [taylor]: Taking taylor expansion of (* 0.0005064034 (pow x 8)) in x 1.152 * [taylor]: Taking taylor expansion of 0.0005064034 in x 1.152 * [taylor]: Taking taylor expansion of (pow x 8) in x 1.152 * [taylor]: Taking taylor expansion of x in x 1.152 * [taylor]: Taking taylor expansion of (+ (fma 0.0072644182 (pow x 6) (fma (pow x 4) 0.0424060604 (fma (pow x 2) 0.1049934947 1.0))) (* 0.0001789971 (pow x 10))) in x 1.152 * [taylor]: Taking taylor expansion of (fma 0.0072644182 (pow x 6) (fma (pow x 4) 0.0424060604 (fma (pow x 2) 0.1049934947 1.0))) in x 1.152 * [taylor]: Rewrote expression to (+ (* 0.0072644182 (pow x 6)) (fma (pow x 4) 0.0424060604 (fma (pow x 2) 0.1049934947 1.0))) 1.152 * [taylor]: Taking taylor expansion of (* 0.0072644182 (pow x 6)) in x 1.152 * [taylor]: Taking taylor expansion of 0.0072644182 in x 1.152 * [taylor]: Taking taylor expansion of (pow x 6) in x 1.152 * [taylor]: Taking taylor expansion of x in x 1.152 * [taylor]: Taking taylor expansion of (fma (pow x 4) 0.0424060604 (fma (pow x 2) 0.1049934947 1.0)) in x 1.152 * [taylor]: Rewrote expression to (+ (* (pow x 4) 0.0424060604) (fma (pow x 2) 0.1049934947 1.0)) 1.152 * [taylor]: Taking taylor expansion of (* (pow x 4) 0.0424060604) in x 1.152 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.152 * [taylor]: Taking taylor expansion of x in x 1.152 * [taylor]: Taking taylor expansion of 0.0424060604 in x 1.152 * [taylor]: Taking taylor expansion of (fma (pow x 2) 0.1049934947 1.0) in x 1.152 * [taylor]: Rewrote expression to (+ (* (pow x 2) 0.1049934947) 1.0) 1.152 * [taylor]: Taking taylor expansion of (* (pow x 2) 0.1049934947) in x 1.153 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.153 * [taylor]: Taking taylor expansion of x in x 1.153 * [taylor]: Taking taylor expansion of 0.1049934947 in x 1.153 * [taylor]: Taking taylor expansion of 1.0 in x 1.153 * [taylor]: Taking taylor expansion of (* 0.0001789971 (pow x 10)) in x 1.153 * [taylor]: Taking taylor expansion of 0.0001789971 in x 1.153 * [taylor]: Taking taylor expansion of (pow x 10) in x 1.153 * [taylor]: Taking taylor expansion of x in x 1.153 * [taylor]: Taking taylor expansion of x in x 1.153 * [taylor]: Taking taylor expansion of (fma 0.0001789971 (* 2.0 (pow x 12)) (+ (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)) (fma (pow x 6) 0.0694555761 (* (+ (* 0.0008327945 (pow x 2)) 0.0140005442) (pow x 8))))) in x 1.153 * [taylor]: Rewrote expression to (+ (* 0.0001789971 (* 2.0 (pow x 12))) (+ (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)) (fma (pow x 6) 0.0694555761 (* (+ (* 0.0008327945 (pow x 2)) 0.0140005442) (pow x 8))))) 1.153 * [taylor]: Taking taylor expansion of (* 0.0001789971 (* 2.0 (pow x 12))) in x 1.153 * [taylor]: Taking taylor expansion of 0.0001789971 in x 1.153 * [taylor]: Taking taylor expansion of (* 2.0 (pow x 12)) in x 1.153 * [taylor]: Taking taylor expansion of 2.0 in x 1.153 * [taylor]: Taking taylor expansion of (pow x 12) in x 1.153 * [taylor]: Taking taylor expansion of x in x 1.153 * [taylor]: Taking taylor expansion of (+ (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)) (fma (pow x 6) 0.0694555761 (* (+ (* 0.0008327945 (pow x 2)) 0.0140005442) (pow x 8)))) in x 1.153 * [taylor]: Taking taylor expansion of (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)) in x 1.153 * [taylor]: Rewrote expression to (+ (* 0.2909738639 (pow x 4)) (fma (* 0.7715471019 x) x 1.0)) 1.153 * [taylor]: Taking taylor expansion of (* 0.2909738639 (pow x 4)) in x 1.153 * [taylor]: Taking taylor expansion of 0.2909738639 in x 1.153 * [taylor]: Taking taylor expansion of (pow x 4) in x 1.153 * [taylor]: Taking taylor expansion of x in x 1.153 * [taylor]: Taking taylor expansion of (fma (* 0.7715471019 x) x 1.0) in x 1.153 * [taylor]: Rewrote expression to (+ (* (* 0.7715471019 x) x) 1.0) 1.153 * [taylor]: Taking taylor expansion of (* (* 0.7715471019 x) x) in x 1.153 * [taylor]: Taking taylor expansion of (* 0.7715471019 x) in x 1.153 * [taylor]: Taking taylor expansion of 0.7715471019 in x 1.153 * [taylor]: Taking taylor expansion of x in x 1.153 * [taylor]: Taking taylor expansion of x in x 1.153 * [taylor]: Taking taylor expansion of 1.0 in x 1.153 * [taylor]: Taking taylor expansion of (fma (pow x 6) 0.0694555761 (* (+ (* 0.0008327945 (pow x 2)) 0.0140005442) (pow x 8))) in x 1.153 * [taylor]: Rewrote expression to (+ (* (pow x 6) 0.0694555761) (* (+ (* 0.0008327945 (pow x 2)) 0.0140005442) (pow x 8))) 1.153 * [taylor]: Taking taylor expansion of (* (pow x 6) 0.0694555761) in x 1.153 * [taylor]: Taking taylor expansion of (pow x 6) in x 1.153 * [taylor]: Taking taylor expansion of x in x 1.153 * [taylor]: Taking taylor expansion of 0.0694555761 in x 1.153 * [taylor]: Taking taylor expansion of (* (+ (* 0.0008327945 (pow x 2)) 0.0140005442) (pow x 8)) in x 1.154 * [taylor]: Taking taylor expansion of (+ (* 0.0008327945 (pow x 2)) 0.0140005442) in x 1.154 * [taylor]: Taking taylor expansion of (* 0.0008327945 (pow x 2)) in x 1.154 * [taylor]: Taking taylor expansion of 0.0008327945 in x 1.154 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.154 * [taylor]: Taking taylor expansion of x in x 1.154 * [taylor]: Taking taylor expansion of 0.0140005442 in x 1.154 * [taylor]: Taking taylor expansion of (pow x 8) in x 1.154 * [taylor]: Taking taylor expansion of x in x 1.198 * [approximate]: Taking taylor expansion of (/ (+ (* 0.0005064034 (/ 1 (pow x 8))) (+ (* 0.0001789971 (/ 1 (pow x 10))) (fma 0.0072644182 (pow (/ 1 x) 6) (fma (pow (/ 1 x) 4) 0.0424060604 (fma (/ 1 (pow x 2)) 0.1049934947 1.0))))) (* (fma 0.0001789971 (/ 2.0 (pow x 12)) (+ (fma (pow (/ 1 x) 6) 0.0694555761 (/ (+ (* 0.0008327945 (/ 1 (pow x 2))) 0.0140005442) (pow x 8))) (fma 0.2909738639 (pow (/ 1 x) 4) (fma (/ 0.7715471019 x) (/ 1 x) 1.0)))) x)) in (x) around 0 1.198 * [taylor]: Taking taylor expansion of (/ (+ (* 0.0005064034 (/ 1 (pow x 8))) (+ (* 0.0001789971 (/ 1 (pow x 10))) (fma 0.0072644182 (pow (/ 1 x) 6) (fma (pow (/ 1 x) 4) 0.0424060604 (fma (/ 1 (pow x 2)) 0.1049934947 1.0))))) (* (fma 0.0001789971 (/ 2.0 (pow x 12)) (+ (fma (pow (/ 1 x) 6) 0.0694555761 (/ (+ (* 0.0008327945 (/ 1 (pow x 2))) 0.0140005442) (pow x 8))) (fma 0.2909738639 (pow (/ 1 x) 4) (fma (/ 0.7715471019 x) (/ 1 x) 1.0)))) x)) in x 1.198 * [taylor]: Taking taylor expansion of (+ (* 0.0005064034 (/ 1 (pow x 8))) (+ (* 0.0001789971 (/ 1 (pow x 10))) (fma 0.0072644182 (pow (/ 1 x) 6) (fma (pow (/ 1 x) 4) 0.0424060604 (fma (/ 1 (pow x 2)) 0.1049934947 1.0))))) in x 1.198 * [taylor]: Taking taylor expansion of (* 0.0005064034 (/ 1 (pow x 8))) in x 1.198 * [taylor]: Taking taylor expansion of 0.0005064034 in x 1.198 * [taylor]: Taking taylor expansion of (/ 1 (pow x 8)) in x 1.198 * [taylor]: Taking taylor expansion of (pow x 8) in x 1.198 * [taylor]: Taking taylor expansion of x in x 1.199 * [taylor]: Taking taylor expansion of (+ (* 0.0001789971 (/ 1 (pow x 10))) (fma 0.0072644182 (pow (/ 1 x) 6) (fma (pow (/ 1 x) 4) 0.0424060604 (fma (/ 1 (pow x 2)) 0.1049934947 1.0)))) in x 1.199 * [taylor]: Taking taylor expansion of (* 0.0001789971 (/ 1 (pow x 10))) in x 1.199 * [taylor]: Taking taylor expansion of 0.0001789971 in x 1.199 * [taylor]: Taking taylor expansion of (/ 1 (pow x 10)) in x 1.199 * [taylor]: Taking taylor expansion of (pow x 10) in x 1.199 * [taylor]: Taking taylor expansion of x in x 1.200 * [taylor]: Taking taylor expansion of (fma 0.0072644182 (pow (/ 1 x) 6) (fma (pow (/ 1 x) 4) 0.0424060604 (fma (/ 1 (pow x 2)) 0.1049934947 1.0))) in x 1.200 * [taylor]: Rewrote expression to (+ (* 0.0072644182 (pow (/ 1 x) 6)) (fma (pow (/ 1 x) 4) 0.0424060604 (fma (/ 1 (pow x 2)) 0.1049934947 1.0))) 1.200 * [taylor]: Taking taylor expansion of (* 0.0072644182 (pow (/ 1 x) 6)) in x 1.200 * [taylor]: Taking taylor expansion of 0.0072644182 in x 1.200 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 6) in x 1.200 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.200 * [taylor]: Taking taylor expansion of x in x 1.201 * [taylor]: Taking taylor expansion of (fma (pow (/ 1 x) 4) 0.0424060604 (fma (/ 1 (pow x 2)) 0.1049934947 1.0)) in x 1.201 * [taylor]: Rewrote expression to (+ (* (pow (/ 1 x) 4) 0.0424060604) (fma (/ 1 (pow x 2)) 0.1049934947 1.0)) 1.201 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 4) 0.0424060604) in x 1.201 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 4) in x 1.201 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.201 * [taylor]: Taking taylor expansion of x in x 1.201 * [taylor]: Taking taylor expansion of 0.0424060604 in x 1.201 * [taylor]: Taking taylor expansion of (fma (/ 1 (pow x 2)) 0.1049934947 1.0) in x 1.201 * [taylor]: Rewrote expression to (+ (* (/ 1 (pow x 2)) 0.1049934947) 1.0) 1.201 * [taylor]: Taking taylor expansion of (* (/ 1 (pow x 2)) 0.1049934947) in x 1.201 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.201 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.201 * [taylor]: Taking taylor expansion of x in x 1.202 * [taylor]: Taking taylor expansion of 0.1049934947 in x 1.202 * [taylor]: Taking taylor expansion of 1.0 in x 1.202 * [taylor]: Taking taylor expansion of (* (fma 0.0001789971 (/ 2.0 (pow x 12)) (+ (fma (pow (/ 1 x) 6) 0.0694555761 (/ (+ (* 0.0008327945 (/ 1 (pow x 2))) 0.0140005442) (pow x 8))) (fma 0.2909738639 (pow (/ 1 x) 4) (fma (/ 0.7715471019 x) (/ 1 x) 1.0)))) x) in x 1.202 * [taylor]: Taking taylor expansion of (fma 0.0001789971 (/ 2.0 (pow x 12)) (+ (fma (pow (/ 1 x) 6) 0.0694555761 (/ (+ (* 0.0008327945 (/ 1 (pow x 2))) 0.0140005442) (pow x 8))) (fma 0.2909738639 (pow (/ 1 x) 4) (fma (/ 0.7715471019 x) (/ 1 x) 1.0)))) in x 1.202 * [taylor]: Rewrote expression to (+ (* 0.0001789971 (/ 2.0 (pow x 12))) (+ (fma (pow (/ 1 x) 6) 0.0694555761 (/ (+ (* 0.0008327945 (/ 1 (pow x 2))) 0.0140005442) (pow x 8))) (fma 0.2909738639 (pow (/ 1 x) 4) (fma (/ 0.7715471019 x) (/ 1 x) 1.0)))) 1.202 * [taylor]: Taking taylor expansion of (* 0.0001789971 (/ 2.0 (pow x 12))) in x 1.202 * [taylor]: Taking taylor expansion of 0.0001789971 in x 1.202 * [taylor]: Taking taylor expansion of (/ 2.0 (pow x 12)) in x 1.202 * [taylor]: Taking taylor expansion of 2.0 in x 1.202 * [taylor]: Taking taylor expansion of (pow x 12) in x 1.202 * [taylor]: Taking taylor expansion of x in x 1.203 * [taylor]: Taking taylor expansion of (+ (fma (pow (/ 1 x) 6) 0.0694555761 (/ (+ (* 0.0008327945 (/ 1 (pow x 2))) 0.0140005442) (pow x 8))) (fma 0.2909738639 (pow (/ 1 x) 4) (fma (/ 0.7715471019 x) (/ 1 x) 1.0))) in x 1.203 * [taylor]: Taking taylor expansion of (fma (pow (/ 1 x) 6) 0.0694555761 (/ (+ (* 0.0008327945 (/ 1 (pow x 2))) 0.0140005442) (pow x 8))) in x 1.203 * [taylor]: Rewrote expression to (+ (* (pow (/ 1 x) 6) 0.0694555761) (/ (+ (* 0.0008327945 (/ 1 (pow x 2))) 0.0140005442) (pow x 8))) 1.203 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 6) 0.0694555761) in x 1.204 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 6) in x 1.204 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.204 * [taylor]: Taking taylor expansion of x in x 1.204 * [taylor]: Taking taylor expansion of 0.0694555761 in x 1.204 * [taylor]: Taking taylor expansion of (/ (+ (* 0.0008327945 (/ 1 (pow x 2))) 0.0140005442) (pow x 8)) in x 1.204 * [taylor]: Taking taylor expansion of (+ (* 0.0008327945 (/ 1 (pow x 2))) 0.0140005442) in x 1.204 * [taylor]: Taking taylor expansion of (* 0.0008327945 (/ 1 (pow x 2))) in x 1.204 * [taylor]: Taking taylor expansion of 0.0008327945 in x 1.204 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.204 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.204 * [taylor]: Taking taylor expansion of x in x 1.204 * [taylor]: Taking taylor expansion of 0.0140005442 in x 1.204 * [taylor]: Taking taylor expansion of (pow x 8) in x 1.204 * [taylor]: Taking taylor expansion of x in x 1.206 * [taylor]: Taking taylor expansion of (fma 0.2909738639 (pow (/ 1 x) 4) (fma (/ 0.7715471019 x) (/ 1 x) 1.0)) in x 1.206 * [taylor]: Rewrote expression to (+ (* 0.2909738639 (pow (/ 1 x) 4)) (fma (/ 0.7715471019 x) (/ 1 x) 1.0)) 1.206 * [taylor]: Taking taylor expansion of (* 0.2909738639 (pow (/ 1 x) 4)) in x 1.206 * [taylor]: Taking taylor expansion of 0.2909738639 in x 1.206 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 4) in x 1.206 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.206 * [taylor]: Taking taylor expansion of x in x 1.207 * [taylor]: Taking taylor expansion of (fma (/ 0.7715471019 x) (/ 1 x) 1.0) in x 1.207 * [taylor]: Rewrote expression to (+ (* (/ 0.7715471019 x) (/ 1 x)) 1.0) 1.207 * [taylor]: Taking taylor expansion of (* (/ 0.7715471019 x) (/ 1 x)) in x 1.207 * [taylor]: Taking taylor expansion of (/ 0.7715471019 x) in x 1.207 * [taylor]: Taking taylor expansion of 0.7715471019 in x 1.207 * [taylor]: Taking taylor expansion of x in x 1.207 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.207 * [taylor]: Taking taylor expansion of x in x 1.207 * [taylor]: Taking taylor expansion of 1.0 in x 1.207 * [taylor]: Taking taylor expansion of x in x 1.218 * [taylor]: Taking taylor expansion of (/ (+ (* 0.0005064034 (/ 1 (pow x 8))) (+ (* 0.0001789971 (/ 1 (pow x 10))) (fma 0.0072644182 (pow (/ 1 x) 6) (fma (pow (/ 1 x) 4) 0.0424060604 (fma (/ 1 (pow x 2)) 0.1049934947 1.0))))) (* (fma 0.0001789971 (/ 2.0 (pow x 12)) (+ (fma (pow (/ 1 x) 6) 0.0694555761 (/ (+ (* 0.0008327945 (/ 1 (pow x 2))) 0.0140005442) (pow x 8))) (fma 0.2909738639 (pow (/ 1 x) 4) (fma (/ 0.7715471019 x) (/ 1 x) 1.0)))) x)) in x 1.218 * [taylor]: Taking taylor expansion of (+ (* 0.0005064034 (/ 1 (pow x 8))) (+ (* 0.0001789971 (/ 1 (pow x 10))) (fma 0.0072644182 (pow (/ 1 x) 6) (fma (pow (/ 1 x) 4) 0.0424060604 (fma (/ 1 (pow x 2)) 0.1049934947 1.0))))) in x 1.218 * [taylor]: Taking taylor expansion of (* 0.0005064034 (/ 1 (pow x 8))) in x 1.218 * [taylor]: Taking taylor expansion of 0.0005064034 in x 1.218 * [taylor]: Taking taylor expansion of (/ 1 (pow x 8)) in x 1.218 * [taylor]: Taking taylor expansion of (pow x 8) in x 1.218 * [taylor]: Taking taylor expansion of x in x 1.219 * [taylor]: Taking taylor expansion of (+ (* 0.0001789971 (/ 1 (pow x 10))) (fma 0.0072644182 (pow (/ 1 x) 6) (fma (pow (/ 1 x) 4) 0.0424060604 (fma (/ 1 (pow x 2)) 0.1049934947 1.0)))) in x 1.219 * [taylor]: Taking taylor expansion of (* 0.0001789971 (/ 1 (pow x 10))) in x 1.219 * [taylor]: Taking taylor expansion of 0.0001789971 in x 1.219 * [taylor]: Taking taylor expansion of (/ 1 (pow x 10)) in x 1.219 * [taylor]: Taking taylor expansion of (pow x 10) in x 1.219 * [taylor]: Taking taylor expansion of x in x 1.221 * [taylor]: Taking taylor expansion of (fma 0.0072644182 (pow (/ 1 x) 6) (fma (pow (/ 1 x) 4) 0.0424060604 (fma (/ 1 (pow x 2)) 0.1049934947 1.0))) in x 1.221 * [taylor]: Rewrote expression to (+ (* 0.0072644182 (pow (/ 1 x) 6)) (fma (pow (/ 1 x) 4) 0.0424060604 (fma (/ 1 (pow x 2)) 0.1049934947 1.0))) 1.221 * [taylor]: Taking taylor expansion of (* 0.0072644182 (pow (/ 1 x) 6)) in x 1.221 * [taylor]: Taking taylor expansion of 0.0072644182 in x 1.221 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 6) in x 1.221 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.221 * [taylor]: Taking taylor expansion of x in x 1.221 * [taylor]: Taking taylor expansion of (fma (pow (/ 1 x) 4) 0.0424060604 (fma (/ 1 (pow x 2)) 0.1049934947 1.0)) in x 1.221 * [taylor]: Rewrote expression to (+ (* (pow (/ 1 x) 4) 0.0424060604) (fma (/ 1 (pow x 2)) 0.1049934947 1.0)) 1.221 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 4) 0.0424060604) in x 1.221 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 4) in x 1.221 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.221 * [taylor]: Taking taylor expansion of x in x 1.222 * [taylor]: Taking taylor expansion of 0.0424060604 in x 1.222 * [taylor]: Taking taylor expansion of (fma (/ 1 (pow x 2)) 0.1049934947 1.0) in x 1.222 * [taylor]: Rewrote expression to (+ (* (/ 1 (pow x 2)) 0.1049934947) 1.0) 1.222 * [taylor]: Taking taylor expansion of (* (/ 1 (pow x 2)) 0.1049934947) in x 1.222 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.222 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.222 * [taylor]: Taking taylor expansion of x in x 1.222 * [taylor]: Taking taylor expansion of 0.1049934947 in x 1.222 * [taylor]: Taking taylor expansion of 1.0 in x 1.222 * [taylor]: Taking taylor expansion of (* (fma 0.0001789971 (/ 2.0 (pow x 12)) (+ (fma (pow (/ 1 x) 6) 0.0694555761 (/ (+ (* 0.0008327945 (/ 1 (pow x 2))) 0.0140005442) (pow x 8))) (fma 0.2909738639 (pow (/ 1 x) 4) (fma (/ 0.7715471019 x) (/ 1 x) 1.0)))) x) in x 1.222 * [taylor]: Taking taylor expansion of (fma 0.0001789971 (/ 2.0 (pow x 12)) (+ (fma (pow (/ 1 x) 6) 0.0694555761 (/ (+ (* 0.0008327945 (/ 1 (pow x 2))) 0.0140005442) (pow x 8))) (fma 0.2909738639 (pow (/ 1 x) 4) (fma (/ 0.7715471019 x) (/ 1 x) 1.0)))) in x 1.223 * [taylor]: Rewrote expression to (+ (* 0.0001789971 (/ 2.0 (pow x 12))) (+ (fma (pow (/ 1 x) 6) 0.0694555761 (/ (+ (* 0.0008327945 (/ 1 (pow x 2))) 0.0140005442) (pow x 8))) (fma 0.2909738639 (pow (/ 1 x) 4) (fma (/ 0.7715471019 x) (/ 1 x) 1.0)))) 1.223 * [taylor]: Taking taylor expansion of (* 0.0001789971 (/ 2.0 (pow x 12))) in x 1.223 * [taylor]: Taking taylor expansion of 0.0001789971 in x 1.223 * [taylor]: Taking taylor expansion of (/ 2.0 (pow x 12)) in x 1.223 * [taylor]: Taking taylor expansion of 2.0 in x 1.223 * [taylor]: Taking taylor expansion of (pow x 12) in x 1.223 * [taylor]: Taking taylor expansion of x in x 1.224 * [taylor]: Taking taylor expansion of (+ (fma (pow (/ 1 x) 6) 0.0694555761 (/ (+ (* 0.0008327945 (/ 1 (pow x 2))) 0.0140005442) (pow x 8))) (fma 0.2909738639 (pow (/ 1 x) 4) (fma (/ 0.7715471019 x) (/ 1 x) 1.0))) in x 1.224 * [taylor]: Taking taylor expansion of (fma (pow (/ 1 x) 6) 0.0694555761 (/ (+ (* 0.0008327945 (/ 1 (pow x 2))) 0.0140005442) (pow x 8))) in x 1.224 * [taylor]: Rewrote expression to (+ (* (pow (/ 1 x) 6) 0.0694555761) (/ (+ (* 0.0008327945 (/ 1 (pow x 2))) 0.0140005442) (pow x 8))) 1.224 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 6) 0.0694555761) in x 1.224 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 6) in x 1.224 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.224 * [taylor]: Taking taylor expansion of x in x 1.224 * [taylor]: Taking taylor expansion of 0.0694555761 in x 1.224 * [taylor]: Taking taylor expansion of (/ (+ (* 0.0008327945 (/ 1 (pow x 2))) 0.0140005442) (pow x 8)) in x 1.224 * [taylor]: Taking taylor expansion of (+ (* 0.0008327945 (/ 1 (pow x 2))) 0.0140005442) in x 1.224 * [taylor]: Taking taylor expansion of (* 0.0008327945 (/ 1 (pow x 2))) in x 1.224 * [taylor]: Taking taylor expansion of 0.0008327945 in x 1.225 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.225 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.225 * [taylor]: Taking taylor expansion of x in x 1.225 * [taylor]: Taking taylor expansion of 0.0140005442 in x 1.225 * [taylor]: Taking taylor expansion of (pow x 8) in x 1.225 * [taylor]: Taking taylor expansion of x in x 1.227 * [taylor]: Taking taylor expansion of (fma 0.2909738639 (pow (/ 1 x) 4) (fma (/ 0.7715471019 x) (/ 1 x) 1.0)) in x 1.227 * [taylor]: Rewrote expression to (+ (* 0.2909738639 (pow (/ 1 x) 4)) (fma (/ 0.7715471019 x) (/ 1 x) 1.0)) 1.227 * [taylor]: Taking taylor expansion of (* 0.2909738639 (pow (/ 1 x) 4)) in x 1.227 * [taylor]: Taking taylor expansion of 0.2909738639 in x 1.227 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 4) in x 1.227 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.227 * [taylor]: Taking taylor expansion of x in x 1.227 * [taylor]: Taking taylor expansion of (fma (/ 0.7715471019 x) (/ 1 x) 1.0) in x 1.227 * [taylor]: Rewrote expression to (+ (* (/ 0.7715471019 x) (/ 1 x)) 1.0) 1.227 * [taylor]: Taking taylor expansion of (* (/ 0.7715471019 x) (/ 1 x)) in x 1.227 * [taylor]: Taking taylor expansion of (/ 0.7715471019 x) in x 1.227 * [taylor]: Taking taylor expansion of 0.7715471019 in x 1.227 * [taylor]: Taking taylor expansion of x in x 1.228 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.228 * [taylor]: Taking taylor expansion of x in x 1.228 * [taylor]: Taking taylor expansion of 1.0 in x 1.228 * [taylor]: Taking taylor expansion of x in x 1.304 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (fma 0.0072644182 (pow (/ -1 x) 6) (fma (pow (/ -1 x) 4) 0.0424060604 (fma (/ 1 (pow x 2)) 0.1049934947 1.0))) (+ (* 0.0005064034 (/ 1 (pow x 8))) (* 0.0001789971 (/ 1 (pow x 10))))) (* x (fma 0.0001789971 (/ 2.0 (pow x 12)) (+ (fma 0.2909738639 (pow (/ -1 x) 4) (fma (/ -0.7715471019 x) (/ -1 x) 1.0)) (fma (pow (/ -1 x) 6) 0.0694555761 (/ (+ (* 0.0008327945 (/ 1 (pow x 2))) 0.0140005442) (pow x 8)))))))) in (x) around 0 1.304 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (fma 0.0072644182 (pow (/ -1 x) 6) (fma (pow (/ -1 x) 4) 0.0424060604 (fma (/ 1 (pow x 2)) 0.1049934947 1.0))) (+ (* 0.0005064034 (/ 1 (pow x 8))) (* 0.0001789971 (/ 1 (pow x 10))))) (* x (fma 0.0001789971 (/ 2.0 (pow x 12)) (+ (fma 0.2909738639 (pow (/ -1 x) 4) (fma (/ -0.7715471019 x) (/ -1 x) 1.0)) (fma (pow (/ -1 x) 6) 0.0694555761 (/ (+ (* 0.0008327945 (/ 1 (pow x 2))) 0.0140005442) (pow x 8)))))))) in x 1.304 * [taylor]: Taking taylor expansion of -1 in x 1.304 * [taylor]: Taking taylor expansion of (/ (+ (fma 0.0072644182 (pow (/ -1 x) 6) (fma (pow (/ -1 x) 4) 0.0424060604 (fma (/ 1 (pow x 2)) 0.1049934947 1.0))) (+ (* 0.0005064034 (/ 1 (pow x 8))) (* 0.0001789971 (/ 1 (pow x 10))))) (* x (fma 0.0001789971 (/ 2.0 (pow x 12)) (+ (fma 0.2909738639 (pow (/ -1 x) 4) (fma (/ -0.7715471019 x) (/ -1 x) 1.0)) (fma (pow (/ -1 x) 6) 0.0694555761 (/ (+ (* 0.0008327945 (/ 1 (pow x 2))) 0.0140005442) (pow x 8))))))) in x 1.304 * [taylor]: Taking taylor expansion of (+ (fma 0.0072644182 (pow (/ -1 x) 6) (fma (pow (/ -1 x) 4) 0.0424060604 (fma (/ 1 (pow x 2)) 0.1049934947 1.0))) (+ (* 0.0005064034 (/ 1 (pow x 8))) (* 0.0001789971 (/ 1 (pow x 10))))) in x 1.304 * [taylor]: Taking taylor expansion of (fma 0.0072644182 (pow (/ -1 x) 6) (fma (pow (/ -1 x) 4) 0.0424060604 (fma (/ 1 (pow x 2)) 0.1049934947 1.0))) in x 1.304 * [taylor]: Rewrote expression to (+ (* 0.0072644182 (pow (/ -1 x) 6)) (fma (pow (/ -1 x) 4) 0.0424060604 (fma (/ 1 (pow x 2)) 0.1049934947 1.0))) 1.304 * [taylor]: Taking taylor expansion of (* 0.0072644182 (pow (/ -1 x) 6)) in x 1.304 * [taylor]: Taking taylor expansion of 0.0072644182 in x 1.304 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 6) in x 1.304 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.304 * [taylor]: Taking taylor expansion of -1 in x 1.304 * [taylor]: Taking taylor expansion of x in x 1.305 * [taylor]: Taking taylor expansion of (fma (pow (/ -1 x) 4) 0.0424060604 (fma (/ 1 (pow x 2)) 0.1049934947 1.0)) in x 1.305 * [taylor]: Rewrote expression to (+ (* (pow (/ -1 x) 4) 0.0424060604) (fma (/ 1 (pow x 2)) 0.1049934947 1.0)) 1.305 * [taylor]: Taking taylor expansion of (* (pow (/ -1 x) 4) 0.0424060604) in x 1.305 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 4) in x 1.305 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.305 * [taylor]: Taking taylor expansion of -1 in x 1.305 * [taylor]: Taking taylor expansion of x in x 1.305 * [taylor]: Taking taylor expansion of 0.0424060604 in x 1.305 * [taylor]: Taking taylor expansion of (fma (/ 1 (pow x 2)) 0.1049934947 1.0) in x 1.305 * [taylor]: Rewrote expression to (+ (* (/ 1 (pow x 2)) 0.1049934947) 1.0) 1.305 * [taylor]: Taking taylor expansion of (* (/ 1 (pow x 2)) 0.1049934947) in x 1.305 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.305 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.305 * [taylor]: Taking taylor expansion of x in x 1.306 * [taylor]: Taking taylor expansion of 0.1049934947 in x 1.306 * [taylor]: Taking taylor expansion of 1.0 in x 1.306 * [taylor]: Taking taylor expansion of (+ (* 0.0005064034 (/ 1 (pow x 8))) (* 0.0001789971 (/ 1 (pow x 10)))) in x 1.306 * [taylor]: Taking taylor expansion of (* 0.0005064034 (/ 1 (pow x 8))) in x 1.306 * [taylor]: Taking taylor expansion of 0.0005064034 in x 1.306 * [taylor]: Taking taylor expansion of (/ 1 (pow x 8)) in x 1.306 * [taylor]: Taking taylor expansion of (pow x 8) in x 1.306 * [taylor]: Taking taylor expansion of x in x 1.307 * [taylor]: Taking taylor expansion of (* 0.0001789971 (/ 1 (pow x 10))) in x 1.307 * [taylor]: Taking taylor expansion of 0.0001789971 in x 1.307 * [taylor]: Taking taylor expansion of (/ 1 (pow x 10)) in x 1.307 * [taylor]: Taking taylor expansion of (pow x 10) in x 1.307 * [taylor]: Taking taylor expansion of x in x 1.308 * [taylor]: Taking taylor expansion of (* x (fma 0.0001789971 (/ 2.0 (pow x 12)) (+ (fma 0.2909738639 (pow (/ -1 x) 4) (fma (/ -0.7715471019 x) (/ -1 x) 1.0)) (fma (pow (/ -1 x) 6) 0.0694555761 (/ (+ (* 0.0008327945 (/ 1 (pow x 2))) 0.0140005442) (pow x 8)))))) in x 1.308 * [taylor]: Taking taylor expansion of x in x 1.308 * [taylor]: Taking taylor expansion of (fma 0.0001789971 (/ 2.0 (pow x 12)) (+ (fma 0.2909738639 (pow (/ -1 x) 4) (fma (/ -0.7715471019 x) (/ -1 x) 1.0)) (fma (pow (/ -1 x) 6) 0.0694555761 (/ (+ (* 0.0008327945 (/ 1 (pow x 2))) 0.0140005442) (pow x 8))))) in x 1.308 * [taylor]: Rewrote expression to (+ (* 0.0001789971 (/ 2.0 (pow x 12))) (+ (fma 0.2909738639 (pow (/ -1 x) 4) (fma (/ -0.7715471019 x) (/ -1 x) 1.0)) (fma (pow (/ -1 x) 6) 0.0694555761 (/ (+ (* 0.0008327945 (/ 1 (pow x 2))) 0.0140005442) (pow x 8))))) 1.308 * [taylor]: Taking taylor expansion of (* 0.0001789971 (/ 2.0 (pow x 12))) in x 1.308 * [taylor]: Taking taylor expansion of 0.0001789971 in x 1.309 * [taylor]: Taking taylor expansion of (/ 2.0 (pow x 12)) in x 1.309 * [taylor]: Taking taylor expansion of 2.0 in x 1.309 * [taylor]: Taking taylor expansion of (pow x 12) in x 1.309 * [taylor]: Taking taylor expansion of x in x 1.310 * [taylor]: Taking taylor expansion of (+ (fma 0.2909738639 (pow (/ -1 x) 4) (fma (/ -0.7715471019 x) (/ -1 x) 1.0)) (fma (pow (/ -1 x) 6) 0.0694555761 (/ (+ (* 0.0008327945 (/ 1 (pow x 2))) 0.0140005442) (pow x 8)))) in x 1.310 * [taylor]: Taking taylor expansion of (fma 0.2909738639 (pow (/ -1 x) 4) (fma (/ -0.7715471019 x) (/ -1 x) 1.0)) in x 1.310 * [taylor]: Rewrote expression to (+ (* 0.2909738639 (pow (/ -1 x) 4)) (fma (/ -0.7715471019 x) (/ -1 x) 1.0)) 1.310 * [taylor]: Taking taylor expansion of (* 0.2909738639 (pow (/ -1 x) 4)) in x 1.310 * [taylor]: Taking taylor expansion of 0.2909738639 in x 1.310 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 4) in x 1.310 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.310 * [taylor]: Taking taylor expansion of -1 in x 1.310 * [taylor]: Taking taylor expansion of x in x 1.310 * [taylor]: Taking taylor expansion of (fma (/ -0.7715471019 x) (/ -1 x) 1.0) in x 1.310 * [taylor]: Rewrote expression to (+ (* (/ -0.7715471019 x) (/ -1 x)) 1.0) 1.310 * [taylor]: Taking taylor expansion of (* (/ -0.7715471019 x) (/ -1 x)) in x 1.310 * [taylor]: Taking taylor expansion of (/ -0.7715471019 x) in x 1.310 * [taylor]: Taking taylor expansion of -0.7715471019 in x 1.311 * [taylor]: Taking taylor expansion of x in x 1.311 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.311 * [taylor]: Taking taylor expansion of -1 in x 1.311 * [taylor]: Taking taylor expansion of x in x 1.311 * [taylor]: Taking taylor expansion of 1.0 in x 1.311 * [taylor]: Taking taylor expansion of (fma (pow (/ -1 x) 6) 0.0694555761 (/ (+ (* 0.0008327945 (/ 1 (pow x 2))) 0.0140005442) (pow x 8))) in x 1.311 * [taylor]: Rewrote expression to (+ (* (pow (/ -1 x) 6) 0.0694555761) (/ (+ (* 0.0008327945 (/ 1 (pow x 2))) 0.0140005442) (pow x 8))) 1.311 * [taylor]: Taking taylor expansion of (* (pow (/ -1 x) 6) 0.0694555761) in x 1.311 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 6) in x 1.311 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.311 * [taylor]: Taking taylor expansion of -1 in x 1.311 * [taylor]: Taking taylor expansion of x in x 1.312 * [taylor]: Taking taylor expansion of 0.0694555761 in x 1.312 * [taylor]: Taking taylor expansion of (/ (+ (* 0.0008327945 (/ 1 (pow x 2))) 0.0140005442) (pow x 8)) in x 1.312 * [taylor]: Taking taylor expansion of (+ (* 0.0008327945 (/ 1 (pow x 2))) 0.0140005442) in x 1.312 * [taylor]: Taking taylor expansion of (* 0.0008327945 (/ 1 (pow x 2))) in x 1.312 * [taylor]: Taking taylor expansion of 0.0008327945 in x 1.312 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.312 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.312 * [taylor]: Taking taylor expansion of x in x 1.312 * [taylor]: Taking taylor expansion of 0.0140005442 in x 1.312 * [taylor]: Taking taylor expansion of (pow x 8) in x 1.312 * [taylor]: Taking taylor expansion of x in x 1.319 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (fma 0.0072644182 (pow (/ -1 x) 6) (fma (pow (/ -1 x) 4) 0.0424060604 (fma (/ 1 (pow x 2)) 0.1049934947 1.0))) (+ (* 0.0005064034 (/ 1 (pow x 8))) (* 0.0001789971 (/ 1 (pow x 10))))) (* x (fma 0.0001789971 (/ 2.0 (pow x 12)) (+ (fma 0.2909738639 (pow (/ -1 x) 4) (fma (/ -0.7715471019 x) (/ -1 x) 1.0)) (fma (pow (/ -1 x) 6) 0.0694555761 (/ (+ (* 0.0008327945 (/ 1 (pow x 2))) 0.0140005442) (pow x 8)))))))) in x 1.319 * [taylor]: Taking taylor expansion of -1 in x 1.319 * [taylor]: Taking taylor expansion of (/ (+ (fma 0.0072644182 (pow (/ -1 x) 6) (fma (pow (/ -1 x) 4) 0.0424060604 (fma (/ 1 (pow x 2)) 0.1049934947 1.0))) (+ (* 0.0005064034 (/ 1 (pow x 8))) (* 0.0001789971 (/ 1 (pow x 10))))) (* x (fma 0.0001789971 (/ 2.0 (pow x 12)) (+ (fma 0.2909738639 (pow (/ -1 x) 4) (fma (/ -0.7715471019 x) (/ -1 x) 1.0)) (fma (pow (/ -1 x) 6) 0.0694555761 (/ (+ (* 0.0008327945 (/ 1 (pow x 2))) 0.0140005442) (pow x 8))))))) in x 1.319 * [taylor]: Taking taylor expansion of (+ (fma 0.0072644182 (pow (/ -1 x) 6) (fma (pow (/ -1 x) 4) 0.0424060604 (fma (/ 1 (pow x 2)) 0.1049934947 1.0))) (+ (* 0.0005064034 (/ 1 (pow x 8))) (* 0.0001789971 (/ 1 (pow x 10))))) in x 1.319 * [taylor]: Taking taylor expansion of (fma 0.0072644182 (pow (/ -1 x) 6) (fma (pow (/ -1 x) 4) 0.0424060604 (fma (/ 1 (pow x 2)) 0.1049934947 1.0))) in x 1.319 * [taylor]: Rewrote expression to (+ (* 0.0072644182 (pow (/ -1 x) 6)) (fma (pow (/ -1 x) 4) 0.0424060604 (fma (/ 1 (pow x 2)) 0.1049934947 1.0))) 1.319 * [taylor]: Taking taylor expansion of (* 0.0072644182 (pow (/ -1 x) 6)) in x 1.319 * [taylor]: Taking taylor expansion of 0.0072644182 in x 1.319 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 6) in x 1.319 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.319 * [taylor]: Taking taylor expansion of -1 in x 1.319 * [taylor]: Taking taylor expansion of x in x 1.320 * [taylor]: Taking taylor expansion of (fma (pow (/ -1 x) 4) 0.0424060604 (fma (/ 1 (pow x 2)) 0.1049934947 1.0)) in x 1.320 * [taylor]: Rewrote expression to (+ (* (pow (/ -1 x) 4) 0.0424060604) (fma (/ 1 (pow x 2)) 0.1049934947 1.0)) 1.320 * [taylor]: Taking taylor expansion of (* (pow (/ -1 x) 4) 0.0424060604) in x 1.320 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 4) in x 1.320 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.320 * [taylor]: Taking taylor expansion of -1 in x 1.320 * [taylor]: Taking taylor expansion of x in x 1.321 * [taylor]: Taking taylor expansion of 0.0424060604 in x 1.321 * [taylor]: Taking taylor expansion of (fma (/ 1 (pow x 2)) 0.1049934947 1.0) in x 1.321 * [taylor]: Rewrote expression to (+ (* (/ 1 (pow x 2)) 0.1049934947) 1.0) 1.321 * [taylor]: Taking taylor expansion of (* (/ 1 (pow x 2)) 0.1049934947) in x 1.321 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.321 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.321 * [taylor]: Taking taylor expansion of x in x 1.321 * [taylor]: Taking taylor expansion of 0.1049934947 in x 1.321 * [taylor]: Taking taylor expansion of 1.0 in x 1.321 * [taylor]: Taking taylor expansion of (+ (* 0.0005064034 (/ 1 (pow x 8))) (* 0.0001789971 (/ 1 (pow x 10)))) in x 1.321 * [taylor]: Taking taylor expansion of (* 0.0005064034 (/ 1 (pow x 8))) in x 1.321 * [taylor]: Taking taylor expansion of 0.0005064034 in x 1.321 * [taylor]: Taking taylor expansion of (/ 1 (pow x 8)) in x 1.321 * [taylor]: Taking taylor expansion of (pow x 8) in x 1.321 * [taylor]: Taking taylor expansion of x in x 1.322 * [taylor]: Taking taylor expansion of (* 0.0001789971 (/ 1 (pow x 10))) in x 1.322 * [taylor]: Taking taylor expansion of 0.0001789971 in x 1.322 * [taylor]: Taking taylor expansion of (/ 1 (pow x 10)) in x 1.322 * [taylor]: Taking taylor expansion of (pow x 10) in x 1.322 * [taylor]: Taking taylor expansion of x in x 1.324 * [taylor]: Taking taylor expansion of (* x (fma 0.0001789971 (/ 2.0 (pow x 12)) (+ (fma 0.2909738639 (pow (/ -1 x) 4) (fma (/ -0.7715471019 x) (/ -1 x) 1.0)) (fma (pow (/ -1 x) 6) 0.0694555761 (/ (+ (* 0.0008327945 (/ 1 (pow x 2))) 0.0140005442) (pow x 8)))))) in x 1.324 * [taylor]: Taking taylor expansion of x in x 1.324 * [taylor]: Taking taylor expansion of (fma 0.0001789971 (/ 2.0 (pow x 12)) (+ (fma 0.2909738639 (pow (/ -1 x) 4) (fma (/ -0.7715471019 x) (/ -1 x) 1.0)) (fma (pow (/ -1 x) 6) 0.0694555761 (/ (+ (* 0.0008327945 (/ 1 (pow x 2))) 0.0140005442) (pow x 8))))) in x 1.324 * [taylor]: Rewrote expression to (+ (* 0.0001789971 (/ 2.0 (pow x 12))) (+ (fma 0.2909738639 (pow (/ -1 x) 4) (fma (/ -0.7715471019 x) (/ -1 x) 1.0)) (fma (pow (/ -1 x) 6) 0.0694555761 (/ (+ (* 0.0008327945 (/ 1 (pow x 2))) 0.0140005442) (pow x 8))))) 1.324 * [taylor]: Taking taylor expansion of (* 0.0001789971 (/ 2.0 (pow x 12))) in x 1.324 * [taylor]: Taking taylor expansion of 0.0001789971 in x 1.324 * [taylor]: Taking taylor expansion of (/ 2.0 (pow x 12)) in x 1.324 * [taylor]: Taking taylor expansion of 2.0 in x 1.324 * [taylor]: Taking taylor expansion of (pow x 12) in x 1.324 * [taylor]: Taking taylor expansion of x in x 1.325 * [taylor]: Taking taylor expansion of (+ (fma 0.2909738639 (pow (/ -1 x) 4) (fma (/ -0.7715471019 x) (/ -1 x) 1.0)) (fma (pow (/ -1 x) 6) 0.0694555761 (/ (+ (* 0.0008327945 (/ 1 (pow x 2))) 0.0140005442) (pow x 8)))) in x 1.325 * [taylor]: Taking taylor expansion of (fma 0.2909738639 (pow (/ -1 x) 4) (fma (/ -0.7715471019 x) (/ -1 x) 1.0)) in x 1.325 * [taylor]: Rewrote expression to (+ (* 0.2909738639 (pow (/ -1 x) 4)) (fma (/ -0.7715471019 x) (/ -1 x) 1.0)) 1.325 * [taylor]: Taking taylor expansion of (* 0.2909738639 (pow (/ -1 x) 4)) in x 1.325 * [taylor]: Taking taylor expansion of 0.2909738639 in x 1.325 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 4) in x 1.325 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.325 * [taylor]: Taking taylor expansion of -1 in x 1.325 * [taylor]: Taking taylor expansion of x in x 1.326 * [taylor]: Taking taylor expansion of (fma (/ -0.7715471019 x) (/ -1 x) 1.0) in x 1.326 * [taylor]: Rewrote expression to (+ (* (/ -0.7715471019 x) (/ -1 x)) 1.0) 1.326 * [taylor]: Taking taylor expansion of (* (/ -0.7715471019 x) (/ -1 x)) in x 1.326 * [taylor]: Taking taylor expansion of (/ -0.7715471019 x) in x 1.326 * [taylor]: Taking taylor expansion of -0.7715471019 in x 1.326 * [taylor]: Taking taylor expansion of x in x 1.326 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.326 * [taylor]: Taking taylor expansion of -1 in x 1.326 * [taylor]: Taking taylor expansion of x in x 1.326 * [taylor]: Taking taylor expansion of 1.0 in x 1.326 * [taylor]: Taking taylor expansion of (fma (pow (/ -1 x) 6) 0.0694555761 (/ (+ (* 0.0008327945 (/ 1 (pow x 2))) 0.0140005442) (pow x 8))) in x 1.327 * [taylor]: Rewrote expression to (+ (* (pow (/ -1 x) 6) 0.0694555761) (/ (+ (* 0.0008327945 (/ 1 (pow x 2))) 0.0140005442) (pow x 8))) 1.327 * [taylor]: Taking taylor expansion of (* (pow (/ -1 x) 6) 0.0694555761) in x 1.327 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 6) in x 1.327 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.327 * [taylor]: Taking taylor expansion of -1 in x 1.327 * [taylor]: Taking taylor expansion of x in x 1.327 * [taylor]: Taking taylor expansion of 0.0694555761 in x 1.327 * [taylor]: Taking taylor expansion of (/ (+ (* 0.0008327945 (/ 1 (pow x 2))) 0.0140005442) (pow x 8)) in x 1.327 * [taylor]: Taking taylor expansion of (+ (* 0.0008327945 (/ 1 (pow x 2))) 0.0140005442) in x 1.327 * [taylor]: Taking taylor expansion of (* 0.0008327945 (/ 1 (pow x 2))) in x 1.327 * [taylor]: Taking taylor expansion of 0.0008327945 in x 1.327 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.327 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.327 * [taylor]: Taking taylor expansion of x in x 1.328 * [taylor]: Taking taylor expansion of 0.0140005442 in x 1.328 * [taylor]: Taking taylor expansion of (pow x 8) in x 1.328 * [taylor]: Taking taylor expansion of x in x 1.408 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2 2) 1.408 * [approximate]: Taking taylor expansion of (* 0.0001789971 (pow x 2)) in (x) around 0 1.408 * [taylor]: Taking taylor expansion of (* 0.0001789971 (pow x 2)) in x 1.408 * [taylor]: Taking taylor expansion of 0.0001789971 in x 1.408 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.408 * [taylor]: Taking taylor expansion of x in x 1.408 * [taylor]: Taking taylor expansion of (* 0.0001789971 (pow x 2)) in x 1.408 * [taylor]: Taking taylor expansion of 0.0001789971 in x 1.408 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.408 * [taylor]: Taking taylor expansion of x in x 1.416 * [approximate]: Taking taylor expansion of (/ 0.0001789971 (pow x 2)) in (x) around 0 1.416 * [taylor]: Taking taylor expansion of (/ 0.0001789971 (pow x 2)) in x 1.416 * [taylor]: Taking taylor expansion of 0.0001789971 in x 1.416 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.416 * [taylor]: Taking taylor expansion of x in x 1.417 * [taylor]: Taking taylor expansion of (/ 0.0001789971 (pow x 2)) in x 1.417 * [taylor]: Taking taylor expansion of 0.0001789971 in x 1.417 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.417 * [taylor]: Taking taylor expansion of x in x 1.425 * [approximate]: Taking taylor expansion of (/ 0.0001789971 (pow x 2)) in (x) around 0 1.425 * [taylor]: Taking taylor expansion of (/ 0.0001789971 (pow x 2)) in x 1.425 * [taylor]: Taking taylor expansion of 0.0001789971 in x 1.425 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.425 * [taylor]: Taking taylor expansion of x in x 1.425 * [taylor]: Taking taylor expansion of (/ 0.0001789971 (pow x 2)) in x 1.425 * [taylor]: Taking taylor expansion of 0.0001789971 in x 1.425 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.425 * [taylor]: Taking taylor expansion of x in x 1.433 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 3 2 3 2 1) 1.433 * [approximate]: Taking taylor expansion of (* 0.0008327945 (pow x 2)) in (x) around 0 1.433 * [taylor]: Taking taylor expansion of (* 0.0008327945 (pow x 2)) in x 1.433 * [taylor]: Taking taylor expansion of 0.0008327945 in x 1.433 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.433 * [taylor]: Taking taylor expansion of x in x 1.433 * [taylor]: Taking taylor expansion of (* 0.0008327945 (pow x 2)) in x 1.433 * [taylor]: Taking taylor expansion of 0.0008327945 in x 1.433 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.433 * [taylor]: Taking taylor expansion of x in x 1.441 * [approximate]: Taking taylor expansion of (/ 0.0008327945 (pow x 2)) in (x) around 0 1.441 * [taylor]: Taking taylor expansion of (/ 0.0008327945 (pow x 2)) in x 1.441 * [taylor]: Taking taylor expansion of 0.0008327945 in x 1.441 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.441 * [taylor]: Taking taylor expansion of x in x 1.442 * [taylor]: Taking taylor expansion of (/ 0.0008327945 (pow x 2)) in x 1.442 * [taylor]: Taking taylor expansion of 0.0008327945 in x 1.442 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.442 * [taylor]: Taking taylor expansion of x in x 1.449 * [approximate]: Taking taylor expansion of (/ 0.0008327945 (pow x 2)) in (x) around 0 1.450 * [taylor]: Taking taylor expansion of (/ 0.0008327945 (pow x 2)) in x 1.450 * [taylor]: Taking taylor expansion of 0.0008327945 in x 1.450 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.450 * [taylor]: Taking taylor expansion of x in x 1.450 * [taylor]: Taking taylor expansion of (/ 0.0008327945 (pow x 2)) in x 1.450 * [taylor]: Taking taylor expansion of 0.0008327945 in x 1.450 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.450 * [taylor]: Taking taylor expansion of x in x 1.463 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2) 1.463 * [approximate]: Taking taylor expansion of (pow (pow x 2) 6) in (x) around 0 1.463 * [taylor]: Taking taylor expansion of (pow (pow x 2) 6) in x 1.463 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.463 * [taylor]: Taking taylor expansion of x in x 1.463 * [taylor]: Taking taylor expansion of (pow (pow x 2) 6) in x 1.463 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.463 * [taylor]: Taking taylor expansion of x in x 1.478 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 6) in (x) around 0 1.478 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 6) in x 1.478 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.478 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.478 * [taylor]: Taking taylor expansion of x in x 1.479 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 6) in x 1.479 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.479 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.479 * [taylor]: Taking taylor expansion of x in x 1.497 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 6) in (x) around 0 1.497 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 6) in x 1.497 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.497 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.497 * [taylor]: Taking taylor expansion of x in x 1.498 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 6) in x 1.498 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.498 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.498 * [taylor]: Taking taylor expansion of x in x 1.516 * * * [progress]: simplifying candidates 1.518 * [simplify]: Simplifying using # : (expm1 (/ (* (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (fma 0.0072644182 (pow x 6) (fma (pow x 4) 0.0424060604 (fma (* x x) 0.1049934947 1.0)))) x) (fma 0.0001789971 (* 2.0 (pow (* x x) 6)) (+ (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)) (fma (pow x 6) 0.0694555761 (* (pow (* x x) 4) (+ (* (* x x) 0.0008327945) 0.0140005442))))))) (log1p (/ (* (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (fma 0.0072644182 (pow x 6) (fma (pow x 4) 0.0424060604 (fma (* x x) 0.1049934947 1.0)))) x) (fma 0.0001789971 (* 2.0 (pow (* x x) 6)) (+ (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)) (fma (pow x 6) 0.0694555761 (* (pow (* x x) 4) (+ (* (* x x) 0.0008327945) 0.0140005442))))))) (- (+ (log (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (fma 0.0072644182 (pow x 6) (fma (pow x 4) 0.0424060604 (fma (* x x) 0.1049934947 1.0))))) (log x)) (log (fma 0.0001789971 (* 2.0 (pow (* x x) 6)) (+ (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)) (fma (pow x 6) 0.0694555761 (* (pow (* x x) 4) (+ (* (* x x) 0.0008327945) 0.0140005442))))))) (- (log (* (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (fma 0.0072644182 (pow x 6) (fma (pow x 4) 0.0424060604 (fma (* x x) 0.1049934947 1.0)))) x)) (log (fma 0.0001789971 (* 2.0 (pow (* x x) 6)) (+ (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)) (fma (pow x 6) 0.0694555761 (* (pow (* x x) 4) (+ (* (* x x) 0.0008327945) 0.0140005442))))))) (log (/ (* (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (fma 0.0072644182 (pow x 6) (fma (pow x 4) 0.0424060604 (fma (* x x) 0.1049934947 1.0)))) x) (fma 0.0001789971 (* 2.0 (pow (* x x) 6)) (+ (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)) (fma (pow x 6) 0.0694555761 (* (pow (* x x) 4) (+ (* (* x x) 0.0008327945) 0.0140005442))))))) (exp (/ (* (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (fma 0.0072644182 (pow x 6) (fma (pow x 4) 0.0424060604 (fma (* x x) 0.1049934947 1.0)))) x) (fma 0.0001789971 (* 2.0 (pow (* x x) 6)) (+ (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)) (fma (pow x 6) 0.0694555761 (* (pow (* x x) 4) (+ (* (* x x) 0.0008327945) 0.0140005442))))))) (/ (* (* (* (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (fma 0.0072644182 (pow x 6) (fma (pow x 4) 0.0424060604 (fma (* x x) 0.1049934947 1.0)))) (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (fma 0.0072644182 (pow x 6) (fma (pow x 4) 0.0424060604 (fma (* x x) 0.1049934947 1.0))))) (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (fma 0.0072644182 (pow x 6) (fma (pow x 4) 0.0424060604 (fma (* x x) 0.1049934947 1.0))))) (* (* x x) x)) (* (* (fma 0.0001789971 (* 2.0 (pow (* x x) 6)) (+ (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)) (fma (pow x 6) 0.0694555761 (* (pow (* x x) 4) (+ (* (* x x) 0.0008327945) 0.0140005442))))) (fma 0.0001789971 (* 2.0 (pow (* x x) 6)) (+ (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)) (fma (pow x 6) 0.0694555761 (* (pow (* x x) 4) (+ (* (* x x) 0.0008327945) 0.0140005442)))))) (fma 0.0001789971 (* 2.0 (pow (* x x) 6)) (+ (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)) (fma (pow x 6) 0.0694555761 (* (pow (* x x) 4) (+ (* (* x x) 0.0008327945) 0.0140005442))))))) (/ (* (* (* (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (fma 0.0072644182 (pow x 6) (fma (pow x 4) 0.0424060604 (fma (* x x) 0.1049934947 1.0)))) x) (* (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (fma 0.0072644182 (pow x 6) (fma (pow x 4) 0.0424060604 (fma (* x x) 0.1049934947 1.0)))) x)) (* (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (fma 0.0072644182 (pow x 6) (fma (pow x 4) 0.0424060604 (fma (* x x) 0.1049934947 1.0)))) x)) (* (* (fma 0.0001789971 (* 2.0 (pow (* x x) 6)) (+ (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)) (fma (pow x 6) 0.0694555761 (* (pow (* x x) 4) (+ (* (* x x) 0.0008327945) 0.0140005442))))) (fma 0.0001789971 (* 2.0 (pow (* x x) 6)) (+ (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)) (fma (pow x 6) 0.0694555761 (* (pow (* x x) 4) (+ (* (* x x) 0.0008327945) 0.0140005442)))))) (fma 0.0001789971 (* 2.0 (pow (* x x) 6)) (+ (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)) (fma (pow x 6) 0.0694555761 (* (pow (* x x) 4) (+ (* (* x x) 0.0008327945) 0.0140005442))))))) (* (cbrt (/ (* (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (fma 0.0072644182 (pow x 6) (fma (pow x 4) 0.0424060604 (fma (* x x) 0.1049934947 1.0)))) x) (fma 0.0001789971 (* 2.0 (pow (* x x) 6)) (+ (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)) (fma (pow x 6) 0.0694555761 (* (pow (* x x) 4) (+ (* (* x x) 0.0008327945) 0.0140005442))))))) (cbrt (/ (* (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (fma 0.0072644182 (pow x 6) (fma (pow x 4) 0.0424060604 (fma (* x x) 0.1049934947 1.0)))) x) (fma 0.0001789971 (* 2.0 (pow (* x x) 6)) (+ (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)) (fma (pow x 6) 0.0694555761 (* (pow (* x x) 4) (+ (* (* x x) 0.0008327945) 0.0140005442)))))))) (cbrt (/ (* (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (fma 0.0072644182 (pow x 6) (fma (pow x 4) 0.0424060604 (fma (* x x) 0.1049934947 1.0)))) x) (fma 0.0001789971 (* 2.0 (pow (* x x) 6)) (+ (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)) (fma (pow x 6) 0.0694555761 (* (pow (* x x) 4) (+ (* (* x x) 0.0008327945) 0.0140005442))))))) (* (* (/ (* (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (fma 0.0072644182 (pow x 6) (fma (pow x 4) 0.0424060604 (fma (* x x) 0.1049934947 1.0)))) x) (fma 0.0001789971 (* 2.0 (pow (* x x) 6)) (+ (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)) (fma (pow x 6) 0.0694555761 (* (pow (* x x) 4) (+ (* (* x x) 0.0008327945) 0.0140005442)))))) (/ (* (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (fma 0.0072644182 (pow x 6) (fma (pow x 4) 0.0424060604 (fma (* x x) 0.1049934947 1.0)))) x) (fma 0.0001789971 (* 2.0 (pow (* x x) 6)) (+ (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)) (fma (pow x 6) 0.0694555761 (* (pow (* x x) 4) (+ (* (* x x) 0.0008327945) 0.0140005442))))))) (/ (* (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (fma 0.0072644182 (pow x 6) (fma (pow x 4) 0.0424060604 (fma (* x x) 0.1049934947 1.0)))) x) (fma 0.0001789971 (* 2.0 (pow (* x x) 6)) (+ (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)) (fma (pow x 6) 0.0694555761 (* (pow (* x x) 4) (+ (* (* x x) 0.0008327945) 0.0140005442))))))) (sqrt (/ (* (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (fma 0.0072644182 (pow x 6) (fma (pow x 4) 0.0424060604 (fma (* x x) 0.1049934947 1.0)))) x) (fma 0.0001789971 (* 2.0 (pow (* x x) 6)) (+ (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)) (fma (pow x 6) 0.0694555761 (* (pow (* x x) 4) (+ (* (* x x) 0.0008327945) 0.0140005442))))))) (sqrt (/ (* (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (fma 0.0072644182 (pow x 6) (fma (pow x 4) 0.0424060604 (fma (* x x) 0.1049934947 1.0)))) x) (fma 0.0001789971 (* 2.0 (pow (* x x) 6)) (+ (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)) (fma (pow x 6) 0.0694555761 (* (pow (* x x) 4) (+ (* (* x x) 0.0008327945) 0.0140005442))))))) (- (* (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (fma 0.0072644182 (pow x 6) (fma (pow x 4) 0.0424060604 (fma (* x x) 0.1049934947 1.0)))) x)) (- (fma 0.0001789971 (* 2.0 (pow (* x x) 6)) (+ (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)) (fma (pow x 6) 0.0694555761 (* (pow (* x x) 4) (+ (* (* x x) 0.0008327945) 0.0140005442)))))) (/ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (fma 0.0072644182 (pow x 6) (fma (pow x 4) 0.0424060604 (fma (* x x) 0.1049934947 1.0)))) (* (cbrt (fma 0.0001789971 (* 2.0 (pow (* x x) 6)) (+ (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)) (fma (pow x 6) 0.0694555761 (* (pow (* x x) 4) (+ (* (* x x) 0.0008327945) 0.0140005442)))))) (cbrt (fma 0.0001789971 (* 2.0 (pow (* x x) 6)) (+ (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)) (fma (pow x 6) 0.0694555761 (* (pow (* x x) 4) (+ (* (* x x) 0.0008327945) 0.0140005442)))))))) (/ x (cbrt (fma 0.0001789971 (* 2.0 (pow (* x x) 6)) (+ (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)) (fma (pow x 6) 0.0694555761 (* (pow (* x x) 4) (+ (* (* x x) 0.0008327945) 0.0140005442))))))) (/ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (fma 0.0072644182 (pow x 6) (fma (pow x 4) 0.0424060604 (fma (* x x) 0.1049934947 1.0)))) (sqrt (fma 0.0001789971 (* 2.0 (pow (* x x) 6)) (+ (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)) (fma (pow x 6) 0.0694555761 (* (pow (* x x) 4) (+ (* (* x x) 0.0008327945) 0.0140005442))))))) (/ x (sqrt (fma 0.0001789971 (* 2.0 (pow (* x x) 6)) (+ (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)) (fma (pow x 6) 0.0694555761 (* (pow (* x x) 4) (+ (* (* x x) 0.0008327945) 0.0140005442))))))) (/ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (fma 0.0072644182 (pow x 6) (fma (pow x 4) 0.0424060604 (fma (* x x) 0.1049934947 1.0)))) 1) (/ x (fma 0.0001789971 (* 2.0 (pow (* x x) 6)) (+ (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)) (fma (pow x 6) 0.0694555761 (* (pow (* x x) 4) (+ (* (* x x) 0.0008327945) 0.0140005442)))))) (/ 1 (fma 0.0001789971 (* 2.0 (pow (* x x) 6)) (+ (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)) (fma (pow x 6) 0.0694555761 (* (pow (* x x) 4) (+ (* (* x x) 0.0008327945) 0.0140005442)))))) (/ (fma 0.0001789971 (* 2.0 (pow (* x x) 6)) (+ (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)) (fma (pow x 6) 0.0694555761 (* (pow (* x x) 4) (+ (* (* x x) 0.0008327945) 0.0140005442))))) (* (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (fma 0.0072644182 (pow x 6) (fma (pow x 4) 0.0424060604 (fma (* x x) 0.1049934947 1.0)))) x)) (/ (* (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (fma 0.0072644182 (pow x 6) (fma (pow x 4) 0.0424060604 (fma (* x x) 0.1049934947 1.0)))) x) (* (cbrt (fma 0.0001789971 (* 2.0 (pow (* x x) 6)) (+ (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)) (fma (pow x 6) 0.0694555761 (* (pow (* x x) 4) (+ (* (* x x) 0.0008327945) 0.0140005442)))))) (cbrt (fma 0.0001789971 (* 2.0 (pow (* x x) 6)) (+ (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)) (fma (pow x 6) 0.0694555761 (* (pow (* x x) 4) (+ (* (* x x) 0.0008327945) 0.0140005442)))))))) (/ (* (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (fma 0.0072644182 (pow x 6) (fma (pow x 4) 0.0424060604 (fma (* x x) 0.1049934947 1.0)))) x) (sqrt (fma 0.0001789971 (* 2.0 (pow (* x x) 6)) (+ (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)) (fma (pow x 6) 0.0694555761 (* (pow (* x x) 4) (+ (* (* x x) 0.0008327945) 0.0140005442))))))) (/ (* (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (fma 0.0072644182 (pow x 6) (fma (pow x 4) 0.0424060604 (fma (* x x) 0.1049934947 1.0)))) x) 1) (/ (fma 0.0001789971 (* 2.0 (pow (* x x) 6)) (+ (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)) (fma (pow x 6) 0.0694555761 (* (pow (* x x) 4) (+ (* (* x x) 0.0008327945) 0.0140005442))))) x) (* (fma 0.0001789971 (* 2.0 (pow (* x x) 6)) (+ (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)) (fma (pow x 6) 0.0694555761 (* (pow (* x x) 4) (+ (* (* x x) 0.0008327945) 0.0140005442))))) (+ (* (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971)))) (- (* (fma 0.0072644182 (pow x 6) (fma (pow x 4) 0.0424060604 (fma (* x x) 0.1049934947 1.0))) (fma 0.0072644182 (pow x 6) (fma (pow x 4) 0.0424060604 (fma (* x x) 0.1049934947 1.0)))) (* (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (fma 0.0072644182 (pow x 6) (fma (pow x 4) 0.0424060604 (fma (* x x) 0.1049934947 1.0))))))) (* (fma 0.0001789971 (* 2.0 (pow (* x x) 6)) (+ (fma 0.2909738639 (pow x 4) (fma (* 0.7715471019 x) x 1.0)) (fma (pow x 6) 0.0694555761 (* (pow (* x x) 4) (+ (* (* x x) 0.0008327945) 0.0140005442))))) (- (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (fma 0.0072644182 (pow x 6) (fma (pow x 4) 0.0424060604 (fma (* x x) 0.1049934947 1.0))))) (expm1 (* (* x x) 0.0001789971)) (log1p (* (* x x) 0.0001789971)) (* (* 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) (expm1 (* (* x x) 0.0008327945)) (log1p (* (* x x) 0.0008327945)) (* (* 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) (expm1 (pow (* x x) 6)) (log1p (pow (* x x) 6)) (* (+ (log x) (log x)) 6) (* (log (* x x)) 6) (* (log (* x x)) 6) (* (+ 1 1) 6) (* 1 6) (* 2 6) (* (+ 1 1) 6) (* 1 6) (* (* 2 1) 6) (pow (* x x) (* (cbrt 6) (cbrt 6))) (pow (* x x) (sqrt 6)) (pow (* x x) 1) (pow x 6) (pow x 6) (log (pow (* x x) 6)) (exp (pow (* x x) 6)) (* (cbrt (pow (* x x) 6)) (cbrt (pow (* x x) 6))) (cbrt (pow (* x x) 6)) (* (* (pow (* x x) 6) (pow (* x x) 6)) (pow (* x x) 6)) (sqrt (pow (* x x) 6)) (sqrt (pow (* x x) 6)) (pow (* x x) (/ 6 2)) (pow (* x x) (/ 6 2)) (- (+ (* 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)) (pow x 12) (pow x 12) (pow x 12) 1.525 * * [simplify]: iteration 0 : 196 enodes (cost 3026 ) 1.566 * * [simplify]: iteration 1 : 498 enodes (cost 2870 )