6.781 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.019 * * * [progress]: [2/2] Setting up program. 0.021 * [progress]: [Phase 2 of 3] Improving. 0.021 * [simplify]: Simplifying: (* 2.0 (- (* x x) (* x y))) 0.021 * [simplify]: Sending expressions to egg_math: (* h0 (- (* h1 h1) (* h1 h2))) 0.024 * * [simplify]: iteration 0 : 14 enodes (cost 3 ) 0.026 * * [simplify]: iteration 1 : 33 enodes (cost 3 ) 0.028 * * [simplify]: iteration 2 : 73 enodes (cost 3 ) 0.030 * * [simplify]: iteration 3 : 112 enodes (cost 3 ) 0.033 * * [simplify]: iteration 4 : 129 enodes (cost 3 ) 0.035 * * [simplify]: iteration 5 : 131 enodes (cost 3 ) 0.038 * * [simplify]: iteration 6 : 131 enodes (cost 3 ) 0.040 * * [progress]: iteration 1 / 4 0.040 * * * [progress]: picking best candidate 0.042 * * * * [pick]: Picked # 0.042 * * * [progress]: localizing error 0.047 * * * [progress]: generating rewritten candidates 0.047 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 0.072 * * * [progress]: generating series expansions 0.072 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 0.072 * [backup-simplify]: Simplify (* x (- x y)) into (* x (- x y)) 0.072 * [approximate]: Taking taylor expansion of (* x (- x y)) in (x y) around 0 0.072 * [taylor]: Taking taylor expansion of (* x (- x y)) in y 0.072 * [taylor]: Taking taylor expansion of x in y 0.072 * [backup-simplify]: Simplify x into x 0.072 * [taylor]: Taking taylor expansion of (- x y) in y 0.072 * [taylor]: Taking taylor expansion of x in y 0.072 * [backup-simplify]: Simplify x into x 0.072 * [taylor]: Taking taylor expansion of y in y 0.072 * [backup-simplify]: Simplify 0 into 0 0.072 * [backup-simplify]: Simplify 1 into 1 0.072 * [taylor]: Taking taylor expansion of (* x (- x y)) in x 0.072 * [taylor]: Taking taylor expansion of x in x 0.072 * [backup-simplify]: Simplify 0 into 0 0.072 * [backup-simplify]: Simplify 1 into 1 0.072 * [taylor]: Taking taylor expansion of (- x y) in x 0.072 * [taylor]: Taking taylor expansion of x in x 0.072 * [backup-simplify]: Simplify 0 into 0 0.072 * [backup-simplify]: Simplify 1 into 1 0.072 * [taylor]: Taking taylor expansion of y in x 0.072 * [backup-simplify]: Simplify y into y 0.072 * [taylor]: Taking taylor expansion of (* x (- x y)) in x 0.072 * [taylor]: Taking taylor expansion of x in x 0.072 * [backup-simplify]: Simplify 0 into 0 0.072 * [backup-simplify]: Simplify 1 into 1 0.072 * [taylor]: Taking taylor expansion of (- x y) in x 0.072 * [taylor]: Taking taylor expansion of x in x 0.072 * [backup-simplify]: Simplify 0 into 0 0.072 * [backup-simplify]: Simplify 1 into 1 0.072 * [taylor]: Taking taylor expansion of y in x 0.072 * [backup-simplify]: Simplify y into y 0.072 * [backup-simplify]: Simplify (- y) into (- y) 0.072 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y) 0.072 * [backup-simplify]: Simplify (* 0 (- y)) into 0 0.072 * [taylor]: Taking taylor expansion of 0 in y 0.072 * [backup-simplify]: Simplify 0 into 0 0.072 * [backup-simplify]: Simplify 0 into 0 0.073 * [backup-simplify]: Simplify (- 0) into 0 0.073 * [backup-simplify]: Simplify (+ 1 0) into 1 0.073 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 (- y))) into (- y) 0.073 * [taylor]: Taking taylor expansion of (- y) in y 0.073 * [taylor]: Taking taylor expansion of y in y 0.074 * [backup-simplify]: Simplify 0 into 0 0.074 * [backup-simplify]: Simplify 1 into 1 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.074 * [backup-simplify]: Simplify (- 0) into 0 0.074 * [backup-simplify]: Simplify (+ 0 0) into 0 0.075 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 (- y)))) into 1 0.075 * [taylor]: Taking taylor expansion of 1 in y 0.075 * [backup-simplify]: Simplify 1 into 1 0.075 * [backup-simplify]: Simplify 1 into 1 0.075 * [backup-simplify]: Simplify (- 1) into -1 0.075 * [backup-simplify]: Simplify -1 into -1 0.075 * [backup-simplify]: Simplify 0 into 0 0.075 * [backup-simplify]: Simplify (- 0) into 0 0.076 * [backup-simplify]: Simplify (+ 0 0) into 0 0.076 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 (- y))))) into 0 0.076 * [taylor]: Taking taylor expansion of 0 in y 0.076 * [backup-simplify]: Simplify 0 into 0 0.076 * [backup-simplify]: Simplify 0 into 0 0.076 * [backup-simplify]: Simplify 0 into 0 0.077 * [backup-simplify]: Simplify (- 0) into 0 0.077 * [backup-simplify]: Simplify 0 into 0 0.077 * [backup-simplify]: Simplify 0 into 0 0.077 * [backup-simplify]: Simplify (- 0) into 0 0.077 * [backup-simplify]: Simplify (+ 0 0) into 0 0.078 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 (- y)))))) into 0 0.078 * [taylor]: Taking taylor expansion of 0 in y 0.078 * [backup-simplify]: Simplify 0 into 0 0.078 * [backup-simplify]: Simplify 0 into 0 0.078 * [backup-simplify]: Simplify (+ (* -1 (* y x)) (* 1 (pow (* 1 x) 2))) into (- (pow x 2) (* x y)) 0.079 * [backup-simplify]: Simplify (* (/ 1 x) (- (/ 1 x) (/ 1 y))) into (/ (- (/ 1 x) (/ 1 y)) x) 0.079 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) x) in (x y) around 0 0.079 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) x) in y 0.079 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 0.079 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.079 * [taylor]: Taking taylor expansion of x in y 0.079 * [backup-simplify]: Simplify x into x 0.079 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.079 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.079 * [taylor]: Taking taylor expansion of y in y 0.079 * [backup-simplify]: Simplify 0 into 0 0.079 * [backup-simplify]: Simplify 1 into 1 0.079 * [backup-simplify]: Simplify (/ 1 1) into 1 0.079 * [taylor]: Taking taylor expansion of x in y 0.079 * [backup-simplify]: Simplify x into x 0.079 * [backup-simplify]: Simplify (- 1) into -1 0.079 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.080 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 0.080 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) x) in x 0.080 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.080 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.080 * [taylor]: Taking taylor expansion of x in x 0.080 * [backup-simplify]: Simplify 0 into 0 0.080 * [backup-simplify]: Simplify 1 into 1 0.080 * [backup-simplify]: Simplify (/ 1 1) into 1 0.080 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.080 * [taylor]: Taking taylor expansion of y in x 0.080 * [backup-simplify]: Simplify y into y 0.080 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.080 * [taylor]: Taking taylor expansion of x in x 0.080 * [backup-simplify]: Simplify 0 into 0 0.080 * [backup-simplify]: Simplify 1 into 1 0.080 * [backup-simplify]: Simplify (+ 1 0) into 1 0.080 * [backup-simplify]: Simplify (/ 1 1) into 1 0.080 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) x) in x 0.081 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.081 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.081 * [taylor]: Taking taylor expansion of x in x 0.081 * [backup-simplify]: Simplify 0 into 0 0.081 * [backup-simplify]: Simplify 1 into 1 0.081 * [backup-simplify]: Simplify (/ 1 1) into 1 0.081 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.081 * [taylor]: Taking taylor expansion of y in x 0.081 * [backup-simplify]: Simplify y into y 0.081 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.081 * [taylor]: Taking taylor expansion of x in x 0.081 * [backup-simplify]: Simplify 0 into 0 0.081 * [backup-simplify]: Simplify 1 into 1 0.081 * [backup-simplify]: Simplify (+ 1 0) into 1 0.081 * [backup-simplify]: Simplify (/ 1 1) into 1 0.082 * [taylor]: Taking taylor expansion of 1 in y 0.082 * [backup-simplify]: Simplify 1 into 1 0.082 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.082 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 0.082 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y)) 0.082 * [backup-simplify]: Simplify (- (/ (- (/ 1 y)) 1) (+ (* 1 (/ 0 1)))) into (- (/ 1 y)) 0.083 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 0.083 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.083 * [taylor]: Taking taylor expansion of y in y 0.083 * [backup-simplify]: Simplify 0 into 0 0.083 * [backup-simplify]: Simplify 1 into 1 0.083 * [backup-simplify]: Simplify (/ 1 1) into 1 0.083 * [backup-simplify]: Simplify (- 1) into -1 0.083 * [backup-simplify]: Simplify -1 into -1 0.083 * [backup-simplify]: Simplify 1 into 1 0.084 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.084 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 0.084 * [backup-simplify]: Simplify (- 0) into 0 0.084 * [backup-simplify]: Simplify (+ 0 0) into 0 0.085 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (- (/ 1 y)) (/ 0 1)))) into 0 0.085 * [taylor]: Taking taylor expansion of 0 in y 0.085 * [backup-simplify]: Simplify 0 into 0 0.085 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.086 * [backup-simplify]: Simplify (- 0) into 0 0.086 * [backup-simplify]: Simplify 0 into 0 0.086 * [backup-simplify]: Simplify 0 into 0 0.086 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.086 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.086 * [backup-simplify]: Simplify (- 0) into 0 0.087 * [backup-simplify]: Simplify (+ 0 0) into 0 0.088 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (- (/ 1 y)) (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.088 * [taylor]: Taking taylor expansion of 0 in y 0.088 * [backup-simplify]: Simplify 0 into 0 0.088 * [backup-simplify]: Simplify 0 into 0 0.088 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.089 * [backup-simplify]: Simplify (- 0) into 0 0.089 * [backup-simplify]: Simplify 0 into 0 0.089 * [backup-simplify]: Simplify 0 into 0 0.089 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.089 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.089 * [backup-simplify]: Simplify (- 0) into 0 0.090 * [backup-simplify]: Simplify (+ 0 0) into 0 0.091 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (- (/ 1 y)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.091 * [taylor]: Taking taylor expansion of 0 in y 0.091 * [backup-simplify]: Simplify 0 into 0 0.091 * [backup-simplify]: Simplify 0 into 0 0.091 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 x))) 2)) (* -1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) into (- (pow x 2) (* x y)) 0.091 * [backup-simplify]: Simplify (* (/ 1 (- x)) (- (/ 1 (- x)) (/ 1 (- y)))) into (* -1 (/ (- (/ 1 y) (/ 1 x)) x)) 0.091 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 x)) x)) in (x y) around 0 0.091 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 x)) x)) in y 0.091 * [taylor]: Taking taylor expansion of -1 in y 0.091 * [backup-simplify]: Simplify -1 into -1 0.091 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) x) in y 0.092 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 0.092 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.092 * [taylor]: Taking taylor expansion of y in y 0.092 * [backup-simplify]: Simplify 0 into 0 0.092 * [backup-simplify]: Simplify 1 into 1 0.092 * [backup-simplify]: Simplify (/ 1 1) into 1 0.092 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.092 * [taylor]: Taking taylor expansion of x in y 0.092 * [backup-simplify]: Simplify x into x 0.092 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.092 * [taylor]: Taking taylor expansion of x in y 0.092 * [backup-simplify]: Simplify x into x 0.092 * [backup-simplify]: Simplify (+ 1 0) into 1 0.092 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.092 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 x)) x)) in x 0.092 * [taylor]: Taking taylor expansion of -1 in x 0.092 * [backup-simplify]: Simplify -1 into -1 0.092 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) x) in x 0.092 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.092 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.092 * [taylor]: Taking taylor expansion of y in x 0.092 * [backup-simplify]: Simplify y into y 0.092 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.092 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.092 * [taylor]: Taking taylor expansion of x in x 0.092 * [backup-simplify]: Simplify 0 into 0 0.092 * [backup-simplify]: Simplify 1 into 1 0.093 * [backup-simplify]: Simplify (/ 1 1) into 1 0.093 * [taylor]: Taking taylor expansion of x in x 0.093 * [backup-simplify]: Simplify 0 into 0 0.093 * [backup-simplify]: Simplify 1 into 1 0.093 * [backup-simplify]: Simplify (- 1) into -1 0.093 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.093 * [backup-simplify]: Simplify (/ -1 1) into -1 0.093 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 x)) x)) in x 0.093 * [taylor]: Taking taylor expansion of -1 in x 0.094 * [backup-simplify]: Simplify -1 into -1 0.094 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) x) in x 0.094 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.094 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.094 * [taylor]: Taking taylor expansion of y in x 0.094 * [backup-simplify]: Simplify y into y 0.094 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.094 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.094 * [taylor]: Taking taylor expansion of x in x 0.094 * [backup-simplify]: Simplify 0 into 0 0.094 * [backup-simplify]: Simplify 1 into 1 0.094 * [backup-simplify]: Simplify (/ 1 1) into 1 0.094 * [taylor]: Taking taylor expansion of x in x 0.094 * [backup-simplify]: Simplify 0 into 0 0.094 * [backup-simplify]: Simplify 1 into 1 0.094 * [backup-simplify]: Simplify (- 1) into -1 0.094 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.095 * [backup-simplify]: Simplify (/ -1 1) into -1 0.095 * [backup-simplify]: Simplify (* -1 -1) into 1 0.095 * [taylor]: Taking taylor expansion of 1 in y 0.095 * [backup-simplify]: Simplify 1 into 1 0.095 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.096 * [backup-simplify]: Simplify (- 0) into 0 0.096 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 0.096 * [backup-simplify]: Simplify (- (/ (/ 1 y) 1) (+ (* -1 (/ 0 1)))) into (/ 1 y) 0.096 * [backup-simplify]: Simplify (+ (* -1 (/ 1 y)) (* 0 -1)) into (- (/ 1 y)) 0.096 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 0.096 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.096 * [taylor]: Taking taylor expansion of y in y 0.096 * [backup-simplify]: Simplify 0 into 0 0.096 * [backup-simplify]: Simplify 1 into 1 0.097 * [backup-simplify]: Simplify (/ 1 1) into 1 0.097 * [backup-simplify]: Simplify (- 1) into -1 0.097 * [backup-simplify]: Simplify -1 into -1 0.097 * [backup-simplify]: Simplify 1 into 1 0.097 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 0.098 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.098 * [backup-simplify]: Simplify (- 0) into 0 0.098 * [backup-simplify]: Simplify (+ 0 0) into 0 0.099 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* (/ 1 y) (/ 0 1)))) into 0 0.099 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (/ 1 y)) (* 0 -1))) into 0 0.099 * [taylor]: Taking taylor expansion of 0 in y 0.099 * [backup-simplify]: Simplify 0 into 0 0.100 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.100 * [backup-simplify]: Simplify (- 0) into 0 0.100 * [backup-simplify]: Simplify 0 into 0 0.100 * [backup-simplify]: Simplify 0 into 0 0.100 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.104 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.105 * [backup-simplify]: Simplify (- 0) into 0 0.105 * [backup-simplify]: Simplify (+ 0 0) into 0 0.106 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* (/ 1 y) (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.107 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 -1)))) into 0 0.107 * [taylor]: Taking taylor expansion of 0 in y 0.107 * [backup-simplify]: Simplify 0 into 0 0.107 * [backup-simplify]: Simplify 0 into 0 0.107 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.108 * [backup-simplify]: Simplify (- 0) into 0 0.108 * [backup-simplify]: Simplify 0 into 0 0.108 * [backup-simplify]: Simplify 0 into 0 0.108 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.108 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.109 * [backup-simplify]: Simplify (- 0) into 0 0.109 * [backup-simplify]: Simplify (+ 0 0) into 0 0.110 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* (/ 1 y) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.111 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 -1))))) into 0 0.111 * [taylor]: Taking taylor expansion of 0 in y 0.111 * [backup-simplify]: Simplify 0 into 0 0.111 * [backup-simplify]: Simplify 0 into 0 0.111 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- x)))) 2)) (* -1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (- (pow x 2) (* x y)) 0.112 * * * [progress]: simplifying candidates 0.112 * [simplify]: Simplifying: (expm1 (* x (- x y))) (log1p (* x (- x y))) (* x (- x y)) (+ (log x) (log (- x y))) (log (* x (- x y))) (exp (* x (- x y))) (* (* (* x x) x) (* (* (- x y) (- x y)) (- x y))) (* (cbrt (* x (- x y))) (cbrt (* x (- x y)))) (cbrt (* x (- x y))) (* (* (* x (- x y)) (* x (- x y))) (* x (- x y))) (sqrt (* x (- x y))) (sqrt (* x (- x y))) (* (sqrt x) (sqrt (- x y))) (* (sqrt x) (sqrt (- x y))) (* x (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y)))))) (* x (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y))))) (* x (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sqrt y) (sqrt y))))) (* x (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y)))) (* x (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* y 1)))) (* x (fma (- y) 1 (* y 1))) (* x (fma (sqrt x) (sqrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y)))))) (* x (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y))))) (* x (fma (sqrt x) (sqrt x) (- (* (sqrt y) (sqrt y))))) (* x (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y)))) (* x (fma (sqrt x) (sqrt x) (- (* y 1)))) (* x (fma (- y) 1 (* y 1))) (* x (fma 1 x (- (* (cbrt y) (* (cbrt y) (cbrt y)))))) (* x (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y))))) (* x (fma 1 x (- (* (sqrt y) (sqrt y))))) (* x (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y)))) (* x (fma 1 x (- (* y 1)))) (* x (fma (- y) 1 (* y 1))) (* x x) (* x (- y)) (* x x) (* x (- y)) (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y))))) x) (* (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) x) (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sqrt y) (sqrt y)))) x) (* (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) x) (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* y 1))) x) (* (fma (- y) 1 (* y 1)) x) (* (fma (sqrt x) (sqrt x) (- (* (cbrt y) (* (cbrt y) (cbrt y))))) x) (* (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) x) (* (fma (sqrt x) (sqrt x) (- (* (sqrt y) (sqrt y)))) x) (* (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) x) (* (fma (sqrt x) (sqrt x) (- (* y 1))) x) (* (fma (- y) 1 (* y 1)) x) (* (fma 1 x (- (* (cbrt y) (* (cbrt y) (cbrt y))))) x) (* (fma (- (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt y) (* (cbrt y) (cbrt y)))) x) (* (fma 1 x (- (* (sqrt y) (sqrt y)))) x) (* (fma (- (sqrt y)) (sqrt y) (* (sqrt y) (sqrt y))) x) (* (fma 1 x (- (* y 1))) x) (* (fma (- y) 1 (* y 1)) x) (* x x) (* (- y) x) (* x x) (* (- y) x) (* x (* (cbrt (- x y)) (cbrt (- x y)))) (* x (sqrt (- x y))) (* x 1) (* x (+ (sqrt x) (sqrt y))) (* x 1) (* (cbrt x) (- x y)) (* (sqrt x) (- x y)) (* x (- x y)) (* x (- (pow x 3) (pow y 3))) (* x (- (* x x) (* y y))) (- (pow x 2) (* x y)) (- (pow x 2) (* x y)) (- (pow x 2) (* x y)) 0.113 * [simplify]: Sending expressions to egg_math: (expm1 (* h0 (- h0 h1))) (log1p (* h0 (- h0 h1))) (* h0 (- h0 h1)) (+ (log h0) (log (- h0 h1))) (log (* h0 (- h0 h1))) (exp (* h0 (- h0 h1))) (* (* (* h0 h0) h0) (* (* (- h0 h1) (- h0 h1)) (- h0 h1))) (* (cbrt (* h0 (- h0 h1))) (cbrt (* h0 (- h0 h1)))) (cbrt (* h0 (- h0 h1))) (* (* (* h0 (- h0 h1)) (* h0 (- h0 h1))) (* h0 (- h0 h1))) (sqrt (* h0 (- h0 h1))) (sqrt (* h0 (- h0 h1))) (* (sqrt h0) (sqrt (- h0 h1))) (* (sqrt h0) (sqrt (- h0 h1))) (* h0 (fma (* (cbrt h0) (cbrt h0)) (cbrt h0) (- (* (cbrt h1) (* (cbrt h1) (cbrt h1)))))) (* h0 (fma (- (cbrt h1)) (* (cbrt h1) (cbrt h1)) (* (cbrt h1) (* (cbrt h1) (cbrt h1))))) (* h0 (fma (* (cbrt h0) (cbrt h0)) (cbrt h0) (- (* (sqrt h1) (sqrt h1))))) (* h0 (fma (- (sqrt h1)) (sqrt h1) (* (sqrt h1) (sqrt h1)))) (* h0 (fma (* (cbrt h0) (cbrt h0)) (cbrt h0) (- (* h1 1)))) (* h0 (fma (- h1) 1 (* h1 1))) (* h0 (fma (sqrt h0) (sqrt h0) (- (* (cbrt h1) (* (cbrt h1) (cbrt h1)))))) (* h0 (fma (- (cbrt h1)) (* (cbrt h1) (cbrt h1)) (* (cbrt h1) (* (cbrt h1) (cbrt h1))))) (* h0 (fma (sqrt h0) (sqrt h0) (- (* (sqrt h1) (sqrt h1))))) (* h0 (fma (- (sqrt h1)) (sqrt h1) (* (sqrt h1) (sqrt h1)))) (* h0 (fma (sqrt h0) (sqrt h0) (- (* h1 1)))) (* h0 (fma (- h1) 1 (* h1 1))) (* h0 (fma 1 h0 (- (* (cbrt h1) (* (cbrt h1) (cbrt h1)))))) (* h0 (fma (- (cbrt h1)) (* (cbrt h1) (cbrt h1)) (* (cbrt h1) (* (cbrt h1) (cbrt h1))))) (* h0 (fma 1 h0 (- (* (sqrt h1) (sqrt h1))))) (* h0 (fma (- (sqrt h1)) (sqrt h1) (* (sqrt h1) (sqrt h1)))) (* h0 (fma 1 h0 (- (* h1 1)))) (* h0 (fma (- h1) 1 (* h1 1))) (* h0 h0) (* h0 (- h1)) (* h0 h0) (* h0 (- h1)) (* (fma (* (cbrt h0) (cbrt h0)) (cbrt h0) (- (* (cbrt h1) (* (cbrt h1) (cbrt h1))))) h0) (* (fma (- (cbrt h1)) (* (cbrt h1) (cbrt h1)) (* (cbrt h1) (* (cbrt h1) (cbrt h1)))) h0) (* (fma (* (cbrt h0) (cbrt h0)) (cbrt h0) (- (* (sqrt h1) (sqrt h1)))) h0) (* (fma (- (sqrt h1)) (sqrt h1) (* (sqrt h1) (sqrt h1))) h0) (* (fma (* (cbrt h0) (cbrt h0)) (cbrt h0) (- (* h1 1))) h0) (* (fma (- h1) 1 (* h1 1)) h0) (* (fma (sqrt h0) (sqrt h0) (- (* (cbrt h1) (* (cbrt h1) (cbrt h1))))) h0) (* (fma (- (cbrt h1)) (* (cbrt h1) (cbrt h1)) (* (cbrt h1) (* (cbrt h1) (cbrt h1)))) h0) (* (fma (sqrt h0) (sqrt h0) (- (* (sqrt h1) (sqrt h1)))) h0) (* (fma (- (sqrt h1)) (sqrt h1) (* (sqrt h1) (sqrt h1))) h0) (* (fma (sqrt h0) (sqrt h0) (- (* h1 1))) h0) (* (fma (- h1) 1 (* h1 1)) h0) (* (fma 1 h0 (- (* (cbrt h1) (* (cbrt h1) (cbrt h1))))) h0) (* (fma (- (cbrt h1)) (* (cbrt h1) (cbrt h1)) (* (cbrt h1) (* (cbrt h1) (cbrt h1)))) h0) (* (fma 1 h0 (- (* (sqrt h1) (sqrt h1)))) h0) (* (fma (- (sqrt h1)) (sqrt h1) (* (sqrt h1) (sqrt h1))) h0) (* (fma 1 h0 (- (* h1 1))) h0) (* (fma (- h1) 1 (* h1 1)) h0) (* h0 h0) (* (- h1) h0) (* h0 h0) (* (- h1) h0) (* h0 (* (cbrt (- h0 h1)) (cbrt (- h0 h1)))) (* h0 (sqrt (- h0 h1))) (* h0 1) (* h0 (+ (sqrt h0) (sqrt h1))) (* h0 1) (* (cbrt h0) (- h0 h1)) (* (sqrt h0) (- h0 h1)) (* h0 (- h0 h1)) (* h0 (- (pow h0 3) (pow h1 3))) (* h0 (- (* h0 h0) (* h1 h1))) (- (pow h0 2) (* h0 h1)) (- (pow h0 2) (* h0 h1)) (- (pow h0 2) (* h0 h1)) 0.118 * * [simplify]: iteration 0 : 186 enodes (cost 350 ) 0.123 * * [simplify]: iteration 1 : 761 enodes (cost 220 ) 0.142 * * [simplify]: iteration 2 : 4223 enodes (cost 190 ) 0.230 * * [simplify]: iteration 3 : 5001 enodes (cost 190 ) 0.232 * * * [progress]: adding candidates to table 0.278 * * [progress]: iteration 2 / 4 0.278 * * * [progress]: picking best candidate 0.279 * * * * [pick]: Picked # 0.279 * * * [progress]: localizing error 0.284 * * * [progress]: generating rewritten candidates 0.284 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2) 0.293 * * * [progress]: generating series expansions 0.293 * * * * [progress]: [ 1 / 1 ] generating series at (2 2) 0.293 * [backup-simplify]: Simplify (- (* x x) (* x y)) into (- (pow x 2) (* x y)) 0.293 * [approximate]: Taking taylor expansion of (- (pow x 2) (* x y)) in (x y) around 0 0.293 * [taylor]: Taking taylor expansion of (- (pow x 2) (* x y)) in y 0.293 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.293 * [taylor]: Taking taylor expansion of x in y 0.293 * [backup-simplify]: Simplify x into x 0.293 * [taylor]: Taking taylor expansion of (* x y) in y 0.293 * [taylor]: Taking taylor expansion of x in y 0.293 * [backup-simplify]: Simplify x into x 0.293 * [taylor]: Taking taylor expansion of y in y 0.293 * [backup-simplify]: Simplify 0 into 0 0.293 * [backup-simplify]: Simplify 1 into 1 0.293 * [taylor]: Taking taylor expansion of (- (pow x 2) (* x y)) in x 0.293 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.293 * [taylor]: Taking taylor expansion of x in x 0.293 * [backup-simplify]: Simplify 0 into 0 0.293 * [backup-simplify]: Simplify 1 into 1 0.293 * [taylor]: Taking taylor expansion of (* x y) in x 0.293 * [taylor]: Taking taylor expansion of x in x 0.293 * [backup-simplify]: Simplify 0 into 0 0.293 * [backup-simplify]: Simplify 1 into 1 0.293 * [taylor]: Taking taylor expansion of y in x 0.293 * [backup-simplify]: Simplify y into y 0.293 * [taylor]: Taking taylor expansion of (- (pow x 2) (* x y)) in x 0.293 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.293 * [taylor]: Taking taylor expansion of x in x 0.293 * [backup-simplify]: Simplify 0 into 0 0.293 * [backup-simplify]: Simplify 1 into 1 0.293 * [taylor]: Taking taylor expansion of (* x y) in x 0.293 * [taylor]: Taking taylor expansion of x in x 0.293 * [backup-simplify]: Simplify 0 into 0 0.293 * [backup-simplify]: Simplify 1 into 1 0.293 * [taylor]: Taking taylor expansion of y in x 0.293 * [backup-simplify]: Simplify y into y 0.293 * [backup-simplify]: Simplify (* 0 y) into 0 0.294 * [backup-simplify]: Simplify (- 0) into 0 0.294 * [backup-simplify]: Simplify (+ 0 0) into 0 0.294 * [taylor]: Taking taylor expansion of 0 in y 0.294 * [backup-simplify]: Simplify 0 into 0 0.294 * [backup-simplify]: Simplify 0 into 0 0.294 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.294 * [backup-simplify]: Simplify (- y) into (- y) 0.294 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y) 0.294 * [taylor]: Taking taylor expansion of (- y) in y 0.294 * [taylor]: Taking taylor expansion of y in y 0.294 * [backup-simplify]: Simplify 0 into 0 0.294 * [backup-simplify]: Simplify 1 into 1 0.295 * [backup-simplify]: Simplify (- 0) into 0 0.295 * [backup-simplify]: Simplify 0 into 0 0.295 * [backup-simplify]: Simplify 0 into 0 0.295 * [backup-simplify]: Simplify (* 1 1) into 1 0.295 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 0.296 * [backup-simplify]: Simplify (- 0) into 0 0.296 * [backup-simplify]: Simplify (+ 1 0) into 1 0.296 * [taylor]: Taking taylor expansion of 1 in y 0.296 * [backup-simplify]: Simplify 1 into 1 0.296 * [backup-simplify]: Simplify 1 into 1 0.296 * [backup-simplify]: Simplify (- 1) into -1 0.296 * [backup-simplify]: Simplify -1 into -1 0.296 * [backup-simplify]: Simplify 0 into 0 0.297 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.297 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 0.297 * [backup-simplify]: Simplify (- 0) into 0 0.298 * [backup-simplify]: Simplify (+ 0 0) into 0 0.298 * [taylor]: Taking taylor expansion of 0 in y 0.298 * [backup-simplify]: Simplify 0 into 0 0.298 * [backup-simplify]: Simplify 0 into 0 0.298 * [backup-simplify]: Simplify 0 into 0 0.298 * [backup-simplify]: Simplify (- 0) into 0 0.298 * [backup-simplify]: Simplify 0 into 0 0.298 * [backup-simplify]: Simplify 0 into 0 0.298 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.299 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 0.300 * [backup-simplify]: Simplify (- 0) into 0 0.300 * [backup-simplify]: Simplify (+ 0 0) into 0 0.300 * [taylor]: Taking taylor expansion of 0 in y 0.300 * [backup-simplify]: Simplify 0 into 0 0.300 * [backup-simplify]: Simplify 0 into 0 0.300 * [backup-simplify]: Simplify (+ (* -1 (* y x)) (* 1 (pow (* 1 x) 2))) into (- (pow x 2) (* x y)) 0.300 * [backup-simplify]: Simplify (- (* (/ 1 x) (/ 1 x)) (* (/ 1 x) (/ 1 y))) into (- (/ 1 (pow x 2)) (/ 1 (* x y))) 0.300 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (* x y))) in (x y) around 0 0.300 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (* x y))) in y 0.300 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 0.300 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.300 * [taylor]: Taking taylor expansion of x in y 0.300 * [backup-simplify]: Simplify x into x 0.300 * [backup-simplify]: Simplify (* x x) into (pow x 2) 0.300 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 0.300 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 0.300 * [taylor]: Taking taylor expansion of (* x y) in y 0.300 * [taylor]: Taking taylor expansion of x in y 0.300 * [backup-simplify]: Simplify x into x 0.300 * [taylor]: Taking taylor expansion of y in y 0.300 * [backup-simplify]: Simplify 0 into 0 0.300 * [backup-simplify]: Simplify 1 into 1 0.301 * [backup-simplify]: Simplify (* x 0) into 0 0.301 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 0.301 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.301 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (* x y))) in x 0.301 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.301 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.301 * [taylor]: Taking taylor expansion of x in x 0.301 * [backup-simplify]: Simplify 0 into 0 0.301 * [backup-simplify]: Simplify 1 into 1 0.301 * [backup-simplify]: Simplify (* 1 1) into 1 0.301 * [backup-simplify]: Simplify (/ 1 1) into 1 0.301 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.301 * [taylor]: Taking taylor expansion of (* x y) in x 0.301 * [taylor]: Taking taylor expansion of x in x 0.301 * [backup-simplify]: Simplify 0 into 0 0.301 * [backup-simplify]: Simplify 1 into 1 0.301 * [taylor]: Taking taylor expansion of y in x 0.301 * [backup-simplify]: Simplify y into y 0.301 * [backup-simplify]: Simplify (* 0 y) into 0 0.302 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.302 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.302 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (* x y))) in x 0.302 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.302 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.302 * [taylor]: Taking taylor expansion of x in x 0.302 * [backup-simplify]: Simplify 0 into 0 0.302 * [backup-simplify]: Simplify 1 into 1 0.302 * [backup-simplify]: Simplify (* 1 1) into 1 0.302 * [backup-simplify]: Simplify (/ 1 1) into 1 0.302 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.302 * [taylor]: Taking taylor expansion of (* x y) in x 0.302 * [taylor]: Taking taylor expansion of x in x 0.302 * [backup-simplify]: Simplify 0 into 0 0.302 * [backup-simplify]: Simplify 1 into 1 0.302 * [taylor]: Taking taylor expansion of y in x 0.302 * [backup-simplify]: Simplify y into y 0.302 * [backup-simplify]: Simplify (* 0 y) into 0 0.303 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.303 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.303 * [backup-simplify]: Simplify (+ 1 0) into 1 0.303 * [taylor]: Taking taylor expansion of 1 in y 0.303 * [backup-simplify]: Simplify 1 into 1 0.303 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.304 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.304 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 0.304 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y)) 0.304 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 0.304 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.304 * [taylor]: Taking taylor expansion of y in y 0.304 * [backup-simplify]: Simplify 0 into 0 0.304 * [backup-simplify]: Simplify 1 into 1 0.304 * [backup-simplify]: Simplify (/ 1 1) into 1 0.304 * [backup-simplify]: Simplify (- 1) into -1 0.304 * [backup-simplify]: Simplify -1 into -1 0.305 * [backup-simplify]: Simplify 1 into 1 0.305 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.305 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.306 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 0.306 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 0.306 * [backup-simplify]: Simplify (- 0) into 0 0.306 * [backup-simplify]: Simplify (+ 0 0) into 0 0.306 * [taylor]: Taking taylor expansion of 0 in y 0.306 * [backup-simplify]: Simplify 0 into 0 0.307 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.307 * [backup-simplify]: Simplify (- 0) into 0 0.307 * [backup-simplify]: Simplify 0 into 0 0.307 * [backup-simplify]: Simplify 0 into 0 0.308 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.308 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.309 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 0.309 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.309 * [backup-simplify]: Simplify (- 0) into 0 0.309 * [backup-simplify]: Simplify (+ 0 0) into 0 0.309 * [taylor]: Taking taylor expansion of 0 in y 0.309 * [backup-simplify]: Simplify 0 into 0 0.309 * [backup-simplify]: Simplify 0 into 0 0.310 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.310 * [backup-simplify]: Simplify (- 0) into 0 0.310 * [backup-simplify]: Simplify 0 into 0 0.310 * [backup-simplify]: Simplify 0 into 0 0.311 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.311 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.312 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 0.312 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.312 * [backup-simplify]: Simplify (- 0) into 0 0.313 * [backup-simplify]: Simplify (+ 0 0) into 0 0.313 * [taylor]: Taking taylor expansion of 0 in y 0.313 * [backup-simplify]: Simplify 0 into 0 0.313 * [backup-simplify]: Simplify 0 into 0 0.313 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 x))) 2)) (* -1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) into (- (pow x 2) (* x y)) 0.313 * [backup-simplify]: Simplify (- (* (/ 1 (- x)) (/ 1 (- x))) (* (/ 1 (- x)) (/ 1 (- y)))) into (- (/ 1 (pow x 2)) (/ 1 (* x y))) 0.313 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (* x y))) in (x y) around 0 0.313 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (* x y))) in y 0.313 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 0.313 * [taylor]: Taking taylor expansion of (pow x 2) in y 0.313 * [taylor]: Taking taylor expansion of x in y 0.313 * [backup-simplify]: Simplify x into x 0.313 * [backup-simplify]: Simplify (* x x) into (pow x 2) 0.313 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 0.313 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 0.313 * [taylor]: Taking taylor expansion of (* x y) in y 0.313 * [taylor]: Taking taylor expansion of x in y 0.313 * [backup-simplify]: Simplify x into x 0.313 * [taylor]: Taking taylor expansion of y in y 0.313 * [backup-simplify]: Simplify 0 into 0 0.313 * [backup-simplify]: Simplify 1 into 1 0.313 * [backup-simplify]: Simplify (* x 0) into 0 0.314 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 0.314 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.314 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (* x y))) in x 0.314 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.314 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.314 * [taylor]: Taking taylor expansion of x in x 0.314 * [backup-simplify]: Simplify 0 into 0 0.314 * [backup-simplify]: Simplify 1 into 1 0.314 * [backup-simplify]: Simplify (* 1 1) into 1 0.314 * [backup-simplify]: Simplify (/ 1 1) into 1 0.314 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.314 * [taylor]: Taking taylor expansion of (* x y) in x 0.314 * [taylor]: Taking taylor expansion of x in x 0.314 * [backup-simplify]: Simplify 0 into 0 0.314 * [backup-simplify]: Simplify 1 into 1 0.314 * [taylor]: Taking taylor expansion of y in x 0.314 * [backup-simplify]: Simplify y into y 0.314 * [backup-simplify]: Simplify (* 0 y) into 0 0.315 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.315 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.315 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (* x y))) in x 0.315 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.315 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.315 * [taylor]: Taking taylor expansion of x in x 0.315 * [backup-simplify]: Simplify 0 into 0 0.315 * [backup-simplify]: Simplify 1 into 1 0.315 * [backup-simplify]: Simplify (* 1 1) into 1 0.315 * [backup-simplify]: Simplify (/ 1 1) into 1 0.315 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.315 * [taylor]: Taking taylor expansion of (* x y) in x 0.315 * [taylor]: Taking taylor expansion of x in x 0.315 * [backup-simplify]: Simplify 0 into 0 0.315 * [backup-simplify]: Simplify 1 into 1 0.315 * [taylor]: Taking taylor expansion of y in x 0.315 * [backup-simplify]: Simplify y into y 0.315 * [backup-simplify]: Simplify (* 0 y) into 0 0.316 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 0.316 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.316 * [backup-simplify]: Simplify (+ 1 0) into 1 0.316 * [taylor]: Taking taylor expansion of 1 in y 0.316 * [backup-simplify]: Simplify 1 into 1 0.316 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.317 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.317 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 0.317 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y)) 0.317 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 0.317 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.317 * [taylor]: Taking taylor expansion of y in y 0.317 * [backup-simplify]: Simplify 0 into 0 0.317 * [backup-simplify]: Simplify 1 into 1 0.317 * [backup-simplify]: Simplify (/ 1 1) into 1 0.317 * [backup-simplify]: Simplify (- 1) into -1 0.317 * [backup-simplify]: Simplify -1 into -1 0.317 * [backup-simplify]: Simplify 1 into 1 0.318 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.318 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.319 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 0.319 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 0.319 * [backup-simplify]: Simplify (- 0) into 0 0.319 * [backup-simplify]: Simplify (+ 0 0) into 0 0.319 * [taylor]: Taking taylor expansion of 0 in y 0.319 * [backup-simplify]: Simplify 0 into 0 0.320 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.320 * [backup-simplify]: Simplify (- 0) into 0 0.320 * [backup-simplify]: Simplify 0 into 0 0.320 * [backup-simplify]: Simplify 0 into 0 0.321 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.321 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.322 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 0.322 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.322 * [backup-simplify]: Simplify (- 0) into 0 0.322 * [backup-simplify]: Simplify (+ 0 0) into 0 0.322 * [taylor]: Taking taylor expansion of 0 in y 0.322 * [backup-simplify]: Simplify 0 into 0 0.322 * [backup-simplify]: Simplify 0 into 0 0.323 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.323 * [backup-simplify]: Simplify (- 0) into 0 0.323 * [backup-simplify]: Simplify 0 into 0 0.323 * [backup-simplify]: Simplify 0 into 0 0.324 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.324 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.325 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 0.325 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.325 * [backup-simplify]: Simplify (- 0) into 0 0.326 * [backup-simplify]: Simplify (+ 0 0) into 0 0.326 * [taylor]: Taking taylor expansion of 0 in y 0.326 * [backup-simplify]: Simplify 0 into 0 0.326 * [backup-simplify]: Simplify 0 into 0 0.326 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- x)))) 2)) (* -1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (- (pow x 2) (* x y)) 0.326 * * * [progress]: simplifying candidates 0.326 * [simplify]: Simplifying: (fma x x (- (* y x))) (fma (- y) x (* y x)) (expm1 (- (* x x) (* x y))) (log1p (- (* x x) (* x y))) (- (* x y)) (/ (exp (* x x)) (exp (* x y))) (log (- (* x x) (* x y))) (exp (- (* x x) (* x y))) (* (cbrt (- (* x x) (* x y))) (cbrt (- (* x x) (* x y)))) (cbrt (- (* x x) (* x y))) (* (* (- (* x x) (* x y)) (- (* x x) (* x y))) (- (* x x) (* x y))) (sqrt (- (* x x) (* x y))) (sqrt (- (* x x) (* x y))) (- (pow (* x x) 3) (pow (* x y) 3)) (+ (* (* x x) (* x x)) (+ (* (* x y) (* x y)) (* (* x x) (* x y)))) (- (* x y)) (- (* (* x x) (* x x)) (* (* x y) (* x y))) (+ (* x x) (* x y)) (- x y) (- (* x y)) (- (pow x 2) (* x y)) (- (pow x 2) (* x y)) (- (pow x 2) (* x y)) 0.326 * [simplify]: Sending expressions to egg_math: (fma h0 h0 (- (* h1 h0))) (fma (- h1) h0 (* h1 h0)) (expm1 (- (* h0 h0) (* h0 h1))) (log1p (- (* h0 h0) (* h0 h1))) (- (* h0 h1)) (/ (exp (* h0 h0)) (exp (* h0 h1))) (log (- (* h0 h0) (* h0 h1))) (exp (- (* h0 h0) (* h0 h1))) (* (cbrt (- (* h0 h0) (* h0 h1))) (cbrt (- (* h0 h0) (* h0 h1)))) (cbrt (- (* h0 h0) (* h0 h1))) (* (* (- (* h0 h0) (* h0 h1)) (- (* h0 h0) (* h0 h1))) (- (* h0 h0) (* h0 h1))) (sqrt (- (* h0 h0) (* h0 h1))) (sqrt (- (* h0 h0) (* h0 h1))) (- (pow (* h0 h0) 3) (pow (* h0 h1) 3)) (+ (* (* h0 h0) (* h0 h0)) (+ (* (* h0 h1) (* h0 h1)) (* (* h0 h0) (* h0 h1)))) (- (* h0 h1)) (- (* (* h0 h0) (* h0 h0)) (* (* h0 h1) (* h0 h1))) (+ (* h0 h0) (* h0 h1)) (- h0 h1) (- (* h0 h1)) (- (pow h0 2) (* h0 h1)) (- (pow h0 2) (* h0 h1)) (- (pow h0 2) (* h0 h1)) 0.330 * * [simplify]: iteration 0 : 102 enodes (cost 91 ) 0.333 * * [simplify]: iteration 1 : 403 enodes (cost 79 ) 0.341 * * [simplify]: iteration 2 : 1596 enodes (cost 77 ) 0.373 * * [simplify]: iteration 3 : 5001 enodes (cost 74 ) 0.373 * * * [progress]: adding candidates to table 0.408 * [progress]: [Phase 3 of 3] Extracting. 0.409 * * [regime]: Finding splitpoints for: (# #) 0.409 * * * [regime-changes]: Trying 4 branch expressions: ((- (* x x) (* x y)) (* 2.0 (- (* x x) (* x y))) y x) 0.409 * * * * [regimes]: Trying to branch on (- (* x x) (* x y)) from (# #) 0.419 * * * * [regimes]: Trying to branch on (* 2.0 (- (* x x) (* x y))) from (# #) 0.432 * * * * [regimes]: Trying to branch on y from (# #) 0.441 * * * * [regimes]: Trying to branch on x from (# #) 0.452 * * * [regime]: Found split indices: #