15.740 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.071 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.078 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.078 * * * * [points]: Setting MPFR precision to 64
0.078 * * * * [points]: Setting MPFR precision to 320
0.079 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.079 * * * * [points]: Setting MPFR precision to 64
0.079 * * * * [points]: Setting MPFR precision to 320
0.079 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.079 * * * * [points]: Setting MPFR precision to 64
0.080 * * * * [points]: Setting MPFR precision to 320
0.080 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.081 * * * * [points]: Setting MPFR precision to 64
0.081 * * * * [points]: Setting MPFR precision to 320
0.082 * * * * [points]: Computing exacts for 256 points
0.082 * * * * [points]: Setting MPFR precision to 64
0.085 * * * * [points]: Setting MPFR precision to 320
0.088 * * * * [points]: Filtering points with unrepresentable outputs
0.088 * * * * [points]: Sampling 4 additional inputs, on iter 1 have 255 / 256
0.088 * * * * [points]: Computing exacts for 4 points
0.088 * * * * [points]: Setting MPFR precision to 64
0.088 * * * * [points]: Setting MPFR precision to 320
0.088 * * * * [points]: Filtering points with unrepresentable outputs
0.088 * * * * [points]: Sampled 258 points with exact outputs
0.092 * * * [progress]: [2/2] Setting up program.
0.095 * [progress]: [Phase 2 of 3] Improving.
0.095 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* 500.0 (- x y))
0.102 * * [simplify]: iteration  0 :  172  enodes  (cost  5 )
0.102 * * [simplify]: iteration  1 :  172  enodes  (cost  5 )
0.102 * [simplify]: Simplified to:
   (* 500.0 (- x y))
0.102 * * [progress]: iteration 1 / 4
0.102 * * * [progress]: picking best candidate
0.105 * * * * [pick]: Picked  #<alt (λ (x y) (* 500.0 (- x y)))>
0.105 * * * [progress]: localizing error
0.108 * * * [progress]: generating rewritten candidates
0.108 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.115 * * * [progress]: generating series expansions
0.115 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.115 * [approximate]: Taking taylor expansion of (* 500.0 (- x y)) in (x y) around 0
0.115 * [taylor]: Taking taylor expansion of (* 500.0 (- x y)) in y
0.115 * [taylor]: Taking taylor expansion of 500.0 in y
0.115 * [taylor]: Taking taylor expansion of (- x y) in y
0.115 * [taylor]: Taking taylor expansion of x in y
0.115 * [taylor]: Taking taylor expansion of y in y
0.115 * [taylor]: Taking taylor expansion of (* 500.0 (- x y)) in x
0.115 * [taylor]: Taking taylor expansion of 500.0 in x
0.115 * [taylor]: Taking taylor expansion of (- x y) in x
0.115 * [taylor]: Taking taylor expansion of x in x
0.115 * [taylor]: Taking taylor expansion of y in x
0.115 * [taylor]: Taking taylor expansion of (* 500.0 (- x y)) in x
0.115 * [taylor]: Taking taylor expansion of 500.0 in x
0.115 * [taylor]: Taking taylor expansion of (- x y) in x
0.115 * [taylor]: Taking taylor expansion of x in x
0.115 * [taylor]: Taking taylor expansion of y in x
0.115 * [taylor]: Taking taylor expansion of (* -500.0 y) in y
0.115 * [taylor]: Taking taylor expansion of -500.0 in y
0.115 * [taylor]: Taking taylor expansion of y in y
0.116 * [taylor]: Taking taylor expansion of 500.0 in y
0.116 * [taylor]: Taking taylor expansion of 0 in y
0.116 * [taylor]: Taking taylor expansion of 0 in y
0.116 * [approximate]: Taking taylor expansion of (* 500.0 (- (/ 1 x) (/ 1 y))) in (x y) around 0
0.116 * [taylor]: Taking taylor expansion of (* 500.0 (- (/ 1 x) (/ 1 y))) in y
0.116 * [taylor]: Taking taylor expansion of 500.0 in y
0.116 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
0.116 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.116 * [taylor]: Taking taylor expansion of x in y
0.116 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.116 * [taylor]: Taking taylor expansion of y in y
0.116 * [taylor]: Taking taylor expansion of (* 500.0 (- (/ 1 x) (/ 1 y))) in x
0.116 * [taylor]: Taking taylor expansion of 500.0 in x
0.116 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.116 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.116 * [taylor]: Taking taylor expansion of x in x
0.116 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.116 * [taylor]: Taking taylor expansion of y in x
0.116 * [taylor]: Taking taylor expansion of (* 500.0 (- (/ 1 x) (/ 1 y))) in x
0.116 * [taylor]: Taking taylor expansion of 500.0 in x
0.116 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.116 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.116 * [taylor]: Taking taylor expansion of x in x
0.116 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.116 * [taylor]: Taking taylor expansion of y in x
0.117 * [taylor]: Taking taylor expansion of 500.0 in y
0.117 * [taylor]: Taking taylor expansion of (neg (* 500.0 (/ 1 y))) in y
0.117 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in y
0.117 * [taylor]: Taking taylor expansion of 500.0 in y
0.117 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.117 * [taylor]: Taking taylor expansion of y in y
0.117 * [taylor]: Taking taylor expansion of 0 in y
0.117 * [taylor]: Taking taylor expansion of 0 in y
0.118 * [taylor]: Taking taylor expansion of 0 in y
0.118 * [approximate]: Taking taylor expansion of (* 500.0 (- (/ 1 y) (/ 1 x))) in (x y) around 0
0.118 * [taylor]: Taking taylor expansion of (* 500.0 (- (/ 1 y) (/ 1 x))) in y
0.118 * [taylor]: Taking taylor expansion of 500.0 in y
0.118 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
0.118 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.118 * [taylor]: Taking taylor expansion of y in y
0.118 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.118 * [taylor]: Taking taylor expansion of x in y
0.118 * [taylor]: Taking taylor expansion of (* 500.0 (- (/ 1 y) (/ 1 x))) in x
0.118 * [taylor]: Taking taylor expansion of 500.0 in x
0.118 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.118 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.118 * [taylor]: Taking taylor expansion of y in x
0.118 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.118 * [taylor]: Taking taylor expansion of x in x
0.118 * [taylor]: Taking taylor expansion of (* 500.0 (- (/ 1 y) (/ 1 x))) in x
0.118 * [taylor]: Taking taylor expansion of 500.0 in x
0.118 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.118 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.118 * [taylor]: Taking taylor expansion of y in x
0.118 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.118 * [taylor]: Taking taylor expansion of x in x
0.118 * [taylor]: Taking taylor expansion of -500.0 in y
0.118 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in y
0.119 * [taylor]: Taking taylor expansion of 500.0 in y
0.119 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.119 * [taylor]: Taking taylor expansion of y in y
0.119 * [taylor]: Taking taylor expansion of 0 in y
0.119 * [taylor]: Taking taylor expansion of 0 in y
0.120 * [taylor]: Taking taylor expansion of 0 in y
0.120 * * * [progress]: simplifying candidates
0.120 * [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 (neg y))
  (* x 500.0)
  (* (neg 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.177 * * [simplify]: iteration  0 :  4952  enodes  (cost  172 )
0.177 * * [simplify]: iteration  1 :  4952  enodes  (cost  172 )
0.179 * [simplify]: Simplified to:
   (* 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)
  (* (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 (neg y))
  (* 500.0 x)
  (* 500.0 (neg y))
  (* 500.0 (* (cbrt (- x y)) (cbrt (- x y))))
  (* 500.0 (sqrt (- x y)))
  500.0
  (* 500.0 (+ (sqrt x) (sqrt y)))
  500.0
  (* (- x y) (cbrt 500.0))
  (* (- x y) (sqrt 500.0))
  (* 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.179 * * * [progress]: adding candidates to table
0.204 * * [progress]: iteration 2 / 4
0.204 * * * [progress]: picking best candidate
0.217 * * * * [pick]: Picked  #<alt (λ (x y) (+ (* 500.0 x) (* 500.0 (neg y))))>
0.217 * * * [progress]: localizing error
0.222 * * * [progress]: generating rewritten candidates
0.222 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.226 * * * [progress]: generating series expansions
0.226 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.226 * [approximate]: Taking taylor expansion of (- (* 500.0 x) (* 500.0 y)) in (x y) around 0
0.226 * [taylor]: Taking taylor expansion of (- (* 500.0 x) (* 500.0 y)) in y
0.226 * [taylor]: Taking taylor expansion of (* 500.0 x) in y
0.226 * [taylor]: Taking taylor expansion of 500.0 in y
0.227 * [taylor]: Taking taylor expansion of x in y
0.227 * [taylor]: Taking taylor expansion of (* 500.0 y) in y
0.227 * [taylor]: Taking taylor expansion of 500.0 in y
0.227 * [taylor]: Taking taylor expansion of y in y
0.227 * [taylor]: Taking taylor expansion of (- (* 500.0 x) (* 500.0 y)) in x
0.227 * [taylor]: Taking taylor expansion of (* 500.0 x) in x
0.227 * [taylor]: Taking taylor expansion of 500.0 in x
0.227 * [taylor]: Taking taylor expansion of x in x
0.227 * [taylor]: Taking taylor expansion of (* 500.0 y) in x
0.227 * [taylor]: Taking taylor expansion of 500.0 in x
0.227 * [taylor]: Taking taylor expansion of y in x
0.227 * [taylor]: Taking taylor expansion of (- (* 500.0 x) (* 500.0 y)) in x
0.227 * [taylor]: Taking taylor expansion of (* 500.0 x) in x
0.227 * [taylor]: Taking taylor expansion of 500.0 in x
0.227 * [taylor]: Taking taylor expansion of x in x
0.227 * [taylor]: Taking taylor expansion of (* 500.0 y) in x
0.227 * [taylor]: Taking taylor expansion of 500.0 in x
0.227 * [taylor]: Taking taylor expansion of y in x
0.227 * [taylor]: Taking taylor expansion of (neg (* 500.0 y)) in y
0.227 * [taylor]: Taking taylor expansion of (* 500.0 y) in y
0.227 * [taylor]: Taking taylor expansion of 500.0 in y
0.227 * [taylor]: Taking taylor expansion of y in y
0.227 * [taylor]: Taking taylor expansion of 500.0 in y
0.227 * [taylor]: Taking taylor expansion of 0 in y
0.228 * [taylor]: Taking taylor expansion of 0 in y
0.228 * [approximate]: Taking taylor expansion of (- (* 500.0 (/ 1 x)) (* 500.0 (/ 1 y))) in (x y) around 0
0.228 * [taylor]: Taking taylor expansion of (- (* 500.0 (/ 1 x)) (* 500.0 (/ 1 y))) in y
0.228 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 x)) in y
0.228 * [taylor]: Taking taylor expansion of 500.0 in y
0.228 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.228 * [taylor]: Taking taylor expansion of x in y
0.228 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in y
0.228 * [taylor]: Taking taylor expansion of 500.0 in y
0.228 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.228 * [taylor]: Taking taylor expansion of y in y
0.228 * [taylor]: Taking taylor expansion of (- (* 500.0 (/ 1 x)) (* 500.0 (/ 1 y))) in x
0.228 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 x)) in x
0.228 * [taylor]: Taking taylor expansion of 500.0 in x
0.228 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.228 * [taylor]: Taking taylor expansion of x in x
0.228 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in x
0.228 * [taylor]: Taking taylor expansion of 500.0 in x
0.228 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.228 * [taylor]: Taking taylor expansion of y in x
0.228 * [taylor]: Taking taylor expansion of (- (* 500.0 (/ 1 x)) (* 500.0 (/ 1 y))) in x
0.228 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 x)) in x
0.228 * [taylor]: Taking taylor expansion of 500.0 in x
0.228 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.228 * [taylor]: Taking taylor expansion of x in x
0.228 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in x
0.228 * [taylor]: Taking taylor expansion of 500.0 in x
0.228 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.228 * [taylor]: Taking taylor expansion of y in x
0.228 * [taylor]: Taking taylor expansion of 500.0 in y
0.229 * [taylor]: Taking taylor expansion of (neg (* 500.0 (/ 1 y))) in y
0.229 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in y
0.229 * [taylor]: Taking taylor expansion of 500.0 in y
0.229 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.229 * [taylor]: Taking taylor expansion of y in y
0.229 * [taylor]: Taking taylor expansion of 0 in y
0.229 * [taylor]: Taking taylor expansion of 0 in y
0.230 * [taylor]: Taking taylor expansion of 0 in y
0.230 * [approximate]: Taking taylor expansion of (- (* 500.0 (/ 1 y)) (* 500.0 (/ 1 x))) in (x y) around 0
0.230 * [taylor]: Taking taylor expansion of (- (* 500.0 (/ 1 y)) (* 500.0 (/ 1 x))) in y
0.230 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in y
0.230 * [taylor]: Taking taylor expansion of 500.0 in y
0.230 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.230 * [taylor]: Taking taylor expansion of y in y
0.230 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 x)) in y
0.230 * [taylor]: Taking taylor expansion of 500.0 in y
0.230 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.230 * [taylor]: Taking taylor expansion of x in y
0.230 * [taylor]: Taking taylor expansion of (- (* 500.0 (/ 1 y)) (* 500.0 (/ 1 x))) in x
0.230 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in x
0.230 * [taylor]: Taking taylor expansion of 500.0 in x
0.230 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.230 * [taylor]: Taking taylor expansion of y in x
0.230 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 x)) in x
0.230 * [taylor]: Taking taylor expansion of 500.0 in x
0.230 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.230 * [taylor]: Taking taylor expansion of x in x
0.230 * [taylor]: Taking taylor expansion of (- (* 500.0 (/ 1 y)) (* 500.0 (/ 1 x))) in x
0.230 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in x
0.230 * [taylor]: Taking taylor expansion of 500.0 in x
0.230 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.230 * [taylor]: Taking taylor expansion of y in x
0.230 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 x)) in x
0.230 * [taylor]: Taking taylor expansion of 500.0 in x
0.230 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.230 * [taylor]: Taking taylor expansion of x in x
0.230 * [taylor]: Taking taylor expansion of (neg 500.0) in y
0.230 * [taylor]: Taking taylor expansion of 500.0 in y
0.230 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in y
0.231 * [taylor]: Taking taylor expansion of 500.0 in y
0.231 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.231 * [taylor]: Taking taylor expansion of y in y
0.231 * [taylor]: Taking taylor expansion of 0 in y
0.231 * [taylor]: Taking taylor expansion of 0 in y
0.231 * [taylor]: Taking taylor expansion of 0 in y
0.232 * * * [progress]: simplifying candidates
0.232 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (exp (* 500.0 x)) (exp (* 500.0 (neg y))))
  (log (+ (* 500.0 x) (* 500.0 (neg y))))
  (exp (+ (* 500.0 x) (* 500.0 (neg y))))
  (* (cbrt (+ (* 500.0 x) (* 500.0 (neg y)))) (cbrt (+ (* 500.0 x) (* 500.0 (neg y)))))
  (cbrt (+ (* 500.0 x) (* 500.0 (neg y))))
  (* (* (+ (* 500.0 x) (* 500.0 (neg y))) (+ (* 500.0 x) (* 500.0 (neg y)))) (+ (* 500.0 x) (* 500.0 (neg y))))
  (sqrt (+ (* 500.0 x) (* 500.0 (neg y))))
  (sqrt (+ (* 500.0 x) (* 500.0 (neg y))))
  (+ (pow (* 500.0 x) 3) (pow (* 500.0 (neg y)) 3))
  (+ (* (* 500.0 x) (* 500.0 x)) (- (* (* 500.0 (neg y)) (* 500.0 (neg y))) (* (* 500.0 x) (* 500.0 (neg y)))))
  (- (* (* 500.0 x) (* 500.0 x)) (* (* 500.0 (neg y)) (* 500.0 (neg y))))
  (- (* 500.0 x) (* 500.0 (neg y)))
  (+ x (neg y))
  (- (* 500.0 x) (* 500.0 y))
  (- (* 500.0 x) (* 500.0 y))
  (- (* 500.0 x) (* 500.0 y))
