15.011 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.070 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.072 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.072 * * * * [points]: Setting MPFR precision to 64
0.072 * * * * [points]: Setting MPFR precision to 320
0.072 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.072 * * * * [points]: Setting MPFR precision to 64
0.073 * * * * [points]: Setting MPFR precision to 320
0.073 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.073 * * * * [points]: Setting MPFR precision to 64
0.074 * * * * [points]: Setting MPFR precision to 320
0.074 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.074 * * * * [points]: Setting MPFR precision to 64
0.075 * * * * [points]: Setting MPFR precision to 320
0.076 * * * * [points]: Computing exacts for 256 points
0.076 * * * * [points]: Setting MPFR precision to 64
0.078 * * * * [points]: Setting MPFR precision to 320
0.081 * * * * [points]: Setting MPFR precision to 576
0.083 * * * * [points]: Setting MPFR precision to 832
0.089 * * * * [points]: Setting MPFR precision to 1088
0.092 * * * * [points]: Filtering points with unrepresentable outputs
0.092 * * * * [points]: Sampling 4 additional inputs, on iter 1 have 255 / 256
0.092 * * * * [points]: Computing exacts for 4 points
0.092 * * * * [points]: Setting MPFR precision to 832
0.092 * * * * [points]: Setting MPFR precision to 1088
0.092 * * * * [points]: Filtering points with unrepresentable outputs
0.092 * * * * [points]: Sampled 258 points with exact outputs
0.096 * * * [progress]: [2/2] Setting up program.
0.099 * [progress]: [Phase 2 of 3] Improving.
0.099 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* 200.0 (- x y))
0.105 * * [simplify]: iteration  0 :  172  enodes  (cost  5 )
0.106 * * [simplify]: iteration  1 :  172  enodes  (cost  5 )
0.106 * [simplify]: Simplified to:
   (* 200.0 (- x y))
0.106 * * [progress]: iteration 1 / 4
0.106 * * * [progress]: picking best candidate
0.108 * * * * [pick]: Picked  #<alt (λ (x y) (* 200.0 (- x y)))>
0.108 * * * [progress]: localizing error
0.112 * * * [progress]: generating rewritten candidates
0.112 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.118 * * * [progress]: generating series expansions
0.118 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.119 * [approximate]: Taking taylor expansion of (* 200.0 (- x y)) in (x y) around 0
0.119 * [taylor]: Taking taylor expansion of (* 200.0 (- x y)) in y
0.119 * [taylor]: Taking taylor expansion of 200.0 in y
0.119 * [taylor]: Taking taylor expansion of (- x y) in y
0.119 * [taylor]: Taking taylor expansion of x in y
0.119 * [taylor]: Taking taylor expansion of y in y
0.119 * [taylor]: Taking taylor expansion of (* 200.0 (- x y)) in x
0.119 * [taylor]: Taking taylor expansion of 200.0 in x
0.119 * [taylor]: Taking taylor expansion of (- x y) in x
0.119 * [taylor]: Taking taylor expansion of x in x
0.119 * [taylor]: Taking taylor expansion of y in x
0.119 * [taylor]: Taking taylor expansion of (* 200.0 (- x y)) in x
0.119 * [taylor]: Taking taylor expansion of 200.0 in x
0.119 * [taylor]: Taking taylor expansion of (- x y) in x
0.119 * [taylor]: Taking taylor expansion of x in x
0.119 * [taylor]: Taking taylor expansion of y in x
0.119 * [taylor]: Taking taylor expansion of (* -200.0 y) in y
0.119 * [taylor]: Taking taylor expansion of -200.0 in y
0.119 * [taylor]: Taking taylor expansion of y in y
0.119 * [taylor]: Taking taylor expansion of 200.0 in y
0.119 * [taylor]: Taking taylor expansion of 0 in y
0.119 * [taylor]: Taking taylor expansion of 0 in y
0.119 * [approximate]: Taking taylor expansion of (* 200.0 (- (/ 1 x) (/ 1 y))) in (x y) around 0
0.120 * [taylor]: Taking taylor expansion of (* 200.0 (- (/ 1 x) (/ 1 y))) in y
0.120 * [taylor]: Taking taylor expansion of 200.0 in y
0.120 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
0.120 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.120 * [taylor]: Taking taylor expansion of x in y
0.120 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.120 * [taylor]: Taking taylor expansion of y in y
0.120 * [taylor]: Taking taylor expansion of (* 200.0 (- (/ 1 x) (/ 1 y))) in x
0.120 * [taylor]: Taking taylor expansion of 200.0 in x
0.120 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.120 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.120 * [taylor]: Taking taylor expansion of x in x
0.120 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.120 * [taylor]: Taking taylor expansion of y in x
0.120 * [taylor]: Taking taylor expansion of (* 200.0 (- (/ 1 x) (/ 1 y))) in x
0.120 * [taylor]: Taking taylor expansion of 200.0 in x
0.120 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.120 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.120 * [taylor]: Taking taylor expansion of x in x
0.120 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.120 * [taylor]: Taking taylor expansion of y in x
0.120 * [taylor]: Taking taylor expansion of 200.0 in y
0.120 * [taylor]: Taking taylor expansion of (neg (* 200.0 (/ 1 y))) in y
0.120 * [taylor]: Taking taylor expansion of (* 200.0 (/ 1 y)) in y
0.120 * [taylor]: Taking taylor expansion of 200.0 in y
0.120 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.120 * [taylor]: Taking taylor expansion of y in y
0.120 * [taylor]: Taking taylor expansion of 0 in y
0.121 * [taylor]: Taking taylor expansion of 0 in y
0.121 * [taylor]: Taking taylor expansion of 0 in y
0.121 * [approximate]: Taking taylor expansion of (* 200.0 (- (/ 1 y) (/ 1 x))) in (x y) around 0
0.121 * [taylor]: Taking taylor expansion of (* 200.0 (- (/ 1 y) (/ 1 x))) in y
0.121 * [taylor]: Taking taylor expansion of 200.0 in y
0.121 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
0.121 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.121 * [taylor]: Taking taylor expansion of y in y
0.121 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.121 * [taylor]: Taking taylor expansion of x in y
0.121 * [taylor]: Taking taylor expansion of (* 200.0 (- (/ 1 y) (/ 1 x))) in x
0.121 * [taylor]: Taking taylor expansion of 200.0 in x
0.121 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.121 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.121 * [taylor]: Taking taylor expansion of y in x
0.121 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.121 * [taylor]: Taking taylor expansion of x in x
0.121 * [taylor]: Taking taylor expansion of (* 200.0 (- (/ 1 y) (/ 1 x))) in x
0.121 * [taylor]: Taking taylor expansion of 200.0 in x
0.121 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.121 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.121 * [taylor]: Taking taylor expansion of y in x
0.122 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.122 * [taylor]: Taking taylor expansion of x in x
0.122 * [taylor]: Taking taylor expansion of -200.0 in y
0.122 * [taylor]: Taking taylor expansion of (* 200.0 (/ 1 y)) in y
0.122 * [taylor]: Taking taylor expansion of 200.0 in y
0.122 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.122 * [taylor]: Taking taylor expansion of y in y
0.122 * [taylor]: Taking taylor expansion of 0 in y
0.122 * [taylor]: Taking taylor expansion of 0 in y
0.122 * [taylor]: Taking taylor expansion of 0 in y
0.123 * * * [progress]: simplifying candidates
0.123 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* 200.0 (- x y))
  (+ (log 200.0) (log (- x y)))
  (log (* 200.0 (- x y)))
  (exp (* 200.0 (- x y)))
  (* (* (* 200.0 200.0) 200.0) (* (* (- x y) (- x y)) (- x y)))
  (* (cbrt (* 200.0 (- x y))) (cbrt (* 200.0 (- x y))))
  (cbrt (* 200.0 (- x y)))
  (* (* (* 200.0 (- x y)) (* 200.0 (- x y))) (* 200.0 (- x y)))
  (sqrt (* 200.0 (- x y)))
  (sqrt (* 200.0 (- x y)))
  (* (sqrt 200.0) (sqrt (- x y)))
  (* (sqrt 200.0) (sqrt (- x y)))
  (* 200.0 x)
  (* 200.0 (neg y))
  (* x 200.0)
  (* (neg y) 200.0)
  (* 200.0 (* (cbrt (- x y)) (cbrt (- x y))))
  (* 200.0 (sqrt (- x y)))
  (* 200.0 1)
  (* 200.0 (+ (sqrt x) (sqrt y)))
  (* 200.0 1)
  (* (cbrt 200.0) (- x y))
  (* (sqrt 200.0) (- x y))
  (* 200.0 (- x y))
  (* 200.0 (- (pow x 3) (pow y 3)))
  (* 200.0 (- (* x x) (* y y)))
  (- (* 200.0 x) (* 200.0 y))
  (- (* 200.0 x) (* 200.0 y))
  (- (* 200.0 x) (* 200.0 y))
