19.339 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.014 * * * [progress]: [2/2] Setting up program.
0.017 * [progress]: [Phase 2 of 3] Improving.
0.017 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (- (+ x y) (* x y))
0.019 * * [simplify]: iteration  0 :  11  enodes  (cost  3 )
0.020 * * [simplify]: iteration  1 :  25  enodes  (cost  3 )
0.021 * * [simplify]: iteration  2 :  39  enodes  (cost  3 )
0.022 * * [simplify]: iteration  3 :  50  enodes  (cost  3 )
0.023 * * [simplify]: iteration  4 :  72  enodes  (cost  3 )
0.025 * * [simplify]: iteration  5 :  120  enodes  (cost  3 )
0.027 * * [simplify]: iteration  6 :  267  enodes  (cost  3 )
0.030 * * [simplify]: iteration  7 :  446  enodes  (cost  3 )
0.037 * * [simplify]: iteration  8 :  643  enodes  (cost  3 )
0.045 * * [simplify]: iteration  9 :  806  enodes  (cost  3 )
0.056 * * [simplify]: iteration  10 :  1196  enodes  (cost  3 )
0.088 * * [simplify]: iteration  11 :  4606  enodes  (cost  3 )
0.278 * * [simplify]: iteration  12 :  5002  enodes  (cost  3 )
0.279 * [simplify]: Simplified to:
  (- (+ x y) (* x y))
0.279 * * [progress]: iteration 1 / 4
0.279 * * * [progress]: picking best candidate
0.285 * * * * [pick]: Picked  #<alt (λ (x y) (- (+ x y) (* x y)))>
0.285 * * * [progress]: localizing error
0.290 * * * [progress]: generating rewritten candidates
0.290 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.295 * * * [progress]: generating series expansions
0.295 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.295 * [approximate]: Approximating (- (+ x y) (* x y)) in (x y) around 0
0.296 * [taylor]: Taking taylor expansion of (- (+ x y) (* x y)) in y
0.297 * [taylor]: Taking taylor expansion of (- (+ x y) (* x y)) in y
0.299 * [taylor]: Taking taylor expansion of (- (+ x y) (* x y)) in y
0.300 * [approximate]: Approximating (- (+ (/ 1 y) (/ 1 x)) (/ 1 (* x y))) in (x y) around 0
0.303 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 (* x y))) in y
0.305 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 (* x y))) in y
0.307 * [approximate]: Approximating (neg (+ (/ 1 (* x y)) (+ (/ 1 y) (/ 1 x)))) in (x y) around 0
0.310 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* x y)) (+ (/ 1 y) (/ 1 x)))) in y
0.312 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* x y)) (+ (/ 1 y) (/ 1 x)))) in y
0.314 * * * [progress]: simplifying candidates
0.314 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (/ (* (exp x) (exp y)) (exp (* x y)))
  (/ (exp (+ x y)) (exp (* x y)))
  (log (- (+ x y) (* x y)))
  (exp (- (+ x y) (* x y)))
  (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y))))
  (cbrt (- (+ x y) (* x y)))
  (* (* (- (+ x y) (* x y)) (- (+ x y) (* x y))) (- (+ x y) (* x y)))
  (sqrt (- (+ x y) (* x y)))
  (sqrt (- (+ x y) (* x y)))
  (- (pow (+ x y) 3) (pow (* x y) 3))
  (+ (* (+ x y) (+ x y)) (+ (* (* x y) (* x y)) (* (+ x y) (* x y))))
  (neg (* x y))
  (- (* (+ x y) (+ x y)) (* (* x y) (* x y)))
  (+ (+ x y) (* x y))
  (- y (* x y))
  (neg (* x y))
  (- (+ x y) (* x y))
  (- (+ x y) (* x y))
  (- (+ x y) (* x y))
0.317 * * [simplify]: iteration  0 :  87  enodes  (cost  87 )
0.319 * * [simplify]: iteration  1 :  309  enodes  (cost  80 )
0.325 * * [simplify]: iteration  2 :  1324  enodes  (cost  80 )
0.351 * * [simplify]: iteration  3 :  5002  enodes  (cost  80 )
0.352 * [simplify]: Simplified to:
  (exp (- (+ x y) (* x y)))
  (exp (- (+ x y) (* x y)))
  (log (- (+ x y) (* x y)))
  (exp (- (+ x y) (* x y)))
  (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y))))
  (cbrt (- (+ x y) (* x y)))
  (pow (- (+ x y) (* x y)) 3)
  (sqrt (- (+ x y) (* x y)))
  (sqrt (- (+ x y) (* x y)))
  (- (pow (+ x y) 3) (pow (* x y) 3))
  (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))
  (neg (* x y))
  (- (* (+ x y) (+ x y)) (* (* x y) (* x y)))
  (+ (+ x y) (* x y))
  (- y (* x y))
  (neg (* x y))
  (- (+ x y) (* x y))
  (- (+ x y) (* x y))
  (- (+ x y) (* x y))
0.352 * * * [progress]: adding candidates to table
0.371 * * [progress]: iteration 2 / 4
0.372 * * * [progress]: picking best candidate
0.379 * * * * [pick]: Picked  #<alt (λ (x y) (* (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y)))) (cbrt (- (+ x y) (* x y)))))>
0.379 * * * [progress]: localizing error
0.387 * * * [progress]: generating rewritten candidates
0.387 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
0.394 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
0.399 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
0.404 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
0.419 * * * [progress]: generating series expansions
0.419 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
0.419 * [approximate]: Approximating (pow (- (+ x y) (* x y)) 1/3) in (x y) around 0
0.421 * [taylor]: Taking taylor expansion of (pow (- (+ x y) (* x y)) 1/3) in y
0.423 * [taylor]: Taking taylor expansion of (pow (- (+ x y) (* x y)) 1/3) in y
0.434 * [taylor]: Taking taylor expansion of (pow (- (+ x y) (* x y)) 1/3) in y
0.450 * [approximate]: Approximating (pow (- (+ (/ 1 y) (/ 1 x)) (/ 1 (* x y))) 1/3) in (x y) around 0
0.456 * [taylor]: Taking taylor expansion of (pow (- (+ (/ 1 y) (/ 1 x)) (/ 1 (* x y))) 1/3) in y
0.462 * [taylor]: Taking taylor expansion of (pow (- (+ (/ 1 y) (/ 1 x)) (/ 1 (* x y))) 1/3) in y
0.479 * [approximate]: Approximating (* (cbrt -1) (pow (+ (/ 1 (* x y)) (+ (/ 1 y) (/ 1 x))) 1/3)) in (x y) around 0
0.487 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 (* x y)) (+ (/ 1 y) (/ 1 x))) 1/3)) in y
0.494 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 (* x y)) (+ (/ 1 y) (/ 1 x))) 1/3)) in y
0.507 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
0.508 * [approximate]: Approximating (pow (- (+ x y) (* x y)) 1/3) in (x y) around 0
0.509 * [taylor]: Taking taylor expansion of (pow (- (+ x y) (* x y)) 1/3) in y
0.511 * [taylor]: Taking taylor expansion of (pow (- (+ x y) (* x y)) 1/3) in y
0.523 * [taylor]: Taking taylor expansion of (pow (- (+ x y) (* x y)) 1/3) in y
0.539 * [approximate]: Approximating (pow (- (+ (/ 1 y) (/ 1 x)) (/ 1 (* x y))) 1/3) in (x y) around 0
0.544 * [taylor]: Taking taylor expansion of (pow (- (+ (/ 1 y) (/ 1 x)) (/ 1 (* x y))) 1/3) in y
0.553 * [taylor]: Taking taylor expansion of (pow (- (+ (/ 1 y) (/ 1 x)) (/ 1 (* x y))) 1/3) in y
0.567 * [approximate]: Approximating (* (cbrt -1) (pow (+ (/ 1 (* x y)) (+ (/ 1 y) (/ 1 x))) 1/3)) in (x y) around 0
0.575 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 (* x y)) (+ (/ 1 y) (/ 1 x))) 1/3)) in y
0.582 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 (* x y)) (+ (/ 1 y) (/ 1 x))) 1/3)) in y
0.595 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
0.595 * [approximate]: Approximating (pow (- (+ x y) (* x y)) 1/3) in (x y) around 0
0.597 * [taylor]: Taking taylor expansion of (pow (- (+ x y) (* x y)) 1/3) in y
0.598 * [taylor]: Taking taylor expansion of (pow (- (+ x y) (* x y)) 1/3) in y
0.610 * [taylor]: Taking taylor expansion of (pow (- (+ x y) (* x y)) 1/3) in y
0.629 * [approximate]: Approximating (pow (- (+ (/ 1 y) (/ 1 x)) (/ 1 (* x y))) 1/3) in (x y) around 0
0.634 * [taylor]: Taking taylor expansion of (pow (- (+ (/ 1 y) (/ 1 x)) (/ 1 (* x y))) 1/3) in y
0.640 * [taylor]: Taking taylor expansion of (pow (- (+ (/ 1 y) (/ 1 x)) (/ 1 (* x y))) 1/3) in y
0.654 * [approximate]: Approximating (* (cbrt -1) (pow (+ (/ 1 (* x y)) (+ (/ 1 y) (/ 1 x))) 1/3)) in (x y) around 0
0.662 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 (* x y)) (+ (/ 1 y) (/ 1 x))) 1/3)) in y
0.668 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (+ (/ 1 (* x y)) (+ (/ 1 y) (/ 1 x))) 1/3)) in y
0.682 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
0.683 * [approximate]: Approximating (pow (pow (- (+ x y) (* x y)) 2) 1/3) in (x y) around 0
0.684 * [taylor]: Taking taylor expansion of (pow (pow (- (+ x y) (* x y)) 2) 1/3) in y
0.687 * [taylor]: Taking taylor expansion of (pow (pow (- (+ x y) (* x y)) 2) 1/3) in y
0.700 * [taylor]: Taking taylor expansion of (pow (pow (- (+ x y) (* x y)) 2) 1/3) in y
0.721 * [approximate]: Approximating (pow (pow (- (+ (/ 1 y) (/ 1 x)) (/ 1 (* x y))) 2) 1/3) in (x y) around 0
0.727 * [taylor]: Taking taylor expansion of (pow (pow (- (+ (/ 1 y) (/ 1 x)) (/ 1 (* x y))) 2) 1/3) in y
0.732 * [taylor]: Taking taylor expansion of (pow (pow (- (+ (/ 1 y) (/ 1 x)) (/ 1 (* x y))) 2) 1/3) in y
0.749 * [approximate]: Approximating (* (pow (cbrt -1) 2) (pow (pow (+ (/ 1 (* x y)) (+ (/ 1 y) (/ 1 x))) 2) 1/3)) in (x y) around 0
0.759 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (pow (+ (/ 1 (* x y)) (+ (/ 1 y) (/ 1 x))) 2) 1/3)) in y
0.770 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (pow (+ (/ 1 (* x y)) (+ (/ 1 y) (/ 1 x))) 2) 1/3)) in y
0.803 * * * [progress]: simplifying candidates
0.804 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (log (cbrt (- (+ x y) (* x y))))
  (exp (cbrt (- (+ x y) (* x y))))
  (cbrt (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y)))))
  (cbrt (cbrt (- (+ x y) (* x y))))
  (cbrt (sqrt (- (+ x y) (* x y))))
  (cbrt (sqrt (- (+ x y) (* x y))))
  (cbrt 1)
  (cbrt (- (+ x y) (* x y)))
  (cbrt (- (pow (+ x y) 3) (pow (* x y) 3)))
  (cbrt (+ (* (+ x y) (+ x y)) (+ (* (* x y) (* x y)) (* (+ x y) (* x y)))))
  (cbrt (- (* (+ x y) (+ x y)) (* (* x y) (* x y))))
  (cbrt (+ (+ x y) (* x y)))
  (* (cbrt (cbrt (- (+ x y) (* x y)))) (cbrt (cbrt (- (+ x y) (* x y)))))
  (cbrt (cbrt (- (+ x y) (* x y))))
  (* (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y)))) (cbrt (- (+ x y) (* x y))))
  (sqrt (cbrt (- (+ x y) (* x y))))
  (sqrt (cbrt (- (+ x y) (* x y))))
  (log (cbrt (- (+ x y) (* x y))))
  (exp (cbrt (- (+ x y) (* x y))))
  (cbrt (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y)))))
  (cbrt (cbrt (- (+ x y) (* x y))))
  (cbrt (sqrt (- (+ x y) (* x y))))
  (cbrt (sqrt (- (+ x y) (* x y))))
  (cbrt 1)
  (cbrt (- (+ x y) (* x y)))
  (cbrt (- (pow (+ x y) 3) (pow (* x y) 3)))
  (cbrt (+ (* (+ x y) (+ x y)) (+ (* (* x y) (* x y)) (* (+ x y) (* x y)))))
  (cbrt (- (* (+ x y) (+ x y)) (* (* x y) (* x y))))
  (cbrt (+ (+ x y) (* x y)))
  (* (cbrt (cbrt (- (+ x y) (* x y)))) (cbrt (cbrt (- (+ x y) (* x y)))))
  (cbrt (cbrt (- (+ x y) (* x y))))
  (* (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y)))) (cbrt (- (+ x y) (* x y))))
  (sqrt (cbrt (- (+ x y) (* x y))))
  (sqrt (cbrt (- (+ x y) (* x y))))
  (log (cbrt (- (+ x y) (* x y))))
  (exp (cbrt (- (+ x y) (* x y))))
  (cbrt (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y)))))
  (cbrt (cbrt (- (+ x y) (* x y))))
  (cbrt (sqrt (- (+ x y) (* x y))))
  (cbrt (sqrt (- (+ x y) (* x y))))
  (cbrt 1)
  (cbrt (- (+ x y) (* x y)))
  (cbrt (- (pow (+ x y) 3) (pow (* x y) 3)))
  (cbrt (+ (* (+ x y) (+ x y)) (+ (* (* x y) (* x y)) (* (+ x y) (* x y)))))
  (cbrt (- (* (+ x y) (+ x y)) (* (* x y) (* x y))))
  (cbrt (+ (+ x y) (* x y)))
  (* (cbrt (cbrt (- (+ x y) (* x y)))) (cbrt (cbrt (- (+ x y) (* x y)))))
  (cbrt (cbrt (- (+ x y) (* x y))))
  (* (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y)))) (cbrt (- (+ x y) (* x y))))
  (sqrt (cbrt (- (+ x y) (* x y))))
  (sqrt (cbrt (- (+ x y) (* x y))))
  (+ 1/3 1/3)
  (+ 1 1)
  (* (- (+ x y) (* x y)) (- (+ x y) (* x y)))
  (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y))))
  (+ 1 1)
  (+ (log (cbrt (- (+ x y) (* x y)))) (log (cbrt (- (+ x y) (* x y)))))
  (log (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y)))))
  (exp (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y)))))
  (* (- (+ x y) (* x y)) (- (+ x y) (* x y)))
  (* (cbrt (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y))))) (cbrt (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y))))))
  (cbrt (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y)))))
  (* (* (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y)))) (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y))))) (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y)))))
  (sqrt (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y)))))
  (sqrt (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y)))))
  (* (cbrt (- (pow (+ x y) 3) (pow (* x y) 3))) (cbrt (- (pow (+ x y) 3) (pow (* x y) 3))))
  (* (cbrt (+ (* (+ x y) (+ x y)) (+ (* (* x y) (* x y)) (* (+ x y) (* x y))))) (cbrt (+ (* (+ x y) (+ x y)) (+ (* (* x y) (* x y)) (* (+ x y) (* x y))))))
  (* (cbrt (- (pow (+ x y) 3) (pow (* x y) 3))) (cbrt (- (* (+ x y) (+ x y)) (* (* x y) (* x y)))))
  (* (cbrt (+ (* (+ x y) (+ x y)) (+ (* (* x y) (* x y)) (* (+ x y) (* x y))))) (cbrt (+ (+ x y) (* x y))))
  (* (cbrt (- (* (+ x y) (+ x y)) (* (* x y) (* x y)))) (cbrt (- (pow (+ x y) 3) (pow (* x y) 3))))
  (* (cbrt (+ (+ x y) (* x y))) (cbrt (+ (* (+ x y) (+ x y)) (+ (* (* x y) (* x y)) (* (+ x y) (* x y))))))
  (* (cbrt (- (* (+ x y) (+ x y)) (* (* x y) (* x y)))) (cbrt (- (* (+ x y) (+ x y)) (* (* x y) (* x y)))))
  (* (cbrt (+ (+ x y) (* x y))) (cbrt (+ (+ x y) (* x y))))
  (* (cbrt (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y))))) (cbrt (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y))))))
  (* (cbrt (cbrt (- (+ x y) (* x y)))) (cbrt (cbrt (- (+ x y) (* x y)))))
  (* (cbrt (sqrt (- (+ x y) (* x y)))) (cbrt (sqrt (- (+ x y) (* x y)))))
  (* (cbrt (sqrt (- (+ x y) (* x y)))) (cbrt (sqrt (- (+ x y) (* x y)))))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y))))
  (* (* (cbrt (cbrt (- (+ x y) (* x y)))) (cbrt (cbrt (- (+ x y) (* x y))))) (* (cbrt (cbrt (- (+ x y) (* x y)))) (cbrt (cbrt (- (+ x y) (* x y))))))
  (* (cbrt (cbrt (- (+ x y) (* x y)))) (cbrt (cbrt (- (+ x y) (* x y)))))
  (* (sqrt (cbrt (- (+ x y) (* x y)))) (sqrt (cbrt (- (+ x y) (* x y)))))
  (* (sqrt (cbrt (- (+ x y) (* x y)))) (sqrt (cbrt (- (+ x y) (* x y)))))
  (* 1 1)
  (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y))))
  (* (cbrt (sqrt (- (+ x y) (* x y)))) (cbrt (sqrt (- (+ x y) (* x y)))))
  (* (cbrt (sqrt (- (+ x y) (* x y)))) (cbrt (sqrt (- (+ x y) (* x y)))))
  (* (cbrt (sqrt (- (+ x y) (* x y)))) (sqrt (cbrt (- (+ x y) (* x y)))))
  (* (cbrt (sqrt (- (+ x y) (* x y)))) (sqrt (cbrt (- (+ x y) (* x y)))))
  (* (sqrt (cbrt (- (+ x y) (* x y)))) (cbrt (sqrt (- (+ x y) (* x y)))))
  (* (sqrt (cbrt (- (+ x y) (* x y)))) (cbrt (sqrt (- (+ x y) (* x y)))))
  (* (sqrt (cbrt (- (+ x y) (* x y)))) (sqrt (cbrt (- (+ x y) (* x y)))))
  (* (sqrt (cbrt (- (+ x y) (* x y)))) (sqrt (cbrt (- (+ x y) (* x y)))))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt (- (+ x y) (* x y))) (cbrt (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y))))))
  (* (cbrt (- (+ x y) (* x y))) (cbrt (sqrt (- (+ x y) (* x y)))))
  (* (cbrt (- (+ x y) (* x y))) (cbrt 1))
  (* (cbrt (- (+ x y) (* x y))) (* (cbrt (cbrt (- (+ x y) (* x y)))) (cbrt (cbrt (- (+ x y) (* x y))))))
  (* (cbrt (- (+ x y) (* x y))) (sqrt (cbrt (- (+ x y) (* x y)))))
  (* (cbrt (- (+ x y) (* x y))) 1)
  (* (cbrt (cbrt (- (+ x y) (* x y)))) (cbrt (- (+ x y) (* x y))))
  (* (cbrt (sqrt (- (+ x y) (* x y)))) (cbrt (- (+ x y) (* x y))))
  (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y))))
  (* (cbrt (cbrt (- (+ x y) (* x y)))) (cbrt (- (+ x y) (* x y))))
  (* (sqrt (cbrt (- (+ x y) (* x y)))) (cbrt (- (+ x y) (* x y))))
  (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y))))
  (* (cbrt (- (+ x y) (* x y))) (cbrt (- (pow (+ x y) 3) (pow (* x y) 3))))
  (* (cbrt (- (+ x y) (* x y))) (cbrt (- (* (+ x y) (+ x y)) (* (* x y) (* x y)))))
  (* (cbrt (- (pow (+ x y) 3) (pow (* x y) 3))) (cbrt (- (+ x y) (* x y))))
  (* (cbrt (- (* (+ x y) (+ x y)) (* (* x y) (* x y)))) (cbrt (- (+ x y) (* x y))))
  (- (pow y 1/3) (+ (* 1/3 (* x (pow y 1/3))) (* 1/9 (* (pow x 2) (pow y 1/3)))))
  (- (exp (* 1/3 (- (log -1) (+ (log (/ 1 x)) (log (/ 1 y)))))) (+ (* 1/3 (/ (exp (* 1/3 (- (log -1) (+ (log (/ 1 x)) (log (/ 1 y)))))) y)) (* 1/3 (/ (exp (* 1/3 (- (log -1) (+ (log (/ 1 x)) (log (/ 1 y)))))) x))))
  (- (* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 y)) (log (/ -1 x)))))) (+ (* 1/3 (/ (* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 y)) (log (/ -1 x)))))) x)) (* 1/3 (/ (* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 y)) (log (/ -1 x)))))) y))))
  (- (pow y 1/3) (+ (* 1/3 (* x (pow y 1/3))) (* 1/9 (* (pow x 2) (pow y 1/3)))))
  (- (exp (* 1/3 (- (log -1) (+ (log (/ 1 x)) (log (/ 1 y)))))) (+ (* 1/3 (/ (exp (* 1/3 (- (log -1) (+ (log (/ 1 x)) (log (/ 1 y)))))) y)) (* 1/3 (/ (exp (* 1/3 (- (log -1) (+ (log (/ 1 x)) (log (/ 1 y)))))) x))))
  (- (* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 y)) (log (/ -1 x)))))) (+ (* 1/3 (/ (* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 y)) (log (/ -1 x)))))) x)) (* 1/3 (/ (* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 y)) (log (/ -1 x)))))) y))))
  (- (pow y 1/3) (+ (* 1/3 (* x (pow y 1/3))) (* 1/9 (* (pow x 2) (pow y 1/3)))))
  (- (exp (* 1/3 (- (log -1) (+ (log (/ 1 x)) (log (/ 1 y)))))) (+ (* 1/3 (/ (exp (* 1/3 (- (log -1) (+ (log (/ 1 x)) (log (/ 1 y)))))) y)) (* 1/3 (/ (exp (* 1/3 (- (log -1) (+ (log (/ 1 x)) (log (/ 1 y)))))) x))))
  (- (* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 y)) (log (/ -1 x)))))) (+ (* 1/3 (/ (* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 y)) (log (/ -1 x)))))) x)) (* 1/3 (/ (* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 y)) (log (/ -1 x)))))) y))))
  (- (pow y 2/3) (+ (* 2/3 (* x (pow (pow y 2) 1/3))) (* 1/9 (* (pow x 2) (pow (pow y 2) 1/3)))))
  (- (exp (* -1/3 (+ (* 2 (log (/ 1 x))) (* 2 (log (/ 1 y)))))) (+ (* 2/3 (/ (exp (* -1/3 (+ (* 2 (log (/ 1 x))) (* 2 (log (/ 1 y)))))) x)) (* 2/3 (/ (exp (* -1/3 (+ (* 2 (log (/ 1 x))) (* 2 (log (/ 1 y)))))) y))))
  (- (* (pow (cbrt -1) 2) (exp (* -1/3 (+ (* 2 (log (/ -1 y))) (* 2 (log (/ -1 x))))))) (+ (* 2/3 (/ (* (pow (cbrt -1) 2) (exp (* -1/3 (+ (* 2 (log (/ -1 y))) (* 2 (log (/ -1 x))))))) y)) (* 2/3 (/ (* (pow (cbrt -1) 2) (exp (* -1/3 (+ (* 2 (log (/ -1 y))) (* 2 (log (/ -1 x))))))) x))))
