2.799 * [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 x)) 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]: Extracting # 6 : 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 : 14 enodes (cost 9 ) 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 : 25 enodes (cost 9 ) 0.034 * * [simplify]: Extracting # 0 : cost 0 0.035 * * [simplify]: Extracting # 1 : cost 0 0.035 * * [simplify]: Extracting # 2 : cost 0 0.035 * * [simplify]: iteration 3 : 48 enodes (cost 8 ) 0.044 * * [simplify]: Extracting # 0 : cost 0 0.044 * * [simplify]: Extracting # 1 : cost 0 0.044 * * [simplify]: Extracting # 2 : cost 0 0.044 * * [simplify]: iteration 4 : 95 enodes (cost 8 ) 0.072 * * [simplify]: Extracting # 0 : cost 0 0.072 * * [simplify]: Extracting # 1 : cost 0 0.072 * * [simplify]: Extracting # 2 : cost 0 0.073 * * [simplify]: iteration 5 : 137 enodes (cost 8 ) 0.099 * * [simplify]: Extracting # 0 : cost 0 0.099 * * [simplify]: Extracting # 1 : cost 0 0.099 * * [simplify]: Extracting # 2 : cost 0 0.099 * * [simplify]: Extracting # 3 : cost 0 0.100 * * [simplify]: Extracting # 4 : cost 0 0.100 * * [simplify]: iteration 6 : 178 enodes (cost 8 ) 0.167 * * [simplify]: Extracting # 0 : cost 0 0.167 * * [simplify]: Extracting # 1 : cost 0 0.168 * * [simplify]: Extracting # 2 : cost 0 0.168 * * [simplify]: Extracting # 3 : cost 0 0.168 * * [simplify]: iteration 7 : 218 enodes (cost 8 ) 0.256 * * [simplify]: Extracting # 0 : cost 0 0.257 * * [simplify]: Extracting # 1 : cost 0 0.257 * * [simplify]: Extracting # 2 : cost 0 0.258 * * [simplify]: iteration 8 : 267 enodes (cost 8 ) 0.371 * * [simplify]: Extracting # 0 : cost 0 0.372 * * [simplify]: Extracting # 1 : cost 0 0.372 * * [simplify]: Extracting # 2 : cost 0 0.373 * * [simplify]: iteration 9 : 372 enodes (cost 8 ) 0.542 * * [simplify]: Extracting # 0 : cost 0 0.542 * * [simplify]: Extracting # 1 : cost 0 0.543 * * [simplify]: Extracting # 2 : cost 0 0.543 * * [simplify]: iteration 10 : 467 enodes (cost 8 ) 0.697 * * [simplify]: Extracting # 0 : cost 0 0.698 * * [simplify]: Extracting # 1 : cost 0 0.698 * * [simplify]: Extracting # 2 : cost 0 0.699 * * [simplify]: iteration 11 : 526 enodes (cost 8 ) 0.927 * * [simplify]: Extracting # 0 : cost 0 0.928 * * [simplify]: Extracting # 1 : cost 0 0.928 * * [simplify]: Extracting # 2 : cost 0 0.929 * * [simplify]: iteration 12 : 585 enodes (cost 8 ) 1.202 * * [simplify]: Extracting # 0 : cost 0 1.203 * * [simplify]: Extracting # 1 : cost 0 1.203 * * [simplify]: Extracting # 2 : cost 0 1.203 * * [simplify]: Extracting # 3 : cost 0 1.204 * * [simplify]: Extracting # 4 : cost 0 1.204 * * [simplify]: iteration 13 : 630 enodes (cost 8 ) 1.503 * * [simplify]: Extracting # 0 : cost 0 1.504 * * [simplify]: Extracting # 1 : cost 0 1.504 * * [simplify]: Extracting # 2 : cost 0 1.505 * * [simplify]: iteration 14 : 668 enodes (cost 8 ) 1.872 * * [simplify]: Extracting # 0 : cost 0 1.873 * * [simplify]: Extracting # 1 : cost 0 1.873 * * [simplify]: Extracting # 2 : cost 0 1.874 * * [simplify]: iteration 15 : 797 enodes (cost 8 ) 2.353 * * [simplify]: Extracting # 0 : cost 0 2.354 * * [simplify]: Extracting # 1 : cost 0 2.355 * * [simplify]: Extracting # 2 : cost 0 2.356 * * [simplify]: iteration 16 : 935 enodes (cost 8 ) 3.036 * * [simplify]: Extracting # 0 : cost 0 3.037 * * [simplify]: Extracting # 1 : cost 0 3.044 * * [simplify]: Extracting # 2 : cost 0 3.046 * * [simplify]: iteration 17 : 1249 enodes (cost 8 ) 4.292 * * [simplify]: Extracting # 0 : cost 0 4.293 * * [simplify]: Extracting # 1 : cost 0 4.294 * * [simplify]: Extracting # 2 : cost 0 4.295 * * [simplify]: iteration 18 : 1736 enodes (cost 8 ) 6.322 * * [simplify]: Extracting # 0 : cost 0 6.324 * * [simplify]: Extracting # 1 : cost 0 6.326 * * [simplify]: Extracting # 2 : cost 0 6.327 * * [simplify]: iteration 19 : 2348 enodes (cost 8 ) 7.963 * * [simplify]: Extracting # 0 : cost 0 7.965 * * [simplify]: Extracting # 1 : cost 0 7.966 * * [simplify]: Extracting # 2 : cost 0 7.967 * * [simplify]: iteration 20 : 2517 enodes (cost 8 ) 9.412 * * [simplify]: Extracting # 0 : cost 0 9.414 * * [simplify]: Extracting # 1 : cost 0 9.415 * * [simplify]: iteration 21 : 2524 enodes (cost 8 ) 10.819 * * [simplify]: Extracting # 0 : cost 0 10.821 * * [simplify]: iteration done: 2524 enodes (cost 8 ) 10.821 * [simplify]: Simplified to: (fma (/ y t) (- z x) x) 10.827 * * [progress]: iteration 1 / 4 10.827 * * * [progress]: picking best candidate 10.833 * * * * [pick]: Picked # 10.833 * * * [progress]: localizing error 10.848 * * * [progress]: generating rewritten candidates 10.848 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 10.849 * * * [progress]: generating series expansions 10.849 * * * * [progress]: [ 1 / 1 ] generating series at (2) 10.849 * [backup-simplify]: Simplify (fma (/ y t) (- z x) x) into (fma (/ y t) (- z x) x) 10.849 * [approximate]: Taking taylor expansion of (fma (/ y t) (- z x) x) in (y t z x) around 0 10.849 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in x 10.850 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 10.850 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in x 10.850 * [taylor]: Taking taylor expansion of (/ y t) in x 10.850 * [taylor]: Taking taylor expansion of y in x 10.850 * [backup-simplify]: Simplify y into y 10.850 * [taylor]: Taking taylor expansion of t in x 10.850 * [backup-simplify]: Simplify t into t 10.850 * [backup-simplify]: Simplify (/ y t) into (/ y t) 10.850 * [taylor]: Taking taylor expansion of (- z x) in x 10.850 * [taylor]: Taking taylor expansion of z in x 10.850 * [backup-simplify]: Simplify z into z 10.850 * [taylor]: Taking taylor expansion of x in x 10.850 * [backup-simplify]: Simplify 0 into 0 10.850 * [backup-simplify]: Simplify 1 into 1 10.850 * [taylor]: Taking taylor expansion of x in x 10.850 * [backup-simplify]: Simplify 0 into 0 10.850 * [backup-simplify]: Simplify 1 into 1 10.850 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in z 10.850 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 10.850 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in z 10.850 * [taylor]: Taking taylor expansion of (/ y t) in z 10.850 * [taylor]: Taking taylor expansion of y in z 10.850 * [backup-simplify]: Simplify y into y 10.850 * [taylor]: Taking taylor expansion of t in z 10.850 * [backup-simplify]: Simplify t into t 10.850 * [backup-simplify]: Simplify (/ y t) into (/ y t) 10.851 * [taylor]: Taking taylor expansion of (- z x) in z 10.851 * [taylor]: Taking taylor expansion of z in z 10.851 * [backup-simplify]: Simplify 0 into 0 10.851 * [backup-simplify]: Simplify 1 into 1 10.851 * [taylor]: Taking taylor expansion of x in z 10.851 * [backup-simplify]: Simplify x into x 10.851 * [taylor]: Taking taylor expansion of x in z 10.851 * [backup-simplify]: Simplify x into x 10.851 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in t 10.851 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 10.851 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in t 10.851 * [taylor]: Taking taylor expansion of (/ y t) in t 10.851 * [taylor]: Taking taylor expansion of y in t 10.851 * [backup-simplify]: Simplify y into y 10.851 * [taylor]: Taking taylor expansion of t in t 10.851 * [backup-simplify]: Simplify 0 into 0 10.851 * [backup-simplify]: Simplify 1 into 1 10.851 * [backup-simplify]: Simplify (/ y 1) into y 10.851 * [taylor]: Taking taylor expansion of (- z x) in t 10.851 * [taylor]: Taking taylor expansion of z in t 10.851 * [backup-simplify]: Simplify z into z 10.851 * [taylor]: Taking taylor expansion of x in t 10.851 * [backup-simplify]: Simplify x into x 10.851 * [taylor]: Taking taylor expansion of x in t 10.851 * [backup-simplify]: Simplify x into x 10.851 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in y 10.851 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 10.851 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in y 10.852 * [taylor]: Taking taylor expansion of (/ y t) in y 10.852 * [taylor]: Taking taylor expansion of y in y 10.852 * [backup-simplify]: Simplify 0 into 0 10.852 * [backup-simplify]: Simplify 1 into 1 10.852 * [taylor]: Taking taylor expansion of t in y 10.852 * [backup-simplify]: Simplify t into t 10.852 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 10.852 * [taylor]: Taking taylor expansion of (- z x) in y 10.852 * [taylor]: Taking taylor expansion of z in y 10.852 * [backup-simplify]: Simplify z into z 10.852 * [taylor]: Taking taylor expansion of x in y 10.852 * [backup-simplify]: Simplify x into x 10.852 * [taylor]: Taking taylor expansion of x in y 10.852 * [backup-simplify]: Simplify x into x 10.852 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in y 10.852 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 10.852 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in y 10.852 * [taylor]: Taking taylor expansion of (/ y t) in y 10.852 * [taylor]: Taking taylor expansion of y in y 10.852 * [backup-simplify]: Simplify 0 into 0 10.852 * [backup-simplify]: Simplify 1 into 1 10.852 * [taylor]: Taking taylor expansion of t in y 10.852 * [backup-simplify]: Simplify t into t 10.852 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 10.852 * [taylor]: Taking taylor expansion of (- z x) in y 10.852 * [taylor]: Taking taylor expansion of z in y 10.852 * [backup-simplify]: Simplify z into z 10.852 * [taylor]: Taking taylor expansion of x in y 10.852 * [backup-simplify]: Simplify x into x 10.852 * [taylor]: Taking taylor expansion of x in y 10.852 * [backup-simplify]: Simplify x into x 10.853 * [backup-simplify]: Simplify (+ 0 x) into x 10.853 * [taylor]: Taking taylor expansion of x in t 10.853 * [backup-simplify]: Simplify x into x 10.853 * [backup-simplify]: Simplify (- x) into (- x) 10.853 * [backup-simplify]: Simplify (+ z (- x)) into (- z x) 10.853 * [backup-simplify]: Simplify (* (/ 1 t) (- z x)) into (/ (- z x) t) 10.853 * [backup-simplify]: Simplify (+ (/ (- z x) t) 0) into (- (/ z t) (/ x t)) 10.853 * [taylor]: Taking taylor expansion of (- (/ z t) (/ x t)) in t 10.853 * [taylor]: Taking taylor expansion of (/ z t) in t 10.853 * [taylor]: Taking taylor expansion of z in t 10.853 * [backup-simplify]: Simplify z into z 10.853 * [taylor]: Taking taylor expansion of t in t 10.853 * [backup-simplify]: Simplify 0 into 0 10.853 * [backup-simplify]: Simplify 1 into 1 10.853 * [backup-simplify]: Simplify (/ z 1) into z 10.853 * [taylor]: Taking taylor expansion of (/ x t) in t 10.853 * [taylor]: Taking taylor expansion of x in t 10.853 * [backup-simplify]: Simplify x into x 10.853 * [taylor]: Taking taylor expansion of t in t 10.853 * [backup-simplify]: Simplify 0 into 0 10.853 * [backup-simplify]: Simplify 1 into 1 10.853 * [backup-simplify]: Simplify (/ x 1) into x 10.854 * [backup-simplify]: Simplify (- x) into (- x) 10.854 * [backup-simplify]: Simplify (+ z (- x)) into (- z x) 10.854 * [taylor]: Taking taylor expansion of (- z x) in z 10.854 * [taylor]: Taking taylor expansion of z in z 10.854 * [backup-simplify]: Simplify 0 into 0 10.854 * [backup-simplify]: Simplify 1 into 1 10.854 * [taylor]: Taking taylor expansion of x in z 10.854 * [backup-simplify]: Simplify x into x 10.854 * [backup-simplify]: Simplify (- x) into (- x) 10.854 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x) 10.854 * [taylor]: Taking taylor expansion of (- x) in x 10.854 * [taylor]: Taking taylor expansion of x in x 10.854 * [backup-simplify]: Simplify 0 into 0 10.854 * [backup-simplify]: Simplify 1 into 1 10.855 * [backup-simplify]: Simplify (- 0) into 0 10.855 * [backup-simplify]: Simplify 0 into 0 10.855 * [taylor]: Taking taylor expansion of x in z 10.855 * [backup-simplify]: Simplify x into x 10.855 * [taylor]: Taking taylor expansion of x in x 10.855 * [backup-simplify]: Simplify 0 into 0 10.855 * [backup-simplify]: Simplify 1 into 1 10.855 * [backup-simplify]: Simplify 0 into 0 10.855 * [backup-simplify]: Simplify (- 0) into 0 10.856 * [backup-simplify]: Simplify (+ 0 0) into 0 10.856 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ 1 t) (/ 0 t)))) into 0 10.856 * [backup-simplify]: Simplify (+ (* (/ 1 t) 0) (* 0 (- z x))) into 0 10.857 * [backup-simplify]: Simplify (+ 0 0) into 0 10.857 * [taylor]: Taking taylor expansion of 0 in t 10.857 * [backup-simplify]: Simplify 0 into 0 10.858 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 10.859 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* x (/ 0 1)))) into 0 10.860 * [backup-simplify]: Simplify (- 0) into 0 10.860 * [backup-simplify]: Simplify (+ 0 0) into 0 10.861 * [taylor]: Taking taylor expansion of 0 in z 10.861 * [backup-simplify]: Simplify 0 into 0 10.861 * [taylor]: Taking taylor expansion of 0 in x 10.861 * [backup-simplify]: Simplify 0 into 0 10.861 * [backup-simplify]: Simplify 0 into 0 10.861 * [taylor]: Taking taylor expansion of 0 in z 10.861 * [backup-simplify]: Simplify 0 into 0 10.861 * [taylor]: Taking taylor expansion of 0 in x 10.861 * [backup-simplify]: Simplify 0 into 0 10.861 * [backup-simplify]: Simplify 0 into 0 10.861 * [backup-simplify]: Simplify (- 0) into 0 10.862 * [backup-simplify]: Simplify (+ 1 0) into 1 10.862 * [taylor]: Taking taylor expansion of 1 in x 10.862 * [backup-simplify]: Simplify 1 into 1 10.862 * [backup-simplify]: Simplify 1 into 1 10.862 * [taylor]: Taking taylor expansion of 0 in x 10.862 * [backup-simplify]: Simplify 0 into 0 10.862 * [backup-simplify]: Simplify 0 into 0 10.862 * [backup-simplify]: Simplify (- 1) into -1 10.862 * [backup-simplify]: Simplify -1 into -1 10.862 * [backup-simplify]: Simplify 1 into 1 10.863 * [backup-simplify]: Simplify (+ (* 1 (* x (* 1 (* 1 1)))) (+ (* -1 (* x (* 1 (* (/ 1 t) y)))) (* 1 (* 1 (* z (* (/ 1 t) y)))))) into (- (+ (/ (* z y) t) x) (/ (* x y) t)) 10.864 * [backup-simplify]: Simplify (fma (/ (/ 1 y) (/ 1 t)) (- (/ 1 z) (/ 1 x)) (/ 1 x)) into (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) 10.864 * [approximate]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in (y t z x) around 0 10.864 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in x 10.864 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 10.864 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in x 10.864 * [taylor]: Taking taylor expansion of (/ t y) in x 10.864 * [taylor]: Taking taylor expansion of t in x 10.864 * [backup-simplify]: Simplify t into t 10.864 * [taylor]: Taking taylor expansion of y in x 10.864 * [backup-simplify]: Simplify y into y 10.864 * [backup-simplify]: Simplify (/ t y) into (/ t y) 10.864 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 10.864 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.864 * [taylor]: Taking taylor expansion of z in x 10.864 * [backup-simplify]: Simplify z into z 10.864 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.864 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.864 * [taylor]: Taking taylor expansion of x in x 10.865 * [backup-simplify]: Simplify 0 into 0 10.865 * [backup-simplify]: Simplify 1 into 1 10.865 * [backup-simplify]: Simplify (/ 1 1) into 1 10.865 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.865 * [taylor]: Taking taylor expansion of x in x 10.865 * [backup-simplify]: Simplify 0 into 0 10.865 * [backup-simplify]: Simplify 1 into 1 10.865 * [backup-simplify]: Simplify (/ 1 1) into 1 10.865 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in z 10.865 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 10.865 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in z 10.865 * [taylor]: Taking taylor expansion of (/ t y) in z 10.865 * [taylor]: Taking taylor expansion of t in z 10.865 * [backup-simplify]: Simplify t into t 10.865 * [taylor]: Taking taylor expansion of y in z 10.865 * [backup-simplify]: Simplify y into y 10.865 * [backup-simplify]: Simplify (/ t y) into (/ t y) 10.866 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 10.866 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.866 * [taylor]: Taking taylor expansion of z in z 10.866 * [backup-simplify]: Simplify 0 into 0 10.866 * [backup-simplify]: Simplify 1 into 1 10.866 * [backup-simplify]: Simplify (/ 1 1) into 1 10.866 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.866 * [taylor]: Taking taylor expansion of x in z 10.866 * [backup-simplify]: Simplify x into x 10.866 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.866 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.866 * [taylor]: Taking taylor expansion of x in z 10.866 * [backup-simplify]: Simplify x into x 10.866 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.866 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in t 10.866 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 10.866 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in t 10.866 * [taylor]: Taking taylor expansion of (/ t y) in t 10.866 * [taylor]: Taking taylor expansion of t in t 10.866 * [backup-simplify]: Simplify 0 into 0 10.866 * [backup-simplify]: Simplify 1 into 1 10.866 * [taylor]: Taking taylor expansion of y in t 10.866 * [backup-simplify]: Simplify y into y 10.866 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 10.866 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in t 10.866 * [taylor]: Taking taylor expansion of (/ 1 z) in t 10.866 * [taylor]: Taking taylor expansion of z in t 10.866 * [backup-simplify]: Simplify z into z 10.866 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.866 * [taylor]: Taking taylor expansion of (/ 1 x) in t 10.866 * [taylor]: Taking taylor expansion of x in t 10.866 * [backup-simplify]: Simplify x into x 10.866 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.867 * [taylor]: Taking taylor expansion of (/ 1 x) in t 10.867 * [taylor]: Taking taylor expansion of x in t 10.867 * [backup-simplify]: Simplify x into x 10.867 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.867 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in y 10.867 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 10.867 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in y 10.867 * [taylor]: Taking taylor expansion of (/ t y) in y 10.867 * [taylor]: Taking taylor expansion of t in y 10.867 * [backup-simplify]: Simplify t into t 10.867 * [taylor]: Taking taylor expansion of y in y 10.867 * [backup-simplify]: Simplify 0 into 0 10.867 * [backup-simplify]: Simplify 1 into 1 10.867 * [backup-simplify]: Simplify (/ t 1) into t 10.867 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 10.867 * [taylor]: Taking taylor expansion of (/ 1 z) in y 10.867 * [taylor]: Taking taylor expansion of z in y 10.867 * [backup-simplify]: Simplify z into z 10.867 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.867 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.867 * [taylor]: Taking taylor expansion of x in y 10.867 * [backup-simplify]: Simplify x into x 10.867 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.867 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.867 * [taylor]: Taking taylor expansion of x in y 10.867 * [backup-simplify]: Simplify x into x 10.867 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.867 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in y 10.867 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 10.867 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in y 10.867 * [taylor]: Taking taylor expansion of (/ t y) in y 10.867 * [taylor]: Taking taylor expansion of t in y 10.867 * [backup-simplify]: Simplify t into t 10.867 * [taylor]: Taking taylor expansion of y in y 10.867 * [backup-simplify]: Simplify 0 into 0 10.867 * [backup-simplify]: Simplify 1 into 1 10.867 * [backup-simplify]: Simplify (/ t 1) into t 10.867 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 10.867 * [taylor]: Taking taylor expansion of (/ 1 z) in y 10.867 * [taylor]: Taking taylor expansion of z in y 10.867 * [backup-simplify]: Simplify z into z 10.867 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.868 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.868 * [taylor]: Taking taylor expansion of x in y 10.868 * [backup-simplify]: Simplify x into x 10.868 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.868 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.868 * [taylor]: Taking taylor expansion of x in y 10.868 * [backup-simplify]: Simplify x into x 10.868 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.868 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 10.868 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 x))) into (- (/ 1 z) (/ 1 x)) 10.868 * [backup-simplify]: Simplify (* t (- (/ 1 z) (/ 1 x))) into (* t (- (/ 1 z) (/ 1 x))) 10.868 * [backup-simplify]: Simplify (+ (* t (- (/ 1 z) (/ 1 x))) 0) into (- (/ t z) (/ t x)) 10.868 * [taylor]: Taking taylor expansion of (- (/ t z) (/ t x)) in t 10.868 * [taylor]: Taking taylor expansion of (/ t z) in t 10.868 * [taylor]: Taking taylor expansion of t in t 10.868 * [backup-simplify]: Simplify 0 into 0 10.868 * [backup-simplify]: Simplify 1 into 1 10.868 * [taylor]: Taking taylor expansion of z in t 10.868 * [backup-simplify]: Simplify z into z 10.868 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.868 * [taylor]: Taking taylor expansion of (/ t x) in t 10.868 * [taylor]: Taking taylor expansion of t in t 10.868 * [backup-simplify]: Simplify 0 into 0 10.868 * [backup-simplify]: Simplify 1 into 1 10.868 * [taylor]: Taking taylor expansion of x in t 10.868 * [backup-simplify]: Simplify x into x 10.868 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.868 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 10.869 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 10.869 * [backup-simplify]: Simplify (- 0) into 0 10.869 * [backup-simplify]: Simplify (+ 0 0) into 0 10.870 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0 10.870 * [backup-simplify]: Simplify (+ (* t 0) (* 0 (- (/ 1 z) (/ 1 x)))) into 0 10.870 * [backup-simplify]: Simplify (+ 0 (/ 1 x)) into (/ 1 x) 10.870 * [taylor]: Taking taylor expansion of (/ 1 x) in t 10.870 * [taylor]: Taking taylor expansion of x in t 10.870 * [backup-simplify]: Simplify x into x 10.870 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.870 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.870 * [taylor]: Taking taylor expansion of x in z 10.870 * [backup-simplify]: Simplify x into x 10.870 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.870 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 10.870 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 x))) into (- (/ 1 z) (/ 1 x)) 10.870 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 10.870 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.870 * [taylor]: Taking taylor expansion of z in z 10.870 * [backup-simplify]: Simplify 0 into 0 10.870 * [backup-simplify]: Simplify 1 into 1 10.871 * [backup-simplify]: Simplify (/ 1 1) into 1 10.871 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.871 * [taylor]: Taking taylor expansion of x in z 10.871 * [backup-simplify]: Simplify x into x 10.871 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.871 * [backup-simplify]: Simplify (+ 1 0) into 1 10.871 * [taylor]: Taking taylor expansion of 1 in x 10.871 * [backup-simplify]: Simplify 1 into 1 10.871 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 10.871 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 10.871 * [backup-simplify]: Simplify (- 0) into 0 10.872 * [backup-simplify]: Simplify (+ 0 0) into 0 10.873 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.873 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (* 0 (- (/ 1 z) (/ 1 x))))) into 0 10.873 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 10.873 * [backup-simplify]: Simplify (+ 0 0) into 0 10.873 * [taylor]: Taking taylor expansion of 0 in t 10.873 * [backup-simplify]: Simplify 0 into 0 10.873 * [taylor]: Taking taylor expansion of 0 in z 10.873 * [backup-simplify]: Simplify 0 into 0 10.873 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 10.873 * [taylor]: Taking taylor expansion of 0 in z 10.873 * [backup-simplify]: Simplify 0 into 0 10.874 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0 10.874 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0 10.874 * [backup-simplify]: Simplify (- 0) into 0 10.874 * [backup-simplify]: Simplify (+ 0 0) into 0 10.874 * [taylor]: Taking taylor expansion of 0 in z 10.874 * [backup-simplify]: Simplify 0 into 0 10.874 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.874 * [taylor]: Taking taylor expansion of x in x 10.874 * [backup-simplify]: Simplify 0 into 0 10.874 * [backup-simplify]: Simplify 1 into 1 10.874 * [backup-simplify]: Simplify (/ 1 1) into 1 10.875 * [backup-simplify]: Simplify 1 into 1 10.875 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.875 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 10.875 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x)) 10.875 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 10.875 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.875 * [taylor]: Taking taylor expansion of x in x 10.875 * [backup-simplify]: Simplify 0 into 0 10.875 * [backup-simplify]: Simplify 1 into 1 10.875 * [backup-simplify]: Simplify (/ 1 1) into 1 10.876 * [backup-simplify]: Simplify (- 1) into -1 10.876 * [backup-simplify]: Simplify -1 into -1 10.876 * [backup-simplify]: Simplify 1 into 1 10.876 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 z)) (* (/ 1 t) (/ 1 (/ 1 y)))))) (+ (* -1 (* (/ 1 (/ 1 x)) (* 1 (* (/ 1 t) (/ 1 (/ 1 y)))))) (* 1 (* (/ 1 (/ 1 x)) (* 1 (* 1 1)))))) into (- (+ (/ (* z y) t) x) (/ (* x y) t)) 10.877 * [backup-simplify]: Simplify (fma (/ (/ 1 (- y)) (/ 1 (- t))) (- (/ 1 (- z)) (/ 1 (- x))) (/ 1 (- x))) into (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) 10.877 * [approximate]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in (y t z x) around 0 10.877 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in x 10.877 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 10.877 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in x 10.877 * [taylor]: Taking taylor expansion of (/ t y) in x 10.877 * [taylor]: Taking taylor expansion of t in x 10.877 * [backup-simplify]: Simplify t into t 10.877 * [taylor]: Taking taylor expansion of y in x 10.877 * [backup-simplify]: Simplify y into y 10.877 * [backup-simplify]: Simplify (/ t y) into (/ t y) 10.877 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 10.877 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.877 * [taylor]: Taking taylor expansion of x in x 10.877 * [backup-simplify]: Simplify 0 into 0 10.877 * [backup-simplify]: Simplify 1 into 1 10.877 * [backup-simplify]: Simplify (/ 1 1) into 1 10.877 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.877 * [taylor]: Taking taylor expansion of z in x 10.877 * [backup-simplify]: Simplify z into z 10.877 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.878 * [taylor]: Taking taylor expansion of (/ -1 x) in x 10.878 * [taylor]: Taking taylor expansion of -1 in x 10.878 * [backup-simplify]: Simplify -1 into -1 10.878 * [taylor]: Taking taylor expansion of x in x 10.878 * [backup-simplify]: Simplify 0 into 0 10.878 * [backup-simplify]: Simplify 1 into 1 10.878 * [backup-simplify]: Simplify (/ -1 1) into -1 10.878 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in z 10.878 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 10.878 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in z 10.878 * [taylor]: Taking taylor expansion of (/ t y) in z 10.878 * [taylor]: Taking taylor expansion of t in z 10.878 * [backup-simplify]: Simplify t into t 10.878 * [taylor]: Taking taylor expansion of y in z 10.878 * [backup-simplify]: Simplify y into y 10.878 * [backup-simplify]: Simplify (/ t y) into (/ t y) 10.878 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 10.878 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.878 * [taylor]: Taking taylor expansion of x in z 10.878 * [backup-simplify]: Simplify x into x 10.878 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.878 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.878 * [taylor]: Taking taylor expansion of z in z 10.878 * [backup-simplify]: Simplify 0 into 0 10.878 * [backup-simplify]: Simplify 1 into 1 10.879 * [backup-simplify]: Simplify (/ 1 1) into 1 10.879 * [taylor]: Taking taylor expansion of (/ -1 x) in z 10.879 * [taylor]: Taking taylor expansion of -1 in z 10.879 * [backup-simplify]: Simplify -1 into -1 10.879 * [taylor]: Taking taylor expansion of x in z 10.879 * [backup-simplify]: Simplify x into x 10.879 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 10.879 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in t 10.879 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 10.879 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in t 10.879 * [taylor]: Taking taylor expansion of (/ t y) in t 10.879 * [taylor]: Taking taylor expansion of t in t 10.879 * [backup-simplify]: Simplify 0 into 0 10.879 * [backup-simplify]: Simplify 1 into 1 10.879 * [taylor]: Taking taylor expansion of y in t 10.879 * [backup-simplify]: Simplify y into y 10.879 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 10.879 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in t 10.879 * [taylor]: Taking taylor expansion of (/ 1 x) in t 10.879 * [taylor]: Taking taylor expansion of x in t 10.879 * [backup-simplify]: Simplify x into x 10.879 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.879 * [taylor]: Taking taylor expansion of (/ 1 z) in t 10.879 * [taylor]: Taking taylor expansion of z in t 10.879 * [backup-simplify]: Simplify z into z 10.879 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.879 * [taylor]: Taking taylor expansion of (/ -1 x) in t 10.879 * [taylor]: Taking taylor expansion of -1 in t 10.879 * [backup-simplify]: Simplify -1 into -1 10.879 * [taylor]: Taking taylor expansion of x in t 10.879 * [backup-simplify]: Simplify x into x 10.879 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 10.879 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in y 10.879 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 10.879 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in y 10.879 * [taylor]: Taking taylor expansion of (/ t y) in y 10.879 * [taylor]: Taking taylor expansion of t in y 10.879 * [backup-simplify]: Simplify t into t 10.879 * [taylor]: Taking taylor expansion of y in y 10.880 * [backup-simplify]: Simplify 0 into 0 10.880 * [backup-simplify]: Simplify 1 into 1 10.880 * [backup-simplify]: Simplify (/ t 1) into t 10.880 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 10.880 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.880 * [taylor]: Taking taylor expansion of x in y 10.880 * [backup-simplify]: Simplify x into x 10.880 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.880 * [taylor]: Taking taylor expansion of (/ 1 z) in y 10.880 * [taylor]: Taking taylor expansion of z in y 10.880 * [backup-simplify]: Simplify z into z 10.880 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.880 * [taylor]: Taking taylor expansion of (/ -1 x) in y 10.880 * [taylor]: Taking taylor expansion of -1 in y 10.880 * [backup-simplify]: Simplify -1 into -1 10.880 * [taylor]: Taking taylor expansion of x in y 10.880 * [backup-simplify]: Simplify x into x 10.880 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 10.880 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in y 10.880 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 10.880 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in y 10.880 * [taylor]: Taking taylor expansion of (/ t y) in y 10.880 * [taylor]: Taking taylor expansion of t in y 10.880 * [backup-simplify]: Simplify t into t 10.880 * [taylor]: Taking taylor expansion of y in y 10.880 * [backup-simplify]: Simplify 0 into 0 10.880 * [backup-simplify]: Simplify 1 into 1 10.880 * [backup-simplify]: Simplify (/ t 1) into t 10.880 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 10.880 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.880 * [taylor]: Taking taylor expansion of x in y 10.880 * [backup-simplify]: Simplify x into x 10.880 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.880 * [taylor]: Taking taylor expansion of (/ 1 z) in y 10.880 * [taylor]: Taking taylor expansion of z in y 10.880 * [backup-simplify]: Simplify z into z 10.880 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.880 * [taylor]: Taking taylor expansion of (/ -1 x) in y 10.880 * [taylor]: Taking taylor expansion of -1 in y 10.880 * [backup-simplify]: Simplify -1 into -1 10.880 * [taylor]: Taking taylor expansion of x in y 10.880 * [backup-simplify]: Simplify x into x 10.880 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 10.881 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 10.881 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z)) 10.881 * [backup-simplify]: Simplify (* t (- (/ 1 x) (/ 1 z))) into (* t (- (/ 1 x) (/ 1 z))) 10.881 * [backup-simplify]: Simplify (+ (* t (- (/ 1 x) (/ 1 z))) 0) into (- (/ t x) (/ t z)) 10.881 * [taylor]: Taking taylor expansion of (- (/ t x) (/ t z)) in t 10.881 * [taylor]: Taking taylor expansion of (/ t x) in t 10.881 * [taylor]: Taking taylor expansion of t in t 10.881 * [backup-simplify]: Simplify 0 into 0 10.881 * [backup-simplify]: Simplify 1 into 1 10.881 * [taylor]: Taking taylor expansion of x in t 10.881 * [backup-simplify]: Simplify x into x 10.881 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.881 * [taylor]: Taking taylor expansion of (/ t z) in t 10.881 * [taylor]: Taking taylor expansion of t in t 10.881 * [backup-simplify]: Simplify 0 into 0 10.881 * [backup-simplify]: Simplify 1 into 1 10.881 * [taylor]: Taking taylor expansion of z in t 10.881 * [backup-simplify]: Simplify z into z 10.881 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.881 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 10.881 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 10.882 * [backup-simplify]: Simplify (- 0) into 0 10.882 * [backup-simplify]: Simplify (+ 0 0) into 0 10.882 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0 10.883 * [backup-simplify]: Simplify (+ (* t 0) (* 0 (- (/ 1 x) (/ 1 z)))) into 0 10.883 * [backup-simplify]: Simplify (+ 0 (/ -1 x)) into (- (/ 1 x)) 10.883 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in t 10.883 * [taylor]: Taking taylor expansion of (/ 1 x) in t 10.883 * [taylor]: Taking taylor expansion of x in t 10.883 * [backup-simplify]: Simplify x into x 10.883 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.883 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 10.883 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z 10.883 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.883 * [taylor]: Taking taylor expansion of x in z 10.883 * [backup-simplify]: Simplify x into x 10.883 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.883 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 10.883 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z)) 10.883 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 10.883 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.883 * [taylor]: Taking taylor expansion of x in z 10.883 * [backup-simplify]: Simplify x into x 10.883 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.883 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.883 * [taylor]: Taking taylor expansion of z in z 10.883 * [backup-simplify]: Simplify 0 into 0 10.883 * [backup-simplify]: Simplify 1 into 1 10.883 * [backup-simplify]: Simplify (/ 1 1) into 1 10.884 * [backup-simplify]: Simplify (- 1) into -1 10.884 * [backup-simplify]: Simplify (+ 0 -1) into -1 10.884 * [taylor]: Taking taylor expansion of -1 in x 10.884 * [backup-simplify]: Simplify -1 into -1 10.884 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 10.884 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 10.884 * [backup-simplify]: Simplify (- 0) into 0 10.885 * [backup-simplify]: Simplify (+ 0 0) into 0 10.886 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.886 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (* 0 (- (/ 1 x) (/ 1 z))))) into 0 10.886 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 10.886 * [backup-simplify]: Simplify (+ 0 0) into 0 10.886 * [taylor]: Taking taylor expansion of 0 in t 10.886 * [backup-simplify]: Simplify 0 into 0 10.886 * [taylor]: Taking taylor expansion of 0 in z 10.886 * [backup-simplify]: Simplify 0 into 0 10.886 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 10.887 * [backup-simplify]: Simplify (- 0) into 0 10.887 * [taylor]: Taking taylor expansion of 0 in z 10.887 * [backup-simplify]: Simplify 0 into 0 10.887 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0 10.887 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0 10.887 * [backup-simplify]: Simplify (- 0) into 0 10.887 * [backup-simplify]: Simplify (+ 0 0) into 0 10.887 * [taylor]: Taking taylor expansion of 0 in z 10.887 * [backup-simplify]: Simplify 0 into 0 10.888 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 10.888 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 10.888 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.888 * [taylor]: Taking taylor expansion of x in x 10.888 * [backup-simplify]: Simplify 0 into 0 10.888 * [backup-simplify]: Simplify 1 into 1 10.888 * [backup-simplify]: Simplify (/ 1 1) into 1 10.888 * [backup-simplify]: Simplify (- 1) into -1 10.888 * [backup-simplify]: Simplify -1 into -1 10.889 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.889 * [backup-simplify]: Simplify (- 0) into 0 10.889 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x) 10.889 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.889 * [taylor]: Taking taylor expansion of x in x 10.889 * [backup-simplify]: Simplify 0 into 0 10.889 * [backup-simplify]: Simplify 1 into 1 10.889 * [backup-simplify]: Simplify (/ 1 1) into 1 10.889 * [backup-simplify]: Simplify 1 into 1 10.889 * [backup-simplify]: Simplify -1 into -1 10.890 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* (/ 1 (/ 1 (- z))) (* (/ 1 (- t)) (/ 1 (/ 1 (- y))))))) (+ (* 1 (* (/ 1 (/ 1 (- x))) (* 1 (* (/ 1 (- t)) (/ 1 (/ 1 (- y))))))) (* -1 (* (/ 1 (/ 1 (- x))) (* 1 (* 1 1)))))) into (- (+ (/ (* z y) t) x) (/ (* x y) t)) 10.890 * * * [progress]: simplifying candidates 10.890 * [simplify]: Simplifying: (expm1 (fma (/ y t) (- z x) x)) (log1p (fma (/ y t) (- z x) x)) (* (/ y t) (- z x)) (log (fma (/ y t) (- z x) x)) (exp (fma (/ y t) (- z x) x)) (* (cbrt (fma (/ y t) (- z x) x)) (cbrt (fma (/ y t) (- z x) x))) (cbrt (fma (/ y t) (- z x) x)) (* (* (fma (/ y t) (- z x) x) (fma (/ y t) (- z x) x)) (fma (/ y t) (- z x) x)) (sqrt (fma (/ y t) (- z x) x)) (sqrt (fma (/ y t) (- z x) x)) (- (+ (/ (* z y) t) x) (/ (* x y) t)) (- (+ (/ (* z y) t) x) (/ (* x y) t)) (- (+ (/ (* z y) t) x) (/ (* x y) t)) 10.891 * * [simplify]: Extracting # 0 : cost 0 10.891 * * [simplify]: Extracting # 1 : cost 0 10.891 * * [simplify]: Extracting # 2 : cost 0 10.891 * * [simplify]: Extracting # 3 : cost 0 10.891 * * [simplify]: Extracting # 4 : cost 0 10.891 * * [simplify]: Extracting # 5 : cost 0 10.891 * * [simplify]: Extracting # 6 : cost 0 10.891 * * [simplify]: iteration 0 : 23 enodes (cost 154 ) 10.894 * * [simplify]: Extracting # 0 : cost 0 10.894 * * [simplify]: Extracting # 1 : cost 0 10.894 * * [simplify]: Extracting # 2 : cost 0 10.895 * * [simplify]: iteration 1 : 40 enodes (cost 154 ) 10.906 * * [simplify]: Extracting # 0 : cost 0 10.906 * * [simplify]: Extracting # 1 : cost 0 10.906 * * [simplify]: Extracting # 2 : cost 0 10.907 * * [simplify]: iteration 2 : 93 enodes (cost 138 ) 10.963 * * [simplify]: Extracting # 0 : cost 0 10.964 * * [simplify]: Extracting # 1 : cost 0 10.965 * * [simplify]: Extracting # 2 : cost 0 10.965 * * [simplify]: Extracting # 3 : cost 0 10.966 * * [simplify]: Extracting # 4 : cost 0 10.966 * * [simplify]: iteration 3 : 266 enodes (cost 123 ) 11.201 * * [simplify]: Extracting # 0 : cost 0 11.204 * * [simplify]: Extracting # 1 : cost 0 11.207 * * [simplify]: Extracting # 2 : cost 0 11.209 * * [simplify]: Extracting # 3 : cost 0 11.212 * * [simplify]: Extracting # 4 : cost 0 11.214 * * [simplify]: Extracting # 5 : cost 0 11.217 * * [simplify]: Extracting # 6 : cost 0 11.219 * * [simplify]: iteration 4 : 1166 enodes (cost 123 ) 11.983 * * [simplify]: Extracting # 0 : cost 0 11.989 * * [simplify]: Extracting # 1 : cost 0 11.996 * * [simplify]: Extracting # 2 : cost 0 12.004 * * [simplify]: Extracting # 3 : cost 0 12.018 * * [simplify]: Extracting # 4 : cost 0 12.031 * * [simplify]: iteration done: 5000 enodes (cost 123 ) 12.031 * [simplify]: Simplified to: (expm1 (fma (/ y t) (- z x) x)) (log1p (fma (/ y t) (- z x) x)) (* (- z x) (/ y t)) (log (fma (/ y t) (- z x) x)) (exp (fma (/ y t) (- z x) x)) (* (cbrt (fma (/ y t) (- z x) x)) (cbrt (fma (/ y t) (- z x) x))) (cbrt (fma (/ y t) (- z x) x)) (pow (fma (/ y t) (- z x) x) 3) (sqrt (fma (/ y t) (- z x) x)) (sqrt (fma (/ y t) (- z x) x)) (fma (- z x) (/ y t) x) (fma (- z x) (/ y t) x) (fma (- z x) (/ y t) x) 12.031 * * * [progress]: adding candidates to table 12.072 * * [progress]: iteration 2 / 4 12.072 * * * [progress]: picking best candidate 12.082 * * * * [pick]: Picked # 12.082 * * * [progress]: localizing error 12.096 * * * [progress]: generating rewritten candidates 12.097 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 12.097 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1) 12.097 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 12.098 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 12.099 * * * [progress]: generating series expansions 12.099 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 12.100 * [backup-simplify]: Simplify (fma (/ y t) (- z x) x) into (fma (/ y t) (- z x) x) 12.100 * [approximate]: Taking taylor expansion of (fma (/ y t) (- z x) x) in (y t z x) around 0 12.100 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in x 12.100 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 12.100 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in x 12.100 * [taylor]: Taking taylor expansion of (/ y t) in x 12.100 * [taylor]: Taking taylor expansion of y in x 12.100 * [backup-simplify]: Simplify y into y 12.100 * [taylor]: Taking taylor expansion of t in x 12.100 * [backup-simplify]: Simplify t into t 12.100 * [backup-simplify]: Simplify (/ y t) into (/ y t) 12.100 * [taylor]: Taking taylor expansion of (- z x) in x 12.100 * [taylor]: Taking taylor expansion of z in x 12.100 * [backup-simplify]: Simplify z into z 12.100 * [taylor]: Taking taylor expansion of x in x 12.100 * [backup-simplify]: Simplify 0 into 0 12.100 * [backup-simplify]: Simplify 1 into 1 12.100 * [taylor]: Taking taylor expansion of x in x 12.100 * [backup-simplify]: Simplify 0 into 0 12.100 * [backup-simplify]: Simplify 1 into 1 12.100 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in z 12.100 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 12.100 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in z 12.100 * [taylor]: Taking taylor expansion of (/ y t) in z 12.100 * [taylor]: Taking taylor expansion of y in z 12.100 * [backup-simplify]: Simplify y into y 12.100 * [taylor]: Taking taylor expansion of t in z 12.100 * [backup-simplify]: Simplify t into t 12.100 * [backup-simplify]: Simplify (/ y t) into (/ y t) 12.100 * [taylor]: Taking taylor expansion of (- z x) in z 12.100 * [taylor]: Taking taylor expansion of z in z 12.100 * [backup-simplify]: Simplify 0 into 0 12.100 * [backup-simplify]: Simplify 1 into 1 12.100 * [taylor]: Taking taylor expansion of x in z 12.100 * [backup-simplify]: Simplify x into x 12.100 * [taylor]: Taking taylor expansion of x in z 12.100 * [backup-simplify]: Simplify x into x 12.100 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in t 12.101 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 12.101 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in t 12.101 * [taylor]: Taking taylor expansion of (/ y t) in t 12.101 * [taylor]: Taking taylor expansion of y in t 12.101 * [backup-simplify]: Simplify y into y 12.101 * [taylor]: Taking taylor expansion of t in t 12.101 * [backup-simplify]: Simplify 0 into 0 12.101 * [backup-simplify]: Simplify 1 into 1 12.101 * [backup-simplify]: Simplify (/ y 1) into y 12.101 * [taylor]: Taking taylor expansion of (- z x) in t 12.101 * [taylor]: Taking taylor expansion of z in t 12.101 * [backup-simplify]: Simplify z into z 12.101 * [taylor]: Taking taylor expansion of x in t 12.101 * [backup-simplify]: Simplify x into x 12.101 * [taylor]: Taking taylor expansion of x in t 12.101 * [backup-simplify]: Simplify x into x 12.101 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in y 12.101 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 12.101 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in y 12.101 * [taylor]: Taking taylor expansion of (/ y t) in y 12.101 * [taylor]: Taking taylor expansion of y in y 12.101 * [backup-simplify]: Simplify 0 into 0 12.101 * [backup-simplify]: Simplify 1 into 1 12.101 * [taylor]: Taking taylor expansion of t in y 12.101 * [backup-simplify]: Simplify t into t 12.101 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 12.101 * [taylor]: Taking taylor expansion of (- z x) in y 12.101 * [taylor]: Taking taylor expansion of z in y 12.101 * [backup-simplify]: Simplify z into z 12.101 * [taylor]: Taking taylor expansion of x in y 12.101 * [backup-simplify]: Simplify x into x 12.101 * [taylor]: Taking taylor expansion of x in y 12.101 * [backup-simplify]: Simplify x into x 12.101 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in y 12.101 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 12.101 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in y 12.101 * [taylor]: Taking taylor expansion of (/ y t) in y 12.101 * [taylor]: Taking taylor expansion of y in y 12.101 * [backup-simplify]: Simplify 0 into 0 12.101 * [backup-simplify]: Simplify 1 into 1 12.101 * [taylor]: Taking taylor expansion of t in y 12.101 * [backup-simplify]: Simplify t into t 12.102 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 12.102 * [taylor]: Taking taylor expansion of (- z x) in y 12.102 * [taylor]: Taking taylor expansion of z in y 12.102 * [backup-simplify]: Simplify z into z 12.102 * [taylor]: Taking taylor expansion of x in y 12.102 * [backup-simplify]: Simplify x into x 12.102 * [taylor]: Taking taylor expansion of x in y 12.102 * [backup-simplify]: Simplify x into x 12.102 * [backup-simplify]: Simplify (+ 0 x) into x 12.102 * [taylor]: Taking taylor expansion of x in t 12.102 * [backup-simplify]: Simplify x into x 12.102 * [backup-simplify]: Simplify (- x) into (- x) 12.102 * [backup-simplify]: Simplify (+ z (- x)) into (- z x) 12.102 * [backup-simplify]: Simplify (* (/ 1 t) (- z x)) into (/ (- z x) t) 12.102 * [backup-simplify]: Simplify (+ (/ (- z x) t) 0) into (- (/ z t) (/ x t)) 12.102 * [taylor]: Taking taylor expansion of (- (/ z t) (/ x t)) in t 12.102 * [taylor]: Taking taylor expansion of (/ z t) in t 12.102 * [taylor]: Taking taylor expansion of z in t 12.102 * [backup-simplify]: Simplify z into z 12.102 * [taylor]: Taking taylor expansion of t in t 12.102 * [backup-simplify]: Simplify 0 into 0 12.102 * [backup-simplify]: Simplify 1 into 1 12.102 * [backup-simplify]: Simplify (/ z 1) into z 12.102 * [taylor]: Taking taylor expansion of (/ x t) in t 12.102 * [taylor]: Taking taylor expansion of x in t 12.102 * [backup-simplify]: Simplify x into x 12.102 * [taylor]: Taking taylor expansion of t in t 12.102 * [backup-simplify]: Simplify 0 into 0 12.102 * [backup-simplify]: Simplify 1 into 1 12.102 * [backup-simplify]: Simplify (/ x 1) into x 12.102 * [backup-simplify]: Simplify (- x) into (- x) 12.102 * [backup-simplify]: Simplify (+ z (- x)) into (- z x) 12.102 * [taylor]: Taking taylor expansion of (- z x) in z 12.102 * [taylor]: Taking taylor expansion of z in z 12.102 * [backup-simplify]: Simplify 0 into 0 12.102 * [backup-simplify]: Simplify 1 into 1 12.102 * [taylor]: Taking taylor expansion of x in z 12.102 * [backup-simplify]: Simplify x into x 12.102 * [backup-simplify]: Simplify (- x) into (- x) 12.102 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x) 12.103 * [taylor]: Taking taylor expansion of (- x) in x 12.103 * [taylor]: Taking taylor expansion of x in x 12.103 * [backup-simplify]: Simplify 0 into 0 12.103 * [backup-simplify]: Simplify 1 into 1 12.103 * [backup-simplify]: Simplify (- 0) into 0 12.103 * [backup-simplify]: Simplify 0 into 0 12.103 * [taylor]: Taking taylor expansion of x in z 12.103 * [backup-simplify]: Simplify x into x 12.103 * [taylor]: Taking taylor expansion of x in x 12.103 * [backup-simplify]: Simplify 0 into 0 12.103 * [backup-simplify]: Simplify 1 into 1 12.103 * [backup-simplify]: Simplify 0 into 0 12.104 * [backup-simplify]: Simplify (- 0) into 0 12.104 * [backup-simplify]: Simplify (+ 0 0) into 0 12.104 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ 1 t) (/ 0 t)))) into 0 12.104 * [backup-simplify]: Simplify (+ (* (/ 1 t) 0) (* 0 (- z x))) into 0 12.104 * [backup-simplify]: Simplify (+ 0 0) into 0 12.104 * [taylor]: Taking taylor expansion of 0 in t 12.104 * [backup-simplify]: Simplify 0 into 0 12.105 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 12.106 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* x (/ 0 1)))) into 0 12.106 * [backup-simplify]: Simplify (- 0) into 0 12.106 * [backup-simplify]: Simplify (+ 0 0) into 0 12.106 * [taylor]: Taking taylor expansion of 0 in z 12.106 * [backup-simplify]: Simplify 0 into 0 12.106 * [taylor]: Taking taylor expansion of 0 in x 12.106 * [backup-simplify]: Simplify 0 into 0 12.106 * [backup-simplify]: Simplify 0 into 0 12.106 * [taylor]: Taking taylor expansion of 0 in z 12.106 * [backup-simplify]: Simplify 0 into 0 12.106 * [taylor]: Taking taylor expansion of 0 in x 12.107 * [backup-simplify]: Simplify 0 into 0 12.107 * [backup-simplify]: Simplify 0 into 0 12.107 * [backup-simplify]: Simplify (- 0) into 0 12.107 * [backup-simplify]: Simplify (+ 1 0) into 1 12.107 * [taylor]: Taking taylor expansion of 1 in x 12.107 * [backup-simplify]: Simplify 1 into 1 12.107 * [backup-simplify]: Simplify 1 into 1 12.107 * [taylor]: Taking taylor expansion of 0 in x 12.107 * [backup-simplify]: Simplify 0 into 0 12.107 * [backup-simplify]: Simplify 0 into 0 12.108 * [backup-simplify]: Simplify (- 1) into -1 12.108 * [backup-simplify]: Simplify -1 into -1 12.108 * [backup-simplify]: Simplify 1 into 1 12.108 * [backup-simplify]: Simplify (+ (* 1 (* x (* 1 (* 1 1)))) (+ (* -1 (* x (* 1 (* (/ 1 t) y)))) (* 1 (* 1 (* z (* (/ 1 t) y)))))) into (- (+ (/ (* z y) t) x) (/ (* x y) t)) 12.108 * [backup-simplify]: Simplify (fma (/ (/ 1 y) (/ 1 t)) (- (/ 1 z) (/ 1 x)) (/ 1 x)) into (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) 12.108 * [approximate]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in (y t z x) around 0 12.108 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in x 12.109 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 12.109 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in x 12.109 * [taylor]: Taking taylor expansion of (/ t y) in x 12.109 * [taylor]: Taking taylor expansion of t in x 12.109 * [backup-simplify]: Simplify t into t 12.109 * [taylor]: Taking taylor expansion of y in x 12.109 * [backup-simplify]: Simplify y into y 12.109 * [backup-simplify]: Simplify (/ t y) into (/ t y) 12.109 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 12.109 * [taylor]: Taking taylor expansion of (/ 1 z) in x 12.109 * [taylor]: Taking taylor expansion of z in x 12.109 * [backup-simplify]: Simplify z into z 12.109 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 12.109 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.109 * [taylor]: Taking taylor expansion of x in x 12.109 * [backup-simplify]: Simplify 0 into 0 12.109 * [backup-simplify]: Simplify 1 into 1 12.109 * [backup-simplify]: Simplify (/ 1 1) into 1 12.109 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.109 * [taylor]: Taking taylor expansion of x in x 12.109 * [backup-simplify]: Simplify 0 into 0 12.109 * [backup-simplify]: Simplify 1 into 1 12.109 * [backup-simplify]: Simplify (/ 1 1) into 1 12.109 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in z 12.110 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 12.110 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in z 12.110 * [taylor]: Taking taylor expansion of (/ t y) in z 12.110 * [taylor]: Taking taylor expansion of t in z 12.110 * [backup-simplify]: Simplify t into t 12.110 * [taylor]: Taking taylor expansion of y in z 12.110 * [backup-simplify]: Simplify y into y 12.110 * [backup-simplify]: Simplify (/ t y) into (/ t y) 12.110 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 12.110 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.110 * [taylor]: Taking taylor expansion of z in z 12.110 * [backup-simplify]: Simplify 0 into 0 12.110 * [backup-simplify]: Simplify 1 into 1 12.110 * [backup-simplify]: Simplify (/ 1 1) into 1 12.110 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.110 * [taylor]: Taking taylor expansion of x in z 12.110 * [backup-simplify]: Simplify x into x 12.110 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.110 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.110 * [taylor]: Taking taylor expansion of x in z 12.110 * [backup-simplify]: Simplify x into x 12.110 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.110 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in t 12.110 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 12.110 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in t 12.110 * [taylor]: Taking taylor expansion of (/ t y) in t 12.110 * [taylor]: Taking taylor expansion of t in t 12.110 * [backup-simplify]: Simplify 0 into 0 12.110 * [backup-simplify]: Simplify 1 into 1 12.110 * [taylor]: Taking taylor expansion of y in t 12.110 * [backup-simplify]: Simplify y into y 12.111 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 12.111 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in t 12.111 * [taylor]: Taking taylor expansion of (/ 1 z) in t 12.111 * [taylor]: Taking taylor expansion of z in t 12.111 * [backup-simplify]: Simplify z into z 12.111 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 12.111 * [taylor]: Taking taylor expansion of (/ 1 x) in t 12.111 * [taylor]: Taking taylor expansion of x in t 12.111 * [backup-simplify]: Simplify x into x 12.111 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.111 * [taylor]: Taking taylor expansion of (/ 1 x) in t 12.111 * [taylor]: Taking taylor expansion of x in t 12.111 * [backup-simplify]: Simplify x into x 12.111 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.111 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in y 12.111 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 12.111 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in y 12.111 * [taylor]: Taking taylor expansion of (/ t y) in y 12.111 * [taylor]: Taking taylor expansion of t in y 12.111 * [backup-simplify]: Simplify t into t 12.111 * [taylor]: Taking taylor expansion of y in y 12.111 * [backup-simplify]: Simplify 0 into 0 12.111 * [backup-simplify]: Simplify 1 into 1 12.111 * [backup-simplify]: Simplify (/ t 1) into t 12.111 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 12.111 * [taylor]: Taking taylor expansion of (/ 1 z) in y 12.111 * [taylor]: Taking taylor expansion of z in y 12.111 * [backup-simplify]: Simplify z into z 12.111 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 12.111 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.111 * [taylor]: Taking taylor expansion of x in y 12.111 * [backup-simplify]: Simplify x into x 12.111 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.111 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.111 * [taylor]: Taking taylor expansion of x in y 12.111 * [backup-simplify]: Simplify x into x 12.111 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.111 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in y 12.111 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 12.111 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in y 12.111 * [taylor]: Taking taylor expansion of (/ t y) in y 12.111 * [taylor]: Taking taylor expansion of t in y 12.111 * [backup-simplify]: Simplify t into t 12.111 * [taylor]: Taking taylor expansion of y in y 12.112 * [backup-simplify]: Simplify 0 into 0 12.112 * [backup-simplify]: Simplify 1 into 1 12.112 * [backup-simplify]: Simplify (/ t 1) into t 12.112 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 12.112 * [taylor]: Taking taylor expansion of (/ 1 z) in y 12.112 * [taylor]: Taking taylor expansion of z in y 12.112 * [backup-simplify]: Simplify z into z 12.112 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 12.112 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.112 * [taylor]: Taking taylor expansion of x in y 12.112 * [backup-simplify]: Simplify x into x 12.112 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.112 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.112 * [taylor]: Taking taylor expansion of x in y 12.112 * [backup-simplify]: Simplify x into x 12.112 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.112 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 12.112 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 x))) into (- (/ 1 z) (/ 1 x)) 12.112 * [backup-simplify]: Simplify (* t (- (/ 1 z) (/ 1 x))) into (* t (- (/ 1 z) (/ 1 x))) 12.112 * [backup-simplify]: Simplify (+ (* t (- (/ 1 z) (/ 1 x))) 0) into (- (/ t z) (/ t x)) 12.112 * [taylor]: Taking taylor expansion of (- (/ t z) (/ t x)) in t 12.112 * [taylor]: Taking taylor expansion of (/ t z) in t 12.112 * [taylor]: Taking taylor expansion of t in t 12.112 * [backup-simplify]: Simplify 0 into 0 12.112 * [backup-simplify]: Simplify 1 into 1 12.112 * [taylor]: Taking taylor expansion of z in t 12.112 * [backup-simplify]: Simplify z into z 12.112 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 12.112 * [taylor]: Taking taylor expansion of (/ t x) in t 12.112 * [taylor]: Taking taylor expansion of t in t 12.112 * [backup-simplify]: Simplify 0 into 0 12.112 * [backup-simplify]: Simplify 1 into 1 12.112 * [taylor]: Taking taylor expansion of x in t 12.112 * [backup-simplify]: Simplify x into x 12.112 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.113 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 12.113 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 12.113 * [backup-simplify]: Simplify (- 0) into 0 12.113 * [backup-simplify]: Simplify (+ 0 0) into 0 12.114 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0 12.114 * [backup-simplify]: Simplify (+ (* t 0) (* 0 (- (/ 1 z) (/ 1 x)))) into 0 12.114 * [backup-simplify]: Simplify (+ 0 (/ 1 x)) into (/ 1 x) 12.114 * [taylor]: Taking taylor expansion of (/ 1 x) in t 12.114 * [taylor]: Taking taylor expansion of x in t 12.114 * [backup-simplify]: Simplify x into x 12.114 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.114 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.114 * [taylor]: Taking taylor expansion of x in z 12.114 * [backup-simplify]: Simplify x into x 12.114 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.114 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 12.114 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 x))) into (- (/ 1 z) (/ 1 x)) 12.114 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 12.114 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.114 * [taylor]: Taking taylor expansion of z in z 12.114 * [backup-simplify]: Simplify 0 into 0 12.114 * [backup-simplify]: Simplify 1 into 1 12.115 * [backup-simplify]: Simplify (/ 1 1) into 1 12.115 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.115 * [taylor]: Taking taylor expansion of x in z 12.115 * [backup-simplify]: Simplify x into x 12.115 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.115 * [backup-simplify]: Simplify (+ 1 0) into 1 12.115 * [taylor]: Taking taylor expansion of 1 in x 12.115 * [backup-simplify]: Simplify 1 into 1 12.115 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 12.116 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 12.116 * [backup-simplify]: Simplify (- 0) into 0 12.116 * [backup-simplify]: Simplify (+ 0 0) into 0 12.117 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.118 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (* 0 (- (/ 1 z) (/ 1 x))))) into 0 12.118 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 12.118 * [backup-simplify]: Simplify (+ 0 0) into 0 12.118 * [taylor]: Taking taylor expansion of 0 in t 12.118 * [backup-simplify]: Simplify 0 into 0 12.118 * [taylor]: Taking taylor expansion of 0 in z 12.118 * [backup-simplify]: Simplify 0 into 0 12.118 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 12.119 * [taylor]: Taking taylor expansion of 0 in z 12.119 * [backup-simplify]: Simplify 0 into 0 12.119 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0 12.119 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0 12.120 * [backup-simplify]: Simplify (- 0) into 0 12.120 * [backup-simplify]: Simplify (+ 0 0) into 0 12.120 * [taylor]: Taking taylor expansion of 0 in z 12.120 * [backup-simplify]: Simplify 0 into 0 12.120 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.120 * [taylor]: Taking taylor expansion of x in x 12.120 * [backup-simplify]: Simplify 0 into 0 12.120 * [backup-simplify]: Simplify 1 into 1 12.121 * [backup-simplify]: Simplify (/ 1 1) into 1 12.121 * [backup-simplify]: Simplify 1 into 1 12.122 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 12.122 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 12.122 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x)) 12.122 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 12.122 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.122 * [taylor]: Taking taylor expansion of x in x 12.122 * [backup-simplify]: Simplify 0 into 0 12.122 * [backup-simplify]: Simplify 1 into 1 12.122 * [backup-simplify]: Simplify (/ 1 1) into 1 12.123 * [backup-simplify]: Simplify (- 1) into -1 12.123 * [backup-simplify]: Simplify -1 into -1 12.123 * [backup-simplify]: Simplify 1 into 1 12.124 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 z)) (* (/ 1 t) (/ 1 (/ 1 y)))))) (+ (* -1 (* (/ 1 (/ 1 x)) (* 1 (* (/ 1 t) (/ 1 (/ 1 y)))))) (* 1 (* (/ 1 (/ 1 x)) (* 1 (* 1 1)))))) into (- (+ (/ (* z y) t) x) (/ (* x y) t)) 12.125 * [backup-simplify]: Simplify (fma (/ (/ 1 (- y)) (/ 1 (- t))) (- (/ 1 (- z)) (/ 1 (- x))) (/ 1 (- x))) into (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) 12.125 * [approximate]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in (y t z x) around 0 12.125 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in x 12.125 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 12.125 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in x 12.125 * [taylor]: Taking taylor expansion of (/ t y) in x 12.125 * [taylor]: Taking taylor expansion of t in x 12.125 * [backup-simplify]: Simplify t into t 12.125 * [taylor]: Taking taylor expansion of y in x 12.125 * [backup-simplify]: Simplify y into y 12.125 * [backup-simplify]: Simplify (/ t y) into (/ t y) 12.125 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 12.125 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.125 * [taylor]: Taking taylor expansion of x in x 12.125 * [backup-simplify]: Simplify 0 into 0 12.125 * [backup-simplify]: Simplify 1 into 1 12.126 * [backup-simplify]: Simplify (/ 1 1) into 1 12.126 * [taylor]: Taking taylor expansion of (/ 1 z) in x 12.126 * [taylor]: Taking taylor expansion of z in x 12.126 * [backup-simplify]: Simplify z into z 12.126 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 12.126 * [taylor]: Taking taylor expansion of (/ -1 x) in x 12.126 * [taylor]: Taking taylor expansion of -1 in x 12.126 * [backup-simplify]: Simplify -1 into -1 12.126 * [taylor]: Taking taylor expansion of x in x 12.126 * [backup-simplify]: Simplify 0 into 0 12.126 * [backup-simplify]: Simplify 1 into 1 12.134 * [backup-simplify]: Simplify (/ -1 1) into -1 12.135 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in z 12.135 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 12.135 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in z 12.135 * [taylor]: Taking taylor expansion of (/ t y) in z 12.135 * [taylor]: Taking taylor expansion of t in z 12.135 * [backup-simplify]: Simplify t into t 12.135 * [taylor]: Taking taylor expansion of y in z 12.135 * [backup-simplify]: Simplify y into y 12.135 * [backup-simplify]: Simplify (/ t y) into (/ t y) 12.135 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 12.135 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.135 * [taylor]: Taking taylor expansion of x in z 12.135 * [backup-simplify]: Simplify x into x 12.135 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.135 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.135 * [taylor]: Taking taylor expansion of z in z 12.136 * [backup-simplify]: Simplify 0 into 0 12.136 * [backup-simplify]: Simplify 1 into 1 12.136 * [backup-simplify]: Simplify (/ 1 1) into 1 12.136 * [taylor]: Taking taylor expansion of (/ -1 x) in z 12.136 * [taylor]: Taking taylor expansion of -1 in z 12.136 * [backup-simplify]: Simplify -1 into -1 12.136 * [taylor]: Taking taylor expansion of x in z 12.136 * [backup-simplify]: Simplify x into x 12.136 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 12.136 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in t 12.136 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 12.137 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in t 12.137 * [taylor]: Taking taylor expansion of (/ t y) in t 12.137 * [taylor]: Taking taylor expansion of t in t 12.137 * [backup-simplify]: Simplify 0 into 0 12.137 * [backup-simplify]: Simplify 1 into 1 12.137 * [taylor]: Taking taylor expansion of y in t 12.137 * [backup-simplify]: Simplify y into y 12.137 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 12.137 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in t 12.137 * [taylor]: Taking taylor expansion of (/ 1 x) in t 12.137 * [taylor]: Taking taylor expansion of x in t 12.137 * [backup-simplify]: Simplify x into x 12.137 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.137 * [taylor]: Taking taylor expansion of (/ 1 z) in t 12.137 * [taylor]: Taking taylor expansion of z in t 12.137 * [backup-simplify]: Simplify z into z 12.137 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 12.138 * [taylor]: Taking taylor expansion of (/ -1 x) in t 12.138 * [taylor]: Taking taylor expansion of -1 in t 12.138 * [backup-simplify]: Simplify -1 into -1 12.138 * [taylor]: Taking taylor expansion of x in t 12.138 * [backup-simplify]: Simplify x into x 12.138 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 12.138 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in y 12.138 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 12.138 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in y 12.138 * [taylor]: Taking taylor expansion of (/ t y) in y 12.138 * [taylor]: Taking taylor expansion of t in y 12.138 * [backup-simplify]: Simplify t into t 12.138 * [taylor]: Taking taylor expansion of y in y 12.138 * [backup-simplify]: Simplify 0 into 0 12.138 * [backup-simplify]: Simplify 1 into 1 12.138 * [backup-simplify]: Simplify (/ t 1) into t 12.138 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 12.138 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.138 * [taylor]: Taking taylor expansion of x in y 12.138 * [backup-simplify]: Simplify x into x 12.138 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.138 * [taylor]: Taking taylor expansion of (/ 1 z) in y 12.138 * [taylor]: Taking taylor expansion of z in y 12.138 * [backup-simplify]: Simplify z into z 12.139 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 12.139 * [taylor]: Taking taylor expansion of (/ -1 x) in y 12.139 * [taylor]: Taking taylor expansion of -1 in y 12.139 * [backup-simplify]: Simplify -1 into -1 12.139 * [taylor]: Taking taylor expansion of x in y 12.139 * [backup-simplify]: Simplify x into x 12.139 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 12.139 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in y 12.139 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 12.139 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in y 12.139 * [taylor]: Taking taylor expansion of (/ t y) in y 12.139 * [taylor]: Taking taylor expansion of t in y 12.139 * [backup-simplify]: Simplify t into t 12.139 * [taylor]: Taking taylor expansion of y in y 12.139 * [backup-simplify]: Simplify 0 into 0 12.139 * [backup-simplify]: Simplify 1 into 1 12.139 * [backup-simplify]: Simplify (/ t 1) into t 12.139 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 12.139 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.139 * [taylor]: Taking taylor expansion of x in y 12.139 * [backup-simplify]: Simplify x into x 12.139 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.139 * [taylor]: Taking taylor expansion of (/ 1 z) in y 12.139 * [taylor]: Taking taylor expansion of z in y 12.139 * [backup-simplify]: Simplify z into z 12.140 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 12.140 * [taylor]: Taking taylor expansion of (/ -1 x) in y 12.140 * [taylor]: Taking taylor expansion of -1 in y 12.140 * [backup-simplify]: Simplify -1 into -1 12.140 * [taylor]: Taking taylor expansion of x in y 12.140 * [backup-simplify]: Simplify x into x 12.140 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 12.140 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 12.140 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z)) 12.140 * [backup-simplify]: Simplify (* t (- (/ 1 x) (/ 1 z))) into (* t (- (/ 1 x) (/ 1 z))) 12.140 * [backup-simplify]: Simplify (+ (* t (- (/ 1 x) (/ 1 z))) 0) into (- (/ t x) (/ t z)) 12.141 * [taylor]: Taking taylor expansion of (- (/ t x) (/ t z)) in t 12.141 * [taylor]: Taking taylor expansion of (/ t x) in t 12.141 * [taylor]: Taking taylor expansion of t in t 12.141 * [backup-simplify]: Simplify 0 into 0 12.141 * [backup-simplify]: Simplify 1 into 1 12.141 * [taylor]: Taking taylor expansion of x in t 12.141 * [backup-simplify]: Simplify x into x 12.141 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.141 * [taylor]: Taking taylor expansion of (/ t z) in t 12.141 * [taylor]: Taking taylor expansion of t in t 12.141 * [backup-simplify]: Simplify 0 into 0 12.141 * [backup-simplify]: Simplify 1 into 1 12.141 * [taylor]: Taking taylor expansion of z in t 12.141 * [backup-simplify]: Simplify z into z 12.141 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 12.141 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 12.141 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 12.142 * [backup-simplify]: Simplify (- 0) into 0 12.142 * [backup-simplify]: Simplify (+ 0 0) into 0 12.143 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0 12.143 * [backup-simplify]: Simplify (+ (* t 0) (* 0 (- (/ 1 x) (/ 1 z)))) into 0 12.144 * [backup-simplify]: Simplify (+ 0 (/ -1 x)) into (- (/ 1 x)) 12.144 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in t 12.144 * [taylor]: Taking taylor expansion of (/ 1 x) in t 12.144 * [taylor]: Taking taylor expansion of x in t 12.144 * [backup-simplify]: Simplify x into x 12.144 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.144 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 12.144 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z 12.144 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.144 * [taylor]: Taking taylor expansion of x in z 12.144 * [backup-simplify]: Simplify x into x 12.144 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.144 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 12.144 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z)) 12.144 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 12.144 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.144 * [taylor]: Taking taylor expansion of x in z 12.144 * [backup-simplify]: Simplify x into x 12.144 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.144 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.144 * [taylor]: Taking taylor expansion of z in z 12.145 * [backup-simplify]: Simplify 0 into 0 12.145 * [backup-simplify]: Simplify 1 into 1 12.145 * [backup-simplify]: Simplify (/ 1 1) into 1 12.145 * [backup-simplify]: Simplify (- 1) into -1 12.146 * [backup-simplify]: Simplify (+ 0 -1) into -1 12.146 * [taylor]: Taking taylor expansion of -1 in x 12.146 * [backup-simplify]: Simplify -1 into -1 12.146 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 12.146 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 12.147 * [backup-simplify]: Simplify (- 0) into 0 12.147 * [backup-simplify]: Simplify (+ 0 0) into 0 12.149 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.149 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (* 0 (- (/ 1 x) (/ 1 z))))) into 0 12.149 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 12.150 * [backup-simplify]: Simplify (+ 0 0) into 0 12.150 * [taylor]: Taking taylor expansion of 0 in t 12.150 * [backup-simplify]: Simplify 0 into 0 12.150 * [taylor]: Taking taylor expansion of 0 in z 12.150 * [backup-simplify]: Simplify 0 into 0 12.150 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 12.150 * [backup-simplify]: Simplify (- 0) into 0 12.150 * [taylor]: Taking taylor expansion of 0 in z 12.150 * [backup-simplify]: Simplify 0 into 0 12.151 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0 12.151 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0 12.151 * [backup-simplify]: Simplify (- 0) into 0 12.152 * [backup-simplify]: Simplify (+ 0 0) into 0 12.152 * [taylor]: Taking taylor expansion of 0 in z 12.152 * [backup-simplify]: Simplify 0 into 0 12.152 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 12.152 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 12.152 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.152 * [taylor]: Taking taylor expansion of x in x 12.152 * [backup-simplify]: Simplify 0 into 0 12.152 * [backup-simplify]: Simplify 1 into 1 12.152 * [backup-simplify]: Simplify (/ 1 1) into 1 12.153 * [backup-simplify]: Simplify (- 1) into -1 12.153 * [backup-simplify]: Simplify -1 into -1 12.153 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 12.154 * [backup-simplify]: Simplify (- 0) into 0 12.154 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x) 12.154 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.154 * [taylor]: Taking taylor expansion of x in x 12.154 * [backup-simplify]: Simplify 0 into 0 12.154 * [backup-simplify]: Simplify 1 into 1 12.154 * [backup-simplify]: Simplify (/ 1 1) into 1 12.154 * [backup-simplify]: Simplify 1 into 1 12.155 * [backup-simplify]: Simplify -1 into -1 12.156 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* (/ 1 (/ 1 (- z))) (* (/ 1 (- t)) (/ 1 (/ 1 (- y))))))) (+ (* 1 (* (/ 1 (/ 1 (- x))) (* 1 (* (/ 1 (- t)) (/ 1 (/ 1 (- y))))))) (* -1 (* (/ 1 (/ 1 (- x))) (* 1 (* 1 1)))))) into (- (+ (/ (* z y) t) x) (/ (* x y) t)) 12.156 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1) 12.156 * [backup-simplify]: Simplify (fma (/ y t) (- z x) x) into (fma (/ y t) (- z x) x) 12.156 * [approximate]: Taking taylor expansion of (fma (/ y t) (- z x) x) in (y t z x) around 0 12.156 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in x 12.157 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 12.157 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in x 12.157 * [taylor]: Taking taylor expansion of (/ y t) in x 12.157 * [taylor]: Taking taylor expansion of y in x 12.157 * [backup-simplify]: Simplify y into y 12.157 * [taylor]: Taking taylor expansion of t in x 12.157 * [backup-simplify]: Simplify t into t 12.157 * [backup-simplify]: Simplify (/ y t) into (/ y t) 12.157 * [taylor]: Taking taylor expansion of (- z x) in x 12.157 * [taylor]: Taking taylor expansion of z in x 12.157 * [backup-simplify]: Simplify z into z 12.157 * [taylor]: Taking taylor expansion of x in x 12.157 * [backup-simplify]: Simplify 0 into 0 12.157 * [backup-simplify]: Simplify 1 into 1 12.157 * [taylor]: Taking taylor expansion of x in x 12.157 * [backup-simplify]: Simplify 0 into 0 12.157 * [backup-simplify]: Simplify 1 into 1 12.158 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in z 12.158 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 12.158 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in z 12.158 * [taylor]: Taking taylor expansion of (/ y t) in z 12.158 * [taylor]: Taking taylor expansion of y in z 12.158 * [backup-simplify]: Simplify y into y 12.158 * [taylor]: Taking taylor expansion of t in z 12.158 * [backup-simplify]: Simplify t into t 12.158 * [backup-simplify]: Simplify (/ y t) into (/ y t) 12.158 * [taylor]: Taking taylor expansion of (- z x) in z 12.158 * [taylor]: Taking taylor expansion of z in z 12.158 * [backup-simplify]: Simplify 0 into 0 12.158 * [backup-simplify]: Simplify 1 into 1 12.158 * [taylor]: Taking taylor expansion of x in z 12.158 * [backup-simplify]: Simplify x into x 12.158 * [taylor]: Taking taylor expansion of x in z 12.158 * [backup-simplify]: Simplify x into x 12.158 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in t 12.158 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 12.158 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in t 12.158 * [taylor]: Taking taylor expansion of (/ y t) in t 12.158 * [taylor]: Taking taylor expansion of y in t 12.158 * [backup-simplify]: Simplify y into y 12.158 * [taylor]: Taking taylor expansion of t in t 12.158 * [backup-simplify]: Simplify 0 into 0 12.158 * [backup-simplify]: Simplify 1 into 1 12.159 * [backup-simplify]: Simplify (/ y 1) into y 12.159 * [taylor]: Taking taylor expansion of (- z x) in t 12.159 * [taylor]: Taking taylor expansion of z in t 12.159 * [backup-simplify]: Simplify z into z 12.159 * [taylor]: Taking taylor expansion of x in t 12.159 * [backup-simplify]: Simplify x into x 12.159 * [taylor]: Taking taylor expansion of x in t 12.159 * [backup-simplify]: Simplify x into x 12.159 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in y 12.159 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 12.159 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in y 12.159 * [taylor]: Taking taylor expansion of (/ y t) in y 12.159 * [taylor]: Taking taylor expansion of y in y 12.159 * [backup-simplify]: Simplify 0 into 0 12.159 * [backup-simplify]: Simplify 1 into 1 12.159 * [taylor]: Taking taylor expansion of t in y 12.159 * [backup-simplify]: Simplify t into t 12.159 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 12.159 * [taylor]: Taking taylor expansion of (- z x) in y 12.159 * [taylor]: Taking taylor expansion of z in y 12.159 * [backup-simplify]: Simplify z into z 12.159 * [taylor]: Taking taylor expansion of x in y 12.159 * [backup-simplify]: Simplify x into x 12.159 * [taylor]: Taking taylor expansion of x in y 12.159 * [backup-simplify]: Simplify x into x 12.159 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in y 12.160 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 12.160 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in y 12.160 * [taylor]: Taking taylor expansion of (/ y t) in y 12.160 * [taylor]: Taking taylor expansion of y in y 12.160 * [backup-simplify]: Simplify 0 into 0 12.160 * [backup-simplify]: Simplify 1 into 1 12.160 * [taylor]: Taking taylor expansion of t in y 12.160 * [backup-simplify]: Simplify t into t 12.160 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 12.160 * [taylor]: Taking taylor expansion of (- z x) in y 12.160 * [taylor]: Taking taylor expansion of z in y 12.160 * [backup-simplify]: Simplify z into z 12.160 * [taylor]: Taking taylor expansion of x in y 12.160 * [backup-simplify]: Simplify x into x 12.160 * [taylor]: Taking taylor expansion of x in y 12.160 * [backup-simplify]: Simplify x into x 12.160 * [backup-simplify]: Simplify (+ 0 x) into x 12.160 * [taylor]: Taking taylor expansion of x in t 12.160 * [backup-simplify]: Simplify x into x 12.160 * [backup-simplify]: Simplify (- x) into (- x) 12.160 * [backup-simplify]: Simplify (+ z (- x)) into (- z x) 12.160 * [backup-simplify]: Simplify (* (/ 1 t) (- z x)) into (/ (- z x) t) 12.161 * [backup-simplify]: Simplify (+ (/ (- z x) t) 0) into (- (/ z t) (/ x t)) 12.161 * [taylor]: Taking taylor expansion of (- (/ z t) (/ x t)) in t 12.161 * [taylor]: Taking taylor expansion of (/ z t) in t 12.161 * [taylor]: Taking taylor expansion of z in t 12.161 * [backup-simplify]: Simplify z into z 12.161 * [taylor]: Taking taylor expansion of t in t 12.161 * [backup-simplify]: Simplify 0 into 0 12.161 * [backup-simplify]: Simplify 1 into 1 12.161 * [backup-simplify]: Simplify (/ z 1) into z 12.161 * [taylor]: Taking taylor expansion of (/ x t) in t 12.161 * [taylor]: Taking taylor expansion of x in t 12.161 * [backup-simplify]: Simplify x into x 12.161 * [taylor]: Taking taylor expansion of t in t 12.161 * [backup-simplify]: Simplify 0 into 0 12.161 * [backup-simplify]: Simplify 1 into 1 12.161 * [backup-simplify]: Simplify (/ x 1) into x 12.161 * [backup-simplify]: Simplify (- x) into (- x) 12.161 * [backup-simplify]: Simplify (+ z (- x)) into (- z x) 12.161 * [taylor]: Taking taylor expansion of (- z x) in z 12.161 * [taylor]: Taking taylor expansion of z in z 12.161 * [backup-simplify]: Simplify 0 into 0 12.161 * [backup-simplify]: Simplify 1 into 1 12.161 * [taylor]: Taking taylor expansion of x in z 12.161 * [backup-simplify]: Simplify x into x 12.161 * [backup-simplify]: Simplify (- x) into (- x) 12.162 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x) 12.162 * [taylor]: Taking taylor expansion of (- x) in x 12.162 * [taylor]: Taking taylor expansion of x in x 12.162 * [backup-simplify]: Simplify 0 into 0 12.162 * [backup-simplify]: Simplify 1 into 1 12.162 * [backup-simplify]: Simplify (- 0) into 0 12.162 * [backup-simplify]: Simplify 0 into 0 12.162 * [taylor]: Taking taylor expansion of x in z 12.162 * [backup-simplify]: Simplify x into x 12.162 * [taylor]: Taking taylor expansion of x in x 12.162 * [backup-simplify]: Simplify 0 into 0 12.162 * [backup-simplify]: Simplify 1 into 1 12.163 * [backup-simplify]: Simplify 0 into 0 12.163 * [backup-simplify]: Simplify (- 0) into 0 12.163 * [backup-simplify]: Simplify (+ 0 0) into 0 12.164 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ 1 t) (/ 0 t)))) into 0 12.164 * [backup-simplify]: Simplify (+ (* (/ 1 t) 0) (* 0 (- z x))) into 0 12.164 * [backup-simplify]: Simplify (+ 0 0) into 0 12.164 * [taylor]: Taking taylor expansion of 0 in t 12.164 * [backup-simplify]: Simplify 0 into 0 12.165 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 12.166 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* x (/ 0 1)))) into 0 12.166 * [backup-simplify]: Simplify (- 0) into 0 12.167 * [backup-simplify]: Simplify (+ 0 0) into 0 12.167 * [taylor]: Taking taylor expansion of 0 in z 12.167 * [backup-simplify]: Simplify 0 into 0 12.167 * [taylor]: Taking taylor expansion of 0 in x 12.167 * [backup-simplify]: Simplify 0 into 0 12.167 * [backup-simplify]: Simplify 0 into 0 12.167 * [taylor]: Taking taylor expansion of 0 in z 12.167 * [backup-simplify]: Simplify 0 into 0 12.167 * [taylor]: Taking taylor expansion of 0 in x 12.167 * [backup-simplify]: Simplify 0 into 0 12.167 * [backup-simplify]: Simplify 0 into 0 12.168 * [backup-simplify]: Simplify (- 0) into 0 12.168 * [backup-simplify]: Simplify (+ 1 0) into 1 12.168 * [taylor]: Taking taylor expansion of 1 in x 12.168 * [backup-simplify]: Simplify 1 into 1 12.168 * [backup-simplify]: Simplify 1 into 1 12.168 * [taylor]: Taking taylor expansion of 0 in x 12.168 * [backup-simplify]: Simplify 0 into 0 12.168 * [backup-simplify]: Simplify 0 into 0 12.169 * [backup-simplify]: Simplify (- 1) into -1 12.169 * [backup-simplify]: Simplify -1 into -1 12.169 * [backup-simplify]: Simplify 1 into 1 12.169 * [backup-simplify]: Simplify (+ (* 1 (* x (* 1 (* 1 1)))) (+ (* -1 (* x (* 1 (* (/ 1 t) y)))) (* 1 (* 1 (* z (* (/ 1 t) y)))))) into (- (+ (/ (* z y) t) x) (/ (* x y) t)) 12.170 * [backup-simplify]: Simplify (fma (/ (/ 1 y) (/ 1 t)) (- (/ 1 z) (/ 1 x)) (/ 1 x)) into (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) 12.170 * [approximate]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in (y t z x) around 0 12.170 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in x 12.170 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 12.170 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in x 12.170 * [taylor]: Taking taylor expansion of (/ t y) in x 12.170 * [taylor]: Taking taylor expansion of t in x 12.170 * [backup-simplify]: Simplify t into t 12.170 * [taylor]: Taking taylor expansion of y in x 12.170 * [backup-simplify]: Simplify y into y 12.170 * [backup-simplify]: Simplify (/ t y) into (/ t y) 12.170 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 12.170 * [taylor]: Taking taylor expansion of (/ 1 z) in x 12.170 * [taylor]: Taking taylor expansion of z in x 12.170 * [backup-simplify]: Simplify z into z 12.170 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 12.170 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.170 * [taylor]: Taking taylor expansion of x in x 12.170 * [backup-simplify]: Simplify 0 into 0 12.170 * [backup-simplify]: Simplify 1 into 1 12.170 * [backup-simplify]: Simplify (/ 1 1) into 1 12.170 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.170 * [taylor]: Taking taylor expansion of x in x 12.170 * [backup-simplify]: Simplify 0 into 0 12.170 * [backup-simplify]: Simplify 1 into 1 12.171 * [backup-simplify]: Simplify (/ 1 1) into 1 12.171 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in z 12.171 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 12.171 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in z 12.171 * [taylor]: Taking taylor expansion of (/ t y) in z 12.171 * [taylor]: Taking taylor expansion of t in z 12.171 * [backup-simplify]: Simplify t into t 12.171 * [taylor]: Taking taylor expansion of y in z 12.171 * [backup-simplify]: Simplify y into y 12.171 * [backup-simplify]: Simplify (/ t y) into (/ t y) 12.171 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 12.171 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.171 * [taylor]: Taking taylor expansion of z in z 12.171 * [backup-simplify]: Simplify 0 into 0 12.171 * [backup-simplify]: Simplify 1 into 1 12.171 * [backup-simplify]: Simplify (/ 1 1) into 1 12.171 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.171 * [taylor]: Taking taylor expansion of x in z 12.171 * [backup-simplify]: Simplify x into x 12.171 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.171 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.171 * [taylor]: Taking taylor expansion of x in z 12.171 * [backup-simplify]: Simplify x into x 12.171 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.171 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in t 12.172 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 12.172 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in t 12.172 * [taylor]: Taking taylor expansion of (/ t y) in t 12.172 * [taylor]: Taking taylor expansion of t in t 12.172 * [backup-simplify]: Simplify 0 into 0 12.172 * [backup-simplify]: Simplify 1 into 1 12.172 * [taylor]: Taking taylor expansion of y in t 12.172 * [backup-simplify]: Simplify y into y 12.172 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 12.172 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in t 12.172 * [taylor]: Taking taylor expansion of (/ 1 z) in t 12.172 * [taylor]: Taking taylor expansion of z in t 12.172 * [backup-simplify]: Simplify z into z 12.172 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 12.172 * [taylor]: Taking taylor expansion of (/ 1 x) in t 12.172 * [taylor]: Taking taylor expansion of x in t 12.172 * [backup-simplify]: Simplify x into x 12.172 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.172 * [taylor]: Taking taylor expansion of (/ 1 x) in t 12.172 * [taylor]: Taking taylor expansion of x in t 12.172 * [backup-simplify]: Simplify x into x 12.172 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.172 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in y 12.172 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 12.172 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in y 12.172 * [taylor]: Taking taylor expansion of (/ t y) in y 12.172 * [taylor]: Taking taylor expansion of t in y 12.172 * [backup-simplify]: Simplify t into t 12.172 * [taylor]: Taking taylor expansion of y in y 12.172 * [backup-simplify]: Simplify 0 into 0 12.172 * [backup-simplify]: Simplify 1 into 1 12.172 * [backup-simplify]: Simplify (/ t 1) into t 12.172 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 12.172 * [taylor]: Taking taylor expansion of (/ 1 z) in y 12.172 * [taylor]: Taking taylor expansion of z in y 12.172 * [backup-simplify]: Simplify z into z 12.172 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 12.172 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.172 * [taylor]: Taking taylor expansion of x in y 12.172 * [backup-simplify]: Simplify x into x 12.172 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.172 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.172 * [taylor]: Taking taylor expansion of x in y 12.172 * [backup-simplify]: Simplify x into x 12.172 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.172 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in y 12.173 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 12.173 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in y 12.173 * [taylor]: Taking taylor expansion of (/ t y) in y 12.173 * [taylor]: Taking taylor expansion of t in y 12.173 * [backup-simplify]: Simplify t into t 12.173 * [taylor]: Taking taylor expansion of y in y 12.173 * [backup-simplify]: Simplify 0 into 0 12.173 * [backup-simplify]: Simplify 1 into 1 12.173 * [backup-simplify]: Simplify (/ t 1) into t 12.173 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 12.173 * [taylor]: Taking taylor expansion of (/ 1 z) in y 12.173 * [taylor]: Taking taylor expansion of z in y 12.173 * [backup-simplify]: Simplify z into z 12.173 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 12.173 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.173 * [taylor]: Taking taylor expansion of x in y 12.173 * [backup-simplify]: Simplify x into x 12.173 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.173 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.173 * [taylor]: Taking taylor expansion of x in y 12.173 * [backup-simplify]: Simplify x into x 12.173 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.173 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 12.173 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 x))) into (- (/ 1 z) (/ 1 x)) 12.173 * [backup-simplify]: Simplify (* t (- (/ 1 z) (/ 1 x))) into (* t (- (/ 1 z) (/ 1 x))) 12.173 * [backup-simplify]: Simplify (+ (* t (- (/ 1 z) (/ 1 x))) 0) into (- (/ t z) (/ t x)) 12.173 * [taylor]: Taking taylor expansion of (- (/ t z) (/ t x)) in t 12.173 * [taylor]: Taking taylor expansion of (/ t z) in t 12.173 * [taylor]: Taking taylor expansion of t in t 12.173 * [backup-simplify]: Simplify 0 into 0 12.173 * [backup-simplify]: Simplify 1 into 1 12.173 * [taylor]: Taking taylor expansion of z in t 12.174 * [backup-simplify]: Simplify z into z 12.174 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 12.174 * [taylor]: Taking taylor expansion of (/ t x) in t 12.174 * [taylor]: Taking taylor expansion of t in t 12.174 * [backup-simplify]: Simplify 0 into 0 12.174 * [backup-simplify]: Simplify 1 into 1 12.174 * [taylor]: Taking taylor expansion of x in t 12.174 * [backup-simplify]: Simplify x into x 12.174 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.174 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 12.174 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 12.174 * [backup-simplify]: Simplify (- 0) into 0 12.174 * [backup-simplify]: Simplify (+ 0 0) into 0 12.175 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0 12.175 * [backup-simplify]: Simplify (+ (* t 0) (* 0 (- (/ 1 z) (/ 1 x)))) into 0 12.175 * [backup-simplify]: Simplify (+ 0 (/ 1 x)) into (/ 1 x) 12.175 * [taylor]: Taking taylor expansion of (/ 1 x) in t 12.175 * [taylor]: Taking taylor expansion of x in t 12.175 * [backup-simplify]: Simplify x into x 12.175 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.175 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.175 * [taylor]: Taking taylor expansion of x in z 12.175 * [backup-simplify]: Simplify x into x 12.175 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.175 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 12.175 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 x))) into (- (/ 1 z) (/ 1 x)) 12.175 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 12.175 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.175 * [taylor]: Taking taylor expansion of z in z 12.175 * [backup-simplify]: Simplify 0 into 0 12.176 * [backup-simplify]: Simplify 1 into 1 12.176 * [backup-simplify]: Simplify (/ 1 1) into 1 12.176 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.176 * [taylor]: Taking taylor expansion of x in z 12.176 * [backup-simplify]: Simplify x into x 12.176 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.176 * [backup-simplify]: Simplify (+ 1 0) into 1 12.176 * [taylor]: Taking taylor expansion of 1 in x 12.176 * [backup-simplify]: Simplify 1 into 1 12.176 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 12.176 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 12.177 * [backup-simplify]: Simplify (- 0) into 0 12.177 * [backup-simplify]: Simplify (+ 0 0) into 0 12.178 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.178 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (* 0 (- (/ 1 z) (/ 1 x))))) into 0 12.178 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 12.178 * [backup-simplify]: Simplify (+ 0 0) into 0 12.178 * [taylor]: Taking taylor expansion of 0 in t 12.178 * [backup-simplify]: Simplify 0 into 0 12.179 * [taylor]: Taking taylor expansion of 0 in z 12.179 * [backup-simplify]: Simplify 0 into 0 12.179 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 12.179 * [taylor]: Taking taylor expansion of 0 in z 12.179 * [backup-simplify]: Simplify 0 into 0 12.179 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0 12.179 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0 12.179 * [backup-simplify]: Simplify (- 0) into 0 12.179 * [backup-simplify]: Simplify (+ 0 0) into 0 12.179 * [taylor]: Taking taylor expansion of 0 in z 12.179 * [backup-simplify]: Simplify 0 into 0 12.179 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.180 * [taylor]: Taking taylor expansion of x in x 12.180 * [backup-simplify]: Simplify 0 into 0 12.180 * [backup-simplify]: Simplify 1 into 1 12.180 * [backup-simplify]: Simplify (/ 1 1) into 1 12.180 * [backup-simplify]: Simplify 1 into 1 12.181 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 12.181 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 12.181 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x)) 12.181 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 12.181 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.181 * [taylor]: Taking taylor expansion of x in x 12.181 * [backup-simplify]: Simplify 0 into 0 12.181 * [backup-simplify]: Simplify 1 into 1 12.181 * [backup-simplify]: Simplify (/ 1 1) into 1 12.181 * [backup-simplify]: Simplify (- 1) into -1 12.181 * [backup-simplify]: Simplify -1 into -1 12.181 * [backup-simplify]: Simplify 1 into 1 12.182 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 z)) (* (/ 1 t) (/ 1 (/ 1 y)))))) (+ (* -1 (* (/ 1 (/ 1 x)) (* 1 (* (/ 1 t) (/ 1 (/ 1 y)))))) (* 1 (* (/ 1 (/ 1 x)) (* 1 (* 1 1)))))) into (- (+ (/ (* z y) t) x) (/ (* x y) t)) 12.182 * [backup-simplify]: Simplify (fma (/ (/ 1 (- y)) (/ 1 (- t))) (- (/ 1 (- z)) (/ 1 (- x))) (/ 1 (- x))) into (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) 12.182 * [approximate]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in (y t z x) around 0 12.182 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in x 12.183 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 12.183 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in x 12.183 * [taylor]: Taking taylor expansion of (/ t y) in x 12.183 * [taylor]: Taking taylor expansion of t in x 12.183 * [backup-simplify]: Simplify t into t 12.183 * [taylor]: Taking taylor expansion of y in x 12.183 * [backup-simplify]: Simplify y into y 12.183 * [backup-simplify]: Simplify (/ t y) into (/ t y) 12.183 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 12.183 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.183 * [taylor]: Taking taylor expansion of x in x 12.183 * [backup-simplify]: Simplify 0 into 0 12.183 * [backup-simplify]: Simplify 1 into 1 12.183 * [backup-simplify]: Simplify (/ 1 1) into 1 12.183 * [taylor]: Taking taylor expansion of (/ 1 z) in x 12.183 * [taylor]: Taking taylor expansion of z in x 12.183 * [backup-simplify]: Simplify z into z 12.183 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 12.183 * [taylor]: Taking taylor expansion of (/ -1 x) in x 12.183 * [taylor]: Taking taylor expansion of -1 in x 12.183 * [backup-simplify]: Simplify -1 into -1 12.183 * [taylor]: Taking taylor expansion of x in x 12.183 * [backup-simplify]: Simplify 0 into 0 12.183 * [backup-simplify]: Simplify 1 into 1 12.183 * [backup-simplify]: Simplify (/ -1 1) into -1 12.183 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in z 12.184 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 12.184 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in z 12.184 * [taylor]: Taking taylor expansion of (/ t y) in z 12.184 * [taylor]: Taking taylor expansion of t in z 12.184 * [backup-simplify]: Simplify t into t 12.184 * [taylor]: Taking taylor expansion of y in z 12.184 * [backup-simplify]: Simplify y into y 12.184 * [backup-simplify]: Simplify (/ t y) into (/ t y) 12.184 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 12.184 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.184 * [taylor]: Taking taylor expansion of x in z 12.184 * [backup-simplify]: Simplify x into x 12.184 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.184 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.184 * [taylor]: Taking taylor expansion of z in z 12.184 * [backup-simplify]: Simplify 0 into 0 12.184 * [backup-simplify]: Simplify 1 into 1 12.184 * [backup-simplify]: Simplify (/ 1 1) into 1 12.184 * [taylor]: Taking taylor expansion of (/ -1 x) in z 12.184 * [taylor]: Taking taylor expansion of -1 in z 12.184 * [backup-simplify]: Simplify -1 into -1 12.184 * [taylor]: Taking taylor expansion of x in z 12.184 * [backup-simplify]: Simplify x into x 12.184 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 12.184 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in t 12.184 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 12.184 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in t 12.184 * [taylor]: Taking taylor expansion of (/ t y) in t 12.184 * [taylor]: Taking taylor expansion of t in t 12.184 * [backup-simplify]: Simplify 0 into 0 12.184 * [backup-simplify]: Simplify 1 into 1 12.185 * [taylor]: Taking taylor expansion of y in t 12.185 * [backup-simplify]: Simplify y into y 12.185 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 12.185 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in t 12.185 * [taylor]: Taking taylor expansion of (/ 1 x) in t 12.185 * [taylor]: Taking taylor expansion of x in t 12.185 * [backup-simplify]: Simplify x into x 12.185 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.185 * [taylor]: Taking taylor expansion of (/ 1 z) in t 12.185 * [taylor]: Taking taylor expansion of z in t 12.185 * [backup-simplify]: Simplify z into z 12.185 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 12.185 * [taylor]: Taking taylor expansion of (/ -1 x) in t 12.185 * [taylor]: Taking taylor expansion of -1 in t 12.185 * [backup-simplify]: Simplify -1 into -1 12.185 * [taylor]: Taking taylor expansion of x in t 12.185 * [backup-simplify]: Simplify x into x 12.185 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 12.185 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in y 12.185 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 12.185 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in y 12.185 * [taylor]: Taking taylor expansion of (/ t y) in y 12.185 * [taylor]: Taking taylor expansion of t in y 12.185 * [backup-simplify]: Simplify t into t 12.185 * [taylor]: Taking taylor expansion of y in y 12.185 * [backup-simplify]: Simplify 0 into 0 12.185 * [backup-simplify]: Simplify 1 into 1 12.185 * [backup-simplify]: Simplify (/ t 1) into t 12.185 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 12.185 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.185 * [taylor]: Taking taylor expansion of x in y 12.185 * [backup-simplify]: Simplify x into x 12.185 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.185 * [taylor]: Taking taylor expansion of (/ 1 z) in y 12.185 * [taylor]: Taking taylor expansion of z in y 12.185 * [backup-simplify]: Simplify z into z 12.185 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 12.185 * [taylor]: Taking taylor expansion of (/ -1 x) in y 12.185 * [taylor]: Taking taylor expansion of -1 in y 12.185 * [backup-simplify]: Simplify -1 into -1 12.185 * [taylor]: Taking taylor expansion of x in y 12.185 * [backup-simplify]: Simplify x into x 12.185 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 12.185 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in y 12.186 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 12.186 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in y 12.186 * [taylor]: Taking taylor expansion of (/ t y) in y 12.186 * [taylor]: Taking taylor expansion of t in y 12.186 * [backup-simplify]: Simplify t into t 12.186 * [taylor]: Taking taylor expansion of y in y 12.186 * [backup-simplify]: Simplify 0 into 0 12.186 * [backup-simplify]: Simplify 1 into 1 12.186 * [backup-simplify]: Simplify (/ t 1) into t 12.186 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 12.186 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.186 * [taylor]: Taking taylor expansion of x in y 12.186 * [backup-simplify]: Simplify x into x 12.186 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.186 * [taylor]: Taking taylor expansion of (/ 1 z) in y 12.186 * [taylor]: Taking taylor expansion of z in y 12.186 * [backup-simplify]: Simplify z into z 12.186 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 12.186 * [taylor]: Taking taylor expansion of (/ -1 x) in y 12.186 * [taylor]: Taking taylor expansion of -1 in y 12.186 * [backup-simplify]: Simplify -1 into -1 12.186 * [taylor]: Taking taylor expansion of x in y 12.186 * [backup-simplify]: Simplify x into x 12.186 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 12.186 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 12.186 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z)) 12.186 * [backup-simplify]: Simplify (* t (- (/ 1 x) (/ 1 z))) into (* t (- (/ 1 x) (/ 1 z))) 12.186 * [backup-simplify]: Simplify (+ (* t (- (/ 1 x) (/ 1 z))) 0) into (- (/ t x) (/ t z)) 12.186 * [taylor]: Taking taylor expansion of (- (/ t x) (/ t z)) in t 12.187 * [taylor]: Taking taylor expansion of (/ t x) in t 12.187 * [taylor]: Taking taylor expansion of t in t 12.187 * [backup-simplify]: Simplify 0 into 0 12.187 * [backup-simplify]: Simplify 1 into 1 12.187 * [taylor]: Taking taylor expansion of x in t 12.187 * [backup-simplify]: Simplify x into x 12.187 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.187 * [taylor]: Taking taylor expansion of (/ t z) in t 12.187 * [taylor]: Taking taylor expansion of t in t 12.187 * [backup-simplify]: Simplify 0 into 0 12.187 * [backup-simplify]: Simplify 1 into 1 12.187 * [taylor]: Taking taylor expansion of z in t 12.187 * [backup-simplify]: Simplify z into z 12.187 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 12.187 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 12.187 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 12.187 * [backup-simplify]: Simplify (- 0) into 0 12.187 * [backup-simplify]: Simplify (+ 0 0) into 0 12.188 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0 12.188 * [backup-simplify]: Simplify (+ (* t 0) (* 0 (- (/ 1 x) (/ 1 z)))) into 0 12.188 * [backup-simplify]: Simplify (+ 0 (/ -1 x)) into (- (/ 1 x)) 12.188 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in t 12.188 * [taylor]: Taking taylor expansion of (/ 1 x) in t 12.188 * [taylor]: Taking taylor expansion of x in t 12.188 * [backup-simplify]: Simplify x into x 12.188 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.188 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 12.188 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z 12.188 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.188 * [taylor]: Taking taylor expansion of x in z 12.188 * [backup-simplify]: Simplify x into x 12.188 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.189 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 12.189 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z)) 12.189 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 12.189 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.189 * [taylor]: Taking taylor expansion of x in z 12.189 * [backup-simplify]: Simplify x into x 12.189 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.189 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.189 * [taylor]: Taking taylor expansion of z in z 12.189 * [backup-simplify]: Simplify 0 into 0 12.189 * [backup-simplify]: Simplify 1 into 1 12.189 * [backup-simplify]: Simplify (/ 1 1) into 1 12.189 * [backup-simplify]: Simplify (- 1) into -1 12.190 * [backup-simplify]: Simplify (+ 0 -1) into -1 12.190 * [taylor]: Taking taylor expansion of -1 in x 12.190 * [backup-simplify]: Simplify -1 into -1 12.190 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 12.190 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 12.190 * [backup-simplify]: Simplify (- 0) into 0 12.190 * [backup-simplify]: Simplify (+ 0 0) into 0 12.191 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.192 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (* 0 (- (/ 1 x) (/ 1 z))))) into 0 12.192 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 12.192 * [backup-simplify]: Simplify (+ 0 0) into 0 12.192 * [taylor]: Taking taylor expansion of 0 in t 12.192 * [backup-simplify]: Simplify 0 into 0 12.192 * [taylor]: Taking taylor expansion of 0 in z 12.192 * [backup-simplify]: Simplify 0 into 0 12.192 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 12.192 * [backup-simplify]: Simplify (- 0) into 0 12.192 * [taylor]: Taking taylor expansion of 0 in z 12.192 * [backup-simplify]: Simplify 0 into 0 12.192 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0 12.193 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0 12.193 * [backup-simplify]: Simplify (- 0) into 0 12.193 * [backup-simplify]: Simplify (+ 0 0) into 0 12.193 * [taylor]: Taking taylor expansion of 0 in z 12.193 * [backup-simplify]: Simplify 0 into 0 12.193 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 12.193 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 12.193 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.193 * [taylor]: Taking taylor expansion of x in x 12.193 * [backup-simplify]: Simplify 0 into 0 12.193 * [backup-simplify]: Simplify 1 into 1 12.193 * [backup-simplify]: Simplify (/ 1 1) into 1 12.194 * [backup-simplify]: Simplify (- 1) into -1 12.194 * [backup-simplify]: Simplify -1 into -1 12.194 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 12.194 * [backup-simplify]: Simplify (- 0) into 0 12.194 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x) 12.194 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.195 * [taylor]: Taking taylor expansion of x in x 12.195 * [backup-simplify]: Simplify 0 into 0 12.195 * [backup-simplify]: Simplify 1 into 1 12.195 * [backup-simplify]: Simplify (/ 1 1) into 1 12.195 * [backup-simplify]: Simplify 1 into 1 12.195 * [backup-simplify]: Simplify -1 into -1 12.196 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* (/ 1 (/ 1 (- z))) (* (/ 1 (- t)) (/ 1 (/ 1 (- y))))))) (+ (* 1 (* (/ 1 (/ 1 (- x))) (* 1 (* (/ 1 (- t)) (/ 1 (/ 1 (- y))))))) (* -1 (* (/ 1 (/ 1 (- x))) (* 1 (* 1 1)))))) into (- (+ (/ (* z y) t) x) (/ (* x y) t)) 12.196 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 12.196 * [backup-simplify]: Simplify (fma (/ y t) (- z x) x) into (fma (/ y t) (- z x) x) 12.196 * [approximate]: Taking taylor expansion of (fma (/ y t) (- z x) x) in (y t z x) around 0 12.196 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in x 12.196 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 12.196 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in x 12.196 * [taylor]: Taking taylor expansion of (/ y t) in x 12.196 * [taylor]: Taking taylor expansion of y in x 12.196 * [backup-simplify]: Simplify y into y 12.196 * [taylor]: Taking taylor expansion of t in x 12.196 * [backup-simplify]: Simplify t into t 12.196 * [backup-simplify]: Simplify (/ y t) into (/ y t) 12.196 * [taylor]: Taking taylor expansion of (- z x) in x 12.196 * [taylor]: Taking taylor expansion of z in x 12.196 * [backup-simplify]: Simplify z into z 12.196 * [taylor]: Taking taylor expansion of x in x 12.196 * [backup-simplify]: Simplify 0 into 0 12.196 * [backup-simplify]: Simplify 1 into 1 12.196 * [taylor]: Taking taylor expansion of x in x 12.196 * [backup-simplify]: Simplify 0 into 0 12.196 * [backup-simplify]: Simplify 1 into 1 12.196 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in z 12.196 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 12.196 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in z 12.196 * [taylor]: Taking taylor expansion of (/ y t) in z 12.196 * [taylor]: Taking taylor expansion of y in z 12.196 * [backup-simplify]: Simplify y into y 12.196 * [taylor]: Taking taylor expansion of t in z 12.196 * [backup-simplify]: Simplify t into t 12.197 * [backup-simplify]: Simplify (/ y t) into (/ y t) 12.197 * [taylor]: Taking taylor expansion of (- z x) in z 12.197 * [taylor]: Taking taylor expansion of z in z 12.197 * [backup-simplify]: Simplify 0 into 0 12.197 * [backup-simplify]: Simplify 1 into 1 12.197 * [taylor]: Taking taylor expansion of x in z 12.197 * [backup-simplify]: Simplify x into x 12.197 * [taylor]: Taking taylor expansion of x in z 12.197 * [backup-simplify]: Simplify x into x 12.197 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in t 12.197 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 12.197 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in t 12.197 * [taylor]: Taking taylor expansion of (/ y t) in t 12.197 * [taylor]: Taking taylor expansion of y in t 12.197 * [backup-simplify]: Simplify y into y 12.197 * [taylor]: Taking taylor expansion of t in t 12.197 * [backup-simplify]: Simplify 0 into 0 12.197 * [backup-simplify]: Simplify 1 into 1 12.197 * [backup-simplify]: Simplify (/ y 1) into y 12.197 * [taylor]: Taking taylor expansion of (- z x) in t 12.197 * [taylor]: Taking taylor expansion of z in t 12.197 * [backup-simplify]: Simplify z into z 12.197 * [taylor]: Taking taylor expansion of x in t 12.197 * [backup-simplify]: Simplify x into x 12.197 * [taylor]: Taking taylor expansion of x in t 12.197 * [backup-simplify]: Simplify x into x 12.197 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in y 12.197 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 12.197 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in y 12.197 * [taylor]: Taking taylor expansion of (/ y t) in y 12.197 * [taylor]: Taking taylor expansion of y in y 12.197 * [backup-simplify]: Simplify 0 into 0 12.197 * [backup-simplify]: Simplify 1 into 1 12.197 * [taylor]: Taking taylor expansion of t in y 12.197 * [backup-simplify]: Simplify t into t 12.197 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 12.197 * [taylor]: Taking taylor expansion of (- z x) in y 12.197 * [taylor]: Taking taylor expansion of z in y 12.197 * [backup-simplify]: Simplify z into z 12.197 * [taylor]: Taking taylor expansion of x in y 12.197 * [backup-simplify]: Simplify x into x 12.197 * [taylor]: Taking taylor expansion of x in y 12.197 * [backup-simplify]: Simplify x into x 12.197 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in y 12.198 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 12.198 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in y 12.198 * [taylor]: Taking taylor expansion of (/ y t) in y 12.198 * [taylor]: Taking taylor expansion of y in y 12.198 * [backup-simplify]: Simplify 0 into 0 12.198 * [backup-simplify]: Simplify 1 into 1 12.198 * [taylor]: Taking taylor expansion of t in y 12.198 * [backup-simplify]: Simplify t into t 12.198 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 12.198 * [taylor]: Taking taylor expansion of (- z x) in y 12.198 * [taylor]: Taking taylor expansion of z in y 12.198 * [backup-simplify]: Simplify z into z 12.198 * [taylor]: Taking taylor expansion of x in y 12.198 * [backup-simplify]: Simplify x into x 12.198 * [taylor]: Taking taylor expansion of x in y 12.198 * [backup-simplify]: Simplify x into x 12.198 * [backup-simplify]: Simplify (+ 0 x) into x 12.198 * [taylor]: Taking taylor expansion of x in t 12.198 * [backup-simplify]: Simplify x into x 12.198 * [backup-simplify]: Simplify (- x) into (- x) 12.198 * [backup-simplify]: Simplify (+ z (- x)) into (- z x) 12.198 * [backup-simplify]: Simplify (* (/ 1 t) (- z x)) into (/ (- z x) t) 12.198 * [backup-simplify]: Simplify (+ (/ (- z x) t) 0) into (- (/ z t) (/ x t)) 12.198 * [taylor]: Taking taylor expansion of (- (/ z t) (/ x t)) in t 12.198 * [taylor]: Taking taylor expansion of (/ z t) in t 12.198 * [taylor]: Taking taylor expansion of z in t 12.198 * [backup-simplify]: Simplify z into z 12.198 * [taylor]: Taking taylor expansion of t in t 12.198 * [backup-simplify]: Simplify 0 into 0 12.198 * [backup-simplify]: Simplify 1 into 1 12.198 * [backup-simplify]: Simplify (/ z 1) into z 12.198 * [taylor]: Taking taylor expansion of (/ x t) in t 12.198 * [taylor]: Taking taylor expansion of x in t 12.198 * [backup-simplify]: Simplify x into x 12.198 * [taylor]: Taking taylor expansion of t in t 12.198 * [backup-simplify]: Simplify 0 into 0 12.198 * [backup-simplify]: Simplify 1 into 1 12.198 * [backup-simplify]: Simplify (/ x 1) into x 12.198 * [backup-simplify]: Simplify (- x) into (- x) 12.198 * [backup-simplify]: Simplify (+ z (- x)) into (- z x) 12.199 * [taylor]: Taking taylor expansion of (- z x) in z 12.199 * [taylor]: Taking taylor expansion of z in z 12.199 * [backup-simplify]: Simplify 0 into 0 12.199 * [backup-simplify]: Simplify 1 into 1 12.199 * [taylor]: Taking taylor expansion of x in z 12.199 * [backup-simplify]: Simplify x into x 12.199 * [backup-simplify]: Simplify (- x) into (- x) 12.199 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x) 12.199 * [taylor]: Taking taylor expansion of (- x) in x 12.199 * [taylor]: Taking taylor expansion of x in x 12.199 * [backup-simplify]: Simplify 0 into 0 12.199 * [backup-simplify]: Simplify 1 into 1 12.199 * [backup-simplify]: Simplify (- 0) into 0 12.199 * [backup-simplify]: Simplify 0 into 0 12.199 * [taylor]: Taking taylor expansion of x in z 12.199 * [backup-simplify]: Simplify x into x 12.199 * [taylor]: Taking taylor expansion of x in x 12.199 * [backup-simplify]: Simplify 0 into 0 12.199 * [backup-simplify]: Simplify 1 into 1 12.199 * [backup-simplify]: Simplify 0 into 0 12.200 * [backup-simplify]: Simplify (- 0) into 0 12.200 * [backup-simplify]: Simplify (+ 0 0) into 0 12.200 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ 1 t) (/ 0 t)))) into 0 12.200 * [backup-simplify]: Simplify (+ (* (/ 1 t) 0) (* 0 (- z x))) into 0 12.200 * [backup-simplify]: Simplify (+ 0 0) into 0 12.200 * [taylor]: Taking taylor expansion of 0 in t 12.200 * [backup-simplify]: Simplify 0 into 0 12.201 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 12.202 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* x (/ 0 1)))) into 0 12.203 * [backup-simplify]: Simplify (- 0) into 0 12.203 * [backup-simplify]: Simplify (+ 0 0) into 0 12.203 * [taylor]: Taking taylor expansion of 0 in z 12.203 * [backup-simplify]: Simplify 0 into 0 12.203 * [taylor]: Taking taylor expansion of 0 in x 12.203 * [backup-simplify]: Simplify 0 into 0 12.203 * [backup-simplify]: Simplify 0 into 0 12.203 * [taylor]: Taking taylor expansion of 0 in z 12.203 * [backup-simplify]: Simplify 0 into 0 12.203 * [taylor]: Taking taylor expansion of 0 in x 12.203 * [backup-simplify]: Simplify 0 into 0 12.203 * [backup-simplify]: Simplify 0 into 0 12.204 * [backup-simplify]: Simplify (- 0) into 0 12.204 * [backup-simplify]: Simplify (+ 1 0) into 1 12.204 * [taylor]: Taking taylor expansion of 1 in x 12.204 * [backup-simplify]: Simplify 1 into 1 12.204 * [backup-simplify]: Simplify 1 into 1 12.204 * [taylor]: Taking taylor expansion of 0 in x 12.204 * [backup-simplify]: Simplify 0 into 0 12.204 * [backup-simplify]: Simplify 0 into 0 12.205 * [backup-simplify]: Simplify (- 1) into -1 12.205 * [backup-simplify]: Simplify -1 into -1 12.205 * [backup-simplify]: Simplify 1 into 1 12.206 * [backup-simplify]: Simplify (+ (* 1 (* x (* 1 (* 1 1)))) (+ (* -1 (* x (* 1 (* (/ 1 t) y)))) (* 1 (* 1 (* z (* (/ 1 t) y)))))) into (- (+ (/ (* z y) t) x) (/ (* x y) t)) 12.206 * [backup-simplify]: Simplify (fma (/ (/ 1 y) (/ 1 t)) (- (/ 1 z) (/ 1 x)) (/ 1 x)) into (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) 12.206 * [approximate]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in (y t z x) around 0 12.206 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in x 12.207 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 12.207 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in x 12.207 * [taylor]: Taking taylor expansion of (/ t y) in x 12.207 * [taylor]: Taking taylor expansion of t in x 12.207 * [backup-simplify]: Simplify t into t 12.207 * [taylor]: Taking taylor expansion of y in x 12.207 * [backup-simplify]: Simplify y into y 12.207 * [backup-simplify]: Simplify (/ t y) into (/ t y) 12.207 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 12.207 * [taylor]: Taking taylor expansion of (/ 1 z) in x 12.207 * [taylor]: Taking taylor expansion of z in x 12.207 * [backup-simplify]: Simplify z into z 12.207 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 12.207 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.207 * [taylor]: Taking taylor expansion of x in x 12.207 * [backup-simplify]: Simplify 0 into 0 12.207 * [backup-simplify]: Simplify 1 into 1 12.208 * [backup-simplify]: Simplify (/ 1 1) into 1 12.208 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.208 * [taylor]: Taking taylor expansion of x in x 12.208 * [backup-simplify]: Simplify 0 into 0 12.208 * [backup-simplify]: Simplify 1 into 1 12.208 * [backup-simplify]: Simplify (/ 1 1) into 1 12.208 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in z 12.208 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 12.208 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in z 12.208 * [taylor]: Taking taylor expansion of (/ t y) in z 12.208 * [taylor]: Taking taylor expansion of t in z 12.208 * [backup-simplify]: Simplify t into t 12.208 * [taylor]: Taking taylor expansion of y in z 12.208 * [backup-simplify]: Simplify y into y 12.208 * [backup-simplify]: Simplify (/ t y) into (/ t y) 12.209 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 12.209 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.209 * [taylor]: Taking taylor expansion of z in z 12.209 * [backup-simplify]: Simplify 0 into 0 12.209 * [backup-simplify]: Simplify 1 into 1 12.209 * [backup-simplify]: Simplify (/ 1 1) into 1 12.209 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.209 * [taylor]: Taking taylor expansion of x in z 12.209 * [backup-simplify]: Simplify x into x 12.209 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.209 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.209 * [taylor]: Taking taylor expansion of x in z 12.209 * [backup-simplify]: Simplify x into x 12.209 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.209 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in t 12.209 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 12.210 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in t 12.210 * [taylor]: Taking taylor expansion of (/ t y) in t 12.210 * [taylor]: Taking taylor expansion of t in t 12.210 * [backup-simplify]: Simplify 0 into 0 12.210 * [backup-simplify]: Simplify 1 into 1 12.210 * [taylor]: Taking taylor expansion of y in t 12.210 * [backup-simplify]: Simplify y into y 12.210 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 12.210 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in t 12.210 * [taylor]: Taking taylor expansion of (/ 1 z) in t 12.210 * [taylor]: Taking taylor expansion of z in t 12.210 * [backup-simplify]: Simplify z into z 12.210 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 12.210 * [taylor]: Taking taylor expansion of (/ 1 x) in t 12.210 * [taylor]: Taking taylor expansion of x in t 12.210 * [backup-simplify]: Simplify x into x 12.210 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.210 * [taylor]: Taking taylor expansion of (/ 1 x) in t 12.210 * [taylor]: Taking taylor expansion of x in t 12.210 * [backup-simplify]: Simplify x into x 12.210 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.210 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in y 12.210 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 12.210 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in y 12.210 * [taylor]: Taking taylor expansion of (/ t y) in y 12.210 * [taylor]: Taking taylor expansion of t in y 12.211 * [backup-simplify]: Simplify t into t 12.211 * [taylor]: Taking taylor expansion of y in y 12.211 * [backup-simplify]: Simplify 0 into 0 12.211 * [backup-simplify]: Simplify 1 into 1 12.211 * [backup-simplify]: Simplify (/ t 1) into t 12.211 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 12.211 * [taylor]: Taking taylor expansion of (/ 1 z) in y 12.211 * [taylor]: Taking taylor expansion of z in y 12.211 * [backup-simplify]: Simplify z into z 12.211 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 12.211 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.211 * [taylor]: Taking taylor expansion of x in y 12.211 * [backup-simplify]: Simplify x into x 12.211 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.211 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.211 * [taylor]: Taking taylor expansion of x in y 12.211 * [backup-simplify]: Simplify x into x 12.211 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.211 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in y 12.211 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 z) (/ 1 x))) (/ 1 x)) 12.211 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 z) (/ 1 x))) in y 12.211 * [taylor]: Taking taylor expansion of (/ t y) in y 12.212 * [taylor]: Taking taylor expansion of t in y 12.212 * [backup-simplify]: Simplify t into t 12.212 * [taylor]: Taking taylor expansion of y in y 12.212 * [backup-simplify]: Simplify 0 into 0 12.212 * [backup-simplify]: Simplify 1 into 1 12.212 * [backup-simplify]: Simplify (/ t 1) into t 12.212 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 12.212 * [taylor]: Taking taylor expansion of (/ 1 z) in y 12.212 * [taylor]: Taking taylor expansion of z in y 12.212 * [backup-simplify]: Simplify z into z 12.212 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 12.212 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.212 * [taylor]: Taking taylor expansion of x in y 12.212 * [backup-simplify]: Simplify x into x 12.212 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.212 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.212 * [taylor]: Taking taylor expansion of x in y 12.212 * [backup-simplify]: Simplify x into x 12.212 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.212 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 12.212 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 x))) into (- (/ 1 z) (/ 1 x)) 12.213 * [backup-simplify]: Simplify (* t (- (/ 1 z) (/ 1 x))) into (* t (- (/ 1 z) (/ 1 x))) 12.213 * [backup-simplify]: Simplify (+ (* t (- (/ 1 z) (/ 1 x))) 0) into (- (/ t z) (/ t x)) 12.213 * [taylor]: Taking taylor expansion of (- (/ t z) (/ t x)) in t 12.213 * [taylor]: Taking taylor expansion of (/ t z) in t 12.213 * [taylor]: Taking taylor expansion of t in t 12.213 * [backup-simplify]: Simplify 0 into 0 12.213 * [backup-simplify]: Simplify 1 into 1 12.213 * [taylor]: Taking taylor expansion of z in t 12.213 * [backup-simplify]: Simplify z into z 12.213 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 12.213 * [taylor]: Taking taylor expansion of (/ t x) in t 12.213 * [taylor]: Taking taylor expansion of t in t 12.213 * [backup-simplify]: Simplify 0 into 0 12.213 * [backup-simplify]: Simplify 1 into 1 12.213 * [taylor]: Taking taylor expansion of x in t 12.213 * [backup-simplify]: Simplify x into x 12.213 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.213 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 12.214 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 12.214 * [backup-simplify]: Simplify (- 0) into 0 12.215 * [backup-simplify]: Simplify (+ 0 0) into 0 12.216 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0 12.216 * [backup-simplify]: Simplify (+ (* t 0) (* 0 (- (/ 1 z) (/ 1 x)))) into 0 12.216 * [backup-simplify]: Simplify (+ 0 (/ 1 x)) into (/ 1 x) 12.216 * [taylor]: Taking taylor expansion of (/ 1 x) in t 12.216 * [taylor]: Taking taylor expansion of x in t 12.216 * [backup-simplify]: Simplify x into x 12.216 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.216 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.216 * [taylor]: Taking taylor expansion of x in z 12.216 * [backup-simplify]: Simplify x into x 12.216 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.216 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 12.216 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 x))) into (- (/ 1 z) (/ 1 x)) 12.216 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 12.216 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.217 * [taylor]: Taking taylor expansion of z in z 12.217 * [backup-simplify]: Simplify 0 into 0 12.217 * [backup-simplify]: Simplify 1 into 1 12.217 * [backup-simplify]: Simplify (/ 1 1) into 1 12.217 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.217 * [taylor]: Taking taylor expansion of x in z 12.217 * [backup-simplify]: Simplify x into x 12.217 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.218 * [backup-simplify]: Simplify (+ 1 0) into 1 12.218 * [taylor]: Taking taylor expansion of 1 in x 12.218 * [backup-simplify]: Simplify 1 into 1 12.218 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 12.218 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 12.219 * [backup-simplify]: Simplify (- 0) into 0 12.219 * [backup-simplify]: Simplify (+ 0 0) into 0 12.221 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.221 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (* 0 (- (/ 1 z) (/ 1 x))))) into 0 12.221 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 12.222 * [backup-simplify]: Simplify (+ 0 0) into 0 12.222 * [taylor]: Taking taylor expansion of 0 in t 12.222 * [backup-simplify]: Simplify 0 into 0 12.222 * [taylor]: Taking taylor expansion of 0 in z 12.222 * [backup-simplify]: Simplify 0 into 0 12.222 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 12.222 * [taylor]: Taking taylor expansion of 0 in z 12.222 * [backup-simplify]: Simplify 0 into 0 12.222 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0 12.222 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0 12.223 * [backup-simplify]: Simplify (- 0) into 0 12.223 * [backup-simplify]: Simplify (+ 0 0) into 0 12.223 * [taylor]: Taking taylor expansion of 0 in z 12.223 * [backup-simplify]: Simplify 0 into 0 12.223 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.223 * [taylor]: Taking taylor expansion of x in x 12.223 * [backup-simplify]: Simplify 0 into 0 12.223 * [backup-simplify]: Simplify 1 into 1 12.224 * [backup-simplify]: Simplify (/ 1 1) into 1 12.224 * [backup-simplify]: Simplify 1 into 1 12.225 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 12.225 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 12.225 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x)) 12.225 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 12.225 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.225 * [taylor]: Taking taylor expansion of x in x 12.225 * [backup-simplify]: Simplify 0 into 0 12.225 * [backup-simplify]: Simplify 1 into 1 12.226 * [backup-simplify]: Simplify (/ 1 1) into 1 12.226 * [backup-simplify]: Simplify (- 1) into -1 12.226 * [backup-simplify]: Simplify -1 into -1 12.226 * [backup-simplify]: Simplify 1 into 1 12.228 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 z)) (* (/ 1 t) (/ 1 (/ 1 y)))))) (+ (* -1 (* (/ 1 (/ 1 x)) (* 1 (* (/ 1 t) (/ 1 (/ 1 y)))))) (* 1 (* (/ 1 (/ 1 x)) (* 1 (* 1 1)))))) into (- (+ (/ (* z y) t) x) (/ (* x y) t)) 12.228 * [backup-simplify]: Simplify (fma (/ (/ 1 (- y)) (/ 1 (- t))) (- (/ 1 (- z)) (/ 1 (- x))) (/ 1 (- x))) into (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) 12.228 * [approximate]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in (y t z x) around 0 12.228 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in x 12.228 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 12.228 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in x 12.229 * [taylor]: Taking taylor expansion of (/ t y) in x 12.229 * [taylor]: Taking taylor expansion of t in x 12.229 * [backup-simplify]: Simplify t into t 12.229 * [taylor]: Taking taylor expansion of y in x 12.229 * [backup-simplify]: Simplify y into y 12.229 * [backup-simplify]: Simplify (/ t y) into (/ t y) 12.229 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 12.229 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.229 * [taylor]: Taking taylor expansion of x in x 12.229 * [backup-simplify]: Simplify 0 into 0 12.229 * [backup-simplify]: Simplify 1 into 1 12.229 * [backup-simplify]: Simplify (/ 1 1) into 1 12.229 * [taylor]: Taking taylor expansion of (/ 1 z) in x 12.229 * [taylor]: Taking taylor expansion of z in x 12.229 * [backup-simplify]: Simplify z into z 12.229 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 12.229 * [taylor]: Taking taylor expansion of (/ -1 x) in x 12.230 * [taylor]: Taking taylor expansion of -1 in x 12.230 * [backup-simplify]: Simplify -1 into -1 12.230 * [taylor]: Taking taylor expansion of x in x 12.230 * [backup-simplify]: Simplify 0 into 0 12.230 * [backup-simplify]: Simplify 1 into 1 12.230 * [backup-simplify]: Simplify (/ -1 1) into -1 12.230 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in z 12.230 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 12.230 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in z 12.230 * [taylor]: Taking taylor expansion of (/ t y) in z 12.230 * [taylor]: Taking taylor expansion of t in z 12.230 * [backup-simplify]: Simplify t into t 12.230 * [taylor]: Taking taylor expansion of y in z 12.231 * [backup-simplify]: Simplify y into y 12.231 * [backup-simplify]: Simplify (/ t y) into (/ t y) 12.231 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 12.231 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.231 * [taylor]: Taking taylor expansion of x in z 12.231 * [backup-simplify]: Simplify x into x 12.231 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.231 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.231 * [taylor]: Taking taylor expansion of z in z 12.231 * [backup-simplify]: Simplify 0 into 0 12.231 * [backup-simplify]: Simplify 1 into 1 12.231 * [backup-simplify]: Simplify (/ 1 1) into 1 12.231 * [taylor]: Taking taylor expansion of (/ -1 x) in z 12.231 * [taylor]: Taking taylor expansion of -1 in z 12.231 * [backup-simplify]: Simplify -1 into -1 12.231 * [taylor]: Taking taylor expansion of x in z 12.232 * [backup-simplify]: Simplify x into x 12.232 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 12.232 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in t 12.232 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 12.232 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in t 12.232 * [taylor]: Taking taylor expansion of (/ t y) in t 12.232 * [taylor]: Taking taylor expansion of t in t 12.232 * [backup-simplify]: Simplify 0 into 0 12.232 * [backup-simplify]: Simplify 1 into 1 12.232 * [taylor]: Taking taylor expansion of y in t 12.232 * [backup-simplify]: Simplify y into y 12.232 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 12.232 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in t 12.232 * [taylor]: Taking taylor expansion of (/ 1 x) in t 12.232 * [taylor]: Taking taylor expansion of x in t 12.232 * [backup-simplify]: Simplify x into x 12.232 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.232 * [taylor]: Taking taylor expansion of (/ 1 z) in t 12.232 * [taylor]: Taking taylor expansion of z in t 12.232 * [backup-simplify]: Simplify z into z 12.232 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 12.232 * [taylor]: Taking taylor expansion of (/ -1 x) in t 12.232 * [taylor]: Taking taylor expansion of -1 in t 12.233 * [backup-simplify]: Simplify -1 into -1 12.233 * [taylor]: Taking taylor expansion of x in t 12.233 * [backup-simplify]: Simplify x into x 12.233 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 12.233 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in y 12.233 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 12.233 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in y 12.233 * [taylor]: Taking taylor expansion of (/ t y) in y 12.233 * [taylor]: Taking taylor expansion of t in y 12.233 * [backup-simplify]: Simplify t into t 12.233 * [taylor]: Taking taylor expansion of y in y 12.233 * [backup-simplify]: Simplify 0 into 0 12.233 * [backup-simplify]: Simplify 1 into 1 12.233 * [backup-simplify]: Simplify (/ t 1) into t 12.233 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 12.233 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.233 * [taylor]: Taking taylor expansion of x in y 12.233 * [backup-simplify]: Simplify x into x 12.233 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.233 * [taylor]: Taking taylor expansion of (/ 1 z) in y 12.233 * [taylor]: Taking taylor expansion of z in y 12.233 * [backup-simplify]: Simplify z into z 12.233 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 12.233 * [taylor]: Taking taylor expansion of (/ -1 x) in y 12.233 * [taylor]: Taking taylor expansion of -1 in y 12.233 * [backup-simplify]: Simplify -1 into -1 12.233 * [taylor]: Taking taylor expansion of x in y 12.233 * [backup-simplify]: Simplify x into x 12.233 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 12.233 * [taylor]: Taking taylor expansion of (fma (/ t y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in y 12.233 * [taylor]: Rewrote expression to (+ (* (/ t y) (- (/ 1 x) (/ 1 z))) (/ -1 x)) 12.233 * [taylor]: Taking taylor expansion of (* (/ t y) (- (/ 1 x) (/ 1 z))) in y 12.233 * [taylor]: Taking taylor expansion of (/ t y) in y 12.233 * [taylor]: Taking taylor expansion of t in y 12.233 * [backup-simplify]: Simplify t into t 12.233 * [taylor]: Taking taylor expansion of y in y 12.233 * [backup-simplify]: Simplify 0 into 0 12.233 * [backup-simplify]: Simplify 1 into 1 12.233 * [backup-simplify]: Simplify (/ t 1) into t 12.234 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 12.234 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.234 * [taylor]: Taking taylor expansion of x in y 12.234 * [backup-simplify]: Simplify x into x 12.234 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.234 * [taylor]: Taking taylor expansion of (/ 1 z) in y 12.234 * [taylor]: Taking taylor expansion of z in y 12.234 * [backup-simplify]: Simplify z into z 12.234 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 12.234 * [taylor]: Taking taylor expansion of (/ -1 x) in y 12.234 * [taylor]: Taking taylor expansion of -1 in y 12.234 * [backup-simplify]: Simplify -1 into -1 12.234 * [taylor]: Taking taylor expansion of x in y 12.234 * [backup-simplify]: Simplify x into x 12.234 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 12.234 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 12.234 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z)) 12.234 * [backup-simplify]: Simplify (* t (- (/ 1 x) (/ 1 z))) into (* t (- (/ 1 x) (/ 1 z))) 12.234 * [backup-simplify]: Simplify (+ (* t (- (/ 1 x) (/ 1 z))) 0) into (- (/ t x) (/ t z)) 12.234 * [taylor]: Taking taylor expansion of (- (/ t x) (/ t z)) in t 12.234 * [taylor]: Taking taylor expansion of (/ t x) in t 12.234 * [taylor]: Taking taylor expansion of t in t 12.234 * [backup-simplify]: Simplify 0 into 0 12.234 * [backup-simplify]: Simplify 1 into 1 12.234 * [taylor]: Taking taylor expansion of x in t 12.234 * [backup-simplify]: Simplify x into x 12.234 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.234 * [taylor]: Taking taylor expansion of (/ t z) in t 12.234 * [taylor]: Taking taylor expansion of t in t 12.234 * [backup-simplify]: Simplify 0 into 0 12.234 * [backup-simplify]: Simplify 1 into 1 12.234 * [taylor]: Taking taylor expansion of z in t 12.234 * [backup-simplify]: Simplify z into z 12.234 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 12.235 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 12.235 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 12.235 * [backup-simplify]: Simplify (- 0) into 0 12.235 * [backup-simplify]: Simplify (+ 0 0) into 0 12.236 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0 12.236 * [backup-simplify]: Simplify (+ (* t 0) (* 0 (- (/ 1 x) (/ 1 z)))) into 0 12.236 * [backup-simplify]: Simplify (+ 0 (/ -1 x)) into (- (/ 1 x)) 12.236 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in t 12.236 * [taylor]: Taking taylor expansion of (/ 1 x) in t 12.236 * [taylor]: Taking taylor expansion of x in t 12.236 * [backup-simplify]: Simplify x into x 12.236 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.236 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 12.236 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z 12.236 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.236 * [taylor]: Taking taylor expansion of x in z 12.236 * [backup-simplify]: Simplify x into x 12.236 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.236 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 12.236 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z)) 12.236 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 12.236 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.236 * [taylor]: Taking taylor expansion of x in z 12.236 * [backup-simplify]: Simplify x into x 12.236 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.237 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.237 * [taylor]: Taking taylor expansion of z in z 12.237 * [backup-simplify]: Simplify 0 into 0 12.237 * [backup-simplify]: Simplify 1 into 1 12.237 * [backup-simplify]: Simplify (/ 1 1) into 1 12.237 * [backup-simplify]: Simplify (- 1) into -1 12.237 * [backup-simplify]: Simplify (+ 0 -1) into -1 12.237 * [taylor]: Taking taylor expansion of -1 in x 12.237 * [backup-simplify]: Simplify -1 into -1 12.238 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 12.238 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 12.238 * [backup-simplify]: Simplify (- 0) into 0 12.238 * [backup-simplify]: Simplify (+ 0 0) into 0 12.239 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.239 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (* 0 (- (/ 1 x) (/ 1 z))))) into 0 12.239 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 12.240 * [backup-simplify]: Simplify (+ 0 0) into 0 12.240 * [taylor]: Taking taylor expansion of 0 in t 12.240 * [backup-simplify]: Simplify 0 into 0 12.240 * [taylor]: Taking taylor expansion of 0 in z 12.240 * [backup-simplify]: Simplify 0 into 0 12.240 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 12.240 * [backup-simplify]: Simplify (- 0) into 0 12.240 * [taylor]: Taking taylor expansion of 0 in z 12.240 * [backup-simplify]: Simplify 0 into 0 12.240 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0 12.240 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0 12.241 * [backup-simplify]: Simplify (- 0) into 0 12.241 * [backup-simplify]: Simplify (+ 0 0) into 0 12.241 * [taylor]: Taking taylor expansion of 0 in z 12.241 * [backup-simplify]: Simplify 0 into 0 12.241 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 12.241 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 12.241 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.241 * [taylor]: Taking taylor expansion of x in x 12.241 * [backup-simplify]: Simplify 0 into 0 12.241 * [backup-simplify]: Simplify 1 into 1 12.241 * [backup-simplify]: Simplify (/ 1 1) into 1 12.242 * [backup-simplify]: Simplify (- 1) into -1 12.242 * [backup-simplify]: Simplify -1 into -1 12.242 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 12.242 * [backup-simplify]: Simplify (- 0) into 0 12.242 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x) 12.242 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.242 * [taylor]: Taking taylor expansion of x in x 12.242 * [backup-simplify]: Simplify 0 into 0 12.242 * [backup-simplify]: Simplify 1 into 1 12.243 * [backup-simplify]: Simplify (/ 1 1) into 1 12.243 * [backup-simplify]: Simplify 1 into 1 12.243 * [backup-simplify]: Simplify -1 into -1 12.244 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* (/ 1 (/ 1 (- z))) (* (/ 1 (- t)) (/ 1 (/ 1 (- y))))))) (+ (* 1 (* (/ 1 (/ 1 (- x))) (* 1 (* (/ 1 (- t)) (/ 1 (/ 1 (- y))))))) (* -1 (* (/ 1 (/ 1 (- x))) (* 1 (* 1 1)))))) into (- (+ (/ (* z y) t) x) (/ (* x y) t)) 12.244 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 12.244 * [backup-simplify]: Simplify (cbrt (fma (/ y t) (- z x) x)) into (pow (fma (/ y t) (- z x) x) 1/3) 12.244 * [approximate]: Taking taylor expansion of (pow (fma (/ y t) (- z x) x) 1/3) in (y t z x) around 0 12.244 * [taylor]: Taking taylor expansion of (pow (fma (/ y t) (- z x) x) 1/3) in x 12.244 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ y t) (- z x) x)))) in x 12.244 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ y t) (- z x) x))) in x 12.244 * [taylor]: Taking taylor expansion of 1/3 in x 12.244 * [backup-simplify]: Simplify 1/3 into 1/3 12.244 * [taylor]: Taking taylor expansion of (log (fma (/ y t) (- z x) x)) in x 12.244 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in x 12.244 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 12.245 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in x 12.245 * [taylor]: Taking taylor expansion of (/ y t) in x 12.245 * [taylor]: Taking taylor expansion of y in x 12.245 * [backup-simplify]: Simplify y into y 12.245 * [taylor]: Taking taylor expansion of t in x 12.245 * [backup-simplify]: Simplify t into t 12.245 * [backup-simplify]: Simplify (/ y t) into (/ y t) 12.245 * [taylor]: Taking taylor expansion of (- z x) in x 12.245 * [taylor]: Taking taylor expansion of z in x 12.245 * [backup-simplify]: Simplify z into z 12.245 * [taylor]: Taking taylor expansion of x in x 12.245 * [backup-simplify]: Simplify 0 into 0 12.245 * [backup-simplify]: Simplify 1 into 1 12.245 * [taylor]: Taking taylor expansion of x in x 12.245 * [backup-simplify]: Simplify 0 into 0 12.245 * [backup-simplify]: Simplify 1 into 1 12.245 * [backup-simplify]: Simplify (- 0) into 0 12.245 * [backup-simplify]: Simplify (+ z 0) into z 12.245 * [backup-simplify]: Simplify (* (/ y t) z) into (/ (* z y) t) 12.245 * [backup-simplify]: Simplify (+ (/ (* z y) t) 0) into (/ (* z y) t) 12.245 * [backup-simplify]: Simplify (log (/ (* z y) t)) into (log (/ (* z y) t)) 12.245 * [backup-simplify]: Simplify (* 1/3 (log (/ (* z y) t))) into (* 1/3 (log (/ (* z y) t))) 12.245 * [backup-simplify]: Simplify (exp (* 1/3 (log (/ (* z y) t)))) into (pow (/ (* z y) t) 1/3) 12.245 * [taylor]: Taking taylor expansion of (pow (fma (/ y t) (- z x) x) 1/3) in z 12.246 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ y t) (- z x) x)))) in z 12.246 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ y t) (- z x) x))) in z 12.246 * [taylor]: Taking taylor expansion of 1/3 in z 12.246 * [backup-simplify]: Simplify 1/3 into 1/3 12.246 * [taylor]: Taking taylor expansion of (log (fma (/ y t) (- z x) x)) in z 12.246 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in z 12.246 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 12.246 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in z 12.246 * [taylor]: Taking taylor expansion of (/ y t) in z 12.246 * [taylor]: Taking taylor expansion of y in z 12.246 * [backup-simplify]: Simplify y into y 12.246 * [taylor]: Taking taylor expansion of t in z 12.246 * [backup-simplify]: Simplify t into t 12.246 * [backup-simplify]: Simplify (/ y t) into (/ y t) 12.246 * [taylor]: Taking taylor expansion of (- z x) in z 12.246 * [taylor]: Taking taylor expansion of z in z 12.246 * [backup-simplify]: Simplify 0 into 0 12.246 * [backup-simplify]: Simplify 1 into 1 12.246 * [taylor]: Taking taylor expansion of x in z 12.246 * [backup-simplify]: Simplify x into x 12.246 * [taylor]: Taking taylor expansion of x in z 12.246 * [backup-simplify]: Simplify x into x 12.246 * [backup-simplify]: Simplify (- x) into (- x) 12.246 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x) 12.246 * [backup-simplify]: Simplify (* (/ y t) (- x)) into (* -1 (/ (* x y) t)) 12.246 * [backup-simplify]: Simplify (+ (* -1 (/ (* x y) t)) x) into (- x (/ (* x y) t)) 12.246 * [backup-simplify]: Simplify (log (- x (/ (* x y) t))) into (log (- x (/ (* x y) t))) 12.246 * [backup-simplify]: Simplify (* 1/3 (log (- x (/ (* x y) t)))) into (* 1/3 (log (- x (/ (* x y) t)))) 12.247 * [backup-simplify]: Simplify (exp (* 1/3 (log (- x (/ (* x y) t))))) into (pow (- x (/ (* x y) t)) 1/3) 12.247 * [taylor]: Taking taylor expansion of (pow (fma (/ y t) (- z x) x) 1/3) in t 12.247 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ y t) (- z x) x)))) in t 12.247 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ y t) (- z x) x))) in t 12.247 * [taylor]: Taking taylor expansion of 1/3 in t 12.247 * [backup-simplify]: Simplify 1/3 into 1/3 12.247 * [taylor]: Taking taylor expansion of (log (fma (/ y t) (- z x) x)) in t 12.247 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in t 12.247 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 12.247 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in t 12.247 * [taylor]: Taking taylor expansion of (/ y t) in t 12.247 * [taylor]: Taking taylor expansion of y in t 12.247 * [backup-simplify]: Simplify y into y 12.247 * [taylor]: Taking taylor expansion of t in t 12.247 * [backup-simplify]: Simplify 0 into 0 12.247 * [backup-simplify]: Simplify 1 into 1 12.247 * [backup-simplify]: Simplify (/ y 1) into y 12.247 * [taylor]: Taking taylor expansion of (- z x) in t 12.247 * [taylor]: Taking taylor expansion of z in t 12.247 * [backup-simplify]: Simplify z into z 12.247 * [taylor]: Taking taylor expansion of x in t 12.247 * [backup-simplify]: Simplify x into x 12.247 * [taylor]: Taking taylor expansion of x in t 12.247 * [backup-simplify]: Simplify x into x 12.247 * [backup-simplify]: Simplify (- x) into (- x) 12.247 * [backup-simplify]: Simplify (+ z (- x)) into (- z x) 12.247 * [backup-simplify]: Simplify (* y (- z x)) into (* y (- z x)) 12.247 * [backup-simplify]: Simplify (+ (* y (- z x)) 0) into (- (* z y) (* x y)) 12.247 * [backup-simplify]: Simplify (log (- (* z y) (* x y))) into (log (- (* z y) (* x y))) 12.248 * [backup-simplify]: Simplify (+ (* (- 1) (log t)) (log (- (* z y) (* x y)))) into (- (log (- (* z y) (* x y))) (log t)) 12.248 * [backup-simplify]: Simplify (* 1/3 (- (log (- (* z y) (* x y))) (log t))) into (* 1/3 (- (log (- (* z y) (* x y))) (log t))) 12.248 * [backup-simplify]: Simplify (exp (* 1/3 (- (log (- (* z y) (* x y))) (log t)))) into (exp (* 1/3 (- (log (- (* z y) (* x y))) (log t)))) 12.248 * [taylor]: Taking taylor expansion of (pow (fma (/ y t) (- z x) x) 1/3) in y 12.248 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ y t) (- z x) x)))) in y 12.248 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ y t) (- z x) x))) in y 12.248 * [taylor]: Taking taylor expansion of 1/3 in y 12.248 * [backup-simplify]: Simplify 1/3 into 1/3 12.248 * [taylor]: Taking taylor expansion of (log (fma (/ y t) (- z x) x)) in y 12.248 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in y 12.248 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 12.248 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in y 12.248 * [taylor]: Taking taylor expansion of (/ y t) in y 12.248 * [taylor]: Taking taylor expansion of y in y 12.248 * [backup-simplify]: Simplify 0 into 0 12.248 * [backup-simplify]: Simplify 1 into 1 12.248 * [taylor]: Taking taylor expansion of t in y 12.248 * [backup-simplify]: Simplify t into t 12.249 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 12.249 * [taylor]: Taking taylor expansion of (- z x) in y 12.249 * [taylor]: Taking taylor expansion of z in y 12.249 * [backup-simplify]: Simplify z into z 12.249 * [taylor]: Taking taylor expansion of x in y 12.249 * [backup-simplify]: Simplify x into x 12.249 * [taylor]: Taking taylor expansion of x in y 12.249 * [backup-simplify]: Simplify x into x 12.249 * [backup-simplify]: Simplify (+ 0 x) into x 12.249 * [backup-simplify]: Simplify (log x) into (log x) 12.249 * [backup-simplify]: Simplify (* 1/3 (log x)) into (* 1/3 (log x)) 12.249 * [backup-simplify]: Simplify (exp (* 1/3 (log x))) into (pow x 1/3) 12.249 * [taylor]: Taking taylor expansion of (pow (fma (/ y t) (- z x) x) 1/3) in y 12.249 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ y t) (- z x) x)))) in y 12.249 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ y t) (- z x) x))) in y 12.249 * [taylor]: Taking taylor expansion of 1/3 in y 12.249 * [backup-simplify]: Simplify 1/3 into 1/3 12.249 * [taylor]: Taking taylor expansion of (log (fma (/ y t) (- z x) x)) in y 12.249 * [taylor]: Taking taylor expansion of (fma (/ y t) (- z x) x) in y 12.249 * [taylor]: Rewrote expression to (+ (* (/ y t) (- z x)) x) 12.249 * [taylor]: Taking taylor expansion of (* (/ y t) (- z x)) in y 12.249 * [taylor]: Taking taylor expansion of (/ y t) in y 12.249 * [taylor]: Taking taylor expansion of y in y 12.249 * [backup-simplify]: Simplify 0 into 0 12.249 * [backup-simplify]: Simplify 1 into 1 12.249 * [taylor]: Taking taylor expansion of t in y 12.249 * [backup-simplify]: Simplify t into t 12.249 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t) 12.249 * [taylor]: Taking taylor expansion of (- z x) in y 12.249 * [taylor]: Taking taylor expansion of z in y 12.249 * [backup-simplify]: Simplify z into z 12.249 * [taylor]: Taking taylor expansion of x in y 12.249 * [backup-simplify]: Simplify x into x 12.249 * [taylor]: Taking taylor expansion of x in y 12.249 * [backup-simplify]: Simplify x into x 12.249 * [backup-simplify]: Simplify (+ 0 x) into x 12.249 * [backup-simplify]: Simplify (log x) into (log x) 12.249 * [backup-simplify]: Simplify (* 1/3 (log x)) into (* 1/3 (log x)) 12.249 * [backup-simplify]: Simplify (exp (* 1/3 (log x))) into (pow x 1/3) 12.249 * [taylor]: Taking taylor expansion of (pow x 1/3) in t 12.250 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in t 12.250 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in t 12.250 * [taylor]: Taking taylor expansion of 1/3 in t 12.250 * [backup-simplify]: Simplify 1/3 into 1/3 12.250 * [taylor]: Taking taylor expansion of (log x) in t 12.250 * [taylor]: Taking taylor expansion of x in t 12.250 * [backup-simplify]: Simplify x into x 12.250 * [backup-simplify]: Simplify (log x) into (log x) 12.250 * [backup-simplify]: Simplify (* 1/3 (log x)) into (* 1/3 (log x)) 12.250 * [backup-simplify]: Simplify (exp (* 1/3 (log x))) into (pow x 1/3) 12.250 * [taylor]: Taking taylor expansion of (pow x 1/3) in z 12.250 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in z 12.250 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in z 12.250 * [taylor]: Taking taylor expansion of 1/3 in z 12.250 * [backup-simplify]: Simplify 1/3 into 1/3 12.250 * [taylor]: Taking taylor expansion of (log x) in z 12.250 * [taylor]: Taking taylor expansion of x in z 12.250 * [backup-simplify]: Simplify x into x 12.250 * [backup-simplify]: Simplify (log x) into (log x) 12.250 * [backup-simplify]: Simplify (* 1/3 (log x)) into (* 1/3 (log x)) 12.250 * [backup-simplify]: Simplify (exp (* 1/3 (log x))) into (pow x 1/3) 12.250 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 12.250 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 12.250 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 12.250 * [taylor]: Taking taylor expansion of 1/3 in x 12.250 * [backup-simplify]: Simplify 1/3 into 1/3 12.250 * [taylor]: Taking taylor expansion of (log x) in x 12.250 * [taylor]: Taking taylor expansion of x in x 12.250 * [backup-simplify]: Simplify 0 into 0 12.250 * [backup-simplify]: Simplify 1 into 1 12.251 * [backup-simplify]: Simplify (log 1) into 0 12.251 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x) 12.251 * [backup-simplify]: Simplify (* 1/3 (log x)) into (* 1/3 (log x)) 12.251 * [backup-simplify]: Simplify (exp (* 1/3 (log x))) into (pow x 1/3) 12.251 * [backup-simplify]: Simplify (pow x 1/3) into (pow x 1/3) 12.251 * [backup-simplify]: Simplify (- x) into (- x) 12.251 * [backup-simplify]: Simplify (+ z (- x)) into (- z x) 12.251 * [backup-simplify]: Simplify (* (/ 1 t) (- z x)) into (/ (- z x) t) 12.251 * [backup-simplify]: Simplify (+ (/ (- z x) t) 0) into (- (/ z t) (/ x t)) 12.252 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- (/ z t) (/ x t))) 1)) (pow x 1)))) 1) into (- (/ z (* t x)) (/ 1 t)) 12.252 * [backup-simplify]: Simplify (+ (* 1/3 (- (/ z (* t x)) (/ 1 t))) (* 0 (log x))) into (- (* 1/3 (/ z (* t x))) (* 1/3 (/ 1 t)))