0.177 * * [simplify]: iteration  0 :  4952  enodes  (cost  172 )
0.177 * * [simplify]: iteration  1 :  4952  enodes  (cost  172 )
0.178 * [simplify]: Simplified to:
   (* 200.0 (- x y))
  (log (* 200.0 (- x y)))
  (log (* 200.0 (- x y)))
  (pow (exp 200.0) (- x y))
  (pow (* 200.0 (- x y)) 3)
  (* (cbrt (* 200.0 (- x y))) (cbrt (* 200.0 (- x y))))
  (cbrt (* 200.0 (- x y)))
  (pow (* 200.0 (- x y)) 3)
  (sqrt (* 200.0 (- x y)))
  (sqrt (* 200.0 (- x y)))
  (* (sqrt 200.0) (sqrt (- x y)))
  (* (sqrt 200.0) (sqrt (- x y)))
  (* 200.0 x)
  (* 200.0 (neg y))
  (* 200.0 x)
  (* 200.0 (neg y))
  (* 200.0 (* (cbrt (- x y)) (cbrt (- x y))))
  (* 200.0 (sqrt (- x y)))
  200.0
  (* 200.0 (+ (sqrt x) (sqrt y)))
  200.0
  (* (- x y) (cbrt 200.0))
  (* (- x y) (sqrt 200.0))
  (* 200.0 (- x y))
  (* 200.0 (- (pow x 3) (pow y 3)))
  (* 200.0 (- (* x x) (* y y)))
  (* 200.0 (- x y))
  (* 200.0 (- x y))
  (* 200.0 (- x y))
0.179 * * * [progress]: adding candidates to table
0.204 * * [progress]: iteration 2 / 4
0.204 * * * [progress]: picking best candidate
0.219 * * * * [pick]: Picked  #<alt (λ (x y) (+ (* 200.0 x) (* 200.0 (neg y))))>
0.219 * * * [progress]: localizing error
0.225 * * * [progress]: generating rewritten candidates
0.225 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.229 * * * [progress]: generating series expansions
0.229 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.229 * [approximate]: Taking taylor expansion of (- (* 200.0 x) (* 200.0 y)) in (x y) around 0
0.229 * [taylor]: Taking taylor expansion of (- (* 200.0 x) (* 200.0 y)) in y
0.229 * [taylor]: Taking taylor expansion of (* 200.0 x) in y
0.229 * [taylor]: Taking taylor expansion of 200.0 in y
0.229 * [taylor]: Taking taylor expansion of x in y
0.229 * [taylor]: Taking taylor expansion of (* 200.0 y) in y
0.229 * [taylor]: Taking taylor expansion of 200.0 in y
0.229 * [taylor]: Taking taylor expansion of y in y
0.229 * [taylor]: Taking taylor expansion of (- (* 200.0 x) (* 200.0 y)) in x
0.229 * [taylor]: Taking taylor expansion of (* 200.0 x) in x
0.229 * [taylor]: Taking taylor expansion of 200.0 in x
0.229 * [taylor]: Taking taylor expansion of x in x
0.229 * [taylor]: Taking taylor expansion of (* 200.0 y) in x
0.229 * [taylor]: Taking taylor expansion of 200.0 in x
0.229 * [taylor]: Taking taylor expansion of y in x
0.229 * [taylor]: Taking taylor expansion of (- (* 200.0 x) (* 200.0 y)) in x
0.229 * [taylor]: Taking taylor expansion of (* 200.0 x) in x
0.229 * [taylor]: Taking taylor expansion of 200.0 in x
0.229 * [taylor]: Taking taylor expansion of x in x
0.229 * [taylor]: Taking taylor expansion of (* 200.0 y) in x
0.229 * [taylor]: Taking taylor expansion of 200.0 in x
0.229 * [taylor]: Taking taylor expansion of y in x
0.230 * [taylor]: Taking taylor expansion of (neg (* 200.0 y)) in y
0.230 * [taylor]: Taking taylor expansion of (* 200.0 y) in y
0.230 * [taylor]: Taking taylor expansion of 200.0 in y
0.230 * [taylor]: Taking taylor expansion of y in y
0.230 * [taylor]: Taking taylor expansion of 200.0 in y
0.230 * [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 (- (* 200.0 (/ 1 x)) (* 200.0 (/ 1 y))) in (x y) around 0
0.230 * [taylor]: Taking taylor expansion of (- (* 200.0 (/ 1 x)) (* 200.0 (/ 1 y))) in y
0.230 * [taylor]: Taking taylor expansion of (* 200.0 (/ 1 x)) in y
0.230 * [taylor]: Taking taylor expansion of 200.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 (* 200.0 (/ 1 y)) in y
0.230 * [taylor]: Taking taylor expansion of 200.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 (- (* 200.0 (/ 1 x)) (* 200.0 (/ 1 y))) in x
0.230 * [taylor]: Taking taylor expansion of (* 200.0 (/ 1 x)) in x
0.230 * [taylor]: Taking taylor expansion of 200.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.231 * [taylor]: Taking taylor expansion of (* 200.0 (/ 1 y)) in x
0.231 * [taylor]: Taking taylor expansion of 200.0 in x
0.231 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.231 * [taylor]: Taking taylor expansion of y in x
0.231 * [taylor]: Taking taylor expansion of (- (* 200.0 (/ 1 x)) (* 200.0 (/ 1 y))) in x
0.231 * [taylor]: Taking taylor expansion of (* 200.0 (/ 1 x)) in x
0.231 * [taylor]: Taking taylor expansion of 200.0 in x
0.231 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.231 * [taylor]: Taking taylor expansion of x in x
0.231 * [taylor]: Taking taylor expansion of (* 200.0 (/ 1 y)) in x
0.231 * [taylor]: Taking taylor expansion of 200.0 in x
0.231 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.231 * [taylor]: Taking taylor expansion of y in x
0.231 * [taylor]: Taking taylor expansion of 200.0 in y
0.231 * [taylor]: Taking taylor expansion of (neg (* 200.0 (/ 1 y))) in y
0.231 * [taylor]: Taking taylor expansion of (* 200.0 (/ 1 y)) in y
0.231 * [taylor]: Taking taylor expansion of 200.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.232 * [taylor]: Taking taylor expansion of 0 in y
0.232 * [approximate]: Taking taylor expansion of (- (* 200.0 (/ 1 y)) (* 200.0 (/ 1 x))) in (x y) around 0
0.232 * [taylor]: Taking taylor expansion of (- (* 200.0 (/ 1 y)) (* 200.0 (/ 1 x))) in y
0.232 * [taylor]: Taking taylor expansion of (* 200.0 (/ 1 y)) in y
0.232 * [taylor]: Taking taylor expansion of 200.0 in y
0.232 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.232 * [taylor]: Taking taylor expansion of y in y
0.232 * [taylor]: Taking taylor expansion of (* 200.0 (/ 1 x)) in y
0.232 * [taylor]: Taking taylor expansion of 200.0 in y
0.232 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.232 * [taylor]: Taking taylor expansion of x in y
0.232 * [taylor]: Taking taylor expansion of (- (* 200.0 (/ 1 y)) (* 200.0 (/ 1 x))) in x
0.232 * [taylor]: Taking taylor expansion of (* 200.0 (/ 1 y)) in x
0.232 * [taylor]: Taking taylor expansion of 200.0 in x
0.232 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.232 * [taylor]: Taking taylor expansion of y in x
0.232 * [taylor]: Taking taylor expansion of (* 200.0 (/ 1 x)) in x
0.232 * [taylor]: Taking taylor expansion of 200.0 in x
0.232 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.232 * [taylor]: Taking taylor expansion of x in x
0.232 * [taylor]: Taking taylor expansion of (- (* 200.0 (/ 1 y)) (* 200.0 (/ 1 x))) in x
0.232 * [taylor]: Taking taylor expansion of (* 200.0 (/ 1 y)) in x
0.232 * [taylor]: Taking taylor expansion of 200.0 in x
0.232 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.232 * [taylor]: Taking taylor expansion of y in x
0.232 * [taylor]: Taking taylor expansion of (* 200.0 (/ 1 x)) in x
0.232 * [taylor]: Taking taylor expansion of 200.0 in x
0.232 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.233 * [taylor]: Taking taylor expansion of x in x
0.233 * [taylor]: Taking taylor expansion of (neg 200.0) in y
0.233 * [taylor]: Taking taylor expansion of 200.0 in y
0.233 * [taylor]: Taking taylor expansion of (* 200.0 (/ 1 y)) in y
0.233 * [taylor]: Taking taylor expansion of 200.0 in y
0.233 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.233 * [taylor]: Taking taylor expansion of y in y
0.233 * [taylor]: Taking taylor expansion of 0 in y
0.233 * [taylor]: Taking taylor expansion of 0 in y
0.234 * [taylor]: Taking taylor expansion of 0 in y
0.234 * * * [progress]: simplifying candidates
0.234 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (exp (* 200.0 x)) (exp (* 200.0 (neg y))))
  (log (+ (* 200.0 x) (* 200.0 (neg y))))
  (exp (+ (* 200.0 x) (* 200.0 (neg y))))
  (* (cbrt (+ (* 200.0 x) (* 200.0 (neg y)))) (cbrt (+ (* 200.0 x) (* 200.0 (neg y)))))
  (cbrt (+ (* 200.0 x) (* 200.0 (neg y))))
  (* (* (+ (* 200.0 x) (* 200.0 (neg y))) (+ (* 200.0 x) (* 200.0 (neg y)))) (+ (* 200.0 x) (* 200.0 (neg y))))
  (sqrt (+ (* 200.0 x) (* 200.0 (neg y))))
  (sqrt (+ (* 200.0 x) (* 200.0 (neg y))))
  (+ (pow (* 200.0 x) 3) (pow (* 200.0 (neg y)) 3))
  (+ (* (* 200.0 x) (* 200.0 x)) (- (* (* 200.0 (neg y)) (* 200.0 (neg y))) (* (* 200.0 x) (* 200.0 (neg y)))))
  (- (* (* 200.0 x) (* 200.0 x)) (* (* 200.0 (neg y)) (* 200.0 (neg y))))
  (- (* 200.0 x) (* 200.0 (neg y)))
  (+ x (neg y))
  (- (* 200.0 x) (* 200.0 y))
  (- (* 200.0 x) (* 200.0 y))
  (- (* 200.0 x) (* 200.0 y))
