34.481 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.010 * * * [progress]: [2/2] Setting up program.
0.011 * [progress]: [Phase 2 of 3] Improving.
0.012 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (- x y) (+ x y))
0.014 * * [simplify]: iteration  0 :  11  enodes  (cost  3 )
0.015 * * [simplify]: iteration  1 :  14  enodes  (cost  3 )
0.017 * * [simplify]: iteration  2 :  16  enodes  (cost  3 )
0.018 * * [simplify]: iteration  3 :  16  enodes  (cost  3 )
0.018 * [simplify]: Simplified to:
   (/ (- x y) (+ x y))
0.018 * * [progress]: iteration 1 / 4
0.018 * * * [progress]: picking best candidate
0.019 * * * * [pick]: Picked  #<alt (λ (x y) (/ (- x y) (+ x y)))>
0.019 * * * [progress]: localizing error
0.024 * * * [progress]: generating rewritten candidates
0.024 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.036 * * * [progress]: generating series expansions
0.036 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.037 * [approximate]: Taking taylor expansion of (/ (- x y) (+ x y)) in (x y) around 0
0.037 * [taylor]: Taking taylor expansion of (/ (- x y) (+ x y)) in y
0.037 * [taylor]: Taking taylor expansion of (- x y) in y
0.037 * [taylor]: Taking taylor expansion of x in y
0.037 * [taylor]: Taking taylor expansion of y in y
0.037 * [taylor]: Taking taylor expansion of (+ x y) in y
0.037 * [taylor]: Taking taylor expansion of x in y
0.037 * [taylor]: Taking taylor expansion of y in y
0.037 * [taylor]: Taking taylor expansion of (/ (- x y) (+ x y)) in x
0.037 * [taylor]: Taking taylor expansion of (- x y) in x
0.037 * [taylor]: Taking taylor expansion of x in x
0.037 * [taylor]: Taking taylor expansion of y in x
0.037 * [taylor]: Taking taylor expansion of (+ x y) in x
0.037 * [taylor]: Taking taylor expansion of x in x
0.037 * [taylor]: Taking taylor expansion of y in x
0.037 * [taylor]: Taking taylor expansion of (/ (- x y) (+ x y)) in x
0.037 * [taylor]: Taking taylor expansion of (- x y) in x
0.037 * [taylor]: Taking taylor expansion of x in x
0.038 * [taylor]: Taking taylor expansion of y in x
0.038 * [taylor]: Taking taylor expansion of (+ x y) in x
0.038 * [taylor]: Taking taylor expansion of x in x
0.038 * [taylor]: Taking taylor expansion of y in x
0.038 * [taylor]: Taking taylor expansion of -1 in y
0.039 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y
0.039 * [taylor]: Taking taylor expansion of 2 in y
0.039 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.039 * [taylor]: Taking taylor expansion of y in y
0.041 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow y 2)))) in y
0.041 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 2))) in y
0.041 * [taylor]: Taking taylor expansion of 2 in y
0.041 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.041 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.041 * [taylor]: Taking taylor expansion of y in y
0.046 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 3))) in y
0.046 * [taylor]: Taking taylor expansion of 2 in y
0.046 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
0.046 * [taylor]: Taking taylor expansion of (pow y 3) in y
0.046 * [taylor]: Taking taylor expansion of y in y
0.054 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) in (x y) around 0
0.054 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) in y
0.054 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
0.054 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.054 * [taylor]: Taking taylor expansion of x in y
0.054 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.054 * [taylor]: Taking taylor expansion of y in y
0.054 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
0.055 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.055 * [taylor]: Taking taylor expansion of y in y
0.055 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.055 * [taylor]: Taking taylor expansion of x in y
0.056 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) in x
0.056 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.056 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.056 * [taylor]: Taking taylor expansion of x in x
0.056 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.056 * [taylor]: Taking taylor expansion of y in x
0.056 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.056 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.056 * [taylor]: Taking taylor expansion of y in x
0.056 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.056 * [taylor]: Taking taylor expansion of x in x
0.057 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) in x
0.057 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.057 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.057 * [taylor]: Taking taylor expansion of x in x
0.058 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.058 * [taylor]: Taking taylor expansion of y in x
0.058 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.058 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.058 * [taylor]: Taking taylor expansion of y in x
0.058 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.058 * [taylor]: Taking taylor expansion of x in x
0.059 * [taylor]: Taking taylor expansion of 1 in y
0.060 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 y))) in y
0.060 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y
0.060 * [taylor]: Taking taylor expansion of 2 in y
0.060 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.060 * [taylor]: Taking taylor expansion of y in y
0.064 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 2))) in y
0.064 * [taylor]: Taking taylor expansion of 2 in y
0.064 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.064 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.064 * [taylor]: Taking taylor expansion of y in y
0.071 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow y 3)))) in y
0.071 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 3))) in y
0.071 * [taylor]: Taking taylor expansion of 2 in y
0.071 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
0.071 * [taylor]: Taking taylor expansion of (pow y 3) in y
0.071 * [taylor]: Taking taylor expansion of y in y
0.077 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x)))) in (x y) around 0
0.077 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x)))) in y
0.077 * [taylor]: Taking taylor expansion of -1 in y
0.077 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x))) in y
0.077 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
0.077 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.077 * [taylor]: Taking taylor expansion of y in y
0.077 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.077 * [taylor]: Taking taylor expansion of x in y
0.077 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
0.077 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.077 * [taylor]: Taking taylor expansion of y in y
0.078 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.078 * [taylor]: Taking taylor expansion of x in y
0.078 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x)))) in x
0.078 * [taylor]: Taking taylor expansion of -1 in x
0.078 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x))) in x
0.079 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.079 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.079 * [taylor]: Taking taylor expansion of y in x
0.079 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.079 * [taylor]: Taking taylor expansion of x in x
0.079 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.079 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.079 * [taylor]: Taking taylor expansion of y in x
0.079 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.079 * [taylor]: Taking taylor expansion of x in x
0.080 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x)))) in x
0.080 * [taylor]: Taking taylor expansion of -1 in x
0.080 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x))) in x
0.080 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.080 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.080 * [taylor]: Taking taylor expansion of y in x
0.080 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.080 * [taylor]: Taking taylor expansion of x in x
0.081 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.081 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.081 * [taylor]: Taking taylor expansion of y in x
0.081 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.081 * [taylor]: Taking taylor expansion of x in x
0.082 * [taylor]: Taking taylor expansion of 1 in y
0.084 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 y))) in y
0.084 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y
0.084 * [taylor]: Taking taylor expansion of 2 in y
0.084 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.084 * [taylor]: Taking taylor expansion of y in y
0.088 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 2))) in y
0.088 * [taylor]: Taking taylor expansion of 2 in y
0.088 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.088 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.088 * [taylor]: Taking taylor expansion of y in y
0.096 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow y 3)))) in y
0.096 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 3))) in y
0.096 * [taylor]: Taking taylor expansion of 2 in y
0.096 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
0.096 * [taylor]: Taking taylor expansion of (pow y 3) in y
0.096 * [taylor]: Taking taylor expansion of y in y
0.102 * * * [progress]: simplifying candidates
0.102 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (log (- x y)) (log (+ x y)))
  (log (/ (- x y) (+ x y)))
  (exp (/ (- x y) (+ x y)))
  (/ (* (* (- x y) (- x y)) (- x y)) (* (* (+ x y) (+ 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)))
  (- (- x y))
  (- (+ x y))
  (/ x (+ x y))
  (/ y (+ x y))
  (/ (* (cbrt (- x y)) (cbrt (- x y))) (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ (cbrt (- x y)) (cbrt (+ x y)))
  (/ (* (cbrt (- x y)) (cbrt (- x y))) (sqrt (+ x y)))
  (/ (cbrt (- x y)) (sqrt (+ x y)))
  (/ (* (cbrt (- x y)) (cbrt (- x y))) 1)
  (/ (cbrt (- x y)) (+ x y))
  (/ (* (cbrt (- x y)) (cbrt (- x y))) 1)
  (/ (cbrt (- x y)) (+ x y))
  (/ (sqrt (- x y)) (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ (sqrt (- x y)) (cbrt (+ x y)))
  (/ (sqrt (- x y)) (sqrt (+ x y)))
  (/ (sqrt (- x y)) (sqrt (+ x y)))
  (/ (sqrt (- x y)) 1)
  (/ (sqrt (- x y)) (+ x y))
  (/ (sqrt (- x y)) 1)
  (/ (sqrt (- x y)) (+ x y))
  (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ (- x y) (cbrt (+ x y)))
  (/ 1 (sqrt (+ x y)))
  (/ (- x y) (sqrt (+ x y)))
  (/ 1 1)
  (/ (- x y) (+ x y))
  (/ 1 1)
  (/ (- x y) (+ x y))
  (/ (+ (sqrt x) (sqrt y)) (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ (- (sqrt x) (sqrt y)) (cbrt (+ x y)))
  (/ (+ (sqrt x) (sqrt y)) (sqrt (+ x y)))
  (/ (- (sqrt x) (sqrt y)) (sqrt (+ x y)))
  (/ (+ (sqrt x) (sqrt y)) 1)
  (/ (- (sqrt x) (sqrt y)) (+ x y))
  (/ (+ (sqrt x) (sqrt y)) 1)
  (/ (- (sqrt x) (sqrt y)) (+ x y))
  (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ (- x y) (cbrt (+ x y)))
  (/ 1 (sqrt (+ x y)))
  (/ (- x y) (sqrt (+ x y)))
  (/ 1 1)
  (/ (- x y) (+ x y))
  (/ 1 1)
  (/ (- x y) (+ x y))
  (/ 1 (+ x y))
  (/ (+ x y) (- x y))
  (/ (- x y) (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ (- x y) (sqrt (+ x y)))
  (/ (- x y) 1)
  (/ (- x y) 1)
  (/ (+ x y) (cbrt (- x y)))
  (/ (+ x y) (sqrt (- x y)))
  (/ (+ x y) (- x y))
  (/ (+ x y) (- (sqrt x) (sqrt y)))
  (/ (+ x y) (- x y))
  (/ (- x y) (+ (pow x 3) (pow y 3)))
  (/ (- x y) (- (* x x) (* y y)))
  (* (+ x y) (+ (* x x) (+ (* y y) (* x y))))
  (* (+ x y) (+ x y))
  -1
  1
  1
0.106 * * [simplify]: iteration  0 :  187  enodes  (cost  290 )
0.109 * * [simplify]: iteration  1 :  526  enodes  (cost  276 )
0.118 * * [simplify]: iteration  2 :  1771  enodes  (cost  276 )
0.146 * * [simplify]: iteration  3 :  5002  enodes  (cost  273 )
0.147 * [simplify]: Simplified to:
   (log (/ (- x y) (+ x y)))
  (log (/ (- x y) (+ x y)))
  (exp (/ (- x y) (+ x y)))
  (pow (/ (- x y) (+ x y)) 3)
  (* (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)))
  (- (- x y))
  (- (+ x y))
  (/ x (+ x y))
  (/ y (+ x y))
  (/ (* (cbrt (- x y)) (cbrt (- x y))) (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ (cbrt (- x y)) (cbrt (+ x y)))
  (/ (* (cbrt (- x y)) (cbrt (- x y))) (sqrt (+ x y)))
  (/ (cbrt (- x y)) (sqrt (+ x y)))
  (* (cbrt (- x y)) (cbrt (- x y)))
  (/ (cbrt (- x y)) (+ x y))
  (* (cbrt (- x y)) (cbrt (- x y)))
  (/ (cbrt (- x y)) (+ x y))
  (/ (sqrt (- x y)) (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ (sqrt (- x y)) (cbrt (+ x y)))
  (/ (sqrt (- x y)) (sqrt (+ x y)))
  (/ (sqrt (- x y)) (sqrt (+ x y)))
  (sqrt (- x y))
  (/ (sqrt (- x y)) (+ x y))
  (sqrt (- x y))
  (/ (sqrt (- x y)) (+ x y))
  (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ (- x y) (cbrt (+ x y)))
  (/ 1 (sqrt (+ x y)))
  (/ (- x y) (sqrt (+ x y)))
  1
  (/ (- x y) (+ x y))
  1
  (/ (- x y) (+ x y))
  (/ (+ (sqrt x) (sqrt y)) (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ (- (sqrt x) (sqrt y)) (cbrt (+ x y)))
  (/ (+ (sqrt x) (sqrt y)) (sqrt (+ x y)))
  (/ (- (sqrt x) (sqrt y)) (sqrt (+ x y)))
  (+ (sqrt x) (sqrt y))
  (/ (- (sqrt x) (sqrt y)) (+ x y))
  (+ (sqrt x) (sqrt y))
  (/ (- (sqrt x) (sqrt y)) (+ x y))
  (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ (- x y) (cbrt (+ x y)))
  (/ 1 (sqrt (+ x y)))
  (/ (- x y) (sqrt (+ x y)))
  1
  (/ (- x y) (+ x y))
  1
  (/ (- x y) (+ x y))
  (/ 1 (+ x y))
  (/ (+ x y) (- x y))
  (/ (- x y) (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ (- x y) (sqrt (+ x y)))
  (- x y)
  (- x y)
  (/ (+ x y) (cbrt (- x y)))
  (/ (+ x y) (sqrt (- x y)))
  (/ (+ x y) (- x y))
  (/ (+ x y) (- (sqrt x) (sqrt y)))
  (/ (+ x y) (- x y))
  (/ (- x y) (+ (pow x 3) (pow y 3)))
  (/ 1 (+ x y))
  (* (+ (* y (+ y x)) (* x x)) (+ x y))
  (* (+ x y) (+ x y))
  -1
  1
  1
0.147 * * * [progress]: adding candidates to table
0.222 * * [progress]: iteration 2 / 4
0.222 * * * [progress]: picking best candidate
0.230 * * * * [pick]: Picked  #<alt (λ (x y) (log (exp (/ (- x y) (+ x y)))))>
0.230 * * * [progress]: localizing error
0.238 * * * [progress]: generating rewritten candidates
0.238 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
0.250 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
0.269 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
0.298 * * * [progress]: generating series expansions
0.299 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
0.299 * [approximate]: Taking taylor expansion of (/ (- x y) (+ x y)) in (x y) around 0
0.299 * [taylor]: Taking taylor expansion of (/ (- x y) (+ x y)) in y
0.299 * [taylor]: Taking taylor expansion of (- x y) in y
0.299 * [taylor]: Taking taylor expansion of x in y
0.299 * [taylor]: Taking taylor expansion of y in y
0.299 * [taylor]: Taking taylor expansion of (+ x y) in y
0.299 * [taylor]: Taking taylor expansion of x in y
0.299 * [taylor]: Taking taylor expansion of y in y
0.299 * [taylor]: Taking taylor expansion of (/ (- x y) (+ x y)) in x
0.299 * [taylor]: Taking taylor expansion of (- x y) in x
0.299 * [taylor]: Taking taylor expansion of x in x
0.299 * [taylor]: Taking taylor expansion of y in x
0.299 * [taylor]: Taking taylor expansion of (+ x y) in x
0.300 * [taylor]: Taking taylor expansion of x in x
0.300 * [taylor]: Taking taylor expansion of y in x
0.300 * [taylor]: Taking taylor expansion of (/ (- x y) (+ x y)) in x
0.300 * [taylor]: Taking taylor expansion of (- x y) in x
0.300 * [taylor]: Taking taylor expansion of x in x
0.300 * [taylor]: Taking taylor expansion of y in x
0.300 * [taylor]: Taking taylor expansion of (+ x y) in x
0.300 * [taylor]: Taking taylor expansion of x in x
0.300 * [taylor]: Taking taylor expansion of y in x
0.300 * [taylor]: Taking taylor expansion of -1 in y
0.301 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y
0.301 * [taylor]: Taking taylor expansion of 2 in y
0.301 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.301 * [taylor]: Taking taylor expansion of y in y
0.303 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow y 2)))) in y
0.303 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 2))) in y
0.303 * [taylor]: Taking taylor expansion of 2 in y
0.303 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.303 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.303 * [taylor]: Taking taylor expansion of y in y
0.308 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 3))) in y
0.308 * [taylor]: Taking taylor expansion of 2 in y
0.308 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
0.308 * [taylor]: Taking taylor expansion of (pow y 3) in y
0.308 * [taylor]: Taking taylor expansion of y in y
0.313 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) in (x y) around 0
0.313 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) in y
0.313 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
0.313 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.313 * [taylor]: Taking taylor expansion of x in y
0.314 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.314 * [taylor]: Taking taylor expansion of y in y
0.314 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
0.314 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.314 * [taylor]: Taking taylor expansion of y in y
0.314 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.314 * [taylor]: Taking taylor expansion of x in y
0.315 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) in x
0.315 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.315 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.315 * [taylor]: Taking taylor expansion of x in x
0.315 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.315 * [taylor]: Taking taylor expansion of y in x
0.315 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.316 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.316 * [taylor]: Taking taylor expansion of y in x
0.316 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.316 * [taylor]: Taking taylor expansion of x in x
0.317 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) in x
0.317 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.317 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.317 * [taylor]: Taking taylor expansion of x in x
0.317 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.317 * [taylor]: Taking taylor expansion of y in x
0.317 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.317 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.317 * [taylor]: Taking taylor expansion of y in x
0.317 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.317 * [taylor]: Taking taylor expansion of x in x
0.318 * [taylor]: Taking taylor expansion of 1 in y
0.319 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 y))) in y
0.319 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y
0.319 * [taylor]: Taking taylor expansion of 2 in y
0.319 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.319 * [taylor]: Taking taylor expansion of y in y
0.323 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 2))) in y
0.323 * [taylor]: Taking taylor expansion of 2 in y
0.323 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.323 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.323 * [taylor]: Taking taylor expansion of y in y
0.330 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow y 3)))) in y
0.330 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 3))) in y
0.330 * [taylor]: Taking taylor expansion of 2 in y
0.330 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
0.330 * [taylor]: Taking taylor expansion of (pow y 3) in y
0.330 * [taylor]: Taking taylor expansion of y in y
0.336 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x)))) in (x y) around 0
0.336 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x)))) in y
0.336 * [taylor]: Taking taylor expansion of -1 in y
0.336 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x))) in y
0.336 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
0.336 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.336 * [taylor]: Taking taylor expansion of y in y
0.336 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.336 * [taylor]: Taking taylor expansion of x in y
0.336 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
0.336 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.336 * [taylor]: Taking taylor expansion of y in y
0.337 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.337 * [taylor]: Taking taylor expansion of x in y
0.337 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x)))) in x
0.337 * [taylor]: Taking taylor expansion of -1 in x
0.337 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x))) in x
0.337 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.337 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.337 * [taylor]: Taking taylor expansion of y in x
0.338 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.338 * [taylor]: Taking taylor expansion of x in x
0.338 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.338 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.338 * [taylor]: Taking taylor expansion of y in x
0.338 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.338 * [taylor]: Taking taylor expansion of x in x
0.339 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x)))) in x
0.339 * [taylor]: Taking taylor expansion of -1 in x
0.339 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x))) in x
0.339 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.339 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.339 * [taylor]: Taking taylor expansion of y in x
0.339 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.339 * [taylor]: Taking taylor expansion of x in x
0.339 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.340 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.340 * [taylor]: Taking taylor expansion of y in x
0.340 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.340 * [taylor]: Taking taylor expansion of x in x
0.341 * [taylor]: Taking taylor expansion of 1 in y
0.343 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 y))) in y
0.343 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y
0.343 * [taylor]: Taking taylor expansion of 2 in y
0.343 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.343 * [taylor]: Taking taylor expansion of y in y
0.347 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 2))) in y
0.347 * [taylor]: Taking taylor expansion of 2 in y
0.347 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.347 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.347 * [taylor]: Taking taylor expansion of y in y
0.354 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow y 3)))) in y
0.354 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 3))) in y
0.354 * [taylor]: Taking taylor expansion of 2 in y
0.354 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
0.354 * [taylor]: Taking taylor expansion of (pow y 3) in y
0.354 * [taylor]: Taking taylor expansion of y in y
0.360 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
0.360 * [approximate]: Taking taylor expansion of (exp (/ (- x y) (+ x y))) in (x y) around 0
0.360 * [taylor]: Taking taylor expansion of (exp (/ (- x y) (+ x y))) in y
0.360 * [taylor]: Taking taylor expansion of (/ (- x y) (+ x y)) in y
0.360 * [taylor]: Taking taylor expansion of (- x y) in y
0.360 * [taylor]: Taking taylor expansion of x in y
0.360 * [taylor]: Taking taylor expansion of y in y
0.360 * [taylor]: Taking taylor expansion of (+ x y) in y
0.360 * [taylor]: Taking taylor expansion of x in y
0.360 * [taylor]: Taking taylor expansion of y in y
0.361 * [taylor]: Taking taylor expansion of (exp (/ (- x y) (+ x y))) in x
0.361 * [taylor]: Taking taylor expansion of (/ (- x y) (+ x y)) in x
0.361 * [taylor]: Taking taylor expansion of (- x y) in x
0.361 * [taylor]: Taking taylor expansion of x in x
0.361 * [taylor]: Taking taylor expansion of y in x
0.361 * [taylor]: Taking taylor expansion of (+ x y) in x
0.361 * [taylor]: Taking taylor expansion of x in x
0.361 * [taylor]: Taking taylor expansion of y in x
0.361 * [taylor]: Taking taylor expansion of (exp (/ (- x y) (+ x y))) in x
0.361 * [taylor]: Taking taylor expansion of (/ (- x y) (+ x y)) in x
0.361 * [taylor]: Taking taylor expansion of (- x y) in x
0.361 * [taylor]: Taking taylor expansion of x in x
0.361 * [taylor]: Taking taylor expansion of y in x
0.361 * [taylor]: Taking taylor expansion of (+ x y) in x
0.361 * [taylor]: Taking taylor expansion of x in x
0.361 * [taylor]: Taking taylor expansion of y in x
0.362 * [taylor]: Taking taylor expansion of (exp -1) in y
0.362 * [taylor]: Taking taylor expansion of -1 in y
0.367 * [taylor]: Taking taylor expansion of (* 2 (/ (exp -1) y)) in y
0.367 * [taylor]: Taking taylor expansion of 2 in y
0.367 * [taylor]: Taking taylor expansion of (/ (exp -1) y) in y
0.367 * [taylor]: Taking taylor expansion of (exp -1) in y
0.367 * [taylor]: Taking taylor expansion of -1 in y
0.367 * [taylor]: Taking taylor expansion of y in y
0.371 * [taylor]: Taking taylor expansion of 0 in y
0.376 * [taylor]: Taking taylor expansion of (* -2/3 (/ (exp -1) (pow y 3))) in y
0.376 * [taylor]: Taking taylor expansion of -2/3 in y
0.376 * [taylor]: Taking taylor expansion of (/ (exp -1) (pow y 3)) in y
0.376 * [taylor]: Taking taylor expansion of (exp -1) in y
0.376 * [taylor]: Taking taylor expansion of -1 in y
0.376 * [taylor]: Taking taylor expansion of (pow y 3) in y
0.376 * [taylor]: Taking taylor expansion of y in y
0.385 * [approximate]: Taking taylor expansion of (exp (/ (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x)))) in (x y) around 0
0.385 * [taylor]: Taking taylor expansion of (exp (/ (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x)))) in y
0.385 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) in y
0.385 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
0.385 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.385 * [taylor]: Taking taylor expansion of x in y
0.385 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.385 * [taylor]: Taking taylor expansion of y in y
0.386 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
0.386 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.386 * [taylor]: Taking taylor expansion of y in y
0.386 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.386 * [taylor]: Taking taylor expansion of x in y
0.387 * [taylor]: Taking taylor expansion of (exp (/ (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x)))) in x
0.387 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) in x
0.387 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.387 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.387 * [taylor]: Taking taylor expansion of x in x
0.387 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.387 * [taylor]: Taking taylor expansion of y in x
0.388 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.388 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.388 * [taylor]: Taking taylor expansion of y in x
0.388 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.388 * [taylor]: Taking taylor expansion of x in x
0.389 * [taylor]: Taking taylor expansion of (exp (/ (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x)))) in x
0.389 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) in x
0.389 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.389 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.389 * [taylor]: Taking taylor expansion of x in x
0.389 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.389 * [taylor]: Taking taylor expansion of y in x
0.389 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.389 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.389 * [taylor]: Taking taylor expansion of y in x
0.389 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.389 * [taylor]: Taking taylor expansion of x in x
0.390 * [taylor]: Taking taylor expansion of E in y
0.391 * [taylor]: Taking taylor expansion of (* -2 (/ E y)) in y
0.391 * [taylor]: Taking taylor expansion of -2 in y
0.391 * [taylor]: Taking taylor expansion of (/ E y) in y
0.392 * [taylor]: Taking taylor expansion of E in y
0.392 * [taylor]: Taking taylor expansion of y in y
0.396 * [taylor]: Taking taylor expansion of (* 4 (/ E (pow y 2))) in y
0.396 * [taylor]: Taking taylor expansion of 4 in y
0.396 * [taylor]: Taking taylor expansion of (/ E (pow y 2)) in y
0.396 * [taylor]: Taking taylor expansion of E in y
0.396 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.396 * [taylor]: Taking taylor expansion of y in y
0.403 * [taylor]: Taking taylor expansion of (* -22/3 (/ E (pow y 3))) in y
0.403 * [taylor]: Taking taylor expansion of -22/3 in y
0.403 * [taylor]: Taking taylor expansion of (/ E (pow y 3)) in y
0.403 * [taylor]: Taking taylor expansion of E in y
0.403 * [taylor]: Taking taylor expansion of (pow y 3) in y
0.403 * [taylor]: Taking taylor expansion of y in y
0.409 * [approximate]: Taking taylor expansion of (exp (* -1 (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x))))) in (x y) around 0
0.409 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x))))) in y
0.409 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x)))) in y
0.409 * [taylor]: Taking taylor expansion of -1 in y
0.409 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x))) in y
0.409 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
0.409 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.409 * [taylor]: Taking taylor expansion of y in y
0.410 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.410 * [taylor]: Taking taylor expansion of x in y
0.410 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
0.410 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.410 * [taylor]: Taking taylor expansion of y in y
0.410 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.410 * [taylor]: Taking taylor expansion of x in y
0.411 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x))))) in x
0.411 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x)))) in x
0.411 * [taylor]: Taking taylor expansion of -1 in x
0.411 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x))) in x
0.411 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.411 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.411 * [taylor]: Taking taylor expansion of y in x
0.411 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.411 * [taylor]: Taking taylor expansion of x in x
0.412 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.412 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.412 * [taylor]: Taking taylor expansion of y in x
0.412 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.412 * [taylor]: Taking taylor expansion of x in x
0.413 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x))))) in x
0.413 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x)))) in x
0.413 * [taylor]: Taking taylor expansion of -1 in x
0.413 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x))) in x
0.413 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.413 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.413 * [taylor]: Taking taylor expansion of y in x
0.413 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.413 * [taylor]: Taking taylor expansion of x in x
0.414 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.414 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.414 * [taylor]: Taking taylor expansion of y in x
0.414 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.414 * [taylor]: Taking taylor expansion of x in x
0.415 * [taylor]: Taking taylor expansion of E in y
0.417 * [taylor]: Taking taylor expansion of (* -2 (/ E y)) in y
0.417 * [taylor]: Taking taylor expansion of -2 in y
0.417 * [taylor]: Taking taylor expansion of (/ E y) in y
0.417 * [taylor]: Taking taylor expansion of E in y
0.417 * [taylor]: Taking taylor expansion of y in y
0.421 * [taylor]: Taking taylor expansion of (* 4 (/ E (pow y 2))) in y
0.421 * [taylor]: Taking taylor expansion of 4 in y
0.421 * [taylor]: Taking taylor expansion of (/ E (pow y 2)) in y
0.421 * [taylor]: Taking taylor expansion of E in y
0.422 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.422 * [taylor]: Taking taylor expansion of y in y
0.429 * [taylor]: Taking taylor expansion of (* -22/3 (/ E (pow y 3))) in y
0.429 * [taylor]: Taking taylor expansion of -22/3 in y
0.430 * [taylor]: Taking taylor expansion of (/ E (pow y 3)) in y
0.430 * [taylor]: Taking taylor expansion of E in y
0.430 * [taylor]: Taking taylor expansion of (pow y 3) in y
0.430 * [taylor]: Taking taylor expansion of y in y
0.435 * * * * [progress]: [ 3 / 3 ] generating series at (2)
0.436 * [approximate]: Taking taylor expansion of (/ (- x y) (+ x y)) in (x y) around 0
0.436 * [taylor]: Taking taylor expansion of (/ (- x y) (+ x y)) in y
0.436 * [taylor]: Taking taylor expansion of (- x y) in y
0.436 * [taylor]: Taking taylor expansion of x in y
0.436 * [taylor]: Taking taylor expansion of y in y
0.436 * [taylor]: Taking taylor expansion of (+ x y) in y
0.436 * [taylor]: Taking taylor expansion of x in y
0.436 * [taylor]: Taking taylor expansion of y in y
0.436 * [taylor]: Taking taylor expansion of (/ (- x y) (+ x y)) in x
0.436 * [taylor]: Taking taylor expansion of (- x y) in x
0.436 * [taylor]: Taking taylor expansion of x in x
0.436 * [taylor]: Taking taylor expansion of y in x
0.436 * [taylor]: Taking taylor expansion of (+ x y) in x
0.436 * [taylor]: Taking taylor expansion of x in x
0.436 * [taylor]: Taking taylor expansion of y in x
0.436 * [taylor]: Taking taylor expansion of (/ (- x y) (+ x y)) in x
0.436 * [taylor]: Taking taylor expansion of (- x y) in x
0.436 * [taylor]: Taking taylor expansion of x in x
0.436 * [taylor]: Taking taylor expansion of y in x
0.436 * [taylor]: Taking taylor expansion of (+ x y) in x
0.436 * [taylor]: Taking taylor expansion of x in x
0.436 * [taylor]: Taking taylor expansion of y in x
0.436 * [taylor]: Taking taylor expansion of -1 in y
0.437 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y
0.437 * [taylor]: Taking taylor expansion of 2 in y
0.437 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.437 * [taylor]: Taking taylor expansion of y in y
0.439 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow y 2)))) in y
0.439 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 2))) in y
0.439 * [taylor]: Taking taylor expansion of 2 in y
0.439 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.439 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.439 * [taylor]: Taking taylor expansion of y in y
0.447 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 3))) in y
0.447 * [taylor]: Taking taylor expansion of 2 in y
0.447 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
0.447 * [taylor]: Taking taylor expansion of (pow y 3) in y
0.447 * [taylor]: Taking taylor expansion of y in y
0.452 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) in (x y) around 0
0.452 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) in y
0.452 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
0.452 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.453 * [taylor]: Taking taylor expansion of x in y
0.453 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.453 * [taylor]: Taking taylor expansion of y in y
0.453 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
0.453 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.453 * [taylor]: Taking taylor expansion of y in y
0.453 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.453 * [taylor]: Taking taylor expansion of x in y
0.454 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) in x
0.454 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.454 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.454 * [taylor]: Taking taylor expansion of x in x
0.454 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.454 * [taylor]: Taking taylor expansion of y in x
0.455 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.455 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.455 * [taylor]: Taking taylor expansion of y in x
0.455 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.455 * [taylor]: Taking taylor expansion of x in x
0.456 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) in x
0.456 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.456 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.456 * [taylor]: Taking taylor expansion of x in x
0.456 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.456 * [taylor]: Taking taylor expansion of y in x
0.456 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.456 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.456 * [taylor]: Taking taylor expansion of y in x
0.456 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.456 * [taylor]: Taking taylor expansion of x in x
0.457 * [taylor]: Taking taylor expansion of 1 in y
0.458 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 y))) in y
0.458 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y
0.458 * [taylor]: Taking taylor expansion of 2 in y
0.458 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.458 * [taylor]: Taking taylor expansion of y in y
0.462 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 2))) in y
0.462 * [taylor]: Taking taylor expansion of 2 in y
0.462 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.462 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.462 * [taylor]: Taking taylor expansion of y in y
0.469 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow y 3)))) in y
0.469 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 3))) in y
0.469 * [taylor]: Taking taylor expansion of 2 in y
0.469 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
0.469 * [taylor]: Taking taylor expansion of (pow y 3) in y
0.469 * [taylor]: Taking taylor expansion of y in y
0.475 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x)))) in (x y) around 0
0.475 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x)))) in y
0.475 * [taylor]: Taking taylor expansion of -1 in y
0.475 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x))) in y
0.475 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
0.475 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.475 * [taylor]: Taking taylor expansion of y in y
0.475 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.475 * [taylor]: Taking taylor expansion of x in y
0.475 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
0.475 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.475 * [taylor]: Taking taylor expansion of y in y
0.475 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.475 * [taylor]: Taking taylor expansion of x in y
0.476 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x)))) in x
0.476 * [taylor]: Taking taylor expansion of -1 in x
0.476 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x))) in x
0.476 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.476 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.476 * [taylor]: Taking taylor expansion of y in x
0.476 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.476 * [taylor]: Taking taylor expansion of x in x
0.476 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.476 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.476 * [taylor]: Taking taylor expansion of y in x
0.477 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.477 * [taylor]: Taking taylor expansion of x in x
0.478 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x)))) in x
0.478 * [taylor]: Taking taylor expansion of -1 in x
0.478 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x))) in x
0.478 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.478 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.478 * [taylor]: Taking taylor expansion of y in x
0.478 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.478 * [taylor]: Taking taylor expansion of x in x
0.478 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.478 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.478 * [taylor]: Taking taylor expansion of y in x
0.478 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.478 * [taylor]: Taking taylor expansion of x in x
0.480 * [taylor]: Taking taylor expansion of 1 in y
0.481 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 y))) in y
0.481 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y
0.481 * [taylor]: Taking taylor expansion of 2 in y
0.481 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.481 * [taylor]: Taking taylor expansion of y in y
0.485 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 2))) in y
0.485 * [taylor]: Taking taylor expansion of 2 in y
0.485 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.485 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.485 * [taylor]: Taking taylor expansion of y in y
0.492 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow y 3)))) in y
0.492 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 3))) in y
0.492 * [taylor]: Taking taylor expansion of 2 in y
0.493 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
0.493 * [taylor]: Taking taylor expansion of (pow y 3) in y
0.493 * [taylor]: Taking taylor expansion of y in y
0.498 * * * [progress]: simplifying candidates
0.500 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (log (- x y)) (log (+ x y)))
  (log (/ (- x y) (+ x y)))
  (exp (/ (- x y) (+ x y)))
  (/ (* (* (- x y) (- x y)) (- x y)) (* (* (+ x y) (+ 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)))
  (- (- x y))
  (- (+ x y))
  (/ x (+ x y))
  (/ y (+ x y))
  (/ (* (cbrt (- x y)) (cbrt (- x y))) (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ (cbrt (- x y)) (cbrt (+ x y)))
  (/ (* (cbrt (- x y)) (cbrt (- x y))) (sqrt (+ x y)))
  (/ (cbrt (- x y)) (sqrt (+ x y)))
  (/ (* (cbrt (- x y)) (cbrt (- x y))) 1)
  (/ (cbrt (- x y)) (+ x y))
  (/ (* (cbrt (- x y)) (cbrt (- x y))) 1)
  (/ (cbrt (- x y)) (+ x y))
  (/ (sqrt (- x y)) (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ (sqrt (- x y)) (cbrt (+ x y)))
  (/ (sqrt (- x y)) (sqrt (+ x y)))
  (/ (sqrt (- x y)) (sqrt (+ x y)))
  (/ (sqrt (- x y)) 1)
  (/ (sqrt (- x y)) (+ x y))
  (/ (sqrt (- x y)) 1)
  (/ (sqrt (- x y)) (+ x y))
  (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ (- x y) (cbrt (+ x y)))
  (/ 1 (sqrt (+ x y)))
  (/ (- x y) (sqrt (+ x y)))
  (/ 1 1)
  (/ (- x y) (+ x y))
  (/ 1 1)
  (/ (- x y) (+ x y))
  (/ (+ (sqrt x) (sqrt y)) (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ (- (sqrt x) (sqrt y)) (cbrt (+ x y)))
  (/ (+ (sqrt x) (sqrt y)) (sqrt (+ x y)))
  (/ (- (sqrt x) (sqrt y)) (sqrt (+ x y)))
  (/ (+ (sqrt x) (sqrt y)) 1)
  (/ (- (sqrt x) (sqrt y)) (+ x y))
  (/ (+ (sqrt x) (sqrt y)) 1)
  (/ (- (sqrt x) (sqrt y)) (+ x y))
  (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ (- x y) (cbrt (+ x y)))
  (/ 1 (sqrt (+ x y)))
  (/ (- x y) (sqrt (+ x y)))
  (/ 1 1)
  (/ (- x y) (+ x y))
  (/ 1 1)
  (/ (- x y) (+ x y))
  (/ 1 (+ x y))
  (/ (+ x y) (- x y))
  (/ (- x y) (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ (- x y) (sqrt (+ x y)))
  (/ (- x y) 1)
  (/ (- x y) 1)
  (/ (+ x y) (cbrt (- x y)))
  (/ (+ x y) (sqrt (- x y)))
  (/ (+ x y) (- x y))
  (/ (+ x y) (- (sqrt x) (sqrt y)))
  (/ (+ x y) (- x y))
  (/ (- x y) (+ (pow x 3) (pow y 3)))
  (/ (- x y) (- (* x x) (* y y)))
  (* (+ x y) (+ (* x x) (+ (* y y) (* x y))))
  (* (+ x y) (+ x y))
  (exp (* (cbrt (/ (- x y) (+ x y))) (cbrt (/ (- x y) (+ x y)))))
  (exp (sqrt (/ (- x y) (+ x y))))
  (exp (/ (* (cbrt (- x y)) (cbrt (- x y))) (* (cbrt (+ x y)) (cbrt (+ x y)))))
  (exp (/ (* (cbrt (- x y)) (cbrt (- x y))) (sqrt (+ x y))))
  (exp (/ (* (cbrt (- x y)) (cbrt (- x y))) 1))
  (exp (/ (* (cbrt (- x y)) (cbrt (- x y))) 1))
  (exp (/ (sqrt (- x y)) (* (cbrt (+ x y)) (cbrt (+ x y)))))
  (exp (/ (sqrt (- x y)) (sqrt (+ x y))))
  (exp (/ (sqrt (- x y)) 1))
  (exp (/ (sqrt (- x y)) 1))
  (exp (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y)))))
  (exp (/ 1 (sqrt (+ x y))))
  (exp (/ 1 1))
  (exp (/ 1 1))
  (exp (/ (+ (sqrt x) (sqrt y)) (* (cbrt (+ x y)) (cbrt (+ x y)))))
  (exp (/ (+ (sqrt x) (sqrt y)) (sqrt (+ x y))))
  (exp (/ (+ (sqrt x) (sqrt y)) 1))
  (exp (/ (+ (sqrt x) (sqrt y)) 1))
  (exp (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y)))))
  (exp (/ 1 (sqrt (+ x y))))
  (exp (/ 1 1))
  (exp (/ 1 1))
  (exp 1)
  (exp (- x y))
  (exp (/ (- x y) (+ (pow x 3) (pow y 3))))
  (exp (/ (- x y) (- (* x x) (* y y))))
  (exp (/ x (+ x y)))
  (exp (/ y (+ x y)))
  (log (exp (/ (- x y) (+ x y))))
  (exp (exp (/ (- x y) (+ x y))))
  (* (cbrt (exp (/ (- x y) (+ x y)))) (cbrt (exp (/ (- x y) (+ x y)))))
  (cbrt (exp (/ (- x y) (+ x y))))
  (* (* (exp (/ (- x y) (+ x y))) (exp (/ (- x y) (+ x y)))) (exp (/ (- x y) (+ x y))))
  (sqrt (exp (/ (- x y) (+ x y))))
  (sqrt (exp (/ (- x y) (+ x y))))
  (log (* (cbrt (exp (/ (- x y) (+ x y)))) (cbrt (exp (/ (- x y) (+ x y))))))
  (log (cbrt (exp (/ (- x y) (+ x y)))))
  (log (sqrt (exp (/ (- x y) (+ x y)))))
  (log (sqrt (exp (/ (- x y) (+ x y)))))
  (log 1)
  (log (exp (/ (- x y) (+ x y))))
  (log (exp (/ x (+ x y))))
  (log (exp (/ y (+ x y))))
  (log (exp (/ (- x y) (+ x y))))
  (log (exp (* (cbrt (/ (- x y) (+ x y))) (cbrt (/ (- x y) (+ x y))))))
  (log (exp (sqrt (/ (- x y) (+ x y)))))
  (log (exp (/ (* (cbrt (- x y)) (cbrt (- x y))) (* (cbrt (+ x y)) (cbrt (+ x y))))))
  (log (exp (/ (* (cbrt (- x y)) (cbrt (- x y))) (sqrt (+ x y)))))
  (log (exp (/ (* (cbrt (- x y)) (cbrt (- x y))) 1)))
  (log (exp (/ (* (cbrt (- x y)) (cbrt (- x y))) 1)))
  (log (exp (/ (sqrt (- x y)) (* (cbrt (+ x y)) (cbrt (+ x y))))))
  (log (exp (/ (sqrt (- x y)) (sqrt (+ x y)))))
  (log (exp (/ (sqrt (- x y)) 1)))
  (log (exp (/ (sqrt (- x y)) 1)))
  (log (exp (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y))))))
  (log (exp (/ 1 (sqrt (+ x y)))))
  (log (exp (/ 1 1)))
  (log (exp (/ 1 1)))
  (log (exp (/ (+ (sqrt x) (sqrt y)) (* (cbrt (+ x y)) (cbrt (+ x y))))))
  (log (exp (/ (+ (sqrt x) (sqrt y)) (sqrt (+ x y)))))
  (log (exp (/ (+ (sqrt x) (sqrt y)) 1)))
  (log (exp (/ (+ (sqrt x) (sqrt y)) 1)))
  (log (exp (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y))))))
  (log (exp (/ 1 (sqrt (+ x y)))))
  (log (exp (/ 1 1)))
  (log (exp (/ 1 1)))
  (log (exp 1))
  (log (exp (- x y)))
  (log (exp (/ (- x y) (+ (pow x 3) (pow y 3)))))
  (log (exp (/ (- x y) (- (* x x) (* y y)))))
  (log (log (exp (/ (- x y) (+ x y)))))
  (exp (log (exp (/ (- x y) (+ x y)))))
  (* (cbrt (log (exp (/ (- x y) (+ x y))))) (cbrt (log (exp (/ (- x y) (+ x y))))))
  (cbrt (log (exp (/ (- x y) (+ x y)))))
  (* (* (log (exp (/ (- x y) (+ x y)))) (log (exp (/ (- x y) (+ x y))))) (log (exp (/ (- x y) (+ x y)))))
  (sqrt (log (exp (/ (- x y) (+ x y)))))
  (sqrt (log (exp (/ (- x y) (+ x y)))))
  -1
  1
  1
  (exp -1)
  E
  E
  -1
  1
  1
