4.880 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.010 * * * [progress]: [2/2] Setting up program.
0.011 * [progress]: [Phase 2 of 3] Improving.
0.012 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* 500.0 (- x y))
0.014 * * [simplify]: iteration  0 :  8  enodes  (cost  2 )
0.015 * * [simplify]: iteration  1 :  15  enodes  (cost  2 )
0.017 * * [simplify]: iteration  2 :  21  enodes  (cost  2 )
0.018 * * [simplify]: iteration  3 :  26  enodes  (cost  2 )
0.019 * * [simplify]: iteration  4 :  26  enodes  (cost  2 )
0.019 * [simplify]: Simplified to:
   (* 500.0 (- x y))
0.020 * * [progress]: iteration 1 / 4
0.020 * * * [progress]: picking best candidate
0.021 * * * * [pick]: Picked  #<alt (λ (x y) (* 500.0 (- x y)))>
0.021 * * * [progress]: localizing error
0.024 * * * [progress]: generating rewritten candidates
0.024 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.031 * * * [progress]: generating series expansions
0.031 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.031 * [approximate]: Taking taylor expansion of (* 500.0 (- x y)) in (x y) around 0
0.031 * [taylor]: Taking taylor expansion of (* 500.0 (- x y)) in y
0.031 * [taylor]: Taking taylor expansion of 500.0 in y
0.031 * [taylor]: Taking taylor expansion of (- x y) in y
0.031 * [taylor]: Taking taylor expansion of x in y
0.031 * [taylor]: Taking taylor expansion of y in y
0.031 * [taylor]: Taking taylor expansion of (* 500.0 (- x y)) in x
0.031 * [taylor]: Taking taylor expansion of 500.0 in x
0.031 * [taylor]: Taking taylor expansion of (- x y) in x
0.031 * [taylor]: Taking taylor expansion of x in x
0.031 * [taylor]: Taking taylor expansion of y in x
0.031 * [taylor]: Taking taylor expansion of (* 500.0 (- x y)) in x
0.031 * [taylor]: Taking taylor expansion of 500.0 in x
0.031 * [taylor]: Taking taylor expansion of (- x y) in x
0.032 * [taylor]: Taking taylor expansion of x in x
0.032 * [taylor]: Taking taylor expansion of y in x
0.032 * [taylor]: Taking taylor expansion of (* -500.0 y) in y
0.032 * [taylor]: Taking taylor expansion of -500.0 in y
0.032 * [taylor]: Taking taylor expansion of y in y
0.033 * [taylor]: Taking taylor expansion of 500.0 in y
0.035 * [taylor]: Taking taylor expansion of 0 in y
0.037 * [taylor]: Taking taylor expansion of 0 in y
0.037 * [approximate]: Taking taylor expansion of (* 500.0 (- (/ 1 x) (/ 1 y))) in (x y) around 0
0.037 * [taylor]: Taking taylor expansion of (* 500.0 (- (/ 1 x) (/ 1 y))) in y
0.037 * [taylor]: Taking taylor expansion of 500.0 in y
0.037 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
0.037 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.038 * [taylor]: Taking taylor expansion of x in y
0.038 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.038 * [taylor]: Taking taylor expansion of y in y
0.038 * [taylor]: Taking taylor expansion of (* 500.0 (- (/ 1 x) (/ 1 y))) in x
0.038 * [taylor]: Taking taylor expansion of 500.0 in x
0.038 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.038 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.038 * [taylor]: Taking taylor expansion of x in x
0.038 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.038 * [taylor]: Taking taylor expansion of y in x
0.038 * [taylor]: Taking taylor expansion of (* 500.0 (- (/ 1 x) (/ 1 y))) in x
0.038 * [taylor]: Taking taylor expansion of 500.0 in x
0.038 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.038 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.038 * [taylor]: Taking taylor expansion of x in x
0.039 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.039 * [taylor]: Taking taylor expansion of y in x
0.039 * [taylor]: Taking taylor expansion of 500.0 in y
0.040 * [taylor]: Taking taylor expansion of (- (* 500.0 (/ 1 y))) in y
0.040 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in y
0.040 * [taylor]: Taking taylor expansion of 500.0 in y
0.040 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.040 * [taylor]: Taking taylor expansion of y in y
0.046 * [taylor]: Taking taylor expansion of 0 in y
0.049 * [taylor]: Taking taylor expansion of 0 in y
0.052 * [taylor]: Taking taylor expansion of 0 in y
0.052 * [approximate]: Taking taylor expansion of (* 500.0 (- (/ 1 y) (/ 1 x))) in (x y) around 0
0.053 * [taylor]: Taking taylor expansion of (* 500.0 (- (/ 1 y) (/ 1 x))) in y
0.053 * [taylor]: Taking taylor expansion of 500.0 in y
0.053 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
0.053 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.053 * [taylor]: Taking taylor expansion of y in y
0.053 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.053 * [taylor]: Taking taylor expansion of x in y
0.053 * [taylor]: Taking taylor expansion of (* 500.0 (- (/ 1 y) (/ 1 x))) in x
0.053 * [taylor]: Taking taylor expansion of 500.0 in x
0.053 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.053 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.053 * [taylor]: Taking taylor expansion of y in x
0.053 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.053 * [taylor]: Taking taylor expansion of x in x
0.053 * [taylor]: Taking taylor expansion of (* 500.0 (- (/ 1 y) (/ 1 x))) in x
0.053 * [taylor]: Taking taylor expansion of 500.0 in x
0.053 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.053 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.053 * [taylor]: Taking taylor expansion of y in x
0.053 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.053 * [taylor]: Taking taylor expansion of x in x
0.054 * [taylor]: Taking taylor expansion of -500.0 in y
0.055 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in y
0.055 * [taylor]: Taking taylor expansion of 500.0 in y
0.056 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.056 * [taylor]: Taking taylor expansion of y in y
0.058 * [taylor]: Taking taylor expansion of 0 in y
0.060 * [taylor]: Taking taylor expansion of 0 in y
0.064 * [taylor]: Taking taylor expansion of 0 in y
0.064 * * * [progress]: simplifying candidates
0.064 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* 500.0 (- x y))
  (+ (log 500.0) (log (- x y)))
  (log (* 500.0 (- x y)))
  (exp (* 500.0 (- x y)))
  (* (* (* 500.0 500.0) 500.0) (* (* (- x y) (- x y)) (- x y)))
  (* (cbrt (* 500.0 (- x y))) (cbrt (* 500.0 (- x y))))
  (cbrt (* 500.0 (- x y)))
  (* (* (* 500.0 (- x y)) (* 500.0 (- x y))) (* 500.0 (- x y)))
  (sqrt (* 500.0 (- x y)))
  (sqrt (* 500.0 (- x y)))
  (* (sqrt 500.0) (sqrt (- x y)))
  (* (sqrt 500.0) (sqrt (- x y)))
  (* 500.0 x)
  (* 500.0 (- y))
  (* 500.0 x)
  (* 500.0 (- y))
  (* x 500.0)
  (* (- y) 500.0)
  (* x 500.0)
  (* (- y) 500.0)
  (* 500.0 (* (cbrt (- x y)) (cbrt (- x y))))
  (* 500.0 (sqrt (- x y)))
  (* 500.0 1)
  (* 500.0 (+ (sqrt x) (sqrt y)))
  (* 500.0 1)
  (* (cbrt 500.0) (- x y))
  (* (sqrt 500.0) (- x y))
  (* 500.0 (- x y))
  (* 500.0 (- (pow x 3) (pow y 3)))
  (* 500.0 (- (* x x) (* y y)))
  (- (* 500.0 x) (* 500.0 y))
  (- (* 500.0 x) (* 500.0 y))
  (- (* 500.0 x) (* 500.0 y))
0.067 * * [simplify]: iteration  0 :  112  enodes  (cost  98 )
0.070 * * [simplify]: iteration  1 :  460  enodes  (cost  88 )
0.080 * * [simplify]: iteration  2 :  1881  enodes  (cost  88 )
0.109 * * [simplify]: iteration  3 :  5001  enodes  (cost  88 )
0.110 * [simplify]: Simplified to:
   (* 500.0 (- x y))
  (log (* 500.0 (- x y)))
  (log (* 500.0 (- x y)))
  (exp (* 500.0 (- x y)))
  (pow (* 500.0 (- x y)) 3)
  (* (cbrt (* 500.0 (- x y))) (cbrt (* 500.0 (- x y))))
  (cbrt (* 500.0 (- x y)))
  (pow (* 500.0 (- x y)) 3)
  (sqrt (* 500.0 (- x y)))
  (sqrt (* 500.0 (- x y)))
  (* (sqrt 500.0) (sqrt (- x y)))
  (* (sqrt 500.0) (sqrt (- x y)))
  (* 500.0 x)
  (* 500.0 (- y))
  (* 500.0 x)
  (* 500.0 (- y))
  (* 500.0 x)
  (* 500.0 (- y))
  (* 500.0 x)
  (* 500.0 (- y))
  (* 500.0 (* (cbrt (- x y)) (cbrt (- x y))))
  (* 500.0 (sqrt (- x y)))
  500.0
  (* 500.0 (+ (sqrt x) (sqrt y)))
  500.0
  (* (cbrt 500.0) (- x y))
  (* (sqrt 500.0) (- x y))
  (* 500.0 (- x y))
  (* 500.0 (- (pow x 3) (pow y 3)))
  (* 500.0 (- (* x x) (* y y)))
  (* 500.0 (- x y))
  (* 500.0 (- x y))
  (* 500.0 (- x y))
