7.643 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.009 * * * [progress]: [2/2] Setting up program.
0.010 * [progress]: [Phase 2 of 3] Improving.
0.011 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* 200.0 (- x y))
0.013 * * [simplify]: iteration  0 :  8  enodes  (cost  2 )
0.014 * * [simplify]: iteration  1 :  15  enodes  (cost  2 )
0.015 * * [simplify]: iteration  2 :  21  enodes  (cost  2 )
0.016 * * [simplify]: iteration  3 :  26  enodes  (cost  2 )
0.018 * * [simplify]: iteration  4 :  26  enodes  (cost  2 )
0.018 * [simplify]: Simplified to:
   (* 200.0 (- x y))
0.018 * * [progress]: iteration 1 / 4
0.018 * * * [progress]: picking best candidate
0.019 * * * * [pick]: Picked  #<alt (λ (x y) (* 200.0 (- x y)))>
0.019 * * * [progress]: localizing error
0.022 * * * [progress]: generating rewritten candidates
0.022 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.029 * * * [progress]: generating series expansions
0.029 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.030 * [approximate]: Taking taylor expansion of (* 200.0 (- x y)) in (x y) around 0
0.030 * [taylor]: Taking taylor expansion of (* 200.0 (- x y)) in y
0.030 * [taylor]: Taking taylor expansion of 200.0 in y
0.030 * [taylor]: Taking taylor expansion of (- x y) in y
0.030 * [taylor]: Taking taylor expansion of x in y
0.030 * [taylor]: Taking taylor expansion of y in y
0.030 * [taylor]: Taking taylor expansion of (* 200.0 (- x y)) in x
0.030 * [taylor]: Taking taylor expansion of 200.0 in x
0.030 * [taylor]: Taking taylor expansion of (- x y) in x
0.030 * [taylor]: Taking taylor expansion of x in x
0.030 * [taylor]: Taking taylor expansion of y in x
0.030 * [taylor]: Taking taylor expansion of (* 200.0 (- x y)) in x
0.030 * [taylor]: Taking taylor expansion of 200.0 in x
0.030 * [taylor]: Taking taylor expansion of (- x y) in x
0.030 * [taylor]: Taking taylor expansion of x in x
0.030 * [taylor]: Taking taylor expansion of y in x
0.030 * [taylor]: Taking taylor expansion of (* -200.0 y) in y
0.030 * [taylor]: Taking taylor expansion of -200.0 in y
0.030 * [taylor]: Taking taylor expansion of y in y
0.031 * [taylor]: Taking taylor expansion of 200.0 in y
0.033 * [taylor]: Taking taylor expansion of 0 in y
0.035 * [taylor]: Taking taylor expansion of 0 in y
0.035 * [approximate]: Taking taylor expansion of (* 200.0 (- (/ 1 x) (/ 1 y))) in (x y) around 0
0.035 * [taylor]: Taking taylor expansion of (* 200.0 (- (/ 1 x) (/ 1 y))) in y
0.035 * [taylor]: Taking taylor expansion of 200.0 in y
0.035 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
0.035 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.035 * [taylor]: Taking taylor expansion of x in y
0.036 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.036 * [taylor]: Taking taylor expansion of y in y
0.036 * [taylor]: Taking taylor expansion of (* 200.0 (- (/ 1 x) (/ 1 y))) in x
0.036 * [taylor]: Taking taylor expansion of 200.0 in x
0.036 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.036 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.036 * [taylor]: Taking taylor expansion of x in x
0.036 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.036 * [taylor]: Taking taylor expansion of y in x
0.036 * [taylor]: Taking taylor expansion of (* 200.0 (- (/ 1 x) (/ 1 y))) in x
0.036 * [taylor]: Taking taylor expansion of 200.0 in x
0.036 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.036 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.036 * [taylor]: Taking taylor expansion of x in x
0.037 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.037 * [taylor]: Taking taylor expansion of y in x
0.037 * [taylor]: Taking taylor expansion of 200.0 in y
0.038 * [taylor]: Taking taylor expansion of (- (* 200.0 (/ 1 y))) in y
0.038 * [taylor]: Taking taylor expansion of (* 200.0 (/ 1 y)) in y
0.038 * [taylor]: Taking taylor expansion of 200.0 in y
0.038 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.038 * [taylor]: Taking taylor expansion of y in y
0.040 * [taylor]: Taking taylor expansion of 0 in y
0.043 * [taylor]: Taking taylor expansion of 0 in y
0.046 * [taylor]: Taking taylor expansion of 0 in y
0.047 * [approximate]: Taking taylor expansion of (* 200.0 (- (/ 1 y) (/ 1 x))) in (x y) around 0
0.047 * [taylor]: Taking taylor expansion of (* 200.0 (- (/ 1 y) (/ 1 x))) in y
0.047 * [taylor]: Taking taylor expansion of 200.0 in y
0.047 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
0.047 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.047 * [taylor]: Taking taylor expansion of y in y
0.047 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.047 * [taylor]: Taking taylor expansion of x in y
0.047 * [taylor]: Taking taylor expansion of (* 200.0 (- (/ 1 y) (/ 1 x))) in x
0.047 * [taylor]: Taking taylor expansion of 200.0 in x
0.047 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.047 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.047 * [taylor]: Taking taylor expansion of y in x
0.047 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.048 * [taylor]: Taking taylor expansion of x in x
0.048 * [taylor]: Taking taylor expansion of (* 200.0 (- (/ 1 y) (/ 1 x))) in x
0.048 * [taylor]: Taking taylor expansion of 200.0 in x
0.048 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.048 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.048 * [taylor]: Taking taylor expansion of y in x
0.048 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.048 * [taylor]: Taking taylor expansion of x in x
0.049 * [taylor]: Taking taylor expansion of -200.0 in y
0.050 * [taylor]: Taking taylor expansion of (* 200.0 (/ 1 y)) in y
0.050 * [taylor]: Taking taylor expansion of 200.0 in y
0.050 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.050 * [taylor]: Taking taylor expansion of y in y
0.052 * [taylor]: Taking taylor expansion of 0 in y
0.054 * [taylor]: Taking taylor expansion of 0 in y
0.057 * [taylor]: Taking taylor expansion of 0 in y
0.058 * * * [progress]: simplifying candidates
0.058 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* 200.0 (- x y))
  (+ (log 200.0) (log (- x y)))
  (log (* 200.0 (- x y)))
  (exp (* 200.0 (- x y)))
  (* (* (* 200.0 200.0) 200.0) (* (* (- x y) (- x y)) (- x y)))
  (* (cbrt (* 200.0 (- x y))) (cbrt (* 200.0 (- x y))))
  (cbrt (* 200.0 (- x y)))
  (* (* (* 200.0 (- x y)) (* 200.0 (- x y))) (* 200.0 (- x y)))
  (sqrt (* 200.0 (- x y)))
  (sqrt (* 200.0 (- x y)))
  (* (sqrt 200.0) (sqrt (- x y)))
  (* (sqrt 200.0) (sqrt (- x y)))
  (* 200.0 x)
  (* 200.0 (- y))
  (* 200.0 x)
  (* 200.0 (- y))
  (* x 200.0)
  (* (- y) 200.0)
  (* x 200.0)
  (* (- y) 200.0)
  (* 200.0 (* (cbrt (- x y)) (cbrt (- x y))))
  (* 200.0 (sqrt (- x y)))
  (* 200.0 1)
  (* 200.0 (+ (sqrt x) (sqrt y)))
  (* 200.0 1)
  (* (cbrt 200.0) (- x y))
  (* (sqrt 200.0) (- x y))
  (* 200.0 (- x y))
  (* 200.0 (- (pow x 3) (pow y 3)))
  (* 200.0 (- (* x x) (* y y)))
  (- (* 200.0 x) (* 200.0 y))
  (- (* 200.0 x) (* 200.0 y))
  (- (* 200.0 x) (* 200.0 y))
0.061 * * [simplify]: iteration  0 :  112  enodes  (cost  98 )
0.064 * * [simplify]: iteration  1 :  460  enodes  (cost  88 )
0.073 * * [simplify]: iteration  2 :  1881  enodes  (cost  88 )
0.100 * * [simplify]: iteration  3 :  5001  enodes  (cost  88 )
0.101 * [simplify]: Simplified to:
   (* 200.0 (- x y))
  (log (* 200.0 (- x y)))
  (log (* 200.0 (- x y)))
  (exp (* 200.0 (- x y)))
  (pow (* 200.0 (- x y)) 3)
  (* (cbrt (* 200.0 (- x y))) (cbrt (* 200.0 (- x y))))
  (cbrt (* 200.0 (- x y)))
  (pow (* 200.0 (- x y)) 3)
  (sqrt (* 200.0 (- x y)))
  (sqrt (* 200.0 (- x y)))
  (* (sqrt 200.0) (sqrt (- x y)))
  (* (sqrt 200.0) (sqrt (- x y)))
  (* 200.0 x)
  (* 200.0 (- y))
  (* 200.0 x)
  (* 200.0 (- y))
  (* 200.0 x)
  (* 200.0 (- y))
  (* 200.0 x)
  (* 200.0 (- y))
  (* 200.0 (* (cbrt (- x y)) (cbrt (- x y))))
  (* 200.0 (sqrt (- x y)))
  200.0
  (* 200.0 (+ (sqrt x) (sqrt y)))
  200.0
  (* (cbrt 200.0) (- x y))
  (* (sqrt 200.0) (- x y))
  (* 200.0 (- x y))
  (* 200.0 (- (pow x 3) (pow y 3)))
  (* 200.0 (- (* x x) (* y y)))
  (* 200.0 (- x y))
  (* 200.0 (- x y))
  (* 200.0 (- x y))
