10.393 * [progress]: [Phase 1 of 3] Setting up.
0.000 * * * [progress]: [1/2] Preparing points
0.075 * * * [progress]: [2/2] Setting up program.
0.076 * [progress]: [Phase 2 of 3] Improving.
0.076 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (*.f64 x y) (-.f64 1 y))
0.101 * * [simplify]: iteration  0 :  269  enodes  (cost  10 )
0.101 * * [simplify]: iteration  1 :  269  enodes  (cost  10 )
0.102 * [simplify]: Simplified to:
   (*.f64 (*.f64 x y) (-.f64 1 y))
0.102 * * [progress]: iteration 1 / 4
0.102 * * * [progress]: picking best candidate
0.103 * * * * [pick]: Picked  #<alt (λ (x y) (*.f64 (*.f64 x y) (-.f64 1 y)))>
0.103 * * * [progress]: localizing error
0.107 * * * [progress]: generating rewritten candidates
0.107 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.117 * * * [progress]: generating series expansions
0.117 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.117 * [approximate]: Taking taylor expansion of (* x (* (- 1 y) y)) in (x y) around 0
0.117 * [taylor]: Taking taylor expansion of (* x (* (- 1 y) y)) in y
0.117 * [taylor]: Taking taylor expansion of x in y
0.117 * [taylor]: Taking taylor expansion of (* (- 1 y) y) in y
0.117 * [taylor]: Taking taylor expansion of (- 1 y) in y
0.117 * [taylor]: Taking taylor expansion of 1 in y
0.117 * [taylor]: Taking taylor expansion of y in y
0.117 * [taylor]: Taking taylor expansion of y in y
0.117 * [taylor]: Taking taylor expansion of (* x (* (- 1 y) y)) in x
0.117 * [taylor]: Taking taylor expansion of x in x
0.117 * [taylor]: Taking taylor expansion of (* (- 1 y) y) in x
0.117 * [taylor]: Taking taylor expansion of (- 1 y) in x
0.117 * [taylor]: Taking taylor expansion of 1 in x
0.117 * [taylor]: Taking taylor expansion of y in x
0.117 * [taylor]: Taking taylor expansion of y in x
0.117 * [taylor]: Taking taylor expansion of (* x (* (- 1 y) y)) in x
0.117 * [taylor]: Taking taylor expansion of x in x
0.117 * [taylor]: Taking taylor expansion of (* (- 1 y) y) in x
0.117 * [taylor]: Taking taylor expansion of (- 1 y) in x
0.117 * [taylor]: Taking taylor expansion of 1 in x
0.117 * [taylor]: Taking taylor expansion of y in x
0.117 * [taylor]: Taking taylor expansion of y in x
0.118 * [taylor]: Taking taylor expansion of 0 in y
0.119 * [taylor]: Taking taylor expansion of (- y (pow y 2)) in y
0.119 * [taylor]: Taking taylor expansion of y in y
0.119 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.119 * [taylor]: Taking taylor expansion of y in y
0.120 * [taylor]: Taking taylor expansion of 0 in y
0.122 * [taylor]: Taking taylor expansion of 0 in y
0.123 * [taylor]: Taking taylor expansion of 0 in y
0.125 * [approximate]: Taking taylor expansion of (/ (- 1 (/ 1 y)) (* x y)) in (x y) around 0
0.125 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 y)) (* x y)) in y
0.125 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y
0.125 * [taylor]: Taking taylor expansion of 1 in y
0.125 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.125 * [taylor]: Taking taylor expansion of y in y
0.125 * [taylor]: Taking taylor expansion of (* x y) in y
0.125 * [taylor]: Taking taylor expansion of x in y
0.125 * [taylor]: Taking taylor expansion of y in y
0.125 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 y)) (* x y)) in x
0.126 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in x
0.126 * [taylor]: Taking taylor expansion of 1 in x
0.126 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.126 * [taylor]: Taking taylor expansion of y in x
0.126 * [taylor]: Taking taylor expansion of (* x y) in x
0.126 * [taylor]: Taking taylor expansion of x in x
0.126 * [taylor]: Taking taylor expansion of y in x
0.126 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 y)) (* x y)) in x
0.126 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in x
0.127 * [taylor]: Taking taylor expansion of 1 in x
0.127 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.127 * [taylor]: Taking taylor expansion of y in x
0.127 * [taylor]: Taking taylor expansion of (* x y) in x
0.127 * [taylor]: Taking taylor expansion of x in x
0.127 * [taylor]: Taking taylor expansion of y in x
0.127 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 y)) y) in y
0.128 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y
0.128 * [taylor]: Taking taylor expansion of 1 in y
0.128 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.128 * [taylor]: Taking taylor expansion of y in y
0.128 * [taylor]: Taking taylor expansion of y in y
0.129 * [taylor]: Taking taylor expansion of 0 in y
0.131 * [taylor]: Taking taylor expansion of 0 in y
0.134 * [taylor]: Taking taylor expansion of 0 in y
0.138 * [taylor]: Taking taylor expansion of 0 in y
0.141 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 y) 1) (* x y)) in (x y) around 0
0.141 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1) (* x y)) in y
0.141 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y
0.141 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.141 * [taylor]: Taking taylor expansion of y in y
0.141 * [taylor]: Taking taylor expansion of 1 in y
0.141 * [taylor]: Taking taylor expansion of (* x y) in y
0.141 * [taylor]: Taking taylor expansion of x in y
0.141 * [taylor]: Taking taylor expansion of y in y
0.142 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1) (* x y)) in x
0.142 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in x
0.142 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.142 * [taylor]: Taking taylor expansion of y in x
0.142 * [taylor]: Taking taylor expansion of 1 in x
0.142 * [taylor]: Taking taylor expansion of (* x y) in x
0.142 * [taylor]: Taking taylor expansion of x in x
0.142 * [taylor]: Taking taylor expansion of y in x
0.145 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1) (* x y)) in x
0.145 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in x
0.145 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.145 * [taylor]: Taking taylor expansion of y in x
0.145 * [taylor]: Taking taylor expansion of 1 in x
0.145 * [taylor]: Taking taylor expansion of (* x y) in x
0.145 * [taylor]: Taking taylor expansion of x in x
0.145 * [taylor]: Taking taylor expansion of y in x
0.146 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1) y) in y
0.146 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y
0.146 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.146 * [taylor]: Taking taylor expansion of y in y
0.146 * [taylor]: Taking taylor expansion of 1 in y
0.146 * [taylor]: Taking taylor expansion of y in y
0.147 * [taylor]: Taking taylor expansion of 0 in y
0.149 * [taylor]: Taking taylor expansion of 0 in y
0.152 * [taylor]: Taking taylor expansion of 0 in y
0.155 * [taylor]: Taking taylor expansion of 0 in y
0.158 * * * [progress]: simplifying candidates
0.158 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (*.f64 x y) (-.f64 1 y))
  (*.f64 (*.f64 x y) (-.f64 1 y))
  (+.f64 (+.f64 (log.f64 x) (log.f64 y)) (log.f64 (-.f64 1 y)))
  (+.f64 (log.f64 (*.f64 x y)) (log.f64 (-.f64 1 y)))
  (exp.f64 (*.f64 (*.f64 x y) (-.f64 1 y)))
  (log.f64 (*.f64 (*.f64 x y) (-.f64 1 y)))
  (*.f64 (*.f64 (*.f64 (*.f64 x y) (-.f64 1 y)) (*.f64 (*.f64 x y) (-.f64 1 y))) (*.f64 (*.f64 x y) (-.f64 1 y)))
  (*.f64 (cbrt.f64 (*.f64 (*.f64 x y) (-.f64 1 y))) (cbrt.f64 (*.f64 (*.f64 x y) (-.f64 1 y))))
  (cbrt.f64 (*.f64 (*.f64 x y) (-.f64 1 y)))
  (*.f64 (*.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 x y)) (*.f64 (*.f64 (-.f64 1 y) (-.f64 1 y)) (-.f64 1 y)))
  (*.f64 (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 y y) y)) (*.f64 (*.f64 (-.f64 1 y) (-.f64 1 y)) (-.f64 1 y)))
  (sqrt.f64 (*.f64 (*.f64 x y) (-.f64 1 y)))
  (sqrt.f64 (*.f64 (*.f64 x y) (-.f64 1 y)))
  (*.f64 1 (*.f64 x y))
  (*.f64 (neg.f64 y) (*.f64 x y))
  (*.f64 (*.f64 x y) 1)
  (*.f64 (*.f64 x y) (neg.f64 y))
  (*.f64 (*.f64 x y) (-.f64 (pow.f64 1 3) (pow.f64 y 3)))
  (*.f64 (*.f64 x y) (-.f64 (*.f64 1 1) (*.f64 y y)))
  (*.f64 y (-.f64 1 y))
  (*.f64 (*.f64 x y) (*.f64 (cbrt.f64 (-.f64 1 y)) (cbrt.f64 (-.f64 1 y))))
  (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 y)))
  (*.f64 (*.f64 x y) 1)
  (*.f64 (*.f64 x y) (+.f64 (sqrt.f64 1) (sqrt.f64 y)))
  (*.f64 (*.f64 x y) (+.f64 1 (sqrt.f64 y)))
  (*.f64 (*.f64 x y) 1)
  (-.f64 (*.f64 x y) (*.f64 x (pow.f64 y 2)))
  (-.f64 (*.f64 x y) (*.f64 x (pow.f64 y 2)))
  (-.f64 (*.f64 x y) (*.f64 x (pow.f64 y 2)))
