19.749 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.020 * * * [progress]: [2/2] Setting up program. 0.022 * [progress]: [Phase 2 of 3] Improving. 0.022 * [simplify]: Simplifying using # : (+ (* (/ x y) (- z t)) t) 0.023 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.024 * * [simplify]: iteration 1 : 15 enodes (cost 8 ) 0.026 * * [simplify]: iteration 2 : 32 enodes (cost 8 ) 0.030 * * [simplify]: iteration 3 : 55 enodes (cost 8 ) 0.038 * * [simplify]: iteration 4 : 87 enodes (cost 8 ) 0.049 * * [simplify]: iteration 5 : 122 enodes (cost 8 ) 0.067 * * [simplify]: iteration 6 : 155 enodes (cost 8 ) 0.086 * * [simplify]: iteration 7 : 193 enodes (cost 8 ) 0.113 * * [simplify]: iteration 8 : 302 enodes (cost 8 ) 0.167 * * [simplify]: iteration 9 : 497 enodes (cost 8 ) 0.315 * * [simplify]: iteration 10 : 1019 enodes (cost 8 ) 0.901 * * [simplify]: iteration 11 : 1805 enodes (cost 8 ) 2.642 * * [simplify]: iteration 12 : 2801 enodes (cost 8 ) 7.120 * * [simplify]: iteration 13 : 4293 enodes (cost 8 ) 16.987 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 16.987 * [simplify]: Simplified to: (fma (/ x y) (- z t) t) 16.990 * * [progress]: iteration 1 / 4 16.990 * * * [progress]: picking best candidate 16.992 * * * * [pick]: Picked # 16.992 * * * [progress]: localizing error 16.998 * * * [progress]: generating rewritten candidates 16.998 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 16.999 * * * [progress]: generating series expansions 16.999 * * * * [progress]: [ 1 / 1 ] generating series at (2) 16.999 * [approximate]: Taking taylor expansion of (fma (/ x y) (- z t) t) in (x y z t) around 0 16.999 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in t 16.999 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 16.999 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in t 16.999 * [taylor]: Taking taylor expansion of (/ x y) in t 16.999 * [taylor]: Taking taylor expansion of x in t 16.999 * [taylor]: Taking taylor expansion of y in t 16.999 * [taylor]: Taking taylor expansion of (- z t) in t 16.999 * [taylor]: Taking taylor expansion of z in t 16.999 * [taylor]: Taking taylor expansion of t in t 16.999 * [taylor]: Taking taylor expansion of t in t 16.999 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in z 16.999 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 16.999 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in z 16.999 * [taylor]: Taking taylor expansion of (/ x y) in z 17.000 * [taylor]: Taking taylor expansion of x in z 17.000 * [taylor]: Taking taylor expansion of y in z 17.000 * [taylor]: Taking taylor expansion of (- z t) in z 17.000 * [taylor]: Taking taylor expansion of z in z 17.000 * [taylor]: Taking taylor expansion of t in z 17.000 * [taylor]: Taking taylor expansion of t in z 17.000 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in y 17.000 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 17.000 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in y 17.000 * [taylor]: Taking taylor expansion of (/ x y) in y 17.000 * [taylor]: Taking taylor expansion of x in y 17.000 * [taylor]: Taking taylor expansion of y in y 17.000 * [taylor]: Taking taylor expansion of (- z t) in y 17.000 * [taylor]: Taking taylor expansion of z in y 17.000 * [taylor]: Taking taylor expansion of t in y 17.000 * [taylor]: Taking taylor expansion of t in y 17.000 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in x 17.000 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 17.000 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in x 17.000 * [taylor]: Taking taylor expansion of (/ x y) in x 17.000 * [taylor]: Taking taylor expansion of x in x 17.000 * [taylor]: Taking taylor expansion of y in x 17.000 * [taylor]: Taking taylor expansion of (- z t) in x 17.000 * [taylor]: Taking taylor expansion of z in x 17.000 * [taylor]: Taking taylor expansion of t in x 17.000 * [taylor]: Taking taylor expansion of t in x 17.000 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in x 17.000 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 17.000 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in x 17.000 * [taylor]: Taking taylor expansion of (/ x y) in x 17.000 * [taylor]: Taking taylor expansion of x in x 17.000 * [taylor]: Taking taylor expansion of y in x 17.000 * [taylor]: Taking taylor expansion of (- z t) in x 17.000 * [taylor]: Taking taylor expansion of z in x 17.000 * [taylor]: Taking taylor expansion of t in x 17.000 * [taylor]: Taking taylor expansion of t in x 17.000 * [taylor]: Taking taylor expansion of t in y 17.001 * [taylor]: Taking taylor expansion of (- (/ z y) (/ t y)) in y 17.001 * [taylor]: Taking taylor expansion of (/ z y) in y 17.001 * [taylor]: Taking taylor expansion of z in y 17.001 * [taylor]: Taking taylor expansion of y in y 17.001 * [taylor]: Taking taylor expansion of (/ t y) in y 17.001 * [taylor]: Taking taylor expansion of t in y 17.001 * [taylor]: Taking taylor expansion of y in y 17.001 * [taylor]: Taking taylor expansion of (- z t) in z 17.001 * [taylor]: Taking taylor expansion of z in z 17.001 * [taylor]: Taking taylor expansion of t in z 17.001 * [taylor]: Taking taylor expansion of (- t) in t 17.001 * [taylor]: Taking taylor expansion of t in t 17.001 * [taylor]: Taking taylor expansion of t in z 17.001 * [taylor]: Taking taylor expansion of t in t 17.002 * [taylor]: Taking taylor expansion of 0 in y 17.004 * [taylor]: Taking taylor expansion of 0 in z 17.004 * [taylor]: Taking taylor expansion of 0 in t 17.004 * [taylor]: Taking taylor expansion of 0 in z 17.004 * [taylor]: Taking taylor expansion of 0 in t 17.004 * [taylor]: Taking taylor expansion of 1 in t 17.004 * [taylor]: Taking taylor expansion of 0 in t 17.005 * [approximate]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in (x y z t) around 0 17.005 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in t 17.006 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 17.006 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in t 17.006 * [taylor]: Taking taylor expansion of (/ y x) in t 17.006 * [taylor]: Taking taylor expansion of y in t 17.006 * [taylor]: Taking taylor expansion of x in t 17.006 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 17.006 * [taylor]: Taking taylor expansion of (/ 1 z) in t 17.006 * [taylor]: Taking taylor expansion of z in t 17.006 * [taylor]: Taking taylor expansion of (/ 1 t) in t 17.006 * [taylor]: Taking taylor expansion of t in t 17.006 * [taylor]: Taking taylor expansion of (/ 1 t) in t 17.006 * [taylor]: Taking taylor expansion of t in t 17.006 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in z 17.006 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 17.006 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in z 17.007 * [taylor]: Taking taylor expansion of (/ y x) in z 17.007 * [taylor]: Taking taylor expansion of y in z 17.007 * [taylor]: Taking taylor expansion of x in z 17.007 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 17.007 * [taylor]: Taking taylor expansion of (/ 1 z) in z 17.007 * [taylor]: Taking taylor expansion of z in z 17.007 * [taylor]: Taking taylor expansion of (/ 1 t) in z 17.007 * [taylor]: Taking taylor expansion of t in z 17.007 * [taylor]: Taking taylor expansion of (/ 1 t) in z 17.007 * [taylor]: Taking taylor expansion of t in z 17.007 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in y 17.007 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 17.007 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in y 17.007 * [taylor]: Taking taylor expansion of (/ y x) in y 17.007 * [taylor]: Taking taylor expansion of y in y 17.007 * [taylor]: Taking taylor expansion of x in y 17.007 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 17.007 * [taylor]: Taking taylor expansion of (/ 1 z) in y 17.007 * [taylor]: Taking taylor expansion of z in y 17.007 * [taylor]: Taking taylor expansion of (/ 1 t) in y 17.007 * [taylor]: Taking taylor expansion of t in y 17.007 * [taylor]: Taking taylor expansion of (/ 1 t) in y 17.007 * [taylor]: Taking taylor expansion of t in y 17.007 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in x 17.007 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 17.008 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in x 17.008 * [taylor]: Taking taylor expansion of (/ y x) in x 17.008 * [taylor]: Taking taylor expansion of y in x 17.008 * [taylor]: Taking taylor expansion of x in x 17.008 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 17.008 * [taylor]: Taking taylor expansion of (/ 1 z) in x 17.008 * [taylor]: Taking taylor expansion of z in x 17.008 * [taylor]: Taking taylor expansion of (/ 1 t) in x 17.008 * [taylor]: Taking taylor expansion of t in x 17.008 * [taylor]: Taking taylor expansion of (/ 1 t) in x 17.008 * [taylor]: Taking taylor expansion of t in x 17.008 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in x 17.008 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 17.008 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in x 17.008 * [taylor]: Taking taylor expansion of (/ y x) in x 17.008 * [taylor]: Taking taylor expansion of y in x 17.008 * [taylor]: Taking taylor expansion of x in x 17.008 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 17.008 * [taylor]: Taking taylor expansion of (/ 1 z) in x 17.008 * [taylor]: Taking taylor expansion of z in x 17.008 * [taylor]: Taking taylor expansion of (/ 1 t) in x 17.008 * [taylor]: Taking taylor expansion of t in x 17.008 * [taylor]: Taking taylor expansion of (/ 1 t) in x 17.008 * [taylor]: Taking taylor expansion of t in x 17.008 * [taylor]: Taking taylor expansion of (- (/ y z) (/ y t)) in y 17.008 * [taylor]: Taking taylor expansion of (/ y z) in y 17.008 * [taylor]: Taking taylor expansion of y in y 17.008 * [taylor]: Taking taylor expansion of z in y 17.008 * [taylor]: Taking taylor expansion of (/ y t) in y 17.009 * [taylor]: Taking taylor expansion of y in y 17.009 * [taylor]: Taking taylor expansion of t in y 17.010 * [taylor]: Taking taylor expansion of (/ 1 t) in y 17.010 * [taylor]: Taking taylor expansion of t in y 17.010 * [taylor]: Taking taylor expansion of (/ 1 t) in z 17.010 * [taylor]: Taking taylor expansion of t in z 17.010 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 17.010 * [taylor]: Taking taylor expansion of (/ 1 z) in z 17.010 * [taylor]: Taking taylor expansion of z in z 17.010 * [taylor]: Taking taylor expansion of (/ 1 t) in z 17.010 * [taylor]: Taking taylor expansion of t in z 17.011 * [taylor]: Taking taylor expansion of 1 in t 17.013 * [taylor]: Taking taylor expansion of 0 in y 17.013 * [taylor]: Taking taylor expansion of 0 in z 17.013 * [taylor]: Taking taylor expansion of 0 in z 17.014 * [taylor]: Taking taylor expansion of 0 in z 17.014 * [taylor]: Taking taylor expansion of (/ 1 t) in t 17.014 * [taylor]: Taking taylor expansion of t in t 17.015 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 17.015 * [taylor]: Taking taylor expansion of (/ 1 t) in t 17.015 * [taylor]: Taking taylor expansion of t in t 17.016 * [approximate]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in (x y z t) around 0 17.016 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in t 17.016 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 17.016 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in t 17.016 * [taylor]: Taking taylor expansion of (/ y x) in t 17.016 * [taylor]: Taking taylor expansion of y in t 17.016 * [taylor]: Taking taylor expansion of x in t 17.016 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 17.016 * [taylor]: Taking taylor expansion of (/ 1 t) in t 17.016 * [taylor]: Taking taylor expansion of t in t 17.017 * [taylor]: Taking taylor expansion of (/ 1 z) in t 17.017 * [taylor]: Taking taylor expansion of z in t 17.017 * [taylor]: Taking taylor expansion of (/ -1 t) in t 17.017 * [taylor]: Taking taylor expansion of -1 in t 17.017 * [taylor]: Taking taylor expansion of t in t 17.017 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in z 17.017 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 17.017 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in z 17.017 * [taylor]: Taking taylor expansion of (/ y x) in z 17.017 * [taylor]: Taking taylor expansion of y in z 17.017 * [taylor]: Taking taylor expansion of x in z 17.017 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 17.017 * [taylor]: Taking taylor expansion of (/ 1 t) in z 17.017 * [taylor]: Taking taylor expansion of t in z 17.017 * [taylor]: Taking taylor expansion of (/ 1 z) in z 17.017 * [taylor]: Taking taylor expansion of z in z 17.018 * [taylor]: Taking taylor expansion of (/ -1 t) in z 17.018 * [taylor]: Taking taylor expansion of -1 in z 17.018 * [taylor]: Taking taylor expansion of t in z 17.018 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in y 17.018 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 17.018 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in y 17.018 * [taylor]: Taking taylor expansion of (/ y x) in y 17.018 * [taylor]: Taking taylor expansion of y in y 17.018 * [taylor]: Taking taylor expansion of x in y 17.018 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 17.018 * [taylor]: Taking taylor expansion of (/ 1 t) in y 17.018 * [taylor]: Taking taylor expansion of t in y 17.018 * [taylor]: Taking taylor expansion of (/ 1 z) in y 17.018 * [taylor]: Taking taylor expansion of z in y 17.018 * [taylor]: Taking taylor expansion of (/ -1 t) in y 17.018 * [taylor]: Taking taylor expansion of -1 in y 17.018 * [taylor]: Taking taylor expansion of t in y 17.018 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in x 17.018 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 17.018 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in x 17.018 * [taylor]: Taking taylor expansion of (/ y x) in x 17.018 * [taylor]: Taking taylor expansion of y in x 17.018 * [taylor]: Taking taylor expansion of x in x 17.018 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 17.018 * [taylor]: Taking taylor expansion of (/ 1 t) in x 17.018 * [taylor]: Taking taylor expansion of t in x 17.018 * [taylor]: Taking taylor expansion of (/ 1 z) in x 17.018 * [taylor]: Taking taylor expansion of z in x 17.018 * [taylor]: Taking taylor expansion of (/ -1 t) in x 17.018 * [taylor]: Taking taylor expansion of -1 in x 17.018 * [taylor]: Taking taylor expansion of t in x 17.019 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in x 17.019 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 17.019 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in x 17.019 * [taylor]: Taking taylor expansion of (/ y x) in x 17.019 * [taylor]: Taking taylor expansion of y in x 17.019 * [taylor]: Taking taylor expansion of x in x 17.019 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 17.019 * [taylor]: Taking taylor expansion of (/ 1 t) in x 17.019 * [taylor]: Taking taylor expansion of t in x 17.019 * [taylor]: Taking taylor expansion of (/ 1 z) in x 17.019 * [taylor]: Taking taylor expansion of z in x 17.019 * [taylor]: Taking taylor expansion of (/ -1 t) in x 17.019 * [taylor]: Taking taylor expansion of -1 in x 17.019 * [taylor]: Taking taylor expansion of t in x 17.019 * [taylor]: Taking taylor expansion of (- (/ y t) (/ y z)) in y 17.019 * [taylor]: Taking taylor expansion of (/ y t) in y 17.019 * [taylor]: Taking taylor expansion of y in y 17.019 * [taylor]: Taking taylor expansion of t in y 17.019 * [taylor]: Taking taylor expansion of (/ y z) in y 17.019 * [taylor]: Taking taylor expansion of y in y 17.019 * [taylor]: Taking taylor expansion of z in y 17.021 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in y 17.021 * [taylor]: Taking taylor expansion of (/ 1 t) in y 17.021 * [taylor]: Taking taylor expansion of t in y 17.021 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in z 17.021 * [taylor]: Taking taylor expansion of (/ 1 t) in z 17.021 * [taylor]: Taking taylor expansion of t in z 17.021 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 17.021 * [taylor]: Taking taylor expansion of (/ 1 t) in z 17.021 * [taylor]: Taking taylor expansion of t in z 17.021 * [taylor]: Taking taylor expansion of (/ 1 z) in z 17.021 * [taylor]: Taking taylor expansion of z in z 17.022 * [taylor]: Taking taylor expansion of -1 in t 17.024 * [taylor]: Taking taylor expansion of 0 in y 17.024 * [taylor]: Taking taylor expansion of 0 in z 17.024 * [taylor]: Taking taylor expansion of 0 in z 17.025 * [taylor]: Taking taylor expansion of 0 in z 17.025 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 17.025 * [taylor]: Taking taylor expansion of (/ 1 t) in t 17.025 * [taylor]: Taking taylor expansion of t in t 17.026 * [taylor]: Taking taylor expansion of (/ 1 t) in t 17.026 * [taylor]: Taking taylor expansion of t in t 17.027 * * * [progress]: simplifying candidates 17.028 * [simplify]: Simplifying using # : (expm1 (fma (/ x y) (- z t) t)) (log1p (fma (/ x y) (- z t) t)) (* (/ x y) (- z t)) (log (fma (/ x y) (- z t) t)) (exp (fma (/ x y) (- z t) t)) (* (cbrt (fma (/ x y) (- z t) t)) (cbrt (fma (/ x y) (- z t) t))) (cbrt (fma (/ x y) (- z t) t)) (* (* (fma (/ x y) (- z t) t) (fma (/ x y) (- z t) t)) (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) 17.029 * * [simplify]: iteration 0 : 23 enodes (cost 154 ) 17.032 * * [simplify]: iteration 1 : 41 enodes (cost 154 ) 17.037 * * [simplify]: iteration 2 : 89 enodes (cost 138 ) 17.054 * * [simplify]: iteration 3 : 216 enodes (cost 123 ) 17.111 * * [simplify]: iteration 4 : 954 enodes (cost 123 ) 17.461 * * [simplify]: iteration done : 5002 enodes (cost 123 ) 17.461 * [simplify]: Simplified to: (expm1 (fma (/ x y) (- z t) t)) (log1p (fma (/ x y) (- z t) t)) (/ x (/ y (- z t))) (log (fma (/ x y) (- z t) t)) (exp (fma (/ x y) (- z t) t)) (* (cbrt (fma (/ x y) (- z t) t)) (cbrt (fma (/ x y) (- z t) t))) (cbrt (fma (/ x y) (- z t) t)) (pow (fma (/ x y) (- z t) t) 3) (sqrt (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (fma (- z t) (/ x y) t) (fma (- z t) (/ x y) t) (fma (- z t) (/ x y) t) 17.461 * * * [progress]: adding candidates to table 17.491 * * [progress]: iteration 2 / 4 17.491 * * * [progress]: picking best candidate 17.499 * * * * [pick]: Picked # 17.499 * * * [progress]: localizing error 17.510 * * * [progress]: generating rewritten candidates 17.510 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 17.511 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1) 17.513 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 17.514 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 17.515 * * * [progress]: generating series expansions 17.515 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 17.515 * [approximate]: Taking taylor expansion of (fma (/ x y) (- z t) t) in (x y z t) around 0 17.515 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in t 17.515 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 17.515 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in t 17.515 * [taylor]: Taking taylor expansion of (/ x y) in t 17.515 * [taylor]: Taking taylor expansion of x in t 17.515 * [taylor]: Taking taylor expansion of y in t 17.515 * [taylor]: Taking taylor expansion of (- z t) in t 17.516 * [taylor]: Taking taylor expansion of z in t 17.516 * [taylor]: Taking taylor expansion of t in t 17.516 * [taylor]: Taking taylor expansion of t in t 17.516 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in z 17.516 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 17.516 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in z 17.516 * [taylor]: Taking taylor expansion of (/ x y) in z 17.516 * [taylor]: Taking taylor expansion of x in z 17.516 * [taylor]: Taking taylor expansion of y in z 17.516 * [taylor]: Taking taylor expansion of (- z t) in z 17.516 * [taylor]: Taking taylor expansion of z in z 17.516 * [taylor]: Taking taylor expansion of t in z 17.516 * [taylor]: Taking taylor expansion of t in z 17.516 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in y 17.516 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 17.516 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in y 17.516 * [taylor]: Taking taylor expansion of (/ x y) in y 17.516 * [taylor]: Taking taylor expansion of x in y 17.516 * [taylor]: Taking taylor expansion of y in y 17.516 * [taylor]: Taking taylor expansion of (- z t) in y 17.516 * [taylor]: Taking taylor expansion of z in y 17.516 * [taylor]: Taking taylor expansion of t in y 17.516 * [taylor]: Taking taylor expansion of t in y 17.516 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in x 17.516 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 17.516 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in x 17.516 * [taylor]: Taking taylor expansion of (/ x y) in x 17.516 * [taylor]: Taking taylor expansion of x in x 17.516 * [taylor]: Taking taylor expansion of y in x 17.516 * [taylor]: Taking taylor expansion of (- z t) in x 17.516 * [taylor]: Taking taylor expansion of z in x 17.516 * [taylor]: Taking taylor expansion of t in x 17.516 * [taylor]: Taking taylor expansion of t in x 17.516 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in x 17.516 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 17.516 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in x 17.516 * [taylor]: Taking taylor expansion of (/ x y) in x 17.517 * [taylor]: Taking taylor expansion of x in x 17.517 * [taylor]: Taking taylor expansion of y in x 17.517 * [taylor]: Taking taylor expansion of (- z t) in x 17.517 * [taylor]: Taking taylor expansion of z in x 17.517 * [taylor]: Taking taylor expansion of t in x 17.517 * [taylor]: Taking taylor expansion of t in x 17.517 * [taylor]: Taking taylor expansion of t in y 17.517 * [taylor]: Taking taylor expansion of (- (/ z y) (/ t y)) in y 17.517 * [taylor]: Taking taylor expansion of (/ z y) in y 17.517 * [taylor]: Taking taylor expansion of z in y 17.517 * [taylor]: Taking taylor expansion of y in y 17.517 * [taylor]: Taking taylor expansion of (/ t y) in y 17.517 * [taylor]: Taking taylor expansion of t in y 17.517 * [taylor]: Taking taylor expansion of y in y 17.517 * [taylor]: Taking taylor expansion of (- z t) in z 17.517 * [taylor]: Taking taylor expansion of z in z 17.517 * [taylor]: Taking taylor expansion of t in z 17.517 * [taylor]: Taking taylor expansion of (- t) in t 17.517 * [taylor]: Taking taylor expansion of t in t 17.518 * [taylor]: Taking taylor expansion of t in z 17.518 * [taylor]: Taking taylor expansion of t in t 17.519 * [taylor]: Taking taylor expansion of 0 in y 17.520 * [taylor]: Taking taylor expansion of 0 in z 17.520 * [taylor]: Taking taylor expansion of 0 in t 17.520 * [taylor]: Taking taylor expansion of 0 in z 17.520 * [taylor]: Taking taylor expansion of 0 in t 17.521 * [taylor]: Taking taylor expansion of 1 in t 17.521 * [taylor]: Taking taylor expansion of 0 in t 17.522 * [approximate]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in (x y z t) around 0 17.522 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in t 17.522 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 17.522 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in t 17.522 * [taylor]: Taking taylor expansion of (/ y x) in t 17.522 * [taylor]: Taking taylor expansion of y in t 17.522 * [taylor]: Taking taylor expansion of x in t 17.522 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 17.522 * [taylor]: Taking taylor expansion of (/ 1 z) in t 17.522 * [taylor]: Taking taylor expansion of z in t 17.522 * [taylor]: Taking taylor expansion of (/ 1 t) in t 17.522 * [taylor]: Taking taylor expansion of t in t 17.523 * [taylor]: Taking taylor expansion of (/ 1 t) in t 17.523 * [taylor]: Taking taylor expansion of t in t 17.523 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in z 17.523 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 17.523 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in z 17.523 * [taylor]: Taking taylor expansion of (/ y x) in z 17.523 * [taylor]: Taking taylor expansion of y in z 17.523 * [taylor]: Taking taylor expansion of x in z 17.523 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 17.523 * [taylor]: Taking taylor expansion of (/ 1 z) in z 17.523 * [taylor]: Taking taylor expansion of z in z 17.523 * [taylor]: Taking taylor expansion of (/ 1 t) in z 17.523 * [taylor]: Taking taylor expansion of t in z 17.523 * [taylor]: Taking taylor expansion of (/ 1 t) in z 17.523 * [taylor]: Taking taylor expansion of t in z 17.523 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in y 17.524 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 17.524 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in y 17.524 * [taylor]: Taking taylor expansion of (/ y x) in y 17.524 * [taylor]: Taking taylor expansion of y in y 17.524 * [taylor]: Taking taylor expansion of x in y 17.524 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 17.524 * [taylor]: Taking taylor expansion of (/ 1 z) in y 17.524 * [taylor]: Taking taylor expansion of z in y 17.524 * [taylor]: Taking taylor expansion of (/ 1 t) in y 17.524 * [taylor]: Taking taylor expansion of t in y 17.524 * [taylor]: Taking taylor expansion of (/ 1 t) in y 17.524 * [taylor]: Taking taylor expansion of t in y 17.524 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in x 17.524 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 17.524 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in x 17.524 * [taylor]: Taking taylor expansion of (/ y x) in x 17.524 * [taylor]: Taking taylor expansion of y in x 17.524 * [taylor]: Taking taylor expansion of x in x 17.524 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 17.524 * [taylor]: Taking taylor expansion of (/ 1 z) in x 17.524 * [taylor]: Taking taylor expansion of z in x 17.524 * [taylor]: Taking taylor expansion of (/ 1 t) in x 17.524 * [taylor]: Taking taylor expansion of t in x 17.524 * [taylor]: Taking taylor expansion of (/ 1 t) in x 17.524 * [taylor]: Taking taylor expansion of t in x 17.524 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in x 17.524 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 17.524 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in x 17.524 * [taylor]: Taking taylor expansion of (/ y x) in x 17.524 * [taylor]: Taking taylor expansion of y in x 17.524 * [taylor]: Taking taylor expansion of x in x 17.524 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 17.524 * [taylor]: Taking taylor expansion of (/ 1 z) in x 17.524 * [taylor]: Taking taylor expansion of z in x 17.524 * [taylor]: Taking taylor expansion of (/ 1 t) in x 17.525 * [taylor]: Taking taylor expansion of t in x 17.525 * [taylor]: Taking taylor expansion of (/ 1 t) in x 17.525 * [taylor]: Taking taylor expansion of t in x 17.525 * [taylor]: Taking taylor expansion of (- (/ y z) (/ y t)) in y 17.525 * [taylor]: Taking taylor expansion of (/ y z) in y 17.525 * [taylor]: Taking taylor expansion of y in y 17.525 * [taylor]: Taking taylor expansion of z in y 17.525 * [taylor]: Taking taylor expansion of (/ y t) in y 17.525 * [taylor]: Taking taylor expansion of y in y 17.525 * [taylor]: Taking taylor expansion of t in y 17.526 * [taylor]: Taking taylor expansion of (/ 1 t) in y 17.526 * [taylor]: Taking taylor expansion of t in y 17.526 * [taylor]: Taking taylor expansion of (/ 1 t) in z 17.526 * [taylor]: Taking taylor expansion of t in z 17.526 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 17.526 * [taylor]: Taking taylor expansion of (/ 1 z) in z 17.526 * [taylor]: Taking taylor expansion of z in z 17.527 * [taylor]: Taking taylor expansion of (/ 1 t) in z 17.527 * [taylor]: Taking taylor expansion of t in z 17.527 * [taylor]: Taking taylor expansion of 1 in t 17.529 * [taylor]: Taking taylor expansion of 0 in y 17.529 * [taylor]: Taking taylor expansion of 0 in z 17.529 * [taylor]: Taking taylor expansion of 0 in z 17.530 * [taylor]: Taking taylor expansion of 0 in z 17.530 * [taylor]: Taking taylor expansion of (/ 1 t) in t 17.530 * [taylor]: Taking taylor expansion of t in t 17.531 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 17.531 * [taylor]: Taking taylor expansion of (/ 1 t) in t 17.531 * [taylor]: Taking taylor expansion of t in t 17.532 * [approximate]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in (x y z t) around 0 17.532 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in t 17.532 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 17.532 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in t 17.532 * [taylor]: Taking taylor expansion of (/ y x) in t 17.532 * [taylor]: Taking taylor expansion of y in t 17.532 * [taylor]: Taking taylor expansion of x in t 17.532 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 17.532 * [taylor]: Taking taylor expansion of (/ 1 t) in t 17.532 * [taylor]: Taking taylor expansion of t in t 17.533 * [taylor]: Taking taylor expansion of (/ 1 z) in t 17.533 * [taylor]: Taking taylor expansion of z in t 17.533 * [taylor]: Taking taylor expansion of (/ -1 t) in t 17.533 * [taylor]: Taking taylor expansion of -1 in t 17.533 * [taylor]: Taking taylor expansion of t in t 17.533 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in z 17.533 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 17.533 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in z 17.533 * [taylor]: Taking taylor expansion of (/ y x) in z 17.533 * [taylor]: Taking taylor expansion of y in z 17.533 * [taylor]: Taking taylor expansion of x in z 17.533 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 17.533 * [taylor]: Taking taylor expansion of (/ 1 t) in z 17.533 * [taylor]: Taking taylor expansion of t in z 17.533 * [taylor]: Taking taylor expansion of (/ 1 z) in z 17.533 * [taylor]: Taking taylor expansion of z in z 17.534 * [taylor]: Taking taylor expansion of (/ -1 t) in z 17.534 * [taylor]: Taking taylor expansion of -1 in z 17.534 * [taylor]: Taking taylor expansion of t in z 17.534 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in y 17.534 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 17.534 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in y 17.534 * [taylor]: Taking taylor expansion of (/ y x) in y 17.534 * [taylor]: Taking taylor expansion of y in y 17.534 * [taylor]: Taking taylor expansion of x in y 17.534 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 17.534 * [taylor]: Taking taylor expansion of (/ 1 t) in y 17.534 * [taylor]: Taking taylor expansion of t in y 17.534 * [taylor]: Taking taylor expansion of (/ 1 z) in y 17.534 * [taylor]: Taking taylor expansion of z in y 17.534 * [taylor]: Taking taylor expansion of (/ -1 t) in y 17.534 * [taylor]: Taking taylor expansion of -1 in y 17.534 * [taylor]: Taking taylor expansion of t in y 17.534 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in x 17.534 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 17.534 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in x 17.534 * [taylor]: Taking taylor expansion of (/ y x) in x 17.534 * [taylor]: Taking taylor expansion of y in x 17.534 * [taylor]: Taking taylor expansion of x in x 17.534 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 17.534 * [taylor]: Taking taylor expansion of (/ 1 t) in x 17.534 * [taylor]: Taking taylor expansion of t in x 17.534 * [taylor]: Taking taylor expansion of (/ 1 z) in x 17.534 * [taylor]: Taking taylor expansion of z in x 17.534 * [taylor]: Taking taylor expansion of (/ -1 t) in x 17.535 * [taylor]: Taking taylor expansion of -1 in x 17.535 * [taylor]: Taking taylor expansion of t in x 17.535 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in x 17.535 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 17.535 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in x 17.535 * [taylor]: Taking taylor expansion of (/ y x) in x 17.535 * [taylor]: Taking taylor expansion of y in x 17.535 * [taylor]: Taking taylor expansion of x in x 17.535 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 17.535 * [taylor]: Taking taylor expansion of (/ 1 t) in x 17.535 * [taylor]: Taking taylor expansion of t in x 17.535 * [taylor]: Taking taylor expansion of (/ 1 z) in x 17.535 * [taylor]: Taking taylor expansion of z in x 17.535 * [taylor]: Taking taylor expansion of (/ -1 t) in x 17.535 * [taylor]: Taking taylor expansion of -1 in x 17.535 * [taylor]: Taking taylor expansion of t in x 17.535 * [taylor]: Taking taylor expansion of (- (/ y t) (/ y z)) in y 17.535 * [taylor]: Taking taylor expansion of (/ y t) in y 17.535 * [taylor]: Taking taylor expansion of y in y 17.535 * [taylor]: Taking taylor expansion of t in y 17.535 * [taylor]: Taking taylor expansion of (/ y z) in y 17.535 * [taylor]: Taking taylor expansion of y in y 17.535 * [taylor]: Taking taylor expansion of z in y 17.537 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in y 17.537 * [taylor]: Taking taylor expansion of (/ 1 t) in y 17.537 * [taylor]: Taking taylor expansion of t in y 17.537 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in z 17.537 * [taylor]: Taking taylor expansion of (/ 1 t) in z 17.537 * [taylor]: Taking taylor expansion of t in z 17.537 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 17.537 * [taylor]: Taking taylor expansion of (/ 1 t) in z 17.537 * [taylor]: Taking taylor expansion of t in z 17.537 * [taylor]: Taking taylor expansion of (/ 1 z) in z 17.537 * [taylor]: Taking taylor expansion of z in z 17.538 * [taylor]: Taking taylor expansion of -1 in t 17.540 * [taylor]: Taking taylor expansion of 0 in y 17.540 * [taylor]: Taking taylor expansion of 0 in z 17.541 * [taylor]: Taking taylor expansion of 0 in z 17.541 * [taylor]: Taking taylor expansion of 0 in z 17.541 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 17.541 * [taylor]: Taking taylor expansion of (/ 1 t) in t 17.541 * [taylor]: Taking taylor expansion of t in t 17.543 * [taylor]: Taking taylor expansion of (/ 1 t) in t 17.543 * [taylor]: Taking taylor expansion of t in t 17.544 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1) 17.544 * [approximate]: Taking taylor expansion of (fma (/ x y) (- z t) t) in (x y z t) around 0 17.544 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in t 17.544 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 17.544 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in t 17.544 * [taylor]: Taking taylor expansion of (/ x y) in t 17.544 * [taylor]: Taking taylor expansion of x in t 17.544 * [taylor]: Taking taylor expansion of y in t 17.544 * [taylor]: Taking taylor expansion of (- z t) in t 17.544 * [taylor]: Taking taylor expansion of z in t 17.544 * [taylor]: Taking taylor expansion of t in t 17.544 * [taylor]: Taking taylor expansion of t in t 17.544 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in z 17.544 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 17.544 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in z 17.544 * [taylor]: Taking taylor expansion of (/ x y) in z 17.544 * [taylor]: Taking taylor expansion of x in z 17.544 * [taylor]: Taking taylor expansion of y in z 17.544 * [taylor]: Taking taylor expansion of (- z t) in z 17.544 * [taylor]: Taking taylor expansion of z in z 17.544 * [taylor]: Taking taylor expansion of t in z 17.544 * [taylor]: Taking taylor expansion of t in z 17.544 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in y 17.544 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 17.544 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in y 17.544 * [taylor]: Taking taylor expansion of (/ x y) in y 17.544 * [taylor]: Taking taylor expansion of x in y 17.544 * [taylor]: Taking taylor expansion of y in y 17.544 * [taylor]: Taking taylor expansion of (- z t) in y 17.544 * [taylor]: Taking taylor expansion of z in y 17.545 * [taylor]: Taking taylor expansion of t in y 17.545 * [taylor]: Taking taylor expansion of t in y 17.545 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in x 17.545 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 17.545 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in x 17.545 * [taylor]: Taking taylor expansion of (/ x y) in x 17.545 * [taylor]: Taking taylor expansion of x in x 17.545 * [taylor]: Taking taylor expansion of y in x 17.545 * [taylor]: Taking taylor expansion of (- z t) in x 17.545 * [taylor]: Taking taylor expansion of z in x 17.545 * [taylor]: Taking taylor expansion of t in x 17.545 * [taylor]: Taking taylor expansion of t in x 17.545 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in x 17.545 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 17.545 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in x 17.545 * [taylor]: Taking taylor expansion of (/ x y) in x 17.545 * [taylor]: Taking taylor expansion of x in x 17.545 * [taylor]: Taking taylor expansion of y in x 17.545 * [taylor]: Taking taylor expansion of (- z t) in x 17.545 * [taylor]: Taking taylor expansion of z in x 17.545 * [taylor]: Taking taylor expansion of t in x 17.545 * [taylor]: Taking taylor expansion of t in x 17.545 * [taylor]: Taking taylor expansion of t in y 17.545 * [taylor]: Taking taylor expansion of (- (/ z y) (/ t y)) in y 17.545 * [taylor]: Taking taylor expansion of (/ z y) in y 17.545 * [taylor]: Taking taylor expansion of z in y 17.545 * [taylor]: Taking taylor expansion of y in y 17.545 * [taylor]: Taking taylor expansion of (/ t y) in y 17.545 * [taylor]: Taking taylor expansion of t in y 17.545 * [taylor]: Taking taylor expansion of y in y 17.546 * [taylor]: Taking taylor expansion of (- z t) in z 17.546 * [taylor]: Taking taylor expansion of z in z 17.546 * [taylor]: Taking taylor expansion of t in z 17.546 * [taylor]: Taking taylor expansion of (- t) in t 17.546 * [taylor]: Taking taylor expansion of t in t 17.546 * [taylor]: Taking taylor expansion of t in z 17.546 * [taylor]: Taking taylor expansion of t in t 17.547 * [taylor]: Taking taylor expansion of 0 in y 17.548 * [taylor]: Taking taylor expansion of 0 in z 17.548 * [taylor]: Taking taylor expansion of 0 in t 17.548 * [taylor]: Taking taylor expansion of 0 in z 17.548 * [taylor]: Taking taylor expansion of 0 in t 17.549 * [taylor]: Taking taylor expansion of 1 in t 17.549 * [taylor]: Taking taylor expansion of 0 in t 17.550 * [approximate]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in (x y z t) around 0 17.550 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in t 17.550 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 17.550 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in t 17.550 * [taylor]: Taking taylor expansion of (/ y x) in t 17.550 * [taylor]: Taking taylor expansion of y in t 17.550 * [taylor]: Taking taylor expansion of x in t 17.550 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 17.550 * [taylor]: Taking taylor expansion of (/ 1 z) in t 17.550 * [taylor]: Taking taylor expansion of z in t 17.550 * [taylor]: Taking taylor expansion of (/ 1 t) in t 17.550 * [taylor]: Taking taylor expansion of t in t 17.551 * [taylor]: Taking taylor expansion of (/ 1 t) in t 17.551 * [taylor]: Taking taylor expansion of t in t 17.551 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in z 17.551 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 17.551 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in z 17.551 * [taylor]: Taking taylor expansion of (/ y x) in z 17.551 * [taylor]: Taking taylor expansion of y in z 17.551 * [taylor]: Taking taylor expansion of x in z 17.551 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 17.551 * [taylor]: Taking taylor expansion of (/ 1 z) in z 17.551 * [taylor]: Taking taylor expansion of z in z 17.551 * [taylor]: Taking taylor expansion of (/ 1 t) in z 17.551 * [taylor]: Taking taylor expansion of t in z 17.552 * [taylor]: Taking taylor expansion of (/ 1 t) in z 17.552 * [taylor]: Taking taylor expansion of t in z 17.552 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in y 17.552 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 17.552 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in y 17.552 * [taylor]: Taking taylor expansion of (/ y x) in y 17.552 * [taylor]: Taking taylor expansion of y in y 17.552 * [taylor]: Taking taylor expansion of x in y 17.552 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 17.552 * [taylor]: Taking taylor expansion of (/ 1 z) in y 17.552 * [taylor]: Taking taylor expansion of z in y 17.552 * [taylor]: Taking taylor expansion of (/ 1 t) in y 17.552 * [taylor]: Taking taylor expansion of t in y 17.552 * [taylor]: Taking taylor expansion of (/ 1 t) in y 17.552 * [taylor]: Taking taylor expansion of t in y 17.552 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in x 17.552 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 17.552 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in x 17.552 * [taylor]: Taking taylor expansion of (/ y x) in x 17.552 * [taylor]: Taking taylor expansion of y in x 17.552 * [taylor]: Taking taylor expansion of x in x 17.552 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 17.552 * [taylor]: Taking taylor expansion of (/ 1 z) in x 17.552 * [taylor]: Taking taylor expansion of z in x 17.552 * [taylor]: Taking taylor expansion of (/ 1 t) in x 17.552 * [taylor]: Taking taylor expansion of t in x 17.552 * [taylor]: Taking taylor expansion of (/ 1 t) in x 17.552 * [taylor]: Taking taylor expansion of t in x 17.552 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in x 17.552 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 17.552 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in x 17.552 * [taylor]: Taking taylor expansion of (/ y x) in x 17.552 * [taylor]: Taking taylor expansion of y in x 17.552 * [taylor]: Taking taylor expansion of x in x 17.553 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 17.553 * [taylor]: Taking taylor expansion of (/ 1 z) in x 17.553 * [taylor]: Taking taylor expansion of z in x 17.553 * [taylor]: Taking taylor expansion of (/ 1 t) in x 17.553 * [taylor]: Taking taylor expansion of t in x 17.553 * [taylor]: Taking taylor expansion of (/ 1 t) in x 17.553 * [taylor]: Taking taylor expansion of t in x 17.553 * [taylor]: Taking taylor expansion of (- (/ y z) (/ y t)) in y 17.553 * [taylor]: Taking taylor expansion of (/ y z) in y 17.553 * [taylor]: Taking taylor expansion of y in y 17.553 * [taylor]: Taking taylor expansion of z in y 17.553 * [taylor]: Taking taylor expansion of (/ y t) in y 17.553 * [taylor]: Taking taylor expansion of y in y 17.553 * [taylor]: Taking taylor expansion of t in y 17.554 * [taylor]: Taking taylor expansion of (/ 1 t) in y 17.554 * [taylor]: Taking taylor expansion of t in y 17.554 * [taylor]: Taking taylor expansion of (/ 1 t) in z 17.554 * [taylor]: Taking taylor expansion of t in z 17.555 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 17.555 * [taylor]: Taking taylor expansion of (/ 1 z) in z 17.555 * [taylor]: Taking taylor expansion of z in z 17.555 * [taylor]: Taking taylor expansion of (/ 1 t) in z 17.555 * [taylor]: Taking taylor expansion of t in z 17.555 * [taylor]: Taking taylor expansion of 1 in t 17.557 * [taylor]: Taking taylor expansion of 0 in y 17.557 * [taylor]: Taking taylor expansion of 0 in z 17.557 * [taylor]: Taking taylor expansion of 0 in z 17.558 * [taylor]: Taking taylor expansion of 0 in z 17.558 * [taylor]: Taking taylor expansion of (/ 1 t) in t 17.558 * [taylor]: Taking taylor expansion of t in t 17.559 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 17.559 * [taylor]: Taking taylor expansion of (/ 1 t) in t 17.559 * [taylor]: Taking taylor expansion of t in t 17.560 * [approximate]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in (x y z t) around 0 17.560 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in t 17.560 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 17.560 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in t 17.560 * [taylor]: Taking taylor expansion of (/ y x) in t 17.560 * [taylor]: Taking taylor expansion of y in t 17.560 * [taylor]: Taking taylor expansion of x in t 17.560 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 17.560 * [taylor]: Taking taylor expansion of (/ 1 t) in t 17.560 * [taylor]: Taking taylor expansion of t in t 17.561 * [taylor]: Taking taylor expansion of (/ 1 z) in t 17.561 * [taylor]: Taking taylor expansion of z in t 17.561 * [taylor]: Taking taylor expansion of (/ -1 t) in t 17.561 * [taylor]: Taking taylor expansion of -1 in t 17.561 * [taylor]: Taking taylor expansion of t in t 17.561 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in z 17.561 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 17.561 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in z 17.561 * [taylor]: Taking taylor expansion of (/ y x) in z 17.561 * [taylor]: Taking taylor expansion of y in z 17.561 * [taylor]: Taking taylor expansion of x in z 17.561 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 17.561 * [taylor]: Taking taylor expansion of (/ 1 t) in z 17.561 * [taylor]: Taking taylor expansion of t in z 17.561 * [taylor]: Taking taylor expansion of (/ 1 z) in z 17.561 * [taylor]: Taking taylor expansion of z in z 17.562 * [taylor]: Taking taylor expansion of (/ -1 t) in z 17.562 * [taylor]: Taking taylor expansion of -1 in z 17.562 * [taylor]: Taking taylor expansion of t in z 17.562 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in y 17.562 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 17.562 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in y 17.562 * [taylor]: Taking taylor expansion of (/ y x) in y 17.562 * [taylor]: Taking taylor expansion of y in y 17.562 * [taylor]: Taking taylor expansion of x in y 17.562 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 17.562 * [taylor]: Taking taylor expansion of (/ 1 t) in y 17.562 * [taylor]: Taking taylor expansion of t in y 17.562 * [taylor]: Taking taylor expansion of (/ 1 z) in y 17.562 * [taylor]: Taking taylor expansion of z in y 17.562 * [taylor]: Taking taylor expansion of (/ -1 t) in y 17.562 * [taylor]: Taking taylor expansion of -1 in y 17.562 * [taylor]: Taking taylor expansion of t in y 17.562 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in x 17.562 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 17.562 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in x 17.562 * [taylor]: Taking taylor expansion of (/ y x) in x 17.562 * [taylor]: Taking taylor expansion of y in x 17.562 * [taylor]: Taking taylor expansion of x in x 17.562 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 17.562 * [taylor]: Taking taylor expansion of (/ 1 t) in x 17.562 * [taylor]: Taking taylor expansion of t in x 17.562 * [taylor]: Taking taylor expansion of (/ 1 z) in x 17.562 * [taylor]: Taking taylor expansion of z in x 17.563 * [taylor]: Taking taylor expansion of (/ -1 t) in x 17.563 * [taylor]: Taking taylor expansion of -1 in x 17.563 * [taylor]: Taking taylor expansion of t in x 17.563 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in x 17.563 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 17.563 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in x 17.563 * [taylor]: Taking taylor expansion of (/ y x) in x 17.563 * [taylor]: Taking taylor expansion of y in x 17.563 * [taylor]: Taking taylor expansion of x in x 17.563 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 17.563 * [taylor]: Taking taylor expansion of (/ 1 t) in x 17.563 * [taylor]: Taking taylor expansion of t in x 17.563 * [taylor]: Taking taylor expansion of (/ 1 z) in x 17.563 * [taylor]: Taking taylor expansion of z in x 17.563 * [taylor]: Taking taylor expansion of (/ -1 t) in x 17.563 * [taylor]: Taking taylor expansion of -1 in x 17.563 * [taylor]: Taking taylor expansion of t in x 17.563 * [taylor]: Taking taylor expansion of (- (/ y t) (/ y z)) in y 17.563 * [taylor]: Taking taylor expansion of (/ y t) in y 17.563 * [taylor]: Taking taylor expansion of y in y 17.563 * [taylor]: Taking taylor expansion of t in y 17.563 * [taylor]: Taking taylor expansion of (/ y z) in y 17.563 * [taylor]: Taking taylor expansion of y in y 17.563 * [taylor]: Taking taylor expansion of z in y 17.565 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in y 17.565 * [taylor]: Taking taylor expansion of (/ 1 t) in y 17.565 * [taylor]: Taking taylor expansion of t in y 17.565 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in z 17.565 * [taylor]: Taking taylor expansion of (/ 1 t) in z 17.565 * [taylor]: Taking taylor expansion of t in z 17.565 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 17.565 * [taylor]: Taking taylor expansion of (/ 1 t) in z 17.565 * [taylor]: Taking taylor expansion of t in z 17.565 * [taylor]: Taking taylor expansion of (/ 1 z) in z 17.565 * [taylor]: Taking taylor expansion of z in z 17.566 * [taylor]: Taking taylor expansion of -1 in t 17.568 * [taylor]: Taking taylor expansion of 0 in y 17.568 * [taylor]: Taking taylor expansion of 0 in z 17.568 * [taylor]: Taking taylor expansion of 0 in z 17.569 * [taylor]: Taking taylor expansion of 0 in z 17.569 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 17.569 * [taylor]: Taking taylor expansion of (/ 1 t) in t 17.569 * [taylor]: Taking taylor expansion of t in t 17.570 * [taylor]: Taking taylor expansion of (/ 1 t) in t 17.570 * [taylor]: Taking taylor expansion of t in t 17.571 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 17.571 * [approximate]: Taking taylor expansion of (fma (/ x y) (- z t) t) in (x y z t) around 0 17.571 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in t 17.572 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 17.572 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in t 17.572 * [taylor]: Taking taylor expansion of (/ x y) in t 17.572 * [taylor]: Taking taylor expansion of x in t 17.572 * [taylor]: Taking taylor expansion of y in t 17.572 * [taylor]: Taking taylor expansion of (- z t) in t 17.572 * [taylor]: Taking taylor expansion of z in t 17.572 * [taylor]: Taking taylor expansion of t in t 17.572 * [taylor]: Taking taylor expansion of t in t 17.572 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in z 17.572 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 17.572 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in z 17.572 * [taylor]: Taking taylor expansion of (/ x y) in z 17.572 * [taylor]: Taking taylor expansion of x in z 17.572 * [taylor]: Taking taylor expansion of y in z 17.572 * [taylor]: Taking taylor expansion of (- z t) in z 17.572 * [taylor]: Taking taylor expansion of z in z 17.572 * [taylor]: Taking taylor expansion of t in z 17.572 * [taylor]: Taking taylor expansion of t in z 17.572 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in y 17.572 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 17.572 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in y 17.572 * [taylor]: Taking taylor expansion of (/ x y) in y 17.572 * [taylor]: Taking taylor expansion of x in y 17.572 * [taylor]: Taking taylor expansion of y in y 17.572 * [taylor]: Taking taylor expansion of (- z t) in y 17.572 * [taylor]: Taking taylor expansion of z in y 17.572 * [taylor]: Taking taylor expansion of t in y 17.572 * [taylor]: Taking taylor expansion of t in y 17.572 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in x 17.572 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 17.572 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in x 17.572 * [taylor]: Taking taylor expansion of (/ x y) in x 17.572 * [taylor]: Taking taylor expansion of x in x 17.572 * [taylor]: Taking taylor expansion of y in x 17.572 * [taylor]: Taking taylor expansion of (- z t) in x 17.573 * [taylor]: Taking taylor expansion of z in x 17.573 * [taylor]: Taking taylor expansion of t in x 17.573 * [taylor]: Taking taylor expansion of t in x 17.573 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in x 17.573 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 17.573 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in x 17.573 * [taylor]: Taking taylor expansion of (/ x y) in x 17.573 * [taylor]: Taking taylor expansion of x in x 17.573 * [taylor]: Taking taylor expansion of y in x 17.573 * [taylor]: Taking taylor expansion of (- z t) in x 17.573 * [taylor]: Taking taylor expansion of z in x 17.573 * [taylor]: Taking taylor expansion of t in x 17.573 * [taylor]: Taking taylor expansion of t in x 17.573 * [taylor]: Taking taylor expansion of t in y 17.573 * [taylor]: Taking taylor expansion of (- (/ z y) (/ t y)) in y 17.573 * [taylor]: Taking taylor expansion of (/ z y) in y 17.573 * [taylor]: Taking taylor expansion of z in y 17.573 * [taylor]: Taking taylor expansion of y in y 17.573 * [taylor]: Taking taylor expansion of (/ t y) in y 17.573 * [taylor]: Taking taylor expansion of t in y 17.573 * [taylor]: Taking taylor expansion of y in y 17.573 * [taylor]: Taking taylor expansion of (- z t) in z 17.573 * [taylor]: Taking taylor expansion of z in z 17.573 * [taylor]: Taking taylor expansion of t in z 17.573 * [taylor]: Taking taylor expansion of (- t) in t 17.573 * [taylor]: Taking taylor expansion of t in t 17.574 * [taylor]: Taking taylor expansion of t in z 17.574 * [taylor]: Taking taylor expansion of t in t 17.574 * [taylor]: Taking taylor expansion of 0 in y 17.576 * [taylor]: Taking taylor expansion of 0 in z 17.576 * [taylor]: Taking taylor expansion of 0 in t 17.576 * [taylor]: Taking taylor expansion of 0 in z 17.576 * [taylor]: Taking taylor expansion of 0 in t 17.577 * [taylor]: Taking taylor expansion of 1 in t 17.577 * [taylor]: Taking taylor expansion of 0 in t 17.578 * [approximate]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in (x y z t) around 0 17.578 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in t 17.578 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 17.578 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in t 17.578 * [taylor]: Taking taylor expansion of (/ y x) in t 17.578 * [taylor]: Taking taylor expansion of y in t 17.578 * [taylor]: Taking taylor expansion of x in t 17.578 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 17.578 * [taylor]: Taking taylor expansion of (/ 1 z) in t 17.578 * [taylor]: Taking taylor expansion of z in t 17.578 * [taylor]: Taking taylor expansion of (/ 1 t) in t 17.578 * [taylor]: Taking taylor expansion of t in t 17.578 * [taylor]: Taking taylor expansion of (/ 1 t) in t 17.578 * [taylor]: Taking taylor expansion of t in t 17.579 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in z 17.579 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 17.579 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in z 17.579 * [taylor]: Taking taylor expansion of (/ y x) in z 17.579 * [taylor]: Taking taylor expansion of y in z 17.579 * [taylor]: Taking taylor expansion of x in z 17.579 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 17.579 * [taylor]: Taking taylor expansion of (/ 1 z) in z 17.579 * [taylor]: Taking taylor expansion of z in z 17.579 * [taylor]: Taking taylor expansion of (/ 1 t) in z 17.579 * [taylor]: Taking taylor expansion of t in z 17.579 * [taylor]: Taking taylor expansion of (/ 1 t) in z 17.579 * [taylor]: Taking taylor expansion of t in z 17.579 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in y 17.579 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 17.579 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in y 17.579 * [taylor]: Taking taylor expansion of (/ y x) in y 17.579 * [taylor]: Taking taylor expansion of y in y 17.579 * [taylor]: Taking taylor expansion of x in y 17.579 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 17.579 * [taylor]: Taking taylor expansion of (/ 1 z) in y 17.579 * [taylor]: Taking taylor expansion of z in y 17.580 * [taylor]: Taking taylor expansion of (/ 1 t) in y 17.580 * [taylor]: Taking taylor expansion of t in y 17.580 * [taylor]: Taking taylor expansion of (/ 1 t) in y 17.580 * [taylor]: Taking taylor expansion of t in y 17.580 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in x 17.580 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 17.580 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in x 17.580 * [taylor]: Taking taylor expansion of (/ y x) in x 17.580 * [taylor]: Taking taylor expansion of y in x 17.580 * [taylor]: Taking taylor expansion of x in x 17.580 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 17.580 * [taylor]: Taking taylor expansion of (/ 1 z) in x 17.580 * [taylor]: Taking taylor expansion of z in x 17.580 * [taylor]: Taking taylor expansion of (/ 1 t) in x 17.580 * [taylor]: Taking taylor expansion of t in x 17.580 * [taylor]: Taking taylor expansion of (/ 1 t) in x 17.580 * [taylor]: Taking taylor expansion of t in x 17.580 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in x 17.580 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 17.580 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in x 17.580 * [taylor]: Taking taylor expansion of (/ y x) in x 17.580 * [taylor]: Taking taylor expansion of y in x 17.580 * [taylor]: Taking taylor expansion of x in x 17.580 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 17.580 * [taylor]: Taking taylor expansion of (/ 1 z) in x 17.580 * [taylor]: Taking taylor expansion of z in x 17.580 * [taylor]: Taking taylor expansion of (/ 1 t) in x 17.580 * [taylor]: Taking taylor expansion of t in x 17.580 * [taylor]: Taking taylor expansion of (/ 1 t) in x 17.580 * [taylor]: Taking taylor expansion of t in x 17.581 * [taylor]: Taking taylor expansion of (- (/ y z) (/ y t)) in y 17.581 * [taylor]: Taking taylor expansion of (/ y z) in y 17.581 * [taylor]: Taking taylor expansion of y in y 17.581 * [taylor]: Taking taylor expansion of z in y 17.581 * [taylor]: Taking taylor expansion of (/ y t) in y 17.581 * [taylor]: Taking taylor expansion of y in y 17.581 * [taylor]: Taking taylor expansion of t in y 17.582 * [taylor]: Taking taylor expansion of (/ 1 t) in y 17.582 * [taylor]: Taking taylor expansion of t in y 17.582 * [taylor]: Taking taylor expansion of (/ 1 t) in z 17.582 * [taylor]: Taking taylor expansion of t in z 17.582 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 17.582 * [taylor]: Taking taylor expansion of (/ 1 z) in z 17.582 * [taylor]: Taking taylor expansion of z in z 17.583 * [taylor]: Taking taylor expansion of (/ 1 t) in z 17.583 * [taylor]: Taking taylor expansion of t in z 17.583 * [taylor]: Taking taylor expansion of 1 in t 17.585 * [taylor]: Taking taylor expansion of 0 in y 17.585 * [taylor]: Taking taylor expansion of 0 in z 17.585 * [taylor]: Taking taylor expansion of 0 in z 17.586 * [taylor]: Taking taylor expansion of 0 in z 17.586 * [taylor]: Taking taylor expansion of (/ 1 t) in t 17.586 * [taylor]: Taking taylor expansion of t in t 17.587 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 17.587 * [taylor]: Taking taylor expansion of (/ 1 t) in t 17.587 * [taylor]: Taking taylor expansion of t in t 17.588 * [approximate]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in (x y z t) around 0 17.588 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in t 17.589 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 17.589 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in t 17.589 * [taylor]: Taking taylor expansion of (/ y x) in t 17.589 * [taylor]: Taking taylor expansion of y in t 17.589 * [taylor]: Taking taylor expansion of x in t 17.589 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 17.589 * [taylor]: Taking taylor expansion of (/ 1 t) in t 17.589 * [taylor]: Taking taylor expansion of t in t 17.589 * [taylor]: Taking taylor expansion of (/ 1 z) in t 17.589 * [taylor]: Taking taylor expansion of z in t 17.589 * [taylor]: Taking taylor expansion of (/ -1 t) in t 17.589 * [taylor]: Taking taylor expansion of -1 in t 17.589 * [taylor]: Taking taylor expansion of t in t 17.589 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in z 17.590 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 17.590 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in z 17.590 * [taylor]: Taking taylor expansion of (/ y x) in z 17.590 * [taylor]: Taking taylor expansion of y in z 17.590 * [taylor]: Taking taylor expansion of x in z 17.590 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 17.590 * [taylor]: Taking taylor expansion of (/ 1 t) in z 17.590 * [taylor]: Taking taylor expansion of t in z 17.590 * [taylor]: Taking taylor expansion of (/ 1 z) in z 17.590 * [taylor]: Taking taylor expansion of z in z 17.590 * [taylor]: Taking taylor expansion of (/ -1 t) in z 17.590 * [taylor]: Taking taylor expansion of -1 in z 17.590 * [taylor]: Taking taylor expansion of t in z 17.590 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in y 17.590 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 17.590 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in y 17.590 * [taylor]: Taking taylor expansion of (/ y x) in y 17.590 * [taylor]: Taking taylor expansion of y in y 17.590 * [taylor]: Taking taylor expansion of x in y 17.590 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 17.590 * [taylor]: Taking taylor expansion of (/ 1 t) in y 17.590 * [taylor]: Taking taylor expansion of t in y 17.590 * [taylor]: Taking taylor expansion of (/ 1 z) in y 17.590 * [taylor]: Taking taylor expansion of z in y 17.590 * [taylor]: Taking taylor expansion of (/ -1 t) in y 17.590 * [taylor]: Taking taylor expansion of -1 in y 17.590 * [taylor]: Taking taylor expansion of t in y 17.591 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in x 17.591 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 17.591 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in x 17.591 * [taylor]: Taking taylor expansion of (/ y x) in x 17.591 * [taylor]: Taking taylor expansion of y in x 17.591 * [taylor]: Taking taylor expansion of x in x 17.591 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 17.591 * [taylor]: Taking taylor expansion of (/ 1 t) in x 17.591 * [taylor]: Taking taylor expansion of t in x 17.591 * [taylor]: Taking taylor expansion of (/ 1 z) in x 17.591 * [taylor]: Taking taylor expansion of z in x 17.591 * [taylor]: Taking taylor expansion of (/ -1 t) in x 17.591 * [taylor]: Taking taylor expansion of -1 in x 17.591 * [taylor]: Taking taylor expansion of t in x 17.591 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in x 17.591 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 17.591 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in x 17.591 * [taylor]: Taking taylor expansion of (/ y x) in x 17.591 * [taylor]: Taking taylor expansion of y in x 17.591 * [taylor]: Taking taylor expansion of x in x 17.591 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 17.591 * [taylor]: Taking taylor expansion of (/ 1 t) in x 17.591 * [taylor]: Taking taylor expansion of t in x 17.591 * [taylor]: Taking taylor expansion of (/ 1 z) in x 17.591 * [taylor]: Taking taylor expansion of z in x 17.591 * [taylor]: Taking taylor expansion of (/ -1 t) in x 17.591 * [taylor]: Taking taylor expansion of -1 in x 17.591 * [taylor]: Taking taylor expansion of t in x 17.592 * [taylor]: Taking taylor expansion of (- (/ y t) (/ y z)) in y 17.592 * [taylor]: Taking taylor expansion of (/ y t) in y 17.592 * [taylor]: Taking taylor expansion of y in y 17.592 * [taylor]: Taking taylor expansion of t in y 17.592 * [taylor]: Taking taylor expansion of (/ y z) in y 17.592 * [taylor]: Taking taylor expansion of y in y 17.592 * [taylor]: Taking taylor expansion of z in y 17.593 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in y 17.593 * [taylor]: Taking taylor expansion of (/ 1 t) in y 17.593 * [taylor]: Taking taylor expansion of t in y 17.593 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in z 17.593 * [taylor]: Taking taylor expansion of (/ 1 t) in z 17.593 * [taylor]: Taking taylor expansion of t in z 17.593 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 17.593 * [taylor]: Taking taylor expansion of (/ 1 t) in z 17.593 * [taylor]: Taking taylor expansion of t in z 17.593 * [taylor]: Taking taylor expansion of (/ 1 z) in z 17.593 * [taylor]: Taking taylor expansion of z in z 17.594 * [taylor]: Taking taylor expansion of -1 in t 17.596 * [taylor]: Taking taylor expansion of 0 in y 17.596 * [taylor]: Taking taylor expansion of 0 in z 17.597 * [taylor]: Taking taylor expansion of 0 in z 17.597 * [taylor]: Taking taylor expansion of 0 in z 17.597 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 17.597 * [taylor]: Taking taylor expansion of (/ 1 t) in t 17.597 * [taylor]: Taking taylor expansion of t in t 17.598 * [taylor]: Taking taylor expansion of (/ 1 t) in t 17.598 * [taylor]: Taking taylor expansion of t in t 17.599 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 17.600 * [approximate]: Taking taylor expansion of (pow (fma (/ x y) (- z t) t) 1/3) in (x y z t) around 0 17.600 * [taylor]: Taking taylor expansion of (pow (fma (/ x y) (- z t) t) 1/3) in t 17.600 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ x y) (- z t) t)))) in t 17.600 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ x y) (- z t) t))) in t 17.600 * [taylor]: Taking taylor expansion of 1/3 in t 17.600 * [taylor]: Taking taylor expansion of (log (fma (/ x y) (- z t) t)) in t 17.600 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in t 17.600 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 17.600 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in t 17.600 * [taylor]: Taking taylor expansion of (/ x y) in t 17.600 * [taylor]: Taking taylor expansion of x in t 17.600 * [taylor]: Taking taylor expansion of y in t 17.600 * [taylor]: Taking taylor expansion of (- z t) in t 17.600 * [taylor]: Taking taylor expansion of z in t 17.600 * [taylor]: Taking taylor expansion of t in t 17.600 * [taylor]: Taking taylor expansion of t in t 17.601 * [taylor]: Taking taylor expansion of (pow (fma (/ x y) (- z t) t) 1/3) in z 17.601 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ x y) (- z t) t)))) in z 17.601 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ x y) (- z t) t))) in z 17.601 * [taylor]: Taking taylor expansion of 1/3 in z 17.601 * [taylor]: Taking taylor expansion of (log (fma (/ x y) (- z t) t)) in z 17.601 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in z 17.601 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 17.601 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in z 17.601 * [taylor]: Taking taylor expansion of (/ x y) in z 17.601 * [taylor]: Taking taylor expansion of x in z 17.601 * [taylor]: Taking taylor expansion of y in z 17.601 * [taylor]: Taking taylor expansion of (- z t) in z 17.601 * [taylor]: Taking taylor expansion of z in z 17.601 * [taylor]: Taking taylor expansion of t in z 17.601 * [taylor]: Taking taylor expansion of t in z 17.601 * [taylor]: Taking taylor expansion of (pow (fma (/ x y) (- z t) t) 1/3) in y 17.601 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ x y) (- z t) t)))) in y 17.601 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ x y) (- z t) t))) in y 17.601 * [taylor]: Taking taylor expansion of 1/3 in y 17.601 * [taylor]: Taking taylor expansion of (log (fma (/ x y) (- z t) t)) in y 17.601 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in y 17.601 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 17.602 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in y 17.602 * [taylor]: Taking taylor expansion of (/ x y) in y 17.602 * [taylor]: Taking taylor expansion of x in y 17.602 * [taylor]: Taking taylor expansion of y in y 17.602 * [taylor]: Taking taylor expansion of (- z t) in y 17.602 * [taylor]: Taking taylor expansion of z in y 17.602 * [taylor]: Taking taylor expansion of t in y 17.602 * [taylor]: Taking taylor expansion of t in y 17.602 * [taylor]: Taking taylor expansion of (pow (fma (/ x y) (- z t) t) 1/3) in x 17.602 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ x y) (- z t) t)))) in x 17.602 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ x y) (- z t) t))) in x 17.602 * [taylor]: Taking taylor expansion of 1/3 in x 17.602 * [taylor]: Taking taylor expansion of (log (fma (/ x y) (- z t) t)) in x 17.603 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in x 17.603 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 17.603 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in x 17.603 * [taylor]: Taking taylor expansion of (/ x y) in x 17.603 * [taylor]: Taking taylor expansion of x in x 17.603 * [taylor]: Taking taylor expansion of y in x 17.603 * [taylor]: Taking taylor expansion of (- z t) in x 17.603 * [taylor]: Taking taylor expansion of z in x 17.603 * [taylor]: Taking taylor expansion of t in x 17.603 * [taylor]: Taking taylor expansion of t in x 17.603 * [taylor]: Taking taylor expansion of (pow (fma (/ x y) (- z t) t) 1/3) in x 17.603 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ x y) (- z t) t)))) in x 17.603 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ x y) (- z t) t))) in x 17.603 * [taylor]: Taking taylor expansion of 1/3 in x 17.603 * [taylor]: Taking taylor expansion of (log (fma (/ x y) (- z t) t)) in x 17.603 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in x 17.603 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 17.603 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in x 17.603 * [taylor]: Taking taylor expansion of (/ x y) in x 17.603 * [taylor]: Taking taylor expansion of x in x 17.603 * [taylor]: Taking taylor expansion of y in x 17.603 * [taylor]: Taking taylor expansion of (- z t) in x 17.603 * [taylor]: Taking taylor expansion of z in x 17.603 * [taylor]: Taking taylor expansion of t in x 17.603 * [taylor]: Taking taylor expansion of t in x 17.603 * [taylor]: Taking taylor expansion of (pow t 1/3) in y 17.603 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in y 17.603 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in y 17.603 * [taylor]: Taking taylor expansion of 1/3 in y 17.603 * [taylor]: Taking taylor expansion of (log t) in y 17.603 * [taylor]: Taking taylor expansion of t in y 17.604 * [taylor]: Taking taylor expansion of (pow t 1/3) in z 17.604 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in z 17.604 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in z 17.604 * [taylor]: Taking taylor expansion of 1/3 in z 17.604 * [taylor]: Taking taylor expansion of (log t) in z 17.604 * [taylor]: Taking taylor expansion of t in z 17.604 * [taylor]: Taking taylor expansion of (pow t 1/3) in t 17.604 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t 17.604 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t 17.604 * [taylor]: Taking taylor expansion of 1/3 in t 17.604 * [taylor]: Taking taylor expansion of (log t) in t 17.604 * [taylor]: Taking taylor expansion of t in t 17.605 * [taylor]: Taking taylor expansion of (* (pow t 1/3) (- (* 1/3 (/ z (* t y))) (* 1/3 (/ 1 y)))) in y 17.605 * [taylor]: Taking taylor expansion of (pow t 1/3) in y 17.605 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in y 17.605 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in y 17.605 * [taylor]: Taking taylor expansion of 1/3 in y 17.605 * [taylor]: Taking taylor expansion of (log t) in y 17.605 * [taylor]: Taking taylor expansion of t in y 17.606 * [taylor]: Taking taylor expansion of (- (* 1/3 (/ z (* t y))) (* 1/3 (/ 1 y))) in y 17.606 * [taylor]: Taking taylor expansion of (* 1/3 (/ z (* t y))) in y 17.606 * [taylor]: Taking taylor expansion of 1/3 in y 17.606 * [taylor]: Taking taylor expansion of (/ z (* t y)) in y 17.606 * [taylor]: Taking taylor expansion of z in y 17.606 * [taylor]: Taking taylor expansion of (* t y) in y 17.606 * [taylor]: Taking taylor expansion of t in y 17.606 * [taylor]: Taking taylor expansion of y in y 17.606 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 y)) in y 17.606 * [taylor]: Taking taylor expansion of 1/3 in y 17.606 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.606 * [taylor]: Taking taylor expansion of y in y 17.613 * [taylor]: Taking taylor expansion of 0 in z 17.613 * [taylor]: Taking taylor expansion of 0 in t 17.615 * [taylor]: Taking taylor expansion of 0 in z 17.615 * [taylor]: Taking taylor expansion of 0 in t 17.616 * [taylor]: Taking taylor expansion of 0 in t 17.621 * [taylor]: Taking taylor expansion of (* (pow t 1/3) (- (* 2/9 (/ z (* t (pow y 2)))) (+ (* 1/9 (/ (pow z 2) (* (pow t 2) (pow y 2)))) (* 1/9 (/ 1 (pow y 2)))))) in y 17.621 * [taylor]: Taking taylor expansion of (pow t 1/3) in y 17.621 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in y 17.621 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in y 17.621 * [taylor]: Taking taylor expansion of 1/3 in y 17.621 * [taylor]: Taking taylor expansion of (log t) in y 17.621 * [taylor]: Taking taylor expansion of t in y 17.621 * [taylor]: Taking taylor expansion of (- (* 2/9 (/ z (* t (pow y 2)))) (+ (* 1/9 (/ (pow z 2) (* (pow t 2) (pow y 2)))) (* 1/9 (/ 1 (pow y 2))))) in y 17.621 * [taylor]: Taking taylor expansion of (* 2/9 (/ z (* t (pow y 2)))) in y 17.622 * [taylor]: Taking taylor expansion of 2/9 in y 17.622 * [taylor]: Taking taylor expansion of (/ z (* t (pow y 2))) in y 17.622 * [taylor]: Taking taylor expansion of z in y 17.622 * [taylor]: Taking taylor expansion of (* t (pow y 2)) in y 17.622 * [taylor]: Taking taylor expansion of t in y 17.622 * [taylor]: Taking taylor expansion of (pow y 2) in y 17.622 * [taylor]: Taking taylor expansion of y in y 17.622 * [taylor]: Taking taylor expansion of (+ (* 1/9 (/ (pow z 2) (* (pow t 2) (pow y 2)))) (* 1/9 (/ 1 (pow y 2)))) in y 17.622 * [taylor]: Taking taylor expansion of (* 1/9 (/ (pow z 2) (* (pow t 2) (pow y 2)))) in y 17.622 * [taylor]: Taking taylor expansion of 1/9 in y 17.622 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* (pow t 2) (pow y 2))) in y 17.622 * [taylor]: Taking taylor expansion of (pow z 2) in y 17.622 * [taylor]: Taking taylor expansion of z in y 17.622 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow y 2)) in y 17.622 * [taylor]: Taking taylor expansion of (pow t 2) in y 17.622 * [taylor]: Taking taylor expansion of t in y 17.622 * [taylor]: Taking taylor expansion of (pow y 2) in y 17.622 * [taylor]: Taking taylor expansion of y in y 17.623 * [taylor]: Taking taylor expansion of (* 1/9 (/ 1 (pow y 2))) in y 17.623 * [taylor]: Taking taylor expansion of 1/9 in y 17.623 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 17.623 * [taylor]: Taking taylor expansion of (pow y 2) in y 17.623 * [taylor]: Taking taylor expansion of y in y 17.639 * [taylor]: Taking taylor expansion of 0 in z 17.639 * [taylor]: Taking taylor expansion of 0 in t 17.644 * [taylor]: Taking taylor expansion of 0 in z 17.644 * [taylor]: Taking taylor expansion of 0 in t 17.645 * [approximate]: Taking taylor expansion of (pow (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) 1/3) in (x y z t) around 0 17.645 * [taylor]: Taking taylor expansion of (pow (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) 1/3) in t 17.645 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t))))) in t 17.645 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)))) in t 17.645 * [taylor]: Taking taylor expansion of 1/3 in t 17.645 * [taylor]: Taking taylor expansion of (log (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t))) in t 17.645 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in t 17.645 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 17.645 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in t 17.645 * [taylor]: Taking taylor expansion of (/ y x) in t 17.645 * [taylor]: Taking taylor expansion of y in t 17.645 * [taylor]: Taking taylor expansion of x in t 17.645 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 17.645 * [taylor]: Taking taylor expansion of (/ 1 z) in t 17.645 * [taylor]: Taking taylor expansion of z in t 17.645 * [taylor]: Taking taylor expansion of (/ 1 t) in t 17.645 * [taylor]: Taking taylor expansion of t in t 17.645 * [taylor]: Taking taylor expansion of (/ 1 t) in t 17.645 * [taylor]: Taking taylor expansion of t in t 17.647 * [taylor]: Taking taylor expansion of (pow (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) 1/3) in z 17.647 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t))))) in z 17.647 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)))) in z 17.647 * [taylor]: Taking taylor expansion of 1/3 in z 17.647 * [taylor]: Taking taylor expansion of (log (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t))) in z 17.647 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in z 17.647 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 17.647 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in z 17.647 * [taylor]: Taking taylor expansion of (/ y x) in z 17.647 * [taylor]: Taking taylor expansion of y in z 17.647 * [taylor]: Taking taylor expansion of x in z 17.647 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 17.647 * [taylor]: Taking taylor expansion of (/ 1 z) in z 17.647 * [taylor]: Taking taylor expansion of z in z 17.647 * [taylor]: Taking taylor expansion of (/ 1 t) in z 17.647 * [taylor]: Taking taylor expansion of t in z 17.647 * [taylor]: Taking taylor expansion of (/ 1 t) in z 17.648 * [taylor]: Taking taylor expansion of t in z 17.648 * [taylor]: Taking taylor expansion of (pow (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) 1/3) in y 17.648 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t))))) in y 17.648 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)))) in y 17.648 * [taylor]: Taking taylor expansion of 1/3 in y 17.648 * [taylor]: Taking taylor expansion of (log (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t))) in y 17.648 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in y 17.649 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 17.649 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in y 17.649 * [taylor]: Taking taylor expansion of (/ y x) in y 17.649 * [taylor]: Taking taylor expansion of y in y 17.649 * [taylor]: Taking taylor expansion of x in y 17.649 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 17.649 * [taylor]: Taking taylor expansion of (/ 1 z) in y 17.649 * [taylor]: Taking taylor expansion of z in y 17.649 * [taylor]: Taking taylor expansion of (/ 1 t) in y 17.649 * [taylor]: Taking taylor expansion of t in y 17.649 * [taylor]: Taking taylor expansion of (/ 1 t) in y 17.649 * [taylor]: Taking taylor expansion of t in y 17.649 * [taylor]: Taking taylor expansion of (pow (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) 1/3) in x 17.649 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t))))) in x 17.649 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)))) in x 17.649 * [taylor]: Taking taylor expansion of 1/3 in x 17.649 * [taylor]: Taking taylor expansion of (log (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t))) in x 17.649 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in x 17.649 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 17.649 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in x 17.649 * [taylor]: Taking taylor expansion of (/ y x) in x 17.649 * [taylor]: Taking taylor expansion of y in x 17.649 * [taylor]: Taking taylor expansion of x in x 17.649 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 17.649 * [taylor]: Taking taylor expansion of (/ 1 z) in x 17.649 * [taylor]: Taking taylor expansion of z in x 17.649 * [taylor]: Taking taylor expansion of (/ 1 t) in x 17.649 * [taylor]: Taking taylor expansion of t in x 17.649 * [taylor]: Taking taylor expansion of (/ 1 t) in x 17.649 * [taylor]: Taking taylor expansion of t in x 17.650 * [taylor]: Taking taylor expansion of (pow (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) 1/3) in x 17.650 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t))))) in x 17.650 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)))) in x 17.650 * [taylor]: Taking taylor expansion of 1/3 in x 17.650 * [taylor]: Taking taylor expansion of (log (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t))) in x 17.650 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in x 17.651 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 17.651 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in x 17.651 * [taylor]: Taking taylor expansion of (/ y x) in x 17.651 * [taylor]: Taking taylor expansion of y in x 17.651 * [taylor]: Taking taylor expansion of x in x 17.651 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 17.651 * [taylor]: Taking taylor expansion of (/ 1 z) in x 17.651 * [taylor]: Taking taylor expansion of z in x 17.651 * [taylor]: Taking taylor expansion of (/ 1 t) in x 17.651 * [taylor]: Taking taylor expansion of t in x 17.651 * [taylor]: Taking taylor expansion of (/ 1 t) in x 17.651 * [taylor]: Taking taylor expansion of t in x 17.652 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (- (/ y z) (/ y t))) (log x)))) in y 17.652 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (- (/ y z) (/ y t))) (log x))) in y 17.652 * [taylor]: Taking taylor expansion of 1/3 in y 17.652 * [taylor]: Taking taylor expansion of (- (log (- (/ y z) (/ y t))) (log x)) in y 17.652 * [taylor]: Taking taylor expansion of (log (- (/ y z) (/ y t))) in y 17.652 * [taylor]: Taking taylor expansion of (- (/ y z) (/ y t)) in y 17.652 * [taylor]: Taking taylor expansion of (/ y z) in y 17.652 * [taylor]: Taking taylor expansion of y in y 17.652 * [taylor]: Taking taylor expansion of z in y 17.652 * [taylor]: Taking taylor expansion of (/ y t) in y 17.652 * [taylor]: Taking taylor expansion of y in y 17.652 * [taylor]: Taking taylor expansion of t in y 17.652 * [taylor]: Taking taylor expansion of (log x) in y 17.652 * [taylor]: Taking taylor expansion of x in y 17.653 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log (- (/ 1 z) (/ 1 t))) (log y)) (log x)))) in z 17.653 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log (- (/ 1 z) (/ 1 t))) (log y)) (log x))) in z 17.653 * [taylor]: Taking taylor expansion of 1/3 in z 17.653 * [taylor]: Taking taylor expansion of (- (+ (log (- (/ 1 z) (/ 1 t))) (log y)) (log x)) in z 17.653 * [taylor]: Taking taylor expansion of (+ (log (- (/ 1 z) (/ 1 t))) (log y)) in z 17.653 * [taylor]: Taking taylor expansion of (log (- (/ 1 z) (/ 1 t))) in z 17.653 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 17.653 * [taylor]: Taking taylor expansion of (/ 1 z) in z 17.653 * [taylor]: Taking taylor expansion of z in z 17.653 * [taylor]: Taking taylor expansion of (/ 1 t) in z 17.653 * [taylor]: Taking taylor expansion of t in z 17.654 * [taylor]: Taking taylor expansion of (log y) in z 17.654 * [taylor]: Taking taylor expansion of y in z 17.654 * [taylor]: Taking taylor expansion of (log x) in z 17.654 * [taylor]: Taking taylor expansion of x in z 17.655 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log y) (+ (log z) (log x))))) in t 17.655 * [taylor]: Taking taylor expansion of (* 1/3 (- (log y) (+ (log z) (log x)))) in t 17.655 * [taylor]: Taking taylor expansion of 1/3 in t 17.655 * [taylor]: Taking taylor expansion of (- (log y) (+ (log z) (log x))) in t 17.655 * [taylor]: Taking taylor expansion of (log y) in t 17.655 * [taylor]: Taking taylor expansion of y in t 17.655 * [taylor]: Taking taylor expansion of (+ (log z) (log x)) in t 17.655 * [taylor]: Taking taylor expansion of (log z) in t 17.655 * [taylor]: Taking taylor expansion of z in t 17.655 * [taylor]: Taking taylor expansion of (log x) in t 17.655 * [taylor]: Taking taylor expansion of x in t 17.659 * [taylor]: Taking taylor expansion of (* 1/3 (/ (exp (* 1/3 (- (log (- (/ y z) (/ y t))) (log x)))) (* (- (/ y z) (/ y t)) t))) in y 17.659 * [taylor]: Taking taylor expansion of 1/3 in y 17.659 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (- (/ y z) (/ y t))) (log x)))) (* (- (/ y z) (/ y t)) t)) in y 17.659 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (- (/ y z) (/ y t))) (log x)))) in y 17.659 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (- (/ y z) (/ y t))) (log x))) in y 17.659 * [taylor]: Taking taylor expansion of 1/3 in y 17.659 * [taylor]: Taking taylor expansion of (- (log (- (/ y z) (/ y t))) (log x)) in y 17.659 * [taylor]: Taking taylor expansion of (log (- (/ y z) (/ y t))) in y 17.659 * [taylor]: Taking taylor expansion of (- (/ y z) (/ y t)) in y 17.659 * [taylor]: Taking taylor expansion of (/ y z) in y 17.659 * [taylor]: Taking taylor expansion of y in y 17.659 * [taylor]: Taking taylor expansion of z in y 17.659 * [taylor]: Taking taylor expansion of (/ y t) in y 17.659 * [taylor]: Taking taylor expansion of y in y 17.659 * [taylor]: Taking taylor expansion of t in y 17.659 * [taylor]: Taking taylor expansion of (log x) in y 17.659 * [taylor]: Taking taylor expansion of x in y 17.660 * [taylor]: Taking taylor expansion of (* (- (/ y z) (/ y t)) t) in y 17.660 * [taylor]: Taking taylor expansion of (- (/ y z) (/ y t)) in y 17.660 * [taylor]: Taking taylor expansion of (/ y z) in y 17.660 * [taylor]: Taking taylor expansion of y in y 17.660 * [taylor]: Taking taylor expansion of z in y 17.660 * [taylor]: Taking taylor expansion of (/ y t) in y 17.660 * [taylor]: Taking taylor expansion of y in y 17.660 * [taylor]: Taking taylor expansion of t in y 17.660 * [taylor]: Taking taylor expansion of t in y 17.665 * [taylor]: Taking taylor expansion of 0 in z 17.665 * [taylor]: Taking taylor expansion of 0 in t 17.668 * [taylor]: Taking taylor expansion of 0 in z 17.668 * [taylor]: Taking taylor expansion of 0 in t 17.671 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* 1/3 (- (log y) (+ (log z) (log x))))) t)) in t 17.671 * [taylor]: Taking taylor expansion of -1/3 in t 17.671 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log y) (+ (log z) (log x))))) t) in t 17.671 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log y) (+ (log z) (log x))))) in t 17.671 * [taylor]: Taking taylor expansion of (* 1/3 (- (log y) (+ (log z) (log x)))) in t 17.671 * [taylor]: Taking taylor expansion of 1/3 in t 17.671 * [taylor]: Taking taylor expansion of (- (log y) (+ (log z) (log x))) in t 17.671 * [taylor]: Taking taylor expansion of (log y) in t 17.671 * [taylor]: Taking taylor expansion of y in t 17.671 * [taylor]: Taking taylor expansion of (+ (log z) (log x)) in t 17.671 * [taylor]: Taking taylor expansion of (log z) in t 17.671 * [taylor]: Taking taylor expansion of z in t 17.671 * [taylor]: Taking taylor expansion of (log x) in t 17.671 * [taylor]: Taking taylor expansion of x in t 17.672 * [taylor]: Taking taylor expansion of t in t 17.683 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log (- (/ y z) (/ y t))) (log x)))) (* (pow (- (/ y z) (/ y t)) 2) (pow t 2)))) in y 17.683 * [taylor]: Taking taylor expansion of -1/9 in y 17.683 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (- (/ y z) (/ y t))) (log x)))) (* (pow (- (/ y z) (/ y t)) 2) (pow t 2))) in y 17.683 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (- (/ y z) (/ y t))) (log x)))) in y 17.684 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (- (/ y z) (/ y t))) (log x))) in y 17.684 * [taylor]: Taking taylor expansion of 1/3 in y 17.684 * [taylor]: Taking taylor expansion of (- (log (- (/ y z) (/ y t))) (log x)) in y 17.684 * [taylor]: Taking taylor expansion of (log (- (/ y z) (/ y t))) in y 17.684 * [taylor]: Taking taylor expansion of (- (/ y z) (/ y t)) in y 17.684 * [taylor]: Taking taylor expansion of (/ y z) in y 17.684 * [taylor]: Taking taylor expansion of y in y 17.684 * [taylor]: Taking taylor expansion of z in y 17.684 * [taylor]: Taking taylor expansion of (/ y t) in y 17.684 * [taylor]: Taking taylor expansion of y in y 17.684 * [taylor]: Taking taylor expansion of t in y 17.684 * [taylor]: Taking taylor expansion of (log x) in y 17.684 * [taylor]: Taking taylor expansion of x in y 17.685 * [taylor]: Taking taylor expansion of (* (pow (- (/ y z) (/ y t)) 2) (pow t 2)) in y 17.685 * [taylor]: Taking taylor expansion of (pow (- (/ y z) (/ y t)) 2) in y 17.685 * [taylor]: Taking taylor expansion of (- (/ y z) (/ y t)) in y 17.685 * [taylor]: Taking taylor expansion of (/ y z) in y 17.685 * [taylor]: Taking taylor expansion of y in y 17.685 * [taylor]: Taking taylor expansion of z in y 17.685 * [taylor]: Taking taylor expansion of (/ y t) in y 17.685 * [taylor]: Taking taylor expansion of y in y 17.685 * [taylor]: Taking taylor expansion of t in y 17.685 * [taylor]: Taking taylor expansion of (pow t 2) in y 17.685 * [taylor]: Taking taylor expansion of t in y 17.701 * [taylor]: Taking taylor expansion of 0 in z 17.702 * [taylor]: Taking taylor expansion of 0 in t 17.709 * [taylor]: Taking taylor expansion of 0 in z 17.709 * [taylor]: Taking taylor expansion of 0 in t 17.709 * [approximate]: Taking taylor expansion of (pow (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) 1/3) in (x y z t) around 0 17.709 * [taylor]: Taking taylor expansion of (pow (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) 1/3) in t 17.709 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t))))) in t 17.709 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)))) in t 17.709 * [taylor]: Taking taylor expansion of 1/3 in t 17.709 * [taylor]: Taking taylor expansion of (log (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t))) in t 17.709 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in t 17.709 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 17.709 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in t 17.709 * [taylor]: Taking taylor expansion of (/ y x) in t 17.709 * [taylor]: Taking taylor expansion of y in t 17.709 * [taylor]: Taking taylor expansion of x in t 17.710 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 17.710 * [taylor]: Taking taylor expansion of (/ 1 t) in t 17.710 * [taylor]: Taking taylor expansion of t in t 17.710 * [taylor]: Taking taylor expansion of (/ 1 z) in t 17.710 * [taylor]: Taking taylor expansion of z in t 17.710 * [taylor]: Taking taylor expansion of (/ -1 t) in t 17.710 * [taylor]: Taking taylor expansion of -1 in t 17.710 * [taylor]: Taking taylor expansion of t in t 17.711 * [taylor]: Taking taylor expansion of (pow (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) 1/3) in z 17.711 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t))))) in z 17.711 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)))) in z 17.711 * [taylor]: Taking taylor expansion of 1/3 in z 17.711 * [taylor]: Taking taylor expansion of (log (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t))) in z 17.711 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in z 17.711 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 17.711 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in z 17.711 * [taylor]: Taking taylor expansion of (/ y x) in z 17.711 * [taylor]: Taking taylor expansion of y in z 17.711 * [taylor]: Taking taylor expansion of x in z 17.711 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 17.711 * [taylor]: Taking taylor expansion of (/ 1 t) in z 17.711 * [taylor]: Taking taylor expansion of t in z 17.711 * [taylor]: Taking taylor expansion of (/ 1 z) in z 17.711 * [taylor]: Taking taylor expansion of z in z 17.712 * [taylor]: Taking taylor expansion of (/ -1 t) in z 17.712 * [taylor]: Taking taylor expansion of -1 in z 17.712 * [taylor]: Taking taylor expansion of t in z 17.713 * [taylor]: Taking taylor expansion of (pow (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) 1/3) in y 17.713 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t))))) in y 17.713 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)))) in y 17.713 * [taylor]: Taking taylor expansion of 1/3 in y 17.713 * [taylor]: Taking taylor expansion of (log (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t))) in y 17.713 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in y 17.713 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 17.713 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in y 17.713 * [taylor]: Taking taylor expansion of (/ y x) in y 17.713 * [taylor]: Taking taylor expansion of y in y 17.713 * [taylor]: Taking taylor expansion of x in y 17.713 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 17.713 * [taylor]: Taking taylor expansion of (/ 1 t) in y 17.713 * [taylor]: Taking taylor expansion of t in y 17.713 * [taylor]: Taking taylor expansion of (/ 1 z) in y 17.713 * [taylor]: Taking taylor expansion of z in y 17.713 * [taylor]: Taking taylor expansion of (/ -1 t) in y 17.713 * [taylor]: Taking taylor expansion of -1 in y 17.713 * [taylor]: Taking taylor expansion of t in y 17.714 * [taylor]: Taking taylor expansion of (pow (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) 1/3) in x 17.714 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t))))) in x 17.714 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)))) in x 17.714 * [taylor]: Taking taylor expansion of 1/3 in x 17.714 * [taylor]: Taking taylor expansion of (log (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t))) in x 17.714 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in x 17.714 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 17.714 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in x 17.714 * [taylor]: Taking taylor expansion of (/ y x) in x 17.714 * [taylor]: Taking taylor expansion of y in x 17.714 * [taylor]: Taking taylor expansion of x in x 17.714 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 17.714 * [taylor]: Taking taylor expansion of (/ 1 t) in x 17.714 * [taylor]: Taking taylor expansion of t in x 17.714 * [taylor]: Taking taylor expansion of (/ 1 z) in x 17.714 * [taylor]: Taking taylor expansion of z in x 17.714 * [taylor]: Taking taylor expansion of (/ -1 t) in x 17.714 * [taylor]: Taking taylor expansion of -1 in x 17.714 * [taylor]: Taking taylor expansion of t in x 17.715 * [taylor]: Taking taylor expansion of (pow (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) 1/3) in x 17.715 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t))))) in x 17.715 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)))) in x 17.715 * [taylor]: Taking taylor expansion of 1/3 in x 17.715 * [taylor]: Taking taylor expansion of (log (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t))) in x 17.715 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in x 17.715 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 17.715 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in x 17.715 * [taylor]: Taking taylor expansion of (/ y x) in x 17.715 * [taylor]: Taking taylor expansion of y in x 17.715 * [taylor]: Taking taylor expansion of x in x 17.715 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 17.715 * [taylor]: Taking taylor expansion of (/ 1 t) in x 17.715 * [taylor]: Taking taylor expansion of t in x 17.715 * [taylor]: Taking taylor expansion of (/ 1 z) in x 17.715 * [taylor]: Taking taylor expansion of z in x 17.715 * [taylor]: Taking taylor expansion of (/ -1 t) in x 17.715 * [taylor]: Taking taylor expansion of -1 in x 17.715 * [taylor]: Taking taylor expansion of t in x 17.716 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (- (/ y t) (/ y z))) (log x)))) in y 17.716 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (- (/ y t) (/ y z))) (log x))) in y 17.716 * [taylor]: Taking taylor expansion of 1/3 in y 17.716 * [taylor]: Taking taylor expansion of (- (log (- (/ y t) (/ y z))) (log x)) in y 17.716 * [taylor]: Taking taylor expansion of (log (- (/ y t) (/ y z))) in y 17.717 * [taylor]: Taking taylor expansion of (- (/ y t) (/ y z)) in y 17.717 * [taylor]: Taking taylor expansion of (/ y t) in y 17.717 * [taylor]: Taking taylor expansion of y in y 17.717 * [taylor]: Taking taylor expansion of t in y 17.717 * [taylor]: Taking taylor expansion of (/ y z) in y 17.717 * [taylor]: Taking taylor expansion of y in y 17.717 * [taylor]: Taking taylor expansion of z in y 17.717 * [taylor]: Taking taylor expansion of (log x) in y 17.717 * [taylor]: Taking taylor expansion of x in y 17.718 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log (- (/ 1 t) (/ 1 z))) (log y)) (log x)))) in z 17.718 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log (- (/ 1 t) (/ 1 z))) (log y)) (log x))) in z 17.718 * [taylor]: Taking taylor expansion of 1/3 in z 17.718 * [taylor]: Taking taylor expansion of (- (+ (log (- (/ 1 t) (/ 1 z))) (log y)) (log x)) in z 17.718 * [taylor]: Taking taylor expansion of (+ (log (- (/ 1 t) (/ 1 z))) (log y)) in z 17.718 * [taylor]: Taking taylor expansion of (log (- (/ 1 t) (/ 1 z))) in z 17.718 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 17.718 * [taylor]: Taking taylor expansion of (/ 1 t) in z 17.718 * [taylor]: Taking taylor expansion of t in z 17.718 * [taylor]: Taking taylor expansion of (/ 1 z) in z 17.718 * [taylor]: Taking taylor expansion of z in z 17.719 * [taylor]: Taking taylor expansion of (log y) in z 17.719 * [taylor]: Taking taylor expansion of y in z 17.719 * [taylor]: Taking taylor expansion of (log x) in z 17.719 * [taylor]: Taking taylor expansion of x in z 17.721 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log -1) (log y)) (+ (log z) (log x))))) in t 17.721 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log -1) (log y)) (+ (log z) (log x)))) in t 17.721 * [taylor]: Taking taylor expansion of 1/3 in t 17.721 * [taylor]: Taking taylor expansion of (- (+ (log -1) (log y)) (+ (log z) (log x))) in t 17.721 * [taylor]: Taking taylor expansion of (+ (log -1) (log y)) in t 17.721 * [taylor]: Taking taylor expansion of (log -1) in t 17.721 * [taylor]: Taking taylor expansion of -1 in t 17.721 * [taylor]: Taking taylor expansion of (log y) in t 17.721 * [taylor]: Taking taylor expansion of y in t 17.721 * [taylor]: Taking taylor expansion of (+ (log z) (log x)) in t 17.721 * [taylor]: Taking taylor expansion of (log z) in t 17.721 * [taylor]: Taking taylor expansion of z in t 17.721 * [taylor]: Taking taylor expansion of (log x) in t 17.721 * [taylor]: Taking taylor expansion of x in t 17.726 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* 1/3 (- (log (- (/ y t) (/ y z))) (log x)))) (* (- (/ y t) (/ y z)) t))) in y 17.726 * [taylor]: Taking taylor expansion of -1/3 in y 17.726 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (- (/ y t) (/ y z))) (log x)))) (* (- (/ y t) (/ y z)) t)) in y 17.726 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (- (/ y t) (/ y z))) (log x)))) in y 17.726 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (- (/ y t) (/ y z))) (log x))) in y 17.726 * [taylor]: Taking taylor expansion of 1/3 in y 17.726 * [taylor]: Taking taylor expansion of (- (log (- (/ y t) (/ y z))) (log x)) in y 17.726 * [taylor]: Taking taylor expansion of (log (- (/ y t) (/ y z))) in y 17.726 * [taylor]: Taking taylor expansion of (- (/ y t) (/ y z)) in y 17.726 * [taylor]: Taking taylor expansion of (/ y t) in y 17.726 * [taylor]: Taking taylor expansion of y in y 17.726 * [taylor]: Taking taylor expansion of t in y 17.726 * [taylor]: Taking taylor expansion of (/ y z) in y 17.726 * [taylor]: Taking taylor expansion of y in y 17.726 * [taylor]: Taking taylor expansion of z in y 17.726 * [taylor]: Taking taylor expansion of (log x) in y 17.726 * [taylor]: Taking taylor expansion of x in y 17.727 * [taylor]: Taking taylor expansion of (* (- (/ y t) (/ y z)) t) in y 17.727 * [taylor]: Taking taylor expansion of (- (/ y t) (/ y z)) in y 17.727 * [taylor]: Taking taylor expansion of (/ y t) in y 17.727 * [taylor]: Taking taylor expansion of y in y 17.727 * [taylor]: Taking taylor expansion of t in y 17.727 * [taylor]: Taking taylor expansion of (/ y z) in y 17.727 * [taylor]: Taking taylor expansion of y in y 17.727 * [taylor]: Taking taylor expansion of z in y 17.727 * [taylor]: Taking taylor expansion of t in y 17.732 * [taylor]: Taking taylor expansion of 0 in z 17.732 * [taylor]: Taking taylor expansion of 0 in t 17.735 * [taylor]: Taking taylor expansion of 0 in z 17.735 * [taylor]: Taking taylor expansion of 0 in t 17.739 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* 1/3 (- (+ (log -1) (log y)) (+ (log z) (log x))))) t)) in t 17.739 * [taylor]: Taking taylor expansion of -1/3 in t 17.739 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (+ (log -1) (log y)) (+ (log z) (log x))))) t) in t 17.739 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log -1) (log y)) (+ (log z) (log x))))) in t 17.739 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log -1) (log y)) (+ (log z) (log x)))) in t 17.739 * [taylor]: Taking taylor expansion of 1/3 in t 17.739 * [taylor]: Taking taylor expansion of (- (+ (log -1) (log y)) (+ (log z) (log x))) in t 17.739 * [taylor]: Taking taylor expansion of (+ (log -1) (log y)) in t 17.739 * [taylor]: Taking taylor expansion of (log -1) in t 17.739 * [taylor]: Taking taylor expansion of -1 in t 17.739 * [taylor]: Taking taylor expansion of (log y) in t 17.739 * [taylor]: Taking taylor expansion of y in t 17.739 * [taylor]: Taking taylor expansion of (+ (log z) (log x)) in t 17.739 * [taylor]: Taking taylor expansion of (log z) in t 17.739 * [taylor]: Taking taylor expansion of z in t 17.739 * [taylor]: Taking taylor expansion of (log x) in t 17.739 * [taylor]: Taking taylor expansion of x in t 17.741 * [taylor]: Taking taylor expansion of t in t 17.756 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log (- (/ y t) (/ y z))) (log x)))) (* (pow (- (/ y t) (/ y z)) 2) (pow t 2)))) in y 17.756 * [taylor]: Taking taylor expansion of -1/9 in y 17.756 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (- (/ y t) (/ y z))) (log x)))) (* (pow (- (/ y t) (/ y z)) 2) (pow t 2))) in y 17.756 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (- (/ y t) (/ y z))) (log x)))) in y 17.756 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (- (/ y t) (/ y z))) (log x))) in y 17.756 * [taylor]: Taking taylor expansion of 1/3 in y 17.756 * [taylor]: Taking taylor expansion of (- (log (- (/ y t) (/ y z))) (log x)) in y 17.756 * [taylor]: Taking taylor expansion of (log (- (/ y t) (/ y z))) in y 17.756 * [taylor]: Taking taylor expansion of (- (/ y t) (/ y z)) in y 17.756 * [taylor]: Taking taylor expansion of (/ y t) in y 17.757 * [taylor]: Taking taylor expansion of y in y 17.757 * [taylor]: Taking taylor expansion of t in y 17.757 * [taylor]: Taking taylor expansion of (/ y z) in y 17.757 * [taylor]: Taking taylor expansion of y in y 17.757 * [taylor]: Taking taylor expansion of z in y 17.757 * [taylor]: Taking taylor expansion of (log x) in y 17.757 * [taylor]: Taking taylor expansion of x in y 17.758 * [taylor]: Taking taylor expansion of (* (pow (- (/ y t) (/ y z)) 2) (pow t 2)) in y 17.758 * [taylor]: Taking taylor expansion of (pow (- (/ y t) (/ y z)) 2) in y 17.758 * [taylor]: Taking taylor expansion of (- (/ y t) (/ y z)) in y 17.758 * [taylor]: Taking taylor expansion of (/ y t) in y 17.758 * [taylor]: Taking taylor expansion of y in y 17.758 * [taylor]: Taking taylor expansion of t in y 17.758 * [taylor]: Taking taylor expansion of (/ y z) in y 17.758 * [taylor]: Taking taylor expansion of y in y 17.758 * [taylor]: Taking taylor expansion of z in y 17.758 * [taylor]: Taking taylor expansion of (pow t 2) in y 17.758 * [taylor]: Taking taylor expansion of t in y 17.771 * [taylor]: Taking taylor expansion of 0 in z 17.771 * [taylor]: Taking taylor expansion of 0 in t 17.778 * [taylor]: Taking taylor expansion of 0 in z 17.778 * [taylor]: Taking taylor expansion of 0 in t 17.779 * * * [progress]: simplifying candidates 17.779 * [simplify]: Simplifying using # : (expm1 (fma (/ x y) (- z t) t)) (log1p (fma (/ x y) (- z t) t)) (* (/ x y) (- z t)) (log (fma (/ x y) (- z t) t)) (exp (fma (/ x y) (- z t) t)) (* (cbrt (fma (/ x y) (- z t) t)) (cbrt (fma (/ x y) (- z t) t))) (cbrt (fma (/ x y) (- z t) t)) (* (* (fma (/ x y) (- z t) t) (fma (/ x y) (- z t) t)) (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (expm1 (fma (/ x y) (- z t) t)) (log1p (fma (/ x y) (- z t) t)) (* (/ x y) (- z t)) (log (fma (/ x y) (- z t) t)) (exp (fma (/ x y) (- z t) t)) (* (cbrt (fma (/ x y) (- z t) t)) (cbrt (fma (/ x y) (- z t) t))) (cbrt (fma (/ x y) (- z t) t)) (* (* (fma (/ x y) (- z t) t) (fma (/ x y) (- z t) t)) (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (expm1 (fma (/ x y) (- z t) t)) (log1p (fma (/ x y) (- z t) t)) (* (/ x y) (- z t)) (log (fma (/ x y) (- z t) t)) (exp (fma (/ x y) (- z t) t)) (* (cbrt (fma (/ x y) (- z t) t)) (cbrt (fma (/ x y) (- z t) t))) (cbrt (fma (/ x y) (- z t) t)) (* (* (fma (/ x y) (- z t) t) (fma (/ x y) (- z t) t)) (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (expm1 (cbrt (fma (/ x y) (- z t) t))) (log1p (cbrt (fma (/ x y) (- z t) t))) (log (cbrt (fma (/ x y) (- z t) t))) (exp (cbrt (fma (/ x y) (- z t) t))) (cbrt (* (cbrt (fma (/ x y) (- z t) t)) (cbrt (fma (/ x y) (- z t) t)))) (cbrt (cbrt (fma (/ x y) (- z t) t))) (cbrt (sqrt (fma (/ x y) (- z t) t))) (cbrt (sqrt (fma (/ x y) (- z t) t))) (cbrt 1) (cbrt (fma (/ x y) (- z t) t)) (* (cbrt (cbrt (fma (/ x y) (- z t) t))) (cbrt (cbrt (fma (/ x y) (- z t) t)))) (cbrt (cbrt (fma (/ x y) (- z t) t))) (* (* (cbrt (fma (/ x y) (- z t) t)) (cbrt (fma (/ x y) (- z t) t))) (cbrt (fma (/ x y) (- z t) t))) (sqrt (cbrt (fma (/ x y) (- z t) t))) (sqrt (cbrt (fma (/ x y) (- z t) t))) (- (+ t (/ (* x z) y)) (/ (* t x) y)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) (pow t 1/3) (exp (* 1/3 (- (log (/ 1 y)) (+ (log (/ 1 x)) (log (/ 1 z)))))) (exp (* 1/3 (- (+ (log -1) (log (/ -1 y))) (+ (log (/ -1 z)) (log (/ -1 x)))))) 17.782 * * [simplify]: iteration 0 : 60 enodes (cost 683 ) 17.794 * * [simplify]: iteration 1 : 118 enodes (cost 678 ) 17.811 * * [simplify]: iteration 2 : 282 enodes (cost 611 ) 17.870 * * [simplify]: iteration 3 : 960 enodes (cost 559 ) 18.217 * * [simplify]: iteration 4 : 4584 enodes (cost 546 ) 19.829 * * [simplify]: iteration done : 5000 enodes (cost 546 ) 19.829 * [simplify]: Simplified to: (expm1 (fma (/ x y) (- z t) t)) (log1p (fma (/ x y) (- z t) t)) (* (- z t) (/ x y)) (log (fma (/ x y) (- z t) t)) (exp (fma (/ x y) (- z t) t)) (* (cbrt (fma (/ x y) (- z t) t)) (cbrt (fma (/ x y) (- z t) t))) (cbrt (fma (/ x y) (- z t) t)) (pow (fma (/ x y) (- z t) t) 3) (sqrt (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (expm1 (fma (/ x y) (- z t) t)) (log1p (fma (/ x y) (- z t) t)) (* (- z t) (/ x y)) (log (fma (/ x y) (- z t) t)) (exp (fma (/ x y) (- z t) t)) (* (cbrt (fma (/ x y) (- z t) t)) (cbrt (fma (/ x y) (- z t) t))) (cbrt (fma (/ x y) (- z t) t)) (pow (fma (/ x y) (- z t) t) 3) (sqrt (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (expm1 (fma (/ x y) (- z t) t)) (log1p (fma (/ x y) (- z t) t)) (* (- z t) (/ x y)) (log (fma (/ x y) (- z t) t)) (exp (fma (/ x y) (- z t) t)) (* (cbrt (fma (/ x y) (- z t) t)) (cbrt (fma (/ x y) (- z t) t))) (cbrt (fma (/ x y) (- z t) t)) (pow (fma (/ x y) (- z t) t) 3) (sqrt (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (expm1 (cbrt (fma (/ x y) (- z t) t))) (log1p (cbrt (fma (/ x y) (- z t) t))) (log (cbrt (fma (/ x y) (- z t) t))) (exp (cbrt (fma (/ x y) (- z t) t))) (cbrt (* (cbrt (fma (/ x y) (- z t) t)) (cbrt (fma (/ x y) (- z t) t)))) (cbrt (cbrt (fma (/ x y) (- z t) t))) (cbrt (sqrt (fma (/ x y) (- z t) t))) (cbrt (sqrt (fma (/ x y) (- z t) t))) 1 (cbrt (fma (/ x y) (- z t) t)) (* (cbrt (cbrt (fma (/ x y) (- z t) t))) (cbrt (cbrt (fma (/ x y) (- z t) t)))) (cbrt (cbrt (fma (/ x y) (- z t) t))) (fma (/ x y) (- z t) t) (sqrt (cbrt (fma (/ x y) (- z t) t))) (sqrt (cbrt (fma (/ x y) (- z t) t))) (fma (/ x y) (- z t) t) (fma (/ x y) (- z t) t) (fma (/ x y) (- z t) t) (fma (/ x y) (- z t) t) (fma (/ x y) (- z t) t) (fma (/ x y) (- z t) t) (fma (/ x y) (- z t) t) (fma (/ x y) (- z t) t) (fma (/ x y) (- z t) t) (cbrt t) (cbrt (* (* x z) (/ 1 y))) (cbrt (* (* x z) (/ 1 y))) 19.829 * * * [progress]: adding candidates to table 19.977 * * [progress]: iteration 3 / 4 19.977 * * * [progress]: picking best candidate 19.988 * * * * [pick]: Picked # 19.988 * * * [progress]: localizing error 20.006 * * * [progress]: generating rewritten candidates 20.006 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 20.006 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1) 20.007 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2 1) 20.007 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 2 1) 20.008 * * * [progress]: generating series expansions 20.008 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 20.008 * [approximate]: Taking taylor expansion of (fma (/ x y) (- z t) t) in (x y z t) around 0 20.008 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in t 20.008 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 20.008 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in t 20.008 * [taylor]: Taking taylor expansion of (/ x y) in t 20.008 * [taylor]: Taking taylor expansion of x in t 20.008 * [taylor]: Taking taylor expansion of y in t 20.008 * [taylor]: Taking taylor expansion of (- z t) in t 20.008 * [taylor]: Taking taylor expansion of z in t 20.008 * [taylor]: Taking taylor expansion of t in t 20.008 * [taylor]: Taking taylor expansion of t in t 20.008 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in z 20.008 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 20.008 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in z 20.008 * [taylor]: Taking taylor expansion of (/ x y) in z 20.008 * [taylor]: Taking taylor expansion of x in z 20.008 * [taylor]: Taking taylor expansion of y in z 20.008 * [taylor]: Taking taylor expansion of (- z t) in z 20.008 * [taylor]: Taking taylor expansion of z in z 20.009 * [taylor]: Taking taylor expansion of t in z 20.009 * [taylor]: Taking taylor expansion of t in z 20.009 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in y 20.009 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 20.009 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in y 20.009 * [taylor]: Taking taylor expansion of (/ x y) in y 20.009 * [taylor]: Taking taylor expansion of x in y 20.009 * [taylor]: Taking taylor expansion of y in y 20.009 * [taylor]: Taking taylor expansion of (- z t) in y 20.009 * [taylor]: Taking taylor expansion of z in y 20.009 * [taylor]: Taking taylor expansion of t in y 20.009 * [taylor]: Taking taylor expansion of t in y 20.009 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in x 20.009 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 20.009 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in x 20.009 * [taylor]: Taking taylor expansion of (/ x y) in x 20.009 * [taylor]: Taking taylor expansion of x in x 20.009 * [taylor]: Taking taylor expansion of y in x 20.009 * [taylor]: Taking taylor expansion of (- z t) in x 20.009 * [taylor]: Taking taylor expansion of z in x 20.009 * [taylor]: Taking taylor expansion of t in x 20.009 * [taylor]: Taking taylor expansion of t in x 20.009 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in x 20.009 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 20.009 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in x 20.009 * [taylor]: Taking taylor expansion of (/ x y) in x 20.009 * [taylor]: Taking taylor expansion of x in x 20.009 * [taylor]: Taking taylor expansion of y in x 20.009 * [taylor]: Taking taylor expansion of (- z t) in x 20.009 * [taylor]: Taking taylor expansion of z in x 20.009 * [taylor]: Taking taylor expansion of t in x 20.009 * [taylor]: Taking taylor expansion of t in x 20.009 * [taylor]: Taking taylor expansion of t in y 20.010 * [taylor]: Taking taylor expansion of (- (/ z y) (/ t y)) in y 20.010 * [taylor]: Taking taylor expansion of (/ z y) in y 20.010 * [taylor]: Taking taylor expansion of z in y 20.010 * [taylor]: Taking taylor expansion of y in y 20.010 * [taylor]: Taking taylor expansion of (/ t y) in y 20.010 * [taylor]: Taking taylor expansion of t in y 20.010 * [taylor]: Taking taylor expansion of y in y 20.010 * [taylor]: Taking taylor expansion of (- z t) in z 20.010 * [taylor]: Taking taylor expansion of z in z 20.010 * [taylor]: Taking taylor expansion of t in z 20.010 * [taylor]: Taking taylor expansion of (- t) in t 20.010 * [taylor]: Taking taylor expansion of t in t 20.010 * [taylor]: Taking taylor expansion of t in z 20.010 * [taylor]: Taking taylor expansion of t in t 20.011 * [taylor]: Taking taylor expansion of 0 in y 20.013 * [taylor]: Taking taylor expansion of 0 in z 20.013 * [taylor]: Taking taylor expansion of 0 in t 20.013 * [taylor]: Taking taylor expansion of 0 in z 20.013 * [taylor]: Taking taylor expansion of 0 in t 20.013 * [taylor]: Taking taylor expansion of 1 in t 20.013 * [taylor]: Taking taylor expansion of 0 in t 20.014 * [approximate]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in (x y z t) around 0 20.014 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in t 20.015 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 20.015 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in t 20.015 * [taylor]: Taking taylor expansion of (/ y x) in t 20.015 * [taylor]: Taking taylor expansion of y in t 20.015 * [taylor]: Taking taylor expansion of x in t 20.015 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 20.015 * [taylor]: Taking taylor expansion of (/ 1 z) in t 20.015 * [taylor]: Taking taylor expansion of z in t 20.015 * [taylor]: Taking taylor expansion of (/ 1 t) in t 20.015 * [taylor]: Taking taylor expansion of t in t 20.015 * [taylor]: Taking taylor expansion of (/ 1 t) in t 20.015 * [taylor]: Taking taylor expansion of t in t 20.015 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in z 20.015 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 20.015 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in z 20.015 * [taylor]: Taking taylor expansion of (/ y x) in z 20.015 * [taylor]: Taking taylor expansion of y in z 20.016 * [taylor]: Taking taylor expansion of x in z 20.016 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 20.016 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.016 * [taylor]: Taking taylor expansion of z in z 20.016 * [taylor]: Taking taylor expansion of (/ 1 t) in z 20.016 * [taylor]: Taking taylor expansion of t in z 20.016 * [taylor]: Taking taylor expansion of (/ 1 t) in z 20.016 * [taylor]: Taking taylor expansion of t in z 20.016 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in y 20.016 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 20.016 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in y 20.016 * [taylor]: Taking taylor expansion of (/ y x) in y 20.016 * [taylor]: Taking taylor expansion of y in y 20.016 * [taylor]: Taking taylor expansion of x in y 20.016 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 20.016 * [taylor]: Taking taylor expansion of (/ 1 z) in y 20.016 * [taylor]: Taking taylor expansion of z in y 20.016 * [taylor]: Taking taylor expansion of (/ 1 t) in y 20.016 * [taylor]: Taking taylor expansion of t in y 20.016 * [taylor]: Taking taylor expansion of (/ 1 t) in y 20.016 * [taylor]: Taking taylor expansion of t in y 20.016 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in x 20.016 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 20.016 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in x 20.016 * [taylor]: Taking taylor expansion of (/ y x) in x 20.016 * [taylor]: Taking taylor expansion of y in x 20.017 * [taylor]: Taking taylor expansion of x in x 20.017 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 20.017 * [taylor]: Taking taylor expansion of (/ 1 z) in x 20.017 * [taylor]: Taking taylor expansion of z in x 20.017 * [taylor]: Taking taylor expansion of (/ 1 t) in x 20.017 * [taylor]: Taking taylor expansion of t in x 20.017 * [taylor]: Taking taylor expansion of (/ 1 t) in x 20.017 * [taylor]: Taking taylor expansion of t in x 20.017 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in x 20.017 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 20.017 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in x 20.017 * [taylor]: Taking taylor expansion of (/ y x) in x 20.017 * [taylor]: Taking taylor expansion of y in x 20.017 * [taylor]: Taking taylor expansion of x in x 20.017 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 20.017 * [taylor]: Taking taylor expansion of (/ 1 z) in x 20.017 * [taylor]: Taking taylor expansion of z in x 20.017 * [taylor]: Taking taylor expansion of (/ 1 t) in x 20.017 * [taylor]: Taking taylor expansion of t in x 20.017 * [taylor]: Taking taylor expansion of (/ 1 t) in x 20.017 * [taylor]: Taking taylor expansion of t in x 20.017 * [taylor]: Taking taylor expansion of (- (/ y z) (/ y t)) in y 20.017 * [taylor]: Taking taylor expansion of (/ y z) in y 20.017 * [taylor]: Taking taylor expansion of y in y 20.017 * [taylor]: Taking taylor expansion of z in y 20.017 * [taylor]: Taking taylor expansion of (/ y t) in y 20.017 * [taylor]: Taking taylor expansion of y in y 20.017 * [taylor]: Taking taylor expansion of t in y 20.019 * [taylor]: Taking taylor expansion of (/ 1 t) in y 20.019 * [taylor]: Taking taylor expansion of t in y 20.019 * [taylor]: Taking taylor expansion of (/ 1 t) in z 20.019 * [taylor]: Taking taylor expansion of t in z 20.019 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 20.019 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.019 * [taylor]: Taking taylor expansion of z in z 20.019 * [taylor]: Taking taylor expansion of (/ 1 t) in z 20.019 * [taylor]: Taking taylor expansion of t in z 20.020 * [taylor]: Taking taylor expansion of 1 in t 20.022 * [taylor]: Taking taylor expansion of 0 in y 20.022 * [taylor]: Taking taylor expansion of 0 in z 20.022 * [taylor]: Taking taylor expansion of 0 in z 20.023 * [taylor]: Taking taylor expansion of 0 in z 20.023 * [taylor]: Taking taylor expansion of (/ 1 t) in t 20.023 * [taylor]: Taking taylor expansion of t in t 20.024 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 20.024 * [taylor]: Taking taylor expansion of (/ 1 t) in t 20.024 * [taylor]: Taking taylor expansion of t in t 20.025 * [approximate]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in (x y z t) around 0 20.025 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in t 20.025 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 20.025 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in t 20.025 * [taylor]: Taking taylor expansion of (/ y x) in t 20.025 * [taylor]: Taking taylor expansion of y in t 20.025 * [taylor]: Taking taylor expansion of x in t 20.025 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 20.025 * [taylor]: Taking taylor expansion of (/ 1 t) in t 20.025 * [taylor]: Taking taylor expansion of t in t 20.026 * [taylor]: Taking taylor expansion of (/ 1 z) in t 20.026 * [taylor]: Taking taylor expansion of z in t 20.026 * [taylor]: Taking taylor expansion of (/ -1 t) in t 20.026 * [taylor]: Taking taylor expansion of -1 in t 20.026 * [taylor]: Taking taylor expansion of t in t 20.026 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in z 20.026 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 20.026 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in z 20.026 * [taylor]: Taking taylor expansion of (/ y x) in z 20.026 * [taylor]: Taking taylor expansion of y in z 20.026 * [taylor]: Taking taylor expansion of x in z 20.026 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 20.026 * [taylor]: Taking taylor expansion of (/ 1 t) in z 20.026 * [taylor]: Taking taylor expansion of t in z 20.026 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.026 * [taylor]: Taking taylor expansion of z in z 20.027 * [taylor]: Taking taylor expansion of (/ -1 t) in z 20.027 * [taylor]: Taking taylor expansion of -1 in z 20.027 * [taylor]: Taking taylor expansion of t in z 20.027 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in y 20.027 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 20.027 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in y 20.027 * [taylor]: Taking taylor expansion of (/ y x) in y 20.027 * [taylor]: Taking taylor expansion of y in y 20.027 * [taylor]: Taking taylor expansion of x in y 20.027 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 20.027 * [taylor]: Taking taylor expansion of (/ 1 t) in y 20.027 * [taylor]: Taking taylor expansion of t in y 20.027 * [taylor]: Taking taylor expansion of (/ 1 z) in y 20.027 * [taylor]: Taking taylor expansion of z in y 20.027 * [taylor]: Taking taylor expansion of (/ -1 t) in y 20.027 * [taylor]: Taking taylor expansion of -1 in y 20.027 * [taylor]: Taking taylor expansion of t in y 20.027 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in x 20.027 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 20.027 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in x 20.027 * [taylor]: Taking taylor expansion of (/ y x) in x 20.027 * [taylor]: Taking taylor expansion of y in x 20.027 * [taylor]: Taking taylor expansion of x in x 20.027 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 20.027 * [taylor]: Taking taylor expansion of (/ 1 t) in x 20.027 * [taylor]: Taking taylor expansion of t in x 20.027 * [taylor]: Taking taylor expansion of (/ 1 z) in x 20.027 * [taylor]: Taking taylor expansion of z in x 20.027 * [taylor]: Taking taylor expansion of (/ -1 t) in x 20.027 * [taylor]: Taking taylor expansion of -1 in x 20.027 * [taylor]: Taking taylor expansion of t in x 20.027 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in x 20.028 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 20.028 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in x 20.028 * [taylor]: Taking taylor expansion of (/ y x) in x 20.028 * [taylor]: Taking taylor expansion of y in x 20.028 * [taylor]: Taking taylor expansion of x in x 20.028 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 20.028 * [taylor]: Taking taylor expansion of (/ 1 t) in x 20.028 * [taylor]: Taking taylor expansion of t in x 20.028 * [taylor]: Taking taylor expansion of (/ 1 z) in x 20.028 * [taylor]: Taking taylor expansion of z in x 20.028 * [taylor]: Taking taylor expansion of (/ -1 t) in x 20.028 * [taylor]: Taking taylor expansion of -1 in x 20.028 * [taylor]: Taking taylor expansion of t in x 20.028 * [taylor]: Taking taylor expansion of (- (/ y t) (/ y z)) in y 20.028 * [taylor]: Taking taylor expansion of (/ y t) in y 20.028 * [taylor]: Taking taylor expansion of y in y 20.028 * [taylor]: Taking taylor expansion of t in y 20.028 * [taylor]: Taking taylor expansion of (/ y z) in y 20.028 * [taylor]: Taking taylor expansion of y in y 20.028 * [taylor]: Taking taylor expansion of z in y 20.030 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in y 20.030 * [taylor]: Taking taylor expansion of (/ 1 t) in y 20.030 * [taylor]: Taking taylor expansion of t in y 20.030 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in z 20.030 * [taylor]: Taking taylor expansion of (/ 1 t) in z 20.030 * [taylor]: Taking taylor expansion of t in z 20.030 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 20.030 * [taylor]: Taking taylor expansion of (/ 1 t) in z 20.030 * [taylor]: Taking taylor expansion of t in z 20.030 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.030 * [taylor]: Taking taylor expansion of z in z 20.031 * [taylor]: Taking taylor expansion of -1 in t 20.033 * [taylor]: Taking taylor expansion of 0 in y 20.033 * [taylor]: Taking taylor expansion of 0 in z 20.033 * [taylor]: Taking taylor expansion of 0 in z 20.034 * [taylor]: Taking taylor expansion of 0 in z 20.034 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 20.034 * [taylor]: Taking taylor expansion of (/ 1 t) in t 20.034 * [taylor]: Taking taylor expansion of t in t 20.035 * [taylor]: Taking taylor expansion of (/ 1 t) in t 20.035 * [taylor]: Taking taylor expansion of t in t 20.036 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1) 20.036 * [approximate]: Taking taylor expansion of (fma (/ x y) (- z t) t) in (x y z t) around 0 20.036 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in t 20.037 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 20.037 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in t 20.037 * [taylor]: Taking taylor expansion of (/ x y) in t 20.037 * [taylor]: Taking taylor expansion of x in t 20.037 * [taylor]: Taking taylor expansion of y in t 20.037 * [taylor]: Taking taylor expansion of (- z t) in t 20.037 * [taylor]: Taking taylor expansion of z in t 20.037 * [taylor]: Taking taylor expansion of t in t 20.037 * [taylor]: Taking taylor expansion of t in t 20.037 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in z 20.037 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 20.037 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in z 20.037 * [taylor]: Taking taylor expansion of (/ x y) in z 20.037 * [taylor]: Taking taylor expansion of x in z 20.037 * [taylor]: Taking taylor expansion of y in z 20.037 * [taylor]: Taking taylor expansion of (- z t) in z 20.037 * [taylor]: Taking taylor expansion of z in z 20.037 * [taylor]: Taking taylor expansion of t in z 20.037 * [taylor]: Taking taylor expansion of t in z 20.037 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in y 20.037 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 20.037 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in y 20.037 * [taylor]: Taking taylor expansion of (/ x y) in y 20.037 * [taylor]: Taking taylor expansion of x in y 20.037 * [taylor]: Taking taylor expansion of y in y 20.037 * [taylor]: Taking taylor expansion of (- z t) in y 20.037 * [taylor]: Taking taylor expansion of z in y 20.037 * [taylor]: Taking taylor expansion of t in y 20.037 * [taylor]: Taking taylor expansion of t in y 20.037 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in x 20.037 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 20.037 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in x 20.037 * [taylor]: Taking taylor expansion of (/ x y) in x 20.037 * [taylor]: Taking taylor expansion of x in x 20.037 * [taylor]: Taking taylor expansion of y in x 20.038 * [taylor]: Taking taylor expansion of (- z t) in x 20.038 * [taylor]: Taking taylor expansion of z in x 20.038 * [taylor]: Taking taylor expansion of t in x 20.038 * [taylor]: Taking taylor expansion of t in x 20.038 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in x 20.038 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 20.038 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in x 20.038 * [taylor]: Taking taylor expansion of (/ x y) in x 20.038 * [taylor]: Taking taylor expansion of x in x 20.038 * [taylor]: Taking taylor expansion of y in x 20.038 * [taylor]: Taking taylor expansion of (- z t) in x 20.038 * [taylor]: Taking taylor expansion of z in x 20.038 * [taylor]: Taking taylor expansion of t in x 20.038 * [taylor]: Taking taylor expansion of t in x 20.038 * [taylor]: Taking taylor expansion of t in y 20.038 * [taylor]: Taking taylor expansion of (- (/ z y) (/ t y)) in y 20.038 * [taylor]: Taking taylor expansion of (/ z y) in y 20.038 * [taylor]: Taking taylor expansion of z in y 20.038 * [taylor]: Taking taylor expansion of y in y 20.038 * [taylor]: Taking taylor expansion of (/ t y) in y 20.038 * [taylor]: Taking taylor expansion of t in y 20.038 * [taylor]: Taking taylor expansion of y in y 20.038 * [taylor]: Taking taylor expansion of (- z t) in z 20.038 * [taylor]: Taking taylor expansion of z in z 20.038 * [taylor]: Taking taylor expansion of t in z 20.038 * [taylor]: Taking taylor expansion of (- t) in t 20.038 * [taylor]: Taking taylor expansion of t in t 20.039 * [taylor]: Taking taylor expansion of t in z 20.039 * [taylor]: Taking taylor expansion of t in t 20.040 * [taylor]: Taking taylor expansion of 0 in y 20.041 * [taylor]: Taking taylor expansion of 0 in z 20.041 * [taylor]: Taking taylor expansion of 0 in t 20.041 * [taylor]: Taking taylor expansion of 0 in z 20.041 * [taylor]: Taking taylor expansion of 0 in t 20.042 * [taylor]: Taking taylor expansion of 1 in t 20.042 * [taylor]: Taking taylor expansion of 0 in t 20.043 * [approximate]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in (x y z t) around 0 20.043 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in t 20.043 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 20.043 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in t 20.043 * [taylor]: Taking taylor expansion of (/ y x) in t 20.043 * [taylor]: Taking taylor expansion of y in t 20.043 * [taylor]: Taking taylor expansion of x in t 20.043 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 20.043 * [taylor]: Taking taylor expansion of (/ 1 z) in t 20.043 * [taylor]: Taking taylor expansion of z in t 20.043 * [taylor]: Taking taylor expansion of (/ 1 t) in t 20.043 * [taylor]: Taking taylor expansion of t in t 20.044 * [taylor]: Taking taylor expansion of (/ 1 t) in t 20.044 * [taylor]: Taking taylor expansion of t in t 20.044 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in z 20.044 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 20.044 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in z 20.044 * [taylor]: Taking taylor expansion of (/ y x) in z 20.044 * [taylor]: Taking taylor expansion of y in z 20.044 * [taylor]: Taking taylor expansion of x in z 20.044 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 20.044 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.044 * [taylor]: Taking taylor expansion of z in z 20.045 * [taylor]: Taking taylor expansion of (/ 1 t) in z 20.045 * [taylor]: Taking taylor expansion of t in z 20.045 * [taylor]: Taking taylor expansion of (/ 1 t) in z 20.045 * [taylor]: Taking taylor expansion of t in z 20.045 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in y 20.045 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 20.045 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in y 20.045 * [taylor]: Taking taylor expansion of (/ y x) in y 20.045 * [taylor]: Taking taylor expansion of y in y 20.045 * [taylor]: Taking taylor expansion of x in y 20.045 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 20.045 * [taylor]: Taking taylor expansion of (/ 1 z) in y 20.045 * [taylor]: Taking taylor expansion of z in y 20.045 * [taylor]: Taking taylor expansion of (/ 1 t) in y 20.045 * [taylor]: Taking taylor expansion of t in y 20.045 * [taylor]: Taking taylor expansion of (/ 1 t) in y 20.045 * [taylor]: Taking taylor expansion of t in y 20.045 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in x 20.045 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 20.045 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in x 20.045 * [taylor]: Taking taylor expansion of (/ y x) in x 20.045 * [taylor]: Taking taylor expansion of y in x 20.045 * [taylor]: Taking taylor expansion of x in x 20.045 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 20.045 * [taylor]: Taking taylor expansion of (/ 1 z) in x 20.045 * [taylor]: Taking taylor expansion of z in x 20.046 * [taylor]: Taking taylor expansion of (/ 1 t) in x 20.046 * [taylor]: Taking taylor expansion of t in x 20.046 * [taylor]: Taking taylor expansion of (/ 1 t) in x 20.046 * [taylor]: Taking taylor expansion of t in x 20.046 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in x 20.046 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 20.046 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in x 20.046 * [taylor]: Taking taylor expansion of (/ y x) in x 20.046 * [taylor]: Taking taylor expansion of y in x 20.046 * [taylor]: Taking taylor expansion of x in x 20.046 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 20.046 * [taylor]: Taking taylor expansion of (/ 1 z) in x 20.046 * [taylor]: Taking taylor expansion of z in x 20.046 * [taylor]: Taking taylor expansion of (/ 1 t) in x 20.046 * [taylor]: Taking taylor expansion of t in x 20.046 * [taylor]: Taking taylor expansion of (/ 1 t) in x 20.046 * [taylor]: Taking taylor expansion of t in x 20.046 * [taylor]: Taking taylor expansion of (- (/ y z) (/ y t)) in y 20.046 * [taylor]: Taking taylor expansion of (/ y z) in y 20.046 * [taylor]: Taking taylor expansion of y in y 20.046 * [taylor]: Taking taylor expansion of z in y 20.046 * [taylor]: Taking taylor expansion of (/ y t) in y 20.046 * [taylor]: Taking taylor expansion of y in y 20.046 * [taylor]: Taking taylor expansion of t in y 20.048 * [taylor]: Taking taylor expansion of (/ 1 t) in y 20.048 * [taylor]: Taking taylor expansion of t in y 20.048 * [taylor]: Taking taylor expansion of (/ 1 t) in z 20.048 * [taylor]: Taking taylor expansion of t in z 20.048 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 20.048 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.048 * [taylor]: Taking taylor expansion of z in z 20.048 * [taylor]: Taking taylor expansion of (/ 1 t) in z 20.048 * [taylor]: Taking taylor expansion of t in z 20.049 * [taylor]: Taking taylor expansion of 1 in t 20.051 * [taylor]: Taking taylor expansion of 0 in y 20.051 * [taylor]: Taking taylor expansion of 0 in z 20.051 * [taylor]: Taking taylor expansion of 0 in z 20.051 * [taylor]: Taking taylor expansion of 0 in z 20.051 * [taylor]: Taking taylor expansion of (/ 1 t) in t 20.051 * [taylor]: Taking taylor expansion of t in t 20.052 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 20.052 * [taylor]: Taking taylor expansion of (/ 1 t) in t 20.052 * [taylor]: Taking taylor expansion of t in t 20.054 * [approximate]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in (x y z t) around 0 20.054 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in t 20.054 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 20.054 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in t 20.054 * [taylor]: Taking taylor expansion of (/ y x) in t 20.054 * [taylor]: Taking taylor expansion of y in t 20.054 * [taylor]: Taking taylor expansion of x in t 20.054 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 20.054 * [taylor]: Taking taylor expansion of (/ 1 t) in t 20.054 * [taylor]: Taking taylor expansion of t in t 20.054 * [taylor]: Taking taylor expansion of (/ 1 z) in t 20.054 * [taylor]: Taking taylor expansion of z in t 20.054 * [taylor]: Taking taylor expansion of (/ -1 t) in t 20.054 * [taylor]: Taking taylor expansion of -1 in t 20.054 * [taylor]: Taking taylor expansion of t in t 20.055 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in z 20.055 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 20.055 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in z 20.055 * [taylor]: Taking taylor expansion of (/ y x) in z 20.055 * [taylor]: Taking taylor expansion of y in z 20.055 * [taylor]: Taking taylor expansion of x in z 20.055 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 20.055 * [taylor]: Taking taylor expansion of (/ 1 t) in z 20.055 * [taylor]: Taking taylor expansion of t in z 20.055 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.055 * [taylor]: Taking taylor expansion of z in z 20.055 * [taylor]: Taking taylor expansion of (/ -1 t) in z 20.055 * [taylor]: Taking taylor expansion of -1 in z 20.055 * [taylor]: Taking taylor expansion of t in z 20.055 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in y 20.055 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 20.055 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in y 20.055 * [taylor]: Taking taylor expansion of (/ y x) in y 20.055 * [taylor]: Taking taylor expansion of y in y 20.055 * [taylor]: Taking taylor expansion of x in y 20.055 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 20.056 * [taylor]: Taking taylor expansion of (/ 1 t) in y 20.056 * [taylor]: Taking taylor expansion of t in y 20.056 * [taylor]: Taking taylor expansion of (/ 1 z) in y 20.056 * [taylor]: Taking taylor expansion of z in y 20.056 * [taylor]: Taking taylor expansion of (/ -1 t) in y 20.056 * [taylor]: Taking taylor expansion of -1 in y 20.056 * [taylor]: Taking taylor expansion of t in y 20.056 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in x 20.056 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 20.056 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in x 20.056 * [taylor]: Taking taylor expansion of (/ y x) in x 20.056 * [taylor]: Taking taylor expansion of y in x 20.056 * [taylor]: Taking taylor expansion of x in x 20.056 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 20.056 * [taylor]: Taking taylor expansion of (/ 1 t) in x 20.056 * [taylor]: Taking taylor expansion of t in x 20.056 * [taylor]: Taking taylor expansion of (/ 1 z) in x 20.056 * [taylor]: Taking taylor expansion of z in x 20.056 * [taylor]: Taking taylor expansion of (/ -1 t) in x 20.056 * [taylor]: Taking taylor expansion of -1 in x 20.056 * [taylor]: Taking taylor expansion of t in x 20.056 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in x 20.056 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 20.056 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in x 20.056 * [taylor]: Taking taylor expansion of (/ y x) in x 20.056 * [taylor]: Taking taylor expansion of y in x 20.056 * [taylor]: Taking taylor expansion of x in x 20.056 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 20.056 * [taylor]: Taking taylor expansion of (/ 1 t) in x 20.056 * [taylor]: Taking taylor expansion of t in x 20.056 * [taylor]: Taking taylor expansion of (/ 1 z) in x 20.056 * [taylor]: Taking taylor expansion of z in x 20.056 * [taylor]: Taking taylor expansion of (/ -1 t) in x 20.056 * [taylor]: Taking taylor expansion of -1 in x 20.056 * [taylor]: Taking taylor expansion of t in x 20.057 * [taylor]: Taking taylor expansion of (- (/ y t) (/ y z)) in y 20.057 * [taylor]: Taking taylor expansion of (/ y t) in y 20.057 * [taylor]: Taking taylor expansion of y in y 20.057 * [taylor]: Taking taylor expansion of t in y 20.057 * [taylor]: Taking taylor expansion of (/ y z) in y 20.057 * [taylor]: Taking taylor expansion of y in y 20.057 * [taylor]: Taking taylor expansion of z in y 20.058 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in y 20.058 * [taylor]: Taking taylor expansion of (/ 1 t) in y 20.058 * [taylor]: Taking taylor expansion of t in y 20.058 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in z 20.058 * [taylor]: Taking taylor expansion of (/ 1 t) in z 20.058 * [taylor]: Taking taylor expansion of t in z 20.058 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 20.058 * [taylor]: Taking taylor expansion of (/ 1 t) in z 20.058 * [taylor]: Taking taylor expansion of t in z 20.058 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.058 * [taylor]: Taking taylor expansion of z in z 20.059 * [taylor]: Taking taylor expansion of -1 in t 20.061 * [taylor]: Taking taylor expansion of 0 in y 20.061 * [taylor]: Taking taylor expansion of 0 in z 20.062 * [taylor]: Taking taylor expansion of 0 in z 20.062 * [taylor]: Taking taylor expansion of 0 in z 20.062 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 20.062 * [taylor]: Taking taylor expansion of (/ 1 t) in t 20.062 * [taylor]: Taking taylor expansion of t in t 20.064 * [taylor]: Taking taylor expansion of (/ 1 t) in t 20.064 * [taylor]: Taking taylor expansion of t in t 20.065 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2 1) 20.065 * [approximate]: Taking taylor expansion of (fma (/ x y) (- z t) t) in (x y z t) around 0 20.065 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in t 20.065 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 20.065 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in t 20.065 * [taylor]: Taking taylor expansion of (/ x y) in t 20.065 * [taylor]: Taking taylor expansion of x in t 20.065 * [taylor]: Taking taylor expansion of y in t 20.065 * [taylor]: Taking taylor expansion of (- z t) in t 20.065 * [taylor]: Taking taylor expansion of z in t 20.065 * [taylor]: Taking taylor expansion of t in t 20.065 * [taylor]: Taking taylor expansion of t in t 20.065 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in z 20.065 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 20.065 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in z 20.065 * [taylor]: Taking taylor expansion of (/ x y) in z 20.065 * [taylor]: Taking taylor expansion of x in z 20.065 * [taylor]: Taking taylor expansion of y in z 20.065 * [taylor]: Taking taylor expansion of (- z t) in z 20.065 * [taylor]: Taking taylor expansion of z in z 20.065 * [taylor]: Taking taylor expansion of t in z 20.065 * [taylor]: Taking taylor expansion of t in z 20.065 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in y 20.066 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 20.066 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in y 20.066 * [taylor]: Taking taylor expansion of (/ x y) in y 20.066 * [taylor]: Taking taylor expansion of x in y 20.066 * [taylor]: Taking taylor expansion of y in y 20.066 * [taylor]: Taking taylor expansion of (- z t) in y 20.066 * [taylor]: Taking taylor expansion of z in y 20.066 * [taylor]: Taking taylor expansion of t in y 20.066 * [taylor]: Taking taylor expansion of t in y 20.066 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in x 20.066 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 20.066 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in x 20.066 * [taylor]: Taking taylor expansion of (/ x y) in x 20.066 * [taylor]: Taking taylor expansion of x in x 20.066 * [taylor]: Taking taylor expansion of y in x 20.066 * [taylor]: Taking taylor expansion of (- z t) in x 20.066 * [taylor]: Taking taylor expansion of z in x 20.066 * [taylor]: Taking taylor expansion of t in x 20.066 * [taylor]: Taking taylor expansion of t in x 20.066 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in x 20.066 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 20.066 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in x 20.066 * [taylor]: Taking taylor expansion of (/ x y) in x 20.066 * [taylor]: Taking taylor expansion of x in x 20.066 * [taylor]: Taking taylor expansion of y in x 20.066 * [taylor]: Taking taylor expansion of (- z t) in x 20.066 * [taylor]: Taking taylor expansion of z in x 20.066 * [taylor]: Taking taylor expansion of t in x 20.066 * [taylor]: Taking taylor expansion of t in x 20.066 * [taylor]: Taking taylor expansion of t in y 20.066 * [taylor]: Taking taylor expansion of (- (/ z y) (/ t y)) in y 20.066 * [taylor]: Taking taylor expansion of (/ z y) in y 20.066 * [taylor]: Taking taylor expansion of z in y 20.066 * [taylor]: Taking taylor expansion of y in y 20.067 * [taylor]: Taking taylor expansion of (/ t y) in y 20.067 * [taylor]: Taking taylor expansion of t in y 20.067 * [taylor]: Taking taylor expansion of y in y 20.067 * [taylor]: Taking taylor expansion of (- z t) in z 20.067 * [taylor]: Taking taylor expansion of z in z 20.067 * [taylor]: Taking taylor expansion of t in z 20.067 * [taylor]: Taking taylor expansion of (- t) in t 20.067 * [taylor]: Taking taylor expansion of t in t 20.067 * [taylor]: Taking taylor expansion of t in z 20.067 * [taylor]: Taking taylor expansion of t in t 20.068 * [taylor]: Taking taylor expansion of 0 in y 20.070 * [taylor]: Taking taylor expansion of 0 in z 20.070 * [taylor]: Taking taylor expansion of 0 in t 20.070 * [taylor]: Taking taylor expansion of 0 in z 20.070 * [taylor]: Taking taylor expansion of 0 in t 20.070 * [taylor]: Taking taylor expansion of 1 in t 20.070 * [taylor]: Taking taylor expansion of 0 in t 20.071 * [approximate]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in (x y z t) around 0 20.071 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in t 20.072 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 20.072 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in t 20.072 * [taylor]: Taking taylor expansion of (/ y x) in t 20.072 * [taylor]: Taking taylor expansion of y in t 20.072 * [taylor]: Taking taylor expansion of x in t 20.072 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 20.072 * [taylor]: Taking taylor expansion of (/ 1 z) in t 20.072 * [taylor]: Taking taylor expansion of z in t 20.072 * [taylor]: Taking taylor expansion of (/ 1 t) in t 20.072 * [taylor]: Taking taylor expansion of t in t 20.072 * [taylor]: Taking taylor expansion of (/ 1 t) in t 20.072 * [taylor]: Taking taylor expansion of t in t 20.072 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in z 20.072 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 20.072 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in z 20.072 * [taylor]: Taking taylor expansion of (/ y x) in z 20.073 * [taylor]: Taking taylor expansion of y in z 20.073 * [taylor]: Taking taylor expansion of x in z 20.073 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 20.073 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.073 * [taylor]: Taking taylor expansion of z in z 20.073 * [taylor]: Taking taylor expansion of (/ 1 t) in z 20.073 * [taylor]: Taking taylor expansion of t in z 20.073 * [taylor]: Taking taylor expansion of (/ 1 t) in z 20.073 * [taylor]: Taking taylor expansion of t in z 20.073 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in y 20.073 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 20.073 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in y 20.073 * [taylor]: Taking taylor expansion of (/ y x) in y 20.073 * [taylor]: Taking taylor expansion of y in y 20.073 * [taylor]: Taking taylor expansion of x in y 20.073 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 20.073 * [taylor]: Taking taylor expansion of (/ 1 z) in y 20.073 * [taylor]: Taking taylor expansion of z in y 20.073 * [taylor]: Taking taylor expansion of (/ 1 t) in y 20.073 * [taylor]: Taking taylor expansion of t in y 20.073 * [taylor]: Taking taylor expansion of (/ 1 t) in y 20.073 * [taylor]: Taking taylor expansion of t in y 20.073 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in x 20.073 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 20.073 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in x 20.073 * [taylor]: Taking taylor expansion of (/ y x) in x 20.073 * [taylor]: Taking taylor expansion of y in x 20.074 * [taylor]: Taking taylor expansion of x in x 20.074 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 20.074 * [taylor]: Taking taylor expansion of (/ 1 z) in x 20.074 * [taylor]: Taking taylor expansion of z in x 20.074 * [taylor]: Taking taylor expansion of (/ 1 t) in x 20.074 * [taylor]: Taking taylor expansion of t in x 20.074 * [taylor]: Taking taylor expansion of (/ 1 t) in x 20.074 * [taylor]: Taking taylor expansion of t in x 20.074 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in x 20.074 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 20.074 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in x 20.074 * [taylor]: Taking taylor expansion of (/ y x) in x 20.074 * [taylor]: Taking taylor expansion of y in x 20.074 * [taylor]: Taking taylor expansion of x in x 20.074 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 20.074 * [taylor]: Taking taylor expansion of (/ 1 z) in x 20.074 * [taylor]: Taking taylor expansion of z in x 20.074 * [taylor]: Taking taylor expansion of (/ 1 t) in x 20.074 * [taylor]: Taking taylor expansion of t in x 20.074 * [taylor]: Taking taylor expansion of (/ 1 t) in x 20.074 * [taylor]: Taking taylor expansion of t in x 20.074 * [taylor]: Taking taylor expansion of (- (/ y z) (/ y t)) in y 20.074 * [taylor]: Taking taylor expansion of (/ y z) in y 20.074 * [taylor]: Taking taylor expansion of y in y 20.074 * [taylor]: Taking taylor expansion of z in y 20.074 * [taylor]: Taking taylor expansion of (/ y t) in y 20.074 * [taylor]: Taking taylor expansion of y in y 20.074 * [taylor]: Taking taylor expansion of t in y 20.076 * [taylor]: Taking taylor expansion of (/ 1 t) in y 20.076 * [taylor]: Taking taylor expansion of t in y 20.076 * [taylor]: Taking taylor expansion of (/ 1 t) in z 20.076 * [taylor]: Taking taylor expansion of t in z 20.076 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 20.076 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.076 * [taylor]: Taking taylor expansion of z in z 20.076 * [taylor]: Taking taylor expansion of (/ 1 t) in z 20.076 * [taylor]: Taking taylor expansion of t in z 20.077 * [taylor]: Taking taylor expansion of 1 in t 20.079 * [taylor]: Taking taylor expansion of 0 in y 20.079 * [taylor]: Taking taylor expansion of 0 in z 20.079 * [taylor]: Taking taylor expansion of 0 in z 20.079 * [taylor]: Taking taylor expansion of 0 in z 20.079 * [taylor]: Taking taylor expansion of (/ 1 t) in t 20.080 * [taylor]: Taking taylor expansion of t in t 20.080 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 20.080 * [taylor]: Taking taylor expansion of (/ 1 t) in t 20.080 * [taylor]: Taking taylor expansion of t in t 20.082 * [approximate]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in (x y z t) around 0 20.082 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in t 20.082 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 20.082 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in t 20.082 * [taylor]: Taking taylor expansion of (/ y x) in t 20.082 * [taylor]: Taking taylor expansion of y in t 20.082 * [taylor]: Taking taylor expansion of x in t 20.082 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 20.082 * [taylor]: Taking taylor expansion of (/ 1 t) in t 20.082 * [taylor]: Taking taylor expansion of t in t 20.082 * [taylor]: Taking taylor expansion of (/ 1 z) in t 20.082 * [taylor]: Taking taylor expansion of z in t 20.082 * [taylor]: Taking taylor expansion of (/ -1 t) in t 20.082 * [taylor]: Taking taylor expansion of -1 in t 20.082 * [taylor]: Taking taylor expansion of t in t 20.083 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in z 20.083 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 20.083 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in z 20.083 * [taylor]: Taking taylor expansion of (/ y x) in z 20.083 * [taylor]: Taking taylor expansion of y in z 20.083 * [taylor]: Taking taylor expansion of x in z 20.083 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 20.083 * [taylor]: Taking taylor expansion of (/ 1 t) in z 20.083 * [taylor]: Taking taylor expansion of t in z 20.083 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.083 * [taylor]: Taking taylor expansion of z in z 20.083 * [taylor]: Taking taylor expansion of (/ -1 t) in z 20.083 * [taylor]: Taking taylor expansion of -1 in z 20.083 * [taylor]: Taking taylor expansion of t in z 20.083 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in y 20.083 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 20.083 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in y 20.083 * [taylor]: Taking taylor expansion of (/ y x) in y 20.083 * [taylor]: Taking taylor expansion of y in y 20.084 * [taylor]: Taking taylor expansion of x in y 20.084 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 20.084 * [taylor]: Taking taylor expansion of (/ 1 t) in y 20.084 * [taylor]: Taking taylor expansion of t in y 20.084 * [taylor]: Taking taylor expansion of (/ 1 z) in y 20.084 * [taylor]: Taking taylor expansion of z in y 20.084 * [taylor]: Taking taylor expansion of (/ -1 t) in y 20.084 * [taylor]: Taking taylor expansion of -1 in y 20.084 * [taylor]: Taking taylor expansion of t in y 20.084 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in x 20.084 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 20.084 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in x 20.084 * [taylor]: Taking taylor expansion of (/ y x) in x 20.084 * [taylor]: Taking taylor expansion of y in x 20.084 * [taylor]: Taking taylor expansion of x in x 20.084 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 20.084 * [taylor]: Taking taylor expansion of (/ 1 t) in x 20.084 * [taylor]: Taking taylor expansion of t in x 20.084 * [taylor]: Taking taylor expansion of (/ 1 z) in x 20.084 * [taylor]: Taking taylor expansion of z in x 20.084 * [taylor]: Taking taylor expansion of (/ -1 t) in x 20.084 * [taylor]: Taking taylor expansion of -1 in x 20.084 * [taylor]: Taking taylor expansion of t in x 20.084 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in x 20.084 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 20.084 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in x 20.084 * [taylor]: Taking taylor expansion of (/ y x) in x 20.084 * [taylor]: Taking taylor expansion of y in x 20.084 * [taylor]: Taking taylor expansion of x in x 20.084 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 20.084 * [taylor]: Taking taylor expansion of (/ 1 t) in x 20.084 * [taylor]: Taking taylor expansion of t in x 20.084 * [taylor]: Taking taylor expansion of (/ 1 z) in x 20.084 * [taylor]: Taking taylor expansion of z in x 20.084 * [taylor]: Taking taylor expansion of (/ -1 t) in x 20.084 * [taylor]: Taking taylor expansion of -1 in x 20.084 * [taylor]: Taking taylor expansion of t in x 20.085 * [taylor]: Taking taylor expansion of (- (/ y t) (/ y z)) in y 20.085 * [taylor]: Taking taylor expansion of (/ y t) in y 20.085 * [taylor]: Taking taylor expansion of y in y 20.085 * [taylor]: Taking taylor expansion of t in y 20.085 * [taylor]: Taking taylor expansion of (/ y z) in y 20.085 * [taylor]: Taking taylor expansion of y in y 20.085 * [taylor]: Taking taylor expansion of z in y 20.086 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in y 20.086 * [taylor]: Taking taylor expansion of (/ 1 t) in y 20.086 * [taylor]: Taking taylor expansion of t in y 20.086 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in z 20.086 * [taylor]: Taking taylor expansion of (/ 1 t) in z 20.086 * [taylor]: Taking taylor expansion of t in z 20.086 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 20.086 * [taylor]: Taking taylor expansion of (/ 1 t) in z 20.086 * [taylor]: Taking taylor expansion of t in z 20.086 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.087 * [taylor]: Taking taylor expansion of z in z 20.087 * [taylor]: Taking taylor expansion of -1 in t 20.089 * [taylor]: Taking taylor expansion of 0 in y 20.089 * [taylor]: Taking taylor expansion of 0 in z 20.090 * [taylor]: Taking taylor expansion of 0 in z 20.090 * [taylor]: Taking taylor expansion of 0 in z 20.091 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 20.091 * [taylor]: Taking taylor expansion of (/ 1 t) in t 20.091 * [taylor]: Taking taylor expansion of t in t 20.092 * [taylor]: Taking taylor expansion of (/ 1 t) in t 20.092 * [taylor]: Taking taylor expansion of t in t 20.096 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 2 1) 20.096 * [approximate]: Taking taylor expansion of (fma (/ x y) (- z t) t) in (x y z t) around 0 20.096 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in t 20.096 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 20.096 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in t 20.096 * [taylor]: Taking taylor expansion of (/ x y) in t 20.096 * [taylor]: Taking taylor expansion of x in t 20.096 * [taylor]: Taking taylor expansion of y in t 20.097 * [taylor]: Taking taylor expansion of (- z t) in t 20.097 * [taylor]: Taking taylor expansion of z in t 20.097 * [taylor]: Taking taylor expansion of t in t 20.097 * [taylor]: Taking taylor expansion of t in t 20.097 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in z 20.097 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 20.097 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in z 20.097 * [taylor]: Taking taylor expansion of (/ x y) in z 20.097 * [taylor]: Taking taylor expansion of x in z 20.097 * [taylor]: Taking taylor expansion of y in z 20.097 * [taylor]: Taking taylor expansion of (- z t) in z 20.097 * [taylor]: Taking taylor expansion of z in z 20.097 * [taylor]: Taking taylor expansion of t in z 20.097 * [taylor]: Taking taylor expansion of t in z 20.097 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in y 20.097 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 20.097 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in y 20.097 * [taylor]: Taking taylor expansion of (/ x y) in y 20.097 * [taylor]: Taking taylor expansion of x in y 20.097 * [taylor]: Taking taylor expansion of y in y 20.097 * [taylor]: Taking taylor expansion of (- z t) in y 20.097 * [taylor]: Taking taylor expansion of z in y 20.097 * [taylor]: Taking taylor expansion of t in y 20.097 * [taylor]: Taking taylor expansion of t in y 20.097 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in x 20.097 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 20.097 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in x 20.097 * [taylor]: Taking taylor expansion of (/ x y) in x 20.097 * [taylor]: Taking taylor expansion of x in x 20.097 * [taylor]: Taking taylor expansion of y in x 20.097 * [taylor]: Taking taylor expansion of (- z t) in x 20.097 * [taylor]: Taking taylor expansion of z in x 20.097 * [taylor]: Taking taylor expansion of t in x 20.097 * [taylor]: Taking taylor expansion of t in x 20.097 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in x 20.097 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 20.097 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in x 20.098 * [taylor]: Taking taylor expansion of (/ x y) in x 20.098 * [taylor]: Taking taylor expansion of x in x 20.098 * [taylor]: Taking taylor expansion of y in x 20.098 * [taylor]: Taking taylor expansion of (- z t) in x 20.098 * [taylor]: Taking taylor expansion of z in x 20.098 * [taylor]: Taking taylor expansion of t in x 20.098 * [taylor]: Taking taylor expansion of t in x 20.098 * [taylor]: Taking taylor expansion of t in y 20.098 * [taylor]: Taking taylor expansion of (- (/ z y) (/ t y)) in y 20.098 * [taylor]: Taking taylor expansion of (/ z y) in y 20.098 * [taylor]: Taking taylor expansion of z in y 20.098 * [taylor]: Taking taylor expansion of y in y 20.098 * [taylor]: Taking taylor expansion of (/ t y) in y 20.098 * [taylor]: Taking taylor expansion of t in y 20.098 * [taylor]: Taking taylor expansion of y in y 20.098 * [taylor]: Taking taylor expansion of (- z t) in z 20.098 * [taylor]: Taking taylor expansion of z in z 20.098 * [taylor]: Taking taylor expansion of t in z 20.098 * [taylor]: Taking taylor expansion of (- t) in t 20.098 * [taylor]: Taking taylor expansion of t in t 20.099 * [taylor]: Taking taylor expansion of t in z 20.099 * [taylor]: Taking taylor expansion of t in t 20.099 * [taylor]: Taking taylor expansion of 0 in y 20.101 * [taylor]: Taking taylor expansion of 0 in z 20.101 * [taylor]: Taking taylor expansion of 0 in t 20.101 * [taylor]: Taking taylor expansion of 0 in z 20.101 * [taylor]: Taking taylor expansion of 0 in t 20.102 * [taylor]: Taking taylor expansion of 1 in t 20.102 * [taylor]: Taking taylor expansion of 0 in t 20.103 * [approximate]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in (x y z t) around 0 20.103 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in t 20.103 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 20.103 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in t 20.103 * [taylor]: Taking taylor expansion of (/ y x) in t 20.103 * [taylor]: Taking taylor expansion of y in t 20.103 * [taylor]: Taking taylor expansion of x in t 20.103 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 20.103 * [taylor]: Taking taylor expansion of (/ 1 z) in t 20.103 * [taylor]: Taking taylor expansion of z in t 20.103 * [taylor]: Taking taylor expansion of (/ 1 t) in t 20.103 * [taylor]: Taking taylor expansion of t in t 20.103 * [taylor]: Taking taylor expansion of (/ 1 t) in t 20.103 * [taylor]: Taking taylor expansion of t in t 20.103 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in z 20.104 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 20.104 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in z 20.104 * [taylor]: Taking taylor expansion of (/ y x) in z 20.104 * [taylor]: Taking taylor expansion of y in z 20.104 * [taylor]: Taking taylor expansion of x in z 20.104 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 20.104 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.104 * [taylor]: Taking taylor expansion of z in z 20.104 * [taylor]: Taking taylor expansion of (/ 1 t) in z 20.104 * [taylor]: Taking taylor expansion of t in z 20.104 * [taylor]: Taking taylor expansion of (/ 1 t) in z 20.104 * [taylor]: Taking taylor expansion of t in z 20.104 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in y 20.104 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 20.104 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in y 20.104 * [taylor]: Taking taylor expansion of (/ y x) in y 20.104 * [taylor]: Taking taylor expansion of y in y 20.104 * [taylor]: Taking taylor expansion of x in y 20.104 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 20.104 * [taylor]: Taking taylor expansion of (/ 1 z) in y 20.104 * [taylor]: Taking taylor expansion of z in y 20.104 * [taylor]: Taking taylor expansion of (/ 1 t) in y 20.104 * [taylor]: Taking taylor expansion of t in y 20.105 * [taylor]: Taking taylor expansion of (/ 1 t) in y 20.105 * [taylor]: Taking taylor expansion of t in y 20.105 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in x 20.105 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 20.105 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in x 20.105 * [taylor]: Taking taylor expansion of (/ y x) in x 20.105 * [taylor]: Taking taylor expansion of y in x 20.105 * [taylor]: Taking taylor expansion of x in x 20.105 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 20.105 * [taylor]: Taking taylor expansion of (/ 1 z) in x 20.105 * [taylor]: Taking taylor expansion of z in x 20.105 * [taylor]: Taking taylor expansion of (/ 1 t) in x 20.105 * [taylor]: Taking taylor expansion of t in x 20.105 * [taylor]: Taking taylor expansion of (/ 1 t) in x 20.105 * [taylor]: Taking taylor expansion of t in x 20.105 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in x 20.105 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 20.105 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in x 20.105 * [taylor]: Taking taylor expansion of (/ y x) in x 20.105 * [taylor]: Taking taylor expansion of y in x 20.105 * [taylor]: Taking taylor expansion of x in x 20.105 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 20.105 * [taylor]: Taking taylor expansion of (/ 1 z) in x 20.105 * [taylor]: Taking taylor expansion of z in x 20.105 * [taylor]: Taking taylor expansion of (/ 1 t) in x 20.105 * [taylor]: Taking taylor expansion of t in x 20.105 * [taylor]: Taking taylor expansion of (/ 1 t) in x 20.105 * [taylor]: Taking taylor expansion of t in x 20.106 * [taylor]: Taking taylor expansion of (- (/ y z) (/ y t)) in y 20.106 * [taylor]: Taking taylor expansion of (/ y z) in y 20.106 * [taylor]: Taking taylor expansion of y in y 20.106 * [taylor]: Taking taylor expansion of z in y 20.106 * [taylor]: Taking taylor expansion of (/ y t) in y 20.106 * [taylor]: Taking taylor expansion of y in y 20.106 * [taylor]: Taking taylor expansion of t in y 20.107 * [taylor]: Taking taylor expansion of (/ 1 t) in y 20.107 * [taylor]: Taking taylor expansion of t in y 20.107 * [taylor]: Taking taylor expansion of (/ 1 t) in z 20.107 * [taylor]: Taking taylor expansion of t in z 20.107 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 20.107 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.107 * [taylor]: Taking taylor expansion of z in z 20.108 * [taylor]: Taking taylor expansion of (/ 1 t) in z 20.108 * [taylor]: Taking taylor expansion of t in z 20.108 * [taylor]: Taking taylor expansion of 1 in t 20.110 * [taylor]: Taking taylor expansion of 0 in y 20.110 * [taylor]: Taking taylor expansion of 0 in z 20.110 * [taylor]: Taking taylor expansion of 0 in z 20.111 * [taylor]: Taking taylor expansion of 0 in z 20.111 * [taylor]: Taking taylor expansion of (/ 1 t) in t 20.111 * [taylor]: Taking taylor expansion of t in t 20.111 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 20.112 * [taylor]: Taking taylor expansion of (/ 1 t) in t 20.112 * [taylor]: Taking taylor expansion of t in t 20.113 * [approximate]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in (x y z t) around 0 20.113 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in t 20.113 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 20.113 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in t 20.113 * [taylor]: Taking taylor expansion of (/ y x) in t 20.113 * [taylor]: Taking taylor expansion of y in t 20.113 * [taylor]: Taking taylor expansion of x in t 20.113 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 20.113 * [taylor]: Taking taylor expansion of (/ 1 t) in t 20.113 * [taylor]: Taking taylor expansion of t in t 20.113 * [taylor]: Taking taylor expansion of (/ 1 z) in t 20.113 * [taylor]: Taking taylor expansion of z in t 20.114 * [taylor]: Taking taylor expansion of (/ -1 t) in t 20.114 * [taylor]: Taking taylor expansion of -1 in t 20.114 * [taylor]: Taking taylor expansion of t in t 20.114 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in z 20.114 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 20.114 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in z 20.114 * [taylor]: Taking taylor expansion of (/ y x) in z 20.114 * [taylor]: Taking taylor expansion of y in z 20.114 * [taylor]: Taking taylor expansion of x in z 20.114 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 20.114 * [taylor]: Taking taylor expansion of (/ 1 t) in z 20.114 * [taylor]: Taking taylor expansion of t in z 20.114 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.114 * [taylor]: Taking taylor expansion of z in z 20.114 * [taylor]: Taking taylor expansion of (/ -1 t) in z 20.114 * [taylor]: Taking taylor expansion of -1 in z 20.114 * [taylor]: Taking taylor expansion of t in z 20.115 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in y 20.115 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 20.115 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in y 20.115 * [taylor]: Taking taylor expansion of (/ y x) in y 20.115 * [taylor]: Taking taylor expansion of y in y 20.115 * [taylor]: Taking taylor expansion of x in y 20.115 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 20.115 * [taylor]: Taking taylor expansion of (/ 1 t) in y 20.115 * [taylor]: Taking taylor expansion of t in y 20.115 * [taylor]: Taking taylor expansion of (/ 1 z) in y 20.115 * [taylor]: Taking taylor expansion of z in y 20.115 * [taylor]: Taking taylor expansion of (/ -1 t) in y 20.115 * [taylor]: Taking taylor expansion of -1 in y 20.115 * [taylor]: Taking taylor expansion of t in y 20.115 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in x 20.115 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 20.115 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in x 20.115 * [taylor]: Taking taylor expansion of (/ y x) in x 20.115 * [taylor]: Taking taylor expansion of y in x 20.115 * [taylor]: Taking taylor expansion of x in x 20.115 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 20.115 * [taylor]: Taking taylor expansion of (/ 1 t) in x 20.115 * [taylor]: Taking taylor expansion of t in x 20.115 * [taylor]: Taking taylor expansion of (/ 1 z) in x 20.115 * [taylor]: Taking taylor expansion of z in x 20.115 * [taylor]: Taking taylor expansion of (/ -1 t) in x 20.115 * [taylor]: Taking taylor expansion of -1 in x 20.115 * [taylor]: Taking taylor expansion of t in x 20.115 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in x 20.115 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 20.115 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in x 20.115 * [taylor]: Taking taylor expansion of (/ y x) in x 20.115 * [taylor]: Taking taylor expansion of y in x 20.115 * [taylor]: Taking taylor expansion of x in x 20.115 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 20.116 * [taylor]: Taking taylor expansion of (/ 1 t) in x 20.116 * [taylor]: Taking taylor expansion of t in x 20.116 * [taylor]: Taking taylor expansion of (/ 1 z) in x 20.116 * [taylor]: Taking taylor expansion of z in x 20.116 * [taylor]: Taking taylor expansion of (/ -1 t) in x 20.116 * [taylor]: Taking taylor expansion of -1 in x 20.116 * [taylor]: Taking taylor expansion of t in x 20.116 * [taylor]: Taking taylor expansion of (- (/ y t) (/ y z)) in y 20.116 * [taylor]: Taking taylor expansion of (/ y t) in y 20.116 * [taylor]: Taking taylor expansion of y in y 20.116 * [taylor]: Taking taylor expansion of t in y 20.116 * [taylor]: Taking taylor expansion of (/ y z) in y 20.116 * [taylor]: Taking taylor expansion of y in y 20.116 * [taylor]: Taking taylor expansion of z in y 20.117 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in y 20.117 * [taylor]: Taking taylor expansion of (/ 1 t) in y 20.117 * [taylor]: Taking taylor expansion of t in y 20.117 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in z 20.117 * [taylor]: Taking taylor expansion of (/ 1 t) in z 20.117 * [taylor]: Taking taylor expansion of t in z 20.118 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 20.118 * [taylor]: Taking taylor expansion of (/ 1 t) in z 20.118 * [taylor]: Taking taylor expansion of t in z 20.118 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.118 * [taylor]: Taking taylor expansion of z in z 20.118 * [taylor]: Taking taylor expansion of -1 in t 20.121 * [taylor]: Taking taylor expansion of 0 in y 20.121 * [taylor]: Taking taylor expansion of 0 in z 20.121 * [taylor]: Taking taylor expansion of 0 in z 20.122 * [taylor]: Taking taylor expansion of 0 in z 20.122 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 20.122 * [taylor]: Taking taylor expansion of (/ 1 t) in t 20.122 * [taylor]: Taking taylor expansion of t in t 20.123 * [taylor]: Taking taylor expansion of (/ 1 t) in t 20.123 * [taylor]: Taking taylor expansion of t in t 20.124 * * * [progress]: simplifying candidates 20.125 * [simplify]: Simplifying using # : (expm1 (fma (/ x y) (- z t) t)) (log1p (fma (/ x y) (- z t) t)) (* (/ x y) (- z t)) (log (fma (/ x y) (- z t) t)) (exp (fma (/ x y) (- z t) t)) (* (cbrt (fma (/ x y) (- z t) t)) (cbrt (fma (/ x y) (- z t) t))) (cbrt (fma (/ x y) (- z t) t)) (* (* (fma (/ x y) (- z t) t) (fma (/ x y) (- z t) t)) (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (expm1 (fma (/ x y) (- z t) t)) (log1p (fma (/ x y) (- z t) t)) (* (/ x y) (- z t)) (log (fma (/ x y) (- z t) t)) (exp (fma (/ x y) (- z t) t)) (* (cbrt (fma (/ x y) (- z t) t)) (cbrt (fma (/ x y) (- z t) t))) (cbrt (fma (/ x y) (- z t) t)) (* (* (fma (/ x y) (- z t) t) (fma (/ x y) (- z t) t)) (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (expm1 (fma (/ x y) (- z t) t)) (log1p (fma (/ x y) (- z t) t)) (* (/ x y) (- z t)) (log (fma (/ x y) (- z t) t)) (exp (fma (/ x y) (- z t) t)) (* (cbrt (fma (/ x y) (- z t) t)) (cbrt (fma (/ x y) (- z t) t))) (cbrt (fma (/ x y) (- z t) t)) (* (* (fma (/ x y) (- z t) t) (fma (/ x y) (- z t) t)) (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (expm1 (fma (/ x y) (- z t) t)) (log1p (fma (/ x y) (- z t) t)) (* (/ x y) (- z t)) (log (fma (/ x y) (- z t) t)) (exp (fma (/ x y) (- z t) t)) (* (cbrt (fma (/ x y) (- z t) t)) (cbrt (fma (/ x y) (- z t) t))) (cbrt (fma (/ x y) (- z t) t)) (* (* (fma (/ x y) (- z t) t) (fma (/ x y) (- z t) t)) (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) 20.127 * * [simplify]: iteration 0 : 23 enodes (cost 616 ) 20.129 * * [simplify]: iteration 1 : 41 enodes (cost 616 ) 20.134 * * [simplify]: iteration 2 : 89 enodes (cost 552 ) 20.149 * * [simplify]: iteration 3 : 216 enodes (cost 492 ) 20.206 * * [simplify]: iteration 4 : 954 enodes (cost 492 ) 20.554 * * [simplify]: iteration done : 5002 enodes (cost 492 ) 20.554 * [simplify]: Simplified to: (expm1 (fma (/ x y) (- z t) t)) (log1p (fma (/ x y) (- z t) t)) (/ x (/ y (- z t))) (log (fma (/ x y) (- z t) t)) (exp (fma (/ x y) (- z t) t)) (* (cbrt (fma (/ x y) (- z t) t)) (cbrt (fma (/ x y) (- z t) t))) (cbrt (fma (/ x y) (- z t) t)) (pow (fma (/ x y) (- z t) t) 3) (sqrt (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (expm1 (fma (/ x y) (- z t) t)) (log1p (fma (/ x y) (- z t) t)) (/ x (/ y (- z t))) (log (fma (/ x y) (- z t) t)) (exp (fma (/ x y) (- z t) t)) (* (cbrt (fma (/ x y) (- z t) t)) (cbrt (fma (/ x y) (- z t) t))) (cbrt (fma (/ x y) (- z t) t)) (pow (fma (/ x y) (- z t) t) 3) (sqrt (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (expm1 (fma (/ x y) (- z t) t)) (log1p (fma (/ x y) (- z t) t)) (/ x (/ y (- z t))) (log (fma (/ x y) (- z t) t)) (exp (fma (/ x y) (- z t) t)) (* (cbrt (fma (/ x y) (- z t) t)) (cbrt (fma (/ x y) (- z t) t))) (cbrt (fma (/ x y) (- z t) t)) (pow (fma (/ x y) (- z t) t) 3) (sqrt (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (expm1 (fma (/ x y) (- z t) t)) (log1p (fma (/ x y) (- z t) t)) (/ x (/ y (- z t))) (log (fma (/ x y) (- z t) t)) (exp (fma (/ x y) (- z t) t)) (* (cbrt (fma (/ x y) (- z t) t)) (cbrt (fma (/ x y) (- z t) t))) (cbrt (fma (/ x y) (- z t) t)) (pow (fma (/ x y) (- z t) t) 3) (sqrt (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (fma (- z t) (/ x y) t) (fma (- z t) (/ x y) t) (fma (- z t) (/ x y) t) (fma (- z t) (/ x y) t) (fma (- z t) (/ x y) t) (fma (- z t) (/ x y) t) (fma (- z t) (/ x y) t) (fma (- z t) (/ x y) t) (fma (- z t) (/ x y) t) (fma (- z t) (/ x y) t) (fma (- z t) (/ x y) t) (fma (- z t) (/ x y) t) 20.554 * * * [progress]: adding candidates to table 20.732 * * [progress]: iteration 4 / 4 20.732 * * * [progress]: picking best candidate 20.747 * * * * [pick]: Picked # 20.748 * * * [progress]: localizing error 20.767 * * * [progress]: generating rewritten candidates 20.767 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 20.768 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 2 1) 20.768 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 2 1) 20.768 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 1 1) 20.769 * * * [progress]: generating series expansions 20.769 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 20.769 * [approximate]: Taking taylor expansion of (fma (/ x y) (- z t) t) in (x y z t) around 0 20.769 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in t 20.769 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 20.769 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in t 20.769 * [taylor]: Taking taylor expansion of (/ x y) in t 20.769 * [taylor]: Taking taylor expansion of x in t 20.769 * [taylor]: Taking taylor expansion of y in t 20.769 * [taylor]: Taking taylor expansion of (- z t) in t 20.769 * [taylor]: Taking taylor expansion of z in t 20.769 * [taylor]: Taking taylor expansion of t in t 20.769 * [taylor]: Taking taylor expansion of t in t 20.769 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in z 20.770 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 20.770 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in z 20.770 * [taylor]: Taking taylor expansion of (/ x y) in z 20.770 * [taylor]: Taking taylor expansion of x in z 20.770 * [taylor]: Taking taylor expansion of y in z 20.770 * [taylor]: Taking taylor expansion of (- z t) in z 20.770 * [taylor]: Taking taylor expansion of z in z 20.770 * [taylor]: Taking taylor expansion of t in z 20.770 * [taylor]: Taking taylor expansion of t in z 20.770 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in y 20.770 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 20.770 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in y 20.770 * [taylor]: Taking taylor expansion of (/ x y) in y 20.770 * [taylor]: Taking taylor expansion of x in y 20.770 * [taylor]: Taking taylor expansion of y in y 20.770 * [taylor]: Taking taylor expansion of (- z t) in y 20.770 * [taylor]: Taking taylor expansion of z in y 20.770 * [taylor]: Taking taylor expansion of t in y 20.770 * [taylor]: Taking taylor expansion of t in y 20.770 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in x 20.770 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 20.770 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in x 20.770 * [taylor]: Taking taylor expansion of (/ x y) in x 20.770 * [taylor]: Taking taylor expansion of x in x 20.770 * [taylor]: Taking taylor expansion of y in x 20.770 * [taylor]: Taking taylor expansion of (- z t) in x 20.770 * [taylor]: Taking taylor expansion of z in x 20.770 * [taylor]: Taking taylor expansion of t in x 20.770 * [taylor]: Taking taylor expansion of t in x 20.770 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in x 20.770 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 20.770 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in x 20.770 * [taylor]: Taking taylor expansion of (/ x y) in x 20.770 * [taylor]: Taking taylor expansion of x in x 20.770 * [taylor]: Taking taylor expansion of y in x 20.770 * [taylor]: Taking taylor expansion of (- z t) in x 20.770 * [taylor]: Taking taylor expansion of z in x 20.770 * [taylor]: Taking taylor expansion of t in x 20.770 * [taylor]: Taking taylor expansion of t in x 20.771 * [taylor]: Taking taylor expansion of t in y 20.771 * [taylor]: Taking taylor expansion of (- (/ z y) (/ t y)) in y 20.771 * [taylor]: Taking taylor expansion of (/ z y) in y 20.771 * [taylor]: Taking taylor expansion of z in y 20.771 * [taylor]: Taking taylor expansion of y in y 20.771 * [taylor]: Taking taylor expansion of (/ t y) in y 20.771 * [taylor]: Taking taylor expansion of t in y 20.771 * [taylor]: Taking taylor expansion of y in y 20.771 * [taylor]: Taking taylor expansion of (- z t) in z 20.771 * [taylor]: Taking taylor expansion of z in z 20.771 * [taylor]: Taking taylor expansion of t in z 20.771 * [taylor]: Taking taylor expansion of (- t) in t 20.771 * [taylor]: Taking taylor expansion of t in t 20.772 * [taylor]: Taking taylor expansion of t in z 20.772 * [taylor]: Taking taylor expansion of t in t 20.772 * [taylor]: Taking taylor expansion of 0 in y 20.774 * [taylor]: Taking taylor expansion of 0 in z 20.774 * [taylor]: Taking taylor expansion of 0 in t 20.774 * [taylor]: Taking taylor expansion of 0 in z 20.774 * [taylor]: Taking taylor expansion of 0 in t 20.775 * [taylor]: Taking taylor expansion of 1 in t 20.775 * [taylor]: Taking taylor expansion of 0 in t 20.776 * [approximate]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in (x y z t) around 0 20.776 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in t 20.776 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 20.776 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in t 20.776 * [taylor]: Taking taylor expansion of (/ y x) in t 20.776 * [taylor]: Taking taylor expansion of y in t 20.776 * [taylor]: Taking taylor expansion of x in t 20.776 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 20.776 * [taylor]: Taking taylor expansion of (/ 1 z) in t 20.776 * [taylor]: Taking taylor expansion of z in t 20.776 * [taylor]: Taking taylor expansion of (/ 1 t) in t 20.776 * [taylor]: Taking taylor expansion of t in t 20.776 * [taylor]: Taking taylor expansion of (/ 1 t) in t 20.776 * [taylor]: Taking taylor expansion of t in t 20.777 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in z 20.777 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 20.777 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in z 20.777 * [taylor]: Taking taylor expansion of (/ y x) in z 20.777 * [taylor]: Taking taylor expansion of y in z 20.777 * [taylor]: Taking taylor expansion of x in z 20.777 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 20.777 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.777 * [taylor]: Taking taylor expansion of z in z 20.777 * [taylor]: Taking taylor expansion of (/ 1 t) in z 20.777 * [taylor]: Taking taylor expansion of t in z 20.777 * [taylor]: Taking taylor expansion of (/ 1 t) in z 20.777 * [taylor]: Taking taylor expansion of t in z 20.777 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in y 20.777 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 20.777 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in y 20.777 * [taylor]: Taking taylor expansion of (/ y x) in y 20.777 * [taylor]: Taking taylor expansion of y in y 20.777 * [taylor]: Taking taylor expansion of x in y 20.777 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 20.777 * [taylor]: Taking taylor expansion of (/ 1 z) in y 20.777 * [taylor]: Taking taylor expansion of z in y 20.777 * [taylor]: Taking taylor expansion of (/ 1 t) in y 20.777 * [taylor]: Taking taylor expansion of t in y 20.777 * [taylor]: Taking taylor expansion of (/ 1 t) in y 20.778 * [taylor]: Taking taylor expansion of t in y 20.778 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in x 20.778 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 20.778 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in x 20.778 * [taylor]: Taking taylor expansion of (/ y x) in x 20.778 * [taylor]: Taking taylor expansion of y in x 20.778 * [taylor]: Taking taylor expansion of x in x 20.778 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 20.778 * [taylor]: Taking taylor expansion of (/ 1 z) in x 20.778 * [taylor]: Taking taylor expansion of z in x 20.778 * [taylor]: Taking taylor expansion of (/ 1 t) in x 20.778 * [taylor]: Taking taylor expansion of t in x 20.778 * [taylor]: Taking taylor expansion of (/ 1 t) in x 20.778 * [taylor]: Taking taylor expansion of t in x 20.778 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in x 20.778 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 20.778 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in x 20.778 * [taylor]: Taking taylor expansion of (/ y x) in x 20.778 * [taylor]: Taking taylor expansion of y in x 20.778 * [taylor]: Taking taylor expansion of x in x 20.778 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 20.778 * [taylor]: Taking taylor expansion of (/ 1 z) in x 20.778 * [taylor]: Taking taylor expansion of z in x 20.778 * [taylor]: Taking taylor expansion of (/ 1 t) in x 20.778 * [taylor]: Taking taylor expansion of t in x 20.778 * [taylor]: Taking taylor expansion of (/ 1 t) in x 20.778 * [taylor]: Taking taylor expansion of t in x 20.779 * [taylor]: Taking taylor expansion of (- (/ y z) (/ y t)) in y 20.779 * [taylor]: Taking taylor expansion of (/ y z) in y 20.779 * [taylor]: Taking taylor expansion of y in y 20.779 * [taylor]: Taking taylor expansion of z in y 20.779 * [taylor]: Taking taylor expansion of (/ y t) in y 20.779 * [taylor]: Taking taylor expansion of y in y 20.779 * [taylor]: Taking taylor expansion of t in y 20.780 * [taylor]: Taking taylor expansion of (/ 1 t) in y 20.780 * [taylor]: Taking taylor expansion of t in y 20.780 * [taylor]: Taking taylor expansion of (/ 1 t) in z 20.780 * [taylor]: Taking taylor expansion of t in z 20.780 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 20.780 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.780 * [taylor]: Taking taylor expansion of z in z 20.780 * [taylor]: Taking taylor expansion of (/ 1 t) in z 20.780 * [taylor]: Taking taylor expansion of t in z 20.781 * [taylor]: Taking taylor expansion of 1 in t 20.783 * [taylor]: Taking taylor expansion of 0 in y 20.783 * [taylor]: Taking taylor expansion of 0 in z 20.783 * [taylor]: Taking taylor expansion of 0 in z 20.784 * [taylor]: Taking taylor expansion of 0 in z 20.784 * [taylor]: Taking taylor expansion of (/ 1 t) in t 20.784 * [taylor]: Taking taylor expansion of t in t 20.785 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 20.785 * [taylor]: Taking taylor expansion of (/ 1 t) in t 20.785 * [taylor]: Taking taylor expansion of t in t 20.786 * [approximate]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in (x y z t) around 0 20.786 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in t 20.786 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 20.786 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in t 20.786 * [taylor]: Taking taylor expansion of (/ y x) in t 20.786 * [taylor]: Taking taylor expansion of y in t 20.786 * [taylor]: Taking taylor expansion of x in t 20.786 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 20.786 * [taylor]: Taking taylor expansion of (/ 1 t) in t 20.786 * [taylor]: Taking taylor expansion of t in t 20.787 * [taylor]: Taking taylor expansion of (/ 1 z) in t 20.787 * [taylor]: Taking taylor expansion of z in t 20.787 * [taylor]: Taking taylor expansion of (/ -1 t) in t 20.787 * [taylor]: Taking taylor expansion of -1 in t 20.787 * [taylor]: Taking taylor expansion of t in t 20.787 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in z 20.787 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 20.787 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in z 20.787 * [taylor]: Taking taylor expansion of (/ y x) in z 20.787 * [taylor]: Taking taylor expansion of y in z 20.787 * [taylor]: Taking taylor expansion of x in z 20.787 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 20.787 * [taylor]: Taking taylor expansion of (/ 1 t) in z 20.787 * [taylor]: Taking taylor expansion of t in z 20.787 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.787 * [taylor]: Taking taylor expansion of z in z 20.787 * [taylor]: Taking taylor expansion of (/ -1 t) in z 20.788 * [taylor]: Taking taylor expansion of -1 in z 20.788 * [taylor]: Taking taylor expansion of t in z 20.788 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in y 20.788 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 20.788 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in y 20.788 * [taylor]: Taking taylor expansion of (/ y x) in y 20.788 * [taylor]: Taking taylor expansion of y in y 20.788 * [taylor]: Taking taylor expansion of x in y 20.788 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 20.788 * [taylor]: Taking taylor expansion of (/ 1 t) in y 20.788 * [taylor]: Taking taylor expansion of t in y 20.788 * [taylor]: Taking taylor expansion of (/ 1 z) in y 20.788 * [taylor]: Taking taylor expansion of z in y 20.788 * [taylor]: Taking taylor expansion of (/ -1 t) in y 20.788 * [taylor]: Taking taylor expansion of -1 in y 20.788 * [taylor]: Taking taylor expansion of t in y 20.788 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in x 20.788 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 20.788 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in x 20.788 * [taylor]: Taking taylor expansion of (/ y x) in x 20.788 * [taylor]: Taking taylor expansion of y in x 20.788 * [taylor]: Taking taylor expansion of x in x 20.788 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 20.788 * [taylor]: Taking taylor expansion of (/ 1 t) in x 20.788 * [taylor]: Taking taylor expansion of t in x 20.788 * [taylor]: Taking taylor expansion of (/ 1 z) in x 20.788 * [taylor]: Taking taylor expansion of z in x 20.788 * [taylor]: Taking taylor expansion of (/ -1 t) in x 20.788 * [taylor]: Taking taylor expansion of -1 in x 20.788 * [taylor]: Taking taylor expansion of t in x 20.788 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in x 20.788 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 20.788 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in x 20.788 * [taylor]: Taking taylor expansion of (/ y x) in x 20.789 * [taylor]: Taking taylor expansion of y in x 20.789 * [taylor]: Taking taylor expansion of x in x 20.789 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 20.789 * [taylor]: Taking taylor expansion of (/ 1 t) in x 20.789 * [taylor]: Taking taylor expansion of t in x 20.789 * [taylor]: Taking taylor expansion of (/ 1 z) in x 20.789 * [taylor]: Taking taylor expansion of z in x 20.789 * [taylor]: Taking taylor expansion of (/ -1 t) in x 20.789 * [taylor]: Taking taylor expansion of -1 in x 20.789 * [taylor]: Taking taylor expansion of t in x 20.789 * [taylor]: Taking taylor expansion of (- (/ y t) (/ y z)) in y 20.789 * [taylor]: Taking taylor expansion of (/ y t) in y 20.789 * [taylor]: Taking taylor expansion of y in y 20.789 * [taylor]: Taking taylor expansion of t in y 20.789 * [taylor]: Taking taylor expansion of (/ y z) in y 20.789 * [taylor]: Taking taylor expansion of y in y 20.789 * [taylor]: Taking taylor expansion of z in y 20.790 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in y 20.790 * [taylor]: Taking taylor expansion of (/ 1 t) in y 20.790 * [taylor]: Taking taylor expansion of t in y 20.791 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in z 20.791 * [taylor]: Taking taylor expansion of (/ 1 t) in z 20.791 * [taylor]: Taking taylor expansion of t in z 20.791 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 20.791 * [taylor]: Taking taylor expansion of (/ 1 t) in z 20.791 * [taylor]: Taking taylor expansion of t in z 20.791 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.791 * [taylor]: Taking taylor expansion of z in z 20.791 * [taylor]: Taking taylor expansion of -1 in t 20.794 * [taylor]: Taking taylor expansion of 0 in y 20.794 * [taylor]: Taking taylor expansion of 0 in z 20.794 * [taylor]: Taking taylor expansion of 0 in z 20.795 * [taylor]: Taking taylor expansion of 0 in z 20.795 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 20.795 * [taylor]: Taking taylor expansion of (/ 1 t) in t 20.795 * [taylor]: Taking taylor expansion of t in t 20.796 * [taylor]: Taking taylor expansion of (/ 1 t) in t 20.796 * [taylor]: Taking taylor expansion of t in t 20.797 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 2 1) 20.797 * [approximate]: Taking taylor expansion of (fma (/ x y) (- z t) t) in (x y z t) around 0 20.797 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in t 20.797 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 20.797 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in t 20.797 * [taylor]: Taking taylor expansion of (/ x y) in t 20.797 * [taylor]: Taking taylor expansion of x in t 20.797 * [taylor]: Taking taylor expansion of y in t 20.797 * [taylor]: Taking taylor expansion of (- z t) in t 20.797 * [taylor]: Taking taylor expansion of z in t 20.797 * [taylor]: Taking taylor expansion of t in t 20.797 * [taylor]: Taking taylor expansion of t in t 20.797 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in z 20.797 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 20.798 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in z 20.798 * [taylor]: Taking taylor expansion of (/ x y) in z 20.798 * [taylor]: Taking taylor expansion of x in z 20.798 * [taylor]: Taking taylor expansion of y in z 20.798 * [taylor]: Taking taylor expansion of (- z t) in z 20.798 * [taylor]: Taking taylor expansion of z in z 20.798 * [taylor]: Taking taylor expansion of t in z 20.798 * [taylor]: Taking taylor expansion of t in z 20.798 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in y 20.798 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 20.798 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in y 20.798 * [taylor]: Taking taylor expansion of (/ x y) in y 20.798 * [taylor]: Taking taylor expansion of x in y 20.798 * [taylor]: Taking taylor expansion of y in y 20.798 * [taylor]: Taking taylor expansion of (- z t) in y 20.798 * [taylor]: Taking taylor expansion of z in y 20.798 * [taylor]: Taking taylor expansion of t in y 20.798 * [taylor]: Taking taylor expansion of t in y 20.798 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in x 20.798 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 20.798 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in x 20.798 * [taylor]: Taking taylor expansion of (/ x y) in x 20.798 * [taylor]: Taking taylor expansion of x in x 20.798 * [taylor]: Taking taylor expansion of y in x 20.798 * [taylor]: Taking taylor expansion of (- z t) in x 20.798 * [taylor]: Taking taylor expansion of z in x 20.798 * [taylor]: Taking taylor expansion of t in x 20.798 * [taylor]: Taking taylor expansion of t in x 20.798 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in x 20.798 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 20.798 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in x 20.798 * [taylor]: Taking taylor expansion of (/ x y) in x 20.798 * [taylor]: Taking taylor expansion of x in x 20.798 * [taylor]: Taking taylor expansion of y in x 20.798 * [taylor]: Taking taylor expansion of (- z t) in x 20.798 * [taylor]: Taking taylor expansion of z in x 20.798 * [taylor]: Taking taylor expansion of t in x 20.798 * [taylor]: Taking taylor expansion of t in x 20.798 * [taylor]: Taking taylor expansion of t in y 20.799 * [taylor]: Taking taylor expansion of (- (/ z y) (/ t y)) in y 20.799 * [taylor]: Taking taylor expansion of (/ z y) in y 20.799 * [taylor]: Taking taylor expansion of z in y 20.799 * [taylor]: Taking taylor expansion of y in y 20.799 * [taylor]: Taking taylor expansion of (/ t y) in y 20.799 * [taylor]: Taking taylor expansion of t in y 20.799 * [taylor]: Taking taylor expansion of y in y 20.799 * [taylor]: Taking taylor expansion of (- z t) in z 20.799 * [taylor]: Taking taylor expansion of z in z 20.799 * [taylor]: Taking taylor expansion of t in z 20.799 * [taylor]: Taking taylor expansion of (- t) in t 20.799 * [taylor]: Taking taylor expansion of t in t 20.799 * [taylor]: Taking taylor expansion of t in z 20.799 * [taylor]: Taking taylor expansion of t in t 20.800 * [taylor]: Taking taylor expansion of 0 in y 20.802 * [taylor]: Taking taylor expansion of 0 in z 20.802 * [taylor]: Taking taylor expansion of 0 in t 20.802 * [taylor]: Taking taylor expansion of 0 in z 20.802 * [taylor]: Taking taylor expansion of 0 in t 20.802 * [taylor]: Taking taylor expansion of 1 in t 20.802 * [taylor]: Taking taylor expansion of 0 in t 20.803 * [approximate]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in (x y z t) around 0 20.803 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in t 20.804 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 20.804 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in t 20.804 * [taylor]: Taking taylor expansion of (/ y x) in t 20.804 * [taylor]: Taking taylor expansion of y in t 20.804 * [taylor]: Taking taylor expansion of x in t 20.804 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 20.804 * [taylor]: Taking taylor expansion of (/ 1 z) in t 20.804 * [taylor]: Taking taylor expansion of z in t 20.804 * [taylor]: Taking taylor expansion of (/ 1 t) in t 20.804 * [taylor]: Taking taylor expansion of t in t 20.804 * [taylor]: Taking taylor expansion of (/ 1 t) in t 20.804 * [taylor]: Taking taylor expansion of t in t 20.804 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in z 20.804 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 20.804 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in z 20.804 * [taylor]: Taking taylor expansion of (/ y x) in z 20.804 * [taylor]: Taking taylor expansion of y in z 20.804 * [taylor]: Taking taylor expansion of x in z 20.805 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 20.805 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.805 * [taylor]: Taking taylor expansion of z in z 20.805 * [taylor]: Taking taylor expansion of (/ 1 t) in z 20.805 * [taylor]: Taking taylor expansion of t in z 20.805 * [taylor]: Taking taylor expansion of (/ 1 t) in z 20.805 * [taylor]: Taking taylor expansion of t in z 20.805 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in y 20.805 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 20.805 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in y 20.805 * [taylor]: Taking taylor expansion of (/ y x) in y 20.805 * [taylor]: Taking taylor expansion of y in y 20.805 * [taylor]: Taking taylor expansion of x in y 20.805 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 20.805 * [taylor]: Taking taylor expansion of (/ 1 z) in y 20.805 * [taylor]: Taking taylor expansion of z in y 20.805 * [taylor]: Taking taylor expansion of (/ 1 t) in y 20.805 * [taylor]: Taking taylor expansion of t in y 20.805 * [taylor]: Taking taylor expansion of (/ 1 t) in y 20.805 * [taylor]: Taking taylor expansion of t in y 20.805 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in x 20.805 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 20.805 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in x 20.805 * [taylor]: Taking taylor expansion of (/ y x) in x 20.805 * [taylor]: Taking taylor expansion of y in x 20.806 * [taylor]: Taking taylor expansion of x in x 20.806 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 20.806 * [taylor]: Taking taylor expansion of (/ 1 z) in x 20.806 * [taylor]: Taking taylor expansion of z in x 20.806 * [taylor]: Taking taylor expansion of (/ 1 t) in x 20.806 * [taylor]: Taking taylor expansion of t in x 20.806 * [taylor]: Taking taylor expansion of (/ 1 t) in x 20.806 * [taylor]: Taking taylor expansion of t in x 20.806 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in x 20.806 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 20.806 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in x 20.806 * [taylor]: Taking taylor expansion of (/ y x) in x 20.806 * [taylor]: Taking taylor expansion of y in x 20.806 * [taylor]: Taking taylor expansion of x in x 20.806 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 20.806 * [taylor]: Taking taylor expansion of (/ 1 z) in x 20.806 * [taylor]: Taking taylor expansion of z in x 20.806 * [taylor]: Taking taylor expansion of (/ 1 t) in x 20.806 * [taylor]: Taking taylor expansion of t in x 20.806 * [taylor]: Taking taylor expansion of (/ 1 t) in x 20.806 * [taylor]: Taking taylor expansion of t in x 20.806 * [taylor]: Taking taylor expansion of (- (/ y z) (/ y t)) in y 20.806 * [taylor]: Taking taylor expansion of (/ y z) in y 20.806 * [taylor]: Taking taylor expansion of y in y 20.806 * [taylor]: Taking taylor expansion of z in y 20.806 * [taylor]: Taking taylor expansion of (/ y t) in y 20.806 * [taylor]: Taking taylor expansion of y in y 20.806 * [taylor]: Taking taylor expansion of t in y 20.808 * [taylor]: Taking taylor expansion of (/ 1 t) in y 20.808 * [taylor]: Taking taylor expansion of t in y 20.808 * [taylor]: Taking taylor expansion of (/ 1 t) in z 20.808 * [taylor]: Taking taylor expansion of t in z 20.808 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 20.808 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.808 * [taylor]: Taking taylor expansion of z in z 20.808 * [taylor]: Taking taylor expansion of (/ 1 t) in z 20.808 * [taylor]: Taking taylor expansion of t in z 20.809 * [taylor]: Taking taylor expansion of 1 in t 20.811 * [taylor]: Taking taylor expansion of 0 in y 20.811 * [taylor]: Taking taylor expansion of 0 in z 20.811 * [taylor]: Taking taylor expansion of 0 in z 20.811 * [taylor]: Taking taylor expansion of 0 in z 20.811 * [taylor]: Taking taylor expansion of (/ 1 t) in t 20.811 * [taylor]: Taking taylor expansion of t in t 20.812 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 20.812 * [taylor]: Taking taylor expansion of (/ 1 t) in t 20.812 * [taylor]: Taking taylor expansion of t in t 20.814 * [approximate]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in (x y z t) around 0 20.814 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in t 20.814 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 20.814 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in t 20.814 * [taylor]: Taking taylor expansion of (/ y x) in t 20.814 * [taylor]: Taking taylor expansion of y in t 20.814 * [taylor]: Taking taylor expansion of x in t 20.814 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 20.814 * [taylor]: Taking taylor expansion of (/ 1 t) in t 20.814 * [taylor]: Taking taylor expansion of t in t 20.814 * [taylor]: Taking taylor expansion of (/ 1 z) in t 20.814 * [taylor]: Taking taylor expansion of z in t 20.814 * [taylor]: Taking taylor expansion of (/ -1 t) in t 20.814 * [taylor]: Taking taylor expansion of -1 in t 20.814 * [taylor]: Taking taylor expansion of t in t 20.815 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in z 20.815 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 20.815 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in z 20.815 * [taylor]: Taking taylor expansion of (/ y x) in z 20.815 * [taylor]: Taking taylor expansion of y in z 20.815 * [taylor]: Taking taylor expansion of x in z 20.815 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 20.815 * [taylor]: Taking taylor expansion of (/ 1 t) in z 20.815 * [taylor]: Taking taylor expansion of t in z 20.815 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.815 * [taylor]: Taking taylor expansion of z in z 20.815 * [taylor]: Taking taylor expansion of (/ -1 t) in z 20.815 * [taylor]: Taking taylor expansion of -1 in z 20.815 * [taylor]: Taking taylor expansion of t in z 20.815 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in y 20.815 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 20.815 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in y 20.815 * [taylor]: Taking taylor expansion of (/ y x) in y 20.815 * [taylor]: Taking taylor expansion of y in y 20.815 * [taylor]: Taking taylor expansion of x in y 20.815 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 20.815 * [taylor]: Taking taylor expansion of (/ 1 t) in y 20.816 * [taylor]: Taking taylor expansion of t in y 20.816 * [taylor]: Taking taylor expansion of (/ 1 z) in y 20.816 * [taylor]: Taking taylor expansion of z in y 20.816 * [taylor]: Taking taylor expansion of (/ -1 t) in y 20.816 * [taylor]: Taking taylor expansion of -1 in y 20.816 * [taylor]: Taking taylor expansion of t in y 20.816 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in x 20.816 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 20.816 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in x 20.816 * [taylor]: Taking taylor expansion of (/ y x) in x 20.816 * [taylor]: Taking taylor expansion of y in x 20.816 * [taylor]: Taking taylor expansion of x in x 20.816 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 20.816 * [taylor]: Taking taylor expansion of (/ 1 t) in x 20.816 * [taylor]: Taking taylor expansion of t in x 20.816 * [taylor]: Taking taylor expansion of (/ 1 z) in x 20.816 * [taylor]: Taking taylor expansion of z in x 20.816 * [taylor]: Taking taylor expansion of (/ -1 t) in x 20.816 * [taylor]: Taking taylor expansion of -1 in x 20.816 * [taylor]: Taking taylor expansion of t in x 20.816 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in x 20.816 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 20.817 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in x 20.817 * [taylor]: Taking taylor expansion of (/ y x) in x 20.817 * [taylor]: Taking taylor expansion of y in x 20.817 * [taylor]: Taking taylor expansion of x in x 20.817 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 20.817 * [taylor]: Taking taylor expansion of (/ 1 t) in x 20.817 * [taylor]: Taking taylor expansion of t in x 20.817 * [taylor]: Taking taylor expansion of (/ 1 z) in x 20.817 * [taylor]: Taking taylor expansion of z in x 20.817 * [taylor]: Taking taylor expansion of (/ -1 t) in x 20.817 * [taylor]: Taking taylor expansion of -1 in x 20.817 * [taylor]: Taking taylor expansion of t in x 20.817 * [taylor]: Taking taylor expansion of (- (/ y t) (/ y z)) in y 20.817 * [taylor]: Taking taylor expansion of (/ y t) in y 20.817 * [taylor]: Taking taylor expansion of y in y 20.817 * [taylor]: Taking taylor expansion of t in y 20.817 * [taylor]: Taking taylor expansion of (/ y z) in y 20.817 * [taylor]: Taking taylor expansion of y in y 20.817 * [taylor]: Taking taylor expansion of z in y 20.819 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in y 20.819 * [taylor]: Taking taylor expansion of (/ 1 t) in y 20.819 * [taylor]: Taking taylor expansion of t in y 20.819 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in z 20.819 * [taylor]: Taking taylor expansion of (/ 1 t) in z 20.819 * [taylor]: Taking taylor expansion of t in z 20.819 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 20.819 * [taylor]: Taking taylor expansion of (/ 1 t) in z 20.819 * [taylor]: Taking taylor expansion of t in z 20.819 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.819 * [taylor]: Taking taylor expansion of z in z 20.820 * [taylor]: Taking taylor expansion of -1 in t 20.822 * [taylor]: Taking taylor expansion of 0 in y 20.822 * [taylor]: Taking taylor expansion of 0 in z 20.822 * [taylor]: Taking taylor expansion of 0 in z 20.823 * [taylor]: Taking taylor expansion of 0 in z 20.823 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 20.823 * [taylor]: Taking taylor expansion of (/ 1 t) in t 20.823 * [taylor]: Taking taylor expansion of t in t 20.824 * [taylor]: Taking taylor expansion of (/ 1 t) in t 20.824 * [taylor]: Taking taylor expansion of t in t 20.825 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 2 1) 20.825 * [approximate]: Taking taylor expansion of (fma (/ x y) (- z t) t) in (x y z t) around 0 20.825 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in t 20.826 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 20.826 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in t 20.826 * [taylor]: Taking taylor expansion of (/ x y) in t 20.826 * [taylor]: Taking taylor expansion of x in t 20.826 * [taylor]: Taking taylor expansion of y in t 20.826 * [taylor]: Taking taylor expansion of (- z t) in t 20.826 * [taylor]: Taking taylor expansion of z in t 20.826 * [taylor]: Taking taylor expansion of t in t 20.826 * [taylor]: Taking taylor expansion of t in t 20.826 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in z 20.826 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 20.826 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in z 20.826 * [taylor]: Taking taylor expansion of (/ x y) in z 20.826 * [taylor]: Taking taylor expansion of x in z 20.826 * [taylor]: Taking taylor expansion of y in z 20.826 * [taylor]: Taking taylor expansion of (- z t) in z 20.826 * [taylor]: Taking taylor expansion of z in z 20.826 * [taylor]: Taking taylor expansion of t in z 20.826 * [taylor]: Taking taylor expansion of t in z 20.826 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in y 20.826 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 20.826 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in y 20.826 * [taylor]: Taking taylor expansion of (/ x y) in y 20.826 * [taylor]: Taking taylor expansion of x in y 20.826 * [taylor]: Taking taylor expansion of y in y 20.826 * [taylor]: Taking taylor expansion of (- z t) in y 20.826 * [taylor]: Taking taylor expansion of z in y 20.826 * [taylor]: Taking taylor expansion of t in y 20.826 * [taylor]: Taking taylor expansion of t in y 20.826 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in x 20.826 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 20.826 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in x 20.826 * [taylor]: Taking taylor expansion of (/ x y) in x 20.826 * [taylor]: Taking taylor expansion of x in x 20.826 * [taylor]: Taking taylor expansion of y in x 20.826 * [taylor]: Taking taylor expansion of (- z t) in x 20.826 * [taylor]: Taking taylor expansion of z in x 20.827 * [taylor]: Taking taylor expansion of t in x 20.827 * [taylor]: Taking taylor expansion of t in x 20.827 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in x 20.827 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 20.827 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in x 20.827 * [taylor]: Taking taylor expansion of (/ x y) in x 20.827 * [taylor]: Taking taylor expansion of x in x 20.827 * [taylor]: Taking taylor expansion of y in x 20.827 * [taylor]: Taking taylor expansion of (- z t) in x 20.827 * [taylor]: Taking taylor expansion of z in x 20.827 * [taylor]: Taking taylor expansion of t in x 20.827 * [taylor]: Taking taylor expansion of t in x 20.827 * [taylor]: Taking taylor expansion of t in y 20.827 * [taylor]: Taking taylor expansion of (- (/ z y) (/ t y)) in y 20.827 * [taylor]: Taking taylor expansion of (/ z y) in y 20.827 * [taylor]: Taking taylor expansion of z in y 20.827 * [taylor]: Taking taylor expansion of y in y 20.827 * [taylor]: Taking taylor expansion of (/ t y) in y 20.827 * [taylor]: Taking taylor expansion of t in y 20.827 * [taylor]: Taking taylor expansion of y in y 20.827 * [taylor]: Taking taylor expansion of (- z t) in z 20.827 * [taylor]: Taking taylor expansion of z in z 20.827 * [taylor]: Taking taylor expansion of t in z 20.827 * [taylor]: Taking taylor expansion of (- t) in t 20.827 * [taylor]: Taking taylor expansion of t in t 20.828 * [taylor]: Taking taylor expansion of t in z 20.828 * [taylor]: Taking taylor expansion of t in t 20.829 * [taylor]: Taking taylor expansion of 0 in y 20.830 * [taylor]: Taking taylor expansion of 0 in z 20.830 * [taylor]: Taking taylor expansion of 0 in t 20.830 * [taylor]: Taking taylor expansion of 0 in z 20.830 * [taylor]: Taking taylor expansion of 0 in t 20.831 * [taylor]: Taking taylor expansion of 1 in t 20.831 * [taylor]: Taking taylor expansion of 0 in t 20.832 * [approximate]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in (x y z t) around 0 20.832 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in t 20.832 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 20.832 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in t 20.832 * [taylor]: Taking taylor expansion of (/ y x) in t 20.832 * [taylor]: Taking taylor expansion of y in t 20.832 * [taylor]: Taking taylor expansion of x in t 20.832 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 20.832 * [taylor]: Taking taylor expansion of (/ 1 z) in t 20.832 * [taylor]: Taking taylor expansion of z in t 20.832 * [taylor]: Taking taylor expansion of (/ 1 t) in t 20.832 * [taylor]: Taking taylor expansion of t in t 20.833 * [taylor]: Taking taylor expansion of (/ 1 t) in t 20.833 * [taylor]: Taking taylor expansion of t in t 20.833 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in z 20.833 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 20.833 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in z 20.833 * [taylor]: Taking taylor expansion of (/ y x) in z 20.833 * [taylor]: Taking taylor expansion of y in z 20.833 * [taylor]: Taking taylor expansion of x in z 20.833 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 20.833 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.833 * [taylor]: Taking taylor expansion of z in z 20.833 * [taylor]: Taking taylor expansion of (/ 1 t) in z 20.833 * [taylor]: Taking taylor expansion of t in z 20.833 * [taylor]: Taking taylor expansion of (/ 1 t) in z 20.833 * [taylor]: Taking taylor expansion of t in z 20.833 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in y 20.834 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 20.834 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in y 20.834 * [taylor]: Taking taylor expansion of (/ y x) in y 20.834 * [taylor]: Taking taylor expansion of y in y 20.834 * [taylor]: Taking taylor expansion of x in y 20.834 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 20.834 * [taylor]: Taking taylor expansion of (/ 1 z) in y 20.834 * [taylor]: Taking taylor expansion of z in y 20.834 * [taylor]: Taking taylor expansion of (/ 1 t) in y 20.834 * [taylor]: Taking taylor expansion of t in y 20.834 * [taylor]: Taking taylor expansion of (/ 1 t) in y 20.834 * [taylor]: Taking taylor expansion of t in y 20.834 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in x 20.834 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 20.834 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in x 20.834 * [taylor]: Taking taylor expansion of (/ y x) in x 20.834 * [taylor]: Taking taylor expansion of y in x 20.834 * [taylor]: Taking taylor expansion of x in x 20.834 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 20.834 * [taylor]: Taking taylor expansion of (/ 1 z) in x 20.834 * [taylor]: Taking taylor expansion of z in x 20.834 * [taylor]: Taking taylor expansion of (/ 1 t) in x 20.834 * [taylor]: Taking taylor expansion of t in x 20.834 * [taylor]: Taking taylor expansion of (/ 1 t) in x 20.834 * [taylor]: Taking taylor expansion of t in x 20.834 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in x 20.834 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 20.834 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in x 20.834 * [taylor]: Taking taylor expansion of (/ y x) in x 20.834 * [taylor]: Taking taylor expansion of y in x 20.834 * [taylor]: Taking taylor expansion of x in x 20.834 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 20.834 * [taylor]: Taking taylor expansion of (/ 1 z) in x 20.834 * [taylor]: Taking taylor expansion of z in x 20.834 * [taylor]: Taking taylor expansion of (/ 1 t) in x 20.834 * [taylor]: Taking taylor expansion of t in x 20.835 * [taylor]: Taking taylor expansion of (/ 1 t) in x 20.835 * [taylor]: Taking taylor expansion of t in x 20.835 * [taylor]: Taking taylor expansion of (- (/ y z) (/ y t)) in y 20.835 * [taylor]: Taking taylor expansion of (/ y z) in y 20.835 * [taylor]: Taking taylor expansion of y in y 20.835 * [taylor]: Taking taylor expansion of z in y 20.835 * [taylor]: Taking taylor expansion of (/ y t) in y 20.835 * [taylor]: Taking taylor expansion of y in y 20.835 * [taylor]: Taking taylor expansion of t in y 20.836 * [taylor]: Taking taylor expansion of (/ 1 t) in y 20.836 * [taylor]: Taking taylor expansion of t in y 20.836 * [taylor]: Taking taylor expansion of (/ 1 t) in z 20.836 * [taylor]: Taking taylor expansion of t in z 20.837 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 20.837 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.837 * [taylor]: Taking taylor expansion of z in z 20.837 * [taylor]: Taking taylor expansion of (/ 1 t) in z 20.837 * [taylor]: Taking taylor expansion of t in z 20.837 * [taylor]: Taking taylor expansion of 1 in t 20.839 * [taylor]: Taking taylor expansion of 0 in y 20.839 * [taylor]: Taking taylor expansion of 0 in z 20.839 * [taylor]: Taking taylor expansion of 0 in z 20.840 * [taylor]: Taking taylor expansion of 0 in z 20.840 * [taylor]: Taking taylor expansion of (/ 1 t) in t 20.840 * [taylor]: Taking taylor expansion of t in t 20.841 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 20.841 * [taylor]: Taking taylor expansion of (/ 1 t) in t 20.841 * [taylor]: Taking taylor expansion of t in t 20.842 * [approximate]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in (x y z t) around 0 20.842 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in t 20.842 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 20.842 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in t 20.842 * [taylor]: Taking taylor expansion of (/ y x) in t 20.842 * [taylor]: Taking taylor expansion of y in t 20.842 * [taylor]: Taking taylor expansion of x in t 20.842 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 20.842 * [taylor]: Taking taylor expansion of (/ 1 t) in t 20.842 * [taylor]: Taking taylor expansion of t in t 20.843 * [taylor]: Taking taylor expansion of (/ 1 z) in t 20.843 * [taylor]: Taking taylor expansion of z in t 20.843 * [taylor]: Taking taylor expansion of (/ -1 t) in t 20.843 * [taylor]: Taking taylor expansion of -1 in t 20.843 * [taylor]: Taking taylor expansion of t in t 20.843 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in z 20.843 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 20.843 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in z 20.843 * [taylor]: Taking taylor expansion of (/ y x) in z 20.843 * [taylor]: Taking taylor expansion of y in z 20.843 * [taylor]: Taking taylor expansion of x in z 20.843 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 20.843 * [taylor]: Taking taylor expansion of (/ 1 t) in z 20.843 * [taylor]: Taking taylor expansion of t in z 20.843 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.843 * [taylor]: Taking taylor expansion of z in z 20.844 * [taylor]: Taking taylor expansion of (/ -1 t) in z 20.844 * [taylor]: Taking taylor expansion of -1 in z 20.844 * [taylor]: Taking taylor expansion of t in z 20.844 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in y 20.844 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 20.844 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in y 20.844 * [taylor]: Taking taylor expansion of (/ y x) in y 20.844 * [taylor]: Taking taylor expansion of y in y 20.844 * [taylor]: Taking taylor expansion of x in y 20.844 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 20.844 * [taylor]: Taking taylor expansion of (/ 1 t) in y 20.844 * [taylor]: Taking taylor expansion of t in y 20.844 * [taylor]: Taking taylor expansion of (/ 1 z) in y 20.844 * [taylor]: Taking taylor expansion of z in y 20.844 * [taylor]: Taking taylor expansion of (/ -1 t) in y 20.844 * [taylor]: Taking taylor expansion of -1 in y 20.844 * [taylor]: Taking taylor expansion of t in y 20.844 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in x 20.844 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 20.844 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in x 20.844 * [taylor]: Taking taylor expansion of (/ y x) in x 20.844 * [taylor]: Taking taylor expansion of y in x 20.844 * [taylor]: Taking taylor expansion of x in x 20.844 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 20.844 * [taylor]: Taking taylor expansion of (/ 1 t) in x 20.844 * [taylor]: Taking taylor expansion of t in x 20.844 * [taylor]: Taking taylor expansion of (/ 1 z) in x 20.845 * [taylor]: Taking taylor expansion of z in x 20.845 * [taylor]: Taking taylor expansion of (/ -1 t) in x 20.845 * [taylor]: Taking taylor expansion of -1 in x 20.845 * [taylor]: Taking taylor expansion of t in x 20.845 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in x 20.845 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 20.845 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in x 20.845 * [taylor]: Taking taylor expansion of (/ y x) in x 20.845 * [taylor]: Taking taylor expansion of y in x 20.845 * [taylor]: Taking taylor expansion of x in x 20.845 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 20.845 * [taylor]: Taking taylor expansion of (/ 1 t) in x 20.845 * [taylor]: Taking taylor expansion of t in x 20.845 * [taylor]: Taking taylor expansion of (/ 1 z) in x 20.845 * [taylor]: Taking taylor expansion of z in x 20.845 * [taylor]: Taking taylor expansion of (/ -1 t) in x 20.845 * [taylor]: Taking taylor expansion of -1 in x 20.845 * [taylor]: Taking taylor expansion of t in x 20.845 * [taylor]: Taking taylor expansion of (- (/ y t) (/ y z)) in y 20.845 * [taylor]: Taking taylor expansion of (/ y t) in y 20.845 * [taylor]: Taking taylor expansion of y in y 20.845 * [taylor]: Taking taylor expansion of t in y 20.845 * [taylor]: Taking taylor expansion of (/ y z) in y 20.845 * [taylor]: Taking taylor expansion of y in y 20.845 * [taylor]: Taking taylor expansion of z in y 20.847 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in y 20.847 * [taylor]: Taking taylor expansion of (/ 1 t) in y 20.847 * [taylor]: Taking taylor expansion of t in y 20.847 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in z 20.847 * [taylor]: Taking taylor expansion of (/ 1 t) in z 20.847 * [taylor]: Taking taylor expansion of t in z 20.847 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 20.847 * [taylor]: Taking taylor expansion of (/ 1 t) in z 20.847 * [taylor]: Taking taylor expansion of t in z 20.847 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.847 * [taylor]: Taking taylor expansion of z in z 20.848 * [taylor]: Taking taylor expansion of -1 in t 20.850 * [taylor]: Taking taylor expansion of 0 in y 20.852 * [taylor]: Taking taylor expansion of 0 in z 20.853 * [taylor]: Taking taylor expansion of 0 in z 20.854 * [taylor]: Taking taylor expansion of 0 in z 20.854 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 20.854 * [taylor]: Taking taylor expansion of (/ 1 t) in t 20.854 * [taylor]: Taking taylor expansion of t in t 20.855 * [taylor]: Taking taylor expansion of (/ 1 t) in t 20.855 * [taylor]: Taking taylor expansion of t in t 20.856 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 1 1) 20.856 * [approximate]: Taking taylor expansion of (fma (/ x y) (- z t) t) in (x y z t) around 0 20.856 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in t 20.857 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 20.857 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in t 20.857 * [taylor]: Taking taylor expansion of (/ x y) in t 20.857 * [taylor]: Taking taylor expansion of x in t 20.857 * [taylor]: Taking taylor expansion of y in t 20.857 * [taylor]: Taking taylor expansion of (- z t) in t 20.857 * [taylor]: Taking taylor expansion of z in t 20.857 * [taylor]: Taking taylor expansion of t in t 20.857 * [taylor]: Taking taylor expansion of t in t 20.857 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in z 20.857 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 20.857 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in z 20.857 * [taylor]: Taking taylor expansion of (/ x y) in z 20.857 * [taylor]: Taking taylor expansion of x in z 20.857 * [taylor]: Taking taylor expansion of y in z 20.857 * [taylor]: Taking taylor expansion of (- z t) in z 20.857 * [taylor]: Taking taylor expansion of z in z 20.857 * [taylor]: Taking taylor expansion of t in z 20.857 * [taylor]: Taking taylor expansion of t in z 20.857 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in y 20.857 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 20.857 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in y 20.857 * [taylor]: Taking taylor expansion of (/ x y) in y 20.857 * [taylor]: Taking taylor expansion of x in y 20.857 * [taylor]: Taking taylor expansion of y in y 20.857 * [taylor]: Taking taylor expansion of (- z t) in y 20.857 * [taylor]: Taking taylor expansion of z in y 20.857 * [taylor]: Taking taylor expansion of t in y 20.857 * [taylor]: Taking taylor expansion of t in y 20.857 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in x 20.857 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 20.858 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in x 20.858 * [taylor]: Taking taylor expansion of (/ x y) in x 20.858 * [taylor]: Taking taylor expansion of x in x 20.858 * [taylor]: Taking taylor expansion of y in x 20.858 * [taylor]: Taking taylor expansion of (- z t) in x 20.858 * [taylor]: Taking taylor expansion of z in x 20.858 * [taylor]: Taking taylor expansion of t in x 20.858 * [taylor]: Taking taylor expansion of t in x 20.858 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in x 20.858 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 20.858 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in x 20.858 * [taylor]: Taking taylor expansion of (/ x y) in x 20.858 * [taylor]: Taking taylor expansion of x in x 20.858 * [taylor]: Taking taylor expansion of y in x 20.858 * [taylor]: Taking taylor expansion of (- z t) in x 20.858 * [taylor]: Taking taylor expansion of z in x 20.858 * [taylor]: Taking taylor expansion of t in x 20.858 * [taylor]: Taking taylor expansion of t in x 20.858 * [taylor]: Taking taylor expansion of t in y 20.858 * [taylor]: Taking taylor expansion of (- (/ z y) (/ t y)) in y 20.858 * [taylor]: Taking taylor expansion of (/ z y) in y 20.858 * [taylor]: Taking taylor expansion of z in y 20.858 * [taylor]: Taking taylor expansion of y in y 20.858 * [taylor]: Taking taylor expansion of (/ t y) in y 20.858 * [taylor]: Taking taylor expansion of t in y 20.858 * [taylor]: Taking taylor expansion of y in y 20.858 * [taylor]: Taking taylor expansion of (- z t) in z 20.858 * [taylor]: Taking taylor expansion of z in z 20.858 * [taylor]: Taking taylor expansion of t in z 20.858 * [taylor]: Taking taylor expansion of (- t) in t 20.858 * [taylor]: Taking taylor expansion of t in t 20.859 * [taylor]: Taking taylor expansion of t in z 20.859 * [taylor]: Taking taylor expansion of t in t 20.860 * [taylor]: Taking taylor expansion of 0 in y 20.861 * [taylor]: Taking taylor expansion of 0 in z 20.861 * [taylor]: Taking taylor expansion of 0 in t 20.861 * [taylor]: Taking taylor expansion of 0 in z 20.861 * [taylor]: Taking taylor expansion of 0 in t 20.862 * [taylor]: Taking taylor expansion of 1 in t 20.862 * [taylor]: Taking taylor expansion of 0 in t 20.863 * [approximate]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in (x y z t) around 0 20.863 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in t 20.863 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 20.863 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in t 20.863 * [taylor]: Taking taylor expansion of (/ y x) in t 20.863 * [taylor]: Taking taylor expansion of y in t 20.863 * [taylor]: Taking taylor expansion of x in t 20.863 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 20.863 * [taylor]: Taking taylor expansion of (/ 1 z) in t 20.863 * [taylor]: Taking taylor expansion of z in t 20.863 * [taylor]: Taking taylor expansion of (/ 1 t) in t 20.863 * [taylor]: Taking taylor expansion of t in t 20.864 * [taylor]: Taking taylor expansion of (/ 1 t) in t 20.864 * [taylor]: Taking taylor expansion of t in t 20.864 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in z 20.864 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 20.864 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in z 20.864 * [taylor]: Taking taylor expansion of (/ y x) in z 20.864 * [taylor]: Taking taylor expansion of y in z 20.864 * [taylor]: Taking taylor expansion of x in z 20.864 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 20.864 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.864 * [taylor]: Taking taylor expansion of z in z 20.864 * [taylor]: Taking taylor expansion of (/ 1 t) in z 20.864 * [taylor]: Taking taylor expansion of t in z 20.864 * [taylor]: Taking taylor expansion of (/ 1 t) in z 20.864 * [taylor]: Taking taylor expansion of t in z 20.864 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in y 20.865 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 20.865 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in y 20.865 * [taylor]: Taking taylor expansion of (/ y x) in y 20.865 * [taylor]: Taking taylor expansion of y in y 20.865 * [taylor]: Taking taylor expansion of x in y 20.865 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 20.865 * [taylor]: Taking taylor expansion of (/ 1 z) in y 20.865 * [taylor]: Taking taylor expansion of z in y 20.865 * [taylor]: Taking taylor expansion of (/ 1 t) in y 20.865 * [taylor]: Taking taylor expansion of t in y 20.865 * [taylor]: Taking taylor expansion of (/ 1 t) in y 20.865 * [taylor]: Taking taylor expansion of t in y 20.865 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in x 20.865 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 20.865 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in x 20.865 * [taylor]: Taking taylor expansion of (/ y x) in x 20.865 * [taylor]: Taking taylor expansion of y in x 20.865 * [taylor]: Taking taylor expansion of x in x 20.865 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 20.865 * [taylor]: Taking taylor expansion of (/ 1 z) in x 20.865 * [taylor]: Taking taylor expansion of z in x 20.865 * [taylor]: Taking taylor expansion of (/ 1 t) in x 20.865 * [taylor]: Taking taylor expansion of t in x 20.865 * [taylor]: Taking taylor expansion of (/ 1 t) in x 20.865 * [taylor]: Taking taylor expansion of t in x 20.865 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in x 20.865 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 20.865 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in x 20.865 * [taylor]: Taking taylor expansion of (/ y x) in x 20.865 * [taylor]: Taking taylor expansion of y in x 20.865 * [taylor]: Taking taylor expansion of x in x 20.866 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 20.866 * [taylor]: Taking taylor expansion of (/ 1 z) in x 20.866 * [taylor]: Taking taylor expansion of z in x 20.866 * [taylor]: Taking taylor expansion of (/ 1 t) in x 20.866 * [taylor]: Taking taylor expansion of t in x 20.866 * [taylor]: Taking taylor expansion of (/ 1 t) in x 20.866 * [taylor]: Taking taylor expansion of t in x 20.866 * [taylor]: Taking taylor expansion of (- (/ y z) (/ y t)) in y 20.866 * [taylor]: Taking taylor expansion of (/ y z) in y 20.866 * [taylor]: Taking taylor expansion of y in y 20.866 * [taylor]: Taking taylor expansion of z in y 20.866 * [taylor]: Taking taylor expansion of (/ y t) in y 20.866 * [taylor]: Taking taylor expansion of y in y 20.866 * [taylor]: Taking taylor expansion of t in y 20.868 * [taylor]: Taking taylor expansion of (/ 1 t) in y 20.868 * [taylor]: Taking taylor expansion of t in y 20.868 * [taylor]: Taking taylor expansion of (/ 1 t) in z 20.868 * [taylor]: Taking taylor expansion of t in z 20.868 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 20.868 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.868 * [taylor]: Taking taylor expansion of z in z 20.868 * [taylor]: Taking taylor expansion of (/ 1 t) in z 20.868 * [taylor]: Taking taylor expansion of t in z 20.868 * [taylor]: Taking taylor expansion of 1 in t 20.870 * [taylor]: Taking taylor expansion of 0 in y 20.871 * [taylor]: Taking taylor expansion of 0 in z 20.871 * [taylor]: Taking taylor expansion of 0 in z 20.871 * [taylor]: Taking taylor expansion of 0 in z 20.871 * [taylor]: Taking taylor expansion of (/ 1 t) in t 20.871 * [taylor]: Taking taylor expansion of t in t 20.872 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 20.872 * [taylor]: Taking taylor expansion of (/ 1 t) in t 20.872 * [taylor]: Taking taylor expansion of t in t 20.873 * [approximate]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in (x y z t) around 0 20.873 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in t 20.874 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 20.874 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in t 20.874 * [taylor]: Taking taylor expansion of (/ y x) in t 20.874 * [taylor]: Taking taylor expansion of y in t 20.874 * [taylor]: Taking taylor expansion of x in t 20.874 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 20.874 * [taylor]: Taking taylor expansion of (/ 1 t) in t 20.874 * [taylor]: Taking taylor expansion of t in t 20.874 * [taylor]: Taking taylor expansion of (/ 1 z) in t 20.874 * [taylor]: Taking taylor expansion of z in t 20.874 * [taylor]: Taking taylor expansion of (/ -1 t) in t 20.874 * [taylor]: Taking taylor expansion of -1 in t 20.874 * [taylor]: Taking taylor expansion of t in t 20.874 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in z 20.875 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 20.875 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in z 20.875 * [taylor]: Taking taylor expansion of (/ y x) in z 20.875 * [taylor]: Taking taylor expansion of y in z 20.875 * [taylor]: Taking taylor expansion of x in z 20.875 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 20.875 * [taylor]: Taking taylor expansion of (/ 1 t) in z 20.875 * [taylor]: Taking taylor expansion of t in z 20.875 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.875 * [taylor]: Taking taylor expansion of z in z 20.875 * [taylor]: Taking taylor expansion of (/ -1 t) in z 20.875 * [taylor]: Taking taylor expansion of -1 in z 20.875 * [taylor]: Taking taylor expansion of t in z 20.875 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in y 20.875 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 20.875 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in y 20.875 * [taylor]: Taking taylor expansion of (/ y x) in y 20.875 * [taylor]: Taking taylor expansion of y in y 20.875 * [taylor]: Taking taylor expansion of x in y 20.875 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 20.875 * [taylor]: Taking taylor expansion of (/ 1 t) in y 20.875 * [taylor]: Taking taylor expansion of t in y 20.875 * [taylor]: Taking taylor expansion of (/ 1 z) in y 20.875 * [taylor]: Taking taylor expansion of z in y 20.875 * [taylor]: Taking taylor expansion of (/ -1 t) in y 20.875 * [taylor]: Taking taylor expansion of -1 in y 20.875 * [taylor]: Taking taylor expansion of t in y 20.875 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in x 20.876 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 20.876 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in x 20.876 * [taylor]: Taking taylor expansion of (/ y x) in x 20.876 * [taylor]: Taking taylor expansion of y in x 20.876 * [taylor]: Taking taylor expansion of x in x 20.876 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 20.876 * [taylor]: Taking taylor expansion of (/ 1 t) in x 20.876 * [taylor]: Taking taylor expansion of t in x 20.876 * [taylor]: Taking taylor expansion of (/ 1 z) in x 20.876 * [taylor]: Taking taylor expansion of z in x 20.876 * [taylor]: Taking taylor expansion of (/ -1 t) in x 20.876 * [taylor]: Taking taylor expansion of -1 in x 20.876 * [taylor]: Taking taylor expansion of t in x 20.876 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in x 20.876 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 20.876 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in x 20.876 * [taylor]: Taking taylor expansion of (/ y x) in x 20.876 * [taylor]: Taking taylor expansion of y in x 20.876 * [taylor]: Taking taylor expansion of x in x 20.876 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 20.876 * [taylor]: Taking taylor expansion of (/ 1 t) in x 20.876 * [taylor]: Taking taylor expansion of t in x 20.876 * [taylor]: Taking taylor expansion of (/ 1 z) in x 20.876 * [taylor]: Taking taylor expansion of z in x 20.876 * [taylor]: Taking taylor expansion of (/ -1 t) in x 20.876 * [taylor]: Taking taylor expansion of -1 in x 20.876 * [taylor]: Taking taylor expansion of t in x 20.877 * [taylor]: Taking taylor expansion of (- (/ y t) (/ y z)) in y 20.877 * [taylor]: Taking taylor expansion of (/ y t) in y 20.877 * [taylor]: Taking taylor expansion of y in y 20.877 * [taylor]: Taking taylor expansion of t in y 20.877 * [taylor]: Taking taylor expansion of (/ y z) in y 20.877 * [taylor]: Taking taylor expansion of y in y 20.877 * [taylor]: Taking taylor expansion of z in y 20.878 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in y 20.878 * [taylor]: Taking taylor expansion of (/ 1 t) in y 20.878 * [taylor]: Taking taylor expansion of t in y 20.878 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in z 20.878 * [taylor]: Taking taylor expansion of (/ 1 t) in z 20.878 * [taylor]: Taking taylor expansion of t in z 20.878 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 20.878 * [taylor]: Taking taylor expansion of (/ 1 t) in z 20.878 * [taylor]: Taking taylor expansion of t in z 20.878 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.878 * [taylor]: Taking taylor expansion of z in z 20.879 * [taylor]: Taking taylor expansion of -1 in t 20.881 * [taylor]: Taking taylor expansion of 0 in y 20.881 * [taylor]: Taking taylor expansion of 0 in z 20.882 * [taylor]: Taking taylor expansion of 0 in z 20.882 * [taylor]: Taking taylor expansion of 0 in z 20.882 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 20.882 * [taylor]: Taking taylor expansion of (/ 1 t) in t 20.882 * [taylor]: Taking taylor expansion of t in t 20.884 * [taylor]: Taking taylor expansion of (/ 1 t) in t 20.884 * [taylor]: Taking taylor expansion of t in t 20.885 * * * [progress]: simplifying candidates 20.885 * [simplify]: Simplifying using # : (expm1 (fma (/ x y) (- z t) t)) (log1p (fma (/ x y) (- z t) t)) (* (/ x y) (- z t)) (log (fma (/ x y) (- z t) t)) (exp (fma (/ x y) (- z t) t)) (* (cbrt (fma (/ x y) (- z t) t)) (cbrt (fma (/ x y) (- z t) t))) (cbrt (fma (/ x y) (- z t) t)) (* (* (fma (/ x y) (- z t) t) (fma (/ x y) (- z t) t)) (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (expm1 (fma (/ x y) (- z t) t)) (log1p (fma (/ x y) (- z t) t)) (* (/ x y) (- z t)) (log (fma (/ x y) (- z t) t)) (exp (fma (/ x y) (- z t) t)) (* (cbrt (fma (/ x y) (- z t) t)) (cbrt (fma (/ x y) (- z t) t))) (cbrt (fma (/ x y) (- z t) t)) (* (* (fma (/ x y) (- z t) t) (fma (/ x y) (- z t) t)) (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (expm1 (fma (/ x y) (- z t) t)) (log1p (fma (/ x y) (- z t) t)) (* (/ x y) (- z t)) (log (fma (/ x y) (- z t) t)) (exp (fma (/ x y) (- z t) t)) (* (cbrt (fma (/ x y) (- z t) t)) (cbrt (fma (/ x y) (- z t) t))) (cbrt (fma (/ x y) (- z t) t)) (* (* (fma (/ x y) (- z t) t) (fma (/ x y) (- z t) t)) (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (expm1 (fma (/ x y) (- z t) t)) (log1p (fma (/ x y) (- z t) t)) (* (/ x y) (- z t)) (log (fma (/ x y) (- z t) t)) (exp (fma (/ x y) (- z t) t)) (* (cbrt (fma (/ x y) (- z t) t)) (cbrt (fma (/ x y) (- z t) t))) (cbrt (fma (/ x y) (- z t) t)) (* (* (fma (/ x y) (- z t) t) (fma (/ x y) (- z t) t)) (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) 20.887 * * [simplify]: iteration 0 : 23 enodes (cost 616 ) 20.890 * * [simplify]: iteration 1 : 41 enodes (cost 616 ) 20.895 * * [simplify]: iteration 2 : 89 enodes (cost 552 ) 20.909 * * [simplify]: iteration 3 : 216 enodes (cost 492 ) 20.966 * * [simplify]: iteration 4 : 954 enodes (cost 492 ) 21.318 * * [simplify]: iteration done : 5002 enodes (cost 492 ) 21.318 * [simplify]: Simplified to: (expm1 (fma (/ x y) (- z t) t)) (log1p (fma (/ x y) (- z t) t)) (/ x (/ y (- z t))) (log (fma (/ x y) (- z t) t)) (exp (fma (/ x y) (- z t) t)) (* (cbrt (fma (/ x y) (- z t) t)) (cbrt (fma (/ x y) (- z t) t))) (cbrt (fma (/ x y) (- z t) t)) (pow (fma (/ x y) (- z t) t) 3) (sqrt (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (expm1 (fma (/ x y) (- z t) t)) (log1p (fma (/ x y) (- z t) t)) (/ x (/ y (- z t))) (log (fma (/ x y) (- z t) t)) (exp (fma (/ x y) (- z t) t)) (* (cbrt (fma (/ x y) (- z t) t)) (cbrt (fma (/ x y) (- z t) t))) (cbrt (fma (/ x y) (- z t) t)) (pow (fma (/ x y) (- z t) t) 3) (sqrt (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (expm1 (fma (/ x y) (- z t) t)) (log1p (fma (/ x y) (- z t) t)) (/ x (/ y (- z t))) (log (fma (/ x y) (- z t) t)) (exp (fma (/ x y) (- z t) t)) (* (cbrt (fma (/ x y) (- z t) t)) (cbrt (fma (/ x y) (- z t) t))) (cbrt (fma (/ x y) (- z t) t)) (pow (fma (/ x y) (- z t) t) 3) (sqrt (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (expm1 (fma (/ x y) (- z t) t)) (log1p (fma (/ x y) (- z t) t)) (/ x (/ y (- z t))) (log (fma (/ x y) (- z t) t)) (exp (fma (/ x y) (- z t) t)) (* (cbrt (fma (/ x y) (- z t) t)) (cbrt (fma (/ x y) (- z t) t))) (cbrt (fma (/ x y) (- z t) t)) (pow (fma (/ x y) (- z t) t) 3) (sqrt (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (fma (- z t) (/ x y) t) (fma (- z t) (/ x y) t) (fma (- z t) (/ x y) t) (fma (- z t) (/ x y) t) (fma (- z t) (/ x y) t) (fma (- z t) (/ x y) t) (fma (- z t) (/ x y) t) (fma (- z t) (/ x y) t) (fma (- z t) (/ x y) t) (fma (- z t) (/ x y) t) (fma (- z t) (/ x y) t) (fma (- z t) (/ x y) t) 21.318 * * * [progress]: adding candidates to table 21.515 * [progress]: [Phase 3 of 3] Extracting. 21.515 * * [regime]: Finding splitpoints for: (# # # # # # # #) 21.519 * * * [regime-changes]: Trying 5 branch expressions: ((/ x y) t z y x) 21.519 * * * * [regimes]: Trying to branch on (/ x y) from (# # # # # # # #) 21.555 * * * * [regimes]: Trying to branch on t from (# # # # # # # #) 21.591 * * * * [regimes]: Trying to branch on z from (# # # # # # # #) 21.628 * * * * [regimes]: Trying to branch on y from (# # # # # # # #) 21.664 * * * * [regimes]: Trying to branch on x from (# # # # # # # #) 21.700 * * * [regime]: Found split indices: #