44.160 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.029 * * * [progress]: [2/2] Setting up program. 0.031 * [progress]: [Phase 2 of 3] Improving. 0.031 * [simplify]: Simplifying: (+ (* x x) (* y y)) 0.031 * * [simplify]: Extracting # 0 : cost 0 0.031 * * [simplify]: Extracting # 1 : cost 0 0.031 * * [simplify]: Extracting # 2 : cost 0 0.031 * * [simplify]: Extracting # 3 : cost 0 0.031 * * [simplify]: Extracting # 4 : cost 0 0.031 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 0.032 * * [simplify]: Extracting # 0 : cost 0 0.032 * * [simplify]: iteration 1 : 6 enodes (cost 7 ) 0.033 * * [simplify]: Extracting # 0 : cost 0 0.033 * * [simplify]: iteration done: 6 enodes (cost 7 ) 0.033 * [simplify]: Simplified to: (+ (* x x) (* y y)) 0.034 * * [progress]: iteration 1 / 4 0.034 * * * [progress]: picking best candidate 0.035 * * * * [pick]: Picked # 0.035 * * * [progress]: localizing error 0.040 * * * [progress]: generating rewritten candidates 0.040 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.048 * * * [progress]: generating series expansions 0.048 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.048 * [backup-simplify]: Simplify (+ (* x x) (* y y)) into (+ (pow x 2) (pow y 2)) 0.048 * [approximate]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in (x y) around 0 0.048 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in y 0.048 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.048 * [taylor]: Taking taylor expansion of x in y 0.048 * [backup-simplify]: Simplify x into x 0.048 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.048 * [taylor]: Taking taylor expansion of y in y 0.048 * [backup-simplify]: Simplify 0 into 0 0.048 * [backup-simplify]: Simplify 1 into 1 0.048 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in x 0.048 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.048 * [taylor]: Taking taylor expansion of x in x 0.048 * [backup-simplify]: Simplify 0 into 0 0.048 * [backup-simplify]: Simplify 1 into 1 0.048 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.048 * [taylor]: Taking taylor expansion of y in x 0.048 * [backup-simplify]: Simplify y into y 0.048 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in x 0.048 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.049 * [taylor]: Taking taylor expansion of x in x 0.049 * [backup-simplify]: Simplify 0 into 0 0.049 * [backup-simplify]: Simplify 1 into 1 0.049 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.049 * [taylor]: Taking taylor expansion of y in x 0.049 * [backup-simplify]: Simplify y into y 0.049 * [backup-simplify]: Simplify (* y y) into (pow y 2) 0.049 * [backup-simplify]: Simplify (+ 0 (pow y 2)) into (pow y 2) 0.049 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.049 * [taylor]: Taking taylor expansion of y in y 0.049 * [backup-simplify]: Simplify 0 into 0 0.049 * [backup-simplify]: Simplify 1 into 1 0.049 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 0.049 * [backup-simplify]: Simplify (+ 0 0) into 0 0.049 * [taylor]: Taking taylor expansion of 0 in y 0.049 * [backup-simplify]: Simplify 0 into 0 0.049 * [backup-simplify]: Simplify 0 into 0 0.050 * [backup-simplify]: Simplify (* 1 1) into 1 0.050 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 0.050 * [backup-simplify]: Simplify (+ 1 0) into 1 0.050 * [taylor]: Taking taylor expansion of 1 in y 0.050 * [backup-simplify]: Simplify 1 into 1 0.050 * [backup-simplify]: Simplify 1 into 1 0.050 * [backup-simplify]: Simplify 0 into 0 0.051 * [backup-simplify]: Simplify (* 1 1) into 1 0.051 * [backup-simplify]: Simplify 1 into 1 0.051 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.051 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 0.052 * [backup-simplify]: Simplify (+ 0 0) into 0 0.052 * [taylor]: Taking taylor expansion of 0 in y 0.052 * [backup-simplify]: Simplify 0 into 0 0.052 * [backup-simplify]: Simplify 0 into 0 0.052 * [backup-simplify]: Simplify 0 into 0 0.052 * [backup-simplify]: Simplify 0 into 0 0.052 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.052 * [backup-simplify]: Simplify 0 into 0 0.053 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.053 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 0.054 * [backup-simplify]: Simplify (+ 0 0) into 0 0.054 * [taylor]: Taking taylor expansion of 0 in y 0.054 * [backup-simplify]: Simplify 0 into 0 0.054 * [backup-simplify]: Simplify 0 into 0 0.054 * [backup-simplify]: Simplify 0 into 0 0.054 * [backup-simplify]: Simplify (+ (* 1 (pow (* y 1) 2)) (* 1 (pow (* 1 x) 2))) into (+ (pow x 2) (pow y 2)) 0.054 * [backup-simplify]: Simplify (+ (* (/ 1 x) (/ 1 x)) (* (/ 1 y) (/ 1 y))) into (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) 0.054 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in (x y) around 0 0.054 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y 0.054 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 0.054 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.054 * [taylor]: Taking taylor expansion of x in y 0.054 * [backup-simplify]: Simplify x into x 0.054 * [backup-simplify]: Simplify (* x x) into (pow x 2) 0.054 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 0.054 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.054 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.054 * [taylor]: Taking taylor expansion of y in y 0.054 * [backup-simplify]: Simplify 0 into 0 0.054 * [backup-simplify]: Simplify 1 into 1 0.055 * [backup-simplify]: Simplify (* 1 1) into 1 0.055 * [backup-simplify]: Simplify (/ 1 1) into 1 0.055 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x 0.055 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.055 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.055 * [taylor]: Taking taylor expansion of x in x 0.055 * [backup-simplify]: Simplify 0 into 0 0.055 * [backup-simplify]: Simplify 1 into 1 0.055 * [backup-simplify]: Simplify (* 1 1) into 1 0.056 * [backup-simplify]: Simplify (/ 1 1) into 1 0.056 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 0.056 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.056 * [taylor]: Taking taylor expansion of y in x 0.056 * [backup-simplify]: Simplify y into y 0.056 * [backup-simplify]: Simplify (* y y) into (pow y 2) 0.056 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 0.056 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x 0.056 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.056 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.056 * [taylor]: Taking taylor expansion of x in x 0.056 * [backup-simplify]: Simplify 0 into 0 0.056 * [backup-simplify]: Simplify 1 into 1 0.056 * [backup-simplify]: Simplify (* 1 1) into 1 0.056 * [backup-simplify]: Simplify (/ 1 1) into 1 0.056 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 0.056 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.056 * [taylor]: Taking taylor expansion of y in x 0.056 * [backup-simplify]: Simplify y into y 0.056 * [backup-simplify]: Simplify (* y y) into (pow y 2) 0.057 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 0.057 * [backup-simplify]: Simplify (+ 1 0) into 1 0.057 * [taylor]: Taking taylor expansion of 1 in y 0.057 * [backup-simplify]: Simplify 1 into 1 0.057 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.058 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.058 * [backup-simplify]: Simplify (+ 0 0) into 0 0.058 * [taylor]: Taking taylor expansion of 0 in y 0.058 * [backup-simplify]: Simplify 0 into 0 0.058 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.059 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.059 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow y 2))) into (/ 1 (pow y 2)) 0.059 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.059 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.059 * [taylor]: Taking taylor expansion of y in y 0.059 * [backup-simplify]: Simplify 0 into 0 0.059 * [backup-simplify]: Simplify 1 into 1 0.059 * [backup-simplify]: Simplify (* 1 1) into 1 0.060 * [backup-simplify]: Simplify (/ 1 1) into 1 0.060 * [backup-simplify]: Simplify 1 into 1 0.060 * [backup-simplify]: Simplify 1 into 1 0.060 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.061 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.061 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 0.061 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0 0.061 * [backup-simplify]: Simplify (+ 0 0) into 0 0.061 * [taylor]: Taking taylor expansion of 0 in y 0.061 * [backup-simplify]: Simplify 0 into 0 0.062 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.062 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.062 * [backup-simplify]: Simplify 0 into 0 0.062 * [backup-simplify]: Simplify 0 into 0 0.062 * [backup-simplify]: Simplify 0 into 0 0.063 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.063 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.064 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 0.064 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 0.064 * [backup-simplify]: Simplify (+ 0 0) into 0 0.064 * [taylor]: Taking taylor expansion of 0 in y 0.064 * [backup-simplify]: Simplify 0 into 0 0.065 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.065 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.065 * [backup-simplify]: Simplify 0 into 0 0.065 * [backup-simplify]: Simplify 0 into 0 0.065 * [backup-simplify]: Simplify 0 into 0 0.066 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 x))) 2)) (* 1 (pow (* (/ 1 (/ 1 y)) 1) 2))) into (+ (pow x 2) (pow y 2)) 0.066 * [backup-simplify]: Simplify (+ (* (/ 1 (- x)) (/ 1 (- x))) (* (/ 1 (- y)) (/ 1 (- y)))) into (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) 0.066 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in (x y) around 0 0.066 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y 0.066 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 0.066 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.066 * [taylor]: Taking taylor expansion of x in y 0.066 * [backup-simplify]: Simplify x into x 0.066 * [backup-simplify]: Simplify (* x x) into (pow x 2) 0.066 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 0.066 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.066 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.066 * [taylor]: Taking taylor expansion of y in y 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.067 * [backup-simplify]: Simplify (/ 1 1) into 1 0.067 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x 0.067 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.067 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.067 * [taylor]: Taking taylor expansion of x in x 0.067 * [backup-simplify]: Simplify 0 into 0 0.067 * [backup-simplify]: Simplify 1 into 1 0.067 * [backup-simplify]: Simplify (* 1 1) into 1 0.067 * [backup-simplify]: Simplify (/ 1 1) into 1 0.067 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 0.067 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.067 * [taylor]: Taking taylor expansion of y in x 0.067 * [backup-simplify]: Simplify y into y 0.068 * [backup-simplify]: Simplify (* y y) into (pow y 2) 0.068 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 0.068 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x 0.068 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.068 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.068 * [taylor]: Taking taylor expansion of x in x 0.068 * [backup-simplify]: Simplify 0 into 0 0.068 * [backup-simplify]: Simplify 1 into 1 0.068 * [backup-simplify]: Simplify (* 1 1) into 1 0.068 * [backup-simplify]: Simplify (/ 1 1) into 1 0.068 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 0.068 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.068 * [taylor]: Taking taylor expansion of y in x 0.068 * [backup-simplify]: Simplify y into y 0.068 * [backup-simplify]: Simplify (* y y) into (pow y 2) 0.068 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 0.069 * [backup-simplify]: Simplify (+ 1 0) into 1 0.069 * [taylor]: Taking taylor expansion of 1 in y 0.069 * [backup-simplify]: Simplify 1 into 1 0.069 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.070 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.070 * [backup-simplify]: Simplify (+ 0 0) into 0 0.070 * [taylor]: Taking taylor expansion of 0 in y 0.070 * [backup-simplify]: Simplify 0 into 0 0.071 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.071 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.071 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow y 2))) into (/ 1 (pow y 2)) 0.071 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.071 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.071 * [taylor]: Taking taylor expansion of y in y 0.071 * [backup-simplify]: Simplify 0 into 0 0.071 * [backup-simplify]: Simplify 1 into 1 0.072 * [backup-simplify]: Simplify (* 1 1) into 1 0.072 * [backup-simplify]: Simplify (/ 1 1) into 1 0.072 * [backup-simplify]: Simplify 1 into 1 0.072 * [backup-simplify]: Simplify 1 into 1 0.072 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.073 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.073 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 0.073 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0 0.073 * [backup-simplify]: Simplify (+ 0 0) into 0 0.073 * [taylor]: Taking taylor expansion of 0 in y 0.073 * [backup-simplify]: Simplify 0 into 0 0.074 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.074 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.074 * [backup-simplify]: Simplify 0 into 0 0.074 * [backup-simplify]: Simplify 0 into 0 0.074 * [backup-simplify]: Simplify 0 into 0 0.075 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.076 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.076 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 0.076 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 0.076 * [backup-simplify]: Simplify (+ 0 0) into 0 0.076 * [taylor]: Taking taylor expansion of 0 in y 0.076 * [backup-simplify]: Simplify 0 into 0 0.077 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.077 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.077 * [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 (pow (* 1 (/ 1 (/ 1 (- x)))) 2)) (* 1 (pow (* (/ 1 (/ 1 (- y))) 1) 2))) into (+ (pow x 2) (pow y 2)) 0.078 * * * [progress]: simplifying candidates 0.078 * [simplify]: Simplifying: (* (exp (* x x)) (exp (* y y))) (log (+ (* x x) (* y y))) (exp (+ (* x x) (* y y))) (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))) (cbrt (+ (* x x) (* y y))) (* (* (+ (* x x) (* y y)) (+ (* x x) (* y y))) (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y))) (+ (pow (* x x) 3) (pow (* y y) 3)) (+ (* (* x x) (* x x)) (- (* (* y y) (* y y)) (* (* x x) (* y y)))) (- (* (* x x) (* x x)) (* (* y y) (* y y))) (- (* x x) (* y y)) (+ (pow x 2) (pow y 2)) (+ (pow x 2) (pow y 2)) (+ (pow x 2) (pow y 2)) 0.079 * * [simplify]: Extracting # 0 : cost 0 0.079 * * [simplify]: Extracting # 1 : cost 0 0.079 * * [simplify]: Extracting # 2 : cost 0 0.079 * * [simplify]: Extracting # 3 : cost 0 0.079 * * [simplify]: Extracting # 4 : cost 0 0.079 * * [simplify]: Extracting # 5 : cost 0 0.079 * * [simplify]: Extracting # 6 : cost 0 0.079 * * [simplify]: iteration 0 : 30 enodes (cost 166 ) 0.088 * * [simplify]: Extracting # 0 : cost 0 0.088 * * [simplify]: Extracting # 1 : cost 0 0.088 * * [simplify]: Extracting # 2 : cost 0 0.088 * * [simplify]: Extracting # 3 : cost 0 0.089 * * [simplify]: iteration 1 : 118 enodes (cost 161 ) 0.158 * * [simplify]: Extracting # 0 : cost 0 0.160 * * [simplify]: Extracting # 1 : cost 0 0.161 * * [simplify]: Extracting # 2 : cost 0 0.162 * * [simplify]: Extracting # 3 : cost 0 0.163 * * [simplify]: Extracting # 4 : cost 0 0.163 * * [simplify]: iteration 2 : 674 enodes (cost 131 ) 0.557 * * [simplify]: Extracting # 0 : cost 0 0.568 * * [simplify]: Extracting # 1 : cost 0 0.583 * * [simplify]: Extracting # 2 : cost 0 0.597 * * [simplify]: Extracting # 3 : cost 0 0.611 * * [simplify]: Extracting # 4 : cost 0 0.629 * * [simplify]: iteration done: 5000 enodes (cost 131 ) 0.629 * [simplify]: Simplified to: (exp (+ (* x x) (* y y))) (log (+ (* x x) (* y y))) (exp (+ (* x x) (* y y))) (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))) (cbrt (+ (* x x) (* y y))) (pow (+ (* x x) (* y y)) 3) (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y))) (+ (pow x 6) (pow y 6)) (- (pow y 4) (- (* (* x x) (* y y)) (pow x 4))) (- (pow x 4) (pow y 4)) (- (* x x) (* y y)) (+ (* x x) (* y y)) (+ (* x x) (* y y)) (+ (* x x) (* y y)) 0.630 * * * [progress]: adding candidates to table 0.666 * * [progress]: iteration 2 / 4 0.666 * * * [progress]: picking best candidate 0.668 * * * * [pick]: Picked # 0.668 * * * [progress]: localizing error 0.679 * * * [progress]: generating rewritten candidates 0.679 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.738 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 0.764 * * * [progress]: generating series expansions 0.764 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.765 * [backup-simplify]: Simplify (/ (- (pow x 4) (pow y 4)) (- (* x x) (* y y))) into (/ (- (pow x 4) (pow y 4)) (- (pow x 2) (pow y 2))) 0.765 * [approximate]: Taking taylor expansion of (/ (- (pow x 4) (pow y 4)) (- (pow x 2) (pow y 2))) in (x y) around 0 0.765 * [taylor]: Taking taylor expansion of (/ (- (pow x 4) (pow y 4)) (- (pow x 2) (pow y 2))) in y 0.765 * [taylor]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in y 0.765 * [taylor]: Taking taylor expansion of (pow x 4) in y 0.765 * [taylor]: Taking taylor expansion of x in y 0.765 * [backup-simplify]: Simplify x into x 0.765 * [taylor]: Taking taylor expansion of (pow y 4) in y 0.765 * [taylor]: Taking taylor expansion of y in y 0.765 * [backup-simplify]: Simplify 0 into 0 0.765 * [backup-simplify]: Simplify 1 into 1 0.765 * [taylor]: Taking taylor expansion of (- (pow x 2) (pow y 2)) in y 0.765 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.765 * [taylor]: Taking taylor expansion of x in y 0.765 * [backup-simplify]: Simplify x into x 0.765 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.765 * [taylor]: Taking taylor expansion of y in y 0.765 * [backup-simplify]: Simplify 0 into 0 0.765 * [backup-simplify]: Simplify 1 into 1 0.765 * [backup-simplify]: Simplify (* x x) into (pow x 2) 0.765 * [backup-simplify]: Simplify (* (pow x 2) (pow x 2)) into (pow x 4) 0.765 * [backup-simplify]: Simplify (+ (pow x 4) 0) into (pow x 4) 0.765 * [backup-simplify]: Simplify (* x x) into (pow x 2) 0.765 * [backup-simplify]: Simplify (+ (pow x 2) 0) into (pow x 2) 0.765 * [backup-simplify]: Simplify (/ (pow x 4) (pow x 2)) into (pow x 2) 0.765 * [taylor]: Taking taylor expansion of (/ (- (pow x 4) (pow y 4)) (- (pow x 2) (pow y 2))) in x 0.765 * [taylor]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in x 0.765 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.766 * [taylor]: Taking taylor expansion of x in x 0.766 * [backup-simplify]: Simplify 0 into 0 0.766 * [backup-simplify]: Simplify 1 into 1 0.766 * [taylor]: Taking taylor expansion of (pow y 4) in x 0.766 * [taylor]: Taking taylor expansion of y in x 0.766 * [backup-simplify]: Simplify y into y 0.766 * [taylor]: Taking taylor expansion of (- (pow x 2) (pow y 2)) in x 0.766 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.766 * [taylor]: Taking taylor expansion of x in x 0.766 * [backup-simplify]: Simplify 0 into 0 0.766 * [backup-simplify]: Simplify 1 into 1 0.766 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.766 * [taylor]: Taking taylor expansion of y in x 0.766 * [backup-simplify]: Simplify y into y 0.766 * [backup-simplify]: Simplify (* y y) into (pow y 2) 0.766 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 0.766 * [backup-simplify]: Simplify (- (pow y 4)) into (- (pow y 4)) 0.766 * [backup-simplify]: Simplify (+ 0 (- (pow y 4))) into (- (pow y 4)) 0.766 * [backup-simplify]: Simplify (* y y) into (pow y 2) 0.766 * [backup-simplify]: Simplify (- (pow y 2)) into (- (pow y 2)) 0.766 * [backup-simplify]: Simplify (+ 0 (- (pow y 2))) into (- (pow y 2)) 0.766 * [backup-simplify]: Simplify (/ (- (pow y 4)) (- (pow y 2))) into (pow y 2) 0.766 * [taylor]: Taking taylor expansion of (/ (- (pow x 4) (pow y 4)) (- (pow x 2) (pow y 2))) in x 0.766 * [taylor]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in x 0.767 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.767 * [taylor]: Taking taylor expansion of x in x 0.767 * [backup-simplify]: Simplify 0 into 0 0.767 * [backup-simplify]: Simplify 1 into 1 0.767 * [taylor]: Taking taylor expansion of (pow y 4) in x 0.767 * [taylor]: Taking taylor expansion of y in x 0.767 * [backup-simplify]: Simplify y into y 0.767 * [taylor]: Taking taylor expansion of (- (pow x 2) (pow y 2)) in x 0.767 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.767 * [taylor]: Taking taylor expansion of x in x 0.767 * [backup-simplify]: Simplify 0 into 0 0.767 * [backup-simplify]: Simplify 1 into 1 0.767 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.767 * [taylor]: Taking taylor expansion of y in x 0.767 * [backup-simplify]: Simplify y into y 0.767 * [backup-simplify]: Simplify (* y y) into (pow y 2) 0.767 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 0.767 * [backup-simplify]: Simplify (- (pow y 4)) into (- (pow y 4)) 0.767 * [backup-simplify]: Simplify (+ 0 (- (pow y 4))) into (- (pow y 4)) 0.767 * [backup-simplify]: Simplify (* y y) into (pow y 2) 0.767 * [backup-simplify]: Simplify (- (pow y 2)) into (- (pow y 2)) 0.767 * [backup-simplify]: Simplify (+ 0 (- (pow y 2))) into (- (pow y 2)) 0.767 * [backup-simplify]: Simplify (/ (- (pow y 4)) (- (pow y 2))) into (pow y 2) 0.767 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.768 * [taylor]: Taking taylor expansion of y in y 0.768 * [backup-simplify]: Simplify 0 into 0 0.768 * [backup-simplify]: Simplify 1 into 1 0.768 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 0.768 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0 0.768 * [backup-simplify]: Simplify (- 0) into 0 0.768 * [backup-simplify]: Simplify (+ 0 0) into 0 0.769 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 0.769 * [backup-simplify]: Simplify (- 0) into 0 0.769 * [backup-simplify]: Simplify (+ 0 0) into 0 0.769 * [backup-simplify]: Simplify (- (/ 0 (- (pow y 2))) (+ (* (pow y 2) (/ 0 (- (pow y 2)))))) into 0 0.769 * [taylor]: Taking taylor expansion of 0 in y 0.769 * [backup-simplify]: Simplify 0 into 0 0.769 * [backup-simplify]: Simplify 0 into 0 0.770 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 0.770 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0 0.770 * [backup-simplify]: Simplify (- 0) into 0 0.771 * [backup-simplify]: Simplify (+ 0 0) into 0 0.771 * [backup-simplify]: Simplify (* 1 1) into 1 0.771 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 0.771 * [backup-simplify]: Simplify (- 0) into 0 0.772 * [backup-simplify]: Simplify (+ 1 0) into 1 0.772 * [backup-simplify]: Simplify (- (/ 0 (- (pow y 2))) (+ (* (pow y 2) (/ 1 (- (pow y 2)))) (* 0 (/ 0 (- (pow y 2)))))) into 1 0.772 * [taylor]: Taking taylor expansion of 1 in y 0.772 * [backup-simplify]: Simplify 1 into 1 0.772 * [backup-simplify]: Simplify 1 into 1 0.772 * [backup-simplify]: Simplify 0 into 0 0.772 * [backup-simplify]: Simplify (* 1 1) into 1 0.772 * [backup-simplify]: Simplify 1 into 1 0.773 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 0.773 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2))))) into 0 0.774 * [backup-simplify]: Simplify (- 0) into 0 0.774 * [backup-simplify]: Simplify (+ 0 0) into 0 0.774 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.775 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 0.775 * [backup-simplify]: Simplify (- 0) into 0 0.775 * [backup-simplify]: Simplify (+ 0 0) into 0 0.776 * [backup-simplify]: Simplify (- (/ 0 (- (pow y 2))) (+ (* (pow y 2) (/ 0 (- (pow y 2)))) (* 0 (/ 1 (- (pow y 2)))) (* 1 (/ 0 (- (pow y 2)))))) into 0 0.776 * [taylor]: Taking taylor expansion of 0 in y 0.776 * [backup-simplify]: Simplify 0 into 0 0.776 * [backup-simplify]: Simplify 0 into 0 0.776 * [backup-simplify]: Simplify 0 into 0 0.776 * [backup-simplify]: Simplify 0 into 0 0.776 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.776 * [backup-simplify]: Simplify 0 into 0 0.776 * [backup-simplify]: Simplify (* 1 1) into 1 0.777 * [backup-simplify]: Simplify (* 1 1) into 1 0.777 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 0.778 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2)))))) into 0 0.778 * [backup-simplify]: Simplify (- 0) into 0 0.778 * [backup-simplify]: Simplify (+ 1 0) into 1 0.779 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.780 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 0.780 * [backup-simplify]: Simplify (- 0) into 0 0.780 * [backup-simplify]: Simplify (+ 0 0) into 0 0.781 * [backup-simplify]: Simplify (- (/ 1 (- (pow y 2))) (+ (* (pow y 2) (/ 0 (- (pow y 2)))) (* 0 (/ 0 (- (pow y 2)))) (* 1 (/ 1 (- (pow y 2)))) (* 0 (/ 0 (- (pow y 2)))))) into 0 0.781 * [taylor]: Taking taylor expansion of 0 in y 0.781 * [backup-simplify]: Simplify 0 into 0 0.781 * [backup-simplify]: Simplify 0 into 0 0.781 * [backup-simplify]: Simplify 0 into 0 0.781 * [backup-simplify]: Simplify (+ (* 1 (pow (* y 1) 2)) (* 1 (pow (* 1 x) 2))) into (+ (pow x 2) (pow y 2)) 0.781 * [backup-simplify]: Simplify (/ (- (pow (/ 1 x) 4) (pow (/ 1 y) 4)) (- (* (/ 1 x) (/ 1 x)) (* (/ 1 y) (/ 1 y)))) into (/ (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) (- (/ 1 (pow x 2)) (/ 1 (pow y 2)))) 0.781 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) (- (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in (x y) around 0 0.781 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) (- (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in y 0.782 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in y 0.782 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y 0.782 * [taylor]: Taking taylor expansion of (pow x 4) in y 0.782 * [taylor]: Taking taylor expansion of x in y 0.782 * [backup-simplify]: Simplify x into x 0.782 * [backup-simplify]: Simplify (* x x) into (pow x 2) 0.782 * [backup-simplify]: Simplify (* (pow x 2) (pow x 2)) into (pow x 4) 0.782 * [backup-simplify]: Simplify (/ 1 (pow x 4)) into (/ 1 (pow x 4)) 0.782 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 0.782 * [taylor]: Taking taylor expansion of (pow y 4) in y 0.782 * [taylor]: Taking taylor expansion of y in y 0.782 * [backup-simplify]: Simplify 0 into 0 0.782 * [backup-simplify]: Simplify 1 into 1 0.782 * [backup-simplify]: Simplify (* 1 1) into 1 0.782 * [backup-simplify]: Simplify (* 1 1) into 1 0.783 * [backup-simplify]: Simplify (/ 1 1) into 1 0.783 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y 0.783 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 0.783 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.783 * [taylor]: Taking taylor expansion of x in y 0.783 * [backup-simplify]: Simplify x into x 0.783 * [backup-simplify]: Simplify (* x x) into (pow x 2) 0.783 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 0.783 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.783 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.783 * [taylor]: Taking taylor expansion of y in y 0.783 * [backup-simplify]: Simplify 0 into 0 0.783 * [backup-simplify]: Simplify 1 into 1 0.783 * [backup-simplify]: Simplify (* 1 1) into 1 0.783 * [backup-simplify]: Simplify (/ 1 1) into 1 0.784 * [backup-simplify]: Simplify (- 1) into -1 0.784 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.784 * [backup-simplify]: Simplify (- 1) into -1 0.784 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.785 * [backup-simplify]: Simplify (/ -1 -1) into 1 0.785 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) (- (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in x 0.785 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x 0.785 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 0.785 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.785 * [taylor]: Taking taylor expansion of x in x 0.785 * [backup-simplify]: Simplify 0 into 0 0.785 * [backup-simplify]: Simplify 1 into 1 0.785 * [backup-simplify]: Simplify (* 1 1) into 1 0.785 * [backup-simplify]: Simplify (* 1 1) into 1 0.785 * [backup-simplify]: Simplify (/ 1 1) into 1 0.785 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 0.785 * [taylor]: Taking taylor expansion of (pow y 4) in x 0.785 * [taylor]: Taking taylor expansion of y in x 0.786 * [backup-simplify]: Simplify y into y 0.786 * [backup-simplify]: Simplify (* y y) into (pow y 2) 0.786 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 0.786 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4)) 0.786 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x 0.786 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.786 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.786 * [taylor]: Taking taylor expansion of x in x 0.786 * [backup-simplify]: Simplify 0 into 0 0.786 * [backup-simplify]: Simplify 1 into 1 0.786 * [backup-simplify]: Simplify (* 1 1) into 1 0.786 * [backup-simplify]: Simplify (/ 1 1) into 1 0.786 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 0.786 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.786 * [taylor]: Taking taylor expansion of y in x 0.786 * [backup-simplify]: Simplify y into y 0.786 * [backup-simplify]: Simplify (* y y) into (pow y 2) 0.787 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 0.787 * [backup-simplify]: Simplify (+ 1 0) into 1 0.787 * [backup-simplify]: Simplify (+ 1 0) into 1 0.787 * [backup-simplify]: Simplify (/ 1 1) into 1 0.787 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) (- (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in x 0.787 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x 0.787 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 0.787 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.787 * [taylor]: Taking taylor expansion of x in x 0.787 * [backup-simplify]: Simplify 0 into 0 0.787 * [backup-simplify]: Simplify 1 into 1 0.788 * [backup-simplify]: Simplify (* 1 1) into 1 0.788 * [backup-simplify]: Simplify (* 1 1) into 1 0.788 * [backup-simplify]: Simplify (/ 1 1) into 1 0.788 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 0.788 * [taylor]: Taking taylor expansion of (pow y 4) in x 0.788 * [taylor]: Taking taylor expansion of y in x 0.788 * [backup-simplify]: Simplify y into y 0.788 * [backup-simplify]: Simplify (* y y) into (pow y 2) 0.788 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 0.788 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4)) 0.788 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x 0.788 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.788 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.788 * [taylor]: Taking taylor expansion of x in x 0.789 * [backup-simplify]: Simplify 0 into 0 0.789 * [backup-simplify]: Simplify 1 into 1 0.789 * [backup-simplify]: Simplify (* 1 1) into 1 0.789 * [backup-simplify]: Simplify (/ 1 1) into 1 0.789 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 0.789 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.789 * [taylor]: Taking taylor expansion of y in x 0.789 * [backup-simplify]: Simplify y into y 0.789 * [backup-simplify]: Simplify (* y y) into (pow y 2) 0.789 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 0.789 * [backup-simplify]: Simplify (+ 1 0) into 1 0.790 * [backup-simplify]: Simplify (+ 1 0) into 1 0.790 * [backup-simplify]: Simplify (/ 1 1) into 1 0.790 * [taylor]: Taking taylor expansion of 1 in y 0.790 * [backup-simplify]: Simplify 1 into 1 0.790 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.791 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.791 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.791 * [backup-simplify]: Simplify (+ 0 0) into 0 0.792 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.792 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.792 * [backup-simplify]: Simplify (+ 0 0) into 0 0.793 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)))) into 0 0.793 * [taylor]: Taking taylor expansion of 0 in y 0.793 * [backup-simplify]: Simplify 0 into 0 0.794 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.794 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.795 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.795 * [backup-simplify]: Simplify (+ 0 0) into 0 0.795 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.796 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.796 * [backup-simplify]: Simplify (- (/ 1 (pow y 2))) into (- (/ 1 (pow y 2))) 0.796 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow y 2)))) into (- (/ 1 (pow y 2))) 0.797 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ (- (/ 1 (pow y 2))) 1)) (* 0 (/ 0 1)))) into (/ 1 (pow y 2)) 0.797 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.797 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.797 * [taylor]: Taking taylor expansion of y in y 0.797 * [backup-simplify]: Simplify 0 into 0 0.797 * [backup-simplify]: Simplify 1 into 1 0.797 * [backup-simplify]: Simplify (* 1 1) into 1 0.797 * [backup-simplify]: Simplify (/ 1 1) into 1 0.797 * [backup-simplify]: Simplify 1 into 1 0.798 * [backup-simplify]: Simplify 1 into 1 0.798 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.799 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.799 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.799 * [backup-simplify]: Simplify (+ 0 0) into 0 0.800 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.801 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.801 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 0.801 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0 0.801 * [backup-simplify]: Simplify (- 0) into 0 0.801 * [backup-simplify]: Simplify (+ 0 0) into 0 0.802 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 0 (/ (- (/ 1 (pow y 2))) 1)) (* (/ 1 (pow y 2)) (/ 0 1)))) into 0 0.802 * [taylor]: Taking taylor expansion of 0 in y 0.802 * [backup-simplify]: Simplify 0 into 0 0.803 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.803 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.803 * [backup-simplify]: Simplify 0 into 0 0.803 * [backup-simplify]: Simplify 0 into 0 0.803 * [backup-simplify]: Simplify 0 into 0 0.804 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.805 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.805 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.805 * [backup-simplify]: Simplify (- (/ 1 (pow y 4))) into (- (/ 1 (pow y 4))) 0.805 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow y 4)))) into (- (/ 1 (pow y 4))) 0.806 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.807 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.807 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 0.807 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 0.807 * [backup-simplify]: Simplify (- 0) into 0 0.808 * [backup-simplify]: Simplify (+ 0 0) into 0 0.809 * [backup-simplify]: Simplify (- (/ (- (/ 1 (pow y 4))) 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* (/ 1 (pow y 2)) (/ (- (/ 1 (pow y 2))) 1)) (* 0 (/ 0 1)))) into 0 0.809 * [taylor]: Taking taylor expansion of 0 in y 0.809 * [backup-simplify]: Simplify 0 into 0 0.809 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.810 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.810 * [backup-simplify]: Simplify 0 into 0 0.810 * [backup-simplify]: Simplify 0 into 0 0.810 * [backup-simplify]: Simplify 0 into 0 0.810 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 x))) 2)) (* 1 (pow (* (/ 1 (/ 1 y)) 1) 2))) into (+ (pow x 2) (pow y 2)) 0.811 * [backup-simplify]: Simplify (/ (- (pow (/ 1 (- x)) 4) (pow (/ 1 (- y)) 4)) (- (* (/ 1 (- x)) (/ 1 (- x))) (* (/ 1 (- y)) (/ 1 (- y))))) into (/ (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) (- (/ 1 (pow x 2)) (/ 1 (pow y 2)))) 0.811 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) (- (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in (x y) around 0 0.811 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) (- (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in y 0.811 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in y 0.811 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y 0.811 * [taylor]: Taking taylor expansion of (pow x 4) in y 0.811 * [taylor]: Taking taylor expansion of x in y 0.811 * [backup-simplify]: Simplify x into x 0.811 * [backup-simplify]: Simplify (* x x) into (pow x 2) 0.811 * [backup-simplify]: Simplify (* (pow x 2) (pow x 2)) into (pow x 4) 0.811 * [backup-simplify]: Simplify (/ 1 (pow x 4)) into (/ 1 (pow x 4)) 0.811 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 0.811 * [taylor]: Taking taylor expansion of (pow y 4) in y 0.811 * [taylor]: Taking taylor expansion of y in y 0.811 * [backup-simplify]: Simplify 0 into 0 0.811 * [backup-simplify]: Simplify 1 into 1 0.811 * [backup-simplify]: Simplify (* 1 1) into 1 0.812 * [backup-simplify]: Simplify (* 1 1) into 1 0.812 * [backup-simplify]: Simplify (/ 1 1) into 1 0.812 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y 0.812 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 0.812 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.812 * [taylor]: Taking taylor expansion of x in y 0.812 * [backup-simplify]: Simplify x into x 0.812 * [backup-simplify]: Simplify (* x x) into (pow x 2) 0.812 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 0.812 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.812 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.812 * [taylor]: Taking taylor expansion of y in y 0.812 * [backup-simplify]: Simplify 0 into 0 0.812 * [backup-simplify]: Simplify 1 into 1 0.812 * [backup-simplify]: Simplify (* 1 1) into 1 0.813 * [backup-simplify]: Simplify (/ 1 1) into 1 0.813 * [backup-simplify]: Simplify (- 1) into -1 0.813 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.813 * [backup-simplify]: Simplify (- 1) into -1 0.814 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.814 * [backup-simplify]: Simplify (/ -1 -1) into 1 0.814 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) (- (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in x 0.814 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x 0.814 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 0.814 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.814 * [taylor]: Taking taylor expansion of x in x 0.814 * [backup-simplify]: Simplify 0 into 0 0.814 * [backup-simplify]: Simplify 1 into 1 0.814 * [backup-simplify]: Simplify (* 1 1) into 1 0.814 * [backup-simplify]: Simplify (* 1 1) into 1 0.815 * [backup-simplify]: Simplify (/ 1 1) into 1 0.815 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 0.815 * [taylor]: Taking taylor expansion of (pow y 4) in x 0.815 * [taylor]: Taking taylor expansion of y in x 0.815 * [backup-simplify]: Simplify y into y 0.815 * [backup-simplify]: Simplify (* y y) into (pow y 2) 0.815 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 0.815 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4)) 0.815 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x 0.815 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.815 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.815 * [taylor]: Taking taylor expansion of x in x 0.815 * [backup-simplify]: Simplify 0 into 0 0.815 * [backup-simplify]: Simplify 1 into 1 0.815 * [backup-simplify]: Simplify (* 1 1) into 1 0.816 * [backup-simplify]: Simplify (/ 1 1) into 1 0.816 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 0.816 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.816 * [taylor]: Taking taylor expansion of y in x 0.816 * [backup-simplify]: Simplify y into y 0.816 * [backup-simplify]: Simplify (* y y) into (pow y 2) 0.816 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 0.816 * [backup-simplify]: Simplify (+ 1 0) into 1 0.816 * [backup-simplify]: Simplify (+ 1 0) into 1 0.817 * [backup-simplify]: Simplify (/ 1 1) into 1 0.817 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) (- (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in x 0.817 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x 0.817 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 0.817 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.817 * [taylor]: Taking taylor expansion of x in x 0.817 * [backup-simplify]: Simplify 0 into 0 0.817 * [backup-simplify]: Simplify 1 into 1 0.817 * [backup-simplify]: Simplify (* 1 1) into 1 0.817 * [backup-simplify]: Simplify (* 1 1) into 1 0.817 * [backup-simplify]: Simplify (/ 1 1) into 1 0.817 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 0.817 * [taylor]: Taking taylor expansion of (pow y 4) in x 0.817 * [taylor]: Taking taylor expansion of y in x 0.817 * [backup-simplify]: Simplify y into y 0.817 * [backup-simplify]: Simplify (* y y) into (pow y 2) 0.818 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 0.818 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4)) 0.818 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x 0.818 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.818 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.818 * [taylor]: Taking taylor expansion of x in x 0.818 * [backup-simplify]: Simplify 0 into 0 0.818 * [backup-simplify]: Simplify 1 into 1 0.818 * [backup-simplify]: Simplify (* 1 1) into 1 0.818 * [backup-simplify]: Simplify (/ 1 1) into 1 0.818 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 0.818 * [taylor]: Taking taylor expansion of (pow y 2) in x 0.818 * [taylor]: Taking taylor expansion of y in x 0.818 * [backup-simplify]: Simplify y into y 0.818 * [backup-simplify]: Simplify (* y y) into (pow y 2) 0.818 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 0.819 * [backup-simplify]: Simplify (+ 1 0) into 1 0.819 * [backup-simplify]: Simplify (+ 1 0) into 1 0.819 * [backup-simplify]: Simplify (/ 1 1) into 1 0.819 * [taylor]: Taking taylor expansion of 1 in y 0.819 * [backup-simplify]: Simplify 1 into 1 0.820 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.820 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.820 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.821 * [backup-simplify]: Simplify (+ 0 0) into 0 0.821 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.821 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.822 * [backup-simplify]: Simplify (+ 0 0) into 0 0.822 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)))) into 0 0.822 * [taylor]: Taking taylor expansion of 0 in y 0.822 * [backup-simplify]: Simplify 0 into 0 0.823 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.823 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.824 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.824 * [backup-simplify]: Simplify (+ 0 0) into 0 0.824 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.825 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.825 * [backup-simplify]: Simplify (- (/ 1 (pow y 2))) into (- (/ 1 (pow y 2))) 0.825 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow y 2)))) into (- (/ 1 (pow y 2))) 0.826 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ (- (/ 1 (pow y 2))) 1)) (* 0 (/ 0 1)))) into (/ 1 (pow y 2)) 0.826 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.826 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.826 * [taylor]: Taking taylor expansion of y in y 0.826 * [backup-simplify]: Simplify 0 into 0 0.826 * [backup-simplify]: Simplify 1 into 1 0.826 * [backup-simplify]: Simplify (* 1 1) into 1 0.827 * [backup-simplify]: Simplify (/ 1 1) into 1 0.827 * [backup-simplify]: Simplify 1 into 1 0.827 * [backup-simplify]: Simplify 1 into 1 0.827 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.828 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.828 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.828 * [backup-simplify]: Simplify (+ 0 0) into 0 0.829 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.830 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.830 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 0.830 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0 0.830 * [backup-simplify]: Simplify (- 0) into 0 0.830 * [backup-simplify]: Simplify (+ 0 0) into 0 0.831 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 0 (/ (- (/ 1 (pow y 2))) 1)) (* (/ 1 (pow y 2)) (/ 0 1)))) into 0 0.831 * [taylor]: Taking taylor expansion of 0 in y 0.831 * [backup-simplify]: Simplify 0 into 0 0.832 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.832 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.832 * [backup-simplify]: Simplify 0 into 0 0.832 * [backup-simplify]: Simplify 0 into 0 0.832 * [backup-simplify]: Simplify 0 into 0 0.833 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.834 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.834 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.834 * [backup-simplify]: Simplify (- (/ 1 (pow y 4))) into (- (/ 1 (pow y 4))) 0.834 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow y 4)))) into (- (/ 1 (pow y 4))) 0.835 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.836 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.836 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 0.836 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 0.836 * [backup-simplify]: Simplify (- 0) into 0 0.837 * [backup-simplify]: Simplify (+ 0 0) into 0 0.838 * [backup-simplify]: Simplify (- (/ (- (/ 1 (pow y 4))) 1) (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* (/ 1 (pow y 2)) (/ (- (/ 1 (pow y 2))) 1)) (* 0 (/ 0 1)))) into 0 0.838 * [taylor]: Taking taylor expansion of 0 in y 0.838 * [backup-simplify]: Simplify 0 into 0 0.838 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.839 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.839 * [backup-simplify]: Simplify 0 into 0 0.839 * [backup-simplify]: Simplify 0 into 0 0.839 * [backup-simplify]: Simplify 0 into 0 0.839 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- x)))) 2)) (* 1 (pow (* (/ 1 (/ 1 (- y))) 1) 2))) into (+ (pow x 2) (pow y 2)) 0.839 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 0.840 * [backup-simplify]: Simplify (- (pow x 4) (pow y 4)) into (- (pow x 4) (pow y 4)) 0.840 * [approximate]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in (x y) around 0 0.840 * [taylor]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in y 0.840 * [taylor]: Taking taylor expansion of (pow x 4) in y 0.840 * [taylor]: Taking taylor expansion of x in y 0.840 * [backup-simplify]: Simplify x into x 0.840 * [taylor]: Taking taylor expansion of (pow y 4) in y 0.840 * [taylor]: Taking taylor expansion of y in y 0.840 * [backup-simplify]: Simplify 0 into 0 0.840 * [backup-simplify]: Simplify 1 into 1 0.840 * [taylor]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in x 0.840 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.840 * [taylor]: Taking taylor expansion of x in x 0.840 * [backup-simplify]: Simplify 0 into 0 0.840 * [backup-simplify]: Simplify 1 into 1 0.840 * [taylor]: Taking taylor expansion of (pow y 4) in x 0.840 * [taylor]: Taking taylor expansion of y in x 0.840 * [backup-simplify]: Simplify y into y 0.840 * [taylor]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in x 0.840 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.840 * [taylor]: Taking taylor expansion of x in x 0.840 * [backup-simplify]: Simplify 0 into 0 0.840 * [backup-simplify]: Simplify 1 into 1 0.840 * [taylor]: Taking taylor expansion of (pow y 4) in x 0.840 * [taylor]: Taking taylor expansion of y in x 0.840 * [backup-simplify]: Simplify y into y 0.840 * [backup-simplify]: Simplify (* y y) into (pow y 2) 0.840 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 0.840 * [backup-simplify]: Simplify (- (pow y 4)) into (- (pow y 4)) 0.840 * [backup-simplify]: Simplify (+ 0 (- (pow y 4))) into (- (pow y 4)) 0.840 * [taylor]: Taking taylor expansion of (- (pow y 4)) in y 0.840 * [taylor]: Taking taylor expansion of (pow y 4) in y 0.840 * [taylor]: Taking taylor expansion of y in y 0.840 * [backup-simplify]: Simplify 0 into 0 0.840 * [backup-simplify]: Simplify 1 into 1 0.841 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 0.841 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0 0.841 * [backup-simplify]: Simplify (- 0) into 0 0.841 * [backup-simplify]: Simplify (+ 0 0) into 0 0.841 * [taylor]: Taking taylor expansion of 0 in y 0.841 * [backup-simplify]: Simplify 0 into 0 0.841 * [backup-simplify]: Simplify 0 into 0 0.841 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 0.842 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0 0.842 * [backup-simplify]: Simplify (- 0) into 0 0.842 * [backup-simplify]: Simplify (+ 0 0) into 0 0.842 * [taylor]: Taking taylor expansion of 0 in y 0.842 * [backup-simplify]: Simplify 0 into 0 0.842 * [backup-simplify]: Simplify 0 into 0 0.842 * [backup-simplify]: Simplify 0 into 0 0.843 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 0.844 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2))))) into 0 0.844 * [backup-simplify]: Simplify (- 0) into 0 0.845 * [backup-simplify]: Simplify (+ 0 0) into 0 0.845 * [taylor]: Taking taylor expansion of 0 in y 0.845 * [backup-simplify]: Simplify 0 into 0 0.845 * [backup-simplify]: Simplify 0 into 0 0.845 * [backup-simplify]: Simplify 0 into 0 0.845 * [backup-simplify]: Simplify 0 into 0 0.845 * [backup-simplify]: Simplify 0 into 0 0.845 * [backup-simplify]: Simplify (- (pow (/ 1 x) 4) (pow (/ 1 y) 4)) into (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 0.845 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in (x y) around 0 0.845 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in y 0.845 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y 0.845 * [taylor]: Taking taylor expansion of (pow x 4) in y 0.845 * [taylor]: Taking taylor expansion of x in y 0.845 * [backup-simplify]: Simplify x into x 0.846 * [backup-simplify]: Simplify (* x x) into (pow x 2) 0.846 * [backup-simplify]: Simplify (* (pow x 2) (pow x 2)) into (pow x 4) 0.846 * [backup-simplify]: Simplify (/ 1 (pow x 4)) into (/ 1 (pow x 4)) 0.846 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 0.846 * [taylor]: Taking taylor expansion of (pow y 4) in y 0.846 * [taylor]: Taking taylor expansion of y in y 0.846 * [backup-simplify]: Simplify 0 into 0 0.846 * [backup-simplify]: Simplify 1 into 1 0.846 * [backup-simplify]: Simplify (* 1 1) into 1 0.847 * [backup-simplify]: Simplify (* 1 1) into 1 0.847 * [backup-simplify]: Simplify (/ 1 1) into 1 0.847 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x 0.847 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 0.847 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.847 * [taylor]: Taking taylor expansion of x in x 0.847 * [backup-simplify]: Simplify 0 into 0 0.847 * [backup-simplify]: Simplify 1 into 1 0.848 * [backup-simplify]: Simplify (* 1 1) into 1 0.848 * [backup-simplify]: Simplify (* 1 1) into 1 0.848 * [backup-simplify]: Simplify (/ 1 1) into 1 0.848 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 0.848 * [taylor]: Taking taylor expansion of (pow y 4) in x 0.848 * [taylor]: Taking taylor expansion of y in x 0.848 * [backup-simplify]: Simplify y into y 0.848 * [backup-simplify]: Simplify (* y y) into (pow y 2) 0.849 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 0.849 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4)) 0.849 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x 0.849 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 0.849 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.849 * [taylor]: Taking taylor expansion of x in x 0.849 * [backup-simplify]: Simplify 0 into 0 0.849 * [backup-simplify]: Simplify 1 into 1 0.849 * [backup-simplify]: Simplify (* 1 1) into 1 0.850 * [backup-simplify]: Simplify (* 1 1) into 1 0.850 * [backup-simplify]: Simplify (/ 1 1) into 1 0.850 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 0.850 * [taylor]: Taking taylor expansion of (pow y 4) in x 0.850 * [taylor]: Taking taylor expansion of y in x 0.850 * [backup-simplify]: Simplify y into y 0.850 * [backup-simplify]: Simplify (* y y) into (pow y 2) 0.850 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 0.851 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4)) 0.851 * [backup-simplify]: Simplify (+ 1 0) into 1 0.851 * [taylor]: Taking taylor expansion of 1 in y 0.851 * [backup-simplify]: Simplify 1 into 1 0.852 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.852 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.853 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.853 * [backup-simplify]: Simplify (+ 0 0) into 0 0.853 * [taylor]: Taking taylor expansion of 0 in y 0.853 * [backup-simplify]: Simplify 0 into 0 0.854 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.855 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.856 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.856 * [backup-simplify]: Simplify (+ 0 0) into 0 0.856 * [taylor]: Taking taylor expansion of 0 in y 0.857 * [backup-simplify]: Simplify 0 into 0 0.858 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.859 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.859 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.860 * [backup-simplify]: Simplify (+ 0 0) into 0 0.860 * [taylor]: Taking taylor expansion of 0 in y 0.860 * [backup-simplify]: Simplify 0 into 0 0.864 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.865 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.866 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.866 * [backup-simplify]: Simplify (- (/ 1 (pow y 4))) into (- (/ 1 (pow y 4))) 0.867 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow y 4)))) into (- (/ 1 (pow y 4))) 0.867 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 4))) in y 0.867 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 0.867 * [taylor]: Taking taylor expansion of (pow y 4) in y 0.867 * [taylor]: Taking taylor expansion of y in y 0.867 * [backup-simplify]: Simplify 0 into 0 0.867 * [backup-simplify]: Simplify 1 into 1 0.867 * [backup-simplify]: Simplify (* 1 1) into 1 0.868 * [backup-simplify]: Simplify (* 1 1) into 1 0.868 * [backup-simplify]: Simplify (/ 1 1) into 1 0.868 * [backup-simplify]: Simplify (- 1) into -1 0.868 * [backup-simplify]: Simplify -1 into -1 0.868 * [backup-simplify]: Simplify 1 into 1 0.870 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.871 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.872 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.872 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 0.873 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0 0.873 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))))) into 0 0.873 * [backup-simplify]: Simplify (- 0) into 0 0.874 * [backup-simplify]: Simplify (+ 0 0) into 0 0.874 * [taylor]: Taking taylor expansion of 0 in y 0.874 * [backup-simplify]: Simplify 0 into 0 0.874 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.875 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.876 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.876 * [backup-simplify]: Simplify (- 0) into 0 0.876 * [backup-simplify]: Simplify 0 into 0 0.876 * [backup-simplify]: Simplify 0 into 0 0.876 * [backup-simplify]: Simplify 0 into 0 0.878 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.879 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.880 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.881 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 0.882 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0 0.882 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))))) into 0 0.882 * [backup-simplify]: Simplify (- 0) into 0 0.883 * [backup-simplify]: Simplify (+ 0 0) into 0 0.883 * [taylor]: Taking taylor expansion of 0 in y 0.883 * [backup-simplify]: Simplify 0 into 0 0.884 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.885 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.885 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.886 * [backup-simplify]: Simplify (- 0) into 0 0.886 * [backup-simplify]: Simplify 0 into 0 0.886 * [backup-simplify]: Simplify 0 into 0 0.886 * [backup-simplify]: Simplify 0 into 0 0.887 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 x))) 4)) (* -1 (pow (* (/ 1 (/ 1 y)) 1) 4))) into (- (pow x 4) (pow y 4)) 0.888 * [backup-simplify]: Simplify (- (pow (/ 1 (- x)) 4) (pow (/ 1 (- y)) 4)) into (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 0.888 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in (x y) around 0 0.888 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in y 0.888 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y 0.888 * [taylor]: Taking taylor expansion of (pow x 4) in y 0.888 * [taylor]: Taking taylor expansion of x in y 0.888 * [backup-simplify]: Simplify x into x 0.888 * [backup-simplify]: Simplify (* x x) into (pow x 2) 0.888 * [backup-simplify]: Simplify (* (pow x 2) (pow x 2)) into (pow x 4) 0.888 * [backup-simplify]: Simplify (/ 1 (pow x 4)) into (/ 1 (pow x 4)) 0.888 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 0.888 * [taylor]: Taking taylor expansion of (pow y 4) in y 0.889 * [taylor]: Taking taylor expansion of y in y 0.889 * [backup-simplify]: Simplify 0 into 0 0.889 * [backup-simplify]: Simplify 1 into 1 0.889 * [backup-simplify]: Simplify (* 1 1) into 1 0.889 * [backup-simplify]: Simplify (* 1 1) into 1 0.890 * [backup-simplify]: Simplify (/ 1 1) into 1 0.890 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x 0.890 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 0.890 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.890 * [taylor]: Taking taylor expansion of x in x 0.890 * [backup-simplify]: Simplify 0 into 0 0.890 * [backup-simplify]: Simplify 1 into 1 0.890 * [backup-simplify]: Simplify (* 1 1) into 1 0.891 * [backup-simplify]: Simplify (* 1 1) into 1 0.891 * [backup-simplify]: Simplify (/ 1 1) into 1 0.891 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 0.891 * [taylor]: Taking taylor expansion of (pow y 4) in x 0.891 * [taylor]: Taking taylor expansion of y in x 0.891 * [backup-simplify]: Simplify y into y 0.891 * [backup-simplify]: Simplify (* y y) into (pow y 2) 0.891 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 0.892 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4)) 0.892 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x 0.892 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 0.892 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.892 * [taylor]: Taking taylor expansion of x in x 0.892 * [backup-simplify]: Simplify 0 into 0 0.892 * [backup-simplify]: Simplify 1 into 1 0.892 * [backup-simplify]: Simplify (* 1 1) into 1 0.892 * [backup-simplify]: Simplify (* 1 1) into 1 0.893 * [backup-simplify]: Simplify (/ 1 1) into 1 0.893 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x 0.893 * [taylor]: Taking taylor expansion of (pow y 4) in x 0.893 * [taylor]: Taking taylor expansion of y in x 0.893 * [backup-simplify]: Simplify y into y 0.893 * [backup-simplify]: Simplify (* y y) into (pow y 2) 0.893 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4) 0.893 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4)) 0.894 * [backup-simplify]: Simplify (+ 1 0) into 1 0.894 * [taylor]: Taking taylor expansion of 1 in y 0.894 * [backup-simplify]: Simplify 1 into 1 0.895 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.895 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.896 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.897 * [backup-simplify]: Simplify (+ 0 0) into 0 0.897 * [taylor]: Taking taylor expansion of 0 in y 0.897 * [backup-simplify]: Simplify 0 into 0 0.897 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.898 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.899 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.899 * [backup-simplify]: Simplify (+ 0 0) into 0 0.900 * [taylor]: Taking taylor expansion of 0 in y 0.900 * [backup-simplify]: Simplify 0 into 0 0.900 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.901 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.902 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.903 * [backup-simplify]: Simplify (+ 0 0) into 0 0.903 * [taylor]: Taking taylor expansion of 0 in y 0.903 * [backup-simplify]: Simplify 0 into 0 0.904 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.905 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.906 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.907 * [backup-simplify]: Simplify (- (/ 1 (pow y 4))) into (- (/ 1 (pow y 4))) 0.907 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow y 4)))) into (- (/ 1 (pow y 4))) 0.907 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 4))) in y 0.907 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 0.907 * [taylor]: Taking taylor expansion of (pow y 4) in y 0.907 * [taylor]: Taking taylor expansion of y in y 0.907 * [backup-simplify]: Simplify 0 into 0 0.907 * [backup-simplify]: Simplify 1 into 1 0.907 * [backup-simplify]: Simplify (* 1 1) into 1 0.908 * [backup-simplify]: Simplify (* 1 1) into 1 0.908 * [backup-simplify]: Simplify (/ 1 1) into 1 0.908 * [backup-simplify]: Simplify (- 1) into -1 0.909 * [backup-simplify]: Simplify -1 into -1 0.909 * [backup-simplify]: Simplify 1 into 1 0.910 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.911 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.912 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.912 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 0.913 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0 0.913 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))))) into 0 0.913 * [backup-simplify]: Simplify (- 0) into 0 0.914 * [backup-simplify]: Simplify (+ 0 0) into 0 0.914 * [taylor]: Taking taylor expansion of 0 in y 0.914 * [backup-simplify]: Simplify 0 into 0 0.914 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.915 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.916 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.916 * [backup-simplify]: Simplify (- 0) into 0 0.916 * [backup-simplify]: Simplify 0 into 0 0.916 * [backup-simplify]: Simplify 0 into 0 0.916 * [backup-simplify]: Simplify 0 into 0 0.918 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.919 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.920 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.921 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 0.921 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0 0.922 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))))) into 0 0.922 * [backup-simplify]: Simplify (- 0) into 0 0.922 * [backup-simplify]: Simplify (+ 0 0) into 0 0.922 * [taylor]: Taking taylor expansion of 0 in y 0.922 * [backup-simplify]: Simplify 0 into 0 0.923 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.924 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.925 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.926 * [backup-simplify]: Simplify (- 0) into 0 0.926 * [backup-simplify]: Simplify 0 into 0 0.926 * [backup-simplify]: Simplify 0 into 0 0.926 * [backup-simplify]: Simplify 0 into 0 0.926 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- x)))) 4)) (* -1 (pow (* (/ 1 (/ 1 (- y))) 1) 4))) into (- (pow x 4) (pow y 4)) 0.926 * * * [progress]: simplifying candidates 0.930 * [simplify]: Simplifying: (- (log (- (pow x 4) (pow y 4))) (log (- (* x x) (* y y)))) (log (/ (- (pow x 4) (pow y 4)) (- (* x x) (* y y)))) (exp (/ (- (pow x 4) (pow y 4)) (- (* x x) (* y y)))) (/ (* (* (- (pow x 4) (pow y 4)) (- (pow x 4) (pow y 4))) (- (pow x 4) (pow y 4))) (* (* (- (* x x) (* y y)) (- (* x x) (* y y))) (- (* x x) (* y y)))) (* (cbrt (/ (- (pow x 4) (pow y 4)) (- (* x x) (* y y)))) (cbrt (/ (- (pow x 4) (pow y 4)) (- (* x x) (* y y))))) (cbrt (/ (- (pow x 4) (pow y 4)) (- (* x x) (* y y)))) (* (* (/ (- (pow x 4) (pow y 4)) (- (* x x) (* y y))) (/ (- (pow x 4) (pow y 4)) (- (* x x) (* y y)))) (/ (- (pow x 4) (pow y 4)) (- (* x x) (* y y)))) (sqrt (/ (- (pow x 4) (pow y 4)) (- (* x x) (* y y)))) (sqrt (/ (- (pow x 4) (pow y 4)) (- (* x x) (* y y)))) (- (- (pow x 4) (pow y 4))) (- (- (* x x) (* y y))) (/ (pow x 4) (- (* x x) (* y y))) (/ (pow y 4) (- (* x x) (* y y))) (/ (* (cbrt (- (pow x 4) (pow y 4))) (cbrt (- (pow x 4) (pow y 4)))) (* (cbrt (- (* x x) (* y y))) (cbrt (- (* x x) (* y y))))) (/ (cbrt (- (pow x 4) (pow y 4))) (cbrt (- (* x x) (* y y)))) (/ (* (cbrt (- (pow x 4) (pow y 4))) (cbrt (- (pow x 4) (pow y 4)))) (sqrt (- (* x x) (* y y)))) (/ (cbrt (- (pow x 4) (pow y 4))) (sqrt (- (* x x) (* y y)))) (/ (* (cbrt (- (pow x 4) (pow y 4))) (cbrt (- (pow x 4) (pow y 4)))) 1) (/ (cbrt (- (pow x 4) (pow y 4))) (- (* x x) (* y y))) (/ (* (cbrt (- (pow x 4) (pow y 4))) (cbrt (- (pow x 4) (pow y 4)))) (+ x y)) (/ (cbrt (- (pow x 4) (pow y 4))) (- x y)) (/ (sqrt (- (pow x 4) (pow y 4))) (* (cbrt (- (* x x) (* y y))) (cbrt (- (* x x) (* y y))))) (/ (sqrt (- (pow x 4) (pow y 4))) (cbrt (- (* x x) (* y y)))) (/ (sqrt (- (pow x 4) (pow y 4))) (sqrt (- (* x x) (* y y)))) (/ (sqrt (- (pow x 4) (pow y 4))) (sqrt (- (* x x) (* y y)))) (/ (sqrt (- (pow x 4) (pow y 4))) 1) (/ (sqrt (- (pow x 4) (pow y 4))) (- (* x x) (* y y))) (/ (sqrt (- (pow x 4) (pow y 4))) (+ x y)) (/ (sqrt (- (pow x 4) (pow y 4))) (- x y)) (/ 1 (* (cbrt (- (* x x) (* y y))) (cbrt (- (* x x) (* y y))))) (/ (- (pow x 4) (pow y 4)) (cbrt (- (* x x) (* y y)))) (/ 1 (sqrt (- (* x x) (* y y)))) (/ (- (pow x 4) (pow y 4)) (sqrt (- (* x x) (* y y)))) (/ 1 1) (/ (- (pow x 4) (pow y 4)) (- (* x x) (* y y))) (/ 1 (+ x y)) (/ (- (pow x 4) (pow y 4)) (- x y)) (/ (+ (pow (sqrt x) 4) (pow (sqrt y) 4)) (* (cbrt (- (* x x) (* y y))) (cbrt (- (* x x) (* y y))))) (/ (- (pow (sqrt x) 4) (pow (sqrt y) 4)) (cbrt (- (* x x) (* y y)))) (/ (+ (pow (sqrt x) 4) (pow (sqrt y) 4)) (sqrt (- (* x x) (* y y)))) (/ (- (pow (sqrt x) 4) (pow (sqrt y) 4)) (sqrt (- (* x x) (* y y)))) (/ (+ (pow (sqrt x) 4) (pow (sqrt y) 4)) 1) (/ (- (pow (sqrt x) 4) (pow (sqrt y) 4)) (- (* x x) (* y y))) (/ (+ (pow (sqrt x) 4) (pow (sqrt y) 4)) (+ x y)) (/ (- (pow (sqrt x) 4) (pow (sqrt y) 4)) (- x y)) (/ (+ (pow (sqrt x) 4) (sqrt (pow y 4))) (* (cbrt (- (* x x) (* y y))) (cbrt (- (* x x) (* y y))))) (/ (- (pow (sqrt x) 4) (sqrt (pow y 4))) (cbrt (- (* x x) (* y y)))) (/ (+ (pow (sqrt x) 4) (sqrt (pow y 4))) (sqrt (- (* x x) (* y y)))) (/ (- (pow (sqrt x) 4) (sqrt (pow y 4))) (sqrt (- (* x x) (* y y)))) (/ (+ (pow (sqrt x) 4) (sqrt (pow y 4))) 1) (/ (- (pow (sqrt x) 4) (sqrt (pow y 4))) (- (* x x) (* y y))) (/ (+ (pow (sqrt x) 4) (sqrt (pow y 4))) (+ x y)) (/ (- (pow (sqrt x) 4) (sqrt (pow y 4))) (- x y)) (/ (+ (pow (sqrt x) 4) (pow y (/ 4 2))) (* (cbrt (- (* x x) (* y y))) (cbrt (- (* x x) (* y y))))) (/ (- (pow (sqrt x) 4) (pow y (/ 4 2))) (cbrt (- (* x x) (* y y)))) (/ (+ (pow (sqrt x) 4) (pow y (/ 4 2))) (sqrt (- (* x x) (* y y)))) (/ (- (pow (sqrt x) 4) (pow y (/ 4 2))) (sqrt (- (* x x) (* y y)))) (/ (+ (pow (sqrt x) 4) (pow y (/ 4 2))) 1) (/ (- (pow (sqrt x) 4) (pow y (/ 4 2))) (- (* x x) (* y y))) (/ (+ (pow (sqrt x) 4) (pow y (/ 4 2))) (+ x y)) (/ (- (pow (sqrt x) 4) (pow y (/ 4 2))) (- x y)) (/ (+ (sqrt (pow x 4)) (pow (sqrt y) 4)) (* (cbrt (- (* x x) (* y y))) (cbrt (- (* x x) (* y y))))) (/ (- (sqrt (pow x 4)) (pow (sqrt y) 4)) (cbrt (- (* x x) (* y y)))) (/ (+ (sqrt (pow x 4)) (pow (sqrt y) 4)) (sqrt (- (* x x) (* y y)))) (/ (- (sqrt (pow x 4)) (pow (sqrt y) 4)) (sqrt (- (* x x) (* y y)))) (/ (+ (sqrt (pow x 4)) (pow (sqrt y) 4)) 1) (/ (- (sqrt (pow x 4)) (pow (sqrt y) 4)) (- (* x x) (* y y))) (/ (+ (sqrt (pow x 4)) (pow (sqrt y) 4)) (+ x y)) (/ (- (sqrt (pow x 4)) (pow (sqrt y) 4)) (- x y)) (/ (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (* (cbrt (- (* x x) (* y y))) (cbrt (- (* x x) (* y y))))) (/ (- (sqrt (pow x 4)) (sqrt (pow y 4))) (cbrt (- (* x x) (* y y)))) (/ (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (sqrt (- (* x x) (* y y)))) (/ (- (sqrt (pow x 4)) (sqrt (pow y 4))) (sqrt (- (* x x) (* y y)))) (/ (+ (sqrt (pow x 4)) (sqrt (pow y 4))) 1) (/ (- (sqrt (pow x 4)) (sqrt (pow y 4))) (- (* x x) (* y y))) (/ (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (+ x y)) (/ (- (sqrt (pow x 4)) (sqrt (pow y 4))) (- x y)) (/ (+ (sqrt (pow x 4)) (pow y (/ 4 2))) (* (cbrt (- (* x x) (* y y))) (cbrt (- (* x x) (* y y))))) (/ (- (sqrt (pow x 4)) (pow y (/ 4 2))) (cbrt (- (* x x) (* y y)))) (/ (+ (sqrt (pow x 4)) (pow y (/ 4 2))) (sqrt (- (* x x) (* y y)))) (/ (- (sqrt (pow x 4)) (pow y (/ 4 2))) (sqrt (- (* x x) (* y y)))) (/ (+ (sqrt (pow x 4)) (pow y (/ 4 2))) 1) (/ (- (sqrt (pow x 4)) (pow y (/ 4 2))) (- (* x x) (* y y))) (/ (+ (sqrt (pow x 4)) (pow y (/ 4 2))) (+ x y)) (/ (- (sqrt (pow x 4)) (pow y (/ 4 2))) (- x y)) (/ (+ (pow x (/ 4 2)) (pow (sqrt y) 4)) (* (cbrt (- (* x x) (* y y))) (cbrt (- (* x x) (* y y))))) (/ (- (pow x (/ 4 2)) (pow (sqrt y) 4)) (cbrt (- (* x x) (* y y)))) (/ (+ (pow x (/ 4 2)) (pow (sqrt y) 4)) (sqrt (- (* x x) (* y y)))) (/ (- (pow x (/ 4 2)) (pow (sqrt y) 4)) (sqrt (- (* x x) (* y y)))) (/ (+ (pow x (/ 4 2)) (pow (sqrt y) 4)) 1) (/ (- (pow x (/ 4 2)) (pow (sqrt y) 4)) (- (* x x) (* y y))) (/ (+ (pow x (/ 4 2)) (pow (sqrt y) 4)) (+ x y)) (/ (- (pow x (/ 4 2)) (pow (sqrt y) 4)) (- x y)) (/ (+ (pow x (/ 4 2)) (sqrt (pow y 4))) (* (cbrt (- (* x x) (* y y))) (cbrt (- (* x x) (* y y))))) (/ (- (pow x (/ 4 2)) (sqrt (pow y 4))) (cbrt (- (* x x) (* y y)))) (/ (+ (pow x (/ 4 2)) (sqrt (pow y 4))) (sqrt (- (* x x) (* y y)))) (/ (- (pow x (/ 4 2)) (sqrt (pow y 4))) (sqrt (- (* x x) (* y y)))) (/ (+ (pow x (/ 4 2)) (sqrt (pow y 4))) 1) (/ (- (pow x (/ 4 2)) (sqrt (pow y 4))) (- (* x x) (* y y))) (/ (+ (pow x (/ 4 2)) (sqrt (pow y 4))) (+ x y)) (/ (- (pow x (/ 4 2)) (sqrt (pow y 4))) (- x y)) (/ (+ (pow x (/ 4 2)) (pow y (/ 4 2))) (* (cbrt (- (* x x) (* y y))) (cbrt (- (* x x) (* y y))))) (/ (- (pow x (/ 4 2)) (pow y (/ 4 2))) (cbrt (- (* x x) (* y y)))) (/ (+ (pow x (/ 4 2)) (pow y (/ 4 2))) (sqrt (- (* x x) (* y y)))) (/ (- (pow x (/ 4 2)) (pow y (/ 4 2))) (sqrt (- (* x x) (* y y)))) (/ (+ (pow x (/ 4 2)) (pow y (/ 4 2))) 1) (/ (- (pow x (/ 4 2)) (pow y (/ 4 2))) (- (* x x) (* y y))) (/ (+ (pow x (/ 4 2)) (pow y (/ 4 2))) (+ x y)) (/ (- (pow x (/ 4 2)) (pow y (/ 4 2))) (- x y)) (/ (pow 1 4) (* (cbrt (- (* x x) (* y y))) (cbrt (- (* x x) (* y y))))) (/ (- (pow x 4) (pow y 4)) (cbrt (- (* x x) (* y y)))) (/ (pow 1 4) (sqrt (- (* x x) (* y y)))) (/ (- (pow x 4) (pow y 4)) (sqrt (- (* x x) (* y y)))) (/ (pow 1 4) 1) (/ (- (pow x 4) (pow y 4)) (- (* x x) (* y y))) (/ (pow 1 4) (+ x y)) (/ (- (pow x 4) (pow y 4)) (- x y)) (/ 1 (* (cbrt (- (* x x) (* y y))) (cbrt (- (* x x) (* y y))))) (/ (- (pow x 4) (pow y 4)) (cbrt (- (* x x) (* y y)))) (/ 1 (sqrt (- (* x x) (* y y)))) (/ (- (pow x 4) (pow y 4)) (sqrt (- (* x x) (* y y)))) (/ 1 1) (/ (- (pow x 4) (pow y 4)) (- (* x x) (* y y))) (/ 1 (+ x y)) (/ (- (pow x 4) (pow y 4)) (- x y)) (/ 1 (- (* x x) (* y y))) (/ (- (* x x) (* y y)) (- (pow x 4) (pow y 4))) (/ (- (pow x 4) (pow y 4)) (* (cbrt (- (* x x) (* y y))) (cbrt (- (* x x) (* y y))))) (/ (- (pow x 4) (pow y 4)) (sqrt (- (* x x) (* y y)))) (/ (- (pow x 4) (pow y 4)) 1) (/ (- (pow x 4) (pow y 4)) (+ x y)) (/ (- (* x x) (* y y)) (cbrt (- (pow x 4) (pow y 4)))) (/ (- (* x x) (* y y)) (sqrt (- (pow x 4) (pow y 4)))) (/ (- (* x x) (* y y)) (- (pow x 4) (pow y 4))) (/ (- (* x x) (* y y)) (- (pow (sqrt x) 4) (pow (sqrt y) 4))) (/ (- (* x x) (* y y)) (- (pow (sqrt x) 4) (sqrt (pow y 4)))) (/ (- (* x x) (* y y)) (- (pow (sqrt x) 4) (pow y (/ 4 2)))) (/ (- (* x x) (* y y)) (- (sqrt (pow x 4)) (pow (sqrt y) 4))) (/ (- (* x x) (* y y)) (- (sqrt (pow x 4)) (sqrt (pow y 4)))) (/ (- (* x x) (* y y)) (- (sqrt (pow x 4)) (pow y (/ 4 2)))) (/ (- (* x x) (* y y)) (- (pow x (/ 4 2)) (pow (sqrt y) 4))) (/ (- (* x x) (* y y)) (- (pow x (/ 4 2)) (sqrt (pow y 4)))) (/ (- (* x x) (* y y)) (- (pow x (/ 4 2)) (pow y (/ 4 2)))) (/ (- (* x x) (* y y)) (- (pow x 4) (pow y 4))) (/ (- (* x x) (* y y)) (- (pow x 4) (pow y 4))) (/ (- (pow x 4) (pow y 4)) (- (pow (* x x) 3) (pow (* y y) 3))) (/ (- (pow x 4) (pow y 4)) (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (* (- (* x x) (* y y)) (+ (* (pow x 4) (pow x 4)) (+ (* (pow y 4) (pow y 4)) (* (pow x 4) (pow y 4))))) (* (- (* x x) (* y y)) (+ (pow x 4) (pow y 4))) (/ (exp (pow x 4)) (exp (pow y 4))) (log (- (pow x 4) (pow y 4))) (exp (- (pow x 4) (pow y 4))) (* (cbrt (- (pow x 4) (pow y 4))) (cbrt (- (pow x 4) (pow y 4)))) (cbrt (- (pow x 4) (pow y 4))) (* (* (- (pow x 4) (pow y 4)) (- (pow x 4) (pow y 4))) (- (pow x 4) (pow y 4))) (sqrt (- (pow x 4) (pow y 4))) (sqrt (- (pow x 4) (pow y 4))) (- (pow (pow x 4) 3) (pow (pow y 4) 3)) (+ (* (pow x 4) (pow x 4)) (+ (* (pow y 4) (pow y 4)) (* (pow x 4) (pow y 4)))) (- (pow y 4)) (- (* (pow x 4) (pow x 4)) (* (pow y 4) (pow y 4))) (+ (pow x 4) (pow y 4)) (+ (pow (sqrt x) 4) (pow (sqrt y) 4)) (- (pow (sqrt x) 4) (pow (sqrt y) 4)) (+ (pow (sqrt x) 4) (sqrt (pow y 4))) (- (pow (sqrt x) 4) (sqrt (pow y 4))) (+ (pow (sqrt x) 4) (pow y (/ 4 2))) (- (pow (sqrt x) 4) (pow y (/ 4 2))) (+ (sqrt (pow x 4)) (pow (sqrt y) 4)) (- (sqrt (pow x 4)) (pow (sqrt y) 4)) (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4))) (+ (sqrt (pow x 4)) (pow y (/ 4 2))) (- (sqrt (pow x 4)) (pow y (/ 4 2))) (+ (pow x (/ 4 2)) (pow (sqrt y) 4)) (- (pow x (/ 4 2)) (pow (sqrt y) 4)) (+ (pow x (/ 4 2)) (sqrt (pow y 4))) (- (pow x (/ 4 2)) (sqrt (pow y 4))) (+ (pow x (/ 4 2)) (pow y (/ 4 2))) (- (pow x (/ 4 2)) (pow y (/ 4 2))) (- (pow x 4) (pow y 4)) (- (pow x 4) (pow y 4)) (- (pow y 4)) (+ (pow x 2) (pow y 2)) (+ (pow x 2) (pow y 2)) (+ (pow x 2) (pow y 2)) 0 (- (pow x 4) (pow y 4)) (- (pow x 4) (pow y 4)) 0.938 * * [simplify]: Extracting # 0 : cost 0 0.939 * * [simplify]: Extracting # 1 : cost 0 0.939 * * [simplify]: Extracting # 2 : cost 0 0.940 * * [simplify]: Extracting # 3 : cost 0 0.940 * * [simplify]: Extracting # 4 : cost 0 0.941 * * [simplify]: Extracting # 5 : cost 0 0.941 * * [simplify]: Extracting # 6 : cost 0 0.942 * * [simplify]: Extracting # 7 : cost 0 0.942 * * [simplify]: iteration 0 : 211 enodes (cost 2894 ) 1.013 * * [simplify]: Extracting # 0 : cost 0 1.014 * * [simplify]: Extracting # 1 : cost 0 1.015 * * [simplify]: Extracting # 2 : cost 0 1.016 * * [simplify]: Extracting # 3 : cost 0 1.016 * * [simplify]: Extracting # 4 : cost 0 1.017 * * [simplify]: iteration 1 : 513 enodes (cost 2690 ) 1.237 * * [simplify]: Extracting # 0 : cost 0 1.240 * * [simplify]: Extracting # 1 : cost 0 1.244 * * [simplify]: Extracting # 2 : cost 0 1.248 * * [simplify]: Extracting # 3 : cost 0 1.252 * * [simplify]: Extracting # 4 : cost 0 1.255 * * [simplify]: Extracting # 5 : cost 0 1.263 * * [simplify]: Extracting # 6 : cost 0 1.267 * * [simplify]: iteration 2 : 2620 enodes (cost 2614 ) 2.383 * * [simplify]: Extracting # 0 : cost 0 2.390 * * [simplify]: Extracting # 1 : cost 0 2.398 * * [simplify]: Extracting # 2 : cost 0 2.405 * * [simplify]: Extracting # 3 : cost 0 2.414 * * [simplify]: Extracting # 4 : cost 0 2.422 * * [simplify]: iteration done: 5000 enodes (cost 2546 ) 2.423 * [simplify]: Simplified to: (log (/ (- (pow x 4) (pow y 4)) (- (* x x) (* y y)))) (log (/ (- (pow x 4) (pow y 4)) (- (* x x) (* y y)))) (exp (/ (- (pow x 4) (pow y 4)) (- (* x x) (* y y)))) (pow (/ (- (pow x 4) (pow y 4)) (- (* x x) (* y y))) 3) (* (cbrt (/ (- (pow x 4) (pow y 4)) (- (* x x) (* y y)))) (cbrt (/ (- (pow x 4) (pow y 4)) (- (* x x) (* y y))))) (cbrt (/ (- (pow x 4) (pow y 4)) (- (* x x) (* y y)))) (pow (/ (- (pow x 4) (pow y 4)) (- (* x x) (* y y))) 3) (sqrt (/ (- (pow x 4) (pow y 4)) (- (* x x) (* y y)))) (sqrt (/ (- (pow x 4) (pow y 4)) (- (* x x) (* y y)))) (- (- (pow x 4) (pow y 4))) (- (- (* x x) (* y y))) (/ (pow x 4) (- (* x x) (* y y))) (/ (pow y 4) (- (* x x) (* y y))) (/ (* (cbrt (- (pow x 4) (pow y 4))) (cbrt (- (pow x 4) (pow y 4)))) (* (cbrt (- (* x x) (* y y))) (cbrt (- (* x x) (* y y))))) (/ (cbrt (- (pow x 4) (pow y 4))) (cbrt (- (* x x) (* y y)))) (/ (* (cbrt (- (pow x 4) (pow y 4))) (cbrt (- (pow x 4) (pow y 4)))) (sqrt (- (* x x) (* y y)))) (/ (cbrt (- (pow x 4) (pow y 4))) (sqrt (- (* x x) (* y y)))) (* (cbrt (- (pow x 4) (pow y 4))) (cbrt (- (pow x 4) (pow y 4)))) (/ (cbrt (- (pow x 4) (pow y 4))) (- (* x x) (* y y))) (/ (* (cbrt (- (pow x 4) (pow y 4))) (cbrt (- (pow x 4) (pow y 4)))) (+ x y)) (/ (cbrt (- (pow x 4) (pow y 4))) (- x y)) (/ (sqrt (- (pow x 4) (pow y 4))) (* (cbrt (- (* x x) (* y y))) (cbrt (- (* x x) (* y y))))) (/ (sqrt (- (pow x 4) (pow y 4))) (cbrt (- (* x x) (* y y)))) (/ (sqrt (- (pow x 4) (pow y 4))) (sqrt (- (* x x) (* y y)))) (/ (sqrt (- (pow x 4) (pow y 4))) (sqrt (- (* x x) (* y y)))) (sqrt (- (pow x 4) (pow y 4))) (/ (sqrt (- (pow x 4) (pow y 4))) (- (* x x) (* y y))) (/ (sqrt (- (pow x 4) (pow y 4))) (+ x y)) (/ (sqrt (- (pow x 4) (pow y 4))) (- x y)) (/ 1 (* (cbrt (- (* x x) (* y y))) (cbrt (- (* x x) (* y y))))) (/ (- (pow x 4) (pow y 4)) (cbrt (- (* x x) (* y y)))) (/ 1 (sqrt (- (* x x) (* y y)))) (/ (- (pow x 4) (pow y 4)) (sqrt (- (* x x) (* y y)))) 1 (/ (- (pow x 4) (pow y 4)) (- (* x x) (* y y))) (/ 1 (+ x y)) (/ (- (pow x 4) (pow y 4)) (- x y)) (/ (/ (+ (* y y) (* x x)) (cbrt (- (* x x) (* y y)))) (cbrt (- (* x x) (* y y)))) (/ (- (* x x) (* y y)) (cbrt (- (* x x) (* y y)))) (/ (+ (* y y) (* x x)) (sqrt (- (* x x) (* y y)))) (/ (- (* x x) (* y y)) (sqrt (- (* x x) (* y y)))) (+ (* y y) (* x x)) (/ (- (* x x) (* y y)) (- (* x x) (* y y))) (/ (+ (* y y) (* x x)) (+ x y)) (/ (* (+ x y) (- x y)) (- x y)) (/ (/ (+ (* x x) (sqrt (pow y 4))) (cbrt (- (* x x) (* y y)))) (cbrt (- (* x x) (* y y)))) (/ (- (pow x 2) (sqrt (pow y 4))) (cbrt (- (* x x) (* y y)))) (/ (+ (* x x) (sqrt (pow y 4))) (sqrt (- (* x x) (* y y)))) (/ (- (* x x) (sqrt (pow y 4))) (sqrt (- (* x x) (* y y)))) (+ (* x x) (sqrt (pow y 4))) (/ (/ (- (* x x) (sqrt (pow y 4))) (+ x y)) (- x y)) (/ (+ (* x x) (sqrt (pow y 4))) (+ x y)) (/ (- (* x x) (sqrt (pow y 4))) (- x y)) (/ (/ (+ (* x x) (* y y)) (cbrt (- (* x x) (* y y)))) (cbrt (- (* x x) (* y y)))) (/ (- (* x x) (* y y)) (cbrt (- (* x x) (* y y)))) (/ (+ (* x x) (* y y)) (sqrt (- (* x x) (* y y)))) (/ (- (* x x) (* y y)) (sqrt (- (* x x) (* y y)))) (+ (* x x) (* y y)) (/ (- (* x x) (* y y)) (- (* x x) (* y y))) (/ (+ (* x x) (* y y)) (+ x y)) (/ (* (+ x y) (- x y)) (- x y)) (/ (/ (+ (sqrt (pow x 4)) (* y y)) (cbrt (- (* x x) (* y y)))) (cbrt (- (* x x) (* y y)))) (/ (- (sqrt (pow x 4)) (* y y)) (cbrt (- (* x x) (* y y)))) (/ (+ (sqrt (pow x 4)) (* y y)) (sqrt (- (* x x) (* y y)))) (/ (- (sqrt (pow x 4)) (* y y)) (sqrt (- (* x x) (* y y)))) (+ (sqrt (pow x 4)) (* y y)) (/ (- (sqrt (pow x 4)) (pow y 2)) (* (+ x y) (- x y))) (/ (+ (sqrt (pow x 4)) (* y y)) (+ x y)) (/ (- (sqrt (pow x 4)) (* y y)) (- x y)) (/ (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (* (cbrt (- (* x x) (* y y))) (cbrt (- (* x x) (* y y))))) (/ (- (sqrt (pow x 4)) (sqrt (pow y 4))) (cbrt (- (* x x) (* y y)))) (/ (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (sqrt (- (* x x) (* y y)))) (/ (- (sqrt (pow x 4)) (sqrt (pow y 4))) (sqrt (- (* x x) (* y y)))) (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (/ (- (sqrt (pow x 4)) (sqrt (pow y 4))) (- (* x x) (* y y))) (/ (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (+ x y)) (/ (- (sqrt (pow x 4)) (sqrt (pow y 4))) (- x y)) (/ (+ (* y y) (sqrt (pow x 4))) (* (cbrt (- (* x x) (* y y))) (cbrt (- (* x x) (* y y))))) (/ (- (sqrt (pow x 4)) (pow y 2)) (cbrt (- (* x x) (* y y)))) (/ (+ (* y y) (sqrt (pow x 4))) (sqrt (- (* x x) (* y y)))) (/ (- (sqrt (pow x 4)) (pow y 2)) (sqrt (- (* x x) (* y y)))) (+ (* y y) (sqrt (pow x 4))) (/ (- (sqrt (pow x 4)) (pow y 2)) (* (+ x y) (- x y))) (/ (+ (* y y) (sqrt (pow x 4))) (+ x y)) (/ (- (sqrt (pow x 4)) (pow y 2)) (- x y)) (/ (/ (+ (* x x) (* y y)) (cbrt (- (* x x) (* y y)))) (cbrt (- (* x x) (* y y)))) (/ (- (* x x) (* y y)) (cbrt (- (* x x) (* y y)))) (/ (+ (* x x) (* y y)) (sqrt (- (* x x) (* y y)))) (/ (- (* x x) (* y y)) (sqrt (- (* x x) (* y y)))) (+ (* x x) (* y y)) (/ (- (* x x) (* y y)) (- (* x x) (* y y))) (/ (+ (* x x) (* y y)) (+ x y)) (/ (* (+ x y) (- x y)) (- x y)) (/ (+ (sqrt (pow y 4)) (pow x 2)) (* (cbrt (- (* x x) (* y y))) (cbrt (- (* x x) (* y y))))) (/ (- (pow x 2) (sqrt (pow y 4))) (cbrt (- (* x x) (* y y)))) (/ (+ (sqrt (pow y 4)) (pow x 2)) (sqrt (- (* x x) (* y y)))) (/ (- (pow x 2) (sqrt (pow y 4))) (sqrt (- (* x x) (* y y)))) (+ (sqrt (pow y 4)) (pow x 2)) (/ (- (pow x 2) (sqrt (pow y 4))) (- (* x x) (* y y))) (/ (+ (sqrt (pow y 4)) (pow x 2)) (+ x y)) (/ (- (pow x 2) (sqrt (pow y 4))) (- x y)) (/ (+ (pow x 2) (pow y 2)) (* (cbrt (- (* x x) (* y y))) (cbrt (- (* x x) (* y y))))) (/ (- (* x x) (* y y)) (cbrt (- (* x x) (* y y)))) (/ (+ (* x x) (* y y)) (sqrt (- (* x x) (* y y)))) (/ (- (* x x) (* y y)) (sqrt (- (* x x) (* y y)))) (+ (* x x) (* y y)) (/ (- (* x x) (* y y)) (- (* x x) (* y y))) (/ (+ (* x x) (* y y)) (+ x y)) (/ (- (* x x) (* y y)) (- x y)) (/ 1 (* (cbrt (- (* x x) (* y y))) (cbrt (- (* x x) (* y y))))) (/ (- (pow x 4) (pow y 4)) (cbrt (- (* x x) (* y y)))) (/ 1 (sqrt (- (* x x) (* y y)))) (/ (- (pow x 4) (pow y 4)) (sqrt (- (* x x) (* y y)))) 1 (/ (- (pow x 4) (pow y 4)) (- (* x x) (* y y))) (/ 1 (+ x y)) (/ (- (pow x 4) (pow y 4)) (- x y)) (/ 1 (* (cbrt (- (* x x) (* y y))) (cbrt (- (* x x) (* y y))))) (/ (- (pow x 4) (pow y 4)) (cbrt (- (* x x) (* y y)))) (/ 1 (sqrt (- (* x x) (* y y)))) (/ (- (pow x 4) (pow y 4)) (sqrt (- (* x x) (* y y)))) 1 (/ (- (pow x 4) (pow y 4)) (- (* x x) (* y y))) (/ 1 (+ x y)) (/ (- (pow x 4) (pow y 4)) (- x y)) (/ 1 (- (* x x) (* y y))) (/ (- (* x x) (* y y)) (- (pow x 4) (pow y 4))) (/ (- (pow x 4) (pow y 4)) (* (cbrt (- (* x x) (* y y))) (cbrt (- (* x x) (* y y))))) (/ (- (pow x 4) (pow y 4)) (sqrt (- (* x x) (* y y)))) (- (pow x 4) (pow y 4)) (/ (- (pow x 4) (pow y 4)) (+ x y)) (/ (- (* x x) (* y y)) (cbrt (- (pow x 4) (pow y 4)))) (/ (- (* x x) (* y y)) (sqrt (- (pow x 4) (pow y 4)))) (/ (- (* x x) (* y y)) (- (pow x 4) (pow y 4))) (/ (- (* x x) (* y y)) (- (* x x) (* y y))) (/ (* (+ x y) (- x y)) (- (* x x) (sqrt (pow y 4)))) (/ (- (* x x) (* y y)) (- (* x x) (* y y))) (/ (* (+ x y) (- x y)) (- (sqrt (pow x 4)) (* y y))) (/ (- (* x x) (* y y)) (- (sqrt (pow x 4)) (sqrt (pow y 4)))) (/ (- (* x x) (* y y)) (- (sqrt (pow x 4)) (pow y 2))) (/ (- (* x x) (* y y)) (- (* x x) (* y y))) (/ (- (* x x) (* y y)) (- (pow x 2) (sqrt (pow y 4)))) (/ (- (* x x) (* y y)) (- (* x x) (* y y))) (/ (- (* x x) (* y y)) (- (pow x 4) (pow y 4))) (/ (- (* x x) (* y y)) (- (pow x 4) (pow y 4))) (/ (- (pow x 4) (pow y 4)) (- (pow x 6) (pow y 6))) (/ (- (pow x 4) (pow y 4)) (- (pow x 4) (pow y 4))) (* (+ (+ (pow x 8) (pow y 8)) (* (pow x 4) (pow y 4))) (- (* x x) (* y y))) (* (- (* x x) (* y y)) (+ (pow x 4) (pow y 4))) (exp (- (pow x 4) (pow y 4))) (log (- (pow x 4) (pow y 4))) (exp (- (pow x 4) (pow y 4))) (* (cbrt (- (pow x 4) (pow y 4))) (cbrt (- (pow x 4) (pow y 4)))) (cbrt (- (pow x 4) (pow y 4))) (pow (- (pow x 4) (pow y 4)) 3) (sqrt (- (pow x 4) (pow y 4))) (sqrt (- (pow x 4) (pow y 4))) (- (pow (pow x 4) 3) (pow (pow y 4) 3)) (+ (+ (pow x 8) (pow y 8)) (* (pow x 4) (pow y 4))) (- (pow y 4)) (- (pow x 8) (pow y 8)) (+ (pow x 4) (pow y 4)) (+ (* y y) (* x x)) (* (+ x y) (- x y)) (+ (* x x) (sqrt (pow y 4))) (- (* x x) (sqrt (pow y 4))) (+ (* x x) (* y y)) (* (+ x y) (- x y)) (+ (sqrt (pow x 4)) (* y y)) (- (sqrt (pow x 4)) (* y y)) (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4))) (+ (* y y) (sqrt (pow x 4))) (- (sqrt (pow x 4)) (pow y 2)) (+ (* x x) (* y y)) (* (+ x y) (- x y)) (+ (sqrt (pow y 4)) (pow x 2)) (- (pow x 2) (sqrt (pow y 4))) (+ (* x x) (* y y)) (* (+ x y) (- x y)) (- (pow x 4) (pow y 4)) (- (pow x 4) (pow y 4)) (- (pow y 4)) (+ (* x x) (* y y)) (+ (* x x) (* y y)) (+ (* x x) (* y y)) 0 (- (pow x 4) (pow y 4)) (- (pow x 4) (pow y 4)) 2.424 * * * [progress]: adding candidates to table 2.712 * * [progress]: iteration 3 / 4 2.712 * * * [progress]: picking best candidate 2.717 * * * * [pick]: Picked # 2.717 * * * [progress]: localizing error 2.731 * * * [progress]: generating rewritten candidates 2.731 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 2.758 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2) 2.762 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 2.787 * * * [progress]: generating series expansions 2.787 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 2.787 * [backup-simplify]: Simplify (/ (- (* x x) (* y y)) (- (* x x) (* y y))) into 1 2.787 * [approximate]: Taking taylor expansion of 1 in (x y) around 0 2.787 * [taylor]: Taking taylor expansion of 1 in y 2.787 * [backup-simplify]: Simplify 1 into 1 2.787 * [taylor]: Taking taylor expansion of 1 in x 2.787 * [backup-simplify]: Simplify 1 into 1 2.787 * [taylor]: Taking taylor expansion of 1 in x 2.787 * [backup-simplify]: Simplify 1 into 1 2.787 * [taylor]: Taking taylor expansion of 1 in y 2.787 * [backup-simplify]: Simplify 1 into 1 2.787 * [backup-simplify]: Simplify 1 into 1 2.787 * [taylor]: Taking taylor expansion of 0 in y 2.787 * [backup-simplify]: Simplify 0 into 0 2.787 * [backup-simplify]: Simplify 0 into 0 2.787 * [backup-simplify]: Simplify 0 into 0 2.787 * [taylor]: Taking taylor expansion of 0 in y 2.787 * [backup-simplify]: Simplify 0 into 0 2.787 * [backup-simplify]: Simplify 0 into 0 2.787 * [backup-simplify]: Simplify 0 into 0 2.787 * [backup-simplify]: Simplify 0 into 0 2.787 * [taylor]: Taking taylor expansion of 0 in y 2.787 * [backup-simplify]: Simplify 0 into 0 2.787 * [backup-simplify]: Simplify 0 into 0 2.787 * [backup-simplify]: Simplify 1 into 1 2.788 * [backup-simplify]: Simplify (/ (- (* (/ 1 x) (/ 1 x)) (* (/ 1 y) (/ 1 y))) (- (* (/ 1 x) (/ 1 x)) (* (/ 1 y) (/ 1 y)))) into 1 2.788 * [approximate]: Taking taylor expansion of 1 in (x y) around 0 2.788 * [taylor]: Taking taylor expansion of 1 in y 2.788 * [backup-simplify]: Simplify 1 into 1 2.788 * [taylor]: Taking taylor expansion of 1 in x 2.788 * [backup-simplify]: Simplify 1 into 1 2.788 * [taylor]: Taking taylor expansion of 1 in x 2.788 * [backup-simplify]: Simplify 1 into 1 2.788 * [taylor]: Taking taylor expansion of 1 in y 2.788 * [backup-simplify]: Simplify 1 into 1 2.788 * [backup-simplify]: Simplify 1 into 1 2.788 * [taylor]: Taking taylor expansion of 0 in y 2.788 * [backup-simplify]: Simplify 0 into 0 2.788 * [backup-simplify]: Simplify 0 into 0 2.788 * [backup-simplify]: Simplify 0 into 0 2.788 * [taylor]: Taking taylor expansion of 0 in y 2.788 * [backup-simplify]: Simplify 0 into 0 2.788 * [backup-simplify]: Simplify 0 into 0 2.788 * [backup-simplify]: Simplify 0 into 0 2.788 * [backup-simplify]: Simplify 0 into 0 2.788 * [taylor]: Taking taylor expansion of 0 in y 2.788 * [backup-simplify]: Simplify 0 into 0 2.788 * [backup-simplify]: Simplify 0 into 0 2.788 * [backup-simplify]: Simplify 1 into 1 2.788 * [backup-simplify]: Simplify (/ (- (* (/ 1 (- x)) (/ 1 (- x))) (* (/ 1 (- y)) (/ 1 (- y)))) (- (* (/ 1 (- x)) (/ 1 (- x))) (* (/ 1 (- y)) (/ 1 (- y))))) into 1 2.788 * [approximate]: Taking taylor expansion of 1 in (x y) around 0 2.788 * [taylor]: Taking taylor expansion of 1 in y 2.788 * [backup-simplify]: Simplify 1 into 1 2.788 * [taylor]: Taking taylor expansion of 1 in x 2.788 * [backup-simplify]: Simplify 1 into 1 2.788 * [taylor]: Taking taylor expansion of 1 in x 2.788 * [backup-simplify]: Simplify 1 into 1 2.788 * [taylor]: Taking taylor expansion of 1 in y 2.788 * [backup-simplify]: Simplify 1 into 1 2.788 * [backup-simplify]: Simplify 1 into 1 2.788 * [taylor]: Taking taylor expansion of 0 in y 2.788 * [backup-simplify]: Simplify 0 into 0 2.788 * [backup-simplify]: Simplify 0 into 0 2.789 * [backup-simplify]: Simplify 0 into 0 2.789 * [taylor]: Taking taylor expansion of 0 in y 2.789 * [backup-simplify]: Simplify 0 into 0 2.789 * [backup-simplify]: Simplify 0 into 0 2.789 * [backup-simplify]: Simplify 0 into 0 2.789 * [backup-simplify]: Simplify 0 into 0 2.789 * [taylor]: Taking taylor expansion of 0 in y 2.789 * [backup-simplify]: Simplify 0 into 0 2.789 * [backup-simplify]: Simplify 0 into 0 2.789 * [backup-simplify]: Simplify 1 into 1 2.789 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2) 2.789 * [backup-simplify]: Simplify (pow (sqrt y) 4) into (pow (sqrt y) 4) 2.789 * [approximate]: Taking taylor expansion of (pow (sqrt y) 4) in (y) around 0 2.789 * [taylor]: Taking taylor expansion of (pow (sqrt y) 4) in y 2.789 * [taylor]: Taking taylor expansion of (sqrt y) in y 2.789 * [taylor]: Taking taylor expansion of y in y 2.789 * [backup-simplify]: Simplify 0 into 0 2.789 * [backup-simplify]: Simplify 1 into 1 2.789 * [backup-simplify]: Simplify (sqrt 0) into 0 2.790 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 2.790 * [taylor]: Taking taylor expansion of (pow (sqrt y) 4) in y 2.790 * [taylor]: Taking taylor expansion of (sqrt y) in y 2.790 * [taylor]: Taking taylor expansion of y in y 2.790 * [backup-simplify]: Simplify 0 into 0 2.790 * [backup-simplify]: Simplify 1 into 1 2.791 * [backup-simplify]: Simplify (sqrt 0) into 0 2.791 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 2.792 * [backup-simplify]: Simplify (* +nan.0 +nan.0) into +nan.0 2.792 * [backup-simplify]: Simplify (* +nan.0 +nan.0) into +nan.0 2.792 * [backup-simplify]: Simplify +nan.0 into +nan.0 2.794 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 2.794 * [backup-simplify]: Simplify (+ (* +nan.0 +nan.0) (* +nan.0 +nan.0)) into (- +nan.0) 2.796 * [backup-simplify]: Simplify (+ (* +nan.0 (- +nan.0)) (* (- +nan.0) +nan.0)) into (- +nan.0) 2.796 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 2.798 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 2.799 * [backup-simplify]: Simplify (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 +nan.0))) into (- +nan.0) 2.802 * [backup-simplify]: Simplify (+ (* +nan.0 (- +nan.0)) (+ (* (- +nan.0) (- +nan.0)) (* (- +nan.0) +nan.0))) into (- +nan.0) 2.802 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 2.803 * [backup-simplify]: Simplify (+ (* (- +nan.0) (pow y 6)) (+ (* (- +nan.0) (pow y 5)) (* +nan.0 (pow y 4)))) into (- (+ (* +nan.0 (pow y 4)) (- (+ (* +nan.0 (pow y 5)) (- (* +nan.0 (pow y 6))))))) 2.803 * [backup-simplify]: Simplify (pow (sqrt (/ 1 y)) 4) into (pow (sqrt (/ 1 y)) 4) 2.803 * [approximate]: Taking taylor expansion of (pow (sqrt (/ 1 y)) 4) in (y) around 0 2.803 * [taylor]: Taking taylor expansion of (pow (sqrt (/ 1 y)) 4) in y 2.803 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 2.803 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.803 * [taylor]: Taking taylor expansion of y in y 2.803 * [backup-simplify]: Simplify 0 into 0 2.803 * [backup-simplify]: Simplify 1 into 1 2.803 * [backup-simplify]: Simplify (/ 1 1) into 1 2.803 * [backup-simplify]: Simplify (sqrt 0) into 0 2.804 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 2.804 * [taylor]: Taking taylor expansion of (pow (sqrt (/ 1 y)) 4) in y 2.804 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 2.804 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.804 * [taylor]: Taking taylor expansion of y in y 2.804 * [backup-simplify]: Simplify 0 into 0 2.804 * [backup-simplify]: Simplify 1 into 1 2.804 * [backup-simplify]: Simplify (/ 1 1) into 1 2.805 * [backup-simplify]: Simplify (sqrt 0) into 0 2.805 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 2.806 * [backup-simplify]: Simplify (* +nan.0 +nan.0) into +nan.0 2.806 * [backup-simplify]: Simplify (* +nan.0 +nan.0) into +nan.0 2.806 * [backup-simplify]: Simplify +nan.0 into +nan.0 2.806 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.808 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 2.809 * [backup-simplify]: Simplify (+ (* +nan.0 +nan.0) (* +nan.0 +nan.0)) into (- +nan.0) 2.810 * [backup-simplify]: Simplify (+ (* +nan.0 (- +nan.0)) (* (- +nan.0) +nan.0)) into (- +nan.0) 2.810 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 2.811 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.813 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 2.814 * [backup-simplify]: Simplify (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 +nan.0))) into (- +nan.0) 2.816 * [backup-simplify]: Simplify (+ (* +nan.0 (- +nan.0)) (+ (* (- +nan.0) (- +nan.0)) (* (- +nan.0) +nan.0))) into (- +nan.0) 2.817 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 2.817 * [backup-simplify]: Simplify (+ (* (- +nan.0) (pow (/ 1 y) 2)) (+ (* (- +nan.0) (/ 1 y)) +nan.0)) into (- (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))) 2.817 * [backup-simplify]: Simplify (pow (sqrt (/ 1 (- y))) 4) into (pow (sqrt (/ -1 y)) 4) 2.817 * [approximate]: Taking taylor expansion of (pow (sqrt (/ -1 y)) 4) in (y) around 0 2.818 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 y)) 4) in y 2.818 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 2.818 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.818 * [taylor]: Taking taylor expansion of -1 in y 2.818 * [backup-simplify]: Simplify -1 into -1 2.818 * [taylor]: Taking taylor expansion of y in y 2.818 * [backup-simplify]: Simplify 0 into 0 2.818 * [backup-simplify]: Simplify 1 into 1 2.818 * [backup-simplify]: Simplify (/ -1 1) into -1 2.818 * [backup-simplify]: Simplify (sqrt 0) into 0 2.819 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 2.819 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 y)) 4) in y 2.819 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 2.819 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.819 * [taylor]: Taking taylor expansion of -1 in y 2.819 * [backup-simplify]: Simplify -1 into -1 2.819 * [taylor]: Taking taylor expansion of y in y 2.819 * [backup-simplify]: Simplify 0 into 0 2.819 * [backup-simplify]: Simplify 1 into 1 2.819 * [backup-simplify]: Simplify (/ -1 1) into -1 2.819 * [backup-simplify]: Simplify (sqrt 0) into 0 2.820 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 2.820 * [backup-simplify]: Simplify (* +nan.0 +nan.0) into +nan.0 2.821 * [backup-simplify]: Simplify (* +nan.0 +nan.0) into +nan.0 2.821 * [backup-simplify]: Simplify +nan.0 into +nan.0 2.821 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 2.823 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 2.824 * [backup-simplify]: Simplify (+ (* +nan.0 +nan.0) (* +nan.0 +nan.0)) into (- +nan.0) 2.825 * [backup-simplify]: Simplify (+ (* +nan.0 (- +nan.0)) (* (- +nan.0) +nan.0)) into (- +nan.0) 2.825 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 2.826 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.828 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 2.829 * [backup-simplify]: Simplify (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 +nan.0))) into (- +nan.0) 2.832 * [backup-simplify]: Simplify (+ (* +nan.0 (- +nan.0)) (+ (* (- +nan.0) (- +nan.0)) (* (- +nan.0) +nan.0))) into (- +nan.0) 2.832 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 2.833 * [backup-simplify]: Simplify (+ (* (- +nan.0) (pow (/ 1 (- y)) 2)) (+ (* (- +nan.0) (/ 1 (- y))) +nan.0)) into (- (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))) 2.833 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 2.833 * [backup-simplify]: Simplify (+ (pow x (/ 4 2)) (pow (sqrt y) 4)) into (+ (pow x 2) (pow y 2)) 2.833 * [approximate]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in (x y) around 0 2.833 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in y 2.833 * [taylor]: Taking taylor expansion of (pow x 2) in y 2.833 * [taylor]: Taking taylor expansion of x in y 2.833 * [backup-simplify]: Simplify x into x 2.833 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.833 * [taylor]: Taking taylor expansion of y in y 2.833 * [backup-simplify]: Simplify 0 into 0 2.833 * [backup-simplify]: Simplify 1 into 1 2.833 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in x 2.833 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.833 * [taylor]: Taking taylor expansion of x in x 2.833 * [backup-simplify]: Simplify 0 into 0 2.833 * [backup-simplify]: Simplify 1 into 1 2.833 * [taylor]: Taking taylor expansion of (pow y 2) in x 2.833 * [taylor]: Taking taylor expansion of y in x 2.833 * [backup-simplify]: Simplify y into y 2.833 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in x 2.833 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.833 * [taylor]: Taking taylor expansion of x in x 2.833 * [backup-simplify]: Simplify 0 into 0 2.833 * [backup-simplify]: Simplify 1 into 1 2.833 * [taylor]: Taking taylor expansion of (pow y 2) in x 2.833 * [taylor]: Taking taylor expansion of y in x 2.833 * [backup-simplify]: Simplify y into y 2.834 * [backup-simplify]: Simplify (* y y) into (pow y 2) 2.834 * [backup-simplify]: Simplify (+ 0 (pow y 2)) into (pow y 2) 2.834 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.834 * [taylor]: Taking taylor expansion of y in y 2.834 * [backup-simplify]: Simplify 0 into 0 2.834 * [backup-simplify]: Simplify 1 into 1 2.834 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 2.834 * [backup-simplify]: Simplify (+ 0 0) into 0 2.834 * [taylor]: Taking taylor expansion of 0 in y 2.834 * [backup-simplify]: Simplify 0 into 0 2.834 * [backup-simplify]: Simplify 0 into 0 2.834 * [backup-simplify]: Simplify (* 1 1) into 1 2.835 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 2.835 * [backup-simplify]: Simplify (+ 1 0) into 1 2.835 * [taylor]: Taking taylor expansion of 1 in y 2.835 * [backup-simplify]: Simplify 1 into 1 2.835 * [backup-simplify]: Simplify 1 into 1 2.835 * [backup-simplify]: Simplify 0 into 0 2.835 * [backup-simplify]: Simplify (* 1 1) into 1 2.835 * [backup-simplify]: Simplify 1 into 1 2.836 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.836 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 2.836 * [backup-simplify]: Simplify (+ 0 0) into 0 2.836 * [taylor]: Taking taylor expansion of 0 in y 2.836 * [backup-simplify]: Simplify 0 into 0 2.836 * [backup-simplify]: Simplify 0 into 0 2.836 * [backup-simplify]: Simplify 0 into 0 2.836 * [backup-simplify]: Simplify 0 into 0 2.837 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.837 * [backup-simplify]: Simplify 0 into 0 2.837 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.838 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 2.838 * [backup-simplify]: Simplify (+ 0 0) into 0 2.838 * [taylor]: Taking taylor expansion of 0 in y 2.838 * [backup-simplify]: Simplify 0 into 0 2.838 * [backup-simplify]: Simplify 0 into 0 2.838 * [backup-simplify]: Simplify 0 into 0 2.838 * [backup-simplify]: Simplify (+ (* 1 (pow (* y 1) 2)) (* 1 (pow (* 1 x) 2))) into (+ (pow x 2) (pow y 2)) 2.839 * [backup-simplify]: Simplify (+ (pow (/ 1 x) (/ 4 2)) (pow (sqrt (/ 1 y)) 4)) into (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) 2.839 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in (x y) around 0 2.839 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y 2.839 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 2.839 * [taylor]: Taking taylor expansion of (pow x 2) in y 2.839 * [taylor]: Taking taylor expansion of x in y 2.839 * [backup-simplify]: Simplify x into x 2.839 * [backup-simplify]: Simplify (* x x) into (pow x 2) 2.839 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 2.839 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 2.839 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.839 * [taylor]: Taking taylor expansion of y in y 2.839 * [backup-simplify]: Simplify 0 into 0 2.839 * [backup-simplify]: Simplify 1 into 1 2.840 * [backup-simplify]: Simplify (* 1 1) into 1 2.840 * [backup-simplify]: Simplify (/ 1 1) into 1 2.840 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x 2.840 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.840 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.840 * [taylor]: Taking taylor expansion of x in x 2.840 * [backup-simplify]: Simplify 0 into 0 2.840 * [backup-simplify]: Simplify 1 into 1 2.840 * [backup-simplify]: Simplify (* 1 1) into 1 2.840 * [backup-simplify]: Simplify (/ 1 1) into 1 2.840 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 2.840 * [taylor]: Taking taylor expansion of (pow y 2) in x 2.840 * [taylor]: Taking taylor expansion of y in x 2.840 * [backup-simplify]: Simplify y into y 2.840 * [backup-simplify]: Simplify (* y y) into (pow y 2) 2.841 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 2.841 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x 2.841 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.841 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.841 * [taylor]: Taking taylor expansion of x in x 2.841 * [backup-simplify]: Simplify 0 into 0 2.841 * [backup-simplify]: Simplify 1 into 1 2.841 * [backup-simplify]: Simplify (* 1 1) into 1 2.841 * [backup-simplify]: Simplify (/ 1 1) into 1 2.841 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 2.841 * [taylor]: Taking taylor expansion of (pow y 2) in x 2.841 * [taylor]: Taking taylor expansion of y in x 2.841 * [backup-simplify]: Simplify y into y 2.841 * [backup-simplify]: Simplify (* y y) into (pow y 2) 2.841 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 2.842 * [backup-simplify]: Simplify (+ 1 0) into 1 2.842 * [taylor]: Taking taylor expansion of 1 in y 2.842 * [backup-simplify]: Simplify 1 into 1 2.842 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.842 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.843 * [backup-simplify]: Simplify (+ 0 0) into 0 2.843 * [taylor]: Taking taylor expansion of 0 in y 2.843 * [backup-simplify]: Simplify 0 into 0 2.843 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.844 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.844 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow y 2))) into (/ 1 (pow y 2)) 2.844 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 2.844 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.844 * [taylor]: Taking taylor expansion of y in y 2.844 * [backup-simplify]: Simplify 0 into 0 2.844 * [backup-simplify]: Simplify 1 into 1 2.844 * [backup-simplify]: Simplify (* 1 1) into 1 2.844 * [backup-simplify]: Simplify (/ 1 1) into 1 2.844 * [backup-simplify]: Simplify 1 into 1 2.844 * [backup-simplify]: Simplify 1 into 1 2.845 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.845 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.846 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0 2.846 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0 2.846 * [backup-simplify]: Simplify (+ 0 0) into 0 2.846 * [taylor]: Taking taylor expansion of 0 in y 2.846 * [backup-simplify]: Simplify 0 into 0 2.846 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.847 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.847 * [backup-simplify]: Simplify 0 into 0 2.847 * [backup-simplify]: Simplify 0 into 0 2.847 * [backup-simplify]: Simplify 0 into 0 2.848 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.848 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.848 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0 2.849 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0 2.849 * [backup-simplify]: Simplify (+ 0 0) into 0 2.849 * [taylor]: Taking taylor expansion of 0 in y 2.849 * [backup-simplify]: Simplify 0 into 0 2.849 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.850 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.850 * [backup-simplify]: Simplify 0 into 0 2.850 * [backup-simplify]: Simplify 0 into 0 2.850 * [backup-simplify]: Simplify 0 into 0 2.850 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 x))) 2)) (* 1 (pow (* (/ 1 (/ 1 y)) 1) 2))) into (+ (pow x 2) (pow y 2)) 2.851 * [backup-simplify]: Simplify (+ (pow (/ 1 (- x)) (/ 4 2)) (pow (sqrt (/ 1 (- y))) 4)) into (+ (pow (sqrt (/ -1 y)) 4) (/ 1 (pow x 2))) 2.851 * [approximate]: Taking taylor expansion of (+ (pow (sqrt (/ -1 y)) 4) (/ 1 (pow x 2))) in (x y) around 0 2.851 * [taylor]: Taking taylor expansion of (+ (pow (sqrt (/ -1 y)) 4) (/ 1 (pow x 2))) in y 2.851 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 y)) 4) in y 2.851 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 2.851 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.851 * [taylor]: Taking taylor expansion of -1 in y 2.851 * [backup-simplify]: Simplify -1 into -1 2.851 * [taylor]: Taking taylor expansion of y in y 2.851 * [backup-simplify]: Simplify 0 into 0 2.851 * [backup-simplify]: Simplify 1 into 1 2.852 * [backup-simplify]: Simplify (/ -1 1) into -1 2.852 * [backup-simplify]: Simplify (sqrt 0) into 0 2.853 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 2.853 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 2.853 * [taylor]: Taking taylor expansion of (pow x 2) in y 2.853 * [taylor]: Taking taylor expansion of x in y 2.853 * [backup-simplify]: Simplify x into x 2.853 * [backup-simplify]: Simplify (* x x) into (pow x 2) 2.853 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 2.853 * [taylor]: Taking taylor expansion of (+ (pow (sqrt (/ -1 y)) 4) (/ 1 (pow x 2))) in x 2.853 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 y)) 4) in x 2.853 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x 2.853 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.853 * [taylor]: Taking taylor expansion of -1 in x 2.853 * [backup-simplify]: Simplify -1 into -1 2.853 * [taylor]: Taking taylor expansion of y in x 2.853 * [backup-simplify]: Simplify y into y 2.853 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 2.853 * [backup-simplify]: Simplify (sqrt (/ -1 y)) into (sqrt (/ -1 y)) 2.853 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 2.853 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 y)))) into 0 2.853 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.853 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.853 * [taylor]: Taking taylor expansion of x in x 2.853 * [backup-simplify]: Simplify 0 into 0 2.853 * [backup-simplify]: Simplify 1 into 1 2.854 * [backup-simplify]: Simplify (* 1 1) into 1 2.854 * [backup-simplify]: Simplify (/ 1 1) into 1 2.854 * [taylor]: Taking taylor expansion of (+ (pow (sqrt (/ -1 y)) 4) (/ 1 (pow x 2))) in x 2.854 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 y)) 4) in x 2.854 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x 2.854 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.854 * [taylor]: Taking taylor expansion of -1 in x 2.854 * [backup-simplify]: Simplify -1 into -1 2.854 * [taylor]: Taking taylor expansion of y in x 2.854 * [backup-simplify]: Simplify y into y 2.854 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 2.854 * [backup-simplify]: Simplify (sqrt (/ -1 y)) into (sqrt (/ -1 y)) 2.854 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 2.854 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 y)))) into 0 2.854 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.854 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.854 * [taylor]: Taking taylor expansion of x in x 2.854 * [backup-simplify]: Simplify 0 into 0 2.854 * [backup-simplify]: Simplify 1 into 1 2.855 * [backup-simplify]: Simplify (* 1 1) into 1 2.855 * [backup-simplify]: Simplify (/ 1 1) into 1 2.855 * [backup-simplify]: Simplify (+ 0 1) into 1 2.855 * [taylor]: Taking taylor expansion of 1 in y 2.855 * [backup-simplify]: Simplify 1 into 1 2.855 * [backup-simplify]: Simplify 1 into 1 2.856 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.856 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.856 * [backup-simplify]: Simplify (+ 0 0) into 0 2.856 * [taylor]: Taking taylor expansion of 0 in y 2.856 * [backup-simplify]: Simplify 0 into 0 2.856 * [backup-simplify]: Simplify 0 into 0 2.856 * [backup-simplify]: Simplify 0 into 0 2.856 * [backup-simplify]: Simplify (* (sqrt (/ -1 y)) (sqrt (/ -1 y))) into (pow (sqrt (/ -1 y)) 2) 2.857 * [backup-simplify]: Simplify (* (pow (sqrt (/ -1 y)) 2) (pow (sqrt (/ -1 y)) 2)) into (pow (sqrt (/ -1 y)) 4) 2.857 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.858 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.858 * [backup-simplify]: Simplify (+ (pow (sqrt (/ -1 y)) 4) 0) into (pow (sqrt (/ -1 y)) 4) 2.858 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 y)) 4) in y 2.858 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 2.858 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.858 * [taylor]: Taking taylor expansion of -1 in y 2.858 * [backup-simplify]: Simplify -1 into -1 2.858 * [taylor]: Taking taylor expansion of y in y 2.858 * [backup-simplify]: Simplify 0 into 0 2.858 * [backup-simplify]: Simplify 1 into 1 2.858 * [backup-simplify]: Simplify (/ -1 1) into -1 2.858 * [backup-simplify]: Simplify (sqrt 0) into 0 2.859 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 2.859 * [backup-simplify]: Simplify (* +nan.0 +nan.0) into +nan.0 2.860 * [backup-simplify]: Simplify (* +nan.0 +nan.0) into +nan.0 2.860 * [backup-simplify]: Simplify +nan.0 into +nan.0 2.860 * [backup-simplify]: Simplify 0 into 0 2.860 * [backup-simplify]: Simplify 0 into 0 2.860 * [backup-simplify]: Simplify (+ (* (sqrt (/ -1 y)) 0) (* 0 (sqrt (/ -1 y)))) into 0 2.860 * [backup-simplify]: Simplify (+ (* (pow (sqrt (/ -1 y)) 2) 0) (* 0 (pow (sqrt (/ -1 y)) 2))) into 0 2.861 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.861 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.864 * [backup-simplify]: Simplify (+ 0 0) into 0 2.864 * [taylor]: Taking taylor expansion of 0 in y 2.864 * [backup-simplify]: Simplify 0 into 0 2.864 * [backup-simplify]: Simplify 0 into 0 2.865 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 2.867 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 2.867 * [backup-simplify]: Simplify (+ (* +nan.0 +nan.0) (* +nan.0 +nan.0)) into (- +nan.0) 2.869 * [backup-simplify]: Simplify (+ (* +nan.0 (- +nan.0)) (* (- +nan.0) +nan.0)) into (- +nan.0) 2.869 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 2.869 * [backup-simplify]: Simplify (+ (* (- +nan.0) (* (/ 1 (- y)) 1)) (+ +nan.0 (* 1 (pow (* 1 (/ 1 (/ 1 (- x)))) 2)))) into (- (pow x 2) (+ (* +nan.0 (/ 1 y)) (- +nan.0))) 2.869 * * * [progress]: simplifying candidates 2.871 * [simplify]: Simplifying: (- 1 1) (- (log (- (* x x) (* y y))) (log (- (* x x) (* y y)))) (log (/ (- (* x x) (* y y)) (- (* x x) (* y y)))) (exp (/ (- (* x x) (* y y)) (- (* x x) (* y y)))) (/ (* (* (- (* x x) (* y y)) (- (* x x) (* y y))) (- (* x x) (* y y))) (* (* (- (* x x) (* y y)) (- (* x x) (* y y))) (- (* x x) (* y y)))) (* (cbrt (/ (- (* x x) (* y y)) (- (* x x) (* y y)))) (cbrt (/ (- (* x x) (* y y)) (- (* x x) (* y y))))) (cbrt (/ (- (* x x) (* y y)) (- (* x x) (* y y)))) (* (* (/ (- (* x x) (* y y)) (- (* x x) (* y y))) (/ (- (* x x) (* y y)) (- (* x x) (* y y)))) (/ (- (* x x) (* y y)) (- (* x x) (* y y)))) (sqrt (/ (- (* x x) (* y y)) (- (* x x) (* y y)))) (sqrt (/ (- (* x x) (* y y)) (- (* x x) (* y y)))) (- (- (* x x) (* y y))) (- (- (* x x) (* y y))) (/ (* x x) (- (* x x) (* y y))) (/ (* y y) (- (* x x) (* y y))) (/ (* (cbrt (- (* x x) (* y y))) (cbrt (- (* x x) (* y y)))) (* (cbrt (- (* x x) (* y y))) (cbrt (- (* x x) (* y y))))) (/ (cbrt (- (* x x) (* y y))) (cbrt (- (* x x) (* y y)))) (/ (* (cbrt (- (* x x) (* y y))) (cbrt (- (* x x) (* y y)))) (sqrt (- (* x x) (* y y)))) (/ (cbrt (- (* x x) (* y y))) (sqrt (- (* x x) (* y y)))) (/ (* (cbrt (- (* x x) (* y y))) (cbrt (- (* x x) (* y y)))) 1) (/ (cbrt (- (* x x) (* y y))) (- (* x x) (* y y))) (/ (* (cbrt (- (* x x) (* y y))) (cbrt (- (* x x) (* y y)))) (+ x y)) (/ (cbrt (- (* x x) (* y y))) (- x y)) (/ (sqrt (- (* x x) (* y y))) (* (cbrt (- (* x x) (* y y))) (cbrt (- (* x x) (* y y))))) (/ (sqrt (- (* x x) (* y y))) (cbrt (- (* x x) (* y y)))) (/ (sqrt (- (* x x) (* y y))) (sqrt (- (* x x) (* y y)))) (/ (sqrt (- (* x x) (* y y))) (sqrt (- (* x x) (* y y)))) (/ (sqrt (- (* x x) (* y y))) 1) (/ (sqrt (- (* x x) (* y y))) (- (* x x) (* y y))) (/ (sqrt (- (* x x) (* y y))) (+ x y)) (/ (sqrt (- (* x x) (* y y))) (- x y)) (/ 1 (* (cbrt (- (* x x) (* y y))) (cbrt (- (* x x) (* y y))))) (/ (- (* x x) (* y y)) (cbrt (- (* x x) (* y y)))) (/ 1 (sqrt (- (* x x) (* y y)))) (/ (- (* x x) (* y y)) (sqrt (- (* x x) (* y y)))) (/ 1 1) (/ (- (* x x) (* y y)) (- (* x x) (* y y))) (/ 1 (+ x y)) (/ (- (* x x) (* y y)) (- x y)) (/ (+ x y) (* (cbrt (- (* x x) (* y y))) (cbrt (- (* x x) (* y y))))) (/ (- x y) (cbrt (- (* x x) (* y y)))) (/ (+ x y) (sqrt (- (* x x) (* y y)))) (/ (- x y) (sqrt (- (* x x) (* y y)))) (/ (+ x y) 1) (/ (- x y) (- (* x x) (* y y))) (/ (+ x y) (+ x y)) (/ (- x y) (- x y)) (/ 1 (- (* x x) (* y y))) (/ (- (* x x) (* y y)) (- (* x x) (* y y))) (/ (- (* x x) (* y y)) (* (cbrt (- (* x x) (* y y))) (cbrt (- (* x x) (* y y))))) (/ (- (* x x) (* y y)) (sqrt (- (* x x) (* y y)))) (/ (- (* x x) (* y y)) 1) (/ (- (* x x) (* y y)) (+ x y)) (/ (- (* x x) (* y y)) (cbrt (- (* x x) (* y y)))) (/ (- (* x x) (* y y)) (sqrt (- (* x x) (* y y)))) (/ (- (* x x) (* y y)) (- (* x x) (* y y))) (/ (- (* x x) (* y y)) (- x y)) (/ (- (* x x) (* y y)) (- (pow (* x x) 3) (pow (* y y) 3))) (/ (- (* x x) (* y y)) (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (* (- (* x x) (* y y)) (+ (* (* x x) (* x x)) (+ (* (* y y) (* y y)) (* (* x x) (* y y))))) (* (- (* x x) (* y y)) (+ (* x x) (* y y))) (* (log (sqrt y)) 4) (* (log (sqrt y)) 4) (* 1/2 4) (* 1 4) (* (/ 1 2) 4) (pow (sqrt y) (* (cbrt 4) (cbrt 4))) (pow (sqrt y) (sqrt 4)) (pow (sqrt y) 1) (pow (* (cbrt (sqrt y)) (cbrt (sqrt y))) 4) (pow (cbrt (sqrt y)) 4) (pow (sqrt (* (cbrt y) (cbrt y))) 4) (pow (sqrt (cbrt y)) 4) (pow (sqrt (sqrt y)) 4) (pow (sqrt (sqrt y)) 4) (pow (sqrt 1) 4) (pow (sqrt y) 4) (pow (sqrt (sqrt y)) 4) (pow (sqrt (sqrt y)) 4) (pow 1 4) (pow (sqrt y) 4) (log (pow (sqrt y) 4)) (exp (pow (sqrt y) 4)) (* (cbrt (pow (sqrt y) 4)) (cbrt (pow (sqrt y) 4))) (cbrt (pow (sqrt y) 4)) (* (* (pow (sqrt y) 4) (pow (sqrt y) 4)) (pow (sqrt y) 4)) (/ 4 2) (sqrt (pow (sqrt y) 4)) (sqrt (pow (sqrt y) 4)) (pow (sqrt y) (/ 4 2)) (pow (sqrt y) (/ 4 2)) (* (exp (pow x (/ 4 2))) (exp (pow (sqrt y) 4))) (log (+ (pow x (/ 4 2)) (pow (sqrt y) 4))) (exp (+ (pow x (/ 4 2)) (pow (sqrt y) 4))) (* (cbrt (+ (pow x (/ 4 2)) (pow (sqrt y) 4))) (cbrt (+ (pow x (/ 4 2)) (pow (sqrt y) 4)))) (cbrt (+ (pow x (/ 4 2)) (pow (sqrt y) 4))) (* (* (+ (pow x (/ 4 2)) (pow (sqrt y) 4)) (+ (pow x (/ 4 2)) (pow (sqrt y) 4))) (+ (pow x (/ 4 2)) (pow (sqrt y) 4))) (sqrt (+ (pow x (/ 4 2)) (pow (sqrt y) 4))) (sqrt (+ (pow x (/ 4 2)) (pow (sqrt y) 4))) (+ (pow (pow x (/ 4 2)) 3) (pow (pow (sqrt y) 4) 3)) (+ (* (pow x (/ 4 2)) (pow x (/ 4 2))) (- (* (pow (sqrt y) 4) (pow (sqrt y) 4)) (* (pow x (/ 4 2)) (pow (sqrt y) 4)))) (- (* (pow x (/ 4 2)) (pow x (/ 4 2))) (* (pow (sqrt y) 4) (pow (sqrt y) 4))) (- (pow x (/ 4 2)) (pow (sqrt y) 4)) (+ (pow x (/ 4 2)) (pow (sqrt y) 4)) 1 1 1 (- (+ (* +nan.0 (pow y 4)) (- (+ (* +nan.0 (pow y 5)) (- (* +nan.0 (pow y 6))))))) (- (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))) (- (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))) (+ (pow x 2) (pow y 2)) (+ (pow x 2) (pow y 2)) (- (pow x 2) (+ (* +nan.0 (/ 1 y)) (- +nan.0))) 2.873 * * [simplify]: Extracting # 0 : cost 0 2.873 * * [simplify]: Extracting # 1 : cost 0 2.873 * * [simplify]: Extracting # 2 : cost 0 2.873 * * [simplify]: Extracting # 3 : cost 0 2.873 * * [simplify]: Extracting # 4 : cost 0 2.873 * * [simplify]: Extracting # 5 : cost 0 2.874 * * [simplify]: Extracting # 6 : cost 0 2.874 * * [simplify]: Extracting # 7 : cost 0 2.874 * * [simplify]: Extracting # 8 : cost 0 2.874 * * [simplify]: Extracting # 9 : cost 0 2.875 * * [simplify]: Extracting # 10 : cost 0 2.875 * * [simplify]: Extracting # 11 : cost 0 2.875 * * [simplify]: Extracting # 12 : cost 0 2.876 * * [simplify]: Extracting # 13 : cost 0 2.876 * * [simplify]: iteration 0 : 166 enodes (cost 1427 ) 2.949 * * [simplify]: Extracting # 0 : cost 0 2.950 * * [simplify]: Extracting # 1 : cost 0 2.950 * * [simplify]: Extracting # 2 : cost 0 2.951 * * [simplify]: Extracting # 3 : cost 0 2.951 * * [simplify]: Extracting # 4 : cost 0 2.952 * * [simplify]: iteration 1 : 489 enodes (cost 958 ) 3.215 * * [simplify]: Extracting # 0 : cost 0 3.219 * * [simplify]: Extracting # 1 : cost 0 3.226 * * [simplify]: Extracting # 2 : cost 0 3.230 * * [simplify]: Extracting # 3 : cost 0 3.233 * * [simplify]: Extracting # 4 : cost 0 3.236 * * [simplify]: iteration 2 : 2348 enodes (cost 891 ) 4.510 * * [simplify]: Extracting # 0 : cost 0 4.515 * * [simplify]: Extracting # 1 : cost 0 4.520 * * [simplify]: Extracting # 2 : cost 0 4.526 * * [simplify]: Extracting # 3 : cost 0 4.533 * * [simplify]: iteration done: 5001 enodes (cost 831 ) 4.534 * [simplify]: Simplified to: 0 0 0 E 1 1 1 1 1 1 (- (- (* x x) (* y y))) (- (- (* x x) (* y y))) (/ (* x x) (- (* x x) (* y y))) (/ (* y y) (- (* x x) (* y y))) 1 1 (/ (* (cbrt (- (* x x) (* y y))) (cbrt (- (* x x) (* y y)))) (sqrt (- (* x x) (* y y)))) (/ (cbrt (- (* x x) (* y y))) (sqrt (- (* x x) (* y y)))) (* (cbrt (- (* x x) (* y y))) (cbrt (- (* x x) (* y y)))) (/ (cbrt (- (* x x) (* y y))) (- (* x x) (* y y))) (/ (* (cbrt (- (* x x) (* y y))) (cbrt (- (* x x) (* y y)))) (+ x y)) (/ (cbrt (- (* x x) (* y y))) (- x y)) (/ (sqrt (- (* x x) (* y y))) (* (cbrt (- (* x x) (* y y))) (cbrt (- (* x x) (* y y))))) (/ (sqrt (- (* x x) (* y y))) (cbrt (- (* x x) (* y y)))) 1 1 (sqrt (- (* x x) (* y y))) (/ (sqrt (- (* x x) (* y y))) (- (* x x) (* y y))) (/ (sqrt (- (* x x) (* y y))) (+ x y)) (/ (sqrt (- (* x x) (* y y))) (- x y)) (/ 1 (* (cbrt (- (* x x) (* y y))) (cbrt (- (* x x) (* y y))))) (/ (- (* x x) (* y y)) (cbrt (- (* x x) (* y y)))) (/ 1 (sqrt (- (* x x) (* y y)))) (/ (- (* x x) (* y y)) (sqrt (- (* x x) (* y y)))) 1 1 (/ 1 (+ x y)) (+ x y) (/ (+ x y) (* (cbrt (- (* x x) (* y y))) (cbrt (- (* x x) (* y y))))) (/ (- x y) (cbrt (- (* x x) (* y y)))) (/ (+ x y) (sqrt (- (* x x) (* y y)))) (/ (- x y) (sqrt (- (* x x) (* y y)))) (+ x y) (/ (- x y) (- (* x x) (* y y))) 1 1 (/ 1 (- (* x x) (* y y))) 1 (/ (- (* x x) (* y y)) (* (cbrt (- (* x x) (* y y))) (cbrt (- (* x x) (* y y))))) (/ (- (* x x) (* y y)) (sqrt (- (* x x) (* y y)))) (- (* x x) (* y y)) (/ (- (* x x) (* y y)) (+ x y)) (/ (- (* x x) (* y y)) (cbrt (- (* x x) (* y y)))) (/ (- (* x x) (* y y)) (sqrt (- (* x x) (* y y)))) 1 (+ x y) (/ (- (* x x) (* y y)) (- (pow x 6) (pow y 6))) (/ (- (* x x) (* y y)) (- (pow x 4) (pow y 4))) (* (+ (+ (* (* x x) (* y y)) (pow y 4)) (pow x 4)) (- (* x x) (* y y))) (- (pow x 4) (pow y 4)) (log (* y y)) (log (* y y)) 2 4 2 (pow (sqrt y) (* (cbrt 4) (cbrt 4))) y (sqrt y) (pow (pow (cbrt (sqrt y)) 2) 4) (pow (cbrt (sqrt y)) 4) (pow (fabs (cbrt y)) 4) (* (cbrt y) (cbrt y)) y y 1 (* y y) y y 1 (* y y) (log (* y y)) (exp (* y y)) (* (cbrt (* y y)) (cbrt (* y y))) (cbrt (* y y)) (pow y 6) 2 (fabs y) (fabs y) y y (exp (+ (pow x 2) (* y y))) (log (+ (pow x 2) (* y y))) (exp (+ (pow x 2) (* y y))) (* (cbrt (+ (pow x 2) (* y y))) (cbrt (+ (pow x 2) (* y y)))) (cbrt (+ (pow x 2) (* y y))) (pow (+ (pow x 2) (* y y)) 3) (sqrt (+ (pow x 2) (* y y))) (sqrt (+ (pow x 2) (* y y))) (+ (pow y 6) (pow x 6)) (+ (- (pow y 4) (* (* x x) (* y y))) (pow x 4)) (- (pow x 4) (pow y 4)) (- (pow x 2) (* y y)) (+ (pow x 2) (* y y)) 1 1 1 (- (- (* +nan.0 (pow y 4)) (* +nan.0 (- (pow y 5) (pow y 6))))) (- (+ (- (/ +nan.0 y) (/ +nan.0 (pow y 2))) +nan.0)) (- (+ (- (/ +nan.0 y) (/ +nan.0 (pow y 2))) +nan.0)) (+ (* x x) (* y y)) (+ (* x x) (* y y)) (- (pow x 2) (- (/ +nan.0 y) +nan.0)) 4.535 * * * [progress]: adding candidates to table 4.825 * [progress]: [Phase 3 of 3] Extracting. 4.825 * * [regime]: Finding splitpoints for: (# # #) 4.826 * * * [regime-changes]: Trying 5 branch expressions: ((* y y) (* x x) (+ (* x x) (* y y)) y x) 4.826 * * * * [regimes]: Trying to branch on (* y y) from (# # #) 4.839 * * * * [regimes]: Trying to branch on (* x x) from (# # #) 4.855 * * * * [regimes]: Trying to branch on (+ (* x x) (* y y)) from (# # #) 4.872 * * * * [regimes]: Trying to branch on y from (# # #) 4.889 * * * * [regimes]: Trying to branch on x from (# # #) 4.908 * * * [regime]: Found split indices: #