40.291 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.053 * * * [progress]: [2/2] Setting up program.
0.056 * [progress]: [Phase 2 of 3] Improving.
0.056 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ x (/ (- x y) 2.0))
0.072 * * [simplify]: iteration  0 :  356  enodes  (cost  7 )
0.072 * * [simplify]: iteration  1 :  356  enodes  (cost  7 )
0.072 * [simplify]: Simplified to:
   (+ x (/ (- x y) 2.0))
0.073 * * [progress]: iteration 1 / 4
0.073 * * * [progress]: picking best candidate
0.075 * * * * [pick]: Picked  #<alt (λ (x y) (+ x (/ (- x y) 2.0)))>
0.075 * * * [progress]: localizing error
0.080 * * * [progress]: generating rewritten candidates
0.080 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.088 * * * [progress]: generating series expansions
0.088 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.089 * [approximate]: Taking taylor expansion of (- (* 1.5 x) (* 0.5 y)) in (x y) around 0
0.089 * [taylor]: Taking taylor expansion of (- (* 1.5 x) (* 0.5 y)) in y
0.089 * [taylor]: Taking taylor expansion of (* 1.5 x) in y
0.089 * [taylor]: Taking taylor expansion of 1.5 in y
0.089 * [taylor]: Taking taylor expansion of x in y
0.089 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
0.089 * [taylor]: Taking taylor expansion of 0.5 in y
0.089 * [taylor]: Taking taylor expansion of y in y
0.089 * [taylor]: Taking taylor expansion of (- (* 1.5 x) (* 0.5 y)) in x
0.089 * [taylor]: Taking taylor expansion of (* 1.5 x) in x
0.089 * [taylor]: Taking taylor expansion of 1.5 in x
0.089 * [taylor]: Taking taylor expansion of x in x
0.089 * [taylor]: Taking taylor expansion of (* 0.5 y) in x
0.089 * [taylor]: Taking taylor expansion of 0.5 in x
0.089 * [taylor]: Taking taylor expansion of y in x
0.089 * [taylor]: Taking taylor expansion of (- (* 1.5 x) (* 0.5 y)) in x
0.089 * [taylor]: Taking taylor expansion of (* 1.5 x) in x
0.089 * [taylor]: Taking taylor expansion of 1.5 in x
0.089 * [taylor]: Taking taylor expansion of x in x
0.089 * [taylor]: Taking taylor expansion of (* 0.5 y) in x
0.089 * [taylor]: Taking taylor expansion of 0.5 in x
0.089 * [taylor]: Taking taylor expansion of y in x
0.089 * [taylor]: Taking taylor expansion of (neg (* 0.5 y)) in y
0.089 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
0.089 * [taylor]: Taking taylor expansion of 0.5 in y
0.089 * [taylor]: Taking taylor expansion of y in y
0.089 * [taylor]: Taking taylor expansion of 1.5 in y
0.089 * [taylor]: Taking taylor expansion of 0 in y
0.090 * [taylor]: Taking taylor expansion of 0 in y
0.090 * [approximate]: Taking taylor expansion of (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) in (x y) around 0
0.090 * [taylor]: Taking taylor expansion of (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) in y
0.090 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in y
0.090 * [taylor]: Taking taylor expansion of 1.5 in y
0.090 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.090 * [taylor]: Taking taylor expansion of x in y
0.090 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
0.090 * [taylor]: Taking taylor expansion of 0.5 in y
0.090 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.090 * [taylor]: Taking taylor expansion of y in y
0.090 * [taylor]: Taking taylor expansion of (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) in x
0.090 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x
0.090 * [taylor]: Taking taylor expansion of 1.5 in x
0.090 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.090 * [taylor]: Taking taylor expansion of x in x
0.090 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x
0.090 * [taylor]: Taking taylor expansion of 0.5 in x
0.090 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.090 * [taylor]: Taking taylor expansion of y in x
0.090 * [taylor]: Taking taylor expansion of (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) in x
0.090 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x
0.090 * [taylor]: Taking taylor expansion of 1.5 in x
0.090 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.090 * [taylor]: Taking taylor expansion of x in x
0.090 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x
0.090 * [taylor]: Taking taylor expansion of 0.5 in x
0.090 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.090 * [taylor]: Taking taylor expansion of y in x
0.090 * [taylor]: Taking taylor expansion of 1.5 in y
0.091 * [taylor]: Taking taylor expansion of (neg (* 0.5 (/ 1 y))) in y
0.091 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
0.091 * [taylor]: Taking taylor expansion of 0.5 in y
0.091 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.091 * [taylor]: Taking taylor expansion of y in y
0.091 * [taylor]: Taking taylor expansion of 0 in y
0.091 * [taylor]: Taking taylor expansion of 0 in y
0.091 * [taylor]: Taking taylor expansion of 0 in y
0.092 * [approximate]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in (x y) around 0
0.092 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in y
0.092 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
0.092 * [taylor]: Taking taylor expansion of 0.5 in y
0.092 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.092 * [taylor]: Taking taylor expansion of y in y
0.092 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in y
0.092 * [taylor]: Taking taylor expansion of 1.5 in y
0.092 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.092 * [taylor]: Taking taylor expansion of x in y
0.092 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in x
0.092 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x
0.092 * [taylor]: Taking taylor expansion of 0.5 in x
0.092 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.092 * [taylor]: Taking taylor expansion of y in x
0.092 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x
0.092 * [taylor]: Taking taylor expansion of 1.5 in x
0.092 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.092 * [taylor]: Taking taylor expansion of x in x
0.092 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in x
0.092 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x
0.092 * [taylor]: Taking taylor expansion of 0.5 in x
0.092 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.092 * [taylor]: Taking taylor expansion of y in x
0.092 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x
0.092 * [taylor]: Taking taylor expansion of 1.5 in x
0.092 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.092 * [taylor]: Taking taylor expansion of x in x
0.092 * [taylor]: Taking taylor expansion of (neg 1.5) in y
0.092 * [taylor]: Taking taylor expansion of 1.5 in y
0.092 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
0.092 * [taylor]: Taking taylor expansion of 0.5 in y
0.092 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.092 * [taylor]: Taking taylor expansion of y in y
0.093 * [taylor]: Taking taylor expansion of 0 in y
0.093 * [taylor]: Taking taylor expansion of 0 in y
0.093 * [taylor]: Taking taylor expansion of 0 in y
0.093 * * * [progress]: simplifying candidates
0.094 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (exp x) (exp (/ (- x y) 2.0)))
  (log (+ x (/ (- x y) 2.0)))
  (exp (+ x (/ (- x y) 2.0)))
  (* (cbrt (+ x (/ (- x y) 2.0))) (cbrt (+ x (/ (- x y) 2.0))))
  (cbrt (+ x (/ (- x y) 2.0)))
  (* (* (+ x (/ (- x y) 2.0)) (+ x (/ (- x y) 2.0))) (+ x (/ (- x y) 2.0)))
  (sqrt (+ x (/ (- x y) 2.0)))
  (sqrt (+ x (/ (- x y) 2.0)))
  (+ (pow x 3) (pow (/ (- x y) 2.0) 3))
  (+ (* x x) (- (* (/ (- x y) 2.0) (/ (- x y) 2.0)) (* x (/ (- x y) 2.0))))
  (- (* x x) (* (/ (- x y) 2.0) (/ (- x y) 2.0)))
  (- x (/ (- x y) 2.0))
  (+ x (/ (- x y) 2.0))
  (+ x (/ x 2.0))
  (- (* 1.5 x) (* 0.5 y))
  (- (* 1.5 x) (* 0.5 y))
  (- (* 1.5 x) (* 0.5 y))
0.133 * * [simplify]: iteration  0 :  4988  enodes  (cost  157 )
0.133 * * [simplify]: iteration  1 :  4988  enodes  (cost  157 )
0.134 * [simplify]: Simplified to:
   (exp (+ x (/ (- x y) 2.0)))
  (log (+ x (/ (- x y) 2.0)))
  (exp (+ x (/ (- x y) 2.0)))
  (* (cbrt (+ x (/ (- x y) 2.0))) (cbrt (+ x (/ (- x y) 2.0))))
  (cbrt (+ x (/ (- x y) 2.0)))
  (pow (+ x (/ (- x y) 2.0)) 3)
  (sqrt (+ x (/ (- x y) 2.0)))
  (sqrt (+ x (/ (- x y) 2.0)))
  (+ (pow x 3) (pow (/ (- x y) 2.0) 3))
  (+ (* x x) (* (/ (- x y) 2.0) (- (/ (- x y) 2.0) x)))
  (+ (* x x) (* (- x y) (/ (/ (- y x) 2.0) 2.0)))
  (+ x (/ (- y x) 2.0))
  (+ x (/ (- x y) 2.0))
  (+ x (/ x 2.0))
  (- (* x 1.5) (* y 0.5))
  (- (* x 1.5) (* y 0.5))
  (- (* x 1.5) (* y 0.5))
0.135 * * * [progress]: adding candidates to table
0.157 * * [progress]: iteration 2 / 4
0.157 * * * [progress]: picking best candidate
0.168 * * * * [pick]: Picked  #<alt (λ (x y) (- (* x 1.5) (* y 0.5)))>
0.168 * * * [progress]: localizing error
0.173 * * * [progress]: generating rewritten candidates
0.173 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.176 * * * [progress]: generating series expansions
0.176 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.176 * [approximate]: Taking taylor expansion of (- (* 1.5 x) (* 0.5 y)) in (x y) around 0
0.177 * [taylor]: Taking taylor expansion of (- (* 1.5 x) (* 0.5 y)) in y
0.177 * [taylor]: Taking taylor expansion of (* 1.5 x) in y
0.177 * [taylor]: Taking taylor expansion of 1.5 in y
0.177 * [taylor]: Taking taylor expansion of x in y
0.177 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
0.177 * [taylor]: Taking taylor expansion of 0.5 in y
0.177 * [taylor]: Taking taylor expansion of y in y
0.177 * [taylor]: Taking taylor expansion of (- (* 1.5 x) (* 0.5 y)) in x
0.177 * [taylor]: Taking taylor expansion of (* 1.5 x) in x
0.177 * [taylor]: Taking taylor expansion of 1.5 in x
0.177 * [taylor]: Taking taylor expansion of x in x
0.177 * [taylor]: Taking taylor expansion of (* 0.5 y) in x
0.177 * [taylor]: Taking taylor expansion of 0.5 in x
0.177 * [taylor]: Taking taylor expansion of y in x
0.177 * [taylor]: Taking taylor expansion of (- (* 1.5 x) (* 0.5 y)) in x
0.177 * [taylor]: Taking taylor expansion of (* 1.5 x) in x
0.177 * [taylor]: Taking taylor expansion of 1.5 in x
0.177 * [taylor]: Taking taylor expansion of x in x
0.177 * [taylor]: Taking taylor expansion of (* 0.5 y) in x
0.177 * [taylor]: Taking taylor expansion of 0.5 in x
0.177 * [taylor]: Taking taylor expansion of y in x
0.177 * [taylor]: Taking taylor expansion of (neg (* 0.5 y)) in y
0.177 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
0.177 * [taylor]: Taking taylor expansion of 0.5 in y
0.177 * [taylor]: Taking taylor expansion of y in y
0.177 * [taylor]: Taking taylor expansion of 1.5 in y
0.177 * [taylor]: Taking taylor expansion of 0 in y
0.177 * [taylor]: Taking taylor expansion of 0 in y
0.178 * [approximate]: Taking taylor expansion of (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) in (x y) around 0
0.178 * [taylor]: Taking taylor expansion of (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) in y
0.178 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in y
0.178 * [taylor]: Taking taylor expansion of 1.5 in y
0.178 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.178 * [taylor]: Taking taylor expansion of x in y
0.178 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
0.178 * [taylor]: Taking taylor expansion of 0.5 in y
0.178 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.178 * [taylor]: Taking taylor expansion of y in y
0.178 * [taylor]: Taking taylor expansion of (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) in x
0.178 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x
0.178 * [taylor]: Taking taylor expansion of 1.5 in x
0.178 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.178 * [taylor]: Taking taylor expansion of x in x
0.178 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x
0.178 * [taylor]: Taking taylor expansion of 0.5 in x
0.178 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.178 * [taylor]: Taking taylor expansion of y in x
0.178 * [taylor]: Taking taylor expansion of (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) in x
0.178 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x
0.178 * [taylor]: Taking taylor expansion of 1.5 in x
0.178 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.178 * [taylor]: Taking taylor expansion of x in x
0.178 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x
0.178 * [taylor]: Taking taylor expansion of 0.5 in x
0.178 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.178 * [taylor]: Taking taylor expansion of y in x
0.178 * [taylor]: Taking taylor expansion of 1.5 in y
0.178 * [taylor]: Taking taylor expansion of (neg (* 0.5 (/ 1 y))) in y
0.178 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
0.178 * [taylor]: Taking taylor expansion of 0.5 in y
0.179 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.179 * [taylor]: Taking taylor expansion of y in y
0.179 * [taylor]: Taking taylor expansion of 0 in y
0.179 * [taylor]: Taking taylor expansion of 0 in y
0.180 * [taylor]: Taking taylor expansion of 0 in y
0.180 * [approximate]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in (x y) around 0
0.180 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in y
0.180 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
0.180 * [taylor]: Taking taylor expansion of 0.5 in y
0.180 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.180 * [taylor]: Taking taylor expansion of y in y
0.180 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in y
0.180 * [taylor]: Taking taylor expansion of 1.5 in y
0.180 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.180 * [taylor]: Taking taylor expansion of x in y
0.180 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in x
0.180 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x
0.180 * [taylor]: Taking taylor expansion of 0.5 in x
0.180 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.180 * [taylor]: Taking taylor expansion of y in x
0.180 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x
0.180 * [taylor]: Taking taylor expansion of 1.5 in x
0.180 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.180 * [taylor]: Taking taylor expansion of x in x
0.180 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in x
0.180 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x
0.180 * [taylor]: Taking taylor expansion of 0.5 in x
0.180 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.180 * [taylor]: Taking taylor expansion of y in x
0.180 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x
0.180 * [taylor]: Taking taylor expansion of 1.5 in x
0.180 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.180 * [taylor]: Taking taylor expansion of x in x
0.180 * [taylor]: Taking taylor expansion of (neg 1.5) in y
0.180 * [taylor]: Taking taylor expansion of 1.5 in y
0.180 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
0.180 * [taylor]: Taking taylor expansion of 0.5 in y
0.180 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.181 * [taylor]: Taking taylor expansion of y in y
0.181 * [taylor]: Taking taylor expansion of 0 in y
0.181 * [taylor]: Taking taylor expansion of 0 in y
0.181 * [taylor]: Taking taylor expansion of 0 in y
0.181 * * * [progress]: simplifying candidates
0.182 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (exp (* x 1.5)) (exp (* y 0.5)))
  (log (- (* x 1.5) (* y 0.5)))
  (exp (- (* x 1.5) (* y 0.5)))
  (* (cbrt (- (* x 1.5) (* y 0.5))) (cbrt (- (* x 1.5) (* y 0.5))))
  (cbrt (- (* x 1.5) (* y 0.5)))
  (* (* (- (* x 1.5) (* y 0.5)) (- (* x 1.5) (* y 0.5))) (- (* x 1.5) (* y 0.5)))
  (sqrt (- (* x 1.5) (* y 0.5)))
  (sqrt (- (* x 1.5) (* y 0.5)))
  (- (pow (* x 1.5) 3) (pow (* y 0.5) 3))
  (+ (* (* x 1.5) (* x 1.5)) (+ (* (* y 0.5) (* y 0.5)) (* (* x 1.5) (* y 0.5))))
  (neg (* y 0.5))
  (- (* (* x 1.5) (* x 1.5)) (* (* y 0.5) (* y 0.5)))
  (+ (* x 1.5) (* y 0.5))
  (- (* 1.5 x) (* 0.5 y))
  (- (* 1.5 x) (* 0.5 y))
  (- (* 1.5 x) (* 0.5 y))
0.225 * * [simplify]: iteration  0 :  5477  enodes  (cost  151 )
0.227 * [simplify]: Simplified to:
   (exp (- (* x 1.5) (* y 0.5)))
  (log (- (* x 1.5) (* y 0.5)))
  (exp (- (* x 1.5) (* y 0.5)))
  (* (cbrt (- (* x 1.5) (* y 0.5))) (cbrt (- (* x 1.5) (* y 0.5))))
  (cbrt (- (* x 1.5) (* y 0.5)))
  (pow (- (* x 1.5) (* y 0.5)) 3)
  (sqrt (- (* x 1.5) (* y 0.5)))
  (sqrt (- (* x 1.5) (* y 0.5)))
  (- (pow (* x 1.5) 3) (pow (* y 0.5) 3))
  (+ (* x (* x (* 1.5 1.5))) (* y (* 0.5 (+ (* x 1.5) (* y 0.5)))))
  (* y (neg 0.5))
  (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5))))
  (+ (* x 1.5) (* y 0.5))
  (- (* x 1.5) (* y 0.5))
  (- (* x 1.5) (* y 0.5))
  (- (* x 1.5) (* y 0.5))