0.101 * * * [progress]: adding candidates to table
0.138 * * [progress]: iteration 2 / 4
0.138 * * * [progress]: picking best candidate
0.141 * * * * [pick]: Picked  #<alt (λ (x y) (+ (* 200.0 x) (* 200.0 (- y))))>
0.141 * * * [progress]: localizing error
0.146 * * * [progress]: generating rewritten candidates
0.146 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.150 * * * [progress]: generating series expansions
0.150 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.150 * [approximate]: Taking taylor expansion of (- (* 200.0 x) (* 200.0 y)) in (x y) around 0
0.150 * [taylor]: Taking taylor expansion of (- (* 200.0 x) (* 200.0 y)) in y
0.150 * [taylor]: Taking taylor expansion of (* 200.0 x) in y
0.150 * [taylor]: Taking taylor expansion of 200.0 in y
0.150 * [taylor]: Taking taylor expansion of x in y
0.150 * [taylor]: Taking taylor expansion of (* 200.0 y) in y
0.150 * [taylor]: Taking taylor expansion of 200.0 in y
0.150 * [taylor]: Taking taylor expansion of y in y
0.150 * [taylor]: Taking taylor expansion of (- (* 200.0 x) (* 200.0 y)) in x
0.150 * [taylor]: Taking taylor expansion of (* 200.0 x) in x
0.150 * [taylor]: Taking taylor expansion of 200.0 in x
0.150 * [taylor]: Taking taylor expansion of x in x
0.150 * [taylor]: Taking taylor expansion of (* 200.0 y) in x
0.150 * [taylor]: Taking taylor expansion of 200.0 in x
0.150 * [taylor]: Taking taylor expansion of y in x
0.150 * [taylor]: Taking taylor expansion of (- (* 200.0 x) (* 200.0 y)) in x
0.150 * [taylor]: Taking taylor expansion of (* 200.0 x) in x
0.150 * [taylor]: Taking taylor expansion of 200.0 in x
0.151 * [taylor]: Taking taylor expansion of x in x
0.151 * [taylor]: Taking taylor expansion of (* 200.0 y) in x
0.151 * [taylor]: Taking taylor expansion of 200.0 in x
0.151 * [taylor]: Taking taylor expansion of y in x
0.151 * [taylor]: Taking taylor expansion of (- (* 200.0 y)) in y
0.151 * [taylor]: Taking taylor expansion of (* 200.0 y) in y
0.151 * [taylor]: Taking taylor expansion of 200.0 in y
0.151 * [taylor]: Taking taylor expansion of y in y
0.153 * [taylor]: Taking taylor expansion of 200.0 in y
0.156 * [taylor]: Taking taylor expansion of 0 in y
0.158 * [taylor]: Taking taylor expansion of 0 in y
0.159 * [approximate]: Taking taylor expansion of (- (* 200.0 (/ 1 x)) (* 200.0 (/ 1 y))) in (x y) around 0
0.159 * [taylor]: Taking taylor expansion of (- (* 200.0 (/ 1 x)) (* 200.0 (/ 1 y))) in y
0.159 * [taylor]: Taking taylor expansion of (* 200.0 (/ 1 x)) in y
0.159 * [taylor]: Taking taylor expansion of 200.0 in y
0.159 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.159 * [taylor]: Taking taylor expansion of x in y
0.159 * [taylor]: Taking taylor expansion of (* 200.0 (/ 1 y)) in y
0.159 * [taylor]: Taking taylor expansion of 200.0 in y
0.159 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.159 * [taylor]: Taking taylor expansion of y in y
0.159 * [taylor]: Taking taylor expansion of (- (* 200.0 (/ 1 x)) (* 200.0 (/ 1 y))) in x
0.159 * [taylor]: Taking taylor expansion of (* 200.0 (/ 1 x)) in x
0.159 * [taylor]: Taking taylor expansion of 200.0 in x
0.159 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.159 * [taylor]: Taking taylor expansion of x in x
0.160 * [taylor]: Taking taylor expansion of (* 200.0 (/ 1 y)) in x
0.160 * [taylor]: Taking taylor expansion of 200.0 in x
0.160 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.160 * [taylor]: Taking taylor expansion of y in x
0.160 * [taylor]: Taking taylor expansion of (- (* 200.0 (/ 1 x)) (* 200.0 (/ 1 y))) in x
0.160 * [taylor]: Taking taylor expansion of (* 200.0 (/ 1 x)) in x
0.160 * [taylor]: Taking taylor expansion of 200.0 in x
0.160 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.160 * [taylor]: Taking taylor expansion of x in x
0.160 * [taylor]: Taking taylor expansion of (* 200.0 (/ 1 y)) in x
0.160 * [taylor]: Taking taylor expansion of 200.0 in x
0.160 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.160 * [taylor]: Taking taylor expansion of y in x
0.161 * [taylor]: Taking taylor expansion of 200.0 in y
0.162 * [taylor]: Taking taylor expansion of (- (* 200.0 (/ 1 y))) in y
0.162 * [taylor]: Taking taylor expansion of (* 200.0 (/ 1 y)) in y
0.162 * [taylor]: Taking taylor expansion of 200.0 in y
0.162 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.162 * [taylor]: Taking taylor expansion of y in y
0.164 * [taylor]: Taking taylor expansion of 0 in y
0.167 * [taylor]: Taking taylor expansion of 0 in y
0.171 * [taylor]: Taking taylor expansion of 0 in y
0.171 * [approximate]: Taking taylor expansion of (- (* 200.0 (/ 1 y)) (* 200.0 (/ 1 x))) in (x y) around 0
0.172 * [taylor]: Taking taylor expansion of (- (* 200.0 (/ 1 y)) (* 200.0 (/ 1 x))) in y
0.172 * [taylor]: Taking taylor expansion of (* 200.0 (/ 1 y)) in y
0.172 * [taylor]: Taking taylor expansion of 200.0 in y
0.172 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.172 * [taylor]: Taking taylor expansion of y in y
0.172 * [taylor]: Taking taylor expansion of (* 200.0 (/ 1 x)) in y
0.172 * [taylor]: Taking taylor expansion of 200.0 in y
0.172 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.172 * [taylor]: Taking taylor expansion of x in y
0.172 * [taylor]: Taking taylor expansion of (- (* 200.0 (/ 1 y)) (* 200.0 (/ 1 x))) in x
0.172 * [taylor]: Taking taylor expansion of (* 200.0 (/ 1 y)) in x
0.172 * [taylor]: Taking taylor expansion of 200.0 in x
0.172 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.172 * [taylor]: Taking taylor expansion of y in x
0.172 * [taylor]: Taking taylor expansion of (* 200.0 (/ 1 x)) in x
0.172 * [taylor]: Taking taylor expansion of 200.0 in x
0.172 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.172 * [taylor]: Taking taylor expansion of x in x
0.172 * [taylor]: Taking taylor expansion of (- (* 200.0 (/ 1 y)) (* 200.0 (/ 1 x))) in x
0.172 * [taylor]: Taking taylor expansion of (* 200.0 (/ 1 y)) in x
0.172 * [taylor]: Taking taylor expansion of 200.0 in x
0.172 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.172 * [taylor]: Taking taylor expansion of y in x
0.172 * [taylor]: Taking taylor expansion of (* 200.0 (/ 1 x)) in x
0.173 * [taylor]: Taking taylor expansion of 200.0 in x
0.173 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.173 * [taylor]: Taking taylor expansion of x in x
0.174 * [taylor]: Taking taylor expansion of (- 200.0) in y
0.174 * [taylor]: Taking taylor expansion of 200.0 in y
0.175 * [taylor]: Taking taylor expansion of (* 200.0 (/ 1 y)) in y
0.175 * [taylor]: Taking taylor expansion of 200.0 in y
0.175 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.175 * [taylor]: Taking taylor expansion of y in y
0.178 * [taylor]: Taking taylor expansion of 0 in y
0.184 * [taylor]: Taking taylor expansion of 0 in y
0.188 * [taylor]: Taking taylor expansion of 0 in y
0.188 * * * [progress]: simplifying candidates
0.189 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (exp (* 200.0 x)) (exp (* 200.0 (- y))))
  (log (+ (* 200.0 x) (* 200.0 (- y))))
  (exp (+ (* 200.0 x) (* 200.0 (- y))))
  (* (cbrt (+ (* 200.0 x) (* 200.0 (- y)))) (cbrt (+ (* 200.0 x) (* 200.0 (- y)))))
  (cbrt (+ (* 200.0 x) (* 200.0 (- y))))
  (* (* (+ (* 200.0 x) (* 200.0 (- y))) (+ (* 200.0 x) (* 200.0 (- y)))) (+ (* 200.0 x) (* 200.0 (- y))))
  (sqrt (+ (* 200.0 x) (* 200.0 (- y))))
  (sqrt (+ (* 200.0 x) (* 200.0 (- y))))
  (+ (pow (* 200.0 x) 3) (pow (* 200.0 (- y)) 3))
  (+ (* (* 200.0 x) (* 200.0 x)) (- (* (* 200.0 (- y)) (* 200.0 (- y))) (* (* 200.0 x) (* 200.0 (- y)))))
  (- (* (* 200.0 x) (* 200.0 x)) (* (* 200.0 (- y)) (* 200.0 (- y))))
  (- (* 200.0 x) (* 200.0 (- y)))
  (+ x (- y))
  (- (* 200.0 x) (* 200.0 y))
  (- (* 200.0 x) (* 200.0 y))
  (- (* 200.0 x) (* 200.0 y))
0.191 * * [simplify]: iteration  0 :  104  enodes  (cost  90 )
0.194 * * [simplify]: iteration  1 :  435  enodes  (cost  69 )
0.205 * * [simplify]: iteration  2 :  1927  enodes  (cost  66 )
0.249 * * [simplify]: iteration  3 :  5002  enodes  (cost  65 )
0.250 * [simplify]: Simplified to:
   (exp (* 200.0 (- x y)))
  (+ (log 200.0) (log (- x y)))
  (exp (* 200.0 (- x y)))
  (* (cbrt (+ (* 200.0 x) (* 200.0 (- y)))) (cbrt (+ (* 200.0 x) (* 200.0 (- y)))))
  (cbrt (+ (* 200.0 x) (* 200.0 (- y))))
  (pow (* 200.0 (- x y)) 3)
  (sqrt (+ (* 200.0 x) (* 200.0 (- y))))
  (sqrt (+ (* 200.0 x) (* 200.0 (- y))))
  (- (pow (* 200.0 x) 3) (pow (* 200.0 y) 3))
  (* 200.0 (+ (* x (* 200.0 x)) (* y (* 200.0 (+ x y)))))
  (* (* 200.0 200.0) (- (* x x) (* y y)))
  (* 200.0 (+ x y))
  (- x y)
  (* 200.0 (- x y))
  (* 200.0 (- x y))
  (* 200.0 (- x y))