0.811 * * [simplify]: iteration  0 :  374  enodes  (cost  1246 )
0.818 * * [simplify]: iteration  1 :  1445  enodes  (cost  1172 )
0.844 * * [simplify]: iteration  2 :  5001  enodes  (cost  1109 )
0.850 * [simplify]: Simplified to:
  (log (cbrt (- (+ x y) (* x y))))
  (exp (cbrt (- (+ x y) (* x y))))
  (cbrt (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y)))))
  (cbrt (cbrt (- (+ x y) (* x y))))
  (cbrt (sqrt (- (+ x y) (* x y))))
  (cbrt (sqrt (- (+ x y) (* x y))))
  1
  (cbrt (- (+ x y) (* x y)))
  (cbrt (- (pow (+ x y) 3) (pow (* x y) 3)))
  (cbrt (+ (* (+ x y) (+ x y)) (+ (* (* x y) (* x y)) (* (+ x y) (* x y)))))
  (cbrt (- (* (+ x y) (+ x y)) (* (* x y) (* x y))))
  (cbrt (+ (+ x y) (* x y)))
  (* (cbrt (cbrt (- (+ x y) (* x y)))) (cbrt (cbrt (- (+ x y) (* x y)))))
  (cbrt (cbrt (- (+ x y) (* x y))))
  (- (+ x y) (* x y))
  (sqrt (cbrt (- (+ x y) (* x y))))
  (sqrt (cbrt (- (+ x y) (* x y))))
  (log (cbrt (- (+ x y) (* x y))))
  (exp (cbrt (- (+ x y) (* x y))))
  (cbrt (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y)))))
  (cbrt (cbrt (- (+ x y) (* x y))))
  (cbrt (sqrt (- (+ x y) (* x y))))
  (cbrt (sqrt (- (+ x y) (* x y))))
  1
  (cbrt (- (+ x y) (* x y)))
  (cbrt (- (pow (+ x y) 3) (pow (* x y) 3)))
  (cbrt (+ (* (+ x y) (+ x y)) (+ (* (* x y) (* x y)) (* (+ x y) (* x y)))))
  (cbrt (- (* (+ x y) (+ x y)) (* (* x y) (* x y))))
  (cbrt (+ (+ x y) (* x y)))
  (* (cbrt (cbrt (- (+ x y) (* x y)))) (cbrt (cbrt (- (+ x y) (* x y)))))
  (cbrt (cbrt (- (+ x y) (* x y))))
  (- (+ x y) (* x y))
  (sqrt (cbrt (- (+ x y) (* x y))))
  (sqrt (cbrt (- (+ x y) (* x y))))
  (log (cbrt (- (+ x y) (* x y))))
  (exp (cbrt (- (+ x y) (* x y))))
  (cbrt (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y)))))
  (cbrt (cbrt (- (+ x y) (* x y))))
  (cbrt (sqrt (- (+ x y) (* x y))))
  (cbrt (sqrt (- (+ x y) (* x y))))
  1
  (cbrt (- (+ x y) (* x y)))
  (cbrt (- (pow (+ x y) 3) (pow (* x y) 3)))
  (cbrt (+ (* (+ x y) (+ x y)) (+ (* (* x y) (* x y)) (* (+ x y) (* x y)))))
  (cbrt (- (* (+ x y) (+ x y)) (* (* x y) (* x y))))
  (cbrt (+ (+ x y) (* x y)))
  (* (cbrt (cbrt (- (+ x y) (* x y)))) (cbrt (cbrt (- (+ x y) (* x y)))))
  (cbrt (cbrt (- (+ x y) (* x y))))
  (- (+ x y) (* x y))
  (sqrt (cbrt (- (+ x y) (* x y))))
  (sqrt (cbrt (- (+ x y) (* x y))))
  2/3
  2
  (pow (cbrt (- (+ x y) (* x y))) 6)
  (pow (sqrt (cbrt (- (+ x y) (* x y)))) 4)
  2
  (* 2 (log (cbrt (- (+ x y) (* x y)))))
  (* 2 (log (cbrt (- (+ x y) (* x y)))))
  (pow (exp 1) (pow (sqrt (cbrt (- (+ x y) (* x y)))) 4))
  (pow (cbrt (- (+ x y) (* x y))) 6)
  (* (cbrt (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y))))) (cbrt (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y))))))
  (cbrt (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y)))))
  (pow (cbrt (- (+ x y) (* x y))) 6)
  (fabs (cbrt (- (+ x y) (* x y))))
  (fabs (cbrt (- (+ x y) (* x y))))
  (* (cbrt (- (pow (+ x y) 3) (pow (* x y) 3))) (cbrt (- (pow (+ x y) 3) (pow (* x y) 3))))
  (* (cbrt (+ (* (+ x y) (+ x y)) (+ (* (* x y) (* x y)) (* (+ x y) (* x y))))) (cbrt (+ (* (+ x y) (+ x y)) (+ (* (* x y) (* x y)) (* (+ x y) (* x y))))))
  (* (cbrt (- (pow (+ x y) 3) (pow (* x y) 3))) (cbrt (- (* (+ x y) (+ x y)) (* (* x y) (* x y)))))
  (* (cbrt (+ (* (+ x y) (+ x y)) (+ (* (* x y) (* x y)) (* (+ x y) (* x y))))) (cbrt (+ (+ x y) (* x y))))
  (* (cbrt (- (pow (+ x y) 3) (pow (* x y) 3))) (cbrt (- (* (+ x y) (+ x y)) (* (* x y) (* x y)))))
  (* (cbrt (+ (* (+ x y) (+ x y)) (+ (* (* x y) (* x y)) (* (+ x y) (* x y))))) (cbrt (+ (+ x y) (* x y))))
  (* (cbrt (- (* (+ x y) (+ x y)) (* (* x y) (* x y)))) (cbrt (- (* (+ x y) (+ x y)) (* (* x y) (* x y)))))
  (* (cbrt (+ (+ x y) (* x y))) (cbrt (+ (+ x y) (* x y))))
  (* (cbrt (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y))))) (cbrt (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y))))))
  (* (cbrt (cbrt (- (+ x y) (* x y)))) (cbrt (cbrt (- (+ x y) (* x y)))))
  (* (cbrt (sqrt (- (+ x y) (* x y)))) (cbrt (sqrt (- (+ x y) (* x y)))))
  (* (cbrt (sqrt (- (+ x y) (* x y)))) (cbrt (sqrt (- (+ x y) (* x y)))))
  1
  (pow (sqrt (cbrt (- (+ x y) (* x y)))) 4)
  (pow (cbrt (cbrt (- (+ x y) (* x y)))) 4)
  (* (cbrt (cbrt (- (+ x y) (* x y)))) (cbrt (cbrt (- (+ x y) (* x y)))))
  (cbrt (- (+ x y) (* x y)))
  (cbrt (- (+ x y) (* x y)))
  1
  (pow (sqrt (cbrt (- (+ x y) (* x y)))) 4)
  (* (cbrt (sqrt (- (+ x y) (* x y)))) (cbrt (sqrt (- (+ x y) (* x y)))))
  (* (cbrt (sqrt (- (+ x y) (* x y)))) (cbrt (sqrt (- (+ x y) (* x y)))))
  (* (cbrt (sqrt (- (+ x y) (* x y)))) (sqrt (cbrt (- (+ x y) (* x y)))))
  (* (cbrt (sqrt (- (+ x y) (* x y)))) (sqrt (cbrt (- (+ x y) (* x y)))))
  (* (cbrt (sqrt (- (+ x y) (* x y)))) (sqrt (cbrt (- (+ x y) (* x y)))))
  (* (cbrt (sqrt (- (+ x y) (* x y)))) (sqrt (cbrt (- (+ x y) (* x y)))))
  (cbrt (- (+ x y) (* x y)))
  (cbrt (- (+ x y) (* x y)))
  2/3
  2
  (* (cbrt (- (+ x y) (* x y))) (cbrt (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y))))))
  (* (cbrt (- (+ x y) (* x y))) (cbrt (sqrt (- (+ x y) (* x y)))))
  (cbrt (- (+ x y) (* x y)))
  (* (pow (cbrt (cbrt (- (+ x y) (* x y)))) 4) (cbrt (cbrt (- (+ x y) (* x y)))))
  (pow (sqrt (cbrt (- (+ x y) (* x y)))) 3)
  (cbrt (- (+ x y) (* x y)))
  (pow (cbrt (cbrt (- (+ x y) (* x y)))) 4)
  (* (cbrt (- (+ x y) (* x y))) (cbrt (sqrt (- (+ x y) (* x y)))))
  (pow (sqrt (cbrt (- (+ x y) (* x y)))) 4)
  (pow (cbrt (cbrt (- (+ x y) (* x y)))) 4)
  (pow (sqrt (cbrt (- (+ x y) (* x y)))) 3)
  (pow (sqrt (cbrt (- (+ x y) (* x y)))) 4)
  (* (cbrt (- (+ x y) (* x y))) (cbrt (- (pow (+ x y) 3) (pow (* x y) 3))))
  (* (cbrt (- (+ x y) (* x y))) (cbrt (- (* (+ x y) (+ x y)) (* (* x y) (* x y)))))
  (* (cbrt (- (+ x y) (* x y))) (cbrt (- (pow (+ x y) 3) (pow (* x y) 3))))
  (* (cbrt (- (+ x y) (* x y))) (cbrt (- (* (+ x y) (+ x y)) (* (* x y) (* x y)))))
  (- (pow y 1/3) (+ (* 1/3 (* x (pow y 1/3))) (* 1/9 (* (pow x 2) (pow y 1/3)))))
  (+ (* -1/3 (+ (/ (exp (* 1/3 (- (log -1) (+ (log (/ 1 x)) (log (/ 1 y)))))) y) (/ (exp (* 1/3 (- (log -1) (+ (log (/ 1 x)) (log (/ 1 y)))))) x))) (exp (* 1/3 (- (log -1) (+ (log (/ 1 x)) (log (/ 1 y)))))))
  (+ (* -1/3 (+ (/ (* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 y)) (log (/ -1 x)))))) x) (/ (* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 y)) (log (/ -1 x)))))) y))) (* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 y)) (log (/ -1 x)))))))
  (- (pow y 1/3) (+ (* 1/3 (* x (pow y 1/3))) (* 1/9 (* (pow x 2) (pow y 1/3)))))
  (+ (* -1/3 (+ (/ (exp (* 1/3 (- (log -1) (+ (log (/ 1 x)) (log (/ 1 y)))))) y) (/ (exp (* 1/3 (- (log -1) (+ (log (/ 1 x)) (log (/ 1 y)))))) x))) (exp (* 1/3 (- (log -1) (+ (log (/ 1 x)) (log (/ 1 y)))))))
  (+ (* -1/3 (+ (/ (* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 y)) (log (/ -1 x)))))) x) (/ (* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 y)) (log (/ -1 x)))))) y))) (* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 y)) (log (/ -1 x)))))))
  (- (pow y 1/3) (+ (* 1/3 (* x (pow y 1/3))) (* 1/9 (* (pow x 2) (pow y 1/3)))))
  (+ (* -1/3 (+ (/ (exp (* 1/3 (- (log -1) (+ (log (/ 1 x)) (log (/ 1 y)))))) y) (/ (exp (* 1/3 (- (log -1) (+ (log (/ 1 x)) (log (/ 1 y)))))) x))) (exp (* 1/3 (- (log -1) (+ (log (/ 1 x)) (log (/ 1 y)))))))
  (+ (* -1/3 (+ (/ (* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 y)) (log (/ -1 x)))))) x) (/ (* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 y)) (log (/ -1 x)))))) y))) (* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 y)) (log (/ -1 x)))))))
  (- (pow y 2/3) (+ (* 2/3 (* x (pow (pow y 2) 1/3))) (* 1/9 (* (pow x 2) (pow (pow y 2) 1/3)))))
  (+ (+ (* (pow (/ 1 y) -2/3) (pow (/ 1 x) -2/3)) (* -2/3 (* (/ (pow (/ 1 x) -2/3) (pow y 1/2)) (/ (pow (/ 1 y) -2/3) (pow y 1/2))))) (* -2/3 (* (/ (pow (/ 1 x) -2/3) (pow x 1/2)) (/ (pow (/ 1 y) -2/3) (pow x 1/2)))))
  (+ (+ (* (pow (cbrt -1) 2) (exp (* -1/3 (+ (* 2 (log (/ -1 y))) (* 2 (log (/ -1 x))))))) (* -2/3 (/ (pow (exp (* 2 (+ (log (/ -1 y)) (log (/ -1 x))))) -1/3) (/ x (pow (cbrt -1) 2))))) (* -2/3 (/ (pow (exp (* 2 (+ (log (/ -1 y)) (log (/ -1 x))))) -1/3) (/ y (pow (cbrt -1) 2)))))