0.227 * * [simplify]: iteration  0 :  4985  enodes  (cost  312 )
0.227 * * [simplify]: iteration  1 :  4985  enodes  (cost  312 )
0.229 * [simplify]: Simplified to:
   (*.f64 (*.f64 x y) (-.f64 1 y))
  (*.f64 (*.f64 x y) (-.f64 1 y))
  (log.f64 (*.f64 (*.f64 x y) (-.f64 1 y)))
  (log.f64 (*.f64 (*.f64 x y) (-.f64 1 y)))
  (exp.f64 (*.f64 (*.f64 x y) (-.f64 1 y)))
  (log.f64 (*.f64 (*.f64 x y) (-.f64 1 y)))
  (pow.f64 (*.f64 (*.f64 x y) (-.f64 1 y)) 3)
  (*.f64 (cbrt.f64 (*.f64 (*.f64 x y) (-.f64 1 y))) (cbrt.f64 (*.f64 (*.f64 x y) (-.f64 1 y))))
  (cbrt.f64 (*.f64 (*.f64 x y) (-.f64 1 y)))
  (pow.f64 (*.f64 (*.f64 x y) (-.f64 1 y)) 3)
  (pow.f64 (*.f64 (*.f64 x y) (-.f64 1 y)) 3)
  (sqrt.f64 (*.f64 (*.f64 x y) (-.f64 1 y)))
  (sqrt.f64 (*.f64 (*.f64 x y) (-.f64 1 y)))
  (*.f64 x y)
  (*.f64 (*.f64 x y) (neg.f64 y))
  (*.f64 x y)
  (*.f64 (*.f64 x y) (neg.f64 y))
  (*.f64 x (-.f64 y (pow.f64 y 4)))
  (*.f64 x (-.f64 y (pow.f64 y 3)))
  (-.f64 y (*.f64 y y))
  (*.f64 (*.f64 x y) (*.f64 (cbrt.f64 (-.f64 1 y)) (cbrt.f64 (-.f64 1 y))))
  (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 y)))
  (*.f64 x y)
  (*.f64 x (+.f64 y (pow.f64 y 3/2)))
  (*.f64 x (+.f64 y (pow.f64 y 3/2)))
  (*.f64 x y)
  (*.f64 (*.f64 x y) (-.f64 1 y))
  (*.f64 (*.f64 x y) (-.f64 1 y))
  (*.f64 (*.f64 x y) (-.f64 1 y))
0.229 * * * [progress]: adding candidates to table
0.245 * * [progress]: iteration 2 / 4
0.245 * * * [progress]: picking best candidate
0.249 * * * * [pick]: Picked  #<alt (λ (x y) (+.f64 (*.f64 x y) (*.f64 (*.f64 x y) (neg.f64 y))))>
0.249 * * * [progress]: localizing error
0.254 * * * [progress]: generating rewritten candidates
0.254 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.261 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.266 * * * [progress]: generating series expansions
0.266 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.266 * [approximate]: Taking taylor expansion of (* -1 (* x (pow y 2))) in (x y) around 0
0.266 * [taylor]: Taking taylor expansion of (* -1 (* x (pow y 2))) in y
0.266 * [taylor]: Taking taylor expansion of -1 in y
0.266 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
0.266 * [taylor]: Taking taylor expansion of x in y
0.266 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.266 * [taylor]: Taking taylor expansion of y in y
0.266 * [taylor]: Taking taylor expansion of (* -1 (* x (pow y 2))) in x
0.266 * [taylor]: Taking taylor expansion of -1 in x
0.266 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
0.266 * [taylor]: Taking taylor expansion of x in x
0.266 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.266 * [taylor]: Taking taylor expansion of y in x
0.266 * [taylor]: Taking taylor expansion of (* -1 (* x (pow y 2))) in x
0.266 * [taylor]: Taking taylor expansion of -1 in x
0.266 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
0.266 * [taylor]: Taking taylor expansion of x in x
0.267 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.267 * [taylor]: Taking taylor expansion of y in x
0.267 * [taylor]: Taking taylor expansion of 0 in y
0.268 * [taylor]: Taking taylor expansion of (neg (pow y 2)) in y
0.268 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.268 * [taylor]: Taking taylor expansion of y in y
0.269 * [taylor]: Taking taylor expansion of 0 in y
0.271 * [taylor]: Taking taylor expansion of 0 in y
0.272 * [approximate]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in (x y) around 0
0.272 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in y
0.272 * [taylor]: Taking taylor expansion of -1 in y
0.272 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
0.272 * [taylor]: Taking taylor expansion of x in y
0.272 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.272 * [taylor]: Taking taylor expansion of y in y
0.272 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x
0.272 * [taylor]: Taking taylor expansion of -1 in x
0.272 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
0.272 * [taylor]: Taking taylor expansion of x in x
0.272 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.272 * [taylor]: Taking taylor expansion of y in x
0.273 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x
0.273 * [taylor]: Taking taylor expansion of -1 in x
0.273 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
0.273 * [taylor]: Taking taylor expansion of x in x
0.273 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.273 * [taylor]: Taking taylor expansion of y in x
0.274 * [taylor]: Taking taylor expansion of (/ -1 (pow y 2)) in y
0.274 * [taylor]: Taking taylor expansion of -1 in y
0.274 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.274 * [taylor]: Taking taylor expansion of y in y
0.275 * [taylor]: Taking taylor expansion of 0 in y
0.279 * [taylor]: Taking taylor expansion of 0 in y
0.282 * [taylor]: Taking taylor expansion of 0 in y
0.285 * [taylor]: Taking taylor expansion of 0 in y
0.286 * [approximate]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in (x y) around 0
0.286 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y
0.286 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
0.286 * [taylor]: Taking taylor expansion of x in y
0.286 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.286 * [taylor]: Taking taylor expansion of y in y
0.286 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x
0.286 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
0.286 * [taylor]: Taking taylor expansion of x in x
0.286 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.286 * [taylor]: Taking taylor expansion of y in x
0.287 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x
0.287 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
0.287 * [taylor]: Taking taylor expansion of x in x
0.287 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.287 * [taylor]: Taking taylor expansion of y in x
0.288 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.288 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.288 * [taylor]: Taking taylor expansion of y in y
0.289 * [taylor]: Taking taylor expansion of 0 in y
0.291 * [taylor]: Taking taylor expansion of 0 in y
0.294 * [taylor]: Taking taylor expansion of 0 in y
0.297 * [taylor]: Taking taylor expansion of 0 in y
0.298 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.299 * [approximate]: Taking taylor expansion of (- (* x y) (* x (pow y 2))) in (x y) around 0
0.299 * [taylor]: Taking taylor expansion of (- (* x y) (* x (pow y 2))) in y
0.299 * [taylor]: Taking taylor expansion of (* x y) in y
0.299 * [taylor]: Taking taylor expansion of x in y
0.299 * [taylor]: Taking taylor expansion of y in y
0.299 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
0.299 * [taylor]: Taking taylor expansion of x in y
0.299 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.299 * [taylor]: Taking taylor expansion of y in y
0.299 * [taylor]: Taking taylor expansion of (- (* x y) (* x (pow y 2))) in x
0.299 * [taylor]: Taking taylor expansion of (* x y) in x
0.299 * [taylor]: Taking taylor expansion of x in x
0.299 * [taylor]: Taking taylor expansion of y in x
0.299 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
0.299 * [taylor]: Taking taylor expansion of x in x
0.299 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.299 * [taylor]: Taking taylor expansion of y in x
0.299 * [taylor]: Taking taylor expansion of (- (* x y) (* x (pow y 2))) in x
0.299 * [taylor]: Taking taylor expansion of (* x y) in x
0.299 * [taylor]: Taking taylor expansion of x in x
0.299 * [taylor]: Taking taylor expansion of y in x
0.299 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
0.299 * [taylor]: Taking taylor expansion of x in x
0.299 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.299 * [taylor]: Taking taylor expansion of y in x
0.300 * [taylor]: Taking taylor expansion of 0 in y
0.301 * [taylor]: Taking taylor expansion of (- y (pow y 2)) in y
0.301 * [taylor]: Taking taylor expansion of y in y
0.301 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.301 * [taylor]: Taking taylor expansion of y in y
0.303 * [taylor]: Taking taylor expansion of 0 in y
0.306 * [taylor]: Taking taylor expansion of 0 in y
0.309 * [taylor]: Taking taylor expansion of 0 in y
0.312 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* x (pow y 2)))) in (x y) around 0
0.312 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* x (pow y 2)))) in y
0.312 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.312 * [taylor]: Taking taylor expansion of (* x y) in y
0.312 * [taylor]: Taking taylor expansion of x in y
0.312 * [taylor]: Taking taylor expansion of y in y
0.313 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y
0.313 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
0.313 * [taylor]: Taking taylor expansion of x in y
0.313 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.313 * [taylor]: Taking taylor expansion of y in y
0.313 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* x (pow y 2)))) in x
0.313 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.313 * [taylor]: Taking taylor expansion of (* x y) in x
0.313 * [taylor]: Taking taylor expansion of x in x
0.313 * [taylor]: Taking taylor expansion of y in x
0.314 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x
0.314 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
0.314 * [taylor]: Taking taylor expansion of x in x
0.314 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.314 * [taylor]: Taking taylor expansion of y in x
0.315 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 (* x (pow y 2)))) in x
0.315 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.316 * [taylor]: Taking taylor expansion of (* x y) in x
0.316 * [taylor]: Taking taylor expansion of x in x
0.316 * [taylor]: Taking taylor expansion of y in x
0.316 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x
0.316 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
0.316 * [taylor]: Taking taylor expansion of x in x
0.316 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.316 * [taylor]: Taking taylor expansion of y in x
0.319 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 (pow y 2))) in y
0.319 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.319 * [taylor]: Taking taylor expansion of y in y
0.319 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.319 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.319 * [taylor]: Taking taylor expansion of y in y
0.322 * [taylor]: Taking taylor expansion of 0 in y
0.328 * [taylor]: Taking taylor expansion of 0 in y
0.334 * [taylor]: Taking taylor expansion of 0 in y
0.341 * [taylor]: Taking taylor expansion of 0 in y
0.346 * [approximate]: Taking taylor expansion of (+ (/ 1 (* x (pow y 2))) (/ 1 (* x y))) in (x y) around 0
0.346 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (pow y 2))) (/ 1 (* x y))) in y
0.346 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y
0.346 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
0.346 * [taylor]: Taking taylor expansion of x in y
0.346 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.346 * [taylor]: Taking taylor expansion of y in y
0.347 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.347 * [taylor]: Taking taylor expansion of (* x y) in y
0.347 * [taylor]: Taking taylor expansion of x in y
0.347 * [taylor]: Taking taylor expansion of y in y
0.347 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (pow y 2))) (/ 1 (* x y))) in x
0.347 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x
0.347 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
0.347 * [taylor]: Taking taylor expansion of x in x
0.347 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.347 * [taylor]: Taking taylor expansion of y in x
0.349 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.349 * [taylor]: Taking taylor expansion of (* x y) in x
0.349 * [taylor]: Taking taylor expansion of x in x
0.349 * [taylor]: Taking taylor expansion of y in x
0.349 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (pow y 2))) (/ 1 (* x y))) in x
0.349 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x
0.349 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
0.349 * [taylor]: Taking taylor expansion of x in x
0.349 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.349 * [taylor]: Taking taylor expansion of y in x
0.350 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.350 * [taylor]: Taking taylor expansion of (* x y) in x
0.351 * [taylor]: Taking taylor expansion of x in x
0.351 * [taylor]: Taking taylor expansion of y in x
0.351 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 (pow y 2))) in y
0.351 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.351 * [taylor]: Taking taylor expansion of y in y
0.352 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.352 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.352 * [taylor]: Taking taylor expansion of y in y
0.354 * [taylor]: Taking taylor expansion of 0 in y
0.359 * [taylor]: Taking taylor expansion of 0 in y
0.364 * [taylor]: Taking taylor expansion of 0 in y
0.371 * [taylor]: Taking taylor expansion of 0 in y
0.375 * * * [progress]: simplifying candidates
0.376 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (*.f64 x y) (neg.f64 y))
  (*.f64 (*.f64 x y) (neg.f64 y))
  (+.f64 (+.f64 (log.f64 x) (log.f64 y)) (log.f64 (neg.f64 y)))
  (+.f64 (log.f64 (*.f64 x y)) (log.f64 (neg.f64 y)))
  (exp.f64 (*.f64 (*.f64 x y) (neg.f64 y)))
  (log.f64 (*.f64 (*.f64 x y) (neg.f64 y)))
  (*.f64 (*.f64 (*.f64 (*.f64 x y) (neg.f64 y)) (*.f64 (*.f64 x y) (neg.f64 y))) (*.f64 (*.f64 x y) (neg.f64 y)))
  (*.f64 (cbrt.f64 (*.f64 (*.f64 x y) (neg.f64 y))) (cbrt.f64 (*.f64 (*.f64 x y) (neg.f64 y))))
  (cbrt.f64 (*.f64 (*.f64 x y) (neg.f64 y)))
  (*.f64 (*.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 x y)) (*.f64 (*.f64 (neg.f64 y) (neg.f64 y)) (neg.f64 y)))
  (*.f64 (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 y y) y)) (*.f64 (*.f64 (neg.f64 y) (neg.f64 y)) (neg.f64 y)))
  (sqrt.f64 (*.f64 (*.f64 x y) (neg.f64 y)))
  (sqrt.f64 (*.f64 (*.f64 x y) (neg.f64 y)))
  (*.f64 (*.f64 x y) y)
  (*.f64 y (neg.f64 y))
  (*.f64 (*.f64 x y) (*.f64 (cbrt.f64 (neg.f64 y)) (cbrt.f64 (neg.f64 y))))
  (*.f64 (*.f64 x y) (sqrt.f64 (neg.f64 y)))
  (*.f64 (*.f64 x y) 1)
  (*.f64 (*.f64 x y) -1)
  (*.f64 (*.f64 x y) (*.f64 (cbrt.f64 y) (cbrt.f64 y)))
  (*.f64 (*.f64 x y) (sqrt.f64 y))
  (*.f64 (*.f64 x y) 1)
  (*.f64 (*.f64 x y) (neg.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y))))
  (*.f64 (*.f64 x y) (neg.f64 (sqrt.f64 y)))
  (*.f64 (*.f64 x y) (neg.f64 1))
  (*.f64 (exp.f64 (*.f64 x y)) (exp.f64 (*.f64 (*.f64 x y) (neg.f64 y))))
  (exp.f64 (+.f64 (*.f64 x y) (*.f64 (*.f64 x y) (neg.f64 y))))
  (log.f64 (+.f64 (*.f64 x y) (*.f64 (*.f64 x y) (neg.f64 y))))
  (*.f64 (*.f64 (+.f64 (*.f64 x y) (*.f64 (*.f64 x y) (neg.f64 y))) (+.f64 (*.f64 x y) (*.f64 (*.f64 x y) (neg.f64 y)))) (+.f64 (*.f64 x y) (*.f64 (*.f64 x y) (neg.f64 y))))
  (*.f64 (cbrt.f64 (+.f64 (*.f64 x y) (*.f64 (*.f64 x y) (neg.f64 y)))) (cbrt.f64 (+.f64 (*.f64 x y) (*.f64 (*.f64 x y) (neg.f64 y)))))
  (cbrt.f64 (+.f64 (*.f64 x y) (*.f64 (*.f64 x y) (neg.f64 y))))
  (sqrt.f64 (+.f64 (*.f64 x y) (*.f64 (*.f64 x y) (neg.f64 y))))
  (sqrt.f64 (+.f64 (*.f64 x y) (*.f64 (*.f64 x y) (neg.f64 y))))
  (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 (*.f64 x y) (neg.f64 y)) 3))
  (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (-.f64 (*.f64 (*.f64 (*.f64 x y) (neg.f64 y)) (*.f64 (*.f64 x y) (neg.f64 y))) (*.f64 (*.f64 x y) (*.f64 (*.f64 x y) (neg.f64 y)))))
  (-.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (*.f64 (*.f64 x y) (neg.f64 y)) (*.f64 (*.f64 x y) (neg.f64 y))))
  (-.f64 (*.f64 x y) (*.f64 (*.f64 x y) (neg.f64 y)))
  (*.f64 -1 (*.f64 x (pow.f64 y 2)))
  (*.f64 -1 (*.f64 x (pow.f64 y 2)))
  (*.f64 -1 (*.f64 x (pow.f64 y 2)))
  (-.f64 (*.f64 x y) (*.f64 x (pow.f64 y 2)))
  (-.f64 (*.f64 x y) (*.f64 x (pow.f64 y 2)))
  (-.f64 (*.f64 x y) (*.f64 x (pow.f64 y 2)))