0.110 * * * [progress]: adding candidates to table
0.147 * * [progress]: iteration 2 / 4
0.147 * * * [progress]: picking best candidate
0.152 * * * * [pick]: Picked  #<alt (λ (x y) (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))>
0.152 * * * [progress]: localizing error
0.158 * * * [progress]: generating rewritten candidates
0.158 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.167 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
0.176 * * * [progress]: generating series expansions
0.176 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.177 * [approximate]: Taking taylor expansion of (* (pow (sqrt 500.0) 2) (- x y)) in (x y) around 0
0.177 * [taylor]: Taking taylor expansion of (* (pow (sqrt 500.0) 2) (- x y)) in y
0.177 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y
0.177 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y
0.177 * [taylor]: Taking taylor expansion of 500.0 in y
0.178 * [taylor]: Taking taylor expansion of (- x y) in y
0.178 * [taylor]: Taking taylor expansion of x in y
0.178 * [taylor]: Taking taylor expansion of y in y
0.178 * [taylor]: Taking taylor expansion of (* (pow (sqrt 500.0) 2) (- x y)) in x
0.178 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in x
0.178 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x
0.178 * [taylor]: Taking taylor expansion of 500.0 in x
0.178 * [taylor]: Taking taylor expansion of (- x y) in x
0.178 * [taylor]: Taking taylor expansion of x in x
0.178 * [taylor]: Taking taylor expansion of y in x
0.179 * [taylor]: Taking taylor expansion of (* (pow (sqrt 500.0) 2) (- x y)) in x
0.179 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in x
0.179 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x
0.179 * [taylor]: Taking taylor expansion of 500.0 in x
0.179 * [taylor]: Taking taylor expansion of (- x y) in x
0.179 * [taylor]: Taking taylor expansion of x in x
0.179 * [taylor]: Taking taylor expansion of y in x
0.181 * [taylor]: Taking taylor expansion of (* -1 (* y (pow (sqrt 500.0) 2))) in y
0.181 * [taylor]: Taking taylor expansion of -1 in y
0.181 * [taylor]: Taking taylor expansion of (* y (pow (sqrt 500.0) 2)) in y
0.181 * [taylor]: Taking taylor expansion of y in y
0.181 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y
0.181 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y
0.181 * [taylor]: Taking taylor expansion of 500.0 in y
0.185 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y
0.185 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y
0.185 * [taylor]: Taking taylor expansion of 500.0 in y
0.194 * [taylor]: Taking taylor expansion of 0 in y
0.200 * [taylor]: Taking taylor expansion of 0 in y
0.203 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2)) in (x y) around 0
0.204 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2)) in y
0.204 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
0.204 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.204 * [taylor]: Taking taylor expansion of x in y
0.204 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.204 * [taylor]: Taking taylor expansion of y in y
0.204 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y
0.204 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y
0.204 * [taylor]: Taking taylor expansion of 500.0 in y
0.205 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2)) in x
0.205 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.205 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.205 * [taylor]: Taking taylor expansion of x in x
0.205 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.205 * [taylor]: Taking taylor expansion of y in x
0.205 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in x
0.205 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x
0.205 * [taylor]: Taking taylor expansion of 500.0 in x
0.206 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 500.0) 2)) in x
0.206 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.206 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.206 * [taylor]: Taking taylor expansion of x in x
0.206 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.206 * [taylor]: Taking taylor expansion of y in x
0.206 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in x
0.206 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x
0.206 * [taylor]: Taking taylor expansion of 500.0 in x
0.209 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y
0.209 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y
0.209 * [taylor]: Taking taylor expansion of 500.0 in y
0.211 * [taylor]: Taking taylor expansion of (- (/ (pow (sqrt 500.0) 2) y)) in y
0.211 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 500.0) 2) y) in y
0.211 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y
0.211 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y
0.211 * [taylor]: Taking taylor expansion of 500.0 in y
0.212 * [taylor]: Taking taylor expansion of y in y
0.220 * [taylor]: Taking taylor expansion of 0 in y
0.225 * [taylor]: Taking taylor expansion of 0 in y
0.234 * [taylor]: Taking taylor expansion of 0 in y
0.237 * [approximate]: Taking taylor expansion of (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x))) in (x y) around 0
0.237 * [taylor]: Taking taylor expansion of (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x))) in y
0.237 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y
0.237 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y
0.237 * [taylor]: Taking taylor expansion of 500.0 in y
0.237 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
0.238 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.238 * [taylor]: Taking taylor expansion of y in y
0.238 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.238 * [taylor]: Taking taylor expansion of x in y
0.238 * [taylor]: Taking taylor expansion of (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x))) in x
0.238 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in x
0.238 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x
0.238 * [taylor]: Taking taylor expansion of 500.0 in x
0.239 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.239 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.239 * [taylor]: Taking taylor expansion of y in x
0.239 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.239 * [taylor]: Taking taylor expansion of x in x
0.239 * [taylor]: Taking taylor expansion of (* (pow (sqrt 500.0) 2) (- (/ 1 y) (/ 1 x))) in x
0.239 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in x
0.239 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x
0.239 * [taylor]: Taking taylor expansion of 500.0 in x
0.240 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.240 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.240 * [taylor]: Taking taylor expansion of y in x
0.240 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.240 * [taylor]: Taking taylor expansion of x in x
0.242 * [taylor]: Taking taylor expansion of (* -1 (pow (sqrt 500.0) 2)) in y
0.242 * [taylor]: Taking taylor expansion of -1 in y
0.242 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y
0.242 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y
0.242 * [taylor]: Taking taylor expansion of 500.0 in y
0.245 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 500.0) 2) y) in y
0.245 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y
0.245 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y
0.245 * [taylor]: Taking taylor expansion of 500.0 in y
0.246 * [taylor]: Taking taylor expansion of y in y
0.253 * [taylor]: Taking taylor expansion of 0 in y
0.259 * [taylor]: Taking taylor expansion of 0 in y
0.266 * [taylor]: Taking taylor expansion of 0 in y
0.268 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
0.268 * [approximate]: Taking taylor expansion of (* (sqrt 500.0) (- x y)) in (x y) around 0
0.268 * [taylor]: Taking taylor expansion of (* (sqrt 500.0) (- x y)) in y
0.268 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y
0.268 * [taylor]: Taking taylor expansion of 500.0 in y
0.269 * [taylor]: Taking taylor expansion of (- x y) in y
0.269 * [taylor]: Taking taylor expansion of x in y
0.269 * [taylor]: Taking taylor expansion of y in y
0.269 * [taylor]: Taking taylor expansion of (* (sqrt 500.0) (- x y)) in x
0.269 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x
0.269 * [taylor]: Taking taylor expansion of 500.0 in x
0.270 * [taylor]: Taking taylor expansion of (- x y) in x
0.270 * [taylor]: Taking taylor expansion of x in x
0.270 * [taylor]: Taking taylor expansion of y in x
0.270 * [taylor]: Taking taylor expansion of (* (sqrt 500.0) (- x y)) in x
0.270 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x
0.270 * [taylor]: Taking taylor expansion of 500.0 in x
0.270 * [taylor]: Taking taylor expansion of (- x y) in x
0.270 * [taylor]: Taking taylor expansion of x in x
0.270 * [taylor]: Taking taylor expansion of y in x
0.271 * [taylor]: Taking taylor expansion of (* -1 (* y (sqrt 500.0))) in y
0.271 * [taylor]: Taking taylor expansion of -1 in y
0.271 * [taylor]: Taking taylor expansion of (* y (sqrt 500.0)) in y
0.271 * [taylor]: Taking taylor expansion of y in y
0.271 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y
0.271 * [taylor]: Taking taylor expansion of 500.0 in y
0.273 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y
0.273 * [taylor]: Taking taylor expansion of 500.0 in y
0.278 * [taylor]: Taking taylor expansion of 0 in y
0.282 * [taylor]: Taking taylor expansion of 0 in y
0.284 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 500.0)) in (x y) around 0
0.284 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 500.0)) in y
0.284 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
0.284 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.284 * [taylor]: Taking taylor expansion of x in y
0.284 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.284 * [taylor]: Taking taylor expansion of y in y
0.284 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y
0.284 * [taylor]: Taking taylor expansion of 500.0 in y
0.285 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 500.0)) in x
0.285 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.285 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.285 * [taylor]: Taking taylor expansion of x in x
0.286 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.286 * [taylor]: Taking taylor expansion of y in x
0.286 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x
0.286 * [taylor]: Taking taylor expansion of 500.0 in x
0.286 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 500.0)) in x
0.286 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.286 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.286 * [taylor]: Taking taylor expansion of x in x
0.287 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.287 * [taylor]: Taking taylor expansion of y in x
0.287 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x
0.287 * [taylor]: Taking taylor expansion of 500.0 in x
0.288 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y
0.288 * [taylor]: Taking taylor expansion of 500.0 in y
0.290 * [taylor]: Taking taylor expansion of (- (/ (sqrt 500.0) y)) in y
0.290 * [taylor]: Taking taylor expansion of (/ (sqrt 500.0) y) in y
0.290 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y
0.290 * [taylor]: Taking taylor expansion of 500.0 in y
0.291 * [taylor]: Taking taylor expansion of y in y
0.295 * [taylor]: Taking taylor expansion of 0 in y
0.298 * [taylor]: Taking taylor expansion of 0 in y
0.302 * [taylor]: Taking taylor expansion of 0 in y
0.303 * [approximate]: Taking taylor expansion of (* (sqrt 500.0) (- (/ 1 y) (/ 1 x))) in (x y) around 0
0.304 * [taylor]: Taking taylor expansion of (* (sqrt 500.0) (- (/ 1 y) (/ 1 x))) in y
0.304 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y
0.304 * [taylor]: Taking taylor expansion of 500.0 in y
0.304 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
0.304 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.304 * [taylor]: Taking taylor expansion of y in y
0.305 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.305 * [taylor]: Taking taylor expansion of x in y
0.305 * [taylor]: Taking taylor expansion of (* (sqrt 500.0) (- (/ 1 y) (/ 1 x))) in x
0.305 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x
0.305 * [taylor]: Taking taylor expansion of 500.0 in x
0.305 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.305 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.305 * [taylor]: Taking taylor expansion of y in x
0.305 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.305 * [taylor]: Taking taylor expansion of x in x
0.306 * [taylor]: Taking taylor expansion of (* (sqrt 500.0) (- (/ 1 y) (/ 1 x))) in x
0.306 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x
0.306 * [taylor]: Taking taylor expansion of 500.0 in x
0.306 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.306 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.306 * [taylor]: Taking taylor expansion of y in x
0.306 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.306 * [taylor]: Taking taylor expansion of x in x
0.310 * [taylor]: Taking taylor expansion of (* -1 (sqrt 500.0)) in y
0.311 * [taylor]: Taking taylor expansion of -1 in y
0.311 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y
0.311 * [taylor]: Taking taylor expansion of 500.0 in y
0.312 * [taylor]: Taking taylor expansion of (/ (sqrt 500.0) y) in y
0.312 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y
0.313 * [taylor]: Taking taylor expansion of 500.0 in y
0.313 * [taylor]: Taking taylor expansion of y in y
0.317 * [taylor]: Taking taylor expansion of 0 in y
0.321 * [taylor]: Taking taylor expansion of 0 in y
0.326 * [taylor]: Taking taylor expansion of 0 in y
0.327 * * * [progress]: simplifying candidates
0.328 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))
  (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))
  (+ (log (sqrt 500.0)) (+ (log (sqrt 500.0)) (log (- x y))))
  (+ (log (sqrt 500.0)) (log (* (sqrt 500.0) (- x y))))
  (log (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))
  (exp (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))
  (* (* (* (sqrt 500.0) (sqrt 500.0)) (sqrt 500.0)) (* (* (* (sqrt 500.0) (sqrt 500.0)) (sqrt 500.0)) (* (* (- x y) (- x y)) (- x y))))
  (* (* (* (sqrt 500.0) (sqrt 500.0)) (sqrt 500.0)) (* (* (* (sqrt 500.0) (- x y)) (* (sqrt 500.0) (- x y))) (* (sqrt 500.0) (- x y))))
  (* (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))))
  (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))
  (* (* (* (sqrt 500.0) (* (sqrt 500.0) (- x y))) (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))) (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))
  (sqrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))
  (sqrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))
  (* (sqrt 500.0) (* (sqrt 500.0) x))
  (* (sqrt 500.0) (* (sqrt 500.0) (- y)))
  (* (sqrt 500.0) (* (sqrt 500.0) x))
  (* (sqrt 500.0) (* (sqrt 500.0) (- y)))
  (* (sqrt 500.0) (* x (sqrt 500.0)))
  (* (sqrt 500.0) (* (- y) (sqrt 500.0)))
  (* (sqrt 500.0) (* x (sqrt 500.0)))
  (* (sqrt 500.0) (* (- y) (sqrt 500.0)))
  (* (* (sqrt 500.0) x) (sqrt 500.0))
  (* (* (sqrt 500.0) (- y)) (sqrt 500.0))
  (* (* (sqrt 500.0) x) (sqrt 500.0))
  (* (* (sqrt 500.0) (- y)) (sqrt 500.0))
  (* (* x (sqrt 500.0)) (sqrt 500.0))
  (* (* (- y) (sqrt 500.0)) (sqrt 500.0))
  (* (* x (sqrt 500.0)) (sqrt 500.0))
  (* (* (- y) (sqrt 500.0)) (sqrt 500.0))
  (* (sqrt 500.0) (sqrt 500.0))
  (* (cbrt (sqrt 500.0)) (* (sqrt 500.0) (- x y)))
  (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y)))
  (* (sqrt (sqrt 500.0)) (* (sqrt 500.0) (- x y)))
  (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))
  (* (sqrt (sqrt 500.0)) (* (sqrt 500.0) (- x y)))
  (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))
  (* (sqrt 500.0) (* (sqrt 500.0) (- (pow x 3) (pow y 3))))
  (* (sqrt 500.0) (* (sqrt 500.0) (- (* x x) (* y y))))
  (* (sqrt 500.0) (- x y))
  (+ (log (sqrt 500.0)) (log (- x y)))
  (log (* (sqrt 500.0) (- x y)))
  (exp (* (sqrt 500.0) (- x y)))
  (* (* (* (sqrt 500.0) (sqrt 500.0)) (sqrt 500.0)) (* (* (- x y) (- x y)) (- x y)))
  (* (cbrt (* (sqrt 500.0) (- x y))) (cbrt (* (sqrt 500.0) (- x y))))
  (cbrt (* (sqrt 500.0) (- x y)))
  (* (* (* (sqrt 500.0) (- x y)) (* (sqrt 500.0) (- x y))) (* (sqrt 500.0) (- x y)))
  (sqrt (* (sqrt 500.0) (- x y)))
  (sqrt (* (sqrt 500.0) (- x y)))
  (* (sqrt (sqrt 500.0)) (sqrt (- x y)))
  (* (sqrt (sqrt 500.0)) (sqrt (- x y)))
  (* (sqrt (sqrt 500.0)) (sqrt (- x y)))
  (* (sqrt (sqrt 500.0)) (sqrt (- x y)))
  (* (sqrt 500.0) x)
  (* (sqrt 500.0) (- y))
  (* (sqrt 500.0) x)
  (* (sqrt 500.0) (- y))
  (* x (sqrt 500.0))
  (* (- y) (sqrt 500.0))
  (* x (sqrt 500.0))
  (* (- y) (sqrt 500.0))
  (* (sqrt 500.0) (* (cbrt (- x y)) (cbrt (- x y))))
  (* (sqrt 500.0) (sqrt (- x y)))
  (* (sqrt 500.0) 1)
  (* (sqrt 500.0) (+ (sqrt x) (sqrt y)))
  (* (sqrt 500.0) 1)
  (* (cbrt (sqrt 500.0)) (- x y))
  (* (sqrt (cbrt 500.0)) (- x y))
  (* (sqrt (sqrt 500.0)) (- x y))
  (* (sqrt 500.0) (- x y))
  (* (sqrt (sqrt 500.0)) (- x y))
  (* (sqrt 500.0) (- x y))
  (* (sqrt 500.0) (- (pow x 3) (pow y 3)))
  (* (sqrt 500.0) (- (* x x) (* y y)))
  (- (* x (pow (sqrt 500.0) 2)) (* y (pow (sqrt 500.0) 2)))
  (- (* x (pow (sqrt 500.0) 2)) (* y (pow (sqrt 500.0) 2)))
  (- (* x (pow (sqrt 500.0) 2)) (* y (pow (sqrt 500.0) 2)))
  (- (* x (sqrt 500.0)) (* y (sqrt 500.0)))
  (- (* x (sqrt 500.0)) (* y (sqrt 500.0)))
  (- (* x (sqrt 500.0)) (* y (sqrt 500.0)))
