17.478 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.077 * * * [progress]: [2/2] Setting up program.
0.080 * [progress]: [Phase 2 of 3] Improving.
0.080 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* 200.0 (- x y))
0.087 * * [simplify]: iteration  0 :  172  enodes  (cost  5 )
0.087 * * [simplify]: iteration  1 :  172  enodes  (cost  5 )
0.087 * [simplify]: Simplified to:
   (* 200.0 (- x y))
0.087 * * [progress]: iteration 1 / 4
0.087 * * * [progress]: picking best candidate
0.089 * * * * [pick]: Picked  #<alt (λ (x y) (* 200.0 (- x y)))>
0.089 * * * [progress]: localizing error
0.092 * * * [progress]: generating rewritten candidates
0.092 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.099 * * * [progress]: generating series expansions
0.099 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.099 * [approximate]: Taking taylor expansion of (* 200.0 (- x y)) in (x y) around 0
0.099 * [taylor]: Taking taylor expansion of (* 200.0 (- x y)) in y
0.099 * [taylor]: Taking taylor expansion of 200.0 in y
0.099 * [taylor]: Taking taylor expansion of (- x y) in y
0.099 * [taylor]: Taking taylor expansion of x in y
0.099 * [taylor]: Taking taylor expansion of y in y
0.099 * [taylor]: Taking taylor expansion of (* 200.0 (- x y)) in x
0.099 * [taylor]: Taking taylor expansion of 200.0 in x
0.099 * [taylor]: Taking taylor expansion of (- x y) in x
0.099 * [taylor]: Taking taylor expansion of x in x
0.099 * [taylor]: Taking taylor expansion of y in x
0.099 * [taylor]: Taking taylor expansion of (* 200.0 (- x y)) in x
0.099 * [taylor]: Taking taylor expansion of 200.0 in x
0.099 * [taylor]: Taking taylor expansion of (- x y) in x
0.099 * [taylor]: Taking taylor expansion of x in x
0.099 * [taylor]: Taking taylor expansion of y in x
0.099 * [taylor]: Taking taylor expansion of (* -200.0 y) in y
0.099 * [taylor]: Taking taylor expansion of -200.0 in y
0.099 * [taylor]: Taking taylor expansion of y in y
0.100 * [taylor]: Taking taylor expansion of 200.0 in y
0.100 * [taylor]: Taking taylor expansion of 0 in y
0.100 * [taylor]: Taking taylor expansion of 0 in y
0.100 * [approximate]: Taking taylor expansion of (* 200.0 (- (/ 1 x) (/ 1 y))) in (x y) around 0
0.100 * [taylor]: Taking taylor expansion of (* 200.0 (- (/ 1 x) (/ 1 y))) in y
0.100 * [taylor]: Taking taylor expansion of 200.0 in y
0.100 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
0.100 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.100 * [taylor]: Taking taylor expansion of x in y
0.100 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.100 * [taylor]: Taking taylor expansion of y in y
0.100 * [taylor]: Taking taylor expansion of (* 200.0 (- (/ 1 x) (/ 1 y))) in x
0.100 * [taylor]: Taking taylor expansion of 200.0 in x
0.100 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.100 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.100 * [taylor]: Taking taylor expansion of x in x
0.100 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.100 * [taylor]: Taking taylor expansion of y in x
0.100 * [taylor]: Taking taylor expansion of (* 200.0 (- (/ 1 x) (/ 1 y))) in x
0.100 * [taylor]: Taking taylor expansion of 200.0 in x
0.100 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.100 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.100 * [taylor]: Taking taylor expansion of x in x
0.100 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.100 * [taylor]: Taking taylor expansion of y in x
0.100 * [taylor]: Taking taylor expansion of 200.0 in y
0.101 * [taylor]: Taking taylor expansion of (neg (* 200.0 (/ 1 y))) in y
0.101 * [taylor]: Taking taylor expansion of (* 200.0 (/ 1 y)) in y
0.101 * [taylor]: Taking taylor expansion of 200.0 in y
0.101 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.101 * [taylor]: Taking taylor expansion of y in y
0.101 * [taylor]: Taking taylor expansion of 0 in y
0.101 * [taylor]: Taking taylor expansion of 0 in y
0.101 * [taylor]: Taking taylor expansion of 0 in y
0.102 * [approximate]: Taking taylor expansion of (* 200.0 (- (/ 1 y) (/ 1 x))) in (x y) around 0
0.102 * [taylor]: Taking taylor expansion of (* 200.0 (- (/ 1 y) (/ 1 x))) in y
0.102 * [taylor]: Taking taylor expansion of 200.0 in y
0.102 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
0.102 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.102 * [taylor]: Taking taylor expansion of y in y
0.102 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.102 * [taylor]: Taking taylor expansion of x in y
0.102 * [taylor]: Taking taylor expansion of (* 200.0 (- (/ 1 y) (/ 1 x))) in x
0.102 * [taylor]: Taking taylor expansion of 200.0 in x
0.102 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.102 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.102 * [taylor]: Taking taylor expansion of y in x
0.102 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.102 * [taylor]: Taking taylor expansion of x in x
0.102 * [taylor]: Taking taylor expansion of (* 200.0 (- (/ 1 y) (/ 1 x))) in x
0.102 * [taylor]: Taking taylor expansion of 200.0 in x
0.102 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.102 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.102 * [taylor]: Taking taylor expansion of y in x
0.102 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.102 * [taylor]: Taking taylor expansion of x in x
0.102 * [taylor]: Taking taylor expansion of -200.0 in y
0.102 * [taylor]: Taking taylor expansion of (* 200.0 (/ 1 y)) in y
0.102 * [taylor]: Taking taylor expansion of 200.0 in y
0.102 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.102 * [taylor]: Taking taylor expansion of y in y
0.103 * [taylor]: Taking taylor expansion of 0 in y
0.103 * [taylor]: Taking taylor expansion of 0 in y
0.103 * [taylor]: Taking taylor expansion of 0 in y
0.103 * * * [progress]: simplifying candidates
0.104 * [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.161 * * [simplify]: iteration  0 :  4952  enodes  (cost  172 )
0.161 * * [simplify]: iteration  1 :  4952  enodes  (cost  172 )
0.162 * [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.162 * * * [progress]: adding candidates to table
0.190 * * [progress]: iteration 2 / 4
0.190 * * * [progress]: picking best candidate
0.196 * * * * [pick]: Picked  #<alt (λ (x y) (* (* (cbrt 200.0) (cbrt 200.0)) (* (- x y) (cbrt 200.0))))>
0.196 * * * [progress]: localizing error
0.202 * * * [progress]: generating rewritten candidates
0.202 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.214 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
0.222 * * * [progress]: generating series expansions
0.222 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.222 * [approximate]: Taking taylor expansion of (* (pow (cbrt 200.0) 3) (- x y)) in (x y) around 0
0.222 * [taylor]: Taking taylor expansion of (* (pow (cbrt 200.0) 3) (- x y)) in y
0.222 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 3) in y
0.222 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y
0.222 * [taylor]: Taking taylor expansion of 200.0 in y
0.222 * [taylor]: Taking taylor expansion of (- x y) in y
0.222 * [taylor]: Taking taylor expansion of x in y
0.222 * [taylor]: Taking taylor expansion of y in y
0.223 * [taylor]: Taking taylor expansion of (* (pow (cbrt 200.0) 3) (- x y)) in x
0.223 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 3) in x
0.223 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x
0.223 * [taylor]: Taking taylor expansion of 200.0 in x
0.223 * [taylor]: Taking taylor expansion of (- x y) in x
0.223 * [taylor]: Taking taylor expansion of x in x
0.223 * [taylor]: Taking taylor expansion of y in x
0.223 * [taylor]: Taking taylor expansion of (* (pow (cbrt 200.0) 3) (- x y)) in x
0.223 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 3) in x
0.223 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x
0.223 * [taylor]: Taking taylor expansion of 200.0 in x
0.223 * [taylor]: Taking taylor expansion of (- x y) in x
0.223 * [taylor]: Taking taylor expansion of x in x
0.223 * [taylor]: Taking taylor expansion of y in x
0.223 * [taylor]: Taking taylor expansion of (* -200.0 y) in y
0.223 * [taylor]: Taking taylor expansion of -200.0 in y
0.223 * [taylor]: Taking taylor expansion of y in y
0.223 * [taylor]: Taking taylor expansion of 200.0 in y
0.224 * [taylor]: Taking taylor expansion of 0 in y
0.224 * [taylor]: Taking taylor expansion of 0 in y
0.225 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 200.0) 3)) in (x y) around 0
0.225 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 200.0) 3)) in y
0.225 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
0.225 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.225 * [taylor]: Taking taylor expansion of x in y
0.225 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.225 * [taylor]: Taking taylor expansion of y in y
0.225 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 3) in y
0.225 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y
0.225 * [taylor]: Taking taylor expansion of 200.0 in y
0.225 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 200.0) 3)) in x
0.225 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.225 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.225 * [taylor]: Taking taylor expansion of x in x
0.225 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.225 * [taylor]: Taking taylor expansion of y in x
0.225 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 3) in x
0.225 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x
0.225 * [taylor]: Taking taylor expansion of 200.0 in x
0.225 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 200.0) 3)) in x
0.225 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.225 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.225 * [taylor]: Taking taylor expansion of x in x
0.225 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.225 * [taylor]: Taking taylor expansion of y in x
0.225 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 3) in x
0.225 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x
0.225 * [taylor]: Taking taylor expansion of 200.0 in x
0.226 * [taylor]: Taking taylor expansion of 200.0 in y
0.226 * [taylor]: Taking taylor expansion of (neg (* 200.0 (/ 1 y))) in y
0.226 * [taylor]: Taking taylor expansion of (* 200.0 (/ 1 y)) in y
0.226 * [taylor]: Taking taylor expansion of 200.0 in y
0.226 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.226 * [taylor]: Taking taylor expansion of y in y
0.226 * [taylor]: Taking taylor expansion of 0 in y
0.227 * [taylor]: Taking taylor expansion of 0 in y
0.228 * [taylor]: Taking taylor expansion of 0 in y
0.228 * [approximate]: Taking taylor expansion of (* (pow (cbrt 200.0) 3) (- (/ 1 y) (/ 1 x))) in (x y) around 0
0.228 * [taylor]: Taking taylor expansion of (* (pow (cbrt 200.0) 3) (- (/ 1 y) (/ 1 x))) in y
0.228 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 3) in y
0.228 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y
0.228 * [taylor]: Taking taylor expansion of 200.0 in y
0.228 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
0.228 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.228 * [taylor]: Taking taylor expansion of y in y
0.228 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.228 * [taylor]: Taking taylor expansion of x in y
0.228 * [taylor]: Taking taylor expansion of (* (pow (cbrt 200.0) 3) (- (/ 1 y) (/ 1 x))) in x
0.228 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 3) in x
0.228 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x
0.228 * [taylor]: Taking taylor expansion of 200.0 in x
0.228 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.228 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.228 * [taylor]: Taking taylor expansion of y in x
0.228 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.229 * [taylor]: Taking taylor expansion of x in x
0.229 * [taylor]: Taking taylor expansion of (* (pow (cbrt 200.0) 3) (- (/ 1 y) (/ 1 x))) in x
0.229 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 3) in x
0.229 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x
0.229 * [taylor]: Taking taylor expansion of 200.0 in x
0.229 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.229 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.229 * [taylor]: Taking taylor expansion of y in x
0.229 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.229 * [taylor]: Taking taylor expansion of x in x
0.229 * [taylor]: Taking taylor expansion of -200.0 in y
0.229 * [taylor]: Taking taylor expansion of (* 200.0 (/ 1 y)) in y
0.229 * [taylor]: Taking taylor expansion of 200.0 in y
0.229 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.229 * [taylor]: Taking taylor expansion of y in y
0.230 * [taylor]: Taking taylor expansion of 0 in y
0.231 * [taylor]: Taking taylor expansion of 0 in y
0.231 * [taylor]: Taking taylor expansion of 0 in y
0.231 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
0.232 * [approximate]: Taking taylor expansion of (* (cbrt 200.0) (- x y)) in (x y) around 0
0.232 * [taylor]: Taking taylor expansion of (* (cbrt 200.0) (- x y)) in y
0.232 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y
0.232 * [taylor]: Taking taylor expansion of 200.0 in y
0.232 * [taylor]: Taking taylor expansion of (- x y) in y
0.232 * [taylor]: Taking taylor expansion of x in y
0.232 * [taylor]: Taking taylor expansion of y in y
0.232 * [taylor]: Taking taylor expansion of (* (cbrt 200.0) (- x y)) 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.232 * [taylor]: Taking taylor expansion of (- x y) in x
0.232 * [taylor]: Taking taylor expansion of x in x
0.232 * [taylor]: Taking taylor expansion of y in x
0.232 * [taylor]: Taking taylor expansion of (* (cbrt 200.0) (- x y)) 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.232 * [taylor]: Taking taylor expansion of (- x y) in x
0.232 * [taylor]: Taking taylor expansion of x in x
0.232 * [taylor]: Taking taylor expansion of y in x
0.232 * [taylor]: Taking taylor expansion of (* -1 (* y (cbrt 200.0))) in y
0.232 * [taylor]: Taking taylor expansion of -1 in y
0.232 * [taylor]: Taking taylor expansion of (* y (cbrt 200.0)) in y
0.232 * [taylor]: Taking taylor expansion of y in y
0.232 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y
0.232 * [taylor]: Taking taylor expansion of 200.0 in y
0.232 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y
0.232 * [taylor]: Taking taylor expansion of 200.0 in y
0.233 * [taylor]: Taking taylor expansion of 0 in y
0.233 * [taylor]: Taking taylor expansion of 0 in y
0.233 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (cbrt 200.0)) in (x y) around 0
0.233 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (cbrt 200.0)) in y
0.233 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
0.233 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.233 * [taylor]: Taking taylor expansion of x 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 (cbrt 200.0) in y
0.233 * [taylor]: Taking taylor expansion of 200.0 in y
0.233 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (cbrt 200.0)) in x
0.233 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.234 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.234 * [taylor]: Taking taylor expansion of x in x
0.234 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.234 * [taylor]: Taking taylor expansion of y in x
0.234 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x
0.234 * [taylor]: Taking taylor expansion of 200.0 in x
0.234 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (cbrt 200.0)) in x
0.234 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.234 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.234 * [taylor]: Taking taylor expansion of x in x
0.234 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.234 * [taylor]: Taking taylor expansion of y in x
0.234 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x
0.234 * [taylor]: Taking taylor expansion of 200.0 in x
0.234 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y
0.234 * [taylor]: Taking taylor expansion of 200.0 in y
0.234 * [taylor]: Taking taylor expansion of (neg (/ (cbrt 200.0) y)) in y
0.234 * [taylor]: Taking taylor expansion of (/ (cbrt 200.0) y) in y
0.234 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y
0.234 * [taylor]: Taking taylor expansion of 200.0 in y
0.234 * [taylor]: Taking taylor expansion of y in y
0.235 * [taylor]: Taking taylor expansion of 0 in y
0.235 * [taylor]: Taking taylor expansion of 0 in y
0.235 * [taylor]: Taking taylor expansion of 0 in y
0.236 * [approximate]: Taking taylor expansion of (* (cbrt 200.0) (- (/ 1 y) (/ 1 x))) in (x y) around 0
0.236 * [taylor]: Taking taylor expansion of (* (cbrt 200.0) (- (/ 1 y) (/ 1 x))) in y
0.236 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y
0.236 * [taylor]: Taking taylor expansion of 200.0 in y
0.236 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
0.236 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.236 * [taylor]: Taking taylor expansion of y in y
0.236 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.236 * [taylor]: Taking taylor expansion of x in y
0.236 * [taylor]: Taking taylor expansion of (* (cbrt 200.0) (- (/ 1 y) (/ 1 x))) in x
0.236 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x
0.236 * [taylor]: Taking taylor expansion of 200.0 in x
0.236 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.236 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.236 * [taylor]: Taking taylor expansion of y in x
0.236 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.236 * [taylor]: Taking taylor expansion of x in x
0.236 * [taylor]: Taking taylor expansion of (* (cbrt 200.0) (- (/ 1 y) (/ 1 x))) in x
0.236 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x
0.236 * [taylor]: Taking taylor expansion of 200.0 in x
0.236 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.236 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.236 * [taylor]: Taking taylor expansion of y in x
0.236 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.236 * [taylor]: Taking taylor expansion of x in x
0.236 * [taylor]: Taking taylor expansion of (* -1 (cbrt 200.0)) in y
0.236 * [taylor]: Taking taylor expansion of -1 in y
0.236 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y
0.236 * [taylor]: Taking taylor expansion of 200.0 in y
0.237 * [taylor]: Taking taylor expansion of (/ (cbrt 200.0) y) in y
0.237 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y
0.237 * [taylor]: Taking taylor expansion of 200.0 in y
0.237 * [taylor]: Taking taylor expansion of y in y
0.237 * [taylor]: Taking taylor expansion of 0 in y
0.237 * [taylor]: Taking taylor expansion of 0 in y
0.238 * [taylor]: Taking taylor expansion of 0 in y
0.238 * * * [progress]: simplifying candidates
0.239 * [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.271 * * [simplify]: iteration  0 :  5454  enodes  (cost  395 )
0.274 * [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.274 * * * [progress]: adding candidates to table
0.340 * * [progress]: iteration 3 / 4
0.340 * * * [progress]: picking best candidate
0.346 * * * * [pick]: Picked  #<alt (λ (x y) (* (sqrt 200.0) (* (- x y) (sqrt 200.0))))>
0.346 * * * [progress]: localizing error
0.351 * * * [progress]: generating rewritten candidates
0.351 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.361 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
0.369 * * * [progress]: generating series expansions
0.369 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.369 * [approximate]: Taking taylor expansion of (* (pow (sqrt 200.0) 2) (- x y)) in (x y) around 0
0.369 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200.0) 2) (- x y)) in y
0.369 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y
0.369 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.369 * [taylor]: Taking taylor expansion of 200.0 in y
0.369 * [taylor]: Taking taylor expansion of (- x y) in y
0.369 * [taylor]: Taking taylor expansion of x in y
0.370 * [taylor]: Taking taylor expansion of y in y
0.370 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200.0) 2) (- x y)) in x
0.370 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in x
0.370 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x
0.370 * [taylor]: Taking taylor expansion of 200.0 in x
0.370 * [taylor]: Taking taylor expansion of (- x y) in x
0.370 * [taylor]: Taking taylor expansion of x in x
0.370 * [taylor]: Taking taylor expansion of y in x
0.370 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200.0) 2) (- x y)) in x
0.370 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in x
0.370 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x
0.370 * [taylor]: Taking taylor expansion of 200.0 in x
0.370 * [taylor]: Taking taylor expansion of (- x y) in x
0.370 * [taylor]: Taking taylor expansion of x in x
0.370 * [taylor]: Taking taylor expansion of y in x
0.370 * [taylor]: Taking taylor expansion of (* -1 (* (pow (sqrt 200.0) 2) y)) in y
0.370 * [taylor]: Taking taylor expansion of -1 in y
0.370 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200.0) 2) y) in y
0.370 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y
0.370 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.370 * [taylor]: Taking taylor expansion of 200.0 in y
0.370 * [taylor]: Taking taylor expansion of y in y
0.371 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y
0.371 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.371 * [taylor]: Taking taylor expansion of 200.0 in y
0.371 * [taylor]: Taking taylor expansion of 0 in y
0.372 * [taylor]: Taking taylor expansion of 0 in y
0.372 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 200.0) 2)) in (x y) around 0
0.372 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 200.0) 2)) in y
0.372 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
0.372 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.372 * [taylor]: Taking taylor expansion of x in y
0.372 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.373 * [taylor]: Taking taylor expansion of y in y
0.373 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y
0.373 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.373 * [taylor]: Taking taylor expansion of 200.0 in y
0.373 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 200.0) 2)) in x
0.373 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.373 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.373 * [taylor]: Taking taylor expansion of x in x
0.373 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.373 * [taylor]: Taking taylor expansion of y in x
0.373 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in x
0.373 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x
0.373 * [taylor]: Taking taylor expansion of 200.0 in x
0.373 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 200.0) 2)) in x
0.373 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.373 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.373 * [taylor]: Taking taylor expansion of x in x
0.373 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.373 * [taylor]: Taking taylor expansion of y in x
0.373 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in x
0.373 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x
0.373 * [taylor]: Taking taylor expansion of 200.0 in x
0.373 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y
0.373 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.373 * [taylor]: Taking taylor expansion of 200.0 in y
0.374 * [taylor]: Taking taylor expansion of (neg (/ (pow (sqrt 200.0) 2) y)) in y
0.374 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 200.0) 2) y) in y
0.374 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y
0.374 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.374 * [taylor]: Taking taylor expansion of 200.0 in y
0.374 * [taylor]: Taking taylor expansion of y in y
0.374 * [taylor]: Taking taylor expansion of 0 in y
0.375 * [taylor]: Taking taylor expansion of 0 in y
0.376 * [taylor]: Taking taylor expansion of 0 in y
0.376 * [approximate]: Taking taylor expansion of (* (pow (sqrt 200.0) 2) (- (/ 1 y) (/ 1 x))) in (x y) around 0
0.376 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200.0) 2) (- (/ 1 y) (/ 1 x))) in y
0.376 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y
0.376 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.376 * [taylor]: Taking taylor expansion of 200.0 in y
0.376 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
0.376 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.376 * [taylor]: Taking taylor expansion of y in y
0.376 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.376 * [taylor]: Taking taylor expansion of x in y
0.376 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200.0) 2) (- (/ 1 y) (/ 1 x))) in x
0.376 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in x
0.376 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x
0.376 * [taylor]: Taking taylor expansion of 200.0 in x
0.376 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.376 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.376 * [taylor]: Taking taylor expansion of y in x
0.376 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.376 * [taylor]: Taking taylor expansion of x in x
0.376 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200.0) 2) (- (/ 1 y) (/ 1 x))) in x
0.376 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in x
0.376 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x
0.376 * [taylor]: Taking taylor expansion of 200.0 in x
0.377 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.377 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.377 * [taylor]: Taking taylor expansion of y in x
0.377 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.377 * [taylor]: Taking taylor expansion of x in x
0.377 * [taylor]: Taking taylor expansion of (* -1 (pow (sqrt 200.0) 2)) in y
0.377 * [taylor]: Taking taylor expansion of -1 in y
0.377 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y
0.377 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.377 * [taylor]: Taking taylor expansion of 200.0 in y
0.377 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 200.0) 2) y) in y
0.377 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y
0.377 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.377 * [taylor]: Taking taylor expansion of 200.0 in y
0.377 * [taylor]: Taking taylor expansion of y in y
0.378 * [taylor]: Taking taylor expansion of 0 in y
0.378 * [taylor]: Taking taylor expansion of 0 in y
0.379 * [taylor]: Taking taylor expansion of 0 in y
0.379 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
0.380 * [approximate]: Taking taylor expansion of (* (sqrt 200.0) (- x y)) in (x y) around 0
0.380 * [taylor]: Taking taylor expansion of (* (sqrt 200.0) (- x y)) in y
0.380 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.380 * [taylor]: Taking taylor expansion of 200.0 in y
0.380 * [taylor]: Taking taylor expansion of (- x y) in y
0.380 * [taylor]: Taking taylor expansion of x in y
0.380 * [taylor]: Taking taylor expansion of y in y
0.380 * [taylor]: Taking taylor expansion of (* (sqrt 200.0) (- x y)) in x
0.380 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x
0.380 * [taylor]: Taking taylor expansion of 200.0 in x
0.380 * [taylor]: Taking taylor expansion of (- x y) in x
0.380 * [taylor]: Taking taylor expansion of x in x
0.380 * [taylor]: Taking taylor expansion of y in x
0.380 * [taylor]: Taking taylor expansion of (* (sqrt 200.0) (- x y)) in x
0.380 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x
0.380 * [taylor]: Taking taylor expansion of 200.0 in x
0.380 * [taylor]: Taking taylor expansion of (- x y) in x
0.380 * [taylor]: Taking taylor expansion of x in x
0.380 * [taylor]: Taking taylor expansion of y in x
0.380 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt 200.0) y)) in y
0.380 * [taylor]: Taking taylor expansion of -1 in y
0.380 * [taylor]: Taking taylor expansion of (* (sqrt 200.0) y) in y
0.380 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.380 * [taylor]: Taking taylor expansion of 200.0 in y
0.380 * [taylor]: Taking taylor expansion of y in y
0.380 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.380 * [taylor]: Taking taylor expansion of 200.0 in y
0.381 * [taylor]: Taking taylor expansion of 0 in y
0.381 * [taylor]: Taking taylor expansion of 0 in y
0.381 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 200.0)) in (x y) around 0
0.381 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 200.0)) in y
0.381 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
0.381 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.381 * [taylor]: Taking taylor expansion of x in y
0.381 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.381 * [taylor]: Taking taylor expansion of y in y
0.381 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.381 * [taylor]: Taking taylor expansion of 200.0 in y
0.381 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 200.0)) in x
0.381 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.381 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.381 * [taylor]: Taking taylor expansion of x in x
0.382 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.382 * [taylor]: Taking taylor expansion of y in x
0.382 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x
0.382 * [taylor]: Taking taylor expansion of 200.0 in x
0.382 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 200.0)) in x
0.382 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.382 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.382 * [taylor]: Taking taylor expansion of x in x
0.382 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.382 * [taylor]: Taking taylor expansion of y in x
0.382 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x
0.382 * [taylor]: Taking taylor expansion of 200.0 in x
0.382 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.382 * [taylor]: Taking taylor expansion of 200.0 in y
0.382 * [taylor]: Taking taylor expansion of (neg (/ (sqrt 200.0) y)) in y
0.382 * [taylor]: Taking taylor expansion of (/ (sqrt 200.0) y) in y
0.382 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.382 * [taylor]: Taking taylor expansion of 200.0 in y
0.382 * [taylor]: Taking taylor expansion of y in y
0.383 * [taylor]: Taking taylor expansion of 0 in y
0.383 * [taylor]: Taking taylor expansion of 0 in y
0.383 * [taylor]: Taking taylor expansion of 0 in y
0.384 * [approximate]: Taking taylor expansion of (* (sqrt 200.0) (- (/ 1 y) (/ 1 x))) in (x y) around 0
0.384 * [taylor]: Taking taylor expansion of (* (sqrt 200.0) (- (/ 1 y) (/ 1 x))) in y
0.384 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.384 * [taylor]: Taking taylor expansion of 200.0 in y
0.384 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
0.384 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.384 * [taylor]: Taking taylor expansion of y in y
0.384 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.384 * [taylor]: Taking taylor expansion of x in y
0.384 * [taylor]: Taking taylor expansion of (* (sqrt 200.0) (- (/ 1 y) (/ 1 x))) in x
0.384 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x
0.384 * [taylor]: Taking taylor expansion of 200.0 in x
0.384 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.384 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.384 * [taylor]: Taking taylor expansion of y in x
0.384 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.384 * [taylor]: Taking taylor expansion of x in x
0.384 * [taylor]: Taking taylor expansion of (* (sqrt 200.0) (- (/ 1 y) (/ 1 x))) in x
0.384 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x
0.384 * [taylor]: Taking taylor expansion of 200.0 in x
0.384 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.384 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.384 * [taylor]: Taking taylor expansion of y in x
0.384 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.384 * [taylor]: Taking taylor expansion of x in x
0.384 * [taylor]: Taking taylor expansion of (* -1 (sqrt 200.0)) in y
0.384 * [taylor]: Taking taylor expansion of -1 in y
0.384 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.384 * [taylor]: Taking taylor expansion of 200.0 in y
0.385 * [taylor]: Taking taylor expansion of (/ (sqrt 200.0) y) in y
0.385 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.385 * [taylor]: Taking taylor expansion of 200.0 in y
0.385 * [taylor]: Taking taylor expansion of y in y
0.385 * [taylor]: Taking taylor expansion of 0 in y
0.385 * [taylor]: Taking taylor expansion of 0 in y
0.386 * [taylor]: Taking taylor expansion of 0 in y
0.386 * * * [progress]: simplifying candidates
0.387 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (sqrt 200.0) (* (- x y) (sqrt 200.0)))
  (* (sqrt 200.0) (* (- x y) (sqrt 200.0)))
  (+ (log (sqrt 200.0)) (+ (log (- x y)) (log (sqrt 200.0))))
  (+ (log (sqrt 200.0)) (log (* (- x y) (sqrt 200.0))))
  (log (* (sqrt 200.0) (* (- x y) (sqrt 200.0))))
  (exp (* (sqrt 200.0) (* (- x y) (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) (sqrt 200.0)) (sqrt 200.0)) (* (* (* (- x y) (sqrt 200.0)) (* (- x y) (sqrt 200.0))) (* (- x y) (sqrt 200.0))))
  (* (cbrt (* (sqrt 200.0) (* (- x y) (sqrt 200.0)))) (cbrt (* (sqrt 200.0) (* (- x y) (sqrt 200.0)))))
  (cbrt (* (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 200.0))))
  (sqrt (* (sqrt 200.0) (* (- x y) (sqrt 200.0))))
  (sqrt (* (sqrt 200.0) (* (- x y) (sqrt 200.0))))
  (* (sqrt 200.0) (- x y))
  (* (cbrt (sqrt 200.0)) (* (- x y) (sqrt 200.0)))
  (* (sqrt (cbrt 200.0)) (* (- x y) (sqrt 200.0)))
  (* (sqrt (sqrt 200.0)) (* (- x y) (sqrt 200.0)))
  (* (sqrt 200.0) (* (- x y) (sqrt 200.0)))
  (* (sqrt (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) (sqrt 200.0))
  (+ (log (- x y)) (log (sqrt 200.0)))
  (log (* (- x y) (sqrt 200.0)))
  (exp (* (- x y) (sqrt 200.0)))
  (* (* (* (- x y) (- x y)) (- x y)) (* (* (sqrt 200.0) (sqrt 200.0)) (sqrt 200.0)))
  (* (cbrt (* (- x y) (sqrt 200.0))) (cbrt (* (- x y) (sqrt 200.0))))
  (cbrt (* (- x y) (sqrt 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) (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 (sqrt 200.0)))
  (* (- x y) (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))))
  (* (- x y) (sqrt (* (cbrt 200.0) (cbrt 200.0))))
  (* (- x y) (sqrt (sqrt 200.0)))
  (* (- x y) (sqrt 1))
  (* (- x y) (sqrt (sqrt 200.0)))
  (* (- x y) 1)
  (* (cbrt (- x y)) (sqrt 200.0))
  (* (sqrt (- x y)) (sqrt 200.0))
  (* (- x y) (sqrt 200.0))
  (* (- (sqrt x) (sqrt y)) (sqrt 200.0))
  (* (- x y) (sqrt 200.0))
  (* (- (pow x 3) (pow y 3)) (sqrt 200.0))
  (* (- (* x x) (* y y)) (sqrt 200.0))
  (- (* 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))