0.505 * * [simplify]: iteration  0 :  257  enodes  (cost  670 )
0.509 * * [simplify]: iteration  1 :  645  enodes  (cost  633 )
0.518 * * [simplify]: iteration  2 :  2051  enodes  (cost  629 )
0.544 * * [simplify]: iteration  3 :  5001  enodes  (cost  623 )
0.547 * [simplify]: Simplified to:
   (log (/ (- x y) (+ x y)))
  (log (/ (- x y) (+ x y)))
  (exp (/ (- x y) (+ x y)))
  (pow (/ (- x y) (+ x y)) 3)
  (* (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)))
  (- (- x y))
  (- (+ x y))
  (/ x (+ x y))
  (/ y (+ x y))
  (/ (* (cbrt (- x y)) (cbrt (- x y))) (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ (cbrt (- x y)) (cbrt (+ x y)))
  (/ (* (cbrt (- x y)) (cbrt (- x y))) (sqrt (+ x y)))
  (/ (cbrt (- x y)) (sqrt (+ x y)))
  (* (cbrt (- x y)) (cbrt (- x y)))
  (/ (cbrt (- x y)) (+ x y))
  (* (cbrt (- x y)) (cbrt (- x y)))
  (/ (cbrt (- x y)) (+ x y))
  (/ (sqrt (- x y)) (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ (sqrt (- x y)) (cbrt (+ x y)))
  (/ (sqrt (- x y)) (sqrt (+ x y)))
  (/ (sqrt (- x y)) (sqrt (+ x y)))
  (sqrt (- x y))
  (/ (sqrt (- x y)) (+ x y))
  (sqrt (- x y))
  (/ (sqrt (- x y)) (+ x y))
  (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ (- x y) (cbrt (+ x y)))
  (/ 1 (sqrt (+ x y)))
  (/ (- x y) (sqrt (+ x y)))
  1
  (/ (- x y) (+ x y))
  1
  (/ (- x y) (+ x y))
  (/ (+ (sqrt x) (sqrt y)) (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ (- (sqrt x) (sqrt y)) (cbrt (+ x y)))
  (/ (+ (sqrt x) (sqrt y)) (sqrt (+ x y)))
  (/ (- (sqrt x) (sqrt y)) (sqrt (+ x y)))
  (+ (sqrt x) (sqrt y))
  (/ (- (sqrt x) (sqrt y)) (+ x y))
  (+ (sqrt x) (sqrt y))
  (/ (- (sqrt x) (sqrt y)) (+ x y))
  (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ (- x y) (cbrt (+ x y)))
  (/ 1 (sqrt (+ x y)))
  (/ (- x y) (sqrt (+ x y)))
  1
  (/ (- x y) (+ x y))
  1
  (/ (- x y) (+ x y))
  (/ 1 (+ x y))
  (/ (+ x y) (- x y))
  (/ (- x y) (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ (- x y) (sqrt (+ x y)))
  (- x y)
  (- x y)
  (/ (+ x y) (cbrt (- x y)))
  (/ (+ x y) (sqrt (- x y)))
  (/ (+ x y) (- x y))
  (/ (+ x y) (- (sqrt x) (sqrt y)))
  (/ (+ x y) (- x y))
  (/ (- x y) (+ (pow x 3) (pow y 3)))
  (/ 1 (+ x y))
  (* (+ (* y (+ y x)) (* x x)) (+ x y))
  (* (+ x y) (+ x y))
  (exp (* (cbrt (/ (- x y) (+ x y))) (cbrt (/ (- x y) (+ x y)))))
  (exp (sqrt (/ (- x y) (+ x y))))
  (exp (/ (* (cbrt (- x y)) (cbrt (- x y))) (* (cbrt (+ x y)) (cbrt (+ x y)))))
  (exp (/ (* (cbrt (- x y)) (cbrt (- x y))) (sqrt (+ x y))))
  (pow (exp (cbrt (- x y))) (cbrt (- x y)))
  (pow (exp (cbrt (- x y))) (cbrt (- x y)))
  (exp (/ (sqrt (- x y)) (* (cbrt (+ x y)) (cbrt (+ x y)))))
  (exp (/ (sqrt (- x y)) (sqrt (+ x y))))
  (exp (sqrt (- x y)))
  (exp (sqrt (- x y)))
  (exp (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y)))))
  (exp (/ 1 (sqrt (+ x y))))
  E
  E
  (exp (/ (+ (sqrt x) (sqrt y)) (* (cbrt (+ x y)) (cbrt (+ x y)))))
  (exp (/ (+ (sqrt x) (sqrt y)) (sqrt (+ x y))))
  (exp (+ (sqrt x) (sqrt y)))
  (exp (+ (sqrt x) (sqrt y)))
  (exp (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y)))))
  (exp (/ 1 (sqrt (+ x y))))
  E
  E
  E
  (exp (- x y))
  (exp (/ (- x y) (+ (pow x 3) (pow y 3))))
  (exp (/ (- x y) (- (* x x) (* y y))))
  (exp (/ x (+ x y)))
  (exp (/ y (+ x y)))
  (/ (- x y) (+ x y))
  (exp (exp (/ (- x y) (+ x y))))
  (* (cbrt (exp (/ (- x y) (+ x y)))) (cbrt (exp (/ (- x y) (+ x y)))))
  (cbrt (exp (/ (- x y) (+ x y))))
  (pow (exp (/ (- x y) (+ x y))) 3)
  (sqrt (exp (/ (- x y) (+ x y))))
  (sqrt (exp (/ (- x y) (+ x y))))
  (* 2 (log (cbrt (exp (/ (- x y) (+ x y))))))
  (log (cbrt (exp (/ (- x y) (+ x y)))))
  (log (sqrt (exp (/ (- x y) (+ x y)))))
  (log (sqrt (exp (/ (- x y) (+ x y)))))
  0
  (/ (- x y) (+ x y))
  (/ x (+ x y))
  (/ y (+ x y))
  (/ (- x y) (+ x y))
  (* (cbrt (/ (- x y) (+ x y))) (cbrt (/ (- x y) (+ x y))))
  (sqrt (/ (- x y) (+ x y)))
  (/ (* (cbrt (- x y)) (cbrt (- x y))) (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ (* (cbrt (- x y)) (cbrt (- x y))) (sqrt (+ x y)))
  (* (cbrt (- x y)) (cbrt (- x y)))
  (* (cbrt (- x y)) (cbrt (- x y)))
  (/ (sqrt (- x y)) (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ (sqrt (- x y)) (sqrt (+ x y)))
  (sqrt (- x y))
  (sqrt (- x y))
  (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ 1 (sqrt (+ x y)))
  1
  1
  (/ (+ (sqrt x) (sqrt y)) (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ (+ (sqrt x) (sqrt y)) (sqrt (+ x y)))
  (+ (sqrt x) (sqrt y))
  (+ (sqrt x) (sqrt y))
  (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ 1 (sqrt (+ x y)))
  1
  1
  1
  (- x y)
  (/ (- x y) (+ (pow x 3) (pow y 3)))
  (/ 1 (+ 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)))
  -1
  1
  1
  (exp -1)
  E
  E
  -1
  1
  1
0.548 * * * [progress]: adding candidates to table
0.781 * * [progress]: iteration 3 / 4
0.781 * * * [progress]: picking best candidate
0.789 * * * * [pick]: Picked  #<alt (λ (x y) (cbrt (pow (/ (- x y) (+ x y)) 3)))>
0.789 * * * [progress]: localizing error
0.796 * * * [progress]: generating rewritten candidates
0.796 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
0.809 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
0.823 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1)
0.847 * * * [progress]: generating series expansions
0.847 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
0.847 * [approximate]: Taking taylor expansion of (pow (/ (- x y) (+ x y)) 3) in (x y) around 0
0.847 * [taylor]: Taking taylor expansion of (pow (/ (- x y) (+ x y)) 3) in y
0.847 * [taylor]: Taking taylor expansion of (/ (- x y) (+ x y)) in y
0.847 * [taylor]: Taking taylor expansion of (- x y) in y
0.847 * [taylor]: Taking taylor expansion of x in y
0.847 * [taylor]: Taking taylor expansion of y in y
0.847 * [taylor]: Taking taylor expansion of (+ x y) in y
0.847 * [taylor]: Taking taylor expansion of x in y
0.847 * [taylor]: Taking taylor expansion of y in y
0.848 * [taylor]: Taking taylor expansion of (pow (/ (- x y) (+ x y)) 3) in x
0.848 * [taylor]: Taking taylor expansion of (/ (- x y) (+ x y)) in x
0.848 * [taylor]: Taking taylor expansion of (- x y) in x
0.848 * [taylor]: Taking taylor expansion of x in x
0.848 * [taylor]: Taking taylor expansion of y in x
0.848 * [taylor]: Taking taylor expansion of (+ x y) in x
0.848 * [taylor]: Taking taylor expansion of x in x
0.848 * [taylor]: Taking taylor expansion of y in x
0.848 * [taylor]: Taking taylor expansion of (pow (/ (- x y) (+ x y)) 3) in x
0.848 * [taylor]: Taking taylor expansion of (/ (- x y) (+ x y)) in x
0.848 * [taylor]: Taking taylor expansion of (- x y) in x
0.848 * [taylor]: Taking taylor expansion of x in x
0.848 * [taylor]: Taking taylor expansion of y in x
0.848 * [taylor]: Taking taylor expansion of (+ x y) in x
0.848 * [taylor]: Taking taylor expansion of x in x
0.848 * [taylor]: Taking taylor expansion of y in x
0.849 * [taylor]: Taking taylor expansion of -1 in y
0.850 * [taylor]: Taking taylor expansion of (* 6 (/ 1 y)) in y
0.850 * [taylor]: Taking taylor expansion of 6 in y
0.850 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.850 * [taylor]: Taking taylor expansion of y in y
0.853 * [taylor]: Taking taylor expansion of (- (* 18 (/ 1 (pow y 2)))) in y
0.853 * [taylor]: Taking taylor expansion of (* 18 (/ 1 (pow y 2))) in y
0.853 * [taylor]: Taking taylor expansion of 18 in y
0.853 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.853 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.853 * [taylor]: Taking taylor expansion of y in y
0.859 * [taylor]: Taking taylor expansion of (* 38 (/ 1 (pow y 3))) in y
0.859 * [taylor]: Taking taylor expansion of 38 in y
0.859 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
0.859 * [taylor]: Taking taylor expansion of (pow y 3) in y
0.859 * [taylor]: Taking taylor expansion of y in y
0.865 * [approximate]: Taking taylor expansion of (pow (/ (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) 3) in (x y) around 0
0.865 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) 3) in y
0.865 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) in y
0.865 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
0.865 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.865 * [taylor]: Taking taylor expansion of x in y
0.865 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.865 * [taylor]: Taking taylor expansion of y in y
0.865 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
0.865 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.865 * [taylor]: Taking taylor expansion of y in y
0.865 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.865 * [taylor]: Taking taylor expansion of x in y
0.866 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) 3) in x
0.867 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) in x
0.867 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.867 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.867 * [taylor]: Taking taylor expansion of x in x
0.867 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.867 * [taylor]: Taking taylor expansion of y in x
0.867 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.867 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.867 * [taylor]: Taking taylor expansion of y in x
0.867 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.867 * [taylor]: Taking taylor expansion of x in x
0.868 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) 3) in x
0.868 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) in x
0.868 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.868 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.868 * [taylor]: Taking taylor expansion of x in x
0.868 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.868 * [taylor]: Taking taylor expansion of y in x
0.868 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.868 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.868 * [taylor]: Taking taylor expansion of y in x
0.868 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.868 * [taylor]: Taking taylor expansion of x in x
0.870 * [taylor]: Taking taylor expansion of 1 in y
0.871 * [taylor]: Taking taylor expansion of (- (* 6 (/ 1 y))) in y
0.871 * [taylor]: Taking taylor expansion of (* 6 (/ 1 y)) in y
0.871 * [taylor]: Taking taylor expansion of 6 in y
0.871 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.871 * [taylor]: Taking taylor expansion of y in y
0.876 * [taylor]: Taking taylor expansion of (* 18 (/ 1 (pow y 2))) in y
0.876 * [taylor]: Taking taylor expansion of 18 in y
0.876 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.876 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.876 * [taylor]: Taking taylor expansion of y in y
0.883 * [taylor]: Taking taylor expansion of (- (* 38 (/ 1 (pow y 3)))) in y
0.884 * [taylor]: Taking taylor expansion of (* 38 (/ 1 (pow y 3))) in y
0.884 * [taylor]: Taking taylor expansion of 38 in y
0.884 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
0.884 * [taylor]: Taking taylor expansion of (pow y 3) in y
0.884 * [taylor]: Taking taylor expansion of y in y
0.889 * [approximate]: Taking taylor expansion of (pow (* -1 (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x)))) 3) in (x y) around 0
0.889 * [taylor]: Taking taylor expansion of (pow (* -1 (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x)))) 3) in y
0.889 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x)))) in y
0.890 * [taylor]: Taking taylor expansion of -1 in y
0.890 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x))) in y
0.890 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
0.890 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.890 * [taylor]: Taking taylor expansion of y in y
0.890 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.890 * [taylor]: Taking taylor expansion of x in y
0.890 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
0.890 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.890 * [taylor]: Taking taylor expansion of y in y
0.890 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.890 * [taylor]: Taking taylor expansion of x in y
0.891 * [taylor]: Taking taylor expansion of (pow (* -1 (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x)))) 3) in x
0.891 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x)))) in x
0.891 * [taylor]: Taking taylor expansion of -1 in x
0.891 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x))) in x
0.891 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.891 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.891 * [taylor]: Taking taylor expansion of y in x
0.891 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.891 * [taylor]: Taking taylor expansion of x in x
0.892 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.892 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.892 * [taylor]: Taking taylor expansion of y in x
0.892 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.892 * [taylor]: Taking taylor expansion of x in x
0.893 * [taylor]: Taking taylor expansion of (pow (* -1 (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x)))) 3) in x
0.893 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x)))) in x
0.893 * [taylor]: Taking taylor expansion of -1 in x
0.893 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x))) in x
0.893 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.893 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.893 * [taylor]: Taking taylor expansion of y in x
0.893 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.893 * [taylor]: Taking taylor expansion of x in x
0.894 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.894 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.894 * [taylor]: Taking taylor expansion of y in x
0.894 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.894 * [taylor]: Taking taylor expansion of x in x
0.896 * [taylor]: Taking taylor expansion of 1 in y
0.897 * [taylor]: Taking taylor expansion of (- (* 6 (/ 1 y))) in y
0.897 * [taylor]: Taking taylor expansion of (* 6 (/ 1 y)) in y
0.897 * [taylor]: Taking taylor expansion of 6 in y
0.897 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.897 * [taylor]: Taking taylor expansion of y in y
0.902 * [taylor]: Taking taylor expansion of (* 18 (/ 1 (pow y 2))) in y
0.902 * [taylor]: Taking taylor expansion of 18 in y
0.902 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.902 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.902 * [taylor]: Taking taylor expansion of y in y
0.915 * [taylor]: Taking taylor expansion of (- (* 38 (/ 1 (pow y 3)))) in y
0.915 * [taylor]: Taking taylor expansion of (* 38 (/ 1 (pow y 3))) in y
0.915 * [taylor]: Taking taylor expansion of 38 in y
0.915 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
0.915 * [taylor]: Taking taylor expansion of (pow y 3) in y
0.915 * [taylor]: Taking taylor expansion of y in y
0.920 * * * * [progress]: [ 2 / 3 ] generating series at (2)
0.921 * [approximate]: Taking taylor expansion of (/ (- x y) (+ x y)) in (x y) around 0
0.921 * [taylor]: Taking taylor expansion of (/ (- x y) (+ x y)) in y
0.921 * [taylor]: Taking taylor expansion of (- x y) in y
0.921 * [taylor]: Taking taylor expansion of x in y
0.921 * [taylor]: Taking taylor expansion of y in y
0.921 * [taylor]: Taking taylor expansion of (+ x y) in y
0.921 * [taylor]: Taking taylor expansion of x in y
0.921 * [taylor]: Taking taylor expansion of y in y
0.921 * [taylor]: Taking taylor expansion of (/ (- x y) (+ x y)) in x
0.921 * [taylor]: Taking taylor expansion of (- x y) in x
0.921 * [taylor]: Taking taylor expansion of x in x
0.921 * [taylor]: Taking taylor expansion of y in x
0.921 * [taylor]: Taking taylor expansion of (+ x y) in x
0.921 * [taylor]: Taking taylor expansion of x in x
0.921 * [taylor]: Taking taylor expansion of y in x
0.921 * [taylor]: Taking taylor expansion of (/ (- x y) (+ x y)) in x
0.921 * [taylor]: Taking taylor expansion of (- x y) in x
0.921 * [taylor]: Taking taylor expansion of x in x
0.921 * [taylor]: Taking taylor expansion of y in x
0.921 * [taylor]: Taking taylor expansion of (+ x y) in x
0.921 * [taylor]: Taking taylor expansion of x in x
0.921 * [taylor]: Taking taylor expansion of y in x
0.922 * [taylor]: Taking taylor expansion of -1 in y
0.922 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y
0.922 * [taylor]: Taking taylor expansion of 2 in y
0.922 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.922 * [taylor]: Taking taylor expansion of y in y
0.924 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow y 2)))) in y
0.924 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 2))) in y
0.924 * [taylor]: Taking taylor expansion of 2 in y
0.924 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.924 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.924 * [taylor]: Taking taylor expansion of y in y
0.929 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 3))) in y
0.929 * [taylor]: Taking taylor expansion of 2 in y
0.929 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
0.929 * [taylor]: Taking taylor expansion of (pow y 3) in y
0.929 * [taylor]: Taking taylor expansion of y in y
0.935 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) in (x y) around 0
0.935 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) in y
0.935 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
0.935 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.935 * [taylor]: Taking taylor expansion of x in y
0.935 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.935 * [taylor]: Taking taylor expansion of y in y
0.935 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
0.935 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.935 * [taylor]: Taking taylor expansion of y in y
0.936 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.936 * [taylor]: Taking taylor expansion of x in y
0.937 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) in x
0.937 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.937 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.937 * [taylor]: Taking taylor expansion of x in x
0.937 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.937 * [taylor]: Taking taylor expansion of y in x
0.937 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.937 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.937 * [taylor]: Taking taylor expansion of y in x
0.937 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.937 * [taylor]: Taking taylor expansion of x in x
0.938 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) in x
0.938 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
0.938 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.938 * [taylor]: Taking taylor expansion of x in x
0.938 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.938 * [taylor]: Taking taylor expansion of y in x
0.938 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.939 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.939 * [taylor]: Taking taylor expansion of y in x
0.939 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.939 * [taylor]: Taking taylor expansion of x in x
0.940 * [taylor]: Taking taylor expansion of 1 in y
0.941 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 y))) in y
0.941 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y
0.941 * [taylor]: Taking taylor expansion of 2 in y
0.941 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.941 * [taylor]: Taking taylor expansion of y in y
0.944 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 2))) in y
0.944 * [taylor]: Taking taylor expansion of 2 in y
0.944 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.944 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.944 * [taylor]: Taking taylor expansion of y in y
0.951 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow y 3)))) in y
0.951 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 3))) in y
0.951 * [taylor]: Taking taylor expansion of 2 in y
0.951 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
0.951 * [taylor]: Taking taylor expansion of (pow y 3) in y
0.951 * [taylor]: Taking taylor expansion of y in y
0.957 * [approximate]: Taking taylor expansion of (/ (* (cbrt -1) (- (/ 1 y) (/ 1 x))) (+ (/ 1 y) (/ 1 x))) in (x y) around 0
0.958 * [taylor]: Taking taylor expansion of (/ (* (cbrt -1) (- (/ 1 y) (/ 1 x))) (+ (/ 1 y) (/ 1 x))) in y
0.958 * [taylor]: Taking taylor expansion of (* (cbrt -1) (- (/ 1 y) (/ 1 x))) in y
0.958 * [taylor]: Taking taylor expansion of (cbrt -1) in y
0.958 * [taylor]: Taking taylor expansion of -1 in y
0.958 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
0.958 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.958 * [taylor]: Taking taylor expansion of y in y
0.959 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.959 * [taylor]: Taking taylor expansion of x in y
0.959 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
0.959 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.959 * [taylor]: Taking taylor expansion of y in y
0.959 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.959 * [taylor]: Taking taylor expansion of x in y
0.961 * [taylor]: Taking taylor expansion of (/ (* (cbrt -1) (- (/ 1 y) (/ 1 x))) (+ (/ 1 y) (/ 1 x))) in x
0.961 * [taylor]: Taking taylor expansion of (* (cbrt -1) (- (/ 1 y) (/ 1 x))) in x
0.961 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.961 * [taylor]: Taking taylor expansion of -1 in x
0.962 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.962 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.962 * [taylor]: Taking taylor expansion of y in x
0.962 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.962 * [taylor]: Taking taylor expansion of x in x
0.962 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.962 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.962 * [taylor]: Taking taylor expansion of y in x
0.962 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.962 * [taylor]: Taking taylor expansion of x in x
0.965 * [taylor]: Taking taylor expansion of (/ (* (cbrt -1) (- (/ 1 y) (/ 1 x))) (+ (/ 1 y) (/ 1 x))) in x
0.965 * [taylor]: Taking taylor expansion of (* (cbrt -1) (- (/ 1 y) (/ 1 x))) in x
0.965 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.965 * [taylor]: Taking taylor expansion of -1 in x
0.965 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
0.965 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.965 * [taylor]: Taking taylor expansion of y in x
0.965 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.966 * [taylor]: Taking taylor expansion of x in x
0.966 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.966 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.966 * [taylor]: Taking taylor expansion of y in x
0.966 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.966 * [taylor]: Taking taylor expansion of x in x
0.968 * [taylor]: Taking taylor expansion of (* -1 (cbrt -1)) in y
0.968 * [taylor]: Taking taylor expansion of -1 in y
0.969 * [taylor]: Taking taylor expansion of (cbrt -1) in y
0.969 * [taylor]: Taking taylor expansion of -1 in y
0.973 * [taylor]: Taking taylor expansion of (* 2 (/ (cbrt -1) y)) in y
0.973 * [taylor]: Taking taylor expansion of 2 in y
0.973 * [taylor]: Taking taylor expansion of (/ (cbrt -1) y) in y
0.973 * [taylor]: Taking taylor expansion of (cbrt -1) in y
0.973 * [taylor]: Taking taylor expansion of -1 in y
0.974 * [taylor]: Taking taylor expansion of y in y
0.981 * [taylor]: Taking taylor expansion of (- (* 2 (/ (cbrt -1) (pow y 2)))) in y
0.981 * [taylor]: Taking taylor expansion of (* 2 (/ (cbrt -1) (pow y 2))) in y
0.981 * [taylor]: Taking taylor expansion of 2 in y
0.981 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (pow y 2)) in y
0.981 * [taylor]: Taking taylor expansion of (cbrt -1) in y
0.981 * [taylor]: Taking taylor expansion of -1 in y
0.982 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.982 * [taylor]: Taking taylor expansion of y in y
0.998 * [taylor]: Taking taylor expansion of (* 2 (/ (cbrt -1) (pow y 3))) in y
0.998 * [taylor]: Taking taylor expansion of 2 in y
0.998 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (pow y 3)) in y
0.998 * [taylor]: Taking taylor expansion of (cbrt -1) in y
0.998 * [taylor]: Taking taylor expansion of -1 in y
0.999 * [taylor]: Taking taylor expansion of (pow y 3) in y
0.999 * [taylor]: Taking taylor expansion of y in y
1.007 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1)
1.007 * [approximate]: Taking taylor expansion of (/ (- x y) (+ x y)) in (x y) around 0
1.007 * [taylor]: Taking taylor expansion of (/ (- x y) (+ x y)) in y
1.007 * [taylor]: Taking taylor expansion of (- x y) in y
1.007 * [taylor]: Taking taylor expansion of x in y
1.007 * [taylor]: Taking taylor expansion of y in y
1.007 * [taylor]: Taking taylor expansion of (+ x y) in y
1.007 * [taylor]: Taking taylor expansion of x in y
1.007 * [taylor]: Taking taylor expansion of y in y
1.008 * [taylor]: Taking taylor expansion of (/ (- x y) (+ x y)) in x
1.008 * [taylor]: Taking taylor expansion of (- x y) in x
1.008 * [taylor]: Taking taylor expansion of x in x
1.008 * [taylor]: Taking taylor expansion of y in x
1.008 * [taylor]: Taking taylor expansion of (+ x y) in x
1.008 * [taylor]: Taking taylor expansion of x in x
1.008 * [taylor]: Taking taylor expansion of y in x
1.008 * [taylor]: Taking taylor expansion of (/ (- x y) (+ x y)) in x
1.008 * [taylor]: Taking taylor expansion of (- x y) in x
1.008 * [taylor]: Taking taylor expansion of x in x
1.008 * [taylor]: Taking taylor expansion of y in x
1.008 * [taylor]: Taking taylor expansion of (+ x y) in x
1.008 * [taylor]: Taking taylor expansion of x in x
1.008 * [taylor]: Taking taylor expansion of y in x
1.008 * [taylor]: Taking taylor expansion of -1 in y
1.009 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y
1.009 * [taylor]: Taking taylor expansion of 2 in y
1.009 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.009 * [taylor]: Taking taylor expansion of y in y
1.011 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow y 2)))) in y
1.011 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 2))) in y
1.011 * [taylor]: Taking taylor expansion of 2 in y
1.011 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.011 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.011 * [taylor]: Taking taylor expansion of y in y
1.016 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 3))) in y
1.016 * [taylor]: Taking taylor expansion of 2 in y
1.016 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
1.016 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.016 * [taylor]: Taking taylor expansion of y in y
1.021 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) in (x y) around 0
1.021 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) in y
1.021 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
1.021 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.021 * [taylor]: Taking taylor expansion of x in y
1.021 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.021 * [taylor]: Taking taylor expansion of y in y
1.022 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
1.022 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.022 * [taylor]: Taking taylor expansion of y in y
1.022 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.022 * [taylor]: Taking taylor expansion of x in y
1.023 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) in x
1.023 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
1.023 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.023 * [taylor]: Taking taylor expansion of x in x
1.023 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.023 * [taylor]: Taking taylor expansion of y in x
1.023 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
1.023 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.023 * [taylor]: Taking taylor expansion of y in x
1.023 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.023 * [taylor]: Taking taylor expansion of x in x
1.024 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) in x
1.024 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
1.024 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.024 * [taylor]: Taking taylor expansion of x in x
1.025 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.025 * [taylor]: Taking taylor expansion of y in x
1.025 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
1.025 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.025 * [taylor]: Taking taylor expansion of y in x
1.025 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.025 * [taylor]: Taking taylor expansion of x in x
1.026 * [taylor]: Taking taylor expansion of 1 in y
1.027 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 y))) in y
1.027 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y
1.027 * [taylor]: Taking taylor expansion of 2 in y
1.027 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.027 * [taylor]: Taking taylor expansion of y in y
1.031 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 2))) in y
1.031 * [taylor]: Taking taylor expansion of 2 in y
1.031 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.031 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.031 * [taylor]: Taking taylor expansion of y in y
1.038 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow y 3)))) in y
1.038 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 3))) in y
1.038 * [taylor]: Taking taylor expansion of 2 in y
1.038 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
1.038 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.038 * [taylor]: Taking taylor expansion of y in y
1.043 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x)))) in (x y) around 0
1.043 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x)))) in y
1.043 * [taylor]: Taking taylor expansion of -1 in y
1.043 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x))) in y
1.043 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
1.043 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.043 * [taylor]: Taking taylor expansion of y in y
1.044 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.044 * [taylor]: Taking taylor expansion of x in y
1.044 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
1.044 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.044 * [taylor]: Taking taylor expansion of y in y
1.044 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.044 * [taylor]: Taking taylor expansion of x in y
1.045 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x)))) in x
1.045 * [taylor]: Taking taylor expansion of -1 in x
1.045 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x))) in x
1.045 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
1.045 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.045 * [taylor]: Taking taylor expansion of y in x
1.045 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.045 * [taylor]: Taking taylor expansion of x in x
1.045 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
1.045 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.045 * [taylor]: Taking taylor expansion of y in x
1.045 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.045 * [taylor]: Taking taylor expansion of x in x
1.046 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x)))) in x
1.046 * [taylor]: Taking taylor expansion of -1 in x
1.046 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x))) in x
1.046 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
1.047 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.047 * [taylor]: Taking taylor expansion of y in x
1.047 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.047 * [taylor]: Taking taylor expansion of x in x
1.047 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
1.047 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.047 * [taylor]: Taking taylor expansion of y in x
1.047 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.047 * [taylor]: Taking taylor expansion of x in x
1.048 * [taylor]: Taking taylor expansion of 1 in y
1.050 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 y))) in y
1.050 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y
1.050 * [taylor]: Taking taylor expansion of 2 in y
1.050 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.050 * [taylor]: Taking taylor expansion of y in y
1.054 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 2))) in y
1.054 * [taylor]: Taking taylor expansion of 2 in y
1.054 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.054 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.054 * [taylor]: Taking taylor expansion of y in y
1.062 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow y 3)))) in y
1.062 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 3))) in y
1.062 * [taylor]: Taking taylor expansion of 2 in y
1.062 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
1.062 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.062 * [taylor]: Taking taylor expansion of y in y
1.067 * * * [progress]: simplifying candidates
1.070 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (- (log (- x y)) (log (+ x y))) 3)
  (* (log (/ (- x y) (+ x y))) 3)
  (* (log (/ (- x y) (+ x y))) 3)
  (* 1 3)
  (pow (/ (- x y) (+ x y)) (* (cbrt 3) (cbrt 3)))
  (pow (/ (- x y) (+ x y)) (sqrt 3))
  (pow (/ (- x y) (+ x y)) 1)
  (pow (* (cbrt (/ (- x y) (+ x y))) (cbrt (/ (- x y) (+ x y)))) 3)
  (pow (cbrt (/ (- x y) (+ x y))) 3)
  (pow (sqrt (/ (- x y) (+ x y))) 3)
  (pow (sqrt (/ (- x y) (+ x y))) 3)
  (pow (/ (* (cbrt (- x y)) (cbrt (- x y))) (* (cbrt (+ x y)) (cbrt (+ x y)))) 3)
  (pow (/ (cbrt (- x y)) (cbrt (+ x y))) 3)
  (pow (/ (* (cbrt (- x y)) (cbrt (- x y))) (sqrt (+ x y))) 3)
  (pow (/ (cbrt (- x y)) (sqrt (+ x y))) 3)
  (pow (/ (* (cbrt (- x y)) (cbrt (- x y))) 1) 3)
  (pow (/ (cbrt (- x y)) (+ x y)) 3)
  (pow (/ (* (cbrt (- x y)) (cbrt (- x y))) 1) 3)
  (pow (/ (cbrt (- x y)) (+ x y)) 3)
  (pow (/ (sqrt (- x y)) (* (cbrt (+ x y)) (cbrt (+ x y)))) 3)
  (pow (/ (sqrt (- x y)) (cbrt (+ x y))) 3)
  (pow (/ (sqrt (- x y)) (sqrt (+ x y))) 3)
  (pow (/ (sqrt (- x y)) (sqrt (+ x y))) 3)
  (pow (/ (sqrt (- x y)) 1) 3)
  (pow (/ (sqrt (- x y)) (+ x y)) 3)
  (pow (/ (sqrt (- x y)) 1) 3)
  (pow (/ (sqrt (- x y)) (+ x y)) 3)
  (pow (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y)))) 3)
  (pow (/ (- x y) (cbrt (+ x y))) 3)
  (pow (/ 1 (sqrt (+ x y))) 3)
  (pow (/ (- x y) (sqrt (+ x y))) 3)
  (pow (/ 1 1) 3)
  (pow (/ (- x y) (+ x y)) 3)
  (pow (/ 1 1) 3)
  (pow (/ (- x y) (+ x y)) 3)
  (pow (/ (+ (sqrt x) (sqrt y)) (* (cbrt (+ x y)) (cbrt (+ x y)))) 3)
  (pow (/ (- (sqrt x) (sqrt y)) (cbrt (+ x y))) 3)
  (pow (/ (+ (sqrt x) (sqrt y)) (sqrt (+ x y))) 3)
  (pow (/ (- (sqrt x) (sqrt y)) (sqrt (+ x y))) 3)
  (pow (/ (+ (sqrt x) (sqrt y)) 1) 3)
  (pow (/ (- (sqrt x) (sqrt y)) (+ x y)) 3)
  (pow (/ (+ (sqrt x) (sqrt y)) 1) 3)
  (pow (/ (- (sqrt x) (sqrt y)) (+ x y)) 3)
  (pow (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y)))) 3)
  (pow (/ (- x y) (cbrt (+ x y))) 3)
  (pow (/ 1 (sqrt (+ x y))) 3)
  (pow (/ (- x y) (sqrt (+ x y))) 3)
  (pow (/ 1 1) 3)
  (pow (/ (- x y) (+ x y)) 3)
  (pow (/ 1 1) 3)
  (pow (/ (- x y) (+ x y)) 3)
  (pow 1 3)
  (pow (/ (- x y) (+ x y)) 3)
  (pow (- x y) 3)
  (pow (/ 1 (+ x y)) 3)
  (pow (/ (- x y) (+ (pow x 3) (pow y 3))) 3)
  (pow (+ (* x x) (- (* y y) (* x y))) 3)
  (pow (/ (- x y) (- (* x x) (* y y))) 3)
  (pow (- x y) 3)
  (* (/ (- x y) (+ x y)) (/ (- x y) (+ x y)))
  (log (pow (/ (- x y) (+ x y)) 3))
  (exp (pow (/ (- x y) (+ x y)) 3))
  (* (cbrt (pow (/ (- x y) (+ x y)) 3)) (cbrt (pow (/ (- x y) (+ x y)) 3)))
  (cbrt (pow (/ (- x y) (+ x y)) 3))
  (* (* (pow (/ (- x y) (+ x y)) 3) (pow (/ (- x y) (+ x y)) 3)) (pow (/ (- x y) (+ x y)) 3))
  (pow (* (cbrt (/ (- x y) (+ x y))) (cbrt (/ (- x y) (+ x y)))) 3)
  (pow (cbrt (/ (- x y) (+ x y))) 3)
  (pow (sqrt (/ (- x y) (+ x y))) 3)
  (pow (sqrt (/ (- x y) (+ x y))) 3)
  (pow (/ (* (cbrt (- x y)) (cbrt (- x y))) (* (cbrt (+ x y)) (cbrt (+ x y)))) 3)
  (pow (/ (cbrt (- x y)) (cbrt (+ x y))) 3)
  (pow (/ (* (cbrt (- x y)) (cbrt (- x y))) (sqrt (+ x y))) 3)
  (pow (/ (cbrt (- x y)) (sqrt (+ x y))) 3)
  (pow (/ (* (cbrt (- x y)) (cbrt (- x y))) 1) 3)
  (pow (/ (cbrt (- x y)) (+ x y)) 3)
  (pow (/ (* (cbrt (- x y)) (cbrt (- x y))) 1) 3)
  (pow (/ (cbrt (- x y)) (+ x y)) 3)
  (pow (/ (sqrt (- x y)) (* (cbrt (+ x y)) (cbrt (+ x y)))) 3)
  (pow (/ (sqrt (- x y)) (cbrt (+ x y))) 3)
  (pow (/ (sqrt (- x y)) (sqrt (+ x y))) 3)
  (pow (/ (sqrt (- x y)) (sqrt (+ x y))) 3)
  (pow (/ (sqrt (- x y)) 1) 3)
  (pow (/ (sqrt (- x y)) (+ x y)) 3)
  (pow (/ (sqrt (- x y)) 1) 3)
  (pow (/ (sqrt (- x y)) (+ x y)) 3)
  (pow (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y)))) 3)
  (pow (/ (- x y) (cbrt (+ x y))) 3)
  (pow (/ 1 (sqrt (+ x y))) 3)
  (pow (/ (- x y) (sqrt (+ x y))) 3)
  (pow (/ 1 1) 3)
  (pow (/ (- x y) (+ x y)) 3)
  (pow (/ 1 1) 3)
  (pow (/ (- x y) (+ x y)) 3)
  (pow (/ (+ (sqrt x) (sqrt y)) (* (cbrt (+ x y)) (cbrt (+ x y)))) 3)
  (pow (/ (- (sqrt x) (sqrt y)) (cbrt (+ x y))) 3)
  (pow (/ (+ (sqrt x) (sqrt y)) (sqrt (+ x y))) 3)
  (pow (/ (- (sqrt x) (sqrt y)) (sqrt (+ x y))) 3)
  (pow (/ (+ (sqrt x) (sqrt y)) 1) 3)
  (pow (/ (- (sqrt x) (sqrt y)) (+ x y)) 3)
  (pow (/ (+ (sqrt x) (sqrt y)) 1) 3)
  (pow (/ (- (sqrt x) (sqrt y)) (+ x y)) 3)
  (pow (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y)))) 3)
  (pow (/ (- x y) (cbrt (+ x y))) 3)
  (pow (/ 1 (sqrt (+ x y))) 3)
  (pow (/ (- x y) (sqrt (+ x y))) 3)
  (pow (/ 1 1) 3)
  (pow (/ (- x y) (+ x y)) 3)
  (pow (/ 1 1) 3)
  (pow (/ (- x y) (+ x y)) 3)
  (pow 1 3)
  (pow (/ (- x y) (+ x y)) 3)
  (pow (- x y) 3)
  (pow (/ 1 (+ x y)) 3)
  (pow (/ (- x y) (+ (pow x 3) (pow y 3))) 3)
  (pow (+ (* x x) (- (* y y) (* x y))) 3)
  (pow (/ (- x y) (- (* x x) (* y y))) 3)
  (pow (- x y) 3)
  (pow (- x y) 3)
  (pow (+ x y) 3)
  (* (/ (- x y) (+ x y)) (/ (- x y) (+ x y)))
  (sqrt (pow (/ (- x y) (+ x y)) 3))
  (sqrt (pow (/ (- x y) (+ x y)) 3))
  (pow (/ (- x y) (+ x y)) (/ 3 2))
  (pow (/ (- x y) (+ x y)) (/ 3 2))
  (log (cbrt (pow (/ (- x y) (+ x y)) 3)))
  (exp (cbrt (pow (/ (- x y) (+ x y)) 3)))
  (cbrt (pow (* (cbrt (/ (- x y) (+ x y))) (cbrt (/ (- x y) (+ x y)))) 3))
  (cbrt (pow (cbrt (/ (- x y) (+ x y))) 3))
  (cbrt (pow (sqrt (/ (- x y) (+ x y))) 3))
  (cbrt (pow (sqrt (/ (- x y) (+ x y))) 3))
  (cbrt (pow (/ (* (cbrt (- x y)) (cbrt (- x y))) (* (cbrt (+ x y)) (cbrt (+ x y)))) 3))
  (cbrt (pow (/ (cbrt (- x y)) (cbrt (+ x y))) 3))
  (cbrt (pow (/ (* (cbrt (- x y)) (cbrt (- x y))) (sqrt (+ x y))) 3))
  (cbrt (pow (/ (cbrt (- x y)) (sqrt (+ x y))) 3))
  (cbrt (pow (/ (* (cbrt (- x y)) (cbrt (- x y))) 1) 3))
  (cbrt (pow (/ (cbrt (- x y)) (+ x y)) 3))
  (cbrt (pow (/ (* (cbrt (- x y)) (cbrt (- x y))) 1) 3))
  (cbrt (pow (/ (cbrt (- x y)) (+ x y)) 3))
  (cbrt (pow (/ (sqrt (- x y)) (* (cbrt (+ x y)) (cbrt (+ x y)))) 3))
  (cbrt (pow (/ (sqrt (- x y)) (cbrt (+ x y))) 3))
  (cbrt (pow (/ (sqrt (- x y)) (sqrt (+ x y))) 3))
  (cbrt (pow (/ (sqrt (- x y)) (sqrt (+ x y))) 3))
  (cbrt (pow (/ (sqrt (- x y)) 1) 3))
  (cbrt (pow (/ (sqrt (- x y)) (+ x y)) 3))
  (cbrt (pow (/ (sqrt (- x y)) 1) 3))
  (cbrt (pow (/ (sqrt (- x y)) (+ x y)) 3))
  (cbrt (pow (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y)))) 3))
  (cbrt (pow (/ (- x y) (cbrt (+ x y))) 3))
  (cbrt (pow (/ 1 (sqrt (+ x y))) 3))
  (cbrt (pow (/ (- x y) (sqrt (+ x y))) 3))
  (cbrt (pow (/ 1 1) 3))
  (cbrt (pow (/ (- x y) (+ x y)) 3))
  (cbrt (pow (/ 1 1) 3))
  (cbrt (pow (/ (- x y) (+ x y)) 3))
  (cbrt (pow (/ (+ (sqrt x) (sqrt y)) (* (cbrt (+ x y)) (cbrt (+ x y)))) 3))
  (cbrt (pow (/ (- (sqrt x) (sqrt y)) (cbrt (+ x y))) 3))
  (cbrt (pow (/ (+ (sqrt x) (sqrt y)) (sqrt (+ x y))) 3))
  (cbrt (pow (/ (- (sqrt x) (sqrt y)) (sqrt (+ x y))) 3))
  (cbrt (pow (/ (+ (sqrt x) (sqrt y)) 1) 3))
  (cbrt (pow (/ (- (sqrt x) (sqrt y)) (+ x y)) 3))
  (cbrt (pow (/ (+ (sqrt x) (sqrt y)) 1) 3))
  (cbrt (pow (/ (- (sqrt x) (sqrt y)) (+ x y)) 3))
  (cbrt (pow (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y)))) 3))
  (cbrt (pow (/ (- x y) (cbrt (+ x y))) 3))
  (cbrt (pow (/ 1 (sqrt (+ x y))) 3))
  (cbrt (pow (/ (- x y) (sqrt (+ x y))) 3))
  (cbrt (pow (/ 1 1) 3))
  (cbrt (pow (/ (- x y) (+ x y)) 3))
  (cbrt (pow (/ 1 1) 3))
  (cbrt (pow (/ (- x y) (+ x y)) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (/ (- x y) (+ x y)) 3))
  (cbrt (pow (- x y) 3))
  (cbrt (pow (/ 1 (+ x y)) 3))
  (cbrt (pow (/ (- x y) (+ (pow x 3) (pow y 3))) 3))
  (cbrt (pow (+ (* x x) (- (* y y) (* x y))) 3))
  (cbrt (pow (/ (- x y) (- (* x x) (* y y))) 3))
  (cbrt (pow (- x y) 3))
  (cbrt (* (/ (- x y) (+ x y)) (/ (- x y) (+ x y))))
  (cbrt (/ (- x y) (+ x y)))
  (cbrt (* (cbrt (pow (/ (- x y) (+ x y)) 3)) (cbrt (pow (/ (- x y) (+ x y)) 3))))
  (cbrt (cbrt (pow (/ (- x y) (+ x y)) 3)))
  (cbrt (pow (* (cbrt (/ (- x y) (+ x y))) (cbrt (/ (- x y) (+ x y)))) 3))
  (cbrt (pow (cbrt (/ (- x y) (+ x y))) 3))
  (cbrt (pow (sqrt (/ (- x y) (+ x y))) 3))
  (cbrt (pow (sqrt (/ (- x y) (+ x y))) 3))
  (cbrt (pow (/ (* (cbrt (- x y)) (cbrt (- x y))) (* (cbrt (+ x y)) (cbrt (+ x y)))) 3))
  (cbrt (pow (/ (cbrt (- x y)) (cbrt (+ x y))) 3))
  (cbrt (pow (/ (* (cbrt (- x y)) (cbrt (- x y))) (sqrt (+ x y))) 3))
  (cbrt (pow (/ (cbrt (- x y)) (sqrt (+ x y))) 3))
  (cbrt (pow (/ (* (cbrt (- x y)) (cbrt (- x y))) 1) 3))
  (cbrt (pow (/ (cbrt (- x y)) (+ x y)) 3))
  (cbrt (pow (/ (* (cbrt (- x y)) (cbrt (- x y))) 1) 3))
  (cbrt (pow (/ (cbrt (- x y)) (+ x y)) 3))
  (cbrt (pow (/ (sqrt (- x y)) (* (cbrt (+ x y)) (cbrt (+ x y)))) 3))
  (cbrt (pow (/ (sqrt (- x y)) (cbrt (+ x y))) 3))
  (cbrt (pow (/ (sqrt (- x y)) (sqrt (+ x y))) 3))
  (cbrt (pow (/ (sqrt (- x y)) (sqrt (+ x y))) 3))
  (cbrt (pow (/ (sqrt (- x y)) 1) 3))
  (cbrt (pow (/ (sqrt (- x y)) (+ x y)) 3))
  (cbrt (pow (/ (sqrt (- x y)) 1) 3))
  (cbrt (pow (/ (sqrt (- x y)) (+ x y)) 3))
  (cbrt (pow (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y)))) 3))
  (cbrt (pow (/ (- x y) (cbrt (+ x y))) 3))
  (cbrt (pow (/ 1 (sqrt (+ x y))) 3))
  (cbrt (pow (/ (- x y) (sqrt (+ x y))) 3))
  (cbrt (pow (/ 1 1) 3))
  (cbrt (pow (/ (- x y) (+ x y)) 3))
  (cbrt (pow (/ 1 1) 3))
  (cbrt (pow (/ (- x y) (+ x y)) 3))
  (cbrt (pow (/ (+ (sqrt x) (sqrt y)) (* (cbrt (+ x y)) (cbrt (+ x y)))) 3))
  (cbrt (pow (/ (- (sqrt x) (sqrt y)) (cbrt (+ x y))) 3))
  (cbrt (pow (/ (+ (sqrt x) (sqrt y)) (sqrt (+ x y))) 3))
  (cbrt (pow (/ (- (sqrt x) (sqrt y)) (sqrt (+ x y))) 3))
  (cbrt (pow (/ (+ (sqrt x) (sqrt y)) 1) 3))
  (cbrt (pow (/ (- (sqrt x) (sqrt y)) (+ x y)) 3))
  (cbrt (pow (/ (+ (sqrt x) (sqrt y)) 1) 3))
  (cbrt (pow (/ (- (sqrt x) (sqrt y)) (+ x y)) 3))
  (cbrt (pow (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y)))) 3))
  (cbrt (pow (/ (- x y) (cbrt (+ x y))) 3))
  (cbrt (pow (/ 1 (sqrt (+ x y))) 3))
  (cbrt (pow (/ (- x y) (sqrt (+ x y))) 3))
  (cbrt (pow (/ 1 1) 3))
  (cbrt (pow (/ (- x y) (+ x y)) 3))
  (cbrt (pow (/ 1 1) 3))
  (cbrt (pow (/ (- x y) (+ x y)) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (/ (- x y) (+ x y)) 3))
  (cbrt (pow (- x y) 3))
  (cbrt (pow (/ 1 (+ x y)) 3))
  (cbrt (pow (/ (- x y) (+ (pow x 3) (pow y 3))) 3))
  (cbrt (pow (+ (* x x) (- (* y y) (* x y))) 3))
  (cbrt (pow (/ (- x y) (- (* x x) (* y y))) 3))
  (cbrt (pow (- x y) 3))
  (cbrt (/ (- x y) (+ x y)))
  (cbrt (* (/ (- x y) (+ x y)) (/ (- x y) (+ x y))))
  (cbrt (sqrt (pow (/ (- x y) (+ x y)) 3)))
  (cbrt (sqrt (pow (/ (- x y) (+ x y)) 3)))
  (cbrt 1)
  (cbrt (pow (/ (- x y) (+ x y)) 3))
  (cbrt (pow (/ (- x y) (+ x y)) (/ 3 2)))
  (cbrt (pow (/ (- x y) (+ x y)) (/ 3 2)))
  (cbrt (pow (- x y) 3))
  (cbrt (pow (+ x y) 3))
  (* (cbrt (cbrt (pow (/ (- x y) (+ x y)) 3))) (cbrt (cbrt (pow (/ (- x y) (+ x y)) 3))))
  (cbrt (cbrt (pow (/ (- x y) (+ x y)) 3)))
  (* (* (cbrt (pow (/ (- x y) (+ x y)) 3)) (cbrt (pow (/ (- x y) (+ x y)) 3))) (cbrt (pow (/ (- x y) (+ x y)) 3)))
  (sqrt (cbrt (pow (/ (- x y) (+ x y)) 3)))
  (sqrt (cbrt (pow (/ (- x y) (+ x y)) 3)))
  (- (log (- x y)) (log (+ x y)))
  (log (/ (- x y) (+ x y)))
  (exp (/ (- x y) (+ x y)))
  (/ (* (* (- x y) (- x y)) (- x y)) (* (* (+ x y) (+ 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)))
  (- (- x y))
  (- (+ x y))
  (/ x (+ x y))
  (/ y (+ x y))
  (/ (* (cbrt (- x y)) (cbrt (- x y))) (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ (cbrt (- x y)) (cbrt (+ x y)))
  (/ (* (cbrt (- x y)) (cbrt (- x y))) (sqrt (+ x y)))
  (/ (cbrt (- x y)) (sqrt (+ x y)))
  (/ (* (cbrt (- x y)) (cbrt (- x y))) 1)
  (/ (cbrt (- x y)) (+ x y))
  (/ (* (cbrt (- x y)) (cbrt (- x y))) 1)
  (/ (cbrt (- x y)) (+ x y))
  (/ (sqrt (- x y)) (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ (sqrt (- x y)) (cbrt (+ x y)))
  (/ (sqrt (- x y)) (sqrt (+ x y)))
  (/ (sqrt (- x y)) (sqrt (+ x y)))
  (/ (sqrt (- x y)) 1)
  (/ (sqrt (- x y)) (+ x y))
  (/ (sqrt (- x y)) 1)
  (/ (sqrt (- x y)) (+ x y))
  (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ (- x y) (cbrt (+ x y)))
  (/ 1 (sqrt (+ x y)))
  (/ (- x y) (sqrt (+ x y)))
  (/ 1 1)
  (/ (- x y) (+ x y))
  (/ 1 1)
  (/ (- x y) (+ x y))
  (/ (+ (sqrt x) (sqrt y)) (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ (- (sqrt x) (sqrt y)) (cbrt (+ x y)))
  (/ (+ (sqrt x) (sqrt y)) (sqrt (+ x y)))
  (/ (- (sqrt x) (sqrt y)) (sqrt (+ x y)))
  (/ (+ (sqrt x) (sqrt y)) 1)
  (/ (- (sqrt x) (sqrt y)) (+ x y))
  (/ (+ (sqrt x) (sqrt y)) 1)
  (/ (- (sqrt x) (sqrt y)) (+ x y))
  (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ (- x y) (cbrt (+ x y)))
  (/ 1 (sqrt (+ x y)))
  (/ (- x y) (sqrt (+ x y)))
  (/ 1 1)
  (/ (- x y) (+ x y))
  (/ 1 1)
  (/ (- x y) (+ x y))
  (/ 1 (+ x y))
  (/ (+ x y) (- x y))
  (/ (- x y) (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ (- x y) (sqrt (+ x y)))
  (/ (- x y) 1)
  (/ (- x y) 1)
  (/ (+ x y) (cbrt (- x y)))
  (/ (+ x y) (sqrt (- x y)))
  (/ (+ x y) (- x y))
  (/ (+ x y) (- (sqrt x) (sqrt y)))
  (/ (+ x y) (- x y))
  (/ (- x y) (+ (pow x 3) (pow y 3)))
  (/ (- x y) (- (* x x) (* y y)))
  (* (+ x y) (+ (* x x) (+ (* y y) (* x y))))
  (* (+ x y) (+ x y))
  -1
  1
  1
  -1
  1
  (* -1 (cbrt -1))
  -1
  1
  1
1.083 * * [simplify]: iteration  0 :  502  enodes  (cost  1403 )
1.092 * * [simplify]: iteration  1 :  2181  enodes  (cost  1310 )
1.124 * * [simplify]: iteration  2 :  5001  enodes  (cost  1292 )
1.131 * [simplify]: Simplified to:
   (log (pow (/ (- x y) (+ x y)) 3))
  (log (pow (/ (- x y) (+ x y)) 3))
  (log (pow (/ (- x y) (+ x y)) 3))
  3
  (pow (/ (- x y) (+ x y)) (* (cbrt 3) (cbrt 3)))
  (pow (/ (- x y) (+ x y)) (sqrt 3))
  (/ (- x y) (+ x y))
  (pow (/ (- x y) (+ x y)) 2)
  (/ (- x y) (+ x y))
  (pow (/ (- x y) (+ x y)) 3/2)
  (pow (/ (- x y) (+ x y)) 3/2)
  (pow (/ (- x y) (+ x y)) 2)
  (/ (- x y) (+ x y))
  (/ (* (- x y) (- x y)) (pow (sqrt (+ x y)) 3))
  (/ (- x y) (pow (sqrt (+ x y)) 3))
  (* (- x y) (- x y))
  (/ (- x y) (pow (+ x y) 3))
  (* (- x y) (- x y))
  (/ (- x y) (pow (+ x y) 3))
  (/ (pow (sqrt (- x y)) 3) (* (+ x y) (+ x y)))
  (/ (pow (sqrt (- x y)) 3) (+ x y))
  (pow (/ (sqrt (- x y)) (sqrt (+ x y))) 3)
  (pow (/ (sqrt (- x y)) (sqrt (+ x y))) 3)
  (pow (sqrt (- x y)) 3)
  (pow (/ (sqrt (- x y)) (+ x y)) 3)
  (pow (sqrt (- x y)) 3)
  (pow (/ (sqrt (- x y)) (+ x y)) 3)
  (/ 1 (* (+ x y) (+ x y)))
  (/ (pow (- x y) 3) (+ x y))
  (pow (/ 1 (sqrt (+ x y))) 3)
  (pow (/ (- x y) (sqrt (+ x y))) 3)
  1
  (pow (/ (- x y) (+ x y)) 3)
  1
  (pow (/ (- x y) (+ x y)) 3)
  (/ (pow (+ (sqrt x) (sqrt y)) 3) (* (+ x y) (+ x y)))
  (/ (pow (- (sqrt x) (sqrt y)) 3) (+ x y))
  (pow (/ (+ (sqrt x) (sqrt y)) (sqrt (+ x y))) 3)
  (pow (/ (- (sqrt x) (sqrt y)) (sqrt (+ x y))) 3)
  (pow (+ (sqrt x) (sqrt y)) 3)
  (pow (/ (- (sqrt x) (sqrt y)) (+ x y)) 3)
  (pow (+ (sqrt x) (sqrt y)) 3)
  (pow (/ (- (sqrt x) (sqrt y)) (+ x y)) 3)
  (/ 1 (* (+ x y) (+ x y)))
  (/ (pow (- x y) 3) (+ x y))
  (pow (/ 1 (sqrt (+ x y))) 3)
  (pow (/ (- x y) (sqrt (+ x y))) 3)
  1
  (pow (/ (- x y) (+ x y)) 3)
  1
  (pow (/ (- x y) (+ x y)) 3)
  1
  (pow (/ (- x y) (+ x y)) 3)
  (pow (- x y) 3)
  (pow (/ 1 (+ x y)) 3)
  (pow (/ (- x y) (+ (pow x 3) (pow y 3))) 3)
  (pow (+ (* y (- y x)) (* x x)) 3)
  (pow (/ (- x y) (- (* x x) (* y y))) 3)
  (pow (- x y) 3)
  (pow (/ (- x y) (+ x y)) 2)
  (log (pow (/ (- x y) (+ x y)) 3))
  (exp (pow (/ (- x y) (+ x y)) 3))
  (pow (/ (- x y) (+ x y)) 2)
  (/ (- x y) (+ x y))
  (pow (pow (/ (- x y) (+ x y)) 3) 3)
  (pow (/ (- x y) (+ x y)) 2)
  (/ (- x y) (+ x y))
  (pow (/ (- x y) (+ x y)) 3/2)
  (pow (/ (- x y) (+ x y)) 3/2)
  (pow (/ (- x y) (+ x y)) 2)
  (/ (- x y) (+ x y))
  (/ (* (- x y) (- x y)) (pow (sqrt (+ x y)) 3))
  (/ (- x y) (pow (sqrt (+ x y)) 3))
  (* (- x y) (- x y))
  (/ (- x y) (pow (+ x y) 3))
  (* (- x y) (- x y))
  (/ (- x y) (pow (+ x y) 3))
  (/ (pow (sqrt (- x y)) 3) (* (+ x y) (+ x y)))
  (/ (pow (sqrt (- x y)) 3) (+ x y))
  (pow (/ (sqrt (- x y)) (sqrt (+ x y))) 3)
  (pow (/ (sqrt (- x y)) (sqrt (+ x y))) 3)
  (pow (sqrt (- x y)) 3)
  (pow (/ (sqrt (- x y)) (+ x y)) 3)
  (pow (sqrt (- x y)) 3)
  (pow (/ (sqrt (- x y)) (+ x y)) 3)
  (/ 1 (* (+ x y) (+ x y)))
  (/ (pow (- x y) 3) (+ x y))
  (pow (/ 1 (sqrt (+ x y))) 3)
  (pow (/ (- x y) (sqrt (+ x y))) 3)
  1
  (pow (/ (- x y) (+ x y)) 3)
  1
  (pow (/ (- x y) (+ x y)) 3)
  (/ (pow (+ (sqrt x) (sqrt y)) 3) (* (+ x y) (+ x y)))
  (/ (pow (- (sqrt x) (sqrt y)) 3) (+ x y))
  (pow (/ (+ (sqrt x) (sqrt y)) (sqrt (+ x y))) 3)
  (pow (/ (- (sqrt x) (sqrt y)) (sqrt (+ x y))) 3)
  (pow (+ (sqrt x) (sqrt y)) 3)
  (pow (/ (- (sqrt x) (sqrt y)) (+ x y)) 3)
  (pow (+ (sqrt x) (sqrt y)) 3)
  (pow (/ (- (sqrt x) (sqrt y)) (+ x y)) 3)
  (/ 1 (* (+ x y) (+ x y)))
  (/ (pow (- x y) 3) (+ x y))
  (pow (/ 1 (sqrt (+ x y))) 3)
  (pow (/ (- x y) (sqrt (+ x y))) 3)
  1
  (pow (/ (- x y) (+ x y)) 3)
  1
  (pow (/ (- x y) (+ x y)) 3)
  1
  (pow (/ (- x y) (+ x y)) 3)
  (pow (- x y) 3)
  (pow (/ 1 (+ x y)) 3)
  (pow (/ (- x y) (+ (pow x 3) (pow y 3))) 3)
  (pow (+ (* y (- y x)) (* x x)) 3)
  (pow (/ (- x y) (- (* x x) (* y y))) 3)
  (pow (- x y) 3)
  (pow (- x y) 3)
  (pow (+ x y) 3)
  (pow (/ (- x y) (+ x y)) 2)
  (sqrt (pow (/ (- x y) (+ x y)) 3))
  (sqrt (pow (/ (- x y) (+ x y)) 3))
  (pow (/ (- x y) (+ x y)) 3/2)
  (pow (/ (- x y) (+ x y)) 3/2)
  (log (/ (- x y) (+ x y)))
  (exp (/ (- x y) (+ x y)))
  (cbrt (* (/ (- x y) (+ x y)) (/ (- x y) (+ x y))))
  (cbrt (/ (- x y) (+ x y)))
  (sqrt (/ (- x y) (+ x y)))
  (sqrt (/ (- x y) (+ x y)))
  (cbrt (* (/ (- x y) (+ x y)) (/ (- x y) (+ x y))))
  (cbrt (/ (- x y) (+ x y)))
  (/ (* (cbrt (- x y)) (cbrt (- x y))) (sqrt (+ x y)))
  (/ (cbrt (- x y)) (sqrt (+ x y)))
  (* (cbrt (- x y)) (cbrt (- x y)))
  (/ (cbrt (- x y)) (+ x y))
  (* (cbrt (- x y)) (cbrt (- x y)))
  (/ (cbrt (- x y)) (+ x y))
  (/ (sqrt (- x y)) (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ (sqrt (- x y)) (cbrt (+ x y)))
  (/ (sqrt (- x y)) (sqrt (+ x y)))
  (/ (sqrt (- x y)) (sqrt (+ x y)))
  (sqrt (- x y))
  (/ (sqrt (- x y)) (+ x y))
  (sqrt (- x y))
  (/ (sqrt (- x y)) (+ x y))
  (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ (- x y) (cbrt (+ x y)))
  (/ 1 (sqrt (+ x y)))
  (/ (- x y) (sqrt (+ x y)))
  1
  (/ (- x y) (+ x y))
  1
  (/ (- x y) (+ x y))
  (/ (+ (sqrt x) (sqrt y)) (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ (- (sqrt x) (sqrt y)) (cbrt (+ x y)))
  (/ (+ (sqrt x) (sqrt y)) (sqrt (+ x y)))
  (/ (- (sqrt x) (sqrt y)) (sqrt (+ x y)))
  (+ (sqrt x) (sqrt y))
  (/ (- (sqrt x) (sqrt y)) (+ x y))
  (+ (sqrt x) (sqrt y))
  (/ (- (sqrt x) (sqrt y)) (+ x y))
  (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ (- x y) (cbrt (+ x y)))
  (/ 1 (sqrt (+ x y)))
  (/ (- x y) (sqrt (+ x y)))
  1
  (/ (- x y) (+ x y))
  1
  (/ (- x y) (+ x y))
  1
  (/ (- x y) (+ x y))
  (- x y)
  (/ 1 (+ x y))
  (/ (- x y) (+ (pow x 3) (pow y 3)))
  (+ (* y (- y x)) (* x x))
  (/ (- x y) (- (* x x) (* y y)))
  (- x y)
  (cbrt (* (/ (- 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)))
  (cbrt (* (/ (- x y) (+ x y)) (/ (- x y) (+ x y))))
  (cbrt (/ (- x y) (+ x y)))
  (sqrt (/ (- x y) (+ x y)))
  (sqrt (/ (- x y) (+ x y)))
  (cbrt (* (/ (- x y) (+ x y)) (/ (- x y) (+ x y))))
  (cbrt (/ (- x y) (+ x y)))
  (/ (* (cbrt (- x y)) (cbrt (- x y))) (sqrt (+ x y)))
  (/ (cbrt (- x y)) (sqrt (+ x y)))
  (* (cbrt (- x y)) (cbrt (- x y)))
  (/ (cbrt (- x y)) (+ x y))
  (* (cbrt (- x y)) (cbrt (- x y)))
  (/ (cbrt (- x y)) (+ x y))
  (/ (sqrt (- x y)) (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ (sqrt (- x y)) (cbrt (+ x y)))
  (/ (sqrt (- x y)) (sqrt (+ x y)))
  (/ (sqrt (- x y)) (sqrt (+ x y)))
  (sqrt (- x y))
  (/ (sqrt (- x y)) (+ x y))
  (sqrt (- x y))
  (/ (sqrt (- x y)) (+ x y))
  (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ (- x y) (cbrt (+ x y)))
  (/ 1 (sqrt (+ x y)))
  (/ (- x y) (sqrt (+ x y)))
  1
  (/ (- x y) (+ x y))
  1
  (/ (- x y) (+ x y))
  (/ (+ (sqrt x) (sqrt y)) (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ (- (sqrt x) (sqrt y)) (cbrt (+ x y)))
  (/ (+ (sqrt x) (sqrt y)) (sqrt (+ x y)))
  (/ (- (sqrt x) (sqrt y)) (sqrt (+ x y)))
  (+ (sqrt x) (sqrt y))
  (/ (- (sqrt x) (sqrt y)) (+ x y))
  (+ (sqrt x) (sqrt y))
  (/ (- (sqrt x) (sqrt y)) (+ x y))
  (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ (- x y) (cbrt (+ x y)))
  (/ 1 (sqrt (+ x y)))
  (/ (- x y) (sqrt (+ x y)))
  1
  (/ (- x y) (+ x y))
  1
  (/ (- x y) (+ x y))
  1
  (/ (- x y) (+ x y))
  (- x y)
  (/ 1 (+ x y))
  (/ (- x y) (+ (pow x 3) (pow y 3)))
  (+ (* y (- y x)) (* x x))
  (/ (- x y) (- (* x x) (* y y)))
  (- x y)
  (cbrt (/ (- x y) (+ x y)))
  (cbrt (* (/ (- x y) (+ x y)) (/ (- x y) (+ x y))))
  (cbrt (sqrt (pow (/ (- x y) (+ x y)) 3)))
  (cbrt (sqrt (pow (/ (- x y) (+ x y)) 3)))
  1
  (/ (- x y) (+ x y))
  (sqrt (/ (- x y) (+ x y)))
  (sqrt (/ (- x y) (+ x y)))
  (- x y)
  (+ x y)
  (cbrt (* (/ (- x y) (+ x y)) (/ (- 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)))
  (log (/ (- x y) (+ x y)))
  (log (/ (- x y) (+ x y)))
  (exp (/ (- x y) (+ x y)))
  (pow (/ (- x y) (+ x y)) 3)
  (cbrt (* (/ (- x y) (+ x y)) (/ (- 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)))
  (- (- x y))
  (- (+ x y))
  (/ x (+ x y))
  (/ y (+ x y))
  (cbrt (* (/ (- x y) (+ x y)) (/ (- x y) (+ x y))))
  (cbrt (/ (- x y) (+ x y)))
  (/ (* (cbrt (- x y)) (cbrt (- x y))) (sqrt (+ x y)))
  (/ (cbrt (- x y)) (sqrt (+ x y)))
  (* (cbrt (- x y)) (cbrt (- x y)))
  (/ (cbrt (- x y)) (+ x y))
  (* (cbrt (- x y)) (cbrt (- x y)))
  (/ (cbrt (- x y)) (+ x y))
  (/ (sqrt (- x y)) (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ (sqrt (- x y)) (cbrt (+ x y)))
  (/ (sqrt (- x y)) (sqrt (+ x y)))
  (/ (sqrt (- x y)) (sqrt (+ x y)))
  (sqrt (- x y))
  (/ (sqrt (- x y)) (+ x y))
  (sqrt (- x y))
  (/ (sqrt (- x y)) (+ x y))
  (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ (- x y) (cbrt (+ x y)))
  (/ 1 (sqrt (+ x y)))
  (/ (- x y) (sqrt (+ x y)))
  1
  (/ (- x y) (+ x y))
  1
  (/ (- x y) (+ x y))
  (/ (+ (sqrt x) (sqrt y)) (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ (- (sqrt x) (sqrt y)) (cbrt (+ x y)))
  (/ (+ (sqrt x) (sqrt y)) (sqrt (+ x y)))
  (/ (- (sqrt x) (sqrt y)) (sqrt (+ x y)))
  (+ (sqrt x) (sqrt y))
  (/ (- (sqrt x) (sqrt y)) (+ x y))
  (+ (sqrt x) (sqrt y))
  (/ (- (sqrt x) (sqrt y)) (+ x y))
  (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ (- x y) (cbrt (+ x y)))
  (/ 1 (sqrt (+ x y)))
  (/ (- x y) (sqrt (+ x y)))
  1
  (/ (- x y) (+ x y))
  1
  (/ (- x y) (+ x y))
  (/ 1 (+ x y))
  (/ (+ x y) (- x y))
  (/ (- x y) (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ (- x y) (sqrt (+ x y)))
  (- x y)
  (- x y)
  (/ (+ x y) (cbrt (- x y)))
  (/ (+ x y) (sqrt (- x y)))
  (/ (+ x y) (- x y))
  (/ (+ x y) (- (sqrt x) (sqrt y)))
  (/ (+ x y) (- x y))
  (/ (- x y) (+ (pow x 3) (pow y 3)))
  (/ (- x y) (- (* x x) (* y y)))
  (* (+ (* y (+ y x)) (* x x)) (+ x y))
  (* (+ x y) (+ x y))
  -1
  1
  1
  -1
  1
  (* -1 (cbrt -1))
  -1
  1
  1
1.132 * * * [progress]: adding candidates to table
1.359 * * [progress]: iteration 4 / 4
1.359 * * * [progress]: picking best candidate
1.365 * * * * [pick]: Picked  #<alt (λ (x y) (log (* (sqrt (exp (/ (- x y) (+ x y)))) (sqrt (exp (/ (- x y) (+ x y)))))))>
1.365 * * * [progress]: localizing error
1.378 * * * [progress]: generating rewritten candidates
1.378 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1.573 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1)
1.585 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1)
1.596 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
1.658 * * * [progress]: generating series expansions
1.658 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1.659 * [approximate]: Taking taylor expansion of (exp (/ (- x y) (+ x y))) in (x y) around 0
1.659 * [taylor]: Taking taylor expansion of (exp (/ (- x y) (+ x y))) in y
1.659 * [taylor]: Taking taylor expansion of (/ (- x y) (+ x y)) in y
1.659 * [taylor]: Taking taylor expansion of (- x y) in y
1.659 * [taylor]: Taking taylor expansion of x in y
1.659 * [taylor]: Taking taylor expansion of y in y
1.659 * [taylor]: Taking taylor expansion of (+ x y) in y
1.659 * [taylor]: Taking taylor expansion of x in y
1.659 * [taylor]: Taking taylor expansion of y in y
1.659 * [taylor]: Taking taylor expansion of (exp (/ (- x y) (+ x y))) in x
1.659 * [taylor]: Taking taylor expansion of (/ (- x y) (+ x y)) in x
1.659 * [taylor]: Taking taylor expansion of (- x y) in x
1.659 * [taylor]: Taking taylor expansion of x in x
1.659 * [taylor]: Taking taylor expansion of y in x
1.660 * [taylor]: Taking taylor expansion of (+ x y) in x
1.660 * [taylor]: Taking taylor expansion of x in x
1.660 * [taylor]: Taking taylor expansion of y in x
1.660 * [taylor]: Taking taylor expansion of (exp (/ (- x y) (+ x y))) in x
1.660 * [taylor]: Taking taylor expansion of (/ (- x y) (+ x y)) in x
1.660 * [taylor]: Taking taylor expansion of (- x y) in x
1.660 * [taylor]: Taking taylor expansion of x in x
1.660 * [taylor]: Taking taylor expansion of y in x
1.660 * [taylor]: Taking taylor expansion of (+ x y) in x
1.660 * [taylor]: Taking taylor expansion of x in x
1.660 * [taylor]: Taking taylor expansion of y in x
1.660 * [taylor]: Taking taylor expansion of (exp -1) in y
1.661 * [taylor]: Taking taylor expansion of -1 in y
1.662 * [taylor]: Taking taylor expansion of (* 2 (/ (exp -1) y)) in y
1.662 * [taylor]: Taking taylor expansion of 2 in y
1.662 * [taylor]: Taking taylor expansion of (/ (exp -1) y) in y
1.662 * [taylor]: Taking taylor expansion of (exp -1) in y
1.662 * [taylor]: Taking taylor expansion of -1 in y
1.663 * [taylor]: Taking taylor expansion of y in y
1.667 * [taylor]: Taking taylor expansion of 0 in y
1.671 * [taylor]: Taking taylor expansion of (* -2/3 (/ (exp -1) (pow y 3))) in y
1.671 * [taylor]: Taking taylor expansion of -2/3 in y
1.671 * [taylor]: Taking taylor expansion of (/ (exp -1) (pow y 3)) in y
1.671 * [taylor]: Taking taylor expansion of (exp -1) in y
1.671 * [taylor]: Taking taylor expansion of -1 in y
1.672 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.672 * [taylor]: Taking taylor expansion of y in y
1.681 * [approximate]: Taking taylor expansion of (exp (/ (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x)))) in (x y) around 0
1.681 * [taylor]: Taking taylor expansion of (exp (/ (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x)))) in y
1.681 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) in y
1.681 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
1.681 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.681 * [taylor]: Taking taylor expansion of x in y
1.681 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.681 * [taylor]: Taking taylor expansion of y in y
1.681 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
1.681 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.681 * [taylor]: Taking taylor expansion of y in y
1.681 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.681 * [taylor]: Taking taylor expansion of x in y
1.683 * [taylor]: Taking taylor expansion of (exp (/ (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x)))) in x
1.683 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) in x
1.683 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
1.683 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.683 * [taylor]: Taking taylor expansion of x in x
1.683 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.683 * [taylor]: Taking taylor expansion of y in x
1.683 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
1.683 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.683 * [taylor]: Taking taylor expansion of y in x
1.683 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.683 * [taylor]: Taking taylor expansion of x in x
1.684 * [taylor]: Taking taylor expansion of (exp (/ (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x)))) in x
1.684 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) in x
1.684 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
1.684 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.684 * [taylor]: Taking taylor expansion of x in x
1.684 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.684 * [taylor]: Taking taylor expansion of y in x
1.685 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
1.685 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.685 * [taylor]: Taking taylor expansion of y in x
1.685 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.685 * [taylor]: Taking taylor expansion of x in x
1.686 * [taylor]: Taking taylor expansion of E in y
1.687 * [taylor]: Taking taylor expansion of (* -2 (/ E y)) in y
1.687 * [taylor]: Taking taylor expansion of -2 in y
1.687 * [taylor]: Taking taylor expansion of (/ E y) in y
1.687 * [taylor]: Taking taylor expansion of E in y
1.687 * [taylor]: Taking taylor expansion of y in y
1.691 * [taylor]: Taking taylor expansion of (* 4 (/ E (pow y 2))) in y
1.691 * [taylor]: Taking taylor expansion of 4 in y
1.691 * [taylor]: Taking taylor expansion of (/ E (pow y 2)) in y
1.691 * [taylor]: Taking taylor expansion of E in y
1.691 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.691 * [taylor]: Taking taylor expansion of y in y
1.698 * [taylor]: Taking taylor expansion of (* -22/3 (/ E (pow y 3))) in y
1.698 * [taylor]: Taking taylor expansion of -22/3 in y
1.698 * [taylor]: Taking taylor expansion of (/ E (pow y 3)) in y
1.698 * [taylor]: Taking taylor expansion of E in y
1.698 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.698 * [taylor]: Taking taylor expansion of y in y
1.704 * [approximate]: Taking taylor expansion of (exp (* -1 (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x))))) in (x y) around 0
1.704 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x))))) in y
1.704 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x)))) in y
1.704 * [taylor]: Taking taylor expansion of -1 in y
1.704 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x))) in y
1.704 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
1.704 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.704 * [taylor]: Taking taylor expansion of y in y
1.705 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.705 * [taylor]: Taking taylor expansion of x in y
1.705 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
1.705 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.705 * [taylor]: Taking taylor expansion of y in y
1.705 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.705 * [taylor]: Taking taylor expansion of x in y
1.706 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x))))) in x
1.706 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x)))) in x
1.706 * [taylor]: Taking taylor expansion of -1 in x
1.706 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x))) in x
1.706 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
1.706 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.706 * [taylor]: Taking taylor expansion of y in x
1.706 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.706 * [taylor]: Taking taylor expansion of x in x
1.707 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
1.707 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.707 * [taylor]: Taking taylor expansion of y in x
1.707 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.707 * [taylor]: Taking taylor expansion of x in x
1.708 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x))))) in x
1.709 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x)))) in x
1.709 * [taylor]: Taking taylor expansion of -1 in x
1.709 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x))) in x
1.709 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
1.709 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.709 * [taylor]: Taking taylor expansion of y in x
1.709 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.709 * [taylor]: Taking taylor expansion of x in x
1.709 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
1.709 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.709 * [taylor]: Taking taylor expansion of y in x
1.709 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.709 * [taylor]: Taking taylor expansion of x in x
1.710 * [taylor]: Taking taylor expansion of E in y
1.712 * [taylor]: Taking taylor expansion of (* -2 (/ E y)) in y
1.712 * [taylor]: Taking taylor expansion of -2 in y
1.712 * [taylor]: Taking taylor expansion of (/ E y) in y
1.712 * [taylor]: Taking taylor expansion of E in y
1.712 * [taylor]: Taking taylor expansion of y in y
1.717 * [taylor]: Taking taylor expansion of (* 4 (/ E (pow y 2))) in y
1.717 * [taylor]: Taking taylor expansion of 4 in y
1.717 * [taylor]: Taking taylor expansion of (/ E (pow y 2)) in y
1.717 * [taylor]: Taking taylor expansion of E in y
1.717 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.717 * [taylor]: Taking taylor expansion of y in y
1.724 * [taylor]: Taking taylor expansion of (* -22/3 (/ E (pow y 3))) in y
1.725 * [taylor]: Taking taylor expansion of -22/3 in y
1.725 * [taylor]: Taking taylor expansion of (/ E (pow y 3)) in y
1.725 * [taylor]: Taking taylor expansion of E in y
1.725 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.725 * [taylor]: Taking taylor expansion of y in y
1.730 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1)
1.730 * [approximate]: Taking taylor expansion of (/ (- x y) (+ x y)) in (x y) around 0
1.730 * [taylor]: Taking taylor expansion of (/ (- x y) (+ x y)) in y
1.730 * [taylor]: Taking taylor expansion of (- x y) in y
1.730 * [taylor]: Taking taylor expansion of x in y
1.730 * [taylor]: Taking taylor expansion of y in y
1.730 * [taylor]: Taking taylor expansion of (+ x y) in y
1.730 * [taylor]: Taking taylor expansion of x in y
1.730 * [taylor]: Taking taylor expansion of y in y
1.731 * [taylor]: Taking taylor expansion of (/ (- x y) (+ x y)) in x
1.731 * [taylor]: Taking taylor expansion of (- x y) in x
1.731 * [taylor]: Taking taylor expansion of x in x
1.731 * [taylor]: Taking taylor expansion of y in x
1.731 * [taylor]: Taking taylor expansion of (+ x y) in x
1.731 * [taylor]: Taking taylor expansion of x in x
1.731 * [taylor]: Taking taylor expansion of y in x
1.731 * [taylor]: Taking taylor expansion of (/ (- x y) (+ x y)) in x
1.731 * [taylor]: Taking taylor expansion of (- x y) in x
1.731 * [taylor]: Taking taylor expansion of x in x
1.731 * [taylor]: Taking taylor expansion of y in x
1.731 * [taylor]: Taking taylor expansion of (+ x y) in x
1.731 * [taylor]: Taking taylor expansion of x in x
1.731 * [taylor]: Taking taylor expansion of y in x
1.731 * [taylor]: Taking taylor expansion of -1 in y
1.732 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y
1.732 * [taylor]: Taking taylor expansion of 2 in y
1.732 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.732 * [taylor]: Taking taylor expansion of y in y
1.737 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow y 2)))) in y
1.737 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 2))) in y
1.737 * [taylor]: Taking taylor expansion of 2 in y
1.737 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.737 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.737 * [taylor]: Taking taylor expansion of y in y
1.742 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 3))) in y
1.742 * [taylor]: Taking taylor expansion of 2 in y
1.742 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
1.742 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.742 * [taylor]: Taking taylor expansion of y in y
1.747 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) in (x y) around 0
1.747 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) in y
1.747 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
1.747 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.747 * [taylor]: Taking taylor expansion of x in y
1.747 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.748 * [taylor]: Taking taylor expansion of y in y
1.748 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
1.748 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.748 * [taylor]: Taking taylor expansion of y in y
1.748 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.748 * [taylor]: Taking taylor expansion of x in y
1.749 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) in x
1.749 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
1.749 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.749 * [taylor]: Taking taylor expansion of x in x
1.749 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.749 * [taylor]: Taking taylor expansion of y in x
1.749 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
1.749 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.749 * [taylor]: Taking taylor expansion of y in x
1.750 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.750 * [taylor]: Taking taylor expansion of x in x
1.750 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) in x
1.751 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
1.751 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.751 * [taylor]: Taking taylor expansion of x in x
1.751 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.751 * [taylor]: Taking taylor expansion of y in x
1.751 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
1.751 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.751 * [taylor]: Taking taylor expansion of y in x
1.751 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.751 * [taylor]: Taking taylor expansion of x in x
1.752 * [taylor]: Taking taylor expansion of 1 in y
1.753 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 y))) in y
1.753 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y
1.753 * [taylor]: Taking taylor expansion of 2 in y
1.753 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.753 * [taylor]: Taking taylor expansion of y in y
1.757 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 2))) in y
1.757 * [taylor]: Taking taylor expansion of 2 in y
1.757 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.757 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.757 * [taylor]: Taking taylor expansion of y in y
1.764 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow y 3)))) in y
1.764 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 3))) in y
1.764 * [taylor]: Taking taylor expansion of 2 in y
1.764 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
1.764 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.764 * [taylor]: Taking taylor expansion of y in y
1.769 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x)))) in (x y) around 0
1.769 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x)))) in y
1.769 * [taylor]: Taking taylor expansion of -1 in y
1.769 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x))) in y
1.769 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
1.769 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.769 * [taylor]: Taking taylor expansion of y in y
1.770 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.770 * [taylor]: Taking taylor expansion of x in y
1.770 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
1.770 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.770 * [taylor]: Taking taylor expansion of y in y
1.770 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.770 * [taylor]: Taking taylor expansion of x in y
1.771 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x)))) in x
1.771 * [taylor]: Taking taylor expansion of -1 in x
1.771 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x))) in x
1.771 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
1.771 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.771 * [taylor]: Taking taylor expansion of y in x
1.771 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.771 * [taylor]: Taking taylor expansion of x in x
1.771 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
1.771 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.771 * [taylor]: Taking taylor expansion of y in x
1.771 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.771 * [taylor]: Taking taylor expansion of x in x
1.772 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x)))) in x
1.773 * [taylor]: Taking taylor expansion of -1 in x
1.773 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x))) in x
1.773 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
1.773 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.773 * [taylor]: Taking taylor expansion of y in x
1.773 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.773 * [taylor]: Taking taylor expansion of x in x
1.773 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
1.773 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.773 * [taylor]: Taking taylor expansion of y in x
1.773 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.773 * [taylor]: Taking taylor expansion of x in x
1.774 * [taylor]: Taking taylor expansion of 1 in y
1.776 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 y))) in y
1.776 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y
1.776 * [taylor]: Taking taylor expansion of 2 in y
1.776 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.776 * [taylor]: Taking taylor expansion of y in y
1.780 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 2))) in y
1.780 * [taylor]: Taking taylor expansion of 2 in y
1.780 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.780 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.780 * [taylor]: Taking taylor expansion of y in y
1.787 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow y 3)))) in y
1.787 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 3))) in y
1.787 * [taylor]: Taking taylor expansion of 2 in y
1.787 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
1.787 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.787 * [taylor]: Taking taylor expansion of y in y
1.793 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1)
1.793 * [approximate]: Taking taylor expansion of (/ (- x y) (+ x y)) in (x y) around 0
1.793 * [taylor]: Taking taylor expansion of (/ (- x y) (+ x y)) in y
1.793 * [taylor]: Taking taylor expansion of (- x y) in y
1.793 * [taylor]: Taking taylor expansion of x in y
1.793 * [taylor]: Taking taylor expansion of y in y
1.793 * [taylor]: Taking taylor expansion of (+ x y) in y
1.793 * [taylor]: Taking taylor expansion of x in y
1.793 * [taylor]: Taking taylor expansion of y in y
1.793 * [taylor]: Taking taylor expansion of (/ (- x y) (+ x y)) in x
1.794 * [taylor]: Taking taylor expansion of (- x y) in x
1.794 * [taylor]: Taking taylor expansion of x in x
1.794 * [taylor]: Taking taylor expansion of y in x
1.794 * [taylor]: Taking taylor expansion of (+ x y) in x
1.794 * [taylor]: Taking taylor expansion of x in x
1.794 * [taylor]: Taking taylor expansion of y in x
1.794 * [taylor]: Taking taylor expansion of (/ (- x y) (+ x y)) in x
1.794 * [taylor]: Taking taylor expansion of (- x y) in x
1.794 * [taylor]: Taking taylor expansion of x in x
1.794 * [taylor]: Taking taylor expansion of y in x
1.794 * [taylor]: Taking taylor expansion of (+ x y) in x
1.794 * [taylor]: Taking taylor expansion of x in x
1.794 * [taylor]: Taking taylor expansion of y in x
1.794 * [taylor]: Taking taylor expansion of -1 in y
1.795 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y
1.795 * [taylor]: Taking taylor expansion of 2 in y
1.795 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.795 * [taylor]: Taking taylor expansion of y in y
1.797 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow y 2)))) in y
1.797 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 2))) in y
1.797 * [taylor]: Taking taylor expansion of 2 in y
1.797 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.797 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.797 * [taylor]: Taking taylor expansion of y in y
1.802 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 3))) in y
1.802 * [taylor]: Taking taylor expansion of 2 in y
1.802 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
1.802 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.802 * [taylor]: Taking taylor expansion of y in y
1.807 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) in (x y) around 0
1.807 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) in y
1.807 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
1.807 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.807 * [taylor]: Taking taylor expansion of x in y
1.807 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.807 * [taylor]: Taking taylor expansion of y in y
1.807 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
1.807 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.807 * [taylor]: Taking taylor expansion of y in y
1.808 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.808 * [taylor]: Taking taylor expansion of x in y
1.809 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) in x
1.809 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
1.809 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.809 * [taylor]: Taking taylor expansion of x in x
1.809 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.809 * [taylor]: Taking taylor expansion of y in x
1.809 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
1.809 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.809 * [taylor]: Taking taylor expansion of y in x
1.809 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.809 * [taylor]: Taking taylor expansion of x in x
1.810 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) in x
1.810 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
1.810 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.810 * [taylor]: Taking taylor expansion of x in x
1.811 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.811 * [taylor]: Taking taylor expansion of y in x
1.811 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
1.811 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.811 * [taylor]: Taking taylor expansion of y in x
1.811 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.811 * [taylor]: Taking taylor expansion of x in x
1.812 * [taylor]: Taking taylor expansion of 1 in y
1.813 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 y))) in y
1.813 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y
1.813 * [taylor]: Taking taylor expansion of 2 in y
1.813 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.813 * [taylor]: Taking taylor expansion of y in y
1.819 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 2))) in y
1.819 * [taylor]: Taking taylor expansion of 2 in y
1.819 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.819 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.819 * [taylor]: Taking taylor expansion of y in y
1.826 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow y 3)))) in y
1.826 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 3))) in y
1.826 * [taylor]: Taking taylor expansion of 2 in y
1.826 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
1.826 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.826 * [taylor]: Taking taylor expansion of y in y
1.831 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x)))) in (x y) around 0
1.831 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x)))) in y
1.831 * [taylor]: Taking taylor expansion of -1 in y
1.832 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x))) in y
1.832 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
1.832 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.832 * [taylor]: Taking taylor expansion of y in y
1.832 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.832 * [taylor]: Taking taylor expansion of x in y
1.832 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
1.832 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.832 * [taylor]: Taking taylor expansion of y in y
1.832 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.832 * [taylor]: Taking taylor expansion of x in y
1.833 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x)))) in x
1.833 * [taylor]: Taking taylor expansion of -1 in x
1.833 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x))) in x
1.833 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
1.833 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.833 * [taylor]: Taking taylor expansion of y in x
1.833 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.833 * [taylor]: Taking taylor expansion of x in x
1.833 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
1.833 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.833 * [taylor]: Taking taylor expansion of y in x
1.833 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.833 * [taylor]: Taking taylor expansion of x in x
1.835 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x)))) in x
1.835 * [taylor]: Taking taylor expansion of -1 in x
1.835 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x))) in x
1.835 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
1.835 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.835 * [taylor]: Taking taylor expansion of y in x
1.835 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.835 * [taylor]: Taking taylor expansion of x in x
1.835 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
1.835 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.835 * [taylor]: Taking taylor expansion of y in x
1.835 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.835 * [taylor]: Taking taylor expansion of x in x
1.837 * [taylor]: Taking taylor expansion of 1 in y
1.838 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 y))) in y
1.838 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y
1.838 * [taylor]: Taking taylor expansion of 2 in y
1.838 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.838 * [taylor]: Taking taylor expansion of y in y
1.842 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 2))) in y
1.842 * [taylor]: Taking taylor expansion of 2 in y
1.842 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.842 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.842 * [taylor]: Taking taylor expansion of y in y
1.849 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow y 3)))) in y
1.849 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 3))) in y
1.850 * [taylor]: Taking taylor expansion of 2 in y
1.850 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
1.850 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.850 * [taylor]: Taking taylor expansion of y in y
1.855 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
1.855 * [approximate]: Taking taylor expansion of (sqrt (exp (/ (- x y) (+ x y)))) in (x y) around 0
1.855 * [taylor]: Taking taylor expansion of (sqrt (exp (/ (- x y) (+ x y)))) in y
1.855 * [taylor]: Taking taylor expansion of (exp (/ (- x y) (+ x y))) in y
1.855 * [taylor]: Taking taylor expansion of (/ (- x y) (+ x y)) in y
1.855 * [taylor]: Taking taylor expansion of (- x y) in y
1.855 * [taylor]: Taking taylor expansion of x in y
1.855 * [taylor]: Taking taylor expansion of y in y
1.855 * [taylor]: Taking taylor expansion of (+ x y) in y
1.855 * [taylor]: Taking taylor expansion of x in y
1.855 * [taylor]: Taking taylor expansion of y in y
1.858 * [taylor]: Taking taylor expansion of (sqrt (exp (/ (- x y) (+ x y)))) in x
1.858 * [taylor]: Taking taylor expansion of (exp (/ (- x y) (+ x y))) in x
1.858 * [taylor]: Taking taylor expansion of (/ (- x y) (+ x y)) in x
1.858 * [taylor]: Taking taylor expansion of (- x y) in x
1.858 * [taylor]: Taking taylor expansion of x in x
1.858 * [taylor]: Taking taylor expansion of y in x
1.858 * [taylor]: Taking taylor expansion of (+ x y) in x
1.858 * [taylor]: Taking taylor expansion of x in x
1.858 * [taylor]: Taking taylor expansion of y in x
1.861 * [taylor]: Taking taylor expansion of (sqrt (exp (/ (- x y) (+ x y)))) in x
1.861 * [taylor]: Taking taylor expansion of (exp (/ (- x y) (+ x y))) in x
1.861 * [taylor]: Taking taylor expansion of (/ (- x y) (+ x y)) in x
1.861 * [taylor]: Taking taylor expansion of (- x y) in x
1.861 * [taylor]: Taking taylor expansion of x in x
1.861 * [taylor]: Taking taylor expansion of y in x
1.861 * [taylor]: Taking taylor expansion of (+ x y) in x
1.861 * [taylor]: Taking taylor expansion of x in x
1.861 * [taylor]: Taking taylor expansion of y in x
1.864 * [taylor]: Taking taylor expansion of (sqrt (exp -1)) in y
1.864 * [taylor]: Taking taylor expansion of (exp -1) in y
1.864 * [taylor]: Taking taylor expansion of -1 in y
1.867 * [taylor]: Taking taylor expansion of (* (sqrt (exp -1)) (/ 1 y)) in y
1.867 * [taylor]: Taking taylor expansion of (sqrt (exp -1)) in y
1.867 * [taylor]: Taking taylor expansion of (exp -1) in y
1.867 * [taylor]: Taking taylor expansion of -1 in y
1.869 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.869 * [taylor]: Taking taylor expansion of y in y
1.873 * [taylor]: Taking taylor expansion of (* -1/2 (* (sqrt (exp -1)) (/ 1 (pow y 2)))) in y
1.873 * [taylor]: Taking taylor expansion of -1/2 in y
1.873 * [taylor]: Taking taylor expansion of (* (sqrt (exp -1)) (/ 1 (pow y 2))) in y
1.873 * [taylor]: Taking taylor expansion of (sqrt (exp -1)) in y
1.873 * [taylor]: Taking taylor expansion of (exp -1) in y
1.873 * [taylor]: Taking taylor expansion of -1 in y
1.875 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.875 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.875 * [taylor]: Taking taylor expansion of y in y
1.890 * [taylor]: Taking taylor expansion of (* 1/6 (* (sqrt (exp -1)) (/ 1 (pow y 3)))) in y
1.890 * [taylor]: Taking taylor expansion of 1/6 in y
1.890 * [taylor]: Taking taylor expansion of (* (sqrt (exp -1)) (/ 1 (pow y 3))) in y
1.890 * [taylor]: Taking taylor expansion of (sqrt (exp -1)) in y
1.890 * [taylor]: Taking taylor expansion of (exp -1) in y
1.890 * [taylor]: Taking taylor expansion of -1 in y
1.892 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
1.892 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.892 * [taylor]: Taking taylor expansion of y in y
1.907 * [approximate]: Taking taylor expansion of (sqrt (exp (/ (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))))) in (x y) around 0
1.907 * [taylor]: Taking taylor expansion of (sqrt (exp (/ (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))))) in y
1.907 * [taylor]: Taking taylor expansion of (exp (/ (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x)))) in y
1.907 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) in y
1.907 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
1.907 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.907 * [taylor]: Taking taylor expansion of x in y
1.907 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.907 * [taylor]: Taking taylor expansion of y in y
1.907 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
1.907 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.907 * [taylor]: Taking taylor expansion of y in y
1.907 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.907 * [taylor]: Taking taylor expansion of x in y
1.912 * [taylor]: Taking taylor expansion of (sqrt (exp (/ (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))))) in x
1.912 * [taylor]: Taking taylor expansion of (exp (/ (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x)))) in x
1.912 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) in x
1.912 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
1.912 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.912 * [taylor]: Taking taylor expansion of x in x
1.912 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.912 * [taylor]: Taking taylor expansion of y in x
1.912 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
1.912 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.912 * [taylor]: Taking taylor expansion of y in x
1.912 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.913 * [taylor]: Taking taylor expansion of x in x
1.915 * [taylor]: Taking taylor expansion of (sqrt (exp (/ (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))))) in x
1.915 * [taylor]: Taking taylor expansion of (exp (/ (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x)))) in x
1.916 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) in x
1.916 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
1.916 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.916 * [taylor]: Taking taylor expansion of x in x
1.916 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.916 * [taylor]: Taking taylor expansion of y in x
1.916 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
1.916 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.916 * [taylor]: Taking taylor expansion of y in x
1.916 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.916 * [taylor]: Taking taylor expansion of x in x
1.919 * [taylor]: Taking taylor expansion of (sqrt E) in y
1.919 * [taylor]: Taking taylor expansion of E in y
1.920 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt E) (/ 1 y))) in y
1.920 * [taylor]: Taking taylor expansion of -1 in y
1.920 * [taylor]: Taking taylor expansion of (* (sqrt E) (/ 1 y)) in y
1.920 * [taylor]: Taking taylor expansion of (sqrt E) in y
1.920 * [taylor]: Taking taylor expansion of E in y
1.921 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.921 * [taylor]: Taking taylor expansion of y in y
1.927 * [taylor]: Taking taylor expansion of (* 3/2 (* (sqrt E) (/ 1 (pow y 2)))) in y
1.927 * [taylor]: Taking taylor expansion of 3/2 in y
1.927 * [taylor]: Taking taylor expansion of (* (sqrt E) (/ 1 (pow y 2))) in y
1.927 * [taylor]: Taking taylor expansion of (sqrt E) in y
1.927 * [taylor]: Taking taylor expansion of E in y
1.928 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.928 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.928 * [taylor]: Taking taylor expansion of y in y
1.941 * [taylor]: Taking taylor expansion of (* -13/6 (* (sqrt E) (/ 1 (pow y 3)))) in y
1.941 * [taylor]: Taking taylor expansion of -13/6 in y
1.941 * [taylor]: Taking taylor expansion of (* (sqrt E) (/ 1 (pow y 3))) in y
1.941 * [taylor]: Taking taylor expansion of (sqrt E) in y
1.941 * [taylor]: Taking taylor expansion of E in y
1.941 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
1.941 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.941 * [taylor]: Taking taylor expansion of y in y
1.951 * [approximate]: Taking taylor expansion of (sqrt (exp (* -1 (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x)))))) in (x y) around 0
1.951 * [taylor]: Taking taylor expansion of (sqrt (exp (* -1 (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x)))))) in y
1.951 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x))))) in y
1.951 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x)))) in y
1.951 * [taylor]: Taking taylor expansion of -1 in y
1.951 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x))) in y
1.951 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
1.951 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.951 * [taylor]: Taking taylor expansion of y in y
1.951 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.951 * [taylor]: Taking taylor expansion of x in y
1.951 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
1.951 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.951 * [taylor]: Taking taylor expansion of y in y
1.952 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.952 * [taylor]: Taking taylor expansion of x in y
1.956 * [taylor]: Taking taylor expansion of (sqrt (exp (* -1 (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x)))))) in x
1.956 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x))))) in x
1.956 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x)))) in x
1.956 * [taylor]: Taking taylor expansion of -1 in x
1.956 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x))) in x
1.956 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
1.956 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.956 * [taylor]: Taking taylor expansion of y in x
1.956 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.956 * [taylor]: Taking taylor expansion of x in x
1.957 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
1.957 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.957 * [taylor]: Taking taylor expansion of y in x
1.957 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.957 * [taylor]: Taking taylor expansion of x in x
1.961 * [taylor]: Taking taylor expansion of (sqrt (exp (* -1 (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x)))))) in x
1.961 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x))))) in x
1.961 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x)))) in x
1.961 * [taylor]: Taking taylor expansion of -1 in x
1.961 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) (+ (/ 1 y) (/ 1 x))) in x
1.961 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
1.961 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.961 * [taylor]: Taking taylor expansion of y in x
1.961 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.961 * [taylor]: Taking taylor expansion of x in x
1.961 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
1.961 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.961 * [taylor]: Taking taylor expansion of y in x
1.961 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.961 * [taylor]: Taking taylor expansion of x in x
1.965 * [taylor]: Taking taylor expansion of (sqrt E) in y
1.965 * [taylor]: Taking taylor expansion of E in y
1.966 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt E) (/ 1 y))) in y
1.966 * [taylor]: Taking taylor expansion of -1 in y
1.966 * [taylor]: Taking taylor expansion of (* (sqrt E) (/ 1 y)) in y
1.966 * [taylor]: Taking taylor expansion of (sqrt E) in y
1.966 * [taylor]: Taking taylor expansion of E in y
1.967 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.967 * [taylor]: Taking taylor expansion of y in y
1.974 * [taylor]: Taking taylor expansion of (* 3/2 (* (sqrt E) (/ 1 (pow y 2)))) in y
1.974 * [taylor]: Taking taylor expansion of 3/2 in y
1.974 * [taylor]: Taking taylor expansion of (* (sqrt E) (/ 1 (pow y 2))) in y
1.974 * [taylor]: Taking taylor expansion of (sqrt E) in y
1.974 * [taylor]: Taking taylor expansion of E in y
1.975 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.975 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.975 * [taylor]: Taking taylor expansion of y in y
1.993 * [taylor]: Taking taylor expansion of (* -13/6 (* (sqrt E) (/ 1 (pow y 3)))) in y
1.993 * [taylor]: Taking taylor expansion of -13/6 in y
1.993 * [taylor]: Taking taylor expansion of (* (sqrt E) (/ 1 (pow y 3))) in y
1.993 * [taylor]: Taking taylor expansion of (sqrt E) in y
1.993 * [taylor]: Taking taylor expansion of E in y
1.994 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
1.994 * [taylor]: Taking taylor expansion of (pow y 3) in y
1.994 * [taylor]: Taking taylor expansion of y in y
2.003 * * * [progress]: simplifying candidates
2.008 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ 1/2 1/2)
  (+ 1/2 (/ 1 2))
  (+ 1 1)
  (+ (/ 1 2) 1/2)
  (+ (/ 1 2) (/ 1 2))
  (+ (/ (cbrt (/ (- x y) (+ x y))) 2) (/ (cbrt (/ (- x y) (+ x y))) 2))
  (+ (/ (sqrt (/ (- x y) (+ x y))) 2) (/ (sqrt (/ (- x y) (+ x y))) 2))
  (+ (/ (/ (cbrt (- x y)) (cbrt (+ x y))) 2) (/ (/ (cbrt (- x y)) (cbrt (+ x y))) 2))
  (+ (/ (/ (cbrt (- x y)) (sqrt (+ x y))) 2) (/ (/ (cbrt (- x y)) (sqrt (+ x y))) 2))
  (+ (/ (/ (cbrt (- x y)) (+ x y)) 2) (/ (/ (cbrt (- x y)) (+ x y)) 2))
  (+ (/ (/ (cbrt (- x y)) (+ x y)) 2) (/ (/ (cbrt (- x y)) (+ x y)) 2))
  (+ (/ (/ (cbrt (- x y)) (+ x y)) 2) (/ (/ (cbrt (- x y)) (+ x y)) 2))
  (+ (/ (/ (cbrt (- x y)) (+ x y)) 2) (/ (/ (cbrt (- x y)) (+ x y)) 2))
  (+ (/ (/ (sqrt (- x y)) (cbrt (+ x y))) 2) (/ (/ (sqrt (- x y)) (cbrt (+ x y))) 2))
  (+ (/ (/ (sqrt (- x y)) (sqrt (+ x y))) 2) (/ (/ (sqrt (- x y)) (sqrt (+ x y))) 2))
  (+ (/ (/ (sqrt (- x y)) (+ x y)) 2) (/ (/ (sqrt (- x y)) (+ x y)) 2))
  (+ (/ (/ (sqrt (- x y)) (+ x y)) 2) (/ (/ (sqrt (- x y)) (+ x y)) 2))
  (+ (/ (/ (sqrt (- x y)) (+ x y)) 2) (/ (/ (sqrt (- x y)) (+ x y)) 2))
  (+ (/ (/ (sqrt (- x y)) (+ x y)) 2) (/ (/ (sqrt (- x y)) (+ x y)) 2))
  (+ (/ (/ (- x y) (cbrt (+ x y))) 2) (/ (/ (- x y) (cbrt (+ x y))) 2))
  (+ (/ (/ (- x y) (cbrt (+ x y))) 2) (/ (/ (- x y) (cbrt (+ x y))) 2))
  (+ (/ (/ (- x y) (sqrt (+ x y))) 2) (/ (/ (- x y) (sqrt (+ x y))) 2))
  (+ (/ (/ (- x y) (sqrt (+ x y))) 2) (/ (/ (- x y) (sqrt (+ x y))) 2))
  (+ (/ (/ (- x y) (+ x y)) 2) (/ (/ (- x y) (+ x y)) 2))
  (+ (/ (/ (- x y) (+ x y)) 2) (/ (/ (- x y) (+ x y)) 2))
  (+ (/ (/ (- x y) (+ x y)) 2) (/ (/ (- x y) (+ x y)) 2))
  (+ (/ (/ (- x y) (+ x y)) 2) (/ (/ (- x y) (+ x y)) 2))
  (+ (/ (/ (- x y) (+ x y)) 2) (/ (/ (- x y) (+ x y)) 2))
  (+ (/ (/ (- x y) (+ x y)) 2) (/ (/ (- x y) (+ x y)) 2))
  (+ (/ (/ (- x y) (+ x y)) 2) (/ (/ (- x y) (+ x y)) 2))
  (+ (/ (/ (- x y) (+ x y)) 2) (/ (/ (- x y) (+ x y)) 2))
  (+ (/ (/ (- (sqrt x) (sqrt y)) (cbrt (+ x y))) 2) (/ (/ (- (sqrt x) (sqrt y)) (cbrt (+ x y))) 2))
  (+ (/ (/ (- (sqrt x) (sqrt y)) (sqrt (+ x y))) 2) (/ (/ (- (sqrt x) (sqrt y)) (sqrt (+ x y))) 2))
  (+ (/ (/ (- (sqrt x) (sqrt y)) (+ x y)) 2) (/ (/ (- (sqrt x) (sqrt y)) (+ x y)) 2))
  (+ (/ (/ (- (sqrt x) (sqrt y)) (+ x y)) 2) (/ (/ (- (sqrt x) (sqrt y)) (+ x y)) 2))
  (+ (/ (/ (- (sqrt x) (sqrt y)) (+ x y)) 2) (/ (/ (- (sqrt x) (sqrt y)) (+ x y)) 2))
  (+ (/ (/ (- (sqrt x) (sqrt y)) (+ x y)) 2) (/ (/ (- (sqrt x) (sqrt y)) (+ x y)) 2))
  (+ (/ (/ (- x y) (cbrt (+ x y))) 2) (/ (/ (- x y) (cbrt (+ x y))) 2))
  (+ (/ (/ (- x y) (cbrt (+ x y))) 2) (/ (/ (- x y) (cbrt (+ x y))) 2))
  (+ (/ (/ (- x y) (sqrt (+ x y))) 2) (/ (/ (- x y) (sqrt (+ x y))) 2))
  (+ (/ (/ (- x y) (sqrt (+ x y))) 2) (/ (/ (- x y) (sqrt (+ x y))) 2))
  (+ (/ (/ (- x y) (+ x y)) 2) (/ (/ (- x y) (+ x y)) 2))
  (+ (/ (/ (- x y) (+ x y)) 2) (/ (/ (- x y) (+ x y)) 2))
  (+ (/ (/ (- x y) (+ x y)) 2) (/ (/ (- x y) (+ x y)) 2))
  (+ (/ (/ (- x y) (+ x y)) 2) (/ (/ (- x y) (+ x y)) 2))
  (+ (/ (/ (- x y) (+ x y)) 2) (/ (/ (- x y) (+ x y)) 2))
  (+ (/ (/ (- x y) (+ x y)) 2) (/ (/ (- x y) (+ x y)) 2))
  (+ (/ (/ (- x y) (+ x y)) 2) (/ (/ (- x y) (+ x y)) 2))
  (+ (/ (/ (- x y) (+ x y)) 2) (/ (/ (- x y) (+ x y)) 2))
  (+ (/ (/ (- x y) (+ x y)) 2) (/ (/ (- x y) (+ x y)) 2))
  (+ (/ (/ 1 (+ x y)) 2) (/ (/ 1 (+ x y)) 2))
  (+ (/ (+ (* x x) (- (* y y) (* x y))) 2) (/ (+ (* x x) (- (* y y) (* x y))) 2))
  (+ (/ (- x y) 2) (/ (- x y) 2))
  (* (exp (/ (- x y) (+ x y))) (exp (/ (- x y) (+ x y))))
  (* (sqrt (exp (/ (- x y) (+ x y)))) (sqrt (exp (/ (- x y) (+ x y)))))
  (* (exp (/ (- x y) (+ x y))) (exp (/ (- x y) (+ x y))))
  (* (exp (* (cbrt (/ (- x y) (+ x y))) (cbrt (/ (- x y) (+ x y))))) (exp (* (cbrt (/ (- x y) (+ x y))) (cbrt (/ (- x y) (+ x y))))))
  (* (exp (sqrt (/ (- x y) (+ x y)))) (exp (sqrt (/ (- x y) (+ x y)))))
  (* (exp (/ (* (cbrt (- x y)) (cbrt (- x y))) (* (cbrt (+ x y)) (cbrt (+ x y))))) (exp (/ (* (cbrt (- x y)) (cbrt (- x y))) (* (cbrt (+ x y)) (cbrt (+ x y))))))
  (* (exp (/ (* (cbrt (- x y)) (cbrt (- x y))) (sqrt (+ x y)))) (exp (/ (* (cbrt (- x y)) (cbrt (- x y))) (sqrt (+ x y)))))
  (* (exp (/ (* (cbrt (- x y)) (cbrt (- x y))) 1)) (exp (/ (* (cbrt (- x y)) (cbrt (- x y))) 1)))
  (* (exp (/ (* (cbrt (- x y)) (cbrt (- x y))) 1)) (exp (/ (* (cbrt (- x y)) (cbrt (- x y))) 1)))
  (* (exp (/ (* (cbrt (- x y)) (cbrt (- x y))) 1)) (exp (/ (* (cbrt (- x y)) (cbrt (- x y))) 1)))
  (* (exp (/ (* (cbrt (- x y)) (cbrt (- x y))) 1)) (exp (/ (* (cbrt (- x y)) (cbrt (- x y))) 1)))
  (* (exp (/ (sqrt (- x y)) (* (cbrt (+ x y)) (cbrt (+ x y))))) (exp (/ (sqrt (- x y)) (* (cbrt (+ x y)) (cbrt (+ x y))))))
  (* (exp (/ (sqrt (- x y)) (sqrt (+ x y)))) (exp (/ (sqrt (- x y)) (sqrt (+ x y)))))
  (* (exp (/ (sqrt (- x y)) 1)) (exp (/ (sqrt (- x y)) 1)))
  (* (exp (/ (sqrt (- x y)) 1)) (exp (/ (sqrt (- x y)) 1)))
  (* (exp (/ (sqrt (- x y)) 1)) (exp (/ (sqrt (- x y)) 1)))
  (* (exp (/ (sqrt (- x y)) 1)) (exp (/ (sqrt (- x y)) 1)))
  (* (exp (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y))))) (exp (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y))))))
  (* (exp (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y))))) (exp (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y))))))
  (* (exp (/ 1 (sqrt (+ x y)))) (exp (/ 1 (sqrt (+ x y)))))
  (* (exp (/ 1 (sqrt (+ x y)))) (exp (/ 1 (sqrt (+ x y)))))
  (* (exp (/ 1 1)) (exp (/ 1 1)))
  (* (exp (/ 1 1)) (exp (/ 1 1)))
  (* (exp (/ 1 1)) (exp (/ 1 1)))
  (* (exp (/ 1 1)) (exp (/ 1 1)))
  (* (exp (/ 1 1)) (exp 1))
  (* (exp (/ 1 1)) (exp (/ 1 1)))
  (* (exp (/ 1 1)) (exp (/ 1 1)))
  (* (exp (/ 1 1)) (exp (/ 1 1)))
  (* (exp (/ 1 1)) (exp (/ 1 1)))
  (* (exp (/ 1 1)) (exp 1))
  (* (exp (/ (+ (sqrt x) (sqrt y)) (* (cbrt (+ x y)) (cbrt (+ x y))))) (exp (/ (+ (sqrt x) (sqrt y)) (* (cbrt (+ x y)) (cbrt (+ x y))))))
  (* (exp (/ (+ (sqrt x) (sqrt y)) (sqrt (+ x y)))) (exp (/ (+ (sqrt x) (sqrt y)) (sqrt (+ x y)))))
  (* (exp (/ (+ (sqrt x) (sqrt y)) 1)) (exp (/ (+ (sqrt x) (sqrt y)) 1)))
  (* (exp (/ (+ (sqrt x) (sqrt y)) 1)) (exp (/ (+ (sqrt x) (sqrt y)) 1)))
  (* (exp (/ (+ (sqrt x) (sqrt y)) 1)) (exp (/ (+ (sqrt x) (sqrt y)) 1)))
  (* (exp (/ (+ (sqrt x) (sqrt y)) 1)) (exp (/ (+ (sqrt x) (sqrt y)) 1)))
  (* (exp (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y))))) (exp (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y))))))
  (* (exp (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y))))) (exp (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y))))))
  (* (exp (/ 1 (sqrt (+ x y)))) (exp (/ 1 (sqrt (+ x y)))))
  (* (exp (/ 1 (sqrt (+ x y)))) (exp (/ 1 (sqrt (+ x y)))))
  (* (exp (/ 1 1)) (exp (/ 1 1)))
  (* (exp (/ 1 1)) (exp (/ 1 1)))
  (* (exp (/ 1 1)) (exp (/ 1 1)))
  (* (exp (/ 1 1)) (exp (/ 1 1)))
  (* (exp (/ 1 1)) (exp 1))
  (* (exp (/ 1 1)) (exp (/ 1 1)))
  (* (exp (/ 1 1)) (exp (/ 1 1)))
  (* (exp (/ 1 1)) (exp (/ 1 1)))
  (* (exp (/ 1 1)) (exp (/ 1 1)))
  (* (exp (/ 1 1)) (exp 1))
  (* (exp 1) (exp (/ 1 1)))
  (* (exp 1) (exp (/ 1 1)))
  (* (exp 1) (exp (/ 1 1)))
  (* (exp 1) (exp (/ 1 1)))
  (* (exp 1) (exp 1))
  (* (exp (- x y)) (exp (- x y)))
  (* (exp (/ (- x y) (+ (pow x 3) (pow y 3)))) (exp (/ (- x y) (+ (pow x 3) (pow y 3)))))
  (* (exp (/ (- x y) (- (* x x) (* y y)))) (exp (/ (- x y) (- (* x x) (* y y)))))
  (+ 1 1)
  (+ (log (sqrt (exp (/ (- x y) (+ x y))))) (log (sqrt (exp (/ (- x y) (+ x y))))))
  (log (* (sqrt (exp (/ (- x y) (+ x y)))) (sqrt (exp (/ (- x y) (+ x y))))))
  (exp (* (sqrt (exp (/ (- x y) (+ x y)))) (sqrt (exp (/ (- x y) (+ x y))))))
  (* (* (* (sqrt (exp (/ (- x y) (+ x y)))) (sqrt (exp (/ (- x y) (+ x y))))) (sqrt (exp (/ (- x y) (+ x y))))) (* (* (sqrt (exp (/ (- x y) (+ x y)))) (sqrt (exp (/ (- x y) (+ x y))))) (sqrt (exp (/ (- x y) (+ x y))))))
  (* (cbrt (* (sqrt (exp (/ (- x y) (+ x y)))) (sqrt (exp (/ (- x y) (+ x y)))))) (cbrt (* (sqrt (exp (/ (- x y) (+ x y)))) (sqrt (exp (/ (- x y) (+ x y)))))))
  (cbrt (* (sqrt (exp (/ (- x y) (+ x y)))) (sqrt (exp (/ (- x y) (+ x y))))))
  (* (* (* (sqrt (exp (/ (- x y) (+ x y)))) (sqrt (exp (/ (- x y) (+ x y))))) (* (sqrt (exp (/ (- x y) (+ x y)))) (sqrt (exp (/ (- x y) (+ x y)))))) (* (sqrt (exp (/ (- x y) (+ x y)))) (sqrt (exp (/ (- x y) (+ x y))))))
  (* (exp (/ (- x y) (+ x y))) (exp (/ (- x y) (+ x y))))
  (sqrt (* (sqrt (exp (/ (- x y) (+ x y)))) (sqrt (exp (/ (- x y) (+ x y))))))
  (sqrt (* (sqrt (exp (/ (- x y) (+ x y)))) (sqrt (exp (/ (- x y) (+ x y))))))
  (* (sqrt (exp (/ x (+ x y)))) (sqrt (exp (/ x (+ x y)))))
  (* (sqrt (exp (/ y (+ x y)))) (sqrt (exp (/ y (+ x y)))))
  (* (* (cbrt (sqrt (exp (/ (- x y) (+ x y))))) (cbrt (sqrt (exp (/ (- x y) (+ x y)))))) (* (cbrt (sqrt (exp (/ (- x y) (+ x y))))) (cbrt (sqrt (exp (/ (- x y) (+ x y)))))))
  (* (cbrt (sqrt (exp (/ (- x y) (+ x y))))) (cbrt (sqrt (exp (/ (- x y) (+ x y))))))
  (* (sqrt (* (cbrt (exp (/ (- x y) (+ x y)))) (cbrt (exp (/ (- x y) (+ x y)))))) (sqrt (* (cbrt (exp (/ (- x y) (+ x y)))) (cbrt (exp (/ (- x y) (+ x y)))))))
  (* (sqrt (cbrt (exp (/ (- x y) (+ x y))))) (sqrt (cbrt (exp (/ (- x y) (+ x y))))))
  (* (sqrt (sqrt (exp (/ (- x y) (+ x y))))) (sqrt (sqrt (exp (/ (- x y) (+ x y))))))
  (* (sqrt (sqrt (exp (/ (- x y) (+ x y))))) (sqrt (sqrt (exp (/ (- x y) (+ x y))))))
  (* (sqrt (sqrt (exp (/ (- x y) (+ x y))))) (sqrt (sqrt (exp (/ (- x y) (+ x y))))))
  (* (sqrt (sqrt (exp (/ (- x y) (+ x y))))) (sqrt (sqrt (exp (/ (- x y) (+ x y))))))
  (* (sqrt 1) (sqrt 1))
  (* (sqrt (exp (/ (- x y) (+ x y)))) (sqrt (exp (/ (- x y) (+ x y)))))
  (* (sqrt (sqrt (exp (/ (- x y) (+ x y))))) (sqrt (sqrt (exp (/ (- x y) (+ x y))))))
  (* (sqrt (sqrt (exp (/ (- x y) (+ x y))))) (sqrt (sqrt (exp (/ (- x y) (+ x y))))))
  (* (sqrt (sqrt (exp (/ (- x y) (+ x y))))) (sqrt (sqrt (exp (/ (- x y) (+ x y))))))
  (* (sqrt (sqrt (exp (/ (- x y) (+ x y))))) (sqrt (sqrt (exp (/ (- x y) (+ x y))))))
  (* 1 1)
  (* (sqrt (exp (/ (- x y) (+ x y)))) (sqrt (exp (/ (- x y) (+ x y)))))
  (* (sqrt (sqrt (exp (/ (- x y) (+ x y))))) (sqrt (sqrt (exp (/ (- x y) (+ x y))))))
  (* (sqrt (sqrt (exp (/ (- x y) (+ x y))))) (sqrt (sqrt (exp (/ (- x y) (+ x y))))))
  (* (sqrt (sqrt (exp (/ (- x y) (+ x y))))) (sqrt (sqrt (exp (/ (- x y) (+ x y))))))
  (* (sqrt (sqrt (exp (/ (- x y) (+ x y))))) (sqrt (sqrt (exp (/ (- x y) (+ x y))))))
  (* (sqrt (sqrt (exp (/ (- x y) (+ x y))))) (sqrt (sqrt (exp (/ (- x y) (+ x y))))))
  (* (sqrt (sqrt (exp (/ (- x y) (+ x y))))) (sqrt (sqrt (exp (/ (- x y) (+ x y))))))
  (* (sqrt (sqrt (exp (/ (- x y) (+ x y))))) (sqrt (sqrt (exp (/ (- x y) (+ x y))))))
  (* (sqrt (sqrt (exp (/ (- x y) (+ x y))))) (sqrt (sqrt (exp (/ (- x y) (+ x y))))))
  (* 2 1/2)
  (* 2 1)
  (* 2 (/ 1 2))
  (* 2 (/ (cbrt (/ (- x y) (+ x y))) 2))
  (* 2 (/ (sqrt (/ (- x y) (+ x y))) 2))
  (* 2 (/ (/ (cbrt (- x y)) (cbrt (+ x y))) 2))
  (* 2 (/ (/ (cbrt (- x y)) (sqrt (+ x y))) 2))
  (* 2 (/ (/ (cbrt (- x y)) (+ x y)) 2))
  (* 2 (/ (/ (cbrt (- x y)) (+ x y)) 2))
  (* 2 (/ (/ (cbrt (- x y)) (+ x y)) 2))
  (* 2 (/ (/ (cbrt (- x y)) (+ x y)) 2))
  (* 2 (/ (/ (sqrt (- x y)) (cbrt (+ x y))) 2))
  (* 2 (/ (/ (sqrt (- x y)) (sqrt (+ x y))) 2))
  (* 2 (/ (/ (sqrt (- x y)) (+ x y)) 2))
  (* 2 (/ (/ (sqrt (- x y)) (+ x y)) 2))
  (* 2 (/ (/ (sqrt (- x y)) (+ x y)) 2))
  (* 2 (/ (/ (sqrt (- x y)) (+ x y)) 2))
  (* 2 (/ (/ (- x y) (cbrt (+ x y))) 2))
  (* 2 (/ (/ (- x y) (cbrt (+ x y))) 2))
  (* 2 (/ (/ (- x y) (sqrt (+ x y))) 2))
  (* 2 (/ (/ (- x y) (sqrt (+ x y))) 2))
  (* 2 (/ (/ (- x y) (+ x y)) 2))
  (* 2 (/ (/ (- x y) (+ x y)) 2))
  (* 2 (/ (/ (- x y) (+ x y)) 2))
  (* 2 (/ (/ (- x y) (+ x y)) 2))
  (* 2 (/ (/ (- x y) (+ x y)) 2))
  (* 2 (/ (/ (- x y) (+ x y)) 2))
  (* 2 (/ (/ (- x y) (+ x y)) 2))
  (* 2 (/ (/ (- x y) (+ x y)) 2))
  (* 2 (/ (/ (- (sqrt x) (sqrt y)) (cbrt (+ x y))) 2))
  (* 2 (/ (/ (- (sqrt x) (sqrt y)) (sqrt (+ x y))) 2))
  (* 2 (/ (/ (- (sqrt x) (sqrt y)) (+ x y)) 2))
  (* 2 (/ (/ (- (sqrt x) (sqrt y)) (+ x y)) 2))
  (* 2 (/ (/ (- (sqrt x) (sqrt y)) (+ x y)) 2))
  (* 2 (/ (/ (- (sqrt x) (sqrt y)) (+ x y)) 2))
  (* 2 (/ (/ (- x y) (cbrt (+ x y))) 2))
  (* 2 (/ (/ (- x y) (cbrt (+ x y))) 2))
  (* 2 (/ (/ (- x y) (sqrt (+ x y))) 2))
  (* 2 (/ (/ (- x y) (sqrt (+ x y))) 2))
  (* 2 (/ (/ (- x y) (+ x y)) 2))
  (* 2 (/ (/ (- x y) (+ x y)) 2))
  (* 2 (/ (/ (- x y) (+ x y)) 2))
  (* 2 (/ (/ (- x y) (+ x y)) 2))
  (* 2 (/ (/ (- x y) (+ x y)) 2))
  (* 2 (/ (/ (- x y) (+ x y)) 2))
  (* 2 (/ (/ (- x y) (+ x y)) 2))
  (* 2 (/ (/ (- x y) (+ x y)) 2))
  (* 2 (/ (/ (- x y) (+ x y)) 2))
  (* 2 (/ (/ 1 (+ x y)) 2))
  (* 2 (/ (+ (* x x) (- (* y y) (* x y))) 2))
  (* 2 (/ (- x y) 2))
  (* (sqrt (exp (/ (- x y) (+ x y)))) (* (cbrt (sqrt (exp (/ (- x y) (+ x y))))) (cbrt (sqrt (exp (/ (- x y) (+ x y)))))))
  (* (sqrt (exp (/ (- x y) (+ x y)))) (sqrt (* (cbrt (exp (/ (- x y) (+ x y)))) (cbrt (exp (/ (- x y) (+ x y)))))))
  (* (sqrt (exp (/ (- x y) (+ x y)))) (sqrt (sqrt (exp (/ (- x y) (+ x y))))))
  (* (sqrt (exp (/ (- x y) (+ x y)))) (sqrt 1))
  (* (sqrt (exp (/ (- x y) (+ x y)))) (sqrt (sqrt (exp (/ (- x y) (+ x y))))))
  (* (sqrt (exp (/ (- x y) (+ x y)))) 1)
  (* (cbrt (sqrt (exp (/ (- x y) (+ x y))))) (sqrt (exp (/ (- x y) (+ x y)))))
  (* (sqrt (cbrt (exp (/ (- x y) (+ x y))))) (sqrt (exp (/ (- x y) (+ x y)))))
  (* (sqrt (sqrt (exp (/ (- x y) (+ x y))))) (sqrt (exp (/ (- x y) (+ x y)))))
  (* (sqrt (exp (/ (- x y) (+ x y)))) (sqrt (exp (/ (- x y) (+ x y)))))
  (* (sqrt (sqrt (exp (/ (- x y) (+ x y))))) (sqrt (exp (/ (- x y) (+ x y)))))
  (* (sqrt (exp (/ (- x y) (+ x y)))) (sqrt (exp (/ (- x y) (+ x y)))))
  (* (sqrt (exp (/ (- x y) (+ x y)))) (sqrt (exp (/ x (+ x y)))))
  (* (sqrt (exp (/ x (+ x y)))) (sqrt (exp (/ (- x y) (+ x y)))))
  (- (log (- x y)) (log (+ x y)))
  (log (/ (- x y) (+ x y)))
  (exp (/ (- x y) (+ x y)))
  (/ (* (* (- x y) (- x y)) (- x y)) (* (* (+ x y) (+ 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)))
  (- (- x y))
  (- (+ x y))
  (/ x (+ x y))
  (/ y (+ x y))
  (/ (* (cbrt (- x y)) (cbrt (- x y))) (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ (cbrt (- x y)) (cbrt (+ x y)))
  (/ (* (cbrt (- x y)) (cbrt (- x y))) (sqrt (+ x y)))
  (/ (cbrt (- x y)) (sqrt (+ x y)))
  (/ (* (cbrt (- x y)) (cbrt (- x y))) 1)
  (/ (cbrt (- x y)) (+ x y))
  (/ (* (cbrt (- x y)) (cbrt (- x y))) 1)
  (/ (cbrt (- x y)) (+ x y))
  (/ (sqrt (- x y)) (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ (sqrt (- x y)) (cbrt (+ x y)))
  (/ (sqrt (- x y)) (sqrt (+ x y)))
  (/ (sqrt (- x y)) (sqrt (+ x y)))
  (/ (sqrt (- x y)) 1)
  (/ (sqrt (- x y)) (+ x y))
  (/ (sqrt (- x y)) 1)
  (/ (sqrt (- x y)) (+ x y))
  (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ (- x y) (cbrt (+ x y)))
  (/ 1 (sqrt (+ x y)))
  (/ (- x y) (sqrt (+ x y)))
  (/ 1 1)
  (/ (- x y) (+ x y))
  (/ 1 1)
  (/ (- x y) (+ x y))
  (/ (+ (sqrt x) (sqrt y)) (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ (- (sqrt x) (sqrt y)) (cbrt (+ x y)))
  (/ (+ (sqrt x) (sqrt y)) (sqrt (+ x y)))
  (/ (- (sqrt x) (sqrt y)) (sqrt (+ x y)))
  (/ (+ (sqrt x) (sqrt y)) 1)
  (/ (- (sqrt x) (sqrt y)) (+ x y))
  (/ (+ (sqrt x) (sqrt y)) 1)
  (/ (- (sqrt x) (sqrt y)) (+ x y))
  (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ (- x y) (cbrt (+ x y)))
  (/ 1 (sqrt (+ x y)))
  (/ (- x y) (sqrt (+ x y)))
  (/ 1 1)
  (/ (- x y) (+ x y))
  (/ 1 1)
  (/ (- x y) (+ x y))
  (/ 1 (+ x y))
  (/ (+ x y) (- x y))
  (/ (- x y) (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ (- x y) (sqrt (+ x y)))
  (/ (- x y) 1)
  (/ (- x y) 1)
  (/ (+ x y) (cbrt (- x y)))
  (/ (+ x y) (sqrt (- x y)))
  (/ (+ x y) (- x y))
  (/ (+ x y) (- (sqrt x) (sqrt y)))
  (/ (+ x y) (- x y))
  (/ (- x y) (+ (pow x 3) (pow y 3)))
  (/ (- x y) (- (* x x) (* y y)))
  (* (+ x y) (+ (* x x) (+ (* y y) (* x y))))
  (* (+ x y) (+ x y))
  (- (log (- x y)) (log (+ x y)))
  (log (/ (- x y) (+ x y)))
  (exp (/ (- x y) (+ x y)))
  (/ (* (* (- x y) (- x y)) (- x y)) (* (* (+ x y) (+ 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)))
  (- (- x y))
  (- (+ x y))
  (/ x (+ x y))
  (/ y (+ x y))
  (/ (* (cbrt (- x y)) (cbrt (- x y))) (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ (cbrt (- x y)) (cbrt (+ x y)))
  (/ (* (cbrt (- x y)) (cbrt (- x y))) (sqrt (+ x y)))
  (/ (cbrt (- x y)) (sqrt (+ x y)))
  (/ (* (cbrt (- x y)) (cbrt (- x y))) 1)
  (/ (cbrt (- x y)) (+ x y))
  (/ (* (cbrt (- x y)) (cbrt (- x y))) 1)
  (/ (cbrt (- x y)) (+ x y))
  (/ (sqrt (- x y)) (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ (sqrt (- x y)) (cbrt (+ x y)))
  (/ (sqrt (- x y)) (sqrt (+ x y)))
  (/ (sqrt (- x y)) (sqrt (+ x y)))
  (/ (sqrt (- x y)) 1)
  (/ (sqrt (- x y)) (+ x y))
  (/ (sqrt (- x y)) 1)
  (/ (sqrt (- x y)) (+ x y))
  (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ (- x y) (cbrt (+ x y)))
  (/ 1 (sqrt (+ x y)))
  (/ (- x y) (sqrt (+ x y)))
  (/ 1 1)
  (/ (- x y) (+ x y))
  (/ 1 1)
  (/ (- x y) (+ x y))
  (/ (+ (sqrt x) (sqrt y)) (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ (- (sqrt x) (sqrt y)) (cbrt (+ x y)))
  (/ (+ (sqrt x) (sqrt y)) (sqrt (+ x y)))
  (/ (- (sqrt x) (sqrt y)) (sqrt (+ x y)))
  (/ (+ (sqrt x) (sqrt y)) 1)
  (/ (- (sqrt x) (sqrt y)) (+ x y))
  (/ (+ (sqrt x) (sqrt y)) 1)
  (/ (- (sqrt x) (sqrt y)) (+ x y))
  (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ (- x y) (cbrt (+ x y)))
  (/ 1 (sqrt (+ x y)))
  (/ (- x y) (sqrt (+ x y)))
  (/ 1 1)
  (/ (- x y) (+ x y))
  (/ 1 1)
  (/ (- x y) (+ x y))
  (/ 1 (+ x y))
  (/ (+ x y) (- x y))
  (/ (- x y) (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ (- x y) (sqrt (+ x y)))
  (/ (- x y) 1)
  (/ (- x y) 1)
  (/ (+ x y) (cbrt (- x y)))
  (/ (+ x y) (sqrt (- x y)))
  (/ (+ x y) (- x y))
  (/ (+ x y) (- (sqrt x) (sqrt y)))
  (/ (+ x y) (- x y))
  (/ (- x y) (+ (pow x 3) (pow y 3)))
  (/ (- x y) (- (* x x) (* y y)))
  (* (+ x y) (+ (* x x) (+ (* y y) (* x y))))
  (* (+ x y) (+ x y))
  (log (sqrt (exp (/ (- x y) (+ x y)))))
  (exp (sqrt (exp (/ (- x y) (+ x y)))))
  (* (cbrt (sqrt (exp (/ (- x y) (+ x y))))) (cbrt (sqrt (exp (/ (- x y) (+ x y))))))
  (cbrt (sqrt (exp (/ (- x y) (+ x y)))))
  (* (* (sqrt (exp (/ (- x y) (+ x y)))) (sqrt (exp (/ (- x y) (+ x y))))) (sqrt (exp (/ (- x y) (+ x y)))))
  (sqrt (* (cbrt (exp (/ (- x y) (+ x y)))) (cbrt (exp (/ (- x y) (+ x y))))))
  (sqrt (cbrt (exp (/ (- x y) (+ x y)))))
  (sqrt (sqrt (exp (/ (- x y) (+ x y)))))
  (sqrt (sqrt (exp (/ (- x y) (+ x y)))))
  (sqrt 1)
  (sqrt (exp (/ (- x y) (+ x y))))
  (sqrt (exp (/ x (+ x y))))
  (sqrt (exp (/ y (+ x y))))
  (/ 1 2)
  (/ (cbrt (/ (- x y) (+ x y))) 2)
  (/ (sqrt (/ (- x y) (+ x y))) 2)
  (/ (/ (cbrt (- x y)) (cbrt (+ x y))) 2)
  (/ (/ (cbrt (- x y)) (sqrt (+ x y))) 2)
  (/ (/ (cbrt (- x y)) (+ x y)) 2)
  (/ (/ (cbrt (- x y)) (+ x y)) 2)
  (/ (/ (sqrt (- x y)) (cbrt (+ x y))) 2)
  (/ (/ (sqrt (- x y)) (sqrt (+ x y))) 2)
  (/ (/ (sqrt (- x y)) (+ x y)) 2)
  (/ (/ (sqrt (- x y)) (+ x y)) 2)
  (/ (/ (- x y) (cbrt (+ x y))) 2)
  (/ (/ (- x y) (sqrt (+ x y))) 2)
  (/ (/ (- x y) (+ x y)) 2)
  (/ (/ (- x y) (+ x y)) 2)
  (/ (/ (- (sqrt x) (sqrt y)) (cbrt (+ x y))) 2)
  (/ (/ (- (sqrt x) (sqrt y)) (sqrt (+ x y))) 2)
  (/ (/ (- (sqrt x) (sqrt y)) (+ x y)) 2)
  (/ (/ (- (sqrt x) (sqrt y)) (+ x y)) 2)
  (/ (/ (- x y) (cbrt (+ x y))) 2)
  (/ (/ (- x y) (sqrt (+ x y))) 2)
  (/ (/ (- x y) (+ x y)) 2)
  (/ (/ (- x y) (+ x y)) 2)
  (/ (/ (- x y) (+ x y)) 2)
  (/ (/ 1 (+ x y)) 2)
  (/ (+ (* x x) (- (* y y) (* x y))) 2)
  (/ (- x y) 2)
  (sqrt (sqrt (exp (/ (- x y) (+ x y)))))
  (sqrt (sqrt (exp (/ (- x y) (+ x y)))))
  (exp -1)
  E
  E
  -1
  1
  1
  -1
  1
  1
  (sqrt (exp -1))
  (sqrt E)
  (sqrt E)
2.020 * * [simplify]: iteration  0 :  508  enodes  (cost  2185 )
2.029 * * [simplify]: iteration  1 :  2034  enodes  (cost  2056 )
2.067 * * [simplify]: iteration  2 :  5001  enodes  (cost  1718 )
2.075 * [simplify]: Simplified to:
   1
  1
  2
  1
  1
  (* 2 (/ (cbrt (/ (- x y) (+ x y))) 2))
  (* 2 (/ (sqrt (/ (- x y) (+ x y))) 2))
  (* 1 (/ (cbrt (- x y)) (cbrt (+ x y))))
  (* 1 (/ (cbrt (- x y)) (sqrt (+ x y))))
  (* 1 (/ (cbrt (- x y)) (+ x y)))
  (* 1 (/ (cbrt (- x y)) (+ x y)))
  (* 1 (/ (cbrt (- x y)) (+ x y)))
  (* 1 (/ (cbrt (- x y)) (+ x y)))
  (/ (sqrt (- x y)) (cbrt (+ x y)))
  (/ (sqrt (- x y)) (sqrt (+ x y)))
  (/ (sqrt (- x y)) (+ x y))
  (/ (sqrt (- x y)) (+ x y))
  (/ (sqrt (- x y)) (+ x y))
  (/ (sqrt (- x y)) (+ x y))
  (/ (- x y) (cbrt (+ x y)))
  (/ (- x y) (cbrt (+ x y)))
  (/ (- x y) (sqrt (+ 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))
  (/ (- x y) (+ x y))
  (/ (- x y) (+ x y))
  (/ (- x y) (+ x y))
  (* 1 (/ (- (sqrt x) (sqrt y)) (cbrt (+ x y))))
  (* 1 (/ (- (sqrt x) (sqrt y)) (sqrt (+ x y))))
  (* 1 (/ (- (sqrt x) (sqrt y)) (+ x y)))
  (* 1 (/ (- (sqrt x) (sqrt y)) (+ x y)))
  (* 1 (/ (- (sqrt x) (sqrt y)) (+ x y)))
  (* 1 (/ (- (sqrt x) (sqrt y)) (+ x y)))
  (/ (- x y) (cbrt (+ x y)))
  (/ (- x y) (cbrt (+ x y)))
  (/ (- x y) (sqrt (+ 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))
  (/ (- x y) (+ x y))
  (/ (- x y) (+ x y))
  (/ (- x y) (+ x y))
  (/ (- x y) (+ x y))
  (/ 1 (+ x y))
  (* 1 (/ (+ (* y (- y x)) (* x x)) 1))
  (- x y)
  (pow (exp (/ (- x y) (+ x y))) 2)
  (exp (/ (- x y) (+ x y)))
  (pow (exp (/ (- x y) (+ x y))) 2)
  (pow (exp (cbrt (/ (- x y) (+ x y)))) (* 2 (cbrt (/ (- x y) (+ x y)))))
  (exp (* 2 (sqrt (/ (- x y) (+ x y)))))
  (pow (exp 2) (/ (* (cbrt (- x y)) (cbrt (- x y))) (* (cbrt (+ x y)) (cbrt (+ x y)))))
  (pow (exp 2) (/ (* (cbrt (- x y)) (cbrt (- x y))) (sqrt (+ x y))))
  (pow (exp 2) (* (cbrt (- x y)) (cbrt (- x y))))
  (pow (exp 2) (* (cbrt (- x y)) (cbrt (- x y))))
  (pow (exp 2) (* (cbrt (- x y)) (cbrt (- x y))))
  (pow (exp 2) (* (cbrt (- x y)) (cbrt (- x y))))
  (pow (exp 2) (/ (sqrt (- x y)) (* (cbrt (+ x y)) (cbrt (+ x y)))))
  (exp (* 2 (/ (sqrt (- x y)) (sqrt (+ x y)))))
  (pow (exp 2) (sqrt (- x y)))
  (pow (exp 2) (sqrt (- x y)))
  (pow (exp 2) (sqrt (- x y)))
  (pow (exp 2) (sqrt (- x y)))
  (pow (exp 2) (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y)))))
  (pow (exp 2) (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y)))))
  (pow (exp 2) (/ 1 (sqrt (+ x y))))
  (pow (exp 2) (/ 1 (sqrt (+ x y))))
  (exp 2)
  (exp 2)
  (exp 2)
  (exp 2)
  (exp 2)
  (exp 2)
  (exp 2)
  (exp 2)
  (exp 2)
  (exp 2)
  (pow (exp 2) (/ (+ (sqrt x) (sqrt y)) (* (cbrt (+ x y)) (cbrt (+ x y)))))
  (pow (exp 2) (/ (+ (sqrt x) (sqrt y)) (sqrt (+ x y))))
  (pow (exp 2) (+ (sqrt x) (sqrt y)))
  (pow (exp 2) (+ (sqrt x) (sqrt y)))
  (pow (exp 2) (+ (sqrt x) (sqrt y)))
  (pow (exp 2) (+ (sqrt x) (sqrt y)))
  (pow (exp 2) (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y)))))
  (pow (exp 2) (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y)))))
  (pow (exp 2) (/ 1 (sqrt (+ x y))))
  (pow (exp 2) (/ 1 (sqrt (+ x y))))
  (exp 2)
  (exp 2)
  (exp 2)
  (exp 2)
  (exp 2)
  (exp 2)
  (exp 2)
  (exp 2)
  (exp 2)
  (exp 2)
  (exp 2)
  (exp 2)
  (exp 2)
  (exp 2)
  (exp 2)
  (pow (exp 2) (- x y))
  (pow (exp 2) (/ (- x y) (+ (pow x 3) (pow y 3))))
  (pow (exp 2) (/ (- x y) (- (* x x) (* y y))))
  2
  (/ (- x y) (+ x y))
  (/ (- x y) (+ x y))
  (pow E (exp (/ (- x y) (+ x y))))
  (pow (exp (/ (- x y) (+ x y))) 3)
  (* (cbrt (exp (/ (- x y) (+ x y)))) (cbrt (exp (/ (- x y) (+ x y)))))
  (cbrt (exp (/ (- x y) (+ x y))))
  (pow (exp (/ (- x y) (+ x y))) 3)
  (pow (exp (/ (- x y) (+ x y))) 2)
  (sqrt (exp (/ (- x y) (+ x y))))
  (sqrt (exp (/ (- x y) (+ x y))))
  (exp (/ x (+ x y)))
  (exp (/ y (+ x y)))
  (pow (cbrt (sqrt (exp (/ (- x y) (+ x y))))) 4)
  (* (cbrt (sqrt (exp (/ (- x y) (+ x y))))) (cbrt (sqrt (exp (/ (- x y) (+ x y))))))
  (* (cbrt (exp (/ (- x y) (+ x y)))) (cbrt (exp (/ (- x y) (+ x y)))))
  (cbrt (exp (/ (- x y) (+ x y))))
  (sqrt (exp (/ (- x y) (+ x y))))
  (sqrt (exp (/ (- x y) (+ x y))))
  (sqrt (exp (/ (- x y) (+ x y))))
  (sqrt (exp (/ (- x y) (+ x y))))
  1
  (exp (/ (- x y) (+ x y)))
  (sqrt (exp (/ (- x y) (+ x y))))
  (sqrt (exp (/ (- x y) (+ x y))))
  (sqrt (exp (/ (- x y) (+ x y))))
  (sqrt (exp (/ (- x y) (+ x y))))
  1
  (exp (/ (- x y) (+ x y)))
  (sqrt (exp (/ (- x y) (+ x y))))
  (sqrt (exp (/ (- x y) (+ x y))))
  (sqrt (exp (/ (- x y) (+ x y))))
  (sqrt (exp (/ (- x y) (+ x y))))
  (sqrt (exp (/ (- x y) (+ x y))))
  (sqrt (exp (/ (- x y) (+ x y))))
  (sqrt (exp (/ (- x y) (+ x y))))
  (sqrt (exp (/ (- x y) (+ x y))))
  1
  2
  1
  (* 2 (/ (cbrt (/ (- x y) (+ x y))) 2))
  (* 2 (/ (sqrt (/ (- x y) (+ x y))) 2))
  (* 1 (/ (cbrt (- x y)) (cbrt (+ x y))))
  (* 1 (/ (cbrt (- x y)) (sqrt (+ x y))))
  (* 1 (/ (cbrt (- x y)) (+ x y)))
  (* 1 (/ (cbrt (- x y)) (+ x y)))
  (* 1 (/ (cbrt (- x y)) (+ x y)))
  (* 1 (/ (cbrt (- x y)) (+ x y)))
  (/ (sqrt (- x y)) (cbrt (+ x y)))
  (/ (sqrt (- x y)) (sqrt (+ x y)))
  (/ (sqrt (- x y)) (+ x y))
  (/ (sqrt (- x y)) (+ x y))
  (/ (sqrt (- x y)) (+ x y))
  (/ (sqrt (- x y)) (+ x y))
  (/ (- x y) (cbrt (+ x y)))
  (/ (- x y) (cbrt (+ x y)))
  (/ (- x y) (sqrt (+ 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))
  (/ (- x y) (+ x y))
  (/ (- x y) (+ x y))
  (/ (- x y) (+ x y))
  (* 1 (/ (- (sqrt x) (sqrt y)) (cbrt (+ x y))))
  (* 1 (/ (- (sqrt x) (sqrt y)) (sqrt (+ x y))))
  (* 1 (/ (- (sqrt x) (sqrt y)) (+ x y)))
  (* 1 (/ (- (sqrt x) (sqrt y)) (+ x y)))
  (* 1 (/ (- (sqrt x) (sqrt y)) (+ x y)))
  (* 1 (/ (- (sqrt x) (sqrt y)) (+ x y)))
  (/ (- x y) (cbrt (+ x y)))
  (/ (- x y) (cbrt (+ x y)))
  (/ (- x y) (sqrt (+ 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))
  (/ (- x y) (+ x y))
  (/ (- x y) (+ x y))
  (/ (- x y) (+ x y))
  (/ (- x y) (+ x y))
  (/ 1 (+ x y))
  (* 1 (/ (+ (* y (- y x)) (* x x)) 1))
  (- x y)
  (* (sqrt (exp (/ (- x y) (+ x y)))) (* (cbrt (sqrt (exp (/ (- x y) (+ x y))))) (cbrt (sqrt (exp (/ (- x y) (+ x y)))))))
  (* (fabs (cbrt (exp (/ (- x y) (+ x y))))) (sqrt (exp (/ (- x y) (+ x y)))))
  (pow (sqrt (sqrt (exp (/ (- x y) (+ x y))))) 3)
  (sqrt (exp (/ (- x y) (+ x y))))
  (pow (sqrt (sqrt (exp (/ (- x y) (+ x y))))) 3)
  (sqrt (exp (/ (- x y) (+ x y))))
  (pow (cbrt (sqrt (exp (/ (- x y) (+ x y))))) 4)
  (* (sqrt (cbrt (exp (/ (- x y) (+ x y))))) (sqrt (exp (/ (- x y) (+ x y)))))
  (pow (sqrt (sqrt (exp (/ (- x y) (+ x y))))) 3)
  (exp (/ (- x y) (+ x y)))
  (pow (sqrt (sqrt (exp (/ (- x y) (+ x y))))) 3)
  (exp (/ (- x y) (+ x y)))
  (* (sqrt (exp (/ (- x y) (+ x y)))) (sqrt (exp (/ x (+ x y)))))
  (* (sqrt (exp (/ (- x y) (+ x y)))) (sqrt (exp (/ x (+ x y)))))
  (log (/ (- x y) (+ x y)))
  (log (/ (- x y) (+ x y)))
  (exp (/ (- x y) (+ x y)))
  (pow (/ (- x y) (+ x y)) 3)
  (* (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)))
  (- (- x y))
  (- (+ x y))
  (/ x (+ x y))
  (/ y (+ x y))
  (/ (* (cbrt (- x y)) (cbrt (- x y))) (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ (cbrt (- x y)) (cbrt (+ x y)))
  (/ (* (cbrt (- x y)) (cbrt (- x y))) (sqrt (+ x y)))
  (/ (cbrt (- x y)) (sqrt (+ x y)))
  (* (cbrt (- x y)) (cbrt (- x y)))
  (/ (cbrt (- x y)) (+ x y))
  (* (cbrt (- x y)) (cbrt (- x y)))
  (/ (cbrt (- x y)) (+ x y))
  (/ (sqrt (- x y)) (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ (sqrt (- x y)) (cbrt (+ x y)))
  (/ (sqrt (- x y)) (sqrt (+ x y)))
  (/ (sqrt (- x y)) (sqrt (+ x y)))
  (sqrt (- x y))
  (/ (sqrt (- x y)) (+ x y))
  (sqrt (- x y))
  (/ (sqrt (- x y)) (+ x y))
  (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ (- x y) (cbrt (+ x y)))
  (/ 1 (sqrt (+ x y)))
  (/ (- x y) (sqrt (+ x y)))
  1
  (/ (- x y) (+ x y))
  1
  (/ (- x y) (+ x y))
  (/ (+ (sqrt x) (sqrt y)) (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ (- (sqrt x) (sqrt y)) (cbrt (+ x y)))
  (/ (+ (sqrt x) (sqrt y)) (sqrt (+ x y)))
  (/ (- (sqrt x) (sqrt y)) (sqrt (+ x y)))
  (+ (sqrt x) (sqrt y))
  (/ (- (sqrt x) (sqrt y)) (+ x y))
  (+ (sqrt x) (sqrt y))
  (/ (- (sqrt x) (sqrt y)) (+ x y))
  (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ (- x y) (cbrt (+ x y)))
  (/ 1 (sqrt (+ x y)))
  (/ (- x y) (sqrt (+ x y)))
  1
  (/ (- x y) (+ x y))
  1
  (/ (- x y) (+ x y))
  (/ 1 (+ x y))
  (/ (+ x y) (- x y))
  (/ (- x y) (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ (- x y) (sqrt (+ x y)))
  (- x y)
  (- x y)
  (/ (+ x y) (cbrt (- x y)))
  (/ (+ x y) (sqrt (- x y)))
  (/ (+ x y) (- x y))
  (/ (+ x y) (- (sqrt x) (sqrt y)))
  (/ (+ x y) (- x y))
  (/ (- x y) (+ (pow x 3) (pow y 3)))
  (/ (- x y) (- (* x x) (* y y)))
  (* (+ (* y (+ y x)) (* x x)) (+ x y))
  (* (+ x y) (+ x y))
  (log (/ (- x y) (+ x y)))
  (log (/ (- x y) (+ x y)))
  (exp (/ (- x y) (+ x y)))
  (pow (/ (- x y) (+ x y)) 3)
  (* (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)))
  (- (- x y))
  (- (+ x y))
  (/ x (+ x y))
  (/ y (+ x y))
  (/ (* (cbrt (- x y)) (cbrt (- x y))) (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ (cbrt (- x y)) (cbrt (+ x y)))
  (/ (* (cbrt (- x y)) (cbrt (- x y))) (sqrt (+ x y)))
  (/ (cbrt (- x y)) (sqrt (+ x y)))
  (* (cbrt (- x y)) (cbrt (- x y)))
  (/ (cbrt (- x y)) (+ x y))
  (* (cbrt (- x y)) (cbrt (- x y)))
  (/ (cbrt (- x y)) (+ x y))
  (/ (sqrt (- x y)) (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ (sqrt (- x y)) (cbrt (+ x y)))
  (/ (sqrt (- x y)) (sqrt (+ x y)))
  (/ (sqrt (- x y)) (sqrt (+ x y)))
  (sqrt (- x y))
  (/ (sqrt (- x y)) (+ x y))
  (sqrt (- x y))
  (/ (sqrt (- x y)) (+ x y))
  (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ (- x y) (cbrt (+ x y)))
  (/ 1 (sqrt (+ x y)))
  (/ (- x y) (sqrt (+ x y)))
  1
  (/ (- x y) (+ x y))
  1
  (/ (- x y) (+ x y))
  (/ (+ (sqrt x) (sqrt y)) (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ (- (sqrt x) (sqrt y)) (cbrt (+ x y)))
  (/ (+ (sqrt x) (sqrt y)) (sqrt (+ x y)))
  (/ (- (sqrt x) (sqrt y)) (sqrt (+ x y)))
  (+ (sqrt x) (sqrt y))
  (/ (- (sqrt x) (sqrt y)) (+ x y))
  (+ (sqrt x) (sqrt y))
  (/ (- (sqrt x) (sqrt y)) (+ x y))
  (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ (- x y) (cbrt (+ x y)))
  (/ 1 (sqrt (+ x y)))
  (/ (- x y) (sqrt (+ x y)))
  1
  (/ (- x y) (+ x y))
  1
  (/ (- x y) (+ x y))
  (/ 1 (+ x y))
  (/ (+ x y) (- x y))
  (/ (- x y) (* (cbrt (+ x y)) (cbrt (+ x y))))
  (/ (- x y) (sqrt (+ x y)))
  (- x y)
  (- x y)
  (/ (+ x y) (cbrt (- x y)))
  (/ (+ x y) (sqrt (- x y)))
  (/ (+ x y) (- x y))
  (/ (+ x y) (- (sqrt x) (sqrt y)))
  (/ (+ x y) (- x y))
  (/ (- x y) (+ (pow x 3) (pow y 3)))
  (/ (- x y) (- (* x x) (* y y)))
  (* (+ (* y (+ y x)) (* x x)) (+ x y))
  (* (+ x y) (+ x y))
  (log (sqrt (exp (/ (- x y) (+ x y)))))
  (exp (sqrt (exp (/ (- x y) (+ x y)))))
  (* (cbrt (sqrt (exp (/ (- x y) (+ x y))))) (cbrt (sqrt (exp (/ (- x y) (+ x y))))))
  (cbrt (sqrt (exp (/ (- x y) (+ x y)))))
  (pow (sqrt (exp (/ (- x y) (+ x y)))) 3)
  (fabs (cbrt (exp (/ (- x y) (+ x y)))))
  (sqrt (cbrt (exp (/ (- x y) (+ x y)))))
  (sqrt (sqrt (exp (/ (- x y) (+ x y)))))
  (sqrt (sqrt (exp (/ (- x y) (+ x y)))))
  1
  (sqrt (exp (/ (- x y) (+ x y))))
  (sqrt (exp (/ x (+ x y))))
  (sqrt (exp (/ y (+ x y))))
  1/2
  (/ (cbrt (/ (- x y) (+ x y))) 2)
  (/ (sqrt (/ (- x y) (+ x y))) 2)
  (/ (/ (cbrt (- x y)) (cbrt (+ x y))) 2)
  (/ (/ (cbrt (- x y)) (sqrt (+ x y))) 2)
  (/ (/ (cbrt (- x y)) (+ x y)) 2)
  (/ (/ (cbrt (- x y)) (+ x y)) 2)
  (/ (/ (sqrt (- x y)) (cbrt (+ x y))) 2)
  (/ (/ (sqrt (- x y)) (sqrt (+ x y))) 2)
  (/ (/ (sqrt (- x y)) (+ x y)) 2)
  (/ (/ (sqrt (- x y)) (+ x y)) 2)
  (/ (/ (- x y) (cbrt (+ x y))) 2)
  (/ (/ (- x y) (sqrt (+ x y))) 2)
  (/ (/ (- x y) (+ x y)) 2)
  (/ (/ (- x y) (+ x y)) 2)
  (/ (/ (- (sqrt x) (sqrt y)) (cbrt (+ x y))) 2)
  (/ (/ (- (sqrt x) (sqrt y)) (sqrt (+ x y))) 2)
  (/ (/ (- (sqrt x) (sqrt y)) (+ x y)) 2)
  (/ (/ (- (sqrt x) (sqrt y)) (+ x y)) 2)
  (/ (/ (- x y) (cbrt (+ x y))) 2)
  (/ (/ (- x y) (sqrt (+ x y))) 2)
  (/ (/ (- x y) (+ x y)) 2)
  (/ (/ (- x y) (+ x y)) 2)
  (/ (/ (- x y) (+ x y)) 2)
  (/ 1/2 (+ x y))
  (/ (+ (* y (- y x)) (* x x)) 2)
  (/ (- x y) 2)
  (sqrt (sqrt (exp (/ (- x y) (+ x y)))))
  (sqrt (sqrt (exp (/ (- x y) (+ x y)))))
  (exp -1)
  E
  E
  -1
  1
  1
  -1
  1
  1
  (sqrt (exp -1))
  (exp 1/2)
  (exp 1/2)
2.076 * * * [progress]: adding candidates to table
2.616 * [progress]: [Phase 3 of 3] Extracting.
2.616 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (log (pow (exp (* 2 (sqrt (/ (- x y) (+ x y))))) (/ (sqrt (/ (- x y) (+ x y))) 2))))> #<alt (λ (x y) (cbrt (pow (/ (- x y) (+ x y)) 3)))> #<alt (λ (x y) (* (cbrt (sqrt (pow (/ (- x y) (+ x y)) 3))) (cbrt (sqrt (pow (/ (- x y) (+ x y)) 3)))))> #<alt (λ (x y) (log (exp (/ (- x y) (+ x y)))))> #<alt (λ (x y) (log (* (sqrt (exp (/ (- x y) (+ x y)))) (sqrt (exp (/ (- x y) (+ x y)))))))>)
2.617 * * * [regime-changes]: Trying 3 branch expressions: ((/ (- x y) (+ x y)) y x)
2.617 * * * * [regimes]: Trying to branch on (/ (- x y) (+ x y)) from (#<alt (λ (x y) (log (pow (exp (* 2 (sqrt (/ (- x y) (+ x y))))) (/ (sqrt (/ (- x y) (+ x y))) 2))))> #<alt (λ (x y) (cbrt (pow (/ (- x y) (+ x y)) 3)))> #<alt (λ (x y) (* (cbrt (sqrt (pow (/ (- x y) (+ x y)) 3))) (cbrt (sqrt (pow (/ (- x y) (+ x y)) 3)))))> #<alt (λ (x y) (log (exp (/ (- x y) (+ x y)))))> #<alt (λ (x y) (log (* (sqrt (exp (/ (- x y) (+ x y)))) (sqrt (exp (/ (- x y) (+ x y)))))))>)
2.637 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (log (pow (exp (* 2 (sqrt (/ (- x y) (+ x y))))) (/ (sqrt (/ (- x y) (+ x y))) 2))))> #<alt (λ (x y) (cbrt (pow (/ (- x y) (+ x y)) 3)))> #<alt (λ (x y) (* (cbrt (sqrt (pow (/ (- x y) (+ x y)) 3))) (cbrt (sqrt (pow (/ (- x y) (+ x y)) 3)))))> #<alt (λ (x y) (log (exp (/ (- x y) (+ x y)))))> #<alt (λ (x y) (log (* (sqrt (exp (/ (- x y) (+ x y)))) (sqrt (exp (/ (- x y) (+ x y)))))))>)
2.656 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (log (pow (exp (* 2 (sqrt (/ (- x y) (+ x y))))) (/ (sqrt (/ (- x y) (+ x y))) 2))))> #<alt (λ (x y) (cbrt (pow (/ (- x y) (+ x y)) 3)))> #<alt (λ (x y) (* (cbrt (sqrt (pow (/ (- x y) (+ x y)) 3))) (cbrt (sqrt (pow (/ (- x y) (+ x y)) 3)))))> #<alt (λ (x y) (log (exp (/ (- x y) (+ x y)))))> #<alt (λ (x y) (log (* (sqrt (exp (/ (- x y) (+ x y)))) (sqrt (exp (/ (- x y) (+ x y)))))))>)
2.677 * * * [regime]: Found split indices: #<option (#s(si 3 255))>
2.678 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (exp (/ (- x y) (+ x y))))
2.678 * * [simplify]: iteration  0 :  8  enodes  (cost  5 )
2.679 * * [simplify]: iteration  1 :  8  enodes  (cost  5 )
2.679 * [simplify]: Simplified to:
   (log (exp (/ (- x y) (+ x y))))
3.173 * [regime-testing]: Baseline error score: 0.030054613828823903
3.174 * [regime-testing]: Oracle error score: 0.016285118453117944
3.175 * [regime-testing]: End program error score: 0.030054613828823903
3.192 * [regime-testing]: Target error score: 0.024241391498388366