0.332 * * [simplify]: iteration  0 :  193  enodes  (cost  306 )
0.337 * * [simplify]: iteration  1 :  946  enodes  (cost  268 )
0.360 * * [simplify]: iteration  2 :  5002  enodes  (cost  265 )
0.361 * [simplify]: Simplified to:
   (* 500.0 (- x y))
  (* 500.0 (- x y))
  (log (* 500.0 (- x y)))
  (log (* 500.0 (- x y)))
  (log (* 500.0 (- x y)))
  (pow (exp 500.0) (- x y))
  (pow (* 500.0 (- x y)) 3)
  (pow (* 500.0 (- x y)) 3)
  (* (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))) (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y)))))
  (cbrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))
  (pow (* 500.0 (- x y)) 3)
  (sqrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))
  (sqrt (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))
  (* 500.0 x)
  (* 500.0 (- y))
  (* 500.0 x)
  (* 500.0 (- y))
  (* 500.0 x)
  (* 500.0 (- y))
  (* 500.0 x)
  (* 500.0 (- y))
  (* 500.0 x)
  (* 500.0 (- y))
  (* 500.0 x)
  (* 500.0 (- y))
  (* 500.0 x)
  (* 500.0 (- y))
  (* 500.0 x)
  (* 500.0 (- y))
  500.0
  (* (cbrt (sqrt 500.0)) (* (sqrt 500.0) (- x y)))
  (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y)))
  (* (sqrt (sqrt 500.0)) (* (sqrt 500.0) (- x y)))
  (* 500.0 (- x y))
  (* (sqrt (sqrt 500.0)) (* (sqrt 500.0) (- x y)))
  (* 500.0 (- x y))
  (* 500.0 (- (pow x 3) (pow y 3)))
  (* 500.0 (- (* x x) (* y y)))
  (* (sqrt 500.0) (- x y))
  (log (* (sqrt 500.0) (- x y)))
  (log (* (sqrt 500.0) (- x y)))
  (exp (* (sqrt 500.0) (- x y)))
  (pow (* (sqrt 500.0) (- x y)) 3)
  (* (cbrt (* (sqrt 500.0) (- x y))) (cbrt (* (sqrt 500.0) (- x y))))
  (cbrt (* (sqrt 500.0) (- x y)))
  (pow (* (sqrt 500.0) (- x y)) 3)
  (sqrt (* (sqrt 500.0) (- x y)))
  (sqrt (* (sqrt 500.0) (- x y)))
  (* (sqrt (- x y)) (pow (sqrt 500.0) 1/2))
  (* (sqrt (- x y)) (pow (sqrt 500.0) 1/2))
  (* (sqrt (- x y)) (pow (sqrt 500.0) 1/2))
  (* (sqrt (- x y)) (pow (sqrt 500.0) 1/2))
  (* (sqrt 500.0) x)
  (* (sqrt 500.0) (- y))
  (* (sqrt 500.0) x)
  (* (sqrt 500.0) (- y))
  (* (sqrt 500.0) x)
  (* (sqrt 500.0) (- y))
  (* (sqrt 500.0) x)
  (* (sqrt 500.0) (- y))
  (* (sqrt 500.0) (* (cbrt (- x y)) (cbrt (- x y))))
  (* (sqrt 500.0) (sqrt (- x y)))
  (sqrt 500.0)
  (* (sqrt 500.0) (+ (sqrt x) (sqrt y)))
  (sqrt 500.0)
  (* (cbrt (sqrt 500.0)) (- x y))
  (* (sqrt (cbrt 500.0)) (- x y))
  (* (sqrt (sqrt 500.0)) (- x y))
  (* (sqrt 500.0) (- x y))
  (* (sqrt (sqrt 500.0)) (- x y))
  (* (sqrt 500.0) (- x y))
  (* (sqrt 500.0) (- (pow x 3) (pow y 3)))
  (* (sqrt 500.0) (- (* x x) (* y y)))
  (* 500.0 (- x y))
  (* 500.0 (- x y))
  (* 500.0 (- x y))
  (* (sqrt 500.0) (- x y))
  (* (sqrt 500.0) (- x y))
  (* (sqrt 500.0) (- x y))
