47.698 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.022 * * * [progress]: [2/2] Setting up program. 0.025 * [progress]: [Phase 2 of 3] Improving. 0.025 * [simplify]: Simplifying using # : (+ x (/ (* y (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525)) (+ (* (+ z 6.012459259764103) z) 3.350343815022304))) 0.028 * * [simplify]: iteration 0 : 38 enodes (cost 7 ) 0.029 * * [simplify]: iteration 1 : 72 enodes (cost 7 ) 0.031 * * [simplify]: iteration 2 : 167 enodes (cost 6 ) 0.034 * * [simplify]: iteration 3 : 354 enodes (cost 6 ) 0.039 * * [simplify]: iteration 4 : 646 enodes (cost 6 ) 0.045 * * [simplify]: iteration 5 : 921 enodes (cost 6 ) 0.052 * * [simplify]: iteration 6 : 1060 enodes (cost 6 ) 0.061 * * [simplify]: iteration 7 : 1331 enodes (cost 6 ) 0.074 * * [simplify]: iteration 8 : 1792 enodes (cost 6 ) 0.085 * * [simplify]: iteration 9 : 1860 enodes (cost 6 ) 0.096 * * [simplify]: iteration 10 : 1861 enodes (cost 6 ) 0.107 * * [simplify]: iteration 11 : 1861 enodes (cost 6 ) 0.108 * [simplify]: Simplified to: (fma (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) x) 0.112 * * [progress]: iteration 1 / 4 0.112 * * * [progress]: picking best candidate 0.117 * * * * [pick]: Picked # 0.117 * * * [progress]: localizing error 0.134 * * * [progress]: generating rewritten candidates 0.134 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 0.135 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 0.137 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 0.138 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 0.138 * * * [progress]: generating series expansions 0.138 * * * * [progress]: [ 1 / 4 ] generating series at (2) 0.139 * [approximate]: Taking taylor expansion of (fma (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) x) in (y z x) around 0 0.139 * [taylor]: Taking taylor expansion of (fma (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) x) in x 0.139 * [taylor]: Rewrote expression to (+ (* (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525)) x) 0.139 * [taylor]: Taking taylor expansion of (* (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525)) in x 0.139 * [taylor]: Taking taylor expansion of (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) in x 0.139 * [taylor]: Taking taylor expansion of y in x 0.139 * [taylor]: Taking taylor expansion of (fma (+ z 6.012459259764103) z 3.350343815022304) in x 0.139 * [taylor]: Rewrote expression to (+ (* (+ z 6.012459259764103) z) 3.350343815022304) 0.139 * [taylor]: Taking taylor expansion of (* (+ z 6.012459259764103) z) in x 0.139 * [taylor]: Taking taylor expansion of (+ z 6.012459259764103) in x 0.139 * [taylor]: Taking taylor expansion of z in x 0.139 * [taylor]: Taking taylor expansion of 6.012459259764103 in x 0.139 * [taylor]: Taking taylor expansion of z in x 0.139 * [taylor]: Taking taylor expansion of 3.350343815022304 in x 0.139 * [taylor]: Taking taylor expansion of (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) in x 0.140 * [taylor]: Rewrote expression to (+ (* (fma z 0.0692910599291889 0.4917317610505968) z) 0.279195317918525) 0.140 * [taylor]: Taking taylor expansion of (* (fma z 0.0692910599291889 0.4917317610505968) z) in x 0.140 * [taylor]: Taking taylor expansion of (fma z 0.0692910599291889 0.4917317610505968) in x 0.140 * [taylor]: Rewrote expression to (+ (* z 0.0692910599291889) 0.4917317610505968) 0.140 * [taylor]: Taking taylor expansion of (* z 0.0692910599291889) in x 0.140 * [taylor]: Taking taylor expansion of z in x 0.140 * [taylor]: Taking taylor expansion of 0.0692910599291889 in x 0.140 * [taylor]: Taking taylor expansion of 0.4917317610505968 in x 0.140 * [taylor]: Taking taylor expansion of z in x 0.140 * [taylor]: Taking taylor expansion of 0.279195317918525 in x 0.140 * [taylor]: Taking taylor expansion of x in x 0.140 * [taylor]: Taking taylor expansion of (fma (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) x) in z 0.140 * [taylor]: Rewrote expression to (+ (* (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525)) x) 0.140 * [taylor]: Taking taylor expansion of (* (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525)) in z 0.140 * [taylor]: Taking taylor expansion of (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) in z 0.140 * [taylor]: Taking taylor expansion of y in z 0.140 * [taylor]: Taking taylor expansion of (fma (+ z 6.012459259764103) z 3.350343815022304) in z 0.140 * [taylor]: Rewrote expression to (+ (* (+ z 6.012459259764103) z) 3.350343815022304) 0.140 * [taylor]: Taking taylor expansion of (* (+ z 6.012459259764103) z) in z 0.140 * [taylor]: Taking taylor expansion of (+ z 6.012459259764103) in z 0.140 * [taylor]: Taking taylor expansion of z in z 0.140 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 0.140 * [taylor]: Taking taylor expansion of z in z 0.140 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 0.142 * [taylor]: Taking taylor expansion of (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) in z 0.142 * [taylor]: Rewrote expression to (+ (* (fma z 0.0692910599291889 0.4917317610505968) z) 0.279195317918525) 0.142 * [taylor]: Taking taylor expansion of (* (fma z 0.0692910599291889 0.4917317610505968) z) in z 0.142 * [taylor]: Taking taylor expansion of (fma z 0.0692910599291889 0.4917317610505968) in z 0.142 * [taylor]: Rewrote expression to (+ (* z 0.0692910599291889) 0.4917317610505968) 0.142 * [taylor]: Taking taylor expansion of (* z 0.0692910599291889) in z 0.142 * [taylor]: Taking taylor expansion of z in z 0.142 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 0.142 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 0.142 * [taylor]: Taking taylor expansion of z in z 0.142 * [taylor]: Taking taylor expansion of 0.279195317918525 in z 0.142 * [taylor]: Taking taylor expansion of x in z 0.142 * [taylor]: Taking taylor expansion of (fma (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) x) in y 0.142 * [taylor]: Rewrote expression to (+ (* (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525)) x) 0.142 * [taylor]: Taking taylor expansion of (* (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525)) in y 0.142 * [taylor]: Taking taylor expansion of (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) in y 0.142 * [taylor]: Taking taylor expansion of y in y 0.142 * [taylor]: Taking taylor expansion of (fma (+ z 6.012459259764103) z 3.350343815022304) in y 0.142 * [taylor]: Rewrote expression to (+ (* (+ z 6.012459259764103) z) 3.350343815022304) 0.142 * [taylor]: Taking taylor expansion of (* (+ z 6.012459259764103) z) in y 0.142 * [taylor]: Taking taylor expansion of (+ z 6.012459259764103) in y 0.142 * [taylor]: Taking taylor expansion of z in y 0.142 * [taylor]: Taking taylor expansion of 6.012459259764103 in y 0.142 * [taylor]: Taking taylor expansion of z in y 0.142 * [taylor]: Taking taylor expansion of 3.350343815022304 in y 0.143 * [taylor]: Taking taylor expansion of (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) in y 0.143 * [taylor]: Rewrote expression to (+ (* (fma z 0.0692910599291889 0.4917317610505968) z) 0.279195317918525) 0.143 * [taylor]: Taking taylor expansion of (* (fma z 0.0692910599291889 0.4917317610505968) z) in y 0.143 * [taylor]: Taking taylor expansion of (fma z 0.0692910599291889 0.4917317610505968) in y 0.143 * [taylor]: Rewrote expression to (+ (* z 0.0692910599291889) 0.4917317610505968) 0.143 * [taylor]: Taking taylor expansion of (* z 0.0692910599291889) in y 0.143 * [taylor]: Taking taylor expansion of z in y 0.143 * [taylor]: Taking taylor expansion of 0.0692910599291889 in y 0.143 * [taylor]: Taking taylor expansion of 0.4917317610505968 in y 0.143 * [taylor]: Taking taylor expansion of z in y 0.143 * [taylor]: Taking taylor expansion of 0.279195317918525 in y 0.143 * [taylor]: Taking taylor expansion of x in y 0.143 * [taylor]: Taking taylor expansion of (fma (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) x) in y 0.143 * [taylor]: Rewrote expression to (+ (* (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525)) x) 0.143 * [taylor]: Taking taylor expansion of (* (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525)) in y 0.143 * [taylor]: Taking taylor expansion of (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) in y 0.143 * [taylor]: Taking taylor expansion of y in y 0.143 * [taylor]: Taking taylor expansion of (fma (+ z 6.012459259764103) z 3.350343815022304) in y 0.143 * [taylor]: Rewrote expression to (+ (* (+ z 6.012459259764103) z) 3.350343815022304) 0.143 * [taylor]: Taking taylor expansion of (* (+ z 6.012459259764103) z) in y 0.143 * [taylor]: Taking taylor expansion of (+ z 6.012459259764103) in y 0.143 * [taylor]: Taking taylor expansion of z in y 0.143 * [taylor]: Taking taylor expansion of 6.012459259764103 in y 0.143 * [taylor]: Taking taylor expansion of z in y 0.144 * [taylor]: Taking taylor expansion of 3.350343815022304 in y 0.144 * [taylor]: Taking taylor expansion of (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) in y 0.144 * [taylor]: Rewrote expression to (+ (* (fma z 0.0692910599291889 0.4917317610505968) z) 0.279195317918525) 0.144 * [taylor]: Taking taylor expansion of (* (fma z 0.0692910599291889 0.4917317610505968) z) in y 0.144 * [taylor]: Taking taylor expansion of (fma z 0.0692910599291889 0.4917317610505968) in y 0.144 * [taylor]: Rewrote expression to (+ (* z 0.0692910599291889) 0.4917317610505968) 0.144 * [taylor]: Taking taylor expansion of (* z 0.0692910599291889) in y 0.144 * [taylor]: Taking taylor expansion of z in y 0.144 * [taylor]: Taking taylor expansion of 0.0692910599291889 in y 0.144 * [taylor]: Taking taylor expansion of 0.4917317610505968 in y 0.144 * [taylor]: Taking taylor expansion of z in y 0.144 * [taylor]: Taking taylor expansion of 0.279195317918525 in y 0.144 * [taylor]: Taking taylor expansion of x in y 0.144 * [taylor]: Taking taylor expansion of x in z 0.144 * [taylor]: Taking taylor expansion of x in x 0.145 * [taylor]: Taking taylor expansion of (+ (* 0.0692910599291889 (/ (pow z 2) (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304)))) (+ (* 0.279195317918525 (/ 1 (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304)))) (* 0.4917317610505968 (/ z (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304)))))) in z 0.145 * [taylor]: Taking taylor expansion of (* 0.0692910599291889 (/ (pow z 2) (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304)))) in z 0.145 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 0.145 * [taylor]: Taking taylor expansion of (/ (pow z 2) (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304))) in z 0.145 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.145 * [taylor]: Taking taylor expansion of z in z 0.145 * [taylor]: Taking taylor expansion of (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304)) in z 0.145 * [taylor]: Taking taylor expansion of (* 6.012459259764103 z) in z 0.145 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 0.145 * [taylor]: Taking taylor expansion of z in z 0.145 * [taylor]: Taking taylor expansion of (+ (pow z 2) 3.350343815022304) in z 0.145 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.145 * [taylor]: Taking taylor expansion of z in z 0.145 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 0.147 * [taylor]: Taking taylor expansion of (+ (* 0.279195317918525 (/ 1 (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304)))) (* 0.4917317610505968 (/ z (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304))))) in z 0.147 * [taylor]: Taking taylor expansion of (* 0.279195317918525 (/ 1 (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304)))) in z 0.147 * [taylor]: Taking taylor expansion of 0.279195317918525 in z 0.147 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304))) in z 0.147 * [taylor]: Taking taylor expansion of (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304)) in z 0.147 * [taylor]: Taking taylor expansion of (* 6.012459259764103 z) in z 0.147 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 0.147 * [taylor]: Taking taylor expansion of z in z 0.147 * [taylor]: Taking taylor expansion of (+ (pow z 2) 3.350343815022304) in z 0.147 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.147 * [taylor]: Taking taylor expansion of z in z 0.147 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 0.148 * [taylor]: Taking taylor expansion of (* 0.4917317610505968 (/ z (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304)))) in z 0.148 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 0.148 * [taylor]: Taking taylor expansion of (/ z (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304))) in z 0.148 * [taylor]: Taking taylor expansion of z in z 0.148 * [taylor]: Taking taylor expansion of (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304)) in z 0.148 * [taylor]: Taking taylor expansion of (* 6.012459259764103 z) in z 0.148 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 0.148 * [taylor]: Taking taylor expansion of z in z 0.148 * [taylor]: Taking taylor expansion of (+ (pow z 2) 3.350343815022304) in z 0.148 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.148 * [taylor]: Taking taylor expansion of z in z 0.148 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 0.150 * [taylor]: Taking taylor expansion of 0.08333333333333322 in x 0.150 * [taylor]: Taking taylor expansion of 0 in x 0.152 * [taylor]: Taking taylor expansion of 0 in z 0.152 * [taylor]: Taking taylor expansion of 0 in x 0.158 * [taylor]: Taking taylor expansion of (- 0.0027777777775171986) in x 0.158 * [taylor]: Taking taylor expansion of 0.0027777777775171986 in x 0.159 * [approximate]: Taking taylor expansion of (fma (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) (fma (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z) 0.279195317918525) (/ 1 x)) in (y z x) around 0 0.159 * [taylor]: Taking taylor expansion of (fma (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) (fma (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z) 0.279195317918525) (/ 1 x)) in x 0.159 * [taylor]: Rewrote expression to (+ (* (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) (fma (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z) 0.279195317918525)) (/ 1 x)) 0.159 * [taylor]: Taking taylor expansion of (* (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) (fma (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z) 0.279195317918525)) in x 0.159 * [taylor]: Taking taylor expansion of (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) in x 0.159 * [taylor]: Taking taylor expansion of (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y) in x 0.159 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) in x 0.159 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) 3.350343815022304) 0.159 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) in x 0.159 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 6.012459259764103) in x 0.159 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.159 * [taylor]: Taking taylor expansion of z in x 0.159 * [taylor]: Taking taylor expansion of 6.012459259764103 in x 0.159 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.159 * [taylor]: Taking taylor expansion of z in x 0.159 * [taylor]: Taking taylor expansion of 3.350343815022304 in x 0.160 * [taylor]: Taking taylor expansion of y in x 0.160 * [taylor]: Taking taylor expansion of (fma (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z) 0.279195317918525) in x 0.160 * [taylor]: Rewrote expression to (+ (* (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z)) 0.279195317918525) 0.160 * [taylor]: Taking taylor expansion of (* (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z)) in x 0.160 * [taylor]: Taking taylor expansion of (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) in x 0.160 * [taylor]: Rewrote expression to (+ (* (/ 1 z) 0.0692910599291889) 0.4917317610505968) 0.160 * [taylor]: Taking taylor expansion of (* (/ 1 z) 0.0692910599291889) in x 0.160 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.160 * [taylor]: Taking taylor expansion of z in x 0.160 * [taylor]: Taking taylor expansion of 0.0692910599291889 in x 0.160 * [taylor]: Taking taylor expansion of 0.4917317610505968 in x 0.160 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.160 * [taylor]: Taking taylor expansion of z in x 0.160 * [taylor]: Taking taylor expansion of 0.279195317918525 in x 0.160 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.160 * [taylor]: Taking taylor expansion of x in x 0.161 * [taylor]: Taking taylor expansion of (fma (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) (fma (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z) 0.279195317918525) (/ 1 x)) in z 0.161 * [taylor]: Rewrote expression to (+ (* (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) (fma (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z) 0.279195317918525)) (/ 1 x)) 0.161 * [taylor]: Taking taylor expansion of (* (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) (fma (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z) 0.279195317918525)) in z 0.161 * [taylor]: Taking taylor expansion of (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) in z 0.161 * [taylor]: Taking taylor expansion of (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y) in z 0.161 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) in z 0.161 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) 3.350343815022304) 0.161 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) in z 0.161 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 6.012459259764103) in z 0.161 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.161 * [taylor]: Taking taylor expansion of z in z 0.161 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 0.161 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.161 * [taylor]: Taking taylor expansion of z in z 0.162 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 0.162 * [taylor]: Taking taylor expansion of y in z 0.163 * [taylor]: Taking taylor expansion of (fma (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z) 0.279195317918525) in z 0.163 * [taylor]: Rewrote expression to (+ (* (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z)) 0.279195317918525) 0.163 * [taylor]: Taking taylor expansion of (* (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z)) in z 0.163 * [taylor]: Taking taylor expansion of (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) in z 0.163 * [taylor]: Rewrote expression to (+ (* (/ 1 z) 0.0692910599291889) 0.4917317610505968) 0.163 * [taylor]: Taking taylor expansion of (* (/ 1 z) 0.0692910599291889) in z 0.163 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.163 * [taylor]: Taking taylor expansion of z in z 0.163 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 0.163 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 0.163 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.163 * [taylor]: Taking taylor expansion of z in z 0.164 * [taylor]: Taking taylor expansion of 0.279195317918525 in z 0.164 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.164 * [taylor]: Taking taylor expansion of x in z 0.164 * [taylor]: Taking taylor expansion of (fma (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) (fma (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z) 0.279195317918525) (/ 1 x)) in y 0.164 * [taylor]: Rewrote expression to (+ (* (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) (fma (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z) 0.279195317918525)) (/ 1 x)) 0.164 * [taylor]: Taking taylor expansion of (* (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) (fma (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z) 0.279195317918525)) in y 0.164 * [taylor]: Taking taylor expansion of (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) in y 0.164 * [taylor]: Taking taylor expansion of (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y) in y 0.164 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) in y 0.164 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) 3.350343815022304) 0.164 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) in y 0.164 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 6.012459259764103) in y 0.164 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.164 * [taylor]: Taking taylor expansion of z in y 0.164 * [taylor]: Taking taylor expansion of 6.012459259764103 in y 0.164 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.164 * [taylor]: Taking taylor expansion of z in y 0.164 * [taylor]: Taking taylor expansion of 3.350343815022304 in y 0.164 * [taylor]: Taking taylor expansion of y in y 0.166 * [taylor]: Taking taylor expansion of (fma (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z) 0.279195317918525) in y 0.166 * [taylor]: Rewrote expression to (+ (* (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z)) 0.279195317918525) 0.166 * [taylor]: Taking taylor expansion of (* (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z)) in y 0.166 * [taylor]: Taking taylor expansion of (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) in y 0.166 * [taylor]: Rewrote expression to (+ (* (/ 1 z) 0.0692910599291889) 0.4917317610505968) 0.166 * [taylor]: Taking taylor expansion of (* (/ 1 z) 0.0692910599291889) in y 0.166 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.166 * [taylor]: Taking taylor expansion of z in y 0.166 * [taylor]: Taking taylor expansion of 0.0692910599291889 in y 0.166 * [taylor]: Taking taylor expansion of 0.4917317610505968 in y 0.166 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.166 * [taylor]: Taking taylor expansion of z in y 0.166 * [taylor]: Taking taylor expansion of 0.279195317918525 in y 0.166 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.166 * [taylor]: Taking taylor expansion of x in y 0.166 * [taylor]: Taking taylor expansion of (fma (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) (fma (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z) 0.279195317918525) (/ 1 x)) in y 0.166 * [taylor]: Rewrote expression to (+ (* (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) (fma (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z) 0.279195317918525)) (/ 1 x)) 0.166 * [taylor]: Taking taylor expansion of (* (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) (fma (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z) 0.279195317918525)) in y 0.166 * [taylor]: Taking taylor expansion of (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) in y 0.166 * [taylor]: Taking taylor expansion of (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y) in y 0.166 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) in y 0.167 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) 3.350343815022304) 0.167 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) in y 0.167 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 6.012459259764103) in y 0.167 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.167 * [taylor]: Taking taylor expansion of z in y 0.167 * [taylor]: Taking taylor expansion of 6.012459259764103 in y 0.167 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.167 * [taylor]: Taking taylor expansion of z in y 0.167 * [taylor]: Taking taylor expansion of 3.350343815022304 in y 0.167 * [taylor]: Taking taylor expansion of y in y 0.168 * [taylor]: Taking taylor expansion of (fma (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z) 0.279195317918525) in y 0.168 * [taylor]: Rewrote expression to (+ (* (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z)) 0.279195317918525) 0.168 * [taylor]: Taking taylor expansion of (* (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z)) in y 0.168 * [taylor]: Taking taylor expansion of (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) in y 0.169 * [taylor]: Rewrote expression to (+ (* (/ 1 z) 0.0692910599291889) 0.4917317610505968) 0.169 * [taylor]: Taking taylor expansion of (* (/ 1 z) 0.0692910599291889) in y 0.169 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.169 * [taylor]: Taking taylor expansion of z in y 0.169 * [taylor]: Taking taylor expansion of 0.0692910599291889 in y 0.169 * [taylor]: Taking taylor expansion of 0.4917317610505968 in y 0.169 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.169 * [taylor]: Taking taylor expansion of z in y 0.169 * [taylor]: Taking taylor expansion of 0.279195317918525 in y 0.169 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.169 * [taylor]: Taking taylor expansion of x in y 0.170 * [taylor]: Taking taylor expansion of (+ (* 0.279195317918525 (/ 1 (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304)))) (+ (* 0.4917317610505968 (/ 1 (* z (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304))))) (* 0.0692910599291889 (/ 1 (* (pow z 2) (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304))))))) in z 0.170 * [taylor]: Taking taylor expansion of (* 0.279195317918525 (/ 1 (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304)))) in z 0.170 * [taylor]: Taking taylor expansion of 0.279195317918525 in z 0.170 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304))) in z 0.170 * [taylor]: Taking taylor expansion of (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304)) in z 0.170 * [taylor]: Taking taylor expansion of (* 6.012459259764103 (/ 1 z)) in z 0.170 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 0.170 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.170 * [taylor]: Taking taylor expansion of z in z 0.170 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 3.350343815022304) in z 0.170 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 0.170 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.170 * [taylor]: Taking taylor expansion of z in z 0.171 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 0.171 * [taylor]: Taking taylor expansion of (+ (* 0.4917317610505968 (/ 1 (* z (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304))))) (* 0.0692910599291889 (/ 1 (* (pow z 2) (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304)))))) in z 0.171 * [taylor]: Taking taylor expansion of (* 0.4917317610505968 (/ 1 (* z (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304))))) in z 0.172 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 0.172 * [taylor]: Taking taylor expansion of (/ 1 (* z (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304)))) in z 0.172 * [taylor]: Taking taylor expansion of (* z (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304))) in z 0.172 * [taylor]: Taking taylor expansion of z in z 0.172 * [taylor]: Taking taylor expansion of (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304)) in z 0.172 * [taylor]: Taking taylor expansion of (* 6.012459259764103 (/ 1 z)) in z 0.172 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 0.172 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.172 * [taylor]: Taking taylor expansion of z in z 0.172 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 3.350343815022304) in z 0.172 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 0.172 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.172 * [taylor]: Taking taylor expansion of z in z 0.172 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 0.175 * [taylor]: Taking taylor expansion of (* 0.0692910599291889 (/ 1 (* (pow z 2) (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304))))) in z 0.175 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 0.175 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304)))) in z 0.175 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304))) in z 0.175 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.175 * [taylor]: Taking taylor expansion of z in z 0.175 * [taylor]: Taking taylor expansion of (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304)) in z 0.175 * [taylor]: Taking taylor expansion of (* 6.012459259764103 (/ 1 z)) in z 0.175 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 0.175 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.175 * [taylor]: Taking taylor expansion of z in z 0.176 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 3.350343815022304) in z 0.176 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 0.176 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.176 * [taylor]: Taking taylor expansion of z in z 0.176 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 0.178 * [taylor]: Taking taylor expansion of 0.0692910599291889 in x 0.181 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.181 * [taylor]: Taking taylor expansion of x in z 0.182 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.182 * [taylor]: Taking taylor expansion of x in x 0.188 * [taylor]: Taking taylor expansion of 0.07512208616047561 in x 0.193 * [taylor]: Taking taylor expansion of 0 in z 0.193 * [taylor]: Taking taylor expansion of 0 in x 0.193 * [taylor]: Taking taylor expansion of 0 in x 0.213 * [taylor]: Taking taylor expansion of (- 0.40462203869992125) in x 0.213 * [taylor]: Taking taylor expansion of 0.40462203869992125 in x 0.214 * [approximate]: Taking taylor expansion of (fma (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) (fma (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z) 0.279195317918525) (/ -1 x)) in (y z x) around 0 0.214 * [taylor]: Taking taylor expansion of (fma (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) (fma (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z) 0.279195317918525) (/ -1 x)) in x 0.215 * [taylor]: Rewrote expression to (+ (* (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) (fma (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z) 0.279195317918525)) (/ -1 x)) 0.215 * [taylor]: Taking taylor expansion of (* (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) (fma (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z) 0.279195317918525)) in x 0.215 * [taylor]: Taking taylor expansion of (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) in x 0.215 * [taylor]: Taking taylor expansion of -1 in x 0.215 * [taylor]: Taking taylor expansion of (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y) in x 0.215 * [taylor]: Taking taylor expansion of (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) in x 0.215 * [taylor]: Rewrote expression to (+ (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) 3.350343815022304) 0.215 * [taylor]: Taking taylor expansion of (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) in x 0.215 * [taylor]: Taking taylor expansion of (- 6.012459259764103 (/ 1 z)) in x 0.215 * [taylor]: Taking taylor expansion of 6.012459259764103 in x 0.215 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.215 * [taylor]: Taking taylor expansion of z in x 0.215 * [taylor]: Taking taylor expansion of (/ -1 z) in x 0.215 * [taylor]: Taking taylor expansion of -1 in x 0.215 * [taylor]: Taking taylor expansion of z in x 0.215 * [taylor]: Taking taylor expansion of 3.350343815022304 in x 0.215 * [taylor]: Taking taylor expansion of y in x 0.216 * [taylor]: Taking taylor expansion of (fma (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z) 0.279195317918525) in x 0.216 * [taylor]: Rewrote expression to (+ (* (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z)) 0.279195317918525) 0.216 * [taylor]: Taking taylor expansion of (* (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z)) in x 0.216 * [taylor]: Taking taylor expansion of (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) in x 0.216 * [taylor]: Rewrote expression to (+ (* (/ -1 z) 0.0692910599291889) 0.4917317610505968) 0.216 * [taylor]: Taking taylor expansion of (* (/ -1 z) 0.0692910599291889) in x 0.216 * [taylor]: Taking taylor expansion of (/ -1 z) in x 0.216 * [taylor]: Taking taylor expansion of -1 in x 0.216 * [taylor]: Taking taylor expansion of z in x 0.216 * [taylor]: Taking taylor expansion of 0.0692910599291889 in x 0.216 * [taylor]: Taking taylor expansion of 0.4917317610505968 in x 0.216 * [taylor]: Taking taylor expansion of (/ -1 z) in x 0.216 * [taylor]: Taking taylor expansion of -1 in x 0.216 * [taylor]: Taking taylor expansion of z in x 0.216 * [taylor]: Taking taylor expansion of 0.279195317918525 in x 0.216 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.216 * [taylor]: Taking taylor expansion of -1 in x 0.216 * [taylor]: Taking taylor expansion of x in x 0.216 * [taylor]: Taking taylor expansion of (fma (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) (fma (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z) 0.279195317918525) (/ -1 x)) in z 0.216 * [taylor]: Rewrote expression to (+ (* (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) (fma (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z) 0.279195317918525)) (/ -1 x)) 0.217 * [taylor]: Taking taylor expansion of (* (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) (fma (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z) 0.279195317918525)) in z 0.217 * [taylor]: Taking taylor expansion of (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) in z 0.217 * [taylor]: Taking taylor expansion of -1 in z 0.217 * [taylor]: Taking taylor expansion of (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y) in z 0.217 * [taylor]: Taking taylor expansion of (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) in z 0.217 * [taylor]: Rewrote expression to (+ (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) 3.350343815022304) 0.217 * [taylor]: Taking taylor expansion of (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) in z 0.217 * [taylor]: Taking taylor expansion of (- 6.012459259764103 (/ 1 z)) in z 0.217 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 0.217 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.217 * [taylor]: Taking taylor expansion of z in z 0.217 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.217 * [taylor]: Taking taylor expansion of -1 in z 0.217 * [taylor]: Taking taylor expansion of z in z 0.217 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 0.217 * [taylor]: Taking taylor expansion of y in z 0.218 * [taylor]: Taking taylor expansion of (fma (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z) 0.279195317918525) in z 0.219 * [taylor]: Rewrote expression to (+ (* (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z)) 0.279195317918525) 0.219 * [taylor]: Taking taylor expansion of (* (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z)) in z 0.219 * [taylor]: Taking taylor expansion of (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) in z 0.219 * [taylor]: Rewrote expression to (+ (* (/ -1 z) 0.0692910599291889) 0.4917317610505968) 0.219 * [taylor]: Taking taylor expansion of (* (/ -1 z) 0.0692910599291889) in z 0.219 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.219 * [taylor]: Taking taylor expansion of -1 in z 0.219 * [taylor]: Taking taylor expansion of z in z 0.219 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 0.219 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 0.219 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.219 * [taylor]: Taking taylor expansion of -1 in z 0.219 * [taylor]: Taking taylor expansion of z in z 0.219 * [taylor]: Taking taylor expansion of 0.279195317918525 in z 0.219 * [taylor]: Taking taylor expansion of (/ -1 x) in z 0.219 * [taylor]: Taking taylor expansion of -1 in z 0.219 * [taylor]: Taking taylor expansion of x in z 0.220 * [taylor]: Taking taylor expansion of (fma (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) (fma (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z) 0.279195317918525) (/ -1 x)) in y 0.220 * [taylor]: Rewrote expression to (+ (* (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) (fma (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z) 0.279195317918525)) (/ -1 x)) 0.220 * [taylor]: Taking taylor expansion of (* (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) (fma (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z) 0.279195317918525)) in y 0.220 * [taylor]: Taking taylor expansion of (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) in y 0.220 * [taylor]: Taking taylor expansion of -1 in y 0.220 * [taylor]: Taking taylor expansion of (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y) in y 0.220 * [taylor]: Taking taylor expansion of (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) in y 0.220 * [taylor]: Rewrote expression to (+ (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) 3.350343815022304) 0.220 * [taylor]: Taking taylor expansion of (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) in y 0.220 * [taylor]: Taking taylor expansion of (- 6.012459259764103 (/ 1 z)) in y 0.220 * [taylor]: Taking taylor expansion of 6.012459259764103 in y 0.220 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.220 * [taylor]: Taking taylor expansion of z in y 0.220 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.220 * [taylor]: Taking taylor expansion of -1 in y 0.220 * [taylor]: Taking taylor expansion of z in y 0.220 * [taylor]: Taking taylor expansion of 3.350343815022304 in y 0.220 * [taylor]: Taking taylor expansion of y in y 0.222 * [taylor]: Taking taylor expansion of (fma (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z) 0.279195317918525) in y 0.222 * [taylor]: Rewrote expression to (+ (* (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z)) 0.279195317918525) 0.222 * [taylor]: Taking taylor expansion of (* (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z)) in y 0.222 * [taylor]: Taking taylor expansion of (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) in y 0.222 * [taylor]: Rewrote expression to (+ (* (/ -1 z) 0.0692910599291889) 0.4917317610505968) 0.222 * [taylor]: Taking taylor expansion of (* (/ -1 z) 0.0692910599291889) in y 0.222 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.222 * [taylor]: Taking taylor expansion of -1 in y 0.222 * [taylor]: Taking taylor expansion of z in y 0.222 * [taylor]: Taking taylor expansion of 0.0692910599291889 in y 0.222 * [taylor]: Taking taylor expansion of 0.4917317610505968 in y 0.222 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.222 * [taylor]: Taking taylor expansion of -1 in y 0.222 * [taylor]: Taking taylor expansion of z in y 0.222 * [taylor]: Taking taylor expansion of 0.279195317918525 in y 0.222 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.222 * [taylor]: Taking taylor expansion of -1 in y 0.222 * [taylor]: Taking taylor expansion of x in y 0.222 * [taylor]: Taking taylor expansion of (fma (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) (fma (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z) 0.279195317918525) (/ -1 x)) in y 0.223 * [taylor]: Rewrote expression to (+ (* (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) (fma (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z) 0.279195317918525)) (/ -1 x)) 0.223 * [taylor]: Taking taylor expansion of (* (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) (fma (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z) 0.279195317918525)) in y 0.223 * [taylor]: Taking taylor expansion of (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) in y 0.223 * [taylor]: Taking taylor expansion of -1 in y 0.223 * [taylor]: Taking taylor expansion of (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y) in y 0.223 * [taylor]: Taking taylor expansion of (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) in y 0.223 * [taylor]: Rewrote expression to (+ (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) 3.350343815022304) 0.223 * [taylor]: Taking taylor expansion of (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) in y 0.223 * [taylor]: Taking taylor expansion of (- 6.012459259764103 (/ 1 z)) in y 0.223 * [taylor]: Taking taylor expansion of 6.012459259764103 in y 0.223 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.223 * [taylor]: Taking taylor expansion of z in y 0.223 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.223 * [taylor]: Taking taylor expansion of -1 in y 0.223 * [taylor]: Taking taylor expansion of z in y 0.223 * [taylor]: Taking taylor expansion of 3.350343815022304 in y 0.223 * [taylor]: Taking taylor expansion of y in y 0.225 * [taylor]: Taking taylor expansion of (fma (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z) 0.279195317918525) in y 0.225 * [taylor]: Rewrote expression to (+ (* (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z)) 0.279195317918525) 0.225 * [taylor]: Taking taylor expansion of (* (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z)) in y 0.225 * [taylor]: Taking taylor expansion of (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) in y 0.225 * [taylor]: Rewrote expression to (+ (* (/ -1 z) 0.0692910599291889) 0.4917317610505968) 0.225 * [taylor]: Taking taylor expansion of (* (/ -1 z) 0.0692910599291889) in y 0.225 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.225 * [taylor]: Taking taylor expansion of -1 in y 0.225 * [taylor]: Taking taylor expansion of z in y 0.225 * [taylor]: Taking taylor expansion of 0.0692910599291889 in y 0.225 * [taylor]: Taking taylor expansion of 0.4917317610505968 in y 0.225 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.225 * [taylor]: Taking taylor expansion of -1 in y 0.225 * [taylor]: Taking taylor expansion of z in y 0.225 * [taylor]: Taking taylor expansion of 0.279195317918525 in y 0.225 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.225 * [taylor]: Taking taylor expansion of -1 in y 0.225 * [taylor]: Taking taylor expansion of x in y 0.226 * [taylor]: Taking taylor expansion of (- (* 0.4917317610505968 (/ 1 (* z (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z)))))) (+ (* 0.279195317918525 (/ 1 (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z))))) (* 0.0692910599291889 (/ 1 (* (pow z 2) (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z)))))))) in z 0.226 * [taylor]: Taking taylor expansion of (* 0.4917317610505968 (/ 1 (* z (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z)))))) in z 0.226 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 0.226 * [taylor]: Taking taylor expansion of (/ 1 (* z (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z))))) in z 0.226 * [taylor]: Taking taylor expansion of (* z (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z)))) in z 0.226 * [taylor]: Taking taylor expansion of z in z 0.226 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z))) in z 0.226 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 3.350343815022304) in z 0.226 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 0.226 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.226 * [taylor]: Taking taylor expansion of z in z 0.227 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 0.227 * [taylor]: Taking taylor expansion of (* 6.012459259764103 (/ 1 z)) in z 0.227 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 0.227 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.227 * [taylor]: Taking taylor expansion of z in z 0.231 * [taylor]: Taking taylor expansion of (+ (* 0.279195317918525 (/ 1 (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z))))) (* 0.0692910599291889 (/ 1 (* (pow z 2) (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z))))))) in z 0.231 * [taylor]: Taking taylor expansion of (* 0.279195317918525 (/ 1 (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z))))) in z 0.231 * [taylor]: Taking taylor expansion of 0.279195317918525 in z 0.231 * [taylor]: Taking taylor expansion of (/ 1 (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z)))) in z 0.231 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z))) in z 0.231 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 3.350343815022304) in z 0.231 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 0.231 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.231 * [taylor]: Taking taylor expansion of z in z 0.231 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 0.231 * [taylor]: Taking taylor expansion of (* 6.012459259764103 (/ 1 z)) in z 0.231 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 0.231 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.231 * [taylor]: Taking taylor expansion of z in z 0.232 * [taylor]: Taking taylor expansion of (* 0.0692910599291889 (/ 1 (* (pow z 2) (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z)))))) in z 0.232 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 0.232 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z))))) in z 0.232 * [taylor]: Taking taylor expansion of (* (pow z 2) (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z)))) in z 0.232 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.232 * [taylor]: Taking taylor expansion of z in z 0.232 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z))) in z 0.232 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 3.350343815022304) in z 0.232 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 0.232 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.233 * [taylor]: Taking taylor expansion of z in z 0.233 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 0.233 * [taylor]: Taking taylor expansion of (* 6.012459259764103 (/ 1 z)) in z 0.233 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 0.233 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.233 * [taylor]: Taking taylor expansion of z in z 0.236 * [taylor]: Taking taylor expansion of (- 0.0692910599291889) in x 0.236 * [taylor]: Taking taylor expansion of 0.0692910599291889 in x 0.239 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z 0.239 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.239 * [taylor]: Taking taylor expansion of x in z 0.239 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.239 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.239 * [taylor]: Taking taylor expansion of x in x 0.248 * [taylor]: Taking taylor expansion of 0.07512208616047561 in x 0.253 * [taylor]: Taking taylor expansion of 0 in z 0.253 * [taylor]: Taking taylor expansion of 0 in x 0.253 * [taylor]: Taking taylor expansion of 0 in x 0.270 * [taylor]: Taking taylor expansion of 0.4046220386999213 in x 0.271 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 0.271 * [approximate]: Taking taylor expansion of (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) in (y z) around 0 0.271 * [taylor]: Taking taylor expansion of (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) in z 0.271 * [taylor]: Taking taylor expansion of y in z 0.271 * [taylor]: Taking taylor expansion of (fma (+ z 6.012459259764103) z 3.350343815022304) in z 0.272 * [taylor]: Rewrote expression to (+ (* (+ z 6.012459259764103) z) 3.350343815022304) 0.272 * [taylor]: Taking taylor expansion of (* (+ z 6.012459259764103) z) in z 0.272 * [taylor]: Taking taylor expansion of (+ z 6.012459259764103) in z 0.272 * [taylor]: Taking taylor expansion of z in z 0.272 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 0.272 * [taylor]: Taking taylor expansion of z in z 0.272 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 0.273 * [taylor]: Taking taylor expansion of (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) in y 0.273 * [taylor]: Taking taylor expansion of y in y 0.273 * [taylor]: Taking taylor expansion of (fma (+ z 6.012459259764103) z 3.350343815022304) in y 0.273 * [taylor]: Rewrote expression to (+ (* (+ z 6.012459259764103) z) 3.350343815022304) 0.273 * [taylor]: Taking taylor expansion of (* (+ z 6.012459259764103) z) in y 0.273 * [taylor]: Taking taylor expansion of (+ z 6.012459259764103) in y 0.273 * [taylor]: Taking taylor expansion of z in y 0.273 * [taylor]: Taking taylor expansion of 6.012459259764103 in y 0.273 * [taylor]: Taking taylor expansion of z in y 0.273 * [taylor]: Taking taylor expansion of 3.350343815022304 in y 0.273 * [taylor]: Taking taylor expansion of (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) in y 0.273 * [taylor]: Taking taylor expansion of y in y 0.273 * [taylor]: Taking taylor expansion of (fma (+ z 6.012459259764103) z 3.350343815022304) in y 0.273 * [taylor]: Rewrote expression to (+ (* (+ z 6.012459259764103) z) 3.350343815022304) 0.273 * [taylor]: Taking taylor expansion of (* (+ z 6.012459259764103) z) in y 0.273 * [taylor]: Taking taylor expansion of (+ z 6.012459259764103) in y 0.273 * [taylor]: Taking taylor expansion of z in y 0.273 * [taylor]: Taking taylor expansion of 6.012459259764103 in y 0.273 * [taylor]: Taking taylor expansion of z in y 0.273 * [taylor]: Taking taylor expansion of 3.350343815022304 in y 0.274 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304))) in z 0.274 * [taylor]: Taking taylor expansion of (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304)) in z 0.274 * [taylor]: Taking taylor expansion of (* 6.012459259764103 z) in z 0.274 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 0.274 * [taylor]: Taking taylor expansion of z in z 0.274 * [taylor]: Taking taylor expansion of (+ (pow z 2) 3.350343815022304) in z 0.274 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.274 * [taylor]: Taking taylor expansion of z in z 0.274 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 0.276 * [taylor]: Taking taylor expansion of 0 in z 0.280 * [taylor]: Taking taylor expansion of 0 in z 0.285 * [approximate]: Taking taylor expansion of (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) in (y z) around 0 0.285 * [taylor]: Taking taylor expansion of (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) in z 0.285 * [taylor]: Taking taylor expansion of (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y) in z 0.285 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) in z 0.285 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) 3.350343815022304) 0.285 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) in z 0.285 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 6.012459259764103) in z 0.285 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.285 * [taylor]: Taking taylor expansion of z in z 0.285 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 0.285 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.285 * [taylor]: Taking taylor expansion of z in z 0.286 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 0.286 * [taylor]: Taking taylor expansion of y in z 0.286 * [taylor]: Taking taylor expansion of (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) in y 0.286 * [taylor]: Taking taylor expansion of (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y) in y 0.286 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) in y 0.287 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) 3.350343815022304) 0.287 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) in y 0.287 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 6.012459259764103) in y 0.287 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.287 * [taylor]: Taking taylor expansion of z in y 0.287 * [taylor]: Taking taylor expansion of 6.012459259764103 in y 0.287 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.287 * [taylor]: Taking taylor expansion of z in y 0.287 * [taylor]: Taking taylor expansion of 3.350343815022304 in y 0.287 * [taylor]: Taking taylor expansion of y in y 0.288 * [taylor]: Taking taylor expansion of (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) in y 0.288 * [taylor]: Taking taylor expansion of (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y) in y 0.288 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) in y 0.288 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) 3.350343815022304) 0.288 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) in y 0.288 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 6.012459259764103) in y 0.288 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.288 * [taylor]: Taking taylor expansion of z in y 0.289 * [taylor]: Taking taylor expansion of 6.012459259764103 in y 0.289 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.289 * [taylor]: Taking taylor expansion of z in y 0.289 * [taylor]: Taking taylor expansion of 3.350343815022304 in y 0.289 * [taylor]: Taking taylor expansion of y in y 0.290 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304))) in z 0.290 * [taylor]: Taking taylor expansion of (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304)) in z 0.290 * [taylor]: Taking taylor expansion of (* 6.012459259764103 (/ 1 z)) in z 0.290 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 0.290 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.290 * [taylor]: Taking taylor expansion of z in z 0.290 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 3.350343815022304) in z 0.291 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 0.291 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.291 * [taylor]: Taking taylor expansion of z in z 0.291 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 0.294 * [taylor]: Taking taylor expansion of 0 in z 0.494 * [taylor]: Taking taylor expansion of 0 in z 0.501 * [approximate]: Taking taylor expansion of (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) in (y z) around 0 0.501 * [taylor]: Taking taylor expansion of (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) in z 0.501 * [taylor]: Taking taylor expansion of -1 in z 0.501 * [taylor]: Taking taylor expansion of (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y) in z 0.501 * [taylor]: Taking taylor expansion of (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) in z 0.501 * [taylor]: Rewrote expression to (+ (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) 3.350343815022304) 0.501 * [taylor]: Taking taylor expansion of (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) in z 0.501 * [taylor]: Taking taylor expansion of (- 6.012459259764103 (/ 1 z)) in z 0.501 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 0.501 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.501 * [taylor]: Taking taylor expansion of z in z 0.502 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.502 * [taylor]: Taking taylor expansion of -1 in z 0.502 * [taylor]: Taking taylor expansion of z in z 0.502 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 0.502 * [taylor]: Taking taylor expansion of y in z 0.503 * [taylor]: Taking taylor expansion of (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) in y 0.503 * [taylor]: Taking taylor expansion of -1 in y 0.503 * [taylor]: Taking taylor expansion of (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y) in y 0.503 * [taylor]: Taking taylor expansion of (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) in y 0.503 * [taylor]: Rewrote expression to (+ (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) 3.350343815022304) 0.503 * [taylor]: Taking taylor expansion of (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) in y 0.503 * [taylor]: Taking taylor expansion of (- 6.012459259764103 (/ 1 z)) in y 0.503 * [taylor]: Taking taylor expansion of 6.012459259764103 in y 0.503 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.503 * [taylor]: Taking taylor expansion of z in y 0.504 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.504 * [taylor]: Taking taylor expansion of -1 in y 0.504 * [taylor]: Taking taylor expansion of z in y 0.504 * [taylor]: Taking taylor expansion of 3.350343815022304 in y 0.504 * [taylor]: Taking taylor expansion of y in y 0.505 * [taylor]: Taking taylor expansion of (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) in y 0.505 * [taylor]: Taking taylor expansion of -1 in y 0.505 * [taylor]: Taking taylor expansion of (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y) in y 0.505 * [taylor]: Taking taylor expansion of (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) in y 0.506 * [taylor]: Rewrote expression to (+ (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) 3.350343815022304) 0.506 * [taylor]: Taking taylor expansion of (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) in y 0.506 * [taylor]: Taking taylor expansion of (- 6.012459259764103 (/ 1 z)) in y 0.506 * [taylor]: Taking taylor expansion of 6.012459259764103 in y 0.506 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.506 * [taylor]: Taking taylor expansion of z in y 0.506 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.506 * [taylor]: Taking taylor expansion of -1 in y 0.506 * [taylor]: Taking taylor expansion of z in y 0.506 * [taylor]: Taking taylor expansion of 3.350343815022304 in y 0.506 * [taylor]: Taking taylor expansion of y in y 0.508 * [taylor]: Taking taylor expansion of (/ -1 (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z)))) in z 0.508 * [taylor]: Taking taylor expansion of -1 in z 0.508 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z))) in z 0.508 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 3.350343815022304) in z 0.508 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 0.508 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.508 * [taylor]: Taking taylor expansion of z in z 0.508 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 0.508 * [taylor]: Taking taylor expansion of (* 6.012459259764103 (/ 1 z)) in z 0.508 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 0.508 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.508 * [taylor]: Taking taylor expansion of z in z 0.512 * [taylor]: Taking taylor expansion of 0 in z 0.519 * [taylor]: Taking taylor expansion of 0 in z 0.526 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 0.526 * [approximate]: Taking taylor expansion of (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) in (z) around 0 0.526 * [taylor]: Taking taylor expansion of (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) in z 0.526 * [taylor]: Rewrote expression to (+ (* (fma z 0.0692910599291889 0.4917317610505968) z) 0.279195317918525) 0.526 * [taylor]: Taking taylor expansion of (* (fma z 0.0692910599291889 0.4917317610505968) z) in z 0.526 * [taylor]: Taking taylor expansion of (fma z 0.0692910599291889 0.4917317610505968) in z 0.526 * [taylor]: Rewrote expression to (+ (* z 0.0692910599291889) 0.4917317610505968) 0.526 * [taylor]: Taking taylor expansion of (* z 0.0692910599291889) in z 0.526 * [taylor]: Taking taylor expansion of z in z 0.526 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 0.526 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 0.526 * [taylor]: Taking taylor expansion of z in z 0.526 * [taylor]: Taking taylor expansion of 0.279195317918525 in z 0.526 * [taylor]: Taking taylor expansion of (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) in z 0.526 * [taylor]: Rewrote expression to (+ (* (fma z 0.0692910599291889 0.4917317610505968) z) 0.279195317918525) 0.526 * [taylor]: Taking taylor expansion of (* (fma z 0.0692910599291889 0.4917317610505968) z) in z 0.526 * [taylor]: Taking taylor expansion of (fma z 0.0692910599291889 0.4917317610505968) in z 0.526 * [taylor]: Rewrote expression to (+ (* z 0.0692910599291889) 0.4917317610505968) 0.527 * [taylor]: Taking taylor expansion of (* z 0.0692910599291889) in z 0.527 * [taylor]: Taking taylor expansion of z in z 0.527 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 0.527 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 0.527 * [taylor]: Taking taylor expansion of z in z 0.527 * [taylor]: Taking taylor expansion of 0.279195317918525 in z 0.533 * [approximate]: Taking taylor expansion of (fma (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z) 0.279195317918525) in (z) around 0 0.533 * [taylor]: Taking taylor expansion of (fma (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z) 0.279195317918525) in z 0.533 * [taylor]: Rewrote expression to (+ (* (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z)) 0.279195317918525) 0.533 * [taylor]: Taking taylor expansion of (* (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z)) in z 0.533 * [taylor]: Taking taylor expansion of (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) in z 0.533 * [taylor]: Rewrote expression to (+ (* (/ 1 z) 0.0692910599291889) 0.4917317610505968) 0.533 * [taylor]: Taking taylor expansion of (* (/ 1 z) 0.0692910599291889) in z 0.533 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.533 * [taylor]: Taking taylor expansion of z in z 0.533 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 0.534 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 0.534 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.534 * [taylor]: Taking taylor expansion of z in z 0.534 * [taylor]: Taking taylor expansion of 0.279195317918525 in z 0.534 * [taylor]: Taking taylor expansion of (fma (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z) 0.279195317918525) in z 0.534 * [taylor]: Rewrote expression to (+ (* (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z)) 0.279195317918525) 0.534 * [taylor]: Taking taylor expansion of (* (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z)) in z 0.534 * [taylor]: Taking taylor expansion of (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) in z 0.534 * [taylor]: Rewrote expression to (+ (* (/ 1 z) 0.0692910599291889) 0.4917317610505968) 0.534 * [taylor]: Taking taylor expansion of (* (/ 1 z) 0.0692910599291889) in z 0.534 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.534 * [taylor]: Taking taylor expansion of z in z 0.534 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 0.534 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 0.534 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.534 * [taylor]: Taking taylor expansion of z in z 0.535 * [taylor]: Taking taylor expansion of 0.279195317918525 in z 0.541 * [approximate]: Taking taylor expansion of (fma (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z) 0.279195317918525) in (z) around 0 0.541 * [taylor]: Taking taylor expansion of (fma (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z) 0.279195317918525) in z 0.542 * [taylor]: Rewrote expression to (+ (* (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z)) 0.279195317918525) 0.542 * [taylor]: Taking taylor expansion of (* (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z)) in z 0.542 * [taylor]: Taking taylor expansion of (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) in z 0.542 * [taylor]: Rewrote expression to (+ (* (/ -1 z) 0.0692910599291889) 0.4917317610505968) 0.542 * [taylor]: Taking taylor expansion of (* (/ -1 z) 0.0692910599291889) in z 0.542 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.542 * [taylor]: Taking taylor expansion of -1 in z 0.542 * [taylor]: Taking taylor expansion of z in z 0.542 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 0.542 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 0.542 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.542 * [taylor]: Taking taylor expansion of -1 in z 0.542 * [taylor]: Taking taylor expansion of z in z 0.543 * [taylor]: Taking taylor expansion of 0.279195317918525 in z 0.543 * [taylor]: Taking taylor expansion of (fma (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z) 0.279195317918525) in z 0.543 * [taylor]: Rewrote expression to (+ (* (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z)) 0.279195317918525) 0.543 * [taylor]: Taking taylor expansion of (* (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z)) in z 0.543 * [taylor]: Taking taylor expansion of (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) in z 0.543 * [taylor]: Rewrote expression to (+ (* (/ -1 z) 0.0692910599291889) 0.4917317610505968) 0.543 * [taylor]: Taking taylor expansion of (* (/ -1 z) 0.0692910599291889) in z 0.543 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.543 * [taylor]: Taking taylor expansion of -1 in z 0.543 * [taylor]: Taking taylor expansion of z in z 0.543 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 0.543 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 0.543 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.543 * [taylor]: Taking taylor expansion of -1 in z 0.543 * [taylor]: Taking taylor expansion of z in z 0.544 * [taylor]: Taking taylor expansion of 0.279195317918525 in z 0.551 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 0.551 * [approximate]: Taking taylor expansion of (fma (+ z 6.012459259764103) z 3.350343815022304) in (z) around 0 0.551 * [taylor]: Taking taylor expansion of (fma (+ z 6.012459259764103) z 3.350343815022304) in z 0.551 * [taylor]: Rewrote expression to (+ (* (+ z 6.012459259764103) z) 3.350343815022304) 0.551 * [taylor]: Taking taylor expansion of (* (+ z 6.012459259764103) z) in z 0.552 * [taylor]: Taking taylor expansion of (+ z 6.012459259764103) in z 0.552 * [taylor]: Taking taylor expansion of z in z 0.552 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 0.552 * [taylor]: Taking taylor expansion of z in z 0.552 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 0.552 * [taylor]: Taking taylor expansion of (fma (+ z 6.012459259764103) z 3.350343815022304) in z 0.552 * [taylor]: Rewrote expression to (+ (* (+ z 6.012459259764103) z) 3.350343815022304) 0.552 * [taylor]: Taking taylor expansion of (* (+ z 6.012459259764103) z) in z 0.552 * [taylor]: Taking taylor expansion of (+ z 6.012459259764103) in z 0.552 * [taylor]: Taking taylor expansion of z in z 0.552 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 0.552 * [taylor]: Taking taylor expansion of z in z 0.552 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 0.555 * [approximate]: Taking taylor expansion of (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) in (z) around 0 0.555 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) in z 0.555 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) 3.350343815022304) 0.555 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) in z 0.555 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 6.012459259764103) in z 0.555 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.556 * [taylor]: Taking taylor expansion of z in z 0.556 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 0.556 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.556 * [taylor]: Taking taylor expansion of z in z 0.556 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 0.556 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) in z 0.556 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) 3.350343815022304) 0.556 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) in z 0.556 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 6.012459259764103) in z 0.556 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.556 * [taylor]: Taking taylor expansion of z in z 0.557 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 0.557 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.557 * [taylor]: Taking taylor expansion of z in z 0.557 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 0.562 * [approximate]: Taking taylor expansion of (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) in (z) around 0 0.562 * [taylor]: Taking taylor expansion of (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) in z 0.562 * [taylor]: Rewrote expression to (+ (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) 3.350343815022304) 0.562 * [taylor]: Taking taylor expansion of (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) in z 0.562 * [taylor]: Taking taylor expansion of (- 6.012459259764103 (/ 1 z)) in z 0.562 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 0.562 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.562 * [taylor]: Taking taylor expansion of z in z 0.563 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.563 * [taylor]: Taking taylor expansion of -1 in z 0.563 * [taylor]: Taking taylor expansion of z in z 0.563 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 0.563 * [taylor]: Taking taylor expansion of (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) in z 0.563 * [taylor]: Rewrote expression to (+ (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) 3.350343815022304) 0.563 * [taylor]: Taking taylor expansion of (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) in z 0.563 * [taylor]: Taking taylor expansion of (- 6.012459259764103 (/ 1 z)) in z 0.563 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 0.563 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.563 * [taylor]: Taking taylor expansion of z in z 0.563 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.563 * [taylor]: Taking taylor expansion of -1 in z 0.564 * [taylor]: Taking taylor expansion of z in z 0.564 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 0.571 * * * [progress]: simplifying candidates 0.571 * [simplify]: Simplifying using # : (* (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525)) (- y) (- (fma (+ z 6.012459259764103) z 3.350343815022304)) (/ 1 (fma (+ z 6.012459259764103) z 3.350343815022304)) (/ (fma (+ z 6.012459259764103) z 3.350343815022304) y) (* (fma z 0.0692910599291889 0.4917317610505968) z) (* (+ z 6.012459259764103) z) (- (+ x (* 0.08333333333333322 y)) (* 0.0027777777775171986 (* z y))) (+ x (+ (* 0.07512208616047561 (/ y z)) (* 0.0692910599291889 y))) (+ x (+ (* 0.07512208616047561 (/ y z)) (* 0.0692910599291889 y))) (- (+ (* 0.8721611605573599 (* (pow z 2) y)) (* 0.29847682960661837 y)) (* 0.5356404826116027 (* z y))) (- (+ (* 32.7993225353008 (/ y (pow z 4))) (/ y (pow z 2))) (* 6.012459259764103 (/ y (pow z 3)))) (- (+ (* 32.7993225353008 (/ y (pow z 4))) (/ y (pow z 2))) (* 6.012459259764103 (/ y (pow z 3)))) (+ (* 0.4917317610505968 z) (+ (* 0.0692910599291889 (pow z 2)) 0.279195317918525)) (+ (* 0.4917317610505968 z) (+ (* 0.0692910599291889 (pow z 2)) 0.279195317918525)) (+ (* 0.4917317610505968 z) (+ (* 0.0692910599291889 (pow z 2)) 0.279195317918525)) (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304)) (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304)) (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304)) 0.577 * * [simplify]: iteration 0 : 146 enodes (cost 79 ) 0.580 * * [simplify]: iteration 1 : 392 enodes (cost 69 ) 0.587 * * [simplify]: iteration 2 : 1127 enodes (cost 66 ) 0.607 * * [simplify]: iteration 3 : 3785 enodes (cost 62 ) 0.675 * * [simplify]: iteration 4 : 5002 enodes (cost 60 ) 0.676 * [simplify]: Simplified to: (* (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525)) (- y) (- (fma (+ z 6.012459259764103) z 3.350343815022304)) (/ 1 (fma (+ z 6.012459259764103) z 3.350343815022304)) (/ (fma z 6.012459259764103 (fma z z 3.350343815022304)) y) (* (fma z 0.0692910599291889 0.4917317610505968) z) (fma z 6.012459259764103 (pow z 2)) (fma y (- 0.08333333333333322 (* 0.0027777777775171986 z)) x) (fma (/ 0.07512208616047561 z) y (fma y 0.0692910599291889 x)) (fma (/ 0.07512208616047561 z) y (fma y 0.0692910599291889 x)) (* y (- (fma (* 0.8721611605573599 z) z 0.29847682960661837) (* 0.5356404826116027 z))) (fma (/ y (pow z 3)) (- (/ 32.7993225353008 z) 6.012459259764103) (/ y (pow z 2))) (fma (/ y (pow z 3)) (- (/ 32.7993225353008 z) 6.012459259764103) (/ y (pow z 2))) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) (fma z 6.012459259764103 (fma z z 3.350343815022304)) (fma z 6.012459259764103 (fma z z 3.350343815022304)) (fma z 6.012459259764103 (fma z z 3.350343815022304)) 0.676 * * * [progress]: adding candidates to table 0.717 * * [progress]: iteration 2 / 4 0.717 * * * [progress]: picking best candidate 0.724 * * * * [pick]: Picked # 0.724 * * * [progress]: localizing error 0.742 * * * [progress]: generating rewritten candidates 0.742 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 0.743 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 0.746 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2) 0.748 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 0.749 * * * [progress]: generating series expansions 0.749 * * * * [progress]: [ 1 / 4 ] generating series at (2) 0.749 * [approximate]: Taking taylor expansion of (fma (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) x) in (y z x) around 0 0.749 * [taylor]: Taking taylor expansion of (fma (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) x) in x 0.749 * [taylor]: Rewrote expression to (+ (* (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525)) x) 0.749 * [taylor]: Taking taylor expansion of (* (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525)) in x 0.749 * [taylor]: Taking taylor expansion of (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) in x 0.749 * [taylor]: Taking taylor expansion of y in x 0.749 * [taylor]: Taking taylor expansion of (fma (+ z 6.012459259764103) z 3.350343815022304) in x 0.749 * [taylor]: Rewrote expression to (+ (* (+ z 6.012459259764103) z) 3.350343815022304) 0.749 * [taylor]: Taking taylor expansion of (* (+ z 6.012459259764103) z) in x 0.749 * [taylor]: Taking taylor expansion of (+ z 6.012459259764103) in x 0.749 * [taylor]: Taking taylor expansion of z in x 0.749 * [taylor]: Taking taylor expansion of 6.012459259764103 in x 0.749 * [taylor]: Taking taylor expansion of z in x 0.749 * [taylor]: Taking taylor expansion of 3.350343815022304 in x 0.750 * [taylor]: Taking taylor expansion of (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) in x 0.750 * [taylor]: Rewrote expression to (+ (* (fma z 0.0692910599291889 0.4917317610505968) z) 0.279195317918525) 0.750 * [taylor]: Taking taylor expansion of (* (fma z 0.0692910599291889 0.4917317610505968) z) in x 0.750 * [taylor]: Taking taylor expansion of (fma z 0.0692910599291889 0.4917317610505968) in x 0.750 * [taylor]: Rewrote expression to (+ (* z 0.0692910599291889) 0.4917317610505968) 0.750 * [taylor]: Taking taylor expansion of (* z 0.0692910599291889) in x 0.750 * [taylor]: Taking taylor expansion of z in x 0.750 * [taylor]: Taking taylor expansion of 0.0692910599291889 in x 0.750 * [taylor]: Taking taylor expansion of 0.4917317610505968 in x 0.750 * [taylor]: Taking taylor expansion of z in x 0.750 * [taylor]: Taking taylor expansion of 0.279195317918525 in x 0.750 * [taylor]: Taking taylor expansion of x in x 0.750 * [taylor]: Taking taylor expansion of (fma (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) x) in z 0.750 * [taylor]: Rewrote expression to (+ (* (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525)) x) 0.750 * [taylor]: Taking taylor expansion of (* (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525)) in z 0.750 * [taylor]: Taking taylor expansion of (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) in z 0.750 * [taylor]: Taking taylor expansion of y in z 0.750 * [taylor]: Taking taylor expansion of (fma (+ z 6.012459259764103) z 3.350343815022304) in z 0.750 * [taylor]: Rewrote expression to (+ (* (+ z 6.012459259764103) z) 3.350343815022304) 0.750 * [taylor]: Taking taylor expansion of (* (+ z 6.012459259764103) z) in z 0.750 * [taylor]: Taking taylor expansion of (+ z 6.012459259764103) in z 0.750 * [taylor]: Taking taylor expansion of z in z 0.750 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 0.750 * [taylor]: Taking taylor expansion of z in z 0.750 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 0.751 * [taylor]: Taking taylor expansion of (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) in z 0.752 * [taylor]: Rewrote expression to (+ (* (fma z 0.0692910599291889 0.4917317610505968) z) 0.279195317918525) 0.752 * [taylor]: Taking taylor expansion of (* (fma z 0.0692910599291889 0.4917317610505968) z) in z 0.752 * [taylor]: Taking taylor expansion of (fma z 0.0692910599291889 0.4917317610505968) in z 0.752 * [taylor]: Rewrote expression to (+ (* z 0.0692910599291889) 0.4917317610505968) 0.752 * [taylor]: Taking taylor expansion of (* z 0.0692910599291889) in z 0.752 * [taylor]: Taking taylor expansion of z in z 0.752 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 0.752 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 0.752 * [taylor]: Taking taylor expansion of z in z 0.752 * [taylor]: Taking taylor expansion of 0.279195317918525 in z 0.752 * [taylor]: Taking taylor expansion of x in z 0.752 * [taylor]: Taking taylor expansion of (fma (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) x) in y 0.752 * [taylor]: Rewrote expression to (+ (* (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525)) x) 0.752 * [taylor]: Taking taylor expansion of (* (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525)) in y 0.752 * [taylor]: Taking taylor expansion of (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) in y 0.752 * [taylor]: Taking taylor expansion of y in y 0.752 * [taylor]: Taking taylor expansion of (fma (+ z 6.012459259764103) z 3.350343815022304) in y 0.752 * [taylor]: Rewrote expression to (+ (* (+ z 6.012459259764103) z) 3.350343815022304) 0.752 * [taylor]: Taking taylor expansion of (* (+ z 6.012459259764103) z) in y 0.752 * [taylor]: Taking taylor expansion of (+ z 6.012459259764103) in y 0.752 * [taylor]: Taking taylor expansion of z in y 0.752 * [taylor]: Taking taylor expansion of 6.012459259764103 in y 0.752 * [taylor]: Taking taylor expansion of z in y 0.752 * [taylor]: Taking taylor expansion of 3.350343815022304 in y 0.753 * [taylor]: Taking taylor expansion of (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) in y 0.753 * [taylor]: Rewrote expression to (+ (* (fma z 0.0692910599291889 0.4917317610505968) z) 0.279195317918525) 0.753 * [taylor]: Taking taylor expansion of (* (fma z 0.0692910599291889 0.4917317610505968) z) in y 0.753 * [taylor]: Taking taylor expansion of (fma z 0.0692910599291889 0.4917317610505968) in y 0.753 * [taylor]: Rewrote expression to (+ (* z 0.0692910599291889) 0.4917317610505968) 0.753 * [taylor]: Taking taylor expansion of (* z 0.0692910599291889) in y 0.753 * [taylor]: Taking taylor expansion of z in y 0.753 * [taylor]: Taking taylor expansion of 0.0692910599291889 in y 0.753 * [taylor]: Taking taylor expansion of 0.4917317610505968 in y 0.753 * [taylor]: Taking taylor expansion of z in y 0.753 * [taylor]: Taking taylor expansion of 0.279195317918525 in y 0.753 * [taylor]: Taking taylor expansion of x in y 0.753 * [taylor]: Taking taylor expansion of (fma (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) x) in y 0.753 * [taylor]: Rewrote expression to (+ (* (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525)) x) 0.753 * [taylor]: Taking taylor expansion of (* (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525)) in y 0.753 * [taylor]: Taking taylor expansion of (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) in y 0.753 * [taylor]: Taking taylor expansion of y in y 0.753 * [taylor]: Taking taylor expansion of (fma (+ z 6.012459259764103) z 3.350343815022304) in y 0.753 * [taylor]: Rewrote expression to (+ (* (+ z 6.012459259764103) z) 3.350343815022304) 0.753 * [taylor]: Taking taylor expansion of (* (+ z 6.012459259764103) z) in y 0.753 * [taylor]: Taking taylor expansion of (+ z 6.012459259764103) in y 0.753 * [taylor]: Taking taylor expansion of z in y 0.753 * [taylor]: Taking taylor expansion of 6.012459259764103 in y 0.753 * [taylor]: Taking taylor expansion of z in y 0.753 * [taylor]: Taking taylor expansion of 3.350343815022304 in y 0.754 * [taylor]: Taking taylor expansion of (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) in y 0.754 * [taylor]: Rewrote expression to (+ (* (fma z 0.0692910599291889 0.4917317610505968) z) 0.279195317918525) 0.754 * [taylor]: Taking taylor expansion of (* (fma z 0.0692910599291889 0.4917317610505968) z) in y 0.754 * [taylor]: Taking taylor expansion of (fma z 0.0692910599291889 0.4917317610505968) in y 0.754 * [taylor]: Rewrote expression to (+ (* z 0.0692910599291889) 0.4917317610505968) 0.754 * [taylor]: Taking taylor expansion of (* z 0.0692910599291889) in y 0.754 * [taylor]: Taking taylor expansion of z in y 0.754 * [taylor]: Taking taylor expansion of 0.0692910599291889 in y 0.754 * [taylor]: Taking taylor expansion of 0.4917317610505968 in y 0.754 * [taylor]: Taking taylor expansion of z in y 0.754 * [taylor]: Taking taylor expansion of 0.279195317918525 in y 0.754 * [taylor]: Taking taylor expansion of x in y 0.754 * [taylor]: Taking taylor expansion of x in z 0.754 * [taylor]: Taking taylor expansion of x in x 0.755 * [taylor]: Taking taylor expansion of (+ (* 0.0692910599291889 (/ (pow z 2) (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304)))) (+ (* 0.279195317918525 (/ 1 (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304)))) (* 0.4917317610505968 (/ z (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304)))))) in z 0.755 * [taylor]: Taking taylor expansion of (* 0.0692910599291889 (/ (pow z 2) (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304)))) in z 0.755 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 0.755 * [taylor]: Taking taylor expansion of (/ (pow z 2) (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304))) in z 0.755 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.755 * [taylor]: Taking taylor expansion of z in z 0.755 * [taylor]: Taking taylor expansion of (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304)) in z 0.755 * [taylor]: Taking taylor expansion of (* 6.012459259764103 z) in z 0.755 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 0.755 * [taylor]: Taking taylor expansion of z in z 0.755 * [taylor]: Taking taylor expansion of (+ (pow z 2) 3.350343815022304) in z 0.755 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.755 * [taylor]: Taking taylor expansion of z in z 0.755 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 0.757 * [taylor]: Taking taylor expansion of (+ (* 0.279195317918525 (/ 1 (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304)))) (* 0.4917317610505968 (/ z (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304))))) in z 0.757 * [taylor]: Taking taylor expansion of (* 0.279195317918525 (/ 1 (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304)))) in z 0.757 * [taylor]: Taking taylor expansion of 0.279195317918525 in z 0.757 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304))) in z 0.757 * [taylor]: Taking taylor expansion of (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304)) in z 0.757 * [taylor]: Taking taylor expansion of (* 6.012459259764103 z) in z 0.757 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 0.757 * [taylor]: Taking taylor expansion of z in z 0.757 * [taylor]: Taking taylor expansion of (+ (pow z 2) 3.350343815022304) in z 0.757 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.757 * [taylor]: Taking taylor expansion of z in z 0.757 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 0.758 * [taylor]: Taking taylor expansion of (* 0.4917317610505968 (/ z (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304)))) in z 0.758 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 0.758 * [taylor]: Taking taylor expansion of (/ z (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304))) in z 0.758 * [taylor]: Taking taylor expansion of z in z 0.758 * [taylor]: Taking taylor expansion of (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304)) in z 0.758 * [taylor]: Taking taylor expansion of (* 6.012459259764103 z) in z 0.758 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 0.758 * [taylor]: Taking taylor expansion of z in z 0.758 * [taylor]: Taking taylor expansion of (+ (pow z 2) 3.350343815022304) in z 0.758 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.758 * [taylor]: Taking taylor expansion of z in z 0.758 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 0.760 * [taylor]: Taking taylor expansion of 0.08333333333333322 in x 0.760 * [taylor]: Taking taylor expansion of 0 in x 0.762 * [taylor]: Taking taylor expansion of 0 in z 0.762 * [taylor]: Taking taylor expansion of 0 in x 0.767 * [taylor]: Taking taylor expansion of (- 0.0027777777775171986) in x 0.767 * [taylor]: Taking taylor expansion of 0.0027777777775171986 in x 0.769 * [approximate]: Taking taylor expansion of (fma (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) (fma (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z) 0.279195317918525) (/ 1 x)) in (y z x) around 0 0.769 * [taylor]: Taking taylor expansion of (fma (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) (fma (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z) 0.279195317918525) (/ 1 x)) in x 0.769 * [taylor]: Rewrote expression to (+ (* (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) (fma (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z) 0.279195317918525)) (/ 1 x)) 0.769 * [taylor]: Taking taylor expansion of (* (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) (fma (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z) 0.279195317918525)) in x 0.769 * [taylor]: Taking taylor expansion of (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) in x 0.769 * [taylor]: Taking taylor expansion of (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y) in x 0.769 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) in x 0.769 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) 3.350343815022304) 0.769 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) in x 0.769 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 6.012459259764103) in x 0.769 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.769 * [taylor]: Taking taylor expansion of z in x 0.769 * [taylor]: Taking taylor expansion of 6.012459259764103 in x 0.769 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.769 * [taylor]: Taking taylor expansion of z in x 0.769 * [taylor]: Taking taylor expansion of 3.350343815022304 in x 0.769 * [taylor]: Taking taylor expansion of y in x 0.770 * [taylor]: Taking taylor expansion of (fma (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z) 0.279195317918525) in x 0.770 * [taylor]: Rewrote expression to (+ (* (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z)) 0.279195317918525) 0.770 * [taylor]: Taking taylor expansion of (* (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z)) in x 0.770 * [taylor]: Taking taylor expansion of (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) in x 0.770 * [taylor]: Rewrote expression to (+ (* (/ 1 z) 0.0692910599291889) 0.4917317610505968) 0.770 * [taylor]: Taking taylor expansion of (* (/ 1 z) 0.0692910599291889) in x 0.770 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.770 * [taylor]: Taking taylor expansion of z in x 0.770 * [taylor]: Taking taylor expansion of 0.0692910599291889 in x 0.770 * [taylor]: Taking taylor expansion of 0.4917317610505968 in x 0.770 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.770 * [taylor]: Taking taylor expansion of z in x 0.770 * [taylor]: Taking taylor expansion of 0.279195317918525 in x 0.770 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.770 * [taylor]: Taking taylor expansion of x in x 0.770 * [taylor]: Taking taylor expansion of (fma (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) (fma (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z) 0.279195317918525) (/ 1 x)) in z 0.771 * [taylor]: Rewrote expression to (+ (* (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) (fma (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z) 0.279195317918525)) (/ 1 x)) 0.771 * [taylor]: Taking taylor expansion of (* (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) (fma (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z) 0.279195317918525)) in z 0.771 * [taylor]: Taking taylor expansion of (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) in z 0.771 * [taylor]: Taking taylor expansion of (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y) in z 0.771 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) in z 0.771 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) 3.350343815022304) 0.771 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) in z 0.771 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 6.012459259764103) in z 0.771 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.771 * [taylor]: Taking taylor expansion of z in z 0.771 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 0.771 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.771 * [taylor]: Taking taylor expansion of z in z 0.771 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 0.771 * [taylor]: Taking taylor expansion of y in z 0.772 * [taylor]: Taking taylor expansion of (fma (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z) 0.279195317918525) in z 0.772 * [taylor]: Rewrote expression to (+ (* (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z)) 0.279195317918525) 0.772 * [taylor]: Taking taylor expansion of (* (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z)) in z 0.772 * [taylor]: Taking taylor expansion of (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) in z 0.772 * [taylor]: Rewrote expression to (+ (* (/ 1 z) 0.0692910599291889) 0.4917317610505968) 0.773 * [taylor]: Taking taylor expansion of (* (/ 1 z) 0.0692910599291889) in z 0.773 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.773 * [taylor]: Taking taylor expansion of z in z 0.773 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 0.773 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 0.773 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.773 * [taylor]: Taking taylor expansion of z in z 0.773 * [taylor]: Taking taylor expansion of 0.279195317918525 in z 0.773 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.773 * [taylor]: Taking taylor expansion of x in z 0.773 * [taylor]: Taking taylor expansion of (fma (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) (fma (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z) 0.279195317918525) (/ 1 x)) in y 0.773 * [taylor]: Rewrote expression to (+ (* (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) (fma (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z) 0.279195317918525)) (/ 1 x)) 0.773 * [taylor]: Taking taylor expansion of (* (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) (fma (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z) 0.279195317918525)) in y 0.773 * [taylor]: Taking taylor expansion of (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) in y 0.773 * [taylor]: Taking taylor expansion of (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y) in y 0.773 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) in y 0.774 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) 3.350343815022304) 0.774 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) in y 0.774 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 6.012459259764103) in y 0.774 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.774 * [taylor]: Taking taylor expansion of z in y 0.774 * [taylor]: Taking taylor expansion of 6.012459259764103 in y 0.774 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.774 * [taylor]: Taking taylor expansion of z in y 0.774 * [taylor]: Taking taylor expansion of 3.350343815022304 in y 0.774 * [taylor]: Taking taylor expansion of y in y 0.775 * [taylor]: Taking taylor expansion of (fma (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z) 0.279195317918525) in y 0.776 * [taylor]: Rewrote expression to (+ (* (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z)) 0.279195317918525) 0.776 * [taylor]: Taking taylor expansion of (* (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z)) in y 0.776 * [taylor]: Taking taylor expansion of (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) in y 0.776 * [taylor]: Rewrote expression to (+ (* (/ 1 z) 0.0692910599291889) 0.4917317610505968) 0.776 * [taylor]: Taking taylor expansion of (* (/ 1 z) 0.0692910599291889) in y 0.776 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.776 * [taylor]: Taking taylor expansion of z in y 0.776 * [taylor]: Taking taylor expansion of 0.0692910599291889 in y 0.776 * [taylor]: Taking taylor expansion of 0.4917317610505968 in y 0.776 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.776 * [taylor]: Taking taylor expansion of z in y 0.776 * [taylor]: Taking taylor expansion of 0.279195317918525 in y 0.776 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.776 * [taylor]: Taking taylor expansion of x in y 0.776 * [taylor]: Taking taylor expansion of (fma (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) (fma (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z) 0.279195317918525) (/ 1 x)) in y 0.776 * [taylor]: Rewrote expression to (+ (* (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) (fma (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z) 0.279195317918525)) (/ 1 x)) 0.776 * [taylor]: Taking taylor expansion of (* (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) (fma (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z) 0.279195317918525)) in y 0.776 * [taylor]: Taking taylor expansion of (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) in y 0.776 * [taylor]: Taking taylor expansion of (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y) in y 0.776 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) in y 0.776 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) 3.350343815022304) 0.776 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) in y 0.776 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 6.012459259764103) in y 0.776 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.776 * [taylor]: Taking taylor expansion of z in y 0.776 * [taylor]: Taking taylor expansion of 6.012459259764103 in y 0.776 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.776 * [taylor]: Taking taylor expansion of z in y 0.776 * [taylor]: Taking taylor expansion of 3.350343815022304 in y 0.776 * [taylor]: Taking taylor expansion of y in y 0.778 * [taylor]: Taking taylor expansion of (fma (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z) 0.279195317918525) in y 0.778 * [taylor]: Rewrote expression to (+ (* (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z)) 0.279195317918525) 0.778 * [taylor]: Taking taylor expansion of (* (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z)) in y 0.778 * [taylor]: Taking taylor expansion of (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) in y 0.778 * [taylor]: Rewrote expression to (+ (* (/ 1 z) 0.0692910599291889) 0.4917317610505968) 0.778 * [taylor]: Taking taylor expansion of (* (/ 1 z) 0.0692910599291889) in y 0.778 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.778 * [taylor]: Taking taylor expansion of z in y 0.778 * [taylor]: Taking taylor expansion of 0.0692910599291889 in y 0.778 * [taylor]: Taking taylor expansion of 0.4917317610505968 in y 0.778 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.778 * [taylor]: Taking taylor expansion of z in y 0.778 * [taylor]: Taking taylor expansion of 0.279195317918525 in y 0.778 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.778 * [taylor]: Taking taylor expansion of x in y 0.779 * [taylor]: Taking taylor expansion of (+ (* 0.279195317918525 (/ 1 (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304)))) (+ (* 0.4917317610505968 (/ 1 (* z (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304))))) (* 0.0692910599291889 (/ 1 (* (pow z 2) (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304))))))) in z 0.779 * [taylor]: Taking taylor expansion of (* 0.279195317918525 (/ 1 (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304)))) in z 0.779 * [taylor]: Taking taylor expansion of 0.279195317918525 in z 0.779 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304))) in z 0.779 * [taylor]: Taking taylor expansion of (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304)) in z 0.780 * [taylor]: Taking taylor expansion of (* 6.012459259764103 (/ 1 z)) in z 0.780 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 0.780 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.780 * [taylor]: Taking taylor expansion of z in z 0.780 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 3.350343815022304) in z 0.780 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 0.780 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.780 * [taylor]: Taking taylor expansion of z in z 0.780 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 0.781 * [taylor]: Taking taylor expansion of (+ (* 0.4917317610505968 (/ 1 (* z (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304))))) (* 0.0692910599291889 (/ 1 (* (pow z 2) (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304)))))) in z 0.781 * [taylor]: Taking taylor expansion of (* 0.4917317610505968 (/ 1 (* z (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304))))) in z 0.781 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 0.781 * [taylor]: Taking taylor expansion of (/ 1 (* z (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304)))) in z 0.781 * [taylor]: Taking taylor expansion of (* z (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304))) in z 0.781 * [taylor]: Taking taylor expansion of z in z 0.781 * [taylor]: Taking taylor expansion of (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304)) in z 0.781 * [taylor]: Taking taylor expansion of (* 6.012459259764103 (/ 1 z)) in z 0.781 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 0.781 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.781 * [taylor]: Taking taylor expansion of z in z 0.782 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 3.350343815022304) in z 0.782 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 0.782 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.782 * [taylor]: Taking taylor expansion of z in z 0.783 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 0.785 * [taylor]: Taking taylor expansion of (* 0.0692910599291889 (/ 1 (* (pow z 2) (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304))))) in z 0.785 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 0.785 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304)))) in z 0.786 * [taylor]: Taking taylor expansion of (* (pow z 2) (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304))) in z 0.786 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.786 * [taylor]: Taking taylor expansion of z in z 0.786 * [taylor]: Taking taylor expansion of (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304)) in z 0.786 * [taylor]: Taking taylor expansion of (* 6.012459259764103 (/ 1 z)) in z 0.786 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 0.786 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.786 * [taylor]: Taking taylor expansion of z in z 0.786 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 3.350343815022304) in z 0.786 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 0.786 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.786 * [taylor]: Taking taylor expansion of z in z 0.786 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 0.788 * [taylor]: Taking taylor expansion of 0.0692910599291889 in x 0.791 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.791 * [taylor]: Taking taylor expansion of x in z 0.791 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.791 * [taylor]: Taking taylor expansion of x in x 0.798 * [taylor]: Taking taylor expansion of 0.07512208616047561 in x 0.802 * [taylor]: Taking taylor expansion of 0 in z 0.802 * [taylor]: Taking taylor expansion of 0 in x 0.803 * [taylor]: Taking taylor expansion of 0 in x 0.818 * [taylor]: Taking taylor expansion of (- 0.40462203869992125) in x 0.818 * [taylor]: Taking taylor expansion of 0.40462203869992125 in x 0.819 * [approximate]: Taking taylor expansion of (fma (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) (fma (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z) 0.279195317918525) (/ -1 x)) in (y z x) around 0 0.819 * [taylor]: Taking taylor expansion of (fma (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) (fma (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z) 0.279195317918525) (/ -1 x)) in x 0.819 * [taylor]: Rewrote expression to (+ (* (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) (fma (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z) 0.279195317918525)) (/ -1 x)) 0.819 * [taylor]: Taking taylor expansion of (* (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) (fma (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z) 0.279195317918525)) in x 0.819 * [taylor]: Taking taylor expansion of (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) in x 0.819 * [taylor]: Taking taylor expansion of -1 in x 0.819 * [taylor]: Taking taylor expansion of (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y) in x 0.819 * [taylor]: Taking taylor expansion of (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) in x 0.819 * [taylor]: Rewrote expression to (+ (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) 3.350343815022304) 0.819 * [taylor]: Taking taylor expansion of (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) in x 0.819 * [taylor]: Taking taylor expansion of (- 6.012459259764103 (/ 1 z)) in x 0.819 * [taylor]: Taking taylor expansion of 6.012459259764103 in x 0.819 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.820 * [taylor]: Taking taylor expansion of z in x 0.820 * [taylor]: Taking taylor expansion of (/ -1 z) in x 0.820 * [taylor]: Taking taylor expansion of -1 in x 0.820 * [taylor]: Taking taylor expansion of z in x 0.820 * [taylor]: Taking taylor expansion of 3.350343815022304 in x 0.820 * [taylor]: Taking taylor expansion of y in x 0.820 * [taylor]: Taking taylor expansion of (fma (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z) 0.279195317918525) in x 0.820 * [taylor]: Rewrote expression to (+ (* (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z)) 0.279195317918525) 0.820 * [taylor]: Taking taylor expansion of (* (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z)) in x 0.820 * [taylor]: Taking taylor expansion of (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) in x 0.820 * [taylor]: Rewrote expression to (+ (* (/ -1 z) 0.0692910599291889) 0.4917317610505968) 0.820 * [taylor]: Taking taylor expansion of (* (/ -1 z) 0.0692910599291889) in x 0.820 * [taylor]: Taking taylor expansion of (/ -1 z) in x 0.820 * [taylor]: Taking taylor expansion of -1 in x 0.820 * [taylor]: Taking taylor expansion of z in x 0.821 * [taylor]: Taking taylor expansion of 0.0692910599291889 in x 0.821 * [taylor]: Taking taylor expansion of 0.4917317610505968 in x 0.821 * [taylor]: Taking taylor expansion of (/ -1 z) in x 0.821 * [taylor]: Taking taylor expansion of -1 in x 0.821 * [taylor]: Taking taylor expansion of z in x 0.821 * [taylor]: Taking taylor expansion of 0.279195317918525 in x 0.821 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.821 * [taylor]: Taking taylor expansion of -1 in x 0.821 * [taylor]: Taking taylor expansion of x in x 0.821 * [taylor]: Taking taylor expansion of (fma (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) (fma (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z) 0.279195317918525) (/ -1 x)) in z 0.821 * [taylor]: Rewrote expression to (+ (* (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) (fma (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z) 0.279195317918525)) (/ -1 x)) 0.821 * [taylor]: Taking taylor expansion of (* (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) (fma (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z) 0.279195317918525)) in z 0.821 * [taylor]: Taking taylor expansion of (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) in z 0.821 * [taylor]: Taking taylor expansion of -1 in z 0.821 * [taylor]: Taking taylor expansion of (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y) in z 0.821 * [taylor]: Taking taylor expansion of (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) in z 0.821 * [taylor]: Rewrote expression to (+ (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) 3.350343815022304) 0.821 * [taylor]: Taking taylor expansion of (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) in z 0.821 * [taylor]: Taking taylor expansion of (- 6.012459259764103 (/ 1 z)) in z 0.822 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 0.822 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.822 * [taylor]: Taking taylor expansion of z in z 0.822 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.822 * [taylor]: Taking taylor expansion of -1 in z 0.822 * [taylor]: Taking taylor expansion of z in z 0.822 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 0.822 * [taylor]: Taking taylor expansion of y in z 0.826 * [taylor]: Taking taylor expansion of (fma (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z) 0.279195317918525) in z 0.826 * [taylor]: Rewrote expression to (+ (* (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z)) 0.279195317918525) 0.827 * [taylor]: Taking taylor expansion of (* (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z)) in z 0.827 * [taylor]: Taking taylor expansion of (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) in z 0.827 * [taylor]: Rewrote expression to (+ (* (/ -1 z) 0.0692910599291889) 0.4917317610505968) 0.827 * [taylor]: Taking taylor expansion of (* (/ -1 z) 0.0692910599291889) in z 0.827 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.827 * [taylor]: Taking taylor expansion of -1 in z 0.827 * [taylor]: Taking taylor expansion of z in z 0.827 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 0.827 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 0.827 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.827 * [taylor]: Taking taylor expansion of -1 in z 0.827 * [taylor]: Taking taylor expansion of z in z 0.827 * [taylor]: Taking taylor expansion of 0.279195317918525 in z 0.827 * [taylor]: Taking taylor expansion of (/ -1 x) in z 0.827 * [taylor]: Taking taylor expansion of -1 in z 0.827 * [taylor]: Taking taylor expansion of x in z 0.828 * [taylor]: Taking taylor expansion of (fma (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) (fma (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z) 0.279195317918525) (/ -1 x)) in y 0.828 * [taylor]: Rewrote expression to (+ (* (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) (fma (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z) 0.279195317918525)) (/ -1 x)) 0.828 * [taylor]: Taking taylor expansion of (* (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) (fma (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z) 0.279195317918525)) in y 0.828 * [taylor]: Taking taylor expansion of (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) in y 0.828 * [taylor]: Taking taylor expansion of -1 in y 0.828 * [taylor]: Taking taylor expansion of (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y) in y 0.828 * [taylor]: Taking taylor expansion of (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) in y 0.828 * [taylor]: Rewrote expression to (+ (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) 3.350343815022304) 0.828 * [taylor]: Taking taylor expansion of (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) in y 0.828 * [taylor]: Taking taylor expansion of (- 6.012459259764103 (/ 1 z)) in y 0.828 * [taylor]: Taking taylor expansion of 6.012459259764103 in y 0.828 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.828 * [taylor]: Taking taylor expansion of z in y 0.828 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.828 * [taylor]: Taking taylor expansion of -1 in y 0.828 * [taylor]: Taking taylor expansion of z in y 0.828 * [taylor]: Taking taylor expansion of 3.350343815022304 in y 0.828 * [taylor]: Taking taylor expansion of y in y 0.830 * [taylor]: Taking taylor expansion of (fma (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z) 0.279195317918525) in y 0.830 * [taylor]: Rewrote expression to (+ (* (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z)) 0.279195317918525) 0.830 * [taylor]: Taking taylor expansion of (* (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z)) in y 0.830 * [taylor]: Taking taylor expansion of (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) in y 0.830 * [taylor]: Rewrote expression to (+ (* (/ -1 z) 0.0692910599291889) 0.4917317610505968) 0.830 * [taylor]: Taking taylor expansion of (* (/ -1 z) 0.0692910599291889) in y 0.830 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.830 * [taylor]: Taking taylor expansion of -1 in y 0.830 * [taylor]: Taking taylor expansion of z in y 0.830 * [taylor]: Taking taylor expansion of 0.0692910599291889 in y 0.830 * [taylor]: Taking taylor expansion of 0.4917317610505968 in y 0.830 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.830 * [taylor]: Taking taylor expansion of -1 in y 0.830 * [taylor]: Taking taylor expansion of z in y 0.830 * [taylor]: Taking taylor expansion of 0.279195317918525 in y 0.830 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.830 * [taylor]: Taking taylor expansion of -1 in y 0.830 * [taylor]: Taking taylor expansion of x in y 0.830 * [taylor]: Taking taylor expansion of (fma (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) (fma (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z) 0.279195317918525) (/ -1 x)) in y 0.831 * [taylor]: Rewrote expression to (+ (* (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) (fma (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z) 0.279195317918525)) (/ -1 x)) 0.831 * [taylor]: Taking taylor expansion of (* (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) (fma (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z) 0.279195317918525)) in y 0.831 * [taylor]: Taking taylor expansion of (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) in y 0.831 * [taylor]: Taking taylor expansion of -1 in y 0.831 * [taylor]: Taking taylor expansion of (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y) in y 0.831 * [taylor]: Taking taylor expansion of (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) in y 0.831 * [taylor]: Rewrote expression to (+ (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) 3.350343815022304) 0.831 * [taylor]: Taking taylor expansion of (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) in y 0.831 * [taylor]: Taking taylor expansion of (- 6.012459259764103 (/ 1 z)) in y 0.831 * [taylor]: Taking taylor expansion of 6.012459259764103 in y 0.831 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.831 * [taylor]: Taking taylor expansion of z in y 0.831 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.831 * [taylor]: Taking taylor expansion of -1 in y 0.831 * [taylor]: Taking taylor expansion of z in y 0.831 * [taylor]: Taking taylor expansion of 3.350343815022304 in y 0.831 * [taylor]: Taking taylor expansion of y in y 0.833 * [taylor]: Taking taylor expansion of (fma (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z) 0.279195317918525) in y 0.833 * [taylor]: Rewrote expression to (+ (* (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z)) 0.279195317918525) 0.833 * [taylor]: Taking taylor expansion of (* (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z)) in y 0.833 * [taylor]: Taking taylor expansion of (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) in y 0.833 * [taylor]: Rewrote expression to (+ (* (/ -1 z) 0.0692910599291889) 0.4917317610505968) 0.833 * [taylor]: Taking taylor expansion of (* (/ -1 z) 0.0692910599291889) in y 0.833 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.833 * [taylor]: Taking taylor expansion of -1 in y 0.833 * [taylor]: Taking taylor expansion of z in y 0.833 * [taylor]: Taking taylor expansion of 0.0692910599291889 in y 0.833 * [taylor]: Taking taylor expansion of 0.4917317610505968 in y 0.833 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.833 * [taylor]: Taking taylor expansion of -1 in y 0.833 * [taylor]: Taking taylor expansion of z in y 0.833 * [taylor]: Taking taylor expansion of 0.279195317918525 in y 0.833 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.833 * [taylor]: Taking taylor expansion of -1 in y 0.833 * [taylor]: Taking taylor expansion of x in y 0.834 * [taylor]: Taking taylor expansion of (- (* 0.4917317610505968 (/ 1 (* z (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z)))))) (+ (* 0.279195317918525 (/ 1 (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z))))) (* 0.0692910599291889 (/ 1 (* (pow z 2) (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z)))))))) in z 0.834 * [taylor]: Taking taylor expansion of (* 0.4917317610505968 (/ 1 (* z (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z)))))) in z 0.834 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 0.834 * [taylor]: Taking taylor expansion of (/ 1 (* z (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z))))) in z 0.834 * [taylor]: Taking taylor expansion of (* z (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z)))) in z 0.834 * [taylor]: Taking taylor expansion of z in z 0.835 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z))) in z 0.835 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 3.350343815022304) in z 0.835 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 0.835 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.835 * [taylor]: Taking taylor expansion of z in z 0.835 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 0.835 * [taylor]: Taking taylor expansion of (* 6.012459259764103 (/ 1 z)) in z 0.835 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 0.835 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.835 * [taylor]: Taking taylor expansion of z in z 0.839 * [taylor]: Taking taylor expansion of (+ (* 0.279195317918525 (/ 1 (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z))))) (* 0.0692910599291889 (/ 1 (* (pow z 2) (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z))))))) in z 0.839 * [taylor]: Taking taylor expansion of (* 0.279195317918525 (/ 1 (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z))))) in z 0.839 * [taylor]: Taking taylor expansion of 0.279195317918525 in z 0.839 * [taylor]: Taking taylor expansion of (/ 1 (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z)))) in z 0.839 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z))) in z 0.839 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 3.350343815022304) in z 0.839 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 0.839 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.839 * [taylor]: Taking taylor expansion of z in z 0.839 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 0.840 * [taylor]: Taking taylor expansion of (* 6.012459259764103 (/ 1 z)) in z 0.840 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 0.840 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.840 * [taylor]: Taking taylor expansion of z in z 0.841 * [taylor]: Taking taylor expansion of (* 0.0692910599291889 (/ 1 (* (pow z 2) (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z)))))) in z 0.841 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 0.841 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z))))) in z 0.841 * [taylor]: Taking taylor expansion of (* (pow z 2) (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z)))) in z 0.841 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.841 * [taylor]: Taking taylor expansion of z in z 0.841 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z))) in z 0.841 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 3.350343815022304) in z 0.841 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 0.841 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.841 * [taylor]: Taking taylor expansion of z in z 0.841 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 0.841 * [taylor]: Taking taylor expansion of (* 6.012459259764103 (/ 1 z)) in z 0.841 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 0.841 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.841 * [taylor]: Taking taylor expansion of z in z 0.844 * [taylor]: Taking taylor expansion of (- 0.0692910599291889) in x 0.844 * [taylor]: Taking taylor expansion of 0.0692910599291889 in x 0.847 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z 0.847 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.847 * [taylor]: Taking taylor expansion of x in z 0.848 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.848 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.848 * [taylor]: Taking taylor expansion of x in x 0.855 * [taylor]: Taking taylor expansion of 0.07512208616047561 in x 0.861 * [taylor]: Taking taylor expansion of 0 in z 0.861 * [taylor]: Taking taylor expansion of 0 in x 0.861 * [taylor]: Taking taylor expansion of 0 in x 0.878 * [taylor]: Taking taylor expansion of 0.4046220386999213 in x 0.879 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 0.880 * [approximate]: Taking taylor expansion of (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) in (y z) around 0 0.880 * [taylor]: Taking taylor expansion of (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) in z 0.880 * [taylor]: Taking taylor expansion of y in z 0.880 * [taylor]: Taking taylor expansion of (fma (+ z 6.012459259764103) z 3.350343815022304) in z 0.880 * [taylor]: Rewrote expression to (+ (* (+ z 6.012459259764103) z) 3.350343815022304) 0.880 * [taylor]: Taking taylor expansion of (* (+ z 6.012459259764103) z) in z 0.880 * [taylor]: Taking taylor expansion of (+ z 6.012459259764103) in z 0.880 * [taylor]: Taking taylor expansion of z in z 0.880 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 0.880 * [taylor]: Taking taylor expansion of z in z 0.880 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 0.881 * [taylor]: Taking taylor expansion of (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) in y 0.881 * [taylor]: Taking taylor expansion of y in y 0.881 * [taylor]: Taking taylor expansion of (fma (+ z 6.012459259764103) z 3.350343815022304) in y 0.881 * [taylor]: Rewrote expression to (+ (* (+ z 6.012459259764103) z) 3.350343815022304) 0.881 * [taylor]: Taking taylor expansion of (* (+ z 6.012459259764103) z) in y 0.881 * [taylor]: Taking taylor expansion of (+ z 6.012459259764103) in y 0.881 * [taylor]: Taking taylor expansion of z in y 0.881 * [taylor]: Taking taylor expansion of 6.012459259764103 in y 0.881 * [taylor]: Taking taylor expansion of z in y 0.881 * [taylor]: Taking taylor expansion of 3.350343815022304 in y 0.881 * [taylor]: Taking taylor expansion of (/ y (fma (+ z 6.012459259764103) z 3.350343815022304)) in y 0.881 * [taylor]: Taking taylor expansion of y in y 0.881 * [taylor]: Taking taylor expansion of (fma (+ z 6.012459259764103) z 3.350343815022304) in y 0.881 * [taylor]: Rewrote expression to (+ (* (+ z 6.012459259764103) z) 3.350343815022304) 0.881 * [taylor]: Taking taylor expansion of (* (+ z 6.012459259764103) z) in y 0.881 * [taylor]: Taking taylor expansion of (+ z 6.012459259764103) in y 0.881 * [taylor]: Taking taylor expansion of z in y 0.881 * [taylor]: Taking taylor expansion of 6.012459259764103 in y 0.881 * [taylor]: Taking taylor expansion of z in y 0.881 * [taylor]: Taking taylor expansion of 3.350343815022304 in y 0.882 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304))) in z 0.882 * [taylor]: Taking taylor expansion of (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304)) in z 0.882 * [taylor]: Taking taylor expansion of (* 6.012459259764103 z) in z 0.882 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 0.882 * [taylor]: Taking taylor expansion of z in z 0.882 * [taylor]: Taking taylor expansion of (+ (pow z 2) 3.350343815022304) in z 0.882 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.882 * [taylor]: Taking taylor expansion of z in z 0.882 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 0.884 * [taylor]: Taking taylor expansion of 0 in z 0.888 * [taylor]: Taking taylor expansion of 0 in z 0.893 * [approximate]: Taking taylor expansion of (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) in (y z) around 0 0.893 * [taylor]: Taking taylor expansion of (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) in z 0.893 * [taylor]: Taking taylor expansion of (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y) in z 0.893 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) in z 0.893 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) 3.350343815022304) 0.893 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) in z 0.893 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 6.012459259764103) in z 0.893 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.893 * [taylor]: Taking taylor expansion of z in z 0.894 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 0.894 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.894 * [taylor]: Taking taylor expansion of z in z 0.894 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 0.894 * [taylor]: Taking taylor expansion of y in z 0.895 * [taylor]: Taking taylor expansion of (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) in y 0.895 * [taylor]: Taking taylor expansion of (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y) in y 0.895 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) in y 0.895 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) 3.350343815022304) 0.895 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) in y 0.895 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 6.012459259764103) in y 0.895 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.895 * [taylor]: Taking taylor expansion of z in y 0.895 * [taylor]: Taking taylor expansion of 6.012459259764103 in y 0.895 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.895 * [taylor]: Taking taylor expansion of z in y 0.895 * [taylor]: Taking taylor expansion of 3.350343815022304 in y 0.895 * [taylor]: Taking taylor expansion of y in y 0.897 * [taylor]: Taking taylor expansion of (/ 1 (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y)) in y 0.897 * [taylor]: Taking taylor expansion of (* (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) y) in y 0.897 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) in y 0.897 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) 3.350343815022304) 0.897 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) in y 0.897 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 6.012459259764103) in y 0.897 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.897 * [taylor]: Taking taylor expansion of z in y 0.897 * [taylor]: Taking taylor expansion of 6.012459259764103 in y 0.897 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.897 * [taylor]: Taking taylor expansion of z in y 0.897 * [taylor]: Taking taylor expansion of 3.350343815022304 in y 0.897 * [taylor]: Taking taylor expansion of y in y 0.898 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304))) in z 0.898 * [taylor]: Taking taylor expansion of (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304)) in z 0.898 * [taylor]: Taking taylor expansion of (* 6.012459259764103 (/ 1 z)) in z 0.898 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 0.898 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.899 * [taylor]: Taking taylor expansion of z in z 0.899 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 3.350343815022304) in z 0.899 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 0.899 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.899 * [taylor]: Taking taylor expansion of z in z 0.899 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 0.902 * [taylor]: Taking taylor expansion of 0 in z 0.907 * [taylor]: Taking taylor expansion of 0 in z 0.915 * [approximate]: Taking taylor expansion of (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) in (y z) around 0 0.915 * [taylor]: Taking taylor expansion of (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) in z 0.916 * [taylor]: Taking taylor expansion of -1 in z 0.916 * [taylor]: Taking taylor expansion of (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y) in z 0.916 * [taylor]: Taking taylor expansion of (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) in z 0.916 * [taylor]: Rewrote expression to (+ (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) 3.350343815022304) 0.916 * [taylor]: Taking taylor expansion of (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) in z 0.916 * [taylor]: Taking taylor expansion of (- 6.012459259764103 (/ 1 z)) in z 0.916 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 0.916 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.916 * [taylor]: Taking taylor expansion of z in z 0.916 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.916 * [taylor]: Taking taylor expansion of -1 in z 0.916 * [taylor]: Taking taylor expansion of z in z 0.916 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 0.916 * [taylor]: Taking taylor expansion of y in z 0.917 * [taylor]: Taking taylor expansion of (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) in y 0.917 * [taylor]: Taking taylor expansion of -1 in y 0.917 * [taylor]: Taking taylor expansion of (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y) in y 0.917 * [taylor]: Taking taylor expansion of (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) in y 0.918 * [taylor]: Rewrote expression to (+ (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) 3.350343815022304) 0.918 * [taylor]: Taking taylor expansion of (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) in y 0.918 * [taylor]: Taking taylor expansion of (- 6.012459259764103 (/ 1 z)) in y 0.918 * [taylor]: Taking taylor expansion of 6.012459259764103 in y 0.918 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.918 * [taylor]: Taking taylor expansion of z in y 0.918 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.918 * [taylor]: Taking taylor expansion of -1 in y 0.918 * [taylor]: Taking taylor expansion of z in y 0.918 * [taylor]: Taking taylor expansion of 3.350343815022304 in y 0.918 * [taylor]: Taking taylor expansion of y in y 0.920 * [taylor]: Taking taylor expansion of (/ -1 (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y)) in y 0.920 * [taylor]: Taking taylor expansion of -1 in y 0.920 * [taylor]: Taking taylor expansion of (* (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) y) in y 0.920 * [taylor]: Taking taylor expansion of (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) in y 0.920 * [taylor]: Rewrote expression to (+ (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) 3.350343815022304) 0.920 * [taylor]: Taking taylor expansion of (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) in y 0.920 * [taylor]: Taking taylor expansion of (- 6.012459259764103 (/ 1 z)) in y 0.920 * [taylor]: Taking taylor expansion of 6.012459259764103 in y 0.920 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.920 * [taylor]: Taking taylor expansion of z in y 0.920 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.920 * [taylor]: Taking taylor expansion of -1 in y 0.920 * [taylor]: Taking taylor expansion of z in y 0.920 * [taylor]: Taking taylor expansion of 3.350343815022304 in y 0.920 * [taylor]: Taking taylor expansion of y in y 0.922 * [taylor]: Taking taylor expansion of (/ -1 (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z)))) in z 0.922 * [taylor]: Taking taylor expansion of -1 in z 0.922 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z))) in z 0.922 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 3.350343815022304) in z 0.922 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 0.922 * [taylor]: Taking taylor expansion of (pow z 2) in z 0.922 * [taylor]: Taking taylor expansion of z in z 0.922 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 0.922 * [taylor]: Taking taylor expansion of (* 6.012459259764103 (/ 1 z)) in z 0.922 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 0.922 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.922 * [taylor]: Taking taylor expansion of z in z 0.926 * [taylor]: Taking taylor expansion of 0 in z 0.933 * [taylor]: Taking taylor expansion of 0 in z 0.941 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2) 0.941 * [approximate]: Taking taylor expansion of (/ 1 (fma (+ z 6.012459259764103) z 3.350343815022304)) in (z) around 0 0.941 * [taylor]: Taking taylor expansion of (/ 1 (fma (+ z 6.012459259764103) z 3.350343815022304)) in z 0.941 * [taylor]: Taking taylor expansion of (fma (+ z 6.012459259764103) z 3.350343815022304) in z 0.941 * [taylor]: Rewrote expression to (+ (* (+ z 6.012459259764103) z) 3.350343815022304) 0.941 * [taylor]: Taking taylor expansion of (* (+ z 6.012459259764103) z) in z 0.941 * [taylor]: Taking taylor expansion of (+ z 6.012459259764103) in z 0.941 * [taylor]: Taking taylor expansion of z in z 0.941 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 0.941 * [taylor]: Taking taylor expansion of z in z 0.941 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 0.942 * [taylor]: Taking taylor expansion of (/ 1 (fma (+ z 6.012459259764103) z 3.350343815022304)) in z 0.942 * [taylor]: Taking taylor expansion of (fma (+ z 6.012459259764103) z 3.350343815022304) in z 0.942 * [taylor]: Rewrote expression to (+ (* (+ z 6.012459259764103) z) 3.350343815022304) 0.942 * [taylor]: Taking taylor expansion of (* (+ z 6.012459259764103) z) in z 0.942 * [taylor]: Taking taylor expansion of (+ z 6.012459259764103) in z 0.943 * [taylor]: Taking taylor expansion of z in z 0.943 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 0.943 * [taylor]: Taking taylor expansion of z in z 0.943 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 0.951 * [approximate]: Taking taylor expansion of (/ 1 (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304)) in (z) around 0 0.951 * [taylor]: Taking taylor expansion of (/ 1 (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304)) in z 0.951 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) in z 0.951 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) 3.350343815022304) 0.951 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) in z 0.951 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 6.012459259764103) in z 0.951 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.951 * [taylor]: Taking taylor expansion of z in z 0.952 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 0.952 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.952 * [taylor]: Taking taylor expansion of z in z 0.952 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 0.953 * [taylor]: Taking taylor expansion of (/ 1 (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304)) in z 0.953 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 z) 6.012459259764103) (/ 1 z) 3.350343815022304) in z 0.953 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) 3.350343815022304) 0.953 * [taylor]: Taking taylor expansion of (* (+ (/ 1 z) 6.012459259764103) (/ 1 z)) in z 0.953 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 6.012459259764103) in z 0.953 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.953 * [taylor]: Taking taylor expansion of z in z 0.953 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 0.953 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.953 * [taylor]: Taking taylor expansion of z in z 0.954 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 0.964 * [approximate]: Taking taylor expansion of (/ 1 (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304)) in (z) around 0 0.964 * [taylor]: Taking taylor expansion of (/ 1 (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304)) in z 0.964 * [taylor]: Taking taylor expansion of (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) in z 0.964 * [taylor]: Rewrote expression to (+ (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) 3.350343815022304) 0.964 * [taylor]: Taking taylor expansion of (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) in z 0.964 * [taylor]: Taking taylor expansion of (- 6.012459259764103 (/ 1 z)) in z 0.964 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 0.964 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.964 * [taylor]: Taking taylor expansion of z in z 0.964 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.964 * [taylor]: Taking taylor expansion of -1 in z 0.964 * [taylor]: Taking taylor expansion of z in z 0.964 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 0.966 * [taylor]: Taking taylor expansion of (/ 1 (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304)) in z 0.966 * [taylor]: Taking taylor expansion of (fma (- 6.012459259764103 (/ 1 z)) (/ -1 z) 3.350343815022304) in z 0.966 * [taylor]: Rewrote expression to (+ (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) 3.350343815022304) 0.966 * [taylor]: Taking taylor expansion of (* (- 6.012459259764103 (/ 1 z)) (/ -1 z)) in z 0.966 * [taylor]: Taking taylor expansion of (- 6.012459259764103 (/ 1 z)) in z 0.966 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 0.966 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.966 * [taylor]: Taking taylor expansion of z in z 0.966 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.966 * [taylor]: Taking taylor expansion of -1 in z 0.966 * [taylor]: Taking taylor expansion of z in z 0.966 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 0.978 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 0.978 * [approximate]: Taking taylor expansion of (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) in (z) around 0 0.978 * [taylor]: Taking taylor expansion of (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) in z 0.978 * [taylor]: Rewrote expression to (+ (* (fma z 0.0692910599291889 0.4917317610505968) z) 0.279195317918525) 0.978 * [taylor]: Taking taylor expansion of (* (fma z 0.0692910599291889 0.4917317610505968) z) in z 0.978 * [taylor]: Taking taylor expansion of (fma z 0.0692910599291889 0.4917317610505968) in z 0.978 * [taylor]: Rewrote expression to (+ (* z 0.0692910599291889) 0.4917317610505968) 0.978 * [taylor]: Taking taylor expansion of (* z 0.0692910599291889) in z 0.978 * [taylor]: Taking taylor expansion of z in z 0.978 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 0.978 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 0.978 * [taylor]: Taking taylor expansion of z in z 0.978 * [taylor]: Taking taylor expansion of 0.279195317918525 in z 0.978 * [taylor]: Taking taylor expansion of (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) in z 0.978 * [taylor]: Rewrote expression to (+ (* (fma z 0.0692910599291889 0.4917317610505968) z) 0.279195317918525) 0.978 * [taylor]: Taking taylor expansion of (* (fma z 0.0692910599291889 0.4917317610505968) z) in z 0.978 * [taylor]: Taking taylor expansion of (fma z 0.0692910599291889 0.4917317610505968) in z 0.978 * [taylor]: Rewrote expression to (+ (* z 0.0692910599291889) 0.4917317610505968) 0.978 * [taylor]: Taking taylor expansion of (* z 0.0692910599291889) in z 0.978 * [taylor]: Taking taylor expansion of z in z 0.978 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 0.978 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 0.978 * [taylor]: Taking taylor expansion of z in z 0.978 * [taylor]: Taking taylor expansion of 0.279195317918525 in z 0.985 * [approximate]: Taking taylor expansion of (fma (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z) 0.279195317918525) in (z) around 0 0.985 * [taylor]: Taking taylor expansion of (fma (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z) 0.279195317918525) in z 0.985 * [taylor]: Rewrote expression to (+ (* (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z)) 0.279195317918525) 0.985 * [taylor]: Taking taylor expansion of (* (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z)) in z 0.985 * [taylor]: Taking taylor expansion of (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) in z 0.985 * [taylor]: Rewrote expression to (+ (* (/ 1 z) 0.0692910599291889) 0.4917317610505968) 0.985 * [taylor]: Taking taylor expansion of (* (/ 1 z) 0.0692910599291889) in z 0.985 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.985 * [taylor]: Taking taylor expansion of z in z 0.986 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 0.986 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 0.986 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.986 * [taylor]: Taking taylor expansion of z in z 0.986 * [taylor]: Taking taylor expansion of 0.279195317918525 in z 0.986 * [taylor]: Taking taylor expansion of (fma (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z) 0.279195317918525) in z 0.986 * [taylor]: Rewrote expression to (+ (* (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z)) 0.279195317918525) 0.986 * [taylor]: Taking taylor expansion of (* (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) (/ 1 z)) in z 0.986 * [taylor]: Taking taylor expansion of (fma (/ 1 z) 0.0692910599291889 0.4917317610505968) in z 0.986 * [taylor]: Rewrote expression to (+ (* (/ 1 z) 0.0692910599291889) 0.4917317610505968) 0.986 * [taylor]: Taking taylor expansion of (* (/ 1 z) 0.0692910599291889) in z 0.986 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.986 * [taylor]: Taking taylor expansion of z in z 0.987 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 0.987 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 0.987 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.987 * [taylor]: Taking taylor expansion of z in z 0.987 * [taylor]: Taking taylor expansion of 0.279195317918525 in z 0.996 * [approximate]: Taking taylor expansion of (fma (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z) 0.279195317918525) in (z) around 0 0.996 * [taylor]: Taking taylor expansion of (fma (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z) 0.279195317918525) in z 0.996 * [taylor]: Rewrote expression to (+ (* (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z)) 0.279195317918525) 0.996 * [taylor]: Taking taylor expansion of (* (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z)) in z 0.996 * [taylor]: Taking taylor expansion of (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) in z 0.997 * [taylor]: Rewrote expression to (+ (* (/ -1 z) 0.0692910599291889) 0.4917317610505968) 0.997 * [taylor]: Taking taylor expansion of (* (/ -1 z) 0.0692910599291889) in z 0.997 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.997 * [taylor]: Taking taylor expansion of -1 in z 0.997 * [taylor]: Taking taylor expansion of z in z 0.997 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 0.997 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 0.997 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.997 * [taylor]: Taking taylor expansion of -1 in z 0.997 * [taylor]: Taking taylor expansion of z in z 0.997 * [taylor]: Taking taylor expansion of 0.279195317918525 in z 0.997 * [taylor]: Taking taylor expansion of (fma (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z) 0.279195317918525) in z 0.998 * [taylor]: Rewrote expression to (+ (* (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z)) 0.279195317918525) 0.998 * [taylor]: Taking taylor expansion of (* (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) (/ -1 z)) in z 0.998 * [taylor]: Taking taylor expansion of (fma (/ -1 z) 0.0692910599291889 0.4917317610505968) in z 0.998 * [taylor]: Rewrote expression to (+ (* (/ -1 z) 0.0692910599291889) 0.4917317610505968) 0.998 * [taylor]: Taking taylor expansion of (* (/ -1 z) 0.0692910599291889) in z 0.998 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.998 * [taylor]: Taking taylor expansion of -1 in z 0.998 * [taylor]: Taking taylor expansion of z in z 0.998 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 0.998 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 0.998 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.998 * [taylor]: Taking taylor expansion of -1 in z 0.998 * [taylor]: Taking taylor expansion of z in z 0.998 * [taylor]: Taking taylor expansion of 0.279195317918525 in z 1.006 * * * [progress]: simplifying candidates 1.007 * [simplify]: Simplifying using # : (* (* y (/ 1 (fma (+ z 6.012459259764103) z 3.350343815022304))) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525)) (* y 1) (* y 1) (* y (- 1)) (* y 1) (- 1) (- (fma (+ z 6.012459259764103) z 3.350343815022304)) (/ 1 (fma (+ z 6.012459259764103) z 3.350343815022304)) (/ (fma (+ z 6.012459259764103) z 3.350343815022304) 1) (* (fma z 0.0692910599291889 0.4917317610505968) z) (- (+ x (* 0.08333333333333322 y)) (* 0.0027777777775171986 (* z y))) (+ x (+ (* 0.07512208616047561 (/ y z)) (* 0.0692910599291889 y))) (+ x (+ (* 0.07512208616047561 (/ y z)) (* 0.0692910599291889 y))) (- (+ (* 0.8721611605573599 (* (pow z 2) y)) (* 0.29847682960661837 y)) (* 0.5356404826116027 (* z y))) (- (+ (* 32.7993225353008 (/ y (pow z 4))) (/ y (pow z 2))) (* 6.012459259764103 (/ y (pow z 3)))) (- (+ (* 32.7993225353008 (/ y (pow z 4))) (/ y (pow z 2))) (* 6.012459259764103 (/ y (pow z 3)))) (- (+ (* 0.8721611605573599 (pow z 2)) 0.29847682960661837) (* 0.5356404826116027 z)) (- (+ (* 32.7993225353008 (/ 1 (pow z 4))) (/ 1 (pow z 2))) (* 6.012459259764103 (/ 1 (pow z 3)))) (- (+ (* 32.7993225353008 (/ 1 (pow z 4))) (/ 1 (pow z 2))) (* 6.012459259764103 (/ 1 (pow z 3)))) (+ (* 0.4917317610505968 z) (+ (* 0.0692910599291889 (pow z 2)) 0.279195317918525)) (+ (* 0.4917317610505968 z) (+ (* 0.0692910599291889 (pow z 2)) 0.279195317918525)) (+ (* 0.4917317610505968 z) (+ (* 0.0692910599291889 (pow z 2)) 0.279195317918525)) 1.011 * * [simplify]: iteration 0 : 172 enodes (cost 93 ) 1.015 * * [simplify]: iteration 1 : 616 enodes (cost 83 ) 1.030 * * [simplify]: iteration 2 : 3221 enodes (cost 80 ) 1.108 * * [simplify]: iteration 3 : 5001 enodes (cost 77 ) 1.109 * [simplify]: Simplified to: (* (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) (/ y (fma (+ z 6.012459259764103) z 3.350343815022304))) y y (- y) y (- 1) (- (fma (+ z 6.012459259764103) z 3.350343815022304)) (/ 1 (fma (+ z 6.012459259764103) z 3.350343815022304)) (fma (+ z 6.012459259764103) z 3.350343815022304) (* (fma z 0.0692910599291889 0.4917317610505968) z) (fma y (- 0.08333333333333322 (* 0.0027777777775171986 z)) x) (fma 0.07512208616047561 (/ y z) (fma y 0.0692910599291889 x)) (fma 0.07512208616047561 (/ y z) (fma y 0.0692910599291889 x)) (* y (fma (pow z 2) 0.8721611605573599 (- 0.29847682960661837 (* 0.5356404826116027 z)))) (fma 32.7993225353008 (/ y (pow z 4)) (- (/ y (pow z 2)) (* 6.012459259764103 (/ y (pow z 3))))) (fma 32.7993225353008 (/ y (pow z 4)) (- (/ y (pow z 2)) (* 6.012459259764103 (/ y (pow z 3))))) (fma z (- (* 0.8721611605573599 z) 0.5356404826116027) 0.29847682960661837) (fma 32.7993225353008 (/ 1 (pow z 4)) (- (/ 1 (pow z 2)) (* 6.012459259764103 (/ 1 (pow z 3))))) (fma 32.7993225353008 (/ 1 (pow z 4)) (- (/ 1 (pow z 2)) (* 6.012459259764103 (/ 1 (pow z 3))))) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) 1.109 * * * [progress]: adding candidates to table 1.164 * * [progress]: iteration 3 / 4 1.164 * * * [progress]: picking best candidate 1.168 * * * * [pick]: Picked # 1.168 * * * [progress]: localizing error 1.183 * * * [progress]: generating rewritten candidates 1.183 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 1.195 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 1.203 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1) 1.207 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 1 1) 1.212 * * * [progress]: generating series expansions 1.212 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 1.212 * [approximate]: Taking taylor expansion of (/ (* (+ (* 0.4917317610505968 z) (+ (* 0.0692910599291889 (pow z 2)) 0.279195317918525)) y) (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304))) in (y z) around 0 1.212 * [taylor]: Taking taylor expansion of (/ (* (+ (* 0.4917317610505968 z) (+ (* 0.0692910599291889 (pow z 2)) 0.279195317918525)) y) (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304))) in z 1.212 * [taylor]: Taking taylor expansion of (* (+ (* 0.4917317610505968 z) (+ (* 0.0692910599291889 (pow z 2)) 0.279195317918525)) y) in z 1.212 * [taylor]: Taking taylor expansion of (+ (* 0.4917317610505968 z) (+ (* 0.0692910599291889 (pow z 2)) 0.279195317918525)) in z 1.212 * [taylor]: Taking taylor expansion of (* 0.4917317610505968 z) in z 1.212 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 1.212 * [taylor]: Taking taylor expansion of z in z 1.212 * [taylor]: Taking taylor expansion of (+ (* 0.0692910599291889 (pow z 2)) 0.279195317918525) in z 1.212 * [taylor]: Taking taylor expansion of (* 0.0692910599291889 (pow z 2)) in z 1.212 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 1.212 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.212 * [taylor]: Taking taylor expansion of z in z 1.212 * [taylor]: Taking taylor expansion of 0.279195317918525 in z 1.212 * [taylor]: Taking taylor expansion of y in z 1.212 * [taylor]: Taking taylor expansion of (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304)) in z 1.213 * [taylor]: Taking taylor expansion of (* 6.012459259764103 z) in z 1.213 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 1.213 * [taylor]: Taking taylor expansion of z in z 1.213 * [taylor]: Taking taylor expansion of (+ (pow z 2) 3.350343815022304) in z 1.213 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.213 * [taylor]: Taking taylor expansion of z in z 1.213 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 1.214 * [taylor]: Taking taylor expansion of (/ (* (+ (* 0.4917317610505968 z) (+ (* 0.0692910599291889 (pow z 2)) 0.279195317918525)) y) (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304))) in y 1.214 * [taylor]: Taking taylor expansion of (* (+ (* 0.4917317610505968 z) (+ (* 0.0692910599291889 (pow z 2)) 0.279195317918525)) y) in y 1.214 * [taylor]: Taking taylor expansion of (+ (* 0.4917317610505968 z) (+ (* 0.0692910599291889 (pow z 2)) 0.279195317918525)) in y 1.214 * [taylor]: Taking taylor expansion of (* 0.4917317610505968 z) in y 1.215 * [taylor]: Taking taylor expansion of 0.4917317610505968 in y 1.215 * [taylor]: Taking taylor expansion of z in y 1.215 * [taylor]: Taking taylor expansion of (+ (* 0.0692910599291889 (pow z 2)) 0.279195317918525) in y 1.215 * [taylor]: Taking taylor expansion of (* 0.0692910599291889 (pow z 2)) in y 1.215 * [taylor]: Taking taylor expansion of 0.0692910599291889 in y 1.215 * [taylor]: Taking taylor expansion of (pow z 2) in y 1.215 * [taylor]: Taking taylor expansion of z in y 1.215 * [taylor]: Taking taylor expansion of 0.279195317918525 in y 1.215 * [taylor]: Taking taylor expansion of y in y 1.215 * [taylor]: Taking taylor expansion of (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304)) in y 1.215 * [taylor]: Taking taylor expansion of (* 6.012459259764103 z) in y 1.215 * [taylor]: Taking taylor expansion of 6.012459259764103 in y 1.215 * [taylor]: Taking taylor expansion of z in y 1.215 * [taylor]: Taking taylor expansion of (+ (pow z 2) 3.350343815022304) in y 1.215 * [taylor]: Taking taylor expansion of (pow z 2) in y 1.215 * [taylor]: Taking taylor expansion of z in y 1.215 * [taylor]: Taking taylor expansion of 3.350343815022304 in y 1.217 * [taylor]: Taking taylor expansion of (/ (* (+ (* 0.4917317610505968 z) (+ (* 0.0692910599291889 (pow z 2)) 0.279195317918525)) y) (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304))) in y 1.217 * [taylor]: Taking taylor expansion of (* (+ (* 0.4917317610505968 z) (+ (* 0.0692910599291889 (pow z 2)) 0.279195317918525)) y) in y 1.217 * [taylor]: Taking taylor expansion of (+ (* 0.4917317610505968 z) (+ (* 0.0692910599291889 (pow z 2)) 0.279195317918525)) in y 1.217 * [taylor]: Taking taylor expansion of (* 0.4917317610505968 z) in y 1.217 * [taylor]: Taking taylor expansion of 0.4917317610505968 in y 1.217 * [taylor]: Taking taylor expansion of z in y 1.217 * [taylor]: Taking taylor expansion of (+ (* 0.0692910599291889 (pow z 2)) 0.279195317918525) in y 1.217 * [taylor]: Taking taylor expansion of (* 0.0692910599291889 (pow z 2)) in y 1.217 * [taylor]: Taking taylor expansion of 0.0692910599291889 in y 1.217 * [taylor]: Taking taylor expansion of (pow z 2) in y 1.218 * [taylor]: Taking taylor expansion of z in y 1.218 * [taylor]: Taking taylor expansion of 0.279195317918525 in y 1.218 * [taylor]: Taking taylor expansion of y in y 1.218 * [taylor]: Taking taylor expansion of (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304)) in y 1.218 * [taylor]: Taking taylor expansion of (* 6.012459259764103 z) in y 1.218 * [taylor]: Taking taylor expansion of 6.012459259764103 in y 1.218 * [taylor]: Taking taylor expansion of z in y 1.218 * [taylor]: Taking taylor expansion of (+ (pow z 2) 3.350343815022304) in y 1.218 * [taylor]: Taking taylor expansion of (pow z 2) in y 1.218 * [taylor]: Taking taylor expansion of z in y 1.218 * [taylor]: Taking taylor expansion of 3.350343815022304 in y 1.220 * [taylor]: Taking taylor expansion of (/ (+ (* 0.4917317610505968 z) (+ (* 0.0692910599291889 (pow z 2)) 0.279195317918525)) (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304))) in z 1.220 * [taylor]: Taking taylor expansion of (+ (* 0.4917317610505968 z) (+ (* 0.0692910599291889 (pow z 2)) 0.279195317918525)) in z 1.220 * [taylor]: Taking taylor expansion of (* 0.4917317610505968 z) in z 1.220 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 1.220 * [taylor]: Taking taylor expansion of z in z 1.220 * [taylor]: Taking taylor expansion of (+ (* 0.0692910599291889 (pow z 2)) 0.279195317918525) in z 1.220 * [taylor]: Taking taylor expansion of (* 0.0692910599291889 (pow z 2)) in z 1.220 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 1.220 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.220 * [taylor]: Taking taylor expansion of z in z 1.220 * [taylor]: Taking taylor expansion of 0.279195317918525 in z 1.220 * [taylor]: Taking taylor expansion of (+ (* 6.012459259764103 z) (+ (pow z 2) 3.350343815022304)) in z 1.220 * [taylor]: Taking taylor expansion of (* 6.012459259764103 z) in z 1.220 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 1.220 * [taylor]: Taking taylor expansion of z in z 1.220 * [taylor]: Taking taylor expansion of (+ (pow z 2) 3.350343815022304) in z 1.220 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.221 * [taylor]: Taking taylor expansion of z in z 1.221 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 1.226 * [taylor]: Taking taylor expansion of 0 in z 1.235 * [taylor]: Taking taylor expansion of 0 in z 1.242 * [approximate]: Taking taylor expansion of (/ (+ (* 0.4917317610505968 (/ 1 z)) (+ (* 0.0692910599291889 (/ 1 (pow z 2))) 0.279195317918525)) (* y (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304)))) in (y z) around 0 1.242 * [taylor]: Taking taylor expansion of (/ (+ (* 0.4917317610505968 (/ 1 z)) (+ (* 0.0692910599291889 (/ 1 (pow z 2))) 0.279195317918525)) (* y (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304)))) in z 1.242 * [taylor]: Taking taylor expansion of (+ (* 0.4917317610505968 (/ 1 z)) (+ (* 0.0692910599291889 (/ 1 (pow z 2))) 0.279195317918525)) in z 1.243 * [taylor]: Taking taylor expansion of (* 0.4917317610505968 (/ 1 z)) in z 1.243 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 1.243 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.243 * [taylor]: Taking taylor expansion of z in z 1.243 * [taylor]: Taking taylor expansion of (+ (* 0.0692910599291889 (/ 1 (pow z 2))) 0.279195317918525) in z 1.243 * [taylor]: Taking taylor expansion of (* 0.0692910599291889 (/ 1 (pow z 2))) in z 1.243 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 1.243 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 1.243 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.243 * [taylor]: Taking taylor expansion of z in z 1.243 * [taylor]: Taking taylor expansion of 0.279195317918525 in z 1.243 * [taylor]: Taking taylor expansion of (* y (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304))) in z 1.244 * [taylor]: Taking taylor expansion of y in z 1.244 * [taylor]: Taking taylor expansion of (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304)) in z 1.244 * [taylor]: Taking taylor expansion of (* 6.012459259764103 (/ 1 z)) in z 1.244 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 1.244 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.244 * [taylor]: Taking taylor expansion of z in z 1.244 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 3.350343815022304) in z 1.244 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 1.244 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.244 * [taylor]: Taking taylor expansion of z in z 1.245 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 1.246 * [taylor]: Taking taylor expansion of (/ (+ (* 0.4917317610505968 (/ 1 z)) (+ (* 0.0692910599291889 (/ 1 (pow z 2))) 0.279195317918525)) (* y (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304)))) in y 1.246 * [taylor]: Taking taylor expansion of (+ (* 0.4917317610505968 (/ 1 z)) (+ (* 0.0692910599291889 (/ 1 (pow z 2))) 0.279195317918525)) in y 1.246 * [taylor]: Taking taylor expansion of (* 0.4917317610505968 (/ 1 z)) in y 1.246 * [taylor]: Taking taylor expansion of 0.4917317610505968 in y 1.246 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.246 * [taylor]: Taking taylor expansion of z in y 1.246 * [taylor]: Taking taylor expansion of (+ (* 0.0692910599291889 (/ 1 (pow z 2))) 0.279195317918525) in y 1.246 * [taylor]: Taking taylor expansion of (* 0.0692910599291889 (/ 1 (pow z 2))) in y 1.246 * [taylor]: Taking taylor expansion of 0.0692910599291889 in y 1.246 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 1.249 * [taylor]: Taking taylor expansion of (pow z 2) in y 1.249 * [taylor]: Taking taylor expansion of z in y 1.249 * [taylor]: Taking taylor expansion of 0.279195317918525 in y 1.249 * [taylor]: Taking taylor expansion of (* y (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304))) in y 1.249 * [taylor]: Taking taylor expansion of y in y 1.249 * [taylor]: Taking taylor expansion of (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304)) in y 1.249 * [taylor]: Taking taylor expansion of (* 6.012459259764103 (/ 1 z)) in y 1.249 * [taylor]: Taking taylor expansion of 6.012459259764103 in y 1.249 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.249 * [taylor]: Taking taylor expansion of z in y 1.249 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 3.350343815022304) in y 1.249 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 1.249 * [taylor]: Taking taylor expansion of (pow z 2) in y 1.249 * [taylor]: Taking taylor expansion of z in y 1.249 * [taylor]: Taking taylor expansion of 3.350343815022304 in y 1.252 * [taylor]: Taking taylor expansion of (/ (+ (* 0.4917317610505968 (/ 1 z)) (+ (* 0.0692910599291889 (/ 1 (pow z 2))) 0.279195317918525)) (* y (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304)))) in y 1.252 * [taylor]: Taking taylor expansion of (+ (* 0.4917317610505968 (/ 1 z)) (+ (* 0.0692910599291889 (/ 1 (pow z 2))) 0.279195317918525)) in y 1.252 * [taylor]: Taking taylor expansion of (* 0.4917317610505968 (/ 1 z)) in y 1.252 * [taylor]: Taking taylor expansion of 0.4917317610505968 in y 1.252 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.252 * [taylor]: Taking taylor expansion of z in y 1.252 * [taylor]: Taking taylor expansion of (+ (* 0.0692910599291889 (/ 1 (pow z 2))) 0.279195317918525) in y 1.252 * [taylor]: Taking taylor expansion of (* 0.0692910599291889 (/ 1 (pow z 2))) in y 1.252 * [taylor]: Taking taylor expansion of 0.0692910599291889 in y 1.252 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 1.252 * [taylor]: Taking taylor expansion of (pow z 2) in y 1.252 * [taylor]: Taking taylor expansion of z in y 1.252 * [taylor]: Taking taylor expansion of 0.279195317918525 in y 1.252 * [taylor]: Taking taylor expansion of (* y (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304))) in y 1.252 * [taylor]: Taking taylor expansion of y in y 1.252 * [taylor]: Taking taylor expansion of (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304)) in y 1.252 * [taylor]: Taking taylor expansion of (* 6.012459259764103 (/ 1 z)) in y 1.252 * [taylor]: Taking taylor expansion of 6.012459259764103 in y 1.252 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.252 * [taylor]: Taking taylor expansion of z in y 1.252 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 3.350343815022304) in y 1.252 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 1.252 * [taylor]: Taking taylor expansion of (pow z 2) in y 1.252 * [taylor]: Taking taylor expansion of z in y 1.252 * [taylor]: Taking taylor expansion of 3.350343815022304 in y 1.255 * [taylor]: Taking taylor expansion of (/ (+ (* 0.4917317610505968 (/ 1 z)) (+ (* 0.0692910599291889 (/ 1 (pow z 2))) 0.279195317918525)) (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304))) in z 1.255 * [taylor]: Taking taylor expansion of (+ (* 0.4917317610505968 (/ 1 z)) (+ (* 0.0692910599291889 (/ 1 (pow z 2))) 0.279195317918525)) in z 1.255 * [taylor]: Taking taylor expansion of (* 0.4917317610505968 (/ 1 z)) in z 1.255 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 1.255 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.255 * [taylor]: Taking taylor expansion of z in z 1.255 * [taylor]: Taking taylor expansion of (+ (* 0.0692910599291889 (/ 1 (pow z 2))) 0.279195317918525) in z 1.255 * [taylor]: Taking taylor expansion of (* 0.0692910599291889 (/ 1 (pow z 2))) in z 1.255 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 1.255 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 1.255 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.255 * [taylor]: Taking taylor expansion of z in z 1.256 * [taylor]: Taking taylor expansion of 0.279195317918525 in z 1.256 * [taylor]: Taking taylor expansion of (+ (* 6.012459259764103 (/ 1 z)) (+ (/ 1 (pow z 2)) 3.350343815022304)) in z 1.256 * [taylor]: Taking taylor expansion of (* 6.012459259764103 (/ 1 z)) in z 1.256 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 1.256 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.256 * [taylor]: Taking taylor expansion of z in z 1.256 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 3.350343815022304) in z 1.256 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 1.256 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.256 * [taylor]: Taking taylor expansion of z in z 1.257 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 1.263 * [taylor]: Taking taylor expansion of 0 in z 1.274 * [taylor]: Taking taylor expansion of 0 in z 1.283 * [approximate]: Taking taylor expansion of (* -1 (/ (- (+ (* 0.0692910599291889 (/ 1 (pow z 2))) 0.279195317918525) (* 0.4917317610505968 (/ 1 z))) (* y (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z)))))) in (y z) around 0 1.283 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (* 0.0692910599291889 (/ 1 (pow z 2))) 0.279195317918525) (* 0.4917317610505968 (/ 1 z))) (* y (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z)))))) in z 1.283 * [taylor]: Taking taylor expansion of -1 in z 1.283 * [taylor]: Taking taylor expansion of (/ (- (+ (* 0.0692910599291889 (/ 1 (pow z 2))) 0.279195317918525) (* 0.4917317610505968 (/ 1 z))) (* y (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z))))) in z 1.283 * [taylor]: Taking taylor expansion of (- (+ (* 0.0692910599291889 (/ 1 (pow z 2))) 0.279195317918525) (* 0.4917317610505968 (/ 1 z))) in z 1.283 * [taylor]: Taking taylor expansion of (+ (* 0.0692910599291889 (/ 1 (pow z 2))) 0.279195317918525) in z 1.283 * [taylor]: Taking taylor expansion of (* 0.0692910599291889 (/ 1 (pow z 2))) in z 1.283 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 1.283 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 1.283 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.283 * [taylor]: Taking taylor expansion of z in z 1.283 * [taylor]: Taking taylor expansion of 0.279195317918525 in z 1.283 * [taylor]: Taking taylor expansion of (* 0.4917317610505968 (/ 1 z)) in z 1.283 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 1.283 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.283 * [taylor]: Taking taylor expansion of z in z 1.284 * [taylor]: Taking taylor expansion of (* y (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z)))) in z 1.284 * [taylor]: Taking taylor expansion of y in z 1.284 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z))) in z 1.284 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 3.350343815022304) in z 1.284 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 1.284 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.284 * [taylor]: Taking taylor expansion of z in z 1.284 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 1.284 * [taylor]: Taking taylor expansion of (* 6.012459259764103 (/ 1 z)) in z 1.284 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 1.284 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.284 * [taylor]: Taking taylor expansion of z in z 1.286 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (* 0.0692910599291889 (/ 1 (pow z 2))) 0.279195317918525) (* 0.4917317610505968 (/ 1 z))) (* y (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z)))))) in y 1.286 * [taylor]: Taking taylor expansion of -1 in y 1.286 * [taylor]: Taking taylor expansion of (/ (- (+ (* 0.0692910599291889 (/ 1 (pow z 2))) 0.279195317918525) (* 0.4917317610505968 (/ 1 z))) (* y (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z))))) in y 1.286 * [taylor]: Taking taylor expansion of (- (+ (* 0.0692910599291889 (/ 1 (pow z 2))) 0.279195317918525) (* 0.4917317610505968 (/ 1 z))) in y 1.286 * [taylor]: Taking taylor expansion of (+ (* 0.0692910599291889 (/ 1 (pow z 2))) 0.279195317918525) in y 1.286 * [taylor]: Taking taylor expansion of (* 0.0692910599291889 (/ 1 (pow z 2))) in y 1.286 * [taylor]: Taking taylor expansion of 0.0692910599291889 in y 1.286 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 1.286 * [taylor]: Taking taylor expansion of (pow z 2) in y 1.286 * [taylor]: Taking taylor expansion of z in y 1.286 * [taylor]: Taking taylor expansion of 0.279195317918525 in y 1.286 * [taylor]: Taking taylor expansion of (* 0.4917317610505968 (/ 1 z)) in y 1.286 * [taylor]: Taking taylor expansion of 0.4917317610505968 in y 1.286 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.286 * [taylor]: Taking taylor expansion of z in y 1.286 * [taylor]: Taking taylor expansion of (* y (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z)))) in y 1.286 * [taylor]: Taking taylor expansion of y in y 1.286 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z))) in y 1.286 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 3.350343815022304) in y 1.286 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 1.287 * [taylor]: Taking taylor expansion of (pow z 2) in y 1.287 * [taylor]: Taking taylor expansion of z in y 1.287 * [taylor]: Taking taylor expansion of 3.350343815022304 in y 1.287 * [taylor]: Taking taylor expansion of (* 6.012459259764103 (/ 1 z)) in y 1.287 * [taylor]: Taking taylor expansion of 6.012459259764103 in y 1.287 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.287 * [taylor]: Taking taylor expansion of z in y 1.289 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (* 0.0692910599291889 (/ 1 (pow z 2))) 0.279195317918525) (* 0.4917317610505968 (/ 1 z))) (* y (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z)))))) in y 1.290 * [taylor]: Taking taylor expansion of -1 in y 1.290 * [taylor]: Taking taylor expansion of (/ (- (+ (* 0.0692910599291889 (/ 1 (pow z 2))) 0.279195317918525) (* 0.4917317610505968 (/ 1 z))) (* y (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z))))) in y 1.290 * [taylor]: Taking taylor expansion of (- (+ (* 0.0692910599291889 (/ 1 (pow z 2))) 0.279195317918525) (* 0.4917317610505968 (/ 1 z))) in y 1.290 * [taylor]: Taking taylor expansion of (+ (* 0.0692910599291889 (/ 1 (pow z 2))) 0.279195317918525) in y 1.290 * [taylor]: Taking taylor expansion of (* 0.0692910599291889 (/ 1 (pow z 2))) in y 1.290 * [taylor]: Taking taylor expansion of 0.0692910599291889 in y 1.290 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 1.290 * [taylor]: Taking taylor expansion of (pow z 2) in y 1.290 * [taylor]: Taking taylor expansion of z in y 1.290 * [taylor]: Taking taylor expansion of 0.279195317918525 in y 1.290 * [taylor]: Taking taylor expansion of (* 0.4917317610505968 (/ 1 z)) in y 1.290 * [taylor]: Taking taylor expansion of 0.4917317610505968 in y 1.290 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.290 * [taylor]: Taking taylor expansion of z in y 1.290 * [taylor]: Taking taylor expansion of (* y (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z)))) in y 1.290 * [taylor]: Taking taylor expansion of y in y 1.290 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z))) in y 1.290 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 3.350343815022304) in y 1.290 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 1.290 * [taylor]: Taking taylor expansion of (pow z 2) in y 1.290 * [taylor]: Taking taylor expansion of z in y 1.290 * [taylor]: Taking taylor expansion of 3.350343815022304 in y 1.290 * [taylor]: Taking taylor expansion of (* 6.012459259764103 (/ 1 z)) in y 1.290 * [taylor]: Taking taylor expansion of 6.012459259764103 in y 1.290 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.290 * [taylor]: Taking taylor expansion of z in y 1.293 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (* 0.0692910599291889 (/ 1 (pow z 2))) 0.279195317918525) (* 0.4917317610505968 (/ 1 z))) (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z))))) in z 1.293 * [taylor]: Taking taylor expansion of -1 in z 1.293 * [taylor]: Taking taylor expansion of (/ (- (+ (* 0.0692910599291889 (/ 1 (pow z 2))) 0.279195317918525) (* 0.4917317610505968 (/ 1 z))) (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z)))) in z 1.293 * [taylor]: Taking taylor expansion of (- (+ (* 0.0692910599291889 (/ 1 (pow z 2))) 0.279195317918525) (* 0.4917317610505968 (/ 1 z))) in z 1.293 * [taylor]: Taking taylor expansion of (+ (* 0.0692910599291889 (/ 1 (pow z 2))) 0.279195317918525) in z 1.293 * [taylor]: Taking taylor expansion of (* 0.0692910599291889 (/ 1 (pow z 2))) in z 1.293 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 1.293 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 1.293 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.294 * [taylor]: Taking taylor expansion of z in z 1.294 * [taylor]: Taking taylor expansion of 0.279195317918525 in z 1.294 * [taylor]: Taking taylor expansion of (* 0.4917317610505968 (/ 1 z)) in z 1.294 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 1.294 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.294 * [taylor]: Taking taylor expansion of z in z 1.294 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow z 2)) 3.350343815022304) (* 6.012459259764103 (/ 1 z))) in z 1.294 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow z 2)) 3.350343815022304) in z 1.294 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 1.294 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.294 * [taylor]: Taking taylor expansion of z in z 1.295 * [taylor]: Taking taylor expansion of 3.350343815022304 in z 1.295 * [taylor]: Taking taylor expansion of (* 6.012459259764103 (/ 1 z)) in z 1.295 * [taylor]: Taking taylor expansion of 6.012459259764103 in z 1.295 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.295 * [taylor]: Taking taylor expansion of z in z 1.302 * [taylor]: Taking taylor expansion of 0 in z 1.318 * [taylor]: Taking taylor expansion of 0 in z 1.329 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 1.330 * [approximate]: Taking taylor expansion of (* (+ (* 0.4917317610505968 z) (+ (* 0.0692910599291889 (pow z 2)) 0.279195317918525)) y) in (y z) around 0 1.330 * [taylor]: Taking taylor expansion of (* (+ (* 0.4917317610505968 z) (+ (* 0.0692910599291889 (pow z 2)) 0.279195317918525)) y) in z 1.330 * [taylor]: Taking taylor expansion of (+ (* 0.4917317610505968 z) (+ (* 0.0692910599291889 (pow z 2)) 0.279195317918525)) in z 1.330 * [taylor]: Taking taylor expansion of (* 0.4917317610505968 z) in z 1.330 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 1.330 * [taylor]: Taking taylor expansion of z in z 1.330 * [taylor]: Taking taylor expansion of (+ (* 0.0692910599291889 (pow z 2)) 0.279195317918525) in z 1.330 * [taylor]: Taking taylor expansion of (* 0.0692910599291889 (pow z 2)) in z 1.330 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 1.330 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.330 * [taylor]: Taking taylor expansion of z in z 1.330 * [taylor]: Taking taylor expansion of 0.279195317918525 in z 1.330 * [taylor]: Taking taylor expansion of y in z 1.330 * [taylor]: Taking taylor expansion of (* (+ (* 0.4917317610505968 z) (+ (* 0.0692910599291889 (pow z 2)) 0.279195317918525)) y) in y 1.330 * [taylor]: Taking taylor expansion of (+ (* 0.4917317610505968 z) (+ (* 0.0692910599291889 (pow z 2)) 0.279195317918525)) in y 1.330 * [taylor]: Taking taylor expansion of (* 0.4917317610505968 z) in y 1.330 * [taylor]: Taking taylor expansion of 0.4917317610505968 in y 1.330 * [taylor]: Taking taylor expansion of z in y 1.330 * [taylor]: Taking taylor expansion of (+ (* 0.0692910599291889 (pow z 2)) 0.279195317918525) in y 1.330 * [taylor]: Taking taylor expansion of (* 0.0692910599291889 (pow z 2)) in y 1.330 * [taylor]: Taking taylor expansion of 0.0692910599291889 in y 1.330 * [taylor]: Taking taylor expansion of (pow z 2) in y 1.330 * [taylor]: Taking taylor expansion of z in y 1.330 * [taylor]: Taking taylor expansion of 0.279195317918525 in y 1.330 * [taylor]: Taking taylor expansion of y in y 1.330 * [taylor]: Taking taylor expansion of (* (+ (* 0.4917317610505968 z) (+ (* 0.0692910599291889 (pow z 2)) 0.279195317918525)) y) in y 1.330 * [taylor]: Taking taylor expansion of (+ (* 0.4917317610505968 z) (+ (* 0.0692910599291889 (pow z 2)) 0.279195317918525)) in y 1.330 * [taylor]: Taking taylor expansion of (* 0.4917317610505968 z) in y 1.330 * [taylor]: Taking taylor expansion of 0.4917317610505968 in y 1.330 * [taylor]: Taking taylor expansion of z in y 1.330 * [taylor]: Taking taylor expansion of (+ (* 0.0692910599291889 (pow z 2)) 0.279195317918525) in y 1.330 * [taylor]: Taking taylor expansion of (* 0.0692910599291889 (pow z 2)) in y 1.330 * [taylor]: Taking taylor expansion of 0.0692910599291889 in y 1.330 * [taylor]: Taking taylor expansion of (pow z 2) in y 1.330 * [taylor]: Taking taylor expansion of z in y 1.330 * [taylor]: Taking taylor expansion of 0.279195317918525 in y 1.330 * [taylor]: Taking taylor expansion of y in y 1.331 * [taylor]: Taking taylor expansion of 0 in z 1.335 * [taylor]: Taking taylor expansion of (+ (* 0.4917317610505968 z) (+ (* 0.0692910599291889 (pow z 2)) 0.279195317918525)) in z 1.335 * [taylor]: Taking taylor expansion of (* 0.4917317610505968 z) in z 1.335 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 1.335 * [taylor]: Taking taylor expansion of z in z 1.335 * [taylor]: Taking taylor expansion of (+ (* 0.0692910599291889 (pow z 2)) 0.279195317918525) in z 1.335 * [taylor]: Taking taylor expansion of (* 0.0692910599291889 (pow z 2)) in z 1.335 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 1.335 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.335 * [taylor]: Taking taylor expansion of z in z 1.335 * [taylor]: Taking taylor expansion of 0.279195317918525 in z 1.338 * [taylor]: Taking taylor expansion of 0 in z 1.343 * [taylor]: Taking taylor expansion of 0 in z 1.345 * [approximate]: Taking taylor expansion of (/ (+ (* 0.4917317610505968 (/ 1 z)) (+ (* 0.0692910599291889 (/ 1 (pow z 2))) 0.279195317918525)) y) in (y z) around 0 1.345 * [taylor]: Taking taylor expansion of (/ (+ (* 0.4917317610505968 (/ 1 z)) (+ (* 0.0692910599291889 (/ 1 (pow z 2))) 0.279195317918525)) y) in z 1.345 * [taylor]: Taking taylor expansion of (+ (* 0.4917317610505968 (/ 1 z)) (+ (* 0.0692910599291889 (/ 1 (pow z 2))) 0.279195317918525)) in z 1.345 * [taylor]: Taking taylor expansion of (* 0.4917317610505968 (/ 1 z)) in z 1.345 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 1.345 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.345 * [taylor]: Taking taylor expansion of z in z 1.345 * [taylor]: Taking taylor expansion of (+ (* 0.0692910599291889 (/ 1 (pow z 2))) 0.279195317918525) in z 1.345 * [taylor]: Taking taylor expansion of (* 0.0692910599291889 (/ 1 (pow z 2))) in z 1.345 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 1.345 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 1.345 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.345 * [taylor]: Taking taylor expansion of z in z 1.345 * [taylor]: Taking taylor expansion of 0.279195317918525 in z 1.346 * [taylor]: Taking taylor expansion of y in z 1.346 * [taylor]: Taking taylor expansion of (/ (+ (* 0.4917317610505968 (/ 1 z)) (+ (* 0.0692910599291889 (/ 1 (pow z 2))) 0.279195317918525)) y) in y 1.346 * [taylor]: Taking taylor expansion of (+ (* 0.4917317610505968 (/ 1 z)) (+ (* 0.0692910599291889 (/ 1 (pow z 2))) 0.279195317918525)) in y 1.346 * [taylor]: Taking taylor expansion of (* 0.4917317610505968 (/ 1 z)) in y 1.346 * [taylor]: Taking taylor expansion of 0.4917317610505968 in y 1.346 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.346 * [taylor]: Taking taylor expansion of z in y 1.346 * [taylor]: Taking taylor expansion of (+ (* 0.0692910599291889 (/ 1 (pow z 2))) 0.279195317918525) in y 1.347 * [taylor]: Taking taylor expansion of (* 0.0692910599291889 (/ 1 (pow z 2))) in y 1.347 * [taylor]: Taking taylor expansion of 0.0692910599291889 in y 1.347 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 1.347 * [taylor]: Taking taylor expansion of (pow z 2) in y 1.347 * [taylor]: Taking taylor expansion of z in y 1.347 * [taylor]: Taking taylor expansion of 0.279195317918525 in y 1.347 * [taylor]: Taking taylor expansion of y in y 1.347 * [taylor]: Taking taylor expansion of (/ (+ (* 0.4917317610505968 (/ 1 z)) (+ (* 0.0692910599291889 (/ 1 (pow z 2))) 0.279195317918525)) y) in y 1.347 * [taylor]: Taking taylor expansion of (+ (* 0.4917317610505968 (/ 1 z)) (+ (* 0.0692910599291889 (/ 1 (pow z 2))) 0.279195317918525)) in y 1.347 * [taylor]: Taking taylor expansion of (* 0.4917317610505968 (/ 1 z)) in y 1.347 * [taylor]: Taking taylor expansion of 0.4917317610505968 in y 1.347 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.347 * [taylor]: Taking taylor expansion of z in y 1.347 * [taylor]: Taking taylor expansion of (+ (* 0.0692910599291889 (/ 1 (pow z 2))) 0.279195317918525) in y 1.347 * [taylor]: Taking taylor expansion of (* 0.0692910599291889 (/ 1 (pow z 2))) in y 1.347 * [taylor]: Taking taylor expansion of 0.0692910599291889 in y 1.347 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 1.347 * [taylor]: Taking taylor expansion of (pow z 2) in y 1.347 * [taylor]: Taking taylor expansion of z in y 1.348 * [taylor]: Taking taylor expansion of 0.279195317918525 in y 1.348 * [taylor]: Taking taylor expansion of y in y 1.348 * [taylor]: Taking taylor expansion of (+ (* 0.4917317610505968 (/ 1 z)) (+ (* 0.0692910599291889 (/ 1 (pow z 2))) 0.279195317918525)) in z 1.348 * [taylor]: Taking taylor expansion of (* 0.4917317610505968 (/ 1 z)) in z 1.348 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 1.348 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.348 * [taylor]: Taking taylor expansion of z in z 1.349 * [taylor]: Taking taylor expansion of (+ (* 0.0692910599291889 (/ 1 (pow z 2))) 0.279195317918525) in z 1.349 * [taylor]: Taking taylor expansion of (* 0.0692910599291889 (/ 1 (pow z 2))) in z 1.349 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 1.349 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 1.349 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.349 * [taylor]: Taking taylor expansion of z in z 1.349 * [taylor]: Taking taylor expansion of 0.279195317918525 in z 1.352 * [taylor]: Taking taylor expansion of 0 in z 1.357 * [taylor]: Taking taylor expansion of 0 in z 1.361 * [approximate]: Taking taylor expansion of (* -1 (/ (- (+ (* 0.0692910599291889 (/ 1 (pow z 2))) 0.279195317918525) (* 0.4917317610505968 (/ 1 z))) y)) in (y z) around 0 1.361 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (* 0.0692910599291889 (/ 1 (pow z 2))) 0.279195317918525) (* 0.4917317610505968 (/ 1 z))) y)) in z 1.361 * [taylor]: Taking taylor expansion of -1 in z 1.361 * [taylor]: Taking taylor expansion of (/ (- (+ (* 0.0692910599291889 (/ 1 (pow z 2))) 0.279195317918525) (* 0.4917317610505968 (/ 1 z))) y) in z 1.361 * [taylor]: Taking taylor expansion of (- (+ (* 0.0692910599291889 (/ 1 (pow z 2))) 0.279195317918525) (* 0.4917317610505968 (/ 1 z))) in z 1.361 * [taylor]: Taking taylor expansion of (+ (* 0.0692910599291889 (/ 1 (pow z 2))) 0.279195317918525) in z 1.361 * [taylor]: Taking taylor expansion of (* 0.0692910599291889 (/ 1 (pow z 2))) in z 1.361 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 1.361 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 1.361 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.361 * [taylor]: Taking taylor expansion of z in z 1.362 * [taylor]: Taking taylor expansion of 0.279195317918525 in z 1.362 * [taylor]: Taking taylor expansion of (* 0.4917317610505968 (/ 1 z)) in z 1.362 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 1.362 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.362 * [taylor]: Taking taylor expansion of z in z 1.362 * [taylor]: Taking taylor expansion of y in z 1.363 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (* 0.0692910599291889 (/ 1 (pow z 2))) 0.279195317918525) (* 0.4917317610505968 (/ 1 z))) y)) in y 1.363 * [taylor]: Taking taylor expansion of -1 in y 1.363 * [taylor]: Taking taylor expansion of (/ (- (+ (* 0.0692910599291889 (/ 1 (pow z 2))) 0.279195317918525) (* 0.4917317610505968 (/ 1 z))) y) in y 1.363 * [taylor]: Taking taylor expansion of (- (+ (* 0.0692910599291889 (/ 1 (pow z 2))) 0.279195317918525) (* 0.4917317610505968 (/ 1 z))) in y 1.363 * [taylor]: Taking taylor expansion of (+ (* 0.0692910599291889 (/ 1 (pow z 2))) 0.279195317918525) in y 1.363 * [taylor]: Taking taylor expansion of (* 0.0692910599291889 (/ 1 (pow z 2))) in y 1.363 * [taylor]: Taking taylor expansion of 0.0692910599291889 in y 1.363 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 1.363 * [taylor]: Taking taylor expansion of (pow z 2) in y 1.363 * [taylor]: Taking taylor expansion of z in y 1.363 * [taylor]: Taking taylor expansion of 0.279195317918525 in y 1.363 * [taylor]: Taking taylor expansion of (* 0.4917317610505968 (/ 1 z)) in y 1.363 * [taylor]: Taking taylor expansion of 0.4917317610505968 in y 1.363 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.363 * [taylor]: Taking taylor expansion of z in y 1.363 * [taylor]: Taking taylor expansion of y in y 1.364 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (* 0.0692910599291889 (/ 1 (pow z 2))) 0.279195317918525) (* 0.4917317610505968 (/ 1 z))) y)) in y 1.364 * [taylor]: Taking taylor expansion of -1 in y 1.364 * [taylor]: Taking taylor expansion of (/ (- (+ (* 0.0692910599291889 (/ 1 (pow z 2))) 0.279195317918525) (* 0.4917317610505968 (/ 1 z))) y) in y 1.364 * [taylor]: Taking taylor expansion of (- (+ (* 0.0692910599291889 (/ 1 (pow z 2))) 0.279195317918525) (* 0.4917317610505968 (/ 1 z))) in y 1.364 * [taylor]: Taking taylor expansion of (+ (* 0.0692910599291889 (/ 1 (pow z 2))) 0.279195317918525) in y 1.364 * [taylor]: Taking taylor expansion of (* 0.0692910599291889 (/ 1 (pow z 2))) in y 1.364 * [taylor]: Taking taylor expansion of 0.0692910599291889 in y 1.364 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in y 1.364 * [taylor]: Taking taylor expansion of (pow z 2) in y 1.364 * [taylor]: Taking taylor expansion of z in y 1.364 * [taylor]: Taking taylor expansion of 0.279195317918525 in y 1.364 * [taylor]: Taking taylor expansion of (* 0.4917317610505968 (/ 1 z)) in y 1.364 * [taylor]: Taking taylor expansion of 0.4917317610505968 in y 1.364 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.364 * [taylor]: Taking taylor expansion of z in y 1.364 * [taylor]: Taking taylor expansion of y in y 1.365 * [taylor]: Taking taylor expansion of (* -1 (- (+ (* 0.0692910599291889 (/ 1 (pow z 2))) 0.279195317918525) (* 0.4917317610505968 (/ 1 z)))) in z 1.365 * [taylor]: Taking taylor expansion of -1 in z 1.365 * [taylor]: Taking taylor expansion of (- (+ (* 0.0692910599291889 (/ 1 (pow z 2))) 0.279195317918525) (* 0.4917317610505968 (/ 1 z))) in z 1.365 * [taylor]: Taking taylor expansion of (+ (* 0.0692910599291889 (/ 1 (pow z 2))) 0.279195317918525) in z 1.365 * [taylor]: Taking taylor expansion of (* 0.0692910599291889 (/ 1 (pow z 2))) in z 1.365 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 1.365 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 1.365 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.365 * [taylor]: Taking taylor expansion of z in z 1.366 * [taylor]: Taking taylor expansion of 0.279195317918525 in z 1.366 * [taylor]: Taking taylor expansion of (* 0.4917317610505968 (/ 1 z)) in z 1.366 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 1.366 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.366 * [taylor]: Taking taylor expansion of z in z 1.370 * [taylor]: Taking taylor expansion of 0 in z 1.377 * [taylor]: Taking taylor expansion of 0 in z 1.383 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1) 1.383 * [approximate]: Taking taylor expansion of (* z (+ (* 0.0692910599291889 z) 0.4917317610505968)) in (z) around 0 1.383 * [taylor]: Taking taylor expansion of (* z (+ (* 0.0692910599291889 z) 0.4917317610505968)) in z 1.383 * [taylor]: Taking taylor expansion of z in z 1.383 * [taylor]: Taking taylor expansion of (+ (* 0.0692910599291889 z) 0.4917317610505968) in z 1.383 * [taylor]: Taking taylor expansion of (* 0.0692910599291889 z) in z 1.383 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 1.383 * [taylor]: Taking taylor expansion of z in z 1.383 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 1.383 * [taylor]: Taking taylor expansion of (* z (+ (* 0.0692910599291889 z) 0.4917317610505968)) in z 1.383 * [taylor]: Taking taylor expansion of z in z 1.383 * [taylor]: Taking taylor expansion of (+ (* 0.0692910599291889 z) 0.4917317610505968) in z 1.383 * [taylor]: Taking taylor expansion of (* 0.0692910599291889 z) in z 1.383 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 1.383 * [taylor]: Taking taylor expansion of z in z 1.383 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 1.400 * [approximate]: Taking taylor expansion of (/ (+ (* 0.0692910599291889 (/ 1 z)) 0.4917317610505968) z) in (z) around 0 1.400 * [taylor]: Taking taylor expansion of (/ (+ (* 0.0692910599291889 (/ 1 z)) 0.4917317610505968) z) in z 1.400 * [taylor]: Taking taylor expansion of (+ (* 0.0692910599291889 (/ 1 z)) 0.4917317610505968) in z 1.400 * [taylor]: Taking taylor expansion of (* 0.0692910599291889 (/ 1 z)) in z 1.400 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 1.400 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.400 * [taylor]: Taking taylor expansion of z in z 1.401 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 1.401 * [taylor]: Taking taylor expansion of z in z 1.401 * [taylor]: Taking taylor expansion of (/ (+ (* 0.0692910599291889 (/ 1 z)) 0.4917317610505968) z) in z 1.401 * [taylor]: Taking taylor expansion of (+ (* 0.0692910599291889 (/ 1 z)) 0.4917317610505968) in z 1.402 * [taylor]: Taking taylor expansion of (* 0.0692910599291889 (/ 1 z)) in z 1.402 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 1.402 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.402 * [taylor]: Taking taylor expansion of z in z 1.402 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 1.402 * [taylor]: Taking taylor expansion of z in z 1.420 * [approximate]: Taking taylor expansion of (* -1 (/ (- 0.4917317610505968 (* 0.0692910599291889 (/ 1 z))) z)) in (z) around 0 1.420 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.4917317610505968 (* 0.0692910599291889 (/ 1 z))) z)) in z 1.420 * [taylor]: Taking taylor expansion of -1 in z 1.420 * [taylor]: Taking taylor expansion of (/ (- 0.4917317610505968 (* 0.0692910599291889 (/ 1 z))) z) in z 1.420 * [taylor]: Taking taylor expansion of (- 0.4917317610505968 (* 0.0692910599291889 (/ 1 z))) in z 1.420 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 1.420 * [taylor]: Taking taylor expansion of (* 0.0692910599291889 (/ 1 z)) in z 1.420 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 1.420 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.420 * [taylor]: Taking taylor expansion of z in z 1.421 * [taylor]: Taking taylor expansion of z in z 1.422 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.4917317610505968 (* 0.0692910599291889 (/ 1 z))) z)) in z 1.422 * [taylor]: Taking taylor expansion of -1 in z 1.422 * [taylor]: Taking taylor expansion of (/ (- 0.4917317610505968 (* 0.0692910599291889 (/ 1 z))) z) in z 1.422 * [taylor]: Taking taylor expansion of (- 0.4917317610505968 (* 0.0692910599291889 (/ 1 z))) in z 1.422 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 1.422 * [taylor]: Taking taylor expansion of (* 0.0692910599291889 (/ 1 z)) in z 1.422 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 1.422 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.422 * [taylor]: Taking taylor expansion of z in z 1.423 * [taylor]: Taking taylor expansion of z in z 1.447 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 1 1) 1.447 * [approximate]: Taking taylor expansion of (+ (* 0.0692910599291889 z) 0.4917317610505968) in (z) around 0 1.447 * [taylor]: Taking taylor expansion of (+ (* 0.0692910599291889 z) 0.4917317610505968) in z 1.447 * [taylor]: Taking taylor expansion of (* 0.0692910599291889 z) in z 1.447 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 1.447 * [taylor]: Taking taylor expansion of z in z 1.447 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 1.447 * [taylor]: Taking taylor expansion of (+ (* 0.0692910599291889 z) 0.4917317610505968) in z 1.447 * [taylor]: Taking taylor expansion of (* 0.0692910599291889 z) in z 1.447 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 1.447 * [taylor]: Taking taylor expansion of z in z 1.447 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 1.454 * [approximate]: Taking taylor expansion of (+ (* 0.0692910599291889 (/ 1 z)) 0.4917317610505968) in (z) around 0 1.454 * [taylor]: Taking taylor expansion of (+ (* 0.0692910599291889 (/ 1 z)) 0.4917317610505968) in z 1.454 * [taylor]: Taking taylor expansion of (* 0.0692910599291889 (/ 1 z)) in z 1.454 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 1.454 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.454 * [taylor]: Taking taylor expansion of z in z 1.455 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 1.455 * [taylor]: Taking taylor expansion of (+ (* 0.0692910599291889 (/ 1 z)) 0.4917317610505968) in z 1.455 * [taylor]: Taking taylor expansion of (* 0.0692910599291889 (/ 1 z)) in z 1.455 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 1.455 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.455 * [taylor]: Taking taylor expansion of z in z 1.455 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 1.465 * [approximate]: Taking taylor expansion of (- 0.4917317610505968 (* 0.0692910599291889 (/ 1 z))) in (z) around 0 1.465 * [taylor]: Taking taylor expansion of (- 0.4917317610505968 (* 0.0692910599291889 (/ 1 z))) in z 1.465 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 1.465 * [taylor]: Taking taylor expansion of (* 0.0692910599291889 (/ 1 z)) in z 1.465 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 1.465 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.465 * [taylor]: Taking taylor expansion of z in z 1.466 * [taylor]: Taking taylor expansion of (- 0.4917317610505968 (* 0.0692910599291889 (/ 1 z))) in z 1.466 * [taylor]: Taking taylor expansion of 0.4917317610505968 in z 1.466 * [taylor]: Taking taylor expansion of (* 0.0692910599291889 (/ 1 z)) in z 1.466 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 1.466 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.466 * [taylor]: Taking taylor expansion of z in z 1.479 * * * [progress]: simplifying candidates 1.479 * [simplify]: Simplifying using # : (- (* y (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525))) (- (+ (* (+ z 6.012459259764103) z) 3.350343815022304)) (/ 1 (+ (* (+ z 6.012459259764103) z) 3.350343815022304)) (/ (+ (* (+ z 6.012459259764103) z) 3.350343815022304) (* y (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525))) (/ (+ (* (+ z 6.012459259764103) z) 3.350343815022304) (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525)) (/ (+ (* (+ z 6.012459259764103) z) 3.350343815022304) y) (/ (* y (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525)) (+ (pow (* (+ z 6.012459259764103) z) 3) (pow 3.350343815022304 3))) (/ (* y (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525)) (- (* (* (+ z 6.012459259764103) z) (* (+ z 6.012459259764103) z)) (* 3.350343815022304 3.350343815022304))) (* (+ (* (+ z 6.012459259764103) z) 3.350343815022304) (+ (* (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) (* (+ (* z 0.0692910599291889) 0.4917317610505968) z)) (- (* 0.279195317918525 0.279195317918525) (* (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525)))) (* (+ (* (+ z 6.012459259764103) z) 3.350343815022304) (- (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525)) (* y (* (+ (* z 0.0692910599291889) 0.4917317610505968) z)) (* y 0.279195317918525) (* y 0.279195317918525) (* y (* (+ (* z 0.0692910599291889) 0.4917317610505968) z)) (* (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) y) (* 0.279195317918525 y) (* 0.279195317918525 y) (* (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) y) (* y (+ (pow (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 3) (pow 0.279195317918525 3))) (* y (- (* (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) (* (+ (* z 0.0692910599291889) 0.4917317610505968) z)) (* 0.279195317918525 0.279195317918525))) (* (+ (pow (* z 0.0692910599291889) 3) (pow 0.4917317610505968 3)) z) (* (- (* (* z 0.0692910599291889) (* z 0.0692910599291889)) (* 0.4917317610505968 0.4917317610505968)) z) (+ (pow (* z 0.0692910599291889) 3) (pow 0.4917317610505968 3)) (+ (* (* z 0.0692910599291889) (* z 0.0692910599291889)) (- (* 0.4917317610505968 0.4917317610505968) (* (* z 0.0692910599291889) 0.4917317610505968))) (- (* (* z 0.0692910599291889) (* z 0.0692910599291889)) (* 0.4917317610505968 0.4917317610505968)) (- (* z 0.0692910599291889) 0.4917317610505968) (- (+ (* 0.0007936505811533753 (* (pow z 2) y)) (* 0.08333333333333323 y)) (* 0.0027777777775172263 (* z y))) (- (+ (* 0.07512208616047561 (/ y z)) (* 0.0692910599291889 y)) (* 0.40462203869992125 (/ y (pow z 2)))) (- (+ (* 0.07512208616047561 (/ y z)) (* 0.0692910599291889 y)) (* 0.40462203869992125 (/ y (pow z 2)))) (+ (* 0.0692910599291889 (* (pow z 2) y)) (+ (* 0.4917317610505968 (* z y)) (* 0.279195317918525 y))) (+ (* 0.0692910599291889 (* (pow z 2) y)) (+ (* 0.4917317610505968 (* z y)) (* 0.279195317918525 y))) (+ (* 0.0692910599291889 (* (pow z 2) y)) (+ (* 0.4917317610505968 (* z y)) (* 0.279195317918525 y))) (+ (* 0.4917317610505968 z) (* 0.0692910599291889 (pow z 2))) (+ (* 0.4917317610505968 z) (* 0.0692910599291889 (pow z 2))) (+ (* 0.4917317610505968 z) (* 0.0692910599291889 (pow z 2))) (+ (* 0.0692910599291889 z) 0.4917317610505968) (+ (* 0.0692910599291889 z) 0.4917317610505968) (+ (* 0.0692910599291889 z) 0.4917317610505968) 1.483 * * [simplify]: iteration 0 : 269 enodes (cost 181 ) 1.489 * * [simplify]: iteration 1 : 864 enodes (cost 165 ) 1.505 * * [simplify]: iteration 2 : 3351 enodes (cost 159 ) 1.560 * * [simplify]: iteration 3 : 5002 enodes (cost 156 ) 1.561 * [simplify]: Simplified to: (* (- y) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525)) (- (+ (* (+ z 6.012459259764103) z) 3.350343815022304)) (/ 1 (+ (* (+ z 6.012459259764103) z) 3.350343815022304)) (/ (fma (+ z 6.012459259764103) z 3.350343815022304) (* (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) y)) (/ (+ (* (+ z 6.012459259764103) z) 3.350343815022304) (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525)) (/ (+ (* (+ z 6.012459259764103) z) 3.350343815022304) y) (/ y (/ (+ (pow (* (+ z 6.012459259764103) z) 3) (pow 3.350343815022304 3)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525))) (/ y (/ (* (fma (+ z 6.012459259764103) z 3.350343815022304) (- (* (+ z 6.012459259764103) z) 3.350343815022304)) (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525))) (* (+ (* 0.279195317918525 (- 0.279195317918525 (* (+ (* z 0.0692910599291889) 0.4917317610505968) z))) (* (* (fma z 0.0692910599291889 0.4917317610505968) (fma z 0.0692910599291889 0.4917317610505968)) (pow z 2))) (fma (+ z 6.012459259764103) z 3.350343815022304)) (* (fma (fma z 0.0692910599291889 0.4917317610505968) z (- 0.279195317918525)) (fma (+ z 6.012459259764103) z 3.350343815022304)) (* (* y (fma z 0.0692910599291889 0.4917317610505968)) z) (* y 0.279195317918525) (* y 0.279195317918525) (* (* y (fma z 0.0692910599291889 0.4917317610505968)) z) (* (* y (fma z 0.0692910599291889 0.4917317610505968)) z) (* y 0.279195317918525) (* y 0.279195317918525) (* (* y (fma z 0.0692910599291889 0.4917317610505968)) z) (fma (pow (* z (fma z 0.0692910599291889 0.4917317610505968)) 3) y (* y (pow 0.279195317918525 3))) (* (* (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) (fma (fma z 0.0692910599291889 0.4917317610505968) z (- 0.279195317918525))) y) (* (+ (pow (* z 0.0692910599291889) 3) (pow 0.4917317610505968 3)) z) (* z (* (fma z 0.0692910599291889 0.4917317610505968) (- (* z 0.0692910599291889) 0.4917317610505968))) (+ (pow (* z 0.0692910599291889) 3) (pow 0.4917317610505968 3)) (fma (* z 0.0692910599291889) (- (* z 0.0692910599291889) 0.4917317610505968) (* 0.4917317610505968 0.4917317610505968)) (* (fma z 0.0692910599291889 0.4917317610505968) (- (* z 0.0692910599291889) 0.4917317610505968)) (- (* z 0.0692910599291889) 0.4917317610505968) (* y (- (fma (* 0.0007936505811533753 z) z 0.08333333333333323) (* 0.0027777777775172263 z))) (fma (/ y z) (- 0.07512208616047561 (/ 0.40462203869992125 z)) (* 0.0692910599291889 y)) (fma (/ y z) (- 0.07512208616047561 (/ 0.40462203869992125 z)) (* 0.0692910599291889 y)) (* (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) y) (* (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) y) (* (fma (fma z 0.0692910599291889 0.4917317610505968) z 0.279195317918525) y) (* z (fma z 0.0692910599291889 0.4917317610505968)) (* z (fma z 0.0692910599291889 0.4917317610505968)) (* z (fma z 0.0692910599291889 0.4917317610505968)) (fma 0.0692910599291889 z 0.4917317610505968) (fma 0.0692910599291889 z 0.4917317610505968) (fma 0.0692910599291889 z 0.4917317610505968) 1.562 * * * [progress]: adding candidates to table 1.659 * * [progress]: iteration 4 / 4 1.659 * * * [progress]: picking best candidate 1.663 * * * * [pick]: Picked # 1.663 * * * [progress]: localizing error 1.671 * * * [progress]: generating rewritten candidates 1.671 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1.672 * * * [progress]: generating series expansions 1.672 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1.672 * [approximate]: Taking taylor expansion of (fma 0.07512208616047561 (/ y z) (fma y 0.0692910599291889 x)) in (y z x) around 0 1.672 * [taylor]: Taking taylor expansion of (fma 0.07512208616047561 (/ y z) (fma y 0.0692910599291889 x)) in x 1.672 * [taylor]: Rewrote expression to (+ (* 0.07512208616047561 (/ y z)) (fma y 0.0692910599291889 x)) 1.672 * [taylor]: Taking taylor expansion of (* 0.07512208616047561 (/ y z)) in x 1.672 * [taylor]: Taking taylor expansion of 0.07512208616047561 in x 1.672 * [taylor]: Taking taylor expansion of (/ y z) in x 1.672 * [taylor]: Taking taylor expansion of y in x 1.672 * [taylor]: Taking taylor expansion of z in x 1.672 * [taylor]: Taking taylor expansion of (fma y 0.0692910599291889 x) in x 1.672 * [taylor]: Rewrote expression to (+ (* y 0.0692910599291889) x) 1.672 * [taylor]: Taking taylor expansion of (* y 0.0692910599291889) in x 1.672 * [taylor]: Taking taylor expansion of y in x 1.672 * [taylor]: Taking taylor expansion of 0.0692910599291889 in x 1.672 * [taylor]: Taking taylor expansion of x in x 1.672 * [taylor]: Taking taylor expansion of (fma 0.07512208616047561 (/ y z) (fma y 0.0692910599291889 x)) in z 1.672 * [taylor]: Rewrote expression to (+ (* 0.07512208616047561 (/ y z)) (fma y 0.0692910599291889 x)) 1.672 * [taylor]: Taking taylor expansion of (* 0.07512208616047561 (/ y z)) in z 1.672 * [taylor]: Taking taylor expansion of 0.07512208616047561 in z 1.672 * [taylor]: Taking taylor expansion of (/ y z) in z 1.672 * [taylor]: Taking taylor expansion of y in z 1.672 * [taylor]: Taking taylor expansion of z in z 1.672 * [taylor]: Taking taylor expansion of (fma y 0.0692910599291889 x) in z 1.673 * [taylor]: Rewrote expression to (+ (* y 0.0692910599291889) x) 1.673 * [taylor]: Taking taylor expansion of (* y 0.0692910599291889) in z 1.673 * [taylor]: Taking taylor expansion of y in z 1.673 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 1.673 * [taylor]: Taking taylor expansion of x in z 1.673 * [taylor]: Taking taylor expansion of (fma 0.07512208616047561 (/ y z) (fma y 0.0692910599291889 x)) in y 1.673 * [taylor]: Rewrote expression to (+ (* 0.07512208616047561 (/ y z)) (fma y 0.0692910599291889 x)) 1.673 * [taylor]: Taking taylor expansion of (* 0.07512208616047561 (/ y z)) in y 1.673 * [taylor]: Taking taylor expansion of 0.07512208616047561 in y 1.673 * [taylor]: Taking taylor expansion of (/ y z) in y 1.673 * [taylor]: Taking taylor expansion of y in y 1.673 * [taylor]: Taking taylor expansion of z in y 1.673 * [taylor]: Taking taylor expansion of (fma y 0.0692910599291889 x) in y 1.673 * [taylor]: Rewrote expression to (+ (* y 0.0692910599291889) x) 1.673 * [taylor]: Taking taylor expansion of (* y 0.0692910599291889) in y 1.673 * [taylor]: Taking taylor expansion of y in y 1.673 * [taylor]: Taking taylor expansion of 0.0692910599291889 in y 1.673 * [taylor]: Taking taylor expansion of x in y 1.673 * [taylor]: Taking taylor expansion of (fma 0.07512208616047561 (/ y z) (fma y 0.0692910599291889 x)) in y 1.673 * [taylor]: Rewrote expression to (+ (* 0.07512208616047561 (/ y z)) (fma y 0.0692910599291889 x)) 1.673 * [taylor]: Taking taylor expansion of (* 0.07512208616047561 (/ y z)) in y 1.673 * [taylor]: Taking taylor expansion of 0.07512208616047561 in y 1.673 * [taylor]: Taking taylor expansion of (/ y z) in y 1.673 * [taylor]: Taking taylor expansion of y in y 1.673 * [taylor]: Taking taylor expansion of z in y 1.673 * [taylor]: Taking taylor expansion of (fma y 0.0692910599291889 x) in y 1.673 * [taylor]: Rewrote expression to (+ (* y 0.0692910599291889) x) 1.673 * [taylor]: Taking taylor expansion of (* y 0.0692910599291889) in y 1.673 * [taylor]: Taking taylor expansion of y in y 1.673 * [taylor]: Taking taylor expansion of 0.0692910599291889 in y 1.673 * [taylor]: Taking taylor expansion of x in y 1.674 * [taylor]: Taking taylor expansion of x in z 1.675 * [taylor]: Taking taylor expansion of (+ (* 0.07512208616047561 (/ 1 z)) 0.0692910599291889) in z 1.675 * [taylor]: Taking taylor expansion of (* 0.07512208616047561 (/ 1 z)) in z 1.675 * [taylor]: Taking taylor expansion of 0.07512208616047561 in z 1.675 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.675 * [taylor]: Taking taylor expansion of z in z 1.676 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 1.676 * [taylor]: Taking taylor expansion of 0.07512208616047561 in x 1.676 * [taylor]: Taking taylor expansion of x in x 1.678 * [taylor]: Taking taylor expansion of 0 in z 1.679 * [taylor]: Taking taylor expansion of 0.0692910599291889 in x 1.679 * [taylor]: Taking taylor expansion of 0 in x 1.679 * [approximate]: Taking taylor expansion of (fma 0.07512208616047561 (/ z y) (fma (/ 1 y) 0.0692910599291889 (/ 1 x))) in (y z x) around 0 1.679 * [taylor]: Taking taylor expansion of (fma 0.07512208616047561 (/ z y) (fma (/ 1 y) 0.0692910599291889 (/ 1 x))) in x 1.679 * [taylor]: Rewrote expression to (+ (* 0.07512208616047561 (/ z y)) (fma (/ 1 y) 0.0692910599291889 (/ 1 x))) 1.679 * [taylor]: Taking taylor expansion of (* 0.07512208616047561 (/ z y)) in x 1.679 * [taylor]: Taking taylor expansion of 0.07512208616047561 in x 1.679 * [taylor]: Taking taylor expansion of (/ z y) in x 1.680 * [taylor]: Taking taylor expansion of z in x 1.680 * [taylor]: Taking taylor expansion of y in x 1.680 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 0.0692910599291889 (/ 1 x)) in x 1.680 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 0.0692910599291889) (/ 1 x)) 1.680 * [taylor]: Taking taylor expansion of (* (/ 1 y) 0.0692910599291889) in x 1.680 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.680 * [taylor]: Taking taylor expansion of y in x 1.680 * [taylor]: Taking taylor expansion of 0.0692910599291889 in x 1.680 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.680 * [taylor]: Taking taylor expansion of x in x 1.680 * [taylor]: Taking taylor expansion of (fma 0.07512208616047561 (/ z y) (fma (/ 1 y) 0.0692910599291889 (/ 1 x))) in z 1.680 * [taylor]: Rewrote expression to (+ (* 0.07512208616047561 (/ z y)) (fma (/ 1 y) 0.0692910599291889 (/ 1 x))) 1.680 * [taylor]: Taking taylor expansion of (* 0.07512208616047561 (/ z y)) in z 1.680 * [taylor]: Taking taylor expansion of 0.07512208616047561 in z 1.680 * [taylor]: Taking taylor expansion of (/ z y) in z 1.680 * [taylor]: Taking taylor expansion of z in z 1.680 * [taylor]: Taking taylor expansion of y in z 1.680 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 0.0692910599291889 (/ 1 x)) in z 1.680 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 0.0692910599291889) (/ 1 x)) 1.680 * [taylor]: Taking taylor expansion of (* (/ 1 y) 0.0692910599291889) in z 1.680 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.680 * [taylor]: Taking taylor expansion of y in z 1.681 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 1.681 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.681 * [taylor]: Taking taylor expansion of x in z 1.681 * [taylor]: Taking taylor expansion of (fma 0.07512208616047561 (/ z y) (fma (/ 1 y) 0.0692910599291889 (/ 1 x))) in y 1.681 * [taylor]: Rewrote expression to (+ (* 0.07512208616047561 (/ z y)) (fma (/ 1 y) 0.0692910599291889 (/ 1 x))) 1.681 * [taylor]: Taking taylor expansion of (* 0.07512208616047561 (/ z y)) in y 1.681 * [taylor]: Taking taylor expansion of 0.07512208616047561 in y 1.681 * [taylor]: Taking taylor expansion of (/ z y) in y 1.681 * [taylor]: Taking taylor expansion of z in y 1.681 * [taylor]: Taking taylor expansion of y in y 1.681 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 0.0692910599291889 (/ 1 x)) in y 1.681 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 0.0692910599291889) (/ 1 x)) 1.681 * [taylor]: Taking taylor expansion of (* (/ 1 y) 0.0692910599291889) in y 1.681 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.681 * [taylor]: Taking taylor expansion of y in y 1.681 * [taylor]: Taking taylor expansion of 0.0692910599291889 in y 1.681 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.681 * [taylor]: Taking taylor expansion of x in y 1.681 * [taylor]: Taking taylor expansion of (fma 0.07512208616047561 (/ z y) (fma (/ 1 y) 0.0692910599291889 (/ 1 x))) in y 1.681 * [taylor]: Rewrote expression to (+ (* 0.07512208616047561 (/ z y)) (fma (/ 1 y) 0.0692910599291889 (/ 1 x))) 1.681 * [taylor]: Taking taylor expansion of (* 0.07512208616047561 (/ z y)) in y 1.681 * [taylor]: Taking taylor expansion of 0.07512208616047561 in y 1.681 * [taylor]: Taking taylor expansion of (/ z y) in y 1.681 * [taylor]: Taking taylor expansion of z in y 1.682 * [taylor]: Taking taylor expansion of y in y 1.682 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 0.0692910599291889 (/ 1 x)) in y 1.682 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 0.0692910599291889) (/ 1 x)) 1.682 * [taylor]: Taking taylor expansion of (* (/ 1 y) 0.0692910599291889) in y 1.682 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.682 * [taylor]: Taking taylor expansion of y in y 1.682 * [taylor]: Taking taylor expansion of 0.0692910599291889 in y 1.682 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.682 * [taylor]: Taking taylor expansion of x in y 1.683 * [taylor]: Taking taylor expansion of (+ (* 0.07512208616047561 z) 0.0692910599291889) in z 1.683 * [taylor]: Taking taylor expansion of (* 0.07512208616047561 z) in z 1.683 * [taylor]: Taking taylor expansion of 0.07512208616047561 in z 1.683 * [taylor]: Taking taylor expansion of z in z 1.683 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 1.683 * [taylor]: Taking taylor expansion of 0.0692910599291889 in x 1.685 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.685 * [taylor]: Taking taylor expansion of x in z 1.685 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.685 * [taylor]: Taking taylor expansion of x in x 1.690 * [taylor]: Taking taylor expansion of 0.07512208616047561 in x 1.693 * [taylor]: Taking taylor expansion of 0 in z 1.693 * [taylor]: Taking taylor expansion of 0 in x 1.693 * [taylor]: Taking taylor expansion of 0 in x 1.693 * [taylor]: Taking taylor expansion of 0 in x 1.695 * [approximate]: Taking taylor expansion of (fma 0.07512208616047561 (/ z y) (fma (/ -1 y) 0.0692910599291889 (/ -1 x))) in (y z x) around 0 1.695 * [taylor]: Taking taylor expansion of (fma 0.07512208616047561 (/ z y) (fma (/ -1 y) 0.0692910599291889 (/ -1 x))) in x 1.695 * [taylor]: Rewrote expression to (+ (* 0.07512208616047561 (/ z y)) (fma (/ -1 y) 0.0692910599291889 (/ -1 x))) 1.695 * [taylor]: Taking taylor expansion of (* 0.07512208616047561 (/ z y)) in x 1.695 * [taylor]: Taking taylor expansion of 0.07512208616047561 in x 1.695 * [taylor]: Taking taylor expansion of (/ z y) in x 1.695 * [taylor]: Taking taylor expansion of z in x 1.695 * [taylor]: Taking taylor expansion of y in x 1.695 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 0.0692910599291889 (/ -1 x)) in x 1.695 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 0.0692910599291889) (/ -1 x)) 1.695 * [taylor]: Taking taylor expansion of (* (/ -1 y) 0.0692910599291889) in x 1.695 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.695 * [taylor]: Taking taylor expansion of -1 in x 1.695 * [taylor]: Taking taylor expansion of y in x 1.695 * [taylor]: Taking taylor expansion of 0.0692910599291889 in x 1.695 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.695 * [taylor]: Taking taylor expansion of -1 in x 1.695 * [taylor]: Taking taylor expansion of x in x 1.695 * [taylor]: Taking taylor expansion of (fma 0.07512208616047561 (/ z y) (fma (/ -1 y) 0.0692910599291889 (/ -1 x))) in z 1.696 * [taylor]: Rewrote expression to (+ (* 0.07512208616047561 (/ z y)) (fma (/ -1 y) 0.0692910599291889 (/ -1 x))) 1.696 * [taylor]: Taking taylor expansion of (* 0.07512208616047561 (/ z y)) in z 1.696 * [taylor]: Taking taylor expansion of 0.07512208616047561 in z 1.696 * [taylor]: Taking taylor expansion of (/ z y) in z 1.696 * [taylor]: Taking taylor expansion of z in z 1.696 * [taylor]: Taking taylor expansion of y in z 1.696 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 0.0692910599291889 (/ -1 x)) in z 1.696 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 0.0692910599291889) (/ -1 x)) 1.696 * [taylor]: Taking taylor expansion of (* (/ -1 y) 0.0692910599291889) in z 1.696 * [taylor]: Taking taylor expansion of (/ -1 y) in z 1.696 * [taylor]: Taking taylor expansion of -1 in z 1.696 * [taylor]: Taking taylor expansion of y in z 1.696 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 1.696 * [taylor]: Taking taylor expansion of (/ -1 x) in z 1.696 * [taylor]: Taking taylor expansion of -1 in z 1.696 * [taylor]: Taking taylor expansion of x in z 1.696 * [taylor]: Taking taylor expansion of (fma 0.07512208616047561 (/ z y) (fma (/ -1 y) 0.0692910599291889 (/ -1 x))) in y 1.696 * [taylor]: Rewrote expression to (+ (* 0.07512208616047561 (/ z y)) (fma (/ -1 y) 0.0692910599291889 (/ -1 x))) 1.696 * [taylor]: Taking taylor expansion of (* 0.07512208616047561 (/ z y)) in y 1.696 * [taylor]: Taking taylor expansion of 0.07512208616047561 in y 1.696 * [taylor]: Taking taylor expansion of (/ z y) in y 1.696 * [taylor]: Taking taylor expansion of z in y 1.696 * [taylor]: Taking taylor expansion of y in y 1.696 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 0.0692910599291889 (/ -1 x)) in y 1.696 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 0.0692910599291889) (/ -1 x)) 1.696 * [taylor]: Taking taylor expansion of (* (/ -1 y) 0.0692910599291889) in y 1.696 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.696 * [taylor]: Taking taylor expansion of -1 in y 1.696 * [taylor]: Taking taylor expansion of y in y 1.697 * [taylor]: Taking taylor expansion of 0.0692910599291889 in y 1.697 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.697 * [taylor]: Taking taylor expansion of -1 in y 1.697 * [taylor]: Taking taylor expansion of x in y 1.697 * [taylor]: Taking taylor expansion of (fma 0.07512208616047561 (/ z y) (fma (/ -1 y) 0.0692910599291889 (/ -1 x))) in y 1.697 * [taylor]: Rewrote expression to (+ (* 0.07512208616047561 (/ z y)) (fma (/ -1 y) 0.0692910599291889 (/ -1 x))) 1.697 * [taylor]: Taking taylor expansion of (* 0.07512208616047561 (/ z y)) in y 1.697 * [taylor]: Taking taylor expansion of 0.07512208616047561 in y 1.697 * [taylor]: Taking taylor expansion of (/ z y) in y 1.697 * [taylor]: Taking taylor expansion of z in y 1.697 * [taylor]: Taking taylor expansion of y in y 1.697 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 0.0692910599291889 (/ -1 x)) in y 1.697 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 0.0692910599291889) (/ -1 x)) 1.697 * [taylor]: Taking taylor expansion of (* (/ -1 y) 0.0692910599291889) in y 1.697 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.697 * [taylor]: Taking taylor expansion of -1 in y 1.697 * [taylor]: Taking taylor expansion of y in y 1.698 * [taylor]: Taking taylor expansion of 0.0692910599291889 in y 1.698 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.698 * [taylor]: Taking taylor expansion of -1 in y 1.698 * [taylor]: Taking taylor expansion of x in y 1.699 * [taylor]: Taking taylor expansion of (- (* 0.07512208616047561 z) 0.0692910599291889) in z 1.699 * [taylor]: Taking taylor expansion of (* 0.07512208616047561 z) in z 1.699 * [taylor]: Taking taylor expansion of 0.07512208616047561 in z 1.699 * [taylor]: Taking taylor expansion of z in z 1.699 * [taylor]: Taking taylor expansion of 0.0692910599291889 in z 1.700 * [taylor]: Taking taylor expansion of (- 0.0692910599291889) in x 1.700 * [taylor]: Taking taylor expansion of 0.0692910599291889 in x 1.702 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z 1.702 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.702 * [taylor]: Taking taylor expansion of x in z 1.702 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.702 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.702 * [taylor]: Taking taylor expansion of x in x 1.704 * [taylor]: Taking taylor expansion of 0.07512208616047561 in x 1.708 * [taylor]: Taking taylor expansion of 0 in z 1.708 * [taylor]: Taking taylor expansion of 0 in x 1.708 * [taylor]: Taking taylor expansion of 0 in x 1.709 * [taylor]: Taking taylor expansion of 0 in x 1.710 * * * [progress]: simplifying candidates 1.711 * [simplify]: Simplifying using # : (* 0.07512208616047561 (/ y z)) (+ x (+ (* 0.07512208616047561 (/ y z)) (* 0.0692910599291889 y))) (+ x (+ (* 0.07512208616047561 (/ y z)) (* 0.0692910599291889 y))) (+ x (+ (* 0.07512208616047561 (/ y z)) (* 0.0692910599291889 y))) 1.713 * * [simplify]: iteration 0 : 19 enodes (cost 14 ) 1.714 * * [simplify]: iteration 1 : 33 enodes (cost 14 ) 1.716 * * [simplify]: iteration 2 : 47 enodes (cost 14 ) 1.717 * * [simplify]: iteration 3 : 55 enodes (cost 11 ) 1.719 * * [simplify]: iteration 4 : 62 enodes (cost 11 ) 1.720 * * [simplify]: iteration 5 : 63 enodes (cost 11 ) 1.722 * * [simplify]: iteration 6 : 63 enodes (cost 11 ) 1.722 * [simplify]: Simplified to: (* 0.07512208616047561 (/ y z)) (fma (/ 0.07512208616047561 z) y (fma y 0.0692910599291889 x)) (fma (/ 0.07512208616047561 z) y (fma y 0.0692910599291889 x)) (fma (/ 0.07512208616047561 z) y (fma y 0.0692910599291889 x)) 1.722 * * * [progress]: adding candidates to table 1.727 * [progress]: [Phase 3 of 3] Extracting. 1.727 * * [regime]: Finding splitpoints for: (# # # #) 1.728 * * * [regime-changes]: Trying 5 branch expressions: ((/ (* y (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525)) (+ (* (+ z 6.012459259764103) z) 3.350343815022304)) (+ x (/ (* y (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525)) (+ (* (+ z 6.012459259764103) z) 3.350343815022304))) z y x) 1.728 * * * * [regimes]: Trying to branch on (/ (* y (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525)) (+ (* (+ z 6.012459259764103) z) 3.350343815022304)) from (# # # #) 1.755 * * * * [regimes]: Trying to branch on (+ x (/ (* y (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525)) (+ (* (+ z 6.012459259764103) z) 3.350343815022304))) from (# # # #) 1.780 * * * * [regimes]: Trying to branch on z from (# # # #) 1.811 * * * * [regimes]: Trying to branch on y from (# # # #) 1.857 * * * * [regimes]: Trying to branch on x from (# # # #) 1.892 * * * [regime]: Found split indices: #