0.283 * * [simplify]: iteration  0 :  5170  enodes  (cost  116 )
0.283 * [simplify]: Simplified to:
   (pow (exp 200.0) (- x y))
  (log (* 200.0 (- x y)))
  (pow (exp 200.0) (- x y))
  (* (cbrt (* 200.0 (- x y))) (cbrt (* 200.0 (- x y))))
  (cbrt (* 200.0 (- x y)))
  (pow (* 200.0 (- x y)) 3)
  (sqrt (* 200.0 (- x y)))
  (sqrt (* 200.0 (- x y)))
  (- (pow (* 200.0 x) 3) (pow (* 200.0 y) 3))
  (* 200.0 (+ (* 200.0 (* x x)) (* y (* 200.0 (+ x y)))))
  (* 200.0 (* 200.0 (- (* x x) (* y y))))
  (* 200.0 (+ x y))
  (- x y)
  (* 200.0 (- x y))
  (* 200.0 (- x y))
  (* 200.0 (- x y))
0.284 * * * [progress]: adding candidates to table
0.299 * * [progress]: iteration 3 / 4
0.299 * * * [progress]: picking best candidate
0.311 * * * * [pick]: Picked  #<alt (λ (x y) (* (* (cbrt 200.0) (cbrt 200.0)) (* (- x y) (cbrt 200.0))))>
0.311 * * * [progress]: localizing error
0.320 * * * [progress]: generating rewritten candidates
0.321 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.331 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
0.340 * * * [progress]: generating series expansions
0.340 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.340 * [approximate]: Taking taylor expansion of (* (pow (cbrt 200.0) 3) (- x y)) in (x y) around 0
0.340 * [taylor]: Taking taylor expansion of (* (pow (cbrt 200.0) 3) (- x y)) in y
0.340 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 3) in y
0.340 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y
0.340 * [taylor]: Taking taylor expansion of 200.0 in y
0.340 * [taylor]: Taking taylor expansion of (- x y) in y
0.340 * [taylor]: Taking taylor expansion of x in y
0.340 * [taylor]: Taking taylor expansion of y in y
0.340 * [taylor]: Taking taylor expansion of (* (pow (cbrt 200.0) 3) (- x y)) in x
0.340 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 3) in x
0.340 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x
0.340 * [taylor]: Taking taylor expansion of 200.0 in x
0.340 * [taylor]: Taking taylor expansion of (- x y) in x
0.340 * [taylor]: Taking taylor expansion of x in x
0.340 * [taylor]: Taking taylor expansion of y in x
0.340 * [taylor]: Taking taylor expansion of (* (pow (cbrt 200.0) 3) (- x y)) in x
0.340 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 3) in x
0.340 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x
0.341 * [taylor]: Taking taylor expansion of 200.0 in x
0.341 * [taylor]: Taking taylor expansion of (- x y) in x
0.341 * [taylor]: Taking taylor expansion of x in x
0.341 * [taylor]: Taking taylor expansion of y in x
0.341 * [taylor]: Taking taylor expansion of (* -200.0 y) in y
0.341 * [taylor]: Taking taylor expansion of -200.0 in y
0.341 * [taylor]: Taking taylor expansion of y in y
0.341 * [taylor]: Taking taylor expansion of 200.0 in y
0.342 * [taylor]: Taking taylor expansion of 0 in y
0.342 * [taylor]: Taking taylor expansion of 0 in y
0.342 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 200.0) 3)) in (x y) around 0
0.342 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 200.0) 3)) in y
0.342 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
0.342 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.342 * [taylor]: Taking taylor expansion of x in y
0.342 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.342 * [taylor]: Taking taylor expansion of y in y
0.342 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 3) in y
0.342 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y
0.342 * [taylor]: Taking taylor expansion of 200.0 in y
0.342 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 200.0) 3)) in x
0.342 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.342 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.342 * [taylor]: Taking taylor expansion of x in x
0.343 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.343 * [taylor]: Taking taylor expansion of y in x
0.343 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 3) in x
0.343 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x
0.343 * [taylor]: Taking taylor expansion of 200.0 in x
0.343 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 200.0) 3)) in x
0.343 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.343 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.343 * [taylor]: Taking taylor expansion of x in x
0.343 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.343 * [taylor]: Taking taylor expansion of y in x
0.343 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 3) in x
0.343 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x
0.343 * [taylor]: Taking taylor expansion of 200.0 in x
0.343 * [taylor]: Taking taylor expansion of 200.0 in y
0.343 * [taylor]: Taking taylor expansion of (neg (* 200.0 (/ 1 y))) in y
0.343 * [taylor]: Taking taylor expansion of (* 200.0 (/ 1 y)) in y
0.343 * [taylor]: Taking taylor expansion of 200.0 in y
0.343 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.343 * [taylor]: Taking taylor expansion of y in y
0.344 * [taylor]: Taking taylor expansion of 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 (* (pow (cbrt 200.0) 3) (- (/ 1 y) (/ 1 x))) in (x y) around 0
0.345 * [taylor]: Taking taylor expansion of (* (pow (cbrt 200.0) 3) (- (/ 1 y) (/ 1 x))) in y
0.345 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 3) in y
0.345 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y
0.345 * [taylor]: Taking taylor expansion of 200.0 in y
0.345 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
0.345 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.346 * [taylor]: Taking taylor expansion of y in y
0.346 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.346 * [taylor]: Taking taylor expansion of x in y
0.346 * [taylor]: Taking taylor expansion of (* (pow (cbrt 200.0) 3) (- (/ 1 y) (/ 1 x))) in x
0.346 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 3) in x
0.346 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x
0.346 * [taylor]: Taking taylor expansion of 200.0 in x
0.346 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 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 (/ 1 x) in x
0.346 * [taylor]: Taking taylor expansion of x in x
0.346 * [taylor]: Taking taylor expansion of (* (pow (cbrt 200.0) 3) (- (/ 1 y) (/ 1 x))) in x
0.346 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 3) in x
0.346 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x
0.346 * [taylor]: Taking taylor expansion of 200.0 in x
0.346 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 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 (/ 1 x) in x
0.346 * [taylor]: Taking taylor expansion of x in x
0.346 * [taylor]: Taking taylor expansion of -200.0 in y
0.347 * [taylor]: Taking taylor expansion of (* 200.0 (/ 1 y)) in y
0.347 * [taylor]: Taking taylor expansion of 200.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 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
0.348 * [approximate]: Taking taylor expansion of (* (cbrt 200.0) (- x y)) in (x y) around 0
0.348 * [taylor]: Taking taylor expansion of (* (cbrt 200.0) (- x y)) in y
0.348 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y
0.348 * [taylor]: Taking taylor expansion of 200.0 in y
0.348 * [taylor]: Taking taylor expansion of (- x y) in y
0.349 * [taylor]: Taking taylor expansion of x in y
0.349 * [taylor]: Taking taylor expansion of y in y
0.349 * [taylor]: Taking taylor expansion of (* (cbrt 200.0) (- x y)) in x
0.349 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x
0.349 * [taylor]: Taking taylor expansion of 200.0 in x
0.349 * [taylor]: Taking taylor expansion of (- x y) in x
0.349 * [taylor]: Taking taylor expansion of x in x
0.349 * [taylor]: Taking taylor expansion of y in x
0.349 * [taylor]: Taking taylor expansion of (* (cbrt 200.0) (- x y)) in x
0.349 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x
0.349 * [taylor]: Taking taylor expansion of 200.0 in x
0.349 * [taylor]: Taking taylor expansion of (- x y) in x
0.349 * [taylor]: Taking taylor expansion of x in x
0.349 * [taylor]: Taking taylor expansion of y in x
0.349 * [taylor]: Taking taylor expansion of (* -1 (* y (cbrt 200.0))) in y
0.349 * [taylor]: Taking taylor expansion of -1 in y
0.349 * [taylor]: Taking taylor expansion of (* y (cbrt 200.0)) in y
0.349 * [taylor]: Taking taylor expansion of y in y
0.349 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y
0.349 * [taylor]: Taking taylor expansion of 200.0 in y
0.349 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y
0.349 * [taylor]: Taking taylor expansion of 200.0 in y
0.349 * [taylor]: Taking taylor expansion of 0 in y
0.350 * [taylor]: Taking taylor expansion of 0 in y
0.350 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (cbrt 200.0)) in (x y) around 0
0.350 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (cbrt 200.0)) in y
0.350 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
0.350 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.350 * [taylor]: Taking taylor expansion of x 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 (cbrt 200.0) in y
0.350 * [taylor]: Taking taylor expansion of 200.0 in y
0.350 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (cbrt 200.0)) in x
0.350 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.350 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.350 * [taylor]: Taking taylor expansion of x in x
0.350 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.350 * [taylor]: Taking taylor expansion of y in x
0.350 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x
0.350 * [taylor]: Taking taylor expansion of 200.0 in x
0.350 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (cbrt 200.0)) in x
0.350 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.350 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.350 * [taylor]: Taking taylor expansion of x in x
0.350 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.350 * [taylor]: Taking taylor expansion of y in x
0.350 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x
0.350 * [taylor]: Taking taylor expansion of 200.0 in x
0.351 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y
0.351 * [taylor]: Taking taylor expansion of 200.0 in y
0.351 * [taylor]: Taking taylor expansion of (neg (/ (cbrt 200.0) y)) in y
0.351 * [taylor]: Taking taylor expansion of (/ (cbrt 200.0) y) in y
0.351 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y
0.351 * [taylor]: Taking taylor expansion of 200.0 in y
0.351 * [taylor]: Taking taylor expansion of y in y
0.351 * [taylor]: Taking taylor expansion of 0 in y
0.351 * [taylor]: Taking taylor expansion of 0 in y
0.352 * [taylor]: Taking taylor expansion of 0 in y
0.352 * [approximate]: Taking taylor expansion of (* (cbrt 200.0) (- (/ 1 y) (/ 1 x))) in (x y) around 0
0.352 * [taylor]: Taking taylor expansion of (* (cbrt 200.0) (- (/ 1 y) (/ 1 x))) in y
0.352 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y
0.352 * [taylor]: Taking taylor expansion of 200.0 in y
0.352 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
0.352 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.352 * [taylor]: Taking taylor expansion of y in y
0.352 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.352 * [taylor]: Taking taylor expansion of x in y
0.352 * [taylor]: Taking taylor expansion of (* (cbrt 200.0) (- (/ 1 y) (/ 1 x))) in x
0.352 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x
0.352 * [taylor]: Taking taylor expansion of 200.0 in x
0.352 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.352 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.352 * [taylor]: Taking taylor expansion of y in x
0.353 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.353 * [taylor]: Taking taylor expansion of x in x
0.353 * [taylor]: Taking taylor expansion of (* (cbrt 200.0) (- (/ 1 y) (/ 1 x))) in x
0.353 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x
0.353 * [taylor]: Taking taylor expansion of 200.0 in x
0.353 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.353 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.353 * [taylor]: Taking taylor expansion of y in x
0.353 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.353 * [taylor]: Taking taylor expansion of x in x
0.353 * [taylor]: Taking taylor expansion of (* -1 (cbrt 200.0)) in y
0.353 * [taylor]: Taking taylor expansion of -1 in y
0.353 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y
0.353 * [taylor]: Taking taylor expansion of 200.0 in y
0.353 * [taylor]: Taking taylor expansion of (/ (cbrt 200.0) y) in y
0.353 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y
0.353 * [taylor]: Taking taylor expansion of 200.0 in y
0.353 * [taylor]: Taking taylor expansion of y in y
0.353 * [taylor]: Taking taylor expansion of 0 in y
0.354 * [taylor]: Taking taylor expansion of 0 in y
0.354 * [taylor]: Taking taylor expansion of 0 in y
0.354 * * * [progress]: simplifying candidates
0.355 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (* (cbrt 200.0) (cbrt 200.0)) (* (- x y) (cbrt 200.0)))
  (* (* (cbrt 200.0) (cbrt 200.0)) (* (- x y) (cbrt 200.0)))
  (* (* (cbrt 200.0) (cbrt 200.0)) (* (- x y) (cbrt 200.0)))
  (* (* (cbrt 200.0) (cbrt 200.0)) (* (- x y) (cbrt 200.0)))
  (+ (+ (log (cbrt 200.0)) (log (cbrt 200.0))) (+ (log (- x y)) (log (cbrt 200.0))))
  (+ (+ (log (cbrt 200.0)) (log (cbrt 200.0))) (log (* (- x y) (cbrt 200.0))))
  (+ (log (* (cbrt 200.0) (cbrt 200.0))) (+ (log (- x y)) (log (cbrt 200.0))))
  (+ (log (* (cbrt 200.0) (cbrt 200.0))) (log (* (- x y) (cbrt 200.0))))
  (log (* (* (cbrt 200.0) (cbrt 200.0)) (* (- x y) (cbrt 200.0))))
  (exp (* (* (cbrt 200.0) (cbrt 200.0)) (* (- x y) (cbrt 200.0))))
  (* (* 200.0 200.0) (* (* (* (- x y) (- x y)) (- x y)) 200.0))
  (* (* 200.0 200.0) (* (* (* (- x y) (cbrt 200.0)) (* (- x y) (cbrt 200.0))) (* (- x y) (cbrt 200.0))))
  (* (* (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (cbrt 200.0))) (* (cbrt 200.0) (cbrt 200.0))) (* (* (* (- x y) (- x y)) (- x y)) 200.0))
  (* (* (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (cbrt 200.0))) (* (cbrt 200.0) (cbrt 200.0))) (* (* (* (- x y) (cbrt 200.0)) (* (- x y) (cbrt 200.0))) (* (- x y) (cbrt 200.0))))
  (* (cbrt (* (* (cbrt 200.0) (cbrt 200.0)) (* (- x y) (cbrt 200.0)))) (cbrt (* (* (cbrt 200.0) (cbrt 200.0)) (* (- x y) (cbrt 200.0)))))
  (cbrt (* (* (cbrt 200.0) (cbrt 200.0)) (* (- x y) (cbrt 200.0))))
  (* (* (* (* (cbrt 200.0) (cbrt 200.0)) (* (- x y) (cbrt 200.0))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (- x y) (cbrt 200.0)))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (- x y) (cbrt 200.0))))
  (sqrt (* (* (cbrt 200.0) (cbrt 200.0)) (* (- x y) (cbrt 200.0))))
  (sqrt (* (* (cbrt 200.0) (cbrt 200.0)) (* (- x y) (cbrt 200.0))))
  (* (* (cbrt 200.0) (cbrt 200.0)) (- x y))
  (* (cbrt 200.0) (* (- x y) (cbrt 200.0)))
  (* (* (cbrt 200.0) (cbrt 200.0)) (* (- (pow x 3) (pow y 3)) (cbrt 200.0)))
  (* (* (cbrt 200.0) (cbrt 200.0)) (* (- (* x x) (* y y)) (cbrt 200.0)))
  (* (- x y) (cbrt 200.0))
  (+ (log (- x y)) (log (cbrt 200.0)))
  (log (* (- x y) (cbrt 200.0)))
  (exp (* (- x y) (cbrt 200.0)))
  (* (* (* (- x y) (- x y)) (- x y)) 200.0)
  (* (cbrt (* (- x y) (cbrt 200.0))) (cbrt (* (- x y) (cbrt 200.0))))
  (cbrt (* (- x y) (cbrt 200.0)))
  (* (* (* (- x y) (cbrt 200.0)) (* (- x y) (cbrt 200.0))) (* (- x y) (cbrt 200.0)))
  (sqrt (* (- x y) (cbrt 200.0)))
  (sqrt (* (- x y) (cbrt 200.0)))
  (* (sqrt (- x y)) (cbrt (sqrt 200.0)))
  (* (sqrt (- x y)) (cbrt (sqrt 200.0)))
  (* (sqrt (- x y)) (sqrt (cbrt 200.0)))
  (* (sqrt (- x y)) (sqrt (cbrt 200.0)))
  (* (- x y) (cbrt (* (cbrt 200.0) (cbrt 200.0))))
  (* (- x y) (cbrt (sqrt 200.0)))
  (* (- x y) (cbrt 1))
  (* (- x y) (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0))))
  (* (- x y) (sqrt (cbrt 200.0)))
  (* (- x y) 1)
  (* (cbrt (- x y)) (cbrt 200.0))
  (* (sqrt (- x y)) (cbrt 200.0))
  (* (- x y) (cbrt 200.0))
  (* (- (sqrt x) (sqrt y)) (cbrt 200.0))
  (* (- x y) (cbrt 200.0))
  (* (- (pow x 3) (pow y 3)) (cbrt 200.0))
  (* (- (* x x) (* y y)) (cbrt 200.0))
  (- (* 200.0 x) (* 200.0 y))
  (- (* 200.0 x) (* 200.0 y))
  (- (* 200.0 x) (* 200.0 y))
  (- (* x (cbrt 200.0)) (* y (cbrt 200.0)))
  (- (* x (cbrt 200.0)) (* y (cbrt 200.0)))
  (- (* x (cbrt 200.0)) (* y (cbrt 200.0)))
