34.928 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.078 * * * [progress]: [2/2] Setting up program.
0.081 * [progress]: [Phase 2 of 3] Improving.
0.081 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+.f64 (+.f64 (*.f64 x 2.0) (*.f64 x x)) (*.f64 y y))
0.086 * * [simplify]: iteration  0 :  23  enodes  (cost  9 )
0.086 * * [simplify]: iteration  1 :  23  enodes  (cost  9 )
0.087 * [simplify]: Simplified to:
   (+.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))
0.090 * * [progress]: iteration 1 / 4
0.090 * * * [progress]: picking best candidate
0.094 * * * * [pick]: Picked  #<alt (λ (x y) (+.f64 (+.f64 (*.f64 x 2.0) (*.f64 x x)) (*.f64 y y)))>
0.094 * * * [progress]: localizing error
0.100 * * * [progress]: generating rewritten candidates
0.100 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.107 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.112 * * * [progress]: generating series expansions
0.112 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.113 * [approximate]: Taking taylor expansion of (+ (pow x 2) (+ (* 2.0 x) (pow y 2))) in (x y) around 0
0.113 * [taylor]: Taking taylor expansion of (+ (pow x 2) (+ (* 2.0 x) (pow y 2))) in y
0.113 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.113 * [taylor]: Taking taylor expansion of x in y
0.113 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (pow y 2)) in y
0.113 * [taylor]: Taking taylor expansion of (* 2.0 x) in y
0.113 * [taylor]: Taking taylor expansion of 2.0 in y
0.113 * [taylor]: Taking taylor expansion of x in y
0.113 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.113 * [taylor]: Taking taylor expansion of y in y
0.113 * [taylor]: Taking taylor expansion of (+ (pow x 2) (+ (* 2.0 x) (pow y 2))) in x
0.113 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.113 * [taylor]: Taking taylor expansion of x in x
0.113 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (pow y 2)) in x
0.113 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
0.113 * [taylor]: Taking taylor expansion of 2.0 in x
0.113 * [taylor]: Taking taylor expansion of x in x
0.113 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.113 * [taylor]: Taking taylor expansion of y in x
0.113 * [taylor]: Taking taylor expansion of (+ (pow x 2) (+ (* 2.0 x) (pow y 2))) in x
0.113 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.113 * [taylor]: Taking taylor expansion of x in x
0.113 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (pow y 2)) in x
0.113 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
0.113 * [taylor]: Taking taylor expansion of 2.0 in x
0.113 * [taylor]: Taking taylor expansion of x in x
0.113 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.113 * [taylor]: Taking taylor expansion of y in x
0.113 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.113 * [taylor]: Taking taylor expansion of y in y
0.114 * [taylor]: Taking taylor expansion of 2.0 in y
0.114 * [taylor]: Taking taylor expansion of 1 in y
0.114 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x)))) in (x y) around 0
0.114 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x)))) in y
0.114 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.114 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.114 * [taylor]: Taking taylor expansion of x in y
0.114 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x))) in y
0.114 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.115 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.115 * [taylor]: Taking taylor expansion of y in y
0.115 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y
0.115 * [taylor]: Taking taylor expansion of 2.0 in y
0.115 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.115 * [taylor]: Taking taylor expansion of x in y
0.115 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x)))) in x
0.115 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.115 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.115 * [taylor]: Taking taylor expansion of x in x
0.115 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x))) in x
0.115 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
0.115 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.115 * [taylor]: Taking taylor expansion of y in x
0.115 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
0.115 * [taylor]: Taking taylor expansion of 2.0 in x
0.115 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.115 * [taylor]: Taking taylor expansion of x in x
0.115 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x)))) in x
0.115 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.115 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.115 * [taylor]: Taking taylor expansion of x in x
0.115 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x))) in x
0.115 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
0.115 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.115 * [taylor]: Taking taylor expansion of y in x
0.115 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
0.115 * [taylor]: Taking taylor expansion of 2.0 in x
0.115 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.115 * [taylor]: Taking taylor expansion of x in x
0.115 * [taylor]: Taking taylor expansion of 1 in y
0.115 * [taylor]: Taking taylor expansion of 2.0 in y
0.116 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.116 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.116 * [taylor]: Taking taylor expansion of y in y
0.116 * [taylor]: Taking taylor expansion of 0 in y
0.117 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (* 2.0 (/ 1 x))) in (x y) around 0
0.117 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (* 2.0 (/ 1 x))) in y
0.117 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y
0.117 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.117 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.117 * [taylor]: Taking taylor expansion of x in y
0.117 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.117 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.117 * [taylor]: Taking taylor expansion of y in y
0.117 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y
0.117 * [taylor]: Taking taylor expansion of 2.0 in y
0.117 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.117 * [taylor]: Taking taylor expansion of x in y
0.117 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (* 2.0 (/ 1 x))) in x
0.117 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
0.117 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.117 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.117 * [taylor]: Taking taylor expansion of x in x
0.117 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
0.118 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.118 * [taylor]: Taking taylor expansion of y in x
0.118 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
0.118 * [taylor]: Taking taylor expansion of 2.0 in x
0.118 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.118 * [taylor]: Taking taylor expansion of x in x
0.118 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (* 2.0 (/ 1 x))) in x
0.118 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
0.118 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.118 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.118 * [taylor]: Taking taylor expansion of x in x
0.118 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
0.118 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.118 * [taylor]: Taking taylor expansion of y in x
0.118 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
0.118 * [taylor]: Taking taylor expansion of 2.0 in x
0.118 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.118 * [taylor]: Taking taylor expansion of x in x
0.118 * [taylor]: Taking taylor expansion of 1 in y
0.118 * [taylor]: Taking taylor expansion of (neg 2.0) in y
0.118 * [taylor]: Taking taylor expansion of 2.0 in y
0.119 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.119 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.119 * [taylor]: Taking taylor expansion of y in y
0.119 * [taylor]: Taking taylor expansion of 0 in y
0.120 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.120 * [approximate]: Taking taylor expansion of (+ (pow x 2) (* 2.0 x)) in (x) around 0
0.120 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 2.0 x)) in x
0.120 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.120 * [taylor]: Taking taylor expansion of x in x
0.120 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
0.120 * [taylor]: Taking taylor expansion of 2.0 in x
0.120 * [taylor]: Taking taylor expansion of x in x
0.120 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 2.0 x)) in x
0.120 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.120 * [taylor]: Taking taylor expansion of x in x
0.120 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
0.120 * [taylor]: Taking taylor expansion of 2.0 in x
0.120 * [taylor]: Taking taylor expansion of x in x
0.121 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) in (x) around 0
0.121 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) in x
0.121 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.121 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.121 * [taylor]: Taking taylor expansion of x in x
0.122 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
0.122 * [taylor]: Taking taylor expansion of 2.0 in x
0.122 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.122 * [taylor]: Taking taylor expansion of x in x
0.122 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) in x
0.122 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.122 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.122 * [taylor]: Taking taylor expansion of x in x
0.122 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
0.122 * [taylor]: Taking taylor expansion of 2.0 in x
0.122 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.122 * [taylor]: Taking taylor expansion of x in x
0.124 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) in (x) around 0
0.124 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) in x
0.124 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.124 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.124 * [taylor]: Taking taylor expansion of x in x
0.124 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
0.124 * [taylor]: Taking taylor expansion of 2.0 in x
0.124 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.124 * [taylor]: Taking taylor expansion of x in x
0.124 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) in x
0.124 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.124 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.124 * [taylor]: Taking taylor expansion of x in x
0.124 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
0.124 * [taylor]: Taking taylor expansion of 2.0 in x
0.124 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.124 * [taylor]: Taking taylor expansion of x in x
0.127 * * * [progress]: simplifying candidates
0.127 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (*.f64 (exp.f64 (*.f64 x 2.0)) (exp.f64 (*.f64 x x))) (exp.f64 (*.f64 y y)))
  (*.f64 (exp.f64 (+.f64 (*.f64 x 2.0) (*.f64 x x))) (exp.f64 (*.f64 y y)))
  (log.f64 (+.f64 (+.f64 (*.f64 x 2.0) (*.f64 x x)) (*.f64 y y)))
  (exp.f64 (+.f64 (+.f64 (*.f64 x 2.0) (*.f64 x x)) (*.f64 y y)))
  (*.f64 (cbrt.f64 (+.f64 (+.f64 (*.f64 x 2.0) (*.f64 x x)) (*.f64 y y))) (cbrt.f64 (+.f64 (+.f64 (*.f64 x 2.0) (*.f64 x x)) (*.f64 y y))))
  (cbrt.f64 (+.f64 (+.f64 (*.f64 x 2.0) (*.f64 x x)) (*.f64 y y)))
  (*.f64 (*.f64 (+.f64 (+.f64 (*.f64 x 2.0) (*.f64 x x)) (*.f64 y y)) (+.f64 (+.f64 (*.f64 x 2.0) (*.f64 x x)) (*.f64 y y))) (+.f64 (+.f64 (*.f64 x 2.0) (*.f64 x x)) (*.f64 y y)))
  (sqrt.f64 (+.f64 (+.f64 (*.f64 x 2.0) (*.f64 x x)) (*.f64 y y)))
  (sqrt.f64 (+.f64 (+.f64 (*.f64 x 2.0) (*.f64 x x)) (*.f64 y y)))
  (+.f64 (pow.f64 (+.f64 (*.f64 x 2.0) (*.f64 x x)) 3) (pow.f64 (*.f64 y y) 3))
  (+.f64 (*.f64 (+.f64 (*.f64 x 2.0) (*.f64 x x)) (+.f64 (*.f64 x 2.0) (*.f64 x x))) (-.f64 (*.f64 (*.f64 y y) (*.f64 y y)) (*.f64 (+.f64 (*.f64 x 2.0) (*.f64 x x)) (*.f64 y y))))
  (-.f64 (*.f64 (+.f64 (*.f64 x 2.0) (*.f64 x x)) (+.f64 (*.f64 x 2.0) (*.f64 x x))) (*.f64 (*.f64 y y) (*.f64 y y)))
  (-.f64 (+.f64 (*.f64 x 2.0) (*.f64 x x)) (*.f64 y y))
  (+.f64 (*.f64 x x) (*.f64 y y))
  (*.f64 (exp.f64 (*.f64 x 2.0)) (exp.f64 (*.f64 x x)))
  (log.f64 (+.f64 (*.f64 x 2.0) (*.f64 x x)))
  (exp.f64 (+.f64 (*.f64 x 2.0) (*.f64 x x)))
  (*.f64 (cbrt.f64 (+.f64 (*.f64 x 2.0) (*.f64 x x))) (cbrt.f64 (+.f64 (*.f64 x 2.0) (*.f64 x x))))
  (cbrt.f64 (+.f64 (*.f64 x 2.0) (*.f64 x x)))
  (*.f64 (*.f64 (+.f64 (*.f64 x 2.0) (*.f64 x x)) (+.f64 (*.f64 x 2.0) (*.f64 x x))) (+.f64 (*.f64 x 2.0) (*.f64 x x)))
  (sqrt.f64 (+.f64 (*.f64 x 2.0) (*.f64 x x)))
  (sqrt.f64 (+.f64 (*.f64 x 2.0) (*.f64 x x)))
  (+.f64 (pow.f64 (*.f64 x 2.0) 3) (pow.f64 (*.f64 x x) 3))
  (+.f64 (*.f64 (*.f64 x 2.0) (*.f64 x 2.0)) (-.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 (*.f64 x 2.0) (*.f64 x x))))
  (-.f64 (*.f64 (*.f64 x 2.0) (*.f64 x 2.0)) (*.f64 (*.f64 x x) (*.f64 x x)))
  (-.f64 (*.f64 x 2.0) (*.f64 x x))
  (+.f64 2.0 x)
  (+.f64 (pow.f64 x 2) (+.f64 (*.f64 2.0 x) (pow.f64 y 2)))
  (+.f64 (pow.f64 x 2) (+.f64 (*.f64 2.0 x) (pow.f64 y 2)))
  (+.f64 (pow.f64 x 2) (+.f64 (*.f64 2.0 x) (pow.f64 y 2)))
  (+.f64 (pow.f64 x 2) (*.f64 2.0 x))
  (+.f64 (pow.f64 x 2) (*.f64 2.0 x))
  (+.f64 (pow.f64 x 2) (*.f64 2.0 x))
0.175 * * [simplify]: iteration  0 :  5263  enodes  (cost  302 )
0.177 * [simplify]: Simplified to:
   (exp.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))
  (exp.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))
  (log.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))
  (exp.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))
  (*.f64 (cbrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))) (cbrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))))
  (cbrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))
  (pow.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))) 3)
  (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))
  (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))
  (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6))
  (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))
  (-.f64 (*.f64 x (*.f64 x (*.f64 (+.f64 x 2.0) (+.f64 x 2.0)))) (pow.f64 y 4))
  (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))
  (+.f64 (*.f64 x x) (*.f64 y y))
  (pow.f64 (exp.f64 x) (+.f64 x 2.0))
  (log.f64 (*.f64 x (+.f64 x 2.0)))
  (pow.f64 (exp.f64 x) (+.f64 x 2.0))
  (*.f64 (cbrt.f64 (*.f64 x (+.f64 x 2.0))) (cbrt.f64 (*.f64 x (+.f64 x 2.0))))
  (cbrt.f64 (*.f64 x (+.f64 x 2.0)))
  (pow.f64 (*.f64 x (+.f64 x 2.0)) 3)
  (sqrt.f64 (*.f64 x (+.f64 x 2.0)))
  (sqrt.f64 (*.f64 x (+.f64 x 2.0)))
  (+.f64 (pow.f64 (*.f64 x 2.0) 3) (pow.f64 x 6))
  (+.f64 (pow.f64 x 4) (*.f64 (*.f64 x (*.f64 x 2.0)) (-.f64 2.0 x)))
  (-.f64 (*.f64 (*.f64 x 2.0) (*.f64 x 2.0)) (pow.f64 x 4))
  (*.f64 x (-.f64 2.0 x))
  (+.f64 x 2.0)
  (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))
  (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))
  (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))
  (*.f64 x (+.f64 x 2.0))
  (*.f64 x (+.f64 x 2.0))
  (*.f64 x (+.f64 x 2.0))
