17.408 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.019 * * * [progress]: [2/2] Setting up program.
0.021 * [progress]: [Phase 2 of 3] Improving.
0.021 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))
0.022 * * [simplify]: iteration  0 :  9  enodes  (cost  15 )
0.024 * * [simplify]: iteration  1 :  22  enodes  (cost  15 )
0.027 * * [simplify]: iteration  2 :  47  enodes  (cost  15 )
0.034 * * [simplify]: iteration  3 :  86  enodes  (cost  15 )
0.052 * * [simplify]: iteration  4 :  166  enodes  (cost  15 )
0.088 * * [simplify]: iteration  5 :  291  enodes  (cost  15 )
0.169 * * [simplify]: iteration  6 :  520  enodes  (cost  15 )
0.380 * * [simplify]: iteration  7 :  867  enodes  (cost  15 )
1.424 * * [simplify]: iteration  8 :  2679  enodes  (cost  15 )
3.144 * * [simplify]: iteration  done :  5000  enodes  (cost  15 )
3.144 * [simplify]: Simplified to:
   (* (/ (+ x y) (+ (* x x) (* y y))) (- x y))
3.147 * * [progress]: iteration 1 / 4
3.147 * * * [progress]: picking best candidate
3.149 * * * * [pick]: Picked  #<alt (λ (x y) (/ (* (- x y) (+ x y)) (+ (* x x) (* y y))))>
3.149 * * * [progress]: localizing error
3.162 * * * [progress]: generating rewritten candidates
3.162 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
3.174 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
3.177 * * * [progress]: generating series expansions
3.178 * * * * [progress]: [ 1 / 2 ] generating series at (2)
3.178 * [approximate]: Taking taylor expansion of (/ (* (+ x y) (- x y)) (+ (pow x 2) (pow y 2))) in (x y) around 0
3.178 * [taylor]: Taking taylor expansion of (/ (* (+ x y) (- x y)) (+ (pow x 2) (pow y 2))) in y
3.178 * [taylor]: Taking taylor expansion of (* (+ x y) (- x y)) in y
3.178 * [taylor]: Taking taylor expansion of (+ x y) in y
3.178 * [taylor]: Taking taylor expansion of x in y
3.178 * [taylor]: Taking taylor expansion of y in y
3.178 * [taylor]: Taking taylor expansion of (- x y) in y
3.178 * [taylor]: Taking taylor expansion of x in y
3.178 * [taylor]: Taking taylor expansion of y in y
3.178 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in y
3.178 * [taylor]: Taking taylor expansion of (pow x 2) in y
3.178 * [taylor]: Taking taylor expansion of x in y
3.178 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.178 * [taylor]: Taking taylor expansion of y in y
3.179 * [taylor]: Taking taylor expansion of (/ (* (+ x y) (- x y)) (+ (pow x 2) (pow y 2))) in x
3.179 * [taylor]: Taking taylor expansion of (* (+ x y) (- x y)) in x
3.179 * [taylor]: Taking taylor expansion of (+ x y) in x
3.179 * [taylor]: Taking taylor expansion of x in x
3.179 * [taylor]: Taking taylor expansion of y in x
3.179 * [taylor]: Taking taylor expansion of (- x y) in x
3.179 * [taylor]: Taking taylor expansion of x in x
3.179 * [taylor]: Taking taylor expansion of y in x
3.179 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in x
3.179 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.179 * [taylor]: Taking taylor expansion of x in x
3.179 * [taylor]: Taking taylor expansion of (pow y 2) in x
3.179 * [taylor]: Taking taylor expansion of y in x
3.179 * [taylor]: Taking taylor expansion of (/ (* (+ x y) (- x y)) (+ (pow x 2) (pow y 2))) in x
3.179 * [taylor]: Taking taylor expansion of (* (+ x y) (- x y)) in x
3.179 * [taylor]: Taking taylor expansion of (+ x y) in x
3.179 * [taylor]: Taking taylor expansion of x in x
3.179 * [taylor]: Taking taylor expansion of y in x
3.179 * [taylor]: Taking taylor expansion of (- x y) in x
3.179 * [taylor]: Taking taylor expansion of x in x
3.179 * [taylor]: Taking taylor expansion of y in x
3.179 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in x
3.179 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.179 * [taylor]: Taking taylor expansion of x in x
3.180 * [taylor]: Taking taylor expansion of (pow y 2) in x
3.180 * [taylor]: Taking taylor expansion of y in x
3.180 * [taylor]: Taking taylor expansion of -1 in y
3.181 * [taylor]: Taking taylor expansion of 0 in y
3.183 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 2))) in y
3.183 * [taylor]: Taking taylor expansion of 2 in y
3.183 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
3.183 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.183 * [taylor]: Taking taylor expansion of y in y
3.189 * [taylor]: Taking taylor expansion of 0 in y
3.189 * [approximate]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in (x y) around 0
3.189 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in y
3.189 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) in y
3.189 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
3.189 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.189 * [taylor]: Taking taylor expansion of x in y
3.189 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.189 * [taylor]: Taking taylor expansion of y in y
3.189 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
3.189 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.189 * [taylor]: Taking taylor expansion of y in y
3.190 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.190 * [taylor]: Taking taylor expansion of x in y
3.190 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y
3.190 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
3.190 * [taylor]: Taking taylor expansion of (pow x 2) in y
3.190 * [taylor]: Taking taylor expansion of x in y
3.190 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
3.190 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.190 * [taylor]: Taking taylor expansion of y in y
3.192 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in x
3.192 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) in x
3.192 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
3.192 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.192 * [taylor]: Taking taylor expansion of x in x
3.192 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.192 * [taylor]: Taking taylor expansion of y in x
3.192 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
3.192 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.192 * [taylor]: Taking taylor expansion of y in x
3.192 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.192 * [taylor]: Taking taylor expansion of x in x
3.193 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
3.193 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.193 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.193 * [taylor]: Taking taylor expansion of x in x
3.193 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
3.193 * [taylor]: Taking taylor expansion of (pow y 2) in x
3.193 * [taylor]: Taking taylor expansion of y in x
3.194 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in x
3.194 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) in x
3.194 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
3.194 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.195 * [taylor]: Taking taylor expansion of x in x
3.195 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.195 * [taylor]: Taking taylor expansion of y in x
3.195 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
3.195 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.195 * [taylor]: Taking taylor expansion of y in x
3.195 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.195 * [taylor]: Taking taylor expansion of x in x
3.195 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
3.195 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.195 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.195 * [taylor]: Taking taylor expansion of x in x
3.196 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
3.196 * [taylor]: Taking taylor expansion of (pow y 2) in x
3.196 * [taylor]: Taking taylor expansion of y in x
3.197 * [taylor]: Taking taylor expansion of 1 in y
3.199 * [taylor]: Taking taylor expansion of 0 in y
3.204 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow y 2)))) in y
3.204 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 2))) in y
3.204 * [taylor]: Taking taylor expansion of 2 in y
3.204 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
3.204 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.204 * [taylor]: Taking taylor expansion of y in y
3.211 * [taylor]: Taking taylor expansion of 0 in y
3.212 * [approximate]: Taking taylor expansion of (* -1 (/ (* (+ (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 x))) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))))) in (x y) around 0
3.212 * [taylor]: Taking taylor expansion of (* -1 (/ (* (+ (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 x))) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))))) in y
3.212 * [taylor]: Taking taylor expansion of -1 in y
3.212 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 x))) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in y
3.212 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 x))) in y
3.212 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
3.212 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.212 * [taylor]: Taking taylor expansion of y in y
3.212 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.212 * [taylor]: Taking taylor expansion of x in y
3.212 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
3.212 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.212 * [taylor]: Taking taylor expansion of y in y
3.213 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.213 * [taylor]: Taking taylor expansion of x in y
3.213 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y
3.213 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
3.213 * [taylor]: Taking taylor expansion of (pow x 2) in y
3.213 * [taylor]: Taking taylor expansion of x in y
3.213 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
3.213 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.213 * [taylor]: Taking taylor expansion of y in y
3.215 * [taylor]: Taking taylor expansion of (* -1 (/ (* (+ (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 x))) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))))) in x
3.215 * [taylor]: Taking taylor expansion of -1 in x
3.215 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 x))) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in x
3.215 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 x))) in x
3.215 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
3.215 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.215 * [taylor]: Taking taylor expansion of y in x
3.215 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.215 * [taylor]: Taking taylor expansion of x in x
3.215 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
3.215 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.215 * [taylor]: Taking taylor expansion of y in x
3.215 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.215 * [taylor]: Taking taylor expansion of x in x
3.215 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
3.215 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.215 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.216 * [taylor]: Taking taylor expansion of x in x
3.216 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
3.216 * [taylor]: Taking taylor expansion of (pow y 2) in x
3.216 * [taylor]: Taking taylor expansion of y in x
3.218 * [taylor]: Taking taylor expansion of (* -1 (/ (* (+ (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 x))) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))))) in x
3.218 * [taylor]: Taking taylor expansion of -1 in x
3.218 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 x))) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in x
3.218 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 x))) in x
3.218 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
3.218 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.218 * [taylor]: Taking taylor expansion of y in x
3.218 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.218 * [taylor]: Taking taylor expansion of x in x
3.218 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
3.218 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.218 * [taylor]: Taking taylor expansion of y in x
3.218 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.218 * [taylor]: Taking taylor expansion of x in x
3.218 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
3.219 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.219 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.219 * [taylor]: Taking taylor expansion of x in x
3.219 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
3.219 * [taylor]: Taking taylor expansion of (pow y 2) in x
3.219 * [taylor]: Taking taylor expansion of y in x
3.221 * [taylor]: Taking taylor expansion of 1 in y
3.224 * [taylor]: Taking taylor expansion of 0 in y
3.228 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow y 2)))) in y
3.228 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 2))) in y
3.228 * [taylor]: Taking taylor expansion of 2 in y
3.228 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
3.228 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.228 * [taylor]: Taking taylor expansion of y in y
3.237 * [taylor]: Taking taylor expansion of 0 in y
3.237 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
3.237 * [approximate]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in (x y) around 0
3.237 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in y
3.237 * [taylor]: Taking taylor expansion of (pow x 2) in y
3.237 * [taylor]: Taking taylor expansion of x in y
3.237 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.237 * [taylor]: Taking taylor expansion of y in y
3.237 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in x
3.237 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.237 * [taylor]: Taking taylor expansion of x in x
3.237 * [taylor]: Taking taylor expansion of (pow y 2) in x
3.237 * [taylor]: Taking taylor expansion of y in x
3.237 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in x
3.237 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.238 * [taylor]: Taking taylor expansion of x in x
3.238 * [taylor]: Taking taylor expansion of (pow y 2) in x
3.238 * [taylor]: Taking taylor expansion of y in x
3.238 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.238 * [taylor]: Taking taylor expansion of y in y
3.238 * [taylor]: Taking taylor expansion of 0 in y
3.239 * [taylor]: Taking taylor expansion of 1 in y
3.245 * [taylor]: Taking taylor expansion of 0 in y
3.247 * [taylor]: Taking taylor expansion of 0 in y
3.247 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in (x y) around 0
3.247 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y
3.247 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
3.247 * [taylor]: Taking taylor expansion of (pow x 2) in y
3.247 * [taylor]: Taking taylor expansion of x in y
3.247 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
3.247 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.247 * [taylor]: Taking taylor expansion of y in y
3.248 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
3.248 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.248 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.248 * [taylor]: Taking taylor expansion of x in x
3.248 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
3.249 * [taylor]: Taking taylor expansion of (pow y 2) in x
3.249 * [taylor]: Taking taylor expansion of y in x
3.249 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
3.249 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.249 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.249 * [taylor]: Taking taylor expansion of x in x
3.249 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
3.249 * [taylor]: Taking taylor expansion of (pow y 2) in x
3.249 * [taylor]: Taking taylor expansion of y in x
3.250 * [taylor]: Taking taylor expansion of 1 in y
3.251 * [taylor]: Taking taylor expansion of 0 in y
3.252 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
3.252 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.252 * [taylor]: Taking taylor expansion of y in y
3.254 * [taylor]: Taking taylor expansion of 0 in y
3.256 * [taylor]: Taking taylor expansion of 0 in y
3.258 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in (x y) around 0
3.258 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y
3.258 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
3.258 * [taylor]: Taking taylor expansion of (pow x 2) in y
3.258 * [taylor]: Taking taylor expansion of x in y
3.258 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
3.258 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.258 * [taylor]: Taking taylor expansion of y in y
3.258 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
3.258 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.258 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.258 * [taylor]: Taking taylor expansion of x in x
3.259 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
3.259 * [taylor]: Taking taylor expansion of (pow y 2) in x
3.259 * [taylor]: Taking taylor expansion of y in x
3.259 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
3.259 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.259 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.259 * [taylor]: Taking taylor expansion of x in x
3.260 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
3.260 * [taylor]: Taking taylor expansion of (pow y 2) in x
3.260 * [taylor]: Taking taylor expansion of y in x
3.260 * [taylor]: Taking taylor expansion of 1 in y
3.261 * [taylor]: Taking taylor expansion of 0 in y
3.262 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
3.262 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.262 * [taylor]: Taking taylor expansion of y in y
3.264 * [taylor]: Taking taylor expansion of 0 in y
3.267 * [taylor]: Taking taylor expansion of 0 in y
3.268 * * * [progress]: simplifying candidates
3.269 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (+ (log (- x y)) (log (+ x y))) (log (+ (* x x) (* y y))))
  (- (log (* (- x y) (+ x y))) (log (+ (* x x) (* y y))))
  (log (/ (* (- x y) (+ x y)) (+ (* x x) (* y y))))
  (exp (/ (* (- x y) (+ x y)) (+ (* x x) (* y y))))
  (/ (* (* (* (- x y) (- x y)) (- x y)) (* (* (+ x y) (+ x y)) (+ x y))) (* (* (+ (* x x) (* y y)) (+ (* x x) (* y y))) (+ (* x x) (* y y))))
  (/ (* (* (* (- x y) (+ x y)) (* (- x y) (+ x y))) (* (- x y) (+ x y))) (* (* (+ (* x x) (* y y)) (+ (* x x) (* y y))) (+ (* x x) (* y y))))
  (* (cbrt (/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))) (cbrt (/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))))
  (cbrt (/ (* (- x y) (+ x y)) (+ (* x x) (* y y))))
  (* (* (/ (* (- x y) (+ x y)) (+ (* x x) (* y y))) (/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))) (/ (* (- x y) (+ x y)) (+ (* x x) (* y y))))
  (sqrt (/ (* (- x y) (+ x y)) (+ (* x x) (* y y))))
  (sqrt (/ (* (- x y) (+ x y)) (+ (* x x) (* y y))))
  (- (* (- x y) (+ x y)))
  (- (+ (* x x) (* y y)))
  (/ (- x y) (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))))
  (/ (+ x y) (cbrt (+ (* x x) (* y y))))
  (/ (- x y) (sqrt (+ (* x x) (* y y))))
  (/ (+ x y) (sqrt (+ (* x x) (* y y))))
  (/ (- x y) 1)
  (/ (+ x y) (+ (* x x) (* y y)))
  (/ 1 (+ (* x x) (* y y)))
  (/ (+ (* x x) (* y y)) (* (- x y) (+ x y)))
  (/ (* (- x y) (+ x y)) (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))))
  (/ (* (- x y) (+ x y)) (sqrt (+ (* x x) (* y y))))
  (/ (* (- x y) (+ x y)) 1)
  (/ (+ (* x x) (* y y)) (+ x y))
  (/ (* (- x y) (+ x y)) (+ (pow (* x x) 3) (pow (* y y) 3)))
  (/ (* (- x y) (+ x y)) (- (* (* x x) (* x x)) (* (* y y) (* y y))))
  (* (+ (* x x) (* y y)) (* (+ (* x x) (+ (* y y) (* x y))) (+ (* x x) (- (* y y) (* x y)))))
  (* (+ (* x x) (* y y)) (* (+ (* x x) (+ (* y y) (* x y))) (- x y)))
  (* (+ (* x x) (* y y)) (* (+ x y) (+ (* x x) (- (* y y) (* x y)))))
  (* (+ (* x x) (* y y)) (* (+ x y) (- x y)))
  (* (+ (* x x) (* y y)) (+ (* x x) (- (* y y) (* x y))))
  (* (+ (* x x) (* y y)) (- x y))
  (* (+ (* x x) (* y y)) (+ (* x x) (+ (* y y) (* x y))))
  (* (+ (* x x) (* y y)) (+ x y))
  (* (exp (* x x)) (exp (* y y)))
  (log (+ (* x x) (* y y)))
  (exp (+ (* x x) (* y y)))
  (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y))))
  (cbrt (+ (* x x) (* y y)))
  (* (* (+ (* x x) (* y y)) (+ (* x x) (* y y))) (+ (* x x) (* y y)))
  (sqrt (+ (* x x) (* y y)))
  (sqrt (+ (* x x) (* y y)))
  (+ (pow (* x x) 3) (pow (* y y) 3))
  (+ (* (* x x) (* x x)) (- (* (* y y) (* y y)) (* (* x x) (* y y))))
  (- (* (* x x) (* x x)) (* (* y y) (* y y)))
  (- (* x x) (* y y))
  -1
  1
  1
  (+ (pow x 2) (pow y 2))
  (+ (pow x 2) (pow y 2))
  (+ (pow x 2) (pow y 2))