0.385 * * [simplify]: iteration  0 :  5454  enodes  (cost  395 )
0.387 * [simplify]: Simplified to:
   (* 200.0 (- x y))
  (* 200.0 (- x y))
  (* 200.0 (- x y))
  (* 200.0 (- x y))
  (log (* 200.0 (- x y)))
  (log (* 200.0 (- x y)))
  (log (* 200.0 (- x y)))
  (log (* 200.0 (- x y)))
  (log (* 200.0 (- x y)))
  (pow (exp (- x y)) 200.0)
  (pow (* 200.0 (- x y)) 3)
  (pow (* 200.0 (- x y)) 3)
  (pow (* 200.0 (- x y)) 3)
  (pow (* 200.0 (- x y)) 3)
  (* (cbrt (* 200.0 (- x y))) (cbrt (* 200.0 (- x y))))
  (cbrt (* 200.0 (- x y)))
  (pow (* 200.0 (- x y)) 3)
  (sqrt (* 200.0 (- x y)))
  (sqrt (* 200.0 (- x y)))
  (* (pow (cbrt 200.0) 2) (- x y))
  (* (pow (cbrt 200.0) 2) (- x y))
  (* 200.0 (- (pow x 3) (pow y 3)))
  (* 200.0 (- (* x x) (* y y)))
  (* (cbrt 200.0) (- x y))
  (log (* (cbrt 200.0) (- x y)))
  (log (* (cbrt 200.0) (- x y)))
  (pow (exp (- x y)) (cbrt 200.0))
  (* 200.0 (pow (- x y) 3))
  (* (cbrt (* (cbrt 200.0) (- x y))) (cbrt (* (cbrt 200.0) (- x y))))
  (cbrt (* (cbrt 200.0) (- x y)))
  (* 200.0 (pow (- x y) 3))
  (sqrt (* (cbrt 200.0) (- x y)))
  (sqrt (* (cbrt 200.0) (- x y)))
  (* (sqrt (- x y)) (cbrt (sqrt 200.0)))
  (* (sqrt (- x y)) (cbrt (sqrt 200.0)))
  (* (sqrt (- x y)) (sqrt (cbrt 200.0)))
  (* (sqrt (- x y)) (sqrt (cbrt 200.0)))
  (* (- x y) (cbrt (pow (cbrt 200.0) 2)))
  (* (- x y) (cbrt (sqrt 200.0)))
  (* (- x y) (cbrt 1))
  (* (- x y) (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0))))
  (* (- x y) (sqrt (cbrt 200.0)))
  (- x y)
  (* (cbrt 200.0) (cbrt (- x y)))
  (* (cbrt 200.0) (sqrt (- x y)))
  (* (cbrt 200.0) (- x y))
  (* (cbrt 200.0) (- (sqrt x) (sqrt y)))
  (* (cbrt 200.0) (- x y))
  (* (cbrt 200.0) (- (pow x 3) (pow y 3)))
  (* (cbrt 200.0) (- (* x x) (* y y)))
  (* 200.0 (- x y))
  (* 200.0 (- x y))
  (* 200.0 (- x y))
  (* (cbrt 200.0) (- x y))
  (* (cbrt 200.0) (- x y))
  (* (cbrt 200.0) (- x y))