0.281 * * [simplify]: iteration  0 :  5170  enodes  (cost  116 )
0.282 * [simplify]: Simplified to:
   (pow (exp 500.0) (- x y))
  (log (* 500.0 (- x y)))
  (pow (exp 500.0) (- x y))
  (* (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)))
  (- (pow (* 500.0 x) 3) (pow (* 500.0 y) 3))
  (* 500.0 (+ (* 500.0 (* x x)) (* y (* 500.0 (+ x y)))))
  (* 500.0 (* 500.0 (- (* x x) (* y y))))
  (* 500.0 (+ x y))
  (- x y)
  (* 500.0 (- x y))
  (* 500.0 (- x y))
  (* 500.0 (- x y))
0.282 * * * [progress]: adding candidates to table
0.298 * * [progress]: iteration 3 / 4
0.298 * * * [progress]: picking best candidate
0.307 * * * * [pick]: Picked  #<alt (λ (x y) (* (* (cbrt 500.0) (cbrt 500.0)) (* (- x y) (cbrt 500.0))))>
0.307 * * * [progress]: localizing error
0.314 * * * [progress]: generating rewritten candidates
0.314 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
0.319 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
0.333 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2)
0.343 * * * [progress]: generating series expansions
0.343 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
0.343 * * * * [progress]: [ 2 / 3 ] generating series at (2)
0.343 * [approximate]: Taking taylor expansion of (* (- x y) (pow (cbrt 500.0) 3)) in (x y) around 0
0.343 * [taylor]: Taking taylor expansion of (* (- x y) (pow (cbrt 500.0) 3)) in y
0.343 * [taylor]: Taking taylor expansion of (- x y) in y
0.343 * [taylor]: Taking taylor expansion of x in y
0.343 * [taylor]: Taking taylor expansion of y in y
0.343 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in y
0.343 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y
0.343 * [taylor]: Taking taylor expansion of 500.0 in y
0.343 * [taylor]: Taking taylor expansion of (* (- x y) (pow (cbrt 500.0) 3)) in x
0.343 * [taylor]: Taking taylor expansion of (- x y) in x
0.343 * [taylor]: Taking taylor expansion of x in x
0.343 * [taylor]: Taking taylor expansion of y in x
0.343 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in x
0.343 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x
0.343 * [taylor]: Taking taylor expansion of 500.0 in x
0.343 * [taylor]: Taking taylor expansion of (* (- x y) (pow (cbrt 500.0) 3)) in x
0.343 * [taylor]: Taking taylor expansion of (- x y) in x
0.343 * [taylor]: Taking taylor expansion of x in x
0.343 * [taylor]: Taking taylor expansion of y in x
0.343 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in x
0.343 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x
0.343 * [taylor]: Taking taylor expansion of 500.0 in x
0.344 * [taylor]: Taking taylor expansion of (* -500.0 y) in y
0.344 * [taylor]: Taking taylor expansion of -500.0 in y
0.344 * [taylor]: Taking taylor expansion of y in y
0.344 * [taylor]: Taking taylor expansion of 500.0 in y
0.344 * [taylor]: Taking taylor expansion of 0 in y
0.345 * [taylor]: Taking taylor expansion of 0 in y
0.345 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 500.0) 3)) in (x y) around 0
0.345 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 500.0) 3)) in y
0.345 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
0.345 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.345 * [taylor]: Taking taylor expansion of x in y
0.345 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.345 * [taylor]: Taking taylor expansion of y in y
0.345 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in y
0.345 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y
0.345 * [taylor]: Taking taylor expansion of 500.0 in y
0.345 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 500.0) 3)) in x
0.345 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.345 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.345 * [taylor]: Taking taylor expansion of x in x
0.345 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.346 * [taylor]: Taking taylor expansion of y in x
0.346 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in x
0.346 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x
0.346 * [taylor]: Taking taylor expansion of 500.0 in x
0.346 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 500.0) 3)) in x
0.346 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.346 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.346 * [taylor]: Taking taylor expansion of x in x
0.346 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.346 * [taylor]: Taking taylor expansion of y in x
0.346 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in x
0.346 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x
0.346 * [taylor]: Taking taylor expansion of 500.0 in x
0.346 * [taylor]: Taking taylor expansion of 500.0 in y
0.346 * [taylor]: Taking taylor expansion of (neg (* 500.0 (/ 1 y))) in y
0.346 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in y
0.346 * [taylor]: Taking taylor expansion of 500.0 in y
0.347 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.347 * [taylor]: Taking taylor expansion of y in y
0.347 * [taylor]: Taking taylor expansion of 0 in y
0.348 * [taylor]: Taking taylor expansion of 0 in y
0.348 * [taylor]: Taking taylor expansion of 0 in y
0.348 * [approximate]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (pow (cbrt 500.0) 3)) in (x y) around 0
0.348 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (pow (cbrt 500.0) 3)) in y
0.349 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
0.349 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.349 * [taylor]: Taking taylor expansion of y in y
0.349 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.349 * [taylor]: Taking taylor expansion of x in y
0.349 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in y
0.349 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y
0.349 * [taylor]: Taking taylor expansion of 500.0 in y
0.349 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (pow (cbrt 500.0) 3)) in x
0.349 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.349 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.349 * [taylor]: Taking taylor expansion of y in x
0.349 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.349 * [taylor]: Taking taylor expansion of x in x
0.349 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in x
0.349 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x
0.349 * [taylor]: Taking taylor expansion of 500.0 in x
0.349 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (pow (cbrt 500.0) 3)) in x
0.349 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.349 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.349 * [taylor]: Taking taylor expansion of y in x
0.349 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.349 * [taylor]: Taking taylor expansion of x in x
0.349 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in x
0.349 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x
0.349 * [taylor]: Taking taylor expansion of 500.0 in x
0.349 * [taylor]: Taking taylor expansion of -500.0 in y
0.350 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in y
0.350 * [taylor]: Taking taylor expansion of 500.0 in y
0.350 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.350 * [taylor]: Taking taylor expansion of y in y
0.350 * [taylor]: Taking taylor expansion of 0 in y
0.351 * [taylor]: Taking taylor expansion of 0 in y
0.351 * [taylor]: Taking taylor expansion of 0 in y
0.352 * * * * [progress]: [ 3 / 3 ] generating series at (2 2)
0.352 * [approximate]: Taking taylor expansion of (* (cbrt 500.0) (- x y)) in (x y) around 0
0.352 * [taylor]: Taking taylor expansion of (* (cbrt 500.0) (- x y)) in y
0.352 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y
0.352 * [taylor]: Taking taylor expansion of 500.0 in y
0.352 * [taylor]: Taking taylor expansion of (- x y) in y
0.352 * [taylor]: Taking taylor expansion of x in y
0.352 * [taylor]: Taking taylor expansion of y in y
0.352 * [taylor]: Taking taylor expansion of (* (cbrt 500.0) (- x y)) in x
0.352 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x
0.352 * [taylor]: Taking taylor expansion of 500.0 in x
0.352 * [taylor]: Taking taylor expansion of (- x y) in x
0.352 * [taylor]: Taking taylor expansion of x in x
0.352 * [taylor]: Taking taylor expansion of y in x
0.352 * [taylor]: Taking taylor expansion of (* (cbrt 500.0) (- x y)) in x
0.352 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x
0.352 * [taylor]: Taking taylor expansion of 500.0 in x
0.352 * [taylor]: Taking taylor expansion of (- x y) in x
0.352 * [taylor]: Taking taylor expansion of x in x
0.352 * [taylor]: Taking taylor expansion of y in x
0.352 * [taylor]: Taking taylor expansion of (* -1 (* y (cbrt 500.0))) in y
0.352 * [taylor]: Taking taylor expansion of -1 in y
0.352 * [taylor]: Taking taylor expansion of (* y (cbrt 500.0)) in y
0.352 * [taylor]: Taking taylor expansion of y in y
0.352 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y
0.352 * [taylor]: Taking taylor expansion of 500.0 in y
0.353 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y
0.353 * [taylor]: Taking taylor expansion of 500.0 in y
0.353 * [taylor]: Taking taylor expansion of 0 in y
0.353 * [taylor]: Taking taylor expansion of 0 in y
0.353 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (cbrt 500.0)) in (x y) around 0
0.353 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (cbrt 500.0)) in y
0.353 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
0.353 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.353 * [taylor]: Taking taylor expansion of x in y
0.353 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.353 * [taylor]: Taking taylor expansion of y in y
0.354 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y
0.354 * [taylor]: Taking taylor expansion of 500.0 in y
0.354 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (cbrt 500.0)) in x
0.354 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.354 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.354 * [taylor]: Taking taylor expansion of x in x
0.354 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.354 * [taylor]: Taking taylor expansion of y in x
0.354 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x
0.354 * [taylor]: Taking taylor expansion of 500.0 in x
0.354 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (cbrt 500.0)) in x
0.354 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.354 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.354 * [taylor]: Taking taylor expansion of x in x
0.354 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.354 * [taylor]: Taking taylor expansion of y in x
0.354 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x
0.354 * [taylor]: Taking taylor expansion of 500.0 in x
0.354 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y
0.354 * [taylor]: Taking taylor expansion of 500.0 in y
0.354 * [taylor]: Taking taylor expansion of (neg (/ (cbrt 500.0) y)) in y
0.354 * [taylor]: Taking taylor expansion of (/ (cbrt 500.0) y) in y
0.354 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y
0.354 * [taylor]: Taking taylor expansion of 500.0 in y
0.354 * [taylor]: Taking taylor expansion of y in y
0.355 * [taylor]: Taking taylor expansion of 0 in y
0.355 * [taylor]: Taking taylor expansion of 0 in y
0.356 * [taylor]: Taking taylor expansion of 0 in y
0.356 * [approximate]: Taking taylor expansion of (* (cbrt 500.0) (- (/ 1 y) (/ 1 x))) in (x y) around 0
0.356 * [taylor]: Taking taylor expansion of (* (cbrt 500.0) (- (/ 1 y) (/ 1 x))) in y
0.356 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y
0.356 * [taylor]: Taking taylor expansion of 500.0 in y
0.356 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
0.356 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.356 * [taylor]: Taking taylor expansion of y in y
0.356 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.356 * [taylor]: Taking taylor expansion of x in y
0.356 * [taylor]: Taking taylor expansion of (* (cbrt 500.0) (- (/ 1 y) (/ 1 x))) in x
0.356 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x
0.356 * [taylor]: Taking taylor expansion of 500.0 in x
0.356 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.356 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.356 * [taylor]: Taking taylor expansion of y in x
0.356 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.356 * [taylor]: Taking taylor expansion of x in x
0.356 * [taylor]: Taking taylor expansion of (* (cbrt 500.0) (- (/ 1 y) (/ 1 x))) in x
0.356 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x
0.356 * [taylor]: Taking taylor expansion of 500.0 in x
0.356 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.356 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.356 * [taylor]: Taking taylor expansion of y in x
0.356 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.356 * [taylor]: Taking taylor expansion of x in x
0.357 * [taylor]: Taking taylor expansion of (* -1 (cbrt 500.0)) in y
0.357 * [taylor]: Taking taylor expansion of -1 in y
0.357 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y
0.357 * [taylor]: Taking taylor expansion of 500.0 in y
0.357 * [taylor]: Taking taylor expansion of (/ (cbrt 500.0) y) in y
0.357 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y
0.357 * [taylor]: Taking taylor expansion of 500.0 in y
0.357 * [taylor]: Taking taylor expansion of y in y
0.357 * [taylor]: Taking taylor expansion of 0 in y
0.358 * [taylor]: Taking taylor expansion of 0 in y
0.358 * [taylor]: Taking taylor expansion of 0 in y
0.358 * * * [progress]: simplifying candidates
0.360 * [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))
  (* (* (cbrt 500.0) (cbrt 500.0)) (* (- x y) (cbrt 500.0)))
  (* (* (cbrt 500.0) (cbrt 500.0)) (* (- x y) (cbrt 500.0)))
  (* (* (cbrt 500.0) (cbrt 500.0)) (* (- x y) (cbrt 500.0)))
  (* (* (cbrt 500.0) (cbrt 500.0)) (* (- x y) (cbrt 500.0)))
  (+ (+ (log (cbrt 500.0)) (log (cbrt 500.0))) (+ (log (- x y)) (log (cbrt 500.0))))
  (+ (+ (log (cbrt 500.0)) (log (cbrt 500.0))) (log (* (- x y) (cbrt 500.0))))
  (+ (log (* (cbrt 500.0) (cbrt 500.0))) (+ (log (- x y)) (log (cbrt 500.0))))
  (+ (log (* (cbrt 500.0) (cbrt 500.0))) (log (* (- x y) (cbrt 500.0))))
  (log (* (* (cbrt 500.0) (cbrt 500.0)) (* (- x y) (cbrt 500.0))))
  (exp (* (* (cbrt 500.0) (cbrt 500.0)) (* (- x y) (cbrt 500.0))))
  (* (* 500.0 500.0) (* (* (* (- x y) (- x y)) (- x y)) 500.0))
  (* (* 500.0 500.0) (* (* (* (- x y) (cbrt 500.0)) (* (- x y) (cbrt 500.0))) (* (- x y) (cbrt 500.0))))
  (* (* (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (cbrt 500.0))) (* (cbrt 500.0) (cbrt 500.0))) (* (* (* (- x y) (- x y)) (- x y)) 500.0))
  (* (* (* (* (cbrt 500.0) (cbrt 500.0)) (* (cbrt 500.0) (cbrt 500.0))) (* (cbrt 500.0) (cbrt 500.0))) (* (* (* (- x y) (cbrt 500.0)) (* (- x y) (cbrt 500.0))) (* (- x y) (cbrt 500.0))))
  (* (cbrt (* (* (cbrt 500.0) (cbrt 500.0)) (* (- x y) (cbrt 500.0)))) (cbrt (* (* (cbrt 500.0) (cbrt 500.0)) (* (- x y) (cbrt 500.0)))))
  (cbrt (* (* (cbrt 500.0) (cbrt 500.0)) (* (- x y) (cbrt 500.0))))
  (* (* (* (* (cbrt 500.0) (cbrt 500.0)) (* (- x y) (cbrt 500.0))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (- x y) (cbrt 500.0)))) (* (* (cbrt 500.0) (cbrt 500.0)) (* (- x y) (cbrt 500.0))))
  (sqrt (* (* (cbrt 500.0) (cbrt 500.0)) (* (- x y) (cbrt 500.0))))
  (sqrt (* (* (cbrt 500.0) (cbrt 500.0)) (* (- x y) (cbrt 500.0))))
  (* (* (cbrt 500.0) (cbrt 500.0)) (- x y))
  (* (cbrt 500.0) (* (- x y) (cbrt 500.0)))
  (* (* (cbrt 500.0) (cbrt 500.0)) (* (- (pow x 3) (pow y 3)) (cbrt 500.0)))
  (* (* (cbrt 500.0) (cbrt 500.0)) (* (- (* x x) (* y y)) (cbrt 500.0)))
  (* (- x y) (cbrt 500.0))
  (+ (log (- x y)) (log (cbrt 500.0)))
  (log (* (- x y) (cbrt 500.0)))
  (exp (* (- x y) (cbrt 500.0)))
  (* (* (* (- x y) (- x y)) (- x y)) 500.0)
  (* (cbrt (* (- x y) (cbrt 500.0))) (cbrt (* (- x y) (cbrt 500.0))))
  (cbrt (* (- x y) (cbrt 500.0)))
  (* (* (* (- x y) (cbrt 500.0)) (* (- x y) (cbrt 500.0))) (* (- x y) (cbrt 500.0)))
  (sqrt (* (- x y) (cbrt 500.0)))
  (sqrt (* (- x y) (cbrt 500.0)))
  (* (sqrt (- x y)) (cbrt (sqrt 500.0)))
  (* (sqrt (- x y)) (cbrt (sqrt 500.0)))
  (* (sqrt (- x y)) (sqrt (cbrt 500.0)))
  (* (sqrt (- x y)) (sqrt (cbrt 500.0)))
  (* (- x y) (cbrt (* (cbrt 500.0) (cbrt 500.0))))
  (* (- x y) (cbrt (sqrt 500.0)))
  (* (- x y) (cbrt 1))
  (* (- x y) (* (cbrt (cbrt 500.0)) (cbrt (cbrt 500.0))))
  (* (- x y) (sqrt (cbrt 500.0)))
  (* (- x y) 1)
  (* (cbrt (- x y)) (cbrt 500.0))
  (* (sqrt (- x y)) (cbrt 500.0))
  (* (- x y) (cbrt 500.0))
  (* (- (sqrt x) (sqrt y)) (cbrt 500.0))
  (* (- x y) (cbrt 500.0))
  (* (- (pow x 3) (pow y 3)) (cbrt 500.0))
  (* (- (* x x) (* y y)) (cbrt 500.0))
  (* (* (cbrt 500.0) (cbrt 500.0)) (* (- x y) (cbrt 500.0)))
  (- (* 500.0 x) (* 500.0 y))
  (- (* 500.0 x) (* 500.0 y))
  (- (* 500.0 x) (* 500.0 y))
  (- (* x (cbrt 500.0)) (* y (cbrt 500.0)))
  (- (* x (cbrt 500.0)) (* y (cbrt 500.0)))
  (- (* x (cbrt 500.0)) (* y (cbrt 500.0)))
