28.383 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.014 * * * [progress]: [2/2] Setting up program.
0.016 * [progress]: [Phase 2 of 3] Improving.
0.016 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* 200.0 (- x y))
0.020 * * [simplify]: iteration  0 :  8  enodes  (cost  2 )
0.022 * * [simplify]: iteration  1 :  15  enodes  (cost  2 )
0.024 * * [simplify]: iteration  2 :  21  enodes  (cost  2 )
0.026 * * [simplify]: iteration  3 :  26  enodes  (cost  2 )
0.028 * * [simplify]: iteration  4 :  26  enodes  (cost  2 )
0.028 * [simplify]: Simplified to:
   (* 200.0 (- x y))
0.028 * * [progress]: iteration 1 / 4
0.028 * * * [progress]: picking best candidate
0.030 * * * * [pick]: Picked  #<alt (λ (x y) (* 200.0 (- x y)))>
0.030 * * * [progress]: localizing error
0.036 * * * [progress]: generating rewritten candidates
0.036 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.051 * * * [progress]: generating series expansions
0.051 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.051 * [approximate]: Taking taylor expansion of (* 200.0 (- x y)) in (x y) around 0
0.051 * [taylor]: Taking taylor expansion of (* 200.0 (- x y)) in y
0.051 * [taylor]: Taking taylor expansion of 200.0 in y
0.051 * [taylor]: Taking taylor expansion of (- x y) in y
0.051 * [taylor]: Taking taylor expansion of x in y
0.051 * [taylor]: Taking taylor expansion of y in y
0.051 * [taylor]: Taking taylor expansion of (* 200.0 (- x y)) in x
0.051 * [taylor]: Taking taylor expansion of 200.0 in x
0.051 * [taylor]: Taking taylor expansion of (- x y) in x
0.051 * [taylor]: Taking taylor expansion of x in x
0.051 * [taylor]: Taking taylor expansion of y in x
0.052 * [taylor]: Taking taylor expansion of (* 200.0 (- x y)) in x
0.052 * [taylor]: Taking taylor expansion of 200.0 in x
0.052 * [taylor]: Taking taylor expansion of (- x y) in x
0.052 * [taylor]: Taking taylor expansion of x in x
0.052 * [taylor]: Taking taylor expansion of y in x
0.052 * [taylor]: Taking taylor expansion of (* -200.0 y) in y
0.052 * [taylor]: Taking taylor expansion of -200.0 in y
0.052 * [taylor]: Taking taylor expansion of y in y
0.053 * [taylor]: Taking taylor expansion of 200.0 in y
0.056 * [taylor]: Taking taylor expansion of 0 in y
0.058 * [taylor]: Taking taylor expansion of 0 in y
0.058 * [approximate]: Taking taylor expansion of (* 200.0 (- (/ 1 x) (/ 1 y))) in (x y) around 0
0.058 * [taylor]: Taking taylor expansion of (* 200.0 (- (/ 1 x) (/ 1 y))) in y
0.058 * [taylor]: Taking taylor expansion of 200.0 in y
0.058 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
0.058 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.058 * [taylor]: Taking taylor expansion of x in y
0.058 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.058 * [taylor]: Taking taylor expansion of y in y
0.059 * [taylor]: Taking taylor expansion of (* 200.0 (- (/ 1 x) (/ 1 y))) in x
0.059 * [taylor]: Taking taylor expansion of 200.0 in x
0.059 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.059 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.059 * [taylor]: Taking taylor expansion of x in x
0.059 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.059 * [taylor]: Taking taylor expansion of y in x
0.059 * [taylor]: Taking taylor expansion of (* 200.0 (- (/ 1 x) (/ 1 y))) in x
0.059 * [taylor]: Taking taylor expansion of 200.0 in x
0.059 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.059 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.059 * [taylor]: Taking taylor expansion of x in x
0.059 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.059 * [taylor]: Taking taylor expansion of y in x
0.060 * [taylor]: Taking taylor expansion of 200.0 in y
0.061 * [taylor]: Taking taylor expansion of (- (* 200.0 (/ 1 y))) in y
0.061 * [taylor]: Taking taylor expansion of (* 200.0 (/ 1 y)) in y
0.061 * [taylor]: Taking taylor expansion of 200.0 in y
0.061 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.061 * [taylor]: Taking taylor expansion of y in y
0.064 * [taylor]: Taking taylor expansion of 0 in y
0.067 * [taylor]: Taking taylor expansion of 0 in y
0.070 * [taylor]: Taking taylor expansion of 0 in y
0.071 * [approximate]: Taking taylor expansion of (* 200.0 (- (/ 1 y) (/ 1 x))) in (x y) around 0
0.071 * [taylor]: Taking taylor expansion of (* 200.0 (- (/ 1 y) (/ 1 x))) in y
0.071 * [taylor]: Taking taylor expansion of 200.0 in y
0.071 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
0.071 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.071 * [taylor]: Taking taylor expansion of y in y
0.071 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.071 * [taylor]: Taking taylor expansion of x in y
0.071 * [taylor]: Taking taylor expansion of (* 200.0 (- (/ 1 y) (/ 1 x))) in x
0.071 * [taylor]: Taking taylor expansion of 200.0 in x
0.071 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.071 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.071 * [taylor]: Taking taylor expansion of y in x
0.071 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.071 * [taylor]: Taking taylor expansion of x in x
0.072 * [taylor]: Taking taylor expansion of (* 200.0 (- (/ 1 y) (/ 1 x))) in x
0.072 * [taylor]: Taking taylor expansion of 200.0 in x
0.072 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.072 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.072 * [taylor]: Taking taylor expansion of y in x
0.072 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.072 * [taylor]: Taking taylor expansion of x in x
0.073 * [taylor]: Taking taylor expansion of -200.0 in y
0.074 * [taylor]: Taking taylor expansion of (* 200.0 (/ 1 y)) in y
0.074 * [taylor]: Taking taylor expansion of 200.0 in y
0.074 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.074 * [taylor]: Taking taylor expansion of y in y
0.076 * [taylor]: Taking taylor expansion of 0 in y
0.080 * [taylor]: Taking taylor expansion of 0 in y
0.083 * [taylor]: Taking taylor expansion of 0 in y
0.083 * * * [progress]: simplifying candidates
0.084 * [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 (- y))
  (* 200.0 x)
  (* 200.0 (- y))
  (* x 200.0)
  (* (- y) 200.0)
  (* x 200.0)
  (* (- 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.087 * * [simplify]: iteration  0 :  110  enodes  (cost  98 )
0.090 * * [simplify]: iteration  1 :  458  enodes  (cost  88 )
0.099 * * [simplify]: iteration  2 :  1874  enodes  (cost  88 )
0.126 * * [simplify]: iteration  3 :  5003  enodes  (cost  88 )
0.127 * [simplify]: Simplified to:
   (* 200.0 (- x y))
  (log (* 200.0 (- x y)))
  (log (* 200.0 (- x y)))
  (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 (- y))
  (* 200.0 x)
  (* 200.0 (- y))
  (* 200.0 x)
  (* 200.0 (- y))
  (* 200.0 x)
  (* 200.0 (- y))
  (* 200.0 (* (cbrt (- x y)) (cbrt (- x y))))
  (* 200.0 (sqrt (- x y)))
  200.0
  (* 200.0 (+ (sqrt x) (sqrt y)))
  200.0
  (* (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 y))
  (* 200.0 (- x y))
  (* 200.0 (- x y))
0.127 * * * [progress]: adding candidates to table
0.155 * * [progress]: iteration 2 / 4
0.155 * * * [progress]: picking best candidate
0.160 * * * * [pick]: Picked  #<alt (λ (x y) (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- x y))))>
0.160 * * * [progress]: localizing error
0.167 * * * [progress]: generating rewritten candidates
0.167 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.191 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
0.204 * * * [progress]: generating series expansions
0.205 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.206 * [approximate]: Taking taylor expansion of (* (pow (cbrt 200.0) 3) (- x y)) in (x y) around 0
0.206 * [taylor]: Taking taylor expansion of (* (pow (cbrt 200.0) 3) (- x y)) in y
0.206 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 3) in y
0.206 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y
0.206 * [taylor]: Taking taylor expansion of 200.0 in y
0.207 * [taylor]: Taking taylor expansion of (- x y) in y
0.207 * [taylor]: Taking taylor expansion of x in y
0.207 * [taylor]: Taking taylor expansion of y in y
0.207 * [taylor]: Taking taylor expansion of (* (pow (cbrt 200.0) 3) (- x y)) in x
0.207 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 3) in x
0.207 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x
0.207 * [taylor]: Taking taylor expansion of 200.0 in x
0.208 * [taylor]: Taking taylor expansion of (- x y) in x
0.208 * [taylor]: Taking taylor expansion of x in x
0.208 * [taylor]: Taking taylor expansion of y in x
0.208 * [taylor]: Taking taylor expansion of (* (pow (cbrt 200.0) 3) (- x y)) in x
0.208 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 3) in x
0.208 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x
0.208 * [taylor]: Taking taylor expansion of 200.0 in x
0.209 * [taylor]: Taking taylor expansion of (- x y) in x
0.209 * [taylor]: Taking taylor expansion of x in x
0.209 * [taylor]: Taking taylor expansion of y in x
0.212 * [taylor]: Taking taylor expansion of (* -200.0 y) in y
0.212 * [taylor]: Taking taylor expansion of -200.0 in y
0.212 * [taylor]: Taking taylor expansion of y in y
0.215 * [taylor]: Taking taylor expansion of 200.0 in y
0.219 * [taylor]: Taking taylor expansion of 0 in y
0.228 * [taylor]: Taking taylor expansion of 0 in y
0.229 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 200.0) 3)) in (x y) around 0
0.229 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 200.0) 3)) in y
0.229 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
0.229 * [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 (/ 1 y) in y
0.230 * [taylor]: Taking taylor expansion of y in y
0.230 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 3) in y
0.230 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y
0.230 * [taylor]: Taking taylor expansion of 200.0 in y
0.231 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 200.0) 3)) in x
0.231 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) 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 (/ 1 y) in x
0.231 * [taylor]: Taking taylor expansion of y in x
0.231 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 3) in x
0.231 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x
0.231 * [taylor]: Taking taylor expansion of 200.0 in x
0.232 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 200.0) 3)) in x
0.232 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) 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 (/ 1 y) in x
0.232 * [taylor]: Taking taylor expansion of y in x
0.232 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 3) in x
0.232 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x
0.232 * [taylor]: Taking taylor expansion of 200.0 in x
0.237 * [taylor]: Taking taylor expansion of 200.0 in y
0.240 * [taylor]: Taking taylor expansion of (- (* 200.0 (/ 1 y))) in y
0.240 * [taylor]: Taking taylor expansion of (* 200.0 (/ 1 y)) in y
0.240 * [taylor]: Taking taylor expansion of 200.0 in y
0.240 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.240 * [taylor]: Taking taylor expansion of y in y
0.245 * [taylor]: Taking taylor expansion of 0 in y
0.250 * [taylor]: Taking taylor expansion of 0 in y
0.256 * [taylor]: Taking taylor expansion of 0 in y
0.258 * [approximate]: Taking taylor expansion of (* (pow (cbrt 200.0) 3) (- (/ 1 y) (/ 1 x))) in (x y) around 0
0.258 * [taylor]: Taking taylor expansion of (* (pow (cbrt 200.0) 3) (- (/ 1 y) (/ 1 x))) in y
0.258 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 3) in y
0.258 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y
0.258 * [taylor]: Taking taylor expansion of 200.0 in y
0.259 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
0.259 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.259 * [taylor]: Taking taylor expansion of y in y
0.259 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.259 * [taylor]: Taking taylor expansion of x in y
0.259 * [taylor]: Taking taylor expansion of (* (pow (cbrt 200.0) 3) (- (/ 1 y) (/ 1 x))) in x
0.259 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 3) in x
0.259 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x
0.259 * [taylor]: Taking taylor expansion of 200.0 in x
0.260 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.260 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.260 * [taylor]: Taking taylor expansion of y in x
0.260 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.260 * [taylor]: Taking taylor expansion of x in x
0.260 * [taylor]: Taking taylor expansion of (* (pow (cbrt 200.0) 3) (- (/ 1 y) (/ 1 x))) in x
0.260 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 3) in x
0.260 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x
0.260 * [taylor]: Taking taylor expansion of 200.0 in x
0.261 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.261 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.261 * [taylor]: Taking taylor expansion of y in x
0.261 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.261 * [taylor]: Taking taylor expansion of x in x
0.265 * [taylor]: Taking taylor expansion of -200.0 in y
0.268 * [taylor]: Taking taylor expansion of (* 200.0 (/ 1 y)) in y
0.268 * [taylor]: Taking taylor expansion of 200.0 in y
0.268 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.268 * [taylor]: Taking taylor expansion of y in y
0.273 * [taylor]: Taking taylor expansion of 0 in y
0.278 * [taylor]: Taking taylor expansion of 0 in y
0.284 * [taylor]: Taking taylor expansion of 0 in y
0.284 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
0.285 * [approximate]: Taking taylor expansion of (* (cbrt 200.0) (- x y)) in (x y) around 0
0.285 * [taylor]: Taking taylor expansion of (* (cbrt 200.0) (- x y)) in y
0.285 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y
0.285 * [taylor]: Taking taylor expansion of 200.0 in y
0.285 * [taylor]: Taking taylor expansion of (- x y) in y
0.285 * [taylor]: Taking taylor expansion of x in y
0.285 * [taylor]: Taking taylor expansion of y in y
0.285 * [taylor]: Taking taylor expansion of (* (cbrt 200.0) (- x y)) in x
0.285 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x
0.285 * [taylor]: Taking taylor expansion of 200.0 in x
0.286 * [taylor]: Taking taylor expansion of (- x y) in x
0.286 * [taylor]: Taking taylor expansion of x in x
0.286 * [taylor]: Taking taylor expansion of y in x
0.286 * [taylor]: Taking taylor expansion of (* (cbrt 200.0) (- x y)) in x
0.286 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x
0.286 * [taylor]: Taking taylor expansion of 200.0 in x
0.287 * [taylor]: Taking taylor expansion of (- x y) in x
0.287 * [taylor]: Taking taylor expansion of x in x
0.287 * [taylor]: Taking taylor expansion of y in x
0.288 * [taylor]: Taking taylor expansion of (* -1 (* y (cbrt 200.0))) in y
0.288 * [taylor]: Taking taylor expansion of -1 in y
0.288 * [taylor]: Taking taylor expansion of (* y (cbrt 200.0)) in y
0.288 * [taylor]: Taking taylor expansion of y in y
0.288 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y
0.288 * [taylor]: Taking taylor expansion of 200.0 in y
0.290 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y
0.290 * [taylor]: Taking taylor expansion of 200.0 in y
0.297 * [taylor]: Taking taylor expansion of 0 in y
0.301 * [taylor]: Taking taylor expansion of 0 in y
0.303 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (cbrt 200.0)) in (x y) around 0
0.303 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (cbrt 200.0)) in y
0.303 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
0.303 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.303 * [taylor]: Taking taylor expansion of x in y
0.303 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.303 * [taylor]: Taking taylor expansion of y in y
0.308 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y
0.308 * [taylor]: Taking taylor expansion of 200.0 in y
0.309 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (cbrt 200.0)) in x
0.309 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.309 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.309 * [taylor]: Taking taylor expansion of x in x
0.310 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.310 * [taylor]: Taking taylor expansion of y in x
0.310 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x
0.310 * [taylor]: Taking taylor expansion of 200.0 in x
0.311 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (cbrt 200.0)) in x
0.311 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.311 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.311 * [taylor]: Taking taylor expansion of x in x
0.311 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.311 * [taylor]: Taking taylor expansion of y in x
0.311 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x
0.311 * [taylor]: Taking taylor expansion of 200.0 in x
0.313 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y
0.313 * [taylor]: Taking taylor expansion of 200.0 in y
0.314 * [taylor]: Taking taylor expansion of (- (/ (cbrt 200.0) y)) in y
0.314 * [taylor]: Taking taylor expansion of (/ (cbrt 200.0) y) in y
0.314 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y
0.315 * [taylor]: Taking taylor expansion of 200.0 in y
0.315 * [taylor]: Taking taylor expansion of y in y
0.320 * [taylor]: Taking taylor expansion of 0 in y
0.323 * [taylor]: Taking taylor expansion of 0 in y
0.328 * [taylor]: Taking taylor expansion of 0 in y
0.330 * [approximate]: Taking taylor expansion of (* (cbrt 200.0) (- (/ 1 y) (/ 1 x))) in (x y) around 0
0.330 * [taylor]: Taking taylor expansion of (* (cbrt 200.0) (- (/ 1 y) (/ 1 x))) in y
0.330 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y
0.330 * [taylor]: Taking taylor expansion of 200.0 in y
0.331 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
0.331 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.331 * [taylor]: Taking taylor expansion of y in y
0.331 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.331 * [taylor]: Taking taylor expansion of x in y
0.331 * [taylor]: Taking taylor expansion of (* (cbrt 200.0) (- (/ 1 y) (/ 1 x))) in x
0.331 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x
0.331 * [taylor]: Taking taylor expansion of 200.0 in x
0.332 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.332 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.332 * [taylor]: Taking taylor expansion of y in x
0.332 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.332 * [taylor]: Taking taylor expansion of x in x
0.332 * [taylor]: Taking taylor expansion of (* (cbrt 200.0) (- (/ 1 y) (/ 1 x))) in x
0.332 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x
0.332 * [taylor]: Taking taylor expansion of 200.0 in x
0.333 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.333 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.333 * [taylor]: Taking taylor expansion of y in x
0.333 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.333 * [taylor]: Taking taylor expansion of x in x
0.334 * [taylor]: Taking taylor expansion of (* -1 (cbrt 200.0)) in y
0.334 * [taylor]: Taking taylor expansion of -1 in y
0.334 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y
0.334 * [taylor]: Taking taylor expansion of 200.0 in y
0.336 * [taylor]: Taking taylor expansion of (/ (cbrt 200.0) y) in y
0.336 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y
0.337 * [taylor]: Taking taylor expansion of 200.0 in y
0.337 * [taylor]: Taking taylor expansion of y in y
0.342 * [taylor]: Taking taylor expansion of 0 in y
0.346 * [taylor]: Taking taylor expansion of 0 in y
0.352 * [taylor]: Taking taylor expansion of 0 in y
0.353 * * * [progress]: simplifying candidates
0.355 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (* (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) (cbrt 200.0)) (* (cbrt 200.0) (- x y)))
  (+ (+ (log (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) (- x y))))
  (+ (log (* (cbrt 200.0) (cbrt 200.0))) (+ (log (cbrt 200.0)) (log (- x y))))
  (+ (log (* (cbrt 200.0) (cbrt 200.0))) (log (* (cbrt 200.0) (- x y))))
  (log (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- x y))))
  (exp (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- x y))))
  (* (* 200.0 200.0) (* 200.0 (* (* (- x y) (- x y)) (- x y))))
  (* (* 200.0 200.0) (* (* (* (cbrt 200.0) (cbrt 200.0)) (cbrt 200.0)) (* (* (- x y) (- x y)) (- x y))))
  (* (* 200.0 200.0) (* (* (* (cbrt 200.0) (- x y)) (* (cbrt 200.0) (- x y))) (* (cbrt 200.0) (- x y))))
  (* (* 200.0 (* (* (cbrt 200.0) (cbrt 200.0)) (cbrt 200.0))) (* 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) (- x y)) (- x y))))
  (* (* 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 200.0)) (cbrt 200.0)) 200.0) (* 200.0 (* (* (- x y) (- x y)) (- x y))))
  (* (* (* (* (cbrt 200.0) (cbrt 200.0)) (cbrt 200.0)) 200.0) (* (* (* (cbrt 200.0) (cbrt 200.0)) (cbrt 200.0)) (* (* (- x y) (- x y)) (- x y))))
  (* (* (* (* (cbrt 200.0) (cbrt 200.0)) (cbrt 200.0)) 200.0) (* (* (* (cbrt 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))) (* 200.0 (* (* (- x y) (- x y)) (- x y))))
  (* (* (* (* (cbrt 200.0) (cbrt 200.0)) (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))))
  (* (* (* (* (cbrt 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 200.0)) (* (cbrt 200.0) (cbrt 200.0))) (* (cbrt 200.0) (cbrt 200.0))) (* 200.0 (* (* (- x y) (- x y)) (- x y))))
  (* (* (* (* (cbrt 200.0) (cbrt 200.0)) (* (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))))
  (* (* (* (* (cbrt 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 (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- x y)))) (cbrt (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- x y)))))
  (cbrt (* (* (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) (cbrt 200.0)) (* (cbrt 200.0) (- x y))))
  (sqrt (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- x y))))
  (sqrt (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- x y))))
  (* (cbrt 200.0) (sqrt (* (cbrt 200.0) (- x y))))
  (* (cbrt 200.0) (sqrt (* (cbrt 200.0) (- x y))))
  (* (cbrt 200.0) (* (cbrt (sqrt 200.0)) (sqrt (- x y))))
  (* (cbrt 200.0) (* (cbrt (sqrt 200.0)) (sqrt (- x y))))
  (* (cbrt 200.0) (* (sqrt (cbrt 200.0)) (sqrt (- x y))))
  (* (cbrt 200.0) (* (sqrt (cbrt 200.0)) (sqrt (- x y))))
  (* (sqrt (* (cbrt 200.0) (cbrt 200.0))) (sqrt (* (cbrt 200.0) (- x y))))
  (* (sqrt (* (cbrt 200.0) (cbrt 200.0))) (sqrt (* (cbrt 200.0) (- x y))))
  (* (sqrt (* (cbrt 200.0) (cbrt 200.0))) (* (cbrt (sqrt 200.0)) (sqrt (- x y))))
  (* (sqrt (* (cbrt 200.0) (cbrt 200.0))) (* (cbrt (sqrt 200.0)) (sqrt (- x y))))
  (* (sqrt (* (cbrt 200.0) (cbrt 200.0))) (* (sqrt (cbrt 200.0)) (sqrt (- x y))))
  (* (sqrt (* (cbrt 200.0) (cbrt 200.0))) (* (sqrt (cbrt 200.0)) (sqrt (- x y))))
  (* (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))) (sqrt (* (cbrt 200.0) (- x y))))
  (* (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))) (sqrt (* (cbrt 200.0) (- x y))))
  (* (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))) (* (cbrt (sqrt 200.0)) (sqrt (- x y))))
  (* (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))) (* (cbrt (sqrt 200.0)) (sqrt (- x y))))
  (* (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))) (* (sqrt (cbrt 200.0)) (sqrt (- x y))))
  (* (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))) (* (sqrt (cbrt 200.0)) (sqrt (- x y))))
  (* (* (sqrt (cbrt 200.0)) (sqrt (cbrt 200.0))) (sqrt (* (cbrt 200.0) (- x y))))
  (* (* (sqrt (cbrt 200.0)) (sqrt (cbrt 200.0))) (sqrt (* (cbrt 200.0) (- x y))))
  (* (* (sqrt (cbrt 200.0)) (sqrt (cbrt 200.0))) (* (cbrt (sqrt 200.0)) (sqrt (- x y))))
  (* (* (sqrt (cbrt 200.0)) (sqrt (cbrt 200.0))) (* (cbrt (sqrt 200.0)) (sqrt (- x y))))
  (* (* (sqrt (cbrt 200.0)) (sqrt (cbrt 200.0))) (* (sqrt (cbrt 200.0)) (sqrt (- x y))))
  (* (* (sqrt (cbrt 200.0)) (sqrt (cbrt 200.0))) (* (sqrt (cbrt 200.0)) (sqrt (- x y))))
  (* (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))) (sqrt (* (cbrt 200.0) (- x y))))
  (* (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))) (sqrt (* (cbrt 200.0) (- x y))))
  (* (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))) (* (cbrt (sqrt 200.0)) (sqrt (- x y))))
  (* (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))) (* (cbrt (sqrt 200.0)) (sqrt (- x y))))
  (* (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))) (* (sqrt (cbrt 200.0)) (sqrt (- x y))))
  (* (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))) (* (sqrt (cbrt 200.0)) (sqrt (- x y))))
  (* (* (cbrt (sqrt 200.0)) (sqrt (cbrt 200.0))) (sqrt (* (cbrt 200.0) (- x y))))
  (* (* (cbrt (sqrt 200.0)) (sqrt (cbrt 200.0))) (sqrt (* (cbrt 200.0) (- x y))))
  (* (* (cbrt (sqrt 200.0)) (sqrt (cbrt 200.0))) (* (cbrt (sqrt 200.0)) (sqrt (- x y))))
  (* (* (cbrt (sqrt 200.0)) (sqrt (cbrt 200.0))) (* (cbrt (sqrt 200.0)) (sqrt (- x y))))
  (* (* (cbrt (sqrt 200.0)) (sqrt (cbrt 200.0))) (* (sqrt (cbrt 200.0)) (sqrt (- x y))))
  (* (* (cbrt (sqrt 200.0)) (sqrt (cbrt 200.0))) (* (sqrt (cbrt 200.0)) (sqrt (- x y))))
  (* (* (sqrt (cbrt 200.0)) (cbrt (sqrt 200.0))) (sqrt (* (cbrt 200.0) (- x y))))
  (* (* (sqrt (cbrt 200.0)) (cbrt (sqrt 200.0))) (sqrt (* (cbrt 200.0) (- x y))))
  (* (* (sqrt (cbrt 200.0)) (cbrt (sqrt 200.0))) (* (cbrt (sqrt 200.0)) (sqrt (- x y))))
  (* (* (sqrt (cbrt 200.0)) (cbrt (sqrt 200.0))) (* (cbrt (sqrt 200.0)) (sqrt (- x y))))
  (* (* (sqrt (cbrt 200.0)) (cbrt (sqrt 200.0))) (* (sqrt (cbrt 200.0)) (sqrt (- x y))))
  (* (* (sqrt (cbrt 200.0)) (cbrt (sqrt 200.0))) (* (sqrt (cbrt 200.0)) (sqrt (- x y))))
  (* (* (sqrt (cbrt 200.0)) (sqrt (cbrt 200.0))) (sqrt (* (cbrt 200.0) (- x y))))
  (* (* (sqrt (cbrt 200.0)) (sqrt (cbrt 200.0))) (sqrt (* (cbrt 200.0) (- x y))))
  (* (* (sqrt (cbrt 200.0)) (sqrt (cbrt 200.0))) (* (cbrt (sqrt 200.0)) (sqrt (- x y))))
  (* (* (sqrt (cbrt 200.0)) (sqrt (cbrt 200.0))) (* (cbrt (sqrt 200.0)) (sqrt (- x y))))
  (* (* (sqrt (cbrt 200.0)) (sqrt (cbrt 200.0))) (* (sqrt (cbrt 200.0)) (sqrt (- x y))))
  (* (* (sqrt (cbrt 200.0)) (sqrt (cbrt 200.0))) (* (sqrt (cbrt 200.0)) (sqrt (- x y))))
  (* (cbrt 200.0) (sqrt (* (cbrt 200.0) (- x y))))
  (* (cbrt 200.0) (sqrt (* (cbrt 200.0) (- x y))))
  (* (cbrt 200.0) (* (cbrt (sqrt 200.0)) (sqrt (- x y))))
  (* (cbrt 200.0) (* (cbrt (sqrt 200.0)) (sqrt (- x y))))
  (* (cbrt 200.0) (* (sqrt (cbrt 200.0)) (sqrt (- x y))))
  (* (cbrt 200.0) (* (sqrt (cbrt 200.0)) (sqrt (- x y))))
  (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) x))
  (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- y)))
  (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) x))
  (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- y)))
  (* (* (cbrt 200.0) (cbrt 200.0)) (* x (cbrt 200.0)))
  (* (* (cbrt 200.0) (cbrt 200.0)) (* (- y) (cbrt 200.0)))
  (* (* (cbrt 200.0) (cbrt 200.0)) (* x (cbrt 200.0)))
  (* (* (cbrt 200.0) (cbrt 200.0)) (* (- y) (cbrt 200.0)))
  (* (* (cbrt 200.0) x) (* (cbrt 200.0) (cbrt 200.0)))
  (* (* (cbrt 200.0) (- y)) (* (cbrt 200.0) (cbrt 200.0)))
  (* (* (cbrt 200.0) x) (* (cbrt 200.0) (cbrt 200.0)))
  (* (* (cbrt 200.0) (- y)) (* (cbrt 200.0) (cbrt 200.0)))
  (* (* x (cbrt 200.0)) (* (cbrt 200.0) (cbrt 200.0)))
  (* (* (- y) (cbrt 200.0)) (* (cbrt 200.0) (cbrt 200.0)))
  (* (* x (cbrt 200.0)) (* (cbrt 200.0) (cbrt 200.0)))
  (* (* (- y) (cbrt 200.0)) (* (cbrt 200.0) (cbrt 200.0)))
  (* (* (cbrt 200.0) (cbrt 200.0)) (cbrt 200.0))
  (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt (* (cbrt 200.0) (- x y))) (cbrt (* (cbrt 200.0) (- x y)))))
  (* (* (cbrt 200.0) (cbrt 200.0)) (sqrt (* (cbrt 200.0) (- x y))))
  (* (* (cbrt 200.0) (cbrt 200.0)) 1)
  (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt (sqrt 200.0)) (sqrt (- x y))))
  (* (* (cbrt 200.0) (cbrt 200.0)) (* (sqrt (cbrt 200.0)) (sqrt (- x y))))
  (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (* (cbrt (- x y)) (cbrt (- x y)))))
  (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (sqrt (- x y))))
  (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) 1))
  (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (+ (sqrt x) (sqrt y))))
  (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) 1))
  (* (* (cbrt 200.0) (cbrt 200.0)) (cbrt (* (cbrt 200.0) (cbrt 200.0))))
  (* (* (cbrt 200.0) (cbrt 200.0)) (cbrt (sqrt 200.0)))
  (* (* (cbrt 200.0) (cbrt 200.0)) (cbrt 1))
  (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0))))
  (* (* (cbrt 200.0) (cbrt 200.0)) (sqrt (cbrt 200.0)))
  (* (* (cbrt 200.0) (cbrt 200.0)) 1)
  (* (* (cbrt 200.0) (cbrt 200.0)) (- x y))
  (* (cbrt 200.0) (* (cbrt 200.0) (- x y)))
  (* (cbrt (* (cbrt 200.0) (cbrt 200.0))) (* (cbrt 200.0) (- x y)))
  (* (sqrt (* (cbrt 200.0) (cbrt 200.0))) (* (cbrt 200.0) (- x y)))
  (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- x y)))
  (* (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0))) (* (cbrt 200.0) (- x y)))
  (* (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))) (* (cbrt 200.0) (- x y)))
  (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- x y)))
  (* (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0))) (* (cbrt 200.0) (- x y)))
  (* (* (sqrt (cbrt 200.0)) (sqrt (cbrt 200.0))) (* (cbrt 200.0) (- x y)))
  (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- x y)))
  (* (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))) (* (cbrt 200.0) (- x y)))
  (* (* (cbrt (sqrt 200.0)) (sqrt (cbrt 200.0))) (* (cbrt 200.0) (- x y)))
  (* (* (sqrt (cbrt 200.0)) (cbrt (sqrt 200.0))) (* (cbrt 200.0) (- x y)))
  (* (* (sqrt (cbrt 200.0)) (sqrt (cbrt 200.0))) (* (cbrt 200.0) (- x y)))
  (* (cbrt (cbrt 200.0)) (* (cbrt 200.0) (- x y)))
  (* (cbrt (sqrt 200.0)) (* (cbrt 200.0) (- x y)))
  (* (cbrt 200.0) (* (cbrt 200.0) (- x y)))
  (* (cbrt (cbrt 200.0)) (* (cbrt 200.0) (- x y)))
  (* (sqrt (cbrt 200.0)) (* (cbrt 200.0) (- x y)))
  (* (cbrt 200.0) (* (cbrt 200.0) (- x y)))
  (* (* (cbrt (cbrt 200.0)) (cbrt 200.0)) (* (cbrt 200.0) (- x y)))
  (* (* (cbrt (sqrt 200.0)) (cbrt 200.0)) (* (cbrt 200.0) (- x y)))
  (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- x y)))
  (* (* (cbrt (cbrt 200.0)) (cbrt 200.0)) (* (cbrt 200.0) (- x y)))
  (* (* (sqrt (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) (- 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))
  (+ (log (cbrt 200.0)) (log (- x y)))
  (log (* (cbrt 200.0) (- x y)))
  (exp (* (cbrt 200.0) (- x y)))
  (* 200.0 (* (* (- x y) (- x y)) (- x y)))
  (* (* (* (cbrt 200.0) (cbrt 200.0)) (cbrt 200.0)) (* (* (- x y) (- x y)) (- x y)))
  (* (cbrt (* (cbrt 200.0) (- x y))) (cbrt (* (cbrt 200.0) (- x y))))
  (cbrt (* (cbrt 200.0) (- x y)))
  (* (* (* (cbrt 200.0) (- x y)) (* (cbrt 200.0) (- x y))) (* (cbrt 200.0) (- x y)))
  (sqrt (* (cbrt 200.0) (- x y)))
  (sqrt (* (cbrt 200.0) (- 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)) (sqrt (- x y)))
  (* (cbrt 200.0) x)
  (* (cbrt 200.0) (- y))
  (* (cbrt 200.0) x)
  (* (cbrt 200.0) (- y))
  (* x (cbrt 200.0))
  (* (- y) (cbrt 200.0))
  (* x (cbrt 200.0))
  (* (- y) (cbrt 200.0))
  (* (cbrt 200.0) (* (cbrt (- x y)) (cbrt (- x y))))
  (* (cbrt 200.0) (sqrt (- x y)))
  (* (cbrt 200.0) 1)
  (* (cbrt 200.0) (+ (sqrt x) (sqrt y)))
  (* (cbrt 200.0) 1)
  (* (cbrt (cbrt 200.0)) (- x y))
  (* (cbrt (sqrt 200.0)) (- x y))
  (* (cbrt 200.0) (- x y))
  (* (cbrt (cbrt 200.0)) (- x y))
  (* (sqrt (cbrt 200.0)) (- x 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) (* 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.364 * * [simplify]: iteration  0 :  537  enodes  (cost  1469 )
0.375 * * [simplify]: iteration  1 :  2692  enodes  (cost  1150 )
0.424 * * [simplify]: iteration  2 :  5002  enodes  (cost  1052 )
0.430 * [simplify]: Simplified to:
   (* 200.0 (- x y))
  (* 200.0 (- x y))
  (* 200.0 (- x y))
  (* 200.0 (- x y))
  (+ (log (- x y)) (* 3 (log (cbrt 200.0))))
  (+ (log (- x y)) (* 3 (log (cbrt 200.0))))
  (+ (log (- x y)) (* 3 (log (cbrt 200.0))))
  (+ (log (- x y)) (* 3 (log (cbrt 200.0))))
  (+ (log (- x y)) (* 3 (log (cbrt 200.0))))
  (pow (exp (- x y)) (pow (cbrt 200.0) 3))
  (* (* (* 200.0 200.0) (pow (- x y) 3)) 200.0)
  (* (* (* 200.0 200.0) (pow (- x y) 3)) 200.0)
  (* (* (* 200.0 200.0) (pow (- x y) 3)) 200.0)
  (* (* (* 200.0 200.0) (pow (- x y) 3)) 200.0)
  (* (* (* 200.0 200.0) (pow (- x y) 3)) 200.0)
  (* (* (* 200.0 200.0) (pow (- x y) 3)) 200.0)
  (* (* (* 200.0 200.0) (pow (- x y) 3)) 200.0)
  (* (* (* 200.0 200.0) (pow (- x y) 3)) 200.0)
  (* (* (* 200.0 200.0) (pow (- x y) 3)) 200.0)
  (* (* (* 200.0 200.0) (pow (- x y) 3)) 200.0)
  (* (* (* 200.0 200.0) (pow (- x y) 3)) 200.0)
  (* (* (* 200.0 200.0) (pow (- x y) 3)) 200.0)
  (* (* (* 200.0 200.0) (pow (- x y) 3)) 200.0)
  (* (* (* 200.0 200.0) (pow (- x y) 3)) 200.0)
  (* (* (* 200.0 200.0) (pow (- x y) 3)) 200.0)
  (* (cbrt (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- x y)))) (cbrt (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- x y)))))
  (cbrt (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- x y))))
  (* (* (* 200.0 200.0) (pow (- x y) 3)) 200.0)
  (sqrt (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- x y))))
  (sqrt (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- x y))))
  (* (sqrt (* (cbrt 200.0) (- x y))) (cbrt 200.0))
  (* (sqrt (* (cbrt 200.0) (- x y))) (cbrt 200.0))
  (* (* (cbrt 200.0) (cbrt (sqrt 200.0))) (sqrt (- x y)))
  (* (* (cbrt 200.0) (cbrt (sqrt 200.0))) (sqrt (- x y)))
  (* (pow (sqrt (cbrt 200.0)) 3) (sqrt (- x y)))
  (* (pow (sqrt (cbrt 200.0)) 3) (sqrt (- x y)))
  (* (sqrt (* (cbrt 200.0) (- x y))) (fabs (cbrt 200.0)))
  (* (sqrt (* (cbrt 200.0) (- x y))) (fabs (cbrt 200.0)))
  (* (* (fabs (cbrt 200.0)) (cbrt (sqrt 200.0))) (sqrt (- x y)))
  (* (* (fabs (cbrt 200.0)) (cbrt (sqrt 200.0))) (sqrt (- x y)))
  (* (* (fabs (cbrt 200.0)) (sqrt (cbrt 200.0))) (sqrt (- x y)))
  (* (* (fabs (cbrt 200.0)) (sqrt (cbrt 200.0))) (sqrt (- x y)))
  (* (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))) (sqrt (* (cbrt 200.0) (- x y))))
  (* (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))) (sqrt (* (cbrt 200.0) (- x y))))
  (* (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))) (* (cbrt (sqrt 200.0)) (sqrt (- x y))))
  (* (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))) (* (cbrt (sqrt 200.0)) (sqrt (- x y))))
  (* (* (sqrt (cbrt 200.0)) (cbrt (sqrt 200.0))) (* (cbrt (sqrt 200.0)) (sqrt (- x y))))
  (* (* (sqrt (cbrt 200.0)) (cbrt (sqrt 200.0))) (* (cbrt (sqrt 200.0)) (sqrt (- x y))))
  (* (sqrt (* (cbrt 200.0) (- x y))) (cbrt 200.0))
  (* (sqrt (* (cbrt 200.0) (- x y))) (cbrt 200.0))
  (* (* (cbrt 200.0) (cbrt (sqrt 200.0))) (sqrt (- x y)))
  (* (* (cbrt 200.0) (cbrt (sqrt 200.0))) (sqrt (- x y)))
  (* (pow (sqrt (cbrt 200.0)) 3) (sqrt (- x y)))
  (* (pow (sqrt (cbrt 200.0)) 3) (sqrt (- x y)))
  (* (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))) (sqrt (* (cbrt 200.0) (- x y))))
  (* (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))) (sqrt (* (cbrt 200.0) (- x y))))
  (* (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))) (* (cbrt (sqrt 200.0)) (sqrt (- x y))))
  (* (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))) (* (cbrt (sqrt 200.0)) (sqrt (- x y))))
  (* (* (sqrt (cbrt 200.0)) (cbrt (sqrt 200.0))) (* (cbrt (sqrt 200.0)) (sqrt (- x y))))
  (* (* (sqrt (cbrt 200.0)) (cbrt (sqrt 200.0))) (* (cbrt (sqrt 200.0)) (sqrt (- x y))))
  (* (* (sqrt (cbrt 200.0)) (cbrt (sqrt 200.0))) (sqrt (* (cbrt 200.0) (- x y))))
  (* (* (sqrt (cbrt 200.0)) (cbrt (sqrt 200.0))) (sqrt (* (cbrt 200.0) (- x y))))
  (* (* (sqrt (cbrt 200.0)) (cbrt (sqrt 200.0))) (* (cbrt (sqrt 200.0)) (sqrt (- x y))))
  (* (* (sqrt (cbrt 200.0)) (cbrt (sqrt 200.0))) (* (cbrt (sqrt 200.0)) (sqrt (- x y))))
  (* (* (cbrt 200.0) (cbrt (sqrt 200.0))) (sqrt (- x y)))
  (* (* (cbrt 200.0) (cbrt (sqrt 200.0))) (sqrt (- x y)))
  (* (* (sqrt (cbrt 200.0)) (cbrt (sqrt 200.0))) (sqrt (* (cbrt 200.0) (- x y))))
  (* (* (sqrt (cbrt 200.0)) (cbrt (sqrt 200.0))) (sqrt (* (cbrt 200.0) (- x y))))
  (* (* (sqrt (cbrt 200.0)) (cbrt (sqrt 200.0))) (* (cbrt (sqrt 200.0)) (sqrt (- x y))))
  (* (* (sqrt (cbrt 200.0)) (cbrt (sqrt 200.0))) (* (cbrt (sqrt 200.0)) (sqrt (- x y))))
  (* (* (cbrt 200.0) (cbrt (sqrt 200.0))) (sqrt (- x y)))
  (* (* (cbrt 200.0) (cbrt (sqrt 200.0))) (sqrt (- x y)))
  (* (sqrt (* (cbrt 200.0) (- x y))) (cbrt 200.0))
  (* (sqrt (* (cbrt 200.0) (- x y))) (cbrt 200.0))
  (* (* (cbrt 200.0) (cbrt (sqrt 200.0))) (sqrt (- x y)))
  (* (* (cbrt 200.0) (cbrt (sqrt 200.0))) (sqrt (- x y)))
  (* (pow (sqrt (cbrt 200.0)) 3) (sqrt (- x y)))
  (* (pow (sqrt (cbrt 200.0)) 3) (sqrt (- x y)))
  (* (sqrt (* (cbrt 200.0) (- x y))) (cbrt 200.0))
  (* (sqrt (* (cbrt 200.0) (- x y))) (cbrt 200.0))
  (* (* (cbrt 200.0) (cbrt (sqrt 200.0))) (sqrt (- x y)))
  (* (* (cbrt 200.0) (cbrt (sqrt 200.0))) (sqrt (- x y)))
  (* (pow (sqrt (cbrt 200.0)) 3) (sqrt (- x y)))
  (* (pow (sqrt (cbrt 200.0)) 3) (sqrt (- x y)))
  (* 200.0 x)
  (* (- y) 200.0)
  (* 200.0 x)
  (* (- y) 200.0)
  (* 200.0 x)
  (* (- y) 200.0)
  (* 200.0 x)
  (* (- y) 200.0)
  (* 200.0 x)
  (* (- y) 200.0)
  (* 200.0 x)
  (* (- y) 200.0)
  (* 200.0 x)
  (* (- y) 200.0)
  (* 200.0 x)
  (* (- y) 200.0)
  200.0
  (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt (* (cbrt 200.0) (- x y))) (cbrt (* (cbrt 200.0) (- x y)))))
  (* (* (cbrt 200.0) (cbrt 200.0)) (sqrt (* (cbrt 200.0) (- x y))))
  (* (cbrt 200.0) (cbrt 200.0))
  (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt (sqrt 200.0)) (sqrt (- x y))))
  (* (* (cbrt 200.0) (pow (sqrt (cbrt 200.0)) 3)) (sqrt (- x y)))
  (* (* (pow (cbrt 200.0) 3) (cbrt (- x y))) (cbrt (- x y)))
  (* (sqrt (- x y)) (pow (cbrt 200.0) 3))
  200.0
  (* (pow (cbrt 200.0) 3) (+ (sqrt x) (sqrt y)))
  200.0
  (* (* (cbrt 200.0) (cbrt 200.0)) (cbrt (* (cbrt 200.0) (cbrt 200.0))))
  (* (* (cbrt 200.0) (cbrt 200.0)) (cbrt (sqrt 200.0)))
  (* (* (cbrt 200.0) (cbrt 200.0)) (cbrt 1))
  (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0))))
  (* (pow (sqrt (cbrt 200.0)) 3) (cbrt 200.0))
  (* (cbrt 200.0) (cbrt 200.0))
  (* (cbrt 200.0) (* (cbrt 200.0) (- x y)))
  (* (cbrt 200.0) (* (cbrt 200.0) (- x y)))
  (* (cbrt (* (cbrt 200.0) (cbrt 200.0))) (* (cbrt 200.0) (- x y)))
  (* (* (fabs (cbrt 200.0)) (cbrt 200.0)) (- x y))
  (* 200.0 (- x y))
  (* (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0))) (* (cbrt 200.0) (- x y)))
  (* (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))) (* (cbrt 200.0) (- x y)))
  (* 200.0 (- x y))
  (* (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0))) (* (cbrt 200.0) (- x y)))
  (* (cbrt 200.0) (* (cbrt 200.0) (- x y)))
  (* 200.0 (- x y))
  (* (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))) (* (cbrt 200.0) (- x y)))
  (* (* (cbrt (sqrt 200.0)) (pow (sqrt (cbrt 200.0)) 3)) (- x y))
  (* (* (cbrt (sqrt 200.0)) (pow (sqrt (cbrt 200.0)) 3)) (- x y))
  (* (cbrt 200.0) (* (cbrt 200.0) (- x y)))
  (* (cbrt (cbrt 200.0)) (* (cbrt 200.0) (- x y)))
  (* (cbrt (sqrt 200.0)) (* (cbrt 200.0) (- x y)))
  (* (cbrt 200.0) (* (cbrt 200.0) (- x y)))
  (* (cbrt (cbrt 200.0)) (* (cbrt 200.0) (- x y)))
  (* (- x y) (pow (sqrt (cbrt 200.0)) 3))
  (* (cbrt 200.0) (* (cbrt 200.0) (- x y)))
  (* (* (cbrt (cbrt 200.0)) (cbrt 200.0)) (* (cbrt 200.0) (- x y)))
  (* (* (cbrt (sqrt 200.0)) (cbrt 200.0)) (* (cbrt 200.0) (- x y)))
  (* 200.0 (- x y))
  (* (* (cbrt (cbrt 200.0)) (cbrt 200.0)) (* (cbrt 200.0) (- x y)))
  (* (* (pow (sqrt (cbrt 200.0)) 3) (cbrt 200.0)) (- x y))
  (* 200.0 (- x y))
  (* (cbrt 200.0) (* (cbrt 200.0) (- x y)))
  (* (pow (cbrt 200.0) 3) (- (pow x 3) (pow y 3)))
  (* (* (pow (cbrt 200.0) 3) (+ x y)) (- x y))
  (* (cbrt 200.0) (- x y))
  (log (* (cbrt 200.0) (- x y)))
  (log (* (cbrt 200.0) (- x y)))
  (exp (* (cbrt 200.0) (- x y)))
  (pow (* (cbrt 200.0) (- x y)) 3)
  (pow (* (cbrt 200.0) (- x y)) 3)
  (* (cbrt (* (cbrt 200.0) (- x y))) (cbrt (* (cbrt 200.0) (- x y))))
  (cbrt (* (cbrt 200.0) (- x y)))
  (pow (* (cbrt 200.0) (- x y)) 3)
  (sqrt (* (cbrt 200.0) (- x y)))
  (sqrt (* (cbrt 200.0) (- 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)) (sqrt (- x y)))
  (* (cbrt 200.0) x)
  (* (cbrt 200.0) (- y))
  (* (cbrt 200.0) x)
  (* (cbrt 200.0) (- y))
  (* (cbrt 200.0) x)
  (* (cbrt 200.0) (- y))
  (* (cbrt 200.0) x)
  (* (cbrt 200.0) (- y))
  (* (cbrt 200.0) (* (cbrt (- x y)) (cbrt (- x y))))
  (* (cbrt 200.0) (sqrt (- x y)))
  (cbrt 200.0)
  (* (cbrt 200.0) (+ (sqrt x) (sqrt y)))
  (cbrt 200.0)
  (* (cbrt (cbrt 200.0)) (- x y))
  (* (cbrt (sqrt 200.0)) (- x y))
  (* (cbrt 200.0) (- x y))
  (* (cbrt (cbrt 200.0)) (- x y))
  (* (sqrt (cbrt 200.0)) (- x 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.431 * * * [progress]: adding candidates to table
0.592 * * [progress]: iteration 3 / 4
0.592 * * * [progress]: picking best candidate
0.596 * * * * [pick]: Picked  #<alt (λ (x y) (* (* (cbrt (* (cbrt 200.0) (cbrt 200.0))) (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (* (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0))) (* (cbrt 200.0) (- x y)))))>
0.596 * * * [progress]: localizing error
0.609 * * * [progress]: generating rewritten candidates
0.609 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
0.617 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
0.623 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
0.629 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2)
0.635 * * * [progress]: generating series expansions
0.636 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
0.636 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
0.636 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
0.636 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2)
0.636 * * * [progress]: simplifying candidates
0.638 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ 1/3 1/3)
  (+ 1 1)
  (* (cbrt 200.0) (cbrt 200.0))
  (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0)))
  (+ 1 1)
  (+ (log (cbrt (cbrt 200.0))) (log (cbrt (cbrt 200.0))))
  (log (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0))))
  (exp (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0))))
  (* (cbrt 200.0) (cbrt 200.0))
  (* (cbrt 200.0) (* (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0))) (cbrt (cbrt 200.0))))
  (* (* (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0))) (cbrt (cbrt 200.0))) (cbrt 200.0))
  (* (* (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0))) (cbrt (cbrt 200.0))) (* (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0))) (cbrt (cbrt 200.0))))
  (* (cbrt (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0)))) (cbrt (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0)))))
  (cbrt (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0))))
  (* (* (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0))) (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0)))) (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0))))
  (sqrt (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0))))
  (sqrt (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0))))
  (* (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0)))))
  (* (cbrt (cbrt (cbrt 200.0))) (cbrt (cbrt (cbrt 200.0))))
  (* (cbrt (cbrt (sqrt 200.0))) (cbrt (cbrt (sqrt 200.0))))
  (* (cbrt (cbrt (sqrt 200.0))) (cbrt (cbrt (sqrt 200.0))))
  (* (cbrt (cbrt 1)) (cbrt (cbrt 1)))
  (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0)))
  (* (cbrt (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0)))) (cbrt (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0)))))
  (* (cbrt (cbrt (cbrt 200.0))) (cbrt (cbrt (cbrt 200.0))))
  (* (cbrt (sqrt (cbrt 200.0))) (cbrt (sqrt (cbrt 200.0))))
  (* (cbrt (sqrt (cbrt 200.0))) (cbrt (sqrt (cbrt 200.0))))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0)))
  (* (* (cbrt (cbrt (cbrt 200.0))) (cbrt (cbrt (cbrt 200.0)))) (* (cbrt (cbrt (cbrt 200.0))) (cbrt (cbrt (cbrt 200.0)))))
  (* (cbrt (cbrt (cbrt 200.0))) (cbrt (cbrt (cbrt 200.0))))
  (* (sqrt (cbrt (cbrt 200.0))) (sqrt (cbrt (cbrt 200.0))))
  (* (sqrt (cbrt (cbrt 200.0))) (sqrt (cbrt (cbrt 200.0))))
  (* 1 1)
  (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0)))
  (* (cbrt (cbrt (sqrt 200.0))) (cbrt (cbrt (sqrt 200.0))))
  (* (cbrt (cbrt (sqrt 200.0))) (cbrt (cbrt (sqrt 200.0))))
  (* (cbrt (cbrt (sqrt 200.0))) (cbrt (sqrt (cbrt 200.0))))
  (* (cbrt (cbrt (sqrt 200.0))) (cbrt (sqrt (cbrt 200.0))))
  (* (cbrt (cbrt (sqrt 200.0))) (sqrt (cbrt (cbrt 200.0))))
  (* (cbrt (cbrt (sqrt 200.0))) (sqrt (cbrt (cbrt 200.0))))
  (* (cbrt (sqrt (cbrt 200.0))) (cbrt (cbrt (sqrt 200.0))))
  (* (cbrt (sqrt (cbrt 200.0))) (cbrt (cbrt (sqrt 200.0))))
  (* (cbrt (sqrt (cbrt 200.0))) (cbrt (sqrt (cbrt 200.0))))
  (* (cbrt (sqrt (cbrt 200.0))) (cbrt (sqrt (cbrt 200.0))))
  (* (cbrt (sqrt (cbrt 200.0))) (sqrt (cbrt (cbrt 200.0))))
  (* (cbrt (sqrt (cbrt 200.0))) (sqrt (cbrt (cbrt 200.0))))
  (* (sqrt (cbrt (cbrt 200.0))) (cbrt (cbrt (sqrt 200.0))))
  (* (sqrt (cbrt (cbrt 200.0))) (cbrt (cbrt (sqrt 200.0))))
  (* (sqrt (cbrt (cbrt 200.0))) (cbrt (sqrt (cbrt 200.0))))
  (* (sqrt (cbrt (cbrt 200.0))) (cbrt (sqrt (cbrt 200.0))))
  (* (sqrt (cbrt (cbrt 200.0))) (sqrt (cbrt (cbrt 200.0))))
  (* (sqrt (cbrt (cbrt 200.0))) (sqrt (cbrt (cbrt 200.0))))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt (cbrt 200.0)) (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0)))))
  (* (cbrt (cbrt 200.0)) (cbrt (cbrt (sqrt 200.0))))
  (* (cbrt (cbrt 200.0)) (cbrt (cbrt 1)))
  (* (cbrt (cbrt 200.0)) (cbrt (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0)))))
  (* (cbrt (cbrt 200.0)) (cbrt (sqrt (cbrt 200.0))))
  (* (cbrt (cbrt 200.0)) (cbrt 1))
  (* (cbrt (cbrt 200.0)) (* (cbrt (cbrt (cbrt 200.0))) (cbrt (cbrt (cbrt 200.0)))))
  (* (cbrt (cbrt 200.0)) (sqrt (cbrt (cbrt 200.0))))
  (* (cbrt (cbrt 200.0)) 1)
  (* (cbrt (cbrt (cbrt 200.0))) (cbrt (cbrt 200.0)))
  (* (cbrt (cbrt (sqrt 200.0))) (cbrt (cbrt 200.0)))
  (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0)))
  (* (cbrt (cbrt (cbrt 200.0))) (cbrt (cbrt 200.0)))
  (* (cbrt (sqrt (cbrt 200.0))) (cbrt (cbrt 200.0)))
  (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0)))
  (* (cbrt (cbrt (cbrt 200.0))) (cbrt (cbrt 200.0)))
  (* (sqrt (cbrt (cbrt 200.0))) (cbrt (cbrt 200.0)))
  (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0)))
  (log (cbrt (* (cbrt 200.0) (cbrt 200.0))))
  (exp (cbrt (* (cbrt 200.0) (cbrt 200.0))))
  (cbrt (cbrt 200.0))
  (cbrt (cbrt 200.0))
  (cbrt (* (cbrt (* (cbrt 200.0) (cbrt 200.0))) (cbrt (* (cbrt 200.0) (cbrt 200.0)))))
  (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0))))
  (cbrt (sqrt (* (cbrt 200.0) (cbrt 200.0))))
  (cbrt (sqrt (* (cbrt 200.0) (cbrt 200.0))))
  (cbrt 1)
  (cbrt (* (cbrt 200.0) (cbrt 200.0)))
  (cbrt (* (cbrt (* (cbrt 200.0) (cbrt 200.0))) (cbrt (* (cbrt 200.0) (cbrt 200.0)))))
  (cbrt (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0))))
  (cbrt (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))))
  (cbrt (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))))
  (cbrt (* (cbrt 1) (cbrt 1)))
  (cbrt (* (cbrt 200.0) (cbrt 200.0)))
  (cbrt (* (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0))) (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0)))))
  (cbrt (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0))))
  (cbrt (* (sqrt (cbrt 200.0)) (sqrt (cbrt 200.0))))
  (cbrt (* (sqrt (cbrt 200.0)) (sqrt (cbrt 200.0))))
  (cbrt (* 1 1))
  (cbrt (* (cbrt 200.0) (cbrt 200.0)))
  (cbrt (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))))
  (cbrt (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))))
  (cbrt (* (cbrt (sqrt 200.0)) (sqrt (cbrt 200.0))))
  (cbrt (* (cbrt (sqrt 200.0)) (sqrt (cbrt 200.0))))
  (cbrt (* (sqrt (cbrt 200.0)) (cbrt (sqrt 200.0))))
  (cbrt (* (sqrt (cbrt 200.0)) (cbrt (sqrt 200.0))))
  (cbrt (* (sqrt (cbrt 200.0)) (sqrt (cbrt 200.0))))
  (cbrt (* (sqrt (cbrt 200.0)) (sqrt (cbrt 200.0))))
  (cbrt (* (cbrt 200.0) (cbrt (* (cbrt 200.0) (cbrt 200.0)))))
  (cbrt (cbrt (cbrt 200.0)))
  (cbrt (* (cbrt 200.0) (cbrt (sqrt 200.0))))
  (cbrt (cbrt (sqrt 200.0)))
  (cbrt (* (cbrt 200.0) (cbrt 1)))
  (cbrt (cbrt 200.0))
  (cbrt (* (cbrt 200.0) (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0)))))
  (cbrt (cbrt (cbrt 200.0)))
  (cbrt (* (cbrt 200.0) (sqrt (cbrt 200.0))))
  (cbrt (sqrt (cbrt 200.0)))
  (cbrt (* (cbrt 200.0) 1))
  (cbrt (cbrt 200.0))
  (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0))))
  (cbrt (* (cbrt (cbrt 200.0)) (cbrt 200.0)))
  (cbrt (cbrt (sqrt 200.0)))
  (cbrt (* (cbrt (sqrt 200.0)) (cbrt 200.0)))
  (cbrt (cbrt 1))
  (cbrt (* (cbrt 200.0) (cbrt 200.0)))
  (cbrt (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0))))
  (cbrt (* (cbrt (cbrt 200.0)) (cbrt 200.0)))
  (cbrt (sqrt (cbrt 200.0)))
  (cbrt (* (sqrt (cbrt 200.0)) (cbrt 200.0)))
  (cbrt 1)
  (cbrt (* (cbrt 200.0) (cbrt 200.0)))
  (cbrt (cbrt 200.0))
  (cbrt (cbrt 200.0))
  (* (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0)))))
  (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0))))
  (* (* (cbrt (* (cbrt 200.0) (cbrt 200.0))) (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (cbrt (* (cbrt 200.0) (cbrt 200.0))))
  (sqrt (cbrt (* (cbrt 200.0) (cbrt 200.0))))
  (sqrt (cbrt (* (cbrt 200.0) (cbrt 200.0))))
  (log (cbrt (* (cbrt 200.0) (cbrt 200.0))))
  (exp (cbrt (* (cbrt 200.0) (cbrt 200.0))))
  (cbrt (cbrt 200.0))
  (cbrt (cbrt 200.0))
  (cbrt (* (cbrt (* (cbrt 200.0) (cbrt 200.0))) (cbrt (* (cbrt 200.0) (cbrt 200.0)))))
  (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0))))
  (cbrt (sqrt (* (cbrt 200.0) (cbrt 200.0))))
  (cbrt (sqrt (* (cbrt 200.0) (cbrt 200.0))))
  (cbrt 1)
  (cbrt (* (cbrt 200.0) (cbrt 200.0)))
  (cbrt (* (cbrt (* (cbrt 200.0) (cbrt 200.0))) (cbrt (* (cbrt 200.0) (cbrt 200.0)))))
  (cbrt (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0))))
  (cbrt (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))))
  (cbrt (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))))
  (cbrt (* (cbrt 1) (cbrt 1)))
  (cbrt (* (cbrt 200.0) (cbrt 200.0)))
  (cbrt (* (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0))) (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0)))))
  (cbrt (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0))))
  (cbrt (* (sqrt (cbrt 200.0)) (sqrt (cbrt 200.0))))
  (cbrt (* (sqrt (cbrt 200.0)) (sqrt (cbrt 200.0))))
  (cbrt (* 1 1))
  (cbrt (* (cbrt 200.0) (cbrt 200.0)))
  (cbrt (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))))
  (cbrt (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))))
  (cbrt (* (cbrt (sqrt 200.0)) (sqrt (cbrt 200.0))))
  (cbrt (* (cbrt (sqrt 200.0)) (sqrt (cbrt 200.0))))
  (cbrt (* (sqrt (cbrt 200.0)) (cbrt (sqrt 200.0))))
  (cbrt (* (sqrt (cbrt 200.0)) (cbrt (sqrt 200.0))))
  (cbrt (* (sqrt (cbrt 200.0)) (sqrt (cbrt 200.0))))
  (cbrt (* (sqrt (cbrt 200.0)) (sqrt (cbrt 200.0))))
  (cbrt (* (cbrt 200.0) (cbrt (* (cbrt 200.0) (cbrt 200.0)))))
  (cbrt (cbrt (cbrt 200.0)))
  (cbrt (* (cbrt 200.0) (cbrt (sqrt 200.0))))
  (cbrt (cbrt (sqrt 200.0)))
  (cbrt (* (cbrt 200.0) (cbrt 1)))
  (cbrt (cbrt 200.0))
  (cbrt (* (cbrt 200.0) (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0)))))
  (cbrt (cbrt (cbrt 200.0)))
  (cbrt (* (cbrt 200.0) (sqrt (cbrt 200.0))))
  (cbrt (sqrt (cbrt 200.0)))
  (cbrt (* (cbrt 200.0) 1))
  (cbrt (cbrt 200.0))
  (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0))))
  (cbrt (* (cbrt (cbrt 200.0)) (cbrt 200.0)))
  (cbrt (cbrt (sqrt 200.0)))
  (cbrt (* (cbrt (sqrt 200.0)) (cbrt 200.0)))
  (cbrt (cbrt 1))
  (cbrt (* (cbrt 200.0) (cbrt 200.0)))
  (cbrt (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0))))
  (cbrt (* (cbrt (cbrt 200.0)) (cbrt 200.0)))
  (cbrt (sqrt (cbrt 200.0)))
  (cbrt (* (sqrt (cbrt 200.0)) (cbrt 200.0)))
  (cbrt 1)
  (cbrt (* (cbrt 200.0) (cbrt 200.0)))
  (cbrt (cbrt 200.0))
  (cbrt (cbrt 200.0))
  (* (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0)))))
  (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0))))
  (* (* (cbrt (* (cbrt 200.0) (cbrt 200.0))) (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (cbrt (* (cbrt 200.0) (cbrt 200.0))))
  (sqrt (cbrt (* (cbrt 200.0) (cbrt 200.0))))
  (sqrt (cbrt (* (cbrt 200.0) (cbrt 200.0))))
  (log (cbrt (cbrt 200.0)))
  (exp (cbrt (cbrt 200.0)))
  (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0))))
  (cbrt (cbrt (cbrt 200.0)))
  (cbrt (cbrt (sqrt 200.0)))
  (cbrt (cbrt (sqrt 200.0)))
  (cbrt (cbrt 1))
  (cbrt (cbrt 200.0))
  (cbrt (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0))))
  (cbrt (cbrt (cbrt 200.0)))
  (cbrt (sqrt (cbrt 200.0)))
  (cbrt (sqrt (cbrt 200.0)))
  (cbrt 1)
  (cbrt (cbrt 200.0))
  (* (cbrt (cbrt (cbrt 200.0))) (cbrt (cbrt (cbrt 200.0))))
  (cbrt (cbrt (cbrt 200.0)))
  (* (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0))) (cbrt (cbrt 200.0)))
  (sqrt (cbrt (cbrt 200.0)))
  (sqrt (cbrt (cbrt 200.0)))
  (* (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0))) (* (cbrt 200.0) (- x y)))
  (* (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0))) (* (cbrt 200.0) (- x y)))
  (* (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0))) (* (cbrt 200.0) (- x y)))
  (* (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0))) (* (cbrt 200.0) (- x y)))