0.362 * * * [progress]: adding candidates to table
0.444 * * [progress]: iteration 3 / 4
0.444 * * * [progress]: picking best candidate
0.448 * * * * [pick]: Picked  #<alt (λ (x y) (* (sqrt (* (cbrt 500.0) (cbrt 500.0))) (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y)))))>
0.448 * * * [progress]: localizing error
0.462 * * * [progress]: generating rewritten candidates
0.463 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
0.468 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
0.485 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
0.495 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
0.507 * * * [progress]: generating series expansions
0.507 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
0.507 * * * * [progress]: [ 2 / 4 ] generating series at (2)
0.509 * [approximate]: Taking taylor expansion of (* (* (- x y) (sqrt 500.0)) (sqrt (pow (cbrt 500.0) 3))) in (x y) around 0
0.510 * [taylor]: Taking taylor expansion of (* (* (- x y) (sqrt 500.0)) (sqrt (pow (cbrt 500.0) 3))) in y
0.510 * [taylor]: Taking taylor expansion of (* (- x y) (sqrt 500.0)) in y
0.510 * [taylor]: Taking taylor expansion of (- x y) in y
0.510 * [taylor]: Taking taylor expansion of x in y
0.510 * [taylor]: Taking taylor expansion of y in y
0.510 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y
0.510 * [taylor]: Taking taylor expansion of 500.0 in y
0.510 * [taylor]: Taking taylor expansion of (sqrt (pow (cbrt 500.0) 3)) in y
0.510 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in y
0.510 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y
0.510 * [taylor]: Taking taylor expansion of 500.0 in y
0.516 * [taylor]: Taking taylor expansion of (* (* (- x y) (sqrt 500.0)) (sqrt (pow (cbrt 500.0) 3))) in x
0.516 * [taylor]: Taking taylor expansion of (* (- x y) (sqrt 500.0)) in x
0.516 * [taylor]: Taking taylor expansion of (- x y) in x
0.516 * [taylor]: Taking taylor expansion of x in x
0.516 * [taylor]: Taking taylor expansion of y in x
0.516 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x
0.516 * [taylor]: Taking taylor expansion of 500.0 in x
0.516 * [taylor]: Taking taylor expansion of (sqrt (pow (cbrt 500.0) 3)) in x
0.516 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in x
0.516 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x
0.516 * [taylor]: Taking taylor expansion of 500.0 in x
0.522 * [taylor]: Taking taylor expansion of (* (* (- x y) (sqrt 500.0)) (sqrt (pow (cbrt 500.0) 3))) in x
0.522 * [taylor]: Taking taylor expansion of (* (- x y) (sqrt 500.0)) in x
0.522 * [taylor]: Taking taylor expansion of (- x y) in x
0.522 * [taylor]: Taking taylor expansion of x in x
0.522 * [taylor]: Taking taylor expansion of y in x
0.522 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x
0.522 * [taylor]: Taking taylor expansion of 500.0 in x
0.522 * [taylor]: Taking taylor expansion of (sqrt (pow (cbrt 500.0) 3)) in x
0.522 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in x
0.522 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x
0.523 * [taylor]: Taking taylor expansion of 500.0 in x
0.529 * [taylor]: Taking taylor expansion of (* -1 (* y (pow (sqrt 500.0) 2))) in y
0.529 * [taylor]: Taking taylor expansion of -1 in y
0.529 * [taylor]: Taking taylor expansion of (* y (pow (sqrt 500.0) 2)) in y
0.529 * [taylor]: Taking taylor expansion of y in y
0.529 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y
0.529 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y
0.529 * [taylor]: Taking taylor expansion of 500.0 in y
0.533 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y
0.533 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y
0.533 * [taylor]: Taking taylor expansion of 500.0 in y
0.550 * [taylor]: Taking taylor expansion of 0 in y
0.558 * [taylor]: Taking taylor expansion of 0 in y
0.563 * [approximate]: Taking taylor expansion of (* (* (- (/ 1 x) (/ 1 y)) (sqrt 500.0)) (sqrt (pow (cbrt 500.0) 3))) in (x y) around 0
0.563 * [taylor]: Taking taylor expansion of (* (* (- (/ 1 x) (/ 1 y)) (sqrt 500.0)) (sqrt (pow (cbrt 500.0) 3))) in y
0.563 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 500.0)) in y
0.563 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
0.564 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.564 * [taylor]: Taking taylor expansion of x in y
0.564 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.564 * [taylor]: Taking taylor expansion of y in y
0.564 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y
0.564 * [taylor]: Taking taylor expansion of 500.0 in y
0.565 * [taylor]: Taking taylor expansion of (sqrt (pow (cbrt 500.0) 3)) in y
0.565 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in y
0.565 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y
0.565 * [taylor]: Taking taylor expansion of 500.0 in y
0.570 * [taylor]: Taking taylor expansion of (* (* (- (/ 1 x) (/ 1 y)) (sqrt 500.0)) (sqrt (pow (cbrt 500.0) 3))) in x
0.570 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 500.0)) in x
0.570 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.570 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.570 * [taylor]: Taking taylor expansion of x in x
0.571 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.571 * [taylor]: Taking taylor expansion of y in x
0.571 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x
0.571 * [taylor]: Taking taylor expansion of 500.0 in x
0.571 * [taylor]: Taking taylor expansion of (sqrt (pow (cbrt 500.0) 3)) in x
0.571 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in x
0.571 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x
0.572 * [taylor]: Taking taylor expansion of 500.0 in x
0.577 * [taylor]: Taking taylor expansion of (* (* (- (/ 1 x) (/ 1 y)) (sqrt 500.0)) (sqrt (pow (cbrt 500.0) 3))) in x
0.577 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 500.0)) in x
0.577 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.577 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.577 * [taylor]: Taking taylor expansion of x in x
0.577 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.577 * [taylor]: Taking taylor expansion of y in x
0.577 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x
0.577 * [taylor]: Taking taylor expansion of 500.0 in x
0.578 * [taylor]: Taking taylor expansion of (sqrt (pow (cbrt 500.0) 3)) in x
0.578 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in x
0.578 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x
0.578 * [taylor]: Taking taylor expansion of 500.0 in x
0.584 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y
0.585 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y
0.585 * [taylor]: Taking taylor expansion of 500.0 in y
0.587 * [taylor]: Taking taylor expansion of (- (/ (pow (sqrt 500.0) 2) y)) in y
0.587 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 500.0) 2) y) in y
0.587 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y
0.587 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y
0.587 * [taylor]: Taking taylor expansion of 500.0 in y
0.588 * [taylor]: Taking taylor expansion of y in y
0.598 * [taylor]: Taking taylor expansion of 0 in y
0.606 * [taylor]: Taking taylor expansion of 0 in y
0.616 * [taylor]: Taking taylor expansion of 0 in y
0.620 * [approximate]: Taking taylor expansion of (* (* (- (/ 1 y) (/ 1 x)) (sqrt 500.0)) (sqrt (pow (cbrt 500.0) 3))) in (x y) around 0
0.620 * [taylor]: Taking taylor expansion of (* (* (- (/ 1 y) (/ 1 x)) (sqrt 500.0)) (sqrt (pow (cbrt 500.0) 3))) in y
0.620 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (sqrt 500.0)) in y
0.620 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
0.620 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.620 * [taylor]: Taking taylor expansion of y in y
0.620 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.620 * [taylor]: Taking taylor expansion of x in y
0.620 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y
0.620 * [taylor]: Taking taylor expansion of 500.0 in y
0.621 * [taylor]: Taking taylor expansion of (sqrt (pow (cbrt 500.0) 3)) in y
0.621 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in y
0.621 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y
0.621 * [taylor]: Taking taylor expansion of 500.0 in y
0.629 * [taylor]: Taking taylor expansion of (* (* (- (/ 1 y) (/ 1 x)) (sqrt 500.0)) (sqrt (pow (cbrt 500.0) 3))) in x
0.629 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (sqrt 500.0)) in x
0.629 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.629 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.629 * [taylor]: Taking taylor expansion of y in x
0.629 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.629 * [taylor]: Taking taylor expansion of x in x
0.630 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x
0.630 * [taylor]: Taking taylor expansion of 500.0 in x
0.630 * [taylor]: Taking taylor expansion of (sqrt (pow (cbrt 500.0) 3)) in x
0.630 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in x
0.630 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x
0.630 * [taylor]: Taking taylor expansion of 500.0 in x
0.635 * [taylor]: Taking taylor expansion of (* (* (- (/ 1 y) (/ 1 x)) (sqrt 500.0)) (sqrt (pow (cbrt 500.0) 3))) in x
0.636 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (sqrt 500.0)) in x
0.636 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.636 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.636 * [taylor]: Taking taylor expansion of y in x
0.636 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.636 * [taylor]: Taking taylor expansion of x in x
0.636 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x
0.636 * [taylor]: Taking taylor expansion of 500.0 in x
0.637 * [taylor]: Taking taylor expansion of (sqrt (pow (cbrt 500.0) 3)) in x
0.637 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in x
0.637 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x
0.637 * [taylor]: Taking taylor expansion of 500.0 in x
0.644 * [taylor]: Taking taylor expansion of (* -1 (pow (sqrt 500.0) 2)) in y
0.644 * [taylor]: Taking taylor expansion of -1 in y
0.644 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y
0.644 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y
0.644 * [taylor]: Taking taylor expansion of 500.0 in y
0.647 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 500.0) 2) y) in y
0.647 * [taylor]: Taking taylor expansion of (pow (sqrt 500.0) 2) in y
0.647 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y
0.647 * [taylor]: Taking taylor expansion of 500.0 in y
0.648 * [taylor]: Taking taylor expansion of y in y
0.659 * [taylor]: Taking taylor expansion of 0 in y
0.667 * [taylor]: Taking taylor expansion of 0 in y
0.678 * [taylor]: Taking taylor expansion of 0 in y
0.679 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
0.680 * [approximate]: Taking taylor expansion of (* (* (- x y) (sqrt 500.0)) (sqrt (cbrt 500.0))) in (x y) around 0
0.680 * [taylor]: Taking taylor expansion of (* (* (- x y) (sqrt 500.0)) (sqrt (cbrt 500.0))) in y
0.680 * [taylor]: Taking taylor expansion of (* (- x y) (sqrt 500.0)) in y
0.680 * [taylor]: Taking taylor expansion of (- x y) in y
0.680 * [taylor]: Taking taylor expansion of x in y
0.680 * [taylor]: Taking taylor expansion of y in y
0.680 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y
0.680 * [taylor]: Taking taylor expansion of 500.0 in y
0.681 * [taylor]: Taking taylor expansion of (sqrt (cbrt 500.0)) in y
0.681 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y
0.681 * [taylor]: Taking taylor expansion of 500.0 in y
0.683 * [taylor]: Taking taylor expansion of (* (* (- x y) (sqrt 500.0)) (sqrt (cbrt 500.0))) in x
0.683 * [taylor]: Taking taylor expansion of (* (- x y) (sqrt 500.0)) in x
0.683 * [taylor]: Taking taylor expansion of (- x y) in x
0.683 * [taylor]: Taking taylor expansion of x in x
0.683 * [taylor]: Taking taylor expansion of y in x
0.683 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x
0.683 * [taylor]: Taking taylor expansion of 500.0 in x
0.684 * [taylor]: Taking taylor expansion of (sqrt (cbrt 500.0)) in x
0.684 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x
0.684 * [taylor]: Taking taylor expansion of 500.0 in x
0.685 * [taylor]: Taking taylor expansion of (* (* (- x y) (sqrt 500.0)) (sqrt (cbrt 500.0))) in x
0.685 * [taylor]: Taking taylor expansion of (* (- x y) (sqrt 500.0)) in x
0.685 * [taylor]: Taking taylor expansion of (- x y) in x
0.685 * [taylor]: Taking taylor expansion of x in x
0.685 * [taylor]: Taking taylor expansion of y in x
0.685 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x
0.685 * [taylor]: Taking taylor expansion of 500.0 in x
0.686 * [taylor]: Taking taylor expansion of (sqrt (cbrt 500.0)) in x
0.686 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x
0.686 * [taylor]: Taking taylor expansion of 500.0 in x
0.689 * [taylor]: Taking taylor expansion of (* -1 (* (* y (sqrt 500.0)) (sqrt (cbrt 500.0)))) in y
0.689 * [taylor]: Taking taylor expansion of -1 in y
0.689 * [taylor]: Taking taylor expansion of (* (* y (sqrt 500.0)) (sqrt (cbrt 500.0))) in y
0.689 * [taylor]: Taking taylor expansion of (* y (sqrt 500.0)) in y
0.689 * [taylor]: Taking taylor expansion of y in y
0.689 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y
0.689 * [taylor]: Taking taylor expansion of 500.0 in y
0.690 * [taylor]: Taking taylor expansion of (sqrt (cbrt 500.0)) in y
0.690 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y
0.690 * [taylor]: Taking taylor expansion of 500.0 in y
0.695 * [taylor]: Taking taylor expansion of (* (sqrt 500.0) (sqrt (cbrt 500.0))) in y
0.695 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y
0.695 * [taylor]: Taking taylor expansion of 500.0 in y
0.696 * [taylor]: Taking taylor expansion of (sqrt (cbrt 500.0)) in y
0.696 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y
0.696 * [taylor]: Taking taylor expansion of 500.0 in y
0.713 * [taylor]: Taking taylor expansion of 0 in y
0.722 * [taylor]: Taking taylor expansion of 0 in y
0.728 * [approximate]: Taking taylor expansion of (* (* (- (/ 1 x) (/ 1 y)) (sqrt 500.0)) (sqrt (cbrt 500.0))) in (x y) around 0
0.728 * [taylor]: Taking taylor expansion of (* (* (- (/ 1 x) (/ 1 y)) (sqrt 500.0)) (sqrt (cbrt 500.0))) in y
0.728 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 500.0)) in y
0.728 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
0.728 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.728 * [taylor]: Taking taylor expansion of x in y
0.728 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.728 * [taylor]: Taking taylor expansion of y in y
0.728 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y
0.728 * [taylor]: Taking taylor expansion of 500.0 in y
0.729 * [taylor]: Taking taylor expansion of (sqrt (cbrt 500.0)) in y
0.729 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y
0.729 * [taylor]: Taking taylor expansion of 500.0 in y
0.731 * [taylor]: Taking taylor expansion of (* (* (- (/ 1 x) (/ 1 y)) (sqrt 500.0)) (sqrt (cbrt 500.0))) in x
0.731 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 500.0)) in x
0.731 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.731 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.731 * [taylor]: Taking taylor expansion of x in x
0.731 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.731 * [taylor]: Taking taylor expansion of y in x
0.731 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x
0.731 * [taylor]: Taking taylor expansion of 500.0 in x
0.732 * [taylor]: Taking taylor expansion of (sqrt (cbrt 500.0)) in x
0.732 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x
0.732 * [taylor]: Taking taylor expansion of 500.0 in x
0.734 * [taylor]: Taking taylor expansion of (* (* (- (/ 1 x) (/ 1 y)) (sqrt 500.0)) (sqrt (cbrt 500.0))) in x
0.734 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 500.0)) in x
0.734 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.734 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.734 * [taylor]: Taking taylor expansion of x in x
0.734 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.734 * [taylor]: Taking taylor expansion of y in x
0.734 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x
0.734 * [taylor]: Taking taylor expansion of 500.0 in x
0.735 * [taylor]: Taking taylor expansion of (sqrt (cbrt 500.0)) in x
0.735 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x
0.735 * [taylor]: Taking taylor expansion of 500.0 in x
0.738 * [taylor]: Taking taylor expansion of (* (sqrt 500.0) (sqrt (cbrt 500.0))) in y
0.738 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y
0.738 * [taylor]: Taking taylor expansion of 500.0 in y
0.739 * [taylor]: Taking taylor expansion of (sqrt (cbrt 500.0)) in y
0.739 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y
0.739 * [taylor]: Taking taylor expansion of 500.0 in y
0.743 * [taylor]: Taking taylor expansion of (- (* (/ (sqrt 500.0) y) (sqrt (cbrt 500.0)))) in y
0.743 * [taylor]: Taking taylor expansion of (* (/ (sqrt 500.0) y) (sqrt (cbrt 500.0))) in y
0.743 * [taylor]: Taking taylor expansion of (/ (sqrt 500.0) y) in y
0.743 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y
0.743 * [taylor]: Taking taylor expansion of 500.0 in y
0.744 * [taylor]: Taking taylor expansion of y in y
0.744 * [taylor]: Taking taylor expansion of (sqrt (cbrt 500.0)) in y
0.744 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y
0.744 * [taylor]: Taking taylor expansion of 500.0 in y
0.757 * [taylor]: Taking taylor expansion of 0 in y
0.764 * [taylor]: Taking taylor expansion of 0 in y
0.776 * [taylor]: Taking taylor expansion of 0 in y
0.779 * [approximate]: Taking taylor expansion of (* (* (- (/ 1 y) (/ 1 x)) (sqrt 500.0)) (sqrt (cbrt 500.0))) in (x y) around 0
0.779 * [taylor]: Taking taylor expansion of (* (* (- (/ 1 y) (/ 1 x)) (sqrt 500.0)) (sqrt (cbrt 500.0))) in y
0.779 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (sqrt 500.0)) in y
0.779 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
0.779 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.779 * [taylor]: Taking taylor expansion of y in y
0.780 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.780 * [taylor]: Taking taylor expansion of x in y
0.780 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y
0.780 * [taylor]: Taking taylor expansion of 500.0 in y
0.780 * [taylor]: Taking taylor expansion of (sqrt (cbrt 500.0)) in y
0.780 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y
0.780 * [taylor]: Taking taylor expansion of 500.0 in y
0.782 * [taylor]: Taking taylor expansion of (* (* (- (/ 1 y) (/ 1 x)) (sqrt 500.0)) (sqrt (cbrt 500.0))) in x
0.782 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (sqrt 500.0)) in x
0.782 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.782 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.782 * [taylor]: Taking taylor expansion of y in x
0.782 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.782 * [taylor]: Taking taylor expansion of x in x
0.783 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x
0.783 * [taylor]: Taking taylor expansion of 500.0 in x
0.783 * [taylor]: Taking taylor expansion of (sqrt (cbrt 500.0)) in x
0.783 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x
0.783 * [taylor]: Taking taylor expansion of 500.0 in x
0.785 * [taylor]: Taking taylor expansion of (* (* (- (/ 1 y) (/ 1 x)) (sqrt 500.0)) (sqrt (cbrt 500.0))) in x
0.787 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (sqrt 500.0)) in x
0.787 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.787 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.788 * [taylor]: Taking taylor expansion of y in x
0.788 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.788 * [taylor]: Taking taylor expansion of x in x
0.788 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x
0.788 * [taylor]: Taking taylor expansion of 500.0 in x
0.789 * [taylor]: Taking taylor expansion of (sqrt (cbrt 500.0)) in x
0.789 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x
0.789 * [taylor]: Taking taylor expansion of 500.0 in x
0.793 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt 500.0) (sqrt (cbrt 500.0)))) in y
0.793 * [taylor]: Taking taylor expansion of -1 in y
0.793 * [taylor]: Taking taylor expansion of (* (sqrt 500.0) (sqrt (cbrt 500.0))) in y
0.793 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y
0.793 * [taylor]: Taking taylor expansion of 500.0 in y
0.794 * [taylor]: Taking taylor expansion of (sqrt (cbrt 500.0)) in y
0.794 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y
0.794 * [taylor]: Taking taylor expansion of 500.0 in y
0.798 * [taylor]: Taking taylor expansion of (* (/ (sqrt 500.0) y) (sqrt (cbrt 500.0))) in y
0.798 * [taylor]: Taking taylor expansion of (/ (sqrt 500.0) y) in y
0.798 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y
0.798 * [taylor]: Taking taylor expansion of 500.0 in y
0.798 * [taylor]: Taking taylor expansion of y in y
0.799 * [taylor]: Taking taylor expansion of (sqrt (cbrt 500.0)) in y
0.799 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y
0.799 * [taylor]: Taking taylor expansion of 500.0 in y
0.812 * [taylor]: Taking taylor expansion of 0 in y
0.820 * [taylor]: Taking taylor expansion of 0 in y
0.832 * [taylor]: Taking taylor expansion of 0 in y
0.835 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
0.835 * [approximate]: Taking taylor expansion of (* (sqrt 500.0) (- x y)) in (x y) around 0
0.835 * [taylor]: Taking taylor expansion of (* (sqrt 500.0) (- x y)) in y
0.835 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y
0.835 * [taylor]: Taking taylor expansion of 500.0 in y
0.836 * [taylor]: Taking taylor expansion of (- x y) in y
0.836 * [taylor]: Taking taylor expansion of x in y
0.836 * [taylor]: Taking taylor expansion of y in y
0.836 * [taylor]: Taking taylor expansion of (* (sqrt 500.0) (- x y)) in x
0.836 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x
0.836 * [taylor]: Taking taylor expansion of 500.0 in x
0.837 * [taylor]: Taking taylor expansion of (- x y) in x
0.837 * [taylor]: Taking taylor expansion of x in x
0.837 * [taylor]: Taking taylor expansion of y in x
0.837 * [taylor]: Taking taylor expansion of (* (sqrt 500.0) (- x y)) in x
0.837 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x
0.837 * [taylor]: Taking taylor expansion of 500.0 in x
0.837 * [taylor]: Taking taylor expansion of (- x y) in x
0.837 * [taylor]: Taking taylor expansion of x in x
0.837 * [taylor]: Taking taylor expansion of y in x
0.838 * [taylor]: Taking taylor expansion of (* -1 (* y (sqrt 500.0))) in y
0.838 * [taylor]: Taking taylor expansion of -1 in y
0.838 * [taylor]: Taking taylor expansion of (* y (sqrt 500.0)) in y
0.838 * [taylor]: Taking taylor expansion of y in y
0.838 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y
0.838 * [taylor]: Taking taylor expansion of 500.0 in y
0.840 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y
0.840 * [taylor]: Taking taylor expansion of 500.0 in y
0.845 * [taylor]: Taking taylor expansion of 0 in y
0.849 * [taylor]: Taking taylor expansion of 0 in y
0.851 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 500.0)) in (x y) around 0
0.851 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 500.0)) in y
0.851 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
0.851 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.851 * [taylor]: Taking taylor expansion of x in y
0.851 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.851 * [taylor]: Taking taylor expansion of y in y
0.851 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y
0.851 * [taylor]: Taking taylor expansion of 500.0 in y
0.852 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 500.0)) in x
0.852 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.852 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.852 * [taylor]: Taking taylor expansion of x in x
0.852 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.852 * [taylor]: Taking taylor expansion of y in x
0.852 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x
0.852 * [taylor]: Taking taylor expansion of 500.0 in x
0.853 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 500.0)) in x
0.853 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.853 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.853 * [taylor]: Taking taylor expansion of x in x
0.854 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.854 * [taylor]: Taking taylor expansion of y in x
0.854 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x
0.854 * [taylor]: Taking taylor expansion of 500.0 in x
0.855 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y
0.855 * [taylor]: Taking taylor expansion of 500.0 in y
0.857 * [taylor]: Taking taylor expansion of (- (/ (sqrt 500.0) y)) in y
0.857 * [taylor]: Taking taylor expansion of (/ (sqrt 500.0) y) in y
0.857 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y
0.857 * [taylor]: Taking taylor expansion of 500.0 in y
0.858 * [taylor]: Taking taylor expansion of y in y
0.861 * [taylor]: Taking taylor expansion of 0 in y
0.865 * [taylor]: Taking taylor expansion of 0 in y
0.873 * [taylor]: Taking taylor expansion of 0 in y
0.874 * [approximate]: Taking taylor expansion of (* (sqrt 500.0) (- (/ 1 y) (/ 1 x))) in (x y) around 0
0.874 * [taylor]: Taking taylor expansion of (* (sqrt 500.0) (- (/ 1 y) (/ 1 x))) in y
0.874 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y
0.874 * [taylor]: Taking taylor expansion of 500.0 in y
0.875 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
0.875 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.875 * [taylor]: Taking taylor expansion of y in y
0.875 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.875 * [taylor]: Taking taylor expansion of x in y
0.875 * [taylor]: Taking taylor expansion of (* (sqrt 500.0) (- (/ 1 y) (/ 1 x))) in x
0.875 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x
0.875 * [taylor]: Taking taylor expansion of 500.0 in x
0.876 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.876 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.876 * [taylor]: Taking taylor expansion of y in x
0.876 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.876 * [taylor]: Taking taylor expansion of x in x
0.876 * [taylor]: Taking taylor expansion of (* (sqrt 500.0) (- (/ 1 y) (/ 1 x))) in x
0.876 * [taylor]: Taking taylor expansion of (sqrt 500.0) in x
0.876 * [taylor]: Taking taylor expansion of 500.0 in x
0.877 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.877 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.877 * [taylor]: Taking taylor expansion of y in x
0.877 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.877 * [taylor]: Taking taylor expansion of x in x
0.878 * [taylor]: Taking taylor expansion of (* -1 (sqrt 500.0)) in y
0.878 * [taylor]: Taking taylor expansion of -1 in y
0.878 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y
0.878 * [taylor]: Taking taylor expansion of 500.0 in y
0.880 * [taylor]: Taking taylor expansion of (/ (sqrt 500.0) y) in y
0.880 * [taylor]: Taking taylor expansion of (sqrt 500.0) in y
0.880 * [taylor]: Taking taylor expansion of 500.0 in y
0.881 * [taylor]: Taking taylor expansion of y in y
0.885 * [taylor]: Taking taylor expansion of 0 in y
0.888 * [taylor]: Taking taylor expansion of 0 in y
0.894 * [taylor]: Taking taylor expansion of 0 in y
0.895 * * * [progress]: simplifying candidates
0.897 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ 1/3 1/3)
  (+ 1 1)
  (* 500.0 500.0)
  (* (cbrt 500.0) (cbrt 500.0))
  (+ 1 1)
  (+ (log (cbrt 500.0)) (log (cbrt 500.0)))
  (log (* (cbrt 500.0) (cbrt 500.0)))
  (exp (* (cbrt 500.0) (cbrt 500.0)))
  (* 500.0 500.0)
  (* (cbrt (* (cbrt 500.0) (cbrt 500.0))) (cbrt (* (cbrt 500.0) (cbrt 500.0))))
  (cbrt (* (cbrt 500.0) (cbrt 500.0)))
  (* (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (cbrt 500.0))) (* (cbrt 500.0) (cbrt 500.0)))
  (sqrt (* (cbrt 500.0) (cbrt 500.0)))
  (sqrt (* (cbrt 500.0) (cbrt 500.0)))
  (* (cbrt (* (cbrt 500.0) (cbrt 500.0))) (cbrt (* (cbrt 500.0) (cbrt 500.0))))
  (* (cbrt (cbrt 500.0)) (cbrt (cbrt 500.0)))
  (* (cbrt (sqrt 500.0)) (cbrt (sqrt 500.0)))
  (* (cbrt (sqrt 500.0)) (cbrt (sqrt 500.0)))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt 500.0) (cbrt 500.0))
  (* (* (cbrt (cbrt 500.0)) (cbrt (cbrt 500.0))) (* (cbrt (cbrt 500.0)) (cbrt (cbrt 500.0))))
  (* (cbrt (cbrt 500.0)) (cbrt (cbrt 500.0)))
  (* (sqrt (cbrt 500.0)) (sqrt (cbrt 500.0)))
  (* (sqrt (cbrt 500.0)) (sqrt (cbrt 500.0)))
  (* 1 1)
  (* (cbrt 500.0) (cbrt 500.0))
  (* (cbrt (sqrt 500.0)) (cbrt (sqrt 500.0)))
  (* (cbrt (sqrt 500.0)) (cbrt (sqrt 500.0)))
  (* (cbrt (sqrt 500.0)) (sqrt (cbrt 500.0)))
  (* (cbrt (sqrt 500.0)) (sqrt (cbrt 500.0)))
  (* (sqrt (cbrt 500.0)) (cbrt (sqrt 500.0)))
  (* (sqrt (cbrt 500.0)) (cbrt (sqrt 500.0)))
  (* (sqrt (cbrt 500.0)) (sqrt (cbrt 500.0)))
  (* (sqrt (cbrt 500.0)) (sqrt (cbrt 500.0)))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt 500.0) (cbrt (* (cbrt 500.0) (cbrt 500.0))))
  (* (cbrt 500.0) (cbrt (sqrt 500.0)))
  (* (cbrt 500.0) (cbrt 1))
  (* (cbrt 500.0) (* (cbrt (cbrt 500.0)) (cbrt (cbrt 500.0))))
  (* (cbrt 500.0) (sqrt (cbrt 500.0)))
  (* (cbrt 500.0) 1)
  (* (cbrt (cbrt 500.0)) (cbrt 500.0))
  (* (cbrt (sqrt 500.0)) (cbrt 500.0))
  (* (cbrt 500.0) (cbrt 500.0))
  (* (cbrt (cbrt 500.0)) (cbrt 500.0))
  (* (sqrt (cbrt 500.0)) (cbrt 500.0))
  (* (cbrt 500.0) (cbrt 500.0))
  (* (sqrt (* (cbrt 500.0) (cbrt 500.0))) (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y))))
  (* (sqrt (* (cbrt 500.0) (cbrt 500.0))) (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y))))
  (* (sqrt (* (cbrt 500.0) (cbrt 500.0))) (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y))))
  (+ (log (sqrt (* (cbrt 500.0) (cbrt 500.0)))) (+ (log (sqrt (cbrt 500.0))) (+ (log (sqrt 500.0)) (log (- x y)))))
  (+ (log (sqrt (* (cbrt 500.0) (cbrt 500.0)))) (+ (log (sqrt (cbrt 500.0))) (log (* (sqrt 500.0) (- x y)))))
  (+ (log (sqrt (* (cbrt 500.0) (cbrt 500.0)))) (log (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y)))))
  (log (* (sqrt (* (cbrt 500.0) (cbrt 500.0))) (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y)))))
  (exp (* (sqrt (* (cbrt 500.0) (cbrt 500.0))) (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y)))))
  (* (* (* (sqrt (* (cbrt 500.0) (cbrt 500.0))) (sqrt (* (cbrt 500.0) (cbrt 500.0)))) (sqrt (* (cbrt 500.0) (cbrt 500.0)))) (* (* (* (sqrt (cbrt 500.0)) (sqrt (cbrt 500.0))) (sqrt (cbrt 500.0))) (* (* (* (sqrt 500.0) (sqrt 500.0)) (sqrt 500.0)) (* (* (- x y) (- x y)) (- x y)))))
  (* (* (* (sqrt (* (cbrt 500.0) (cbrt 500.0))) (sqrt (* (cbrt 500.0) (cbrt 500.0)))) (sqrt (* (cbrt 500.0) (cbrt 500.0)))) (* (* (* (sqrt (cbrt 500.0)) (sqrt (cbrt 500.0))) (sqrt (cbrt 500.0))) (* (* (* (sqrt 500.0) (- x y)) (* (sqrt 500.0) (- x y))) (* (sqrt 500.0) (- x y)))))
  (* (* (* (sqrt (* (cbrt 500.0) (cbrt 500.0))) (sqrt (* (cbrt 500.0) (cbrt 500.0)))) (sqrt (* (cbrt 500.0) (cbrt 500.0)))) (* (* (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y))) (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y)))) (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y)))))
  (* (cbrt (* (sqrt (* (cbrt 500.0) (cbrt 500.0))) (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y))))) (cbrt (* (sqrt (* (cbrt 500.0) (cbrt 500.0))) (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y))))))
  (cbrt (* (sqrt (* (cbrt 500.0) (cbrt 500.0))) (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y)))))
  (* (* (* (sqrt (* (cbrt 500.0) (cbrt 500.0))) (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y)))) (* (sqrt (* (cbrt 500.0) (cbrt 500.0))) (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y))))) (* (sqrt (* (cbrt 500.0) (cbrt 500.0))) (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y)))))
  (sqrt (* (sqrt (* (cbrt 500.0) (cbrt 500.0))) (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y)))))
  (sqrt (* (sqrt (* (cbrt 500.0) (cbrt 500.0))) (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y)))))
  (* (sqrt (* (cbrt 500.0) (cbrt 500.0))) (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) x)))
  (* (sqrt (* (cbrt 500.0) (cbrt 500.0))) (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- y))))
  (* (sqrt (* (cbrt 500.0) (cbrt 500.0))) (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) x)))
  (* (sqrt (* (cbrt 500.0) (cbrt 500.0))) (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- y))))
  (* (sqrt (* (cbrt 500.0) (cbrt 500.0))) (* (sqrt (cbrt 500.0)) (* x (sqrt 500.0))))
  (* (sqrt (* (cbrt 500.0) (cbrt 500.0))) (* (sqrt (cbrt 500.0)) (* (- y) (sqrt 500.0))))
  (* (sqrt (* (cbrt 500.0) (cbrt 500.0))) (* (sqrt (cbrt 500.0)) (* x (sqrt 500.0))))
  (* (sqrt (* (cbrt 500.0) (cbrt 500.0))) (* (sqrt (cbrt 500.0)) (* (- y) (sqrt 500.0))))
  (* (sqrt (* (cbrt 500.0) (cbrt 500.0))) (* (* (sqrt 500.0) x) (sqrt (cbrt 500.0))))
  (* (sqrt (* (cbrt 500.0) (cbrt 500.0))) (* (* (sqrt 500.0) (- y)) (sqrt (cbrt 500.0))))
  (* (sqrt (* (cbrt 500.0) (cbrt 500.0))) (* (* (sqrt 500.0) x) (sqrt (cbrt 500.0))))
  (* (sqrt (* (cbrt 500.0) (cbrt 500.0))) (* (* (sqrt 500.0) (- y)) (sqrt (cbrt 500.0))))
  (* (sqrt (* (cbrt 500.0) (cbrt 500.0))) (* (* x (sqrt 500.0)) (sqrt (cbrt 500.0))))
  (* (sqrt (* (cbrt 500.0) (cbrt 500.0))) (* (* (- y) (sqrt 500.0)) (sqrt (cbrt 500.0))))
  (* (sqrt (* (cbrt 500.0) (cbrt 500.0))) (* (* x (sqrt 500.0)) (sqrt (cbrt 500.0))))
  (* (sqrt (* (cbrt 500.0) (cbrt 500.0))) (* (* (- y) (sqrt 500.0)) (sqrt (cbrt 500.0))))
  (* (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) x)) (sqrt (* (cbrt 500.0) (cbrt 500.0))))
  (* (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- y))) (sqrt (* (cbrt 500.0) (cbrt 500.0))))
  (* (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) x)) (sqrt (* (cbrt 500.0) (cbrt 500.0))))
  (* (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- y))) (sqrt (* (cbrt 500.0) (cbrt 500.0))))
  (* (* (sqrt (cbrt 500.0)) (* x (sqrt 500.0))) (sqrt (* (cbrt 500.0) (cbrt 500.0))))
  (* (* (sqrt (cbrt 500.0)) (* (- y) (sqrt 500.0))) (sqrt (* (cbrt 500.0) (cbrt 500.0))))
  (* (* (sqrt (cbrt 500.0)) (* x (sqrt 500.0))) (sqrt (* (cbrt 500.0) (cbrt 500.0))))
  (* (* (sqrt (cbrt 500.0)) (* (- y) (sqrt 500.0))) (sqrt (* (cbrt 500.0) (cbrt 500.0))))
  (* (* (* (sqrt 500.0) x) (sqrt (cbrt 500.0))) (sqrt (* (cbrt 500.0) (cbrt 500.0))))
  (* (* (* (sqrt 500.0) (- y)) (sqrt (cbrt 500.0))) (sqrt (* (cbrt 500.0) (cbrt 500.0))))
  (* (* (* (sqrt 500.0) x) (sqrt (cbrt 500.0))) (sqrt (* (cbrt 500.0) (cbrt 500.0))))
  (* (* (* (sqrt 500.0) (- y)) (sqrt (cbrt 500.0))) (sqrt (* (cbrt 500.0) (cbrt 500.0))))
  (* (* (* x (sqrt 500.0)) (sqrt (cbrt 500.0))) (sqrt (* (cbrt 500.0) (cbrt 500.0))))
  (* (* (* (- y) (sqrt 500.0)) (sqrt (cbrt 500.0))) (sqrt (* (cbrt 500.0) (cbrt 500.0))))
  (* (* (* x (sqrt 500.0)) (sqrt (cbrt 500.0))) (sqrt (* (cbrt 500.0) (cbrt 500.0))))
  (* (* (* (- y) (sqrt 500.0)) (sqrt (cbrt 500.0))) (sqrt (* (cbrt 500.0) (cbrt 500.0))))
  (* (sqrt (* (cbrt 500.0) (cbrt 500.0))) (sqrt (cbrt 500.0)))
  (* (cbrt (sqrt (* (cbrt 500.0) (cbrt 500.0)))) (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y))))
  (* (sqrt (cbrt 500.0)) (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y))))
  (* (sqrt (sqrt (* (cbrt 500.0) (cbrt 500.0)))) (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y))))
  (* (sqrt (* (cbrt 500.0) (cbrt 500.0))) (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y))))
  (* (sqrt (* (cbrt 500.0) (cbrt 500.0))) (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- (pow x 3) (pow y 3)))))
  (* (sqrt (* (cbrt 500.0) (cbrt 500.0))) (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- (* x x) (* y y)))))
  (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y)))
  (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y)))
  (+ (log (sqrt (cbrt 500.0))) (+ (log (sqrt 500.0)) (log (- x y))))
  (+ (log (sqrt (cbrt 500.0))) (log (* (sqrt 500.0) (- x y))))
  (log (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y))))
  (exp (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y))))
  (* (* (* (sqrt (cbrt 500.0)) (sqrt (cbrt 500.0))) (sqrt (cbrt 500.0))) (* (* (* (sqrt 500.0) (sqrt 500.0)) (sqrt 500.0)) (* (* (- x y) (- x y)) (- x y))))
  (* (* (* (sqrt (cbrt 500.0)) (sqrt (cbrt 500.0))) (sqrt (cbrt 500.0))) (* (* (* (sqrt 500.0) (- x y)) (* (sqrt 500.0) (- x y))) (* (sqrt 500.0) (- x y))))
  (* (cbrt (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y)))) (cbrt (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y)))))
  (cbrt (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y))))
  (* (* (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y))) (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y)))) (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y))))
  (sqrt (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y))))
  (sqrt (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y))))
  (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) x))
  (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- y)))
  (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) x))
  (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- y)))
  (* (sqrt (cbrt 500.0)) (* x (sqrt 500.0)))
  (* (sqrt (cbrt 500.0)) (* (- y) (sqrt 500.0)))
  (* (sqrt (cbrt 500.0)) (* x (sqrt 500.0)))
  (* (sqrt (cbrt 500.0)) (* (- y) (sqrt 500.0)))
  (* (* (sqrt 500.0) x) (sqrt (cbrt 500.0)))
  (* (* (sqrt 500.0) (- y)) (sqrt (cbrt 500.0)))
  (* (* (sqrt 500.0) x) (sqrt (cbrt 500.0)))
  (* (* (sqrt 500.0) (- y)) (sqrt (cbrt 500.0)))
  (* (* x (sqrt 500.0)) (sqrt (cbrt 500.0)))
  (* (* (- y) (sqrt 500.0)) (sqrt (cbrt 500.0)))
  (* (* x (sqrt 500.0)) (sqrt (cbrt 500.0)))
  (* (* (- y) (sqrt 500.0)) (sqrt (cbrt 500.0)))
  (* (sqrt (cbrt 500.0)) (sqrt 500.0))
  (* (cbrt (sqrt (cbrt 500.0))) (* (sqrt 500.0) (- x y)))
  (* (sqrt (cbrt (cbrt 500.0))) (* (sqrt 500.0) (- x y)))
  (* (sqrt (cbrt (sqrt 500.0))) (* (sqrt 500.0) (- x y)))
  (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y)))
  (* (sqrt (cbrt (cbrt 500.0))) (* (sqrt 500.0) (- x y)))
  (* (sqrt (sqrt (cbrt 500.0))) (* (sqrt 500.0) (- x y)))
  (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y)))
  (* (sqrt (sqrt (cbrt 500.0))) (* (sqrt 500.0) (- x y)))
  (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y)))
  (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- (pow x 3) (pow y 3))))
  (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- (* x x) (* y y))))
  (* (sqrt 500.0) (- x y))
  (+ (log (sqrt 500.0)) (log (- x y)))
  (log (* (sqrt 500.0) (- x y)))
  (exp (* (sqrt 500.0) (- x y)))
  (* (* (* (sqrt 500.0) (sqrt 500.0)) (sqrt 500.0)) (* (* (- x y) (- x y)) (- x y)))
  (* (cbrt (* (sqrt 500.0) (- x y))) (cbrt (* (sqrt 500.0) (- x y))))
  (cbrt (* (sqrt 500.0) (- x y)))
  (* (* (* (sqrt 500.0) (- x y)) (* (sqrt 500.0) (- x y))) (* (sqrt 500.0) (- x y)))
  (sqrt (* (sqrt 500.0) (- x y)))
  (sqrt (* (sqrt 500.0) (- x y)))
  (* (sqrt (sqrt 500.0)) (sqrt (- x y)))
  (* (sqrt (sqrt 500.0)) (sqrt (- x y)))
  (* (sqrt (sqrt 500.0)) (sqrt (- x y)))
  (* (sqrt (sqrt 500.0)) (sqrt (- x y)))
  (* (sqrt 500.0) x)
  (* (sqrt 500.0) (- y))
  (* (sqrt 500.0) x)
  (* (sqrt 500.0) (- y))
  (* x (sqrt 500.0))
  (* (- y) (sqrt 500.0))
  (* x (sqrt 500.0))
  (* (- y) (sqrt 500.0))
  (* (sqrt 500.0) (* (cbrt (- x y)) (cbrt (- x y))))
  (* (sqrt 500.0) (sqrt (- x y)))
  (* (sqrt 500.0) 1)
  (* (sqrt 500.0) (+ (sqrt x) (sqrt y)))
  (* (sqrt 500.0) 1)
  (* (cbrt (sqrt 500.0)) (- x y))
  (* (sqrt (cbrt 500.0)) (- x y))
  (* (sqrt (sqrt 500.0)) (- x y))
  (* (sqrt 500.0) (- x y))
  (* (sqrt (sqrt 500.0)) (- x y))
  (* (sqrt 500.0) (- x y))
  (* (sqrt 500.0) (- (pow x 3) (pow y 3)))
  (* (sqrt 500.0) (- (* x x) (* y y)))
  (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y)))
  (- (* x (pow (sqrt 500.0) 2)) (* y (pow (sqrt 500.0) 2)))
  (- (* x (pow (sqrt 500.0) 2)) (* y (pow (sqrt 500.0) 2)))
  (- (* x (pow (sqrt 500.0) 2)) (* y (pow (sqrt 500.0) 2)))
  (- (* (* x (sqrt 500.0)) (sqrt (cbrt 500.0))) (* (* y (sqrt 500.0)) (sqrt (cbrt 500.0))))
  (- (* (* x (sqrt 500.0)) (sqrt (cbrt 500.0))) (* (* y (sqrt 500.0)) (sqrt (cbrt 500.0))))
  (- (* (* x (sqrt 500.0)) (sqrt (cbrt 500.0))) (* (* y (sqrt 500.0)) (sqrt (cbrt 500.0))))
  (- (* x (sqrt 500.0)) (* y (sqrt 500.0)))
  (- (* x (sqrt 500.0)) (* y (sqrt 500.0)))
  (- (* x (sqrt 500.0)) (* y (sqrt 500.0)))