0.399 * * [simplify]: iteration  0 :  5061  enodes  (cost  617 )
0.402 * [simplify]: Simplified to:
   2/3
  2
  (* 500.0 500.0)
  (pow (cbrt 500.0) 2)
  2
  (* 2 (log (cbrt 500.0)))
  (* 2 (log (cbrt 500.0)))
  (exp (pow (cbrt 500.0) 2))
  (* 500.0 500.0)
  (* (cbrt (pow (cbrt 500.0) 2)) (cbrt (pow (cbrt 500.0) 2)))
  (cbrt (pow (cbrt 500.0) 2))
  (* 500.0 500.0)
  (fabs (cbrt 500.0))
  (fabs (cbrt 500.0))
  (* (cbrt (pow (cbrt 500.0) 2)) (cbrt (pow (cbrt 500.0) 2)))
  (pow (cbrt (cbrt 500.0)) 2)
  (* (cbrt (sqrt 500.0)) (cbrt (sqrt 500.0)))
  (* (cbrt (sqrt 500.0)) (cbrt (sqrt 500.0)))
  (* (cbrt 1) (cbrt 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 (pow (cbrt 500.0) 2)))
  (* (cbrt 500.0) (cbrt (sqrt 500.0)))
  (* (cbrt 500.0) (cbrt 1))
  (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)
  (* 500.0 (- x y))
  (* 500.0 (- x y))
  (* 500.0 (- x y))
  (* 500.0 (- x y))
  (log (* 500.0 (- x y)))
  (log (* 500.0 (- x y)))
  (log (* 500.0 (- x y)))
  (log (* 500.0 (- x y)))
  (log (* 500.0 (- x y)))
  (pow (exp (- x y)) 500.0)
  (pow (* 500.0 (- x y)) 3)
  (pow (* 500.0 (- x y)) 3)
  (pow (* 500.0 (- x y)) 3)
  (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)))
  (* (pow (cbrt 500.0) 2) (- x y))
  (* (pow (cbrt 500.0) 2) (- x y))
  (* 500.0 (- (pow x 3) (pow y 3)))
  (* 500.0 (- (* x x) (* y y)))
  (* (cbrt 500.0) (- x y))
  (log (* (cbrt 500.0) (- x y)))
  (log (* (cbrt 500.0) (- x y)))
  (pow (exp (cbrt 500.0)) (- x y))
  (* 500.0 (pow (- x y) 3))
  (* (cbrt (* (cbrt 500.0) (- x y))) (cbrt (* (cbrt 500.0) (- x y))))
  (cbrt (* (cbrt 500.0) (- x y)))
  (* 500.0 (pow (- x y) 3))
  (sqrt (* (cbrt 500.0) (- x y)))
  (sqrt (* (cbrt 500.0) (- x y)))
  (* (cbrt (sqrt 500.0)) (sqrt (- x y)))
  (* (cbrt (sqrt 500.0)) (sqrt (- x y)))
  (* (sqrt (cbrt 500.0)) (sqrt (- x y)))
  (* (sqrt (cbrt 500.0)) (sqrt (- x y)))
  (* (cbrt (pow (cbrt 500.0) 2)) (- x y))
  (* (cbrt (sqrt 500.0)) (- x y))
  (* (cbrt 1) (- x y))
  (* (pow (cbrt (cbrt 500.0)) 2) (- x y))
  (* (sqrt (cbrt 500.0)) (- x y))
  (- x y)
  (* (cbrt 500.0) (cbrt (- x y)))
  (* (cbrt 500.0) (sqrt (- x y)))
  (* (cbrt 500.0) (- x y))
  (* (cbrt 500.0) (- (sqrt x) (sqrt y)))
  (* (cbrt 500.0) (- x y))
  (* (cbrt 500.0) (- (pow x 3) (pow y 3)))
  (* (cbrt 500.0) (- (* x x) (* y y)))
  (* 500.0 (- x y))
  (* 500.0 (- x y))
  (* 500.0 (- x y))
  (* 500.0 (- x y))
  (* (cbrt 500.0) (- x y))
  (* (cbrt 500.0) (- x y))
  (* (cbrt 500.0) (- x y))