0.250 * * * [progress]: adding candidates to table
0.273 * * [progress]: iteration 3 / 4
0.273 * * * [progress]: picking best candidate
0.274 * * * * [pick]: Picked  #<alt (λ (x y) (* (sqrt 200.0) (* (sqrt 200.0) (- x y))))>
0.274 * * * [progress]: localizing error
0.280 * * * [progress]: generating rewritten candidates
0.280 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.290 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
0.299 * * * [progress]: generating series expansions
0.299 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.300 * [approximate]: Taking taylor expansion of (* (pow (sqrt 200.0) 2) (- x y)) in (x y) around 0
0.300 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200.0) 2) (- x y)) in y
0.300 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y
0.300 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.300 * [taylor]: Taking taylor expansion of 200.0 in y
0.301 * [taylor]: Taking taylor expansion of (- x y) in y
0.301 * [taylor]: Taking taylor expansion of x in y
0.301 * [taylor]: Taking taylor expansion of y in y
0.301 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200.0) 2) (- x y)) in x
0.301 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in x
0.301 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x
0.301 * [taylor]: Taking taylor expansion of 200.0 in x
0.301 * [taylor]: Taking taylor expansion of (- x y) in x
0.302 * [taylor]: Taking taylor expansion of x in x
0.302 * [taylor]: Taking taylor expansion of y in x
0.302 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200.0) 2) (- x y)) in x
0.302 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in x
0.302 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x
0.302 * [taylor]: Taking taylor expansion of 200.0 in x
0.302 * [taylor]: Taking taylor expansion of (- x y) in x
0.302 * [taylor]: Taking taylor expansion of x in x
0.302 * [taylor]: Taking taylor expansion of y in x
0.304 * [taylor]: Taking taylor expansion of (* -1 (* (pow (sqrt 200.0) 2) y)) in y
0.304 * [taylor]: Taking taylor expansion of -1 in y
0.304 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200.0) 2) y) in y
0.304 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y
0.304 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.304 * [taylor]: Taking taylor expansion of 200.0 in y
0.308 * [taylor]: Taking taylor expansion of y in y
0.311 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y
0.311 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.312 * [taylor]: Taking taylor expansion of 200.0 in y
0.322 * [taylor]: Taking taylor expansion of 0 in y
0.331 * [taylor]: Taking taylor expansion of 0 in y
0.336 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 200.0) 2)) in (x y) around 0
0.336 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 200.0) 2)) in y
0.336 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
0.336 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.336 * [taylor]: Taking taylor expansion of x in y
0.336 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.336 * [taylor]: Taking taylor expansion of y in y
0.336 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y
0.337 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.337 * [taylor]: Taking taylor expansion of 200.0 in y
0.338 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 200.0) 2)) in x
0.338 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.338 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.338 * [taylor]: Taking taylor expansion of x in x
0.338 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.338 * [taylor]: Taking taylor expansion of y in x
0.338 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in x
0.338 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x
0.338 * [taylor]: Taking taylor expansion of 200.0 in x
0.339 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 200.0) 2)) in x
0.339 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.339 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.339 * [taylor]: Taking taylor expansion of x in x
0.340 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.340 * [taylor]: Taking taylor expansion of y in x
0.340 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in x
0.340 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x
0.340 * [taylor]: Taking taylor expansion of 200.0 in x
0.344 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y
0.344 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.344 * [taylor]: Taking taylor expansion of 200.0 in y
0.348 * [taylor]: Taking taylor expansion of (- (/ (pow (sqrt 200.0) 2) y)) in y
0.348 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 200.0) 2) y) in y
0.348 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y
0.348 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.348 * [taylor]: Taking taylor expansion of 200.0 in y
0.349 * [taylor]: Taking taylor expansion of y in y
0.361 * [taylor]: Taking taylor expansion of 0 in y
0.369 * [taylor]: Taking taylor expansion of 0 in y
0.380 * [taylor]: Taking taylor expansion of 0 in y
0.383 * [approximate]: Taking taylor expansion of (* (pow (sqrt 200.0) 2) (- (/ 1 y) (/ 1 x))) in (x y) around 0
0.383 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200.0) 2) (- (/ 1 y) (/ 1 x))) in y
0.383 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y
0.383 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.383 * [taylor]: Taking taylor expansion of 200.0 in y
0.385 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
0.385 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.385 * [taylor]: Taking taylor expansion of y in y
0.385 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.385 * [taylor]: Taking taylor expansion of x in y
0.385 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200.0) 2) (- (/ 1 y) (/ 1 x))) in x
0.385 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in x
0.385 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x
0.385 * [taylor]: Taking taylor expansion of 200.0 in x
0.386 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.386 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.386 * [taylor]: Taking taylor expansion of y in x
0.386 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.386 * [taylor]: Taking taylor expansion of x in x
0.387 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200.0) 2) (- (/ 1 y) (/ 1 x))) in x
0.387 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in x
0.387 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x
0.387 * [taylor]: Taking taylor expansion of 200.0 in x
0.388 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.388 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.388 * [taylor]: Taking taylor expansion of y in x
0.388 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.388 * [taylor]: Taking taylor expansion of x in x
0.392 * [taylor]: Taking taylor expansion of (* -1 (pow (sqrt 200.0) 2)) in y
0.392 * [taylor]: Taking taylor expansion of -1 in y
0.392 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y
0.392 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.392 * [taylor]: Taking taylor expansion of 200.0 in y
0.396 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 200.0) 2) y) in y
0.396 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y
0.396 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.396 * [taylor]: Taking taylor expansion of 200.0 in y
0.397 * [taylor]: Taking taylor expansion of y in y
0.409 * [taylor]: Taking taylor expansion of 0 in y
0.418 * [taylor]: Taking taylor expansion of 0 in y
0.436 * [taylor]: Taking taylor expansion of 0 in y
0.439 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
0.440 * [approximate]: Taking taylor expansion of (* (sqrt 200.0) (- x y)) in (x y) around 0
0.440 * [taylor]: Taking taylor expansion of (* (sqrt 200.0) (- x y)) in y
0.440 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.440 * [taylor]: Taking taylor expansion of 200.0 in y
0.441 * [taylor]: Taking taylor expansion of (- x y) in y
0.441 * [taylor]: Taking taylor expansion of x in y
0.441 * [taylor]: Taking taylor expansion of y in y
0.441 * [taylor]: Taking taylor expansion of (* (sqrt 200.0) (- x y)) in x
0.441 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x
0.441 * [taylor]: Taking taylor expansion of 200.0 in x
0.442 * [taylor]: Taking taylor expansion of (- x y) in x
0.442 * [taylor]: Taking taylor expansion of x in x
0.442 * [taylor]: Taking taylor expansion of y in x
0.442 * [taylor]: Taking taylor expansion of (* (sqrt 200.0) (- x y)) in x
0.442 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x
0.442 * [taylor]: Taking taylor expansion of 200.0 in x
0.443 * [taylor]: Taking taylor expansion of (- x y) in x
0.443 * [taylor]: Taking taylor expansion of x in x
0.443 * [taylor]: Taking taylor expansion of y in x
0.444 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt 200.0) y)) in y
0.444 * [taylor]: Taking taylor expansion of -1 in y
0.444 * [taylor]: Taking taylor expansion of (* (sqrt 200.0) y) in y
0.444 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.444 * [taylor]: Taking taylor expansion of 200.0 in y
0.445 * [taylor]: Taking taylor expansion of y in y
0.447 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.447 * [taylor]: Taking taylor expansion of 200.0 in y
0.456 * [taylor]: Taking taylor expansion of 0 in y
0.462 * [taylor]: Taking taylor expansion of 0 in y
0.464 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 200.0)) in (x y) around 0
0.464 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 200.0)) in y
0.464 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
0.464 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.464 * [taylor]: Taking taylor expansion of x in y
0.464 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.464 * [taylor]: Taking taylor expansion of y in y
0.465 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.465 * [taylor]: Taking taylor expansion of 200.0 in y
0.466 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 200.0)) in x
0.466 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.466 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.466 * [taylor]: Taking taylor expansion of x in x
0.466 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.466 * [taylor]: Taking taylor expansion of y in x
0.466 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x
0.466 * [taylor]: Taking taylor expansion of 200.0 in x
0.468 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt 200.0)) in x
0.468 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.468 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.468 * [taylor]: Taking taylor expansion of x in x
0.468 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.468 * [taylor]: Taking taylor expansion of y in x
0.468 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x
0.468 * [taylor]: Taking taylor expansion of 200.0 in x
0.470 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.470 * [taylor]: Taking taylor expansion of 200.0 in y
0.473 * [taylor]: Taking taylor expansion of (- (/ (sqrt 200.0) y)) in y
0.473 * [taylor]: Taking taylor expansion of (/ (sqrt 200.0) y) in y
0.473 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.473 * [taylor]: Taking taylor expansion of 200.0 in y
0.474 * [taylor]: Taking taylor expansion of y in y
0.480 * [taylor]: Taking taylor expansion of 0 in y
0.485 * [taylor]: Taking taylor expansion of 0 in y
0.493 * [taylor]: Taking taylor expansion of 0 in y
0.494 * [approximate]: Taking taylor expansion of (* (sqrt 200.0) (- (/ 1 y) (/ 1 x))) in (x y) around 0
0.494 * [taylor]: Taking taylor expansion of (* (sqrt 200.0) (- (/ 1 y) (/ 1 x))) in y
0.495 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.495 * [taylor]: Taking taylor expansion of 200.0 in y
0.496 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
0.496 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.496 * [taylor]: Taking taylor expansion of y in y
0.496 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.496 * [taylor]: Taking taylor expansion of x in y
0.496 * [taylor]: Taking taylor expansion of (* (sqrt 200.0) (- (/ 1 y) (/ 1 x))) in x
0.496 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x
0.496 * [taylor]: Taking taylor expansion of 200.0 in x
0.497 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.497 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.497 * [taylor]: Taking taylor expansion of y in x
0.497 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.497 * [taylor]: Taking taylor expansion of x in x
0.498 * [taylor]: Taking taylor expansion of (* (sqrt 200.0) (- (/ 1 y) (/ 1 x))) in x
0.498 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x
0.498 * [taylor]: Taking taylor expansion of 200.0 in x
0.499 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.499 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.499 * [taylor]: Taking taylor expansion of y in x
0.499 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.499 * [taylor]: Taking taylor expansion of x in x
0.501 * [taylor]: Taking taylor expansion of (* -1 (sqrt 200.0)) in y
0.501 * [taylor]: Taking taylor expansion of -1 in y
0.501 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.501 * [taylor]: Taking taylor expansion of 200.0 in y
0.504 * [taylor]: Taking taylor expansion of (/ (sqrt 200.0) y) in y
0.504 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.504 * [taylor]: Taking taylor expansion of 200.0 in y
0.504 * [taylor]: Taking taylor expansion of y in y
0.508 * [taylor]: Taking taylor expansion of 0 in y
0.512 * [taylor]: Taking taylor expansion of 0 in y
0.517 * [taylor]: Taking taylor expansion of 0 in y
0.518 * * * [progress]: simplifying candidates
0.519 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (sqrt 200.0) (* (sqrt 200.0) (- x y)))
  (* (sqrt 200.0) (* (sqrt 200.0) (- x y)))
  (+ (log (sqrt 200.0)) (+ (log (sqrt 200.0)) (log (- x y))))
  (+ (log (sqrt 200.0)) (log (* (sqrt 200.0) (- x y))))
  (log (* (sqrt 200.0) (* (sqrt 200.0) (- x y))))
  (exp (* (sqrt 200.0) (* (sqrt 200.0) (- x y))))
  (* (* (* (sqrt 200.0) (sqrt 200.0)) (sqrt 200.0)) (* (* (* (sqrt 200.0) (sqrt 200.0)) (sqrt 200.0)) (* (* (- x y) (- x y)) (- x y))))
  (* (* (* (sqrt 200.0) (sqrt 200.0)) (sqrt 200.0)) (* (* (* (sqrt 200.0) (- x y)) (* (sqrt 200.0) (- x y))) (* (sqrt 200.0) (- x y))))
  (* (cbrt (* (sqrt 200.0) (* (sqrt 200.0) (- x y)))) (cbrt (* (sqrt 200.0) (* (sqrt 200.0) (- x y)))))
  (cbrt (* (sqrt 200.0) (* (sqrt 200.0) (- x y))))
  (* (* (* (sqrt 200.0) (* (sqrt 200.0) (- x y))) (* (sqrt 200.0) (* (sqrt 200.0) (- x y)))) (* (sqrt 200.0) (* (sqrt 200.0) (- x y))))
  (sqrt (* (sqrt 200.0) (* (sqrt 200.0) (- x y))))
  (sqrt (* (sqrt 200.0) (* (sqrt 200.0) (- x y))))
  (* (sqrt 200.0) (* (sqrt 200.0) x))
  (* (sqrt 200.0) (* (sqrt 200.0) (- y)))
  (* (sqrt 200.0) (* (sqrt 200.0) x))
  (* (sqrt 200.0) (* (sqrt 200.0) (- y)))
  (* (sqrt 200.0) (* x (sqrt 200.0)))
  (* (sqrt 200.0) (* (- y) (sqrt 200.0)))
  (* (sqrt 200.0) (* x (sqrt 200.0)))
  (* (sqrt 200.0) (* (- y) (sqrt 200.0)))
  (* (* (sqrt 200.0) x) (sqrt 200.0))
  (* (* (sqrt 200.0) (- y)) (sqrt 200.0))
  (* (* (sqrt 200.0) x) (sqrt 200.0))
  (* (* (sqrt 200.0) (- y)) (sqrt 200.0))
  (* (* x (sqrt 200.0)) (sqrt 200.0))
  (* (* (- y) (sqrt 200.0)) (sqrt 200.0))
  (* (* x (sqrt 200.0)) (sqrt 200.0))
  (* (* (- y) (sqrt 200.0)) (sqrt 200.0))
  (* (sqrt 200.0) (sqrt 200.0))
  (* (cbrt (sqrt 200.0)) (* (sqrt 200.0) (- x y)))
  (* (sqrt (cbrt 200.0)) (* (sqrt 200.0) (- x y)))
  (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y)))
  (* (sqrt 200.0) (* (sqrt 200.0) (- x y)))
  (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y)))
  (* (sqrt 200.0) (* (sqrt 200.0) (- x y)))
  (* (sqrt 200.0) (* (sqrt 200.0) (- (pow x 3) (pow y 3))))
  (* (sqrt 200.0) (* (sqrt 200.0) (- (* x x) (* y y))))
  (* (sqrt 200.0) (- x y))
  (+ (log (sqrt 200.0)) (log (- x y)))
  (log (* (sqrt 200.0) (- x y)))
  (exp (* (sqrt 200.0) (- x y)))
  (* (* (* (sqrt 200.0) (sqrt 200.0)) (sqrt 200.0)) (* (* (- x y) (- x y)) (- x y)))
  (* (cbrt (* (sqrt 200.0) (- x y))) (cbrt (* (sqrt 200.0) (- x y))))
  (cbrt (* (sqrt 200.0) (- x y)))
  (* (* (* (sqrt 200.0) (- x y)) (* (sqrt 200.0) (- x y))) (* (sqrt 200.0) (- x y)))
  (sqrt (* (sqrt 200.0) (- x y)))
  (sqrt (* (sqrt 200.0) (- x y)))
  (* (sqrt (sqrt 200.0)) (sqrt (- x y)))
  (* (sqrt (sqrt 200.0)) (sqrt (- x y)))
  (* (sqrt (sqrt 200.0)) (sqrt (- x y)))
  (* (sqrt (sqrt 200.0)) (sqrt (- x y)))
  (* (sqrt 200.0) x)
  (* (sqrt 200.0) (- y))
  (* (sqrt 200.0) x)
  (* (sqrt 200.0) (- y))
  (* x (sqrt 200.0))
  (* (- y) (sqrt 200.0))
  (* x (sqrt 200.0))
  (* (- y) (sqrt 200.0))
  (* (sqrt 200.0) (* (cbrt (- x y)) (cbrt (- x y))))
  (* (sqrt 200.0) (sqrt (- x y)))
  (* (sqrt 200.0) 1)
  (* (sqrt 200.0) (+ (sqrt x) (sqrt y)))
  (* (sqrt 200.0) 1)
  (* (cbrt (sqrt 200.0)) (- x y))
  (* (sqrt (cbrt 200.0)) (- x y))
  (* (sqrt (sqrt 200.0)) (- x y))
  (* (sqrt 200.0) (- x y))
  (* (sqrt (sqrt 200.0)) (- x y))
  (* (sqrt 200.0) (- x y))
  (* (sqrt 200.0) (- (pow x 3) (pow y 3)))
  (* (sqrt 200.0) (- (* x x) (* y y)))
  (- (* x (pow (sqrt 200.0) 2)) (* (pow (sqrt 200.0) 2) y))
  (- (* x (pow (sqrt 200.0) 2)) (* (pow (sqrt 200.0) 2) y))
  (- (* x (pow (sqrt 200.0) 2)) (* (pow (sqrt 200.0) 2) y))
  (- (* x (sqrt 200.0)) (* (sqrt 200.0) y))
  (- (* x (sqrt 200.0)) (* (sqrt 200.0) y))
  (- (* x (sqrt 200.0)) (* (sqrt 200.0) y))