0.177 * * * [progress]: adding candidates to table
0.204 * * [progress]: iteration 2 / 4
0.205 * * * [progress]: picking best candidate
0.209 * * * * [pick]: Picked  #<alt (λ (x y) (*.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))) (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))))>
0.209 * * * [progress]: localizing error
0.217 * * * [progress]: generating rewritten candidates
0.217 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
0.230 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
0.235 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
0.240 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2)
0.251 * * * [progress]: generating series expansions
0.251 * * * * [progress]: [ 1 / 4 ] generating series at (2)
0.252 * [approximate]: Taking taylor expansion of (+ (pow x 2) (+ (* 2.0 x) (pow y 2))) in (y x) around 0
0.252 * [taylor]: Taking taylor expansion of (+ (pow x 2) (+ (* 2.0 x) (pow y 2))) in x
0.252 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.252 * [taylor]: Taking taylor expansion of x in x
0.252 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (pow y 2)) in x
0.252 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
0.252 * [taylor]: Taking taylor expansion of 2.0 in x
0.252 * [taylor]: Taking taylor expansion of x in x
0.252 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.252 * [taylor]: Taking taylor expansion of y in x
0.252 * [taylor]: Taking taylor expansion of (+ (pow x 2) (+ (* 2.0 x) (pow y 2))) in y
0.252 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.252 * [taylor]: Taking taylor expansion of x in y
0.252 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (pow y 2)) in y
0.252 * [taylor]: Taking taylor expansion of (* 2.0 x) in y
0.252 * [taylor]: Taking taylor expansion of 2.0 in y
0.252 * [taylor]: Taking taylor expansion of x in y
0.252 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.252 * [taylor]: Taking taylor expansion of y in y
0.252 * [taylor]: Taking taylor expansion of (+ (pow x 2) (+ (* 2.0 x) (pow y 2))) in y
0.252 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.252 * [taylor]: Taking taylor expansion of x in y
0.252 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (pow y 2)) in y
0.252 * [taylor]: Taking taylor expansion of (* 2.0 x) in y
0.252 * [taylor]: Taking taylor expansion of 2.0 in y
0.252 * [taylor]: Taking taylor expansion of x in y
0.252 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.252 * [taylor]: Taking taylor expansion of y in y
0.253 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 2.0 x)) in x
0.253 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.253 * [taylor]: Taking taylor expansion of x in x
0.253 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
0.253 * [taylor]: Taking taylor expansion of 2.0 in x
0.253 * [taylor]: Taking taylor expansion of x in x
0.253 * [taylor]: Taking taylor expansion of 0 in x
0.253 * [taylor]: Taking taylor expansion of 1 in x
0.254 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x)))) in (y x) around 0
0.254 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x)))) in x
0.254 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.254 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.254 * [taylor]: Taking taylor expansion of x in x
0.254 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x))) in x
0.254 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
0.254 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.254 * [taylor]: Taking taylor expansion of y in x
0.254 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
0.254 * [taylor]: Taking taylor expansion of 2.0 in x
0.254 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.254 * [taylor]: Taking taylor expansion of x in x
0.254 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x)))) in y
0.254 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.254 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.254 * [taylor]: Taking taylor expansion of x in y
0.255 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x))) in y
0.255 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.255 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.255 * [taylor]: Taking taylor expansion of y in y
0.255 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y
0.255 * [taylor]: Taking taylor expansion of 2.0 in y
0.255 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.255 * [taylor]: Taking taylor expansion of x in y
0.255 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x)))) in y
0.255 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.255 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.255 * [taylor]: Taking taylor expansion of x in y
0.255 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x))) in y
0.255 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.255 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.255 * [taylor]: Taking taylor expansion of y in y
0.255 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y
0.255 * [taylor]: Taking taylor expansion of 2.0 in y
0.255 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.255 * [taylor]: Taking taylor expansion of x in y
0.255 * [taylor]: Taking taylor expansion of 1 in x
0.255 * [taylor]: Taking taylor expansion of 0 in x
0.256 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) in x
0.256 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.256 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.256 * [taylor]: Taking taylor expansion of x in x
0.256 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
0.256 * [taylor]: Taking taylor expansion of 2.0 in x
0.256 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.256 * [taylor]: Taking taylor expansion of x in x
0.256 * [taylor]: Taking taylor expansion of 0 in x
0.257 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (* 2.0 (/ 1 x))) in (y x) around 0
0.257 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (* 2.0 (/ 1 x))) in x
0.257 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
0.257 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.257 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.257 * [taylor]: Taking taylor expansion of x in x
0.257 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
0.257 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.257 * [taylor]: Taking taylor expansion of y in x
0.257 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
0.258 * [taylor]: Taking taylor expansion of 2.0 in x
0.258 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.258 * [taylor]: Taking taylor expansion of x in x
0.258 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (* 2.0 (/ 1 x))) in y
0.258 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y
0.258 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.258 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.258 * [taylor]: Taking taylor expansion of x in y
0.258 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.258 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.258 * [taylor]: Taking taylor expansion of y in y
0.258 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y
0.258 * [taylor]: Taking taylor expansion of 2.0 in y
0.258 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.258 * [taylor]: Taking taylor expansion of x in y
0.258 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (* 2.0 (/ 1 x))) in y
0.258 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y
0.258 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.258 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.258 * [taylor]: Taking taylor expansion of x in y
0.258 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.258 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.258 * [taylor]: Taking taylor expansion of y in y
0.258 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y
0.258 * [taylor]: Taking taylor expansion of 2.0 in y
0.258 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.258 * [taylor]: Taking taylor expansion of x in y
0.258 * [taylor]: Taking taylor expansion of 1 in x
0.258 * [taylor]: Taking taylor expansion of 0 in x
0.259 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) in x
0.259 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.259 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.259 * [taylor]: Taking taylor expansion of x in x
0.259 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
0.259 * [taylor]: Taking taylor expansion of 2.0 in x
0.259 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.259 * [taylor]: Taking taylor expansion of x in x
0.259 * [taylor]: Taking taylor expansion of 0 in x
0.260 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
0.260 * [approximate]: Taking taylor expansion of (+ (pow x 2) (+ (* 2.0 x) (pow y 2))) in (y x) around 0
0.260 * [taylor]: Taking taylor expansion of (+ (pow x 2) (+ (* 2.0 x) (pow y 2))) in x
0.260 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.260 * [taylor]: Taking taylor expansion of x in x
0.260 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (pow y 2)) in x
0.260 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
0.260 * [taylor]: Taking taylor expansion of 2.0 in x
0.260 * [taylor]: Taking taylor expansion of x in x
0.260 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.260 * [taylor]: Taking taylor expansion of y in x
0.260 * [taylor]: Taking taylor expansion of (+ (pow x 2) (+ (* 2.0 x) (pow y 2))) in y
0.260 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.260 * [taylor]: Taking taylor expansion of x in y
0.260 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (pow y 2)) in y
0.260 * [taylor]: Taking taylor expansion of (* 2.0 x) in y
0.260 * [taylor]: Taking taylor expansion of 2.0 in y
0.260 * [taylor]: Taking taylor expansion of x in y
0.260 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.260 * [taylor]: Taking taylor expansion of y in y
0.261 * [taylor]: Taking taylor expansion of (+ (pow x 2) (+ (* 2.0 x) (pow y 2))) in y
0.261 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.261 * [taylor]: Taking taylor expansion of x in y
0.261 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (pow y 2)) in y
0.261 * [taylor]: Taking taylor expansion of (* 2.0 x) in y
0.261 * [taylor]: Taking taylor expansion of 2.0 in y
0.261 * [taylor]: Taking taylor expansion of x in y
0.261 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.261 * [taylor]: Taking taylor expansion of y in y
0.261 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 2.0 x)) in x
0.261 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.261 * [taylor]: Taking taylor expansion of x in x
0.261 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
0.261 * [taylor]: Taking taylor expansion of 2.0 in x
0.261 * [taylor]: Taking taylor expansion of x in x
0.261 * [taylor]: Taking taylor expansion of 0 in x
0.261 * [taylor]: Taking taylor expansion of 1 in x
0.262 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x)))) in (y x) around 0
0.262 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x)))) in x
0.262 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.262 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.262 * [taylor]: Taking taylor expansion of x in x
0.262 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x))) in x
0.262 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
0.262 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.262 * [taylor]: Taking taylor expansion of y in x
0.262 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
0.262 * [taylor]: Taking taylor expansion of 2.0 in x
0.262 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.262 * [taylor]: Taking taylor expansion of x in x
0.262 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x)))) in y
0.262 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.262 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.262 * [taylor]: Taking taylor expansion of x in y
0.263 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x))) in y
0.263 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.263 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.263 * [taylor]: Taking taylor expansion of y in y
0.263 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y
0.263 * [taylor]: Taking taylor expansion of 2.0 in y
0.263 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.263 * [taylor]: Taking taylor expansion of x in y
0.263 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x)))) in y
0.263 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.263 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.263 * [taylor]: Taking taylor expansion of x in y
0.263 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x))) in y
0.263 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.263 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.263 * [taylor]: Taking taylor expansion of y in y
0.263 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y
0.263 * [taylor]: Taking taylor expansion of 2.0 in y
0.263 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.263 * [taylor]: Taking taylor expansion of x in y
0.263 * [taylor]: Taking taylor expansion of 1 in x
0.263 * [taylor]: Taking taylor expansion of 0 in x
0.264 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) in x
0.264 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.264 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.264 * [taylor]: Taking taylor expansion of x in x
0.264 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
0.264 * [taylor]: Taking taylor expansion of 2.0 in x
0.264 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.264 * [taylor]: Taking taylor expansion of x in x
0.264 * [taylor]: Taking taylor expansion of 0 in x
0.265 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (* 2.0 (/ 1 x))) in (y x) around 0
0.265 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (* 2.0 (/ 1 x))) in x
0.265 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
0.265 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.265 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.265 * [taylor]: Taking taylor expansion of x in x
0.266 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
0.266 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.266 * [taylor]: Taking taylor expansion of y in x
0.266 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
0.266 * [taylor]: Taking taylor expansion of 2.0 in x
0.266 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.266 * [taylor]: Taking taylor expansion of x in x
0.266 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (* 2.0 (/ 1 x))) in y
0.266 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y
0.266 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.266 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.266 * [taylor]: Taking taylor expansion of x in y
0.266 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.266 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.266 * [taylor]: Taking taylor expansion of y in y
0.266 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y
0.266 * [taylor]: Taking taylor expansion of 2.0 in y
0.266 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.266 * [taylor]: Taking taylor expansion of x in y
0.266 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (* 2.0 (/ 1 x))) in y
0.266 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y
0.266 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.266 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.266 * [taylor]: Taking taylor expansion of x in y
0.266 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.266 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.266 * [taylor]: Taking taylor expansion of y in y
0.266 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y
0.266 * [taylor]: Taking taylor expansion of 2.0 in y
0.267 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.267 * [taylor]: Taking taylor expansion of x in y
0.267 * [taylor]: Taking taylor expansion of 1 in x
0.267 * [taylor]: Taking taylor expansion of 0 in x
0.267 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) in x
0.267 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.267 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.267 * [taylor]: Taking taylor expansion of x in x
0.267 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
0.267 * [taylor]: Taking taylor expansion of 2.0 in x
0.267 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.267 * [taylor]: Taking taylor expansion of x in x
0.268 * [taylor]: Taking taylor expansion of 0 in x
0.269 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
0.269 * [approximate]: Taking taylor expansion of (+ (pow x 2) (+ (* 2.0 x) (pow y 2))) in (y x) around 0
0.269 * [taylor]: Taking taylor expansion of (+ (pow x 2) (+ (* 2.0 x) (pow y 2))) in x
0.269 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.269 * [taylor]: Taking taylor expansion of x in x
0.269 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (pow y 2)) in x
0.269 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
0.269 * [taylor]: Taking taylor expansion of 2.0 in x
0.269 * [taylor]: Taking taylor expansion of x in x
0.269 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.269 * [taylor]: Taking taylor expansion of y in x
0.269 * [taylor]: Taking taylor expansion of (+ (pow x 2) (+ (* 2.0 x) (pow y 2))) in y
0.269 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.269 * [taylor]: Taking taylor expansion of x in y
0.269 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (pow y 2)) in y
0.269 * [taylor]: Taking taylor expansion of (* 2.0 x) in y
0.269 * [taylor]: Taking taylor expansion of 2.0 in y
0.269 * [taylor]: Taking taylor expansion of x in y
0.269 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.269 * [taylor]: Taking taylor expansion of y in y
0.269 * [taylor]: Taking taylor expansion of (+ (pow x 2) (+ (* 2.0 x) (pow y 2))) in y
0.269 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.269 * [taylor]: Taking taylor expansion of x in y
0.269 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (pow y 2)) in y
0.269 * [taylor]: Taking taylor expansion of (* 2.0 x) in y
0.269 * [taylor]: Taking taylor expansion of 2.0 in y
0.269 * [taylor]: Taking taylor expansion of x in y
0.269 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.269 * [taylor]: Taking taylor expansion of y in y
0.269 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 2.0 x)) in x
0.269 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.269 * [taylor]: Taking taylor expansion of x in x
0.269 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
0.269 * [taylor]: Taking taylor expansion of 2.0 in x
0.270 * [taylor]: Taking taylor expansion of x in x
0.270 * [taylor]: Taking taylor expansion of 0 in x
0.270 * [taylor]: Taking taylor expansion of 1 in x
0.270 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x)))) in (y x) around 0
0.270 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x)))) in x
0.270 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.270 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.270 * [taylor]: Taking taylor expansion of x in x
0.271 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x))) in x
0.271 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
0.271 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.271 * [taylor]: Taking taylor expansion of y in x
0.271 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
0.271 * [taylor]: Taking taylor expansion of 2.0 in x
0.271 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.271 * [taylor]: Taking taylor expansion of x in x
0.271 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x)))) in y
0.271 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.271 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.271 * [taylor]: Taking taylor expansion of x in y
0.271 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x))) in y
0.271 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.271 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.271 * [taylor]: Taking taylor expansion of y in y
0.271 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y
0.271 * [taylor]: Taking taylor expansion of 2.0 in y
0.271 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.271 * [taylor]: Taking taylor expansion of x in y
0.271 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x)))) in y
0.271 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.271 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.271 * [taylor]: Taking taylor expansion of x in y
0.271 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x))) in y
0.271 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.271 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.271 * [taylor]: Taking taylor expansion of y in y
0.271 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y
0.271 * [taylor]: Taking taylor expansion of 2.0 in y
0.271 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.271 * [taylor]: Taking taylor expansion of x in y
0.272 * [taylor]: Taking taylor expansion of 1 in x
0.272 * [taylor]: Taking taylor expansion of 0 in x
0.272 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) in x
0.272 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.272 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.272 * [taylor]: Taking taylor expansion of x in x
0.272 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
0.272 * [taylor]: Taking taylor expansion of 2.0 in x
0.272 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.272 * [taylor]: Taking taylor expansion of x in x
0.273 * [taylor]: Taking taylor expansion of 0 in x
0.273 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (* 2.0 (/ 1 x))) in (y x) around 0
0.273 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (* 2.0 (/ 1 x))) in x
0.273 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
0.273 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.273 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.273 * [taylor]: Taking taylor expansion of x in x
0.273 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
0.273 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.273 * [taylor]: Taking taylor expansion of y in x
0.274 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
0.274 * [taylor]: Taking taylor expansion of 2.0 in x
0.274 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.274 * [taylor]: Taking taylor expansion of x in x
0.274 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (* 2.0 (/ 1 x))) in y
0.274 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y
0.274 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.274 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.274 * [taylor]: Taking taylor expansion of x in y
0.274 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.274 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.274 * [taylor]: Taking taylor expansion of y in y
0.274 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y
0.274 * [taylor]: Taking taylor expansion of 2.0 in y
0.274 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.274 * [taylor]: Taking taylor expansion of x in y
0.274 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (* 2.0 (/ 1 x))) in y
0.274 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y
0.274 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.274 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.274 * [taylor]: Taking taylor expansion of x in y
0.274 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.274 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.274 * [taylor]: Taking taylor expansion of y in y
0.274 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y
0.274 * [taylor]: Taking taylor expansion of 2.0 in y
0.274 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.274 * [taylor]: Taking taylor expansion of x in y
0.274 * [taylor]: Taking taylor expansion of 1 in x
0.274 * [taylor]: Taking taylor expansion of 0 in x
0.275 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) in x
0.275 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.275 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.275 * [taylor]: Taking taylor expansion of x in x
0.275 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
0.275 * [taylor]: Taking taylor expansion of 2.0 in x
0.275 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.275 * [taylor]: Taking taylor expansion of x in x
0.276 * [taylor]: Taking taylor expansion of 0 in x
0.276 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2)
0.276 * [approximate]: Taking taylor expansion of (* (+ x 2.0) x) in (x) around 0
0.276 * [taylor]: Taking taylor expansion of (* (+ x 2.0) x) in x
0.276 * [taylor]: Taking taylor expansion of (+ x 2.0) in x
0.276 * [taylor]: Taking taylor expansion of x in x
0.276 * [taylor]: Taking taylor expansion of 2.0 in x
0.276 * [taylor]: Taking taylor expansion of x in x
0.276 * [taylor]: Taking taylor expansion of (* (+ x 2.0) x) in x
0.277 * [taylor]: Taking taylor expansion of (+ x 2.0) in x
0.277 * [taylor]: Taking taylor expansion of x in x
0.277 * [taylor]: Taking taylor expansion of 2.0 in x
0.277 * [taylor]: Taking taylor expansion of x in x
0.278 * [approximate]: Taking taylor expansion of (/ (+ 2.0 (/ 1 x)) x) in (x) around 0
0.278 * [taylor]: Taking taylor expansion of (/ (+ 2.0 (/ 1 x)) x) in x
0.278 * [taylor]: Taking taylor expansion of (+ 2.0 (/ 1 x)) in x
0.278 * [taylor]: Taking taylor expansion of 2.0 in x
0.278 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.278 * [taylor]: Taking taylor expansion of x in x
0.278 * [taylor]: Taking taylor expansion of x in x
0.278 * [taylor]: Taking taylor expansion of (/ (+ 2.0 (/ 1 x)) x) in x
0.278 * [taylor]: Taking taylor expansion of (+ 2.0 (/ 1 x)) in x
0.278 * [taylor]: Taking taylor expansion of 2.0 in x
0.278 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.278 * [taylor]: Taking taylor expansion of x in x
0.278 * [taylor]: Taking taylor expansion of x in x
0.280 * [approximate]: Taking taylor expansion of (* -1 (/ (- 2.0 (/ 1 x)) x)) in (x) around 0
0.280 * [taylor]: Taking taylor expansion of (* -1 (/ (- 2.0 (/ 1 x)) x)) in x
0.280 * [taylor]: Taking taylor expansion of -1 in x
0.280 * [taylor]: Taking taylor expansion of (/ (- 2.0 (/ 1 x)) x) in x
0.280 * [taylor]: Taking taylor expansion of (- 2.0 (/ 1 x)) in x
0.280 * [taylor]: Taking taylor expansion of 2.0 in x
0.280 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.280 * [taylor]: Taking taylor expansion of x in x
0.280 * [taylor]: Taking taylor expansion of x in x
0.280 * [taylor]: Taking taylor expansion of (* -1 (/ (- 2.0 (/ 1 x)) x)) in x
0.280 * [taylor]: Taking taylor expansion of -1 in x
0.280 * [taylor]: Taking taylor expansion of (/ (- 2.0 (/ 1 x)) x) in x
0.280 * [taylor]: Taking taylor expansion of (- 2.0 (/ 1 x)) in x
0.280 * [taylor]: Taking taylor expansion of 2.0 in x
0.280 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.280 * [taylor]: Taking taylor expansion of x in x
0.280 * [taylor]: Taking taylor expansion of x in x
0.282 * * * [progress]: simplifying candidates
0.284 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+.f64 1/2 1/2)
  (+.f64 1/2 (/.f64 1 2))
  (+.f64 1 1)
  (+.f64 (/.f64 1 2) 1/2)
  (+.f64 (/.f64 1 2) (/.f64 1 2))
  (*.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))) (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))
  (*.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))) (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))))
  (*.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))) (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))
  (+.f64 1 1)
  (+.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))) (log.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))))
  (log.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))) (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))))
  (exp.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))) (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))))
  (*.f64 (*.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))) (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))) (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))) (*.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))) (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))) (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))))
  (*.f64 (cbrt.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))) (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))))) (cbrt.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))) (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))))))
  (cbrt.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))) (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))))
  (*.f64 (*.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))) (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))) (*.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))) (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))))) (*.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))) (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))))
  (*.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))) (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))
  (sqrt.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))) (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))))
  (sqrt.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))) (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))))
  (*.f64 (sqrt.f64 (+.f64 (pow.f64 (*.f64 y y) 3) (pow.f64 (*.f64 x (+.f64 x 2.0)) 3))) (sqrt.f64 (+.f64 (pow.f64 (*.f64 y y) 3) (pow.f64 (*.f64 x (+.f64 x 2.0)) 3))))
  (*.f64 (sqrt.f64 (+.f64 (*.f64 (*.f64 y y) (*.f64 y y)) (-.f64 (*.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 x (+.f64 x 2.0))) (*.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))))) (sqrt.f64 (+.f64 (*.f64 (*.f64 y y) (*.f64 y y)) (-.f64 (*.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 x (+.f64 x 2.0))) (*.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))))))
  (*.f64 (sqrt.f64 (+.f64 (pow.f64 (*.f64 y y) 3) (pow.f64 (*.f64 x (+.f64 x 2.0)) 3))) (sqrt.f64 (-.f64 (*.f64 (*.f64 y y) (*.f64 y y)) (*.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 x (+.f64 x 2.0))))))
  (*.f64 (sqrt.f64 (+.f64 (*.f64 (*.f64 y y) (*.f64 y y)) (-.f64 (*.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 x (+.f64 x 2.0))) (*.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))))) (sqrt.f64 (-.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))))
  (*.f64 (sqrt.f64 (-.f64 (*.f64 (*.f64 y y) (*.f64 y y)) (*.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 x (+.f64 x 2.0))))) (sqrt.f64 (+.f64 (pow.f64 (*.f64 y y) 3) (pow.f64 (*.f64 x (+.f64 x 2.0)) 3))))
  (*.f64 (sqrt.f64 (-.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))) (sqrt.f64 (+.f64 (*.f64 (*.f64 y y) (*.f64 y y)) (-.f64 (*.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 x (+.f64 x 2.0))) (*.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))))))
  (*.f64 (sqrt.f64 (-.f64 (*.f64 (*.f64 y y) (*.f64 y y)) (*.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 x (+.f64 x 2.0))))) (sqrt.f64 (-.f64 (*.f64 (*.f64 y y) (*.f64 y y)) (*.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 x (+.f64 x 2.0))))))
  (*.f64 (sqrt.f64 (-.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))) (sqrt.f64 (-.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))))
  (*.f64 (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))))) (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))))))
  (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))))
  (*.f64 (sqrt.f64 (*.f64 (cbrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))) (cbrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))))) (sqrt.f64 (*.f64 (cbrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))) (cbrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))))))
  (*.f64 (sqrt.f64 (cbrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))) (sqrt.f64 (cbrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))))
  (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))))
  (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))))
  (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))))
  (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))))
  (*.f64 (sqrt.f64 1) (sqrt.f64 1))
  (*.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))) (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))))
  (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))))
  (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))))
  (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))))
  (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))))
  (*.f64 1 1)
  (*.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))) (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))))
  (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))))
  (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))))
  (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))))
  (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))))
  (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))))
  (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))))
  (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))))
  (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))))
  (*.f64 2 1/2)
  (*.f64 2 1)
  (*.f64 2 (/.f64 1 2))
  (*.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))) (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))) (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))))))
  (*.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))) (sqrt.f64 (*.f64 (cbrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))) (cbrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))))))
  (*.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))))
  (*.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))) (sqrt.f64 1))
  (*.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))))
  (*.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))) 1)
  (*.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))) (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))))
  (*.f64 (sqrt.f64 (cbrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))) (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))))
  (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))) (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))))
  (*.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))) (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))))
  (*.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))) (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))))
  (*.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))) (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))))
  (*.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))) (sqrt.f64 (+.f64 (pow.f64 (*.f64 y y) 3) (pow.f64 (*.f64 x (+.f64 x 2.0)) 3))))
  (*.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))) (sqrt.f64 (-.f64 (*.f64 (*.f64 y y) (*.f64 y y)) (*.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 x (+.f64 x 2.0))))))
  (*.f64 (sqrt.f64 (+.f64 (pow.f64 (*.f64 y y) 3) (pow.f64 (*.f64 x (+.f64 x 2.0)) 3))) (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))))
  (*.f64 (sqrt.f64 (-.f64 (*.f64 (*.f64 y y) (*.f64 y y)) (*.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 x (+.f64 x 2.0))))) (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))))
  (*.f64 (exp.f64 (*.f64 y y)) (exp.f64 (*.f64 x (+.f64 x 2.0))))
  (log.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))
  (exp.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))
  (*.f64 (cbrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))) (cbrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))))
  (cbrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))
  (*.f64 (*.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))) (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))) (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))
  (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))
  (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))
  (+.f64 (pow.f64 (*.f64 y y) 3) (pow.f64 (*.f64 x (+.f64 x 2.0)) 3))
  (+.f64 (*.f64 (*.f64 y y) (*.f64 y y)) (-.f64 (*.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 x (+.f64 x 2.0))) (*.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))))
  (-.f64 (*.f64 (*.f64 y y) (*.f64 y y)) (*.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 x (+.f64 x 2.0))))
  (-.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))
  (+.f64 (*.f64 y y) (*.f64 x x))
  (+.f64 (*.f64 y y) (*.f64 x x))
  (*.f64 (exp.f64 (*.f64 y y)) (exp.f64 (*.f64 x (+.f64 x 2.0))))
  (log.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))
  (exp.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))
  (*.f64 (cbrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))) (cbrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))))
  (cbrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))
  (*.f64 (*.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))) (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))) (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))
  (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))
  (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))
  (+.f64 (pow.f64 (*.f64 y y) 3) (pow.f64 (*.f64 x (+.f64 x 2.0)) 3))
  (+.f64 (*.f64 (*.f64 y y) (*.f64 y y)) (-.f64 (*.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 x (+.f64 x 2.0))) (*.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))))
  (-.f64 (*.f64 (*.f64 y y) (*.f64 y y)) (*.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 x (+.f64 x 2.0))))
  (-.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))
  (+.f64 (*.f64 y y) (*.f64 x x))
  (+.f64 (*.f64 y y) (*.f64 x x))
  (*.f64 x (+.f64 x 2.0))
  (+.f64 (log.f64 x) (log.f64 (+.f64 x 2.0)))
  (log.f64 (*.f64 x (+.f64 x 2.0)))
  (exp.f64 (*.f64 x (+.f64 x 2.0)))
  (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 (+.f64 x 2.0) (+.f64 x 2.0)) (+.f64 x 2.0)))
  (*.f64 (cbrt.f64 (*.f64 x (+.f64 x 2.0))) (cbrt.f64 (*.f64 x (+.f64 x 2.0))))
  (cbrt.f64 (*.f64 x (+.f64 x 2.0)))
  (*.f64 (*.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 x (+.f64 x 2.0))) (*.f64 x (+.f64 x 2.0)))
  (sqrt.f64 (*.f64 x (+.f64 x 2.0)))
  (sqrt.f64 (*.f64 x (+.f64 x 2.0)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x 2.0)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x 2.0)))
  (*.f64 x x)
  (*.f64 x 2.0)
  (*.f64 x x)
  (*.f64 2.0 x)
  (*.f64 x (*.f64 (cbrt.f64 (+.f64 x 2.0)) (cbrt.f64 (+.f64 x 2.0))))
  (*.f64 x (sqrt.f64 (+.f64 x 2.0)))
  (*.f64 x 1)
  (*.f64 x 1)
  (*.f64 (cbrt.f64 x) (+.f64 x 2.0))
  (*.f64 (sqrt.f64 x) (+.f64 x 2.0))
  (*.f64 x (+.f64 x 2.0))
  (*.f64 x (+.f64 (pow.f64 x 3) (pow.f64 2.0 3)))
  (*.f64 x (-.f64 (*.f64 x x) (*.f64 2.0 2.0)))
  (+.f64 (pow.f64 x 2) (+.f64 (*.f64 2.0 x) (pow.f64 y 2)))
  (+.f64 (pow.f64 x 2) (+.f64 (*.f64 2.0 x) (pow.f64 y 2)))
  (+.f64 (pow.f64 x 2) (+.f64 (*.f64 2.0 x) (pow.f64 y 2)))
  (+.f64 (pow.f64 x 2) (+.f64 (*.f64 2.0 x) (pow.f64 y 2)))
  (+.f64 (pow.f64 x 2) (+.f64 (*.f64 2.0 x) (pow.f64 y 2)))
  (+.f64 (pow.f64 x 2) (+.f64 (*.f64 2.0 x) (pow.f64 y 2)))
  (+.f64 (pow.f64 x 2) (+.f64 (*.f64 2.0 x) (pow.f64 y 2)))
  (+.f64 (pow.f64 x 2) (+.f64 (*.f64 2.0 x) (pow.f64 y 2)))
  (+.f64 (pow.f64 x 2) (+.f64 (*.f64 2.0 x) (pow.f64 y 2)))
  (+.f64 (pow.f64 x 2) (*.f64 2.0 x))
  (+.f64 (pow.f64 x 2) (*.f64 2.0 x))
  (+.f64 (pow.f64 x 2) (*.f64 2.0 x))
