0.425 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.024 * * * [progress]: [2/2] Setting up program. 0.026 * [progress]: [Phase 2 of 3] Improving. 0.027 * [simplify]: Simplifying: (+ (* (/ x y) (- z t)) t) 0.027 * * [simplify]: Extracting # 0 : cost 0 0.027 * * [simplify]: Extracting # 1 : cost 0 0.027 * * [simplify]: Extracting # 2 : cost 0 0.027 * * [simplify]: Extracting # 3 : cost 0 0.027 * * [simplify]: Extracting # 4 : cost 0 0.027 * * [simplify]: Extracting # 5 : cost 0 0.027 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.028 * * [simplify]: Extracting # 0 : cost 0 0.028 * * [simplify]: Extracting # 1 : cost 0 0.028 * * [simplify]: Extracting # 2 : cost 0 0.028 * * [simplify]: iteration 1 : 15 enodes (cost 8 ) 0.030 * * [simplify]: Extracting # 0 : cost 0 0.030 * * [simplify]: Extracting # 1 : cost 0 0.030 * * [simplify]: Extracting # 2 : cost 0 0.030 * * [simplify]: iteration 2 : 33 enodes (cost 8 ) 0.036 * * [simplify]: Extracting # 0 : cost 0 0.037 * * [simplify]: Extracting # 1 : cost 0 0.037 * * [simplify]: Extracting # 2 : cost 0 0.037 * * [simplify]: iteration 3 : 63 enodes (cost 8 ) 0.047 * * [simplify]: Extracting # 0 : cost 0 0.047 * * [simplify]: Extracting # 1 : cost 0 0.047 * * [simplify]: Extracting # 2 : cost 0 0.047 * * [simplify]: iteration 4 : 102 enodes (cost 8 ) 0.065 * * [simplify]: Extracting # 0 : cost 0 0.065 * * [simplify]: Extracting # 1 : cost 0 0.065 * * [simplify]: Extracting # 2 : cost 0 0.065 * * [simplify]: Extracting # 3 : cost 0 0.066 * * [simplify]: Extracting # 4 : cost 0 0.066 * * [simplify]: iteration 5 : 142 enodes (cost 8 ) 0.098 * * [simplify]: Extracting # 0 : cost 0 0.098 * * [simplify]: Extracting # 1 : cost 0 0.099 * * [simplify]: Extracting # 2 : cost 0 0.099 * * [simplify]: iteration 6 : 175 enodes (cost 8 ) 0.144 * * [simplify]: Extracting # 0 : cost 0 0.144 * * [simplify]: Extracting # 1 : cost 0 0.144 * * [simplify]: Extracting # 2 : cost 0 0.145 * * [simplify]: Extracting # 3 : cost 0 0.145 * * [simplify]: iteration 7 : 213 enodes (cost 8 ) 0.287 * * [simplify]: Extracting # 0 : cost 0 0.287 * * [simplify]: Extracting # 1 : cost 0 0.288 * * [simplify]: Extracting # 2 : cost 0 0.288 * * [simplify]: iteration 8 : 282 enodes (cost 8 ) 0.420 * * [simplify]: Extracting # 0 : cost 0 0.421 * * [simplify]: Extracting # 1 : cost 0 0.421 * * [simplify]: Extracting # 2 : cost 0 0.422 * * [simplify]: iteration 9 : 367 enodes (cost 8 ) 0.677 * * [simplify]: Extracting # 0 : cost 0 0.678 * * [simplify]: Extracting # 1 : cost 0 0.679 * * [simplify]: Extracting # 2 : cost 0 0.679 * * [simplify]: iteration 10 : 462 enodes (cost 8 ) 0.842 * * [simplify]: Extracting # 0 : cost 0 0.843 * * [simplify]: Extracting # 1 : cost 0 0.843 * * [simplify]: Extracting # 2 : cost 0 0.844 * * [simplify]: iteration 11 : 520 enodes (cost 8 ) 1.030 * * [simplify]: Extracting # 0 : cost 0 1.030 * * [simplify]: Extracting # 1 : cost 0 1.030 * * [simplify]: Extracting # 2 : cost 0 1.031 * * [simplify]: iteration 12 : 570 enodes (cost 8 ) 1.316 * * [simplify]: Extracting # 0 : cost 0 1.318 * * [simplify]: Extracting # 1 : cost 0 1.318 * * [simplify]: Extracting # 2 : cost 0 1.319 * * [simplify]: iteration 13 : 613 enodes (cost 8 ) 1.549 * * [simplify]: Extracting # 0 : cost 0 1.549 * * [simplify]: Extracting # 1 : cost 0 1.549 * * [simplify]: Extracting # 2 : cost 0 1.550 * * [simplify]: Extracting # 3 : cost 0 1.550 * * [simplify]: iteration 14 : 635 enodes (cost 8 ) 1.813 * * [simplify]: Extracting # 0 : cost 0 1.814 * * [simplify]: Extracting # 1 : cost 0 1.814 * * [simplify]: Extracting # 2 : cost 0 1.814 * * [simplify]: iteration 15 : 673 enodes (cost 8 ) 2.180 * * [simplify]: Extracting # 0 : cost 0 2.181 * * [simplify]: Extracting # 1 : cost 0 2.182 * * [simplify]: Extracting # 2 : cost 0 2.182 * * [simplify]: iteration 16 : 802 enodes (cost 8 ) 2.668 * * [simplify]: Extracting # 0 : cost 0 2.669 * * [simplify]: Extracting # 1 : cost 0 2.670 * * [simplify]: Extracting # 2 : cost 0 2.671 * * [simplify]: iteration 17 : 940 enodes (cost 8 ) 3.447 * * [simplify]: Extracting # 0 : cost 0 3.449 * * [simplify]: Extracting # 1 : cost 0 3.450 * * [simplify]: Extracting # 2 : cost 0 3.452 * * [simplify]: iteration 18 : 1253 enodes (cost 8 ) 4.749 * * [simplify]: Extracting # 0 : cost 0 4.752 * * [simplify]: Extracting # 1 : cost 0 4.753 * * [simplify]: Extracting # 2 : cost 0 4.755 * * [simplify]: iteration 19 : 1744 enodes (cost 8 ) 6.651 * * [simplify]: Extracting # 0 : cost 0 6.652 * * [simplify]: Extracting # 1 : cost 0 6.653 * * [simplify]: Extracting # 2 : cost 0 6.654 * * [simplify]: iteration 20 : 2349 enodes (cost 8 ) 8.060 * * [simplify]: Extracting # 0 : cost 0 8.069 * * [simplify]: Extracting # 1 : cost 0 8.070 * * [simplify]: Extracting # 2 : cost 0 8.072 * * [simplify]: iteration 21 : 2520 enodes (cost 8 ) 9.407 * * [simplify]: Extracting # 0 : cost 0 9.408 * * [simplify]: Extracting # 1 : cost 0 9.409 * * [simplify]: iteration 22 : 2528 enodes (cost 8 ) 10.712 * * [simplify]: Extracting # 0 : cost 0 10.713 * * [simplify]: iteration done: 2528 enodes (cost 8 ) 10.714 * [simplify]: Simplified to: (fma (/ x y) (- z t) t) 10.720 * * [progress]: iteration 1 / 4 10.720 * * * [progress]: picking best candidate 10.723 * * * * [pick]: Picked # 10.723 * * * [progress]: localizing error 10.737 * * * [progress]: generating rewritten candidates 10.737 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 10.739 * * * [progress]: generating series expansions 10.739 * * * * [progress]: [ 1 / 1 ] generating series at (2) 10.739 * [backup-simplify]: Simplify (fma (/ x y) (- z t) t) into (fma (/ x y) (- z t) t) 10.739 * [approximate]: Taking taylor expansion of (fma (/ x y) (- z t) t) in (x y z t) around 0 10.739 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in t 10.740 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 10.740 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in t 10.740 * [taylor]: Taking taylor expansion of (/ x y) in t 10.740 * [taylor]: Taking taylor expansion of x in t 10.740 * [backup-simplify]: Simplify x into x 10.740 * [taylor]: Taking taylor expansion of y in t 10.740 * [backup-simplify]: Simplify y into y 10.740 * [backup-simplify]: Simplify (/ x y) into (/ x y) 10.740 * [taylor]: Taking taylor expansion of (- z t) in t 10.740 * [taylor]: Taking taylor expansion of z in t 10.740 * [backup-simplify]: Simplify z into z 10.740 * [taylor]: Taking taylor expansion of t in t 10.740 * [backup-simplify]: Simplify 0 into 0 10.740 * [backup-simplify]: Simplify 1 into 1 10.740 * [taylor]: Taking taylor expansion of t in t 10.740 * [backup-simplify]: Simplify 0 into 0 10.740 * [backup-simplify]: Simplify 1 into 1 10.740 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in z 10.740 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 10.740 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in z 10.740 * [taylor]: Taking taylor expansion of (/ x y) in z 10.740 * [taylor]: Taking taylor expansion of x in z 10.740 * [backup-simplify]: Simplify x into x 10.740 * [taylor]: Taking taylor expansion of y in z 10.740 * [backup-simplify]: Simplify y into y 10.740 * [backup-simplify]: Simplify (/ x y) into (/ x y) 10.740 * [taylor]: Taking taylor expansion of (- z t) in z 10.740 * [taylor]: Taking taylor expansion of z in z 10.740 * [backup-simplify]: Simplify 0 into 0 10.741 * [backup-simplify]: Simplify 1 into 1 10.741 * [taylor]: Taking taylor expansion of t in z 10.741 * [backup-simplify]: Simplify t into t 10.741 * [taylor]: Taking taylor expansion of t in z 10.741 * [backup-simplify]: Simplify t into t 10.741 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in y 10.741 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 10.741 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in y 10.741 * [taylor]: Taking taylor expansion of (/ x y) in y 10.741 * [taylor]: Taking taylor expansion of x in y 10.741 * [backup-simplify]: Simplify x into x 10.741 * [taylor]: Taking taylor expansion of y in y 10.741 * [backup-simplify]: Simplify 0 into 0 10.741 * [backup-simplify]: Simplify 1 into 1 10.741 * [backup-simplify]: Simplify (/ x 1) into x 10.741 * [taylor]: Taking taylor expansion of (- z t) in y 10.741 * [taylor]: Taking taylor expansion of z in y 10.741 * [backup-simplify]: Simplify z into z 10.741 * [taylor]: Taking taylor expansion of t in y 10.741 * [backup-simplify]: Simplify t into t 10.741 * [taylor]: Taking taylor expansion of t in y 10.741 * [backup-simplify]: Simplify t into t 10.741 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in x 10.741 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 10.741 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in x 10.741 * [taylor]: Taking taylor expansion of (/ x y) in x 10.741 * [taylor]: Taking taylor expansion of x in x 10.741 * [backup-simplify]: Simplify 0 into 0 10.742 * [backup-simplify]: Simplify 1 into 1 10.742 * [taylor]: Taking taylor expansion of y in x 10.742 * [backup-simplify]: Simplify y into y 10.742 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 10.742 * [taylor]: Taking taylor expansion of (- z t) in x 10.742 * [taylor]: Taking taylor expansion of z in x 10.742 * [backup-simplify]: Simplify z into z 10.742 * [taylor]: Taking taylor expansion of t in x 10.742 * [backup-simplify]: Simplify t into t 10.742 * [taylor]: Taking taylor expansion of t in x 10.742 * [backup-simplify]: Simplify t into t 10.742 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in x 10.742 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 10.742 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in x 10.742 * [taylor]: Taking taylor expansion of (/ x y) in x 10.742 * [taylor]: Taking taylor expansion of x in x 10.742 * [backup-simplify]: Simplify 0 into 0 10.742 * [backup-simplify]: Simplify 1 into 1 10.742 * [taylor]: Taking taylor expansion of y in x 10.742 * [backup-simplify]: Simplify y into y 10.743 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 10.743 * [taylor]: Taking taylor expansion of (- z t) in x 10.743 * [taylor]: Taking taylor expansion of z in x 10.743 * [backup-simplify]: Simplify z into z 10.743 * [taylor]: Taking taylor expansion of t in x 10.743 * [backup-simplify]: Simplify t into t 10.743 * [taylor]: Taking taylor expansion of t in x 10.743 * [backup-simplify]: Simplify t into t 10.743 * [backup-simplify]: Simplify (+ 0 t) into t 10.743 * [taylor]: Taking taylor expansion of t in y 10.743 * [backup-simplify]: Simplify t into t 10.743 * [backup-simplify]: Simplify (- t) into (- t) 10.743 * [backup-simplify]: Simplify (+ z (- t)) into (- z t) 10.743 * [backup-simplify]: Simplify (* (/ 1 y) (- z t)) into (/ (- z t) y) 10.743 * [backup-simplify]: Simplify (+ (/ (- z t) y) 0) into (- (/ z y) (/ t y)) 10.743 * [taylor]: Taking taylor expansion of (- (/ z y) (/ t y)) in y 10.743 * [taylor]: Taking taylor expansion of (/ z y) in y 10.743 * [taylor]: Taking taylor expansion of z in y 10.743 * [backup-simplify]: Simplify z into z 10.743 * [taylor]: Taking taylor expansion of y in y 10.743 * [backup-simplify]: Simplify 0 into 0 10.743 * [backup-simplify]: Simplify 1 into 1 10.744 * [backup-simplify]: Simplify (/ z 1) into z 10.744 * [taylor]: Taking taylor expansion of (/ t y) in y 10.744 * [taylor]: Taking taylor expansion of t in y 10.744 * [backup-simplify]: Simplify t into t 10.744 * [taylor]: Taking taylor expansion of y in y 10.744 * [backup-simplify]: Simplify 0 into 0 10.744 * [backup-simplify]: Simplify 1 into 1 10.744 * [backup-simplify]: Simplify (/ t 1) into t 10.744 * [backup-simplify]: Simplify (- t) into (- t) 10.744 * [backup-simplify]: Simplify (+ z (- t)) into (- z t) 10.744 * [taylor]: Taking taylor expansion of (- z t) in z 10.744 * [taylor]: Taking taylor expansion of z in z 10.744 * [backup-simplify]: Simplify 0 into 0 10.744 * [backup-simplify]: Simplify 1 into 1 10.744 * [taylor]: Taking taylor expansion of t in z 10.744 * [backup-simplify]: Simplify t into t 10.744 * [backup-simplify]: Simplify (- t) into (- t) 10.744 * [backup-simplify]: Simplify (+ 0 (- t)) into (- t) 10.744 * [taylor]: Taking taylor expansion of (- t) in t 10.744 * [taylor]: Taking taylor expansion of t in t 10.744 * [backup-simplify]: Simplify 0 into 0 10.744 * [backup-simplify]: Simplify 1 into 1 10.745 * [backup-simplify]: Simplify (- 0) into 0 10.745 * [backup-simplify]: Simplify 0 into 0 10.745 * [taylor]: Taking taylor expansion of t in z 10.745 * [backup-simplify]: Simplify t into t 10.745 * [taylor]: Taking taylor expansion of t in t 10.745 * [backup-simplify]: Simplify 0 into 0 10.745 * [backup-simplify]: Simplify 1 into 1 10.745 * [backup-simplify]: Simplify 0 into 0 10.746 * [backup-simplify]: Simplify (- 0) into 0 10.746 * [backup-simplify]: Simplify (+ 0 0) into 0 10.746 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0 10.746 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (* 0 (- z t))) into 0 10.747 * [backup-simplify]: Simplify (+ 0 0) into 0 10.747 * [taylor]: Taking taylor expansion of 0 in y 10.747 * [backup-simplify]: Simplify 0 into 0 10.747 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 10.748 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0 10.749 * [backup-simplify]: Simplify (- 0) into 0 10.749 * [backup-simplify]: Simplify (+ 0 0) into 0 10.749 * [taylor]: Taking taylor expansion of 0 in z 10.749 * [backup-simplify]: Simplify 0 into 0 10.749 * [taylor]: Taking taylor expansion of 0 in t 10.749 * [backup-simplify]: Simplify 0 into 0 10.749 * [backup-simplify]: Simplify 0 into 0 10.749 * [taylor]: Taking taylor expansion of 0 in z 10.749 * [backup-simplify]: Simplify 0 into 0 10.749 * [taylor]: Taking taylor expansion of 0 in t 10.749 * [backup-simplify]: Simplify 0 into 0 10.749 * [backup-simplify]: Simplify 0 into 0 10.750 * [backup-simplify]: Simplify (- 0) into 0 10.750 * [backup-simplify]: Simplify (+ 1 0) into 1 10.750 * [taylor]: Taking taylor expansion of 1 in t 10.750 * [backup-simplify]: Simplify 1 into 1 10.750 * [backup-simplify]: Simplify 1 into 1 10.750 * [taylor]: Taking taylor expansion of 0 in t 10.750 * [backup-simplify]: Simplify 0 into 0 10.750 * [backup-simplify]: Simplify 0 into 0 10.750 * [backup-simplify]: Simplify (- 1) into -1 10.750 * [backup-simplify]: Simplify -1 into -1 10.750 * [backup-simplify]: Simplify 1 into 1 10.751 * [backup-simplify]: Simplify (+ (* 1 (* t (* 1 (* 1 1)))) (+ (* -1 (* t (* 1 (* (/ 1 y) x)))) (* 1 (* 1 (* z (* (/ 1 y) x)))))) into (- (+ t (/ (* x z) y)) (/ (* t x) y)) 10.751 * [backup-simplify]: Simplify (fma (/ (/ 1 x) (/ 1 y)) (- (/ 1 z) (/ 1 t)) (/ 1 t)) into (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) 10.751 * [approximate]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in (x y z t) around 0 10.751 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in t 10.751 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 10.751 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in t 10.751 * [taylor]: Taking taylor expansion of (/ y x) in t 10.751 * [taylor]: Taking taylor expansion of y in t 10.751 * [backup-simplify]: Simplify y into y 10.751 * [taylor]: Taking taylor expansion of x in t 10.751 * [backup-simplify]: Simplify x into x 10.751 * [backup-simplify]: Simplify (/ y x) into (/ y x) 10.751 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 10.751 * [taylor]: Taking taylor expansion of (/ 1 z) in t 10.751 * [taylor]: Taking taylor expansion of z in t 10.751 * [backup-simplify]: Simplify z into z 10.751 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.752 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.752 * [taylor]: Taking taylor expansion of t in t 10.752 * [backup-simplify]: Simplify 0 into 0 10.752 * [backup-simplify]: Simplify 1 into 1 10.752 * [backup-simplify]: Simplify (/ 1 1) into 1 10.752 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.752 * [taylor]: Taking taylor expansion of t in t 10.752 * [backup-simplify]: Simplify 0 into 0 10.752 * [backup-simplify]: Simplify 1 into 1 10.752 * [backup-simplify]: Simplify (/ 1 1) into 1 10.752 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in z 10.752 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 10.752 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in z 10.752 * [taylor]: Taking taylor expansion of (/ y x) in z 10.752 * [taylor]: Taking taylor expansion of y in z 10.752 * [backup-simplify]: Simplify y into y 10.752 * [taylor]: Taking taylor expansion of x in z 10.752 * [backup-simplify]: Simplify x into x 10.752 * [backup-simplify]: Simplify (/ y x) into (/ y x) 10.752 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 10.752 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.752 * [taylor]: Taking taylor expansion of z in z 10.752 * [backup-simplify]: Simplify 0 into 0 10.752 * [backup-simplify]: Simplify 1 into 1 10.753 * [backup-simplify]: Simplify (/ 1 1) into 1 10.753 * [taylor]: Taking taylor expansion of (/ 1 t) in z 10.753 * [taylor]: Taking taylor expansion of t in z 10.753 * [backup-simplify]: Simplify t into t 10.753 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 10.753 * [taylor]: Taking taylor expansion of (/ 1 t) in z 10.753 * [taylor]: Taking taylor expansion of t in z 10.753 * [backup-simplify]: Simplify t into t 10.753 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 10.753 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in y 10.753 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 10.753 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in y 10.753 * [taylor]: Taking taylor expansion of (/ y x) in y 10.753 * [taylor]: Taking taylor expansion of y in y 10.753 * [backup-simplify]: Simplify 0 into 0 10.753 * [backup-simplify]: Simplify 1 into 1 10.753 * [taylor]: Taking taylor expansion of x in y 10.753 * [backup-simplify]: Simplify x into x 10.753 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.753 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 10.753 * [taylor]: Taking taylor expansion of (/ 1 z) in y 10.753 * [taylor]: Taking taylor expansion of z in y 10.753 * [backup-simplify]: Simplify z into z 10.753 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.753 * [taylor]: Taking taylor expansion of (/ 1 t) in y 10.753 * [taylor]: Taking taylor expansion of t in y 10.753 * [backup-simplify]: Simplify t into t 10.753 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 10.753 * [taylor]: Taking taylor expansion of (/ 1 t) in y 10.753 * [taylor]: Taking taylor expansion of t in y 10.753 * [backup-simplify]: Simplify t into t 10.753 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 10.753 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in x 10.753 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 10.754 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in x 10.754 * [taylor]: Taking taylor expansion of (/ y x) in x 10.754 * [taylor]: Taking taylor expansion of y in x 10.754 * [backup-simplify]: Simplify y into y 10.754 * [taylor]: Taking taylor expansion of x in x 10.754 * [backup-simplify]: Simplify 0 into 0 10.754 * [backup-simplify]: Simplify 1 into 1 10.754 * [backup-simplify]: Simplify (/ y 1) into y 10.754 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 10.754 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.754 * [taylor]: Taking taylor expansion of z in x 10.754 * [backup-simplify]: Simplify z into z 10.754 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.754 * [taylor]: Taking taylor expansion of (/ 1 t) in x 10.754 * [taylor]: Taking taylor expansion of t in x 10.754 * [backup-simplify]: Simplify t into t 10.754 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 10.754 * [taylor]: Taking taylor expansion of (/ 1 t) in x 10.754 * [taylor]: Taking taylor expansion of t in x 10.754 * [backup-simplify]: Simplify t into t 10.754 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 10.754 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in x 10.754 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 10.754 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in x 10.754 * [taylor]: Taking taylor expansion of (/ y x) in x 10.754 * [taylor]: Taking taylor expansion of y in x 10.754 * [backup-simplify]: Simplify y into y 10.754 * [taylor]: Taking taylor expansion of x in x 10.754 * [backup-simplify]: Simplify 0 into 0 10.754 * [backup-simplify]: Simplify 1 into 1 10.754 * [backup-simplify]: Simplify (/ y 1) into y 10.754 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 10.754 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.754 * [taylor]: Taking taylor expansion of z in x 10.754 * [backup-simplify]: Simplify z into z 10.754 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.754 * [taylor]: Taking taylor expansion of (/ 1 t) in x 10.754 * [taylor]: Taking taylor expansion of t in x 10.754 * [backup-simplify]: Simplify t into t 10.754 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 10.754 * [taylor]: Taking taylor expansion of (/ 1 t) in x 10.754 * [taylor]: Taking taylor expansion of t in x 10.754 * [backup-simplify]: Simplify t into t 10.754 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 10.755 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t)) 10.755 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 t))) into (- (/ 1 z) (/ 1 t)) 10.755 * [backup-simplify]: Simplify (* y (- (/ 1 z) (/ 1 t))) into (* (- (/ 1 z) (/ 1 t)) y) 10.755 * [backup-simplify]: Simplify (+ (* (- (/ 1 z) (/ 1 t)) y) 0) into (- (/ y z) (/ y t)) 10.755 * [taylor]: Taking taylor expansion of (- (/ y z) (/ y t)) in y 10.755 * [taylor]: Taking taylor expansion of (/ y z) in y 10.755 * [taylor]: Taking taylor expansion of y in y 10.755 * [backup-simplify]: Simplify 0 into 0 10.755 * [backup-simplify]: Simplify 1 into 1 10.755 * [taylor]: Taking taylor expansion of z in y 10.755 * [backup-simplify]: Simplify z into z 10.755 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.755 * [taylor]: Taking taylor expansion of (/ y t) in y 10.755 * [taylor]: Taking taylor expansion of y in y 10.755 * [backup-simplify]: Simplify 0 into 0 10.755 * [backup-simplify]: Simplify 1 into 1 10.755 * [taylor]: Taking taylor expansion of t in y 10.755 * [backup-simplify]: Simplify t into t 10.755 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 10.755 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 10.755 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0 10.756 * [backup-simplify]: Simplify (- 0) into 0 10.756 * [backup-simplify]: Simplify (+ 0 0) into 0 10.756 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0 10.756 * [backup-simplify]: Simplify (+ (* y 0) (* 0 (- (/ 1 z) (/ 1 t)))) into 0 10.756 * [backup-simplify]: Simplify (+ 0 (/ 1 t)) into (/ 1 t) 10.756 * [taylor]: Taking taylor expansion of (/ 1 t) in y 10.756 * [taylor]: Taking taylor expansion of t in y 10.756 * [backup-simplify]: Simplify t into t 10.757 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 10.757 * [taylor]: Taking taylor expansion of (/ 1 t) in z 10.757 * [taylor]: Taking taylor expansion of t in z 10.757 * [backup-simplify]: Simplify t into t 10.757 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 10.757 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t)) 10.757 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 t))) into (- (/ 1 z) (/ 1 t)) 10.757 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 10.757 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.757 * [taylor]: Taking taylor expansion of z in z 10.757 * [backup-simplify]: Simplify 0 into 0 10.757 * [backup-simplify]: Simplify 1 into 1 10.757 * [backup-simplify]: Simplify (/ 1 1) into 1 10.757 * [taylor]: Taking taylor expansion of (/ 1 t) in z 10.757 * [taylor]: Taking taylor expansion of t in z 10.757 * [backup-simplify]: Simplify t into t 10.757 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 10.757 * [backup-simplify]: Simplify (+ 1 0) into 1 10.757 * [taylor]: Taking taylor expansion of 1 in t 10.757 * [backup-simplify]: Simplify 1 into 1 10.758 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 10.758 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0 10.758 * [backup-simplify]: Simplify (- 0) into 0 10.758 * [backup-simplify]: Simplify (+ 0 0) into 0 10.759 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.759 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 (- (/ 1 z) (/ 1 t))))) into 0 10.759 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0 10.760 * [backup-simplify]: Simplify (+ 0 0) into 0 10.760 * [taylor]: Taking taylor expansion of 0 in y 10.760 * [backup-simplify]: Simplify 0 into 0 10.760 * [taylor]: Taking taylor expansion of 0 in z 10.760 * [backup-simplify]: Simplify 0 into 0 10.760 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0 10.760 * [taylor]: Taking taylor expansion of 0 in z 10.760 * [backup-simplify]: Simplify 0 into 0 10.760 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0 10.760 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ 1 t) (/ 0 t)))) into 0 10.760 * [backup-simplify]: Simplify (- 0) into 0 10.760 * [backup-simplify]: Simplify (+ 0 0) into 0 10.760 * [taylor]: Taking taylor expansion of 0 in z 10.760 * [backup-simplify]: Simplify 0 into 0 10.760 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.760 * [taylor]: Taking taylor expansion of t in t 10.761 * [backup-simplify]: Simplify 0 into 0 10.761 * [backup-simplify]: Simplify 1 into 1 10.761 * [backup-simplify]: Simplify (/ 1 1) into 1 10.761 * [backup-simplify]: Simplify 1 into 1 10.761 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.761 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t)) 10.761 * [backup-simplify]: Simplify (+ 0 (- (/ 1 t))) into (- (/ 1 t)) 10.761 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 10.761 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.761 * [taylor]: Taking taylor expansion of t in t 10.761 * [backup-simplify]: Simplify 0 into 0 10.761 * [backup-simplify]: Simplify 1 into 1 10.762 * [backup-simplify]: Simplify (/ 1 1) into 1 10.762 * [backup-simplify]: Simplify (- 1) into -1 10.762 * [backup-simplify]: Simplify -1 into -1 10.762 * [backup-simplify]: Simplify 1 into 1 10.763 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 z)) (* (/ 1 y) (/ 1 (/ 1 x)))))) (+ (* -1 (* (/ 1 (/ 1 t)) (* 1 (* (/ 1 y) (/ 1 (/ 1 x)))))) (* 1 (* (/ 1 (/ 1 t)) (* 1 (* 1 1)))))) into (- (+ t (/ (* x z) y)) (/ (* t x) y)) 10.763 * [backup-simplify]: Simplify (fma (/ (/ 1 (- x)) (/ 1 (- y))) (- (/ 1 (- z)) (/ 1 (- t))) (/ 1 (- t))) into (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) 10.763 * [approximate]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in (x y z t) around 0 10.763 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in t 10.763 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 10.763 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in t 10.763 * [taylor]: Taking taylor expansion of (/ y x) in t 10.763 * [taylor]: Taking taylor expansion of y in t 10.763 * [backup-simplify]: Simplify y into y 10.763 * [taylor]: Taking taylor expansion of x in t 10.763 * [backup-simplify]: Simplify x into x 10.763 * [backup-simplify]: Simplify (/ y x) into (/ y x) 10.763 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 10.763 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.763 * [taylor]: Taking taylor expansion of t in t 10.763 * [backup-simplify]: Simplify 0 into 0 10.763 * [backup-simplify]: Simplify 1 into 1 10.764 * [backup-simplify]: Simplify (/ 1 1) into 1 10.764 * [taylor]: Taking taylor expansion of (/ 1 z) in t 10.764 * [taylor]: Taking taylor expansion of z in t 10.764 * [backup-simplify]: Simplify z into z 10.764 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.764 * [taylor]: Taking taylor expansion of (/ -1 t) in t 10.764 * [taylor]: Taking taylor expansion of -1 in t 10.764 * [backup-simplify]: Simplify -1 into -1 10.764 * [taylor]: Taking taylor expansion of t in t 10.764 * [backup-simplify]: Simplify 0 into 0 10.764 * [backup-simplify]: Simplify 1 into 1 10.764 * [backup-simplify]: Simplify (/ -1 1) into -1 10.764 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in z 10.764 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 10.764 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in z 10.764 * [taylor]: Taking taylor expansion of (/ y x) in z 10.764 * [taylor]: Taking taylor expansion of y in z 10.764 * [backup-simplify]: Simplify y into y 10.764 * [taylor]: Taking taylor expansion of x in z 10.764 * [backup-simplify]: Simplify x into x 10.764 * [backup-simplify]: Simplify (/ y x) into (/ y x) 10.764 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 10.764 * [taylor]: Taking taylor expansion of (/ 1 t) in z 10.764 * [taylor]: Taking taylor expansion of t in z 10.764 * [backup-simplify]: Simplify t into t 10.764 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 10.764 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.764 * [taylor]: Taking taylor expansion of z in z 10.764 * [backup-simplify]: Simplify 0 into 0 10.764 * [backup-simplify]: Simplify 1 into 1 10.765 * [backup-simplify]: Simplify (/ 1 1) into 1 10.765 * [taylor]: Taking taylor expansion of (/ -1 t) in z 10.765 * [taylor]: Taking taylor expansion of -1 in z 10.765 * [backup-simplify]: Simplify -1 into -1 10.765 * [taylor]: Taking taylor expansion of t in z 10.765 * [backup-simplify]: Simplify t into t 10.765 * [backup-simplify]: Simplify (/ -1 t) into (/ -1 t) 10.765 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in y 10.765 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 10.765 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in y 10.765 * [taylor]: Taking taylor expansion of (/ y x) in y 10.765 * [taylor]: Taking taylor expansion of y in y 10.765 * [backup-simplify]: Simplify 0 into 0 10.765 * [backup-simplify]: Simplify 1 into 1 10.765 * [taylor]: Taking taylor expansion of x in y 10.765 * [backup-simplify]: Simplify x into x 10.765 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.765 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 10.765 * [taylor]: Taking taylor expansion of (/ 1 t) in y 10.765 * [taylor]: Taking taylor expansion of t in y 10.765 * [backup-simplify]: Simplify t into t 10.765 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 10.765 * [taylor]: Taking taylor expansion of (/ 1 z) in y 10.765 * [taylor]: Taking taylor expansion of z in y 10.765 * [backup-simplify]: Simplify z into z 10.765 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.765 * [taylor]: Taking taylor expansion of (/ -1 t) in y 10.765 * [taylor]: Taking taylor expansion of -1 in y 10.765 * [backup-simplify]: Simplify -1 into -1 10.765 * [taylor]: Taking taylor expansion of t in y 10.765 * [backup-simplify]: Simplify t into t 10.765 * [backup-simplify]: Simplify (/ -1 t) into (/ -1 t) 10.766 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in x 10.766 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 10.766 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in x 10.766 * [taylor]: Taking taylor expansion of (/ y x) in x 10.766 * [taylor]: Taking taylor expansion of y in x 10.766 * [backup-simplify]: Simplify y into y 10.766 * [taylor]: Taking taylor expansion of x in x 10.766 * [backup-simplify]: Simplify 0 into 0 10.766 * [backup-simplify]: Simplify 1 into 1 10.766 * [backup-simplify]: Simplify (/ y 1) into y 10.766 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 10.766 * [taylor]: Taking taylor expansion of (/ 1 t) in x 10.766 * [taylor]: Taking taylor expansion of t in x 10.766 * [backup-simplify]: Simplify t into t 10.766 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 10.766 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.766 * [taylor]: Taking taylor expansion of z in x 10.766 * [backup-simplify]: Simplify z into z 10.766 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.766 * [taylor]: Taking taylor expansion of (/ -1 t) in x 10.766 * [taylor]: Taking taylor expansion of -1 in x 10.766 * [backup-simplify]: Simplify -1 into -1 10.766 * [taylor]: Taking taylor expansion of t in x 10.766 * [backup-simplify]: Simplify t into t 10.766 * [backup-simplify]: Simplify (/ -1 t) into (/ -1 t) 10.766 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in x 10.766 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 10.766 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in x 10.766 * [taylor]: Taking taylor expansion of (/ y x) in x 10.766 * [taylor]: Taking taylor expansion of y in x 10.766 * [backup-simplify]: Simplify y into y 10.766 * [taylor]: Taking taylor expansion of x in x 10.766 * [backup-simplify]: Simplify 0 into 0 10.766 * [backup-simplify]: Simplify 1 into 1 10.766 * [backup-simplify]: Simplify (/ y 1) into y 10.766 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 10.766 * [taylor]: Taking taylor expansion of (/ 1 t) in x 10.766 * [taylor]: Taking taylor expansion of t in x 10.766 * [backup-simplify]: Simplify t into t 10.766 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 10.766 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.766 * [taylor]: Taking taylor expansion of z in x 10.766 * [backup-simplify]: Simplify z into z 10.767 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.767 * [taylor]: Taking taylor expansion of (/ -1 t) in x 10.767 * [taylor]: Taking taylor expansion of -1 in x 10.767 * [backup-simplify]: Simplify -1 into -1 10.767 * [taylor]: Taking taylor expansion of t in x 10.767 * [backup-simplify]: Simplify t into t 10.767 * [backup-simplify]: Simplify (/ -1 t) into (/ -1 t) 10.767 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 10.767 * [backup-simplify]: Simplify (+ (/ 1 t) (- (/ 1 z))) into (- (/ 1 t) (/ 1 z)) 10.767 * [backup-simplify]: Simplify (* y (- (/ 1 t) (/ 1 z))) into (* (- (/ 1 t) (/ 1 z)) y) 10.767 * [backup-simplify]: Simplify (+ (* (- (/ 1 t) (/ 1 z)) y) 0) into (- (/ y t) (/ y z)) 10.767 * [taylor]: Taking taylor expansion of (- (/ y t) (/ y z)) in y 10.767 * [taylor]: Taking taylor expansion of (/ y t) in y 10.767 * [taylor]: Taking taylor expansion of y in y 10.767 * [backup-simplify]: Simplify 0 into 0 10.767 * [backup-simplify]: Simplify 1 into 1 10.767 * [taylor]: Taking taylor expansion of t in y 10.767 * [backup-simplify]: Simplify t into t 10.767 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 10.767 * [taylor]: Taking taylor expansion of (/ y z) in y 10.767 * [taylor]: Taking taylor expansion of y in y 10.767 * [backup-simplify]: Simplify 0 into 0 10.767 * [backup-simplify]: Simplify 1 into 1 10.767 * [taylor]: Taking taylor expansion of z in y 10.767 * [backup-simplify]: Simplify z into z 10.767 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.767 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0 10.767 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 10.768 * [backup-simplify]: Simplify (- 0) into 0 10.768 * [backup-simplify]: Simplify (+ 0 0) into 0 10.768 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0 10.769 * [backup-simplify]: Simplify (+ (* y 0) (* 0 (- (/ 1 t) (/ 1 z)))) into 0 10.769 * [backup-simplify]: Simplify (+ 0 (/ -1 t)) into (- (/ 1 t)) 10.769 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in y 10.769 * [taylor]: Taking taylor expansion of (/ 1 t) in y 10.769 * [taylor]: Taking taylor expansion of t in y 10.769 * [backup-simplify]: Simplify t into t 10.769 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 10.769 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t)) 10.769 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in z 10.769 * [taylor]: Taking taylor expansion of (/ 1 t) in z 10.769 * [taylor]: Taking taylor expansion of t in z 10.769 * [backup-simplify]: Simplify t into t 10.769 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 10.769 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 10.769 * [backup-simplify]: Simplify (+ (/ 1 t) (- (/ 1 z))) into (- (/ 1 t) (/ 1 z)) 10.769 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 10.769 * [taylor]: Taking taylor expansion of (/ 1 t) in z 10.769 * [taylor]: Taking taylor expansion of t in z 10.769 * [backup-simplify]: Simplify t into t 10.769 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 10.769 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.769 * [taylor]: Taking taylor expansion of z in z 10.769 * [backup-simplify]: Simplify 0 into 0 10.769 * [backup-simplify]: Simplify 1 into 1 10.769 * [backup-simplify]: Simplify (/ 1 1) into 1 10.770 * [backup-simplify]: Simplify (- 1) into -1 10.770 * [backup-simplify]: Simplify (+ 0 -1) into -1 10.770 * [taylor]: Taking taylor expansion of -1 in t 10.770 * [backup-simplify]: Simplify -1 into -1 10.770 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0 10.770 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 10.771 * [backup-simplify]: Simplify (- 0) into 0 10.771 * [backup-simplify]: Simplify (+ 0 0) into 0 10.772 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.772 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 (- (/ 1 t) (/ 1 z))))) into 0 10.772 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ -1 t) (/ 0 t)))) into 0 10.772 * [backup-simplify]: Simplify (+ 0 0) into 0 10.772 * [taylor]: Taking taylor expansion of 0 in y 10.772 * [backup-simplify]: Simplify 0 into 0 10.772 * [taylor]: Taking taylor expansion of 0 in z 10.772 * [backup-simplify]: Simplify 0 into 0 10.773 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0 10.773 * [backup-simplify]: Simplify (- 0) into 0 10.773 * [taylor]: Taking taylor expansion of 0 in z 10.773 * [backup-simplify]: Simplify 0 into 0 10.773 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ 1 t) (/ 0 t)))) into 0 10.773 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0 10.773 * [backup-simplify]: Simplify (- 0) into 0 10.773 * [backup-simplify]: Simplify (+ 0 0) into 0 10.773 * [taylor]: Taking taylor expansion of 0 in z 10.773 * [backup-simplify]: Simplify 0 into 0 10.774 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t)) 10.774 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 10.774 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.774 * [taylor]: Taking taylor expansion of t in t 10.774 * [backup-simplify]: Simplify 0 into 0 10.774 * [backup-simplify]: Simplify 1 into 1 10.774 * [backup-simplify]: Simplify (/ 1 1) into 1 10.774 * [backup-simplify]: Simplify (- 1) into -1 10.774 * [backup-simplify]: Simplify -1 into -1 10.775 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.775 * [backup-simplify]: Simplify (- 0) into 0 10.775 * [backup-simplify]: Simplify (+ (/ 1 t) 0) into (/ 1 t) 10.775 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.775 * [taylor]: Taking taylor expansion of t in t 10.775 * [backup-simplify]: Simplify 0 into 0 10.775 * [backup-simplify]: Simplify 1 into 1 10.775 * [backup-simplify]: Simplify (/ 1 1) into 1 10.775 * [backup-simplify]: Simplify 1 into 1 10.775 * [backup-simplify]: Simplify -1 into -1 10.776 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* (/ 1 (/ 1 (- z))) (* (/ 1 (- y)) (/ 1 (/ 1 (- x))))))) (+ (* 1 (* (/ 1 (/ 1 (- t))) (* 1 (* (/ 1 (- y)) (/ 1 (/ 1 (- x))))))) (* -1 (* (/ 1 (/ 1 (- t))) (* 1 (* 1 1)))))) into (- (+ t (/ (* x z) y)) (/ (* t x) y)) 10.776 * * * [progress]: simplifying candidates 10.776 * [simplify]: Simplifying: (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)) 10.777 * * [simplify]: Extracting # 0 : cost 0 10.777 * * [simplify]: Extracting # 1 : cost 0 10.777 * * [simplify]: Extracting # 2 : cost 0 10.777 * * [simplify]: Extracting # 3 : cost 0 10.777 * * [simplify]: Extracting # 4 : cost 0 10.777 * * [simplify]: Extracting # 5 : cost 0 10.777 * * [simplify]: Extracting # 6 : cost 0 10.777 * * [simplify]: iteration 0 : 23 enodes (cost 154 ) 10.783 * * [simplify]: Extracting # 0 : cost 0 10.783 * * [simplify]: Extracting # 1 : cost 0 10.783 * * [simplify]: Extracting # 2 : cost 0 10.783 * * [simplify]: iteration 1 : 41 enodes (cost 154 ) 10.797 * * [simplify]: Extracting # 0 : cost 0 10.797 * * [simplify]: Extracting # 1 : cost 0 10.797 * * [simplify]: Extracting # 2 : cost 0 10.798 * * [simplify]: iteration 2 : 91 enodes (cost 138 ) 10.857 * * [simplify]: Extracting # 0 : cost 0 10.858 * * [simplify]: Extracting # 1 : cost 0 10.858 * * [simplify]: Extracting # 2 : cost 0 10.859 * * [simplify]: Extracting # 3 : cost 0 10.859 * * [simplify]: Extracting # 4 : cost 0 10.859 * * [simplify]: iteration 3 : 263 enodes (cost 123 ) 11.051 * * [simplify]: Extracting # 0 : cost 0 11.053 * * [simplify]: Extracting # 1 : cost 0 11.056 * * [simplify]: Extracting # 2 : cost 0 11.058 * * [simplify]: Extracting # 3 : cost 0 11.061 * * [simplify]: Extracting # 4 : cost 0 11.063 * * [simplify]: Extracting # 5 : cost 0 11.065 * * [simplify]: iteration 4 : 1131 enodes (cost 123 ) 11.680 * * [simplify]: Extracting # 0 : cost 0 11.690 * * [simplify]: Extracting # 1 : cost 0 11.703 * * [simplify]: Extracting # 2 : cost 0 11.714 * * [simplify]: Extracting # 3 : cost 0 11.720 * * [simplify]: Extracting # 4 : cost 0 11.726 * * [simplify]: iteration done: 5001 enodes (cost 123 ) 11.726 * [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 (/ x y) (- z t) t) (fma (/ x y) (- z t) t) (fma (/ x y) (- z t) t) 11.726 * * * [progress]: adding candidates to table 11.768 * * [progress]: iteration 2 / 4 11.768 * * * [progress]: picking best candidate 11.783 * * * * [pick]: Picked # 11.784 * * * [progress]: localizing error 11.810 * * * [progress]: generating rewritten candidates 11.810 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 11.811 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1) 11.811 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 11.812 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 11.813 * * * [progress]: generating series expansions 11.813 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 11.813 * [backup-simplify]: Simplify (fma (/ x y) (- z t) t) into (fma (/ x y) (- z t) t) 11.813 * [approximate]: Taking taylor expansion of (fma (/ x y) (- z t) t) in (x y z t) around 0 11.813 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in t 11.813 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 11.813 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in t 11.813 * [taylor]: Taking taylor expansion of (/ x y) in t 11.813 * [taylor]: Taking taylor expansion of x in t 11.813 * [backup-simplify]: Simplify x into x 11.813 * [taylor]: Taking taylor expansion of y in t 11.813 * [backup-simplify]: Simplify y into y 11.814 * [backup-simplify]: Simplify (/ x y) into (/ x y) 11.814 * [taylor]: Taking taylor expansion of (- z t) in t 11.814 * [taylor]: Taking taylor expansion of z in t 11.814 * [backup-simplify]: Simplify z into z 11.814 * [taylor]: Taking taylor expansion of t in t 11.814 * [backup-simplify]: Simplify 0 into 0 11.814 * [backup-simplify]: Simplify 1 into 1 11.814 * [taylor]: Taking taylor expansion of t in t 11.814 * [backup-simplify]: Simplify 0 into 0 11.814 * [backup-simplify]: Simplify 1 into 1 11.814 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in z 11.814 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 11.814 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in z 11.814 * [taylor]: Taking taylor expansion of (/ x y) in z 11.814 * [taylor]: Taking taylor expansion of x in z 11.814 * [backup-simplify]: Simplify x into x 11.814 * [taylor]: Taking taylor expansion of y in z 11.814 * [backup-simplify]: Simplify y into y 11.814 * [backup-simplify]: Simplify (/ x y) into (/ x y) 11.814 * [taylor]: Taking taylor expansion of (- z t) in z 11.814 * [taylor]: Taking taylor expansion of z in z 11.814 * [backup-simplify]: Simplify 0 into 0 11.814 * [backup-simplify]: Simplify 1 into 1 11.814 * [taylor]: Taking taylor expansion of t in z 11.814 * [backup-simplify]: Simplify t into t 11.814 * [taylor]: Taking taylor expansion of t in z 11.814 * [backup-simplify]: Simplify t into t 11.814 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in y 11.814 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 11.814 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in y 11.814 * [taylor]: Taking taylor expansion of (/ x y) in y 11.814 * [taylor]: Taking taylor expansion of x in y 11.814 * [backup-simplify]: Simplify x into x 11.814 * [taylor]: Taking taylor expansion of y in y 11.814 * [backup-simplify]: Simplify 0 into 0 11.814 * [backup-simplify]: Simplify 1 into 1 11.814 * [backup-simplify]: Simplify (/ x 1) into x 11.814 * [taylor]: Taking taylor expansion of (- z t) in y 11.814 * [taylor]: Taking taylor expansion of z in y 11.814 * [backup-simplify]: Simplify z into z 11.814 * [taylor]: Taking taylor expansion of t in y 11.814 * [backup-simplify]: Simplify t into t 11.814 * [taylor]: Taking taylor expansion of t in y 11.814 * [backup-simplify]: Simplify t into t 11.814 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in x 11.814 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 11.815 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in x 11.815 * [taylor]: Taking taylor expansion of (/ x y) in x 11.815 * [taylor]: Taking taylor expansion of x in x 11.815 * [backup-simplify]: Simplify 0 into 0 11.815 * [backup-simplify]: Simplify 1 into 1 11.815 * [taylor]: Taking taylor expansion of y in x 11.815 * [backup-simplify]: Simplify y into y 11.815 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 11.815 * [taylor]: Taking taylor expansion of (- z t) in x 11.815 * [taylor]: Taking taylor expansion of z in x 11.815 * [backup-simplify]: Simplify z into z 11.815 * [taylor]: Taking taylor expansion of t in x 11.815 * [backup-simplify]: Simplify t into t 11.815 * [taylor]: Taking taylor expansion of t in x 11.815 * [backup-simplify]: Simplify t into t 11.815 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in x 11.815 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 11.815 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in x 11.815 * [taylor]: Taking taylor expansion of (/ x y) in x 11.815 * [taylor]: Taking taylor expansion of x in x 11.815 * [backup-simplify]: Simplify 0 into 0 11.815 * [backup-simplify]: Simplify 1 into 1 11.815 * [taylor]: Taking taylor expansion of y in x 11.815 * [backup-simplify]: Simplify y into y 11.815 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 11.815 * [taylor]: Taking taylor expansion of (- z t) in x 11.815 * [taylor]: Taking taylor expansion of z in x 11.815 * [backup-simplify]: Simplify z into z 11.815 * [taylor]: Taking taylor expansion of t in x 11.815 * [backup-simplify]: Simplify t into t 11.815 * [taylor]: Taking taylor expansion of t in x 11.815 * [backup-simplify]: Simplify t into t 11.815 * [backup-simplify]: Simplify (+ 0 t) into t 11.815 * [taylor]: Taking taylor expansion of t in y 11.815 * [backup-simplify]: Simplify t into t 11.815 * [backup-simplify]: Simplify (- t) into (- t) 11.815 * [backup-simplify]: Simplify (+ z (- t)) into (- z t) 11.815 * [backup-simplify]: Simplify (* (/ 1 y) (- z t)) into (/ (- z t) y) 11.815 * [backup-simplify]: Simplify (+ (/ (- z t) y) 0) into (- (/ z y) (/ t y)) 11.815 * [taylor]: Taking taylor expansion of (- (/ z y) (/ t y)) in y 11.815 * [taylor]: Taking taylor expansion of (/ z y) in y 11.815 * [taylor]: Taking taylor expansion of z in y 11.816 * [backup-simplify]: Simplify z into z 11.816 * [taylor]: Taking taylor expansion of y in y 11.816 * [backup-simplify]: Simplify 0 into 0 11.816 * [backup-simplify]: Simplify 1 into 1 11.816 * [backup-simplify]: Simplify (/ z 1) into z 11.816 * [taylor]: Taking taylor expansion of (/ t y) in y 11.816 * [taylor]: Taking taylor expansion of t in y 11.816 * [backup-simplify]: Simplify t into t 11.816 * [taylor]: Taking taylor expansion of y in y 11.816 * [backup-simplify]: Simplify 0 into 0 11.816 * [backup-simplify]: Simplify 1 into 1 11.816 * [backup-simplify]: Simplify (/ t 1) into t 11.816 * [backup-simplify]: Simplify (- t) into (- t) 11.816 * [backup-simplify]: Simplify (+ z (- t)) into (- z t) 11.816 * [taylor]: Taking taylor expansion of (- z t) in z 11.816 * [taylor]: Taking taylor expansion of z in z 11.816 * [backup-simplify]: Simplify 0 into 0 11.816 * [backup-simplify]: Simplify 1 into 1 11.816 * [taylor]: Taking taylor expansion of t in z 11.816 * [backup-simplify]: Simplify t into t 11.816 * [backup-simplify]: Simplify (- t) into (- t) 11.816 * [backup-simplify]: Simplify (+ 0 (- t)) into (- t) 11.816 * [taylor]: Taking taylor expansion of (- t) in t 11.816 * [taylor]: Taking taylor expansion of t in t 11.816 * [backup-simplify]: Simplify 0 into 0 11.816 * [backup-simplify]: Simplify 1 into 1 11.816 * [backup-simplify]: Simplify (- 0) into 0 11.816 * [backup-simplify]: Simplify 0 into 0 11.817 * [taylor]: Taking taylor expansion of t in z 11.817 * [backup-simplify]: Simplify t into t 11.817 * [taylor]: Taking taylor expansion of t in t 11.817 * [backup-simplify]: Simplify 0 into 0 11.817 * [backup-simplify]: Simplify 1 into 1 11.817 * [backup-simplify]: Simplify 0 into 0 11.817 * [backup-simplify]: Simplify (- 0) into 0 11.817 * [backup-simplify]: Simplify (+ 0 0) into 0 11.817 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0 11.817 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (* 0 (- z t))) into 0 11.817 * [backup-simplify]: Simplify (+ 0 0) into 0 11.817 * [taylor]: Taking taylor expansion of 0 in y 11.818 * [backup-simplify]: Simplify 0 into 0 11.818 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 11.819 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0 11.819 * [backup-simplify]: Simplify (- 0) into 0 11.819 * [backup-simplify]: Simplify (+ 0 0) into 0 11.819 * [taylor]: Taking taylor expansion of 0 in z 11.819 * [backup-simplify]: Simplify 0 into 0 11.819 * [taylor]: Taking taylor expansion of 0 in t 11.819 * [backup-simplify]: Simplify 0 into 0 11.819 * [backup-simplify]: Simplify 0 into 0 11.819 * [taylor]: Taking taylor expansion of 0 in z 11.819 * [backup-simplify]: Simplify 0 into 0 11.819 * [taylor]: Taking taylor expansion of 0 in t 11.819 * [backup-simplify]: Simplify 0 into 0 11.819 * [backup-simplify]: Simplify 0 into 0 11.819 * [backup-simplify]: Simplify (- 0) into 0 11.820 * [backup-simplify]: Simplify (+ 1 0) into 1 11.820 * [taylor]: Taking taylor expansion of 1 in t 11.820 * [backup-simplify]: Simplify 1 into 1 11.820 * [backup-simplify]: Simplify 1 into 1 11.820 * [taylor]: Taking taylor expansion of 0 in t 11.820 * [backup-simplify]: Simplify 0 into 0 11.820 * [backup-simplify]: Simplify 0 into 0 11.820 * [backup-simplify]: Simplify (- 1) into -1 11.820 * [backup-simplify]: Simplify -1 into -1 11.820 * [backup-simplify]: Simplify 1 into 1 11.821 * [backup-simplify]: Simplify (+ (* 1 (* t (* 1 (* 1 1)))) (+ (* -1 (* t (* 1 (* (/ 1 y) x)))) (* 1 (* 1 (* z (* (/ 1 y) x)))))) into (- (+ t (/ (* x z) y)) (/ (* t x) y)) 11.821 * [backup-simplify]: Simplify (fma (/ (/ 1 x) (/ 1 y)) (- (/ 1 z) (/ 1 t)) (/ 1 t)) into (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) 11.821 * [approximate]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in (x y z t) around 0 11.821 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in t 11.821 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 11.821 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in t 11.821 * [taylor]: Taking taylor expansion of (/ y x) in t 11.821 * [taylor]: Taking taylor expansion of y in t 11.821 * [backup-simplify]: Simplify y into y 11.821 * [taylor]: Taking taylor expansion of x in t 11.821 * [backup-simplify]: Simplify x into x 11.821 * [backup-simplify]: Simplify (/ y x) into (/ y x) 11.821 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 11.821 * [taylor]: Taking taylor expansion of (/ 1 z) in t 11.821 * [taylor]: Taking taylor expansion of z in t 11.821 * [backup-simplify]: Simplify z into z 11.821 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 11.821 * [taylor]: Taking taylor expansion of (/ 1 t) in t 11.821 * [taylor]: Taking taylor expansion of t in t 11.821 * [backup-simplify]: Simplify 0 into 0 11.821 * [backup-simplify]: Simplify 1 into 1 11.822 * [backup-simplify]: Simplify (/ 1 1) into 1 11.822 * [taylor]: Taking taylor expansion of (/ 1 t) in t 11.822 * [taylor]: Taking taylor expansion of t in t 11.822 * [backup-simplify]: Simplify 0 into 0 11.822 * [backup-simplify]: Simplify 1 into 1 11.822 * [backup-simplify]: Simplify (/ 1 1) into 1 11.822 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in z 11.822 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 11.822 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in z 11.822 * [taylor]: Taking taylor expansion of (/ y x) in z 11.822 * [taylor]: Taking taylor expansion of y in z 11.822 * [backup-simplify]: Simplify y into y 11.822 * [taylor]: Taking taylor expansion of x in z 11.822 * [backup-simplify]: Simplify x into x 11.822 * [backup-simplify]: Simplify (/ y x) into (/ y x) 11.822 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 11.822 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.822 * [taylor]: Taking taylor expansion of z in z 11.822 * [backup-simplify]: Simplify 0 into 0 11.822 * [backup-simplify]: Simplify 1 into 1 11.823 * [backup-simplify]: Simplify (/ 1 1) into 1 11.823 * [taylor]: Taking taylor expansion of (/ 1 t) in z 11.823 * [taylor]: Taking taylor expansion of t in z 11.823 * [backup-simplify]: Simplify t into t 11.823 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 11.823 * [taylor]: Taking taylor expansion of (/ 1 t) in z 11.823 * [taylor]: Taking taylor expansion of t in z 11.823 * [backup-simplify]: Simplify t into t 11.823 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 11.823 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in y 11.823 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 11.823 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in y 11.823 * [taylor]: Taking taylor expansion of (/ y x) in y 11.823 * [taylor]: Taking taylor expansion of y in y 11.823 * [backup-simplify]: Simplify 0 into 0 11.823 * [backup-simplify]: Simplify 1 into 1 11.823 * [taylor]: Taking taylor expansion of x in y 11.823 * [backup-simplify]: Simplify x into x 11.823 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 11.823 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 11.823 * [taylor]: Taking taylor expansion of (/ 1 z) in y 11.823 * [taylor]: Taking taylor expansion of z in y 11.823 * [backup-simplify]: Simplify z into z 11.823 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 11.823 * [taylor]: Taking taylor expansion of (/ 1 t) in y 11.823 * [taylor]: Taking taylor expansion of t in y 11.823 * [backup-simplify]: Simplify t into t 11.823 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 11.823 * [taylor]: Taking taylor expansion of (/ 1 t) in y 11.823 * [taylor]: Taking taylor expansion of t in y 11.823 * [backup-simplify]: Simplify t into t 11.823 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 11.823 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in x 11.823 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 11.823 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in x 11.823 * [taylor]: Taking taylor expansion of (/ y x) in x 11.823 * [taylor]: Taking taylor expansion of y in x 11.823 * [backup-simplify]: Simplify y into y 11.823 * [taylor]: Taking taylor expansion of x in x 11.823 * [backup-simplify]: Simplify 0 into 0 11.823 * [backup-simplify]: Simplify 1 into 1 11.824 * [backup-simplify]: Simplify (/ y 1) into y 11.824 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 11.824 * [taylor]: Taking taylor expansion of (/ 1 z) in x 11.824 * [taylor]: Taking taylor expansion of z in x 11.824 * [backup-simplify]: Simplify z into z 11.824 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 11.824 * [taylor]: Taking taylor expansion of (/ 1 t) in x 11.824 * [taylor]: Taking taylor expansion of t in x 11.824 * [backup-simplify]: Simplify t into t 11.824 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 11.824 * [taylor]: Taking taylor expansion of (/ 1 t) in x 11.824 * [taylor]: Taking taylor expansion of t in x 11.824 * [backup-simplify]: Simplify t into t 11.824 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 11.824 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in x 11.824 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 11.824 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in x 11.824 * [taylor]: Taking taylor expansion of (/ y x) in x 11.824 * [taylor]: Taking taylor expansion of y in x 11.824 * [backup-simplify]: Simplify y into y 11.824 * [taylor]: Taking taylor expansion of x in x 11.824 * [backup-simplify]: Simplify 0 into 0 11.824 * [backup-simplify]: Simplify 1 into 1 11.824 * [backup-simplify]: Simplify (/ y 1) into y 11.824 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 11.824 * [taylor]: Taking taylor expansion of (/ 1 z) in x 11.824 * [taylor]: Taking taylor expansion of z in x 11.824 * [backup-simplify]: Simplify z into z 11.824 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 11.824 * [taylor]: Taking taylor expansion of (/ 1 t) in x 11.824 * [taylor]: Taking taylor expansion of t in x 11.824 * [backup-simplify]: Simplify t into t 11.824 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 11.824 * [taylor]: Taking taylor expansion of (/ 1 t) in x 11.824 * [taylor]: Taking taylor expansion of t in x 11.824 * [backup-simplify]: Simplify t into t 11.824 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 11.824 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t)) 11.825 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 t))) into (- (/ 1 z) (/ 1 t)) 11.825 * [backup-simplify]: Simplify (* y (- (/ 1 z) (/ 1 t))) into (* (- (/ 1 z) (/ 1 t)) y) 11.825 * [backup-simplify]: Simplify (+ (* (- (/ 1 z) (/ 1 t)) y) 0) into (- (/ y z) (/ y t)) 11.825 * [taylor]: Taking taylor expansion of (- (/ y z) (/ y t)) in y 11.825 * [taylor]: Taking taylor expansion of (/ y z) in y 11.825 * [taylor]: Taking taylor expansion of y in y 11.825 * [backup-simplify]: Simplify 0 into 0 11.825 * [backup-simplify]: Simplify 1 into 1 11.825 * [taylor]: Taking taylor expansion of z in y 11.825 * [backup-simplify]: Simplify z into z 11.825 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 11.825 * [taylor]: Taking taylor expansion of (/ y t) in y 11.825 * [taylor]: Taking taylor expansion of y in y 11.825 * [backup-simplify]: Simplify 0 into 0 11.825 * [backup-simplify]: Simplify 1 into 1 11.825 * [taylor]: Taking taylor expansion of t in y 11.825 * [backup-simplify]: Simplify t into t 11.825 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 11.825 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 11.825 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0 11.825 * [backup-simplify]: Simplify (- 0) into 0 11.826 * [backup-simplify]: Simplify (+ 0 0) into 0 11.826 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0 11.826 * [backup-simplify]: Simplify (+ (* y 0) (* 0 (- (/ 1 z) (/ 1 t)))) into 0 11.826 * [backup-simplify]: Simplify (+ 0 (/ 1 t)) into (/ 1 t) 11.826 * [taylor]: Taking taylor expansion of (/ 1 t) in y 11.826 * [taylor]: Taking taylor expansion of t in y 11.826 * [backup-simplify]: Simplify t into t 11.826 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 11.826 * [taylor]: Taking taylor expansion of (/ 1 t) in z 11.826 * [taylor]: Taking taylor expansion of t in z 11.827 * [backup-simplify]: Simplify t into t 11.827 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 11.827 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t)) 11.827 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 t))) into (- (/ 1 z) (/ 1 t)) 11.827 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 11.827 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.827 * [taylor]: Taking taylor expansion of z in z 11.827 * [backup-simplify]: Simplify 0 into 0 11.827 * [backup-simplify]: Simplify 1 into 1 11.827 * [backup-simplify]: Simplify (/ 1 1) into 1 11.827 * [taylor]: Taking taylor expansion of (/ 1 t) in z 11.827 * [taylor]: Taking taylor expansion of t in z 11.827 * [backup-simplify]: Simplify t into t 11.827 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 11.827 * [backup-simplify]: Simplify (+ 1 0) into 1 11.827 * [taylor]: Taking taylor expansion of 1 in t 11.827 * [backup-simplify]: Simplify 1 into 1 11.828 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 11.828 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0 11.828 * [backup-simplify]: Simplify (- 0) into 0 11.828 * [backup-simplify]: Simplify (+ 0 0) into 0 11.829 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.829 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 (- (/ 1 z) (/ 1 t))))) into 0 11.829 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0 11.829 * [backup-simplify]: Simplify (+ 0 0) into 0 11.829 * [taylor]: Taking taylor expansion of 0 in y 11.830 * [backup-simplify]: Simplify 0 into 0 11.830 * [taylor]: Taking taylor expansion of 0 in z 11.830 * [backup-simplify]: Simplify 0 into 0 11.830 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0 11.830 * [taylor]: Taking taylor expansion of 0 in z 11.830 * [backup-simplify]: Simplify 0 into 0 11.830 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0 11.830 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ 1 t) (/ 0 t)))) into 0 11.830 * [backup-simplify]: Simplify (- 0) into 0 11.830 * [backup-simplify]: Simplify (+ 0 0) into 0 11.830 * [taylor]: Taking taylor expansion of 0 in z 11.830 * [backup-simplify]: Simplify 0 into 0 11.830 * [taylor]: Taking taylor expansion of (/ 1 t) in t 11.830 * [taylor]: Taking taylor expansion of t in t 11.830 * [backup-simplify]: Simplify 0 into 0 11.831 * [backup-simplify]: Simplify 1 into 1 11.831 * [backup-simplify]: Simplify (/ 1 1) into 1 11.831 * [backup-simplify]: Simplify 1 into 1 11.831 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.831 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t)) 11.831 * [backup-simplify]: Simplify (+ 0 (- (/ 1 t))) into (- (/ 1 t)) 11.831 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 11.831 * [taylor]: Taking taylor expansion of (/ 1 t) in t 11.831 * [taylor]: Taking taylor expansion of t in t 11.831 * [backup-simplify]: Simplify 0 into 0 11.831 * [backup-simplify]: Simplify 1 into 1 11.832 * [backup-simplify]: Simplify (/ 1 1) into 1 11.832 * [backup-simplify]: Simplify (- 1) into -1 11.832 * [backup-simplify]: Simplify -1 into -1 11.832 * [backup-simplify]: Simplify 1 into 1 11.833 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 z)) (* (/ 1 y) (/ 1 (/ 1 x)))))) (+ (* -1 (* (/ 1 (/ 1 t)) (* 1 (* (/ 1 y) (/ 1 (/ 1 x)))))) (* 1 (* (/ 1 (/ 1 t)) (* 1 (* 1 1)))))) into (- (+ t (/ (* x z) y)) (/ (* t x) y)) 11.833 * [backup-simplify]: Simplify (fma (/ (/ 1 (- x)) (/ 1 (- y))) (- (/ 1 (- z)) (/ 1 (- t))) (/ 1 (- t))) into (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) 11.833 * [approximate]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in (x y z t) around 0 11.833 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in t 11.833 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 11.833 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in t 11.833 * [taylor]: Taking taylor expansion of (/ y x) in t 11.833 * [taylor]: Taking taylor expansion of y in t 11.833 * [backup-simplify]: Simplify y into y 11.833 * [taylor]: Taking taylor expansion of x in t 11.833 * [backup-simplify]: Simplify x into x 11.833 * [backup-simplify]: Simplify (/ y x) into (/ y x) 11.833 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 11.833 * [taylor]: Taking taylor expansion of (/ 1 t) in t 11.833 * [taylor]: Taking taylor expansion of t in t 11.833 * [backup-simplify]: Simplify 0 into 0 11.833 * [backup-simplify]: Simplify 1 into 1 11.834 * [backup-simplify]: Simplify (/ 1 1) into 1 11.834 * [taylor]: Taking taylor expansion of (/ 1 z) in t 11.834 * [taylor]: Taking taylor expansion of z in t 11.834 * [backup-simplify]: Simplify z into z 11.834 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 11.834 * [taylor]: Taking taylor expansion of (/ -1 t) in t 11.834 * [taylor]: Taking taylor expansion of -1 in t 11.834 * [backup-simplify]: Simplify -1 into -1 11.834 * [taylor]: Taking taylor expansion of t in t 11.834 * [backup-simplify]: Simplify 0 into 0 11.834 * [backup-simplify]: Simplify 1 into 1 11.834 * [backup-simplify]: Simplify (/ -1 1) into -1 11.834 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in z 11.834 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 11.834 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in z 11.834 * [taylor]: Taking taylor expansion of (/ y x) in z 11.834 * [taylor]: Taking taylor expansion of y in z 11.834 * [backup-simplify]: Simplify y into y 11.834 * [taylor]: Taking taylor expansion of x in z 11.834 * [backup-simplify]: Simplify x into x 11.834 * [backup-simplify]: Simplify (/ y x) into (/ y x) 11.834 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 11.834 * [taylor]: Taking taylor expansion of (/ 1 t) in z 11.834 * [taylor]: Taking taylor expansion of t in z 11.834 * [backup-simplify]: Simplify t into t 11.835 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 11.835 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.835 * [taylor]: Taking taylor expansion of z in z 11.835 * [backup-simplify]: Simplify 0 into 0 11.835 * [backup-simplify]: Simplify 1 into 1 11.835 * [backup-simplify]: Simplify (/ 1 1) into 1 11.835 * [taylor]: Taking taylor expansion of (/ -1 t) in z 11.835 * [taylor]: Taking taylor expansion of -1 in z 11.835 * [backup-simplify]: Simplify -1 into -1 11.835 * [taylor]: Taking taylor expansion of t in z 11.835 * [backup-simplify]: Simplify t into t 11.835 * [backup-simplify]: Simplify (/ -1 t) into (/ -1 t) 11.835 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in y 11.835 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 11.835 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in y 11.835 * [taylor]: Taking taylor expansion of (/ y x) in y 11.835 * [taylor]: Taking taylor expansion of y in y 11.835 * [backup-simplify]: Simplify 0 into 0 11.835 * [backup-simplify]: Simplify 1 into 1 11.835 * [taylor]: Taking taylor expansion of x in y 11.835 * [backup-simplify]: Simplify x into x 11.835 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 11.835 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 11.835 * [taylor]: Taking taylor expansion of (/ 1 t) in y 11.835 * [taylor]: Taking taylor expansion of t in y 11.835 * [backup-simplify]: Simplify t into t 11.835 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 11.835 * [taylor]: Taking taylor expansion of (/ 1 z) in y 11.835 * [taylor]: Taking taylor expansion of z in y 11.835 * [backup-simplify]: Simplify z into z 11.835 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 11.835 * [taylor]: Taking taylor expansion of (/ -1 t) in y 11.835 * [taylor]: Taking taylor expansion of -1 in y 11.835 * [backup-simplify]: Simplify -1 into -1 11.835 * [taylor]: Taking taylor expansion of t in y 11.835 * [backup-simplify]: Simplify t into t 11.836 * [backup-simplify]: Simplify (/ -1 t) into (/ -1 t) 11.836 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in x 11.836 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 11.836 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in x 11.836 * [taylor]: Taking taylor expansion of (/ y x) in x 11.836 * [taylor]: Taking taylor expansion of y in x 11.836 * [backup-simplify]: Simplify y into y 11.836 * [taylor]: Taking taylor expansion of x in x 11.836 * [backup-simplify]: Simplify 0 into 0 11.836 * [backup-simplify]: Simplify 1 into 1 11.836 * [backup-simplify]: Simplify (/ y 1) into y 11.836 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 11.836 * [taylor]: Taking taylor expansion of (/ 1 t) in x 11.836 * [taylor]: Taking taylor expansion of t in x 11.836 * [backup-simplify]: Simplify t into t 11.836 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 11.836 * [taylor]: Taking taylor expansion of (/ 1 z) in x 11.836 * [taylor]: Taking taylor expansion of z in x 11.836 * [backup-simplify]: Simplify z into z 11.836 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 11.836 * [taylor]: Taking taylor expansion of (/ -1 t) in x 11.836 * [taylor]: Taking taylor expansion of -1 in x 11.836 * [backup-simplify]: Simplify -1 into -1 11.836 * [taylor]: Taking taylor expansion of t in x 11.836 * [backup-simplify]: Simplify t into t 11.836 * [backup-simplify]: Simplify (/ -1 t) into (/ -1 t) 11.836 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in x 11.836 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 11.836 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in x 11.836 * [taylor]: Taking taylor expansion of (/ y x) in x 11.837 * [taylor]: Taking taylor expansion of y in x 11.837 * [backup-simplify]: Simplify y into y 11.837 * [taylor]: Taking taylor expansion of x in x 11.837 * [backup-simplify]: Simplify 0 into 0 11.837 * [backup-simplify]: Simplify 1 into 1 11.837 * [backup-simplify]: Simplify (/ y 1) into y 11.837 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 11.837 * [taylor]: Taking taylor expansion of (/ 1 t) in x 11.837 * [taylor]: Taking taylor expansion of t in x 11.837 * [backup-simplify]: Simplify t into t 11.837 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 11.837 * [taylor]: Taking taylor expansion of (/ 1 z) in x 11.837 * [taylor]: Taking taylor expansion of z in x 11.837 * [backup-simplify]: Simplify z into z 11.837 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 11.837 * [taylor]: Taking taylor expansion of (/ -1 t) in x 11.837 * [taylor]: Taking taylor expansion of -1 in x 11.837 * [backup-simplify]: Simplify -1 into -1 11.837 * [taylor]: Taking taylor expansion of t in x 11.837 * [backup-simplify]: Simplify t into t 11.837 * [backup-simplify]: Simplify (/ -1 t) into (/ -1 t) 11.837 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 11.837 * [backup-simplify]: Simplify (+ (/ 1 t) (- (/ 1 z))) into (- (/ 1 t) (/ 1 z)) 11.837 * [backup-simplify]: Simplify (* y (- (/ 1 t) (/ 1 z))) into (* (- (/ 1 t) (/ 1 z)) y) 11.837 * [backup-simplify]: Simplify (+ (* (- (/ 1 t) (/ 1 z)) y) 0) into (- (/ y t) (/ y z)) 11.837 * [taylor]: Taking taylor expansion of (- (/ y t) (/ y z)) in y 11.837 * [taylor]: Taking taylor expansion of (/ y t) in y 11.837 * [taylor]: Taking taylor expansion of y in y 11.837 * [backup-simplify]: Simplify 0 into 0 11.837 * [backup-simplify]: Simplify 1 into 1 11.837 * [taylor]: Taking taylor expansion of t in y 11.837 * [backup-simplify]: Simplify t into t 11.838 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 11.838 * [taylor]: Taking taylor expansion of (/ y z) in y 11.838 * [taylor]: Taking taylor expansion of y in y 11.838 * [backup-simplify]: Simplify 0 into 0 11.838 * [backup-simplify]: Simplify 1 into 1 11.838 * [taylor]: Taking taylor expansion of z in y 11.838 * [backup-simplify]: Simplify z into z 11.838 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 11.838 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0 11.838 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 11.839 * [backup-simplify]: Simplify (- 0) into 0 11.847 * [backup-simplify]: Simplify (+ 0 0) into 0 11.848 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0 11.848 * [backup-simplify]: Simplify (+ (* y 0) (* 0 (- (/ 1 t) (/ 1 z)))) into 0 11.849 * [backup-simplify]: Simplify (+ 0 (/ -1 t)) into (- (/ 1 t)) 11.849 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in y 11.849 * [taylor]: Taking taylor expansion of (/ 1 t) in y 11.849 * [taylor]: Taking taylor expansion of t in y 11.849 * [backup-simplify]: Simplify t into t 11.849 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 11.849 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t)) 11.849 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in z 11.849 * [taylor]: Taking taylor expansion of (/ 1 t) in z 11.849 * [taylor]: Taking taylor expansion of t in z 11.849 * [backup-simplify]: Simplify t into t 11.849 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 11.849 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 11.849 * [backup-simplify]: Simplify (+ (/ 1 t) (- (/ 1 z))) into (- (/ 1 t) (/ 1 z)) 11.849 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 11.849 * [taylor]: Taking taylor expansion of (/ 1 t) in z 11.849 * [taylor]: Taking taylor expansion of t in z 11.849 * [backup-simplify]: Simplify t into t 11.849 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 11.850 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.850 * [taylor]: Taking taylor expansion of z in z 11.850 * [backup-simplify]: Simplify 0 into 0 11.850 * [backup-simplify]: Simplify 1 into 1 11.850 * [backup-simplify]: Simplify (/ 1 1) into 1 11.850 * [backup-simplify]: Simplify (- 1) into -1 11.851 * [backup-simplify]: Simplify (+ 0 -1) into -1 11.851 * [taylor]: Taking taylor expansion of -1 in t 11.851 * [backup-simplify]: Simplify -1 into -1 11.851 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0 11.851 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 11.852 * [backup-simplify]: Simplify (- 0) into 0 11.852 * [backup-simplify]: Simplify (+ 0 0) into 0 11.853 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.854 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 (- (/ 1 t) (/ 1 z))))) into 0 11.854 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ -1 t) (/ 0 t)))) into 0 11.854 * [backup-simplify]: Simplify (+ 0 0) into 0 11.854 * [taylor]: Taking taylor expansion of 0 in y 11.854 * [backup-simplify]: Simplify 0 into 0 11.854 * [taylor]: Taking taylor expansion of 0 in z 11.854 * [backup-simplify]: Simplify 0 into 0 11.854 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0 11.854 * [backup-simplify]: Simplify (- 0) into 0 11.855 * [taylor]: Taking taylor expansion of 0 in z 11.855 * [backup-simplify]: Simplify 0 into 0 11.855 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ 1 t) (/ 0 t)))) into 0 11.855 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0 11.855 * [backup-simplify]: Simplify (- 0) into 0 11.855 * [backup-simplify]: Simplify (+ 0 0) into 0 11.855 * [taylor]: Taking taylor expansion of 0 in z 11.855 * [backup-simplify]: Simplify 0 into 0 11.855 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t)) 11.855 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 11.855 * [taylor]: Taking taylor expansion of (/ 1 t) in t 11.855 * [taylor]: Taking taylor expansion of t in t 11.855 * [backup-simplify]: Simplify 0 into 0 11.855 * [backup-simplify]: Simplify 1 into 1 11.856 * [backup-simplify]: Simplify (/ 1 1) into 1 11.856 * [backup-simplify]: Simplify (- 1) into -1 11.856 * [backup-simplify]: Simplify -1 into -1 11.856 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.857 * [backup-simplify]: Simplify (- 0) into 0 11.857 * [backup-simplify]: Simplify (+ (/ 1 t) 0) into (/ 1 t) 11.857 * [taylor]: Taking taylor expansion of (/ 1 t) in t 11.857 * [taylor]: Taking taylor expansion of t in t 11.857 * [backup-simplify]: Simplify 0 into 0 11.857 * [backup-simplify]: Simplify 1 into 1 11.857 * [backup-simplify]: Simplify (/ 1 1) into 1 11.857 * [backup-simplify]: Simplify 1 into 1 11.857 * [backup-simplify]: Simplify -1 into -1 11.858 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* (/ 1 (/ 1 (- z))) (* (/ 1 (- y)) (/ 1 (/ 1 (- x))))))) (+ (* 1 (* (/ 1 (/ 1 (- t))) (* 1 (* (/ 1 (- y)) (/ 1 (/ 1 (- x))))))) (* -1 (* (/ 1 (/ 1 (- t))) (* 1 (* 1 1)))))) into (- (+ t (/ (* x z) y)) (/ (* t x) y)) 11.858 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1) 11.858 * [backup-simplify]: Simplify (fma (/ x y) (- z t) t) into (fma (/ x y) (- z t) t) 11.858 * [approximate]: Taking taylor expansion of (fma (/ x y) (- z t) t) in (x y z t) around 0 11.858 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in t 11.858 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 11.858 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in t 11.858 * [taylor]: Taking taylor expansion of (/ x y) in t 11.858 * [taylor]: Taking taylor expansion of x in t 11.858 * [backup-simplify]: Simplify x into x 11.858 * [taylor]: Taking taylor expansion of y in t 11.858 * [backup-simplify]: Simplify y into y 11.858 * [backup-simplify]: Simplify (/ x y) into (/ x y) 11.858 * [taylor]: Taking taylor expansion of (- z t) in t 11.858 * [taylor]: Taking taylor expansion of z in t 11.858 * [backup-simplify]: Simplify z into z 11.858 * [taylor]: Taking taylor expansion of t in t 11.858 * [backup-simplify]: Simplify 0 into 0 11.858 * [backup-simplify]: Simplify 1 into 1 11.858 * [taylor]: Taking taylor expansion of t in t 11.858 * [backup-simplify]: Simplify 0 into 0 11.858 * [backup-simplify]: Simplify 1 into 1 11.858 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in z 11.858 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 11.859 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in z 11.859 * [taylor]: Taking taylor expansion of (/ x y) in z 11.859 * [taylor]: Taking taylor expansion of x in z 11.859 * [backup-simplify]: Simplify x into x 11.859 * [taylor]: Taking taylor expansion of y in z 11.859 * [backup-simplify]: Simplify y into y 11.859 * [backup-simplify]: Simplify (/ x y) into (/ x y) 11.859 * [taylor]: Taking taylor expansion of (- z t) in z 11.859 * [taylor]: Taking taylor expansion of z in z 11.859 * [backup-simplify]: Simplify 0 into 0 11.859 * [backup-simplify]: Simplify 1 into 1 11.859 * [taylor]: Taking taylor expansion of t in z 11.859 * [backup-simplify]: Simplify t into t 11.859 * [taylor]: Taking taylor expansion of t in z 11.859 * [backup-simplify]: Simplify t into t 11.859 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in y 11.859 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 11.859 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in y 11.859 * [taylor]: Taking taylor expansion of (/ x y) in y 11.859 * [taylor]: Taking taylor expansion of x in y 11.859 * [backup-simplify]: Simplify x into x 11.859 * [taylor]: Taking taylor expansion of y in y 11.859 * [backup-simplify]: Simplify 0 into 0 11.859 * [backup-simplify]: Simplify 1 into 1 11.859 * [backup-simplify]: Simplify (/ x 1) into x 11.859 * [taylor]: Taking taylor expansion of (- z t) in y 11.859 * [taylor]: Taking taylor expansion of z in y 11.859 * [backup-simplify]: Simplify z into z 11.859 * [taylor]: Taking taylor expansion of t in y 11.859 * [backup-simplify]: Simplify t into t 11.859 * [taylor]: Taking taylor expansion of t in y 11.859 * [backup-simplify]: Simplify t into t 11.859 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in x 11.859 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 11.859 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in x 11.859 * [taylor]: Taking taylor expansion of (/ x y) in x 11.859 * [taylor]: Taking taylor expansion of x in x 11.859 * [backup-simplify]: Simplify 0 into 0 11.859 * [backup-simplify]: Simplify 1 into 1 11.859 * [taylor]: Taking taylor expansion of y in x 11.859 * [backup-simplify]: Simplify y into y 11.859 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 11.859 * [taylor]: Taking taylor expansion of (- z t) in x 11.859 * [taylor]: Taking taylor expansion of z in x 11.859 * [backup-simplify]: Simplify z into z 11.859 * [taylor]: Taking taylor expansion of t in x 11.859 * [backup-simplify]: Simplify t into t 11.859 * [taylor]: Taking taylor expansion of t in x 11.859 * [backup-simplify]: Simplify t into t 11.859 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in x 11.860 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 11.860 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in x 11.860 * [taylor]: Taking taylor expansion of (/ x y) in x 11.860 * [taylor]: Taking taylor expansion of x in x 11.860 * [backup-simplify]: Simplify 0 into 0 11.860 * [backup-simplify]: Simplify 1 into 1 11.860 * [taylor]: Taking taylor expansion of y in x 11.860 * [backup-simplify]: Simplify y into y 11.860 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 11.860 * [taylor]: Taking taylor expansion of (- z t) in x 11.860 * [taylor]: Taking taylor expansion of z in x 11.860 * [backup-simplify]: Simplify z into z 11.860 * [taylor]: Taking taylor expansion of t in x 11.860 * [backup-simplify]: Simplify t into t 11.860 * [taylor]: Taking taylor expansion of t in x 11.860 * [backup-simplify]: Simplify t into t 11.860 * [backup-simplify]: Simplify (+ 0 t) into t 11.860 * [taylor]: Taking taylor expansion of t in y 11.860 * [backup-simplify]: Simplify t into t 11.860 * [backup-simplify]: Simplify (- t) into (- t) 11.860 * [backup-simplify]: Simplify (+ z (- t)) into (- z t) 11.860 * [backup-simplify]: Simplify (* (/ 1 y) (- z t)) into (/ (- z t) y) 11.860 * [backup-simplify]: Simplify (+ (/ (- z t) y) 0) into (- (/ z y) (/ t y)) 11.860 * [taylor]: Taking taylor expansion of (- (/ z y) (/ t y)) in y 11.860 * [taylor]: Taking taylor expansion of (/ z y) in y 11.860 * [taylor]: Taking taylor expansion of z in y 11.860 * [backup-simplify]: Simplify z into z 11.860 * [taylor]: Taking taylor expansion of y in y 11.860 * [backup-simplify]: Simplify 0 into 0 11.860 * [backup-simplify]: Simplify 1 into 1 11.860 * [backup-simplify]: Simplify (/ z 1) into z 11.860 * [taylor]: Taking taylor expansion of (/ t y) in y 11.860 * [taylor]: Taking taylor expansion of t in y 11.860 * [backup-simplify]: Simplify t into t 11.860 * [taylor]: Taking taylor expansion of y in y 11.860 * [backup-simplify]: Simplify 0 into 0 11.860 * [backup-simplify]: Simplify 1 into 1 11.860 * [backup-simplify]: Simplify (/ t 1) into t 11.860 * [backup-simplify]: Simplify (- t) into (- t) 11.860 * [backup-simplify]: Simplify (+ z (- t)) into (- z t) 11.861 * [taylor]: Taking taylor expansion of (- z t) in z 11.861 * [taylor]: Taking taylor expansion of z in z 11.861 * [backup-simplify]: Simplify 0 into 0 11.861 * [backup-simplify]: Simplify 1 into 1 11.861 * [taylor]: Taking taylor expansion of t in z 11.861 * [backup-simplify]: Simplify t into t 11.861 * [backup-simplify]: Simplify (- t) into (- t) 11.861 * [backup-simplify]: Simplify (+ 0 (- t)) into (- t) 11.861 * [taylor]: Taking taylor expansion of (- t) in t 11.861 * [taylor]: Taking taylor expansion of t in t 11.861 * [backup-simplify]: Simplify 0 into 0 11.861 * [backup-simplify]: Simplify 1 into 1 11.861 * [backup-simplify]: Simplify (- 0) into 0 11.861 * [backup-simplify]: Simplify 0 into 0 11.861 * [taylor]: Taking taylor expansion of t in z 11.861 * [backup-simplify]: Simplify t into t 11.861 * [taylor]: Taking taylor expansion of t in t 11.861 * [backup-simplify]: Simplify 0 into 0 11.861 * [backup-simplify]: Simplify 1 into 1 11.861 * [backup-simplify]: Simplify 0 into 0 11.861 * [backup-simplify]: Simplify (- 0) into 0 11.862 * [backup-simplify]: Simplify (+ 0 0) into 0 11.862 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0 11.862 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (* 0 (- z t))) into 0 11.862 * [backup-simplify]: Simplify (+ 0 0) into 0 11.862 * [taylor]: Taking taylor expansion of 0 in y 11.862 * [backup-simplify]: Simplify 0 into 0 11.863 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 11.863 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0 11.863 * [backup-simplify]: Simplify (- 0) into 0 11.864 * [backup-simplify]: Simplify (+ 0 0) into 0 11.864 * [taylor]: Taking taylor expansion of 0 in z 11.864 * [backup-simplify]: Simplify 0 into 0 11.864 * [taylor]: Taking taylor expansion of 0 in t 11.864 * [backup-simplify]: Simplify 0 into 0 11.864 * [backup-simplify]: Simplify 0 into 0 11.864 * [taylor]: Taking taylor expansion of 0 in z 11.864 * [backup-simplify]: Simplify 0 into 0 11.864 * [taylor]: Taking taylor expansion of 0 in t 11.864 * [backup-simplify]: Simplify 0 into 0 11.864 * [backup-simplify]: Simplify 0 into 0 11.864 * [backup-simplify]: Simplify (- 0) into 0 11.864 * [backup-simplify]: Simplify (+ 1 0) into 1 11.864 * [taylor]: Taking taylor expansion of 1 in t 11.864 * [backup-simplify]: Simplify 1 into 1 11.864 * [backup-simplify]: Simplify 1 into 1 11.864 * [taylor]: Taking taylor expansion of 0 in t 11.864 * [backup-simplify]: Simplify 0 into 0 11.864 * [backup-simplify]: Simplify 0 into 0 11.865 * [backup-simplify]: Simplify (- 1) into -1 11.865 * [backup-simplify]: Simplify -1 into -1 11.865 * [backup-simplify]: Simplify 1 into 1 11.865 * [backup-simplify]: Simplify (+ (* 1 (* t (* 1 (* 1 1)))) (+ (* -1 (* t (* 1 (* (/ 1 y) x)))) (* 1 (* 1 (* z (* (/ 1 y) x)))))) into (- (+ t (/ (* x z) y)) (/ (* t x) y)) 11.865 * [backup-simplify]: Simplify (fma (/ (/ 1 x) (/ 1 y)) (- (/ 1 z) (/ 1 t)) (/ 1 t)) into (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) 11.865 * [approximate]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in (x y z t) around 0 11.865 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in t 11.866 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 11.866 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in t 11.866 * [taylor]: Taking taylor expansion of (/ y x) in t 11.866 * [taylor]: Taking taylor expansion of y in t 11.866 * [backup-simplify]: Simplify y into y 11.866 * [taylor]: Taking taylor expansion of x in t 11.866 * [backup-simplify]: Simplify x into x 11.866 * [backup-simplify]: Simplify (/ y x) into (/ y x) 11.866 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 11.866 * [taylor]: Taking taylor expansion of (/ 1 z) in t 11.866 * [taylor]: Taking taylor expansion of z in t 11.866 * [backup-simplify]: Simplify z into z 11.866 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 11.866 * [taylor]: Taking taylor expansion of (/ 1 t) in t 11.866 * [taylor]: Taking taylor expansion of t in t 11.866 * [backup-simplify]: Simplify 0 into 0 11.866 * [backup-simplify]: Simplify 1 into 1 11.866 * [backup-simplify]: Simplify (/ 1 1) into 1 11.866 * [taylor]: Taking taylor expansion of (/ 1 t) in t 11.866 * [taylor]: Taking taylor expansion of t in t 11.866 * [backup-simplify]: Simplify 0 into 0 11.866 * [backup-simplify]: Simplify 1 into 1 11.866 * [backup-simplify]: Simplify (/ 1 1) into 1 11.866 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in z 11.867 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 11.867 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in z 11.867 * [taylor]: Taking taylor expansion of (/ y x) in z 11.867 * [taylor]: Taking taylor expansion of y in z 11.867 * [backup-simplify]: Simplify y into y 11.867 * [taylor]: Taking taylor expansion of x in z 11.867 * [backup-simplify]: Simplify x into x 11.867 * [backup-simplify]: Simplify (/ y x) into (/ y x) 11.867 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 11.867 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.867 * [taylor]: Taking taylor expansion of z in z 11.867 * [backup-simplify]: Simplify 0 into 0 11.867 * [backup-simplify]: Simplify 1 into 1 11.867 * [backup-simplify]: Simplify (/ 1 1) into 1 11.867 * [taylor]: Taking taylor expansion of (/ 1 t) in z 11.867 * [taylor]: Taking taylor expansion of t in z 11.867 * [backup-simplify]: Simplify t into t 11.867 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 11.867 * [taylor]: Taking taylor expansion of (/ 1 t) in z 11.867 * [taylor]: Taking taylor expansion of t in z 11.867 * [backup-simplify]: Simplify t into t 11.867 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 11.867 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in y 11.867 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 11.867 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in y 11.867 * [taylor]: Taking taylor expansion of (/ y x) in y 11.867 * [taylor]: Taking taylor expansion of y in y 11.867 * [backup-simplify]: Simplify 0 into 0 11.867 * [backup-simplify]: Simplify 1 into 1 11.867 * [taylor]: Taking taylor expansion of x in y 11.867 * [backup-simplify]: Simplify x into x 11.867 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 11.868 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 11.868 * [taylor]: Taking taylor expansion of (/ 1 z) in y 11.868 * [taylor]: Taking taylor expansion of z in y 11.868 * [backup-simplify]: Simplify z into z 11.868 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 11.868 * [taylor]: Taking taylor expansion of (/ 1 t) in y 11.868 * [taylor]: Taking taylor expansion of t in y 11.868 * [backup-simplify]: Simplify t into t 11.868 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 11.868 * [taylor]: Taking taylor expansion of (/ 1 t) in y 11.868 * [taylor]: Taking taylor expansion of t in y 11.868 * [backup-simplify]: Simplify t into t 11.868 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 11.868 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in x 11.868 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 11.868 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in x 11.868 * [taylor]: Taking taylor expansion of (/ y x) in x 11.868 * [taylor]: Taking taylor expansion of y in x 11.868 * [backup-simplify]: Simplify y into y 11.868 * [taylor]: Taking taylor expansion of x in x 11.868 * [backup-simplify]: Simplify 0 into 0 11.868 * [backup-simplify]: Simplify 1 into 1 11.868 * [backup-simplify]: Simplify (/ y 1) into y 11.868 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 11.868 * [taylor]: Taking taylor expansion of (/ 1 z) in x 11.868 * [taylor]: Taking taylor expansion of z in x 11.868 * [backup-simplify]: Simplify z into z 11.868 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 11.868 * [taylor]: Taking taylor expansion of (/ 1 t) in x 11.868 * [taylor]: Taking taylor expansion of t in x 11.868 * [backup-simplify]: Simplify t into t 11.868 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 11.868 * [taylor]: Taking taylor expansion of (/ 1 t) in x 11.868 * [taylor]: Taking taylor expansion of t in x 11.868 * [backup-simplify]: Simplify t into t 11.868 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 11.868 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in x 11.868 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 11.868 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in x 11.868 * [taylor]: Taking taylor expansion of (/ y x) in x 11.868 * [taylor]: Taking taylor expansion of y in x 11.868 * [backup-simplify]: Simplify y into y 11.868 * [taylor]: Taking taylor expansion of x in x 11.868 * [backup-simplify]: Simplify 0 into 0 11.869 * [backup-simplify]: Simplify 1 into 1 11.869 * [backup-simplify]: Simplify (/ y 1) into y 11.869 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 11.869 * [taylor]: Taking taylor expansion of (/ 1 z) in x 11.869 * [taylor]: Taking taylor expansion of z in x 11.869 * [backup-simplify]: Simplify z into z 11.869 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 11.869 * [taylor]: Taking taylor expansion of (/ 1 t) in x 11.869 * [taylor]: Taking taylor expansion of t in x 11.869 * [backup-simplify]: Simplify t into t 11.869 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 11.869 * [taylor]: Taking taylor expansion of (/ 1 t) in x 11.869 * [taylor]: Taking taylor expansion of t in x 11.869 * [backup-simplify]: Simplify t into t 11.869 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 11.869 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t)) 11.869 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 t))) into (- (/ 1 z) (/ 1 t)) 11.869 * [backup-simplify]: Simplify (* y (- (/ 1 z) (/ 1 t))) into (* (- (/ 1 z) (/ 1 t)) y) 11.869 * [backup-simplify]: Simplify (+ (* (- (/ 1 z) (/ 1 t)) y) 0) into (- (/ y z) (/ y t)) 11.869 * [taylor]: Taking taylor expansion of (- (/ y z) (/ y t)) in y 11.869 * [taylor]: Taking taylor expansion of (/ y z) in y 11.869 * [taylor]: Taking taylor expansion of y in y 11.869 * [backup-simplify]: Simplify 0 into 0 11.869 * [backup-simplify]: Simplify 1 into 1 11.869 * [taylor]: Taking taylor expansion of z in y 11.869 * [backup-simplify]: Simplify z into z 11.869 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 11.869 * [taylor]: Taking taylor expansion of (/ y t) in y 11.869 * [taylor]: Taking taylor expansion of y in y 11.869 * [backup-simplify]: Simplify 0 into 0 11.869 * [backup-simplify]: Simplify 1 into 1 11.869 * [taylor]: Taking taylor expansion of t in y 11.869 * [backup-simplify]: Simplify t into t 11.869 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 11.870 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 11.870 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0 11.870 * [backup-simplify]: Simplify (- 0) into 0 11.870 * [backup-simplify]: Simplify (+ 0 0) into 0 11.871 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0 11.871 * [backup-simplify]: Simplify (+ (* y 0) (* 0 (- (/ 1 z) (/ 1 t)))) into 0 11.871 * [backup-simplify]: Simplify (+ 0 (/ 1 t)) into (/ 1 t) 11.871 * [taylor]: Taking taylor expansion of (/ 1 t) in y 11.871 * [taylor]: Taking taylor expansion of t in y 11.871 * [backup-simplify]: Simplify t into t 11.871 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 11.871 * [taylor]: Taking taylor expansion of (/ 1 t) in z 11.871 * [taylor]: Taking taylor expansion of t in z 11.871 * [backup-simplify]: Simplify t into t 11.872 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 11.872 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t)) 11.872 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 t))) into (- (/ 1 z) (/ 1 t)) 11.872 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 11.872 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.872 * [taylor]: Taking taylor expansion of z in z 11.872 * [backup-simplify]: Simplify 0 into 0 11.872 * [backup-simplify]: Simplify 1 into 1 11.872 * [backup-simplify]: Simplify (/ 1 1) into 1 11.872 * [taylor]: Taking taylor expansion of (/ 1 t) in z 11.872 * [taylor]: Taking taylor expansion of t in z 11.872 * [backup-simplify]: Simplify t into t 11.872 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 11.872 * [backup-simplify]: Simplify (+ 1 0) into 1 11.872 * [taylor]: Taking taylor expansion of 1 in t 11.872 * [backup-simplify]: Simplify 1 into 1 11.872 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 11.873 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0 11.873 * [backup-simplify]: Simplify (- 0) into 0 11.873 * [backup-simplify]: Simplify (+ 0 0) into 0 11.874 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.874 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 (- (/ 1 z) (/ 1 t))))) into 0 11.874 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0 11.875 * [backup-simplify]: Simplify (+ 0 0) into 0 11.875 * [taylor]: Taking taylor expansion of 0 in y 11.875 * [backup-simplify]: Simplify 0 into 0 11.875 * [taylor]: Taking taylor expansion of 0 in z 11.875 * [backup-simplify]: Simplify 0 into 0 11.875 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0 11.875 * [taylor]: Taking taylor expansion of 0 in z 11.875 * [backup-simplify]: Simplify 0 into 0 11.875 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0 11.875 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ 1 t) (/ 0 t)))) into 0 11.875 * [backup-simplify]: Simplify (- 0) into 0 11.875 * [backup-simplify]: Simplify (+ 0 0) into 0 11.875 * [taylor]: Taking taylor expansion of 0 in z 11.875 * [backup-simplify]: Simplify 0 into 0 11.875 * [taylor]: Taking taylor expansion of (/ 1 t) in t 11.875 * [taylor]: Taking taylor expansion of t in t 11.875 * [backup-simplify]: Simplify 0 into 0 11.875 * [backup-simplify]: Simplify 1 into 1 11.876 * [backup-simplify]: Simplify (/ 1 1) into 1 11.876 * [backup-simplify]: Simplify 1 into 1 11.876 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.876 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t)) 11.876 * [backup-simplify]: Simplify (+ 0 (- (/ 1 t))) into (- (/ 1 t)) 11.876 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 11.876 * [taylor]: Taking taylor expansion of (/ 1 t) in t 11.876 * [taylor]: Taking taylor expansion of t in t 11.876 * [backup-simplify]: Simplify 0 into 0 11.876 * [backup-simplify]: Simplify 1 into 1 11.877 * [backup-simplify]: Simplify (/ 1 1) into 1 11.877 * [backup-simplify]: Simplify (- 1) into -1 11.877 * [backup-simplify]: Simplify -1 into -1 11.877 * [backup-simplify]: Simplify 1 into 1 11.878 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 z)) (* (/ 1 y) (/ 1 (/ 1 x)))))) (+ (* -1 (* (/ 1 (/ 1 t)) (* 1 (* (/ 1 y) (/ 1 (/ 1 x)))))) (* 1 (* (/ 1 (/ 1 t)) (* 1 (* 1 1)))))) into (- (+ t (/ (* x z) y)) (/ (* t x) y)) 11.878 * [backup-simplify]: Simplify (fma (/ (/ 1 (- x)) (/ 1 (- y))) (- (/ 1 (- z)) (/ 1 (- t))) (/ 1 (- t))) into (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) 11.878 * [approximate]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in (x y z t) around 0 11.878 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in t 11.878 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 11.878 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in t 11.878 * [taylor]: Taking taylor expansion of (/ y x) in t 11.878 * [taylor]: Taking taylor expansion of y in t 11.878 * [backup-simplify]: Simplify y into y 11.878 * [taylor]: Taking taylor expansion of x in t 11.878 * [backup-simplify]: Simplify x into x 11.878 * [backup-simplify]: Simplify (/ y x) into (/ y x) 11.878 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 11.878 * [taylor]: Taking taylor expansion of (/ 1 t) in t 11.878 * [taylor]: Taking taylor expansion of t in t 11.878 * [backup-simplify]: Simplify 0 into 0 11.878 * [backup-simplify]: Simplify 1 into 1 11.878 * [backup-simplify]: Simplify (/ 1 1) into 1 11.878 * [taylor]: Taking taylor expansion of (/ 1 z) in t 11.878 * [taylor]: Taking taylor expansion of z in t 11.879 * [backup-simplify]: Simplify z into z 11.879 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 11.879 * [taylor]: Taking taylor expansion of (/ -1 t) in t 11.879 * [taylor]: Taking taylor expansion of -1 in t 11.879 * [backup-simplify]: Simplify -1 into -1 11.879 * [taylor]: Taking taylor expansion of t in t 11.879 * [backup-simplify]: Simplify 0 into 0 11.879 * [backup-simplify]: Simplify 1 into 1 11.879 * [backup-simplify]: Simplify (/ -1 1) into -1 11.879 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in z 11.879 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 11.879 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in z 11.879 * [taylor]: Taking taylor expansion of (/ y x) in z 11.879 * [taylor]: Taking taylor expansion of y in z 11.879 * [backup-simplify]: Simplify y into y 11.879 * [taylor]: Taking taylor expansion of x in z 11.879 * [backup-simplify]: Simplify x into x 11.879 * [backup-simplify]: Simplify (/ y x) into (/ y x) 11.879 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 11.879 * [taylor]: Taking taylor expansion of (/ 1 t) in z 11.879 * [taylor]: Taking taylor expansion of t in z 11.879 * [backup-simplify]: Simplify t into t 11.879 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 11.879 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.879 * [taylor]: Taking taylor expansion of z in z 11.879 * [backup-simplify]: Simplify 0 into 0 11.879 * [backup-simplify]: Simplify 1 into 1 11.880 * [backup-simplify]: Simplify (/ 1 1) into 1 11.880 * [taylor]: Taking taylor expansion of (/ -1 t) in z 11.880 * [taylor]: Taking taylor expansion of -1 in z 11.880 * [backup-simplify]: Simplify -1 into -1 11.880 * [taylor]: Taking taylor expansion of t in z 11.880 * [backup-simplify]: Simplify t into t 11.880 * [backup-simplify]: Simplify (/ -1 t) into (/ -1 t) 11.880 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in y 11.880 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 11.880 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in y 11.880 * [taylor]: Taking taylor expansion of (/ y x) in y 11.880 * [taylor]: Taking taylor expansion of y in y 11.880 * [backup-simplify]: Simplify 0 into 0 11.880 * [backup-simplify]: Simplify 1 into 1 11.880 * [taylor]: Taking taylor expansion of x in y 11.880 * [backup-simplify]: Simplify x into x 11.880 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 11.880 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 11.880 * [taylor]: Taking taylor expansion of (/ 1 t) in y 11.880 * [taylor]: Taking taylor expansion of t in y 11.880 * [backup-simplify]: Simplify t into t 11.880 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 11.880 * [taylor]: Taking taylor expansion of (/ 1 z) in y 11.880 * [taylor]: Taking taylor expansion of z in y 11.880 * [backup-simplify]: Simplify z into z 11.880 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 11.880 * [taylor]: Taking taylor expansion of (/ -1 t) in y 11.880 * [taylor]: Taking taylor expansion of -1 in y 11.880 * [backup-simplify]: Simplify -1 into -1 11.880 * [taylor]: Taking taylor expansion of t in y 11.880 * [backup-simplify]: Simplify t into t 11.880 * [backup-simplify]: Simplify (/ -1 t) into (/ -1 t) 11.880 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in x 11.880 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 11.880 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in x 11.880 * [taylor]: Taking taylor expansion of (/ y x) in x 11.880 * [taylor]: Taking taylor expansion of y in x 11.880 * [backup-simplify]: Simplify y into y 11.880 * [taylor]: Taking taylor expansion of x in x 11.880 * [backup-simplify]: Simplify 0 into 0 11.880 * [backup-simplify]: Simplify 1 into 1 11.881 * [backup-simplify]: Simplify (/ y 1) into y 11.881 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 11.881 * [taylor]: Taking taylor expansion of (/ 1 t) in x 11.881 * [taylor]: Taking taylor expansion of t in x 11.881 * [backup-simplify]: Simplify t into t 11.881 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 11.881 * [taylor]: Taking taylor expansion of (/ 1 z) in x 11.881 * [taylor]: Taking taylor expansion of z in x 11.881 * [backup-simplify]: Simplify z into z 11.881 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 11.881 * [taylor]: Taking taylor expansion of (/ -1 t) in x 11.881 * [taylor]: Taking taylor expansion of -1 in x 11.881 * [backup-simplify]: Simplify -1 into -1 11.881 * [taylor]: Taking taylor expansion of t in x 11.881 * [backup-simplify]: Simplify t into t 11.881 * [backup-simplify]: Simplify (/ -1 t) into (/ -1 t) 11.881 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in x 11.881 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 11.881 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in x 11.881 * [taylor]: Taking taylor expansion of (/ y x) in x 11.881 * [taylor]: Taking taylor expansion of y in x 11.881 * [backup-simplify]: Simplify y into y 11.881 * [taylor]: Taking taylor expansion of x in x 11.881 * [backup-simplify]: Simplify 0 into 0 11.881 * [backup-simplify]: Simplify 1 into 1 11.881 * [backup-simplify]: Simplify (/ y 1) into y 11.881 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 11.881 * [taylor]: Taking taylor expansion of (/ 1 t) in x 11.881 * [taylor]: Taking taylor expansion of t in x 11.881 * [backup-simplify]: Simplify t into t 11.881 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 11.881 * [taylor]: Taking taylor expansion of (/ 1 z) in x 11.881 * [taylor]: Taking taylor expansion of z in x 11.881 * [backup-simplify]: Simplify z into z 11.881 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 11.881 * [taylor]: Taking taylor expansion of (/ -1 t) in x 11.881 * [taylor]: Taking taylor expansion of -1 in x 11.881 * [backup-simplify]: Simplify -1 into -1 11.881 * [taylor]: Taking taylor expansion of t in x 11.881 * [backup-simplify]: Simplify t into t 11.881 * [backup-simplify]: Simplify (/ -1 t) into (/ -1 t) 11.881 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 11.882 * [backup-simplify]: Simplify (+ (/ 1 t) (- (/ 1 z))) into (- (/ 1 t) (/ 1 z)) 11.882 * [backup-simplify]: Simplify (* y (- (/ 1 t) (/ 1 z))) into (* (- (/ 1 t) (/ 1 z)) y) 11.882 * [backup-simplify]: Simplify (+ (* (- (/ 1 t) (/ 1 z)) y) 0) into (- (/ y t) (/ y z)) 11.882 * [taylor]: Taking taylor expansion of (- (/ y t) (/ y z)) in y 11.882 * [taylor]: Taking taylor expansion of (/ y t) in y 11.882 * [taylor]: Taking taylor expansion of y in y 11.882 * [backup-simplify]: Simplify 0 into 0 11.882 * [backup-simplify]: Simplify 1 into 1 11.882 * [taylor]: Taking taylor expansion of t in y 11.882 * [backup-simplify]: Simplify t into t 11.882 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 11.882 * [taylor]: Taking taylor expansion of (/ y z) in y 11.882 * [taylor]: Taking taylor expansion of y in y 11.882 * [backup-simplify]: Simplify 0 into 0 11.882 * [backup-simplify]: Simplify 1 into 1 11.882 * [taylor]: Taking taylor expansion of z in y 11.882 * [backup-simplify]: Simplify z into z 11.882 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 11.882 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0 11.882 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 11.882 * [backup-simplify]: Simplify (- 0) into 0 11.883 * [backup-simplify]: Simplify (+ 0 0) into 0 11.883 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0 11.883 * [backup-simplify]: Simplify (+ (* y 0) (* 0 (- (/ 1 t) (/ 1 z)))) into 0 11.883 * [backup-simplify]: Simplify (+ 0 (/ -1 t)) into (- (/ 1 t)) 11.883 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in y 11.883 * [taylor]: Taking taylor expansion of (/ 1 t) in y 11.883 * [taylor]: Taking taylor expansion of t in y 11.883 * [backup-simplify]: Simplify t into t 11.883 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 11.884 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t)) 11.884 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in z 11.884 * [taylor]: Taking taylor expansion of (/ 1 t) in z 11.884 * [taylor]: Taking taylor expansion of t in z 11.884 * [backup-simplify]: Simplify t into t 11.884 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 11.884 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 11.884 * [backup-simplify]: Simplify (+ (/ 1 t) (- (/ 1 z))) into (- (/ 1 t) (/ 1 z)) 11.884 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 11.884 * [taylor]: Taking taylor expansion of (/ 1 t) in z 11.884 * [taylor]: Taking taylor expansion of t in z 11.884 * [backup-simplify]: Simplify t into t 11.884 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 11.884 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.884 * [taylor]: Taking taylor expansion of z in z 11.884 * [backup-simplify]: Simplify 0 into 0 11.884 * [backup-simplify]: Simplify 1 into 1 11.884 * [backup-simplify]: Simplify (/ 1 1) into 1 11.884 * [backup-simplify]: Simplify (- 1) into -1 11.885 * [backup-simplify]: Simplify (+ 0 -1) into -1 11.885 * [taylor]: Taking taylor expansion of -1 in t 11.885 * [backup-simplify]: Simplify -1 into -1 11.885 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0 11.885 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 11.885 * [backup-simplify]: Simplify (- 0) into 0 11.885 * [backup-simplify]: Simplify (+ 0 0) into 0 11.887 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.887 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 (- (/ 1 t) (/ 1 z))))) into 0 11.887 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ -1 t) (/ 0 t)))) into 0 11.888 * [backup-simplify]: Simplify (+ 0 0) into 0 11.888 * [taylor]: Taking taylor expansion of 0 in y 11.888 * [backup-simplify]: Simplify 0 into 0 11.888 * [taylor]: Taking taylor expansion of 0 in z 11.888 * [backup-simplify]: Simplify 0 into 0 11.888 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0 11.889 * [backup-simplify]: Simplify (- 0) into 0 11.889 * [taylor]: Taking taylor expansion of 0 in z 11.889 * [backup-simplify]: Simplify 0 into 0 11.889 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ 1 t) (/ 0 t)))) into 0 11.889 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0 11.890 * [backup-simplify]: Simplify (- 0) into 0 11.890 * [backup-simplify]: Simplify (+ 0 0) into 0 11.890 * [taylor]: Taking taylor expansion of 0 in z 11.890 * [backup-simplify]: Simplify 0 into 0 11.890 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t)) 11.890 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 11.890 * [taylor]: Taking taylor expansion of (/ 1 t) in t 11.890 * [taylor]: Taking taylor expansion of t in t 11.890 * [backup-simplify]: Simplify 0 into 0 11.890 * [backup-simplify]: Simplify 1 into 1 11.891 * [backup-simplify]: Simplify (/ 1 1) into 1 11.891 * [backup-simplify]: Simplify (- 1) into -1 11.891 * [backup-simplify]: Simplify -1 into -1 11.892 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.892 * [backup-simplify]: Simplify (- 0) into 0 11.892 * [backup-simplify]: Simplify (+ (/ 1 t) 0) into (/ 1 t) 11.892 * [taylor]: Taking taylor expansion of (/ 1 t) in t 11.892 * [taylor]: Taking taylor expansion of t in t 11.892 * [backup-simplify]: Simplify 0 into 0 11.892 * [backup-simplify]: Simplify 1 into 1 11.893 * [backup-simplify]: Simplify (/ 1 1) into 1 11.893 * [backup-simplify]: Simplify 1 into 1 11.893 * [backup-simplify]: Simplify -1 into -1 11.894 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* (/ 1 (/ 1 (- z))) (* (/ 1 (- y)) (/ 1 (/ 1 (- x))))))) (+ (* 1 (* (/ 1 (/ 1 (- t))) (* 1 (* (/ 1 (- y)) (/ 1 (/ 1 (- x))))))) (* -1 (* (/ 1 (/ 1 (- t))) (* 1 (* 1 1)))))) into (- (+ t (/ (* x z) y)) (/ (* t x) y)) 11.894 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 11.894 * [backup-simplify]: Simplify (fma (/ x y) (- z t) t) into (fma (/ x y) (- z t) t) 11.895 * [approximate]: Taking taylor expansion of (fma (/ x y) (- z t) t) in (x y z t) around 0 11.895 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in t 11.895 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 11.895 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in t 11.895 * [taylor]: Taking taylor expansion of (/ x y) in t 11.895 * [taylor]: Taking taylor expansion of x in t 11.895 * [backup-simplify]: Simplify x into x 11.895 * [taylor]: Taking taylor expansion of y in t 11.895 * [backup-simplify]: Simplify y into y 11.895 * [backup-simplify]: Simplify (/ x y) into (/ x y) 11.895 * [taylor]: Taking taylor expansion of (- z t) in t 11.895 * [taylor]: Taking taylor expansion of z in t 11.895 * [backup-simplify]: Simplify z into z 11.895 * [taylor]: Taking taylor expansion of t in t 11.895 * [backup-simplify]: Simplify 0 into 0 11.895 * [backup-simplify]: Simplify 1 into 1 11.895 * [taylor]: Taking taylor expansion of t in t 11.895 * [backup-simplify]: Simplify 0 into 0 11.895 * [backup-simplify]: Simplify 1 into 1 11.895 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in z 11.896 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 11.896 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in z 11.896 * [taylor]: Taking taylor expansion of (/ x y) in z 11.896 * [taylor]: Taking taylor expansion of x in z 11.896 * [backup-simplify]: Simplify x into x 11.896 * [taylor]: Taking taylor expansion of y in z 11.896 * [backup-simplify]: Simplify y into y 11.896 * [backup-simplify]: Simplify (/ x y) into (/ x y) 11.896 * [taylor]: Taking taylor expansion of (- z t) in z 11.896 * [taylor]: Taking taylor expansion of z in z 11.896 * [backup-simplify]: Simplify 0 into 0 11.896 * [backup-simplify]: Simplify 1 into 1 11.896 * [taylor]: Taking taylor expansion of t in z 11.896 * [backup-simplify]: Simplify t into t 11.896 * [taylor]: Taking taylor expansion of t in z 11.896 * [backup-simplify]: Simplify t into t 11.896 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in y 11.896 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 11.896 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in y 11.896 * [taylor]: Taking taylor expansion of (/ x y) in y 11.896 * [taylor]: Taking taylor expansion of x in y 11.896 * [backup-simplify]: Simplify x into x 11.896 * [taylor]: Taking taylor expansion of y in y 11.896 * [backup-simplify]: Simplify 0 into 0 11.896 * [backup-simplify]: Simplify 1 into 1 11.897 * [backup-simplify]: Simplify (/ x 1) into x 11.897 * [taylor]: Taking taylor expansion of (- z t) in y 11.897 * [taylor]: Taking taylor expansion of z in y 11.897 * [backup-simplify]: Simplify z into z 11.897 * [taylor]: Taking taylor expansion of t in y 11.897 * [backup-simplify]: Simplify t into t 11.897 * [taylor]: Taking taylor expansion of t in y 11.897 * [backup-simplify]: Simplify t into t 11.897 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in x 11.897 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 11.897 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in x 11.897 * [taylor]: Taking taylor expansion of (/ x y) in x 11.897 * [taylor]: Taking taylor expansion of x in x 11.897 * [backup-simplify]: Simplify 0 into 0 11.897 * [backup-simplify]: Simplify 1 into 1 11.897 * [taylor]: Taking taylor expansion of y in x 11.897 * [backup-simplify]: Simplify y into y 11.897 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 11.897 * [taylor]: Taking taylor expansion of (- z t) in x 11.897 * [taylor]: Taking taylor expansion of z in x 11.897 * [backup-simplify]: Simplify z into z 11.897 * [taylor]: Taking taylor expansion of t in x 11.897 * [backup-simplify]: Simplify t into t 11.897 * [taylor]: Taking taylor expansion of t in x 11.897 * [backup-simplify]: Simplify t into t 11.897 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in x 11.898 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 11.898 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in x 11.898 * [taylor]: Taking taylor expansion of (/ x y) in x 11.898 * [taylor]: Taking taylor expansion of x in x 11.898 * [backup-simplify]: Simplify 0 into 0 11.898 * [backup-simplify]: Simplify 1 into 1 11.898 * [taylor]: Taking taylor expansion of y in x 11.898 * [backup-simplify]: Simplify y into y 11.898 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 11.898 * [taylor]: Taking taylor expansion of (- z t) in x 11.898 * [taylor]: Taking taylor expansion of z in x 11.898 * [backup-simplify]: Simplify z into z 11.898 * [taylor]: Taking taylor expansion of t in x 11.898 * [backup-simplify]: Simplify t into t 11.898 * [taylor]: Taking taylor expansion of t in x 11.898 * [backup-simplify]: Simplify t into t 11.898 * [backup-simplify]: Simplify (+ 0 t) into t 11.898 * [taylor]: Taking taylor expansion of t in y 11.898 * [backup-simplify]: Simplify t into t 11.898 * [backup-simplify]: Simplify (- t) into (- t) 11.898 * [backup-simplify]: Simplify (+ z (- t)) into (- z t) 11.898 * [backup-simplify]: Simplify (* (/ 1 y) (- z t)) into (/ (- z t) y) 11.899 * [backup-simplify]: Simplify (+ (/ (- z t) y) 0) into (- (/ z y) (/ t y)) 11.899 * [taylor]: Taking taylor expansion of (- (/ z y) (/ t y)) in y 11.899 * [taylor]: Taking taylor expansion of (/ z y) in y 11.899 * [taylor]: Taking taylor expansion of z in y 11.899 * [backup-simplify]: Simplify z into z 11.899 * [taylor]: Taking taylor expansion of y in y 11.899 * [backup-simplify]: Simplify 0 into 0 11.899 * [backup-simplify]: Simplify 1 into 1 11.899 * [backup-simplify]: Simplify (/ z 1) into z 11.899 * [taylor]: Taking taylor expansion of (/ t y) in y 11.899 * [taylor]: Taking taylor expansion of t in y 11.899 * [backup-simplify]: Simplify t into t 11.899 * [taylor]: Taking taylor expansion of y in y 11.899 * [backup-simplify]: Simplify 0 into 0 11.899 * [backup-simplify]: Simplify 1 into 1 11.899 * [backup-simplify]: Simplify (/ t 1) into t 11.899 * [backup-simplify]: Simplify (- t) into (- t) 11.899 * [backup-simplify]: Simplify (+ z (- t)) into (- z t) 11.899 * [taylor]: Taking taylor expansion of (- z t) in z 11.899 * [taylor]: Taking taylor expansion of z in z 11.899 * [backup-simplify]: Simplify 0 into 0 11.899 * [backup-simplify]: Simplify 1 into 1 11.899 * [taylor]: Taking taylor expansion of t in z 11.899 * [backup-simplify]: Simplify t into t 11.899 * [backup-simplify]: Simplify (- t) into (- t) 11.899 * [backup-simplify]: Simplify (+ 0 (- t)) into (- t) 11.899 * [taylor]: Taking taylor expansion of (- t) in t 11.899 * [taylor]: Taking taylor expansion of t in t 11.899 * [backup-simplify]: Simplify 0 into 0 11.899 * [backup-simplify]: Simplify 1 into 1 11.900 * [backup-simplify]: Simplify (- 0) into 0 11.900 * [backup-simplify]: Simplify 0 into 0 11.900 * [taylor]: Taking taylor expansion of t in z 11.900 * [backup-simplify]: Simplify t into t 11.900 * [taylor]: Taking taylor expansion of t in t 11.900 * [backup-simplify]: Simplify 0 into 0 11.900 * [backup-simplify]: Simplify 1 into 1 11.900 * [backup-simplify]: Simplify 0 into 0 11.901 * [backup-simplify]: Simplify (- 0) into 0 11.901 * [backup-simplify]: Simplify (+ 0 0) into 0 11.901 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0 11.901 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (* 0 (- z t))) into 0 11.902 * [backup-simplify]: Simplify (+ 0 0) into 0 11.902 * [taylor]: Taking taylor expansion of 0 in y 11.902 * [backup-simplify]: Simplify 0 into 0 11.903 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 11.904 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0 11.904 * [backup-simplify]: Simplify (- 0) into 0 11.904 * [backup-simplify]: Simplify (+ 0 0) into 0 11.904 * [taylor]: Taking taylor expansion of 0 in z 11.905 * [backup-simplify]: Simplify 0 into 0 11.905 * [taylor]: Taking taylor expansion of 0 in t 11.905 * [backup-simplify]: Simplify 0 into 0 11.905 * [backup-simplify]: Simplify 0 into 0 11.905 * [taylor]: Taking taylor expansion of 0 in z 11.905 * [backup-simplify]: Simplify 0 into 0 11.905 * [taylor]: Taking taylor expansion of 0 in t 11.905 * [backup-simplify]: Simplify 0 into 0 11.905 * [backup-simplify]: Simplify 0 into 0 11.905 * [backup-simplify]: Simplify (- 0) into 0 11.906 * [backup-simplify]: Simplify (+ 1 0) into 1 11.906 * [taylor]: Taking taylor expansion of 1 in t 11.906 * [backup-simplify]: Simplify 1 into 1 11.906 * [backup-simplify]: Simplify 1 into 1 11.906 * [taylor]: Taking taylor expansion of 0 in t 11.906 * [backup-simplify]: Simplify 0 into 0 11.906 * [backup-simplify]: Simplify 0 into 0 11.906 * [backup-simplify]: Simplify (- 1) into -1 11.906 * [backup-simplify]: Simplify -1 into -1 11.906 * [backup-simplify]: Simplify 1 into 1 11.907 * [backup-simplify]: Simplify (+ (* 1 (* t (* 1 (* 1 1)))) (+ (* -1 (* t (* 1 (* (/ 1 y) x)))) (* 1 (* 1 (* z (* (/ 1 y) x)))))) into (- (+ t (/ (* x z) y)) (/ (* t x) y)) 11.907 * [backup-simplify]: Simplify (fma (/ (/ 1 x) (/ 1 y)) (- (/ 1 z) (/ 1 t)) (/ 1 t)) into (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) 11.907 * [approximate]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in (x y z t) around 0 11.907 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in t 11.907 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 11.907 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in t 11.907 * [taylor]: Taking taylor expansion of (/ y x) in t 11.907 * [taylor]: Taking taylor expansion of y in t 11.907 * [backup-simplify]: Simplify y into y 11.907 * [taylor]: Taking taylor expansion of x in t 11.907 * [backup-simplify]: Simplify x into x 11.907 * [backup-simplify]: Simplify (/ y x) into (/ y x) 11.907 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 11.907 * [taylor]: Taking taylor expansion of (/ 1 z) in t 11.907 * [taylor]: Taking taylor expansion of z in t 11.907 * [backup-simplify]: Simplify z into z 11.907 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 11.907 * [taylor]: Taking taylor expansion of (/ 1 t) in t 11.907 * [taylor]: Taking taylor expansion of t in t 11.907 * [backup-simplify]: Simplify 0 into 0 11.907 * [backup-simplify]: Simplify 1 into 1 11.908 * [backup-simplify]: Simplify (/ 1 1) into 1 11.908 * [taylor]: Taking taylor expansion of (/ 1 t) in t 11.908 * [taylor]: Taking taylor expansion of t in t 11.908 * [backup-simplify]: Simplify 0 into 0 11.908 * [backup-simplify]: Simplify 1 into 1 11.908 * [backup-simplify]: Simplify (/ 1 1) into 1 11.908 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in z 11.908 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 11.908 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in z 11.908 * [taylor]: Taking taylor expansion of (/ y x) in z 11.908 * [taylor]: Taking taylor expansion of y in z 11.908 * [backup-simplify]: Simplify y into y 11.908 * [taylor]: Taking taylor expansion of x in z 11.908 * [backup-simplify]: Simplify x into x 11.908 * [backup-simplify]: Simplify (/ y x) into (/ y x) 11.908 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 11.908 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.908 * [taylor]: Taking taylor expansion of z in z 11.908 * [backup-simplify]: Simplify 0 into 0 11.908 * [backup-simplify]: Simplify 1 into 1 11.908 * [backup-simplify]: Simplify (/ 1 1) into 1 11.908 * [taylor]: Taking taylor expansion of (/ 1 t) in z 11.909 * [taylor]: Taking taylor expansion of t in z 11.909 * [backup-simplify]: Simplify t into t 11.909 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 11.909 * [taylor]: Taking taylor expansion of (/ 1 t) in z 11.909 * [taylor]: Taking taylor expansion of t in z 11.909 * [backup-simplify]: Simplify t into t 11.909 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 11.909 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in y 11.909 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 11.909 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in y 11.909 * [taylor]: Taking taylor expansion of (/ y x) in y 11.909 * [taylor]: Taking taylor expansion of y in y 11.909 * [backup-simplify]: Simplify 0 into 0 11.909 * [backup-simplify]: Simplify 1 into 1 11.909 * [taylor]: Taking taylor expansion of x in y 11.909 * [backup-simplify]: Simplify x into x 11.909 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 11.909 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 11.909 * [taylor]: Taking taylor expansion of (/ 1 z) in y 11.909 * [taylor]: Taking taylor expansion of z in y 11.909 * [backup-simplify]: Simplify z into z 11.909 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 11.909 * [taylor]: Taking taylor expansion of (/ 1 t) in y 11.909 * [taylor]: Taking taylor expansion of t in y 11.909 * [backup-simplify]: Simplify t into t 11.909 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 11.909 * [taylor]: Taking taylor expansion of (/ 1 t) in y 11.909 * [taylor]: Taking taylor expansion of t in y 11.909 * [backup-simplify]: Simplify t into t 11.909 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 11.909 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in x 11.909 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 11.909 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in x 11.909 * [taylor]: Taking taylor expansion of (/ y x) in x 11.909 * [taylor]: Taking taylor expansion of y in x 11.909 * [backup-simplify]: Simplify y into y 11.909 * [taylor]: Taking taylor expansion of x in x 11.909 * [backup-simplify]: Simplify 0 into 0 11.909 * [backup-simplify]: Simplify 1 into 1 11.909 * [backup-simplify]: Simplify (/ y 1) into y 11.909 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 11.910 * [taylor]: Taking taylor expansion of (/ 1 z) in x 11.910 * [taylor]: Taking taylor expansion of z in x 11.910 * [backup-simplify]: Simplify z into z 11.910 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 11.910 * [taylor]: Taking taylor expansion of (/ 1 t) in x 11.910 * [taylor]: Taking taylor expansion of t in x 11.910 * [backup-simplify]: Simplify t into t 11.910 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 11.910 * [taylor]: Taking taylor expansion of (/ 1 t) in x 11.910 * [taylor]: Taking taylor expansion of t in x 11.910 * [backup-simplify]: Simplify t into t 11.910 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 11.910 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in x 11.910 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 11.910 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in x 11.910 * [taylor]: Taking taylor expansion of (/ y x) in x 11.910 * [taylor]: Taking taylor expansion of y in x 11.910 * [backup-simplify]: Simplify y into y 11.910 * [taylor]: Taking taylor expansion of x in x 11.910 * [backup-simplify]: Simplify 0 into 0 11.910 * [backup-simplify]: Simplify 1 into 1 11.910 * [backup-simplify]: Simplify (/ y 1) into y 11.910 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 11.910 * [taylor]: Taking taylor expansion of (/ 1 z) in x 11.910 * [taylor]: Taking taylor expansion of z in x 11.910 * [backup-simplify]: Simplify z into z 11.910 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 11.910 * [taylor]: Taking taylor expansion of (/ 1 t) in x 11.910 * [taylor]: Taking taylor expansion of t in x 11.910 * [backup-simplify]: Simplify t into t 11.910 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 11.910 * [taylor]: Taking taylor expansion of (/ 1 t) in x 11.910 * [taylor]: Taking taylor expansion of t in x 11.910 * [backup-simplify]: Simplify t into t 11.910 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 11.910 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t)) 11.910 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 t))) into (- (/ 1 z) (/ 1 t)) 11.911 * [backup-simplify]: Simplify (* y (- (/ 1 z) (/ 1 t))) into (* (- (/ 1 z) (/ 1 t)) y) 11.911 * [backup-simplify]: Simplify (+ (* (- (/ 1 z) (/ 1 t)) y) 0) into (- (/ y z) (/ y t)) 11.911 * [taylor]: Taking taylor expansion of (- (/ y z) (/ y t)) in y 11.911 * [taylor]: Taking taylor expansion of (/ y z) in y 11.911 * [taylor]: Taking taylor expansion of y in y 11.911 * [backup-simplify]: Simplify 0 into 0 11.911 * [backup-simplify]: Simplify 1 into 1 11.911 * [taylor]: Taking taylor expansion of z in y 11.911 * [backup-simplify]: Simplify z into z 11.911 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 11.911 * [taylor]: Taking taylor expansion of (/ y t) in y 11.911 * [taylor]: Taking taylor expansion of y in y 11.911 * [backup-simplify]: Simplify 0 into 0 11.911 * [backup-simplify]: Simplify 1 into 1 11.911 * [taylor]: Taking taylor expansion of t in y 11.911 * [backup-simplify]: Simplify t into t 11.911 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 11.911 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 11.911 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0 11.911 * [backup-simplify]: Simplify (- 0) into 0 11.912 * [backup-simplify]: Simplify (+ 0 0) into 0 11.912 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0 11.912 * [backup-simplify]: Simplify (+ (* y 0) (* 0 (- (/ 1 z) (/ 1 t)))) into 0 11.912 * [backup-simplify]: Simplify (+ 0 (/ 1 t)) into (/ 1 t) 11.912 * [taylor]: Taking taylor expansion of (/ 1 t) in y 11.912 * [taylor]: Taking taylor expansion of t in y 11.912 * [backup-simplify]: Simplify t into t 11.912 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 11.912 * [taylor]: Taking taylor expansion of (/ 1 t) in z 11.912 * [taylor]: Taking taylor expansion of t in z 11.912 * [backup-simplify]: Simplify t into t 11.913 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 11.913 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t)) 11.913 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 t))) into (- (/ 1 z) (/ 1 t)) 11.913 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 11.913 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.913 * [taylor]: Taking taylor expansion of z in z 11.913 * [backup-simplify]: Simplify 0 into 0 11.913 * [backup-simplify]: Simplify 1 into 1 11.913 * [backup-simplify]: Simplify (/ 1 1) into 1 11.913 * [taylor]: Taking taylor expansion of (/ 1 t) in z 11.913 * [taylor]: Taking taylor expansion of t in z 11.913 * [backup-simplify]: Simplify t into t 11.913 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 11.913 * [backup-simplify]: Simplify (+ 1 0) into 1 11.913 * [taylor]: Taking taylor expansion of 1 in t 11.913 * [backup-simplify]: Simplify 1 into 1 11.914 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 11.914 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0 11.914 * [backup-simplify]: Simplify (- 0) into 0 11.914 * [backup-simplify]: Simplify (+ 0 0) into 0 11.915 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.915 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 (- (/ 1 z) (/ 1 t))))) into 0 11.915 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0 11.916 * [backup-simplify]: Simplify (+ 0 0) into 0 11.916 * [taylor]: Taking taylor expansion of 0 in y 11.916 * [backup-simplify]: Simplify 0 into 0 11.916 * [taylor]: Taking taylor expansion of 0 in z 11.916 * [backup-simplify]: Simplify 0 into 0 11.916 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0 11.916 * [taylor]: Taking taylor expansion of 0 in z 11.916 * [backup-simplify]: Simplify 0 into 0 11.916 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0 11.916 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ 1 t) (/ 0 t)))) into 0 11.916 * [backup-simplify]: Simplify (- 0) into 0 11.916 * [backup-simplify]: Simplify (+ 0 0) into 0 11.916 * [taylor]: Taking taylor expansion of 0 in z 11.916 * [backup-simplify]: Simplify 0 into 0 11.917 * [taylor]: Taking taylor expansion of (/ 1 t) in t 11.917 * [taylor]: Taking taylor expansion of t in t 11.917 * [backup-simplify]: Simplify 0 into 0 11.917 * [backup-simplify]: Simplify 1 into 1 11.917 * [backup-simplify]: Simplify (/ 1 1) into 1 11.917 * [backup-simplify]: Simplify 1 into 1 11.917 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.917 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t)) 11.917 * [backup-simplify]: Simplify (+ 0 (- (/ 1 t))) into (- (/ 1 t)) 11.917 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 11.918 * [taylor]: Taking taylor expansion of (/ 1 t) in t 11.918 * [taylor]: Taking taylor expansion of t in t 11.918 * [backup-simplify]: Simplify 0 into 0 11.918 * [backup-simplify]: Simplify 1 into 1 11.918 * [backup-simplify]: Simplify (/ 1 1) into 1 11.918 * [backup-simplify]: Simplify (- 1) into -1 11.918 * [backup-simplify]: Simplify -1 into -1 11.918 * [backup-simplify]: Simplify 1 into 1 11.919 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 z)) (* (/ 1 y) (/ 1 (/ 1 x)))))) (+ (* -1 (* (/ 1 (/ 1 t)) (* 1 (* (/ 1 y) (/ 1 (/ 1 x)))))) (* 1 (* (/ 1 (/ 1 t)) (* 1 (* 1 1)))))) into (- (+ t (/ (* x z) y)) (/ (* t x) y)) 11.919 * [backup-simplify]: Simplify (fma (/ (/ 1 (- x)) (/ 1 (- y))) (- (/ 1 (- z)) (/ 1 (- t))) (/ 1 (- t))) into (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) 11.919 * [approximate]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in (x y z t) around 0 11.919 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in t 11.919 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 11.919 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in t 11.919 * [taylor]: Taking taylor expansion of (/ y x) in t 11.919 * [taylor]: Taking taylor expansion of y in t 11.919 * [backup-simplify]: Simplify y into y 11.919 * [taylor]: Taking taylor expansion of x in t 11.919 * [backup-simplify]: Simplify x into x 11.919 * [backup-simplify]: Simplify (/ y x) into (/ y x) 11.920 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 11.920 * [taylor]: Taking taylor expansion of (/ 1 t) in t 11.920 * [taylor]: Taking taylor expansion of t in t 11.920 * [backup-simplify]: Simplify 0 into 0 11.920 * [backup-simplify]: Simplify 1 into 1 11.920 * [backup-simplify]: Simplify (/ 1 1) into 1 11.920 * [taylor]: Taking taylor expansion of (/ 1 z) in t 11.920 * [taylor]: Taking taylor expansion of z in t 11.920 * [backup-simplify]: Simplify z into z 11.920 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 11.920 * [taylor]: Taking taylor expansion of (/ -1 t) in t 11.920 * [taylor]: Taking taylor expansion of -1 in t 11.920 * [backup-simplify]: Simplify -1 into -1 11.920 * [taylor]: Taking taylor expansion of t in t 11.920 * [backup-simplify]: Simplify 0 into 0 11.920 * [backup-simplify]: Simplify 1 into 1 11.920 * [backup-simplify]: Simplify (/ -1 1) into -1 11.920 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in z 11.920 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 11.920 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in z 11.920 * [taylor]: Taking taylor expansion of (/ y x) in z 11.920 * [taylor]: Taking taylor expansion of y in z 11.920 * [backup-simplify]: Simplify y into y 11.921 * [taylor]: Taking taylor expansion of x in z 11.921 * [backup-simplify]: Simplify x into x 11.921 * [backup-simplify]: Simplify (/ y x) into (/ y x) 11.921 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 11.921 * [taylor]: Taking taylor expansion of (/ 1 t) in z 11.921 * [taylor]: Taking taylor expansion of t in z 11.921 * [backup-simplify]: Simplify t into t 11.921 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 11.921 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.921 * [taylor]: Taking taylor expansion of z in z 11.921 * [backup-simplify]: Simplify 0 into 0 11.921 * [backup-simplify]: Simplify 1 into 1 11.921 * [backup-simplify]: Simplify (/ 1 1) into 1 11.921 * [taylor]: Taking taylor expansion of (/ -1 t) in z 11.921 * [taylor]: Taking taylor expansion of -1 in z 11.921 * [backup-simplify]: Simplify -1 into -1 11.921 * [taylor]: Taking taylor expansion of t in z 11.921 * [backup-simplify]: Simplify t into t 11.921 * [backup-simplify]: Simplify (/ -1 t) into (/ -1 t) 11.921 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in y 11.921 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 11.921 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in y 11.921 * [taylor]: Taking taylor expansion of (/ y x) in y 11.921 * [taylor]: Taking taylor expansion of y in y 11.921 * [backup-simplify]: Simplify 0 into 0 11.921 * [backup-simplify]: Simplify 1 into 1 11.921 * [taylor]: Taking taylor expansion of x in y 11.921 * [backup-simplify]: Simplify x into x 11.921 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 11.921 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 11.921 * [taylor]: Taking taylor expansion of (/ 1 t) in y 11.921 * [taylor]: Taking taylor expansion of t in y 11.921 * [backup-simplify]: Simplify t into t 11.922 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 11.922 * [taylor]: Taking taylor expansion of (/ 1 z) in y 11.922 * [taylor]: Taking taylor expansion of z in y 11.922 * [backup-simplify]: Simplify z into z 11.922 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 11.922 * [taylor]: Taking taylor expansion of (/ -1 t) in y 11.922 * [taylor]: Taking taylor expansion of -1 in y 11.922 * [backup-simplify]: Simplify -1 into -1 11.922 * [taylor]: Taking taylor expansion of t in y 11.922 * [backup-simplify]: Simplify t into t 11.922 * [backup-simplify]: Simplify (/ -1 t) into (/ -1 t) 11.922 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in x 11.922 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 11.922 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in x 11.922 * [taylor]: Taking taylor expansion of (/ y x) in x 11.922 * [taylor]: Taking taylor expansion of y in x 11.922 * [backup-simplify]: Simplify y into y 11.922 * [taylor]: Taking taylor expansion of x in x 11.922 * [backup-simplify]: Simplify 0 into 0 11.922 * [backup-simplify]: Simplify 1 into 1 11.922 * [backup-simplify]: Simplify (/ y 1) into y 11.922 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 11.922 * [taylor]: Taking taylor expansion of (/ 1 t) in x 11.922 * [taylor]: Taking taylor expansion of t in x 11.922 * [backup-simplify]: Simplify t into t 11.922 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 11.922 * [taylor]: Taking taylor expansion of (/ 1 z) in x 11.922 * [taylor]: Taking taylor expansion of z in x 11.922 * [backup-simplify]: Simplify z into z 11.922 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 11.922 * [taylor]: Taking taylor expansion of (/ -1 t) in x 11.922 * [taylor]: Taking taylor expansion of -1 in x 11.922 * [backup-simplify]: Simplify -1 into -1 11.922 * [taylor]: Taking taylor expansion of t in x 11.922 * [backup-simplify]: Simplify t into t 11.922 * [backup-simplify]: Simplify (/ -1 t) into (/ -1 t) 11.922 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in x 11.923 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 11.923 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in x 11.923 * [taylor]: Taking taylor expansion of (/ y x) in x 11.923 * [taylor]: Taking taylor expansion of y in x 11.923 * [backup-simplify]: Simplify y into y 11.923 * [taylor]: Taking taylor expansion of x in x 11.923 * [backup-simplify]: Simplify 0 into 0 11.923 * [backup-simplify]: Simplify 1 into 1 11.923 * [backup-simplify]: Simplify (/ y 1) into y 11.923 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 11.923 * [taylor]: Taking taylor expansion of (/ 1 t) in x 11.923 * [taylor]: Taking taylor expansion of t in x 11.923 * [backup-simplify]: Simplify t into t 11.923 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 11.923 * [taylor]: Taking taylor expansion of (/ 1 z) in x 11.923 * [taylor]: Taking taylor expansion of z in x 11.923 * [backup-simplify]: Simplify z into z 11.923 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 11.923 * [taylor]: Taking taylor expansion of (/ -1 t) in x 11.923 * [taylor]: Taking taylor expansion of -1 in x 11.923 * [backup-simplify]: Simplify -1 into -1 11.923 * [taylor]: Taking taylor expansion of t in x 11.923 * [backup-simplify]: Simplify t into t 11.923 * [backup-simplify]: Simplify (/ -1 t) into (/ -1 t) 11.923 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 11.923 * [backup-simplify]: Simplify (+ (/ 1 t) (- (/ 1 z))) into (- (/ 1 t) (/ 1 z)) 11.923 * [backup-simplify]: Simplify (* y (- (/ 1 t) (/ 1 z))) into (* (- (/ 1 t) (/ 1 z)) y) 11.923 * [backup-simplify]: Simplify (+ (* (- (/ 1 t) (/ 1 z)) y) 0) into (- (/ y t) (/ y z)) 11.923 * [taylor]: Taking taylor expansion of (- (/ y t) (/ y z)) in y 11.923 * [taylor]: Taking taylor expansion of (/ y t) in y 11.923 * [taylor]: Taking taylor expansion of y in y 11.923 * [backup-simplify]: Simplify 0 into 0 11.923 * [backup-simplify]: Simplify 1 into 1 11.923 * [taylor]: Taking taylor expansion of t in y 11.924 * [backup-simplify]: Simplify t into t 11.924 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 11.924 * [taylor]: Taking taylor expansion of (/ y z) in y 11.924 * [taylor]: Taking taylor expansion of y in y 11.924 * [backup-simplify]: Simplify 0 into 0 11.924 * [backup-simplify]: Simplify 1 into 1 11.924 * [taylor]: Taking taylor expansion of z in y 11.924 * [backup-simplify]: Simplify z into z 11.924 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 11.924 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0 11.924 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 11.924 * [backup-simplify]: Simplify (- 0) into 0 11.924 * [backup-simplify]: Simplify (+ 0 0) into 0 11.925 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0 11.925 * [backup-simplify]: Simplify (+ (* y 0) (* 0 (- (/ 1 t) (/ 1 z)))) into 0 11.925 * [backup-simplify]: Simplify (+ 0 (/ -1 t)) into (- (/ 1 t)) 11.925 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in y 11.925 * [taylor]: Taking taylor expansion of (/ 1 t) in y 11.925 * [taylor]: Taking taylor expansion of t in y 11.925 * [backup-simplify]: Simplify t into t 11.925 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 11.925 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t)) 11.925 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in z 11.925 * [taylor]: Taking taylor expansion of (/ 1 t) in z 11.925 * [taylor]: Taking taylor expansion of t in z 11.925 * [backup-simplify]: Simplify t into t 11.925 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 11.926 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 11.926 * [backup-simplify]: Simplify (+ (/ 1 t) (- (/ 1 z))) into (- (/ 1 t) (/ 1 z)) 11.926 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 11.926 * [taylor]: Taking taylor expansion of (/ 1 t) in z 11.926 * [taylor]: Taking taylor expansion of t in z 11.926 * [backup-simplify]: Simplify t into t 11.926 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 11.926 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.926 * [taylor]: Taking taylor expansion of z in z 11.926 * [backup-simplify]: Simplify 0 into 0 11.926 * [backup-simplify]: Simplify 1 into 1 11.926 * [backup-simplify]: Simplify (/ 1 1) into 1 11.926 * [backup-simplify]: Simplify (- 1) into -1 11.927 * [backup-simplify]: Simplify (+ 0 -1) into -1 11.927 * [taylor]: Taking taylor expansion of -1 in t 11.927 * [backup-simplify]: Simplify -1 into -1 11.927 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0 11.927 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 11.927 * [backup-simplify]: Simplify (- 0) into 0 11.927 * [backup-simplify]: Simplify (+ 0 0) into 0 11.928 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0 11.929 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 (- (/ 1 t) (/ 1 z))))) into 0 11.929 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ -1 t) (/ 0 t)))) into 0 11.929 * [backup-simplify]: Simplify (+ 0 0) into 0 11.929 * [taylor]: Taking taylor expansion of 0 in y 11.929 * [backup-simplify]: Simplify 0 into 0 11.929 * [taylor]: Taking taylor expansion of 0 in z 11.929 * [backup-simplify]: Simplify 0 into 0 11.929 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0 11.929 * [backup-simplify]: Simplify (- 0) into 0 11.929 * [taylor]: Taking taylor expansion of 0 in z 11.929 * [backup-simplify]: Simplify 0 into 0 11.929 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ 1 t) (/ 0 t)))) into 0 11.930 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0 11.930 * [backup-simplify]: Simplify (- 0) into 0 11.930 * [backup-simplify]: Simplify (+ 0 0) into 0 11.930 * [taylor]: Taking taylor expansion of 0 in z 11.930 * [backup-simplify]: Simplify 0 into 0 11.930 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t)) 11.930 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 11.930 * [taylor]: Taking taylor expansion of (/ 1 t) in t 11.930 * [taylor]: Taking taylor expansion of t in t 11.930 * [backup-simplify]: Simplify 0 into 0 11.930 * [backup-simplify]: Simplify 1 into 1 11.930 * [backup-simplify]: Simplify (/ 1 1) into 1 11.931 * [backup-simplify]: Simplify (- 1) into -1 11.931 * [backup-simplify]: Simplify -1 into -1 11.931 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 11.931 * [backup-simplify]: Simplify (- 0) into 0 11.932 * [backup-simplify]: Simplify (+ (/ 1 t) 0) into (/ 1 t) 11.932 * [taylor]: Taking taylor expansion of (/ 1 t) in t 11.932 * [taylor]: Taking taylor expansion of t in t 11.932 * [backup-simplify]: Simplify 0 into 0 11.932 * [backup-simplify]: Simplify 1 into 1 11.932 * [backup-simplify]: Simplify (/ 1 1) into 1 11.932 * [backup-simplify]: Simplify 1 into 1 11.932 * [backup-simplify]: Simplify -1 into -1 11.933 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* (/ 1 (/ 1 (- z))) (* (/ 1 (- y)) (/ 1 (/ 1 (- x))))))) (+ (* 1 (* (/ 1 (/ 1 (- t))) (* 1 (* (/ 1 (- y)) (/ 1 (/ 1 (- x))))))) (* -1 (* (/ 1 (/ 1 (- t))) (* 1 (* 1 1)))))) into (- (+ t (/ (* x z) y)) (/ (* t x) y)) 11.933 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 11.933 * [backup-simplify]: Simplify (cbrt (fma (/ x y) (- z t) t)) into (pow (fma (/ x y) (- z t) t) 1/3) 11.933 * [approximate]: Taking taylor expansion of (pow (fma (/ x y) (- z t) t) 1/3) in (x y z t) around 0 11.933 * [taylor]: Taking taylor expansion of (pow (fma (/ x y) (- z t) t) 1/3) in t 11.933 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ x y) (- z t) t)))) in t 11.933 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ x y) (- z t) t))) in t 11.933 * [taylor]: Taking taylor expansion of 1/3 in t 11.933 * [backup-simplify]: Simplify 1/3 into 1/3 11.933 * [taylor]: Taking taylor expansion of (log (fma (/ x y) (- z t) t)) in t 11.933 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in t 11.933 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 11.933 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in t 11.933 * [taylor]: Taking taylor expansion of (/ x y) in t 11.933 * [taylor]: Taking taylor expansion of x in t 11.933 * [backup-simplify]: Simplify x into x 11.933 * [taylor]: Taking taylor expansion of y in t 11.933 * [backup-simplify]: Simplify y into y 11.933 * [backup-simplify]: Simplify (/ x y) into (/ x y) 11.933 * [taylor]: Taking taylor expansion of (- z t) in t 11.933 * [taylor]: Taking taylor expansion of z in t 11.933 * [backup-simplify]: Simplify z into z 11.933 * [taylor]: Taking taylor expansion of t in t 11.933 * [backup-simplify]: Simplify 0 into 0 11.933 * [backup-simplify]: Simplify 1 into 1 11.933 * [taylor]: Taking taylor expansion of t in t 11.934 * [backup-simplify]: Simplify 0 into 0 11.934 * [backup-simplify]: Simplify 1 into 1 11.934 * [backup-simplify]: Simplify (- 0) into 0 11.934 * [backup-simplify]: Simplify (+ z 0) into z 11.934 * [backup-simplify]: Simplify (* (/ x y) z) into (/ (* x z) y) 11.934 * [backup-simplify]: Simplify (+ (/ (* x z) y) 0) into (/ (* x z) y) 11.934 * [backup-simplify]: Simplify (log (/ (* x z) y)) into (log (/ (* x z) y)) 11.934 * [backup-simplify]: Simplify (* 1/3 (log (/ (* x z) y))) into (* 1/3 (log (/ (* x z) y))) 11.934 * [backup-simplify]: Simplify (exp (* 1/3 (log (/ (* x z) y)))) into (pow (/ (* x z) y) 1/3) 11.934 * [taylor]: Taking taylor expansion of (pow (fma (/ x y) (- z t) t) 1/3) in z 11.934 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ x y) (- z t) t)))) in z 11.934 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ x y) (- z t) t))) in z 11.934 * [taylor]: Taking taylor expansion of 1/3 in z 11.934 * [backup-simplify]: Simplify 1/3 into 1/3 11.934 * [taylor]: Taking taylor expansion of (log (fma (/ x y) (- z t) t)) in z 11.934 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in z 11.934 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 11.934 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in z 11.934 * [taylor]: Taking taylor expansion of (/ x y) in z 11.935 * [taylor]: Taking taylor expansion of x in z 11.935 * [backup-simplify]: Simplify x into x 11.935 * [taylor]: Taking taylor expansion of y in z 11.935 * [backup-simplify]: Simplify y into y 11.935 * [backup-simplify]: Simplify (/ x y) into (/ x y) 11.935 * [taylor]: Taking taylor expansion of (- z t) in z 11.935 * [taylor]: Taking taylor expansion of z in z 11.935 * [backup-simplify]: Simplify 0 into 0 11.935 * [backup-simplify]: Simplify 1 into 1 11.935 * [taylor]: Taking taylor expansion of t in z 11.935 * [backup-simplify]: Simplify t into t 11.935 * [taylor]: Taking taylor expansion of t in z 11.935 * [backup-simplify]: Simplify t into t 11.935 * [backup-simplify]: Simplify (- t) into (- t) 11.935 * [backup-simplify]: Simplify (+ 0 (- t)) into (- t) 11.935 * [backup-simplify]: Simplify (* (/ x y) (- t)) into (* -1 (/ (* t x) y)) 11.935 * [backup-simplify]: Simplify (+ (* -1 (/ (* t x) y)) t) into (- t (/ (* t x) y)) 11.935 * [backup-simplify]: Simplify (log (- t (/ (* t x) y))) into (log (- t (/ (* t x) y))) 11.935 * [backup-simplify]: Simplify (* 1/3 (log (- t (/ (* t x) y)))) into (* 1/3 (log (- t (/ (* t x) y)))) 11.935 * [backup-simplify]: Simplify (exp (* 1/3 (log (- t (/ (* t x) y))))) into (pow (- t (/ (* t x) y)) 1/3) 11.935 * [taylor]: Taking taylor expansion of (pow (fma (/ x y) (- z t) t) 1/3) in y 11.935 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ x y) (- z t) t)))) in y 11.935 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ x y) (- z t) t))) in y 11.935 * [taylor]: Taking taylor expansion of 1/3 in y 11.935 * [backup-simplify]: Simplify 1/3 into 1/3 11.935 * [taylor]: Taking taylor expansion of (log (fma (/ x y) (- z t) t)) in y 11.935 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in y 11.936 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 11.936 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in y 11.936 * [taylor]: Taking taylor expansion of (/ x y) in y 11.936 * [taylor]: Taking taylor expansion of x in y 11.936 * [backup-simplify]: Simplify x into x 11.936 * [taylor]: Taking taylor expansion of y in y 11.936 * [backup-simplify]: Simplify 0 into 0 11.936 * [backup-simplify]: Simplify 1 into 1 11.936 * [backup-simplify]: Simplify (/ x 1) into x 11.936 * [taylor]: Taking taylor expansion of (- z t) in y 11.936 * [taylor]: Taking taylor expansion of z in y 11.936 * [backup-simplify]: Simplify z into z 11.936 * [taylor]: Taking taylor expansion of t in y 11.936 * [backup-simplify]: Simplify t into t 11.936 * [taylor]: Taking taylor expansion of t in y 11.936 * [backup-simplify]: Simplify t into t 11.936 * [backup-simplify]: Simplify (- t) into (- t) 11.936 * [backup-simplify]: Simplify (+ z (- t)) into (- z t) 11.936 * [backup-simplify]: Simplify (* x (- z t)) into (* x (- z t)) 11.936 * [backup-simplify]: Simplify (+ (* x (- z t)) 0) into (- (* x z) (* t x)) 11.936 * [backup-simplify]: Simplify (log (- (* x z) (* t x))) into (log (- (* x z) (* t x))) 11.936 * [backup-simplify]: Simplify (+ (* (- 1) (log y)) (log (- (* x z) (* t x)))) into (- (log (- (* x z) (* t x))) (log y)) 11.937 * [backup-simplify]: Simplify (* 1/3 (- (log (- (* x z) (* t x))) (log y))) into (* 1/3 (- (log (- (* x z) (* t x))) (log y))) 11.937 * [backup-simplify]: Simplify (exp (* 1/3 (- (log (- (* x z) (* t x))) (log y)))) into (exp (* 1/3 (- (log (- (* x z) (* t x))) (log y)))) 11.937 * [taylor]: Taking taylor expansion of (pow (fma (/ x y) (- z t) t) 1/3) in x 11.937 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ x y) (- z t) t)))) in x 11.937 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ x y) (- z t) t))) in x 11.937 * [taylor]: Taking taylor expansion of 1/3 in x 11.937 * [backup-simplify]: Simplify 1/3 into 1/3 11.937 * [taylor]: Taking taylor expansion of (log (fma (/ x y) (- z t) t)) in x 11.937 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in x 11.937 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 11.937 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in x 11.937 * [taylor]: Taking taylor expansion of (/ x y) in x 11.937 * [taylor]: Taking taylor expansion of x in x 11.937 * [backup-simplify]: Simplify 0 into 0 11.937 * [backup-simplify]: Simplify 1 into 1 11.937 * [taylor]: Taking taylor expansion of y in x 11.937 * [backup-simplify]: Simplify y into y 11.937 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 11.937 * [taylor]: Taking taylor expansion of (- z t) in x 11.937 * [taylor]: Taking taylor expansion of z in x 11.937 * [backup-simplify]: Simplify z into z 11.937 * [taylor]: Taking taylor expansion of t in x 11.937 * [backup-simplify]: Simplify t into t 11.937 * [taylor]: Taking taylor expansion of t in x 11.937 * [backup-simplify]: Simplify t into t 11.937 * [backup-simplify]: Simplify (+ 0 t) into t 11.937 * [backup-simplify]: Simplify (log t) into (log t) 11.937 * [backup-simplify]: Simplify (* 1/3 (log t)) into (* 1/3 (log t)) 11.937 * [backup-simplify]: Simplify (exp (* 1/3 (log t))) into (pow t 1/3) 11.937 * [taylor]: Taking taylor expansion of (pow (fma (/ x y) (- z t) t) 1/3) in x 11.937 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ x y) (- z t) t)))) in x 11.937 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ x y) (- z t) t))) in x 11.937 * [taylor]: Taking taylor expansion of 1/3 in x 11.937 * [backup-simplify]: Simplify 1/3 into 1/3 11.937 * [taylor]: Taking taylor expansion of (log (fma (/ x y) (- z t) t)) in x 11.938 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in x 11.938 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 11.938 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in x 11.938 * [taylor]: Taking taylor expansion of (/ x y) in x 11.938 * [taylor]: Taking taylor expansion of x in x 11.938 * [backup-simplify]: Simplify 0 into 0 11.938 * [backup-simplify]: Simplify 1 into 1 11.938 * [taylor]: Taking taylor expansion of y in x 11.938 * [backup-simplify]: Simplify y into y 11.938 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 11.938 * [taylor]: Taking taylor expansion of (- z t) in x 11.938 * [taylor]: Taking taylor expansion of z in x 11.938 * [backup-simplify]: Simplify z into z 11.938 * [taylor]: Taking taylor expansion of t in x 11.938 * [backup-simplify]: Simplify t into t 11.938 * [taylor]: Taking taylor expansion of t in x 11.938 * [backup-simplify]: Simplify t into t 11.938 * [backup-simplify]: Simplify (+ 0 t) into t 11.938 * [backup-simplify]: Simplify (log t) into (log t) 11.938 * [backup-simplify]: Simplify (* 1/3 (log t)) into (* 1/3 (log t)) 11.938 * [backup-simplify]: Simplify (exp (* 1/3 (log t))) into (pow t 1/3) 11.938 * [taylor]: Taking taylor expansion of (pow t 1/3) in y 11.939 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in y 11.939 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in y 11.939 * [taylor]: Taking taylor expansion of 1/3 in y 11.939 * [backup-simplify]: Simplify 1/3 into 1/3 11.939 * [taylor]: Taking taylor expansion of (log t) in y 11.939 * [taylor]: Taking taylor expansion of t in y 11.939 * [backup-simplify]: Simplify t into t 11.939 * [backup-simplify]: Simplify (log t) into (log t) 11.939 * [backup-simplify]: Simplify (* 1/3 (log t)) into (* 1/3 (log t)) 11.939 * [backup-simplify]: Simplify (exp (* 1/3 (log t))) into (pow t 1/3) 11.939 * [taylor]: Taking taylor expansion of (pow t 1/3) in z 11.939 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in z 11.939 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in z 11.939 * [taylor]: Taking taylor expansion of 1/3 in z 11.939 * [backup-simplify]: Simplify 1/3 into 1/3 11.939 * [taylor]: Taking taylor expansion of (log t) in z 11.939 * [taylor]: Taking taylor expansion of t in z 11.939 * [backup-simplify]: Simplify t into t 11.939 * [backup-simplify]: Simplify (log t) into (log t) 11.939 * [backup-simplify]: Simplify (* 1/3 (log t)) into (* 1/3 (log t)) 11.939 * [backup-simplify]: Simplify (exp (* 1/3 (log t))) into (pow t 1/3) 11.939 * [taylor]: Taking taylor expansion of (pow t 1/3) in t 11.939 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t 11.939 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t 11.939 * [taylor]: Taking taylor expansion of 1/3 in t 11.940 * [backup-simplify]: Simplify 1/3 into 1/3 11.940 * [taylor]: Taking taylor expansion of (log t) in t 11.940 * [taylor]: Taking taylor expansion of t in t 11.940 * [backup-simplify]: Simplify 0 into 0 11.940 * [backup-simplify]: Simplify 1 into 1 11.940 * [backup-simplify]: Simplify (log 1) into 0 11.941 * [backup-simplify]: Simplify (+ (* (- -1) (log t)) 0) into (log t) 11.941 * [backup-simplify]: Simplify (* 1/3 (log t)) into (* 1/3 (log t)) 11.941 * [backup-simplify]: Simplify (exp (* 1/3 (log t))) into (pow t 1/3) 11.941 * [backup-simplify]: Simplify (pow t 1/3) into (pow t 1/3) 11.941 * [backup-simplify]: Simplify (- t) into (- t) 11.941 * [backup-simplify]: Simplify (+ z (- t)) into (- z t) 11.941 * [backup-simplify]: Simplify (* (/ 1 y) (- z t)) into (/ (- z t) y) 11.942 * [backup-simplify]: Simplify (+ (/ (- z t) y) 0) into (- (/ z y) (/ t y)) 11.942 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- (/ z y) (/ t y))) 1)) (pow t 1)))) 1) into (- (/ z (* t y)) (/ 1 y)) 11.942 * [backup-simplify]: Simplify (+ (* 1/3 (- (/ z (* t y)) (/ 1 y))) (* 0 (log t))) into (- (* 1/3 (/ z (* t y))) (* 1/3 (/ 1 y)))