3.272 * * [simplify]: iteration  0 :  91  enodes  (cost  826 )
3.294 * * [simplify]: iteration  1 :  305  enodes  (cost  802 )
3.441 * * [simplify]: iteration  2 :  1393  enodes  (cost  662 )
4.012 * * [simplify]: iteration  done :  5001  enodes  (cost  662 )
4.012 * [simplify]: Simplified to:
   (log (/ (* (- x y) (+ x y)) (+ (* x x) (* y y))))
  (log (/ (* (- x y) (+ x y)) (+ (* x x) (* y y))))
  (log (/ (* (- x y) (+ x y)) (+ (* x x) (* y y))))
  (exp (/ (* (- x y) (+ x y)) (+ (* x x) (* y y))))
  (pow (/ (* (- x y) (+ x y)) (+ (* x x) (* y y))) 3)
  (pow (/ (* (- x y) (+ x y)) (+ (* x x) (* y y))) 3)
  (* (cbrt (/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))) (cbrt (/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))))
  (cbrt (/ (* (- x y) (+ x y)) (+ (* x x) (* y y))))
  (pow (/ (* (- x y) (+ x y)) (+ (* x x) (* y y))) 3)
  (sqrt (/ (* (- x y) (+ x y)) (+ (* x x) (* y y))))
  (sqrt (/ (* (- x y) (+ x y)) (+ (* x x) (* y y))))
  (- (* (- x y) (+ x y)))
  (- (+ (* x x) (* y y)))
  (/ (- x y) (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))))
  (/ (+ x y) (cbrt (+ (* x x) (* y y))))
  (/ (- x y) (sqrt (+ (* x x) (* y y))))
  (/ (+ x y) (sqrt (+ (* x x) (* y y))))
  (- x y)
  (/ (+ x y) (+ (* x x) (* y y)))
  (/ 1 (+ (* x x) (* y y)))
  (/ (+ (* x x) (* y y)) (* (- x y) (+ x y)))
  (/ (* (- x y) (+ x y)) (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))))
  (/ (* (- x y) (+ x y)) (sqrt (+ (* x x) (* y y))))
  (* (+ x y) (- x y))
  (/ (+ (* x x) (* y y)) (+ x y))
  (/ (* (+ x y) (- x y)) (+ (pow x 6) (pow y 6)))
  (/ (* (+ x y) (- x y)) (- (pow x 4) (pow y 4)))
  (* (* (+ (* x x) (* y (- y x))) (+ (* x x) (* y (+ x y)))) (+ (* x x) (* y y)))
  (* (+ (* x x) (* y y)) (* (+ (* x x) (* y (+ x y))) (- x y)))
  (* (* (+ (* x x) (* y y)) (+ x y)) (+ (* x x) (* y (- y x))))
  (- (pow x 4) (pow y 4))
  (* (+ (* x x) (* y (- y x))) (+ (* x x) (* y y)))
  (* (+ (* x x) (* y y)) (- x y))
  (* (+ (* x x) (* y y)) (+ (* x x) (* y (+ x y))))
  (* (+ (* x x) (* y y)) (+ x y))
  (exp (+ (* x x) (* y y)))
  (log (+ (* x x) (* y y)))
  (exp (+ (* x x) (* y y)))
  (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y))))
  (cbrt (+ (* x x) (* y y)))
  (pow (+ (* x x) (* y y)) 3)
  (sqrt (+ (* x x) (* y y)))
  (sqrt (+ (* x x) (* y y)))
  (+ (pow x 6) (pow y 6))
  (+ (* (* y y) (- (* y y) (* x x))) (pow x 4))
  (- (pow x 4) (pow y 4))
  (* (+ x y) (- x y))
  -1
  1
  1
  (+ (* x x) (* y y))
  (+ (* x x) (* y y))
  (+ (* x x) (* y y))