0.403 * * * [progress]: adding candidates to table
0.526 * * [progress]: iteration 4 / 4
0.526 * * * [progress]: picking best candidate
0.530 * * * * [pick]: Picked  #<alt (λ (x y) (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (- x y) (cbrt 500.0))))>
0.530 * * * [progress]: localizing error
0.540 * * * [progress]: generating rewritten candidates
0.540 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
0.544 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
0.559 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2)
0.570 * * * [progress]: generating series expansions
0.571 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
0.571 * * * * [progress]: [ 2 / 3 ] generating series at (2)
0.571 * [approximate]: Taking taylor expansion of (* (- x y) (pow (cbrt 500.0) 3)) in (x y) around 0
0.571 * [taylor]: Taking taylor expansion of (* (- x y) (pow (cbrt 500.0) 3)) in y
0.571 * [taylor]: Taking taylor expansion of (- x y) in y
0.571 * [taylor]: Taking taylor expansion of x in y
0.571 * [taylor]: Taking taylor expansion of y in y
0.571 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in y
0.571 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y
0.571 * [taylor]: Taking taylor expansion of 500.0 in y
0.571 * [taylor]: Taking taylor expansion of (* (- x y) (pow (cbrt 500.0) 3)) in x
0.571 * [taylor]: Taking taylor expansion of (- x y) in x
0.571 * [taylor]: Taking taylor expansion of x in x
0.571 * [taylor]: Taking taylor expansion of y 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.571 * [taylor]: Taking taylor expansion of 500.0 in x
0.571 * [taylor]: Taking taylor expansion of (* (- x y) (pow (cbrt 500.0) 3)) in x
0.571 * [taylor]: Taking taylor expansion of (- x y) in x
0.571 * [taylor]: Taking taylor expansion of x in x
0.571 * [taylor]: Taking taylor expansion of y 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.571 * [taylor]: Taking taylor expansion of 500.0 in x
0.572 * [taylor]: Taking taylor expansion of (* -500.0 y) in y
0.572 * [taylor]: Taking taylor expansion of -500.0 in y
0.572 * [taylor]: Taking taylor expansion of y in y
0.572 * [taylor]: Taking taylor expansion of 500.0 in y
0.572 * [taylor]: Taking taylor expansion of 0 in y
0.573 * [taylor]: Taking taylor expansion of 0 in y
0.573 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 500.0) 3)) in (x y) around 0
0.573 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 500.0) 3)) in y
0.573 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
0.573 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.573 * [taylor]: Taking taylor expansion of x in y
0.573 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.573 * [taylor]: Taking taylor expansion of y in y
0.573 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in y
0.573 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y
0.573 * [taylor]: Taking taylor expansion of 500.0 in y
0.573 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 500.0) 3)) in x
0.573 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.573 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.573 * [taylor]: Taking taylor expansion of x in x
0.573 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.573 * [taylor]: Taking taylor expansion of y in x
0.573 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in x
0.574 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x
0.574 * [taylor]: Taking taylor expansion of 500.0 in x
0.574 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 500.0) 3)) in x
0.574 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.574 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.574 * [taylor]: Taking taylor expansion of x in x
0.574 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.574 * [taylor]: Taking taylor expansion of y in x
0.574 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in x
0.574 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x
0.574 * [taylor]: Taking taylor expansion of 500.0 in x
0.574 * [taylor]: Taking taylor expansion of 500.0 in y
0.574 * [taylor]: Taking taylor expansion of (neg (* 500.0 (/ 1 y))) in y
0.574 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in y
0.574 * [taylor]: Taking taylor expansion of 500.0 in y
0.574 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.574 * [taylor]: Taking taylor expansion of y in y
0.575 * [taylor]: Taking taylor expansion of 0 in y
0.575 * [taylor]: Taking taylor expansion of 0 in y
0.576 * [taylor]: Taking taylor expansion of 0 in y
0.576 * [approximate]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (pow (cbrt 500.0) 3)) in (x y) around 0
0.577 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (pow (cbrt 500.0) 3)) in y
0.577 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
0.577 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.577 * [taylor]: Taking taylor expansion of y in y
0.577 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.577 * [taylor]: Taking taylor expansion of x in y
0.577 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in y
0.577 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y
0.577 * [taylor]: Taking taylor expansion of 500.0 in y
0.577 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (pow (cbrt 500.0) 3)) in x
0.577 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 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 (/ 1 x) in x
0.577 * [taylor]: Taking taylor expansion of x in x
0.577 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in x
0.577 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x
0.577 * [taylor]: Taking taylor expansion of 500.0 in x
0.577 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (pow (cbrt 500.0) 3)) in x
0.577 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 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 (/ 1 x) in x
0.577 * [taylor]: Taking taylor expansion of x in x
0.577 * [taylor]: Taking taylor expansion of (pow (cbrt 500.0) 3) in x
0.577 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x
0.577 * [taylor]: Taking taylor expansion of 500.0 in x
0.577 * [taylor]: Taking taylor expansion of -500.0 in y
0.578 * [taylor]: Taking taylor expansion of (* 500.0 (/ 1 y)) in y
0.578 * [taylor]: Taking taylor expansion of 500.0 in y
0.578 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.578 * [taylor]: Taking taylor expansion of y in y
0.578 * [taylor]: Taking taylor expansion of 0 in y
0.579 * [taylor]: Taking taylor expansion of 0 in y
0.579 * [taylor]: Taking taylor expansion of 0 in y
0.580 * * * * [progress]: [ 3 / 3 ] generating series at (2 2)
0.580 * [approximate]: Taking taylor expansion of (* (cbrt 500.0) (- x y)) in (x y) around 0
0.580 * [taylor]: Taking taylor expansion of (* (cbrt 500.0) (- x y)) in y
0.580 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y
0.580 * [taylor]: Taking taylor expansion of 500.0 in y
0.580 * [taylor]: Taking taylor expansion of (- x y) in y
0.580 * [taylor]: Taking taylor expansion of x in y
0.580 * [taylor]: Taking taylor expansion of y in y
0.580 * [taylor]: Taking taylor expansion of (* (cbrt 500.0) (- x y)) in x
0.580 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x
0.580 * [taylor]: Taking taylor expansion of 500.0 in x
0.580 * [taylor]: Taking taylor expansion of (- x y) in x
0.580 * [taylor]: Taking taylor expansion of x in x
0.580 * [taylor]: Taking taylor expansion of y in x
0.580 * [taylor]: Taking taylor expansion of (* (cbrt 500.0) (- x y)) in x
0.580 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x
0.580 * [taylor]: Taking taylor expansion of 500.0 in x
0.580 * [taylor]: Taking taylor expansion of (- x y) in x
0.580 * [taylor]: Taking taylor expansion of x in x
0.580 * [taylor]: Taking taylor expansion of y in x
0.580 * [taylor]: Taking taylor expansion of (* -1 (* y (cbrt 500.0))) in y
0.580 * [taylor]: Taking taylor expansion of -1 in y
0.580 * [taylor]: Taking taylor expansion of (* y (cbrt 500.0)) in y
0.580 * [taylor]: Taking taylor expansion of y in y
0.580 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y
0.580 * [taylor]: Taking taylor expansion of 500.0 in y
0.580 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y
0.580 * [taylor]: Taking taylor expansion of 500.0 in y
0.581 * [taylor]: Taking taylor expansion of 0 in y
0.581 * [taylor]: Taking taylor expansion of 0 in y
0.581 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (cbrt 500.0)) in (x y) around 0
0.581 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (cbrt 500.0)) in y
0.581 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
0.581 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.581 * [taylor]: Taking taylor expansion of x in y
0.581 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.581 * [taylor]: Taking taylor expansion of y in y
0.581 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y
0.581 * [taylor]: Taking taylor expansion of 500.0 in y
0.582 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (cbrt 500.0)) in x
0.582 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.582 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.582 * [taylor]: Taking taylor expansion of x in x
0.582 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.582 * [taylor]: Taking taylor expansion of y in x
0.582 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x
0.582 * [taylor]: Taking taylor expansion of 500.0 in x
0.582 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (cbrt 500.0)) in x
0.582 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.582 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.582 * [taylor]: Taking taylor expansion of x in x
0.582 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.582 * [taylor]: Taking taylor expansion of y in x
0.582 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x
0.582 * [taylor]: Taking taylor expansion of 500.0 in x
0.582 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y
0.582 * [taylor]: Taking taylor expansion of 500.0 in y
0.582 * [taylor]: Taking taylor expansion of (neg (/ (cbrt 500.0) y)) in y
0.582 * [taylor]: Taking taylor expansion of (/ (cbrt 500.0) y) in y
0.582 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y
0.582 * [taylor]: Taking taylor expansion of 500.0 in y
0.582 * [taylor]: Taking taylor expansion of y in y
0.583 * [taylor]: Taking taylor expansion of 0 in y
0.583 * [taylor]: Taking taylor expansion of 0 in y
0.583 * [taylor]: Taking taylor expansion of 0 in y
0.584 * [approximate]: Taking taylor expansion of (* (cbrt 500.0) (- (/ 1 y) (/ 1 x))) in (x y) around 0
0.584 * [taylor]: Taking taylor expansion of (* (cbrt 500.0) (- (/ 1 y) (/ 1 x))) in y
0.584 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y
0.584 * [taylor]: Taking taylor expansion of 500.0 in y
0.584 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
0.584 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.584 * [taylor]: Taking taylor expansion of y in y
0.584 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.584 * [taylor]: Taking taylor expansion of x in y
0.584 * [taylor]: Taking taylor expansion of (* (cbrt 500.0) (- (/ 1 y) (/ 1 x))) in x
0.584 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x
0.584 * [taylor]: Taking taylor expansion of 500.0 in x
0.584 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.584 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.584 * [taylor]: Taking taylor expansion of y in x
0.584 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.584 * [taylor]: Taking taylor expansion of x in x
0.584 * [taylor]: Taking taylor expansion of (* (cbrt 500.0) (- (/ 1 y) (/ 1 x))) in x
0.584 * [taylor]: Taking taylor expansion of (cbrt 500.0) in x
0.584 * [taylor]: Taking taylor expansion of 500.0 in x
0.584 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.584 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.584 * [taylor]: Taking taylor expansion of y in x
0.584 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.584 * [taylor]: Taking taylor expansion of x in x
0.584 * [taylor]: Taking taylor expansion of (* -1 (cbrt 500.0)) in y
0.584 * [taylor]: Taking taylor expansion of -1 in y
0.584 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y
0.584 * [taylor]: Taking taylor expansion of 500.0 in y
0.585 * [taylor]: Taking taylor expansion of (/ (cbrt 500.0) y) in y
0.585 * [taylor]: Taking taylor expansion of (cbrt 500.0) in y
0.585 * [taylor]: Taking taylor expansion of 500.0 in y
0.585 * [taylor]: Taking taylor expansion of y in y
0.585 * [taylor]: Taking taylor expansion of 0 in y
0.585 * [taylor]: Taking taylor expansion of 0 in y
0.586 * [taylor]: Taking taylor expansion of 0 in y
0.586 * * * [progress]: simplifying candidates
0.587 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (log (sqrt (cbrt 500.0))) 3)
  (* (log (sqrt (cbrt 500.0))) 3)
  (* 1/2 3)
  (* 1 3)
  (* (/ 1/3 2) 3)
  (* (/ 1 2) 3)
  (pow (sqrt (cbrt 500.0)) (* (cbrt 3) (cbrt 3)))
  (pow (sqrt (cbrt 500.0)) (sqrt 3))
  (pow (sqrt (cbrt 500.0)) 1)
  (pow (* (cbrt (sqrt (cbrt 500.0))) (cbrt (sqrt (cbrt 500.0)))) 3)
  (pow (cbrt (sqrt (cbrt 500.0))) 3)
  (pow (sqrt (cbrt (* (cbrt 500.0) (cbrt 500.0)))) 3)
  (pow (sqrt (cbrt (cbrt 500.0))) 3)
  (pow (sqrt (cbrt (sqrt 500.0))) 3)
  (pow (sqrt (cbrt (sqrt 500.0))) 3)
  (pow (sqrt (cbrt 1)) 3)
  (pow (sqrt (cbrt 500.0)) 3)
  (pow (sqrt (* (cbrt (cbrt 500.0)) (cbrt (cbrt 500.0)))) 3)
  (pow (sqrt (cbrt (cbrt 500.0))) 3)
  (pow (sqrt (sqrt (cbrt 500.0))) 3)
  (pow (sqrt (sqrt (cbrt 500.0))) 3)
  (pow (sqrt 1) 3)
  (pow (sqrt (cbrt 500.0)) 3)
  (pow (sqrt (sqrt (cbrt 500.0))) 3)
  (pow (sqrt (sqrt (cbrt 500.0))) 3)
  (pow 1 3)
  (pow (sqrt (cbrt 500.0)) 3)
  (* (sqrt (cbrt 500.0)) (sqrt (cbrt 500.0)))
  (log (pow (sqrt (cbrt 500.0)) 3))
  (exp (pow (sqrt (cbrt 500.0)) 3))
  (* (cbrt (pow (sqrt (cbrt 500.0)) 3)) (cbrt (pow (sqrt (cbrt 500.0)) 3)))
  (cbrt (pow (sqrt (cbrt 500.0)) 3))
  (* (* (pow (sqrt (cbrt 500.0)) 3) (pow (sqrt (cbrt 500.0)) 3)) (pow (sqrt (cbrt 500.0)) 3))
  (pow (* (cbrt (sqrt (cbrt 500.0))) (cbrt (sqrt (cbrt 500.0)))) 3)
  (pow (cbrt (sqrt (cbrt 500.0))) 3)
  (pow (sqrt (cbrt (* (cbrt 500.0) (cbrt 500.0)))) 3)
  (pow (sqrt (cbrt (cbrt 500.0))) 3)
  (pow (sqrt (cbrt (sqrt 500.0))) 3)
  (pow (sqrt (cbrt (sqrt 500.0))) 3)
  (pow (sqrt (cbrt 1)) 3)
  (pow (sqrt (cbrt 500.0)) 3)
  (pow (sqrt (* (cbrt (cbrt 500.0)) (cbrt (cbrt 500.0)))) 3)
  (pow (sqrt (cbrt (cbrt 500.0))) 3)
  (pow (sqrt (sqrt (cbrt 500.0))) 3)
  (pow (sqrt (sqrt (cbrt 500.0))) 3)
  (pow (sqrt 1) 3)
  (pow (sqrt (cbrt 500.0)) 3)
  (pow (sqrt (sqrt (cbrt 500.0))) 3)
  (pow (sqrt (sqrt (cbrt 500.0))) 3)
  (pow 1 3)
  (pow (sqrt (cbrt 500.0)) 3)
  (* (sqrt (cbrt 500.0)) (sqrt (cbrt 500.0)))
  (/ 3 2)
  (sqrt (pow (sqrt (cbrt 500.0)) 3))
  (sqrt (pow (sqrt (cbrt 500.0)) 3))
  (pow (sqrt (cbrt 500.0)) (/ 3 2))
  (pow (sqrt (cbrt 500.0)) (/ 3 2))
  (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (- x y) (cbrt 500.0)))
  (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (- x y) (cbrt 500.0)))
  (+ (+ (* (log (sqrt (cbrt 500.0))) 3) (log (sqrt (cbrt 500.0)))) (+ (log (- x y)) (log (cbrt 500.0))))
  (+ (+ (* (log (sqrt (cbrt 500.0))) 3) (log (sqrt (cbrt 500.0)))) (log (* (- x y) (cbrt 500.0))))
  (+ (+ (* (log (sqrt (cbrt 500.0))) 3) (log (sqrt (cbrt 500.0)))) (+ (log (- x y)) (log (cbrt 500.0))))
  (+ (+ (* (log (sqrt (cbrt 500.0))) 3) (log (sqrt (cbrt 500.0)))) (log (* (- x y) (cbrt 500.0))))
  (+ (+ (log (pow (sqrt (cbrt 500.0)) 3)) (log (sqrt (cbrt 500.0)))) (+ (log (- x y)) (log (cbrt 500.0))))
  (+ (+ (log (pow (sqrt (cbrt 500.0)) 3)) (log (sqrt (cbrt 500.0)))) (log (* (- x y) (cbrt 500.0))))
  (+ (log (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0)))) (+ (log (- x y)) (log (cbrt 500.0))))
  (+ (log (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0)))) (log (* (- x y) (cbrt 500.0))))
  (log (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (- x y) (cbrt 500.0))))
  (exp (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (- x y) (cbrt 500.0))))
  (* (* (* (* (pow (sqrt (cbrt 500.0)) 3) (pow (sqrt (cbrt 500.0)) 3)) (pow (sqrt (cbrt 500.0)) 3)) (* (* (sqrt (cbrt 500.0)) (sqrt (cbrt 500.0))) (sqrt (cbrt 500.0)))) (* (* (* (- x y) (- x y)) (- x y)) 500.0))
  (* (* (* (* (pow (sqrt (cbrt 500.0)) 3) (pow (sqrt (cbrt 500.0)) 3)) (pow (sqrt (cbrt 500.0)) 3)) (* (* (sqrt (cbrt 500.0)) (sqrt (cbrt 500.0))) (sqrt (cbrt 500.0)))) (* (* (* (- x y) (cbrt 500.0)) (* (- x y) (cbrt 500.0))) (* (- x y) (cbrt 500.0))))
  (* (* (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0)))) (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0)))) (* (* (* (- x y) (- x y)) (- x y)) 500.0))
  (* (* (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0)))) (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0)))) (* (* (* (- x y) (cbrt 500.0)) (* (- x y) (cbrt 500.0))) (* (- x y) (cbrt 500.0))))
  (* (cbrt (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (- x y) (cbrt 500.0)))) (cbrt (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (- x y) (cbrt 500.0)))))
  (cbrt (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (- x y) (cbrt 500.0))))
  (* (* (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (- x y) (cbrt 500.0))) (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (- x y) (cbrt 500.0)))) (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (- x y) (cbrt 500.0))))
  (sqrt (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (- x y) (cbrt 500.0))))
  (sqrt (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (- x y) (cbrt 500.0))))
  (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (- x y))
  (* (sqrt (cbrt 500.0)) (* (- x y) (cbrt 500.0)))
  (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (- (pow x 3) (pow y 3)) (cbrt 500.0)))
  (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (- (* x x) (* y y)) (cbrt 500.0)))
  (* (- x y) (cbrt 500.0))
  (+ (log (- x y)) (log (cbrt 500.0)))
  (log (* (- x y) (cbrt 500.0)))
  (exp (* (- x y) (cbrt 500.0)))
  (* (* (* (- x y) (- x y)) (- x y)) 500.0)
  (* (cbrt (* (- x y) (cbrt 500.0))) (cbrt (* (- x y) (cbrt 500.0))))
  (cbrt (* (- x y) (cbrt 500.0)))
  (* (* (* (- x y) (cbrt 500.0)) (* (- x y) (cbrt 500.0))) (* (- x y) (cbrt 500.0)))
  (sqrt (* (- x y) (cbrt 500.0)))
  (sqrt (* (- x y) (cbrt 500.0)))
  (* (sqrt (- x y)) (cbrt (sqrt 500.0)))
  (* (sqrt (- x y)) (cbrt (sqrt 500.0)))
  (* (sqrt (- x y)) (sqrt (cbrt 500.0)))
  (* (sqrt (- x y)) (sqrt (cbrt 500.0)))
  (* (- x y) (cbrt (* (cbrt 500.0) (cbrt 500.0))))
  (* (- x y) (cbrt (sqrt 500.0)))
  (* (- x y) (cbrt 1))
  (* (- x y) (* (cbrt (cbrt 500.0)) (cbrt (cbrt 500.0))))
  (* (- x y) (sqrt (cbrt 500.0)))
  (* (- x y) 1)
  (* (cbrt (- x y)) (cbrt 500.0))
  (* (sqrt (- x y)) (cbrt 500.0))
  (* (- x y) (cbrt 500.0))
  (* (- (sqrt x) (sqrt y)) (cbrt 500.0))
  (* (- x y) (cbrt 500.0))
  (* (- (pow x 3) (pow y 3)) (cbrt 500.0))
  (* (- (* x x) (* y y)) (cbrt 500.0))
  (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (- x y) (cbrt 500.0)))
  (- (* 500.0 x) (* 500.0 y))
  (- (* 500.0 x) (* 500.0 y))
  (- (* 500.0 x) (* 500.0 y))
  (- (* x (cbrt 500.0)) (* y (cbrt 500.0)))
  (- (* x (cbrt 500.0)) (* y (cbrt 500.0)))
  (- (* x (cbrt 500.0)) (* y (cbrt 500.0)))
