32.969 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.029 * * * [progress]: [2/2] Setting up program.
0.034 * [progress]: [Phase 2 of 3] Improving.
0.034 * [simplify]: Simplifying:
  (/ (+ x y) (* (* x 2.0) y))
0.034 * * [simplify]: Extracting # 0 : cost  0
0.035 * * [simplify]: Extracting # 1 : cost  0
0.035 * * [simplify]: Extracting # 2 : cost  0
0.035 * * [simplify]: Extracting # 3 : cost  0
0.035 * * [simplify]: Extracting # 4 : cost  0
0.035 * * [simplify]: iteration  0 :  7  enodes  (cost  9 )
0.037 * * [simplify]: Extracting # 0 : cost  0
0.037 * * [simplify]: Extracting # 1 : cost  0
0.037 * * [simplify]: Extracting # 2 : cost  0
0.037 * * [simplify]: iteration  1 :  14  enodes  (cost  9 )
0.042 * * [simplify]: Extracting # 0 : cost  0
0.042 * * [simplify]: Extracting # 1 : cost  0
0.042 * * [simplify]: Extracting # 2 : cost  0
0.042 * * [simplify]: iteration  2 :  28  enodes  (cost  9 )
0.051 * * [simplify]: Extracting # 0 : cost  0
0.051 * * [simplify]: Extracting # 1 : cost  0
0.051 * * [simplify]: Extracting # 2 : cost  0
0.052 * * [simplify]: iteration  3 :  43  enodes  (cost  9 )
0.064 * * [simplify]: Extracting # 0 : cost  0
0.064 * * [simplify]: iteration  4 :  47  enodes  (cost  9 )
0.075 * * [simplify]: Extracting # 0 : cost  0
0.076 * * [simplify]: iteration done:  47  enodes  (cost  9 )
0.076 * [simplify]: Simplified to:
  (/ (+ x y) (* (* x 2.0) y))