0.851 * * * [progress]: adding candidates to table
1.253 * * [progress]: iteration 3 / 4
1.253 * * * [progress]: picking best candidate
1.257 * * * * [pick]: Picked  #<alt (λ (x y) (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))>
1.257 * * * [progress]: localizing error
1.270 * * * [progress]: generating rewritten candidates
1.270 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
1.298 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
1.309 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
1.320 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
1.332 * * * [progress]: generating series expansions
1.332 * * * * [progress]: [ 1 / 4 ] generating series at (2)
1.332 * [approximate]: Approximating (/ (- (+ (* 3 (* x (pow y 2))) (+ (* 3 (* (pow x 2) y)) (+ (pow x 3) (pow y 3)))) (* (pow x 3) (pow y 3))) (+ (* x (pow y 2)) (+ (* (pow x 2) y) (+ (pow y 2) (+ (* (pow x 2) (pow y 2)) (+ (* 2 (* x y)) (pow x 2))))))) in (x y) around 0
1.339 * [taylor]: Taking taylor expansion of (/ (- (+ (* 3 (* x (pow y 2))) (+ (* 3 (* (pow x 2) y)) (+ (pow x 3) (pow y 3)))) (* (pow x 3) (pow y 3))) (+ (* x (pow y 2)) (+ (* (pow x 2) y) (+ (pow y 2) (+ (* (pow x 2) (pow y 2)) (+ (* 2 (* x y)) (pow x 2))))))) in y
1.342 * [taylor]: Taking taylor expansion of (/ (- (+ (* 3 (* x (pow y 2))) (+ (* 3 (* (pow x 2) y)) (+ (pow x 3) (pow y 3)))) (* (pow x 3) (pow y 3))) (+ (* x (pow y 2)) (+ (* (pow x 2) y) (+ (pow y 2) (+ (* (pow x 2) (pow y 2)) (+ (* 2 (* x y)) (pow x 2))))))) in y
1.351 * [taylor]: Taking taylor expansion of (/ (- (+ (* 3 (* x (pow y 2))) (+ (* 3 (* (pow x 2) y)) (+ (pow x 3) (pow y 3)))) (* (pow x 3) (pow y 3))) (+ (* x (pow y 2)) (+ (* (pow x 2) y) (+ (pow y 2) (+ (* (pow x 2) (pow y 2)) (+ (* 2 (* x y)) (pow x 2))))))) in y
1.352 * [approximate]: Approximating (/ (- (+ (* 3 (/ 1 (* x (pow y 2)))) (+ (* 3 (/ 1 (* (pow x 2) y))) (+ (/ 1 (pow y 3)) (/ 1 (pow x 3))))) (/ 1 (* (pow x 3) (pow y 3)))) (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (/ 1 (* x (pow y 2))) (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2 (/ 1 (* x y))))))))) in (x y) around 0
1.378 * [taylor]: Taking taylor expansion of (/ (- (+ (* 3 (/ 1 (* x (pow y 2)))) (+ (* 3 (/ 1 (* (pow x 2) y))) (+ (/ 1 (pow y 3)) (/ 1 (pow x 3))))) (/ 1 (* (pow x 3) (pow y 3)))) (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (/ 1 (* x (pow y 2))) (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2 (/ 1 (* x y))))))))) in y
1.390 * [taylor]: Taking taylor expansion of (/ (- (+ (* 3 (/ 1 (* x (pow y 2)))) (+ (* 3 (/ 1 (* (pow x 2) y))) (+ (/ 1 (pow y 3)) (/ 1 (pow x 3))))) (/ 1 (* (pow x 3) (pow y 3)))) (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (/ 1 (* x (pow y 2))) (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2 (/ 1 (* x y))))))))) in y
1.414 * [approximate]: Approximating (* -1 (/ (+ (* 3 (/ 1 (* x (pow y 2)))) (+ (* 3 (/ 1 (* (pow x 2) y))) (+ (/ 1 (pow y 3)) (+ (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (pow x 3)))))) (- (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2 (/ 1 (* x y)))))) (+ (/ 1 (* x (pow y 2))) (/ 1 (* (pow x 2) y)))))) in (x y) around 0
1.434 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 3 (/ 1 (* x (pow y 2)))) (+ (* 3 (/ 1 (* (pow x 2) y))) (+ (/ 1 (pow y 3)) (+ (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (pow x 3)))))) (- (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2 (/ 1 (* x y)))))) (+ (/ 1 (* x (pow y 2))) (/ 1 (* (pow x 2) y)))))) in y
1.449 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 3 (/ 1 (* x (pow y 2)))) (+ (* 3 (/ 1 (* (pow x 2) y))) (+ (/ 1 (pow y 3)) (+ (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (pow x 3)))))) (- (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2 (/ 1 (* x y)))))) (+ (/ 1 (* x (pow y 2))) (/ 1 (* (pow x 2) y)))))) in y
1.474 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
1.475 * [approximate]: Approximating (- (+ (* 3 (* x (pow y 2))) (+ (* 3 (* (pow x 2) y)) (+ (pow x 3) (pow y 3)))) (* (pow x 3) (pow y 3))) in (x y) around 0
1.476 * [taylor]: Taking taylor expansion of (- (+ (* 3 (* x (pow y 2))) (+ (* 3 (* (pow x 2) y)) (+ (pow x 3) (pow y 3)))) (* (pow x 3) (pow y 3))) in y
1.477 * [taylor]: Taking taylor expansion of (- (+ (* 3 (* x (pow y 2))) (+ (* 3 (* (pow x 2) y)) (+ (pow x 3) (pow y 3)))) (* (pow x 3) (pow y 3))) in y
1.481 * [taylor]: Taking taylor expansion of (- (+ (* 3 (* x (pow y 2))) (+ (* 3 (* (pow x 2) y)) (+ (pow x 3) (pow y 3)))) (* (pow x 3) (pow y 3))) in y
1.489 * [taylor]: Taking taylor expansion of (- (+ (* 3 (* x (pow y 2))) (+ (* 3 (* (pow x 2) y)) (+ (pow x 3) (pow y 3)))) (* (pow x 3) (pow y 3))) in y
1.491 * [approximate]: Approximating (- (+ (* 3 (/ 1 (* x (pow y 2)))) (+ (* 3 (/ 1 (* (pow x 2) y))) (+ (/ 1 (pow y 3)) (/ 1 (pow x 3))))) (/ 1 (* (pow x 3) (pow y 3)))) in (x y) around 0
1.501 * [taylor]: Taking taylor expansion of (- (+ (* 3 (/ 1 (* x (pow y 2)))) (+ (* 3 (/ 1 (* (pow x 2) y))) (+ (/ 1 (pow y 3)) (/ 1 (pow x 3))))) (/ 1 (* (pow x 3) (pow y 3)))) in y
1.506 * [taylor]: Taking taylor expansion of (- (+ (* 3 (/ 1 (* x (pow y 2)))) (+ (* 3 (/ 1 (* (pow x 2) y))) (+ (/ 1 (pow y 3)) (/ 1 (pow x 3))))) (/ 1 (* (pow x 3) (pow y 3)))) in y
1.515 * [taylor]: Taking taylor expansion of (- (+ (* 3 (/ 1 (* x (pow y 2)))) (+ (* 3 (/ 1 (* (pow x 2) y))) (+ (/ 1 (pow y 3)) (/ 1 (pow x 3))))) (/ 1 (* (pow x 3) (pow y 3)))) in y
1.530 * [taylor]: Taking taylor expansion of (- (+ (* 3 (/ 1 (* x (pow y 2)))) (+ (* 3 (/ 1 (* (pow x 2) y))) (+ (/ 1 (pow y 3)) (/ 1 (pow x 3))))) (/ 1 (* (pow x 3) (pow y 3)))) in y
1.533 * [approximate]: Approximating (neg (+ (* 3 (/ 1 (* x (pow y 2)))) (+ (* 3 (/ 1 (* (pow x 2) y))) (+ (/ 1 (pow y 3)) (+ (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (pow x 3))))))) in (x y) around 0
1.541 * [taylor]: Taking taylor expansion of (neg (+ (* 3 (/ 1 (* x (pow y 2)))) (+ (* 3 (/ 1 (* (pow x 2) y))) (+ (/ 1 (pow y 3)) (+ (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (pow x 3))))))) in y
1.547 * [taylor]: Taking taylor expansion of (neg (+ (* 3 (/ 1 (* x (pow y 2)))) (+ (* 3 (/ 1 (* (pow x 2) y))) (+ (/ 1 (pow y 3)) (+ (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (pow x 3))))))) in y
1.556 * [taylor]: Taking taylor expansion of (neg (+ (* 3 (/ 1 (* x (pow y 2)))) (+ (* 3 (/ 1 (* (pow x 2) y))) (+ (/ 1 (pow y 3)) (+ (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (pow x 3))))))) in y
1.569 * [taylor]: Taking taylor expansion of (neg (+ (* 3 (/ 1 (* x (pow y 2)))) (+ (* 3 (/ 1 (* (pow x 2) y))) (+ (/ 1 (pow y 3)) (+ (/ 1 (* (pow x 3) (pow y 3))) (/ 1 (pow x 3))))))) in y
1.571 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
1.572 * [approximate]: Approximating (+ (* x (pow y 2)) (+ (* (pow x 2) y) (+ (pow y 2) (+ (* (pow x 2) (pow y 2)) (+ (* 2 (* x y)) (pow x 2)))))) in (x y) around 0
1.573 * [taylor]: Taking taylor expansion of (+ (* x (pow y 2)) (+ (* (pow x 2) y) (+ (pow y 2) (+ (* (pow x 2) (pow y 2)) (+ (* 2 (* x y)) (pow x 2)))))) in y
1.574 * [taylor]: Taking taylor expansion of (+ (* x (pow y 2)) (+ (* (pow x 2) y) (+ (pow y 2) (+ (* (pow x 2) (pow y 2)) (+ (* 2 (* x y)) (pow x 2)))))) in y
1.579 * [taylor]: Taking taylor expansion of (+ (* x (pow y 2)) (+ (* (pow x 2) y) (+ (pow y 2) (+ (* (pow x 2) (pow y 2)) (+ (* 2 (* x y)) (pow x 2)))))) in y
1.582 * [approximate]: Approximating (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (/ 1 (* x (pow y 2))) (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2 (/ 1 (* x y)))))))) in (x y) around 0
1.590 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (/ 1 (* x (pow y 2))) (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2 (/ 1 (* x y)))))))) in y
1.597 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (/ 1 (* x (pow y 2))) (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2 (/ 1 (* x y)))))))) in y
1.601 * [approximate]: Approximating (- (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2 (/ 1 (* x y)))))) (+ (/ 1 (* x (pow y 2))) (/ 1 (* (pow x 2) y)))) in (x y) around 0
1.609 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2 (/ 1 (* x y)))))) (+ (/ 1 (* x (pow y 2))) (/ 1 (* (pow x 2) y)))) in y
1.614 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2 (/ 1 (* x y)))))) (+ (/ 1 (* x (pow y 2))) (/ 1 (* (pow x 2) y)))) in y
1.618 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
1.618 * [approximate]: Approximating (pow (* x y) 3) in (x y) around 0
1.619 * [taylor]: Taking taylor expansion of (pow (* x y) 3) in y
1.620 * [taylor]: Taking taylor expansion of (pow (* x y) 3) in y
1.623 * [taylor]: Taking taylor expansion of (pow (* x y) 3) in y
1.627 * [taylor]: Taking taylor expansion of (pow (* x y) 3) in y
1.627 * [approximate]: Approximating (pow (/ 1 (* x y)) 3) in (x y) around 0
1.628 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x y)) 3) in y
1.630 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x y)) 3) in y
1.634 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x y)) 3) in y
1.638 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x y)) 3) in y
1.645 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x y)) 3) in y
1.651 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x y)) 3) in y
1.652 * [approximate]: Approximating (pow (/ 1 (* x y)) 3) in (x y) around 0
1.653 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x y)) 3) in y
1.655 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x y)) 3) in y
1.658 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x y)) 3) in y
1.663 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x y)) 3) in y
1.671 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x y)) 3) in y
1.678 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x y)) 3) in y
1.678 * * * [progress]: simplifying candidates
1.681 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (- (log (- (pow (+ x y) 3) (pow (* x y) 3))) (log (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (log (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (exp (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ (* (* (- (pow (+ x y) 3) (pow (* x y) 3)) (- (pow (+ x y) 3) (pow (* x y) 3))) (- (pow (+ x y) 3) (pow (* x y) 3))) (* (* (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))) (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (* (cbrt (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))) (cbrt (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))))
  (cbrt (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (* (* (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))) (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (sqrt (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (sqrt (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (neg (- (pow (+ x y) 3) (pow (* x y) 3)))
  (neg (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))
  (/ (pow (+ x y) 3) (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))
  (/ (pow (* x y) 3) (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))
  (/ (* (cbrt (- (pow (+ x y) 3) (pow (* x y) 3))) (cbrt (- (pow (+ x y) 3) (pow (* x y) 3)))) (* (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))))
  (/ (cbrt (- (pow (+ x y) 3) (pow (* x y) 3))) (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ (* (cbrt (- (pow (+ x y) 3) (pow (* x y) 3))) (cbrt (- (pow (+ x y) 3) (pow (* x y) 3)))) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ (cbrt (- (pow (+ x y) 3) (pow (* x y) 3))) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ (* (cbrt (- (pow (+ x y) 3) (pow (* x y) 3))) (cbrt (- (pow (+ x y) 3) (pow (* x y) 3)))) 1)
  (/ (cbrt (- (pow (+ x y) 3) (pow (* x y) 3))) (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))
  (/ (sqrt (- (pow (+ x y) 3) (pow (* x y) 3))) (* (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))))
  (/ (sqrt (- (pow (+ x y) 3) (pow (* x y) 3))) (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ (sqrt (- (pow (+ x y) 3) (pow (* x y) 3))) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ (sqrt (- (pow (+ x y) 3) (pow (* x y) 3))) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ (sqrt (- (pow (+ x y) 3) (pow (* x y) 3))) 1)
  (/ (sqrt (- (pow (+ x y) 3) (pow (* x y) 3))) (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))
  (/ (+ (* (+ x y) (+ x y)) (+ (* (* x y) (* x y)) (* (+ x y) (* x y)))) (* (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))))
  (/ (- (+ x y) (* x y)) (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ (+ (* (+ x y) (+ x y)) (+ (* (* x y) (* x y)) (* (+ x y) (* x y)))) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ (- (+ x y) (* x y)) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ (+ (* (+ x y) (+ x y)) (+ (* (* x y) (* x y)) (* (+ x y) (* x y)))) 1)
  (/ (- (+ x y) (* x y)) (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))
  (/ 1 (* (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))))
  (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ 1 (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ 1 1)
  (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))
  (/ (+ (pow (sqrt (+ x y)) 3) (sqrt (pow (* x y) 3))) (* (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))))
  (/ (- (pow (sqrt (+ x y)) 3) (sqrt (pow (* x y) 3))) (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ (+ (pow (sqrt (+ x y)) 3) (sqrt (pow (* x y) 3))) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ (- (pow (sqrt (+ x y)) 3) (sqrt (pow (* x y) 3))) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ (+ (pow (sqrt (+ x y)) 3) (sqrt (pow (* x y) 3))) 1)
  (/ (- (pow (sqrt (+ x y)) 3) (sqrt (pow (* x y) 3))) (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))
  (/ (+ (pow (sqrt (+ x y)) 3) (pow (* x y) (/ 3 2))) (* (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))))
  (/ (- (pow (sqrt (+ x y)) 3) (pow (* x y) (/ 3 2))) (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ (+ (pow (sqrt (+ x y)) 3) (pow (* x y) (/ 3 2))) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ (- (pow (sqrt (+ x y)) 3) (pow (* x y) (/ 3 2))) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ (+ (pow (sqrt (+ x y)) 3) (pow (* x y) (/ 3 2))) 1)
  (/ (- (pow (sqrt (+ x y)) 3) (pow (* x y) (/ 3 2))) (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))
  (/ (+ (pow (sqrt (+ x y)) 3) (sqrt (pow (* x y) 3))) (* (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))))
  (/ (- (pow (sqrt (+ x y)) 3) (sqrt (pow (* x y) 3))) (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ (+ (pow (sqrt (+ x y)) 3) (sqrt (pow (* x y) 3))) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ (- (pow (sqrt (+ x y)) 3) (sqrt (pow (* x y) 3))) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ (+ (pow (sqrt (+ x y)) 3) (sqrt (pow (* x y) 3))) 1)
  (/ (- (pow (sqrt (+ x y)) 3) (sqrt (pow (* x y) 3))) (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))
  (/ (+ (pow (sqrt (+ x y)) 3) (pow (* x y) (/ 3 2))) (* (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))))
  (/ (- (pow (sqrt (+ x y)) 3) (pow (* x y) (/ 3 2))) (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ (+ (pow (sqrt (+ x y)) 3) (pow (* x y) (/ 3 2))) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ (- (pow (sqrt (+ x y)) 3) (pow (* x y) (/ 3 2))) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ (+ (pow (sqrt (+ x y)) 3) (pow (* x y) (/ 3 2))) 1)
  (/ (- (pow (sqrt (+ x y)) 3) (pow (* x y) (/ 3 2))) (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))
  (/ (+ (sqrt (pow (+ x y) 3)) (sqrt (pow (* x y) 3))) (* (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))))
  (/ (- (sqrt (pow (+ x y) 3)) (sqrt (pow (* x y) 3))) (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ (+ (sqrt (pow (+ x y) 3)) (sqrt (pow (* x y) 3))) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ (- (sqrt (pow (+ x y) 3)) (sqrt (pow (* x y) 3))) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ (+ (sqrt (pow (+ x y) 3)) (sqrt (pow (* x y) 3))) 1)
  (/ (- (sqrt (pow (+ x y) 3)) (sqrt (pow (* x y) 3))) (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))
  (/ (+ (sqrt (pow (+ x y) 3)) (pow (* x y) (/ 3 2))) (* (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))))
  (/ (- (sqrt (pow (+ x y) 3)) (pow (* x y) (/ 3 2))) (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ (+ (sqrt (pow (+ x y) 3)) (pow (* x y) (/ 3 2))) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ (- (sqrt (pow (+ x y) 3)) (pow (* x y) (/ 3 2))) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ (+ (sqrt (pow (+ x y) 3)) (pow (* x y) (/ 3 2))) 1)
  (/ (- (sqrt (pow (+ x y) 3)) (pow (* x y) (/ 3 2))) (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))
  (/ (+ (pow (+ x y) (/ 3 2)) (sqrt (pow (* x y) 3))) (* (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))))
  (/ (- (pow (+ x y) (/ 3 2)) (sqrt (pow (* x y) 3))) (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ (+ (pow (+ x y) (/ 3 2)) (sqrt (pow (* x y) 3))) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ (- (pow (+ x y) (/ 3 2)) (sqrt (pow (* x y) 3))) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ (+ (pow (+ x y) (/ 3 2)) (sqrt (pow (* x y) 3))) 1)
  (/ (- (pow (+ x y) (/ 3 2)) (sqrt (pow (* x y) 3))) (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))
  (/ (+ (pow (+ x y) (/ 3 2)) (pow (* x y) (/ 3 2))) (* (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))))
  (/ (- (pow (+ x y) (/ 3 2)) (pow (* x y) (/ 3 2))) (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ (+ (pow (+ x y) (/ 3 2)) (pow (* x y) (/ 3 2))) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ (- (pow (+ x y) (/ 3 2)) (pow (* x y) (/ 3 2))) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ (+ (pow (+ x y) (/ 3 2)) (pow (* x y) (/ 3 2))) 1)
  (/ (- (pow (+ x y) (/ 3 2)) (pow (* x y) (/ 3 2))) (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))
  (/ 1 (* (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))))
  (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ 1 (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ 1 1)
  (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))
  (/ 1 (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))
  (/ (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))) (- (pow (+ x y) 3) (pow (* x y) 3)))
  (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (* (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))))
  (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ (- (pow (+ x y) 3) (pow (* x y) 3)) 1)
  (/ (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))) (cbrt (- (pow (+ x y) 3) (pow (* x y) 3))))
  (/ (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))) (sqrt (- (pow (+ x y) 3) (pow (* x y) 3))))
  (/ (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))) (- (+ x y) (* x y)))
  (/ (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))) (- (pow (+ x y) 3) (pow (* x y) 3)))
  (/ (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))) (- (pow (sqrt (+ x y)) 3) (sqrt (pow (* x y) 3))))
  (/ (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))) (- (pow (sqrt (+ x y)) 3) (pow (* x y) (/ 3 2))))
  (/ (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))) (- (pow (sqrt (+ x y)) 3) (sqrt (pow (* x y) 3))))
  (/ (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))) (- (pow (sqrt (+ x y)) 3) (pow (* x y) (/ 3 2))))
  (/ (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))) (- (sqrt (pow (+ x y) 3)) (sqrt (pow (* x y) 3))))
  (/ (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))) (- (sqrt (pow (+ x y) 3)) (pow (* x y) (/ 3 2))))
  (/ (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))) (- (pow (+ x y) (/ 3 2)) (sqrt (pow (* x y) 3))))
  (/ (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))) (- (pow (+ x y) (/ 3 2)) (pow (* x y) (/ 3 2))))
  (/ (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))) (- (pow (+ x y) 3) (pow (* x y) 3)))
  (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (* (+ (* x x) (- (* y y) (* x y))) (+ (* x x) (- (* y y) (* x y))))) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (+ (pow x 3) (pow y 3)) (+ (pow x 3) (pow y 3))))))
  (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (* (+ (* x x) (- (* y y) (* x y))) (- x y))) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (+ (pow x 3) (pow y 3)) (- (* x x) (* y y))))))
  (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (* (- x y) (+ (* x x) (- (* y y) (* x y))))) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (- (* x x) (* y y)) (+ (pow x 3) (pow y 3))))))
  (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (* (- x y) (- x y))) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (- (* x x) (* y y)) (- (* x x) (* y y))))))
  (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (+ (* x x) (- (* y y) (* x y)))) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (+ x y) (+ (pow x 3) (pow y 3))))))
  (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (- x y)) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (+ x y) (- (* x x) (* y y))))))
  (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (+ (* x x) (- (* y y) (* x y)))) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (+ (pow x 3) (pow y 3)) (+ x y)))))
  (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (- x y)) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (- (* x x) (* y y)) (+ x y)))))
  (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (* (+ (* x x) (- (* y y) (* x y))) (+ (* x x) (- (* y y) (* x y))))) (* (- (* x y) (+ x y)) (* (+ (pow x 3) (pow y 3)) (+ (pow x 3) (pow y 3))))))
  (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (* (+ (* x x) (- (* y y) (* x y))) (- x y))) (* (- (* x y) (+ x y)) (* (+ (pow x 3) (pow y 3)) (- (* x x) (* y y))))))
  (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (* (- x y) (+ (* x x) (- (* y y) (* x y))))) (* (- (* x y) (+ x y)) (* (- (* x x) (* y y)) (+ (pow x 3) (pow y 3))))))
  (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (* (- x y) (- x y))) (* (- (* x y) (+ x y)) (* (- (* x x) (* y y)) (- (* x x) (* y y))))))
  (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (+ (* x x) (- (* y y) (* x y)))) (* (- (* x y) (+ x y)) (* (+ x y) (+ (pow x 3) (pow y 3))))))
  (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (- x y)) (* (- (* x y) (+ x y)) (* (+ x y) (- (* x x) (* y y))))))
  (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (+ (* x x) (- (* y y) (* x y)))) (* (- (* x y) (+ x y)) (* (+ (pow x 3) (pow y 3)) (+ x y)))))
  (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (- x y)) (* (- (* x y) (+ x y)) (* (- (* x x) (* y y)) (+ x y)))))
  (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (+ (pow (* (* x y) (+ (* x y) (+ x y))) 3) (pow (* (+ x y) (+ x y)) 3)))
  (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (- (* (* (* x y) (+ (* x y) (+ x y))) (* (* x y) (+ (* x y) (+ x y)))) (* (* (+ x y) (+ x y)) (* (+ x y) (+ x y)))))
  (* (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))) (+ (* (pow (+ x y) 3) (pow (+ x y) 3)) (+ (* (pow (* x y) 3) (pow (* x y) 3)) (* (pow (+ x y) 3) (pow (* x y) 3)))))
  (* (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))) (+ (pow (+ x y) 3) (pow (* x y) 3)))
  (/ (exp (pow (+ x y) 3)) (exp (pow (* x y) 3)))
  (log (- (pow (+ x y) 3) (pow (* x y) 3)))
  (exp (- (pow (+ x y) 3) (pow (* x y) 3)))
  (* (cbrt (- (pow (+ x y) 3) (pow (* x y) 3))) (cbrt (- (pow (+ x y) 3) (pow (* x y) 3))))
  (cbrt (- (pow (+ x y) 3) (pow (* x y) 3)))
  (* (* (- (pow (+ x y) 3) (pow (* x y) 3)) (- (pow (+ x y) 3) (pow (* x y) 3))) (- (pow (+ x y) 3) (pow (* x y) 3)))
  (sqrt (- (pow (+ x y) 3) (pow (* x y) 3)))
  (sqrt (- (pow (+ x y) 3) (pow (* x y) 3)))
  (+ (* (+ x y) (+ x y)) (+ (* (* x y) (* x y)) (* (+ x y) (* x y))))
  (- (+ x y) (* x y))
  (- (pow (pow (+ x y) 3) 3) (pow (pow (* x y) 3) 3))
  (+ (* (pow (+ x y) 3) (pow (+ x y) 3)) (+ (* (pow (* x y) 3) (pow (* x y) 3)) (* (pow (+ x y) 3) (pow (* x y) 3))))
  (neg (pow (* x y) 3))
  (- (* (pow (+ x y) 3) (pow (+ x y) 3)) (* (pow (* x y) 3) (pow (* x y) 3)))
  (+ (pow (+ x y) 3) (pow (* x y) 3))
  (+ (pow (sqrt (+ x y)) 3) (sqrt (pow (* x y) 3)))
  (- (pow (sqrt (+ x y)) 3) (sqrt (pow (* x y) 3)))
  (+ (pow (sqrt (+ x y)) 3) (pow (* x y) (/ 3 2)))
  (- (pow (sqrt (+ x y)) 3) (pow (* x y) (/ 3 2)))
  (+ (pow (sqrt (+ x y)) 3) (sqrt (pow (* x y) 3)))
  (- (pow (sqrt (+ x y)) 3) (sqrt (pow (* x y) 3)))
  (+ (pow (sqrt (+ x y)) 3) (pow (* x y) (/ 3 2)))
  (- (pow (sqrt (+ x y)) 3) (pow (* x y) (/ 3 2)))
  (+ (sqrt (pow (+ x y) 3)) (sqrt (pow (* x y) 3)))
  (- (sqrt (pow (+ x y) 3)) (sqrt (pow (* x y) 3)))
  (+ (sqrt (pow (+ x y) 3)) (pow (* x y) (/ 3 2)))
  (- (sqrt (pow (+ x y) 3)) (pow (* x y) (/ 3 2)))
  (+ (pow (+ x y) (/ 3 2)) (sqrt (pow (* x y) 3)))
  (- (pow (+ x y) (/ 3 2)) (sqrt (pow (* x y) 3)))
  (+ (pow (+ x y) (/ 3 2)) (pow (* x y) (/ 3 2)))
  (- (pow (+ x y) (/ 3 2)) (pow (* x y) (/ 3 2)))
  (- (pow (+ x y) 3) (pow (* x y) 3))
  (neg (pow (* x y) 3))
  (* (exp (* (* x y) (+ (* x y) (+ x y)))) (exp (* (+ x y) (+ x y))))
  (log (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))
  (exp (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))
  (* (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))
  (* (* (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))) (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))
  (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))
  (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))
  (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (* (+ (* x x) (- (* y y) (* x y))) (+ (* x x) (- (* y y) (* x y))))) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (+ (pow x 3) (pow y 3)) (+ (pow x 3) (pow y 3)))))
  (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (+ (* x x) (- (* y y) (* x y))) (+ (* x x) (- (* y y) (* x y)))))
  (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (* (+ (* x x) (- (* y y) (* x y))) (- x y))) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (+ (pow x 3) (pow y 3)) (- (* x x) (* y y)))))
  (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (+ (* x x) (- (* y y) (* x y))) (- x y)))
  (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (* (- x y) (+ (* x x) (- (* y y) (* x y))))) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (- (* x x) (* y y)) (+ (pow x 3) (pow y 3)))))
  (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (- x y) (+ (* x x) (- (* y y) (* x y)))))
  (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (* (- x y) (- x y))) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (- (* x x) (* y y)) (- (* x x) (* y y)))))
  (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (- x y) (- x y)))
  (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (+ (* x x) (- (* y y) (* x y)))) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (+ x y) (+ (pow x 3) (pow y 3)))))
  (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (+ (* x x) (- (* y y) (* x y))))
  (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (- x y)) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (+ x y) (- (* x x) (* y y)))))
  (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (- x y))
  (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (+ (* x x) (- (* y y) (* x y)))) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (+ (pow x 3) (pow y 3)) (+ x y))))
  (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (+ (* x x) (- (* y y) (* x y))))
  (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (- x y)) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (- (* x x) (* y y)) (+ x y))))
  (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (- x y))
  (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (* (+ (* x x) (- (* y y) (* x y))) (+ (* x x) (- (* y y) (* x y))))) (* (- (* x y) (+ x y)) (* (+ (pow x 3) (pow y 3)) (+ (pow x 3) (pow y 3)))))
  (* (- (* x y) (+ x y)) (* (+ (* x x) (- (* y y) (* x y))) (+ (* x x) (- (* y y) (* x y)))))
  (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (* (+ (* x x) (- (* y y) (* x y))) (- x y))) (* (- (* x y) (+ x y)) (* (+ (pow x 3) (pow y 3)) (- (* x x) (* y y)))))
  (* (- (* x y) (+ x y)) (* (+ (* x x) (- (* y y) (* x y))) (- x y)))
  (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (* (- x y) (+ (* x x) (- (* y y) (* x y))))) (* (- (* x y) (+ x y)) (* (- (* x x) (* y y)) (+ (pow x 3) (pow y 3)))))
  (* (- (* x y) (+ x y)) (* (- x y) (+ (* x x) (- (* y y) (* x y)))))
  (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (* (- x y) (- x y))) (* (- (* x y) (+ x y)) (* (- (* x x) (* y y)) (- (* x x) (* y y)))))
  (* (- (* x y) (+ x y)) (* (- x y) (- x y)))
  (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (+ (* x x) (- (* y y) (* x y)))) (* (- (* x y) (+ x y)) (* (+ x y) (+ (pow x 3) (pow y 3)))))
  (* (- (* x y) (+ x y)) (+ (* x x) (- (* y y) (* x y))))
  (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (- x y)) (* (- (* x y) (+ x y)) (* (+ x y) (- (* x x) (* y y)))))
  (* (- (* x y) (+ x y)) (- x y))
  (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (+ (* x x) (- (* y y) (* x y)))) (* (- (* x y) (+ x y)) (* (+ (pow x 3) (pow y 3)) (+ x y))))
  (* (- (* x y) (+ x y)) (+ (* x x) (- (* y y) (* x y))))
  (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (- x y)) (* (- (* x y) (+ x y)) (* (- (* x x) (* y y)) (+ x y))))
  (* (- (* x y) (+ x y)) (- x y))
  (+ (pow (* (* x y) (+ (* x y) (+ x y))) 3) (pow (* (+ x y) (+ x y)) 3))
  (+ (* (* (* x y) (+ (* x y) (+ x y))) (* (* x y) (+ (* x y) (+ x y)))) (- (* (* (+ x y) (+ x y)) (* (+ x y) (+ x y))) (* (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (- (* (* (* x y) (+ (* x y) (+ x y))) (* (* x y) (+ (* x y) (+ x y)))) (* (* (+ x y) (+ x y)) (* (+ x y) (+ x y))))
  (- (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))
  (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) x))
  (+ (* (* x y) (+ (* x y) (+ x y))) (* x (+ x y)))
  (+ (* (* x y) (+ x y)) (* (+ x y) (+ x y)))
  (+ (* (+ x y) (* x y)) (* (+ x y) (+ x y)))
  (* (+ (log x) (log y)) 3)
  (* (log (* x y)) 3)
  (* (log (* x y)) 3)
  (* 1 3)
  (* 1 3)
  (pow (* x y) (* (cbrt 3) (cbrt 3)))
  (pow (* x y) (sqrt 3))
  (pow (* x y) 1)
  (pow x 3)
  (pow y 3)
  (* (* x y) (* x y))
  (log (pow (* x y) 3))
  (exp (pow (* x y) 3))
  (* (cbrt (pow (* x y) 3)) (cbrt (pow (* x y) 3)))
  (cbrt (pow (* x y) 3))
  (* (* (pow (* x y) 3) (pow (* x y) 3)) (pow (* x y) 3))
  (pow x 3)
  (pow y 3)
  (* (* x y) (* x y))
  (sqrt (pow (* x y) 3))
  (sqrt (pow (* x y) 3))
  (pow (* x y) (/ 3 2))
  (pow (* x y) (/ 3 2))
  (- (+ x y) (* x y))
  (- (+ x y) (* x y))
  (- (+ x y) (* x y))
  (+ (* 3 (* x (pow y 2))) (+ (* 3 (* (pow x 2) y)) (pow x 3)))
  (- (+ (* 3 (* x (pow y 2))) (pow y 3)) (* (pow x 3) (pow y 3)))
  (- (+ (* 3 (* x (pow y 2))) (pow y 3)) (* (pow x 3) (pow y 3)))
  (+ (pow x 2) (+ (pow y 2) (* 2 (* x y))))
  (+ (* x (pow y 2)) (+ (* (pow x 2) y) (* (pow x 2) (pow y 2))))
  (+ (* x (pow y 2)) (+ (* (pow x 2) y) (* (pow x 2) (pow y 2))))
  (* (pow x 3) (pow y 3))
  (* (pow x 3) (pow y 3))
  (* (pow x 3) (pow y 3))
1.698 * * [simplify]: iteration  0 :  902  enodes  (cost  3664 )
1.717 * * [simplify]: iteration  1 :  4881  enodes  (cost  3521 )
1.810 * * [simplify]: iteration  2 :  5002  enodes  (cost  3521 )
1.827 * [simplify]: Simplified to:
  (log (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (log (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (exp (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (pow (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) 3)
  (* (cbrt (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))) (cbrt (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))))
  (cbrt (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (pow (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) 3)
  (sqrt (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (sqrt (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (neg (- (pow (+ x y) 3) (pow (* x y) 3)))
  (neg (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))
  (/ (pow (+ x y) 3) (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))
  (/ (pow (* x y) 3) (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))
  (/ (* (cbrt (- (pow (+ x y) 3) (pow (* x y) 3))) (cbrt (- (pow (+ x y) 3) (pow (* x y) 3)))) (* (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))))
  (/ (cbrt (- (pow (+ x y) 3) (pow (* x y) 3))) (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ (* (cbrt (- (pow (+ x y) 3) (pow (* x y) 3))) (cbrt (- (pow (+ x y) 3) (pow (* x y) 3)))) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ (cbrt (- (pow (+ x y) 3) (pow (* x y) 3))) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (* (cbrt (- (pow (+ x y) 3) (pow (* x y) 3))) (cbrt (- (pow (+ x y) 3) (pow (* x y) 3))))
  (/ (cbrt (- (pow (+ x y) 3) (pow (* x y) 3))) (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)))
  (/ (sqrt (- (pow (+ x y) 3) (pow (* x y) 3))) (* (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))))
  (/ (sqrt (- (pow (+ x y) 3) (pow (* x y) 3))) (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ (sqrt (- (pow (+ x y) 3) (pow (* x y) 3))) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ (sqrt (- (pow (+ x y) 3) (pow (* x y) 3))) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (sqrt (- (pow (+ x y) 3) (pow (* x y) 3)))
  (/ (sqrt (- (pow (+ x y) 3) (pow (* x y) 3))) (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)))
  (/ (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))) (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ (- (+ x y) (* x y)) (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (* (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) 1))
  (/ (- (+ x y) (* x y)) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2))
  (/ (- (+ x y) (* x y)) (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)))
  (/ 1 (* (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))))
  (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ 1 (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  1
  (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))
  (/ (+ (pow (sqrt (+ x y)) 3) (sqrt (pow (* x y) 3))) (* (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))))
  (/ (- (pow (sqrt (+ x y)) 3) (sqrt (pow (* x y) 3))) (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ (+ (pow (sqrt (+ x y)) 3) (sqrt (pow (* x y) 3))) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ (- (pow (sqrt (+ x y)) 3) (sqrt (pow (* x y) 3))) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (+ (pow (sqrt (+ x y)) 3) (sqrt (pow (* x y) 3)))
  (/ (- (pow (sqrt (+ x y)) 3) (sqrt (pow (* x y) 3))) (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)))
  (/ (+ (pow (sqrt (+ x y)) 3) (pow (* x y) 3/2)) (* (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))))
  (/ (- (pow (sqrt (+ x y)) 3) (pow (* x y) 3/2)) (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ (+ (pow (sqrt (+ x y)) 3) (pow (* x y) 3/2)) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ (- (pow (sqrt (+ x y)) 3) (pow (* x y) 3/2)) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (+ (pow (sqrt (+ x y)) 3) (pow (* x y) 3/2))
  (/ (- (pow (sqrt (+ x y)) 3) (pow (* x y) 3/2)) (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)))
  (/ (+ (pow (sqrt (+ x y)) 3) (sqrt (pow (* x y) 3))) (* (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))))
  (/ (- (pow (sqrt (+ x y)) 3) (sqrt (pow (* x y) 3))) (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ (+ (pow (sqrt (+ x y)) 3) (sqrt (pow (* x y) 3))) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ (- (pow (sqrt (+ x y)) 3) (sqrt (pow (* x y) 3))) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (+ (pow (sqrt (+ x y)) 3) (sqrt (pow (* x y) 3)))
  (/ (- (pow (sqrt (+ x y)) 3) (sqrt (pow (* x y) 3))) (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)))
  (/ (+ (pow (sqrt (+ x y)) 3) (pow (* x y) 3/2)) (* (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))))
  (/ (- (pow (sqrt (+ x y)) 3) (pow (* x y) 3/2)) (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ (+ (pow (sqrt (+ x y)) 3) (pow (* x y) 3/2)) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ (- (pow (sqrt (+ x y)) 3) (pow (* x y) 3/2)) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (+ (pow (sqrt (+ x y)) 3) (pow (* x y) 3/2))
  (/ (- (pow (sqrt (+ x y)) 3) (pow (* x y) 3/2)) (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)))
  (/ (+ (sqrt (pow (+ x y) 3)) (sqrt (pow (* x y) 3))) (* (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))))
  (/ (- (sqrt (pow (+ x y) 3)) (sqrt (pow (* x y) 3))) (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ (+ (sqrt (pow (+ x y) 3)) (sqrt (pow (* x y) 3))) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ (- (sqrt (pow (+ x y) 3)) (sqrt (pow (* x y) 3))) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (+ (sqrt (pow (+ x y) 3)) (sqrt (pow (* x y) 3)))
  (/ (- (sqrt (pow (+ x y) 3)) (sqrt (pow (* x y) 3))) (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)))
  (/ (+ (sqrt (pow (+ x y) 3)) (pow (* x y) 3/2)) (* (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))))
  (/ (- (sqrt (pow (+ x y) 3)) (pow (* x y) 3/2)) (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ (+ (sqrt (pow (+ x y) 3)) (pow (* x y) 3/2)) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ (- (sqrt (pow (+ x y) 3)) (pow (* x y) 3/2)) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (+ (sqrt (pow (+ x y) 3)) (pow (* x y) 3/2))
  (/ (- (sqrt (pow (+ x y) 3)) (pow (* x y) 3/2)) (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)))
  (/ (+ (pow (+ x y) 3/2) (sqrt (pow (* x y) 3))) (* (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))))
  (/ (- (pow (+ x y) 3/2) (sqrt (pow (* x y) 3))) (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ (+ (pow (+ x y) 3/2) (sqrt (pow (* x y) 3))) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ (- (pow (+ x y) 3/2) (sqrt (pow (* x y) 3))) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (+ (pow (+ x y) 3/2) (sqrt (pow (* x y) 3)))
  (/ (- (pow (+ x y) 3/2) (sqrt (pow (* x y) 3))) (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)))
  (/ (+ (pow (+ x y) 3/2) (pow (* x y) 3/2)) (* (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))))
  (/ (- (pow (+ x y) 3/2) (pow (* x y) 3/2)) (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ (+ (pow (+ x y) 3/2) (pow (* x y) 3/2)) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ (- (pow (+ x y) 3/2) (pow (* x y) 3/2)) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (+ (pow (+ x y) 3/2) (pow (* x y) 3/2))
  (/ (- (pow (+ x y) 3/2) (pow (* x y) 3/2)) (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)))
  (/ 1 (* (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))))
  (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ 1 (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  1
  (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))
  (/ 1 (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)))
  (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (- (pow (+ x y) 3) (pow (* x y) 3)))
  (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (* (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))))
  (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (- (pow (+ x y) 3) (pow (* x y) 3))
  (/ (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))) (cbrt (- (pow (+ x y) 3) (pow (* x y) 3))))
  (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (sqrt (- (pow (+ x y) 3) (pow (* x y) 3))))
  (/ (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))) (- (+ x y) (* x y)))
  (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (- (pow (+ x y) 3) (pow (* x y) 3)))
  (/ (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))) (- (pow (sqrt (+ x y)) 3) (sqrt (pow (* x y) 3))))
  (/ (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))) (- (pow (sqrt (+ x y)) 3) (pow (* x y) 3/2)))
  (/ (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))) (- (pow (sqrt (+ x y)) 3) (sqrt (pow (* x y) 3))))
  (/ (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))) (- (pow (sqrt (+ x y)) 3) (pow (* x y) 3/2)))
  (/ (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))) (- (sqrt (pow (+ x y) 3)) (sqrt (pow (* x y) 3))))
  (/ (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))) (- (sqrt (pow (+ x y) 3)) (pow (* x y) 3/2)))
  (/ (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))) (- (pow (+ x y) 3/2) (sqrt (pow (* x y) 3))))
  (/ (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))) (- (pow (+ x y) 3/2) (pow (* x y) 3/2)))
  (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (- (pow (+ x y) 3) (pow (* x y) 3)))
  (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (* (+ (* x x) (- (* y y) (* x y))) (+ (* x x) (- (* y y) (* x y))))) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (+ (pow x 3) (pow y 3)) (+ (pow x 3) (pow y 3))))))
  (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (* (- x y) (+ (* x x) (- (* y y) (* x y))))) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (- (* x x) (* y y)) (+ (pow x 3) (pow y 3))))))
  (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (* (- x y) (+ (* x x) (- (* y y) (* x y))))) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (- (* x x) (* y y)) (+ (pow x 3) (pow y 3))))))
  (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (* (- x y) (- x y))) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (- (* x x) (* y y)) (- (* x x) (* y y))))))
  (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (+ (* x x) (- (* y y) (* x y)))) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (+ (pow x 3) (pow y 3)) (+ x y)))))
  (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (- x y)) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (- (* x x) (* y y)) (+ x y)))))
  (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (+ (* x x) (- (* y y) (* x y)))) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (+ (pow x 3) (pow y 3)) (+ x y)))))
  (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (- x y)) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (- (* x x) (* y y)) (+ x y)))))
  (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (* (+ (* x x) (- (* y y) (* x y))) (+ (* x x) (- (* y y) (* x y))))) (* (- (* x y) (+ x y)) (* (+ (pow x 3) (pow y 3)) (+ (pow x 3) (pow y 3))))))
  (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (* (- x y) (+ (* x x) (- (* y y) (* x y))))) (* (- (* x y) (+ x y)) (* (- (* x x) (* y y)) (+ (pow x 3) (pow y 3))))))
  (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (* (- x y) (+ (* x x) (- (* y y) (* x y))))) (* (- (* x y) (+ x y)) (* (- (* x x) (* y y)) (+ (pow x 3) (pow y 3))))))
  (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (* (- x y) (- x y))) (* (- (* x y) (+ x y)) (* (- (* x x) (* y y)) (- (* x x) (* y y))))))
  (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (+ (* x x) (- (* y y) (* x y)))) (* (- (* x y) (+ x y)) (* (+ (pow x 3) (pow y 3)) (+ x y)))))
  (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (- x y)) (* (- (* x y) (+ x y)) (* (- (* x x) (* y y)) (+ x y)))))
  (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (+ (* x x) (- (* y y) (* x y)))) (* (- (* x y) (+ x y)) (* (+ (pow x 3) (pow y 3)) (+ x y)))))
  (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (- x y)) (* (- (* x y) (+ x y)) (* (- (* x x) (* y y)) (+ x y)))))
  (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (* (+ (pow (+ x y) 6) (pow (* (* x y) (+ (* x y) (+ x y))) 3)) 1))
  (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (* (+ (* (* (* x y) (+ (* x y) (+ x y))) (* (* x y) (+ (* x y) (+ x y)))) (neg (* (pow (+ x y) 3) (+ x y)))) 1))
  (* (+ (+ (pow (+ x y) 6) (pow (* x y) 6)) (* (pow (+ x y) 3) (pow (* x y) 3))) (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)))
  (* (+ (pow (* x y) 3) (pow (+ x y) 3)) (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)))
  (exp (- (pow (+ x y) 3) (pow (* x y) 3)))
  (log (- (pow (+ x y) 3) (pow (* x y) 3)))
  (exp (- (pow (+ x y) 3) (pow (* x y) 3)))
  (* (cbrt (- (pow (+ x y) 3) (pow (* x y) 3))) (cbrt (- (pow (+ x y) 3) (pow (* x y) 3))))
  (cbrt (- (pow (+ x y) 3) (pow (* x y) 3)))
  (pow (- (pow (+ x y) 3) (pow (* x y) 3)) 3)
  (sqrt (- (pow (+ x y) 3) (pow (* x y) 3)))
  (sqrt (- (pow (+ x y) 3) (pow (* x y) 3)))
  (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2))
  (- (+ x y) (* x y))
  (- (pow (pow (+ x y) 3) 3) (pow (pow (* x y) 3) 3))
  (+ (+ (pow (+ x y) 6) (pow (* x y) 6)) (* (pow (+ x y) 3) (pow (* x y) 3)))
  (neg (pow (* x y) 3))
  (- (pow (+ x y) 6) (pow (* x y) 6))
  (+ (pow (* x y) 3) (pow (+ x y) 3))
  (+ (pow (sqrt (+ x y)) 3) (sqrt (pow (* x y) 3)))
  (- (pow (sqrt (+ x y)) 3) (sqrt (pow (* x y) 3)))
  (+ (pow (sqrt (+ x y)) 3) (pow (* x y) 3/2))
  (- (pow (sqrt (+ x y)) 3) (pow (* x y) 3/2))
  (+ (pow (sqrt (+ x y)) 3) (sqrt (pow (* x y) 3)))
  (- (pow (sqrt (+ x y)) 3) (sqrt (pow (* x y) 3)))
  (+ (pow (sqrt (+ x y)) 3) (pow (* x y) 3/2))
  (- (pow (sqrt (+ x y)) 3) (pow (* x y) 3/2))
  (+ (sqrt (pow (+ x y) 3)) (sqrt (pow (* x y) 3)))
  (- (sqrt (pow (+ x y) 3)) (sqrt (pow (* x y) 3)))
  (+ (sqrt (pow (+ x y) 3)) (pow (* x y) 3/2))
  (- (sqrt (pow (+ x y) 3)) (pow (* x y) 3/2))
  (+ (pow (+ x y) 3/2) (sqrt (pow (* x y) 3)))
  (- (pow (+ x y) 3/2) (sqrt (pow (* x y) 3)))
  (+ (pow (+ x y) 3/2) (pow (* x y) 3/2))
  (- (pow (+ x y) 3/2) (pow (* x y) 3/2))
  (- (pow (+ x y) 3) (pow (* x y) 3))
  (neg (pow (* x y) 3))
  (exp (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))
  (log (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))
  (exp (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))
  (* (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))
  (pow (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))) 3)
  (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))
  (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))
  (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (* (+ (* x x) (- (* y y) (* x y))) (+ (* x x) (- (* y y) (* x y))))) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (+ (pow x 3) (pow y 3)) (+ (pow x 3) (pow y 3)))))
  (* (+ (* y (- y x)) (pow x 2)) (* (+ (* y (- y x)) (pow x 2)) (+ (* (+ x y) (- (+ x y) (* x y))) (* (* x y) (* x y)))))
  (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (* (- x y) (+ (* x x) (- (* y y) (* x y))))) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (- (* x x) (* y y)) (+ (pow x 3) (pow y 3)))))
  (* (+ (* y (- y x)) (pow x 2)) (* (- x y) (+ (* (+ x y) (- (+ x y) (* x y))) (* (* x y) (* x y)))))
  (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (* (- x y) (+ (* x x) (- (* y y) (* x y))))) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (- (* x x) (* y y)) (+ (pow x 3) (pow y 3)))))
  (* (+ (* y (- y x)) (pow x 2)) (* (- x y) (+ (* (+ x y) (- (+ x y) (* x y))) (* (* x y) (* x y)))))
  (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (* (- x y) (- x y))) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (- (* x x) (* y y)) (- (* x x) (* y y)))))
  (* (* (- x y) (- x y)) (+ (* (+ x y) (- (+ x y) (* x y))) (* (* x y) (* x y))))
  (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (+ (* x x) (- (* y y) (* x y)))) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (+ (pow x 3) (pow y 3)) (+ x y))))
  (* (+ (* y (- y x)) (pow x 2)) (+ (* (+ x y) (- (+ x y) (* x y))) (* (* x y) (* x y))))
  (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (- x y)) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (- (* x x) (* y y)) (+ x y))))
  (* (- x y) (+ (* (+ x y) (- (+ x y) (* x y))) (* (* x y) (* x y))))
  (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (+ (* x x) (- (* y y) (* x y)))) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (+ (pow x 3) (pow y 3)) (+ x y))))
  (* (+ (* y (- y x)) (pow x 2)) (+ (* (+ x y) (- (+ x y) (* x y))) (* (* x y) (* x y))))
  (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (- x y)) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (- (* x x) (* y y)) (+ x y))))
  (* (- x y) (+ (* (+ x y) (- (+ x y) (* x y))) (* (* x y) (* x y))))
  (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (* (+ (* x x) (- (* y y) (* x y))) (+ (* x x) (- (* y y) (* x y))))) (* (- (* x y) (+ x y)) (* (+ (pow x 3) (pow y 3)) (+ (pow x 3) (pow y 3)))))
  (* (+ (* y (- y x)) (pow x 2)) (* (+ (* y (- y x)) (pow x 2)) (- (* x y) (+ x y))))
  (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (* (- x y) (+ (* x x) (- (* y y) (* x y))))) (* (- (* x y) (+ x y)) (* (- (* x x) (* y y)) (+ (pow x 3) (pow y 3)))))
  (* (+ (* y (- y x)) (pow x 2)) (* (- (* x y) (+ x y)) (- x y)))
  (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (* (- x y) (+ (* x x) (- (* y y) (* x y))))) (* (- (* x y) (+ x y)) (* (- (* x x) (* y y)) (+ (pow x 3) (pow y 3)))))
  (* (+ (* y (- y x)) (pow x 2)) (* (- (* x y) (+ x y)) (- x y)))
  (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (* (- x y) (- x y))) (* (- (* x y) (+ x y)) (* (- (* x x) (* y y)) (- (* x x) (* y y)))))
  (* (- (* x y) (+ x y)) (* (- x y) (- x y)))
  (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (+ (* x x) (- (* y y) (* x y)))) (* (- (* x y) (+ x y)) (* (+ (pow x 3) (pow y 3)) (+ x y))))
  (* (+ (* y (- y x)) (pow x 2)) (- (* x y) (+ x y)))
  (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (- x y)) (* (- (* x y) (+ x y)) (* (- (* x x) (* y y)) (+ x y))))
  (* (- (* x y) (+ x y)) (- x y))
  (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (+ (* x x) (- (* y y) (* x y)))) (* (- (* x y) (+ x y)) (* (+ (pow x 3) (pow y 3)) (+ x y))))
  (* (+ (* y (- y x)) (pow x 2)) (- (* x y) (+ x y)))
  (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (- x y)) (* (- (* x y) (+ x y)) (* (- (* x x) (* y y)) (+ x y))))
  (* (- (* x y) (+ x y)) (- x y))
  (+ (pow (+ x y) 6) (pow (* (* x y) (+ (* x y) (+ x y))) 3))
  (- (pow (+ x y) 4) (- (* (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))) (* (* (+ (* x y) (+ x y)) (+ (* x y) (+ x y))) (pow (* x y) 2))))
  (+ (neg (* (pow (+ x y) 3) (+ x y))) (* (* (+ (* x y) (+ x y)) (+ (* x y) (+ x y))) (pow (* x y) 2)))
  (- (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))
  (* x (+ (+ x y) (* y (+ (* x y) (+ x y)))))
  (* x (+ (+ x y) (* y (+ (* x y) (+ x y)))))
  (* (+ x y) (+ (* x y) (+ x y)))
  (* (+ x y) (+ (* x y) (+ x y)))
  (log (pow (* x y) 3))
  (log (pow (* x y) 3))
  (log (pow (* x y) 3))
  3
  3
  (pow (* x y) (* (cbrt 3) (cbrt 3)))
  (pow (* x y) (sqrt 3))
  (* x y)
  (pow x 3)
  (pow y 3)
  (pow (* x y) 2)
  (log (pow (* x y) 3))
  (exp (pow (* x y) 3))
  (pow (* x y) 2)
  (* x y)
  (pow (pow (* x y) 3) 3)
  (pow x 3)
  (pow y 3)
  (pow (* x y) 2)
  (sqrt (pow (* x y) 3))
  (sqrt (pow (* x y) 3))
  (pow (* x y) 3/2)
  (pow (* x y) 3/2)
  (- (+ x y) (* x y))
  (- (+ x y) (* x y))
  (- (+ x y) (* x y))
  (+ (pow x 3) (* 3 (+ (* x (pow y 2)) (* (pow x 2) y))))
  (- (* (pow y 2) (+ y (* 3 x))) (pow (* x y) 3))
  (- (* (pow y 2) (+ y (* 3 x))) (pow (* x y) 3))
  (+ (pow x 2) (+ (pow y 2) (* 2 (* x y))))
  (* (* x y) (+ (* x y) (+ x y)))
  (* (* x y) (+ (* x y) (+ x y)))
  (pow (* x y) 3)
  (pow (* x y) 3)
  (pow (* x y) 3)