0.623 * * [simplify]: iteration  0 :  4959  enodes  (cost  753 )
0.623 * * [simplify]: iteration  1 :  4959  enodes  (cost  753 )
0.626 * [simplify]: Simplified to:
   (* (log (sqrt (cbrt 500.0))) 3)
  (* (log (sqrt (cbrt 500.0))) 3)
  3/2
  3
  1/2
  3/2
  (pow (sqrt (cbrt 500.0)) (* (cbrt 3) (cbrt 3)))
  (pow (sqrt (cbrt 500.0)) (sqrt 3))
  (sqrt (cbrt 500.0))
  (cbrt 500.0)
  (sqrt (cbrt 500.0))
  (pow (sqrt (cbrt (* (cbrt 500.0) (cbrt 500.0)))) 3)
  (pow (sqrt (cbrt (cbrt 500.0))) 3)
  (pow (sqrt (cbrt (sqrt 500.0))) 3)
  (pow (sqrt (cbrt (sqrt 500.0))) 3)
  (pow (sqrt (cbrt 1)) 3)
  (pow (sqrt (cbrt 500.0)) 3)
  (pow (fabs (cbrt (cbrt 500.0))) 3)
  (pow (sqrt (cbrt (cbrt 500.0))) 3)
  (pow (sqrt (cbrt 500.0)) 3/2)
  (pow (sqrt (cbrt 500.0)) 3/2)
  1
  (pow (sqrt (cbrt 500.0)) 3)
  (pow (sqrt (cbrt 500.0)) 3/2)
  (pow (sqrt (cbrt 500.0)) 3/2)
  1
  (pow (sqrt (cbrt 500.0)) 3)
  (cbrt 500.0)
  (* (log (sqrt (cbrt 500.0))) 3)
  (exp (pow (sqrt (cbrt 500.0)) 3))
  (cbrt 500.0)
  (sqrt (cbrt 500.0))
  (pow (sqrt (cbrt 500.0)) 9)
  (cbrt 500.0)
  (sqrt (cbrt 500.0))
  (pow (sqrt (cbrt (* (cbrt 500.0) (cbrt 500.0)))) 3)
  (pow (sqrt (cbrt (cbrt 500.0))) 3)
  (pow (sqrt (cbrt (sqrt 500.0))) 3)
  (pow (sqrt (cbrt (sqrt 500.0))) 3)
  (pow (sqrt (cbrt 1)) 3)
  (pow (sqrt (cbrt 500.0)) 3)
  (pow (fabs (cbrt (cbrt 500.0))) 3)
  (pow (sqrt (cbrt (cbrt 500.0))) 3)
  (pow (sqrt (cbrt 500.0)) 3/2)
  (pow (sqrt (cbrt 500.0)) 3/2)
  1
  (pow (sqrt (cbrt 500.0)) 3)
  (pow (sqrt (cbrt 500.0)) 3/2)
  (pow (sqrt (cbrt 500.0)) 3/2)
  1
  (pow (sqrt (cbrt 500.0)) 3)
  (cbrt 500.0)
  3/2
  (sqrt (pow (sqrt (cbrt 500.0)) 3))
  (sqrt (pow (sqrt (cbrt 500.0)) 3))
  (pow (sqrt (cbrt 500.0)) 3/2)
  (pow (sqrt (cbrt 500.0)) 3/2)
  (* (pow (cbrt 500.0) 3) (- x y))
  (* (pow (cbrt 500.0) 3) (- x y))
  (log (* (pow (cbrt 500.0) 3) (- x y)))
  (log (* (pow (cbrt 500.0) 3) (- x y)))
  (log (* (pow (cbrt 500.0) 3) (- x y)))
  (log (* (pow (cbrt 500.0) 3) (- x y)))
  (log (* (pow (cbrt 500.0) 3) (- x y)))
  (log (* (pow (cbrt 500.0) 3) (- x y)))
  (log (* (pow (cbrt 500.0) 3) (- x y)))
  (log (* (pow (cbrt 500.0) 3) (- x y)))
  (log (* (pow (cbrt 500.0) 3) (- x y)))
  (pow (exp (- x y)) (pow (cbrt 500.0) 3))
  (* 500.0 (* (pow (sqrt (cbrt 500.0)) 12) (pow (- x y) 3)))
  (pow (* (pow (cbrt 500.0) 3) (- x y)) 3)
  (* 500.0 (* (pow (sqrt (cbrt 500.0)) 12) (pow (- x y) 3)))
  (pow (* (pow (cbrt 500.0) 3) (- x y)) 3)
  (* (cbrt (* (pow (cbrt 500.0) 3) (- x y))) (cbrt (* (pow (cbrt 500.0) 3) (- x y))))
  (cbrt (* (pow (cbrt 500.0) 3) (- x y)))
  (pow (* (pow (cbrt 500.0) 3) (- x y)) 3)
  (sqrt (* (pow (cbrt 500.0) 3) (- x y)))
  (sqrt (* (pow (cbrt 500.0) 3) (- x y)))
  (* (cbrt 500.0) (* (cbrt 500.0) (- x y)))
  (* (pow (sqrt (cbrt 500.0)) 3) (- x y))
  (* (pow (cbrt 500.0) 3) (- (pow x 3) (pow y 3)))
  (* (pow (cbrt 500.0) 3) (- (* x x) (* y y)))
  (* (cbrt 500.0) (- x y))
  (log (* (cbrt 500.0) (- x y)))
  (log (* (cbrt 500.0) (- x y)))
  (pow (exp (- x y)) (cbrt 500.0))
  (* 500.0 (pow (- x y) 3))
  (* (cbrt (* (cbrt 500.0) (- x y))) (cbrt (* (cbrt 500.0) (- x y))))
  (cbrt (* (cbrt 500.0) (- x y)))
  (pow (* (cbrt 500.0) (- x y)) 3)
  (sqrt (* (cbrt 500.0) (- x y)))
  (sqrt (* (cbrt 500.0) (- x y)))
  (* (cbrt (sqrt 500.0)) (sqrt (- x y)))
  (* (cbrt (sqrt 500.0)) (sqrt (- x y)))
  (* (sqrt (cbrt 500.0)) (sqrt (- x y)))
  (* (sqrt (cbrt 500.0)) (sqrt (- x y)))
  (* (cbrt (* (cbrt 500.0) (cbrt 500.0))) (- x y))
  (* (cbrt (sqrt 500.0)) (- x y))
  (* (cbrt 1) (- x y))
  (* (pow (cbrt (sqrt (cbrt 500.0))) 4) (- x y))
  (* (sqrt (cbrt 500.0)) (- x y))
  (- x y)
  (* (cbrt 500.0) (cbrt (- x y)))
  (* (cbrt 500.0) (sqrt (- x y)))
  (* (cbrt 500.0) (- x y))
  (* (cbrt 500.0) (- (sqrt x) (sqrt y)))
  (* (cbrt 500.0) (- x y))
  (* (cbrt 500.0) (- (pow x 3) (pow y 3)))
  (* (cbrt 500.0) (- (* x x) (* y y)))
  (* (pow (cbrt 500.0) 3) (- x y))
  (* 500.0 (- x y))
  (* 500.0 (- x y))
  (* 500.0 (- x y))
  (* (cbrt 500.0) (- x y))
  (* (cbrt 500.0) (- x y))
  (* (cbrt 500.0) (- x y))