0.523 * * [simplify]: iteration  0 :  193  enodes  (cost  327 )
0.527 * * [simplify]: iteration  1 :  854  enodes  (cost  268 )
0.545 * * [simplify]: iteration  2 :  4407  enodes  (cost  268 )
0.622 * * [simplify]: iteration  3 :  5001  enodes  (cost  268 )
0.624 * [simplify]: Simplified to:
   (* 200.0 (- x y))
  (* 200.0 (- x y))
  (+ (log 200.0) (log (- x y)))
  (+ (log 200.0) (log (- x y)))
  (+ (log 200.0) (log (- x y)))
  (pow (exp 200.0) (- x y))
  (pow (* 200.0 (- x y)) 3)
  (pow (* 200.0 (- x y)) 3)
  (* (cbrt (* (sqrt 200.0) (* (sqrt 200.0) (- x y)))) (cbrt (* (sqrt 200.0) (* (sqrt 200.0) (- x y)))))
  (cbrt (* (sqrt 200.0) (* (sqrt 200.0) (- x y))))
  (pow (* 200.0 (- x y)) 3)
  (sqrt (* (sqrt 200.0) (* (sqrt 200.0) (- x y))))
  (sqrt (* (sqrt 200.0) (* (sqrt 200.0) (- x y))))
  (* 200.0 x)
  (* 200.0 (- y))
  (* 200.0 x)
  (* 200.0 (- y))
  (* 200.0 x)
  (* 200.0 (- y))
  (* 200.0 x)
  (* 200.0 (- y))
  (* 200.0 x)
  (* 200.0 (- y))
  (* 200.0 x)
  (* 200.0 (- y))
  (* 200.0 x)
  (* 200.0 (- y))
  (* 200.0 x)
  (* 200.0 (- y))
  200.0
  (* (cbrt (sqrt 200.0)) (* (sqrt 200.0) (- x y)))
  (* (sqrt (cbrt 200.0)) (* (sqrt 200.0) (- x y)))
  (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y)))
  (* 200.0 (- x y))
  (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y)))
  (* 200.0 (- x y))
  (* 200.0 (- (pow x 3) (pow y 3)))
  (* 200.0 (- (* x x) (* y y)))
  (* (sqrt 200.0) (- x y))
  (log (* (sqrt 200.0) (- x y)))
  (log (* (sqrt 200.0) (- x y)))
  (exp (* (sqrt 200.0) (- x y)))
  (pow (* (sqrt 200.0) (- x y)) 3)
  (* (cbrt (* (sqrt 200.0) (- x y))) (cbrt (* (sqrt 200.0) (- x y))))
  (cbrt (* (sqrt 200.0) (- x y)))
  (pow (* (sqrt 200.0) (- x y)) 3)
  (sqrt (* (sqrt 200.0) (- x y)))
  (sqrt (* (sqrt 200.0) (- x y)))
  (* (sqrt (- x y)) (pow (sqrt 200.0) 1/2))
  (* (sqrt (- x y)) (pow (sqrt 200.0) 1/2))
  (* (sqrt (- x y)) (pow (sqrt 200.0) 1/2))
  (* (sqrt (- x y)) (pow (sqrt 200.0) 1/2))
  (* (sqrt 200.0) x)
  (* (sqrt 200.0) (- y))
  (* (sqrt 200.0) x)
  (* (sqrt 200.0) (- y))
  (* (sqrt 200.0) x)
  (* (sqrt 200.0) (- y))
  (* (sqrt 200.0) x)
  (* (sqrt 200.0) (- y))
  (* (sqrt 200.0) (* (cbrt (- x y)) (cbrt (- x y))))
  (* (sqrt 200.0) (sqrt (- x y)))
  (sqrt 200.0)
  (* (sqrt 200.0) (+ (sqrt x) (sqrt y)))
  (sqrt 200.0)
  (* (cbrt (sqrt 200.0)) (- x y))
  (* (sqrt (cbrt 200.0)) (- x y))
  (* (sqrt (sqrt 200.0)) (- x y))
  (* (sqrt 200.0) (- x y))
  (* (sqrt (sqrt 200.0)) (- x y))
  (* (sqrt 200.0) (- x y))
  (* (sqrt 200.0) (- (pow x 3) (pow y 3)))
  (* (sqrt 200.0) (- (* x x) (* y y)))
  (* 200.0 (- x y))
  (* 200.0 (- x y))
  (* 200.0 (- x y))
  (* (sqrt 200.0) (- x y))
  (* (sqrt 200.0) (- x y))
  (* (sqrt 200.0) (- x y))