4.012 * * * [progress]: adding candidates to table
4.117 * * [progress]: iteration 2 / 4
4.117 * * * [progress]: picking best candidate
4.122 * * * * [pick]: Picked  #<alt (λ (x y) (/ (* (- x y) (+ x y)) (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y))))))>
4.122 * * * [progress]: localizing error
4.132 * * * [progress]: generating rewritten candidates
4.132 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
4.151 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2)
4.154 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
4.160 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
4.184 * * * [progress]: generating series expansions
4.184 * * * * [progress]: [ 1 / 4 ] generating series at (2)
4.185 * [approximate]: Taking taylor expansion of (/ (* (+ x y) (- x y)) (+ (pow x 2) (pow y 2))) in (x y) around 0
4.185 * [taylor]: Taking taylor expansion of (/ (* (+ x y) (- x y)) (+ (pow x 2) (pow y 2))) in y
4.185 * [taylor]: Taking taylor expansion of (* (+ x y) (- x y)) in y
4.185 * [taylor]: Taking taylor expansion of (+ x y) in y
4.185 * [taylor]: Taking taylor expansion of x in y
4.185 * [taylor]: Taking taylor expansion of y in y
4.185 * [taylor]: Taking taylor expansion of (- x y) in y
4.185 * [taylor]: Taking taylor expansion of x in y
4.185 * [taylor]: Taking taylor expansion of y in y
4.185 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in y
4.185 * [taylor]: Taking taylor expansion of (pow x 2) in y
4.185 * [taylor]: Taking taylor expansion of x in y
4.185 * [taylor]: Taking taylor expansion of (pow y 2) in y
4.185 * [taylor]: Taking taylor expansion of y in y
4.186 * [taylor]: Taking taylor expansion of (/ (* (+ x y) (- x y)) (+ (pow x 2) (pow y 2))) in x
4.186 * [taylor]: Taking taylor expansion of (* (+ x y) (- x y)) in x
4.186 * [taylor]: Taking taylor expansion of (+ x y) in x
4.186 * [taylor]: Taking taylor expansion of x in x
4.186 * [taylor]: Taking taylor expansion of y in x
4.186 * [taylor]: Taking taylor expansion of (- x y) in x
4.186 * [taylor]: Taking taylor expansion of x in x
4.186 * [taylor]: Taking taylor expansion of y in x
4.186 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in x
4.186 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.186 * [taylor]: Taking taylor expansion of x in x
4.186 * [taylor]: Taking taylor expansion of (pow y 2) in x
4.186 * [taylor]: Taking taylor expansion of y in x
4.186 * [taylor]: Taking taylor expansion of (/ (* (+ x y) (- x y)) (+ (pow x 2) (pow y 2))) in x
4.186 * [taylor]: Taking taylor expansion of (* (+ x y) (- x y)) in x
4.186 * [taylor]: Taking taylor expansion of (+ x y) in x
4.186 * [taylor]: Taking taylor expansion of x in x
4.186 * [taylor]: Taking taylor expansion of y in x
4.186 * [taylor]: Taking taylor expansion of (- x y) in x
4.186 * [taylor]: Taking taylor expansion of x in x
4.186 * [taylor]: Taking taylor expansion of y in x
4.186 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in x
4.186 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.186 * [taylor]: Taking taylor expansion of x in x
4.186 * [taylor]: Taking taylor expansion of (pow y 2) in x
4.186 * [taylor]: Taking taylor expansion of y in x
4.187 * [taylor]: Taking taylor expansion of -1 in y
4.188 * [taylor]: Taking taylor expansion of 0 in y
4.190 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 2))) in y
4.190 * [taylor]: Taking taylor expansion of 2 in y
4.190 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
4.190 * [taylor]: Taking taylor expansion of (pow y 2) in y
4.190 * [taylor]: Taking taylor expansion of y in y
4.196 * [taylor]: Taking taylor expansion of 0 in y
4.196 * [approximate]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in (x y) around 0
4.196 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in y
4.196 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) in y
4.196 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
4.196 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.196 * [taylor]: Taking taylor expansion of x in y
4.196 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.196 * [taylor]: Taking taylor expansion of y in y
4.197 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
4.197 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.197 * [taylor]: Taking taylor expansion of y in y
4.197 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.197 * [taylor]: Taking taylor expansion of x in y
4.197 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y
4.197 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
4.197 * [taylor]: Taking taylor expansion of (pow x 2) in y
4.197 * [taylor]: Taking taylor expansion of x in y
4.197 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
4.197 * [taylor]: Taking taylor expansion of (pow y 2) in y
4.197 * [taylor]: Taking taylor expansion of y in y
4.199 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in x
4.199 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) in x
4.199 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
4.199 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.199 * [taylor]: Taking taylor expansion of x in x
4.199 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.199 * [taylor]: Taking taylor expansion of y in x
4.199 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
4.200 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.200 * [taylor]: Taking taylor expansion of y in x
4.200 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.200 * [taylor]: Taking taylor expansion of x in x
4.200 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
4.200 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.200 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.200 * [taylor]: Taking taylor expansion of x in x
4.200 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
4.200 * [taylor]: Taking taylor expansion of (pow y 2) in x
4.200 * [taylor]: Taking taylor expansion of y in x
4.202 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in x
4.202 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) in x
4.202 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
4.202 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.202 * [taylor]: Taking taylor expansion of x in x
4.202 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.202 * [taylor]: Taking taylor expansion of y in x
4.202 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
4.202 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.202 * [taylor]: Taking taylor expansion of y in x
4.202 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.202 * [taylor]: Taking taylor expansion of x in x
4.202 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
4.202 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.202 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.202 * [taylor]: Taking taylor expansion of x in x
4.203 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
4.203 * [taylor]: Taking taylor expansion of (pow y 2) in x
4.203 * [taylor]: Taking taylor expansion of y in x
4.204 * [taylor]: Taking taylor expansion of 1 in y
4.207 * [taylor]: Taking taylor expansion of 0 in y
4.211 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow y 2)))) in y
4.211 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 2))) in y
4.211 * [taylor]: Taking taylor expansion of 2 in y
4.211 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
4.211 * [taylor]: Taking taylor expansion of (pow y 2) in y
4.211 * [taylor]: Taking taylor expansion of y in y
4.219 * [taylor]: Taking taylor expansion of 0 in y
4.219 * [approximate]: Taking taylor expansion of (* -1 (/ (* (+ (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 x))) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))))) in (x y) around 0
4.219 * [taylor]: Taking taylor expansion of (* -1 (/ (* (+ (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 x))) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))))) in y
4.219 * [taylor]: Taking taylor expansion of -1 in y
4.219 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 x))) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in y
4.219 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 x))) in y
4.219 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
4.219 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.219 * [taylor]: Taking taylor expansion of y in y
4.220 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.220 * [taylor]: Taking taylor expansion of x in y
4.220 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
4.220 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.220 * [taylor]: Taking taylor expansion of y in y
4.220 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.220 * [taylor]: Taking taylor expansion of x in y
4.220 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y
4.220 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
4.220 * [taylor]: Taking taylor expansion of (pow x 2) in y
4.220 * [taylor]: Taking taylor expansion of x in y
4.220 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
4.220 * [taylor]: Taking taylor expansion of (pow y 2) in y
4.220 * [taylor]: Taking taylor expansion of y in y
4.222 * [taylor]: Taking taylor expansion of (* -1 (/ (* (+ (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 x))) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))))) in x
4.222 * [taylor]: Taking taylor expansion of -1 in x
4.222 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 x))) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in x
4.222 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 x))) in x
4.222 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
4.222 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.222 * [taylor]: Taking taylor expansion of y in x
4.222 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.222 * [taylor]: Taking taylor expansion of x in x
4.222 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
4.222 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.222 * [taylor]: Taking taylor expansion of y in x
4.222 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.223 * [taylor]: Taking taylor expansion of x in x
4.223 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
4.223 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.223 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.223 * [taylor]: Taking taylor expansion of x in x
4.223 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
4.223 * [taylor]: Taking taylor expansion of (pow y 2) in x
4.223 * [taylor]: Taking taylor expansion of y in x
4.225 * [taylor]: Taking taylor expansion of (* -1 (/ (* (+ (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 x))) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))))) in x
4.225 * [taylor]: Taking taylor expansion of -1 in x
4.225 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 x))) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in x
4.225 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 x))) in x
4.225 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
4.225 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.225 * [taylor]: Taking taylor expansion of y in x
4.225 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.225 * [taylor]: Taking taylor expansion of x in x
4.225 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
4.225 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.225 * [taylor]: Taking taylor expansion of y in x
4.225 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.225 * [taylor]: Taking taylor expansion of x in x
4.226 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
4.226 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.226 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.226 * [taylor]: Taking taylor expansion of x in x
4.226 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
4.226 * [taylor]: Taking taylor expansion of (pow y 2) in x
4.226 * [taylor]: Taking taylor expansion of y in x
4.228 * [taylor]: Taking taylor expansion of 1 in y
4.231 * [taylor]: Taking taylor expansion of 0 in y
4.235 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow y 2)))) in y
4.235 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 2))) in y
4.235 * [taylor]: Taking taylor expansion of 2 in y
4.235 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
4.235 * [taylor]: Taking taylor expansion of (pow y 2) in y
4.235 * [taylor]: Taking taylor expansion of y in y
4.249 * [taylor]: Taking taylor expansion of 0 in y
4.250 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2)
4.250 * [approximate]: Taking taylor expansion of (sqrt (+ (pow x 2) (pow y 2))) in (x y) around 0
4.250 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (pow y 2))) in y
4.250 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in y
4.250 * [taylor]: Taking taylor expansion of (pow x 2) in y
4.250 * [taylor]: Taking taylor expansion of x in y
4.250 * [taylor]: Taking taylor expansion of (pow y 2) in y
4.250 * [taylor]: Taking taylor expansion of y in y
4.250 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (pow y 2))) in x
4.250 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in x
4.250 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.250 * [taylor]: Taking taylor expansion of x in x
4.250 * [taylor]: Taking taylor expansion of (pow y 2) in x
4.250 * [taylor]: Taking taylor expansion of y in x
4.251 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (pow y 2))) in x
4.251 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in x
4.251 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.251 * [taylor]: Taking taylor expansion of x in x
4.251 * [taylor]: Taking taylor expansion of (pow y 2) in x
4.251 * [taylor]: Taking taylor expansion of y in x
4.252 * [taylor]: Taking taylor expansion of y in y
4.252 * [taylor]: Taking taylor expansion of 0 in y
4.253 * [taylor]: Taking taylor expansion of (/ 1/2 y) in y
4.253 * [taylor]: Taking taylor expansion of 1/2 in y
4.253 * [taylor]: Taking taylor expansion of y in y
4.255 * [taylor]: Taking taylor expansion of 0 in y
4.256 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in (x y) around 0
4.256 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in y
4.256 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y
4.256 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
4.256 * [taylor]: Taking taylor expansion of (pow x 2) in y
4.256 * [taylor]: Taking taylor expansion of x in y
4.256 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
4.256 * [taylor]: Taking taylor expansion of (pow y 2) in y
4.256 * [taylor]: Taking taylor expansion of y in y
4.258 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in x
4.258 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
4.258 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.258 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.258 * [taylor]: Taking taylor expansion of x in x
4.259 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
4.259 * [taylor]: Taking taylor expansion of (pow y 2) in x
4.259 * [taylor]: Taking taylor expansion of y in x
4.261 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in x
4.261 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
4.261 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.261 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.261 * [taylor]: Taking taylor expansion of x in x
4.262 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
4.262 * [taylor]: Taking taylor expansion of (pow y 2) in x
4.262 * [taylor]: Taking taylor expansion of y in x
4.264 * [taylor]: Taking taylor expansion of 1 in y
4.264 * [taylor]: Taking taylor expansion of 0 in y
4.266 * [taylor]: Taking taylor expansion of (/ 1/2 (pow y 2)) in y
4.266 * [taylor]: Taking taylor expansion of 1/2 in y
4.266 * [taylor]: Taking taylor expansion of (pow y 2) in y
4.266 * [taylor]: Taking taylor expansion of y in y
4.269 * [taylor]: Taking taylor expansion of 0 in y
4.270 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in (x y) around 0
4.270 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in y
4.270 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y
4.270 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
4.270 * [taylor]: Taking taylor expansion of (pow x 2) in y
4.270 * [taylor]: Taking taylor expansion of x in y
4.271 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
4.271 * [taylor]: Taking taylor expansion of (pow y 2) in y
4.271 * [taylor]: Taking taylor expansion of y in y
4.273 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in x
4.273 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
4.273 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.273 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.273 * [taylor]: Taking taylor expansion of x in x
4.274 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
4.274 * [taylor]: Taking taylor expansion of (pow y 2) in x
4.274 * [taylor]: Taking taylor expansion of y in x
4.276 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in x
4.276 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
4.276 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.276 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.276 * [taylor]: Taking taylor expansion of x in x
4.276 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
4.276 * [taylor]: Taking taylor expansion of (pow y 2) in x
4.276 * [taylor]: Taking taylor expansion of y in x
4.278 * [taylor]: Taking taylor expansion of 1 in y
4.278 * [taylor]: Taking taylor expansion of 0 in y
4.280 * [taylor]: Taking taylor expansion of (/ 1/2 (pow y 2)) in y
4.280 * [taylor]: Taking taylor expansion of 1/2 in y
4.280 * [taylor]: Taking taylor expansion of (pow y 2) in y
4.280 * [taylor]: Taking taylor expansion of y in y
4.283 * [taylor]: Taking taylor expansion of 0 in y
4.285 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
4.285 * [approximate]: Taking taylor expansion of (sqrt (+ (pow x 2) (pow y 2))) in (x y) around 0
4.285 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (pow y 2))) in y
4.285 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in y
4.285 * [taylor]: Taking taylor expansion of (pow x 2) in y
4.285 * [taylor]: Taking taylor expansion of x in y
4.285 * [taylor]: Taking taylor expansion of (pow y 2) in y
4.285 * [taylor]: Taking taylor expansion of y in y
4.285 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (pow y 2))) in x
4.285 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in x
4.285 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.285 * [taylor]: Taking taylor expansion of x in x
4.285 * [taylor]: Taking taylor expansion of (pow y 2) in x
4.285 * [taylor]: Taking taylor expansion of y in x
4.286 * [taylor]: Taking taylor expansion of (sqrt (+ (pow x 2) (pow y 2))) in x
4.286 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in x
4.286 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.286 * [taylor]: Taking taylor expansion of x in x
4.286 * [taylor]: Taking taylor expansion of (pow y 2) in x
4.286 * [taylor]: Taking taylor expansion of y in x
4.287 * [taylor]: Taking taylor expansion of y in y
4.287 * [taylor]: Taking taylor expansion of 0 in y
4.288 * [taylor]: Taking taylor expansion of (/ 1/2 y) in y
4.288 * [taylor]: Taking taylor expansion of 1/2 in y
4.288 * [taylor]: Taking taylor expansion of y in y
4.290 * [taylor]: Taking taylor expansion of 0 in y
4.291 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in (x y) around 0
4.291 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in y
4.291 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y
4.291 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
4.291 * [taylor]: Taking taylor expansion of (pow x 2) in y
4.291 * [taylor]: Taking taylor expansion of x in y
4.291 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
4.291 * [taylor]: Taking taylor expansion of (pow y 2) in y
4.291 * [taylor]: Taking taylor expansion of y in y
4.293 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in x
4.293 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
4.293 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.293 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.293 * [taylor]: Taking taylor expansion of x in x
4.294 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
4.294 * [taylor]: Taking taylor expansion of (pow y 2) in x
4.294 * [taylor]: Taking taylor expansion of y in x
4.296 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in x
4.296 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
4.296 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.296 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.296 * [taylor]: Taking taylor expansion of x in x
4.297 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
4.297 * [taylor]: Taking taylor expansion of (pow y 2) in x
4.297 * [taylor]: Taking taylor expansion of y in x
4.299 * [taylor]: Taking taylor expansion of 1 in y
4.299 * [taylor]: Taking taylor expansion of 0 in y
4.301 * [taylor]: Taking taylor expansion of (/ 1/2 (pow y 2)) in y
4.301 * [taylor]: Taking taylor expansion of 1/2 in y
4.301 * [taylor]: Taking taylor expansion of (pow y 2) in y
4.301 * [taylor]: Taking taylor expansion of y in y
4.304 * [taylor]: Taking taylor expansion of 0 in y
4.306 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in (x y) around 0
4.306 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in y
4.306 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y
4.306 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
4.306 * [taylor]: Taking taylor expansion of (pow x 2) in y
4.306 * [taylor]: Taking taylor expansion of x in y
4.306 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
4.306 * [taylor]: Taking taylor expansion of (pow y 2) in y
4.306 * [taylor]: Taking taylor expansion of y in y
4.308 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in x
4.308 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
4.308 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.308 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.308 * [taylor]: Taking taylor expansion of x in x
4.309 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
4.309 * [taylor]: Taking taylor expansion of (pow y 2) in x
4.309 * [taylor]: Taking taylor expansion of y in x
4.311 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in x
4.311 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
4.311 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.311 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.311 * [taylor]: Taking taylor expansion of x in x
4.312 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
4.312 * [taylor]: Taking taylor expansion of (pow y 2) in x
4.312 * [taylor]: Taking taylor expansion of y in x
4.314 * [taylor]: Taking taylor expansion of 1 in y
4.314 * [taylor]: Taking taylor expansion of 0 in y
4.316 * [taylor]: Taking taylor expansion of (/ 1/2 (pow y 2)) in y
4.316 * [taylor]: Taking taylor expansion of 1/2 in y
4.316 * [taylor]: Taking taylor expansion of (pow y 2) in y
4.316 * [taylor]: Taking taylor expansion of y in y
4.319 * [taylor]: Taking taylor expansion of 0 in y
4.320 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
4.321 * [approximate]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in (x y) around 0
4.321 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in y
4.321 * [taylor]: Taking taylor expansion of (pow x 2) in y
4.321 * [taylor]: Taking taylor expansion of x in y
4.321 * [taylor]: Taking taylor expansion of (pow y 2) in y
4.321 * [taylor]: Taking taylor expansion of y in y
4.321 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in x
4.321 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.321 * [taylor]: Taking taylor expansion of x in x
4.321 * [taylor]: Taking taylor expansion of (pow y 2) in x
4.321 * [taylor]: Taking taylor expansion of y in x
4.321 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in x
4.321 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.321 * [taylor]: Taking taylor expansion of x in x
4.321 * [taylor]: Taking taylor expansion of (pow y 2) in x
4.321 * [taylor]: Taking taylor expansion of y in x
4.321 * [taylor]: Taking taylor expansion of (pow y 2) in y
4.321 * [taylor]: Taking taylor expansion of y in y
4.321 * [taylor]: Taking taylor expansion of 0 in y
4.322 * [taylor]: Taking taylor expansion of 1 in y
4.324 * [taylor]: Taking taylor expansion of 0 in y
4.325 * [taylor]: Taking taylor expansion of 0 in y
4.326 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in (x y) around 0
4.326 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y
4.326 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
4.326 * [taylor]: Taking taylor expansion of (pow x 2) in y
4.326 * [taylor]: Taking taylor expansion of x in y
4.326 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
4.326 * [taylor]: Taking taylor expansion of (pow y 2) in y
4.326 * [taylor]: Taking taylor expansion of y in y
4.327 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
4.327 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.327 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.327 * [taylor]: Taking taylor expansion of x in x
4.327 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
4.327 * [taylor]: Taking taylor expansion of (pow y 2) in x
4.327 * [taylor]: Taking taylor expansion of y in x
4.327 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
4.327 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.327 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.327 * [taylor]: Taking taylor expansion of x in x
4.328 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
4.328 * [taylor]: Taking taylor expansion of (pow y 2) in x
4.328 * [taylor]: Taking taylor expansion of y in x
4.328 * [taylor]: Taking taylor expansion of 1 in y
4.329 * [taylor]: Taking taylor expansion of 0 in y
4.330 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
4.331 * [taylor]: Taking taylor expansion of (pow y 2) in y
4.331 * [taylor]: Taking taylor expansion of y in y
4.338 * [taylor]: Taking taylor expansion of 0 in y
4.341 * [taylor]: Taking taylor expansion of 0 in y
4.343 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in (x y) around 0
4.343 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y
4.343 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
4.343 * [taylor]: Taking taylor expansion of (pow x 2) in y
4.343 * [taylor]: Taking taylor expansion of x in y
4.343 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
4.343 * [taylor]: Taking taylor expansion of (pow y 2) in y
4.343 * [taylor]: Taking taylor expansion of y in y
4.344 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
4.344 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.344 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.344 * [taylor]: Taking taylor expansion of x in x
4.344 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
4.344 * [taylor]: Taking taylor expansion of (pow y 2) in x
4.344 * [taylor]: Taking taylor expansion of y in x
4.344 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
4.344 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.344 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.344 * [taylor]: Taking taylor expansion of x in x
4.345 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
4.345 * [taylor]: Taking taylor expansion of (pow y 2) in x
4.345 * [taylor]: Taking taylor expansion of y in x
4.345 * [taylor]: Taking taylor expansion of 1 in y
4.346 * [taylor]: Taking taylor expansion of 0 in y
4.348 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
4.348 * [taylor]: Taking taylor expansion of (pow y 2) in y
4.348 * [taylor]: Taking taylor expansion of y in y
4.350 * [taylor]: Taking taylor expansion of 0 in y
4.352 * [taylor]: Taking taylor expansion of 0 in y
4.354 * * * [progress]: simplifying candidates
4.355 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (+ (log (- x y)) (log (+ x y))) (+ (log (sqrt (+ (* x x) (* y y)))) (log (sqrt (+ (* x x) (* y y))))))
  (- (+ (log (- x y)) (log (+ x y))) (log (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y))))))
  (- (log (* (- x y) (+ x y))) (+ (log (sqrt (+ (* x x) (* y y)))) (log (sqrt (+ (* x x) (* y y))))))
  (- (log (* (- x y) (+ x y))) (log (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y))))))
  (log (/ (* (- x y) (+ x y)) (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y))))))
  (exp (/ (* (- x y) (+ x y)) (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y))))))
  (/ (* (* (* (- x y) (- x y)) (- x y)) (* (* (+ x y) (+ x y)) (+ x y))) (* (* (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y)))) (sqrt (+ (* x x) (* y y)))) (* (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y)))) (sqrt (+ (* x x) (* y y))))))
  (/ (* (* (* (- x y) (- x y)) (- x y)) (* (* (+ x y) (+ x y)) (+ x y))) (* (* (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y)))) (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y))))) (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y))))))
  (/ (* (* (* (- x y) (+ x y)) (* (- x y) (+ x y))) (* (- x y) (+ x y))) (* (* (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y)))) (sqrt (+ (* x x) (* y y)))) (* (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y)))) (sqrt (+ (* x x) (* y y))))))
  (/ (* (* (* (- x y) (+ x y)) (* (- x y) (+ x y))) (* (- x y) (+ x y))) (* (* (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y)))) (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y))))) (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y))))))
  (* (cbrt (/ (* (- x y) (+ x y)) (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y)))))) (cbrt (/ (* (- x y) (+ x y)) (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y)))))))
  (cbrt (/ (* (- x y) (+ x y)) (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y))))))
  (* (* (/ (* (- x y) (+ x y)) (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y))))) (/ (* (- x y) (+ x y)) (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y)))))) (/ (* (- x y) (+ x y)) (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y))))))
  (sqrt (/ (* (- x y) (+ x y)) (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y))))))
  (sqrt (/ (* (- x y) (+ x y)) (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y))))))
  (- (* (- x y) (+ x y)))
  (- (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y)))))
  (/ (- x y) (sqrt (+ (* x x) (* y y))))
  (/ (+ x y) (sqrt (+ (* x x) (* y y))))
  (/ 1 (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y)))))
  (/ (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y)))) (* (- x y) (+ x y)))
  (/ (* (- x y) (+ x y)) (sqrt (+ (* x x) (* y y))))
  (/ (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y)))) (+ x y))
  (/ (* (- x y) (+ x y)) (* (sqrt (+ (pow (* x x) 3) (pow (* y y) 3))) (sqrt (+ (pow (* x x) 3) (pow (* y y) 3)))))
  (/ (* (- x y) (+ x y)) (* (sqrt (+ (pow (* x x) 3) (pow (* y y) 3))) (sqrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))))
  (/ (* (- x y) (+ x y)) (* (sqrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (sqrt (+ (pow (* x x) 3) (pow (* y y) 3)))))
  (/ (* (- x y) (+ x y)) (* (sqrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (sqrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))))
  (/ (* (- x y) (+ x y)) (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (pow (* x x) 3) (pow (* y y) 3)))))
  (/ (* (- x y) (+ x y)) (* (sqrt (+ (* x x) (* y y))) (sqrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))))
  (/ (* (- x y) (+ x y)) (* (sqrt (+ (pow (* x x) 3) (pow (* y y) 3))) (sqrt (+ (* x x) (* y y)))))
  (/ (* (- x y) (+ x y)) (* (sqrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (sqrt (+ (* x x) (* y y)))))
  (* (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y)))) (* (+ (* x x) (+ (* y y) (* x y))) (+ (* x x) (- (* y y) (* x y)))))
  (* (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y)))) (* (+ (* x x) (+ (* y y) (* x y))) (- x y)))
  (* (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y)))) (* (+ x y) (+ (* x x) (- (* y y) (* x y)))))
  (* (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y)))) (* (+ x y) (- x y)))
  (* (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y)))) (+ (* x x) (- (* y y) (* x y))))
  (* (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y)))) (- x y))
  (* (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y)))) (+ (* x x) (+ (* y y) (* x y))))
  (* (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y)))) (+ x y))
  (log (sqrt (+ (* x x) (* y y))))
  (exp (sqrt (+ (* x x) (* y y))))
  (* (cbrt (sqrt (+ (* x x) (* y y)))) (cbrt (sqrt (+ (* x x) (* y y)))))
  (cbrt (sqrt (+ (* x x) (* y y))))
  (* (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y)))) (sqrt (+ (* x x) (* y y))))
  (sqrt (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))))
  (sqrt (cbrt (+ (* x x) (* y y))))
  (sqrt (sqrt (+ (* x x) (* y y))))
  (sqrt (sqrt (+ (* x x) (* y y))))
  (sqrt 1)
  (sqrt (+ (* x x) (* y y)))
  (sqrt (+ (pow (* x x) 3) (pow (* y y) 3)))
  (sqrt (+ (* (* x x) (* x x)) (- (* (* y y) (* y y)) (* (* x x) (* y y)))))
  (sqrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))
  (sqrt (- (* x x) (* y y)))
  (/ 1 2)
  (sqrt (sqrt (+ (* x x) (* y y))))
  (sqrt (sqrt (+ (* x x) (* y y))))
  (log (sqrt (+ (* x x) (* y y))))
  (exp (sqrt (+ (* x x) (* y y))))
  (* (cbrt (sqrt (+ (* x x) (* y y)))) (cbrt (sqrt (+ (* x x) (* y y)))))
  (cbrt (sqrt (+ (* x x) (* y y))))
  (* (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y)))) (sqrt (+ (* x x) (* y y))))
  (sqrt (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))))
  (sqrt (cbrt (+ (* x x) (* y y))))
  (sqrt (sqrt (+ (* x x) (* y y))))
  (sqrt (sqrt (+ (* x x) (* y y))))
  (sqrt 1)
  (sqrt (+ (* x x) (* y y)))
  (sqrt (+ (pow (* x x) 3) (pow (* y y) 3)))
  (sqrt (+ (* (* x x) (* x x)) (- (* (* y y) (* y y)) (* (* x x) (* y y)))))
  (sqrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))
  (sqrt (- (* x x) (* y y)))
  (/ 1 2)
  (sqrt (sqrt (+ (* x x) (* y y))))
  (sqrt (sqrt (+ (* x x) (* y y))))
  (+ 1/2 1/2)
  (+ 1/2 (/ 1 2))
  (+ 1 1)
  (+ (/ 1 2) 1/2)
  (+ (/ 1 2) (/ 1 2))
  (* (+ (* x x) (* y y)) (+ (* x x) (* y y)))
  (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y))))
  (* (+ (* x x) (* y y)) (+ (* x x) (* y y)))
  (+ 1 1)
  (+ (log (sqrt (+ (* x x) (* y y)))) (log (sqrt (+ (* x x) (* y y)))))
  (log (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y)))))
  (exp (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y)))))
  (* (* (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y)))) (sqrt (+ (* x x) (* y y)))) (* (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y)))) (sqrt (+ (* x x) (* y y)))))
  (* (cbrt (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y))))) (cbrt (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y))))))
  (cbrt (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y)))))
  (* (* (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y)))) (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y))))) (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y)))))
  (* (+ (* x x) (* y y)) (+ (* x x) (* y y)))
  (sqrt (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y)))))
  (sqrt (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y)))))
  (* (sqrt (+ (pow (* x x) 3) (pow (* y y) 3))) (sqrt (+ (pow (* x x) 3) (pow (* y y) 3))))
  (* (sqrt (+ (* (* x x) (* x x)) (- (* (* y y) (* y y)) (* (* x x) (* y y))))) (sqrt (+ (* (* x x) (* x x)) (- (* (* y y) (* y y)) (* (* x x) (* y y))))))
  (* (sqrt (+ (pow (* x x) 3) (pow (* y y) 3))) (sqrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))))
  (* (sqrt (+ (* (* x x) (* x x)) (- (* (* y y) (* y y)) (* (* x x) (* y y))))) (sqrt (- (* x x) (* y y))))
  (* (sqrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (sqrt (+ (pow (* x x) 3) (pow (* y y) 3))))
  (* (sqrt (- (* x x) (* y y))) (sqrt (+ (* (* x x) (* x x)) (- (* (* y y) (* y y)) (* (* x x) (* y y))))))
  (* (sqrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (sqrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))))
  (* (sqrt (- (* x x) (* y y))) (sqrt (- (* x x) (* y y))))
  (* (* (cbrt (sqrt (+ (* x x) (* y y)))) (cbrt (sqrt (+ (* x x) (* y y))))) (* (cbrt (sqrt (+ (* x x) (* y y)))) (cbrt (sqrt (+ (* x x) (* y y))))))
  (* (cbrt (sqrt (+ (* x x) (* y y)))) (cbrt (sqrt (+ (* x x) (* y y)))))
  (* (sqrt (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y))))) (sqrt (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y))))))
  (* (sqrt (cbrt (+ (* x x) (* y y)))) (sqrt (cbrt (+ (* x x) (* y y)))))
  (* (sqrt (sqrt (+ (* x x) (* y y)))) (sqrt (sqrt (+ (* x x) (* y y)))))
  (* (sqrt (sqrt (+ (* x x) (* y y)))) (sqrt (sqrt (+ (* x x) (* y y)))))
  (* (sqrt (sqrt (+ (* x x) (* y y)))) (sqrt (sqrt (+ (* x x) (* y y)))))
  (* (sqrt (sqrt (+ (* x x) (* y y)))) (sqrt (sqrt (+ (* x x) (* y y)))))
  (* (sqrt 1) (sqrt 1))
  (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y))))
  (* (sqrt (sqrt (+ (* x x) (* y y)))) (sqrt (sqrt (+ (* x x) (* y y)))))
  (* (sqrt (sqrt (+ (* x x) (* y y)))) (sqrt (sqrt (+ (* x x) (* y y)))))
  (* (sqrt (sqrt (+ (* x x) (* y y)))) (sqrt (sqrt (+ (* x x) (* y y)))))
  (* (sqrt (sqrt (+ (* x x) (* y y)))) (sqrt (sqrt (+ (* x x) (* y y)))))
  (* 1 1)
  (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y))))
  (* (sqrt (sqrt (+ (* x x) (* y y)))) (sqrt (sqrt (+ (* x x) (* y y)))))
  (* (sqrt (sqrt (+ (* x x) (* y y)))) (sqrt (sqrt (+ (* x x) (* y y)))))
  (* (sqrt (sqrt (+ (* x x) (* y y)))) (sqrt (sqrt (+ (* x x) (* y y)))))
  (* (sqrt (sqrt (+ (* x x) (* y y)))) (sqrt (sqrt (+ (* x x) (* y y)))))
  (* (sqrt (sqrt (+ (* x x) (* y y)))) (sqrt (sqrt (+ (* x x) (* y y)))))
  (* (sqrt (sqrt (+ (* x x) (* y y)))) (sqrt (sqrt (+ (* x x) (* y y)))))
  (* (sqrt (sqrt (+ (* x x) (* y y)))) (sqrt (sqrt (+ (* x x) (* y y)))))
  (* (sqrt (sqrt (+ (* x x) (* y y)))) (sqrt (sqrt (+ (* x x) (* y y)))))
  (* 2 1/2)
  (* 2 1)
  (* 2 (/ 1 2))
  (* (sqrt (+ (* x x) (* y y))) (* (cbrt (sqrt (+ (* x x) (* y y)))) (cbrt (sqrt (+ (* x x) (* y y))))))
  (* (sqrt (+ (* x x) (* y y))) (sqrt (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y))))))
  (* (sqrt (+ (* x x) (* y y))) (sqrt (sqrt (+ (* x x) (* y y)))))
  (* (sqrt (+ (* x x) (* y y))) (sqrt 1))
  (* (sqrt (+ (* x x) (* y y))) (sqrt (sqrt (+ (* x x) (* y y)))))
  (* (sqrt (+ (* x x) (* y y))) 1)
  (* (cbrt (sqrt (+ (* x x) (* y y)))) (sqrt (+ (* x x) (* y y))))
  (* (sqrt (cbrt (+ (* x x) (* y y)))) (sqrt (+ (* x x) (* y y))))
  (* (sqrt (sqrt (+ (* x x) (* y y)))) (sqrt (+ (* x x) (* y y))))
  (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y))))
  (* (sqrt (sqrt (+ (* x x) (* y y)))) (sqrt (+ (* x x) (* y y))))
  (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y))))
  (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (pow (* x x) 3) (pow (* y y) 3))))
  (* (sqrt (+ (* x x) (* y y))) (sqrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))))
  (* (sqrt (+ (pow (* x x) 3) (pow (* y y) 3))) (sqrt (+ (* x x) (* y y))))
  (* (sqrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (sqrt (+ (* x x) (* y y))))
  -1
  1
  1
  y
  x
  (* -1 x)
  y
  x
  (* -1 x)
  (+ (pow x 2) (pow y 2))
  (+ (pow x 2) (pow y 2))
  (+ (pow x 2) (pow y 2))
4.362 * * [simplify]: iteration  0 :  149  enodes  (cost  3134 )
4.413 * * [simplify]: iteration  1 :  443  enodes  (cost  2122 )
4.586 * * [simplify]: iteration  2 :  2210  enodes  (cost  1726 )
5.387 * * [simplify]: iteration  done :  5001  enodes  (cost  1726 )
5.388 * [simplify]: Simplified to:
   (log (/ (* (- x y) (+ x y)) (+ (pow y 2) (pow x 2))))
  (log (/ (* (- x y) (+ x y)) (+ (pow y 2) (pow x 2))))
  (log (/ (* (- x y) (+ x y)) (+ (pow y 2) (pow x 2))))
  (log (/ (* (- x y) (+ x y)) (+ (pow y 2) (pow x 2))))
  (log (/ (* (- x y) (+ x y)) (+ (pow y 2) (pow x 2))))
  (exp (/ (* (- x y) (+ x y)) (+ (pow y 2) (pow x 2))))
  (pow (/ (* (- x y) (+ x y)) (+ (pow y 2) (pow x 2))) 3)
  (pow (/ (* (- x y) (+ x y)) (+ (pow y 2) (pow x 2))) 3)
  (pow (/ (* (- x y) (+ x y)) (+ (pow y 2) (pow x 2))) 3)
  (pow (/ (* (- x y) (+ x y)) (+ (pow y 2) (pow x 2))) 3)
  (* (cbrt (/ (* (- x y) (+ x y)) (+ (pow y 2) (pow x 2)))) (cbrt (/ (* (- x y) (+ x y)) (+ (pow y 2) (pow x 2)))))
  (cbrt (/ (* (- x y) (+ x y)) (+ (pow y 2) (pow x 2))))
  (pow (/ (* (- x y) (+ x y)) (+ (pow y 2) (pow x 2))) 3)
  (sqrt (/ (* (- x y) (+ x y)) (+ (pow y 2) (pow x 2))))
  (sqrt (/ (* (- x y) (+ x y)) (+ (pow y 2) (pow x 2))))
  (- (* (- x y) (+ x y)))
  (- (+ (pow y 2) (pow x 2)))
  (/ (- x y) (sqrt (+ (* x x) (* y y))))
  (/ (+ x y) (sqrt (+ (* x x) (* y y))))
  (/ 1 (+ (pow y 2) (pow x 2)))
  (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y)))
  (* (- x y) (/ (+ x y) (sqrt (+ (* x x) (* y y)))))
  (/ (+ (* x x) (* y y)) (+ x y))
  (* (/ (- x y) (+ (pow x 6) (pow y 6))) (+ x y))
  (* (/ (+ x y) (sqrt (+ (pow x 6) (pow y 6)))) (/ (- x y) (sqrt (- (pow x 4) (pow y 4)))))
  (* (/ (+ x y) (sqrt (+ (pow x 6) (pow y 6)))) (/ (- x y) (sqrt (- (pow x 4) (pow y 4)))))
  (/ (* (+ x y) (- x y)) (- (pow x 4) (pow y 4)))
  (/ (/ (* (- x y) (+ x y)) (sqrt (+ (* x x) (* y y)))) (sqrt (+ (pow x 6) (pow y 6))))
  (* (/ (+ x y) (sqrt (+ (* x x) (* y y)))) (/ (- x y) (sqrt (- (pow x 4) (pow y 4)))))
  (/ (/ (* (- x y) (+ x y)) (sqrt (+ (* x x) (* y y)))) (sqrt (+ (pow x 6) (pow y 6))))
  (* (/ (+ x y) (sqrt (+ (* x x) (* y y)))) (/ (- x y) (sqrt (- (pow x 4) (pow y 4)))))
  (* (* (+ (* y (+ x y)) (pow x 2)) (+ (pow y 2) (pow x 2))) (+ (* x x) (* y (- y x))))
  (* (+ (* x x) (* y y)) (* (+ (* y (+ x y)) (pow x 2)) (- x y)))
  (* (* (+ x y) (+ (pow x 2) (pow y 2))) (+ (* x x) (* y (- y x))))
  (- (pow x 4) (pow y 4))
  (* (+ (* x x) (* y y)) (+ (* x x) (* y (- y x))))
  (* (- x y) (+ (* x x) (* y y)))
  (* (+ (* y (+ x y)) (pow x 2)) (+ (pow y 2) (pow x 2)))
  (* (+ x y) (+ (pow x 2) (pow y 2)))
  (log (sqrt (+ (* x x) (* y y))))
  (exp (sqrt (+ (* x x) (* y y))))
  (* (cbrt (sqrt (+ (* x x) (* y y)))) (cbrt (sqrt (+ (* x x) (* y y)))))
  (cbrt (sqrt (+ (* x x) (* y y))))
  (* (+ (pow x 2) (pow y 2)) (sqrt (+ (* x x) (* y y))))
  (fabs (cbrt (+ (pow y 2) (pow x 2))))
  (sqrt (cbrt (+ (* x x) (* y y))))
  (sqrt (sqrt (+ (* x x) (* y y))))
  (sqrt (sqrt (+ (* x x) (* y y))))
  1
  (sqrt (+ (* x x) (* y y)))
  (sqrt (+ (pow x 6) (pow y 6)))
  (sqrt (- (+ (pow y 4) (pow x 4)) (* (* x x) (* y y))))
  (sqrt (- (pow x 4) (pow y 4)))
  (sqrt (- (* x x) (* y y)))
  1/2
  (sqrt (sqrt (+ (* x x) (* y y))))
  (sqrt (sqrt (+ (* x x) (* y y))))
  (log (sqrt (+ (* x x) (* y y))))
  (exp (sqrt (+ (* x x) (* y y))))
  (* (cbrt (sqrt (+ (* x x) (* y y)))) (cbrt (sqrt (+ (* x x) (* y y)))))
  (cbrt (sqrt (+ (* x x) (* y y))))
  (* (+ (pow x 2) (pow y 2)) (sqrt (+ (* x x) (* y y))))
  (fabs (cbrt (+ (pow y 2) (pow x 2))))
  (sqrt (cbrt (+ (* x x) (* y y))))
  (sqrt (sqrt (+ (* x x) (* y y))))
  (sqrt (sqrt (+ (* x x) (* y y))))
  1
  (sqrt (+ (* x x) (* y y)))
  (sqrt (+ (pow x 6) (pow y 6)))
  (sqrt (- (+ (pow y 4) (pow x 4)) (* (* x x) (* y y))))
  (sqrt (- (pow x 4) (pow y 4)))
  (sqrt (- (* x x) (* y y)))
  1/2
  (sqrt (sqrt (+ (* x x) (* y y))))
  (sqrt (sqrt (+ (* x x) (* y y))))
  1
  1
  2
  1
  1
  (* (+ (pow y 2) (pow x 2)) (+ (pow y 2) (pow x 2)))
  (+ (* x x) (* y y))
  (* (+ (pow y 2) (pow x 2)) (+ (pow y 2) (pow x 2)))
  2
  (log (+ (pow y 2) (pow x 2)))
  (log (+ (pow y 2) (pow x 2)))
  (exp (+ (pow y 2) (pow x 2)))
  (pow (+ (* x x) (* y y)) 3)
  (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y))))
  (cbrt (+ (* x x) (* y y)))
  (pow (+ (* x x) (* y y)) 3)
  (* (+ (pow y 2) (pow x 2)) (+ (pow y 2) (pow x 2)))
  (sqrt (+ (* x x) (* y y)))
  (sqrt (+ (* x x) (* y y)))
  (+ (pow x 6) (pow y 6))
  (- (+ (pow y 4) (pow x 4)) (* (* x x) (* y y)))
  (* (sqrt (+ (pow x 6) (pow y 6))) (sqrt (- (pow x 4) (pow y 4))))
  (* (sqrt (- (+ (pow y 4) (pow x 4)) (* (* x x) (* y y)))) (sqrt (- (* x x) (* y y))))
  (* (sqrt (+ (pow x 6) (pow y 6))) (sqrt (- (pow x 4) (pow y 4))))
  (* (sqrt (- (+ (pow y 4) (pow x 4)) (* (* x x) (* y y)))) (sqrt (- (* x x) (* y y))))
  (- (pow x 4) (pow y 4))
  (* (+ x y) (- x y))
  (* (cbrt (sqrt (+ (* x x) (* y y)))) (pow (cbrt (sqrt (+ (* x x) (* y y)))) 3))
  (* (cbrt (sqrt (+ (* x x) (* y y)))) (cbrt (sqrt (+ (* x x) (* y y)))))
  (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y))))
  (cbrt (+ (* x x) (* y y)))
  (sqrt (+ (* x x) (* y y)))
  (sqrt (+ (* x x) (* y y)))
  (sqrt (+ (* x x) (* y y)))
  (sqrt (+ (* x x) (* y y)))
  1
  (+ (* x x) (* y y))
  (sqrt (+ (* x x) (* y y)))
  (sqrt (+ (* x x) (* y y)))
  (sqrt (+ (* x x) (* y y)))
  (sqrt (+ (* x x) (* y y)))
  1
  (+ (* x x) (* y y))
  (sqrt (+ (* x x) (* y y)))
  (sqrt (+ (* x x) (* y y)))
  (sqrt (+ (* x x) (* y y)))
  (sqrt (+ (* x x) (* y y)))
  (sqrt (+ (* x x) (* y y)))
  (sqrt (+ (* x x) (* y y)))
  (sqrt (+ (* x x) (* y y)))
  (sqrt (+ (* x x) (* y y)))
  1
  2
  1
  (* (sqrt (+ (* x x) (* y y))) (* (cbrt (sqrt (+ (* x x) (* y y)))) (cbrt (sqrt (+ (* x x) (* y y))))))
  (* (fabs (cbrt (+ (pow y 2) (pow x 2)))) (sqrt (+ (* x x) (* y y))))
  (pow (sqrt (sqrt (+ (* x x) (* y y)))) 3)
  (sqrt (+ (* x x) (* y y)))
  (pow (sqrt (sqrt (+ (* x x) (* y y)))) 3)
  (sqrt (+ (* x x) (* y y)))
  (* (cbrt (sqrt (+ (* x x) (* y y)))) (sqrt (+ (* x x) (* y y))))
  (* (sqrt (cbrt (+ (* x x) (* y y)))) (sqrt (+ (* x x) (* y y))))
  (pow (sqrt (sqrt (+ (* x x) (* y y)))) 3)
  (+ (* x x) (* y y))
  (pow (sqrt (sqrt (+ (* x x) (* y y)))) 3)
  (+ (* x x) (* y y))
  (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (pow x 6) (pow y 6))))
  (* (sqrt (+ (* x x) (* y y))) (sqrt (- (pow x 4) (pow y 4))))
  (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (pow x 6) (pow y 6))))
  (* (sqrt (+ (* x x) (* y y))) (sqrt (- (pow x 4) (pow y 4))))
  -1
  1
  1
  y
  x
  (- x)
  y
  x
  (- x)
  (+ (* x x) (* y y))
  (+ (* x x) (* y y))
  (+ (* x x) (* y y))