0.496 * * [simplify]: iteration  0 :  4932  enodes  (cost  495 )
0.497 * * [simplify]: iteration  1 :  4932  enodes  (cost  495 )
0.501 * [simplify]: Simplified to:
   (*.f64 (*.f64 x y) (neg.f64 y))
  (*.f64 (*.f64 x y) (neg.f64 y))
  (log.f64 (*.f64 (*.f64 x y) (neg.f64 y)))
  (log.f64 (*.f64 (*.f64 x y) (neg.f64 y)))
  (exp.f64 (*.f64 (*.f64 x y) (neg.f64 y)))
  (log.f64 (*.f64 (*.f64 x y) (neg.f64 y)))
  (pow.f64 (*.f64 (*.f64 x y) (neg.f64 y)) 3)
  (*.f64 (cbrt.f64 (*.f64 (*.f64 x y) (neg.f64 y))) (cbrt.f64 (*.f64 (*.f64 x y) (neg.f64 y))))
  (cbrt.f64 (*.f64 (*.f64 x y) (neg.f64 y)))
  (pow.f64 (*.f64 (*.f64 x y) (neg.f64 y)) 3)
  (pow.f64 (*.f64 (*.f64 x y) (neg.f64 y)) 3)
  (sqrt.f64 (*.f64 (*.f64 x y) (neg.f64 y)))
  (sqrt.f64 (*.f64 (*.f64 x y) (neg.f64 y)))
  (*.f64 x (*.f64 y y))
  (*.f64 y (neg.f64 y))
  (*.f64 (*.f64 x y) (*.f64 (cbrt.f64 (neg.f64 y)) (cbrt.f64 (neg.f64 y))))
  (*.f64 (*.f64 x y) (sqrt.f64 (neg.f64 y)))
  (*.f64 x y)
  (*.f64 x (neg.f64 y))
  (*.f64 (*.f64 x y) (*.f64 (cbrt.f64 y) (cbrt.f64 y)))
  (*.f64 x (pow.f64 y 3/2))
  (*.f64 x y)
  (*.f64 (*.f64 x y) (neg.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y))))
  (*.f64 x (neg.f64 (pow.f64 y 3/2)))
  (*.f64 x (neg.f64 y))
  (pow.f64 (exp.f64 (*.f64 x y)) (-.f64 1 y))
  (pow.f64 (exp.f64 (*.f64 x y)) (-.f64 1 y))
  (log.f64 (*.f64 x (-.f64 y (*.f64 y y))))
  (pow.f64 (*.f64 x (-.f64 y (*.f64 y y))) 3)
  (*.f64 (cbrt.f64 (*.f64 x (-.f64 y (*.f64 y y)))) (cbrt.f64 (*.f64 x (-.f64 y (*.f64 y y)))))
  (cbrt.f64 (*.f64 x (-.f64 y (*.f64 y y))))
  (sqrt.f64 (*.f64 x (-.f64 y (*.f64 y y))))
  (sqrt.f64 (*.f64 x (-.f64 y (*.f64 y y))))
  (*.f64 (pow.f64 (*.f64 x y) 3) (-.f64 1 (pow.f64 y 3)))
  (*.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (+.f64 1 (+.f64 (*.f64 y y) y)))
  (*.f64 (*.f64 x x) (-.f64 (*.f64 y y) (pow.f64 y 4)))
  (*.f64 x (+.f64 (*.f64 y y) y))
  (*.f64 (*.f64 x y) (neg.f64 y))
  (*.f64 (*.f64 x y) (neg.f64 y))
  (*.f64 (*.f64 x y) (neg.f64 y))
  (*.f64 x (-.f64 y (*.f64 y y)))
  (*.f64 x (-.f64 y (*.f64 y y)))
  (*.f64 x (-.f64 y (*.f64 y y)))
