18.078 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.073 * * * [progress]: [2/2] Setting up program.
0.080 * [progress]: [Phase 2 of 3] Improving.
0.080 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 x (-.f64 1 (*.f64 x y)))
0.101 * * [simplify]: iteration  0 :  184  enodes  (cost  10 )
0.102 * * [simplify]: iteration  1 :  184  enodes  (cost  10 )
0.102 * [simplify]: Simplified to:
   (*.f64 x (-.f64 1 (*.f64 x y)))
0.102 * * [progress]: iteration 1 / 4
0.102 * * * [progress]: picking best candidate
0.109 * * * * [pick]: Picked  #<alt (λ (x y) (*.f64 x (-.f64 1 (*.f64 x y))))>
0.109 * * * [progress]: localizing error
0.120 * * * [progress]: generating rewritten candidates
0.120 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.127 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
0.131 * * * [progress]: generating series expansions
0.131 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.131 * [approximate]: Taking taylor expansion of (* x (- 1 (* x y))) in (x y) around 0
0.131 * [taylor]: Taking taylor expansion of (* x (- 1 (* x y))) in y
0.131 * [taylor]: Taking taylor expansion of x in y
0.131 * [taylor]: Taking taylor expansion of (- 1 (* x y)) in y
0.131 * [taylor]: Taking taylor expansion of 1 in y
0.131 * [taylor]: Taking taylor expansion of (* x y) in y
0.131 * [taylor]: Taking taylor expansion of x in y
0.131 * [taylor]: Taking taylor expansion of y in y
0.131 * [taylor]: Taking taylor expansion of (* x (- 1 (* x y))) in x
0.131 * [taylor]: Taking taylor expansion of x in x
0.131 * [taylor]: Taking taylor expansion of (- 1 (* x y)) in x
0.131 * [taylor]: Taking taylor expansion of 1 in x
0.131 * [taylor]: Taking taylor expansion of (* x y) in x
0.131 * [taylor]: Taking taylor expansion of x in x
0.131 * [taylor]: Taking taylor expansion of y in x
0.131 * [taylor]: Taking taylor expansion of (* x (- 1 (* x y))) in x
0.131 * [taylor]: Taking taylor expansion of x in x
0.131 * [taylor]: Taking taylor expansion of (- 1 (* x y)) in x
0.132 * [taylor]: Taking taylor expansion of 1 in x
0.132 * [taylor]: Taking taylor expansion of (* x y) in x
0.132 * [taylor]: Taking taylor expansion of x in x
0.132 * [taylor]: Taking taylor expansion of y in x
0.132 * [taylor]: Taking taylor expansion of 0 in y
0.133 * [taylor]: Taking taylor expansion of 1 in y
0.133 * [taylor]: Taking taylor expansion of (neg y) in y
0.133 * [taylor]: Taking taylor expansion of y in y
0.134 * [taylor]: Taking taylor expansion of 0 in y
0.136 * [taylor]: Taking taylor expansion of 0 in y
0.137 * [approximate]: Taking taylor expansion of (/ (- 1 (/ 1 (* x y))) x) in (x y) around 0
0.137 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 (* x y))) x) in y
0.137 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (* x y))) in y
0.137 * [taylor]: Taking taylor expansion of 1 in y
0.137 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.137 * [taylor]: Taking taylor expansion of (* x y) in y
0.137 * [taylor]: Taking taylor expansion of x in y
0.137 * [taylor]: Taking taylor expansion of y in y
0.137 * [taylor]: Taking taylor expansion of x in y
0.138 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 (* x y))) x) in x
0.138 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (* x y))) in x
0.138 * [taylor]: Taking taylor expansion of 1 in x
0.138 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.138 * [taylor]: Taking taylor expansion of (* x y) in x
0.138 * [taylor]: Taking taylor expansion of x in x
0.138 * [taylor]: Taking taylor expansion of y in x
0.138 * [taylor]: Taking taylor expansion of x in x
0.138 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 (* x y))) x) in x
0.138 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (* x y))) in x
0.138 * [taylor]: Taking taylor expansion of 1 in x
0.138 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.139 * [taylor]: Taking taylor expansion of (* x y) in x
0.139 * [taylor]: Taking taylor expansion of x in x
0.139 * [taylor]: Taking taylor expansion of y in x
0.139 * [taylor]: Taking taylor expansion of x in x
0.139 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.139 * [taylor]: Taking taylor expansion of -1 in y
0.139 * [taylor]: Taking taylor expansion of y in y
0.141 * [taylor]: Taking taylor expansion of 1 in y
0.142 * [taylor]: Taking taylor expansion of 0 in y
0.144 * [taylor]: Taking taylor expansion of 0 in y
0.146 * [taylor]: Taking taylor expansion of 0 in y
0.148 * [approximate]: Taking taylor expansion of (* -1 (/ (- 1 (/ 1 (* x y))) x)) in (x y) around 0
0.148 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1 (/ 1 (* x y))) x)) in y
0.148 * [taylor]: Taking taylor expansion of -1 in y
0.148 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 (* x y))) x) in y
0.148 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (* x y))) in y
0.148 * [taylor]: Taking taylor expansion of 1 in y
0.148 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.148 * [taylor]: Taking taylor expansion of (* x y) in y
0.148 * [taylor]: Taking taylor expansion of x in y
0.148 * [taylor]: Taking taylor expansion of y in y
0.148 * [taylor]: Taking taylor expansion of x in y
0.149 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1 (/ 1 (* x y))) x)) in x
0.149 * [taylor]: Taking taylor expansion of -1 in x
0.149 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 (* x y))) x) in x
0.149 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (* x y))) in x
0.149 * [taylor]: Taking taylor expansion of 1 in x
0.149 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.149 * [taylor]: Taking taylor expansion of (* x y) in x
0.149 * [taylor]: Taking taylor expansion of x in x
0.149 * [taylor]: Taking taylor expansion of y in x
0.149 * [taylor]: Taking taylor expansion of x in x
0.149 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1 (/ 1 (* x y))) x)) in x
0.149 * [taylor]: Taking taylor expansion of -1 in x
0.149 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 (* x y))) x) in x
0.149 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (* x y))) in x
0.149 * [taylor]: Taking taylor expansion of 1 in x
0.149 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.149 * [taylor]: Taking taylor expansion of (* x y) in x
0.149 * [taylor]: Taking taylor expansion of x in x
0.149 * [taylor]: Taking taylor expansion of y in x
0.150 * [taylor]: Taking taylor expansion of x in x
0.150 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.150 * [taylor]: Taking taylor expansion of y in y
0.152 * [taylor]: Taking taylor expansion of -1 in y
0.153 * [taylor]: Taking taylor expansion of 0 in y
0.155 * [taylor]: Taking taylor expansion of 0 in y
0.158 * [taylor]: Taking taylor expansion of 0 in y
0.159 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
0.159 * [approximate]: Taking taylor expansion of (- 1 (* x y)) in (x y) around 0
0.159 * [taylor]: Taking taylor expansion of (- 1 (* x y)) in y
0.159 * [taylor]: Taking taylor expansion of 1 in y
0.159 * [taylor]: Taking taylor expansion of (* x y) in y
0.159 * [taylor]: Taking taylor expansion of x in y
0.159 * [taylor]: Taking taylor expansion of y in y
0.159 * [taylor]: Taking taylor expansion of (- 1 (* x y)) in x
0.159 * [taylor]: Taking taylor expansion of 1 in x
0.159 * [taylor]: Taking taylor expansion of (* x y) in x
0.159 * [taylor]: Taking taylor expansion of x in x
0.159 * [taylor]: Taking taylor expansion of y in x
0.159 * [taylor]: Taking taylor expansion of (- 1 (* x y)) in x
0.159 * [taylor]: Taking taylor expansion of 1 in x
0.159 * [taylor]: Taking taylor expansion of (* x y) in x
0.159 * [taylor]: Taking taylor expansion of x in x
0.159 * [taylor]: Taking taylor expansion of y in x
0.160 * [taylor]: Taking taylor expansion of 1 in y
0.160 * [taylor]: Taking taylor expansion of (neg y) in y
0.160 * [taylor]: Taking taylor expansion of y in y
0.161 * [taylor]: Taking taylor expansion of 0 in y
0.161 * [taylor]: Taking taylor expansion of 0 in y
0.162 * [taylor]: Taking taylor expansion of 0 in y
0.162 * [approximate]: Taking taylor expansion of (- 1 (/ 1 (* x y))) in (x y) around 0
0.162 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (* x y))) in y
0.162 * [taylor]: Taking taylor expansion of 1 in y
0.162 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.162 * [taylor]: Taking taylor expansion of (* x y) in y
0.162 * [taylor]: Taking taylor expansion of x in y
0.162 * [taylor]: Taking taylor expansion of y in y
0.163 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (* x y))) in x
0.163 * [taylor]: Taking taylor expansion of 1 in x
0.163 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.163 * [taylor]: Taking taylor expansion of (* x y) in x
0.163 * [taylor]: Taking taylor expansion of x in x
0.163 * [taylor]: Taking taylor expansion of y in x
0.163 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (* x y))) in x
0.163 * [taylor]: Taking taylor expansion of 1 in x
0.163 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.163 * [taylor]: Taking taylor expansion of (* x y) in x
0.163 * [taylor]: Taking taylor expansion of x in x
0.163 * [taylor]: Taking taylor expansion of y in x
0.164 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y
0.164 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.164 * [taylor]: Taking taylor expansion of y in y
0.164 * [taylor]: Taking taylor expansion of 1 in y
0.166 * [taylor]: Taking taylor expansion of 0 in y
0.167 * [taylor]: Taking taylor expansion of 0 in y
0.169 * [taylor]: Taking taylor expansion of 0 in y
0.170 * [approximate]: Taking taylor expansion of (- 1 (/ 1 (* x y))) in (x y) around 0
0.170 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (* x y))) in y
0.170 * [taylor]: Taking taylor expansion of 1 in y
0.170 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.170 * [taylor]: Taking taylor expansion of (* x y) in y
0.170 * [taylor]: Taking taylor expansion of x in y
0.170 * [taylor]: Taking taylor expansion of y in y
0.170 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (* x y))) in x
0.170 * [taylor]: Taking taylor expansion of 1 in x
0.170 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.170 * [taylor]: Taking taylor expansion of (* x y) in x
0.170 * [taylor]: Taking taylor expansion of x in x
0.170 * [taylor]: Taking taylor expansion of y in x
0.170 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (* x y))) in x
0.170 * [taylor]: Taking taylor expansion of 1 in x
0.170 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.170 * [taylor]: Taking taylor expansion of (* x y) in x
0.170 * [taylor]: Taking taylor expansion of x in x
0.170 * [taylor]: Taking taylor expansion of y in x
0.171 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y
0.171 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.171 * [taylor]: Taking taylor expansion of y in y
0.172 * [taylor]: Taking taylor expansion of 1 in y
0.173 * [taylor]: Taking taylor expansion of 0 in y
0.174 * [taylor]: Taking taylor expansion of 0 in y
0.176 * [taylor]: Taking taylor expansion of 0 in y
0.176 * * * [progress]: simplifying candidates
0.177 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 x (-.f64 (*.f64 1 1) (*.f64 (*.f64 x y) (*.f64 x y))))
  (*.f64 x (-.f64 (pow.f64 1 3) (pow.f64 (*.f64 x y) 3)))
  (*.f64 x (-.f64 1 (*.f64 x y)))
  (*.f64 (sqrt.f64 x) (-.f64 1 (*.f64 x y)))
  (*.f64 (cbrt.f64 x) (-.f64 1 (*.f64 x y)))
  (*.f64 x 1)
  (*.f64 x (sqrt.f64 (-.f64 1 (*.f64 x y))))
  (*.f64 x (*.f64 (cbrt.f64 (-.f64 1 (*.f64 x y))) (cbrt.f64 (-.f64 1 (*.f64 x y)))))
  (*.f64 1 x)
  (*.f64 (neg.f64 (*.f64 x y)) x)
  (*.f64 x 1)
  (*.f64 x (neg.f64 (*.f64 x y)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (-.f64 1 (*.f64 x y))))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (-.f64 1 (*.f64 x y))))
  (sqrt.f64 (*.f64 x (-.f64 1 (*.f64 x y))))
  (sqrt.f64 (*.f64 x (-.f64 1 (*.f64 x y))))
  (*.f64 (*.f64 (*.f64 x (-.f64 1 (*.f64 x y))) (*.f64 x (-.f64 1 (*.f64 x y)))) (*.f64 x (-.f64 1 (*.f64 x y))))
  (*.f64 (cbrt.f64 (*.f64 x (-.f64 1 (*.f64 x y)))) (cbrt.f64 (*.f64 x (-.f64 1 (*.f64 x y)))))
  (cbrt.f64 (*.f64 x (-.f64 1 (*.f64 x y))))
  (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 (-.f64 1 (*.f64 x y)) (-.f64 1 (*.f64 x y))) (-.f64 1 (*.f64 x y))))
  (exp.f64 (*.f64 x (-.f64 1 (*.f64 x y))))
  (log.f64 (*.f64 x (-.f64 1 (*.f64 x y))))
  (+.f64 (log.f64 x) (log.f64 (-.f64 1 (*.f64 x y))))
  (*.f64 x (-.f64 1 (*.f64 x y)))
  (-.f64 (*.f64 1 1) (*.f64 (*.f64 x y) (*.f64 x y)))
  (+.f64 1 (*.f64 x y))
  (neg.f64 (*.f64 x y))
  (-.f64 (pow.f64 1 3) (pow.f64 (*.f64 x y) 3))
  (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 1 (*.f64 x y))))
  (sqrt.f64 (-.f64 1 (*.f64 x y)))
  (sqrt.f64 (-.f64 1 (*.f64 x y)))
  (*.f64 (*.f64 (-.f64 1 (*.f64 x y)) (-.f64 1 (*.f64 x y))) (-.f64 1 (*.f64 x y)))
  (*.f64 (cbrt.f64 (-.f64 1 (*.f64 x y))) (cbrt.f64 (-.f64 1 (*.f64 x y))))
  (cbrt.f64 (-.f64 1 (*.f64 x y)))
  (exp.f64 (-.f64 1 (*.f64 x y)))
  (log.f64 (-.f64 1 (*.f64 x y)))
  (/.f64 (exp.f64 1) (exp.f64 (*.f64 x y)))
  (-.f64 x (*.f64 (pow.f64 x 2) y))
  (-.f64 x (*.f64 (pow.f64 x 2) y))
  (-.f64 x (*.f64 (pow.f64 x 2) y))
  (-.f64 1 (*.f64 x y))
  (-.f64 1 (*.f64 x y))
  (-.f64 1 (*.f64 x y))