0.227 * * * [progress]: adding candidates to table
0.245 * * [progress]: iteration 3 / 4
0.245 * * * [progress]: picking best candidate
0.253 * * * * [pick]: Picked  #<alt (λ (x y) (/ (+ (* x x) (* (- x y) (/ (/ (- y x) 2.0) 2.0))) (+ x (/ (- y x) 2.0))))>
0.253 * * * [progress]: localizing error
0.264 * * * [progress]: generating rewritten candidates
0.264 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
0.278 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
0.283 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
0.291 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
0.323 * * * [progress]: generating series expansions
0.323 * * * * [progress]: [ 1 / 4 ] generating series at (2)
0.324 * [approximate]: Taking taylor expansion of (/ (- (+ (* 0.75 (pow x 2)) (* 0.5 (* x y))) (* 0.25 (pow y 2))) (+ (* 0.5 x) (* 0.5 y))) in (x y) around 0
0.324 * [taylor]: Taking taylor expansion of (/ (- (+ (* 0.75 (pow x 2)) (* 0.5 (* x y))) (* 0.25 (pow y 2))) (+ (* 0.5 x) (* 0.5 y))) in y
0.324 * [taylor]: Taking taylor expansion of (- (+ (* 0.75 (pow x 2)) (* 0.5 (* x y))) (* 0.25 (pow y 2))) in y
0.324 * [taylor]: Taking taylor expansion of (+ (* 0.75 (pow x 2)) (* 0.5 (* x y))) in y
0.324 * [taylor]: Taking taylor expansion of (* 0.75 (pow x 2)) in y
0.324 * [taylor]: Taking taylor expansion of 0.75 in y
0.324 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.324 * [taylor]: Taking taylor expansion of x in y
0.324 * [taylor]: Taking taylor expansion of (* 0.5 (* x y)) in y
0.324 * [taylor]: Taking taylor expansion of 0.5 in y
0.324 * [taylor]: Taking taylor expansion of (* x y) in y
0.324 * [taylor]: Taking taylor expansion of x in y
0.324 * [taylor]: Taking taylor expansion of y in y
0.324 * [taylor]: Taking taylor expansion of (* 0.25 (pow y 2)) in y
0.324 * [taylor]: Taking taylor expansion of 0.25 in y
0.324 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.324 * [taylor]: Taking taylor expansion of y in y
0.324 * [taylor]: Taking taylor expansion of (+ (* 0.5 x) (* 0.5 y)) in y
0.324 * [taylor]: Taking taylor expansion of (* 0.5 x) in y
0.324 * [taylor]: Taking taylor expansion of 0.5 in y
0.324 * [taylor]: Taking taylor expansion of x in y
0.324 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
0.324 * [taylor]: Taking taylor expansion of 0.5 in y
0.324 * [taylor]: Taking taylor expansion of y in y
0.324 * [taylor]: Taking taylor expansion of (/ (- (+ (* 0.75 (pow x 2)) (* 0.5 (* x y))) (* 0.25 (pow y 2))) (+ (* 0.5 x) (* 0.5 y))) in x
0.324 * [taylor]: Taking taylor expansion of (- (+ (* 0.75 (pow x 2)) (* 0.5 (* x y))) (* 0.25 (pow y 2))) in x
0.324 * [taylor]: Taking taylor expansion of (+ (* 0.75 (pow x 2)) (* 0.5 (* x y))) in x
0.324 * [taylor]: Taking taylor expansion of (* 0.75 (pow x 2)) in x
0.324 * [taylor]: Taking taylor expansion of 0.75 in x
0.325 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.325 * [taylor]: Taking taylor expansion of x in x
0.325 * [taylor]: Taking taylor expansion of (* 0.5 (* x y)) in x
0.325 * [taylor]: Taking taylor expansion of 0.5 in x
0.325 * [taylor]: Taking taylor expansion of (* x y) in x
0.325 * [taylor]: Taking taylor expansion of x in x
0.325 * [taylor]: Taking taylor expansion of y in x
0.325 * [taylor]: Taking taylor expansion of (* 0.25 (pow y 2)) in x
0.325 * [taylor]: Taking taylor expansion of 0.25 in x
0.325 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.325 * [taylor]: Taking taylor expansion of y in x
0.325 * [taylor]: Taking taylor expansion of (+ (* 0.5 x) (* 0.5 y)) in x
0.325 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
0.325 * [taylor]: Taking taylor expansion of 0.5 in x
0.325 * [taylor]: Taking taylor expansion of x in x
0.325 * [taylor]: Taking taylor expansion of (* 0.5 y) in x
0.325 * [taylor]: Taking taylor expansion of 0.5 in x
0.325 * [taylor]: Taking taylor expansion of y in x
0.325 * [taylor]: Taking taylor expansion of (/ (- (+ (* 0.75 (pow x 2)) (* 0.5 (* x y))) (* 0.25 (pow y 2))) (+ (* 0.5 x) (* 0.5 y))) in x
0.325 * [taylor]: Taking taylor expansion of (- (+ (* 0.75 (pow x 2)) (* 0.5 (* x y))) (* 0.25 (pow y 2))) in x
0.325 * [taylor]: Taking taylor expansion of (+ (* 0.75 (pow x 2)) (* 0.5 (* x y))) in x
0.325 * [taylor]: Taking taylor expansion of (* 0.75 (pow x 2)) in x
0.325 * [taylor]: Taking taylor expansion of 0.75 in x
0.326 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.326 * [taylor]: Taking taylor expansion of x in x
0.326 * [taylor]: Taking taylor expansion of (* 0.5 (* x y)) in x
0.326 * [taylor]: Taking taylor expansion of 0.5 in x
0.326 * [taylor]: Taking taylor expansion of (* x y) in x
0.326 * [taylor]: Taking taylor expansion of x in x
0.326 * [taylor]: Taking taylor expansion of y in x
0.326 * [taylor]: Taking taylor expansion of (* 0.25 (pow y 2)) in x
0.326 * [taylor]: Taking taylor expansion of 0.25 in x
0.326 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.326 * [taylor]: Taking taylor expansion of y in x
0.326 * [taylor]: Taking taylor expansion of (+ (* 0.5 x) (* 0.5 y)) in x
0.326 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
0.326 * [taylor]: Taking taylor expansion of 0.5 in x
0.326 * [taylor]: Taking taylor expansion of x in x
0.326 * [taylor]: Taking taylor expansion of (* 0.5 y) in x
0.326 * [taylor]: Taking taylor expansion of 0.5 in x
0.326 * [taylor]: Taking taylor expansion of y in x
0.326 * [taylor]: Taking taylor expansion of (* -0.5 y) in y
0.326 * [taylor]: Taking taylor expansion of -0.5 in y
0.326 * [taylor]: Taking taylor expansion of y in y
0.327 * [taylor]: Taking taylor expansion of 1.5 in y
0.327 * [taylor]: Taking taylor expansion of 0 in y
0.328 * [taylor]: Taking taylor expansion of 0 in y
0.328 * [approximate]: Taking taylor expansion of (/ (- (+ (* 0.75 (/ 1 (pow x 2))) (* 0.5 (/ 1 (* x y)))) (* 0.25 (/ 1 (pow y 2)))) (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))) in (x y) around 0
0.328 * [taylor]: Taking taylor expansion of (/ (- (+ (* 0.75 (/ 1 (pow x 2))) (* 0.5 (/ 1 (* x y)))) (* 0.25 (/ 1 (pow y 2)))) (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))) in y
0.328 * [taylor]: Taking taylor expansion of (- (+ (* 0.75 (/ 1 (pow x 2))) (* 0.5 (/ 1 (* x y)))) (* 0.25 (/ 1 (pow y 2)))) in y
0.328 * [taylor]: Taking taylor expansion of (+ (* 0.75 (/ 1 (pow x 2))) (* 0.5 (/ 1 (* x y)))) in y
0.328 * [taylor]: Taking taylor expansion of (* 0.75 (/ 1 (pow x 2))) in y
0.328 * [taylor]: Taking taylor expansion of 0.75 in y
0.328 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.328 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.328 * [taylor]: Taking taylor expansion of x in y
0.328 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* x y))) in y
0.328 * [taylor]: Taking taylor expansion of 0.5 in y
0.328 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.328 * [taylor]: Taking taylor expansion of (* x y) in y
0.328 * [taylor]: Taking taylor expansion of x in y
0.328 * [taylor]: Taking taylor expansion of y in y
0.328 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow y 2))) in y
0.328 * [taylor]: Taking taylor expansion of 0.25 in y
0.328 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.328 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.328 * [taylor]: Taking taylor expansion of y in y
0.328 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) in y
0.328 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
0.329 * [taylor]: Taking taylor expansion of 0.5 in y
0.329 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.329 * [taylor]: Taking taylor expansion of y in y
0.329 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in y
0.329 * [taylor]: Taking taylor expansion of 0.5 in y
0.329 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.329 * [taylor]: Taking taylor expansion of x in y
0.329 * [taylor]: Taking taylor expansion of (/ (- (+ (* 0.75 (/ 1 (pow x 2))) (* 0.5 (/ 1 (* x y)))) (* 0.25 (/ 1 (pow y 2)))) (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))) in x
0.329 * [taylor]: Taking taylor expansion of (- (+ (* 0.75 (/ 1 (pow x 2))) (* 0.5 (/ 1 (* x y)))) (* 0.25 (/ 1 (pow y 2)))) in x
0.329 * [taylor]: Taking taylor expansion of (+ (* 0.75 (/ 1 (pow x 2))) (* 0.5 (/ 1 (* x y)))) in x
0.329 * [taylor]: Taking taylor expansion of (* 0.75 (/ 1 (pow x 2))) in x
0.329 * [taylor]: Taking taylor expansion of 0.75 in x
0.329 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.329 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.329 * [taylor]: Taking taylor expansion of x in x
0.329 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* x y))) in x
0.329 * [taylor]: Taking taylor expansion of 0.5 in x
0.329 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.329 * [taylor]: Taking taylor expansion of (* x y) in x
0.329 * [taylor]: Taking taylor expansion of x in x
0.329 * [taylor]: Taking taylor expansion of y in x
0.329 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow y 2))) in x
0.329 * [taylor]: Taking taylor expansion of 0.25 in x
0.329 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
0.329 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.329 * [taylor]: Taking taylor expansion of y in x
0.329 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) in x
0.329 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x
0.329 * [taylor]: Taking taylor expansion of 0.5 in x
0.329 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.329 * [taylor]: Taking taylor expansion of y in x
0.329 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
0.329 * [taylor]: Taking taylor expansion of 0.5 in x
0.329 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.329 * [taylor]: Taking taylor expansion of x in x
0.329 * [taylor]: Taking taylor expansion of (/ (- (+ (* 0.75 (/ 1 (pow x 2))) (* 0.5 (/ 1 (* x y)))) (* 0.25 (/ 1 (pow y 2)))) (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))) in x
0.329 * [taylor]: Taking taylor expansion of (- (+ (* 0.75 (/ 1 (pow x 2))) (* 0.5 (/ 1 (* x y)))) (* 0.25 (/ 1 (pow y 2)))) in x
0.329 * [taylor]: Taking taylor expansion of (+ (* 0.75 (/ 1 (pow x 2))) (* 0.5 (/ 1 (* x y)))) in x
0.329 * [taylor]: Taking taylor expansion of (* 0.75 (/ 1 (pow x 2))) in x
0.329 * [taylor]: Taking taylor expansion of 0.75 in x
0.329 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.330 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.330 * [taylor]: Taking taylor expansion of x in x
0.330 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* x y))) in x
0.330 * [taylor]: Taking taylor expansion of 0.5 in x
0.330 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.330 * [taylor]: Taking taylor expansion of (* x y) in x
0.330 * [taylor]: Taking taylor expansion of x in x
0.330 * [taylor]: Taking taylor expansion of y in x
0.330 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow y 2))) in x
0.330 * [taylor]: Taking taylor expansion of 0.25 in x
0.330 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
0.330 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.330 * [taylor]: Taking taylor expansion of y in x
0.330 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) in x
0.330 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x
0.330 * [taylor]: Taking taylor expansion of 0.5 in x
0.330 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.330 * [taylor]: Taking taylor expansion of y in x
0.330 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
0.330 * [taylor]: Taking taylor expansion of 0.5 in x
0.330 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.330 * [taylor]: Taking taylor expansion of x in x
0.330 * [taylor]: Taking taylor expansion of 1.5 in y
0.330 * [taylor]: Taking taylor expansion of (neg (* 0.5 (/ 1 y))) in y
0.330 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
0.330 * [taylor]: Taking taylor expansion of 0.5 in y
0.330 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.331 * [taylor]: Taking taylor expansion of y in y
0.331 * [taylor]: Taking taylor expansion of 0 in y
0.332 * [taylor]: Taking taylor expansion of 0 in y
0.333 * [taylor]: Taking taylor expansion of 0 in y
0.334 * [approximate]: Taking taylor expansion of (* -1 (/ (- (+ (* 0.75 (/ 1 (pow x 2))) (* 0.5 (/ 1 (* x y)))) (* 0.25 (/ 1 (pow y 2)))) (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))))) in (x y) around 0
0.334 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (* 0.75 (/ 1 (pow x 2))) (* 0.5 (/ 1 (* x y)))) (* 0.25 (/ 1 (pow y 2)))) (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))))) in y
0.334 * [taylor]: Taking taylor expansion of -1 in y
0.334 * [taylor]: Taking taylor expansion of (/ (- (+ (* 0.75 (/ 1 (pow x 2))) (* 0.5 (/ 1 (* x y)))) (* 0.25 (/ 1 (pow y 2)))) (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))) in y
0.334 * [taylor]: Taking taylor expansion of (- (+ (* 0.75 (/ 1 (pow x 2))) (* 0.5 (/ 1 (* x y)))) (* 0.25 (/ 1 (pow y 2)))) in y
0.334 * [taylor]: Taking taylor expansion of (+ (* 0.75 (/ 1 (pow x 2))) (* 0.5 (/ 1 (* x y)))) in y
0.334 * [taylor]: Taking taylor expansion of (* 0.75 (/ 1 (pow x 2))) in y
0.334 * [taylor]: Taking taylor expansion of 0.75 in y
0.334 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.334 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.334 * [taylor]: Taking taylor expansion of x in y
0.334 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* x y))) in y
0.334 * [taylor]: Taking taylor expansion of 0.5 in y
0.334 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.334 * [taylor]: Taking taylor expansion of (* x y) in y
0.334 * [taylor]: Taking taylor expansion of x in y
0.334 * [taylor]: Taking taylor expansion of y in y
0.334 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow y 2))) in y
0.334 * [taylor]: Taking taylor expansion of 0.25 in y
0.334 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.334 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.334 * [taylor]: Taking taylor expansion of y in y
0.334 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) in y
0.334 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
0.334 * [taylor]: Taking taylor expansion of 0.5 in y
0.334 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.334 * [taylor]: Taking taylor expansion of y in y
0.334 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in y
0.334 * [taylor]: Taking taylor expansion of 0.5 in y
0.334 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.334 * [taylor]: Taking taylor expansion of x in y
0.335 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (* 0.75 (/ 1 (pow x 2))) (* 0.5 (/ 1 (* x y)))) (* 0.25 (/ 1 (pow y 2)))) (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))))) in x
0.335 * [taylor]: Taking taylor expansion of -1 in x
0.335 * [taylor]: Taking taylor expansion of (/ (- (+ (* 0.75 (/ 1 (pow x 2))) (* 0.5 (/ 1 (* x y)))) (* 0.25 (/ 1 (pow y 2)))) (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))) in x
0.335 * [taylor]: Taking taylor expansion of (- (+ (* 0.75 (/ 1 (pow x 2))) (* 0.5 (/ 1 (* x y)))) (* 0.25 (/ 1 (pow y 2)))) in x
0.335 * [taylor]: Taking taylor expansion of (+ (* 0.75 (/ 1 (pow x 2))) (* 0.5 (/ 1 (* x y)))) in x
0.335 * [taylor]: Taking taylor expansion of (* 0.75 (/ 1 (pow x 2))) in x
0.335 * [taylor]: Taking taylor expansion of 0.75 in x
0.335 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.335 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.335 * [taylor]: Taking taylor expansion of x in x
0.335 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* x y))) in x
0.335 * [taylor]: Taking taylor expansion of 0.5 in x
0.335 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.335 * [taylor]: Taking taylor expansion of (* x y) in x
0.335 * [taylor]: Taking taylor expansion of x in x
0.335 * [taylor]: Taking taylor expansion of y in x
0.335 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow y 2))) in x
0.335 * [taylor]: Taking taylor expansion of 0.25 in x
0.335 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
0.335 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.335 * [taylor]: Taking taylor expansion of y in x
0.335 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) in x
0.335 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x
0.335 * [taylor]: Taking taylor expansion of 0.5 in x
0.335 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.335 * [taylor]: Taking taylor expansion of y in x
0.335 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
0.335 * [taylor]: Taking taylor expansion of 0.5 in x
0.335 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.335 * [taylor]: Taking taylor expansion of x in x
0.335 * [taylor]: Taking taylor expansion of (* -1 (/ (- (+ (* 0.75 (/ 1 (pow x 2))) (* 0.5 (/ 1 (* x y)))) (* 0.25 (/ 1 (pow y 2)))) (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))))) in x
0.335 * [taylor]: Taking taylor expansion of -1 in x
0.335 * [taylor]: Taking taylor expansion of (/ (- (+ (* 0.75 (/ 1 (pow x 2))) (* 0.5 (/ 1 (* x y)))) (* 0.25 (/ 1 (pow y 2)))) (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))) in x
0.335 * [taylor]: Taking taylor expansion of (- (+ (* 0.75 (/ 1 (pow x 2))) (* 0.5 (/ 1 (* x y)))) (* 0.25 (/ 1 (pow y 2)))) in x
0.335 * [taylor]: Taking taylor expansion of (+ (* 0.75 (/ 1 (pow x 2))) (* 0.5 (/ 1 (* x y)))) in x
0.335 * [taylor]: Taking taylor expansion of (* 0.75 (/ 1 (pow x 2))) in x
0.335 * [taylor]: Taking taylor expansion of 0.75 in x
0.335 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.335 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.335 * [taylor]: Taking taylor expansion of x in x
0.335 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* x y))) in x
0.335 * [taylor]: Taking taylor expansion of 0.5 in x
0.335 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.335 * [taylor]: Taking taylor expansion of (* x y) in x
0.336 * [taylor]: Taking taylor expansion of x in x
0.336 * [taylor]: Taking taylor expansion of y in x
0.336 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow y 2))) in x
0.336 * [taylor]: Taking taylor expansion of 0.25 in x
0.336 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
0.336 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.336 * [taylor]: Taking taylor expansion of y in x
0.336 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) in x
0.336 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x
0.336 * [taylor]: Taking taylor expansion of 0.5 in x
0.336 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.336 * [taylor]: Taking taylor expansion of y in x
0.336 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
0.336 * [taylor]: Taking taylor expansion of 0.5 in x
0.336 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.336 * [taylor]: Taking taylor expansion of x in x
0.336 * [taylor]: Taking taylor expansion of -1.5 in y
0.337 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
0.337 * [taylor]: Taking taylor expansion of 0.5 in y
0.337 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.337 * [taylor]: Taking taylor expansion of y in y
0.338 * [taylor]: Taking taylor expansion of 0 in y
0.338 * [taylor]: Taking taylor expansion of 0 in y
0.340 * [taylor]: Taking taylor expansion of 0 in y
0.340 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
0.340 * [approximate]: Taking taylor expansion of (- (+ (* 0.75 (pow x 2)) (* 0.5 (* x y))) (* 0.25 (pow y 2))) in (x y) around 0
0.340 * [taylor]: Taking taylor expansion of (- (+ (* 0.75 (pow x 2)) (* 0.5 (* x y))) (* 0.25 (pow y 2))) in y
0.340 * [taylor]: Taking taylor expansion of (+ (* 0.75 (pow x 2)) (* 0.5 (* x y))) in y
0.340 * [taylor]: Taking taylor expansion of (* 0.75 (pow x 2)) in y
0.340 * [taylor]: Taking taylor expansion of 0.75 in y
0.340 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.340 * [taylor]: Taking taylor expansion of x in y
0.340 * [taylor]: Taking taylor expansion of (* 0.5 (* x y)) in y
0.340 * [taylor]: Taking taylor expansion of 0.5 in y
0.340 * [taylor]: Taking taylor expansion of (* x y) in y
0.340 * [taylor]: Taking taylor expansion of x in y
0.340 * [taylor]: Taking taylor expansion of y in y
0.340 * [taylor]: Taking taylor expansion of (* 0.25 (pow y 2)) in y
0.340 * [taylor]: Taking taylor expansion of 0.25 in y
0.340 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.340 * [taylor]: Taking taylor expansion of y in y
0.340 * [taylor]: Taking taylor expansion of (- (+ (* 0.75 (pow x 2)) (* 0.5 (* x y))) (* 0.25 (pow y 2))) in x
0.340 * [taylor]: Taking taylor expansion of (+ (* 0.75 (pow x 2)) (* 0.5 (* x y))) in x
0.340 * [taylor]: Taking taylor expansion of (* 0.75 (pow x 2)) in x
0.340 * [taylor]: Taking taylor expansion of 0.75 in x
0.340 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.340 * [taylor]: Taking taylor expansion of x in x
0.340 * [taylor]: Taking taylor expansion of (* 0.5 (* x y)) in x
0.340 * [taylor]: Taking taylor expansion of 0.5 in x
0.340 * [taylor]: Taking taylor expansion of (* x y) in x
0.340 * [taylor]: Taking taylor expansion of x in x
0.340 * [taylor]: Taking taylor expansion of y in x
0.340 * [taylor]: Taking taylor expansion of (* 0.25 (pow y 2)) in x
0.340 * [taylor]: Taking taylor expansion of 0.25 in x
0.340 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.340 * [taylor]: Taking taylor expansion of y in x
0.340 * [taylor]: Taking taylor expansion of (- (+ (* 0.75 (pow x 2)) (* 0.5 (* x y))) (* 0.25 (pow y 2))) in x
0.340 * [taylor]: Taking taylor expansion of (+ (* 0.75 (pow x 2)) (* 0.5 (* x y))) in x
0.340 * [taylor]: Taking taylor expansion of (* 0.75 (pow x 2)) in x
0.341 * [taylor]: Taking taylor expansion of 0.75 in x
0.341 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.341 * [taylor]: Taking taylor expansion of x in x
0.341 * [taylor]: Taking taylor expansion of (* 0.5 (* x y)) in x
0.341 * [taylor]: Taking taylor expansion of 0.5 in x
0.341 * [taylor]: Taking taylor expansion of (* x y) in x
0.341 * [taylor]: Taking taylor expansion of x in x
0.341 * [taylor]: Taking taylor expansion of y in x
0.341 * [taylor]: Taking taylor expansion of (* 0.25 (pow y 2)) in x
0.341 * [taylor]: Taking taylor expansion of 0.25 in x
0.341 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.341 * [taylor]: Taking taylor expansion of y in x
0.341 * [taylor]: Taking taylor expansion of (neg (* 0.25 (pow y 2))) in y
0.341 * [taylor]: Taking taylor expansion of (* 0.25 (pow y 2)) in y
0.341 * [taylor]: Taking taylor expansion of 0.25 in y
0.341 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.341 * [taylor]: Taking taylor expansion of y in y
0.341 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
0.341 * [taylor]: Taking taylor expansion of 0.5 in y
0.341 * [taylor]: Taking taylor expansion of y in y
0.342 * [taylor]: Taking taylor expansion of 0.75 in y
0.342 * [approximate]: Taking taylor expansion of (- (+ (* 0.75 (/ 1 (pow x 2))) (* 0.5 (/ 1 (* x y)))) (* 0.25 (/ 1 (pow y 2)))) in (x y) around 0
0.342 * [taylor]: Taking taylor expansion of (- (+ (* 0.75 (/ 1 (pow x 2))) (* 0.5 (/ 1 (* x y)))) (* 0.25 (/ 1 (pow y 2)))) in y
0.342 * [taylor]: Taking taylor expansion of (+ (* 0.75 (/ 1 (pow x 2))) (* 0.5 (/ 1 (* x y)))) in y
0.342 * [taylor]: Taking taylor expansion of (* 0.75 (/ 1 (pow x 2))) in y
0.342 * [taylor]: Taking taylor expansion of 0.75 in y
0.342 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.342 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.342 * [taylor]: Taking taylor expansion of x in y
0.342 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* x y))) in y
0.342 * [taylor]: Taking taylor expansion of 0.5 in y
0.342 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.342 * [taylor]: Taking taylor expansion of (* x y) in y
0.342 * [taylor]: Taking taylor expansion of x in y
0.342 * [taylor]: Taking taylor expansion of y in y
0.342 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow y 2))) in y
0.342 * [taylor]: Taking taylor expansion of 0.25 in y
0.342 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.343 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.343 * [taylor]: Taking taylor expansion of y in y
0.343 * [taylor]: Taking taylor expansion of (- (+ (* 0.75 (/ 1 (pow x 2))) (* 0.5 (/ 1 (* x y)))) (* 0.25 (/ 1 (pow y 2)))) in x
0.343 * [taylor]: Taking taylor expansion of (+ (* 0.75 (/ 1 (pow x 2))) (* 0.5 (/ 1 (* x y)))) in x
0.343 * [taylor]: Taking taylor expansion of (* 0.75 (/ 1 (pow x 2))) in x
0.343 * [taylor]: Taking taylor expansion of 0.75 in x
0.343 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.343 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.343 * [taylor]: Taking taylor expansion of x in x
0.343 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* x y))) in x
0.343 * [taylor]: Taking taylor expansion of 0.5 in x
0.343 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.343 * [taylor]: Taking taylor expansion of (* x y) in x
0.343 * [taylor]: Taking taylor expansion of x in x
0.343 * [taylor]: Taking taylor expansion of y in x
0.343 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow y 2))) in x
0.343 * [taylor]: Taking taylor expansion of 0.25 in x
0.343 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
0.343 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.343 * [taylor]: Taking taylor expansion of y in x
0.343 * [taylor]: Taking taylor expansion of (- (+ (* 0.75 (/ 1 (pow x 2))) (* 0.5 (/ 1 (* x y)))) (* 0.25 (/ 1 (pow y 2)))) in x
0.343 * [taylor]: Taking taylor expansion of (+ (* 0.75 (/ 1 (pow x 2))) (* 0.5 (/ 1 (* x y)))) in x
0.343 * [taylor]: Taking taylor expansion of (* 0.75 (/ 1 (pow x 2))) in x
0.343 * [taylor]: Taking taylor expansion of 0.75 in x
0.343 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.343 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.343 * [taylor]: Taking taylor expansion of x in x
0.343 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* x y))) in x
0.343 * [taylor]: Taking taylor expansion of 0.5 in x
0.343 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.343 * [taylor]: Taking taylor expansion of (* x y) in x
0.343 * [taylor]: Taking taylor expansion of x in x
0.343 * [taylor]: Taking taylor expansion of y in x
0.343 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow y 2))) in x
0.343 * [taylor]: Taking taylor expansion of 0.25 in x
0.343 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
0.343 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.343 * [taylor]: Taking taylor expansion of y in x
0.343 * [taylor]: Taking taylor expansion of 0.75 in y
0.344 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
0.344 * [taylor]: Taking taylor expansion of 0.5 in y
0.344 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.344 * [taylor]: Taking taylor expansion of y in y
0.344 * [taylor]: Taking taylor expansion of (neg (* 0.25 (/ 1 (pow y 2)))) in y
0.344 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow y 2))) in y
0.344 * [taylor]: Taking taylor expansion of 0.25 in y
0.344 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.344 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.344 * [taylor]: Taking taylor expansion of y in y
0.345 * [approximate]: Taking taylor expansion of (- (+ (* 0.75 (/ 1 (pow x 2))) (* 0.5 (/ 1 (* x y)))) (* 0.25 (/ 1 (pow y 2)))) in (x y) around 0
0.345 * [taylor]: Taking taylor expansion of (- (+ (* 0.75 (/ 1 (pow x 2))) (* 0.5 (/ 1 (* x y)))) (* 0.25 (/ 1 (pow y 2)))) in y
0.345 * [taylor]: Taking taylor expansion of (+ (* 0.75 (/ 1 (pow x 2))) (* 0.5 (/ 1 (* x y)))) in y
0.345 * [taylor]: Taking taylor expansion of (* 0.75 (/ 1 (pow x 2))) in y
0.345 * [taylor]: Taking taylor expansion of 0.75 in y
0.345 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.345 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.345 * [taylor]: Taking taylor expansion of x in y
0.345 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* x y))) in y
0.345 * [taylor]: Taking taylor expansion of 0.5 in y
0.345 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.345 * [taylor]: Taking taylor expansion of (* x y) in y
0.345 * [taylor]: Taking taylor expansion of x in y
0.345 * [taylor]: Taking taylor expansion of y in y
0.345 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow y 2))) in y
0.345 * [taylor]: Taking taylor expansion of 0.25 in y
0.345 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.345 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.345 * [taylor]: Taking taylor expansion of y in y
0.345 * [taylor]: Taking taylor expansion of (- (+ (* 0.75 (/ 1 (pow x 2))) (* 0.5 (/ 1 (* x y)))) (* 0.25 (/ 1 (pow y 2)))) in x
0.345 * [taylor]: Taking taylor expansion of (+ (* 0.75 (/ 1 (pow x 2))) (* 0.5 (/ 1 (* x y)))) in x
0.345 * [taylor]: Taking taylor expansion of (* 0.75 (/ 1 (pow x 2))) in x
0.345 * [taylor]: Taking taylor expansion of 0.75 in x
0.345 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.345 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.345 * [taylor]: Taking taylor expansion of x in x
0.345 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* x y))) in x
0.346 * [taylor]: Taking taylor expansion of 0.5 in x
0.346 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.346 * [taylor]: Taking taylor expansion of (* x y) in x
0.346 * [taylor]: Taking taylor expansion of x in x
0.346 * [taylor]: Taking taylor expansion of y in x
0.346 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow y 2))) in x
0.346 * [taylor]: Taking taylor expansion of 0.25 in x
0.346 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
0.346 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.346 * [taylor]: Taking taylor expansion of y in x
0.346 * [taylor]: Taking taylor expansion of (- (+ (* 0.75 (/ 1 (pow x 2))) (* 0.5 (/ 1 (* x y)))) (* 0.25 (/ 1 (pow y 2)))) in x
0.346 * [taylor]: Taking taylor expansion of (+ (* 0.75 (/ 1 (pow x 2))) (* 0.5 (/ 1 (* x y)))) in x
0.346 * [taylor]: Taking taylor expansion of (* 0.75 (/ 1 (pow x 2))) in x
0.346 * [taylor]: Taking taylor expansion of 0.75 in x
0.346 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.346 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.346 * [taylor]: Taking taylor expansion of x in x
0.346 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* x y))) in x
0.346 * [taylor]: Taking taylor expansion of 0.5 in x
0.346 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.346 * [taylor]: Taking taylor expansion of (* x y) in x
0.346 * [taylor]: Taking taylor expansion of x in x
0.346 * [taylor]: Taking taylor expansion of y in x
0.346 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow y 2))) in x
0.346 * [taylor]: Taking taylor expansion of 0.25 in x
0.346 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
0.346 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.346 * [taylor]: Taking taylor expansion of y in x
0.346 * [taylor]: Taking taylor expansion of 0.75 in y
0.346 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
0.346 * [taylor]: Taking taylor expansion of 0.5 in y
0.347 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.347 * [taylor]: Taking taylor expansion of y in y
0.347 * [taylor]: Taking taylor expansion of (neg (* 0.25 (/ 1 (pow y 2)))) in y
0.347 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow y 2))) in y
0.347 * [taylor]: Taking taylor expansion of 0.25 in y
0.347 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.347 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.347 * [taylor]: Taking taylor expansion of y in y
0.347 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
0.348 * [approximate]: Taking taylor expansion of (+ (* 0.5 x) (* 0.5 y)) in (x y) around 0
0.348 * [taylor]: Taking taylor expansion of (+ (* 0.5 x) (* 0.5 y)) in y
0.348 * [taylor]: Taking taylor expansion of (* 0.5 x) in y
0.348 * [taylor]: Taking taylor expansion of 0.5 in y
0.348 * [taylor]: Taking taylor expansion of x in y
0.348 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
0.348 * [taylor]: Taking taylor expansion of 0.5 in y
0.348 * [taylor]: Taking taylor expansion of y in y
0.348 * [taylor]: Taking taylor expansion of (+ (* 0.5 x) (* 0.5 y)) in x
0.348 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
0.348 * [taylor]: Taking taylor expansion of 0.5 in x
0.348 * [taylor]: Taking taylor expansion of x in x
0.348 * [taylor]: Taking taylor expansion of (* 0.5 y) in x
0.348 * [taylor]: Taking taylor expansion of 0.5 in x
0.348 * [taylor]: Taking taylor expansion of y in x
0.348 * [taylor]: Taking taylor expansion of (+ (* 0.5 x) (* 0.5 y)) in x
0.348 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
0.348 * [taylor]: Taking taylor expansion of 0.5 in x
0.348 * [taylor]: Taking taylor expansion of x in x
0.348 * [taylor]: Taking taylor expansion of (* 0.5 y) in x
0.348 * [taylor]: Taking taylor expansion of 0.5 in x
0.348 * [taylor]: Taking taylor expansion of y in x
0.348 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
0.348 * [taylor]: Taking taylor expansion of 0.5 in y
0.348 * [taylor]: Taking taylor expansion of y in y
0.348 * [taylor]: Taking taylor expansion of 0.5 in y
0.348 * [taylor]: Taking taylor expansion of 0 in y
0.348 * [taylor]: Taking taylor expansion of 0 in y
0.349 * [approximate]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) in (x y) around 0
0.349 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) in y
0.349 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
0.349 * [taylor]: Taking taylor expansion of 0.5 in y
0.349 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.349 * [taylor]: Taking taylor expansion of y in y
0.349 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in y
0.349 * [taylor]: Taking taylor expansion of 0.5 in y
0.349 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.349 * [taylor]: Taking taylor expansion of x in y
0.349 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) in x
0.349 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x
0.349 * [taylor]: Taking taylor expansion of 0.5 in x
0.349 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.349 * [taylor]: Taking taylor expansion of y in x
0.349 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
0.349 * [taylor]: Taking taylor expansion of 0.5 in x
0.349 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.349 * [taylor]: Taking taylor expansion of x in x
0.349 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) in x
0.349 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x
0.349 * [taylor]: Taking taylor expansion of 0.5 in x
0.349 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.349 * [taylor]: Taking taylor expansion of y in x
0.349 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
0.349 * [taylor]: Taking taylor expansion of 0.5 in x
0.349 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.349 * [taylor]: Taking taylor expansion of x in x
0.349 * [taylor]: Taking taylor expansion of 0.5 in y
0.349 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
0.349 * [taylor]: Taking taylor expansion of 0.5 in y
0.349 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.349 * [taylor]: Taking taylor expansion of y in y
0.350 * [taylor]: Taking taylor expansion of 0 in y
0.350 * [taylor]: Taking taylor expansion of 0 in y
0.350 * [taylor]: Taking taylor expansion of 0 in y
0.350 * [approximate]: Taking taylor expansion of (neg (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))) in (x y) around 0
0.351 * [taylor]: Taking taylor expansion of (neg (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))) in y
0.351 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) in y
0.351 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
0.351 * [taylor]: Taking taylor expansion of 0.5 in y
0.351 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.351 * [taylor]: Taking taylor expansion of y in y
0.351 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in y
0.351 * [taylor]: Taking taylor expansion of 0.5 in y
0.351 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.351 * [taylor]: Taking taylor expansion of x in y
0.351 * [taylor]: Taking taylor expansion of (neg (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))) in x
0.351 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) in x
0.351 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x
0.351 * [taylor]: Taking taylor expansion of 0.5 in x
0.351 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.351 * [taylor]: Taking taylor expansion of y in x
0.351 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
0.351 * [taylor]: Taking taylor expansion of 0.5 in x
0.351 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.351 * [taylor]: Taking taylor expansion of x in x
0.351 * [taylor]: Taking taylor expansion of (neg (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x)))) in x
0.351 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) in x
0.351 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x
0.351 * [taylor]: Taking taylor expansion of 0.5 in x
0.351 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.351 * [taylor]: Taking taylor expansion of y in x
0.351 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
0.351 * [taylor]: Taking taylor expansion of 0.5 in x
0.351 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.351 * [taylor]: Taking taylor expansion of x in x
0.351 * [taylor]: Taking taylor expansion of (neg 0.5) in y
0.351 * [taylor]: Taking taylor expansion of 0.5 in y
0.351 * [taylor]: Taking taylor expansion of (neg (* 0.5 (/ 1 y))) in y
0.351 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
0.351 * [taylor]: Taking taylor expansion of 0.5 in y
0.351 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.351 * [taylor]: Taking taylor expansion of y in y
0.352 * [taylor]: Taking taylor expansion of 0 in y
0.352 * [taylor]: Taking taylor expansion of 0 in y
0.352 * [taylor]: Taking taylor expansion of 0 in y
0.352 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
0.352 * [approximate]: Taking taylor expansion of (* 0.25 (* (- y x) (- x y))) in (x y) around 0
0.352 * [taylor]: Taking taylor expansion of (* 0.25 (* (- y x) (- x y))) in y
0.353 * [taylor]: Taking taylor expansion of 0.25 in y
0.353 * [taylor]: Taking taylor expansion of (* (- y x) (- x y)) in y
0.353 * [taylor]: Taking taylor expansion of (- y x) in y
0.353 * [taylor]: Taking taylor expansion of y in y
0.353 * [taylor]: Taking taylor expansion of x in y
0.353 * [taylor]: Taking taylor expansion of (- x y) in y
0.353 * [taylor]: Taking taylor expansion of x in y
0.353 * [taylor]: Taking taylor expansion of y in y
0.353 * [taylor]: Taking taylor expansion of (* 0.25 (* (- y x) (- x y))) in x
0.353 * [taylor]: Taking taylor expansion of 0.25 in x
0.353 * [taylor]: Taking taylor expansion of (* (- y x) (- x y)) in x
0.353 * [taylor]: Taking taylor expansion of (- y x) in x
0.353 * [taylor]: Taking taylor expansion of y in x
0.353 * [taylor]: Taking taylor expansion of x in x
0.353 * [taylor]: Taking taylor expansion of (- x y) in x
0.353 * [taylor]: Taking taylor expansion of x in x
0.353 * [taylor]: Taking taylor expansion of y in x
0.353 * [taylor]: Taking taylor expansion of (* 0.25 (* (- y x) (- x y))) in x
0.353 * [taylor]: Taking taylor expansion of 0.25 in x
0.353 * [taylor]: Taking taylor expansion of (* (- y x) (- x y)) in x
0.353 * [taylor]: Taking taylor expansion of (- y x) in x
0.353 * [taylor]: Taking taylor expansion of y in x
0.353 * [taylor]: Taking taylor expansion of x in x
0.353 * [taylor]: Taking taylor expansion of (- x y) in x
0.353 * [taylor]: Taking taylor expansion of x in x
0.353 * [taylor]: Taking taylor expansion of y in x
0.353 * [taylor]: Taking taylor expansion of (* -0.25 (pow y 2)) in y
0.353 * [taylor]: Taking taylor expansion of -0.25 in y
0.353 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.353 * [taylor]: Taking taylor expansion of y in y
0.353 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
0.353 * [taylor]: Taking taylor expansion of 0.5 in y
0.353 * [taylor]: Taking taylor expansion of y in y
0.354 * [taylor]: Taking taylor expansion of (neg 0.25) in y
0.354 * [taylor]: Taking taylor expansion of 0.25 in y
0.354 * [approximate]: Taking taylor expansion of (* 0.25 (* (- (/ 1 x) (/ 1 y)) (- (/ 1 y) (/ 1 x)))) in (x y) around 0
0.354 * [taylor]: Taking taylor expansion of (* 0.25 (* (- (/ 1 x) (/ 1 y)) (- (/ 1 y) (/ 1 x)))) in y
0.354 * [taylor]: Taking taylor expansion of 0.25 in y
0.354 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (- (/ 1 y) (/ 1 x))) in y
0.354 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
0.354 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.354 * [taylor]: Taking taylor expansion of x in y
0.354 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.354 * [taylor]: Taking taylor expansion of y in y
0.354 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
0.354 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.354 * [taylor]: Taking taylor expansion of y in y
0.354 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.354 * [taylor]: Taking taylor expansion of x in y
0.354 * [taylor]: Taking taylor expansion of (* 0.25 (* (- (/ 1 x) (/ 1 y)) (- (/ 1 y) (/ 1 x)))) in x
0.354 * [taylor]: Taking taylor expansion of 0.25 in x
0.354 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (- (/ 1 y) (/ 1 x))) in x
0.354 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.354 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.354 * [taylor]: Taking taylor expansion of x in x
0.354 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.354 * [taylor]: Taking taylor expansion of y in x
0.354 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.354 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.354 * [taylor]: Taking taylor expansion of y in x
0.354 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.354 * [taylor]: Taking taylor expansion of x in x
0.355 * [taylor]: Taking taylor expansion of (* 0.25 (* (- (/ 1 x) (/ 1 y)) (- (/ 1 y) (/ 1 x)))) in x
0.355 * [taylor]: Taking taylor expansion of 0.25 in x
0.355 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (- (/ 1 y) (/ 1 x))) in x
0.355 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.355 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.355 * [taylor]: Taking taylor expansion of x in x
0.355 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.355 * [taylor]: Taking taylor expansion of y in x
0.355 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.355 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.355 * [taylor]: Taking taylor expansion of y in x
0.355 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.355 * [taylor]: Taking taylor expansion of x in x
0.355 * [taylor]: Taking taylor expansion of -0.25 in y
0.355 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
0.355 * [taylor]: Taking taylor expansion of 0.5 in y
0.355 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.355 * [taylor]: Taking taylor expansion of y in y
0.356 * [taylor]: Taking taylor expansion of (neg (* 0.25 (/ 1 (pow y 2)))) in y
0.356 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow y 2))) in y
0.356 * [taylor]: Taking taylor expansion of 0.25 in y
0.356 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.356 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.356 * [taylor]: Taking taylor expansion of y in y
0.356 * [approximate]: Taking taylor expansion of (* 0.25 (* (- (/ 1 x) (/ 1 y)) (- (/ 1 y) (/ 1 x)))) in (x y) around 0
0.356 * [taylor]: Taking taylor expansion of (* 0.25 (* (- (/ 1 x) (/ 1 y)) (- (/ 1 y) (/ 1 x)))) in y
0.356 * [taylor]: Taking taylor expansion of 0.25 in y
0.356 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (- (/ 1 y) (/ 1 x))) in y
0.356 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
0.356 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.356 * [taylor]: Taking taylor expansion of x in y
0.356 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.356 * [taylor]: Taking taylor expansion of y in y
0.356 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
0.357 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.357 * [taylor]: Taking taylor expansion of y in y
0.357 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.357 * [taylor]: Taking taylor expansion of x in y
0.357 * [taylor]: Taking taylor expansion of (* 0.25 (* (- (/ 1 x) (/ 1 y)) (- (/ 1 y) (/ 1 x)))) in x
0.357 * [taylor]: Taking taylor expansion of 0.25 in x
0.357 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (- (/ 1 y) (/ 1 x))) in x
0.357 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.357 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.357 * [taylor]: Taking taylor expansion of x in x
0.357 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.357 * [taylor]: Taking taylor expansion of y in x
0.357 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.357 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.357 * [taylor]: Taking taylor expansion of y in x
0.357 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.357 * [taylor]: Taking taylor expansion of x in x
0.357 * [taylor]: Taking taylor expansion of (* 0.25 (* (- (/ 1 x) (/ 1 y)) (- (/ 1 y) (/ 1 x)))) in x
0.357 * [taylor]: Taking taylor expansion of 0.25 in x
0.357 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (- (/ 1 y) (/ 1 x))) in x
0.357 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.357 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.357 * [taylor]: Taking taylor expansion of x in x
0.357 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.357 * [taylor]: Taking taylor expansion of y in x
0.357 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.357 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.357 * [taylor]: Taking taylor expansion of y in x
0.357 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.357 * [taylor]: Taking taylor expansion of x in x
0.357 * [taylor]: Taking taylor expansion of -0.25 in y
0.357 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
0.358 * [taylor]: Taking taylor expansion of 0.5 in y
0.358 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.358 * [taylor]: Taking taylor expansion of y in y
0.358 * [taylor]: Taking taylor expansion of (neg (* 0.25 (/ 1 (pow y 2)))) in y
0.358 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow y 2))) in y
0.358 * [taylor]: Taking taylor expansion of 0.25 in y
0.358 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.358 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.358 * [taylor]: Taking taylor expansion of y in y
0.358 * * * [progress]: simplifying candidates
0.360 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (log (+ (* x x) (* (- x y) (/ (/ (- y x) 2.0) 2.0)))) (log (+ x (/ (- y x) 2.0))))
  (log (/ (+ (* x x) (* (- x y) (/ (/ (- y x) 2.0) 2.0))) (+ x (/ (- y x) 2.0))))
  (exp (/ (+ (* x x) (* (- x y) (/ (/ (- y x) 2.0) 2.0))) (+ x (/ (- y x) 2.0))))
  (/ (* (* (+ (* x x) (* (- x y) (/ (/ (- y x) 2.0) 2.0))) (+ (* x x) (* (- x y) (/ (/ (- y x) 2.0) 2.0)))) (+ (* x x) (* (- x y) (/ (/ (- y x) 2.0) 2.0)))) (* (* (+ x (/ (- y x) 2.0)) (+ x (/ (- y x) 2.0))) (+ x (/ (- y x) 2.0))))
  (* (cbrt (/ (+ (* x x) (* (- x y) (/ (/ (- y x) 2.0) 2.0))) (+ x (/ (- y x) 2.0)))) (cbrt (/ (+ (* x x) (* (- x y) (/ (/ (- y x) 2.0) 2.0))) (+ x (/ (- y x) 2.0)))))
  (cbrt (/ (+ (* x x) (* (- x y) (/ (/ (- y x) 2.0) 2.0))) (+ x (/ (- y x) 2.0))))
  (* (* (/ (+ (* x x) (* (- x y) (/ (/ (- y x) 2.0) 2.0))) (+ x (/ (- y x) 2.0))) (/ (+ (* x x) (* (- x y) (/ (/ (- y x) 2.0) 2.0))) (+ x (/ (- y x) 2.0)))) (/ (+ (* x x) (* (- x y) (/ (/ (- y x) 2.0) 2.0))) (+ x (/ (- y x) 2.0))))
  (sqrt (/ (+ (* x x) (* (- x y) (/ (/ (- y x) 2.0) 2.0))) (+ x (/ (- y x) 2.0))))
  (sqrt (/ (+ (* x x) (* (- x y) (/ (/ (- y x) 2.0) 2.0))) (+ x (/ (- y x) 2.0))))
  (neg (+ (* x x) (* (- x y) (/ (/ (- y x) 2.0) 2.0))))
  (neg (+ x (/ (- y x) 2.0)))
  (/ (* (cbrt (+ (* x x) (* (- x y) (/ (/ (- y x) 2.0) 2.0)))) (cbrt (+ (* x x) (* (- x y) (/ (/ (- y x) 2.0) 2.0))))) (* (cbrt (+ x (/ (- y x) 2.0))) (cbrt (+ x (/ (- y x) 2.0)))))
  (/ (cbrt (+ (* x x) (* (- x y) (/ (/ (- y x) 2.0) 2.0)))) (cbrt (+ x (/ (- y x) 2.0))))
  (/ (* (cbrt (+ (* x x) (* (- x y) (/ (/ (- y x) 2.0) 2.0)))) (cbrt (+ (* x x) (* (- x y) (/ (/ (- y x) 2.0) 2.0))))) (sqrt (+ x (/ (- y x) 2.0))))
  (/ (cbrt (+ (* x x) (* (- x y) (/ (/ (- y x) 2.0) 2.0)))) (sqrt (+ x (/ (- y x) 2.0))))
  (/ (* (cbrt (+ (* x x) (* (- x y) (/ (/ (- y x) 2.0) 2.0)))) (cbrt (+ (* x x) (* (- x y) (/ (/ (- y x) 2.0) 2.0))))) 1)
  (/ (cbrt (+ (* x x) (* (- x y) (/ (/ (- y x) 2.0) 2.0)))) (+ x (/ (- y x) 2.0)))
  (/ (* (cbrt (+ (* x x) (* (- x y) (/ (/ (- y x) 2.0) 2.0)))) (cbrt (+ (* x x) (* (- x y) (/ (/ (- y x) 2.0) 2.0))))) 1)
  (/ (cbrt (+ (* x x) (* (- x y) (/ (/ (- y x) 2.0) 2.0)))) (+ x (/ (- y x) 2.0)))
  (/ (sqrt (+ (* x x) (* (- x y) (/ (/ (- y x) 2.0) 2.0)))) (* (cbrt (+ x (/ (- y x) 2.0))) (cbrt (+ x (/ (- y x) 2.0)))))
  (/ (sqrt (+ (* x x) (* (- x y) (/ (/ (- y x) 2.0) 2.0)))) (cbrt (+ x (/ (- y x) 2.0))))
  (/ (sqrt (+ (* x x) (* (- x y) (/ (/ (- y x) 2.0) 2.0)))) (sqrt (+ x (/ (- y x) 2.0))))
  (/ (sqrt (+ (* x x) (* (- x y) (/ (/ (- y x) 2.0) 2.0)))) (sqrt (+ x (/ (- y x) 2.0))))
  (/ (sqrt (+ (* x x) (* (- x y) (/ (/ (- y x) 2.0) 2.0)))) 1)
  (/ (sqrt (+ (* x x) (* (- x y) (/ (/ (- y x) 2.0) 2.0)))) (+ x (/ (- y x) 2.0)))
  (/ (sqrt (+ (* x x) (* (- x y) (/ (/ (- y x) 2.0) 2.0)))) 1)
  (/ (sqrt (+ (* x x) (* (- x y) (/ (/ (- y x) 2.0) 2.0)))) (+ x (/ (- y x) 2.0)))
  (/ 1 (* (cbrt (+ x (/ (- y x) 2.0))) (cbrt (+ x (/ (- y x) 2.0)))))
  (/ (+ (* x x) (* (- x y) (/ (/ (- y x) 2.0) 2.0))) (cbrt (+ x (/ (- y x) 2.0))))
  (/ 1 (sqrt (+ x (/ (- y x) 2.0))))
  (/ (+ (* x x) (* (- x y) (/ (/ (- y x) 2.0) 2.0))) (sqrt (+ x (/ (- y x) 2.0))))
  (/ 1 1)
  (/ (+ (* x x) (* (- x y) (/ (/ (- y x) 2.0) 2.0))) (+ x (/ (- y x) 2.0)))
  (/ 1 1)
  (/ (+ (* x x) (* (- x y) (/ (/ (- y x) 2.0) 2.0))) (+ x (/ (- y x) 2.0)))
  (/ 1 (+ x (/ (- y x) 2.0)))
  (/ (+ x (/ (- y x) 2.0)) (+ (* x x) (* (- x y) (/ (/ (- y x) 2.0) 2.0))))
  (/ (+ (* x x) (* (- x y) (/ (/ (- y x) 2.0) 2.0))) (* (cbrt (+ x (/ (- y x) 2.0))) (cbrt (+ x (/ (- y x) 2.0)))))
  (/ (+ (* x x) (* (- x y) (/ (/ (- y x) 2.0) 2.0))) (sqrt (+ x (/ (- y x) 2.0))))
  (/ (+ (* x x) (* (- x y) (/ (/ (- y x) 2.0) 2.0))) 1)
  (/ (+ (* x x) (* (- x y) (/ (/ (- y x) 2.0) 2.0))) 1)
  (/ (+ x (/ (- y x) 2.0)) (cbrt (+ (* x x) (* (- x y) (/ (/ (- y x) 2.0) 2.0)))))
  (/ (+ x (/ (- y x) 2.0)) (sqrt (+ (* x x) (* (- x y) (/ (/ (- y x) 2.0) 2.0)))))
  (/ (+ x (/ (- y x) 2.0)) (+ (* x x) (* (- x y) (/ (/ (- y x) 2.0) 2.0))))
  (/ (+ (* x x) (* (- x y) (/ (/ (- y x) 2.0) 2.0))) (+ (pow x 3) (pow (/ (- y x) 2.0) 3)))
  (/ (+ (* x x) (* (- x y) (/ (/ (- y x) 2.0) 2.0))) (- (* x x) (* (/ (- y x) 2.0) (/ (- y x) 2.0))))
  (* (+ x (/ (- y x) 2.0)) (+ (* (* x x) (* x x)) (- (* (* (- x y) (/ (/ (- y x) 2.0) 2.0)) (* (- x y) (/ (/ (- y x) 2.0) 2.0))) (* (* x x) (* (- x y) (/ (/ (- y x) 2.0) 2.0))))))
  (* (+ x (/ (- y x) 2.0)) (- (* x x) (* (- x y) (/ (/ (- y x) 2.0) 2.0))))
  (* (exp (* x x)) (exp (* (- x y) (/ (/ (- y x) 2.0) 2.0))))
  (log (+ (* x x) (* (- x y) (/ (/ (- y x) 2.0) 2.0))))
  (exp (+ (* x x) (* (- x y) (/ (/ (- y x) 2.0) 2.0))))
  (* (cbrt (+ (* x x) (* (- x y) (/ (/ (- y x) 2.0) 2.0)))) (cbrt (+ (* x x) (* (- x y) (/ (/ (- y x) 2.0) 2.0)))))
  (cbrt (+ (* x x) (* (- x y) (/ (/ (- y x) 2.0) 2.0))))
  (* (* (+ (* x x) (* (- x y) (/ (/ (- y x) 2.0) 2.0))) (+ (* x x) (* (- x y) (/ (/ (- y x) 2.0) 2.0)))) (+ (* x x) (* (- x y) (/ (/ (- y x) 2.0) 2.0))))
  (sqrt (+ (* x x) (* (- x y) (/ (/ (- y x) 2.0) 2.0))))
  (sqrt (+ (* x x) (* (- x y) (/ (/ (- y x) 2.0) 2.0))))
  (+ (pow (* x x) 3) (pow (* (- x y) (/ (/ (- y x) 2.0) 2.0)) 3))
  (+ (* (* x x) (* x x)) (- (* (* (- x y) (/ (/ (- y x) 2.0) 2.0)) (* (- x y) (/ (/ (- y x) 2.0) 2.0))) (* (* x x) (* (- x y) (/ (/ (- y x) 2.0) 2.0)))))
  (- (* (* x x) (* x x)) (* (* (- x y) (/ (/ (- y x) 2.0) 2.0)) (* (- x y) (/ (/ (- y x) 2.0) 2.0))))
  (- (* x x) (* (- x y) (/ (/ (- y x) 2.0) 2.0)))
  (* (exp x) (exp (/ (- y x) 2.0)))
  (log (+ x (/ (- y x) 2.0)))
  (exp (+ x (/ (- y x) 2.0)))
  (* (cbrt (+ x (/ (- y x) 2.0))) (cbrt (+ x (/ (- y x) 2.0))))
  (cbrt (+ x (/ (- y x) 2.0)))
  (* (* (+ x (/ (- y x) 2.0)) (+ x (/ (- y x) 2.0))) (+ x (/ (- y x) 2.0)))
  (sqrt (+ x (/ (- y x) 2.0)))
  (sqrt (+ x (/ (- y x) 2.0)))
  (+ (pow x 3) (pow (/ (- y x) 2.0) 3))
  (+ (* x x) (- (* (/ (- y x) 2.0) (/ (- y x) 2.0)) (* x (/ (- y x) 2.0))))
  (- (* x x) (* (/ (- y x) 2.0) (/ (- y x) 2.0)))
  (- x (/ (- y x) 2.0))
  (+ x (/ (- y x) 2.0))
  (+ x (/ y 2.0))
  (* (- x y) (/ (/ (- y x) 2.0) 2.0))
  (+ (log (- x y)) (- (- (log (- y x)) (log 2.0)) (log 2.0)))
  (+ (log (- x y)) (- (log (/ (- y x) 2.0)) (log 2.0)))
  (+ (log (- x y)) (log (/ (/ (- y x) 2.0) 2.0)))
  (log (* (- x y) (/ (/ (- y x) 2.0) 2.0)))
  (exp (* (- x y) (/ (/ (- y x) 2.0) 2.0)))
  (* (* (* (- x y) (- x y)) (- x y)) (/ (/ (* (* (- y x) (- y x)) (- y x)) (* (* 2.0 2.0) 2.0)) (* (* 2.0 2.0) 2.0)))
  (* (* (* (- x y) (- x y)) (- x y)) (/ (* (* (/ (- y x) 2.0) (/ (- y x) 2.0)) (/ (- y x) 2.0)) (* (* 2.0 2.0) 2.0)))
  (* (* (* (- x y) (- x y)) (- x y)) (* (* (/ (/ (- y x) 2.0) 2.0) (/ (/ (- y x) 2.0) 2.0)) (/ (/ (- y x) 2.0) 2.0)))
  (* (cbrt (* (- x y) (/ (/ (- y x) 2.0) 2.0))) (cbrt (* (- x y) (/ (/ (- y x) 2.0) 2.0))))
  (cbrt (* (- x y) (/ (/ (- y x) 2.0) 2.0)))
  (* (* (* (- x y) (/ (/ (- y x) 2.0) 2.0)) (* (- x y) (/ (/ (- y x) 2.0) 2.0))) (* (- x y) (/ (/ (- y x) 2.0) 2.0)))
  (sqrt (* (- x y) (/ (/ (- y x) 2.0) 2.0)))
  (sqrt (* (- x y) (/ (/ (- y x) 2.0) 2.0)))
  (* (- (pow x 3) (pow y 3)) (/ (- y x) 2.0))
  (* (+ (* x x) (+ (* y y) (* x y))) 2.0)
  (* (- (* x x) (* y y)) (/ (- y x) 2.0))
  (* (+ x y) 2.0)
  (* (sqrt (- x y)) (sqrt (/ (/ (- y x) 2.0) 2.0)))
  (* (sqrt (- x y)) (sqrt (/ (/ (- y x) 2.0) 2.0)))
  (* (sqrt (- x y)) (/ (sqrt (/ (- y x) 2.0)) (sqrt 2.0)))
  (* (sqrt (- x y)) (/ (sqrt (/ (- y x) 2.0)) (sqrt 2.0)))
  (* (sqrt (- x y)) (/ (/ (sqrt (- y x)) (sqrt 2.0)) (sqrt 2.0)))
  (* (sqrt (- x y)) (/ (/ (sqrt (- y x)) (sqrt 2.0)) (sqrt 2.0)))
  (* (- x y) (* (cbrt (/ (/ (- y x) 2.0) 2.0)) (cbrt (/ (/ (- y x) 2.0) 2.0))))
  (* (- x y) (sqrt (/ (/ (- y x) 2.0) 2.0)))
  (* (- x y) (/ (* (cbrt (/ (- y x) 2.0)) (cbrt (/ (- y x) 2.0))) (* (cbrt 2.0) (cbrt 2.0))))
  (* (- x y) (/ (* (cbrt (/ (- y x) 2.0)) (cbrt (/ (- y x) 2.0))) (sqrt 2.0)))
  (* (- x y) (/ (* (cbrt (/ (- y x) 2.0)) (cbrt (/ (- y x) 2.0))) 1))
  (* (- x y) (/ (sqrt (/ (- y x) 2.0)) (* (cbrt 2.0) (cbrt 2.0))))
  (* (- x y) (/ (sqrt (/ (- y x) 2.0)) (sqrt 2.0)))
  (* (- x y) (/ (sqrt (/ (- y x) 2.0)) 1))
  (* (- x y) (/ (/ (* (cbrt (- y x)) (cbrt (- y x))) (* (cbrt 2.0) (cbrt 2.0))) (* (cbrt 2.0) (cbrt 2.0))))
  (* (- x y) (/ (/ (* (cbrt (- y x)) (cbrt (- y x))) (* (cbrt 2.0) (cbrt 2.0))) (sqrt 2.0)))
  (* (- x y) (/ (/ (* (cbrt (- y x)) (cbrt (- y x))) (* (cbrt 2.0) (cbrt 2.0))) 1))
  (* (- x y) (/ (/ (* (cbrt (- y x)) (cbrt (- y x))) (sqrt 2.0)) (* (cbrt 2.0) (cbrt 2.0))))
  (* (- x y) (/ (/ (* (cbrt (- y x)) (cbrt (- y x))) (sqrt 2.0)) (sqrt 2.0)))
  (* (- x y) (/ (/ (* (cbrt (- y x)) (cbrt (- y x))) (sqrt 2.0)) 1))
  (* (- x y) (/ (/ (* (cbrt (- y x)) (cbrt (- y x))) 1) (* (cbrt 2.0) (cbrt 2.0))))
  (* (- x y) (/ (/ (* (cbrt (- y x)) (cbrt (- y x))) 1) (sqrt 2.0)))
  (* (- x y) (/ (/ (* (cbrt (- y x)) (cbrt (- y x))) 1) 1))
  (* (- x y) (/ (/ (sqrt (- y x)) (* (cbrt 2.0) (cbrt 2.0))) (* (cbrt 2.0) (cbrt 2.0))))
  (* (- x y) (/ (/ (sqrt (- y x)) (* (cbrt 2.0) (cbrt 2.0))) (sqrt 2.0)))
  (* (- x y) (/ (/ (sqrt (- y x)) (* (cbrt 2.0) (cbrt 2.0))) 1))
  (* (- x y) (/ (/ (sqrt (- y x)) (sqrt 2.0)) (* (cbrt 2.0) (cbrt 2.0))))
  (* (- x y) (/ (/ (sqrt (- y x)) (sqrt 2.0)) (sqrt 2.0)))
  (* (- x y) (/ (/ (sqrt (- y x)) (sqrt 2.0)) 1))
  (* (- x y) (/ (/ (sqrt (- y x)) 1) (* (cbrt 2.0) (cbrt 2.0))))
  (* (- x y) (/ (/ (sqrt (- y x)) 1) (sqrt 2.0)))
  (* (- x y) (/ (/ (sqrt (- y x)) 1) 1))
  (* (- x y) (/ (/ 1 (* (cbrt 2.0) (cbrt 2.0))) (* (cbrt 2.0) (cbrt 2.0))))
  (* (- x y) (/ (/ 1 (* (cbrt 2.0) (cbrt 2.0))) (sqrt 2.0)))
  (* (- x y) (/ (/ 1 (* (cbrt 2.0) (cbrt 2.0))) 1))
  (* (- x y) (/ (/ 1 (sqrt 2.0)) (* (cbrt 2.0) (cbrt 2.0))))
  (* (- x y) (/ (/ 1 (sqrt 2.0)) (sqrt 2.0)))
  (* (- x y) (/ (/ 1 (sqrt 2.0)) 1))
  (* (- x y) (/ (/ 1 1) (* (cbrt 2.0) (cbrt 2.0))))
  (* (- x y) (/ (/ 1 1) (sqrt 2.0)))
  (* (- x y) (/ (/ 1 1) 1))
  (* (- x y) (/ (/ (+ (sqrt y) (sqrt x)) (* (cbrt 2.0) (cbrt 2.0))) (* (cbrt 2.0) (cbrt 2.0))))
  (* (- x y) (/ (/ (+ (sqrt y) (sqrt x)) (* (cbrt 2.0) (cbrt 2.0))) (sqrt 2.0)))
  (* (- x y) (/ (/ (+ (sqrt y) (sqrt x)) (* (cbrt 2.0) (cbrt 2.0))) 1))
  (* (- x y) (/ (/ (+ (sqrt y) (sqrt x)) (sqrt 2.0)) (* (cbrt 2.0) (cbrt 2.0))))
  (* (- x y) (/ (/ (+ (sqrt y) (sqrt x)) (sqrt 2.0)) (sqrt 2.0)))
  (* (- x y) (/ (/ (+ (sqrt y) (sqrt x)) (sqrt 2.0)) 1))
  (* (- x y) (/ (/ (+ (sqrt y) (sqrt x)) 1) (* (cbrt 2.0) (cbrt 2.0))))
  (* (- x y) (/ (/ (+ (sqrt y) (sqrt x)) 1) (sqrt 2.0)))
  (* (- x y) (/ (/ (+ (sqrt y) (sqrt x)) 1) 1))
  (* (- x y) (/ (/ 1 (* (cbrt 2.0) (cbrt 2.0))) (* (cbrt 2.0) (cbrt 2.0))))
  (* (- x y) (/ (/ 1 (* (cbrt 2.0) (cbrt 2.0))) (sqrt 2.0)))
  (* (- x y) (/ (/ 1 (* (cbrt 2.0) (cbrt 2.0))) 1))
  (* (- x y) (/ (/ 1 (sqrt 2.0)) (* (cbrt 2.0) (cbrt 2.0))))
  (* (- x y) (/ (/ 1 (sqrt 2.0)) (sqrt 2.0)))
  (* (- x y) (/ (/ 1 (sqrt 2.0)) 1))
  (* (- x y) (/ (/ 1 1) (* (cbrt 2.0) (cbrt 2.0))))
  (* (- x y) (/ (/ 1 1) (sqrt 2.0)))
  (* (- x y) (/ (/ 1 1) 1))
  (* (- x y) (/ 1 (* (cbrt 2.0) (cbrt 2.0))))
  (* (- x y) (/ 1 (sqrt 2.0)))
  (* (- x y) (/ 1 1))
  (* (- x y) (/ (- y x) (* (cbrt 2.0) (cbrt 2.0))))
  (* (- x y) (/ (- y x) (sqrt 2.0)))
  (* (- x y) (/ (- y x) 1))
  (* (- x y) 1)
  (* (- x y) (/ (- y x) 2.0))
  (* (cbrt (- x y)) (/ (/ (- y x) 2.0) 2.0))
  (* (sqrt (- x y)) (/ (/ (- y x) 2.0) 2.0))
  (* (- x y) (/ (/ (- y x) 2.0) 2.0))
  (* (- (sqrt x) (sqrt y)) (/ (/ (- y x) 2.0) 2.0))
  (* (- x y) (/ (/ (- y x) 2.0) 2.0))
  (* (- x y) (/ (- y x) 2.0))
  (* (- (pow x 3) (pow y 3)) (/ (/ (- y x) 2.0) 2.0))
  (* (- (* x x) (* y y)) (/ (/ (- y x) 2.0) 2.0))
  (- (* 1.5 x) (* 0.5 y))
  (- (* 1.5 x) (* 0.5 y))
  (- (* 1.5 x) (* 0.5 y))
  (- (+ (* 0.75 (pow x 2)) (* 0.5 (* x y))) (* 0.25 (pow y 2)))
  (- (+ (* 0.75 (pow x 2)) (* 0.5 (* x y))) (* 0.25 (pow y 2)))
  (- (+ (* 0.75 (pow x 2)) (* 0.5 (* x y))) (* 0.25 (pow y 2)))
  (+ (* 0.5 x) (* 0.5 y))
  (+ (* 0.5 x) (* 0.5 y))
  (+ (* 0.5 x) (* 0.5 y))
  (- (* 0.5 (* x y)) (+ (* 0.25 (pow x 2)) (* 0.25 (pow y 2))))
  (- (* 0.5 (* x y)) (+ (* 0.25 (pow x 2)) (* 0.25 (pow y 2))))
  (- (* 0.5 (* x y)) (+ (* 0.25 (pow x 2)) (* 0.25 (pow y 2))))