5.389 * * * [progress]: adding candidates to table
5.652 * * [progress]: iteration 3 / 4
5.652 * * * [progress]: picking best candidate
5.656 * * * * [pick]: Picked  #<alt (λ (x y) (/ 1 (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y)))))>
5.656 * * * [progress]: localizing error
5.667 * * * [progress]: generating rewritten candidates
5.667 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
5.698 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
5.732 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1)
5.748 * * * [progress]: generating series expansions
5.748 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
5.748 * [approximate]: Taking taylor expansion of (/ (+ (pow x 2) (pow y 2)) (* (+ x y) (- x y))) in (y x) around 0
5.748 * [taylor]: Taking taylor expansion of (/ (+ (pow x 2) (pow y 2)) (* (+ x y) (- x y))) in x
5.748 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in x
5.748 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.748 * [taylor]: Taking taylor expansion of x in x
5.748 * [taylor]: Taking taylor expansion of (pow y 2) in x
5.748 * [taylor]: Taking taylor expansion of y in x
5.748 * [taylor]: Taking taylor expansion of (* (+ x y) (- x y)) in x
5.748 * [taylor]: Taking taylor expansion of (+ x y) in x
5.748 * [taylor]: Taking taylor expansion of x in x
5.748 * [taylor]: Taking taylor expansion of y in x
5.748 * [taylor]: Taking taylor expansion of (- x y) in x
5.748 * [taylor]: Taking taylor expansion of x in x
5.748 * [taylor]: Taking taylor expansion of y in x
5.749 * [taylor]: Taking taylor expansion of (/ (+ (pow x 2) (pow y 2)) (* (+ x y) (- x y))) in y
5.749 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in y
5.749 * [taylor]: Taking taylor expansion of (pow x 2) in y
5.749 * [taylor]: Taking taylor expansion of x in y
5.749 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.749 * [taylor]: Taking taylor expansion of y in y
5.749 * [taylor]: Taking taylor expansion of (* (+ x y) (- x y)) in y
5.749 * [taylor]: Taking taylor expansion of (+ x y) in y
5.749 * [taylor]: Taking taylor expansion of x in y
5.749 * [taylor]: Taking taylor expansion of y in y
5.749 * [taylor]: Taking taylor expansion of (- x y) in y
5.749 * [taylor]: Taking taylor expansion of x in y
5.749 * [taylor]: Taking taylor expansion of y in y
5.750 * [taylor]: Taking taylor expansion of (/ (+ (pow x 2) (pow y 2)) (* (+ x y) (- x y))) in y
5.750 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in y
5.750 * [taylor]: Taking taylor expansion of (pow x 2) in y
5.750 * [taylor]: Taking taylor expansion of x in y
5.750 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.750 * [taylor]: Taking taylor expansion of y in y
5.750 * [taylor]: Taking taylor expansion of (* (+ x y) (- x y)) in y
5.750 * [taylor]: Taking taylor expansion of (+ x y) in y
5.750 * [taylor]: Taking taylor expansion of x in y
5.750 * [taylor]: Taking taylor expansion of y in y
5.750 * [taylor]: Taking taylor expansion of (- x y) in y
5.750 * [taylor]: Taking taylor expansion of x in y
5.750 * [taylor]: Taking taylor expansion of y in y
5.750 * [taylor]: Taking taylor expansion of 1 in x
5.752 * [taylor]: Taking taylor expansion of 0 in x
5.754 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow x 2))) in x
5.754 * [taylor]: Taking taylor expansion of 2 in x
5.754 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.754 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.754 * [taylor]: Taking taylor expansion of x in x
5.760 * [taylor]: Taking taylor expansion of 0 in x
5.760 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (* (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x)))) in (y x) around 0
5.760 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (* (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x)))) in x
5.760 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
5.760 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.760 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.760 * [taylor]: Taking taylor expansion of x in x
5.761 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
5.761 * [taylor]: Taking taylor expansion of (pow y 2) in x
5.761 * [taylor]: Taking taylor expansion of y in x
5.761 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) in x
5.761 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
5.761 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.761 * [taylor]: Taking taylor expansion of x in x
5.761 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.761 * [taylor]: Taking taylor expansion of y in x
5.761 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
5.761 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.761 * [taylor]: Taking taylor expansion of y in x
5.761 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.762 * [taylor]: Taking taylor expansion of x in x
5.763 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (* (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x)))) in y
5.763 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y
5.763 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
5.763 * [taylor]: Taking taylor expansion of (pow x 2) in y
5.763 * [taylor]: Taking taylor expansion of x in y
5.763 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
5.763 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.763 * [taylor]: Taking taylor expansion of y in y
5.764 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) in y
5.764 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
5.764 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.764 * [taylor]: Taking taylor expansion of x in y
5.764 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.764 * [taylor]: Taking taylor expansion of y in y
5.764 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
5.764 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.764 * [taylor]: Taking taylor expansion of y in y
5.764 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.764 * [taylor]: Taking taylor expansion of x in y
5.766 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (* (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x)))) in y
5.766 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y
5.766 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
5.766 * [taylor]: Taking taylor expansion of (pow x 2) in y
5.766 * [taylor]: Taking taylor expansion of x in y
5.766 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
5.766 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.766 * [taylor]: Taking taylor expansion of y in y
5.767 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) in y
5.767 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
5.767 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.767 * [taylor]: Taking taylor expansion of x in y
5.767 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.767 * [taylor]: Taking taylor expansion of y in y
5.767 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
5.767 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.767 * [taylor]: Taking taylor expansion of y in y
5.767 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.767 * [taylor]: Taking taylor expansion of x in y
5.769 * [taylor]: Taking taylor expansion of -1 in x
5.772 * [taylor]: Taking taylor expansion of 0 in x
5.776 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow x 2)))) in x
5.776 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow x 2))) in x
5.776 * [taylor]: Taking taylor expansion of 2 in x
5.776 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.776 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.776 * [taylor]: Taking taylor expansion of x in x
5.784 * [taylor]: Taking taylor expansion of 0 in x
5.784 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (* (+ (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 x))))) in (y x) around 0
5.784 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (* (+ (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 x))))) in x
5.784 * [taylor]: Taking taylor expansion of -1 in x
5.784 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (* (+ (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 x)))) in x
5.784 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
5.784 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.784 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.784 * [taylor]: Taking taylor expansion of x in x
5.785 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
5.785 * [taylor]: Taking taylor expansion of (pow y 2) in x
5.785 * [taylor]: Taking taylor expansion of y in x
5.785 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 x))) in x
5.785 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
5.785 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.785 * [taylor]: Taking taylor expansion of y in x
5.785 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.785 * [taylor]: Taking taylor expansion of x in x
5.785 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
5.785 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.785 * [taylor]: Taking taylor expansion of y in x
5.785 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.785 * [taylor]: Taking taylor expansion of x in x
5.787 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (* (+ (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 x))))) in y
5.787 * [taylor]: Taking taylor expansion of -1 in y
5.787 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (* (+ (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 x)))) in y
5.787 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y
5.787 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
5.787 * [taylor]: Taking taylor expansion of (pow x 2) in y
5.787 * [taylor]: Taking taylor expansion of x in y
5.787 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
5.787 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.787 * [taylor]: Taking taylor expansion of y in y
5.788 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 x))) in y
5.788 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
5.788 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.788 * [taylor]: Taking taylor expansion of y in y
5.788 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.788 * [taylor]: Taking taylor expansion of x in y
5.788 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
5.788 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.788 * [taylor]: Taking taylor expansion of y in y
5.788 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.789 * [taylor]: Taking taylor expansion of x in y
5.790 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (* (+ (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 x))))) in y
5.790 * [taylor]: Taking taylor expansion of -1 in y
5.790 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (* (+ (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 x)))) in y
5.790 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y
5.790 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
5.790 * [taylor]: Taking taylor expansion of (pow x 2) in y
5.790 * [taylor]: Taking taylor expansion of x in y
5.790 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
5.790 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.790 * [taylor]: Taking taylor expansion of y in y
5.790 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 x))) in y
5.791 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
5.791 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.791 * [taylor]: Taking taylor expansion of y in y
5.791 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.791 * [taylor]: Taking taylor expansion of x in y
5.791 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
5.791 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.791 * [taylor]: Taking taylor expansion of y in y
5.791 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.791 * [taylor]: Taking taylor expansion of x in y
5.793 * [taylor]: Taking taylor expansion of -1 in x
5.796 * [taylor]: Taking taylor expansion of 0 in x
5.800 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow x 2)))) in x
5.800 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow x 2))) in x
5.800 * [taylor]: Taking taylor expansion of 2 in x
5.800 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.800 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.800 * [taylor]: Taking taylor expansion of x in x
5.812 * [taylor]: Taking taylor expansion of 0 in x
5.812 * * * * [progress]: [ 2 / 3 ] generating series at (2)
5.813 * [approximate]: Taking taylor expansion of (/ (* (+ x y) (- x y)) (+ (pow x 2) (pow y 2))) in (y x) around 0
5.813 * [taylor]: Taking taylor expansion of (/ (* (+ x y) (- x y)) (+ (pow x 2) (pow y 2))) in x
5.813 * [taylor]: Taking taylor expansion of (* (+ x y) (- x y)) in x
5.813 * [taylor]: Taking taylor expansion of (+ x y) in x
5.813 * [taylor]: Taking taylor expansion of x in x
5.813 * [taylor]: Taking taylor expansion of y in x
5.813 * [taylor]: Taking taylor expansion of (- x y) in x
5.813 * [taylor]: Taking taylor expansion of x in x
5.813 * [taylor]: Taking taylor expansion of y in x
5.813 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in x
5.813 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.813 * [taylor]: Taking taylor expansion of x in x
5.813 * [taylor]: Taking taylor expansion of (pow y 2) in x
5.813 * [taylor]: Taking taylor expansion of y in x
5.813 * [taylor]: Taking taylor expansion of (/ (* (+ x y) (- x y)) (+ (pow x 2) (pow y 2))) in y
5.813 * [taylor]: Taking taylor expansion of (* (+ x y) (- x y)) in y
5.813 * [taylor]: Taking taylor expansion of (+ x y) in y
5.813 * [taylor]: Taking taylor expansion of x in y
5.813 * [taylor]: Taking taylor expansion of y in y
5.813 * [taylor]: Taking taylor expansion of (- x y) in y
5.813 * [taylor]: Taking taylor expansion of x in y
5.813 * [taylor]: Taking taylor expansion of y in y
5.813 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in y
5.813 * [taylor]: Taking taylor expansion of (pow x 2) in y
5.813 * [taylor]: Taking taylor expansion of x in y
5.813 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.813 * [taylor]: Taking taylor expansion of y in y
5.814 * [taylor]: Taking taylor expansion of (/ (* (+ x y) (- x y)) (+ (pow x 2) (pow y 2))) in y
5.814 * [taylor]: Taking taylor expansion of (* (+ x y) (- x y)) in y
5.814 * [taylor]: Taking taylor expansion of (+ x y) in y
5.814 * [taylor]: Taking taylor expansion of x in y
5.814 * [taylor]: Taking taylor expansion of y in y
5.814 * [taylor]: Taking taylor expansion of (- x y) in y
5.814 * [taylor]: Taking taylor expansion of x in y
5.814 * [taylor]: Taking taylor expansion of y in y
5.814 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in y
5.814 * [taylor]: Taking taylor expansion of (pow x 2) in y
5.814 * [taylor]: Taking taylor expansion of x in y
5.814 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.814 * [taylor]: Taking taylor expansion of y in y
5.815 * [taylor]: Taking taylor expansion of 1 in x
5.816 * [taylor]: Taking taylor expansion of 0 in x
5.818 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow x 2)))) in x
5.818 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow x 2))) in x
5.818 * [taylor]: Taking taylor expansion of 2 in x
5.818 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.818 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.818 * [taylor]: Taking taylor expansion of x in x
5.824 * [taylor]: Taking taylor expansion of 0 in x
5.824 * [approximate]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in (y x) around 0
5.824 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in x
5.824 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) in x
5.824 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
5.824 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.824 * [taylor]: Taking taylor expansion of x in x
5.825 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.825 * [taylor]: Taking taylor expansion of y in x
5.825 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
5.825 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.825 * [taylor]: Taking taylor expansion of y in x
5.825 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.825 * [taylor]: Taking taylor expansion of x in x
5.825 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
5.825 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.825 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.825 * [taylor]: Taking taylor expansion of x in x
5.825 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
5.826 * [taylor]: Taking taylor expansion of (pow y 2) in x
5.826 * [taylor]: Taking taylor expansion of y in x
5.827 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in y
5.827 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) in y
5.827 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
5.827 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.827 * [taylor]: Taking taylor expansion of x in y
5.827 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.827 * [taylor]: Taking taylor expansion of y in y
5.827 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
5.827 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.827 * [taylor]: Taking taylor expansion of y in y
5.827 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.827 * [taylor]: Taking taylor expansion of x in y
5.828 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y
5.828 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
5.828 * [taylor]: Taking taylor expansion of (pow x 2) in y
5.828 * [taylor]: Taking taylor expansion of x in y
5.828 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
5.828 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.828 * [taylor]: Taking taylor expansion of y in y
5.830 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in y
5.830 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) in y
5.830 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
5.830 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.830 * [taylor]: Taking taylor expansion of x in y
5.830 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.830 * [taylor]: Taking taylor expansion of y in y
5.830 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
5.830 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.830 * [taylor]: Taking taylor expansion of y in y
5.831 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.831 * [taylor]: Taking taylor expansion of x in y
5.831 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y
5.831 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
5.831 * [taylor]: Taking taylor expansion of (pow x 2) in y
5.831 * [taylor]: Taking taylor expansion of x in y
5.831 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
5.831 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.831 * [taylor]: Taking taylor expansion of y in y
5.833 * [taylor]: Taking taylor expansion of -1 in x
5.835 * [taylor]: Taking taylor expansion of 0 in x
5.839 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow x 2))) in x
5.839 * [taylor]: Taking taylor expansion of 2 in x
5.839 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.839 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.839 * [taylor]: Taking taylor expansion of x in x
5.847 * [taylor]: Taking taylor expansion of 0 in x
5.847 * [approximate]: Taking taylor expansion of (* -1 (/ (* (+ (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 x))) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))))) in (y x) around 0
5.847 * [taylor]: Taking taylor expansion of (* -1 (/ (* (+ (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 x))) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))))) in x
5.847 * [taylor]: Taking taylor expansion of -1 in x
5.847 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 x))) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in x
5.847 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 x))) in x
5.847 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
5.847 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.847 * [taylor]: Taking taylor expansion of y in x
5.847 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.847 * [taylor]: Taking taylor expansion of x in x
5.848 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
5.848 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.848 * [taylor]: Taking taylor expansion of y in x
5.848 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.848 * [taylor]: Taking taylor expansion of x in x
5.848 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
5.848 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.848 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.848 * [taylor]: Taking taylor expansion of x in x
5.849 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
5.849 * [taylor]: Taking taylor expansion of (pow y 2) in x
5.849 * [taylor]: Taking taylor expansion of y in x
5.850 * [taylor]: Taking taylor expansion of (* -1 (/ (* (+ (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 x))) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))))) in y
5.850 * [taylor]: Taking taylor expansion of -1 in y
5.850 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 x))) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in y
5.850 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 x))) in y
5.850 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
5.850 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.850 * [taylor]: Taking taylor expansion of y in y
5.851 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.851 * [taylor]: Taking taylor expansion of x in y
5.851 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
5.851 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.851 * [taylor]: Taking taylor expansion of y in y
5.851 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.851 * [taylor]: Taking taylor expansion of x in y
5.851 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y
5.851 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
5.851 * [taylor]: Taking taylor expansion of (pow x 2) in y
5.851 * [taylor]: Taking taylor expansion of x in y
5.851 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
5.851 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.851 * [taylor]: Taking taylor expansion of y in y
5.853 * [taylor]: Taking taylor expansion of (* -1 (/ (* (+ (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 x))) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))))) in y
5.853 * [taylor]: Taking taylor expansion of -1 in y
5.853 * [taylor]: Taking taylor expansion of (/ (* (+ (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 x))) (+ (/ 1 (pow x 2)) (/ 1 (pow y 2)))) in y
5.853 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 x))) in y
5.853 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
5.853 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.853 * [taylor]: Taking taylor expansion of y in y
5.853 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.853 * [taylor]: Taking taylor expansion of x in y
5.853 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
5.853 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.853 * [taylor]: Taking taylor expansion of y in y
5.854 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.854 * [taylor]: Taking taylor expansion of x in y
5.854 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y
5.854 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
5.854 * [taylor]: Taking taylor expansion of (pow x 2) in y
5.854 * [taylor]: Taking taylor expansion of x in y
5.854 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
5.854 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.854 * [taylor]: Taking taylor expansion of y in y
5.856 * [taylor]: Taking taylor expansion of -1 in x
5.859 * [taylor]: Taking taylor expansion of 0 in x
5.863 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow x 2))) in x
5.863 * [taylor]: Taking taylor expansion of 2 in x
5.863 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.863 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.863 * [taylor]: Taking taylor expansion of x in x
5.871 * [taylor]: Taking taylor expansion of 0 in x
5.871 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 1)
5.872 * [approximate]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in (y x) around 0
5.872 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in x
5.872 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.872 * [taylor]: Taking taylor expansion of x in x
5.872 * [taylor]: Taking taylor expansion of (pow y 2) in x
5.872 * [taylor]: Taking taylor expansion of y in x
5.872 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in y
5.872 * [taylor]: Taking taylor expansion of (pow x 2) in y
5.872 * [taylor]: Taking taylor expansion of x in y
5.872 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.872 * [taylor]: Taking taylor expansion of y in y
5.872 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in y
5.872 * [taylor]: Taking taylor expansion of (pow x 2) in y
5.872 * [taylor]: Taking taylor expansion of x in y
5.872 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.872 * [taylor]: Taking taylor expansion of y in y
5.872 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.872 * [taylor]: Taking taylor expansion of x in x
5.872 * [taylor]: Taking taylor expansion of 0 in x
5.873 * [taylor]: Taking taylor expansion of 1 in x
5.875 * [taylor]: Taking taylor expansion of 0 in x
5.877 * [taylor]: Taking taylor expansion of 0 in x
5.877 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in (y x) around 0
5.877 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
5.877 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.877 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.877 * [taylor]: Taking taylor expansion of x in x
5.878 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
5.878 * [taylor]: Taking taylor expansion of (pow y 2) in x
5.878 * [taylor]: Taking taylor expansion of y in x
5.878 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y
5.878 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
5.878 * [taylor]: Taking taylor expansion of (pow x 2) in y
5.878 * [taylor]: Taking taylor expansion of x in y
5.878 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
5.878 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.878 * [taylor]: Taking taylor expansion of y in y
5.878 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y
5.878 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
5.878 * [taylor]: Taking taylor expansion of (pow x 2) in y
5.878 * [taylor]: Taking taylor expansion of x in y
5.879 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
5.879 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.879 * [taylor]: Taking taylor expansion of y in y
5.879 * [taylor]: Taking taylor expansion of 1 in x
5.880 * [taylor]: Taking taylor expansion of 0 in x
5.882 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.882 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.882 * [taylor]: Taking taylor expansion of x in x
5.883 * [taylor]: Taking taylor expansion of 0 in x
5.886 * [taylor]: Taking taylor expansion of 0 in x
5.890 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in (y x) around 0
5.890 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
5.890 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.890 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.890 * [taylor]: Taking taylor expansion of x in x
5.891 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
5.891 * [taylor]: Taking taylor expansion of (pow y 2) in x
5.891 * [taylor]: Taking taylor expansion of y in x
5.891 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y
5.891 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
5.891 * [taylor]: Taking taylor expansion of (pow x 2) in y
5.891 * [taylor]: Taking taylor expansion of x in y
5.891 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
5.891 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.891 * [taylor]: Taking taylor expansion of y in y
5.892 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y
5.892 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
5.892 * [taylor]: Taking taylor expansion of (pow x 2) in y
5.892 * [taylor]: Taking taylor expansion of x in y
5.892 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
5.892 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.892 * [taylor]: Taking taylor expansion of y in y
5.892 * [taylor]: Taking taylor expansion of 1 in x
5.893 * [taylor]: Taking taylor expansion of 0 in x
5.895 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.895 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.895 * [taylor]: Taking taylor expansion of x in x
5.896 * [taylor]: Taking taylor expansion of 0 in x
5.899 * [taylor]: Taking taylor expansion of 0 in x
5.900 * * * [progress]: simplifying candidates
5.903 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (log (+ (pow y 2) (pow x 2))) (+ (log (- x y)) (log (+ x y))))
  (- (log (+ (pow y 2) (pow x 2))) (log (* (- x y) (+ x y))))
  (log (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y))))
  (exp (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y))))
  (/ (* (* (+ (pow y 2) (pow x 2)) (+ (pow y 2) (pow x 2))) (+ (pow y 2) (pow x 2))) (* (* (* (- x y) (- x y)) (- x y)) (* (* (+ x y) (+ x y)) (+ x y))))
  (/ (* (* (+ (pow y 2) (pow x 2)) (+ (pow y 2) (pow x 2))) (+ (pow y 2) (pow x 2))) (* (* (* (- x y) (+ x y)) (* (- x y) (+ x y))) (* (- x y) (+ x y))))
  (* (cbrt (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y)))) (cbrt (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y)))))
  (cbrt (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y))))
  (* (* (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y))) (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y)))) (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y))))
  (sqrt (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y))))
  (sqrt (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y))))
  (- (+ (pow y 2) (pow x 2)))
  (- (* (- x y) (+ x y)))
  (/ (* (cbrt (+ (pow y 2) (pow x 2))) (cbrt (+ (pow y 2) (pow x 2)))) (- x y))
  (/ (cbrt (+ (pow y 2) (pow x 2))) (+ x y))
  (/ (sqrt (+ (pow y 2) (pow x 2))) (- x y))
  (/ (sqrt (+ (pow y 2) (pow x 2))) (+ x y))
  (/ 1 (- x y))
  (/ (+ (pow y 2) (pow x 2)) (+ x y))
  (/ (pow 1 2) (- x y))
  (/ (+ (pow y 2) (pow x 2)) (+ x y))
  (/ 1 (- x y))
  (/ (+ (pow y 2) (pow x 2)) (+ x y))
  (/ 1 (* (- x y) (+ x y)))
  (/ (* (- x y) (+ x y)) (+ (pow y 2) (pow x 2)))
  (/ (+ (pow y 2) (pow x 2)) (- x y))
  (/ (* (- x y) (+ x y)) (cbrt (+ (pow y 2) (pow x 2))))
  (/ (* (- x y) (+ x y)) (sqrt (+ (pow y 2) (pow x 2))))
  (/ (* (- x y) (+ x y)) (+ (pow y 2) (pow x 2)))
  (/ (* (- x y) (+ x y)) (+ (pow y 2) (pow x 2)))
  (/ (* (- x y) (+ x y)) (+ (pow y 2) (pow x 2)))
  (/ (+ (pow y 2) (pow x 2)) (* (- (pow x 3) (pow y 3)) (+ (pow x 3) (pow y 3))))
  (/ (+ (pow y 2) (pow x 2)) (* (- (pow x 3) (pow y 3)) (- (* x x) (* y y))))
  (/ (+ (pow y 2) (pow x 2)) (* (- (* x x) (* y y)) (+ (pow x 3) (pow y 3))))
  (/ (+ (pow y 2) (pow x 2)) (* (- (* x x) (* y y)) (- (* x x) (* y y))))
  (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ (pow x 3) (pow y 3))))
  (/ (+ (pow y 2) (pow x 2)) (* (- x y) (- (* x x) (* y y))))
  (/ (+ (pow y 2) (pow x 2)) (* (- (pow x 3) (pow y 3)) (+ x y)))
  (/ (+ (pow y 2) (pow x 2)) (* (- (* x x) (* y y)) (+ x y)))
  (* (* (- x y) (+ x y)) (+ (* (pow y 2) (pow y 2)) (- (* (pow x 2) (pow x 2)) (* (pow y 2) (pow x 2)))))
  (* (* (- x y) (+ x y)) (- (pow y 2) (pow x 2)))
  (- 1)
  (- (- (log (+ (pow y 2) (pow x 2))) (+ (log (- x y)) (log (+ x y)))))
  (- (- (log (+ (pow y 2) (pow x 2))) (log (* (- x y) (+ x y)))))
  (- (log (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y)))))
  (- 0 (- (log (+ (pow y 2) (pow x 2))) (+ (log (- x y)) (log (+ x y)))))
  (- 0 (- (log (+ (pow y 2) (pow x 2))) (log (* (- x y) (+ x y)))))
  (- 0 (log (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y)))))
  (- (log 1) (- (log (+ (pow y 2) (pow x 2))) (+ (log (- x y)) (log (+ x y)))))
  (- (log 1) (- (log (+ (pow y 2) (pow x 2))) (log (* (- x y) (+ x y)))))
  (- (log 1) (log (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y)))))
  (log (/ 1 (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y)))))
  (exp (/ 1 (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y)))))
  (/ (* (* 1 1) 1) (/ (* (* (+ (pow y 2) (pow x 2)) (+ (pow y 2) (pow x 2))) (+ (pow y 2) (pow x 2))) (* (* (* (- x y) (- x y)) (- x y)) (* (* (+ x y) (+ x y)) (+ x y)))))
  (/ (* (* 1 1) 1) (/ (* (* (+ (pow y 2) (pow x 2)) (+ (pow y 2) (pow x 2))) (+ (pow y 2) (pow x 2))) (* (* (* (- x y) (+ x y)) (* (- x y) (+ x y))) (* (- x y) (+ x y)))))
  (/ (* (* 1 1) 1) (* (* (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y))) (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y)))) (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y)))))
  (* (cbrt (/ 1 (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y))))) (cbrt (/ 1 (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y))))))
  (cbrt (/ 1 (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y)))))
  (* (* (/ 1 (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y)))) (/ 1 (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y))))) (/ 1 (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y)))))
  (sqrt (/ 1 (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y)))))
  (sqrt (/ 1 (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y)))))
  (- 1)
  (- (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y))))
  (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y)))) (cbrt (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y))))))
  (/ (cbrt 1) (cbrt (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y)))))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y)))))
  (/ (cbrt 1) (sqrt (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y)))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (+ (pow y 2) (pow x 2))) (cbrt (+ (pow y 2) (pow x 2)))) (- x y)))
  (/ (cbrt 1) (/ (cbrt (+ (pow y 2) (pow x 2))) (+ x y)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (+ (pow y 2) (pow x 2))) (- x y)))
  (/ (cbrt 1) (/ (sqrt (+ (pow y 2) (pow x 2))) (+ x y)))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 (- x y)))
  (/ (cbrt 1) (/ (+ (pow y 2) (pow x 2)) (+ x y)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (pow 1 2) (- x y)))
  (/ (cbrt 1) (/ (+ (pow y 2) (pow x 2)) (+ x y)))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 (- x y)))
  (/ (cbrt 1) (/ (+ (pow y 2) (pow x 2)) (+ x y)))
  (/ (* (cbrt 1) (cbrt 1)) 1)
  (/ (cbrt 1) (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y))))
  (/ (* (cbrt 1) (cbrt 1)) (+ (pow y 2) (pow x 2)))
  (/ (cbrt 1) (/ 1 (* (- x y) (+ x y))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (+ (pow y 2) (pow x 2)) (* (- (pow x 3) (pow y 3)) (+ (pow x 3) (pow y 3)))))
  (/ (cbrt 1) (* (+ (* x x) (+ (* y y) (* x y))) (+ (* x x) (- (* y y) (* x y)))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (+ (pow y 2) (pow x 2)) (* (- (pow x 3) (pow y 3)) (- (* x x) (* y y)))))
  (/ (cbrt 1) (* (+ (* x x) (+ (* y y) (* x y))) (- x y)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (+ (pow y 2) (pow x 2)) (* (- (* x x) (* y y)) (+ (pow x 3) (pow y 3)))))
  (/ (cbrt 1) (* (+ x y) (+ (* x x) (- (* y y) (* x y)))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (+ (pow y 2) (pow x 2)) (* (- (* x x) (* y y)) (- (* x x) (* y y)))))
  (/ (cbrt 1) (* (+ x y) (- x y)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ (pow x 3) (pow y 3)))))
  (/ (cbrt 1) (+ (* x x) (- (* y y) (* x y))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (+ (pow y 2) (pow x 2)) (* (- x y) (- (* x x) (* y y)))))
  (/ (cbrt 1) (- x y))
  (/ (* (cbrt 1) (cbrt 1)) (/ (+ (pow y 2) (pow x 2)) (* (- (pow x 3) (pow y 3)) (+ x y))))
  (/ (cbrt 1) (+ (* x x) (+ (* y y) (* x y))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (+ (pow y 2) (pow x 2)) (* (- (* x x) (* y y)) (+ x y))))
  (/ (cbrt 1) (+ x y))
  (/ (sqrt 1) (* (cbrt (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y)))) (cbrt (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y))))))
  (/ (sqrt 1) (cbrt (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y)))))
  (/ (sqrt 1) (sqrt (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y)))))
  (/ (sqrt 1) (sqrt (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y)))))
  (/ (sqrt 1) (/ (* (cbrt (+ (pow y 2) (pow x 2))) (cbrt (+ (pow y 2) (pow x 2)))) (- x y)))
  (/ (sqrt 1) (/ (cbrt (+ (pow y 2) (pow x 2))) (+ x y)))
  (/ (sqrt 1) (/ (sqrt (+ (pow y 2) (pow x 2))) (- x y)))
  (/ (sqrt 1) (/ (sqrt (+ (pow y 2) (pow x 2))) (+ x y)))
  (/ (sqrt 1) (/ 1 (- x y)))
  (/ (sqrt 1) (/ (+ (pow y 2) (pow x 2)) (+ x y)))
  (/ (sqrt 1) (/ (pow 1 2) (- x y)))
  (/ (sqrt 1) (/ (+ (pow y 2) (pow x 2)) (+ x y)))
  (/ (sqrt 1) (/ 1 (- x y)))
  (/ (sqrt 1) (/ (+ (pow y 2) (pow x 2)) (+ x y)))
  (/ (sqrt 1) 1)
  (/ (sqrt 1) (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y))))
  (/ (sqrt 1) (+ (pow y 2) (pow x 2)))
  (/ (sqrt 1) (/ 1 (* (- x y) (+ x y))))
  (/ (sqrt 1) (/ (+ (pow y 2) (pow x 2)) (* (- (pow x 3) (pow y 3)) (+ (pow x 3) (pow y 3)))))
  (/ (sqrt 1) (* (+ (* x x) (+ (* y y) (* x y))) (+ (* x x) (- (* y y) (* x y)))))
  (/ (sqrt 1) (/ (+ (pow y 2) (pow x 2)) (* (- (pow x 3) (pow y 3)) (- (* x x) (* y y)))))
  (/ (sqrt 1) (* (+ (* x x) (+ (* y y) (* x y))) (- x y)))
  (/ (sqrt 1) (/ (+ (pow y 2) (pow x 2)) (* (- (* x x) (* y y)) (+ (pow x 3) (pow y 3)))))
  (/ (sqrt 1) (* (+ x y) (+ (* x x) (- (* y y) (* x y)))))
  (/ (sqrt 1) (/ (+ (pow y 2) (pow x 2)) (* (- (* x x) (* y y)) (- (* x x) (* y y)))))
  (/ (sqrt 1) (* (+ x y) (- x y)))
  (/ (sqrt 1) (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ (pow x 3) (pow y 3)))))
  (/ (sqrt 1) (+ (* x x) (- (* y y) (* x y))))
  (/ (sqrt 1) (/ (+ (pow y 2) (pow x 2)) (* (- x y) (- (* x x) (* y y)))))
  (/ (sqrt 1) (- x y))
  (/ (sqrt 1) (/ (+ (pow y 2) (pow x 2)) (* (- (pow x 3) (pow y 3)) (+ x y))))
  (/ (sqrt 1) (+ (* x x) (+ (* y y) (* x y))))
  (/ (sqrt 1) (/ (+ (pow y 2) (pow x 2)) (* (- (* x x) (* y y)) (+ x y))))
  (/ (sqrt 1) (+ x y))
  (/ 1 (* (cbrt (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y)))) (cbrt (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y))))))
  (/ 1 (cbrt (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y)))))
  (/ 1 (sqrt (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y)))))
  (/ 1 (sqrt (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y)))))
  (/ 1 (/ (* (cbrt (+ (pow y 2) (pow x 2))) (cbrt (+ (pow y 2) (pow x 2)))) (- x y)))
  (/ 1 (/ (cbrt (+ (pow y 2) (pow x 2))) (+ x y)))
  (/ 1 (/ (sqrt (+ (pow y 2) (pow x 2))) (- x y)))
  (/ 1 (/ (sqrt (+ (pow y 2) (pow x 2))) (+ x y)))
  (/ 1 (/ 1 (- x y)))
  (/ 1 (/ (+ (pow y 2) (pow x 2)) (+ x y)))
  (/ 1 (/ (pow 1 2) (- x y)))
  (/ 1 (/ (+ (pow y 2) (pow x 2)) (+ x y)))
  (/ 1 (/ 1 (- x y)))
  (/ 1 (/ (+ (pow y 2) (pow x 2)) (+ x y)))
  (/ 1 1)
  (/ 1 (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y))))
  (/ 1 (+ (pow y 2) (pow x 2)))
  (/ 1 (/ 1 (* (- x y) (+ x y))))
  (/ 1 (/ (+ (pow y 2) (pow x 2)) (* (- (pow x 3) (pow y 3)) (+ (pow x 3) (pow y 3)))))
  (/ 1 (* (+ (* x x) (+ (* y y) (* x y))) (+ (* x x) (- (* y y) (* x y)))))
  (/ 1 (/ (+ (pow y 2) (pow x 2)) (* (- (pow x 3) (pow y 3)) (- (* x x) (* y y)))))
  (/ 1 (* (+ (* x x) (+ (* y y) (* x y))) (- x y)))
  (/ 1 (/ (+ (pow y 2) (pow x 2)) (* (- (* x x) (* y y)) (+ (pow x 3) (pow y 3)))))
  (/ 1 (* (+ x y) (+ (* x x) (- (* y y) (* x y)))))
  (/ 1 (/ (+ (pow y 2) (pow x 2)) (* (- (* x x) (* y y)) (- (* x x) (* y y)))))
  (/ 1 (* (+ x y) (- x y)))
  (/ 1 (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ (pow x 3) (pow y 3)))))
  (/ 1 (+ (* x x) (- (* y y) (* x y))))
  (/ 1 (/ (+ (pow y 2) (pow x 2)) (* (- x y) (- (* x x) (* y y)))))
  (/ 1 (- x y))
  (/ 1 (/ (+ (pow y 2) (pow x 2)) (* (- (pow x 3) (pow y 3)) (+ x y))))
  (/ 1 (+ (* x x) (+ (* y y) (* x y))))
  (/ 1 (/ (+ (pow y 2) (pow x 2)) (* (- (* x x) (* y y)) (+ x y))))
  (/ 1 (+ x y))
  (/ 1 (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y))))
  (/ (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y))) 1)
  (/ 1 (* (cbrt (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y)))) (cbrt (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y))))))
  (/ 1 (sqrt (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y)))))
  (/ 1 (/ (* (cbrt (+ (pow y 2) (pow x 2))) (cbrt (+ (pow y 2) (pow x 2)))) (- x y)))
  (/ 1 (/ (sqrt (+ (pow y 2) (pow x 2))) (- x y)))
  (/ 1 (/ 1 (- x y)))
  (/ 1 (/ (pow 1 2) (- x y)))
  (/ 1 (/ 1 (- x y)))
  (/ 1 1)
  (/ 1 (+ (pow y 2) (pow x 2)))
  (/ 1 (/ (+ (pow y 2) (pow x 2)) (* (- (pow x 3) (pow y 3)) (+ (pow x 3) (pow y 3)))))
  (/ 1 (/ (+ (pow y 2) (pow x 2)) (* (- (pow x 3) (pow y 3)) (- (* x x) (* y y)))))
  (/ 1 (/ (+ (pow y 2) (pow x 2)) (* (- (* x x) (* y y)) (+ (pow x 3) (pow y 3)))))
  (/ 1 (/ (+ (pow y 2) (pow x 2)) (* (- (* x x) (* y y)) (- (* x x) (* y y)))))
  (/ 1 (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ (pow x 3) (pow y 3)))))
  (/ 1 (/ (+ (pow y 2) (pow x 2)) (* (- x y) (- (* x x) (* y y)))))
  (/ 1 (/ (+ (pow y 2) (pow x 2)) (* (- (pow x 3) (pow y 3)) (+ x y))))
  (/ 1 (/ (+ (pow y 2) (pow x 2)) (* (- (* x x) (* y y)) (+ x y))))
  (/ (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y))) (cbrt 1))
  (/ (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y))) (sqrt 1))
  (/ (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y))) 1)
  (/ 1 (+ (pow y 2) (pow x 2)))
  (* (exp (pow y 2)) (exp (pow x 2)))
  (log (+ (pow y 2) (pow x 2)))
  (exp (+ (pow y 2) (pow x 2)))
  (* (cbrt (+ (pow y 2) (pow x 2))) (cbrt (+ (pow y 2) (pow x 2))))
  (cbrt (+ (pow y 2) (pow x 2)))
  (* (* (+ (pow y 2) (pow x 2)) (+ (pow y 2) (pow x 2))) (+ (pow y 2) (pow x 2)))
  (sqrt (+ (pow y 2) (pow x 2)))
  (sqrt (+ (pow y 2) (pow x 2)))
  (+ (pow (pow y 2) 3) (pow (pow x 2) 3))
  (+ (* (pow y 2) (pow y 2)) (- (* (pow x 2) (pow x 2)) (* (pow y 2) (pow x 2))))
  (- (* (pow y 2) (pow y 2)) (* (pow x 2) (pow x 2)))
  (- (pow y 2) (pow x 2))
  (+ (pow y 2) (pow x 2))
  (+ (pow y 2) (pow x 2))
  1
  -1
  -1
  1
  -1
  -1
  (+ (pow x 2) (pow y 2))
  (+ (pow x 2) (pow y 2))
  (+ (pow x 2) (pow y 2))
