22.017 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.020 * * * [progress]: [2/2] Setting up program. 0.023 * [progress]: [Phase 2 of 3] Improving. 0.023 * [simplify]: Simplifying using # : (+ x (/ (* y (- z x)) t)) 0.024 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.025 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 0.027 * * [simplify]: iteration 2 : 25 enodes (cost 9 ) 0.030 * * [simplify]: iteration 3 : 47 enodes (cost 8 ) 0.037 * * [simplify]: iteration 4 : 85 enodes (cost 8 ) 0.053 * * [simplify]: iteration 5 : 135 enodes (cost 8 ) 0.075 * * [simplify]: iteration 6 : 176 enodes (cost 8 ) 0.115 * * [simplify]: iteration 7 : 207 enodes (cost 8 ) 0.153 * * [simplify]: iteration 8 : 249 enodes (cost 8 ) 0.217 * * [simplify]: iteration 9 : 347 enodes (cost 8 ) 0.348 * * [simplify]: iteration 10 : 459 enodes (cost 8 ) 0.463 * * [simplify]: iteration 11 : 524 enodes (cost 8 ) 0.588 * * [simplify]: iteration 12 : 591 enodes (cost 8 ) 0.743 * * [simplify]: iteration 13 : 648 enodes (cost 8 ) 0.915 * * [simplify]: iteration 14 : 688 enodes (cost 8 ) 1.147 * * [simplify]: iteration 15 : 834 enodes (cost 8 ) 1.526 * * [simplify]: iteration 16 : 1090 enodes (cost 8 ) 2.046 * * [simplify]: iteration 17 : 1424 enodes (cost 8 ) 2.937 * * [simplify]: iteration 18 : 2060 enodes (cost 8 ) 4.800 * * [simplify]: iteration 19 : 2705 enodes (cost 8 ) 6.347 * * [simplify]: iteration 20 : 2796 enodes (cost 8 ) 7.209 * * [simplify]: iteration 21 : 2802 enodes (cost 8 ) 8.061 * * [simplify]: iteration done : 2802 enodes (cost 8 ) 8.061 * [simplify]: Simplified to: (fma (/ y t) (- z x) x) 8.064 * * [progress]: iteration 1 / 4 8.064 * * * [progress]: picking best candidate 8.068 * * * * [pick]: Picked # 8.069 * * * [progress]: localizing error 8.075 * * * [progress]: generating rewritten candidates 8.075 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 8.076 * * * [progress]: generating series expansions 8.076 * * * * [progress]: [ 1 / 1 ] generating series at (2) 8.076 * [approximate]: Taking taylor expansion of (fma (/ y t) (- z x) x) in (y t z x) around 0 8.076 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in x 8.076 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 8.076 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in x 8.076 * [taylor]: Taking taylor expansion of (/ y t) in x 8.076 * [taylor]: Taking taylor expansion of y in x 8.076 * [taylor]: Taking taylor expansion of t in x 8.076 * [taylor]: Taking taylor expansion of (- z x) in x 8.076 * [taylor]: Taking taylor expansion of z in x 8.076 * [taylor]: Taking taylor expansion of x in x 8.076 * [taylor]: Taking taylor expansion of x in x 8.076 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in z 8.076 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 8.076 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in z 8.076 * [taylor]: Taking taylor expansion of (/ y t) in z 8.076 * [taylor]: Taking taylor expansion of y in z 8.076 * [taylor]: Taking taylor expansion of t in z 8.076 * [taylor]: Taking taylor expansion of (- z x) in z 8.076 * [taylor]: Taking taylor expansion of z in z 8.076 * [taylor]: Taking taylor expansion of x in z 8.076 * [taylor]: Taking taylor expansion of x in z 8.076 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in t 8.076 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 8.076 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in t 8.076 * [taylor]: Taking taylor expansion of (/ y t) in t 8.076 * [taylor]: Taking taylor expansion of y in t 8.076 * [taylor]: Taking taylor expansion of t in t 8.077 * [taylor]: Taking taylor expansion of (- z x) in t 8.077 * [taylor]: Taking taylor expansion of z in t 8.077 * [taylor]: Taking taylor expansion of x in t 8.077 * [taylor]: Taking taylor expansion of x in t 8.077 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in y 8.077 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 8.077 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in y 8.077 * [taylor]: Taking taylor expansion of (/ y t) in y 8.077 * [taylor]: Taking taylor expansion of y in y 8.077 * [taylor]: Taking taylor expansion of t in y 8.077 * [taylor]: Taking taylor expansion of (- z x) in y 8.077 * [taylor]: Taking taylor expansion of z in y 8.077 * [taylor]: Taking taylor expansion of x in y 8.077 * [taylor]: Taking taylor expansion of x in y 8.077 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in y 8.077 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 8.077 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in y 8.077 * [taylor]: Taking taylor expansion of (/ y t) in y 8.077 * [taylor]: Taking taylor expansion of y in y 8.077 * [taylor]: Taking taylor expansion of t in y 8.077 * [taylor]: Taking taylor expansion of (- z x) in y 8.077 * [taylor]: Taking taylor expansion of z in y 8.077 * [taylor]: Taking taylor expansion of x in y 8.077 * [taylor]: Taking taylor expansion of x in y 8.077 * [taylor]: Taking taylor expansion of x in t 8.077 * [taylor]: Taking taylor expansion of (- (/ z t) (/ x t)) in t 8.077 * [taylor]: Taking taylor expansion of (/ z t) in t 8.077 * [taylor]: Taking taylor expansion of z in t 8.077 * [taylor]: Taking taylor expansion of t in t 8.077 * [taylor]: Taking taylor expansion of (/ x t) in t 8.077 * [taylor]: Taking taylor expansion of x in t 8.078 * [taylor]: Taking taylor expansion of t in t 8.078 * [taylor]: Taking taylor expansion of (- z x) in z 8.078 * [taylor]: Taking taylor expansion of z in z 8.078 * [taylor]: Taking taylor expansion of x in z 8.078 * [taylor]: Taking taylor expansion of (- x) in x 8.078 * [taylor]: Taking taylor expansion of x in x 8.078 * [taylor]: Taking taylor expansion of x in z 8.078 * [taylor]: Taking taylor expansion of x in x 8.079 * [taylor]: Taking taylor expansion of 0 in t 8.081 * [taylor]: Taking taylor expansion of 0 in z 8.081 * [taylor]: Taking taylor expansion of 0 in x 8.081 * [taylor]: Taking taylor expansion of 0 in z 8.081 * [taylor]: Taking taylor expansion of 0 in x 8.082 * [taylor]: Taking taylor expansion of 1 in x 8.082 * [taylor]: Taking taylor expansion of 0 in x 8.083 * [approximate]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in (y t z x) around 0 8.083 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in x 8.083 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 8.083 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in x 8.083 * [taylor]: Taking taylor expansion of (/ t y) in x 8.083 * [taylor]: Taking taylor expansion of t in x 8.083 * [taylor]: Taking taylor expansion of y in x 8.083 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 8.083 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.083 * [taylor]: Taking taylor expansion of z in x 8.083 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.083 * [taylor]: Taking taylor expansion of x in x 8.084 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.084 * [taylor]: Taking taylor expansion of x in x 8.084 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in z 8.084 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 8.084 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in z 8.084 * [taylor]: Taking taylor expansion of (/ t y) in z 8.084 * [taylor]: Taking taylor expansion of t in z 8.084 * [taylor]: Taking taylor expansion of y in z 8.084 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 8.084 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.084 * [taylor]: Taking taylor expansion of z in z 8.084 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.084 * [taylor]: Taking taylor expansion of x in z 8.085 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.085 * [taylor]: Taking taylor expansion of x in z 8.085 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in t 8.085 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 8.085 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in t 8.085 * [taylor]: Taking taylor expansion of (/ t y) in t 8.085 * [taylor]: Taking taylor expansion of t in t 8.085 * [taylor]: Taking taylor expansion of y in t 8.085 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in t 8.085 * [taylor]: Taking taylor expansion of (/ 1 z) in t 8.085 * [taylor]: Taking taylor expansion of z in t 8.085 * [taylor]: Taking taylor expansion of (/ 1 x) in t 8.085 * [taylor]: Taking taylor expansion of x in t 8.085 * [taylor]: Taking taylor expansion of (/ 1 x) in t 8.085 * [taylor]: Taking taylor expansion of x in t 8.085 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in y 8.085 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 8.085 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in y 8.085 * [taylor]: Taking taylor expansion of (/ t y) in y 8.085 * [taylor]: Taking taylor expansion of t in y 8.085 * [taylor]: Taking taylor expansion of y in y 8.085 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 8.085 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.085 * [taylor]: Taking taylor expansion of z in y 8.085 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.085 * [taylor]: Taking taylor expansion of x in y 8.085 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.085 * [taylor]: Taking taylor expansion of x in y 8.085 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in y 8.086 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 8.086 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in y 8.086 * [taylor]: Taking taylor expansion of (/ t y) in y 8.086 * [taylor]: Taking taylor expansion of t in y 8.086 * [taylor]: Taking taylor expansion of y in y 8.086 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 8.086 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.086 * [taylor]: Taking taylor expansion of z in y 8.086 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.086 * [taylor]: Taking taylor expansion of x in y 8.086 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.086 * [taylor]: Taking taylor expansion of x in y 8.086 * [taylor]: Taking taylor expansion of (- (/ t z) (/ t x)) in t 8.086 * [taylor]: Taking taylor expansion of (/ t z) in t 8.086 * [taylor]: Taking taylor expansion of t in t 8.086 * [taylor]: Taking taylor expansion of z in t 8.086 * [taylor]: Taking taylor expansion of (/ t x) in t 8.086 * [taylor]: Taking taylor expansion of t in t 8.086 * [taylor]: Taking taylor expansion of x in t 8.088 * [taylor]: Taking taylor expansion of (/ 1 x) in t 8.088 * [taylor]: Taking taylor expansion of x in t 8.088 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.088 * [taylor]: Taking taylor expansion of x in z 8.088 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 8.088 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.088 * [taylor]: Taking taylor expansion of z in z 8.088 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.088 * [taylor]: Taking taylor expansion of x in z 8.089 * [taylor]: Taking taylor expansion of 1 in x 8.091 * [taylor]: Taking taylor expansion of 0 in t 8.091 * [taylor]: Taking taylor expansion of 0 in z 8.091 * [taylor]: Taking taylor expansion of 0 in z 8.092 * [taylor]: Taking taylor expansion of 0 in z 8.092 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.092 * [taylor]: Taking taylor expansion of x in x 8.093 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 8.093 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.093 * [taylor]: Taking taylor expansion of x in x 8.094 * [approximate]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in (y t z x) around 0 8.094 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in x 8.094 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 8.095 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in x 8.095 * [taylor]: Taking taylor expansion of (/ t y) in x 8.095 * [taylor]: Taking taylor expansion of t in x 8.095 * [taylor]: Taking taylor expansion of y in x 8.095 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 8.095 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.095 * [taylor]: Taking taylor expansion of x in x 8.095 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.095 * [taylor]: Taking taylor expansion of z in x 8.095 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.095 * [taylor]: Taking taylor expansion of -1 in x 8.095 * [taylor]: Taking taylor expansion of x in x 8.096 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in z 8.096 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 8.096 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in z 8.096 * [taylor]: Taking taylor expansion of (/ t y) in z 8.096 * [taylor]: Taking taylor expansion of t in z 8.096 * [taylor]: Taking taylor expansion of y in z 8.096 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 8.096 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.096 * [taylor]: Taking taylor expansion of x in z 8.096 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.096 * [taylor]: Taking taylor expansion of z in z 8.096 * [taylor]: Taking taylor expansion of (/ -1 x) in z 8.096 * [taylor]: Taking taylor expansion of -1 in z 8.096 * [taylor]: Taking taylor expansion of x in z 8.096 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in t 8.096 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 8.096 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in t 8.096 * [taylor]: Taking taylor expansion of (/ t y) in t 8.096 * [taylor]: Taking taylor expansion of t in t 8.096 * [taylor]: Taking taylor expansion of y in t 8.097 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in t 8.097 * [taylor]: Taking taylor expansion of (/ 1 x) in t 8.097 * [taylor]: Taking taylor expansion of x in t 8.097 * [taylor]: Taking taylor expansion of (/ 1 z) in t 8.097 * [taylor]: Taking taylor expansion of z in t 8.097 * [taylor]: Taking taylor expansion of (/ -1 x) in t 8.097 * [taylor]: Taking taylor expansion of -1 in t 8.097 * [taylor]: Taking taylor expansion of x in t 8.097 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in y 8.097 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 8.097 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in y 8.097 * [taylor]: Taking taylor expansion of (/ t y) in y 8.097 * [taylor]: Taking taylor expansion of t in y 8.097 * [taylor]: Taking taylor expansion of y in y 8.097 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 8.097 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.097 * [taylor]: Taking taylor expansion of x in y 8.097 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.097 * [taylor]: Taking taylor expansion of z in y 8.097 * [taylor]: Taking taylor expansion of (/ -1 x) in y 8.097 * [taylor]: Taking taylor expansion of -1 in y 8.097 * [taylor]: Taking taylor expansion of x in y 8.097 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in y 8.097 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 8.097 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in y 8.097 * [taylor]: Taking taylor expansion of (/ t y) in y 8.097 * [taylor]: Taking taylor expansion of t in y 8.097 * [taylor]: Taking taylor expansion of y in y 8.097 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 8.097 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.097 * [taylor]: Taking taylor expansion of x in y 8.097 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.097 * [taylor]: Taking taylor expansion of z in y 8.097 * [taylor]: Taking taylor expansion of (/ -1 x) in y 8.097 * [taylor]: Taking taylor expansion of -1 in y 8.097 * [taylor]: Taking taylor expansion of x in y 8.098 * [taylor]: Taking taylor expansion of (- (/ t x) (/ t z)) in t 8.098 * [taylor]: Taking taylor expansion of (/ t x) in t 8.098 * [taylor]: Taking taylor expansion of t in t 8.098 * [taylor]: Taking taylor expansion of x in t 8.098 * [taylor]: Taking taylor expansion of (/ t z) in t 8.098 * [taylor]: Taking taylor expansion of t in t 8.098 * [taylor]: Taking taylor expansion of z in t 8.099 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in t 8.099 * [taylor]: Taking taylor expansion of (/ 1 x) in t 8.100 * [taylor]: Taking taylor expansion of x in t 8.100 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z 8.100 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.100 * [taylor]: Taking taylor expansion of x in z 8.100 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 8.100 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.100 * [taylor]: Taking taylor expansion of x in z 8.100 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.100 * [taylor]: Taking taylor expansion of z in z 8.101 * [taylor]: Taking taylor expansion of -1 in x 8.103 * [taylor]: Taking taylor expansion of 0 in t 8.103 * [taylor]: Taking taylor expansion of 0 in z 8.103 * [taylor]: Taking taylor expansion of 0 in z 8.104 * [taylor]: Taking taylor expansion of 0 in z 8.104 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 8.104 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.104 * [taylor]: Taking taylor expansion of x in x 8.106 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.106 * [taylor]: Taking taylor expansion of x in x 8.107 * * * [progress]: simplifying candidates 8.107 * [simplify]: Simplifying using # : (expm1 (fma (/ y t) (- z x) x)) (log1p (fma (/ y t) (- z x) x)) (* (/ y t) (- z x)) (log (fma (/ y t) (- z x) x)) (exp (fma (/ y t) (- z x) x)) (* (cbrt (fma (/ y t) (- z x) x)) (cbrt (fma (/ y t) (- z x) x))) (cbrt (fma (/ y t) (- z x) x)) (* (* (fma (/ y t) (- z x) x) (fma (/ y t) (- z x) x)) (fma (/ y t) (- z x) x)) (sqrt (fma (/ y t) (- z x) x)) (sqrt (fma (/ y t) (- z x) x)) (- (+ (/ (* z y) t) x) (/ (* x y) t)) (- (+ (/ (* z y) t) x) (/ (* x y) t)) (- (+ (/ (* z y) t) x) (/ (* x y) t)) 8.109 * * [simplify]: iteration 0 : 23 enodes (cost 154 ) 8.112 * * [simplify]: iteration 1 : 40 enodes (cost 154 ) 8.117 * * [simplify]: iteration 2 : 91 enodes (cost 138 ) 8.136 * * [simplify]: iteration 3 : 218 enodes (cost 123 ) 8.211 * * [simplify]: iteration 4 : 980 enodes (cost 123 ) 8.895 * * [simplify]: iteration done : 5000 enodes (cost 123 ) 8.895 * [simplify]: Simplified to: (expm1 (fma (/ y t) (- z x) x)) (log1p (fma (/ y t) (- z x) x)) (/ y (/ t (- z x))) (log (fma (/ y t) (- z x) x)) (exp (fma (/ y t) (- z x) x)) (* (cbrt (fma (/ y t) (- z x) x)) (cbrt (fma (/ y t) (- z x) x))) (cbrt (fma (/ y t) (- z x) x)) (pow (fma (/ y t) (- z x) x) 3) (sqrt (fma (/ y t) (- z x) x)) (sqrt (fma (/ y t) (- z x) x)) (fma (- z x) (/ y t) x) (fma (- z x) (/ y t) x) (fma (- z x) (/ y t) x) 8.896 * * * [progress]: adding candidates to table 8.932 * * [progress]: iteration 2 / 4 8.932 * * * [progress]: picking best candidate 8.938 * * * * [pick]: Picked # 8.938 * * * [progress]: localizing error 8.948 * * * [progress]: generating rewritten candidates 8.948 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 8.949 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1) 8.949 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 8.949 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 8.950 * * * [progress]: generating series expansions 8.950 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 8.951 * [approximate]: Taking taylor expansion of (fma (/ y t) (- z x) x) in (y t z x) around 0 8.951 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in x 8.951 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 8.951 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in x 8.951 * [taylor]: Taking taylor expansion of (/ y t) in x 8.951 * [taylor]: Taking taylor expansion of y in x 8.951 * [taylor]: Taking taylor expansion of t in x 8.951 * [taylor]: Taking taylor expansion of (- z x) in x 8.951 * [taylor]: Taking taylor expansion of z in x 8.951 * [taylor]: Taking taylor expansion of x in x 8.951 * [taylor]: Taking taylor expansion of x in x 8.951 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in z 8.951 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 8.951 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in z 8.951 * [taylor]: Taking taylor expansion of (/ y t) in z 8.951 * [taylor]: Taking taylor expansion of y in z 8.951 * [taylor]: Taking taylor expansion of t in z 8.951 * [taylor]: Taking taylor expansion of (- z x) in z 8.951 * [taylor]: Taking taylor expansion of z in z 8.951 * [taylor]: Taking taylor expansion of x in z 8.951 * [taylor]: Taking taylor expansion of x in z 8.951 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in t 8.951 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 8.951 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in t 8.951 * [taylor]: Taking taylor expansion of (/ y t) in t 8.951 * [taylor]: Taking taylor expansion of y in t 8.951 * [taylor]: Taking taylor expansion of t in t 8.951 * [taylor]: Taking taylor expansion of (- z x) in t 8.952 * [taylor]: Taking taylor expansion of z in t 8.952 * [taylor]: Taking taylor expansion of x in t 8.952 * [taylor]: Taking taylor expansion of x in t 8.952 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in y 8.952 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 8.952 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in y 8.952 * [taylor]: Taking taylor expansion of (/ y t) in y 8.952 * [taylor]: Taking taylor expansion of y in y 8.952 * [taylor]: Taking taylor expansion of t in y 8.952 * [taylor]: Taking taylor expansion of (- z x) in y 8.952 * [taylor]: Taking taylor expansion of z in y 8.952 * [taylor]: Taking taylor expansion of x in y 8.952 * [taylor]: Taking taylor expansion of x in y 8.952 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in y 8.952 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 8.952 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in y 8.952 * [taylor]: Taking taylor expansion of (/ y t) in y 8.952 * [taylor]: Taking taylor expansion of y in y 8.952 * [taylor]: Taking taylor expansion of t in y 8.952 * [taylor]: Taking taylor expansion of (- z x) in y 8.952 * [taylor]: Taking taylor expansion of z in y 8.952 * [taylor]: Taking taylor expansion of x in y 8.952 * [taylor]: Taking taylor expansion of x in y 8.952 * [taylor]: Taking taylor expansion of x in t 8.952 * [taylor]: Taking taylor expansion of (- (/ z t) (/ x t)) in t 8.952 * [taylor]: Taking taylor expansion of (/ z t) in t 8.952 * [taylor]: Taking taylor expansion of z in t 8.952 * [taylor]: Taking taylor expansion of t in t 8.952 * [taylor]: Taking taylor expansion of (/ x t) in t 8.952 * [taylor]: Taking taylor expansion of x in t 8.952 * [taylor]: Taking taylor expansion of t in t 8.953 * [taylor]: Taking taylor expansion of (- z x) in z 8.953 * [taylor]: Taking taylor expansion of z in z 8.953 * [taylor]: Taking taylor expansion of x in z 8.953 * [taylor]: Taking taylor expansion of (- x) in x 8.953 * [taylor]: Taking taylor expansion of x in x 8.953 * [taylor]: Taking taylor expansion of x in z 8.953 * [taylor]: Taking taylor expansion of x in x 8.954 * [taylor]: Taking taylor expansion of 0 in t 8.956 * [taylor]: Taking taylor expansion of 0 in z 8.956 * [taylor]: Taking taylor expansion of 0 in x 8.956 * [taylor]: Taking taylor expansion of 0 in z 8.956 * [taylor]: Taking taylor expansion of 0 in x 8.957 * [taylor]: Taking taylor expansion of 1 in x 8.957 * [taylor]: Taking taylor expansion of 0 in x 8.958 * [approximate]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in (y t z x) around 0 8.958 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in x 8.958 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 8.958 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in x 8.958 * [taylor]: Taking taylor expansion of (/ t y) in x 8.958 * [taylor]: Taking taylor expansion of t in x 8.958 * [taylor]: Taking taylor expansion of y in x 8.958 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 8.958 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.958 * [taylor]: Taking taylor expansion of z in x 8.958 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.958 * [taylor]: Taking taylor expansion of x in x 8.959 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.959 * [taylor]: Taking taylor expansion of x in x 8.959 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in z 8.959 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 8.959 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in z 8.959 * [taylor]: Taking taylor expansion of (/ t y) in z 8.959 * [taylor]: Taking taylor expansion of t in z 8.959 * [taylor]: Taking taylor expansion of y in z 8.959 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 8.959 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.959 * [taylor]: Taking taylor expansion of z in z 8.959 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.959 * [taylor]: Taking taylor expansion of x in z 8.960 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.960 * [taylor]: Taking taylor expansion of x in z 8.960 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in t 8.960 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 8.960 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in t 8.960 * [taylor]: Taking taylor expansion of (/ t y) in t 8.960 * [taylor]: Taking taylor expansion of t in t 8.960 * [taylor]: Taking taylor expansion of y in t 8.960 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in t 8.960 * [taylor]: Taking taylor expansion of (/ 1 z) in t 8.960 * [taylor]: Taking taylor expansion of z in t 8.960 * [taylor]: Taking taylor expansion of (/ 1 x) in t 8.960 * [taylor]: Taking taylor expansion of x in t 8.960 * [taylor]: Taking taylor expansion of (/ 1 x) in t 8.960 * [taylor]: Taking taylor expansion of x in t 8.960 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in y 8.960 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 8.960 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in y 8.960 * [taylor]: Taking taylor expansion of (/ t y) in y 8.960 * [taylor]: Taking taylor expansion of t in y 8.960 * [taylor]: Taking taylor expansion of y in y 8.960 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 8.960 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.960 * [taylor]: Taking taylor expansion of z in y 8.960 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.960 * [taylor]: Taking taylor expansion of x in y 8.960 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.960 * [taylor]: Taking taylor expansion of x in y 8.960 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in y 8.960 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 8.960 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in y 8.960 * [taylor]: Taking taylor expansion of (/ t y) in y 8.961 * [taylor]: Taking taylor expansion of t in y 8.961 * [taylor]: Taking taylor expansion of y in y 8.961 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 8.961 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.961 * [taylor]: Taking taylor expansion of z in y 8.961 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.961 * [taylor]: Taking taylor expansion of x in y 8.961 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.961 * [taylor]: Taking taylor expansion of x in y 8.961 * [taylor]: Taking taylor expansion of (- (/ t z) (/ t x)) in t 8.961 * [taylor]: Taking taylor expansion of (/ t z) in t 8.961 * [taylor]: Taking taylor expansion of t in t 8.961 * [taylor]: Taking taylor expansion of z in t 8.961 * [taylor]: Taking taylor expansion of (/ t x) in t 8.961 * [taylor]: Taking taylor expansion of t in t 8.961 * [taylor]: Taking taylor expansion of x in t 8.963 * [taylor]: Taking taylor expansion of (/ 1 x) in t 8.963 * [taylor]: Taking taylor expansion of x in t 8.963 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.963 * [taylor]: Taking taylor expansion of x in z 8.963 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 8.963 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.963 * [taylor]: Taking taylor expansion of z in z 8.963 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.963 * [taylor]: Taking taylor expansion of x in z 8.964 * [taylor]: Taking taylor expansion of 1 in x 8.966 * [taylor]: Taking taylor expansion of 0 in t 8.966 * [taylor]: Taking taylor expansion of 0 in z 8.966 * [taylor]: Taking taylor expansion of 0 in z 8.967 * [taylor]: Taking taylor expansion of 0 in z 8.967 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.967 * [taylor]: Taking taylor expansion of x in x 8.968 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 8.968 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.968 * [taylor]: Taking taylor expansion of x in x 8.969 * [approximate]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in (y t z x) around 0 8.969 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in x 8.969 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 8.969 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in x 8.969 * [taylor]: Taking taylor expansion of (/ t y) in x 8.969 * [taylor]: Taking taylor expansion of t in x 8.969 * [taylor]: Taking taylor expansion of y in x 8.969 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 8.969 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.969 * [taylor]: Taking taylor expansion of x in x 8.970 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.970 * [taylor]: Taking taylor expansion of z in x 8.970 * [taylor]: Taking taylor expansion of (/ -1 x) in x 8.970 * [taylor]: Taking taylor expansion of -1 in x 8.970 * [taylor]: Taking taylor expansion of x in x 8.970 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in z 8.970 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 8.971 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in z 8.971 * [taylor]: Taking taylor expansion of (/ t y) in z 8.971 * [taylor]: Taking taylor expansion of t in z 8.971 * [taylor]: Taking taylor expansion of y in z 8.971 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 8.971 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.971 * [taylor]: Taking taylor expansion of x in z 8.971 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.971 * [taylor]: Taking taylor expansion of z in z 8.971 * [taylor]: Taking taylor expansion of (/ -1 x) in z 8.971 * [taylor]: Taking taylor expansion of -1 in z 8.971 * [taylor]: Taking taylor expansion of x in z 8.971 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in t 8.971 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 8.971 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in t 8.971 * [taylor]: Taking taylor expansion of (/ t y) in t 8.971 * [taylor]: Taking taylor expansion of t in t 8.971 * [taylor]: Taking taylor expansion of y in t 8.971 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in t 8.971 * [taylor]: Taking taylor expansion of (/ 1 x) in t 8.971 * [taylor]: Taking taylor expansion of x in t 8.972 * [taylor]: Taking taylor expansion of (/ 1 z) in t 8.972 * [taylor]: Taking taylor expansion of z in t 8.972 * [taylor]: Taking taylor expansion of (/ -1 x) in t 8.972 * [taylor]: Taking taylor expansion of -1 in t 8.972 * [taylor]: Taking taylor expansion of x in t 8.972 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in y 8.972 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 8.972 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in y 8.972 * [taylor]: Taking taylor expansion of (/ t y) in y 8.972 * [taylor]: Taking taylor expansion of t in y 8.972 * [taylor]: Taking taylor expansion of y in y 8.972 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 8.972 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.972 * [taylor]: Taking taylor expansion of x in y 8.972 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.972 * [taylor]: Taking taylor expansion of z in y 8.972 * [taylor]: Taking taylor expansion of (/ -1 x) in y 8.972 * [taylor]: Taking taylor expansion of -1 in y 8.972 * [taylor]: Taking taylor expansion of x in y 8.972 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in y 8.972 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 8.972 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in y 8.972 * [taylor]: Taking taylor expansion of (/ t y) in y 8.972 * [taylor]: Taking taylor expansion of t in y 8.972 * [taylor]: Taking taylor expansion of y in y 8.972 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 8.972 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.972 * [taylor]: Taking taylor expansion of x in y 8.972 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.973 * [taylor]: Taking taylor expansion of z in y 8.973 * [taylor]: Taking taylor expansion of (/ -1 x) in y 8.973 * [taylor]: Taking taylor expansion of -1 in y 8.973 * [taylor]: Taking taylor expansion of x in y 8.973 * [taylor]: Taking taylor expansion of (- (/ t x) (/ t z)) in t 8.973 * [taylor]: Taking taylor expansion of (/ t x) in t 8.973 * [taylor]: Taking taylor expansion of t in t 8.973 * [taylor]: Taking taylor expansion of x in t 8.973 * [taylor]: Taking taylor expansion of (/ t z) in t 8.973 * [taylor]: Taking taylor expansion of t in t 8.973 * [taylor]: Taking taylor expansion of z in t 8.975 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in t 8.975 * [taylor]: Taking taylor expansion of (/ 1 x) in t 8.975 * [taylor]: Taking taylor expansion of x in t 8.975 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z 8.975 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.975 * [taylor]: Taking taylor expansion of x in z 8.975 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 8.975 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.975 * [taylor]: Taking taylor expansion of x in z 8.975 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.975 * [taylor]: Taking taylor expansion of z in z 8.976 * [taylor]: Taking taylor expansion of -1 in x 8.978 * [taylor]: Taking taylor expansion of 0 in t 8.979 * [taylor]: Taking taylor expansion of 0 in z 8.979 * [taylor]: Taking taylor expansion of 0 in z 8.980 * [taylor]: Taking taylor expansion of 0 in z 8.980 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 8.980 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.980 * [taylor]: Taking taylor expansion of x in x 8.981 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.981 * [taylor]: Taking taylor expansion of x in x 8.982 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1) 8.983 * [approximate]: Taking taylor expansion of (fma (/ y t) (- z x) x) in (y t z x) around 0 8.983 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in x 8.983 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 8.983 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in x 8.983 * [taylor]: Taking taylor expansion of (/ y t) in x 8.983 * [taylor]: Taking taylor expansion of y in x 8.983 * [taylor]: Taking taylor expansion of t in x 8.983 * [taylor]: Taking taylor expansion of (- z x) in x 8.983 * [taylor]: Taking taylor expansion of z in x 8.983 * [taylor]: Taking taylor expansion of x in x 8.983 * [taylor]: Taking taylor expansion of x in x 8.983 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in z 8.983 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 8.983 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in z 8.983 * [taylor]: Taking taylor expansion of (/ y t) in z 8.983 * [taylor]: Taking taylor expansion of y in z 8.983 * [taylor]: Taking taylor expansion of t in z 8.983 * [taylor]: Taking taylor expansion of (- z x) in z 8.983 * [taylor]: Taking taylor expansion of z in z 8.983 * [taylor]: Taking taylor expansion of x in z 8.983 * [taylor]: Taking taylor expansion of x in z 8.983 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in t 8.983 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 8.983 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in t 8.983 * [taylor]: Taking taylor expansion of (/ y t) in t 8.983 * [taylor]: Taking taylor expansion of y in t 8.983 * [taylor]: Taking taylor expansion of t in t 8.983 * [taylor]: Taking taylor expansion of (- z x) in t 8.983 * [taylor]: Taking taylor expansion of z in t 8.983 * [taylor]: Taking taylor expansion of x in t 8.984 * [taylor]: Taking taylor expansion of x in t 8.984 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in y 8.984 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 8.984 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in y 8.984 * [taylor]: Taking taylor expansion of (/ y t) in y 8.984 * [taylor]: Taking taylor expansion of y in y 8.984 * [taylor]: Taking taylor expansion of t in y 8.984 * [taylor]: Taking taylor expansion of (- z x) in y 8.984 * [taylor]: Taking taylor expansion of z in y 8.984 * [taylor]: Taking taylor expansion of x in y 8.984 * [taylor]: Taking taylor expansion of x in y 8.984 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in y 8.984 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 8.984 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in y 8.984 * [taylor]: Taking taylor expansion of (/ y t) in y 8.984 * [taylor]: Taking taylor expansion of y in y 8.984 * [taylor]: Taking taylor expansion of t in y 8.984 * [taylor]: Taking taylor expansion of (- z x) in y 8.984 * [taylor]: Taking taylor expansion of z in y 8.984 * [taylor]: Taking taylor expansion of x in y 8.984 * [taylor]: Taking taylor expansion of x in y 8.984 * [taylor]: Taking taylor expansion of x in t 8.984 * [taylor]: Taking taylor expansion of (- (/ z t) (/ x t)) in t 8.984 * [taylor]: Taking taylor expansion of (/ z t) in t 8.984 * [taylor]: Taking taylor expansion of z in t 8.984 * [taylor]: Taking taylor expansion of t in t 8.984 * [taylor]: Taking taylor expansion of (/ x t) in t 8.984 * [taylor]: Taking taylor expansion of x in t 8.984 * [taylor]: Taking taylor expansion of t in t 8.984 * [taylor]: Taking taylor expansion of (- z x) in z 8.984 * [taylor]: Taking taylor expansion of z in z 8.984 * [taylor]: Taking taylor expansion of x in z 8.985 * [taylor]: Taking taylor expansion of (- x) in x 8.985 * [taylor]: Taking taylor expansion of x in x 8.985 * [taylor]: Taking taylor expansion of x in z 8.985 * [taylor]: Taking taylor expansion of x in x 8.986 * [taylor]: Taking taylor expansion of 0 in t 8.988 * [taylor]: Taking taylor expansion of 0 in z 8.988 * [taylor]: Taking taylor expansion of 0 in x 8.988 * [taylor]: Taking taylor expansion of 0 in z 8.988 * [taylor]: Taking taylor expansion of 0 in x 8.988 * [taylor]: Taking taylor expansion of 1 in x 8.988 * [taylor]: Taking taylor expansion of 0 in x 8.989 * [approximate]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in (y t z x) around 0 8.989 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in x 8.990 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 8.990 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in x 8.990 * [taylor]: Taking taylor expansion of (/ t y) in x 8.990 * [taylor]: Taking taylor expansion of t in x 8.990 * [taylor]: Taking taylor expansion of y in x 8.990 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 8.990 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.990 * [taylor]: Taking taylor expansion of z in x 8.990 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.990 * [taylor]: Taking taylor expansion of x in x 8.990 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.990 * [taylor]: Taking taylor expansion of x in x 8.991 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in z 8.991 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 8.991 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in z 8.991 * [taylor]: Taking taylor expansion of (/ t y) in z 8.991 * [taylor]: Taking taylor expansion of t in z 8.991 * [taylor]: Taking taylor expansion of y in z 8.991 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 8.991 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.991 * [taylor]: Taking taylor expansion of z in z 8.991 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.991 * [taylor]: Taking taylor expansion of x in z 8.991 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.991 * [taylor]: Taking taylor expansion of x in z 8.991 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in t 8.991 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 8.991 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in t 8.991 * [taylor]: Taking taylor expansion of (/ t y) in t 8.992 * [taylor]: Taking taylor expansion of t in t 8.992 * [taylor]: Taking taylor expansion of y in t 8.992 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in t 8.992 * [taylor]: Taking taylor expansion of (/ 1 z) in t 8.992 * [taylor]: Taking taylor expansion of z in t 8.992 * [taylor]: Taking taylor expansion of (/ 1 x) in t 8.992 * [taylor]: Taking taylor expansion of x in t 8.992 * [taylor]: Taking taylor expansion of (/ 1 x) in t 8.992 * [taylor]: Taking taylor expansion of x in t 8.992 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in y 8.992 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 8.992 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in y 8.992 * [taylor]: Taking taylor expansion of (/ t y) in y 8.992 * [taylor]: Taking taylor expansion of t in y 8.992 * [taylor]: Taking taylor expansion of y in y 8.992 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 8.992 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.992 * [taylor]: Taking taylor expansion of z in y 8.992 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.992 * [taylor]: Taking taylor expansion of x in y 8.992 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.992 * [taylor]: Taking taylor expansion of x in y 8.992 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in y 8.992 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 8.992 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in y 8.992 * [taylor]: Taking taylor expansion of (/ t y) in y 8.992 * [taylor]: Taking taylor expansion of t in y 8.992 * [taylor]: Taking taylor expansion of y in y 8.992 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 8.992 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.992 * [taylor]: Taking taylor expansion of z in y 8.992 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.992 * [taylor]: Taking taylor expansion of x in y 8.992 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.992 * [taylor]: Taking taylor expansion of x in y 8.993 * [taylor]: Taking taylor expansion of (- (/ t z) (/ t x)) in t 8.993 * [taylor]: Taking taylor expansion of (/ t z) in t 8.993 * [taylor]: Taking taylor expansion of t in t 8.993 * [taylor]: Taking taylor expansion of z in t 8.993 * [taylor]: Taking taylor expansion of (/ t x) in t 8.993 * [taylor]: Taking taylor expansion of t in t 8.993 * [taylor]: Taking taylor expansion of x in t 8.994 * [taylor]: Taking taylor expansion of (/ 1 x) in t 8.994 * [taylor]: Taking taylor expansion of x in t 8.995 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.995 * [taylor]: Taking taylor expansion of x in z 8.995 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 8.995 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.995 * [taylor]: Taking taylor expansion of z in z 8.995 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.995 * [taylor]: Taking taylor expansion of x in z 8.995 * [taylor]: Taking taylor expansion of 1 in x 8.998 * [taylor]: Taking taylor expansion of 0 in t 8.998 * [taylor]: Taking taylor expansion of 0 in z 8.998 * [taylor]: Taking taylor expansion of 0 in z 8.998 * [taylor]: Taking taylor expansion of 0 in z 8.998 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.998 * [taylor]: Taking taylor expansion of x in x 8.999 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 8.999 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.999 * [taylor]: Taking taylor expansion of x in x 9.001 * [approximate]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in (y t z x) around 0 9.001 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in x 9.001 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 9.001 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in x 9.001 * [taylor]: Taking taylor expansion of (/ t y) in x 9.001 * [taylor]: Taking taylor expansion of t in x 9.001 * [taylor]: Taking taylor expansion of y in x 9.001 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 9.001 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.001 * [taylor]: Taking taylor expansion of x in x 9.002 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.002 * [taylor]: Taking taylor expansion of z in x 9.002 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.002 * [taylor]: Taking taylor expansion of -1 in x 9.002 * [taylor]: Taking taylor expansion of x in x 9.002 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in z 9.002 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 9.002 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in z 9.002 * [taylor]: Taking taylor expansion of (/ t y) in z 9.002 * [taylor]: Taking taylor expansion of t in z 9.002 * [taylor]: Taking taylor expansion of y in z 9.003 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 9.003 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.003 * [taylor]: Taking taylor expansion of x in z 9.003 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.003 * [taylor]: Taking taylor expansion of z in z 9.003 * [taylor]: Taking taylor expansion of (/ -1 x) in z 9.003 * [taylor]: Taking taylor expansion of -1 in z 9.003 * [taylor]: Taking taylor expansion of x in z 9.003 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in t 9.003 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 9.003 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in t 9.003 * [taylor]: Taking taylor expansion of (/ t y) in t 9.003 * [taylor]: Taking taylor expansion of t in t 9.003 * [taylor]: Taking taylor expansion of y in t 9.003 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in t 9.003 * [taylor]: Taking taylor expansion of (/ 1 x) in t 9.003 * [taylor]: Taking taylor expansion of x in t 9.003 * [taylor]: Taking taylor expansion of (/ 1 z) in t 9.003 * [taylor]: Taking taylor expansion of z in t 9.003 * [taylor]: Taking taylor expansion of (/ -1 x) in t 9.003 * [taylor]: Taking taylor expansion of -1 in t 9.003 * [taylor]: Taking taylor expansion of x in t 9.003 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in y 9.004 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 9.004 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in y 9.004 * [taylor]: Taking taylor expansion of (/ t y) in y 9.004 * [taylor]: Taking taylor expansion of t in y 9.004 * [taylor]: Taking taylor expansion of y in y 9.004 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 9.004 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.004 * [taylor]: Taking taylor expansion of x in y 9.004 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.004 * [taylor]: Taking taylor expansion of z in y 9.004 * [taylor]: Taking taylor expansion of (/ -1 x) in y 9.004 * [taylor]: Taking taylor expansion of -1 in y 9.004 * [taylor]: Taking taylor expansion of x in y 9.004 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in y 9.004 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 9.004 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in y 9.004 * [taylor]: Taking taylor expansion of (/ t y) in y 9.004 * [taylor]: Taking taylor expansion of t in y 9.004 * [taylor]: Taking taylor expansion of y in y 9.004 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 9.004 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.004 * [taylor]: Taking taylor expansion of x in y 9.004 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.004 * [taylor]: Taking taylor expansion of z in y 9.004 * [taylor]: Taking taylor expansion of (/ -1 x) in y 9.004 * [taylor]: Taking taylor expansion of -1 in y 9.004 * [taylor]: Taking taylor expansion of x in y 9.005 * [taylor]: Taking taylor expansion of (- (/ t x) (/ t z)) in t 9.005 * [taylor]: Taking taylor expansion of (/ t x) in t 9.005 * [taylor]: Taking taylor expansion of t in t 9.005 * [taylor]: Taking taylor expansion of x in t 9.005 * [taylor]: Taking taylor expansion of (/ t z) in t 9.005 * [taylor]: Taking taylor expansion of t in t 9.005 * [taylor]: Taking taylor expansion of z in t 9.006 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in t 9.006 * [taylor]: Taking taylor expansion of (/ 1 x) in t 9.006 * [taylor]: Taking taylor expansion of x in t 9.006 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z 9.006 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.006 * [taylor]: Taking taylor expansion of x in z 9.006 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 9.007 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.007 * [taylor]: Taking taylor expansion of x in z 9.007 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.007 * [taylor]: Taking taylor expansion of z in z 9.007 * [taylor]: Taking taylor expansion of -1 in x 9.010 * [taylor]: Taking taylor expansion of 0 in t 9.010 * [taylor]: Taking taylor expansion of 0 in z 9.010 * [taylor]: Taking taylor expansion of 0 in z 9.011 * [taylor]: Taking taylor expansion of 0 in z 9.011 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 9.011 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.011 * [taylor]: Taking taylor expansion of x in x 9.012 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.012 * [taylor]: Taking taylor expansion of x in x 9.013 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 9.014 * [approximate]: Taking taylor expansion of (fma (/ y t) (- z x) x) in (y t z x) around 0 9.014 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in x 9.014 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 9.014 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in x 9.014 * [taylor]: Taking taylor expansion of (/ y t) in x 9.014 * [taylor]: Taking taylor expansion of y in x 9.014 * [taylor]: Taking taylor expansion of t in x 9.014 * [taylor]: Taking taylor expansion of (- z x) in x 9.014 * [taylor]: Taking taylor expansion of z in x 9.014 * [taylor]: Taking taylor expansion of x in x 9.014 * [taylor]: Taking taylor expansion of x in x 9.014 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in z 9.014 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 9.014 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in z 9.014 * [taylor]: Taking taylor expansion of (/ y t) in z 9.014 * [taylor]: Taking taylor expansion of y in z 9.014 * [taylor]: Taking taylor expansion of t in z 9.014 * [taylor]: Taking taylor expansion of (- z x) in z 9.014 * [taylor]: Taking taylor expansion of z in z 9.014 * [taylor]: Taking taylor expansion of x in z 9.014 * [taylor]: Taking taylor expansion of x in z 9.014 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in t 9.014 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 9.014 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in t 9.014 * [taylor]: Taking taylor expansion of (/ y t) in t 9.014 * [taylor]: Taking taylor expansion of y in t 9.014 * [taylor]: Taking taylor expansion of t in t 9.014 * [taylor]: Taking taylor expansion of (- z x) in t 9.014 * [taylor]: Taking taylor expansion of z in t 9.014 * [taylor]: Taking taylor expansion of x in t 9.014 * [taylor]: Taking taylor expansion of x in t 9.014 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in y 9.015 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 9.015 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in y 9.015 * [taylor]: Taking taylor expansion of (/ y t) in y 9.015 * [taylor]: Taking taylor expansion of y in y 9.015 * [taylor]: Taking taylor expansion of t in y 9.015 * [taylor]: Taking taylor expansion of (- z x) in y 9.015 * [taylor]: Taking taylor expansion of z in y 9.015 * [taylor]: Taking taylor expansion of x in y 9.015 * [taylor]: Taking taylor expansion of x in y 9.015 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in y 9.015 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 9.015 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in y 9.015 * [taylor]: Taking taylor expansion of (/ y t) in y 9.015 * [taylor]: Taking taylor expansion of y in y 9.015 * [taylor]: Taking taylor expansion of t in y 9.015 * [taylor]: Taking taylor expansion of (- z x) in y 9.015 * [taylor]: Taking taylor expansion of z in y 9.015 * [taylor]: Taking taylor expansion of x in y 9.015 * [taylor]: Taking taylor expansion of x in y 9.015 * [taylor]: Taking taylor expansion of x in t 9.015 * [taylor]: Taking taylor expansion of (- (/ z t) (/ x t)) in t 9.015 * [taylor]: Taking taylor expansion of (/ z t) in t 9.015 * [taylor]: Taking taylor expansion of z in t 9.015 * [taylor]: Taking taylor expansion of t in t 9.015 * [taylor]: Taking taylor expansion of (/ x t) in t 9.015 * [taylor]: Taking taylor expansion of x in t 9.015 * [taylor]: Taking taylor expansion of t in t 9.015 * [taylor]: Taking taylor expansion of (- z x) in z 9.015 * [taylor]: Taking taylor expansion of z in z 9.015 * [taylor]: Taking taylor expansion of x in z 9.015 * [taylor]: Taking taylor expansion of (- x) in x 9.015 * [taylor]: Taking taylor expansion of x in x 9.016 * [taylor]: Taking taylor expansion of x in z 9.016 * [taylor]: Taking taylor expansion of x in x 9.017 * [taylor]: Taking taylor expansion of 0 in t 9.022 * [taylor]: Taking taylor expansion of 0 in z 9.022 * [taylor]: Taking taylor expansion of 0 in x 9.022 * [taylor]: Taking taylor expansion of 0 in z 9.022 * [taylor]: Taking taylor expansion of 0 in x 9.022 * [taylor]: Taking taylor expansion of 1 in x 9.022 * [taylor]: Taking taylor expansion of 0 in x 9.023 * [approximate]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in (y t z x) around 0 9.024 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in x 9.024 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 9.024 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in x 9.024 * [taylor]: Taking taylor expansion of (/ t y) in x 9.024 * [taylor]: Taking taylor expansion of t in x 9.024 * [taylor]: Taking taylor expansion of y in x 9.024 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 9.024 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.024 * [taylor]: Taking taylor expansion of z in x 9.024 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.024 * [taylor]: Taking taylor expansion of x in x 9.024 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.024 * [taylor]: Taking taylor expansion of x in x 9.025 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in z 9.025 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 9.025 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in z 9.025 * [taylor]: Taking taylor expansion of (/ t y) in z 9.025 * [taylor]: Taking taylor expansion of t in z 9.025 * [taylor]: Taking taylor expansion of y in z 9.025 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 9.025 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.025 * [taylor]: Taking taylor expansion of z in z 9.025 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.025 * [taylor]: Taking taylor expansion of x in z 9.025 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.025 * [taylor]: Taking taylor expansion of x in z 9.025 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in t 9.025 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 9.026 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in t 9.026 * [taylor]: Taking taylor expansion of (/ t y) in t 9.026 * [taylor]: Taking taylor expansion of t in t 9.026 * [taylor]: Taking taylor expansion of y in t 9.026 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in t 9.026 * [taylor]: Taking taylor expansion of (/ 1 z) in t 9.026 * [taylor]: Taking taylor expansion of z in t 9.026 * [taylor]: Taking taylor expansion of (/ 1 x) in t 9.026 * [taylor]: Taking taylor expansion of x in t 9.026 * [taylor]: Taking taylor expansion of (/ 1 x) in t 9.026 * [taylor]: Taking taylor expansion of x in t 9.026 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in y 9.026 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 9.026 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in y 9.026 * [taylor]: Taking taylor expansion of (/ t y) in y 9.026 * [taylor]: Taking taylor expansion of t in y 9.026 * [taylor]: Taking taylor expansion of y in y 9.026 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 9.026 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.026 * [taylor]: Taking taylor expansion of z in y 9.026 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.026 * [taylor]: Taking taylor expansion of x in y 9.026 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.026 * [taylor]: Taking taylor expansion of x in y 9.026 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in y 9.026 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 9.026 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in y 9.026 * [taylor]: Taking taylor expansion of (/ t y) in y 9.026 * [taylor]: Taking taylor expansion of t in y 9.026 * [taylor]: Taking taylor expansion of y in y 9.026 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 9.026 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.026 * [taylor]: Taking taylor expansion of z in y 9.026 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.026 * [taylor]: Taking taylor expansion of x in y 9.026 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.026 * [taylor]: Taking taylor expansion of x in y 9.027 * [taylor]: Taking taylor expansion of (- (/ t z) (/ t x)) in t 9.027 * [taylor]: Taking taylor expansion of (/ t z) in t 9.027 * [taylor]: Taking taylor expansion of t in t 9.027 * [taylor]: Taking taylor expansion of z in t 9.027 * [taylor]: Taking taylor expansion of (/ t x) in t 9.027 * [taylor]: Taking taylor expansion of t in t 9.027 * [taylor]: Taking taylor expansion of x in t 9.028 * [taylor]: Taking taylor expansion of (/ 1 x) in t 9.028 * [taylor]: Taking taylor expansion of x in t 9.029 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.029 * [taylor]: Taking taylor expansion of x in z 9.029 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 9.029 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.029 * [taylor]: Taking taylor expansion of z in z 9.029 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.029 * [taylor]: Taking taylor expansion of x in z 9.029 * [taylor]: Taking taylor expansion of 1 in x 9.032 * [taylor]: Taking taylor expansion of 0 in t 9.033 * [taylor]: Taking taylor expansion of 0 in z 9.033 * [taylor]: Taking taylor expansion of 0 in z 9.033 * [taylor]: Taking taylor expansion of 0 in z 9.033 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.033 * [taylor]: Taking taylor expansion of x in x 9.034 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 9.034 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.034 * [taylor]: Taking taylor expansion of x in x 9.036 * [approximate]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in (y t z x) around 0 9.036 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in x 9.036 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 9.036 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in x 9.036 * [taylor]: Taking taylor expansion of (/ t y) in x 9.036 * [taylor]: Taking taylor expansion of t in x 9.036 * [taylor]: Taking taylor expansion of y in x 9.036 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 9.036 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.036 * [taylor]: Taking taylor expansion of x in x 9.037 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.037 * [taylor]: Taking taylor expansion of z in x 9.037 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.037 * [taylor]: Taking taylor expansion of -1 in x 9.037 * [taylor]: Taking taylor expansion of x in x 9.037 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in z 9.037 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 9.037 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in z 9.037 * [taylor]: Taking taylor expansion of (/ t y) in z 9.037 * [taylor]: Taking taylor expansion of t in z 9.037 * [taylor]: Taking taylor expansion of y in z 9.037 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 9.037 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.037 * [taylor]: Taking taylor expansion of x in z 9.037 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.037 * [taylor]: Taking taylor expansion of z in z 9.038 * [taylor]: Taking taylor expansion of (/ -1 x) in z 9.038 * [taylor]: Taking taylor expansion of -1 in z 9.038 * [taylor]: Taking taylor expansion of x in z 9.038 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in t 9.038 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 9.038 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in t 9.038 * [taylor]: Taking taylor expansion of (/ t y) in t 9.038 * [taylor]: Taking taylor expansion of t in t 9.038 * [taylor]: Taking taylor expansion of y in t 9.038 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in t 9.038 * [taylor]: Taking taylor expansion of (/ 1 x) in t 9.038 * [taylor]: Taking taylor expansion of x in t 9.038 * [taylor]: Taking taylor expansion of (/ 1 z) in t 9.038 * [taylor]: Taking taylor expansion of z in t 9.038 * [taylor]: Taking taylor expansion of (/ -1 x) in t 9.038 * [taylor]: Taking taylor expansion of -1 in t 9.038 * [taylor]: Taking taylor expansion of x in t 9.038 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in y 9.038 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 9.038 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in y 9.038 * [taylor]: Taking taylor expansion of (/ t y) in y 9.038 * [taylor]: Taking taylor expansion of t in y 9.038 * [taylor]: Taking taylor expansion of y in y 9.038 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 9.038 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.038 * [taylor]: Taking taylor expansion of x in y 9.038 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.038 * [taylor]: Taking taylor expansion of z in y 9.038 * [taylor]: Taking taylor expansion of (/ -1 x) in y 9.038 * [taylor]: Taking taylor expansion of -1 in y 9.039 * [taylor]: Taking taylor expansion of x in y 9.039 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in y 9.039 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 9.039 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in y 9.039 * [taylor]: Taking taylor expansion of (/ t y) in y 9.039 * [taylor]: Taking taylor expansion of t in y 9.039 * [taylor]: Taking taylor expansion of y in y 9.039 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 9.039 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.039 * [taylor]: Taking taylor expansion of x in y 9.039 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.039 * [taylor]: Taking taylor expansion of z in y 9.039 * [taylor]: Taking taylor expansion of (/ -1 x) in y 9.039 * [taylor]: Taking taylor expansion of -1 in y 9.039 * [taylor]: Taking taylor expansion of x in y 9.039 * [taylor]: Taking taylor expansion of (- (/ t x) (/ t z)) in t 9.039 * [taylor]: Taking taylor expansion of (/ t x) in t 9.039 * [taylor]: Taking taylor expansion of t in t 9.039 * [taylor]: Taking taylor expansion of x in t 9.039 * [taylor]: Taking taylor expansion of (/ t z) in t 9.039 * [taylor]: Taking taylor expansion of t in t 9.039 * [taylor]: Taking taylor expansion of z in t 9.041 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in t 9.041 * [taylor]: Taking taylor expansion of (/ 1 x) in t 9.041 * [taylor]: Taking taylor expansion of x in t 9.041 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z 9.041 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.041 * [taylor]: Taking taylor expansion of x in z 9.041 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 9.041 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.041 * [taylor]: Taking taylor expansion of x in z 9.041 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.041 * [taylor]: Taking taylor expansion of z in z 9.042 * [taylor]: Taking taylor expansion of -1 in x 9.044 * [taylor]: Taking taylor expansion of 0 in t 9.044 * [taylor]: Taking taylor expansion of 0 in z 9.045 * [taylor]: Taking taylor expansion of 0 in z 9.045 * [taylor]: Taking taylor expansion of 0 in z 9.046 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 9.046 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.046 * [taylor]: Taking taylor expansion of x in x 9.047 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.047 * [taylor]: Taking taylor expansion of x in x 9.048 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 9.048 * [approximate]: Taking taylor expansion of (pow (fma (/ y t) (- z x) x) 1/3) in (y t z x) around 0 9.048 * [taylor]: Taking taylor expansion of (pow (fma (/ y t) (- z x) x) 1/3) in x 9.048 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ y t) (- z x) x)))) in x 9.048 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ y t) (- z x) x))) in x 9.048 * [taylor]: Taking taylor expansion of 1/3 in x 9.048 * [taylor]: Taking taylor expansion of (log (fma (/ y t) (- z x) x)) in x 9.048 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in x 9.049 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 9.049 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in x 9.049 * [taylor]: Taking taylor expansion of (/ y t) in x 9.049 * [taylor]: Taking taylor expansion of y in x 9.049 * [taylor]: Taking taylor expansion of t in x 9.049 * [taylor]: Taking taylor expansion of (- z x) in x 9.049 * [taylor]: Taking taylor expansion of z in x 9.049 * [taylor]: Taking taylor expansion of x in x 9.049 * [taylor]: Taking taylor expansion of x in x 9.049 * [taylor]: Taking taylor expansion of (pow (fma (/ y t) (- z x) x) 1/3) in z 9.049 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ y t) (- z x) x)))) in z 9.050 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ y t) (- z x) x))) in z 9.050 * [taylor]: Taking taylor expansion of 1/3 in z 9.050 * [taylor]: Taking taylor expansion of (log (fma (/ y t) (- z x) x)) in z 9.050 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in z 9.050 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 9.050 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in z 9.050 * [taylor]: Taking taylor expansion of (/ y t) in z 9.050 * [taylor]: Taking taylor expansion of y in z 9.050 * [taylor]: Taking taylor expansion of t in z 9.050 * [taylor]: Taking taylor expansion of (- z x) in z 9.050 * [taylor]: Taking taylor expansion of z in z 9.050 * [taylor]: Taking taylor expansion of x in z 9.050 * [taylor]: Taking taylor expansion of x in z 9.050 * [taylor]: Taking taylor expansion of (pow (fma (/ y t) (- z x) x) 1/3) in t 9.050 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ y t) (- z x) x)))) in t 9.050 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ y t) (- z x) x))) in t 9.050 * [taylor]: Taking taylor expansion of 1/3 in t 9.050 * [taylor]: Taking taylor expansion of (log (fma (/ y t) (- z x) x)) in t 9.050 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in t 9.050 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 9.050 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in t 9.051 * [taylor]: Taking taylor expansion of (/ y t) in t 9.051 * [taylor]: Taking taylor expansion of y in t 9.051 * [taylor]: Taking taylor expansion of t in t 9.051 * [taylor]: Taking taylor expansion of (- z x) in t 9.051 * [taylor]: Taking taylor expansion of z in t 9.051 * [taylor]: Taking taylor expansion of x in t 9.051 * [taylor]: Taking taylor expansion of x in t 9.052 * [taylor]: Taking taylor expansion of (pow (fma (/ y t) (- z x) x) 1/3) in y 9.052 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ y t) (- z x) x)))) in y 9.052 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ y t) (- z x) x))) in y 9.052 * [taylor]: Taking taylor expansion of 1/3 in y 9.052 * [taylor]: Taking taylor expansion of (log (fma (/ y t) (- z x) x)) in y 9.052 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in y 9.052 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 9.052 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in y 9.052 * [taylor]: Taking taylor expansion of (/ y t) in y 9.052 * [taylor]: Taking taylor expansion of y in y 9.052 * [taylor]: Taking taylor expansion of t in y 9.052 * [taylor]: Taking taylor expansion of (- z x) in y 9.052 * [taylor]: Taking taylor expansion of z in y 9.052 * [taylor]: Taking taylor expansion of x in y 9.052 * [taylor]: Taking taylor expansion of x in y 9.052 * [taylor]: Taking taylor expansion of (pow (fma (/ y t) (- z x) x) 1/3) in y 9.052 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ y t) (- z x) x)))) in y 9.052 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ y t) (- z x) x))) in y 9.052 * [taylor]: Taking taylor expansion of 1/3 in y 9.052 * [taylor]: Taking taylor expansion of (log (fma (/ y t) (- z x) x)) in y 9.052 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in y 9.052 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 9.052 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in y 9.052 * [taylor]: Taking taylor expansion of (/ y t) in y 9.052 * [taylor]: Taking taylor expansion of y in y 9.052 * [taylor]: Taking taylor expansion of t in y 9.052 * [taylor]: Taking taylor expansion of (- z x) in y 9.052 * [taylor]: Taking taylor expansion of z in y 9.052 * [taylor]: Taking taylor expansion of x in y 9.052 * [taylor]: Taking taylor expansion of x in y 9.053 * [taylor]: Taking taylor expansion of (pow x 1/3) in t 9.053 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in t 9.053 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in t 9.053 * [taylor]: Taking taylor expansion of 1/3 in t 9.053 * [taylor]: Taking taylor expansion of (log x) in t 9.053 * [taylor]: Taking taylor expansion of x in t 9.053 * [taylor]: Taking taylor expansion of (pow x 1/3) in z 9.053 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in z 9.053 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in z 9.053 * [taylor]: Taking taylor expansion of 1/3 in z 9.053 * [taylor]: Taking taylor expansion of (log x) in z 9.053 * [taylor]: Taking taylor expansion of x in z 9.053 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 9.053 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 9.053 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 9.053 * [taylor]: Taking taylor expansion of 1/3 in x 9.053 * [taylor]: Taking taylor expansion of (log x) in x 9.053 * [taylor]: Taking taylor expansion of x in x 9.055 * [taylor]: Taking taylor expansion of (* (pow x 1/3) (- (* 1/3 (/ z (* t x))) (* 1/3 (/ 1 t)))) in t 9.055 * [taylor]: Taking taylor expansion of (pow x 1/3) in t 9.055 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in t 9.055 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in t 9.055 * [taylor]: Taking taylor expansion of 1/3 in t 9.055 * [taylor]: Taking taylor expansion of (log x) in t 9.055 * [taylor]: Taking taylor expansion of x in t 9.055 * [taylor]: Taking taylor expansion of (- (* 1/3 (/ z (* t x))) (* 1/3 (/ 1 t))) in t 9.055 * [taylor]: Taking taylor expansion of (* 1/3 (/ z (* t x))) in t 9.055 * [taylor]: Taking taylor expansion of 1/3 in t 9.055 * [taylor]: Taking taylor expansion of (/ z (* t x)) in t 9.055 * [taylor]: Taking taylor expansion of z in t 9.055 * [taylor]: Taking taylor expansion of (* t x) in t 9.055 * [taylor]: Taking taylor expansion of t in t 9.055 * [taylor]: Taking taylor expansion of x in t 9.056 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 t)) in t 9.056 * [taylor]: Taking taylor expansion of 1/3 in t 9.056 * [taylor]: Taking taylor expansion of (/ 1 t) in t 9.056 * [taylor]: Taking taylor expansion of t in t 9.061 * [taylor]: Taking taylor expansion of 0 in z 9.061 * [taylor]: Taking taylor expansion of 0 in x 9.063 * [taylor]: Taking taylor expansion of 0 in z 9.063 * [taylor]: Taking taylor expansion of 0 in x 9.064 * [taylor]: Taking taylor expansion of 0 in x 9.070 * [taylor]: Taking taylor expansion of (* (pow x 1/3) (- (* 2/9 (/ z (* (pow t 2) x))) (+ (* 1/9 (/ (pow z 2) (* (pow t 2) (pow x 2)))) (* 1/9 (/ 1 (pow t 2)))))) in t 9.070 * [taylor]: Taking taylor expansion of (pow x 1/3) in t 9.070 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in t 9.070 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in t 9.070 * [taylor]: Taking taylor expansion of 1/3 in t 9.070 * [taylor]: Taking taylor expansion of (log x) in t 9.070 * [taylor]: Taking taylor expansion of x in t 9.070 * [taylor]: Taking taylor expansion of (- (* 2/9 (/ z (* (pow t 2) x))) (+ (* 1/9 (/ (pow z 2) (* (pow t 2) (pow x 2)))) (* 1/9 (/ 1 (pow t 2))))) in t 9.070 * [taylor]: Taking taylor expansion of (* 2/9 (/ z (* (pow t 2) x))) in t 9.070 * [taylor]: Taking taylor expansion of 2/9 in t 9.070 * [taylor]: Taking taylor expansion of (/ z (* (pow t 2) x)) in t 9.070 * [taylor]: Taking taylor expansion of z in t 9.070 * [taylor]: Taking taylor expansion of (* (pow t 2) x) in t 9.070 * [taylor]: Taking taylor expansion of (pow t 2) in t 9.070 * [taylor]: Taking taylor expansion of t in t 9.070 * [taylor]: Taking taylor expansion of x in t 9.071 * [taylor]: Taking taylor expansion of (+ (* 1/9 (/ (pow z 2) (* (pow t 2) (pow x 2)))) (* 1/9 (/ 1 (pow t 2)))) in t 9.071 * [taylor]: Taking taylor expansion of (* 1/9 (/ (pow z 2) (* (pow t 2) (pow x 2)))) in t 9.071 * [taylor]: Taking taylor expansion of 1/9 in t 9.071 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* (pow t 2) (pow x 2))) in t 9.071 * [taylor]: Taking taylor expansion of (pow z 2) in t 9.071 * [taylor]: Taking taylor expansion of z in t 9.071 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow x 2)) in t 9.071 * [taylor]: Taking taylor expansion of (pow t 2) in t 9.071 * [taylor]: Taking taylor expansion of t in t 9.071 * [taylor]: Taking taylor expansion of (pow x 2) in t 9.071 * [taylor]: Taking taylor expansion of x in t 9.072 * [taylor]: Taking taylor expansion of (* 1/9 (/ 1 (pow t 2))) in t 9.072 * [taylor]: Taking taylor expansion of 1/9 in t 9.072 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t 9.072 * [taylor]: Taking taylor expansion of (pow t 2) in t 9.072 * [taylor]: Taking taylor expansion of t in t 9.090 * [taylor]: Taking taylor expansion of 0 in z 9.090 * [taylor]: Taking taylor expansion of 0 in x 9.096 * [taylor]: Taking taylor expansion of 0 in z 9.097 * [taylor]: Taking taylor expansion of 0 in x 9.097 * [approximate]: Taking taylor expansion of (pow (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) 1/3) in (y t z x) around 0 9.097 * [taylor]: Taking taylor expansion of (pow (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) 1/3) in x 9.097 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x))))) in x 9.097 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)))) in x 9.097 * [taylor]: Taking taylor expansion of 1/3 in x 9.097 * [taylor]: Taking taylor expansion of (log (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x))) in x 9.097 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in x 9.097 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 9.097 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in x 9.097 * [taylor]: Taking taylor expansion of (/ t y) in x 9.097 * [taylor]: Taking taylor expansion of t in x 9.097 * [taylor]: Taking taylor expansion of y in x 9.097 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 9.097 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.097 * [taylor]: Taking taylor expansion of z in x 9.097 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.097 * [taylor]: Taking taylor expansion of x in x 9.098 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.098 * [taylor]: Taking taylor expansion of x in x 9.099 * [taylor]: Taking taylor expansion of (pow (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) 1/3) in z 9.099 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x))))) in z 9.099 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)))) in z 9.099 * [taylor]: Taking taylor expansion of 1/3 in z 9.099 * [taylor]: Taking taylor expansion of (log (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x))) in z 9.099 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in z 9.099 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 9.099 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in z 9.099 * [taylor]: Taking taylor expansion of (/ t y) in z 9.099 * [taylor]: Taking taylor expansion of t in z 9.100 * [taylor]: Taking taylor expansion of y in z 9.100 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 9.100 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.100 * [taylor]: Taking taylor expansion of z in z 9.100 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.100 * [taylor]: Taking taylor expansion of x in z 9.100 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.100 * [taylor]: Taking taylor expansion of x in z 9.101 * [taylor]: Taking taylor expansion of (pow (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) 1/3) in t 9.101 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x))))) in t 9.101 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)))) in t 9.101 * [taylor]: Taking taylor expansion of 1/3 in t 9.101 * [taylor]: Taking taylor expansion of (log (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x))) in t 9.101 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in t 9.101 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 9.101 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in t 9.101 * [taylor]: Taking taylor expansion of (/ t y) in t 9.101 * [taylor]: Taking taylor expansion of t in t 9.101 * [taylor]: Taking taylor expansion of y in t 9.101 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in t 9.101 * [taylor]: Taking taylor expansion of (/ 1 z) in t 9.101 * [taylor]: Taking taylor expansion of z in t 9.101 * [taylor]: Taking taylor expansion of (/ 1 x) in t 9.101 * [taylor]: Taking taylor expansion of x in t 9.102 * [taylor]: Taking taylor expansion of (/ 1 x) in t 9.102 * [taylor]: Taking taylor expansion of x in t 9.102 * [taylor]: Taking taylor expansion of (pow (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) 1/3) in y 9.102 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x))))) in y 9.102 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)))) in y 9.102 * [taylor]: Taking taylor expansion of 1/3 in y 9.102 * [taylor]: Taking taylor expansion of (log (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x))) in y 9.102 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in y 9.102 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 9.102 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in y 9.102 * [taylor]: Taking taylor expansion of (/ t y) in y 9.102 * [taylor]: Taking taylor expansion of t in y 9.102 * [taylor]: Taking taylor expansion of y in y 9.102 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 9.102 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.102 * [taylor]: Taking taylor expansion of z in y 9.102 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.102 * [taylor]: Taking taylor expansion of x in y 9.102 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.102 * [taylor]: Taking taylor expansion of x in y 9.103 * [taylor]: Taking taylor expansion of (pow (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) 1/3) in y 9.103 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x))))) in y 9.103 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)))) in y 9.103 * [taylor]: Taking taylor expansion of 1/3 in y 9.103 * [taylor]: Taking taylor expansion of (log (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x))) in y 9.103 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in y 9.104 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 9.104 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in y 9.104 * [taylor]: Taking taylor expansion of (/ t y) in y 9.104 * [taylor]: Taking taylor expansion of t in y 9.104 * [taylor]: Taking taylor expansion of y in y 9.104 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 9.104 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.104 * [taylor]: Taking taylor expansion of z in y 9.104 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.104 * [taylor]: Taking taylor expansion of x in y 9.104 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.104 * [taylor]: Taking taylor expansion of x in y 9.105 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (- (/ t z) (/ t x))) (log y)))) in t 9.105 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (- (/ t z) (/ t x))) (log y))) in t 9.105 * [taylor]: Taking taylor expansion of 1/3 in t 9.105 * [taylor]: Taking taylor expansion of (- (log (- (/ t z) (/ t x))) (log y)) in t 9.105 * [taylor]: Taking taylor expansion of (log (- (/ t z) (/ t x))) in t 9.105 * [taylor]: Taking taylor expansion of (- (/ t z) (/ t x)) in t 9.105 * [taylor]: Taking taylor expansion of (/ t z) in t 9.105 * [taylor]: Taking taylor expansion of t in t 9.105 * [taylor]: Taking taylor expansion of z in t 9.105 * [taylor]: Taking taylor expansion of (/ t x) in t 9.105 * [taylor]: Taking taylor expansion of t in t 9.105 * [taylor]: Taking taylor expansion of x in t 9.105 * [taylor]: Taking taylor expansion of (log y) in t 9.105 * [taylor]: Taking taylor expansion of y in t 9.106 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log t) (log (- (/ 1 z) (/ 1 x)))) (log y)))) in z 9.106 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log t) (log (- (/ 1 z) (/ 1 x)))) (log y))) in z 9.106 * [taylor]: Taking taylor expansion of 1/3 in z 9.106 * [taylor]: Taking taylor expansion of (- (+ (log t) (log (- (/ 1 z) (/ 1 x)))) (log y)) in z 9.106 * [taylor]: Taking taylor expansion of (+ (log t) (log (- (/ 1 z) (/ 1 x)))) in z 9.106 * [taylor]: Taking taylor expansion of (log t) in z 9.106 * [taylor]: Taking taylor expansion of t in z 9.107 * [taylor]: Taking taylor expansion of (log (- (/ 1 z) (/ 1 x))) in z 9.107 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 9.107 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.107 * [taylor]: Taking taylor expansion of z in z 9.107 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.107 * [taylor]: Taking taylor expansion of x in z 9.108 * [taylor]: Taking taylor expansion of (log y) in z 9.108 * [taylor]: Taking taylor expansion of y in z 9.108 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log t) (+ (log z) (log y))))) in x 9.108 * [taylor]: Taking taylor expansion of (* 1/3 (- (log t) (+ (log z) (log y)))) in x 9.108 * [taylor]: Taking taylor expansion of 1/3 in x 9.108 * [taylor]: Taking taylor expansion of (- (log t) (+ (log z) (log y))) in x 9.108 * [taylor]: Taking taylor expansion of (log t) in x 9.108 * [taylor]: Taking taylor expansion of t in x 9.108 * [taylor]: Taking taylor expansion of (+ (log z) (log y)) in x 9.108 * [taylor]: Taking taylor expansion of (log z) in x 9.108 * [taylor]: Taking taylor expansion of z in x 9.108 * [taylor]: Taking taylor expansion of (log y) in x 9.108 * [taylor]: Taking taylor expansion of y in x 9.112 * [taylor]: Taking taylor expansion of (* 1/3 (/ (exp (* 1/3 (- (log (- (/ t z) (/ t x))) (log y)))) (* (- (/ t z) (/ t x)) x))) in t 9.112 * [taylor]: Taking taylor expansion of 1/3 in t 9.112 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (- (/ t z) (/ t x))) (log y)))) (* (- (/ t z) (/ t x)) x)) in t 9.112 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (- (/ t z) (/ t x))) (log y)))) in t 9.112 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (- (/ t z) (/ t x))) (log y))) in t 9.112 * [taylor]: Taking taylor expansion of 1/3 in t 9.112 * [taylor]: Taking taylor expansion of (- (log (- (/ t z) (/ t x))) (log y)) in t 9.112 * [taylor]: Taking taylor expansion of (log (- (/ t z) (/ t x))) in t 9.112 * [taylor]: Taking taylor expansion of (- (/ t z) (/ t x)) in t 9.112 * [taylor]: Taking taylor expansion of (/ t z) in t 9.112 * [taylor]: Taking taylor expansion of t in t 9.112 * [taylor]: Taking taylor expansion of z in t 9.112 * [taylor]: Taking taylor expansion of (/ t x) in t 9.112 * [taylor]: Taking taylor expansion of t in t 9.112 * [taylor]: Taking taylor expansion of x in t 9.112 * [taylor]: Taking taylor expansion of (log y) in t 9.112 * [taylor]: Taking taylor expansion of y in t 9.113 * [taylor]: Taking taylor expansion of (* (- (/ t z) (/ t x)) x) in t 9.114 * [taylor]: Taking taylor expansion of (- (/ t z) (/ t x)) in t 9.114 * [taylor]: Taking taylor expansion of (/ t z) in t 9.114 * [taylor]: Taking taylor expansion of t in t 9.114 * [taylor]: Taking taylor expansion of z in t 9.114 * [taylor]: Taking taylor expansion of (/ t x) in t 9.114 * [taylor]: Taking taylor expansion of t in t 9.114 * [taylor]: Taking taylor expansion of x in t 9.114 * [taylor]: Taking taylor expansion of x in t 9.119 * [taylor]: Taking taylor expansion of 0 in z 9.119 * [taylor]: Taking taylor expansion of 0 in x 9.126 * [taylor]: Taking taylor expansion of 0 in z 9.126 * [taylor]: Taking taylor expansion of 0 in x 9.129 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* 1/3 (- (log t) (+ (log z) (log y))))) x)) in x 9.129 * [taylor]: Taking taylor expansion of -1/3 in x 9.129 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log t) (+ (log z) (log y))))) x) in x 9.129 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log t) (+ (log z) (log y))))) in x 9.129 * [taylor]: Taking taylor expansion of (* 1/3 (- (log t) (+ (log z) (log y)))) in x 9.129 * [taylor]: Taking taylor expansion of 1/3 in x 9.130 * [taylor]: Taking taylor expansion of (- (log t) (+ (log z) (log y))) in x 9.130 * [taylor]: Taking taylor expansion of (log t) in x 9.130 * [taylor]: Taking taylor expansion of t in x 9.130 * [taylor]: Taking taylor expansion of (+ (log z) (log y)) in x 9.130 * [taylor]: Taking taylor expansion of (log z) in x 9.130 * [taylor]: Taking taylor expansion of z in x 9.130 * [taylor]: Taking taylor expansion of (log y) in x 9.130 * [taylor]: Taking taylor expansion of y in x 9.130 * [taylor]: Taking taylor expansion of x in x 9.143 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log (- (/ t z) (/ t x))) (log y)))) (* (pow (- (/ t z) (/ t x)) 2) (pow x 2)))) in t 9.143 * [taylor]: Taking taylor expansion of -1/9 in t 9.143 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (- (/ t z) (/ t x))) (log y)))) (* (pow (- (/ t z) (/ t x)) 2) (pow x 2))) in t 9.143 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (- (/ t z) (/ t x))) (log y)))) in t 9.143 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (- (/ t z) (/ t x))) (log y))) in t 9.143 * [taylor]: Taking taylor expansion of 1/3 in t 9.143 * [taylor]: Taking taylor expansion of (- (log (- (/ t z) (/ t x))) (log y)) in t 9.143 * [taylor]: Taking taylor expansion of (log (- (/ t z) (/ t x))) in t 9.143 * [taylor]: Taking taylor expansion of (- (/ t z) (/ t x)) in t 9.143 * [taylor]: Taking taylor expansion of (/ t z) in t 9.143 * [taylor]: Taking taylor expansion of t in t 9.143 * [taylor]: Taking taylor expansion of z in t 9.143 * [taylor]: Taking taylor expansion of (/ t x) in t 9.143 * [taylor]: Taking taylor expansion of t in t 9.143 * [taylor]: Taking taylor expansion of x in t 9.144 * [taylor]: Taking taylor expansion of (log y) in t 9.144 * [taylor]: Taking taylor expansion of y in t 9.145 * [taylor]: Taking taylor expansion of (* (pow (- (/ t z) (/ t x)) 2) (pow x 2)) in t 9.145 * [taylor]: Taking taylor expansion of (pow (- (/ t z) (/ t x)) 2) in t 9.145 * [taylor]: Taking taylor expansion of (- (/ t z) (/ t x)) in t 9.145 * [taylor]: Taking taylor expansion of (/ t z) in t 9.145 * [taylor]: Taking taylor expansion of t in t 9.145 * [taylor]: Taking taylor expansion of z in t 9.145 * [taylor]: Taking taylor expansion of (/ t x) in t 9.145 * [taylor]: Taking taylor expansion of t in t 9.145 * [taylor]: Taking taylor expansion of x in t 9.145 * [taylor]: Taking taylor expansion of (pow x 2) in t 9.145 * [taylor]: Taking taylor expansion of x in t 9.160 * [taylor]: Taking taylor expansion of 0 in z 9.160 * [taylor]: Taking taylor expansion of 0 in x 9.168 * [taylor]: Taking taylor expansion of 0 in z 9.168 * [taylor]: Taking taylor expansion of 0 in x 9.168 * [approximate]: Taking taylor expansion of (pow (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) 1/3) in (y t z x) around 0 9.168 * [taylor]: Taking taylor expansion of (pow (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) 1/3) in x 9.168 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x))))) in x 9.168 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)))) in x 9.168 * [taylor]: Taking taylor expansion of 1/3 in x 9.168 * [taylor]: Taking taylor expansion of (log (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x))) in x 9.168 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in x 9.168 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 9.169 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in x 9.169 * [taylor]: Taking taylor expansion of (/ t y) in x 9.169 * [taylor]: Taking taylor expansion of t in x 9.169 * [taylor]: Taking taylor expansion of y in x 9.169 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 9.169 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.169 * [taylor]: Taking taylor expansion of x in x 9.169 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.169 * [taylor]: Taking taylor expansion of z in x 9.169 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.169 * [taylor]: Taking taylor expansion of -1 in x 9.169 * [taylor]: Taking taylor expansion of x in x 9.170 * [taylor]: Taking taylor expansion of (pow (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) 1/3) in z 9.171 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x))))) in z 9.171 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)))) in z 9.171 * [taylor]: Taking taylor expansion of 1/3 in z 9.171 * [taylor]: Taking taylor expansion of (log (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x))) in z 9.171 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in z 9.171 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 9.171 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in z 9.171 * [taylor]: Taking taylor expansion of (/ t y) in z 9.171 * [taylor]: Taking taylor expansion of t in z 9.171 * [taylor]: Taking taylor expansion of y in z 9.171 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 9.171 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.171 * [taylor]: Taking taylor expansion of x in z 9.171 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.171 * [taylor]: Taking taylor expansion of z in z 9.171 * [taylor]: Taking taylor expansion of (/ -1 x) in z 9.171 * [taylor]: Taking taylor expansion of -1 in z 9.171 * [taylor]: Taking taylor expansion of x in z 9.173 * [taylor]: Taking taylor expansion of (pow (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) 1/3) in t 9.173 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x))))) in t 9.173 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)))) in t 9.173 * [taylor]: Taking taylor expansion of 1/3 in t 9.173 * [taylor]: Taking taylor expansion of (log (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x))) in t 9.173 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in t 9.173 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 9.173 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in t 9.173 * [taylor]: Taking taylor expansion of (/ t y) in t 9.173 * [taylor]: Taking taylor expansion of t in t 9.173 * [taylor]: Taking taylor expansion of y in t 9.173 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in t 9.173 * [taylor]: Taking taylor expansion of (/ 1 x) in t 9.173 * [taylor]: Taking taylor expansion of x in t 9.173 * [taylor]: Taking taylor expansion of (/ 1 z) in t 9.173 * [taylor]: Taking taylor expansion of z in t 9.173 * [taylor]: Taking taylor expansion of (/ -1 x) in t 9.173 * [taylor]: Taking taylor expansion of -1 in t 9.173 * [taylor]: Taking taylor expansion of x in t 9.173 * [taylor]: Taking taylor expansion of (pow (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) 1/3) in y 9.173 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x))))) in y 9.173 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)))) in y 9.173 * [taylor]: Taking taylor expansion of 1/3 in y 9.174 * [taylor]: Taking taylor expansion of (log (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x))) in y 9.174 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in y 9.174 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 9.174 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in y 9.174 * [taylor]: Taking taylor expansion of (/ t y) in y 9.174 * [taylor]: Taking taylor expansion of t in y 9.174 * [taylor]: Taking taylor expansion of y in y 9.174 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 9.174 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.174 * [taylor]: Taking taylor expansion of x in y 9.174 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.174 * [taylor]: Taking taylor expansion of z in y 9.174 * [taylor]: Taking taylor expansion of (/ -1 x) in y 9.174 * [taylor]: Taking taylor expansion of -1 in y 9.174 * [taylor]: Taking taylor expansion of x in y 9.175 * [taylor]: Taking taylor expansion of (pow (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) 1/3) in y 9.175 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x))))) in y 9.175 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)))) in y 9.175 * [taylor]: Taking taylor expansion of 1/3 in y 9.175 * [taylor]: Taking taylor expansion of (log (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x))) in y 9.175 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in y 9.175 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 9.175 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in y 9.175 * [taylor]: Taking taylor expansion of (/ t y) in y 9.175 * [taylor]: Taking taylor expansion of t in y 9.175 * [taylor]: Taking taylor expansion of y in y 9.175 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 9.175 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.176 * [taylor]: Taking taylor expansion of x in y 9.176 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.176 * [taylor]: Taking taylor expansion of z in y 9.176 * [taylor]: Taking taylor expansion of (/ -1 x) in y 9.176 * [taylor]: Taking taylor expansion of -1 in y 9.176 * [taylor]: Taking taylor expansion of x in y 9.177 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (- (/ t x) (/ t z))) (log y)))) in t 9.177 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (- (/ t x) (/ t z))) (log y))) in t 9.177 * [taylor]: Taking taylor expansion of 1/3 in t 9.177 * [taylor]: Taking taylor expansion of (- (log (- (/ t x) (/ t z))) (log y)) in t 9.177 * [taylor]: Taking taylor expansion of (log (- (/ t x) (/ t z))) in t 9.177 * [taylor]: Taking taylor expansion of (- (/ t x) (/ t z)) in t 9.177 * [taylor]: Taking taylor expansion of (/ t x) in t 9.177 * [taylor]: Taking taylor expansion of t in t 9.177 * [taylor]: Taking taylor expansion of x in t 9.177 * [taylor]: Taking taylor expansion of (/ t z) in t 9.177 * [taylor]: Taking taylor expansion of t in t 9.177 * [taylor]: Taking taylor expansion of z in t 9.177 * [taylor]: Taking taylor expansion of (log y) in t 9.177 * [taylor]: Taking taylor expansion of y in t 9.178 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log t) (log (- (/ 1 x) (/ 1 z)))) (log y)))) in z 9.178 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log t) (log (- (/ 1 x) (/ 1 z)))) (log y))) in z 9.178 * [taylor]: Taking taylor expansion of 1/3 in z 9.178 * [taylor]: Taking taylor expansion of (- (+ (log t) (log (- (/ 1 x) (/ 1 z)))) (log y)) in z 9.178 * [taylor]: Taking taylor expansion of (+ (log t) (log (- (/ 1 x) (/ 1 z)))) in z 9.178 * [taylor]: Taking taylor expansion of (log t) in z 9.178 * [taylor]: Taking taylor expansion of t in z 9.178 * [taylor]: Taking taylor expansion of (log (- (/ 1 x) (/ 1 z))) in z 9.178 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 9.178 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.178 * [taylor]: Taking taylor expansion of x in z 9.178 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.178 * [taylor]: Taking taylor expansion of z in z 9.180 * [taylor]: Taking taylor expansion of (log y) in z 9.180 * [taylor]: Taking taylor expansion of y in z 9.182 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log t) (log -1)) (+ (log z) (log y))))) in x 9.182 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log t) (log -1)) (+ (log z) (log y)))) in x 9.182 * [taylor]: Taking taylor expansion of 1/3 in x 9.182 * [taylor]: Taking taylor expansion of (- (+ (log t) (log -1)) (+ (log z) (log y))) in x 9.182 * [taylor]: Taking taylor expansion of (+ (log t) (log -1)) in x 9.182 * [taylor]: Taking taylor expansion of (log t) in x 9.182 * [taylor]: Taking taylor expansion of t in x 9.182 * [taylor]: Taking taylor expansion of (log -1) in x 9.182 * [taylor]: Taking taylor expansion of -1 in x 9.182 * [taylor]: Taking taylor expansion of (+ (log z) (log y)) in x 9.182 * [taylor]: Taking taylor expansion of (log z) in x 9.182 * [taylor]: Taking taylor expansion of z in x 9.182 * [taylor]: Taking taylor expansion of (log y) in x 9.182 * [taylor]: Taking taylor expansion of y in x 9.187 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* 1/3 (- (log (- (/ t x) (/ t z))) (log y)))) (* x (- (/ t x) (/ t z))))) in t 9.187 * [taylor]: Taking taylor expansion of -1/3 in t 9.187 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (- (/ t x) (/ t z))) (log y)))) (* x (- (/ t x) (/ t z)))) in t 9.187 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (- (/ t x) (/ t z))) (log y)))) in t 9.187 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (- (/ t x) (/ t z))) (log y))) in t 9.187 * [taylor]: Taking taylor expansion of 1/3 in t 9.187 * [taylor]: Taking taylor expansion of (- (log (- (/ t x) (/ t z))) (log y)) in t 9.187 * [taylor]: Taking taylor expansion of (log (- (/ t x) (/ t z))) in t 9.187 * [taylor]: Taking taylor expansion of (- (/ t x) (/ t z)) in t 9.187 * [taylor]: Taking taylor expansion of (/ t x) in t 9.187 * [taylor]: Taking taylor expansion of t in t 9.187 * [taylor]: Taking taylor expansion of x in t 9.187 * [taylor]: Taking taylor expansion of (/ t z) in t 9.187 * [taylor]: Taking taylor expansion of t in t 9.187 * [taylor]: Taking taylor expansion of z in t 9.188 * [taylor]: Taking taylor expansion of (log y) in t 9.188 * [taylor]: Taking taylor expansion of y in t 9.189 * [taylor]: Taking taylor expansion of (* x (- (/ t x) (/ t z))) in t 9.189 * [taylor]: Taking taylor expansion of x in t 9.189 * [taylor]: Taking taylor expansion of (- (/ t x) (/ t z)) in t 9.189 * [taylor]: Taking taylor expansion of (/ t x) in t 9.189 * [taylor]: Taking taylor expansion of t in t 9.189 * [taylor]: Taking taylor expansion of x in t 9.189 * [taylor]: Taking taylor expansion of (/ t z) in t 9.189 * [taylor]: Taking taylor expansion of t in t 9.189 * [taylor]: Taking taylor expansion of z in t 9.195 * [taylor]: Taking taylor expansion of 0 in z 9.195 * [taylor]: Taking taylor expansion of 0 in x 9.198 * [taylor]: Taking taylor expansion of 0 in z 9.198 * [taylor]: Taking taylor expansion of 0 in x 9.202 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* 1/3 (- (+ (log t) (log -1)) (+ (log z) (log y))))) x)) in x 9.202 * [taylor]: Taking taylor expansion of -1/3 in x 9.202 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (+ (log t) (log -1)) (+ (log z) (log y))))) x) in x 9.202 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log t) (log -1)) (+ (log z) (log y))))) in x 9.202 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log t) (log -1)) (+ (log z) (log y)))) in x 9.202 * [taylor]: Taking taylor expansion of 1/3 in x 9.202 * [taylor]: Taking taylor expansion of (- (+ (log t) (log -1)) (+ (log z) (log y))) in x 9.202 * [taylor]: Taking taylor expansion of (+ (log t) (log -1)) in x 9.202 * [taylor]: Taking taylor expansion of (log t) in x 9.202 * [taylor]: Taking taylor expansion of t in x 9.202 * [taylor]: Taking taylor expansion of (log -1) in x 9.202 * [taylor]: Taking taylor expansion of -1 in x 9.202 * [taylor]: Taking taylor expansion of (+ (log z) (log y)) in x 9.202 * [taylor]: Taking taylor expansion of (log z) in x 9.203 * [taylor]: Taking taylor expansion of z in x 9.203 * [taylor]: Taking taylor expansion of (log y) in x 9.203 * [taylor]: Taking taylor expansion of y in x 9.204 * [taylor]: Taking taylor expansion of x in x 9.221 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log (- (/ t x) (/ t z))) (log y)))) (* (pow x 2) (pow (- (/ t x) (/ t z)) 2)))) in t 9.221 * [taylor]: Taking taylor expansion of -1/9 in t 9.221 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (- (/ t x) (/ t z))) (log y)))) (* (pow x 2) (pow (- (/ t x) (/ t z)) 2))) in t 9.221 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (- (/ t x) (/ t z))) (log y)))) in t 9.221 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (- (/ t x) (/ t z))) (log y))) in t 9.221 * [taylor]: Taking taylor expansion of 1/3 in t 9.221 * [taylor]: Taking taylor expansion of (- (log (- (/ t x) (/ t z))) (log y)) in t 9.221 * [taylor]: Taking taylor expansion of (log (- (/ t x) (/ t z))) in t 9.221 * [taylor]: Taking taylor expansion of (- (/ t x) (/ t z)) in t 9.221 * [taylor]: Taking taylor expansion of (/ t x) in t 9.221 * [taylor]: Taking taylor expansion of t in t 9.221 * [taylor]: Taking taylor expansion of x in t 9.221 * [taylor]: Taking taylor expansion of (/ t z) in t 9.221 * [taylor]: Taking taylor expansion of t in t 9.221 * [taylor]: Taking taylor expansion of z in t 9.222 * [taylor]: Taking taylor expansion of (log y) in t 9.222 * [taylor]: Taking taylor expansion of y in t 9.226 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (- (/ t x) (/ t z)) 2)) in t 9.226 * [taylor]: Taking taylor expansion of (pow x 2) in t 9.226 * [taylor]: Taking taylor expansion of x in t 9.226 * [taylor]: Taking taylor expansion of (pow (- (/ t x) (/ t z)) 2) in t 9.226 * [taylor]: Taking taylor expansion of (- (/ t x) (/ t z)) in t 9.226 * [taylor]: Taking taylor expansion of (/ t x) in t 9.226 * [taylor]: Taking taylor expansion of t in t 9.226 * [taylor]: Taking taylor expansion of x in t 9.226 * [taylor]: Taking taylor expansion of (/ t z) in t 9.226 * [taylor]: Taking taylor expansion of t in t 9.226 * [taylor]: Taking taylor expansion of z in t 9.241 * [taylor]: Taking taylor expansion of 0 in z 9.241 * [taylor]: Taking taylor expansion of 0 in x 9.249 * [taylor]: Taking taylor expansion of 0 in z 9.249 * [taylor]: Taking taylor expansion of 0 in x 9.250 * * * [progress]: simplifying candidates 9.250 * [simplify]: Simplifying using # : (expm1 (fma (/ y t) (- z x) x)) (log1p (fma (/ y t) (- z x) x)) (* (/ y t) (- z x)) (log (fma (/ y t) (- z x) x)) (exp (fma (/ y t) (- z x) x)) (* (cbrt (fma (/ y t) (- z x) x)) (cbrt (fma (/ y t) (- z x) x))) (cbrt (fma (/ y t) (- z x) x)) (* (* (fma (/ y t) (- z x) x) (fma (/ y t) (- z x) x)) (fma (/ y t) (- z x) x)) (sqrt (fma (/ y t) (- z x) x)) (sqrt (fma (/ y t) (- z x) x)) (expm1 (fma (/ y t) (- z x) x)) (log1p (fma (/ y t) (- z x) x)) (* (/ y t) (- z x)) (log (fma (/ y t) (- z x) x)) (exp (fma (/ y t) (- z x) x)) (* (cbrt (fma (/ y t) (- z x) x)) (cbrt (fma (/ y t) (- z x) x))) (cbrt (fma (/ y t) (- z x) x)) (* (* (fma (/ y t) (- z x) x) (fma (/ y t) (- z x) x)) (fma (/ y t) (- z x) x)) (sqrt (fma (/ y t) (- z x) x)) (sqrt (fma (/ y t) (- z x) x)) (expm1 (fma (/ y t) (- z x) x)) (log1p (fma (/ y t) (- z x) x)) (* (/ y t) (- z x)) (log (fma (/ y t) (- z x) x)) (exp (fma (/ y t) (- z x) x)) (* (cbrt (fma (/ y t) (- z x) x)) (cbrt (fma (/ y t) (- z x) x))) (cbrt (fma (/ y t) (- z x) x)) (* (* (fma (/ y t) (- z x) x) (fma (/ y t) (- z x) x)) (fma (/ y t) (- z x) x)) (sqrt (fma (/ y t) (- z x) x)) (sqrt (fma (/ y t) (- z x) x)) (expm1 (cbrt (fma (/ y t) (- z x) x))) (log1p (cbrt (fma (/ y t) (- z x) x))) (log (cbrt (fma (/ y t) (- z x) x))) (exp (cbrt (fma (/ y t) (- z x) x))) (cbrt (* (cbrt (fma (/ y t) (- z x) x)) (cbrt (fma (/ y t) (- z x) x)))) (cbrt (cbrt (fma (/ y t) (- z x) x))) (cbrt (sqrt (fma (/ y t) (- z x) x))) (cbrt (sqrt (fma (/ y t) (- z x) x))) (cbrt 1) (cbrt (fma (/ y t) (- z x) x)) (* (cbrt (cbrt (fma (/ y t) (- z x) x))) (cbrt (cbrt (fma (/ y t) (- z x) x)))) (cbrt (cbrt (fma (/ y t) (- z x) x))) (* (* (cbrt (fma (/ y t) (- z x) x)) (cbrt (fma (/ y t) (- z x) x))) (cbrt (fma (/ y t) (- z x) x))) (sqrt (cbrt (fma (/ y t) (- z x) x))) (sqrt (cbrt (fma (/ y t) (- z x) x))) (- (+ (/ (* z y) t) x) (/ (* x y) t)) (- (+ (/ (* z y) t) x) (/ (* x y) t)) (- (+ (/ (* z y) t) x) (/ (* x y) t)) (- (+ (/ (* z y) t) x) (/ (* x y) t)) (- (+ (/ (* z y) t) x) (/ (* x y) t)) (- (+ (/ (* z y) t) x) (/ (* x y) t)) (- (+ (/ (* z y) t) x) (/ (* x y) t)) (- (+ (/ (* z y) t) x) (/ (* x y) t)) (- (+ (/ (* z y) t) x) (/ (* x y) t)) (pow x 1/3) (exp (* 1/3 (- (log (/ 1 t)) (+ (log (/ 1 z)) (log (/ 1 y)))))) (exp (* 1/3 (- (+ (log -1) (log (/ -1 t))) (+ (log (/ -1 z)) (log (/ -1 y)))))) 9.253 * * [simplify]: iteration 0 : 60 enodes (cost 683 ) 9.263 * * [simplify]: iteration 1 : 117 enodes (cost 678 ) 9.280 * * [simplify]: iteration 2 : 283 enodes (cost 611 ) 9.362 * * [simplify]: iteration 3 : 864 enodes (cost 559 ) 10.103 * * [simplify]: iteration 4 : 3556 enodes (cost 548 ) 11.088 * * [simplify]: iteration done : 5000 enodes (cost 546 ) 11.089 * [simplify]: Simplified to: (expm1 (fma (/ y t) (- z x) x)) (log1p (fma (/ y t) (- z x) x)) (* (/ y t) (- z x)) (log (fma (/ y t) (- z x) x)) (exp (fma (/ y t) (- z x) x)) (* (cbrt (fma (/ y t) (- z x) x)) (cbrt (fma (/ y t) (- z x) x))) (cbrt (fma (/ y t) (- z x) x)) (pow (fma (/ y t) (- z x) x) 3) (sqrt (fma (/ y t) (- z x) x)) (sqrt (fma (/ y t) (- z x) x)) (expm1 (fma (/ y t) (- z x) x)) (log1p (fma (/ y t) (- z x) x)) (* (/ y t) (- z x)) (log (fma (/ y t) (- z x) x)) (exp (fma (/ y t) (- z x) x)) (* (cbrt (fma (/ y t) (- z x) x)) (cbrt (fma (/ y t) (- z x) x))) (cbrt (fma (/ y t) (- z x) x)) (pow (fma (/ y t) (- z x) x) 3) (sqrt (fma (/ y t) (- z x) x)) (sqrt (fma (/ y t) (- z x) x)) (expm1 (fma (/ y t) (- z x) x)) (log1p (fma (/ y t) (- z x) x)) (* (/ y t) (- z x)) (log (fma (/ y t) (- z x) x)) (exp (fma (/ y t) (- z x) x)) (* (cbrt (fma (/ y t) (- z x) x)) (cbrt (fma (/ y t) (- z x) x))) (cbrt (fma (/ y t) (- z x) x)) (pow (fma (/ y t) (- z x) x) 3) (sqrt (fma (/ y t) (- z x) x)) (sqrt (fma (/ y t) (- z x) x)) (expm1 (cbrt (fma (/ y t) (- z x) x))) (log1p (cbrt (fma (/ y t) (- z x) x))) (log (cbrt (fma (/ y t) (- z x) x))) (exp (cbrt (fma (/ y t) (- z x) x))) (cbrt (* (cbrt (fma (/ y t) (- z x) x)) (cbrt (fma (/ y t) (- z x) x)))) (cbrt (cbrt (fma (/ y t) (- z x) x))) (cbrt (sqrt (fma (/ y t) (- z x) x))) (cbrt (sqrt (fma (/ y t) (- z x) x))) 1 (cbrt (fma (/ y t) (- z x) x)) (* (cbrt (cbrt (fma (/ y t) (- z x) x))) (cbrt (cbrt (fma (/ y t) (- z x) x)))) (cbrt (cbrt (fma (/ y t) (- z x) x))) (fma (/ y t) (- z x) x) (sqrt (cbrt (fma (/ y t) (- z x) x))) (sqrt (cbrt (fma (/ y t) (- z x) x))) (fma (/ y t) (- z x) x) (fma (/ y t) (- z x) x) (fma (/ y t) (- z x) x) (fma (/ y t) (- z x) x) (fma (/ y t) (- z x) x) (fma (/ y t) (- z x) x) (fma (/ y t) (- z x) x) (fma (/ y t) (- z x) x) (fma (/ y t) (- z x) x) (cbrt x) (cbrt (* (* (/ 1 t) y) z)) (cbrt (* (* (/ 1 t) y) z)) 11.089 * * * [progress]: adding candidates to table 11.249 * * [progress]: iteration 3 / 4 11.249 * * * [progress]: picking best candidate 11.263 * * * * [pick]: Picked # 11.263 * * * [progress]: localizing error 11.278 * * * [progress]: generating rewritten candidates 11.278 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 11.279 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1) 11.279 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2 1) 11.279 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 2 1) 11.280 * * * [progress]: generating series expansions 11.280 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 11.280 * [approximate]: Taking taylor expansion of (fma (/ y t) (- z x) x) in (y t z x) around 0 11.280 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in x 11.280 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 11.280 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in x 11.280 * [taylor]: Taking taylor expansion of (/ y t) in x 11.280 * [taylor]: Taking taylor expansion of y in x 11.281 * [taylor]: Taking taylor expansion of t in x 11.281 * [taylor]: Taking taylor expansion of (- z x) in x 11.281 * [taylor]: Taking taylor expansion of z in x 11.281 * [taylor]: Taking taylor expansion of x in x 11.281 * [taylor]: Taking taylor expansion of x in x 11.281 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in z 11.281 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 11.281 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in z 11.281 * [taylor]: Taking taylor expansion of (/ y t) in z 11.281 * [taylor]: Taking taylor expansion of y in z 11.281 * [taylor]: Taking taylor expansion of t in z 11.281 * [taylor]: Taking taylor expansion of (- z x) in z 11.281 * [taylor]: Taking taylor expansion of z in z 11.281 * [taylor]: Taking taylor expansion of x in z 11.281 * [taylor]: Taking taylor expansion of x in z 11.281 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in t 11.281 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 11.281 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in t 11.281 * [taylor]: Taking taylor expansion of (/ y t) in t 11.281 * [taylor]: Taking taylor expansion of y in t 11.281 * [taylor]: Taking taylor expansion of t in t 11.281 * [taylor]: Taking taylor expansion of (- z x) in t 11.281 * [taylor]: Taking taylor expansion of z in t 11.281 * [taylor]: Taking taylor expansion of x in t 11.281 * [taylor]: Taking taylor expansion of x in t 11.281 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in y 11.281 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 11.281 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in y 11.281 * [taylor]: Taking taylor expansion of (/ y t) in y 11.281 * [taylor]: Taking taylor expansion of y in y 11.281 * [taylor]: Taking taylor expansion of t in y 11.281 * [taylor]: Taking taylor expansion of (- z x) in y 11.281 * [taylor]: Taking taylor expansion of z in y 11.281 * [taylor]: Taking taylor expansion of x in y 11.281 * [taylor]: Taking taylor expansion of x in y 11.281 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in y 11.282 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 11.282 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in y 11.282 * [taylor]: Taking taylor expansion of (/ y t) in y 11.282 * [taylor]: Taking taylor expansion of y in y 11.282 * [taylor]: Taking taylor expansion of t in y 11.282 * [taylor]: Taking taylor expansion of (- z x) in y 11.282 * [taylor]: Taking taylor expansion of z in y 11.282 * [taylor]: Taking taylor expansion of x in y 11.282 * [taylor]: Taking taylor expansion of x in y 11.282 * [taylor]: Taking taylor expansion of x in t 11.282 * [taylor]: Taking taylor expansion of (- (/ z t) (/ x t)) in t 11.282 * [taylor]: Taking taylor expansion of (/ z t) in t 11.282 * [taylor]: Taking taylor expansion of z in t 11.282 * [taylor]: Taking taylor expansion of t in t 11.282 * [taylor]: Taking taylor expansion of (/ x t) in t 11.282 * [taylor]: Taking taylor expansion of x in t 11.282 * [taylor]: Taking taylor expansion of t in t 11.282 * [taylor]: Taking taylor expansion of (- z x) in z 11.282 * [taylor]: Taking taylor expansion of z in z 11.282 * [taylor]: Taking taylor expansion of x in z 11.282 * [taylor]: Taking taylor expansion of (- x) in x 11.282 * [taylor]: Taking taylor expansion of x in x 11.283 * [taylor]: Taking taylor expansion of x in z 11.283 * [taylor]: Taking taylor expansion of x in x 11.284 * [taylor]: Taking taylor expansion of 0 in t 11.285 * [taylor]: Taking taylor expansion of 0 in z 11.286 * [taylor]: Taking taylor expansion of 0 in x 11.286 * [taylor]: Taking taylor expansion of 0 in z 11.286 * [taylor]: Taking taylor expansion of 0 in x 11.286 * [taylor]: Taking taylor expansion of 1 in x 11.286 * [taylor]: Taking taylor expansion of 0 in x 11.287 * [approximate]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in (y t z x) around 0 11.287 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in x 11.287 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 11.287 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in x 11.287 * [taylor]: Taking taylor expansion of (/ t y) in x 11.287 * [taylor]: Taking taylor expansion of t in x 11.288 * [taylor]: Taking taylor expansion of y in x 11.288 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 11.288 * [taylor]: Taking taylor expansion of (/ 1 z) in x 11.288 * [taylor]: Taking taylor expansion of z in x 11.288 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.288 * [taylor]: Taking taylor expansion of x in x 11.288 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.288 * [taylor]: Taking taylor expansion of x in x 11.288 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in z 11.288 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 11.289 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in z 11.289 * [taylor]: Taking taylor expansion of (/ t y) in z 11.289 * [taylor]: Taking taylor expansion of t in z 11.289 * [taylor]: Taking taylor expansion of y in z 11.289 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 11.289 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.289 * [taylor]: Taking taylor expansion of z in z 11.289 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.289 * [taylor]: Taking taylor expansion of x in z 11.289 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.289 * [taylor]: Taking taylor expansion of x in z 11.289 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in t 11.289 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 11.289 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in t 11.289 * [taylor]: Taking taylor expansion of (/ t y) in t 11.289 * [taylor]: Taking taylor expansion of t in t 11.289 * [taylor]: Taking taylor expansion of y in t 11.289 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in t 11.289 * [taylor]: Taking taylor expansion of (/ 1 z) in t 11.289 * [taylor]: Taking taylor expansion of z in t 11.289 * [taylor]: Taking taylor expansion of (/ 1 x) in t 11.289 * [taylor]: Taking taylor expansion of x in t 11.289 * [taylor]: Taking taylor expansion of (/ 1 x) in t 11.289 * [taylor]: Taking taylor expansion of x in t 11.289 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in y 11.290 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 11.290 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in y 11.290 * [taylor]: Taking taylor expansion of (/ t y) in y 11.290 * [taylor]: Taking taylor expansion of t in y 11.290 * [taylor]: Taking taylor expansion of y in y 11.290 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 11.290 * [taylor]: Taking taylor expansion of (/ 1 z) in y 11.290 * [taylor]: Taking taylor expansion of z in y 11.290 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.290 * [taylor]: Taking taylor expansion of x in y 11.290 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.290 * [taylor]: Taking taylor expansion of x in y 11.290 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in y 11.290 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 11.290 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in y 11.290 * [taylor]: Taking taylor expansion of (/ t y) in y 11.290 * [taylor]: Taking taylor expansion of t in y 11.290 * [taylor]: Taking taylor expansion of y in y 11.290 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 11.290 * [taylor]: Taking taylor expansion of (/ 1 z) in y 11.290 * [taylor]: Taking taylor expansion of z in y 11.290 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.290 * [taylor]: Taking taylor expansion of x in y 11.290 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.290 * [taylor]: Taking taylor expansion of x in y 11.290 * [taylor]: Taking taylor expansion of (- (/ t z) (/ t x)) in t 11.291 * [taylor]: Taking taylor expansion of (/ t z) in t 11.291 * [taylor]: Taking taylor expansion of t in t 11.291 * [taylor]: Taking taylor expansion of z in t 11.291 * [taylor]: Taking taylor expansion of (/ t x) in t 11.291 * [taylor]: Taking taylor expansion of t in t 11.291 * [taylor]: Taking taylor expansion of x in t 11.292 * [taylor]: Taking taylor expansion of (/ 1 x) in t 11.292 * [taylor]: Taking taylor expansion of x in t 11.292 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.292 * [taylor]: Taking taylor expansion of x in z 11.292 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 11.292 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.292 * [taylor]: Taking taylor expansion of z in z 11.293 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.293 * [taylor]: Taking taylor expansion of x in z 11.293 * [taylor]: Taking taylor expansion of 1 in x 11.295 * [taylor]: Taking taylor expansion of 0 in t 11.296 * [taylor]: Taking taylor expansion of 0 in z 11.296 * [taylor]: Taking taylor expansion of 0 in z 11.296 * [taylor]: Taking taylor expansion of 0 in z 11.296 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.296 * [taylor]: Taking taylor expansion of x in x 11.297 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 11.297 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.297 * [taylor]: Taking taylor expansion of x in x 11.299 * [approximate]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in (y t z x) around 0 11.299 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in x 11.299 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 11.299 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in x 11.299 * [taylor]: Taking taylor expansion of (/ t y) in x 11.299 * [taylor]: Taking taylor expansion of t in x 11.299 * [taylor]: Taking taylor expansion of y in x 11.299 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 11.299 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.299 * [taylor]: Taking taylor expansion of x in x 11.300 * [taylor]: Taking taylor expansion of (/ 1 z) in x 11.300 * [taylor]: Taking taylor expansion of z in x 11.300 * [taylor]: Taking taylor expansion of (/ -1 x) in x 11.300 * [taylor]: Taking taylor expansion of -1 in x 11.300 * [taylor]: Taking taylor expansion of x in x 11.300 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in z 11.300 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 11.300 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in z 11.300 * [taylor]: Taking taylor expansion of (/ t y) in z 11.300 * [taylor]: Taking taylor expansion of t in z 11.300 * [taylor]: Taking taylor expansion of y in z 11.300 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 11.300 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.300 * [taylor]: Taking taylor expansion of x in z 11.300 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.300 * [taylor]: Taking taylor expansion of z in z 11.301 * [taylor]: Taking taylor expansion of (/ -1 x) in z 11.301 * [taylor]: Taking taylor expansion of -1 in z 11.301 * [taylor]: Taking taylor expansion of x in z 11.301 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in t 11.301 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 11.301 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in t 11.301 * [taylor]: Taking taylor expansion of (/ t y) in t 11.301 * [taylor]: Taking taylor expansion of t in t 11.301 * [taylor]: Taking taylor expansion of y in t 11.301 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in t 11.301 * [taylor]: Taking taylor expansion of (/ 1 x) in t 11.301 * [taylor]: Taking taylor expansion of x in t 11.301 * [taylor]: Taking taylor expansion of (/ 1 z) in t 11.301 * [taylor]: Taking taylor expansion of z in t 11.301 * [taylor]: Taking taylor expansion of (/ -1 x) in t 11.301 * [taylor]: Taking taylor expansion of -1 in t 11.301 * [taylor]: Taking taylor expansion of x in t 11.301 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in y 11.301 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 11.301 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in y 11.301 * [taylor]: Taking taylor expansion of (/ t y) in y 11.301 * [taylor]: Taking taylor expansion of t in y 11.301 * [taylor]: Taking taylor expansion of y in y 11.301 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 11.301 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.301 * [taylor]: Taking taylor expansion of x in y 11.301 * [taylor]: Taking taylor expansion of (/ 1 z) in y 11.302 * [taylor]: Taking taylor expansion of z in y 11.302 * [taylor]: Taking taylor expansion of (/ -1 x) in y 11.302 * [taylor]: Taking taylor expansion of -1 in y 11.302 * [taylor]: Taking taylor expansion of x in y 11.302 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in y 11.302 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 11.302 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in y 11.302 * [taylor]: Taking taylor expansion of (/ t y) in y 11.302 * [taylor]: Taking taylor expansion of t in y 11.302 * [taylor]: Taking taylor expansion of y in y 11.302 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 11.302 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.302 * [taylor]: Taking taylor expansion of x in y 11.302 * [taylor]: Taking taylor expansion of (/ 1 z) in y 11.302 * [taylor]: Taking taylor expansion of z in y 11.302 * [taylor]: Taking taylor expansion of (/ -1 x) in y 11.302 * [taylor]: Taking taylor expansion of -1 in y 11.302 * [taylor]: Taking taylor expansion of x in y 11.302 * [taylor]: Taking taylor expansion of (- (/ t x) (/ t z)) in t 11.302 * [taylor]: Taking taylor expansion of (/ t x) in t 11.302 * [taylor]: Taking taylor expansion of t in t 11.302 * [taylor]: Taking taylor expansion of x in t 11.302 * [taylor]: Taking taylor expansion of (/ t z) in t 11.302 * [taylor]: Taking taylor expansion of t in t 11.302 * [taylor]: Taking taylor expansion of z in t 11.304 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in t 11.304 * [taylor]: Taking taylor expansion of (/ 1 x) in t 11.304 * [taylor]: Taking taylor expansion of x in t 11.304 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z 11.304 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.304 * [taylor]: Taking taylor expansion of x in z 11.304 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 11.304 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.304 * [taylor]: Taking taylor expansion of x in z 11.304 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.304 * [taylor]: Taking taylor expansion of z in z 11.305 * [taylor]: Taking taylor expansion of -1 in x 11.307 * [taylor]: Taking taylor expansion of 0 in t 11.307 * [taylor]: Taking taylor expansion of 0 in z 11.308 * [taylor]: Taking taylor expansion of 0 in z 11.308 * [taylor]: Taking taylor expansion of 0 in z 11.308 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 11.308 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.309 * [taylor]: Taking taylor expansion of x in x 11.310 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.310 * [taylor]: Taking taylor expansion of x in x 11.311 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1) 11.311 * [approximate]: Taking taylor expansion of (fma (/ y t) (- z x) x) in (y t z x) around 0 11.311 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in x 11.311 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 11.311 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in x 11.311 * [taylor]: Taking taylor expansion of (/ y t) in x 11.311 * [taylor]: Taking taylor expansion of y in x 11.311 * [taylor]: Taking taylor expansion of t in x 11.311 * [taylor]: Taking taylor expansion of (- z x) in x 11.311 * [taylor]: Taking taylor expansion of z in x 11.311 * [taylor]: Taking taylor expansion of x in x 11.311 * [taylor]: Taking taylor expansion of x in x 11.311 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in z 11.312 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 11.312 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in z 11.312 * [taylor]: Taking taylor expansion of (/ y t) in z 11.312 * [taylor]: Taking taylor expansion of y in z 11.312 * [taylor]: Taking taylor expansion of t in z 11.312 * [taylor]: Taking taylor expansion of (- z x) in z 11.312 * [taylor]: Taking taylor expansion of z in z 11.312 * [taylor]: Taking taylor expansion of x in z 11.312 * [taylor]: Taking taylor expansion of x in z 11.312 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in t 11.312 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 11.312 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in t 11.312 * [taylor]: Taking taylor expansion of (/ y t) in t 11.312 * [taylor]: Taking taylor expansion of y in t 11.312 * [taylor]: Taking taylor expansion of t in t 11.312 * [taylor]: Taking taylor expansion of (- z x) in t 11.312 * [taylor]: Taking taylor expansion of z in t 11.312 * [taylor]: Taking taylor expansion of x in t 11.312 * [taylor]: Taking taylor expansion of x in t 11.312 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in y 11.312 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 11.312 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in y 11.312 * [taylor]: Taking taylor expansion of (/ y t) in y 11.312 * [taylor]: Taking taylor expansion of y in y 11.312 * [taylor]: Taking taylor expansion of t in y 11.312 * [taylor]: Taking taylor expansion of (- z x) in y 11.312 * [taylor]: Taking taylor expansion of z in y 11.312 * [taylor]: Taking taylor expansion of x in y 11.312 * [taylor]: Taking taylor expansion of x in y 11.312 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in y 11.312 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 11.312 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in y 11.312 * [taylor]: Taking taylor expansion of (/ y t) in y 11.312 * [taylor]: Taking taylor expansion of y in y 11.312 * [taylor]: Taking taylor expansion of t in y 11.312 * [taylor]: Taking taylor expansion of (- z x) in y 11.312 * [taylor]: Taking taylor expansion of z in y 11.312 * [taylor]: Taking taylor expansion of x in y 11.312 * [taylor]: Taking taylor expansion of x in y 11.313 * [taylor]: Taking taylor expansion of x in t 11.313 * [taylor]: Taking taylor expansion of (- (/ z t) (/ x t)) in t 11.313 * [taylor]: Taking taylor expansion of (/ z t) in t 11.313 * [taylor]: Taking taylor expansion of z in t 11.313 * [taylor]: Taking taylor expansion of t in t 11.313 * [taylor]: Taking taylor expansion of (/ x t) in t 11.313 * [taylor]: Taking taylor expansion of x in t 11.313 * [taylor]: Taking taylor expansion of t in t 11.313 * [taylor]: Taking taylor expansion of (- z x) in z 11.313 * [taylor]: Taking taylor expansion of z in z 11.313 * [taylor]: Taking taylor expansion of x in z 11.313 * [taylor]: Taking taylor expansion of (- x) in x 11.313 * [taylor]: Taking taylor expansion of x in x 11.314 * [taylor]: Taking taylor expansion of x in z 11.314 * [taylor]: Taking taylor expansion of x in x 11.314 * [taylor]: Taking taylor expansion of 0 in t 11.316 * [taylor]: Taking taylor expansion of 0 in z 11.316 * [taylor]: Taking taylor expansion of 0 in x 11.316 * [taylor]: Taking taylor expansion of 0 in z 11.316 * [taylor]: Taking taylor expansion of 0 in x 11.317 * [taylor]: Taking taylor expansion of 1 in x 11.317 * [taylor]: Taking taylor expansion of 0 in x 11.318 * [approximate]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in (y t z x) around 0 11.318 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in x 11.318 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 11.318 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in x 11.318 * [taylor]: Taking taylor expansion of (/ t y) in x 11.318 * [taylor]: Taking taylor expansion of t in x 11.318 * [taylor]: Taking taylor expansion of y in x 11.318 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 11.318 * [taylor]: Taking taylor expansion of (/ 1 z) in x 11.318 * [taylor]: Taking taylor expansion of z in x 11.319 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.319 * [taylor]: Taking taylor expansion of x in x 11.319 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.319 * [taylor]: Taking taylor expansion of x in x 11.319 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in z 11.319 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 11.319 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in z 11.319 * [taylor]: Taking taylor expansion of (/ t y) in z 11.319 * [taylor]: Taking taylor expansion of t in z 11.320 * [taylor]: Taking taylor expansion of y in z 11.320 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 11.320 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.320 * [taylor]: Taking taylor expansion of z in z 11.320 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.320 * [taylor]: Taking taylor expansion of x in z 11.320 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.320 * [taylor]: Taking taylor expansion of x in z 11.320 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in t 11.320 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 11.320 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in t 11.320 * [taylor]: Taking taylor expansion of (/ t y) in t 11.320 * [taylor]: Taking taylor expansion of t in t 11.320 * [taylor]: Taking taylor expansion of y in t 11.320 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in t 11.320 * [taylor]: Taking taylor expansion of (/ 1 z) in t 11.320 * [taylor]: Taking taylor expansion of z in t 11.320 * [taylor]: Taking taylor expansion of (/ 1 x) in t 11.320 * [taylor]: Taking taylor expansion of x in t 11.320 * [taylor]: Taking taylor expansion of (/ 1 x) in t 11.320 * [taylor]: Taking taylor expansion of x in t 11.320 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in y 11.320 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 11.320 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in y 11.321 * [taylor]: Taking taylor expansion of (/ t y) in y 11.321 * [taylor]: Taking taylor expansion of t in y 11.321 * [taylor]: Taking taylor expansion of y in y 11.321 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 11.321 * [taylor]: Taking taylor expansion of (/ 1 z) in y 11.321 * [taylor]: Taking taylor expansion of z in y 11.321 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.321 * [taylor]: Taking taylor expansion of x in y 11.321 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.321 * [taylor]: Taking taylor expansion of x in y 11.321 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in y 11.321 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 11.321 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in y 11.321 * [taylor]: Taking taylor expansion of (/ t y) in y 11.321 * [taylor]: Taking taylor expansion of t in y 11.321 * [taylor]: Taking taylor expansion of y in y 11.321 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 11.321 * [taylor]: Taking taylor expansion of (/ 1 z) in y 11.321 * [taylor]: Taking taylor expansion of z in y 11.321 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.321 * [taylor]: Taking taylor expansion of x in y 11.321 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.321 * [taylor]: Taking taylor expansion of x in y 11.321 * [taylor]: Taking taylor expansion of (- (/ t z) (/ t x)) in t 11.321 * [taylor]: Taking taylor expansion of (/ t z) in t 11.321 * [taylor]: Taking taylor expansion of t in t 11.321 * [taylor]: Taking taylor expansion of z in t 11.321 * [taylor]: Taking taylor expansion of (/ t x) in t 11.321 * [taylor]: Taking taylor expansion of t in t 11.322 * [taylor]: Taking taylor expansion of x in t 11.323 * [taylor]: Taking taylor expansion of (/ 1 x) in t 11.323 * [taylor]: Taking taylor expansion of x in t 11.323 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.323 * [taylor]: Taking taylor expansion of x in z 11.323 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 11.323 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.323 * [taylor]: Taking taylor expansion of z in z 11.324 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.324 * [taylor]: Taking taylor expansion of x in z 11.324 * [taylor]: Taking taylor expansion of 1 in x 11.326 * [taylor]: Taking taylor expansion of 0 in t 11.326 * [taylor]: Taking taylor expansion of 0 in z 11.326 * [taylor]: Taking taylor expansion of 0 in z 11.327 * [taylor]: Taking taylor expansion of 0 in z 11.327 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.327 * [taylor]: Taking taylor expansion of x in x 11.328 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 11.328 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.328 * [taylor]: Taking taylor expansion of x in x 11.329 * [approximate]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in (y t z x) around 0 11.329 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in x 11.330 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 11.330 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in x 11.330 * [taylor]: Taking taylor expansion of (/ t y) in x 11.330 * [taylor]: Taking taylor expansion of t in x 11.330 * [taylor]: Taking taylor expansion of y in x 11.330 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 11.330 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.330 * [taylor]: Taking taylor expansion of x in x 11.330 * [taylor]: Taking taylor expansion of (/ 1 z) in x 11.330 * [taylor]: Taking taylor expansion of z in x 11.330 * [taylor]: Taking taylor expansion of (/ -1 x) in x 11.330 * [taylor]: Taking taylor expansion of -1 in x 11.330 * [taylor]: Taking taylor expansion of x in x 11.331 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in z 11.331 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 11.331 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in z 11.331 * [taylor]: Taking taylor expansion of (/ t y) in z 11.331 * [taylor]: Taking taylor expansion of t in z 11.331 * [taylor]: Taking taylor expansion of y in z 11.331 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 11.331 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.331 * [taylor]: Taking taylor expansion of x in z 11.331 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.331 * [taylor]: Taking taylor expansion of z in z 11.331 * [taylor]: Taking taylor expansion of (/ -1 x) in z 11.331 * [taylor]: Taking taylor expansion of -1 in z 11.331 * [taylor]: Taking taylor expansion of x in z 11.331 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in t 11.331 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 11.331 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in t 11.331 * [taylor]: Taking taylor expansion of (/ t y) in t 11.332 * [taylor]: Taking taylor expansion of t in t 11.332 * [taylor]: Taking taylor expansion of y in t 11.332 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in t 11.332 * [taylor]: Taking taylor expansion of (/ 1 x) in t 11.332 * [taylor]: Taking taylor expansion of x in t 11.332 * [taylor]: Taking taylor expansion of (/ 1 z) in t 11.332 * [taylor]: Taking taylor expansion of z in t 11.332 * [taylor]: Taking taylor expansion of (/ -1 x) in t 11.332 * [taylor]: Taking taylor expansion of -1 in t 11.332 * [taylor]: Taking taylor expansion of x in t 11.332 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in y 11.332 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 11.332 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in y 11.332 * [taylor]: Taking taylor expansion of (/ t y) in y 11.332 * [taylor]: Taking taylor expansion of t in y 11.332 * [taylor]: Taking taylor expansion of y in y 11.332 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 11.332 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.332 * [taylor]: Taking taylor expansion of x in y 11.332 * [taylor]: Taking taylor expansion of (/ 1 z) in y 11.332 * [taylor]: Taking taylor expansion of z in y 11.332 * [taylor]: Taking taylor expansion of (/ -1 x) in y 11.332 * [taylor]: Taking taylor expansion of -1 in y 11.332 * [taylor]: Taking taylor expansion of x in y 11.332 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in y 11.332 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 11.332 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in y 11.332 * [taylor]: Taking taylor expansion of (/ t y) in y 11.332 * [taylor]: Taking taylor expansion of t in y 11.332 * [taylor]: Taking taylor expansion of y in y 11.332 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 11.332 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.332 * [taylor]: Taking taylor expansion of x in y 11.332 * [taylor]: Taking taylor expansion of (/ 1 z) in y 11.332 * [taylor]: Taking taylor expansion of z in y 11.332 * [taylor]: Taking taylor expansion of (/ -1 x) in y 11.332 * [taylor]: Taking taylor expansion of -1 in y 11.332 * [taylor]: Taking taylor expansion of x in y 11.333 * [taylor]: Taking taylor expansion of (- (/ t x) (/ t z)) in t 11.333 * [taylor]: Taking taylor expansion of (/ t x) in t 11.333 * [taylor]: Taking taylor expansion of t in t 11.333 * [taylor]: Taking taylor expansion of x in t 11.333 * [taylor]: Taking taylor expansion of (/ t z) in t 11.333 * [taylor]: Taking taylor expansion of t in t 11.333 * [taylor]: Taking taylor expansion of z in t 11.334 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in t 11.334 * [taylor]: Taking taylor expansion of (/ 1 x) in t 11.335 * [taylor]: Taking taylor expansion of x in t 11.335 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z 11.335 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.335 * [taylor]: Taking taylor expansion of x in z 11.335 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 11.335 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.335 * [taylor]: Taking taylor expansion of x in z 11.335 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.335 * [taylor]: Taking taylor expansion of z in z 11.336 * [taylor]: Taking taylor expansion of -1 in x 11.338 * [taylor]: Taking taylor expansion of 0 in t 11.338 * [taylor]: Taking taylor expansion of 0 in z 11.338 * [taylor]: Taking taylor expansion of 0 in z 11.339 * [taylor]: Taking taylor expansion of 0 in z 11.339 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 11.339 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.339 * [taylor]: Taking taylor expansion of x in x 11.340 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.340 * [taylor]: Taking taylor expansion of x in x 11.341 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2 1) 11.342 * [approximate]: Taking taylor expansion of (fma (/ y t) (- z x) x) in (y t z x) around 0 11.342 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in x 11.342 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 11.342 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in x 11.342 * [taylor]: Taking taylor expansion of (/ y t) in x 11.342 * [taylor]: Taking taylor expansion of y in x 11.342 * [taylor]: Taking taylor expansion of t in x 11.342 * [taylor]: Taking taylor expansion of (- z x) in x 11.342 * [taylor]: Taking taylor expansion of z in x 11.342 * [taylor]: Taking taylor expansion of x in x 11.342 * [taylor]: Taking taylor expansion of x in x 11.342 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in z 11.342 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 11.342 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in z 11.342 * [taylor]: Taking taylor expansion of (/ y t) in z 11.342 * [taylor]: Taking taylor expansion of y in z 11.342 * [taylor]: Taking taylor expansion of t in z 11.342 * [taylor]: Taking taylor expansion of (- z x) in z 11.342 * [taylor]: Taking taylor expansion of z in z 11.342 * [taylor]: Taking taylor expansion of x in z 11.342 * [taylor]: Taking taylor expansion of x in z 11.342 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in t 11.342 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 11.342 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in t 11.342 * [taylor]: Taking taylor expansion of (/ y t) in t 11.342 * [taylor]: Taking taylor expansion of y in t 11.342 * [taylor]: Taking taylor expansion of t in t 11.342 * [taylor]: Taking taylor expansion of (- z x) in t 11.342 * [taylor]: Taking taylor expansion of z in t 11.342 * [taylor]: Taking taylor expansion of x in t 11.342 * [taylor]: Taking taylor expansion of x in t 11.343 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in y 11.343 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 11.343 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in y 11.343 * [taylor]: Taking taylor expansion of (/ y t) in y 11.343 * [taylor]: Taking taylor expansion of y in y 11.343 * [taylor]: Taking taylor expansion of t in y 11.343 * [taylor]: Taking taylor expansion of (- z x) in y 11.343 * [taylor]: Taking taylor expansion of z in y 11.343 * [taylor]: Taking taylor expansion of x in y 11.343 * [taylor]: Taking taylor expansion of x in y 11.343 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in y 11.343 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 11.343 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in y 11.343 * [taylor]: Taking taylor expansion of (/ y t) in y 11.343 * [taylor]: Taking taylor expansion of y in y 11.343 * [taylor]: Taking taylor expansion of t in y 11.343 * [taylor]: Taking taylor expansion of (- z x) in y 11.343 * [taylor]: Taking taylor expansion of z in y 11.343 * [taylor]: Taking taylor expansion of x in y 11.343 * [taylor]: Taking taylor expansion of x in y 11.343 * [taylor]: Taking taylor expansion of x in t 11.343 * [taylor]: Taking taylor expansion of (- (/ z t) (/ x t)) in t 11.343 * [taylor]: Taking taylor expansion of (/ z t) in t 11.343 * [taylor]: Taking taylor expansion of z in t 11.343 * [taylor]: Taking taylor expansion of t in t 11.343 * [taylor]: Taking taylor expansion of (/ x t) in t 11.343 * [taylor]: Taking taylor expansion of x in t 11.343 * [taylor]: Taking taylor expansion of t in t 11.343 * [taylor]: Taking taylor expansion of (- z x) in z 11.343 * [taylor]: Taking taylor expansion of z in z 11.344 * [taylor]: Taking taylor expansion of x in z 11.344 * [taylor]: Taking taylor expansion of (- x) in x 11.344 * [taylor]: Taking taylor expansion of x in x 11.344 * [taylor]: Taking taylor expansion of x in z 11.344 * [taylor]: Taking taylor expansion of x in x 11.345 * [taylor]: Taking taylor expansion of 0 in t 11.347 * [taylor]: Taking taylor expansion of 0 in z 11.347 * [taylor]: Taking taylor expansion of 0 in x 11.347 * [taylor]: Taking taylor expansion of 0 in z 11.347 * [taylor]: Taking taylor expansion of 0 in x 11.348 * [taylor]: Taking taylor expansion of 1 in x 11.348 * [taylor]: Taking taylor expansion of 0 in x 11.349 * [approximate]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in (y t z x) around 0 11.349 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in x 11.349 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 11.349 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in x 11.349 * [taylor]: Taking taylor expansion of (/ t y) in x 11.349 * [taylor]: Taking taylor expansion of t in x 11.349 * [taylor]: Taking taylor expansion of y in x 11.349 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 11.349 * [taylor]: Taking taylor expansion of (/ 1 z) in x 11.349 * [taylor]: Taking taylor expansion of z in x 11.349 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.349 * [taylor]: Taking taylor expansion of x in x 11.350 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.350 * [taylor]: Taking taylor expansion of x in x 11.350 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in z 11.350 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 11.350 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in z 11.350 * [taylor]: Taking taylor expansion of (/ t y) in z 11.350 * [taylor]: Taking taylor expansion of t in z 11.350 * [taylor]: Taking taylor expansion of y in z 11.350 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 11.350 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.350 * [taylor]: Taking taylor expansion of z in z 11.351 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.351 * [taylor]: Taking taylor expansion of x in z 11.351 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.351 * [taylor]: Taking taylor expansion of x in z 11.351 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in t 11.351 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 11.351 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in t 11.351 * [taylor]: Taking taylor expansion of (/ t y) in t 11.351 * [taylor]: Taking taylor expansion of t in t 11.351 * [taylor]: Taking taylor expansion of y in t 11.351 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in t 11.351 * [taylor]: Taking taylor expansion of (/ 1 z) in t 11.351 * [taylor]: Taking taylor expansion of z in t 11.351 * [taylor]: Taking taylor expansion of (/ 1 x) in t 11.351 * [taylor]: Taking taylor expansion of x in t 11.351 * [taylor]: Taking taylor expansion of (/ 1 x) in t 11.351 * [taylor]: Taking taylor expansion of x in t 11.351 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in y 11.351 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 11.351 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in y 11.351 * [taylor]: Taking taylor expansion of (/ t y) in y 11.351 * [taylor]: Taking taylor expansion of t in y 11.351 * [taylor]: Taking taylor expansion of y in y 11.351 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 11.351 * [taylor]: Taking taylor expansion of (/ 1 z) in y 11.351 * [taylor]: Taking taylor expansion of z in y 11.351 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.351 * [taylor]: Taking taylor expansion of x in y 11.351 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.351 * [taylor]: Taking taylor expansion of x in y 11.351 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in y 11.352 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 11.352 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in y 11.352 * [taylor]: Taking taylor expansion of (/ t y) in y 11.352 * [taylor]: Taking taylor expansion of t in y 11.352 * [taylor]: Taking taylor expansion of y in y 11.354 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 11.354 * [taylor]: Taking taylor expansion of (/ 1 z) in y 11.354 * [taylor]: Taking taylor expansion of z in y 11.354 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.354 * [taylor]: Taking taylor expansion of x in y 11.354 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.354 * [taylor]: Taking taylor expansion of x in y 11.355 * [taylor]: Taking taylor expansion of (- (/ t z) (/ t x)) in t 11.355 * [taylor]: Taking taylor expansion of (/ t z) in t 11.355 * [taylor]: Taking taylor expansion of t in t 11.355 * [taylor]: Taking taylor expansion of z in t 11.355 * [taylor]: Taking taylor expansion of (/ t x) in t 11.355 * [taylor]: Taking taylor expansion of t in t 11.355 * [taylor]: Taking taylor expansion of x in t 11.356 * [taylor]: Taking taylor expansion of (/ 1 x) in t 11.356 * [taylor]: Taking taylor expansion of x in t 11.357 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.357 * [taylor]: Taking taylor expansion of x in z 11.357 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 11.357 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.357 * [taylor]: Taking taylor expansion of z in z 11.357 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.357 * [taylor]: Taking taylor expansion of x in z 11.357 * [taylor]: Taking taylor expansion of 1 in x 11.360 * [taylor]: Taking taylor expansion of 0 in t 11.360 * [taylor]: Taking taylor expansion of 0 in z 11.360 * [taylor]: Taking taylor expansion of 0 in z 11.360 * [taylor]: Taking taylor expansion of 0 in z 11.360 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.360 * [taylor]: Taking taylor expansion of x in x 11.361 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 11.361 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.361 * [taylor]: Taking taylor expansion of x in x 11.363 * [approximate]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in (y t z x) around 0 11.363 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in x 11.363 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 11.363 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in x 11.363 * [taylor]: Taking taylor expansion of (/ t y) in x 11.363 * [taylor]: Taking taylor expansion of t in x 11.363 * [taylor]: Taking taylor expansion of y in x 11.363 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 11.363 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.363 * [taylor]: Taking taylor expansion of x in x 11.364 * [taylor]: Taking taylor expansion of (/ 1 z) in x 11.364 * [taylor]: Taking taylor expansion of z in x 11.364 * [taylor]: Taking taylor expansion of (/ -1 x) in x 11.364 * [taylor]: Taking taylor expansion of -1 in x 11.364 * [taylor]: Taking taylor expansion of x in x 11.364 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in z 11.364 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 11.364 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in z 11.364 * [taylor]: Taking taylor expansion of (/ t y) in z 11.364 * [taylor]: Taking taylor expansion of t in z 11.364 * [taylor]: Taking taylor expansion of y in z 11.364 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 11.364 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.364 * [taylor]: Taking taylor expansion of x in z 11.364 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.364 * [taylor]: Taking taylor expansion of z in z 11.365 * [taylor]: Taking taylor expansion of (/ -1 x) in z 11.365 * [taylor]: Taking taylor expansion of -1 in z 11.365 * [taylor]: Taking taylor expansion of x in z 11.365 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in t 11.365 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 11.365 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in t 11.365 * [taylor]: Taking taylor expansion of (/ t y) in t 11.365 * [taylor]: Taking taylor expansion of t in t 11.365 * [taylor]: Taking taylor expansion of y in t 11.365 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in t 11.365 * [taylor]: Taking taylor expansion of (/ 1 x) in t 11.365 * [taylor]: Taking taylor expansion of x in t 11.365 * [taylor]: Taking taylor expansion of (/ 1 z) in t 11.365 * [taylor]: Taking taylor expansion of z in t 11.365 * [taylor]: Taking taylor expansion of (/ -1 x) in t 11.365 * [taylor]: Taking taylor expansion of -1 in t 11.365 * [taylor]: Taking taylor expansion of x in t 11.365 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in y 11.365 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 11.365 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in y 11.365 * [taylor]: Taking taylor expansion of (/ t y) in y 11.365 * [taylor]: Taking taylor expansion of t in y 11.365 * [taylor]: Taking taylor expansion of y in y 11.365 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 11.365 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.365 * [taylor]: Taking taylor expansion of x in y 11.365 * [taylor]: Taking taylor expansion of (/ 1 z) in y 11.365 * [taylor]: Taking taylor expansion of z in y 11.366 * [taylor]: Taking taylor expansion of (/ -1 x) in y 11.366 * [taylor]: Taking taylor expansion of -1 in y 11.366 * [taylor]: Taking taylor expansion of x in y 11.366 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in y 11.366 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 11.366 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in y 11.366 * [taylor]: Taking taylor expansion of (/ t y) in y 11.366 * [taylor]: Taking taylor expansion of t in y 11.366 * [taylor]: Taking taylor expansion of y in y 11.366 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 11.366 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.366 * [taylor]: Taking taylor expansion of x in y 11.366 * [taylor]: Taking taylor expansion of (/ 1 z) in y 11.366 * [taylor]: Taking taylor expansion of z in y 11.366 * [taylor]: Taking taylor expansion of (/ -1 x) in y 11.366 * [taylor]: Taking taylor expansion of -1 in y 11.366 * [taylor]: Taking taylor expansion of x in y 11.367 * [taylor]: Taking taylor expansion of (- (/ t x) (/ t z)) in t 11.367 * [taylor]: Taking taylor expansion of (/ t x) in t 11.367 * [taylor]: Taking taylor expansion of t in t 11.367 * [taylor]: Taking taylor expansion of x in t 11.367 * [taylor]: Taking taylor expansion of (/ t z) in t 11.367 * [taylor]: Taking taylor expansion of t in t 11.367 * [taylor]: Taking taylor expansion of z in t 11.368 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in t 11.368 * [taylor]: Taking taylor expansion of (/ 1 x) in t 11.368 * [taylor]: Taking taylor expansion of x in t 11.368 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z 11.368 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.368 * [taylor]: Taking taylor expansion of x in z 11.369 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 11.369 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.369 * [taylor]: Taking taylor expansion of x in z 11.369 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.369 * [taylor]: Taking taylor expansion of z in z 11.369 * [taylor]: Taking taylor expansion of -1 in x 11.372 * [taylor]: Taking taylor expansion of 0 in t 11.372 * [taylor]: Taking taylor expansion of 0 in z 11.372 * [taylor]: Taking taylor expansion of 0 in z 11.373 * [taylor]: Taking taylor expansion of 0 in z 11.373 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 11.373 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.373 * [taylor]: Taking taylor expansion of x in x 11.374 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.374 * [taylor]: Taking taylor expansion of x in x 11.375 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 2 1) 11.376 * [approximate]: Taking taylor expansion of (fma (/ y t) (- z x) x) in (y t z x) around 0 11.376 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in x 11.376 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 11.376 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in x 11.376 * [taylor]: Taking taylor expansion of (/ y t) in x 11.376 * [taylor]: Taking taylor expansion of y in x 11.376 * [taylor]: Taking taylor expansion of t in x 11.376 * [taylor]: Taking taylor expansion of (- z x) in x 11.376 * [taylor]: Taking taylor expansion of z in x 11.376 * [taylor]: Taking taylor expansion of x in x 11.376 * [taylor]: Taking taylor expansion of x in x 11.376 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in z 11.376 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 11.376 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in z 11.376 * [taylor]: Taking taylor expansion of (/ y t) in z 11.376 * [taylor]: Taking taylor expansion of y in z 11.376 * [taylor]: Taking taylor expansion of t in z 11.376 * [taylor]: Taking taylor expansion of (- z x) in z 11.376 * [taylor]: Taking taylor expansion of z in z 11.376 * [taylor]: Taking taylor expansion of x in z 11.376 * [taylor]: Taking taylor expansion of x in z 11.376 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in t 11.376 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 11.376 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in t 11.376 * [taylor]: Taking taylor expansion of (/ y t) in t 11.376 * [taylor]: Taking taylor expansion of y in t 11.376 * [taylor]: Taking taylor expansion of t in t 11.376 * [taylor]: Taking taylor expansion of (- z x) in t 11.376 * [taylor]: Taking taylor expansion of z in t 11.376 * [taylor]: Taking taylor expansion of x in t 11.376 * [taylor]: Taking taylor expansion of x in t 11.376 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in y 11.376 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 11.377 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in y 11.377 * [taylor]: Taking taylor expansion of (/ y t) in y 11.377 * [taylor]: Taking taylor expansion of y in y 11.377 * [taylor]: Taking taylor expansion of t in y 11.377 * [taylor]: Taking taylor expansion of (- z x) in y 11.377 * [taylor]: Taking taylor expansion of z in y 11.377 * [taylor]: Taking taylor expansion of x in y 11.377 * [taylor]: Taking taylor expansion of x in y 11.377 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in y 11.377 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 11.377 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in y 11.377 * [taylor]: Taking taylor expansion of (/ y t) in y 11.377 * [taylor]: Taking taylor expansion of y in y 11.377 * [taylor]: Taking taylor expansion of t in y 11.377 * [taylor]: Taking taylor expansion of (- z x) in y 11.377 * [taylor]: Taking taylor expansion of z in y 11.377 * [taylor]: Taking taylor expansion of x in y 11.377 * [taylor]: Taking taylor expansion of x in y 11.377 * [taylor]: Taking taylor expansion of x in t 11.377 * [taylor]: Taking taylor expansion of (- (/ z t) (/ x t)) in t 11.377 * [taylor]: Taking taylor expansion of (/ z t) in t 11.377 * [taylor]: Taking taylor expansion of z in t 11.377 * [taylor]: Taking taylor expansion of t in t 11.377 * [taylor]: Taking taylor expansion of (/ x t) in t 11.377 * [taylor]: Taking taylor expansion of x in t 11.377 * [taylor]: Taking taylor expansion of t in t 11.377 * [taylor]: Taking taylor expansion of (- z x) in z 11.377 * [taylor]: Taking taylor expansion of z in z 11.377 * [taylor]: Taking taylor expansion of x in z 11.377 * [taylor]: Taking taylor expansion of (- x) in x 11.377 * [taylor]: Taking taylor expansion of x in x 11.378 * [taylor]: Taking taylor expansion of x in z 11.378 * [taylor]: Taking taylor expansion of x in x 11.379 * [taylor]: Taking taylor expansion of 0 in t 11.380 * [taylor]: Taking taylor expansion of 0 in z 11.381 * [taylor]: Taking taylor expansion of 0 in x 11.381 * [taylor]: Taking taylor expansion of 0 in z 11.381 * [taylor]: Taking taylor expansion of 0 in x 11.381 * [taylor]: Taking taylor expansion of 1 in x 11.381 * [taylor]: Taking taylor expansion of 0 in x 11.382 * [approximate]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in (y t z x) around 0 11.382 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in x 11.382 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 11.382 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in x 11.382 * [taylor]: Taking taylor expansion of (/ t y) in x 11.382 * [taylor]: Taking taylor expansion of t in x 11.382 * [taylor]: Taking taylor expansion of y in x 11.383 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 11.383 * [taylor]: Taking taylor expansion of (/ 1 z) in x 11.383 * [taylor]: Taking taylor expansion of z in x 11.383 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.383 * [taylor]: Taking taylor expansion of x in x 11.383 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.383 * [taylor]: Taking taylor expansion of x in x 11.383 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in z 11.383 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 11.383 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in z 11.384 * [taylor]: Taking taylor expansion of (/ t y) in z 11.384 * [taylor]: Taking taylor expansion of t in z 11.384 * [taylor]: Taking taylor expansion of y in z 11.384 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 11.384 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.384 * [taylor]: Taking taylor expansion of z in z 11.384 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.384 * [taylor]: Taking taylor expansion of x in z 11.384 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.384 * [taylor]: Taking taylor expansion of x in z 11.384 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in t 11.384 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 11.384 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in t 11.384 * [taylor]: Taking taylor expansion of (/ t y) in t 11.384 * [taylor]: Taking taylor expansion of t in t 11.384 * [taylor]: Taking taylor expansion of y in t 11.384 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in t 11.384 * [taylor]: Taking taylor expansion of (/ 1 z) in t 11.384 * [taylor]: Taking taylor expansion of z in t 11.384 * [taylor]: Taking taylor expansion of (/ 1 x) in t 11.384 * [taylor]: Taking taylor expansion of x in t 11.384 * [taylor]: Taking taylor expansion of (/ 1 x) in t 11.384 * [taylor]: Taking taylor expansion of x in t 11.384 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in y 11.385 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 11.385 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in y 11.385 * [taylor]: Taking taylor expansion of (/ t y) in y 11.385 * [taylor]: Taking taylor expansion of t in y 11.385 * [taylor]: Taking taylor expansion of y in y 11.385 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 11.385 * [taylor]: Taking taylor expansion of (/ 1 z) in y 11.385 * [taylor]: Taking taylor expansion of z in y 11.385 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.385 * [taylor]: Taking taylor expansion of x in y 11.385 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.385 * [taylor]: Taking taylor expansion of x in y 11.385 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in y 11.385 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 11.385 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in y 11.385 * [taylor]: Taking taylor expansion of (/ t y) in y 11.385 * [taylor]: Taking taylor expansion of t in y 11.385 * [taylor]: Taking taylor expansion of y in y 11.385 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 11.385 * [taylor]: Taking taylor expansion of (/ 1 z) in y 11.385 * [taylor]: Taking taylor expansion of z in y 11.385 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.385 * [taylor]: Taking taylor expansion of x in y 11.385 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.385 * [taylor]: Taking taylor expansion of x in y 11.385 * [taylor]: Taking taylor expansion of (- (/ t z) (/ t x)) in t 11.385 * [taylor]: Taking taylor expansion of (/ t z) in t 11.385 * [taylor]: Taking taylor expansion of t in t 11.386 * [taylor]: Taking taylor expansion of z in t 11.386 * [taylor]: Taking taylor expansion of (/ t x) in t 11.386 * [taylor]: Taking taylor expansion of t in t 11.386 * [taylor]: Taking taylor expansion of x in t 11.387 * [taylor]: Taking taylor expansion of (/ 1 x) in t 11.387 * [taylor]: Taking taylor expansion of x in t 11.387 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.387 * [taylor]: Taking taylor expansion of x in z 11.387 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 11.387 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.387 * [taylor]: Taking taylor expansion of z in z 11.388 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.388 * [taylor]: Taking taylor expansion of x in z 11.388 * [taylor]: Taking taylor expansion of 1 in x 11.390 * [taylor]: Taking taylor expansion of 0 in t 11.391 * [taylor]: Taking taylor expansion of 0 in z 11.391 * [taylor]: Taking taylor expansion of 0 in z 11.391 * [taylor]: Taking taylor expansion of 0 in z 11.391 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.391 * [taylor]: Taking taylor expansion of x in x 11.392 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 11.392 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.392 * [taylor]: Taking taylor expansion of x in x 11.394 * [approximate]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in (y t z x) around 0 11.394 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in x 11.394 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 11.394 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in x 11.394 * [taylor]: Taking taylor expansion of (/ t y) in x 11.394 * [taylor]: Taking taylor expansion of t in x 11.394 * [taylor]: Taking taylor expansion of y in x 11.394 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 11.394 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.394 * [taylor]: Taking taylor expansion of x in x 11.394 * [taylor]: Taking taylor expansion of (/ 1 z) in x 11.394 * [taylor]: Taking taylor expansion of z in x 11.395 * [taylor]: Taking taylor expansion of (/ -1 x) in x 11.395 * [taylor]: Taking taylor expansion of -1 in x 11.395 * [taylor]: Taking taylor expansion of x in x 11.395 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in z 11.395 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 11.395 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in z 11.395 * [taylor]: Taking taylor expansion of (/ t y) in z 11.395 * [taylor]: Taking taylor expansion of t in z 11.395 * [taylor]: Taking taylor expansion of y in z 11.395 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 11.395 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.395 * [taylor]: Taking taylor expansion of x in z 11.395 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.395 * [taylor]: Taking taylor expansion of z in z 11.396 * [taylor]: Taking taylor expansion of (/ -1 x) in z 11.396 * [taylor]: Taking taylor expansion of -1 in z 11.396 * [taylor]: Taking taylor expansion of x in z 11.396 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in t 11.396 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 11.396 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in t 11.396 * [taylor]: Taking taylor expansion of (/ t y) in t 11.396 * [taylor]: Taking taylor expansion of t in t 11.396 * [taylor]: Taking taylor expansion of y in t 11.396 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in t 11.396 * [taylor]: Taking taylor expansion of (/ 1 x) in t 11.396 * [taylor]: Taking taylor expansion of x in t 11.396 * [taylor]: Taking taylor expansion of (/ 1 z) in t 11.396 * [taylor]: Taking taylor expansion of z in t 11.396 * [taylor]: Taking taylor expansion of (/ -1 x) in t 11.396 * [taylor]: Taking taylor expansion of -1 in t 11.396 * [taylor]: Taking taylor expansion of x in t 11.396 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in y 11.396 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 11.396 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in y 11.396 * [taylor]: Taking taylor expansion of (/ t y) in y 11.396 * [taylor]: Taking taylor expansion of t in y 11.396 * [taylor]: Taking taylor expansion of y in y 11.396 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 11.396 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.396 * [taylor]: Taking taylor expansion of x in y 11.396 * [taylor]: Taking taylor expansion of (/ 1 z) in y 11.396 * [taylor]: Taking taylor expansion of z in y 11.396 * [taylor]: Taking taylor expansion of (/ -1 x) in y 11.396 * [taylor]: Taking taylor expansion of -1 in y 11.396 * [taylor]: Taking taylor expansion of x in y 11.396 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in y 11.397 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 11.397 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in y 11.397 * [taylor]: Taking taylor expansion of (/ t y) in y 11.397 * [taylor]: Taking taylor expansion of t in y 11.397 * [taylor]: Taking taylor expansion of y in y 11.397 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 11.397 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.397 * [taylor]: Taking taylor expansion of x in y 11.397 * [taylor]: Taking taylor expansion of (/ 1 z) in y 11.397 * [taylor]: Taking taylor expansion of z in y 11.397 * [taylor]: Taking taylor expansion of (/ -1 x) in y 11.397 * [taylor]: Taking taylor expansion of -1 in y 11.397 * [taylor]: Taking taylor expansion of x in y 11.397 * [taylor]: Taking taylor expansion of (- (/ t x) (/ t z)) in t 11.397 * [taylor]: Taking taylor expansion of (/ t x) in t 11.397 * [taylor]: Taking taylor expansion of t in t 11.397 * [taylor]: Taking taylor expansion of x in t 11.397 * [taylor]: Taking taylor expansion of (/ t z) in t 11.397 * [taylor]: Taking taylor expansion of t in t 11.397 * [taylor]: Taking taylor expansion of z in t 11.399 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in t 11.399 * [taylor]: Taking taylor expansion of (/ 1 x) in t 11.399 * [taylor]: Taking taylor expansion of x in t 11.399 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z 11.399 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.399 * [taylor]: Taking taylor expansion of x in z 11.399 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 11.399 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.399 * [taylor]: Taking taylor expansion of x in z 11.399 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.399 * [taylor]: Taking taylor expansion of z in z 11.400 * [taylor]: Taking taylor expansion of -1 in x 11.402 * [taylor]: Taking taylor expansion of 0 in t 11.402 * [taylor]: Taking taylor expansion of 0 in z 11.403 * [taylor]: Taking taylor expansion of 0 in z 11.403 * [taylor]: Taking taylor expansion of 0 in z 11.403 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 11.403 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.403 * [taylor]: Taking taylor expansion of x in x 11.405 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.405 * [taylor]: Taking taylor expansion of x in x 11.406 * * * [progress]: simplifying candidates 11.406 * [simplify]: Simplifying using # : (expm1 (fma (/ y t) (- z x) x)) (log1p (fma (/ y t) (- z x) x)) (* (/ y t) (- z x)) (log (fma (/ y t) (- z x) x)) (exp (fma (/ y t) (- z x) x)) (* (cbrt (fma (/ y t) (- z x) x)) (cbrt (fma (/ y t) (- z x) x))) (cbrt (fma (/ y t) (- z x) x)) (* (* (fma (/ y t) (- z x) x) (fma (/ y t) (- z x) x)) (fma (/ y t) (- z x) x)) (sqrt (fma (/ y t) (- z x) x)) (sqrt (fma (/ y t) (- z x) x)) (expm1 (fma (/ y t) (- z x) x)) (log1p (fma (/ y t) (- z x) x)) (* (/ y t) (- z x)) (log (fma (/ y t) (- z x) x)) (exp (fma (/ y t) (- z x) x)) (* (cbrt (fma (/ y t) (- z x) x)) (cbrt (fma (/ y t) (- z x) x))) (cbrt (fma (/ y t) (- z x) x)) (* (* (fma (/ y t) (- z x) x) (fma (/ y t) (- z x) x)) (fma (/ y t) (- z x) x)) (sqrt (fma (/ y t) (- z x) x)) (sqrt (fma (/ y t) (- z x) x)) (expm1 (fma (/ y t) (- z x) x)) (log1p (fma (/ y t) (- z x) x)) (* (/ y t) (- z x)) (log (fma (/ y t) (- z x) x)) (exp (fma (/ y t) (- z x) x)) (* (cbrt (fma (/ y t) (- z x) x)) (cbrt (fma (/ y t) (- z x) x))) (cbrt (fma (/ y t) (- z x) x)) (* (* (fma (/ y t) (- z x) x) (fma (/ y t) (- z x) x)) (fma (/ y t) (- z x) x)) (sqrt (fma (/ y t) (- z x) x)) (sqrt (fma (/ y t) (- z x) x)) (expm1 (fma (/ y t) (- z x) x)) (log1p (fma (/ y t) (- z x) x)) (* (/ y t) (- z x)) (log (fma (/ y t) (- z x) x)) (exp (fma (/ y t) (- z x) x)) (* (cbrt (fma (/ y t) (- z x) x)) (cbrt (fma (/ y t) (- z x) x))) (cbrt (fma (/ y t) (- z x) x)) (* (* (fma (/ y t) (- z x) x) (fma (/ y t) (- z x) x)) (fma (/ y t) (- z x) x)) (sqrt (fma (/ y t) (- z x) x)) (sqrt (fma (/ y t) (- z x) x)) (- (+ (/ (* z y) t) x) (/ (* x y) t)) (- (+ (/ (* z y) t) x) (/ (* x y) t)) (- (+ (/ (* z y) t) x) (/ (* x y) t)) (- (+ (/ (* z y) t) x) (/ (* x y) t)) (- (+ (/ (* z y) t) x) (/ (* x y) t)) (- (+ (/ (* z y) t) x) (/ (* x y) t)) (- (+ (/ (* z y) t) x) (/ (* x y) t)) (- (+ (/ (* z y) t) x) (/ (* x y) t)) (- (+ (/ (* z y) t) x) (/ (* x y) t)) (- (+ (/ (* z y) t) x) (/ (* x y) t)) (- (+ (/ (* z y) t) x) (/ (* x y) t)) (- (+ (/ (* z y) t) x) (/ (* x y) t)) 11.408 * * [simplify]: iteration 0 : 23 enodes (cost 616 ) 11.411 * * [simplify]: iteration 1 : 40 enodes (cost 616 ) 11.417 * * [simplify]: iteration 2 : 91 enodes (cost 552 ) 11.435 * * [simplify]: iteration 3 : 218 enodes (cost 492 ) 11.513 * * [simplify]: iteration 4 : 980 enodes (cost 492 ) 12.198 * * [simplify]: iteration done : 5000 enodes (cost 492 ) 12.199 * [simplify]: Simplified to: (expm1 (fma (/ y t) (- z x) x)) (log1p (fma (/ y t) (- z x) x)) (/ y (/ t (- z x))) (log (fma (/ y t) (- z x) x)) (exp (fma (/ y t) (- z x) x)) (* (cbrt (fma (/ y t) (- z x) x)) (cbrt (fma (/ y t) (- z x) x))) (cbrt (fma (/ y t) (- z x) x)) (pow (fma (/ y t) (- z x) x) 3) (sqrt (fma (/ y t) (- z x) x)) (sqrt (fma (/ y t) (- z x) x)) (expm1 (fma (/ y t) (- z x) x)) (log1p (fma (/ y t) (- z x) x)) (/ y (/ t (- z x))) (log (fma (/ y t) (- z x) x)) (exp (fma (/ y t) (- z x) x)) (* (cbrt (fma (/ y t) (- z x) x)) (cbrt (fma (/ y t) (- z x) x))) (cbrt (fma (/ y t) (- z x) x)) (pow (fma (/ y t) (- z x) x) 3) (sqrt (fma (/ y t) (- z x) x)) (sqrt (fma (/ y t) (- z x) x)) (expm1 (fma (/ y t) (- z x) x)) (log1p (fma (/ y t) (- z x) x)) (/ y (/ t (- z x))) (log (fma (/ y t) (- z x) x)) (exp (fma (/ y t) (- z x) x)) (* (cbrt (fma (/ y t) (- z x) x)) (cbrt (fma (/ y t) (- z x) x))) (cbrt (fma (/ y t) (- z x) x)) (pow (fma (/ y t) (- z x) x) 3) (sqrt (fma (/ y t) (- z x) x)) (sqrt (fma (/ y t) (- z x) x)) (expm1 (fma (/ y t) (- z x) x)) (log1p (fma (/ y t) (- z x) x)) (/ y (/ t (- z x))) (log (fma (/ y t) (- z x) x)) (exp (fma (/ y t) (- z x) x)) (* (cbrt (fma (/ y t) (- z x) x)) (cbrt (fma (/ y t) (- z x) x))) (cbrt (fma (/ y t) (- z x) x)) (pow (fma (/ y t) (- z x) x) 3) (sqrt (fma (/ y t) (- z x) x)) (sqrt (fma (/ y t) (- z x) x)) (fma (- z x) (/ y t) x) (fma (- z x) (/ y t) x) (fma (- z x) (/ y t) x) (fma (- z x) (/ y t) x) (fma (- z x) (/ y t) x) (fma (- z x) (/ y t) x) (fma (- z x) (/ y t) x) (fma (- z x) (/ y t) x) (fma (- z x) (/ y t) x) (fma (- z x) (/ y t) x) (fma (- z x) (/ y t) x) (fma (- z x) (/ y t) x) 12.199 * * * [progress]: adding candidates to table 12.388 * * [progress]: iteration 4 / 4 12.388 * * * [progress]: picking best candidate 12.398 * * * * [pick]: Picked # 12.398 * * * [progress]: localizing error 12.415 * * * [progress]: generating rewritten candidates 12.416 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 1) 12.416 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 2 1) 12.416 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1 1) 12.417 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1) 12.417 * * * [progress]: generating series expansions 12.417 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 1) 12.418 * [approximate]: Taking taylor expansion of (fma (/ y t) (- z x) x) in (y t z x) around 0 12.418 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in x 12.418 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 12.418 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in x 12.418 * [taylor]: Taking taylor expansion of (/ y t) in x 12.418 * [taylor]: Taking taylor expansion of y in x 12.418 * [taylor]: Taking taylor expansion of t in x 12.418 * [taylor]: Taking taylor expansion of (- z x) in x 12.418 * [taylor]: Taking taylor expansion of z in x 12.418 * [taylor]: Taking taylor expansion of x in x 12.418 * [taylor]: Taking taylor expansion of x in x 12.418 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in z 12.418 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 12.418 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in z 12.418 * [taylor]: Taking taylor expansion of (/ y t) in z 12.418 * [taylor]: Taking taylor expansion of y in z 12.418 * [taylor]: Taking taylor expansion of t in z 12.418 * [taylor]: Taking taylor expansion of (- z x) in z 12.418 * [taylor]: Taking taylor expansion of z in z 12.418 * [taylor]: Taking taylor expansion of x in z 12.418 * [taylor]: Taking taylor expansion of x in z 12.418 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in t 12.418 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 12.419 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in t 12.419 * [taylor]: Taking taylor expansion of (/ y t) in t 12.419 * [taylor]: Taking taylor expansion of y in t 12.419 * [taylor]: Taking taylor expansion of t in t 12.419 * [taylor]: Taking taylor expansion of (- z x) in t 12.419 * [taylor]: Taking taylor expansion of z in t 12.419 * [taylor]: Taking taylor expansion of x in t 12.419 * [taylor]: Taking taylor expansion of x in t 12.419 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in y 12.419 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 12.419 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in y 12.419 * [taylor]: Taking taylor expansion of (/ y t) in y 12.419 * [taylor]: Taking taylor expansion of y in y 12.419 * [taylor]: Taking taylor expansion of t in y 12.419 * [taylor]: Taking taylor expansion of (- z x) in y 12.419 * [taylor]: Taking taylor expansion of z in y 12.419 * [taylor]: Taking taylor expansion of x in y 12.419 * [taylor]: Taking taylor expansion of x in y 12.419 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in y 12.419 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 12.419 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in y 12.419 * [taylor]: Taking taylor expansion of (/ y t) in y 12.419 * [taylor]: Taking taylor expansion of y in y 12.419 * [taylor]: Taking taylor expansion of t in y 12.419 * [taylor]: Taking taylor expansion of (- z x) in y 12.419 * [taylor]: Taking taylor expansion of z in y 12.419 * [taylor]: Taking taylor expansion of x in y 12.419 * [taylor]: Taking taylor expansion of x in y 12.419 * [taylor]: Taking taylor expansion of x in t 12.420 * [taylor]: Taking taylor expansion of (- (/ z t) (/ x t)) in t 12.420 * [taylor]: Taking taylor expansion of (/ z t) in t 12.420 * [taylor]: Taking taylor expansion of z in t 12.420 * [taylor]: Taking taylor expansion of t in t 12.420 * [taylor]: Taking taylor expansion of (/ x t) in t 12.420 * [taylor]: Taking taylor expansion of x in t 12.420 * [taylor]: Taking taylor expansion of t in t 12.420 * [taylor]: Taking taylor expansion of (- z x) in z 12.420 * [taylor]: Taking taylor expansion of z in z 12.420 * [taylor]: Taking taylor expansion of x in z 12.420 * [taylor]: Taking taylor expansion of (- x) in x 12.420 * [taylor]: Taking taylor expansion of x in x 12.420 * [taylor]: Taking taylor expansion of x in z 12.420 * [taylor]: Taking taylor expansion of x in x 12.421 * [taylor]: Taking taylor expansion of 0 in t 12.423 * [taylor]: Taking taylor expansion of 0 in z 12.423 * [taylor]: Taking taylor expansion of 0 in x 12.423 * [taylor]: Taking taylor expansion of 0 in z 12.423 * [taylor]: Taking taylor expansion of 0 in x 12.424 * [taylor]: Taking taylor expansion of 1 in x 12.424 * [taylor]: Taking taylor expansion of 0 in x 12.425 * [approximate]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in (y t z x) around 0 12.425 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in x 12.425 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 12.425 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in x 12.425 * [taylor]: Taking taylor expansion of (/ t y) in x 12.425 * [taylor]: Taking taylor expansion of t in x 12.425 * [taylor]: Taking taylor expansion of y in x 12.425 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 12.425 * [taylor]: Taking taylor expansion of (/ 1 z) in x 12.425 * [taylor]: Taking taylor expansion of z in x 12.425 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.425 * [taylor]: Taking taylor expansion of x in x 12.426 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.426 * [taylor]: Taking taylor expansion of x in x 12.426 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in z 12.426 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 12.426 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in z 12.426 * [taylor]: Taking taylor expansion of (/ t y) in z 12.426 * [taylor]: Taking taylor expansion of t in z 12.426 * [taylor]: Taking taylor expansion of y in z 12.426 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 12.426 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.426 * [taylor]: Taking taylor expansion of z in z 12.427 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.427 * [taylor]: Taking taylor expansion of x in z 12.427 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.427 * [taylor]: Taking taylor expansion of x in z 12.427 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in t 12.427 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 12.427 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in t 12.427 * [taylor]: Taking taylor expansion of (/ t y) in t 12.427 * [taylor]: Taking taylor expansion of t in t 12.427 * [taylor]: Taking taylor expansion of y in t 12.427 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in t 12.427 * [taylor]: Taking taylor expansion of (/ 1 z) in t 12.427 * [taylor]: Taking taylor expansion of z in t 12.427 * [taylor]: Taking taylor expansion of (/ 1 x) in t 12.427 * [taylor]: Taking taylor expansion of x in t 12.427 * [taylor]: Taking taylor expansion of (/ 1 x) in t 12.427 * [taylor]: Taking taylor expansion of x in t 12.427 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in y 12.427 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 12.427 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in y 12.427 * [taylor]: Taking taylor expansion of (/ t y) in y 12.427 * [taylor]: Taking taylor expansion of t in y 12.427 * [taylor]: Taking taylor expansion of y in y 12.427 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 12.427 * [taylor]: Taking taylor expansion of (/ 1 z) in y 12.427 * [taylor]: Taking taylor expansion of z in y 12.427 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.427 * [taylor]: Taking taylor expansion of x in y 12.427 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.427 * [taylor]: Taking taylor expansion of x in y 12.427 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in y 12.428 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 12.428 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in y 12.428 * [taylor]: Taking taylor expansion of (/ t y) in y 12.428 * [taylor]: Taking taylor expansion of t in y 12.428 * [taylor]: Taking taylor expansion of y in y 12.428 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 12.428 * [taylor]: Taking taylor expansion of (/ 1 z) in y 12.428 * [taylor]: Taking taylor expansion of z in y 12.428 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.428 * [taylor]: Taking taylor expansion of x in y 12.428 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.428 * [taylor]: Taking taylor expansion of x in y 12.428 * [taylor]: Taking taylor expansion of (- (/ t z) (/ t x)) in t 12.428 * [taylor]: Taking taylor expansion of (/ t z) in t 12.428 * [taylor]: Taking taylor expansion of t in t 12.428 * [taylor]: Taking taylor expansion of z in t 12.428 * [taylor]: Taking taylor expansion of (/ t x) in t 12.428 * [taylor]: Taking taylor expansion of t in t 12.428 * [taylor]: Taking taylor expansion of x in t 12.430 * [taylor]: Taking taylor expansion of (/ 1 x) in t 12.430 * [taylor]: Taking taylor expansion of x in t 12.430 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.430 * [taylor]: Taking taylor expansion of x in z 12.430 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 12.430 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.430 * [taylor]: Taking taylor expansion of z in z 12.430 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.430 * [taylor]: Taking taylor expansion of x in z 12.431 * [taylor]: Taking taylor expansion of 1 in x 12.433 * [taylor]: Taking taylor expansion of 0 in t 12.433 * [taylor]: Taking taylor expansion of 0 in z 12.433 * [taylor]: Taking taylor expansion of 0 in z 12.434 * [taylor]: Taking taylor expansion of 0 in z 12.434 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.434 * [taylor]: Taking taylor expansion of x in x 12.435 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 12.435 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.435 * [taylor]: Taking taylor expansion of x in x 12.436 * [approximate]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in (y t z x) around 0 12.436 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in x 12.436 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 12.436 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in x 12.436 * [taylor]: Taking taylor expansion of (/ t y) in x 12.436 * [taylor]: Taking taylor expansion of t in x 12.436 * [taylor]: Taking taylor expansion of y in x 12.437 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 12.437 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.437 * [taylor]: Taking taylor expansion of x in x 12.437 * [taylor]: Taking taylor expansion of (/ 1 z) in x 12.437 * [taylor]: Taking taylor expansion of z in x 12.437 * [taylor]: Taking taylor expansion of (/ -1 x) in x 12.437 * [taylor]: Taking taylor expansion of -1 in x 12.437 * [taylor]: Taking taylor expansion of x in x 12.437 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in z 12.438 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 12.438 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in z 12.438 * [taylor]: Taking taylor expansion of (/ t y) in z 12.438 * [taylor]: Taking taylor expansion of t in z 12.438 * [taylor]: Taking taylor expansion of y in z 12.438 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 12.440 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.440 * [taylor]: Taking taylor expansion of x in z 12.440 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.440 * [taylor]: Taking taylor expansion of z in z 12.441 * [taylor]: Taking taylor expansion of (/ -1 x) in z 12.441 * [taylor]: Taking taylor expansion of -1 in z 12.441 * [taylor]: Taking taylor expansion of x in z 12.441 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in t 12.441 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 12.441 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in t 12.441 * [taylor]: Taking taylor expansion of (/ t y) in t 12.441 * [taylor]: Taking taylor expansion of t in t 12.441 * [taylor]: Taking taylor expansion of y in t 12.441 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in t 12.441 * [taylor]: Taking taylor expansion of (/ 1 x) in t 12.441 * [taylor]: Taking taylor expansion of x in t 12.441 * [taylor]: Taking taylor expansion of (/ 1 z) in t 12.441 * [taylor]: Taking taylor expansion of z in t 12.441 * [taylor]: Taking taylor expansion of (/ -1 x) in t 12.441 * [taylor]: Taking taylor expansion of -1 in t 12.441 * [taylor]: Taking taylor expansion of x in t 12.441 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in y 12.442 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 12.442 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in y 12.442 * [taylor]: Taking taylor expansion of (/ t y) in y 12.442 * [taylor]: Taking taylor expansion of t in y 12.442 * [taylor]: Taking taylor expansion of y in y 12.442 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 12.442 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.442 * [taylor]: Taking taylor expansion of x in y 12.442 * [taylor]: Taking taylor expansion of (/ 1 z) in y 12.442 * [taylor]: Taking taylor expansion of z in y 12.442 * [taylor]: Taking taylor expansion of (/ -1 x) in y 12.442 * [taylor]: Taking taylor expansion of -1 in y 12.442 * [taylor]: Taking taylor expansion of x in y 12.442 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in y 12.442 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 12.442 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in y 12.442 * [taylor]: Taking taylor expansion of (/ t y) in y 12.442 * [taylor]: Taking taylor expansion of t in y 12.442 * [taylor]: Taking taylor expansion of y in y 12.442 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 12.442 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.442 * [taylor]: Taking taylor expansion of x in y 12.442 * [taylor]: Taking taylor expansion of (/ 1 z) in y 12.442 * [taylor]: Taking taylor expansion of z in y 12.442 * [taylor]: Taking taylor expansion of (/ -1 x) in y 12.442 * [taylor]: Taking taylor expansion of -1 in y 12.442 * [taylor]: Taking taylor expansion of x in y 12.443 * [taylor]: Taking taylor expansion of (- (/ t x) (/ t z)) in t 12.443 * [taylor]: Taking taylor expansion of (/ t x) in t 12.443 * [taylor]: Taking taylor expansion of t in t 12.443 * [taylor]: Taking taylor expansion of x in t 12.443 * [taylor]: Taking taylor expansion of (/ t z) in t 12.443 * [taylor]: Taking taylor expansion of t in t 12.443 * [taylor]: Taking taylor expansion of z in t 12.444 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in t 12.445 * [taylor]: Taking taylor expansion of (/ 1 x) in t 12.445 * [taylor]: Taking taylor expansion of x in t 12.445 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z 12.445 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.445 * [taylor]: Taking taylor expansion of x in z 12.445 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 12.445 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.445 * [taylor]: Taking taylor expansion of x in z 12.445 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.445 * [taylor]: Taking taylor expansion of z in z 12.446 * [taylor]: Taking taylor expansion of -1 in x 12.448 * [taylor]: Taking taylor expansion of 0 in t 12.448 * [taylor]: Taking taylor expansion of 0 in z 12.448 * [taylor]: Taking taylor expansion of 0 in z 12.449 * [taylor]: Taking taylor expansion of 0 in z 12.449 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 12.449 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.449 * [taylor]: Taking taylor expansion of x in x 12.450 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.450 * [taylor]: Taking taylor expansion of x in x 12.452 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 2 1) 12.452 * [approximate]: Taking taylor expansion of (fma (/ y t) (- z x) x) in (y t z x) around 0 12.452 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in x 12.452 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 12.452 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in x 12.452 * [taylor]: Taking taylor expansion of (/ y t) in x 12.452 * [taylor]: Taking taylor expansion of y in x 12.452 * [taylor]: Taking taylor expansion of t in x 12.452 * [taylor]: Taking taylor expansion of (- z x) in x 12.452 * [taylor]: Taking taylor expansion of z in x 12.452 * [taylor]: Taking taylor expansion of x in x 12.452 * [taylor]: Taking taylor expansion of x in x 12.452 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in z 12.452 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 12.452 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in z 12.452 * [taylor]: Taking taylor expansion of (/ y t) in z 12.452 * [taylor]: Taking taylor expansion of y in z 12.452 * [taylor]: Taking taylor expansion of t in z 12.452 * [taylor]: Taking taylor expansion of (- z x) in z 12.452 * [taylor]: Taking taylor expansion of z in z 12.452 * [taylor]: Taking taylor expansion of x in z 12.452 * [taylor]: Taking taylor expansion of x in z 12.452 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in t 12.452 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 12.452 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in t 12.453 * [taylor]: Taking taylor expansion of (/ y t) in t 12.453 * [taylor]: Taking taylor expansion of y in t 12.453 * [taylor]: Taking taylor expansion of t in t 12.453 * [taylor]: Taking taylor expansion of (- z x) in t 12.453 * [taylor]: Taking taylor expansion of z in t 12.453 * [taylor]: Taking taylor expansion of x in t 12.453 * [taylor]: Taking taylor expansion of x in t 12.453 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in y 12.453 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 12.453 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in y 12.453 * [taylor]: Taking taylor expansion of (/ y t) in y 12.453 * [taylor]: Taking taylor expansion of y in y 12.453 * [taylor]: Taking taylor expansion of t in y 12.453 * [taylor]: Taking taylor expansion of (- z x) in y 12.453 * [taylor]: Taking taylor expansion of z in y 12.453 * [taylor]: Taking taylor expansion of x in y 12.453 * [taylor]: Taking taylor expansion of x in y 12.453 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in y 12.453 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 12.453 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in y 12.453 * [taylor]: Taking taylor expansion of (/ y t) in y 12.453 * [taylor]: Taking taylor expansion of y in y 12.453 * [taylor]: Taking taylor expansion of t in y 12.453 * [taylor]: Taking taylor expansion of (- z x) in y 12.453 * [taylor]: Taking taylor expansion of z in y 12.453 * [taylor]: Taking taylor expansion of x in y 12.453 * [taylor]: Taking taylor expansion of x in y 12.453 * [taylor]: Taking taylor expansion of x in t 12.454 * [taylor]: Taking taylor expansion of (- (/ z t) (/ x t)) in t 12.454 * [taylor]: Taking taylor expansion of (/ z t) in t 12.454 * [taylor]: Taking taylor expansion of z in t 12.454 * [taylor]: Taking taylor expansion of t in t 12.454 * [taylor]: Taking taylor expansion of (/ x t) in t 12.454 * [taylor]: Taking taylor expansion of x in t 12.454 * [taylor]: Taking taylor expansion of t in t 12.454 * [taylor]: Taking taylor expansion of (- z x) in z 12.454 * [taylor]: Taking taylor expansion of z in z 12.454 * [taylor]: Taking taylor expansion of x in z 12.454 * [taylor]: Taking taylor expansion of (- x) in x 12.454 * [taylor]: Taking taylor expansion of x in x 12.454 * [taylor]: Taking taylor expansion of x in z 12.454 * [taylor]: Taking taylor expansion of x in x 12.455 * [taylor]: Taking taylor expansion of 0 in t 12.457 * [taylor]: Taking taylor expansion of 0 in z 12.457 * [taylor]: Taking taylor expansion of 0 in x 12.457 * [taylor]: Taking taylor expansion of 0 in z 12.457 * [taylor]: Taking taylor expansion of 0 in x 12.458 * [taylor]: Taking taylor expansion of 1 in x 12.458 * [taylor]: Taking taylor expansion of 0 in x 12.459 * [approximate]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in (y t z x) around 0 12.459 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in x 12.459 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 12.459 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in x 12.459 * [taylor]: Taking taylor expansion of (/ t y) in x 12.459 * [taylor]: Taking taylor expansion of t in x 12.459 * [taylor]: Taking taylor expansion of y in x 12.459 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 12.459 * [taylor]: Taking taylor expansion of (/ 1 z) in x 12.459 * [taylor]: Taking taylor expansion of z in x 12.459 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.459 * [taylor]: Taking taylor expansion of x in x 12.460 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.460 * [taylor]: Taking taylor expansion of x in x 12.460 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in z 12.460 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 12.460 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in z 12.460 * [taylor]: Taking taylor expansion of (/ t y) in z 12.460 * [taylor]: Taking taylor expansion of t in z 12.460 * [taylor]: Taking taylor expansion of y in z 12.460 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 12.460 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.460 * [taylor]: Taking taylor expansion of z in z 12.461 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.461 * [taylor]: Taking taylor expansion of x in z 12.461 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.461 * [taylor]: Taking taylor expansion of x in z 12.461 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in t 12.461 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 12.461 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in t 12.461 * [taylor]: Taking taylor expansion of (/ t y) in t 12.461 * [taylor]: Taking taylor expansion of t in t 12.461 * [taylor]: Taking taylor expansion of y in t 12.461 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in t 12.461 * [taylor]: Taking taylor expansion of (/ 1 z) in t 12.461 * [taylor]: Taking taylor expansion of z in t 12.461 * [taylor]: Taking taylor expansion of (/ 1 x) in t 12.461 * [taylor]: Taking taylor expansion of x in t 12.461 * [taylor]: Taking taylor expansion of (/ 1 x) in t 12.461 * [taylor]: Taking taylor expansion of x in t 12.461 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in y 12.461 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 12.461 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in y 12.461 * [taylor]: Taking taylor expansion of (/ t y) in y 12.461 * [taylor]: Taking taylor expansion of t in y 12.461 * [taylor]: Taking taylor expansion of y in y 12.461 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 12.461 * [taylor]: Taking taylor expansion of (/ 1 z) in y 12.461 * [taylor]: Taking taylor expansion of z in y 12.461 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.461 * [taylor]: Taking taylor expansion of x in y 12.461 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.461 * [taylor]: Taking taylor expansion of x in y 12.461 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in y 12.462 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 12.462 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in y 12.462 * [taylor]: Taking taylor expansion of (/ t y) in y 12.462 * [taylor]: Taking taylor expansion of t in y 12.462 * [taylor]: Taking taylor expansion of y in y 12.462 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 12.462 * [taylor]: Taking taylor expansion of (/ 1 z) in y 12.462 * [taylor]: Taking taylor expansion of z in y 12.462 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.462 * [taylor]: Taking taylor expansion of x in y 12.462 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.462 * [taylor]: Taking taylor expansion of x in y 12.462 * [taylor]: Taking taylor expansion of (- (/ t z) (/ t x)) in t 12.462 * [taylor]: Taking taylor expansion of (/ t z) in t 12.462 * [taylor]: Taking taylor expansion of t in t 12.462 * [taylor]: Taking taylor expansion of z in t 12.462 * [taylor]: Taking taylor expansion of (/ t x) in t 12.462 * [taylor]: Taking taylor expansion of t in t 12.462 * [taylor]: Taking taylor expansion of x in t 12.464 * [taylor]: Taking taylor expansion of (/ 1 x) in t 12.464 * [taylor]: Taking taylor expansion of x in t 12.464 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.464 * [taylor]: Taking taylor expansion of x in z 12.464 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 12.464 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.464 * [taylor]: Taking taylor expansion of z in z 12.464 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.464 * [taylor]: Taking taylor expansion of x in z 12.465 * [taylor]: Taking taylor expansion of 1 in x 12.467 * [taylor]: Taking taylor expansion of 0 in t 12.467 * [taylor]: Taking taylor expansion of 0 in z 12.467 * [taylor]: Taking taylor expansion of 0 in z 12.468 * [taylor]: Taking taylor expansion of 0 in z 12.468 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.468 * [taylor]: Taking taylor expansion of x in x 12.469 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 12.469 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.469 * [taylor]: Taking taylor expansion of x in x 12.470 * [approximate]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in (y t z x) around 0 12.470 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in x 12.471 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 12.471 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in x 12.471 * [taylor]: Taking taylor expansion of (/ t y) in x 12.471 * [taylor]: Taking taylor expansion of t in x 12.471 * [taylor]: Taking taylor expansion of y in x 12.471 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 12.471 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.471 * [taylor]: Taking taylor expansion of x in x 12.471 * [taylor]: Taking taylor expansion of (/ 1 z) in x 12.471 * [taylor]: Taking taylor expansion of z in x 12.471 * [taylor]: Taking taylor expansion of (/ -1 x) in x 12.471 * [taylor]: Taking taylor expansion of -1 in x 12.471 * [taylor]: Taking taylor expansion of x in x 12.472 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in z 12.472 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 12.472 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in z 12.472 * [taylor]: Taking taylor expansion of (/ t y) in z 12.472 * [taylor]: Taking taylor expansion of t in z 12.472 * [taylor]: Taking taylor expansion of y in z 12.472 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 12.472 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.472 * [taylor]: Taking taylor expansion of x in z 12.472 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.472 * [taylor]: Taking taylor expansion of z in z 12.472 * [taylor]: Taking taylor expansion of (/ -1 x) in z 12.472 * [taylor]: Taking taylor expansion of -1 in z 12.472 * [taylor]: Taking taylor expansion of x in z 12.472 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in t 12.472 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 12.472 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in t 12.472 * [taylor]: Taking taylor expansion of (/ t y) in t 12.472 * [taylor]: Taking taylor expansion of t in t 12.472 * [taylor]: Taking taylor expansion of y in t 12.473 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in t 12.473 * [taylor]: Taking taylor expansion of (/ 1 x) in t 12.473 * [taylor]: Taking taylor expansion of x in t 12.473 * [taylor]: Taking taylor expansion of (/ 1 z) in t 12.473 * [taylor]: Taking taylor expansion of z in t 12.473 * [taylor]: Taking taylor expansion of (/ -1 x) in t 12.473 * [taylor]: Taking taylor expansion of -1 in t 12.473 * [taylor]: Taking taylor expansion of x in t 12.473 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in y 12.473 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 12.473 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in y 12.473 * [taylor]: Taking taylor expansion of (/ t y) in y 12.473 * [taylor]: Taking taylor expansion of t in y 12.473 * [taylor]: Taking taylor expansion of y in y 12.473 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 12.473 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.473 * [taylor]: Taking taylor expansion of x in y 12.473 * [taylor]: Taking taylor expansion of (/ 1 z) in y 12.473 * [taylor]: Taking taylor expansion of z in y 12.473 * [taylor]: Taking taylor expansion of (/ -1 x) in y 12.473 * [taylor]: Taking taylor expansion of -1 in y 12.473 * [taylor]: Taking taylor expansion of x in y 12.473 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in y 12.473 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 12.473 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in y 12.473 * [taylor]: Taking taylor expansion of (/ t y) in y 12.473 * [taylor]: Taking taylor expansion of t in y 12.473 * [taylor]: Taking taylor expansion of y in y 12.473 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 12.473 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.473 * [taylor]: Taking taylor expansion of x in y 12.473 * [taylor]: Taking taylor expansion of (/ 1 z) in y 12.473 * [taylor]: Taking taylor expansion of z in y 12.473 * [taylor]: Taking taylor expansion of (/ -1 x) in y 12.473 * [taylor]: Taking taylor expansion of -1 in y 12.473 * [taylor]: Taking taylor expansion of x in y 12.474 * [taylor]: Taking taylor expansion of (- (/ t x) (/ t z)) in t 12.474 * [taylor]: Taking taylor expansion of (/ t x) in t 12.474 * [taylor]: Taking taylor expansion of t in t 12.474 * [taylor]: Taking taylor expansion of x in t 12.474 * [taylor]: Taking taylor expansion of (/ t z) in t 12.474 * [taylor]: Taking taylor expansion of t in t 12.474 * [taylor]: Taking taylor expansion of z in t 12.475 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in t 12.475 * [taylor]: Taking taylor expansion of (/ 1 x) in t 12.475 * [taylor]: Taking taylor expansion of x in t 12.476 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z 12.476 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.476 * [taylor]: Taking taylor expansion of x in z 12.476 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 12.476 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.476 * [taylor]: Taking taylor expansion of x in z 12.476 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.476 * [taylor]: Taking taylor expansion of z in z 12.477 * [taylor]: Taking taylor expansion of -1 in x 12.479 * [taylor]: Taking taylor expansion of 0 in t 12.479 * [taylor]: Taking taylor expansion of 0 in z 12.479 * [taylor]: Taking taylor expansion of 0 in z 12.480 * [taylor]: Taking taylor expansion of 0 in z 12.480 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 12.480 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.480 * [taylor]: Taking taylor expansion of x in x 12.481 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.481 * [taylor]: Taking taylor expansion of x in x 12.483 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1 1) 12.483 * [approximate]: Taking taylor expansion of (fma (/ y t) (- z x) x) in (y t z x) around 0 12.483 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in x 12.483 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 12.483 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in x 12.483 * [taylor]: Taking taylor expansion of (/ y t) in x 12.483 * [taylor]: Taking taylor expansion of y in x 12.483 * [taylor]: Taking taylor expansion of t in x 12.483 * [taylor]: Taking taylor expansion of (- z x) in x 12.483 * [taylor]: Taking taylor expansion of z in x 12.483 * [taylor]: Taking taylor expansion of x in x 12.483 * [taylor]: Taking taylor expansion of x in x 12.483 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in z 12.483 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 12.483 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in z 12.483 * [taylor]: Taking taylor expansion of (/ y t) in z 12.483 * [taylor]: Taking taylor expansion of y in z 12.483 * [taylor]: Taking taylor expansion of t in z 12.483 * [taylor]: Taking taylor expansion of (- z x) in z 12.483 * [taylor]: Taking taylor expansion of z in z 12.483 * [taylor]: Taking taylor expansion of x in z 12.483 * [taylor]: Taking taylor expansion of x in z 12.483 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in t 12.484 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 12.484 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in t 12.484 * [taylor]: Taking taylor expansion of (/ y t) in t 12.484 * [taylor]: Taking taylor expansion of y in t 12.484 * [taylor]: Taking taylor expansion of t in t 12.484 * [taylor]: Taking taylor expansion of (- z x) in t 12.484 * [taylor]: Taking taylor expansion of z in t 12.484 * [taylor]: Taking taylor expansion of x in t 12.484 * [taylor]: Taking taylor expansion of x in t 12.484 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in y 12.484 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 12.484 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in y 12.484 * [taylor]: Taking taylor expansion of (/ y t) in y 12.484 * [taylor]: Taking taylor expansion of y in y 12.484 * [taylor]: Taking taylor expansion of t in y 12.484 * [taylor]: Taking taylor expansion of (- z x) in y 12.484 * [taylor]: Taking taylor expansion of z in y 12.484 * [taylor]: Taking taylor expansion of x in y 12.484 * [taylor]: Taking taylor expansion of x in y 12.484 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in y 12.484 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 12.484 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in y 12.484 * [taylor]: Taking taylor expansion of (/ y t) in y 12.484 * [taylor]: Taking taylor expansion of y in y 12.484 * [taylor]: Taking taylor expansion of t in y 12.484 * [taylor]: Taking taylor expansion of (- z x) in y 12.484 * [taylor]: Taking taylor expansion of z in y 12.484 * [taylor]: Taking taylor expansion of x in y 12.484 * [taylor]: Taking taylor expansion of x in y 12.484 * [taylor]: Taking taylor expansion of x in t 12.484 * [taylor]: Taking taylor expansion of (- (/ z t) (/ x t)) in t 12.484 * [taylor]: Taking taylor expansion of (/ z t) in t 12.484 * [taylor]: Taking taylor expansion of z in t 12.485 * [taylor]: Taking taylor expansion of t in t 12.485 * [taylor]: Taking taylor expansion of (/ x t) in t 12.485 * [taylor]: Taking taylor expansion of x in t 12.485 * [taylor]: Taking taylor expansion of t in t 12.485 * [taylor]: Taking taylor expansion of (- z x) in z 12.485 * [taylor]: Taking taylor expansion of z in z 12.485 * [taylor]: Taking taylor expansion of x in z 12.485 * [taylor]: Taking taylor expansion of (- x) in x 12.485 * [taylor]: Taking taylor expansion of x in x 12.485 * [taylor]: Taking taylor expansion of x in z 12.485 * [taylor]: Taking taylor expansion of x in x 12.486 * [taylor]: Taking taylor expansion of 0 in t 12.488 * [taylor]: Taking taylor expansion of 0 in z 12.488 * [taylor]: Taking taylor expansion of 0 in x 12.488 * [taylor]: Taking taylor expansion of 0 in z 12.488 * [taylor]: Taking taylor expansion of 0 in x 12.489 * [taylor]: Taking taylor expansion of 1 in x 12.489 * [taylor]: Taking taylor expansion of 0 in x 12.490 * [approximate]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in (y t z x) around 0 12.490 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in x 12.490 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 12.490 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in x 12.490 * [taylor]: Taking taylor expansion of (/ t y) in x 12.490 * [taylor]: Taking taylor expansion of t in x 12.490 * [taylor]: Taking taylor expansion of y in x 12.490 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 12.490 * [taylor]: Taking taylor expansion of (/ 1 z) in x 12.490 * [taylor]: Taking taylor expansion of z in x 12.490 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.490 * [taylor]: Taking taylor expansion of x in x 12.491 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.491 * [taylor]: Taking taylor expansion of x in x 12.491 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in z 12.491 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 12.491 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in z 12.491 * [taylor]: Taking taylor expansion of (/ t y) in z 12.491 * [taylor]: Taking taylor expansion of t in z 12.491 * [taylor]: Taking taylor expansion of y in z 12.491 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 12.491 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.491 * [taylor]: Taking taylor expansion of z in z 12.492 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.492 * [taylor]: Taking taylor expansion of x in z 12.492 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.492 * [taylor]: Taking taylor expansion of x in z 12.492 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in t 12.492 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 12.492 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in t 12.492 * [taylor]: Taking taylor expansion of (/ t y) in t 12.492 * [taylor]: Taking taylor expansion of t in t 12.492 * [taylor]: Taking taylor expansion of y in t 12.492 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in t 12.492 * [taylor]: Taking taylor expansion of (/ 1 z) in t 12.492 * [taylor]: Taking taylor expansion of z in t 12.492 * [taylor]: Taking taylor expansion of (/ 1 x) in t 12.492 * [taylor]: Taking taylor expansion of x in t 12.492 * [taylor]: Taking taylor expansion of (/ 1 x) in t 12.492 * [taylor]: Taking taylor expansion of x in t 12.492 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in y 12.492 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 12.492 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in y 12.492 * [taylor]: Taking taylor expansion of (/ t y) in y 12.492 * [taylor]: Taking taylor expansion of t in y 12.492 * [taylor]: Taking taylor expansion of y in y 12.492 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 12.492 * [taylor]: Taking taylor expansion of (/ 1 z) in y 12.492 * [taylor]: Taking taylor expansion of z in y 12.492 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.492 * [taylor]: Taking taylor expansion of x in y 12.493 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.493 * [taylor]: Taking taylor expansion of x in y 12.493 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in y 12.493 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 12.493 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in y 12.493 * [taylor]: Taking taylor expansion of (/ t y) in y 12.493 * [taylor]: Taking taylor expansion of t in y 12.493 * [taylor]: Taking taylor expansion of y in y 12.493 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 12.493 * [taylor]: Taking taylor expansion of (/ 1 z) in y 12.493 * [taylor]: Taking taylor expansion of z in y 12.493 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.493 * [taylor]: Taking taylor expansion of x in y 12.493 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.493 * [taylor]: Taking taylor expansion of x in y 12.493 * [taylor]: Taking taylor expansion of (- (/ t z) (/ t x)) in t 12.493 * [taylor]: Taking taylor expansion of (/ t z) in t 12.493 * [taylor]: Taking taylor expansion of t in t 12.493 * [taylor]: Taking taylor expansion of z in t 12.493 * [taylor]: Taking taylor expansion of (/ t x) in t 12.493 * [taylor]: Taking taylor expansion of t in t 12.493 * [taylor]: Taking taylor expansion of x in t 12.495 * [taylor]: Taking taylor expansion of (/ 1 x) in t 12.495 * [taylor]: Taking taylor expansion of x in t 12.495 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.495 * [taylor]: Taking taylor expansion of x in z 12.495 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 12.495 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.495 * [taylor]: Taking taylor expansion of z in z 12.495 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.496 * [taylor]: Taking taylor expansion of x in z 12.496 * [taylor]: Taking taylor expansion of 1 in x 12.498 * [taylor]: Taking taylor expansion of 0 in t 12.498 * [taylor]: Taking taylor expansion of 0 in z 12.498 * [taylor]: Taking taylor expansion of 0 in z 12.499 * [taylor]: Taking taylor expansion of 0 in z 12.499 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.499 * [taylor]: Taking taylor expansion of x in x 12.500 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 12.500 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.500 * [taylor]: Taking taylor expansion of x in x 12.501 * [approximate]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in (y t z x) around 0 12.501 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in x 12.501 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 12.501 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in x 12.502 * [taylor]: Taking taylor expansion of (/ t y) in x 12.502 * [taylor]: Taking taylor expansion of t in x 12.502 * [taylor]: Taking taylor expansion of y in x 12.502 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 12.502 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.502 * [taylor]: Taking taylor expansion of x in x 12.502 * [taylor]: Taking taylor expansion of (/ 1 z) in x 12.502 * [taylor]: Taking taylor expansion of z in x 12.502 * [taylor]: Taking taylor expansion of (/ -1 x) in x 12.502 * [taylor]: Taking taylor expansion of -1 in x 12.502 * [taylor]: Taking taylor expansion of x in x 12.502 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in z 12.503 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 12.503 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in z 12.503 * [taylor]: Taking taylor expansion of (/ t y) in z 12.503 * [taylor]: Taking taylor expansion of t in z 12.503 * [taylor]: Taking taylor expansion of y in z 12.503 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 12.503 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.503 * [taylor]: Taking taylor expansion of x in z 12.503 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.503 * [taylor]: Taking taylor expansion of z in z 12.503 * [taylor]: Taking taylor expansion of (/ -1 x) in z 12.503 * [taylor]: Taking taylor expansion of -1 in z 12.503 * [taylor]: Taking taylor expansion of x in z 12.503 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in t 12.503 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 12.503 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in t 12.503 * [taylor]: Taking taylor expansion of (/ t y) in t 12.503 * [taylor]: Taking taylor expansion of t in t 12.503 * [taylor]: Taking taylor expansion of y in t 12.503 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in t 12.503 * [taylor]: Taking taylor expansion of (/ 1 x) in t 12.503 * [taylor]: Taking taylor expansion of x in t 12.504 * [taylor]: Taking taylor expansion of (/ 1 z) in t 12.504 * [taylor]: Taking taylor expansion of z in t 12.504 * [taylor]: Taking taylor expansion of (/ -1 x) in t 12.504 * [taylor]: Taking taylor expansion of -1 in t 12.504 * [taylor]: Taking taylor expansion of x in t 12.504 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in y 12.504 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 12.504 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in y 12.504 * [taylor]: Taking taylor expansion of (/ t y) in y 12.504 * [taylor]: Taking taylor expansion of t in y 12.504 * [taylor]: Taking taylor expansion of y in y 12.504 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 12.504 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.504 * [taylor]: Taking taylor expansion of x in y 12.504 * [taylor]: Taking taylor expansion of (/ 1 z) in y 12.504 * [taylor]: Taking taylor expansion of z in y 12.504 * [taylor]: Taking taylor expansion of (/ -1 x) in y 12.504 * [taylor]: Taking taylor expansion of -1 in y 12.504 * [taylor]: Taking taylor expansion of x in y 12.504 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in y 12.504 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 12.504 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in y 12.504 * [taylor]: Taking taylor expansion of (/ t y) in y 12.504 * [taylor]: Taking taylor expansion of t in y 12.504 * [taylor]: Taking taylor expansion of y in y 12.504 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 12.504 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.504 * [taylor]: Taking taylor expansion of x in y 12.505 * [taylor]: Taking taylor expansion of (/ 1 z) in y 12.505 * [taylor]: Taking taylor expansion of z in y 12.505 * [taylor]: Taking taylor expansion of (/ -1 x) in y 12.505 * [taylor]: Taking taylor expansion of -1 in y 12.505 * [taylor]: Taking taylor expansion of x in y 12.505 * [taylor]: Taking taylor expansion of (- (/ t x) (/ t z)) in t 12.505 * [taylor]: Taking taylor expansion of (/ t x) in t 12.505 * [taylor]: Taking taylor expansion of t in t 12.505 * [taylor]: Taking taylor expansion of x in t 12.505 * [taylor]: Taking taylor expansion of (/ t z) in t 12.505 * [taylor]: Taking taylor expansion of t in t 12.505 * [taylor]: Taking taylor expansion of z in t 12.507 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in t 12.507 * [taylor]: Taking taylor expansion of (/ 1 x) in t 12.507 * [taylor]: Taking taylor expansion of x in t 12.507 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z 12.507 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.507 * [taylor]: Taking taylor expansion of x in z 12.507 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 12.507 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.507 * [taylor]: Taking taylor expansion of x in z 12.507 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.507 * [taylor]: Taking taylor expansion of z in z 12.508 * [taylor]: Taking taylor expansion of -1 in x 12.510 * [taylor]: Taking taylor expansion of 0 in t 12.510 * [taylor]: Taking taylor expansion of 0 in z 12.510 * [taylor]: Taking taylor expansion of 0 in z 12.511 * [taylor]: Taking taylor expansion of 0 in z 12.511 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 12.511 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.511 * [taylor]: Taking taylor expansion of x in x 12.513 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.513 * [taylor]: Taking taylor expansion of x in x 12.514 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1) 12.514 * [approximate]: Taking taylor expansion of (fma (/ y t) (- z x) x) in (y t z x) around 0 12.514 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in x 12.514 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 12.514 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in x 12.514 * [taylor]: Taking taylor expansion of (/ y t) in x 12.514 * [taylor]: Taking taylor expansion of y in x 12.514 * [taylor]: Taking taylor expansion of t in x 12.514 * [taylor]: Taking taylor expansion of (- z x) in x 12.514 * [taylor]: Taking taylor expansion of z in x 12.514 * [taylor]: Taking taylor expansion of x in x 12.514 * [taylor]: Taking taylor expansion of x in x 12.514 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in z 12.514 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 12.514 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in z 12.514 * [taylor]: Taking taylor expansion of (/ y t) in z 12.514 * [taylor]: Taking taylor expansion of y in z 12.514 * [taylor]: Taking taylor expansion of t in z 12.514 * [taylor]: Taking taylor expansion of (- z x) in z 12.515 * [taylor]: Taking taylor expansion of z in z 12.515 * [taylor]: Taking taylor expansion of x in z 12.515 * [taylor]: Taking taylor expansion of x in z 12.515 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in t 12.515 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 12.515 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in t 12.515 * [taylor]: Taking taylor expansion of (/ y t) in t 12.515 * [taylor]: Taking taylor expansion of y in t 12.515 * [taylor]: Taking taylor expansion of t in t 12.515 * [taylor]: Taking taylor expansion of (- z x) in t 12.515 * [taylor]: Taking taylor expansion of z in t 12.515 * [taylor]: Taking taylor expansion of x in t 12.515 * [taylor]: Taking taylor expansion of x in t 12.515 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in y 12.515 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 12.515 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in y 12.515 * [taylor]: Taking taylor expansion of (/ y t) in y 12.515 * [taylor]: Taking taylor expansion of y in y 12.515 * [taylor]: Taking taylor expansion of t in y 12.515 * [taylor]: Taking taylor expansion of (- z x) in y 12.515 * [taylor]: Taking taylor expansion of z in y 12.515 * [taylor]: Taking taylor expansion of x in y 12.515 * [taylor]: Taking taylor expansion of x in y 12.515 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in y 12.515 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 12.515 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in y 12.515 * [taylor]: Taking taylor expansion of (/ y t) in y 12.515 * [taylor]: Taking taylor expansion of y in y 12.515 * [taylor]: Taking taylor expansion of t in y 12.515 * [taylor]: Taking taylor expansion of (- z x) in y 12.515 * [taylor]: Taking taylor expansion of z in y 12.515 * [taylor]: Taking taylor expansion of x in y 12.515 * [taylor]: Taking taylor expansion of x in y 12.515 * [taylor]: Taking taylor expansion of x in t 12.516 * [taylor]: Taking taylor expansion of (- (/ z t) (/ x t)) in t 12.516 * [taylor]: Taking taylor expansion of (/ z t) in t 12.516 * [taylor]: Taking taylor expansion of z in t 12.516 * [taylor]: Taking taylor expansion of t in t 12.516 * [taylor]: Taking taylor expansion of (/ x t) in t 12.516 * [taylor]: Taking taylor expansion of x in t 12.516 * [taylor]: Taking taylor expansion of t in t 12.516 * [taylor]: Taking taylor expansion of (- z x) in z 12.516 * [taylor]: Taking taylor expansion of z in z 12.516 * [taylor]: Taking taylor expansion of x in z 12.516 * [taylor]: Taking taylor expansion of (- x) in x 12.516 * [taylor]: Taking taylor expansion of x in x 12.517 * [taylor]: Taking taylor expansion of x in z 12.517 * [taylor]: Taking taylor expansion of x in x 12.518 * [taylor]: Taking taylor expansion of 0 in t 12.519 * [taylor]: Taking taylor expansion of 0 in z 12.519 * [taylor]: Taking taylor expansion of 0 in x 12.519 * [taylor]: Taking taylor expansion of 0 in z 12.519 * [taylor]: Taking taylor expansion of 0 in x 12.520 * [taylor]: Taking taylor expansion of 1 in x 12.520 * [taylor]: Taking taylor expansion of 0 in x 12.521 * [approximate]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in (y t z x) around 0 12.521 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in x 12.521 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 12.521 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in x 12.521 * [taylor]: Taking taylor expansion of (/ t y) in x 12.521 * [taylor]: Taking taylor expansion of t in x 12.521 * [taylor]: Taking taylor expansion of y in x 12.521 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 12.521 * [taylor]: Taking taylor expansion of (/ 1 z) in x 12.521 * [taylor]: Taking taylor expansion of z in x 12.521 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.521 * [taylor]: Taking taylor expansion of x in x 12.522 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.522 * [taylor]: Taking taylor expansion of x in x 12.522 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in z 12.522 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 12.522 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in z 12.522 * [taylor]: Taking taylor expansion of (/ t y) in z 12.522 * [taylor]: Taking taylor expansion of t in z 12.522 * [taylor]: Taking taylor expansion of y in z 12.523 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 12.523 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.523 * [taylor]: Taking taylor expansion of z in z 12.523 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.523 * [taylor]: Taking taylor expansion of x in z 12.523 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.523 * [taylor]: Taking taylor expansion of x in z 12.523 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in t 12.523 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 12.523 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in t 12.523 * [taylor]: Taking taylor expansion of (/ t y) in t 12.523 * [taylor]: Taking taylor expansion of t in t 12.523 * [taylor]: Taking taylor expansion of y in t 12.523 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in t 12.523 * [taylor]: Taking taylor expansion of (/ 1 z) in t 12.523 * [taylor]: Taking taylor expansion of z in t 12.523 * [taylor]: Taking taylor expansion of (/ 1 x) in t 12.523 * [taylor]: Taking taylor expansion of x in t 12.523 * [taylor]: Taking taylor expansion of (/ 1 x) in t 12.523 * [taylor]: Taking taylor expansion of x in t 12.523 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in y 12.523 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 12.523 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in y 12.523 * [taylor]: Taking taylor expansion of (/ t y) in y 12.523 * [taylor]: Taking taylor expansion of t in y 12.523 * [taylor]: Taking taylor expansion of y in y 12.524 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 12.524 * [taylor]: Taking taylor expansion of (/ 1 z) in y 12.524 * [taylor]: Taking taylor expansion of z in y 12.524 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.524 * [taylor]: Taking taylor expansion of x in y 12.524 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.524 * [taylor]: Taking taylor expansion of x in y 12.524 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in y 12.524 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 12.524 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in y 12.524 * [taylor]: Taking taylor expansion of (/ t y) in y 12.524 * [taylor]: Taking taylor expansion of t in y 12.524 * [taylor]: Taking taylor expansion of y in y 12.524 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 12.524 * [taylor]: Taking taylor expansion of (/ 1 z) in y 12.524 * [taylor]: Taking taylor expansion of z in y 12.524 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.524 * [taylor]: Taking taylor expansion of x in y 12.524 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.524 * [taylor]: Taking taylor expansion of x in y 12.524 * [taylor]: Taking taylor expansion of (- (/ t z) (/ t x)) in t 12.524 * [taylor]: Taking taylor expansion of (/ t z) in t 12.524 * [taylor]: Taking taylor expansion of t in t 12.524 * [taylor]: Taking taylor expansion of z in t 12.524 * [taylor]: Taking taylor expansion of (/ t x) in t 12.524 * [taylor]: Taking taylor expansion of t in t 12.525 * [taylor]: Taking taylor expansion of x in t 12.526 * [taylor]: Taking taylor expansion of (/ 1 x) in t 12.526 * [taylor]: Taking taylor expansion of x in t 12.526 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.526 * [taylor]: Taking taylor expansion of x in z 12.526 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 12.526 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.526 * [taylor]: Taking taylor expansion of z in z 12.527 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.527 * [taylor]: Taking taylor expansion of x in z 12.527 * [taylor]: Taking taylor expansion of 1 in x 12.529 * [taylor]: Taking taylor expansion of 0 in t 12.529 * [taylor]: Taking taylor expansion of 0 in z 12.529 * [taylor]: Taking taylor expansion of 0 in z 12.530 * [taylor]: Taking taylor expansion of 0 in z 12.530 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.530 * [taylor]: Taking taylor expansion of x in x 12.531 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 12.531 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.531 * [taylor]: Taking taylor expansion of x in x 12.533 * [approximate]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in (y t z x) around 0 12.533 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in x 12.533 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 12.533 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in x 12.533 * [taylor]: Taking taylor expansion of (/ t y) in x 12.533 * [taylor]: Taking taylor expansion of t in x 12.533 * [taylor]: Taking taylor expansion of y in x 12.533 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 12.533 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.533 * [taylor]: Taking taylor expansion of x in x 12.533 * [taylor]: Taking taylor expansion of (/ 1 z) in x 12.533 * [taylor]: Taking taylor expansion of z in x 12.533 * [taylor]: Taking taylor expansion of (/ -1 x) in x 12.533 * [taylor]: Taking taylor expansion of -1 in x 12.533 * [taylor]: Taking taylor expansion of x in x 12.534 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in z 12.534 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 12.534 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in z 12.534 * [taylor]: Taking taylor expansion of (/ t y) in z 12.534 * [taylor]: Taking taylor expansion of t in z 12.534 * [taylor]: Taking taylor expansion of y in z 12.534 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 12.534 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.534 * [taylor]: Taking taylor expansion of x in z 12.534 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.534 * [taylor]: Taking taylor expansion of z in z 12.534 * [taylor]: Taking taylor expansion of (/ -1 x) in z 12.535 * [taylor]: Taking taylor expansion of -1 in z 12.535 * [taylor]: Taking taylor expansion of x in z 12.535 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in t 12.535 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 12.535 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in t 12.535 * [taylor]: Taking taylor expansion of (/ t y) in t 12.535 * [taylor]: Taking taylor expansion of t in t 12.535 * [taylor]: Taking taylor expansion of y in t 12.535 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in t 12.535 * [taylor]: Taking taylor expansion of (/ 1 x) in t 12.535 * [taylor]: Taking taylor expansion of x in t 12.535 * [taylor]: Taking taylor expansion of (/ 1 z) in t 12.535 * [taylor]: Taking taylor expansion of z in t 12.535 * [taylor]: Taking taylor expansion of (/ -1 x) in t 12.535 * [taylor]: Taking taylor expansion of -1 in t 12.535 * [taylor]: Taking taylor expansion of x in t 12.535 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in y 12.535 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 12.535 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in y 12.535 * [taylor]: Taking taylor expansion of (/ t y) in y 12.535 * [taylor]: Taking taylor expansion of t in y 12.535 * [taylor]: Taking taylor expansion of y in y 12.535 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 12.535 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.535 * [taylor]: Taking taylor expansion of x in y 12.535 * [taylor]: Taking taylor expansion of (/ 1 z) in y 12.535 * [taylor]: Taking taylor expansion of z in y 12.535 * [taylor]: Taking taylor expansion of (/ -1 x) in y 12.535 * [taylor]: Taking taylor expansion of -1 in y 12.535 * [taylor]: Taking taylor expansion of x in y 12.535 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in y 12.535 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 12.535 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in y 12.536 * [taylor]: Taking taylor expansion of (/ t y) in y 12.536 * [taylor]: Taking taylor expansion of t in y 12.536 * [taylor]: Taking taylor expansion of y in y 12.536 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 12.536 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.536 * [taylor]: Taking taylor expansion of x in y 12.536 * [taylor]: Taking taylor expansion of (/ 1 z) in y 12.536 * [taylor]: Taking taylor expansion of z in y 12.536 * [taylor]: Taking taylor expansion of (/ -1 x) in y 12.536 * [taylor]: Taking taylor expansion of -1 in y 12.536 * [taylor]: Taking taylor expansion of x in y 12.536 * [taylor]: Taking taylor expansion of (- (/ t x) (/ t z)) in t 12.536 * [taylor]: Taking taylor expansion of (/ t x) in t 12.536 * [taylor]: Taking taylor expansion of t in t 12.536 * [taylor]: Taking taylor expansion of x in t 12.536 * [taylor]: Taking taylor expansion of (/ t z) in t 12.536 * [taylor]: Taking taylor expansion of t in t 12.536 * [taylor]: Taking taylor expansion of z in t 12.538 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in t 12.538 * [taylor]: Taking taylor expansion of (/ 1 x) in t 12.538 * [taylor]: Taking taylor expansion of x in t 12.538 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z 12.538 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.538 * [taylor]: Taking taylor expansion of x in z 12.538 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 12.538 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.538 * [taylor]: Taking taylor expansion of x in z 12.538 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.538 * [taylor]: Taking taylor expansion of z in z 12.539 * [taylor]: Taking taylor expansion of -1 in x 12.541 * [taylor]: Taking taylor expansion of 0 in t 12.541 * [taylor]: Taking taylor expansion of 0 in z 12.542 * [taylor]: Taking taylor expansion of 0 in z 12.542 * [taylor]: Taking taylor expansion of 0 in z 12.542 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 12.542 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.542 * [taylor]: Taking taylor expansion of x in x 12.546 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.546 * [taylor]: Taking taylor expansion of x in x 12.548 * * * [progress]: simplifying candidates 12.548 * [simplify]: Simplifying using # : (expm1 (fma (/ y t) (- z x) x)) (log1p (fma (/ y t) (- z x) x)) (* (/ y t) (- z x)) (log (fma (/ y t) (- z x) x)) (exp (fma (/ y t) (- z x) x)) (* (cbrt (fma (/ y t) (- z x) x)) (cbrt (fma (/ y t) (- z x) x))) (cbrt (fma (/ y t) (- z x) x)) (* (* (fma (/ y t) (- z x) x) (fma (/ y t) (- z x) x)) (fma (/ y t) (- z x) x)) (sqrt (fma (/ y t) (- z x) x)) (sqrt (fma (/ y t) (- z x) x)) (expm1 (fma (/ y t) (- z x) x)) (log1p (fma (/ y t) (- z x) x)) (* (/ y t) (- z x)) (log (fma (/ y t) (- z x) x)) (exp (fma (/ y t) (- z x) x)) (* (cbrt (fma (/ y t) (- z x) x)) (cbrt (fma (/ y t) (- z x) x))) (cbrt (fma (/ y t) (- z x) x)) (* (* (fma (/ y t) (- z x) x) (fma (/ y t) (- z x) x)) (fma (/ y t) (- z x) x)) (sqrt (fma (/ y t) (- z x) x)) (sqrt (fma (/ y t) (- z x) x)) (expm1 (fma (/ y t) (- z x) x)) (log1p (fma (/ y t) (- z x) x)) (* (/ y t) (- z x)) (log (fma (/ y t) (- z x) x)) (exp (fma (/ y t) (- z x) x)) (* (cbrt (fma (/ y t) (- z x) x)) (cbrt (fma (/ y t) (- z x) x))) (cbrt (fma (/ y t) (- z x) x)) (* (* (fma (/ y t) (- z x) x) (fma (/ y t) (- z x) x)) (fma (/ y t) (- z x) x)) (sqrt (fma (/ y t) (- z x) x)) (sqrt (fma (/ y t) (- z x) x)) (expm1 (fma (/ y t) (- z x) x)) (log1p (fma (/ y t) (- z x) x)) (* (/ y t) (- z x)) (log (fma (/ y t) (- z x) x)) (exp (fma (/ y t) (- z x) x)) (* (cbrt (fma (/ y t) (- z x) x)) (cbrt (fma (/ y t) (- z x) x))) (cbrt (fma (/ y t) (- z x) x)) (* (* (fma (/ y t) (- z x) x) (fma (/ y t) (- z x) x)) (fma (/ y t) (- z x) x)) (sqrt (fma (/ y t) (- z x) x)) (sqrt (fma (/ y t) (- z x) x)) (- (+ (/ (* z y) t) x) (/ (* x y) t)) (- (+ (/ (* z y) t) x) (/ (* x y) t)) (- (+ (/ (* z y) t) x) (/ (* x y) t)) (- (+ (/ (* z y) t) x) (/ (* x y) t)) (- (+ (/ (* z y) t) x) (/ (* x y) t)) (- (+ (/ (* z y) t) x) (/ (* x y) t)) (- (+ (/ (* z y) t) x) (/ (* x y) t)) (- (+ (/ (* z y) t) x) (/ (* x y) t)) (- (+ (/ (* z y) t) x) (/ (* x y) t)) (- (+ (/ (* z y) t) x) (/ (* x y) t)) (- (+ (/ (* z y) t) x) (/ (* x y) t)) (- (+ (/ (* z y) t) x) (/ (* x y) t)) 12.550 * * [simplify]: iteration 0 : 23 enodes (cost 616 ) 12.553 * * [simplify]: iteration 1 : 40 enodes (cost 616 ) 12.558 * * [simplify]: iteration 2 : 91 enodes (cost 552 ) 12.575 * * [simplify]: iteration 3 : 218 enodes (cost 492 ) 12.655 * * [simplify]: iteration 4 : 980 enodes (cost 492 ) 13.575 * * [simplify]: iteration done : 5000 enodes (cost 492 ) 13.575 * [simplify]: Simplified to: (expm1 (fma (/ y t) (- z x) x)) (log1p (fma (/ y t) (- z x) x)) (/ y (/ t (- z x))) (log (fma (/ y t) (- z x) x)) (exp (fma (/ y t) (- z x) x)) (* (cbrt (fma (/ y t) (- z x) x)) (cbrt (fma (/ y t) (- z x) x))) (cbrt (fma (/ y t) (- z x) x)) (pow (fma (/ y t) (- z x) x) 3) (sqrt (fma (/ y t) (- z x) x)) (sqrt (fma (/ y t) (- z x) x)) (expm1 (fma (/ y t) (- z x) x)) (log1p (fma (/ y t) (- z x) x)) (/ y (/ t (- z x))) (log (fma (/ y t) (- z x) x)) (exp (fma (/ y t) (- z x) x)) (* (cbrt (fma (/ y t) (- z x) x)) (cbrt (fma (/ y t) (- z x) x))) (cbrt (fma (/ y t) (- z x) x)) (pow (fma (/ y t) (- z x) x) 3) (sqrt (fma (/ y t) (- z x) x)) (sqrt (fma (/ y t) (- z x) x)) (expm1 (fma (/ y t) (- z x) x)) (log1p (fma (/ y t) (- z x) x)) (/ y (/ t (- z x))) (log (fma (/ y t) (- z x) x)) (exp (fma (/ y t) (- z x) x)) (* (cbrt (fma (/ y t) (- z x) x)) (cbrt (fma (/ y t) (- z x) x))) (cbrt (fma (/ y t) (- z x) x)) (pow (fma (/ y t) (- z x) x) 3) (sqrt (fma (/ y t) (- z x) x)) (sqrt (fma (/ y t) (- z x) x)) (expm1 (fma (/ y t) (- z x) x)) (log1p (fma (/ y t) (- z x) x)) (/ y (/ t (- z x))) (log (fma (/ y t) (- z x) x)) (exp (fma (/ y t) (- z x) x)) (* (cbrt (fma (/ y t) (- z x) x)) (cbrt (fma (/ y t) (- z x) x))) (cbrt (fma (/ y t) (- z x) x)) (pow (fma (/ y t) (- z x) x) 3) (sqrt (fma (/ y t) (- z x) x)) (sqrt (fma (/ y t) (- z x) x)) (fma (- z x) (/ y t) x) (fma (- z x) (/ y t) x) (fma (- z x) (/ y t) x) (fma (- z x) (/ y t) x) (fma (- z x) (/ y t) x) (fma (- z x) (/ y t) x) (fma (- z x) (/ y t) x) (fma (- z x) (/ y t) x) (fma (- z x) (/ y t) x) (fma (- z x) (/ y t) x) (fma (- z x) (/ y t) x) (fma (- z x) (/ y t) x) 13.576 * * * [progress]: adding candidates to table 13.777 * [progress]: [Phase 3 of 3] Extracting. 13.778 * * [regime]: Finding splitpoints for: (# # # # # #) 13.780 * * * [regime-changes]: Trying 5 branch expressions: ((+ x (/ (* y (- z x)) t)) t z y x) 13.780 * * * * [regimes]: Trying to branch on (+ x (/ (* y (- z x)) t)) from (# # # # # #) 13.823 * * * * [regimes]: Trying to branch on t from (# # # # # #) 13.867 * * * * [regimes]: Trying to branch on z from (# # # # # #) 13.911 * * * * [regimes]: Trying to branch on y from (# # # # # #) 13.954 * * * * [regimes]: Trying to branch on x from (# # # # # #) 14.001 * * * [regime]: Found split indices: #