0.905 * * [simplify]: iteration  0 :  398  enodes  (cost  1202 )
0.914 * * [simplify]: iteration  1 :  1866  enodes  (cost  1116 )
0.957 * * [simplify]: iteration  2 :  5003  enodes  (cost  1103 )
0.962 * [simplify]: Simplified to:
   2/3
  2
  (* 500.0 500.0)
  (* (cbrt 500.0) (cbrt 500.0))
  2
  (* 2 (log (cbrt 500.0)))
  (* 2 (log (cbrt 500.0)))
  (exp (* (cbrt 500.0) (cbrt 500.0)))
  (* 500.0 500.0)
  (* (cbrt (* (cbrt 500.0) (cbrt 500.0))) (cbrt (* (cbrt 500.0) (cbrt 500.0))))
  (cbrt (* (cbrt 500.0) (cbrt 500.0)))
  (* 500.0 500.0)
  (fabs (cbrt 500.0))
  (fabs (cbrt 500.0))
  (* (cbrt (* (cbrt 500.0) (cbrt 500.0))) (cbrt (* (cbrt 500.0) (cbrt 500.0))))
  (* (cbrt (cbrt 500.0)) (cbrt (cbrt 500.0)))
  (* (cbrt (sqrt 500.0)) (cbrt (sqrt 500.0)))
  (* (cbrt (sqrt 500.0)) (cbrt (sqrt 500.0)))
  1
  (* (cbrt 500.0) (cbrt 500.0))
  (pow (cbrt (cbrt 500.0)) 4)
  (* (cbrt (cbrt 500.0)) (cbrt (cbrt 500.0)))
  (cbrt 500.0)
  (cbrt 500.0)
  1
  (* (cbrt 500.0) (cbrt 500.0))
  (* (cbrt (sqrt 500.0)) (cbrt (sqrt 500.0)))
  (* (cbrt (sqrt 500.0)) (cbrt (sqrt 500.0)))
  (* (cbrt (sqrt 500.0)) (sqrt (cbrt 500.0)))
  (* (cbrt (sqrt 500.0)) (sqrt (cbrt 500.0)))
  (* (cbrt (sqrt 500.0)) (sqrt (cbrt 500.0)))
  (* (cbrt (sqrt 500.0)) (sqrt (cbrt 500.0)))
  (cbrt 500.0)
  (cbrt 500.0)
  2/3
  2
  (* (cbrt 500.0) (cbrt (* (cbrt 500.0) (cbrt 500.0))))
  (* (cbrt 500.0) (cbrt (sqrt 500.0)))
  (cbrt 500.0)
  (* (cbrt 500.0) (* (cbrt (cbrt 500.0)) (cbrt (cbrt 500.0))))
  (pow (sqrt (cbrt 500.0)) 3)
  (cbrt 500.0)
  (pow (cbrt (cbrt 500.0)) 4)
  (* (cbrt 500.0) (cbrt (sqrt 500.0)))
  (* (cbrt 500.0) (cbrt 500.0))
  (pow (cbrt (cbrt 500.0)) 4)
  (pow (sqrt (cbrt 500.0)) 3)
  (* (cbrt 500.0) (cbrt 500.0))
  (* (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y))) (fabs (cbrt 500.0)))
  (* (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y))) (fabs (cbrt 500.0)))
  (* (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y))) (fabs (cbrt 500.0)))
  (+ (log (* (sqrt (cbrt 500.0)) (fabs (cbrt 500.0)))) (log (* (sqrt 500.0) (- x y))))
  (+ (log (* (sqrt (cbrt 500.0)) (fabs (cbrt 500.0)))) (log (* (sqrt 500.0) (- x y))))
  (+ (log (* (sqrt (cbrt 500.0)) (fabs (cbrt 500.0)))) (log (* (sqrt 500.0) (- x y))))
  (+ (log (* (sqrt (cbrt 500.0)) (fabs (cbrt 500.0)))) (log (* (sqrt 500.0) (- x y))))
  (pow (exp (* (sqrt (cbrt 500.0)) (fabs (cbrt 500.0)))) (* (sqrt 500.0) (- x y)))
  (pow (* (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y))) (fabs (cbrt 500.0))) 3)
  (pow (* (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y))) (fabs (cbrt 500.0))) 3)
  (pow (* (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y))) (fabs (cbrt 500.0))) 3)
  (* (cbrt (* (sqrt (* (cbrt 500.0) (cbrt 500.0))) (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y))))) (cbrt (* (sqrt (* (cbrt 500.0) (cbrt 500.0))) (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y))))))
  (cbrt (* (sqrt (* (cbrt 500.0) (cbrt 500.0))) (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y)))))
  (pow (* (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y))) (fabs (cbrt 500.0))) 3)
  (sqrt (* (sqrt (* (cbrt 500.0) (cbrt 500.0))) (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y)))))
  (sqrt (* (sqrt (* (cbrt 500.0) (cbrt 500.0))) (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y)))))
  (* (sqrt (cbrt 500.0)) (* (* x (sqrt 500.0)) (fabs (cbrt 500.0))))
  (* (sqrt (cbrt 500.0)) (* (* (- y) (sqrt 500.0)) (fabs (cbrt 500.0))))
  (* (sqrt (cbrt 500.0)) (* (* x (sqrt 500.0)) (fabs (cbrt 500.0))))
  (* (sqrt (cbrt 500.0)) (* (* (- y) (sqrt 500.0)) (fabs (cbrt 500.0))))
  (* (sqrt (cbrt 500.0)) (* (* x (sqrt 500.0)) (fabs (cbrt 500.0))))
  (* (sqrt (cbrt 500.0)) (* (* (- y) (sqrt 500.0)) (fabs (cbrt 500.0))))
  (* (sqrt (cbrt 500.0)) (* (* x (sqrt 500.0)) (fabs (cbrt 500.0))))
  (* (sqrt (cbrt 500.0)) (* (* (- y) (sqrt 500.0)) (fabs (cbrt 500.0))))
  (* (sqrt (cbrt 500.0)) (* (* x (sqrt 500.0)) (fabs (cbrt 500.0))))
  (* (sqrt (cbrt 500.0)) (* (* (- y) (sqrt 500.0)) (fabs (cbrt 500.0))))
  (* (sqrt (cbrt 500.0)) (* (* x (sqrt 500.0)) (fabs (cbrt 500.0))))
  (* (sqrt (cbrt 500.0)) (* (* (- y) (sqrt 500.0)) (fabs (cbrt 500.0))))
  (* (sqrt (cbrt 500.0)) (* (* x (sqrt 500.0)) (fabs (cbrt 500.0))))
  (* (sqrt (cbrt 500.0)) (* (* (- y) (sqrt 500.0)) (fabs (cbrt 500.0))))
  (* (sqrt (cbrt 500.0)) (* (* x (sqrt 500.0)) (fabs (cbrt 500.0))))
  (* (sqrt (cbrt 500.0)) (* (* (- y) (sqrt 500.0)) (fabs (cbrt 500.0))))
  (* (sqrt (cbrt 500.0)) (* (* x (sqrt 500.0)) (fabs (cbrt 500.0))))
  (* (sqrt (cbrt 500.0)) (* (* (- y) (sqrt 500.0)) (fabs (cbrt 500.0))))
  (* (sqrt (cbrt 500.0)) (* (* x (sqrt 500.0)) (fabs (cbrt 500.0))))
  (* (sqrt (cbrt 500.0)) (* (* (- y) (sqrt 500.0)) (fabs (cbrt 500.0))))
  (* (sqrt (cbrt 500.0)) (* (* x (sqrt 500.0)) (fabs (cbrt 500.0))))
  (* (sqrt (cbrt 500.0)) (* (* (- y) (sqrt 500.0)) (fabs (cbrt 500.0))))
  (* (sqrt (cbrt 500.0)) (* (* x (sqrt 500.0)) (fabs (cbrt 500.0))))
  (* (sqrt (cbrt 500.0)) (* (* (- y) (sqrt 500.0)) (fabs (cbrt 500.0))))
  (* (sqrt (cbrt 500.0)) (* (* x (sqrt 500.0)) (fabs (cbrt 500.0))))
  (* (sqrt (cbrt 500.0)) (* (* (- y) (sqrt 500.0)) (fabs (cbrt 500.0))))
  (* (sqrt (cbrt 500.0)) (* (* x (sqrt 500.0)) (fabs (cbrt 500.0))))
  (* (sqrt (cbrt 500.0)) (* (* (- y) (sqrt 500.0)) (fabs (cbrt 500.0))))
  (* (sqrt (cbrt 500.0)) (* (* x (sqrt 500.0)) (fabs (cbrt 500.0))))
  (* (sqrt (cbrt 500.0)) (* (* (- y) (sqrt 500.0)) (fabs (cbrt 500.0))))
  (* (sqrt (cbrt 500.0)) (* (* x (sqrt 500.0)) (fabs (cbrt 500.0))))
  (* (sqrt (cbrt 500.0)) (* (* (- y) (sqrt 500.0)) (fabs (cbrt 500.0))))
  (* (sqrt (cbrt 500.0)) (fabs (cbrt 500.0)))
  (* (cbrt (sqrt (* (cbrt 500.0) (cbrt 500.0)))) (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y))))
  (* (cbrt 500.0) (* (sqrt 500.0) (- x y)))
  (* (sqrt (sqrt (* (cbrt 500.0) (cbrt 500.0)))) (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y))))
  (* (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y))) (fabs (cbrt 500.0)))
  (* (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- (pow x 3) (pow y 3)))) (fabs (cbrt 500.0)))
  (* (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- (* x x) (* y y)))) (fabs (cbrt 500.0)))
  (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y)))
  (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y)))
  (log (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y))))
  (log (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y))))
  (log (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y))))
  (exp (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y))))
  (pow (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y))) 3)
  (pow (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y))) 3)
  (* (cbrt (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y)))) (cbrt (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y)))))
  (cbrt (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y))))
  (pow (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y))) 3)
  (sqrt (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y))))
  (sqrt (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y))))
  (* (sqrt (cbrt 500.0)) (* x (sqrt 500.0)))
  (* (sqrt (cbrt 500.0)) (* (- y) (sqrt 500.0)))
  (* (sqrt (cbrt 500.0)) (* x (sqrt 500.0)))
  (* (sqrt (cbrt 500.0)) (* (- y) (sqrt 500.0)))
  (* (sqrt (cbrt 500.0)) (* x (sqrt 500.0)))
  (* (sqrt (cbrt 500.0)) (* (- y) (sqrt 500.0)))
  (* (sqrt (cbrt 500.0)) (* x (sqrt 500.0)))
  (* (sqrt (cbrt 500.0)) (* (- y) (sqrt 500.0)))
  (* (sqrt (cbrt 500.0)) (* x (sqrt 500.0)))
  (* (sqrt (cbrt 500.0)) (* (- y) (sqrt 500.0)))
  (* (sqrt (cbrt 500.0)) (* x (sqrt 500.0)))
  (* (sqrt (cbrt 500.0)) (* (- y) (sqrt 500.0)))
  (* (sqrt (cbrt 500.0)) (* x (sqrt 500.0)))
  (* (sqrt (cbrt 500.0)) (* (- y) (sqrt 500.0)))
  (* (sqrt (cbrt 500.0)) (* x (sqrt 500.0)))
  (* (sqrt (cbrt 500.0)) (* (- y) (sqrt 500.0)))
  (* (sqrt (cbrt 500.0)) (sqrt 500.0))
  (* (cbrt (sqrt (cbrt 500.0))) (* (sqrt 500.0) (- x y)))
  (* (sqrt (cbrt (cbrt 500.0))) (* (sqrt 500.0) (- x y)))
  (* (sqrt (cbrt (sqrt 500.0))) (* (sqrt 500.0) (- x y)))
  (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y)))
  (* (sqrt (cbrt (cbrt 500.0))) (* (sqrt 500.0) (- x y)))
  (* (sqrt (sqrt (cbrt 500.0))) (* (sqrt 500.0) (- x y)))
  (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y)))
  (* (sqrt (sqrt (cbrt 500.0))) (* (sqrt 500.0) (- x y)))
  (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y)))
  (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- (pow x 3) (pow y 3))))
  (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- (* x x) (* y y))))
  (* (sqrt 500.0) (- x y))
  (log (* (sqrt 500.0) (- x y)))
  (log (* (sqrt 500.0) (- x y)))
  (exp (* (sqrt 500.0) (- x y)))
  (pow (* (sqrt 500.0) (- x y)) 3)
  (* (cbrt (* (sqrt 500.0) (- x y))) (cbrt (* (sqrt 500.0) (- x y))))
  (cbrt (* (sqrt 500.0) (- x y)))
  (pow (* (sqrt 500.0) (- x y)) 3)
  (sqrt (* (sqrt 500.0) (- x y)))
  (sqrt (* (sqrt 500.0) (- x y)))
  (* (sqrt (sqrt 500.0)) (sqrt (- x y)))
  (* (sqrt (sqrt 500.0)) (sqrt (- x y)))
  (* (sqrt (sqrt 500.0)) (sqrt (- x y)))
  (* (sqrt (sqrt 500.0)) (sqrt (- x y)))
  (* (sqrt 500.0) x)
  (* (sqrt 500.0) (- y))
  (* (sqrt 500.0) x)
  (* (sqrt 500.0) (- y))
  (* (sqrt 500.0) x)
  (* (sqrt 500.0) (- y))
  (* (sqrt 500.0) x)
  (* (sqrt 500.0) (- y))
  (* (sqrt 500.0) (* (cbrt (- x y)) (cbrt (- x y))))
  (* (sqrt 500.0) (sqrt (- x y)))
  (sqrt 500.0)
  (* (sqrt 500.0) (+ (sqrt x) (sqrt y)))
  (sqrt 500.0)
  (* (cbrt (sqrt 500.0)) (- x y))
  (* (sqrt (cbrt 500.0)) (- x y))
  (* (sqrt (sqrt 500.0)) (- x y))
  (* (sqrt 500.0) (- x y))
  (* (sqrt (sqrt 500.0)) (- x y))
  (* (sqrt 500.0) (- x y))
  (* (sqrt 500.0) (- (pow x 3) (pow y 3)))
  (* (sqrt 500.0) (- (* x x) (* y y)))
  (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y)))
  (* 500.0 (- x y))
  (* 500.0 (- x y))
  (* 500.0 (- x y))
  (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y)))
  (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y)))
  (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y)))
  (* (sqrt 500.0) (- x y))
  (* (sqrt 500.0) (- x y))
  (* (sqrt 500.0) (- x y))