0.502 * * * [progress]: adding candidates to table
0.526 * * [progress]: iteration 3 / 4
0.526 * * * [progress]: picking best candidate
0.529 * * * * [pick]: Picked  #<alt (λ (x y) (*.f64 x (-.f64 y (*.f64 y y))))>
0.530 * * * [progress]: localizing error
0.536 * * * [progress]: generating rewritten candidates
0.536 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.542 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
0.546 * * * [progress]: generating series expansions
0.546 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.547 * [approximate]: Taking taylor expansion of (* (- y (pow y 2)) x) in (x y) around 0
0.547 * [taylor]: Taking taylor expansion of (* (- y (pow y 2)) x) in y
0.547 * [taylor]: Taking taylor expansion of (- y (pow y 2)) in y
0.547 * [taylor]: Taking taylor expansion of y in y
0.547 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.547 * [taylor]: Taking taylor expansion of y in y
0.547 * [taylor]: Taking taylor expansion of x in y
0.547 * [taylor]: Taking taylor expansion of (* (- y (pow y 2)) x) in x
0.547 * [taylor]: Taking taylor expansion of (- y (pow y 2)) in x
0.547 * [taylor]: Taking taylor expansion of y in x
0.547 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.547 * [taylor]: Taking taylor expansion of y in x
0.547 * [taylor]: Taking taylor expansion of x in x
0.547 * [taylor]: Taking taylor expansion of (* (- y (pow y 2)) x) in x
0.547 * [taylor]: Taking taylor expansion of (- y (pow y 2)) in x
0.547 * [taylor]: Taking taylor expansion of y in x
0.547 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.547 * [taylor]: Taking taylor expansion of y in x
0.547 * [taylor]: Taking taylor expansion of x in x
0.548 * [taylor]: Taking taylor expansion of 0 in y
0.548 * [taylor]: Taking taylor expansion of (- y (pow y 2)) in y
0.549 * [taylor]: Taking taylor expansion of y in y
0.549 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.549 * [taylor]: Taking taylor expansion of y in y
0.550 * [taylor]: Taking taylor expansion of 0 in y
0.551 * [taylor]: Taking taylor expansion of 0 in y
0.552 * [taylor]: Taking taylor expansion of 0 in y
0.554 * [approximate]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 (pow y 2))) x) in (x y) around 0
0.554 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 (pow y 2))) x) in y
0.554 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 (pow y 2))) in y
0.554 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.554 * [taylor]: Taking taylor expansion of y in y
0.554 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.554 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.554 * [taylor]: Taking taylor expansion of y in y
0.554 * [taylor]: Taking taylor expansion of x in y
0.555 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 (pow y 2))) x) in x
0.555 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 (pow y 2))) 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 (/ 1 (pow y 2)) in x
0.555 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.555 * [taylor]: Taking taylor expansion of y in x
0.555 * [taylor]: Taking taylor expansion of x in x
0.556 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 (pow y 2))) x) in x
0.556 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 (pow y 2))) 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 (/ 1 (pow y 2)) in x
0.556 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.556 * [taylor]: Taking taylor expansion of y in x
0.556 * [taylor]: Taking taylor expansion of x in x
0.557 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 (pow y 2))) in y
0.557 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.557 * [taylor]: Taking taylor expansion of y in y
0.558 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.558 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.558 * [taylor]: Taking taylor expansion of y in y
0.560 * [taylor]: Taking taylor expansion of 0 in y
0.563 * [taylor]: Taking taylor expansion of 0 in y
0.566 * [taylor]: Taking taylor expansion of 0 in y
0.571 * [taylor]: Taking taylor expansion of 0 in y
0.575 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 (pow y 2))) x) in (x y) around 0
0.575 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 (pow y 2))) x) in y
0.575 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 (pow y 2))) in y
0.575 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.575 * [taylor]: Taking taylor expansion of y in y
0.575 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.575 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.575 * [taylor]: Taking taylor expansion of y in y
0.575 * [taylor]: Taking taylor expansion of x in y
0.575 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 (pow y 2))) x) in x
0.575 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 (pow y 2))) in x
0.575 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.575 * [taylor]: Taking taylor expansion of y in x
0.575 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
0.575 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.575 * [taylor]: Taking taylor expansion of y in x
0.576 * [taylor]: Taking taylor expansion of x in x
0.576 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 (pow y 2))) x) in x
0.576 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 (pow y 2))) in x
0.576 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.576 * [taylor]: Taking taylor expansion of y in x
0.576 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
0.576 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.576 * [taylor]: Taking taylor expansion of y in x
0.577 * [taylor]: Taking taylor expansion of x in x
0.577 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 (pow y 2))) in y
0.577 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.577 * [taylor]: Taking taylor expansion of y in y
0.577 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.578 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.578 * [taylor]: Taking taylor expansion of y in y
0.579 * [taylor]: Taking taylor expansion of 0 in y
0.582 * [taylor]: Taking taylor expansion of 0 in y
0.586 * [taylor]: Taking taylor expansion of 0 in y
0.590 * [taylor]: Taking taylor expansion of 0 in y
0.593 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
0.594 * [approximate]: Taking taylor expansion of (- y (pow y 2)) in (y) around 0
0.594 * [taylor]: Taking taylor expansion of (- y (pow y 2)) in y
0.594 * [taylor]: Taking taylor expansion of y in y
0.594 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.594 * [taylor]: Taking taylor expansion of y in y
0.594 * [taylor]: Taking taylor expansion of (- y (pow y 2)) in y
0.594 * [taylor]: Taking taylor expansion of y in y
0.594 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.594 * [taylor]: Taking taylor expansion of y in y
0.598 * [approximate]: Taking taylor expansion of (- (/ 1 y) (/ 1 (pow y 2))) in (y) around 0
0.598 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 (pow y 2))) in y
0.598 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.598 * [taylor]: Taking taylor expansion of y in y
0.598 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.598 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.598 * [taylor]: Taking taylor expansion of y in y
0.599 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 (pow y 2))) in y
0.599 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.599 * [taylor]: Taking taylor expansion of y in y
0.599 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.599 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.599 * [taylor]: Taking taylor expansion of y in y
0.609 * [approximate]: Taking taylor expansion of (neg (+ (/ 1 y) (/ 1 (pow y 2)))) in (y) around 0
0.609 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 y) (/ 1 (pow y 2)))) in y
0.609 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 (pow y 2))) in y
0.609 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.609 * [taylor]: Taking taylor expansion of y in y
0.610 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.610 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.610 * [taylor]: Taking taylor expansion of y in y
0.610 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 y) (/ 1 (pow y 2)))) in y
0.610 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 (pow y 2))) in y
0.610 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.610 * [taylor]: Taking taylor expansion of y in y
0.610 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.610 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.610 * [taylor]: Taking taylor expansion of y in y
0.620 * * * [progress]: simplifying candidates
0.621 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 x (-.f64 y (*.f64 y y)))
  (+.f64 (log.f64 x) (log.f64 (-.f64 y (*.f64 y y))))
  (exp.f64 (*.f64 x (-.f64 y (*.f64 y y))))
  (log.f64 (*.f64 x (-.f64 y (*.f64 y y))))
  (*.f64 (*.f64 (*.f64 x (-.f64 y (*.f64 y y))) (*.f64 x (-.f64 y (*.f64 y y)))) (*.f64 x (-.f64 y (*.f64 y y))))
  (*.f64 (cbrt.f64 (*.f64 x (-.f64 y (*.f64 y y)))) (cbrt.f64 (*.f64 x (-.f64 y (*.f64 y y)))))
  (cbrt.f64 (*.f64 x (-.f64 y (*.f64 y y))))
  (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 (-.f64 y (*.f64 y y)) (-.f64 y (*.f64 y y))) (-.f64 y (*.f64 y y))))
  (sqrt.f64 (*.f64 x (-.f64 y (*.f64 y y))))
  (sqrt.f64 (*.f64 x (-.f64 y (*.f64 y y))))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (-.f64 y (*.f64 y y))))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (-.f64 y (*.f64 y y))))
  (*.f64 y x)
  (*.f64 (neg.f64 (*.f64 y y)) x)
  (*.f64 x y)
  (*.f64 x (neg.f64 (*.f64 y y)))
  (*.f64 x (-.f64 (pow.f64 y 3) (pow.f64 (*.f64 y y) 3)))
  (*.f64 x (-.f64 (*.f64 y y) (*.f64 (*.f64 y y) (*.f64 y y))))
  (*.f64 (cbrt.f64 x) (-.f64 y (*.f64 y y)))
  (*.f64 (sqrt.f64 x) (-.f64 y (*.f64 y y)))
  (*.f64 x (-.f64 y (*.f64 y y)))
  (*.f64 x (*.f64 (cbrt.f64 (-.f64 y (*.f64 y y))) (cbrt.f64 (-.f64 y (*.f64 y y)))))
  (*.f64 x (sqrt.f64 (-.f64 y (*.f64 y y))))
  (*.f64 x 1)
  (*.f64 x (+.f64 (sqrt.f64 y) y))
  (*.f64 x y)
  (/.f64 (exp.f64 y) (exp.f64 (*.f64 y y)))
  (exp.f64 (-.f64 y (*.f64 y y)))
  (log.f64 (-.f64 y (*.f64 y y)))
  (*.f64 (*.f64 (-.f64 y (*.f64 y y)) (-.f64 y (*.f64 y y))) (-.f64 y (*.f64 y y)))
  (*.f64 (cbrt.f64 (-.f64 y (*.f64 y y))) (cbrt.f64 (-.f64 y (*.f64 y y))))
  (cbrt.f64 (-.f64 y (*.f64 y y)))
  (sqrt.f64 (-.f64 y (*.f64 y y)))
  (sqrt.f64 (-.f64 y (*.f64 y y)))
  (-.f64 (pow.f64 y 3) (pow.f64 (*.f64 y y) 3))
  (+.f64 (*.f64 y y) (+.f64 (*.f64 (*.f64 y y) (*.f64 y y)) (*.f64 y (*.f64 y y))))
  (neg.f64 (*.f64 y y))
  (-.f64 (*.f64 y y) (*.f64 (*.f64 y y) (*.f64 y y)))
  (+.f64 y (*.f64 y y))
  (+.f64 (sqrt.f64 y) y)
  (-.f64 (sqrt.f64 y) y)
  (-.f64 1 y)
  (-.f64 (*.f64 x y) (*.f64 x (pow.f64 y 2)))
  (-.f64 (*.f64 x y) (*.f64 x (pow.f64 y 2)))
  (-.f64 (*.f64 x y) (*.f64 x (pow.f64 y 2)))
  (-.f64 y (pow.f64 y 2))
  (-.f64 y (pow.f64 y 2))
  (-.f64 y (pow.f64 y 2))