0.230 * * [simplify]: iteration  0 :  5230  enodes  (cost  465 )
0.233 * [simplify]: Simplified to:
   (-.f64 x (*.f64 (pow.f64 x 3) (*.f64 y y)))
  (*.f64 x (-.f64 1 (pow.f64 (*.f64 x y) 3)))
  (*.f64 x (-.f64 1 (*.f64 x y)))
  (*.f64 (-.f64 1 (*.f64 x y)) (sqrt.f64 x))
  (*.f64 (-.f64 1 (*.f64 x y)) (cbrt.f64 x))
  x
  (*.f64 x (sqrt.f64 (-.f64 1 (*.f64 x y))))
  (*.f64 x (*.f64 (cbrt.f64 (-.f64 1 (*.f64 x y))) (cbrt.f64 (-.f64 1 (*.f64 x y)))))
  x
  (*.f64 x (neg.f64 (*.f64 x y)))
  x
  (*.f64 x (neg.f64 (*.f64 x y)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (-.f64 1 (*.f64 x y))))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (-.f64 1 (*.f64 x y))))
  (sqrt.f64 (*.f64 x (-.f64 1 (*.f64 x y))))
  (sqrt.f64 (*.f64 x (-.f64 1 (*.f64 x y))))
  (pow.f64 (*.f64 x (-.f64 1 (*.f64 x y))) 3)
  (*.f64 (cbrt.f64 (*.f64 x (-.f64 1 (*.f64 x y)))) (cbrt.f64 (*.f64 x (-.f64 1 (*.f64 x y)))))
  (cbrt.f64 (*.f64 x (-.f64 1 (*.f64 x y))))
  (pow.f64 (*.f64 x (-.f64 1 (*.f64 x y))) 3)
  (exp.f64 (*.f64 x (-.f64 1 (*.f64 x y))))
  (log.f64 (*.f64 x (-.f64 1 (*.f64 x y))))
  (log.f64 (*.f64 x (-.f64 1 (*.f64 x y))))
  (*.f64 x (-.f64 1 (*.f64 x y)))
  (-.f64 1 (*.f64 (*.f64 x y) (*.f64 x y)))
  (+.f64 1 (*.f64 x y))
  (neg.f64 (*.f64 x y))
  (-.f64 1 (pow.f64 (*.f64 x y) 3))
  (+.f64 1 (*.f64 (*.f64 x y) (+.f64 1 (*.f64 x y))))
  (sqrt.f64 (-.f64 1 (*.f64 x y)))
  (sqrt.f64 (-.f64 1 (*.f64 x y)))
  (pow.f64 (-.f64 1 (*.f64 x y)) 3)
  (*.f64 (cbrt.f64 (-.f64 1 (*.f64 x y))) (cbrt.f64 (-.f64 1 (*.f64 x y))))
  (cbrt.f64 (-.f64 1 (*.f64 x y)))
  (exp.f64 (-.f64 1 (*.f64 x y)))
  (log.f64 (-.f64 1 (*.f64 x y)))
  (exp.f64 (-.f64 1 (*.f64 x y)))
  (*.f64 x (-.f64 1 (*.f64 x y)))
  (*.f64 x (-.f64 1 (*.f64 x y)))
  (*.f64 x (-.f64 1 (*.f64 x y)))
  (-.f64 1 (*.f64 x y))
  (-.f64 1 (*.f64 x y))
  (-.f64 1 (*.f64 x y))
0.233 * * * [progress]: adding candidates to table
0.363 * * [progress]: iteration 2 / 4
0.363 * * * [progress]: picking best candidate
0.420 * * * * [pick]: Picked  #<alt (λ (x y) (+.f64 x (*.f64 x (neg.f64 (*.f64 x y)))))>
0.420 * * * [progress]: localizing error
0.429 * * * [progress]: generating rewritten candidates
0.429 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.434 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.437 * * * [progress]: generating series expansions
0.437 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.438 * [approximate]: Taking taylor expansion of (* -1 (* (pow x 2) y)) in (x y) around 0
0.438 * [taylor]: Taking taylor expansion of (* -1 (* (pow x 2) y)) in y
0.438 * [taylor]: Taking taylor expansion of -1 in y
0.438 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y
0.438 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.438 * [taylor]: Taking taylor expansion of x in y
0.438 * [taylor]: Taking taylor expansion of y in y
0.438 * [taylor]: Taking taylor expansion of (* -1 (* (pow x 2) y)) in x
0.438 * [taylor]: Taking taylor expansion of -1 in x
0.438 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x
0.438 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.438 * [taylor]: Taking taylor expansion of x in x
0.438 * [taylor]: Taking taylor expansion of y in x
0.438 * [taylor]: Taking taylor expansion of (* -1 (* (pow x 2) y)) in x
0.438 * [taylor]: Taking taylor expansion of -1 in x
0.438 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x
0.438 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.438 * [taylor]: Taking taylor expansion of x in x
0.438 * [taylor]: Taking taylor expansion of y in x
0.438 * [taylor]: Taking taylor expansion of (* -1 y) in y
0.438 * [taylor]: Taking taylor expansion of -1 in y
0.438 * [taylor]: Taking taylor expansion of y in y
0.439 * [taylor]: Taking taylor expansion of 0 in y
0.440 * [taylor]: Taking taylor expansion of 0 in y
0.441 * [taylor]: Taking taylor expansion of 0 in y
0.442 * [approximate]: Taking taylor expansion of (/ -1 (* (pow x 2) y)) in (x y) around 0
0.442 * [taylor]: Taking taylor expansion of (/ -1 (* (pow x 2) y)) in y
0.442 * [taylor]: Taking taylor expansion of -1 in y
0.442 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y
0.442 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.442 * [taylor]: Taking taylor expansion of x in y
0.442 * [taylor]: Taking taylor expansion of y in y
0.443 * [taylor]: Taking taylor expansion of (/ -1 (* (pow x 2) y)) in x
0.443 * [taylor]: Taking taylor expansion of -1 in x
0.443 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x
0.443 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.443 * [taylor]: Taking taylor expansion of x in x
0.443 * [taylor]: Taking taylor expansion of y in x
0.443 * [taylor]: Taking taylor expansion of (/ -1 (* (pow x 2) y)) in x
0.443 * [taylor]: Taking taylor expansion of -1 in x
0.443 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x
0.443 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.443 * [taylor]: Taking taylor expansion of x in x
0.443 * [taylor]: Taking taylor expansion of y in x
0.443 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.443 * [taylor]: Taking taylor expansion of -1 in y
0.443 * [taylor]: Taking taylor expansion of y in y
0.444 * [taylor]: Taking taylor expansion of 0 in y
0.445 * [taylor]: Taking taylor expansion of 0 in y
0.447 * [taylor]: Taking taylor expansion of 0 in y
0.448 * [approximate]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in (x y) around 0
0.448 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in y
0.448 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y
0.448 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.448 * [taylor]: Taking taylor expansion of x in y
0.448 * [taylor]: Taking taylor expansion of y in y
0.449 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in x
0.449 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x
0.449 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.449 * [taylor]: Taking taylor expansion of x in x
0.449 * [taylor]: Taking taylor expansion of y in x
0.449 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in x
0.449 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x
0.449 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.449 * [taylor]: Taking taylor expansion of x in x
0.449 * [taylor]: Taking taylor expansion of y in x
0.450 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.450 * [taylor]: Taking taylor expansion of y in y
0.450 * [taylor]: Taking taylor expansion of 0 in y
0.452 * [taylor]: Taking taylor expansion of 0 in y
0.453 * [taylor]: Taking taylor expansion of 0 in y
0.454 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.454 * [approximate]: Taking taylor expansion of (- x (* (pow x 2) y)) in (x y) around 0
0.454 * [taylor]: Taking taylor expansion of (- x (* (pow x 2) y)) in y
0.454 * [taylor]: Taking taylor expansion of x in y
0.454 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y
0.454 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.454 * [taylor]: Taking taylor expansion of x in y
0.454 * [taylor]: Taking taylor expansion of y in y
0.454 * [taylor]: Taking taylor expansion of (- x (* (pow x 2) y)) in x
0.454 * [taylor]: Taking taylor expansion of x in x
0.454 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x
0.454 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.454 * [taylor]: Taking taylor expansion of x in x
0.454 * [taylor]: Taking taylor expansion of y in x
0.454 * [taylor]: Taking taylor expansion of (- x (* (pow x 2) y)) in x
0.455 * [taylor]: Taking taylor expansion of x in x
0.455 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x
0.455 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.455 * [taylor]: Taking taylor expansion of x in x
0.455 * [taylor]: Taking taylor expansion of y in x
0.455 * [taylor]: Taking taylor expansion of 0 in y
0.455 * [taylor]: Taking taylor expansion of 1 in y
0.455 * [taylor]: Taking taylor expansion of (neg y) in y
0.455 * [taylor]: Taking taylor expansion of y in y
0.456 * [taylor]: Taking taylor expansion of 0 in y
0.456 * [taylor]: Taking taylor expansion of 0 in y
0.457 * [approximate]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* (pow x 2) y))) in (x y) around 0
0.457 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* (pow x 2) y))) in y
0.457 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.457 * [taylor]: Taking taylor expansion of x in y
0.458 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in y
0.458 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y
0.458 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.458 * [taylor]: Taking taylor expansion of x in y
0.458 * [taylor]: Taking taylor expansion of y in y
0.458 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* (pow x 2) y))) in x
0.458 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.458 * [taylor]: Taking taylor expansion of x in x
0.458 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in x
0.458 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x
0.458 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.458 * [taylor]: Taking taylor expansion of x in x
0.458 * [taylor]: Taking taylor expansion of y in x
0.459 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* (pow x 2) y))) in x
0.459 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.459 * [taylor]: Taking taylor expansion of x in x
0.459 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in x
0.459 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x
0.459 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.459 * [taylor]: Taking taylor expansion of x in x
0.459 * [taylor]: Taking taylor expansion of y in x
0.459 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y
0.459 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.459 * [taylor]: Taking taylor expansion of y in y
0.460 * [taylor]: Taking taylor expansion of 1 in y
0.462 * [taylor]: Taking taylor expansion of 0 in y
0.464 * [taylor]: Taking taylor expansion of 0 in y
0.466 * [taylor]: Taking taylor expansion of 0 in y
0.467 * [approximate]: Taking taylor expansion of (- (/ 1 (* (pow x 2) y)) (/ 1 x)) in (x y) around 0
0.467 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow x 2) y)) (/ 1 x)) in y
0.467 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in y
0.467 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y
0.467 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.467 * [taylor]: Taking taylor expansion of x in y
0.467 * [taylor]: Taking taylor expansion of y in y
0.468 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.468 * [taylor]: Taking taylor expansion of x in y
0.468 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow x 2) y)) (/ 1 x)) in x
0.468 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in x
0.468 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x
0.468 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.468 * [taylor]: Taking taylor expansion of x in x
0.468 * [taylor]: Taking taylor expansion of y in x
0.469 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.469 * [taylor]: Taking taylor expansion of x in x
0.469 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow x 2) y)) (/ 1 x)) in x
0.469 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in x
0.469 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x
0.469 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.469 * [taylor]: Taking taylor expansion of x in x
0.469 * [taylor]: Taking taylor expansion of y in x
0.469 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.469 * [taylor]: Taking taylor expansion of x in x
0.469 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.469 * [taylor]: Taking taylor expansion of y in y
0.470 * [taylor]: Taking taylor expansion of -1 in y
0.471 * [taylor]: Taking taylor expansion of 0 in y
0.473 * [taylor]: Taking taylor expansion of 0 in y
0.476 * [taylor]: Taking taylor expansion of 0 in y
0.477 * * * [progress]: simplifying candidates
0.477 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 x (neg.f64 (*.f64 x y)))
  (*.f64 (sqrt.f64 x) (neg.f64 (*.f64 x y)))
  (*.f64 (cbrt.f64 x) (neg.f64 (*.f64 x y)))
  (*.f64 x x)
  (*.f64 x (neg.f64 x))
  (*.f64 x -1)
  (*.f64 x 1)
  (*.f64 x (sqrt.f64 (neg.f64 (*.f64 x y))))
  (*.f64 x (*.f64 (cbrt.f64 (neg.f64 (*.f64 x y))) (cbrt.f64 (neg.f64 (*.f64 x y)))))
  (*.f64 x (*.f64 x y))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (neg.f64 (*.f64 x y))))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (neg.f64 (*.f64 x y))))
  (sqrt.f64 (*.f64 x (neg.f64 (*.f64 x y))))
  (sqrt.f64 (*.f64 x (neg.f64 (*.f64 x y))))
  (*.f64 (*.f64 (*.f64 x (neg.f64 (*.f64 x y))) (*.f64 x (neg.f64 (*.f64 x y)))) (*.f64 x (neg.f64 (*.f64 x y))))
  (*.f64 (cbrt.f64 (*.f64 x (neg.f64 (*.f64 x y)))) (cbrt.f64 (*.f64 x (neg.f64 (*.f64 x y)))))
  (cbrt.f64 (*.f64 x (neg.f64 (*.f64 x y))))
  (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 (neg.f64 (*.f64 x y)) (neg.f64 (*.f64 x y))) (neg.f64 (*.f64 x y))))
  (exp.f64 (*.f64 x (neg.f64 (*.f64 x y))))
  (log.f64 (*.f64 x (neg.f64 (*.f64 x y))))
  (+.f64 (log.f64 x) (log.f64 (neg.f64 (*.f64 x y))))
  (*.f64 x (neg.f64 (*.f64 x y)))
  (-.f64 (*.f64 x x) (*.f64 (*.f64 x (neg.f64 (*.f64 x y))) (*.f64 x (neg.f64 (*.f64 x y)))))
  (-.f64 x (*.f64 x (neg.f64 (*.f64 x y))))
  (+.f64 (pow.f64 x 3) (pow.f64 (*.f64 x (neg.f64 (*.f64 x y))) 3))
  (+.f64 (*.f64 x x) (-.f64 (*.f64 (*.f64 x (neg.f64 (*.f64 x y))) (*.f64 x (neg.f64 (*.f64 x y)))) (*.f64 x (*.f64 x (neg.f64 (*.f64 x y))))))
  (sqrt.f64 (+.f64 x (*.f64 x (neg.f64 (*.f64 x y)))))
  (sqrt.f64 (+.f64 x (*.f64 x (neg.f64 (*.f64 x y)))))
  (*.f64 (*.f64 (+.f64 x (*.f64 x (neg.f64 (*.f64 x y)))) (+.f64 x (*.f64 x (neg.f64 (*.f64 x y))))) (+.f64 x (*.f64 x (neg.f64 (*.f64 x y)))))
  (*.f64 (cbrt.f64 (+.f64 x (*.f64 x (neg.f64 (*.f64 x y))))) (cbrt.f64 (+.f64 x (*.f64 x (neg.f64 (*.f64 x y))))))
  (cbrt.f64 (+.f64 x (*.f64 x (neg.f64 (*.f64 x y)))))
  (exp.f64 (+.f64 x (*.f64 x (neg.f64 (*.f64 x y)))))
  (log.f64 (+.f64 x (*.f64 x (neg.f64 (*.f64 x y)))))
  (*.f64 (exp.f64 x) (exp.f64 (*.f64 x (neg.f64 (*.f64 x y)))))
  (*.f64 -1 (*.f64 (pow.f64 x 2) y))
  (*.f64 -1 (*.f64 (pow.f64 x 2) y))
  (*.f64 -1 (*.f64 (pow.f64 x 2) y))
  (-.f64 x (*.f64 (pow.f64 x 2) y))
  (-.f64 x (*.f64 (pow.f64 x 2) y))
  (-.f64 x (*.f64 (pow.f64 x 2) y))