0.963 * * * [progress]: adding candidates to table
1.237 * * [progress]: iteration 4 / 4
1.237 * * * [progress]: picking best candidate
1.240 * * * * [pick]: Picked  #<alt (λ (x y) (* (sqrt (* (cbrt 500.0) (cbrt 500.0))) (* (sqrt (* (cbrt (cbrt 500.0)) (cbrt (cbrt 500.0)))) (* (sqrt (cbrt (cbrt 500.0))) (* (sqrt 500.0) (- x y))))))>
1.240 * * * [progress]: localizing error
1.255 * * * [progress]: generating rewritten candidates
1.255 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 1)
1.257 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 2)
1.259 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1)
1.260 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
1.268 * * * [progress]: generating series expansions
1.268 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 1)
1.268 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 2)
1.268 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1)
1.268 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
1.268 * * * [progress]: simplifying candidates
1.269 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cbrt (cbrt 500.0)))
  (exp (cbrt (cbrt 500.0)))
  (cbrt (cbrt (* (cbrt 500.0) (cbrt 500.0))))
  (cbrt (cbrt (cbrt 500.0)))
  (cbrt (cbrt (sqrt 500.0)))
  (cbrt (cbrt (sqrt 500.0)))
  (cbrt (cbrt 1))
  (cbrt (cbrt 500.0))
  (cbrt (* (cbrt (cbrt 500.0)) (cbrt (cbrt 500.0))))
  (cbrt (cbrt (cbrt 500.0)))
  (cbrt (sqrt (cbrt 500.0)))
  (cbrt (sqrt (cbrt 500.0)))
  (cbrt 1)
  (cbrt (cbrt 500.0))
  (* (cbrt (cbrt (cbrt 500.0))) (cbrt (cbrt (cbrt 500.0))))
  (cbrt (cbrt (cbrt 500.0)))
  (* (* (cbrt (cbrt 500.0)) (cbrt (cbrt 500.0))) (cbrt (cbrt 500.0)))
  (sqrt (cbrt (cbrt 500.0)))
  (sqrt (cbrt (cbrt 500.0)))
  (log (cbrt (cbrt 500.0)))
  (exp (cbrt (cbrt 500.0)))
  (cbrt (cbrt (* (cbrt 500.0) (cbrt 500.0))))
  (cbrt (cbrt (cbrt 500.0)))
  (cbrt (cbrt (sqrt 500.0)))
  (cbrt (cbrt (sqrt 500.0)))
  (cbrt (cbrt 1))
  (cbrt (cbrt 500.0))
  (cbrt (* (cbrt (cbrt 500.0)) (cbrt (cbrt 500.0))))
  (cbrt (cbrt (cbrt 500.0)))
  (cbrt (sqrt (cbrt 500.0)))
  (cbrt (sqrt (cbrt 500.0)))
  (cbrt 1)
  (cbrt (cbrt 500.0))
  (* (cbrt (cbrt (cbrt 500.0))) (cbrt (cbrt (cbrt 500.0))))
  (cbrt (cbrt (cbrt 500.0)))
  (* (* (cbrt (cbrt 500.0)) (cbrt (cbrt 500.0))) (cbrt (cbrt 500.0)))
  (sqrt (cbrt (cbrt 500.0)))
  (sqrt (cbrt (cbrt 500.0)))
  (log (cbrt (cbrt 500.0)))
  (exp (cbrt (cbrt 500.0)))
  (cbrt (cbrt (* (cbrt 500.0) (cbrt 500.0))))
  (cbrt (cbrt (cbrt 500.0)))
  (cbrt (cbrt (sqrt 500.0)))
  (cbrt (cbrt (sqrt 500.0)))
  (cbrt (cbrt 1))
  (cbrt (cbrt 500.0))
  (cbrt (* (cbrt (cbrt 500.0)) (cbrt (cbrt 500.0))))
  (cbrt (cbrt (cbrt 500.0)))
  (cbrt (sqrt (cbrt 500.0)))
  (cbrt (sqrt (cbrt 500.0)))
  (cbrt 1)
  (cbrt (cbrt 500.0))
  (* (cbrt (cbrt (cbrt 500.0))) (cbrt (cbrt (cbrt 500.0))))
  (cbrt (cbrt (cbrt 500.0)))
  (* (* (cbrt (cbrt 500.0)) (cbrt (cbrt 500.0))) (cbrt (cbrt 500.0)))
  (sqrt (cbrt (cbrt 500.0)))
  (sqrt (cbrt (cbrt 500.0)))
  (+ 1/3 1/3)
  (+ 1 1)
  (* 500.0 500.0)
  (* (cbrt 500.0) (cbrt 500.0))
  (+ 1 1)
  (+ (log (cbrt 500.0)) (log (cbrt 500.0)))
  (log (* (cbrt 500.0) (cbrt 500.0)))
  (exp (* (cbrt 500.0) (cbrt 500.0)))
  (* 500.0 500.0)
  (* (cbrt (* (cbrt 500.0) (cbrt 500.0))) (cbrt (* (cbrt 500.0) (cbrt 500.0))))
  (cbrt (* (cbrt 500.0) (cbrt 500.0)))
  (* (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (cbrt 500.0))) (* (cbrt 500.0) (cbrt 500.0)))
  (sqrt (* (cbrt 500.0) (cbrt 500.0)))
  (sqrt (* (cbrt 500.0) (cbrt 500.0)))
  (* (cbrt (* (cbrt 500.0) (cbrt 500.0))) (cbrt (* (cbrt 500.0) (cbrt 500.0))))
  (* (cbrt (cbrt 500.0)) (cbrt (cbrt 500.0)))
  (* (cbrt (sqrt 500.0)) (cbrt (sqrt 500.0)))
  (* (cbrt (sqrt 500.0)) (cbrt (sqrt 500.0)))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt 500.0) (cbrt 500.0))
  (* (* (cbrt (cbrt 500.0)) (cbrt (cbrt 500.0))) (* (cbrt (cbrt 500.0)) (cbrt (cbrt 500.0))))
  (* (cbrt (cbrt 500.0)) (cbrt (cbrt 500.0)))
  (* (sqrt (cbrt 500.0)) (sqrt (cbrt 500.0)))
  (* (sqrt (cbrt 500.0)) (sqrt (cbrt 500.0)))
  (* 1 1)
  (* (cbrt 500.0) (cbrt 500.0))
  (* (cbrt (sqrt 500.0)) (cbrt (sqrt 500.0)))
  (* (cbrt (sqrt 500.0)) (cbrt (sqrt 500.0)))
  (* (cbrt (sqrt 500.0)) (sqrt (cbrt 500.0)))
  (* (cbrt (sqrt 500.0)) (sqrt (cbrt 500.0)))
  (* (sqrt (cbrt 500.0)) (cbrt (sqrt 500.0)))
  (* (sqrt (cbrt 500.0)) (cbrt (sqrt 500.0)))
  (* (sqrt (cbrt 500.0)) (sqrt (cbrt 500.0)))
  (* (sqrt (cbrt 500.0)) (sqrt (cbrt 500.0)))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt 500.0) (cbrt (* (cbrt 500.0) (cbrt 500.0))))
  (* (cbrt 500.0) (cbrt (sqrt 500.0)))
  (* (cbrt 500.0) (cbrt 1))
  (* (cbrt 500.0) (* (cbrt (cbrt 500.0)) (cbrt (cbrt 500.0))))
  (* (cbrt 500.0) (sqrt (cbrt 500.0)))
  (* (cbrt 500.0) 1)
  (* (cbrt (cbrt 500.0)) (cbrt 500.0))
  (* (cbrt (sqrt 500.0)) (cbrt 500.0))
  (* (cbrt 500.0) (cbrt 500.0))
  (* (cbrt (cbrt 500.0)) (cbrt 500.0))
  (* (sqrt (cbrt 500.0)) (cbrt 500.0))
  (* (cbrt 500.0) (cbrt 500.0))
  (* (sqrt (cbrt (cbrt 500.0))) (* (sqrt 500.0) (- x y)))
  (* (sqrt (cbrt (cbrt 500.0))) (* (sqrt 500.0) (- x y)))
  (* (sqrt (cbrt (cbrt 500.0))) (* (sqrt 500.0) (- x y)))
  (* (sqrt (cbrt (cbrt 500.0))) (* (sqrt 500.0) (- x y)))