0.699 * * [simplify]: iteration  0 :  4941  enodes  (cost  497 )
0.700 * * [simplify]: iteration  1 :  4941  enodes  (cost  497 )
0.703 * [simplify]: Simplified to:
   (*.f64 x (-.f64 y (*.f64 y y)))
  (log.f64 (*.f64 x (-.f64 y (*.f64 y y))))
  (exp.f64 (*.f64 x (-.f64 y (*.f64 y y))))
  (log.f64 (*.f64 x (-.f64 y (*.f64 y y))))
  (pow.f64 (*.f64 x (-.f64 y (*.f64 y y))) 3)
  (*.f64 (cbrt.f64 (*.f64 x (-.f64 y (*.f64 y y)))) (cbrt.f64 (*.f64 x (-.f64 y (*.f64 y y)))))
  (cbrt.f64 (*.f64 x (-.f64 y (*.f64 y y))))
  (pow.f64 (*.f64 x (-.f64 y (*.f64 y y))) 3)
  (sqrt.f64 (*.f64 x (-.f64 y (*.f64 y y))))
  (sqrt.f64 (*.f64 x (-.f64 y (*.f64 y y))))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (-.f64 y (*.f64 y y))))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (-.f64 y (*.f64 y y))))
  (*.f64 x y)
  (*.f64 x (neg.f64 (*.f64 y y)))
  (*.f64 x y)
  (*.f64 x (neg.f64 (*.f64 y y)))
  (*.f64 x (-.f64 (pow.f64 y 3) (pow.f64 y 6)))
  (*.f64 x (-.f64 (*.f64 y y) (pow.f64 y 4)))
  (*.f64 (-.f64 y (*.f64 y y)) (cbrt.f64 x))
  (*.f64 (-.f64 y (*.f64 y y)) (sqrt.f64 x))
  (*.f64 x (-.f64 y (*.f64 y y)))
  (*.f64 x (*.f64 (cbrt.f64 (-.f64 y (*.f64 y y))) (cbrt.f64 (-.f64 y (*.f64 y y)))))
  (*.f64 x (sqrt.f64 (-.f64 y (*.f64 y y))))
  x
  (*.f64 x (+.f64 y (sqrt.f64 y)))
  (*.f64 x y)
  (exp.f64 (-.f64 y (*.f64 y y)))
  (exp.f64 (-.f64 y (*.f64 y y)))
  (log.f64 (-.f64 y (*.f64 y y)))
  (pow.f64 (-.f64 y (*.f64 y y)) 3)
  (*.f64 (cbrt.f64 (-.f64 y (*.f64 y y))) (cbrt.f64 (-.f64 y (*.f64 y y))))
  (cbrt.f64 (-.f64 y (*.f64 y y)))
  (sqrt.f64 (-.f64 y (*.f64 y y)))
  (sqrt.f64 (-.f64 y (*.f64 y y)))
  (-.f64 (pow.f64 y 3) (pow.f64 y 6))
  (+.f64 (*.f64 y y) (+.f64 (pow.f64 y 3) (pow.f64 y 4)))
  (neg.f64 (*.f64 y y))
  (-.f64 (*.f64 y y) (pow.f64 y 4))
  (+.f64 y (*.f64 y y))
  (+.f64 y (sqrt.f64 y))
  (-.f64 (sqrt.f64 y) y)
  (-.f64 1 y)
  (*.f64 x (-.f64 y (*.f64 y y)))
  (*.f64 x (-.f64 y (*.f64 y y)))
  (*.f64 x (-.f64 y (*.f64 y y)))
  (-.f64 y (*.f64 y y))
  (-.f64 y (*.f64 y y))
  (-.f64 y (*.f64 y y))