0.429 * * [simplify]: iteration  0 :  5008  enodes  (cost  392 )
0.431 * [simplify]: Simplified to:
   (* 200.0 (- x y))
  (* 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)))
  (* (sqrt 200.0) (- x y))
  (* (sqrt 200.0) (* (- x y) (cbrt (sqrt 200.0))))
  (* (sqrt 200.0) (* (- x y) (sqrt (cbrt 200.0))))
  (* (- x y) (pow (sqrt 200.0) 3/2))
  (* 200.0 (- x y))
  (* (- x y) (pow (sqrt 200.0) 3/2))
  (* 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)))
  (pow (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)))
  (* (- x y) (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))))
  (* (- x y) (fabs (cbrt 200.0)))
  (* (- x y) (sqrt (sqrt 200.0)))
  (- x y)
  (* (- x y) (sqrt (sqrt 200.0)))
  (- x y)
  (* (sqrt 200.0) (cbrt (- x y)))
  (* (sqrt 200.0) (sqrt (- x y)))
  (* (sqrt 200.0) (- x y))
  (* (sqrt 200.0) (- (sqrt x) (sqrt 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))
0.431 * * * [progress]: adding candidates to table
0.491 * * [progress]: iteration 4 / 4
0.491 * * * [progress]: picking best candidate
0.495 * * * * [pick]: Picked  #<alt (λ (x y) (* (* (cbrt 200.0) (cbrt 200.0)) (* (* (- x y) (cbrt (sqrt 200.0))) (cbrt (sqrt 200.0)))))>
0.495 * * * [progress]: localizing error
0.505 * * * [progress]: generating rewritten candidates
0.506 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
0.522 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
0.532 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1)
0.543 * * * [progress]: generating series expansions
0.543 * * * * [progress]: [ 1 / 3 ] generating series at (2)
0.543 * [approximate]: Taking taylor expansion of (* (pow (pow (sqrt 200.0) 2) 1/3) (* (pow (cbrt 200.0) 2) (- x y))) in (x y) around 0
0.543 * [taylor]: Taking taylor expansion of (* (pow (pow (sqrt 200.0) 2) 1/3) (* (pow (cbrt 200.0) 2) (- x y))) in y
0.543 * [taylor]: Taking taylor expansion of (pow (pow (sqrt 200.0) 2) 1/3) in y
0.543 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sqrt 200.0) 2)))) in y
0.543 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sqrt 200.0) 2))) in y
0.543 * [taylor]: Taking taylor expansion of 1/3 in y
0.543 * [taylor]: Taking taylor expansion of (log (pow (sqrt 200.0) 2)) in y
0.543 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y
0.543 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.543 * [taylor]: Taking taylor expansion of 200.0 in y
0.544 * [taylor]: Taking taylor expansion of (* (pow (cbrt 200.0) 2) (- x y)) in y
0.544 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 2) in y
0.544 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y
0.544 * [taylor]: Taking taylor expansion of 200.0 in y
0.544 * [taylor]: Taking taylor expansion of (- x y) in y
0.544 * [taylor]: Taking taylor expansion of x in y
0.544 * [taylor]: Taking taylor expansion of y in y
0.544 * [taylor]: Taking taylor expansion of (* (pow (pow (sqrt 200.0) 2) 1/3) (* (pow (cbrt 200.0) 2) (- x y))) in x
0.544 * [taylor]: Taking taylor expansion of (pow (pow (sqrt 200.0) 2) 1/3) in x
0.544 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sqrt 200.0) 2)))) in x
0.544 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sqrt 200.0) 2))) in x
0.544 * [taylor]: Taking taylor expansion of 1/3 in x
0.544 * [taylor]: Taking taylor expansion of (log (pow (sqrt 200.0) 2)) in x
0.544 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in x
0.544 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x
0.544 * [taylor]: Taking taylor expansion of 200.0 in x
0.544 * [taylor]: Taking taylor expansion of (* (pow (cbrt 200.0) 2) (- x y)) in x
0.544 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 2) in x
0.544 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x
0.544 * [taylor]: Taking taylor expansion of 200.0 in x
0.544 * [taylor]: Taking taylor expansion of (- x y) in x
0.544 * [taylor]: Taking taylor expansion of x in x
0.544 * [taylor]: Taking taylor expansion of y in x
0.544 * [taylor]: Taking taylor expansion of (* (pow (pow (sqrt 200.0) 2) 1/3) (* (pow (cbrt 200.0) 2) (- x y))) in x
0.544 * [taylor]: Taking taylor expansion of (pow (pow (sqrt 200.0) 2) 1/3) in x
0.544 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sqrt 200.0) 2)))) in x
0.544 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sqrt 200.0) 2))) in x
0.544 * [taylor]: Taking taylor expansion of 1/3 in x
0.544 * [taylor]: Taking taylor expansion of (log (pow (sqrt 200.0) 2)) in x
0.544 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in x
0.544 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x
0.545 * [taylor]: Taking taylor expansion of 200.0 in x
0.545 * [taylor]: Taking taylor expansion of (* (pow (cbrt 200.0) 2) (- x y)) in x
0.545 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 2) in x
0.545 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x
0.545 * [taylor]: Taking taylor expansion of 200.0 in x
0.545 * [taylor]: Taking taylor expansion of (- x y) in x
0.545 * [taylor]: Taking taylor expansion of x in x
0.545 * [taylor]: Taking taylor expansion of y in x
0.545 * [taylor]: Taking taylor expansion of (* -1 (* (pow (pow (sqrt 200.0) 2) 1/3) (* y (pow (cbrt 200.0) 2)))) in y
0.545 * [taylor]: Taking taylor expansion of -1 in y
0.545 * [taylor]: Taking taylor expansion of (* (pow (pow (sqrt 200.0) 2) 1/3) (* y (pow (cbrt 200.0) 2))) in y
0.545 * [taylor]: Taking taylor expansion of (pow (pow (sqrt 200.0) 2) 1/3) in y
0.545 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sqrt 200.0) 2)))) in y
0.545 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sqrt 200.0) 2))) in y
0.545 * [taylor]: Taking taylor expansion of 1/3 in y
0.545 * [taylor]: Taking taylor expansion of (log (pow (sqrt 200.0) 2)) in y
0.545 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y
0.545 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.546 * [taylor]: Taking taylor expansion of 200.0 in y
0.546 * [taylor]: Taking taylor expansion of (* y (pow (cbrt 200.0) 2)) in y
0.546 * [taylor]: Taking taylor expansion of y in y
0.546 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 2) in y
0.546 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y
0.546 * [taylor]: Taking taylor expansion of 200.0 in y
0.547 * [taylor]: Taking taylor expansion of (* (pow (pow (sqrt 200.0) 2) 1/3) (pow (cbrt 200.0) 2)) in y
0.547 * [taylor]: Taking taylor expansion of (pow (pow (sqrt 200.0) 2) 1/3) in y
0.547 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sqrt 200.0) 2)))) in y
0.547 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sqrt 200.0) 2))) in y
0.547 * [taylor]: Taking taylor expansion of 1/3 in y
0.547 * [taylor]: Taking taylor expansion of (log (pow (sqrt 200.0) 2)) in y
0.547 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y
0.547 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.547 * [taylor]: Taking taylor expansion of 200.0 in y
0.547 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 2) in y
0.547 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y
0.547 * [taylor]: Taking taylor expansion of 200.0 in y
0.550 * [taylor]: Taking taylor expansion of 0 in y
0.553 * [taylor]: Taking taylor expansion of 0 in y
0.554 * [approximate]: Taking taylor expansion of (* (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 200.0) 2)) (pow (pow (sqrt 200.0) 2) 1/3)) in (x y) around 0
0.554 * [taylor]: Taking taylor expansion of (* (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 200.0) 2)) (pow (pow (sqrt 200.0) 2) 1/3)) in y
0.554 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 200.0) 2)) in y
0.555 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
0.555 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.555 * [taylor]: Taking taylor expansion of x in y
0.555 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.555 * [taylor]: Taking taylor expansion of y in y
0.555 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 2) in y
0.555 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y
0.555 * [taylor]: Taking taylor expansion of 200.0 in y
0.555 * [taylor]: Taking taylor expansion of (pow (pow (sqrt 200.0) 2) 1/3) in y
0.555 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sqrt 200.0) 2)))) in y
0.555 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sqrt 200.0) 2))) in y
0.555 * [taylor]: Taking taylor expansion of 1/3 in y
0.555 * [taylor]: Taking taylor expansion of (log (pow (sqrt 200.0) 2)) in y
0.555 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y
0.555 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.555 * [taylor]: Taking taylor expansion of 200.0 in y
0.555 * [taylor]: Taking taylor expansion of (* (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 200.0) 2)) (pow (pow (sqrt 200.0) 2) 1/3)) in x
0.555 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 200.0) 2)) in x
0.555 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.555 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.555 * [taylor]: Taking taylor expansion of x in x
0.555 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.555 * [taylor]: Taking taylor expansion of y in x
0.555 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 2) in x
0.555 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x
0.555 * [taylor]: Taking taylor expansion of 200.0 in x
0.555 * [taylor]: Taking taylor expansion of (pow (pow (sqrt 200.0) 2) 1/3) in x
0.555 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sqrt 200.0) 2)))) in x
0.555 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sqrt 200.0) 2))) in x
0.555 * [taylor]: Taking taylor expansion of 1/3 in x
0.555 * [taylor]: Taking taylor expansion of (log (pow (sqrt 200.0) 2)) in x
0.555 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in x
0.556 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x
0.556 * [taylor]: Taking taylor expansion of 200.0 in x
0.556 * [taylor]: Taking taylor expansion of (* (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 200.0) 2)) (pow (pow (sqrt 200.0) 2) 1/3)) in x
0.556 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (cbrt 200.0) 2)) in x
0.556 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.556 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.556 * [taylor]: Taking taylor expansion of x in x
0.556 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.556 * [taylor]: Taking taylor expansion of y in x
0.556 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 2) in x
0.556 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x
0.556 * [taylor]: Taking taylor expansion of 200.0 in x
0.556 * [taylor]: Taking taylor expansion of (pow (pow (sqrt 200.0) 2) 1/3) in x
0.556 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sqrt 200.0) 2)))) in x
0.556 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sqrt 200.0) 2))) in x
0.556 * [taylor]: Taking taylor expansion of 1/3 in x
0.556 * [taylor]: Taking taylor expansion of (log (pow (sqrt 200.0) 2)) in x
0.556 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in x
0.556 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x
0.556 * [taylor]: Taking taylor expansion of 200.0 in x
0.557 * [taylor]: Taking taylor expansion of (* (pow (pow (sqrt 200.0) 2) 1/3) (pow (cbrt 200.0) 2)) in y
0.557 * [taylor]: Taking taylor expansion of (pow (pow (sqrt 200.0) 2) 1/3) in y
0.557 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sqrt 200.0) 2)))) in y
0.557 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sqrt 200.0) 2))) in y
0.557 * [taylor]: Taking taylor expansion of 1/3 in y
0.557 * [taylor]: Taking taylor expansion of (log (pow (sqrt 200.0) 2)) in y
0.557 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y
0.557 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.557 * [taylor]: Taking taylor expansion of 200.0 in y
0.557 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 2) in y
0.557 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y
0.557 * [taylor]: Taking taylor expansion of 200.0 in y
0.558 * [taylor]: Taking taylor expansion of (neg (* (pow (pow (sqrt 200.0) 2) 1/3) (/ (pow (cbrt 200.0) 2) y))) in y
0.558 * [taylor]: Taking taylor expansion of (* (pow (pow (sqrt 200.0) 2) 1/3) (/ (pow (cbrt 200.0) 2) y)) in y
0.558 * [taylor]: Taking taylor expansion of (pow (pow (sqrt 200.0) 2) 1/3) in y
0.558 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sqrt 200.0) 2)))) in y
0.558 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sqrt 200.0) 2))) in y
0.558 * [taylor]: Taking taylor expansion of 1/3 in y
0.558 * [taylor]: Taking taylor expansion of (log (pow (sqrt 200.0) 2)) in y
0.558 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y
0.558 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.558 * [taylor]: Taking taylor expansion of 200.0 in y
0.559 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 200.0) 2) y) in y
0.559 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 2) in y
0.559 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y
0.559 * [taylor]: Taking taylor expansion of 200.0 in y
0.559 * [taylor]: Taking taylor expansion of y in y
0.561 * [taylor]: Taking taylor expansion of 0 in y
0.564 * [taylor]: Taking taylor expansion of 0 in y
0.568 * [taylor]: Taking taylor expansion of 0 in y
0.568 * [approximate]: Taking taylor expansion of (* (pow (pow (sqrt 200.0) 2) 1/3) (* (pow (cbrt 200.0) 2) (- (/ 1 y) (/ 1 x)))) in (x y) around 0
0.568 * [taylor]: Taking taylor expansion of (* (pow (pow (sqrt 200.0) 2) 1/3) (* (pow (cbrt 200.0) 2) (- (/ 1 y) (/ 1 x)))) in y
0.568 * [taylor]: Taking taylor expansion of (pow (pow (sqrt 200.0) 2) 1/3) in y
0.568 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sqrt 200.0) 2)))) in y
0.568 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sqrt 200.0) 2))) in y
0.568 * [taylor]: Taking taylor expansion of 1/3 in y
0.568 * [taylor]: Taking taylor expansion of (log (pow (sqrt 200.0) 2)) in y
0.568 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y
0.568 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.569 * [taylor]: Taking taylor expansion of 200.0 in y
0.569 * [taylor]: Taking taylor expansion of (* (pow (cbrt 200.0) 2) (- (/ 1 y) (/ 1 x))) in y
0.569 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 2) in y
0.569 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y
0.569 * [taylor]: Taking taylor expansion of 200.0 in y
0.569 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
0.569 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.569 * [taylor]: Taking taylor expansion of y in y
0.569 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.569 * [taylor]: Taking taylor expansion of x in y
0.569 * [taylor]: Taking taylor expansion of (* (pow (pow (sqrt 200.0) 2) 1/3) (* (pow (cbrt 200.0) 2) (- (/ 1 y) (/ 1 x)))) in x
0.569 * [taylor]: Taking taylor expansion of (pow (pow (sqrt 200.0) 2) 1/3) in x
0.569 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sqrt 200.0) 2)))) in x
0.569 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sqrt 200.0) 2))) in x
0.569 * [taylor]: Taking taylor expansion of 1/3 in x
0.569 * [taylor]: Taking taylor expansion of (log (pow (sqrt 200.0) 2)) in x
0.569 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in x
0.569 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x
0.569 * [taylor]: Taking taylor expansion of 200.0 in x
0.569 * [taylor]: Taking taylor expansion of (* (pow (cbrt 200.0) 2) (- (/ 1 y) (/ 1 x))) in x
0.569 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 2) in x
0.569 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x
0.569 * [taylor]: Taking taylor expansion of 200.0 in x
0.570 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.570 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.570 * [taylor]: Taking taylor expansion of y in x
0.570 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.570 * [taylor]: Taking taylor expansion of x in x
0.570 * [taylor]: Taking taylor expansion of (* (pow (pow (sqrt 200.0) 2) 1/3) (* (pow (cbrt 200.0) 2) (- (/ 1 y) (/ 1 x)))) in x
0.570 * [taylor]: Taking taylor expansion of (pow (pow (sqrt 200.0) 2) 1/3) in x
0.570 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sqrt 200.0) 2)))) in x
0.570 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sqrt 200.0) 2))) in x
0.570 * [taylor]: Taking taylor expansion of 1/3 in x
0.570 * [taylor]: Taking taylor expansion of (log (pow (sqrt 200.0) 2)) in x
0.570 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in x
0.570 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x
0.570 * [taylor]: Taking taylor expansion of 200.0 in x
0.570 * [taylor]: Taking taylor expansion of (* (pow (cbrt 200.0) 2) (- (/ 1 y) (/ 1 x))) in x
0.570 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 2) in x
0.570 * [taylor]: Taking taylor expansion of (cbrt 200.0) in x
0.570 * [taylor]: Taking taylor expansion of 200.0 in x
0.570 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.570 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.570 * [taylor]: Taking taylor expansion of y in x
0.570 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.570 * [taylor]: Taking taylor expansion of x in x
0.571 * [taylor]: Taking taylor expansion of (* -1 (* (pow (pow (sqrt 200.0) 2) 1/3) (pow (cbrt 200.0) 2))) in y
0.571 * [taylor]: Taking taylor expansion of -1 in y
0.571 * [taylor]: Taking taylor expansion of (* (pow (pow (sqrt 200.0) 2) 1/3) (pow (cbrt 200.0) 2)) in y
0.571 * [taylor]: Taking taylor expansion of (pow (pow (sqrt 200.0) 2) 1/3) in y
0.571 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sqrt 200.0) 2)))) in y
0.571 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sqrt 200.0) 2))) in y
0.571 * [taylor]: Taking taylor expansion of 1/3 in y
0.571 * [taylor]: Taking taylor expansion of (log (pow (sqrt 200.0) 2)) in y
0.571 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y
0.571 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.571 * [taylor]: Taking taylor expansion of 200.0 in y
0.571 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 2) in y
0.571 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y
0.571 * [taylor]: Taking taylor expansion of 200.0 in y
0.572 * [taylor]: Taking taylor expansion of (* (pow (pow (sqrt 200.0) 2) 1/3) (/ (pow (cbrt 200.0) 2) y)) in y
0.572 * [taylor]: Taking taylor expansion of (pow (pow (sqrt 200.0) 2) 1/3) in y
0.572 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sqrt 200.0) 2)))) in y
0.572 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sqrt 200.0) 2))) in y
0.572 * [taylor]: Taking taylor expansion of 1/3 in y
0.572 * [taylor]: Taking taylor expansion of (log (pow (sqrt 200.0) 2)) in y
0.572 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y
0.572 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.572 * [taylor]: Taking taylor expansion of 200.0 in y
0.572 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 200.0) 2) y) in y
0.572 * [taylor]: Taking taylor expansion of (pow (cbrt 200.0) 2) in y
0.572 * [taylor]: Taking taylor expansion of (cbrt 200.0) in y
0.572 * [taylor]: Taking taylor expansion of 200.0 in y
0.573 * [taylor]: Taking taylor expansion of y in y
0.575 * [taylor]: Taking taylor expansion of 0 in y
0.577 * [taylor]: Taking taylor expansion of 0 in y
0.582 * [taylor]: Taking taylor expansion of 0 in y
0.582 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
0.582 * [approximate]: Taking taylor expansion of (* (pow (pow (sqrt 200.0) 2) 1/3) (- x y)) in (x y) around 0
0.582 * [taylor]: Taking taylor expansion of (* (pow (pow (sqrt 200.0) 2) 1/3) (- x y)) in y
0.582 * [taylor]: Taking taylor expansion of (pow (pow (sqrt 200.0) 2) 1/3) in y
0.582 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sqrt 200.0) 2)))) in y
0.582 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sqrt 200.0) 2))) in y
0.582 * [taylor]: Taking taylor expansion of 1/3 in y
0.582 * [taylor]: Taking taylor expansion of (log (pow (sqrt 200.0) 2)) in y
0.582 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y
0.582 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.583 * [taylor]: Taking taylor expansion of 200.0 in y
0.583 * [taylor]: Taking taylor expansion of (- x y) in y
0.583 * [taylor]: Taking taylor expansion of x in y
0.583 * [taylor]: Taking taylor expansion of y in y
0.583 * [taylor]: Taking taylor expansion of (* (pow (pow (sqrt 200.0) 2) 1/3) (- x y)) in x
0.583 * [taylor]: Taking taylor expansion of (pow (pow (sqrt 200.0) 2) 1/3) in x
0.583 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sqrt 200.0) 2)))) in x
0.583 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sqrt 200.0) 2))) in x
0.583 * [taylor]: Taking taylor expansion of 1/3 in x
0.583 * [taylor]: Taking taylor expansion of (log (pow (sqrt 200.0) 2)) in x
0.583 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in x
0.583 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x
0.583 * [taylor]: Taking taylor expansion of 200.0 in x
0.583 * [taylor]: Taking taylor expansion of (- x y) in x
0.583 * [taylor]: Taking taylor expansion of x in x
0.583 * [taylor]: Taking taylor expansion of y in x
0.583 * [taylor]: Taking taylor expansion of (* (pow (pow (sqrt 200.0) 2) 1/3) (- x y)) in x
0.583 * [taylor]: Taking taylor expansion of (pow (pow (sqrt 200.0) 2) 1/3) in x
0.583 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sqrt 200.0) 2)))) in x
0.583 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sqrt 200.0) 2))) in x
0.583 * [taylor]: Taking taylor expansion of 1/3 in x
0.583 * [taylor]: Taking taylor expansion of (log (pow (sqrt 200.0) 2)) in x
0.583 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in x
0.583 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x
0.583 * [taylor]: Taking taylor expansion of 200.0 in x
0.584 * [taylor]: Taking taylor expansion of (- x y) in x
0.584 * [taylor]: Taking taylor expansion of x in x
0.584 * [taylor]: Taking taylor expansion of y in x
0.584 * [taylor]: Taking taylor expansion of (* -1 (* (pow (pow (sqrt 200.0) 2) 1/3) y)) in y
0.584 * [taylor]: Taking taylor expansion of -1 in y
0.584 * [taylor]: Taking taylor expansion of (* (pow (pow (sqrt 200.0) 2) 1/3) y) in y
0.584 * [taylor]: Taking taylor expansion of (pow (pow (sqrt 200.0) 2) 1/3) in y
0.584 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sqrt 200.0) 2)))) in y
0.584 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sqrt 200.0) 2))) in y
0.584 * [taylor]: Taking taylor expansion of 1/3 in y
0.584 * [taylor]: Taking taylor expansion of (log (pow (sqrt 200.0) 2)) in y
0.584 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y
0.584 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.584 * [taylor]: Taking taylor expansion of 200.0 in y
0.584 * [taylor]: Taking taylor expansion of y in y
0.585 * [taylor]: Taking taylor expansion of (pow (pow (sqrt 200.0) 2) 1/3) in y
0.585 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sqrt 200.0) 2)))) in y
0.585 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sqrt 200.0) 2))) in y
0.585 * [taylor]: Taking taylor expansion of 1/3 in y
0.585 * [taylor]: Taking taylor expansion of (log (pow (sqrt 200.0) 2)) in y
0.585 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y
0.585 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.585 * [taylor]: Taking taylor expansion of 200.0 in y
0.587 * [taylor]: Taking taylor expansion of 0 in y
0.589 * [taylor]: Taking taylor expansion of 0 in y
0.590 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (pow (sqrt 200.0) 2) 1/3)) in (x y) around 0
0.590 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (pow (sqrt 200.0) 2) 1/3)) in y
0.590 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
0.590 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.590 * [taylor]: Taking taylor expansion of x in y
0.590 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.590 * [taylor]: Taking taylor expansion of y in y
0.590 * [taylor]: Taking taylor expansion of (pow (pow (sqrt 200.0) 2) 1/3) in y
0.590 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sqrt 200.0) 2)))) in y
0.590 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sqrt 200.0) 2))) in y
0.590 * [taylor]: Taking taylor expansion of 1/3 in y
0.590 * [taylor]: Taking taylor expansion of (log (pow (sqrt 200.0) 2)) in y
0.590 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y
0.590 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.590 * [taylor]: Taking taylor expansion of 200.0 in y
0.590 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (pow (sqrt 200.0) 2) 1/3)) in x
0.590 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.590 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.590 * [taylor]: Taking taylor expansion of x in x
0.590 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.590 * [taylor]: Taking taylor expansion of y in x
0.590 * [taylor]: Taking taylor expansion of (pow (pow (sqrt 200.0) 2) 1/3) in x
0.590 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sqrt 200.0) 2)))) in x
0.590 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sqrt 200.0) 2))) in x
0.590 * [taylor]: Taking taylor expansion of 1/3 in x
0.591 * [taylor]: Taking taylor expansion of (log (pow (sqrt 200.0) 2)) in x
0.591 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in x
0.591 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x
0.591 * [taylor]: Taking taylor expansion of 200.0 in x
0.591 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (pow (sqrt 200.0) 2) 1/3)) in x
0.591 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.591 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.591 * [taylor]: Taking taylor expansion of x in x
0.591 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.591 * [taylor]: Taking taylor expansion of y in x
0.591 * [taylor]: Taking taylor expansion of (pow (pow (sqrt 200.0) 2) 1/3) in x
0.591 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sqrt 200.0) 2)))) in x
0.591 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sqrt 200.0) 2))) in x
0.591 * [taylor]: Taking taylor expansion of 1/3 in x
0.591 * [taylor]: Taking taylor expansion of (log (pow (sqrt 200.0) 2)) in x
0.591 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in x
0.591 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x
0.591 * [taylor]: Taking taylor expansion of 200.0 in x
0.591 * [taylor]: Taking taylor expansion of (pow (pow (sqrt 200.0) 2) 1/3) in y
0.591 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sqrt 200.0) 2)))) in y
0.591 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sqrt 200.0) 2))) in y
0.591 * [taylor]: Taking taylor expansion of 1/3 in y
0.592 * [taylor]: Taking taylor expansion of (log (pow (sqrt 200.0) 2)) in y
0.592 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y
0.592 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.592 * [taylor]: Taking taylor expansion of 200.0 in y
0.592 * [taylor]: Taking taylor expansion of (neg (* (pow (pow (sqrt 200.0) 2) 1/3) (/ 1 y))) in y
0.592 * [taylor]: Taking taylor expansion of (* (pow (pow (sqrt 200.0) 2) 1/3) (/ 1 y)) in y
0.592 * [taylor]: Taking taylor expansion of (pow (pow (sqrt 200.0) 2) 1/3) in y
0.592 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sqrt 200.0) 2)))) in y
0.592 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sqrt 200.0) 2))) in y
0.592 * [taylor]: Taking taylor expansion of 1/3 in y
0.592 * [taylor]: Taking taylor expansion of (log (pow (sqrt 200.0) 2)) in y
0.593 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y
0.593 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.593 * [taylor]: Taking taylor expansion of 200.0 in y
0.593 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.593 * [taylor]: Taking taylor expansion of y in y
0.594 * [taylor]: Taking taylor expansion of 0 in y
0.596 * [taylor]: Taking taylor expansion of 0 in y
0.599 * [taylor]: Taking taylor expansion of 0 in y
0.602 * [approximate]: Taking taylor expansion of (* (pow (pow (sqrt 200.0) 2) 1/3) (- (/ 1 y) (/ 1 x))) in (x y) around 0
0.602 * [taylor]: Taking taylor expansion of (* (pow (pow (sqrt 200.0) 2) 1/3) (- (/ 1 y) (/ 1 x))) in y
0.602 * [taylor]: Taking taylor expansion of (pow (pow (sqrt 200.0) 2) 1/3) in y
0.602 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sqrt 200.0) 2)))) in y
0.602 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sqrt 200.0) 2))) in y
0.602 * [taylor]: Taking taylor expansion of 1/3 in y
0.602 * [taylor]: Taking taylor expansion of (log (pow (sqrt 200.0) 2)) in y
0.602 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y
0.602 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.602 * [taylor]: Taking taylor expansion of 200.0 in y
0.603 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
0.603 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.603 * [taylor]: Taking taylor expansion of y in y
0.603 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.603 * [taylor]: Taking taylor expansion of x in y
0.603 * [taylor]: Taking taylor expansion of (* (pow (pow (sqrt 200.0) 2) 1/3) (- (/ 1 y) (/ 1 x))) in x
0.603 * [taylor]: Taking taylor expansion of (pow (pow (sqrt 200.0) 2) 1/3) in x
0.603 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sqrt 200.0) 2)))) in x
0.603 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sqrt 200.0) 2))) in x
0.603 * [taylor]: Taking taylor expansion of 1/3 in x
0.603 * [taylor]: Taking taylor expansion of (log (pow (sqrt 200.0) 2)) in x
0.603 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in x
0.603 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x
0.603 * [taylor]: Taking taylor expansion of 200.0 in x
0.603 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.603 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.603 * [taylor]: Taking taylor expansion of y in x
0.603 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.603 * [taylor]: Taking taylor expansion of x in x
0.603 * [taylor]: Taking taylor expansion of (* (pow (pow (sqrt 200.0) 2) 1/3) (- (/ 1 y) (/ 1 x))) in x
0.603 * [taylor]: Taking taylor expansion of (pow (pow (sqrt 200.0) 2) 1/3) in x
0.603 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sqrt 200.0) 2)))) in x
0.603 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sqrt 200.0) 2))) in x
0.603 * [taylor]: Taking taylor expansion of 1/3 in x
0.603 * [taylor]: Taking taylor expansion of (log (pow (sqrt 200.0) 2)) in x
0.603 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in x
0.603 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x
0.603 * [taylor]: Taking taylor expansion of 200.0 in x
0.604 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.604 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.604 * [taylor]: Taking taylor expansion of y in x
0.604 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.604 * [taylor]: Taking taylor expansion of x in x
0.604 * [taylor]: Taking taylor expansion of (* -1 (pow (pow (sqrt 200.0) 2) 1/3)) in y
0.604 * [taylor]: Taking taylor expansion of -1 in y
0.604 * [taylor]: Taking taylor expansion of (pow (pow (sqrt 200.0) 2) 1/3) in y
0.604 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sqrt 200.0) 2)))) in y
0.604 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sqrt 200.0) 2))) in y
0.604 * [taylor]: Taking taylor expansion of 1/3 in y
0.604 * [taylor]: Taking taylor expansion of (log (pow (sqrt 200.0) 2)) in y
0.604 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y
0.604 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.604 * [taylor]: Taking taylor expansion of 200.0 in y
0.605 * [taylor]: Taking taylor expansion of (* (pow (pow (sqrt 200.0) 2) 1/3) (/ 1 y)) in y
0.605 * [taylor]: Taking taylor expansion of (pow (pow (sqrt 200.0) 2) 1/3) in y
0.605 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sqrt 200.0) 2)))) in y
0.605 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sqrt 200.0) 2))) in y
0.605 * [taylor]: Taking taylor expansion of 1/3 in y
0.605 * [taylor]: Taking taylor expansion of (log (pow (sqrt 200.0) 2)) in y
0.605 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y
0.605 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.605 * [taylor]: Taking taylor expansion of 200.0 in y
0.605 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.605 * [taylor]: Taking taylor expansion of y in y
0.606 * [taylor]: Taking taylor expansion of 0 in y
0.608 * [taylor]: Taking taylor expansion of 0 in y
0.611 * [taylor]: Taking taylor expansion of 0 in y
0.612 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 1)
0.612 * [approximate]: Taking taylor expansion of (* (pow (sqrt 200.0) 1/3) (- x y)) in (x y) around 0
0.612 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200.0) 1/3) (- x y)) in y
0.612 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 1/3) in y
0.612 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt 200.0)))) in y
0.612 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt 200.0))) in y
0.612 * [taylor]: Taking taylor expansion of 1/3 in y
0.612 * [taylor]: Taking taylor expansion of (log (sqrt 200.0)) in y
0.612 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.612 * [taylor]: Taking taylor expansion of 200.0 in y
0.612 * [taylor]: Taking taylor expansion of (- x y) in y
0.612 * [taylor]: Taking taylor expansion of x in y
0.612 * [taylor]: Taking taylor expansion of y in y
0.612 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200.0) 1/3) (- x y)) in x
0.612 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 1/3) in x
0.612 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt 200.0)))) in x
0.612 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt 200.0))) in x
0.612 * [taylor]: Taking taylor expansion of 1/3 in x
0.612 * [taylor]: Taking taylor expansion of (log (sqrt 200.0)) in x
0.612 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x
0.612 * [taylor]: Taking taylor expansion of 200.0 in x
0.612 * [taylor]: Taking taylor expansion of (- x y) in x
0.613 * [taylor]: Taking taylor expansion of x in x
0.613 * [taylor]: Taking taylor expansion of y in x
0.613 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200.0) 1/3) (- x y)) in x
0.613 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 1/3) in x
0.613 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt 200.0)))) in x
0.613 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt 200.0))) in x
0.613 * [taylor]: Taking taylor expansion of 1/3 in x
0.613 * [taylor]: Taking taylor expansion of (log (sqrt 200.0)) in x
0.613 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x
0.613 * [taylor]: Taking taylor expansion of 200.0 in x
0.613 * [taylor]: Taking taylor expansion of (- x y) in x
0.613 * [taylor]: Taking taylor expansion of x in x
0.613 * [taylor]: Taking taylor expansion of y in x
0.613 * [taylor]: Taking taylor expansion of (* -1 (* (pow (sqrt 200.0) 1/3) y)) in y
0.613 * [taylor]: Taking taylor expansion of -1 in y
0.613 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200.0) 1/3) y) in y
0.613 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 1/3) in y
0.613 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt 200.0)))) in y
0.613 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt 200.0))) in y
0.613 * [taylor]: Taking taylor expansion of 1/3 in y
0.613 * [taylor]: Taking taylor expansion of (log (sqrt 200.0)) in y
0.613 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.613 * [taylor]: Taking taylor expansion of 200.0 in y
0.613 * [taylor]: Taking taylor expansion of y in y
0.614 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 1/3) in y
0.614 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt 200.0)))) in y
0.614 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt 200.0))) in y
0.614 * [taylor]: Taking taylor expansion of 1/3 in y
0.614 * [taylor]: Taking taylor expansion of (log (sqrt 200.0)) in y
0.614 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.614 * [taylor]: Taking taylor expansion of 200.0 in y
0.615 * [taylor]: Taking taylor expansion of 0 in y
0.616 * [taylor]: Taking taylor expansion of 0 in y
0.617 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 200.0) 1/3)) in (x y) around 0
0.617 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 200.0) 1/3)) in y
0.617 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
0.617 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.617 * [taylor]: Taking taylor expansion of x in y
0.617 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.617 * [taylor]: Taking taylor expansion of y in y
0.617 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 1/3) in y
0.617 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt 200.0)))) in y
0.617 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt 200.0))) in y
0.617 * [taylor]: Taking taylor expansion of 1/3 in y
0.617 * [taylor]: Taking taylor expansion of (log (sqrt 200.0)) in y
0.617 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.618 * [taylor]: Taking taylor expansion of 200.0 in y
0.618 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 200.0) 1/3)) in x
0.618 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.618 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.618 * [taylor]: Taking taylor expansion of x in x
0.618 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.618 * [taylor]: Taking taylor expansion of y in x
0.618 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 1/3) in x
0.618 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt 200.0)))) in x
0.618 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt 200.0))) in x
0.618 * [taylor]: Taking taylor expansion of 1/3 in x
0.618 * [taylor]: Taking taylor expansion of (log (sqrt 200.0)) in x
0.618 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x
0.618 * [taylor]: Taking taylor expansion of 200.0 in x
0.618 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 200.0) 1/3)) in x
0.618 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.618 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.618 * [taylor]: Taking taylor expansion of x in x
0.618 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.618 * [taylor]: Taking taylor expansion of y in x
0.618 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 1/3) in x
0.618 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt 200.0)))) in x
0.618 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt 200.0))) in x
0.618 * [taylor]: Taking taylor expansion of 1/3 in x
0.618 * [taylor]: Taking taylor expansion of (log (sqrt 200.0)) in x
0.618 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x
0.618 * [taylor]: Taking taylor expansion of 200.0 in x
0.618 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 1/3) in y
0.618 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt 200.0)))) in y
0.618 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt 200.0))) in y
0.619 * [taylor]: Taking taylor expansion of 1/3 in y
0.619 * [taylor]: Taking taylor expansion of (log (sqrt 200.0)) in y
0.619 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.619 * [taylor]: Taking taylor expansion of 200.0 in y
0.619 * [taylor]: Taking taylor expansion of (neg (* (pow (sqrt 200.0) 1/3) (/ 1 y))) in y
0.619 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200.0) 1/3) (/ 1 y)) in y
0.619 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 1/3) in y
0.619 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt 200.0)))) in y
0.619 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt 200.0))) in y
0.619 * [taylor]: Taking taylor expansion of 1/3 in y
0.619 * [taylor]: Taking taylor expansion of (log (sqrt 200.0)) in y
0.619 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.619 * [taylor]: Taking taylor expansion of 200.0 in y
0.619 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.619 * [taylor]: Taking taylor expansion of y in y
0.620 * [taylor]: Taking taylor expansion of 0 in y
0.622 * [taylor]: Taking taylor expansion of 0 in y
0.624 * [taylor]: Taking taylor expansion of 0 in y
0.624 * [approximate]: Taking taylor expansion of (* (pow (sqrt 200.0) 1/3) (- (/ 1 y) (/ 1 x))) in (x y) around 0
0.625 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200.0) 1/3) (- (/ 1 y) (/ 1 x))) in y
0.625 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 1/3) in y
0.625 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt 200.0)))) in y
0.625 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt 200.0))) in y
0.625 * [taylor]: Taking taylor expansion of 1/3 in y
0.625 * [taylor]: Taking taylor expansion of (log (sqrt 200.0)) in y
0.625 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.625 * [taylor]: Taking taylor expansion of 200.0 in y
0.625 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
0.625 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.625 * [taylor]: Taking taylor expansion of y in y
0.625 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.625 * [taylor]: Taking taylor expansion of x in y
0.625 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200.0) 1/3) (- (/ 1 y) (/ 1 x))) in x
0.625 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 1/3) in x
0.625 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt 200.0)))) in x
0.625 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt 200.0))) in x
0.625 * [taylor]: Taking taylor expansion of 1/3 in x
0.625 * [taylor]: Taking taylor expansion of (log (sqrt 200.0)) in x
0.625 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x
0.625 * [taylor]: Taking taylor expansion of 200.0 in x
0.625 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.625 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.625 * [taylor]: Taking taylor expansion of y in x
0.625 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.625 * [taylor]: Taking taylor expansion of x in x
0.625 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200.0) 1/3) (- (/ 1 y) (/ 1 x))) in x
0.625 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 1/3) in x
0.625 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt 200.0)))) in x
0.625 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt 200.0))) in x
0.625 * [taylor]: Taking taylor expansion of 1/3 in x
0.625 * [taylor]: Taking taylor expansion of (log (sqrt 200.0)) in x
0.625 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x
0.625 * [taylor]: Taking taylor expansion of 200.0 in x
0.626 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.626 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.626 * [taylor]: Taking taylor expansion of y in x
0.626 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.626 * [taylor]: Taking taylor expansion of x in x
0.626 * [taylor]: Taking taylor expansion of (* -1 (pow (sqrt 200.0) 1/3)) in y
0.626 * [taylor]: Taking taylor expansion of -1 in y
0.626 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 1/3) in y
0.626 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt 200.0)))) in y
0.626 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt 200.0))) in y
0.626 * [taylor]: Taking taylor expansion of 1/3 in y
0.626 * [taylor]: Taking taylor expansion of (log (sqrt 200.0)) in y
0.626 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.626 * [taylor]: Taking taylor expansion of 200.0 in y
0.626 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200.0) 1/3) (/ 1 y)) in y
0.626 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 1/3) in y
0.626 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt 200.0)))) in y
0.626 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt 200.0))) in y
0.627 * [taylor]: Taking taylor expansion of 1/3 in y
0.627 * [taylor]: Taking taylor expansion of (log (sqrt 200.0)) in y
0.627 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.627 * [taylor]: Taking taylor expansion of 200.0 in y
0.627 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.627 * [taylor]: Taking taylor expansion of y in y
0.628 * [taylor]: Taking taylor expansion of 0 in y
0.629 * [taylor]: Taking taylor expansion of 0 in y
0.632 * [taylor]: Taking taylor expansion of 0 in y
0.632 * * * [progress]: simplifying candidates
0.633 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (* (cbrt 200.0) (cbrt 200.0)) (* (* (- x y) (cbrt (sqrt 200.0))) (cbrt (sqrt 200.0))))
  (* (* (cbrt 200.0) (cbrt 200.0)) (* (* (- x y) (cbrt (sqrt 200.0))) (cbrt (sqrt 200.0))))
  (* (* (cbrt 200.0) (cbrt 200.0)) (* (* (- x y) (cbrt (sqrt 200.0))) (cbrt (sqrt 200.0))))
  (* (* (cbrt 200.0) (cbrt 200.0)) (* (* (- x y) (cbrt (sqrt 200.0))) (cbrt (sqrt 200.0))))
  (* (* (cbrt 200.0) (cbrt 200.0)) (* (* (- x y) (cbrt (sqrt 200.0))) (cbrt (sqrt 200.0))))
  (* (* (cbrt 200.0) (cbrt 200.0)) (* (* (- x y) (cbrt (sqrt 200.0))) (cbrt (sqrt 200.0))))
  (+ (+ (log (cbrt 200.0)) (log (cbrt 200.0))) (+ (+ (log (- x y)) (log (cbrt (sqrt 200.0)))) (log (cbrt (sqrt 200.0)))))
  (+ (+ (log (cbrt 200.0)) (log (cbrt 200.0))) (+ (log (* (- x y) (cbrt (sqrt 200.0)))) (log (cbrt (sqrt 200.0)))))
  (+ (+ (log (cbrt 200.0)) (log (cbrt 200.0))) (log (* (* (- x y) (cbrt (sqrt 200.0))) (cbrt (sqrt 200.0)))))
  (+ (log (* (cbrt 200.0) (cbrt 200.0))) (+ (+ (log (- x y)) (log (cbrt (sqrt 200.0)))) (log (cbrt (sqrt 200.0)))))
  (+ (log (* (cbrt 200.0) (cbrt 200.0))) (+ (log (* (- x y) (cbrt (sqrt 200.0)))) (log (cbrt (sqrt 200.0)))))
  (+ (log (* (cbrt 200.0) (cbrt 200.0))) (log (* (* (- x y) (cbrt (sqrt 200.0))) (cbrt (sqrt 200.0)))))
  (log (* (* (cbrt 200.0) (cbrt 200.0)) (* (* (- x y) (cbrt (sqrt 200.0))) (cbrt (sqrt 200.0)))))
  (exp (* (* (cbrt 200.0) (cbrt 200.0)) (* (* (- x y) (cbrt (sqrt 200.0))) (cbrt (sqrt 200.0)))))
  (* (* 200.0 200.0) (* (* (* (* (- x y) (- x y)) (- x y)) (sqrt 200.0)) (sqrt 200.0)))
  (* (* 200.0 200.0) (* (* (* (* (- x y) (cbrt (sqrt 200.0))) (* (- x y) (cbrt (sqrt 200.0)))) (* (- x y) (cbrt (sqrt 200.0)))) (sqrt 200.0)))
  (* (* 200.0 200.0) (* (* (* (* (- x y) (cbrt (sqrt 200.0))) (cbrt (sqrt 200.0))) (* (* (- x y) (cbrt (sqrt 200.0))) (cbrt (sqrt 200.0)))) (* (* (- x y) (cbrt (sqrt 200.0))) (cbrt (sqrt 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)) (sqrt 200.0)) (sqrt 200.0)))
  (* (* (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (cbrt 200.0))) (* (cbrt 200.0) (cbrt 200.0))) (* (* (* (* (- x y) (cbrt (sqrt 200.0))) (* (- x y) (cbrt (sqrt 200.0)))) (* (- x y) (cbrt (sqrt 200.0)))) (sqrt 200.0)))
  (* (* (* (* (cbrt 200.0) (cbrt 200.0)) (* (cbrt 200.0) (cbrt 200.0))) (* (cbrt 200.0) (cbrt 200.0))) (* (* (* (* (- x y) (cbrt (sqrt 200.0))) (cbrt (sqrt 200.0))) (* (* (- x y) (cbrt (sqrt 200.0))) (cbrt (sqrt 200.0)))) (* (* (- x y) (cbrt (sqrt 200.0))) (cbrt (sqrt 200.0)))))
  (* (cbrt (* (* (cbrt 200.0) (cbrt 200.0)) (* (* (- x y) (cbrt (sqrt 200.0))) (cbrt (sqrt 200.0))))) (cbrt (* (* (cbrt 200.0) (cbrt 200.0)) (* (* (- x y) (cbrt (sqrt 200.0))) (cbrt (sqrt 200.0))))))
  (cbrt (* (* (cbrt 200.0) (cbrt 200.0)) (* (* (- x y) (cbrt (sqrt 200.0))) (cbrt (sqrt 200.0)))))
  (* (* (* (* (cbrt 200.0) (cbrt 200.0)) (* (* (- x y) (cbrt (sqrt 200.0))) (cbrt (sqrt 200.0)))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (* (- x y) (cbrt (sqrt 200.0))) (cbrt (sqrt 200.0))))) (* (* (cbrt 200.0) (cbrt 200.0)) (* (* (- x y) (cbrt (sqrt 200.0))) (cbrt (sqrt 200.0)))))
  (sqrt (* (* (cbrt 200.0) (cbrt 200.0)) (* (* (- x y) (cbrt (sqrt 200.0))) (cbrt (sqrt 200.0)))))
  (sqrt (* (* (cbrt 200.0) (cbrt 200.0)) (* (* (- x y) (cbrt (sqrt 200.0))) (cbrt (sqrt 200.0)))))
  (* (* (cbrt 200.0) (cbrt 200.0)) (* (- x y) (cbrt (sqrt 200.0))))
  (* (cbrt 200.0) (* (* (- x y) (cbrt (sqrt 200.0))) (cbrt (sqrt 200.0))))
  (* (* (cbrt 200.0) (cbrt 200.0)) (* (* (- (pow x 3) (pow y 3)) (cbrt (sqrt 200.0))) (cbrt (sqrt 200.0))))
  (* (* (cbrt 200.0) (cbrt 200.0)) (* (* (- (* x x) (* y y)) (cbrt (sqrt 200.0))) (cbrt (sqrt 200.0))))
  (* (* (- x y) (cbrt (sqrt 200.0))) (cbrt (sqrt 200.0)))
  (* (* (- x y) (cbrt (sqrt 200.0))) (cbrt (sqrt 200.0)))
  (+ (+ (log (- x y)) (log (cbrt (sqrt 200.0)))) (log (cbrt (sqrt 200.0))))
  (+ (log (* (- x y) (cbrt (sqrt 200.0)))) (log (cbrt (sqrt 200.0))))
  (log (* (* (- x y) (cbrt (sqrt 200.0))) (cbrt (sqrt 200.0))))
  (exp (* (* (- x y) (cbrt (sqrt 200.0))) (cbrt (sqrt 200.0))))
  (* (* (* (* (- x y) (- x y)) (- x y)) (sqrt 200.0)) (sqrt 200.0))
  (* (* (* (* (- x y) (cbrt (sqrt 200.0))) (* (- x y) (cbrt (sqrt 200.0)))) (* (- x y) (cbrt (sqrt 200.0)))) (sqrt 200.0))
  (* (cbrt (* (* (- x y) (cbrt (sqrt 200.0))) (cbrt (sqrt 200.0)))) (cbrt (* (* (- x y) (cbrt (sqrt 200.0))) (cbrt (sqrt 200.0)))))
  (cbrt (* (* (- x y) (cbrt (sqrt 200.0))) (cbrt (sqrt 200.0))))
  (* (* (* (* (- x y) (cbrt (sqrt 200.0))) (cbrt (sqrt 200.0))) (* (* (- x y) (cbrt (sqrt 200.0))) (cbrt (sqrt 200.0)))) (* (* (- x y) (cbrt (sqrt 200.0))) (cbrt (sqrt 200.0))))
  (sqrt (* (* (- x y) (cbrt (sqrt 200.0))) (cbrt (sqrt 200.0))))
  (sqrt (* (* (- x y) (cbrt (sqrt 200.0))) (cbrt (sqrt 200.0))))
  (* (* (- x y) (cbrt (sqrt 200.0))) (cbrt (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0)))))
  (* (* (- x y) (cbrt (sqrt 200.0))) (cbrt (sqrt (* (cbrt 200.0) (cbrt 200.0)))))
  (* (* (- x y) (cbrt (sqrt 200.0))) (cbrt (sqrt (sqrt 200.0))))
  (* (* (- x y) (cbrt (sqrt 200.0))) (cbrt (sqrt 1)))
  (* (* (- x y) (cbrt (sqrt 200.0))) (cbrt (sqrt (sqrt 200.0))))
  (* (* (- x y) (cbrt (sqrt 200.0))) (cbrt 1))
  (* (* (- x y) (cbrt (sqrt 200.0))) (* (cbrt (cbrt (sqrt 200.0))) (cbrt (cbrt (sqrt 200.0)))))
  (* (* (- x y) (cbrt (sqrt 200.0))) (sqrt (cbrt (sqrt 200.0))))
  (* (* (- x y) (cbrt (sqrt 200.0))) 1)
  (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0)))
  (* (* (- (pow x 3) (pow y 3)) (cbrt (sqrt 200.0))) (cbrt (sqrt 200.0)))
  (* (* (- (* x x) (* y y)) (cbrt (sqrt 200.0))) (cbrt (sqrt 200.0)))
  (* (- x y) (cbrt (sqrt 200.0)))
  (+ (log (- x y)) (log (cbrt (sqrt 200.0))))
  (log (* (- x y) (cbrt (sqrt 200.0))))
  (exp (* (- x y) (cbrt (sqrt 200.0))))
  (* (* (* (- x y) (- x y)) (- x y)) (sqrt 200.0))
  (* (cbrt (* (- x y) (cbrt (sqrt 200.0)))) (cbrt (* (- x y) (cbrt (sqrt 200.0)))))
  (cbrt (* (- x y) (cbrt (sqrt 200.0))))
  (* (* (* (- x y) (cbrt (sqrt 200.0))) (* (- x y) (cbrt (sqrt 200.0)))) (* (- x y) (cbrt (sqrt 200.0))))
  (sqrt (* (- x y) (cbrt (sqrt 200.0))))
  (sqrt (* (- x y) (cbrt (sqrt 200.0))))
  (* (sqrt (- x y)) (cbrt (sqrt (sqrt 200.0))))
  (* (sqrt (- x y)) (cbrt (sqrt (sqrt 200.0))))
  (* (sqrt (- x y)) (cbrt (sqrt (sqrt 200.0))))
  (* (sqrt (- x y)) (cbrt (sqrt (sqrt 200.0))))
  (* (sqrt (- x y)) (sqrt (cbrt (sqrt 200.0))))
  (* (sqrt (- x y)) (sqrt (cbrt (sqrt 200.0))))
  (* (- x y) (cbrt (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0)))))
  (* (- x y) (cbrt (sqrt (* (cbrt 200.0) (cbrt 200.0)))))
  (* (- x y) (cbrt (sqrt (sqrt 200.0))))
  (* (- x y) (cbrt (sqrt 1)))
  (* (- x y) (cbrt (sqrt (sqrt 200.0))))
  (* (- x y) (cbrt 1))
  (* (- x y) (* (cbrt (cbrt (sqrt 200.0))) (cbrt (cbrt (sqrt 200.0)))))
  (* (- x y) (sqrt (cbrt (sqrt 200.0))))
  (* (- x y) 1)
  (* (cbrt (- x y)) (cbrt (sqrt 200.0)))
  (* (sqrt (- x y)) (cbrt (sqrt 200.0)))
  (* (- x y) (cbrt (sqrt 200.0)))
  (* (- (sqrt x) (sqrt y)) (cbrt (sqrt 200.0)))
  (* (- x y) (cbrt (sqrt 200.0)))
  (* (- (pow x 3) (pow y 3)) (cbrt (sqrt 200.0)))
  (* (- (* x x) (* y y)) (cbrt (sqrt 200.0)))
  (- (* (* x (pow (cbrt 200.0) 2)) (pow (pow (sqrt 200.0) 2) 1/3)) (* (pow (pow (sqrt 200.0) 2) 1/3) (* y (pow (cbrt 200.0) 2))))
  (- (* (* x (pow (cbrt 200.0) 2)) (pow (pow (sqrt 200.0) 2) 1/3)) (* (pow (pow (sqrt 200.0) 2) 1/3) (* y (pow (cbrt 200.0) 2))))
  (- (* (* x (pow (cbrt 200.0) 2)) (pow (pow (sqrt 200.0) 2) 1/3)) (* (pow (pow (sqrt 200.0) 2) 1/3) (* y (pow (cbrt 200.0) 2))))
  (- (* x (pow (pow (sqrt 200.0) 2) 1/3)) (* (pow (pow (sqrt 200.0) 2) 1/3) y))
  (- (* x (pow (pow (sqrt 200.0) 2) 1/3)) (* (pow (pow (sqrt 200.0) 2) 1/3) y))
  (- (* x (pow (pow (sqrt 200.0) 2) 1/3)) (* (pow (pow (sqrt 200.0) 2) 1/3) y))
  (- (* x (pow (sqrt 200.0) 1/3)) (* (pow (sqrt 200.0) 1/3) y))
  (- (* x (pow (sqrt 200.0) 1/3)) (* (pow (sqrt 200.0) 1/3) y))
  (- (* x (pow (sqrt 200.0) 1/3)) (* (pow (sqrt 200.0) 1/3) y))