1.273 * * [simplify]: iteration  0 :  91  enodes  (cost  399 )
1.275 * * [simplify]: iteration  1 :  293  enodes  (cost  375 )
1.282 * * [simplify]: iteration  2 :  980  enodes  (cost  341 )
1.295 * * [simplify]: iteration  3 :  2143  enodes  (cost  338 )
1.333 * * [simplify]: iteration  4 :  5002  enodes  (cost  329 )
1.335 * [simplify]: Simplified to:
   (log (cbrt (cbrt 500.0)))
  (exp (cbrt (cbrt 500.0)))
  (cbrt (cbrt (* (cbrt 500.0) (cbrt 500.0))))
  (cbrt (cbrt (cbrt 500.0)))
  (cbrt (cbrt (sqrt 500.0)))
  (cbrt (cbrt (sqrt 500.0)))
  1
  (cbrt (cbrt 500.0))
  (cbrt (* (cbrt (cbrt 500.0)) (cbrt (cbrt 500.0))))
  (cbrt (cbrt (cbrt 500.0)))
  (cbrt (sqrt (cbrt 500.0)))
  (cbrt (sqrt (cbrt 500.0)))
  1
  (cbrt (cbrt 500.0))
  (* (cbrt (cbrt (cbrt 500.0))) (cbrt (cbrt (cbrt 500.0))))
  (cbrt (cbrt (cbrt 500.0)))
  (cbrt 500.0)
  (sqrt (cbrt (cbrt 500.0)))
  (sqrt (cbrt (cbrt 500.0)))
  (log (cbrt (cbrt 500.0)))
  (exp (cbrt (cbrt 500.0)))
  (cbrt (cbrt (* (cbrt 500.0) (cbrt 500.0))))
  (cbrt (cbrt (cbrt 500.0)))
  (cbrt (cbrt (sqrt 500.0)))
  (cbrt (cbrt (sqrt 500.0)))
  1
  (cbrt (cbrt 500.0))
  (cbrt (* (cbrt (cbrt 500.0)) (cbrt (cbrt 500.0))))
  (cbrt (cbrt (cbrt 500.0)))
  (cbrt (sqrt (cbrt 500.0)))
  (cbrt (sqrt (cbrt 500.0)))
  1
  (cbrt (cbrt 500.0))
  (* (cbrt (cbrt (cbrt 500.0))) (cbrt (cbrt (cbrt 500.0))))
  (cbrt (cbrt (cbrt 500.0)))
  (cbrt 500.0)
  (sqrt (cbrt (cbrt 500.0)))
  (sqrt (cbrt (cbrt 500.0)))
  (log (cbrt (cbrt 500.0)))
  (exp (cbrt (cbrt 500.0)))
  (cbrt (cbrt (* (cbrt 500.0) (cbrt 500.0))))
  (cbrt (cbrt (cbrt 500.0)))
  (cbrt (cbrt (sqrt 500.0)))
  (cbrt (cbrt (sqrt 500.0)))
  1
  (cbrt (cbrt 500.0))
  (cbrt (* (cbrt (cbrt 500.0)) (cbrt (cbrt 500.0))))
  (cbrt (cbrt (cbrt 500.0)))
  (cbrt (sqrt (cbrt 500.0)))
  (cbrt (sqrt (cbrt 500.0)))
  1
  (cbrt (cbrt 500.0))
  (* (cbrt (cbrt (cbrt 500.0))) (cbrt (cbrt (cbrt 500.0))))
  (cbrt (cbrt (cbrt 500.0)))
  (cbrt 500.0)
  (sqrt (cbrt (cbrt 500.0)))
  (sqrt (cbrt (cbrt 500.0)))
  2/3
  2
  (* 500.0 500.0)
  (pow (cbrt 500.0) 2)
  2
  (* 2 (log (cbrt 500.0)))
  (* 2 (log (cbrt 500.0)))
  (exp (* (cbrt 500.0) (cbrt 500.0)))
  (* 500.0 500.0)
  (* (cbrt (* (cbrt 500.0) (cbrt 500.0))) (cbrt (* (cbrt 500.0) (cbrt 500.0))))
  (cbrt (* (cbrt 500.0) (cbrt 500.0)))
  (* 500.0 500.0)
  (fabs (cbrt 500.0))
  (fabs (cbrt 500.0))
  (* (cbrt (* (cbrt 500.0) (cbrt 500.0))) (cbrt (* (cbrt 500.0) (cbrt 500.0))))
  (pow (cbrt (cbrt 500.0)) 2)
  (* (cbrt (sqrt 500.0)) (cbrt (sqrt 500.0)))
  (* (cbrt (sqrt 500.0)) (cbrt (sqrt 500.0)))
  1
  (pow (cbrt 500.0) 2)
  (pow (cbrt (cbrt 500.0)) 4)
  (pow (cbrt (cbrt 500.0)) 2)
  (cbrt 500.0)
  (cbrt 500.0)
  1
  (pow (cbrt 500.0) 2)
  (* (cbrt (sqrt 500.0)) (cbrt (sqrt 500.0)))
  (* (cbrt (sqrt 500.0)) (cbrt (sqrt 500.0)))
  (* (cbrt (sqrt 500.0)) (sqrt (cbrt 500.0)))
  (* (cbrt (sqrt 500.0)) (sqrt (cbrt 500.0)))
  (* (cbrt (sqrt 500.0)) (sqrt (cbrt 500.0)))
  (* (cbrt (sqrt 500.0)) (sqrt (cbrt 500.0)))
  (cbrt 500.0)
  (cbrt 500.0)
  2/3
  2
  (* (cbrt 500.0) (cbrt (* (cbrt 500.0) (cbrt 500.0))))
  (* (cbrt 500.0) (cbrt (sqrt 500.0)))
  (cbrt 500.0)
  (pow (cbrt (cbrt 500.0)) 5)
  (pow (sqrt (cbrt 500.0)) 3)
  (cbrt 500.0)
  (pow (cbrt (cbrt 500.0)) 4)
  (* (cbrt 500.0) (cbrt (sqrt 500.0)))
  (pow (cbrt 500.0) 2)
  (pow (cbrt (cbrt 500.0)) 4)
  (pow (sqrt (cbrt 500.0)) 3)
  (pow (cbrt 500.0) 2)
  (* (sqrt (cbrt (cbrt 500.0))) (* (sqrt 500.0) (- x y)))
  (* (sqrt (cbrt (cbrt 500.0))) (* (sqrt 500.0) (- x y)))
  (* (sqrt (cbrt (cbrt 500.0))) (* (sqrt 500.0) (- x y)))
  (* (sqrt (cbrt (cbrt 500.0))) (* (sqrt 500.0) (- x y)))