1.829 * * * [progress]: adding candidates to table
2.886 * * [progress]: iteration 4 / 4
2.886 * * * [progress]: picking best candidate
2.890 * * * * [pick]: Picked  #<alt (λ (x y) (* (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (* (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) 1)) (/ (- (+ x y) (* x y)) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))))>
2.890 * * * [progress]: localizing error
2.909 * * * [progress]: generating rewritten candidates
2.909 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
2.941 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2)
2.952 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1)
2.963 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1)
2.983 * * * [progress]: generating series expansions
2.983 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
2.984 * [approximate]: Approximating (* (+ (* (pow x 2) y) (+ (pow x 2) (+ (* (pow x 2) (pow y 2)) (+ (pow y 2) (+ (* x (pow y 2)) (* 2 (* x y))))))) (sqrt (/ 1 (+ (* x (pow y 2)) (+ (* (pow x 2) y) (+ (pow y 2) (+ (* (pow x 2) (pow y 2)) (+ (* 2 (* x y)) (pow x 2))))))))) in (x y) around 0
2.995 * [taylor]: Taking taylor expansion of (* (+ (* (pow x 2) y) (+ (pow x 2) (+ (* (pow x 2) (pow y 2)) (+ (pow y 2) (+ (* x (pow y 2)) (* 2 (* x y))))))) (sqrt (/ 1 (+ (* x (pow y 2)) (+ (* (pow x 2) y) (+ (pow y 2) (+ (* (pow x 2) (pow y 2)) (+ (* 2 (* x y)) (pow x 2))))))))) in y
2.997 * [taylor]: Taking taylor expansion of (* (+ (* (pow x 2) y) (+ (pow x 2) (+ (* (pow x 2) (pow y 2)) (+ (pow y 2) (+ (* x (pow y 2)) (* 2 (* x y))))))) (sqrt (/ 1 (+ (* x (pow y 2)) (+ (* (pow x 2) y) (+ (pow y 2) (+ (* (pow x 2) (pow y 2)) (+ (* 2 (* x y)) (pow x 2))))))))) in y
3.009 * [taylor]: Taking taylor expansion of (* (+ (* (pow x 2) y) (+ (pow x 2) (+ (* (pow x 2) (pow y 2)) (+ (pow y 2) (+ (* x (pow y 2)) (* 2 (* x y))))))) (sqrt (/ 1 (+ (* x (pow y 2)) (+ (* (pow x 2) y) (+ (pow y 2) (+ (* (pow x 2) (pow y 2)) (+ (* 2 (* x y)) (pow x 2))))))))) in y
3.012 * [approximate]: Approximating (* (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* x (pow y 2))) (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2 (/ 1 (* x y)))))))) (sqrt (/ 1 (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (/ 1 (* x (pow y 2))) (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2 (/ 1 (* x y))))))))))) in (x y) around 0
3.048 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* x (pow y 2))) (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2 (/ 1 (* x y)))))))) (sqrt (/ 1 (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (/ 1 (* x (pow y 2))) (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2 (/ 1 (* x y))))))))))) in y
3.057 * [taylor]: Taking taylor expansion of (* (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (* x (pow y 2))) (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2 (/ 1 (* x y)))))))) (sqrt (/ 1 (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (/ 1 (* x (pow y 2))) (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2 (/ 1 (* x y))))))))))) in y
3.070 * [approximate]: Approximating (sqrt (- (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2 (/ 1 (* x y)))))) (+ (/ 1 (* x (pow y 2))) (/ 1 (* (pow x 2) y))))) in (x y) around 0
3.091 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2 (/ 1 (* x y)))))) (+ (/ 1 (* x (pow y 2))) (/ 1 (* (pow x 2) y))))) in y
3.095 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2 (/ 1 (* x y)))))) (+ (/ 1 (* x (pow y 2))) (/ 1 (* (pow x 2) y))))) in y
3.106 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2)
3.106 * [approximate]: Approximating (sqrt (+ (* x (pow y 2)) (+ (* (pow x 2) y) (+ (pow y 2) (+ (* (pow x 2) (pow y 2)) (+ (* 2 (* x y)) (pow x 2))))))) in (x y) around 0
3.115 * [taylor]: Taking taylor expansion of (sqrt (+ (* x (pow y 2)) (+ (* (pow x 2) y) (+ (pow y 2) (+ (* (pow x 2) (pow y 2)) (+ (* 2 (* x y)) (pow x 2))))))) in y
3.115 * [taylor]: Taking taylor expansion of (sqrt (+ (* x (pow y 2)) (+ (* (pow x 2) y) (+ (pow y 2) (+ (* (pow x 2) (pow y 2)) (+ (* 2 (* x y)) (pow x 2))))))) in y
3.122 * [taylor]: Taking taylor expansion of (sqrt (+ (* x (pow y 2)) (+ (* (pow x 2) y) (+ (pow y 2) (+ (* (pow x 2) (pow y 2)) (+ (* 2 (* x y)) (pow x 2))))))) in y
3.126 * [approximate]: Approximating (sqrt (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (/ 1 (* x (pow y 2))) (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2 (/ 1 (* x y))))))))) in (x y) around 0
3.146 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (/ 1 (* x (pow y 2))) (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2 (/ 1 (* x y))))))))) in y
3.150 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (/ 1 (* x (pow y 2))) (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2 (/ 1 (* x y))))))))) in y
3.158 * [approximate]: Approximating (sqrt (- (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2 (/ 1 (* x y)))))) (+ (/ 1 (* x (pow y 2))) (/ 1 (* (pow x 2) y))))) in (x y) around 0
3.182 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2 (/ 1 (* x y)))))) (+ (/ 1 (* x (pow y 2))) (/ 1 (* (pow x 2) y))))) in y
3.186 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2 (/ 1 (* x y)))))) (+ (/ 1 (* x (pow y 2))) (/ 1 (* (pow x 2) y))))) in y
3.194 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1)
3.194 * [approximate]: Approximating (sqrt (+ (* x (pow y 2)) (+ (* (pow x 2) y) (+ (pow y 2) (+ (* (pow x 2) (pow y 2)) (+ (* 2 (* x y)) (pow x 2))))))) in (x y) around 0
3.202 * [taylor]: Taking taylor expansion of (sqrt (+ (* x (pow y 2)) (+ (* (pow x 2) y) (+ (pow y 2) (+ (* (pow x 2) (pow y 2)) (+ (* 2 (* x y)) (pow x 2))))))) in y
3.202 * [taylor]: Taking taylor expansion of (sqrt (+ (* x (pow y 2)) (+ (* (pow x 2) y) (+ (pow y 2) (+ (* (pow x 2) (pow y 2)) (+ (* 2 (* x y)) (pow x 2))))))) in y
3.209 * [taylor]: Taking taylor expansion of (sqrt (+ (* x (pow y 2)) (+ (* (pow x 2) y) (+ (pow y 2) (+ (* (pow x 2) (pow y 2)) (+ (* 2 (* x y)) (pow x 2))))))) in y
3.212 * [approximate]: Approximating (sqrt (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (/ 1 (* x (pow y 2))) (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2 (/ 1 (* x y))))))))) in (x y) around 0
3.233 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (/ 1 (* x (pow y 2))) (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2 (/ 1 (* x y))))))))) in y
3.237 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (/ 1 (* x (pow y 2))) (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2 (/ 1 (* x y))))))))) in y
3.244 * [approximate]: Approximating (sqrt (- (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2 (/ 1 (* x y)))))) (+ (/ 1 (* x (pow y 2))) (/ 1 (* (pow x 2) y))))) in (x y) around 0
3.266 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2 (/ 1 (* x y)))))) (+ (/ 1 (* x (pow y 2))) (/ 1 (* (pow x 2) y))))) in y
3.271 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2 (/ 1 (* x y)))))) (+ (/ 1 (* x (pow y 2))) (/ 1 (* (pow x 2) y))))) in y
3.278 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1)
3.279 * [approximate]: Approximating (+ (* x (pow y 2)) (+ (* (pow x 2) y) (+ (pow y 2) (+ (* (pow x 2) (pow y 2)) (+ (* 2 (* x y)) (pow x 2)))))) in (x y) around 0
3.280 * [taylor]: Taking taylor expansion of (+ (* x (pow y 2)) (+ (* (pow x 2) y) (+ (pow y 2) (+ (* (pow x 2) (pow y 2)) (+ (* 2 (* x y)) (pow x 2)))))) in y
3.282 * [taylor]: Taking taylor expansion of (+ (* x (pow y 2)) (+ (* (pow x 2) y) (+ (pow y 2) (+ (* (pow x 2) (pow y 2)) (+ (* 2 (* x y)) (pow x 2)))))) in y
3.287 * [taylor]: Taking taylor expansion of (+ (* x (pow y 2)) (+ (* (pow x 2) y) (+ (pow y 2) (+ (* (pow x 2) (pow y 2)) (+ (* 2 (* x y)) (pow x 2)))))) in y
3.289 * [approximate]: Approximating (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (/ 1 (* x (pow y 2))) (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2 (/ 1 (* x y)))))))) in (x y) around 0
3.297 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (/ 1 (* x (pow y 2))) (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2 (/ 1 (* x y)))))))) in y
3.302 * [taylor]: Taking taylor expansion of (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (/ 1 (* x (pow y 2))) (+ (/ 1 (* (pow x 2) y)) (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2 (/ 1 (* x y)))))))) in y
3.305 * [approximate]: Approximating (- (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2 (/ 1 (* x y)))))) (+ (/ 1 (* x (pow y 2))) (/ 1 (* (pow x 2) y)))) in (x y) around 0
3.313 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2 (/ 1 (* x y)))))) (+ (/ 1 (* x (pow y 2))) (/ 1 (* (pow x 2) y)))) in y
3.318 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* (pow x 2) (pow y 2))) (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2 (/ 1 (* x y)))))) (+ (/ 1 (* x (pow y 2))) (/ 1 (* (pow x 2) y)))) in y
3.322 * * * [progress]: simplifying candidates
3.328 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (- (log (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2))) (+ (log (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))) 0))
  (- (log (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2))) (+ (log (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))) (log 1)))
  (- (log (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2))) (log (* (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) 1)))
  (log (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (* (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) 1)))
  (exp (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (* (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) 1)))
  (/ (* (* (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2))) (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2))) (* (* (* (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))) (* (* 1 1) 1)))
  (/ (* (* (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2))) (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2))) (* (* (* (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) 1) (* (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) 1)) (* (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) 1)))
  (* (cbrt (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (* (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) 1))) (cbrt (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (* (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) 1))))
  (cbrt (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (* (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) 1)))
  (* (* (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (* (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) 1)) (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (* (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) 1))) (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (* (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) 1)))
  (sqrt (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (* (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) 1)))
  (sqrt (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (* (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) 1)))
  (neg (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)))
  (neg (* (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) 1))
  (/ (* (cbrt (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2))) (cbrt (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)))) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ (cbrt (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2))) 1)
  (/ (sqrt (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2))) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ (sqrt (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2))) 1)
  (/ 1 (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) 1)
  (/ 1 (* (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) 1))
  (/ (* (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) 1) (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)))
  (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ (* (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) 1) (cbrt (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2))))
  (/ (* (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) 1) (sqrt (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2))))
  (/ (* (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) 1) (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)))
  (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (* (sqrt (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (* (+ (* x x) (- (* y y) (* x y))) (+ (* x x) (- (* y y) (* x y))))) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (+ (pow x 3) (pow y 3)) (+ (pow x 3) (pow y 3)))))) 1))
  (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (* (sqrt (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (* (+ (* x x) (- (* y y) (* x y))) (- x y))) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (+ (pow x 3) (pow y 3)) (- (* x x) (* y y)))))) 1))
  (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (* (sqrt (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (* (- x y) (+ (* x x) (- (* y y) (* x y))))) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (- (* x x) (* y y)) (+ (pow x 3) (pow y 3)))))) 1))
  (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (* (sqrt (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (* (- x y) (- x y))) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (- (* x x) (* y y)) (- (* x x) (* y y)))))) 1))
  (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (* (sqrt (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (+ (* x x) (- (* y y) (* x y)))) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (+ x y) (+ (pow x 3) (pow y 3)))))) 1))
  (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (* (sqrt (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (- x y)) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (+ x y) (- (* x x) (* y y)))))) 1))
  (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (* (sqrt (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (+ (* x x) (- (* y y) (* x y)))) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (+ (pow x 3) (pow y 3)) (+ x y))))) 1))
  (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (* (sqrt (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (- x y)) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (- (* x x) (* y y)) (+ x y))))) 1))
  (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (* (sqrt (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (* (+ (* x x) (- (* y y) (* x y))) (+ (* x x) (- (* y y) (* x y))))) (* (- (* x y) (+ x y)) (* (+ (pow x 3) (pow y 3)) (+ (pow x 3) (pow y 3)))))) 1))
  (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (* (sqrt (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (* (+ (* x x) (- (* y y) (* x y))) (- x y))) (* (- (* x y) (+ x y)) (* (+ (pow x 3) (pow y 3)) (- (* x x) (* y y)))))) 1))
  (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (* (sqrt (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (* (- x y) (+ (* x x) (- (* y y) (* x y))))) (* (- (* x y) (+ x y)) (* (- (* x x) (* y y)) (+ (pow x 3) (pow y 3)))))) 1))
  (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (* (sqrt (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (* (- x y) (- x y))) (* (- (* x y) (+ x y)) (* (- (* x x) (* y y)) (- (* x x) (* y y)))))) 1))
  (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (* (sqrt (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (+ (* x x) (- (* y y) (* x y)))) (* (- (* x y) (+ x y)) (* (+ x y) (+ (pow x 3) (pow y 3)))))) 1))
  (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (* (sqrt (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (- x y)) (* (- (* x y) (+ x y)) (* (+ x y) (- (* x x) (* y y)))))) 1))
  (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (* (sqrt (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (+ (* x x) (- (* y y) (* x y)))) (* (- (* x y) (+ x y)) (* (+ (pow x 3) (pow y 3)) (+ x y))))) 1))
  (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (* (sqrt (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (- x y)) (* (- (* x y) (+ x y)) (* (- (* x x) (* y y)) (+ x y))))) 1))
  (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (* (sqrt (+ (pow (* (* x y) (+ (* x y) (+ x y))) 3) (pow (* (+ x y) (+ x y)) 3))) 1))
  (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (* (sqrt (- (* (* (* x y) (+ (* x y) (+ x y))) (* (* x y) (+ (* x y) (+ x y)))) (* (* (+ x y) (+ x y)) (* (+ x y) (+ x y))))) 1))
  (* (* (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) 1) (+ (* (* (+ x y) (+ (* x y) (+ x y))) (* (+ x y) (+ (* x y) (+ x y)))) (- (* (pow (* x y) 2) (pow (* x y) 2)) (* (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)))))
  (* (* (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) 1) (- (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)))
  (log (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (exp (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (* (cbrt (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))) (cbrt (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))))
  (cbrt (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (* (* (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (sqrt (* (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))))
  (sqrt (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (sqrt (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (sqrt (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (sqrt 1)
  (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))
  (sqrt (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (* (+ (* x x) (- (* y y) (* x y))) (+ (* x x) (- (* y y) (* x y))))) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (+ (pow x 3) (pow y 3)) (+ (pow x 3) (pow y 3))))))
  (sqrt (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (+ (* x x) (- (* y y) (* x y))) (+ (* x x) (- (* y y) (* x y))))))
  (sqrt (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (* (+ (* x x) (- (* y y) (* x y))) (- x y))) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (+ (pow x 3) (pow y 3)) (- (* x x) (* y y))))))
  (sqrt (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (+ (* x x) (- (* y y) (* x y))) (- x y))))
  (sqrt (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (* (- x y) (+ (* x x) (- (* y y) (* x y))))) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (- (* x x) (* y y)) (+ (pow x 3) (pow y 3))))))
  (sqrt (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (- x y) (+ (* x x) (- (* y y) (* x y))))))
  (sqrt (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (* (- x y) (- x y))) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (- (* x x) (* y y)) (- (* x x) (* y y))))))
  (sqrt (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (- x y) (- x y))))
  (sqrt (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (+ (* x x) (- (* y y) (* x y)))) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (+ x y) (+ (pow x 3) (pow y 3))))))
  (sqrt (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (+ (* x x) (- (* y y) (* x y)))))
  (sqrt (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (- x y)) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (+ x y) (- (* x x) (* y y))))))
  (sqrt (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (- x y)))
  (sqrt (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (+ (* x x) (- (* y y) (* x y)))) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (+ (pow x 3) (pow y 3)) (+ x y)))))
  (sqrt (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (+ (* x x) (- (* y y) (* x y)))))
  (sqrt (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (- x y)) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (- (* x x) (* y y)) (+ x y)))))
  (sqrt (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (- x y)))
  (sqrt (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (* (+ (* x x) (- (* y y) (* x y))) (+ (* x x) (- (* y y) (* x y))))) (* (- (* x y) (+ x y)) (* (+ (pow x 3) (pow y 3)) (+ (pow x 3) (pow y 3))))))
  (sqrt (* (- (* x y) (+ x y)) (* (+ (* x x) (- (* y y) (* x y))) (+ (* x x) (- (* y y) (* x y))))))
  (sqrt (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (* (+ (* x x) (- (* y y) (* x y))) (- x y))) (* (- (* x y) (+ x y)) (* (+ (pow x 3) (pow y 3)) (- (* x x) (* y y))))))
  (sqrt (* (- (* x y) (+ x y)) (* (+ (* x x) (- (* y y) (* x y))) (- x y))))
  (sqrt (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (* (- x y) (+ (* x x) (- (* y y) (* x y))))) (* (- (* x y) (+ x y)) (* (- (* x x) (* y y)) (+ (pow x 3) (pow y 3))))))
  (sqrt (* (- (* x y) (+ x y)) (* (- x y) (+ (* x x) (- (* y y) (* x y))))))
  (sqrt (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (* (- x y) (- x y))) (* (- (* x y) (+ x y)) (* (- (* x x) (* y y)) (- (* x x) (* y y))))))
  (sqrt (* (- (* x y) (+ x y)) (* (- x y) (- x y))))
  (sqrt (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (+ (* x x) (- (* y y) (* x y)))) (* (- (* x y) (+ x y)) (* (+ x y) (+ (pow x 3) (pow y 3))))))
  (sqrt (* (- (* x y) (+ x y)) (+ (* x x) (- (* y y) (* x y)))))
  (sqrt (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (- x y)) (* (- (* x y) (+ x y)) (* (+ x y) (- (* x x) (* y y))))))
  (sqrt (* (- (* x y) (+ x y)) (- x y)))
  (sqrt (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (+ (* x x) (- (* y y) (* x y)))) (* (- (* x y) (+ x y)) (* (+ (pow x 3) (pow y 3)) (+ x y)))))
  (sqrt (* (- (* x y) (+ x y)) (+ (* x x) (- (* y y) (* x y)))))
  (sqrt (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (- x y)) (* (- (* x y) (+ x y)) (* (- (* x x) (* y y)) (+ x y)))))
  (sqrt (* (- (* x y) (+ x y)) (- x y)))
  (sqrt (+ (pow (* (* x y) (+ (* x y) (+ x y))) 3) (pow (* (+ x y) (+ x y)) 3)))
  (sqrt (+ (* (* (* x y) (+ (* x y) (+ x y))) (* (* x y) (+ (* x y) (+ x y)))) (- (* (* (+ x y) (+ x y)) (* (+ x y) (+ x y))) (* (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))))
  (sqrt (- (* (* (* x y) (+ (* x y) (+ x y))) (* (* x y) (+ (* x y) (+ x y)))) (* (* (+ x y) (+ x y)) (* (+ x y) (+ x y)))))
  (sqrt (- (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))
  (/ 1 2)
  (sqrt (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (sqrt (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (log (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (exp (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (* (cbrt (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))) (cbrt (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))))
  (cbrt (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (* (* (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (sqrt (* (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))))
  (sqrt (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (sqrt (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (sqrt (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (sqrt 1)
  (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))
  (sqrt (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (* (+ (* x x) (- (* y y) (* x y))) (+ (* x x) (- (* y y) (* x y))))) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (+ (pow x 3) (pow y 3)) (+ (pow x 3) (pow y 3))))))
  (sqrt (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (+ (* x x) (- (* y y) (* x y))) (+ (* x x) (- (* y y) (* x y))))))
  (sqrt (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (* (+ (* x x) (- (* y y) (* x y))) (- x y))) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (+ (pow x 3) (pow y 3)) (- (* x x) (* y y))))))
  (sqrt (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (+ (* x x) (- (* y y) (* x y))) (- x y))))
  (sqrt (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (* (- x y) (+ (* x x) (- (* y y) (* x y))))) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (- (* x x) (* y y)) (+ (pow x 3) (pow y 3))))))
  (sqrt (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (- x y) (+ (* x x) (- (* y y) (* x y))))))
  (sqrt (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (* (- x y) (- x y))) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (- (* x x) (* y y)) (- (* x x) (* y y))))))
  (sqrt (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (- x y) (- x y))))
  (sqrt (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (+ (* x x) (- (* y y) (* x y)))) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (+ x y) (+ (pow x 3) (pow y 3))))))
  (sqrt (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (+ (* x x) (- (* y y) (* x y)))))
  (sqrt (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (- x y)) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (+ x y) (- (* x x) (* y y))))))
  (sqrt (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (- x y)))
  (sqrt (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (+ (* x x) (- (* y y) (* x y)))) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (+ (pow x 3) (pow y 3)) (+ x y)))))
  (sqrt (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (+ (* x x) (- (* y y) (* x y)))))
  (sqrt (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (- x y)) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (- (* x x) (* y y)) (+ x y)))))
  (sqrt (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (- x y)))
  (sqrt (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (* (+ (* x x) (- (* y y) (* x y))) (+ (* x x) (- (* y y) (* x y))))) (* (- (* x y) (+ x y)) (* (+ (pow x 3) (pow y 3)) (+ (pow x 3) (pow y 3))))))
  (sqrt (* (- (* x y) (+ x y)) (* (+ (* x x) (- (* y y) (* x y))) (+ (* x x) (- (* y y) (* x y))))))
  (sqrt (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (* (+ (* x x) (- (* y y) (* x y))) (- x y))) (* (- (* x y) (+ x y)) (* (+ (pow x 3) (pow y 3)) (- (* x x) (* y y))))))
  (sqrt (* (- (* x y) (+ x y)) (* (+ (* x x) (- (* y y) (* x y))) (- x y))))
  (sqrt (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (* (- x y) (+ (* x x) (- (* y y) (* x y))))) (* (- (* x y) (+ x y)) (* (- (* x x) (* y y)) (+ (pow x 3) (pow y 3))))))
  (sqrt (* (- (* x y) (+ x y)) (* (- x y) (+ (* x x) (- (* y y) (* x y))))))
  (sqrt (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (* (- x y) (- x y))) (* (- (* x y) (+ x y)) (* (- (* x x) (* y y)) (- (* x x) (* y y))))))
  (sqrt (* (- (* x y) (+ x y)) (* (- x y) (- x y))))
  (sqrt (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (+ (* x x) (- (* y y) (* x y)))) (* (- (* x y) (+ x y)) (* (+ x y) (+ (pow x 3) (pow y 3))))))
  (sqrt (* (- (* x y) (+ x y)) (+ (* x x) (- (* y y) (* x y)))))
  (sqrt (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (- x y)) (* (- (* x y) (+ x y)) (* (+ x y) (- (* x x) (* y y))))))
  (sqrt (* (- (* x y) (+ x y)) (- x y)))
  (sqrt (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (+ (* x x) (- (* y y) (* x y)))) (* (- (* x y) (+ x y)) (* (+ (pow x 3) (pow y 3)) (+ x y)))))
  (sqrt (* (- (* x y) (+ x y)) (+ (* x x) (- (* y y) (* x y)))))
  (sqrt (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (- x y)) (* (- (* x y) (+ x y)) (* (- (* x x) (* y y)) (+ x y)))))
  (sqrt (* (- (* x y) (+ x y)) (- x y)))
  (sqrt (+ (pow (* (* x y) (+ (* x y) (+ x y))) 3) (pow (* (+ x y) (+ x y)) 3)))
  (sqrt (+ (* (* (* x y) (+ (* x y) (+ x y))) (* (* x y) (+ (* x y) (+ x y)))) (- (* (* (+ x y) (+ x y)) (* (+ x y) (+ x y))) (* (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))))
  (sqrt (- (* (* (* x y) (+ (* x y) (+ x y))) (* (* x y) (+ (* x y) (+ x y)))) (* (* (+ x y) (+ x y)) (* (+ x y) (+ x y)))))
  (sqrt (- (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))
  (/ 1 2)
  (sqrt (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (sqrt (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (* (exp (* (* x y) (+ (* x y) (+ x y)))) (exp (* (+ x y) (+ x y))))
  (log (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))
  (exp (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))
  (* (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))
  (* (* (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))) (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))
  (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))
  (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))
  (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (* (+ (* x x) (- (* y y) (* x y))) (+ (* x x) (- (* y y) (* x y))))) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (+ (pow x 3) (pow y 3)) (+ (pow x 3) (pow y 3)))))
  (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (+ (* x x) (- (* y y) (* x y))) (+ (* x x) (- (* y y) (* x y)))))
  (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (* (+ (* x x) (- (* y y) (* x y))) (- x y))) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (+ (pow x 3) (pow y 3)) (- (* x x) (* y y)))))
  (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (+ (* x x) (- (* y y) (* x y))) (- x y)))
  (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (* (- x y) (+ (* x x) (- (* y y) (* x y))))) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (- (* x x) (* y y)) (+ (pow x 3) (pow y 3)))))
  (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (- x y) (+ (* x x) (- (* y y) (* x y)))))
  (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (* (- x y) (- x y))) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (- (* x x) (* y y)) (- (* x x) (* y y)))))
  (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (- x y) (- x y)))
  (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (+ (* x x) (- (* y y) (* x y)))) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (+ x y) (+ (pow x 3) (pow y 3)))))
  (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (+ (* x x) (- (* y y) (* x y))))
  (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (- x y)) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (+ x y) (- (* x x) (* y y)))))
  (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (- x y))
  (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (+ (* x x) (- (* y y) (* x y)))) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (+ (pow x 3) (pow y 3)) (+ x y))))
  (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (+ (* x x) (- (* y y) (* x y))))
  (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (- x y)) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (- (* x x) (* y y)) (+ x y))))
  (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (- x y))
  (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (* (+ (* x x) (- (* y y) (* x y))) (+ (* x x) (- (* y y) (* x y))))) (* (- (* x y) (+ x y)) (* (+ (pow x 3) (pow y 3)) (+ (pow x 3) (pow y 3)))))
  (* (- (* x y) (+ x y)) (* (+ (* x x) (- (* y y) (* x y))) (+ (* x x) (- (* y y) (* x y)))))
  (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (* (+ (* x x) (- (* y y) (* x y))) (- x y))) (* (- (* x y) (+ x y)) (* (+ (pow x 3) (pow y 3)) (- (* x x) (* y y)))))
  (* (- (* x y) (+ x y)) (* (+ (* x x) (- (* y y) (* x y))) (- x y)))
  (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (* (- x y) (+ (* x x) (- (* y y) (* x y))))) (* (- (* x y) (+ x y)) (* (- (* x x) (* y y)) (+ (pow x 3) (pow y 3)))))
  (* (- (* x y) (+ x y)) (* (- x y) (+ (* x x) (- (* y y) (* x y)))))
  (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (* (- x y) (- x y))) (* (- (* x y) (+ x y)) (* (- (* x x) (* y y)) (- (* x x) (* y y)))))
  (* (- (* x y) (+ x y)) (* (- x y) (- x y)))
  (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (+ (* x x) (- (* y y) (* x y)))) (* (- (* x y) (+ x y)) (* (+ x y) (+ (pow x 3) (pow y 3)))))
  (* (- (* x y) (+ x y)) (+ (* x x) (- (* y y) (* x y))))
  (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (- x y)) (* (- (* x y) (+ x y)) (* (+ x y) (- (* x x) (* y y)))))
  (* (- (* x y) (+ x y)) (- x y))
  (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (+ (* x x) (- (* y y) (* x y)))) (* (- (* x y) (+ x y)) (* (+ (pow x 3) (pow y 3)) (+ x y))))
  (* (- (* x y) (+ x y)) (+ (* x x) (- (* y y) (* x y))))
  (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (- x y)) (* (- (* x y) (+ x y)) (* (- (* x x) (* y y)) (+ x y))))
  (* (- (* x y) (+ x y)) (- x y))
  (+ (pow (* (* x y) (+ (* x y) (+ x y))) 3) (pow (* (+ x y) (+ x y)) 3))
  (+ (* (* (* x y) (+ (* x y) (+ x y))) (* (* x y) (+ (* x y) (+ x y)))) (- (* (* (+ x y) (+ x y)) (* (+ x y) (+ x y))) (* (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (- (* (* (* x y) (+ (* x y) (+ x y))) (* (* x y) (+ (* x y) (+ x y)))) (* (* (+ x y) (+ x y)) (* (+ x y) (+ x y))))
  (- (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))
  (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) x))
  (+ (* (* x y) (+ (* x y) (+ x y))) (* x (+ x y)))
  (+ (* (* x y) (+ x y)) (* (+ x y) (+ x y)))
  (+ (* (+ x y) (* x y)) (* (+ x y) (+ x y)))
  (+ x (+ y (* 1/2 (* x y))))
  (+ (* 1/2 x) (+ (* 1/2 y) (* x y)))
  (+ (* 1/2 x) (+ (* 1/2 y) (* x y)))
  (+ x (+ y (* 1/2 (* x y))))
  (+ (* 1/2 x) (+ (* 1/2 y) (* x y)))
  (+ (* 1/2 x) (+ (* 1/2 y) (* x y)))
  (+ x (+ y (* 1/2 (* x y))))
  (+ (* 1/2 x) (+ (* 1/2 y) (* x y)))
  (+ (* 1/2 x) (+ (* 1/2 y) (* x y)))
  (+ (pow x 2) (+ (pow y 2) (* 2 (* x y))))
  (+ (* x (pow y 2)) (+ (* (pow x 2) y) (* (pow x 2) (pow y 2))))
  (+ (* x (pow y 2)) (+ (* (pow x 2) y) (* (pow x 2) (pow y 2))))
3.344 * * [simplify]: iteration  0 :  802  enodes  (cost  4055 )
3.359 * * [simplify]: iteration  1 :  4006  enodes  (cost  3896 )
3.430 * * [simplify]: iteration  2 :  5001  enodes  (cost  3887 )
3.447 * [simplify]: Simplified to:
  (log (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (* (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) 1)))
  (log (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (* (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) 1)))
  (log (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (* (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) 1)))
  (log (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (* (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) 1)))
  (exp (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (* (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) 1)))
  (pow (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))) 3)
  (pow (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))) 3)
  (* (cbrt (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (* (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) 1))) (cbrt (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (* (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) 1))))
  (cbrt (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (* (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) 1)))
  (pow (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))) 3)
  (sqrt (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (* (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) 1)))
  (sqrt (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (* (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) 1)))
  (neg (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)))
  (* (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) -1)
  (/ (* (cbrt (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2))) (cbrt (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)))) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (cbrt (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)))
  (/ (sqrt (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2))) (sqrt (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2))))
  (sqrt (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)))
  (/ 1 (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2))
  (/ 1 (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (/ (sqrt (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2))) (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)))
  (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (sqrt (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2))))
  (/ (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) (cbrt (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2))))
  (/ (sqrt (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2))) (sqrt (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2))))
  (/ (sqrt (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2))) (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)))
  (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (sqrt (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (* (+ (* x x) (- (* y y) (* x y))) (+ (* x x) (- (* y y) (* x y))))) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (+ (pow x 3) (pow y 3)) (+ (pow x 3) (pow y 3)))))))
  (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (sqrt (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (* (- x y) (+ (* x x) (- (* y y) (* x y))))) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (- (* x x) (* y y)) (+ (pow x 3) (pow y 3)))))))
  (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (sqrt (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (* (- x y) (+ (* x x) (- (* y y) (* x y))))) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (- (* x x) (* y y)) (+ (pow x 3) (pow y 3)))))))
  (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (sqrt (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (* (- x y) (- x y))) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (- (* x x) (* y y)) (- (* x x) (* y y)))))))
  (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (sqrt (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (+ (* x x) (- (* y y) (* x y)))) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (+ (pow x 3) (pow y 3)) (+ x y))))))
  (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (sqrt (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (- x y)) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (- (* x x) (* y y)) (+ x y))))))
  (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (sqrt (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (+ (* x x) (- (* y y) (* x y)))) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (+ (pow x 3) (pow y 3)) (+ x y))))))
  (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (sqrt (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (- x y)) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (- (* x x) (* y y)) (+ x y))))))
  (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (sqrt (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (* (+ (* x x) (- (* y y) (* x y))) (+ (* x x) (- (* y y) (* x y))))) (* (- (* x y) (+ x y)) (* (+ (pow x 3) (pow y 3)) (+ (pow x 3) (pow y 3)))))))
  (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (sqrt (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (* (- x y) (+ (* x x) (- (* y y) (* x y))))) (* (- (* x y) (+ x y)) (* (- (* x x) (* y y)) (+ (pow x 3) (pow y 3)))))))
  (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (sqrt (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (* (- x y) (+ (* x x) (- (* y y) (* x y))))) (* (- (* x y) (+ x y)) (* (- (* x x) (* y y)) (+ (pow x 3) (pow y 3)))))))
  (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (sqrt (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (* (- x y) (- x y))) (* (- (* x y) (+ x y)) (* (- (* x x) (* y y)) (- (* x x) (* y y)))))))
  (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (sqrt (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (+ (* x x) (- (* y y) (* x y)))) (* (- (* x y) (+ x y)) (* (+ (pow x 3) (pow y 3)) (+ x y))))))
  (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (sqrt (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (- x y)) (* (- (* x y) (+ x y)) (* (- (* x x) (* y y)) (+ x y))))))
  (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (sqrt (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (+ (* x x) (- (* y y) (* x y)))) (* (- (* x y) (+ x y)) (* (+ (pow x 3) (pow y 3)) (+ x y))))))
  (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (sqrt (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (- x y)) (* (- (* x y) (+ x y)) (* (- (* x x) (* y y)) (+ x y))))))
  (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (sqrt (+ (pow (* (* x y) (+ (* x y) (+ x y))) 3) (pow (* (+ x y) (+ x y)) 3))))
  (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (sqrt (- (* (* (* x y) (+ (* x y) (+ x y))) (* (* x y) (+ (* x y) (+ x y)))) (* (* (+ x y) (+ x y)) (* (+ x y) (+ x y))))))
  (* (- (+ (* (* (+ x y) (+ (* x y) (+ x y))) (* (+ x y) (+ (* x y) (+ x y)))) (pow (* x y) 4)) (* (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2))) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (* (- (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (log (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (exp (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (* (cbrt (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))) (cbrt (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))))
  (cbrt (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (pow (sqrt (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2))) 3)
  (fabs (cbrt (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2))))
  (sqrt (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (sqrt (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (sqrt (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  1
  (sqrt (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)))
  (sqrt (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (* (+ (* x x) (- (* y y) (* x y))) (+ (* x x) (- (* y y) (* x y))))) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (+ (pow x 3) (pow y 3)) (+ (pow x 3) (pow y 3))))))
  (sqrt (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (+ (* x x) (- (* y y) (* x y))) (+ (* x x) (- (* y y) (* x y))))))
  (sqrt (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (* (- x y) (+ (* x x) (- (* y y) (* x y))))) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (- (* x x) (* y y)) (+ (pow x 3) (pow y 3))))))
  (sqrt (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (- x y) (+ (* x x) (- (* y y) (* x y))))))
  (sqrt (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (* (- x y) (+ (* x x) (- (* y y) (* x y))))) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (- (* x x) (* y y)) (+ (pow x 3) (pow y 3))))))
  (sqrt (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (- x y) (+ (* x x) (- (* y y) (* x y))))))
  (sqrt (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (* (- x y) (- x y))) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (- (* x x) (* y y)) (- (* x x) (* y y))))))
  (sqrt (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (- x y) (- x y))))
  (sqrt (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (+ (* x x) (- (* y y) (* x y)))) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (+ (pow x 3) (pow y 3)) (+ x y)))))
  (sqrt (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (+ (* x x) (- (* y y) (* x y)))))
  (sqrt (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (- x y)) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (- (* x x) (* y y)) (+ x y)))))
  (sqrt (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (- x y)))
  (sqrt (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (+ (* x x) (- (* y y) (* x y)))) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (+ (pow x 3) (pow y 3)) (+ x y)))))
  (sqrt (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (+ (* x x) (- (* y y) (* x y)))))
  (sqrt (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (- x y)) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (- (* x x) (* y y)) (+ x y)))))
  (sqrt (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (- x y)))
  (sqrt (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (* (+ (* x x) (- (* y y) (* x y))) (+ (* x x) (- (* y y) (* x y))))) (* (- (* x y) (+ x y)) (* (+ (pow x 3) (pow y 3)) (+ (pow x 3) (pow y 3))))))
  (sqrt (* (- (* x y) (+ x y)) (* (+ (* x x) (- (* y y) (* x y))) (+ (* x x) (- (* y y) (* x y))))))
  (sqrt (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (* (- x y) (+ (* x x) (- (* y y) (* x y))))) (* (- (* x y) (+ x y)) (* (- (* x x) (* y y)) (+ (pow x 3) (pow y 3))))))
  (sqrt (* (- (* x y) (+ x y)) (* (- x y) (+ (* x x) (- (* y y) (* x y))))))
  (sqrt (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (* (- x y) (+ (* x x) (- (* y y) (* x y))))) (* (- (* x y) (+ x y)) (* (- (* x x) (* y y)) (+ (pow x 3) (pow y 3))))))
  (sqrt (* (- (* x y) (+ x y)) (* (- x y) (+ (* x x) (- (* y y) (* x y))))))
  (sqrt (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (* (- x y) (- x y))) (* (- (* x y) (+ x y)) (* (- (* x x) (* y y)) (- (* x x) (* y y))))))
  (sqrt (* (- (* x y) (+ x y)) (* (- x y) (- x y))))
  (sqrt (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (+ (* x x) (- (* y y) (* x y)))) (* (- (* x y) (+ x y)) (* (+ (pow x 3) (pow y 3)) (+ x y)))))
  (sqrt (* (- (* x y) (+ x y)) (+ (* x x) (- (* y y) (* x y)))))
  (sqrt (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (- x y)) (* (- (* x y) (+ x y)) (* (- (* x x) (* y y)) (+ x y)))))
  (sqrt (* (- (* x y) (+ x y)) (- x y)))
  (sqrt (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (+ (* x x) (- (* y y) (* x y)))) (* (- (* x y) (+ x y)) (* (+ (pow x 3) (pow y 3)) (+ x y)))))
  (sqrt (* (- (* x y) (+ x y)) (+ (* x x) (- (* y y) (* x y)))))
  (sqrt (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (- x y)) (* (- (* x y) (+ x y)) (* (- (* x x) (* y y)) (+ x y)))))
  (sqrt (* (- (* x y) (+ x y)) (- x y)))
  (sqrt (+ (pow (* (* x y) (+ (* x y) (+ x y))) 3) (pow (* (+ x y) (+ x y)) 3)))
  (sqrt (+ (* (* (* x y) (+ (* x y) (+ x y))) (* (* x y) (+ (* x y) (+ x y)))) (- (* (* (+ x y) (+ x y)) (* (+ x y) (+ x y))) (* (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))))
  (sqrt (- (* (* (* x y) (+ (* x y) (+ x y))) (* (* x y) (+ (* x y) (+ x y)))) (* (* (+ x y) (+ x y)) (* (+ x y) (+ x y)))))
  (sqrt (- (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))
  1/2
  (sqrt (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (sqrt (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (log (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (exp (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (* (cbrt (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))) (cbrt (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))))
  (cbrt (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (pow (sqrt (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2))) 3)
  (fabs (cbrt (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2))))
  (sqrt (cbrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (sqrt (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (sqrt (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  1
  (sqrt (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)))
  (sqrt (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (* (+ (* x x) (- (* y y) (* x y))) (+ (* x x) (- (* y y) (* x y))))) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (+ (pow x 3) (pow y 3)) (+ (pow x 3) (pow y 3))))))
  (sqrt (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (+ (* x x) (- (* y y) (* x y))) (+ (* x x) (- (* y y) (* x y))))))
  (sqrt (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (* (- x y) (+ (* x x) (- (* y y) (* x y))))) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (- (* x x) (* y y)) (+ (pow x 3) (pow y 3))))))
  (sqrt (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (- x y) (+ (* x x) (- (* y y) (* x y))))))
  (sqrt (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (* (- x y) (+ (* x x) (- (* y y) (* x y))))) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (- (* x x) (* y y)) (+ (pow x 3) (pow y 3))))))
  (sqrt (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (- x y) (+ (* x x) (- (* y y) (* x y))))))
  (sqrt (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (* (- x y) (- x y))) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (- (* x x) (* y y)) (- (* x x) (* y y))))))
  (sqrt (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (- x y) (- x y))))
  (sqrt (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (+ (* x x) (- (* y y) (* x y)))) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (+ (pow x 3) (pow y 3)) (+ x y)))))
  (sqrt (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (+ (* x x) (- (* y y) (* x y)))))
  (sqrt (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (- x y)) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (- (* x x) (* y y)) (+ x y)))))
  (sqrt (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (- x y)))
  (sqrt (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (+ (* x x) (- (* y y) (* x y)))) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (+ (pow x 3) (pow y 3)) (+ x y)))))
  (sqrt (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (+ (* x x) (- (* y y) (* x y)))))
  (sqrt (+ (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (- x y)) (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (* (- (* x x) (* y y)) (+ x y)))))
  (sqrt (* (+ (* (* x y) (* x y)) (- (* (+ x y) (+ x y)) (* (* x y) (+ x y)))) (- x y)))
  (sqrt (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (* (+ (* x x) (- (* y y) (* x y))) (+ (* x x) (- (* y y) (* x y))))) (* (- (* x y) (+ x y)) (* (+ (pow x 3) (pow y 3)) (+ (pow x 3) (pow y 3))))))
  (sqrt (* (- (* x y) (+ x y)) (* (+ (* x x) (- (* y y) (* x y))) (+ (* x x) (- (* y y) (* x y))))))
  (sqrt (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (* (- x y) (+ (* x x) (- (* y y) (* x y))))) (* (- (* x y) (+ x y)) (* (- (* x x) (* y y)) (+ (pow x 3) (pow y 3))))))
  (sqrt (* (- (* x y) (+ x y)) (* (- x y) (+ (* x x) (- (* y y) (* x y))))))
  (sqrt (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (* (- x y) (+ (* x x) (- (* y y) (* x y))))) (* (- (* x y) (+ x y)) (* (- (* x x) (* y y)) (+ (pow x 3) (pow y 3))))))
  (sqrt (* (- (* x y) (+ x y)) (* (- x y) (+ (* x x) (- (* y y) (* x y))))))
  (sqrt (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (* (- x y) (- x y))) (* (- (* x y) (+ x y)) (* (- (* x x) (* y y)) (- (* x x) (* y y))))))
  (sqrt (* (- (* x y) (+ x y)) (* (- x y) (- x y))))
  (sqrt (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (+ (* x x) (- (* y y) (* x y)))) (* (- (* x y) (+ x y)) (* (+ (pow x 3) (pow y 3)) (+ x y)))))
  (sqrt (* (- (* x y) (+ x y)) (+ (* x x) (- (* y y) (* x y)))))
  (sqrt (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (- x y)) (* (- (* x y) (+ x y)) (* (- (* x x) (* y y)) (+ x y)))))
  (sqrt (* (- (* x y) (+ x y)) (- x y)))
  (sqrt (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (+ (* x x) (- (* y y) (* x y)))) (* (- (* x y) (+ x y)) (* (+ (pow x 3) (pow y 3)) (+ x y)))))
  (sqrt (* (- (* x y) (+ x y)) (+ (* x x) (- (* y y) (* x y)))))
  (sqrt (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (- x y)) (* (- (* x y) (+ x y)) (* (- (* x x) (* y y)) (+ x y)))))
  (sqrt (* (- (* x y) (+ x y)) (- x y)))
  (sqrt (+ (pow (* (* x y) (+ (* x y) (+ x y))) 3) (pow (* (+ x y) (+ x y)) 3)))
  (sqrt (+ (* (* (* x y) (+ (* x y) (+ x y))) (* (* x y) (+ (* x y) (+ x y)))) (- (* (* (+ x y) (+ x y)) (* (+ x y) (+ x y))) (* (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))))
  (sqrt (- (* (* (* x y) (+ (* x y) (+ x y))) (* (* x y) (+ (* x y) (+ x y)))) (* (* (+ x y) (+ x y)) (* (+ x y) (+ x y)))))
  (sqrt (- (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))
  1/2
  (sqrt (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (sqrt (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))
  (exp (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))
  (log (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)))
  (exp (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))))
  (* (cbrt (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2))) (cbrt (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2))))
  (cbrt (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)))
  (pow (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) 3)
  (sqrt (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)))
  (sqrt (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)))
  (+ (* (* (- (+ (pow (* x y) 2) (* (+ x y) (+ x y))) (* (* x y) (+ x y))) (+ (pow x 3) (pow y 3))) (+ (pow x 3) (pow y 3))) (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (* (+ (* x x) (- (* y y) (* x y))) (+ (* x x) (- (* y y) (* x y))))))
  (* (+ (* y (- y x)) (pow x 2)) (* (+ (* y (- y x)) (pow x 2)) (+ (* (+ x y) (- (+ x y) (* x y))) (pow (* x y) 2))))
  (+ (* (* (- (+ (pow (* x y) 2) (* (+ x y) (+ x y))) (* (* x y) (+ x y))) (- (* x x) (* y y))) (+ (pow x 3) (pow y 3))) (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (* (- x y) (+ (* x x) (- (* y y) (* x y))))))
  (* (+ (* y (- y x)) (pow x 2)) (* (- x y) (+ (* (+ x y) (- (+ x y) (* x y))) (pow (* x y) 2))))
  (+ (* (* (- (+ (pow (* x y) 2) (* (+ x y) (+ x y))) (* (* x y) (+ x y))) (- (* x x) (* y y))) (+ (pow x 3) (pow y 3))) (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (* (- x y) (+ (* x x) (- (* y y) (* x y))))))
  (* (+ (* y (- y x)) (pow x 2)) (* (- x y) (+ (* (+ x y) (- (+ x y) (* x y))) (pow (* x y) 2))))
  (+ (* (* (- (+ (pow (* x y) 2) (* (+ x y) (+ x y))) (* (* x y) (+ x y))) (- (* x x) (* y y))) (- (* x x) (* y y))) (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (* (- x y) (- x y))))
  (* (* (- x y) (- x y)) (+ (* (+ x y) (- (+ x y) (* x y))) (pow (* x y) 2)))
  (+ (* (* (- (+ (pow (* x y) 2) (* (+ x y) (+ x y))) (* (* x y) (+ x y))) (+ (pow x 3) (pow y 3))) (+ x y)) (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (+ (* x x) (- (* y y) (* x y)))))
  (* (+ (* y (- y x)) (pow x 2)) (+ (* (+ x y) (- (+ x y) (* x y))) (pow (* x y) 2)))
  (+ (* (* (- (+ (pow (* x y) 2) (* (+ x y) (+ x y))) (* (* x y) (+ x y))) (- (* x x) (* y y))) (+ x y)) (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (- x y)))
  (* (- x y) (+ (* (+ x y) (- (+ x y) (* x y))) (pow (* x y) 2)))
  (+ (* (* (- (+ (pow (* x y) 2) (* (+ x y) (+ x y))) (* (* x y) (+ x y))) (+ (pow x 3) (pow y 3))) (+ x y)) (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (+ (* x x) (- (* y y) (* x y)))))
  (* (+ (* y (- y x)) (pow x 2)) (+ (* (+ x y) (- (+ x y) (* x y))) (pow (* x y) 2)))
  (+ (* (* (- (+ (pow (* x y) 2) (* (+ x y) (+ x y))) (* (* x y) (+ x y))) (- (* x x) (* y y))) (+ x y)) (* (* (* x y) (+ (pow (* x y) 3) (pow (+ x y) 3))) (- x y)))
  (* (- x y) (+ (* (+ x y) (- (+ x y) (* x y))) (pow (* x y) 2)))
  (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (* (+ (* x x) (- (* y y) (* x y))) (+ (* x x) (- (* y y) (* x y))))) (* (- (* x y) (+ x y)) (* (+ (pow x 3) (pow y 3)) (+ (pow x 3) (pow y 3)))))
  (* (+ (* y (- y x)) (pow x 2)) (* (+ (* y (- y x)) (pow x 2)) (- (* x y) (+ x y))))
  (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (* (- x y) (+ (* x x) (- (* y y) (* x y))))) (* (- (* x y) (+ x y)) (* (- (* x x) (* y y)) (+ (pow x 3) (pow y 3)))))
  (* (+ (* y (- y x)) (pow x 2)) (* (- (* x y) (+ x y)) (- x y)))
  (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (* (- x y) (+ (* x x) (- (* y y) (* x y))))) (* (- (* x y) (+ x y)) (* (- (* x x) (* y y)) (+ (pow x 3) (pow y 3)))))
  (* (+ (* y (- y x)) (pow x 2)) (* (- (* x y) (+ x y)) (- x y)))
  (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (* (- x y) (- x y))) (* (- (* x y) (+ x y)) (* (- (* x x) (* y y)) (- (* x x) (* y y)))))
  (* (- (* x y) (+ x y)) (* (- x y) (- x y)))
  (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (+ (* x x) (- (* y y) (* x y)))) (* (- (* x y) (+ x y)) (* (+ (pow x 3) (pow y 3)) (+ x y))))
  (* (+ (* y (- y x)) (pow x 2)) (- (* x y) (+ x y)))
  (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (- x y)) (* (- (* x y) (+ x y)) (* (- (* x x) (* y y)) (+ x y))))
  (* (- (* x y) (+ x y)) (- x y))
  (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (+ (* x x) (- (* y y) (* x y)))) (* (- (* x y) (+ x y)) (* (+ (pow x 3) (pow y 3)) (+ x y))))
  (* (+ (* y (- y x)) (pow x 2)) (- (* x y) (+ x y)))
  (+ (* (* (* x y) (- (* (* x y) (* x y)) (* (+ x y) (+ x y)))) (- x y)) (* (- (* x y) (+ x y)) (* (- (* x x) (* y y)) (+ x y))))
  (* (- (* x y) (+ x y)) (- x y))
  (+ (pow (* (* x y) (+ (* x y) (+ x y))) 3) (pow (* (+ x y) (+ x y)) 3))
  (- (pow (+ x y) 4) (- (* (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y))) (* (pow (* x y) 2) (* (+ (* x y) (+ x y)) (+ (* x y) (+ x y))))))
  (+ (* (pow (* x y) 2) (* (+ (* x y) (+ x y)) (+ (* x y) (+ x y)))) (neg (* (pow (+ x y) 3) (+ x y))))
  (- (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))
  (* x (+ (+ x y) (* y (+ (* x y) (+ x y)))))
  (* x (+ (+ x y) (* y (+ (* x y) (+ x y)))))
  (* (+ x y) (+ (* x y) (+ x y)))
  (* (+ x y) (+ (* x y) (+ x y)))
  (+ x (+ y (* 1/2 (* x y))))
  (+ (* y (+ 1/2 x)) (* 1/2 x))
  (+ (* y (+ 1/2 x)) (* 1/2 x))
  (+ x (+ y (* 1/2 (* x y))))
  (+ (* y (+ 1/2 x)) (* 1/2 x))
  (+ (* y (+ 1/2 x)) (* 1/2 x))
  (+ x (+ y (* 1/2 (* x y))))
  (+ (* y (+ 1/2 x)) (* 1/2 x))
  (+ (* y (+ 1/2 x)) (* 1/2 x))
  (+ (pow x 2) (+ (pow y 2) (* 2 (* x y))))
  (* (* x y) (+ (* x y) (+ x y)))
  (* (* x y) (+ (* x y) (+ x y)))