0.334 * * [simplify]: iteration  0 :  5377  enodes  (cost  1360 )
0.339 * [simplify]: Simplified to:
   1
  1
  2
  1
  1
  (pow.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))) 4)
  (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))
  (pow.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))) 4)
  2
  (log.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))
  (log.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))
  (exp.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))
  (pow.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))) 3)
  (pow.f64 (sqrt.f64 (cbrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))) 4)
  (cbrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))
  (pow.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))) 3)
  (pow.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))) 4)
  (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))
  (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))
  (+.f64 (pow.f64 y 6) (pow.f64 (*.f64 x (+.f64 x 2.0)) 3))
  (+.f64 (pow.f64 y 4) (*.f64 x (*.f64 (+.f64 x 2.0) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))))
  (*.f64 (sqrt.f64 (+.f64 (pow.f64 y 6) (pow.f64 (*.f64 x (+.f64 x 2.0)) 3))) (sqrt.f64 (-.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 x (+.f64 x 2.0))))))
  (*.f64 (sqrt.f64 (+.f64 (pow.f64 y 4) (*.f64 x (*.f64 (+.f64 x 2.0) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))))) (sqrt.f64 (-.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))))
  (*.f64 (sqrt.f64 (+.f64 (pow.f64 y 6) (pow.f64 (*.f64 x (+.f64 x 2.0)) 3))) (sqrt.f64 (-.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 x (+.f64 x 2.0))))))
  (*.f64 (sqrt.f64 (+.f64 (pow.f64 y 4) (*.f64 x (*.f64 (+.f64 x 2.0) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))))) (sqrt.f64 (-.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))))
  (-.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 x (+.f64 x 2.0))))
  (-.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))
  (pow.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))) 4)
  (pow.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))) 2)
  (pow.f64 (sqrt.f64 (cbrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))) 4)
  (cbrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))
  (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))
  (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))
  (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))
  (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))
  1
  (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))
  (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))
  (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))
  (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))
  (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))
  1
  (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))
  (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))
  (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))
  (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))
  (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))
  (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))
  (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))
  (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))
  (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))
  1
  2
  1
  (pow.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))) 5)
  (*.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))) (fabs.f64 (cbrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))))
  (pow.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))) 3)
  (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))
  (pow.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))) 3)
  (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))
  (pow.f64 (cbrt.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))) 4)
  (*.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))) (sqrt.f64 (cbrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))))
  (pow.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))) 3)
  (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))
  (pow.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))) 3)
  (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))
  (*.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))) (sqrt.f64 (+.f64 (pow.f64 y 6) (pow.f64 (*.f64 x (+.f64 x 2.0)) 3))))
  (*.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))) (sqrt.f64 (-.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 x (+.f64 x 2.0))))))
  (*.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))) (sqrt.f64 (+.f64 (pow.f64 y 6) (pow.f64 (*.f64 x (+.f64 x 2.0)) 3))))
  (*.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))) (sqrt.f64 (-.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 x (+.f64 x 2.0))))))
  (exp.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))
  (log.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))
  (exp.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))
  (pow.f64 (sqrt.f64 (cbrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))) 4)
  (cbrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))
  (pow.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))) 3)
  (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))
  (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))
  (+.f64 (pow.f64 y 6) (pow.f64 (*.f64 x (+.f64 x 2.0)) 3))
  (+.f64 (pow.f64 y 4) (*.f64 x (*.f64 (+.f64 x 2.0) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))))
  (-.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 x (+.f64 x 2.0))))
  (-.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))
  (+.f64 (*.f64 y y) (*.f64 x x))
  (+.f64 (*.f64 y y) (*.f64 x x))
  (exp.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))
  (log.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))
  (exp.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))
  (pow.f64 (sqrt.f64 (cbrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))) 4)
  (cbrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))
  (pow.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))) 3)
  (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))
  (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))
  (+.f64 (pow.f64 y 6) (pow.f64 (*.f64 x (+.f64 x 2.0)) 3))
  (+.f64 (pow.f64 y 4) (*.f64 x (*.f64 (+.f64 x 2.0) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))))
  (-.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 x (+.f64 x 2.0))))
  (-.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))
  (+.f64 (*.f64 y y) (*.f64 x x))
  (+.f64 (*.f64 y y) (*.f64 x x))
  (*.f64 x (+.f64 x 2.0))
  (log.f64 (*.f64 x (+.f64 x 2.0)))
  (log.f64 (*.f64 x (+.f64 x 2.0)))
  (exp.f64 (*.f64 x (+.f64 x 2.0)))
  (pow.f64 (*.f64 x (+.f64 x 2.0)) 3)
  (*.f64 (cbrt.f64 (*.f64 x (+.f64 x 2.0))) (cbrt.f64 (*.f64 x (+.f64 x 2.0))))
  (cbrt.f64 (*.f64 x (+.f64 x 2.0)))
  (pow.f64 (*.f64 x (+.f64 x 2.0)) 3)
  (sqrt.f64 (*.f64 x (+.f64 x 2.0)))
  (sqrt.f64 (*.f64 x (+.f64 x 2.0)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x 2.0)))
  (*.f64 (sqrt.f64 x) (sqrt.f64 (+.f64 x 2.0)))
  (*.f64 x x)
  (*.f64 x 2.0)
  (*.f64 x x)
  (*.f64 x 2.0)
  (*.f64 x (*.f64 (cbrt.f64 (+.f64 x 2.0)) (cbrt.f64 (+.f64 x 2.0))))
  (*.f64 x (sqrt.f64 (+.f64 x 2.0)))
  x
  x
  (*.f64 (+.f64 x 2.0) (cbrt.f64 x))
  (*.f64 (+.f64 x 2.0) (sqrt.f64 x))
  (*.f64 x (+.f64 x 2.0))
  (*.f64 x (+.f64 (pow.f64 x 3) (pow.f64 2.0 3)))
  (*.f64 x (-.f64 (*.f64 x x) (*.f64 2.0 2.0)))
  (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))
  (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))
  (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))
  (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))
  (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))
  (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))
  (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))
  (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))
  (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))
  (*.f64 x (+.f64 x 2.0))
  (*.f64 x (+.f64 x 2.0))
  (*.f64 x (+.f64 x 2.0))