1.335 * * * [progress]: adding candidates to table
1.599 * [progress]: [Phase 3 of 3] Extracting.
1.599 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (* 500.0 (- x y)))> #<alt (λ (x y) (* (sqrt (* (cbrt 500.0) (cbrt 500.0))) (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y)))))> #<alt (λ (x y) (* (sqrt (* (cbrt 500.0) (cbrt 500.0))) (* (sqrt (* (cbrt (cbrt 500.0)) (cbrt (cbrt 500.0)))) (* (sqrt (cbrt (cbrt 500.0))) (* (sqrt 500.0) (- x y))))))> #<alt (λ (x y) (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))>)
1.599 * * * [regime-changes]: Trying 4 branch expressions: ((- x y) (* 500.0 (- x y)) y x)
1.599 * * * * [regimes]: Trying to branch on (- x y) from (#<alt (λ (x y) (* 500.0 (- x y)))> #<alt (λ (x y) (* (sqrt (* (cbrt 500.0) (cbrt 500.0))) (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y)))))> #<alt (λ (x y) (* (sqrt (* (cbrt 500.0) (cbrt 500.0))) (* (sqrt (* (cbrt (cbrt 500.0)) (cbrt (cbrt 500.0)))) (* (sqrt (cbrt (cbrt 500.0))) (* (sqrt 500.0) (- x y))))))> #<alt (λ (x y) (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))>)
1.617 * * * * [regimes]: Trying to branch on (* 500.0 (- x y)) from (#<alt (λ (x y) (* 500.0 (- x y)))> #<alt (λ (x y) (* (sqrt (* (cbrt 500.0) (cbrt 500.0))) (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y)))))> #<alt (λ (x y) (* (sqrt (* (cbrt 500.0) (cbrt 500.0))) (* (sqrt (* (cbrt (cbrt 500.0)) (cbrt (cbrt 500.0)))) (* (sqrt (cbrt (cbrt 500.0))) (* (sqrt 500.0) (- x y))))))> #<alt (λ (x y) (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))>)
1.637 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (* 500.0 (- x y)))> #<alt (λ (x y) (* (sqrt (* (cbrt 500.0) (cbrt 500.0))) (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y)))))> #<alt (λ (x y) (* (sqrt (* (cbrt 500.0) (cbrt 500.0))) (* (sqrt (* (cbrt (cbrt 500.0)) (cbrt (cbrt 500.0)))) (* (sqrt (cbrt (cbrt 500.0))) (* (sqrt 500.0) (- x y))))))> #<alt (λ (x y) (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))>)
1.653 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (* 500.0 (- x y)))> #<alt (λ (x y) (* (sqrt (* (cbrt 500.0) (cbrt 500.0))) (* (sqrt (cbrt 500.0)) (* (sqrt 500.0) (- x y)))))> #<alt (λ (x y) (* (sqrt (* (cbrt 500.0) (cbrt 500.0))) (* (sqrt (* (cbrt (cbrt 500.0)) (cbrt (cbrt 500.0)))) (* (sqrt (cbrt (cbrt 500.0))) (* (sqrt 500.0) (- x y))))))> #<alt (λ (x y) (* (sqrt 500.0) (* (sqrt 500.0) (- x y))))>)
1.673 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
1.673 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* 500.0 (- x y))
1.674 * * [simplify]: iteration  0 :  6  enodes  (cost  2 )
1.674 * * [simplify]: iteration  1 :  6  enodes  (cost  2 )
1.674 * [simplify]: Simplified to:
   (* 500.0 (- x y))
2.088 * [regime-testing]: Baseline error score: 0.016877109638704837
2.089 * [regime-testing]: Oracle error score: 0.0030003750468808603
2.090 * [regime-testing]: End program error score: 0.016877109638704837