0.643 * * [simplify]: iteration  0 :  154  enodes  (cost  1116 )
0.647 * * [simplify]: iteration  1 :  539  enodes  (cost  1050 )
0.659 * * [simplify]: iteration  2 :  2307  enodes  (cost  947 )
0.686 * * [simplify]: iteration  3 :  5002  enodes  (cost  889 )
0.691 * [simplify]: Simplified to:
   2/3
  2
  (* (cbrt 200.0) (cbrt 200.0))
  (pow (sqrt (cbrt (cbrt 200.0))) 4)
  2
  (* 2 (log (cbrt (cbrt 200.0))))
  (* 2 (log (cbrt (cbrt 200.0))))
  (exp (cbrt (* (cbrt 200.0) (cbrt 200.0))))
  (* (cbrt 200.0) (cbrt 200.0))
  (* (cbrt 200.0) (cbrt 200.0))
  (* (cbrt 200.0) (cbrt 200.0))
  (* (cbrt 200.0) (cbrt 200.0))
  (* (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0)))))
  (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0))))
  (* (cbrt 200.0) (cbrt 200.0))
  (fabs (cbrt (cbrt 200.0)))
  (fabs (cbrt (cbrt 200.0)))
  (* (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0)))))
  (* (cbrt (cbrt (cbrt 200.0))) (cbrt (cbrt (cbrt 200.0))))
  (* (cbrt (cbrt (sqrt 200.0))) (cbrt (cbrt (sqrt 200.0))))
  (* (cbrt (cbrt (sqrt 200.0))) (cbrt (cbrt (sqrt 200.0))))
  1
  (pow (sqrt (cbrt (cbrt 200.0))) 4)
  (* (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0)))))
  (* (cbrt (cbrt (cbrt 200.0))) (cbrt (cbrt (cbrt 200.0))))
  (* (cbrt (sqrt (cbrt 200.0))) (cbrt (sqrt (cbrt 200.0))))
  (* (cbrt (sqrt (cbrt 200.0))) (cbrt (sqrt (cbrt 200.0))))
  1
  (pow (sqrt (cbrt (cbrt 200.0))) 4)
  (pow (cbrt (cbrt (cbrt 200.0))) 4)
  (* (cbrt (cbrt (cbrt 200.0))) (cbrt (cbrt (cbrt 200.0))))
  (cbrt (cbrt 200.0))
  (cbrt (cbrt 200.0))
  1
  (pow (sqrt (cbrt (cbrt 200.0))) 4)
  (* (cbrt (cbrt (sqrt 200.0))) (cbrt (cbrt (sqrt 200.0))))
  (* (cbrt (cbrt (sqrt 200.0))) (cbrt (cbrt (sqrt 200.0))))
  (* (cbrt (cbrt (sqrt 200.0))) (cbrt (sqrt (cbrt 200.0))))
  (* (cbrt (cbrt (sqrt 200.0))) (cbrt (sqrt (cbrt 200.0))))
  (* (cbrt (cbrt (sqrt 200.0))) (sqrt (cbrt (cbrt 200.0))))
  (* (cbrt (cbrt (sqrt 200.0))) (sqrt (cbrt (cbrt 200.0))))
  (* (cbrt (cbrt (sqrt 200.0))) (cbrt (sqrt (cbrt 200.0))))
  (* (cbrt (cbrt (sqrt 200.0))) (cbrt (sqrt (cbrt 200.0))))
  (* (cbrt (sqrt (cbrt 200.0))) (cbrt (sqrt (cbrt 200.0))))
  (* (cbrt (sqrt (cbrt 200.0))) (cbrt (sqrt (cbrt 200.0))))
  (* (cbrt (sqrt (cbrt 200.0))) (sqrt (cbrt (cbrt 200.0))))
  (* (cbrt (sqrt (cbrt 200.0))) (sqrt (cbrt (cbrt 200.0))))
  (* (cbrt (cbrt (sqrt 200.0))) (sqrt (cbrt (cbrt 200.0))))
  (* (cbrt (cbrt (sqrt 200.0))) (sqrt (cbrt (cbrt 200.0))))
  (* (cbrt (sqrt (cbrt 200.0))) (sqrt (cbrt (cbrt 200.0))))
  (* (cbrt (sqrt (cbrt 200.0))) (sqrt (cbrt (cbrt 200.0))))
  (cbrt (cbrt 200.0))
  (cbrt (cbrt 200.0))
  2/3
  2
  (* (cbrt (cbrt 200.0)) (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0)))))
  (* (cbrt (cbrt 200.0)) (cbrt (cbrt (sqrt 200.0))))
  (cbrt (cbrt 200.0))
  (* (cbrt (cbrt 200.0)) (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0)))))
  (* (cbrt (cbrt 200.0)) (cbrt (sqrt (cbrt 200.0))))
  (cbrt (cbrt 200.0))
  (pow (cbrt (cbrt (cbrt 200.0))) 5)
  (pow (sqrt (cbrt (cbrt 200.0))) 3)
  (cbrt (cbrt 200.0))
  (pow (cbrt (cbrt (cbrt 200.0))) 4)
  (* (cbrt (cbrt 200.0)) (cbrt (cbrt (sqrt 200.0))))
  (pow (sqrt (cbrt (cbrt 200.0))) 4)
  (pow (cbrt (cbrt (cbrt 200.0))) 4)
  (* (cbrt (cbrt 200.0)) (cbrt (sqrt (cbrt 200.0))))
  (pow (sqrt (cbrt (cbrt 200.0))) 4)
  (pow (cbrt (cbrt (cbrt 200.0))) 4)
  (pow (sqrt (cbrt (cbrt 200.0))) 3)
  (pow (sqrt (cbrt (cbrt 200.0))) 4)
  (* 2 (log (cbrt (cbrt 200.0))))
  (exp (cbrt (* (cbrt 200.0) (cbrt 200.0))))
  (cbrt (cbrt 200.0))
  (cbrt (cbrt 200.0))
  (cbrt (* (cbrt (cbrt 200.0)) (cbrt 200.0)))
  (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0))))
  (cbrt (sqrt (* (cbrt 200.0) (cbrt 200.0))))
  (cbrt (sqrt (* (cbrt 200.0) (cbrt 200.0))))
  1
  (pow (sqrt (cbrt (cbrt 200.0))) 4)
  (cbrt (* (cbrt (cbrt 200.0)) (cbrt 200.0)))
  (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0))))
  (cbrt (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))))
  (cbrt (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))))
  1
  (pow (sqrt (cbrt (cbrt 200.0))) 4)
  (cbrt (* (cbrt (cbrt 200.0)) (cbrt 200.0)))
  (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0))))
  (cbrt (cbrt 200.0))
  (cbrt (cbrt 200.0))
  1
  (pow (sqrt (cbrt (cbrt 200.0))) 4)
  (cbrt (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))))
  (cbrt (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))))
  (cbrt (* (sqrt (cbrt 200.0)) (cbrt (sqrt 200.0))))
  (cbrt (* (sqrt (cbrt 200.0)) (cbrt (sqrt 200.0))))
  (cbrt (* (sqrt (cbrt 200.0)) (cbrt (sqrt 200.0))))
  (cbrt (* (sqrt (cbrt 200.0)) (cbrt (sqrt 200.0))))
  (cbrt (cbrt 200.0))
  (cbrt (cbrt 200.0))
  (cbrt (* (cbrt 200.0) (cbrt (* (cbrt 200.0) (cbrt 200.0)))))
  (cbrt (cbrt (cbrt 200.0)))
  (cbrt (* (cbrt (sqrt 200.0)) (cbrt 200.0)))
  (cbrt (cbrt (sqrt 200.0)))
  (cbrt (cbrt 200.0))
  (cbrt (cbrt 200.0))
  (cbrt (* (cbrt 200.0) (cbrt (* (cbrt 200.0) (cbrt 200.0)))))
  (cbrt (cbrt (cbrt 200.0)))
  (sqrt (cbrt 200.0))
  (cbrt (sqrt (cbrt 200.0)))
  (cbrt (cbrt 200.0))
  (cbrt (cbrt 200.0))
  (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0))))
  (cbrt (* (cbrt (cbrt 200.0)) (cbrt 200.0)))
  (cbrt (cbrt (sqrt 200.0)))
  (cbrt (* (cbrt (sqrt 200.0)) (cbrt 200.0)))
  1
  (pow (sqrt (cbrt (cbrt 200.0))) 4)
  (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0))))
  (cbrt (* (cbrt (cbrt 200.0)) (cbrt 200.0)))
  (cbrt (sqrt (cbrt 200.0)))
  (sqrt (cbrt 200.0))
  1
  (pow (sqrt (cbrt (cbrt 200.0))) 4)
  (cbrt (cbrt 200.0))
  (cbrt (cbrt 200.0))
  (* (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0)))))
  (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0))))
  (* (cbrt 200.0) (cbrt 200.0))
  (fabs (cbrt (cbrt 200.0)))
  (fabs (cbrt (cbrt 200.0)))
  (* 2 (log (cbrt (cbrt 200.0))))
  (exp (cbrt (* (cbrt 200.0) (cbrt 200.0))))
  (cbrt (cbrt 200.0))
  (cbrt (cbrt 200.0))
  (cbrt (* (cbrt (cbrt 200.0)) (cbrt 200.0)))
  (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0))))
  (cbrt (sqrt (* (cbrt 200.0) (cbrt 200.0))))
  (cbrt (sqrt (* (cbrt 200.0) (cbrt 200.0))))
  1
  (pow (sqrt (cbrt (cbrt 200.0))) 4)
  (cbrt (* (cbrt (cbrt 200.0)) (cbrt 200.0)))
  (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0))))
  (cbrt (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))))
  (cbrt (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))))
  1
  (pow (sqrt (cbrt (cbrt 200.0))) 4)
  (cbrt (* (cbrt (cbrt 200.0)) (cbrt 200.0)))
  (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0))))
  (cbrt (cbrt 200.0))
  (cbrt (cbrt 200.0))
  1
  (pow (sqrt (cbrt (cbrt 200.0))) 4)
  (cbrt (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))))
  (cbrt (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))))
  (cbrt (* (sqrt (cbrt 200.0)) (cbrt (sqrt 200.0))))
  (cbrt (* (sqrt (cbrt 200.0)) (cbrt (sqrt 200.0))))
  (cbrt (* (sqrt (cbrt 200.0)) (cbrt (sqrt 200.0))))
  (cbrt (* (sqrt (cbrt 200.0)) (cbrt (sqrt 200.0))))
  (cbrt (cbrt 200.0))
  (cbrt (cbrt 200.0))
  (cbrt (* (cbrt 200.0) (cbrt (* (cbrt 200.0) (cbrt 200.0)))))
  (cbrt (cbrt (cbrt 200.0)))
  (cbrt (* (cbrt (sqrt 200.0)) (cbrt 200.0)))
  (cbrt (cbrt (sqrt 200.0)))
  (cbrt (cbrt 200.0))
  (cbrt (cbrt 200.0))
  (cbrt (* (cbrt 200.0) (cbrt (* (cbrt 200.0) (cbrt 200.0)))))
  (cbrt (cbrt (cbrt 200.0)))
  (sqrt (cbrt 200.0))
  (cbrt (sqrt (cbrt 200.0)))
  (cbrt (cbrt 200.0))
  (cbrt (cbrt 200.0))
  (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0))))
  (cbrt (* (cbrt (cbrt 200.0)) (cbrt 200.0)))
  (cbrt (cbrt (sqrt 200.0)))
  (cbrt (* (cbrt (sqrt 200.0)) (cbrt 200.0)))
  1
  (pow (sqrt (cbrt (cbrt 200.0))) 4)
  (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0))))
  (cbrt (* (cbrt (cbrt 200.0)) (cbrt 200.0)))
  (cbrt (sqrt (cbrt 200.0)))
  (sqrt (cbrt 200.0))
  1
  (pow (sqrt (cbrt (cbrt 200.0))) 4)
  (cbrt (cbrt 200.0))
  (cbrt (cbrt 200.0))
  (* (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0)))))
  (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0))))
  (* (cbrt 200.0) (cbrt 200.0))
  (fabs (cbrt (cbrt 200.0)))
  (fabs (cbrt (cbrt 200.0)))
  (log (cbrt (cbrt 200.0)))
  (exp (cbrt (cbrt 200.0)))
  (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0))))
  (cbrt (cbrt (cbrt 200.0)))
  (cbrt (cbrt (sqrt 200.0)))
  (cbrt (cbrt (sqrt 200.0)))
  1
  (cbrt (cbrt 200.0))
  (cbrt (cbrt (* (cbrt 200.0) (cbrt 200.0))))
  (cbrt (cbrt (cbrt 200.0)))
  (cbrt (sqrt (cbrt 200.0)))
  (cbrt (sqrt (cbrt 200.0)))
  1
  (cbrt (cbrt 200.0))
  (* (cbrt (cbrt (cbrt 200.0))) (cbrt (cbrt (cbrt 200.0))))
  (cbrt (cbrt (cbrt 200.0)))
  (cbrt 200.0)
  (sqrt (cbrt (cbrt 200.0)))
  (sqrt (cbrt (cbrt 200.0)))
  (* (pow (cbrt (cbrt 200.0)) 5) (+ x (- y)))
  (* (pow (cbrt (cbrt 200.0)) 5) (+ x (- y)))
  (* (pow (cbrt (cbrt 200.0)) 5) (+ x (- y)))
  (* (pow (cbrt (cbrt 200.0)) 5) (+ x (- y)))