0.387 * * * [progress]: adding candidates to table
0.454 * * [progress]: iteration 4 / 4
0.454 * * * [progress]: picking best candidate
0.463 * * * * [pick]: Picked  #<alt (λ (x y) (* (* (pow (cbrt 200.0) 2) (- x y)) (cbrt 200.0)))>
0.463 * * * [progress]: localizing error
0.471 * * * [progress]: generating rewritten candidates
0.471 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
0.480 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.493 * * * [progress]: generating series expansions
0.493 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
0.493 * [approximate]: Taking taylor expansion of (* (pow (cbrt 200.0) 2) (- x y)) in (x y) around 0
0.494 * [taylor]: Taking taylor expansion of (* (pow (cbrt 200.0) 2) (- x y)) in y
0.494 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 2) in y
0.494 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y
0.494 * [taylor]: Taking taylor expansion of 200.0 in y
0.494 * [taylor]: Taking taylor expansion of (- x y) in y
0.494 * [taylor]: Taking taylor expansion of x in y
0.494 * [taylor]: Taking taylor expansion of y in y
0.494 * [taylor]: Taking taylor expansion of (* (pow (cbrt 200.0) 2) (- x y)) in x
0.494 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 2) in x
0.494 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x
0.494 * [taylor]: Taking taylor expansion of 200.0 in x
0.494 * [taylor]: Taking taylor expansion of (- x y) in x
0.494 * [taylor]: Taking taylor expansion of x in x
0.494 * [taylor]: Taking taylor expansion of y in x
0.494 * [taylor]: Taking taylor expansion of (* (pow (cbrt 200.0) 2) (- x y)) in x
0.494 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 2) in x
0.494 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x
0.494 * [taylor]: Taking taylor expansion of 200.0 in x
0.494 * [taylor]: Taking taylor expansion of (- x y) in x
0.494 * [taylor]: Taking taylor expansion of x in x
0.494 * [taylor]: Taking taylor expansion of y in x
0.494 * [taylor]: Taking taylor expansion of (* -1 (* y (pow (cbrt 200.0) 2))) in y
0.494 * [taylor]: Taking taylor expansion of -1 in y
0.494 * [taylor]: Taking taylor expansion of (* y (pow (cbrt 200.0) 2)) in y
0.494 * [taylor]: Taking taylor expansion of y in y
0.494 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 2) in y
0.494 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y
0.494 * [taylor]: Taking taylor expansion of 200.0 in y
0.495 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 2) in y
0.495 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y
0.495 * [taylor]: Taking taylor expansion of 200.0 in y
0.495 * [taylor]: Taking taylor expansion of 0 in y
0.496 * [taylor]: Taking taylor expansion of 0 in y
0.497 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 200.0) 2)) in (x y) around 0
0.497 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 200.0) 2)) in y
0.497 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
0.497 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.497 * [taylor]: Taking taylor expansion of x in y
0.497 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.497 * [taylor]: Taking taylor expansion of y in y
0.497 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 2) in y
0.497 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y
0.497 * [taylor]: Taking taylor expansion of 200.0 in y
0.497 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 200.0) 2)) in x
0.497 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.497 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.497 * [taylor]: Taking taylor expansion of x in x
0.497 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.497 * [taylor]: Taking taylor expansion of y in x
0.497 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 2) in x
0.497 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x
0.497 * [taylor]: Taking taylor expansion of 200.0 in x
0.497 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 200.0) 2)) in x
0.497 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.497 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.497 * [taylor]: Taking taylor expansion of x in x
0.497 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.497 * [taylor]: Taking taylor expansion of y in x
0.497 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 2) in x
0.497 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x
0.497 * [taylor]: Taking taylor expansion of 200.0 in x
0.497 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 2) in y
0.497 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y
0.497 * [taylor]: Taking taylor expansion of 200.0 in y
0.498 * [taylor]: Taking taylor expansion of (neg (/ (pow (cbrt 200.0) 2) y)) in y
0.498 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 200.0) 2) y) in y
0.498 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 2) in y
0.498 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y
0.498 * [taylor]: Taking taylor expansion of 200.0 in y
0.498 * [taylor]: Taking taylor expansion of y in y
0.499 * [taylor]: Taking taylor expansion of 0 in y
0.499 * [taylor]: Taking taylor expansion of 0 in y
0.500 * [taylor]: Taking taylor expansion of 0 in y
0.500 * [approximate]: Taking taylor expansion of (* (pow (cbrt 200.0) 2) (- (/ 1 y) (/ 1 x))) in (x y) around 0
0.500 * [taylor]: Taking taylor expansion of (* (pow (cbrt 200.0) 2) (- (/ 1 y) (/ 1 x))) in y
0.500 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 2) in y
0.500 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y
0.500 * [taylor]: Taking taylor expansion of 200.0 in y
0.500 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
0.501 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.501 * [taylor]: Taking taylor expansion of y in y
0.501 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.501 * [taylor]: Taking taylor expansion of x in y
0.501 * [taylor]: Taking taylor expansion of (* (pow (cbrt 200.0) 2) (- (/ 1 y) (/ 1 x))) in x
0.501 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 2) in x
0.501 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x
0.501 * [taylor]: Taking taylor expansion of 200.0 in x
0.501 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.501 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.501 * [taylor]: Taking taylor expansion of y in x
0.501 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.501 * [taylor]: Taking taylor expansion of x in x
0.501 * [taylor]: Taking taylor expansion of (* (pow (cbrt 200.0) 2) (- (/ 1 y) (/ 1 x))) in x
0.501 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 2) in x
0.501 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x
0.501 * [taylor]: Taking taylor expansion of 200.0 in x
0.501 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.501 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.501 * [taylor]: Taking taylor expansion of y in x
0.501 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.501 * [taylor]: Taking taylor expansion of x in x
0.501 * [taylor]: Taking taylor expansion of (* -1 (pow (cbrt 200.0) 2)) in y
0.501 * [taylor]: Taking taylor expansion of -1 in y
0.501 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 2) in y
0.501 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y
0.501 * [taylor]: Taking taylor expansion of 200.0 in y
0.502 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 200.0) 2) y) in y
0.502 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 2) in y
0.502 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y
0.502 * [taylor]: Taking taylor expansion of 200.0 in y
0.502 * [taylor]: Taking taylor expansion of y in y
0.502 * [taylor]: Taking taylor expansion of 0 in y
0.503 * [taylor]: Taking taylor expansion of 0 in y
0.504 * [taylor]: Taking taylor expansion of 0 in y
0.504 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.504 * [approximate]: Taking taylor expansion of (* (pow (cbrt 200.0) 3) (- x y)) in (x y) around 0
0.504 * [taylor]: Taking taylor expansion of (* (pow (cbrt 200.0) 3) (- x y)) in y
0.504 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 3) in y
0.504 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y
0.504 * [taylor]: Taking taylor expansion of 200.0 in y
0.504 * [taylor]: Taking taylor expansion of (- x y) in y
0.504 * [taylor]: Taking taylor expansion of x in y
0.504 * [taylor]: Taking taylor expansion of y in y
0.504 * [taylor]: Taking taylor expansion of (* (pow (cbrt 200.0) 3) (- x y)) in x
0.505 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 3) in x
0.505 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x
0.505 * [taylor]: Taking taylor expansion of 200.0 in x
0.505 * [taylor]: Taking taylor expansion of (- x y) in x
0.505 * [taylor]: Taking taylor expansion of x in x
0.505 * [taylor]: Taking taylor expansion of y in x
0.505 * [taylor]: Taking taylor expansion of (* (pow (cbrt 200.0) 3) (- x y)) in x
0.505 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 3) in x
0.505 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x
0.505 * [taylor]: Taking taylor expansion of 200.0 in x
0.505 * [taylor]: Taking taylor expansion of (- x y) in x
0.505 * [taylor]: Taking taylor expansion of x in x
0.505 * [taylor]: Taking taylor expansion of y in x
0.505 * [taylor]: Taking taylor expansion of (* -200.0 y) in y
0.505 * [taylor]: Taking taylor expansion of -200.0 in y
0.505 * [taylor]: Taking taylor expansion of y in y
0.505 * [taylor]: Taking taylor expansion of 200.0 in y
0.506 * [taylor]: Taking taylor expansion of 0 in y
0.506 * [taylor]: Taking taylor expansion of 0 in y
0.506 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 200.0) 3)) in (x y) around 0
0.506 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 200.0) 3)) in y
0.506 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
0.506 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.506 * [taylor]: Taking taylor expansion of x in y
0.507 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.507 * [taylor]: Taking taylor expansion of y in y
0.507 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 3) in y
0.507 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y
0.507 * [taylor]: Taking taylor expansion of 200.0 in y
0.507 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 200.0) 3)) in x
0.507 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.507 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.507 * [taylor]: Taking taylor expansion of x in x
0.507 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.507 * [taylor]: Taking taylor expansion of y in x
0.507 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 3) in x
0.507 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x
0.507 * [taylor]: Taking taylor expansion of 200.0 in x
0.507 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 200.0) 3)) in x
0.507 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.507 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.507 * [taylor]: Taking taylor expansion of x in x
0.507 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.507 * [taylor]: Taking taylor expansion of y in x
0.507 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 3) in x
0.507 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x
0.507 * [taylor]: Taking taylor expansion of 200.0 in x
0.507 * [taylor]: Taking taylor expansion of 200.0 in y
0.508 * [taylor]: Taking taylor expansion of (neg (* 200.0 (/ 1 y))) in y
0.508 * [taylor]: Taking taylor expansion of (* 200.0 (/ 1 y)) in y
0.508 * [taylor]: Taking taylor expansion of 200.0 in y
0.508 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.508 * [taylor]: Taking taylor expansion of y in y
0.508 * [taylor]: Taking taylor expansion of 0 in y
0.509 * [taylor]: Taking taylor expansion of 0 in y
0.509 * [taylor]: Taking taylor expansion of 0 in y
0.510 * [approximate]: Taking taylor expansion of (* (pow (cbrt 200.0) 3) (- (/ 1 y) (/ 1 x))) in (x y) around 0
0.510 * [taylor]: Taking taylor expansion of (* (pow (cbrt 200.0) 3) (- (/ 1 y) (/ 1 x))) in y
0.510 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 3) in y
0.510 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y
0.510 * [taylor]: Taking taylor expansion of 200.0 in y
0.510 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
0.510 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.510 * [taylor]: Taking taylor expansion of y in y
0.510 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.510 * [taylor]: Taking taylor expansion of x in y
0.510 * [taylor]: Taking taylor expansion of (* (pow (cbrt 200.0) 3) (- (/ 1 y) (/ 1 x))) in x
0.510 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 3) in x
0.510 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x
0.510 * [taylor]: Taking taylor expansion of 200.0 in x
0.510 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.510 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.510 * [taylor]: Taking taylor expansion of y in x
0.510 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.510 * [taylor]: Taking taylor expansion of x in x
0.510 * [taylor]: Taking taylor expansion of (* (pow (cbrt 200.0) 3) (- (/ 1 y) (/ 1 x))) in x
0.510 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 3) in x
0.510 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x
0.510 * [taylor]: Taking taylor expansion of 200.0 in x
0.510 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.510 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.510 * [taylor]: Taking taylor expansion of y in x
0.510 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.510 * [taylor]: Taking taylor expansion of x in x
0.511 * [taylor]: Taking taylor expansion of -200.0 in y
0.511 * [taylor]: Taking taylor expansion of (* 200.0 (/ 1 y)) in y
0.511 * [taylor]: Taking taylor expansion of 200.0 in y
0.511 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.511 * [taylor]: Taking taylor expansion of y in y
0.511 * [taylor]: Taking taylor expansion of 0 in y
0.512 * [taylor]: Taking taylor expansion of 0 in y
0.512 * [taylor]: Taking taylor expansion of 0 in y
0.513 * * * [progress]: simplifying candidates
0.513 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (* (log (cbrt 200.0)) 2) (log (- x y)))
  (+ (* (log (cbrt 200.0)) 2) (log (- x y)))
  (+ (log (pow (cbrt 200.0) 2)) (log (- x y)))
  (log (* (pow (cbrt 200.0) 2) (- x y)))
  (exp (* (pow (cbrt 200.0) 2) (- x y)))
  (* (* (* (pow (cbrt 200.0) 2) (pow (cbrt 200.0) 2)) (pow (cbrt 200.0) 2)) (* (* (- x y) (- x y)) (- x y)))
  (* (cbrt (* (pow (cbrt 200.0) 2) (- x y))) (cbrt (* (pow (cbrt 200.0) 2) (- x y))))
  (cbrt (* (pow (cbrt 200.0) 2) (- x y)))
  (* (* (* (pow (cbrt 200.0) 2) (- x y)) (* (pow (cbrt 200.0) 2) (- x y))) (* (pow (cbrt 200.0) 2) (- x y)))
  (sqrt (* (pow (cbrt 200.0) 2) (- x y)))
  (sqrt (* (pow (cbrt 200.0) 2) (- x y)))
  (* (pow (cbrt (sqrt 200.0)) 2) (sqrt (- x y)))
  (* (pow (cbrt (sqrt 200.0)) 2) (sqrt (- x y)))
  (* (pow (sqrt (cbrt 200.0)) 2) (sqrt (- x y)))
  (* (pow (sqrt (cbrt 200.0)) 2) (sqrt (- x y)))
  (* (cbrt 200.0) (sqrt (- x y)))
  (* (cbrt 200.0) (sqrt (- x y)))
  (* (sqrt (pow (cbrt 200.0) 2)) (sqrt (- x y)))
  (* (sqrt (pow (cbrt 200.0) 2)) (sqrt (- x y)))
  (* (pow (cbrt 200.0) (/ 2 2)) (sqrt (- x y)))
  (* (pow (cbrt 200.0) (/ 2 2)) (sqrt (- x y)))
  (* (pow (cbrt 200.0) 2) x)
  (* (pow (cbrt 200.0) 2) (neg y))
  (* x (pow (cbrt 200.0) 2))
  (* (neg y) (pow (cbrt 200.0) 2))
  (* (pow (cbrt 200.0) 2) (* (cbrt (- x y)) (cbrt (- x y))))
  (* (pow (cbrt 200.0) 2) (sqrt (- x y)))
  (* (pow (cbrt 200.0) 2) 1)
  (* (pow (cbrt 200.0) 2) (+ (sqrt x) (sqrt y)))
  (* (pow (cbrt 200.0) 2) 1)
  (* (pow (cbrt (cbrt 200.0)) 2) (- x y))
  (* (pow (cbrt (sqrt 200.0)) 2) (- x y))
  (* (pow (cbrt 200.0) 2) (- x y))
  (* (pow (cbrt (cbrt 200.0)) 2) (- x y))
  (* (pow (sqrt (cbrt 200.0)) 2) (- x y))
  (* (pow (cbrt 200.0) 2) (- x y))
  (* (cbrt 200.0) (- x y))
  (* (cbrt (pow (cbrt 200.0) 2)) (- x y))
  (* (sqrt (pow (cbrt 200.0) 2)) (- x y))
  (* (pow (cbrt 200.0) 2) (- x y))
  (* (pow (cbrt 200.0) (/ 2 2)) (- x y))
  (* (pow (cbrt 200.0) 2) (- (pow x 3) (pow y 3)))
  (* (pow (cbrt 200.0) 2) (- (* x x) (* y y)))
  (* (* (pow (cbrt 200.0) 2) (- x y)) (cbrt 200.0))
  (+ (+ (* (log (cbrt 200.0)) 2) (log (- x y))) (log (cbrt 200.0)))
  (+ (+ (* (log (cbrt 200.0)) 2) (log (- x y))) (log (cbrt 200.0)))
  (+ (+ (log (pow (cbrt 200.0) 2)) (log (- x y))) (log (cbrt 200.0)))
  (+ (log (* (pow (cbrt 200.0) 2) (- x y))) (log (cbrt 200.0)))
  (log (* (* (pow (cbrt 200.0) 2) (- x y)) (cbrt 200.0)))
  (exp (* (* (pow (cbrt 200.0) 2) (- x y)) (cbrt 200.0)))
  (* (* (* (* (pow (cbrt 200.0) 2) (pow (cbrt 200.0) 2)) (pow (cbrt 200.0) 2)) (* (* (- x y) (- x y)) (- x y))) 200.0)
  (* (* (* (* (pow (cbrt 200.0) 2) (- x y)) (* (pow (cbrt 200.0) 2) (- x y))) (* (pow (cbrt 200.0) 2) (- x y))) 200.0)
  (* (cbrt (* (* (pow (cbrt 200.0) 2) (- x y)) (cbrt 200.0))) (cbrt (* (* (pow (cbrt 200.0) 2) (- x y)) (cbrt 200.0))))
  (cbrt (* (* (pow (cbrt 200.0) 2) (- x y)) (cbrt 200.0)))
  (* (* (* (* (pow (cbrt 200.0) 2) (- x y)) (cbrt 200.0)) (* (* (pow (cbrt 200.0) 2) (- x y)) (cbrt 200.0))) (* (* (pow (cbrt 200.0) 2) (- x y)) (cbrt 200.0)))
  (sqrt (* (* (pow (cbrt 200.0) 2) (- x y)) (cbrt 200.0)))
  (sqrt (* (* (pow (cbrt 200.0) 2) (- x y)) (cbrt 200.0)))
  (* (* (pow (cbrt 200.0) 2) (- x y)) (cbrt (* (cbrt 200.0) (cbrt 200.0))))
  (* (* (pow (cbrt 200.0) 2) (- x y)) (cbrt (sqrt 200.0)))
  (* (* (pow (cbrt 200.0) 2) (- x y)) (cbrt 1))
  (* (* (pow (cbrt 200.0) 2) (- x y)) (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0))))
  (* (* (pow (cbrt 200.0) 2) (- x y)) (sqrt (cbrt 200.0)))
  (* (* (pow (cbrt 200.0) 2) (- x y)) 1)
  (* (- x y) (cbrt 200.0))
  (* (* (pow (cbrt 200.0) 2) (- (pow x 3) (pow y 3))) (cbrt 200.0))
  (* (* (pow (cbrt 200.0) 2) (- (* x x) (* y y))) (cbrt 200.0))
  (- (* x (pow (cbrt 200.0) 2)) (* y (pow (cbrt 200.0) 2)))
  (- (* x (pow (cbrt 200.0) 2)) (* y (pow (cbrt 200.0) 2)))
  (- (* x (pow (cbrt 200.0) 2)) (* y (pow (cbrt 200.0) 2)))
  (- (* 200.0 x) (* 200.0 y))
  (- (* 200.0 x) (* 200.0 y))
  (- (* 200.0 x) (* 200.0 y))