3.449 * * * [progress]: adding candidates to table
4.706 * [progress]: [Phase 3 of 3] Extracting.
4.706 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (- (+ x y) (* x y)))> #<alt (λ (x y) (* (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y)))) (cbrt (- (+ x y) (* x y)))))> #<alt (λ (x y) (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))> #<alt (λ (x y) (* (* (sqrt (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (* (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) 1))) (sqrt (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (* (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) 1)))) (/ (- (+ x y) (* x y)) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))))>)
4.710 * * * [regime-changes]: Trying 3 branch expressions: ((- (+ x y) (* x y)) y x)
4.710 * * * * [regimes]: Trying to branch on (- (+ x y) (* x y)) from (#<alt (λ (x y) (- (+ x y) (* x y)))> #<alt (λ (x y) (* (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y)))) (cbrt (- (+ x y) (* x y)))))> #<alt (λ (x y) (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))> #<alt (λ (x y) (* (* (sqrt (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (* (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) 1))) (sqrt (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (* (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) 1)))) (/ (- (+ x y) (* x y)) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))))>)
4.775 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (- (+ x y) (* x y)))> #<alt (λ (x y) (* (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y)))) (cbrt (- (+ x y) (* x y)))))> #<alt (λ (x y) (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))> #<alt (λ (x y) (* (* (sqrt (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (* (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) 1))) (sqrt (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (* (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) 1)))) (/ (- (+ x y) (* x y)) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))))>)
4.817 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (- (+ x y) (* x y)))> #<alt (λ (x y) (* (* (cbrt (- (+ x y) (* x y))) (cbrt (- (+ x y) (* x y)))) (cbrt (- (+ x y) (* x y)))))> #<alt (λ (x y) (/ (- (pow (+ x y) 3) (pow (* x y) 3)) (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))> #<alt (λ (x y) (* (* (sqrt (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (* (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) 1))) (sqrt (/ (+ (* (+ x y) (+ (* x y) (+ x y))) (pow (* x y) 2)) (* (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))) 1)))) (/ (- (+ x y) (* x y)) (sqrt (+ (* (* x y) (+ (* x y) (+ x y))) (* (+ x y) (+ x y)))))))>)
4.859 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
4.859 * [simplify]: Simplifying using #<procedure:simplify-batch-egg> :
  (- (+ x y) (* x y))
4.859 * * [simplify]: iteration  0 :  7  enodes  (cost  3 )
4.860 * * [simplify]: iteration  1 :  7  enodes  (cost  3 )
4.860 * [simplify]: Simplified to:
  (- (+ x y) (* x y))