0.692 * * * [progress]: adding candidates to table
0.916 * * [progress]: iteration 4 / 4
0.916 * * * [progress]: picking best candidate
0.918 * * * * [pick]: Picked  #<alt (λ (x y) (* (sqrt 200.0) (* (sqrt 200.0) (- x y))))>
0.918 * * * [progress]: localizing error
0.923 * * * [progress]: generating rewritten candidates
0.923 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.940 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
0.950 * * * [progress]: generating series expansions
0.950 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.950 * [approximate]: Taking taylor expansion of (* (pow (sqrt 200.0) 2) (- x y)) in (x y) around 0
0.951 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200.0) 2) (- x y)) in y
0.951 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y
0.951 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.951 * [taylor]: Taking taylor expansion of 200.0 in y
0.951 * [taylor]: Taking taylor expansion of (- x y) in y
0.951 * [taylor]: Taking taylor expansion of x in y
0.951 * [taylor]: Taking taylor expansion of y in y
0.951 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200.0) 2) (- x y)) in x
0.951 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in x
0.951 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x
0.951 * [taylor]: Taking taylor expansion of 200.0 in x
0.952 * [taylor]: Taking taylor expansion of (- x y) in x
0.952 * [taylor]: Taking taylor expansion of x in x
0.952 * [taylor]: Taking taylor expansion of y in x
0.952 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200.0) 2) (- x y)) in x
0.952 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in x
0.952 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x
0.952 * [taylor]: Taking taylor expansion of 200.0 in x
0.953 * [taylor]: Taking taylor expansion of (- x y) in x
0.953 * [taylor]: Taking taylor expansion of x in x
0.953 * [taylor]: Taking taylor expansion of y in x
0.955 * [taylor]: Taking taylor expansion of (* -1 (* (pow (sqrt 200.0) 2) y)) in y
0.955 * [taylor]: Taking taylor expansion of -1 in y
0.955 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200.0) 2) y) in y
0.955 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y
0.955 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.955 * [taylor]: Taking taylor expansion of 200.0 in y
0.955 * [taylor]: Taking taylor expansion of y in y
0.959 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y
0.959 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.959 * [taylor]: Taking taylor expansion of 200.0 in y
0.969 * [taylor]: Taking taylor expansion of 0 in y
0.975 * [taylor]: Taking taylor expansion of 0 in y
0.979 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 200.0) 2)) in (x y) around 0
0.979 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 200.0) 2)) in y
0.979 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
0.979 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.979 * [taylor]: Taking taylor expansion of x in y
0.979 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.979 * [taylor]: Taking taylor expansion of y in y
0.979 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y
0.979 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.979 * [taylor]: Taking taylor expansion of 200.0 in y
0.980 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 200.0) 2)) in x
0.980 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.980 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.980 * [taylor]: Taking taylor expansion of x in x
0.980 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.980 * [taylor]: Taking taylor expansion of y in x
0.980 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in x
0.980 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x
0.980 * [taylor]: Taking taylor expansion of 200.0 in x
0.981 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 200.0) 2)) in x
0.981 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.981 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.981 * [taylor]: Taking taylor expansion of x in x
0.981 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.981 * [taylor]: Taking taylor expansion of y in x
0.982 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in x
0.982 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x
0.982 * [taylor]: Taking taylor expansion of 200.0 in x
0.984 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y
0.984 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.984 * [taylor]: Taking taylor expansion of 200.0 in y
0.987 * [taylor]: Taking taylor expansion of (- (/ (pow (sqrt 200.0) 2) y)) in y
0.987 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 200.0) 2) y) in y
0.987 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y
0.987 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.987 * [taylor]: Taking taylor expansion of 200.0 in y
0.988 * [taylor]: Taking taylor expansion of y in y
0.996 * [taylor]: Taking taylor expansion of 0 in y
1.001 * [taylor]: Taking taylor expansion of 0 in y
1.008 * [taylor]: Taking taylor expansion of 0 in y
1.011 * [approximate]: Taking taylor expansion of (* (pow (sqrt 200.0) 2) (- (/ 1 y) (/ 1 x))) in (x y) around 0
1.011 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200.0) 2) (- (/ 1 y) (/ 1 x))) in y
1.011 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y
1.011 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
1.011 * [taylor]: Taking taylor expansion of 200.0 in y
1.016 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
1.016 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.016 * [taylor]: Taking taylor expansion of y in y
1.016 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.017 * [taylor]: Taking taylor expansion of x in y
1.017 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200.0) 2) (- (/ 1 y) (/ 1 x))) in x
1.017 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in x
1.017 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x
1.017 * [taylor]: Taking taylor expansion of 200.0 in x
1.017 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
1.017 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.017 * [taylor]: Taking taylor expansion of y in x
1.017 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.017 * [taylor]: Taking taylor expansion of x in x
1.018 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200.0) 2) (- (/ 1 y) (/ 1 x))) in x
1.018 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in x
1.018 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x
1.018 * [taylor]: Taking taylor expansion of 200.0 in x
1.018 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
1.019 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.019 * [taylor]: Taking taylor expansion of y in x
1.019 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.019 * [taylor]: Taking taylor expansion of x in x
1.021 * [taylor]: Taking taylor expansion of (* -1 (pow (sqrt 200.0) 2)) in y
1.021 * [taylor]: Taking taylor expansion of -1 in y
1.021 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y
1.021 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
1.021 * [taylor]: Taking taylor expansion of 200.0 in y
1.024 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 200.0) 2) y) in y
1.024 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y
1.024 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
1.024 * [taylor]: Taking taylor expansion of 200.0 in y
1.025 * [taylor]: Taking taylor expansion of y in y
1.033 * [taylor]: Taking taylor expansion of 0 in y
1.039 * [taylor]: Taking taylor expansion of 0 in y
1.047 * [taylor]: Taking taylor expansion of 0 in y
1.049 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
1.049 * [approximate]: Taking taylor expansion of (* (sqrt 200.0) (- x y)) in (x y) around 0
1.049 * [taylor]: Taking taylor expansion of (* (sqrt 200.0) (- x y)) in y
1.049 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
1.049 * [taylor]: Taking taylor expansion of 200.0 in y
1.050 * [taylor]: Taking taylor expansion of (- x y) in y
1.050 * [taylor]: Taking taylor expansion of x in y
1.050 * [taylor]: Taking taylor expansion of y in y
1.050 * [taylor]: Taking taylor expansion of (* (sqrt 200.0) (- x y)) in x
1.050 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x
1.050 * [taylor]: Taking taylor expansion of 200.0 in x
1.051 * [taylor]: Taking taylor expansion of (- x y) in x
1.051 * [taylor]: Taking taylor expansion of x in x
1.051 * [taylor]: Taking taylor expansion of y in x
1.051 * [taylor]: Taking taylor expansion of (* (sqrt 200.0) (- x y)) in x
1.051 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x
1.051 * [taylor]: Taking taylor expansion of 200.0 in x
1.051 * [taylor]: Taking taylor expansion of (- x y) in x
1.052 * [taylor]: Taking taylor expansion of x in x
1.052 * [taylor]: Taking taylor expansion of y in x
1.052 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt 200.0) y)) in y
1.052 * [taylor]: Taking taylor expansion of -1 in y
1.052 * [taylor]: Taking taylor expansion of (* (sqrt 200.0) y) in y
1.052 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
1.052 * [taylor]: Taking taylor expansion of 200.0 in y
1.053 * [taylor]: Taking taylor expansion of y in y
1.054 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
1.055 * [taylor]: Taking taylor expansion of 200.0 in y
1.060 * [taylor]: Taking taylor expansion of 0 in y
1.064 * [taylor]: Taking taylor expansion of 0 in y
1.066 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 200.0)) in (x y) around 0
1.066 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 200.0)) in y
1.066 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
1.066 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.066 * [taylor]: Taking taylor expansion of x in y
1.066 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.066 * [taylor]: Taking taylor expansion of y in y
1.067 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
1.067 * [taylor]: Taking taylor expansion of 200.0 in y
1.067 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 200.0)) in x
1.067 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
1.067 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.067 * [taylor]: Taking taylor expansion of x in x
1.068 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.068 * [taylor]: Taking taylor expansion of y in x
1.068 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x
1.068 * [taylor]: Taking taylor expansion of 200.0 in x
1.068 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 200.0)) in x
1.068 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
1.068 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.068 * [taylor]: Taking taylor expansion of x in x
1.069 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.069 * [taylor]: Taking taylor expansion of y in x
1.069 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x
1.069 * [taylor]: Taking taylor expansion of 200.0 in x
1.070 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
1.070 * [taylor]: Taking taylor expansion of 200.0 in y
1.072 * [taylor]: Taking taylor expansion of (- (/ (sqrt 200.0) y)) in y
1.072 * [taylor]: Taking taylor expansion of (/ (sqrt 200.0) y) in y
1.072 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
1.072 * [taylor]: Taking taylor expansion of 200.0 in y
1.073 * [taylor]: Taking taylor expansion of y in y
1.077 * [taylor]: Taking taylor expansion of 0 in y
1.081 * [taylor]: Taking taylor expansion of 0 in y
1.085 * [taylor]: Taking taylor expansion of 0 in y
1.087 * [approximate]: Taking taylor expansion of (* (sqrt 200.0) (- (/ 1 y) (/ 1 x))) in (x y) around 0
1.087 * [taylor]: Taking taylor expansion of (* (sqrt 200.0) (- (/ 1 y) (/ 1 x))) in y
1.087 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
1.087 * [taylor]: Taking taylor expansion of 200.0 in y
1.088 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
1.088 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.088 * [taylor]: Taking taylor expansion of y in y
1.088 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.088 * [taylor]: Taking taylor expansion of x in y
1.088 * [taylor]: Taking taylor expansion of (* (sqrt 200.0) (- (/ 1 y) (/ 1 x))) in x
1.088 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x
1.088 * [taylor]: Taking taylor expansion of 200.0 in x
1.089 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
1.089 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.089 * [taylor]: Taking taylor expansion of y in x
1.089 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.089 * [taylor]: Taking taylor expansion of x in x
1.089 * [taylor]: Taking taylor expansion of (* (sqrt 200.0) (- (/ 1 y) (/ 1 x))) in x
1.089 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x
1.089 * [taylor]: Taking taylor expansion of 200.0 in x
1.090 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
1.090 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.090 * [taylor]: Taking taylor expansion of y in x
1.090 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.090 * [taylor]: Taking taylor expansion of x in x
1.096 * [taylor]: Taking taylor expansion of (* -1 (sqrt 200.0)) in y
1.096 * [taylor]: Taking taylor expansion of -1 in y
1.096 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
1.096 * [taylor]: Taking taylor expansion of 200.0 in y
1.098 * [taylor]: Taking taylor expansion of (/ (sqrt 200.0) y) in y
1.098 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
1.098 * [taylor]: Taking taylor expansion of 200.0 in y
1.099 * [taylor]: Taking taylor expansion of y in y
1.103 * [taylor]: Taking taylor expansion of 0 in y
1.107 * [taylor]: Taking taylor expansion of 0 in y
1.112 * [taylor]: Taking taylor expansion of 0 in y
1.113 * * * [progress]: simplifying candidates
1.114 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (sqrt 200.0) (* (sqrt 200.0) (- x y)))
  (* (sqrt 200.0) (* (sqrt 200.0) (- x y)))
  (+ (log (sqrt 200.0)) (+ (log (sqrt 200.0)) (log (- x y))))
  (+ (log (sqrt 200.0)) (log (* (sqrt 200.0) (- x y))))
  (log (* (sqrt 200.0) (* (sqrt 200.0) (- x y))))
  (exp (* (sqrt 200.0) (* (sqrt 200.0) (- x y))))
  (* (* (* (sqrt 200.0) (sqrt 200.0)) (sqrt 200.0)) (* (* (* (sqrt 200.0) (sqrt 200.0)) (sqrt 200.0)) (* (* (- x y) (- x y)) (- x y))))
  (* (* (* (sqrt 200.0) (sqrt 200.0)) (sqrt 200.0)) (* (* (* (sqrt 200.0) (- x y)) (* (sqrt 200.0) (- x y))) (* (sqrt 200.0) (- x y))))
  (* (cbrt (* (sqrt 200.0) (* (sqrt 200.0) (- x y)))) (cbrt (* (sqrt 200.0) (* (sqrt 200.0) (- x y)))))
  (cbrt (* (sqrt 200.0) (* (sqrt 200.0) (- x y))))
  (* (* (* (sqrt 200.0) (* (sqrt 200.0) (- x y))) (* (sqrt 200.0) (* (sqrt 200.0) (- x y)))) (* (sqrt 200.0) (* (sqrt 200.0) (- x y))))
  (sqrt (* (sqrt 200.0) (* (sqrt 200.0) (- x y))))
  (sqrt (* (sqrt 200.0) (* (sqrt 200.0) (- x y))))
  (* (sqrt (sqrt 200.0)) (sqrt (* (sqrt 200.0) (- x y))))
  (* (sqrt (sqrt 200.0)) (sqrt (* (sqrt 200.0) (- x y))))
  (* (sqrt (sqrt 200.0)) (* (sqrt (sqrt 200.0)) (sqrt (- x y))))
  (* (sqrt (sqrt 200.0)) (* (sqrt (sqrt 200.0)) (sqrt (- x y))))
  (* (sqrt (sqrt 200.0)) (* (sqrt (sqrt 200.0)) (sqrt (- x y))))
  (* (sqrt (sqrt 200.0)) (* (sqrt (sqrt 200.0)) (sqrt (- x y))))
  (* (sqrt (sqrt 200.0)) (sqrt (* (sqrt 200.0) (- x y))))
  (* (sqrt (sqrt 200.0)) (sqrt (* (sqrt 200.0) (- x y))))
  (* (sqrt (sqrt 200.0)) (* (sqrt (sqrt 200.0)) (sqrt (- x y))))
  (* (sqrt (sqrt 200.0)) (* (sqrt (sqrt 200.0)) (sqrt (- x y))))
  (* (sqrt (sqrt 200.0)) (* (sqrt (sqrt 200.0)) (sqrt (- x y))))
  (* (sqrt (sqrt 200.0)) (* (sqrt (sqrt 200.0)) (sqrt (- x y))))
  (* (sqrt 200.0) (* (sqrt 200.0) x))
  (* (sqrt 200.0) (* (sqrt 200.0) (- y)))
  (* (sqrt 200.0) (* (sqrt 200.0) x))
  (* (sqrt 200.0) (* (sqrt 200.0) (- y)))
  (* (sqrt 200.0) (* x (sqrt 200.0)))
  (* (sqrt 200.0) (* (- y) (sqrt 200.0)))
  (* (sqrt 200.0) (* x (sqrt 200.0)))
  (* (sqrt 200.0) (* (- y) (sqrt 200.0)))
  (* (* (sqrt 200.0) x) (sqrt 200.0))
  (* (* (sqrt 200.0) (- y)) (sqrt 200.0))
  (* (* (sqrt 200.0) x) (sqrt 200.0))
  (* (* (sqrt 200.0) (- y)) (sqrt 200.0))
  (* (* x (sqrt 200.0)) (sqrt 200.0))
  (* (* (- y) (sqrt 200.0)) (sqrt 200.0))
  (* (* x (sqrt 200.0)) (sqrt 200.0))
  (* (* (- y) (sqrt 200.0)) (sqrt 200.0))
  (* (sqrt 200.0) (sqrt 200.0))
  (* (sqrt 200.0) (* (cbrt (* (sqrt 200.0) (- x y))) (cbrt (* (sqrt 200.0) (- x y)))))
  (* (sqrt 200.0) (sqrt (* (sqrt 200.0) (- x y))))
  (* (sqrt 200.0) 1)
  (* (sqrt 200.0) (* (sqrt (sqrt 200.0)) (sqrt (- x y))))
  (* (sqrt 200.0) (* (sqrt (sqrt 200.0)) (sqrt (- x y))))
  (* (sqrt 200.0) (* (sqrt 200.0) (* (cbrt (- x y)) (cbrt (- x y)))))
  (* (sqrt 200.0) (* (sqrt 200.0) (sqrt (- x y))))
  (* (sqrt 200.0) (* (sqrt 200.0) 1))
  (* (sqrt 200.0) (* (sqrt 200.0) (+ (sqrt x) (sqrt y))))
  (* (sqrt 200.0) (* (sqrt 200.0) 1))
  (* (sqrt 200.0) (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))))
  (* (sqrt 200.0) (sqrt (* (cbrt 200.0) (cbrt 200.0))))
  (* (sqrt 200.0) (sqrt (sqrt 200.0)))
  (* (sqrt 200.0) (sqrt 1))
  (* (sqrt 200.0) (sqrt (sqrt 200.0)))
  (* (sqrt 200.0) 1)
  (* (sqrt 200.0) (- x y))
  (* (cbrt (sqrt 200.0)) (* (sqrt 200.0) (- x y)))
  (* (sqrt (cbrt 200.0)) (* (sqrt 200.0) (- x y)))
  (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y)))
  (* (sqrt 200.0) (* (sqrt 200.0) (- x y)))
  (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y)))
  (* (sqrt 200.0) (* (sqrt 200.0) (- x y)))
  (* (sqrt 200.0) (* (sqrt 200.0) (- (pow x 3) (pow y 3))))
  (* (sqrt 200.0) (* (sqrt 200.0) (- (* x x) (* y y))))
  (* (sqrt 200.0) (- x y))
  (+ (log (sqrt 200.0)) (log (- x y)))
  (log (* (sqrt 200.0) (- x y)))
  (exp (* (sqrt 200.0) (- x y)))
  (* (* (* (sqrt 200.0) (sqrt 200.0)) (sqrt 200.0)) (* (* (- x y) (- x y)) (- x y)))
  (* (cbrt (* (sqrt 200.0) (- x y))) (cbrt (* (sqrt 200.0) (- x y))))
  (cbrt (* (sqrt 200.0) (- x y)))
  (* (* (* (sqrt 200.0) (- x y)) (* (sqrt 200.0) (- x y))) (* (sqrt 200.0) (- x y)))
  (sqrt (* (sqrt 200.0) (- x y)))
  (sqrt (* (sqrt 200.0) (- x y)))
  (* (sqrt (sqrt 200.0)) (sqrt (- x y)))
  (* (sqrt (sqrt 200.0)) (sqrt (- x y)))
  (* (sqrt (sqrt 200.0)) (sqrt (- x y)))
  (* (sqrt (sqrt 200.0)) (sqrt (- x y)))
  (* (sqrt 200.0) x)
  (* (sqrt 200.0) (- y))
  (* (sqrt 200.0) x)
  (* (sqrt 200.0) (- y))
  (* x (sqrt 200.0))
  (* (- y) (sqrt 200.0))
  (* x (sqrt 200.0))
  (* (- y) (sqrt 200.0))
  (* (sqrt 200.0) (* (cbrt (- x y)) (cbrt (- x y))))
  (* (sqrt 200.0) (sqrt (- x y)))
  (* (sqrt 200.0) 1)
  (* (sqrt 200.0) (+ (sqrt x) (sqrt y)))
  (* (sqrt 200.0) 1)
  (* (cbrt (sqrt 200.0)) (- x y))
  (* (sqrt (cbrt 200.0)) (- x y))
  (* (sqrt (sqrt 200.0)) (- x y))
  (* (sqrt 200.0) (- x y))
  (* (sqrt (sqrt 200.0)) (- x y))
  (* (sqrt 200.0) (- x y))
  (* (sqrt 200.0) (- (pow x 3) (pow y 3)))
  (* (sqrt 200.0) (- (* x x) (* y y)))
  (- (* x (pow (sqrt 200.0) 2)) (* (pow (sqrt 200.0) 2) y))
  (- (* x (pow (sqrt 200.0) 2)) (* (pow (sqrt 200.0) 2) y))
  (- (* x (pow (sqrt 200.0) 2)) (* (pow (sqrt 200.0) 2) y))
  (- (* x (sqrt 200.0)) (* (sqrt 200.0) y))
  (- (* x (sqrt 200.0)) (* (sqrt 200.0) y))
  (- (* x (sqrt 200.0)) (* (sqrt 200.0) y))