0.547 * * [simplify]: iteration  0 :  4960  enodes  (cost  467 )
0.547 * * [simplify]: iteration  1 :  4960  enodes  (cost  467 )
0.550 * [simplify]: Simplified to:
   (*.f64 x (neg.f64 (*.f64 x y)))
  (*.f64 (neg.f64 (*.f64 x y)) (sqrt.f64 x))
  (*.f64 (neg.f64 (*.f64 x y)) (cbrt.f64 x))
  (*.f64 x x)
  (*.f64 x (neg.f64 x))
  (neg.f64 x)
  x
  (*.f64 x (sqrt.f64 (neg.f64 (*.f64 x y))))
  (*.f64 x (*.f64 (cbrt.f64 (neg.f64 (*.f64 x y))) (cbrt.f64 (neg.f64 (*.f64 x y)))))
  (*.f64 x (*.f64 x y))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (neg.f64 (*.f64 x y))))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (neg.f64 (*.f64 x y))))
  (sqrt.f64 (*.f64 x (neg.f64 (*.f64 x y))))
  (sqrt.f64 (*.f64 x (neg.f64 (*.f64 x y))))
  (pow.f64 (*.f64 x (neg.f64 (*.f64 x y))) 3)
  (*.f64 (cbrt.f64 (*.f64 x (neg.f64 (*.f64 x y)))) (cbrt.f64 (*.f64 x (neg.f64 (*.f64 x y)))))
  (cbrt.f64 (*.f64 x (neg.f64 (*.f64 x y))))
  (pow.f64 (*.f64 x (neg.f64 (*.f64 x y))) 3)
  (exp.f64 (*.f64 x (neg.f64 (*.f64 x y))))
  (log.f64 (*.f64 x (neg.f64 (*.f64 x y))))
  (log.f64 (*.f64 x (neg.f64 (*.f64 x y))))
  (*.f64 x (neg.f64 (*.f64 x y)))
  (*.f64 x (+.f64 x (*.f64 (*.f64 y (pow.f64 (neg.f64 x) 3)) y)))
  (+.f64 x (*.f64 x (*.f64 x y)))
  (-.f64 (pow.f64 x 3) (pow.f64 (*.f64 x (*.f64 x y)) 3))
  (*.f64 x (+.f64 x (*.f64 (*.f64 x y) (+.f64 x (*.f64 x (*.f64 x y))))))
  (sqrt.f64 (-.f64 x (*.f64 x (*.f64 x y))))
  (sqrt.f64 (-.f64 x (*.f64 x (*.f64 x y))))
  (pow.f64 (-.f64 x (*.f64 x (*.f64 x y))) 3)
  (*.f64 (cbrt.f64 (-.f64 x (*.f64 x (*.f64 x y)))) (cbrt.f64 (-.f64 x (*.f64 x (*.f64 x y)))))
  (cbrt.f64 (-.f64 x (*.f64 x (*.f64 x y))))
  (exp.f64 (-.f64 x (*.f64 x (*.f64 x y))))
  (log.f64 (-.f64 x (*.f64 x (*.f64 x y))))
  (exp.f64 (-.f64 x (*.f64 x (*.f64 x y))))
  (*.f64 x (neg.f64 (*.f64 x y)))
  (*.f64 x (neg.f64 (*.f64 x y)))
  (*.f64 x (neg.f64 (*.f64 x y)))
  (-.f64 x (*.f64 x (*.f64 x y)))
  (-.f64 x (*.f64 x (*.f64 x y)))
  (-.f64 x (*.f64 x (*.f64 x y)))
0.550 * * * [progress]: adding candidates to table
0.685 * * [progress]: iteration 3 / 4
0.685 * * * [progress]: picking best candidate
0.720 * * * * [pick]: Picked  #<alt (λ (x y) (+.f64 x (*.f64 (*.f64 x x) (neg.f64 y))))>
0.720 * * * [progress]: localizing error
0.736 * * * [progress]: generating rewritten candidates
0.736 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.744 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.749 * * * [progress]: generating series expansions
0.749 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.749 * [approximate]: Taking taylor expansion of (* -1 (* (pow x 2) y)) in (x y) around 0
0.749 * [taylor]: Taking taylor expansion of (* -1 (* (pow x 2) y)) in y
0.749 * [taylor]: Taking taylor expansion of -1 in y
0.749 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y
0.749 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.749 * [taylor]: Taking taylor expansion of x in y
0.749 * [taylor]: Taking taylor expansion of y in y
0.750 * [taylor]: Taking taylor expansion of (* -1 (* (pow x 2) y)) in x
0.750 * [taylor]: Taking taylor expansion of -1 in x
0.750 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x
0.750 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.750 * [taylor]: Taking taylor expansion of x in x
0.750 * [taylor]: Taking taylor expansion of y in x
0.750 * [taylor]: Taking taylor expansion of (* -1 (* (pow x 2) y)) in x
0.750 * [taylor]: Taking taylor expansion of -1 in x
0.750 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x
0.750 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.750 * [taylor]: Taking taylor expansion of x in x
0.750 * [taylor]: Taking taylor expansion of y in x
0.750 * [taylor]: Taking taylor expansion of (* -1 y) in y
0.750 * [taylor]: Taking taylor expansion of -1 in y
0.750 * [taylor]: Taking taylor expansion of y in y
0.751 * [taylor]: Taking taylor expansion of 0 in y
0.752 * [taylor]: Taking taylor expansion of 0 in y
0.753 * [taylor]: Taking taylor expansion of 0 in y
0.754 * [approximate]: Taking taylor expansion of (/ -1 (* (pow x 2) y)) in (x y) around 0
0.754 * [taylor]: Taking taylor expansion of (/ -1 (* (pow x 2) y)) in y
0.754 * [taylor]: Taking taylor expansion of -1 in y
0.754 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y
0.754 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.754 * [taylor]: Taking taylor expansion of x in y
0.754 * [taylor]: Taking taylor expansion of y in y
0.755 * [taylor]: Taking taylor expansion of (/ -1 (* (pow x 2) y)) in x
0.755 * [taylor]: Taking taylor expansion of -1 in x
0.755 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x
0.755 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.755 * [taylor]: Taking taylor expansion of x in x
0.755 * [taylor]: Taking taylor expansion of y in x
0.755 * [taylor]: Taking taylor expansion of (/ -1 (* (pow x 2) y)) in x
0.755 * [taylor]: Taking taylor expansion of -1 in x
0.755 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x
0.755 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.755 * [taylor]: Taking taylor expansion of x in x
0.755 * [taylor]: Taking taylor expansion of y in x
0.756 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.756 * [taylor]: Taking taylor expansion of -1 in y
0.756 * [taylor]: Taking taylor expansion of y in y
0.756 * [taylor]: Taking taylor expansion of 0 in y
0.758 * [taylor]: Taking taylor expansion of 0 in y
0.760 * [taylor]: Taking taylor expansion of 0 in y
0.761 * [approximate]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in (x y) around 0
0.761 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in y
0.761 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y
0.761 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.761 * [taylor]: Taking taylor expansion of x in y
0.761 * [taylor]: Taking taylor expansion of y in y
0.762 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in x
0.762 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x
0.762 * [taylor]: Taking taylor expansion of (pow x 2) 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 (/ 1 (* (pow x 2) y)) in x
0.762 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x
0.762 * [taylor]: Taking taylor expansion of (pow x 2) 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 (/ 1 y) in y
0.762 * [taylor]: Taking taylor expansion of y in y
0.763 * [taylor]: Taking taylor expansion of 0 in y
0.764 * [taylor]: Taking taylor expansion of 0 in y
0.765 * [taylor]: Taking taylor expansion of 0 in y
0.766 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.767 * [approximate]: Taking taylor expansion of (- x (* (pow x 2) y)) in (x y) around 0
0.767 * [taylor]: Taking taylor expansion of (- x (* (pow x 2) y)) in y
0.767 * [taylor]: Taking taylor expansion of x in y
0.767 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y
0.767 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.767 * [taylor]: Taking taylor expansion of x in y
0.767 * [taylor]: Taking taylor expansion of y in y
0.767 * [taylor]: Taking taylor expansion of (- x (* (pow x 2) y)) in x
0.767 * [taylor]: Taking taylor expansion of x in x
0.767 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x
0.767 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.767 * [taylor]: Taking taylor expansion of x in x
0.767 * [taylor]: Taking taylor expansion of y in x
0.767 * [taylor]: Taking taylor expansion of (- x (* (pow x 2) y)) in x
0.767 * [taylor]: Taking taylor expansion of x in x
0.767 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x
0.767 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.767 * [taylor]: Taking taylor expansion of x in x
0.767 * [taylor]: Taking taylor expansion of y in x
0.767 * [taylor]: Taking taylor expansion of 0 in y
0.767 * [taylor]: Taking taylor expansion of 1 in y
0.768 * [taylor]: Taking taylor expansion of (neg y) in y
0.768 * [taylor]: Taking taylor expansion of y in y
0.768 * [taylor]: Taking taylor expansion of 0 in y
0.769 * [taylor]: Taking taylor expansion of 0 in y
0.770 * [approximate]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* (pow x 2) y))) in (x y) around 0
0.770 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* (pow x 2) y))) in y
0.770 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.770 * [taylor]: Taking taylor expansion of x in y
0.770 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in y
0.770 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y
0.770 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.770 * [taylor]: Taking taylor expansion of x in y
0.770 * [taylor]: Taking taylor expansion of y in y
0.771 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* (pow x 2) y))) in x
0.771 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.771 * [taylor]: Taking taylor expansion of x in x
0.771 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in x
0.771 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x
0.771 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.771 * [taylor]: Taking taylor expansion of x in x
0.771 * [taylor]: Taking taylor expansion of y in x
0.771 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* (pow x 2) y))) in x
0.771 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.771 * [taylor]: Taking taylor expansion of x in x
0.771 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in x
0.771 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x
0.771 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.771 * [taylor]: Taking taylor expansion of x in x
0.771 * [taylor]: Taking taylor expansion of y in x
0.772 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y
0.772 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.772 * [taylor]: Taking taylor expansion of y in y
0.773 * [taylor]: Taking taylor expansion of 1 in y
0.774 * [taylor]: Taking taylor expansion of 0 in y
0.776 * [taylor]: Taking taylor expansion of 0 in y
0.779 * [taylor]: Taking taylor expansion of 0 in y
0.780 * [approximate]: Taking taylor expansion of (- (/ 1 (* (pow x 2) y)) (/ 1 x)) in (x y) around 0
0.780 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow x 2) y)) (/ 1 x)) in y
0.780 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in y
0.780 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in y
0.780 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.780 * [taylor]: Taking taylor expansion of x in y
0.780 * [taylor]: Taking taylor expansion of y in y
0.781 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.781 * [taylor]: Taking taylor expansion of x in y
0.781 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow x 2) y)) (/ 1 x)) in x
0.781 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in x
0.781 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x
0.781 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.781 * [taylor]: Taking taylor expansion of x in x
0.781 * [taylor]: Taking taylor expansion of y in x
0.782 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.782 * [taylor]: Taking taylor expansion of x in x
0.782 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow x 2) y)) (/ 1 x)) in x
0.782 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) y)) in x
0.782 * [taylor]: Taking taylor expansion of (* (pow x 2) y) in x
0.782 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.782 * [taylor]: Taking taylor expansion of x in x
0.782 * [taylor]: Taking taylor expansion of y in x
0.782 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.782 * [taylor]: Taking taylor expansion of x in x
0.782 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.782 * [taylor]: Taking taylor expansion of y in y
0.783 * [taylor]: Taking taylor expansion of -1 in y
0.784 * [taylor]: Taking taylor expansion of 0 in y
0.786 * [taylor]: Taking taylor expansion of 0 in y
0.788 * [taylor]: Taking taylor expansion of 0 in y
0.789 * * * [progress]: simplifying candidates
0.790 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 x (neg.f64 y))
  (*.f64 (*.f64 x x) 1)
  (*.f64 (*.f64 x x) (sqrt.f64 y))
  (*.f64 (*.f64 x x) (*.f64 (cbrt.f64 y) (cbrt.f64 y)))
  (*.f64 (*.f64 x x) (neg.f64 1))
  (*.f64 (*.f64 x x) (neg.f64 (sqrt.f64 y)))
  (*.f64 (*.f64 x x) (neg.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y))))
  (*.f64 (*.f64 x x) -1)
  (*.f64 (*.f64 x x) 1)
  (*.f64 (*.f64 x x) (sqrt.f64 (neg.f64 y)))
  (*.f64 (*.f64 x x) (*.f64 (cbrt.f64 (neg.f64 y)) (cbrt.f64 (neg.f64 y))))
  (*.f64 (*.f64 x x) y)
  (*.f64 x (sqrt.f64 (neg.f64 y)))
  (*.f64 x (sqrt.f64 (neg.f64 y)))
  (sqrt.f64 (*.f64 (*.f64 x x) (neg.f64 y)))
  (sqrt.f64 (*.f64 (*.f64 x x) (neg.f64 y)))
  (*.f64 (*.f64 (*.f64 (*.f64 x x) (neg.f64 y)) (*.f64 (*.f64 x x) (neg.f64 y))) (*.f64 (*.f64 x x) (neg.f64 y)))
  (*.f64 (cbrt.f64 (*.f64 (*.f64 x x) (neg.f64 y))) (cbrt.f64 (*.f64 (*.f64 x x) (neg.f64 y))))
  (cbrt.f64 (*.f64 (*.f64 x x) (neg.f64 y)))
  (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 (*.f64 (neg.f64 y) (neg.f64 y)) (neg.f64 y)))
  (*.f64 (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 x x) x)) (*.f64 (*.f64 (neg.f64 y) (neg.f64 y)) (neg.f64 y)))
  (exp.f64 (*.f64 (*.f64 x x) (neg.f64 y)))
  (log.f64 (*.f64 (*.f64 x x) (neg.f64 y)))
  (+.f64 (log.f64 (*.f64 x x)) (log.f64 (neg.f64 y)))
  (+.f64 (+.f64 (log.f64 x) (log.f64 x)) (log.f64 (neg.f64 y)))
  (*.f64 (*.f64 x x) (neg.f64 y))
  (*.f64 (*.f64 x x) (neg.f64 y))
  (-.f64 (*.f64 x x) (*.f64 (*.f64 (*.f64 x x) (neg.f64 y)) (*.f64 (*.f64 x x) (neg.f64 y))))
  (-.f64 x (*.f64 (*.f64 x x) (neg.f64 y)))
  (+.f64 (pow.f64 x 3) (pow.f64 (*.f64 (*.f64 x x) (neg.f64 y)) 3))
  (+.f64 (*.f64 x x) (-.f64 (*.f64 (*.f64 (*.f64 x x) (neg.f64 y)) (*.f64 (*.f64 x x) (neg.f64 y))) (*.f64 x (*.f64 (*.f64 x x) (neg.f64 y)))))
  (sqrt.f64 (+.f64 x (*.f64 (*.f64 x x) (neg.f64 y))))
  (sqrt.f64 (+.f64 x (*.f64 (*.f64 x x) (neg.f64 y))))
  (*.f64 (*.f64 (+.f64 x (*.f64 (*.f64 x x) (neg.f64 y))) (+.f64 x (*.f64 (*.f64 x x) (neg.f64 y)))) (+.f64 x (*.f64 (*.f64 x x) (neg.f64 y))))
  (*.f64 (cbrt.f64 (+.f64 x (*.f64 (*.f64 x x) (neg.f64 y)))) (cbrt.f64 (+.f64 x (*.f64 (*.f64 x x) (neg.f64 y)))))
  (cbrt.f64 (+.f64 x (*.f64 (*.f64 x x) (neg.f64 y))))
  (exp.f64 (+.f64 x (*.f64 (*.f64 x x) (neg.f64 y))))
  (log.f64 (+.f64 x (*.f64 (*.f64 x x) (neg.f64 y))))
  (*.f64 (exp.f64 x) (exp.f64 (*.f64 (*.f64 x x) (neg.f64 y))))
  (*.f64 -1 (*.f64 (pow.f64 x 2) y))
  (*.f64 -1 (*.f64 (pow.f64 x 2) y))
  (*.f64 -1 (*.f64 (pow.f64 x 2) y))
  (-.f64 x (*.f64 (pow.f64 x 2) y))
  (-.f64 x (*.f64 (pow.f64 x 2) y))
  (-.f64 x (*.f64 (pow.f64 x 2) y))
