0.863 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.279 * * * [progress]: [2/2] Setting up program.
0.285 * [progress]: [Phase 2 of 3] Improving.
0.287 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0))) (/ x (* 2.0 y)))
0.292 * * [simplify]: iteration  0 :  75  enodes  (cost  21 )
0.295 * * [simplify]: iteration  1 :  205  enodes  (cost  21 )
0.299 * * [simplify]: iteration  2 :  625  enodes  (cost  21 )
0.311 * * [simplify]: iteration  3 :  1931  enodes  (cost  21 )
0.348 * * [simplify]: iteration  4 :  5001  enodes  (cost  21 )
0.349 * [simplify]: Simplified to:
   (+ (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0))) (/ x (* 2.0 y)))
0.350 * * [progress]: iteration 1 / 4
0.351 * * * [progress]: picking best candidate
0.355 * * * * [pick]: Picked  #<alt (λ (x y) (+ (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0))) (/ x (* 2.0 y))))>
0.355 * * * [progress]: localizing error
0.384 * * * [progress]: generating rewritten candidates
0.385 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.522 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
0.528 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
0.534 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 2 1 1)
0.579 * * * [progress]: generating series expansions
0.580 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.586 * [approximate]: Taking taylor expansion of (- (+ (* 5.5 (pow y 8)) (+ (* 333.75 (pow y 6)) (* 11.0 (* (pow x 4) (pow y 2))))) (+ (* 2.0 (pow x 2)) (+ (* 121.0 (* (pow x 2) (pow y 4))) (* (pow x 2) (pow y 6))))) in (y x) around 0
0.587 * [taylor]: Taking taylor expansion of (- (+ (* 5.5 (pow y 8)) (+ (* 333.75 (pow y 6)) (* 11.0 (* (pow x 4) (pow y 2))))) (+ (* 2.0 (pow x 2)) (+ (* 121.0 (* (pow x 2) (pow y 4))) (* (pow x 2) (pow y 6))))) in x
0.587 * [taylor]: Taking taylor expansion of (+ (* 5.5 (pow y 8)) (+ (* 333.75 (pow y 6)) (* 11.0 (* (pow x 4) (pow y 2))))) in x
0.587 * [taylor]: Taking taylor expansion of (* 5.5 (pow y 8)) in x
0.587 * [taylor]: Taking taylor expansion of 5.5 in x
0.587 * [taylor]: Taking taylor expansion of (pow y 8) in x
0.587 * [taylor]: Taking taylor expansion of y in x
0.587 * [taylor]: Taking taylor expansion of (+ (* 333.75 (pow y 6)) (* 11.0 (* (pow x 4) (pow y 2)))) in x
0.587 * [taylor]: Taking taylor expansion of (* 333.75 (pow y 6)) in x
0.587 * [taylor]: Taking taylor expansion of 333.75 in x
0.587 * [taylor]: Taking taylor expansion of (pow y 6) in x
0.587 * [taylor]: Taking taylor expansion of y in x
0.587 * [taylor]: Taking taylor expansion of (* 11.0 (* (pow x 4) (pow y 2))) in x
0.588 * [taylor]: Taking taylor expansion of 11.0 in x
0.588 * [taylor]: Taking taylor expansion of (* (pow x 4) (pow y 2)) in x
0.588 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.588 * [taylor]: Taking taylor expansion of x in x
0.588 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.588 * [taylor]: Taking taylor expansion of y in x
0.588 * [taylor]: Taking taylor expansion of (+ (* 2.0 (pow x 2)) (+ (* 121.0 (* (pow x 2) (pow y 4))) (* (pow x 2) (pow y 6)))) in x
0.588 * [taylor]: Taking taylor expansion of (* 2.0 (pow x 2)) in x
0.588 * [taylor]: Taking taylor expansion of 2.0 in x
0.588 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.588 * [taylor]: Taking taylor expansion of x in x
0.588 * [taylor]: Taking taylor expansion of (+ (* 121.0 (* (pow x 2) (pow y 4))) (* (pow x 2) (pow y 6))) in x
0.588 * [taylor]: Taking taylor expansion of (* 121.0 (* (pow x 2) (pow y 4))) in x
0.588 * [taylor]: Taking taylor expansion of 121.0 in x
0.588 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 4)) in x
0.588 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.588 * [taylor]: Taking taylor expansion of x in x
0.588 * [taylor]: Taking taylor expansion of (pow y 4) in x
0.588 * [taylor]: Taking taylor expansion of y in x
0.588 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 6)) in x
0.588 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.588 * [taylor]: Taking taylor expansion of x in x
0.588 * [taylor]: Taking taylor expansion of (pow y 6) in x
0.588 * [taylor]: Taking taylor expansion of y in x
0.588 * [taylor]: Taking taylor expansion of (- (+ (* 5.5 (pow y 8)) (+ (* 333.75 (pow y 6)) (* 11.0 (* (pow x 4) (pow y 2))))) (+ (* 2.0 (pow x 2)) (+ (* 121.0 (* (pow x 2) (pow y 4))) (* (pow x 2) (pow y 6))))) in y
0.588 * [taylor]: Taking taylor expansion of (+ (* 5.5 (pow y 8)) (+ (* 333.75 (pow y 6)) (* 11.0 (* (pow x 4) (pow y 2))))) in y
0.588 * [taylor]: Taking taylor expansion of (* 5.5 (pow y 8)) in y
0.588 * [taylor]: Taking taylor expansion of 5.5 in y
0.588 * [taylor]: Taking taylor expansion of (pow y 8) in y
0.588 * [taylor]: Taking taylor expansion of y in y
0.588 * [taylor]: Taking taylor expansion of (+ (* 333.75 (pow y 6)) (* 11.0 (* (pow x 4) (pow y 2)))) in y
0.588 * [taylor]: Taking taylor expansion of (* 333.75 (pow y 6)) in y
0.588 * [taylor]: Taking taylor expansion of 333.75 in y
0.588 * [taylor]: Taking taylor expansion of (pow y 6) in y
0.588 * [taylor]: Taking taylor expansion of y in y
0.588 * [taylor]: Taking taylor expansion of (* 11.0 (* (pow x 4) (pow y 2))) in y
0.588 * [taylor]: Taking taylor expansion of 11.0 in y
0.589 * [taylor]: Taking taylor expansion of (* (pow x 4) (pow y 2)) in y
0.589 * [taylor]: Taking taylor expansion of (pow x 4) in y
0.589 * [taylor]: Taking taylor expansion of x in y
0.589 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.589 * [taylor]: Taking taylor expansion of y in y
0.589 * [taylor]: Taking taylor expansion of (+ (* 2.0 (pow x 2)) (+ (* 121.0 (* (pow x 2) (pow y 4))) (* (pow x 2) (pow y 6)))) in y
0.589 * [taylor]: Taking taylor expansion of (* 2.0 (pow x 2)) in y
0.589 * [taylor]: Taking taylor expansion of 2.0 in y
0.589 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.589 * [taylor]: Taking taylor expansion of x in y
0.589 * [taylor]: Taking taylor expansion of (+ (* 121.0 (* (pow x 2) (pow y 4))) (* (pow x 2) (pow y 6))) in y
0.589 * [taylor]: Taking taylor expansion of (* 121.0 (* (pow x 2) (pow y 4))) in y
0.589 * [taylor]: Taking taylor expansion of 121.0 in y
0.589 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 4)) in y
0.589 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.589 * [taylor]: Taking taylor expansion of x in y
0.589 * [taylor]: Taking taylor expansion of (pow y 4) in y
0.589 * [taylor]: Taking taylor expansion of y in y
0.589 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 6)) in y
0.589 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.589 * [taylor]: Taking taylor expansion of x in y
0.589 * [taylor]: Taking taylor expansion of (pow y 6) in y
0.589 * [taylor]: Taking taylor expansion of y in y
0.589 * [taylor]: Taking taylor expansion of (- (+ (* 5.5 (pow y 8)) (+ (* 333.75 (pow y 6)) (* 11.0 (* (pow x 4) (pow y 2))))) (+ (* 2.0 (pow x 2)) (+ (* 121.0 (* (pow x 2) (pow y 4))) (* (pow x 2) (pow y 6))))) in y
0.589 * [taylor]: Taking taylor expansion of (+ (* 5.5 (pow y 8)) (+ (* 333.75 (pow y 6)) (* 11.0 (* (pow x 4) (pow y 2))))) in y
0.589 * [taylor]: Taking taylor expansion of (* 5.5 (pow y 8)) in y
0.589 * [taylor]: Taking taylor expansion of 5.5 in y
0.589 * [taylor]: Taking taylor expansion of (pow y 8) in y
0.589 * [taylor]: Taking taylor expansion of y in y
0.589 * [taylor]: Taking taylor expansion of (+ (* 333.75 (pow y 6)) (* 11.0 (* (pow x 4) (pow y 2)))) in y
0.589 * [taylor]: Taking taylor expansion of (* 333.75 (pow y 6)) in y
0.589 * [taylor]: Taking taylor expansion of 333.75 in y
0.589 * [taylor]: Taking taylor expansion of (pow y 6) in y
0.589 * [taylor]: Taking taylor expansion of y in y
0.589 * [taylor]: Taking taylor expansion of (* 11.0 (* (pow x 4) (pow y 2))) in y
0.589 * [taylor]: Taking taylor expansion of 11.0 in y
0.589 * [taylor]: Taking taylor expansion of (* (pow x 4) (pow y 2)) in y
0.589 * [taylor]: Taking taylor expansion of (pow x 4) in y
0.589 * [taylor]: Taking taylor expansion of x in y
0.589 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.589 * [taylor]: Taking taylor expansion of y in y
0.589 * [taylor]: Taking taylor expansion of (+ (* 2.0 (pow x 2)) (+ (* 121.0 (* (pow x 2) (pow y 4))) (* (pow x 2) (pow y 6)))) in y
0.589 * [taylor]: Taking taylor expansion of (* 2.0 (pow x 2)) in y
0.589 * [taylor]: Taking taylor expansion of 2.0 in y
0.589 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.589 * [taylor]: Taking taylor expansion of x in y
0.589 * [taylor]: Taking taylor expansion of (+ (* 121.0 (* (pow x 2) (pow y 4))) (* (pow x 2) (pow y 6))) in y
0.589 * [taylor]: Taking taylor expansion of (* 121.0 (* (pow x 2) (pow y 4))) in y
0.589 * [taylor]: Taking taylor expansion of 121.0 in y
0.589 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 4)) in y
0.589 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.589 * [taylor]: Taking taylor expansion of x in y
0.589 * [taylor]: Taking taylor expansion of (pow y 4) in y
0.589 * [taylor]: Taking taylor expansion of y in y
0.589 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 6)) in y
0.589 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.589 * [taylor]: Taking taylor expansion of x in y
0.589 * [taylor]: Taking taylor expansion of (pow y 6) in y
0.589 * [taylor]: Taking taylor expansion of y in y
0.591 * [taylor]: Taking taylor expansion of (- (* 2.0 (pow x 2))) in x
0.591 * [taylor]: Taking taylor expansion of (* 2.0 (pow x 2)) in x
0.591 * [taylor]: Taking taylor expansion of 2.0 in x
0.591 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.591 * [taylor]: Taking taylor expansion of x in x
0.593 * [taylor]: Taking taylor expansion of 0 in x
0.595 * [taylor]: Taking taylor expansion of (* 11.0 (pow x 4)) in x
0.595 * [taylor]: Taking taylor expansion of 11.0 in x
0.595 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.595 * [taylor]: Taking taylor expansion of x in x
0.600 * [taylor]: Taking taylor expansion of 0 in x
0.607 * [taylor]: Taking taylor expansion of (- (* 121.0 (pow x 2))) in x
0.607 * [taylor]: Taking taylor expansion of (* 121.0 (pow x 2)) in x
0.607 * [taylor]: Taking taylor expansion of 121.0 in x
0.607 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.607 * [taylor]: Taking taylor expansion of x in x
0.610 * [approximate]: Taking taylor expansion of (- (+ (* 11.0 (/ 1 (* (pow x 4) (pow y 2)))) (+ (* 333.75 (pow (/ 1 (pow y 6.0)) 1.0)) (* 5.5 (pow (/ 1 (pow y 8.0)) 1.0)))) (+ (/ 1 (* (pow x 2) (pow y 6))) (+ (* 121.0 (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0))) (* 2.0 (/ 1 (pow x 2)))))) in (y x) around 0
0.610 * [taylor]: Taking taylor expansion of (- (+ (* 11.0 (/ 1 (* (pow x 4) (pow y 2)))) (+ (* 333.75 (pow (/ 1 (pow y 6.0)) 1.0)) (* 5.5 (pow (/ 1 (pow y 8.0)) 1.0)))) (+ (/ 1 (* (pow x 2) (pow y 6))) (+ (* 121.0 (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0))) (* 2.0 (/ 1 (pow x 2)))))) in x
0.610 * [taylor]: Taking taylor expansion of (+ (* 11.0 (/ 1 (* (pow x 4) (pow y 2)))) (+ (* 333.75 (pow (/ 1 (pow y 6.0)) 1.0)) (* 5.5 (pow (/ 1 (pow y 8.0)) 1.0)))) in x
0.610 * [taylor]: Taking taylor expansion of (* 11.0 (/ 1 (* (pow x 4) (pow y 2)))) in x
0.610 * [taylor]: Taking taylor expansion of 11.0 in x
0.610 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 4) (pow y 2))) in x
0.610 * [taylor]: Taking taylor expansion of (* (pow x 4) (pow y 2)) in x
0.610 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.610 * [taylor]: Taking taylor expansion of x in x
0.610 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.610 * [taylor]: Taking taylor expansion of y in x
0.611 * [taylor]: Taking taylor expansion of (+ (* 333.75 (pow (/ 1 (pow y 6.0)) 1.0)) (* 5.5 (pow (/ 1 (pow y 8.0)) 1.0))) in x
0.611 * [taylor]: Taking taylor expansion of (* 333.75 (pow (/ 1 (pow y 6.0)) 1.0)) in x
0.611 * [taylor]: Taking taylor expansion of 333.75 in x
0.611 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 6.0)) 1.0) in x
0.611 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow y 6.0))))) in x
0.611 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow y 6.0)))) in x
0.611 * [taylor]: Taking taylor expansion of 1.0 in x
0.611 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 6.0))) in x
0.611 * [taylor]: Taking taylor expansion of (/ 1 (pow y 6.0)) in x
0.611 * [taylor]: Taking taylor expansion of (pow y 6.0) in x
0.611 * [taylor]: Taking taylor expansion of (exp (* 6.0 (log y))) in x
0.611 * [taylor]: Taking taylor expansion of (* 6.0 (log y)) in x
0.611 * [taylor]: Taking taylor expansion of 6.0 in x
0.611 * [taylor]: Taking taylor expansion of (log y) in x
0.611 * [taylor]: Taking taylor expansion of y in x
0.612 * [taylor]: Taking taylor expansion of (* 5.5 (pow (/ 1 (pow y 8.0)) 1.0)) in x
0.612 * [taylor]: Taking taylor expansion of 5.5 in x
0.612 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 8.0)) 1.0) in x
0.612 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow y 8.0))))) in x
0.612 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow y 8.0)))) in x
0.612 * [taylor]: Taking taylor expansion of 1.0 in x
0.612 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 8.0))) in x
0.612 * [taylor]: Taking taylor expansion of (/ 1 (pow y 8.0)) in x
0.612 * [taylor]: Taking taylor expansion of (pow y 8.0) in x
0.612 * [taylor]: Taking taylor expansion of (exp (* 8.0 (log y))) in x
0.612 * [taylor]: Taking taylor expansion of (* 8.0 (log y)) in x
0.612 * [taylor]: Taking taylor expansion of 8.0 in x
0.612 * [taylor]: Taking taylor expansion of (log y) in x
0.612 * [taylor]: Taking taylor expansion of y in x
0.613 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) (pow y 6))) (+ (* 121.0 (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0))) (* 2.0 (/ 1 (pow x 2))))) in x
0.613 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 6))) in x
0.613 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 6)) in x
0.613 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.613 * [taylor]: Taking taylor expansion of x in x
0.613 * [taylor]: Taking taylor expansion of (pow y 6) in x
0.613 * [taylor]: Taking taylor expansion of y in x
0.613 * [taylor]: Taking taylor expansion of (+ (* 121.0 (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0))) (* 2.0 (/ 1 (pow x 2)))) in x
0.613 * [taylor]: Taking taylor expansion of (* 121.0 (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0))) in x
0.613 * [taylor]: Taking taylor expansion of 121.0 in x
0.613 * [taylor]: Taking taylor expansion of (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0)) in x
0.613 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.613 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.613 * [taylor]: Taking taylor expansion of x in x
0.614 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 4.0)) 1.0) in x
0.614 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow y 4.0))))) in x
0.614 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow y 4.0)))) in x
0.614 * [taylor]: Taking taylor expansion of 1.0 in x
0.614 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 4.0))) in x
0.614 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4.0)) in x
0.614 * [taylor]: Taking taylor expansion of (pow y 4.0) in x
0.614 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log y))) in x
0.614 * [taylor]: Taking taylor expansion of (* 4.0 (log y)) in x
0.614 * [taylor]: Taking taylor expansion of 4.0 in x
0.614 * [taylor]: Taking taylor expansion of (log y) in x
0.614 * [taylor]: Taking taylor expansion of y in x
0.615 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow x 2))) in x
0.615 * [taylor]: Taking taylor expansion of 2.0 in x
0.615 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.615 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.615 * [taylor]: Taking taylor expansion of x in x
0.615 * [taylor]: Taking taylor expansion of (- (+ (* 11.0 (/ 1 (* (pow x 4) (pow y 2)))) (+ (* 333.75 (pow (/ 1 (pow y 6.0)) 1.0)) (* 5.5 (pow (/ 1 (pow y 8.0)) 1.0)))) (+ (/ 1 (* (pow x 2) (pow y 6))) (+ (* 121.0 (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0))) (* 2.0 (/ 1 (pow x 2)))))) in y
0.615 * [taylor]: Taking taylor expansion of (+ (* 11.0 (/ 1 (* (pow x 4) (pow y 2)))) (+ (* 333.75 (pow (/ 1 (pow y 6.0)) 1.0)) (* 5.5 (pow (/ 1 (pow y 8.0)) 1.0)))) in y
0.615 * [taylor]: Taking taylor expansion of (* 11.0 (/ 1 (* (pow x 4) (pow y 2)))) in y
0.615 * [taylor]: Taking taylor expansion of 11.0 in y
0.615 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 4) (pow y 2))) in y
0.615 * [taylor]: Taking taylor expansion of (* (pow x 4) (pow y 2)) in y
0.615 * [taylor]: Taking taylor expansion of (pow x 4) in y
0.616 * [taylor]: Taking taylor expansion of x in y
0.616 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.616 * [taylor]: Taking taylor expansion of y in y
0.616 * [taylor]: Taking taylor expansion of (+ (* 333.75 (pow (/ 1 (pow y 6.0)) 1.0)) (* 5.5 (pow (/ 1 (pow y 8.0)) 1.0))) in y
0.616 * [taylor]: Taking taylor expansion of (* 333.75 (pow (/ 1 (pow y 6.0)) 1.0)) in y
0.616 * [taylor]: Taking taylor expansion of 333.75 in y
0.616 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 6.0)) 1.0) in y
0.616 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow y 6.0))))) in y
0.616 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow y 6.0)))) in y
0.616 * [taylor]: Taking taylor expansion of 1.0 in y
0.616 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 6.0))) in y
0.616 * [taylor]: Taking taylor expansion of (/ 1 (pow y 6.0)) in y
0.616 * [taylor]: Taking taylor expansion of (pow y 6.0) in y
0.616 * [taylor]: Taking taylor expansion of (exp (* 6.0 (log y))) in y
0.616 * [taylor]: Taking taylor expansion of (* 6.0 (log y)) in y
0.616 * [taylor]: Taking taylor expansion of 6.0 in y
0.616 * [taylor]: Taking taylor expansion of (log y) in y
0.616 * [taylor]: Taking taylor expansion of y in y
0.618 * [taylor]: Taking taylor expansion of (* 5.5 (pow (/ 1 (pow y 8.0)) 1.0)) in y
0.618 * [taylor]: Taking taylor expansion of 5.5 in y
0.618 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 8.0)) 1.0) in y
0.618 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow y 8.0))))) in y
0.618 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow y 8.0)))) in y
0.618 * [taylor]: Taking taylor expansion of 1.0 in y
0.618 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 8.0))) in y
0.618 * [taylor]: Taking taylor expansion of (/ 1 (pow y 8.0)) in y
0.618 * [taylor]: Taking taylor expansion of (pow y 8.0) in y
0.618 * [taylor]: Taking taylor expansion of (exp (* 8.0 (log y))) in y
0.618 * [taylor]: Taking taylor expansion of (* 8.0 (log y)) in y
0.618 * [taylor]: Taking taylor expansion of 8.0 in y
0.618 * [taylor]: Taking taylor expansion of (log y) in y
0.618 * [taylor]: Taking taylor expansion of y in y
0.619 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) (pow y 6))) (+ (* 121.0 (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0))) (* 2.0 (/ 1 (pow x 2))))) in y
0.619 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 6))) in y
0.619 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 6)) in y
0.619 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.619 * [taylor]: Taking taylor expansion of x in y
0.619 * [taylor]: Taking taylor expansion of (pow y 6) in y
0.619 * [taylor]: Taking taylor expansion of y in y
0.620 * [taylor]: Taking taylor expansion of (+ (* 121.0 (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0))) (* 2.0 (/ 1 (pow x 2)))) in y
0.620 * [taylor]: Taking taylor expansion of (* 121.0 (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0))) in y
0.620 * [taylor]: Taking taylor expansion of 121.0 in y
0.620 * [taylor]: Taking taylor expansion of (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0)) in y
0.620 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.620 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.620 * [taylor]: Taking taylor expansion of x in y
0.620 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 4.0)) 1.0) in y
0.620 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow y 4.0))))) in y
0.620 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow y 4.0)))) in y
0.620 * [taylor]: Taking taylor expansion of 1.0 in y
0.620 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 4.0))) in y
0.620 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4.0)) in y
0.620 * [taylor]: Taking taylor expansion of (pow y 4.0) in y
0.620 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log y))) in y
0.620 * [taylor]: Taking taylor expansion of (* 4.0 (log y)) in y
0.620 * [taylor]: Taking taylor expansion of 4.0 in y
0.620 * [taylor]: Taking taylor expansion of (log y) in y
0.620 * [taylor]: Taking taylor expansion of y in y
0.622 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow x 2))) in y
0.622 * [taylor]: Taking taylor expansion of 2.0 in y
0.622 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.622 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.622 * [taylor]: Taking taylor expansion of x in y
0.622 * [taylor]: Taking taylor expansion of (- (+ (* 11.0 (/ 1 (* (pow x 4) (pow y 2)))) (+ (* 333.75 (pow (/ 1 (pow y 6.0)) 1.0)) (* 5.5 (pow (/ 1 (pow y 8.0)) 1.0)))) (+ (/ 1 (* (pow x 2) (pow y 6))) (+ (* 121.0 (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0))) (* 2.0 (/ 1 (pow x 2)))))) in y
0.622 * [taylor]: Taking taylor expansion of (+ (* 11.0 (/ 1 (* (pow x 4) (pow y 2)))) (+ (* 333.75 (pow (/ 1 (pow y 6.0)) 1.0)) (* 5.5 (pow (/ 1 (pow y 8.0)) 1.0)))) in y
0.622 * [taylor]: Taking taylor expansion of (* 11.0 (/ 1 (* (pow x 4) (pow y 2)))) in y
0.622 * [taylor]: Taking taylor expansion of 11.0 in y
0.622 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 4) (pow y 2))) in y
0.622 * [taylor]: Taking taylor expansion of (* (pow x 4) (pow y 2)) in y
0.622 * [taylor]: Taking taylor expansion of (pow x 4) in y
0.622 * [taylor]: Taking taylor expansion of x in y
0.622 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.622 * [taylor]: Taking taylor expansion of y in y
0.622 * [taylor]: Taking taylor expansion of (+ (* 333.75 (pow (/ 1 (pow y 6.0)) 1.0)) (* 5.5 (pow (/ 1 (pow y 8.0)) 1.0))) in y
0.622 * [taylor]: Taking taylor expansion of (* 333.75 (pow (/ 1 (pow y 6.0)) 1.0)) in y
0.622 * [taylor]: Taking taylor expansion of 333.75 in y
0.622 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 6.0)) 1.0) in y
0.623 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow y 6.0))))) in y
0.623 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow y 6.0)))) in y
0.623 * [taylor]: Taking taylor expansion of 1.0 in y
0.623 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 6.0))) in y
0.623 * [taylor]: Taking taylor expansion of (/ 1 (pow y 6.0)) in y
0.623 * [taylor]: Taking taylor expansion of (pow y 6.0) in y
0.623 * [taylor]: Taking taylor expansion of (exp (* 6.0 (log y))) in y
0.623 * [taylor]: Taking taylor expansion of (* 6.0 (log y)) in y
0.623 * [taylor]: Taking taylor expansion of 6.0 in y
0.623 * [taylor]: Taking taylor expansion of (log y) in y
0.623 * [taylor]: Taking taylor expansion of y in y
0.624 * [taylor]: Taking taylor expansion of (* 5.5 (pow (/ 1 (pow y 8.0)) 1.0)) in y
0.624 * [taylor]: Taking taylor expansion of 5.5 in y
0.624 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 8.0)) 1.0) in y
0.624 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow y 8.0))))) in y
0.624 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow y 8.0)))) in y
0.624 * [taylor]: Taking taylor expansion of 1.0 in y
0.624 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 8.0))) in y
0.624 * [taylor]: Taking taylor expansion of (/ 1 (pow y 8.0)) in y
0.624 * [taylor]: Taking taylor expansion of (pow y 8.0) in y
0.624 * [taylor]: Taking taylor expansion of (exp (* 8.0 (log y))) in y
0.624 * [taylor]: Taking taylor expansion of (* 8.0 (log y)) in y
0.624 * [taylor]: Taking taylor expansion of 8.0 in y
0.624 * [taylor]: Taking taylor expansion of (log y) in y
0.624 * [taylor]: Taking taylor expansion of y in y
0.625 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) (pow y 6))) (+ (* 121.0 (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0))) (* 2.0 (/ 1 (pow x 2))))) in y
0.625 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 6))) in y
0.625 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 6)) in y
0.625 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.625 * [taylor]: Taking taylor expansion of x in y
0.625 * [taylor]: Taking taylor expansion of (pow y 6) in y
0.625 * [taylor]: Taking taylor expansion of y in y
0.626 * [taylor]: Taking taylor expansion of (+ (* 121.0 (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0))) (* 2.0 (/ 1 (pow x 2)))) in y
0.626 * [taylor]: Taking taylor expansion of (* 121.0 (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0))) in y
0.626 * [taylor]: Taking taylor expansion of 121.0 in y
0.626 * [taylor]: Taking taylor expansion of (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0)) in y
0.626 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.626 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.626 * [taylor]: Taking taylor expansion of x in y
0.626 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 4.0)) 1.0) in y
0.626 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow y 4.0))))) in y
0.626 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow y 4.0)))) in y
0.626 * [taylor]: Taking taylor expansion of 1.0 in y
0.626 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 4.0))) in y
0.626 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4.0)) in y
0.626 * [taylor]: Taking taylor expansion of (pow y 4.0) in y
0.626 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log y))) in y
0.626 * [taylor]: Taking taylor expansion of (* 4.0 (log y)) in y
0.626 * [taylor]: Taking taylor expansion of 4.0 in y
0.626 * [taylor]: Taking taylor expansion of (log y) in y
0.626 * [taylor]: Taking taylor expansion of y in y
0.628 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow x 2))) in y
0.628 * [taylor]: Taking taylor expansion of 2.0 in y
0.628 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.628 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.628 * [taylor]: Taking taylor expansion of x in y
0.628 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2))) in x
0.628 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.628 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.628 * [taylor]: Taking taylor expansion of x in x
0.636 * [taylor]: Taking taylor expansion of 0 in x
0.639 * [taylor]: Taking taylor expansion of 0 in x
0.644 * [taylor]: Taking taylor expansion of 0 in x
0.649 * [taylor]: Taking taylor expansion of (* 11.0 (/ 1 (pow x 4))) in x
0.649 * [taylor]: Taking taylor expansion of 11.0 in x
0.649 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
0.649 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.649 * [taylor]: Taking taylor expansion of x in x
0.658 * [taylor]: Taking taylor expansion of 0 in x
0.672 * [taylor]: Taking taylor expansion of (- (+ (* 5.5 (pow (/ 1 (pow y 8.0)) 1.0)) (* 333.75 (pow (/ 1 (pow y 6.0)) 1.0))) (+ (* 121.0 (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0))) (* 2.0 (/ 1 (pow x 2))))) in x
0.672 * [taylor]: Taking taylor expansion of (+ (* 5.5 (pow (/ 1 (pow y 8.0)) 1.0)) (* 333.75 (pow (/ 1 (pow y 6.0)) 1.0))) in x
0.672 * [taylor]: Taking taylor expansion of (* 5.5 (pow (/ 1 (pow y 8.0)) 1.0)) in x
0.672 * [taylor]: Taking taylor expansion of 5.5 in x
0.672 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 8.0)) 1.0) in x
0.672 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow y 8.0))))) in x
0.672 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow y 8.0)))) in x
0.672 * [taylor]: Taking taylor expansion of 1.0 in x
0.672 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 8.0))) in x
0.672 * [taylor]: Taking taylor expansion of (/ 1 (pow y 8.0)) in x
0.672 * [taylor]: Taking taylor expansion of (pow y 8.0) in x
0.673 * [taylor]: Taking taylor expansion of (exp (* 8.0 (log y))) in x
0.673 * [taylor]: Taking taylor expansion of (* 8.0 (log y)) in x
0.673 * [taylor]: Taking taylor expansion of 8.0 in x
0.673 * [taylor]: Taking taylor expansion of (log y) in x
0.673 * [taylor]: Taking taylor expansion of y in x
0.673 * [taylor]: Taking taylor expansion of (* 333.75 (pow (/ 1 (pow y 6.0)) 1.0)) in x
0.673 * [taylor]: Taking taylor expansion of 333.75 in x
0.673 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 6.0)) 1.0) in x
0.673 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow y 6.0))))) in x
0.673 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow y 6.0)))) in x
0.673 * [taylor]: Taking taylor expansion of 1.0 in x
0.673 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 6.0))) in x
0.673 * [taylor]: Taking taylor expansion of (/ 1 (pow y 6.0)) in x
0.673 * [taylor]: Taking taylor expansion of (pow y 6.0) in x
0.673 * [taylor]: Taking taylor expansion of (exp (* 6.0 (log y))) in x
0.673 * [taylor]: Taking taylor expansion of (* 6.0 (log y)) in x
0.673 * [taylor]: Taking taylor expansion of 6.0 in x
0.673 * [taylor]: Taking taylor expansion of (log y) in x
0.673 * [taylor]: Taking taylor expansion of y in x
0.674 * [taylor]: Taking taylor expansion of (+ (* 121.0 (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0))) (* 2.0 (/ 1 (pow x 2)))) in x
0.674 * [taylor]: Taking taylor expansion of (* 121.0 (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0))) in x
0.674 * [taylor]: Taking taylor expansion of 121.0 in x
0.674 * [taylor]: Taking taylor expansion of (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0)) in x
0.674 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.674 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.674 * [taylor]: Taking taylor expansion of x in x
0.675 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 4.0)) 1.0) in x
0.675 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow y 4.0))))) in x
0.675 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow y 4.0)))) in x
0.675 * [taylor]: Taking taylor expansion of 1.0 in x
0.675 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 4.0))) in x
0.675 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4.0)) in x
0.675 * [taylor]: Taking taylor expansion of (pow y 4.0) in x
0.675 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log y))) in x
0.675 * [taylor]: Taking taylor expansion of (* 4.0 (log y)) in x
0.675 * [taylor]: Taking taylor expansion of 4.0 in x
0.675 * [taylor]: Taking taylor expansion of (log y) in x
0.675 * [taylor]: Taking taylor expansion of y in x
0.675 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow x 2))) in x
0.675 * [taylor]: Taking taylor expansion of 2.0 in x
0.675 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.675 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.675 * [taylor]: Taking taylor expansion of x in x
0.680 * [approximate]: Taking taylor expansion of (- (+ (* 11.0 (/ 1 (* (pow x 4) (pow y 2)))) (+ (* 333.75 (pow (/ 1 (pow y 6.0)) 1.0)) (* 5.5 (pow (/ 1 (pow y 8.0)) 1.0)))) (+ (/ 1 (* (pow x 2) (pow y 6))) (+ (* 121.0 (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0))) (* 2.0 (/ 1 (pow x 2)))))) in (y x) around 0
0.680 * [taylor]: Taking taylor expansion of (- (+ (* 11.0 (/ 1 (* (pow x 4) (pow y 2)))) (+ (* 333.75 (pow (/ 1 (pow y 6.0)) 1.0)) (* 5.5 (pow (/ 1 (pow y 8.0)) 1.0)))) (+ (/ 1 (* (pow x 2) (pow y 6))) (+ (* 121.0 (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0))) (* 2.0 (/ 1 (pow x 2)))))) in x
0.680 * [taylor]: Taking taylor expansion of (+ (* 11.0 (/ 1 (* (pow x 4) (pow y 2)))) (+ (* 333.75 (pow (/ 1 (pow y 6.0)) 1.0)) (* 5.5 (pow (/ 1 (pow y 8.0)) 1.0)))) in x
0.680 * [taylor]: Taking taylor expansion of (* 11.0 (/ 1 (* (pow x 4) (pow y 2)))) in x
0.680 * [taylor]: Taking taylor expansion of 11.0 in x
0.680 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 4) (pow y 2))) in x
0.680 * [taylor]: Taking taylor expansion of (* (pow x 4) (pow y 2)) in x
0.680 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.680 * [taylor]: Taking taylor expansion of x in x
0.680 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.680 * [taylor]: Taking taylor expansion of y in x
0.681 * [taylor]: Taking taylor expansion of (+ (* 333.75 (pow (/ 1 (pow y 6.0)) 1.0)) (* 5.5 (pow (/ 1 (pow y 8.0)) 1.0))) in x
0.681 * [taylor]: Taking taylor expansion of (* 333.75 (pow (/ 1 (pow y 6.0)) 1.0)) in x
0.681 * [taylor]: Taking taylor expansion of 333.75 in x
0.681 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 6.0)) 1.0) in x
0.681 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow y 6.0))))) in x
0.681 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow y 6.0)))) in x
0.681 * [taylor]: Taking taylor expansion of 1.0 in x
0.681 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 6.0))) in x
0.681 * [taylor]: Taking taylor expansion of (/ 1 (pow y 6.0)) in x
0.681 * [taylor]: Taking taylor expansion of (pow y 6.0) in x
0.681 * [taylor]: Taking taylor expansion of (exp (* 6.0 (log y))) in x
0.681 * [taylor]: Taking taylor expansion of (* 6.0 (log y)) in x
0.681 * [taylor]: Taking taylor expansion of 6.0 in x
0.681 * [taylor]: Taking taylor expansion of (log y) in x
0.681 * [taylor]: Taking taylor expansion of y in x
0.682 * [taylor]: Taking taylor expansion of (* 5.5 (pow (/ 1 (pow y 8.0)) 1.0)) in x
0.682 * [taylor]: Taking taylor expansion of 5.5 in x
0.682 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 8.0)) 1.0) in x
0.682 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow y 8.0))))) in x
0.682 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow y 8.0)))) in x
0.682 * [taylor]: Taking taylor expansion of 1.0 in x
0.682 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 8.0))) in x
0.682 * [taylor]: Taking taylor expansion of (/ 1 (pow y 8.0)) in x
0.682 * [taylor]: Taking taylor expansion of (pow y 8.0) in x
0.682 * [taylor]: Taking taylor expansion of (exp (* 8.0 (log y))) in x
0.682 * [taylor]: Taking taylor expansion of (* 8.0 (log y)) in x
0.682 * [taylor]: Taking taylor expansion of 8.0 in x
0.682 * [taylor]: Taking taylor expansion of (log y) in x
0.682 * [taylor]: Taking taylor expansion of y in x
0.682 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) (pow y 6))) (+ (* 121.0 (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0))) (* 2.0 (/ 1 (pow x 2))))) in x
0.682 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 6))) in x
0.682 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 6)) in x
0.682 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.682 * [taylor]: Taking taylor expansion of x in x
0.682 * [taylor]: Taking taylor expansion of (pow y 6) in x
0.682 * [taylor]: Taking taylor expansion of y in x
0.683 * [taylor]: Taking taylor expansion of (+ (* 121.0 (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0))) (* 2.0 (/ 1 (pow x 2)))) in x
0.683 * [taylor]: Taking taylor expansion of (* 121.0 (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0))) in x
0.683 * [taylor]: Taking taylor expansion of 121.0 in x
0.683 * [taylor]: Taking taylor expansion of (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0)) in x
0.683 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.683 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.683 * [taylor]: Taking taylor expansion of x in x
0.684 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 4.0)) 1.0) in x
0.684 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow y 4.0))))) in x
0.684 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow y 4.0)))) in x
0.684 * [taylor]: Taking taylor expansion of 1.0 in x
0.684 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 4.0))) in x
0.684 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4.0)) in x
0.684 * [taylor]: Taking taylor expansion of (pow y 4.0) in x
0.684 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log y))) in x
0.684 * [taylor]: Taking taylor expansion of (* 4.0 (log y)) in x
0.684 * [taylor]: Taking taylor expansion of 4.0 in x
0.684 * [taylor]: Taking taylor expansion of (log y) in x
0.684 * [taylor]: Taking taylor expansion of y in x
0.684 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow x 2))) in x
0.684 * [taylor]: Taking taylor expansion of 2.0 in x
0.684 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.684 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.684 * [taylor]: Taking taylor expansion of x in x
0.685 * [taylor]: Taking taylor expansion of (- (+ (* 11.0 (/ 1 (* (pow x 4) (pow y 2)))) (+ (* 333.75 (pow (/ 1 (pow y 6.0)) 1.0)) (* 5.5 (pow (/ 1 (pow y 8.0)) 1.0)))) (+ (/ 1 (* (pow x 2) (pow y 6))) (+ (* 121.0 (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0))) (* 2.0 (/ 1 (pow x 2)))))) in y
0.685 * [taylor]: Taking taylor expansion of (+ (* 11.0 (/ 1 (* (pow x 4) (pow y 2)))) (+ (* 333.75 (pow (/ 1 (pow y 6.0)) 1.0)) (* 5.5 (pow (/ 1 (pow y 8.0)) 1.0)))) in y
0.685 * [taylor]: Taking taylor expansion of (* 11.0 (/ 1 (* (pow x 4) (pow y 2)))) in y
0.685 * [taylor]: Taking taylor expansion of 11.0 in y
0.685 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 4) (pow y 2))) in y
0.685 * [taylor]: Taking taylor expansion of (* (pow x 4) (pow y 2)) in y
0.685 * [taylor]: Taking taylor expansion of (pow x 4) in y
0.685 * [taylor]: Taking taylor expansion of x in y
0.685 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.685 * [taylor]: Taking taylor expansion of y in y
0.686 * [taylor]: Taking taylor expansion of (+ (* 333.75 (pow (/ 1 (pow y 6.0)) 1.0)) (* 5.5 (pow (/ 1 (pow y 8.0)) 1.0))) in y
0.686 * [taylor]: Taking taylor expansion of (* 333.75 (pow (/ 1 (pow y 6.0)) 1.0)) in y
0.686 * [taylor]: Taking taylor expansion of 333.75 in y
0.686 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 6.0)) 1.0) in y
0.686 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow y 6.0))))) in y
0.686 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow y 6.0)))) in y
0.686 * [taylor]: Taking taylor expansion of 1.0 in y
0.686 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 6.0))) in y
0.686 * [taylor]: Taking taylor expansion of (/ 1 (pow y 6.0)) in y
0.686 * [taylor]: Taking taylor expansion of (pow y 6.0) in y
0.686 * [taylor]: Taking taylor expansion of (exp (* 6.0 (log y))) in y
0.686 * [taylor]: Taking taylor expansion of (* 6.0 (log y)) in y
0.686 * [taylor]: Taking taylor expansion of 6.0 in y
0.686 * [taylor]: Taking taylor expansion of (log y) in y
0.686 * [taylor]: Taking taylor expansion of y in y
0.687 * [taylor]: Taking taylor expansion of (* 5.5 (pow (/ 1 (pow y 8.0)) 1.0)) in y
0.687 * [taylor]: Taking taylor expansion of 5.5 in y
0.687 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 8.0)) 1.0) in y
0.687 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow y 8.0))))) in y
0.687 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow y 8.0)))) in y
0.687 * [taylor]: Taking taylor expansion of 1.0 in y
0.687 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 8.0))) in y
0.687 * [taylor]: Taking taylor expansion of (/ 1 (pow y 8.0)) in y
0.687 * [taylor]: Taking taylor expansion of (pow y 8.0) in y
0.687 * [taylor]: Taking taylor expansion of (exp (* 8.0 (log y))) in y
0.687 * [taylor]: Taking taylor expansion of (* 8.0 (log y)) in y
0.687 * [taylor]: Taking taylor expansion of 8.0 in y
0.687 * [taylor]: Taking taylor expansion of (log y) in y
0.687 * [taylor]: Taking taylor expansion of y in y
0.688 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) (pow y 6))) (+ (* 121.0 (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0))) (* 2.0 (/ 1 (pow x 2))))) in y
0.688 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 6))) in y
0.688 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 6)) in y
0.688 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.688 * [taylor]: Taking taylor expansion of x in y
0.688 * [taylor]: Taking taylor expansion of (pow y 6) in y
0.688 * [taylor]: Taking taylor expansion of y in y
0.689 * [taylor]: Taking taylor expansion of (+ (* 121.0 (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0))) (* 2.0 (/ 1 (pow x 2)))) in y
0.689 * [taylor]: Taking taylor expansion of (* 121.0 (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0))) in y
0.689 * [taylor]: Taking taylor expansion of 121.0 in y
0.689 * [taylor]: Taking taylor expansion of (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0)) in y
0.689 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.689 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.689 * [taylor]: Taking taylor expansion of x in y
0.690 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 4.0)) 1.0) in y
0.690 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow y 4.0))))) in y
0.690 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow y 4.0)))) in y
0.690 * [taylor]: Taking taylor expansion of 1.0 in y
0.690 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 4.0))) in y
0.690 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4.0)) in y
0.690 * [taylor]: Taking taylor expansion of (pow y 4.0) in y
0.690 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log y))) in y
0.690 * [taylor]: Taking taylor expansion of (* 4.0 (log y)) in y
0.690 * [taylor]: Taking taylor expansion of 4.0 in y
0.690 * [taylor]: Taking taylor expansion of (log y) in y
0.690 * [taylor]: Taking taylor expansion of y in y
0.691 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow x 2))) in y
0.691 * [taylor]: Taking taylor expansion of 2.0 in y
0.691 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.691 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.691 * [taylor]: Taking taylor expansion of x in y
0.691 * [taylor]: Taking taylor expansion of (- (+ (* 11.0 (/ 1 (* (pow x 4) (pow y 2)))) (+ (* 333.75 (pow (/ 1 (pow y 6.0)) 1.0)) (* 5.5 (pow (/ 1 (pow y 8.0)) 1.0)))) (+ (/ 1 (* (pow x 2) (pow y 6))) (+ (* 121.0 (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0))) (* 2.0 (/ 1 (pow x 2)))))) in y
0.691 * [taylor]: Taking taylor expansion of (+ (* 11.0 (/ 1 (* (pow x 4) (pow y 2)))) (+ (* 333.75 (pow (/ 1 (pow y 6.0)) 1.0)) (* 5.5 (pow (/ 1 (pow y 8.0)) 1.0)))) in y
0.691 * [taylor]: Taking taylor expansion of (* 11.0 (/ 1 (* (pow x 4) (pow y 2)))) in y
0.691 * [taylor]: Taking taylor expansion of 11.0 in y
0.691 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 4) (pow y 2))) in y
0.691 * [taylor]: Taking taylor expansion of (* (pow x 4) (pow y 2)) in y
0.691 * [taylor]: Taking taylor expansion of (pow x 4) in y
0.691 * [taylor]: Taking taylor expansion of x in y
0.691 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.691 * [taylor]: Taking taylor expansion of y in y
0.692 * [taylor]: Taking taylor expansion of (+ (* 333.75 (pow (/ 1 (pow y 6.0)) 1.0)) (* 5.5 (pow (/ 1 (pow y 8.0)) 1.0))) in y
0.692 * [taylor]: Taking taylor expansion of (* 333.75 (pow (/ 1 (pow y 6.0)) 1.0)) in y
0.692 * [taylor]: Taking taylor expansion of 333.75 in y
0.692 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 6.0)) 1.0) in y
0.692 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow y 6.0))))) in y
0.692 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow y 6.0)))) in y
0.692 * [taylor]: Taking taylor expansion of 1.0 in y
0.692 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 6.0))) in y
0.692 * [taylor]: Taking taylor expansion of (/ 1 (pow y 6.0)) in y
0.692 * [taylor]: Taking taylor expansion of (pow y 6.0) in y
0.692 * [taylor]: Taking taylor expansion of (exp (* 6.0 (log y))) in y
0.692 * [taylor]: Taking taylor expansion of (* 6.0 (log y)) in y
0.692 * [taylor]: Taking taylor expansion of 6.0 in y
0.692 * [taylor]: Taking taylor expansion of (log y) in y
0.692 * [taylor]: Taking taylor expansion of y in y
0.693 * [taylor]: Taking taylor expansion of (* 5.5 (pow (/ 1 (pow y 8.0)) 1.0)) in y
0.693 * [taylor]: Taking taylor expansion of 5.5 in y
0.693 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 8.0)) 1.0) in y
0.693 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow y 8.0))))) in y
0.693 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow y 8.0)))) in y
0.693 * [taylor]: Taking taylor expansion of 1.0 in y
0.693 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 8.0))) in y
0.693 * [taylor]: Taking taylor expansion of (/ 1 (pow y 8.0)) in y
0.693 * [taylor]: Taking taylor expansion of (pow y 8.0) in y
0.693 * [taylor]: Taking taylor expansion of (exp (* 8.0 (log y))) in y
0.693 * [taylor]: Taking taylor expansion of (* 8.0 (log y)) in y
0.693 * [taylor]: Taking taylor expansion of 8.0 in y
0.693 * [taylor]: Taking taylor expansion of (log y) in y
0.693 * [taylor]: Taking taylor expansion of y in y
0.694 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) (pow y 6))) (+ (* 121.0 (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0))) (* 2.0 (/ 1 (pow x 2))))) in y
0.694 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 6))) in y
0.694 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 6)) in y
0.694 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.694 * [taylor]: Taking taylor expansion of x in y
0.694 * [taylor]: Taking taylor expansion of (pow y 6) in y
0.694 * [taylor]: Taking taylor expansion of y in y
0.695 * [taylor]: Taking taylor expansion of (+ (* 121.0 (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0))) (* 2.0 (/ 1 (pow x 2)))) in y
0.695 * [taylor]: Taking taylor expansion of (* 121.0 (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0))) in y
0.695 * [taylor]: Taking taylor expansion of 121.0 in y
0.695 * [taylor]: Taking taylor expansion of (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0)) in y
0.695 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.695 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.695 * [taylor]: Taking taylor expansion of x in y
0.696 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 4.0)) 1.0) in y
0.696 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow y 4.0))))) in y
0.696 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow y 4.0)))) in y
0.696 * [taylor]: Taking taylor expansion of 1.0 in y
0.696 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 4.0))) in y
0.696 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4.0)) in y
0.696 * [taylor]: Taking taylor expansion of (pow y 4.0) in y
0.696 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log y))) in y
0.696 * [taylor]: Taking taylor expansion of (* 4.0 (log y)) in y
0.696 * [taylor]: Taking taylor expansion of 4.0 in y
0.696 * [taylor]: Taking taylor expansion of (log y) in y
0.696 * [taylor]: Taking taylor expansion of y in y
0.697 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow x 2))) in y
0.697 * [taylor]: Taking taylor expansion of 2.0 in y
0.697 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.697 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.697 * [taylor]: Taking taylor expansion of x in y
0.697 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2))) in x
0.697 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.697 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.697 * [taylor]: Taking taylor expansion of x in x
0.700 * [taylor]: Taking taylor expansion of 0 in x
0.703 * [taylor]: Taking taylor expansion of 0 in x
0.707 * [taylor]: Taking taylor expansion of 0 in x
0.713 * [taylor]: Taking taylor expansion of (* 11.0 (/ 1 (pow x 4))) in x
0.713 * [taylor]: Taking taylor expansion of 11.0 in x
0.713 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
0.713 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.713 * [taylor]: Taking taylor expansion of x in x
0.725 * [taylor]: Taking taylor expansion of 0 in x
0.739 * [taylor]: Taking taylor expansion of (- (+ (* 5.5 (pow (/ 1 (pow y 8.0)) 1.0)) (* 333.75 (pow (/ 1 (pow y 6.0)) 1.0))) (+ (* 121.0 (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0))) (* 2.0 (/ 1 (pow x 2))))) in x
0.739 * [taylor]: Taking taylor expansion of (+ (* 5.5 (pow (/ 1 (pow y 8.0)) 1.0)) (* 333.75 (pow (/ 1 (pow y 6.0)) 1.0))) in x
0.739 * [taylor]: Taking taylor expansion of (* 5.5 (pow (/ 1 (pow y 8.0)) 1.0)) in x
0.739 * [taylor]: Taking taylor expansion of 5.5 in x
0.739 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 8.0)) 1.0) in x
0.739 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow y 8.0))))) in x
0.739 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow y 8.0)))) in x
0.739 * [taylor]: Taking taylor expansion of 1.0 in x
0.739 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 8.0))) in x
0.739 * [taylor]: Taking taylor expansion of (/ 1 (pow y 8.0)) in x
0.739 * [taylor]: Taking taylor expansion of (pow y 8.0) in x
0.739 * [taylor]: Taking taylor expansion of (exp (* 8.0 (log y))) in x
0.739 * [taylor]: Taking taylor expansion of (* 8.0 (log y)) in x
0.739 * [taylor]: Taking taylor expansion of 8.0 in x
0.739 * [taylor]: Taking taylor expansion of (log y) in x
0.739 * [taylor]: Taking taylor expansion of y in x
0.740 * [taylor]: Taking taylor expansion of (* 333.75 (pow (/ 1 (pow y 6.0)) 1.0)) in x
0.740 * [taylor]: Taking taylor expansion of 333.75 in x
0.740 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 6.0)) 1.0) in x
0.740 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow y 6.0))))) in x
0.740 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow y 6.0)))) in x
0.740 * [taylor]: Taking taylor expansion of 1.0 in x
0.740 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 6.0))) in x
0.740 * [taylor]: Taking taylor expansion of (/ 1 (pow y 6.0)) in x
0.740 * [taylor]: Taking taylor expansion of (pow y 6.0) in x
0.740 * [taylor]: Taking taylor expansion of (exp (* 6.0 (log y))) in x
0.740 * [taylor]: Taking taylor expansion of (* 6.0 (log y)) in x
0.740 * [taylor]: Taking taylor expansion of 6.0 in x
0.740 * [taylor]: Taking taylor expansion of (log y) in x
0.740 * [taylor]: Taking taylor expansion of y in x
0.741 * [taylor]: Taking taylor expansion of (+ (* 121.0 (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0))) (* 2.0 (/ 1 (pow x 2)))) in x
0.741 * [taylor]: Taking taylor expansion of (* 121.0 (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0))) in x
0.741 * [taylor]: Taking taylor expansion of 121.0 in x
0.741 * [taylor]: Taking taylor expansion of (* (/ 1 (pow x 2)) (pow (/ 1 (pow y 4.0)) 1.0)) in x
0.741 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.741 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.741 * [taylor]: Taking taylor expansion of x in x
0.742 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 4.0)) 1.0) in x
0.742 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow y 4.0))))) in x
0.742 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow y 4.0)))) in x
0.742 * [taylor]: Taking taylor expansion of 1.0 in x
0.742 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 4.0))) in x
0.742 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4.0)) in x
0.742 * [taylor]: Taking taylor expansion of (pow y 4.0) in x
0.742 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log y))) in x
0.742 * [taylor]: Taking taylor expansion of (* 4.0 (log y)) in x
0.742 * [taylor]: Taking taylor expansion of 4.0 in x
0.742 * [taylor]: Taking taylor expansion of (log y) in x
0.742 * [taylor]: Taking taylor expansion of y in x
0.742 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow x 2))) in x
0.742 * [taylor]: Taking taylor expansion of 2.0 in x
0.742 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.742 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.742 * [taylor]: Taking taylor expansion of x in x
0.746 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
0.746 * [approximate]: Taking taylor expansion of (* 333.75 (pow (pow y 6.0) 1.0)) in (y) around 0
0.746 * [taylor]: Taking taylor expansion of (* 333.75 (pow (pow y 6.0) 1.0)) in y
0.746 * [taylor]: Taking taylor expansion of 333.75 in y
0.746 * [taylor]: Taking taylor expansion of (pow (pow y 6.0) 1.0) in y
0.746 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (pow y 6.0)))) in y
0.746 * [taylor]: Taking taylor expansion of (* 1.0 (log (pow y 6.0))) in y
0.746 * [taylor]: Taking taylor expansion of 1.0 in y
0.746 * [taylor]: Taking taylor expansion of (log (pow y 6.0)) in y
0.746 * [taylor]: Taking taylor expansion of (pow y 6.0) in y
0.746 * [taylor]: Taking taylor expansion of (exp (* 6.0 (log y))) in y
0.746 * [taylor]: Taking taylor expansion of (* 6.0 (log y)) in y
0.746 * [taylor]: Taking taylor expansion of 6.0 in y
0.746 * [taylor]: Taking taylor expansion of (log y) in y
0.746 * [taylor]: Taking taylor expansion of y in y
0.747 * [taylor]: Taking taylor expansion of (* 333.75 (pow (pow y 6.0) 1.0)) in y
0.747 * [taylor]: Taking taylor expansion of 333.75 in y
0.747 * [taylor]: Taking taylor expansion of (pow (pow y 6.0) 1.0) in y
0.747 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (pow y 6.0)))) in y
0.747 * [taylor]: Taking taylor expansion of (* 1.0 (log (pow y 6.0))) in y
0.747 * [taylor]: Taking taylor expansion of 1.0 in y
0.747 * [taylor]: Taking taylor expansion of (log (pow y 6.0)) in y
0.747 * [taylor]: Taking taylor expansion of (pow y 6.0) in y
0.747 * [taylor]: Taking taylor expansion of (exp (* 6.0 (log y))) in y
0.747 * [taylor]: Taking taylor expansion of (* 6.0 (log y)) in y
0.747 * [taylor]: Taking taylor expansion of 6.0 in y
0.747 * [taylor]: Taking taylor expansion of (log y) in y
0.747 * [taylor]: Taking taylor expansion of y in y
0.840 * [approximate]: Taking taylor expansion of (* 333.75 (pow (/ 1 (pow y 6.0)) 1.0)) in (y) around 0
0.840 * [taylor]: Taking taylor expansion of (* 333.75 (pow (/ 1 (pow y 6.0)) 1.0)) in y
0.840 * [taylor]: Taking taylor expansion of 333.75 in y
0.840 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 6.0)) 1.0) in y
0.840 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow y 6.0))))) in y
0.840 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow y 6.0)))) in y
0.840 * [taylor]: Taking taylor expansion of 1.0 in y
0.840 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 6.0))) in y
0.840 * [taylor]: Taking taylor expansion of (/ 1 (pow y 6.0)) in y
0.840 * [taylor]: Taking taylor expansion of (pow y 6.0) in y
0.840 * [taylor]: Taking taylor expansion of (exp (* 6.0 (log y))) in y
0.840 * [taylor]: Taking taylor expansion of (* 6.0 (log y)) in y
0.840 * [taylor]: Taking taylor expansion of 6.0 in y
0.840 * [taylor]: Taking taylor expansion of (log y) in y
0.840 * [taylor]: Taking taylor expansion of y in y
0.841 * [taylor]: Taking taylor expansion of (* 333.75 (pow (/ 1 (pow y 6.0)) 1.0)) in y
0.841 * [taylor]: Taking taylor expansion of 333.75 in y
0.841 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 6.0)) 1.0) in y
0.841 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow y 6.0))))) in y
0.841 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow y 6.0)))) in y
0.841 * [taylor]: Taking taylor expansion of 1.0 in y
0.841 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 6.0))) in y
0.841 * [taylor]: Taking taylor expansion of (/ 1 (pow y 6.0)) in y
0.841 * [taylor]: Taking taylor expansion of (pow y 6.0) in y
0.841 * [taylor]: Taking taylor expansion of (exp (* 6.0 (log y))) in y
0.841 * [taylor]: Taking taylor expansion of (* 6.0 (log y)) in y
0.841 * [taylor]: Taking taylor expansion of 6.0 in y
0.841 * [taylor]: Taking taylor expansion of (log y) in y
0.841 * [taylor]: Taking taylor expansion of y in y
0.938 * [approximate]: Taking taylor expansion of (* 333.75 (pow (/ (pow -1 6.0) (pow y 6.0)) 1.0)) in (y) around 0
0.938 * [taylor]: Taking taylor expansion of (* 333.75 (pow (/ (pow -1 6.0) (pow y 6.0)) 1.0)) in y
0.938 * [taylor]: Taking taylor expansion of 333.75 in y
0.938 * [taylor]: Taking taylor expansion of (pow (/ (pow -1 6.0) (pow y 6.0)) 1.0) in y
0.938 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ (pow -1 6.0) (pow y 6.0))))) in y
0.938 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ (pow -1 6.0) (pow y 6.0)))) in y
0.938 * [taylor]: Taking taylor expansion of 1.0 in y
0.938 * [taylor]: Taking taylor expansion of (log (/ (pow -1 6.0) (pow y 6.0))) in y
0.938 * [taylor]: Taking taylor expansion of (/ (pow -1 6.0) (pow y 6.0)) in y
0.938 * [taylor]: Taking taylor expansion of (pow -1 6.0) in y
0.938 * [taylor]: Taking taylor expansion of (exp (* 6.0 (log -1))) in y
0.938 * [taylor]: Taking taylor expansion of (* 6.0 (log -1)) in y
0.938 * [taylor]: Taking taylor expansion of 6.0 in y
0.939 * [taylor]: Taking taylor expansion of (log -1) in y
0.939 * [taylor]: Taking taylor expansion of -1 in y
0.940 * [taylor]: Taking taylor expansion of (pow y 6.0) in y
0.940 * [taylor]: Taking taylor expansion of (exp (* 6.0 (log y))) in y
0.940 * [taylor]: Taking taylor expansion of (* 6.0 (log y)) in y
0.940 * [taylor]: Taking taylor expansion of 6.0 in y
0.940 * [taylor]: Taking taylor expansion of (log y) in y
0.940 * [taylor]: Taking taylor expansion of y in y
0.943 * [taylor]: Taking taylor expansion of (* 333.75 (pow (/ (pow -1 6.0) (pow y 6.0)) 1.0)) in y
0.943 * [taylor]: Taking taylor expansion of 333.75 in y
0.943 * [taylor]: Taking taylor expansion of (pow (/ (pow -1 6.0) (pow y 6.0)) 1.0) in y
0.943 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ (pow -1 6.0) (pow y 6.0))))) in y
0.943 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ (pow -1 6.0) (pow y 6.0)))) in y
0.943 * [taylor]: Taking taylor expansion of 1.0 in y
0.943 * [taylor]: Taking taylor expansion of (log (/ (pow -1 6.0) (pow y 6.0))) in y
0.943 * [taylor]: Taking taylor expansion of (/ (pow -1 6.0) (pow y 6.0)) in y
0.943 * [taylor]: Taking taylor expansion of (pow -1 6.0) in y
0.943 * [taylor]: Taking taylor expansion of (exp (* 6.0 (log -1))) in y
0.943 * [taylor]: Taking taylor expansion of (* 6.0 (log -1)) in y
0.943 * [taylor]: Taking taylor expansion of 6.0 in y
0.943 * [taylor]: Taking taylor expansion of (log -1) in y
0.943 * [taylor]: Taking taylor expansion of -1 in y
0.945 * [taylor]: Taking taylor expansion of (pow y 6.0) in y
0.945 * [taylor]: Taking taylor expansion of (exp (* 6.0 (log y))) in y
0.945 * [taylor]: Taking taylor expansion of (* 6.0 (log y)) in y
0.945 * [taylor]: Taking taylor expansion of 6.0 in y
0.945 * [taylor]: Taking taylor expansion of (log y) in y
0.945 * [taylor]: Taking taylor expansion of y in y
1.109 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
1.109 * [approximate]: Taking taylor expansion of (* 5.5 (pow (pow y 8.0) 1.0)) in (y) around 0
1.109 * [taylor]: Taking taylor expansion of (* 5.5 (pow (pow y 8.0) 1.0)) in y
1.109 * [taylor]: Taking taylor expansion of 5.5 in y
1.109 * [taylor]: Taking taylor expansion of (pow (pow y 8.0) 1.0) in y
1.109 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (pow y 8.0)))) in y
1.109 * [taylor]: Taking taylor expansion of (* 1.0 (log (pow y 8.0))) in y
1.109 * [taylor]: Taking taylor expansion of 1.0 in y
1.109 * [taylor]: Taking taylor expansion of (log (pow y 8.0)) in y
1.109 * [taylor]: Taking taylor expansion of (pow y 8.0) in y
1.109 * [taylor]: Taking taylor expansion of (exp (* 8.0 (log y))) in y
1.109 * [taylor]: Taking taylor expansion of (* 8.0 (log y)) in y
1.109 * [taylor]: Taking taylor expansion of 8.0 in y
1.109 * [taylor]: Taking taylor expansion of (log y) in y
1.109 * [taylor]: Taking taylor expansion of y in y
1.110 * [taylor]: Taking taylor expansion of (* 5.5 (pow (pow y 8.0) 1.0)) in y
1.110 * [taylor]: Taking taylor expansion of 5.5 in y
1.110 * [taylor]: Taking taylor expansion of (pow (pow y 8.0) 1.0) in y
1.110 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (pow y 8.0)))) in y
1.110 * [taylor]: Taking taylor expansion of (* 1.0 (log (pow y 8.0))) in y
1.110 * [taylor]: Taking taylor expansion of 1.0 in y
1.110 * [taylor]: Taking taylor expansion of (log (pow y 8.0)) in y
1.110 * [taylor]: Taking taylor expansion of (pow y 8.0) in y
1.110 * [taylor]: Taking taylor expansion of (exp (* 8.0 (log y))) in y
1.110 * [taylor]: Taking taylor expansion of (* 8.0 (log y)) in y
1.110 * [taylor]: Taking taylor expansion of 8.0 in y
1.110 * [taylor]: Taking taylor expansion of (log y) in y
1.110 * [taylor]: Taking taylor expansion of y in y
1.207 * [approximate]: Taking taylor expansion of (* 5.5 (pow (/ 1 (pow y 8.0)) 1.0)) in (y) around 0
1.207 * [taylor]: Taking taylor expansion of (* 5.5 (pow (/ 1 (pow y 8.0)) 1.0)) in y
1.207 * [taylor]: Taking taylor expansion of 5.5 in y
1.207 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 8.0)) 1.0) in y
1.207 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow y 8.0))))) in y
1.207 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow y 8.0)))) in y
1.207 * [taylor]: Taking taylor expansion of 1.0 in y
1.207 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 8.0))) in y
1.207 * [taylor]: Taking taylor expansion of (/ 1 (pow y 8.0)) in y
1.207 * [taylor]: Taking taylor expansion of (pow y 8.0) in y
1.207 * [taylor]: Taking taylor expansion of (exp (* 8.0 (log y))) in y
1.207 * [taylor]: Taking taylor expansion of (* 8.0 (log y)) in y
1.207 * [taylor]: Taking taylor expansion of 8.0 in y
1.207 * [taylor]: Taking taylor expansion of (log y) in y
1.207 * [taylor]: Taking taylor expansion of y in y
1.208 * [taylor]: Taking taylor expansion of (* 5.5 (pow (/ 1 (pow y 8.0)) 1.0)) in y
1.208 * [taylor]: Taking taylor expansion of 5.5 in y
1.209 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 8.0)) 1.0) in y
1.209 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow y 8.0))))) in y
1.209 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow y 8.0)))) in y
1.209 * [taylor]: Taking taylor expansion of 1.0 in y
1.209 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 8.0))) in y
1.209 * [taylor]: Taking taylor expansion of (/ 1 (pow y 8.0)) in y
1.209 * [taylor]: Taking taylor expansion of (pow y 8.0) in y
1.209 * [taylor]: Taking taylor expansion of (exp (* 8.0 (log y))) in y
1.209 * [taylor]: Taking taylor expansion of (* 8.0 (log y)) in y
1.209 * [taylor]: Taking taylor expansion of 8.0 in y
1.209 * [taylor]: Taking taylor expansion of (log y) in y
1.209 * [taylor]: Taking taylor expansion of y in y
1.307 * [approximate]: Taking taylor expansion of (* 5.5 (pow (/ (pow -1 8.0) (pow y 8.0)) 1.0)) in (y) around 0
1.307 * [taylor]: Taking taylor expansion of (* 5.5 (pow (/ (pow -1 8.0) (pow y 8.0)) 1.0)) in y
1.307 * [taylor]: Taking taylor expansion of 5.5 in y
1.307 * [taylor]: Taking taylor expansion of (pow (/ (pow -1 8.0) (pow y 8.0)) 1.0) in y
1.307 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ (pow -1 8.0) (pow y 8.0))))) in y
1.307 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ (pow -1 8.0) (pow y 8.0)))) in y
1.307 * [taylor]: Taking taylor expansion of 1.0 in y
1.307 * [taylor]: Taking taylor expansion of (log (/ (pow -1 8.0) (pow y 8.0))) in y
1.307 * [taylor]: Taking taylor expansion of (/ (pow -1 8.0) (pow y 8.0)) in y
1.307 * [taylor]: Taking taylor expansion of (pow -1 8.0) in y
1.307 * [taylor]: Taking taylor expansion of (exp (* 8.0 (log -1))) in y
1.307 * [taylor]: Taking taylor expansion of (* 8.0 (log -1)) in y
1.307 * [taylor]: Taking taylor expansion of 8.0 in y
1.308 * [taylor]: Taking taylor expansion of (log -1) in y
1.308 * [taylor]: Taking taylor expansion of -1 in y
1.309 * [taylor]: Taking taylor expansion of (pow y 8.0) in y
1.309 * [taylor]: Taking taylor expansion of (exp (* 8.0 (log y))) in y
1.309 * [taylor]: Taking taylor expansion of (* 8.0 (log y)) in y
1.309 * [taylor]: Taking taylor expansion of 8.0 in y
1.309 * [taylor]: Taking taylor expansion of (log y) in y
1.309 * [taylor]: Taking taylor expansion of y in y
1.312 * [taylor]: Taking taylor expansion of (* 5.5 (pow (/ (pow -1 8.0) (pow y 8.0)) 1.0)) in y
1.312 * [taylor]: Taking taylor expansion of 5.5 in y
1.312 * [taylor]: Taking taylor expansion of (pow (/ (pow -1 8.0) (pow y 8.0)) 1.0) in y
1.312 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ (pow -1 8.0) (pow y 8.0))))) in y
1.312 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ (pow -1 8.0) (pow y 8.0)))) in y
1.312 * [taylor]: Taking taylor expansion of 1.0 in y
1.312 * [taylor]: Taking taylor expansion of (log (/ (pow -1 8.0) (pow y 8.0))) in y
1.312 * [taylor]: Taking taylor expansion of (/ (pow -1 8.0) (pow y 8.0)) in y
1.312 * [taylor]: Taking taylor expansion of (pow -1 8.0) in y
1.312 * [taylor]: Taking taylor expansion of (exp (* 8.0 (log -1))) in y
1.312 * [taylor]: Taking taylor expansion of (* 8.0 (log -1)) in y
1.312 * [taylor]: Taking taylor expansion of 8.0 in y
1.312 * [taylor]: Taking taylor expansion of (log -1) in y
1.312 * [taylor]: Taking taylor expansion of -1 in y
1.314 * [taylor]: Taking taylor expansion of (pow y 8.0) in y
1.314 * [taylor]: Taking taylor expansion of (exp (* 8.0 (log y))) in y
1.314 * [taylor]: Taking taylor expansion of (* 8.0 (log y)) in y
1.314 * [taylor]: Taking taylor expansion of 8.0 in y
1.314 * [taylor]: Taking taylor expansion of (log y) in y
1.314 * [taylor]: Taking taylor expansion of y in y
1.486 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 2 1 1)
1.486 * [approximate]: Taking taylor expansion of (- (* 11.0 (* (pow x 2) (pow y 2))) (pow y 6)) in (x y) around 0
1.486 * [taylor]: Taking taylor expansion of (- (* 11.0 (* (pow x 2) (pow y 2))) (pow y 6)) in y
1.486 * [taylor]: Taking taylor expansion of (* 11.0 (* (pow x 2) (pow y 2))) in y
1.486 * [taylor]: Taking taylor expansion of 11.0 in y
1.486 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y
1.486 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.486 * [taylor]: Taking taylor expansion of x in y
1.486 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.486 * [taylor]: Taking taylor expansion of y in y
1.486 * [taylor]: Taking taylor expansion of (pow y 6) in y
1.486 * [taylor]: Taking taylor expansion of y in y
1.486 * [taylor]: Taking taylor expansion of (- (* 11.0 (* (pow x 2) (pow y 2))) (pow y 6)) in x
1.486 * [taylor]: Taking taylor expansion of (* 11.0 (* (pow x 2) (pow y 2))) in x
1.486 * [taylor]: Taking taylor expansion of 11.0 in x
1.486 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x
1.486 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.486 * [taylor]: Taking taylor expansion of x in x
1.486 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.486 * [taylor]: Taking taylor expansion of y in x
1.486 * [taylor]: Taking taylor expansion of (pow y 6) in x
1.486 * [taylor]: Taking taylor expansion of y in x
1.486 * [taylor]: Taking taylor expansion of (- (* 11.0 (* (pow x 2) (pow y 2))) (pow y 6)) in x
1.486 * [taylor]: Taking taylor expansion of (* 11.0 (* (pow x 2) (pow y 2))) in x
1.487 * [taylor]: Taking taylor expansion of 11.0 in x
1.487 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x
1.487 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.487 * [taylor]: Taking taylor expansion of x in x
1.487 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.487 * [taylor]: Taking taylor expansion of y in x
1.487 * [taylor]: Taking taylor expansion of (pow y 6) in x
1.487 * [taylor]: Taking taylor expansion of y in x
1.487 * [taylor]: Taking taylor expansion of (- (pow y 6)) in y
1.487 * [taylor]: Taking taylor expansion of (pow y 6) in y
1.487 * [taylor]: Taking taylor expansion of y in y
1.488 * [taylor]: Taking taylor expansion of 0 in y
1.490 * [taylor]: Taking taylor expansion of (* 11.0 (pow y 2)) in y
1.490 * [taylor]: Taking taylor expansion of 11.0 in y
1.490 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.490 * [taylor]: Taking taylor expansion of y in y
1.493 * [taylor]: Taking taylor expansion of 0 in y
1.499 * [taylor]: Taking taylor expansion of 0 in y
1.500 * [approximate]: Taking taylor expansion of (- (* 11.0 (/ 1 (* (pow x 2) (pow y 2)))) (/ 1 (pow y 6))) in (x y) around 0
1.501 * [taylor]: Taking taylor expansion of (- (* 11.0 (/ 1 (* (pow x 2) (pow y 2)))) (/ 1 (pow y 6))) in y
1.501 * [taylor]: Taking taylor expansion of (* 11.0 (/ 1 (* (pow x 2) (pow y 2)))) in y
1.501 * [taylor]: Taking taylor expansion of 11.0 in y
1.501 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in y
1.501 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y
1.501 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.501 * [taylor]: Taking taylor expansion of x in y
1.501 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.501 * [taylor]: Taking taylor expansion of y in y
1.502 * [taylor]: Taking taylor expansion of (/ 1 (pow y 6)) in y
1.502 * [taylor]: Taking taylor expansion of (pow y 6) in y
1.502 * [taylor]: Taking taylor expansion of y in y
1.503 * [taylor]: Taking taylor expansion of (- (* 11.0 (/ 1 (* (pow x 2) (pow y 2)))) (/ 1 (pow y 6))) in x
1.503 * [taylor]: Taking taylor expansion of (* 11.0 (/ 1 (* (pow x 2) (pow y 2)))) in x
1.503 * [taylor]: Taking taylor expansion of 11.0 in x
1.503 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x
1.503 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x
1.503 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.503 * [taylor]: Taking taylor expansion of x in x
1.503 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.503 * [taylor]: Taking taylor expansion of y in x
1.503 * [taylor]: Taking taylor expansion of (/ 1 (pow y 6)) in x
1.503 * [taylor]: Taking taylor expansion of (pow y 6) in x
1.503 * [taylor]: Taking taylor expansion of y in x
1.504 * [taylor]: Taking taylor expansion of (- (* 11.0 (/ 1 (* (pow x 2) (pow y 2)))) (/ 1 (pow y 6))) in x
1.504 * [taylor]: Taking taylor expansion of (* 11.0 (/ 1 (* (pow x 2) (pow y 2)))) in x
1.504 * [taylor]: Taking taylor expansion of 11.0 in x
1.504 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x
1.504 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x
1.504 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.504 * [taylor]: Taking taylor expansion of x in x
1.504 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.504 * [taylor]: Taking taylor expansion of y in x
1.504 * [taylor]: Taking taylor expansion of (/ 1 (pow y 6)) in x
1.504 * [taylor]: Taking taylor expansion of (pow y 6) in x
1.504 * [taylor]: Taking taylor expansion of y in x
1.505 * [taylor]: Taking taylor expansion of (* 11.0 (/ 1 (pow y 2))) in y
1.505 * [taylor]: Taking taylor expansion of 11.0 in y
1.505 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.505 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.505 * [taylor]: Taking taylor expansion of y in y
1.507 * [taylor]: Taking taylor expansion of 0 in y
1.509 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 6))) in y
1.509 * [taylor]: Taking taylor expansion of (/ 1 (pow y 6)) in y
1.509 * [taylor]: Taking taylor expansion of (pow y 6) in y
1.509 * [taylor]: Taking taylor expansion of y in y
1.515 * [taylor]: Taking taylor expansion of 0 in y
1.527 * [taylor]: Taking taylor expansion of 0 in y
1.537 * [taylor]: Taking taylor expansion of 0 in y
1.549 * [taylor]: Taking taylor expansion of 0 in y
1.564 * [taylor]: Taking taylor expansion of 0 in y
1.568 * [approximate]: Taking taylor expansion of (- (* 11.0 (/ 1 (* (pow x 2) (pow y 2)))) (/ 1 (pow y 6))) in (x y) around 0
1.568 * [taylor]: Taking taylor expansion of (- (* 11.0 (/ 1 (* (pow x 2) (pow y 2)))) (/ 1 (pow y 6))) in y
1.568 * [taylor]: Taking taylor expansion of (* 11.0 (/ 1 (* (pow x 2) (pow y 2)))) in y
1.568 * [taylor]: Taking taylor expansion of 11.0 in y
1.568 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in y
1.568 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y
1.568 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.568 * [taylor]: Taking taylor expansion of x in y
1.568 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.568 * [taylor]: Taking taylor expansion of y in y
1.568 * [taylor]: Taking taylor expansion of (/ 1 (pow y 6)) in y
1.568 * [taylor]: Taking taylor expansion of (pow y 6) in y
1.568 * [taylor]: Taking taylor expansion of y in y
1.569 * [taylor]: Taking taylor expansion of (- (* 11.0 (/ 1 (* (pow x 2) (pow y 2)))) (/ 1 (pow y 6))) in x
1.569 * [taylor]: Taking taylor expansion of (* 11.0 (/ 1 (* (pow x 2) (pow y 2)))) in x
1.569 * [taylor]: Taking taylor expansion of 11.0 in x
1.569 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x
1.569 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x
1.569 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.569 * [taylor]: Taking taylor expansion of x in x
1.569 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.569 * [taylor]: Taking taylor expansion of y in x
1.570 * [taylor]: Taking taylor expansion of (/ 1 (pow y 6)) in x
1.570 * [taylor]: Taking taylor expansion of (pow y 6) in x
1.570 * [taylor]: Taking taylor expansion of y in x
1.570 * [taylor]: Taking taylor expansion of (- (* 11.0 (/ 1 (* (pow x 2) (pow y 2)))) (/ 1 (pow y 6))) in x
1.570 * [taylor]: Taking taylor expansion of (* 11.0 (/ 1 (* (pow x 2) (pow y 2)))) in x
1.570 * [taylor]: Taking taylor expansion of 11.0 in x
1.570 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x
1.570 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x
1.570 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.570 * [taylor]: Taking taylor expansion of x in x
1.570 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.570 * [taylor]: Taking taylor expansion of y in x
1.571 * [taylor]: Taking taylor expansion of (/ 1 (pow y 6)) in x
1.571 * [taylor]: Taking taylor expansion of (pow y 6) in x
1.571 * [taylor]: Taking taylor expansion of y in x
1.571 * [taylor]: Taking taylor expansion of (* 11.0 (/ 1 (pow y 2))) in y
1.571 * [taylor]: Taking taylor expansion of 11.0 in y
1.571 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.571 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.571 * [taylor]: Taking taylor expansion of y in y
1.573 * [taylor]: Taking taylor expansion of 0 in y
1.575 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 6))) in y
1.575 * [taylor]: Taking taylor expansion of (/ 1 (pow y 6)) in y
1.575 * [taylor]: Taking taylor expansion of (pow y 6) in y
1.575 * [taylor]: Taking taylor expansion of y in y
1.581 * [taylor]: Taking taylor expansion of 0 in y
1.588 * [taylor]: Taking taylor expansion of 0 in y
1.598 * [taylor]: Taking taylor expansion of 0 in y
1.614 * [taylor]: Taking taylor expansion of 0 in y
1.629 * [taylor]: Taking taylor expansion of 0 in y
1.632 * * * [progress]: simplifying candidates
1.635 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (* (exp (* 333.75 (pow y 6.0))) (exp (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0)))) (exp (* 5.5 (pow y 8.0))))
  (* (exp (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0)))) (exp (* 5.5 (pow y 8.0))))
  (log (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0))))
  (exp (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0))))
  (* (cbrt (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0)))) (cbrt (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0)))))
  (cbrt (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0))))
  (* (* (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0))) (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0)))) (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0))))
  (sqrt (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0))))
  (sqrt (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0))))
  (+ (pow (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) 3) (pow (* 5.5 (pow y 8.0)) 3))
  (+ (* (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0)))) (- (* (* 5.5 (pow y 8.0)) (* 5.5 (pow y 8.0))) (* (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0)))))
  (- (* (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0)))) (* (* 5.5 (pow y 8.0)) (* 5.5 (pow y 8.0))))
  (- (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0)))
  (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0)))
  (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0)))
  (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0)))
  (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0)))
  (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0)))
  (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0)))
  (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0)))
  (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0)))
  (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0)))
  (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0)))
  (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0)))
  (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0)))
  (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0)))
  (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0)))
  (+ (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0)) (* 5.5 (pow y 8.0)))
  (+ (* (* x x) (- 2.0)) (* 5.5 (pow y 8.0)))
  (+ (* (* x x) (- (- (* 121.0 (pow y 4.0))) 2.0)) (* 5.5 (pow y 8.0)))
  (+ (* (* x x) (- (- (- (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0)) (* 5.5 (pow y 8.0)))
  (+ (* (* x x) (- (- (- (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0)) (* 5.5 (pow y 8.0)))
  (+ (* (* x x) (- (- (* 121.0 (pow y 4.0))) 2.0)) (* 5.5 (pow y 8.0)))
  (+ (* (* x x) (- 2.0)) (* 5.5 (pow y 8.0)))
  (+ (* (- 2.0) (* x x)) (* 5.5 (pow y 8.0)))
  (+ (* (- (- (* 121.0 (pow y 4.0))) 2.0) (* x x)) (* 5.5 (pow y 8.0)))
  (+ (* (- (- (- (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0) (* x x)) (* 5.5 (pow y 8.0)))
  (+ (* (- (- (- (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0) (* x x)) (* 5.5 (pow y 8.0)))
  (+ (* (- (- (* 121.0 (pow y 4.0))) 2.0) (* x x)) (* 5.5 (pow y 8.0)))
  (+ (* (- 2.0) (* x x)) (* 5.5 (pow y 8.0)))
  (+ (* 333.75 (pow y 6.0)) (* 5.5 (pow y 8.0)))
  (* 333.75 (pow y 6.0))
  (+ (log 333.75) (* (log y) 6.0))
  (+ (log 333.75) (* (log y) 6.0))
  (+ (log 333.75) (log (pow y 6.0)))
  (log (* 333.75 (pow y 6.0)))
  (exp (* 333.75 (pow y 6.0)))
  (* (* (* 333.75 333.75) 333.75) (* (* (pow y 6.0) (pow y 6.0)) (pow y 6.0)))
  (* (cbrt (* 333.75 (pow y 6.0))) (cbrt (* 333.75 (pow y 6.0))))
  (cbrt (* 333.75 (pow y 6.0)))
  (* (* (* 333.75 (pow y 6.0)) (* 333.75 (pow y 6.0))) (* 333.75 (pow y 6.0)))
  (sqrt (* 333.75 (pow y 6.0)))
  (sqrt (* 333.75 (pow y 6.0)))
  (* (sqrt 333.75) (pow (sqrt y) 6.0))
  (* (sqrt 333.75) (pow (sqrt y) 6.0))
  (* (sqrt 333.75) (sqrt (pow y 6.0)))
  (* (sqrt 333.75) (sqrt (pow y 6.0)))
  (* (sqrt 333.75) (pow y (/ 6.0 2)))
  (* (sqrt 333.75) (pow y (/ 6.0 2)))
  (* 333.75 (pow (* (cbrt y) (cbrt y)) 6.0))
  (* 333.75 (pow (sqrt y) 6.0))
  (* 333.75 (pow 1 6.0))
  (* 333.75 (* (cbrt (pow y 6.0)) (cbrt (pow y 6.0))))
  (* 333.75 (sqrt (pow y 6.0)))
  (* 333.75 1)
  (* 333.75 (pow y (/ 6.0 2)))
  (* (cbrt 333.75) (pow y 6.0))
  (* (sqrt 333.75) (pow y 6.0))
  (* 333.75 (pow y 6.0))
  (* 5.5 (pow y 8.0))
  (+ (log 5.5) (* (log y) 8.0))
  (+ (log 5.5) (* (log y) 8.0))
  (+ (log 5.5) (log (pow y 8.0)))
  (log (* 5.5 (pow y 8.0)))
  (exp (* 5.5 (pow y 8.0)))
  (* (* (* 5.5 5.5) 5.5) (* (* (pow y 8.0) (pow y 8.0)) (pow y 8.0)))
  (* (cbrt (* 5.5 (pow y 8.0))) (cbrt (* 5.5 (pow y 8.0))))
  (cbrt (* 5.5 (pow y 8.0)))
  (* (* (* 5.5 (pow y 8.0)) (* 5.5 (pow y 8.0))) (* 5.5 (pow y 8.0)))
  (sqrt (* 5.5 (pow y 8.0)))
  (sqrt (* 5.5 (pow y 8.0)))
  (* (sqrt 5.5) (pow (sqrt y) 8.0))
  (* (sqrt 5.5) (pow (sqrt y) 8.0))
  (* (sqrt 5.5) (sqrt (pow y 8.0)))
  (* (sqrt 5.5) (sqrt (pow y 8.0)))
  (* (sqrt 5.5) (pow y (/ 8.0 2)))
  (* (sqrt 5.5) (pow y (/ 8.0 2)))
  (* 5.5 (pow (* (cbrt y) (cbrt y)) 8.0))
  (* 5.5 (pow (sqrt y) 8.0))
  (* 5.5 (pow 1 8.0))
  (* 5.5 (* (cbrt (pow y 8.0)) (cbrt (pow y 8.0))))
  (* 5.5 (sqrt (pow y 8.0)))
  (* 5.5 1)
  (* 5.5 (pow y (/ 8.0 2)))
  (* (cbrt 5.5) (pow y 8.0))
  (* (sqrt 5.5) (pow y 8.0))
  (* 5.5 (pow y 8.0))
  (/ (exp (* (* (* (* 11.0 x) x) y) y)) (exp (pow y 6.0)))
  (log (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)))
  (exp (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)))
  (* (cbrt (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0))) (cbrt (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0))))
  (cbrt (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)))
  (* (* (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0))) (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)))
  (sqrt (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)))
  (sqrt (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)))
  (- (pow (* (* (* (* 11.0 x) x) y) y) 3) (pow (pow y 6.0) 3))
  (+ (* (* (* (* (* 11.0 x) x) y) y) (* (* (* (* 11.0 x) x) y) y)) (+ (* (pow y 6.0) (pow y 6.0)) (* (* (* (* (* 11.0 x) x) y) y) (pow y 6.0))))
  (- (pow y 6.0))
  (- (* (* (* (* (* 11.0 x) x) y) y) (* (* (* (* 11.0 x) x) y) y)) (* (pow y 6.0) (pow y 6.0)))
  (+ (* (* (* (* 11.0 x) x) y) y) (pow y 6.0))
  (+ (sqrt (* (* (* (* 11.0 x) x) y) y)) (pow (sqrt y) 6.0))
  (- (sqrt (* (* (* (* 11.0 x) x) y) y)) (pow (sqrt y) 6.0))
  (+ (sqrt (* (* (* (* 11.0 x) x) y) y)) (sqrt (pow y 6.0)))
  (- (sqrt (* (* (* (* 11.0 x) x) y) y)) (sqrt (pow y 6.0)))
  (+ (sqrt (* (* (* (* 11.0 x) x) y) y)) (pow y (/ 6.0 2)))
  (- (sqrt (* (* (* (* 11.0 x) x) y) y)) (pow y (/ 6.0 2)))
  (+ (* (sqrt (* (* (* 11.0 x) x) y)) (sqrt y)) (pow (sqrt y) 6.0))
  (- (* (sqrt (* (* (* 11.0 x) x) y)) (sqrt y)) (pow (sqrt y) 6.0))
  (+ (* (sqrt (* (* (* 11.0 x) x) y)) (sqrt y)) (sqrt (pow y 6.0)))
  (- (* (sqrt (* (* (* 11.0 x) x) y)) (sqrt y)) (sqrt (pow y 6.0)))
  (+ (* (sqrt (* (* (* 11.0 x) x) y)) (sqrt y)) (pow y (/ 6.0 2)))
  (- (* (sqrt (* (* (* 11.0 x) x) y)) (sqrt y)) (pow y (/ 6.0 2)))
  (+ (* (* (sqrt (* (* 11.0 x) x)) (sqrt y)) (sqrt y)) (pow (sqrt y) 6.0))
  (- (* (* (sqrt (* (* 11.0 x) x)) (sqrt y)) (sqrt y)) (pow (sqrt y) 6.0))
  (+ (* (* (sqrt (* (* 11.0 x) x)) (sqrt y)) (sqrt y)) (sqrt (pow y 6.0)))
  (- (* (* (sqrt (* (* 11.0 x) x)) (sqrt y)) (sqrt y)) (sqrt (pow y 6.0)))
  (+ (* (* (sqrt (* (* 11.0 x) x)) (sqrt y)) (sqrt y)) (pow y (/ 6.0 2)))
  (- (* (* (sqrt (* (* 11.0 x) x)) (sqrt y)) (sqrt y)) (pow y (/ 6.0 2)))
  (+ (* (* (* (sqrt (* 11.0 x)) (sqrt x)) (sqrt y)) (sqrt y)) (pow (sqrt y) 6.0))
  (- (* (* (* (sqrt (* 11.0 x)) (sqrt x)) (sqrt y)) (sqrt y)) (pow (sqrt y) 6.0))
  (+ (* (* (* (sqrt (* 11.0 x)) (sqrt x)) (sqrt y)) (sqrt y)) (sqrt (pow y 6.0)))
  (- (* (* (* (sqrt (* 11.0 x)) (sqrt x)) (sqrt y)) (sqrt y)) (sqrt (pow y 6.0)))
  (+ (* (* (* (sqrt (* 11.0 x)) (sqrt x)) (sqrt y)) (sqrt y)) (pow y (/ 6.0 2)))
  (- (* (* (* (sqrt (* 11.0 x)) (sqrt x)) (sqrt y)) (sqrt y)) (pow y (/ 6.0 2)))
  (+ (* (* (* (* (sqrt 11.0) (sqrt x)) (sqrt x)) (sqrt y)) (sqrt y)) (pow (sqrt y) 6.0))
  (- (* (* (* (* (sqrt 11.0) (sqrt x)) (sqrt x)) (sqrt y)) (sqrt y)) (pow (sqrt y) 6.0))
  (+ (* (* (* (* (sqrt 11.0) (sqrt x)) (sqrt x)) (sqrt y)) (sqrt y)) (sqrt (pow y 6.0)))
  (- (* (* (* (* (sqrt 11.0) (sqrt x)) (sqrt x)) (sqrt y)) (sqrt y)) (sqrt (pow y 6.0)))
  (+ (* (* (* (* (sqrt 11.0) (sqrt x)) (sqrt x)) (sqrt y)) (sqrt y)) (pow y (/ 6.0 2)))
  (- (* (* (* (* (sqrt 11.0) (sqrt x)) (sqrt x)) (sqrt y)) (sqrt y)) (pow y (/ 6.0 2)))
  (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0))
  (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0))
  (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0))
  (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0))
  (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0))
  (- (pow y 6.0))
  (* -2.0 (pow x 2))
  (- (* 11.0 (* (pow x 4) (pow y 2))) (* (pow x 2) (pow y 6)))
  (- (* 11.0 (* (pow x 4) (pow y 2))) (* (pow x 2) (pow y 6)))
  (* 333.75 (pow (pow y 6.0) 1.0))
  (* 333.75 (pow (pow y 6.0) 1.0))
  (* 333.75 (pow (pow y 6.0) 1.0))
  (* 5.5 (pow (pow y 8.0) 1.0))
  (* 5.5 (pow (pow y 8.0) 1.0))
  (* 5.5 (pow (pow y 8.0) 1.0))
  (* 11.0 (* (pow x 2) (pow y 2)))
  (- (* 11.0 (* (pow x 2) (pow y 2))) (pow y 6))
  (- (* 11.0 (* (pow x 2) (pow y 2))) (pow y 6))