0.624 * * * [progress]: adding candidates to table
0.710 * * [progress]: iteration 4 / 4
0.710 * * * [progress]: picking best candidate
0.712 * * * * [pick]: Picked  #<alt (λ (x y) (* (sqrt (sqrt 200.0)) (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y)))))>
0.712 * * * [progress]: localizing error
0.719 * * * [progress]: generating rewritten candidates
0.720 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
0.722 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
0.724 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
0.739 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
0.761 * * * [progress]: generating series expansions
0.761 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
0.761 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
0.761 * * * * [progress]: [ 3 / 4 ] generating series at (2)
0.763 * [approximate]: Taking taylor expansion of (* (pow (sqrt 200.0) 2) (- x y)) in (x y) around 0
0.763 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200.0) 2) (- x y)) in y
0.763 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y
0.763 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.763 * [taylor]: Taking taylor expansion of 200.0 in y
0.764 * [taylor]: Taking taylor expansion of (- x y) in y
0.764 * [taylor]: Taking taylor expansion of x in y
0.764 * [taylor]: Taking taylor expansion of y in y
0.764 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200.0) 2) (- x y)) in x
0.764 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in x
0.764 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x
0.764 * [taylor]: Taking taylor expansion of 200.0 in x
0.765 * [taylor]: Taking taylor expansion of (- x y) in x
0.765 * [taylor]: Taking taylor expansion of x in x
0.765 * [taylor]: Taking taylor expansion of y in x
0.765 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200.0) 2) (- x y)) in x
0.765 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in x
0.765 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x
0.765 * [taylor]: Taking taylor expansion of 200.0 in x
0.765 * [taylor]: Taking taylor expansion of (- x y) in x
0.766 * [taylor]: Taking taylor expansion of x in x
0.766 * [taylor]: Taking taylor expansion of y in x
0.767 * [taylor]: Taking taylor expansion of (* -1 (* (pow (sqrt 200.0) 2) y)) in y
0.767 * [taylor]: Taking taylor expansion of -1 in y
0.767 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200.0) 2) y) in y
0.767 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y
0.767 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.767 * [taylor]: Taking taylor expansion of 200.0 in y
0.768 * [taylor]: Taking taylor expansion of y in y
0.771 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y
0.771 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.771 * [taylor]: Taking taylor expansion of 200.0 in y
0.780 * [taylor]: Taking taylor expansion of 0 in y
0.786 * [taylor]: Taking taylor expansion of 0 in y
0.790 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 200.0) 2)) in (x y) around 0
0.790 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 200.0) 2)) in y
0.790 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
0.790 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.790 * [taylor]: Taking taylor expansion of x in y
0.790 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.790 * [taylor]: Taking taylor expansion of y in y
0.790 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y
0.790 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.791 * [taylor]: Taking taylor expansion of 200.0 in y
0.791 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 200.0) 2)) in x
0.791 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.791 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.791 * [taylor]: Taking taylor expansion of x in x
0.791 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.792 * [taylor]: Taking taylor expansion of y in x
0.792 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in x
0.792 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x
0.792 * [taylor]: Taking taylor expansion of 200.0 in x
0.792 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (sqrt 200.0) 2)) in x
0.792 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.792 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.792 * [taylor]: Taking taylor expansion of x in x
0.793 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.793 * [taylor]: Taking taylor expansion of y in x
0.793 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in x
0.793 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x
0.793 * [taylor]: Taking taylor expansion of 200.0 in x
0.795 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y
0.795 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.795 * [taylor]: Taking taylor expansion of 200.0 in y
0.798 * [taylor]: Taking taylor expansion of (- (/ (pow (sqrt 200.0) 2) y)) in y
0.798 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 200.0) 2) y) in y
0.798 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y
0.798 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.798 * [taylor]: Taking taylor expansion of 200.0 in y
0.799 * [taylor]: Taking taylor expansion of y in y
0.806 * [taylor]: Taking taylor expansion of 0 in y
0.811 * [taylor]: Taking taylor expansion of 0 in y
0.817 * [taylor]: Taking taylor expansion of 0 in y
0.820 * [approximate]: Taking taylor expansion of (* (pow (sqrt 200.0) 2) (- (/ 1 y) (/ 1 x))) in (x y) around 0
0.821 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200.0) 2) (- (/ 1 y) (/ 1 x))) in y
0.821 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y
0.821 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.821 * [taylor]: Taking taylor expansion of 200.0 in y
0.821 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
0.821 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.821 * [taylor]: Taking taylor expansion of y in y
0.822 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.822 * [taylor]: Taking taylor expansion of x in y
0.822 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200.0) 2) (- (/ 1 y) (/ 1 x))) in x
0.822 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in x
0.822 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x
0.822 * [taylor]: Taking taylor expansion of 200.0 in x
0.822 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.822 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.822 * [taylor]: Taking taylor expansion of y in x
0.822 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.822 * [taylor]: Taking taylor expansion of x in x
0.823 * [taylor]: Taking taylor expansion of (* (pow (sqrt 200.0) 2) (- (/ 1 y) (/ 1 x))) in x
0.823 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in x
0.823 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x
0.823 * [taylor]: Taking taylor expansion of 200.0 in x
0.824 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.824 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.824 * [taylor]: Taking taylor expansion of y in x
0.824 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.824 * [taylor]: Taking taylor expansion of x in x
0.826 * [taylor]: Taking taylor expansion of (* -1 (pow (sqrt 200.0) 2)) in y
0.826 * [taylor]: Taking taylor expansion of -1 in y
0.826 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y
0.826 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.826 * [taylor]: Taking taylor expansion of 200.0 in y
0.829 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 200.0) 2) y) in y
0.829 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 2) in y
0.829 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.829 * [taylor]: Taking taylor expansion of 200.0 in y
0.830 * [taylor]: Taking taylor expansion of y in y
0.843 * [taylor]: Taking taylor expansion of 0 in y
0.849 * [taylor]: Taking taylor expansion of 0 in y
0.856 * [taylor]: Taking taylor expansion of 0 in y
0.858 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
0.858 * [approximate]: Taking taylor expansion of (* (sqrt (pow (sqrt 200.0) 3)) (- x y)) in (x y) around 0
0.858 * [taylor]: Taking taylor expansion of (* (sqrt (pow (sqrt 200.0) 3)) (- x y)) in y
0.859 * [taylor]: Taking taylor expansion of (sqrt (pow (sqrt 200.0) 3)) in y
0.859 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 3) in y
0.859 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.859 * [taylor]: Taking taylor expansion of 200.0 in y
0.864 * [taylor]: Taking taylor expansion of (- x y) in y
0.864 * [taylor]: Taking taylor expansion of x in y
0.864 * [taylor]: Taking taylor expansion of y in y
0.864 * [taylor]: Taking taylor expansion of (* (sqrt (pow (sqrt 200.0) 3)) (- x y)) in x
0.864 * [taylor]: Taking taylor expansion of (sqrt (pow (sqrt 200.0) 3)) in x
0.864 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 3) in x
0.864 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x
0.864 * [taylor]: Taking taylor expansion of 200.0 in x
0.869 * [taylor]: Taking taylor expansion of (- x y) in x
0.869 * [taylor]: Taking taylor expansion of x in x
0.869 * [taylor]: Taking taylor expansion of y in x
0.869 * [taylor]: Taking taylor expansion of (* (sqrt (pow (sqrt 200.0) 3)) (- x y)) in x
0.869 * [taylor]: Taking taylor expansion of (sqrt (pow (sqrt 200.0) 3)) in x
0.869 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 3) in x
0.869 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x
0.869 * [taylor]: Taking taylor expansion of 200.0 in x
0.874 * [taylor]: Taking taylor expansion of (- x y) in x
0.874 * [taylor]: Taking taylor expansion of x in x
0.874 * [taylor]: Taking taylor expansion of y in x
0.875 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (pow (sqrt 200.0) 3)) y)) in y
0.875 * [taylor]: Taking taylor expansion of -1 in y
0.875 * [taylor]: Taking taylor expansion of (* (sqrt (pow (sqrt 200.0) 3)) y) in y
0.875 * [taylor]: Taking taylor expansion of (sqrt (pow (sqrt 200.0) 3)) in y
0.875 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 3) in y
0.875 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.875 * [taylor]: Taking taylor expansion of 200.0 in y
0.880 * [taylor]: Taking taylor expansion of y in y
0.883 * [taylor]: Taking taylor expansion of (sqrt (pow (sqrt 200.0) 3)) in y
0.883 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 3) in y
0.883 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.883 * [taylor]: Taking taylor expansion of 200.0 in y
0.898 * [taylor]: Taking taylor expansion of 0 in y
0.907 * [taylor]: Taking taylor expansion of 0 in y
0.913 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt (pow (sqrt 200.0) 3))) in (x y) around 0
0.913 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt (pow (sqrt 200.0) 3))) in y
0.913 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
0.913 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.913 * [taylor]: Taking taylor expansion of x in y
0.913 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.913 * [taylor]: Taking taylor expansion of y in y
0.913 * [taylor]: Taking taylor expansion of (sqrt (pow (sqrt 200.0) 3)) in y
0.913 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 3) in y
0.913 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.913 * [taylor]: Taking taylor expansion of 200.0 in y
0.918 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt (pow (sqrt 200.0) 3))) in x
0.918 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.918 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.918 * [taylor]: Taking taylor expansion of x in x
0.918 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.918 * [taylor]: Taking taylor expansion of y in x
0.919 * [taylor]: Taking taylor expansion of (sqrt (pow (sqrt 200.0) 3)) in x
0.919 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 3) in x
0.919 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x
0.919 * [taylor]: Taking taylor expansion of 200.0 in x
0.930 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (sqrt (pow (sqrt 200.0) 3))) in x
0.930 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.930 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.930 * [taylor]: Taking taylor expansion of x in x
0.930 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.930 * [taylor]: Taking taylor expansion of y in x
0.930 * [taylor]: Taking taylor expansion of (sqrt (pow (sqrt 200.0) 3)) in x
0.930 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 3) in x
0.930 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x
0.930 * [taylor]: Taking taylor expansion of 200.0 in x
0.937 * [taylor]: Taking taylor expansion of (sqrt (pow (sqrt 200.0) 3)) in y
0.937 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 3) in y
0.937 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.937 * [taylor]: Taking taylor expansion of 200.0 in y
0.944 * [taylor]: Taking taylor expansion of (- (* (sqrt (pow (sqrt 200.0) 3)) (/ 1 y))) in y
0.944 * [taylor]: Taking taylor expansion of (* (sqrt (pow (sqrt 200.0) 3)) (/ 1 y)) in y
0.944 * [taylor]: Taking taylor expansion of (sqrt (pow (sqrt 200.0) 3)) in y
0.944 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 3) in y
0.944 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.944 * [taylor]: Taking taylor expansion of 200.0 in y
0.949 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.949 * [taylor]: Taking taylor expansion of y in y
0.958 * [taylor]: Taking taylor expansion of 0 in y
0.964 * [taylor]: Taking taylor expansion of 0 in y
0.976 * [taylor]: Taking taylor expansion of 0 in y
0.980 * [approximate]: Taking taylor expansion of (* (sqrt (pow (sqrt 200.0) 3)) (- (/ 1 y) (/ 1 x))) in (x y) around 0
0.980 * [taylor]: Taking taylor expansion of (* (sqrt (pow (sqrt 200.0) 3)) (- (/ 1 y) (/ 1 x))) in y
0.980 * [taylor]: Taking taylor expansion of (sqrt (pow (sqrt 200.0) 3)) in y
0.980 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 3) in y
0.980 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.980 * [taylor]: Taking taylor expansion of 200.0 in y
0.985 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
0.985 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.985 * [taylor]: Taking taylor expansion of y in y
0.985 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.985 * [taylor]: Taking taylor expansion of x in y
0.985 * [taylor]: Taking taylor expansion of (* (sqrt (pow (sqrt 200.0) 3)) (- (/ 1 y) (/ 1 x))) in x
0.985 * [taylor]: Taking taylor expansion of (sqrt (pow (sqrt 200.0) 3)) in x
0.985 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 3) in x
0.985 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x
0.985 * [taylor]: Taking taylor expansion of 200.0 in x
0.990 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.990 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.990 * [taylor]: Taking taylor expansion of y in x
0.991 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.991 * [taylor]: Taking taylor expansion of x in x
0.991 * [taylor]: Taking taylor expansion of (* (sqrt (pow (sqrt 200.0) 3)) (- (/ 1 y) (/ 1 x))) in x
0.991 * [taylor]: Taking taylor expansion of (sqrt (pow (sqrt 200.0) 3)) in x
0.991 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 3) in x
0.991 * [taylor]: Taking taylor expansion of (sqrt 200.0) in x
0.991 * [taylor]: Taking taylor expansion of 200.0 in x
0.996 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.996 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.996 * [taylor]: Taking taylor expansion of y in x
0.996 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.996 * [taylor]: Taking taylor expansion of x in x
0.998 * [taylor]: Taking taylor expansion of (* -1 (sqrt (pow (sqrt 200.0) 3))) in y
0.998 * [taylor]: Taking taylor expansion of -1 in y
0.998 * [taylor]: Taking taylor expansion of (sqrt (pow (sqrt 200.0) 3)) in y
0.998 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 3) in y
0.998 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
0.998 * [taylor]: Taking taylor expansion of 200.0 in y
1.011 * [taylor]: Taking taylor expansion of (* (sqrt (pow (sqrt 200.0) 3)) (/ 1 y)) in y
1.011 * [taylor]: Taking taylor expansion of (sqrt (pow (sqrt 200.0) 3)) in y
1.011 * [taylor]: Taking taylor expansion of (pow (sqrt 200.0) 3) in y
1.011 * [taylor]: Taking taylor expansion of (sqrt 200.0) in y
1.011 * [taylor]: Taking taylor expansion of 200.0 in y
1.016 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.016 * [taylor]: Taking taylor expansion of y in y
1.026 * [taylor]: Taking taylor expansion of 0 in y
1.032 * [taylor]: Taking taylor expansion of 0 in y
1.045 * [taylor]: Taking taylor expansion of 0 in y
1.048 * * * [progress]: simplifying candidates
1.050 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (sqrt (sqrt 200.0)))
  (exp (sqrt (sqrt 200.0)))
  (* (cbrt (sqrt (sqrt 200.0))) (cbrt (sqrt (sqrt 200.0))))
  (cbrt (sqrt (sqrt 200.0)))
  (* (* (sqrt (sqrt 200.0)) (sqrt (sqrt 200.0))) (sqrt (sqrt 200.0)))
  (sqrt (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))))
  (sqrt (cbrt (sqrt 200.0)))
  (sqrt (sqrt (* (cbrt 200.0) (cbrt 200.0))))
  (sqrt (sqrt (cbrt 200.0)))
  (sqrt (sqrt (sqrt 200.0)))
  (sqrt (sqrt (sqrt 200.0)))
  (sqrt (sqrt 1))
  (sqrt (sqrt 200.0))
  (sqrt (sqrt (sqrt 200.0)))
  (sqrt (sqrt (sqrt 200.0)))
  (sqrt 1)
  (sqrt (sqrt 200.0))
  (/ 1/2 2)
  (/ 1 2)
  (/ (/ 1 2) 2)
  (sqrt (sqrt (sqrt 200.0)))
  (sqrt (sqrt (sqrt 200.0)))
  (log (sqrt (sqrt 200.0)))
  (exp (sqrt (sqrt 200.0)))
  (* (cbrt (sqrt (sqrt 200.0))) (cbrt (sqrt (sqrt 200.0))))
  (cbrt (sqrt (sqrt 200.0)))
  (* (* (sqrt (sqrt 200.0)) (sqrt (sqrt 200.0))) (sqrt (sqrt 200.0)))
  (sqrt (* (cbrt (sqrt 200.0)) (cbrt (sqrt 200.0))))
  (sqrt (cbrt (sqrt 200.0)))
  (sqrt (sqrt (* (cbrt 200.0) (cbrt 200.0))))
  (sqrt (sqrt (cbrt 200.0)))
  (sqrt (sqrt (sqrt 200.0)))
  (sqrt (sqrt (sqrt 200.0)))
  (sqrt (sqrt 1))
  (sqrt (sqrt 200.0))
  (sqrt (sqrt (sqrt 200.0)))
  (sqrt (sqrt (sqrt 200.0)))
  (sqrt 1)
  (sqrt (sqrt 200.0))
  (/ 1/2 2)
  (/ 1 2)
  (/ (/ 1 2) 2)
  (sqrt (sqrt (sqrt 200.0)))
  (sqrt (sqrt (sqrt 200.0)))
  (* (sqrt (sqrt 200.0)) (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y))))
  (* (sqrt (sqrt 200.0)) (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y))))
  (* (sqrt (sqrt 200.0)) (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y))))
  (+ (log (sqrt (sqrt 200.0))) (+ (log (sqrt (sqrt 200.0))) (+ (log (sqrt 200.0)) (log (- x y)))))
  (+ (log (sqrt (sqrt 200.0))) (+ (log (sqrt (sqrt 200.0))) (log (* (sqrt 200.0) (- x y)))))
  (+ (log (sqrt (sqrt 200.0))) (log (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y)))))
  (log (* (sqrt (sqrt 200.0)) (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y)))))
  (exp (* (sqrt (sqrt 200.0)) (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y)))))
  (* (* (* (sqrt (sqrt 200.0)) (sqrt (sqrt 200.0))) (sqrt (sqrt 200.0))) (* (* (* (sqrt (sqrt 200.0)) (sqrt (sqrt 200.0))) (sqrt (sqrt 200.0))) (* (* (* (sqrt 200.0) (sqrt 200.0)) (sqrt 200.0)) (* (* (- x y) (- x y)) (- x y)))))
  (* (* (* (sqrt (sqrt 200.0)) (sqrt (sqrt 200.0))) (sqrt (sqrt 200.0))) (* (* (* (sqrt (sqrt 200.0)) (sqrt (sqrt 200.0))) (sqrt (sqrt 200.0))) (* (* (* (sqrt 200.0) (- x y)) (* (sqrt 200.0) (- x y))) (* (sqrt 200.0) (- x y)))))
  (* (* (* (sqrt (sqrt 200.0)) (sqrt (sqrt 200.0))) (sqrt (sqrt 200.0))) (* (* (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y))) (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y)))) (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y)))))
  (* (cbrt (* (sqrt (sqrt 200.0)) (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y))))) (cbrt (* (sqrt (sqrt 200.0)) (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y))))))
  (cbrt (* (sqrt (sqrt 200.0)) (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y)))))
  (* (* (* (sqrt (sqrt 200.0)) (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y)))) (* (sqrt (sqrt 200.0)) (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y))))) (* (sqrt (sqrt 200.0)) (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y)))))
  (sqrt (* (sqrt (sqrt 200.0)) (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y)))))
  (sqrt (* (sqrt (sqrt 200.0)) (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y)))))
  (* (sqrt (sqrt 200.0)) (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) x)))
  (* (sqrt (sqrt 200.0)) (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- y))))
  (* (sqrt (sqrt 200.0)) (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) x)))
  (* (sqrt (sqrt 200.0)) (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- y))))
  (* (sqrt (sqrt 200.0)) (* (sqrt (sqrt 200.0)) (* x (sqrt 200.0))))
  (* (sqrt (sqrt 200.0)) (* (sqrt (sqrt 200.0)) (* (- y) (sqrt 200.0))))
  (* (sqrt (sqrt 200.0)) (* (sqrt (sqrt 200.0)) (* x (sqrt 200.0))))
  (* (sqrt (sqrt 200.0)) (* (sqrt (sqrt 200.0)) (* (- y) (sqrt 200.0))))
  (* (sqrt (sqrt 200.0)) (* (* (sqrt 200.0) x) (sqrt (sqrt 200.0))))
  (* (sqrt (sqrt 200.0)) (* (* (sqrt 200.0) (- y)) (sqrt (sqrt 200.0))))
  (* (sqrt (sqrt 200.0)) (* (* (sqrt 200.0) x) (sqrt (sqrt 200.0))))
  (* (sqrt (sqrt 200.0)) (* (* (sqrt 200.0) (- y)) (sqrt (sqrt 200.0))))
  (* (sqrt (sqrt 200.0)) (* (* x (sqrt 200.0)) (sqrt (sqrt 200.0))))
  (* (sqrt (sqrt 200.0)) (* (* (- y) (sqrt 200.0)) (sqrt (sqrt 200.0))))
  (* (sqrt (sqrt 200.0)) (* (* x (sqrt 200.0)) (sqrt (sqrt 200.0))))
  (* (sqrt (sqrt 200.0)) (* (* (- y) (sqrt 200.0)) (sqrt (sqrt 200.0))))
  (* (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) x)) (sqrt (sqrt 200.0)))
  (* (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- y))) (sqrt (sqrt 200.0)))
  (* (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) x)) (sqrt (sqrt 200.0)))
  (* (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- y))) (sqrt (sqrt 200.0)))
  (* (* (sqrt (sqrt 200.0)) (* x (sqrt 200.0))) (sqrt (sqrt 200.0)))
  (* (* (sqrt (sqrt 200.0)) (* (- y) (sqrt 200.0))) (sqrt (sqrt 200.0)))
  (* (* (sqrt (sqrt 200.0)) (* x (sqrt 200.0))) (sqrt (sqrt 200.0)))
  (* (* (sqrt (sqrt 200.0)) (* (- y) (sqrt 200.0))) (sqrt (sqrt 200.0)))
  (* (* (* (sqrt 200.0) x) (sqrt (sqrt 200.0))) (sqrt (sqrt 200.0)))
  (* (* (* (sqrt 200.0) (- y)) (sqrt (sqrt 200.0))) (sqrt (sqrt 200.0)))
  (* (* (* (sqrt 200.0) x) (sqrt (sqrt 200.0))) (sqrt (sqrt 200.0)))
  (* (* (* (sqrt 200.0) (- y)) (sqrt (sqrt 200.0))) (sqrt (sqrt 200.0)))
  (* (* (* x (sqrt 200.0)) (sqrt (sqrt 200.0))) (sqrt (sqrt 200.0)))
  (* (* (* (- y) (sqrt 200.0)) (sqrt (sqrt 200.0))) (sqrt (sqrt 200.0)))
  (* (* (* x (sqrt 200.0)) (sqrt (sqrt 200.0))) (sqrt (sqrt 200.0)))
  (* (* (* (- y) (sqrt 200.0)) (sqrt (sqrt 200.0))) (sqrt (sqrt 200.0)))
  (* (sqrt (sqrt 200.0)) (sqrt (sqrt 200.0)))
  (* (cbrt (sqrt (sqrt 200.0))) (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y))))
  (* (sqrt (cbrt (sqrt 200.0))) (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y))))
  (* (sqrt (sqrt (cbrt 200.0))) (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y))))
  (* (sqrt (sqrt (sqrt 200.0))) (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y))))
  (* (sqrt (sqrt 200.0)) (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y))))
  (* (sqrt (sqrt (sqrt 200.0))) (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y))))
  (* (sqrt (sqrt 200.0)) (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y))))
  (* (sqrt (sqrt (sqrt 200.0))) (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y))))
  (* (sqrt (sqrt 200.0)) (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y))))
  (* (sqrt (sqrt 200.0)) (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- (pow x 3) (pow y 3)))))
  (* (sqrt (sqrt 200.0)) (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- (* x x) (* y y)))))
  (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y)))
  (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y)))
  (+ (log (sqrt (sqrt 200.0))) (+ (log (sqrt 200.0)) (log (- x y))))
  (+ (log (sqrt (sqrt 200.0))) (log (* (sqrt 200.0) (- x y))))
  (log (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y))))
  (exp (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y))))
  (* (* (* (sqrt (sqrt 200.0)) (sqrt (sqrt 200.0))) (sqrt (sqrt 200.0))) (* (* (* (sqrt 200.0) (sqrt 200.0)) (sqrt 200.0)) (* (* (- x y) (- x y)) (- x y))))
  (* (* (* (sqrt (sqrt 200.0)) (sqrt (sqrt 200.0))) (sqrt (sqrt 200.0))) (* (* (* (sqrt 200.0) (- x y)) (* (sqrt 200.0) (- x y))) (* (sqrt 200.0) (- x y))))
  (* (cbrt (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y)))) (cbrt (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y)))))
  (cbrt (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y))))
  (* (* (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y))) (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y)))) (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y))))
  (sqrt (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y))))
  (sqrt (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y))))
  (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) x))
  (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- y)))
  (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) x))
  (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- y)))
  (* (sqrt (sqrt 200.0)) (* x (sqrt 200.0)))
  (* (sqrt (sqrt 200.0)) (* (- y) (sqrt 200.0)))
  (* (sqrt (sqrt 200.0)) (* x (sqrt 200.0)))
  (* (sqrt (sqrt 200.0)) (* (- y) (sqrt 200.0)))
  (* (* (sqrt 200.0) x) (sqrt (sqrt 200.0)))
  (* (* (sqrt 200.0) (- y)) (sqrt (sqrt 200.0)))
  (* (* (sqrt 200.0) x) (sqrt (sqrt 200.0)))
  (* (* (sqrt 200.0) (- y)) (sqrt (sqrt 200.0)))
  (* (* x (sqrt 200.0)) (sqrt (sqrt 200.0)))
  (* (* (- y) (sqrt 200.0)) (sqrt (sqrt 200.0)))
  (* (* x (sqrt 200.0)) (sqrt (sqrt 200.0)))
  (* (* (- y) (sqrt 200.0)) (sqrt (sqrt 200.0)))
  (* (sqrt (sqrt 200.0)) (sqrt 200.0))
  (* (cbrt (sqrt (sqrt 200.0))) (* (sqrt 200.0) (- x y)))
  (* (sqrt (cbrt (sqrt 200.0))) (* (sqrt 200.0) (- x y)))
  (* (sqrt (sqrt (cbrt 200.0))) (* (sqrt 200.0) (- x y)))
  (* (sqrt (sqrt (sqrt 200.0))) (* (sqrt 200.0) (- x y)))
  (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y)))
  (* (sqrt (sqrt (sqrt 200.0))) (* (sqrt 200.0) (- x y)))
  (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y)))
  (* (sqrt (sqrt (sqrt 200.0))) (* (sqrt 200.0) (- x y)))
  (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y)))
  (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- (pow x 3) (pow y 3))))
  (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- (* x x) (* y y))))
  (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y)))
  (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y)))
  (- (* x (pow (sqrt 200.0) 2)) (* (pow (sqrt 200.0) 2) y))
  (- (* x (pow (sqrt 200.0) 2)) (* (pow (sqrt 200.0) 2) y))
  (- (* x (pow (sqrt 200.0) 2)) (* (pow (sqrt 200.0) 2) y))
  (- (* x (sqrt (pow (sqrt 200.0) 3))) (* (sqrt (pow (sqrt 200.0) 3)) y))
  (- (* x (sqrt (pow (sqrt 200.0) 3))) (* (sqrt (pow (sqrt 200.0) 3)) y))
  (- (* x (sqrt (pow (sqrt 200.0) 3))) (* (sqrt (pow (sqrt 200.0) 3)) y))
