0.057 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.035 * * * [progress]: [2/2] Setting up program. 0.038 * [progress]: [Phase 2 of 3] Improving. 0.038 * [simplify]: Simplifying: (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) 0.038 * * [simplify]: Extracting # 0 : cost 0 0.038 * * [simplify]: Extracting # 1 : cost 0 0.038 * * [simplify]: Extracting # 2 : cost 0 0.038 * * [simplify]: Extracting # 3 : cost 0 0.038 * * [simplify]: Extracting # 4 : cost 0 0.038 * * [simplify]: Extracting # 5 : cost 0 0.038 * * [simplify]: Extracting # 6 : cost 0 0.038 * * [simplify]: Extracting # 7 : cost 0 0.039 * * [simplify]: iteration 0 : 14 enodes (cost 17 ) 0.040 * * [simplify]: Extracting # 0 : cost 0 0.040 * * [simplify]: Extracting # 1 : cost 0 0.040 * * [simplify]: Extracting # 2 : cost 0 0.041 * * [simplify]: iteration 1 : 24 enodes (cost 16 ) 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 2 : 43 enodes (cost 15 ) 0.051 * * [simplify]: Extracting # 0 : cost 0 0.051 * * [simplify]: Extracting # 1 : cost 0 0.051 * * [simplify]: Extracting # 2 : cost 0 0.052 * * [simplify]: iteration 3 : 75 enodes (cost 15 ) 0.064 * * [simplify]: Extracting # 0 : cost 0 0.064 * * [simplify]: Extracting # 1 : cost 0 0.064 * * [simplify]: Extracting # 2 : cost 0 0.064 * * [simplify]: iteration 4 : 112 enodes (cost 15 ) 0.084 * * [simplify]: Extracting # 0 : cost 0 0.084 * * [simplify]: Extracting # 1 : cost 0 0.084 * * [simplify]: Extracting # 2 : cost 0 0.084 * * [simplify]: Extracting # 3 : cost 0 0.084 * * [simplify]: Extracting # 4 : cost 0 0.084 * * [simplify]: iteration 5 : 148 enodes (cost 15 ) 0.115 * * [simplify]: Extracting # 0 : cost 0 0.115 * * [simplify]: Extracting # 1 : cost 0 0.115 * * [simplify]: Extracting # 2 : cost 0 0.115 * * [simplify]: iteration 6 : 181 enodes (cost 15 ) 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.169 * * [simplify]: Extracting # 4 : cost 0 0.169 * * [simplify]: iteration 7 : 257 enodes (cost 15 ) 0.285 * * [simplify]: Extracting # 0 : cost 0 0.286 * * [simplify]: Extracting # 1 : cost 0 0.286 * * [simplify]: Extracting # 2 : cost 0 0.287 * * [simplify]: iteration 8 : 419 enodes (cost 15 ) 0.485 * * [simplify]: Extracting # 0 : cost 0 0.487 * * [simplify]: Extracting # 1 : cost 0 0.488 * * [simplify]: Extracting # 2 : cost 0 0.489 * * [simplify]: iteration 9 : 728 enodes (cost 15 ) 1.013 * * [simplify]: Extracting # 0 : cost 0 1.015 * * [simplify]: Extracting # 1 : cost 0 1.018 * * [simplify]: Extracting # 2 : cost 0 1.020 * * [simplify]: Extracting # 3 : cost 0 1.022 * * [simplify]: iteration 10 : 1525 enodes (cost 15 ) 3.402 * * [simplify]: Extracting # 0 : cost 0 3.410 * * [simplify]: Extracting # 1 : cost 0 3.416 * * [simplify]: Extracting # 2 : cost 0 3.423 * * [simplify]: Extracting # 3 : cost 0 3.429 * * [simplify]: iteration 11 : 4096 enodes (cost 15 ) 4.700 * * [simplify]: Extracting # 0 : cost 0 4.705 * * [simplify]: Extracting # 1 : cost 0 4.710 * * [simplify]: iteration done: 5000 enodes (cost 15 ) 4.710 * [simplify]: Simplified to: (/ (fma x y (* z (- t a))) (fma z (- b y) y)) 4.714 * * [progress]: iteration 1 / 4 4.714 * * * [progress]: picking best candidate 4.717 * * * * [pick]: Picked # 4.717 * * * [progress]: localizing error 4.737 * * * [progress]: generating rewritten candidates 4.737 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 4.759 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 3) 4.783 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 4.783 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 4.787 * * * [progress]: generating series expansions 4.787 * * * * [progress]: [ 1 / 4 ] generating series at (2) 4.787 * [backup-simplify]: Simplify (/ (fma x y (* z (- t a))) (fma z (- b y) y)) into (/ (fma x y (* (- t a) z)) (fma z (- b y) y)) 4.787 * [approximate]: Taking taylor expansion of (/ (fma x y (* (- t a) z)) (fma z (- b y) y)) in (x y z t a b) around 0 4.787 * [taylor]: Taking taylor expansion of (/ (fma x y (* (- t a) z)) (fma z (- b y) y)) in b 4.787 * [taylor]: Taking taylor expansion of (fma x y (* (- t a) z)) in b 4.787 * [taylor]: Rewrote expression to (+ (* x y) (* (- t a) z)) 4.787 * [taylor]: Taking taylor expansion of (* x y) in b 4.787 * [taylor]: Taking taylor expansion of x in b 4.787 * [backup-simplify]: Simplify x into x 4.787 * [taylor]: Taking taylor expansion of y in b 4.787 * [backup-simplify]: Simplify y into y 4.787 * [taylor]: Taking taylor expansion of (* (- t a) z) in b 4.787 * [taylor]: Taking taylor expansion of (- t a) in b 4.787 * [taylor]: Taking taylor expansion of t in b 4.787 * [backup-simplify]: Simplify t into t 4.787 * [taylor]: Taking taylor expansion of a in b 4.787 * [backup-simplify]: Simplify a into a 4.787 * [taylor]: Taking taylor expansion of z in b 4.787 * [backup-simplify]: Simplify z into z 4.787 * [taylor]: Taking taylor expansion of (fma z (- b y) y) in b 4.788 * [taylor]: Rewrote expression to (+ (* z (- b y)) y) 4.788 * [taylor]: Taking taylor expansion of (* z (- b y)) in b 4.788 * [taylor]: Taking taylor expansion of z in b 4.788 * [backup-simplify]: Simplify z into z 4.788 * [taylor]: Taking taylor expansion of (- b y) in b 4.788 * [taylor]: Taking taylor expansion of b in b 4.788 * [backup-simplify]: Simplify 0 into 0 4.788 * [backup-simplify]: Simplify 1 into 1 4.788 * [taylor]: Taking taylor expansion of y in b 4.788 * [backup-simplify]: Simplify y into y 4.788 * [taylor]: Taking taylor expansion of y in b 4.788 * [backup-simplify]: Simplify y into y 4.788 * [backup-simplify]: Simplify (* x y) into (* x y) 4.788 * [backup-simplify]: Simplify (- a) into (- a) 4.788 * [backup-simplify]: Simplify (+ t (- a)) into (- t a) 4.788 * [backup-simplify]: Simplify (* (- t a) z) into (* (- t a) z) 4.788 * [backup-simplify]: Simplify (+ (* x y) (* (- t a) z)) into (- (+ (* t z) (* x y)) (* a z)) 4.788 * [backup-simplify]: Simplify (- y) into (- y) 4.788 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y) 4.788 * [backup-simplify]: Simplify (* z (- y)) into (* -1 (* z y)) 4.788 * [backup-simplify]: Simplify (+ (* -1 (* z y)) y) into (- y (* z y)) 4.788 * [backup-simplify]: Simplify (/ (- (+ (* t z) (* x y)) (* a z)) (- y (* z y))) into (/ (- (+ (* t z) (* x y)) (* a z)) (- y (* z y))) 4.788 * [taylor]: Taking taylor expansion of (/ (fma x y (* (- t a) z)) (fma z (- b y) y)) in a 4.788 * [taylor]: Taking taylor expansion of (fma x y (* (- t a) z)) in a 4.788 * [taylor]: Rewrote expression to (+ (* x y) (* (- t a) z)) 4.788 * [taylor]: Taking taylor expansion of (* x y) in a 4.788 * [taylor]: Taking taylor expansion of x in a 4.788 * [backup-simplify]: Simplify x into x 4.789 * [taylor]: Taking taylor expansion of y in a 4.789 * [backup-simplify]: Simplify y into y 4.789 * [taylor]: Taking taylor expansion of (* (- t a) z) in a 4.789 * [taylor]: Taking taylor expansion of (- t a) in a 4.789 * [taylor]: Taking taylor expansion of t in a 4.789 * [backup-simplify]: Simplify t into t 4.789 * [taylor]: Taking taylor expansion of a in a 4.789 * [backup-simplify]: Simplify 0 into 0 4.789 * [backup-simplify]: Simplify 1 into 1 4.789 * [taylor]: Taking taylor expansion of z in a 4.789 * [backup-simplify]: Simplify z into z 4.789 * [taylor]: Taking taylor expansion of (fma z (- b y) y) in a 4.789 * [taylor]: Rewrote expression to (+ (* z (- b y)) y) 4.789 * [taylor]: Taking taylor expansion of (* z (- b y)) in a 4.789 * [taylor]: Taking taylor expansion of z in a 4.789 * [backup-simplify]: Simplify z into z 4.789 * [taylor]: Taking taylor expansion of (- b y) in a 4.789 * [taylor]: Taking taylor expansion of b in a 4.789 * [backup-simplify]: Simplify b into b 4.789 * [taylor]: Taking taylor expansion of y in a 4.789 * [backup-simplify]: Simplify y into y 4.789 * [taylor]: Taking taylor expansion of y in a 4.789 * [backup-simplify]: Simplify y into y 4.789 * [backup-simplify]: Simplify (* x y) into (* x y) 4.789 * [backup-simplify]: Simplify (- 0) into 0 4.789 * [backup-simplify]: Simplify (+ t 0) into t 4.790 * [backup-simplify]: Simplify (* t z) into (* t z) 4.790 * [backup-simplify]: Simplify (+ (* x y) (* t z)) into (+ (* t z) (* x y)) 4.790 * [backup-simplify]: Simplify (- y) into (- y) 4.790 * [backup-simplify]: Simplify (+ b (- y)) into (- b y) 4.790 * [backup-simplify]: Simplify (* z (- b y)) into (* (- b y) z) 4.790 * [backup-simplify]: Simplify (+ (* (- b y) z) y) into (- (+ (* z b) y) (* z y)) 4.790 * [backup-simplify]: Simplify (/ (+ (* t z) (* x y)) (- (+ (* z b) y) (* z y))) into (/ (+ (* t z) (* x y)) (- (+ (* z b) y) (* z y))) 4.790 * [taylor]: Taking taylor expansion of (/ (fma x y (* (- t a) z)) (fma z (- b y) y)) in t 4.790 * [taylor]: Taking taylor expansion of (fma x y (* (- t a) z)) in t 4.790 * [taylor]: Rewrote expression to (+ (* x y) (* (- t a) z)) 4.790 * [taylor]: Taking taylor expansion of (* x y) in t 4.790 * [taylor]: Taking taylor expansion of x in t 4.790 * [backup-simplify]: Simplify x into x 4.790 * [taylor]: Taking taylor expansion of y in t 4.790 * [backup-simplify]: Simplify y into y 4.790 * [taylor]: Taking taylor expansion of (* (- t a) z) in t 4.790 * [taylor]: Taking taylor expansion of (- t a) in t 4.790 * [taylor]: Taking taylor expansion of t in t 4.790 * [backup-simplify]: Simplify 0 into 0 4.790 * [backup-simplify]: Simplify 1 into 1 4.790 * [taylor]: Taking taylor expansion of a in t 4.790 * [backup-simplify]: Simplify a into a 4.790 * [taylor]: Taking taylor expansion of z in t 4.790 * [backup-simplify]: Simplify z into z 4.790 * [taylor]: Taking taylor expansion of (fma z (- b y) y) in t 4.790 * [taylor]: Rewrote expression to (+ (* z (- b y)) y) 4.790 * [taylor]: Taking taylor expansion of (* z (- b y)) in t 4.790 * [taylor]: Taking taylor expansion of z in t 4.790 * [backup-simplify]: Simplify z into z 4.790 * [taylor]: Taking taylor expansion of (- b y) in t 4.790 * [taylor]: Taking taylor expansion of b in t 4.791 * [backup-simplify]: Simplify b into b 4.791 * [taylor]: Taking taylor expansion of y in t 4.791 * [backup-simplify]: Simplify y into y 4.791 * [taylor]: Taking taylor expansion of y in t 4.791 * [backup-simplify]: Simplify y into y 4.791 * [backup-simplify]: Simplify (* x y) into (* x y) 4.791 * [backup-simplify]: Simplify (- a) into (- a) 4.791 * [backup-simplify]: Simplify (+ 0 (- a)) into (- a) 4.791 * [backup-simplify]: Simplify (* (- a) z) into (* -1 (* a z)) 4.791 * [backup-simplify]: Simplify (+ (* x y) (* -1 (* a z))) into (- (* x y) (* a z)) 4.791 * [backup-simplify]: Simplify (- y) into (- y) 4.791 * [backup-simplify]: Simplify (+ b (- y)) into (- b y) 4.791 * [backup-simplify]: Simplify (* z (- b y)) into (* (- b y) z) 4.791 * [backup-simplify]: Simplify (+ (* (- b y) z) y) into (- (+ (* z b) y) (* z y)) 4.791 * [backup-simplify]: Simplify (/ (- (* x y) (* a z)) (- (+ (* z b) y) (* z y))) into (/ (- (* x y) (* a z)) (- (+ (* z b) y) (* z y))) 4.791 * [taylor]: Taking taylor expansion of (/ (fma x y (* (- t a) z)) (fma z (- b y) y)) in z 4.791 * [taylor]: Taking taylor expansion of (fma x y (* (- t a) z)) in z 4.791 * [taylor]: Rewrote expression to (+ (* x y) (* (- t a) z)) 4.791 * [taylor]: Taking taylor expansion of (* x y) in z 4.791 * [taylor]: Taking taylor expansion of x in z 4.791 * [backup-simplify]: Simplify x into x 4.791 * [taylor]: Taking taylor expansion of y in z 4.791 * [backup-simplify]: Simplify y into y 4.791 * [taylor]: Taking taylor expansion of (* (- t a) z) in z 4.791 * [taylor]: Taking taylor expansion of (- t a) in z 4.791 * [taylor]: Taking taylor expansion of t in z 4.791 * [backup-simplify]: Simplify t into t 4.791 * [taylor]: Taking taylor expansion of a in z 4.791 * [backup-simplify]: Simplify a into a 4.791 * [taylor]: Taking taylor expansion of z in z 4.791 * [backup-simplify]: Simplify 0 into 0 4.791 * [backup-simplify]: Simplify 1 into 1 4.791 * [taylor]: Taking taylor expansion of (fma z (- b y) y) in z 4.792 * [taylor]: Rewrote expression to (+ (* z (- b y)) y) 4.792 * [taylor]: Taking taylor expansion of (* z (- b y)) in z 4.792 * [taylor]: Taking taylor expansion of z in z 4.792 * [backup-simplify]: Simplify 0 into 0 4.792 * [backup-simplify]: Simplify 1 into 1 4.792 * [taylor]: Taking taylor expansion of (- b y) in z 4.792 * [taylor]: Taking taylor expansion of b in z 4.792 * [backup-simplify]: Simplify b into b 4.792 * [taylor]: Taking taylor expansion of y in z 4.792 * [backup-simplify]: Simplify y into y 4.792 * [taylor]: Taking taylor expansion of y in z 4.792 * [backup-simplify]: Simplify y into y 4.792 * [backup-simplify]: Simplify (* x y) into (* x y) 4.792 * [backup-simplify]: Simplify (- a) into (- a) 4.792 * [backup-simplify]: Simplify (+ t (- a)) into (- t a) 4.792 * [backup-simplify]: Simplify (* (- t a) 0) into 0 4.792 * [backup-simplify]: Simplify (+ (* x y) 0) into (* x y) 4.792 * [backup-simplify]: Simplify (- y) into (- y) 4.792 * [backup-simplify]: Simplify (+ b (- y)) into (- b y) 4.792 * [backup-simplify]: Simplify (* 0 (- b y)) into 0 4.792 * [backup-simplify]: Simplify (+ 0 y) into y 4.792 * [backup-simplify]: Simplify (/ (* x y) y) into x 4.792 * [taylor]: Taking taylor expansion of (/ (fma x y (* (- t a) z)) (fma z (- b y) y)) in y 4.792 * [taylor]: Taking taylor expansion of (fma x y (* (- t a) z)) in y 4.792 * [taylor]: Rewrote expression to (+ (* x y) (* (- t a) z)) 4.792 * [taylor]: Taking taylor expansion of (* x y) in y 4.792 * [taylor]: Taking taylor expansion of x in y 4.792 * [backup-simplify]: Simplify x into x 4.792 * [taylor]: Taking taylor expansion of y in y 4.792 * [backup-simplify]: Simplify 0 into 0 4.792 * [backup-simplify]: Simplify 1 into 1 4.792 * [taylor]: Taking taylor expansion of (* (- t a) z) in y 4.792 * [taylor]: Taking taylor expansion of (- t a) in y 4.792 * [taylor]: Taking taylor expansion of t in y 4.792 * [backup-simplify]: Simplify t into t 4.792 * [taylor]: Taking taylor expansion of a in y 4.792 * [backup-simplify]: Simplify a into a 4.792 * [taylor]: Taking taylor expansion of z in y 4.792 * [backup-simplify]: Simplify z into z 4.792 * [taylor]: Taking taylor expansion of (fma z (- b y) y) in y 4.793 * [taylor]: Rewrote expression to (+ (* z (- b y)) y) 4.793 * [taylor]: Taking taylor expansion of (* z (- b y)) in y 4.793 * [taylor]: Taking taylor expansion of z in y 4.793 * [backup-simplify]: Simplify z into z 4.793 * [taylor]: Taking taylor expansion of (- b y) in y 4.793 * [taylor]: Taking taylor expansion of b in y 4.793 * [backup-simplify]: Simplify b into b 4.793 * [taylor]: Taking taylor expansion of y in y 4.793 * [backup-simplify]: Simplify 0 into 0 4.793 * [backup-simplify]: Simplify 1 into 1 4.793 * [taylor]: Taking taylor expansion of y in y 4.793 * [backup-simplify]: Simplify 0 into 0 4.793 * [backup-simplify]: Simplify 1 into 1 4.793 * [backup-simplify]: Simplify (* x 0) into 0 4.793 * [backup-simplify]: Simplify (- a) into (- a) 4.793 * [backup-simplify]: Simplify (+ t (- a)) into (- t a) 4.793 * [backup-simplify]: Simplify (* (- t a) z) into (* (- t a) z) 4.793 * [backup-simplify]: Simplify (+ 0 (* (- t a) z)) into (- (* t z) (* a z)) 4.793 * [backup-simplify]: Simplify (- 0) into 0 4.793 * [backup-simplify]: Simplify (+ b 0) into b 4.793 * [backup-simplify]: Simplify (* z b) into (* z b) 4.793 * [backup-simplify]: Simplify (+ (* z b) 0) into (* z b) 4.794 * [backup-simplify]: Simplify (/ (- (* t z) (* a z)) (* z b)) into (/ (- (* t z) (* a z)) (* z b)) 4.794 * [taylor]: Taking taylor expansion of (/ (fma x y (* (- t a) z)) (fma z (- b y) y)) in x 4.794 * [taylor]: Taking taylor expansion of (fma x y (* (- t a) z)) in x 4.794 * [taylor]: Rewrote expression to (+ (* x y) (* (- t a) z)) 4.794 * [taylor]: Taking taylor expansion of (* x y) in x 4.794 * [taylor]: Taking taylor expansion of x in x 4.794 * [backup-simplify]: Simplify 0 into 0 4.794 * [backup-simplify]: Simplify 1 into 1 4.794 * [taylor]: Taking taylor expansion of y in x 4.794 * [backup-simplify]: Simplify y into y 4.794 * [taylor]: Taking taylor expansion of (* (- t a) z) in x 4.794 * [taylor]: Taking taylor expansion of (- t a) in x 4.794 * [taylor]: Taking taylor expansion of t in x 4.794 * [backup-simplify]: Simplify t into t 4.794 * [taylor]: Taking taylor expansion of a in x 4.794 * [backup-simplify]: Simplify a into a 4.794 * [taylor]: Taking taylor expansion of z in x 4.794 * [backup-simplify]: Simplify z into z 4.794 * [taylor]: Taking taylor expansion of (fma z (- b y) y) in x 4.794 * [taylor]: Rewrote expression to (+ (* z (- b y)) y) 4.794 * [taylor]: Taking taylor expansion of (* z (- b y)) in x 4.794 * [taylor]: Taking taylor expansion of z in x 4.794 * [backup-simplify]: Simplify z into z 4.794 * [taylor]: Taking taylor expansion of (- b y) in x 4.794 * [taylor]: Taking taylor expansion of b in x 4.794 * [backup-simplify]: Simplify b into b 4.794 * [taylor]: Taking taylor expansion of y in x 4.794 * [backup-simplify]: Simplify y into y 4.794 * [taylor]: Taking taylor expansion of y in x 4.794 * [backup-simplify]: Simplify y into y 4.794 * [backup-simplify]: Simplify (* 0 y) into 0 4.794 * [backup-simplify]: Simplify (- a) into (- a) 4.794 * [backup-simplify]: Simplify (+ t (- a)) into (- t a) 4.794 * [backup-simplify]: Simplify (* (- t a) z) into (* (- t a) z) 4.794 * [backup-simplify]: Simplify (+ 0 (* (- t a) z)) into (- (* t z) (* a z)) 4.794 * [backup-simplify]: Simplify (- y) into (- y) 4.795 * [backup-simplify]: Simplify (+ b (- y)) into (- b y) 4.795 * [backup-simplify]: Simplify (* z (- b y)) into (* (- b y) z) 4.795 * [backup-simplify]: Simplify (+ (* (- b y) z) y) into (- (+ (* z b) y) (* z y)) 4.795 * [backup-simplify]: Simplify (/ (- (* t z) (* a z)) (- (+ (* z b) y) (* z y))) into (/ (- (* t z) (* a z)) (- (+ (* z b) y) (* z y))) 4.795 * [taylor]: Taking taylor expansion of (/ (fma x y (* (- t a) z)) (fma z (- b y) y)) in x 4.795 * [taylor]: Taking taylor expansion of (fma x y (* (- t a) z)) in x 4.795 * [taylor]: Rewrote expression to (+ (* x y) (* (- t a) z)) 4.795 * [taylor]: Taking taylor expansion of (* x y) in x 4.795 * [taylor]: Taking taylor expansion of x in x 4.795 * [backup-simplify]: Simplify 0 into 0 4.795 * [backup-simplify]: Simplify 1 into 1 4.795 * [taylor]: Taking taylor expansion of y in x 4.795 * [backup-simplify]: Simplify y into y 4.795 * [taylor]: Taking taylor expansion of (* (- t a) z) in x 4.795 * [taylor]: Taking taylor expansion of (- t a) in x 4.795 * [taylor]: Taking taylor expansion of t in x 4.795 * [backup-simplify]: Simplify t into t 4.795 * [taylor]: Taking taylor expansion of a in x 4.795 * [backup-simplify]: Simplify a into a 4.795 * [taylor]: Taking taylor expansion of z in x 4.795 * [backup-simplify]: Simplify z into z 4.795 * [taylor]: Taking taylor expansion of (fma z (- b y) y) in x 4.795 * [taylor]: Rewrote expression to (+ (* z (- b y)) y) 4.795 * [taylor]: Taking taylor expansion of (* z (- b y)) in x 4.795 * [taylor]: Taking taylor expansion of z in x 4.795 * [backup-simplify]: Simplify z into z 4.795 * [taylor]: Taking taylor expansion of (- b y) in x 4.795 * [taylor]: Taking taylor expansion of b in x 4.795 * [backup-simplify]: Simplify b into b 4.795 * [taylor]: Taking taylor expansion of y in x 4.795 * [backup-simplify]: Simplify y into y 4.795 * [taylor]: Taking taylor expansion of y in x 4.795 * [backup-simplify]: Simplify y into y 4.795 * [backup-simplify]: Simplify (* 0 y) into 0 4.795 * [backup-simplify]: Simplify (- a) into (- a) 4.796 * [backup-simplify]: Simplify (+ t (- a)) into (- t a) 4.796 * [backup-simplify]: Simplify (* (- t a) z) into (* (- t a) z) 4.796 * [backup-simplify]: Simplify (+ 0 (* (- t a) z)) into (- (* t z) (* a z)) 4.796 * [backup-simplify]: Simplify (- y) into (- y) 4.796 * [backup-simplify]: Simplify (+ b (- y)) into (- b y) 4.796 * [backup-simplify]: Simplify (* z (- b y)) into (* (- b y) z) 4.796 * [backup-simplify]: Simplify (+ (* (- b y) z) y) into (- (+ (* z b) y) (* z y)) 4.796 * [backup-simplify]: Simplify (/ (- (* t z) (* a z)) (- (+ (* z b) y) (* z y))) into (/ (- (* t z) (* a z)) (- (+ (* z b) y) (* z y))) 4.796 * [taylor]: Taking taylor expansion of (/ (- (* t z) (* a z)) (- (+ (* z b) y) (* z y))) in y 4.796 * [taylor]: Taking taylor expansion of (- (* t z) (* a z)) in y 4.796 * [taylor]: Taking taylor expansion of (* t z) in y 4.796 * [taylor]: Taking taylor expansion of t in y 4.796 * [backup-simplify]: Simplify t into t 4.796 * [taylor]: Taking taylor expansion of z in y 4.796 * [backup-simplify]: Simplify z into z 4.796 * [taylor]: Taking taylor expansion of (* a z) in y 4.796 * [taylor]: Taking taylor expansion of a in y 4.796 * [backup-simplify]: Simplify a into a 4.796 * [taylor]: Taking taylor expansion of z in y 4.796 * [backup-simplify]: Simplify z into z 4.796 * [taylor]: Taking taylor expansion of (- (+ (* z b) y) (* z y)) in y 4.796 * [taylor]: Taking taylor expansion of (+ (* z b) y) in y 4.796 * [taylor]: Taking taylor expansion of (* z b) in y 4.796 * [taylor]: Taking taylor expansion of z in y 4.796 * [backup-simplify]: Simplify z into z 4.796 * [taylor]: Taking taylor expansion of b in y 4.796 * [backup-simplify]: Simplify b into b 4.796 * [taylor]: Taking taylor expansion of y in y 4.796 * [backup-simplify]: Simplify 0 into 0 4.796 * [backup-simplify]: Simplify 1 into 1 4.796 * [taylor]: Taking taylor expansion of (* z y) in y 4.796 * [taylor]: Taking taylor expansion of z in y 4.796 * [backup-simplify]: Simplify z into z 4.796 * [taylor]: Taking taylor expansion of y in y 4.796 * [backup-simplify]: Simplify 0 into 0 4.796 * [backup-simplify]: Simplify 1 into 1 4.796 * [backup-simplify]: Simplify (* t z) into (* t z) 4.797 * [backup-simplify]: Simplify (* a z) into (* a z) 4.797 * [backup-simplify]: Simplify (- (* a z)) into (- (* a z)) 4.797 * [backup-simplify]: Simplify (+ (* t z) (- (* a z))) into (- (* t z) (* a z)) 4.797 * [backup-simplify]: Simplify (* z b) into (* z b) 4.797 * [backup-simplify]: Simplify (+ (* z b) 0) into (* z b) 4.797 * [backup-simplify]: Simplify (* z 0) into 0 4.797 * [backup-simplify]: Simplify (- 0) into 0 4.797 * [backup-simplify]: Simplify (+ (* z b) 0) into (* z b) 4.797 * [backup-simplify]: Simplify (/ (- (* t z) (* a z)) (* z b)) into (/ (- (* t z) (* a z)) (* z b)) 4.797 * [taylor]: Taking taylor expansion of (/ (- (* t z) (* a z)) (* z b)) in z 4.797 * [taylor]: Taking taylor expansion of (- (* t z) (* a z)) in z 4.797 * [taylor]: Taking taylor expansion of (* t z) in z 4.797 * [taylor]: Taking taylor expansion of t in z 4.797 * [backup-simplify]: Simplify t into t 4.797 * [taylor]: Taking taylor expansion of z in z 4.797 * [backup-simplify]: Simplify 0 into 0 4.797 * [backup-simplify]: Simplify 1 into 1 4.797 * [taylor]: Taking taylor expansion of (* a z) in z 4.797 * [taylor]: Taking taylor expansion of a in z 4.797 * [backup-simplify]: Simplify a into a 4.798 * [taylor]: Taking taylor expansion of z in z 4.798 * [backup-simplify]: Simplify 0 into 0 4.798 * [backup-simplify]: Simplify 1 into 1 4.798 * [taylor]: Taking taylor expansion of (* z b) in z 4.798 * [taylor]: Taking taylor expansion of z in z 4.798 * [backup-simplify]: Simplify 0 into 0 4.798 * [backup-simplify]: Simplify 1 into 1 4.798 * [taylor]: Taking taylor expansion of b in z 4.798 * [backup-simplify]: Simplify b into b 4.798 * [backup-simplify]: Simplify (* t 0) into 0 4.798 * [backup-simplify]: Simplify (* a 0) into 0 4.798 * [backup-simplify]: Simplify (- 0) into 0 4.798 * [backup-simplify]: Simplify (+ 0 0) into 0 4.798 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t 4.799 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 4.799 * [backup-simplify]: Simplify (- a) into (- a) 4.799 * [backup-simplify]: Simplify (+ t (- a)) into (- t a) 4.799 * [backup-simplify]: Simplify (* 0 b) into 0 4.799 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b 4.799 * [backup-simplify]: Simplify (/ (- t a) b) into (/ (- t a) b) 4.799 * [taylor]: Taking taylor expansion of (/ (- t a) b) in t 4.799 * [taylor]: Taking taylor expansion of (- t a) in t 4.799 * [taylor]: Taking taylor expansion of t in t 4.799 * [backup-simplify]: Simplify 0 into 0 4.799 * [backup-simplify]: Simplify 1 into 1 4.799 * [taylor]: Taking taylor expansion of a in t 4.799 * [backup-simplify]: Simplify a into a 4.799 * [taylor]: Taking taylor expansion of b in t 4.799 * [backup-simplify]: Simplify b into b 4.799 * [backup-simplify]: Simplify (- a) into (- a) 4.799 * [backup-simplify]: Simplify (+ 0 (- a)) into (- a) 4.799 * [backup-simplify]: Simplify (/ (- a) b) into (* -1 (/ a b)) 4.799 * [taylor]: Taking taylor expansion of (* -1 (/ a b)) in a 4.799 * [taylor]: Taking taylor expansion of -1 in a 4.799 * [backup-simplify]: Simplify -1 into -1 4.799 * [taylor]: Taking taylor expansion of (/ a b) in a 4.799 * [taylor]: Taking taylor expansion of a in a 4.799 * [backup-simplify]: Simplify 0 into 0 4.799 * [backup-simplify]: Simplify 1 into 1 4.799 * [taylor]: Taking taylor expansion of b in a 4.799 * [backup-simplify]: Simplify b into b 4.800 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 4.800 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 4.800 * [backup-simplify]: Simplify (- 0) into 0 4.800 * [backup-simplify]: Simplify (+ 0 0) into 0 4.800 * [backup-simplify]: Simplify (+ (* (- t a) 0) (* 0 z)) into 0 4.800 * [backup-simplify]: Simplify (+ y 0) into y 4.801 * [backup-simplify]: Simplify (- 0) into 0 4.801 * [backup-simplify]: Simplify (+ 0 0) into 0 4.801 * [backup-simplify]: Simplify (+ (* z 0) (* 0 (- b y))) into 0 4.801 * [backup-simplify]: Simplify (+ 0 0) into 0 4.802 * [backup-simplify]: Simplify (- (/ y (- (+ (* z b) y) (* z y))) (+ (* (/ (- (* t z) (* a z)) (- (+ (* z b) y) (* z y))) (/ 0 (- (+ (* z b) y) (* z y)))))) into (/ y (- (+ (* z b) y) (* z y))) 4.802 * [taylor]: Taking taylor expansion of (/ y (- (+ (* z b) y) (* z y))) in y 4.802 * [taylor]: Taking taylor expansion of y in y 4.802 * [backup-simplify]: Simplify 0 into 0 4.802 * [backup-simplify]: Simplify 1 into 1 4.802 * [taylor]: Taking taylor expansion of (- (+ (* z b) y) (* z y)) in y 4.802 * [taylor]: Taking taylor expansion of (+ (* z b) y) in y 4.802 * [taylor]: Taking taylor expansion of (* z b) in y 4.802 * [taylor]: Taking taylor expansion of z in y 4.802 * [backup-simplify]: Simplify z into z 4.802 * [taylor]: Taking taylor expansion of b in y 4.802 * [backup-simplify]: Simplify b into b 4.802 * [taylor]: Taking taylor expansion of y in y 4.802 * [backup-simplify]: Simplify 0 into 0 4.802 * [backup-simplify]: Simplify 1 into 1 4.802 * [taylor]: Taking taylor expansion of (* z y) in y 4.802 * [taylor]: Taking taylor expansion of z in y 4.802 * [backup-simplify]: Simplify z into z 4.802 * [taylor]: Taking taylor expansion of y in y 4.802 * [backup-simplify]: Simplify 0 into 0 4.802 * [backup-simplify]: Simplify 1 into 1 4.802 * [backup-simplify]: Simplify (* z b) into (* z b) 4.802 * [backup-simplify]: Simplify (+ (* z b) 0) into (* z b) 4.802 * [backup-simplify]: Simplify (* z 0) into 0 4.802 * [backup-simplify]: Simplify (- 0) into 0 4.802 * [backup-simplify]: Simplify (+ (* z b) 0) into (* z b) 4.802 * [backup-simplify]: Simplify (/ 1 (* z b)) into (/ 1 (* z b)) 4.802 * [backup-simplify]: Simplify (+ (* t 0) (* 0 z)) into 0 4.803 * [backup-simplify]: Simplify (+ (* a 0) (* 0 z)) into 0 4.803 * [backup-simplify]: Simplify (- 0) into 0 4.803 * [backup-simplify]: Simplify (+ 0 0) into 0 4.803 * [backup-simplify]: Simplify (+ (* z 0) (* 0 b)) into 0 4.803 * [backup-simplify]: Simplify (+ 0 1) into 1 4.804 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 4.804 * [backup-simplify]: Simplify (- z) into (- z) 4.804 * [backup-simplify]: Simplify (+ 1 (- z)) into (- 1 z)