1.644 * * [simplify]: iteration  0 :  553  enodes  (cost  1433 )
1.654 * * [simplify]: iteration  1 :  2016  enodes  (cost  1341 )
1.696 * * [simplify]: iteration  2 :  5001  enodes  (cost  1337 )
1.703 * [simplify]: Simplified to:
   (exp (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0))))
  (exp (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0))))
  (log (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0))))
  (exp (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0))))
  (* (cbrt (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0)))) (cbrt (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0)))))
  (cbrt (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0))))
  (pow (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0))) 3)
  (sqrt (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0))))
  (sqrt (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0))))
  (+ (pow (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) 3) (pow (* 5.5 (pow y 8.0)) 3))
  (+ (* (* 5.5 (pow y 8.0)) (- (* 5.5 (pow y 8.0)) (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))))) (* (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0)))))
  (- (* (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0)))) (* (* 5.5 (pow y 8.0)) (* 5.5 (pow y 8.0))))
  (- (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0)))
  (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0)))
  (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0)))
  (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0)))
  (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0)))
  (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0)))
  (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0)))
  (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0)))
  (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0)))
  (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0)))
  (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0)))
  (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0)))
  (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0)))
  (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0)))
  (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0)))
  (+ (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0)) (* 5.5 (pow y 8.0)))
  (- (* 5.5 (pow y 8.0)) (* 2.0 (pow x 2)))
  (+ (* (- (- (* 121.0 (pow y 4.0))) 2.0) (* x x)) (* 5.5 (pow y 8.0)))
  (+ (* (- (- (- (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0) (* x x)) (* 5.5 (pow y 8.0)))
  (+ (* (- (- (- (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0) (* x x)) (* 5.5 (pow y 8.0)))
  (+ (* (- (- (* 121.0 (pow y 4.0))) 2.0) (* x x)) (* 5.5 (pow y 8.0)))
  (- (* 5.5 (pow y 8.0)) (* 2.0 (pow x 2)))
  (- (* 5.5 (pow y 8.0)) (* 2.0 (pow x 2)))
  (+ (* (- (- (* 121.0 (pow y 4.0))) 2.0) (* x x)) (* 5.5 (pow y 8.0)))
  (+ (* (- (- (- (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0) (* x x)) (* 5.5 (pow y 8.0)))
  (+ (* (- (- (- (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0) (* x x)) (* 5.5 (pow y 8.0)))
  (+ (* (- (- (* 121.0 (pow y 4.0))) 2.0) (* x x)) (* 5.5 (pow y 8.0)))
  (- (* 5.5 (pow y 8.0)) (* 2.0 (pow x 2)))
  (+ (* 333.75 (pow y 6.0)) (* 5.5 (pow y 8.0)))
  (* 333.75 (pow y 6.0))
  (log (* 333.75 (pow y 6.0)))
  (log (* 333.75 (pow y 6.0)))
  (log (* 333.75 (pow y 6.0)))
  (log (* 333.75 (pow y 6.0)))
  (exp (* 333.75 (pow y 6.0)))
  (pow (* 333.75 (pow y 6.0)) 3)
  (* (cbrt (* 333.75 (pow y 6.0))) (cbrt (* 333.75 (pow y 6.0))))
  (cbrt (* 333.75 (pow y 6.0)))
  (pow (* 333.75 (pow y 6.0)) 3)
  (sqrt (* 333.75 (pow y 6.0)))
  (sqrt (* 333.75 (pow y 6.0)))
  (* (sqrt 333.75) (pow (sqrt y) 6.0))
  (* (sqrt 333.75) (pow (sqrt y) 6.0))
  (* (sqrt 333.75) (sqrt (pow y 6.0)))
  (* (sqrt 333.75) (sqrt (pow y 6.0)))
  (* (sqrt 333.75) (pow y (/ 6.0 2)))
  (* (sqrt 333.75) (pow y (/ 6.0 2)))
  (* 333.75 (pow (* (cbrt y) (cbrt y)) 6.0))
  (* 333.75 (pow (sqrt y) 6.0))
  333.75
  (* 333.75 (* (cbrt (pow y 6.0)) (cbrt (pow y 6.0))))
  (* 333.75 (sqrt (pow y 6.0)))
  333.75
  (* 333.75 (pow y (/ 6.0 2)))
  (* (cbrt 333.75) (pow y 6.0))
  (* (sqrt 333.75) (pow y 6.0))
  (* 333.75 (pow y 6.0))
  (* 5.5 (pow y 8.0))
  (log (* 5.5 (pow y 8.0)))
  (log (* 5.5 (pow y 8.0)))
  (log (* 5.5 (pow y 8.0)))
  (log (* 5.5 (pow y 8.0)))
  (exp (* 5.5 (pow y 8.0)))
  (pow (* 5.5 (pow y 8.0)) 3)
  (* (cbrt (* 5.5 (pow y 8.0))) (cbrt (* 5.5 (pow y 8.0))))
  (cbrt (* 5.5 (pow y 8.0)))
  (pow (* 5.5 (pow y 8.0)) 3)
  (sqrt (* 5.5 (pow y 8.0)))
  (sqrt (* 5.5 (pow y 8.0)))
  (* (sqrt 5.5) (pow (sqrt y) 8.0))
  (* (sqrt 5.5) (pow (sqrt y) 8.0))
  (* (sqrt 5.5) (sqrt (pow y 8.0)))
  (* (sqrt 5.5) (sqrt (pow y 8.0)))
  (* (sqrt 5.5) (pow y (/ 8.0 2)))
  (* (sqrt 5.5) (pow y (/ 8.0 2)))
  (* 5.5 (pow (* (cbrt y) (cbrt y)) 8.0))
  (* 5.5 (pow (sqrt y) 8.0))
  5.5
  (* 5.5 (* (cbrt (pow y 8.0)) (cbrt (pow y 8.0))))
  (* 5.5 (sqrt (pow y 8.0)))
  5.5
  (* 5.5 (pow y (/ 8.0 2)))
  (* (cbrt 5.5) (pow y 8.0))
  (* (sqrt 5.5) (pow y 8.0))
  (* 5.5 (pow y 8.0))
  (exp (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)))
  (log (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)))
  (exp (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)))
  (* (cbrt (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0))) (cbrt (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0))))
  (cbrt (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)))
  (pow (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) 3)
  (sqrt (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)))
  (sqrt (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)))
  (- (pow (* (* (* (* 11.0 x) x) y) y) 3) (pow (pow y 6.0) 3))
  (+ (* (* 11.0 (* (pow x 2) (pow y 2))) (+ (* (* (* (* 11.0 x) x) y) y) (pow y 6.0))) (pow y (* 2 6.0)))
  (- (pow y 6.0))
  (- (* (* (* (* (* 11.0 x) x) y) y) (* (* (* (* 11.0 x) x) y) y)) (* (pow y 6.0) (pow y 6.0)))
  (+ (* (* (* (* 11.0 x) x) y) y) (pow y 6.0))
  (+ (sqrt (* (* (* (* 11.0 x) x) y) y)) (pow (sqrt y) 6.0))
  (- (sqrt (* (* (* (* 11.0 x) x) y) y)) (pow (sqrt y) 6.0))
  (+ (sqrt (* (* (* (* 11.0 x) x) y) y)) (sqrt (pow y 6.0)))
  (- (sqrt (* (* (* (* 11.0 x) x) y) y)) (sqrt (pow y 6.0)))
  (+ (sqrt (* (* (* (* 11.0 x) x) y) y)) (pow y (/ 6.0 2)))
  (- (sqrt (* (* (* (* 11.0 x) x) y) y)) (pow y (/ 6.0 2)))
  (+ (* (sqrt (* (* (* 11.0 x) x) y)) (sqrt y)) (pow (sqrt y) 6.0))
  (- (* (sqrt (* (* (* 11.0 x) x) y)) (sqrt y)) (pow (sqrt y) 6.0))
  (+ (* (sqrt (* (* (* 11.0 x) x) y)) (sqrt y)) (sqrt (pow y 6.0)))
  (- (* (sqrt (* (* (* 11.0 x) x) y)) (sqrt y)) (sqrt (pow y 6.0)))
  (+ (* (sqrt (* (* (* 11.0 x) x) y)) (sqrt y)) (pow y (/ 6.0 2)))
  (- (* (sqrt (* (* (* 11.0 x) x) y)) (sqrt y)) (pow y (/ 6.0 2)))
  (+ (* (* (sqrt (* (* 11.0 x) x)) (sqrt y)) (sqrt y)) (pow (sqrt y) 6.0))
  (+ (- (pow (sqrt y) 6.0)) (* y (sqrt (* (* 11.0 x) x))))
  (+ (* (* (sqrt (* (* 11.0 x) x)) (sqrt y)) (sqrt y)) (sqrt (pow y 6.0)))
  (+ (- (sqrt (pow y 6.0))) (* y (sqrt (* (* 11.0 x) x))))
  (+ (* (* (sqrt (* (* 11.0 x) x)) (sqrt y)) (sqrt y)) (pow y (/ 6.0 2)))
  (+ (- (pow y (/ 6.0 2))) (* y (sqrt (* (* 11.0 x) x))))
  (+ (* (* (* (sqrt (* 11.0 x)) (sqrt x)) (sqrt y)) (sqrt y)) (pow (sqrt y) 6.0))
  (+ (- (pow (sqrt y) 6.0)) (* y (* (sqrt (* 11.0 x)) (sqrt x))))
  (+ (* (* (* (sqrt (* 11.0 x)) (sqrt x)) (sqrt y)) (sqrt y)) (sqrt (pow y 6.0)))
  (+ (- (sqrt (pow y 6.0))) (* y (* (sqrt (* 11.0 x)) (sqrt x))))
  (+ (* (* (* (sqrt (* 11.0 x)) (sqrt x)) (sqrt y)) (sqrt y)) (pow y (/ 6.0 2)))
  (+ (- (pow y (/ 6.0 2))) (* y (* (sqrt (* 11.0 x)) (sqrt x))))
  (+ (* (* (* (* (sqrt 11.0) (sqrt x)) (sqrt x)) (sqrt y)) (sqrt y)) (pow (sqrt y) 6.0))
  (+ (- (pow (sqrt y) 6.0)) (* y (* x (sqrt 11.0))))
  (+ (* (* (* (* (sqrt 11.0) (sqrt x)) (sqrt x)) (sqrt y)) (sqrt y)) (sqrt (pow y 6.0)))
  (+ (- (sqrt (pow y 6.0))) (* y (* x (sqrt 11.0))))
  (+ (* (* (* (* (sqrt 11.0) (sqrt x)) (sqrt x)) (sqrt y)) (sqrt y)) (pow y (/ 6.0 2)))
  (+ (- (pow y (/ 6.0 2))) (* y (* x (sqrt 11.0))))
  (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0))
  (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0))
  (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0))
  (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0))
  (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0))
  (- (pow y 6.0))
  (* -2.0 (pow x 2))
  (- (* 11.0 (* (pow x 4) (pow y 2))) (* (pow x 2) (pow y 6)))
  (- (* 11.0 (* (pow x 4) (pow y 2))) (* (pow x 2) (pow y 6)))
  (* 333.75 (pow (pow y 6.0) 1.0))
  (* 333.75 (pow (pow y 6.0) 1.0))
  (* 333.75 (pow (pow y 6.0) 1.0))
  (* 5.5 (pow (pow y 8.0) 1.0))
  (* 5.5 (pow (pow y 8.0) 1.0))
  (* 5.5 (pow (pow y 8.0) 1.0))
  (* 11.0 (* (pow x 2) (pow y 2)))
  (- (* 11.0 (* (pow x 2) (pow y 2))) (pow y 6))
  (- (* 11.0 (* (pow x 2) (pow y 2))) (pow y 6))
1.704 * * * [progress]: adding candidates to table
2.098 * * [progress]: iteration 2 / 4
2.098 * * * [progress]: picking best candidate
2.100 * * * * [pick]: Picked  #<alt (λ (x y) (+ (* -2.0 (pow x 2)) (/ x (* 2.0 y))))>
2.100 * * * [progress]: localizing error
2.108 * * * [progress]: generating rewritten candidates
2.108 * * * [progress]: generating series expansions
2.108 * * * [progress]: simplifying candidates
2.108 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   
2.110 * * [simplify]: iteration  0 :  0  enodes  (cost  0 )
2.110 * [simplify]: Simplified to:
   
2.110 * * * [progress]: adding candidates to table
2.110 * [progress]: [Phase 3 of 3] Extracting.
2.113 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (* -2.0 (pow x 2)) (/ x (* 2.0 y)))
2.113 * * [simplify]: iteration  0 :  13  enodes  (cost  5 )
2.114 * * [simplify]: iteration  1 :  13  enodes  (cost  5 )
2.114 * [simplify]: Simplified to:
   (+ (* -2.0 (pow x 2)) (/ x (* 2.0 y)))
2.453 * [regime-testing]: End program error score: 57.07672465115294