0.407 * * [simplify]: iteration  0 :  6138  enodes  (cost  2765 )
0.416 * [simplify]: Simplified to:
   (log (/ (+ (* x x) (* (- x y) (/ (- y x) (* 2.0 2.0)))) (+ x (/ (- y x) 2.0))))
  (log (/ (+ (* x x) (* (- x y) (/ (- y x) (* 2.0 2.0)))) (+ x (/ (- y x) 2.0))))
  (exp (/ (+ (* x x) (* (- x y) (/ (- y x) (* 2.0 2.0)))) (+ x (/ (- y x) 2.0))))
  (pow (/ (+ (* x x) (* (- x y) (/ (- y x) (* 2.0 2.0)))) (+ x (/ (- y x) 2.0))) 3)
  (* (cbrt (/ (+ (* x x) (* (- x y) (/ (- y x) (* 2.0 2.0)))) (+ x (/ (- y x) 2.0)))) (cbrt (/ (+ (* x x) (* (- x y) (/ (- y x) (* 2.0 2.0)))) (+ x (/ (- y x) 2.0)))))
  (cbrt (/ (+ (* x x) (* (- x y) (/ (- y x) (* 2.0 2.0)))) (+ x (/ (- y x) 2.0))))
  (pow (/ (+ (* x x) (* (- x y) (/ (- y x) (* 2.0 2.0)))) (+ x (/ (- y x) 2.0))) 3)
  (sqrt (/ (+ (* x x) (* (- x y) (/ (- y x) (* 2.0 2.0)))) (+ x (/ (- y x) 2.0))))
  (sqrt (/ (+ (* x x) (* (- x y) (/ (- y x) (* 2.0 2.0)))) (+ x (/ (- y x) 2.0))))
  (- (* (- x y) (/ (- x y) (* 2.0 2.0))) (* x x))
  (- (/ (- x y) 2.0) x)
  (* (/ (cbrt (+ (* x x) (* (- x y) (/ (- y x) (* 2.0 2.0))))) (cbrt (+ x (/ (- y x) 2.0)))) (/ (cbrt (+ (* x x) (* (- x y) (/ (- y x) (* 2.0 2.0))))) (cbrt (+ x (/ (- y x) 2.0)))))
  (/ (cbrt (+ (* x x) (* (- x y) (/ (- y x) (* 2.0 2.0))))) (cbrt (+ x (/ (- y x) 2.0))))
  (* (/ (cbrt (+ (* x x) (* (- x y) (/ (- y x) (* 2.0 2.0))))) (sqrt (+ x (/ (- y x) 2.0)))) (cbrt (+ (* x x) (* (- x y) (/ (- y x) (* 2.0 2.0))))))
  (/ (cbrt (+ (* x x) (* (- x y) (/ (- y x) (* 2.0 2.0))))) (sqrt (+ x (/ (- y x) 2.0))))
  (* (cbrt (+ (* x x) (* (- x y) (/ (- y x) (* 2.0 2.0))))) (cbrt (+ (* x x) (* (- x y) (/ (- y x) (* 2.0 2.0))))))
  (/ (cbrt (+ (* x x) (* (- x y) (/ (- y x) (* 2.0 2.0))))) (+ x (/ (- y x) 2.0)))
  (* (cbrt (+ (* x x) (* (- x y) (/ (- y x) (* 2.0 2.0))))) (cbrt (+ (* x x) (* (- x y) (/ (- y x) (* 2.0 2.0))))))
  (/ (cbrt (+ (* x x) (* (- x y) (/ (- y x) (* 2.0 2.0))))) (+ x (/ (- y x) 2.0)))
  (/ (sqrt (+ (* x x) (* (- x y) (/ (- y x) (* 2.0 2.0))))) (* (cbrt (+ x (/ (- y x) 2.0))) (cbrt (+ x (/ (- y x) 2.0)))))
  (/ (sqrt (+ (* x x) (* (- x y) (/ (- y x) (* 2.0 2.0))))) (cbrt (+ x (/ (- y x) 2.0))))
  (/ (sqrt (+ (* x x) (* (- x y) (/ (- y x) (* 2.0 2.0))))) (sqrt (+ x (/ (- y x) 2.0))))
  (/ (sqrt (+ (* x x) (* (- x y) (/ (- y x) (* 2.0 2.0))))) (sqrt (+ x (/ (- y x) 2.0))))
  (sqrt (+ (* x x) (* (- x y) (/ (- y x) (* 2.0 2.0)))))
  (/ (sqrt (+ (* x x) (* (- x y) (/ (- y x) (* 2.0 2.0))))) (+ x (/ (- y x) 2.0)))
  (sqrt (+ (* x x) (* (- x y) (/ (- y x) (* 2.0 2.0)))))
  (/ (sqrt (+ (* x x) (* (- x y) (/ (- y x) (* 2.0 2.0))))) (+ x (/ (- y x) 2.0)))
  (/ 1 (* (cbrt (+ x (/ (- y x) 2.0))) (cbrt (+ x (/ (- y x) 2.0)))))
  (/ (+ (* x x) (* (- x y) (/ (- y x) (* 2.0 2.0)))) (cbrt (+ x (/ (- y x) 2.0))))
  (/ 1 (sqrt (+ x (/ (- y x) 2.0))))
  (/ (+ (* x x) (* (- x y) (/ (- y x) (* 2.0 2.0)))) (sqrt (+ x (/ (- y x) 2.0))))
  1
  (/ (+ (* x x) (* (- x y) (/ (- y x) (* 2.0 2.0)))) (+ x (/ (- y x) 2.0)))
  1
  (/ (+ (* x x) (* (- x y) (/ (- y x) (* 2.0 2.0)))) (+ x (/ (- y x) 2.0)))
  (/ 1 (+ x (/ (- y x) 2.0)))
  (/ (+ x (/ (- y x) 2.0)) (+ (* x x) (* (- x y) (/ (- y x) (* 2.0 2.0)))))
  (/ (+ (* x x) (* (- x y) (/ (- y x) (* 2.0 2.0)))) (* (cbrt (+ x (/ (- y x) 2.0))) (cbrt (+ x (/ (- y x) 2.0)))))
  (/ (+ (* x x) (* (- x y) (/ (- y x) (* 2.0 2.0)))) (sqrt (+ x (/ (- y x) 2.0))))
  (+ (* x x) (* (- x y) (/ (- y x) (* 2.0 2.0))))
  (+ (* x x) (* (- x y) (/ (- y x) (* 2.0 2.0))))
  (/ (+ x (/ (- y x) 2.0)) (cbrt (+ (* x x) (* (- x y) (/ (- y x) (* 2.0 2.0))))))
  (/ (+ x (/ (- y x) 2.0)) (sqrt (+ (* x x) (* (- x y) (/ (- y x) (* 2.0 2.0))))))
  (/ (+ x (/ (- y x) 2.0)) (+ (* x x) (* (- x y) (/ (- y x) (* 2.0 2.0)))))
  (/ (+ (* x x) (* (- x y) (/ (- y x) (* 2.0 2.0)))) (+ (pow x 3) (pow (/ (- y x) 2.0) 3)))
  (/ (+ (* x x) (* (- x y) (/ (- y x) (* 2.0 2.0)))) (+ (* x x) (* (- x y) (/ (- y x) (* 2.0 2.0)))))
  (* (+ x (/ (- y x) 2.0)) (+ (pow x 4) (* (/ (- y x) (* 2.0 2.0)) (+ (/ (pow (- y x) 3) (* 2.0 2.0)) (* (* x x) (- y x))))))
  (* (+ x (/ (- y x) 2.0)) (+ (* x x) (* (- x y) (/ (- x y) (* 2.0 2.0)))))
  (pow (exp (+ x (/ (- y x) 2.0))) (+ x (/ (- x y) 2.0)))
  (log (+ (* x x) (* (- x y) (/ (- y x) (* 2.0 2.0)))))
  (pow (exp (+ x (/ (- y x) 2.0))) (+ x (/ (- x y) 2.0)))
  (* (cbrt (+ (* x x) (* (- x y) (/ (- y x) (* 2.0 2.0))))) (cbrt (+ (* x x) (* (- x y) (/ (- y x) (* 2.0 2.0))))))
  (cbrt (+ (* x x) (* (- x y) (/ (- y x) (* 2.0 2.0)))))
  (pow (+ (* x x) (* (- x y) (/ (- y x) (* 2.0 2.0)))) 3)
  (sqrt (+ (* x x) (* (- x y) (/ (- y x) (* 2.0 2.0)))))
  (sqrt (+ (* x x) (* (- x y) (/ (- y x) (* 2.0 2.0)))))
  (+ (pow x 6) (/ (pow (* (- x y) (- y x)) 3) (pow 2.0 6)))
  (+ (pow x 4) (* (/ (- y x) (* 2.0 2.0)) (+ (/ (pow (- y x) 3) (* 2.0 2.0)) (* (* x x) (- y x)))))
  (+ (pow x 4) (* (- y x) (/ (- (/ 0 2.0) (pow (/ (- y x) 2.0) 3)) 2.0)))
  (+ (* x x) (* (- x y) (/ (- x y) (* 2.0 2.0))))
  (exp (+ x (/ (- y x) 2.0)))
  (log (+ x (/ (- y x) 2.0)))
  (exp (+ x (/ (- y x) 2.0)))
  (* (cbrt (+ x (/ (- y x) 2.0))) (cbrt (+ x (/ (- y x) 2.0))))
  (cbrt (+ x (/ (- y x) 2.0)))
  (pow (+ x (/ (- y x) 2.0)) 3)
  (sqrt (+ x (/ (- y x) 2.0)))
  (sqrt (+ x (/ (- y x) 2.0)))
  (+ (pow x 3) (pow (/ (- y x) 2.0) 3))
  (+ (* x x) (* (/ (- y x) 2.0) (- (/ (- y x) 2.0) x)))
  (+ (* x x) (* (- x y) (/ (- y x) (* 2.0 2.0))))
  (+ x (/ (- x y) 2.0))
  (+ x (/ (- y x) 2.0))
  (+ x (/ y 2.0))
  (* (- x y) (/ (- y x) (* 2.0 2.0)))
  (log (* (- x y) (/ (- y x) (* 2.0 2.0))))
  (log (* (- x y) (/ (- y x) (* 2.0 2.0))))
  (log (* (- x y) (/ (- y x) (* 2.0 2.0))))
  (log (* (- x y) (/ (- y x) (* 2.0 2.0))))
  (pow (exp (/ (- y x) 2.0)) (/ (- x y) 2.0))
  (/ (pow (* (- x y) (- y x)) 3) (pow 2.0 6))
  (/ (pow (* (- x y) (- y x)) 3) (pow 2.0 6))
  (/ (pow (* (- x y) (- y x)) 3) (pow 2.0 6))
  (* (cbrt (* (- x y) (/ (- y x) (* 2.0 2.0)))) (cbrt (* (- x y) (/ (- y x) (* 2.0 2.0)))))
  (cbrt (* (- x y) (/ (- y x) (* 2.0 2.0))))
  (/ (pow (* (- x y) (- y x)) 3) (pow 2.0 6))
  (sqrt (* (- x y) (/ (- y x) (* 2.0 2.0))))
  (sqrt (* (- x y) (/ (- y x) (* 2.0 2.0))))
  (* (/ (- y x) 2.0) (- (pow x 3) (pow y 3)))
  (* 2.0 (+ (* x x) (* y (+ x y))))
  (* (/ (- y x) 2.0) (- (* x x) (* y y)))
  (* 2.0 (+ x y))
  (* (sqrt (- x y)) (sqrt (/ (- y x) (* 2.0 2.0))))
  (* (sqrt (- x y)) (sqrt (/ (- y x) (* 2.0 2.0))))
  (* (sqrt (- x y)) (/ (sqrt (/ (- y x) 2.0)) (sqrt 2.0)))
  (* (sqrt (- x y)) (/ (sqrt (/ (- y x) 2.0)) (sqrt 2.0)))
  (* (sqrt (- x y)) (/ (sqrt (- y x)) 2.0))
  (* (sqrt (- x y)) (/ (sqrt (- y x)) 2.0))
  (* (- x y) (* (cbrt (/ (- y x) (* 2.0 2.0))) (cbrt (/ (- y x) (* 2.0 2.0)))))
  (* (- x y) (sqrt (/ (- y x) (* 2.0 2.0))))
  (* (- x y) (* (/ (cbrt (/ (- y x) 2.0)) (cbrt 2.0)) (/ (cbrt (/ (- y x) 2.0)) (cbrt 2.0))))
  (* (- x y) (* (/ (cbrt (/ (- y x) 2.0)) (sqrt 2.0)) (cbrt (/ (- y x) 2.0))))
  (* (- x y) (* (cbrt (/ (- y x) 2.0)) (cbrt (/ (- y x) 2.0))))
  (* (- x y) (/ (sqrt (/ (- y x) 2.0)) (* (cbrt 2.0) (cbrt 2.0))))
  (* (- x y) (/ (sqrt (/ (- y x) 2.0)) (sqrt 2.0)))
  (* (- x y) (sqrt (/ (- y x) 2.0)))
  (* (- x y) (* (/ (cbrt (- y x)) (* 2.0 (cbrt 2.0))) (cbrt (- y x))))
  (* (- x y) (* (/ (cbrt (- y x)) (* (cbrt 2.0) (cbrt 2.0))) (/ (cbrt (- y x)) (sqrt 2.0))))
  (* (- x y) (* (cbrt (- y x)) (/ (cbrt (- y x)) (* (cbrt 2.0) (cbrt 2.0)))))
  (* (- x y) (* (/ (cbrt (- y x)) (* (cbrt 2.0) (cbrt 2.0))) (/ (cbrt (- y x)) (sqrt 2.0))))
  (* (- x y) (* (/ (cbrt (- y x)) 2.0) (cbrt (- y x))))
  (* (- x y) (* (cbrt (- y x)) (/ (cbrt (- y x)) (sqrt 2.0))))
  (* (- x y) (* (cbrt (- y x)) (/ (cbrt (- y x)) (* (cbrt 2.0) (cbrt 2.0)))))
  (* (- x y) (* (cbrt (- y x)) (/ (cbrt (- y x)) (sqrt 2.0))))
  (* (- x y) (* (cbrt (- y x)) (cbrt (- y x))))
  (* (- x y) (/ (sqrt (- y x)) (* 2.0 (cbrt 2.0))))
  (* (- x y) (/ (sqrt (- y x)) (* (sqrt 2.0) (* (cbrt 2.0) (cbrt 2.0)))))
  (* (- x y) (/ (sqrt (- y x)) (* (cbrt 2.0) (cbrt 2.0))))
  (* (- x y) (/ (sqrt (- y x)) (* (sqrt 2.0) (* (cbrt 2.0) (cbrt 2.0)))))
  (* (- x y) (/ (sqrt (- y x)) 2.0))
  (* (- x y) (/ (sqrt (- y x)) (sqrt 2.0)))
  (* (- x y) (/ (sqrt (- y x)) (* (cbrt 2.0) (cbrt 2.0))))
  (* (- x y) (/ (sqrt (- y x)) (sqrt 2.0)))
  (* (- x y) (sqrt (- y x)))
  (/ (- x y) (* 2.0 (cbrt 2.0)))
  (/ (- x y) (* (sqrt 2.0) (* (cbrt 2.0) (cbrt 2.0))))
  (/ (- x y) (* (cbrt 2.0) (cbrt 2.0)))
  (/ (- x y) (* (sqrt 2.0) (* (cbrt 2.0) (cbrt 2.0))))
  (/ (- x y) 2.0)
  (/ (- x y) (sqrt 2.0))
  (/ (- x y) (* (cbrt 2.0) (cbrt 2.0)))
  (/ (- x y) (sqrt 2.0))
  (- x y)
  (* (- x y) (/ (+ (sqrt y) (sqrt x)) (* 2.0 (cbrt 2.0))))
  (* (- x y) (/ (+ (sqrt y) (sqrt x)) (* (sqrt 2.0) (* (cbrt 2.0) (cbrt 2.0)))))
  (* (- x y) (/ (+ (sqrt y) (sqrt x)) (* (cbrt 2.0) (cbrt 2.0))))
  (* (- x y) (/ (+ (sqrt y) (sqrt x)) (* (sqrt 2.0) (* (cbrt 2.0) (cbrt 2.0)))))
  (* (- x y) (/ (+ (sqrt y) (sqrt x)) 2.0))
  (* (- x y) (/ (+ (sqrt y) (sqrt x)) (sqrt 2.0)))
  (* (- x y) (/ (+ (sqrt y) (sqrt x)) (* (cbrt 2.0) (cbrt 2.0))))
  (* (- x y) (/ (+ (sqrt y) (sqrt x)) (sqrt 2.0)))
  (* (- x y) (+ (sqrt y) (sqrt x)))
  (/ (- x y) (* 2.0 (cbrt 2.0)))
  (/ (- x y) (* (sqrt 2.0) (* (cbrt 2.0) (cbrt 2.0))))
  (/ (- x y) (* (cbrt 2.0) (cbrt 2.0)))
  (/ (- x y) (* (sqrt 2.0) (* (cbrt 2.0) (cbrt 2.0))))
  (/ (- x y) 2.0)
  (/ (- x y) (sqrt 2.0))
  (/ (- x y) (* (cbrt 2.0) (cbrt 2.0)))
  (/ (- x y) (sqrt 2.0))
  (- x y)
  (/ (- x y) (* (cbrt 2.0) (cbrt 2.0)))
  (/ (- x y) (sqrt 2.0))
  (- x y)
  (* (- x y) (/ (- y x) (* (cbrt 2.0) (cbrt 2.0))))
  (* (- x y) (/ (- y x) (sqrt 2.0)))
  (* (- x y) (- y x))
  (- x y)
  (* (- x y) (/ (- y x) 2.0))
  (* (/ (- y x) (* 2.0 2.0)) (cbrt (- x y)))
  (* (/ (- y x) (* 2.0 2.0)) (sqrt (- x y)))
  (* (- x y) (/ (- y x) (* 2.0 2.0)))
  (* (/ (- y x) (* 2.0 2.0)) (- (sqrt x) (sqrt y)))
  (* (- x y) (/ (- y x) (* 2.0 2.0)))
  (* (- x y) (/ (- y x) 2.0))
  (* (/ (- y x) (* 2.0 2.0)) (- (pow x 3) (pow y 3)))
  (* (/ (- y x) (* 2.0 2.0)) (- (* x x) (* y y)))
  (- (* x 1.5) (* y 0.5))
  (- (* x 1.5) (* y 0.5))
  (- (* x 1.5) (* y 0.5))
  (+ (* x (* x 0.75)) (* y (- (* x 0.5) (* y 0.25))))
  (+ (* x (* x 0.75)) (* y (- (* x 0.5) (* y 0.25))))
  (+ (* x (* x 0.75)) (* y (- (* x 0.5) (* y 0.25))))
  (* (+ x y) 0.5)
  (* (+ x y) 0.5)
  (* (+ x y) 0.5)
  (- (* x (* y 0.5)) (* 0.25 (+ (* x x) (* y y))))
  (- (* x (* y 0.5)) (* 0.25 (+ (* x x) (* y y))))
  (- (* x (* y 0.5)) (* 0.25 (+ (* x x) (* y y))))