1.055 * * [simplify]: iteration  0 :  298  enodes  (cost  879 )
1.061 * * [simplify]: iteration  1 :  1097  enodes  (cost  620 )
1.084 * * [simplify]: iteration  2 :  5001  enodes  (cost  589 )
1.088 * [simplify]: Simplified to:
   (log (pow (sqrt 200.0) 1/2))
  (exp (pow (sqrt 200.0) 1/2))
  (* (cbrt (sqrt (sqrt 200.0))) (cbrt (sqrt (sqrt 200.0))))
  (cbrt (sqrt (sqrt 200.0)))
  (pow (sqrt (sqrt 200.0)) 3)
  (fabs (cbrt (sqrt 200.0)))
  (sqrt (cbrt (sqrt 200.0)))
  (sqrt (sqrt (* (cbrt 200.0) (cbrt 200.0))))
  (sqrt (sqrt (cbrt 200.0)))
  (sqrt (sqrt (sqrt 200.0)))
  (sqrt (sqrt (sqrt 200.0)))
  (sqrt (sqrt 1))
  (pow (sqrt 200.0) 1/2)
  (sqrt (sqrt (sqrt 200.0)))
  (sqrt (sqrt (sqrt 200.0)))
  (sqrt 1)
  (pow (sqrt 200.0) 1/2)
  1/4
  1/2
  1/4
  (sqrt (sqrt (sqrt 200.0)))
  (sqrt (sqrt (sqrt 200.0)))
  (log (pow (sqrt 200.0) 1/2))
  (exp (pow (sqrt 200.0) 1/2))
  (* (cbrt (sqrt (sqrt 200.0))) (cbrt (sqrt (sqrt 200.0))))
  (cbrt (sqrt (sqrt 200.0)))
  (pow (sqrt (sqrt 200.0)) 3)
  (fabs (cbrt (sqrt 200.0)))
  (sqrt (cbrt (sqrt 200.0)))
  (sqrt (sqrt (* (cbrt 200.0) (cbrt 200.0))))
  (sqrt (sqrt (cbrt 200.0)))
  (sqrt (sqrt (sqrt 200.0)))
  (sqrt (sqrt (sqrt 200.0)))
  (sqrt (sqrt 1))
  (pow (sqrt 200.0) 1/2)
  (sqrt (sqrt (sqrt 200.0)))
  (sqrt (sqrt (sqrt 200.0)))
  (sqrt 1)
  (pow (sqrt 200.0) 1/2)
  1/4
  1/2
  1/4
  (sqrt (sqrt (sqrt 200.0)))
  (sqrt (sqrt (sqrt 200.0)))
  (* 200.0 (- x y))
  (* 200.0 (- x y))
  (* 200.0 (- x y))
  (+ (log 200.0) (log (- x y)))
  (+ (log 200.0) (log (- x y)))
  (+ (log 200.0) (log (- x y)))
  (+ (log 200.0) (log (- x y)))
  (pow (exp 200.0) (- x y))
  (pow (* 200.0 (- x y)) 3)
  (pow (* 200.0 (- x y)) 3)
  (pow (* 200.0 (- x y)) 3)
  (* (cbrt (* (sqrt (sqrt 200.0)) (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y))))) (cbrt (* (sqrt (sqrt 200.0)) (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y))))))
  (cbrt (* (sqrt (sqrt 200.0)) (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y)))))
  (pow (* 200.0 (- x y)) 3)
  (sqrt (* (sqrt (sqrt 200.0)) (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y)))))
  (sqrt (* (sqrt (sqrt 200.0)) (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y)))))
  (* 200.0 x)
  (* (- y) 200.0)
  (* 200.0 x)
  (* (- y) 200.0)
  (* 200.0 x)
  (* (- y) 200.0)
  (* 200.0 x)
  (* (- y) 200.0)
  (* 200.0 x)
  (* (- y) 200.0)
  (* 200.0 x)
  (* (- y) 200.0)
  (* 200.0 x)
  (* (- y) 200.0)
  (* 200.0 x)
  (* (- y) 200.0)
  (* 200.0 x)
  (* (- y) 200.0)
  (* 200.0 x)
  (* (- y) 200.0)
  (* 200.0 x)
  (* (- y) 200.0)
  (* 200.0 x)
  (* (- y) 200.0)
  (* 200.0 x)
  (* (- y) 200.0)
  (* 200.0 x)
  (* (- y) 200.0)
  (* 200.0 x)
  (* (- y) 200.0)
  (* 200.0 x)
  (* (- y) 200.0)
  (sqrt 200.0)
  (* (* (cbrt (sqrt (sqrt 200.0))) (pow (sqrt (sqrt 200.0)) 3)) (- x y))
  (* (* (sqrt (cbrt (sqrt 200.0))) (pow (sqrt (sqrt 200.0)) 3)) (- x y))
  (* (* (sqrt (sqrt (cbrt 200.0))) (pow (sqrt (sqrt 200.0)) 3)) (- x y))
  (* (* (sqrt (sqrt (sqrt 200.0))) (pow (sqrt (sqrt 200.0)) 3)) (- x y))
  (* 200.0 (- x y))
  (* (* (sqrt (sqrt (sqrt 200.0))) (pow (sqrt (sqrt 200.0)) 3)) (- x y))
  (* 200.0 (- x y))
  (* (* (sqrt (sqrt (sqrt 200.0))) (pow (sqrt (sqrt 200.0)) 3)) (- x y))
  (* 200.0 (- x y))
  (* 200.0 (- (pow x 3) (pow y 3)))
  (* 200.0 (- (* x x) (* y y)))
  (* (- x y) (pow (sqrt (sqrt 200.0)) 3))
  (* (- x y) (pow (sqrt (sqrt 200.0)) 3))
  (log (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y))))
  (log (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y))))
  (log (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y))))
  (pow (exp (- x y)) (pow (sqrt (sqrt 200.0)) 3))
  (pow (* (- x y) (pow (sqrt (sqrt 200.0)) 3)) 3)
  (pow (* (- x y) (pow (sqrt (sqrt 200.0)) 3)) 3)
  (* (cbrt (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y)))) (cbrt (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y)))))
  (cbrt (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y))))
  (pow (* (- x y) (pow (sqrt (sqrt 200.0)) 3)) 3)
  (sqrt (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y))))
  (sqrt (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y))))
  (* x (pow (sqrt (sqrt 200.0)) 3))
  (- (* y (pow (sqrt (sqrt 200.0)) 3)))
  (* x (pow (sqrt (sqrt 200.0)) 3))
  (- (* y (pow (sqrt (sqrt 200.0)) 3)))
  (* x (pow (sqrt (sqrt 200.0)) 3))
  (- (* y (pow (sqrt (sqrt 200.0)) 3)))
  (* x (pow (sqrt (sqrt 200.0)) 3))
  (- (* y (pow (sqrt (sqrt 200.0)) 3)))
  (* x (pow (sqrt (sqrt 200.0)) 3))
  (- (* y (pow (sqrt (sqrt 200.0)) 3)))
  (* x (pow (sqrt (sqrt 200.0)) 3))
  (- (* y (pow (sqrt (sqrt 200.0)) 3)))
  (* x (pow (sqrt (sqrt 200.0)) 3))
  (- (* y (pow (sqrt (sqrt 200.0)) 3)))
  (* x (pow (sqrt (sqrt 200.0)) 3))
  (- (* y (pow (sqrt (sqrt 200.0)) 3)))
  (pow (sqrt (sqrt 200.0)) 3)
  (* (cbrt (sqrt (sqrt 200.0))) (* (sqrt 200.0) (- x y)))
  (* (sqrt (cbrt (sqrt 200.0))) (* (sqrt 200.0) (- x y)))
  (* (sqrt (sqrt (cbrt 200.0))) (* (sqrt 200.0) (- x y)))
  (* (sqrt (sqrt (sqrt 200.0))) (* (sqrt 200.0) (- x y)))
  (* (- x y) (pow (sqrt (sqrt 200.0)) 3))
  (* (sqrt (sqrt (sqrt 200.0))) (* (sqrt 200.0) (- x y)))
  (* (- x y) (pow (sqrt (sqrt 200.0)) 3))
  (* (sqrt (sqrt (sqrt 200.0))) (* (sqrt 200.0) (- x y)))
  (* (- x y) (pow (sqrt (sqrt 200.0)) 3))
  (* (- (pow x 3) (pow y 3)) (pow (sqrt (sqrt 200.0)) 3))
  (* (* (pow (sqrt (sqrt 200.0)) 3) (+ x y)) (- x y))
  (* (- x y) (pow (sqrt (sqrt 200.0)) 3))
  (* (- x y) (pow (sqrt (sqrt 200.0)) 3))
  (* 200.0 (- x y))
  (* 200.0 (- x y))
  (* 200.0 (- x y))
  (* (sqrt (pow (sqrt 200.0) 3)) (- x y))
  (* (sqrt (pow (sqrt 200.0) 3)) (- x y))
  (* (sqrt (pow (sqrt 200.0) 3)) (- x y))