0.860 * * [simplify]: iteration  0 :  5058  enodes  (cost  515 )
0.863 * [simplify]: Simplified to:
   (*.f64 x (neg.f64 y))
  (*.f64 x x)
  (*.f64 (*.f64 x x) (sqrt.f64 y))
  (*.f64 (*.f64 x x) (*.f64 (cbrt.f64 y) (cbrt.f64 y)))
  (neg.f64 (*.f64 x x))
  (*.f64 (*.f64 x x) (neg.f64 (sqrt.f64 y)))
  (*.f64 (*.f64 x x) (neg.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y))))
  (neg.f64 (*.f64 x x))
  (*.f64 x x)
  (*.f64 (*.f64 x x) (sqrt.f64 (neg.f64 y)))
  (*.f64 (*.f64 x x) (*.f64 (cbrt.f64 (neg.f64 y)) (cbrt.f64 (neg.f64 y))))
  (*.f64 y (*.f64 x x))
  (*.f64 x (sqrt.f64 (neg.f64 y)))
  (*.f64 x (sqrt.f64 (neg.f64 y)))
  (sqrt.f64 (*.f64 x (*.f64 x (neg.f64 y))))
  (sqrt.f64 (*.f64 x (*.f64 x (neg.f64 y))))
  (pow.f64 (*.f64 x (*.f64 x (neg.f64 y))) 3)
  (*.f64 (cbrt.f64 (*.f64 x (*.f64 x (neg.f64 y)))) (cbrt.f64 (*.f64 x (*.f64 x (neg.f64 y)))))
  (cbrt.f64 (*.f64 x (*.f64 x (neg.f64 y))))
  (pow.f64 (*.f64 x (*.f64 x (neg.f64 y))) 3)
  (pow.f64 (*.f64 x (*.f64 x (neg.f64 y))) 3)
  (exp.f64 (*.f64 x (*.f64 x (neg.f64 y))))
  (log.f64 (*.f64 x (*.f64 x (neg.f64 y))))
  (log.f64 (*.f64 x (*.f64 x (neg.f64 y))))
  (log.f64 (*.f64 x (*.f64 x (neg.f64 y))))
  (*.f64 x (*.f64 x (neg.f64 y)))
  (*.f64 x (*.f64 x (neg.f64 y)))
  (-.f64 (*.f64 x x) (*.f64 y (*.f64 y (pow.f64 x 4))))
  (+.f64 x (*.f64 y (*.f64 x x)))
  (-.f64 (pow.f64 x 3) (pow.f64 (*.f64 y (*.f64 x x)) 3))
  (+.f64 (*.f64 x x) (*.f64 (pow.f64 x 3) (+.f64 y (*.f64 x (*.f64 y y)))))
  (sqrt.f64 (-.f64 x (*.f64 y (*.f64 x x))))
  (sqrt.f64 (-.f64 x (*.f64 y (*.f64 x x))))
  (pow.f64 (-.f64 x (*.f64 y (*.f64 x x))) 3)
  (*.f64 (cbrt.f64 (-.f64 x (*.f64 y (*.f64 x x)))) (cbrt.f64 (-.f64 x (*.f64 y (*.f64 x x)))))
  (cbrt.f64 (-.f64 x (*.f64 y (*.f64 x x))))
  (exp.f64 (-.f64 x (*.f64 y (*.f64 x x))))
  (log.f64 (-.f64 x (*.f64 y (*.f64 x x))))
  (exp.f64 (-.f64 x (*.f64 y (*.f64 x x))))
  (*.f64 x (*.f64 x (neg.f64 y)))
  (*.f64 x (*.f64 x (neg.f64 y)))
  (*.f64 x (*.f64 x (neg.f64 y)))
  (-.f64 x (*.f64 y (*.f64 x x)))
  (-.f64 x (*.f64 y (*.f64 x x)))
  (-.f64 x (*.f64 y (*.f64 x x)))