0.417 * * * [progress]: adding candidates to table
0.629 * * [progress]: iteration 4 / 4
0.630 * * * [progress]: picking best candidate
0.635 * * * * [pick]: Picked  #<alt (λ (x y) (/ (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5)))) (+ (* x 1.5) (* y 0.5))))>
0.635 * * * [progress]: localizing error
0.648 * * * [progress]: generating rewritten candidates
0.648 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
0.659 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
0.669 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
0.676 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
0.681 * * * [progress]: generating series expansions
0.681 * * * * [progress]: [ 1 / 4 ] generating series at (2)
0.682 * [approximate]: Taking taylor expansion of (/ (- (* 2.25 (pow x 2)) (* 0.25 (pow y 2))) (+ (* 1.5 x) (* 0.5 y))) in (x y) around 0
0.682 * [taylor]: Taking taylor expansion of (/ (- (* 2.25 (pow x 2)) (* 0.25 (pow y 2))) (+ (* 1.5 x) (* 0.5 y))) in y
0.682 * [taylor]: Taking taylor expansion of (- (* 2.25 (pow x 2)) (* 0.25 (pow y 2))) in y
0.682 * [taylor]: Taking taylor expansion of (* 2.25 (pow x 2)) in y
0.682 * [taylor]: Taking taylor expansion of 2.25 in y
0.682 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.682 * [taylor]: Taking taylor expansion of x in y
0.682 * [taylor]: Taking taylor expansion of (* 0.25 (pow y 2)) in y
0.682 * [taylor]: Taking taylor expansion of 0.25 in y
0.682 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.682 * [taylor]: Taking taylor expansion of y in y
0.682 * [taylor]: Taking taylor expansion of (+ (* 1.5 x) (* 0.5 y)) in y
0.682 * [taylor]: Taking taylor expansion of (* 1.5 x) in y
0.682 * [taylor]: Taking taylor expansion of 1.5 in y
0.682 * [taylor]: Taking taylor expansion of x in y
0.682 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
0.682 * [taylor]: Taking taylor expansion of 0.5 in y
0.682 * [taylor]: Taking taylor expansion of y in y
0.682 * [taylor]: Taking taylor expansion of (/ (- (* 2.25 (pow x 2)) (* 0.25 (pow y 2))) (+ (* 1.5 x) (* 0.5 y))) in x
0.682 * [taylor]: Taking taylor expansion of (- (* 2.25 (pow x 2)) (* 0.25 (pow y 2))) in x
0.682 * [taylor]: Taking taylor expansion of (* 2.25 (pow x 2)) in x
0.682 * [taylor]: Taking taylor expansion of 2.25 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 (* 0.25 (pow y 2)) in x
0.682 * [taylor]: Taking taylor expansion of 0.25 in x
0.682 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.682 * [taylor]: Taking taylor expansion of y in x
0.682 * [taylor]: Taking taylor expansion of (+ (* 1.5 x) (* 0.5 y)) in x
0.682 * [taylor]: Taking taylor expansion of (* 1.5 x) in x
0.682 * [taylor]: Taking taylor expansion of 1.5 in x
0.682 * [taylor]: Taking taylor expansion of x in x
0.682 * [taylor]: Taking taylor expansion of (* 0.5 y) in x
0.682 * [taylor]: Taking taylor expansion of 0.5 in x
0.682 * [taylor]: Taking taylor expansion of y in x
0.683 * [taylor]: Taking taylor expansion of (/ (- (* 2.25 (pow x 2)) (* 0.25 (pow y 2))) (+ (* 1.5 x) (* 0.5 y))) in x
0.683 * [taylor]: Taking taylor expansion of (- (* 2.25 (pow x 2)) (* 0.25 (pow y 2))) in x
0.683 * [taylor]: Taking taylor expansion of (* 2.25 (pow x 2)) in x
0.683 * [taylor]: Taking taylor expansion of 2.25 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.683 * [taylor]: Taking taylor expansion of (* 0.25 (pow y 2)) in x
0.683 * [taylor]: Taking taylor expansion of 0.25 in x
0.683 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.683 * [taylor]: Taking taylor expansion of y in x
0.683 * [taylor]: Taking taylor expansion of (+ (* 1.5 x) (* 0.5 y)) in x
0.683 * [taylor]: Taking taylor expansion of (* 1.5 x) in x
0.683 * [taylor]: Taking taylor expansion of 1.5 in x
0.683 * [taylor]: Taking taylor expansion of x in x
0.683 * [taylor]: Taking taylor expansion of (* 0.5 y) in x
0.683 * [taylor]: Taking taylor expansion of 0.5 in x
0.683 * [taylor]: Taking taylor expansion of y in x
0.684 * [taylor]: Taking taylor expansion of (* -0.5 y) in y
0.684 * [taylor]: Taking taylor expansion of -0.5 in y
0.684 * [taylor]: Taking taylor expansion of y in y
0.684 * [taylor]: Taking taylor expansion of 1.5 in y
0.684 * [taylor]: Taking taylor expansion of 0 in y
0.685 * [taylor]: Taking taylor expansion of 0 in y
0.685 * [approximate]: Taking taylor expansion of (/ (- (* 2.25 (/ 1 (pow x 2))) (* 0.25 (/ 1 (pow y 2)))) (+ (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x)))) in (x y) around 0
0.685 * [taylor]: Taking taylor expansion of (/ (- (* 2.25 (/ 1 (pow x 2))) (* 0.25 (/ 1 (pow y 2)))) (+ (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x)))) in y
0.685 * [taylor]: Taking taylor expansion of (- (* 2.25 (/ 1 (pow x 2))) (* 0.25 (/ 1 (pow y 2)))) in y
0.685 * [taylor]: Taking taylor expansion of (* 2.25 (/ 1 (pow x 2))) in y
0.685 * [taylor]: Taking taylor expansion of 2.25 in y
0.685 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.685 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.685 * [taylor]: Taking taylor expansion of x in y
0.685 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow y 2))) in y
0.685 * [taylor]: Taking taylor expansion of 0.25 in y
0.685 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) 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.685 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in y
0.685 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
0.685 * [taylor]: Taking taylor expansion of 0.5 in y
0.685 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.685 * [taylor]: Taking taylor expansion of y in y
0.685 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in y
0.685 * [taylor]: Taking taylor expansion of 1.5 in y
0.685 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.685 * [taylor]: Taking taylor expansion of x in y
0.685 * [taylor]: Taking taylor expansion of (/ (- (* 2.25 (/ 1 (pow x 2))) (* 0.25 (/ 1 (pow y 2)))) (+ (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x)))) in x
0.685 * [taylor]: Taking taylor expansion of (- (* 2.25 (/ 1 (pow x 2))) (* 0.25 (/ 1 (pow y 2)))) in x
0.685 * [taylor]: Taking taylor expansion of (* 2.25 (/ 1 (pow x 2))) in x
0.685 * [taylor]: Taking taylor expansion of 2.25 in x
0.686 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.686 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.686 * [taylor]: Taking taylor expansion of x in x
0.686 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow y 2))) in x
0.686 * [taylor]: Taking taylor expansion of 0.25 in x
0.686 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
0.686 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.686 * [taylor]: Taking taylor expansion of y in x
0.686 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in x
0.686 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x
0.686 * [taylor]: Taking taylor expansion of 0.5 in x
0.686 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.686 * [taylor]: Taking taylor expansion of y in x
0.686 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x
0.686 * [taylor]: Taking taylor expansion of 1.5 in x
0.686 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.686 * [taylor]: Taking taylor expansion of x in x
0.686 * [taylor]: Taking taylor expansion of (/ (- (* 2.25 (/ 1 (pow x 2))) (* 0.25 (/ 1 (pow y 2)))) (+ (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x)))) in x
0.686 * [taylor]: Taking taylor expansion of (- (* 2.25 (/ 1 (pow x 2))) (* 0.25 (/ 1 (pow y 2)))) in x
0.686 * [taylor]: Taking taylor expansion of (* 2.25 (/ 1 (pow x 2))) in x
0.686 * [taylor]: Taking taylor expansion of 2.25 in x
0.686 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.686 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.686 * [taylor]: Taking taylor expansion of x in x
0.686 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow y 2))) in x
0.686 * [taylor]: Taking taylor expansion of 0.25 in x
0.686 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
0.686 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.686 * [taylor]: Taking taylor expansion of y in x
0.686 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in x
0.686 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x
0.686 * [taylor]: Taking taylor expansion of 0.5 in x
0.686 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.686 * [taylor]: Taking taylor expansion of y in x
0.686 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x
0.686 * [taylor]: Taking taylor expansion of 1.5 in x
0.686 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.686 * [taylor]: Taking taylor expansion of x in x
0.686 * [taylor]: Taking taylor expansion of 1.5 in y
0.687 * [taylor]: Taking taylor expansion of (neg (* 0.5 (/ 1 y))) in y
0.687 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
0.687 * [taylor]: Taking taylor expansion of 0.5 in y
0.687 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.687 * [taylor]: Taking taylor expansion of y in y
0.687 * [taylor]: Taking taylor expansion of 0 in y
0.688 * [taylor]: Taking taylor expansion of 0 in y
0.689 * [taylor]: Taking taylor expansion of 0 in y
0.689 * [approximate]: Taking taylor expansion of (* -1 (/ (- (* 2.25 (/ 1 (pow x 2))) (* 0.25 (/ 1 (pow y 2)))) (+ (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))))) in (x y) around 0
0.689 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 2.25 (/ 1 (pow x 2))) (* 0.25 (/ 1 (pow y 2)))) (+ (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))))) in y
0.689 * [taylor]: Taking taylor expansion of -1 in y
0.689 * [taylor]: Taking taylor expansion of (/ (- (* 2.25 (/ 1 (pow x 2))) (* 0.25 (/ 1 (pow y 2)))) (+ (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x)))) in y
0.690 * [taylor]: Taking taylor expansion of (- (* 2.25 (/ 1 (pow x 2))) (* 0.25 (/ 1 (pow y 2)))) in y
0.690 * [taylor]: Taking taylor expansion of (* 2.25 (/ 1 (pow x 2))) in y
0.690 * [taylor]: Taking taylor expansion of 2.25 in y
0.690 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.690 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.690 * [taylor]: Taking taylor expansion of x in y
0.690 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow y 2))) in y
0.690 * [taylor]: Taking taylor expansion of 0.25 in y
0.690 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.690 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.690 * [taylor]: Taking taylor expansion of y in y
0.690 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in y
0.690 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
0.690 * [taylor]: Taking taylor expansion of 0.5 in y
0.690 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.690 * [taylor]: Taking taylor expansion of y in y
0.690 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in y
0.690 * [taylor]: Taking taylor expansion of 1.5 in y
0.690 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.690 * [taylor]: Taking taylor expansion of x in y
0.690 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 2.25 (/ 1 (pow x 2))) (* 0.25 (/ 1 (pow y 2)))) (+ (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))))) in x
0.690 * [taylor]: Taking taylor expansion of -1 in x
0.690 * [taylor]: Taking taylor expansion of (/ (- (* 2.25 (/ 1 (pow x 2))) (* 0.25 (/ 1 (pow y 2)))) (+ (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x)))) in x
0.690 * [taylor]: Taking taylor expansion of (- (* 2.25 (/ 1 (pow x 2))) (* 0.25 (/ 1 (pow y 2)))) in x
0.690 * [taylor]: Taking taylor expansion of (* 2.25 (/ 1 (pow x 2))) in x
0.690 * [taylor]: Taking taylor expansion of 2.25 in x
0.690 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.690 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.690 * [taylor]: Taking taylor expansion of x in x
0.690 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow y 2))) in x
0.690 * [taylor]: Taking taylor expansion of 0.25 in x
0.690 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
0.690 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.690 * [taylor]: Taking taylor expansion of y in x
0.690 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in x
0.690 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x
0.690 * [taylor]: Taking taylor expansion of 0.5 in x
0.690 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.690 * [taylor]: Taking taylor expansion of y in x
0.690 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x
0.690 * [taylor]: Taking taylor expansion of 1.5 in x
0.690 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.690 * [taylor]: Taking taylor expansion of x in x
0.691 * [taylor]: Taking taylor expansion of (* -1 (/ (- (* 2.25 (/ 1 (pow x 2))) (* 0.25 (/ 1 (pow y 2)))) (+ (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))))) in x
0.691 * [taylor]: Taking taylor expansion of -1 in x
0.691 * [taylor]: Taking taylor expansion of (/ (- (* 2.25 (/ 1 (pow x 2))) (* 0.25 (/ 1 (pow y 2)))) (+ (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x)))) in x
0.691 * [taylor]: Taking taylor expansion of (- (* 2.25 (/ 1 (pow x 2))) (* 0.25 (/ 1 (pow y 2)))) in x
0.691 * [taylor]: Taking taylor expansion of (* 2.25 (/ 1 (pow x 2))) in x
0.691 * [taylor]: Taking taylor expansion of 2.25 in x
0.691 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.691 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.691 * [taylor]: Taking taylor expansion of x in x
0.691 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow y 2))) in x
0.691 * [taylor]: Taking taylor expansion of 0.25 in x
0.691 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
0.691 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.691 * [taylor]: Taking taylor expansion of y in x
0.691 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in x
0.691 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x
0.691 * [taylor]: Taking taylor expansion of 0.5 in x
0.691 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.691 * [taylor]: Taking taylor expansion of y in x
0.691 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x
0.691 * [taylor]: Taking taylor expansion of 1.5 in x
0.691 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.691 * [taylor]: Taking taylor expansion of x in x
0.691 * [taylor]: Taking taylor expansion of -1.5 in y
0.691 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
0.691 * [taylor]: Taking taylor expansion of 0.5 in y
0.691 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.691 * [taylor]: Taking taylor expansion of y in y
0.692 * [taylor]: Taking taylor expansion of 0 in y
0.693 * [taylor]: Taking taylor expansion of 0 in y
0.694 * [taylor]: Taking taylor expansion of 0 in y
0.694 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
0.694 * [approximate]: Taking taylor expansion of (- (* 2.25 (pow x 2)) (* 0.25 (pow y 2))) in (x y) around 0
0.694 * [taylor]: Taking taylor expansion of (- (* 2.25 (pow x 2)) (* 0.25 (pow y 2))) in y
0.694 * [taylor]: Taking taylor expansion of (* 2.25 (pow x 2)) in y
0.694 * [taylor]: Taking taylor expansion of 2.25 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 (* 0.25 (pow y 2)) in y
0.695 * [taylor]: Taking taylor expansion of 0.25 in y
0.695 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.695 * [taylor]: Taking taylor expansion of y in y
0.695 * [taylor]: Taking taylor expansion of (- (* 2.25 (pow x 2)) (* 0.25 (pow y 2))) in x
0.695 * [taylor]: Taking taylor expansion of (* 2.25 (pow x 2)) in x
0.695 * [taylor]: Taking taylor expansion of 2.25 in x
0.695 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.695 * [taylor]: Taking taylor expansion of x in x
0.695 * [taylor]: Taking taylor expansion of (* 0.25 (pow y 2)) in x
0.695 * [taylor]: Taking taylor expansion of 0.25 in x
0.695 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.695 * [taylor]: Taking taylor expansion of y in x
0.695 * [taylor]: Taking taylor expansion of (- (* 2.25 (pow x 2)) (* 0.25 (pow y 2))) in x
0.695 * [taylor]: Taking taylor expansion of (* 2.25 (pow x 2)) in x
0.695 * [taylor]: Taking taylor expansion of 2.25 in x
0.695 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.695 * [taylor]: Taking taylor expansion of x in x
0.695 * [taylor]: Taking taylor expansion of (* 0.25 (pow y 2)) in x
0.695 * [taylor]: Taking taylor expansion of 0.25 in x
0.695 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.695 * [taylor]: Taking taylor expansion of y in x
0.695 * [taylor]: Taking taylor expansion of (neg (* 0.25 (pow y 2))) in y
0.695 * [taylor]: Taking taylor expansion of (* 0.25 (pow y 2)) in y
0.695 * [taylor]: Taking taylor expansion of 0.25 in y
0.695 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.695 * [taylor]: Taking taylor expansion of y in y
0.695 * [taylor]: Taking taylor expansion of 0 in y
0.695 * [taylor]: Taking taylor expansion of 2.25 in y
0.696 * [taylor]: Taking taylor expansion of 0 in y
0.696 * [taylor]: Taking taylor expansion of 0 in y
0.696 * [approximate]: Taking taylor expansion of (- (* 2.25 (/ 1 (pow x 2))) (* 0.25 (/ 1 (pow y 2)))) in (x y) around 0
0.696 * [taylor]: Taking taylor expansion of (- (* 2.25 (/ 1 (pow x 2))) (* 0.25 (/ 1 (pow y 2)))) in y
0.696 * [taylor]: Taking taylor expansion of (* 2.25 (/ 1 (pow x 2))) in y
0.696 * [taylor]: Taking taylor expansion of 2.25 in y
0.696 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.696 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.696 * [taylor]: Taking taylor expansion of x in y
0.697 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow y 2))) in y
0.697 * [taylor]: Taking taylor expansion of 0.25 in y
0.697 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.697 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.697 * [taylor]: Taking taylor expansion of y in y
0.697 * [taylor]: Taking taylor expansion of (- (* 2.25 (/ 1 (pow x 2))) (* 0.25 (/ 1 (pow y 2)))) in x
0.697 * [taylor]: Taking taylor expansion of (* 2.25 (/ 1 (pow x 2))) in x
0.697 * [taylor]: Taking taylor expansion of 2.25 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.697 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow y 2))) in x
0.697 * [taylor]: Taking taylor expansion of 0.25 in x
0.697 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
0.697 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.697 * [taylor]: Taking taylor expansion of y in x
0.697 * [taylor]: Taking taylor expansion of (- (* 2.25 (/ 1 (pow x 2))) (* 0.25 (/ 1 (pow y 2)))) in x
0.697 * [taylor]: Taking taylor expansion of (* 2.25 (/ 1 (pow x 2))) in x
0.697 * [taylor]: Taking taylor expansion of 2.25 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.697 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow y 2))) in x
0.697 * [taylor]: Taking taylor expansion of 0.25 in x
0.697 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
0.697 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.697 * [taylor]: Taking taylor expansion of y in x
0.697 * [taylor]: Taking taylor expansion of 2.25 in y
0.697 * [taylor]: Taking taylor expansion of 0 in y
0.698 * [taylor]: Taking taylor expansion of (neg (* 0.25 (/ 1 (pow y 2)))) in y
0.698 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow y 2))) in y
0.698 * [taylor]: Taking taylor expansion of 0.25 in y
0.698 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.698 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.698 * [taylor]: Taking taylor expansion of y in y
0.698 * [taylor]: Taking taylor expansion of 0 in y
0.699 * [taylor]: Taking taylor expansion of 0 in y
0.699 * [approximate]: Taking taylor expansion of (- (* 2.25 (/ 1 (pow x 2))) (* 0.25 (/ 1 (pow y 2)))) in (x y) around 0
0.699 * [taylor]: Taking taylor expansion of (- (* 2.25 (/ 1 (pow x 2))) (* 0.25 (/ 1 (pow y 2)))) in y
0.699 * [taylor]: Taking taylor expansion of (* 2.25 (/ 1 (pow x 2))) in y
0.699 * [taylor]: Taking taylor expansion of 2.25 in y
0.699 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.699 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.699 * [taylor]: Taking taylor expansion of x in y
0.699 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow y 2))) in y
0.699 * [taylor]: Taking taylor expansion of 0.25 in y
0.699 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.699 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.699 * [taylor]: Taking taylor expansion of y in y
0.699 * [taylor]: Taking taylor expansion of (- (* 2.25 (/ 1 (pow x 2))) (* 0.25 (/ 1 (pow y 2)))) in x
0.700 * [taylor]: Taking taylor expansion of (* 2.25 (/ 1 (pow x 2))) in x
0.700 * [taylor]: Taking taylor expansion of 2.25 in x
0.700 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.700 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.700 * [taylor]: Taking taylor expansion of x in x
0.700 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow y 2))) in x
0.700 * [taylor]: Taking taylor expansion of 0.25 in x
0.700 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
0.700 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.700 * [taylor]: Taking taylor expansion of y in x
0.700 * [taylor]: Taking taylor expansion of (- (* 2.25 (/ 1 (pow x 2))) (* 0.25 (/ 1 (pow y 2)))) in x
0.700 * [taylor]: Taking taylor expansion of (* 2.25 (/ 1 (pow x 2))) in x
0.700 * [taylor]: Taking taylor expansion of 2.25 in x
0.700 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.700 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.700 * [taylor]: Taking taylor expansion of x in x
0.700 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow y 2))) in x
0.700 * [taylor]: Taking taylor expansion of 0.25 in x
0.700 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
0.700 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.700 * [taylor]: Taking taylor expansion of y in x
0.700 * [taylor]: Taking taylor expansion of 2.25 in y
0.700 * [taylor]: Taking taylor expansion of 0 in y
0.700 * [taylor]: Taking taylor expansion of (neg (* 0.25 (/ 1 (pow y 2)))) in y
0.701 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow y 2))) in y
0.701 * [taylor]: Taking taylor expansion of 0.25 in y
0.701 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.701 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.701 * [taylor]: Taking taylor expansion of y in y
0.701 * [taylor]: Taking taylor expansion of 0 in y
0.702 * [taylor]: Taking taylor expansion of 0 in y
0.702 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
0.702 * [approximate]: Taking taylor expansion of (* 2.25 (pow x 2)) in (x) around 0
0.702 * [taylor]: Taking taylor expansion of (* 2.25 (pow x 2)) in x
0.702 * [taylor]: Taking taylor expansion of 2.25 in x
0.702 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.702 * [taylor]: Taking taylor expansion of x in x
0.702 * [taylor]: Taking taylor expansion of (* 2.25 (pow x 2)) in x
0.702 * [taylor]: Taking taylor expansion of 2.25 in x
0.702 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.702 * [taylor]: Taking taylor expansion of x in x
0.703 * [approximate]: Taking taylor expansion of (/ 2.25 (pow x 2)) in (x) around 0
0.703 * [taylor]: Taking taylor expansion of (/ 2.25 (pow x 2)) in x
0.703 * [taylor]: Taking taylor expansion of 2.25 in x
0.703 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.703 * [taylor]: Taking taylor expansion of x in x
0.703 * [taylor]: Taking taylor expansion of (/ 2.25 (pow x 2)) in x
0.703 * [taylor]: Taking taylor expansion of 2.25 in x
0.703 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.703 * [taylor]: Taking taylor expansion of x in x
0.704 * [approximate]: Taking taylor expansion of (/ 2.25 (pow x 2)) in (x) around 0
0.704 * [taylor]: Taking taylor expansion of (/ 2.25 (pow x 2)) in x
0.704 * [taylor]: Taking taylor expansion of 2.25 in x
0.704 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.704 * [taylor]: Taking taylor expansion of x in x
0.704 * [taylor]: Taking taylor expansion of (/ 2.25 (pow x 2)) in x
0.704 * [taylor]: Taking taylor expansion of 2.25 in x
0.704 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.704 * [taylor]: Taking taylor expansion of x in x
0.705 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
0.705 * [approximate]: Taking taylor expansion of (+ (* 1.5 x) (* 0.5 y)) in (x y) around 0
0.705 * [taylor]: Taking taylor expansion of (+ (* 1.5 x) (* 0.5 y)) in y
0.705 * [taylor]: Taking taylor expansion of (* 1.5 x) in y
0.705 * [taylor]: Taking taylor expansion of 1.5 in y
0.705 * [taylor]: Taking taylor expansion of x in y
0.705 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
0.705 * [taylor]: Taking taylor expansion of 0.5 in y
0.705 * [taylor]: Taking taylor expansion of y in y
0.705 * [taylor]: Taking taylor expansion of (+ (* 1.5 x) (* 0.5 y)) in x
0.705 * [taylor]: Taking taylor expansion of (* 1.5 x) in x
0.705 * [taylor]: Taking taylor expansion of 1.5 in x
0.705 * [taylor]: Taking taylor expansion of x in x
0.705 * [taylor]: Taking taylor expansion of (* 0.5 y) in x
0.705 * [taylor]: Taking taylor expansion of 0.5 in x
0.705 * [taylor]: Taking taylor expansion of y in x
0.705 * [taylor]: Taking taylor expansion of (+ (* 1.5 x) (* 0.5 y)) in x
0.705 * [taylor]: Taking taylor expansion of (* 1.5 x) in x
0.705 * [taylor]: Taking taylor expansion of 1.5 in x
0.705 * [taylor]: Taking taylor expansion of x in x
0.705 * [taylor]: Taking taylor expansion of (* 0.5 y) in x
0.705 * [taylor]: Taking taylor expansion of 0.5 in x
0.705 * [taylor]: Taking taylor expansion of y in x
0.705 * [taylor]: Taking taylor expansion of (* 0.5 y) in y
0.705 * [taylor]: Taking taylor expansion of 0.5 in y
0.705 * [taylor]: Taking taylor expansion of y in y
0.705 * [taylor]: Taking taylor expansion of 1.5 in y
0.705 * [taylor]: Taking taylor expansion of 0 in y
0.706 * [taylor]: Taking taylor expansion of 0 in y
0.706 * [approximate]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in (x y) around 0
0.706 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in y
0.706 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
0.706 * [taylor]: Taking taylor expansion of 0.5 in y
0.706 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.706 * [taylor]: Taking taylor expansion of y in y
0.706 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in y
0.706 * [taylor]: Taking taylor expansion of 1.5 in y
0.706 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.706 * [taylor]: Taking taylor expansion of x in y
0.706 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in x
0.706 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x
0.706 * [taylor]: Taking taylor expansion of 0.5 in x
0.706 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.706 * [taylor]: Taking taylor expansion of y in x
0.706 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x
0.706 * [taylor]: Taking taylor expansion of 1.5 in x
0.706 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.706 * [taylor]: Taking taylor expansion of x in x
0.706 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in x
0.706 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x
0.706 * [taylor]: Taking taylor expansion of 0.5 in x
0.706 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.706 * [taylor]: Taking taylor expansion of y in x
0.706 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x
0.706 * [taylor]: Taking taylor expansion of 1.5 in x
0.706 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.706 * [taylor]: Taking taylor expansion of x in x
0.706 * [taylor]: Taking taylor expansion of 1.5 in y
0.707 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
0.707 * [taylor]: Taking taylor expansion of 0.5 in y
0.707 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.707 * [taylor]: Taking taylor expansion of y in y
0.707 * [taylor]: Taking taylor expansion of 0 in y
0.707 * [taylor]: Taking taylor expansion of 0 in y
0.707 * [taylor]: Taking taylor expansion of 0 in y
0.708 * [approximate]: Taking taylor expansion of (neg (+ (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x)))) in (x y) around 0
0.708 * [taylor]: Taking taylor expansion of (neg (+ (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x)))) in y
0.708 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in y
0.708 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
0.708 * [taylor]: Taking taylor expansion of 0.5 in y
0.708 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.708 * [taylor]: Taking taylor expansion of y in y
0.708 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in y
0.708 * [taylor]: Taking taylor expansion of 1.5 in y
0.708 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.708 * [taylor]: Taking taylor expansion of x in y
0.708 * [taylor]: Taking taylor expansion of (neg (+ (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x)))) in x
0.708 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in x
0.708 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x
0.708 * [taylor]: Taking taylor expansion of 0.5 in x
0.708 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.708 * [taylor]: Taking taylor expansion of y in x
0.708 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x
0.708 * [taylor]: Taking taylor expansion of 1.5 in x
0.708 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.708 * [taylor]: Taking taylor expansion of x in x
0.708 * [taylor]: Taking taylor expansion of (neg (+ (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x)))) in x
0.708 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in x
0.708 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x
0.708 * [taylor]: Taking taylor expansion of 0.5 in x
0.708 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.708 * [taylor]: Taking taylor expansion of y in x
0.708 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x
0.708 * [taylor]: Taking taylor expansion of 1.5 in x
0.708 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.708 * [taylor]: Taking taylor expansion of x in x
0.708 * [taylor]: Taking taylor expansion of (neg 1.5) in y
0.708 * [taylor]: Taking taylor expansion of 1.5 in y
0.708 * [taylor]: Taking taylor expansion of (neg (* 0.5 (/ 1 y))) in y
0.708 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
0.708 * [taylor]: Taking taylor expansion of 0.5 in y
0.708 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.708 * [taylor]: Taking taylor expansion of y in y
0.709 * [taylor]: Taking taylor expansion of 0 in y
0.709 * [taylor]: Taking taylor expansion of 0 in y
0.709 * [taylor]: Taking taylor expansion of 0 in y
0.709 * * * [progress]: simplifying candidates
0.711 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (log (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5))))) (log (+ (* x 1.5) (* y 0.5))))
  (log (/ (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5)))) (+ (* x 1.5) (* y 0.5))))
  (exp (/ (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5)))) (+ (* x 1.5) (* y 0.5))))
  (/ (* (* (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5)))) (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5))))) (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5))))) (* (* (+ (* x 1.5) (* y 0.5)) (+ (* x 1.5) (* y 0.5))) (+ (* x 1.5) (* y 0.5))))
  (* (cbrt (/ (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5)))) (+ (* x 1.5) (* y 0.5)))) (cbrt (/ (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5)))) (+ (* x 1.5) (* y 0.5)))))
  (cbrt (/ (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5)))) (+ (* x 1.5) (* y 0.5))))
  (* (* (/ (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5)))) (+ (* x 1.5) (* y 0.5))) (/ (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5)))) (+ (* x 1.5) (* y 0.5)))) (/ (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5)))) (+ (* x 1.5) (* y 0.5))))
  (sqrt (/ (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5)))) (+ (* x 1.5) (* y 0.5))))
  (sqrt (/ (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5)))) (+ (* x 1.5) (* y 0.5))))
  (neg (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5)))))
  (neg (+ (* x 1.5) (* y 0.5)))
  (/ (* x (* x (* 1.5 1.5))) (+ (* x 1.5) (* y 0.5)))
  (/ (* y (* y (* 0.5 0.5))) (+ (* x 1.5) (* y 0.5)))
  (/ (* (cbrt (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5))))) (cbrt (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5)))))) (* (cbrt (+ (* x 1.5) (* y 0.5))) (cbrt (+ (* x 1.5) (* y 0.5)))))
  (/ (cbrt (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5))))) (cbrt (+ (* x 1.5) (* y 0.5))))
  (/ (* (cbrt (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5))))) (cbrt (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5)))))) (sqrt (+ (* x 1.5) (* y 0.5))))
  (/ (cbrt (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5))))) (sqrt (+ (* x 1.5) (* y 0.5))))
  (/ (* (cbrt (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5))))) (cbrt (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5)))))) 1)
  (/ (cbrt (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5))))) (+ (* x 1.5) (* y 0.5)))
  (/ (sqrt (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5))))) (* (cbrt (+ (* x 1.5) (* y 0.5))) (cbrt (+ (* x 1.5) (* y 0.5)))))
  (/ (sqrt (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5))))) (cbrt (+ (* x 1.5) (* y 0.5))))
  (/ (sqrt (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5))))) (sqrt (+ (* x 1.5) (* y 0.5))))
  (/ (sqrt (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5))))) (sqrt (+ (* x 1.5) (* y 0.5))))
  (/ (sqrt (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5))))) 1)
  (/ (sqrt (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5))))) (+ (* x 1.5) (* y 0.5)))
  (/ 1 (* (cbrt (+ (* x 1.5) (* y 0.5))) (cbrt (+ (* x 1.5) (* y 0.5)))))
  (/ (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5)))) (cbrt (+ (* x 1.5) (* y 0.5))))
  (/ 1 (sqrt (+ (* x 1.5) (* y 0.5))))
  (/ (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5)))) (sqrt (+ (* x 1.5) (* y 0.5))))
  (/ 1 1)
  (/ (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5)))) (+ (* x 1.5) (* y 0.5)))
  (/ 1 (+ (* x 1.5) (* y 0.5)))
  (/ (+ (* x 1.5) (* y 0.5)) (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5)))))
  (/ (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5)))) (* (cbrt (+ (* x 1.5) (* y 0.5))) (cbrt (+ (* x 1.5) (* y 0.5)))))
  (/ (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5)))) (sqrt (+ (* x 1.5) (* y 0.5))))
  (/ (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5)))) 1)
  (/ (+ (* x 1.5) (* y 0.5)) (cbrt (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5))))))
  (/ (+ (* x 1.5) (* y 0.5)) (sqrt (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5))))))
  (/ (+ (* x 1.5) (* y 0.5)) (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5)))))
  (/ (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5)))) (+ (pow (* x 1.5) 3) (pow (* y 0.5) 3)))
  (/ (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5)))) (- (* (* x 1.5) (* x 1.5)) (* (* y 0.5) (* y 0.5))))
  (* (+ (* x 1.5) (* y 0.5)) (+ (* (* x (* x (* 1.5 1.5))) (* x (* x (* 1.5 1.5)))) (+ (* (* y (* y (* 0.5 0.5))) (* y (* y (* 0.5 0.5)))) (* (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5)))))))
  (* (+ (* x 1.5) (* y 0.5)) (+ (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5)))))
  (/ (exp (* x (* x (* 1.5 1.5)))) (exp (* y (* y (* 0.5 0.5)))))
  (log (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5)))))
  (exp (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5)))))
  (* (cbrt (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5))))) (cbrt (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5))))))
  (cbrt (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5)))))
  (* (* (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5)))) (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5))))) (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5)))))
  (sqrt (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5)))))
  (sqrt (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5)))))
  (- (pow (* x (* x (* 1.5 1.5))) 3) (pow (* y (* y (* 0.5 0.5))) 3))
  (+ (* (* x (* x (* 1.5 1.5))) (* x (* x (* 1.5 1.5)))) (+ (* (* y (* y (* 0.5 0.5))) (* y (* y (* 0.5 0.5)))) (* (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5))))))
  (neg (* y (* y (* 0.5 0.5))))
  (- (* (* x (* x (* 1.5 1.5))) (* x (* x (* 1.5 1.5)))) (* (* y (* y (* 0.5 0.5))) (* y (* y (* 0.5 0.5)))))
  (+ (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5))))
  (* x (* x (* 1.5 1.5)))
  (* x (* x (* 1.5 1.5)))
  (* x (* x (* 1.5 1.5)))
  (+ (log x) (+ (log x) (+ (log 1.5) (log 1.5))))
  (+ (log x) (+ (log x) (log (* 1.5 1.5))))
  (+ (log x) (log (* x (* 1.5 1.5))))
  (log (* x (* x (* 1.5 1.5))))
  (exp (* x (* x (* 1.5 1.5))))
  (* (* (* x x) x) (* (* (* x x) x) (* (* (* 1.5 1.5) 1.5) (* (* 1.5 1.5) 1.5))))
  (* (* (* x x) x) (* (* (* x x) x) (* (* (* 1.5 1.5) (* 1.5 1.5)) (* 1.5 1.5))))
  (* (* (* x x) x) (* (* (* x (* 1.5 1.5)) (* x (* 1.5 1.5))) (* x (* 1.5 1.5))))
  (* (cbrt (* x (* x (* 1.5 1.5)))) (cbrt (* x (* x (* 1.5 1.5)))))
  (cbrt (* x (* x (* 1.5 1.5))))
  (* (* (* x (* x (* 1.5 1.5))) (* x (* x (* 1.5 1.5)))) (* x (* x (* 1.5 1.5))))
  (sqrt (* x (* x (* 1.5 1.5))))
  (sqrt (* x (* x (* 1.5 1.5))))
  (* x x)
  (* (cbrt x) (* x (* 1.5 1.5)))
  (* (sqrt x) (* x (* 1.5 1.5)))
  (* x (* x (* 1.5 1.5)))
  (* (exp (* x 1.5)) (exp (* y 0.5)))
  (log (+ (* x 1.5) (* y 0.5)))
  (exp (+ (* x 1.5) (* y 0.5)))
  (* (cbrt (+ (* x 1.5) (* y 0.5))) (cbrt (+ (* x 1.5) (* y 0.5))))
  (cbrt (+ (* x 1.5) (* y 0.5)))
  (* (* (+ (* x 1.5) (* y 0.5)) (+ (* x 1.5) (* y 0.5))) (+ (* x 1.5) (* y 0.5)))
  (sqrt (+ (* x 1.5) (* y 0.5)))
  (sqrt (+ (* x 1.5) (* y 0.5)))
  (+ (pow (* x 1.5) 3) (pow (* y 0.5) 3))
  (+ (* (* x 1.5) (* x 1.5)) (- (* (* y 0.5) (* y 0.5)) (* (* x 1.5) (* y 0.5))))
  (- (* (* x 1.5) (* x 1.5)) (* (* y 0.5) (* y 0.5)))
  (- (* x 1.5) (* y 0.5))
  (- (* 1.5 x) (* 0.5 y))
  (- (* 1.5 x) (* 0.5 y))
  (- (* 1.5 x) (* 0.5 y))
  (- (* 2.25 (pow x 2)) (* 0.25 (pow y 2)))
  (- (* 2.25 (pow x 2)) (* 0.25 (pow y 2)))
  (- (* 2.25 (pow x 2)) (* 0.25 (pow y 2)))
  (* 2.25 (pow x 2))
  (* 2.25 (pow x 2))
  (* 2.25 (pow x 2))
  (+ (* 1.5 x) (* 0.5 y))
  (+ (* 1.5 x) (* 0.5 y))
  (+ (* 1.5 x) (* 0.5 y))