0.551 * * [simplify]: iteration  0 :  4967  enodes  (cost  587 )
0.552 * * [simplify]: iteration  1 :  4967  enodes  (cost  587 )
0.554 * [simplify]: Simplified to:
   (log (* (- x y) (pow (cbrt 200.0) 2)))
  (log (* (- x y) (pow (cbrt 200.0) 2)))
  (log (* (- x y) (pow (cbrt 200.0) 2)))
  (log (* (- x y) (pow (cbrt 200.0) 2)))
  (pow (exp (pow (cbrt 200.0) 2)) (- x y))
  (* 200.0 (* 200.0 (pow (- x y) 3)))
  (* (cbrt (* (- x y) (pow (cbrt 200.0) 2))) (cbrt (* (- x y) (pow (cbrt 200.0) 2))))
  (cbrt (* (- x y) (pow (cbrt 200.0) 2)))
  (* 200.0 (* 200.0 (pow (- x y) 3)))
  (sqrt (* (- x y) (pow (cbrt 200.0) 2)))
  (sqrt (* (- x y) (pow (cbrt 200.0) 2)))
  (* (pow (cbrt (sqrt 200.0)) 2) (sqrt (- x y)))
  (* (pow (cbrt (sqrt 200.0)) 2) (sqrt (- x y)))
  (* (cbrt 200.0) (sqrt (- x y)))
  (* (cbrt 200.0) (sqrt (- x y)))
  (* (cbrt 200.0) (sqrt (- x y)))
  (* (cbrt 200.0) (sqrt (- x y)))
  (* (sqrt (- x y)) (fabs (cbrt 200.0)))
  (* (sqrt (- x y)) (fabs (cbrt 200.0)))
  (* (cbrt 200.0) (sqrt (- x y)))
  (* (cbrt 200.0) (sqrt (- x y)))
  (* x (pow (cbrt 200.0) 2))
  (* y (neg (pow (cbrt 200.0) 2)))
  (* x (pow (cbrt 200.0) 2))
  (* y (neg (pow (cbrt 200.0) 2)))
  (* (pow (cbrt 200.0) 2) (* (cbrt (- x y)) (cbrt (- x y))))
  (* (pow (cbrt 200.0) 2) (sqrt (- x y)))
  (pow (cbrt 200.0) 2)
  (* (pow (cbrt 200.0) 2) (+ (sqrt x) (sqrt y)))
  (pow (cbrt 200.0) 2)
  (* (- x y) (pow (cbrt (cbrt 200.0)) 2))
  (* (- x y) (pow (cbrt (sqrt 200.0)) 2))
  (* (- x y) (pow (cbrt 200.0) 2))
  (* (- x y) (pow (cbrt (cbrt 200.0)) 2))
  (* (cbrt 200.0) (- x y))
  (* (- x y) (pow (cbrt 200.0) 2))
  (* (cbrt 200.0) (- x y))
  (* (- x y) (cbrt (pow (cbrt 200.0) 2)))
  (* (- x y) (fabs (cbrt 200.0)))
  (* (- x y) (pow (cbrt 200.0) 2))
  (* (cbrt 200.0) (- x y))
  (* (pow (cbrt 200.0) 2) (- (pow x 3) (pow y 3)))
  (* (- x y) (* (pow (cbrt 200.0) 2) (+ x y)))
  (* 200.0 (- x y))
  (log (* 200.0 (- x y)))
  (log (* 200.0 (- x y)))
  (log (* 200.0 (- x y)))
  (log (* 200.0 (- x y)))
  (log (* 200.0 (- x y)))
  (pow (exp (- x y)) 200.0)
  (pow (* 200.0 (- x y)) 3)
  (pow (* 200.0 (- x y)) 3)
  (* (cbrt (* 200.0 (- x y))) (cbrt (* 200.0 (- x y))))
  (cbrt (* 200.0 (- x y)))
  (pow (* 200.0 (- x y)) 3)
  (sqrt (* 200.0 (- x y)))
  (sqrt (* 200.0 (- x y)))
  (* (- x y) (* (pow (cbrt 200.0) 2) (cbrt (pow (cbrt 200.0) 2))))
  (* (- x y) (* (pow (cbrt 200.0) 2) (cbrt (sqrt 200.0))))
  (* (- x y) (* (pow (cbrt 200.0) 2) (cbrt 1)))
  (* (- x y) (* (pow (cbrt 200.0) 2) (pow (cbrt (cbrt 200.0)) 2)))
  (* (- x y) (pow (sqrt (cbrt 200.0)) 5))
  (* (- x y) (pow (cbrt 200.0) 2))
  (* (cbrt 200.0) (- x y))
  (* 200.0 (- (pow x 3) (pow y 3)))
  (* 200.0 (- (* x x) (* y y)))
  (* (- x y) (pow (cbrt 200.0) 2))
  (* (- x y) (pow (cbrt 200.0) 2))
  (* (- x y) (pow (cbrt 200.0) 2))
  (* 200.0 (- x y))
  (* 200.0 (- x y))
  (* 200.0 (- x y))
