0.161 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.037 * * * [progress]: [2/2] Setting up program. 0.042 * [progress]: [Phase 2 of 3] Improving. 0.042 * [simplify]: Simplifying: (+ x (/ (* (- y z) (- t x)) (- a z))) 0.042 * * [simplify]: Extracting # 0 : cost 0 0.042 * * [simplify]: Extracting # 1 : cost 0 0.042 * * [simplify]: Extracting # 2 : cost 0 0.042 * * [simplify]: Extracting # 3 : cost 0 0.043 * * [simplify]: Extracting # 4 : cost 0 0.043 * * [simplify]: Extracting # 5 : cost 0 0.043 * * [simplify]: Extracting # 6 : cost 0 0.043 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 0.046 * * [simplify]: Extracting # 0 : cost 0 0.046 * * [simplify]: Extracting # 1 : cost 0 0.046 * * [simplify]: Extracting # 2 : cost 0 0.046 * * [simplify]: iteration 1 : 20 enodes (cost 13 ) 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 2 : 45 enodes (cost 13 ) 0.069 * * [simplify]: Extracting # 0 : cost 0 0.069 * * [simplify]: Extracting # 1 : cost 0 0.070 * * [simplify]: Extracting # 2 : cost 0 0.070 * * [simplify]: iteration 3 : 111 enodes (cost 13 ) 0.140 * * [simplify]: Extracting # 0 : cost 0 0.140 * * [simplify]: Extracting # 1 : cost 0 0.141 * * [simplify]: Extracting # 2 : cost 0 0.141 * * [simplify]: iteration 4 : 288 enodes (cost 13 ) 0.285 * * [simplify]: Extracting # 0 : cost 0 0.286 * * [simplify]: Extracting # 1 : cost 0 0.287 * * [simplify]: Extracting # 2 : cost 0 0.288 * * [simplify]: iteration 5 : 631 enodes (cost 13 ) 0.713 * * [simplify]: Extracting # 0 : cost 0 0.715 * * [simplify]: Extracting # 1 : cost 0 0.717 * * [simplify]: Extracting # 2 : cost 0 0.718 * * [simplify]: Extracting # 3 : cost 0 0.720 * * [simplify]: Extracting # 4 : cost 0 0.721 * * [simplify]: iteration 6 : 1195 enodes (cost 13 ) 1.653 * * [simplify]: Extracting # 0 : cost 0 1.657 * * [simplify]: Extracting # 1 : cost 0 1.660 * * [simplify]: Extracting # 2 : cost 0 1.663 * * [simplify]: iteration 7 : 2059 enodes (cost 13 ) 3.354 * * [simplify]: Extracting # 0 : cost 0 3.359 * * [simplify]: Extracting # 1 : cost 0 3.362 * * [simplify]: Extracting # 2 : cost 0 3.364 * * [simplify]: iteration 8 : 2903 enodes (cost 13 ) 5.564 * * [simplify]: Extracting # 0 : cost 0 5.567 * * [simplify]: Extracting # 1 : cost 0 5.569 * * [simplify]: Extracting # 2 : cost 0 5.570 * * [simplify]: iteration 9 : 3426 enodes (cost 13 ) 8.548 * * [simplify]: Extracting # 0 : cost 0 8.552 * * [simplify]: Extracting # 1 : cost 0 8.556 * * [simplify]: Extracting # 2 : cost 0 8.559 * * [simplify]: iteration 10 : 3861 enodes (cost 13 ) 11.586 * * [simplify]: Extracting # 0 : cost 0 11.588 * * [simplify]: Extracting # 1 : cost 0 11.590 * * [simplify]: Extracting # 2 : cost 0 11.591 * * [simplify]: iteration 11 : 4158 enodes (cost 13 ) 14.614 * * [simplify]: Extracting # 0 : cost 0 14.624 * * [simplify]: Extracting # 1 : cost 0 14.629 * * [simplify]: Extracting # 2 : cost 0 14.634 * * [simplify]: iteration done: 5000 enodes (cost 13 ) 14.634 * [simplify]: Simplified to: (+ x (/ (* (- y z) (- t x)) (- a z))) 14.634 * * [progress]: iteration 1 / 4 14.634 * * * [progress]: picking best candidate 14.636 * * * * [pick]: Picked # 14.636 * * * [progress]: localizing error 14.649 * * * [progress]: generating rewritten candidates 14.649 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 14.679 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 14.706 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1) 14.781 * * * [progress]: generating series expansions 14.781 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 14.782 * [backup-simplify]: Simplify (/ (* (- y z) (- t x)) (- a z)) into (/ (* (- y z) (- t x)) (- a z)) 14.782 * [approximate]: Taking taylor expansion of (/ (* (- y z) (- t x)) (- a z)) in (y z t x a) around 0 14.782 * [taylor]: Taking taylor expansion of (/ (* (- y z) (- t x)) (- a z)) in a 14.782 * [taylor]: Taking taylor expansion of (* (- y z) (- t x)) in a 14.782 * [taylor]: Taking taylor expansion of (- y z) in a 14.782 * [taylor]: Taking taylor expansion of y in a 14.782 * [backup-simplify]: Simplify y into y 14.782 * [taylor]: Taking taylor expansion of z in a 14.782 * [backup-simplify]: Simplify z into z 14.782 * [taylor]: Taking taylor expansion of (- t x) in a 14.782 * [taylor]: Taking taylor expansion of t in a 14.782 * [backup-simplify]: Simplify t into t 14.782 * [taylor]: Taking taylor expansion of x in a 14.782 * [backup-simplify]: Simplify x into x 14.782 * [taylor]: Taking taylor expansion of (- a z) in a 14.782 * [taylor]: Taking taylor expansion of a in a 14.782 * [backup-simplify]: Simplify 0 into 0 14.782 * [backup-simplify]: Simplify 1 into 1 14.782 * [taylor]: Taking taylor expansion of z in a 14.782 * [backup-simplify]: Simplify z into z 14.782 * [backup-simplify]: Simplify (- z) into (- z) 14.782 * [backup-simplify]: Simplify (+ y (- z)) into (- y z) 14.782 * [backup-simplify]: Simplify (- x) into (- x) 14.783 * [backup-simplify]: Simplify (+ t (- x)) into (- t x) 14.783 * [backup-simplify]: Simplify (* (- y z) (- t x)) into (* (- y z) (- t x)) 14.783 * [backup-simplify]: Simplify (- z) into (- z) 14.783 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z) 14.783 * [backup-simplify]: Simplify (/ (* (- y z) (- t x)) (- z)) into (* -1 (/ (* (- y z) (- t x)) z)) 14.783 * [taylor]: Taking taylor expansion of (/ (* (- y z) (- t x)) (- a z)) in x 14.783 * [taylor]: Taking taylor expansion of (* (- y z) (- t x)) in x 14.783 * [taylor]: Taking taylor expansion of (- y z) in x 14.783 * [taylor]: Taking taylor expansion of y in x 14.783 * [backup-simplify]: Simplify y into y 14.783 * [taylor]: Taking taylor expansion of z in x 14.783 * [backup-simplify]: Simplify z into z 14.783 * [taylor]: Taking taylor expansion of (- t x) in x 14.783 * [taylor]: Taking taylor expansion of t in x 14.783 * [backup-simplify]: Simplify t into t 14.783 * [taylor]: Taking taylor expansion of x in x 14.783 * [backup-simplify]: Simplify 0 into 0 14.783 * [backup-simplify]: Simplify 1 into 1 14.783 * [taylor]: Taking taylor expansion of (- a z) in x 14.783 * [taylor]: Taking taylor expansion of a in x 14.783 * [backup-simplify]: Simplify a into a 14.783 * [taylor]: Taking taylor expansion of z in x 14.783 * [backup-simplify]: Simplify z into z 14.783 * [backup-simplify]: Simplify (- z) into (- z) 14.784 * [backup-simplify]: Simplify (+ y (- z)) into (- y z) 14.784 * [backup-simplify]: Simplify (- 0) into 0 14.784 * [backup-simplify]: Simplify (+ t 0) into t 14.784 * [backup-simplify]: Simplify (* (- y z) t) into (* (- y z) t) 14.784 * [backup-simplify]: Simplify (- z) into (- z) 14.785 * [backup-simplify]: Simplify (+ a (- z)) into (- a z) 14.785 * [backup-simplify]: Simplify (/ (* (- y z) t) (- a z)) into (/ (* (- y z) t) (- a z)) 14.785 * [taylor]: Taking taylor expansion of (/ (* (- y z) (- t x)) (- a z)) in t 14.785 * [taylor]: Taking taylor expansion of (* (- y z) (- t x)) in t 14.785 * [taylor]: Taking taylor expansion of (- y z) in t 14.785 * [taylor]: Taking taylor expansion of y in t 14.785 * [backup-simplify]: Simplify y into y 14.785 * [taylor]: Taking taylor expansion of z in t 14.785 * [backup-simplify]: Simplify z into z 14.785 * [taylor]: Taking taylor expansion of (- t x) in t 14.785 * [taylor]: Taking taylor expansion of t in t 14.785 * [backup-simplify]: Simplify 0 into 0 14.785 * [backup-simplify]: Simplify 1 into 1 14.785 * [taylor]: Taking taylor expansion of x in t 14.785 * [backup-simplify]: Simplify x into x 14.785 * [taylor]: Taking taylor expansion of (- a z) in t 14.785 * [taylor]: Taking taylor expansion of a in t 14.785 * [backup-simplify]: Simplify a into a 14.785 * [taylor]: Taking taylor expansion of z in t 14.785 * [backup-simplify]: Simplify z into z 14.785 * [backup-simplify]: Simplify (- z) into (- z) 14.785 * [backup-simplify]: Simplify (+ y (- z)) into (- y z) 14.785 * [backup-simplify]: Simplify (- x) into (- x) 14.785 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x) 14.786 * [backup-simplify]: Simplify (* (- y z) (- x)) into (* -1 (* (- y z) x)) 14.786 * [backup-simplify]: Simplify (- z) into (- z) 14.786 * [backup-simplify]: Simplify (+ a (- z)) into (- a z) 14.786 * [backup-simplify]: Simplify (/ (* -1 (* (- y z) x)) (- a z)) into (* -1 (/ (* (- y z) x) (- a z))) 14.786 * [taylor]: Taking taylor expansion of (/ (* (- y z) (- t x)) (- a z)) in z 14.786 * [taylor]: Taking taylor expansion of (* (- y z) (- t x)) in z 14.786 * [taylor]: Taking taylor expansion of (- y z) in z 14.786 * [taylor]: Taking taylor expansion of y in z 14.786 * [backup-simplify]: Simplify y into y 14.786 * [taylor]: Taking taylor expansion of z in z 14.786 * [backup-simplify]: Simplify 0 into 0 14.786 * [backup-simplify]: Simplify 1 into 1 14.786 * [taylor]: Taking taylor expansion of (- t x) in z 14.786 * [taylor]: Taking taylor expansion of t in z 14.786 * [backup-simplify]: Simplify t into t 14.786 * [taylor]: Taking taylor expansion of x in z 14.786 * [backup-simplify]: Simplify x into x 14.786 * [taylor]: Taking taylor expansion of (- a z) in z 14.786 * [taylor]: Taking taylor expansion of a in z 14.786 * [backup-simplify]: Simplify a into a 14.786 * [taylor]: Taking taylor expansion of z in z 14.786 * [backup-simplify]: Simplify 0 into 0 14.786 * [backup-simplify]: Simplify 1 into 1 14.787 * [backup-simplify]: Simplify (- 0) into 0 14.787 * [backup-simplify]: Simplify (+ y 0) into y 14.787 * [backup-simplify]: Simplify (- x) into (- x) 14.787 * [backup-simplify]: Simplify (+ t (- x)) into (- t x) 14.787 * [backup-simplify]: Simplify (* y (- t x)) into (* (- t x) y) 14.788 * [backup-simplify]: Simplify (- 0) into 0 14.788 * [backup-simplify]: Simplify (+ a 0) into a 14.788 * [backup-simplify]: Simplify (/ (* (- t x) y) a) into (/ (* (- t x) y) a) 14.788 * [taylor]: Taking taylor expansion of (/ (* (- y z) (- t x)) (- a z)) in y 14.788 * [taylor]: Taking taylor expansion of (* (- y z) (- t x)) in y 14.788 * [taylor]: Taking taylor expansion of (- y z) in y 14.788 * [taylor]: Taking taylor expansion of y in y 14.788 * [backup-simplify]: Simplify 0 into 0 14.788 * [backup-simplify]: Simplify 1 into 1 14.788 * [taylor]: Taking taylor expansion of z in y 14.788 * [backup-simplify]: Simplify z into z 14.788 * [taylor]: Taking taylor expansion of (- t x) in y 14.788 * [taylor]: Taking taylor expansion of t in y 14.788 * [backup-simplify]: Simplify t into t 14.788 * [taylor]: Taking taylor expansion of x in y 14.788 * [backup-simplify]: Simplify x into x 14.788 * [taylor]: Taking taylor expansion of (- a z) in y 14.788 * [taylor]: Taking taylor expansion of a in y 14.788 * [backup-simplify]: Simplify a into a 14.788 * [taylor]: Taking taylor expansion of z in y 14.788 * [backup-simplify]: Simplify z into z 14.788 * [backup-simplify]: Simplify (- z) into (- z) 14.788 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z) 14.788 * [backup-simplify]: Simplify (- x) into (- x) 14.789 * [backup-simplify]: Simplify (+ t (- x)) into (- t x) 14.789 * [backup-simplify]: Simplify (* (- z) (- t x)) into (* -1 (* z (- t x))) 14.789 * [backup-simplify]: Simplify (- z) into (- z) 14.789 * [backup-simplify]: Simplify (+ a (- z)) into (- a z) 14.789 * [backup-simplify]: Simplify (/ (* -1 (* z (- t x))) (- a z)) into (* -1 (/ (* z (- t x)) (- a z))) 14.789 * [taylor]: Taking taylor expansion of (/ (* (- y z) (- t x)) (- a z)) in y 14.789 * [taylor]: Taking taylor expansion of (* (- y z) (- t x)) in y 14.789 * [taylor]: Taking taylor expansion of (- y z) in y 14.789 * [taylor]: Taking taylor expansion of y in y 14.789 * [backup-simplify]: Simplify 0 into 0 14.789 * [backup-simplify]: Simplify 1 into 1 14.789 * [taylor]: Taking taylor expansion of z in y 14.789 * [backup-simplify]: Simplify z into z 14.789 * [taylor]: Taking taylor expansion of (- t x) in y 14.789 * [taylor]: Taking taylor expansion of t in y 14.789 * [backup-simplify]: Simplify t into t 14.789 * [taylor]: Taking taylor expansion of x in y 14.789 * [backup-simplify]: Simplify x into x 14.789 * [taylor]: Taking taylor expansion of (- a z) in y 14.789 * [taylor]: Taking taylor expansion of a in y 14.789 * [backup-simplify]: Simplify a into a 14.789 * [taylor]: Taking taylor expansion of z in y 14.789 * [backup-simplify]: Simplify z into z 14.790 * [backup-simplify]: Simplify (- z) into (- z) 14.790 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z) 14.790 * [backup-simplify]: Simplify (- x) into (- x) 14.790 * [backup-simplify]: Simplify (+ t (- x)) into (- t x) 14.790 * [backup-simplify]: Simplify (* (- z) (- t x)) into (* -1 (* z (- t x))) 14.790 * [backup-simplify]: Simplify (- z) into (- z) 14.790 * [backup-simplify]: Simplify (+ a (- z)) into (- a z) 14.790 * [backup-simplify]: Simplify (/ (* -1 (* z (- t x))) (- a z)) into (* -1 (/ (* z (- t x)) (- a z))) 14.790 * [taylor]: Taking taylor expansion of (* -1 (/ (* z (- t x)) (- a z))) in z 14.790 * [taylor]: Taking taylor expansion of -1 in z 14.790 * [backup-simplify]: Simplify -1 into -1 14.790 * [taylor]: Taking taylor expansion of (/ (* z (- t x)) (- a z)) in z 14.790 * [taylor]: Taking taylor expansion of (* z (- t x)) in z 14.790 * [taylor]: Taking taylor expansion of z in z 14.790 * [backup-simplify]: Simplify 0 into 0 14.790 * [backup-simplify]: Simplify 1 into 1 14.790 * [taylor]: Taking taylor expansion of (- t x) in z 14.790 * [taylor]: Taking taylor expansion of t in z 14.791 * [backup-simplify]: Simplify t into t 14.791 * [taylor]: Taking taylor expansion of x in z 14.791 * [backup-simplify]: Simplify x into x 14.791 * [taylor]: Taking taylor expansion of (- a z) in z 14.791 * [taylor]: Taking taylor expansion of a in z 14.791 * [backup-simplify]: Simplify a into a 14.791 * [taylor]: Taking taylor expansion of z in z 14.791 * [backup-simplify]: Simplify 0 into 0 14.791 * [backup-simplify]: Simplify 1 into 1 14.791 * [backup-simplify]: Simplify (- x) into (- x) 14.791 * [backup-simplify]: Simplify (+ t (- x)) into (- t x) 14.791 * [backup-simplify]: Simplify (* 0 (- t x)) into 0 14.792 * [backup-simplify]: Simplify (- 0) into 0 14.792 * [backup-simplify]: Simplify (+ 0 0) into 0 14.793 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- t x))) into (- t x) 14.793 * [backup-simplify]: Simplify (- 0) into 0 14.793 * [backup-simplify]: Simplify (+ a 0) into a 14.793 * [backup-simplify]: Simplify (/ (- t x) a) into (/ (- t x) a) 14.794 * [backup-simplify]: Simplify (- 0) into 0 14.794 * [backup-simplify]: Simplify (+ 0 0) into 0 14.794 * [backup-simplify]: Simplify (- 0) into 0 14.795 * [backup-simplify]: Simplify (+ 1 0) into 1 14.795 * [backup-simplify]: Simplify (+ (* (- z) 0) (* 1 (- t x))) into (- t x) 14.795 * [backup-simplify]: Simplify (- 0) into 0 14.796 * [backup-simplify]: Simplify (+ 0 0) into 0 14.796 * [backup-simplify]: Simplify (- (/ (- t x) (- a z)) (+ (* (* -1 (/ (* z (- t x)) (- a z))) (/ 0 (- a z))))) into (- (/ t (- a z)) (/ x (- a z))) 14.796 * [taylor]: Taking taylor expansion of (- (/ t (- a z)) (/ x (- a z))) in z 14.796 * [taylor]: Taking taylor expansion of (/ t (- a z)) in z 14.796 * [taylor]: Taking taylor expansion of t in z 14.796 * [backup-simplify]: Simplify t into t 14.796 * [taylor]: Taking taylor expansion of (- a z) in z 14.796 * [taylor]: Taking taylor expansion of a in z 14.796 * [backup-simplify]: Simplify a into a 14.796 * [taylor]: Taking taylor expansion of z in z 14.796 * [backup-simplify]: Simplify 0 into 0 14.797 * [backup-simplify]: Simplify 1 into 1 14.797 * [backup-simplify]: Simplify (- 0) into 0 14.797 * [backup-simplify]: Simplify (+ a 0) into a 14.797 * [backup-simplify]: Simplify (/ t a) into (/ t a) 14.797 * [taylor]: Taking taylor expansion of (/ x (- a z)) in z 14.797 * [taylor]: Taking taylor expansion of x in z 14.797 * [backup-simplify]: Simplify x into x 14.797 * [taylor]: Taking taylor expansion of (- a z) in z 14.797 * [taylor]: Taking taylor expansion of a in z 14.797 * [backup-simplify]: Simplify a into a 14.797 * [taylor]: Taking taylor expansion of z in z 14.797 * [backup-simplify]: Simplify 0 into 0 14.797 * [backup-simplify]: Simplify 1 into 1 14.798 * [backup-simplify]: Simplify (- 0) into 0 14.798 * [backup-simplify]: Simplify (+ a 0) into a 14.798 * [backup-simplify]: Simplify (/ x a) into (/ x a) 14.798 * [backup-simplify]: Simplify (- (/ x a)) into (- (/ x a)) 14.798 * [backup-simplify]: Simplify (+ (/ t a) (- (/ x a))) into (- (/ t a) (/ x a)) 14.798 * [taylor]: Taking taylor expansion of (- (/ t a) (/ x a)) in t 14.798 * [taylor]: Taking taylor expansion of (/ t a) in t 14.798 * [taylor]: Taking taylor expansion of t in t 14.798 * [backup-simplify]: Simplify 0 into 0 14.798 * [backup-simplify]: Simplify 1 into 1 14.798 * [taylor]: Taking taylor expansion of a in t 14.798 * [backup-simplify]: Simplify a into a 14.798 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 14.798 * [taylor]: Taking taylor expansion of (/ x a) in t 14.798 * [taylor]: Taking taylor expansion of x in t 14.798 * [backup-simplify]: Simplify x into x 14.798 * [taylor]: Taking taylor expansion of a in t 14.798 * [backup-simplify]: Simplify a into a 14.799 * [backup-simplify]: Simplify (/ x a) into (/ x a) 14.799 * [backup-simplify]: Simplify (- (/ x a)) into (- (/ x a)) 14.799 * [backup-simplify]: Simplify (+ 0 (- (/ x a))) into (- (/ x a)) 14.799 * [taylor]: Taking taylor expansion of (- (/ x a)) in x 14.799 * [taylor]: Taking taylor expansion of (/ x a) in x 14.799 * [taylor]: Taking taylor expansion of x in x 14.799 * [backup-simplify]: Simplify 0 into 0 14.799 * [backup-simplify]: Simplify 1 into 1 14.799 * [taylor]: Taking taylor expansion of a in x 14.799 * [backup-simplify]: Simplify a into a 14.799 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 14.799 * [backup-simplify]: Simplify (* -1 (/ (- t x) a)) into (* -1 (/ (- t x) a)) 14.799 * [taylor]: Taking taylor expansion of (* -1 (/ (- t x) a)) in t 14.799 * [taylor]: Taking taylor expansion of -1 in t 14.799 * [backup-simplify]: Simplify -1 into -1 14.799 * [taylor]: Taking taylor expansion of (/ (- t x) a) in t 14.799 * [taylor]: Taking taylor expansion of (- t x) in t 14.799 * [taylor]: Taking taylor expansion of t in t 14.799 * [backup-simplify]: Simplify 0 into 0 14.799 * [backup-simplify]: Simplify 1 into 1 14.799 * [taylor]: Taking taylor expansion of x in t 14.799 * [backup-simplify]: Simplify x into x 14.799 * [taylor]: Taking taylor expansion of a in t 14.800 * [backup-simplify]: Simplify a into a 14.800 * [backup-simplify]: Simplify (- x) into (- x) 14.800 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x) 14.800 * [backup-simplify]: Simplify (/ (- x) a) into (* -1 (/ x a)) 14.800 * [backup-simplify]: Simplify (* -1 (* -1 (/ x a))) into (/ x a) 14.800 * [taylor]: Taking taylor expansion of (/ x a) in x 14.800 * [taylor]: Taking taylor expansion of x in x 14.800 * [backup-simplify]: Simplify 0 into 0 14.800 * [backup-simplify]: Simplify 1 into 1 14.800 * [taylor]: Taking taylor expansion of a in x 14.800 * [backup-simplify]: Simplify a into a 14.800 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a) 14.801 * [backup-simplify]: Simplify (- 0) into 0 14.801 * [backup-simplify]: Simplify (+ 0 0) into 0 14.801 * [backup-simplify]: Simplify (- 0) into 0 14.802 * [backup-simplify]: Simplify (+ 0 0) into 0 14.802 * [backup-simplify]: Simplify (+ (* (- z) 0) (+ (* 1 0) (* 0 (- t x)))) into 0 14.802 * [backup-simplify]: Simplify (- 0) into 0 14.802 * [backup-simplify]: Simplify (+ 0 0) into 0 14.803 * [backup-simplify]: Simplify (- (/ 0 (- a z)) (+ (* (* -1 (/ (* z (- t x)) (- a z))) (/ 0 (- a z))) (* (- (/ t (- a z)) (/ x (- a z))) (/ 0 (- a z))))) into 0 14.803 * [taylor]: Taking taylor expansion of 0 in z 14.803 * [backup-simplify]: Simplify 0 into 0 14.803 * [taylor]: Taking taylor expansion of 0 in t 14.803 * [backup-simplify]: Simplify 0 into 0 14.803 * [taylor]: Taking taylor expansion of 0 in x 14.803 * [backup-simplify]: Simplify 0 into 0 14.803 * [taylor]: Taking taylor expansion of 0 in a 14.803 * [backup-simplify]: Simplify 0 into 0 14.803 * [backup-simplify]: Simplify 0 into 0 14.803 * [backup-simplify]: Simplify (- 1) into -1 14.803 * [backup-simplify]: Simplify (+ 0 -1) into -1