59.196 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.019 * * * [progress]: [2/2] Setting up program. 0.022 * [progress]: [Phase 2 of 3] Improving. 0.022 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.023 * [simplify]: Simplifying: (/ (+ x (* y (- z x))) z) 0.023 * * [simplify]: iteration 0: 7 enodes 0.024 * * [simplify]: iteration 1: 11 enodes 0.026 * * [simplify]: iteration 2: 20 enodes 0.030 * * [simplify]: iteration 3: 36 enodes 0.035 * * [simplify]: iteration 4: 55 enodes 0.043 * * [simplify]: iteration 5: 72 enodes 0.051 * * [simplify]: iteration 6: 95 enodes 0.070 * * [simplify]: iteration 7: 129 enodes 0.099 * * [simplify]: iteration 8: 226 enodes 0.134 * * [simplify]: iteration 9: 365 enodes 0.249 * * [simplify]: iteration 10: 821 enodes 0.721 * * [simplify]: iteration 11: 2301 enodes 4.434 * * [simplify]: iteration 12: 4768 enodes 4.953 * * [simplify]: iteration complete: 5000 enodes 4.953 * * [simplify]: Extracting #0: cost 1 inf + 0 4.954 * * [simplify]: Extracting #1: cost 76 inf + 0 4.956 * * [simplify]: Extracting #2: cost 302 inf + 1053 4.966 * * [simplify]: Extracting #3: cost 214 inf + 20404 4.983 * * [simplify]: Extracting #4: cost 37 inf + 37798 5.005 * * [simplify]: Extracting #5: cost 0 inf + 41203 5.023 * [simplify]: Simplified to: (/ (fma (- z x) y x) z) 5.033 * * [progress]: iteration 1 / 4 5.033 * * * [progress]: picking best candidate 5.037 * * * * [pick]: Picked # 5.037 * * * [progress]: localizing error 5.051 * * * [progress]: generating rewritten candidates 5.051 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 5.060 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 5.062 * * * [progress]: generating series expansions 5.062 * * * * [progress]: [ 1 / 2 ] generating series at (2) 5.062 * [backup-simplify]: Simplify (/ (fma (- z x) y x) z) into (/ (fma (- z x) y x) z) 5.062 * [approximate]: Taking taylor expansion of (/ (fma (- z x) y x) z) in (z x y) around 0 5.062 * [taylor]: Taking taylor expansion of (/ (fma (- z x) y x) z) in y 5.062 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in y 5.062 * [taylor]: Rewrote expression to (+ (* (- z x) y) x) 5.062 * [taylor]: Taking taylor expansion of (* (- z x) y) in y 5.062 * [taylor]: Taking taylor expansion of (- z x) in y 5.062 * [taylor]: Taking taylor expansion of z in y 5.062 * [backup-simplify]: Simplify z into z 5.062 * [taylor]: Taking taylor expansion of x in y 5.062 * [backup-simplify]: Simplify x into x 5.062 * [taylor]: Taking taylor expansion of y in y 5.062 * [backup-simplify]: Simplify 0 into 0 5.062 * [backup-simplify]: Simplify 1 into 1 5.062 * [taylor]: Taking taylor expansion of x in y 5.062 * [backup-simplify]: Simplify x into x 5.062 * [taylor]: Taking taylor expansion of z in y 5.062 * [backup-simplify]: Simplify z into z 5.063 * [backup-simplify]: Simplify (- x) into (- x) 5.063 * [backup-simplify]: Simplify (+ z (- x)) into (- z x) 5.063 * [backup-simplify]: Simplify (* (- z x) 0) into 0 5.063 * [backup-simplify]: Simplify (+ 0 x) into x 5.063 * [backup-simplify]: Simplify (/ x z) into (/ x z) 5.063 * [taylor]: Taking taylor expansion of (/ (fma (- z x) y x) z) in x 5.063 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in x 5.063 * [taylor]: Rewrote expression to (+ (* (- z x) y) x) 5.063 * [taylor]: Taking taylor expansion of (* (- z x) y) in x 5.063 * [taylor]: Taking taylor expansion of (- z x) in x 5.063 * [taylor]: Taking taylor expansion of z in x 5.063 * [backup-simplify]: Simplify z into z 5.063 * [taylor]: Taking taylor expansion of x in x 5.063 * [backup-simplify]: Simplify 0 into 0 5.063 * [backup-simplify]: Simplify 1 into 1 5.063 * [taylor]: Taking taylor expansion of y in x 5.063 * [backup-simplify]: Simplify y into y 5.063 * [taylor]: Taking taylor expansion of x in x 5.063 * [backup-simplify]: Simplify 0 into 0 5.063 * [backup-simplify]: Simplify 1 into 1 5.063 * [taylor]: Taking taylor expansion of z in x 5.063 * [backup-simplify]: Simplify z into z 5.064 * [backup-simplify]: Simplify (- 0) into 0 5.064 * [backup-simplify]: Simplify (+ z 0) into z 5.064 * [backup-simplify]: Simplify (* z y) into (* z y) 5.064 * [backup-simplify]: Simplify (+ (* z y) 0) into (* z y) 5.064 * [backup-simplify]: Simplify (/ (* z y) z) into y 5.064 * [taylor]: Taking taylor expansion of (/ (fma (- z x) y x) z) in z 5.064 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in z 5.064 * [taylor]: Rewrote expression to (+ (* (- z x) y) x) 5.064 * [taylor]: Taking taylor expansion of (* (- z x) y) in z 5.064 * [taylor]: Taking taylor expansion of (- z x) in z 5.065 * [taylor]: Taking taylor expansion of z in z 5.065 * [backup-simplify]: Simplify 0 into 0 5.065 * [backup-simplify]: Simplify 1 into 1 5.065 * [taylor]: Taking taylor expansion of x in z 5.065 * [backup-simplify]: Simplify x into x 5.065 * [taylor]: Taking taylor expansion of y in z 5.065 * [backup-simplify]: Simplify y into y 5.065 * [taylor]: Taking taylor expansion of x in z 5.065 * [backup-simplify]: Simplify x into x 5.065 * [taylor]: Taking taylor expansion of z in z 5.065 * [backup-simplify]: Simplify 0 into 0 5.065 * [backup-simplify]: Simplify 1 into 1 5.065 * [backup-simplify]: Simplify (- x) into (- x) 5.065 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x) 5.065 * [backup-simplify]: Simplify (* (- x) y) into (* -1 (* x y)) 5.065 * [backup-simplify]: Simplify (+ (* -1 (* x y)) x) into (- x (* x y)) 5.065 * [backup-simplify]: Simplify (/ (- x (* x y)) 1) into (- x (* x y)) 5.065 * [taylor]: Taking taylor expansion of (/ (fma (- z x) y x) z) in z 5.065 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in z 5.065 * [taylor]: Rewrote expression to (+ (* (- z x) y) x) 5.065 * [taylor]: Taking taylor expansion of (* (- z x) y) in z 5.065 * [taylor]: Taking taylor expansion of (- z x) in z 5.065 * [taylor]: Taking taylor expansion of z in z 5.065 * [backup-simplify]: Simplify 0 into 0 5.065 * [backup-simplify]: Simplify 1 into 1 5.065 * [taylor]: Taking taylor expansion of x in z 5.065 * [backup-simplify]: Simplify x into x 5.065 * [taylor]: Taking taylor expansion of y in z 5.066 * [backup-simplify]: Simplify y into y 5.066 * [taylor]: Taking taylor expansion of x in z 5.066 * [backup-simplify]: Simplify x into x 5.066 * [taylor]: Taking taylor expansion of z in z 5.066 * [backup-simplify]: Simplify 0 into 0 5.066 * [backup-simplify]: Simplify 1 into 1 5.066 * [backup-simplify]: Simplify (- x) into (- x) 5.066 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x) 5.066 * [backup-simplify]: Simplify (* (- x) y) into (* -1 (* x y)) 5.066 * [backup-simplify]: Simplify (+ (* -1 (* x y)) x) into (- x (* x y)) 5.066 * [backup-simplify]: Simplify (/ (- x (* x y)) 1) into (- x (* x y)) 5.066 * [taylor]: Taking taylor expansion of (- x (* x y)) in x 5.066 * [taylor]: Taking taylor expansion of x in x 5.066 * [backup-simplify]: Simplify 0 into 0 5.066 * [backup-simplify]: Simplify 1 into 1 5.066 * [taylor]: Taking taylor expansion of (* x y) in x 5.066 * [taylor]: Taking taylor expansion of x in x 5.066 * [backup-simplify]: Simplify 0 into 0 5.066 * [backup-simplify]: Simplify 1 into 1 5.066 * [taylor]: Taking taylor expansion of y in x 5.066 * [backup-simplify]: Simplify y into y 5.066 * [backup-simplify]: Simplify (* 0 y) into 0 5.067 * [backup-simplify]: Simplify (- 0) into 0 5.067 * [backup-simplify]: Simplify (+ 0 0) into 0 5.067 * [taylor]: Taking taylor expansion of 0 in y 5.067 * [backup-simplify]: Simplify 0 into 0 5.067 * [backup-simplify]: Simplify 0 into 0 5.068 * [backup-simplify]: Simplify (- 0) into 0 5.068 * [backup-simplify]: Simplify (+ 1 0) into 1 5.068 * [backup-simplify]: Simplify (+ (* (- x) 0) (* 1 y)) into y 5.069 * [backup-simplify]: Simplify (+ y 0) into y 5.069 * [backup-simplify]: Simplify (- (/ y 1) (+ (* (- x (* x y)) (/ 0 1)))) into y 5.069 * [taylor]: Taking taylor expansion of y in x 5.069 * [backup-simplify]: Simplify y into y 5.069 * [taylor]: Taking taylor expansion of y in y 5.069 * [backup-simplify]: Simplify 0 into 0 5.069 * [backup-simplify]: Simplify 1 into 1 5.069 * [backup-simplify]: Simplify 0 into 0 5.070 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.070 * [backup-simplify]: Simplify (- y) into (- y) 5.070 * [backup-simplify]: Simplify (+ 1 (- y)) into (- 1 y) 5.070 * [taylor]: Taking taylor expansion of (- 1 y) in y 5.070 * [taylor]: Taking taylor expansion of 1 in y 5.070 * [backup-simplify]: Simplify 1 into 1 5.070 * [taylor]: Taking taylor expansion of y in y 5.070 * [backup-simplify]: Simplify 0 into 0 5.070 * [backup-simplify]: Simplify 1 into 1 5.070 * [backup-simplify]: Simplify (- 0) into 0 5.071 * [backup-simplify]: Simplify (+ 1 0) into 1 5.071 * [backup-simplify]: Simplify 1 into 1 5.071 * [backup-simplify]: Simplify 0 into 0 5.071 * [backup-simplify]: Simplify (- 0) into 0 5.072 * [backup-simplify]: Simplify (+ 0 0) into 0 5.072 * [backup-simplify]: Simplify (+ (* (- x) 0) (+ (* 1 0) (* 0 y))) into 0 5.072 * [backup-simplify]: Simplify (+ 0 0) into 0 5.074 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- x (* x y)) (/ 0 1)) (* y (/ 0 1)))) into 0 5.074 * [taylor]: Taking taylor expansion of 0 in x 5.074 * [backup-simplify]: Simplify 0 into 0 5.074 * [taylor]: Taking taylor expansion of 0 in y 5.074 * [backup-simplify]: Simplify 0 into 0 5.074 * [backup-simplify]: Simplify 0 into 0 5.074 * [taylor]: Taking taylor expansion of 0 in y 5.074 * [backup-simplify]: Simplify 0 into 0 5.074 * [backup-simplify]: Simplify 0 into 0 5.075 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 5.075 * [backup-simplify]: Simplify (- 0) into 0 5.075 * [backup-simplify]: Simplify (+ 0 0) into 0 5.075 * [taylor]: Taking taylor expansion of 0 in y 5.075 * [backup-simplify]: Simplify 0 into 0 5.076 * [backup-simplify]: Simplify 0 into 0 5.076 * [backup-simplify]: Simplify 1 into 1 5.076 * [backup-simplify]: Simplify (- 1) into -1 5.076 * [backup-simplify]: Simplify (+ 0 -1) into -1 5.076 * [backup-simplify]: Simplify -1 into -1 5.077 * [backup-simplify]: Simplify (+ (* -1 (* y (* x (/ 1 z)))) (+ (* 1 (* y (* 1 1))) (* 1 (* 1 (* x (/ 1 z)))))) into (- (+ y (/ x z)) (/ (* x y) z)) 5.077 * [backup-simplify]: Simplify (/ (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) (/ 1 z)) into (* z (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x))) 5.077 * [approximate]: Taking taylor expansion of (* z (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x))) in (z x y) around 0 5.077 * [taylor]: Taking taylor expansion of (* z (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x))) in y 5.077 * [taylor]: Taking taylor expansion of z in y 5.077 * [backup-simplify]: Simplify z into z 5.077 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in y 5.078 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x)) 5.078 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in y 5.078 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 5.078 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.078 * [taylor]: Taking taylor expansion of z in y 5.078 * [backup-simplify]: Simplify z into z 5.078 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.078 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.078 * [taylor]: Taking taylor expansion of x in y 5.078 * [backup-simplify]: Simplify x into x 5.078 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.078 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.078 * [taylor]: Taking taylor expansion of y in y 5.078 * [backup-simplify]: Simplify 0 into 0 5.078 * [backup-simplify]: Simplify 1 into 1 5.079 * [backup-simplify]: Simplify (/ 1 1) into 1 5.079 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.079 * [taylor]: Taking taylor expansion of x in y 5.079 * [backup-simplify]: Simplify x into x 5.079 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.079 * [taylor]: Taking taylor expansion of (* z (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x))) in x 5.079 * [taylor]: Taking taylor expansion of z in x 5.079 * [backup-simplify]: Simplify z into z 5.079 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in x 5.079 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x)) 5.079 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in x 5.079 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 5.079 * [taylor]: Taking taylor expansion of (/ 1 z) in x 5.079 * [taylor]: Taking taylor expansion of z in x 5.079 * [backup-simplify]: Simplify z into z 5.079 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.079 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.079 * [taylor]: Taking taylor expansion of x in x 5.079 * [backup-simplify]: Simplify 0 into 0 5.079 * [backup-simplify]: Simplify 1 into 1 5.080 * [backup-simplify]: Simplify (/ 1 1) into 1 5.080 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.080 * [taylor]: Taking taylor expansion of y in x 5.080 * [backup-simplify]: Simplify y into y 5.080 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.080 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.080 * [taylor]: Taking taylor expansion of x in x 5.080 * [backup-simplify]: Simplify 0 into 0 5.080 * [backup-simplify]: Simplify 1 into 1 5.080 * [backup-simplify]: Simplify (/ 1 1) into 1 5.081 * [taylor]: Taking taylor expansion of (* z (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x))) in z 5.081 * [taylor]: Taking taylor expansion of z in z 5.081 * [backup-simplify]: Simplify 0 into 0 5.081 * [backup-simplify]: Simplify 1 into 1 5.081 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in z 5.081 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x)) 5.081 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in z 5.081 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 5.081 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.081 * [taylor]: Taking taylor expansion of z in z 5.081 * [backup-simplify]: Simplify 0 into 0 5.081 * [backup-simplify]: Simplify 1 into 1 5.081 * [backup-simplify]: Simplify (/ 1 1) into 1 5.081 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.081 * [taylor]: Taking taylor expansion of x in z 5.081 * [backup-simplify]: Simplify x into x 5.082 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.082 * [taylor]: Taking taylor expansion of (/ 1 y) in z 5.082 * [taylor]: Taking taylor expansion of y in z 5.082 * [backup-simplify]: Simplify y into y 5.082 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.082 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.082 * [taylor]: Taking taylor expansion of x in z 5.082 * [backup-simplify]: Simplify x into x 5.082 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.082 * [taylor]: Taking taylor expansion of (* z (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x))) in z 5.082 * [taylor]: Taking taylor expansion of z in z 5.082 * [backup-simplify]: Simplify 0 into 0 5.082 * [backup-simplify]: Simplify 1 into 1 5.082 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in z 5.082 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x)) 5.082 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in z 5.082 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 5.082 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.082 * [taylor]: Taking taylor expansion of z in z 5.082 * [backup-simplify]: Simplify 0 into 0 5.082 * [backup-simplify]: Simplify 1 into 1 5.083 * [backup-simplify]: Simplify (/ 1 1) into 1 5.083 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.083 * [taylor]: Taking taylor expansion of x in z 5.083 * [backup-simplify]: Simplify x into x 5.083 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.083 * [taylor]: Taking taylor expansion of (/ 1 y) in z 5.083 * [taylor]: Taking taylor expansion of y in z 5.083 * [backup-simplify]: Simplify y into y 5.083 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.083 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.083 * [taylor]: Taking taylor expansion of x in z 5.083 * [backup-simplify]: Simplify x into x 5.083 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.084 * [backup-simplify]: Simplify (+ 1 0) into 1 5.084 * [backup-simplify]: Simplify (* 1 (/ 1 y)) into (/ 1 y) 5.084 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 5.084 * [backup-simplify]: Simplify (* 0 (/ 1 y)) into 0 5.084 * [taylor]: Taking taylor expansion of 0 in x 5.084 * [backup-simplify]: Simplify 0 into 0 5.084 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 5.085 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.085 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 5.085 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x)) 5.086 * [backup-simplify]: Simplify (+ (* 1 0) (* (- (/ 1 x)) (/ 1 y))) into (- (/ 1 (* x y))) 5.086 * [backup-simplify]: Simplify (+ (- (/ 1 (* x y))) (/ 1 x)) into (- (/ 1 x) (/ 1 (* x y))) 5.086 * [backup-simplify]: Simplify (+ (* 0 (- (/ 1 x) (/ 1 (* x y)))) (* 1 (/ 1 y))) into (/ 1 y) 5.086 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.086 * [taylor]: Taking taylor expansion of y in x 5.086 * [backup-simplify]: Simplify y into y 5.086 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.086 * [taylor]: Taking taylor expansion of 0 in y 5.086 * [backup-simplify]: Simplify 0 into 0 5.087 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.088 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.088 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 5.088 * [backup-simplify]: Simplify (- 0) into 0 5.089 * [backup-simplify]: Simplify (+ 0 0) into 0 5.089 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 x)) 0) (* 0 (/ 1 y)))) into 0 5.089 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 5.090 * [backup-simplify]: Simplify (+ 0 0) into 0 5.090 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 (- (/ 1 x) (/ 1 (* x y)))) (* 0 (/ 1 y)))) into (- (/ 1 x) (/ 1 (* x y))) 5.090 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* x y))) in x 5.090 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.090 * [taylor]: Taking taylor expansion of x in x 5.091 * [backup-simplify]: Simplify 0 into 0 5.091 * [backup-simplify]: Simplify 1 into 1 5.091 * [backup-simplify]: Simplify (/ 1 1) into 1 5.091 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 5.091 * [taylor]: Taking taylor expansion of (* x y) in x 5.091 * [taylor]: Taking taylor expansion of x in x 5.091 * [backup-simplify]: Simplify 0 into 0 5.091 * [backup-simplify]: Simplify 1 into 1 5.091 * [taylor]: Taking taylor expansion of y in x 5.091 * [backup-simplify]: Simplify y into y 5.091 * [backup-simplify]: Simplify (* 0 y) into 0 5.092 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.092 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.092 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 5.092 * [backup-simplify]: Simplify (+ 1 (- (/ 1 y))) into (- 1 (/ 1 y)) 5.092 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y 5.092 * [taylor]: Taking taylor expansion of 1 in y 5.092 * [backup-simplify]: Simplify 1 into 1 5.092 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.092 * [taylor]: Taking taylor expansion of y in y 5.092 * [backup-simplify]: Simplify 0 into 0 5.092 * [backup-simplify]: Simplify 1 into 1 5.092 * [backup-simplify]: Simplify (/ 1 1) into 1 5.093 * [backup-simplify]: Simplify (- 1) into -1 5.093 * [backup-simplify]: Simplify (+ 0 -1) into -1 5.093 * [backup-simplify]: Simplify -1 into -1 5.093 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.093 * [taylor]: Taking taylor expansion of y in y 5.093 * [backup-simplify]: Simplify 0 into 0 5.093 * [backup-simplify]: Simplify 1 into 1 5.094 * [backup-simplify]: Simplify (/ 1 1) into 1 5.094 * [backup-simplify]: Simplify 1 into 1 5.094 * [taylor]: Taking taylor expansion of 0 in y 5.094 * [backup-simplify]: Simplify 0 into 0 5.094 * [backup-simplify]: Simplify 0 into 0 5.094 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.095 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.095 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 5.096 * [backup-simplify]: Simplify (- 0) into 0 5.096 * [backup-simplify]: Simplify (+ 0 0) into 0 5.097 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 x)) 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0 5.097 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 5.098 * [backup-simplify]: Simplify (+ 0 0) into 0 5.099 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 (- (/ 1 x) (/ 1 (* x y)))) (* 0 (/ 1 y))))) into 0 5.099 * [taylor]: Taking taylor expansion of 0 in x 5.099 * [backup-simplify]: Simplify 0 into 0 5.100 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.100 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 5.101 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 5.101 * [backup-simplify]: Simplify (- 0) into 0 5.101 * [backup-simplify]: Simplify (+ 0 0) into 0 5.101 * [taylor]: Taking taylor expansion of 0 in y 5.101 * [backup-simplify]: Simplify 0 into 0 5.102 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 5.102 * [taylor]: Taking taylor expansion of 0 in y 5.102 * [backup-simplify]: Simplify 0 into 0 5.102 * [taylor]: Taking taylor expansion of 0 in y 5.102 * [backup-simplify]: Simplify 0 into 0 5.103 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.103 * [backup-simplify]: Simplify (- 0) into 0 5.103 * [backup-simplify]: Simplify (+ 1 0) into 1 5.103 * [backup-simplify]: Simplify 1 into 1 5.104 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 x)) (/ 1 z)))) (+ (* 1 (* (/ 1 (/ 1 y)) (* 1 1))) (* -1 (* (/ 1 (/ 1 y)) (* (/ 1 (/ 1 x)) (/ 1 z)))))) into (- (+ y (/ x z)) (/ (* x y) z)) 5.105 * [backup-simplify]: Simplify (/ (fma (- (/ 1 (- z)) (/ 1 (- x))) (/ 1 (- y)) (/ 1 (- x))) (/ 1 (- z))) into (* -1 (* (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) z)) 5.105 * [approximate]: Taking taylor expansion of (* -1 (* (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) z)) in (z x y) around 0 5.105 * [taylor]: Taking taylor expansion of (* -1 (* (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) z)) in y 5.105 * [taylor]: Taking taylor expansion of -1 in y 5.105 * [backup-simplify]: Simplify -1 into -1 5.105 * [taylor]: Taking taylor expansion of (* (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) z) in y 5.105 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in y 5.105 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x)) 5.105 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in y 5.105 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 5.105 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.105 * [taylor]: Taking taylor expansion of x in y 5.105 * [backup-simplify]: Simplify x into x 5.105 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.105 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.105 * [taylor]: Taking taylor expansion of z in y 5.105 * [backup-simplify]: Simplify z into z 5.105 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.105 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.105 * [taylor]: Taking taylor expansion of -1 in y 5.105 * [backup-simplify]: Simplify -1 into -1 5.105 * [taylor]: Taking taylor expansion of y in y 5.105 * [backup-simplify]: Simplify 0 into 0 5.105 * [backup-simplify]: Simplify 1 into 1 5.106 * [backup-simplify]: Simplify (/ -1 1) into -1 5.106 * [taylor]: Taking taylor expansion of (/ -1 x) in y 5.106 * [taylor]: Taking taylor expansion of -1 in y 5.106 * [backup-simplify]: Simplify -1 into -1 5.106 * [taylor]: Taking taylor expansion of x in y 5.106 * [backup-simplify]: Simplify x into x 5.106 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 5.106 * [taylor]: Taking taylor expansion of z in y 5.106 * [backup-simplify]: Simplify z into z 5.106 * [taylor]: Taking taylor expansion of (* -1 (* (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) z)) in x 5.106 * [taylor]: Taking taylor expansion of -1 in x 5.106 * [backup-simplify]: Simplify -1 into -1 5.106 * [taylor]: Taking taylor expansion of (* (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) z) in x 5.106 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in x 5.107 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x)) 5.107 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in x 5.107 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 5.107 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.107 * [taylor]: Taking taylor expansion of x in x 5.107 * [backup-simplify]: Simplify 0 into 0 5.107 * [backup-simplify]: Simplify 1 into 1 5.107 * [backup-simplify]: Simplify (/ 1 1) into 1 5.107 * [taylor]: Taking taylor expansion of (/ 1 z) in x 5.107 * [taylor]: Taking taylor expansion of z in x 5.107 * [backup-simplify]: Simplify z into z 5.107 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.107 * [taylor]: Taking taylor expansion of (/ -1 y) in x 5.107 * [taylor]: Taking taylor expansion of -1 in x 5.108 * [backup-simplify]: Simplify -1 into -1 5.108 * [taylor]: Taking taylor expansion of y in x 5.108 * [backup-simplify]: Simplify y into y 5.108 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 5.108 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.108 * [taylor]: Taking taylor expansion of -1 in x 5.108 * [backup-simplify]: Simplify -1 into -1 5.108 * [taylor]: Taking taylor expansion of x in x 5.108 * [backup-simplify]: Simplify 0 into 0 5.108 * [backup-simplify]: Simplify 1 into 1 5.108 * [backup-simplify]: Simplify (/ -1 1) into -1 5.108 * [taylor]: Taking taylor expansion of z in x 5.108 * [backup-simplify]: Simplify z into z 5.108 * [taylor]: Taking taylor expansion of (* -1 (* (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) z)) in z 5.108 * [taylor]: Taking taylor expansion of -1 in z 5.108 * [backup-simplify]: Simplify -1 into -1 5.109 * [taylor]: Taking taylor expansion of (* (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) z) in z 5.109 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in z 5.109 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x)) 5.109 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in z 5.109 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 5.109 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.109 * [taylor]: Taking taylor expansion of x in z 5.109 * [backup-simplify]: Simplify x into x 5.109 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.109 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.109 * [taylor]: Taking taylor expansion of z in z 5.109 * [backup-simplify]: Simplify 0 into 0 5.109 * [backup-simplify]: Simplify 1 into 1 5.110 * [backup-simplify]: Simplify (/ 1 1) into 1 5.110 * [taylor]: Taking taylor expansion of (/ -1 y) in z 5.110 * [taylor]: Taking taylor expansion of -1 in z 5.110 * [backup-simplify]: Simplify -1 into -1 5.110 * [taylor]: Taking taylor expansion of y in z 5.110 * [backup-simplify]: Simplify y into y 5.110 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 5.110 * [taylor]: Taking taylor expansion of (/ -1 x) in z 5.110 * [taylor]: Taking taylor expansion of -1 in z 5.110 * [backup-simplify]: Simplify -1 into -1 5.110 * [taylor]: Taking taylor expansion of x in z 5.110 * [backup-simplify]: Simplify x into x 5.110 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 5.110 * [taylor]: Taking taylor expansion of z in z 5.110 * [backup-simplify]: Simplify 0 into 0 5.110 * [backup-simplify]: Simplify 1 into 1 5.110 * [taylor]: Taking taylor expansion of (* -1 (* (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) z)) in z 5.110 * [taylor]: Taking taylor expansion of -1 in z 5.110 * [backup-simplify]: Simplify -1 into -1 5.111 * [taylor]: Taking taylor expansion of (* (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) z) in z 5.111 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in z 5.111 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x)) 5.111 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in z 5.111 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 5.111 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.111 * [taylor]: Taking taylor expansion of x in z 5.111 * [backup-simplify]: Simplify x into x 5.111 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.111 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.111 * [taylor]: Taking taylor expansion of z in z 5.111 * [backup-simplify]: Simplify 0 into 0 5.111 * [backup-simplify]: Simplify 1 into 1 5.112 * [backup-simplify]: Simplify (/ 1 1) into 1 5.112 * [taylor]: Taking taylor expansion of (/ -1 y) in z 5.112 * [taylor]: Taking taylor expansion of -1 in z 5.112 * [backup-simplify]: Simplify -1 into -1 5.112 * [taylor]: Taking taylor expansion of y in z 5.112 * [backup-simplify]: Simplify y into y 5.112 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 5.112 * [taylor]: Taking taylor expansion of (/ -1 x) in z 5.112 * [taylor]: Taking taylor expansion of -1 in z 5.112 * [backup-simplify]: Simplify -1 into -1 5.112 * [taylor]: Taking taylor expansion of x in z 5.112 * [backup-simplify]: Simplify x into x 5.112 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 5.112 * [taylor]: Taking taylor expansion of z in z 5.112 * [backup-simplify]: Simplify 0 into 0 5.112 * [backup-simplify]: Simplify 1 into 1 5.113 * [backup-simplify]: Simplify (- 1) into -1 5.113 * [backup-simplify]: Simplify (+ 0 -1) into -1 5.113 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y) 5.114 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 5.114 * [backup-simplify]: Simplify (* (/ 1 y) 0) into 0 5.114 * [backup-simplify]: Simplify (* -1 0) into 0 5.114 * [taylor]: Taking taylor expansion of 0 in x 5.114 * [backup-simplify]: Simplify 0 into 0 5.114 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 5.115 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.116 * [backup-simplify]: Simplify (- 0) into 0 5.116 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x) 5.116 * [backup-simplify]: Simplify (+ (* -1 0) (* (/ 1 x) (/ -1 y))) into (- (/ 1 (* x y))) 5.116 * [backup-simplify]: Simplify (+ (- (/ 1 (* x y))) (/ -1 x)) into (- (+ (/ 1 (* x y)) (/ 1 x))) 5.117 * [backup-simplify]: Simplify (+ (* (/ 1 y) 1) (* (- (+ (/ 1 (* x y)) (/ 1 x))) 0)) into (/ 1 y) 5.117 * [backup-simplify]: Simplify (+ (* -1 (/ 1 y)) (* 0 0)) into (- (/ 1 y)) 5.117 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x 5.117 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.117 * [taylor]: Taking taylor expansion of y in x 5.117 * [backup-simplify]: Simplify y into y 5.117 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.117 * [taylor]: Taking taylor expansion of 0 in y 5.117 * [backup-simplify]: Simplify 0 into 0 5.118 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.118 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 5.119 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.119 * [backup-simplify]: Simplify (- 0) into 0 5.119 * [backup-simplify]: Simplify (+ 0 0) into 0 5.120 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 x) 0) (* 0 (/ -1 y)))) into 0 5.120 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 5.120 * [backup-simplify]: Simplify (+ 0 0) into 0 5.121 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (+ (* (- (+ (/ 1 (* x y)) (/ 1 x))) 1) (* 0 0))) into (- (+ (/ 1 x) (/ 1 (* x y)))) 5.122 * [backup-simplify]: Simplify (+ (* -1 (- (+ (/ 1 x) (/ 1 (* x y))))) (+ (* 0 (/ 1 y)) (* 0 0))) into (+ (/ 1 (* x y)) (/ 1 x)) 5.122 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x 5.122 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 5.122 * [taylor]: Taking taylor expansion of (* x y) in x 5.122 * [taylor]: Taking taylor expansion of x in x 5.122 * [backup-simplify]: Simplify 0 into 0 5.122 * [backup-simplify]: Simplify 1 into 1 5.122 * [taylor]: Taking taylor expansion of y in x 5.122 * [backup-simplify]: Simplify y into y 5.122 * [backup-simplify]: Simplify (* 0 y) into 0 5.122 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.122 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.122 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.122 * [taylor]: Taking taylor expansion of x in x 5.122 * [backup-simplify]: Simplify 0 into 0 5.122 * [backup-simplify]: Simplify 1 into 1 5.123 * [backup-simplify]: Simplify (/ 1 1) into 1 5.123 * [backup-simplify]: Simplify (+ (/ 1 y) 1) into (+ 1 (/ 1 y)) 5.123 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 y)) in y 5.123 * [taylor]: Taking taylor expansion of 1 in y 5.123 * [backup-simplify]: Simplify 1 into 1 5.123 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.123 * [taylor]: Taking taylor expansion of y in y 5.123 * [backup-simplify]: Simplify 0 into 0 5.123 * [backup-simplify]: Simplify 1 into 1 5.123 * [backup-simplify]: Simplify (/ 1 1) into 1 5.124 * [backup-simplify]: Simplify (+ 0 1) into 1 5.124 * [backup-simplify]: Simplify 1 into 1 5.124 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 5.124 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 5.124 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.124 * [taylor]: Taking taylor expansion of y in y 5.124 * [backup-simplify]: Simplify 0 into 0 5.124 * [backup-simplify]: Simplify 1 into 1 5.124 * [backup-simplify]: Simplify (/ 1 1) into 1 5.125 * [backup-simplify]: Simplify (- 1) into -1 5.125 * [backup-simplify]: Simplify -1 into -1 5.125 * [taylor]: Taking taylor expansion of 0 in y 5.125 * [backup-simplify]: Simplify 0 into 0 5.125 * [backup-simplify]: Simplify 0 into 0 5.125 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.125 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 5.126 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.126 * [backup-simplify]: Simplify (- 0) into 0 5.126 * [backup-simplify]: Simplify (+ 0 0) into 0 5.127 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 x) 0) (+ (* 0 0) (* 0 (/ -1 y))))) into 0 5.127 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 5.127 * [backup-simplify]: Simplify (+ 0 0) into 0 5.128 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (+ (* (- (+ (/ 1 (* x y)) (/ 1 x))) 0) (+ (* 0 1) (* 0 0)))) into 0 5.129 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (- (+ (/ 1 x) (/ 1 (* x y))))) (+ (* 0 (/ 1 y)) (* 0 0)))) into 0 5.129 * [taylor]: Taking taylor expansion of 0 in x 5.129 * [backup-simplify]: Simplify 0 into 0 5.129 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 5.129 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 5.130 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.130 * [backup-simplify]: Simplify (+ 0 0) into 0 5.130 * [taylor]: Taking taylor expansion of 0 in y 5.130 * [backup-simplify]: Simplify 0 into 0 5.130 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 5.131 * [backup-simplify]: Simplify (- 0) into 0 5.131 * [taylor]: Taking taylor expansion of 0 in y 5.131 * [backup-simplify]: Simplify 0 into 0 5.131 * [taylor]: Taking taylor expansion of 0 in y 5.131 * [backup-simplify]: Simplify 0 into 0 5.131 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.131 * [backup-simplify]: Simplify (+ 1 0) into 1 5.131 * [backup-simplify]: Simplify 1 into 1 5.132 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 (- x))) (/ 1 (- z))))) (+ (* -1 (* (/ 1 (/ 1 (- y))) (* 1 1))) (* 1 (* (/ 1 (/ 1 (- y))) (* (/ 1 (/ 1 (- x))) (/ 1 (- z))))))) into (- (+ y (/ x z)) (/ (* x y) z)) 5.132 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 5.132 * [backup-simplify]: Simplify (fma (- z x) y x) into (fma (- z x) y x) 5.132 * [approximate]: Taking taylor expansion of (fma (- z x) y x) in (z x y) around 0 5.132 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in y 5.132 * [taylor]: Rewrote expression to (+ (* (- z x) y) x) 5.132 * [taylor]: Taking taylor expansion of (* (- z x) y) in y 5.132 * [taylor]: Taking taylor expansion of (- z x) in y 5.132 * [taylor]: Taking taylor expansion of z in y 5.132 * [backup-simplify]: Simplify z into z 5.132 * [taylor]: Taking taylor expansion of x in y 5.133 * [backup-simplify]: Simplify x into x 5.133 * [taylor]: Taking taylor expansion of y in y 5.133 * [backup-simplify]: Simplify 0 into 0 5.133 * [backup-simplify]: Simplify 1 into 1 5.133 * [taylor]: Taking taylor expansion of x in y 5.133 * [backup-simplify]: Simplify x into x 5.133 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in x 5.133 * [taylor]: Rewrote expression to (+ (* (- z x) y) x) 5.133 * [taylor]: Taking taylor expansion of (* (- z x) y) in x 5.133 * [taylor]: Taking taylor expansion of (- z x) in x 5.133 * [taylor]: Taking taylor expansion of z in x 5.133 * [backup-simplify]: Simplify z into z 5.133 * [taylor]: Taking taylor expansion of x in x 5.133 * [backup-simplify]: Simplify 0 into 0 5.133 * [backup-simplify]: Simplify 1 into 1 5.133 * [taylor]: Taking taylor expansion of y in x 5.133 * [backup-simplify]: Simplify y into y 5.133 * [taylor]: Taking taylor expansion of x in x 5.133 * [backup-simplify]: Simplify 0 into 0 5.133 * [backup-simplify]: Simplify 1 into 1 5.133 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in z 5.133 * [taylor]: Rewrote expression to (+ (* (- z x) y) x) 5.133 * [taylor]: Taking taylor expansion of (* (- z x) y) in z 5.133 * [taylor]: Taking taylor expansion of (- z x) in z 5.133 * [taylor]: Taking taylor expansion of z in z 5.133 * [backup-simplify]: Simplify 0 into 0 5.133 * [backup-simplify]: Simplify 1 into 1 5.133 * [taylor]: Taking taylor expansion of x in z 5.133 * [backup-simplify]: Simplify x into x 5.133 * [taylor]: Taking taylor expansion of y in z 5.133 * [backup-simplify]: Simplify y into y 5.133 * [taylor]: Taking taylor expansion of x in z 5.133 * [backup-simplify]: Simplify x into x 5.133 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in z 5.133 * [taylor]: Rewrote expression to (+ (* (- z x) y) x) 5.133 * [taylor]: Taking taylor expansion of (* (- z x) y) in z 5.133 * [taylor]: Taking taylor expansion of (- z x) in z 5.133 * [taylor]: Taking taylor expansion of z in z 5.133 * [backup-simplify]: Simplify 0 into 0 5.133 * [backup-simplify]: Simplify 1 into 1 5.133 * [taylor]: Taking taylor expansion of x in z 5.133 * [backup-simplify]: Simplify x into x 5.133 * [taylor]: Taking taylor expansion of y in z 5.133 * [backup-simplify]: Simplify y into y 5.133 * [taylor]: Taking taylor expansion of x in z 5.133 * [backup-simplify]: Simplify x into x 5.133 * [backup-simplify]: Simplify (- x) into (- x) 5.133 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x) 5.134 * [backup-simplify]: Simplify (* (- x) y) into (* -1 (* x y)) 5.134 * [backup-simplify]: Simplify (+ (* -1 (* x y)) x) into (- x (* x y)) 5.134 * [taylor]: Taking taylor expansion of (- x (* x y)) in x 5.134 * [taylor]: Taking taylor expansion of x in x 5.134 * [backup-simplify]: Simplify 0 into 0 5.134 * [backup-simplify]: Simplify 1 into 1 5.134 * [taylor]: Taking taylor expansion of (* x y) in x 5.134 * [taylor]: Taking taylor expansion of x in x 5.134 * [backup-simplify]: Simplify 0 into 0 5.134 * [backup-simplify]: Simplify 1 into 1 5.134 * [taylor]: Taking taylor expansion of y in x 5.134 * [backup-simplify]: Simplify y into y 5.134 * [backup-simplify]: Simplify (* 0 y) into 0 5.134 * [backup-simplify]: Simplify (- 0) into 0 5.135 * [backup-simplify]: Simplify (+ 0 0) into 0 5.135 * [taylor]: Taking taylor expansion of 0 in y 5.135 * [backup-simplify]: Simplify 0 into 0 5.135 * [backup-simplify]: Simplify 0 into 0 5.135 * [backup-simplify]: Simplify (- 0) into 0 5.135 * [backup-simplify]: Simplify (+ 1 0) into 1 5.135 * [backup-simplify]: Simplify (+ (* (- x) 0) (* 1 y)) into y 5.135 * [backup-simplify]: Simplify (+ y 0) into y 5.135 * [taylor]: Taking taylor expansion of y in x 5.135 * [backup-simplify]: Simplify y into y 5.135 * [taylor]: Taking taylor expansion of y in y 5.135 * [backup-simplify]: Simplify 0 into 0 5.135 * [backup-simplify]: Simplify 1 into 1 5.135 * [backup-simplify]: Simplify 0 into 0 5.136 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.136 * [backup-simplify]: Simplify (- y) into (- y) 5.136 * [backup-simplify]: Simplify (+ 1 (- y)) into (- 1 y) 5.136 * [taylor]: Taking taylor expansion of (- 1 y) in y 5.136 * [taylor]: Taking taylor expansion of 1 in y 5.136 * [backup-simplify]: Simplify 1 into 1 5.136 * [taylor]: Taking taylor expansion of y in y 5.136 * [backup-simplify]: Simplify 0 into 0 5.136 * [backup-simplify]: Simplify 1 into 1 5.136 * [backup-simplify]: Simplify (- 0) into 0 5.136 * [backup-simplify]: Simplify (+ 1 0) into 1 5.137 * [backup-simplify]: Simplify 1 into 1 5.137 * [backup-simplify]: Simplify 0 into 0 5.137 * [backup-simplify]: Simplify (- 0) into 0 5.137 * [backup-simplify]: Simplify (+ 0 0) into 0 5.137 * [backup-simplify]: Simplify (+ (* (- x) 0) (+ (* 1 0) (* 0 y))) into 0 5.138 * [backup-simplify]: Simplify (+ 0 0) into 0 5.138 * [taylor]: Taking taylor expansion of 0 in x 5.138 * [backup-simplify]: Simplify 0 into 0 5.138 * [taylor]: Taking taylor expansion of 0 in y 5.138 * [backup-simplify]: Simplify 0 into 0 5.138 * [backup-simplify]: Simplify 0 into 0 5.138 * [taylor]: Taking taylor expansion of 0 in y 5.138 * [backup-simplify]: Simplify 0 into 0 5.138 * [backup-simplify]: Simplify 0 into 0 5.138 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 5.139 * [backup-simplify]: Simplify (- 0) into 0 5.139 * [backup-simplify]: Simplify (+ 0 0) into 0 5.139 * [taylor]: Taking taylor expansion of 0 in y 5.139 * [backup-simplify]: Simplify 0 into 0 5.139 * [backup-simplify]: Simplify 0 into 0 5.139 * [backup-simplify]: Simplify 1 into 1 5.139 * [backup-simplify]: Simplify (- 1) into -1 5.140 * [backup-simplify]: Simplify (+ 0 -1) into -1 5.140 * [backup-simplify]: Simplify -1 into -1 5.140 * [backup-simplify]: Simplify (+ (* -1 (* y (* x 1))) (+ (* 1 (* y (* 1 z))) (* 1 (* 1 (* x 1))))) into (- (+ x (* z y)) (* x y)) 5.140 * [backup-simplify]: Simplify (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) into (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) 5.140 * [approximate]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in (z x y) around 0 5.140 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in y 5.140 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x)) 5.140 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in y 5.140 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 5.140 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.140 * [taylor]: Taking taylor expansion of z in y 5.140 * [backup-simplify]: Simplify z into z 5.140 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.140 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.140 * [taylor]: Taking taylor expansion of x in y 5.140 * [backup-simplify]: Simplify x into x 5.140 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.140 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.140 * [taylor]: Taking taylor expansion of y in y 5.140 * [backup-simplify]: Simplify 0 into 0 5.140 * [backup-simplify]: Simplify 1 into 1 5.141 * [backup-simplify]: Simplify (/ 1 1) into 1 5.141 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.141 * [taylor]: Taking taylor expansion of x in y 5.141 * [backup-simplify]: Simplify x into x 5.141 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.141 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in x 5.141 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x)) 5.141 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in x 5.141 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 5.141 * [taylor]: Taking taylor expansion of (/ 1 z) in x 5.141 * [taylor]: Taking taylor expansion of z in x 5.141 * [backup-simplify]: Simplify z into z 5.141 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.141 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.141 * [taylor]: Taking taylor expansion of x in x 5.141 * [backup-simplify]: Simplify 0 into 0 5.141 * [backup-simplify]: Simplify 1 into 1 5.141 * [backup-simplify]: Simplify (/ 1 1) into 1 5.142 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.142 * [taylor]: Taking taylor expansion of y in x 5.142 * [backup-simplify]: Simplify y into y 5.142 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.142 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.142 * [taylor]: Taking taylor expansion of x in x 5.142 * [backup-simplify]: Simplify 0 into 0 5.142 * [backup-simplify]: Simplify 1 into 1 5.142 * [backup-simplify]: Simplify (/ 1 1) into 1 5.142 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in z 5.142 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x)) 5.142 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in z 5.142 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 5.142 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.142 * [taylor]: Taking taylor expansion of z in z 5.142 * [backup-simplify]: Simplify 0 into 0 5.142 * [backup-simplify]: Simplify 1 into 1 5.142 * [backup-simplify]: Simplify (/ 1 1) into 1 5.142 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.142 * [taylor]: Taking taylor expansion of x in z 5.142 * [backup-simplify]: Simplify x into x 5.143 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.143 * [taylor]: Taking taylor expansion of (/ 1 y) in z 5.143 * [taylor]: Taking taylor expansion of y in z 5.143 * [backup-simplify]: Simplify y into y 5.143 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.143 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.143 * [taylor]: Taking taylor expansion of x in z 5.143 * [backup-simplify]: Simplify x into x 5.143 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.143 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in z 5.143 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x)) 5.143 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in z 5.143 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 5.143 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.143 * [taylor]: Taking taylor expansion of z in z 5.143 * [backup-simplify]: Simplify 0 into 0 5.143 * [backup-simplify]: Simplify 1 into 1 5.143 * [backup-simplify]: Simplify (/ 1 1) into 1 5.143 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.143 * [taylor]: Taking taylor expansion of x in z 5.143 * [backup-simplify]: Simplify x into x 5.143 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.143 * [taylor]: Taking taylor expansion of (/ 1 y) in z 5.143 * [taylor]: Taking taylor expansion of y in z 5.143 * [backup-simplify]: Simplify y into y 5.143 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.143 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.143 * [taylor]: Taking taylor expansion of x in z 5.143 * [backup-simplify]: Simplify x into x 5.143 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.144 * [backup-simplify]: Simplify (+ 1 0) into 1 5.144 * [backup-simplify]: Simplify (* 1 (/ 1 y)) into (/ 1 y) 5.144 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 5.144 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.144 * [taylor]: Taking taylor expansion of y in x 5.144 * [backup-simplify]: Simplify y into y 5.144 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.144 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 5.145 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.145 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 5.145 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x)) 5.145 * [backup-simplify]: Simplify (+ (* 1 0) (* (- (/ 1 x)) (/ 1 y))) into (- (/ 1 (* x y))) 5.145 * [backup-simplify]: Simplify (+ (- (/ 1 (* x y))) (/ 1 x)) into (- (/ 1 x) (/ 1 (* x y))) 5.145 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* x y))) in x 5.145 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.145 * [taylor]: Taking taylor expansion of x in x 5.145 * [backup-simplify]: Simplify 0 into 0 5.145 * [backup-simplify]: Simplify 1 into 1 5.146 * [backup-simplify]: Simplify (/ 1 1) into 1 5.146 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 5.146 * [taylor]: Taking taylor expansion of (* x y) in x 5.146 * [taylor]: Taking taylor expansion of x in x 5.146 * [backup-simplify]: Simplify 0 into 0 5.146 * [backup-simplify]: Simplify 1 into 1 5.146 * [taylor]: Taking taylor expansion of y in x 5.146 * [backup-simplify]: Simplify y into y 5.146 * [backup-simplify]: Simplify (* 0 y) into 0 5.146 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.146 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.146 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 5.146 * [backup-simplify]: Simplify (+ 1 (- (/ 1 y))) into (- 1 (/ 1 y)) 5.146 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y 5.146 * [taylor]: Taking taylor expansion of 1 in y 5.146 * [backup-simplify]: Simplify 1 into 1 5.146 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.146 * [taylor]: Taking taylor expansion of y in y 5.146 * [backup-simplify]: Simplify 0 into 0 5.146 * [backup-simplify]: Simplify 1 into 1 5.147 * [backup-simplify]: Simplify (/ 1 1) into 1 5.147 * [backup-simplify]: Simplify (- 1) into -1 5.147 * [backup-simplify]: Simplify (+ 0 -1) into -1 5.147 * [backup-simplify]: Simplify -1 into -1 5.147 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.147 * [taylor]: Taking taylor expansion of y in y 5.147 * [backup-simplify]: Simplify 0 into 0 5.147 * [backup-simplify]: Simplify 1 into 1 5.148 * [backup-simplify]: Simplify (/ 1 1) into 1 5.148 * [backup-simplify]: Simplify 1 into 1 5.148 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.148 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.148 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 5.149 * [backup-simplify]: Simplify (- 0) into 0 5.149 * [backup-simplify]: Simplify (+ 0 0) into 0 5.149 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 x)) 0) (* 0 (/ 1 y)))) into 0 5.149 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 5.150 * [backup-simplify]: Simplify (+ 0 0) into 0 5.150 * [taylor]: Taking taylor expansion of 0 in x 5.150 * [backup-simplify]: Simplify 0 into 0 5.150 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.151 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 5.151 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 5.151 * [backup-simplify]: Simplify (- 0) into 0 5.151 * [backup-simplify]: Simplify (+ 0 0) into 0 5.151 * [taylor]: Taking taylor expansion of 0 in y 5.151 * [backup-simplify]: Simplify 0 into 0 5.151 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 5.151 * [taylor]: Taking taylor expansion of 0 in y 5.151 * [backup-simplify]: Simplify 0 into 0 5.152 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.152 * [backup-simplify]: Simplify (- 0) into 0 5.152 * [backup-simplify]: Simplify (+ 1 0) into 1 5.152 * [backup-simplify]: Simplify 1 into 1 5.153 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 x)) 1))) (+ (* 1 (* (/ 1 (/ 1 y)) (* 1 (/ 1 (/ 1 z))))) (* -1 (* (/ 1 (/ 1 y)) (* (/ 1 (/ 1 x)) 1))))) into (- (+ x (* z y)) (* x y)) 5.153 * [backup-simplify]: Simplify (fma (- (/ 1 (- z)) (/ 1 (- x))) (/ 1 (- y)) (/ 1 (- x))) into (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) 5.153 * [approximate]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in (z x y) around 0 5.153 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in y 5.153 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x)) 5.153 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in y 5.153 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 5.153 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.153 * [taylor]: Taking taylor expansion of x in y 5.153 * [backup-simplify]: Simplify x into x 5.153 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.153 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.153 * [taylor]: Taking taylor expansion of z in y 5.153 * [backup-simplify]: Simplify z into z 5.153 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.153 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.153 * [taylor]: Taking taylor expansion of -1 in y 5.153 * [backup-simplify]: Simplify -1 into -1 5.153 * [taylor]: Taking taylor expansion of y in y 5.153 * [backup-simplify]: Simplify 0 into 0 5.153 * [backup-simplify]: Simplify 1 into 1 5.158 * [backup-simplify]: Simplify (/ -1 1) into -1 5.158 * [taylor]: Taking taylor expansion of (/ -1 x) in y 5.158 * [taylor]: Taking taylor expansion of -1 in y 5.158 * [backup-simplify]: Simplify -1 into -1 5.158 * [taylor]: Taking taylor expansion of x in y 5.158 * [backup-simplify]: Simplify x into x 5.158 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 5.158 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in x 5.158 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x)) 5.158 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in x 5.158 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 5.158 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.158 * [taylor]: Taking taylor expansion of x in x 5.158 * [backup-simplify]: Simplify 0 into 0 5.158 * [backup-simplify]: Simplify 1 into 1 5.159 * [backup-simplify]: Simplify (/ 1 1) into 1 5.159 * [taylor]: Taking taylor expansion of (/ 1 z) in x 5.159 * [taylor]: Taking taylor expansion of z in x 5.159 * [backup-simplify]: Simplify z into z 5.159 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.159 * [taylor]: Taking taylor expansion of (/ -1 y) in x 5.159 * [taylor]: Taking taylor expansion of -1 in x 5.159 * [backup-simplify]: Simplify -1 into -1 5.159 * [taylor]: Taking taylor expansion of y in x 5.159 * [backup-simplify]: Simplify y into y 5.159 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 5.159 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.159 * [taylor]: Taking taylor expansion of -1 in x 5.159 * [backup-simplify]: Simplify -1 into -1 5.159 * [taylor]: Taking taylor expansion of x in x 5.159 * [backup-simplify]: Simplify 0 into 0 5.159 * [backup-simplify]: Simplify 1 into 1 5.159 * [backup-simplify]: Simplify (/ -1 1) into -1 5.159 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in z 5.160 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x)) 5.160 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in z 5.160 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 5.160 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.160 * [taylor]: Taking taylor expansion of x in z 5.160 * [backup-simplify]: Simplify x into x 5.160 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.160 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.160 * [taylor]: Taking taylor expansion of z in z 5.160 * [backup-simplify]: Simplify 0 into 0 5.160 * [backup-simplify]: Simplify 1 into 1 5.160 * [backup-simplify]: Simplify (/ 1 1) into 1 5.160 * [taylor]: Taking taylor expansion of (/ -1 y) in z 5.160 * [taylor]: Taking taylor expansion of -1 in z 5.160 * [backup-simplify]: Simplify -1 into -1 5.160 * [taylor]: Taking taylor expansion of y in z 5.160 * [backup-simplify]: Simplify y into y 5.160 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 5.160 * [taylor]: Taking taylor expansion of (/ -1 x) in z 5.160 * [taylor]: Taking taylor expansion of -1 in z 5.160 * [backup-simplify]: Simplify -1 into -1 5.160 * [taylor]: Taking taylor expansion of x in z 5.160 * [backup-simplify]: Simplify x into x 5.160 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 5.160 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in z 5.161 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x)) 5.161 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in z 5.161 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 5.161 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.161 * [taylor]: Taking taylor expansion of x in z 5.161 * [backup-simplify]: Simplify x into x 5.161 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.161 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.161 * [taylor]: Taking taylor expansion of z in z 5.161 * [backup-simplify]: Simplify 0 into 0 5.161 * [backup-simplify]: Simplify 1 into 1 5.162 * [backup-simplify]: Simplify (/ 1 1) into 1 5.162 * [taylor]: Taking taylor expansion of (/ -1 y) in z 5.162 * [taylor]: Taking taylor expansion of -1 in z 5.162 * [backup-simplify]: Simplify -1 into -1 5.162 * [taylor]: Taking taylor expansion of y in z 5.162 * [backup-simplify]: Simplify y into y 5.162 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 5.162 * [taylor]: Taking taylor expansion of (/ -1 x) in z 5.162 * [taylor]: Taking taylor expansion of -1 in z 5.162 * [backup-simplify]: Simplify -1 into -1 5.162 * [taylor]: Taking taylor expansion of x in z 5.162 * [backup-simplify]: Simplify x into x 5.162 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 5.162 * [backup-simplify]: Simplify (- 1) into -1 5.162 * [backup-simplify]: Simplify (+ 0 -1) into -1 5.163 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y) 5.163 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 5.163 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.163 * [taylor]: Taking taylor expansion of y in x 5.163 * [backup-simplify]: Simplify y into y 5.163 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.163 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 5.163 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.164 * [backup-simplify]: Simplify (- 0) into 0 5.164 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x) 5.164 * [backup-simplify]: Simplify (+ (* -1 0) (* (/ 1 x) (/ -1 y))) into (- (/ 1 (* x y))) 5.164 * [backup-simplify]: Simplify (+ (- (/ 1 (* x y))) (/ -1 x)) into (- (+ (/ 1 (* x y)) (/ 1 x))) 5.164 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x y)) (/ 1 x))) in x 5.164 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x 5.164 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 5.164 * [taylor]: Taking taylor expansion of (* x y) in x 5.164 * [taylor]: Taking taylor expansion of x in x 5.164 * [backup-simplify]: Simplify 0 into 0 5.164 * [backup-simplify]: Simplify 1 into 1 5.164 * [taylor]: Taking taylor expansion of y in x 5.164 * [backup-simplify]: Simplify y into y 5.165 * [backup-simplify]: Simplify (* 0 y) into 0 5.165 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 5.165 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.165 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.165 * [taylor]: Taking taylor expansion of x in x 5.165 * [backup-simplify]: Simplify 0 into 0 5.165 * [backup-simplify]: Simplify 1 into 1 5.166 * [backup-simplify]: Simplify (/ 1 1) into 1 5.166 * [backup-simplify]: Simplify (+ (/ 1 y) 1) into (+ 1 (/ 1 y)) 5.166 * [backup-simplify]: Simplify (- (+ 1 (/ 1 y))) into (- (+ 1 (/ 1 y))) 5.166 * [taylor]: Taking taylor expansion of (- (+ 1 (/ 1 y))) in y 5.166 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 y)) in y 5.166 * [taylor]: Taking taylor expansion of 1 in y 5.166 * [backup-simplify]: Simplify 1 into 1 5.166 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.166 * [taylor]: Taking taylor expansion of y in y 5.166 * [backup-simplify]: Simplify 0 into 0 5.166 * [backup-simplify]: Simplify 1 into 1 5.166 * [backup-simplify]: Simplify (/ 1 1) into 1 5.167 * [backup-simplify]: Simplify (+ 0 1) into 1 5.167 * [backup-simplify]: Simplify (- 1) into -1 5.167 * [backup-simplify]: Simplify -1 into -1 5.167 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.167 * [taylor]: Taking taylor expansion of y in y 5.167 * [backup-simplify]: Simplify 0 into 0 5.167 * [backup-simplify]: Simplify 1 into 1 5.167 * [backup-simplify]: Simplify (/ 1 1) into 1 5.167 * [backup-simplify]: Simplify 1 into 1 5.167 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 5.167 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 5.168 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.168 * [backup-simplify]: Simplify (- 0) into 0 5.169 * [backup-simplify]: Simplify (+ 0 0) into 0 5.169 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 x) 0) (* 0 (/ -1 y)))) into 0 5.169 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 5.169 * [backup-simplify]: Simplify (+ 0 0) into 0 5.169 * [taylor]: Taking taylor expansion of 0 in x 5.169 * [backup-simplify]: Simplify 0 into 0 5.170 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 5.170 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 5.171 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.171 * [backup-simplify]: Simplify (+ 0 0) into 0 5.171 * [backup-simplify]: Simplify (- 0) into 0 5.171 * [taylor]: Taking taylor expansion of 0 in y 5.171 * [backup-simplify]: Simplify 0 into 0 5.172 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 5.172 * [taylor]: Taking taylor expansion of 0 in y 5.172 * [backup-simplify]: Simplify 0 into 0 5.172 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.172 * [backup-simplify]: Simplify (+ 1 0) into 1 5.173 * [backup-simplify]: Simplify (- 1) into -1 5.173 * [backup-simplify]: Simplify -1 into -1 5.173 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* (/ 1 (/ 1 (- x))) 1))) (+ (* 1 (* (/ 1 (/ 1 (- y))) (* 1 (/ 1 (/ 1 (- z)))))) (* -1 (* (/ 1 (/ 1 (- y))) (* (/ 1 (/ 1 (- x))) 1))))) into (- (+ x (* z y)) (* x y)) 5.173 * * * [progress]: simplifying candidates 5.173 * * * * [progress]: [ 1 / 47 ] simplifiying candidate # 5.173 * * * * [progress]: [ 2 / 47 ] simplifiying candidate # 5.173 * * * * [progress]: [ 3 / 47 ] simplifiying candidate # 5.173 * * * * [progress]: [ 4 / 47 ] simplifiying candidate # 5.173 * * * * [progress]: [ 5 / 47 ] simplifiying candidate # 5.173 * * * * [progress]: [ 6 / 47 ] simplifiying candidate # 5.173 * * * * [progress]: [ 7 / 47 ] simplifiying candidate # 5.173 * * * * [progress]: [ 8 / 47 ] simplifiying candidate # 5.174 * * * * [progress]: [ 9 / 47 ] simplifiying candidate # 5.174 * * * * [progress]: [ 10 / 47 ] simplifiying candidate # 5.174 * * * * [progress]: [ 11 / 47 ] simplifiying candidate # 5.174 * * * * [progress]: [ 12 / 47 ] simplifiying candidate # 5.174 * * * * [progress]: [ 13 / 47 ] simplifiying candidate # 5.174 * * * * [progress]: [ 14 / 47 ] simplifiying candidate # 5.174 * * * * [progress]: [ 15 / 47 ] simplifiying candidate # 5.174 * * * * [progress]: [ 16 / 47 ] simplifiying candidate # 5.174 * * * * [progress]: [ 17 / 47 ] simplifiying candidate # 5.174 * * * * [progress]: [ 18 / 47 ] simplifiying candidate # 5.174 * * * * [progress]: [ 19 / 47 ] simplifiying candidate # 5.174 * * * * [progress]: [ 20 / 47 ] simplifiying candidate # 5.174 * * * * [progress]: [ 21 / 47 ] simplifiying candidate # 5.174 * * * * [progress]: [ 22 / 47 ] simplifiying candidate # 5.174 * * * * [progress]: [ 23 / 47 ] simplifiying candidate # 5.174 * * * * [progress]: [ 24 / 47 ] simplifiying candidate # 5.174 * * * * [progress]: [ 25 / 47 ] simplifiying candidate # 5.174 * * * * [progress]: [ 26 / 47 ] simplifiying candidate # 5.174 * * * * [progress]: [ 27 / 47 ] simplifiying candidate # 5.174 * * * * [progress]: [ 28 / 47 ] simplifiying candidate # 5.174 * * * * [progress]: [ 29 / 47 ] simplifiying candidate # 5.174 * * * * [progress]: [ 30 / 47 ] simplifiying candidate #real (real->posit16 (/ (fma (- z x) y x) z))))> 5.174 * * * * [progress]: [ 31 / 47 ] simplifiying candidate # 5.174 * * * * [progress]: [ 32 / 47 ] simplifiying candidate # 5.174 * * * * [progress]: [ 33 / 47 ] simplifiying candidate # 5.174 * * * * [progress]: [ 34 / 47 ] simplifiying candidate # 5.174 * * * * [progress]: [ 35 / 47 ] simplifiying candidate # 5.175 * * * * [progress]: [ 36 / 47 ] simplifiying candidate # 5.175 * * * * [progress]: [ 37 / 47 ] simplifiying candidate # 5.175 * * * * [progress]: [ 38 / 47 ] simplifiying candidate # 5.175 * * * * [progress]: [ 39 / 47 ] simplifiying candidate # 5.175 * * * * [progress]: [ 40 / 47 ] simplifiying candidate # 5.175 * * * * [progress]: [ 41 / 47 ] simplifiying candidate #real (real->posit16 (fma (- z x) y x))) z))> 5.175 * * * * [progress]: [ 42 / 47 ] simplifiying candidate # 5.175 * * * * [progress]: [ 43 / 47 ] simplifiying candidate # 5.175 * * * * [progress]: [ 44 / 47 ] simplifiying candidate # 5.175 * * * * [progress]: [ 45 / 47 ] simplifiying candidate # 5.175 * * * * [progress]: [ 46 / 47 ] simplifiying candidate # 5.175 * * * * [progress]: [ 47 / 47 ] simplifiying candidate # 5.175 * [simplify]: Simplifying: (expm1 (/ (fma (- z x) y x) z)) (log1p (/ (fma (- z x) y x) z)) (- (log (fma (- z x) y x)) (log z)) (log (/ (fma (- z x) y x) z)) (exp (/ (fma (- z x) y x) z)) (/ (* (* (fma (- z x) y x) (fma (- z x) y x)) (fma (- z x) y x)) (* (* z z) z)) (* (cbrt (/ (fma (- z x) y x) z)) (cbrt (/ (fma (- z x) y x) z))) (cbrt (/ (fma (- z x) y x) z)) (* (* (/ (fma (- z x) y x) z) (/ (fma (- z x) y x) z)) (/ (fma (- z x) y x) z)) (sqrt (/ (fma (- z x) y x) z)) (sqrt (/ (fma (- z x) y x) z)) (- (fma (- z x) y x)) (- z) (/ (* (cbrt (fma (- z x) y x)) (cbrt (fma (- z x) y x))) (* (cbrt z) (cbrt z))) (/ (cbrt (fma (- z x) y x)) (cbrt z)) (/ (* (cbrt (fma (- z x) y x)) (cbrt (fma (- z x) y x))) (sqrt z)) (/ (cbrt (fma (- z x) y x)) (sqrt z)) (/ (* (cbrt (fma (- z x) y x)) (cbrt (fma (- z x) y x))) 1) (/ (cbrt (fma (- z x) y x)) z) (/ (sqrt (fma (- z x) y x)) (* (cbrt z) (cbrt z))) (/ (sqrt (fma (- z x) y x)) (cbrt z)) (/ (sqrt (fma (- z x) y x)) (sqrt z)) (/ (sqrt (fma (- z x) y x)) (sqrt z)) (/ (sqrt (fma (- z x) y x)) 1) (/ (sqrt (fma (- z x) y x)) z) (/ 1 (* (cbrt z) (cbrt z))) (/ (fma (- z x) y x) (cbrt z)) (/ 1 (sqrt z)) (/ (fma (- z x) y x) (sqrt z)) (/ 1 1) (/ (fma (- z x) y x) z) (/ 1 z) (/ z (fma (- z x) y x)) (/ (fma (- z x) y x) (* (cbrt z) (cbrt z))) (/ (fma (- z x) y x) (sqrt z)) (/ (fma (- z x) y x) 1) (/ z (cbrt (fma (- z x) y x))) (/ z (sqrt (fma (- z x) y x))) (/ z (fma (- z x) y x)) (real->posit16 (/ (fma (- z x) y x) z)) (expm1 (fma (- z x) y x)) (log1p (fma (- z x) y x)) (* (- z x) y) (log (fma (- z x) y x)) (exp (fma (- z x) y x)) (* (cbrt (fma (- z x) y x)) (cbrt (fma (- z x) y x))) (cbrt (fma (- z x) y x)) (* (* (fma (- z x) y x) (fma (- z x) y x)) (fma (- z x) y x)) (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x)) (real->posit16 (fma (- z x) y x)) (- (+ y (/ x z)) (/ (* x y) z)) (- (+ y (/ x z)) (/ (* x y) z)) (- (+ y (/ x z)) (/ (* x y) z)) (- (+ x (* z y)) (* x y)) (- (+ x (* z y)) (* x y)) (- (+ x (* z y)) (* x y)) 5.176 * * [simplify]: iteration 0: 68 enodes 5.189 * * [simplify]: iteration 1: 119 enodes 5.219 * * [simplify]: iteration 2: 269 enodes 5.351 * * [simplify]: iteration 3: 1010 enodes 6.275 * * [simplify]: iteration 4: 4692 enodes 7.649 * * [simplify]: iteration complete: 5000 enodes 7.649 * * [simplify]: Extracting #0: cost 43 inf + 0 7.650 * * [simplify]: Extracting #1: cost 404 inf + 1 7.658 * * [simplify]: Extracting #2: cost 923 inf + 13327 7.704 * * [simplify]: Extracting #3: cost 745 inf + 160514 7.788 * * [simplify]: Extracting #4: cost 158 inf + 330896 7.877 * * [simplify]: Extracting #5: cost 0 inf + 357088 7.977 * * [simplify]: Extracting #6: cost 0 inf + 357058 8.082 * [simplify]: Simplified to: (expm1 (/ (fma y (- z x) x) z)) (log1p (/ (fma y (- z x) x) z)) (log (/ (fma y (- z x) x) z)) (log (/ (fma y (- z x) x) z)) (exp (/ (fma y (- z x) x) z)) (* (/ (fma y (- z x) x) z) (* (/ (fma y (- z x) x) z) (/ (fma y (- z x) x) z))) (* (cbrt (/ (fma y (- z x) x) z)) (cbrt (/ (fma y (- z x) x) z))) (cbrt (/ (fma y (- z x) x) z)) (* (/ (fma y (- z x) x) z) (* (/ (fma y (- z x) x) z) (/ (fma y (- z x) x) z))) (sqrt (/ (fma y (- z x) x) z)) (sqrt (/ (fma y (- z x) x) z)) (- (fma y (- z x) x)) (- z) (* (/ (cbrt (fma y (- z x) x)) (cbrt z)) (/ (cbrt (fma y (- z x) x)) (cbrt z))) (/ (cbrt (fma y (- z x) x)) (cbrt z)) (/ (* (cbrt (fma y (- z x) x)) (cbrt (fma y (- z x) x))) (sqrt z)) (/ (cbrt (fma y (- z x) x)) (sqrt z)) (* (cbrt (fma y (- z x) x)) (cbrt (fma y (- z x) x))) (/ (cbrt (fma y (- z x) x)) z) (/ (/ (sqrt (fma y (- z x) x)) (cbrt z)) (cbrt z)) (/ (sqrt (fma y (- z x) x)) (cbrt z)) (/ (sqrt (fma y (- z x) x)) (sqrt z)) (/ (sqrt (fma y (- z x) x)) (sqrt z)) (sqrt (fma y (- z x) x)) (/ (sqrt (fma y (- z x) x)) z) (/ (/ 1 (cbrt z)) (cbrt z)) (/ (fma y (- z x) x) (cbrt z)) (/ 1 (sqrt z)) (/ (fma y (- z x) x) (sqrt z)) 1 (/ (fma y (- z x) x) z) (/ 1 z) (/ z (fma y (- z x) x)) (/ (/ (fma y (- z x) x) (cbrt z)) (cbrt z)) (/ (fma y (- z x) x) (sqrt z)) (fma y (- z x) x) (/ z (cbrt (fma y (- z x) x))) (/ z (sqrt (fma y (- z x) x))) (/ z (fma y (- z x) x)) (real->posit16 (/ (fma y (- z x) x) z)) (expm1 (fma y (- z x) x)) (log1p (fma y (- z x) x)) (* (- z x) y) (log (fma y (- z x) x)) (exp (fma y (- z x) x)) (* (cbrt (fma y (- z x) x)) (cbrt (fma y (- z x) x))) (cbrt (fma y (- z x) x)) (* (fma y (- z x) x) (* (fma y (- z x) x) (fma y (- z x) x))) (sqrt (fma y (- z x) x)) (sqrt (fma y (- z x) x)) (real->posit16 (fma y (- z x) x)) (+ y (fma (/ x z) (- y) (/ x z))) (+ y (fma (/ x z) (- y) (/ x z))) (+ y (fma (/ x z) (- y) (/ x z))) (fma y (- z x) x) (fma y (- z x) x) (fma y (- z x) x) 8.084 * * * [progress]: adding candidates to table 8.275 * * [progress]: iteration 2 / 4 8.275 * * * [progress]: picking best candidate 8.283 * * * * [pick]: Picked # 8.283 * * * [progress]: localizing error 8.298 * * * [progress]: generating rewritten candidates 8.298 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 8.298 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 8.311 * * * [progress]: generating series expansions 8.311 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 8.311 * [backup-simplify]: Simplify (fma (/ x z) (- y) (/ x z)) into (fma (/ x z) (- y) (/ x z)) 8.311 * [approximate]: Taking taylor expansion of (fma (/ x z) (- y) (/ x z)) in (x z y) around 0 8.311 * [taylor]: Taking taylor expansion of (fma (/ x z) (- y) (/ x z)) in y 8.311 * [taylor]: Rewrote expression to (+ (* (/ x z) (- y)) (/ x z)) 8.311 * [taylor]: Taking taylor expansion of (* (/ x z) (- y)) in y 8.311 * [taylor]: Taking taylor expansion of (/ x z) in y 8.311 * [taylor]: Taking taylor expansion of x in y 8.311 * [backup-simplify]: Simplify x into x 8.311 * [taylor]: Taking taylor expansion of z in y 8.312 * [backup-simplify]: Simplify z into z 8.312 * [backup-simplify]: Simplify (/ x z) into (/ x z) 8.312 * [taylor]: Taking taylor expansion of (- y) in y 8.312 * [taylor]: Taking taylor expansion of y in y 8.312 * [backup-simplify]: Simplify 0 into 0 8.312 * [backup-simplify]: Simplify 1 into 1 8.312 * [taylor]: Taking taylor expansion of (/ x z) in y 8.312 * [taylor]: Taking taylor expansion of x in y 8.312 * [backup-simplify]: Simplify x into x 8.312 * [taylor]: Taking taylor expansion of z in y 8.312 * [backup-simplify]: Simplify z into z 8.312 * [backup-simplify]: Simplify (/ x z) into (/ x z) 8.312 * [taylor]: Taking taylor expansion of (fma (/ x z) (- y) (/ x z)) in z 8.312 * [taylor]: Rewrote expression to (+ (* (/ x z) (- y)) (/ x z)) 8.312 * [taylor]: Taking taylor expansion of (* (/ x z) (- y)) in z 8.312 * [taylor]: Taking taylor expansion of (/ x z) in z 8.312 * [taylor]: Taking taylor expansion of x in z 8.312 * [backup-simplify]: Simplify x into x 8.312 * [taylor]: Taking taylor expansion of z in z 8.312 * [backup-simplify]: Simplify 0 into 0 8.312 * [backup-simplify]: Simplify 1 into 1 8.312 * [backup-simplify]: Simplify (/ x 1) into x 8.312 * [taylor]: Taking taylor expansion of (- y) in z 8.312 * [taylor]: Taking taylor expansion of y in z 8.312 * [backup-simplify]: Simplify y into y 8.312 * [taylor]: Taking taylor expansion of (/ x z) in z 8.312 * [taylor]: Taking taylor expansion of x in z 8.312 * [backup-simplify]: Simplify x into x 8.312 * [taylor]: Taking taylor expansion of z in z 8.313 * [backup-simplify]: Simplify 0 into 0 8.313 * [backup-simplify]: Simplify 1 into 1 8.313 * [backup-simplify]: Simplify (/ x 1) into x 8.313 * [taylor]: Taking taylor expansion of (fma (/ x z) (- y) (/ x z)) in x 8.313 * [taylor]: Rewrote expression to (+ (* (/ x z) (- y)) (/ x z)) 8.313 * [taylor]: Taking taylor expansion of (* (/ x z) (- y)) in x 8.313 * [taylor]: Taking taylor expansion of (/ x z) in x 8.313 * [taylor]: Taking taylor expansion of x in x 8.313 * [backup-simplify]: Simplify 0 into 0 8.313 * [backup-simplify]: Simplify 1 into 1 8.313 * [taylor]: Taking taylor expansion of z in x 8.313 * [backup-simplify]: Simplify z into z 8.313 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 8.313 * [taylor]: Taking taylor expansion of (- y) in x 8.313 * [taylor]: Taking taylor expansion of y in x 8.313 * [backup-simplify]: Simplify y into y 8.313 * [taylor]: Taking taylor expansion of (/ x z) in x 8.313 * [taylor]: Taking taylor expansion of x in x 8.313 * [backup-simplify]: Simplify 0 into 0 8.313 * [backup-simplify]: Simplify 1 into 1 8.313 * [taylor]: Taking taylor expansion of z in x 8.313 * [backup-simplify]: Simplify z into z 8.313 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 8.313 * [taylor]: Taking taylor expansion of (fma (/ x z) (- y) (/ x z)) in x 8.313 * [taylor]: Rewrote expression to (+ (* (/ x z) (- y)) (/ x z)) 8.313 * [taylor]: Taking taylor expansion of (* (/ x z) (- y)) in x 8.314 * [taylor]: Taking taylor expansion of (/ x z) in x 8.314 * [taylor]: Taking taylor expansion of x in x 8.314 * [backup-simplify]: Simplify 0 into 0 8.314 * [backup-simplify]: Simplify 1 into 1 8.314 * [taylor]: Taking taylor expansion of z in x 8.314 * [backup-simplify]: Simplify z into z 8.314 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 8.314 * [taylor]: Taking taylor expansion of (- y) in x 8.314 * [taylor]: Taking taylor expansion of y in x 8.314 * [backup-simplify]: Simplify y into y 8.314 * [taylor]: Taking taylor expansion of (/ x z) in x 8.314 * [taylor]: Taking taylor expansion of x in x 8.314 * [backup-simplify]: Simplify 0 into 0 8.314 * [backup-simplify]: Simplify 1 into 1 8.314 * [taylor]: Taking taylor expansion of z in x 8.314 * [backup-simplify]: Simplify z into z 8.314 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 8.314 * [backup-simplify]: Simplify (- y) into (- y) 8.314 * [backup-simplify]: Simplify (* (/ 1 z) (- y)) into (* -1 (/ y z)) 8.314 * [backup-simplify]: Simplify (+ (* -1 (/ y z)) (/ 1 z)) into (- (/ 1 z) (/ y z)) 8.314 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ y z)) in z 8.314 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.314 * [taylor]: Taking taylor expansion of z in z 8.314 * [backup-simplify]: Simplify 0 into 0 8.315 * [backup-simplify]: Simplify 1 into 1 8.315 * [backup-simplify]: Simplify (/ 1 1) into 1 8.315 * [taylor]: Taking taylor expansion of (/ y z) in z 8.315 * [taylor]: Taking taylor expansion of y in z 8.315 * [backup-simplify]: Simplify y into y 8.315 * [taylor]: Taking taylor expansion of z in z 8.316 * [backup-simplify]: Simplify 0 into 0 8.316 * [backup-simplify]: Simplify 1 into 1 8.316 * [backup-simplify]: Simplify (/ y 1) into y 8.316 * [backup-simplify]: Simplify (- y) into (- y) 8.316 * [backup-simplify]: Simplify (+ 1 (- y)) into (- 1 y) 8.316 * [taylor]: Taking taylor expansion of (- 1 y) in y 8.316 * [taylor]: Taking taylor expansion of 1 in y 8.316 * [backup-simplify]: Simplify 1 into 1 8.316 * [taylor]: Taking taylor expansion of y in y 8.316 * [backup-simplify]: Simplify 0 into 0 8.316 * [backup-simplify]: Simplify 1 into 1 8.316 * [backup-simplify]: Simplify (- 0) into 0 8.323 * [backup-simplify]: Simplify (+ 1 0) into 1 8.323 * [backup-simplify]: Simplify 1 into 1 8.324 * [backup-simplify]: Simplify (- 0) into 0 8.324 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0 8.324 * [backup-simplify]: Simplify (- y) into (- y) 8.324 * [backup-simplify]: Simplify (+ (* (/ 1 z) 0) (* 0 (- y))) into 0 8.324 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0 8.325 * [backup-simplify]: Simplify (+ 0 0) into 0 8.325 * [taylor]: Taking taylor expansion of 0 in z 8.325 * [backup-simplify]: Simplify 0 into 0 8.326 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.327 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0 8.328 * [backup-simplify]: Simplify (- 0) into 0 8.328 * [backup-simplify]: Simplify (+ 0 0) into 0 8.328 * [taylor]: Taking taylor expansion of 0 in y 8.328 * [backup-simplify]: Simplify 0 into 0 8.328 * [backup-simplify]: Simplify 0 into 0 8.329 * [backup-simplify]: Simplify (- 1) into -1 8.329 * [backup-simplify]: Simplify (+ 0 -1) into -1 8.329 * [backup-simplify]: Simplify -1 into -1 8.330 * [backup-simplify]: Simplify (- 0) into 0 8.330 * [backup-simplify]: Simplify (- 0) into 0 8.331 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 8.331 * [backup-simplify]: Simplify (- y) into (- y) 8.331 * [backup-simplify]: Simplify (+ (* (/ 1 z) 0) (+ (* 0 0) (* 0 (- y)))) into 0 8.331 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 8.332 * [backup-simplify]: Simplify (+ 0 0) into 0 8.332 * [taylor]: Taking taylor expansion of 0 in z 8.332 * [backup-simplify]: Simplify 0 into 0 8.332 * [taylor]: Taking taylor expansion of 0 in y 8.332 * [backup-simplify]: Simplify 0 into 0 8.332 * [backup-simplify]: Simplify 0 into 0 8.333 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.334 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.335 * [backup-simplify]: Simplify (- 0) into 0 8.335 * [backup-simplify]: Simplify (+ 0 0) into 0 8.335 * [taylor]: Taking taylor expansion of 0 in y 8.335 * [backup-simplify]: Simplify 0 into 0 8.335 * [backup-simplify]: Simplify 0 into 0 8.336 * [backup-simplify]: Simplify 0 into 0 8.336 * [backup-simplify]: Simplify (- 0) into 0 8.336 * [backup-simplify]: Simplify (+ 0 0) into 0 8.336 * [backup-simplify]: Simplify 0 into 0 8.337 * [backup-simplify]: Simplify (- 0) into 0 8.337 * [backup-simplify]: Simplify (- 0) into 0 8.338 * [backup-simplify]: Simplify (- 0) into 0 8.338 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 8.338 * [backup-simplify]: Simplify (- y) into (- y) 8.339 * [backup-simplify]: Simplify (+ (* (/ 1 z) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- y))))) into 0 8.339 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 8.339 * [backup-simplify]: Simplify (+ 0 0) into 0 8.339 * [taylor]: Taking taylor expansion of 0 in z 8.339 * [backup-simplify]: Simplify 0 into 0 8.340 * [taylor]: Taking taylor expansion of 0 in y 8.340 * [backup-simplify]: Simplify 0 into 0 8.340 * [backup-simplify]: Simplify 0 into 0 8.340 * [taylor]: Taking taylor expansion of 0 in y 8.340 * [backup-simplify]: Simplify 0 into 0 8.340 * [backup-simplify]: Simplify 0 into 0 8.340 * [backup-simplify]: Simplify (+ (* -1 (* y (* (/ 1 z) x))) (* 1 (* 1 (* (/ 1 z) x)))) into (- (/ x z) (/ (* x y) z)) 8.340 * [backup-simplify]: Simplify (fma (/ (/ 1 x) (/ 1 z)) (- (/ 1 y)) (/ (/ 1 x) (/ 1 z))) into (fma (/ z x) (- (/ 1 y)) (/ z x)) 8.340 * [approximate]: Taking taylor expansion of (fma (/ z x) (- (/ 1 y)) (/ z x)) in (x z y) around 0 8.340 * [taylor]: Taking taylor expansion of (fma (/ z x) (- (/ 1 y)) (/ z x)) in y 8.341 * [taylor]: Rewrote expression to (+ (* (/ z x) (- (/ 1 y))) (/ z x)) 8.341 * [taylor]: Taking taylor expansion of (* (/ z x) (- (/ 1 y))) in y 8.341 * [taylor]: Taking taylor expansion of (/ z x) in y 8.341 * [taylor]: Taking taylor expansion of z in y 8.341 * [backup-simplify]: Simplify z into z 8.341 * [taylor]: Taking taylor expansion of x in y 8.341 * [backup-simplify]: Simplify x into x 8.341 * [backup-simplify]: Simplify (/ z x) into (/ z x) 8.341 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 8.341 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.341 * [taylor]: Taking taylor expansion of y in y 8.341 * [backup-simplify]: Simplify 0 into 0 8.341 * [backup-simplify]: Simplify 1 into 1 8.342 * [backup-simplify]: Simplify (/ 1 1) into 1 8.342 * [taylor]: Taking taylor expansion of (/ z x) in y 8.342 * [taylor]: Taking taylor expansion of z in y 8.342 * [backup-simplify]: Simplify z into z 8.342 * [taylor]: Taking taylor expansion of x in y 8.342 * [backup-simplify]: Simplify x into x 8.342 * [backup-simplify]: Simplify (/ z x) into (/ z x) 8.342 * [taylor]: Taking taylor expansion of (fma (/ z x) (- (/ 1 y)) (/ z x)) in z 8.342 * [taylor]: Rewrote expression to (+ (* (/ z x) (- (/ 1 y))) (/ z x)) 8.342 * [taylor]: Taking taylor expansion of (* (/ z x) (- (/ 1 y))) in z 8.342 * [taylor]: Taking taylor expansion of (/ z x) in z 8.342 * [taylor]: Taking taylor expansion of z in z 8.342 * [backup-simplify]: Simplify 0 into 0 8.342 * [backup-simplify]: Simplify 1 into 1 8.342 * [taylor]: Taking taylor expansion of x in z 8.342 * [backup-simplify]: Simplify x into x 8.342 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 8.342 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in z 8.342 * [taylor]: Taking taylor expansion of (/ 1 y) in z 8.342 * [taylor]: Taking taylor expansion of y in z 8.342 * [backup-simplify]: Simplify y into y 8.342 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 8.342 * [taylor]: Taking taylor expansion of (/ z x) in z 8.342 * [taylor]: Taking taylor expansion of z in z 8.342 * [backup-simplify]: Simplify 0 into 0 8.343 * [backup-simplify]: Simplify 1 into 1 8.343 * [taylor]: Taking taylor expansion of x in z 8.343 * [backup-simplify]: Simplify x into x 8.343 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 8.343 * [taylor]: Taking taylor expansion of (fma (/ z x) (- (/ 1 y)) (/ z x)) in x 8.343 * [taylor]: Rewrote expression to (+ (* (/ z x) (- (/ 1 y))) (/ z x)) 8.343 * [taylor]: Taking taylor expansion of (* (/ z x) (- (/ 1 y))) in x 8.343 * [taylor]: Taking taylor expansion of (/ z x) in x 8.343 * [taylor]: Taking taylor expansion of z in x 8.343 * [backup-simplify]: Simplify z into z 8.343 * [taylor]: Taking taylor expansion of x in x 8.343 * [backup-simplify]: Simplify 0 into 0 8.343 * [backup-simplify]: Simplify 1 into 1 8.343 * [backup-simplify]: Simplify (/ z 1) into z 8.343 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x 8.343 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.343 * [taylor]: Taking taylor expansion of y in x 8.343 * [backup-simplify]: Simplify y into y 8.343 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 8.343 * [taylor]: Taking taylor expansion of (/ z x) in x 8.343 * [taylor]: Taking taylor expansion of z in x 8.343 * [backup-simplify]: Simplify z into z 8.343 * [taylor]: Taking taylor expansion of x in x 8.343 * [backup-simplify]: Simplify 0 into 0 8.343 * [backup-simplify]: Simplify 1 into 1 8.343 * [backup-simplify]: Simplify (/ z 1) into z 8.343 * [taylor]: Taking taylor expansion of (fma (/ z x) (- (/ 1 y)) (/ z x)) in x 8.344 * [taylor]: Rewrote expression to (+ (* (/ z x) (- (/ 1 y))) (/ z x)) 8.344 * [taylor]: Taking taylor expansion of (* (/ z x) (- (/ 1 y))) in x 8.344 * [taylor]: Taking taylor expansion of (/ z x) in x 8.344 * [taylor]: Taking taylor expansion of z in x 8.344 * [backup-simplify]: Simplify z into z 8.344 * [taylor]: Taking taylor expansion of x in x 8.344 * [backup-simplify]: Simplify 0 into 0 8.344 * [backup-simplify]: Simplify 1 into 1 8.344 * [backup-simplify]: Simplify (/ z 1) into z 8.344 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x 8.344 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.344 * [taylor]: Taking taylor expansion of y in x 8.344 * [backup-simplify]: Simplify y into y 8.344 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 8.344 * [taylor]: Taking taylor expansion of (/ z x) in x 8.344 * [taylor]: Taking taylor expansion of z in x 8.344 * [backup-simplify]: Simplify z into z 8.344 * [taylor]: Taking taylor expansion of x in x 8.344 * [backup-simplify]: Simplify 0 into 0 8.344 * [backup-simplify]: Simplify 1 into 1 8.344 * [backup-simplify]: Simplify (/ z 1) into z 8.344 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 8.344 * [backup-simplify]: Simplify (* z (- (/ 1 y))) into (* -1 (/ z y)) 8.345 * [backup-simplify]: Simplify (+ (* -1 (/ z y)) z) into (- z (/ z y)) 8.345 * [taylor]: Taking taylor expansion of (- z (/ z y)) in z 8.345 * [taylor]: Taking taylor expansion of z in z 8.345 * [backup-simplify]: Simplify 0 into 0 8.345 * [backup-simplify]: Simplify 1 into 1 8.345 * [taylor]: Taking taylor expansion of (/ z y) in z 8.345 * [taylor]: Taking taylor expansion of z in z 8.345 * [backup-simplify]: Simplify 0 into 0 8.345 * [backup-simplify]: Simplify 1 into 1 8.345 * [taylor]: Taking taylor expansion of y in z 8.345 * [backup-simplify]: Simplify y into y 8.345 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 8.345 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 8.345 * [backup-simplify]: Simplify (+ 1 (- (/ 1 y))) into (- 1 (/ 1 y)) 8.345 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y 8.345 * [taylor]: Taking taylor expansion of 1 in y 8.345 * [backup-simplify]: Simplify 1 into 1 8.345 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.345 * [taylor]: Taking taylor expansion of y in y 8.345 * [backup-simplify]: Simplify 0 into 0 8.345 * [backup-simplify]: Simplify 1 into 1 8.346 * [backup-simplify]: Simplify (/ 1 1) into 1 8.346 * [backup-simplify]: Simplify (- 1) into -1 8.347 * [backup-simplify]: Simplify (+ 0 -1) into -1 8.347 * [backup-simplify]: Simplify -1 into -1 8.347 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 8.348 * [backup-simplify]: Simplify (- 0) into 0 8.349 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 8.349 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 8.349 * [backup-simplify]: Simplify (+ (* z 0) (* 0 (- (/ 1 y)))) into 0 8.350 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 8.350 * [backup-simplify]: Simplify (+ 0 0) into 0 8.350 * [taylor]: Taking taylor expansion of 0 in z 8.350 * [backup-simplify]: Simplify 0 into 0 8.350 * [taylor]: Taking taylor expansion of 0 in y 8.350 * [backup-simplify]: Simplify 0 into 0 8.351 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0 8.351 * [backup-simplify]: Simplify (- 0) into 0 8.351 * [backup-simplify]: Simplify (+ 0 0) into 0 8.351 * [taylor]: Taking taylor expansion of 0 in y 8.351 * [backup-simplify]: Simplify 0 into 0 8.352 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.352 * [backup-simplify]: Simplify (- 0) into 0 8.352 * [backup-simplify]: Simplify (+ 1 0) into 1 8.352 * [backup-simplify]: Simplify 1 into 1 8.352 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 8.353 * [backup-simplify]: Simplify (- 0) into 0 8.353 * [backup-simplify]: Simplify (- 0) into 0 8.354 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.354 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 8.354 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 (- (/ 1 y))))) into 0 8.355 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.355 * [backup-simplify]: Simplify (+ 0 0) into 0 8.355 * [taylor]: Taking taylor expansion of 0 in z 8.355 * [backup-simplify]: Simplify 0 into 0 8.355 * [taylor]: Taking taylor expansion of 0 in y 8.355 * [backup-simplify]: Simplify 0 into 0 8.356 * [taylor]: Taking taylor expansion of 0 in y 8.356 * [backup-simplify]: Simplify 0 into 0 8.356 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 8.356 * [backup-simplify]: Simplify (- 0) into 0 8.356 * [backup-simplify]: Simplify (+ 0 0) into 0 8.356 * [taylor]: Taking taylor expansion of 0 in y 8.356 * [backup-simplify]: Simplify 0 into 0 8.356 * [backup-simplify]: Simplify 0 into 0 8.356 * [backup-simplify]: Simplify 0 into 0 8.357 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.357 * [backup-simplify]: Simplify (- 0) into 0 8.357 * [backup-simplify]: Simplify (+ 0 0) into 0 8.357 * [backup-simplify]: Simplify 0 into 0 8.358 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 8.358 * [backup-simplify]: Simplify (- 0) into 0 8.358 * [backup-simplify]: Simplify (- 0) into 0 8.358 * [backup-simplify]: Simplify (- 0) into 0 8.360 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.360 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 8.360 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (/ 1 y)))))) into 0 8.361 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.362 * [backup-simplify]: Simplify (+ 0 0) into 0 8.362 * [taylor]: Taking taylor expansion of 0 in z 8.362 * [backup-simplify]: Simplify 0 into 0 8.362 * [taylor]: Taking taylor expansion of 0 in y 8.362 * [backup-simplify]: Simplify 0 into 0 8.362 * [taylor]: Taking taylor expansion of 0 in y 8.362 * [backup-simplify]: Simplify 0 into 0 8.362 * [taylor]: Taking taylor expansion of 0 in y 8.362 * [backup-simplify]: Simplify 0 into 0 8.362 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 8.362 * [backup-simplify]: Simplify (- 0) into 0 8.363 * [backup-simplify]: Simplify (+ 0 0) into 0 8.363 * [taylor]: Taking taylor expansion of 0 in y 8.363 * [backup-simplify]: Simplify 0 into 0 8.363 * [backup-simplify]: Simplify 0 into 0 8.363 * [backup-simplify]: Simplify 0 into 0 8.363 * [backup-simplify]: Simplify 0 into 0 8.363 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 z) (/ 1 (/ 1 x))))) (* -1 (* (/ 1 (/ 1 y)) (* (/ 1 z) (/ 1 (/ 1 x)))))) into (- (/ x z) (/ (* x y) z)) 8.363 * [backup-simplify]: Simplify (fma (/ (/ 1 (- x)) (/ 1 (- z))) (- (/ 1 (- y))) (/ (/ 1 (- x)) (/ 1 (- z)))) into (fma (/ z x) (/ 1 y) (/ z x)) 8.363 * [approximate]: Taking taylor expansion of (fma (/ z x) (/ 1 y) (/ z x)) in (x z y) around 0 8.363 * [taylor]: Taking taylor expansion of (fma (/ z x) (/ 1 y) (/ z x)) in y 8.363 * [taylor]: Rewrote expression to (+ (* (/ z x) (/ 1 y)) (/ z x)) 8.363 * [taylor]: Taking taylor expansion of (* (/ z x) (/ 1 y)) in y 8.363 * [taylor]: Taking taylor expansion of (/ z x) in y 8.363 * [taylor]: Taking taylor expansion of z in y 8.363 * [backup-simplify]: Simplify z into z 8.363 * [taylor]: Taking taylor expansion of x in y 8.363 * [backup-simplify]: Simplify x into x 8.363 * [backup-simplify]: Simplify (/ z x) into (/ z x) 8.364 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.364 * [taylor]: Taking taylor expansion of y in y 8.364 * [backup-simplify]: Simplify 0 into 0 8.364 * [backup-simplify]: Simplify 1 into 1 8.364 * [backup-simplify]: Simplify (/ 1 1) into 1 8.364 * [taylor]: Taking taylor expansion of (/ z x) in y 8.364 * [taylor]: Taking taylor expansion of z in y 8.364 * [backup-simplify]: Simplify z into z 8.364 * [taylor]: Taking taylor expansion of x in y 8.364 * [backup-simplify]: Simplify x into x 8.364 * [backup-simplify]: Simplify (/ z x) into (/ z x) 8.364 * [taylor]: Taking taylor expansion of (fma (/ z x) (/ 1 y) (/ z x)) in z 8.364 * [taylor]: Rewrote expression to (+ (* (/ z x) (/ 1 y)) (/ z x)) 8.364 * [taylor]: Taking taylor expansion of (* (/ z x) (/ 1 y)) in z 8.364 * [taylor]: Taking taylor expansion of (/ z x) in z 8.364 * [taylor]: Taking taylor expansion of z in z 8.364 * [backup-simplify]: Simplify 0 into 0 8.364 * [backup-simplify]: Simplify 1 into 1 8.364 * [taylor]: Taking taylor expansion of x in z 8.364 * [backup-simplify]: Simplify x into x 8.364 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 8.364 * [taylor]: Taking taylor expansion of (/ 1 y) in z 8.364 * [taylor]: Taking taylor expansion of y in z 8.364 * [backup-simplify]: Simplify y into y 8.364 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 8.364 * [taylor]: Taking taylor expansion of (/ z x) in z 8.364 * [taylor]: Taking taylor expansion of z in z 8.364 * [backup-simplify]: Simplify 0 into 0 8.364 * [backup-simplify]: Simplify 1 into 1 8.364 * [taylor]: Taking taylor expansion of x in z 8.364 * [backup-simplify]: Simplify x into x 8.365 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 8.365 * [taylor]: Taking taylor expansion of (fma (/ z x) (/ 1 y) (/ z x)) in x 8.365 * [taylor]: Rewrote expression to (+ (* (/ z x) (/ 1 y)) (/ z x)) 8.365 * [taylor]: Taking taylor expansion of (* (/ z x) (/ 1 y)) in x 8.365 * [taylor]: Taking taylor expansion of (/ z x) in x 8.365 * [taylor]: Taking taylor expansion of z in x 8.365 * [backup-simplify]: Simplify z into z 8.365 * [taylor]: Taking taylor expansion of x in x 8.365 * [backup-simplify]: Simplify 0 into 0 8.365 * [backup-simplify]: Simplify 1 into 1 8.365 * [backup-simplify]: Simplify (/ z 1) into z 8.365 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.365 * [taylor]: Taking taylor expansion of y in x 8.365 * [backup-simplify]: Simplify y into y 8.365 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 8.365 * [taylor]: Taking taylor expansion of (/ z x) in x 8.365 * [taylor]: Taking taylor expansion of z in x 8.365 * [backup-simplify]: Simplify z into z 8.365 * [taylor]: Taking taylor expansion of x in x 8.365 * [backup-simplify]: Simplify 0 into 0 8.365 * [backup-simplify]: Simplify 1 into 1 8.365 * [backup-simplify]: Simplify (/ z 1) into z 8.365 * [taylor]: Taking taylor expansion of (fma (/ z x) (/ 1 y) (/ z x)) in x 8.365 * [taylor]: Rewrote expression to (+ (* (/ z x) (/ 1 y)) (/ z x)) 8.365 * [taylor]: Taking taylor expansion of (* (/ z x) (/ 1 y)) in x 8.365 * [taylor]: Taking taylor expansion of (/ z x) in x 8.365 * [taylor]: Taking taylor expansion of z in x 8.365 * [backup-simplify]: Simplify z into z 8.365 * [taylor]: Taking taylor expansion of x in x 8.365 * [backup-simplify]: Simplify 0 into 0 8.365 * [backup-simplify]: Simplify 1 into 1 8.365 * [backup-simplify]: Simplify (/ z 1) into z 8.365 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.365 * [taylor]: Taking taylor expansion of y in x 8.365 * [backup-simplify]: Simplify y into y 8.365 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 8.365 * [taylor]: Taking taylor expansion of (/ z x) in x 8.365 * [taylor]: Taking taylor expansion of z in x 8.365 * [backup-simplify]: Simplify z into z 8.365 * [taylor]: Taking taylor expansion of x in x 8.365 * [backup-simplify]: Simplify 0 into 0 8.365 * [backup-simplify]: Simplify 1 into 1 8.365 * [backup-simplify]: Simplify (/ z 1) into z 8.366 * [backup-simplify]: Simplify (* z (/ 1 y)) into (/ z y) 8.366 * [backup-simplify]: Simplify (+ (/ z y) z) into (+ z (/ z y)) 8.366 * [taylor]: Taking taylor expansion of (+ z (/ z y)) in z 8.366 * [taylor]: Taking taylor expansion of z in z 8.366 * [backup-simplify]: Simplify 0 into 0 8.366 * [backup-simplify]: Simplify 1 into 1 8.366 * [taylor]: Taking taylor expansion of (/ z y) in z 8.366 * [taylor]: Taking taylor expansion of z in z 8.366 * [backup-simplify]: Simplify 0 into 0 8.366 * [backup-simplify]: Simplify 1 into 1 8.366 * [taylor]: Taking taylor expansion of y in z 8.366 * [backup-simplify]: Simplify y into y 8.366 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 8.366 * [backup-simplify]: Simplify (+ 1 (/ 1 y)) into (+ 1 (/ 1 y)) 8.366 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 y)) in y 8.366 * [taylor]: Taking taylor expansion of 1 in y 8.366 * [backup-simplify]: Simplify 1 into 1 8.366 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.366 * [taylor]: Taking taylor expansion of y in y 8.366 * [backup-simplify]: Simplify 0 into 0 8.366 * [backup-simplify]: Simplify 1 into 1 8.366 * [backup-simplify]: Simplify (/ 1 1) into 1 8.367 * [backup-simplify]: Simplify (+ 0 1) into 1 8.367 * [backup-simplify]: Simplify 1 into 1 8.367 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 8.368 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 8.368 * [backup-simplify]: Simplify (+ (* z 0) (* 0 (/ 1 y))) into 0 8.368 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 8.369 * [backup-simplify]: Simplify (+ 0 0) into 0 8.369 * [taylor]: Taking taylor expansion of 0 in z 8.369 * [backup-simplify]: Simplify 0 into 0 8.369 * [taylor]: Taking taylor expansion of 0 in y 8.369 * [backup-simplify]: Simplify 0 into 0 8.369 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0 8.369 * [backup-simplify]: Simplify (+ 0 0) into 0 8.369 * [taylor]: Taking taylor expansion of 0 in y 8.369 * [backup-simplify]: Simplify 0 into 0 8.370 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.370 * [backup-simplify]: Simplify (+ 1 0) into 1 8.370 * [backup-simplify]: Simplify 1 into 1 8.370 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 8.371 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.371 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 8.372 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.372 * [backup-simplify]: Simplify (+ 0 0) into 0 8.372 * [taylor]: Taking taylor expansion of 0 in z 8.373 * [backup-simplify]: Simplify 0 into 0 8.373 * [taylor]: Taking taylor expansion of 0 in y 8.373 * [backup-simplify]: Simplify 0 into 0 8.373 * [taylor]: Taking taylor expansion of 0 in y 8.373 * [backup-simplify]: Simplify 0 into 0 8.373 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 8.373 * [backup-simplify]: Simplify (+ 0 0) into 0 8.373 * [taylor]: Taking taylor expansion of 0 in y 8.373 * [backup-simplify]: Simplify 0 into 0 8.373 * [backup-simplify]: Simplify 0 into 0 8.373 * [backup-simplify]: Simplify 0 into 0 8.374 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.374 * [backup-simplify]: Simplify (+ 0 0) into 0 8.374 * [backup-simplify]: Simplify 0 into 0 8.374 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 8.375 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.376 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0 8.377 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.377 * [backup-simplify]: Simplify (+ 0 0) into 0 8.377 * [taylor]: Taking taylor expansion of 0 in z 8.377 * [backup-simplify]: Simplify 0 into 0 8.378 * [taylor]: Taking taylor expansion of 0 in y 8.378 * [backup-simplify]: Simplify 0 into 0 8.378 * [taylor]: Taking taylor expansion of 0 in y 8.378 * [backup-simplify]: Simplify 0 into 0 8.378 * [taylor]: Taking taylor expansion of 0 in y 8.378 * [backup-simplify]: Simplify 0 into 0 8.378 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 8.378 * [backup-simplify]: Simplify (+ 0 0) into 0 8.378 * [taylor]: Taking taylor expansion of 0 in y 8.378 * [backup-simplify]: Simplify 0 into 0 8.378 * [backup-simplify]: Simplify 0 into 0 8.378 * [backup-simplify]: Simplify 0 into 0 8.378 * [backup-simplify]: Simplify 0 into 0 8.378 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (- z)) (/ 1 (/ 1 (- x)))))) (* 1 (* (/ 1 (/ 1 (- y))) (* (/ 1 (- z)) (/ 1 (/ 1 (- x))))))) into (- (/ x z) (/ (* x y) z)) 8.379 * * * * [progress]: [ 2 / 2 ] generating series at (2) 8.379 * [backup-simplify]: Simplify (+ y (fma (/ x z) (- y) (/ x z))) into (+ y (fma (/ x z) (- y) (/ x z))) 8.379 * [approximate]: Taking taylor expansion of (+ y (fma (/ x z) (- y) (/ x z))) in (y x z) around 0 8.379 * [taylor]: Taking taylor expansion of (+ y (fma (/ x z) (- y) (/ x z))) in z 8.379 * [taylor]: Taking taylor expansion of y in z 8.379 * [backup-simplify]: Simplify y into y 8.379 * [taylor]: Taking taylor expansion of (fma (/ x z) (- y) (/ x z)) in z 8.379 * [taylor]: Rewrote expression to (+ (* (/ x z) (- y)) (/ x z)) 8.379 * [taylor]: Taking taylor expansion of (* (/ x z) (- y)) in z 8.379 * [taylor]: Taking taylor expansion of (/ x z) in z 8.379 * [taylor]: Taking taylor expansion of x in z 8.379 * [backup-simplify]: Simplify x into x 8.379 * [taylor]: Taking taylor expansion of z in z 8.379 * [backup-simplify]: Simplify 0 into 0 8.379 * [backup-simplify]: Simplify 1 into 1 8.379 * [backup-simplify]: Simplify (/ x 1) into x 8.379 * [taylor]: Taking taylor expansion of (- y) in z 8.379 * [taylor]: Taking taylor expansion of y in z 8.379 * [backup-simplify]: Simplify y into y 8.379 * [taylor]: Taking taylor expansion of (/ x z) in z 8.379 * [taylor]: Taking taylor expansion of x in z 8.379 * [backup-simplify]: Simplify x into x 8.379 * [taylor]: Taking taylor expansion of z in z 8.379 * [backup-simplify]: Simplify 0 into 0 8.379 * [backup-simplify]: Simplify 1 into 1 8.379 * [backup-simplify]: Simplify (/ x 1) into x 8.379 * [taylor]: Taking taylor expansion of (+ y (fma (/ x z) (- y) (/ x z))) in x 8.379 * [taylor]: Taking taylor expansion of y in x 8.379 * [backup-simplify]: Simplify y into y 8.379 * [taylor]: Taking taylor expansion of (fma (/ x z) (- y) (/ x z)) in x 8.379 * [taylor]: Rewrote expression to (+ (* (/ x z) (- y)) (/ x z)) 8.379 * [taylor]: Taking taylor expansion of (* (/ x z) (- y)) in x 8.379 * [taylor]: Taking taylor expansion of (/ x z) in x 8.379 * [taylor]: Taking taylor expansion of x in x 8.379 * [backup-simplify]: Simplify 0 into 0 8.379 * [backup-simplify]: Simplify 1 into 1 8.379 * [taylor]: Taking taylor expansion of z in x 8.380 * [backup-simplify]: Simplify z into z 8.380 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 8.380 * [taylor]: Taking taylor expansion of (- y) in x 8.380 * [taylor]: Taking taylor expansion of y in x 8.380 * [backup-simplify]: Simplify y into y 8.380 * [taylor]: Taking taylor expansion of (/ x z) in x 8.380 * [taylor]: Taking taylor expansion of x in x 8.380 * [backup-simplify]: Simplify 0 into 0 8.380 * [backup-simplify]: Simplify 1 into 1 8.380 * [taylor]: Taking taylor expansion of z in x 8.380 * [backup-simplify]: Simplify z into z 8.380 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 8.380 * [taylor]: Taking taylor expansion of (+ y (fma (/ x z) (- y) (/ x z))) in y 8.380 * [taylor]: Taking taylor expansion of y in y 8.380 * [backup-simplify]: Simplify 0 into 0 8.380 * [backup-simplify]: Simplify 1 into 1 8.380 * [taylor]: Taking taylor expansion of (fma (/ x z) (- y) (/ x z)) in y 8.380 * [taylor]: Rewrote expression to (+ (* (/ x z) (- y)) (/ x z)) 8.380 * [taylor]: Taking taylor expansion of (* (/ x z) (- y)) in y 8.380 * [taylor]: Taking taylor expansion of (/ x z) in y 8.380 * [taylor]: Taking taylor expansion of x in y 8.380 * [backup-simplify]: Simplify x into x 8.380 * [taylor]: Taking taylor expansion of z in y 8.380 * [backup-simplify]: Simplify z into z 8.380 * [backup-simplify]: Simplify (/ x z) into (/ x z) 8.380 * [taylor]: Taking taylor expansion of (- y) in y 8.380 * [taylor]: Taking taylor expansion of y in y 8.380 * [backup-simplify]: Simplify 0 into 0 8.380 * [backup-simplify]: Simplify 1 into 1 8.380 * [taylor]: Taking taylor expansion of (/ x z) in y 8.380 * [taylor]: Taking taylor expansion of x in y 8.380 * [backup-simplify]: Simplify x into x 8.380 * [taylor]: Taking taylor expansion of z in y 8.381 * [backup-simplify]: Simplify z into z 8.381 * [backup-simplify]: Simplify (/ x z) into (/ x z) 8.381 * [taylor]: Taking taylor expansion of (+ y (fma (/ x z) (- y) (/ x z))) in y 8.381 * [taylor]: Taking taylor expansion of y in y 8.381 * [backup-simplify]: Simplify 0 into 0 8.381 * [backup-simplify]: Simplify 1 into 1 8.381 * [taylor]: Taking taylor expansion of (fma (/ x z) (- y) (/ x z)) in y 8.381 * [taylor]: Rewrote expression to (+ (* (/ x z) (- y)) (/ x z)) 8.381 * [taylor]: Taking taylor expansion of (* (/ x z) (- y)) in y 8.381 * [taylor]: Taking taylor expansion of (/ x z) in y 8.381 * [taylor]: Taking taylor expansion of x in y 8.381 * [backup-simplify]: Simplify x into x 8.381 * [taylor]: Taking taylor expansion of z in y 8.381 * [backup-simplify]: Simplify z into z 8.381 * [backup-simplify]: Simplify (/ x z) into (/ x z) 8.381 * [taylor]: Taking taylor expansion of (- y) in y 8.381 * [taylor]: Taking taylor expansion of y in y 8.381 * [backup-simplify]: Simplify 0 into 0 8.381 * [backup-simplify]: Simplify 1 into 1 8.381 * [taylor]: Taking taylor expansion of (/ x z) in y 8.381 * [taylor]: Taking taylor expansion of x in y 8.381 * [backup-simplify]: Simplify x into x 8.381 * [taylor]: Taking taylor expansion of z in y 8.381 * [backup-simplify]: Simplify z into z 8.381 * [backup-simplify]: Simplify (/ x z) into (/ x z) 8.382 * [backup-simplify]: Simplify (- 0) into 0 8.382 * [backup-simplify]: Simplify (* (/ x z) 0) into 0 8.382 * [backup-simplify]: Simplify (+ 0 (/ x z)) into (/ x z) 8.382 * [backup-simplify]: Simplify (+ 0 (/ x z)) into (/ x z) 8.382 * [taylor]: Taking taylor expansion of (/ x z) in x 8.382 * [taylor]: Taking taylor expansion of x in x 8.382 * [backup-simplify]: Simplify 0 into 0 8.382 * [backup-simplify]: Simplify 1 into 1 8.382 * [taylor]: Taking taylor expansion of z in x 8.382 * [backup-simplify]: Simplify z into z 8.382 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 8.382 * [backup-simplify]: Simplify (- 1) into -1 8.382 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)))) into 0 8.383 * [backup-simplify]: Simplify (- 0) into 0 8.383 * [backup-simplify]: Simplify (+ (* (/ x z) -1) (* 0 0)) into (- (/ x z)) 8.383 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)))) into 0 8.383 * [backup-simplify]: Simplify (+ (- (/ x z)) 0) into (- (/ x z)) 8.384 * [backup-simplify]: Simplify (+ 1 (- (/ x z))) into (- 1 (/ x z)) 8.384 * [taylor]: Taking taylor expansion of (- 1 (/ x z)) in x 8.384 * [taylor]: Taking taylor expansion of 1 in x 8.384 * [backup-simplify]: Simplify 1 into 1 8.384 * [taylor]: Taking taylor expansion of (/ x z) in x 8.384 * [taylor]: Taking taylor expansion of x in x 8.384 * [backup-simplify]: Simplify 0 into 0 8.384 * [backup-simplify]: Simplify 1 into 1 8.384 * [taylor]: Taking taylor expansion of z in x 8.384 * [backup-simplify]: Simplify z into z 8.384 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 8.385 * [backup-simplify]: Simplify (+ 1 0) into 1 8.385 * [taylor]: Taking taylor expansion of 1 in z 8.385 * [backup-simplify]: Simplify 1 into 1 8.385 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.385 * [taylor]: Taking taylor expansion of z in z 8.385 * [backup-simplify]: Simplify 0 into 0 8.385 * [backup-simplify]: Simplify 1 into 1 8.385 * [backup-simplify]: Simplify (/ 1 1) into 1 8.385 * [backup-simplify]: Simplify 1 into 1 8.386 * [backup-simplify]: Simplify (- 0) into 0 8.386 * [backup-simplify]: Simplify (- 1) into -1 8.387 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 8.387 * [backup-simplify]: Simplify (- 0) into 0 8.388 * [backup-simplify]: Simplify (+ (* (/ x z) 0) (+ (* 0 -1) (* 0 0))) into 0 8.388 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 8.388 * [backup-simplify]: Simplify (+ 0 0) into 0 8.389 * [backup-simplify]: Simplify (+ 0 0) into 0 8.389 * [taylor]: Taking taylor expansion of 0 in x 8.389 * [backup-simplify]: Simplify 0 into 0 8.389 * [taylor]: Taking taylor expansion of 0 in z 8.389 * [backup-simplify]: Simplify 0 into 0 8.389 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 8.389 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z)) 8.389 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 8.389 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.389 * [taylor]: Taking taylor expansion of z in z 8.389 * [backup-simplify]: Simplify 0 into 0 8.389 * [backup-simplify]: Simplify 1 into 1 8.390 * [backup-simplify]: Simplify (/ 1 1) into 1 8.390 * [backup-simplify]: Simplify (- 1) into -1 8.390 * [backup-simplify]: Simplify -1 into -1 8.390 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0 8.390 * [taylor]: Taking taylor expansion of 0 in z 8.390 * [backup-simplify]: Simplify 0 into 0 8.390 * [backup-simplify]: Simplify 1 into 1 8.391 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 y))) (+ (* -1 (* (/ 1 z) (* x y))) (* 1 (* (/ 1 z) (* x 1))))) into (- (+ y (/ x z)) (/ (* x y) z)) 8.391 * [backup-simplify]: Simplify (+ (/ 1 y) (fma (/ (/ 1 x) (/ 1 z)) (- (/ 1 y)) (/ (/ 1 x) (/ 1 z)))) into (+ (fma (/ z x) (- (/ 1 y)) (/ z x)) (/ 1 y)) 8.391 * [approximate]: Taking taylor expansion of (+ (fma (/ z x) (- (/ 1 y)) (/ z x)) (/ 1 y)) in (y x z) around 0 8.391 * [taylor]: Taking taylor expansion of (+ (fma (/ z x) (- (/ 1 y)) (/ z x)) (/ 1 y)) in z 8.391 * [taylor]: Taking taylor expansion of (fma (/ z x) (- (/ 1 y)) (/ z x)) in z 8.391 * [taylor]: Rewrote expression to (+ (* (/ z x) (- (/ 1 y))) (/ z x)) 8.391 * [taylor]: Taking taylor expansion of (* (/ z x) (- (/ 1 y))) in z 8.391 * [taylor]: Taking taylor expansion of (/ z x) in z 8.391 * [taylor]: Taking taylor expansion of z in z 8.391 * [backup-simplify]: Simplify 0 into 0 8.391 * [backup-simplify]: Simplify 1 into 1 8.391 * [taylor]: Taking taylor expansion of x in z 8.391 * [backup-simplify]: Simplify x into x 8.391 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 8.391 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in z 8.391 * [taylor]: Taking taylor expansion of (/ 1 y) in z 8.391 * [taylor]: Taking taylor expansion of y in z 8.391 * [backup-simplify]: Simplify y into y 8.391 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 8.391 * [taylor]: Taking taylor expansion of (/ z x) in z 8.391 * [taylor]: Taking taylor expansion of z in z 8.391 * [backup-simplify]: Simplify 0 into 0 8.391 * [backup-simplify]: Simplify 1 into 1 8.391 * [taylor]: Taking taylor expansion of x in z 8.391 * [backup-simplify]: Simplify x into x 8.391 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 8.391 * [taylor]: Taking taylor expansion of (/ 1 y) in z 8.391 * [taylor]: Taking taylor expansion of y in z 8.392 * [backup-simplify]: Simplify y into y 8.392 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 8.392 * [taylor]: Taking taylor expansion of (+ (fma (/ z x) (- (/ 1 y)) (/ z x)) (/ 1 y)) in x 8.392 * [taylor]: Taking taylor expansion of (fma (/ z x) (- (/ 1 y)) (/ z x)) in x 8.392 * [taylor]: Rewrote expression to (+ (* (/ z x) (- (/ 1 y))) (/ z x)) 8.392 * [taylor]: Taking taylor expansion of (* (/ z x) (- (/ 1 y))) in x 8.392 * [taylor]: Taking taylor expansion of (/ z x) in x 8.392 * [taylor]: Taking taylor expansion of z in x 8.392 * [backup-simplify]: Simplify z into z 8.392 * [taylor]: Taking taylor expansion of x in x 8.392 * [backup-simplify]: Simplify 0 into 0 8.392 * [backup-simplify]: Simplify 1 into 1 8.392 * [backup-simplify]: Simplify (/ z 1) into z 8.392 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x 8.392 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.392 * [taylor]: Taking taylor expansion of y in x 8.392 * [backup-simplify]: Simplify y into y 8.392 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 8.392 * [taylor]: Taking taylor expansion of (/ z x) in x 8.392 * [taylor]: Taking taylor expansion of z in x 8.392 * [backup-simplify]: Simplify z into z 8.392 * [taylor]: Taking taylor expansion of x in x 8.392 * [backup-simplify]: Simplify 0 into 0 8.392 * [backup-simplify]: Simplify 1 into 1 8.392 * [backup-simplify]: Simplify (/ z 1) into z 8.392 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.392 * [taylor]: Taking taylor expansion of y in x 8.392 * [backup-simplify]: Simplify y into y 8.392 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 8.392 * [taylor]: Taking taylor expansion of (+ (fma (/ z x) (- (/ 1 y)) (/ z x)) (/ 1 y)) in y 8.392 * [taylor]: Taking taylor expansion of (fma (/ z x) (- (/ 1 y)) (/ z x)) in y 8.392 * [taylor]: Rewrote expression to (+ (* (/ z x) (- (/ 1 y))) (/ z x)) 8.392 * [taylor]: Taking taylor expansion of (* (/ z x) (- (/ 1 y))) in y 8.392 * [taylor]: Taking taylor expansion of (/ z x) in y 8.392 * [taylor]: Taking taylor expansion of z in y 8.392 * [backup-simplify]: Simplify z into z 8.392 * [taylor]: Taking taylor expansion of x in y 8.392 * [backup-simplify]: Simplify x into x 8.392 * [backup-simplify]: Simplify (/ z x) into (/ z x) 8.392 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 8.392 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.392 * [taylor]: Taking taylor expansion of y in y 8.392 * [backup-simplify]: Simplify 0 into 0 8.392 * [backup-simplify]: Simplify 1 into 1 8.393 * [backup-simplify]: Simplify (/ 1 1) into 1 8.393 * [taylor]: Taking taylor expansion of (/ z x) in y 8.393 * [taylor]: Taking taylor expansion of z in y 8.393 * [backup-simplify]: Simplify z into z 8.393 * [taylor]: Taking taylor expansion of x in y 8.393 * [backup-simplify]: Simplify x into x 8.393 * [backup-simplify]: Simplify (/ z x) into (/ z x) 8.393 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.393 * [taylor]: Taking taylor expansion of y in y 8.393 * [backup-simplify]: Simplify 0 into 0 8.393 * [backup-simplify]: Simplify 1 into 1 8.393 * [backup-simplify]: Simplify (/ 1 1) into 1 8.393 * [taylor]: Taking taylor expansion of (+ (fma (/ z x) (- (/ 1 y)) (/ z x)) (/ 1 y)) in y 8.393 * [taylor]: Taking taylor expansion of (fma (/ z x) (- (/ 1 y)) (/ z x)) in y 8.394 * [taylor]: Rewrote expression to (+ (* (/ z x) (- (/ 1 y))) (/ z x)) 8.394 * [taylor]: Taking taylor expansion of (* (/ z x) (- (/ 1 y))) in y 8.394 * [taylor]: Taking taylor expansion of (/ z x) in y 8.394 * [taylor]: Taking taylor expansion of z in y 8.394 * [backup-simplify]: Simplify z into z 8.394 * [taylor]: Taking taylor expansion of x in y 8.394 * [backup-simplify]: Simplify x into x 8.394 * [backup-simplify]: Simplify (/ z x) into (/ z x) 8.394 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 8.394 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.394 * [taylor]: Taking taylor expansion of y in y 8.394 * [backup-simplify]: Simplify 0 into 0 8.394 * [backup-simplify]: Simplify 1 into 1 8.394 * [backup-simplify]: Simplify (/ 1 1) into 1 8.394 * [taylor]: Taking taylor expansion of (/ z x) in y 8.394 * [taylor]: Taking taylor expansion of z in y 8.394 * [backup-simplify]: Simplify z into z 8.394 * [taylor]: Taking taylor expansion of x in y 8.394 * [backup-simplify]: Simplify x into x 8.394 * [backup-simplify]: Simplify (/ z x) into (/ z x) 8.394 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.394 * [taylor]: Taking taylor expansion of y in y 8.394 * [backup-simplify]: Simplify 0 into 0 8.394 * [backup-simplify]: Simplify 1 into 1 8.395 * [backup-simplify]: Simplify (/ 1 1) into 1 8.395 * [backup-simplify]: Simplify (- 1) into -1 8.395 * [backup-simplify]: Simplify (* (/ z x) -1) into (* -1 (/ z x)) 8.395 * [backup-simplify]: Simplify (+ (* -1 (/ z x)) 0) into (- (/ z x)) 8.395 * [backup-simplify]: Simplify (+ (- (/ z x)) 1) into (- 1 (/ z x)) 8.395 * [taylor]: Taking taylor expansion of (- 1 (/ z x)) in x 8.395 * [taylor]: Taking taylor expansion of 1 in x 8.395 * [backup-simplify]: Simplify 1 into 1 8.395 * [taylor]: Taking taylor expansion of (/ z x) in x 8.395 * [taylor]: Taking taylor expansion of z in x 8.395 * [backup-simplify]: Simplify z into z 8.395 * [taylor]: Taking taylor expansion of x in x 8.395 * [backup-simplify]: Simplify 0 into 0 8.395 * [backup-simplify]: Simplify 1 into 1 8.395 * [backup-simplify]: Simplify (/ z 1) into z 8.395 * [backup-simplify]: Simplify (- z) into (- z) 8.395 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z) 8.396 * [taylor]: Taking taylor expansion of (- z) in z 8.396 * [taylor]: Taking taylor expansion of z in z 8.396 * [backup-simplify]: Simplify 0 into 0 8.396 * [backup-simplify]: Simplify 1 into 1 8.396 * [backup-simplify]: Simplify (- 0) into 0 8.396 * [backup-simplify]: Simplify 0 into 0 8.396 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.397 * [backup-simplify]: Simplify (- 0) into 0 8.397 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0 8.397 * [backup-simplify]: Simplify (- 1) into -1 8.397 * [backup-simplify]: Simplify (+ (* (/ z x) 0) (* 0 -1)) into 0 8.398 * [backup-simplify]: Simplify (+ 0 (/ z x)) into (/ z x) 8.398 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.398 * [backup-simplify]: Simplify (+ (/ z x) 0) into (/ z x) 8.398 * [taylor]: Taking taylor expansion of (/ z x) in x 8.398 * [taylor]: Taking taylor expansion of z in x 8.398 * [backup-simplify]: Simplify z into z 8.398 * [taylor]: Taking taylor expansion of x in x 8.398 * [backup-simplify]: Simplify 0 into 0 8.398 * [backup-simplify]: Simplify 1 into 1 8.398 * [backup-simplify]: Simplify (/ z 1) into z 8.398 * [taylor]: Taking taylor expansion of z in z 8.398 * [backup-simplify]: Simplify 0 into 0 8.398 * [backup-simplify]: Simplify 1 into 1 8.398 * [backup-simplify]: Simplify 0 into 0 8.399 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 8.399 * [backup-simplify]: Simplify (- 0) into 0 8.400 * [backup-simplify]: Simplify (+ 1 0) into 1 8.400 * [taylor]: Taking taylor expansion of 1 in z 8.400 * [backup-simplify]: Simplify 1 into 1 8.400 * [backup-simplify]: Simplify 1 into 1 8.400 * [backup-simplify]: Simplify (- 1) into -1 8.400 * [backup-simplify]: Simplify -1 into -1 8.401 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.401 * [backup-simplify]: Simplify (- 0) into 0 8.401 * [backup-simplify]: Simplify (- 0) into 0 8.401 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 8.401 * [backup-simplify]: Simplify (- 1) into -1 8.402 * [backup-simplify]: Simplify (+ (* (/ z x) 0) (+ (* 0 0) (* 0 -1))) into 0 8.402 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0 8.402 * [backup-simplify]: Simplify (+ 0 0) into 0 8.403 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.403 * [backup-simplify]: Simplify (+ 0 0) into 0 8.403 * [taylor]: Taking taylor expansion of 0 in x 8.403 * [backup-simplify]: Simplify 0 into 0 8.404 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 8.404 * [taylor]: Taking taylor expansion of 0 in z 8.404 * [backup-simplify]: Simplify 0 into 0 8.404 * [backup-simplify]: Simplify 0 into 0 8.405 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.405 * [backup-simplify]: Simplify (- 0) into 0 8.405 * [backup-simplify]: Simplify (+ 0 0) into 0 8.405 * [taylor]: Taking taylor expansion of 0 in z 8.405 * [backup-simplify]: Simplify 0 into 0 8.405 * [backup-simplify]: Simplify 0 into 0 8.405 * [backup-simplify]: Simplify 1 into 1 8.406 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 z) (* (/ 1 (/ 1 x)) 1))) (+ (* -1 (* (/ 1 z) (* (/ 1 (/ 1 x)) (/ 1 (/ 1 y))))) (* 1 (* 1 (* 1 (/ 1 (/ 1 y))))))) into (- (+ y (/ x z)) (/ (* x y) z)) 8.406 * [backup-simplify]: Simplify (+ (/ 1 (- y)) (fma (/ (/ 1 (- x)) (/ 1 (- z))) (- (/ 1 (- y))) (/ (/ 1 (- x)) (/ 1 (- z))))) into (- (fma (/ z x) (/ 1 y) (/ z x)) (/ 1 y)) 8.406 * [approximate]: Taking taylor expansion of (- (fma (/ z x) (/ 1 y) (/ z x)) (/ 1 y)) in (y x z) around 0 8.406 * [taylor]: Taking taylor expansion of (- (fma (/ z x) (/ 1 y) (/ z x)) (/ 1 y)) in z 8.406 * [taylor]: Taking taylor expansion of (fma (/ z x) (/ 1 y) (/ z x)) in z 8.406 * [taylor]: Rewrote expression to (+ (* (/ z x) (/ 1 y)) (/ z x)) 8.406 * [taylor]: Taking taylor expansion of (* (/ z x) (/ 1 y)) in z 8.406 * [taylor]: Taking taylor expansion of (/ z x) in z 8.406 * [taylor]: Taking taylor expansion of z in z 8.406 * [backup-simplify]: Simplify 0 into 0 8.406 * [backup-simplify]: Simplify 1 into 1 8.406 * [taylor]: Taking taylor expansion of x in z 8.406 * [backup-simplify]: Simplify x into x 8.406 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 8.406 * [taylor]: Taking taylor expansion of (/ 1 y) in z 8.406 * [taylor]: Taking taylor expansion of y in z 8.406 * [backup-simplify]: Simplify y into y 8.406 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 8.407 * [taylor]: Taking taylor expansion of (/ z x) in z 8.407 * [taylor]: Taking taylor expansion of z in z 8.407 * [backup-simplify]: Simplify 0 into 0 8.407 * [backup-simplify]: Simplify 1 into 1 8.407 * [taylor]: Taking taylor expansion of x in z 8.407 * [backup-simplify]: Simplify x into x 8.407 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 8.407 * [taylor]: Taking taylor expansion of (/ 1 y) in z 8.407 * [taylor]: Taking taylor expansion of y in z 8.407 * [backup-simplify]: Simplify y into y 8.407 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 8.407 * [taylor]: Taking taylor expansion of (- (fma (/ z x) (/ 1 y) (/ z x)) (/ 1 y)) in x 8.407 * [taylor]: Taking taylor expansion of (fma (/ z x) (/ 1 y) (/ z x)) in x 8.407 * [taylor]: Rewrote expression to (+ (* (/ z x) (/ 1 y)) (/ z x)) 8.407 * [taylor]: Taking taylor expansion of (* (/ z x) (/ 1 y)) in x 8.407 * [taylor]: Taking taylor expansion of (/ z x) in x 8.407 * [taylor]: Taking taylor expansion of z in x 8.407 * [backup-simplify]: Simplify z into z 8.407 * [taylor]: Taking taylor expansion of x in x 8.407 * [backup-simplify]: Simplify 0 into 0 8.407 * [backup-simplify]: Simplify 1 into 1 8.407 * [backup-simplify]: Simplify (/ z 1) into z 8.407 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.407 * [taylor]: Taking taylor expansion of y in x 8.407 * [backup-simplify]: Simplify y into y 8.407 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 8.407 * [taylor]: Taking taylor expansion of (/ z x) in x 8.407 * [taylor]: Taking taylor expansion of z in x 8.407 * [backup-simplify]: Simplify z into z 8.407 * [taylor]: Taking taylor expansion of x in x 8.407 * [backup-simplify]: Simplify 0 into 0 8.407 * [backup-simplify]: Simplify 1 into 1 8.407 * [backup-simplify]: Simplify (/ z 1) into z 8.407 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.407 * [taylor]: Taking taylor expansion of y in x 8.407 * [backup-simplify]: Simplify y into y 8.407 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 8.407 * [taylor]: Taking taylor expansion of (- (fma (/ z x) (/ 1 y) (/ z x)) (/ 1 y)) in y 8.408 * [taylor]: Taking taylor expansion of (fma (/ z x) (/ 1 y) (/ z x)) in y 8.408 * [taylor]: Rewrote expression to (+ (* (/ z x) (/ 1 y)) (/ z x)) 8.408 * [taylor]: Taking taylor expansion of (* (/ z x) (/ 1 y)) in y 8.408 * [taylor]: Taking taylor expansion of (/ z x) in y 8.408 * [taylor]: Taking taylor expansion of z in y 8.408 * [backup-simplify]: Simplify z into z 8.408 * [taylor]: Taking taylor expansion of x in y 8.408 * [backup-simplify]: Simplify x into x 8.408 * [backup-simplify]: Simplify (/ z x) into (/ z x) 8.408 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.408 * [taylor]: Taking taylor expansion of y in y 8.408 * [backup-simplify]: Simplify 0 into 0 8.408 * [backup-simplify]: Simplify 1 into 1 8.409 * [backup-simplify]: Simplify (/ 1 1) into 1 8.409 * [taylor]: Taking taylor expansion of (/ z x) in y 8.409 * [taylor]: Taking taylor expansion of z in y 8.409 * [backup-simplify]: Simplify z into z 8.409 * [taylor]: Taking taylor expansion of x in y 8.409 * [backup-simplify]: Simplify x into x 8.409 * [backup-simplify]: Simplify (/ z x) into (/ z x) 8.409 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.409 * [taylor]: Taking taylor expansion of y in y 8.409 * [backup-simplify]: Simplify 0 into 0 8.409 * [backup-simplify]: Simplify 1 into 1 8.409 * [backup-simplify]: Simplify (/ 1 1) into 1 8.409 * [taylor]: Taking taylor expansion of (- (fma (/ z x) (/ 1 y) (/ z x)) (/ 1 y)) in y 8.409 * [taylor]: Taking taylor expansion of (fma (/ z x) (/ 1 y) (/ z x)) in y 8.410 * [taylor]: Rewrote expression to (+ (* (/ z x) (/ 1 y)) (/ z x)) 8.410 * [taylor]: Taking taylor expansion of (* (/ z x) (/ 1 y)) in y 8.410 * [taylor]: Taking taylor expansion of (/ z x) in y 8.410 * [taylor]: Taking taylor expansion of z in y 8.410 * [backup-simplify]: Simplify z into z 8.410 * [taylor]: Taking taylor expansion of x in y 8.410 * [backup-simplify]: Simplify x into x 8.410 * [backup-simplify]: Simplify (/ z x) into (/ z x) 8.410 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.410 * [taylor]: Taking taylor expansion of y in y 8.410 * [backup-simplify]: Simplify 0 into 0 8.410 * [backup-simplify]: Simplify 1 into 1 8.410 * [backup-simplify]: Simplify (/ 1 1) into 1 8.410 * [taylor]: Taking taylor expansion of (/ z x) in y 8.410 * [taylor]: Taking taylor expansion of z in y 8.411 * [backup-simplify]: Simplify z into z 8.411 * [taylor]: Taking taylor expansion of x in y 8.411 * [backup-simplify]: Simplify x into x 8.411 * [backup-simplify]: Simplify (/ z x) into (/ z x) 8.411 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.411 * [taylor]: Taking taylor expansion of y in y 8.411 * [backup-simplify]: Simplify 0 into 0 8.411 * [backup-simplify]: Simplify 1 into 1 8.411 * [backup-simplify]: Simplify (/ 1 1) into 1 8.411 * [backup-simplify]: Simplify (* (/ z x) 1) into (/ z x) 8.411 * [backup-simplify]: Simplify (+ (/ z x) 0) into (/ z x) 8.412 * [backup-simplify]: Simplify (- 1) into -1 8.412 * [backup-simplify]: Simplify (+ (/ z x) -1) into (- (/ z x) 1) 8.412 * [taylor]: Taking taylor expansion of (- (/ z x) 1) in x 8.412 * [taylor]: Taking taylor expansion of (/ z x) in x 8.412 * [taylor]: Taking taylor expansion of z in x 8.412 * [backup-simplify]: Simplify z into z 8.412 * [taylor]: Taking taylor expansion of x in x 8.412 * [backup-simplify]: Simplify 0 into 0 8.412 * [backup-simplify]: Simplify 1 into 1 8.412 * [backup-simplify]: Simplify (/ z 1) into z 8.412 * [taylor]: Taking taylor expansion of 1 in x 8.412 * [backup-simplify]: Simplify 1 into 1 8.412 * [backup-simplify]: Simplify (+ z 0) into z 8.412 * [taylor]: Taking taylor expansion of z in z 8.412 * [backup-simplify]: Simplify 0 into 0 8.412 * [backup-simplify]: Simplify 1 into 1 8.412 * [backup-simplify]: Simplify 0 into 0 8.413 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.413 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0 8.414 * [backup-simplify]: Simplify (+ (* (/ z x) 0) (* 0 1)) into 0 8.414 * [backup-simplify]: Simplify (+ 0 (/ z x)) into (/ z x) 8.415 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.415 * [backup-simplify]: Simplify (- 0) into 0 8.415 * [backup-simplify]: Simplify (+ (/ z x) 0) into (/ z x) 8.415 * [taylor]: Taking taylor expansion of (/ z x) in x 8.415 * [taylor]: Taking taylor expansion of z in x 8.415 * [backup-simplify]: Simplify z into z 8.416 * [taylor]: Taking taylor expansion of x in x 8.416 * [backup-simplify]: Simplify 0 into 0 8.416 * [backup-simplify]: Simplify 1 into 1 8.416 * [backup-simplify]: Simplify (/ z 1) into z 8.416 * [taylor]: Taking taylor expansion of z in z 8.416 * [backup-simplify]: Simplify 0 into 0 8.416 * [backup-simplify]: Simplify 1 into 1 8.416 * [backup-simplify]: Simplify 0 into 0 8.417 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 8.417 * [backup-simplify]: Simplify (- 1) into -1 8.418 * [backup-simplify]: Simplify (+ 0 -1) into -1 8.418 * [taylor]: Taking taylor expansion of -1 in z 8.418 * [backup-simplify]: Simplify -1 into -1 8.418 * [backup-simplify]: Simplify -1 into -1 8.418 * [backup-simplify]: Simplify 1 into 1 8.419 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.419 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 8.420 * [backup-simplify]: Simplify (+ (* (/ z x) 0) (+ (* 0 0) (* 0 1))) into 0 8.420 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0 8.420 * [backup-simplify]: Simplify (+ 0 0) into 0 8.421 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.422 * [backup-simplify]: Simplify (- 0) into 0 8.422 * [backup-simplify]: Simplify (+ 0 0) into 0 8.422 * [taylor]: Taking taylor expansion of 0 in x 8.422 * [backup-simplify]: Simplify 0 into 0 8.423 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 8.423 * [taylor]: Taking taylor expansion of 0 in z 8.423 * [backup-simplify]: Simplify 0 into 0 8.423 * [backup-simplify]: Simplify 0 into 0 8.424 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.425 * [backup-simplify]: Simplify (- 0) into 0 8.425 * [backup-simplify]: Simplify (+ 0 0) into 0 8.425 * [taylor]: Taking taylor expansion of 0 in z 8.425 * [backup-simplify]: Simplify 0 into 0 8.425 * [backup-simplify]: Simplify 0 into 0 8.425 * [backup-simplify]: Simplify 1 into 1 8.426 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (- z)) (* (/ 1 (/ 1 (- x))) 1))) (+ (* 1 (* (/ 1 (- z)) (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- y)))))) (* -1 (* 1 (* 1 (/ 1 (/ 1 (- y)))))))) into (- (+ y (/ x z)) (/ (* x y) z)) 8.426 * * * [progress]: simplifying candidates 8.426 * * * * [progress]: [ 1 / 36 ] simplifiying candidate # 8.426 * * * * [progress]: [ 2 / 36 ] simplifiying candidate # 8.426 * * * * [progress]: [ 3 / 36 ] simplifiying candidate # 8.426 * * * * [progress]: [ 4 / 36 ] simplifiying candidate # 8.426 * * * * [progress]: [ 5 / 36 ] simplifiying candidate # 8.427 * * * * [progress]: [ 6 / 36 ] simplifiying candidate # 8.427 * * * * [progress]: [ 7 / 36 ] simplifiying candidate # 8.427 * * * * [progress]: [ 8 / 36 ] simplifiying candidate # 8.427 * * * * [progress]: [ 9 / 36 ] simplifiying candidate # 8.427 * * * * [progress]: [ 10 / 36 ] simplifiying candidate # 8.427 * * * * [progress]: [ 11 / 36 ] simplifiying candidate #real (real->posit16 (fma (/ x z) (- y) (/ x z))))))> 8.427 * * * * [progress]: [ 12 / 36 ] simplifiying candidate # 8.427 * * * * [progress]: [ 13 / 36 ] simplifiying candidate # 8.427 * * * * [progress]: [ 14 / 36 ] simplifiying candidate # 8.427 * * * * [progress]: [ 15 / 36 ] simplifiying candidate # 8.427 * * * * [progress]: [ 16 / 36 ] simplifiying candidate # 8.427 * * * * [progress]: [ 17 / 36 ] simplifiying candidate # 8.427 * * * * [progress]: [ 18 / 36 ] simplifiying candidate # 8.427 * * * * [progress]: [ 19 / 36 ] simplifiying candidate # 8.427 * * * * [progress]: [ 20 / 36 ] simplifiying candidate # 8.427 * * * * [progress]: [ 21 / 36 ] simplifiying candidate # 8.427 * * * * [progress]: [ 22 / 36 ] simplifiying candidate # 8.427 * * * * [progress]: [ 23 / 36 ] simplifiying candidate # 8.428 * * * * [progress]: [ 24 / 36 ] simplifiying candidate # 8.428 * * * * [progress]: [ 25 / 36 ] simplifiying candidate # 8.428 * * * * [progress]: [ 26 / 36 ] simplifiying candidate # 8.428 * * * * [progress]: [ 27 / 36 ] simplifiying candidate # 8.428 * * * * [progress]: [ 28 / 36 ] simplifiying candidate # 8.428 * * * * [progress]: [ 29 / 36 ] simplifiying candidate #real (real->posit16 (+ y (fma (/ x z) (- y) (/ x z))))))> 8.428 * * * * [progress]: [ 30 / 36 ] simplifiying candidate # 8.428 * * * * [progress]: [ 31 / 36 ] simplifiying candidate # 8.428 * * * * [progress]: [ 32 / 36 ] simplifiying candidate # 8.428 * * * * [progress]: [ 33 / 36 ] simplifiying candidate # 8.428 * * * * [progress]: [ 34 / 36 ] simplifiying candidate # 8.428 * * * * [progress]: [ 35 / 36 ] simplifiying candidate # 8.428 * * * * [progress]: [ 36 / 36 ] simplifiying candidate # 8.429 * [simplify]: Simplifying: (expm1 (fma (/ x z) (- y) (/ x z))) (log1p (fma (/ x z) (- y) (/ x z))) (* (/ x z) (- y)) (log (fma (/ x z) (- y) (/ x z))) (exp (fma (/ x z) (- y) (/ x z))) (* (cbrt (fma (/ x z) (- y) (/ x z))) (cbrt (fma (/ x z) (- y) (/ x z)))) (cbrt (fma (/ x z) (- y) (/ x z))) (* (* (fma (/ x z) (- y) (/ x z)) (fma (/ x z) (- y) (/ x z))) (fma (/ x z) (- y) (/ x z))) (sqrt (fma (/ x z) (- y) (/ x z))) (sqrt (fma (/ x z) (- y) (/ x z))) (real->posit16 (fma (/ x z) (- y) (/ x z))) (expm1 (+ y (fma (/ x z) (- y) (/ x z)))) (log1p (+ y (fma (/ x z) (- y) (/ x z)))) (* (exp y) (exp (fma (/ x z) (- y) (/ x z)))) (log (+ y (fma (/ x z) (- y) (/ x z)))) (exp (+ y (fma (/ x z) (- y) (/ x z)))) (* (cbrt (+ y (fma (/ x z) (- y) (/ x z)))) (cbrt (+ y (fma (/ x z) (- y) (/ x z))))) (cbrt (+ y (fma (/ x z) (- y) (/ x z)))) (* (* (+ y (fma (/ x z) (- y) (/ x z))) (+ y (fma (/ x z) (- y) (/ x z)))) (+ y (fma (/ x z) (- y) (/ x z)))) (sqrt (+ y (fma (/ x z) (- y) (/ x z)))) (sqrt (+ y (fma (/ x z) (- y) (/ x z)))) (+ (pow y 3) (pow (fma (/ x z) (- y) (/ x z)) 3)) (+ (* y y) (- (* (fma (/ x z) (- y) (/ x z)) (fma (/ x z) (- y) (/ x z))) (* y (fma (/ x z) (- y) (/ x z))))) (- (* y y) (* (fma (/ x z) (- y) (/ x z)) (fma (/ x z) (- y) (/ x z)))) (- y (fma (/ x z) (- y) (/ x z))) (+ y (fma (/ x z) (- y) (/ x z))) (+ y (* (/ x z) (- y))) (real->posit16 (+ y (fma (/ x z) (- y) (/ x z)))) (- (/ x z) (/ (* x y) z)) (- (/ x z) (/ (* x y) z)) (- (/ x z) (/ (* x y) z)) (- (+ y (/ x z)) (/ (* x y) z)) (- (+ y (/ x z)) (/ (* x y) z)) (- (+ y (/ x z)) (/ (* x y) z)) 8.430 * * [simplify]: iteration 0: 46 enodes 8.443 * * [simplify]: iteration 1: 103 enodes 8.478 * * [simplify]: iteration 2: 261 enodes 8.672 * * [simplify]: iteration 3: 1250 enodes 9.674 * * [simplify]: iteration complete: 5014 enodes 9.674 * * [simplify]: Extracting #0: cost 26 inf + 0 9.676 * * [simplify]: Extracting #1: cost 210 inf + 0 9.692 * * [simplify]: Extracting #2: cost 1027 inf + 287 9.709 * * [simplify]: Extracting #3: cost 1710 inf + 21487 9.789 * * [simplify]: Extracting #4: cost 437 inf + 292946 9.921 * * [simplify]: Extracting #5: cost 22 inf + 398100 10.038 * * [simplify]: Extracting #6: cost 3 inf + 402754 10.185 * * [simplify]: Extracting #7: cost 0 inf + 403513 10.316 * [simplify]: Simplified to: (expm1 (- (/ x z) (* (/ x z) y))) (log1p (- (/ x z) (* (/ x z) y))) (/ (- x) (/ z y)) (log (- (/ x z) (* (/ x z) y))) (exp (- (/ x z) (* (/ x z) y))) (* (cbrt (- (/ x z) (* (/ x z) y))) (cbrt (- (/ x z) (* (/ x z) y)))) (cbrt (- (/ x z) (* (/ x z) y))) (* (* (- (/ x z) (* (/ x z) y)) (- (/ x z) (* (/ x z) y))) (- (/ x z) (* (/ x z) y))) (sqrt (- (/ x z) (* (/ x z) y))) (sqrt (- (/ x z) (* (/ x z) y))) (real->posit16 (- (/ x z) (* (/ x z) y))) (expm1 (- (+ y (/ x z)) (* (/ x z) y))) (log1p (- (+ y (/ x z)) (* (/ x z) y))) (exp (- (+ y (/ x z)) (* (/ x z) y))) (log (- (+ y (/ x z)) (* (/ x z) y))) (exp (- (+ y (/ x z)) (* (/ x z) y))) (* (cbrt (- (+ y (/ x z)) (* (/ x z) y))) (cbrt (- (+ y (/ x z)) (* (/ x z) y)))) (cbrt (- (+ y (/ x z)) (* (/ x z) y))) (* (- (+ y (/ x z)) (* (/ x z) y)) (* (- (+ y (/ x z)) (* (/ x z) y)) (- (+ y (/ x z)) (* (/ x z) y)))) (sqrt (- (+ y (/ x z)) (* (/ x z) y))) (sqrt (- (+ y (/ x z)) (* (/ x z) y))) (fma (- (/ x z) (* (/ x z) y)) (* (- (/ x z) (* (/ x z) y)) (- (/ x z) (* (/ x z) y))) (* (* y y) y)) (fma (- (/ x z) (* (/ x z) y)) (- (/ x z) (* (/ x z) y)) (* y (- y (- (/ x z) (* (/ x z) y))))) (- (* y y) (* (- (/ x z) (* (/ x z) y)) (- (/ x z) (* (/ x z) y)))) (- y (- (/ x z) (* (/ x z) y))) (- (+ y (/ x z)) (* (/ x z) y)) (- y (* (/ x z) y)) (real->posit16 (- (+ y (/ x z)) (* (/ x z) y))) (- (/ x z) (* (/ x z) y)) (- (/ x z) (* (/ x z) y)) (- (/ x z) (* (/ x z) y)) (- (+ y (/ x z)) (* (/ x z) y)) (- (+ y (/ x z)) (* (/ x z) y)) (- (+ y (/ x z)) (* (/ x z) y)) 10.318 * * * [progress]: adding candidates to table 10.515 * * [progress]: iteration 3 / 4 10.515 * * * [progress]: picking best candidate 10.520 * * * * [pick]: Picked # 10.520 * * * [progress]: localizing error 10.544 * * * [progress]: generating rewritten candidates 10.544 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 10.574 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 10.576 * * * [progress]: generating series expansions 10.576 * * * * [progress]: [ 1 / 2 ] generating series at (2) 10.577 * [backup-simplify]: Simplify (* (fma (- z x) y x) (/ 1 z)) into (/ (fma (- z x) y x) z) 10.577 * [approximate]: Taking taylor expansion of (/ (fma (- z x) y x) z) in (z x y) around 0 10.577 * [taylor]: Taking taylor expansion of (/ (fma (- z x) y x) z) in y 10.577 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in y 10.577 * [taylor]: Rewrote expression to (+ (* (- z x) y) x) 10.577 * [taylor]: Taking taylor expansion of (* (- z x) y) in y 10.577 * [taylor]: Taking taylor expansion of (- z x) in y 10.577 * [taylor]: Taking taylor expansion of z in y 10.577 * [backup-simplify]: Simplify z into z 10.577 * [taylor]: Taking taylor expansion of x in y 10.577 * [backup-simplify]: Simplify x into x 10.577 * [taylor]: Taking taylor expansion of y in y 10.577 * [backup-simplify]: Simplify 0 into 0 10.577 * [backup-simplify]: Simplify 1 into 1 10.577 * [taylor]: Taking taylor expansion of x in y 10.577 * [backup-simplify]: Simplify x into x 10.577 * [taylor]: Taking taylor expansion of z in y 10.577 * [backup-simplify]: Simplify z into z 10.577 * [backup-simplify]: Simplify (- x) into (- x) 10.577 * [backup-simplify]: Simplify (+ z (- x)) into (- z x) 10.578 * [backup-simplify]: Simplify (* (- z x) 0) into 0 10.578 * [backup-simplify]: Simplify (+ 0 x) into x 10.578 * [backup-simplify]: Simplify (/ x z) into (/ x z) 10.578 * [taylor]: Taking taylor expansion of (/ (fma (- z x) y x) z) in x 10.578 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in x 10.578 * [taylor]: Rewrote expression to (+ (* (- z x) y) x) 10.578 * [taylor]: Taking taylor expansion of (* (- z x) y) in x 10.578 * [taylor]: Taking taylor expansion of (- z x) in x 10.578 * [taylor]: Taking taylor expansion of z in x 10.578 * [backup-simplify]: Simplify z into z 10.578 * [taylor]: Taking taylor expansion of x in x 10.578 * [backup-simplify]: Simplify 0 into 0 10.578 * [backup-simplify]: Simplify 1 into 1 10.578 * [taylor]: Taking taylor expansion of y in x 10.578 * [backup-simplify]: Simplify y into y 10.578 * [taylor]: Taking taylor expansion of x in x 10.578 * [backup-simplify]: Simplify 0 into 0 10.578 * [backup-simplify]: Simplify 1 into 1 10.578 * [taylor]: Taking taylor expansion of z in x 10.578 * [backup-simplify]: Simplify z into z 10.579 * [backup-simplify]: Simplify (- 0) into 0 10.579 * [backup-simplify]: Simplify (+ z 0) into z 10.579 * [backup-simplify]: Simplify (* z y) into (* z y) 10.579 * [backup-simplify]: Simplify (+ (* z y) 0) into (* z y) 10.579 * [backup-simplify]: Simplify (/ (* z y) z) into y 10.579 * [taylor]: Taking taylor expansion of (/ (fma (- z x) y x) z) in z 10.579 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in z 10.580 * [taylor]: Rewrote expression to (+ (* (- z x) y) x) 10.580 * [taylor]: Taking taylor expansion of (* (- z x) y) in z 10.580 * [taylor]: Taking taylor expansion of (- z x) in z 10.580 * [taylor]: Taking taylor expansion of z in z 10.580 * [backup-simplify]: Simplify 0 into 0 10.580 * [backup-simplify]: Simplify 1 into 1 10.580 * [taylor]: Taking taylor expansion of x in z 10.580 * [backup-simplify]: Simplify x into x 10.580 * [taylor]: Taking taylor expansion of y in z 10.580 * [backup-simplify]: Simplify y into y 10.580 * [taylor]: Taking taylor expansion of x in z 10.580 * [backup-simplify]: Simplify x into x 10.580 * [taylor]: Taking taylor expansion of z in z 10.580 * [backup-simplify]: Simplify 0 into 0 10.580 * [backup-simplify]: Simplify 1 into 1 10.580 * [backup-simplify]: Simplify (- x) into (- x) 10.580 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x) 10.580 * [backup-simplify]: Simplify (* (- x) y) into (* -1 (* x y)) 10.580 * [backup-simplify]: Simplify (+ (* -1 (* x y)) x) into (- x (* x y)) 10.580 * [backup-simplify]: Simplify (/ (- x (* x y)) 1) into (- x (* x y)) 10.580 * [taylor]: Taking taylor expansion of (/ (fma (- z x) y x) z) in z 10.580 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in z 10.581 * [taylor]: Rewrote expression to (+ (* (- z x) y) x) 10.581 * [taylor]: Taking taylor expansion of (* (- z x) y) in z 10.581 * [taylor]: Taking taylor expansion of (- z x) in z 10.581 * [taylor]: Taking taylor expansion of z in z 10.581 * [backup-simplify]: Simplify 0 into 0 10.581 * [backup-simplify]: Simplify 1 into 1 10.581 * [taylor]: Taking taylor expansion of x in z 10.581 * [backup-simplify]: Simplify x into x 10.581 * [taylor]: Taking taylor expansion of y in z 10.581 * [backup-simplify]: Simplify y into y 10.581 * [taylor]: Taking taylor expansion of x in z 10.581 * [backup-simplify]: Simplify x into x 10.581 * [taylor]: Taking taylor expansion of z in z 10.581 * [backup-simplify]: Simplify 0 into 0 10.581 * [backup-simplify]: Simplify 1 into 1 10.581 * [backup-simplify]: Simplify (- x) into (- x) 10.581 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x) 10.581 * [backup-simplify]: Simplify (* (- x) y) into (* -1 (* x y)) 10.581 * [backup-simplify]: Simplify (+ (* -1 (* x y)) x) into (- x (* x y)) 10.581 * [backup-simplify]: Simplify (/ (- x (* x y)) 1) into (- x (* x y)) 10.582 * [taylor]: Taking taylor expansion of (- x (* x y)) in x 10.582 * [taylor]: Taking taylor expansion of x in x 10.582 * [backup-simplify]: Simplify 0 into 0 10.582 * [backup-simplify]: Simplify 1 into 1 10.582 * [taylor]: Taking taylor expansion of (* x y) in x 10.582 * [taylor]: Taking taylor expansion of x in x 10.582 * [backup-simplify]: Simplify 0 into 0 10.582 * [backup-simplify]: Simplify 1 into 1 10.582 * [taylor]: Taking taylor expansion of y in x 10.582 * [backup-simplify]: Simplify y into y 10.582 * [backup-simplify]: Simplify (* 0 y) into 0 10.583 * [backup-simplify]: Simplify (- 0) into 0 10.583 * [backup-simplify]: Simplify (+ 0 0) into 0 10.583 * [taylor]: Taking taylor expansion of 0 in y 10.583 * [backup-simplify]: Simplify 0 into 0 10.583 * [backup-simplify]: Simplify 0 into 0 10.584 * [backup-simplify]: Simplify (- 0) into 0 10.584 * [backup-simplify]: Simplify (+ 1 0) into 1 10.584 * [backup-simplify]: Simplify (+ (* (- x) 0) (* 1 y)) into y 10.584 * [backup-simplify]: Simplify (+ y 0) into y 10.585 * [backup-simplify]: Simplify (- (/ y 1) (+ (* (- x (* x y)) (/ 0 1)))) into y 10.585 * [taylor]: Taking taylor expansion of y in x 10.585 * [backup-simplify]: Simplify y into y 10.585 * [taylor]: Taking taylor expansion of y in y 10.585 * [backup-simplify]: Simplify 0 into 0 10.585 * [backup-simplify]: Simplify 1 into 1 10.585 * [backup-simplify]: Simplify 0 into 0 10.586 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 10.586 * [backup-simplify]: Simplify (- y) into (- y) 10.586 * [backup-simplify]: Simplify (+ 1 (- y)) into (- 1 y) 10.586 * [taylor]: Taking taylor expansion of (- 1 y) in y 10.586 * [taylor]: Taking taylor expansion of 1 in y 10.586 * [backup-simplify]: Simplify 1 into 1 10.586 * [taylor]: Taking taylor expansion of y in y 10.586 * [backup-simplify]: Simplify 0 into 0 10.586 * [backup-simplify]: Simplify 1 into 1 10.587 * [backup-simplify]: Simplify (- 0) into 0 10.587 * [backup-simplify]: Simplify (+ 1 0) into 1 10.587 * [backup-simplify]: Simplify 1 into 1 10.587 * [backup-simplify]: Simplify 0 into 0 10.588 * [backup-simplify]: Simplify (- 0) into 0 10.588 * [backup-simplify]: Simplify (+ 0 0) into 0 10.588 * [backup-simplify]: Simplify (+ (* (- x) 0) (+ (* 1 0) (* 0 y))) into 0 10.589 * [backup-simplify]: Simplify (+ 0 0) into 0 10.590 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- x (* x y)) (/ 0 1)) (* y (/ 0 1)))) into 0 10.590 * [taylor]: Taking taylor expansion of 0 in x 10.590 * [backup-simplify]: Simplify 0 into 0 10.590 * [taylor]: Taking taylor expansion of 0 in y 10.590 * [backup-simplify]: Simplify 0 into 0 10.590 * [backup-simplify]: Simplify 0 into 0 10.590 * [taylor]: Taking taylor expansion of 0 in y 10.590 * [backup-simplify]: Simplify 0 into 0 10.591 * [backup-simplify]: Simplify 0 into 0 10.591 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 10.598 * [backup-simplify]: Simplify (- 0) into 0 10.599 * [backup-simplify]: Simplify (+ 0 0) into 0 10.599 * [taylor]: Taking taylor expansion of 0 in y 10.599 * [backup-simplify]: Simplify 0 into 0 10.599 * [backup-simplify]: Simplify 0 into 0 10.599 * [backup-simplify]: Simplify 1 into 1 10.600 * [backup-simplify]: Simplify (- 1) into -1 10.600 * [backup-simplify]: Simplify (+ 0 -1) into -1 10.600 * [backup-simplify]: Simplify -1 into -1 10.601 * [backup-simplify]: Simplify (+ (* -1 (* y (* x (/ 1 z)))) (+ (* 1 (* y (* 1 1))) (* 1 (* 1 (* x (/ 1 z)))))) into (- (+ y (/ x z)) (/ (* x y) z)) 10.601 * [backup-simplify]: Simplify (* (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) (/ 1 (/ 1 z))) into (* z (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x))) 10.602 * [approximate]: Taking taylor expansion of (* z (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x))) in (z x y) around 0 10.602 * [taylor]: Taking taylor expansion of (* z (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x))) in y 10.602 * [taylor]: Taking taylor expansion of z in y 10.602 * [backup-simplify]: Simplify z into z 10.602 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in y 10.602 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x)) 10.602 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in y 10.602 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 10.602 * [taylor]: Taking taylor expansion of (/ 1 z) in y 10.602 * [taylor]: Taking taylor expansion of z in y 10.602 * [backup-simplify]: Simplify z into z 10.602 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.602 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.602 * [taylor]: Taking taylor expansion of x in y 10.602 * [backup-simplify]: Simplify x into x 10.602 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.602 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.602 * [taylor]: Taking taylor expansion of y in y 10.602 * [backup-simplify]: Simplify 0 into 0 10.602 * [backup-simplify]: Simplify 1 into 1 10.603 * [backup-simplify]: Simplify (/ 1 1) into 1 10.603 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.603 * [taylor]: Taking taylor expansion of x in y 10.603 * [backup-simplify]: Simplify x into x 10.603 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.603 * [taylor]: Taking taylor expansion of (* z (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x))) in x 10.603 * [taylor]: Taking taylor expansion of z in x 10.603 * [backup-simplify]: Simplify z into z 10.603 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in x 10.604 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x)) 10.604 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in x 10.604 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 10.604 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.604 * [taylor]: Taking taylor expansion of z in x 10.604 * [backup-simplify]: Simplify z into z 10.604 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.604 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.604 * [taylor]: Taking taylor expansion of x in x 10.604 * [backup-simplify]: Simplify 0 into 0 10.604 * [backup-simplify]: Simplify 1 into 1 10.604 * [backup-simplify]: Simplify (/ 1 1) into 1 10.605 * [taylor]: Taking taylor expansion of (/ 1 y) in x 10.605 * [taylor]: Taking taylor expansion of y in x 10.605 * [backup-simplify]: Simplify y into y 10.605 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 10.605 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.605 * [taylor]: Taking taylor expansion of x in x 10.605 * [backup-simplify]: Simplify 0 into 0 10.605 * [backup-simplify]: Simplify 1 into 1 10.605 * [backup-simplify]: Simplify (/ 1 1) into 1 10.605 * [taylor]: Taking taylor expansion of (* z (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x))) in z 10.605 * [taylor]: Taking taylor expansion of z in z 10.605 * [backup-simplify]: Simplify 0 into 0 10.605 * [backup-simplify]: Simplify 1 into 1 10.605 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in z 10.606 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x)) 10.606 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in z 10.606 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 10.606 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.606 * [taylor]: Taking taylor expansion of z in z 10.606 * [backup-simplify]: Simplify 0 into 0 10.606 * [backup-simplify]: Simplify 1 into 1 10.606 * [backup-simplify]: Simplify (/ 1 1) into 1 10.606 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.606 * [taylor]: Taking taylor expansion of x in z 10.606 * [backup-simplify]: Simplify x into x 10.606 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.606 * [taylor]: Taking taylor expansion of (/ 1 y) in z 10.606 * [taylor]: Taking taylor expansion of y in z 10.606 * [backup-simplify]: Simplify y into y 10.606 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 10.606 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.607 * [taylor]: Taking taylor expansion of x in z 10.607 * [backup-simplify]: Simplify x into x 10.607 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.607 * [taylor]: Taking taylor expansion of (* z (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x))) in z 10.607 * [taylor]: Taking taylor expansion of z in z 10.607 * [backup-simplify]: Simplify 0 into 0 10.607 * [backup-simplify]: Simplify 1 into 1 10.607 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in z 10.607 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x)) 10.607 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in z 10.607 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 10.607 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.607 * [taylor]: Taking taylor expansion of z in z 10.607 * [backup-simplify]: Simplify 0 into 0 10.607 * [backup-simplify]: Simplify 1 into 1 10.608 * [backup-simplify]: Simplify (/ 1 1) into 1 10.608 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.608 * [taylor]: Taking taylor expansion of x in z 10.608 * [backup-simplify]: Simplify x into x 10.608 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.608 * [taylor]: Taking taylor expansion of (/ 1 y) in z 10.608 * [taylor]: Taking taylor expansion of y in z 10.608 * [backup-simplify]: Simplify y into y 10.608 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 10.608 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.608 * [taylor]: Taking taylor expansion of x in z 10.608 * [backup-simplify]: Simplify x into x 10.608 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.608 * [backup-simplify]: Simplify (+ 1 0) into 1 10.609 * [backup-simplify]: Simplify (* 1 (/ 1 y)) into (/ 1 y) 10.609 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 10.609 * [backup-simplify]: Simplify (* 0 (/ 1 y)) into 0 10.609 * [taylor]: Taking taylor expansion of 0 in x 10.609 * [backup-simplify]: Simplify 0 into 0 10.609 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 10.610 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.610 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 10.610 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x)) 10.611 * [backup-simplify]: Simplify (+ (* 1 0) (* (- (/ 1 x)) (/ 1 y))) into (- (/ 1 (* x y))) 10.611 * [backup-simplify]: Simplify (+ (- (/ 1 (* x y))) (/ 1 x)) into (- (/ 1 x) (/ 1 (* x y))) 10.611 * [backup-simplify]: Simplify (+ (* 0 (- (/ 1 x) (/ 1 (* x y)))) (* 1 (/ 1 y))) into (/ 1 y) 10.611 * [taylor]: Taking taylor expansion of (/ 1 y) in x 10.611 * [taylor]: Taking taylor expansion of y in x 10.611 * [backup-simplify]: Simplify y into y 10.611 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 10.611 * [taylor]: Taking taylor expansion of 0 in y 10.611 * [backup-simplify]: Simplify 0 into 0 10.611 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 10.612 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.613 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 10.614 * [backup-simplify]: Simplify (- 0) into 0 10.614 * [backup-simplify]: Simplify (+ 0 0) into 0 10.615 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 x)) 0) (* 0 (/ 1 y)))) into 0 10.615 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 10.616 * [backup-simplify]: Simplify (+ 0 0) into 0 10.616 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 (- (/ 1 x) (/ 1 (* x y)))) (* 0 (/ 1 y)))) into (- (/ 1 x) (/ 1 (* x y))) 10.616 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* x y))) in x 10.616 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.616 * [taylor]: Taking taylor expansion of x in x 10.616 * [backup-simplify]: Simplify 0 into 0 10.616 * [backup-simplify]: Simplify 1 into 1 10.617 * [backup-simplify]: Simplify (/ 1 1) into 1 10.617 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 10.617 * [taylor]: Taking taylor expansion of (* x y) in x 10.617 * [taylor]: Taking taylor expansion of x in x 10.617 * [backup-simplify]: Simplify 0 into 0 10.617 * [backup-simplify]: Simplify 1 into 1 10.617 * [taylor]: Taking taylor expansion of y in x 10.617 * [backup-simplify]: Simplify y into y 10.617 * [backup-simplify]: Simplify (* 0 y) into 0 10.618 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 10.618 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 10.618 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 10.618 * [backup-simplify]: Simplify (+ 1 (- (/ 1 y))) into (- 1 (/ 1 y)) 10.618 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y 10.618 * [taylor]: Taking taylor expansion of 1 in y 10.618 * [backup-simplify]: Simplify 1 into 1 10.618 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.618 * [taylor]: Taking taylor expansion of y in y 10.618 * [backup-simplify]: Simplify 0 into 0 10.618 * [backup-simplify]: Simplify 1 into 1 10.619 * [backup-simplify]: Simplify (/ 1 1) into 1 10.619 * [backup-simplify]: Simplify (- 1) into -1 10.619 * [backup-simplify]: Simplify (+ 0 -1) into -1 10.619 * [backup-simplify]: Simplify -1 into -1 10.619 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.620 * [taylor]: Taking taylor expansion of y in y 10.620 * [backup-simplify]: Simplify 0 into 0 10.620 * [backup-simplify]: Simplify 1 into 1 10.620 * [backup-simplify]: Simplify (/ 1 1) into 1 10.620 * [backup-simplify]: Simplify 1 into 1 10.620 * [taylor]: Taking taylor expansion of 0 in y 10.620 * [backup-simplify]: Simplify 0 into 0 10.620 * [backup-simplify]: Simplify 0 into 0 10.620 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 10.621 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.622 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 10.622 * [backup-simplify]: Simplify (- 0) into 0 10.622 * [backup-simplify]: Simplify (+ 0 0) into 0 10.623 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 x)) 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0 10.624 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 10.624 * [backup-simplify]: Simplify (+ 0 0) into 0 10.625 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 (- (/ 1 x) (/ 1 (* x y)))) (* 0 (/ 1 y))))) into 0 10.625 * [taylor]: Taking taylor expansion of 0 in x 10.625 * [backup-simplify]: Simplify 0 into 0 10.626 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.627 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 10.627 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 10.627 * [backup-simplify]: Simplify (- 0) into 0 10.628 * [backup-simplify]: Simplify (+ 0 0) into 0 10.628 * [taylor]: Taking taylor expansion of 0 in y 10.628 * [backup-simplify]: Simplify 0 into 0 10.628 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 10.628 * [taylor]: Taking taylor expansion of 0 in y 10.628 * [backup-simplify]: Simplify 0 into 0 10.628 * [taylor]: Taking taylor expansion of 0 in y 10.628 * [backup-simplify]: Simplify 0 into 0 10.629 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.629 * [backup-simplify]: Simplify (- 0) into 0 10.629 * [backup-simplify]: Simplify (+ 1 0) into 1 10.629 * [backup-simplify]: Simplify 1 into 1 10.630 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 x)) (/ 1 z)))) (+ (* 1 (* (/ 1 (/ 1 y)) (* 1 1))) (* -1 (* (/ 1 (/ 1 y)) (* (/ 1 (/ 1 x)) (/ 1 z)))))) into (- (+ y (/ x z)) (/ (* x y) z)) 10.630 * [backup-simplify]: Simplify (* (fma (- (/ 1 (- z)) (/ 1 (- x))) (/ 1 (- y)) (/ 1 (- x))) (/ 1 (/ 1 (- z)))) into (* -1 (* (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) z)) 10.630 * [approximate]: Taking taylor expansion of (* -1 (* (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) z)) in (z x y) around 0 10.630 * [taylor]: Taking taylor expansion of (* -1 (* (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) z)) in y 10.630 * [taylor]: Taking taylor expansion of -1 in y 10.630 * [backup-simplify]: Simplify -1 into -1 10.630 * [taylor]: Taking taylor expansion of (* (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) z) in y 10.630 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in y 10.630 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x)) 10.630 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in y 10.630 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 10.630 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.630 * [taylor]: Taking taylor expansion of x in y 10.630 * [backup-simplify]: Simplify x into x 10.631 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.631 * [taylor]: Taking taylor expansion of (/ 1 z) in y 10.631 * [taylor]: Taking taylor expansion of z in y 10.631 * [backup-simplify]: Simplify z into z 10.631 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.631 * [taylor]: Taking taylor expansion of (/ -1 y) in y 10.631 * [taylor]: Taking taylor expansion of -1 in y 10.631 * [backup-simplify]: Simplify -1 into -1 10.631 * [taylor]: Taking taylor expansion of y in y 10.631 * [backup-simplify]: Simplify 0 into 0 10.631 * [backup-simplify]: Simplify 1 into 1 10.631 * [backup-simplify]: Simplify (/ -1 1) into -1 10.631 * [taylor]: Taking taylor expansion of (/ -1 x) in y 10.631 * [taylor]: Taking taylor expansion of -1 in y 10.631 * [backup-simplify]: Simplify -1 into -1 10.631 * [taylor]: Taking taylor expansion of x in y 10.631 * [backup-simplify]: Simplify x into x 10.631 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 10.631 * [taylor]: Taking taylor expansion of z in y 10.631 * [backup-simplify]: Simplify z into z 10.631 * [taylor]: Taking taylor expansion of (* -1 (* (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) z)) in x 10.631 * [taylor]: Taking taylor expansion of -1 in x 10.631 * [backup-simplify]: Simplify -1 into -1 10.631 * [taylor]: Taking taylor expansion of (* (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) z) in x 10.631 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in x 10.631 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x)) 10.631 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in x 10.632 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 10.632 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.632 * [taylor]: Taking taylor expansion of x in x 10.632 * [backup-simplify]: Simplify 0 into 0 10.632 * [backup-simplify]: Simplify 1 into 1 10.632 * [backup-simplify]: Simplify (/ 1 1) into 1 10.632 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.632 * [taylor]: Taking taylor expansion of z in x 10.632 * [backup-simplify]: Simplify z into z 10.632 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.632 * [taylor]: Taking taylor expansion of (/ -1 y) in x 10.632 * [taylor]: Taking taylor expansion of -1 in x 10.632 * [backup-simplify]: Simplify -1 into -1 10.632 * [taylor]: Taking taylor expansion of y in x 10.632 * [backup-simplify]: Simplify y into y 10.632 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 10.632 * [taylor]: Taking taylor expansion of (/ -1 x) in x 10.632 * [taylor]: Taking taylor expansion of -1 in x 10.632 * [backup-simplify]: Simplify -1 into -1 10.632 * [taylor]: Taking taylor expansion of x in x 10.632 * [backup-simplify]: Simplify 0 into 0 10.632 * [backup-simplify]: Simplify 1 into 1 10.632 * [backup-simplify]: Simplify (/ -1 1) into -1 10.633 * [taylor]: Taking taylor expansion of z in x 10.633 * [backup-simplify]: Simplify z into z 10.633 * [taylor]: Taking taylor expansion of (* -1 (* (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) z)) in z 10.633 * [taylor]: Taking taylor expansion of -1 in z 10.633 * [backup-simplify]: Simplify -1 into -1 10.633 * [taylor]: Taking taylor expansion of (* (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) z) in z 10.633 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in z 10.633 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x)) 10.633 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in z 10.633 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 10.633 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.633 * [taylor]: Taking taylor expansion of x in z 10.633 * [backup-simplify]: Simplify x into x 10.633 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.633 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.633 * [taylor]: Taking taylor expansion of z in z 10.633 * [backup-simplify]: Simplify 0 into 0 10.633 * [backup-simplify]: Simplify 1 into 1 10.633 * [backup-simplify]: Simplify (/ 1 1) into 1 10.633 * [taylor]: Taking taylor expansion of (/ -1 y) in z 10.633 * [taylor]: Taking taylor expansion of -1 in z 10.633 * [backup-simplify]: Simplify -1 into -1 10.633 * [taylor]: Taking taylor expansion of y in z 10.633 * [backup-simplify]: Simplify y into y 10.633 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 10.633 * [taylor]: Taking taylor expansion of (/ -1 x) in z 10.633 * [taylor]: Taking taylor expansion of -1 in z 10.633 * [backup-simplify]: Simplify -1 into -1 10.633 * [taylor]: Taking taylor expansion of x in z 10.633 * [backup-simplify]: Simplify x into x 10.633 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 10.634 * [taylor]: Taking taylor expansion of z in z 10.634 * [backup-simplify]: Simplify 0 into 0 10.634 * [backup-simplify]: Simplify 1 into 1 10.634 * [taylor]: Taking taylor expansion of (* -1 (* (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) z)) in z 10.634 * [taylor]: Taking taylor expansion of -1 in z 10.634 * [backup-simplify]: Simplify -1 into -1 10.634 * [taylor]: Taking taylor expansion of (* (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) z) in z 10.634 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in z 10.634 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x)) 10.634 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in z 10.634 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 10.634 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.634 * [taylor]: Taking taylor expansion of x in z 10.634 * [backup-simplify]: Simplify x into x 10.634 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.634 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.634 * [taylor]: Taking taylor expansion of z in z 10.634 * [backup-simplify]: Simplify 0 into 0 10.634 * [backup-simplify]: Simplify 1 into 1 10.634 * [backup-simplify]: Simplify (/ 1 1) into 1 10.634 * [taylor]: Taking taylor expansion of (/ -1 y) in z 10.634 * [taylor]: Taking taylor expansion of -1 in z 10.634 * [backup-simplify]: Simplify -1 into -1 10.634 * [taylor]: Taking taylor expansion of y in z 10.634 * [backup-simplify]: Simplify y into y 10.634 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 10.634 * [taylor]: Taking taylor expansion of (/ -1 x) in z 10.634 * [taylor]: Taking taylor expansion of -1 in z 10.634 * [backup-simplify]: Simplify -1 into -1 10.634 * [taylor]: Taking taylor expansion of x in z 10.634 * [backup-simplify]: Simplify x into x 10.634 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 10.634 * [taylor]: Taking taylor expansion of z in z 10.635 * [backup-simplify]: Simplify 0 into 0 10.635 * [backup-simplify]: Simplify 1 into 1 10.635 * [backup-simplify]: Simplify (- 1) into -1 10.635 * [backup-simplify]: Simplify (+ 0 -1) into -1 10.635 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y) 10.635 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 10.635 * [backup-simplify]: Simplify (* (/ 1 y) 0) into 0 10.636 * [backup-simplify]: Simplify (* -1 0) into 0 10.636 * [taylor]: Taking taylor expansion of 0 in x 10.636 * [backup-simplify]: Simplify 0 into 0 10.636 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 10.636 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.637 * [backup-simplify]: Simplify (- 0) into 0 10.637 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x) 10.637 * [backup-simplify]: Simplify (+ (* -1 0) (* (/ 1 x) (/ -1 y))) into (- (/ 1 (* x y))) 10.637 * [backup-simplify]: Simplify (+ (- (/ 1 (* x y))) (/ -1 x)) into (- (+ (/ 1 (* x y)) (/ 1 x))) 10.637 * [backup-simplify]: Simplify (+ (* (/ 1 y) 1) (* (- (+ (/ 1 (* x y)) (/ 1 x))) 0)) into (/ 1 y) 10.638 * [backup-simplify]: Simplify (+ (* -1 (/ 1 y)) (* 0 0)) into (- (/ 1 y)) 10.638 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x 10.638 * [taylor]: Taking taylor expansion of (/ 1 y) in x 10.638 * [taylor]: Taking taylor expansion of y in x 10.638 * [backup-simplify]: Simplify y into y 10.638 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 10.638 * [taylor]: Taking taylor expansion of 0 in y 10.638 * [backup-simplify]: Simplify 0 into 0 10.638 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 10.638 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 10.639 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.639 * [backup-simplify]: Simplify (- 0) into 0 10.639 * [backup-simplify]: Simplify (+ 0 0) into 0 10.640 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 x) 0) (* 0 (/ -1 y)))) into 0 10.640 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 10.640 * [backup-simplify]: Simplify (+ 0 0) into 0 10.640 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (+ (* (- (+ (/ 1 (* x y)) (/ 1 x))) 1) (* 0 0))) into (- (+ (/ 1 x) (/ 1 (* x y)))) 10.641 * [backup-simplify]: Simplify (+ (* -1 (- (+ (/ 1 x) (/ 1 (* x y))))) (+ (* 0 (/ 1 y)) (* 0 0))) into (+ (/ 1 (* x y)) (/ 1 x)) 10.641 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x 10.641 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 10.641 * [taylor]: Taking taylor expansion of (* x y) in x 10.641 * [taylor]: Taking taylor expansion of x in x 10.641 * [backup-simplify]: Simplify 0 into 0 10.641 * [backup-simplify]: Simplify 1 into 1 10.641 * [taylor]: Taking taylor expansion of y in x 10.641 * [backup-simplify]: Simplify y into y 10.641 * [backup-simplify]: Simplify (* 0 y) into 0 10.641 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 10.641 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 10.641 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.641 * [taylor]: Taking taylor expansion of x in x 10.641 * [backup-simplify]: Simplify 0 into 0 10.641 * [backup-simplify]: Simplify 1 into 1 10.642 * [backup-simplify]: Simplify (/ 1 1) into 1 10.642 * [backup-simplify]: Simplify (+ (/ 1 y) 1) into (+ 1 (/ 1 y)) 10.642 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 y)) in y 10.642 * [taylor]: Taking taylor expansion of 1 in y 10.642 * [backup-simplify]: Simplify 1 into 1 10.642 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.642 * [taylor]: Taking taylor expansion of y in y 10.642 * [backup-simplify]: Simplify 0 into 0 10.642 * [backup-simplify]: Simplify 1 into 1 10.642 * [backup-simplify]: Simplify (/ 1 1) into 1 10.642 * [backup-simplify]: Simplify (+ 0 1) into 1 10.642 * [backup-simplify]: Simplify 1 into 1 10.643 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 10.643 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 10.643 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.643 * [taylor]: Taking taylor expansion of y in y 10.643 * [backup-simplify]: Simplify 0 into 0 10.643 * [backup-simplify]: Simplify 1 into 1 10.643 * [backup-simplify]: Simplify (/ 1 1) into 1 10.643 * [backup-simplify]: Simplify (- 1) into -1 10.643 * [backup-simplify]: Simplify -1 into -1 10.643 * [taylor]: Taking taylor expansion of 0 in y 10.643 * [backup-simplify]: Simplify 0 into 0 10.643 * [backup-simplify]: Simplify 0 into 0 10.643 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 10.644 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 10.644 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.644 * [backup-simplify]: Simplify (- 0) into 0 10.645 * [backup-simplify]: Simplify (+ 0 0) into 0 10.645 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 x) 0) (+ (* 0 0) (* 0 (/ -1 y))))) into 0 10.645 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 10.646 * [backup-simplify]: Simplify (+ 0 0) into 0 10.646 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (+ (* (- (+ (/ 1 (* x y)) (/ 1 x))) 0) (+ (* 0 1) (* 0 0)))) into 0 10.647 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (- (+ (/ 1 x) (/ 1 (* x y))))) (+ (* 0 (/ 1 y)) (* 0 0)))) into 0 10.647 * [taylor]: Taking taylor expansion of 0 in x 10.647 * [backup-simplify]: Simplify 0 into 0 10.648 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 10.648 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 10.648 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.648 * [backup-simplify]: Simplify (+ 0 0) into 0 10.648 * [taylor]: Taking taylor expansion of 0 in y 10.648 * [backup-simplify]: Simplify 0 into 0 10.649 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 10.649 * [backup-simplify]: Simplify (- 0) into 0 10.649 * [taylor]: Taking taylor expansion of 0 in y 10.649 * [backup-simplify]: Simplify 0 into 0 10.649 * [taylor]: Taking taylor expansion of 0 in y 10.649 * [backup-simplify]: Simplify 0 into 0 10.649 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.650 * [backup-simplify]: Simplify (+ 1 0) into 1 10.650 * [backup-simplify]: Simplify 1 into 1 10.650 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 (- x))) (/ 1 (- z))))) (+ (* -1 (* (/ 1 (/ 1 (- y))) (* 1 1))) (* 1 (* (/ 1 (/ 1 (- y))) (* (/ 1 (/ 1 (- x))) (/ 1 (- z))))))) into (- (+ y (/ x z)) (/ (* x y) z)) 10.650 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 10.651 * [backup-simplify]: Simplify (fma (- z x) y x) into (fma (- z x) y x) 10.651 * [approximate]: Taking taylor expansion of (fma (- z x) y x) in (z x y) around 0 10.651 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in y 10.651 * [taylor]: Rewrote expression to (+ (* (- z x) y) x) 10.651 * [taylor]: Taking taylor expansion of (* (- z x) y) in y 10.651 * [taylor]: Taking taylor expansion of (- z x) in y 10.651 * [taylor]: Taking taylor expansion of z in y 10.651 * [backup-simplify]: Simplify z into z 10.651 * [taylor]: Taking taylor expansion of x in y 10.651 * [backup-simplify]: Simplify x into x 10.651 * [taylor]: Taking taylor expansion of y in y 10.651 * [backup-simplify]: Simplify 0 into 0 10.651 * [backup-simplify]: Simplify 1 into 1 10.651 * [taylor]: Taking taylor expansion of x in y 10.651 * [backup-simplify]: Simplify x into x 10.651 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in x 10.651 * [taylor]: Rewrote expression to (+ (* (- z x) y) x) 10.651 * [taylor]: Taking taylor expansion of (* (- z x) y) in x 10.651 * [taylor]: Taking taylor expansion of (- z x) in x 10.651 * [taylor]: Taking taylor expansion of z in x 10.651 * [backup-simplify]: Simplify z into z 10.651 * [taylor]: Taking taylor expansion of x in x 10.651 * [backup-simplify]: Simplify 0 into 0 10.651 * [backup-simplify]: Simplify 1 into 1 10.651 * [taylor]: Taking taylor expansion of y in x 10.651 * [backup-simplify]: Simplify y into y 10.651 * [taylor]: Taking taylor expansion of x in x 10.651 * [backup-simplify]: Simplify 0 into 0 10.651 * [backup-simplify]: Simplify 1 into 1 10.651 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in z 10.651 * [taylor]: Rewrote expression to (+ (* (- z x) y) x) 10.651 * [taylor]: Taking taylor expansion of (* (- z x) y) in z 10.651 * [taylor]: Taking taylor expansion of (- z x) in z 10.651 * [taylor]: Taking taylor expansion of z in z 10.651 * [backup-simplify]: Simplify 0 into 0 10.651 * [backup-simplify]: Simplify 1 into 1 10.651 * [taylor]: Taking taylor expansion of x in z 10.651 * [backup-simplify]: Simplify x into x 10.651 * [taylor]: Taking taylor expansion of y in z 10.651 * [backup-simplify]: Simplify y into y 10.651 * [taylor]: Taking taylor expansion of x in z 10.651 * [backup-simplify]: Simplify x into x 10.651 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in z 10.652 * [taylor]: Rewrote expression to (+ (* (- z x) y) x) 10.652 * [taylor]: Taking taylor expansion of (* (- z x) y) in z 10.652 * [taylor]: Taking taylor expansion of (- z x) in z 10.652 * [taylor]: Taking taylor expansion of z in z 10.652 * [backup-simplify]: Simplify 0 into 0 10.652 * [backup-simplify]: Simplify 1 into 1 10.652 * [taylor]: Taking taylor expansion of x in z 10.652 * [backup-simplify]: Simplify x into x 10.652 * [taylor]: Taking taylor expansion of y in z 10.652 * [backup-simplify]: Simplify y into y 10.652 * [taylor]: Taking taylor expansion of x in z 10.652 * [backup-simplify]: Simplify x into x 10.652 * [backup-simplify]: Simplify (- x) into (- x) 10.652 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x) 10.652 * [backup-simplify]: Simplify (* (- x) y) into (* -1 (* x y)) 10.652 * [backup-simplify]: Simplify (+ (* -1 (* x y)) x) into (- x (* x y)) 10.652 * [taylor]: Taking taylor expansion of (- x (* x y)) in x 10.652 * [taylor]: Taking taylor expansion of x in x 10.652 * [backup-simplify]: Simplify 0 into 0 10.652 * [backup-simplify]: Simplify 1 into 1 10.652 * [taylor]: Taking taylor expansion of (* x y) in x 10.652 * [taylor]: Taking taylor expansion of x in x 10.652 * [backup-simplify]: Simplify 0 into 0 10.652 * [backup-simplify]: Simplify 1 into 1 10.652 * [taylor]: Taking taylor expansion of y in x 10.652 * [backup-simplify]: Simplify y into y 10.652 * [backup-simplify]: Simplify (* 0 y) into 0 10.653 * [backup-simplify]: Simplify (- 0) into 0 10.653 * [backup-simplify]: Simplify (+ 0 0) into 0 10.653 * [taylor]: Taking taylor expansion of 0 in y 10.653 * [backup-simplify]: Simplify 0 into 0 10.653 * [backup-simplify]: Simplify 0 into 0 10.653 * [backup-simplify]: Simplify (- 0) into 0 10.654 * [backup-simplify]: Simplify (+ 1 0) into 1 10.654 * [backup-simplify]: Simplify (+ (* (- x) 0) (* 1 y)) into y 10.654 * [backup-simplify]: Simplify (+ y 0) into y 10.654 * [taylor]: Taking taylor expansion of y in x 10.654 * [backup-simplify]: Simplify y into y 10.654 * [taylor]: Taking taylor expansion of y in y 10.654 * [backup-simplify]: Simplify 0 into 0 10.654 * [backup-simplify]: Simplify 1 into 1 10.654 * [backup-simplify]: Simplify 0 into 0 10.654 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 10.654 * [backup-simplify]: Simplify (- y) into (- y) 10.654 * [backup-simplify]: Simplify (+ 1 (- y)) into (- 1 y) 10.654 * [taylor]: Taking taylor expansion of (- 1 y) in y 10.654 * [taylor]: Taking taylor expansion of 1 in y 10.654 * [backup-simplify]: Simplify 1 into 1 10.654 * [taylor]: Taking taylor expansion of y in y 10.654 * [backup-simplify]: Simplify 0 into 0 10.654 * [backup-simplify]: Simplify 1 into 1 10.655 * [backup-simplify]: Simplify (- 0) into 0 10.655 * [backup-simplify]: Simplify (+ 1 0) into 1 10.655 * [backup-simplify]: Simplify 1 into 1 10.655 * [backup-simplify]: Simplify 0 into 0 10.655 * [backup-simplify]: Simplify (- 0) into 0 10.656 * [backup-simplify]: Simplify (+ 0 0) into 0 10.656 * [backup-simplify]: Simplify (+ (* (- x) 0) (+ (* 1 0) (* 0 y))) into 0 10.656 * [backup-simplify]: Simplify (+ 0 0) into 0 10.656 * [taylor]: Taking taylor expansion of 0 in x 10.656 * [backup-simplify]: Simplify 0 into 0 10.656 * [taylor]: Taking taylor expansion of 0 in y 10.656 * [backup-simplify]: Simplify 0 into 0 10.657 * [backup-simplify]: Simplify 0 into 0 10.657 * [taylor]: Taking taylor expansion of 0 in y 10.657 * [backup-simplify]: Simplify 0 into 0 10.657 * [backup-simplify]: Simplify 0 into 0 10.657 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 10.657 * [backup-simplify]: Simplify (- 0) into 0 10.658 * [backup-simplify]: Simplify (+ 0 0) into 0 10.658 * [taylor]: Taking taylor expansion of 0 in y 10.658 * [backup-simplify]: Simplify 0 into 0 10.658 * [backup-simplify]: Simplify 0 into 0 10.658 * [backup-simplify]: Simplify 1 into 1 10.658 * [backup-simplify]: Simplify (- 1) into -1 10.658 * [backup-simplify]: Simplify (+ 0 -1) into -1 10.658 * [backup-simplify]: Simplify -1 into -1 10.659 * [backup-simplify]: Simplify (+ (* -1 (* y (* x 1))) (+ (* 1 (* y (* 1 z))) (* 1 (* 1 (* x 1))))) into (- (+ x (* z y)) (* x y)) 10.659 * [backup-simplify]: Simplify (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) into (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) 10.659 * [approximate]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in (z x y) around 0 10.659 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in y 10.659 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x)) 10.659 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in y 10.659 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 10.659 * [taylor]: Taking taylor expansion of (/ 1 z) in y 10.659 * [taylor]: Taking taylor expansion of z in y 10.659 * [backup-simplify]: Simplify z into z 10.659 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.659 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.659 * [taylor]: Taking taylor expansion of x in y 10.659 * [backup-simplify]: Simplify x into x 10.660 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.660 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.660 * [taylor]: Taking taylor expansion of y in y 10.660 * [backup-simplify]: Simplify 0 into 0 10.660 * [backup-simplify]: Simplify 1 into 1 10.660 * [backup-simplify]: Simplify (/ 1 1) into 1 10.660 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.660 * [taylor]: Taking taylor expansion of x in y 10.660 * [backup-simplify]: Simplify x into x 10.660 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.660 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in x 10.660 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x)) 10.660 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in x 10.660 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 10.660 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.660 * [taylor]: Taking taylor expansion of z in x 10.660 * [backup-simplify]: Simplify z into z 10.660 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.660 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.660 * [taylor]: Taking taylor expansion of x in x 10.660 * [backup-simplify]: Simplify 0 into 0 10.660 * [backup-simplify]: Simplify 1 into 1 10.661 * [backup-simplify]: Simplify (/ 1 1) into 1 10.661 * [taylor]: Taking taylor expansion of (/ 1 y) in x 10.661 * [taylor]: Taking taylor expansion of y in x 10.661 * [backup-simplify]: Simplify y into y 10.661 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 10.661 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.661 * [taylor]: Taking taylor expansion of x in x 10.661 * [backup-simplify]: Simplify 0 into 0 10.661 * [backup-simplify]: Simplify 1 into 1 10.661 * [backup-simplify]: Simplify (/ 1 1) into 1 10.661 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in z 10.661 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x)) 10.661 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in z 10.661 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 10.661 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.661 * [taylor]: Taking taylor expansion of z in z 10.661 * [backup-simplify]: Simplify 0 into 0 10.661 * [backup-simplify]: Simplify 1 into 1 10.662 * [backup-simplify]: Simplify (/ 1 1) into 1 10.662 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.662 * [taylor]: Taking taylor expansion of x in z 10.662 * [backup-simplify]: Simplify x into x 10.662 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.662 * [taylor]: Taking taylor expansion of (/ 1 y) in z 10.662 * [taylor]: Taking taylor expansion of y in z 10.662 * [backup-simplify]: Simplify y into y 10.662 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 10.662 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.662 * [taylor]: Taking taylor expansion of x in z 10.662 * [backup-simplify]: Simplify x into x 10.662 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.662 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in z 10.662 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x)) 10.662 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in z 10.662 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 10.662 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.662 * [taylor]: Taking taylor expansion of z in z 10.662 * [backup-simplify]: Simplify 0 into 0 10.662 * [backup-simplify]: Simplify 1 into 1 10.663 * [backup-simplify]: Simplify (/ 1 1) into 1 10.663 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.663 * [taylor]: Taking taylor expansion of x in z 10.663 * [backup-simplify]: Simplify x into x 10.663 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.663 * [taylor]: Taking taylor expansion of (/ 1 y) in z 10.663 * [taylor]: Taking taylor expansion of y in z 10.663 * [backup-simplify]: Simplify y into y 10.663 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 10.663 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.663 * [taylor]: Taking taylor expansion of x in z 10.663 * [backup-simplify]: Simplify x into x 10.663 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.663 * [backup-simplify]: Simplify (+ 1 0) into 1 10.663 * [backup-simplify]: Simplify (* 1 (/ 1 y)) into (/ 1 y) 10.663 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 10.663 * [taylor]: Taking taylor expansion of (/ 1 y) in x 10.663 * [taylor]: Taking taylor expansion of y in x 10.663 * [backup-simplify]: Simplify y into y 10.663 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 10.664 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 10.664 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.664 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 10.664 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x)) 10.665 * [backup-simplify]: Simplify (+ (* 1 0) (* (- (/ 1 x)) (/ 1 y))) into (- (/ 1 (* x y))) 10.665 * [backup-simplify]: Simplify (+ (- (/ 1 (* x y))) (/ 1 x)) into (- (/ 1 x) (/ 1 (* x y))) 10.665 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* x y))) in x 10.665 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.665 * [taylor]: Taking taylor expansion of x in x 10.665 * [backup-simplify]: Simplify 0 into 0 10.665 * [backup-simplify]: Simplify 1 into 1 10.665 * [backup-simplify]: Simplify (/ 1 1) into 1 10.665 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 10.665 * [taylor]: Taking taylor expansion of (* x y) in x 10.665 * [taylor]: Taking taylor expansion of x in x 10.665 * [backup-simplify]: Simplify 0 into 0 10.665 * [backup-simplify]: Simplify 1 into 1 10.665 * [taylor]: Taking taylor expansion of y in x 10.665 * [backup-simplify]: Simplify y into y 10.665 * [backup-simplify]: Simplify (* 0 y) into 0 10.666 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 10.666 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 10.666 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 10.666 * [backup-simplify]: Simplify (+ 1 (- (/ 1 y))) into (- 1 (/ 1 y)) 10.666 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y 10.666 * [taylor]: Taking taylor expansion of 1 in y 10.666 * [backup-simplify]: Simplify 1 into 1 10.666 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.666 * [taylor]: Taking taylor expansion of y in y 10.666 * [backup-simplify]: Simplify 0 into 0 10.666 * [backup-simplify]: Simplify 1 into 1 10.666 * [backup-simplify]: Simplify (/ 1 1) into 1 10.666 * [backup-simplify]: Simplify (- 1) into -1 10.667 * [backup-simplify]: Simplify (+ 0 -1) into -1 10.667 * [backup-simplify]: Simplify -1 into -1 10.667 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.667 * [taylor]: Taking taylor expansion of y in y 10.667 * [backup-simplify]: Simplify 0 into 0 10.667 * [backup-simplify]: Simplify 1 into 1 10.667 * [backup-simplify]: Simplify (/ 1 1) into 1 10.667 * [backup-simplify]: Simplify 1 into 1 10.667 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 10.668 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.668 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 10.668 * [backup-simplify]: Simplify (- 0) into 0 10.669 * [backup-simplify]: Simplify (+ 0 0) into 0 10.669 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 x)) 0) (* 0 (/ 1 y)))) into 0 10.669 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 10.670 * [backup-simplify]: Simplify (+ 0 0) into 0 10.670 * [taylor]: Taking taylor expansion of 0 in x 10.670 * [backup-simplify]: Simplify 0 into 0 10.670 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.671 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 10.671 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 10.671 * [backup-simplify]: Simplify (- 0) into 0 10.672 * [backup-simplify]: Simplify (+ 0 0) into 0 10.672 * [taylor]: Taking taylor expansion of 0 in y 10.672 * [backup-simplify]: Simplify 0 into 0 10.672 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 10.672 * [taylor]: Taking taylor expansion of 0 in y 10.672 * [backup-simplify]: Simplify 0 into 0 10.673 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.673 * [backup-simplify]: Simplify (- 0) into 0 10.674 * [backup-simplify]: Simplify (+ 1 0) into 1 10.674 * [backup-simplify]: Simplify 1 into 1 10.675 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 x)) 1))) (+ (* 1 (* (/ 1 (/ 1 y)) (* 1 (/ 1 (/ 1 z))))) (* -1 (* (/ 1 (/ 1 y)) (* (/ 1 (/ 1 x)) 1))))) into (- (+ x (* z y)) (* x y)) 10.675 * [backup-simplify]: Simplify (fma (- (/ 1 (- z)) (/ 1 (- x))) (/ 1 (- y)) (/ 1 (- x))) into (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) 10.675 * [approximate]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in (z x y) around 0 10.675 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in y 10.675 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x)) 10.675 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in y 10.675 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 10.675 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.675 * [taylor]: Taking taylor expansion of x in y 10.675 * [backup-simplify]: Simplify x into x 10.676 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.676 * [taylor]: Taking taylor expansion of (/ 1 z) in y 10.676 * [taylor]: Taking taylor expansion of z in y 10.676 * [backup-simplify]: Simplify z into z 10.676 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.676 * [taylor]: Taking taylor expansion of (/ -1 y) in y 10.676 * [taylor]: Taking taylor expansion of -1 in y 10.676 * [backup-simplify]: Simplify -1 into -1 10.676 * [taylor]: Taking taylor expansion of y in y 10.676 * [backup-simplify]: Simplify 0 into 0 10.676 * [backup-simplify]: Simplify 1 into 1 10.677 * [backup-simplify]: Simplify (/ -1 1) into -1 10.677 * [taylor]: Taking taylor expansion of (/ -1 x) in y 10.677 * [taylor]: Taking taylor expansion of -1 in y 10.677 * [backup-simplify]: Simplify -1 into -1 10.677 * [taylor]: Taking taylor expansion of x in y 10.677 * [backup-simplify]: Simplify x into x 10.677 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 10.677 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in x 10.677 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x)) 10.677 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in x 10.677 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 10.677 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.677 * [taylor]: Taking taylor expansion of x in x 10.677 * [backup-simplify]: Simplify 0 into 0 10.677 * [backup-simplify]: Simplify 1 into 1 10.678 * [backup-simplify]: Simplify (/ 1 1) into 1 10.678 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.678 * [taylor]: Taking taylor expansion of z in x 10.678 * [backup-simplify]: Simplify z into z 10.678 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.678 * [taylor]: Taking taylor expansion of (/ -1 y) in x 10.678 * [taylor]: Taking taylor expansion of -1 in x 10.678 * [backup-simplify]: Simplify -1 into -1 10.678 * [taylor]: Taking taylor expansion of y in x 10.678 * [backup-simplify]: Simplify y into y 10.678 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 10.678 * [taylor]: Taking taylor expansion of (/ -1 x) in x 10.678 * [taylor]: Taking taylor expansion of -1 in x 10.678 * [backup-simplify]: Simplify -1 into -1 10.678 * [taylor]: Taking taylor expansion of x in x 10.678 * [backup-simplify]: Simplify 0 into 0 10.678 * [backup-simplify]: Simplify 1 into 1 10.679 * [backup-simplify]: Simplify (/ -1 1) into -1 10.679 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in z 10.679 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x)) 10.679 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in z 10.679 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 10.679 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.679 * [taylor]: Taking taylor expansion of x in z 10.679 * [backup-simplify]: Simplify x into x 10.679 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.680 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.680 * [taylor]: Taking taylor expansion of z in z 10.680 * [backup-simplify]: Simplify 0 into 0 10.680 * [backup-simplify]: Simplify 1 into 1 10.680 * [backup-simplify]: Simplify (/ 1 1) into 1 10.680 * [taylor]: Taking taylor expansion of (/ -1 y) in z 10.680 * [taylor]: Taking taylor expansion of -1 in z 10.680 * [backup-simplify]: Simplify -1 into -1 10.680 * [taylor]: Taking taylor expansion of y in z 10.680 * [backup-simplify]: Simplify y into y 10.680 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 10.680 * [taylor]: Taking taylor expansion of (/ -1 x) in z 10.680 * [taylor]: Taking taylor expansion of -1 in z 10.680 * [backup-simplify]: Simplify -1 into -1 10.680 * [taylor]: Taking taylor expansion of x in z 10.681 * [backup-simplify]: Simplify x into x 10.681 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 10.681 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in z 10.681 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x)) 10.681 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in z 10.681 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 10.681 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.681 * [taylor]: Taking taylor expansion of x in z 10.681 * [backup-simplify]: Simplify x into x 10.681 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.681 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.681 * [taylor]: Taking taylor expansion of z in z 10.681 * [backup-simplify]: Simplify 0 into 0 10.681 * [backup-simplify]: Simplify 1 into 1 10.682 * [backup-simplify]: Simplify (/ 1 1) into 1 10.682 * [taylor]: Taking taylor expansion of (/ -1 y) in z 10.682 * [taylor]: Taking taylor expansion of -1 in z 10.682 * [backup-simplify]: Simplify -1 into -1 10.682 * [taylor]: Taking taylor expansion of y in z 10.682 * [backup-simplify]: Simplify y into y 10.682 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 10.682 * [taylor]: Taking taylor expansion of (/ -1 x) in z 10.682 * [taylor]: Taking taylor expansion of -1 in z 10.682 * [backup-simplify]: Simplify -1 into -1 10.682 * [taylor]: Taking taylor expansion of x in z 10.682 * [backup-simplify]: Simplify x into x 10.682 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 10.683 * [backup-simplify]: Simplify (- 1) into -1 10.683 * [backup-simplify]: Simplify (+ 0 -1) into -1 10.683 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y) 10.684 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 10.684 * [taylor]: Taking taylor expansion of (/ 1 y) in x 10.684 * [taylor]: Taking taylor expansion of y in x 10.684 * [backup-simplify]: Simplify y into y 10.684 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 10.684 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 10.685 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.685 * [backup-simplify]: Simplify (- 0) into 0 10.686 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x) 10.686 * [backup-simplify]: Simplify (+ (* -1 0) (* (/ 1 x) (/ -1 y))) into (- (/ 1 (* x y))) 10.686 * [backup-simplify]: Simplify (+ (- (/ 1 (* x y))) (/ -1 x)) into (- (+ (/ 1 (* x y)) (/ 1 x))) 10.686 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x y)) (/ 1 x))) in x 10.686 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x 10.687 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 10.687 * [taylor]: Taking taylor expansion of (* x y) in x 10.687 * [taylor]: Taking taylor expansion of x in x 10.687 * [backup-simplify]: Simplify 0 into 0 10.687 * [backup-simplify]: Simplify 1 into 1 10.687 * [taylor]: Taking taylor expansion of y in x 10.687 * [backup-simplify]: Simplify y into y 10.687 * [backup-simplify]: Simplify (* 0 y) into 0 10.687 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 10.687 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 10.687 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.688 * [taylor]: Taking taylor expansion of x in x 10.688 * [backup-simplify]: Simplify 0 into 0 10.688 * [backup-simplify]: Simplify 1 into 1 10.688 * [backup-simplify]: Simplify (/ 1 1) into 1 10.688 * [backup-simplify]: Simplify (+ (/ 1 y) 1) into (+ 1 (/ 1 y)) 10.688 * [backup-simplify]: Simplify (- (+ 1 (/ 1 y))) into (- (+ 1 (/ 1 y))) 10.688 * [taylor]: Taking taylor expansion of (- (+ 1 (/ 1 y))) in y 10.688 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 y)) in y 10.688 * [taylor]: Taking taylor expansion of 1 in y 10.688 * [backup-simplify]: Simplify 1 into 1 10.688 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.689 * [taylor]: Taking taylor expansion of y in y 10.689 * [backup-simplify]: Simplify 0 into 0 10.689 * [backup-simplify]: Simplify 1 into 1 10.689 * [backup-simplify]: Simplify (/ 1 1) into 1 10.690 * [backup-simplify]: Simplify (+ 0 1) into 1 10.690 * [backup-simplify]: Simplify (- 1) into -1 10.690 * [backup-simplify]: Simplify -1 into -1 10.690 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.690 * [taylor]: Taking taylor expansion of y in y 10.690 * [backup-simplify]: Simplify 0 into 0 10.690 * [backup-simplify]: Simplify 1 into 1 10.691 * [backup-simplify]: Simplify (/ 1 1) into 1 10.691 * [backup-simplify]: Simplify 1 into 1 10.691 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 10.691 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 10.692 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.693 * [backup-simplify]: Simplify (- 0) into 0 10.693 * [backup-simplify]: Simplify (+ 0 0) into 0 10.694 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 x) 0) (* 0 (/ -1 y)))) into 0 10.694 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 10.694 * [backup-simplify]: Simplify (+ 0 0) into 0 10.694 * [taylor]: Taking taylor expansion of 0 in x 10.694 * [backup-simplify]: Simplify 0 into 0 10.695 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 10.695 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 10.696 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.697 * [backup-simplify]: Simplify (+ 0 0) into 0 10.697 * [backup-simplify]: Simplify (- 0) into 0 10.697 * [taylor]: Taking taylor expansion of 0 in y 10.697 * [backup-simplify]: Simplify 0 into 0 10.697 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 10.697 * [taylor]: Taking taylor expansion of 0 in y 10.697 * [backup-simplify]: Simplify 0 into 0 10.698 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.699 * [backup-simplify]: Simplify (+ 1 0) into 1 10.699 * [backup-simplify]: Simplify (- 1) into -1 10.699 * [backup-simplify]: Simplify -1 into -1 10.700 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* (/ 1 (/ 1 (- x))) 1))) (+ (* 1 (* (/ 1 (/ 1 (- y))) (* 1 (/ 1 (/ 1 (- z)))))) (* -1 (* (/ 1 (/ 1 (- y))) (* (/ 1 (/ 1 (- x))) 1))))) into (- (+ x (* z y)) (* x y)) 10.700 * * * [progress]: simplifying candidates 10.700 * * * * [progress]: [ 1 / 56 ] simplifiying candidate # 10.700 * * * * [progress]: [ 2 / 56 ] simplifiying candidate # 10.700 * * * * [progress]: [ 3 / 56 ] simplifiying candidate # 10.700 * * * * [progress]: [ 4 / 56 ] simplifiying candidate # 10.700 * * * * [progress]: [ 5 / 56 ] simplifiying candidate # 10.700 * * * * [progress]: [ 6 / 56 ] simplifiying candidate # 10.700 * * * * [progress]: [ 7 / 56 ] simplifiying candidate # 10.700 * * * * [progress]: [ 8 / 56 ] simplifiying candidate # 10.700 * * * * [progress]: [ 9 / 56 ] simplifiying candidate # 10.700 * * * * [progress]: [ 10 / 56 ] simplifiying candidate # 10.701 * * * * [progress]: [ 11 / 56 ] simplifiying candidate # 10.701 * * * * [progress]: [ 12 / 56 ] simplifiying candidate # 10.701 * * * * [progress]: [ 13 / 56 ] simplifiying candidate # 10.701 * * * * [progress]: [ 14 / 56 ] simplifiying candidate # 10.701 * * * * [progress]: [ 15 / 56 ] simplifiying candidate # 10.701 * * * * [progress]: [ 16 / 56 ] simplifiying candidate # 10.701 * * * * [progress]: [ 17 / 56 ] simplifiying candidate # 10.701 * * * * [progress]: [ 18 / 56 ] simplifiying candidate # 10.701 * * * * [progress]: [ 19 / 56 ] simplifiying candidate # 10.701 * * * * [progress]: [ 20 / 56 ] simplifiying candidate # 10.701 * * * * [progress]: [ 21 / 56 ] simplifiying candidate # 10.701 * * * * [progress]: [ 22 / 56 ] simplifiying candidate # 10.701 * * * * [progress]: [ 23 / 56 ] simplifiying candidate # 10.701 * * * * [progress]: [ 24 / 56 ] simplifiying candidate # 10.701 * * * * [progress]: [ 25 / 56 ] simplifiying candidate # 10.701 * * * * [progress]: [ 26 / 56 ] simplifiying candidate # 10.701 * * * * [progress]: [ 27 / 56 ] simplifiying candidate # 10.702 * * * * [progress]: [ 28 / 56 ] simplifiying candidate # 10.702 * * * * [progress]: [ 29 / 56 ] simplifiying candidate # 10.702 * * * * [progress]: [ 30 / 56 ] simplifiying candidate # 10.702 * * * * [progress]: [ 31 / 56 ] simplifiying candidate # 10.702 * * * * [progress]: [ 32 / 56 ] simplifiying candidate # 10.702 * * * * [progress]: [ 33 / 56 ] simplifiying candidate # 10.702 * * * * [progress]: [ 34 / 56 ] simplifiying candidate # 10.702 * * * * [progress]: [ 35 / 56 ] simplifiying candidate # 10.702 * * * * [progress]: [ 36 / 56 ] simplifiying candidate # 10.702 * * * * [progress]: [ 37 / 56 ] simplifiying candidate # 10.702 * * * * [progress]: [ 38 / 56 ] simplifiying candidate #real (real->posit16 (* (fma (- z x) y x) (/ 1 z)))))> 10.702 * * * * [progress]: [ 39 / 56 ] simplifiying candidate # 10.702 * * * * [progress]: [ 40 / 56 ] simplifiying candidate # 10.702 * * * * [progress]: [ 41 / 56 ] simplifiying candidate # 10.702 * * * * [progress]: [ 42 / 56 ] simplifiying candidate # 10.702 * * * * [progress]: [ 43 / 56 ] simplifiying candidate # 10.702 * * * * [progress]: [ 44 / 56 ] simplifiying candidate # 10.702 * * * * [progress]: [ 45 / 56 ] simplifiying candidate # 10.703 * * * * [progress]: [ 46 / 56 ] simplifiying candidate # 10.703 * * * * [progress]: [ 47 / 56 ] simplifiying candidate # 10.703 * * * * [progress]: [ 48 / 56 ] simplifiying candidate # 10.703 * * * * [progress]: [ 49 / 56 ] simplifiying candidate # 10.703 * * * * [progress]: [ 50 / 56 ] simplifiying candidate #real (real->posit16 (fma (- z x) y x))) (/ 1 z)))> 10.703 * * * * [progress]: [ 51 / 56 ] simplifiying candidate # 10.703 * * * * [progress]: [ 52 / 56 ] simplifiying candidate # 10.703 * * * * [progress]: [ 53 / 56 ] simplifiying candidate # 10.703 * * * * [progress]: [ 54 / 56 ] simplifiying candidate # 10.703 * * * * [progress]: [ 55 / 56 ] simplifiying candidate # 10.703 * * * * [progress]: [ 56 / 56 ] simplifiying candidate # 10.704 * [simplify]: Simplifying: (expm1 (* (fma (- z x) y x) (/ 1 z))) (log1p (* (fma (- z x) y x) (/ 1 z))) (* (fma (- z x) y x) (/ 1 z)) (+ (log (fma (- z x) y x)) (- (log z))) (+ (log (fma (- z x) y x)) (- 0 (log z))) (+ (log (fma (- z x) y x)) (- (log 1) (log z))) (+ (log (fma (- z x) y x)) (log (/ 1 z))) (log (* (fma (- z x) y x) (/ 1 z))) (exp (* (fma (- z x) y x) (/ 1 z))) (* (* (* (fma (- z x) y x) (fma (- z x) y x)) (fma (- z x) y x)) (/ (* (* 1 1) 1) (* (* z z) z))) (* (* (* (fma (- z x) y x) (fma (- z x) y x)) (fma (- z x) y x)) (* (* (/ 1 z) (/ 1 z)) (/ 1 z))) (* (cbrt (* (fma (- z x) y x) (/ 1 z))) (cbrt (* (fma (- z x) y x) (/ 1 z)))) (cbrt (* (fma (- z x) y x) (/ 1 z))) (* (* (* (fma (- z x) y x) (/ 1 z)) (* (fma (- z x) y x) (/ 1 z))) (* (fma (- z x) y x) (/ 1 z))) (sqrt (* (fma (- z x) y x) (/ 1 z))) (sqrt (* (fma (- z x) y x) (/ 1 z))) (* (sqrt (fma (- z x) y x)) (sqrt (/ 1 z))) (* (sqrt (fma (- z x) y x)) (sqrt (/ 1 z))) (* (sqrt (fma (- z x) y x)) (/ (sqrt 1) (sqrt z))) (* (sqrt (fma (- z x) y x)) (/ (sqrt 1) (sqrt z))) (* (sqrt (fma (- z x) y x)) (/ 1 (sqrt z))) (* (sqrt (fma (- z x) y x)) (/ 1 (sqrt z))) (* (fma (- z x) y x) (* (cbrt (/ 1 z)) (cbrt (/ 1 z)))) (* (fma (- z x) y x) (sqrt (/ 1 z))) (* (fma (- z x) y x) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt z) (cbrt z)))) (* (fma (- z x) y x) (/ (* (cbrt 1) (cbrt 1)) (sqrt z))) (* (fma (- z x) y x) (/ (* (cbrt 1) (cbrt 1)) 1)) (* (fma (- z x) y x) (/ (sqrt 1) (* (cbrt z) (cbrt z)))) (* (fma (- z x) y x) (/ (sqrt 1) (sqrt z))) (* (fma (- z x) y x) (/ (sqrt 1) 1)) (* (fma (- z x) y x) (/ 1 (* (cbrt z) (cbrt z)))) (* (fma (- z x) y x) (/ 1 (sqrt z))) (* (fma (- z x) y x) (/ 1 1)) (* (fma (- z x) y x) 1) (* (fma (- z x) y x) 1) (* (cbrt (fma (- z x) y x)) (/ 1 z)) (* (sqrt (fma (- z x) y x)) (/ 1 z)) (* (fma (- z x) y x) (/ 1 z)) (* (fma (- z x) y x) 1) (real->posit16 (* (fma (- z x) y x) (/ 1 z))) (expm1 (fma (- z x) y x)) (log1p (fma (- z x) y x)) (* (- z x) y) (log (fma (- z x) y x)) (exp (fma (- z x) y x)) (* (cbrt (fma (- z x) y x)) (cbrt (fma (- z x) y x))) (cbrt (fma (- z x) y x)) (* (* (fma (- z x) y x) (fma (- z x) y x)) (fma (- z x) y x)) (sqrt (fma (- z x) y x)) (sqrt (fma (- z x) y x)) (real->posit16 (fma (- z x) y x)) (- (+ y (/ x z)) (/ (* x y) z)) (- (+ y (/ x z)) (/ (* x y) z)) (- (+ y (/ x z)) (/ (* x y) z)) (- (+ x (* z y)) (* x y)) (- (+ x (* z y)) (* x y)) (- (+ x (* z y)) (* x y)) 10.705 * * [simplify]: iteration 0: 92 enodes 10.753 * * [simplify]: iteration 1: 207 enodes 10.805 * * [simplify]: iteration 2: 488 enodes 11.149 * * [simplify]: iteration 3: 1897 enodes 12.017 * * [simplify]: iteration complete: 5008 enodes 12.018 * * [simplify]: Extracting #0: cost 30 inf + 0 12.019 * * [simplify]: Extracting #1: cost 495 inf + 0 12.022 * * [simplify]: Extracting #2: cost 1132 inf + 774 12.036 * * [simplify]: Extracting #3: cost 1441 inf + 65403 12.094 * * [simplify]: Extracting #4: cost 376 inf + 340040 12.197 * * [simplify]: Extracting #5: cost 8 inf + 449918 12.306 * * [simplify]: Extracting #6: cost 0 inf + 452589 12.408 * [simplify]: Simplified to: (expm1 (/ (fma y (- z x) x) z)) (log1p (/ (fma y (- z x) x) z)) (/ (fma y (- z x) x) z) (log (/ (fma y (- z x) x) z)) (log (/ (fma y (- z x) x) z)) (log (/ (fma y (- z x) x) z)) (log (/ (fma y (- z x) x) z)) (log (/ (fma y (- z x) x) z)) (exp (/ (fma y (- z x) x) z)) (* (* (/ (fma y (- z x) x) z) (/ (fma y (- z x) x) z)) (/ (fma y (- z x) x) z)) (* (* (/ (fma y (- z x) x) z) (/ (fma y (- z x) x) z)) (/ (fma y (- z x) x) z)) (* (cbrt (/ (fma y (- z x) x) z)) (cbrt (/ (fma y (- z x) x) z))) (cbrt (/ (fma y (- z x) x) z)) (* (* (/ (fma y (- z x) x) z) (/ (fma y (- z x) x) z)) (/ (fma y (- z x) x) z)) (sqrt (/ (fma y (- z x) x) z)) (sqrt (/ (fma y (- z x) x) z)) (* (sqrt (fma y (- z x) x)) (sqrt (/ 1 z))) (* (sqrt (fma y (- z x) x)) (sqrt (/ 1 z))) (/ (sqrt (fma y (- z x) x)) (sqrt z)) (/ (sqrt (fma y (- z x) x)) (sqrt z)) (/ (sqrt (fma y (- z x) x)) (sqrt z)) (/ (sqrt (fma y (- z x) x)) (sqrt z)) (* (* (cbrt (/ 1 z)) (fma y (- z x) x)) (cbrt (/ 1 z))) (* (fma y (- z x) x) (sqrt (/ 1 z))) (/ (fma y (- z x) x) (* (cbrt z) (cbrt z))) (/ (fma y (- z x) x) (sqrt z)) (fma y (- z x) x) (/ (fma y (- z x) x) (* (cbrt z) (cbrt z))) (/ (fma y (- z x) x) (sqrt z)) (fma y (- z x) x) (/ (fma y (- z x) x) (* (cbrt z) (cbrt z))) (/ (fma y (- z x) x) (sqrt z)) (fma y (- z x) x) (fma y (- z x) x) (fma y (- z x) x) (/ (cbrt (fma y (- z x) x)) z) (/ (sqrt (fma y (- z x) x)) z) (/ (fma y (- z x) x) z) (fma y (- z x) x) (real->posit16 (/ (fma y (- z x) x) z)) (expm1 (fma y (- z x) x)) (log1p (fma y (- z x) x)) (* (- z x) y) (log (fma y (- z x) x)) (exp (fma y (- z x) x)) (* (cbrt (fma y (- z x) x)) (cbrt (fma y (- z x) x))) (cbrt (fma y (- z x) x)) (* (fma y (- z x) x) (* (fma y (- z x) x) (fma y (- z x) x))) (sqrt (fma y (- z x) x)) (sqrt (fma y (- z x) x)) (real->posit16 (fma y (- z x) x)) (fma (/ x z) (- y) (+ (/ x z) y)) (fma (/ x z) (- y) (+ (/ x z) y)) (fma (/ x z) (- y) (+ (/ x z) y)) (fma y (- z x) x) (fma y (- z x) x) (fma y (- z x) x) 12.410 * * * [progress]: adding candidates to table 12.628 * [progress]: [Phase 3 of 3] Extracting. 12.628 * * [regime]: Finding splitpoints for: (# # #) 12.628 * * * [regime-changes]: Trying 3 branch expressions: (z y x) 12.628 * * * * [regimes]: Trying to branch on z from (# # #) 12.661 * * * * [regimes]: Trying to branch on y from (# # #) 12.696 * * * * [regimes]: Trying to branch on x from (# # #) 12.733 * * * [regime]: Found split indices: #