60.674 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.033 * * * [progress]: [2/2] Setting up program. 0.036 * [progress]: [Phase 2 of 3] Improving. 0.036 * [simplify]: Simplifying: (+ x (/ (* y y) z)) 0.036 * * [simplify]: Extracting # 0 : cost 0 0.036 * * [simplify]: Extracting # 1 : cost 0 0.036 * * [simplify]: Extracting # 2 : cost 0 0.037 * * [simplify]: Extracting # 3 : cost 0 0.037 * * [simplify]: Extracting # 4 : cost 0 0.037 * * [simplify]: Extracting # 5 : cost 0 0.037 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.038 * * [simplify]: Extracting # 0 : cost 0 0.038 * * [simplify]: Extracting # 1 : cost 0 0.038 * * [simplify]: Extracting # 2 : cost 0 0.038 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 0.041 * * [simplify]: Extracting # 0 : cost 0 0.041 * * [simplify]: Extracting # 1 : cost 0 0.041 * * [simplify]: Extracting # 2 : cost 0 0.041 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 0.044 * * [simplify]: Extracting # 0 : cost 0 0.044 * * [simplify]: Extracting # 1 : cost 0 0.044 * * [simplify]: iteration 3 : 13 enodes (cost 6 ) 0.047 * * [simplify]: Extracting # 0 : cost 0 0.047 * * [simplify]: iteration 4 : 14 enodes (cost 6 ) 0.050 * * [simplify]: Extracting # 0 : cost 0 0.050 * * [simplify]: iteration done: 14 enodes (cost 6 ) 0.050 * [simplify]: Simplified to: (fma (/ y z) y x) 0.054 * * [progress]: iteration 1 / 4 0.054 * * * [progress]: picking best candidate 0.056 * * * * [pick]: Picked # 0.056 * * * [progress]: localizing error 0.062 * * * [progress]: generating rewritten candidates 0.062 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.063 * * * [progress]: generating series expansions 0.063 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.063 * [backup-simplify]: Simplify (fma (/ y z) y x) into (fma (/ y z) y x) 0.063 * [approximate]: Taking taylor expansion of (fma (/ y z) y x) in (y z x) around 0 0.063 * [taylor]: Taking taylor expansion of (fma (/ y z) y x) in x 0.063 * [taylor]: Rewrote expression to (+ (* (/ y z) y) x) 0.063 * [taylor]: Taking taylor expansion of (* (/ y z) y) in x 0.063 * [taylor]: Taking taylor expansion of (/ y z) in x 0.063 * [taylor]: Taking taylor expansion of y in x 0.063 * [backup-simplify]: Simplify y into y 0.063 * [taylor]: Taking taylor expansion of z in x 0.063 * [backup-simplify]: Simplify z into z 0.063 * [backup-simplify]: Simplify (/ y z) into (/ y z) 0.063 * [taylor]: Taking taylor expansion of y in x 0.063 * [backup-simplify]: Simplify y into y 0.063 * [taylor]: Taking taylor expansion of x in x 0.063 * [backup-simplify]: Simplify 0 into 0 0.063 * [backup-simplify]: Simplify 1 into 1 0.063 * [taylor]: Taking taylor expansion of (fma (/ y z) y x) in z 0.063 * [taylor]: Rewrote expression to (+ (* (/ y z) y) x) 0.063 * [taylor]: Taking taylor expansion of (* (/ y z) y) in z 0.063 * [taylor]: Taking taylor expansion of (/ y z) in z 0.064 * [taylor]: Taking taylor expansion of y in z 0.064 * [backup-simplify]: Simplify y into y 0.064 * [taylor]: Taking taylor expansion of z in z 0.064 * [backup-simplify]: Simplify 0 into 0 0.064 * [backup-simplify]: Simplify 1 into 1 0.064 * [backup-simplify]: Simplify (/ y 1) into y 0.064 * [taylor]: Taking taylor expansion of y in z 0.064 * [backup-simplify]: Simplify y into y 0.064 * [taylor]: Taking taylor expansion of x in z 0.064 * [backup-simplify]: Simplify x into x 0.064 * [taylor]: Taking taylor expansion of (fma (/ y z) y x) in y 0.064 * [taylor]: Rewrote expression to (+ (* (/ y z) y) x) 0.064 * [taylor]: Taking taylor expansion of (* (/ y z) y) in y 0.064 * [taylor]: Taking taylor expansion of (/ y z) in y 0.064 * [taylor]: Taking taylor expansion of y in y 0.064 * [backup-simplify]: Simplify 0 into 0 0.064 * [backup-simplify]: Simplify 1 into 1 0.064 * [taylor]: Taking taylor expansion of z in y 0.064 * [backup-simplify]: Simplify z into z 0.064 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.064 * [taylor]: Taking taylor expansion of y in y 0.064 * [backup-simplify]: Simplify 0 into 0 0.064 * [backup-simplify]: Simplify 1 into 1 0.064 * [taylor]: Taking taylor expansion of x in y 0.064 * [backup-simplify]: Simplify x into x 0.064 * [taylor]: Taking taylor expansion of (fma (/ y z) y x) in y 0.064 * [taylor]: Rewrote expression to (+ (* (/ y z) y) x) 0.064 * [taylor]: Taking taylor expansion of (* (/ y z) y) in y 0.064 * [taylor]: Taking taylor expansion of (/ y z) in y 0.064 * [taylor]: Taking taylor expansion of y in y 0.064 * [backup-simplify]: Simplify 0 into 0 0.064 * [backup-simplify]: Simplify 1 into 1 0.064 * [taylor]: Taking taylor expansion of z in y 0.064 * [backup-simplify]: Simplify z into z 0.064 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 0.064 * [taylor]: Taking taylor expansion of y in y 0.064 * [backup-simplify]: Simplify 0 into 0 0.064 * [backup-simplify]: Simplify 1 into 1 0.064 * [taylor]: Taking taylor expansion of x in y 0.064 * [backup-simplify]: Simplify x into x 0.064 * [backup-simplify]: Simplify (+ 0 x) into x 0.065 * [taylor]: Taking taylor expansion of x in z 0.065 * [backup-simplify]: Simplify x into x 0.065 * [backup-simplify]: Simplify (* (/ 1 z) 0) into 0 0.065 * [backup-simplify]: Simplify (+ 0 0) into 0 0.065 * [taylor]: Taking taylor expansion of 0 in z 0.065 * [backup-simplify]: Simplify 0 into 0 0.065 * [taylor]: Taking taylor expansion of x in x 0.065 * [backup-simplify]: Simplify 0 into 0 0.065 * [backup-simplify]: Simplify 1 into 1 0.065 * [backup-simplify]: Simplify 0 into 0 0.065 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0 0.066 * [backup-simplify]: Simplify (+ (* (/ 1 z) 1) (* 0 0)) into (/ 1 z) 0.066 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 0.066 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.066 * [taylor]: Taking taylor expansion of z in z 0.066 * [backup-simplify]: Simplify 0 into 0 0.066 * [backup-simplify]: Simplify 1 into 1 0.066 * [backup-simplify]: Simplify (/ 1 1) into 1 0.066 * [taylor]: Taking taylor expansion of 1 in x 0.066 * [backup-simplify]: Simplify 1 into 1 0.066 * [backup-simplify]: Simplify 1 into 1 0.066 * [taylor]: Taking taylor expansion of 0 in x 0.066 * [backup-simplify]: Simplify 0 into 0 0.066 * [backup-simplify]: Simplify 0 into 0 0.066 * [taylor]: Taking taylor expansion of 0 in x 0.066 * [backup-simplify]: Simplify 0 into 0 0.066 * [backup-simplify]: Simplify 0 into 0 0.066 * [backup-simplify]: Simplify 1 into 1 0.066 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 0.067 * [backup-simplify]: Simplify (+ (* (/ 1 z) 0) (+ (* 0 1) (* 0 0))) into 0 0.067 * [backup-simplify]: Simplify (+ 0 0) into 0 0.067 * [taylor]: Taking taylor expansion of 0 in z 0.067 * [backup-simplify]: Simplify 0 into 0 0.067 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.067 * [taylor]: Taking taylor expansion of 0 in x 0.067 * [backup-simplify]: Simplify 0 into 0 0.068 * [backup-simplify]: Simplify 0 into 0 0.068 * [taylor]: Taking taylor expansion of 0 in x 0.068 * [backup-simplify]: Simplify 0 into 0 0.068 * [backup-simplify]: Simplify 0 into 0 0.068 * [taylor]: Taking taylor expansion of 0 in x 0.068 * [backup-simplify]: Simplify 0 into 0 0.068 * [backup-simplify]: Simplify 0 into 0 0.068 * [backup-simplify]: Simplify 0 into 0 0.068 * [backup-simplify]: Simplify 0 into 0 0.068 * [backup-simplify]: Simplify 0 into 0 0.068 * [backup-simplify]: Simplify (+ (* 1 (* x (* 1 1))) (* 1 (* 1 (* (/ 1 z) (pow y 2))))) into (+ x (/ (pow y 2) z)) 0.068 * [backup-simplify]: Simplify (fma (/ (/ 1 y) (/ 1 z)) (/ 1 y) (/ 1 x)) into (fma (/ z y) (/ 1 y) (/ 1 x)) 0.068 * [approximate]: Taking taylor expansion of (fma (/ z y) (/ 1 y) (/ 1 x)) in (y z x) around 0 0.068 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ 1 y) (/ 1 x)) in x 0.068 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ 1 y)) (/ 1 x)) 0.068 * [taylor]: Taking taylor expansion of (* (/ z y) (/ 1 y)) in x 0.068 * [taylor]: Taking taylor expansion of (/ z y) in x 0.069 * [taylor]: Taking taylor expansion of z in x 0.069 * [backup-simplify]: Simplify z into z 0.069 * [taylor]: Taking taylor expansion of y in x 0.069 * [backup-simplify]: Simplify y into y 0.069 * [backup-simplify]: Simplify (/ z y) into (/ z y) 0.069 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.069 * [taylor]: Taking taylor expansion of y in x 0.069 * [backup-simplify]: Simplify y into y 0.069 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.069 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.069 * [taylor]: Taking taylor expansion of x in x 0.069 * [backup-simplify]: Simplify 0 into 0 0.069 * [backup-simplify]: Simplify 1 into 1 0.069 * [backup-simplify]: Simplify (/ 1 1) into 1 0.069 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ 1 y) (/ 1 x)) in z 0.069 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ 1 y)) (/ 1 x)) 0.069 * [taylor]: Taking taylor expansion of (* (/ z y) (/ 1 y)) in z 0.069 * [taylor]: Taking taylor expansion of (/ z y) in z 0.069 * [taylor]: Taking taylor expansion of z in z 0.069 * [backup-simplify]: Simplify 0 into 0 0.069 * [backup-simplify]: Simplify 1 into 1 0.069 * [taylor]: Taking taylor expansion of y in z 0.069 * [backup-simplify]: Simplify y into y 0.069 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.069 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.069 * [taylor]: Taking taylor expansion of y in z 0.069 * [backup-simplify]: Simplify y into y 0.069 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.069 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.069 * [taylor]: Taking taylor expansion of x in z 0.069 * [backup-simplify]: Simplify x into x 0.069 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.069 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ 1 y) (/ 1 x)) in y 0.070 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ 1 y)) (/ 1 x)) 0.070 * [taylor]: Taking taylor expansion of (* (/ z y) (/ 1 y)) in y 0.070 * [taylor]: Taking taylor expansion of (/ z y) in y 0.070 * [taylor]: Taking taylor expansion of z in y 0.070 * [backup-simplify]: Simplify z into z 0.070 * [taylor]: Taking taylor expansion of y in y 0.070 * [backup-simplify]: Simplify 0 into 0 0.070 * [backup-simplify]: Simplify 1 into 1 0.070 * [backup-simplify]: Simplify (/ z 1) into z 0.070 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.070 * [taylor]: Taking taylor expansion of y in y 0.070 * [backup-simplify]: Simplify 0 into 0 0.070 * [backup-simplify]: Simplify 1 into 1 0.070 * [backup-simplify]: Simplify (/ 1 1) into 1 0.070 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.070 * [taylor]: Taking taylor expansion of x in y 0.070 * [backup-simplify]: Simplify x into x 0.070 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.070 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ 1 y) (/ 1 x)) in y 0.070 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ 1 y)) (/ 1 x)) 0.070 * [taylor]: Taking taylor expansion of (* (/ z y) (/ 1 y)) in y 0.070 * [taylor]: Taking taylor expansion of (/ z y) in y 0.070 * [taylor]: Taking taylor expansion of z in y 0.070 * [backup-simplify]: Simplify z into z 0.070 * [taylor]: Taking taylor expansion of y in y 0.070 * [backup-simplify]: Simplify 0 into 0 0.070 * [backup-simplify]: Simplify 1 into 1 0.070 * [backup-simplify]: Simplify (/ z 1) into z 0.070 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.070 * [taylor]: Taking taylor expansion of y in y 0.070 * [backup-simplify]: Simplify 0 into 0 0.070 * [backup-simplify]: Simplify 1 into 1 0.071 * [backup-simplify]: Simplify (/ 1 1) into 1 0.071 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.071 * [taylor]: Taking taylor expansion of x in y 0.071 * [backup-simplify]: Simplify x into x 0.071 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.071 * [backup-simplify]: Simplify (* z 1) into z 0.071 * [backup-simplify]: Simplify (+ z 0) into z 0.071 * [taylor]: Taking taylor expansion of z in z 0.071 * [backup-simplify]: Simplify 0 into 0 0.071 * [backup-simplify]: Simplify 1 into 1 0.071 * [taylor]: Taking taylor expansion of 0 in x 0.071 * [backup-simplify]: Simplify 0 into 0 0.071 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.072 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 0.072 * [backup-simplify]: Simplify (+ (* z 0) (* 0 1)) into 0 0.072 * [backup-simplify]: Simplify (+ 0 0) into 0 0.072 * [taylor]: Taking taylor expansion of 0 in z 0.072 * [backup-simplify]: Simplify 0 into 0 0.072 * [taylor]: Taking taylor expansion of 0 in x 0.072 * [backup-simplify]: Simplify 0 into 0 0.072 * [taylor]: Taking taylor expansion of 1 in x 0.072 * [backup-simplify]: Simplify 1 into 1 0.072 * [backup-simplify]: Simplify 0 into 0 0.073 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.074 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.074 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 1))) into 0 0.074 * [backup-simplify]: Simplify (+ 0 (/ 1 x)) into (/ 1 x) 0.074 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.074 * [taylor]: Taking taylor expansion of x in z 0.074 * [backup-simplify]: Simplify x into x 0.074 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.074 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.074 * [taylor]: Taking taylor expansion of x in x 0.074 * [backup-simplify]: Simplify 0 into 0 0.074 * [backup-simplify]: Simplify 1 into 1 0.075 * [backup-simplify]: Simplify (/ 1 1) into 1 0.075 * [backup-simplify]: Simplify 1 into 1 0.075 * [taylor]: Taking taylor expansion of 0 in x 0.075 * [backup-simplify]: Simplify 0 into 0 0.075 * [taylor]: Taking taylor expansion of 0 in x 0.075 * [backup-simplify]: Simplify 0 into 0 0.075 * [backup-simplify]: Simplify 0 into 0 0.075 * [backup-simplify]: Simplify 1 into 1 0.075 * [backup-simplify]: Simplify 0 into 0 0.075 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.076 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.077 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.077 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 0.077 * [backup-simplify]: Simplify (+ 0 0) into 0 0.077 * [taylor]: Taking taylor expansion of 0 in z 0.077 * [backup-simplify]: Simplify 0 into 0 0.077 * [taylor]: Taking taylor expansion of 0 in x 0.077 * [backup-simplify]: Simplify 0 into 0 0.077 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 0.077 * [taylor]: Taking taylor expansion of 0 in x 0.077 * [backup-simplify]: Simplify 0 into 0 0.077 * [taylor]: Taking taylor expansion of 0 in x 0.077 * [backup-simplify]: Simplify 0 into 0 0.077 * [taylor]: Taking taylor expansion of 0 in x 0.077 * [backup-simplify]: Simplify 0 into 0 0.078 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.078 * [backup-simplify]: Simplify 0 into 0 0.078 * [backup-simplify]: Simplify 0 into 0 0.078 * [backup-simplify]: Simplify 0 into 0 0.078 * [backup-simplify]: Simplify 0 into 0 0.078 * [backup-simplify]: Simplify 0 into 0 0.078 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 z) (pow (/ 1 y) -2)))) (* 1 (* (/ 1 (/ 1 x)) (* 1 1)))) into (+ x (/ (pow y 2) z)) 0.079 * [backup-simplify]: Simplify (fma (/ (/ 1 (- y)) (/ 1 (- z))) (/ 1 (- y)) (/ 1 (- x))) into (fma (/ z y) (/ -1 y) (/ -1 x)) 0.079 * [approximate]: Taking taylor expansion of (fma (/ z y) (/ -1 y) (/ -1 x)) in (y z x) around 0 0.079 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ -1 y) (/ -1 x)) in x 0.079 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ -1 y)) (/ -1 x)) 0.079 * [taylor]: Taking taylor expansion of (* (/ z y) (/ -1 y)) in x 0.079 * [taylor]: Taking taylor expansion of (/ z y) in x 0.079 * [taylor]: Taking taylor expansion of z in x 0.079 * [backup-simplify]: Simplify z into z 0.079 * [taylor]: Taking taylor expansion of y in x 0.079 * [backup-simplify]: Simplify y into y 0.079 * [backup-simplify]: Simplify (/ z y) into (/ z y) 0.079 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.079 * [taylor]: Taking taylor expansion of -1 in x 0.079 * [backup-simplify]: Simplify -1 into -1 0.079 * [taylor]: Taking taylor expansion of y in x 0.079 * [backup-simplify]: Simplify y into y 0.079 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 0.079 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.079 * [taylor]: Taking taylor expansion of -1 in x 0.079 * [backup-simplify]: Simplify -1 into -1 0.079 * [taylor]: Taking taylor expansion of x in x 0.079 * [backup-simplify]: Simplify 0 into 0 0.079 * [backup-simplify]: Simplify 1 into 1 0.079 * [backup-simplify]: Simplify (/ -1 1) into -1 0.079 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ -1 y) (/ -1 x)) in z 0.080 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ -1 y)) (/ -1 x)) 0.080 * [taylor]: Taking taylor expansion of (* (/ z y) (/ -1 y)) in z 0.080 * [taylor]: Taking taylor expansion of (/ z y) in z 0.080 * [taylor]: Taking taylor expansion of z in z 0.080 * [backup-simplify]: Simplify 0 into 0 0.080 * [backup-simplify]: Simplify 1 into 1 0.080 * [taylor]: Taking taylor expansion of y in z 0.080 * [backup-simplify]: Simplify y into y 0.080 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.080 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.080 * [taylor]: Taking taylor expansion of -1 in z 0.080 * [backup-simplify]: Simplify -1 into -1 0.080 * [taylor]: Taking taylor expansion of y in z 0.080 * [backup-simplify]: Simplify y into y 0.080 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 0.080 * [taylor]: Taking taylor expansion of (/ -1 x) in z 0.080 * [taylor]: Taking taylor expansion of -1 in z 0.080 * [backup-simplify]: Simplify -1 into -1 0.080 * [taylor]: Taking taylor expansion of x in z 0.080 * [backup-simplify]: Simplify x into x 0.080 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 0.080 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ -1 y) (/ -1 x)) in y 0.080 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ -1 y)) (/ -1 x)) 0.080 * [taylor]: Taking taylor expansion of (* (/ z y) (/ -1 y)) in y 0.080 * [taylor]: Taking taylor expansion of (/ z y) in y 0.080 * [taylor]: Taking taylor expansion of z in y 0.080 * [backup-simplify]: Simplify z into z 0.080 * [taylor]: Taking taylor expansion of y in y 0.080 * [backup-simplify]: Simplify 0 into 0 0.080 * [backup-simplify]: Simplify 1 into 1 0.080 * [backup-simplify]: Simplify (/ z 1) into z 0.080 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.080 * [taylor]: Taking taylor expansion of -1 in y 0.080 * [backup-simplify]: Simplify -1 into -1 0.080 * [taylor]: Taking taylor expansion of y in y 0.080 * [backup-simplify]: Simplify 0 into 0 0.080 * [backup-simplify]: Simplify 1 into 1 0.081 * [backup-simplify]: Simplify (/ -1 1) into -1 0.081 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.081 * [taylor]: Taking taylor expansion of -1 in y 0.081 * [backup-simplify]: Simplify -1 into -1 0.081 * [taylor]: Taking taylor expansion of x in y 0.081 * [backup-simplify]: Simplify x into x 0.081 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 0.081 * [taylor]: Taking taylor expansion of (fma (/ z y) (/ -1 y) (/ -1 x)) in y 0.081 * [taylor]: Rewrote expression to (+ (* (/ z y) (/ -1 y)) (/ -1 x)) 0.081 * [taylor]: Taking taylor expansion of (* (/ z y) (/ -1 y)) in y 0.081 * [taylor]: Taking taylor expansion of (/ z y) in y 0.081 * [taylor]: Taking taylor expansion of z in y 0.081 * [backup-simplify]: Simplify z into z 0.081 * [taylor]: Taking taylor expansion of y in y 0.081 * [backup-simplify]: Simplify 0 into 0 0.081 * [backup-simplify]: Simplify 1 into 1 0.081 * [backup-simplify]: Simplify (/ z 1) into z 0.081 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.081 * [taylor]: Taking taylor expansion of -1 in y 0.081 * [backup-simplify]: Simplify -1 into -1 0.081 * [taylor]: Taking taylor expansion of y in y 0.081 * [backup-simplify]: Simplify 0 into 0 0.081 * [backup-simplify]: Simplify 1 into 1 0.081 * [backup-simplify]: Simplify (/ -1 1) into -1 0.081 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.081 * [taylor]: Taking taylor expansion of -1 in y 0.081 * [backup-simplify]: Simplify -1 into -1 0.081 * [taylor]: Taking taylor expansion of x in y 0.081 * [backup-simplify]: Simplify x into x 0.081 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 0.081 * [backup-simplify]: Simplify (* z -1) into (* -1 z) 0.082 * [backup-simplify]: Simplify (+ (* -1 z) 0) into (- z) 0.082 * [taylor]: Taking taylor expansion of (- z) in z 0.082 * [taylor]: Taking taylor expansion of z in z 0.082 * [backup-simplify]: Simplify 0 into 0 0.082 * [backup-simplify]: Simplify 1 into 1 0.082 * [backup-simplify]: Simplify (- 0) into 0 0.082 * [taylor]: Taking taylor expansion of 0 in x 0.082 * [backup-simplify]: Simplify 0 into 0 0.082 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 0.083 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 0.083 * [backup-simplify]: Simplify (+ (* z 0) (* 0 -1)) into 0 0.083 * [backup-simplify]: Simplify (+ 0 0) into 0 0.083 * [taylor]: Taking taylor expansion of 0 in z 0.083 * [backup-simplify]: Simplify 0 into 0 0.083 * [taylor]: Taking taylor expansion of 0 in x 0.083 * [backup-simplify]: Simplify 0 into 0 0.084 * [backup-simplify]: Simplify (- 1) into -1 0.084 * [taylor]: Taking taylor expansion of -1 in x 0.084 * [backup-simplify]: Simplify -1 into -1 0.084 * [backup-simplify]: Simplify 0 into 0 0.084 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.085 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.085 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 -1))) into 0 0.086 * [backup-simplify]: Simplify (+ 0 (/ -1 x)) into (- (/ 1 x)) 0.086 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z 0.086 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.086 * [taylor]: Taking taylor expansion of x in z 0.086 * [backup-simplify]: Simplify x into x 0.086 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.086 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 0.086 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 0.086 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.086 * [taylor]: Taking taylor expansion of x in x 0.086 * [backup-simplify]: Simplify 0 into 0 0.086 * [backup-simplify]: Simplify 1 into 1 0.086 * [backup-simplify]: Simplify (/ 1 1) into 1 0.086 * [backup-simplify]: Simplify (- 1) into -1 0.086 * [backup-simplify]: Simplify -1 into -1 0.086 * [taylor]: Taking taylor expansion of 0 in x 0.086 * [backup-simplify]: Simplify 0 into 0 0.087 * [backup-simplify]: Simplify (- 0) into 0 0.087 * [taylor]: Taking taylor expansion of 0 in x 0.087 * [backup-simplify]: Simplify 0 into 0 0.087 * [backup-simplify]: Simplify 0 into 0 0.087 * [backup-simplify]: Simplify -1 into -1 0.087 * [backup-simplify]: Simplify 0 into 0 0.087 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.088 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.089 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0 0.089 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 0.089 * [backup-simplify]: Simplify (+ 0 0) into 0 0.089 * [taylor]: Taking taylor expansion of 0 in z 0.089 * [backup-simplify]: Simplify 0 into 0 0.089 * [taylor]: Taking taylor expansion of 0 in x 0.089 * [backup-simplify]: Simplify 0 into 0 0.089 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 0.089 * [backup-simplify]: Simplify (- 0) into 0 0.089 * [taylor]: Taking taylor expansion of 0 in x 0.089 * [backup-simplify]: Simplify 0 into 0 0.089 * [taylor]: Taking taylor expansion of 0 in x 0.090 * [backup-simplify]: Simplify 0 into 0 0.090 * [backup-simplify]: Simplify (- 0) into 0 0.090 * [taylor]: Taking taylor expansion of 0 in x 0.090 * [backup-simplify]: Simplify 0 into 0 0.090 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.090 * [backup-simplify]: Simplify (- 0) into 0 0.090 * [backup-simplify]: Simplify 0 into 0 0.090 * [backup-simplify]: Simplify 0 into 0 0.091 * [backup-simplify]: Simplify 0 into 0 0.091 * [backup-simplify]: Simplify 0 into 0 0.091 * [backup-simplify]: Simplify 0 into 0 0.091 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* (/ 1 (- z)) (pow (/ 1 (- y)) -2)))) (* -1 (* (/ 1 (/ 1 (- x))) (* 1 1)))) into (+ x (/ (pow y 2) z)) 0.091 * * * [progress]: simplifying candidates 0.091 * [simplify]: Simplifying: (expm1 (fma (/ y z) y x)) (log1p (fma (/ y z) y x)) (* (/ y z) y) (log (fma (/ y z) y x)) (exp (fma (/ y z) y x)) (* (cbrt (fma (/ y z) y x)) (cbrt (fma (/ y z) y x))) (cbrt (fma (/ y z) y x)) (* (* (fma (/ y z) y x) (fma (/ y z) y x)) (fma (/ y z) y x)) (sqrt (fma (/ y z) y x)) (sqrt (fma (/ y z) y x)) (+ x (/ (pow y 2) z)) (+ x (/ (pow y 2) z)) (+ x (/ (pow y 2) z)) 0.092 * * [simplify]: Extracting # 0 : cost 0 0.092 * * [simplify]: Extracting # 1 : cost 0 0.092 * * [simplify]: Extracting # 2 : cost 0 0.092 * * [simplify]: Extracting # 3 : cost 0 0.092 * * [simplify]: Extracting # 4 : cost 0 0.092 * * [simplify]: Extracting # 5 : cost 0 0.092 * * [simplify]: Extracting # 6 : cost 0 0.092 * * [simplify]: iteration 0 : 19 enodes (cost 110 ) 0.095 * * [simplify]: Extracting # 0 : cost 0 0.095 * * [simplify]: Extracting # 1 : cost 0 0.095 * * [simplify]: Extracting # 2 : cost 0 0.095 * * [simplify]: Extracting # 3 : cost 0 0.095 * * [simplify]: Extracting # 4 : cost 0 0.095 * * [simplify]: iteration 1 : 27 enodes (cost 107 ) 0.101 * * [simplify]: Extracting # 0 : cost 0 0.101 * * [simplify]: Extracting # 1 : cost 0 0.101 * * [simplify]: Extracting # 2 : cost 0 0.101 * * [simplify]: iteration 2 : 60 enodes (cost 95 ) 0.125 * * [simplify]: Extracting # 0 : cost 0 0.125 * * [simplify]: Extracting # 1 : cost 0 0.125 * * [simplify]: Extracting # 2 : cost 0 0.126 * * [simplify]: Extracting # 3 : cost 0 0.126 * * [simplify]: iteration 3 : 169 enodes (cost 95 ) 0.221 * * [simplify]: Extracting # 0 : cost 0 0.222 * * [simplify]: Extracting # 1 : cost 0 0.223 * * [simplify]: Extracting # 2 : cost 0 0.223 * * [simplify]: Extracting # 3 : cost 0 0.224 * * [simplify]: iteration 4 : 537 enodes (cost 95 ) 0.915 * * [simplify]: Extracting # 0 : cost 0 0.918 * * [simplify]: Extracting # 1 : cost 0 0.920 * * [simplify]: Extracting # 2 : cost 0 0.922 * * [simplify]: Extracting # 3 : cost 0 0.924 * * [simplify]: Extracting # 4 : cost 0 0.926 * * [simplify]: iteration 5 : 2074 enodes (cost 95 ) 3.242 * * [simplify]: Extracting # 0 : cost 0 3.248 * * [simplify]: Extracting # 1 : cost 0 3.252 * * [simplify]: Extracting # 2 : cost 0 3.257 * * [simplify]: Extracting # 3 : cost 0 3.261 * * [simplify]: Extracting # 4 : cost 0 3.265 * * [simplify]: iteration done: 5001 enodes (cost 95 ) 3.265 * [simplify]: Simplified to: (expm1 (fma (/ y z) y x)) (log1p (fma (/ y z) y x)) (/ (pow y 2) z) (log (fma (/ y z) y x)) (exp (fma (/ y z) y x)) (* (cbrt (fma (/ y z) y x)) (cbrt (fma (/ y z) y x))) (cbrt (fma (/ y z) y x)) (pow (fma (/ y z) y x) 3) (sqrt (fma (/ y z) y x)) (sqrt (fma (/ y z) y x)) (fma (/ y z) y x) (fma (/ y z) y x) (fma (/ y z) y x) 3.265 * * * [progress]: adding candidates to table 3.294 * * [progress]: iteration 2 / 4 3.294 * * * [progress]: picking best candidate 3.297 * * * * [pick]: Picked # 3.297 * * * [progress]: localizing error 3.303 * * * [progress]: generating rewritten candidates 3.303 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 3.319 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 3.334 * * * [progress]: generating series expansions 3.334 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 3.334 * [backup-simplify]: Simplify (/ (* y y) z) into (/ (pow y 2) z) 3.334 * [approximate]: Taking taylor expansion of (/ (pow y 2) z) in (y z) around 0 3.334 * [taylor]: Taking taylor expansion of (/ (pow y 2) z) in z 3.334 * [taylor]: Taking taylor expansion of (pow y 2) in z 3.334 * [taylor]: Taking taylor expansion of y in z 3.334 * [backup-simplify]: Simplify y into y 3.334 * [taylor]: Taking taylor expansion of z in z 3.334 * [backup-simplify]: Simplify 0 into 0 3.334 * [backup-simplify]: Simplify 1 into 1 3.334 * [backup-simplify]: Simplify (* y y) into (pow y 2) 3.334 * [backup-simplify]: Simplify (/ (pow y 2) 1) into (pow y 2) 3.334 * [taylor]: Taking taylor expansion of (/ (pow y 2) z) in y 3.334 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.334 * [taylor]: Taking taylor expansion of y in y 3.334 * [backup-simplify]: Simplify 0 into 0 3.335 * [backup-simplify]: Simplify 1 into 1 3.335 * [taylor]: Taking taylor expansion of z in y 3.335 * [backup-simplify]: Simplify z into z 3.335 * [backup-simplify]: Simplify (* 1 1) into 1 3.335 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.335 * [taylor]: Taking taylor expansion of (/ (pow y 2) z) in y 3.335 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.335 * [taylor]: Taking taylor expansion of y in y 3.335 * [backup-simplify]: Simplify 0 into 0 3.335 * [backup-simplify]: Simplify 1 into 1 3.335 * [taylor]: Taking taylor expansion of z in y 3.335 * [backup-simplify]: Simplify z into z 3.335 * [backup-simplify]: Simplify (* 1 1) into 1 3.335 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.336 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.336 * [taylor]: Taking taylor expansion of z in z 3.336 * [backup-simplify]: Simplify 0 into 0 3.336 * [backup-simplify]: Simplify 1 into 1 3.336 * [backup-simplify]: Simplify (/ 1 1) into 1 3.336 * [backup-simplify]: Simplify 1 into 1 3.336 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.336 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0 3.336 * [taylor]: Taking taylor expansion of 0 in z 3.336 * [backup-simplify]: Simplify 0 into 0 3.337 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.337 * [backup-simplify]: Simplify 0 into 0 3.337 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.338 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 3.338 * [taylor]: Taking taylor expansion of 0 in z 3.338 * [backup-simplify]: Simplify 0 into 0 3.338 * [backup-simplify]: Simplify 0 into 0 3.338 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.338 * [backup-simplify]: Simplify 0 into 0 3.339 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.339 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 3.339 * [taylor]: Taking taylor expansion of 0 in z 3.339 * [backup-simplify]: Simplify 0 into 0 3.339 * [backup-simplify]: Simplify 0 into 0 3.339 * [backup-simplify]: Simplify 0 into 0 3.339 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.339 * [backup-simplify]: Simplify 0 into 0 3.340 * [backup-simplify]: Simplify (* 1 (* (/ 1 z) (pow y 2))) into (/ (pow y 2) z) 3.340 * [backup-simplify]: Simplify (/ (* (/ 1 y) (/ 1 y)) (/ 1 z)) into (/ z (pow y 2)) 3.340 * [approximate]: Taking taylor expansion of (/ z (pow y 2)) in (y z) around 0 3.340 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in z 3.340 * [taylor]: Taking taylor expansion of z in z 3.340 * [backup-simplify]: Simplify 0 into 0 3.340 * [backup-simplify]: Simplify 1 into 1 3.340 * [taylor]: Taking taylor expansion of (pow y 2) in z 3.340 * [taylor]: Taking taylor expansion of y in z 3.340 * [backup-simplify]: Simplify y into y 3.340 * [backup-simplify]: Simplify (* y y) into (pow y 2) 3.340 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 3.340 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in y 3.340 * [taylor]: Taking taylor expansion of z in y 3.340 * [backup-simplify]: Simplify z into z 3.340 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.340 * [taylor]: Taking taylor expansion of y in y 3.340 * [backup-simplify]: Simplify 0 into 0 3.340 * [backup-simplify]: Simplify 1 into 1 3.340 * [backup-simplify]: Simplify (* 1 1) into 1 3.340 * [backup-simplify]: Simplify (/ z 1) into z 3.340 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in y 3.340 * [taylor]: Taking taylor expansion of z in y 3.340 * [backup-simplify]: Simplify z into z 3.340 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.341 * [taylor]: Taking taylor expansion of y in y 3.341 * [backup-simplify]: Simplify 0 into 0 3.341 * [backup-simplify]: Simplify 1 into 1 3.341 * [backup-simplify]: Simplify (* 1 1) into 1 3.341 * [backup-simplify]: Simplify (/ z 1) into z 3.341 * [taylor]: Taking taylor expansion of z in z 3.341 * [backup-simplify]: Simplify 0 into 0 3.341 * [backup-simplify]: Simplify 1 into 1 3.341 * [backup-simplify]: Simplify 1 into 1 3.341 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.342 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 3.342 * [taylor]: Taking taylor expansion of 0 in z 3.342 * [backup-simplify]: Simplify 0 into 0 3.342 * [backup-simplify]: Simplify 0 into 0 3.342 * [backup-simplify]: Simplify 0 into 0 3.342 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.343 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.343 * [taylor]: Taking taylor expansion of 0 in z 3.343 * [backup-simplify]: Simplify 0 into 0 3.343 * [backup-simplify]: Simplify 0 into 0 3.343 * [backup-simplify]: Simplify 0 into 0 3.343 * [backup-simplify]: Simplify 0 into 0 3.344 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.345 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.345 * [taylor]: Taking taylor expansion of 0 in z 3.345 * [backup-simplify]: Simplify 0 into 0 3.345 * [backup-simplify]: Simplify 0 into 0 3.345 * [backup-simplify]: Simplify (* 1 (* (/ 1 z) (pow (/ 1 y) -2))) into (/ (pow y 2) z) 3.345 * [backup-simplify]: Simplify (/ (* (/ 1 (- y)) (/ 1 (- y))) (/ 1 (- z))) into (* -1 (/ z (pow y 2))) 3.345 * [approximate]: Taking taylor expansion of (* -1 (/ z (pow y 2))) in (y z) around 0 3.345 * [taylor]: Taking taylor expansion of (* -1 (/ z (pow y 2))) in z 3.345 * [taylor]: Taking taylor expansion of -1 in z 3.345 * [backup-simplify]: Simplify -1 into -1 3.345 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in z 3.345 * [taylor]: Taking taylor expansion of z in z 3.345 * [backup-simplify]: Simplify 0 into 0 3.345 * [backup-simplify]: Simplify 1 into 1 3.345 * [taylor]: Taking taylor expansion of (pow y 2) in z 3.345 * [taylor]: Taking taylor expansion of y in z 3.346 * [backup-simplify]: Simplify y into y 3.346 * [backup-simplify]: Simplify (* y y) into (pow y 2) 3.346 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 3.346 * [taylor]: Taking taylor expansion of (* -1 (/ z (pow y 2))) in y 3.346 * [taylor]: Taking taylor expansion of -1 in y 3.346 * [backup-simplify]: Simplify -1 into -1 3.346 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in y 3.346 * [taylor]: Taking taylor expansion of z in y 3.346 * [backup-simplify]: Simplify z into z 3.346 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.346 * [taylor]: Taking taylor expansion of y in y 3.346 * [backup-simplify]: Simplify 0 into 0 3.346 * [backup-simplify]: Simplify 1 into 1 3.346 * [backup-simplify]: Simplify (* 1 1) into 1 3.346 * [backup-simplify]: Simplify (/ z 1) into z 3.346 * [taylor]: Taking taylor expansion of (* -1 (/ z (pow y 2))) in y 3.346 * [taylor]: Taking taylor expansion of -1 in y 3.346 * [backup-simplify]: Simplify -1 into -1 3.346 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in y 3.346 * [taylor]: Taking taylor expansion of z in y 3.346 * [backup-simplify]: Simplify z into z 3.346 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.346 * [taylor]: Taking taylor expansion of y in y 3.346 * [backup-simplify]: Simplify 0 into 0 3.346 * [backup-simplify]: Simplify 1 into 1 3.346 * [backup-simplify]: Simplify (* 1 1) into 1 3.347 * [backup-simplify]: Simplify (/ z 1) into z 3.347 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 3.347 * [taylor]: Taking taylor expansion of (* -1 z) in z 3.347 * [taylor]: Taking taylor expansion of -1 in z 3.347 * [backup-simplify]: Simplify -1 into -1 3.347 * [taylor]: Taking taylor expansion of z in z 3.347 * [backup-simplify]: Simplify 0 into 0 3.347 * [backup-simplify]: Simplify 1 into 1 3.352 * [backup-simplify]: Simplify (+ (* -1 1) (* 0 0)) into -1 3.352 * [backup-simplify]: Simplify -1 into -1 3.353 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.353 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 3.354 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 z)) into 0 3.354 * [taylor]: Taking taylor expansion of 0 in z 3.354 * [backup-simplify]: Simplify 0 into 0 3.354 * [backup-simplify]: Simplify 0 into 0 3.354 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0 3.354 * [backup-simplify]: Simplify 0 into 0 3.355 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.355 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.356 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 z))) into 0 3.356 * [taylor]: Taking taylor expansion of 0 in z 3.356 * [backup-simplify]: Simplify 0 into 0 3.356 * [backup-simplify]: Simplify 0 into 0 3.356 * [backup-simplify]: Simplify 0 into 0 3.357 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 3.357 * [backup-simplify]: Simplify 0 into 0 3.358 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 3.360 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.361 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0 3.361 * [taylor]: Taking taylor expansion of 0 in z 3.361 * [backup-simplify]: Simplify 0 into 0 3.361 * [backup-simplify]: Simplify 0 into 0 3.362 * [backup-simplify]: Simplify (* -1 (* (/ 1 (- z)) (pow (/ 1 (- y)) -2))) into (/ (pow y 2) z) 3.362 * * * * [progress]: [ 2 / 2 ] generating series at (2) 3.362 * [backup-simplify]: Simplify (+ x (/ (* y y) z)) into (+ x (/ (pow y 2) z)) 3.362 * [approximate]: Taking taylor expansion of (+ x (/ (pow y 2) z)) in (x y z) around 0 3.362 * [taylor]: Taking taylor expansion of (+ x (/ (pow y 2) z)) in z 3.362 * [taylor]: Taking taylor expansion of x in z 3.362 * [backup-simplify]: Simplify x into x 3.362 * [taylor]: Taking taylor expansion of (/ (pow y 2) z) in z 3.362 * [taylor]: Taking taylor expansion of (pow y 2) in z 3.362 * [taylor]: Taking taylor expansion of y in z 3.362 * [backup-simplify]: Simplify y into y 3.362 * [taylor]: Taking taylor expansion of z in z 3.362 * [backup-simplify]: Simplify 0 into 0 3.362 * [backup-simplify]: Simplify 1 into 1 3.362 * [backup-simplify]: Simplify (* y y) into (pow y 2) 3.362 * [backup-simplify]: Simplify (/ (pow y 2) 1) into (pow y 2) 3.363 * [taylor]: Taking taylor expansion of (+ x (/ (pow y 2) z)) in y 3.363 * [taylor]: Taking taylor expansion of x in y 3.363 * [backup-simplify]: Simplify x into x 3.363 * [taylor]: Taking taylor expansion of (/ (pow y 2) z) in y 3.363 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.363 * [taylor]: Taking taylor expansion of y in y 3.363 * [backup-simplify]: Simplify 0 into 0 3.363 * [backup-simplify]: Simplify 1 into 1 3.363 * [taylor]: Taking taylor expansion of z in y 3.363 * [backup-simplify]: Simplify z into z 3.363 * [backup-simplify]: Simplify (* 1 1) into 1 3.363 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.363 * [taylor]: Taking taylor expansion of (+ x (/ (pow y 2) z)) in x 3.363 * [taylor]: Taking taylor expansion of x in x 3.363 * [backup-simplify]: Simplify 0 into 0 3.363 * [backup-simplify]: Simplify 1 into 1 3.363 * [taylor]: Taking taylor expansion of (/ (pow y 2) z) in x 3.363 * [taylor]: Taking taylor expansion of (pow y 2) in x 3.363 * [taylor]: Taking taylor expansion of y in x 3.363 * [backup-simplify]: Simplify y into y 3.364 * [taylor]: Taking taylor expansion of z in x 3.364 * [backup-simplify]: Simplify z into z 3.364 * [backup-simplify]: Simplify (* y y) into (pow y 2) 3.364 * [backup-simplify]: Simplify (/ (pow y 2) z) into (/ (pow y 2) z) 3.364 * [taylor]: Taking taylor expansion of (+ x (/ (pow y 2) z)) in x 3.364 * [taylor]: Taking taylor expansion of x in x 3.364 * [backup-simplify]: Simplify 0 into 0 3.364 * [backup-simplify]: Simplify 1 into 1 3.364 * [taylor]: Taking taylor expansion of (/ (pow y 2) z) in x 3.364 * [taylor]: Taking taylor expansion of (pow y 2) in x 3.364 * [taylor]: Taking taylor expansion of y in x 3.364 * [backup-simplify]: Simplify y into y 3.364 * [taylor]: Taking taylor expansion of z in x 3.364 * [backup-simplify]: Simplify z into z 3.364 * [backup-simplify]: Simplify (* y y) into (pow y 2) 3.364 * [backup-simplify]: Simplify (/ (pow y 2) z) into (/ (pow y 2) z) 3.365 * [backup-simplify]: Simplify (+ 0 (/ (pow y 2) z)) into (/ (pow y 2) z) 3.365 * [taylor]: Taking taylor expansion of (/ (pow y 2) z) in y 3.365 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.365 * [taylor]: Taking taylor expansion of y in y 3.365 * [backup-simplify]: Simplify 0 into 0 3.365 * [backup-simplify]: Simplify 1 into 1 3.365 * [taylor]: Taking taylor expansion of z in y 3.365 * [backup-simplify]: Simplify z into z 3.365 * [backup-simplify]: Simplify (* 1 1) into 1 3.365 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.365 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 3.365 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ (pow y 2) z) (/ 0 z)))) into 0 3.366 * [backup-simplify]: Simplify (+ 1 0) into 1 3.366 * [taylor]: Taking taylor expansion of 1 in y 3.366 * [backup-simplify]: Simplify 1 into 1 3.366 * [taylor]: Taking taylor expansion of 1 in z 3.366 * [backup-simplify]: Simplify 1 into 1 3.366 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 3.366 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ (pow y 2) z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 3.366 * [backup-simplify]: Simplify (+ 0 0) into 0 3.366 * [taylor]: Taking taylor expansion of 0 in y 3.367 * [backup-simplify]: Simplify 0 into 0 3.367 * [taylor]: Taking taylor expansion of 0 in z 3.367 * [backup-simplify]: Simplify 0 into 0 3.367 * [taylor]: Taking taylor expansion of 0 in z 3.367 * [backup-simplify]: Simplify 0 into 0 3.367 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.367 * [taylor]: Taking taylor expansion of z in z 3.367 * [backup-simplify]: Simplify 0 into 0 3.367 * [backup-simplify]: Simplify 1 into 1 3.367 * [backup-simplify]: Simplify (/ 1 1) into 1 3.367 * [backup-simplify]: Simplify 1 into 1 3.367 * [backup-simplify]: Simplify 1 into 1 3.368 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 3.368 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ (pow y 2) z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 3.368 * [backup-simplify]: Simplify (+ 0 0) into 0 3.368 * [taylor]: Taking taylor expansion of 0 in y 3.368 * [backup-simplify]: Simplify 0 into 0 3.368 * [taylor]: Taking taylor expansion of 0 in z 3.369 * [backup-simplify]: Simplify 0 into 0 3.369 * [taylor]: Taking taylor expansion of 0 in z 3.369 * [backup-simplify]: Simplify 0 into 0 3.369 * [taylor]: Taking taylor expansion of 0 in z 3.369 * [backup-simplify]: Simplify 0 into 0 3.369 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.369 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0 3.369 * [taylor]: Taking taylor expansion of 0 in z 3.369 * [backup-simplify]: Simplify 0 into 0 3.369 * [backup-simplify]: Simplify 0 into 0 3.369 * [backup-simplify]: Simplify 0 into 0 3.370 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.370 * [backup-simplify]: Simplify 0 into 0 3.370 * [backup-simplify]: Simplify 0 into 0 3.370 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 3.371 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ (pow y 2) z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 3.371 * [backup-simplify]: Simplify (+ 0 0) into 0 3.371 * [taylor]: Taking taylor expansion of 0 in y 3.371 * [backup-simplify]: Simplify 0 into 0 3.371 * [taylor]: Taking taylor expansion of 0 in z 3.371 * [backup-simplify]: Simplify 0 into 0 3.371 * [taylor]: Taking taylor expansion of 0 in z 3.371 * [backup-simplify]: Simplify 0 into 0 3.371 * [taylor]: Taking taylor expansion of 0 in z 3.371 * [backup-simplify]: Simplify 0 into 0 3.371 * [taylor]: Taking taylor expansion of 0 in z 3.371 * [backup-simplify]: Simplify 0 into 0 3.372 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.372 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 3.372 * [taylor]: Taking taylor expansion of 0 in z 3.372 * [backup-simplify]: Simplify 0 into 0 3.372 * [backup-simplify]: Simplify 0 into 0 3.372 * [backup-simplify]: Simplify 0 into 0 3.372 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 x))) (* 1 (* (/ 1 z) (* (pow y 2) 1)))) into (+ x (/ (pow y 2) z)) 3.372 * [backup-simplify]: Simplify (+ (/ 1 x) (/ (* (/ 1 y) (/ 1 y)) (/ 1 z))) into (+ (/ z (pow y 2)) (/ 1 x)) 3.372 * [approximate]: Taking taylor expansion of (+ (/ z (pow y 2)) (/ 1 x)) in (x y z) around 0 3.372 * [taylor]: Taking taylor expansion of (+ (/ z (pow y 2)) (/ 1 x)) in z 3.372 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in z 3.372 * [taylor]: Taking taylor expansion of z in z 3.372 * [backup-simplify]: Simplify 0 into 0 3.372 * [backup-simplify]: Simplify 1 into 1 3.372 * [taylor]: Taking taylor expansion of (pow y 2) in z 3.372 * [taylor]: Taking taylor expansion of y in z 3.372 * [backup-simplify]: Simplify y into y 3.372 * [backup-simplify]: Simplify (* y y) into (pow y 2) 3.373 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 3.373 * [taylor]: Taking taylor expansion of (/ 1 x) in z 3.373 * [taylor]: Taking taylor expansion of x in z 3.373 * [backup-simplify]: Simplify x into x 3.373 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.373 * [taylor]: Taking taylor expansion of (+ (/ z (pow y 2)) (/ 1 x)) in y 3.373 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in y 3.373 * [taylor]: Taking taylor expansion of z in y 3.373 * [backup-simplify]: Simplify z into z 3.373 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.373 * [taylor]: Taking taylor expansion of y in y 3.373 * [backup-simplify]: Simplify 0 into 0 3.373 * [backup-simplify]: Simplify 1 into 1 3.373 * [backup-simplify]: Simplify (* 1 1) into 1 3.373 * [backup-simplify]: Simplify (/ z 1) into z 3.373 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.373 * [taylor]: Taking taylor expansion of x in y 3.373 * [backup-simplify]: Simplify x into x 3.373 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.373 * [taylor]: Taking taylor expansion of (+ (/ z (pow y 2)) (/ 1 x)) in x 3.373 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in x 3.373 * [taylor]: Taking taylor expansion of z in x 3.373 * [backup-simplify]: Simplify z into z 3.373 * [taylor]: Taking taylor expansion of (pow y 2) in x 3.373 * [taylor]: Taking taylor expansion of y in x 3.373 * [backup-simplify]: Simplify y into y 3.373 * [backup-simplify]: Simplify (* y y) into (pow y 2) 3.373 * [backup-simplify]: Simplify (/ z (pow y 2)) into (/ z (pow y 2)) 3.373 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.373 * [taylor]: Taking taylor expansion of x in x 3.373 * [backup-simplify]: Simplify 0 into 0 3.373 * [backup-simplify]: Simplify 1 into 1 3.374 * [backup-simplify]: Simplify (/ 1 1) into 1 3.374 * [taylor]: Taking taylor expansion of (+ (/ z (pow y 2)) (/ 1 x)) in x 3.374 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in x 3.374 * [taylor]: Taking taylor expansion of z in x 3.374 * [backup-simplify]: Simplify z into z 3.374 * [taylor]: Taking taylor expansion of (pow y 2) in x 3.374 * [taylor]: Taking taylor expansion of y in x 3.374 * [backup-simplify]: Simplify y into y 3.374 * [backup-simplify]: Simplify (* y y) into (pow y 2) 3.374 * [backup-simplify]: Simplify (/ z (pow y 2)) into (/ z (pow y 2)) 3.374 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.374 * [taylor]: Taking taylor expansion of x in x 3.374 * [backup-simplify]: Simplify 0 into 0 3.374 * [backup-simplify]: Simplify 1 into 1 3.374 * [backup-simplify]: Simplify (/ 1 1) into 1 3.375 * [backup-simplify]: Simplify (+ 0 1) into 1 3.375 * [taylor]: Taking taylor expansion of 1 in y 3.375 * [backup-simplify]: Simplify 1 into 1 3.375 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.375 * [backup-simplify]: Simplify (+ (/ z (pow y 2)) 0) into (/ z (pow y 2)) 3.375 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in y 3.375 * [taylor]: Taking taylor expansion of z in y 3.375 * [backup-simplify]: Simplify z into z 3.375 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.375 * [taylor]: Taking taylor expansion of y in y 3.375 * [backup-simplify]: Simplify 0 into 0 3.375 * [backup-simplify]: Simplify 1 into 1 3.375 * [backup-simplify]: Simplify (* 1 1) into 1 3.376 * [backup-simplify]: Simplify (/ z 1) into z 3.376 * [taylor]: Taking taylor expansion of z in z 3.376 * [backup-simplify]: Simplify 0 into 0 3.376 * [backup-simplify]: Simplify 1 into 1 3.376 * [backup-simplify]: Simplify 0 into 0 3.376 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 3.376 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ z (pow y 2)) (/ 0 (pow y 2))))) into 0 3.376 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.377 * [backup-simplify]: Simplify (+ 0 0) into 0 3.377 * [taylor]: Taking taylor expansion of 0 in y 3.377 * [backup-simplify]: Simplify 0 into 0 3.377 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.378 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 3.378 * [taylor]: Taking taylor expansion of 0 in z 3.378 * [backup-simplify]: Simplify 0 into 0 3.378 * [backup-simplify]: Simplify 0 into 0 3.378 * [taylor]: Taking taylor expansion of 1 in z 3.378 * [backup-simplify]: Simplify 1 into 1 3.378 * [backup-simplify]: Simplify 1 into 1 3.378 * [backup-simplify]: Simplify 1 into 1 3.378 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 3.378 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ z (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 3.379 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.379 * [backup-simplify]: Simplify (+ 0 0) into 0 3.379 * [taylor]: Taking taylor expansion of 0 in y 3.379 * [backup-simplify]: Simplify 0 into 0 3.380 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.381 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.381 * [taylor]: Taking taylor expansion of 0 in z 3.381 * [backup-simplify]: Simplify 0 into 0 3.381 * [backup-simplify]: Simplify 0 into 0 3.381 * [taylor]: Taking taylor expansion of 0 in z 3.381 * [backup-simplify]: Simplify 0 into 0 3.381 * [backup-simplify]: Simplify 0 into 0 3.381 * [backup-simplify]: Simplify 0 into 0 3.381 * [backup-simplify]: Simplify 0 into 0 3.381 * [backup-simplify]: Simplify 0 into 0 3.381 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 3.382 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ z (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 3.382 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.383 * [backup-simplify]: Simplify (+ 0 0) into 0 3.383 * [taylor]: Taking taylor expansion of 0 in y 3.383 * [backup-simplify]: Simplify 0 into 0 3.383 * [taylor]: Taking taylor expansion of 0 in z 3.383 * [backup-simplify]: Simplify 0 into 0 3.383 * [backup-simplify]: Simplify 0 into 0 3.383 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 z) (* (pow (/ 1 y) -2) 1))) (* 1 (* 1 (* 1 (/ 1 (/ 1 x)))))) into (+ x (/ (pow y 2) z)) 3.383 * [backup-simplify]: Simplify (+ (/ 1 (- x)) (/ (* (/ 1 (- y)) (/ 1 (- y))) (/ 1 (- z)))) into (- (+ (/ z (pow y 2)) (/ 1 x))) 3.383 * [approximate]: Taking taylor expansion of (- (+ (/ z (pow y 2)) (/ 1 x))) in (x y z) around 0 3.383 * [taylor]: Taking taylor expansion of (- (+ (/ z (pow y 2)) (/ 1 x))) in z 3.383 * [taylor]: Taking taylor expansion of (+ (/ z (pow y 2)) (/ 1 x)) in z 3.383 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in z 3.383 * [taylor]: Taking taylor expansion of z in z 3.383 * [backup-simplify]: Simplify 0 into 0 3.383 * [backup-simplify]: Simplify 1 into 1 3.384 * [taylor]: Taking taylor expansion of (pow y 2) in z 3.384 * [taylor]: Taking taylor expansion of y in z 3.384 * [backup-simplify]: Simplify y into y 3.384 * [backup-simplify]: Simplify (* y y) into (pow y 2) 3.384 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 3.384 * [taylor]: Taking taylor expansion of (/ 1 x) in z 3.384 * [taylor]: Taking taylor expansion of x in z 3.384 * [backup-simplify]: Simplify x into x 3.384 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.384 * [taylor]: Taking taylor expansion of (- (+ (/ z (pow y 2)) (/ 1 x))) in y 3.384 * [taylor]: Taking taylor expansion of (+ (/ z (pow y 2)) (/ 1 x)) in y 3.384 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in y 3.384 * [taylor]: Taking taylor expansion of z in y 3.384 * [backup-simplify]: Simplify z into z 3.384 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.384 * [taylor]: Taking taylor expansion of y in y 3.384 * [backup-simplify]: Simplify 0 into 0 3.384 * [backup-simplify]: Simplify 1 into 1 3.384 * [backup-simplify]: Simplify (* 1 1) into 1 3.384 * [backup-simplify]: Simplify (/ z 1) into z 3.384 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.384 * [taylor]: Taking taylor expansion of x in y 3.384 * [backup-simplify]: Simplify x into x 3.384 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.384 * [taylor]: Taking taylor expansion of (- (+ (/ z (pow y 2)) (/ 1 x))) in x 3.384 * [taylor]: Taking taylor expansion of (+ (/ z (pow y 2)) (/ 1 x)) in x 3.384 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in x 3.384 * [taylor]: Taking taylor expansion of z in x 3.384 * [backup-simplify]: Simplify z into z 3.384 * [taylor]: Taking taylor expansion of (pow y 2) in x 3.384 * [taylor]: Taking taylor expansion of y in x 3.384 * [backup-simplify]: Simplify y into y 3.384 * [backup-simplify]: Simplify (* y y) into (pow y 2) 3.385 * [backup-simplify]: Simplify (/ z (pow y 2)) into (/ z (pow y 2)) 3.385 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.385 * [taylor]: Taking taylor expansion of x in x 3.385 * [backup-simplify]: Simplify 0 into 0 3.385 * [backup-simplify]: Simplify 1 into 1 3.385 * [backup-simplify]: Simplify (/ 1 1) into 1 3.385 * [taylor]: Taking taylor expansion of (- (+ (/ z (pow y 2)) (/ 1 x))) in x 3.385 * [taylor]: Taking taylor expansion of (+ (/ z (pow y 2)) (/ 1 x)) in x 3.385 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in x 3.385 * [taylor]: Taking taylor expansion of z in x 3.385 * [backup-simplify]: Simplify z into z 3.385 * [taylor]: Taking taylor expansion of (pow y 2) in x 3.385 * [taylor]: Taking taylor expansion of y in x 3.385 * [backup-simplify]: Simplify y into y 3.385 * [backup-simplify]: Simplify (* y y) into (pow y 2) 3.385 * [backup-simplify]: Simplify (/ z (pow y 2)) into (/ z (pow y 2)) 3.385 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.385 * [taylor]: Taking taylor expansion of x in x 3.385 * [backup-simplify]: Simplify 0 into 0 3.385 * [backup-simplify]: Simplify 1 into 1 3.385 * [backup-simplify]: Simplify (/ 1 1) into 1 3.386 * [backup-simplify]: Simplify (+ 0 1) into 1 3.386 * [backup-simplify]: Simplify (- 1) into -1 3.386 * [taylor]: Taking taylor expansion of -1 in y 3.386 * [backup-simplify]: Simplify -1 into -1 3.386 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.387 * [backup-simplify]: Simplify (+ (/ z (pow y 2)) 0) into (/ z (pow y 2)) 3.387 * [backup-simplify]: Simplify (- (/ z (pow y 2))) into (- (/ z (pow y 2))) 3.387 * [taylor]: Taking taylor expansion of (- (/ z (pow y 2))) in y 3.387 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in y 3.387 * [taylor]: Taking taylor expansion of z in y 3.387 * [backup-simplify]: Simplify z into z 3.387 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.387 * [taylor]: Taking taylor expansion of y in y 3.387 * [backup-simplify]: Simplify 0 into 0 3.387 * [backup-simplify]: Simplify 1 into 1 3.387 * [backup-simplify]: Simplify (* 1 1) into 1 3.387 * [backup-simplify]: Simplify (/ z 1) into z 3.387 * [backup-simplify]: Simplify (- z) into (- z) 3.387 * [taylor]: Taking taylor expansion of (- z) in z 3.387 * [taylor]: Taking taylor expansion of z in z 3.387 * [backup-simplify]: Simplify 0 into 0 3.387 * [backup-simplify]: Simplify 1 into 1 3.387 * [backup-simplify]: Simplify (- 0) into 0 3.387 * [backup-simplify]: Simplify 0 into 0 3.388 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 3.388 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ z (pow y 2)) (/ 0 (pow y 2))))) into 0 3.388 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.389 * [backup-simplify]: Simplify (+ 0 0) into 0 3.389 * [backup-simplify]: Simplify (- 0) into 0 3.389 * [taylor]: Taking taylor expansion of 0 in y 3.389 * [backup-simplify]: Simplify 0 into 0 3.389 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 3.390 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 3.390 * [backup-simplify]: Simplify (- 0) into 0 3.390 * [taylor]: Taking taylor expansion of 0 in z 3.390 * [backup-simplify]: Simplify 0 into 0 3.390 * [backup-simplify]: Simplify 0 into 0 3.390 * [taylor]: Taking taylor expansion of -1 in z 3.390 * [backup-simplify]: Simplify -1 into -1 3.390 * [backup-simplify]: Simplify -1 into -1 3.390 * [backup-simplify]: Simplify (- 1) into -1 3.390 * [backup-simplify]: Simplify -1 into -1 3.391 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 3.391 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ z (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 3.392 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.392 * [backup-simplify]: Simplify (+ 0 0) into 0 3.392 * [backup-simplify]: Simplify (- 0) into 0 3.392 * [taylor]: Taking taylor expansion of 0 in y 3.392 * [backup-simplify]: Simplify 0 into 0 3.393 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 3.393 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.394 * [backup-simplify]: Simplify (- 0) into 0 3.394 * [taylor]: Taking taylor expansion of 0 in z 3.394 * [backup-simplify]: Simplify 0 into 0 3.394 * [backup-simplify]: Simplify 0 into 0 3.394 * [taylor]: Taking taylor expansion of 0 in z 3.394 * [backup-simplify]: Simplify 0 into 0 3.394 * [backup-simplify]: Simplify 0 into 0 3.394 * [backup-simplify]: Simplify 0 into 0 3.394 * [backup-simplify]: Simplify 0 into 0 3.394 * [backup-simplify]: Simplify (- 0) into 0 3.394 * [backup-simplify]: Simplify 0 into 0 3.394 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 3.395 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ z (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 3.395 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.396 * [backup-simplify]: Simplify (+ 0 0) into 0 3.396 * [backup-simplify]: Simplify (- 0) into 0 3.396 * [taylor]: Taking taylor expansion of 0 in y 3.396 * [backup-simplify]: Simplify 0 into 0 3.396 * [taylor]: Taking taylor expansion of 0 in z 3.396 * [backup-simplify]: Simplify 0 into 0 3.396 * [backup-simplify]: Simplify 0 into 0 3.396 * [backup-simplify]: Simplify (+ (* -1 (* (/ 1 (- z)) (* (pow (/ 1 (- y)) -2) 1))) (* -1 (* 1 (* 1 (/ 1 (/ 1 (- x))))))) into (+ x (/ (pow y 2) z)) 3.396 * * * [progress]: simplifying candidates 3.397 * [simplify]: Simplifying: (expm1 (/ (* y y) z)) (log1p (/ (* y y) z)) (- (+ (log y) (log y)) (log z)) (- (log (* y y)) (log z)) (log (/ (* y y) z)) (exp (/ (* y y) z)) (/ (* (* (* y y) y) (* (* y y) y)) (* (* z z) z)) (/ (* (* (* y y) (* y y)) (* y y)) (* (* z z) z)) (* (cbrt (/ (* y y) z)) (cbrt (/ (* y y) z))) (cbrt (/ (* y y) z)) (* (* (/ (* y y) z) (/ (* y y) z)) (/ (* y y) z)) (sqrt (/ (* y y) z)) (sqrt (/ (* y y) z)) (- (* y y)) (- z) (/ y (* (cbrt z) (cbrt z))) (/ y (cbrt z)) (/ y (sqrt z)) (/ y (sqrt z)) (/ y 1) (/ y z) (/ 1 z) (/ z (* y y)) (/ (* y y) (* (cbrt z) (cbrt z))) (/ (* y y) (sqrt z)) (/ (* y y) 1) (/ z y) (expm1 (+ x (/ (* y y) z))) (log1p (+ x (/ (* y y) z))) (* (exp x) (exp (/ (* y y) z))) (log (+ x (/ (* y y) z))) (exp (+ x (/ (* y y) z))) (* (cbrt (+ x (/ (* y y) z))) (cbrt (+ x (/ (* y y) z)))) (cbrt (+ x (/ (* y y) z))) (* (* (+ x (/ (* y y) z)) (+ x (/ (* y y) z))) (+ x (/ (* y y) z))) (sqrt (+ x (/ (* y y) z))) (sqrt (+ x (/ (* y y) z))) (+ (pow x 3) (pow (/ (* y y) z) 3)) (+ (* x x) (- (* (/ (* y y) z) (/ (* y y) z)) (* x (/ (* y y) z)))) (- (* x x) (* (/ (* y y) z) (/ (* y y) z))) (- x (/ (* y y) z)) (+ x (/ (* y y) z)) (/ (pow y 2) z) (/ (pow y 2) z) (/ (pow y 2) z) (+ x (/ (pow y 2) z)) (+ x (/ (pow y 2) z)) (+ x (/ (pow y 2) z)) 3.398 * * [simplify]: Extracting # 0 : cost 0 3.398 * * [simplify]: Extracting # 1 : cost 0 3.398 * * [simplify]: Extracting # 2 : cost 0 3.398 * * [simplify]: Extracting # 3 : cost 0 3.398 * * [simplify]: Extracting # 4 : cost 0 3.398 * * [simplify]: Extracting # 5 : cost 0 3.398 * * [simplify]: iteration 0 : 71 enodes (cost 387 ) 3.423 * * [simplify]: Extracting # 0 : cost 0 3.424 * * [simplify]: Extracting # 1 : cost 0 3.424 * * [simplify]: Extracting # 2 : cost 0 3.424 * * [simplify]: Extracting # 3 : cost 0 3.424 * * [simplify]: Extracting # 4 : cost 0 3.424 * * [simplify]: iteration 1 : 168 enodes (cost 362 ) 3.487 * * [simplify]: Extracting # 0 : cost 0 3.487 * * [simplify]: Extracting # 1 : cost 0 3.488 * * [simplify]: Extracting # 2 : cost 0 3.488 * * [simplify]: Extracting # 3 : cost 0 3.489 * * [simplify]: Extracting # 4 : cost 0 3.489 * * [simplify]: iteration 2 : 485 enodes (cost 324 ) 3.817 * * [simplify]: Extracting # 0 : cost 0 3.820 * * [simplify]: Extracting # 1 : cost 0 3.822 * * [simplify]: Extracting # 2 : cost 0 3.824 * * [simplify]: Extracting # 3 : cost 0 3.827 * * [simplify]: Extracting # 4 : cost 0 3.828 * * [simplify]: iteration 3 : 1594 enodes (cost 309 ) 6.476 * * [simplify]: Extracting # 0 : cost 0 6.482 * * [simplify]: Extracting # 1 : cost 0 6.486 * * [simplify]: Extracting # 2 : cost 0 6.489 * * [simplify]: Extracting # 3 : cost 0 6.493 * * [simplify]: Extracting # 4 : cost 0 6.496 * * [simplify]: iteration done: 5001 enodes (cost 309 ) 6.497 * [simplify]: Simplified to: (expm1 (/ (* y y) z)) (log1p (/ (* y y) z)) (log (/ (* y y) z)) (log (/ (* y y) z)) (log (/ (* y y) z)) (exp (/ (* y y) z)) (pow (/ (* y y) z) 3) (pow (/ (* y y) z) 3) (* (cbrt (/ (* y y) z)) (cbrt (/ (* y y) z))) (cbrt (/ (* y y) z)) (pow (/ (* y y) z) 3) (sqrt (/ (* y y) z)) (sqrt (/ (* y y) z)) (- (* y y)) (- z) (/ y (* (cbrt z) (cbrt z))) (/ y (cbrt z)) (/ y (sqrt z)) (/ y (sqrt z)) y (/ y z) (/ 1 z) (/ (/ z y) y) (/ (* y y) (* (cbrt z) (cbrt z))) (/ (* y y) (sqrt z)) (* y y) (/ z y) (expm1 (fma (/ y z) y x)) (log1p (fma (/ y z) y x)) (exp (fma (/ y z) y x)) (log (fma (/ y z) y x)) (exp (fma (/ y z) y x)) (* (cbrt (fma (/ y z) y x)) (cbrt (fma (/ y z) y x))) (cbrt (fma (/ y z) y x)) (pow (fma (/ y z) y x) 3) (sqrt (fma (/ y z) y x)) (sqrt (fma (/ y z) y x)) (+ (pow x 3) (pow (/ (* y y) z) 3)) (fma x x (* (/ (* y y) z) (- (/ (* y y) z) x))) (- (* x x) (/ (pow y 4) (* z z))) (- x (/ (* y y) z)) (fma (/ y z) y x) (/ (* y y) z) (/ (* y y) z) (/ (* y y) z) (fma (/ y z) y x) (fma (/ y z) y x) (fma (/ y z) y x) 6.497 * * * [progress]: adding candidates to table 6.624 * * [progress]: iteration 3 / 4 6.624 * * * [progress]: picking best candidate 6.630 * * * * [pick]: Picked # 6.630 * * * [progress]: localizing error 6.640 * * * [progress]: generating rewritten candidates 6.640 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 6.654 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 6.702 * * * [progress]: generating series expansions 6.702 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 6.703 * [backup-simplify]: Simplify (/ y (/ z y)) into (/ (pow y 2) z) 6.703 * [approximate]: Taking taylor expansion of (/ (pow y 2) z) in (y z) around 0 6.703 * [taylor]: Taking taylor expansion of (/ (pow y 2) z) in z 6.703 * [taylor]: Taking taylor expansion of (pow y 2) in z 6.703 * [taylor]: Taking taylor expansion of y in z 6.703 * [backup-simplify]: Simplify y into y 6.703 * [taylor]: Taking taylor expansion of z in z 6.703 * [backup-simplify]: Simplify 0 into 0 6.703 * [backup-simplify]: Simplify 1 into 1 6.703 * [backup-simplify]: Simplify (* y y) into (pow y 2) 6.703 * [backup-simplify]: Simplify (/ (pow y 2) 1) into (pow y 2) 6.703 * [taylor]: Taking taylor expansion of (/ (pow y 2) z) in y 6.703 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.703 * [taylor]: Taking taylor expansion of y in y 6.703 * [backup-simplify]: Simplify 0 into 0 6.703 * [backup-simplify]: Simplify 1 into 1 6.703 * [taylor]: Taking taylor expansion of z in y 6.703 * [backup-simplify]: Simplify z into z 6.704 * [backup-simplify]: Simplify (* 1 1) into 1 6.704 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 6.704 * [taylor]: Taking taylor expansion of (/ (pow y 2) z) in y 6.704 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.704 * [taylor]: Taking taylor expansion of y in y 6.704 * [backup-simplify]: Simplify 0 into 0 6.704 * [backup-simplify]: Simplify 1 into 1 6.704 * [taylor]: Taking taylor expansion of z in y 6.704 * [backup-simplify]: Simplify z into z 6.705 * [backup-simplify]: Simplify (* 1 1) into 1 6.705 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 6.705 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.705 * [taylor]: Taking taylor expansion of z in z 6.705 * [backup-simplify]: Simplify 0 into 0 6.705 * [backup-simplify]: Simplify 1 into 1 6.705 * [backup-simplify]: Simplify (/ 1 1) into 1 6.705 * [backup-simplify]: Simplify 1 into 1 6.706 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.706 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0 6.706 * [taylor]: Taking taylor expansion of 0 in z 6.706 * [backup-simplify]: Simplify 0 into 0 6.707 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.707 * [backup-simplify]: Simplify 0 into 0 6.708 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 6.708 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 6.708 * [taylor]: Taking taylor expansion of 0 in z 6.708 * [backup-simplify]: Simplify 0 into 0 6.708 * [backup-simplify]: Simplify 0 into 0 6.709 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.709 * [backup-simplify]: Simplify 0 into 0 6.709 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.710 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 6.710 * [taylor]: Taking taylor expansion of 0 in z 6.710 * [backup-simplify]: Simplify 0 into 0 6.710 * [backup-simplify]: Simplify 0 into 0 6.710 * [backup-simplify]: Simplify 0 into 0 6.710 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.710 * [backup-simplify]: Simplify 0 into 0 6.710 * [backup-simplify]: Simplify (* 1 (* (/ 1 z) (pow y 2))) into (/ (pow y 2) z) 6.711 * [backup-simplify]: Simplify (/ (/ 1 y) (/ (/ 1 z) (/ 1 y))) into (/ z (pow y 2)) 6.711 * [approximate]: Taking taylor expansion of (/ z (pow y 2)) in (y z) around 0 6.711 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in z 6.711 * [taylor]: Taking taylor expansion of z in z 6.711 * [backup-simplify]: Simplify 0 into 0 6.711 * [backup-simplify]: Simplify 1 into 1 6.711 * [taylor]: Taking taylor expansion of (pow y 2) in z 6.711 * [taylor]: Taking taylor expansion of y in z 6.711 * [backup-simplify]: Simplify y into y 6.711 * [backup-simplify]: Simplify (* y y) into (pow y 2) 6.711 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 6.711 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in y 6.711 * [taylor]: Taking taylor expansion of z in y 6.711 * [backup-simplify]: Simplify z into z 6.711 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.711 * [taylor]: Taking taylor expansion of y in y 6.711 * [backup-simplify]: Simplify 0 into 0 6.711 * [backup-simplify]: Simplify 1 into 1 6.711 * [backup-simplify]: Simplify (* 1 1) into 1 6.711 * [backup-simplify]: Simplify (/ z 1) into z 6.711 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in y 6.711 * [taylor]: Taking taylor expansion of z in y 6.711 * [backup-simplify]: Simplify z into z 6.711 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.711 * [taylor]: Taking taylor expansion of y in y 6.711 * [backup-simplify]: Simplify 0 into 0 6.711 * [backup-simplify]: Simplify 1 into 1 6.712 * [backup-simplify]: Simplify (* 1 1) into 1 6.712 * [backup-simplify]: Simplify (/ z 1) into z 6.712 * [taylor]: Taking taylor expansion of z in z 6.712 * [backup-simplify]: Simplify 0 into 0 6.712 * [backup-simplify]: Simplify 1 into 1 6.712 * [backup-simplify]: Simplify 1 into 1 6.712 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.713 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 6.713 * [taylor]: Taking taylor expansion of 0 in z 6.713 * [backup-simplify]: Simplify 0 into 0 6.713 * [backup-simplify]: Simplify 0 into 0 6.713 * [backup-simplify]: Simplify 0 into 0 6.713 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 6.714 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.714 * [taylor]: Taking taylor expansion of 0 in z 6.714 * [backup-simplify]: Simplify 0 into 0 6.714 * [backup-simplify]: Simplify 0 into 0 6.714 * [backup-simplify]: Simplify 0 into 0 6.714 * [backup-simplify]: Simplify 0 into 0 6.715 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.716 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.716 * [taylor]: Taking taylor expansion of 0 in z 6.716 * [backup-simplify]: Simplify 0 into 0 6.716 * [backup-simplify]: Simplify 0 into 0 6.716 * [backup-simplify]: Simplify (* 1 (* (/ 1 z) (pow (/ 1 y) -2))) into (/ (pow y 2) z) 6.716 * [backup-simplify]: Simplify (/ (/ 1 (- y)) (/ (/ 1 (- z)) (/ 1 (- y)))) into (* -1 (/ z (pow y 2))) 6.716 * [approximate]: Taking taylor expansion of (* -1 (/ z (pow y 2))) in (y z) around 0 6.716 * [taylor]: Taking taylor expansion of (* -1 (/ z (pow y 2))) in z 6.716 * [taylor]: Taking taylor expansion of -1 in z 6.716 * [backup-simplify]: Simplify -1 into -1 6.716 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in z 6.716 * [taylor]: Taking taylor expansion of z in z 6.716 * [backup-simplify]: Simplify 0 into 0 6.716 * [backup-simplify]: Simplify 1 into 1 6.716 * [taylor]: Taking taylor expansion of (pow y 2) in z 6.716 * [taylor]: Taking taylor expansion of y in z 6.716 * [backup-simplify]: Simplify y into y 6.716 * [backup-simplify]: Simplify (* y y) into (pow y 2) 6.716 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 6.716 * [taylor]: Taking taylor expansion of (* -1 (/ z (pow y 2))) in y 6.716 * [taylor]: Taking taylor expansion of -1 in y 6.716 * [backup-simplify]: Simplify -1 into -1 6.716 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in y 6.716 * [taylor]: Taking taylor expansion of z in y 6.716 * [backup-simplify]: Simplify z into z 6.716 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.716 * [taylor]: Taking taylor expansion of y in y 6.716 * [backup-simplify]: Simplify 0 into 0 6.717 * [backup-simplify]: Simplify 1 into 1 6.717 * [backup-simplify]: Simplify (* 1 1) into 1 6.717 * [backup-simplify]: Simplify (/ z 1) into z 6.717 * [taylor]: Taking taylor expansion of (* -1 (/ z (pow y 2))) in y 6.717 * [taylor]: Taking taylor expansion of -1 in y 6.717 * [backup-simplify]: Simplify -1 into -1 6.717 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in y 6.717 * [taylor]: Taking taylor expansion of z in y 6.717 * [backup-simplify]: Simplify z into z 6.717 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.717 * [taylor]: Taking taylor expansion of y in y 6.717 * [backup-simplify]: Simplify 0 into 0 6.717 * [backup-simplify]: Simplify 1 into 1 6.717 * [backup-simplify]: Simplify (* 1 1) into 1 6.717 * [backup-simplify]: Simplify (/ z 1) into z 6.717 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 6.717 * [taylor]: Taking taylor expansion of (* -1 z) in z 6.717 * [taylor]: Taking taylor expansion of -1 in z 6.717 * [backup-simplify]: Simplify -1 into -1 6.717 * [taylor]: Taking taylor expansion of z in z 6.717 * [backup-simplify]: Simplify 0 into 0 6.717 * [backup-simplify]: Simplify 1 into 1 6.718 * [backup-simplify]: Simplify (+ (* -1 1) (* 0 0)) into -1 6.718 * [backup-simplify]: Simplify -1 into -1 6.718 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.719 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 6.719 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 z)) into 0 6.719 * [taylor]: Taking taylor expansion of 0 in z 6.719 * [backup-simplify]: Simplify 0 into 0 6.719 * [backup-simplify]: Simplify 0 into 0 6.720 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0 6.720 * [backup-simplify]: Simplify 0 into 0 6.720 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 6.721 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.721 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 z))) into 0 6.721 * [taylor]: Taking taylor expansion of 0 in z 6.721 * [backup-simplify]: Simplify 0 into 0 6.721 * [backup-simplify]: Simplify 0 into 0 6.721 * [backup-simplify]: Simplify 0 into 0 6.722 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 6.722 * [backup-simplify]: Simplify 0 into 0 6.723 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.724 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.724 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0 6.724 * [taylor]: Taking taylor expansion of 0 in z 6.725 * [backup-simplify]: Simplify 0 into 0 6.725 * [backup-simplify]: Simplify 0 into 0 6.725 * [backup-simplify]: Simplify (* -1 (* (/ 1 (- z)) (pow (/ 1 (- y)) -2))) into (/ (pow y 2) z) 6.725 * * * * [progress]: [ 2 / 2 ] generating series at (2) 6.725 * [backup-simplify]: Simplify (+ x (/ y (/ z y))) into (+ x (/ (pow y 2) z)) 6.725 * [approximate]: Taking taylor expansion of (+ x (/ (pow y 2) z)) in (x y z) around 0 6.725 * [taylor]: Taking taylor expansion of (+ x (/ (pow y 2) z)) in z 6.725 * [taylor]: Taking taylor expansion of x in z 6.725 * [backup-simplify]: Simplify x into x 6.725 * [taylor]: Taking taylor expansion of (/ (pow y 2) z) in z 6.725 * [taylor]: Taking taylor expansion of (pow y 2) in z 6.725 * [taylor]: Taking taylor expansion of y in z 6.725 * [backup-simplify]: Simplify y into y 6.725 * [taylor]: Taking taylor expansion of z in z 6.725 * [backup-simplify]: Simplify 0 into 0 6.725 * [backup-simplify]: Simplify 1 into 1 6.725 * [backup-simplify]: Simplify (* y y) into (pow y 2) 6.725 * [backup-simplify]: Simplify (/ (pow y 2) 1) into (pow y 2) 6.725 * [taylor]: Taking taylor expansion of (+ x (/ (pow y 2) z)) in y 6.725 * [taylor]: Taking taylor expansion of x in y 6.725 * [backup-simplify]: Simplify x into x 6.725 * [taylor]: Taking taylor expansion of (/ (pow y 2) z) in y 6.725 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.725 * [taylor]: Taking taylor expansion of y in y 6.725 * [backup-simplify]: Simplify 0 into 0 6.725 * [backup-simplify]: Simplify 1 into 1 6.725 * [taylor]: Taking taylor expansion of z in y 6.725 * [backup-simplify]: Simplify z into z 6.726 * [backup-simplify]: Simplify (* 1 1) into 1 6.726 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 6.726 * [taylor]: Taking taylor expansion of (+ x (/ (pow y 2) z)) in x 6.726 * [taylor]: Taking taylor expansion of x in x 6.726 * [backup-simplify]: Simplify 0 into 0 6.726 * [backup-simplify]: Simplify 1 into 1 6.726 * [taylor]: Taking taylor expansion of (/ (pow y 2) z) in x 6.726 * [taylor]: Taking taylor expansion of (pow y 2) in x 6.726 * [taylor]: Taking taylor expansion of y in x 6.726 * [backup-simplify]: Simplify y into y 6.726 * [taylor]: Taking taylor expansion of z in x 6.726 * [backup-simplify]: Simplify z into z 6.726 * [backup-simplify]: Simplify (* y y) into (pow y 2) 6.726 * [backup-simplify]: Simplify (/ (pow y 2) z) into (/ (pow y 2) z) 6.726 * [taylor]: Taking taylor expansion of (+ x (/ (pow y 2) z)) in x 6.726 * [taylor]: Taking taylor expansion of x in x 6.726 * [backup-simplify]: Simplify 0 into 0 6.726 * [backup-simplify]: Simplify 1 into 1 6.726 * [taylor]: Taking taylor expansion of (/ (pow y 2) z) in x 6.726 * [taylor]: Taking taylor expansion of (pow y 2) in x 6.726 * [taylor]: Taking taylor expansion of y in x 6.726 * [backup-simplify]: Simplify y into y 6.726 * [taylor]: Taking taylor expansion of z in x 6.726 * [backup-simplify]: Simplify z into z 6.726 * [backup-simplify]: Simplify (* y y) into (pow y 2) 6.726 * [backup-simplify]: Simplify (/ (pow y 2) z) into (/ (pow y 2) z) 6.726 * [backup-simplify]: Simplify (+ 0 (/ (pow y 2) z)) into (/ (pow y 2) z) 6.726 * [taylor]: Taking taylor expansion of (/ (pow y 2) z) in y 6.726 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.726 * [taylor]: Taking taylor expansion of y in y 6.727 * [backup-simplify]: Simplify 0 into 0 6.727 * [backup-simplify]: Simplify 1 into 1 6.727 * [taylor]: Taking taylor expansion of z in y 6.727 * [backup-simplify]: Simplify z into z 6.727 * [backup-simplify]: Simplify (* 1 1) into 1 6.727 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 6.727 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 6.727 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ (pow y 2) z) (/ 0 z)))) into 0 6.727 * [backup-simplify]: Simplify (+ 1 0) into 1 6.727 * [taylor]: Taking taylor expansion of 1 in y 6.727 * [backup-simplify]: Simplify 1 into 1 6.727 * [taylor]: Taking taylor expansion of 1 in z 6.727 * [backup-simplify]: Simplify 1 into 1 6.728 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 6.728 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ (pow y 2) z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 6.728 * [backup-simplify]: Simplify (+ 0 0) into 0 6.728 * [taylor]: Taking taylor expansion of 0 in y 6.728 * [backup-simplify]: Simplify 0 into 0 6.728 * [taylor]: Taking taylor expansion of 0 in z 6.728 * [backup-simplify]: Simplify 0 into 0 6.728 * [taylor]: Taking taylor expansion of 0 in z 6.728 * [backup-simplify]: Simplify 0 into 0 6.728 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.728 * [taylor]: Taking taylor expansion of z in z 6.728 * [backup-simplify]: Simplify 0 into 0 6.728 * [backup-simplify]: Simplify 1 into 1 6.729 * [backup-simplify]: Simplify (/ 1 1) into 1 6.729 * [backup-simplify]: Simplify 1 into 1 6.729 * [backup-simplify]: Simplify 1 into 1 6.729 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 6.729 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ (pow y 2) z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 6.730 * [backup-simplify]: Simplify (+ 0 0) into 0 6.730 * [taylor]: Taking taylor expansion of 0 in y 6.730 * [backup-simplify]: Simplify 0 into 0 6.730 * [taylor]: Taking taylor expansion of 0 in z 6.730 * [backup-simplify]: Simplify 0 into 0 6.730 * [taylor]: Taking taylor expansion of 0 in z 6.730 * [backup-simplify]: Simplify 0 into 0 6.730 * [taylor]: Taking taylor expansion of 0 in z 6.730 * [backup-simplify]: Simplify 0 into 0 6.730 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.730 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0 6.730 * [taylor]: Taking taylor expansion of 0 in z 6.730 * [backup-simplify]: Simplify 0 into 0 6.730 * [backup-simplify]: Simplify 0 into 0 6.730 * [backup-simplify]: Simplify 0 into 0 6.731 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.731 * [backup-simplify]: Simplify 0 into 0 6.731 * [backup-simplify]: Simplify 0 into 0 6.731 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 6.732 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ (pow y 2) z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 6.732 * [backup-simplify]: Simplify (+ 0 0) into 0 6.732 * [taylor]: Taking taylor expansion of 0 in y 6.732 * [backup-simplify]: Simplify 0 into 0 6.732 * [taylor]: Taking taylor expansion of 0 in z 6.732 * [backup-simplify]: Simplify 0 into 0 6.732 * [taylor]: Taking taylor expansion of 0 in z 6.732 * [backup-simplify]: Simplify 0 into 0 6.732 * [taylor]: Taking taylor expansion of 0 in z 6.732 * [backup-simplify]: Simplify 0 into 0 6.732 * [taylor]: Taking taylor expansion of 0 in z 6.732 * [backup-simplify]: Simplify 0 into 0 6.733 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 6.733 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 6.733 * [taylor]: Taking taylor expansion of 0 in z 6.733 * [backup-simplify]: Simplify 0 into 0 6.733 * [backup-simplify]: Simplify 0 into 0 6.733 * [backup-simplify]: Simplify 0 into 0 6.733 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 x))) (* 1 (* (/ 1 z) (* (pow y 2) 1)))) into (+ x (/ (pow y 2) z)) 6.733 * [backup-simplify]: Simplify (+ (/ 1 x) (/ (/ 1 y) (/ (/ 1 z) (/ 1 y)))) into (+ (/ z (pow y 2)) (/ 1 x)) 6.733 * [approximate]: Taking taylor expansion of (+ (/ z (pow y 2)) (/ 1 x)) in (x y z) around 0 6.733 * [taylor]: Taking taylor expansion of (+ (/ z (pow y 2)) (/ 1 x)) in z 6.733 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in z 6.733 * [taylor]: Taking taylor expansion of z in z 6.733 * [backup-simplify]: Simplify 0 into 0 6.733 * [backup-simplify]: Simplify 1 into 1 6.733 * [taylor]: Taking taylor expansion of (pow y 2) in z 6.733 * [taylor]: Taking taylor expansion of y in z 6.733 * [backup-simplify]: Simplify y into y 6.734 * [backup-simplify]: Simplify (* y y) into (pow y 2) 6.734 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 6.734 * [taylor]: Taking taylor expansion of (/ 1 x) in z 6.734 * [taylor]: Taking taylor expansion of x in z 6.734 * [backup-simplify]: Simplify x into x 6.734 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 6.734 * [taylor]: Taking taylor expansion of (+ (/ z (pow y 2)) (/ 1 x)) in y 6.734 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in y 6.734 * [taylor]: Taking taylor expansion of z in y 6.734 * [backup-simplify]: Simplify z into z 6.734 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.734 * [taylor]: Taking taylor expansion of y in y 6.734 * [backup-simplify]: Simplify 0 into 0 6.734 * [backup-simplify]: Simplify 1 into 1 6.734 * [backup-simplify]: Simplify (* 1 1) into 1 6.734 * [backup-simplify]: Simplify (/ z 1) into z 6.734 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.734 * [taylor]: Taking taylor expansion of x in y 6.734 * [backup-simplify]: Simplify x into x 6.734 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 6.734 * [taylor]: Taking taylor expansion of (+ (/ z (pow y 2)) (/ 1 x)) in x 6.734 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in x 6.734 * [taylor]: Taking taylor expansion of z in x 6.734 * [backup-simplify]: Simplify z into z 6.734 * [taylor]: Taking taylor expansion of (pow y 2) in x 6.734 * [taylor]: Taking taylor expansion of y in x 6.734 * [backup-simplify]: Simplify y into y 6.734 * [backup-simplify]: Simplify (* y y) into (pow y 2) 6.734 * [backup-simplify]: Simplify (/ z (pow y 2)) into (/ z (pow y 2)) 6.734 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.734 * [taylor]: Taking taylor expansion of x in x 6.734 * [backup-simplify]: Simplify 0 into 0 6.734 * [backup-simplify]: Simplify 1 into 1 6.735 * [backup-simplify]: Simplify (/ 1 1) into 1 6.735 * [taylor]: Taking taylor expansion of (+ (/ z (pow y 2)) (/ 1 x)) in x 6.735 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in x 6.735 * [taylor]: Taking taylor expansion of z in x 6.735 * [backup-simplify]: Simplify z into z 6.735 * [taylor]: Taking taylor expansion of (pow y 2) in x 6.735 * [taylor]: Taking taylor expansion of y in x 6.735 * [backup-simplify]: Simplify y into y 6.735 * [backup-simplify]: Simplify (* y y) into (pow y 2) 6.735 * [backup-simplify]: Simplify (/ z (pow y 2)) into (/ z (pow y 2)) 6.735 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.735 * [taylor]: Taking taylor expansion of x in x 6.735 * [backup-simplify]: Simplify 0 into 0 6.735 * [backup-simplify]: Simplify 1 into 1 6.735 * [backup-simplify]: Simplify (/ 1 1) into 1 6.736 * [backup-simplify]: Simplify (+ 0 1) into 1 6.736 * [taylor]: Taking taylor expansion of 1 in y 6.736 * [backup-simplify]: Simplify 1 into 1 6.737 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.737 * [backup-simplify]: Simplify (+ (/ z (pow y 2)) 0) into (/ z (pow y 2)) 6.737 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in y 6.737 * [taylor]: Taking taylor expansion of z in y 6.737 * [backup-simplify]: Simplify z into z 6.737 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.737 * [taylor]: Taking taylor expansion of y in y 6.737 * [backup-simplify]: Simplify 0 into 0 6.737 * [backup-simplify]: Simplify 1 into 1 6.737 * [backup-simplify]: Simplify (* 1 1) into 1 6.737 * [backup-simplify]: Simplify (/ z 1) into z 6.737 * [taylor]: Taking taylor expansion of z in z 6.737 * [backup-simplify]: Simplify 0 into 0 6.737 * [backup-simplify]: Simplify 1 into 1 6.737 * [backup-simplify]: Simplify 0 into 0 6.738 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 6.738 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ z (pow y 2)) (/ 0 (pow y 2))))) into 0 6.739 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.739 * [backup-simplify]: Simplify (+ 0 0) into 0 6.739 * [taylor]: Taking taylor expansion of 0 in y 6.739 * [backup-simplify]: Simplify 0 into 0 6.740 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.740 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 6.741 * [taylor]: Taking taylor expansion of 0 in z 6.741 * [backup-simplify]: Simplify 0 into 0 6.741 * [backup-simplify]: Simplify 0 into 0 6.741 * [taylor]: Taking taylor expansion of 1 in z 6.741 * [backup-simplify]: Simplify 1 into 1 6.741 * [backup-simplify]: Simplify 1 into 1 6.741 * [backup-simplify]: Simplify 1 into 1 6.741 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 6.741 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ z (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 6.742 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.742 * [backup-simplify]: Simplify (+ 0 0) into 0 6.742 * [taylor]: Taking taylor expansion of 0 in y 6.742 * [backup-simplify]: Simplify 0 into 0 6.743 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 6.744 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.744 * [taylor]: Taking taylor expansion of 0 in z 6.744 * [backup-simplify]: Simplify 0 into 0 6.744 * [backup-simplify]: Simplify 0 into 0 6.744 * [taylor]: Taking taylor expansion of 0 in z 6.744 * [backup-simplify]: Simplify 0 into 0 6.744 * [backup-simplify]: Simplify 0 into 0 6.744 * [backup-simplify]: Simplify 0 into 0 6.744 * [backup-simplify]: Simplify 0 into 0 6.744 * [backup-simplify]: Simplify 0 into 0 6.744 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 6.745 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ z (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 6.745 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.745 * [backup-simplify]: Simplify (+ 0 0) into 0 6.745 * [taylor]: Taking taylor expansion of 0 in y 6.745 * [backup-simplify]: Simplify 0 into 0 6.746 * [taylor]: Taking taylor expansion of 0 in z 6.746 * [backup-simplify]: Simplify 0 into 0 6.746 * [backup-simplify]: Simplify 0 into 0 6.746 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 z) (* (pow (/ 1 y) -2) 1))) (* 1 (* 1 (* 1 (/ 1 (/ 1 x)))))) into (+ x (/ (pow y 2) z)) 6.746 * [backup-simplify]: Simplify (+ (/ 1 (- x)) (/ (/ 1 (- y)) (/ (/ 1 (- z)) (/ 1 (- y))))) into (- (+ (/ z (pow y 2)) (/ 1 x))) 6.746 * [approximate]: Taking taylor expansion of (- (+ (/ z (pow y 2)) (/ 1 x))) in (x y z) around 0 6.746 * [taylor]: Taking taylor expansion of (- (+ (/ z (pow y 2)) (/ 1 x))) in z 6.746 * [taylor]: Taking taylor expansion of (+ (/ z (pow y 2)) (/ 1 x)) in z 6.746 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in z 6.746 * [taylor]: Taking taylor expansion of z in z 6.746 * [backup-simplify]: Simplify 0 into 0 6.746 * [backup-simplify]: Simplify 1 into 1 6.746 * [taylor]: Taking taylor expansion of (pow y 2) in z 6.746 * [taylor]: Taking taylor expansion of y in z 6.746 * [backup-simplify]: Simplify y into y 6.746 * [backup-simplify]: Simplify (* y y) into (pow y 2) 6.746 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 6.746 * [taylor]: Taking taylor expansion of (/ 1 x) in z 6.746 * [taylor]: Taking taylor expansion of x in z 6.746 * [backup-simplify]: Simplify x into x 6.746 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 6.746 * [taylor]: Taking taylor expansion of (- (+ (/ z (pow y 2)) (/ 1 x))) in y 6.746 * [taylor]: Taking taylor expansion of (+ (/ z (pow y 2)) (/ 1 x)) in y 6.746 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in y 6.747 * [taylor]: Taking taylor expansion of z in y 6.747 * [backup-simplify]: Simplify z into z 6.747 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.747 * [taylor]: Taking taylor expansion of y in y 6.747 * [backup-simplify]: Simplify 0 into 0 6.747 * [backup-simplify]: Simplify 1 into 1 6.747 * [backup-simplify]: Simplify (* 1 1) into 1 6.747 * [backup-simplify]: Simplify (/ z 1) into z 6.747 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.747 * [taylor]: Taking taylor expansion of x in y 6.747 * [backup-simplify]: Simplify x into x 6.747 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 6.747 * [taylor]: Taking taylor expansion of (- (+ (/ z (pow y 2)) (/ 1 x))) in x 6.747 * [taylor]: Taking taylor expansion of (+ (/ z (pow y 2)) (/ 1 x)) in x 6.747 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in x 6.747 * [taylor]: Taking taylor expansion of z in x 6.747 * [backup-simplify]: Simplify z into z 6.747 * [taylor]: Taking taylor expansion of (pow y 2) in x 6.747 * [taylor]: Taking taylor expansion of y in x 6.747 * [backup-simplify]: Simplify y into y 6.747 * [backup-simplify]: Simplify (* y y) into (pow y 2) 6.747 * [backup-simplify]: Simplify (/ z (pow y 2)) into (/ z (pow y 2)) 6.747 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.747 * [taylor]: Taking taylor expansion of x in x 6.747 * [backup-simplify]: Simplify 0 into 0 6.747 * [backup-simplify]: Simplify 1 into 1 6.748 * [backup-simplify]: Simplify (/ 1 1) into 1 6.748 * [taylor]: Taking taylor expansion of (- (+ (/ z (pow y 2)) (/ 1 x))) in x 6.748 * [taylor]: Taking taylor expansion of (+ (/ z (pow y 2)) (/ 1 x)) in x 6.748 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in x 6.748 * [taylor]: Taking taylor expansion of z in x 6.748 * [backup-simplify]: Simplify z into z 6.748 * [taylor]: Taking taylor expansion of (pow y 2) in x 6.748 * [taylor]: Taking taylor expansion of y in x 6.748 * [backup-simplify]: Simplify y into y 6.748 * [backup-simplify]: Simplify (* y y) into (pow y 2) 6.748 * [backup-simplify]: Simplify (/ z (pow y 2)) into (/ z (pow y 2)) 6.748 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.748 * [taylor]: Taking taylor expansion of x in x 6.748 * [backup-simplify]: Simplify 0 into 0 6.748 * [backup-simplify]: Simplify 1 into 1 6.748 * [backup-simplify]: Simplify (/ 1 1) into 1 6.749 * [backup-simplify]: Simplify (+ 0 1) into 1 6.749 * [backup-simplify]: Simplify (- 1) into -1 6.749 * [taylor]: Taking taylor expansion of -1 in y 6.749 * [backup-simplify]: Simplify -1 into -1 6.749 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.749 * [backup-simplify]: Simplify (+ (/ z (pow y 2)) 0) into (/ z (pow y 2)) 6.750 * [backup-simplify]: Simplify (- (/ z (pow y 2))) into (- (/ z (pow y 2))) 6.750 * [taylor]: Taking taylor expansion of (- (/ z (pow y 2))) in y 6.750 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in y 6.750 * [taylor]: Taking taylor expansion of z in y 6.750 * [backup-simplify]: Simplify z into z 6.750 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.750 * [taylor]: Taking taylor expansion of y in y 6.750 * [backup-simplify]: Simplify 0 into 0 6.750 * [backup-simplify]: Simplify 1 into 1 6.750 * [backup-simplify]: Simplify (* 1 1) into 1 6.750 * [backup-simplify]: Simplify (/ z 1) into z 6.750 * [backup-simplify]: Simplify (- z) into (- z) 6.750 * [taylor]: Taking taylor expansion of (- z) in z 6.750 * [taylor]: Taking taylor expansion of z in z 6.750 * [backup-simplify]: Simplify 0 into 0 6.750 * [backup-simplify]: Simplify 1 into 1 6.750 * [backup-simplify]: Simplify (- 0) into 0 6.750 * [backup-simplify]: Simplify 0 into 0 6.750 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 6.751 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ z (pow y 2)) (/ 0 (pow y 2))))) into 0 6.751 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.751 * [backup-simplify]: Simplify (+ 0 0) into 0 6.752 * [backup-simplify]: Simplify (- 0) into 0 6.752 * [taylor]: Taking taylor expansion of 0 in y 6.752 * [backup-simplify]: Simplify 0 into 0 6.752 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.753 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 6.753 * [backup-simplify]: Simplify (- 0) into 0 6.753 * [taylor]: Taking taylor expansion of 0 in z 6.753 * [backup-simplify]: Simplify 0 into 0 6.753 * [backup-simplify]: Simplify 0 into 0 6.753 * [taylor]: Taking taylor expansion of -1 in z 6.753 * [backup-simplify]: Simplify -1 into -1 6.753 * [backup-simplify]: Simplify -1 into -1 6.753 * [backup-simplify]: Simplify (- 1) into -1 6.753 * [backup-simplify]: Simplify -1 into -1 6.753 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 6.754 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ z (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 6.754 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.755 * [backup-simplify]: Simplify (+ 0 0) into 0 6.755 * [backup-simplify]: Simplify (- 0) into 0 6.755 * [taylor]: Taking taylor expansion of 0 in y 6.755 * [backup-simplify]: Simplify 0 into 0 6.755 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 6.756 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.757 * [backup-simplify]: Simplify (- 0) into 0 6.757 * [taylor]: Taking taylor expansion of 0 in z 6.757 * [backup-simplify]: Simplify 0 into 0 6.757 * [backup-simplify]: Simplify 0 into 0 6.757 * [taylor]: Taking taylor expansion of 0 in z 6.757 * [backup-simplify]: Simplify 0 into 0 6.757 * [backup-simplify]: Simplify 0 into 0 6.757 * [backup-simplify]: Simplify 0 into 0 6.757 * [backup-simplify]: Simplify 0 into 0 6.757 * [backup-simplify]: Simplify (- 0) into 0 6.757 * [backup-simplify]: Simplify 0 into 0 6.758 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 6.759 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ z (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 6.760 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.760 * [backup-simplify]: Simplify (+ 0 0) into 0 6.761 * [backup-simplify]: Simplify (- 0) into 0 6.761 * [taylor]: Taking taylor expansion of 0 in y 6.761 * [backup-simplify]: Simplify 0 into 0 6.761 * [taylor]: Taking taylor expansion of 0 in z 6.761 * [backup-simplify]: Simplify 0 into 0 6.761 * [backup-simplify]: Simplify 0 into 0 6.761 * [backup-simplify]: Simplify (+ (* -1 (* (/ 1 (- z)) (* (pow (/ 1 (- y)) -2) 1))) (* -1 (* 1 (* 1 (/ 1 (/ 1 (- x))))))) into (+ x (/ (pow y 2) z)) 6.761 * * * [progress]: simplifying candidates 6.763 * [simplify]: Simplifying: (expm1 (/ y (/ z y))) (log1p (/ y (/ z y))) (- (log y) (- (log z) (log y))) (- (log y) (log (/ z y))) (log (/ y (/ z y))) (exp (/ y (/ z y))) (/ (* (* y y) y) (/ (* (* z z) z) (* (* y y) y))) (/ (* (* y y) y) (* (* (/ z y) (/ z y)) (/ z y))) (* (cbrt (/ y (/ z y))) (cbrt (/ y (/ z y)))) (cbrt (/ y (/ z y))) (* (* (/ y (/ z y)) (/ y (/ z y))) (/ y (/ z y))) (sqrt (/ y (/ z y))) (sqrt (/ y (/ z y))) (- y) (- (/ z y)) (/ (* (cbrt y) (cbrt y)) (* (cbrt (/ z y)) (cbrt (/ z y)))) (/ (cbrt y) (cbrt (/ z y))) (/ (* (cbrt y) (cbrt y)) (sqrt (/ z y))) (/ (cbrt y) (sqrt (/ z y))) (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y)))) (/ (cbrt y) (/ (cbrt z) (cbrt y))) (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt z) (cbrt z)) (sqrt y))) (/ (cbrt y) (/ (cbrt z) (sqrt y))) (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt z) (cbrt z)) 1)) (/ (cbrt y) (/ (cbrt z) y)) (/ (* (cbrt y) (cbrt y)) (/ (sqrt z) (* (cbrt y) (cbrt y)))) (/ (cbrt y) (/ (sqrt z) (cbrt y))) (/ (* (cbrt y) (cbrt y)) (/ (sqrt z) (sqrt y))) (/ (cbrt y) (/ (sqrt z) (sqrt y))) (/ (* (cbrt y) (cbrt y)) (/ (sqrt z) 1)) (/ (cbrt y) (/ (sqrt z) y)) (/ (* (cbrt y) (cbrt y)) (/ 1 (* (cbrt y) (cbrt y)))) (/ (cbrt y) (/ z (cbrt y))) (/ (* (cbrt y) (cbrt y)) (/ 1 (sqrt y))) (/ (cbrt y) (/ z (sqrt y))) (/ (* (cbrt y) (cbrt y)) (/ 1 1)) (/ (cbrt y) (/ z y)) (/ (* (cbrt y) (cbrt y)) 1) (/ (cbrt y) (/ z y)) (/ (* (cbrt y) (cbrt y)) z) (/ (cbrt y) (/ 1 y)) (/ (sqrt y) (* (cbrt (/ z y)) (cbrt (/ z y)))) (/ (sqrt y) (cbrt (/ z y))) (/ (sqrt y) (sqrt (/ z y))) (/ (sqrt y) (sqrt (/ z y))) (/ (sqrt y) (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y)))) (/ (sqrt y) (/ (cbrt z) (cbrt y))) (/ (sqrt y) (/ (* (cbrt z) (cbrt z)) (sqrt y))) (/ (sqrt y) (/ (cbrt z) (sqrt y))) (/ (sqrt y) (/ (* (cbrt z) (cbrt z)) 1)) (/ (sqrt y) (/ (cbrt z) y)) (/ (sqrt y) (/ (sqrt z) (* (cbrt y) (cbrt y)))) (/ (sqrt y) (/ (sqrt z) (cbrt y))) (/ (sqrt y) (/ (sqrt z) (sqrt y))) (/ (sqrt y) (/ (sqrt z) (sqrt y))) (/ (sqrt y) (/ (sqrt z) 1)) (/ (sqrt y) (/ (sqrt z) y)) (/ (sqrt y) (/ 1 (* (cbrt y) (cbrt y)))) (/ (sqrt y) (/ z (cbrt y))) (/ (sqrt y) (/ 1 (sqrt y))) (/ (sqrt y) (/ z (sqrt y))) (/ (sqrt y) (/ 1 1)) (/ (sqrt y) (/ z y)) (/ (sqrt y) 1) (/ (sqrt y) (/ z y)) (/ (sqrt y) z) (/ (sqrt y) (/ 1 y)) (/ 1 (* (cbrt (/ z y)) (cbrt (/ z y)))) (/ y (cbrt (/ z y))) (/ 1 (sqrt (/ z y))) (/ y (sqrt (/ z y))) (/ 1 (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y)))) (/ y (/ (cbrt z) (cbrt y))) (/ 1 (/ (* (cbrt z) (cbrt z)) (sqrt y))) (/ y (/ (cbrt z) (sqrt y))) (/ 1 (/ (* (cbrt z) (cbrt z)) 1)) (/ y (/ (cbrt z) y)) (/ 1 (/ (sqrt z) (* (cbrt y) (cbrt y)))) (/ y (/ (sqrt z) (cbrt y))) (/ 1 (/ (sqrt z) (sqrt y))) (/ y (/ (sqrt z) (sqrt y))) (/ 1 (/ (sqrt z) 1)) (/ y (/ (sqrt z) y)) (/ 1 (/ 1 (* (cbrt y) (cbrt y)))) (/ y (/ z (cbrt y))) (/ 1 (/ 1 (sqrt y))) (/ y (/ z (sqrt y))) (/ 1 (/ 1 1)) (/ y (/ z y)) (/ 1 1) (/ y (/ z y)) (/ 1 z) (/ y (/ 1 y)) (/ 1 (/ z y)) (/ (/ z y) y) (/ y (* (cbrt (/ z y)) (cbrt (/ z y)))) (/ y (sqrt (/ z y))) (/ y (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y)))) (/ y (/ (* (cbrt z) (cbrt z)) (sqrt y))) (/ y (/ (* (cbrt z) (cbrt z)) 1)) (/ y (/ (sqrt z) (* (cbrt y) (cbrt y)))) (/ y (/ (sqrt z) (sqrt y))) (/ y (/ (sqrt z) 1)) (/ y (/ 1 (* (cbrt y) (cbrt y)))) (/ y (/ 1 (sqrt y))) (/ y (/ 1 1)) (/ y 1) (/ y z) (/ (/ z y) (cbrt y)) (/ (/ z y) (sqrt y)) (/ (/ z y) y) (/ y z) (expm1 (+ x (/ y (/ z y)))) (log1p (+ x (/ y (/ z y)))) (* (exp x) (exp (/ y (/ z y)))) (log (+ x (/ y (/ z y)))) (exp (+ x (/ y (/ z y)))) (* (cbrt (+ x (/ y (/ z y)))) (cbrt (+ x (/ y (/ z y))))) (cbrt (+ x (/ y (/ z y)))) (* (* (+ x (/ y (/ z y))) (+ x (/ y (/ z y)))) (+ x (/ y (/ z y)))) (sqrt (+ x (/ y (/ z y)))) (sqrt (+ x (/ y (/ z y)))) (+ (pow x 3) (pow (/ y (/ z y)) 3)) (+ (* x x) (- (* (/ y (/ z y)) (/ y (/ z y))) (* x (/ y (/ z y))))) (- (* x x) (* (/ y (/ z y)) (/ y (/ z y)))) (- x (/ y (/ z y))) (+ x (/ y (/ z y))) (/ (pow y 2) z) (/ (pow y 2) z) (/ (pow y 2) z) (+ x (/ (pow y 2) z)) (+ x (/ (pow y 2) z)) (+ x (/ (pow y 2) z)) 6.765 * * [simplify]: Extracting # 0 : cost 0 6.765 * * [simplify]: Extracting # 1 : cost 0 6.765 * * [simplify]: Extracting # 2 : cost 0 6.765 * * [simplify]: Extracting # 3 : cost 0 6.765 * * [simplify]: Extracting # 4 : cost 0 6.766 * * [simplify]: Extracting # 5 : cost 0 6.766 * * [simplify]: Extracting # 6 : cost 0 6.766 * * [simplify]: iteration 0 : 170 enodes (cost 1081 ) 6.815 * * [simplify]: Extracting # 0 : cost 0 6.815 * * [simplify]: Extracting # 1 : cost 0 6.816 * * [simplify]: Extracting # 2 : cost 0 6.816 * * [simplify]: Extracting # 3 : cost 0 6.816 * * [simplify]: iteration 1 : 371 enodes (cost 996 ) 7.008 * * [simplify]: Extracting # 0 : cost 0 7.011 * * [simplify]: Extracting # 1 : cost 0 7.013 * * [simplify]: Extracting # 2 : cost 0 7.016 * * [simplify]: Extracting # 3 : cost 0 7.018 * * [simplify]: iteration 2 : 1227 enodes (cost 909 ) 8.758 * * [simplify]: Extracting # 0 : cost 0 8.763 * * [simplify]: Extracting # 1 : cost 0 8.766 * * [simplify]: Extracting # 2 : cost 0 8.770 * * [simplify]: Extracting # 3 : cost 0 8.776 * * [simplify]: Extracting # 4 : cost 0 8.789 * * [simplify]: iteration 3 : 4367 enodes (cost 897 ) 10.125 * * [simplify]: Extracting # 0 : cost 0 10.133 * * [simplify]: Extracting # 1 : cost 0 10.141 * * [simplify]: iteration done: 5000 enodes (cost 897 ) 10.142 * [simplify]: Simplified to: (expm1 (/ y (/ z y))) (log1p (/ y (/ z y))) (log (/ y (/ z y))) (log (/ y (/ z y))) (log (/ y (/ z y))) (exp (/ y (/ z y))) (pow (/ y (/ z y)) 3) (pow (/ y (/ z y)) 3) (* (cbrt (/ y (/ z y))) (cbrt (/ y (/ z y)))) (cbrt (/ y (/ z y))) (pow (/ y (/ z y)) 3) (sqrt (/ y (/ z y))) (sqrt (/ y (/ z y))) (- y) (- (/ z y)) (/ (* (cbrt y) (cbrt y)) (* (cbrt (/ z y)) (cbrt (/ z y)))) (/ (cbrt y) (cbrt (/ z y))) (/ (* (cbrt y) (cbrt y)) (sqrt (/ z y))) (/ (cbrt y) (sqrt (/ z y))) (/ (pow (cbrt y) 3) (/ (* (cbrt z) (cbrt z)) (cbrt y))) (/ (* (cbrt y) (cbrt y)) (cbrt z)) (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt z) (cbrt z)) (sqrt y))) (/ (sqrt y) (/ (cbrt z) (cbrt y))) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (/ y (/ (cbrt z) (cbrt y))) (* (/ (pow (cbrt y) 3) (sqrt z)) (cbrt y)) (/ (cbrt y) (/ (sqrt z) (cbrt y))) (/ (* (cbrt y) (cbrt y)) (/ (sqrt z) (sqrt y))) (/ (sqrt y) (/ (sqrt z) (cbrt y))) (/ (cbrt y) (/ (sqrt z) (cbrt y))) (/ y (/ (sqrt z) (cbrt y))) (* (pow (cbrt y) 3) (cbrt y)) (/ (cbrt y) (/ z (cbrt y))) (* (* (cbrt y) (cbrt y)) (sqrt y)) (/ (cbrt y) (/ z (sqrt y))) (* (cbrt y) (cbrt y)) (/ y (/ z (cbrt y))) (* (cbrt y) (cbrt y)) (/ y (/ z (cbrt y))) (/ (cbrt y) (/ z (cbrt y))) (* (cbrt y) y) (/ (sqrt y) (* (cbrt (/ z y)) (cbrt (/ z y)))) (/ (sqrt y) (cbrt (/ z y))) (/ (sqrt y) (sqrt (/ z y))) (/ (sqrt y) (sqrt (/ z y))) (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt z) (cbrt z)) (sqrt y))) (/ (sqrt y) (/ (cbrt z) (cbrt y))) (/ y (* (cbrt z) (cbrt z))) (/ y (cbrt z)) (/ (sqrt y) (* (cbrt z) (cbrt z))) (/ (sqrt y) (/ (cbrt z) y)) (/ (* (cbrt y) (cbrt y)) (/ (sqrt z) (sqrt y))) (/ (sqrt y) (/ (sqrt z) (cbrt y))) (/ y (sqrt z)) (/ y (sqrt z)) (/ (sqrt y) (sqrt z)) (/ (sqrt y) (/ (sqrt z) y)) (* (* (cbrt y) (cbrt y)) (sqrt y)) (/ (cbrt y) (/ z (sqrt y))) y (/ y z) (sqrt y) (/ y (/ z (sqrt y))) (sqrt y) (/ y (/ z (sqrt y))) (/ (sqrt y) z) (* y (sqrt y)) (/ 1 (* (cbrt (/ z y)) (cbrt (/ z y)))) (/ y (cbrt (/ z y))) (/ 1 (sqrt (/ z y))) (/ y (sqrt (/ z y))) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (/ y (/ (cbrt z) (cbrt y))) (/ (sqrt y) (* (cbrt z) (cbrt z))) (/ (sqrt y) (/ (cbrt z) y)) (/ 1 (* (cbrt z) (cbrt z))) (/ y (/ (cbrt z) y)) (/ (cbrt y) (/ (sqrt z) (cbrt y))) (/ y (/ (sqrt z) (cbrt y))) (/ (sqrt y) (sqrt z)) (/ (sqrt y) (/ (sqrt z) y)) (/ 1 (sqrt z)) (/ y (/ (sqrt z) y)) (* (cbrt y) (cbrt y)) (/ y (/ z (cbrt y))) (sqrt y) (/ y (/ z (sqrt y))) 1 (/ (pow y 2) z) 1 (/ (pow y 2) z) (/ 1 z) (pow y 2) (/ y z) (/ (/ z y) y) (/ y (* (cbrt (/ z y)) (cbrt (/ z y)))) (/ y (sqrt (/ z y))) (/ y (/ (* (cbrt z) (cbrt z)) (* (cbrt y) (cbrt y)))) (/ y (/ (* (cbrt z) (cbrt z)) (sqrt y))) (/ y (* (cbrt z) (cbrt z))) (/ y (/ (sqrt z) (* (cbrt y) (cbrt y)))) (/ (sqrt y) (/ (sqrt z) y)) (/ y (sqrt z)) (* y (* (cbrt y) (cbrt y))) (* y (sqrt y)) y y (/ y z) (/ (/ z y) (cbrt y)) (/ (/ z (sqrt y)) y) (/ (/ z y) y) (/ y z) (expm1 (fma (/ y z) y x)) (log1p (fma (/ y z) y x)) (exp (fma (/ y z) y x)) (log (fma (/ y z) y x)) (exp (fma (/ y z) y x)) (* (cbrt (fma (/ y z) y x)) (cbrt (fma (/ y z) y x))) (cbrt (fma (/ y z) y x)) (pow (fma (/ y z) y x) 3) (sqrt (fma (/ y z) y x)) (sqrt (fma (/ y z) y x)) (+ (pow x 3) (pow (/ y (/ z y)) 3)) (fma x x (* (/ y (/ z y)) (- (/ y (/ z y)) x))) (- (* x x) (* (/ y z) (/ (pow y 3) z))) (- x (/ y (/ z y))) (fma (/ y z) y x) (/ (pow y 2) z) (/ (pow y 2) z) (/ (pow y 2) z) (fma (/ y z) y x) (fma (/ y z) y x) (fma (/ y z) y x) 10.143 * * * [progress]: adding candidates to table 10.421 * * [progress]: iteration 4 / 4 10.421 * * * [progress]: picking best candidate 10.424 * * * * [pick]: Picked # 10.424 * * * [progress]: localizing error 10.432 * * * [progress]: generating rewritten candidates 10.432 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 10.455 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 10.471 * * * [progress]: generating series expansions 10.471 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 10.471 * [backup-simplify]: Simplify (* (/ 1 z) (pow y 2)) into (/ (pow y 2) z) 10.471 * [approximate]: Taking taylor expansion of (/ (pow y 2) z) in (z y) around 0 10.471 * [taylor]: Taking taylor expansion of (/ (pow y 2) z) in y 10.471 * [taylor]: Taking taylor expansion of (pow y 2) in y 10.471 * [taylor]: Taking taylor expansion of y in y 10.471 * [backup-simplify]: Simplify 0 into 0 10.471 * [backup-simplify]: Simplify 1 into 1 10.471 * [taylor]: Taking taylor expansion of z in y 10.471 * [backup-simplify]: Simplify z into z 10.472 * [backup-simplify]: Simplify (* 1 1) into 1 10.472 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.472 * [taylor]: Taking taylor expansion of (/ (pow y 2) z) in z 10.472 * [taylor]: Taking taylor expansion of (pow y 2) in z 10.472 * [taylor]: Taking taylor expansion of y in z 10.472 * [backup-simplify]: Simplify y into y 10.472 * [taylor]: Taking taylor expansion of z in z 10.472 * [backup-simplify]: Simplify 0 into 0 10.472 * [backup-simplify]: Simplify 1 into 1 10.472 * [backup-simplify]: Simplify (* y y) into (pow y 2) 10.472 * [backup-simplify]: Simplify (/ (pow y 2) 1) into (pow y 2) 10.472 * [taylor]: Taking taylor expansion of (/ (pow y 2) z) in z 10.472 * [taylor]: Taking taylor expansion of (pow y 2) in z 10.472 * [taylor]: Taking taylor expansion of y in z 10.472 * [backup-simplify]: Simplify y into y 10.472 * [taylor]: Taking taylor expansion of z in z 10.472 * [backup-simplify]: Simplify 0 into 0 10.473 * [backup-simplify]: Simplify 1 into 1 10.473 * [backup-simplify]: Simplify (* y y) into (pow y 2) 10.473 * [backup-simplify]: Simplify (/ (pow y 2) 1) into (pow y 2) 10.473 * [taylor]: Taking taylor expansion of (pow y 2) in y 10.473 * [taylor]: Taking taylor expansion of y in y 10.473 * [backup-simplify]: Simplify 0 into 0 10.473 * [backup-simplify]: Simplify 1 into 1 10.473 * [backup-simplify]: Simplify (* 1 1) into 1 10.473 * [backup-simplify]: Simplify 1 into 1 10.474 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 10.474 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow y 2) (/ 0 1)))) into 0 10.475 * [taylor]: Taking taylor expansion of 0 in y 10.475 * [backup-simplify]: Simplify 0 into 0 10.475 * [backup-simplify]: Simplify 0 into 0 10.475 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.475 * [backup-simplify]: Simplify 0 into 0 10.476 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 10.477 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow y 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.477 * [taylor]: Taking taylor expansion of 0 in y 10.477 * [backup-simplify]: Simplify 0 into 0 10.477 * [backup-simplify]: Simplify 0 into 0 10.477 * [backup-simplify]: Simplify 0 into 0 10.478 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.478 * [backup-simplify]: Simplify 0 into 0 10.479 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 10.481 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow y 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.481 * [taylor]: Taking taylor expansion of 0 in y 10.481 * [backup-simplify]: Simplify 0 into 0 10.481 * [backup-simplify]: Simplify 0 into 0 10.481 * [backup-simplify]: Simplify (* 1 (* (pow y 2) (/ 1 z))) into (/ (pow y 2) z) 10.481 * [backup-simplify]: Simplify (* (/ 1 (/ 1 z)) (pow (/ 1 y) 2)) into (/ z (pow y 2)) 10.481 * [approximate]: Taking taylor expansion of (/ z (pow y 2)) in (z y) around 0 10.481 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in y 10.481 * [taylor]: Taking taylor expansion of z in y 10.481 * [backup-simplify]: Simplify z into z 10.481 * [taylor]: Taking taylor expansion of (pow y 2) in y 10.481 * [taylor]: Taking taylor expansion of y in y 10.482 * [backup-simplify]: Simplify 0 into 0 10.482 * [backup-simplify]: Simplify 1 into 1 10.482 * [backup-simplify]: Simplify (* 1 1) into 1 10.482 * [backup-simplify]: Simplify (/ z 1) into z 10.482 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in z 10.482 * [taylor]: Taking taylor expansion of z in z 10.482 * [backup-simplify]: Simplify 0 into 0 10.482 * [backup-simplify]: Simplify 1 into 1 10.482 * [taylor]: Taking taylor expansion of (pow y 2) in z 10.482 * [taylor]: Taking taylor expansion of y in z 10.482 * [backup-simplify]: Simplify y into y 10.482 * [backup-simplify]: Simplify (* y y) into (pow y 2) 10.482 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 10.482 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in z 10.482 * [taylor]: Taking taylor expansion of z in z 10.482 * [backup-simplify]: Simplify 0 into 0 10.482 * [backup-simplify]: Simplify 1 into 1 10.483 * [taylor]: Taking taylor expansion of (pow y 2) in z 10.483 * [taylor]: Taking taylor expansion of y in z 10.483 * [backup-simplify]: Simplify y into y 10.483 * [backup-simplify]: Simplify (* y y) into (pow y 2) 10.483 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 10.483 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 10.483 * [taylor]: Taking taylor expansion of (pow y 2) in y 10.483 * [taylor]: Taking taylor expansion of y in y 10.483 * [backup-simplify]: Simplify 0 into 0 10.483 * [backup-simplify]: Simplify 1 into 1 10.483 * [backup-simplify]: Simplify (* 1 1) into 1 10.484 * [backup-simplify]: Simplify (/ 1 1) into 1 10.484 * [backup-simplify]: Simplify 1 into 1 10.484 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 10.484 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0 10.484 * [taylor]: Taking taylor expansion of 0 in y 10.484 * [backup-simplify]: Simplify 0 into 0 10.485 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.486 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.486 * [backup-simplify]: Simplify 0 into 0 10.486 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 10.487 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 10.487 * [taylor]: Taking taylor expansion of 0 in y 10.487 * [backup-simplify]: Simplify 0 into 0 10.487 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.488 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.488 * [backup-simplify]: Simplify 0 into 0 10.489 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 10.490 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 10.490 * [taylor]: Taking taylor expansion of 0 in y 10.490 * [backup-simplify]: Simplify 0 into 0 10.490 * [backup-simplify]: Simplify 0 into 0 10.491 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.492 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.492 * [backup-simplify]: Simplify 0 into 0 10.493 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 10.494 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 10.494 * [taylor]: Taking taylor expansion of 0 in y 10.494 * [backup-simplify]: Simplify 0 into 0 10.494 * [backup-simplify]: Simplify 0 into 0 10.494 * [backup-simplify]: Simplify 0 into 0 10.494 * [backup-simplify]: Simplify (* 1 (* (pow (/ 1 y) -2) (/ 1 z))) into (/ (pow y 2) z) 10.494 * [backup-simplify]: Simplify (* (/ 1 (/ 1 (- z))) (pow (/ 1 (- y)) 2)) into (* -1 (/ z (pow y 2))) 10.495 * [approximate]: Taking taylor expansion of (* -1 (/ z (pow y 2))) in (z y) around 0 10.495 * [taylor]: Taking taylor expansion of (* -1 (/ z (pow y 2))) in y 10.495 * [taylor]: Taking taylor expansion of -1 in y 10.495 * [backup-simplify]: Simplify -1 into -1 10.495 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in y 10.495 * [taylor]: Taking taylor expansion of z in y 10.495 * [backup-simplify]: Simplify z into z 10.495 * [taylor]: Taking taylor expansion of (pow y 2) in y 10.495 * [taylor]: Taking taylor expansion of y in y 10.495 * [backup-simplify]: Simplify 0 into 0 10.495 * [backup-simplify]: Simplify 1 into 1 10.495 * [backup-simplify]: Simplify (* 1 1) into 1 10.495 * [backup-simplify]: Simplify (/ z 1) into z 10.495 * [taylor]: Taking taylor expansion of (* -1 (/ z (pow y 2))) in z 10.495 * [taylor]: Taking taylor expansion of -1 in z 10.495 * [backup-simplify]: Simplify -1 into -1 10.495 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in z 10.495 * [taylor]: Taking taylor expansion of z in z 10.495 * [backup-simplify]: Simplify 0 into 0 10.495 * [backup-simplify]: Simplify 1 into 1 10.495 * [taylor]: Taking taylor expansion of (pow y 2) in z 10.496 * [taylor]: Taking taylor expansion of y in z 10.496 * [backup-simplify]: Simplify y into y 10.496 * [backup-simplify]: Simplify (* y y) into (pow y 2) 10.496 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 10.496 * [taylor]: Taking taylor expansion of (* -1 (/ z (pow y 2))) in z 10.496 * [taylor]: Taking taylor expansion of -1 in z 10.496 * [backup-simplify]: Simplify -1 into -1 10.496 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in z 10.496 * [taylor]: Taking taylor expansion of z in z 10.496 * [backup-simplify]: Simplify 0 into 0 10.496 * [backup-simplify]: Simplify 1 into 1 10.496 * [taylor]: Taking taylor expansion of (pow y 2) in z 10.496 * [taylor]: Taking taylor expansion of y in z 10.496 * [backup-simplify]: Simplify y into y 10.496 * [backup-simplify]: Simplify (* y y) into (pow y 2) 10.496 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 10.496 * [backup-simplify]: Simplify (* -1 (/ 1 (pow y 2))) into (/ -1 (pow y 2)) 10.496 * [taylor]: Taking taylor expansion of (/ -1 (pow y 2)) in y 10.497 * [taylor]: Taking taylor expansion of -1 in y 10.497 * [backup-simplify]: Simplify -1 into -1 10.497 * [taylor]: Taking taylor expansion of (pow y 2) in y 10.497 * [taylor]: Taking taylor expansion of y in y 10.497 * [backup-simplify]: Simplify 0 into 0 10.497 * [backup-simplify]: Simplify 1 into 1 10.497 * [backup-simplify]: Simplify (* 1 1) into 1 10.497 * [backup-simplify]: Simplify (/ -1 1) into -1 10.497 * [backup-simplify]: Simplify -1 into -1 10.497 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 10.497 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0 10.498 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ 1 (pow y 2)))) into 0 10.498 * [taylor]: Taking taylor expansion of 0 in y 10.498 * [backup-simplify]: Simplify 0 into 0 10.498 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.499 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 10.499 * [backup-simplify]: Simplify 0 into 0 10.499 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 10.499 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 10.500 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 (pow y 2))))) into 0 10.500 * [taylor]: Taking taylor expansion of 0 in y 10.500 * [backup-simplify]: Simplify 0 into 0 10.501 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.501 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.501 * [backup-simplify]: Simplify 0 into 0 10.502 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 10.502 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 10.503 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow y 2)))))) into 0 10.503 * [taylor]: Taking taylor expansion of 0 in y 10.503 * [backup-simplify]: Simplify 0 into 0 10.503 * [backup-simplify]: Simplify 0 into 0 10.504 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 10.504 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.504 * [backup-simplify]: Simplify 0 into 0 10.505 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 10.505 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 10.506 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow y 2))))))) into 0 10.506 * [taylor]: Taking taylor expansion of 0 in y 10.506 * [backup-simplify]: Simplify 0 into 0 10.506 * [backup-simplify]: Simplify 0 into 0 10.506 * [backup-simplify]: Simplify 0 into 0 10.507 * [backup-simplify]: Simplify (* -1 (* (pow (/ 1 (- y)) -2) (/ 1 (- z)))) into (/ (pow y 2) z) 10.507 * * * * [progress]: [ 2 / 2 ] generating series at (2) 10.507 * [backup-simplify]: Simplify (+ x (* (/ 1 z) (pow y 2))) into (+ x (/ (pow y 2) z)) 10.507 * [approximate]: Taking taylor expansion of (+ x (/ (pow y 2) z)) in (x z y) around 0 10.507 * [taylor]: Taking taylor expansion of (+ x (/ (pow y 2) z)) in y 10.507 * [taylor]: Taking taylor expansion of x in y 10.507 * [backup-simplify]: Simplify x into x 10.507 * [taylor]: Taking taylor expansion of (/ (pow y 2) z) in y 10.507 * [taylor]: Taking taylor expansion of (pow y 2) in y 10.507 * [taylor]: Taking taylor expansion of y in y 10.507 * [backup-simplify]: Simplify 0 into 0 10.507 * [backup-simplify]: Simplify 1 into 1 10.507 * [taylor]: Taking taylor expansion of z in y 10.507 * [backup-simplify]: Simplify z into z 10.507 * [backup-simplify]: Simplify (* 1 1) into 1 10.507 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 10.507 * [taylor]: Taking taylor expansion of (+ x (/ (pow y 2) z)) in z 10.507 * [taylor]: Taking taylor expansion of x in z 10.507 * [backup-simplify]: Simplify x into x 10.507 * [taylor]: Taking taylor expansion of (/ (pow y 2) z) in z 10.507 * [taylor]: Taking taylor expansion of (pow y 2) in z 10.507 * [taylor]: Taking taylor expansion of y in z 10.507 * [backup-simplify]: Simplify y into y 10.507 * [taylor]: Taking taylor expansion of z in z 10.507 * [backup-simplify]: Simplify 0 into 0 10.507 * [backup-simplify]: Simplify 1 into 1 10.508 * [backup-simplify]: Simplify (* y y) into (pow y 2) 10.508 * [backup-simplify]: Simplify (/ (pow y 2) 1) into (pow y 2) 10.508 * [taylor]: Taking taylor expansion of (+ x (/ (pow y 2) z)) in x 10.508 * [taylor]: Taking taylor expansion of x in x 10.508 * [backup-simplify]: Simplify 0 into 0 10.508 * [backup-simplify]: Simplify 1 into 1 10.508 * [taylor]: Taking taylor expansion of (/ (pow y 2) z) in x 10.508 * [taylor]: Taking taylor expansion of (pow y 2) in x 10.508 * [taylor]: Taking taylor expansion of y in x 10.508 * [backup-simplify]: Simplify y into y 10.508 * [taylor]: Taking taylor expansion of z in x 10.508 * [backup-simplify]: Simplify z into z 10.508 * [backup-simplify]: Simplify (* y y) into (pow y 2) 10.508 * [backup-simplify]: Simplify (/ (pow y 2) z) into (/ (pow y 2) z) 10.508 * [taylor]: Taking taylor expansion of (+ x (/ (pow y 2) z)) in x 10.508 * [taylor]: Taking taylor expansion of x in x 10.508 * [backup-simplify]: Simplify 0 into 0 10.508 * [backup-simplify]: Simplify 1 into 1 10.508 * [taylor]: Taking taylor expansion of (/ (pow y 2) z) in x 10.508 * [taylor]: Taking taylor expansion of (pow y 2) in x 10.508 * [taylor]: Taking taylor expansion of y in x 10.508 * [backup-simplify]: Simplify y into y 10.508 * [taylor]: Taking taylor expansion of z in x 10.508 * [backup-simplify]: Simplify z into z 10.508 * [backup-simplify]: Simplify (* y y) into (pow y 2) 10.508 * [backup-simplify]: Simplify (/ (pow y 2) z) into (/ (pow y 2) z) 10.508 * [backup-simplify]: Simplify (+ 0 (/ (pow y 2) z)) into (/ (pow y 2) z) 10.508 * [taylor]: Taking taylor expansion of (/ (pow y 2) z) in z 10.508 * [taylor]: Taking taylor expansion of (pow y 2) in z 10.508 * [taylor]: Taking taylor expansion of y in z 10.508 * [backup-simplify]: Simplify y into y 10.508 * [taylor]: Taking taylor expansion of z in z 10.508 * [backup-simplify]: Simplify 0 into 0 10.508 * [backup-simplify]: Simplify 1 into 1 10.509 * [backup-simplify]: Simplify (* y y) into (pow y 2) 10.509 * [backup-simplify]: Simplify (/ (pow y 2) 1) into (pow y 2) 10.509 * [taylor]: Taking taylor expansion of (pow y 2) in y 10.509 * [taylor]: Taking taylor expansion of y in y 10.509 * [backup-simplify]: Simplify 0 into 0 10.509 * [backup-simplify]: Simplify 1 into 1 10.509 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 10.509 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ (pow y 2) z) (/ 0 z)))) into 0 10.510 * [backup-simplify]: Simplify (+ 1 0) into 1 10.510 * [taylor]: Taking taylor expansion of 1 in z 10.510 * [backup-simplify]: Simplify 1 into 1 10.510 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 10.511 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow y 2) (/ 0 1)))) into 0 10.511 * [taylor]: Taking taylor expansion of 0 in y 10.511 * [backup-simplify]: Simplify 0 into 0 10.511 * [backup-simplify]: Simplify 0 into 0 10.511 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 10.512 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ (pow y 2) z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 10.512 * [backup-simplify]: Simplify (+ 0 0) into 0 10.512 * [taylor]: Taking taylor expansion of 0 in z 10.512 * [backup-simplify]: Simplify 0 into 0 10.512 * [taylor]: Taking taylor expansion of 1 in y 10.512 * [backup-simplify]: Simplify 1 into 1 10.512 * [backup-simplify]: Simplify 1 into 1 10.513 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 10.514 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow y 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.515 * [taylor]: Taking taylor expansion of 0 in y 10.515 * [backup-simplify]: Simplify 0 into 0 10.515 * [backup-simplify]: Simplify 0 into 0 10.515 * [backup-simplify]: Simplify 0 into 0 10.515 * [backup-simplify]: Simplify (* 1 1) into 1 10.515 * [backup-simplify]: Simplify 1 into 1 10.516 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 10.516 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ (pow y 2) z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 10.517 * [backup-simplify]: Simplify (+ 0 0) into 0 10.517 * [taylor]: Taking taylor expansion of 0 in z 10.517 * [backup-simplify]: Simplify 0 into 0 10.517 * [taylor]: Taking taylor expansion of 0 in y 10.517 * [backup-simplify]: Simplify 0 into 0 10.517 * [backup-simplify]: Simplify 0 into 0 10.517 * [taylor]: Taking taylor expansion of 0 in y 10.517 * [backup-simplify]: Simplify 0 into 0 10.517 * [backup-simplify]: Simplify 0 into 0 10.518 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 10.519 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow y 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.519 * [taylor]: Taking taylor expansion of 0 in y 10.519 * [backup-simplify]: Simplify 0 into 0 10.519 * [backup-simplify]: Simplify 0 into 0 10.519 * [backup-simplify]: Simplify 0 into 0 10.519 * [backup-simplify]: Simplify 0 into 0 10.519 * [backup-simplify]: Simplify 0 into 0 10.519 * [backup-simplify]: Simplify (+ (* 1 (* (pow y 2) (* (/ 1 z) 1))) (* 1 (* 1 (* 1 x)))) into (+ x (/ (pow y 2) z)) 10.519 * [backup-simplify]: Simplify (+ (/ 1 x) (* (/ 1 (/ 1 z)) (pow (/ 1 y) 2))) into (+ (/ z (pow y 2)) (/ 1 x)) 10.519 * [approximate]: Taking taylor expansion of (+ (/ z (pow y 2)) (/ 1 x)) in (x z y) around 0 10.519 * [taylor]: Taking taylor expansion of (+ (/ z (pow y 2)) (/ 1 x)) in y 10.519 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in y 10.519 * [taylor]: Taking taylor expansion of z in y 10.519 * [backup-simplify]: Simplify z into z 10.519 * [taylor]: Taking taylor expansion of (pow y 2) in y 10.520 * [taylor]: Taking taylor expansion of y in y 10.520 * [backup-simplify]: Simplify 0 into 0 10.520 * [backup-simplify]: Simplify 1 into 1 10.520 * [backup-simplify]: Simplify (* 1 1) into 1 10.520 * [backup-simplify]: Simplify (/ z 1) into z 10.520 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.520 * [taylor]: Taking taylor expansion of x in y 10.520 * [backup-simplify]: Simplify x into x 10.520 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.520 * [taylor]: Taking taylor expansion of (+ (/ z (pow y 2)) (/ 1 x)) in z 10.520 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in z 10.520 * [taylor]: Taking taylor expansion of z in z 10.520 * [backup-simplify]: Simplify 0 into 0 10.520 * [backup-simplify]: Simplify 1 into 1 10.520 * [taylor]: Taking taylor expansion of (pow y 2) in z 10.520 * [taylor]: Taking taylor expansion of y in z 10.520 * [backup-simplify]: Simplify y into y 10.520 * [backup-simplify]: Simplify (* y y) into (pow y 2) 10.520 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 10.520 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.520 * [taylor]: Taking taylor expansion of x in z 10.520 * [backup-simplify]: Simplify x into x 10.520 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.520 * [taylor]: Taking taylor expansion of (+ (/ z (pow y 2)) (/ 1 x)) in x 10.520 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in x 10.520 * [taylor]: Taking taylor expansion of z in x 10.520 * [backup-simplify]: Simplify z into z 10.520 * [taylor]: Taking taylor expansion of (pow y 2) in x 10.520 * [taylor]: Taking taylor expansion of y in x 10.520 * [backup-simplify]: Simplify y into y 10.520 * [backup-simplify]: Simplify (* y y) into (pow y 2) 10.521 * [backup-simplify]: Simplify (/ z (pow y 2)) into (/ z (pow y 2)) 10.521 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.521 * [taylor]: Taking taylor expansion of x in x 10.521 * [backup-simplify]: Simplify 0 into 0 10.521 * [backup-simplify]: Simplify 1 into 1 10.521 * [backup-simplify]: Simplify (/ 1 1) into 1 10.521 * [taylor]: Taking taylor expansion of (+ (/ z (pow y 2)) (/ 1 x)) in x 10.521 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in x 10.521 * [taylor]: Taking taylor expansion of z in x 10.521 * [backup-simplify]: Simplify z into z 10.521 * [taylor]: Taking taylor expansion of (pow y 2) in x 10.521 * [taylor]: Taking taylor expansion of y in x 10.521 * [backup-simplify]: Simplify y into y 10.521 * [backup-simplify]: Simplify (* y y) into (pow y 2) 10.521 * [backup-simplify]: Simplify (/ z (pow y 2)) into (/ z (pow y 2)) 10.521 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.521 * [taylor]: Taking taylor expansion of x in x 10.521 * [backup-simplify]: Simplify 0 into 0 10.521 * [backup-simplify]: Simplify 1 into 1 10.521 * [backup-simplify]: Simplify (/ 1 1) into 1 10.522 * [backup-simplify]: Simplify (+ 0 1) into 1 10.522 * [taylor]: Taking taylor expansion of 1 in z 10.522 * [backup-simplify]: Simplify 1 into 1 10.522 * [taylor]: Taking taylor expansion of 1 in y 10.522 * [backup-simplify]: Simplify 1 into 1 10.522 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.522 * [backup-simplify]: Simplify (+ (/ z (pow y 2)) 0) into (/ z (pow y 2)) 10.522 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in z 10.522 * [taylor]: Taking taylor expansion of z in z 10.522 * [backup-simplify]: Simplify 0 into 0 10.522 * [backup-simplify]: Simplify 1 into 1 10.522 * [taylor]: Taking taylor expansion of (pow y 2) in z 10.522 * [taylor]: Taking taylor expansion of y in z 10.522 * [backup-simplify]: Simplify y into y 10.522 * [backup-simplify]: Simplify (* y y) into (pow y 2) 10.523 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 10.523 * [taylor]: Taking taylor expansion of 0 in y 10.523 * [backup-simplify]: Simplify 0 into 0 10.523 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 10.523 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ z (pow y 2)) (/ 0 (pow y 2))))) into 0 10.523 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.524 * [backup-simplify]: Simplify (+ 0 0) into 0 10.524 * [taylor]: Taking taylor expansion of 0 in z 10.524 * [backup-simplify]: Simplify 0 into 0 10.524 * [taylor]: Taking taylor expansion of 0 in y 10.524 * [backup-simplify]: Simplify 0 into 0 10.524 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 10.524 * [taylor]: Taking taylor expansion of (pow y 2) in y 10.524 * [taylor]: Taking taylor expansion of y in y 10.524 * [backup-simplify]: Simplify 0 into 0 10.524 * [backup-simplify]: Simplify 1 into 1 10.524 * [backup-simplify]: Simplify (* 1 1) into 1 10.524 * [backup-simplify]: Simplify (/ 1 1) into 1 10.524 * [backup-simplify]: Simplify 1 into 1 10.524 * [taylor]: Taking taylor expansion of 0 in y 10.524 * [backup-simplify]: Simplify 0 into 0 10.524 * [backup-simplify]: Simplify 1 into 1 10.525 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 10.525 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ z (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 10.526 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.526 * [backup-simplify]: Simplify (+ 0 0) into 0 10.526 * [taylor]: Taking taylor expansion of 0 in z 10.526 * [backup-simplify]: Simplify 0 into 0 10.526 * [taylor]: Taking taylor expansion of 0 in y 10.526 * [backup-simplify]: Simplify 0 into 0 10.526 * [taylor]: Taking taylor expansion of 0 in y 10.526 * [backup-simplify]: Simplify 0 into 0 10.526 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 10.526 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0 10.526 * [taylor]: Taking taylor expansion of 0 in y 10.526 * [backup-simplify]: Simplify 0 into 0 10.526 * [taylor]: Taking taylor expansion of 0 in y 10.526 * [backup-simplify]: Simplify 0 into 0 10.527 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.527 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.527 * [backup-simplify]: Simplify 0 into 0 10.527 * [backup-simplify]: Simplify 0 into 0 10.527 * [backup-simplify]: Simplify 0 into 0 10.528 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 10.528 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ z (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 10.529 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.529 * [backup-simplify]: Simplify (+ 0 0) into 0 10.529 * [taylor]: Taking taylor expansion of 0 in z 10.529 * [backup-simplify]: Simplify 0 into 0 10.529 * [taylor]: Taking taylor expansion of 0 in y 10.529 * [backup-simplify]: Simplify 0 into 0 10.529 * [taylor]: Taking taylor expansion of 0 in y 10.529 * [backup-simplify]: Simplify 0 into 0 10.529 * [taylor]: Taking taylor expansion of 0 in y 10.529 * [backup-simplify]: Simplify 0 into 0 10.529 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 10.530 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 10.530 * [taylor]: Taking taylor expansion of 0 in y 10.530 * [backup-simplify]: Simplify 0 into 0 10.530 * [taylor]: Taking taylor expansion of 0 in y 10.530 * [backup-simplify]: Simplify 0 into 0 10.530 * [backup-simplify]: Simplify 0 into 0 10.530 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.531 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.531 * [backup-simplify]: Simplify 0 into 0 10.531 * [backup-simplify]: Simplify 0 into 0 10.531 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (/ 1 (/ 1 x))))) (* 1 (* (pow (/ 1 y) -2) (* (/ 1 z) 1)))) into (+ x (/ (pow y 2) z)) 10.531 * [backup-simplify]: Simplify (+ (/ 1 (- x)) (* (/ 1 (/ 1 (- z))) (pow (/ 1 (- y)) 2))) into (- (+ (/ z (pow y 2)) (/ 1 x))) 10.531 * [approximate]: Taking taylor expansion of (- (+ (/ z (pow y 2)) (/ 1 x))) in (x z y) around 0 10.531 * [taylor]: Taking taylor expansion of (- (+ (/ z (pow y 2)) (/ 1 x))) in y 10.531 * [taylor]: Taking taylor expansion of (+ (/ z (pow y 2)) (/ 1 x)) in y 10.531 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in y 10.531 * [taylor]: Taking taylor expansion of z in y 10.531 * [backup-simplify]: Simplify z into z 10.531 * [taylor]: Taking taylor expansion of (pow y 2) in y 10.531 * [taylor]: Taking taylor expansion of y in y 10.532 * [backup-simplify]: Simplify 0 into 0 10.532 * [backup-simplify]: Simplify 1 into 1 10.532 * [backup-simplify]: Simplify (* 1 1) into 1 10.532 * [backup-simplify]: Simplify (/ z 1) into z 10.532 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.532 * [taylor]: Taking taylor expansion of x in y 10.532 * [backup-simplify]: Simplify x into x 10.532 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.532 * [taylor]: Taking taylor expansion of (- (+ (/ z (pow y 2)) (/ 1 x))) in z 10.532 * [taylor]: Taking taylor expansion of (+ (/ z (pow y 2)) (/ 1 x)) in z 10.532 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in z 10.532 * [taylor]: Taking taylor expansion of z in z 10.532 * [backup-simplify]: Simplify 0 into 0 10.532 * [backup-simplify]: Simplify 1 into 1 10.532 * [taylor]: Taking taylor expansion of (pow y 2) in z 10.532 * [taylor]: Taking taylor expansion of y in z 10.532 * [backup-simplify]: Simplify y into y 10.532 * [backup-simplify]: Simplify (* y y) into (pow y 2) 10.532 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 10.532 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.532 * [taylor]: Taking taylor expansion of x in z 10.532 * [backup-simplify]: Simplify x into x 10.532 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.532 * [taylor]: Taking taylor expansion of (- (+ (/ z (pow y 2)) (/ 1 x))) in x 10.532 * [taylor]: Taking taylor expansion of (+ (/ z (pow y 2)) (/ 1 x)) in x 10.532 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in x 10.532 * [taylor]: Taking taylor expansion of z in x 10.532 * [backup-simplify]: Simplify z into z 10.532 * [taylor]: Taking taylor expansion of (pow y 2) in x 10.532 * [taylor]: Taking taylor expansion of y in x 10.532 * [backup-simplify]: Simplify y into y 10.532 * [backup-simplify]: Simplify (* y y) into (pow y 2) 10.533 * [backup-simplify]: Simplify (/ z (pow y 2)) into (/ z (pow y 2)) 10.533 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.533 * [taylor]: Taking taylor expansion of x in x 10.533 * [backup-simplify]: Simplify 0 into 0 10.533 * [backup-simplify]: Simplify 1 into 1 10.533 * [backup-simplify]: Simplify (/ 1 1) into 1 10.533 * [taylor]: Taking taylor expansion of (- (+ (/ z (pow y 2)) (/ 1 x))) in x 10.533 * [taylor]: Taking taylor expansion of (+ (/ z (pow y 2)) (/ 1 x)) in x 10.533 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in x 10.533 * [taylor]: Taking taylor expansion of z in x 10.533 * [backup-simplify]: Simplify z into z 10.533 * [taylor]: Taking taylor expansion of (pow y 2) in x 10.533 * [taylor]: Taking taylor expansion of y in x 10.533 * [backup-simplify]: Simplify y into y 10.533 * [backup-simplify]: Simplify (* y y) into (pow y 2) 10.533 * [backup-simplify]: Simplify (/ z (pow y 2)) into (/ z (pow y 2)) 10.533 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.533 * [taylor]: Taking taylor expansion of x in x 10.533 * [backup-simplify]: Simplify 0 into 0 10.533 * [backup-simplify]: Simplify 1 into 1 10.533 * [backup-simplify]: Simplify (/ 1 1) into 1 10.534 * [backup-simplify]: Simplify (+ 0 1) into 1 10.534 * [backup-simplify]: Simplify (- 1) into -1 10.534 * [taylor]: Taking taylor expansion of -1 in z 10.534 * [backup-simplify]: Simplify -1 into -1 10.534 * [taylor]: Taking taylor expansion of -1 in y 10.534 * [backup-simplify]: Simplify -1 into -1 10.534 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.535 * [backup-simplify]: Simplify (+ (/ z (pow y 2)) 0) into (/ z (pow y 2)) 10.535 * [backup-simplify]: Simplify (- (/ z (pow y 2))) into (- (/ z (pow y 2))) 10.535 * [taylor]: Taking taylor expansion of (- (/ z (pow y 2))) in z 10.535 * [taylor]: Taking taylor expansion of (/ z (pow y 2)) in z 10.535 * [taylor]: Taking taylor expansion of z in z 10.535 * [backup-simplify]: Simplify 0 into 0 10.535 * [backup-simplify]: Simplify 1 into 1 10.535 * [taylor]: Taking taylor expansion of (pow y 2) in z 10.535 * [taylor]: Taking taylor expansion of y in z 10.535 * [backup-simplify]: Simplify y into y 10.535 * [backup-simplify]: Simplify (* y y) into (pow y 2) 10.535 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 10.535 * [taylor]: Taking taylor expansion of 0 in y 10.535 * [backup-simplify]: Simplify 0 into 0 10.535 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 10.535 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ z (pow y 2)) (/ 0 (pow y 2))))) into 0 10.536 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.536 * [backup-simplify]: Simplify (+ 0 0) into 0 10.536 * [backup-simplify]: Simplify (- 0) into 0 10.536 * [taylor]: Taking taylor expansion of 0 in z 10.536 * [backup-simplify]: Simplify 0 into 0 10.536 * [taylor]: Taking taylor expansion of 0 in y 10.536 * [backup-simplify]: Simplify 0 into 0 10.536 * [backup-simplify]: Simplify (- (/ 1 (pow y 2))) into (- (/ 1 (pow y 2))) 10.536 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2))) in y 10.536 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 10.537 * [taylor]: Taking taylor expansion of (pow y 2) in y 10.537 * [taylor]: Taking taylor expansion of y in y 10.537 * [backup-simplify]: Simplify 0 into 0 10.537 * [backup-simplify]: Simplify 1 into 1 10.537 * [backup-simplify]: Simplify (* 1 1) into 1 10.537 * [backup-simplify]: Simplify (/ 1 1) into 1 10.537 * [backup-simplify]: Simplify (- 1) into -1 10.537 * [backup-simplify]: Simplify -1 into -1 10.537 * [taylor]: Taking taylor expansion of 0 in y 10.537 * [backup-simplify]: Simplify 0 into 0 10.537 * [backup-simplify]: Simplify -1 into -1 10.538 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 10.538 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ z (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 10.539 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.539 * [backup-simplify]: Simplify (+ 0 0) into 0 10.539 * [backup-simplify]: Simplify (- 0) into 0 10.539 * [taylor]: Taking taylor expansion of 0 in z 10.539 * [backup-simplify]: Simplify 0 into 0 10.539 * [taylor]: Taking taylor expansion of 0 in y 10.539 * [backup-simplify]: Simplify 0 into 0 10.539 * [taylor]: Taking taylor expansion of 0 in y 10.539 * [backup-simplify]: Simplify 0 into 0 10.539 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 10.539 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0 10.540 * [backup-simplify]: Simplify (- 0) into 0 10.540 * [taylor]: Taking taylor expansion of 0 in y 10.540 * [backup-simplify]: Simplify 0 into 0 10.540 * [taylor]: Taking taylor expansion of 0 in y 10.540 * [backup-simplify]: Simplify 0 into 0 10.540 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 10.541 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.541 * [backup-simplify]: Simplify (- 0) into 0 10.541 * [backup-simplify]: Simplify 0 into 0 10.541 * [backup-simplify]: Simplify 0 into 0 10.541 * [backup-simplify]: Simplify 0 into 0 10.541 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 10.542 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ z (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 10.542 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.543 * [backup-simplify]: Simplify (+ 0 0) into 0 10.543 * [backup-simplify]: Simplify (- 0) into 0 10.543 * [taylor]: Taking taylor expansion of 0 in z 10.543 * [backup-simplify]: Simplify 0 into 0 10.543 * [taylor]: Taking taylor expansion of 0 in y 10.543 * [backup-simplify]: Simplify 0 into 0 10.543 * [taylor]: Taking taylor expansion of 0 in y 10.543 * [backup-simplify]: Simplify 0 into 0 10.543 * [taylor]: Taking taylor expansion of 0 in y 10.543 * [backup-simplify]: Simplify 0 into 0 10.543 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 10.544 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 10.544 * [backup-simplify]: Simplify (- 0) into 0 10.544 * [taylor]: Taking taylor expansion of 0 in y 10.544 * [backup-simplify]: Simplify 0 into 0 10.544 * [taylor]: Taking taylor expansion of 0 in y 10.544 * [backup-simplify]: Simplify 0 into 0 10.544 * [backup-simplify]: Simplify 0 into 0 10.545 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 10.545 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.545 * [backup-simplify]: Simplify (- 0) into 0 10.545 * [backup-simplify]: Simplify 0 into 0 10.545 * [backup-simplify]: Simplify 0 into 0 10.546 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* 1 (/ 1 (/ 1 (- x)))))) (* -1 (* (pow (/ 1 (- y)) -2) (* (/ 1 (- z)) 1)))) into (+ x (/ (pow y 2) z)) 10.546 * * * [progress]: simplifying candidates 10.547 * [simplify]: Simplifying: (expm1 (* (/ 1 z) (pow y 2))) (log1p (* (/ 1 z) (pow y 2))) (+ (- (log z)) (* (log y) 2)) (+ (- (log z)) (* (log y) 2)) (+ (- (log z)) (log (pow y 2))) (+ (- 0 (log z)) (* (log y) 2)) (+ (- 0 (log z)) (* (log y) 2)) (+ (- 0 (log z)) (log (pow y 2))) (+ (- (log 1) (log z)) (* (log y) 2)) (+ (- (log 1) (log z)) (* (log y) 2)) (+ (- (log 1) (log z)) (log (pow y 2))) (+ (log (/ 1 z)) (* (log y) 2)) (+ (log (/ 1 z)) (* (log y) 2)) (+ (log (/ 1 z)) (log (pow y 2))) (log (* (/ 1 z) (pow y 2))) (exp (* (/ 1 z) (pow y 2))) (* (/ (* (* 1 1) 1) (* (* z z) z)) (* (* (pow y 2) (pow y 2)) (pow y 2))) (* (* (* (/ 1 z) (/ 1 z)) (/ 1 z)) (* (* (pow y 2) (pow y 2)) (pow y 2))) (* (cbrt (* (/ 1 z) (pow y 2))) (cbrt (* (/ 1 z) (pow y 2)))) (cbrt (* (/ 1 z) (pow y 2))) (* (* (* (/ 1 z) (pow y 2)) (* (/ 1 z) (pow y 2))) (* (/ 1 z) (pow y 2))) (sqrt (* (/ 1 z) (pow y 2))) (sqrt (* (/ 1 z) (pow y 2))) (* (sqrt (/ 1 z)) (pow (sqrt y) 2)) (* (sqrt (/ 1 z)) (pow (sqrt y) 2)) (* (sqrt (/ 1 z)) y) (* (sqrt (/ 1 z)) y) (* (sqrt (/ 1 z)) (sqrt (pow y 2))) (* (sqrt (/ 1 z)) (sqrt (pow y 2))) (* (sqrt (/ 1 z)) (pow y (/ 2 2))) (* (sqrt (/ 1 z)) (pow y (/ 2 2))) (* (/ (sqrt 1) (sqrt z)) (pow (sqrt y) 2)) (* (/ (sqrt 1) (sqrt z)) (pow (sqrt y) 2)) (* (/ (sqrt 1) (sqrt z)) y) (* (/ (sqrt 1) (sqrt z)) y) (* (/ (sqrt 1) (sqrt z)) (sqrt (pow y 2))) (* (/ (sqrt 1) (sqrt z)) (sqrt (pow y 2))) (* (/ (sqrt 1) (sqrt z)) (pow y (/ 2 2))) (* (/ (sqrt 1) (sqrt z)) (pow y (/ 2 2))) (* (/ 1 (sqrt z)) (pow (sqrt y) 2)) (* (/ 1 (sqrt z)) (pow (sqrt y) 2)) (* (/ 1 (sqrt z)) y) (* (/ 1 (sqrt z)) y) (* (/ 1 (sqrt z)) (sqrt (pow y 2))) (* (/ 1 (sqrt z)) (sqrt (pow y 2))) (* (/ 1 (sqrt z)) (pow y (/ 2 2))) (* (/ 1 (sqrt z)) (pow y (/ 2 2))) (* (/ 1 z) (pow (* (cbrt y) (cbrt y)) 2)) (* (/ 1 z) (pow (sqrt y) 2)) (* (/ 1 z) (pow 1 2)) (* (/ 1 z) y) (* (/ 1 z) (* (cbrt (pow y 2)) (cbrt (pow y 2)))) (* (/ 1 z) (sqrt (pow y 2))) (* (/ 1 z) 1) (* (/ 1 z) (pow y (/ 2 2))) (* (cbrt (/ 1 z)) (pow y 2)) (* (sqrt (/ 1 z)) (pow y 2)) (* (/ (cbrt 1) (cbrt z)) (pow y 2)) (* (/ (cbrt 1) (sqrt z)) (pow y 2)) (* (/ (cbrt 1) z) (pow y 2)) (* (/ (sqrt 1) (cbrt z)) (pow y 2)) (* (/ (sqrt 1) (sqrt z)) (pow y 2)) (* (/ (sqrt 1) z) (pow y 2)) (* (/ 1 (cbrt z)) (pow y 2)) (* (/ 1 (sqrt z)) (pow y 2)) (* (/ 1 z) (pow y 2)) (* (/ 1 z) (pow y 2)) (* (/ 1 z) (pow y 2)) (* 1 (pow y 2)) (expm1 (+ x (* (/ 1 z) (pow y 2)))) (log1p (+ x (* (/ 1 z) (pow y 2)))) (* (exp x) (exp (* (/ 1 z) (pow y 2)))) (log (+ x (* (/ 1 z) (pow y 2)))) (exp (+ x (* (/ 1 z) (pow y 2)))) (* (cbrt (+ x (* (/ 1 z) (pow y 2)))) (cbrt (+ x (* (/ 1 z) (pow y 2))))) (cbrt (+ x (* (/ 1 z) (pow y 2)))) (* (* (+ x (* (/ 1 z) (pow y 2))) (+ x (* (/ 1 z) (pow y 2)))) (+ x (* (/ 1 z) (pow y 2)))) (sqrt (+ x (* (/ 1 z) (pow y 2)))) (sqrt (+ x (* (/ 1 z) (pow y 2)))) (+ (pow x 3) (pow (* (/ 1 z) (pow y 2)) 3)) (+ (* x x) (- (* (* (/ 1 z) (pow y 2)) (* (/ 1 z) (pow y 2))) (* x (* (/ 1 z) (pow y 2))))) (- (* x x) (* (* (/ 1 z) (pow y 2)) (* (/ 1 z) (pow y 2)))) (- x (* (/ 1 z) (pow y 2))) (/ (pow y 2) z) (/ (pow y 2) z) (/ (pow y 2) z) (+ x (/ (pow y 2) z)) (+ x (/ (pow y 2) z)) (+ x (/ (pow y 2) z)) 10.548 * * [simplify]: Extracting # 0 : cost 0 10.548 * * [simplify]: Extracting # 1 : cost 0 10.548 * * [simplify]: Extracting # 2 : cost 0 10.548 * * [simplify]: Extracting # 3 : cost 0 10.549 * * [simplify]: Extracting # 4 : cost 0 10.549 * * [simplify]: Extracting # 5 : cost 0 10.549 * * [simplify]: Extracting # 6 : cost 0 10.549 * * [simplify]: iteration 0 : 126 enodes (cost 875 ) 10.605 * * [simplify]: Extracting # 0 : cost 0 10.605 * * [simplify]: Extracting # 1 : cost 0 10.606 * * [simplify]: Extracting # 2 : cost 0 10.606 * * [simplify]: Extracting # 3 : cost 0 10.606 * * [simplify]: Extracting # 4 : cost 0 10.606 * * [simplify]: iteration 1 : 299 enodes (cost 683 ) 10.770 * * [simplify]: Extracting # 0 : cost 0 10.771 * * [simplify]: Extracting # 1 : cost 0 10.772 * * [simplify]: Extracting # 2 : cost 0 10.773 * * [simplify]: Extracting # 3 : cost 0 10.773 * * [simplify]: Extracting # 4 : cost 0 10.774 * * [simplify]: iteration 2 : 775 enodes (cost 556 ) 11.620 * * [simplify]: Extracting # 0 : cost 0 11.626 * * [simplify]: Extracting # 1 : cost 0 11.635 * * [simplify]: Extracting # 2 : cost 0 11.640 * * [simplify]: Extracting # 3 : cost 0 11.644 * * [simplify]: Extracting # 4 : cost 0 11.648 * * [simplify]: iteration 3 : 2516 enodes (cost 542 ) 13.926 * * [simplify]: Extracting # 0 : cost 0 13.933 * * [simplify]: Extracting # 1 : cost 0 13.938 * * [simplify]: Extracting # 2 : cost 0 13.943 * * [simplify]: Extracting # 3 : cost 0 13.959 * * [simplify]: Extracting # 4 : cost 0 13.969 * * [simplify]: iteration done: 5000 enodes (cost 539 ) 13.970 * [simplify]: Simplified to: (expm1 (/ (* y y) z)) (log1p (/ (* y y) z)) (log (/ (* y y) z)) (log (/ (* y y) z)) (log (/ (* y y) z)) (log (/ (* y y) z)) (log (/ (* y y) z)) (log (/ (* y y) z)) (log (/ (* y y) z)) (log (/ (* y y) z)) (log (/ (* y y) z)) (log (/ (* y y) z)) (log (/ (* y y) z)) (log (/ (* y y) z)) (log (/ (* y y) z)) (exp (/ (pow y 2) z)) (pow (/ (* y y) z) 3) (pow (/ (* y y) z) 3) (* (cbrt (/ (* y y) z)) (cbrt (/ (* y y) z))) (cbrt (/ (* y y) z)) (pow (/ (* y y) z) 3) (sqrt (/ (pow y 2) z)) (sqrt (/ (pow y 2) z)) (* y (sqrt (/ 1 z))) (* y (sqrt (/ 1 z))) (* y (sqrt (/ 1 z))) (* y (sqrt (/ 1 z))) (* (sqrt (/ 1 z)) (fabs y)) (* (sqrt (/ 1 z)) (fabs y)) (* y (sqrt (/ 1 z))) (* y (sqrt (/ 1 z))) (/ y (sqrt z)) (/ y (sqrt z)) (/ y (sqrt z)) (/ y (sqrt z)) (/ (fabs y) (sqrt z)) (/ (fabs y) (sqrt z)) (/ y (sqrt z)) (/ y (sqrt z)) (/ y (sqrt z)) (/ y (sqrt z)) (/ y (sqrt z)) (/ y (sqrt z)) (/ (fabs y) (sqrt z)) (/ (fabs y) (sqrt z)) (/ y (sqrt z)) (/ y (sqrt z)) (* (/ y z) (cbrt y)) (/ y z) (/ 1 z) (/ y z) (/ (* (cbrt (pow y 2)) (cbrt (pow y 2))) z) (/ (fabs y) z) (/ 1 z) (/ y z) (* (cbrt (/ 1 z)) (pow y 2)) (* (sqrt (/ 1 z)) (pow y 2)) (/ (* y y) (cbrt z)) (/ (pow y 2) (sqrt z)) (/ (* y y) z) (/ (* y y) (cbrt z)) (/ (pow y 2) (sqrt z)) (/ (* y y) z) (/ (* y y) (cbrt z)) (/ (pow y 2) (sqrt z)) (/ (* y y) z) (/ (* y y) z) (/ (* y y) z) (* y y) (expm1 (fma (/ y z) y x)) (log1p (fma (/ y z) y x)) (exp (fma (/ y z) y x)) (log (fma (/ y z) y x)) (exp (fma (/ y z) y x)) (* (cbrt (fma (/ y z) y x)) (cbrt (fma (/ y z) y x))) (cbrt (fma (/ y z) y x)) (pow (fma (/ y z) y x) 3) (sqrt (fma (/ y z) y x)) (sqrt (fma (/ y z) y x)) (+ (pow (/ (* y y) z) 3) (pow x 3)) (fma x x (* (/ (* y y) z) (- (/ (* y y) z) x))) (fma x x (- (/ (/ (pow y 4) z) z))) (- x (/ (pow y 2) z)) (/ (* y y) z) (/ (* y y) z) (/ (* y y) z) (fma y (/ y z) x) (fma y (/ y z) x) (fma y (/ y z) x) 13.971 * * * [progress]: adding candidates to table 14.200 * [progress]: [Phase 3 of 3] Extracting. 14.200 * * [regime]: Finding splitpoints for: (# # # #) 14.200 * * * [regime-changes]: Trying 3 branch expressions: (z y x) 14.200 * * * * [regimes]: Trying to branch on z from (# # # #) 14.226 * * * * [regimes]: Trying to branch on y from (# # # #) 14.257 * * * * [regimes]: Trying to branch on x from (# # # #) 14.285 * * * [regime]: Found split indices: #