0.703 * * * [progress]: adding candidates to table
0.723 * * [progress]: iteration 4 / 4
0.723 * * * [progress]: picking best candidate
0.726 * * * * [pick]: Picked  #<alt (λ (x y) (*.f64 (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 y))) (sqrt.f64 (-.f64 1 y))))>
0.726 * * * [progress]: localizing error
0.733 * * * [progress]: generating rewritten candidates
0.733 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
0.742 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.761 * * * [progress]: generating series expansions
0.761 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
0.761 * [approximate]: Taking taylor expansion of (* (* x y) (sqrt (- 1 y))) in (x y) around 0
0.761 * [taylor]: Taking taylor expansion of (* (* x y) (sqrt (- 1 y))) in y
0.761 * [taylor]: Taking taylor expansion of (* x y) in y
0.761 * [taylor]: Taking taylor expansion of x in y
0.761 * [taylor]: Taking taylor expansion of y in y
0.761 * [taylor]: Taking taylor expansion of (sqrt (- 1 y)) in y
0.761 * [taylor]: Taking taylor expansion of (- 1 y) in y
0.761 * [taylor]: Taking taylor expansion of 1 in y
0.761 * [taylor]: Taking taylor expansion of y in y
0.762 * [taylor]: Taking taylor expansion of (* (* x y) (sqrt (- 1 y))) in x
0.762 * [taylor]: Taking taylor expansion of (* x y) in x
0.762 * [taylor]: Taking taylor expansion of x in x
0.762 * [taylor]: Taking taylor expansion of y in x
0.762 * [taylor]: Taking taylor expansion of (sqrt (- 1 y)) in x
0.762 * [taylor]: Taking taylor expansion of (- 1 y) in x
0.762 * [taylor]: Taking taylor expansion of 1 in x
0.762 * [taylor]: Taking taylor expansion of y in x
0.763 * [taylor]: Taking taylor expansion of (* (* x y) (sqrt (- 1 y))) in x
0.763 * [taylor]: Taking taylor expansion of (* x y) in x
0.763 * [taylor]: Taking taylor expansion of x in x
0.763 * [taylor]: Taking taylor expansion of y in x
0.763 * [taylor]: Taking taylor expansion of (sqrt (- 1 y)) in x
0.763 * [taylor]: Taking taylor expansion of (- 1 y) in x
0.763 * [taylor]: Taking taylor expansion of 1 in x
0.763 * [taylor]: Taking taylor expansion of y in x
0.764 * [taylor]: Taking taylor expansion of 0 in y
0.764 * [taylor]: Taking taylor expansion of (* (sqrt (- 1 y)) y) in y
0.765 * [taylor]: Taking taylor expansion of (sqrt (- 1 y)) in y
0.765 * [taylor]: Taking taylor expansion of (- 1 y) in y
0.765 * [taylor]: Taking taylor expansion of 1 in y
0.765 * [taylor]: Taking taylor expansion of y in y
0.765 * [taylor]: Taking taylor expansion of y in y
0.766 * [taylor]: Taking taylor expansion of 0 in y
0.768 * [taylor]: Taking taylor expansion of 0 in y
0.771 * [taylor]: Taking taylor expansion of 0 in y
0.774 * [approximate]: Taking taylor expansion of (* (/ 1 (* x y)) (sqrt (- 1 (/ 1 y)))) in (x y) around 0
0.774 * [taylor]: Taking taylor expansion of (* (/ 1 (* x y)) (sqrt (- 1 (/ 1 y)))) in y
0.774 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.774 * [taylor]: Taking taylor expansion of (* x y) in y
0.774 * [taylor]: Taking taylor expansion of x in y
0.774 * [taylor]: Taking taylor expansion of y in y
0.774 * [taylor]: Taking taylor expansion of (sqrt (- 1 (/ 1 y))) in y
0.774 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y
0.774 * [taylor]: Taking taylor expansion of 1 in y
0.774 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.774 * [taylor]: Taking taylor expansion of y in y
0.775 * [taylor]: Taking taylor expansion of (* (/ 1 (* x y)) (sqrt (- 1 (/ 1 y)))) in x
0.775 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.775 * [taylor]: Taking taylor expansion of (* x y) in x
0.775 * [taylor]: Taking taylor expansion of x in x
0.775 * [taylor]: Taking taylor expansion of y in x
0.775 * [taylor]: Taking taylor expansion of (sqrt (- 1 (/ 1 y))) in x
0.775 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in x
0.775 * [taylor]: Taking taylor expansion of 1 in x
0.775 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.775 * [taylor]: Taking taylor expansion of y in x
0.776 * [taylor]: Taking taylor expansion of (* (/ 1 (* x y)) (sqrt (- 1 (/ 1 y)))) in x
0.776 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.776 * [taylor]: Taking taylor expansion of (* x y) in x
0.776 * [taylor]: Taking taylor expansion of x in x
0.777 * [taylor]: Taking taylor expansion of y in x
0.777 * [taylor]: Taking taylor expansion of (sqrt (- 1 (/ 1 y))) in x
0.777 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in x
0.777 * [taylor]: Taking taylor expansion of 1 in x
0.777 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.777 * [taylor]: Taking taylor expansion of y in x
0.779 * [taylor]: Taking taylor expansion of (* (sqrt (- 1 (/ 1 y))) (/ 1 y)) in y
0.779 * [taylor]: Taking taylor expansion of (sqrt (- 1 (/ 1 y))) in y
0.779 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y
0.779 * [taylor]: Taking taylor expansion of 1 in y
0.779 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.779 * [taylor]: Taking taylor expansion of y in y
0.779 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.779 * [taylor]: Taking taylor expansion of y in y
0.780 * [taylor]: Taking taylor expansion of 0 in y
0.783 * [taylor]: Taking taylor expansion of 0 in y
0.788 * [taylor]: Taking taylor expansion of 0 in y
0.795 * [approximate]: Taking taylor expansion of (* (/ 1 (* x y)) (sqrt (+ (/ 1 y) 1))) in (x y) around 0
0.795 * [taylor]: Taking taylor expansion of (* (/ 1 (* x y)) (sqrt (+ (/ 1 y) 1))) in y
0.795 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.795 * [taylor]: Taking taylor expansion of (* x y) in y
0.795 * [taylor]: Taking taylor expansion of x in y
0.795 * [taylor]: Taking taylor expansion of y in y
0.795 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 y) 1)) in y
0.795 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y
0.795 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.795 * [taylor]: Taking taylor expansion of y in y
0.795 * [taylor]: Taking taylor expansion of 1 in y
0.795 * [taylor]: Taking taylor expansion of (* (/ 1 (* x y)) (sqrt (+ (/ 1 y) 1))) in x
0.795 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.795 * [taylor]: Taking taylor expansion of (* x y) in x
0.795 * [taylor]: Taking taylor expansion of x in x
0.795 * [taylor]: Taking taylor expansion of y in x
0.796 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 y) 1)) in x
0.796 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in x
0.796 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.796 * [taylor]: Taking taylor expansion of y in x
0.796 * [taylor]: Taking taylor expansion of 1 in x
0.797 * [taylor]: Taking taylor expansion of (* (/ 1 (* x y)) (sqrt (+ (/ 1 y) 1))) in x
0.797 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.797 * [taylor]: Taking taylor expansion of (* x y) in x
0.797 * [taylor]: Taking taylor expansion of x in x
0.797 * [taylor]: Taking taylor expansion of y in x
0.797 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 y) 1)) in x
0.797 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in x
0.797 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.797 * [taylor]: Taking taylor expansion of y in x
0.797 * [taylor]: Taking taylor expansion of 1 in x
0.799 * [taylor]: Taking taylor expansion of (* (sqrt (+ (/ 1 y) 1)) (/ 1 y)) in y
0.799 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 y) 1)) in y
0.799 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y
0.799 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.799 * [taylor]: Taking taylor expansion of y in y
0.799 * [taylor]: Taking taylor expansion of 1 in y
0.799 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.799 * [taylor]: Taking taylor expansion of y in y
0.800 * [taylor]: Taking taylor expansion of 0 in y
0.803 * [taylor]: Taking taylor expansion of 0 in y
0.806 * [taylor]: Taking taylor expansion of 0 in y
0.812 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.812 * [approximate]: Taking taylor expansion of (* x (* (- 1 y) y)) in (x y) around 0
0.812 * [taylor]: Taking taylor expansion of (* x (* (- 1 y) y)) in y
0.812 * [taylor]: Taking taylor expansion of x in y
0.812 * [taylor]: Taking taylor expansion of (* (- 1 y) y) in y
0.812 * [taylor]: Taking taylor expansion of (- 1 y) in y
0.812 * [taylor]: Taking taylor expansion of 1 in y
0.812 * [taylor]: Taking taylor expansion of y in y
0.812 * [taylor]: Taking taylor expansion of y in y
0.812 * [taylor]: Taking taylor expansion of (* x (* (- 1 y) y)) in x
0.812 * [taylor]: Taking taylor expansion of x in x
0.812 * [taylor]: Taking taylor expansion of (* (- 1 y) y) in x
0.812 * [taylor]: Taking taylor expansion of (- 1 y) in x
0.812 * [taylor]: Taking taylor expansion of 1 in x
0.812 * [taylor]: Taking taylor expansion of y in x
0.812 * [taylor]: Taking taylor expansion of y in x
0.812 * [taylor]: Taking taylor expansion of (* x (* (- 1 y) y)) in x
0.812 * [taylor]: Taking taylor expansion of x in x
0.813 * [taylor]: Taking taylor expansion of (* (- 1 y) y) in x
0.813 * [taylor]: Taking taylor expansion of (- 1 y) in x
0.813 * [taylor]: Taking taylor expansion of 1 in x
0.813 * [taylor]: Taking taylor expansion of y in x
0.813 * [taylor]: Taking taylor expansion of y in x
0.813 * [taylor]: Taking taylor expansion of 0 in y
0.814 * [taylor]: Taking taylor expansion of (- y (pow y 2)) in y
0.814 * [taylor]: Taking taylor expansion of y in y
0.814 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.814 * [taylor]: Taking taylor expansion of y in y
0.815 * [taylor]: Taking taylor expansion of 0 in y
0.816 * [taylor]: Taking taylor expansion of 0 in y
0.817 * [taylor]: Taking taylor expansion of 0 in y
0.819 * [approximate]: Taking taylor expansion of (/ (- 1 (/ 1 y)) (* x y)) in (x y) around 0
0.819 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 y)) (* x y)) in y
0.819 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y
0.819 * [taylor]: Taking taylor expansion of 1 in y
0.819 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.819 * [taylor]: Taking taylor expansion of y in y
0.819 * [taylor]: Taking taylor expansion of (* x y) in y
0.819 * [taylor]: Taking taylor expansion of x in y
0.819 * [taylor]: Taking taylor expansion of y in y
0.819 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 y)) (* x y)) in x
0.819 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in x
0.819 * [taylor]: Taking taylor expansion of 1 in x
0.819 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.819 * [taylor]: Taking taylor expansion of y in x
0.819 * [taylor]: Taking taylor expansion of (* x y) in x
0.819 * [taylor]: Taking taylor expansion of x in x
0.819 * [taylor]: Taking taylor expansion of y in x
0.820 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 y)) (* x y)) in x
0.820 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in x
0.820 * [taylor]: Taking taylor expansion of 1 in x
0.820 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.820 * [taylor]: Taking taylor expansion of y in x
0.820 * [taylor]: Taking taylor expansion of (* x y) in x
0.820 * [taylor]: Taking taylor expansion of x in x
0.820 * [taylor]: Taking taylor expansion of y in x
0.821 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 y)) y) in y
0.821 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y
0.821 * [taylor]: Taking taylor expansion of 1 in y
0.821 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.821 * [taylor]: Taking taylor expansion of y in y
0.821 * [taylor]: Taking taylor expansion of y in y
0.822 * [taylor]: Taking taylor expansion of 0 in y
0.824 * [taylor]: Taking taylor expansion of 0 in y
0.826 * [taylor]: Taking taylor expansion of 0 in y
0.829 * [taylor]: Taking taylor expansion of 0 in y
0.832 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 y) 1) (* x y)) in (x y) around 0
0.832 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1) (* x y)) in y
0.832 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y
0.832 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.832 * [taylor]: Taking taylor expansion of y in y
0.832 * [taylor]: Taking taylor expansion of 1 in y
0.832 * [taylor]: Taking taylor expansion of (* x y) in y
0.832 * [taylor]: Taking taylor expansion of x in y
0.832 * [taylor]: Taking taylor expansion of y in y
0.833 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1) (* x y)) in x
0.833 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in x
0.833 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.833 * [taylor]: Taking taylor expansion of y in x
0.833 * [taylor]: Taking taylor expansion of 1 in x
0.833 * [taylor]: Taking taylor expansion of (* x y) in x
0.833 * [taylor]: Taking taylor expansion of x in x
0.833 * [taylor]: Taking taylor expansion of y in x
0.833 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1) (* x y)) in x
0.833 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in x
0.833 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.833 * [taylor]: Taking taylor expansion of y in x
0.833 * [taylor]: Taking taylor expansion of 1 in x
0.833 * [taylor]: Taking taylor expansion of (* x y) in x
0.833 * [taylor]: Taking taylor expansion of x in x
0.833 * [taylor]: Taking taylor expansion of y in x
0.834 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1) y) in y
0.834 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y
0.834 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.834 * [taylor]: Taking taylor expansion of y in y
0.834 * [taylor]: Taking taylor expansion of 1 in y
0.834 * [taylor]: Taking taylor expansion of y in y
0.835 * [taylor]: Taking taylor expansion of 0 in y
0.837 * [taylor]: Taking taylor expansion of 0 in y
0.839 * [taylor]: Taking taylor expansion of 0 in y
0.842 * [taylor]: Taking taylor expansion of 0 in y
0.844 * * * [progress]: simplifying candidates
0.845 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 y)))
  (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 y)))
  (+.f64 (+.f64 (log.f64 x) (log.f64 y)) (log.f64 (sqrt.f64 (-.f64 1 y))))
  (+.f64 (log.f64 (*.f64 x y)) (log.f64 (sqrt.f64 (-.f64 1 y))))
  (exp.f64 (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 y))))
  (log.f64 (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 y))))
  (*.f64 (*.f64 (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 y))) (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 y)))) (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 y))))
  (*.f64 (cbrt.f64 (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 y)))) (cbrt.f64 (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 y)))))
  (cbrt.f64 (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 y))))
  (*.f64 (*.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 x y)) (*.f64 (*.f64 (sqrt.f64 (-.f64 1 y)) (sqrt.f64 (-.f64 1 y))) (sqrt.f64 (-.f64 1 y))))
  (*.f64 (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 y y) y)) (*.f64 (*.f64 (sqrt.f64 (-.f64 1 y)) (sqrt.f64 (-.f64 1 y))) (sqrt.f64 (-.f64 1 y))))
  (sqrt.f64 (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 y))))
  (sqrt.f64 (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 y))))
  (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 (pow.f64 1 3) (pow.f64 y 3))))
  (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 (*.f64 1 1) (*.f64 y y))))
  (*.f64 y (sqrt.f64 (-.f64 1 y)))
  (*.f64 (*.f64 x y) (*.f64 (cbrt.f64 (sqrt.f64 (-.f64 1 y))) (cbrt.f64 (sqrt.f64 (-.f64 1 y)))))
  (*.f64 (*.f64 x y) (sqrt.f64 (sqrt.f64 (-.f64 1 y))))
  (*.f64 (*.f64 x y) (sqrt.f64 (*.f64 (cbrt.f64 (-.f64 1 y)) (cbrt.f64 (-.f64 1 y)))))
  (*.f64 (*.f64 x y) (sqrt.f64 (sqrt.f64 (-.f64 1 y))))
  (*.f64 (*.f64 x y) (sqrt.f64 1))
  (*.f64 (*.f64 x y) (sqrt.f64 (+.f64 (sqrt.f64 1) (sqrt.f64 y))))
  (*.f64 (*.f64 x y) (sqrt.f64 (+.f64 1 (sqrt.f64 y))))
  (*.f64 (*.f64 x y) (sqrt.f64 1))
  (*.f64 (*.f64 x y) 1)
  (*.f64 (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 y))) (sqrt.f64 (-.f64 1 y)))
  (*.f64 (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 y))) (sqrt.f64 (-.f64 1 y)))
  (*.f64 (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 y))) (sqrt.f64 (-.f64 1 y)))
  (+.f64 (+.f64 (+.f64 (log.f64 x) (log.f64 y)) (log.f64 (sqrt.f64 (-.f64 1 y)))) (log.f64 (sqrt.f64 (-.f64 1 y))))
  (+.f64 (+.f64 (log.f64 (*.f64 x y)) (log.f64 (sqrt.f64 (-.f64 1 y)))) (log.f64 (sqrt.f64 (-.f64 1 y))))
  (+.f64 (log.f64 (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 y)))) (log.f64 (sqrt.f64 (-.f64 1 y))))
  (exp.f64 (*.f64 (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 y))) (sqrt.f64 (-.f64 1 y))))
  (log.f64 (*.f64 (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 y))) (sqrt.f64 (-.f64 1 y))))
  (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 y))) (sqrt.f64 (-.f64 1 y))) (*.f64 (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 y))) (sqrt.f64 (-.f64 1 y)))) (*.f64 (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 y))) (sqrt.f64 (-.f64 1 y))))
  (*.f64 (cbrt.f64 (*.f64 (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 y))) (sqrt.f64 (-.f64 1 y)))) (cbrt.f64 (*.f64 (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 y))) (sqrt.f64 (-.f64 1 y)))))
  (cbrt.f64 (*.f64 (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 y))) (sqrt.f64 (-.f64 1 y))))
  (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 y))) (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 y)))) (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 y)))) (*.f64 (*.f64 (sqrt.f64 (-.f64 1 y)) (sqrt.f64 (-.f64 1 y))) (sqrt.f64 (-.f64 1 y))))
  (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 x y)) (*.f64 (*.f64 (sqrt.f64 (-.f64 1 y)) (sqrt.f64 (-.f64 1 y))) (sqrt.f64 (-.f64 1 y)))) (*.f64 (*.f64 (sqrt.f64 (-.f64 1 y)) (sqrt.f64 (-.f64 1 y))) (sqrt.f64 (-.f64 1 y))))
  (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 y y) y)) (*.f64 (*.f64 (sqrt.f64 (-.f64 1 y)) (sqrt.f64 (-.f64 1 y))) (sqrt.f64 (-.f64 1 y)))) (*.f64 (*.f64 (sqrt.f64 (-.f64 1 y)) (sqrt.f64 (-.f64 1 y))) (sqrt.f64 (-.f64 1 y))))
  (sqrt.f64 (*.f64 (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 y))) (sqrt.f64 (-.f64 1 y))))
  (sqrt.f64 (*.f64 (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 y))) (sqrt.f64 (-.f64 1 y))))
  (*.f64 (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 (pow.f64 1 3) (pow.f64 y 3)))) (sqrt.f64 (-.f64 (pow.f64 1 3) (pow.f64 y 3))))
  (*.f64 (sqrt.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 y y) (*.f64 1 y)))) (sqrt.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 y y) (*.f64 1 y)))))
  (*.f64 (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 (pow.f64 1 3) (pow.f64 y 3)))) (sqrt.f64 (-.f64 (*.f64 1 1) (*.f64 y y))))
  (*.f64 (sqrt.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 y y) (*.f64 1 y)))) (sqrt.f64 (+.f64 1 y)))
  (*.f64 (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 (*.f64 1 1) (*.f64 y y)))) (sqrt.f64 (-.f64 (pow.f64 1 3) (pow.f64 y 3))))
  (*.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 y y) (*.f64 1 y)))))
  (*.f64 (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 (*.f64 1 1) (*.f64 y y)))) (sqrt.f64 (-.f64 (*.f64 1 1) (*.f64 y y))))
  (*.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 (+.f64 1 y)))
  (*.f64 (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 (pow.f64 1 3) (pow.f64 y 3)))) (sqrt.f64 (-.f64 1 y)))
  (*.f64 (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 (*.f64 1 1) (*.f64 y y)))) (sqrt.f64 (-.f64 1 y)))
  (*.f64 (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 y))) (sqrt.f64 (-.f64 (pow.f64 1 3) (pow.f64 y 3))))
  (*.f64 (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 y))) (sqrt.f64 (-.f64 (*.f64 1 1) (*.f64 y y))))
  (*.f64 (sqrt.f64 (-.f64 1 y)) (sqrt.f64 (-.f64 1 y)))
  (*.f64 (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 y))) (*.f64 (cbrt.f64 (sqrt.f64 (-.f64 1 y))) (cbrt.f64 (sqrt.f64 (-.f64 1 y)))))
  (*.f64 (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 y))) (sqrt.f64 (sqrt.f64 (-.f64 1 y))))
  (*.f64 (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 y))) (sqrt.f64 (*.f64 (cbrt.f64 (-.f64 1 y)) (cbrt.f64 (-.f64 1 y)))))
  (*.f64 (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 y))) (sqrt.f64 (sqrt.f64 (-.f64 1 y))))
  (*.f64 (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 y))) (sqrt.f64 1))
  (*.f64 (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 y))) (sqrt.f64 (+.f64 (sqrt.f64 1) (sqrt.f64 y))))
  (*.f64 (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 y))) (sqrt.f64 (+.f64 1 (sqrt.f64 y))))
  (*.f64 (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 y))) (sqrt.f64 1))
  (*.f64 (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 y))) 1)
  (-.f64 (*.f64 x y) (+.f64 (*.f64 1/2 (*.f64 x (pow.f64 y 2))) (*.f64 1/8 (*.f64 x (pow.f64 y 3)))))
  (-.f64 (+.f64 (*.f64 x (*.f64 NAN.f64 y)) (+.f64 (*.f64 x NAN.f64) (*.f64 2 (/.f64 (*.f64 x (pow.f64 NAN.f64 5)) y)))) (+.f64 (*.f64 2 (/.f64 (*.f64 x (pow.f64 NAN.f64 3)) y)) (*.f64 x (pow.f64 NAN.f64 3))))
  (-.f64 (+.f64 (*.f64 x (*.f64 NAN.f64 y)) (+.f64 (*.f64 2 (/.f64 (*.f64 x (pow.f64 NAN.f64 5)) y)) (*.f64 x (pow.f64 NAN.f64 3)))) (+.f64 (*.f64 2 (/.f64 (*.f64 x (pow.f64 NAN.f64 3)) y)) (*.f64 x NAN.f64)))
  (-.f64 (*.f64 x y) (*.f64 x (pow.f64 y 2)))
  (-.f64 (*.f64 x y) (*.f64 x (pow.f64 y 2)))
  (-.f64 (*.f64 x y) (*.f64 x (pow.f64 y 2)))