0.554 * * * [progress]: adding candidates to table
0.643 * [progress]: [Phase 3 of 3] Extracting.
0.643 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (* (* (cbrt 200.0) (cbrt 200.0)) (* (- x y) (cbrt 200.0))))> #<alt (λ (x y) (* (sqrt 200.0) (* (- x y) (sqrt 200.0))))> #<alt (λ (x y) (* (* (pow (cbrt 200.0) 2) (- x y)) (cbrt 200.0)))> #<alt (λ (x y) (+ (* 200.0 x) (* 200.0 (neg y))))> #<alt (λ (x y) (* (* (cbrt (* 200.0 (- x y))) (cbrt (* 200.0 (- x y)))) (cbrt (* 200.0 (- x y)))))>)
0.644 * * * [regime-changes]: Trying 4 branch expressions: ((- x y) (* 200.0 (- x y)) y x)
0.644 * * * * [regimes]: Trying to branch on (- x y) from (#<alt (λ (x y) (* (* (cbrt 200.0) (cbrt 200.0)) (* (- x y) (cbrt 200.0))))> #<alt (λ (x y) (* (sqrt 200.0) (* (- x y) (sqrt 200.0))))> #<alt (λ (x y) (* (* (pow (cbrt 200.0) 2) (- x y)) (cbrt 200.0)))> #<alt (λ (x y) (+ (* 200.0 x) (* 200.0 (neg y))))> #<alt (λ (x y) (* (* (cbrt (* 200.0 (- x y))) (cbrt (* 200.0 (- x y)))) (cbrt (* 200.0 (- x y)))))>)
0.688 * * * * [regimes]: Trying to branch on (- x y) from (#<alt (λ (x y) (* (* (cbrt 200.0) (cbrt 200.0)) (* (- x y) (cbrt 200.0))))> #<alt (λ (x y) (* (sqrt 200.0) (* (- x y) (sqrt 200.0))))> #<alt (λ (x y) (* (* (pow (cbrt 200.0) 2) (- x y)) (cbrt 200.0)))> #<alt (λ (x y) (* (* (cbrt (* 200.0 (- x y))) (cbrt (* 200.0 (- x y)))) (cbrt (* 200.0 (- x y)))))>)
0.728 * * * * [regimes]: Trying to branch on (* 200.0 (- x y)) from (#<alt (λ (x y) (* (* (cbrt 200.0) (cbrt 200.0)) (* (- x y) (cbrt 200.0))))> #<alt (λ (x y) (* (sqrt 200.0) (* (- x y) (sqrt 200.0))))> #<alt (λ (x y) (* (* (pow (cbrt 200.0) 2) (- x y)) (cbrt 200.0)))> #<alt (λ (x y) (+ (* 200.0 x) (* 200.0 (neg y))))> #<alt (λ (x y) (* (* (cbrt (* 200.0 (- x y))) (cbrt (* 200.0 (- x y)))) (cbrt (* 200.0 (- x y)))))>)
0.773 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (* (* (cbrt 200.0) (cbrt 200.0)) (* (- x y) (cbrt 200.0))))> #<alt (λ (x y) (* (sqrt 200.0) (* (- x y) (sqrt 200.0))))> #<alt (λ (x y) (* (* (pow (cbrt 200.0) 2) (- x y)) (cbrt 200.0)))> #<alt (λ (x y) (+ (* 200.0 x) (* 200.0 (neg y))))> #<alt (λ (x y) (* (* (cbrt (* 200.0 (- x y))) (cbrt (* 200.0 (- x y)))) (cbrt (* 200.0 (- x y)))))>)
0.815 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (* (* (cbrt 200.0) (cbrt 200.0)) (* (- x y) (cbrt 200.0))))> #<alt (λ (x y) (* (sqrt 200.0) (* (- x y) (sqrt 200.0))))> #<alt (λ (x y) (* (* (pow (cbrt 200.0) 2) (- x y)) (cbrt 200.0)))> #<alt (λ (x y) (+ (* 200.0 x) (* 200.0 (neg y))))> #<alt (λ (x y) (* (* (cbrt (* 200.0 (- x y))) (cbrt (* 200.0 (- x y)))) (cbrt (* 200.0 (- x y)))))>)
0.858 * * * [regime]: Found split indices: #<option (#s(si 3 256))>
0.858 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (* 200.0 x) (* 200.0 (neg y)))
0.859 * * [simplify]: iteration  0 :  34  enodes  (cost  7 )
0.859 * * [simplify]: iteration  1 :  34  enodes  (cost  7 )
0.859 * [simplify]: Simplified to:
   (- (* 200.0 x) (* 200.0 y))