0.627 * * * [progress]: adding candidates to table
0.774 * [progress]: [Phase 3 of 3] Extracting.
0.774 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (+ (* 500.0 x) (* 500.0 (neg y))))> #<alt (λ (x y) (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (- x y) (cbrt 500.0))))> #<alt (λ (x y) (* (* (cbrt 500.0) (cbrt 500.0)) (* (- x y) (cbrt 500.0))))> #<alt (λ (x y) (* 500.0 (- x y)))>)
0.774 * * * [regime-changes]: Trying 4 branch expressions: ((- x y) (* 500.0 (- x y)) y x)
0.774 * * * * [regimes]: Trying to branch on (- x y) from (#<alt (λ (x y) (+ (* 500.0 x) (* 500.0 (neg y))))> #<alt (λ (x y) (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (- x y) (cbrt 500.0))))> #<alt (λ (x y) (* (* (cbrt 500.0) (cbrt 500.0)) (* (- x y) (cbrt 500.0))))> #<alt (λ (x y) (* 500.0 (- x y)))>)
0.816 * * * * [regimes]: Trying to branch on (- x y) from (#<alt (λ (x y) (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (- x y) (cbrt 500.0))))> #<alt (λ (x y) (* (* (cbrt 500.0) (cbrt 500.0)) (* (- x y) (cbrt 500.0))))> #<alt (λ (x y) (* 500.0 (- x y)))>)
0.854 * * * * [regimes]: Trying to branch on (* 500.0 (- x y)) from (#<alt (λ (x y) (+ (* 500.0 x) (* 500.0 (neg y))))> #<alt (λ (x y) (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (- x y) (cbrt 500.0))))> #<alt (λ (x y) (* (* (cbrt 500.0) (cbrt 500.0)) (* (- x y) (cbrt 500.0))))> #<alt (λ (x y) (* 500.0 (- x y)))>)
0.896 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (+ (* 500.0 x) (* 500.0 (neg y))))> #<alt (λ (x y) (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (- x y) (cbrt 500.0))))> #<alt (λ (x y) (* (* (cbrt 500.0) (cbrt 500.0)) (* (- x y) (cbrt 500.0))))> #<alt (λ (x y) (* 500.0 (- x y)))>)
0.936 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (+ (* 500.0 x) (* 500.0 (neg y))))> #<alt (λ (x y) (* (* (pow (sqrt (cbrt 500.0)) 3) (sqrt (cbrt 500.0))) (* (- x y) (cbrt 500.0))))> #<alt (λ (x y) (* (* (cbrt 500.0) (cbrt 500.0)) (* (- x y) (cbrt 500.0))))> #<alt (λ (x y) (* 500.0 (- x y)))>)
0.976 * * * [regime]: Found split indices: #<option (#s(si 0 256))>
0.977 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (* 500.0 x) (* 500.0 (neg y)))
0.978 * * [simplify]: iteration  0 :  34  enodes  (cost  7 )
0.978 * * [simplify]: iteration  1 :  34  enodes  (cost  7 )
0.978 * [simplify]: Simplified to:
   (- (* 500.0 x) (* 500.0 y))