0.896 * * [simplify]: iteration  0 :  5153  enodes  (cost  1088 )
0.902 * [simplify]: Simplified to:
   (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 y)))
  (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 y)))
  (log.f64 (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 y))))
  (log.f64 (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 y))))
  (exp.f64 (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 y))))
  (log.f64 (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 y))))
  (pow.f64 (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 y))) 3)
  (*.f64 (cbrt.f64 (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 y)))) (cbrt.f64 (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 y)))))
  (cbrt.f64 (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 y))))
  (pow.f64 (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 y))) 3)
  (pow.f64 (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 y))) 3)
  (sqrt.f64 (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 y))))
  (sqrt.f64 (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 y))))
  (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 (pow.f64 y 3))))
  (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 (*.f64 y y))))
  (*.f64 y (sqrt.f64 (-.f64 1 y)))
  (*.f64 (*.f64 x y) (*.f64 (cbrt.f64 (sqrt.f64 (-.f64 1 y))) (cbrt.f64 (sqrt.f64 (-.f64 1 y)))))
  (*.f64 (*.f64 x y) (sqrt.f64 (sqrt.f64 (-.f64 1 y))))
  (*.f64 (*.f64 x y) (fabs.f64 (cbrt.f64 (-.f64 1 y))))
  (*.f64 (*.f64 x y) (sqrt.f64 (sqrt.f64 (-.f64 1 y))))
  (*.f64 x y)
  (*.f64 (*.f64 x y) (sqrt.f64 (+.f64 1 (sqrt.f64 y))))
  (*.f64 (*.f64 x y) (sqrt.f64 (+.f64 1 (sqrt.f64 y))))
  (*.f64 x y)
  (*.f64 x y)
  (*.f64 (*.f64 x y) (-.f64 1 y))
  (*.f64 (*.f64 x y) (-.f64 1 y))
  (*.f64 (*.f64 x y) (-.f64 1 y))
  (log.f64 (*.f64 (*.f64 x y) (-.f64 1 y)))
  (log.f64 (*.f64 (*.f64 x y) (-.f64 1 y)))
  (log.f64 (*.f64 (*.f64 x y) (-.f64 1 y)))
  (exp.f64 (*.f64 (*.f64 x y) (-.f64 1 y)))
  (log.f64 (*.f64 (*.f64 x y) (-.f64 1 y)))
  (pow.f64 (*.f64 (*.f64 x y) (-.f64 1 y)) 3)
  (*.f64 (cbrt.f64 (*.f64 (*.f64 x y) (-.f64 1 y))) (cbrt.f64 (*.f64 (*.f64 x y) (-.f64 1 y))))
  (cbrt.f64 (*.f64 (*.f64 x y) (-.f64 1 y)))
  (pow.f64 (*.f64 (*.f64 x y) (-.f64 1 y)) 3)
  (pow.f64 (*.f64 (*.f64 x y) (-.f64 1 y)) 3)
  (pow.f64 (*.f64 (*.f64 x y) (-.f64 1 y)) 3)
  (sqrt.f64 (*.f64 (*.f64 x y) (-.f64 1 y)))
  (sqrt.f64 (*.f64 (*.f64 x y) (-.f64 1 y)))
  (*.f64 (*.f64 x y) (-.f64 1 (pow.f64 y 3)))
  (+.f64 1 (+.f64 y (*.f64 y y)))
  (*.f64 (sqrt.f64 (-.f64 1 (pow.f64 y 3))) (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 (*.f64 y y)))))
  (*.f64 (sqrt.f64 (+.f64 1 (+.f64 y (*.f64 y y)))) (sqrt.f64 (+.f64 y 1)))
  (*.f64 (sqrt.f64 (-.f64 1 (pow.f64 y 3))) (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 (*.f64 y y)))))
  (*.f64 (sqrt.f64 (+.f64 1 (+.f64 y (*.f64 y y)))) (sqrt.f64 (+.f64 y 1)))
  (*.f64 x (-.f64 y (pow.f64 y 3)))
  (+.f64 y 1)
  (*.f64 (sqrt.f64 (-.f64 1 y)) (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 (pow.f64 y 3)))))
  (*.f64 (sqrt.f64 (-.f64 1 y)) (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 (*.f64 y y)))))
  (*.f64 (sqrt.f64 (-.f64 1 y)) (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 (pow.f64 y 3)))))
  (*.f64 (sqrt.f64 (-.f64 1 y)) (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 (*.f64 y y)))))
  (-.f64 1 y)
  (*.f64 (sqrt.f64 (-.f64 1 y)) (*.f64 (*.f64 x y) (*.f64 (cbrt.f64 (sqrt.f64 (-.f64 1 y))) (cbrt.f64 (sqrt.f64 (-.f64 1 y))))))
  (*.f64 (sqrt.f64 (-.f64 1 y)) (*.f64 (*.f64 x y) (sqrt.f64 (sqrt.f64 (-.f64 1 y)))))
  (*.f64 (sqrt.f64 (-.f64 1 y)) (*.f64 (*.f64 x y) (fabs.f64 (cbrt.f64 (-.f64 1 y)))))
  (*.f64 (sqrt.f64 (-.f64 1 y)) (*.f64 (*.f64 x y) (sqrt.f64 (sqrt.f64 (-.f64 1 y)))))
  (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 y)))
  (*.f64 (sqrt.f64 (-.f64 1 y)) (*.f64 (*.f64 x y) (sqrt.f64 (+.f64 1 (sqrt.f64 y)))))
  (*.f64 (sqrt.f64 (-.f64 1 y)) (*.f64 (*.f64 x y) (sqrt.f64 (+.f64 1 (sqrt.f64 y)))))
  (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 y)))
  (*.f64 (*.f64 x y) (sqrt.f64 (-.f64 1 y)))
  (*.f64 x (-.f64 y (+.f64 (*.f64 (*.f64 y y) 1/2) (*.f64 (pow.f64 y 3) 1/8))))
  (-.f64 (*.f64 x (+.f64 (*.f64 2 (/.f64 (pow.f64 NAN.f64 5) y)) (*.f64 (+.f64 y 1) NAN.f64))) (*.f64 (pow.f64 NAN.f64 3) (+.f64 x (*.f64 x (/.f64 2 y)))))
  (-.f64 (+.f64 (*.f64 x (pow.f64 NAN.f64 3)) (*.f64 (*.f64 x (/.f64 2 y)) (-.f64 (pow.f64 NAN.f64 5) (pow.f64 NAN.f64 3)))) (*.f64 NAN.f64 (-.f64 x (*.f64 x y))))
  (*.f64 (*.f64 x y) (-.f64 1 y))
  (*.f64 (*.f64 x y) (-.f64 1 y))
  (*.f64 (*.f64 x y) (-.f64 1 y))