0.859 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
0.928 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
0.929 * * * * [points]: Setting MPFR precision to 832
0.929 * * * * [points]: Setting MPFR precision to 1088
0.929 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
0.929 * * * * [points]: Setting MPFR precision to 832
0.929 * * * * [points]: Setting MPFR precision to 1088
0.930 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
0.930 * * * * [points]: Setting MPFR precision to 832
0.931 * * * * [points]: Setting MPFR precision to 1088
0.932 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
0.932 * * * * [points]: Setting MPFR precision to 832
0.933 * * * * [points]: Setting MPFR precision to 1088
0.934 * * * * [points]: Setting MPFR precision to 1344
0.935 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
0.936 * * * * [points]: Setting MPFR precision to 1088
0.938 * * * * [points]: Setting MPFR precision to 1344
0.941 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
0.941 * * * * [points]: Setting MPFR precision to 1088
0.946 * * * * [points]: Setting MPFR precision to 1344
0.951 * * * * [points]: Setting MPFR precision to 1600
0.956 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
0.956 * * * * [points]: Setting MPFR precision to 1344
0.969 * * * * [points]: Setting MPFR precision to 1600
0.979 * * * * [points]: Setting MPFR precision to 1856
0.989 * * * * [points]: Setting MPFR precision to 2112
1.000 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
1.000 * * * * [points]: Setting MPFR precision to 1856
1.023 * * * * [points]: Setting MPFR precision to 2112
1.043 * * * * [points]: Computing exacts for 8000 points
1.043 * * * * [points]: Setting MPFR precision to 1856
1.126 * * * * [points]: Setting MPFR precision to 2112
1.209 * * * * [points]: Setting MPFR precision to 2368
1.294 * * * * [points]: Filtering points with unrepresentable outputs
1.306 * * * * [points]: Sampling 75 additional inputs, on iter 1 have 7925 / 8000
1.309 * * * * [points]: Computing exacts on every 4 of 75 points to ramp up precision
1.310 * * * * [points]: Setting MPFR precision to 2112
1.310 * * * * [points]: Setting MPFR precision to 2368
1.310 * * * * [points]: Computing exacts on every 2 of 75 points to ramp up precision
1.310 * * * * [points]: Setting MPFR precision to 2112
1.310 * * * * [points]: Setting MPFR precision to 2368
1.311 * * * * [points]: Computing exacts for 75 points
1.311 * * * * [points]: Setting MPFR precision to 2112
1.311 * * * * [points]: Setting MPFR precision to 2368
1.312 * * * * [points]: Filtering points with unrepresentable outputs
1.312 * * * * [points]: Sampled 8000 points with exact outputs
1.981 * [regime-testing]: End program error score: 0.032948120312590146