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.039 * [progress]: [Phase 2 of 3] Improving. 0.039 * [simplify]: Simplifying: (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) 0.039 * * [simplify]: Extracting # 0 : cost 0 0.039 * * [simplify]: Extracting # 1 : cost 0 0.039 * * [simplify]: Extracting # 2 : cost 0 0.039 * * [simplify]: Extracting # 3 : cost 0 0.039 * * [simplify]: Extracting # 4 : cost 0 0.039 * * [simplify]: Extracting # 5 : cost 0 0.039 * * [simplify]: Extracting # 6 : cost 0 0.039 * * [simplify]: Extracting # 7 : cost 0 0.040 * * [simplify]: iteration 0 : 14 enodes (cost 17 ) 0.041 * * [simplify]: Extracting # 0 : cost 0 0.041 * * [simplify]: Extracting # 1 : cost 0 0.041 * * [simplify]: Extracting # 2 : cost 0 0.041 * * [simplify]: iteration 1 : 23 enodes (cost 17 ) 0.044 * * [simplify]: Extracting # 0 : cost 0 0.044 * * [simplify]: Extracting # 1 : cost 0 0.045 * * [simplify]: Extracting # 2 : cost 0 0.045 * * [simplify]: iteration 2 : 37 enodes (cost 17 ) 0.051 * * [simplify]: Extracting # 0 : cost 0 0.051 * * [simplify]: Extracting # 1 : cost 0 0.051 * * [simplify]: Extracting # 2 : cost 0 0.051 * * [simplify]: iteration 3 : 65 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.062 * * [simplify]: iteration 4 : 87 enodes (cost 17 ) 0.075 * * [simplify]: Extracting # 0 : cost 0 0.075 * * [simplify]: Extracting # 1 : cost 0 0.075 * * [simplify]: Extracting # 2 : cost 0 0.075 * * [simplify]: Extracting # 3 : cost 0 0.075 * * [simplify]: Extracting # 4 : cost 0 0.075 * * [simplify]: iteration 5 : 101 enodes (cost 17 ) 0.098 * * [simplify]: Extracting # 0 : cost 0 0.098 * * [simplify]: Extracting # 1 : cost 0 0.098 * * [simplify]: Extracting # 2 : cost 0 0.098 * * [simplify]: iteration 6 : 125 enodes (cost 17 ) 0.119 * * [simplify]: Extracting # 0 : cost 0 0.119 * * [simplify]: Extracting # 1 : cost 0 0.119 * * [simplify]: Extracting # 2 : cost 0 0.119 * * [simplify]: Extracting # 3 : cost 0 0.120 * * [simplify]: iteration 7 : 194 enodes (cost 17 ) 0.158 * * [simplify]: Extracting # 0 : cost 0 0.158 * * [simplify]: Extracting # 1 : cost 0 0.161 * * [simplify]: Extracting # 2 : cost 0 0.161 * * [simplify]: iteration 8 : 328 enodes (cost 17 ) 0.246 * * [simplify]: Extracting # 0 : cost 0 0.247 * * [simplify]: Extracting # 1 : cost 0 0.248 * * [simplify]: Extracting # 2 : cost 0 0.249 * * [simplify]: iteration 9 : 596 enodes (cost 17 ) 0.495 * * [simplify]: Extracting # 0 : cost 0 0.497 * * [simplify]: Extracting # 1 : cost 0 0.498 * * [simplify]: Extracting # 2 : cost 0 0.500 * * [simplify]: Extracting # 3 : cost 0 0.502 * * [simplify]: iteration 10 : 1292 enodes (cost 17 ) 1.998 * * [simplify]: Extracting # 0 : cost 0 2.003 * * [simplify]: Extracting # 1 : cost 0 2.007 * * [simplify]: Extracting # 2 : cost 0 2.012 * * [simplify]: Extracting # 3 : cost 0 2.016 * * [simplify]: iteration 11 : 3696 enodes (cost 17 ) 3.366 * * [simplify]: Extracting # 0 : cost 0 3.373 * * [simplify]: Extracting # 1 : cost 0 3.388 * * [simplify]: Extracting # 2 : cost 0 3.396 * * [simplify]: iteration done: 5001 enodes (cost 17 ) 3.396 * [simplify]: Simplified to: (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) 3.396 * * [progress]: iteration 1 / 4 3.396 * * * [progress]: picking best candidate 3.399 * * * * [pick]: Picked # 3.399 * * * [progress]: localizing error 3.417 * * * [progress]: generating rewritten candidates 3.417 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 3.464 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 3.477 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2) 3.498 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2) 3.533 * * * [progress]: generating series expansions 3.533 * * * * [progress]: [ 1 / 4 ] generating series at (2) 3.533 * [backup-simplify]: Simplify (/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y)))) into (/ (- (+ (* t z) (* x y)) (* a z)) (- (+ (* z b) y) (* z y))) 3.534 * [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 3.534 * [taylor]: Taking taylor expansion of (/ (- (+ (* t z) (* x y)) (* a z)) (- (+ (* z b) y) (* z y))) in b 3.534 * [taylor]: Taking taylor expansion of (- (+ (* t z) (* x y)) (* a z)) in b 3.534 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in b 3.534 * [taylor]: Taking taylor expansion of (* t z) in b 3.534 * [taylor]: Taking taylor expansion of t in b 3.534 * [backup-simplify]: Simplify t into t 3.534 * [taylor]: Taking taylor expansion of z in b 3.534 * [backup-simplify]: Simplify z into z 3.534 * [taylor]: Taking taylor expansion of (* x y) in b 3.534 * [taylor]: Taking taylor expansion of x in b 3.534 * [backup-simplify]: Simplify x into x 3.534 * [taylor]: Taking taylor expansion of y in b 3.534 * [backup-simplify]: Simplify y into y 3.534 * [taylor]: Taking taylor expansion of (* a z) in b 3.534 * [taylor]: Taking taylor expansion of a in b 3.534 * [backup-simplify]: Simplify a into a 3.534 * [taylor]: Taking taylor expansion of z in b 3.534 * [backup-simplify]: Simplify z into z 3.534 * [taylor]: Taking taylor expansion of (- (+ (* z b) y) (* z y)) in b 3.534 * [taylor]: Taking taylor expansion of (+ (* z b) y) in b 3.534 * [taylor]: Taking taylor expansion of (* z b) in b 3.534 * [taylor]: Taking taylor expansion of z in b 3.534 * [backup-simplify]: Simplify z into z 3.534 * [taylor]: Taking taylor expansion of b in b 3.534 * [backup-simplify]: Simplify 0 into 0 3.534 * [backup-simplify]: Simplify 1 into 1 3.534 * [taylor]: Taking taylor expansion of y in b 3.534 * [backup-simplify]: Simplify y into y 3.534 * [taylor]: Taking taylor expansion of (* z y) in b 3.534 * [taylor]: Taking taylor expansion of z in b 3.534 * [backup-simplify]: Simplify z into z 3.534 * [taylor]: Taking taylor expansion of y in b 3.534 * [backup-simplify]: Simplify y into y 3.534 * [backup-simplify]: Simplify (* t z) into (* t z) 3.534 * [backup-simplify]: Simplify (* x y) into (* x y) 3.534 * [backup-simplify]: Simplify (+ (* t z) (* x y)) into (+ (* t z) (* x y)) 3.535 * [backup-simplify]: Simplify (* a z) into (* a z) 3.535 * [backup-simplify]: Simplify (- (* a z)) into (- (* a z)) 3.535 * [backup-simplify]: Simplify (+ (+ (* t z) (* x y)) (- (* a z))) into (- (+ (* t z) (* x y)) (* a z)) 3.535 * [backup-simplify]: Simplify (* z 0) into 0 3.535 * [backup-simplify]: Simplify (+ 0 y) into y 3.535 * [backup-simplify]: Simplify (* z y) into (* z y) 3.535 * [backup-simplify]: Simplify (- (* z y)) into (- (* z y)) 3.535 * [backup-simplify]: Simplify (+ y (- (* z y))) into (- y (* z y)) 3.535 * [backup-simplify]: Simplify (/ (- (+ (* t z) (* x y)) (* a z)) (- y (* z y))) into (/ (- (+ (* t z) (* x y)) (* a z)) (- y (* z y))) 3.535 * [taylor]: Taking taylor expansion of (/ (- (+ (* t z) (* x y)) (* a z)) (- (+ (* z b) y) (* z y))) in a 3.535 * [taylor]: Taking taylor expansion of (- (+ (* t z) (* x y)) (* a z)) in a 3.535 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in a 3.535 * [taylor]: Taking taylor expansion of (* t z) in a 3.535 * [taylor]: Taking taylor expansion of t in a 3.535 * [backup-simplify]: Simplify t into t 3.536 * [taylor]: Taking taylor expansion of z in a 3.536 * [backup-simplify]: Simplify z into z 3.536 * [taylor]: Taking taylor expansion of (* x y) in a 3.536 * [taylor]: Taking taylor expansion of x in a 3.536 * [backup-simplify]: Simplify x into x 3.536 * [taylor]: Taking taylor expansion of y in a 3.536 * [backup-simplify]: Simplify y into y 3.536 * [taylor]: Taking taylor expansion of (* a z) in a 3.536 * [taylor]: Taking taylor expansion of a in a 3.536 * [backup-simplify]: Simplify 0 into 0 3.536 * [backup-simplify]: Simplify 1 into 1 3.536 * [taylor]: Taking taylor expansion of z in a 3.536 * [backup-simplify]: Simplify z into z 3.536 * [taylor]: Taking taylor expansion of (- (+ (* z b) y) (* z y)) in a 3.536 * [taylor]: Taking taylor expansion of (+ (* z b) y) in a 3.536 * [taylor]: Taking taylor expansion of (* z b) in a 3.536 * [taylor]: Taking taylor expansion of z in a 3.536 * [backup-simplify]: Simplify z into z 3.536 * [taylor]: Taking taylor expansion of b in a 3.536 * [backup-simplify]: Simplify b into b 3.536 * [taylor]: Taking taylor expansion of y in a 3.536 * [backup-simplify]: Simplify y into y 3.536 * [taylor]: Taking taylor expansion of (* z y) in a 3.536 * [taylor]: Taking taylor expansion of z in a 3.536 * [backup-simplify]: Simplify z into z 3.536 * [taylor]: Taking taylor expansion of y in a 3.536 * [backup-simplify]: Simplify y into y 3.536 * [backup-simplify]: Simplify (* t z) into (* t z) 3.536 * [backup-simplify]: Simplify (* x y) into (* x y) 3.536 * [backup-simplify]: Simplify (+ (* t z) (* x y)) into (+ (* t z) (* x y)) 3.536 * [backup-simplify]: Simplify (* 0 z) into 0 3.537 * [backup-simplify]: Simplify (- 0) into 0 3.537 * [backup-simplify]: Simplify (+ (+ (* t z) (* x y)) 0) into (+ (* t z) (* x y)) 3.537 * [backup-simplify]: Simplify (* z b) into (* z b) 3.537 * [backup-simplify]: Simplify (+ (* z b) y) into (+ (* z b) y) 3.537 * [backup-simplify]: Simplify (* z y) into (* z y) 3.537 * [backup-simplify]: Simplify (- (* z y)) into (- (* z y)) 3.537 * [backup-simplify]: Simplify (+ (+ (* z b) y) (- (* z y))) into (- (+ (* z b) y) (* z y)) 3.538 * [backup-simplify]: Simplify (/ (+ (* t z) (* x y)) (- (+ (* z b) y) (* z y))) into (/ (+ (* t z) (* x y)) (- (+ (* z b) y) (* z y))) 3.538 * [taylor]: Taking taylor expansion of (/ (- (+ (* t z) (* x y)) (* a z)) (- (+ (* z b) y) (* z y))) in t 3.538 * [taylor]: Taking taylor expansion of (- (+ (* t z) (* x y)) (* a z)) in t 3.538 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in t 3.538 * [taylor]: Taking taylor expansion of (* t z) in t 3.538 * [taylor]: Taking taylor expansion of t in t 3.538 * [backup-simplify]: Simplify 0 into 0 3.538 * [backup-simplify]: Simplify 1 into 1 3.538 * [taylor]: Taking taylor expansion of z in t 3.538 * [backup-simplify]: Simplify z into z 3.538 * [taylor]: Taking taylor expansion of (* x y) in t 3.538 * [taylor]: Taking taylor expansion of x in t 3.538 * [backup-simplify]: Simplify x into x 3.538 * [taylor]: Taking taylor expansion of y in t 3.538 * [backup-simplify]: Simplify y into y 3.538 * [taylor]: Taking taylor expansion of (* a z) in t 3.538 * [taylor]: Taking taylor expansion of a in t 3.538 * [backup-simplify]: Simplify a into a 3.538 * [taylor]: Taking taylor expansion of z in t 3.538 * [backup-simplify]: Simplify z into z 3.538 * [taylor]: Taking taylor expansion of (- (+ (* z b) y) (* z y)) in t 3.538 * [taylor]: Taking taylor expansion of (+ (* z b) y) in t 3.538 * [taylor]: Taking taylor expansion of (* z b) in t 3.538 * [taylor]: Taking taylor expansion of z in t 3.538 * [backup-simplify]: Simplify z into z 3.538 * [taylor]: Taking taylor expansion of b in t 3.538 * [backup-simplify]: Simplify b into b 3.538 * [taylor]: Taking taylor expansion of y in t 3.538 * [backup-simplify]: Simplify y into y 3.538 * [taylor]: Taking taylor expansion of (* z y) in t 3.538 * [taylor]: Taking taylor expansion of z in t 3.538 * [backup-simplify]: Simplify z into z 3.538 * [taylor]: Taking taylor expansion of y in t 3.538 * [backup-simplify]: Simplify y into y 3.539 * [backup-simplify]: Simplify (* 0 z) into 0 3.539 * [backup-simplify]: Simplify (* x y) into (* x y) 3.539 * [backup-simplify]: Simplify (+ 0 (* x y)) into (* x y) 3.539 * [backup-simplify]: Simplify (* a z) into (* a z) 3.539 * [backup-simplify]: Simplify (- (* a z)) into (- (* a z)) 3.539 * [backup-simplify]: Simplify (+ (* x y) (- (* a z))) into (- (* x y) (* a z)) 3.539 * [backup-simplify]: Simplify (* z b) into (* z b) 3.539 * [backup-simplify]: Simplify (+ (* z b) y) into (+ (* z b) y) 3.539 * [backup-simplify]: Simplify (* z y) into (* z y) 3.539 * [backup-simplify]: Simplify (- (* z y)) into (- (* z y)) 3.539 * [backup-simplify]: Simplify (+ (+ (* z b) y) (- (* z y))) into (- (+ (* z b) y) (* z y)) 3.540 * [backup-simplify]: Simplify (/ (- (* x y) (* a z)) (- (+ (* z b) y) (* z y))) into (/ (- (* x y) (* a z)) (- (+ (* z b) y) (* z y))) 3.540 * [taylor]: Taking taylor expansion of (/ (- (+ (* t z) (* x y)) (* a z)) (- (+ (* z b) y) (* z y))) in z 3.540 * [taylor]: Taking taylor expansion of (- (+ (* t z) (* x y)) (* a z)) in z 3.540 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in z 3.540 * [taylor]: Taking taylor expansion of (* t z) in z 3.540 * [taylor]: Taking taylor expansion of t in z 3.540 * [backup-simplify]: Simplify t into t 3.540 * [taylor]: Taking taylor expansion of z in z 3.540 * [backup-simplify]: Simplify 0 into 0 3.540 * [backup-simplify]: Simplify 1 into 1 3.540 * [taylor]: Taking taylor expansion of (* x y) in z 3.540 * [taylor]: Taking taylor expansion of x in z 3.540 * [backup-simplify]: Simplify x into x 3.540 * [taylor]: Taking taylor expansion of y in z 3.540 * [backup-simplify]: Simplify y into y 3.540 * [taylor]: Taking taylor expansion of (* a z) in z 3.540 * [taylor]: Taking taylor expansion of a in z 3.540 * [backup-simplify]: Simplify a into a 3.540 * [taylor]: Taking taylor expansion of z in z 3.540 * [backup-simplify]: Simplify 0 into 0 3.540 * [backup-simplify]: Simplify 1 into 1 3.540 * [taylor]: Taking taylor expansion of (- (+ (* z b) y) (* z y)) in z 3.540 * [taylor]: Taking taylor expansion of (+ (* z b) y) in z 3.540 * [taylor]: Taking taylor expansion of (* z b) in z 3.540 * [taylor]: Taking taylor expansion of z in z 3.540 * [backup-simplify]: Simplify 0 into 0 3.540 * [backup-simplify]: Simplify 1 into 1 3.540 * [taylor]: Taking taylor expansion of b in z 3.540 * [backup-simplify]: Simplify b into b 3.540 * [taylor]: Taking taylor expansion of y in z 3.540 * [backup-simplify]: Simplify y into y 3.540 * [taylor]: Taking taylor expansion of (* z y) in z 3.540 * [taylor]: Taking taylor expansion of z in z 3.540 * [backup-simplify]: Simplify 0 into 0 3.540 * [backup-simplify]: Simplify 1 into 1 3.540 * [taylor]: Taking taylor expansion of y in z 3.540 * [backup-simplify]: Simplify y into y 3.540 * [backup-simplify]: Simplify (* t 0) into 0 3.540 * [backup-simplify]: Simplify (* x y) into (* x y) 3.541 * [backup-simplify]: Simplify (+ 0 (* x y)) into (* x y) 3.541 * [backup-simplify]: Simplify (* a 0) into 0 3.541 * [backup-simplify]: Simplify (- 0) into 0 3.541 * [backup-simplify]: Simplify (+ (* x y) 0) into (* x y) 3.541 * [backup-simplify]: Simplify (* 0 b) into 0 3.541 * [backup-simplify]: Simplify (+ 0 y) into y 3.541 * [backup-simplify]: Simplify (* 0 y) into 0 3.541 * [backup-simplify]: Simplify (- 0) into 0 3.541 * [backup-simplify]: Simplify (+ y 0) into y 3.541 * [backup-simplify]: Simplify (/ (* x y) y) into x 3.542 * [taylor]: Taking taylor expansion of (/ (- (+ (* t z) (* x y)) (* a z)) (- (+ (* z b) y) (* z y))) in y 3.542 * [taylor]: Taking taylor expansion of (- (+ (* t z) (* x y)) (* a z)) in y 3.542 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in y 3.542 * [taylor]: Taking taylor expansion of (* t z) in y 3.542 * [taylor]: Taking taylor expansion of t in y 3.542 * [backup-simplify]: Simplify t into t 3.542 * [taylor]: Taking taylor expansion of z in y 3.542 * [backup-simplify]: Simplify z into z 3.542 * [taylor]: Taking taylor expansion of (* x y) in y 3.542 * [taylor]: Taking taylor expansion of x in y 3.542 * [backup-simplify]: Simplify x into x 3.542 * [taylor]: Taking taylor expansion of y in y 3.542 * [backup-simplify]: Simplify 0 into 0 3.542 * [backup-simplify]: Simplify 1 into 1 3.542 * [taylor]: Taking taylor expansion of (* a z) in y 3.542 * [taylor]: Taking taylor expansion of a in y 3.542 * [backup-simplify]: Simplify a into a 3.542 * [taylor]: Taking taylor expansion of z in y 3.542 * [backup-simplify]: Simplify z into z 3.542 * [taylor]: Taking taylor expansion of (- (+ (* z b) y) (* z y)) in y 3.542 * [taylor]: Taking taylor expansion of (+ (* z b) y) in y 3.542 * [taylor]: Taking taylor expansion of (* z b) in y 3.542 * [taylor]: Taking taylor expansion of z in y 3.542 * [backup-simplify]: Simplify z into z 3.542 * [taylor]: Taking taylor expansion of b in y 3.542 * [backup-simplify]: Simplify b into b 3.542 * [taylor]: Taking taylor expansion of y in y 3.542 * [backup-simplify]: Simplify 0 into 0 3.542 * [backup-simplify]: Simplify 1 into 1 3.542 * [taylor]: Taking taylor expansion of (* z y) in y 3.542 * [taylor]: Taking taylor expansion of z in y 3.542 * [backup-simplify]: Simplify z into z 3.542 * [taylor]: Taking taylor expansion of y in y 3.542 * [backup-simplify]: Simplify 0 into 0 3.542 * [backup-simplify]: Simplify 1 into 1 3.542 * [backup-simplify]: Simplify (* t z) into (* t z) 3.542 * [backup-simplify]: Simplify (* x 0) into 0 3.542 * [backup-simplify]: Simplify (+ (* t z) 0) into (* t z) 3.542 * [backup-simplify]: Simplify (* a z) into (* a z) 3.543 * [backup-simplify]: Simplify (- (* a z)) into (- (* a z)) 3.543 * [backup-simplify]: Simplify (+ (* t z) (- (* a z))) into (- (* t z) (* a z)) 3.543 * [backup-simplify]: Simplify (* z b) into (* z b) 3.543 * [backup-simplify]: Simplify (+ (* z b) 0) into (* z b) 3.543 * [backup-simplify]: Simplify (* z 0) into 0 3.543 * [backup-simplify]: Simplify (- 0) into 0 3.543 * [backup-simplify]: Simplify (+ (* z b) 0) into (* z b) 3.543 * [backup-simplify]: Simplify (/ (- (* t z) (* a z)) (* z b)) into (/ (- (* t z) (* a z)) (* z b)) 3.543 * [taylor]: Taking taylor expansion of (/ (- (+ (* t z) (* x y)) (* a z)) (- (+ (* z b) y) (* z y))) in x 3.543 * [taylor]: Taking taylor expansion of (- (+ (* t z) (* x y)) (* a z)) in x 3.543 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in x 3.544 * [taylor]: Taking taylor expansion of (* t z) in x 3.544 * [taylor]: Taking taylor expansion of t in x 3.544 * [backup-simplify]: Simplify t into t 3.544 * [taylor]: Taking taylor expansion of z in x 3.544 * [backup-simplify]: Simplify z into z 3.544 * [taylor]: Taking taylor expansion of (* x y) in x 3.544 * [taylor]: Taking taylor expansion of x in x 3.544 * [backup-simplify]: Simplify 0 into 0 3.544 * [backup-simplify]: Simplify 1 into 1 3.544 * [taylor]: Taking taylor expansion of y in x 3.544 * [backup-simplify]: Simplify y into y 3.544 * [taylor]: Taking taylor expansion of (* a z) in x 3.544 * [taylor]: Taking taylor expansion of a in x 3.544 * [backup-simplify]: Simplify a into a 3.544 * [taylor]: Taking taylor expansion of z in x 3.544 * [backup-simplify]: Simplify z into z 3.544 * [taylor]: Taking taylor expansion of (- (+ (* z b) y) (* z y)) in x 3.544 * [taylor]: Taking taylor expansion of (+ (* z b) y) in x 3.544 * [taylor]: Taking taylor expansion of (* z b) in x 3.544 * [taylor]: Taking taylor expansion of z in x 3.544 * [backup-simplify]: Simplify z into z 3.544 * [taylor]: Taking taylor expansion of b in x 3.544 * [backup-simplify]: Simplify b into b 3.544 * [taylor]: Taking taylor expansion of y in x 3.544 * [backup-simplify]: Simplify y into y 3.544 * [taylor]: Taking taylor expansion of (* z y) in x 3.544 * [taylor]: Taking taylor expansion of z in x 3.544 * [backup-simplify]: Simplify z into z 3.544 * [taylor]: Taking taylor expansion of y in x 3.544 * [backup-simplify]: Simplify y into y 3.544 * [backup-simplify]: Simplify (* t z) into (* t z) 3.544 * [backup-simplify]: Simplify (* 0 y) into 0 3.544 * [backup-simplify]: Simplify (+ (* t z) 0) into (* t z) 3.544 * [backup-simplify]: Simplify (* a z) into (* a z) 3.544 * [backup-simplify]: Simplify (- (* a z)) into (- (* a z)) 3.545 * [backup-simplify]: Simplify (+ (* t z) (- (* a z))) into (- (* t z) (* a z)) 3.545 * [backup-simplify]: Simplify (* z b) into (* z b) 3.545 * [backup-simplify]: Simplify (+ (* z b) y) into (+ (* z b) y) 3.545 * [backup-simplify]: Simplify (* z y) into (* z y) 3.545 * [backup-simplify]: Simplify (- (* z y)) into (- (* z y)) 3.545 * [backup-simplify]: Simplify (+ (+ (* z b) y) (- (* z y))) into (- (+ (* z b) y) (* z y)) 3.545 * [backup-simplify]: Simplify (/ (- (* t z) (* a z)) (- (+ (* z b) y) (* z y))) into (/ (- (* t z) (* a z)) (- (+ (* z b) y) (* z y))) 3.545 * [taylor]: Taking taylor expansion of (/ (- (+ (* t z) (* x y)) (* a z)) (- (+ (* z b) y) (* z y))) in x 3.545 * [taylor]: Taking taylor expansion of (- (+ (* t z) (* x y)) (* a z)) in x 3.545 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in x 3.545 * [taylor]: Taking taylor expansion of (* t z) in x 3.545 * [taylor]: Taking taylor expansion of t in x 3.545 * [backup-simplify]: Simplify t into t 3.545 * [taylor]: Taking taylor expansion of z in x 3.545 * [backup-simplify]: Simplify z into z 3.546 * [taylor]: Taking taylor expansion of (* x y) in x 3.546 * [taylor]: Taking taylor expansion of x in x 3.546 * [backup-simplify]: Simplify 0 into 0 3.546 * [backup-simplify]: Simplify 1 into 1 3.546 * [taylor]: Taking taylor expansion of y in x 3.546 * [backup-simplify]: Simplify y into y 3.546 * [taylor]: Taking taylor expansion of (* a z) in x 3.546 * [taylor]: Taking taylor expansion of a in x 3.546 * [backup-simplify]: Simplify a into a 3.546 * [taylor]: Taking taylor expansion of z in x 3.546 * [backup-simplify]: Simplify z into z 3.546 * [taylor]: Taking taylor expansion of (- (+ (* z b) y) (* z y)) in x 3.546 * [taylor]: Taking taylor expansion of (+ (* z b) y) in x 3.546 * [taylor]: Taking taylor expansion of (* z b) in x 3.546 * [taylor]: Taking taylor expansion of z in x 3.546 * [backup-simplify]: Simplify z into z 3.546 * [taylor]: Taking taylor expansion of b in x 3.546 * [backup-simplify]: Simplify b into b 3.546 * [taylor]: Taking taylor expansion of y in x 3.546 * [backup-simplify]: Simplify y into y 3.546 * [taylor]: Taking taylor expansion of (* z y) in x 3.546 * [taylor]: Taking taylor expansion of z in x 3.546 * [backup-simplify]: Simplify z into z 3.546 * [taylor]: Taking taylor expansion of y in x 3.546 * [backup-simplify]: Simplify y into y 3.546 * [backup-simplify]: Simplify (* t z) into (* t z) 3.546 * [backup-simplify]: Simplify (* 0 y) into 0 3.546 * [backup-simplify]: Simplify (+ (* t z) 0) into (* t z) 3.546 * [backup-simplify]: Simplify (* a z) into (* a z) 3.546 * [backup-simplify]: Simplify (- (* a z)) into (- (* a z)) 3.546 * [backup-simplify]: Simplify (+ (* t z) (- (* a z))) into (- (* t z) (* a z)) 3.546 * [backup-simplify]: Simplify (* z b) into (* z b) 3.547 * [backup-simplify]: Simplify (+ (* z b) y) into (+ (* z b) y) 3.547 * [backup-simplify]: Simplify (* z y) into (* z y) 3.547 * [backup-simplify]: Simplify (- (* z y)) into (- (* z y)) 3.547 * [backup-simplify]: Simplify (+ (+ (* z b) y) (- (* z y))) into (- (+ (* z b) y) (* z y)) 3.547 * [backup-simplify]: Simplify (/ (- (* t z) (* a z)) (- (+ (* z b) y) (* z y))) into (/ (- (* t z) (* a z)) (- (+ (* z b) y) (* z y))) 3.547 * [taylor]: Taking taylor expansion of (/ (- (* t z) (* a z)) (- (+ (* z b) y) (* z y))) in y 3.547 * [taylor]: Taking taylor expansion of (- (* t z) (* a z)) in y 3.547 * [taylor]: Taking taylor expansion of (* t z) in y 3.547 * [taylor]: Taking taylor expansion of t in y 3.547 * [backup-simplify]: Simplify t into t 3.547 * [taylor]: Taking taylor expansion of z in y 3.547 * [backup-simplify]: Simplify z into z 3.547 * [taylor]: Taking taylor expansion of (* a z) in y 3.547 * [taylor]: Taking taylor expansion of a in y 3.547 * [backup-simplify]: Simplify a into a 3.547 * [taylor]: Taking taylor expansion of z in y 3.547 * [backup-simplify]: Simplify z into z 3.548 * [taylor]: Taking taylor expansion of (- (+ (* z b) y) (* z y)) in y 3.548 * [taylor]: Taking taylor expansion of (+ (* z b) y) in y 3.548 * [taylor]: Taking taylor expansion of (* z b) in y 3.548 * [taylor]: Taking taylor expansion of z in y 3.548 * [backup-simplify]: Simplify z into z 3.548 * [taylor]: Taking taylor expansion of b in y 3.548 * [backup-simplify]: Simplify b into b 3.548 * [taylor]: Taking taylor expansion of y in y 3.548 * [backup-simplify]: Simplify 0 into 0 3.548 * [backup-simplify]: Simplify 1 into 1 3.548 * [taylor]: Taking taylor expansion of (* z y) in y 3.548 * [taylor]: Taking taylor expansion of z in y 3.548 * [backup-simplify]: Simplify z into z 3.548 * [taylor]: Taking taylor expansion of y in y 3.548 * [backup-simplify]: Simplify 0 into 0 3.548 * [backup-simplify]: Simplify 1 into 1 3.548 * [backup-simplify]: Simplify (* t z) into (* t z) 3.548 * [backup-simplify]: Simplify (* a z) into (* a z) 3.548 * [backup-simplify]: Simplify (- (* a z)) into (- (* a z)) 3.548 * [backup-simplify]: Simplify (+ (* t z) (- (* a z))) into (- (* t z) (* a z)) 3.548 * [backup-simplify]: Simplify (* z b) into (* z b) 3.548 * [backup-simplify]: Simplify (+ (* z b) 0) into (* z b) 3.548 * [backup-simplify]: Simplify (* z 0) into 0 3.549 * [backup-simplify]: Simplify (- 0) into 0 3.549 * [backup-simplify]: Simplify (+ (* z b) 0) into (* z b) 3.549 * [backup-simplify]: Simplify (/ (- (* t z) (* a z)) (* z b)) into (/ (- (* t z) (* a z)) (* z b)) 3.549 * [taylor]: Taking taylor expansion of (/ (- (* t z) (* a z)) (* z b)) in z 3.549 * [taylor]: Taking taylor expansion of (- (* t z) (* a z)) in z 3.549 * [taylor]: Taking taylor expansion of (* t z) in z 3.549 * [taylor]: Taking taylor expansion of t in z 3.549 * [backup-simplify]: Simplify t into t 3.549 * [taylor]: Taking taylor expansion of z in z 3.549 * [backup-simplify]: Simplify 0 into 0 3.549 * [backup-simplify]: Simplify 1 into 1 3.549 * [taylor]: Taking taylor expansion of (* a z) in z 3.549 * [taylor]: Taking taylor expansion of a in z 3.549 * [backup-simplify]: Simplify a into a 3.549 * [taylor]: Taking taylor expansion of z in z 3.549 * [backup-simplify]: Simplify 0 into 0 3.549 * [backup-simplify]: Simplify 1 into 1 3.549 * [taylor]: Taking taylor expansion of (* z b) in z 3.549 * [taylor]: Taking taylor expansion of z in z 3.549 * [backup-simplify]: Simplify 0 into 0 3.549 * [backup-simplify]: Simplify 1 into 1 3.549 * [taylor]: Taking taylor expansion of b in z 3.549 * [backup-simplify]: Simplify b into b 3.549 * [backup-simplify]: Simplify (* t 0) into 0 3.549 * [backup-simplify]: Simplify (* a 0) into 0 3.550 * [backup-simplify]: Simplify (- 0) into 0 3.550 * [backup-simplify]: Simplify (+ 0 0) into 0 3.550 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t 3.551 * [backup-simplify]: Simplify (+ (* a 1) (* 0 0)) into a 3.551 * [backup-simplify]: Simplify (- a) into (- a) 3.551 * [backup-simplify]: Simplify (+ t (- a)) into (- t a) 3.551 * [backup-simplify]: Simplify (* 0 b) into 0 3.551 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b 3.551 * [backup-simplify]: Simplify (/ (- t a) b) into (/ (- t a) b) 3.551 * [taylor]: Taking taylor expansion of (/ (- t a) b) in t 3.551 * [taylor]: Taking taylor expansion of (- t a) in t 3.551 * [taylor]: Taking taylor expansion of t in t 3.551 * [backup-simplify]: Simplify 0 into 0 3.551 * [backup-simplify]: Simplify 1 into 1 3.551 * [taylor]: Taking taylor expansion of a in t 3.551 * [backup-simplify]: Simplify a into a 3.551 * [taylor]: Taking taylor expansion of b in t 3.552 * [backup-simplify]: Simplify b into b 3.552 * [backup-simplify]: Simplify (- a) into (- a) 3.552 * [backup-simplify]: Simplify (+ 0 (- a)) into (- a) 3.552 * [backup-simplify]: Simplify (/ (- a) b) into (* -1 (/ a b)) 3.552 * [taylor]: Taking taylor expansion of (* -1 (/ a b)) in a 3.552 * [taylor]: Taking taylor expansion of -1 in a 3.552 * [backup-simplify]: Simplify -1 into -1 3.552 * [taylor]: Taking taylor expansion of (/ a b) in a 3.552 * [taylor]: Taking taylor expansion of a in a 3.552 * [backup-simplify]: Simplify 0 into 0 3.552 * [backup-simplify]: Simplify 1 into 1 3.552 * [taylor]: Taking taylor expansion of b in a 3.552 * [backup-simplify]: Simplify b into b 3.552 * [backup-simplify]: Simplify (/ 1 b) into (/ 1 b) 3.552 * [backup-simplify]: Simplify (+ (* t 0) (* 0 z)) into 0 3.552 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 3.552 * [backup-simplify]: Simplify (+ 0 y) into y 3.553 * [backup-simplify]: Simplify (+ (* a 0) (* 0 z)) into 0 3.553 * [backup-simplify]: Simplify (- 0) into 0 3.553 * [backup-simplify]: Simplify (+ y 0) into y 3.553 * [backup-simplify]: Simplify (+ (* z 0) (* 0 b)) into 0 3.553 * [backup-simplify]: Simplify (+ 0 0) into 0 3.553 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0 3.554 * [backup-simplify]: Simplify (- 0) into 0 3.554 * [backup-simplify]: Simplify (+ 0 0) into 0 3.555 * [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))) 3.555 * [taylor]: Taking taylor expansion of (/ y (- (+ (* z b) y) (* z y))) in y 3.555 * [taylor]: Taking taylor expansion of y in y 3.555 * [backup-simplify]: Simplify 0 into 0 3.555 * [backup-simplify]: Simplify 1 into 1 3.555 * [taylor]: Taking taylor expansion of (- (+ (* z b) y) (* z y)) in y 3.555 * [taylor]: Taking taylor expansion of (+ (* z b) y) in y 3.555 * [taylor]: Taking taylor expansion of (* z b) in y 3.555 * [taylor]: Taking taylor expansion of z in y 3.555 * [backup-simplify]: Simplify z into z 3.555 * [taylor]: Taking taylor expansion of b in y 3.555 * [backup-simplify]: Simplify b into b 3.555 * [taylor]: Taking taylor expansion of y in y 3.555 * [backup-simplify]: Simplify 0 into 0 3.555 * [backup-simplify]: Simplify 1 into 1 3.555 * [taylor]: Taking taylor expansion of (* z y) in y 3.555 * [taylor]: Taking taylor expansion of z in y 3.555 * [backup-simplify]: Simplify z into z 3.555 * [taylor]: Taking taylor expansion of y in y 3.555 * [backup-simplify]: Simplify 0 into 0 3.555 * [backup-simplify]: Simplify 1 into 1 3.555 * [backup-simplify]: Simplify (* z b) into (* z b) 3.555 * [backup-simplify]: Simplify (+ (* z b) 0) into (* z b) 3.555 * [backup-simplify]: Simplify (* z 0) into 0 3.556 * [backup-simplify]: Simplify (- 0) into 0 3.556 * [backup-simplify]: Simplify (+ (* z b) 0) into (* z b) 3.556 * [backup-simplify]: Simplify (/ 1 (* z b)) into (/ 1 (* z b)) 3.556 * [backup-simplify]: Simplify (+ (* t 0) (* 0 z)) into 0 3.556 * [backup-simplify]: Simplify (+ (* a 0) (* 0 z)) into 0 3.556 * [backup-simplify]: Simplify (- 0) into 0 3.557 * [backup-simplify]: Simplify (+ 0 0) into 0 3.557 * [backup-simplify]: Simplify (+ (* z 0) (* 0 b)) into 0 3.557 * [backup-simplify]: Simplify (+ 0 1) into 1 3.557 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 3.557 * [backup-simplify]: Simplify (- z) into (- z) 3.557 * [backup-simplify]: Simplify (+ 1 (- z)) into (- 1 z)