0.731 * * [simplify]: iteration  0 :  4994  enodes  (cost  1391 )
0.731 * * [simplify]: iteration  1 :  4994  enodes  (cost  1391 )
0.736 * [simplify]: Simplified to:
   (log (/ (- (* x 1.5) (* y 0.5)) 1))
  (log (/ (- (* x 1.5) (* y 0.5)) 1))
  (exp (/ (- (* x 1.5) (* y 0.5)) 1))
  (pow (/ (- (* x 1.5) (* y 0.5)) 1) 3)
  (* (cbrt (/ (- (* x 1.5) (* y 0.5)) 1)) (cbrt (/ (- (* x 1.5) (* y 0.5)) 1)))
  (cbrt (/ (- (* x 1.5) (* y 0.5)) 1))
  (pow (/ (- (* x 1.5) (* y 0.5)) 1) 3)
  (sqrt (/ (- (* x 1.5) (* y 0.5)) 1))
  (sqrt (/ (- (* x 1.5) (* y 0.5)) 1))
  (- (* y (* y (* 0.5 0.5))) (* x (* x (* 1.5 1.5))))
  (- (* y (neg 0.5)) (* x 1.5))
  (* (/ x (+ (* x 1.5) (* y 0.5))) (* x (* 1.5 1.5)))
  (* (/ y (+ (* x 1.5) (* y 0.5))) (* y (* 0.5 0.5)))
  (* (/ (cbrt (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5))))) (cbrt (+ (* x 1.5) (* y 0.5)))) (/ (cbrt (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5))))) (cbrt (+ (* x 1.5) (* y 0.5)))))
  (/ (cbrt (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5))))) (cbrt (+ (* x 1.5) (* y 0.5))))
  (* (/ (cbrt (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5))))) (sqrt (+ (* x 1.5) (* y 0.5)))) (cbrt (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5))))))
  (/ (cbrt (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5))))) (sqrt (+ (* x 1.5) (* y 0.5))))
  (* (cbrt (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5))))) (cbrt (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5))))))
  (/ (cbrt (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5))))) (+ (* x 1.5) (* y 0.5)))
  (/ (sqrt (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5))))) (* (cbrt (+ (* x 1.5) (* y 0.5))) (cbrt (+ (* x 1.5) (* y 0.5)))))
  (/ (sqrt (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5))))) (cbrt (+ (* x 1.5) (* y 0.5))))
  (/ (sqrt (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5))))) (sqrt (+ (* x 1.5) (* y 0.5))))
  (/ (sqrt (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5))))) (sqrt (+ (* x 1.5) (* y 0.5))))
  (sqrt (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5)))))
  (/ (sqrt (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5))))) (+ (* x 1.5) (* y 0.5)))
  (/ 1 (* (cbrt (+ (* x 1.5) (* y 0.5))) (cbrt (+ (* x 1.5) (* y 0.5)))))
  (/ (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5)))) (cbrt (+ (* x 1.5) (* y 0.5))))
  (/ 1 (sqrt (+ (* x 1.5) (* y 0.5))))
  (/ (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5)))) (sqrt (+ (* x 1.5) (* y 0.5))))
  1
  (/ (- (* x 1.5) (* y 0.5)) 1)
  (/ 1 (+ (* x 1.5) (* y 0.5)))
  (/ 1 (- (* x 1.5) (* y 0.5)))
  (* (/ (+ (* x 1.5) (* y 0.5)) (cbrt (+ (* x 1.5) (* y 0.5)))) (/ (- (* x 1.5) (* y 0.5)) (cbrt (+ (* x 1.5) (* y 0.5)))))
  (/ (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5)))) (sqrt (+ (* x 1.5) (* y 0.5))))
  (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5))))
  (/ (+ (* x 1.5) (* y 0.5)) (cbrt (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5))))))
  (/ (+ (* x 1.5) (* y 0.5)) (sqrt (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5))))))
  (/ 1 (- (* x 1.5) (* y 0.5)))
  (/ (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5)))) (+ (pow (* x 1.5) 3) (pow (* y 0.5) 3)))
  1
  (* (+ (* x 1.5) (* y 0.5)) (+ (pow (* x 1.5) 4) (+ (pow (* y 0.5) 4) (* x (* x (* (* 1.5 1.5) (* y (* y (* 0.5 0.5)))))))))
  (* (+ (* x 1.5) (* y 0.5)) (+ (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5)))))
  (pow (exp (+ (* x 1.5) (* y 0.5))) (- (* x 1.5) (* y 0.5)))
  (log (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5)))))
  (pow (exp (+ (* x 1.5) (* y 0.5))) (- (* x 1.5) (* y 0.5)))
  (* (cbrt (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5))))) (cbrt (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5))))))
  (cbrt (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5)))))
  (pow (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5)))) 3)
  (sqrt (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5)))))
  (sqrt (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5)))))
  (- (pow (* x 1.5) 6) (pow (* y 0.5) 6))
  (+ (pow (* x 1.5) 4) (+ (pow (* y 0.5) 4) (* x (* x (* (* 1.5 1.5) (* y (* y (* 0.5 0.5))))))))
  (* y (* y (* 0.5 (neg 0.5))))
  (- (pow (* x 1.5) 4) (pow (* y 0.5) 4))
  (+ (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5))))
  (* x (* x (* 1.5 1.5)))
  (* x (* x (* 1.5 1.5)))
  (* x (* x (* 1.5 1.5)))
  (* 2 (log (* x 1.5)))
  (* 2 (log (* x 1.5)))
  (* 2 (log (* x 1.5)))
  (* 2 (log (* x 1.5)))
  (pow (pow (exp x) 1.5) (* x 1.5))
  (pow (* x 1.5) 6)
  (pow (* x 1.5) 6)
  (pow (* x 1.5) 6)
  (* (cbrt (* x (* x (* 1.5 1.5)))) (cbrt (* x (* x (* 1.5 1.5)))))
  (cbrt (* x (* x (* 1.5 1.5))))
  (pow (* x 1.5) 6)
  (fabs (* x 1.5))
  (fabs (* x 1.5))
  (* x x)
  (* x (* (* 1.5 1.5) (cbrt x)))
  (* x (* (* 1.5 1.5) (sqrt x)))
  (* x (* x (* 1.5 1.5)))
  (exp (+ (* x 1.5) (* y 0.5)))
  (log (+ (* x 1.5) (* y 0.5)))
  (exp (+ (* x 1.5) (* y 0.5)))
  (* (cbrt (+ (* x 1.5) (* y 0.5))) (cbrt (+ (* x 1.5) (* y 0.5))))
  (cbrt (+ (* x 1.5) (* y 0.5)))
  (pow (+ (* x 1.5) (* y 0.5)) 3)
  (sqrt (+ (* x 1.5) (* y 0.5)))
  (sqrt (+ (* x 1.5) (* y 0.5)))
  (+ (pow (* x 1.5) 3) (pow (* y 0.5) 3))
  (+ (* x (* x (* 1.5 1.5))) (* y (* 0.5 (- (* y 0.5) (* x 1.5)))))
  (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5))))
  (- (* x 1.5) (* y 0.5))
  (- (* x 1.5) (* y 0.5))
  (- (* x 1.5) (* y 0.5))
  (- (* x 1.5) (* y 0.5))
  (- (* x (* x 2.25)) (* y (* y 0.25)))
  (- (* x (* x 2.25)) (* y (* y 0.25)))
  (- (* x (* x 2.25)) (* y (* y 0.25)))
  (* x (* x 2.25))
  (* x (* x 2.25))
  (* x (* x 2.25))
  (+ (* x 1.5) (* y 0.5))
  (+ (* x 1.5) (* y 0.5))
  (+ (* x 1.5) (* y 0.5))