0.340 * * * [progress]: adding candidates to table
0.424 * * [progress]: iteration 3 / 4
0.424 * * * [progress]: picking best candidate
0.427 * * * * [pick]: Picked  #<alt (λ (x y) (/.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6)) (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))))>
0.427 * * * [progress]: localizing error
0.443 * * * [progress]: generating rewritten candidates
0.443 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
0.458 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
0.464 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
0.478 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
0.490 * * * [progress]: generating series expansions
0.490 * * * * [progress]: [ 1 / 4 ] generating series at (2)
0.491 * [approximate]: Taking taylor expansion of (/ (+ (pow x 6) (+ (* 6.0 (pow x 5)) (+ (* 12.0 (pow x 4)) (+ (* 8.0 (pow x 3)) (pow y 6))))) (- (+ (* 4.0 (pow x 2)) (+ (* 4.0 (pow x 3)) (+ (pow x 4) (pow y 4)))) (+ (* (pow x 2) (pow y 2)) (* 2.0 (* x (pow y 2)))))) in (x y) around 0
0.491 * [taylor]: Taking taylor expansion of (/ (+ (pow x 6) (+ (* 6.0 (pow x 5)) (+ (* 12.0 (pow x 4)) (+ (* 8.0 (pow x 3)) (pow y 6))))) (- (+ (* 4.0 (pow x 2)) (+ (* 4.0 (pow x 3)) (+ (pow x 4) (pow y 4)))) (+ (* (pow x 2) (pow y 2)) (* 2.0 (* x (pow y 2)))))) in y
0.491 * [taylor]: Taking taylor expansion of (+ (pow x 6) (+ (* 6.0 (pow x 5)) (+ (* 12.0 (pow x 4)) (+ (* 8.0 (pow x 3)) (pow y 6))))) in y
0.491 * [taylor]: Taking taylor expansion of (pow x 6) in y
0.491 * [taylor]: Taking taylor expansion of x in y
0.491 * [taylor]: Taking taylor expansion of (+ (* 6.0 (pow x 5)) (+ (* 12.0 (pow x 4)) (+ (* 8.0 (pow x 3)) (pow y 6)))) in y
0.491 * [taylor]: Taking taylor expansion of (* 6.0 (pow x 5)) in y
0.491 * [taylor]: Taking taylor expansion of 6.0 in y
0.491 * [taylor]: Taking taylor expansion of (pow x 5) in y
0.491 * [taylor]: Taking taylor expansion of x in y
0.491 * [taylor]: Taking taylor expansion of (+ (* 12.0 (pow x 4)) (+ (* 8.0 (pow x 3)) (pow y 6))) in y
0.491 * [taylor]: Taking taylor expansion of (* 12.0 (pow x 4)) in y
0.491 * [taylor]: Taking taylor expansion of 12.0 in y
0.491 * [taylor]: Taking taylor expansion of (pow x 4) in y
0.491 * [taylor]: Taking taylor expansion of x in y
0.491 * [taylor]: Taking taylor expansion of (+ (* 8.0 (pow x 3)) (pow y 6)) in y
0.491 * [taylor]: Taking taylor expansion of (* 8.0 (pow x 3)) in y
0.491 * [taylor]: Taking taylor expansion of 8.0 in y
0.491 * [taylor]: Taking taylor expansion of (pow x 3) in y
0.491 * [taylor]: Taking taylor expansion of x in y
0.491 * [taylor]: Taking taylor expansion of (pow y 6) in y
0.491 * [taylor]: Taking taylor expansion of y in y
0.491 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (pow x 2)) (+ (* 4.0 (pow x 3)) (+ (pow x 4) (pow y 4)))) (+ (* (pow x 2) (pow y 2)) (* 2.0 (* x (pow y 2))))) in y
0.491 * [taylor]: Taking taylor expansion of (+ (* 4.0 (pow x 2)) (+ (* 4.0 (pow x 3)) (+ (pow x 4) (pow y 4)))) in y
0.491 * [taylor]: Taking taylor expansion of (* 4.0 (pow x 2)) in y
0.491 * [taylor]: Taking taylor expansion of 4.0 in y
0.491 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.491 * [taylor]: Taking taylor expansion of x in y
0.491 * [taylor]: Taking taylor expansion of (+ (* 4.0 (pow x 3)) (+ (pow x 4) (pow y 4))) in y
0.491 * [taylor]: Taking taylor expansion of (* 4.0 (pow x 3)) in y
0.491 * [taylor]: Taking taylor expansion of 4.0 in y
0.491 * [taylor]: Taking taylor expansion of (pow x 3) in y
0.491 * [taylor]: Taking taylor expansion of x in y
0.491 * [taylor]: Taking taylor expansion of (+ (pow x 4) (pow y 4)) in y
0.491 * [taylor]: Taking taylor expansion of (pow x 4) in y
0.491 * [taylor]: Taking taylor expansion of x in y
0.491 * [taylor]: Taking taylor expansion of (pow y 4) in y
0.491 * [taylor]: Taking taylor expansion of y in y
0.491 * [taylor]: Taking taylor expansion of (+ (* (pow x 2) (pow y 2)) (* 2.0 (* x (pow y 2)))) in y
0.491 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y
0.491 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.491 * [taylor]: Taking taylor expansion of x in y
0.491 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.491 * [taylor]: Taking taylor expansion of y in y
0.491 * [taylor]: Taking taylor expansion of (* 2.0 (* x (pow y 2))) in y
0.491 * [taylor]: Taking taylor expansion of 2.0 in y
0.491 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
0.492 * [taylor]: Taking taylor expansion of x in y
0.492 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.492 * [taylor]: Taking taylor expansion of y in y
0.495 * [taylor]: Taking taylor expansion of (/ (+ (pow x 6) (+ (* 6.0 (pow x 5)) (+ (* 12.0 (pow x 4)) (+ (* 8.0 (pow x 3)) (pow y 6))))) (- (+ (* 4.0 (pow x 2)) (+ (* 4.0 (pow x 3)) (+ (pow x 4) (pow y 4)))) (+ (* (pow x 2) (pow y 2)) (* 2.0 (* x (pow y 2)))))) in x
0.495 * [taylor]: Taking taylor expansion of (+ (pow x 6) (+ (* 6.0 (pow x 5)) (+ (* 12.0 (pow x 4)) (+ (* 8.0 (pow x 3)) (pow y 6))))) in x
0.495 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.495 * [taylor]: Taking taylor expansion of x in x
0.495 * [taylor]: Taking taylor expansion of (+ (* 6.0 (pow x 5)) (+ (* 12.0 (pow x 4)) (+ (* 8.0 (pow x 3)) (pow y 6)))) in x
0.495 * [taylor]: Taking taylor expansion of (* 6.0 (pow x 5)) in x
0.495 * [taylor]: Taking taylor expansion of 6.0 in x
0.495 * [taylor]: Taking taylor expansion of (pow x 5) in x
0.495 * [taylor]: Taking taylor expansion of x in x
0.495 * [taylor]: Taking taylor expansion of (+ (* 12.0 (pow x 4)) (+ (* 8.0 (pow x 3)) (pow y 6))) in x
0.495 * [taylor]: Taking taylor expansion of (* 12.0 (pow x 4)) in x
0.495 * [taylor]: Taking taylor expansion of 12.0 in x
0.495 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.495 * [taylor]: Taking taylor expansion of x in x
0.495 * [taylor]: Taking taylor expansion of (+ (* 8.0 (pow x 3)) (pow y 6)) in x
0.495 * [taylor]: Taking taylor expansion of (* 8.0 (pow x 3)) in x
0.495 * [taylor]: Taking taylor expansion of 8.0 in x
0.495 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.495 * [taylor]: Taking taylor expansion of x in x
0.495 * [taylor]: Taking taylor expansion of (pow y 6) in x
0.495 * [taylor]: Taking taylor expansion of y in x
0.495 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (pow x 2)) (+ (* 4.0 (pow x 3)) (+ (pow x 4) (pow y 4)))) (+ (* (pow x 2) (pow y 2)) (* 2.0 (* x (pow y 2))))) in x
0.495 * [taylor]: Taking taylor expansion of (+ (* 4.0 (pow x 2)) (+ (* 4.0 (pow x 3)) (+ (pow x 4) (pow y 4)))) in x
0.495 * [taylor]: Taking taylor expansion of (* 4.0 (pow x 2)) in x
0.495 * [taylor]: Taking taylor expansion of 4.0 in x
0.495 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.495 * [taylor]: Taking taylor expansion of x in x
0.495 * [taylor]: Taking taylor expansion of (+ (* 4.0 (pow x 3)) (+ (pow x 4) (pow y 4))) in x
0.495 * [taylor]: Taking taylor expansion of (* 4.0 (pow x 3)) in x
0.495 * [taylor]: Taking taylor expansion of 4.0 in x
0.495 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.495 * [taylor]: Taking taylor expansion of x in x
0.495 * [taylor]: Taking taylor expansion of (+ (pow x 4) (pow y 4)) in x
0.495 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.495 * [taylor]: Taking taylor expansion of x in x
0.495 * [taylor]: Taking taylor expansion of (pow y 4) in x
0.495 * [taylor]: Taking taylor expansion of y in x
0.495 * [taylor]: Taking taylor expansion of (+ (* (pow x 2) (pow y 2)) (* 2.0 (* x (pow y 2)))) in x
0.496 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x
0.496 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.496 * [taylor]: Taking taylor expansion of x in x
0.496 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.496 * [taylor]: Taking taylor expansion of y in x
0.496 * [taylor]: Taking taylor expansion of (* 2.0 (* x (pow y 2))) in x
0.496 * [taylor]: Taking taylor expansion of 2.0 in x
0.496 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
0.496 * [taylor]: Taking taylor expansion of x in x
0.496 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.496 * [taylor]: Taking taylor expansion of y in x
0.497 * [taylor]: Taking taylor expansion of (/ (+ (pow x 6) (+ (* 6.0 (pow x 5)) (+ (* 12.0 (pow x 4)) (+ (* 8.0 (pow x 3)) (pow y 6))))) (- (+ (* 4.0 (pow x 2)) (+ (* 4.0 (pow x 3)) (+ (pow x 4) (pow y 4)))) (+ (* (pow x 2) (pow y 2)) (* 2.0 (* x (pow y 2)))))) in x
0.497 * [taylor]: Taking taylor expansion of (+ (pow x 6) (+ (* 6.0 (pow x 5)) (+ (* 12.0 (pow x 4)) (+ (* 8.0 (pow x 3)) (pow y 6))))) in x
0.497 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.497 * [taylor]: Taking taylor expansion of x in x
0.497 * [taylor]: Taking taylor expansion of (+ (* 6.0 (pow x 5)) (+ (* 12.0 (pow x 4)) (+ (* 8.0 (pow x 3)) (pow y 6)))) in x
0.497 * [taylor]: Taking taylor expansion of (* 6.0 (pow x 5)) in x
0.497 * [taylor]: Taking taylor expansion of 6.0 in x
0.497 * [taylor]: Taking taylor expansion of (pow x 5) in x
0.497 * [taylor]: Taking taylor expansion of x in x
0.497 * [taylor]: Taking taylor expansion of (+ (* 12.0 (pow x 4)) (+ (* 8.0 (pow x 3)) (pow y 6))) in x
0.497 * [taylor]: Taking taylor expansion of (* 12.0 (pow x 4)) in x
0.497 * [taylor]: Taking taylor expansion of 12.0 in x
0.497 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.497 * [taylor]: Taking taylor expansion of x in x
0.497 * [taylor]: Taking taylor expansion of (+ (* 8.0 (pow x 3)) (pow y 6)) in x
0.497 * [taylor]: Taking taylor expansion of (* 8.0 (pow x 3)) in x
0.497 * [taylor]: Taking taylor expansion of 8.0 in x
0.497 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.497 * [taylor]: Taking taylor expansion of x in x
0.497 * [taylor]: Taking taylor expansion of (pow y 6) in x
0.497 * [taylor]: Taking taylor expansion of y in x
0.497 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (pow x 2)) (+ (* 4.0 (pow x 3)) (+ (pow x 4) (pow y 4)))) (+ (* (pow x 2) (pow y 2)) (* 2.0 (* x (pow y 2))))) in x
0.497 * [taylor]: Taking taylor expansion of (+ (* 4.0 (pow x 2)) (+ (* 4.0 (pow x 3)) (+ (pow x 4) (pow y 4)))) in x
0.497 * [taylor]: Taking taylor expansion of (* 4.0 (pow x 2)) in x
0.497 * [taylor]: Taking taylor expansion of 4.0 in x
0.497 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.497 * [taylor]: Taking taylor expansion of x in x
0.497 * [taylor]: Taking taylor expansion of (+ (* 4.0 (pow x 3)) (+ (pow x 4) (pow y 4))) in x
0.497 * [taylor]: Taking taylor expansion of (* 4.0 (pow x 3)) in x
0.497 * [taylor]: Taking taylor expansion of 4.0 in x
0.497 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.497 * [taylor]: Taking taylor expansion of x in x
0.497 * [taylor]: Taking taylor expansion of (+ (pow x 4) (pow y 4)) in x
0.497 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.497 * [taylor]: Taking taylor expansion of x in x
0.497 * [taylor]: Taking taylor expansion of (pow y 4) in x
0.497 * [taylor]: Taking taylor expansion of y in x
0.497 * [taylor]: Taking taylor expansion of (+ (* (pow x 2) (pow y 2)) (* 2.0 (* x (pow y 2)))) in x
0.497 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x
0.497 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.497 * [taylor]: Taking taylor expansion of x in x
0.497 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.497 * [taylor]: Taking taylor expansion of y in x
0.497 * [taylor]: Taking taylor expansion of (* 2.0 (* x (pow y 2))) in x
0.497 * [taylor]: Taking taylor expansion of 2.0 in x
0.497 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
0.497 * [taylor]: Taking taylor expansion of x in x
0.498 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.498 * [taylor]: Taking taylor expansion of y in x
0.499 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.499 * [taylor]: Taking taylor expansion of y in y
0.500 * [taylor]: Taking taylor expansion of 2.0 in y
0.501 * [taylor]: Taking taylor expansion of 1 in y
0.502 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 (pow y 6)) (+ (/ 1 (pow x 6)) (+ (* 12.0 (/ 1 (pow x 4))) (+ (* 6.0 (/ 1 (pow x 5))) (* 8.0 (/ 1 (pow x 3))))))) (- (+ (* 4.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 4)) (+ (/ 1 (pow y 4)) (* 4.0 (/ 1 (pow x 3)))))) (+ (/ 1 (* (pow x 2) (pow y 2))) (* 2.0 (/ 1 (* x (pow y 2))))))) in (x y) around 0
0.502 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow y 6)) (+ (/ 1 (pow x 6)) (+ (* 12.0 (/ 1 (pow x 4))) (+ (* 6.0 (/ 1 (pow x 5))) (* 8.0 (/ 1 (pow x 3))))))) (- (+ (* 4.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 4)) (+ (/ 1 (pow y 4)) (* 4.0 (/ 1 (pow x 3)))))) (+ (/ 1 (* (pow x 2) (pow y 2))) (* 2.0 (/ 1 (* x (pow y 2))))))) in y
0.502 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 6)) (+ (/ 1 (pow x 6)) (+ (* 12.0 (/ 1 (pow x 4))) (+ (* 6.0 (/ 1 (pow x 5))) (* 8.0 (/ 1 (pow x 3))))))) in y
0.503 * [taylor]: Taking taylor expansion of (/ 1 (pow y 6)) in y
0.503 * [taylor]: Taking taylor expansion of (pow y 6) in y
0.503 * [taylor]: Taking taylor expansion of y in y
0.503 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 6)) (+ (* 12.0 (/ 1 (pow x 4))) (+ (* 6.0 (/ 1 (pow x 5))) (* 8.0 (/ 1 (pow x 3)))))) in y
0.503 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in y
0.503 * [taylor]: Taking taylor expansion of (pow x 6) in y
0.503 * [taylor]: Taking taylor expansion of x in y
0.503 * [taylor]: Taking taylor expansion of (+ (* 12.0 (/ 1 (pow x 4))) (+ (* 6.0 (/ 1 (pow x 5))) (* 8.0 (/ 1 (pow x 3))))) in y
0.503 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 (pow x 4))) in y
0.503 * [taylor]: Taking taylor expansion of 12.0 in y
0.503 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y
0.503 * [taylor]: Taking taylor expansion of (pow x 4) in y
0.503 * [taylor]: Taking taylor expansion of x in y
0.503 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (pow x 5))) (* 8.0 (/ 1 (pow x 3)))) in y
0.503 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow x 5))) in y
0.503 * [taylor]: Taking taylor expansion of 6.0 in y
0.503 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in y
0.503 * [taylor]: Taking taylor expansion of (pow x 5) in y
0.503 * [taylor]: Taking taylor expansion of x in y
0.504 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (pow x 3))) in y
0.504 * [taylor]: Taking taylor expansion of 8.0 in y
0.504 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in y
0.504 * [taylor]: Taking taylor expansion of (pow x 3) in y
0.504 * [taylor]: Taking taylor expansion of x in y
0.504 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 4)) (+ (/ 1 (pow y 4)) (* 4.0 (/ 1 (pow x 3)))))) (+ (/ 1 (* (pow x 2) (pow y 2))) (* 2.0 (/ 1 (* x (pow y 2)))))) in y
0.504 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 4)) (+ (/ 1 (pow y 4)) (* 4.0 (/ 1 (pow x 3)))))) in y
0.504 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow x 2))) in y
0.504 * [taylor]: Taking taylor expansion of 4.0 in y
0.504 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.504 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.504 * [taylor]: Taking taylor expansion of x in y
0.504 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 4)) (+ (/ 1 (pow y 4)) (* 4.0 (/ 1 (pow x 3))))) in y
0.504 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y
0.504 * [taylor]: Taking taylor expansion of (pow x 4) in y
0.504 * [taylor]: Taking taylor expansion of x in y
0.504 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 4)) (* 4.0 (/ 1 (pow x 3)))) in y
0.504 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
0.504 * [taylor]: Taking taylor expansion of (pow y 4) in y
0.504 * [taylor]: Taking taylor expansion of y in y
0.504 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow x 3))) in y
0.504 * [taylor]: Taking taylor expansion of 4.0 in y
0.504 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in y
0.504 * [taylor]: Taking taylor expansion of (pow x 3) in y
0.504 * [taylor]: Taking taylor expansion of x in y
0.505 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) (pow y 2))) (* 2.0 (/ 1 (* x (pow y 2))))) in y
0.505 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in y
0.505 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y
0.505 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.505 * [taylor]: Taking taylor expansion of x in y
0.505 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.505 * [taylor]: Taking taylor expansion of y in y
0.505 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* x (pow y 2)))) in y
0.505 * [taylor]: Taking taylor expansion of 2.0 in y
0.505 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y
0.505 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
0.505 * [taylor]: Taking taylor expansion of x in y
0.505 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.505 * [taylor]: Taking taylor expansion of y in y
0.505 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow y 6)) (+ (/ 1 (pow x 6)) (+ (* 12.0 (/ 1 (pow x 4))) (+ (* 6.0 (/ 1 (pow x 5))) (* 8.0 (/ 1 (pow x 3))))))) (- (+ (* 4.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 4)) (+ (/ 1 (pow y 4)) (* 4.0 (/ 1 (pow x 3)))))) (+ (/ 1 (* (pow x 2) (pow y 2))) (* 2.0 (/ 1 (* x (pow y 2))))))) in x
0.505 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 6)) (+ (/ 1 (pow x 6)) (+ (* 12.0 (/ 1 (pow x 4))) (+ (* 6.0 (/ 1 (pow x 5))) (* 8.0 (/ 1 (pow x 3))))))) in x
0.505 * [taylor]: Taking taylor expansion of (/ 1 (pow y 6)) in x
0.505 * [taylor]: Taking taylor expansion of (pow y 6) in x
0.505 * [taylor]: Taking taylor expansion of y in x
0.505 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 6)) (+ (* 12.0 (/ 1 (pow x 4))) (+ (* 6.0 (/ 1 (pow x 5))) (* 8.0 (/ 1 (pow x 3)))))) in x
0.505 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x
0.505 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.505 * [taylor]: Taking taylor expansion of x in x
0.506 * [taylor]: Taking taylor expansion of (+ (* 12.0 (/ 1 (pow x 4))) (+ (* 6.0 (/ 1 (pow x 5))) (* 8.0 (/ 1 (pow x 3))))) in x
0.506 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 (pow x 4))) in x
0.506 * [taylor]: Taking taylor expansion of 12.0 in x
0.506 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
0.506 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.506 * [taylor]: Taking taylor expansion of x in x
0.506 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (pow x 5))) (* 8.0 (/ 1 (pow x 3)))) in x
0.506 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow x 5))) in x
0.506 * [taylor]: Taking taylor expansion of 6.0 in x
0.506 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x
0.506 * [taylor]: Taking taylor expansion of (pow x 5) in x
0.506 * [taylor]: Taking taylor expansion of x in x
0.506 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (pow x 3))) in x
0.506 * [taylor]: Taking taylor expansion of 8.0 in x
0.506 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.506 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.506 * [taylor]: Taking taylor expansion of x in x
0.506 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 4)) (+ (/ 1 (pow y 4)) (* 4.0 (/ 1 (pow x 3)))))) (+ (/ 1 (* (pow x 2) (pow y 2))) (* 2.0 (/ 1 (* x (pow y 2)))))) in x
0.506 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 4)) (+ (/ 1 (pow y 4)) (* 4.0 (/ 1 (pow x 3)))))) in x
0.506 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow x 2))) in x
0.506 * [taylor]: Taking taylor expansion of 4.0 in x
0.506 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.506 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.506 * [taylor]: Taking taylor expansion of x in x
0.506 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 4)) (+ (/ 1 (pow y 4)) (* 4.0 (/ 1 (pow x 3))))) in x
0.506 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
0.506 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.506 * [taylor]: Taking taylor expansion of x in x
0.506 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 4)) (* 4.0 (/ 1 (pow x 3)))) in x
0.506 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x
0.506 * [taylor]: Taking taylor expansion of (pow y 4) in x
0.506 * [taylor]: Taking taylor expansion of y in x
0.506 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow x 3))) in x
0.507 * [taylor]: Taking taylor expansion of 4.0 in x
0.507 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.507 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.507 * [taylor]: Taking taylor expansion of x in x
0.507 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) (pow y 2))) (* 2.0 (/ 1 (* x (pow y 2))))) in x
0.507 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x
0.507 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x
0.507 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.507 * [taylor]: Taking taylor expansion of x in x
0.507 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.507 * [taylor]: Taking taylor expansion of y in x
0.507 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* x (pow y 2)))) in x
0.507 * [taylor]: Taking taylor expansion of 2.0 in x
0.507 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x
0.507 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
0.507 * [taylor]: Taking taylor expansion of x in x
0.507 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.507 * [taylor]: Taking taylor expansion of y in x
0.507 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow y 6)) (+ (/ 1 (pow x 6)) (+ (* 12.0 (/ 1 (pow x 4))) (+ (* 6.0 (/ 1 (pow x 5))) (* 8.0 (/ 1 (pow x 3))))))) (- (+ (* 4.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 4)) (+ (/ 1 (pow y 4)) (* 4.0 (/ 1 (pow x 3)))))) (+ (/ 1 (* (pow x 2) (pow y 2))) (* 2.0 (/ 1 (* x (pow y 2))))))) in x
0.507 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 6)) (+ (/ 1 (pow x 6)) (+ (* 12.0 (/ 1 (pow x 4))) (+ (* 6.0 (/ 1 (pow x 5))) (* 8.0 (/ 1 (pow x 3))))))) in x
0.507 * [taylor]: Taking taylor expansion of (/ 1 (pow y 6)) in x
0.507 * [taylor]: Taking taylor expansion of (pow y 6) in x
0.507 * [taylor]: Taking taylor expansion of y in x
0.508 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 6)) (+ (* 12.0 (/ 1 (pow x 4))) (+ (* 6.0 (/ 1 (pow x 5))) (* 8.0 (/ 1 (pow x 3)))))) in x
0.508 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x
0.508 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.508 * [taylor]: Taking taylor expansion of x in x
0.508 * [taylor]: Taking taylor expansion of (+ (* 12.0 (/ 1 (pow x 4))) (+ (* 6.0 (/ 1 (pow x 5))) (* 8.0 (/ 1 (pow x 3))))) in x
0.508 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 (pow x 4))) in x
0.508 * [taylor]: Taking taylor expansion of 12.0 in x
0.508 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
0.508 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.508 * [taylor]: Taking taylor expansion of x in x
0.508 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (pow x 5))) (* 8.0 (/ 1 (pow x 3)))) in x
0.508 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow x 5))) in x
0.508 * [taylor]: Taking taylor expansion of 6.0 in x
0.508 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x
0.508 * [taylor]: Taking taylor expansion of (pow x 5) in x
0.508 * [taylor]: Taking taylor expansion of x in x
0.508 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (pow x 3))) in x
0.508 * [taylor]: Taking taylor expansion of 8.0 in x
0.508 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.508 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.508 * [taylor]: Taking taylor expansion of x in x
0.508 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 4)) (+ (/ 1 (pow y 4)) (* 4.0 (/ 1 (pow x 3)))))) (+ (/ 1 (* (pow x 2) (pow y 2))) (* 2.0 (/ 1 (* x (pow y 2)))))) in x
0.508 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 4)) (+ (/ 1 (pow y 4)) (* 4.0 (/ 1 (pow x 3)))))) in x
0.508 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow x 2))) in x
0.508 * [taylor]: Taking taylor expansion of 4.0 in x
0.508 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.508 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.508 * [taylor]: Taking taylor expansion of x in x
0.508 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 4)) (+ (/ 1 (pow y 4)) (* 4.0 (/ 1 (pow x 3))))) in x
0.508 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
0.508 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.508 * [taylor]: Taking taylor expansion of x in x
0.508 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 4)) (* 4.0 (/ 1 (pow x 3)))) in x
0.508 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x
0.509 * [taylor]: Taking taylor expansion of (pow y 4) in x
0.509 * [taylor]: Taking taylor expansion of y in x
0.509 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow x 3))) in x
0.509 * [taylor]: Taking taylor expansion of 4.0 in x
0.509 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.509 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.509 * [taylor]: Taking taylor expansion of x in x
0.509 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) (pow y 2))) (* 2.0 (/ 1 (* x (pow y 2))))) in x
0.509 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x
0.509 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x
0.509 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.509 * [taylor]: Taking taylor expansion of x in x
0.509 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.509 * [taylor]: Taking taylor expansion of y in x
0.509 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* x (pow y 2)))) in x
0.509 * [taylor]: Taking taylor expansion of 2.0 in x
0.509 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x
0.509 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
0.509 * [taylor]: Taking taylor expansion of x in x
0.509 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.509 * [taylor]: Taking taylor expansion of y in x
0.510 * [taylor]: Taking taylor expansion of 1 in y
0.510 * [taylor]: Taking taylor expansion of 2.0 in y
0.511 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.511 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.511 * [taylor]: Taking taylor expansion of y in y
0.513 * [taylor]: Taking taylor expansion of 0 in y
0.515 * [approximate]: Taking taylor expansion of (/ (- (+ (/ 1 (pow y 6)) (+ (/ 1 (pow x 6)) (* 12.0 (/ 1 (pow x 4))))) (+ (* 6.0 (/ 1 (pow x 5))) (* 8.0 (/ 1 (pow x 3))))) (- (+ (* 2.0 (/ 1 (* x (pow y 2)))) (+ (/ 1 (pow x 4)) (+ (* 4.0 (/ 1 (pow x 2))) (/ 1 (pow y 4))))) (+ (/ 1 (* (pow x 2) (pow y 2))) (* 4.0 (/ 1 (pow x 3)))))) in (x y) around 0
0.515 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 (pow y 6)) (+ (/ 1 (pow x 6)) (* 12.0 (/ 1 (pow x 4))))) (+ (* 6.0 (/ 1 (pow x 5))) (* 8.0 (/ 1 (pow x 3))))) (- (+ (* 2.0 (/ 1 (* x (pow y 2)))) (+ (/ 1 (pow x 4)) (+ (* 4.0 (/ 1 (pow x 2))) (/ 1 (pow y 4))))) (+ (/ 1 (* (pow x 2) (pow y 2))) (* 4.0 (/ 1 (pow x 3)))))) in y
0.515 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow y 6)) (+ (/ 1 (pow x 6)) (* 12.0 (/ 1 (pow x 4))))) (+ (* 6.0 (/ 1 (pow x 5))) (* 8.0 (/ 1 (pow x 3))))) in y
0.515 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 6)) (+ (/ 1 (pow x 6)) (* 12.0 (/ 1 (pow x 4))))) in y
0.515 * [taylor]: Taking taylor expansion of (/ 1 (pow y 6)) in y
0.515 * [taylor]: Taking taylor expansion of (pow y 6) in y
0.515 * [taylor]: Taking taylor expansion of y in y
0.515 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 6)) (* 12.0 (/ 1 (pow x 4)))) in y
0.515 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in y
0.515 * [taylor]: Taking taylor expansion of (pow x 6) in y
0.515 * [taylor]: Taking taylor expansion of x in y
0.516 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 (pow x 4))) in y
0.516 * [taylor]: Taking taylor expansion of 12.0 in y
0.516 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y
0.516 * [taylor]: Taking taylor expansion of (pow x 4) in y
0.516 * [taylor]: Taking taylor expansion of x in y
0.516 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (pow x 5))) (* 8.0 (/ 1 (pow x 3)))) in y
0.516 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow x 5))) in y
0.516 * [taylor]: Taking taylor expansion of 6.0 in y
0.516 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in y
0.516 * [taylor]: Taking taylor expansion of (pow x 5) in y
0.516 * [taylor]: Taking taylor expansion of x in y
0.516 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (pow x 3))) in y
0.516 * [taylor]: Taking taylor expansion of 8.0 in y
0.517 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in y
0.517 * [taylor]: Taking taylor expansion of (pow x 3) in y
0.517 * [taylor]: Taking taylor expansion of x in y
0.517 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* x (pow y 2)))) (+ (/ 1 (pow x 4)) (+ (* 4.0 (/ 1 (pow x 2))) (/ 1 (pow y 4))))) (+ (/ 1 (* (pow x 2) (pow y 2))) (* 4.0 (/ 1 (pow x 3))))) in y
0.517 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* x (pow y 2)))) (+ (/ 1 (pow x 4)) (+ (* 4.0 (/ 1 (pow x 2))) (/ 1 (pow y 4))))) in y
0.517 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* x (pow y 2)))) in y
0.517 * [taylor]: Taking taylor expansion of 2.0 in y
0.517 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y
0.517 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
0.517 * [taylor]: Taking taylor expansion of x in y
0.517 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.517 * [taylor]: Taking taylor expansion of y in y
0.517 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 4)) (+ (* 4.0 (/ 1 (pow x 2))) (/ 1 (pow y 4)))) in y
0.517 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y
0.517 * [taylor]: Taking taylor expansion of (pow x 4) in y
0.517 * [taylor]: Taking taylor expansion of x in y
0.517 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow x 2))) (/ 1 (pow y 4))) in y
0.517 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow x 2))) in y
0.517 * [taylor]: Taking taylor expansion of 4.0 in y
0.517 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.517 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.517 * [taylor]: Taking taylor expansion of x in y
0.517 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
0.517 * [taylor]: Taking taylor expansion of (pow y 4) in y
0.517 * [taylor]: Taking taylor expansion of y in y
0.517 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) (pow y 2))) (* 4.0 (/ 1 (pow x 3)))) in y
0.517 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in y
0.517 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y
0.517 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.518 * [taylor]: Taking taylor expansion of x in y
0.518 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.518 * [taylor]: Taking taylor expansion of y in y
0.518 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow x 3))) in y
0.518 * [taylor]: Taking taylor expansion of 4.0 in y
0.518 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in y
0.518 * [taylor]: Taking taylor expansion of (pow x 3) in y
0.518 * [taylor]: Taking taylor expansion of x in y
0.518 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 (pow y 6)) (+ (/ 1 (pow x 6)) (* 12.0 (/ 1 (pow x 4))))) (+ (* 6.0 (/ 1 (pow x 5))) (* 8.0 (/ 1 (pow x 3))))) (- (+ (* 2.0 (/ 1 (* x (pow y 2)))) (+ (/ 1 (pow x 4)) (+ (* 4.0 (/ 1 (pow x 2))) (/ 1 (pow y 4))))) (+ (/ 1 (* (pow x 2) (pow y 2))) (* 4.0 (/ 1 (pow x 3)))))) in x
0.518 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow y 6)) (+ (/ 1 (pow x 6)) (* 12.0 (/ 1 (pow x 4))))) (+ (* 6.0 (/ 1 (pow x 5))) (* 8.0 (/ 1 (pow x 3))))) in x
0.518 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 6)) (+ (/ 1 (pow x 6)) (* 12.0 (/ 1 (pow x 4))))) in x
0.518 * [taylor]: Taking taylor expansion of (/ 1 (pow y 6)) in x
0.518 * [taylor]: Taking taylor expansion of (pow y 6) in x
0.518 * [taylor]: Taking taylor expansion of y in x
0.518 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 6)) (* 12.0 (/ 1 (pow x 4)))) in x
0.518 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x
0.518 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.518 * [taylor]: Taking taylor expansion of x in x
0.518 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 (pow x 4))) in x
0.519 * [taylor]: Taking taylor expansion of 12.0 in x
0.519 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
0.519 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.519 * [taylor]: Taking taylor expansion of x in x
0.519 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (pow x 5))) (* 8.0 (/ 1 (pow x 3)))) in x
0.519 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow x 5))) in x
0.519 * [taylor]: Taking taylor expansion of 6.0 in x
0.519 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x
0.519 * [taylor]: Taking taylor expansion of (pow x 5) in x
0.519 * [taylor]: Taking taylor expansion of x in x
0.519 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (pow x 3))) in x
0.519 * [taylor]: Taking taylor expansion of 8.0 in x
0.519 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.519 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.519 * [taylor]: Taking taylor expansion of x in x
0.519 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* x (pow y 2)))) (+ (/ 1 (pow x 4)) (+ (* 4.0 (/ 1 (pow x 2))) (/ 1 (pow y 4))))) (+ (/ 1 (* (pow x 2) (pow y 2))) (* 4.0 (/ 1 (pow x 3))))) in x
0.519 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* x (pow y 2)))) (+ (/ 1 (pow x 4)) (+ (* 4.0 (/ 1 (pow x 2))) (/ 1 (pow y 4))))) in x
0.519 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* x (pow y 2)))) in x
0.519 * [taylor]: Taking taylor expansion of 2.0 in x
0.519 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x
0.519 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
0.519 * [taylor]: Taking taylor expansion of x in x
0.519 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.519 * [taylor]: Taking taylor expansion of y in x
0.519 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 4)) (+ (* 4.0 (/ 1 (pow x 2))) (/ 1 (pow y 4)))) in x
0.519 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
0.519 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.519 * [taylor]: Taking taylor expansion of x in x
0.519 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow x 2))) (/ 1 (pow y 4))) in x
0.519 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow x 2))) in x
0.519 * [taylor]: Taking taylor expansion of 4.0 in x
0.519 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.520 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.520 * [taylor]: Taking taylor expansion of x in x
0.520 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x
0.520 * [taylor]: Taking taylor expansion of (pow y 4) in x
0.520 * [taylor]: Taking taylor expansion of y in x
0.520 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) (pow y 2))) (* 4.0 (/ 1 (pow x 3)))) in x
0.520 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x
0.520 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x
0.520 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.520 * [taylor]: Taking taylor expansion of x in x
0.520 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.520 * [taylor]: Taking taylor expansion of y in x
0.520 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow x 3))) in x
0.520 * [taylor]: Taking taylor expansion of 4.0 in x
0.520 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.520 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.520 * [taylor]: Taking taylor expansion of x in x
0.520 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 (pow y 6)) (+ (/ 1 (pow x 6)) (* 12.0 (/ 1 (pow x 4))))) (+ (* 6.0 (/ 1 (pow x 5))) (* 8.0 (/ 1 (pow x 3))))) (- (+ (* 2.0 (/ 1 (* x (pow y 2)))) (+ (/ 1 (pow x 4)) (+ (* 4.0 (/ 1 (pow x 2))) (/ 1 (pow y 4))))) (+ (/ 1 (* (pow x 2) (pow y 2))) (* 4.0 (/ 1 (pow x 3)))))) in x
0.520 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow y 6)) (+ (/ 1 (pow x 6)) (* 12.0 (/ 1 (pow x 4))))) (+ (* 6.0 (/ 1 (pow x 5))) (* 8.0 (/ 1 (pow x 3))))) in x
0.520 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 6)) (+ (/ 1 (pow x 6)) (* 12.0 (/ 1 (pow x 4))))) in x
0.520 * [taylor]: Taking taylor expansion of (/ 1 (pow y 6)) in x
0.520 * [taylor]: Taking taylor expansion of (pow y 6) in x
0.520 * [taylor]: Taking taylor expansion of y in x
0.521 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 6)) (* 12.0 (/ 1 (pow x 4)))) in x
0.521 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x
0.521 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.521 * [taylor]: Taking taylor expansion of x in x
0.521 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 (pow x 4))) in x
0.521 * [taylor]: Taking taylor expansion of 12.0 in x
0.521 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
0.521 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.521 * [taylor]: Taking taylor expansion of x in x
0.521 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (pow x 5))) (* 8.0 (/ 1 (pow x 3)))) in x
0.521 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow x 5))) in x
0.521 * [taylor]: Taking taylor expansion of 6.0 in x
0.521 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x
0.521 * [taylor]: Taking taylor expansion of (pow x 5) in x
0.521 * [taylor]: Taking taylor expansion of x in x
0.521 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (pow x 3))) in x
0.521 * [taylor]: Taking taylor expansion of 8.0 in x
0.521 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.521 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.521 * [taylor]: Taking taylor expansion of x in x
0.521 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* x (pow y 2)))) (+ (/ 1 (pow x 4)) (+ (* 4.0 (/ 1 (pow x 2))) (/ 1 (pow y 4))))) (+ (/ 1 (* (pow x 2) (pow y 2))) (* 4.0 (/ 1 (pow x 3))))) in x
0.521 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* x (pow y 2)))) (+ (/ 1 (pow x 4)) (+ (* 4.0 (/ 1 (pow x 2))) (/ 1 (pow y 4))))) in x
0.521 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* x (pow y 2)))) in x
0.521 * [taylor]: Taking taylor expansion of 2.0 in x
0.521 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x
0.521 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
0.521 * [taylor]: Taking taylor expansion of x in x
0.521 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.521 * [taylor]: Taking taylor expansion of y in x
0.522 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 4)) (+ (* 4.0 (/ 1 (pow x 2))) (/ 1 (pow y 4)))) in x
0.522 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
0.522 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.522 * [taylor]: Taking taylor expansion of x in x
0.522 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow x 2))) (/ 1 (pow y 4))) in x
0.522 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow x 2))) in x
0.522 * [taylor]: Taking taylor expansion of 4.0 in x
0.522 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.522 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.522 * [taylor]: Taking taylor expansion of x in x
0.522 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x
0.522 * [taylor]: Taking taylor expansion of (pow y 4) in x
0.522 * [taylor]: Taking taylor expansion of y in x
0.522 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) (pow y 2))) (* 4.0 (/ 1 (pow x 3)))) in x
0.522 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x
0.522 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x
0.522 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.522 * [taylor]: Taking taylor expansion of x in x
0.522 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.522 * [taylor]: Taking taylor expansion of y in x
0.522 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow x 3))) in x
0.522 * [taylor]: Taking taylor expansion of 4.0 in x
0.522 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.522 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.522 * [taylor]: Taking taylor expansion of x in x
0.523 * [taylor]: Taking taylor expansion of 1 in y
0.523 * [taylor]: Taking taylor expansion of (neg 2.0) in y
0.523 * [taylor]: Taking taylor expansion of 2.0 in y
0.524 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.524 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.524 * [taylor]: Taking taylor expansion of y in y
0.526 * [taylor]: Taking taylor expansion of 0 in y
0.527 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
0.527 * [approximate]: Taking taylor expansion of (- (+ (* 4.0 (pow x 2)) (+ (* 4.0 (pow x 3)) (+ (pow x 4) (pow y 4)))) (+ (* (pow x 2) (pow y 2)) (* 2.0 (* x (pow y 2))))) in (y x) around 0
0.527 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (pow x 2)) (+ (* 4.0 (pow x 3)) (+ (pow x 4) (pow y 4)))) (+ (* (pow x 2) (pow y 2)) (* 2.0 (* x (pow y 2))))) in x
0.527 * [taylor]: Taking taylor expansion of (+ (* 4.0 (pow x 2)) (+ (* 4.0 (pow x 3)) (+ (pow x 4) (pow y 4)))) in x
0.527 * [taylor]: Taking taylor expansion of (* 4.0 (pow x 2)) in x
0.527 * [taylor]: Taking taylor expansion of 4.0 in x
0.527 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.527 * [taylor]: Taking taylor expansion of x in x
0.527 * [taylor]: Taking taylor expansion of (+ (* 4.0 (pow x 3)) (+ (pow x 4) (pow y 4))) in x
0.527 * [taylor]: Taking taylor expansion of (* 4.0 (pow x 3)) in x
0.527 * [taylor]: Taking taylor expansion of 4.0 in x
0.527 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.527 * [taylor]: Taking taylor expansion of x in x
0.527 * [taylor]: Taking taylor expansion of (+ (pow x 4) (pow y 4)) in x
0.527 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.527 * [taylor]: Taking taylor expansion of x in x
0.527 * [taylor]: Taking taylor expansion of (pow y 4) in x
0.527 * [taylor]: Taking taylor expansion of y in x
0.527 * [taylor]: Taking taylor expansion of (+ (* (pow x 2) (pow y 2)) (* 2.0 (* x (pow y 2)))) in x
0.527 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x
0.527 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.527 * [taylor]: Taking taylor expansion of x in x
0.527 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.527 * [taylor]: Taking taylor expansion of y in x
0.528 * [taylor]: Taking taylor expansion of (* 2.0 (* x (pow y 2))) in x
0.528 * [taylor]: Taking taylor expansion of 2.0 in x
0.528 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
0.528 * [taylor]: Taking taylor expansion of x in x
0.528 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.528 * [taylor]: Taking taylor expansion of y in x
0.528 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (pow x 2)) (+ (* 4.0 (pow x 3)) (+ (pow x 4) (pow y 4)))) (+ (* (pow x 2) (pow y 2)) (* 2.0 (* x (pow y 2))))) in y
0.528 * [taylor]: Taking taylor expansion of (+ (* 4.0 (pow x 2)) (+ (* 4.0 (pow x 3)) (+ (pow x 4) (pow y 4)))) in y
0.528 * [taylor]: Taking taylor expansion of (* 4.0 (pow x 2)) in y
0.528 * [taylor]: Taking taylor expansion of 4.0 in y
0.528 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.528 * [taylor]: Taking taylor expansion of x in y
0.528 * [taylor]: Taking taylor expansion of (+ (* 4.0 (pow x 3)) (+ (pow x 4) (pow y 4))) in y
0.528 * [taylor]: Taking taylor expansion of (* 4.0 (pow x 3)) in y
0.528 * [taylor]: Taking taylor expansion of 4.0 in y
0.528 * [taylor]: Taking taylor expansion of (pow x 3) in y
0.528 * [taylor]: Taking taylor expansion of x in y
0.528 * [taylor]: Taking taylor expansion of (+ (pow x 4) (pow y 4)) in y
0.528 * [taylor]: Taking taylor expansion of (pow x 4) in y
0.528 * [taylor]: Taking taylor expansion of x in y
0.528 * [taylor]: Taking taylor expansion of (pow y 4) in y
0.528 * [taylor]: Taking taylor expansion of y in y
0.528 * [taylor]: Taking taylor expansion of (+ (* (pow x 2) (pow y 2)) (* 2.0 (* x (pow y 2)))) in y
0.528 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y
0.528 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.528 * [taylor]: Taking taylor expansion of x in y
0.528 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.528 * [taylor]: Taking taylor expansion of y in y
0.528 * [taylor]: Taking taylor expansion of (* 2.0 (* x (pow y 2))) in y
0.528 * [taylor]: Taking taylor expansion of 2.0 in y
0.528 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
0.528 * [taylor]: Taking taylor expansion of x in y
0.528 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.528 * [taylor]: Taking taylor expansion of y in y
0.528 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (pow x 2)) (+ (* 4.0 (pow x 3)) (+ (pow x 4) (pow y 4)))) (+ (* (pow x 2) (pow y 2)) (* 2.0 (* x (pow y 2))))) in y
0.528 * [taylor]: Taking taylor expansion of (+ (* 4.0 (pow x 2)) (+ (* 4.0 (pow x 3)) (+ (pow x 4) (pow y 4)))) in y
0.528 * [taylor]: Taking taylor expansion of (* 4.0 (pow x 2)) in y
0.528 * [taylor]: Taking taylor expansion of 4.0 in y
0.528 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.528 * [taylor]: Taking taylor expansion of x in y
0.528 * [taylor]: Taking taylor expansion of (+ (* 4.0 (pow x 3)) (+ (pow x 4) (pow y 4))) in y
0.528 * [taylor]: Taking taylor expansion of (* 4.0 (pow x 3)) in y
0.528 * [taylor]: Taking taylor expansion of 4.0 in y
0.528 * [taylor]: Taking taylor expansion of (pow x 3) in y
0.528 * [taylor]: Taking taylor expansion of x in y
0.528 * [taylor]: Taking taylor expansion of (+ (pow x 4) (pow y 4)) in y
0.528 * [taylor]: Taking taylor expansion of (pow x 4) in y
0.528 * [taylor]: Taking taylor expansion of x in y
0.528 * [taylor]: Taking taylor expansion of (pow y 4) in y
0.528 * [taylor]: Taking taylor expansion of y in y
0.528 * [taylor]: Taking taylor expansion of (+ (* (pow x 2) (pow y 2)) (* 2.0 (* x (pow y 2)))) in y
0.528 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y
0.528 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.528 * [taylor]: Taking taylor expansion of x in y
0.528 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.528 * [taylor]: Taking taylor expansion of y in y
0.528 * [taylor]: Taking taylor expansion of (* 2.0 (* x (pow y 2))) in y
0.529 * [taylor]: Taking taylor expansion of 2.0 in y
0.529 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
0.529 * [taylor]: Taking taylor expansion of x in y
0.529 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.529 * [taylor]: Taking taylor expansion of y in y
0.530 * [taylor]: Taking taylor expansion of (+ (* 4.0 (pow x 2)) (+ (* 4.0 (pow x 3)) (pow x 4))) in x
0.530 * [taylor]: Taking taylor expansion of (* 4.0 (pow x 2)) in x
0.530 * [taylor]: Taking taylor expansion of 4.0 in x
0.530 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.530 * [taylor]: Taking taylor expansion of x in x
0.530 * [taylor]: Taking taylor expansion of (+ (* 4.0 (pow x 3)) (pow x 4)) in x
0.530 * [taylor]: Taking taylor expansion of (* 4.0 (pow x 3)) in x
0.530 * [taylor]: Taking taylor expansion of 4.0 in x
0.530 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.530 * [taylor]: Taking taylor expansion of x in x
0.530 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.530 * [taylor]: Taking taylor expansion of x in x
0.530 * [taylor]: Taking taylor expansion of 0 in x
0.531 * [taylor]: Taking taylor expansion of (neg (+ (pow x 2) (* 2.0 x))) in x
0.531 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 2.0 x)) in x
0.531 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.531 * [taylor]: Taking taylor expansion of x in x
0.532 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
0.532 * [taylor]: Taking taylor expansion of 2.0 in x
0.532 * [taylor]: Taking taylor expansion of x in x
0.533 * [taylor]: Taking taylor expansion of 0 in x
0.534 * [approximate]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 4)) (+ (/ 1 (pow y 4)) (* 4.0 (/ 1 (pow x 3)))))) (+ (/ 1 (* (pow x 2) (pow y 2))) (* 2.0 (/ 1 (* x (pow y 2)))))) in (y x) around 0
0.534 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 4)) (+ (/ 1 (pow y 4)) (* 4.0 (/ 1 (pow x 3)))))) (+ (/ 1 (* (pow x 2) (pow y 2))) (* 2.0 (/ 1 (* x (pow y 2)))))) in x
0.534 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 4)) (+ (/ 1 (pow y 4)) (* 4.0 (/ 1 (pow x 3)))))) in x
0.534 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow x 2))) in x
0.534 * [taylor]: Taking taylor expansion of 4.0 in x
0.534 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.534 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.534 * [taylor]: Taking taylor expansion of x in x
0.534 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 4)) (+ (/ 1 (pow y 4)) (* 4.0 (/ 1 (pow x 3))))) in x
0.534 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
0.534 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.534 * [taylor]: Taking taylor expansion of x in x
0.534 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 4)) (* 4.0 (/ 1 (pow x 3)))) in x
0.534 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x
0.534 * [taylor]: Taking taylor expansion of (pow y 4) in x
0.534 * [taylor]: Taking taylor expansion of y in x
0.535 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow x 3))) in x
0.535 * [taylor]: Taking taylor expansion of 4.0 in x
0.535 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.535 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.535 * [taylor]: Taking taylor expansion of x in x
0.535 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) (pow y 2))) (* 2.0 (/ 1 (* x (pow y 2))))) in x
0.535 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x
0.535 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x
0.535 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.535 * [taylor]: Taking taylor expansion of x in x
0.535 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.535 * [taylor]: Taking taylor expansion of y in x
0.535 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* x (pow y 2)))) in x
0.535 * [taylor]: Taking taylor expansion of 2.0 in x
0.535 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x
0.535 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
0.535 * [taylor]: Taking taylor expansion of x in x
0.535 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.535 * [taylor]: Taking taylor expansion of y in x
0.535 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 4)) (+ (/ 1 (pow y 4)) (* 4.0 (/ 1 (pow x 3)))))) (+ (/ 1 (* (pow x 2) (pow y 2))) (* 2.0 (/ 1 (* x (pow y 2)))))) in y
0.535 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 4)) (+ (/ 1 (pow y 4)) (* 4.0 (/ 1 (pow x 3)))))) in y
0.535 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow x 2))) in y
0.536 * [taylor]: Taking taylor expansion of 4.0 in y
0.536 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.536 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.536 * [taylor]: Taking taylor expansion of x in y
0.536 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 4)) (+ (/ 1 (pow y 4)) (* 4.0 (/ 1 (pow x 3))))) in y
0.536 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y
0.536 * [taylor]: Taking taylor expansion of (pow x 4) in y
0.536 * [taylor]: Taking taylor expansion of x in y
0.536 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 4)) (* 4.0 (/ 1 (pow x 3)))) in y
0.536 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
0.536 * [taylor]: Taking taylor expansion of (pow y 4) in y
0.536 * [taylor]: Taking taylor expansion of y in y
0.536 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow x 3))) in y
0.536 * [taylor]: Taking taylor expansion of 4.0 in y
0.536 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in y
0.536 * [taylor]: Taking taylor expansion of (pow x 3) in y
0.536 * [taylor]: Taking taylor expansion of x in y
0.536 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) (pow y 2))) (* 2.0 (/ 1 (* x (pow y 2))))) in y
0.536 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in y
0.536 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y
0.536 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.536 * [taylor]: Taking taylor expansion of x in y
0.536 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.536 * [taylor]: Taking taylor expansion of y in y
0.537 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* x (pow y 2)))) in y
0.537 * [taylor]: Taking taylor expansion of 2.0 in y
0.537 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y
0.537 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
0.537 * [taylor]: Taking taylor expansion of x in y
0.537 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.537 * [taylor]: Taking taylor expansion of y in y
0.537 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 4)) (+ (/ 1 (pow y 4)) (* 4.0 (/ 1 (pow x 3)))))) (+ (/ 1 (* (pow x 2) (pow y 2))) (* 2.0 (/ 1 (* x (pow y 2)))))) in y
0.537 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 4)) (+ (/ 1 (pow y 4)) (* 4.0 (/ 1 (pow x 3)))))) in y
0.537 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow x 2))) in y
0.537 * [taylor]: Taking taylor expansion of 4.0 in y
0.537 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.537 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.537 * [taylor]: Taking taylor expansion of x in y
0.537 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 4)) (+ (/ 1 (pow y 4)) (* 4.0 (/ 1 (pow x 3))))) in y
0.537 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y
0.537 * [taylor]: Taking taylor expansion of (pow x 4) in y
0.537 * [taylor]: Taking taylor expansion of x in y
0.537 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 4)) (* 4.0 (/ 1 (pow x 3)))) in y
0.537 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
0.537 * [taylor]: Taking taylor expansion of (pow y 4) in y
0.537 * [taylor]: Taking taylor expansion of y in y
0.537 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow x 3))) in y
0.537 * [taylor]: Taking taylor expansion of 4.0 in y
0.537 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in y
0.537 * [taylor]: Taking taylor expansion of (pow x 3) in y
0.537 * [taylor]: Taking taylor expansion of x in y
0.537 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) (pow y 2))) (* 2.0 (/ 1 (* x (pow y 2))))) in y
0.538 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in y
0.538 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y
0.538 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.538 * [taylor]: Taking taylor expansion of x in y
0.538 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.538 * [taylor]: Taking taylor expansion of y in y
0.538 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* x (pow y 2)))) in y
0.538 * [taylor]: Taking taylor expansion of 2.0 in y
0.538 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y
0.538 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
0.538 * [taylor]: Taking taylor expansion of x in y
0.538 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.538 * [taylor]: Taking taylor expansion of y in y
0.538 * [taylor]: Taking taylor expansion of 1 in x
0.538 * [taylor]: Taking taylor expansion of 0 in x
0.539 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (pow x 2)) (* 2.0 (/ 1 x)))) in x
0.539 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) in x
0.539 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.539 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.539 * [taylor]: Taking taylor expansion of x in x
0.539 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
0.539 * [taylor]: Taking taylor expansion of 2.0 in x
0.539 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.539 * [taylor]: Taking taylor expansion of x in x
0.540 * [taylor]: Taking taylor expansion of 0 in x
0.541 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 4)) (* 4.0 (/ 1 (pow x 3))))) in x
0.542 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow x 2))) in x
0.542 * [taylor]: Taking taylor expansion of 4.0 in x
0.542 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.542 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.542 * [taylor]: Taking taylor expansion of x in x
0.542 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 4)) (* 4.0 (/ 1 (pow x 3)))) in x
0.542 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
0.542 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.542 * [taylor]: Taking taylor expansion of x in x
0.542 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow x 3))) in x
0.542 * [taylor]: Taking taylor expansion of 4.0 in x
0.542 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.542 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.542 * [taylor]: Taking taylor expansion of x in x
0.543 * [approximate]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* x (pow y 2)))) (+ (/ 1 (pow x 4)) (+ (* 4.0 (/ 1 (pow x 2))) (/ 1 (pow y 4))))) (+ (/ 1 (* (pow x 2) (pow y 2))) (* 4.0 (/ 1 (pow x 3))))) in (y x) around 0
0.543 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* x (pow y 2)))) (+ (/ 1 (pow x 4)) (+ (* 4.0 (/ 1 (pow x 2))) (/ 1 (pow y 4))))) (+ (/ 1 (* (pow x 2) (pow y 2))) (* 4.0 (/ 1 (pow x 3))))) in x
0.543 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* x (pow y 2)))) (+ (/ 1 (pow x 4)) (+ (* 4.0 (/ 1 (pow x 2))) (/ 1 (pow y 4))))) in x
0.543 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* x (pow y 2)))) in x
0.543 * [taylor]: Taking taylor expansion of 2.0 in x
0.543 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x
0.543 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
0.543 * [taylor]: Taking taylor expansion of x in x
0.543 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.543 * [taylor]: Taking taylor expansion of y in x
0.544 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 4)) (+ (* 4.0 (/ 1 (pow x 2))) (/ 1 (pow y 4)))) in x
0.544 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
0.544 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.544 * [taylor]: Taking taylor expansion of x in x
0.544 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow x 2))) (/ 1 (pow y 4))) in x
0.544 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow x 2))) in x
0.544 * [taylor]: Taking taylor expansion of 4.0 in x
0.544 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.544 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.544 * [taylor]: Taking taylor expansion of x in x
0.544 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x
0.544 * [taylor]: Taking taylor expansion of (pow y 4) in x
0.544 * [taylor]: Taking taylor expansion of y in x
0.544 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) (pow y 2))) (* 4.0 (/ 1 (pow x 3)))) in x
0.544 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x
0.544 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x
0.544 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.544 * [taylor]: Taking taylor expansion of x in x
0.544 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.544 * [taylor]: Taking taylor expansion of y in x
0.544 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow x 3))) in x
0.544 * [taylor]: Taking taylor expansion of 4.0 in x
0.544 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.544 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.544 * [taylor]: Taking taylor expansion of x in x
0.545 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* x (pow y 2)))) (+ (/ 1 (pow x 4)) (+ (* 4.0 (/ 1 (pow x 2))) (/ 1 (pow y 4))))) (+ (/ 1 (* (pow x 2) (pow y 2))) (* 4.0 (/ 1 (pow x 3))))) in y
0.545 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* x (pow y 2)))) (+ (/ 1 (pow x 4)) (+ (* 4.0 (/ 1 (pow x 2))) (/ 1 (pow y 4))))) in y
0.545 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* x (pow y 2)))) in y
0.545 * [taylor]: Taking taylor expansion of 2.0 in y
0.545 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y
0.545 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
0.545 * [taylor]: Taking taylor expansion of x in y
0.545 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.545 * [taylor]: Taking taylor expansion of y in y
0.545 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 4)) (+ (* 4.0 (/ 1 (pow x 2))) (/ 1 (pow y 4)))) in y
0.545 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y
0.545 * [taylor]: Taking taylor expansion of (pow x 4) in y
0.545 * [taylor]: Taking taylor expansion of x in y
0.545 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow x 2))) (/ 1 (pow y 4))) in y
0.545 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow x 2))) in y
0.545 * [taylor]: Taking taylor expansion of 4.0 in y
0.545 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.545 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.545 * [taylor]: Taking taylor expansion of x in y
0.545 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
0.545 * [taylor]: Taking taylor expansion of (pow y 4) in y
0.545 * [taylor]: Taking taylor expansion of y in y
0.545 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) (pow y 2))) (* 4.0 (/ 1 (pow x 3)))) in y
0.545 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in y
0.545 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y
0.545 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.545 * [taylor]: Taking taylor expansion of x in y
0.545 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.545 * [taylor]: Taking taylor expansion of y in y
0.546 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow x 3))) in y
0.546 * [taylor]: Taking taylor expansion of 4.0 in y
0.546 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in y
0.546 * [taylor]: Taking taylor expansion of (pow x 3) in y
0.546 * [taylor]: Taking taylor expansion of x in y
0.546 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ 1 (* x (pow y 2)))) (+ (/ 1 (pow x 4)) (+ (* 4.0 (/ 1 (pow x 2))) (/ 1 (pow y 4))))) (+ (/ 1 (* (pow x 2) (pow y 2))) (* 4.0 (/ 1 (pow x 3))))) in y
0.546 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* x (pow y 2)))) (+ (/ 1 (pow x 4)) (+ (* 4.0 (/ 1 (pow x 2))) (/ 1 (pow y 4))))) in y
0.546 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* x (pow y 2)))) in y
0.546 * [taylor]: Taking taylor expansion of 2.0 in y
0.546 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y
0.546 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
0.546 * [taylor]: Taking taylor expansion of x in y
0.546 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.546 * [taylor]: Taking taylor expansion of y in y
0.546 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 4)) (+ (* 4.0 (/ 1 (pow x 2))) (/ 1 (pow y 4)))) in y
0.546 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y
0.546 * [taylor]: Taking taylor expansion of (pow x 4) in y
0.546 * [taylor]: Taking taylor expansion of x in y
0.546 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow x 2))) (/ 1 (pow y 4))) in y
0.546 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow x 2))) in y
0.546 * [taylor]: Taking taylor expansion of 4.0 in y
0.546 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.546 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.546 * [taylor]: Taking taylor expansion of x in y
0.546 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
0.546 * [taylor]: Taking taylor expansion of (pow y 4) in y
0.546 * [taylor]: Taking taylor expansion of y in y
0.547 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) (pow y 2))) (* 4.0 (/ 1 (pow x 3)))) in y
0.547 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in y
0.547 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y
0.547 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.547 * [taylor]: Taking taylor expansion of x in y
0.547 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.547 * [taylor]: Taking taylor expansion of y in y
0.547 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow x 3))) in y
0.547 * [taylor]: Taking taylor expansion of 4.0 in y
0.547 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in y
0.547 * [taylor]: Taking taylor expansion of (pow x 3) in y
0.547 * [taylor]: Taking taylor expansion of x in y
0.547 * [taylor]: Taking taylor expansion of 1 in x
0.547 * [taylor]: Taking taylor expansion of 0 in x
0.548 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 x)) (/ 1 (pow x 2))) in x
0.548 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
0.548 * [taylor]: Taking taylor expansion of 2.0 in x
0.548 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.548 * [taylor]: Taking taylor expansion of x in x
0.548 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.548 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.548 * [taylor]: Taking taylor expansion of x in x
0.549 * [taylor]: Taking taylor expansion of 0 in x
0.551 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (pow x 2))) (/ 1 (pow x 4))) (* 4.0 (/ 1 (pow x 3)))) in x
0.551 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow x 2))) (/ 1 (pow x 4))) in x
0.551 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow x 2))) in x
0.551 * [taylor]: Taking taylor expansion of 4.0 in x
0.551 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.551 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.551 * [taylor]: Taking taylor expansion of x in x
0.551 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
0.551 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.551 * [taylor]: Taking taylor expansion of x in x
0.551 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow x 3))) in x
0.551 * [taylor]: Taking taylor expansion of 4.0 in x
0.551 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.551 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.551 * [taylor]: Taking taylor expansion of x in x
0.552 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
0.552 * [approximate]: Taking taylor expansion of (* (+ x 2.0) (* x (- (+ (pow x 2) (* 2.0 x)) (pow y 2)))) in (x y) around 0
0.552 * [taylor]: Taking taylor expansion of (* (+ x 2.0) (* x (- (+ (pow x 2) (* 2.0 x)) (pow y 2)))) in y
0.552 * [taylor]: Taking taylor expansion of (+ x 2.0) in y
0.552 * [taylor]: Taking taylor expansion of x in y
0.552 * [taylor]: Taking taylor expansion of 2.0 in y
0.552 * [taylor]: Taking taylor expansion of (* x (- (+ (pow x 2) (* 2.0 x)) (pow y 2))) in y
0.552 * [taylor]: Taking taylor expansion of x in y
0.552 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (* 2.0 x)) (pow y 2)) in y
0.552 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 2.0 x)) in y
0.552 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.552 * [taylor]: Taking taylor expansion of x in y
0.552 * [taylor]: Taking taylor expansion of (* 2.0 x) in y
0.552 * [taylor]: Taking taylor expansion of 2.0 in y
0.552 * [taylor]: Taking taylor expansion of x in y
0.552 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.552 * [taylor]: Taking taylor expansion of y in y
0.552 * [taylor]: Taking taylor expansion of (* (+ x 2.0) (* x (- (+ (pow x 2) (* 2.0 x)) (pow y 2)))) in x
0.552 * [taylor]: Taking taylor expansion of (+ x 2.0) in x
0.552 * [taylor]: Taking taylor expansion of x in x
0.552 * [taylor]: Taking taylor expansion of 2.0 in x
0.552 * [taylor]: Taking taylor expansion of (* x (- (+ (pow x 2) (* 2.0 x)) (pow y 2))) in x
0.552 * [taylor]: Taking taylor expansion of x in x
0.552 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (* 2.0 x)) (pow y 2)) in x
0.552 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 2.0 x)) in x
0.552 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.552 * [taylor]: Taking taylor expansion of x in x
0.552 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
0.552 * [taylor]: Taking taylor expansion of 2.0 in x
0.552 * [taylor]: Taking taylor expansion of x in x
0.552 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.552 * [taylor]: Taking taylor expansion of y in x
0.552 * [taylor]: Taking taylor expansion of (* (+ x 2.0) (* x (- (+ (pow x 2) (* 2.0 x)) (pow y 2)))) in x
0.552 * [taylor]: Taking taylor expansion of (+ x 2.0) in x
0.552 * [taylor]: Taking taylor expansion of x in x
0.552 * [taylor]: Taking taylor expansion of 2.0 in x
0.552 * [taylor]: Taking taylor expansion of (* x (- (+ (pow x 2) (* 2.0 x)) (pow y 2))) in x
0.553 * [taylor]: Taking taylor expansion of x in x
0.553 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (* 2.0 x)) (pow y 2)) in x
0.553 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 2.0 x)) in x
0.553 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.553 * [taylor]: Taking taylor expansion of x in x
0.553 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
0.553 * [taylor]: Taking taylor expansion of 2.0 in x
0.553 * [taylor]: Taking taylor expansion of x in x
0.553 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.553 * [taylor]: Taking taylor expansion of y in x
0.553 * [taylor]: Taking taylor expansion of 0 in y
0.553 * [taylor]: Taking taylor expansion of (neg (* 2.0 (pow y 2))) in y
0.553 * [taylor]: Taking taylor expansion of (* 2.0 (pow y 2)) in y
0.553 * [taylor]: Taking taylor expansion of 2.0 in y
0.553 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.553 * [taylor]: Taking taylor expansion of y in y
0.554 * [taylor]: Taking taylor expansion of (- 4.0 (pow y 2)) in y
0.554 * [taylor]: Taking taylor expansion of 4.0 in y
0.554 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.554 * [taylor]: Taking taylor expansion of y in y
0.554 * [taylor]: Taking taylor expansion of 4.0 in y
0.555 * [approximate]: Taking taylor expansion of (/ (* (- (+ (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) (/ 1 (pow y 2))) (+ 2.0 (/ 1 x))) x) in (x y) around 0
0.555 * [taylor]: Taking taylor expansion of (/ (* (- (+ (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) (/ 1 (pow y 2))) (+ 2.0 (/ 1 x))) x) in y
0.555 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) (/ 1 (pow y 2))) (+ 2.0 (/ 1 x))) in y
0.555 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) (/ 1 (pow y 2))) in y
0.555 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) in y
0.555 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.555 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.555 * [taylor]: Taking taylor expansion of x in y
0.556 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y
0.556 * [taylor]: Taking taylor expansion of 2.0 in y
0.556 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.556 * [taylor]: Taking taylor expansion of x in y
0.556 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.556 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.556 * [taylor]: Taking taylor expansion of y in y
0.556 * [taylor]: Taking taylor expansion of (+ 2.0 (/ 1 x)) in y
0.556 * [taylor]: Taking taylor expansion of 2.0 in y
0.556 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.556 * [taylor]: Taking taylor expansion of x in y
0.556 * [taylor]: Taking taylor expansion of x in y
0.556 * [taylor]: Taking taylor expansion of (/ (* (- (+ (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) (/ 1 (pow y 2))) (+ 2.0 (/ 1 x))) x) in x
0.556 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) (/ 1 (pow y 2))) (+ 2.0 (/ 1 x))) in x
0.556 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) (/ 1 (pow y 2))) in x
0.556 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) in x
0.556 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.556 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.556 * [taylor]: Taking taylor expansion of x in x
0.556 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
0.556 * [taylor]: Taking taylor expansion of 2.0 in x
0.556 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.556 * [taylor]: Taking taylor expansion of x in x
0.556 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
0.556 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.556 * [taylor]: Taking taylor expansion of y in x
0.556 * [taylor]: Taking taylor expansion of (+ 2.0 (/ 1 x)) in x
0.556 * [taylor]: Taking taylor expansion of 2.0 in x
0.556 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.556 * [taylor]: Taking taylor expansion of x in x
0.557 * [taylor]: Taking taylor expansion of x in x
0.557 * [taylor]: Taking taylor expansion of (/ (* (- (+ (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) (/ 1 (pow y 2))) (+ 2.0 (/ 1 x))) x) in x
0.557 * [taylor]: Taking taylor expansion of (* (- (+ (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) (/ 1 (pow y 2))) (+ 2.0 (/ 1 x))) in x
0.557 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) (/ 1 (pow y 2))) in x
0.557 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) in x
0.557 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.557 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.557 * [taylor]: Taking taylor expansion of x in x
0.557 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
0.557 * [taylor]: Taking taylor expansion of 2.0 in x
0.557 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.557 * [taylor]: Taking taylor expansion of x in x
0.557 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
0.557 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.557 * [taylor]: Taking taylor expansion of y in x
0.557 * [taylor]: Taking taylor expansion of (+ 2.0 (/ 1 x)) in x
0.557 * [taylor]: Taking taylor expansion of 2.0 in x
0.557 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.557 * [taylor]: Taking taylor expansion of x in x
0.557 * [taylor]: Taking taylor expansion of x in x
0.557 * [taylor]: Taking taylor expansion of 1 in y
0.557 * [taylor]: Taking taylor expansion of 4.0 in y
0.558 * [taylor]: Taking taylor expansion of (- 4.0 (/ 1 (pow y 2))) in y
0.558 * [taylor]: Taking taylor expansion of 4.0 in y
0.558 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.558 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.558 * [taylor]: Taking taylor expansion of y in y
0.559 * [taylor]: Taking taylor expansion of (neg (* 2.0 (/ 1 (pow y 2)))) in y
0.559 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow y 2))) in y
0.559 * [taylor]: Taking taylor expansion of 2.0 in y
0.559 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.559 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.559 * [taylor]: Taking taylor expansion of y in y
0.561 * [approximate]: Taking taylor expansion of (* -1 (/ (* (- (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x)))) (- 2.0 (/ 1 x))) x)) in (x y) around 0
0.561 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x)))) (- 2.0 (/ 1 x))) x)) in y
0.561 * [taylor]: Taking taylor expansion of -1 in y
0.561 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x)))) (- 2.0 (/ 1 x))) x) in y
0.561 * [taylor]: Taking taylor expansion of (* (- (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x)))) (- 2.0 (/ 1 x))) in y
0.561 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x)))) in y
0.561 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.561 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.561 * [taylor]: Taking taylor expansion of x in y
0.561 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x))) in y
0.561 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.561 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.561 * [taylor]: Taking taylor expansion of y in y
0.561 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y
0.561 * [taylor]: Taking taylor expansion of 2.0 in y
0.561 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.561 * [taylor]: Taking taylor expansion of x in y
0.561 * [taylor]: Taking taylor expansion of (- 2.0 (/ 1 x)) in y
0.561 * [taylor]: Taking taylor expansion of 2.0 in y
0.561 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.561 * [taylor]: Taking taylor expansion of x in y
0.561 * [taylor]: Taking taylor expansion of x in y
0.561 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x)))) (- 2.0 (/ 1 x))) x)) in x
0.561 * [taylor]: Taking taylor expansion of -1 in x
0.561 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x)))) (- 2.0 (/ 1 x))) x) in x
0.562 * [taylor]: Taking taylor expansion of (* (- (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x)))) (- 2.0 (/ 1 x))) in x
0.562 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x)))) in x
0.562 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.562 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.562 * [taylor]: Taking taylor expansion of x in x
0.562 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x))) in x
0.562 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
0.562 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.562 * [taylor]: Taking taylor expansion of y in x
0.562 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
0.562 * [taylor]: Taking taylor expansion of 2.0 in x
0.562 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.562 * [taylor]: Taking taylor expansion of x in x
0.562 * [taylor]: Taking taylor expansion of (- 2.0 (/ 1 x)) in x
0.562 * [taylor]: Taking taylor expansion of 2.0 in x
0.562 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.562 * [taylor]: Taking taylor expansion of x in x
0.562 * [taylor]: Taking taylor expansion of x in x
0.562 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x)))) (- 2.0 (/ 1 x))) x)) in x
0.562 * [taylor]: Taking taylor expansion of -1 in x
0.562 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x)))) (- 2.0 (/ 1 x))) x) in x
0.562 * [taylor]: Taking taylor expansion of (* (- (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x)))) (- 2.0 (/ 1 x))) in x
0.562 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x)))) in x
0.562 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.562 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.562 * [taylor]: Taking taylor expansion of x in x
0.562 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x))) in x
0.562 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
0.562 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.562 * [taylor]: Taking taylor expansion of y in x
0.562 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
0.562 * [taylor]: Taking taylor expansion of 2.0 in x
0.562 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.562 * [taylor]: Taking taylor expansion of x in x
0.562 * [taylor]: Taking taylor expansion of (- 2.0 (/ 1 x)) in x
0.563 * [taylor]: Taking taylor expansion of 2.0 in x
0.563 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.563 * [taylor]: Taking taylor expansion of x in x
0.563 * [taylor]: Taking taylor expansion of x in x
0.563 * [taylor]: Taking taylor expansion of 1 in y
0.563 * [taylor]: Taking taylor expansion of (neg 4.0) in y
0.563 * [taylor]: Taking taylor expansion of 4.0 in y
0.564 * [taylor]: Taking taylor expansion of (- 4.0 (/ 1 (pow y 2))) in y
0.564 * [taylor]: Taking taylor expansion of 4.0 in y
0.564 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.564 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.564 * [taylor]: Taking taylor expansion of y in y
0.565 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow y 2))) in y
0.565 * [taylor]: Taking taylor expansion of 2.0 in y
0.565 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.565 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.565 * [taylor]: Taking taylor expansion of y in y
0.566 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
0.566 * [approximate]: Taking taylor expansion of (pow (* (+ x 2.0) x) 3) in (x) around 0
0.566 * [taylor]: Taking taylor expansion of (pow (* (+ x 2.0) x) 3) in x
0.566 * [taylor]: Taking taylor expansion of (* (+ x 2.0) x) in x
0.566 * [taylor]: Taking taylor expansion of (+ x 2.0) in x
0.566 * [taylor]: Taking taylor expansion of x in x
0.566 * [taylor]: Taking taylor expansion of 2.0 in x
0.566 * [taylor]: Taking taylor expansion of x in x
0.566 * [taylor]: Taking taylor expansion of (pow (* (+ x 2.0) x) 3) in x
0.566 * [taylor]: Taking taylor expansion of (* (+ x 2.0) x) in x
0.567 * [taylor]: Taking taylor expansion of (+ x 2.0) in x
0.567 * [taylor]: Taking taylor expansion of x in x
0.567 * [taylor]: Taking taylor expansion of 2.0 in x
0.567 * [taylor]: Taking taylor expansion of x in x
0.567 * [approximate]: Taking taylor expansion of (pow (/ (+ 2.0 (/ 1 x)) x) 3) in (x) around 0
0.567 * [taylor]: Taking taylor expansion of (pow (/ (+ 2.0 (/ 1 x)) x) 3) in x
0.567 * [taylor]: Taking taylor expansion of (/ (+ 2.0 (/ 1 x)) x) in x
0.568 * [taylor]: Taking taylor expansion of (+ 2.0 (/ 1 x)) in x
0.568 * [taylor]: Taking taylor expansion of 2.0 in x
0.568 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.568 * [taylor]: Taking taylor expansion of x in x
0.568 * [taylor]: Taking taylor expansion of x in x
0.568 * [taylor]: Taking taylor expansion of (pow (/ (+ 2.0 (/ 1 x)) x) 3) in x
0.568 * [taylor]: Taking taylor expansion of (/ (+ 2.0 (/ 1 x)) x) in x
0.568 * [taylor]: Taking taylor expansion of (+ 2.0 (/ 1 x)) in x
0.568 * [taylor]: Taking taylor expansion of 2.0 in x
0.568 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.568 * [taylor]: Taking taylor expansion of x in x
0.568 * [taylor]: Taking taylor expansion of x in x
0.569 * [approximate]: Taking taylor expansion of (pow (* -1 (/ (- 2.0 (/ 1 x)) x)) 3) in (x) around 0
0.569 * [taylor]: Taking taylor expansion of (pow (* -1 (/ (- 2.0 (/ 1 x)) x)) 3) in x
0.569 * [taylor]: Taking taylor expansion of (* -1 (/ (- 2.0 (/ 1 x)) x)) in x
0.569 * [taylor]: Taking taylor expansion of -1 in x
0.569 * [taylor]: Taking taylor expansion of (/ (- 2.0 (/ 1 x)) x) in x
0.569 * [taylor]: Taking taylor expansion of (- 2.0 (/ 1 x)) in x
0.569 * [taylor]: Taking taylor expansion of 2.0 in x
0.569 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.569 * [taylor]: Taking taylor expansion of x in x
0.569 * [taylor]: Taking taylor expansion of x in x
0.569 * [taylor]: Taking taylor expansion of (pow (* -1 (/ (- 2.0 (/ 1 x)) x)) 3) in x
0.569 * [taylor]: Taking taylor expansion of (* -1 (/ (- 2.0 (/ 1 x)) x)) in x
0.569 * [taylor]: Taking taylor expansion of -1 in x
0.569 * [taylor]: Taking taylor expansion of (/ (- 2.0 (/ 1 x)) x) in x
0.569 * [taylor]: Taking taylor expansion of (- 2.0 (/ 1 x)) in x
0.569 * [taylor]: Taking taylor expansion of 2.0 in x
0.569 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.569 * [taylor]: Taking taylor expansion of x in x
0.569 * [taylor]: Taking taylor expansion of x in x
0.570 * * * [progress]: simplifying candidates
0.572 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (-.f64 (log.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6))) (log.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))))
  (log.f64 (/.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6)) (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))))
  (exp.f64 (/.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6)) (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))))
  (/.f64 (*.f64 (*.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6)) (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6))) (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6))) (*.f64 (*.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))) (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))) (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))))
  (*.f64 (cbrt.f64 (/.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6)) (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))))) (cbrt.f64 (/.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6)) (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))))))
  (cbrt.f64 (/.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6)) (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))))
  (*.f64 (*.f64 (/.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6)) (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))) (/.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6)) (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))))) (/.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6)) (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))))
  (sqrt.f64 (/.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6)) (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))))
  (sqrt.f64 (/.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6)) (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))))
  (neg.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6)))
  (neg.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6))) (cbrt.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6)))) (*.f64 (cbrt.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))) (cbrt.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))))))
  (/.f64 (cbrt.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6))) (cbrt.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6))) (cbrt.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6)))) (sqrt.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))))
  (/.f64 (cbrt.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6))) (sqrt.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6))) (cbrt.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6)))) 1)
  (/.f64 (cbrt.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6))) (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))))
  (/.f64 (sqrt.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6))) (*.f64 (cbrt.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))) (cbrt.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))))))
  (/.f64 (sqrt.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6))) (cbrt.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))))
  (/.f64 (sqrt.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6))) (sqrt.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))))
  (/.f64 (sqrt.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6))) (sqrt.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))))
  (/.f64 (sqrt.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6))) 1)
  (/.f64 (sqrt.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6))) (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))))
  (/.f64 1 (*.f64 (cbrt.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))) (cbrt.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))))))
  (/.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6)) (cbrt.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))))
  (/.f64 1 (sqrt.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))))
  (/.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6)) (sqrt.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))))
  (/.f64 1 1)
  (/.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6)) (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))))
  (/.f64 1 (*.f64 (cbrt.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))) (cbrt.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))))))
  (/.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6)) (cbrt.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))))
  (/.f64 1 (sqrt.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))))
  (/.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6)) (sqrt.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))))
  (/.f64 1 1)
  (/.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6)) (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))))
  (/.f64 1 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))))
  (/.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))) (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6)))
  (/.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6)) (*.f64 (cbrt.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))) (cbrt.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))))))
  (/.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6)) (sqrt.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))))
  (/.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6)) 1)
  (/.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))) (cbrt.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6))))
  (/.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))) (sqrt.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6))))
  (/.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))) (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6)))
  (/.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))) (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6)))
  (/.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6)) (+.f64 (pow.f64 (pow.f64 y 4) 3) (pow.f64 (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))) 3)))
  (/.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6)) (-.f64 (*.f64 (pow.f64 y 4) (pow.f64 y 4)) (*.f64 (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))))
  (*.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))) (+.f64 (*.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 (*.f64 x (+.f64 x 2.0)) 3)) (-.f64 (*.f64 (pow.f64 y 6) (pow.f64 y 6)) (*.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6)))))
  (*.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))) (-.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6)))
  (*.f64 (exp.f64 (pow.f64 y 4)) (exp.f64 (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))))
  (log.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))))
  (exp.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))))
  (*.f64 (cbrt.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))) (cbrt.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))))
  (cbrt.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))))
  (*.f64 (*.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))) (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))) (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))))
  (sqrt.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))))
  (sqrt.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))))
  (+.f64 (pow.f64 (pow.f64 y 4) 3) (pow.f64 (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))) 3))
  (+.f64 (*.f64 (pow.f64 y 4) (pow.f64 y 4)) (-.f64 (*.f64 (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))) (*.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))))
  (-.f64 (*.f64 (pow.f64 y 4) (pow.f64 y 4)) (*.f64 (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))))
  (-.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))
  (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 x (+.f64 x 2.0))))
  (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 x x)))
  (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 x x)))
  (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 x (+.f64 x 2.0))))
  (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x x) (*.f64 x (+.f64 x 2.0))))
  (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x x) (*.f64 x (+.f64 x 2.0))))
  (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))
  (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))
  (+.f64 (+.f64 (log.f64 x) (log.f64 (+.f64 x 2.0))) (log.f64 (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))
  (+.f64 (log.f64 (*.f64 x (+.f64 x 2.0))) (log.f64 (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))
  (log.f64 (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))
  (exp.f64 (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))
  (*.f64 (*.f64 (*.f64 (*.f64 x x) x) (*.f64 (*.f64 (+.f64 x 2.0) (+.f64 x 2.0)) (+.f64 x 2.0))) (*.f64 (*.f64 (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))
  (*.f64 (*.f64 (*.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 x (+.f64 x 2.0))) (*.f64 x (+.f64 x 2.0))) (*.f64 (*.f64 (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))
  (*.f64 (cbrt.f64 (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))) (cbrt.f64 (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))))
  (cbrt.f64 (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))
  (*.f64 (*.f64 (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))
  (sqrt.f64 (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))
  (sqrt.f64 (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))
  (*.f64 (*.f64 x (+.f64 (pow.f64 x 3) (pow.f64 2.0 3))) (-.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 (*.f64 y y) 3)))
  (*.f64 (+.f64 (*.f64 x x) (-.f64 (*.f64 2.0 2.0) (*.f64 x 2.0))) (+.f64 (*.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 x (+.f64 x 2.0))) (+.f64 (*.f64 (*.f64 y y) (*.f64 y y)) (*.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))))
  (*.f64 (*.f64 x (+.f64 (pow.f64 x 3) (pow.f64 2.0 3))) (-.f64 (*.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 x (+.f64 x 2.0))) (*.f64 (*.f64 y y) (*.f64 y y))))
  (*.f64 (+.f64 (*.f64 x x) (-.f64 (*.f64 2.0 2.0) (*.f64 x 2.0))) (+.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))
  (*.f64 (*.f64 x (-.f64 (*.f64 x x) (*.f64 2.0 2.0))) (-.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 (*.f64 y y) 3)))
  (*.f64 (-.f64 x 2.0) (+.f64 (*.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 x (+.f64 x 2.0))) (+.f64 (*.f64 (*.f64 y y) (*.f64 y y)) (*.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))))
  (*.f64 (*.f64 x (-.f64 (*.f64 x x) (*.f64 2.0 2.0))) (-.f64 (*.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 x (+.f64 x 2.0))) (*.f64 (*.f64 y y) (*.f64 y y))))
  (*.f64 (-.f64 x 2.0) (+.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))
  (*.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 x (+.f64 x 2.0)))
  (*.f64 (*.f64 x (+.f64 x 2.0)) (neg.f64 (*.f64 y y)))
  (*.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 x x))
  (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x 2.0) (*.f64 y y)))
  (*.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 x x))
  (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 2.0 x) (*.f64 y y)))
  (*.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 x (+.f64 x 2.0)))
  (*.f64 (neg.f64 (*.f64 y y)) (*.f64 x (+.f64 x 2.0)))
  (*.f64 (*.f64 x x) (*.f64 x (+.f64 x 2.0)))
  (*.f64 (-.f64 (*.f64 x 2.0) (*.f64 y y)) (*.f64 x (+.f64 x 2.0)))
  (*.f64 (*.f64 x x) (*.f64 x (+.f64 x 2.0)))
  (*.f64 (-.f64 (*.f64 2.0 x) (*.f64 y y)) (*.f64 x (+.f64 x 2.0)))
  (*.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 (cbrt.f64 (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))) (cbrt.f64 (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))))
  (*.f64 (*.f64 x (+.f64 x 2.0)) (sqrt.f64 (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))
  (*.f64 (*.f64 x (+.f64 x 2.0)) 1)
  (*.f64 (+.f64 x 2.0) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))
  (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 (*.f64 y y) 3)))
  (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 x (+.f64 x 2.0))) (*.f64 (*.f64 y y) (*.f64 y y))))
  (*.f64 (*.f64 x (+.f64 (pow.f64 x 3) (pow.f64 2.0 3))) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))
  (*.f64 (*.f64 x (-.f64 (*.f64 x x) (*.f64 2.0 2.0))) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))
  (*.f64 (+.f64 (log.f64 x) (log.f64 (+.f64 x 2.0))) 3)
  (*.f64 (log.f64 (*.f64 x (+.f64 x 2.0))) 3)
  (*.f64 (log.f64 (*.f64 x (+.f64 x 2.0))) 3)
  (*.f64 1 3)
  (*.f64 1 3)
  (pow.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
  (pow.f64 (*.f64 x (+.f64 x 2.0)) (sqrt.f64 3))
  (pow.f64 (*.f64 x (+.f64 x 2.0)) 1)
  (pow.f64 x 3)
  (pow.f64 (+.f64 x 2.0) 3)
  (*.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 x (+.f64 x 2.0)))
  (log.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3))
  (exp.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3))
  (*.f64 (cbrt.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3)) (cbrt.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3)))
  (cbrt.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3))
  (*.f64 (*.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 (*.f64 x (+.f64 x 2.0)) 3)) (pow.f64 (*.f64 x (+.f64 x 2.0)) 3))
  (pow.f64 x 3)
  (pow.f64 (+.f64 x 2.0) 3)
  (pow.f64 (*.f64 x (+.f64 (pow.f64 x 3) (pow.f64 2.0 3))) 3)
  (pow.f64 (+.f64 (*.f64 x x) (-.f64 (*.f64 2.0 2.0) (*.f64 x 2.0))) 3)
  (pow.f64 (*.f64 x (-.f64 (*.f64 x x) (*.f64 2.0 2.0))) 3)
  (pow.f64 (-.f64 x 2.0) 3)
  (*.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 x (+.f64 x 2.0)))
  (sqrt.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3))
  (sqrt.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3))
  (pow.f64 (*.f64 x (+.f64 x 2.0)) (/.f64 3 2))
  (pow.f64 (*.f64 x (+.f64 x 2.0)) (/.f64 3 2))
  (+.f64 (pow.f64 x 2) (+.f64 (*.f64 2.0 x) (pow.f64 y 2)))
  (+.f64 (pow.f64 x 2) (+.f64 (*.f64 2.0 x) (pow.f64 y 2)))
  (+.f64 (pow.f64 x 2) (+.f64 (*.f64 2.0 x) (pow.f64 y 2)))
  (-.f64 (+.f64 (*.f64 4.0 (pow.f64 x 2)) (*.f64 4.0 (pow.f64 x 3))) (*.f64 2.0 (*.f64 x (pow.f64 y 2))))
  (-.f64 (+.f64 (pow.f64 x 4) (pow.f64 y 4)) (*.f64 (pow.f64 x 2) (pow.f64 y 2)))
  (-.f64 (+.f64 (pow.f64 x 4) (pow.f64 y 4)) (*.f64 (pow.f64 x 2) (pow.f64 y 2)))
  (-.f64 (+.f64 (*.f64 4.0 (pow.f64 x 2)) (*.f64 4.0 (pow.f64 x 3))) (*.f64 2.0 (*.f64 x (pow.f64 y 2))))
  (-.f64 (pow.f64 x 4) (+.f64 (*.f64 2.0 (*.f64 x (pow.f64 y 2))) (*.f64 (pow.f64 x 2) (pow.f64 y 2))))
  (-.f64 (pow.f64 x 4) (+.f64 (*.f64 2.0 (*.f64 x (pow.f64 y 2))) (*.f64 (pow.f64 x 2) (pow.f64 y 2))))
  (+.f64 (*.f64 8.0 (pow.f64 x 3)) (+.f64 (*.f64 6.0 (pow.f64 x 5)) (*.f64 12.0 (pow.f64 x 4))))
  (+.f64 (pow.f64 x 6) (+.f64 (*.f64 12.0 (pow.f64 x 4)) (*.f64 6.0 (pow.f64 x 5))))
  (+.f64 (pow.f64 x 6) (+.f64 (*.f64 12.0 (pow.f64 x 4)) (*.f64 6.0 (pow.f64 x 5))))