0.978 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1.046 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
1.046 * * * * [points]: Setting MPFR precision to 64
1.046 * * * * [points]: Setting MPFR precision to 320
1.046 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
1.046 * * * * [points]: Setting MPFR precision to 64
1.047 * * * * [points]: Setting MPFR precision to 320
1.047 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
1.047 * * * * [points]: Setting MPFR precision to 64
1.048 * * * * [points]: Setting MPFR precision to 320
1.048 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
1.048 * * * * [points]: Setting MPFR precision to 64
1.049 * * * * [points]: Setting MPFR precision to 320
1.051 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
1.051 * * * * [points]: Setting MPFR precision to 64
1.053 * * * * [points]: Setting MPFR precision to 320
1.056 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
1.056 * * * * [points]: Setting MPFR precision to 64
1.061 * * * * [points]: Setting MPFR precision to 320
1.066 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
1.066 * * * * [points]: Setting MPFR precision to 64
1.079 * * * * [points]: Setting MPFR precision to 320
1.090 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
1.090 * * * * [points]: Setting MPFR precision to 64
1.109 * * * * [points]: Setting MPFR precision to 320
1.129 * * * * [points]: Computing exacts for 8000 points
1.129 * * * * [points]: Setting MPFR precision to 64
1.206 * * * * [points]: Setting MPFR precision to 320
1.287 * * * * [points]: Setting MPFR precision to 576
1.365 * * * * [points]: Setting MPFR precision to 832
1.444 * * * * [points]: Setting MPFR precision to 1088
1.526 * * * * [points]: Setting MPFR precision to 1344
1.606 * * * * [points]: Setting MPFR precision to 1600
1.688 * * * * [points]: Filtering points with unrepresentable outputs
1.700 * * * * [points]: Sampling 82 additional inputs, on iter 1 have 7918 / 8000
1.704 * * * * [points]: Computing exacts on every 5 of 82 points to ramp up precision
1.704 * * * * [points]: Setting MPFR precision to 1344
1.704 * * * * [points]: Setting MPFR precision to 1600
1.704 * * * * [points]: Computing exacts on every 2 of 82 points to ramp up precision
1.704 * * * * [points]: Setting MPFR precision to 1344
1.705 * * * * [points]: Setting MPFR precision to 1600
1.705 * * * * [points]: Computing exacts for 82 points
1.705 * * * * [points]: Setting MPFR precision to 1344
1.706 * * * * [points]: Setting MPFR precision to 1600
1.707 * * * * [points]: Filtering points with unrepresentable outputs
1.707 * * * * [points]: Sampled 8000 points with exact outputs
2.294 * [regime-testing]: End program error score: 0.015875