0.737 * * * [progress]: adding candidates to table
0.855 * [progress]: [Phase 3 of 3] Extracting.
0.855 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (- (* (/ x (+ (* x 1.5) (* y 0.5))) (* x (* 1.5 1.5))) (* (/ y (+ (* x 1.5) (* y 0.5))) (* y (* 0.5 0.5)))))> #<alt (λ (x y) (/ (+ (* x x) (* (- x y) (/ (/ (- y x) 2.0) 2.0))) (+ x (/ (- y x) 2.0))))> #<alt (λ (x y) (- (* x 1.5) (* y 0.5)))> #<alt (λ (x y) (/ (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5)))) (+ (* x 1.5) (* y 0.5))))>)
0.855 * * * [regime-changes]: Trying 2 branch expressions: (y x)
0.855 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (- (* (/ x (+ (* x 1.5) (* y 0.5))) (* x (* 1.5 1.5))) (* (/ y (+ (* x 1.5) (* y 0.5))) (* y (* 0.5 0.5)))))> #<alt (λ (x y) (/ (+ (* x x) (* (- x y) (/ (/ (- y x) 2.0) 2.0))) (+ x (/ (- y x) 2.0))))> #<alt (λ (x y) (- (* x 1.5) (* y 0.5)))> #<alt (λ (x y) (/ (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5)))) (+ (* x 1.5) (* y 0.5))))>)
0.894 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (- (* (/ x (+ (* x 1.5) (* y 0.5))) (* x (* 1.5 1.5))) (* (/ y (+ (* x 1.5) (* y 0.5))) (* y (* 0.5 0.5)))))> #<alt (λ (x y) (/ (+ (* x x) (* (- x y) (/ (/ (- y x) 2.0) 2.0))) (+ x (/ (- y x) 2.0))))> #<alt (λ (x y) (- (* x 1.5) (* y 0.5)))> #<alt (λ (x y) (/ (- (* x (* x (* 1.5 1.5))) (* y (* y (* 0.5 0.5)))) (+ (* x 1.5) (* y 0.5))))>)
0.932 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
0.932 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (* x 1.5) (* y 0.5))
0.933 * * [simplify]: iteration  0 :  35  enodes  (cost  7 )
0.933 * * [simplify]: iteration  1 :  35  enodes  (cost  7 )
0.933 * [simplify]: Simplified to:
   (- (* x 1.5) (* y 0.5))
1.701 * [regime-testing]: End program error score: 0.08688586073259158
1.771 * [regime-testing]: Target error score: 0.08688586073259158