0.864 * * * [progress]: adding candidates to table
1.003 * * [progress]: iteration 4 / 4
1.003 * * * [progress]: picking best candidate
1.031 * * * * [pick]: Picked  #<alt (λ (x y) (/.f64 (*.f64 x (-.f64 1 (pow.f64 (*.f64 x y) 3))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 1 (*.f64 x y))))))>
1.032 * * * [progress]: localizing error
1.061 * * * [progress]: generating rewritten candidates
1.061 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
1.079 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
1.088 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1)
1.095 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2)
1.102 * * * [progress]: generating series expansions
1.102 * * * * [progress]: [ 1 / 4 ] generating series at (2)
1.104 * [approximate]: Taking taylor expansion of (/ (* x (- 1 (* (pow x 3) (pow y 3)))) (+ (* (pow x 2) (pow y 2)) (+ (* x y) 1))) in (x y) around 0
1.104 * [taylor]: Taking taylor expansion of (/ (* x (- 1 (* (pow x 3) (pow y 3)))) (+ (* (pow x 2) (pow y 2)) (+ (* x y) 1))) in y
1.104 * [taylor]: Taking taylor expansion of (* x (- 1 (* (pow x 3) (pow y 3)))) in y
1.104 * [taylor]: Taking taylor expansion of x in y
1.104 * [taylor]: Taking taylor expansion of (- 1 (* (pow x 3) (pow y 3))) in y
1.104 * [taylor]: Taking taylor expansion of 1 in y
1.104 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in y
1.104 * [taylor]: Taking taylor expansion of (pow x 3) in y
1.104 * [taylor]: Taking taylor expansion of x in y
1.104 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.104 * [taylor]: Taking taylor expansion of y in y
1.104 * [taylor]: Taking taylor expansion of (+ (* (pow x 2) (pow y 2)) (+ (* x y) 1)) in y
1.104 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y
1.104 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.104 * [taylor]: Taking taylor expansion of x in y
1.104 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.104 * [taylor]: Taking taylor expansion of y in y
1.104 * [taylor]: Taking taylor expansion of (+ (* x y) 1) in y
1.104 * [taylor]: Taking taylor expansion of (* x y) in y
1.104 * [taylor]: Taking taylor expansion of x in y
1.104 * [taylor]: Taking taylor expansion of y in y
1.104 * [taylor]: Taking taylor expansion of 1 in y
1.105 * [taylor]: Taking taylor expansion of (/ (* x (- 1 (* (pow x 3) (pow y 3)))) (+ (* (pow x 2) (pow y 2)) (+ (* x y) 1))) in x
1.105 * [taylor]: Taking taylor expansion of (* x (- 1 (* (pow x 3) (pow y 3)))) in x
1.105 * [taylor]: Taking taylor expansion of x in x
1.105 * [taylor]: Taking taylor expansion of (- 1 (* (pow x 3) (pow y 3))) in x
1.105 * [taylor]: Taking taylor expansion of 1 in x
1.105 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in x
1.105 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.105 * [taylor]: Taking taylor expansion of x in x
1.105 * [taylor]: Taking taylor expansion of (pow y 3) in x
1.105 * [taylor]: Taking taylor expansion of y in x
1.105 * [taylor]: Taking taylor expansion of (+ (* (pow x 2) (pow y 2)) (+ (* x y) 1)) in x
1.105 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x
1.105 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.105 * [taylor]: Taking taylor expansion of x in x
1.105 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.105 * [taylor]: Taking taylor expansion of y in x
1.105 * [taylor]: Taking taylor expansion of (+ (* x y) 1) in x
1.105 * [taylor]: Taking taylor expansion of (* x y) in x
1.105 * [taylor]: Taking taylor expansion of x in x
1.105 * [taylor]: Taking taylor expansion of y in x
1.105 * [taylor]: Taking taylor expansion of 1 in x
1.106 * [taylor]: Taking taylor expansion of (/ (* x (- 1 (* (pow x 3) (pow y 3)))) (+ (* (pow x 2) (pow y 2)) (+ (* x y) 1))) in x
1.106 * [taylor]: Taking taylor expansion of (* x (- 1 (* (pow x 3) (pow y 3)))) in x
1.106 * [taylor]: Taking taylor expansion of x in x
1.106 * [taylor]: Taking taylor expansion of (- 1 (* (pow x 3) (pow y 3))) in x
1.106 * [taylor]: Taking taylor expansion of 1 in x
1.106 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in x
1.106 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.106 * [taylor]: Taking taylor expansion of x in x
1.106 * [taylor]: Taking taylor expansion of (pow y 3) in x
1.106 * [taylor]: Taking taylor expansion of y in x
1.106 * [taylor]: Taking taylor expansion of (+ (* (pow x 2) (pow y 2)) (+ (* x y) 1)) in x
1.106 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x
1.106 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.106 * [taylor]: Taking taylor expansion of x in x
1.106 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.106 * [taylor]: Taking taylor expansion of y in x
1.106 * [taylor]: Taking taylor expansion of (+ (* x y) 1) in x
1.106 * [taylor]: Taking taylor expansion of (* x y) in x
1.106 * [taylor]: Taking taylor expansion of x in x
1.106 * [taylor]: Taking taylor expansion of y in x
1.106 * [taylor]: Taking taylor expansion of 1 in x
1.107 * [taylor]: Taking taylor expansion of 1 in y
1.108 * [taylor]: Taking taylor expansion of (neg y) in y
1.108 * [taylor]: Taking taylor expansion of y in y
1.111 * [taylor]: Taking taylor expansion of 0 in y
1.115 * [taylor]: Taking taylor expansion of 0 in y
1.120 * [taylor]: Taking taylor expansion of 0 in y
1.122 * [approximate]: Taking taylor expansion of (/ (- 1 (/ 1 (* (pow x 3) (pow y 3)))) (* x (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (/ 1 (* x y)) 1)))) in (x y) around 0
1.122 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 (* (pow x 3) (pow y 3)))) (* x (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (/ 1 (* x y)) 1)))) in y
1.122 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (* (pow x 3) (pow y 3)))) in y
1.122 * [taylor]: Taking taylor expansion of 1 in y
1.122 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in y
1.122 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in y
1.122 * [taylor]: Taking taylor expansion of (pow x 3) in y
1.122 * [taylor]: Taking taylor expansion of x in y
1.122 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.122 * [taylor]: Taking taylor expansion of y in y
1.123 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (/ 1 (* x y)) 1))) in y
1.123 * [taylor]: Taking taylor expansion of x in y
1.123 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (/ 1 (* x y)) 1)) in y
1.123 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in y
1.123 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y
1.123 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.123 * [taylor]: Taking taylor expansion of x in y
1.123 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.123 * [taylor]: Taking taylor expansion of y in y
1.124 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) 1) in y
1.124 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
1.124 * [taylor]: Taking taylor expansion of (* x y) in y
1.124 * [taylor]: Taking taylor expansion of x in y
1.124 * [taylor]: Taking taylor expansion of y in y
1.124 * [taylor]: Taking taylor expansion of 1 in y
1.125 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 (* (pow x 3) (pow y 3)))) (* x (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (/ 1 (* x y)) 1)))) in x
1.125 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (* (pow x 3) (pow y 3)))) in x
1.125 * [taylor]: Taking taylor expansion of 1 in x
1.125 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in x
1.125 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in x
1.125 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.125 * [taylor]: Taking taylor expansion of x in x
1.125 * [taylor]: Taking taylor expansion of (pow y 3) in x
1.125 * [taylor]: Taking taylor expansion of y in x
1.126 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (/ 1 (* x y)) 1))) in x
1.126 * [taylor]: Taking taylor expansion of x in x
1.126 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (/ 1 (* x y)) 1)) in x
1.126 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x
1.126 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x
1.126 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.126 * [taylor]: Taking taylor expansion of x in x
1.126 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.126 * [taylor]: Taking taylor expansion of y in x
1.127 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) 1) in x
1.127 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.127 * [taylor]: Taking taylor expansion of (* x y) in x
1.127 * [taylor]: Taking taylor expansion of x in x
1.127 * [taylor]: Taking taylor expansion of y in x
1.127 * [taylor]: Taking taylor expansion of 1 in x
1.130 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 (* (pow x 3) (pow y 3)))) (* x (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (/ 1 (* x y)) 1)))) in x
1.130 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (* (pow x 3) (pow y 3)))) in x
1.130 * [taylor]: Taking taylor expansion of 1 in x
1.130 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in x
1.130 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in x
1.130 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.130 * [taylor]: Taking taylor expansion of x in x
1.130 * [taylor]: Taking taylor expansion of (pow y 3) in x
1.130 * [taylor]: Taking taylor expansion of y in x
1.131 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (/ 1 (* x y)) 1))) in x
1.131 * [taylor]: Taking taylor expansion of x in x
1.131 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (/ 1 (* x y)) 1)) in x
1.131 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x
1.131 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x
1.131 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.131 * [taylor]: Taking taylor expansion of x in x
1.131 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.131 * [taylor]: Taking taylor expansion of y in x
1.132 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) 1) in x
1.132 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.132 * [taylor]: Taking taylor expansion of (* x y) in x
1.132 * [taylor]: Taking taylor expansion of x in x
1.132 * [taylor]: Taking taylor expansion of y in x
1.132 * [taylor]: Taking taylor expansion of 1 in x
1.135 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.135 * [taylor]: Taking taylor expansion of -1 in y
1.135 * [taylor]: Taking taylor expansion of y in y
1.140 * [taylor]: Taking taylor expansion of 1 in y
1.148 * [taylor]: Taking taylor expansion of 0 in y
1.156 * [taylor]: Taking taylor expansion of 0 in y
1.165 * [taylor]: Taking taylor expansion of 0 in y
1.168 * [approximate]: Taking taylor expansion of (* -1 (/ (- 1 (/ 1 (* (pow x 3) (pow y 3)))) (* x (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (/ 1 (* x y)) 1))))) in (x y) around 0
1.168 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1 (/ 1 (* (pow x 3) (pow y 3)))) (* x (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (/ 1 (* x y)) 1))))) in y
1.168 * [taylor]: Taking taylor expansion of -1 in y
1.168 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 (* (pow x 3) (pow y 3)))) (* x (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (/ 1 (* x y)) 1)))) in y
1.168 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (* (pow x 3) (pow y 3)))) in y
1.168 * [taylor]: Taking taylor expansion of 1 in y
1.168 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in y
1.168 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in y
1.168 * [taylor]: Taking taylor expansion of (pow x 3) in y
1.168 * [taylor]: Taking taylor expansion of x in y
1.168 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.168 * [taylor]: Taking taylor expansion of y in y
1.169 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (/ 1 (* x y)) 1))) in y
1.169 * [taylor]: Taking taylor expansion of x in y
1.169 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (/ 1 (* x y)) 1)) in y
1.169 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in y
1.169 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y
1.169 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.169 * [taylor]: Taking taylor expansion of x in y
1.169 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.169 * [taylor]: Taking taylor expansion of y in y
1.169 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) 1) in y
1.169 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
1.169 * [taylor]: Taking taylor expansion of (* x y) in y
1.170 * [taylor]: Taking taylor expansion of x in y
1.170 * [taylor]: Taking taylor expansion of y in y
1.170 * [taylor]: Taking taylor expansion of 1 in y
1.171 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1 (/ 1 (* (pow x 3) (pow y 3)))) (* x (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (/ 1 (* x y)) 1))))) in x
1.171 * [taylor]: Taking taylor expansion of -1 in x
1.171 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 (* (pow x 3) (pow y 3)))) (* x (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (/ 1 (* x y)) 1)))) in x
1.171 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (* (pow x 3) (pow y 3)))) in x
1.171 * [taylor]: Taking taylor expansion of 1 in x
1.171 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in x
1.171 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in x
1.171 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.171 * [taylor]: Taking taylor expansion of x in x
1.171 * [taylor]: Taking taylor expansion of (pow y 3) in x
1.171 * [taylor]: Taking taylor expansion of y in x
1.172 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (/ 1 (* x y)) 1))) in x
1.172 * [taylor]: Taking taylor expansion of x in x
1.172 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (/ 1 (* x y)) 1)) in x
1.172 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x
1.172 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x
1.172 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.172 * [taylor]: Taking taylor expansion of x in x
1.172 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.172 * [taylor]: Taking taylor expansion of y in x
1.172 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) 1) in x
1.172 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.172 * [taylor]: Taking taylor expansion of (* x y) in x
1.172 * [taylor]: Taking taylor expansion of x in x
1.172 * [taylor]: Taking taylor expansion of y in x
1.173 * [taylor]: Taking taylor expansion of 1 in x
1.175 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1 (/ 1 (* (pow x 3) (pow y 3)))) (* x (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (/ 1 (* x y)) 1))))) in x
1.175 * [taylor]: Taking taylor expansion of -1 in x
1.175 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 (* (pow x 3) (pow y 3)))) (* x (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (/ 1 (* x y)) 1)))) in x
1.175 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (* (pow x 3) (pow y 3)))) in x
1.175 * [taylor]: Taking taylor expansion of 1 in x
1.175 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in x
1.175 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in x
1.175 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.175 * [taylor]: Taking taylor expansion of x in x
1.175 * [taylor]: Taking taylor expansion of (pow y 3) in x
1.175 * [taylor]: Taking taylor expansion of y in x
1.176 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (/ 1 (* x y)) 1))) in x
1.176 * [taylor]: Taking taylor expansion of x in x
1.176 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (/ 1 (* x y)) 1)) in x
1.176 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x
1.176 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x
1.176 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.176 * [taylor]: Taking taylor expansion of x in x
1.176 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.176 * [taylor]: Taking taylor expansion of y in x
1.177 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) 1) in x
1.177 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.177 * [taylor]: Taking taylor expansion of (* x y) in x
1.177 * [taylor]: Taking taylor expansion of x in x
1.177 * [taylor]: Taking taylor expansion of y in x
1.177 * [taylor]: Taking taylor expansion of 1 in x
1.180 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.180 * [taylor]: Taking taylor expansion of y in y
1.184 * [taylor]: Taking taylor expansion of -1 in y
1.191 * [taylor]: Taking taylor expansion of 0 in y
1.199 * [taylor]: Taking taylor expansion of 0 in y
1.212 * [taylor]: Taking taylor expansion of 0 in y
1.213 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
1.214 * [approximate]: Taking taylor expansion of (* x (- 1 (* (pow x 3) (pow y 3)))) in (x y) around 0
1.214 * [taylor]: Taking taylor expansion of (* x (- 1 (* (pow x 3) (pow y 3)))) in y
1.214 * [taylor]: Taking taylor expansion of x in y
1.214 * [taylor]: Taking taylor expansion of (- 1 (* (pow x 3) (pow y 3))) in y
1.214 * [taylor]: Taking taylor expansion of 1 in y
1.214 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in y
1.214 * [taylor]: Taking taylor expansion of (pow x 3) in y
1.214 * [taylor]: Taking taylor expansion of x in y
1.214 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.214 * [taylor]: Taking taylor expansion of y in y
1.214 * [taylor]: Taking taylor expansion of (* x (- 1 (* (pow x 3) (pow y 3)))) in x
1.214 * [taylor]: Taking taylor expansion of x in x
1.214 * [taylor]: Taking taylor expansion of (- 1 (* (pow x 3) (pow y 3))) in x
1.214 * [taylor]: Taking taylor expansion of 1 in x
1.214 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in x
1.214 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.214 * [taylor]: Taking taylor expansion of x in x
1.214 * [taylor]: Taking taylor expansion of (pow y 3) in x
1.214 * [taylor]: Taking taylor expansion of y in x
1.214 * [taylor]: Taking taylor expansion of (* x (- 1 (* (pow x 3) (pow y 3)))) in x
1.214 * [taylor]: Taking taylor expansion of x in x
1.214 * [taylor]: Taking taylor expansion of (- 1 (* (pow x 3) (pow y 3))) in x
1.214 * [taylor]: Taking taylor expansion of 1 in x
1.215 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in x
1.215 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.215 * [taylor]: Taking taylor expansion of x in x
1.215 * [taylor]: Taking taylor expansion of (pow y 3) in x
1.215 * [taylor]: Taking taylor expansion of y in x
1.215 * [taylor]: Taking taylor expansion of 0 in y
1.215 * [taylor]: Taking taylor expansion of 1 in y
1.215 * [taylor]: Taking taylor expansion of 0 in y
1.217 * [taylor]: Taking taylor expansion of 0 in y
1.218 * [approximate]: Taking taylor expansion of (/ (- 1 (/ 1 (* (pow x 3) (pow y 3)))) x) in (x y) around 0
1.218 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 (* (pow x 3) (pow y 3)))) x) in y
1.218 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (* (pow x 3) (pow y 3)))) in y
1.218 * [taylor]: Taking taylor expansion of 1 in y
1.218 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in y
1.218 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in y
1.218 * [taylor]: Taking taylor expansion of (pow x 3) in y
1.218 * [taylor]: Taking taylor expansion of x in y
1.218 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.218 * [taylor]: Taking taylor expansion of y in y
1.219 * [taylor]: Taking taylor expansion of x in y
1.219 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 (* (pow x 3) (pow y 3)))) x) in x
1.219 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (* (pow x 3) (pow y 3)))) in x
1.219 * [taylor]: Taking taylor expansion of 1 in x
1.219 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in x
1.219 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in x
1.219 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.219 * [taylor]: Taking taylor expansion of x in x
1.219 * [taylor]: Taking taylor expansion of (pow y 3) in x
1.220 * [taylor]: Taking taylor expansion of y in x
1.220 * [taylor]: Taking taylor expansion of x in x
1.221 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 (* (pow x 3) (pow y 3)))) x) in x
1.221 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (* (pow x 3) (pow y 3)))) in x
1.221 * [taylor]: Taking taylor expansion of 1 in x
1.221 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in x
1.221 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in x
1.221 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.221 * [taylor]: Taking taylor expansion of x in x
1.221 * [taylor]: Taking taylor expansion of (pow y 3) in x
1.221 * [taylor]: Taking taylor expansion of y in x
1.222 * [taylor]: Taking taylor expansion of x in x
1.223 * [taylor]: Taking taylor expansion of (/ -1 (pow y 3)) in y
1.223 * [taylor]: Taking taylor expansion of -1 in y
1.223 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.223 * [taylor]: Taking taylor expansion of y in y
1.225 * [taylor]: Taking taylor expansion of 0 in y
1.229 * [taylor]: Taking taylor expansion of 0 in y
1.233 * [taylor]: Taking taylor expansion of 1 in y
1.239 * [taylor]: Taking taylor expansion of 0 in y
1.246 * [taylor]: Taking taylor expansion of 0 in y
1.247 * [approximate]: Taking taylor expansion of (* -1 (/ (- 1 (/ 1 (* (pow x 3) (pow y 3)))) x)) in (x y) around 0
1.247 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1 (/ 1 (* (pow x 3) (pow y 3)))) x)) in y
1.247 * [taylor]: Taking taylor expansion of -1 in y
1.247 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 (* (pow x 3) (pow y 3)))) x) in y
1.247 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (* (pow x 3) (pow y 3)))) in y
1.247 * [taylor]: Taking taylor expansion of 1 in y
1.247 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in y
1.247 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in y
1.247 * [taylor]: Taking taylor expansion of (pow x 3) in y
1.247 * [taylor]: Taking taylor expansion of x in y
1.247 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.247 * [taylor]: Taking taylor expansion of y in y
1.248 * [taylor]: Taking taylor expansion of x in y
1.249 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1 (/ 1 (* (pow x 3) (pow y 3)))) x)) in x
1.249 * [taylor]: Taking taylor expansion of -1 in x
1.249 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 (* (pow x 3) (pow y 3)))) x) in x
1.249 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (* (pow x 3) (pow y 3)))) in x
1.249 * [taylor]: Taking taylor expansion of 1 in x
1.249 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in x
1.249 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in x
1.249 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.249 * [taylor]: Taking taylor expansion of x in x
1.249 * [taylor]: Taking taylor expansion of (pow y 3) in x
1.249 * [taylor]: Taking taylor expansion of y in x
1.249 * [taylor]: Taking taylor expansion of x in x
1.250 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1 (/ 1 (* (pow x 3) (pow y 3)))) x)) in x
1.250 * [taylor]: Taking taylor expansion of -1 in x
1.250 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 (* (pow x 3) (pow y 3)))) x) in x
1.250 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (* (pow x 3) (pow y 3)))) in x
1.250 * [taylor]: Taking taylor expansion of 1 in x
1.250 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 3) (pow y 3))) in x
1.250 * [taylor]: Taking taylor expansion of (* (pow x 3) (pow y 3)) in x
1.250 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.250 * [taylor]: Taking taylor expansion of x in x
1.250 * [taylor]: Taking taylor expansion of (pow y 3) in x
1.250 * [taylor]: Taking taylor expansion of y in x
1.251 * [taylor]: Taking taylor expansion of x in x
1.252 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
1.252 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.252 * [taylor]: Taking taylor expansion of y in y
1.254 * [taylor]: Taking taylor expansion of 0 in y
1.257 * [taylor]: Taking taylor expansion of 0 in y
1.262 * [taylor]: Taking taylor expansion of -1 in y
1.267 * [taylor]: Taking taylor expansion of 0 in y
1.274 * [taylor]: Taking taylor expansion of 0 in y
1.274 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1)
1.275 * [approximate]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in (x y) around 0
1.275 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y
1.275 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.275 * [taylor]: Taking taylor expansion of x in y
1.275 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.275 * [taylor]: Taking taylor expansion of y in y
1.275 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x
1.275 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.275 * [taylor]: Taking taylor expansion of x in x
1.275 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.275 * [taylor]: Taking taylor expansion of y in x
1.275 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x
1.275 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.275 * [taylor]: Taking taylor expansion of x in x
1.275 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.275 * [taylor]: Taking taylor expansion of y in x
1.276 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.276 * [taylor]: Taking taylor expansion of y in y
1.276 * [taylor]: Taking taylor expansion of 0 in y
1.277 * [taylor]: Taking taylor expansion of 0 in y
1.279 * [taylor]: Taking taylor expansion of 0 in y
1.280 * [approximate]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in (x y) around 0
1.280 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in y
1.280 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y
1.280 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.280 * [taylor]: Taking taylor expansion of x in y
1.280 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.280 * [taylor]: Taking taylor expansion of y in y
1.280 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x
1.280 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x
1.280 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.280 * [taylor]: Taking taylor expansion of x in x
1.280 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.280 * [taylor]: Taking taylor expansion of y in x
1.281 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x
1.281 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x
1.281 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.281 * [taylor]: Taking taylor expansion of x in x
1.281 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.281 * [taylor]: Taking taylor expansion of y in x
1.282 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.282 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.282 * [taylor]: Taking taylor expansion of y in y
1.283 * [taylor]: Taking taylor expansion of 0 in y
1.285 * [taylor]: Taking taylor expansion of 0 in y
1.288 * [taylor]: Taking taylor expansion of 0 in y
1.291 * [taylor]: Taking taylor expansion of 0 in y
1.293 * [approximate]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in (x y) around 0
1.293 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in y
1.293 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y
1.293 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.293 * [taylor]: Taking taylor expansion of x in y
1.293 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.293 * [taylor]: Taking taylor expansion of y in y
1.293 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x
1.293 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x
1.293 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.293 * [taylor]: Taking taylor expansion of x in x
1.293 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.293 * [taylor]: Taking taylor expansion of y in x
1.294 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x
1.294 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x
1.294 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.294 * [taylor]: Taking taylor expansion of x in x
1.294 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.294 * [taylor]: Taking taylor expansion of y in x
1.294 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.295 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.295 * [taylor]: Taking taylor expansion of y in y
1.296 * [taylor]: Taking taylor expansion of 0 in y
1.298 * [taylor]: Taking taylor expansion of 0 in y
1.301 * [taylor]: Taking taylor expansion of 0 in y
1.304 * [taylor]: Taking taylor expansion of 0 in y
1.305 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2)
1.305 * [approximate]: Taking taylor expansion of (pow (* x y) 3) in (x y) around 0
1.305 * [taylor]: Taking taylor expansion of (pow (* x y) 3) in y
1.305 * [taylor]: Taking taylor expansion of (* x y) in y
1.305 * [taylor]: Taking taylor expansion of x in y
1.306 * [taylor]: Taking taylor expansion of y in y
1.306 * [taylor]: Taking taylor expansion of (pow (* x y) 3) in x
1.306 * [taylor]: Taking taylor expansion of (* x y) in x
1.306 * [taylor]: Taking taylor expansion of x in x
1.306 * [taylor]: Taking taylor expansion of y in x
1.306 * [taylor]: Taking taylor expansion of (pow (* x y) 3) in x
1.306 * [taylor]: Taking taylor expansion of (* x y) in x
1.306 * [taylor]: Taking taylor expansion of x in x
1.306 * [taylor]: Taking taylor expansion of y in x
1.307 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.307 * [taylor]: Taking taylor expansion of y in y
1.308 * [taylor]: Taking taylor expansion of 0 in y
1.309 * [taylor]: Taking taylor expansion of 0 in y
1.311 * [taylor]: Taking taylor expansion of 0 in y
1.312 * [approximate]: Taking taylor expansion of (pow (/ 1 (* x y)) 3) in (x y) around 0
1.312 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x y)) 3) in y
1.312 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
1.312 * [taylor]: Taking taylor expansion of (* x y) in y
1.312 * [taylor]: Taking taylor expansion of x in y
1.312 * [taylor]: Taking taylor expansion of y in y
1.313 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x y)) 3) in x
1.313 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.313 * [taylor]: Taking taylor expansion of (* x y) in x
1.313 * [taylor]: Taking taylor expansion of x in x
1.313 * [taylor]: Taking taylor expansion of y in x
1.313 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x y)) 3) in x
1.313 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.313 * [taylor]: Taking taylor expansion of (* x y) in x
1.313 * [taylor]: Taking taylor expansion of x in x
1.313 * [taylor]: Taking taylor expansion of y in x
1.314 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
1.314 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.314 * [taylor]: Taking taylor expansion of y in y
1.315 * [taylor]: Taking taylor expansion of 0 in y
1.318 * [taylor]: Taking taylor expansion of 0 in y
1.320 * [taylor]: Taking taylor expansion of 0 in y
1.324 * [taylor]: Taking taylor expansion of 0 in y
1.329 * [taylor]: Taking taylor expansion of 0 in y
1.330 * [approximate]: Taking taylor expansion of (pow (/ 1 (* x y)) 3) in (x y) around 0
1.330 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x y)) 3) in y
1.330 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
1.330 * [taylor]: Taking taylor expansion of (* x y) in y
1.330 * [taylor]: Taking taylor expansion of x in y
1.330 * [taylor]: Taking taylor expansion of y in y
1.330 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x y)) 3) in x
1.330 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.330 * [taylor]: Taking taylor expansion of (* x y) in x
1.330 * [taylor]: Taking taylor expansion of x in x
1.330 * [taylor]: Taking taylor expansion of y in x
1.331 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x y)) 3) in x
1.331 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.331 * [taylor]: Taking taylor expansion of (* x y) in x
1.331 * [taylor]: Taking taylor expansion of x in x
1.331 * [taylor]: Taking taylor expansion of y in x
1.332 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
1.332 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.332 * [taylor]: Taking taylor expansion of y in y
1.333 * [taylor]: Taking taylor expansion of 0 in y
1.335 * [taylor]: Taking taylor expansion of 0 in y
1.338 * [taylor]: Taking taylor expansion of 0 in y
1.342 * [taylor]: Taking taylor expansion of 0 in y
1.346 * [taylor]: Taking taylor expansion of 0 in y
1.347 * * * [progress]: simplifying candidates
1.348 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 1 (*.f64 x y)))) (+.f64 1 (pow.f64 (*.f64 x y) 3)))
  (*.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 1 (*.f64 x y)))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 x y) 3)) (*.f64 1 (pow.f64 (*.f64 x y) 3)))))
  (/.f64 (*.f64 x (-.f64 1 (pow.f64 (*.f64 x y) 3))) (-.f64 (*.f64 (*.f64 1 1) (*.f64 1 1)) (*.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 1 (*.f64 x y))) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 1 (*.f64 x y))))))
  (/.f64 (*.f64 x (-.f64 1 (pow.f64 (*.f64 x y) 3))) (+.f64 (pow.f64 (*.f64 1 1) 3) (pow.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 1 (*.f64 x y))) 3)))
  (/.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 1 (*.f64 x y)))) (-.f64 1 (pow.f64 (*.f64 x y) 3)))
  (/.f64 (*.f64 x (-.f64 1 (pow.f64 (*.f64 x y) 3))) 1)
  (/.f64 (*.f64 x (-.f64 1 (pow.f64 (*.f64 x y) 3))) 1)
  (/.f64 (*.f64 x (-.f64 1 (pow.f64 (*.f64 x y) 3))) (sqrt.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 1 (*.f64 x y))))))
  (/.f64 (*.f64 x (-.f64 1 (pow.f64 (*.f64 x y) 3))) (*.f64 (cbrt.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 1 (*.f64 x y))))) (cbrt.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 1 (*.f64 x y)))))))
  (/.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 1 (*.f64 x y)))) (*.f64 x (-.f64 1 (pow.f64 (*.f64 x y) 3))))
  (/.f64 1 (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 1 (*.f64 x y)))))
  (/.f64 x 1)
  (/.f64 (-.f64 1 (pow.f64 (*.f64 x y) 3)) (+.f64 1 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 1 (*.f64 x y)))))
  (/.f64 x 1)
  (/.f64 (-.f64 1 (pow.f64 (*.f64 x y) 3)) (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 1 (*.f64 x y)))))
  (/.f64 x (sqrt.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 1 (*.f64 x y))))))
  (/.f64 (-.f64 1 (pow.f64 (*.f64 x y) 3)) (sqrt.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 1 (*.f64 x y))))))
  (/.f64 x (*.f64 (cbrt.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 1 (*.f64 x y))))) (cbrt.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 1 (*.f64 x y)))))))
  (/.f64 (-.f64 1 (pow.f64 (*.f64 x y) 3)) (cbrt.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 1 (*.f64 x y))))))
  (neg.f64 (*.f64 x (-.f64 1 (pow.f64 (*.f64 x y) 3))))
  (neg.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 1 (*.f64 x y)))))
  (sqrt.f64 (/.f64 (*.f64 x (-.f64 1 (pow.f64 (*.f64 x y) 3))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 1 (*.f64 x y))))))
  (sqrt.f64 (/.f64 (*.f64 x (-.f64 1 (pow.f64 (*.f64 x y) 3))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 1 (*.f64 x y))))))
  (*.f64 (*.f64 (/.f64 (*.f64 x (-.f64 1 (pow.f64 (*.f64 x y) 3))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 1 (*.f64 x y))))) (/.f64 (*.f64 x (-.f64 1 (pow.f64 (*.f64 x y) 3))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 1 (*.f64 x y)))))) (/.f64 (*.f64 x (-.f64 1 (pow.f64 (*.f64 x y) 3))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 1 (*.f64 x y))))))
  (*.f64 (cbrt.f64 (/.f64 (*.f64 x (-.f64 1 (pow.f64 (*.f64 x y) 3))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 1 (*.f64 x y)))))) (cbrt.f64 (/.f64 (*.f64 x (-.f64 1 (pow.f64 (*.f64 x y) 3))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 1 (*.f64 x y)))))))
  (cbrt.f64 (/.f64 (*.f64 x (-.f64 1 (pow.f64 (*.f64 x y) 3))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 1 (*.f64 x y))))))
  (/.f64 (*.f64 (*.f64 (*.f64 x (-.f64 1 (pow.f64 (*.f64 x y) 3))) (*.f64 x (-.f64 1 (pow.f64 (*.f64 x y) 3)))) (*.f64 x (-.f64 1 (pow.f64 (*.f64 x y) 3)))) (*.f64 (*.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 1 (*.f64 x y)))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 1 (*.f64 x y))))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 1 (*.f64 x y))))))
  (/.f64 (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 (-.f64 1 (pow.f64 (*.f64 x y) 3)) (-.f64 1 (pow.f64 (*.f64 x y) 3))) (-.f64 1 (pow.f64 (*.f64 x y) 3)))) (*.f64 (*.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 1 (*.f64 x y)))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 1 (*.f64 x y))))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 1 (*.f64 x y))))))
  (exp.f64 (/.f64 (*.f64 x (-.f64 1 (pow.f64 (*.f64 x y) 3))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 1 (*.f64 x y))))))
  (log.f64 (/.f64 (*.f64 x (-.f64 1 (pow.f64 (*.f64 x y) 3))) (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 1 (*.f64 x y))))))
  (-.f64 (log.f64 (*.f64 x (-.f64 1 (pow.f64 (*.f64 x y) 3)))) (log.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 1 (*.f64 x y))))))
  (-.f64 (+.f64 (log.f64 x) (log.f64 (-.f64 1 (pow.f64 (*.f64 x y) 3)))) (log.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 1 (*.f64 x y))))))
  (*.f64 x (-.f64 (*.f64 1 1) (*.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 x y) 3))))
  (*.f64 x (-.f64 (pow.f64 1 3) (pow.f64 (pow.f64 (*.f64 x y) 3) 3)))
  (*.f64 x (-.f64 1 (pow.f64 (*.f64 x y) 3)))
  (*.f64 (sqrt.f64 x) (-.f64 1 (pow.f64 (*.f64 x y) 3)))
  (*.f64 (cbrt.f64 x) (-.f64 1 (pow.f64 (*.f64 x y) 3)))
  (*.f64 x 1)
  (*.f64 x (+.f64 1 (pow.f64 (*.f64 x y) (/.f64 3 2))))
  (*.f64 x (+.f64 1 (sqrt.f64 (pow.f64 (*.f64 x y) 3))))
  (*.f64 x (+.f64 (sqrt.f64 1) (pow.f64 (*.f64 x y) (/.f64 3 2))))
  (*.f64 x (+.f64 (sqrt.f64 1) (sqrt.f64 (pow.f64 (*.f64 x y) 3))))
  (*.f64 x 1)
  (*.f64 x (sqrt.f64 (-.f64 1 (pow.f64 (*.f64 x y) 3))))
  (*.f64 x (*.f64 (cbrt.f64 (-.f64 1 (pow.f64 (*.f64 x y) 3))) (cbrt.f64 (-.f64 1 (pow.f64 (*.f64 x y) 3)))))
  (*.f64 1 x)
  (*.f64 (neg.f64 (pow.f64 (*.f64 x y) 3)) x)
  (*.f64 x 1)
  (*.f64 x (neg.f64 (pow.f64 (*.f64 x y) 3)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (-.f64 1 (pow.f64 (*.f64 x y) 3))))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (-.f64 1 (pow.f64 (*.f64 x y) 3))))
  (sqrt.f64 (*.f64 x (-.f64 1 (pow.f64 (*.f64 x y) 3))))
  (sqrt.f64 (*.f64 x (-.f64 1 (pow.f64 (*.f64 x y) 3))))
  (*.f64 (*.f64 (*.f64 x (-.f64 1 (pow.f64 (*.f64 x y) 3))) (*.f64 x (-.f64 1 (pow.f64 (*.f64 x y) 3)))) (*.f64 x (-.f64 1 (pow.f64 (*.f64 x y) 3))))
  (*.f64 (cbrt.f64 (*.f64 x (-.f64 1 (pow.f64 (*.f64 x y) 3)))) (cbrt.f64 (*.f64 x (-.f64 1 (pow.f64 (*.f64 x y) 3)))))
  (cbrt.f64 (*.f64 x (-.f64 1 (pow.f64 (*.f64 x y) 3))))
  (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 (-.f64 1 (pow.f64 (*.f64 x y) 3)) (-.f64 1 (pow.f64 (*.f64 x y) 3))) (-.f64 1 (pow.f64 (*.f64 x y) 3))))
  (exp.f64 (*.f64 x (-.f64 1 (pow.f64 (*.f64 x y) 3))))
  (log.f64 (*.f64 x (-.f64 1 (pow.f64 (*.f64 x y) 3))))
  (+.f64 (log.f64 x) (log.f64 (-.f64 1 (pow.f64 (*.f64 x y) 3))))
  (*.f64 x (-.f64 1 (pow.f64 (*.f64 x y) 3)))
  (*.f64 y (*.f64 x y))
  (*.f64 (*.f64 x y) x)
  (*.f64 2 1)
  (*.f64 2 1)
  (*.f64 2 1)
  (*.f64 2 1)
  (*.f64 x x)
  (*.f64 y y)
  (sqrt.f64 (*.f64 (*.f64 x y) (*.f64 x y)))
  (sqrt.f64 (*.f64 (*.f64 x y) (*.f64 x y)))
  (*.f64 (*.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (*.f64 x y) (*.f64 x y))) (*.f64 (*.f64 x y) (*.f64 x y)))
  (*.f64 (cbrt.f64 (*.f64 (*.f64 x y) (*.f64 x y))) (cbrt.f64 (*.f64 (*.f64 x y) (*.f64 x y))))
  (cbrt.f64 (*.f64 (*.f64 x y) (*.f64 x y)))
  (*.f64 (*.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 x y)) (*.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 x y)))
  (*.f64 (*.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 x y)) (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 y y) y)))
  (*.f64 (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 y y) y)) (*.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 x y)))
  (*.f64 (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 y y) y)) (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 y y) y)))
  (exp.f64 (*.f64 (*.f64 x y) (*.f64 x y)))
  (log.f64 (*.f64 (*.f64 x y) (*.f64 x y)))
  (+.f64 (log.f64 (*.f64 x y)) (log.f64 (*.f64 x y)))
  (+.f64 (log.f64 (*.f64 x y)) (+.f64 (log.f64 x) (log.f64 y)))
  (+.f64 (+.f64 (log.f64 x) (log.f64 y)) (log.f64 (*.f64 x y)))
  (+.f64 (+.f64 (log.f64 x) (log.f64 y)) (+.f64 (log.f64 x) (log.f64 y)))
  (+.f64 1 1)
  (+.f64 1 1)
  (*.f64 (*.f64 x y) (*.f64 x y))
  (*.f64 (*.f64 x y) (*.f64 x y))
  (*.f64 (*.f64 x y) (*.f64 x y))
  (*.f64 (*.f64 x y) (*.f64 x y))
  (+.f64 1 1)
  (+.f64 1 1)
  (+.f64 1 1)
  (+.f64 1 1)
  (pow.f64 (*.f64 x y) (/.f64 3 2))
  (pow.f64 (*.f64 x y) (/.f64 3 2))
  (sqrt.f64 (pow.f64 (*.f64 x y) 3))
  (sqrt.f64 (pow.f64 (*.f64 x y) 3))
  (*.f64 (*.f64 x y) (*.f64 x y))
  (pow.f64 x 3)
  (pow.f64 y 3)
  (*.f64 (*.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 x y) 3)) (pow.f64 (*.f64 x y) 3))
  (*.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 3)) (cbrt.f64 (pow.f64 (*.f64 x y) 3)))
  (cbrt.f64 (pow.f64 (*.f64 x y) 3))
  (exp.f64 (pow.f64 (*.f64 x y) 3))
  (log.f64 (pow.f64 (*.f64 x y) 3))
  (*.f64 (*.f64 x y) (*.f64 x y))
  (pow.f64 x 3)
  (pow.f64 y 3)
  (pow.f64 (*.f64 x y) 1)
  (pow.f64 (*.f64 x y) (sqrt.f64 3))
  (pow.f64 (*.f64 x y) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
  (*.f64 1 3)
  (*.f64 1 3)
  (*.f64 (log.f64 (*.f64 x y)) 3)
  (*.f64 (log.f64 (*.f64 x y)) 3)
  (*.f64 (+.f64 (log.f64 x) (log.f64 y)) 3)
  (-.f64 x (*.f64 (pow.f64 x 2) y))
  (-.f64 x (*.f64 (pow.f64 x 2) y))
  (-.f64 x (*.f64 (pow.f64 x 2) y))
  x
  (*.f64 -1 (*.f64 (pow.f64 x 4) (pow.f64 y 3)))
  (*.f64 -1 (*.f64 (pow.f64 x 4) (pow.f64 y 3)))
  (*.f64 (pow.f64 x 2) (pow.f64 y 2))
  (*.f64 (pow.f64 x 2) (pow.f64 y 2))
  (*.f64 (pow.f64 x 2) (pow.f64 y 2))
  (*.f64 (pow.f64 x 3) (pow.f64 y 3))
  (*.f64 (pow.f64 x 3) (pow.f64 y 3))
  (*.f64 (pow.f64 x 3) (pow.f64 y 3))
1.415 * * [simplify]: iteration  0 :  5010  enodes  (cost  1787 )
1.426 * [simplify]: Simplified to:
   (*.f64 (+.f64 1 (+.f64 (*.f64 x y) (pow.f64 (*.f64 x y) 2))) (+.f64 1 (pow.f64 (*.f64 x y) 3)))
  (*.f64 (+.f64 1 (+.f64 (*.f64 x y) (pow.f64 (*.f64 x y) 2))) (+.f64 1 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (*.f64 x y) 6))))
  (/.f64 (*.f64 x (-.f64 1 (pow.f64 (*.f64 x y) 3))) (-.f64 1 (*.f64 (pow.f64 (*.f64 x y) 2) (*.f64 (+.f64 1 (*.f64 x y)) (+.f64 1 (*.f64 x y))))))
  (/.f64 (*.f64 x (-.f64 1 (pow.f64 (*.f64 x y) 3))) (+.f64 1 (pow.f64 (+.f64 (*.f64 x y) (pow.f64 (*.f64 x y) 2)) 3)))
  (/.f64 (+.f64 1 (+.f64 (*.f64 x y) (pow.f64 (*.f64 x y) 2))) (-.f64 1 (pow.f64 (*.f64 x y) 3)))
  (*.f64 x (-.f64 1 (pow.f64 (*.f64 x y) 3)))
  (*.f64 x (-.f64 1 (pow.f64 (*.f64 x y) 3)))
  (/.f64 (*.f64 x (-.f64 1 (pow.f64 (*.f64 x y) 3))) (sqrt.f64 (+.f64 1 (+.f64 (*.f64 x y) (pow.f64 (*.f64 x y) 2)))))
  (/.f64 (*.f64 x (-.f64 1 (pow.f64 (*.f64 x y) 3))) (*.f64 (cbrt.f64 (+.f64 1 (+.f64 (*.f64 x y) (pow.f64 (*.f64 x y) 2)))) (cbrt.f64 (+.f64 1 (+.f64 (*.f64 x y) (pow.f64 (*.f64 x y) 2))))))
  (/.f64 (+.f64 1 (+.f64 (*.f64 x y) (pow.f64 (*.f64 x y) 2))) (*.f64 x (-.f64 1 (pow.f64 (*.f64 x y) 3))))
  (/.f64 1 (+.f64 1 (+.f64 (*.f64 x y) (pow.f64 (*.f64 x y) 2))))
  x
  (/.f64 (-.f64 1 (pow.f64 (*.f64 x y) 3)) (+.f64 1 (+.f64 (*.f64 x y) (pow.f64 (*.f64 x y) 2))))
  x
  (/.f64 (-.f64 1 (pow.f64 (*.f64 x y) 3)) (+.f64 1 (+.f64 (*.f64 x y) (pow.f64 (*.f64 x y) 2))))
  (/.f64 x (sqrt.f64 (+.f64 1 (+.f64 (*.f64 x y) (pow.f64 (*.f64 x y) 2)))))
  (/.f64 (-.f64 1 (pow.f64 (*.f64 x y) 3)) (sqrt.f64 (+.f64 1 (+.f64 (*.f64 x y) (pow.f64 (*.f64 x y) 2)))))
  (/.f64 x (*.f64 (cbrt.f64 (+.f64 1 (+.f64 (*.f64 x y) (pow.f64 (*.f64 x y) 2)))) (cbrt.f64 (+.f64 1 (+.f64 (*.f64 x y) (pow.f64 (*.f64 x y) 2))))))
  (/.f64 (-.f64 1 (pow.f64 (*.f64 x y) 3)) (cbrt.f64 (+.f64 1 (+.f64 (*.f64 x y) (pow.f64 (*.f64 x y) 2)))))
  (*.f64 x (+.f64 -1 (pow.f64 (*.f64 x y) 3)))
  (-.f64 -1 (+.f64 (*.f64 x y) (pow.f64 (*.f64 x y) 2)))
  (sqrt.f64 (*.f64 (/.f64 (-.f64 1 (pow.f64 (*.f64 x y) 3)) (+.f64 1 (+.f64 (*.f64 x y) (pow.f64 (*.f64 x y) 2)))) x))
  (sqrt.f64 (*.f64 (/.f64 (-.f64 1 (pow.f64 (*.f64 x y) 3)) (+.f64 1 (+.f64 (*.f64 x y) (pow.f64 (*.f64 x y) 2)))) x))
  (pow.f64 (*.f64 (/.f64 (-.f64 1 (pow.f64 (*.f64 x y) 3)) (+.f64 1 (+.f64 (*.f64 x y) (pow.f64 (*.f64 x y) 2)))) x) 3)
  (*.f64 (cbrt.f64 (*.f64 (/.f64 (-.f64 1 (pow.f64 (*.f64 x y) 3)) (+.f64 1 (+.f64 (*.f64 x y) (pow.f64 (*.f64 x y) 2)))) x)) (cbrt.f64 (*.f64 (/.f64 (-.f64 1 (pow.f64 (*.f64 x y) 3)) (+.f64 1 (+.f64 (*.f64 x y) (pow.f64 (*.f64 x y) 2)))) x)))
  (cbrt.f64 (*.f64 (/.f64 (-.f64 1 (pow.f64 (*.f64 x y) 3)) (+.f64 1 (+.f64 (*.f64 x y) (pow.f64 (*.f64 x y) 2)))) x))
  (pow.f64 (*.f64 (/.f64 (-.f64 1 (pow.f64 (*.f64 x y) 3)) (+.f64 1 (+.f64 (*.f64 x y) (pow.f64 (*.f64 x y) 2)))) x) 3)
  (pow.f64 (*.f64 (/.f64 (-.f64 1 (pow.f64 (*.f64 x y) 3)) (+.f64 1 (+.f64 (*.f64 x y) (pow.f64 (*.f64 x y) 2)))) x) 3)
  (exp.f64 (*.f64 (/.f64 (-.f64 1 (pow.f64 (*.f64 x y) 3)) (+.f64 1 (+.f64 (*.f64 x y) (pow.f64 (*.f64 x y) 2)))) x))
  (log.f64 (*.f64 (/.f64 (-.f64 1 (pow.f64 (*.f64 x y) 3)) (+.f64 1 (+.f64 (*.f64 x y) (pow.f64 (*.f64 x y) 2)))) x))
  (log.f64 (*.f64 (/.f64 (-.f64 1 (pow.f64 (*.f64 x y) 3)) (+.f64 1 (+.f64 (*.f64 x y) (pow.f64 (*.f64 x y) 2)))) x))
  (log.f64 (*.f64 (/.f64 (-.f64 1 (pow.f64 (*.f64 x y) 3)) (+.f64 1 (+.f64 (*.f64 x y) (pow.f64 (*.f64 x y) 2)))) x))
  (*.f64 x (-.f64 1 (pow.f64 (*.f64 x y) 6)))
  (*.f64 x (-.f64 1 (pow.f64 (pow.f64 (*.f64 x y) 3) 3)))
  (*.f64 x (-.f64 1 (pow.f64 (*.f64 x y) 3)))
  (*.f64 (-.f64 1 (pow.f64 (*.f64 x y) 3)) (sqrt.f64 x))
  (*.f64 (-.f64 1 (pow.f64 (*.f64 x y) 3)) (cbrt.f64 x))
  x
  (*.f64 x (+.f64 1 (pow.f64 (*.f64 x y) 3/2)))
  (*.f64 x (+.f64 1 (sqrt.f64 (pow.f64 (*.f64 x y) 3))))
  (*.f64 x (+.f64 1 (pow.f64 (*.f64 x y) 3/2)))
  (*.f64 x (+.f64 1 (sqrt.f64 (pow.f64 (*.f64 x y) 3))))
  x
  (*.f64 x (sqrt.f64 (-.f64 1 (pow.f64 (*.f64 x y) 3))))
  (*.f64 x (*.f64 (cbrt.f64 (-.f64 1 (pow.f64 (*.f64 x y) 3))) (cbrt.f64 (-.f64 1 (pow.f64 (*.f64 x y) 3)))))
  x
  (*.f64 x (neg.f64 (pow.f64 (*.f64 x y) 3)))
  x
  (*.f64 x (neg.f64 (pow.f64 (*.f64 x y) 3)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (-.f64 1 (pow.f64 (*.f64 x y) 3))))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (-.f64 1 (pow.f64 (*.f64 x y) 3))))
  (sqrt.f64 (*.f64 x (-.f64 1 (pow.f64 (*.f64 x y) 3))))
  (sqrt.f64 (*.f64 x (-.f64 1 (pow.f64 (*.f64 x y) 3))))
  (pow.f64 (*.f64 x (-.f64 1 (pow.f64 (*.f64 x y) 3))) 3)
  (*.f64 (cbrt.f64 (*.f64 x (-.f64 1 (pow.f64 (*.f64 x y) 3)))) (cbrt.f64 (*.f64 x (-.f64 1 (pow.f64 (*.f64 x y) 3)))))
  (cbrt.f64 (*.f64 x (-.f64 1 (pow.f64 (*.f64 x y) 3))))
  (pow.f64 (*.f64 x (-.f64 1 (pow.f64 (*.f64 x y) 3))) 3)
  (exp.f64 (*.f64 x (-.f64 1 (pow.f64 (*.f64 x y) 3))))
  (log.f64 (*.f64 x (-.f64 1 (pow.f64 (*.f64 x y) 3))))
  (log.f64 (*.f64 x (-.f64 1 (pow.f64 (*.f64 x y) 3))))
  (*.f64 x (-.f64 1 (pow.f64 (*.f64 x y) 3)))
  (*.f64 y (*.f64 x y))
  (*.f64 x (*.f64 x y))
  2
  2
  2
  2
  (*.f64 x x)
  (*.f64 y y)
  (fabs.f64 (*.f64 x y))
  (fabs.f64 (*.f64 x y))
  (pow.f64 (*.f64 x y) 6)
  (*.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2)) (cbrt.f64 (pow.f64 (*.f64 x y) 2)))
  (cbrt.f64 (pow.f64 (*.f64 x y) 2))
  (pow.f64 (*.f64 x y) 6)
  (pow.f64 (*.f64 x y) 6)
  (pow.f64 (*.f64 x y) 6)
  (pow.f64 (*.f64 x y) 6)
  (exp.f64 (pow.f64 (*.f64 x y) 2))
  (*.f64 2 (log.f64 (*.f64 x y)))
  (*.f64 2 (log.f64 (*.f64 x y)))
  (*.f64 2 (log.f64 (*.f64 x y)))
  (*.f64 2 (log.f64 (*.f64 x y)))
  (*.f64 2 (log.f64 (*.f64 x y)))
  2
  2
  (pow.f64 (*.f64 x y) 2)
  (pow.f64 (*.f64 x y) 2)
  (pow.f64 (*.f64 x y) 2)
  (pow.f64 (*.f64 x y) 2)
  2
  2
  2
  2
  (pow.f64 (*.f64 x y) 3/2)
  (pow.f64 (*.f64 x y) 3/2)
  (sqrt.f64 (pow.f64 (*.f64 x y) 3))
  (sqrt.f64 (pow.f64 (*.f64 x y) 3))
  (pow.f64 (*.f64 x y) 2)
  (pow.f64 x 3)
  (pow.f64 y 3)
  (pow.f64 (pow.f64 (*.f64 x y) 3) 3)
  (pow.f64 (*.f64 x y) 2)
  (*.f64 x y)
  (exp.f64 (pow.f64 (*.f64 x y) 3))
  (*.f64 3 (log.f64 (*.f64 x y)))
  (pow.f64 (*.f64 x y) 2)
  (pow.f64 x 3)
  (pow.f64 y 3)
  (*.f64 x y)
  (pow.f64 (*.f64 x y) (sqrt.f64 3))
  (pow.f64 (*.f64 x y) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
  3
  3
  (*.f64 3 (log.f64 (*.f64 x y)))
  (*.f64 3 (log.f64 (*.f64 x y)))
  (*.f64 3 (log.f64 (*.f64 x y)))
  (-.f64 x (*.f64 x (*.f64 x y)))
  (-.f64 x (*.f64 x (*.f64 x y)))
  (-.f64 x (*.f64 x (*.f64 x y)))
  x
  (*.f64 x (neg.f64 (pow.f64 (*.f64 x y) 3)))
  (*.f64 x (neg.f64 (pow.f64 (*.f64 x y) 3)))
  (pow.f64 (*.f64 x y) 2)
  (pow.f64 (*.f64 x y) 2)
  (pow.f64 (*.f64 x y) 2)
  (pow.f64 (*.f64 x y) 3)
  (pow.f64 (*.f64 x y) 3)
  (pow.f64 (*.f64 x y) 3)
1.427 * * * [progress]: adding candidates to table
1.770 * [progress]: [Phase 3 of 3] Extracting.
1.770 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (/.f64 (-.f64 x (*.f64 (pow.f64 x 3) (*.f64 y y))) (+.f64 1 (*.f64 x y))))> #<alt (λ (x y) (*.f64 (sqrt.f64 x) (*.f64 (-.f64 1 (*.f64 x y)) (sqrt.f64 x))))> #<alt (λ (x y) (+.f64 x (*.f64 x (neg.f64 (*.f64 x y)))))> #<alt (λ (x y) (/.f64 x (/.f64 (+.f64 1 (+.f64 (*.f64 x y) (pow.f64 (*.f64 x y) 2))) (-.f64 1 (pow.f64 (*.f64 x y) 3)))))> #<alt (λ (x y) (*.f64 (sqrt.f64 (*.f64 x (-.f64 1 (*.f64 x y)))) (sqrt.f64 (*.f64 x (-.f64 1 (*.f64 x y))))))> #<alt (λ (x y) (+.f64 x (*.f64 (*.f64 x x) (neg.f64 y))))>)
1.771 * * * [regime-changes]: Trying 3 branch expressions: ((*.f64 x (-.f64 1 (*.f64 x y))) y x)
1.771 * * * * [regimes]: Trying to branch on (*.f64 x (-.f64 1 (*.f64 x y))) from (#<alt (λ (x y) (/.f64 (-.f64 x (*.f64 (pow.f64 x 3) (*.f64 y y))) (+.f64 1 (*.f64 x y))))> #<alt (λ (x y) (*.f64 (sqrt.f64 x) (*.f64 (-.f64 1 (*.f64 x y)) (sqrt.f64 x))))> #<alt (λ (x y) (+.f64 x (*.f64 x (neg.f64 (*.f64 x y)))))> #<alt (λ (x y) (/.f64 x (/.f64 (+.f64 1 (+.f64 (*.f64 x y) (pow.f64 (*.f64 x y) 2))) (-.f64 1 (pow.f64 (*.f64 x y) 3)))))> #<alt (λ (x y) (*.f64 (sqrt.f64 (*.f64 x (-.f64 1 (*.f64 x y)))) (sqrt.f64 (*.f64 x (-.f64 1 (*.f64 x y))))))> #<alt (λ (x y) (+.f64 x (*.f64 (*.f64 x x) (neg.f64 y))))>)
1.855 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (/.f64 (-.f64 x (*.f64 (pow.f64 x 3) (*.f64 y y))) (+.f64 1 (*.f64 x y))))> #<alt (λ (x y) (*.f64 (sqrt.f64 x) (*.f64 (-.f64 1 (*.f64 x y)) (sqrt.f64 x))))> #<alt (λ (x y) (+.f64 x (*.f64 x (neg.f64 (*.f64 x y)))))> #<alt (λ (x y) (/.f64 x (/.f64 (+.f64 1 (+.f64 (*.f64 x y) (pow.f64 (*.f64 x y) 2))) (-.f64 1 (pow.f64 (*.f64 x y) 3)))))> #<alt (λ (x y) (*.f64 (sqrt.f64 (*.f64 x (-.f64 1 (*.f64 x y)))) (sqrt.f64 (*.f64 x (-.f64 1 (*.f64 x y))))))> #<alt (λ (x y) (+.f64 x (*.f64 (*.f64 x x) (neg.f64 y))))>)
1.942 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (/.f64 (-.f64 x (*.f64 (pow.f64 x 3) (*.f64 y y))) (+.f64 1 (*.f64 x y))))> #<alt (λ (x y) (*.f64 (sqrt.f64 x) (*.f64 (-.f64 1 (*.f64 x y)) (sqrt.f64 x))))> #<alt (λ (x y) (+.f64 x (*.f64 x (neg.f64 (*.f64 x y)))))> #<alt (λ (x y) (/.f64 x (/.f64 (+.f64 1 (+.f64 (*.f64 x y) (pow.f64 (*.f64 x y) 2))) (-.f64 1 (pow.f64 (*.f64 x y) 3)))))> #<alt (λ (x y) (*.f64 (sqrt.f64 (*.f64 x (-.f64 1 (*.f64 x y)))) (sqrt.f64 (*.f64 x (-.f64 1 (*.f64 x y))))))> #<alt (λ (x y) (+.f64 x (*.f64 (*.f64 x x) (neg.f64 y))))>)
2.025 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
2.025 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+.f64 x (*.f64 x (neg.f64 (*.f64 x y))))
2.028 * * [simplify]: iteration  0 :  44  enodes  (cost  10 )
2.028 * * [simplify]: iteration  1 :  44  enodes  (cost  10 )
2.028 * [simplify]: Simplified to:
   (-.f64 x (*.f64 x (*.f64 x y)))
4.117 * [regime-testing]: End program error score: 0.09306906258515281