1.119 * * [simplify]: iteration  0 :  232  enodes  (cost  490 )
1.125 * * [simplify]: iteration  1 :  1051  enodes  (cost  399 )
1.149 * * [simplify]: iteration  2 :  5001  enodes  (cost  391 )
1.152 * [simplify]: Simplified to:
   (* 200.0 (- x y))
  (* 200.0 (- x y))
  (+ (log 200.0) (log (- x y)))
  (+ (log 200.0) (log (- x y)))
  (+ (log 200.0) (log (- x y)))
  (pow (exp 200.0) (- x y))
  (pow (* 200.0 (- x y)) 3)
  (pow (* 200.0 (- x y)) 3)
  (* (cbrt (* (sqrt 200.0) (* (sqrt 200.0) (- x y)))) (cbrt (* (sqrt 200.0) (* (sqrt 200.0) (- x y)))))
  (cbrt (* (sqrt 200.0) (* (sqrt 200.0) (- x y))))
  (pow (* 200.0 (- x y)) 3)
  (sqrt (* (sqrt 200.0) (* (sqrt 200.0) (- x y))))
  (sqrt (* (sqrt 200.0) (* (sqrt 200.0) (- x y))))
  (* (sqrt (sqrt 200.0)) (sqrt (* (sqrt 200.0) (- x y))))
  (* (sqrt (sqrt 200.0)) (sqrt (* (sqrt 200.0) (- x y))))
  (* (sqrt 200.0) (sqrt (- x y)))
  (* (sqrt 200.0) (sqrt (- x y)))
  (* (sqrt 200.0) (sqrt (- x y)))
  (* (sqrt 200.0) (sqrt (- x y)))
  (* (sqrt (sqrt 200.0)) (sqrt (* (sqrt 200.0) (- x y))))
  (* (sqrt (sqrt 200.0)) (sqrt (* (sqrt 200.0) (- x y))))
  (* (sqrt 200.0) (sqrt (- x y)))
  (* (sqrt 200.0) (sqrt (- x y)))
  (* (sqrt 200.0) (sqrt (- x y)))
  (* (sqrt 200.0) (sqrt (- x y)))
  (* 200.0 x)
  (* 200.0 (- y))
  (* 200.0 x)
  (* 200.0 (- y))
  (* 200.0 x)
  (* 200.0 (- y))
  (* 200.0 x)
  (* 200.0 (- y))
  (* 200.0 x)
  (* 200.0 (- y))
  (* 200.0 x)
  (* 200.0 (- y))
  (* 200.0 x)
  (* 200.0 (- y))
  (* 200.0 x)
  (* 200.0 (- y))
  200.0
  (* (sqrt 200.0) (* (cbrt (* (sqrt 200.0) (- x y))) (cbrt (* (sqrt 200.0) (- x y)))))
  (* (sqrt 200.0) (sqrt (* (sqrt 200.0) (- x y))))
  (sqrt 200.0)
  (* (pow (sqrt (sqrt 200.0)) 3) (sqrt (- x y)))
  (* (pow (sqrt (sqrt 200.0)) 3) (sqrt (- x y)))
  (* 200.0 (* (cbrt (- x y)) (cbrt (- x y))))
  (* 200.0 (sqrt (- x y)))
  200.0
  (* 200.0 (+ (sqrt x) (sqrt y)))
  200.0
  (* (sqrt 200.0) (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))))
  (* (fabs (cbrt 200.0)) (sqrt 200.0))
  (pow (sqrt (sqrt 200.0)) 3)
  (sqrt 200.0)
  (pow (sqrt (sqrt 200.0)) 3)
  (sqrt 200.0)
  (* (sqrt 200.0) (- x y))
  (* (cbrt (sqrt 200.0)) (* (sqrt 200.0) (- x y)))
  (* (sqrt (cbrt 200.0)) (* (sqrt 200.0) (- x y)))
  (* (pow (sqrt (sqrt 200.0)) 3) (- x y))
  (* 200.0 (- x y))
  (* (pow (sqrt (sqrt 200.0)) 3) (- x y))
  (* 200.0 (- x y))
  (* 200.0 (- (pow x 3) (pow y 3)))
  (* 200.0 (- (* x x) (* y y)))
  (* (sqrt 200.0) (- x y))
  (log (* (sqrt 200.0) (- x y)))
  (log (* (sqrt 200.0) (- x y)))
  (exp (* (sqrt 200.0) (- x y)))
  (pow (* (sqrt 200.0) (- x y)) 3)
  (* (cbrt (* (sqrt 200.0) (- x y))) (cbrt (* (sqrt 200.0) (- x y))))
  (cbrt (* (sqrt 200.0) (- x y)))
  (pow (* (sqrt 200.0) (- x y)) 3)
  (sqrt (* (sqrt 200.0) (- x y)))
  (sqrt (* (sqrt 200.0) (- x y)))
  (* (sqrt (sqrt 200.0)) (sqrt (- x y)))
  (* (sqrt (sqrt 200.0)) (sqrt (- x y)))
  (* (sqrt (sqrt 200.0)) (sqrt (- x y)))
  (* (sqrt (sqrt 200.0)) (sqrt (- x y)))
  (* (sqrt 200.0) x)
  (* (sqrt 200.0) (- y))
  (* (sqrt 200.0) x)
  (* (sqrt 200.0) (- y))
  (* (sqrt 200.0) x)
  (* (sqrt 200.0) (- y))
  (* (sqrt 200.0) x)
  (* (sqrt 200.0) (- y))
  (* (sqrt 200.0) (* (cbrt (- x y)) (cbrt (- x y))))
  (* (sqrt 200.0) (sqrt (- x y)))
  (sqrt 200.0)
  (* (sqrt 200.0) (+ (sqrt x) (sqrt y)))
  (sqrt 200.0)
  (* (cbrt (sqrt 200.0)) (- x y))
  (* (sqrt (cbrt 200.0)) (- x y))
  (* (sqrt (sqrt 200.0)) (- x y))
  (* (sqrt 200.0) (- x y))
  (* (sqrt (sqrt 200.0)) (- x y))
  (* (sqrt 200.0) (- x y))
  (* (sqrt 200.0) (- (pow x 3) (pow y 3)))
  (* (sqrt 200.0) (- (* x x) (* y 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) (- x y))
1.152 * * * [progress]: adding candidates to table
1.237 * [progress]: [Phase 3 of 3] Extracting.
1.237 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (* (* (cbrt (* (cbrt 200.0) (cbrt 200.0))) (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (* (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0))) (* (cbrt 200.0) (- x y)))))> #<alt (λ (x y) (* 200.0 (- x y)))> #<alt (λ (x y) (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- x y))))> #<alt (λ (x y) (* (sqrt 200.0) (* (sqrt 200.0) (- x y))))>)
1.237 * * * [regime-changes]: Trying 4 branch expressions: ((- x y) (* 200.0 (- x y)) y x)
1.237 * * * * [regimes]: Trying to branch on (- x y) from (#<alt (λ (x y) (* (* (cbrt (* (cbrt 200.0) (cbrt 200.0))) (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (* (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0))) (* (cbrt 200.0) (- x y)))))> #<alt (λ (x y) (* 200.0 (- x y)))> #<alt (λ (x y) (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- x y))))> #<alt (λ (x y) (* (sqrt 200.0) (* (sqrt 200.0) (- x y))))>)
1.252 * * * * [regimes]: Trying to branch on (* 200.0 (- x y)) from (#<alt (λ (x y) (* (* (cbrt (* (cbrt 200.0) (cbrt 200.0))) (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (* (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0))) (* (cbrt 200.0) (- x y)))))> #<alt (λ (x y) (* 200.0 (- x y)))> #<alt (λ (x y) (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- x y))))> #<alt (λ (x y) (* (sqrt 200.0) (* (sqrt 200.0) (- x y))))>)
1.269 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (* (* (cbrt (* (cbrt 200.0) (cbrt 200.0))) (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (* (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0))) (* (cbrt 200.0) (- x y)))))> #<alt (λ (x y) (* 200.0 (- x y)))> #<alt (λ (x y) (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- x y))))> #<alt (λ (x y) (* (sqrt 200.0) (* (sqrt 200.0) (- x y))))>)
1.287 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (* (* (cbrt (* (cbrt 200.0) (cbrt 200.0))) (cbrt (* (cbrt 200.0) (cbrt 200.0)))) (* (* (cbrt (cbrt 200.0)) (cbrt (cbrt 200.0))) (* (cbrt 200.0) (- x y)))))> #<alt (λ (x y) (* 200.0 (- x y)))> #<alt (λ (x y) (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (- x y))))> #<alt (λ (x y) (* (sqrt 200.0) (* (sqrt 200.0) (- x y))))>)
1.303 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
1.303 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* 200.0 (- x y))
1.304 * * [simplify]: iteration  0 :  6  enodes  (cost  2 )
1.304 * * [simplify]: iteration  1 :  6  enodes  (cost  2 )
1.304 * [simplify]: Simplified to:
   (* 200.0 (- x y))
1.676 * [regime-testing]: Baseline error score: 0.03025378172271534
1.677 * [regime-testing]: Oracle error score: 0.004250531316414552
1.678 * [regime-testing]: End program error score: 0.03025378172271534