1.088 * * * [progress]: adding candidates to table
1.289 * [progress]: [Phase 3 of 3] Extracting.
1.289 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (* 200.0 (- x y)))> #<alt (λ (x y) (* (sqrt 200.0) (* (sqrt 200.0) (- x y))))> #<alt (λ (x y) (+ (* 200.0 x) (* 200.0 (- y))))> #<alt (λ (x y) (* (sqrt (sqrt 200.0)) (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y)))))>)
1.289 * * * [regime-changes]: Trying 4 branch expressions: ((- x y) (* 200.0 (- x y)) y x)
1.289 * * * * [regimes]: Trying to branch on (- x y) from (#<alt (λ (x y) (* 200.0 (- x y)))> #<alt (λ (x y) (* (sqrt 200.0) (* (sqrt 200.0) (- x y))))> #<alt (λ (x y) (+ (* 200.0 x) (* 200.0 (- y))))> #<alt (λ (x y) (* (sqrt (sqrt 200.0)) (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y)))))>)
1.304 * * * * [regimes]: Trying to branch on (* 200.0 (- x y)) from (#<alt (λ (x y) (* 200.0 (- x y)))> #<alt (λ (x y) (* (sqrt 200.0) (* (sqrt 200.0) (- x y))))> #<alt (λ (x y) (+ (* 200.0 x) (* 200.0 (- y))))> #<alt (λ (x y) (* (sqrt (sqrt 200.0)) (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y)))))>)
1.318 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (* 200.0 (- x y)))> #<alt (λ (x y) (* (sqrt 200.0) (* (sqrt 200.0) (- x y))))> #<alt (λ (x y) (+ (* 200.0 x) (* 200.0 (- y))))> #<alt (λ (x y) (* (sqrt (sqrt 200.0)) (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y)))))>)
1.335 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (* 200.0 (- x y)))> #<alt (λ (x y) (* (sqrt 200.0) (* (sqrt 200.0) (- x y))))> #<alt (λ (x y) (+ (* 200.0 x) (* 200.0 (- y))))> #<alt (λ (x y) (* (sqrt (sqrt 200.0)) (* (sqrt (sqrt 200.0)) (* (sqrt 200.0) (- x y)))))>)
1.349 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
1.349 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* 200.0 (- x y))
1.349 * * [simplify]: iteration  0 :  6  enodes  (cost  2 )
1.350 * * [simplify]: iteration  1 :  6  enodes  (cost  2 )
1.350 * [simplify]: Simplified to:
   (* 200.0 (- x y))
1.700 * [regime-testing]: Baseline error score: 0.030878859857482184
1.700 * [regime-testing]: Oracle error score: 0.011001375171896487
1.701 * [regime-testing]: End program error score: 0.030878859857482184