0.902 * * * [progress]: adding candidates to table
0.937 * [progress]: [Phase 3 of 3] Extracting.
0.937 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (*.f64 (*.f64 x (*.f64 y (sqrt.f64 (-.f64 1 y)))) (sqrt.f64 (-.f64 1 y))))> #<alt (λ (x y) (*.f64 x (/.f64 (-.f64 (*.f64 y y) (pow.f64 y 4)) (+.f64 y (*.f64 y y)))))> #<alt (λ (x y) (+.f64 (*.f64 x y) (*.f64 (*.f64 x y) (neg.f64 y))))> #<alt (λ (x y) (/.f64 (*.f64 x (-.f64 y (pow.f64 y 3))) (+.f64 1 y)))> #<alt (λ (x y) (*.f64 (*.f64 x (+.f64 y (pow.f64 y 3/2))) (-.f64 1 (sqrt.f64 y))))> #<alt (λ (x y) (*.f64 x (-.f64 y (*.f64 y y))))>)
0.938 * * * [regime-changes]: Trying 2 branch expressions: (y x)
0.938 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (*.f64 (*.f64 x (*.f64 y (sqrt.f64 (-.f64 1 y)))) (sqrt.f64 (-.f64 1 y))))> #<alt (λ (x y) (*.f64 x (/.f64 (-.f64 (*.f64 y y) (pow.f64 y 4)) (+.f64 y (*.f64 y y)))))> #<alt (λ (x y) (+.f64 (*.f64 x y) (*.f64 (*.f64 x y) (neg.f64 y))))> #<alt (λ (x y) (/.f64 (*.f64 x (-.f64 y (pow.f64 y 3))) (+.f64 1 y)))> #<alt (λ (x y) (*.f64 (*.f64 x (+.f64 y (pow.f64 y 3/2))) (-.f64 1 (sqrt.f64 y))))> #<alt (λ (x y) (*.f64 x (-.f64 y (*.f64 y y))))>)
0.951 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (*.f64 (*.f64 x (*.f64 y (sqrt.f64 (-.f64 1 y)))) (sqrt.f64 (-.f64 1 y))))> #<alt (λ (x y) (*.f64 x (/.f64 (-.f64 (*.f64 y y) (pow.f64 y 4)) (+.f64 y (*.f64 y y)))))> #<alt (λ (x y) (+.f64 (*.f64 x y) (*.f64 (*.f64 x y) (neg.f64 y))))> #<alt (λ (x y) (/.f64 (*.f64 x (-.f64 y (pow.f64 y 3))) (+.f64 1 y)))> #<alt (λ (x y) (*.f64 (*.f64 x (+.f64 y (pow.f64 y 3/2))) (-.f64 1 (sqrt.f64 y))))> #<alt (λ (x y) (*.f64 x (-.f64 y (*.f64 y y))))>)
0.962 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
0.962 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+.f64 (*.f64 x y) (*.f64 (*.f64 x y) (neg.f64 y)))
0.965 * * [simplify]: iteration  0 :  44  enodes  (cost  13 )
0.965 * * [simplify]: iteration  1 :  44  enodes  (cost  13 )
0.966 * [simplify]: Simplified to:
   (-.f64 (*.f64 x y) (*.f64 y (*.f64 x y)))
1.385 * [regime-testing]: End program error score: 0.09667732567757062