5.910 * * [simplify]: iteration  0 :  226  enodes  (cost  3610 )
5.987 * * [simplify]: iteration  1 :  604  enodes  (cost  3306 )
6.225 * * [simplify]: iteration  2 :  2247  enodes  (cost  2990 )
6.982 * * [simplify]: iteration  done :  5000  enodes  (cost  2990 )
6.983 * [simplify]: Simplified to:
   (log (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y))))
  (log (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y))))
  (log (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y))))
  (exp (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y))))
  (pow (/ (/ (+ (pow y 2) (pow x 2)) (- x y)) (+ x y)) 3)
  (pow (/ (/ (+ (pow y 2) (pow x 2)) (- x y)) (+ x y)) 3)
  (* (cbrt (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y)))) (cbrt (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y)))))
  (cbrt (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y))))
  (pow (/ (/ (+ (pow y 2) (pow x 2)) (- x y)) (+ x y)) 3)
  (sqrt (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y))))
  (sqrt (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y))))
  (- (+ (pow y 2) (pow x 2)))
  (- (* (- x y) (+ x y)))
  (/ (cbrt (+ (pow y 2) (pow x 2))) (/ (- x y) (cbrt (+ (pow y 2) (pow x 2)))))
  (/ (cbrt (+ (pow y 2) (pow x 2))) (+ x y))
  (/ (sqrt (+ (pow y 2) (pow x 2))) (- x y))
  (/ (sqrt (+ (pow y 2) (pow x 2))) (+ x y))
  (/ 1 (- x y))
  (/ (+ (pow y 2) (pow x 2)) (+ x y))
  (/ 1 (- x y))
  (/ (+ (pow y 2) (pow x 2)) (+ x y))
  (/ 1 (- x y))
  (/ (+ (pow y 2) (pow x 2)) (+ x y))
  (/ (/ 1 (- x y)) (+ x y))
  (/ (* (- x y) (+ x y)) (+ (pow y 2) (pow x 2)))
  (/ (+ (pow y 2) (pow x 2)) (- x y))
  (/ (* (- x y) (+ x y)) (cbrt (+ (pow y 2) (pow x 2))))
  (/ (* (- x y) (+ x y)) (sqrt (+ (pow y 2) (pow x 2))))
  (/ (* (- x y) (+ x y)) (+ (pow y 2) (pow x 2)))
  (/ (* (- x y) (+ x y)) (+ (pow y 2) (pow x 2)))
  (/ (* (- x y) (+ x y)) (+ (pow y 2) (pow x 2)))
  (/ (+ (pow y 2) (pow x 2)) (* (- (pow x 3) (pow y 3)) (+ (pow x 3) (pow y 3))))
  (/ (/ (/ (+ (pow y 2) (pow x 2)) (- x y)) (+ x y)) (- (pow x 3) (pow y 3)))
  (/ (+ (pow y 2) (pow x 2)) (* (- (* x x) (* y y)) (+ (pow x 3) (pow y 3))))
  (/ (+ (pow y 2) (pow x 2)) (* (- (* x x) (* y y)) (- (* x x) (* y y))))
  (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ (pow x 3) (pow y 3))))
  (/ (+ (pow y 2) (pow x 2)) (* (- x y) (- (* x x) (* y y))))
  (/ (+ (pow y 2) (pow x 2)) (* (- (pow x 3) (pow y 3)) (+ x y)))
  (/ (+ (pow y 2) (pow x 2)) (* (- (* x x) (* y y)) (+ x y)))
  (* (+ (* (* x x) (* (- x y) (+ x y))) (pow y 4)) (* (+ x y) (- x y)))
  (* (* (- x y) (+ x y)) (- (pow y 2) (pow x 2)))
  -1
  (log (/ (* (- x y) (+ x y)) (+ (pow y 2) (pow x 2))))
  (log (/ (* (- x y) (+ x y)) (+ (pow y 2) (pow x 2))))
  (log (/ (* (- x y) (+ x y)) (+ (pow y 2) (pow x 2))))
  (log (/ (* (- x y) (+ x y)) (+ (pow y 2) (pow x 2))))
  (log (/ (* (- x y) (+ x y)) (+ (pow y 2) (pow x 2))))
  (log (/ (* (- x y) (+ x y)) (+ (pow y 2) (pow x 2))))
  (log (/ (* (- x y) (+ x y)) (+ (pow y 2) (pow x 2))))
  (log (/ (* (- x y) (+ x y)) (+ (pow y 2) (pow x 2))))
  (log (/ (* (- x y) (+ x y)) (+ (pow y 2) (pow x 2))))
  (log (/ (* (- x y) (+ x y)) (+ (pow y 2) (pow x 2))))
  (exp (/ (- x y) (/ (+ (pow y 2) (pow x 2)) (+ x y))))
  (pow (/ (- x y) (/ (+ (pow y 2) (pow x 2)) (+ x y))) 3)
  (pow (/ (- x y) (/ (+ (pow y 2) (pow x 2)) (+ x y))) 3)
  (pow (/ (- x y) (/ (+ (pow y 2) (pow x 2)) (+ x y))) 3)
  (* (cbrt (/ (- x y) (/ (+ (pow y 2) (pow x 2)) (+ x y)))) (cbrt (/ (- x y) (/ (+ (pow y 2) (pow x 2)) (+ x y)))))
  (cbrt (/ (- x y) (/ (+ (pow y 2) (pow x 2)) (+ x y))))
  (pow (/ (- x y) (/ (+ (pow y 2) (pow x 2)) (+ x y))) 3)
  (sqrt (/ (- x y) (/ (+ (pow y 2) (pow x 2)) (+ x y))))
  (sqrt (/ (- x y) (/ (+ (pow y 2) (pow x 2)) (+ x y))))
  -1
  (- (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y))))
  (/ (/ 1 (cbrt (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y))))) (cbrt (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y)))))
  (/ 1 (cbrt (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y)))))
  (/ 1 (sqrt (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y)))))
  (/ 1 (sqrt (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y)))))
  (/ (- x y) (* (cbrt (+ (pow y 2) (pow x 2))) (cbrt (+ (pow y 2) (pow x 2)))))
  (/ 1 (/ (cbrt (+ (pow y 2) (pow x 2))) (+ x y)))
  (/ (- x y) (sqrt (+ (pow y 2) (pow x 2))))
  (/ 1 (/ (sqrt (+ (pow y 2) (pow x 2))) (+ x y)))
  (- x y)
  (* (/ 1 (+ (pow y 2) (pow x 2))) (+ x y))
  (- x y)
  (* (/ 1 (+ (pow y 2) (pow x 2))) (+ x y))
  (- x y)
  (* (/ 1 (+ (pow y 2) (pow x 2))) (+ x y))
  1
  (/ (* (- x y) (+ x y)) (+ (pow y 2) (pow x 2)))
  (/ 1 (+ (pow y 2) (pow x 2)))
  (* (+ x y) (- x y))
  (* (/ 1 (+ (pow y 2) (pow x 2))) (* (- (pow x 3) (pow y 3)) (+ (pow x 3) (pow y 3))))
  (/ 1 (* (+ (* y (- y x)) (* x x)) (+ (* x x) (* y (+ x y)))))
  (* (/ (- x y) (/ (+ (pow y 2) (pow x 2)) (+ x y))) (- (pow x 3) (pow y 3)))
  (/ (/ 1 (+ (* x x) (* y (+ x y)))) (- x y))
  (/ (* (- (* x x) (* y y)) (+ (pow x 3) (pow y 3))) (+ (pow y 2) (pow x 2)))
  (/ (/ 1 (+ x y)) (+ (* y (- y x)) (* x x)))
  (* (* (+ x y) (- x y)) (/ (* (- x y) (+ x y)) (+ (pow y 2) (pow x 2))))
  (/ (/ 1 (- x y)) (+ x y))
  (/ (* (- x y) (+ (pow x 3) (pow y 3))) (+ (pow y 2) (pow x 2)))
  (/ 1 (+ (* y (- y x)) (* x x)))
  (/ (* (- x y) (- (* x x) (* y y))) (+ (pow y 2) (pow x 2)))
  (/ 1 (- x y))
  (/ 1 (/ (+ (pow y 2) (pow x 2)) (* (- (pow x 3) (pow y 3)) (+ x y))))
  (/ 1 (+ (* x x) (* y (+ x y))))
  (/ (* (- (* x x) (* y y)) (+ x y)) (+ (pow y 2) (pow x 2)))
  (/ 1 (+ x y))
  (/ (/ 1 (cbrt (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y))))) (cbrt (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y)))))
  (/ 1 (cbrt (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y)))))
  (/ 1 (sqrt (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y)))))
  (/ 1 (sqrt (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y)))))
  (/ (- x y) (* (cbrt (+ (pow y 2) (pow x 2))) (cbrt (+ (pow y 2) (pow x 2)))))
  (/ 1 (/ (cbrt (+ (pow y 2) (pow x 2))) (+ x y)))
  (/ (- x y) (sqrt (+ (pow y 2) (pow x 2))))
  (/ 1 (/ (sqrt (+ (pow y 2) (pow x 2))) (+ x y)))
  (- x y)
  (* (/ 1 (+ (pow y 2) (pow x 2))) (+ x y))
  (- x y)
  (* (/ 1 (+ (pow y 2) (pow x 2))) (+ x y))
  (- x y)
  (* (/ 1 (+ (pow y 2) (pow x 2))) (+ x y))
  1
  (/ (* (- x y) (+ x y)) (+ (pow y 2) (pow x 2)))
  (/ 1 (+ (pow y 2) (pow x 2)))
  (* (+ x y) (- x y))
  (* (/ 1 (+ (pow y 2) (pow x 2))) (* (- (pow x 3) (pow y 3)) (+ (pow x 3) (pow y 3))))
  (/ 1 (* (+ (* y (- y x)) (* x x)) (+ (* x x) (* y (+ x y)))))
  (* (/ (- x y) (/ (+ (pow y 2) (pow x 2)) (+ x y))) (- (pow x 3) (pow y 3)))
  (/ (/ 1 (+ (* x x) (* y (+ x y)))) (- x y))
  (/ (* (- (* x x) (* y y)) (+ (pow x 3) (pow y 3))) (+ (pow y 2) (pow x 2)))
  (/ (/ 1 (+ x y)) (+ (* y (- y x)) (* x x)))
  (* (* (+ x y) (- x y)) (/ (* (- x y) (+ x y)) (+ (pow y 2) (pow x 2))))
  (/ (/ 1 (- x y)) (+ x y))
  (/ (* (- x y) (+ (pow x 3) (pow y 3))) (+ (pow y 2) (pow x 2)))
  (/ 1 (+ (* y (- y x)) (* x x)))
  (/ (* (- x y) (- (* x x) (* y y))) (+ (pow y 2) (pow x 2)))
  (/ 1 (- x y))
  (/ 1 (/ (+ (pow y 2) (pow x 2)) (* (- (pow x 3) (pow y 3)) (+ x y))))
  (/ 1 (+ (* x x) (* y (+ x y))))
  (/ (* (- (* x x) (* y y)) (+ x y)) (+ (pow y 2) (pow x 2)))
  (/ 1 (+ x y))
  (/ (/ 1 (cbrt (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y))))) (cbrt (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y)))))
  (/ 1 (cbrt (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y)))))
  (/ 1 (sqrt (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y)))))
  (/ 1 (sqrt (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y)))))
  (/ (- x y) (* (cbrt (+ (pow y 2) (pow x 2))) (cbrt (+ (pow y 2) (pow x 2)))))
  (/ 1 (/ (cbrt (+ (pow y 2) (pow x 2))) (+ x y)))
  (/ (- x y) (sqrt (+ (pow y 2) (pow x 2))))
  (/ 1 (/ (sqrt (+ (pow y 2) (pow x 2))) (+ x y)))
  (- x y)
  (* (/ 1 (+ (pow y 2) (pow x 2))) (+ x y))
  (- x y)
  (* (/ 1 (+ (pow y 2) (pow x 2))) (+ x y))
  (- x y)
  (* (/ 1 (+ (pow y 2) (pow x 2))) (+ x y))
  1
  (/ (* (- x y) (+ x y)) (+ (pow y 2) (pow x 2)))
  (/ 1 (+ (pow y 2) (pow x 2)))
  (* (+ x y) (- x y))
  (* (/ 1 (+ (pow y 2) (pow x 2))) (* (- (pow x 3) (pow y 3)) (+ (pow x 3) (pow y 3))))
  (/ 1 (* (+ (* y (- y x)) (* x x)) (+ (* x x) (* y (+ x y)))))
  (* (/ (- x y) (/ (+ (pow y 2) (pow x 2)) (+ x y))) (- (pow x 3) (pow y 3)))
  (/ (/ 1 (+ (* x x) (* y (+ x y)))) (- x y))
  (/ (* (- (* x x) (* y y)) (+ (pow x 3) (pow y 3))) (+ (pow y 2) (pow x 2)))
  (/ (/ 1 (+ x y)) (+ (* y (- y x)) (* x x)))
  (* (* (+ x y) (- x y)) (/ (* (- x y) (+ x y)) (+ (pow y 2) (pow x 2))))
  (/ (/ 1 (- x y)) (+ x y))
  (/ (* (- x y) (+ (pow x 3) (pow y 3))) (+ (pow y 2) (pow x 2)))
  (/ 1 (+ (* y (- y x)) (* x x)))
  (/ (* (- x y) (- (* x x) (* y y))) (+ (pow y 2) (pow x 2)))
  (/ 1 (- x y))
  (/ 1 (/ (+ (pow y 2) (pow x 2)) (* (- (pow x 3) (pow y 3)) (+ x y))))
  (/ 1 (+ (* x x) (* y (+ x y))))
  (/ (* (- (* x x) (* y y)) (+ x y)) (+ (pow y 2) (pow x 2)))
  (/ 1 (+ x y))
  (/ (* (- x y) (+ x y)) (+ (pow y 2) (pow x 2)))
  (/ (/ (+ (pow y 2) (pow x 2)) (- x y)) (+ x y))
  (/ (/ 1 (cbrt (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y))))) (cbrt (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y)))))
  (/ 1 (sqrt (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y)))))
  (/ (- x y) (* (cbrt (+ (pow y 2) (pow x 2))) (cbrt (+ (pow y 2) (pow x 2)))))
  (/ (- x y) (sqrt (+ (pow y 2) (pow x 2))))
  (- x y)
  (- x y)
  (- x y)
  1
  (/ 1 (+ (pow y 2) (pow x 2)))
  (* (/ 1 (+ (pow y 2) (pow x 2))) (* (- (pow x 3) (pow y 3)) (+ (pow x 3) (pow y 3))))
  (* (/ (- x y) (/ (+ (pow y 2) (pow x 2)) (+ x y))) (- (pow x 3) (pow y 3)))
  (/ (* (- (* x x) (* y y)) (+ (pow x 3) (pow y 3))) (+ (pow y 2) (pow x 2)))
  (* (* (+ x y) (- x y)) (/ (* (- x y) (+ x y)) (+ (pow y 2) (pow x 2))))
  (/ (* (- x y) (+ (pow x 3) (pow y 3))) (+ (pow y 2) (pow x 2)))
  (/ (* (- x y) (- (* x x) (* y y))) (+ (pow y 2) (pow x 2)))
  (/ 1 (/ (+ (pow y 2) (pow x 2)) (* (- (pow x 3) (pow y 3)) (+ x y))))
  (/ (* (- (* x x) (* y y)) (+ x y)) (+ (pow y 2) (pow x 2)))
  (/ (/ (+ (pow y 2) (pow x 2)) (- x y)) (+ x y))
  (/ (/ (+ (pow y 2) (pow x 2)) (- x y)) (+ x y))
  (/ (/ (+ (pow y 2) (pow x 2)) (- x y)) (+ x y))
  (/ 1 (+ (pow y 2) (pow x 2)))
  (exp (+ (pow y 2) (pow x 2)))
  (log (+ (pow y 2) (pow x 2)))
  (exp (+ (pow y 2) (pow x 2)))
  (* (cbrt (+ (pow y 2) (pow x 2))) (cbrt (+ (pow y 2) (pow x 2))))
  (cbrt (+ (pow y 2) (pow x 2)))
  (* (* (+ (pow y 2) (pow x 2)) (+ (pow y 2) (pow x 2))) (+ (pow y 2) (pow x 2)))
  (sqrt (+ (pow y 2) (pow x 2)))
  (sqrt (+ (pow y 2) (pow x 2)))
  (+ (pow (pow y 2) 3) (pow (pow x 2) 3))
  (+ (* (* x x) (* (- x y) (+ x y))) (pow y 4))
  (- (pow y 4) (pow x 4))
  (* (- y x) (+ x y))
  (+ (pow y 2) (pow x 2))
  (+ (pow y 2) (pow x 2))
  1
  -1
  -1
  1
  -1
  -1
  (+ (pow y 2) (pow x 2))
  (+ (pow y 2) (pow x 2))
  (+ (pow y 2) (pow x 2))