0.677 * * [simplify]: iteration  0 :  4972  enodes  (cost  889 )
0.677 * * [simplify]: iteration  1 :  4972  enodes  (cost  889 )
0.681 * [simplify]: Simplified to:
   (* (pow 200.0 2/3) (* (- x y) (pow (sqrt 200.0) 2/3)))
  (* (pow 200.0 2/3) (* (- x y) (pow (sqrt 200.0) 2/3)))
  (* (pow 200.0 2/3) (* (- x y) (pow (sqrt 200.0) 2/3)))
  (* (pow 200.0 2/3) (* (- x y) (pow (sqrt 200.0) 2/3)))
  (* (pow 200.0 2/3) (* (- x y) (pow (sqrt 200.0) 2/3)))
  (* (pow 200.0 2/3) (* (- x y) (pow (sqrt 200.0) 2/3)))
  (+ (log (- x y)) (log 200.0))
  (+ (log (- x y)) (log 200.0))
  (+ (log (- x y)) (log 200.0))
  (+ (log (- x y)) (log 200.0))
  (+ (log (- x y)) (log 200.0))
  (+ (log (- x y)) (log 200.0))
  (+ (log (- x y)) (log 200.0))
  (pow (pow (exp (- x y)) (pow (sqrt 200.0) 2/3)) (pow 200.0 2/3))
  (* (pow (- x y) 3) (pow 200.0 3))
  (* (pow (- x y) 3) (pow 200.0 3))
  (* (pow (- x y) 3) (pow 200.0 3))
  (* (pow (- x y) 3) (pow 200.0 3))
  (* (pow (- x y) 3) (pow 200.0 3))
  (* (pow (- x y) 3) (pow 200.0 3))
  (* (cbrt (* (pow 200.0 2/3) (* (- x y) (pow (sqrt 200.0) 2/3)))) (cbrt (* (pow 200.0 2/3) (* (- x y) (pow (sqrt 200.0) 2/3)))))
  (cbrt (* (pow 200.0 2/3) (* (- x y) (pow (sqrt 200.0) 2/3))))
  (* (pow (- x y) 3) (pow 200.0 3))
  (sqrt (* (pow 200.0 2/3) (* (- x y) (pow (sqrt 200.0) 2/3))))
  (sqrt (* (pow 200.0 2/3) (* (- x y) (pow (sqrt 200.0) 2/3))))
  (* (pow 200.0 2/3) (* (- x y) (cbrt (sqrt 200.0))))
  (* (cbrt 200.0) (* (- x y) (pow (sqrt 200.0) 2/3)))
  (* (pow 200.0 2/3) (* (- (pow x 3) (pow y 3)) (pow (sqrt 200.0) 2/3)))
  (* (pow 200.0 2/3) (* (- (* x x) (* y y)) (pow (sqrt 200.0) 2/3)))
  (* (- x y) (pow (sqrt 200.0) 2/3))
  (* (- x y) (pow (sqrt 200.0) 2/3))
  (log (* (cbrt 200.0) (- x y)))
  (log (* (cbrt 200.0) (- x y)))
  (log (* (cbrt 200.0) (- x y)))
  (pow (exp (- x y)) (pow (sqrt 200.0) 2/3))
  (* 200.0 (pow (- x y) 3))
  (* 200.0 (pow (- x y) 3))
  (* (cbrt (* (- x y) (pow (sqrt 200.0) 2/3))) (cbrt (* (- x y) (pow (sqrt 200.0) 2/3))))
  (cbrt (* (- x y) (pow (sqrt 200.0) 2/3)))
  (* 200.0 (pow (- x y) 3))
  (sqrt (* (- x y) (pow (sqrt 200.0) 2/3)))
  (sqrt (* (- x y) (pow (sqrt 200.0) 2/3)))
  (* (- x y) (* (cbrt (sqrt 200.0)) (cbrt (pow (sqrt 200.0) 2/3))))
  (* (- x y) (* (cbrt (sqrt 200.0)) (cbrt (fabs (cbrt 200.0)))))
  (* (- x y) (* (cbrt (sqrt 200.0)) (cbrt (sqrt (sqrt 200.0)))))
  (* (- x y) (* (cbrt (sqrt 200.0)) (cbrt 1)))
  (* (- x y) (* (cbrt (sqrt 200.0)) (cbrt (sqrt (sqrt 200.0)))))
  (* (- x y) (* (cbrt (sqrt 200.0)) (cbrt 1)))
  (* (- x y) (* (cbrt (sqrt 200.0)) (* (cbrt (cbrt (sqrt 200.0))) (cbrt (cbrt (sqrt 200.0))))))
  (* (- x y) (* (cbrt (sqrt 200.0)) (sqrt (cbrt (sqrt 200.0)))))
  (* (- x y) (cbrt (sqrt 200.0)))
  (pow (sqrt 200.0) 2/3)
  (* (- (pow x 3) (pow y 3)) (pow (sqrt 200.0) 2/3))
  (* (- (* x x) (* y y)) (pow (sqrt 200.0) 2/3))
  (* (- x y) (cbrt (sqrt 200.0)))
  (log (* (- x y) (cbrt (sqrt 200.0))))
  (log (* (- x y) (cbrt (sqrt 200.0))))
  (pow (exp (- x y)) (cbrt (sqrt 200.0)))
  (* (sqrt 200.0) (pow (- x y) 3))
  (* (cbrt (* (- x y) (cbrt (sqrt 200.0)))) (cbrt (* (- x y) (cbrt (sqrt 200.0)))))
  (cbrt (* (- x y) (cbrt (sqrt 200.0))))
  (* (sqrt 200.0) (pow (- x y) 3))
  (sqrt (* (- x y) (cbrt (sqrt 200.0))))
  (sqrt (* (- x y) (cbrt (sqrt 200.0))))
  (* (cbrt (sqrt (sqrt 200.0))) (sqrt (- x y)))
  (* (cbrt (sqrt (sqrt 200.0))) (sqrt (- x y)))
  (* (cbrt (sqrt (sqrt 200.0))) (sqrt (- x y)))
  (* (cbrt (sqrt (sqrt 200.0))) (sqrt (- x y)))
  (* (sqrt (cbrt (sqrt 200.0))) (sqrt (- x y)))
  (* (sqrt (cbrt (sqrt 200.0))) (sqrt (- x y)))
  (* (- x y) (cbrt (pow (sqrt 200.0) 2/3)))
  (* (- x y) (cbrt (fabs (cbrt 200.0))))
  (* (- x y) (cbrt (sqrt (sqrt 200.0))))
  (* (- x y) (cbrt 1))
  (* (- x y) (cbrt (sqrt (sqrt 200.0))))
  (* (- x y) (cbrt 1))
  (* (- x y) (* (cbrt (cbrt (sqrt 200.0))) (cbrt (cbrt (sqrt 200.0)))))
  (* (- x y) (sqrt (cbrt (sqrt 200.0))))
  (- x y)
  (* (cbrt (sqrt 200.0)) (cbrt (- x y)))
  (* (cbrt (sqrt 200.0)) (sqrt (- x y)))
  (* (- x y) (cbrt (sqrt 200.0)))
  (* (cbrt (sqrt 200.0)) (- (sqrt x) (sqrt y)))
  (* (- x y) (cbrt (sqrt 200.0)))
  (* (cbrt (sqrt 200.0)) (- (pow x 3) (pow y 3)))
  (* (cbrt (sqrt 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))
  (* (- x y) (cbrt (sqrt 200.0)))
  (* (- x y) (cbrt (sqrt 200.0)))
  (* (- x y) (cbrt (sqrt 200.0)))
0.682 * * * [progress]: adding candidates to table
0.818 * [progress]: [Phase 3 of 3] Extracting.
0.818 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (* (sqrt 200.0) (* (- x y) (sqrt 200.0))))> #<alt (λ (x y) (* 200.0 (- x y)))> #<alt (λ (x y) (* (* (cbrt 200.0) (cbrt 200.0)) (* (* (- x y) (cbrt (sqrt 200.0))) (cbrt (sqrt 200.0)))))> #<alt (λ (x y) (* (* (cbrt 200.0) (cbrt 200.0)) (* (- x y) (cbrt 200.0))))>)
0.818 * * * [regime-changes]: Trying 4 branch expressions: ((- x y) (* 200.0 (- x y)) y x)
0.818 * * * * [regimes]: Trying to branch on (- x y) from (#<alt (λ (x y) (* (sqrt 200.0) (* (- x y) (sqrt 200.0))))> #<alt (λ (x y) (* 200.0 (- x y)))> #<alt (λ (x y) (* (* (cbrt 200.0) (cbrt 200.0)) (* (* (- x y) (cbrt (sqrt 200.0))) (cbrt (sqrt 200.0)))))> #<alt (λ (x y) (* (* (cbrt 200.0) (cbrt 200.0)) (* (- x y) (cbrt 200.0))))>)
0.858 * * * * [regimes]: Trying to branch on (* 200.0 (- x y)) from (#<alt (λ (x y) (* (sqrt 200.0) (* (- x y) (sqrt 200.0))))> #<alt (λ (x y) (* 200.0 (- x y)))> #<alt (λ (x y) (* (* (cbrt 200.0) (cbrt 200.0)) (* (* (- x y) (cbrt (sqrt 200.0))) (cbrt (sqrt 200.0)))))> #<alt (λ (x y) (* (* (cbrt 200.0) (cbrt 200.0)) (* (- x y) (cbrt 200.0))))>)
0.898 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (* (sqrt 200.0) (* (- x y) (sqrt 200.0))))> #<alt (λ (x y) (* 200.0 (- x y)))> #<alt (λ (x y) (* (* (cbrt 200.0) (cbrt 200.0)) (* (* (- x y) (cbrt (sqrt 200.0))) (cbrt (sqrt 200.0)))))> #<alt (λ (x y) (* (* (cbrt 200.0) (cbrt 200.0)) (* (- x y) (cbrt 200.0))))>)
0.937 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (* (sqrt 200.0) (* (- x y) (sqrt 200.0))))> #<alt (λ (x y) (* 200.0 (- x y)))> #<alt (λ (x y) (* (* (cbrt 200.0) (cbrt 200.0)) (* (* (- x y) (cbrt (sqrt 200.0))) (cbrt (sqrt 200.0)))))> #<alt (λ (x y) (* (* (cbrt 200.0) (cbrt 200.0)) (* (- x y) (cbrt 200.0))))>)
0.975 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
0.975 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* 200.0 (- x y))
0.976 * * [simplify]: iteration  0 :  16  enodes  (cost  5 )
0.976 * * [simplify]: iteration  1 :  16  enodes  (cost  5 )
0.976 * [simplify]: Simplified to:
   (* 200.0 (- x y))
1.691 * [regime-testing]: End program error score: 0.029628703587948495