0.624 * * [simplify]: iteration  0 :  5018  enodes  (cost  2882 )
0.633 * [simplify]: Simplified to:
   (log.f64 (/.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6)) (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))))
  (log.f64 (/.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6)) (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))))
  (exp.f64 (/.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6)) (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))))
  (pow.f64 (/.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6)) (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))) 3)
  (*.f64 (cbrt.f64 (/.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6)) (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))))) (cbrt.f64 (/.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6)) (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))))))
  (cbrt.f64 (/.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6)) (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))))
  (pow.f64 (/.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6)) (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))) 3)
  (sqrt.f64 (/.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6)) (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))))
  (sqrt.f64 (/.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6)) (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))))
  (neg.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6)))
  (neg.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6))) (cbrt.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6)))) (*.f64 (cbrt.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))) (cbrt.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))))))
  (/.f64 (cbrt.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6))) (cbrt.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6))) (cbrt.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6)))) (sqrt.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))))
  (/.f64 (cbrt.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6))) (sqrt.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))))
  (*.f64 (cbrt.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6))) (cbrt.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6))))
  (/.f64 (cbrt.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6))) (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))))
  (/.f64 (sqrt.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6))) (*.f64 (cbrt.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))) (cbrt.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))))))
  (/.f64 (sqrt.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6))) (cbrt.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))))
  (/.f64 (sqrt.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6))) (sqrt.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))))
  (/.f64 (sqrt.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6))) (sqrt.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))))
  (sqrt.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6)))
  (/.f64 (sqrt.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6))) (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))))
  (/.f64 1 (*.f64 (cbrt.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))) (cbrt.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))))))
  (/.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6)) (cbrt.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))))
  (/.f64 1 (sqrt.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))))
  (/.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6)) (sqrt.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))))
  1
  (/.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6)) (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))))
  (/.f64 1 (*.f64 (cbrt.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))) (cbrt.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))))))
  (/.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6)) (cbrt.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))))
  (/.f64 1 (sqrt.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))))
  (/.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6)) (sqrt.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))))
  1
  (/.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6)) (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))))
  (/.f64 1 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))))
  (/.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))) (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6)))
  (/.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6)) (*.f64 (cbrt.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))) (cbrt.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))))))
  (/.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6)) (sqrt.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))))
  (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6))
  (/.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))) (cbrt.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6))))
  (/.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))) (sqrt.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6))))
  (/.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))) (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6)))
  (/.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))) (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6)))
  (/.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6)) (+.f64 (pow.f64 y 12) (pow.f64 (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))) 3)))
  (/.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6)) (-.f64 (pow.f64 y 8) (*.f64 (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)) (*.f64 (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)) (pow.f64 (*.f64 x (+.f64 x 2.0)) 2)))))
  (*.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))) (+.f64 (pow.f64 y 12) (*.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (-.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6)))))
  (*.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))) (-.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6)))
  (exp.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))))
  (log.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))))
  (exp.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))))
  (*.f64 (cbrt.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))) (cbrt.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))))
  (cbrt.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))))
  (pow.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))) 3)
  (sqrt.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))))
  (sqrt.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))))
  (+.f64 (pow.f64 y 12) (pow.f64 (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))) 3))
  (+.f64 (pow.f64 y 8) (*.f64 x (*.f64 (*.f64 (+.f64 x 2.0) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))) (-.f64 (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))) (pow.f64 y 4)))))
  (-.f64 (pow.f64 y 8) (*.f64 (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)) (*.f64 (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)) (pow.f64 (*.f64 x (+.f64 x 2.0)) 2))))
  (-.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))
  (+.f64 (pow.f64 y 4) (pow.f64 (*.f64 x (+.f64 x 2.0)) 2))
  (+.f64 (pow.f64 y 4) (*.f64 (+.f64 x 2.0) (pow.f64 x 3)))
  (+.f64 (pow.f64 y 4) (*.f64 (+.f64 x 2.0) (pow.f64 x 3)))
  (+.f64 (pow.f64 y 4) (pow.f64 (*.f64 x (+.f64 x 2.0)) 2))
  (+.f64 (pow.f64 y 4) (*.f64 (+.f64 x 2.0) (pow.f64 x 3)))
  (+.f64 (pow.f64 y 4) (*.f64 (+.f64 x 2.0) (pow.f64 x 3)))
  (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))
  (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))
  (log.f64 (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))
  (log.f64 (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))
  (log.f64 (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))
  (exp.f64 (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))
  (pow.f64 (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))) 3)
  (pow.f64 (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))) 3)
  (*.f64 (cbrt.f64 (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))) (cbrt.f64 (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))))
  (cbrt.f64 (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))
  (pow.f64 (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))) 3)
  (sqrt.f64 (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))
  (sqrt.f64 (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))
  (*.f64 (-.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6)) (*.f64 x (+.f64 (pow.f64 x 3) (pow.f64 2.0 3))))
  (*.f64 (+.f64 (*.f64 x x) (*.f64 2.0 (-.f64 2.0 x))) (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (+.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))))
  (*.f64 (*.f64 x (+.f64 (pow.f64 x 3) (pow.f64 2.0 3))) (-.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 2) (pow.f64 y 4)))
  (*.f64 (+.f64 (*.f64 x x) (*.f64 2.0 (-.f64 2.0 x))) (+.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))
  (*.f64 (-.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6)) (*.f64 x (-.f64 (*.f64 x x) (*.f64 2.0 2.0))))
  (*.f64 (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (+.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))) (-.f64 x 2.0))
  (*.f64 (-.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 2) (pow.f64 y 4)) (*.f64 x (-.f64 (*.f64 x x) (*.f64 2.0 2.0))))
  (*.f64 (+.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)) (-.f64 x 2.0))
  (pow.f64 (*.f64 x (+.f64 x 2.0)) 2)
  (*.f64 (*.f64 x (+.f64 x 2.0)) (neg.f64 (*.f64 y y)))
  (*.f64 (+.f64 x 2.0) (pow.f64 x 3))
  (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x 2.0) (*.f64 y y)))
  (*.f64 (+.f64 x 2.0) (pow.f64 x 3))
  (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x 2.0) (*.f64 y y)))
  (pow.f64 (*.f64 x (+.f64 x 2.0)) 2)
  (*.f64 (*.f64 x (+.f64 x 2.0)) (neg.f64 (*.f64 y y)))
  (*.f64 (+.f64 x 2.0) (pow.f64 x 3))
  (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x 2.0) (*.f64 y y)))
  (*.f64 (+.f64 x 2.0) (pow.f64 x 3))
  (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x 2.0) (*.f64 y y)))
  (*.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 (cbrt.f64 (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))) (cbrt.f64 (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))))
  (*.f64 (*.f64 x (+.f64 x 2.0)) (sqrt.f64 (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))
  (*.f64 x (+.f64 x 2.0))
  (*.f64 (+.f64 x 2.0) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))
  (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6)))
  (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 2) (pow.f64 y 4)))
  (*.f64 (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)) (*.f64 x (+.f64 (pow.f64 x 3) (pow.f64 2.0 3))))
  (*.f64 (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)) (*.f64 x (-.f64 (*.f64 x x) (*.f64 2.0 2.0))))
  (*.f64 3 (log.f64 (*.f64 x (+.f64 x 2.0))))
  (*.f64 3 (log.f64 (*.f64 x (+.f64 x 2.0))))
  (*.f64 3 (log.f64 (*.f64 x (+.f64 x 2.0))))
  3
  3
  (pow.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
  (pow.f64 (*.f64 x (+.f64 x 2.0)) (sqrt.f64 3))
  (*.f64 x (+.f64 x 2.0))
  (pow.f64 x 3)
  (pow.f64 (+.f64 x 2.0) 3)
  (pow.f64 (*.f64 x (+.f64 x 2.0)) 2)
  (*.f64 3 (log.f64 (*.f64 x (+.f64 x 2.0))))
  (exp.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3))
  (pow.f64 (*.f64 x (+.f64 x 2.0)) 2)
  (*.f64 x (+.f64 x 2.0))
  (pow.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) 3)
  (pow.f64 x 3)
  (pow.f64 (+.f64 x 2.0) 3)
  (pow.f64 (*.f64 x (+.f64 (pow.f64 x 3) (pow.f64 2.0 3))) 3)
  (pow.f64 (+.f64 (*.f64 x x) (*.f64 2.0 (-.f64 2.0 x))) 3)
  (pow.f64 (*.f64 x (-.f64 (*.f64 x x) (*.f64 2.0 2.0))) 3)
  (pow.f64 (-.f64 x 2.0) 3)
  (pow.f64 (*.f64 x (+.f64 x 2.0)) 2)
  (sqrt.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3))
  (sqrt.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3))
  (pow.f64 (*.f64 x (+.f64 x 2.0)) 3/2)
  (pow.f64 (*.f64 x (+.f64 x 2.0)) 3/2)
  (+.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))
  (+.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))
  (+.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))
  (-.f64 (*.f64 (*.f64 x x) (+.f64 4.0 (*.f64 x 4.0))) (*.f64 2.0 (*.f64 x (*.f64 y y))))
  (-.f64 (+.f64 (pow.f64 y 4) (pow.f64 x 4)) (*.f64 x (*.f64 x (*.f64 y y))))
  (-.f64 (+.f64 (pow.f64 y 4) (pow.f64 x 4)) (*.f64 x (*.f64 x (*.f64 y y))))
  (-.f64 (*.f64 (*.f64 x x) (+.f64 4.0 (*.f64 x 4.0))) (*.f64 2.0 (*.f64 x (*.f64 y y))))
  (-.f64 (pow.f64 x 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))
  (-.f64 (pow.f64 x 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y)))
  (+.f64 (*.f64 (pow.f64 x 3) 8.0) (+.f64 (*.f64 6.0 (pow.f64 x 5)) (*.f64 (pow.f64 x 4) 12.0)))
  (+.f64 (+.f64 (*.f64 6.0 (pow.f64 x 5)) (*.f64 (pow.f64 x 4) 12.0)) (pow.f64 x 6))
  (+.f64 (+.f64 (*.f64 6.0 (pow.f64 x 5)) (*.f64 (pow.f64 x 4) 12.0)) (pow.f64 x 6))