0.076 * * [progress]: iteration 1 / 4
0.076 * * * [progress]: picking best candidate
0.081 * * * * [pick]: Picked  #<alt (λ (x y) (/ (+ x y) (* (* x 2.0) y)))>
0.081 * * * [progress]: localizing error
0.100 * * * [progress]: generating rewritten candidates
0.100 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.179 * * * [progress]: generating series expansions
0.179 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.179 * [backup-simplify]: Simplify (/ (+ x y) (* (* x 2.0) y)) into (* 0.5 (/ (+ x y) (* x y)))
0.179 * [approximate]: Taking taylor expansion of (* 0.5 (/ (+ x y) (* x y))) in (x y) around 0
0.179 * [taylor]: Taking taylor expansion of (* 0.5 (/ (+ x y) (* x y))) in y
0.180 * [taylor]: Taking taylor expansion of 0.5 in y
0.180 * [backup-simplify]: Simplify 0.5 into 0.5
0.180 * [taylor]: Taking taylor expansion of (/ (+ x y) (* x y)) in y
0.180 * [taylor]: Taking taylor expansion of (+ x y) in y
0.180 * [taylor]: Taking taylor expansion of x in y
0.180 * [backup-simplify]: Simplify x into x
0.180 * [taylor]: Taking taylor expansion of y in y
0.180 * [backup-simplify]: Simplify 0 into 0
0.180 * [backup-simplify]: Simplify 1 into 1
0.180 * [taylor]: Taking taylor expansion of (* x y) in y
0.180 * [taylor]: Taking taylor expansion of x in y
0.180 * [backup-simplify]: Simplify x into x
0.180 * [taylor]: Taking taylor expansion of y in y
0.180 * [backup-simplify]: Simplify 0 into 0
0.180 * [backup-simplify]: Simplify 1 into 1
0.180 * [backup-simplify]: Simplify (+ x 0) into x
0.180 * [backup-simplify]: Simplify (* x 0) into 0
0.181 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
0.181 * [backup-simplify]: Simplify (/ x x) into 1
0.181 * [taylor]: Taking taylor expansion of (* 0.5 (/ (+ x y) (* x y))) in x
0.181 * [taylor]: Taking taylor expansion of 0.5 in x
0.181 * [backup-simplify]: Simplify 0.5 into 0.5
0.181 * [taylor]: Taking taylor expansion of (/ (+ x y) (* x y)) in x
0.181 * [taylor]: Taking taylor expansion of (+ x y) in x
0.181 * [taylor]: Taking taylor expansion of x in x
0.181 * [backup-simplify]: Simplify 0 into 0
0.181 * [backup-simplify]: Simplify 1 into 1
0.181 * [taylor]: Taking taylor expansion of y in x
0.181 * [backup-simplify]: Simplify y into y
0.181 * [taylor]: Taking taylor expansion of (* x y) in x
0.181 * [taylor]: Taking taylor expansion of x in x
0.181 * [backup-simplify]: Simplify 0 into 0
0.181 * [backup-simplify]: Simplify 1 into 1
0.181 * [taylor]: Taking taylor expansion of y in x
0.181 * [backup-simplify]: Simplify y into y
0.181 * [backup-simplify]: Simplify (+ 0 y) into y
0.181 * [backup-simplify]: Simplify (* 0 y) into 0
0.182 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
0.182 * [backup-simplify]: Simplify (/ y y) into 1
0.182 * [taylor]: Taking taylor expansion of (* 0.5 (/ (+ x y) (* x y))) in x
0.182 * [taylor]: Taking taylor expansion of 0.5 in x
0.182 * [backup-simplify]: Simplify 0.5 into 0.5
0.182 * [taylor]: Taking taylor expansion of (/ (+ x y) (* x y)) in x
0.182 * [taylor]: Taking taylor expansion of (+ x y) in x
0.182 * [taylor]: Taking taylor expansion of x in x
0.182 * [backup-simplify]: Simplify 0 into 0
0.182 * [backup-simplify]: Simplify 1 into 1
0.182 * [taylor]: Taking taylor expansion of y in x
0.182 * [backup-simplify]: Simplify y into y
0.182 * [taylor]: Taking taylor expansion of (* x y) in x
0.182 * [taylor]: Taking taylor expansion of x in x
0.182 * [backup-simplify]: Simplify 0 into 0
0.182 * [backup-simplify]: Simplify 1 into 1
0.182 * [taylor]: Taking taylor expansion of y in x
0.182 * [backup-simplify]: Simplify y into y
0.182 * [backup-simplify]: Simplify (+ 0 y) into y
0.182 * [backup-simplify]: Simplify (* 0 y) into 0
0.183 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
0.183 * [backup-simplify]: Simplify (/ y y) into 1
0.184 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
0.184 * [taylor]: Taking taylor expansion of 0.5 in y
0.184 * [backup-simplify]: Simplify 0.5 into 0.5
0.184 * [backup-simplify]: Simplify (+ 1 0) into 1
0.185 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
0.185 * [backup-simplify]: Simplify (- (/ 1 y) (+ (* 1 (/ 0 y)))) into (/ 1 y)
0.186 * [backup-simplify]: Simplify (+ (* 0.5 (/ 1 y)) (* 0 1)) into (* 0.5 (/ 1 y))
0.186 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
0.186 * [taylor]: Taking taylor expansion of 0.5 in y
0.186 * [backup-simplify]: Simplify 0.5 into 0.5
0.186 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.186 * [taylor]: Taking taylor expansion of y in y
0.186 * [backup-simplify]: Simplify 0 into 0
0.186 * [backup-simplify]: Simplify 1 into 1
0.186 * [backup-simplify]: Simplify (/ 1 1) into 1
0.187 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
0.187 * [backup-simplify]: Simplify 0.5 into 0.5
0.187 * [backup-simplify]: Simplify 0.5 into 0.5
0.187 * [backup-simplify]: Simplify (+ 0 0) into 0
0.188 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
0.189 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* 1 (/ 0 y)) (* (/ 1 y) (/ 0 y)))) into 0
0.190 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 (/ 1 y)) (* 0 1))) into 0
0.190 * [taylor]: Taking taylor expansion of 0 in y
0.190 * [backup-simplify]: Simplify 0 into 0
0.190 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.191 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
0.191 * [backup-simplify]: Simplify 0 into 0
0.191 * [backup-simplify]: Simplify 0 into 0
0.192 * [backup-simplify]: Simplify (+ 0 0) into 0
0.193 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
0.193 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* 1 (/ 0 y)) (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.195 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1)))) into 0
0.195 * [taylor]: Taking taylor expansion of 0 in y
0.195 * [backup-simplify]: Simplify 0 into 0
0.195 * [backup-simplify]: Simplify 0 into 0
0.196 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.197 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0
0.197 * [backup-simplify]: Simplify 0 into 0
0.197 * [backup-simplify]: Simplify 0 into 0
0.197 * [backup-simplify]: Simplify (+ 0 0) into 0
0.199 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0
0.199 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* 1 (/ 0 y)) (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.201 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1))))) into 0
0.201 * [taylor]: Taking taylor expansion of 0 in y
0.201 * [backup-simplify]: Simplify 0 into 0
0.201 * [backup-simplify]: Simplify 0 into 0
0.201 * [backup-simplify]: Simplify (+ (* 0.5 (* 1 (/ 1 x))) (* 0.5 (* (/ 1 y) 1))) into (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
0.202 * [backup-simplify]: Simplify (/ (+ (/ 1 x) (/ 1 y)) (* (* (/ 1 x) 2.0) (/ 1 y))) into (* 0.5 (* (+ (/ 1 y) (/ 1 x)) (* y x)))
0.202 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (/ 1 y) (/ 1 x)) (* y x))) in (x y) around 0
0.202 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (/ 1 y) (/ 1 x)) (* y x))) in y
0.202 * [taylor]: Taking taylor expansion of 0.5 in y
0.202 * [backup-simplify]: Simplify 0.5 into 0.5
0.202 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (* y x)) in y
0.202 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
0.202 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.202 * [taylor]: Taking taylor expansion of y in y
0.202 * [backup-simplify]: Simplify 0 into 0
0.202 * [backup-simplify]: Simplify 1 into 1
0.203 * [backup-simplify]: Simplify (/ 1 1) into 1
0.203 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.203 * [taylor]: Taking taylor expansion of x in y
0.203 * [backup-simplify]: Simplify x into x
0.203 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.203 * [taylor]: Taking taylor expansion of (* y x) in y
0.203 * [taylor]: Taking taylor expansion of y in y
0.203 * [backup-simplify]: Simplify 0 into 0
0.203 * [backup-simplify]: Simplify 1 into 1
0.203 * [taylor]: Taking taylor expansion of x in y
0.203 * [backup-simplify]: Simplify x into x
0.203 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (/ 1 y) (/ 1 x)) (* y x))) in x
0.203 * [taylor]: Taking taylor expansion of 0.5 in x
0.203 * [backup-simplify]: Simplify 0.5 into 0.5
0.203 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (* y x)) in x
0.203 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.203 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.203 * [taylor]: Taking taylor expansion of y in x
0.203 * [backup-simplify]: Simplify y into y
0.203 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.203 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.203 * [taylor]: Taking taylor expansion of x in x
0.203 * [backup-simplify]: Simplify 0 into 0
0.203 * [backup-simplify]: Simplify 1 into 1
0.204 * [backup-simplify]: Simplify (/ 1 1) into 1
0.204 * [taylor]: Taking taylor expansion of (* y x) in x
0.204 * [taylor]: Taking taylor expansion of y in x
0.204 * [backup-simplify]: Simplify y into y
0.204 * [taylor]: Taking taylor expansion of x in x
0.204 * [backup-simplify]: Simplify 0 into 0
0.204 * [backup-simplify]: Simplify 1 into 1
0.204 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (/ 1 y) (/ 1 x)) (* y x))) in x
0.204 * [taylor]: Taking taylor expansion of 0.5 in x
0.204 * [backup-simplify]: Simplify 0.5 into 0.5
0.204 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (* y x)) in x
0.204 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.204 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.204 * [taylor]: Taking taylor expansion of y in x
0.204 * [backup-simplify]: Simplify y into y
0.204 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.204 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.204 * [taylor]: Taking taylor expansion of x in x
0.204 * [backup-simplify]: Simplify 0 into 0
0.204 * [backup-simplify]: Simplify 1 into 1
0.205 * [backup-simplify]: Simplify (/ 1 1) into 1
0.205 * [taylor]: Taking taylor expansion of (* y x) in x
0.205 * [taylor]: Taking taylor expansion of y in x
0.205 * [backup-simplify]: Simplify y into y
0.205 * [taylor]: Taking taylor expansion of x in x
0.205 * [backup-simplify]: Simplify 0 into 0
0.205 * [backup-simplify]: Simplify 1 into 1
0.206 * [backup-simplify]: Simplify (+ 0 1) into 1
0.206 * [backup-simplify]: Simplify (* y 0) into 0
0.206 * [backup-simplify]: Simplify (* 1 0) into 0
0.207 * [backup-simplify]: Simplify (* 0.5 0) into 0
0.207 * [taylor]: Taking taylor expansion of 0 in y
0.207 * [backup-simplify]: Simplify 0 into 0
0.208 * [backup-simplify]: Simplify (+ (* y 1) (* 0 0)) into y
0.209 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.209 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
0.210 * [backup-simplify]: Simplify (+ (* 1 y) (* (/ 1 y) 0)) into y
0.210 * [backup-simplify]: Simplify (+ (* 0.5 y) (* 0 0)) into (* 0.5 y)
0.210 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
0.211 * [taylor]: Taking taylor expansion of 0.5 in y
0.211 * [backup-simplify]: Simplify 0.5 into 0.5
0.211 * [taylor]: Taking taylor expansion of y in y
0.211 * [backup-simplify]: Simplify 0 into 0
0.211 * [backup-simplify]: Simplify 1 into 1
0.211 * [backup-simplify]: Simplify 0 into 0
0.212 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 1) (* 0 0))) into 0
0.212 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
0.214 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.215 * [backup-simplify]: Simplify (+ 0 0) into 0
0.216 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) y) (* 0 0))) into 1
0.216 * [backup-simplify]: Simplify (+ (* 0.5 1) (+ (* 0 y) (* 0 0))) into 0.5
0.217 * [taylor]: Taking taylor expansion of 0.5 in y
0.217 * [backup-simplify]: Simplify 0.5 into 0.5
0.217 * [backup-simplify]: Simplify (* 0.5 0) into 0
0.217 * [backup-simplify]: Simplify 0 into 0
0.217 * [backup-simplify]: Simplify 0 into 0
0.218 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
0.218 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.219 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.220 * [backup-simplify]: Simplify (+ 0 0) into 0
0.221 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 0) (+ (* 0 y) (* 0 0)))) into 0
0.222 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (+ (* 0 y) (* 0 0)))) into 0
0.222 * [taylor]: Taking taylor expansion of 0 in y
0.222 * [backup-simplify]: Simplify 0 into 0
0.222 * [backup-simplify]: Simplify 0.5 into 0.5
0.223 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
0.224 * [backup-simplify]: Simplify 0.5 into 0.5
0.224 * [backup-simplify]: Simplify 0 into 0
0.225 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
0.225 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.226 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.226 * [backup-simplify]: Simplify (+ 0 0) into 0
0.227 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0
0.229 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 y) (* 0 0))))) into 0
0.229 * [taylor]: Taking taylor expansion of 0 in y
0.229 * [backup-simplify]: Simplify 0 into 0
0.229 * [backup-simplify]: Simplify 0 into 0
0.229 * [backup-simplify]: Simplify 0 into 0
0.230 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
0.230 * [backup-simplify]: Simplify 0 into 0
0.230 * [backup-simplify]: Simplify 0 into 0
0.232 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
0.232 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.233 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.233 * [backup-simplify]: Simplify (+ 0 0) into 0
0.235 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))))) into 0
0.236 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 y) (* 0 0)))))) into 0
0.237 * [taylor]: Taking taylor expansion of 0 in y
0.237 * [backup-simplify]: Simplify 0 into 0
0.237 * [backup-simplify]: Simplify 0 into 0
0.237 * [backup-simplify]: Simplify (+ (* 0.5 (* (/ 1 y) 1)) (* 0.5 (* 1 (/ 1 x)))) into (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
0.237 * [backup-simplify]: Simplify (/ (+ (/ 1 (- x)) (/ 1 (- y))) (* (* (/ 1 (- x)) 2.0) (/ 1 (- y)))) into (* -0.5 (* (+ (/ 1 y) (/ 1 x)) (* y x)))
0.237 * [approximate]: Taking taylor expansion of (* -0.5 (* (+ (/ 1 y) (/ 1 x)) (* y x))) in (x y) around 0
0.237 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (/ 1 y) (/ 1 x)) (* y x))) in y
0.237 * [taylor]: Taking taylor expansion of -0.5 in y
0.237 * [backup-simplify]: Simplify -0.5 into -0.5
0.237 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (* y x)) in y
0.237 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
0.237 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.238 * [taylor]: Taking taylor expansion of y in y
0.238 * [backup-simplify]: Simplify 0 into 0
0.238 * [backup-simplify]: Simplify 1 into 1
0.238 * [backup-simplify]: Simplify (/ 1 1) into 1
0.238 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.238 * [taylor]: Taking taylor expansion of x in y
0.238 * [backup-simplify]: Simplify x into x
0.238 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.238 * [taylor]: Taking taylor expansion of (* y x) in y
0.238 * [taylor]: Taking taylor expansion of y in y
0.238 * [backup-simplify]: Simplify 0 into 0
0.238 * [backup-simplify]: Simplify 1 into 1
0.238 * [taylor]: Taking taylor expansion of x in y
0.238 * [backup-simplify]: Simplify x into x
0.238 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (/ 1 y) (/ 1 x)) (* y x))) in x
0.238 * [taylor]: Taking taylor expansion of -0.5 in x
0.238 * [backup-simplify]: Simplify -0.5 into -0.5
0.238 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (* y x)) in x
0.238 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.238 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.238 * [taylor]: Taking taylor expansion of y in x
0.239 * [backup-simplify]: Simplify y into y
0.239 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.239 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.239 * [taylor]: Taking taylor expansion of x in x
0.239 * [backup-simplify]: Simplify 0 into 0
0.239 * [backup-simplify]: Simplify 1 into 1
0.239 * [backup-simplify]: Simplify (/ 1 1) into 1
0.239 * [taylor]: Taking taylor expansion of (* y x) in x
0.239 * [taylor]: Taking taylor expansion of y in x
0.239 * [backup-simplify]: Simplify y into y
0.239 * [taylor]: Taking taylor expansion of x in x
0.239 * [backup-simplify]: Simplify 0 into 0
0.239 * [backup-simplify]: Simplify 1 into 1
0.239 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (/ 1 y) (/ 1 x)) (* y x))) in x
0.239 * [taylor]: Taking taylor expansion of -0.5 in x
0.239 * [backup-simplify]: Simplify -0.5 into -0.5
0.239 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (* y x)) in x
0.239 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.239 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.239 * [taylor]: Taking taylor expansion of y in x
0.239 * [backup-simplify]: Simplify y into y
0.240 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.240 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.240 * [taylor]: Taking taylor expansion of x in x
0.240 * [backup-simplify]: Simplify 0 into 0
0.240 * [backup-simplify]: Simplify 1 into 1
0.240 * [backup-simplify]: Simplify (/ 1 1) into 1
0.240 * [taylor]: Taking taylor expansion of (* y x) in x
0.240 * [taylor]: Taking taylor expansion of y in x
0.240 * [backup-simplify]: Simplify y into y
0.240 * [taylor]: Taking taylor expansion of x in x
0.240 * [backup-simplify]: Simplify 0 into 0
0.240 * [backup-simplify]: Simplify 1 into 1
0.241 * [backup-simplify]: Simplify (+ 0 1) into 1
0.241 * [backup-simplify]: Simplify (* y 0) into 0
0.241 * [backup-simplify]: Simplify (* 1 0) into 0
0.242 * [backup-simplify]: Simplify (* -0.5 0) into 0
0.242 * [taylor]: Taking taylor expansion of 0 in y
0.242 * [backup-simplify]: Simplify 0 into 0
0.242 * [backup-simplify]: Simplify (+ (* y 1) (* 0 0)) into y
0.243 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.243 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
0.243 * [backup-simplify]: Simplify (+ (* 1 y) (* (/ 1 y) 0)) into y
0.244 * [backup-simplify]: Simplify (+ (* -0.5 y) (* 0 0)) into (- (* 0.5 y))
0.244 * [taylor]: Taking taylor expansion of (- (* 0.5 y)) in y
0.244 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
0.244 * [taylor]: Taking taylor expansion of 0.5 in y
0.244 * [backup-simplify]: Simplify 0.5 into 0.5
0.244 * [taylor]: Taking taylor expansion of y in y
0.244 * [backup-simplify]: Simplify 0 into 0
0.244 * [backup-simplify]: Simplify 1 into 1
0.244 * [backup-simplify]: Simplify 0 into 0
0.245 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 1) (* 0 0))) into 0
0.245 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
0.246 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.246 * [backup-simplify]: Simplify (+ 0 0) into 0
0.247 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) y) (* 0 0))) into 1
0.248 * [backup-simplify]: Simplify (+ (* -0.5 1) (+ (* 0 y) (* 0 0))) into (- 0.5)
0.248 * [taylor]: Taking taylor expansion of (- 0.5) in y
0.248 * [taylor]: Taking taylor expansion of 0.5 in y
0.248 * [backup-simplify]: Simplify 0.5 into 0.5
0.248 * [backup-simplify]: Simplify (* 0.5 0) into 0
0.249 * [backup-simplify]: Simplify (- 0) into 0
0.249 * [backup-simplify]: Simplify 0 into 0
0.249 * [backup-simplify]: Simplify 0 into 0
0.250 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
0.250 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.251 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.251 * [backup-simplify]: Simplify (+ 0 0) into 0
0.252 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 0) (+ (* 0 y) (* 0 0)))) into 0
0.253 * [backup-simplify]: Simplify (+ (* -0.5 0) (+ (* 0 1) (+ (* 0 y) (* 0 0)))) into 0
0.253 * [taylor]: Taking taylor expansion of 0 in y
0.253 * [backup-simplify]: Simplify 0 into 0
0.254 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
0.254 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
0.255 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
0.256 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
0.256 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
0.256 * [backup-simplify]: Simplify 0 into 0
0.257 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
0.257 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.258 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.259 * [backup-simplify]: Simplify (+ 0 0) into 0
0.260 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0
0.261 * [backup-simplify]: Simplify (+ (* -0.5 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 y) (* 0 0))))) into 0
0.261 * [taylor]: Taking taylor expansion of 0 in y
0.261 * [backup-simplify]: Simplify 0 into 0
0.262 * [backup-simplify]: Simplify 0 into 0
0.262 * [backup-simplify]: Simplify (- 0) into 0
0.262 * [backup-simplify]: Simplify 0 into 0
0.263 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
0.263 * [backup-simplify]: Simplify (- 0) into 0
0.263 * [backup-simplify]: Simplify 0 into 0
0.263 * [backup-simplify]: Simplify 0 into 0
0.264 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
0.265 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.266 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.266 * [backup-simplify]: Simplify (+ 0 0) into 0
0.268 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))))) into 0
0.269 * [backup-simplify]: Simplify (+ (* -0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 y) (* 0 0)))))) into 0
0.269 * [taylor]: Taking taylor expansion of 0 in y
0.270 * [backup-simplify]: Simplify 0 into 0
0.270 * [backup-simplify]: Simplify 0 into 0
0.270 * [backup-simplify]: Simplify (+ (* (- 0.5) (* (/ 1 (- y)) 1)) (* (- 0.5) (* 1 (/ 1 (- x))))) into (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
0.271 * * * [progress]: simplifying candidates
0.271 * [simplify]: Simplifying:
  (- (log (+ x y)) (+ (+ (log x) (log 2.0)) (log y)))
  (- (log (+ x y)) (+ (log (* x 2.0)) (log y)))
  (- (log (+ x y)) (log (* (* x 2.0) y)))
  (log (/ (+ x y) (* (* x 2.0) y)))
  (exp (/ (+ x y) (* (* x 2.0) y)))
  (/ (* (* (+ x y) (+ x y)) (+ x y)) (* (* (* (* x x) x) (* (* 2.0 2.0) 2.0)) (* (* y y) y)))
  (/ (* (* (+ x y) (+ x y)) (+ x y)) (* (* (* (* x 2.0) (* x 2.0)) (* x 2.0)) (* (* y y) y)))
  (/ (* (* (+ x y) (+ x y)) (+ x y)) (* (* (* (* x 2.0) y) (* (* x 2.0) y)) (* (* x 2.0) y)))
  (* (cbrt (/ (+ x y) (* (* x 2.0) y))) (cbrt (/ (+ x y) (* (* x 2.0) y))))
  (cbrt (/ (+ x y) (* (* x 2.0) y)))
  (* (* (/ (+ x y) (* (* x 2.0) y)) (/ (+ x y) (* (* x 2.0) y))) (/ (+ x y) (* (* x 2.0) y)))
  (sqrt (/ (+ x y) (* (* x 2.0) y)))
  (sqrt (/ (+ x y) (* (* x 2.0) y)))
  (- (+ x y))
  (- (* (* x 2.0) y))
  (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* x 2.0))
  (/ (cbrt (+ x y)) y)
  (/ (sqrt (+ x y)) (* x 2.0))
  (/ (sqrt (+ x y)) y)
  (/ 1 (* x 2.0))
  (/ (+ x y) y)
  (/ 1 (* x 2.0))
  (/ (+ x y) y)
  (/ 1 (* (* x 2.0) y))
  (/ (* (* x 2.0) y) (+ x y))
  (/ (+ x y) (* x 2.0))
  (/ (* (* x 2.0) y) (cbrt (+ x y)))
  (/ (* (* x 2.0) y) (sqrt (+ x y)))
  (/ (* (* x 2.0) y) (+ x y))
  (/ (* (* x 2.0) y) (+ x y))
  (* (* (* x 2.0) y) (+ (* x x) (- (* y y) (* x y))))
  (* (* (* x 2.0) y) (- x y))
  (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
  (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
  (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
0.273 * * [simplify]: Extracting # 0 : cost  0
0.273 * * [simplify]: Extracting # 1 : cost  0
0.273 * * [simplify]: Extracting # 2 : cost  0
0.273 * * [simplify]: Extracting # 3 : cost  0
0.273 * * [simplify]: Extracting # 4 : cost  0
0.274 * * [simplify]: Extracting # 5 : cost  0
0.274 * * [simplify]: Extracting # 6 : cost  0
0.274 * * [simplify]: Extracting # 7 : cost  0
0.274 * * [simplify]: Extracting # 8 : cost  0
0.274 * * [simplify]: iteration  0 :  73  enodes  (cost  406 )
0.305 * * [simplify]: Extracting # 0 : cost  0
0.305 * * [simplify]: Extracting # 1 : cost  0
0.306 * * [simplify]: Extracting # 2 : cost  0
0.306 * * [simplify]: Extracting # 3 : cost  0
0.307 * * [simplify]: Extracting # 4 : cost  0
0.307 * * [simplify]: iteration  1 :  216  enodes  (cost  392 )
0.442 * * [simplify]: Extracting # 0 : cost  0
0.444 * * [simplify]: Extracting # 1 : cost  0
0.447 * * [simplify]: Extracting # 2 : cost  0
0.456 * * [simplify]: Extracting # 3 : cost  0
0.458 * * [simplify]: Extracting # 4 : cost  0
0.460 * * [simplify]: iteration  2 :  966  enodes  (cost  314 )
1.347 * * [simplify]: Extracting # 0 : cost  0
1.362 * * [simplify]: Extracting # 1 : cost  0
1.375 * * [simplify]: Extracting # 2 : cost  0
1.387 * * [simplify]: Extracting # 3 : cost  0
1.399 * * [simplify]: Extracting # 4 : cost  0
1.410 * * [simplify]: Extracting # 5 : cost  0
1.422 * * [simplify]: iteration done:  5000  enodes  (cost  314 )
1.423 * [simplify]: Simplified to:
  (log (/ (+ x y) (* (* x 2.0) y)))
  (log (/ (+ x y) (* (* x 2.0) y)))
  (log (/ (+ x y) (* (* x 2.0) y)))
  (log (/ (+ x y) (* (* x 2.0) y)))
  (exp (/ (+ x y) (* (* x 2.0) y)))
  (pow (/ (+ x y) (* (* x 2.0) y)) 3)
  (pow (/ (+ x y) (* (* x 2.0) y)) 3)
  (pow (/ (+ x y) (* (* x 2.0) y)) 3)
  (* (cbrt (/ (+ x y) (* (* x 2.0) y))) (cbrt (/ (+ x y) (* (* x 2.0) y))))
  (cbrt (/ (+ x y) (* (* x 2.0) y)))
  (pow (/ (+ x y) (* (* x 2.0) y)) 3)
  (sqrt (/ (+ x y) (* (* x 2.0) y)))
  (sqrt (/ (+ x y) (* (* x 2.0) y)))
  (- (+ x y))
  (- (* (* x 2.0) y))
  (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* x 2.0))
  (/ (cbrt (+ x y)) y)
  (/ (sqrt (+ x y)) (* x 2.0))
  (/ (sqrt (+ x y)) y)
  (/ 1 (* x 2.0))
  (/ (+ x y) y)
  (/ 1 (* x 2.0))
  (/ (+ x y) y)
  (/ 1 (* (* x 2.0) y))
  (/ (* (* x 2.0) y) (+ x y))
  (/ (+ x y) (* x 2.0))
  (/ (* (* x 2.0) y) (cbrt (+ x y)))
  (/ (* (* x 2.0) y) (sqrt (+ x y)))
  (/ (* (* x 2.0) y) (+ x y))
  (/ (* (* x 2.0) y) (+ x y))
  (* (+ (* y (- y x)) (* x x)) (* (* x 2.0) y))
  (* (* (* x 2.0) y) (- x y))
  (+ (/ 0.5 x) (/ 0.5 y))
  (+ (/ 0.5 x) (/ 0.5 y))
  (+ (/ 0.5 x) (/ 0.5 y))
1.423 * * * [progress]: adding candidates to table
1.555 * * [progress]: iteration 2 / 4
1.555 * * * [progress]: picking best candidate
1.564 * * * * [pick]: Picked  #<alt (λ (x y) (+ (/ 0.5 x) (/ 0.5 y)))>
1.564 * * * [progress]: localizing error
1.581 * * * [progress]: generating rewritten candidates
1.581 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
1.624 * * * [progress]: generating series expansions
1.624 * * * * [progress]: [ 1 / 1 ] generating series at (2)
1.624 * [backup-simplify]: Simplify (+ (/ 0.5 x) (/ 0.5 y)) into (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
1.624 * [approximate]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) in (x y) around 0
1.624 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) in y
1.625 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
1.625 * [taylor]: Taking taylor expansion of 0.5 in y
1.625 * [backup-simplify]: Simplify 0.5 into 0.5
1.625 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.625 * [taylor]: Taking taylor expansion of y in y
1.625 * [backup-simplify]: Simplify 0 into 0
1.625 * [backup-simplify]: Simplify 1 into 1
1.626 * [backup-simplify]: Simplify (/ 1 1) into 1
1.626 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in y
1.626 * [taylor]: Taking taylor expansion of 0.5 in y
1.626 * [backup-simplify]: Simplify 0.5 into 0.5
1.626 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.626 * [taylor]: Taking taylor expansion of x in y
1.626 * [backup-simplify]: Simplify x into x
1.626 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.626 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) in x
1.626 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x
1.627 * [taylor]: Taking taylor expansion of 0.5 in x
1.627 * [backup-simplify]: Simplify 0.5 into 0.5
1.627 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.627 * [taylor]: Taking taylor expansion of y in x
1.627 * [backup-simplify]: Simplify y into y
1.627 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.627 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
1.627 * [taylor]: Taking taylor expansion of 0.5 in x
1.627 * [backup-simplify]: Simplify 0.5 into 0.5
1.627 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.627 * [taylor]: Taking taylor expansion of x in x
1.627 * [backup-simplify]: Simplify 0 into 0
1.627 * [backup-simplify]: Simplify 1 into 1
1.627 * [backup-simplify]: Simplify (/ 1 1) into 1
1.627 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) in x
1.627 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x
1.627 * [taylor]: Taking taylor expansion of 0.5 in x
1.627 * [backup-simplify]: Simplify 0.5 into 0.5
1.628 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.628 * [taylor]: Taking taylor expansion of y in x
1.628 * [backup-simplify]: Simplify y into y
1.628 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.628 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
1.628 * [taylor]: Taking taylor expansion of 0.5 in x
1.628 * [backup-simplify]: Simplify 0.5 into 0.5
1.628 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.628 * [taylor]: Taking taylor expansion of x in x
1.628 * [backup-simplify]: Simplify 0 into 0
1.628 * [backup-simplify]: Simplify 1 into 1
1.628 * [backup-simplify]: Simplify (/ 1 1) into 1
1.629 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
1.629 * [backup-simplify]: Simplify (+ 0 0.5) into 0.5
1.629 * [taylor]: Taking taylor expansion of 0.5 in y
1.629 * [backup-simplify]: Simplify 0.5 into 0.5
1.629 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y)
1.630 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.631 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
1.631 * [backup-simplify]: Simplify (+ (/ 0.5 y) 0) into (* 0.5 (/ 1 y))
1.631 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
1.631 * [taylor]: Taking taylor expansion of 0.5 in y
1.631 * [backup-simplify]: Simplify 0.5 into 0.5
1.631 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.631 * [taylor]: Taking taylor expansion of y in y
1.631 * [backup-simplify]: Simplify 0 into 0
1.631 * [backup-simplify]: Simplify 1 into 1
1.632 * [backup-simplify]: Simplify (/ 1 1) into 1
1.632 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
1.632 * [backup-simplify]: Simplify 0.5 into 0.5
1.632 * [backup-simplify]: Simplify 0.5 into 0.5
1.632 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
1.633 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 y))) into 0
1.633 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.634 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0
1.635 * [backup-simplify]: Simplify (+ 0 0) into 0
1.635 * [taylor]: Taking taylor expansion of 0 in y
1.635 * [backup-simplify]: Simplify 0 into 0
1.635 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.636 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
1.636 * [backup-simplify]: Simplify 0 into 0
1.636 * [backup-simplify]: Simplify 0 into 0
1.636 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.637 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0
1.638 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.639 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.639 * [backup-simplify]: Simplify (+ 0 0) into 0
1.639 * [taylor]: Taking taylor expansion of 0 in y
1.639 * [backup-simplify]: Simplify 0 into 0
1.639 * [backup-simplify]: Simplify 0 into 0
1.640 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.641 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0
1.641 * [backup-simplify]: Simplify 0 into 0
1.641 * [backup-simplify]: Simplify 0 into 0
1.641 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.643 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0
1.643 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.645 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.645 * [backup-simplify]: Simplify (+ 0 0) into 0
1.645 * [taylor]: Taking taylor expansion of 0 in y
1.645 * [backup-simplify]: Simplify 0 into 0
1.645 * [backup-simplify]: Simplify 0 into 0
1.645 * [backup-simplify]: Simplify (+ (* 0.5 (* 1 (/ 1 x))) (* 0.5 (* (/ 1 y) 1))) into (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
1.645 * [backup-simplify]: Simplify (+ (/ 0.5 (/ 1 x)) (/ 0.5 (/ 1 y))) into (+ (* 0.5 x) (* 0.5 y))
1.646 * [approximate]: Taking taylor expansion of (+ (* 0.5 x) (* 0.5 y)) in (x y) around 0
1.646 * [taylor]: Taking taylor expansion of (+ (* 0.5 x) (* 0.5 y)) in y
1.646 * [taylor]: Taking taylor expansion of (* 0.5 x) in y
1.646 * [taylor]: Taking taylor expansion of 0.5 in y
1.646 * [backup-simplify]: Simplify 0.5 into 0.5
1.646 * [taylor]: Taking taylor expansion of x in y
1.646 * [backup-simplify]: Simplify x into x
1.646 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
1.646 * [taylor]: Taking taylor expansion of 0.5 in y
1.646 * [backup-simplify]: Simplify 0.5 into 0.5
1.646 * [taylor]: Taking taylor expansion of y in y
1.646 * [backup-simplify]: Simplify 0 into 0
1.646 * [backup-simplify]: Simplify 1 into 1
1.646 * [taylor]: Taking taylor expansion of (+ (* 0.5 x) (* 0.5 y)) in x
1.646 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
1.646 * [taylor]: Taking taylor expansion of 0.5 in x
1.646 * [backup-simplify]: Simplify 0.5 into 0.5
1.646 * [taylor]: Taking taylor expansion of x in x
1.646 * [backup-simplify]: Simplify 0 into 0
1.646 * [backup-simplify]: Simplify 1 into 1
1.646 * [taylor]: Taking taylor expansion of (* 0.5 y) in x
1.646 * [taylor]: Taking taylor expansion of 0.5 in x
1.646 * [backup-simplify]: Simplify 0.5 into 0.5
1.646 * [taylor]: Taking taylor expansion of y in x
1.646 * [backup-simplify]: Simplify y into y
1.646 * [taylor]: Taking taylor expansion of (+ (* 0.5 x) (* 0.5 y)) in x
1.646 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
1.646 * [taylor]: Taking taylor expansion of 0.5 in x
1.646 * [backup-simplify]: Simplify 0.5 into 0.5
1.646 * [taylor]: Taking taylor expansion of x in x
1.646 * [backup-simplify]: Simplify 0 into 0
1.646 * [backup-simplify]: Simplify 1 into 1
1.646 * [taylor]: Taking taylor expansion of (* 0.5 y) in x
1.646 * [taylor]: Taking taylor expansion of 0.5 in x
1.647 * [backup-simplify]: Simplify 0.5 into 0.5
1.647 * [taylor]: Taking taylor expansion of y in x
1.647 * [backup-simplify]: Simplify y into y
1.647 * [backup-simplify]: Simplify (* 0.5 0) into 0
1.647 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y)
1.647 * [backup-simplify]: Simplify (+ 0 (* 0.5 y)) into (* 0.5 y)
1.647 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
1.647 * [taylor]: Taking taylor expansion of 0.5 in y
1.647 * [backup-simplify]: Simplify 0.5 into 0.5
1.647 * [taylor]: Taking taylor expansion of y in y
1.647 * [backup-simplify]: Simplify 0 into 0
1.648 * [backup-simplify]: Simplify 1 into 1
1.648 * [backup-simplify]: Simplify (* 0.5 0) into 0
1.648 * [backup-simplify]: Simplify 0 into 0
1.649 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
1.650 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 y)) into 0
1.650 * [backup-simplify]: Simplify (+ 0.5 0) into 0.5
1.650 * [taylor]: Taking taylor expansion of 0.5 in y
1.650 * [backup-simplify]: Simplify 0.5 into 0.5
1.650 * [backup-simplify]: Simplify 0.5 into 0.5
1.652 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
1.652 * [backup-simplify]: Simplify 0.5 into 0.5
1.653 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
1.654 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 y))) into 0
1.654 * [backup-simplify]: Simplify (+ 0 0) into 0
1.654 * [taylor]: Taking taylor expansion of 0 in y
1.654 * [backup-simplify]: Simplify 0 into 0
1.654 * [backup-simplify]: Simplify 0 into 0
1.654 * [backup-simplify]: Simplify 0 into 0
1.655 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
1.655 * [backup-simplify]: Simplify 0 into 0
1.656 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1.658 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
1.658 * [backup-simplify]: Simplify (+ 0 0) into 0
1.658 * [taylor]: Taking taylor expansion of 0 in y
1.658 * [backup-simplify]: Simplify 0 into 0
1.658 * [backup-simplify]: Simplify 0 into 0
1.658 * [backup-simplify]: Simplify 0 into 0
1.658 * [backup-simplify]: Simplify 0 into 0
1.658 * [backup-simplify]: Simplify (+ (* 0.5 (* (/ 1 y) 1)) (* 0.5 (* 1 (/ 1 x)))) into (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
1.659 * [backup-simplify]: Simplify (+ (/ 0.5 (/ 1 (- x))) (/ 0.5 (/ 1 (- y)))) into (- (+ (* 0.5 x) (* 0.5 y)))
1.659 * [approximate]: Taking taylor expansion of (- (+ (* 0.5 x) (* 0.5 y))) in (x y) around 0
1.659 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 x) (* 0.5 y))) in y
1.659 * [taylor]: Taking taylor expansion of (+ (* 0.5 x) (* 0.5 y)) in y
1.659 * [taylor]: Taking taylor expansion of (* 0.5 x) in y
1.659 * [taylor]: Taking taylor expansion of 0.5 in y
1.659 * [backup-simplify]: Simplify 0.5 into 0.5
1.659 * [taylor]: Taking taylor expansion of x in y
1.659 * [backup-simplify]: Simplify x into x
1.659 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
1.659 * [taylor]: Taking taylor expansion of 0.5 in y
1.659 * [backup-simplify]: Simplify 0.5 into 0.5
1.659 * [taylor]: Taking taylor expansion of y in y
1.659 * [backup-simplify]: Simplify 0 into 0
1.659 * [backup-simplify]: Simplify 1 into 1
1.659 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 x) (* 0.5 y))) in x
1.659 * [taylor]: Taking taylor expansion of (+ (* 0.5 x) (* 0.5 y)) in x
1.659 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
1.659 * [taylor]: Taking taylor expansion of 0.5 in x
1.659 * [backup-simplify]: Simplify 0.5 into 0.5
1.659 * [taylor]: Taking taylor expansion of x in x
1.659 * [backup-simplify]: Simplify 0 into 0
1.659 * [backup-simplify]: Simplify 1 into 1
1.659 * [taylor]: Taking taylor expansion of (* 0.5 y) in x
1.659 * [taylor]: Taking taylor expansion of 0.5 in x
1.659 * [backup-simplify]: Simplify 0.5 into 0.5
1.659 * [taylor]: Taking taylor expansion of y in x
1.659 * [backup-simplify]: Simplify y into y
1.659 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 x) (* 0.5 y))) in x
1.659 * [taylor]: Taking taylor expansion of (+ (* 0.5 x) (* 0.5 y)) in x
1.660 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
1.660 * [taylor]: Taking taylor expansion of 0.5 in x
1.660 * [backup-simplify]: Simplify 0.5 into 0.5
1.660 * [taylor]: Taking taylor expansion of x in x
1.660 * [backup-simplify]: Simplify 0 into 0
1.660 * [backup-simplify]: Simplify 1 into 1
1.660 * [taylor]: Taking taylor expansion of (* 0.5 y) in x
1.660 * [taylor]: Taking taylor expansion of 0.5 in x
1.660 * [backup-simplify]: Simplify 0.5 into 0.5
1.660 * [taylor]: Taking taylor expansion of y in x
1.660 * [backup-simplify]: Simplify y into y
1.660 * [backup-simplify]: Simplify (* 0.5 0) into 0
1.660 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y)
1.660 * [backup-simplify]: Simplify (+ 0 (* 0.5 y)) into (* 0.5 y)
1.660 * [backup-simplify]: Simplify (- (* 0.5 y)) into (- (* 0.5 y))
1.661 * [taylor]: Taking taylor expansion of (- (* 0.5 y)) in y
1.661 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
1.661 * [taylor]: Taking taylor expansion of 0.5 in y
1.661 * [backup-simplify]: Simplify 0.5 into 0.5
1.661 * [taylor]: Taking taylor expansion of y in y
1.661 * [backup-simplify]: Simplify 0 into 0
1.661 * [backup-simplify]: Simplify 1 into 1
1.661 * [backup-simplify]: Simplify (* 0.5 0) into 0
1.661 * [backup-simplify]: Simplify (- 0) into 0
1.661 * [backup-simplify]: Simplify 0 into 0
1.662 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
1.662 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 y)) into 0
1.663 * [backup-simplify]: Simplify (+ 0.5 0) into 0.5
1.663 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
1.663 * [taylor]: Taking taylor expansion of (- 0.5) in y
1.663 * [taylor]: Taking taylor expansion of 0.5 in y
1.663 * [backup-simplify]: Simplify 0.5 into 0.5
1.663 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
1.663 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
1.664 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
1.664 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
1.665 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
1.665 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
1.666 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 y))) into 0
1.666 * [backup-simplify]: Simplify (+ 0 0) into 0
1.666 * [backup-simplify]: Simplify (- 0) into 0
1.666 * [taylor]: Taking taylor expansion of 0 in y
1.666 * [backup-simplify]: Simplify 0 into 0
1.666 * [backup-simplify]: Simplify 0 into 0
1.667 * [backup-simplify]: Simplify (- 0) into 0
1.667 * [backup-simplify]: Simplify 0 into 0
1.667 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
1.667 * [backup-simplify]: Simplify (- 0) into 0
1.667 * [backup-simplify]: Simplify 0 into 0
1.669 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1.670 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
1.670 * [backup-simplify]: Simplify (+ 0 0) into 0
1.670 * [backup-simplify]: Simplify (- 0) into 0
1.670 * [taylor]: Taking taylor expansion of 0 in y
1.670 * [backup-simplify]: Simplify 0 into 0
1.670 * [backup-simplify]: Simplify 0 into 0
1.670 * [backup-simplify]: Simplify 0 into 0
1.671 * [backup-simplify]: Simplify (- 0) into 0
1.671 * [backup-simplify]: Simplify 0 into 0
1.672 * [backup-simplify]: Simplify (+ (* (- 0.5) (* (/ 1 (- y)) 1)) (* (- 0.5) (* 1 (/ 1 (- x))))) into (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
1.672 * * * [progress]: simplifying candidates
1.673 * [simplify]: Simplifying:
  (* (exp (/ 0.5 x)) (exp (/ 0.5 y)))
  (log (+ (/ 0.5 x) (/ 0.5 y)))
  (exp (+ (/ 0.5 x) (/ 0.5 y)))
  (* (cbrt (+ (/ 0.5 x) (/ 0.5 y))) (cbrt (+ (/ 0.5 x) (/ 0.5 y))))
  (cbrt (+ (/ 0.5 x) (/ 0.5 y)))
  (* (* (+ (/ 0.5 x) (/ 0.5 y)) (+ (/ 0.5 x) (/ 0.5 y))) (+ (/ 0.5 x) (/ 0.5 y)))
  (sqrt (+ (/ 0.5 x) (/ 0.5 y)))
  (sqrt (+ (/ 0.5 x) (/ 0.5 y)))
  (+ (* 0.5 y) (* x 0.5))
  (* x y)
  (+ (pow (/ 0.5 x) 3) (pow (/ 0.5 y) 3))
  (+ (* (/ 0.5 x) (/ 0.5 x)) (- (* (/ 0.5 y) (/ 0.5 y)) (* (/ 0.5 x) (/ 0.5 y))))
  (- (* (/ 0.5 x) (/ 0.5 x)) (* (/ 0.5 y) (/ 0.5 y)))
  (- (/ 0.5 x) (/ 0.5 y))
  (+ (/ (cbrt 0.5) x) (/ (cbrt 0.5) y))
  (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y))
  (+ (/ 0.5 x) (/ 0.5 y))
  (+ (/ 0.5 x) (/ 0.5 y))
  (+ (/ 1 x) (/ 1 y))
  (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
  (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
  (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
1.673 * * [simplify]: Extracting # 0 : cost  0
1.673 * * [simplify]: Extracting # 1 : cost  0
1.674 * * [simplify]: Extracting # 2 : cost  0
1.674 * * [simplify]: Extracting # 3 : cost  0
1.674 * * [simplify]: Extracting # 4 : cost  0
1.674 * * [simplify]: Extracting # 5 : cost  0
1.674 * * [simplify]: iteration  0 :  46  enodes  (cost  227 )
1.693 * * [simplify]: Extracting # 0 : cost  0
1.693 * * [simplify]: Extracting # 1 : cost  0
1.693 * * [simplify]: Extracting # 2 : cost  0
1.694 * * [simplify]: Extracting # 3 : cost  0
1.694 * * [simplify]: iteration  1 :  117  enodes  (cost  216 )
1.761 * * [simplify]: Extracting # 0 : cost  0
1.762 * * [simplify]: Extracting # 1 : cost  0
1.763 * * [simplify]: Extracting # 2 : cost  0
1.764 * * [simplify]: Extracting # 3 : cost  0
1.765 * * [simplify]: Extracting # 4 : cost  0
1.766 * * [simplify]: iteration  2 :  468  enodes  (cost  194 )
2.161 * * [simplify]: Extracting # 0 : cost  0
2.176 * * [simplify]: Extracting # 1 : cost  0
2.190 * * [simplify]: Extracting # 2 : cost  0
2.203 * * [simplify]: Extracting # 3 : cost  0
2.229 * * [simplify]: Extracting # 4 : cost  0
2.241 * * [simplify]: Extracting # 5 : cost  0
2.253 * * [simplify]: iteration done:  5001  enodes  (cost  194 )
2.254 * [simplify]: Simplified to:
  (exp (+ (/ 0.5 x) (/ 0.5 y)))
  (log (+ (/ 0.5 x) (/ 0.5 y)))
  (exp (+ (/ 0.5 x) (/ 0.5 y)))
  (* (cbrt (+ (/ 0.5 x) (/ 0.5 y))) (cbrt (+ (/ 0.5 x) (/ 0.5 y))))
  (cbrt (+ (/ 0.5 x) (/ 0.5 y)))
  (pow (+ (/ 0.5 x) (/ 0.5 y)) 3)
  (sqrt (+ (/ 0.5 x) (/ 0.5 y)))
  (sqrt (+ (/ 0.5 x) (/ 0.5 y)))
  (* 0.5 (+ y x))
  (* x y)
  (+ (pow (/ 0.5 x) 3) (pow (/ 0.5 y) 3))
  (+ (* (/ 0.5 y) (- (/ 0.5 y) (/ 0.5 x))) (* (/ 0.5 x) (/ 0.5 x)))
  (- (* (/ 0.5 x) (/ 0.5 x)) (* (/ 0.5 y) (/ 0.5 y)))
  (- (/ 0.5 x) (/ 0.5 y))
  (+ (/ (cbrt 0.5) x) (/ (cbrt 0.5) y))
  (+ (/ (sqrt 0.5) x) (/ (sqrt 0.5) y))
  (+ (/ 0.5 x) (/ 0.5 y))
  (+ (/ 0.5 x) (/ 0.5 y))
  (+ (/ 1 x) (/ 1 y))
  (+ (/ 0.5 x) (/ 0.5 y))
  (+ (/ 0.5 x) (/ 0.5 y))
  (+ (/ 0.5 x) (/ 0.5 y))
2.254 * * * [progress]: adding candidates to table
2.360 * * [progress]: iteration 3 / 4
2.360 * * * [progress]: picking best candidate
2.365 * * * * [pick]: Picked  #<alt (λ (x y) (/ (/ (+ x y) (* x 2.0)) y))>
2.365 * * * [progress]: localizing error
2.385 * * * [progress]: generating rewritten candidates
2.385 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
2.446 * * * [progress]: generating series expansions
2.446 * * * * [progress]: [ 1 / 1 ] generating series at (2)
2.446 * [backup-simplify]: Simplify (/ (/ (+ x y) (* x 2.0)) y) into (* 0.5 (/ (+ x y) (* x y)))
2.447 * [approximate]: Taking taylor expansion of (* 0.5 (/ (+ x y) (* x y))) in (x y) around 0
2.447 * [taylor]: Taking taylor expansion of (* 0.5 (/ (+ x y) (* x y))) in y
2.447 * [taylor]: Taking taylor expansion of 0.5 in y
2.447 * [backup-simplify]: Simplify 0.5 into 0.5
2.447 * [taylor]: Taking taylor expansion of (/ (+ x y) (* x y)) in y
2.447 * [taylor]: Taking taylor expansion of (+ x y) in y
2.447 * [taylor]: Taking taylor expansion of x in y
2.447 * [backup-simplify]: Simplify x into x
2.447 * [taylor]: Taking taylor expansion of y in y
2.447 * [backup-simplify]: Simplify 0 into 0
2.447 * [backup-simplify]: Simplify 1 into 1
2.447 * [taylor]: Taking taylor expansion of (* x y) in y
2.447 * [taylor]: Taking taylor expansion of x in y
2.447 * [backup-simplify]: Simplify x into x
2.447 * [taylor]: Taking taylor expansion of y in y
2.447 * [backup-simplify]: Simplify 0 into 0
2.447 * [backup-simplify]: Simplify 1 into 1
2.447 * [backup-simplify]: Simplify (+ x 0) into x
2.447 * [backup-simplify]: Simplify (* x 0) into 0
2.448 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
2.448 * [backup-simplify]: Simplify (/ x x) into 1
2.448 * [taylor]: Taking taylor expansion of (* 0.5 (/ (+ x y) (* x y))) in x
2.448 * [taylor]: Taking taylor expansion of 0.5 in x
2.448 * [backup-simplify]: Simplify 0.5 into 0.5
2.448 * [taylor]: Taking taylor expansion of (/ (+ x y) (* x y)) in x
2.448 * [taylor]: Taking taylor expansion of (+ x y) in x
2.448 * [taylor]: Taking taylor expansion of x in x
2.448 * [backup-simplify]: Simplify 0 into 0
2.448 * [backup-simplify]: Simplify 1 into 1
2.448 * [taylor]: Taking taylor expansion of y in x
2.448 * [backup-simplify]: Simplify y into y
2.448 * [taylor]: Taking taylor expansion of (* x y) in x
2.448 * [taylor]: Taking taylor expansion of x in x
2.448 * [backup-simplify]: Simplify 0 into 0
2.448 * [backup-simplify]: Simplify 1 into 1
2.448 * [taylor]: Taking taylor expansion of y in x
2.448 * [backup-simplify]: Simplify y into y
2.448 * [backup-simplify]: Simplify (+ 0 y) into y
2.448 * [backup-simplify]: Simplify (* 0 y) into 0
2.449 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
2.449 * [backup-simplify]: Simplify (/ y y) into 1
2.449 * [taylor]: Taking taylor expansion of (* 0.5 (/ (+ x y) (* x y))) in x
2.449 * [taylor]: Taking taylor expansion of 0.5 in x
2.449 * [backup-simplify]: Simplify 0.5 into 0.5
2.449 * [taylor]: Taking taylor expansion of (/ (+ x y) (* x y)) in x
2.449 * [taylor]: Taking taylor expansion of (+ x y) in x
2.449 * [taylor]: Taking taylor expansion of x in x
2.449 * [backup-simplify]: Simplify 0 into 0
2.449 * [backup-simplify]: Simplify 1 into 1
2.449 * [taylor]: Taking taylor expansion of y in x
2.449 * [backup-simplify]: Simplify y into y
2.449 * [taylor]: Taking taylor expansion of (* x y) in x
2.449 * [taylor]: Taking taylor expansion of x in x
2.449 * [backup-simplify]: Simplify 0 into 0
2.449 * [backup-simplify]: Simplify 1 into 1
2.449 * [taylor]: Taking taylor expansion of y in x
2.449 * [backup-simplify]: Simplify y into y
2.449 * [backup-simplify]: Simplify (+ 0 y) into y
2.450 * [backup-simplify]: Simplify (* 0 y) into 0
2.450 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
2.450 * [backup-simplify]: Simplify (/ y y) into 1
2.451 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
2.451 * [taylor]: Taking taylor expansion of 0.5 in y
2.451 * [backup-simplify]: Simplify 0.5 into 0.5
2.451 * [backup-simplify]: Simplify (+ 1 0) into 1
2.452 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
2.452 * [backup-simplify]: Simplify (- (/ 1 y) (+ (* 1 (/ 0 y)))) into (/ 1 y)
2.453 * [backup-simplify]: Simplify (+ (* 0.5 (/ 1 y)) (* 0 1)) into (* 0.5 (/ 1 y))
2.453 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
2.453 * [taylor]: Taking taylor expansion of 0.5 in y
2.453 * [backup-simplify]: Simplify 0.5 into 0.5
2.453 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.453 * [taylor]: Taking taylor expansion of y in y
2.453 * [backup-simplify]: Simplify 0 into 0
2.453 * [backup-simplify]: Simplify 1 into 1
2.453 * [backup-simplify]: Simplify (/ 1 1) into 1
2.454 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
2.454 * [backup-simplify]: Simplify 0.5 into 0.5
2.454 * [backup-simplify]: Simplify 0.5 into 0.5
2.454 * [backup-simplify]: Simplify (+ 0 0) into 0
2.455 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
2.456 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* 1 (/ 0 y)) (* (/ 1 y) (/ 0 y)))) into 0
2.457 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 (/ 1 y)) (* 0 1))) into 0
2.457 * [taylor]: Taking taylor expansion of 0 in y
2.457 * [backup-simplify]: Simplify 0 into 0
2.457 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.458 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
2.458 * [backup-simplify]: Simplify 0 into 0
2.458 * [backup-simplify]: Simplify 0 into 0
2.459 * [backup-simplify]: Simplify (+ 0 0) into 0
2.461 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
2.461 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* 1 (/ 0 y)) (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.463 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1)))) into 0
2.463 * [taylor]: Taking taylor expansion of 0 in y
2.463 * [backup-simplify]: Simplify 0 into 0
2.463 * [backup-simplify]: Simplify 0 into 0
2.464 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.465 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0
2.465 * [backup-simplify]: Simplify 0 into 0
2.465 * [backup-simplify]: Simplify 0 into 0
2.466 * [backup-simplify]: Simplify (+ 0 0) into 0
2.467 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0
2.468 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* 1 (/ 0 y)) (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.469 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1))))) into 0
2.470 * [taylor]: Taking taylor expansion of 0 in y
2.470 * [backup-simplify]: Simplify 0 into 0
2.470 * [backup-simplify]: Simplify 0 into 0
2.470 * [backup-simplify]: Simplify (+ (* 0.5 (* 1 (/ 1 x))) (* 0.5 (* (/ 1 y) 1))) into (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
2.470 * [backup-simplify]: Simplify (/ (/ (+ (/ 1 x) (/ 1 y)) (* (/ 1 x) 2.0)) (/ 1 y)) into (* 0.5 (* (+ (/ 1 y) (/ 1 x)) (* y x)))
2.470 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (/ 1 y) (/ 1 x)) (* y x))) in (x y) around 0
2.470 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (/ 1 y) (/ 1 x)) (* y x))) in y
2.470 * [taylor]: Taking taylor expansion of 0.5 in y
2.470 * [backup-simplify]: Simplify 0.5 into 0.5
2.470 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (* y x)) in y
2.470 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
2.470 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.470 * [taylor]: Taking taylor expansion of y in y
2.470 * [backup-simplify]: Simplify 0 into 0
2.470 * [backup-simplify]: Simplify 1 into 1
2.471 * [backup-simplify]: Simplify (/ 1 1) into 1
2.471 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.471 * [taylor]: Taking taylor expansion of x in y
2.471 * [backup-simplify]: Simplify x into x
2.471 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.471 * [taylor]: Taking taylor expansion of (* y x) in y
2.471 * [taylor]: Taking taylor expansion of y in y
2.471 * [backup-simplify]: Simplify 0 into 0
2.471 * [backup-simplify]: Simplify 1 into 1
2.471 * [taylor]: Taking taylor expansion of x in y
2.471 * [backup-simplify]: Simplify x into x
2.471 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (/ 1 y) (/ 1 x)) (* y x))) in x
2.471 * [taylor]: Taking taylor expansion of 0.5 in x
2.471 * [backup-simplify]: Simplify 0.5 into 0.5
2.471 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (* y x)) in x
2.472 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
2.472 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.472 * [taylor]: Taking taylor expansion of y in x
2.472 * [backup-simplify]: Simplify y into y
2.472 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.472 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.472 * [taylor]: Taking taylor expansion of x in x
2.472 * [backup-simplify]: Simplify 0 into 0
2.472 * [backup-simplify]: Simplify 1 into 1
2.472 * [backup-simplify]: Simplify (/ 1 1) into 1
2.472 * [taylor]: Taking taylor expansion of (* y x) in x
2.472 * [taylor]: Taking taylor expansion of y in x
2.472 * [backup-simplify]: Simplify y into y
2.472 * [taylor]: Taking taylor expansion of x in x
2.472 * [backup-simplify]: Simplify 0 into 0
2.472 * [backup-simplify]: Simplify 1 into 1
2.472 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (/ 1 y) (/ 1 x)) (* y x))) in x
2.473 * [taylor]: Taking taylor expansion of 0.5 in x
2.473 * [backup-simplify]: Simplify 0.5 into 0.5
2.473 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (* y x)) in x
2.473 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
2.473 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.473 * [taylor]: Taking taylor expansion of y in x
2.473 * [backup-simplify]: Simplify y into y
2.473 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.473 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.473 * [taylor]: Taking taylor expansion of x in x
2.473 * [backup-simplify]: Simplify 0 into 0
2.473 * [backup-simplify]: Simplify 1 into 1
2.473 * [backup-simplify]: Simplify (/ 1 1) into 1
2.473 * [taylor]: Taking taylor expansion of (* y x) in x
2.473 * [taylor]: Taking taylor expansion of y in x
2.473 * [backup-simplify]: Simplify y into y
2.473 * [taylor]: Taking taylor expansion of x in x
2.473 * [backup-simplify]: Simplify 0 into 0
2.474 * [backup-simplify]: Simplify 1 into 1
2.474 * [backup-simplify]: Simplify (+ 0 1) into 1
2.474 * [backup-simplify]: Simplify (* y 0) into 0
2.475 * [backup-simplify]: Simplify (* 1 0) into 0
2.475 * [backup-simplify]: Simplify (* 0.5 0) into 0
2.475 * [taylor]: Taking taylor expansion of 0 in y
2.475 * [backup-simplify]: Simplify 0 into 0
2.475 * [backup-simplify]: Simplify (+ (* y 1) (* 0 0)) into y
2.483 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.483 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
2.483 * [backup-simplify]: Simplify (+ (* 1 y) (* (/ 1 y) 0)) into y
2.484 * [backup-simplify]: Simplify (+ (* 0.5 y) (* 0 0)) into (* 0.5 y)
2.484 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
2.484 * [taylor]: Taking taylor expansion of 0.5 in y
2.484 * [backup-simplify]: Simplify 0.5 into 0.5
2.484 * [taylor]: Taking taylor expansion of y in y
2.484 * [backup-simplify]: Simplify 0 into 0
2.484 * [backup-simplify]: Simplify 1 into 1
2.484 * [backup-simplify]: Simplify 0 into 0
2.485 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 1) (* 0 0))) into 0
2.485 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
2.486 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.486 * [backup-simplify]: Simplify (+ 0 0) into 0
2.487 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) y) (* 0 0))) into 1
2.488 * [backup-simplify]: Simplify (+ (* 0.5 1) (+ (* 0 y) (* 0 0))) into 0.5
2.488 * [taylor]: Taking taylor expansion of 0.5 in y
2.488 * [backup-simplify]: Simplify 0.5 into 0.5
2.488 * [backup-simplify]: Simplify (* 0.5 0) into 0
2.488 * [backup-simplify]: Simplify 0 into 0
2.488 * [backup-simplify]: Simplify 0 into 0
2.489 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
2.489 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.490 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.491 * [backup-simplify]: Simplify (+ 0 0) into 0
2.492 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 0) (+ (* 0 y) (* 0 0)))) into 0
2.494 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (+ (* 0 y) (* 0 0)))) into 0
2.494 * [taylor]: Taking taylor expansion of 0 in y
2.494 * [backup-simplify]: Simplify 0 into 0
2.494 * [backup-simplify]: Simplify 0.5 into 0.5
2.496 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
2.497 * [backup-simplify]: Simplify 0.5 into 0.5
2.497 * [backup-simplify]: Simplify 0 into 0
2.498 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
2.498 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.500 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.501 * [backup-simplify]: Simplify (+ 0 0) into 0
2.502 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0
2.504 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 y) (* 0 0))))) into 0
2.504 * [taylor]: Taking taylor expansion of 0 in y
2.504 * [backup-simplify]: Simplify 0 into 0
2.504 * [backup-simplify]: Simplify 0 into 0
2.504 * [backup-simplify]: Simplify 0 into 0
2.505 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
2.505 * [backup-simplify]: Simplify 0 into 0
2.505 * [backup-simplify]: Simplify 0 into 0
2.507 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
2.507 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.508 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.508 * [backup-simplify]: Simplify (+ 0 0) into 0
2.510 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))))) into 0
2.512 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 y) (* 0 0)))))) into 0
2.512 * [taylor]: Taking taylor expansion of 0 in y
2.512 * [backup-simplify]: Simplify 0 into 0
2.512 * [backup-simplify]: Simplify 0 into 0
2.512 * [backup-simplify]: Simplify (+ (* 0.5 (* (/ 1 y) 1)) (* 0.5 (* 1 (/ 1 x)))) into (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
2.513 * [backup-simplify]: Simplify (/ (/ (+ (/ 1 (- x)) (/ 1 (- y))) (* (/ 1 (- x)) 2.0)) (/ 1 (- y))) into (* -0.5 (* (+ (/ 1 y) (/ 1 x)) (* y x)))
2.513 * [approximate]: Taking taylor expansion of (* -0.5 (* (+ (/ 1 y) (/ 1 x)) (* y x))) in (x y) around 0
2.513 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (/ 1 y) (/ 1 x)) (* y x))) in y
2.513 * [taylor]: Taking taylor expansion of -0.5 in y
2.513 * [backup-simplify]: Simplify -0.5 into -0.5
2.513 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (* y x)) in y
2.513 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
2.513 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.513 * [taylor]: Taking taylor expansion of y in y
2.513 * [backup-simplify]: Simplify 0 into 0
2.513 * [backup-simplify]: Simplify 1 into 1
2.513 * [backup-simplify]: Simplify (/ 1 1) into 1
2.513 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.513 * [taylor]: Taking taylor expansion of x in y
2.514 * [backup-simplify]: Simplify x into x
2.514 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.514 * [taylor]: Taking taylor expansion of (* y x) in y
2.514 * [taylor]: Taking taylor expansion of y in y
2.514 * [backup-simplify]: Simplify 0 into 0
2.514 * [backup-simplify]: Simplify 1 into 1
2.514 * [taylor]: Taking taylor expansion of x in y
2.514 * [backup-simplify]: Simplify x into x
2.514 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (/ 1 y) (/ 1 x)) (* y x))) in x
2.514 * [taylor]: Taking taylor expansion of -0.5 in x
2.514 * [backup-simplify]: Simplify -0.5 into -0.5
2.514 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (* y x)) in x
2.514 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
2.514 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.514 * [taylor]: Taking taylor expansion of y in x
2.514 * [backup-simplify]: Simplify y into y
2.514 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.514 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.514 * [taylor]: Taking taylor expansion of x in x
2.514 * [backup-simplify]: Simplify 0 into 0
2.514 * [backup-simplify]: Simplify 1 into 1
2.515 * [backup-simplify]: Simplify (/ 1 1) into 1
2.515 * [taylor]: Taking taylor expansion of (* y x) in x
2.515 * [taylor]: Taking taylor expansion of y in x
2.515 * [backup-simplify]: Simplify y into y
2.515 * [taylor]: Taking taylor expansion of x in x
2.515 * [backup-simplify]: Simplify 0 into 0
2.515 * [backup-simplify]: Simplify 1 into 1
2.515 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (/ 1 y) (/ 1 x)) (* y x))) in x
2.515 * [taylor]: Taking taylor expansion of -0.5 in x
2.515 * [backup-simplify]: Simplify -0.5 into -0.5
2.515 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (* y x)) in x
2.515 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
2.515 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.515 * [taylor]: Taking taylor expansion of y in x
2.515 * [backup-simplify]: Simplify y into y
2.515 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.515 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.515 * [taylor]: Taking taylor expansion of x in x
2.515 * [backup-simplify]: Simplify 0 into 0
2.515 * [backup-simplify]: Simplify 1 into 1
2.516 * [backup-simplify]: Simplify (/ 1 1) into 1
2.516 * [taylor]: Taking taylor expansion of (* y x) in x
2.516 * [taylor]: Taking taylor expansion of y in x
2.516 * [backup-simplify]: Simplify y into y
2.516 * [taylor]: Taking taylor expansion of x in x
2.516 * [backup-simplify]: Simplify 0 into 0
2.516 * [backup-simplify]: Simplify 1 into 1
2.516 * [backup-simplify]: Simplify (+ 0 1) into 1
2.516 * [backup-simplify]: Simplify (* y 0) into 0
2.517 * [backup-simplify]: Simplify (* 1 0) into 0
2.517 * [backup-simplify]: Simplify (* -0.5 0) into 0
2.517 * [taylor]: Taking taylor expansion of 0 in y
2.517 * [backup-simplify]: Simplify 0 into 0
2.518 * [backup-simplify]: Simplify (+ (* y 1) (* 0 0)) into y
2.518 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.519 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
2.519 * [backup-simplify]: Simplify (+ (* 1 y) (* (/ 1 y) 0)) into y
2.519 * [backup-simplify]: Simplify (+ (* -0.5 y) (* 0 0)) into (- (* 0.5 y))
2.520 * [taylor]: Taking taylor expansion of (- (* 0.5 y)) in y
2.520 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
2.520 * [taylor]: Taking taylor expansion of 0.5 in y
2.520 * [backup-simplify]: Simplify 0.5 into 0.5
2.520 * [taylor]: Taking taylor expansion of y in y
2.520 * [backup-simplify]: Simplify 0 into 0
2.520 * [backup-simplify]: Simplify 1 into 1
2.520 * [backup-simplify]: Simplify 0 into 0
2.521 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 1) (* 0 0))) into 0
2.521 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
2.522 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.522 * [backup-simplify]: Simplify (+ 0 0) into 0
2.523 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) y) (* 0 0))) into 1
2.524 * [backup-simplify]: Simplify (+ (* -0.5 1) (+ (* 0 y) (* 0 0))) into (- 0.5)
2.524 * [taylor]: Taking taylor expansion of (- 0.5) in y
2.524 * [taylor]: Taking taylor expansion of 0.5 in y
2.524 * [backup-simplify]: Simplify 0.5 into 0.5
2.525 * [backup-simplify]: Simplify (* 0.5 0) into 0
2.525 * [backup-simplify]: Simplify (- 0) into 0
2.525 * [backup-simplify]: Simplify 0 into 0
2.525 * [backup-simplify]: Simplify 0 into 0
2.526 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
2.526 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.527 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.527 * [backup-simplify]: Simplify (+ 0 0) into 0
2.528 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 0) (+ (* 0 y) (* 0 0)))) into 0
2.529 * [backup-simplify]: Simplify (+ (* -0.5 0) (+ (* 0 1) (+ (* 0 y) (* 0 0)))) into 0
2.529 * [taylor]: Taking taylor expansion of 0 in y
2.530 * [backup-simplify]: Simplify 0 into 0
2.530 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
2.530 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
2.532 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
2.532 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
2.533 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
2.533 * [backup-simplify]: Simplify 0 into 0
2.534 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
2.534 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.535 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.535 * [backup-simplify]: Simplify (+ 0 0) into 0
2.536 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0
2.538 * [backup-simplify]: Simplify (+ (* -0.5 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 y) (* 0 0))))) into 0
2.538 * [taylor]: Taking taylor expansion of 0 in y
2.538 * [backup-simplify]: Simplify 0 into 0
2.538 * [backup-simplify]: Simplify 0 into 0
2.538 * [backup-simplify]: Simplify (- 0) into 0
2.538 * [backup-simplify]: Simplify 0 into 0
2.539 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
2.539 * [backup-simplify]: Simplify (- 0) into 0
2.540 * [backup-simplify]: Simplify 0 into 0
2.540 * [backup-simplify]: Simplify 0 into 0
2.541 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
2.541 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.542 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.542 * [backup-simplify]: Simplify (+ 0 0) into 0
2.544 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))))) into 0
2.546 * [backup-simplify]: Simplify (+ (* -0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 y) (* 0 0)))))) into 0
2.546 * [taylor]: Taking taylor expansion of 0 in y
2.546 * [backup-simplify]: Simplify 0 into 0
2.546 * [backup-simplify]: Simplify 0 into 0
2.547 * [backup-simplify]: Simplify (+ (* (- 0.5) (* (/ 1 (- y)) 1)) (* (- 0.5) (* 1 (/ 1 (- x))))) into (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
2.547 * * * [progress]: simplifying candidates
2.549 * [simplify]: Simplifying:
  (- (- (log (+ x y)) (+ (log x) (log 2.0))) (log y))
  (- (- (log (+ x y)) (log (* x 2.0))) (log y))
  (- (log (/ (+ x y) (* x 2.0))) (log y))
  (log (/ (/ (+ x y) (* x 2.0)) y))
  (exp (/ (/ (+ x y) (* x 2.0)) y))
  (/ (/ (* (* (+ x y) (+ x y)) (+ x y)) (* (* (* x x) x) (* (* 2.0 2.0) 2.0))) (* (* y y) y))
  (/ (/ (* (* (+ x y) (+ x y)) (+ x y)) (* (* (* x 2.0) (* x 2.0)) (* x 2.0))) (* (* y y) y))
  (/ (* (* (/ (+ x y) (* x 2.0)) (/ (+ x y) (* x 2.0))) (/ (+ x y) (* x 2.0))) (* (* y y) y))
  (* (cbrt (/ (/ (+ x y) (* x 2.0)) y)) (cbrt (/ (/ (+ x y) (* x 2.0)) y)))
  (cbrt (/ (/ (+ x y) (* x 2.0)) y))
  (* (* (/ (/ (+ x y) (* x 2.0)) y) (/ (/ (+ x y) (* x 2.0)) y)) (/ (/ (+ x y) (* x 2.0)) y))
  (sqrt (/ (/ (+ x y) (* x 2.0)) y))
  (sqrt (/ (/ (+ x y) (* x 2.0)) y))
  (- (/ (+ x y) (* x 2.0)))
  (- y)
  (/ (* (cbrt (/ (+ x y) (* x 2.0))) (cbrt (/ (+ x y) (* x 2.0)))) (* (cbrt y) (cbrt y)))
  (/ (cbrt (/ (+ x y) (* x 2.0))) (cbrt y))
  (/ (* (cbrt (/ (+ x y) (* x 2.0))) (cbrt (/ (+ x y) (* x 2.0)))) (sqrt y))
  (/ (cbrt (/ (+ x y) (* x 2.0))) (sqrt y))
  (/ (* (cbrt (/ (+ x y) (* x 2.0))) (cbrt (/ (+ x y) (* x 2.0)))) 1)
  (/ (cbrt (/ (+ x y) (* x 2.0))) y)
  (/ (sqrt (/ (+ x y) (* x 2.0))) (* (cbrt y) (cbrt y)))
  (/ (sqrt (/ (+ x y) (* x 2.0))) (cbrt y))
  (/ (sqrt (/ (+ x y) (* x 2.0))) (sqrt y))
  (/ (sqrt (/ (+ x y) (* x 2.0))) (sqrt y))
  (/ (sqrt (/ (+ x y) (* x 2.0))) 1)
  (/ (sqrt (/ (+ x y) (* x 2.0))) y)
  (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) x) (* (cbrt y) (cbrt y)))
  (/ (/ (cbrt (+ x y)) 2.0) (cbrt y))
  (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) x) (sqrt y))
  (/ (/ (cbrt (+ x y)) 2.0) (sqrt y))
  (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) x) 1)
  (/ (/ (cbrt (+ x y)) 2.0) y)
  (/ (/ (sqrt (+ x y)) x) (* (cbrt y) (cbrt y)))
  (/ (/ (sqrt (+ x y)) 2.0) (cbrt y))
  (/ (/ (sqrt (+ x y)) x) (sqrt y))
  (/ (/ (sqrt (+ x y)) 2.0) (sqrt y))
  (/ (/ (sqrt (+ x y)) x) 1)
  (/ (/ (sqrt (+ x y)) 2.0) y)
  (/ (/ 1 x) (* (cbrt y) (cbrt y)))
  (/ (/ (+ x y) 2.0) (cbrt y))
  (/ (/ 1 x) (sqrt y))
  (/ (/ (+ x y) 2.0) (sqrt y))
  (/ (/ 1 x) 1)
  (/ (/ (+ x y) 2.0) y)
  (/ (/ 1 x) (* (cbrt y) (cbrt y)))
  (/ (/ (+ x y) 2.0) (cbrt y))
  (/ (/ 1 x) (sqrt y))
  (/ (/ (+ x y) 2.0) (sqrt y))
  (/ (/ 1 x) 1)
  (/ (/ (+ x y) 2.0) y)
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (/ (+ x y) (* x 2.0)) (cbrt y))
  (/ 1 (sqrt y))
  (/ (/ (+ x y) (* x 2.0)) (sqrt y))
  (/ 1 1)
  (/ (/ (+ x y) (* x 2.0)) y)
  (/ (+ x y) (* (cbrt y) (cbrt y)))
  (/ (/ 1 (* x 2.0)) (cbrt y))
  (/ (+ x y) (sqrt y))
  (/ (/ 1 (* x 2.0)) (sqrt y))
  (/ (+ x y) 1)
  (/ (/ 1 (* x 2.0)) y)
  (/ 1 y)
  (/ y (/ (+ x y) (* x 2.0)))
  (/ (/ (+ x y) (* x 2.0)) (* (cbrt y) (cbrt y)))
  (/ (/ (+ x y) (* x 2.0)) (sqrt y))
  (/ (/ (+ x y) (* x 2.0)) 1)
  (/ y (cbrt (/ (+ x y) (* x 2.0))))
  (/ y (sqrt (/ (+ x y) (* x 2.0))))
  (/ y (/ (cbrt (+ x y)) 2.0))
  (/ y (/ (sqrt (+ x y)) 2.0))
  (/ y (/ (+ x y) 2.0))
  (/ y (/ (+ x y) 2.0))
  (/ y (/ (+ x y) (* x 2.0)))
  (/ y (/ 1 (* x 2.0)))
  (* y (* x 2.0))
  (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
  (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
  (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
2.552 * * [simplify]: Extracting # 0 : cost  0
2.552 * * [simplify]: Extracting # 1 : cost  0
2.553 * * [simplify]: Extracting # 2 : cost  0
2.553 * * [simplify]: Extracting # 3 : cost  0
2.553 * * [simplify]: Extracting # 4 : cost  0
2.553 * * [simplify]: Extracting # 5 : cost  0
2.554 * * [simplify]: Extracting # 6 : cost  0
2.554 * * [simplify]: Extracting # 7 : cost  0
2.554 * * [simplify]: iteration  0 :  118  enodes  (cost  839 )
2.603 * * [simplify]: Extracting # 0 : cost  0
2.603 * * [simplify]: Extracting # 1 : cost  0
2.604 * * [simplify]: Extracting # 2 : cost  0
2.605 * * [simplify]: iteration  1 :  297  enodes  (cost  809 )
2.847 * * [simplify]: Extracting # 0 : cost  0
2.851 * * [simplify]: Extracting # 1 : cost  0
2.855 * * [simplify]: Extracting # 2 : cost  0
2.860 * * [simplify]: Extracting # 3 : cost  0
2.864 * * [simplify]: Extracting # 4 : cost  0
2.868 * * [simplify]: Extracting # 5 : cost  0
2.873 * * [simplify]: iteration  2 :  1627  enodes  (cost  741 )
3.859 * * [simplify]: Extracting # 0 : cost  0
3.876 * * [simplify]: Extracting # 1 : cost  0
3.890 * * [simplify]: Extracting # 2 : cost  0
3.904 * * [simplify]: iteration done:  5000  enodes  (cost  739 )
3.905 * [simplify]: Simplified to:
  (log (/ (/ (+ x y) (* x 2.0)) y))
  (log (/ (/ (+ x y) (* x 2.0)) y))
  (log (/ (/ (+ x y) (* x 2.0)) y))
  (log (/ (/ (+ x y) (* x 2.0)) y))
  (exp (/ (/ (+ x y) (* x 2.0)) y))
  (/ (pow (+ x y) 3) (* (* (pow y 3) (pow x 3)) (pow 2.0 3)))
  (/ (pow (/ (+ x y) (* x 2.0)) 3) (pow y 3))
  (/ (pow (/ (+ x y) (* x 2.0)) 3) (pow y 3))
  (* (cbrt (/ (/ (+ x y) (* x 2.0)) y)) (cbrt (/ (/ (+ x y) (* x 2.0)) y)))
  (cbrt (/ (/ (+ x y) (* x 2.0)) y))
  (pow (/ (/ (+ x y) (* x 2.0)) y) 3)
  (sqrt (/ (/ (+ x y) (* x 2.0)) y))
  (sqrt (/ (/ (+ x y) (* x 2.0)) y))
  (- (/ (+ x y) (* x 2.0)))
  (- y)
  (/ (* (cbrt (/ (+ x y) (* x 2.0))) (cbrt (/ (+ x y) (* x 2.0)))) (* (cbrt y) (cbrt y)))
  (/ (cbrt (/ (+ x y) (* x 2.0))) (cbrt y))
  (/ (* (cbrt (/ (+ x y) (* x 2.0))) (cbrt (/ (+ x y) (* x 2.0)))) (sqrt y))
  (/ (cbrt (/ (+ x y) (* x 2.0))) (sqrt y))
  (* (cbrt (/ (+ x y) (* x 2.0))) (cbrt (/ (+ x y) (* x 2.0))))
  (/ (cbrt (/ (+ x y) (* x 2.0))) y)
  (/ (sqrt (/ (+ x y) (* x 2.0))) (* (cbrt y) (cbrt y)))
  (/ (sqrt (/ (+ x y) (* x 2.0))) (cbrt y))
  (/ (sqrt (/ (+ x y) (* x 2.0))) (sqrt y))
  (/ (sqrt (/ (+ x y) (* x 2.0))) (sqrt y))
  (sqrt (/ (+ x y) (* x 2.0)))
  (/ (sqrt (/ (+ x y) (* x 2.0))) y)
  (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) x) (* (cbrt y) (cbrt y)))
  (/ (/ (cbrt (+ x y)) 2.0) (cbrt y))
  (/ (/ (* (cbrt (+ x y)) (cbrt (+ x y))) x) (sqrt y))
  (/ (/ (cbrt (+ x y)) 2.0) (sqrt y))
  (/ (* (cbrt (+ x y)) (cbrt (+ x y))) x)
  (/ (/ (cbrt (+ x y)) 2.0) y)
  (/ (/ (sqrt (+ x y)) x) (* (cbrt y) (cbrt y)))
  (/ (/ (sqrt (+ x y)) 2.0) (cbrt y))
  (/ (/ (sqrt (+ x y)) x) (sqrt y))
  (/ (/ (sqrt (+ x y)) 2.0) (sqrt y))
  (/ (sqrt (+ x y)) x)
  (/ (/ (sqrt (+ x y)) 2.0) y)
  (/ (/ 1 x) (* (cbrt y) (cbrt y)))
  (/ (/ (+ x y) 2.0) (cbrt y))
  (/ (/ 1 x) (sqrt y))
  (/ (/ (+ x y) 2.0) (sqrt y))
  (/ 1 x)
  (/ (/ (+ x y) 2.0) y)
  (/ (/ 1 x) (* (cbrt y) (cbrt y)))
  (/ (/ (+ x y) 2.0) (cbrt y))
  (/ (/ 1 x) (sqrt y))
  (/ (/ (+ x y) 2.0) (sqrt y))
  (/ 1 x)
  (/ (/ (+ x y) 2.0) y)
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (/ (+ x y) (* x 2.0)) (cbrt y))
  (/ 1 (sqrt y))
  (/ (/ (+ x y) (* x 2.0)) (sqrt y))
  1
  (/ (/ (+ x y) (* x 2.0)) y)
  (/ (+ x y) (* (cbrt y) (cbrt y)))
  (/ (/ 1 (* x 2.0)) (cbrt y))
  (/ (+ x y) (sqrt y))
  (/ (/ 1 (* x 2.0)) (sqrt y))
  (+ x y)
  (/ (/ 1 (* x 2.0)) y)
  (/ 1 y)
  (/ y (/ (+ x y) (* x 2.0)))
  (/ (/ (+ x y) (* x 2.0)) (* (cbrt y) (cbrt y)))
  (/ (/ (+ x y) (* x 2.0)) (sqrt y))
  (/ (+ x y) (* x 2.0))
  (/ y (cbrt (/ (+ x y) (* x 2.0))))
  (/ y (sqrt (/ (+ x y) (* x 2.0))))
  (/ y (/ (cbrt (+ x y)) 2.0))
  (/ y (/ (sqrt (+ x y)) 2.0))
  (/ y (/ (+ x y) 2.0))
  (/ y (/ (+ x y) 2.0))
  (/ y (/ (+ x y) (* x 2.0)))
  (* y (* x 2.0))
  (* y (* x 2.0))
  (+ (/ 0.5 x) (/ 0.5 y))
  (+ (/ 0.5 x) (/ 0.5 y))
  (+ (/ 0.5 x) (/ 0.5 y))
