0.055 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.039 * * * [progress]: [2/2] Setting up program. 0.059 * [progress]: [Phase 2 of 3] Improving. 0.059 * [simplify]: Simplifying: (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) 0.059 * * [simplify]: Extracting # 0 : cost 0 0.059 * * [simplify]: Extracting # 1 : cost 0 0.059 * * [simplify]: Extracting # 2 : cost 0 0.059 * * [simplify]: Extracting # 3 : cost 0 0.059 * * [simplify]: Extracting # 4 : cost 0 0.060 * * [simplify]: Extracting # 5 : cost 0 0.060 * * [simplify]: Extracting # 6 : cost 0 0.060 * * [simplify]: Extracting # 7 : cost 0 0.060 * * [simplify]: iteration 0 : 14 enodes (cost 17 ) 0.062 * * [simplify]: Extracting # 0 : cost 0 0.062 * * [simplify]: Extracting # 1 : cost 0 0.062 * * [simplify]: Extracting # 2 : cost 0 0.063 * * [simplify]: iteration 1 : 23 enodes (cost 17 ) 0.068 * * [simplify]: Extracting # 0 : cost 0 0.068 * * [simplify]: Extracting # 1 : cost 0 0.068 * * [simplify]: Extracting # 2 : cost 0 0.068 * * [simplify]: iteration 2 : 37 enodes (cost 17 ) 0.078 * * [simplify]: Extracting # 0 : cost 0 0.078 * * [simplify]: Extracting # 1 : cost 0 0.078 * * [simplify]: Extracting # 2 : cost 0 0.078 * * [simplify]: iteration 3 : 65 enodes (cost 17 ) 0.088 * * [simplify]: Extracting # 0 : cost 0 0.088 * * [simplify]: Extracting # 1 : cost 0 0.088 * * [simplify]: Extracting # 2 : cost 0 0.088 * * [simplify]: iteration 4 : 87 enodes (cost 17 ) 0.101 * * [simplify]: Extracting # 0 : cost 0 0.101 * * [simplify]: Extracting # 1 : cost 0 0.101 * * [simplify]: Extracting # 2 : cost 0 0.101 * * [simplify]: Extracting # 3 : cost 0 0.102 * * [simplify]: Extracting # 4 : cost 0 0.102 * * [simplify]: iteration 5 : 101 enodes (cost 17 ) 0.117 * * [simplify]: Extracting # 0 : cost 0 0.118 * * [simplify]: Extracting # 1 : cost 0 0.118 * * [simplify]: Extracting # 2 : cost 0 0.118 * * [simplify]: iteration 6 : 125 enodes (cost 17 ) 0.152 * * [simplify]: Extracting # 0 : cost 0 0.152 * * [simplify]: Extracting # 1 : cost 0 0.152 * * [simplify]: Extracting # 2 : cost 0 0.153 * * [simplify]: Extracting # 3 : cost 0 0.153 * * [simplify]: iteration 7 : 194 enodes (cost 17 ) 0.215 * * [simplify]: Extracting # 0 : cost 0 0.215 * * [simplify]: Extracting # 1 : cost 0 0.215 * * [simplify]: Extracting # 2 : cost 0 0.216 * * [simplify]: iteration 8 : 328 enodes (cost 17 ) 0.350 * * [simplify]: Extracting # 0 : cost 0 0.351 * * [simplify]: Extracting # 1 : cost 0 0.352 * * [simplify]: Extracting # 2 : cost 0 0.353 * * [simplify]: iteration 9 : 596 enodes (cost 17 ) 0.603 * * [simplify]: Extracting # 0 : cost 0 0.605 * * [simplify]: Extracting # 1 : cost 0 0.606 * * [simplify]: Extracting # 2 : cost 0 0.607 * * [simplify]: Extracting # 3 : cost 0 0.609 * * [simplify]: iteration 10 : 1292 enodes (cost 17 ) 2.500 * * [simplify]: Extracting # 0 : cost 0 2.507 * * [simplify]: Extracting # 1 : cost 0 2.512 * * [simplify]: Extracting # 2 : cost 0 2.518 * * [simplify]: Extracting # 3 : cost 0 2.523 * * [simplify]: iteration 11 : 3696 enodes (cost 17 ) 3.891 * * [simplify]: Extracting # 0 : cost 0 3.896 * * [simplify]: Extracting # 1 : cost 0 3.902 * * [simplify]: Extracting # 2 : cost 0 3.907 * * [simplify]: iteration done: 5001 enodes (cost 17 ) 3.908 * [simplify]: Simplified to: (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) 3.908 * * [progress]: iteration 1 / 4 3.908 * * * [progress]: picking best candidate 3.915 * * * * [pick]: Picked # 3.915 * * * [progress]: localizing error 3.930 * * * [progress]: generating rewritten candidates 3.930 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 3.966 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 3.977 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 3.989 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 4.013 * * * [progress]: generating series expansions 4.013 * * * * [progress]: [ 1 / 4 ] generating series at (2) 4.014 * [backup-simplify]: Simplify (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) into (/ (- (+ (* t z) (* x y)) (* a z)) (- (+ (* z b) y) (* z y))) 4.014 * [approximate]: Taking taylor expansion of (/ (- (+ (* t z) (* x y)) (* a z)) (- (+ (* z b) y) (* z y))) in (x y z t a b) around 0 4.014 * [taylor]: Taking taylor expansion of (/ (- (+ (* t z) (* x y)) (* a z)) (- (+ (* z b) y) (* z y))) in b 4.014 * [taylor]: Taking taylor expansion of (- (+ (* t z) (* x y)) (* a z)) in b 4.014 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in b 4.014 * [taylor]: Taking taylor expansion of (* t z) in b 4.014 * [taylor]: Taking taylor expansion of t in b 4.014 * [backup-simplify]: Simplify t into t 4.014 * [taylor]: Taking taylor expansion of z in b 4.014 * [backup-simplify]: Simplify z into z 4.014 * [taylor]: Taking taylor expansion of (* x y) in b 4.014 * [taylor]: Taking taylor expansion of x in b 4.014 * [backup-simplify]: Simplify x into x 4.014 * [taylor]: Taking taylor expansion of y in b 4.014 * [backup-simplify]: Simplify y into y 4.014 * [taylor]: Taking taylor expansion of (* a z) in b 4.014 * [taylor]: Taking taylor expansion of a in b 4.014 * [backup-simplify]: Simplify a into a 4.014 * [taylor]: Taking taylor expansion of z in b 4.014 * [backup-simplify]: Simplify z into z 4.014 * [taylor]: Taking taylor expansion of (- (+ (* z b) y) (* z y)) in b 4.014 * [taylor]: Taking taylor expansion of (+ (* z b) y) in b 4.014 * [taylor]: Taking taylor expansion of (* z b) in b 4.014 * [taylor]: Taking taylor expansion of z in b 4.014 * [backup-simplify]: Simplify z into z 4.014 * [taylor]: Taking taylor expansion of b in b 4.014 * [backup-simplify]: Simplify 0 into 0 4.014 * [backup-simplify]: Simplify 1 into 1 4.014 * [taylor]: Taking taylor expansion of y in b 4.014 * [backup-simplify]: Simplify y into y 4.014 * [taylor]: Taking taylor expansion of (* z y) in b 4.014 * [taylor]: Taking taylor expansion of z in b 4.014 * [backup-simplify]: Simplify z into z 4.014 * [taylor]: Taking taylor expansion of y in b 4.014 * [backup-simplify]: Simplify y into y 4.014 * [backup-simplify]: Simplify (* t z) into (* t z) 4.014 * [backup-simplify]: Simplify (* x y) into (* x y) 4.014 * [backup-simplify]: Simplify (+ (* t z) (* x y)) into (+ (* t z) (* x y)) 4.014 * [backup-simplify]: Simplify (* a z) into (* a z) 4.015 * [backup-simplify]: Simplify (- (* a z)) into (- (* a z)) 4.015 * [backup-simplify]: Simplify (+ (+ (* t z) (* x y)) (- (* a z))) into (- (+ (* t z) (* x y)) (* a z)) 4.015 * [backup-simplify]: Simplify (* z 0) into 0 4.015 * [backup-simplify]: Simplify (+ 0 y) into y 4.015 * [backup-simplify]: Simplify (* z y) into (* z y) 4.015 * [backup-simplify]: Simplify (- (* z y)) into (- (* z y)) 4.015 * [backup-simplify]: Simplify (+ y (- (* z y))) into (- y (* z y)) 4.015 * [backup-simplify]: Simplify (/ (- (+ (* t z) (* x y)) (* a z)) (- y (* z y))) into (/ (- (+ (* t z) (* x y)) (* a z)) (- y (* z y))) 4.015 * [taylor]: Taking taylor expansion of (/ (- (+ (* t z) (* x y)) (* a z)) (- (+ (* z b) y) (* z y))) in a 4.015 * [taylor]: Taking taylor expansion of (- (+ (* t z) (* x y)) (* a z)) in a 4.015 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in a 4.015 * [taylor]: Taking taylor expansion of (* t z) in a 4.015 * [taylor]: Taking taylor expansion of t in a 4.015 * [backup-simplify]: Simplify t into t 4.015 * [taylor]: Taking taylor expansion of z in a 4.015 * [backup-simplify]: Simplify z into z 4.015 * [taylor]: Taking taylor expansion of (* x y) in a 4.015 * [taylor]: Taking taylor expansion of x in a 4.015 * [backup-simplify]: Simplify x into x 4.015 * [taylor]: Taking taylor expansion of y in a 4.015 * [backup-simplify]: Simplify y into y 4.015 * [taylor]: Taking taylor expansion of (* a z) in a 4.015 * [taylor]: Taking taylor expansion of a in a 4.015 * [backup-simplify]: Simplify 0 into 0 4.015 * [backup-simplify]: Simplify 1 into 1 4.015 * [taylor]: Taking taylor expansion of z in a 4.015 * [backup-simplify]: Simplify z into z 4.015 * [taylor]: Taking taylor expansion of (- (+ (* z b) y) (* z y)) in a 4.015 * [taylor]: Taking taylor expansion of (+ (* z b) y) in a 4.015 * [taylor]: Taking taylor expansion of (* z b) in a 4.015 * [taylor]: Taking taylor expansion of z in a 4.015 * [backup-simplify]: Simplify z into z 4.015 * [taylor]: Taking taylor expansion of b in a 4.015 * [backup-simplify]: Simplify b into b 4.016 * [taylor]: Taking taylor expansion of y in a 4.016 * [backup-simplify]: Simplify y into y 4.016 * [taylor]: Taking taylor expansion of (* z y) in a 4.016 * [taylor]: Taking taylor expansion of z in a 4.016 * [backup-simplify]: Simplify z into z 4.016 * [taylor]: Taking taylor expansion of y in a 4.016 * [backup-simplify]: Simplify y into y 4.016 * [backup-simplify]: Simplify (* t z) into (* t z) 4.016 * [backup-simplify]: Simplify (* x y) into (* x y) 4.016 * [backup-simplify]: Simplify (+ (* t z) (* x y)) into (+ (* t z) (* x y)) 4.016 * [backup-simplify]: Simplify (* 0 z) into 0 4.016 * [backup-simplify]: Simplify (- 0) into 0 4.016 * [backup-simplify]: Simplify (+ (+ (* t z) (* x y)) 0) into (+ (* t z) (* x y)) 4.016 * [backup-simplify]: Simplify (* z b) into (* z b) 4.016 * [backup-simplify]: Simplify (+ (* z b) y) into (+ (* z b) y) 4.017 * [backup-simplify]: Simplify (* z y) into (* z y) 4.017 * [backup-simplify]: Simplify (- (* z y)) into (- (* z y)) 4.017 * [backup-simplify]: Simplify (+ (+ (* z b) y) (- (* z y))) into (- (+ (* z b) y) (* z y)) 4.017 * [backup-simplify]: Simplify (/ (+ (* t z) (* x y)) (- (+ (* z b) y) (* z y))) into (/ (+ (* t z) (* x y)) (- (+ (* z b) y) (* z y))) 4.017 * [taylor]: Taking taylor expansion of (/ (- (+ (* t z) (* x y)) (* a z)) (- (+ (* z b) y) (* z y))) in t 4.017 * [taylor]: Taking taylor expansion of (- (+ (* t z) (* x y)) (* a z)) in t 4.017 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in t 4.017 * [taylor]: Taking taylor expansion of (* t z) in t 4.017 * [taylor]: Taking taylor expansion of t in t 4.017 * [backup-simplify]: Simplify 0 into 0 4.017 * [backup-simplify]: Simplify 1 into 1 4.017 * [taylor]: Taking taylor expansion of z in t 4.017 * [backup-simplify]: Simplify z into z 4.017 * [taylor]: Taking taylor expansion of (* x y) in t 4.017 * [taylor]: Taking taylor expansion of x in t 4.017 * [backup-simplify]: Simplify x into x 4.017 * [taylor]: Taking taylor expansion of y in t 4.017 * [backup-simplify]: Simplify y into y 4.017 * [taylor]: Taking taylor expansion of (* a z) in t 4.017 * [taylor]: Taking taylor expansion of a in t 4.017 * [backup-simplify]: Simplify a into a 4.017 * [taylor]: Taking taylor expansion of z in t 4.017 * [backup-simplify]: Simplify z into z 4.017 * [taylor]: Taking taylor expansion of (- (+ (* z b) y) (* z y)) in t 4.017 * [taylor]: Taking taylor expansion of (+ (* z b) y) in t 4.017 * [taylor]: Taking taylor expansion of (* z b) in t 4.017 * [taylor]: Taking taylor expansion of z in t 4.017 * [backup-simplify]: Simplify z into z 4.017 * [taylor]: Taking taylor expansion of b in t 4.017 * [backup-simplify]: Simplify b into b 4.017 * [taylor]: Taking taylor expansion of y in t 4.017 * [backup-simplify]: Simplify y into y 4.017 * [taylor]: Taking taylor expansion of (* z y) in t 4.017 * [taylor]: Taking taylor expansion of z in t 4.017 * [backup-simplify]: Simplify z into z 4.017 * [taylor]: Taking taylor expansion of y in t 4.017 * [backup-simplify]: Simplify y into y 4.017 * [backup-simplify]: Simplify (* 0 z) into 0 4.017 * [backup-simplify]: Simplify (* x y) into (* x y) 4.018 * [backup-simplify]: Simplify (+ 0 (* x y)) into (* x y) 4.018 * [backup-simplify]: Simplify (* a z) into (* a z) 4.018 * [backup-simplify]: Simplify (- (* a z)) into (- (* a z)) 4.018 * [backup-simplify]: Simplify (+ (* x y) (- (* a z))) into (- (* x y) (* a z)) 4.018 * [backup-simplify]: Simplify (* z b) into (* z b) 4.018 * [backup-simplify]: Simplify (+ (* z b) y) into (+ (* z b) y) 4.018 * [backup-simplify]: Simplify (* z y) into (* z y) 4.018 * [backup-simplify]: Simplify (- (* z y)) into (- (* z y)) 4.018 * [backup-simplify]: Simplify (+ (+ (* z b) y) (- (* z y))) into (- (+ (* z b) y) (* z y)) 4.018 * [backup-simplify]: Simplify (/ (- (* x y) (* a z)) (- (+ (* z b) y) (* z y))) into (/ (- (* x y) (* a z)) (- (+ (* z b) y) (* z y))) 4.018 * [taylor]: Taking taylor expansion of (/ (- (+ (* t z) (* x y)) (* a z)) (- (+ (* z b) y) (* z y))) in z 4.018 * [taylor]: Taking taylor expansion of (- (+ (* t z) (* x y)) (* a z)) in z 4.018 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in z 4.018 * [taylor]: Taking taylor expansion of (* t z) in z 4.018 * [taylor]: Taking taylor expansion of t in z 4.018 * [backup-simplify]: Simplify t into t 4.018 * [taylor]: Taking taylor expansion of z in z 4.018 * [backup-simplify]: Simplify 0 into 0 4.018 * [backup-simplify]: Simplify 1 into 1 4.018 * [taylor]: Taking taylor expansion of (* x y) in z 4.018 * [taylor]: Taking taylor expansion of x in z 4.018 * [backup-simplify]: Simplify x into x 4.018 * [taylor]: Taking taylor expansion of y in z 4.018 * [backup-simplify]: Simplify y into y 4.018 * [taylor]: Taking taylor expansion of (* a z) in z 4.018 * [taylor]: Taking taylor expansion of a in z 4.018 * [backup-simplify]: Simplify a into a 4.018 * [taylor]: Taking taylor expansion of z in z 4.018 * [backup-simplify]: Simplify 0 into 0 4.018 * [backup-simplify]: Simplify 1 into 1 4.019 * [taylor]: Taking taylor expansion of (- (+ (* z b) y) (* z y)) in z 4.019 * [taylor]: Taking taylor expansion of (+ (* z b) y) in z 4.019 * [taylor]: Taking taylor expansion of (* z b) in z 4.019 * [taylor]: Taking taylor expansion of z in z 4.019 * [backup-simplify]: Simplify 0 into 0 4.019 * [backup-simplify]: Simplify 1 into 1 4.019 * [taylor]: Taking taylor expansion of b in z 4.019 * [backup-simplify]: Simplify b into b 4.019 * [taylor]: Taking taylor expansion of y in z 4.019 * [backup-simplify]: Simplify y into y 4.019 * [taylor]: Taking taylor expansion of (* z y) in z 4.019 * [taylor]: Taking taylor expansion of z in z 4.019 * [backup-simplify]: Simplify 0 into 0 4.019 * [backup-simplify]: Simplify 1 into 1 4.019 * [taylor]: Taking taylor expansion of y in z 4.019 * [backup-simplify]: Simplify y into y 4.019 * [backup-simplify]: Simplify (* t 0) into 0 4.019 * [backup-simplify]: Simplify (* x y) into (* x y) 4.019 * [backup-simplify]: Simplify (+ 0 (* x y)) into (* x y) 4.019 * [backup-simplify]: Simplify (* a 0) into 0 4.019 * [backup-simplify]: Simplify (- 0) into 0 4.019 * [backup-simplify]: Simplify (+ (* x y) 0) into (* x y) 4.019 * [backup-simplify]: Simplify (* 0 b) into 0 4.019 * [backup-simplify]: Simplify (+ 0 y) into y 4.019 * [backup-simplify]: Simplify (* 0 y) into 0 4.020 * [backup-simplify]: Simplify (- 0) into 0 4.020 * [backup-simplify]: Simplify (+ y 0) into y 4.020 * [backup-simplify]: Simplify (/ (* x y) y) into x 4.020 * [taylor]: Taking taylor expansion of (/ (- (+ (* t z) (* x y)) (* a z)) (- (+ (* z b) y) (* z y))) in y 4.020 * [taylor]: Taking taylor expansion of (- (+ (* t z) (* x y)) (* a z)) in y 4.020 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in y 4.020 * [taylor]: Taking taylor expansion of (* t z) in y 4.020 * [taylor]: Taking taylor expansion of t in y 4.020 * [backup-simplify]: Simplify t into t 4.020 * [taylor]: Taking taylor expansion of z in y 4.020 * [backup-simplify]: Simplify z into z 4.020 * [taylor]: Taking taylor expansion of (* x y) in y 4.020 * [taylor]: Taking taylor expansion of x in y 4.020 * [backup-simplify]: Simplify x into x 4.020 * [taylor]: Taking taylor expansion of y in y 4.020 * [backup-simplify]: Simplify 0 into 0 4.020 * [backup-simplify]: Simplify 1 into 1 4.020 * [taylor]: Taking taylor expansion of (* a z) in y 4.020 * [taylor]: Taking taylor expansion of a in y 4.020 * [backup-simplify]: Simplify a into a 4.020 * [taylor]: Taking taylor expansion of z in y 4.020 * [backup-simplify]: Simplify z into z 4.020 * [taylor]: Taking taylor expansion of (- (+ (* z b) y) (* z y)) in y 4.020 * [taylor]: Taking taylor expansion of (+ (* z b) y) in y 4.020 * [taylor]: Taking taylor expansion of (* z b) in y 4.020 * [taylor]: Taking taylor expansion of z in y 4.020 * [backup-simplify]: Simplify z into z 4.020 * [taylor]: Taking taylor expansion of b in y 4.020 * [backup-simplify]: Simplify b into b 4.020 * [taylor]: Taking taylor expansion of y in y 4.020 * [backup-simplify]: Simplify 0 into 0 4.020 * [backup-simplify]: Simplify 1 into 1 4.020 * [taylor]: Taking taylor expansion of (* z y) in y 4.020 * [taylor]: Taking taylor expansion of z in y 4.020 * [backup-simplify]: Simplify z into z 4.020 * [taylor]: Taking taylor expansion of y in y 4.020 * [backup-simplify]: Simplify 0 into 0 4.020 * [backup-simplify]: Simplify 1 into 1 4.020 * [backup-simplify]: Simplify (* t z) into (* t z) 4.020 * [backup-simplify]: Simplify (* x 0) into 0 4.020 * [backup-simplify]: Simplify (+ (* t z) 0) into (* t z) 4.020 * [backup-simplify]: Simplify (* a z) into (* a z) 4.021 * [backup-simplify]: Simplify (- (* a z)) into (- (* a z)) 4.021 * [backup-simplify]: Simplify (+ (* t z) (- (* a z))) into (- (* t z) (* a z)) 4.021 * [backup-simplify]: Simplify (* z b) into (* z b) 4.021 * [backup-simplify]: Simplify (+ (* z b) 0) into (* z b) 4.021 * [backup-simplify]: Simplify (* z 0) into 0 4.021 * [backup-simplify]: Simplify (- 0) into 0 4.021 * [backup-simplify]: Simplify (+ (* z b) 0) into (* z b) 4.021 * [backup-simplify]: Simplify (/ (- (* t z) (* a z)) (* z b)) into (/ (- (* t z) (* a z)) (* z b)) 4.021 * [taylor]: Taking taylor expansion of (/ (- (+ (* t z) (* x y)) (* a z)) (- (+ (* z b) y) (* z y))) in x 4.021 * [taylor]: Taking taylor expansion of (- (+ (* t z) (* x y)) (* a z)) in x 4.021 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in x 4.021 * [taylor]: Taking taylor expansion of (* t z) in x 4.021 * [taylor]: Taking taylor expansion of t in x 4.021 * [backup-simplify]: Simplify t into t 4.021 * [taylor]: Taking taylor expansion of z in x 4.021 * [backup-simplify]: Simplify z into z 4.021 * [taylor]: Taking taylor expansion of (* x y) in x 4.021 * [taylor]: Taking taylor expansion of x in x 4.021 * [backup-simplify]: Simplify 0 into 0 4.021 * [backup-simplify]: Simplify 1 into 1 4.021 * [taylor]: Taking taylor expansion of y in x 4.021 * [backup-simplify]: Simplify y into y 4.021 * [taylor]: Taking taylor expansion of (* a z) in x 4.022 * [taylor]: Taking taylor expansion of a in x 4.022 * [backup-simplify]: Simplify a into a 4.022 * [taylor]: Taking taylor expansion of z in x 4.022 * [backup-simplify]: Simplify z into z 4.022 * [taylor]: Taking taylor expansion of (- (+ (* z b) y) (* z y)) in x 4.022 * [taylor]: Taking taylor expansion of (+ (* z b) y) in x 4.022 * [taylor]: Taking taylor expansion of (* z b) in x 4.022 * [taylor]: Taking taylor expansion of z in x 4.022 * [backup-simplify]: Simplify z into z 4.022 * [taylor]: Taking taylor expansion of b in x 4.022 * [backup-simplify]: Simplify b into b 4.022 * [taylor]: Taking taylor expansion of y in x 4.022 * [backup-simplify]: Simplify y into y 4.022 * [taylor]: Taking taylor expansion of (* z y) in x 4.022 * [taylor]: Taking taylor expansion of z in x 4.022 * [backup-simplify]: Simplify z into z 4.022 * [taylor]: Taking taylor expansion of y in x 4.022 * [backup-simplify]: Simplify y into y 4.022 * [backup-simplify]: Simplify (* t z) into (* t z) 4.022 * [backup-simplify]: Simplify (* 0 y) into 0 4.022 * [backup-simplify]: Simplify (+ (* t z) 0) into (* t z) 4.022 * [backup-simplify]: Simplify (* a z) into (* a z) 4.022 * [backup-simplify]: Simplify (- (* a z)) into (- (* a z)) 4.022 * [backup-simplify]: Simplify (+ (* t z) (- (* a z))) into (- (* t z) (* a z)) 4.022 * [backup-simplify]: Simplify (* z b) into (* z b) 4.022 * [backup-simplify]: Simplify (+ (* z b) y) into (+ (* z b) y) 4.022 * [backup-simplify]: Simplify (* z y) into (* z y) 4.022 * [backup-simplify]: Simplify (- (* z y)) into (- (* z y)) 4.022 * [backup-simplify]: Simplify (+ (+ (* z b) y) (- (* z y))) into (- (+ (* z b) y) (* z y)) 4.023 * [backup-simplify]: Simplify (/ (- (* t z) (* a z)) (- (+ (* z b) y) (* z y))) into (/ (- (* t z) (* a z)) (- (+ (* z b) y) (* z y))) 4.023 * [taylor]: Taking taylor expansion of (/ (- (+ (* t z) (* x y)) (* a z)) (- (+ (* z b) y) (* z y))) in x 4.023 * [taylor]: Taking taylor expansion of (- (+ (* t z) (* x y)) (* a z)) in x 4.023 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in x 4.023 * [taylor]: Taking taylor expansion of (* t z) in x 4.023 * [taylor]: Taking taylor expansion of t in x 4.023 * [backup-simplify]: Simplify t into t 4.023 * [taylor]: Taking taylor expansion of z in x 4.023 * [backup-simplify]: Simplify z into z 4.023 * [taylor]: Taking taylor expansion of (* x y) in x 4.023 * [taylor]: Taking taylor expansion of x in x 4.023 * [backup-simplify]: Simplify 0 into 0 4.023 * [backup-simplify]: Simplify 1 into 1 4.023 * [taylor]: Taking taylor expansion of y in x 4.023 * [backup-simplify]: Simplify y into y 4.023 * [taylor]: Taking taylor expansion of (* a z) in x 4.023 * [taylor]: Taking taylor expansion of a in x 4.023 * [backup-simplify]: Simplify a into a 4.023 * [taylor]: Taking taylor expansion of z in x 4.023 * [backup-simplify]: Simplify z into z 4.023 * [taylor]: Taking taylor expansion of (- (+ (* z b) y) (* z y)) in x 4.023 * [taylor]: Taking taylor expansion of (+ (* z b) y) in x 4.023 * [taylor]: Taking taylor expansion of (* z b) in x 4.023 * [taylor]: Taking taylor expansion of z in x 4.023 * [backup-simplify]: Simplify z into z 4.023 * [taylor]: Taking taylor expansion of b in x 4.023 * [backup-simplify]: Simplify b into b 4.023 * [taylor]: Taking taylor expansion of y in x 4.023 * [backup-simplify]: Simplify y into y 4.023 * [taylor]: Taking taylor expansion of (* z y) in x 4.023 * [taylor]: Taking taylor expansion of z in x 4.023 * [backup-simplify]: Simplify z into z 4.023 * [taylor]: Taking taylor expansion of y in x 4.023 * [backup-simplify]: Simplify y into y 4.023 * [backup-simplify]: Simplify (* t z) into (* t z) 4.023 * [backup-simplify]: Simplify (* 0 y) into 0 4.023 * [backup-simplify]: Simplify (+ (* t z) 0) into (* t z) 4.023 * [backup-simplify]: Simplify (* a z) into (* a z) 4.023 * [backup-simplify]: Simplify (- (* a z)) into (- (* a z)) 4.023 * [backup-simplify]: Simplify (+ (* t z) (- (* a z))) into (- (* t z) (* a z)) 4.023 * [backup-simplify]: Simplify (* z b) into (* z b) 4.023 * [backup-simplify]: Simplify (+ (* z b) y) into (+ (* z b) y) 4.023 * [backup-simplify]: Simplify (* z y) into (* z y) 4.024 * [backup-simplify]: Simplify (- (* z y)) into (- (* z y)) 4.024 * [backup-simplify]: Simplify (+ (+ (* z b) y) (- (* z y))) into (- (+ (* z b) y) (* z y)) 4.024 * [backup-simplify]: Simplify (/ (- (* t z) (* a z)) (- (+ (* z b) y) (* z y))) into (/ (- (* t z) (* a z)) (- (+ (* z b) y) (* z y))) 4.024 * [taylor]: Taking taylor expansion of (/ (- (* t z) (* a z)) (- (+ (* z b) y) (* z y))) in y 4.024 * [taylor]: Taking taylor expansion of (- (* t z) (* a z)) in y 4.024 * [taylor]: Taking taylor expansion of (* t z) in y 4.024 * [taylor]: Taking taylor expansion of t in y 4.024 * [backup-simplify]: Simplify t into t 4.024 * [taylor]: Taking taylor expansion of z in y 4.024 * [backup-simplify]: Simplify z into z 4.024 * [taylor]: Taking taylor expansion of (* a z) in y 4.024 * [taylor]: Taking taylor expansion of a in y 4.024 * [backup-simplify]: Simplify a into a 4.024 * [taylor]: Taking taylor expansion of z in y 4.024 * [backup-simplify]: Simplify z into z 4.024 * [taylor]: Taking taylor expansion of (- (+ (* z b) y) (* z y)) in y 4.024 * [taylor]: Taking taylor expansion of (+ (* z b) y) in y 4.024 * [taylor]: Taking taylor expansion of (* z b) in y 4.024 * [taylor]: Taking taylor expansion of z in y 4.024 * [backup-simplify]: Simplify z into z 4.024 * [taylor]: Taking taylor expansion of b in y 4.024 * [backup-simplify]: Simplify b into b 4.024 * [taylor]: Taking taylor expansion of y in y 4.024 * [backup-simplify]: Simplify 0 into 0 4.025 * [backup-simplify]: Simplify 1 into 1 4.025 * [taylor]: Taking taylor expansion of (* z y) in y 4.025 * [taylor]: Taking taylor expansion of z in y 4.025 * [backup-simplify]: Simplify z into z 4.025 * [taylor]: Taking taylor expansion of y in y 4.025 * [backup-simplify]: Simplify 0 into 0 4.025 * [backup-simplify]: Simplify 1 into 1 4.025 * [backup-simplify]: Simplify (* t z) into (* t z) 4.025 * [backup-simplify]: Simplify (* a z) into (* a z) 4.025 * [backup-simplify]: Simplify (- (* a z)) into (- (* a z)) 4.025 * [backup-simplify]: Simplify (+ (* t z) (- (* a z))) into (- (* t z) (* a z)) 4.025 * [backup-simplify]: Simplify (* z b) into (* z b) 4.025 * [backup-simplify]: Simplify (+ (* z b) 0) into (* z b) 4.025 * [backup-simplify]: Simplify (* z 0) into 0 4.025 * [backup-simplify]: Simplify (- 0) into 0 4.025 * [backup-simplify]: Simplify (+ (* z b) 0) into (* z b) 4.025 * [backup-simplify]: Simplify (/ (- (* t z) (* a z)) (* z b)) into (/ (- (* t z) (* a z)) (* z b)) 4.025 * [taylor]: Taking taylor expansion of (/ (- (* t z) (* a z)) (* z b)) in z 4.025 * [taylor]: Taking taylor expansion of (- (* t z) (* a z)) in z 4.025 * [taylor]: Taking taylor expansion of (* t z) in z 4.026 * [taylor]: Taking taylor expansion of t in z 4.026 * [backup-simplify]: Simplify t into t 4.026 * [taylor]: Taking taylor expansion of z in z 4.026 * [backup-simplify]: Simplify 0 into 0 4.026 * [backup-simplify]: Simplify 1 into 1 4.026 * [taylor]: Taking taylor expansion of (* a z) in z 4.026 * [taylor]: Taking taylor expansion of a in z 4.026 * [backup-simplify]: Simplify a into a 4.026 * [taylor]: Taking taylor expansion of z in z 4.026 * [backup-simplify]: Simplify 0 into 0 4.026 * [backup-simplify]: Simplify 1 into 1 4.026 * [taylor]: Taking taylor expansion of (* z b) in z 4.026 * [taylor]: Taking taylor expansion of z in z 4.026 * [backup-simplify]: Simplify 0 into 0 4.026 * [backup-simplify]: Simplify 1 into 1 4.026 * [taylor]: Taking taylor expansion of b in z 4.026 * [backup-simplify]: Simplify b into b 4.026 * [backup-simplify]: Simplify (* t 0) into 0 4.026 * [backup-simplify]: Simplify (* a 0) into 0 4.026 * [backup-simplify]: Simplify (- 0) into 0 4.026 * [backup-simplify]: Simplify (+ 0 0) into 0 4.027 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t 4.027 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 4.027 * [backup-simplify]: Simplify (- a) into (- a) 4.027 * [backup-simplify]: Simplify (+ t (- a)) into (- t a) 4.027 * [backup-simplify]: Simplify (* 0 b) into 0 4.027 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b 4.027 * [backup-simplify]: Simplify (/ (- t a) b) into (/ (- t a) b) 4.027 * [taylor]: Taking taylor expansion of (/ (- t a) b) in t 4.027 * [taylor]: Taking taylor expansion of (- t a) in t 4.027 * [taylor]: Taking taylor expansion of t in t 4.027 * [backup-simplify]: Simplify 0 into 0 4.027 * [backup-simplify]: Simplify 1 into 1 4.027 * [taylor]: Taking taylor expansion of a in t 4.028 * [backup-simplify]: Simplify a into a 4.028 * [taylor]: Taking taylor expansion of b in t 4.028 * [backup-simplify]: Simplify b into b 4.028 * [backup-simplify]: Simplify (- a) into (- a) 4.028 * [backup-simplify]: Simplify (+ 0 (- a)) into (- a) 4.028 * [backup-simplify]: Simplify (/ (- a) b) into (* -1 (/ a b)) 4.028 * [taylor]: Taking taylor expansion of (* -1 (/ a b)) in a 4.028 * [taylor]: Taking taylor expansion of -1 in a 4.028 * [backup-simplify]: Simplify -1 into -1 4.028 * [taylor]: Taking taylor expansion of (/ a b) in a 4.028 * [taylor]: Taking taylor expansion of a in a 4.028 * [backup-simplify]: Simplify 0 into 0 4.028 * [backup-simplify]: Simplify 1 into 1 4.028 * [taylor]: Taking taylor expansion of b in a 4.028 * [backup-simplify]: Simplify b into b 4.028 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 4.028 * [backup-simplify]: Simplify (+ (* t 0) (* 0 z)) into 0 4.028 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 4.028 * [backup-simplify]: Simplify (+ 0 y) into y 4.028 * [backup-simplify]: Simplify (+ (* a 0) (* 0 z)) into 0 4.029 * [backup-simplify]: Simplify (- 0) into 0 4.029 * [backup-simplify]: Simplify (+ y 0) into y 4.029 * [backup-simplify]: Simplify (+ (* z 0) (* 0 b)) into 0 4.029 * [backup-simplify]: Simplify (+ 0 0) into 0 4.029 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0 4.029 * [backup-simplify]: Simplify (- 0) into 0 4.029 * [backup-simplify]: Simplify (+ 0 0) into 0 4.030 * [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.030 * [taylor]: Taking taylor expansion of (/ y (- (+ (* z b) y) (* z y))) in y 4.030 * [taylor]: Taking taylor expansion of y in y 4.030 * [backup-simplify]: Simplify 0 into 0 4.030 * [backup-simplify]: Simplify 1 into 1 4.030 * [taylor]: Taking taylor expansion of (- (+ (* z b) y) (* z y)) in y 4.030 * [taylor]: Taking taylor expansion of (+ (* z b) y) in y 4.030 * [taylor]: Taking taylor expansion of (* z b) in y 4.030 * [taylor]: Taking taylor expansion of z in y 4.030 * [backup-simplify]: Simplify z into z 4.030 * [taylor]: Taking taylor expansion of b in y 4.030 * [backup-simplify]: Simplify b into b 4.030 * [taylor]: Taking taylor expansion of y in y 4.030 * [backup-simplify]: Simplify 0 into 0 4.030 * [backup-simplify]: Simplify 1 into 1 4.030 * [taylor]: Taking taylor expansion of (* z y) in y 4.030 * [taylor]: Taking taylor expansion of z in y 4.030 * [backup-simplify]: Simplify z into z 4.030 * [taylor]: Taking taylor expansion of y in y 4.030 * [backup-simplify]: Simplify 0 into 0 4.030 * [backup-simplify]: Simplify 1 into 1 4.030 * [backup-simplify]: Simplify (* z b) into (* z b) 4.030 * [backup-simplify]: Simplify (+ (* z b) 0) into (* z b) 4.030 * [backup-simplify]: Simplify (* z 0) into 0 4.031 * [backup-simplify]: Simplify (- 0) into 0 4.031 * [backup-simplify]: Simplify (+ (* z b) 0) into (* z b) 4.031 * [backup-simplify]: Simplify (/ 1 (* z b)) into (/ 1 (* z b)) 4.031 * [backup-simplify]: Simplify (+ (* t 0) (* 0 z)) into 0 4.031 * [backup-simplify]: Simplify (+ (* a 0) (* 0 z)) into 0 4.031 * [backup-simplify]: Simplify (- 0) into 0 4.031 * [backup-simplify]: Simplify (+ 0 0) into 0 4.031 * [backup-simplify]: Simplify (+ (* z 0) (* 0 b)) into 0 4.032 * [backup-simplify]: Simplify (+ 0 1) into 1 4.032 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 4.032 * [backup-simplify]: Simplify (- z) into (- z) 4.032 * [backup-simplify]: Simplify (+ 1 (- z)) into (- 1 z)