0.634 * * * [progress]: adding candidates to table
0.795 * [progress]: [Phase 3 of 3] Extracting.
0.795 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (*.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))) (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))))> #<alt (λ (x y) (/.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6)) (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))))> #<alt (λ (x y) (+.f64 (+.f64 (*.f64 x 2.0) (*.f64 x x)) (*.f64 y y)))>)
0.796 * * * [regime-changes]: Trying 5 branch expressions: ((*.f64 y y) (+.f64 (*.f64 x 2.0) (*.f64 x x)) (+.f64 (+.f64 (*.f64 x 2.0) (*.f64 x x)) (*.f64 y y)) y x)
0.796 * * * * [regimes]: Trying to branch on (*.f64 y y) from (#<alt (λ (x y) (*.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))) (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))))> #<alt (λ (x y) (/.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6)) (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))))> #<alt (λ (x y) (+.f64 (+.f64 (*.f64 x 2.0) (*.f64 x x)) (*.f64 y y)))>)
0.829 * * * * [regimes]: Trying to branch on (+.f64 (*.f64 x 2.0) (*.f64 x x)) from (#<alt (λ (x y) (*.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))) (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))))> #<alt (λ (x y) (/.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6)) (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))))> #<alt (λ (x y) (+.f64 (+.f64 (*.f64 x 2.0) (*.f64 x x)) (*.f64 y y)))>)
0.864 * * * * [regimes]: Trying to branch on (+.f64 (+.f64 (*.f64 x 2.0) (*.f64 x x)) (*.f64 y y)) from (#<alt (λ (x y) (*.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))) (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))))> #<alt (λ (x y) (/.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6)) (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))))> #<alt (λ (x y) (+.f64 (+.f64 (*.f64 x 2.0) (*.f64 x x)) (*.f64 y y)))>)
0.900 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (*.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))) (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))))> #<alt (λ (x y) (/.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6)) (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))))> #<alt (λ (x y) (+.f64 (+.f64 (*.f64 x 2.0) (*.f64 x x)) (*.f64 y y)))>)
0.935 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (*.f64 (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0)))) (sqrt.f64 (+.f64 (*.f64 y y) (*.f64 x (+.f64 x 2.0))))))> #<alt (λ (x y) (/.f64 (+.f64 (pow.f64 (*.f64 x (+.f64 x 2.0)) 3) (pow.f64 y 6)) (+.f64 (pow.f64 y 4) (*.f64 (*.f64 x (+.f64 x 2.0)) (-.f64 (*.f64 x (+.f64 x 2.0)) (*.f64 y y))))))> #<alt (λ (x y) (+.f64 (+.f64 (*.f64 x 2.0) (*.f64 x x)) (*.f64 y y)))>)
0.967 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
0.967 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+.f64 (+.f64 (*.f64 x 2.0) (*.f64 x x)) (*.f64 y y))
0.969 * * [simplify]: iteration  0 :  11  enodes  (cost  11 )
0.969 * * [simplify]: iteration  1 :  11  enodes  (cost  11 )
0.969 * [simplify]: Simplified to:
   (+.f64 (+.f64 (*.f64 x 2.0) (*.f64 x x)) (*.f64 y y))
1.629 * [regime-testing]: End program error score: 0.013624666357377092
1.694 * [regime-testing]: Target error score: 0.013624666357377092