3.906 * * * [progress]: adding candidates to table
4.201 * * [progress]: iteration 4 / 4
4.202 * * * [progress]: picking best candidate
4.207 * * * * [pick]: Picked  #<alt (λ (x y) (* (/ (+ x y) (* x 2.0)) (/ 1 y)))>
4.207 * * * [progress]: localizing error
4.230 * * * [progress]: generating rewritten candidates
4.230 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
4.339 * * * [progress]: generating series expansions
4.339 * * * * [progress]: [ 1 / 1 ] generating series at (2)
4.339 * [backup-simplify]: Simplify (* (/ (+ x y) (* x 2.0)) (/ 1 y)) into (* 0.5 (/ (+ x y) (* x y)))
4.339 * [approximate]: Taking taylor expansion of (* 0.5 (/ (+ x y) (* x y))) in (x y) around 0
4.339 * [taylor]: Taking taylor expansion of (* 0.5 (/ (+ x y) (* x y))) in y
4.339 * [taylor]: Taking taylor expansion of 0.5 in y
4.339 * [backup-simplify]: Simplify 0.5 into 0.5
4.339 * [taylor]: Taking taylor expansion of (/ (+ x y) (* x y)) in y
4.340 * [taylor]: Taking taylor expansion of (+ x y) in y
4.340 * [taylor]: Taking taylor expansion of x in y
4.340 * [backup-simplify]: Simplify x into x
4.340 * [taylor]: Taking taylor expansion of y in y
4.340 * [backup-simplify]: Simplify 0 into 0
4.340 * [backup-simplify]: Simplify 1 into 1
4.340 * [taylor]: Taking taylor expansion of (* x y) in y
4.340 * [taylor]: Taking taylor expansion of x in y
4.340 * [backup-simplify]: Simplify x into x
4.340 * [taylor]: Taking taylor expansion of y in y
4.340 * [backup-simplify]: Simplify 0 into 0
4.340 * [backup-simplify]: Simplify 1 into 1
4.340 * [backup-simplify]: Simplify (+ x 0) into x
4.340 * [backup-simplify]: Simplify (* x 0) into 0
4.341 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
4.341 * [backup-simplify]: Simplify (/ x x) into 1
4.341 * [taylor]: Taking taylor expansion of (* 0.5 (/ (+ x y) (* x y))) in x
4.341 * [taylor]: Taking taylor expansion of 0.5 in x
4.341 * [backup-simplify]: Simplify 0.5 into 0.5
4.341 * [taylor]: Taking taylor expansion of (/ (+ x y) (* x y)) in x
4.341 * [taylor]: Taking taylor expansion of (+ x y) in x
4.341 * [taylor]: Taking taylor expansion of x in x
4.341 * [backup-simplify]: Simplify 0 into 0
4.341 * [backup-simplify]: Simplify 1 into 1
4.341 * [taylor]: Taking taylor expansion of y in x
4.341 * [backup-simplify]: Simplify y into y
4.341 * [taylor]: Taking taylor expansion of (* x y) in x
4.341 * [taylor]: Taking taylor expansion of x in x
4.341 * [backup-simplify]: Simplify 0 into 0
4.341 * [backup-simplify]: Simplify 1 into 1
4.341 * [taylor]: Taking taylor expansion of y in x
4.341 * [backup-simplify]: Simplify y into y
4.341 * [backup-simplify]: Simplify (+ 0 y) into y
4.341 * [backup-simplify]: Simplify (* 0 y) into 0
4.342 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.342 * [backup-simplify]: Simplify (/ y y) into 1
4.342 * [taylor]: Taking taylor expansion of (* 0.5 (/ (+ x y) (* x y))) in x
4.342 * [taylor]: Taking taylor expansion of 0.5 in x
4.342 * [backup-simplify]: Simplify 0.5 into 0.5
4.342 * [taylor]: Taking taylor expansion of (/ (+ x y) (* x y)) in x
4.342 * [taylor]: Taking taylor expansion of (+ x y) in x
4.342 * [taylor]: Taking taylor expansion of x in x
4.342 * [backup-simplify]: Simplify 0 into 0
4.342 * [backup-simplify]: Simplify 1 into 1
4.342 * [taylor]: Taking taylor expansion of y in x
4.342 * [backup-simplify]: Simplify y into y
4.342 * [taylor]: Taking taylor expansion of (* x y) in x
4.342 * [taylor]: Taking taylor expansion of x in x
4.342 * [backup-simplify]: Simplify 0 into 0
4.342 * [backup-simplify]: Simplify 1 into 1
4.342 * [taylor]: Taking taylor expansion of y in x
4.342 * [backup-simplify]: Simplify y into y
4.342 * [backup-simplify]: Simplify (+ 0 y) into y
4.343 * [backup-simplify]: Simplify (* 0 y) into 0
4.343 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.343 * [backup-simplify]: Simplify (/ y y) into 1
4.344 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
4.344 * [taylor]: Taking taylor expansion of 0.5 in y
4.344 * [backup-simplify]: Simplify 0.5 into 0.5
4.344 * [backup-simplify]: Simplify (+ 1 0) into 1
4.345 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
4.346 * [backup-simplify]: Simplify (- (/ 1 y) (+ (* 1 (/ 0 y)))) into (/ 1 y)
4.346 * [backup-simplify]: Simplify (+ (* 0.5 (/ 1 y)) (* 0 1)) into (* 0.5 (/ 1 y))
4.346 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
4.346 * [taylor]: Taking taylor expansion of 0.5 in y
4.346 * [backup-simplify]: Simplify 0.5 into 0.5
4.346 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.346 * [taylor]: Taking taylor expansion of y in y
4.346 * [backup-simplify]: Simplify 0 into 0
4.346 * [backup-simplify]: Simplify 1 into 1
4.347 * [backup-simplify]: Simplify (/ 1 1) into 1
4.347 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
4.347 * [backup-simplify]: Simplify 0.5 into 0.5
4.347 * [backup-simplify]: Simplify 0.5 into 0.5
4.348 * [backup-simplify]: Simplify (+ 0 0) into 0
4.349 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
4.349 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* 1 (/ 0 y)) (* (/ 1 y) (/ 0 y)))) into 0
4.350 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 (/ 1 y)) (* 0 1))) into 0
4.350 * [taylor]: Taking taylor expansion of 0 in y
4.350 * [backup-simplify]: Simplify 0 into 0
4.351 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.352 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
4.352 * [backup-simplify]: Simplify 0 into 0
4.352 * [backup-simplify]: Simplify 0 into 0
4.352 * [backup-simplify]: Simplify (+ 0 0) into 0
4.354 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
4.354 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* 1 (/ 0 y)) (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.355 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1)))) into 0
4.355 * [taylor]: Taking taylor expansion of 0 in y
4.355 * [backup-simplify]: Simplify 0 into 0
4.355 * [backup-simplify]: Simplify 0 into 0
4.356 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.357 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0
4.357 * [backup-simplify]: Simplify 0 into 0
4.357 * [backup-simplify]: Simplify 0 into 0
4.358 * [backup-simplify]: Simplify (+ 0 0) into 0
4.360 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0
4.360 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* 1 (/ 0 y)) (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.362 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1))))) into 0
4.362 * [taylor]: Taking taylor expansion of 0 in y
4.362 * [backup-simplify]: Simplify 0 into 0
4.362 * [backup-simplify]: Simplify 0 into 0
4.363 * [backup-simplify]: Simplify (+ (* 0.5 (* 1 (/ 1 x))) (* 0.5 (* (/ 1 y) 1))) into (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
4.363 * [backup-simplify]: Simplify (* (/ (+ (/ 1 x) (/ 1 y)) (* (/ 1 x) 2.0)) (/ 1 (/ 1 y))) into (* 0.5 (* (+ (/ 1 y) (/ 1 x)) (* y x)))
4.363 * [approximate]: Taking taylor expansion of (* 0.5 (* (+ (/ 1 y) (/ 1 x)) (* y x))) in (x y) around 0
4.363 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (/ 1 y) (/ 1 x)) (* y x))) in y
4.363 * [taylor]: Taking taylor expansion of 0.5 in y
4.363 * [backup-simplify]: Simplify 0.5 into 0.5
4.363 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (* y x)) in y
4.363 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
4.363 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.363 * [taylor]: Taking taylor expansion of y in y
4.363 * [backup-simplify]: Simplify 0 into 0
4.363 * [backup-simplify]: Simplify 1 into 1
4.364 * [backup-simplify]: Simplify (/ 1 1) into 1
4.364 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.364 * [taylor]: Taking taylor expansion of x in y
4.364 * [backup-simplify]: Simplify x into x
4.364 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.365 * [taylor]: Taking taylor expansion of (* y x) in y
4.365 * [taylor]: Taking taylor expansion of y in y
4.365 * [backup-simplify]: Simplify 0 into 0
4.365 * [backup-simplify]: Simplify 1 into 1
4.365 * [taylor]: Taking taylor expansion of x in y
4.365 * [backup-simplify]: Simplify x into x
4.365 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (/ 1 y) (/ 1 x)) (* y x))) in x
4.365 * [taylor]: Taking taylor expansion of 0.5 in x
4.365 * [backup-simplify]: Simplify 0.5 into 0.5
4.365 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (* y x)) in x
4.365 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
4.365 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.365 * [taylor]: Taking taylor expansion of y in x
4.365 * [backup-simplify]: Simplify y into y
4.365 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.365 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.365 * [taylor]: Taking taylor expansion of x in x
4.365 * [backup-simplify]: Simplify 0 into 0
4.365 * [backup-simplify]: Simplify 1 into 1
4.366 * [backup-simplify]: Simplify (/ 1 1) into 1
4.366 * [taylor]: Taking taylor expansion of (* y x) in x
4.366 * [taylor]: Taking taylor expansion of y in x
4.366 * [backup-simplify]: Simplify y into y
4.366 * [taylor]: Taking taylor expansion of x in x
4.366 * [backup-simplify]: Simplify 0 into 0
4.366 * [backup-simplify]: Simplify 1 into 1
4.366 * [taylor]: Taking taylor expansion of (* 0.5 (* (+ (/ 1 y) (/ 1 x)) (* y x))) in x
4.366 * [taylor]: Taking taylor expansion of 0.5 in x
4.366 * [backup-simplify]: Simplify 0.5 into 0.5
4.366 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (* y x)) in x
4.366 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
4.366 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.366 * [taylor]: Taking taylor expansion of y in x
4.366 * [backup-simplify]: Simplify y into y
4.367 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.367 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.367 * [taylor]: Taking taylor expansion of x in x
4.367 * [backup-simplify]: Simplify 0 into 0
4.367 * [backup-simplify]: Simplify 1 into 1
4.368 * [backup-simplify]: Simplify (/ 1 1) into 1
4.368 * [taylor]: Taking taylor expansion of (* y x) in x
4.368 * [taylor]: Taking taylor expansion of y in x
4.368 * [backup-simplify]: Simplify y into y
4.368 * [taylor]: Taking taylor expansion of x in x
4.368 * [backup-simplify]: Simplify 0 into 0
4.368 * [backup-simplify]: Simplify 1 into 1
4.369 * [backup-simplify]: Simplify (+ 0 1) into 1
4.370 * [backup-simplify]: Simplify (* y 0) into 0
4.370 * [backup-simplify]: Simplify (* 1 0) into 0
4.371 * [backup-simplify]: Simplify (* 0.5 0) into 0
4.371 * [taylor]: Taking taylor expansion of 0 in y
4.371 * [backup-simplify]: Simplify 0 into 0
4.372 * [backup-simplify]: Simplify (+ (* y 1) (* 0 0)) into y
4.374 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.374 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
4.374 * [backup-simplify]: Simplify (+ (* 1 y) (* (/ 1 y) 0)) into y
4.375 * [backup-simplify]: Simplify (+ (* 0.5 y) (* 0 0)) into (* 0.5 y)
4.375 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
4.375 * [taylor]: Taking taylor expansion of 0.5 in y
4.375 * [backup-simplify]: Simplify 0.5 into 0.5
4.375 * [taylor]: Taking taylor expansion of y in y
4.375 * [backup-simplify]: Simplify 0 into 0
4.375 * [backup-simplify]: Simplify 1 into 1
4.375 * [backup-simplify]: Simplify 0 into 0
4.376 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 1) (* 0 0))) into 0
4.377 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
4.378 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.379 * [backup-simplify]: Simplify (+ 0 0) into 0
4.380 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) y) (* 0 0))) into 1
4.381 * [backup-simplify]: Simplify (+ (* 0.5 1) (+ (* 0 y) (* 0 0))) into 0.5
4.381 * [taylor]: Taking taylor expansion of 0.5 in y
4.381 * [backup-simplify]: Simplify 0.5 into 0.5
4.382 * [backup-simplify]: Simplify (* 0.5 0) into 0
4.382 * [backup-simplify]: Simplify 0 into 0
4.382 * [backup-simplify]: Simplify 0 into 0
4.387 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
4.387 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.388 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.389 * [backup-simplify]: Simplify (+ 0 0) into 0
4.390 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 0) (+ (* 0 y) (* 0 0)))) into 0
4.391 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (+ (* 0 y) (* 0 0)))) into 0
4.391 * [taylor]: Taking taylor expansion of 0 in y
4.391 * [backup-simplify]: Simplify 0 into 0
4.391 * [backup-simplify]: Simplify 0.5 into 0.5
4.393 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
4.393 * [backup-simplify]: Simplify 0.5 into 0.5
4.393 * [backup-simplify]: Simplify 0 into 0
4.394 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
4.394 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.395 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.395 * [backup-simplify]: Simplify (+ 0 0) into 0
4.397 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0
4.398 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 y) (* 0 0))))) into 0
4.398 * [taylor]: Taking taylor expansion of 0 in y
4.398 * [backup-simplify]: Simplify 0 into 0
4.398 * [backup-simplify]: Simplify 0 into 0
4.398 * [backup-simplify]: Simplify 0 into 0
4.399 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
4.399 * [backup-simplify]: Simplify 0 into 0
4.399 * [backup-simplify]: Simplify 0 into 0
4.400 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
4.401 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.402 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.402 * [backup-simplify]: Simplify (+ 0 0) into 0
4.404 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))))) into 0
4.406 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 y) (* 0 0)))))) into 0
4.406 * [taylor]: Taking taylor expansion of 0 in y
4.406 * [backup-simplify]: Simplify 0 into 0
4.406 * [backup-simplify]: Simplify 0 into 0
4.406 * [backup-simplify]: Simplify (+ (* 0.5 (* (/ 1 y) 1)) (* 0.5 (* 1 (/ 1 x)))) into (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
4.406 * [backup-simplify]: Simplify (* (/ (+ (/ 1 (- x)) (/ 1 (- y))) (* (/ 1 (- x)) 2.0)) (/ 1 (/ 1 (- y)))) into (* -0.5 (* (+ (/ 1 y) (/ 1 x)) (* y x)))
4.406 * [approximate]: Taking taylor expansion of (* -0.5 (* (+ (/ 1 y) (/ 1 x)) (* y x))) in (x y) around 0
4.407 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (/ 1 y) (/ 1 x)) (* y x))) in y
4.407 * [taylor]: Taking taylor expansion of -0.5 in y
4.407 * [backup-simplify]: Simplify -0.5 into -0.5
4.407 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (* y x)) in y
4.407 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
4.407 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.407 * [taylor]: Taking taylor expansion of y in y
4.407 * [backup-simplify]: Simplify 0 into 0
4.407 * [backup-simplify]: Simplify 1 into 1
4.407 * [backup-simplify]: Simplify (/ 1 1) into 1
4.407 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.407 * [taylor]: Taking taylor expansion of x in y
4.407 * [backup-simplify]: Simplify x into x
4.407 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.407 * [taylor]: Taking taylor expansion of (* y x) in y
4.407 * [taylor]: Taking taylor expansion of y in y
4.407 * [backup-simplify]: Simplify 0 into 0
4.408 * [backup-simplify]: Simplify 1 into 1
4.408 * [taylor]: Taking taylor expansion of x in y
4.408 * [backup-simplify]: Simplify x into x
4.408 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (/ 1 y) (/ 1 x)) (* y x))) in x
4.408 * [taylor]: Taking taylor expansion of -0.5 in x
4.408 * [backup-simplify]: Simplify -0.5 into -0.5
4.408 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (* y x)) in x
4.408 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
4.408 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.408 * [taylor]: Taking taylor expansion of y in x
4.408 * [backup-simplify]: Simplify y into y
4.408 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.408 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.408 * [taylor]: Taking taylor expansion of x in x
4.408 * [backup-simplify]: Simplify 0 into 0
4.408 * [backup-simplify]: Simplify 1 into 1
4.408 * [backup-simplify]: Simplify (/ 1 1) into 1
4.409 * [taylor]: Taking taylor expansion of (* y x) in x
4.409 * [taylor]: Taking taylor expansion of y in x
4.409 * [backup-simplify]: Simplify y into y
4.409 * [taylor]: Taking taylor expansion of x in x
4.409 * [backup-simplify]: Simplify 0 into 0
4.409 * [backup-simplify]: Simplify 1 into 1
4.409 * [taylor]: Taking taylor expansion of (* -0.5 (* (+ (/ 1 y) (/ 1 x)) (* y x))) in x
4.409 * [taylor]: Taking taylor expansion of -0.5 in x
4.409 * [backup-simplify]: Simplify -0.5 into -0.5
4.409 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (* y x)) in x
4.409 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
4.409 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.409 * [taylor]: Taking taylor expansion of y in x
4.409 * [backup-simplify]: Simplify y into y
4.409 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.409 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.409 * [taylor]: Taking taylor expansion of x in x
4.409 * [backup-simplify]: Simplify 0 into 0
4.409 * [backup-simplify]: Simplify 1 into 1
4.410 * [backup-simplify]: Simplify (/ 1 1) into 1
4.410 * [taylor]: Taking taylor expansion of (* y x) in x
4.410 * [taylor]: Taking taylor expansion of y in x
4.410 * [backup-simplify]: Simplify y into y
4.410 * [taylor]: Taking taylor expansion of x in x
4.410 * [backup-simplify]: Simplify 0 into 0
4.410 * [backup-simplify]: Simplify 1 into 1
4.410 * [backup-simplify]: Simplify (+ 0 1) into 1
4.410 * [backup-simplify]: Simplify (* y 0) into 0
4.411 * [backup-simplify]: Simplify (* 1 0) into 0
4.411 * [backup-simplify]: Simplify (* -0.5 0) into 0
4.411 * [taylor]: Taking taylor expansion of 0 in y
4.411 * [backup-simplify]: Simplify 0 into 0
4.412 * [backup-simplify]: Simplify (+ (* y 1) (* 0 0)) into y
4.412 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.412 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
4.413 * [backup-simplify]: Simplify (+ (* 1 y) (* (/ 1 y) 0)) into y
4.413 * [backup-simplify]: Simplify (+ (* -0.5 y) (* 0 0)) into (- (* 0.5 y))
4.413 * [taylor]: Taking taylor expansion of (- (* 0.5 y)) in y
4.413 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
4.413 * [taylor]: Taking taylor expansion of 0.5 in y
4.413 * [backup-simplify]: Simplify 0.5 into 0.5
4.413 * [taylor]: Taking taylor expansion of y in y
4.413 * [backup-simplify]: Simplify 0 into 0
4.413 * [backup-simplify]: Simplify 1 into 1
4.413 * [backup-simplify]: Simplify 0 into 0
4.414 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 1) (* 0 0))) into 0
4.414 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
4.415 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.415 * [backup-simplify]: Simplify (+ 0 0) into 0
4.416 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) y) (* 0 0))) into 1
4.417 * [backup-simplify]: Simplify (+ (* -0.5 1) (+ (* 0 y) (* 0 0))) into (- 0.5)
4.417 * [taylor]: Taking taylor expansion of (- 0.5) in y
4.417 * [taylor]: Taking taylor expansion of 0.5 in y
4.417 * [backup-simplify]: Simplify 0.5 into 0.5
4.417 * [backup-simplify]: Simplify (* 0.5 0) into 0
4.418 * [backup-simplify]: Simplify (- 0) into 0
4.418 * [backup-simplify]: Simplify 0 into 0
4.418 * [backup-simplify]: Simplify 0 into 0
4.419 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
4.419 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.420 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.420 * [backup-simplify]: Simplify (+ 0 0) into 0
4.421 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 0) (+ (* 0 y) (* 0 0)))) into 0
4.422 * [backup-simplify]: Simplify (+ (* -0.5 0) (+ (* 0 1) (+ (* 0 y) (* 0 0)))) into 0
4.423 * [taylor]: Taking taylor expansion of 0 in y
4.423 * [backup-simplify]: Simplify 0 into 0
4.423 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
4.423 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
4.425 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
4.425 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
4.426 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
4.426 * [backup-simplify]: Simplify 0 into 0
4.427 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
4.427 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.428 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.429 * [backup-simplify]: Simplify (+ 0 0) into 0
4.430 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0
4.432 * [backup-simplify]: Simplify (+ (* -0.5 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 y) (* 0 0))))) into 0
4.432 * [taylor]: Taking taylor expansion of 0 in y
4.432 * [backup-simplify]: Simplify 0 into 0
4.432 * [backup-simplify]: Simplify 0 into 0
4.432 * [backup-simplify]: Simplify (- 0) into 0
4.432 * [backup-simplify]: Simplify 0 into 0
4.433 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
4.434 * [backup-simplify]: Simplify (- 0) into 0
4.434 * [backup-simplify]: Simplify 0 into 0
4.434 * [backup-simplify]: Simplify 0 into 0
4.435 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
4.435 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
4.436 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.436 * [backup-simplify]: Simplify (+ 0 0) into 0
4.438 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))))) into 0
4.440 * [backup-simplify]: Simplify (+ (* -0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 y) (* 0 0)))))) into 0
4.440 * [taylor]: Taking taylor expansion of 0 in y
4.440 * [backup-simplify]: Simplify 0 into 0
4.440 * [backup-simplify]: Simplify 0 into 0
4.441 * [backup-simplify]: Simplify (+ (* (- 0.5) (* (/ 1 (- y)) 1)) (* (- 0.5) (* 1 (/ 1 (- x))))) into (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
4.441 * * * [progress]: simplifying candidates
4.443 * [simplify]: Simplifying:
  (* (/ (+ x y) (* x 2.0)) (/ 1 y))
  (+ (- (log (+ x y)) (+ (log x) (log 2.0))) (- (log y)))
  (+ (- (log (+ x y)) (+ (log x) (log 2.0))) (- 0 (log y)))
  (+ (- (log (+ x y)) (+ (log x) (log 2.0))) (- (log 1) (log y)))
  (+ (- (log (+ x y)) (+ (log x) (log 2.0))) (log (/ 1 y)))
  (+ (- (log (+ x y)) (log (* x 2.0))) (- (log y)))
  (+ (- (log (+ x y)) (log (* x 2.0))) (- 0 (log y)))
  (+ (- (log (+ x y)) (log (* x 2.0))) (- (log 1) (log y)))
  (+ (- (log (+ x y)) (log (* x 2.0))) (log (/ 1 y)))
  (+ (log (/ (+ x y) (* x 2.0))) (- (log y)))
  (+ (log (/ (+ x y) (* x 2.0))) (- 0 (log y)))
  (+ (log (/ (+ x y) (* x 2.0))) (- (log 1) (log y)))
  (+ (log (/ (+ x y) (* x 2.0))) (log (/ 1 y)))
  (log (* (/ (+ x y) (* x 2.0)) (/ 1 y)))
  (exp (* (/ (+ x y) (* x 2.0)) (/ 1 y)))
  (* (/ (* (* (+ x y) (+ x y)) (+ x y)) (* (* (* x x) x) (* (* 2.0 2.0) 2.0))) (/ (* (* 1 1) 1) (* (* y y) y)))
  (* (/ (* (* (+ x y) (+ x y)) (+ x y)) (* (* (* x x) x) (* (* 2.0 2.0) 2.0))) (* (* (/ 1 y) (/ 1 y)) (/ 1 y)))
  (* (/ (* (* (+ x y) (+ x y)) (+ x y)) (* (* (* x 2.0) (* x 2.0)) (* x 2.0))) (/ (* (* 1 1) 1) (* (* y y) y)))
  (* (/ (* (* (+ x y) (+ x y)) (+ x y)) (* (* (* x 2.0) (* x 2.0)) (* x 2.0))) (* (* (/ 1 y) (/ 1 y)) (/ 1 y)))
  (* (* (* (/ (+ x y) (* x 2.0)) (/ (+ x y) (* x 2.0))) (/ (+ x y) (* x 2.0))) (/ (* (* 1 1) 1) (* (* y y) y)))
  (* (* (* (/ (+ x y) (* x 2.0)) (/ (+ x y) (* x 2.0))) (/ (+ x y) (* x 2.0))) (* (* (/ 1 y) (/ 1 y)) (/ 1 y)))
  (* (cbrt (* (/ (+ x y) (* x 2.0)) (/ 1 y))) (cbrt (* (/ (+ x y) (* x 2.0)) (/ 1 y))))
  (cbrt (* (/ (+ x y) (* x 2.0)) (/ 1 y)))
  (* (* (* (/ (+ x y) (* x 2.0)) (/ 1 y)) (* (/ (+ x y) (* x 2.0)) (/ 1 y))) (* (/ (+ x y) (* x 2.0)) (/ 1 y)))
  (sqrt (* (/ (+ x y) (* x 2.0)) (/ 1 y)))
  (sqrt (* (/ (+ x y) (* x 2.0)) (/ 1 y)))
  (* (+ x y) 1)
  (* (* x 2.0) y)
  (* (sqrt (/ (+ x y) (* x 2.0))) (sqrt (/ 1 y)))
  (* (sqrt (/ (+ x y) (* x 2.0))) (sqrt (/ 1 y)))
  (* (sqrt (/ (+ x y) (* x 2.0))) (/ (sqrt 1) (sqrt y)))
  (* (sqrt (/ (+ x y) (* x 2.0))) (/ (sqrt 1) (sqrt y)))
  (* (sqrt (/ (+ x y) (* x 2.0))) (/ 1 (sqrt y)))
  (* (sqrt (/ (+ x y) (* x 2.0))) (/ 1 (sqrt y)))
  (* (/ (+ x y) (* x 2.0)) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))))
  (* (/ (+ x y) (* x 2.0)) (sqrt (/ 1 y)))
  (* (/ (+ x y) (* x 2.0)) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))))
  (* (/ (+ x y) (* x 2.0)) (/ (* (cbrt 1) (cbrt 1)) (sqrt y)))
  (* (/ (+ x y) (* x 2.0)) (/ (* (cbrt 1) (cbrt 1)) 1))
  (* (/ (+ x y) (* x 2.0)) (/ (sqrt 1) (* (cbrt y) (cbrt y))))
  (* (/ (+ x y) (* x 2.0)) (/ (sqrt 1) (sqrt y)))
  (* (/ (+ x y) (* x 2.0)) (/ (sqrt 1) 1))
  (* (/ (+ x y) (* x 2.0)) (/ 1 (* (cbrt y) (cbrt y))))
  (* (/ (+ x y) (* x 2.0)) (/ 1 (sqrt y)))
  (* (/ (+ x y) (* x 2.0)) (/ 1 1))
  (* (/ (+ x y) (* x 2.0)) 1)
  (* (/ (+ x y) (* x 2.0)) 1)
  (* (cbrt (/ (+ x y) (* x 2.0))) (/ 1 y))
  (* (sqrt (/ (+ x y) (* x 2.0))) (/ 1 y))
  (* (/ (cbrt (+ x y)) 2.0) (/ 1 y))
  (* (/ (sqrt (+ x y)) 2.0) (/ 1 y))
  (* (/ (+ x y) 2.0) (/ 1 y))
  (* (/ (+ x y) 2.0) (/ 1 y))
  (* (/ (+ x y) (* x 2.0)) (/ 1 y))
  (* (/ 1 (* x 2.0)) (/ 1 y))
  (* (/ (+ x y) (* x 2.0)) 1)
  (* (+ x y) (/ 1 y))
  (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
  (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
  (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))
4.446 * * [simplify]: Extracting # 0 : cost  0
4.446 * * [simplify]: Extracting # 1 : cost  0
4.446 * * [simplify]: Extracting # 2 : cost  0
4.447 * * [simplify]: Extracting # 3 : cost  0
4.447 * * [simplify]: Extracting # 4 : cost  0
4.447 * * [simplify]: Extracting # 5 : cost  0
4.448 * * [simplify]: Extracting # 6 : cost  0
4.448 * * [simplify]: Extracting # 7 : cost  0
4.448 * * [simplify]: iteration  0 :  124  enodes  (cost  906 )
4.524 * * [simplify]: Extracting # 0 : cost  0
4.525 * * [simplify]: Extracting # 1 : cost  0
4.526 * * [simplify]: Extracting # 2 : cost  0
4.526 * * [simplify]: Extracting # 3 : cost  0
4.527 * * [simplify]: iteration  1 :  408  enodes  (cost  814 )
5.025 * * [simplify]: Extracting # 0 : cost  0
5.035 * * [simplify]: Extracting # 1 : cost  0
5.043 * * [simplify]: Extracting # 2 : cost  0
5.050 * * [simplify]: Extracting # 3 : cost  0
5.057 * * [simplify]: Extracting # 4 : cost  0
5.064 * * [simplify]: Extracting # 5 : cost  0
5.071 * * [simplify]: Extracting # 6 : cost  0
5.087 * * [simplify]: iteration  2 :  3033  enodes  (cost  587 )
8.811 * * [simplify]: Extracting # 0 : cost  0
8.825 * * [simplify]: Extracting # 1 : cost  0
8.838 * * [simplify]: Extracting # 2 : cost  0
8.850 * * [simplify]: iteration done:  5001  enodes  (cost  587 )
8.851 * [simplify]: Simplified to:
  (/ (/ (+ x y) (* x 2.0)) y)
  (log (/ (/ (+ x y) (* x 2.0)) y))
  (log (/ (/ (+ x y) (* x 2.0)) y))
  (log (/ (/ (+ x y) (* x 2.0)) y))
  (log (/ (/ (+ x y) (* x 2.0)) y))
  (log (/ (/ (+ x y) (* x 2.0)) y))
  (log (/ (/ (+ x y) (* x 2.0)) y))
  (log (/ (/ (+ x y) (* x 2.0)) y))
  (log (/ (/ (+ x y) (* x 2.0)) y))
  (log (/ (/ (+ x y) (* x 2.0)) y))
  (log (/ (/ (+ x y) (* x 2.0)) y))
  (log (/ (/ (+ x y) (* x 2.0)) y))
  (log (/ (/ (+ x y) (* x 2.0)) y))
  (log (/ (/ (+ x y) (* x 2.0)) y))
  (exp (/ (/ (+ x y) (* x 2.0)) y))
  (pow (/ (/ (+ x y) (* x 2.0)) y) 3)
  (pow (/ (/ (+ x y) (* x 2.0)) y) 3)
  (pow (/ (/ (+ x y) (* x 2.0)) y) 3)
  (pow (/ (/ (+ x y) (* x 2.0)) y) 3)
  (pow (/ (/ (+ x y) (* x 2.0)) y) 3)
  (pow (/ (/ (+ x y) (* x 2.0)) y) 3)
  (* (cbrt (/ (/ (+ x y) (* x 2.0)) y)) (cbrt (/ (/ (+ x y) (* x 2.0)) y)))
  (cbrt (/ (/ (+ x y) (* x 2.0)) y))
  (pow (/ (/ (+ x y) (* x 2.0)) y) 3)
  (sqrt (/ (/ (+ x y) (* x 2.0)) y))
  (sqrt (/ (/ (+ x y) (* x 2.0)) y))
  (+ x y)
  (* (* x 2.0) y)
  (* (sqrt (/ (+ x y) (* x 2.0))) (sqrt (/ 1 y)))
  (* (sqrt (/ (+ x y) (* x 2.0))) (sqrt (/ 1 y)))
  (/ (sqrt (/ (+ x y) (* x 2.0))) (sqrt y))
  (/ (sqrt (/ (+ x y) (* x 2.0))) (sqrt y))
  (/ (sqrt (/ (+ x y) (* x 2.0))) (sqrt y))
  (/ (sqrt (/ (+ x y) (* x 2.0))) (sqrt y))
  (* (/ (+ x y) (* x 2.0)) (* (cbrt (/ 1 y)) (cbrt (/ 1 y))))
  (* (/ (+ x y) (* x 2.0)) (sqrt (/ 1 y)))
  (/ (/ (/ (+ x y) 2.0) x) (* (cbrt y) (cbrt y)))
  (/ (/ (/ (+ x y) 2.0) x) (sqrt y))
  (/ (/ (+ x y) 2.0) x)
  (/ (/ (/ (+ x y) 2.0) x) (* (cbrt y) (cbrt y)))
  (/ (/ (/ (+ x y) 2.0) x) (sqrt y))
  (/ (/ (+ x y) 2.0) x)
  (/ (/ (/ (+ x y) 2.0) x) (* (cbrt y) (cbrt y)))
  (/ (/ (/ (+ x y) 2.0) x) (sqrt y))
  (/ (/ (+ x y) 2.0) x)
  (/ (/ (+ x y) 2.0) x)
  (/ (/ (+ x y) 2.0) x)
  (/ (cbrt (/ (+ x y) (* x 2.0))) y)
  (/ (sqrt (/ (+ x y) (* x 2.0))) y)
  (/ (/ (cbrt (+ x y)) 2.0) y)
  (/ (/ (sqrt (+ x y)) 2.0) y)
  (/ (/ (+ x y) 2.0) y)
  (/ (/ (+ x y) 2.0) y)
  (/ (/ (+ x y) (* x 2.0)) y)
  (/ (/ 1 (* x 2.0)) y)
  (/ (/ (+ x y) 2.0) x)
  (/ (+ x y) y)
  (+ (/ 0.5 x) (/ 0.5 y))
  (+ (/ 0.5 x) (/ 0.5 y))
  (+ (/ 0.5 x) (/ 0.5 y))
8.851 * * * [progress]: adding candidates to table
9.092 * [progress]: [Phase 3 of 3] Extracting.
9.092 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (+ (/ 0.5 x) (/ 0.5 y)))> #<alt (λ (x y) (* (/ (+ x y) (* x 2.0)) (/ 1 y)))>)
9.093 * * * [regime-changes]: Trying 2 branch expressions: (y x)
9.093 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (+ (/ 0.5 x) (/ 0.5 y)))> #<alt (λ (x y) (* (/ (+ x y) (* x 2.0)) (/ 1 y)))>)
9.150 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (+ (/ 0.5 x) (/ 0.5 y)))> #<alt (λ (x y) (* (/ (+ x y) (* x 2.0)) (/ 1 y)))>)
9.204 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
9.206 * [simplify]: Simplifying:
  (+ (/ 0.5 x) (/ 0.5 y))
9.206 * * [simplify]: Extracting # 0 : cost  0
9.206 * * [simplify]: Extracting # 1 : cost  0
9.206 * * [simplify]: Extracting # 2 : cost  0
9.206 * * [simplify]: Extracting # 3 : cost  0
9.206 * * [simplify]: Extracting # 4 : cost  0
9.206 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
9.207 * * [simplify]: Extracting # 0 : cost  0
9.207 * * [simplify]: iteration  1 :  7  enodes  (cost  7 )
9.207 * * [simplify]: Extracting # 0 : cost  0
9.207 * * [simplify]: iteration done:  7  enodes  (cost  7 )
9.207 * [simplify]: Simplified to:
  (+ (/ 0.5 x) (/ 0.5 y))
10.622 * [regime-testing]: Baseline error score: 0.014449926553409322
10.626 * [regime-testing]: Oracle error score: 0.007625953244155519
10.634 * [regime-testing]: End program error score: 0.014449926553409322
10.748 * [regime-testing]: Target error score: 0.014449926553409322