6.984 * * * [progress]: adding candidates to table
7.242 * * [progress]: iteration 4 / 4
7.242 * * * [progress]: picking best candidate
7.244 * * * * [pick]: Picked  #<alt (λ (x y) (/ 1 -1))>
7.244 * * * [progress]: localizing error
7.245 * * * [progress]: generating rewritten candidates
7.245 * * * [progress]: generating series expansions
7.245 * * * [progress]: simplifying candidates
7.245 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   
7.246 * * [simplify]: iteration  0 :  0  enodes  (cost  0 )
7.246 * * [simplify]: iteration  done :  0  enodes  (cost  0 )
7.246 * [simplify]: Simplified to:
   
7.246 * * * [progress]: adding candidates to table
7.246 * [progress]: [Phase 3 of 3] Extracting.
7.247 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (/ 1 -1))> #<alt (λ (x y) (/ 1 1))> #<alt (λ (x y) (/ (* (- x y) (+ x y)) (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y))))))> #<alt (λ (x y) (/ 1 (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y)))))>)
7.249 * * * [regime-changes]: Trying 2 branch expressions: (y x)
7.249 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (/ 1 -1))> #<alt (λ (x y) (/ 1 1))> #<alt (λ (x y) (/ (* (- x y) (+ x y)) (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y))))))> #<alt (λ (x y) (/ 1 (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y)))))>)
7.284 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (/ 1 -1))> #<alt (λ (x y) (/ 1 1))> #<alt (λ (x y) (/ (* (- x y) (+ x y)) (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y))))))> #<alt (λ (x y) (/ 1 (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y)))))>)
7.310 * * * [regime]: Found split indices: #<option (#s(si 0 42) #s(si 2 137) #s(si 1 213) #s(si 3 255))>
7.311 * [binary-search]: Improving bounds with binary search for y and (#<alt (λ (x y) (/ 1 -1))> #<alt (λ (x y) (/ 1 1))> #<alt (λ (x y) (/ (* (- x y) (+ x y)) (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y))))))> #<alt (λ (x y) (/ 1 (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y)))))>)
7.402 * [regimes]: Found splitpoints: (#s(sp 0 y -1.693074810444792e+150) #s(sp 2 y -1.9177316652177307e-160) #s(sp 1 y 2.87578004264954e-160) #s(sp 3 y +nan.0)) , with alts (#<alt (λ (x y) (/ 1 -1))> #<alt (λ (x y) (/ 1 1))> #<alt (λ (x y) (/ (* (- x y) (+ x y)) (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y))))))> #<alt (λ (x y) (/ 1 (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y)))))>)
7.403 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (if (<= y -1.693074810444792e+150) (/ 1 -1) (if (<= y -1.9177316652177307e-160) (/ (* (- x y) (+ x y)) (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y))))) (if (<= y 2.87578004264954e-160) (/ 1 1) (/ 1 (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y)))))))
7.403 * * [simplify]: iteration  0 :  30  enodes  (cost  60 )
7.405 * * [simplify]: iteration  1 :  36  enodes  (cost  58 )
7.406 * * [simplify]: iteration  done :  36  enodes  (cost  58 )
7.406 * [simplify]: Simplified to:
   (if (<= y -1.693074810444792e+150) (/ 1 -1) (if (<= y -1.9177316652177307e-160) (/ (* (- x y) (+ x y)) (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y))))) (if (<= y 2.87578004264954e-160) 1 (/ 1 (/ (+ (pow y 2) (pow x 2)) (* (- x y) (+ x y)))))))
8.061 * [regime-testing]: Baseline error score: 20.566534210482235
8.061 * [regime-testing]: Oracle error score: 0.49253668795913885
8.063 * [regime-testing]: End program error score: 5.240822465376363
8.090 * [regime-testing]: Target error score: 0.05135811195501001