23.150 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.012 * * * [progress]: [2/2] Setting up program.
0.013 * [progress]: [Phase 2 of 3] Improving.
0.013 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ (+ (* x y) x) y)
0.014 * * [simplify]: iteration  0 :  5  enodes  (cost  7 )
0.015 * * [simplify]: iteration  1 :  11  enodes  (cost  6 )
0.017 * * [simplify]: iteration  2 :  23  enodes  (cost  6 )
0.020 * * [simplify]: iteration  3 :  32  enodes  (cost  6 )
0.024 * * [simplify]: iteration  4 :  42  enodes  (cost  6 )
0.032 * * [simplify]: iteration  5 :  57  enodes  (cost  6 )
0.041 * * [simplify]: iteration  6 :  65  enodes  (cost  6 )
0.046 * * [simplify]: iteration  done :  65  enodes  (cost  6 )
0.046 * [simplify]: Simplified to:
   (+ (fma x y x) y)
0.049 * * [progress]: iteration 1 / 4
0.049 * * * [progress]: picking best candidate
0.050 * * * * [pick]: Picked  #<alt (λ (x y) (+ (+ (* x y) x) y))>
0.050 * * * [progress]: localizing error
0.055 * * * [progress]: generating rewritten candidates
0.055 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
0.058 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.077 * * * [progress]: generating series expansions
0.077 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
0.077 * [approximate]: Taking taylor expansion of (+ x (* x y)) in (x y) around 0
0.077 * [taylor]: Taking taylor expansion of (+ x (* x y)) in y
0.077 * [taylor]: Taking taylor expansion of x in y
0.077 * [taylor]: Taking taylor expansion of (* x y) in y
0.077 * [taylor]: Taking taylor expansion of x in y
0.077 * [taylor]: Taking taylor expansion of y in y
0.077 * [taylor]: Taking taylor expansion of (+ x (* x y)) in x
0.077 * [taylor]: Taking taylor expansion of x in x
0.077 * [taylor]: Taking taylor expansion of (* x y) in x
0.077 * [taylor]: Taking taylor expansion of x in x
0.077 * [taylor]: Taking taylor expansion of y in x
0.078 * [taylor]: Taking taylor expansion of (+ x (* x y)) in x
0.078 * [taylor]: Taking taylor expansion of x in x
0.078 * [taylor]: Taking taylor expansion of (* x y) in x
0.078 * [taylor]: Taking taylor expansion of x in x
0.078 * [taylor]: Taking taylor expansion of y in x
0.078 * [taylor]: Taking taylor expansion of 0 in y
0.078 * [taylor]: Taking taylor expansion of (+ y 1) in y
0.078 * [taylor]: Taking taylor expansion of y in y
0.078 * [taylor]: Taking taylor expansion of 1 in y
0.080 * [taylor]: Taking taylor expansion of 0 in y
0.081 * [taylor]: Taking taylor expansion of 0 in y
0.082 * [taylor]: Taking taylor expansion of 0 in y
0.082 * [approximate]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in (x y) around 0
0.082 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in y
0.083 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.083 * [taylor]: Taking taylor expansion of x in y
0.083 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.083 * [taylor]: Taking taylor expansion of (* x y) in y
0.083 * [taylor]: Taking taylor expansion of x in y
0.083 * [taylor]: Taking taylor expansion of y in y
0.083 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x
0.083 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.083 * [taylor]: Taking taylor expansion of x in x
0.083 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.083 * [taylor]: Taking taylor expansion of (* x y) in x
0.083 * [taylor]: Taking taylor expansion of x in x
0.083 * [taylor]: Taking taylor expansion of y in x
0.084 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x
0.084 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.084 * [taylor]: Taking taylor expansion of x in x
0.084 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.084 * [taylor]: Taking taylor expansion of (* x y) in x
0.084 * [taylor]: Taking taylor expansion of x in x
0.084 * [taylor]: Taking taylor expansion of y in x
0.084 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y
0.084 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.084 * [taylor]: Taking taylor expansion of y in y
0.085 * [taylor]: Taking taylor expansion of 1 in y
0.086 * [taylor]: Taking taylor expansion of 0 in y
0.088 * [taylor]: Taking taylor expansion of 0 in y
0.091 * [taylor]: Taking taylor expansion of 0 in y
0.094 * [taylor]: Taking taylor expansion of 0 in y
0.094 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in (x y) around 0
0.094 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in y
0.094 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.094 * [taylor]: Taking taylor expansion of (* x y) in y
0.094 * [taylor]: Taking taylor expansion of x in y
0.094 * [taylor]: Taking taylor expansion of y in y
0.094 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.094 * [taylor]: Taking taylor expansion of x in y
0.095 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in x
0.095 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.095 * [taylor]: Taking taylor expansion of (* x y) in x
0.095 * [taylor]: Taking taylor expansion of x in x
0.095 * [taylor]: Taking taylor expansion of y in x
0.095 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.095 * [taylor]: Taking taylor expansion of x in x
0.095 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in x
0.095 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.095 * [taylor]: Taking taylor expansion of (* x y) in x
0.095 * [taylor]: Taking taylor expansion of x in x
0.095 * [taylor]: Taking taylor expansion of y in x
0.096 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.096 * [taylor]: Taking taylor expansion of x in x
0.096 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1) in y
0.096 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.096 * [taylor]: Taking taylor expansion of y in y
0.096 * [taylor]: Taking taylor expansion of 1 in y
0.098 * [taylor]: Taking taylor expansion of 0 in y
0.101 * [taylor]: Taking taylor expansion of 0 in y
0.104 * [taylor]: Taking taylor expansion of 0 in y
0.107 * [taylor]: Taking taylor expansion of 0 in y
0.108 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.108 * [approximate]: Taking taylor expansion of (+ x (+ y (* x y))) in (x y) around 0
0.108 * [taylor]: Taking taylor expansion of (+ x (+ y (* x y))) in y
0.108 * [taylor]: Taking taylor expansion of x in y
0.108 * [taylor]: Taking taylor expansion of (+ y (* x y)) in y
0.108 * [taylor]: Taking taylor expansion of y in y
0.108 * [taylor]: Taking taylor expansion of (* x y) in y
0.108 * [taylor]: Taking taylor expansion of x in y
0.108 * [taylor]: Taking taylor expansion of y in y
0.108 * [taylor]: Taking taylor expansion of (+ x (+ y (* x y))) in x
0.108 * [taylor]: Taking taylor expansion of x in x
0.108 * [taylor]: Taking taylor expansion of (+ y (* x y)) in x
0.108 * [taylor]: Taking taylor expansion of y in x
0.108 * [taylor]: Taking taylor expansion of (* x y) in x
0.108 * [taylor]: Taking taylor expansion of x in x
0.108 * [taylor]: Taking taylor expansion of y in x
0.108 * [taylor]: Taking taylor expansion of (+ x (+ y (* x y))) in x
0.108 * [taylor]: Taking taylor expansion of x in x
0.108 * [taylor]: Taking taylor expansion of (+ y (* x y)) in x
0.108 * [taylor]: Taking taylor expansion of y in x
0.108 * [taylor]: Taking taylor expansion of (* x y) in x
0.108 * [taylor]: Taking taylor expansion of x in x
0.108 * [taylor]: Taking taylor expansion of y in x
0.108 * [taylor]: Taking taylor expansion of y in y
0.109 * [taylor]: Taking taylor expansion of (+ y 1) in y
0.109 * [taylor]: Taking taylor expansion of y in y
0.109 * [taylor]: Taking taylor expansion of 1 in y
0.110 * [taylor]: Taking taylor expansion of 0 in y
0.110 * [approximate]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (/ 1 y) (/ 1 x))) in (x y) around 0
0.110 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (/ 1 y) (/ 1 x))) in y
0.110 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.111 * [taylor]: Taking taylor expansion of (* x y) in y
0.111 * [taylor]: Taking taylor expansion of x in y
0.111 * [taylor]: Taking taylor expansion of y in y
0.111 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
0.111 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.111 * [taylor]: Taking taylor expansion of y in y
0.111 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.111 * [taylor]: Taking taylor expansion of x in y
0.111 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (/ 1 y) (/ 1 x))) in x
0.111 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.111 * [taylor]: Taking taylor expansion of (* x y) in x
0.111 * [taylor]: Taking taylor expansion of x in x
0.111 * [taylor]: Taking taylor expansion of y in x
0.112 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.112 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.112 * [taylor]: Taking taylor expansion of y in x
0.112 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.112 * [taylor]: Taking taylor expansion of x in x
0.112 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (/ 1 y) (/ 1 x))) in x
0.112 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.112 * [taylor]: Taking taylor expansion of (* x y) in x
0.112 * [taylor]: Taking taylor expansion of x in x
0.112 * [taylor]: Taking taylor expansion of y in x
0.112 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.112 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.112 * [taylor]: Taking taylor expansion of y in x
0.112 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.112 * [taylor]: Taking taylor expansion of x in x
0.113 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y
0.113 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.113 * [taylor]: Taking taylor expansion of y in y
0.113 * [taylor]: Taking taylor expansion of 1 in y
0.115 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.115 * [taylor]: Taking taylor expansion of y in y
0.117 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 y) (/ 1 x))) in (x y) around 0
0.117 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 y) (/ 1 x))) in y
0.117 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.117 * [taylor]: Taking taylor expansion of (* x y) in y
0.117 * [taylor]: Taking taylor expansion of x in y
0.117 * [taylor]: Taking taylor expansion of y in y
0.117 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
0.117 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.117 * [taylor]: Taking taylor expansion of y in y
0.117 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.117 * [taylor]: Taking taylor expansion of x in y
0.118 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 y) (/ 1 x))) in x
0.118 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.118 * [taylor]: Taking taylor expansion of (* x y) in x
0.118 * [taylor]: Taking taylor expansion of x in x
0.118 * [taylor]: Taking taylor expansion of y in x
0.118 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.118 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.118 * [taylor]: Taking taylor expansion of y in x
0.118 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.118 * [taylor]: Taking taylor expansion of x in x
0.118 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 y) (/ 1 x))) in x
0.118 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.118 * [taylor]: Taking taylor expansion of (* x y) in x
0.118 * [taylor]: Taking taylor expansion of x in x
0.118 * [taylor]: Taking taylor expansion of y in x
0.119 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.119 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.119 * [taylor]: Taking taylor expansion of y in x
0.119 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.119 * [taylor]: Taking taylor expansion of x in x
0.120 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1) in y
0.120 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.120 * [taylor]: Taking taylor expansion of y in y
0.120 * [taylor]: Taking taylor expansion of 1 in y
0.121 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
0.121 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.121 * [taylor]: Taking taylor expansion of y in y
0.123 * * * [progress]: simplifying candidates
0.123 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (+ (* x y) x))
  (log1p (+ (* x y) x))
  (* (exp (* x y)) (exp x))
  (log (+ (* x y) x))
  (exp (+ (* x y) x))
  (* (cbrt (+ (* x y) x)) (cbrt (+ (* x y) x)))
  (cbrt (+ (* x y) x))
  (* (* (+ (* x y) x) (+ (* x y) x)) (+ (* x y) x))
  (sqrt (+ (* x y) x))
  (sqrt (+ (* x y) x))
  (+ (pow (* x y) 3) (pow x 3))
  (+ (* (* x y) (* x y)) (- (* x x) (* (* x y) x)))
  (- (* (* x y) (* x y)) (* x x))
  (- (* x y) x)
  (expm1 (+ (+ (* x y) x) y))
  (log1p (+ (+ (* x y) x) y))
  (* (* (exp (* x y)) (exp x)) (exp y))
  (* (exp (+ (* x y) x)) (exp y))
  (log (+ (+ (* x y) x) y))
  (exp (+ (+ (* x y) x) y))
  (* (cbrt (+ (+ (* x y) x) y)) (cbrt (+ (+ (* x y) x) y)))
  (cbrt (+ (+ (* x y) x) y))
  (* (* (+ (+ (* x y) x) y) (+ (+ (* x y) x) y)) (+ (+ (* x y) x) y))
  (sqrt (+ (+ (* x y) x) y))
  (sqrt (+ (+ (* x y) x) y))
  (+ (pow (+ (* x y) x) 3) (pow y 3))
  (+ (* (+ (* x y) x) (+ (* x y) x)) (- (* y y) (* (+ (* x y) x) y)))
  (- (* (+ (* x y) x) (+ (* x y) x)) (* y y))
  (- (+ (* x y) x) y)
  (+ (+ (* x y) x) y)
  (+ x y)
  (+ x (* x y))
  (+ x (* x y))
  (+ x (* x y))
  (+ x (+ y (* x y)))
  (+ x (+ y (* x y)))
  (+ x (+ y (* x y)))
0.125 * * [simplify]: iteration  0 :  53  enodes  (cost  338 )
0.134 * * [simplify]: iteration  1 :  155  enodes  (cost  281 )
0.169 * * [simplify]: iteration  2 :  444  enodes  (cost  264 )
0.316 * * [simplify]: iteration  3 :  1525  enodes  (cost  260 )
1.092 * * [simplify]: iteration  done :  5000  enodes  (cost  259 )
1.093 * [simplify]: Simplified to:
   (expm1 (fma x y x))
  (log1p (fma x y x))
  (exp (fma x y x))
  (log (fma x y x))
  (exp (fma x y x))
  (* (cbrt (fma x y x)) (cbrt (fma x y x)))
  (cbrt (fma x y x))
  (pow (fma x y x) 3)
  (sqrt (fma x y x))
  (sqrt (fma x y x))
  (+ (pow (* x y) 3) (pow x 3))
  (* x (- x (* y (- x (* x y)))))
  (* x (- (* y (* x y)) x))
  (- (* x y) x)
  (expm1 (+ (fma x y x) y))
  (log1p (+ (fma x y x) y))
  (exp (+ (fma x y x) y))
  (exp (+ (fma x y x) y))
  (log (+ (fma x y x) y))
  (exp (+ (fma x y x) y))
  (* (cbrt (+ (fma x y x) y)) (cbrt (+ (fma x y x) y)))
  (cbrt (+ (fma x y x) y))
  (pow (+ (fma x y x) y) 3)
  (sqrt (+ (fma x y x) y))
  (sqrt (+ (fma x y x) y))
  (+ (pow (fma x y x) 3) (pow y 3))
  (fma y y (* (fma x y x) (- (fma x y x) y)))
  (- (* (fma x y x) (fma x y x)) (* y y))
  (- (fma x y x) y)
  (+ (fma x y x) y)
  (+ x y)
  (fma x y x)
  (fma x y x)
  (fma x y x)
  (+ (fma x y x) y)
  (+ (fma x y x) y)
  (+ (fma x y x) y)
1.093 * * * [progress]: adding candidates to table
1.166 * * [progress]: iteration 2 / 4
1.166 * * * [progress]: picking best candidate
1.169 * * * * [pick]: Picked  #<alt (λ (x y) (+ (/ (* x (- (* y (* x y)) x)) (- (* x y) x)) y))>
1.169 * * * [progress]: localizing error
1.178 * * * [progress]: generating rewritten candidates
1.178 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1.196 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
1.219 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1)
1.225 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
1.231 * * * [progress]: generating series expansions
1.231 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1.231 * [approximate]: Taking taylor expansion of (/ (* x (- (* x (pow y 2)) x)) (- (* x y) x)) in (x y) around 0
1.231 * [taylor]: Taking taylor expansion of (/ (* x (- (* x (pow y 2)) x)) (- (* x y) x)) in y
1.231 * [taylor]: Taking taylor expansion of (* x (- (* x (pow y 2)) x)) in y
1.231 * [taylor]: Taking taylor expansion of x in y
1.231 * [taylor]: Taking taylor expansion of (- (* x (pow y 2)) x) in y
1.231 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
1.231 * [taylor]: Taking taylor expansion of x in y
1.231 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.231 * [taylor]: Taking taylor expansion of y in y
1.231 * [taylor]: Taking taylor expansion of x in y
1.231 * [taylor]: Taking taylor expansion of (- (* x y) x) in y
1.231 * [taylor]: Taking taylor expansion of (* x y) in y
1.231 * [taylor]: Taking taylor expansion of x in y
1.231 * [taylor]: Taking taylor expansion of y in y
1.231 * [taylor]: Taking taylor expansion of x in y
1.231 * [taylor]: Taking taylor expansion of (/ (* x (- (* x (pow y 2)) x)) (- (* x y) x)) in x
1.231 * [taylor]: Taking taylor expansion of (* x (- (* x (pow y 2)) x)) in x
1.231 * [taylor]: Taking taylor expansion of x in x
1.232 * [taylor]: Taking taylor expansion of (- (* x (pow y 2)) x) in x
1.232 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
1.232 * [taylor]: Taking taylor expansion of x in x
1.232 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.232 * [taylor]: Taking taylor expansion of y in x
1.232 * [taylor]: Taking taylor expansion of x in x
1.232 * [taylor]: Taking taylor expansion of (- (* x y) x) in x
1.232 * [taylor]: Taking taylor expansion of (* x y) in x
1.232 * [taylor]: Taking taylor expansion of x in x
1.232 * [taylor]: Taking taylor expansion of y in x
1.232 * [taylor]: Taking taylor expansion of x in x
1.237 * [taylor]: Taking taylor expansion of (/ (* x (- (* x (pow y 2)) x)) (- (* x y) x)) in x
1.237 * [taylor]: Taking taylor expansion of (* x (- (* x (pow y 2)) x)) in x
1.237 * [taylor]: Taking taylor expansion of x in x
1.237 * [taylor]: Taking taylor expansion of (- (* x (pow y 2)) x) in x
1.237 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
1.237 * [taylor]: Taking taylor expansion of x in x
1.237 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.237 * [taylor]: Taking taylor expansion of y in x
1.237 * [taylor]: Taking taylor expansion of x in x
1.237 * [taylor]: Taking taylor expansion of (- (* x y) x) in x
1.237 * [taylor]: Taking taylor expansion of (* x y) in x
1.237 * [taylor]: Taking taylor expansion of x in x
1.237 * [taylor]: Taking taylor expansion of y in x
1.237 * [taylor]: Taking taylor expansion of x in x
1.245 * [taylor]: Taking taylor expansion of (/ (- (pow y 2) 1) (- y 1)) in y
1.245 * [taylor]: Taking taylor expansion of (- (pow y 2) 1) in y
1.245 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.245 * [taylor]: Taking taylor expansion of y in y
1.245 * [taylor]: Taking taylor expansion of 1 in y
1.245 * [taylor]: Taking taylor expansion of (- y 1) in y
1.245 * [taylor]: Taking taylor expansion of y in y
1.245 * [taylor]: Taking taylor expansion of 1 in y
1.250 * [taylor]: Taking taylor expansion of 0 in y
1.256 * [taylor]: Taking taylor expansion of 0 in y
1.263 * [taylor]: Taking taylor expansion of 0 in y
1.264 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (* x (pow y 2))) (/ 1 x)) (* x (- (/ 1 (* x y)) (/ 1 x)))) in (x y) around 0
1.264 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* x (pow y 2))) (/ 1 x)) (* x (- (/ 1 (* x y)) (/ 1 x)))) in y
1.264 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (pow y 2))) (/ 1 x)) in y
1.264 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y
1.264 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
1.264 * [taylor]: Taking taylor expansion of x in y
1.264 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.264 * [taylor]: Taking taylor expansion of y in y
1.264 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.264 * [taylor]: Taking taylor expansion of x in y
1.264 * [taylor]: Taking taylor expansion of (* x (- (/ 1 (* x y)) (/ 1 x))) in y
1.264 * [taylor]: Taking taylor expansion of x in y
1.264 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in y
1.264 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
1.264 * [taylor]: Taking taylor expansion of (* x y) in y
1.264 * [taylor]: Taking taylor expansion of x in y
1.265 * [taylor]: Taking taylor expansion of y in y
1.265 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.265 * [taylor]: Taking taylor expansion of x in y
1.265 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* x (pow y 2))) (/ 1 x)) (* x (- (/ 1 (* x y)) (/ 1 x)))) in x
1.265 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (pow y 2))) (/ 1 x)) in x
1.265 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x
1.265 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
1.265 * [taylor]: Taking taylor expansion of x in x
1.265 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.265 * [taylor]: Taking taylor expansion of y in x
1.266 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.266 * [taylor]: Taking taylor expansion of x in x
1.266 * [taylor]: Taking taylor expansion of (* x (- (/ 1 (* x y)) (/ 1 x))) in x
1.266 * [taylor]: Taking taylor expansion of x in x
1.266 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in x
1.266 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.266 * [taylor]: Taking taylor expansion of (* x y) in x
1.266 * [taylor]: Taking taylor expansion of x in x
1.266 * [taylor]: Taking taylor expansion of y in x
1.266 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.266 * [taylor]: Taking taylor expansion of x in x
1.269 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* x (pow y 2))) (/ 1 x)) (* x (- (/ 1 (* x y)) (/ 1 x)))) in x
1.269 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (pow y 2))) (/ 1 x)) in x
1.269 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x
1.269 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
1.269 * [taylor]: Taking taylor expansion of x in x
1.269 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.269 * [taylor]: Taking taylor expansion of y in x
1.270 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.270 * [taylor]: Taking taylor expansion of x in x
1.270 * [taylor]: Taking taylor expansion of (* x (- (/ 1 (* x y)) (/ 1 x))) in x
1.270 * [taylor]: Taking taylor expansion of x in x
1.270 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in x
1.270 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.270 * [taylor]: Taking taylor expansion of (* x y) in x
1.270 * [taylor]: Taking taylor expansion of x in x
1.270 * [taylor]: Taking taylor expansion of y in x
1.271 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.271 * [taylor]: Taking taylor expansion of x in x
1.274 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) 1) (- (/ 1 y) 1)) in y
1.274 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) 1) in y
1.274 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.274 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.274 * [taylor]: Taking taylor expansion of y in y
1.274 * [taylor]: Taking taylor expansion of 1 in y
1.274 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1) in y
1.274 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.274 * [taylor]: Taking taylor expansion of y in y
1.274 * [taylor]: Taking taylor expansion of 1 in y
1.280 * [taylor]: Taking taylor expansion of 0 in y
1.288 * [taylor]: Taking taylor expansion of 0 in y
1.297 * [taylor]: Taking taylor expansion of 0 in y
1.308 * [taylor]: Taking taylor expansion of 0 in y
1.308 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 (* x (pow y 2)))) (* x (+ (/ 1 x) (/ 1 (* x y)))))) in (x y) around 0
1.308 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 (* x (pow y 2)))) (* x (+ (/ 1 x) (/ 1 (* x y)))))) in y
1.308 * [taylor]: Taking taylor expansion of -1 in y
1.308 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* x (pow y 2)))) (* x (+ (/ 1 x) (/ 1 (* x y))))) in y
1.308 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* x (pow y 2)))) in y
1.308 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.308 * [taylor]: Taking taylor expansion of x in y
1.308 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y
1.308 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
1.308 * [taylor]: Taking taylor expansion of x in y
1.308 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.308 * [taylor]: Taking taylor expansion of y in y
1.309 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 x) (/ 1 (* x y)))) in y
1.309 * [taylor]: Taking taylor expansion of x in y
1.309 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in y
1.309 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.309 * [taylor]: Taking taylor expansion of x in y
1.309 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
1.309 * [taylor]: Taking taylor expansion of (* x y) in y
1.309 * [taylor]: Taking taylor expansion of x in y
1.309 * [taylor]: Taking taylor expansion of y in y
1.309 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 (* x (pow y 2)))) (* x (+ (/ 1 x) (/ 1 (* x y)))))) in x
1.309 * [taylor]: Taking taylor expansion of -1 in x
1.309 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* x (pow y 2)))) (* x (+ (/ 1 x) (/ 1 (* x y))))) in x
1.309 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* x (pow y 2)))) in x
1.309 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.310 * [taylor]: Taking taylor expansion of x in x
1.310 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x
1.310 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
1.310 * [taylor]: Taking taylor expansion of x in x
1.310 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.310 * [taylor]: Taking taylor expansion of y in x
1.310 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 x) (/ 1 (* x y)))) in x
1.310 * [taylor]: Taking taylor expansion of x in x
1.310 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x
1.310 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.310 * [taylor]: Taking taylor expansion of x in x
1.311 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.311 * [taylor]: Taking taylor expansion of (* x y) in x
1.311 * [taylor]: Taking taylor expansion of x in x
1.311 * [taylor]: Taking taylor expansion of y in x
1.313 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 (* x (pow y 2)))) (* x (+ (/ 1 x) (/ 1 (* x y)))))) in x
1.313 * [taylor]: Taking taylor expansion of -1 in x
1.313 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* x (pow y 2)))) (* x (+ (/ 1 x) (/ 1 (* x y))))) in x
1.313 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* x (pow y 2)))) in x
1.313 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.313 * [taylor]: Taking taylor expansion of x in x
1.313 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x
1.313 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
1.313 * [taylor]: Taking taylor expansion of x in x
1.313 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.313 * [taylor]: Taking taylor expansion of y in x
1.314 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 x) (/ 1 (* x y)))) in x
1.314 * [taylor]: Taking taylor expansion of x in x
1.314 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x
1.314 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.314 * [taylor]: Taking taylor expansion of x in x
1.314 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.314 * [taylor]: Taking taylor expansion of (* x y) in x
1.314 * [taylor]: Taking taylor expansion of x in x
1.314 * [taylor]: Taking taylor expansion of y in x
1.317 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1 (/ 1 (pow y 2))) (+ (/ 1 y) 1))) in y
1.317 * [taylor]: Taking taylor expansion of -1 in y
1.317 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 (pow y 2))) (+ (/ 1 y) 1)) in y
1.317 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (pow y 2))) in y
1.317 * [taylor]: Taking taylor expansion of 1 in y
1.317 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.317 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.317 * [taylor]: Taking taylor expansion of y in y
1.317 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y
1.317 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.317 * [taylor]: Taking taylor expansion of y in y
1.318 * [taylor]: Taking taylor expansion of 1 in y
1.323 * [taylor]: Taking taylor expansion of 0 in y
1.337 * [taylor]: Taking taylor expansion of 0 in y
1.348 * [taylor]: Taking taylor expansion of 0 in y
1.361 * [taylor]: Taking taylor expansion of 0 in y
1.361 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
1.361 * [approximate]: Taking taylor expansion of (* x (- (* x (pow y 2)) x)) in (x y) around 0
1.361 * [taylor]: Taking taylor expansion of (* x (- (* x (pow y 2)) x)) in y
1.361 * [taylor]: Taking taylor expansion of x in y
1.361 * [taylor]: Taking taylor expansion of (- (* x (pow y 2)) x) in y
1.361 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
1.361 * [taylor]: Taking taylor expansion of x in y
1.361 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.361 * [taylor]: Taking taylor expansion of y in y
1.361 * [taylor]: Taking taylor expansion of x in y
1.361 * [taylor]: Taking taylor expansion of (* x (- (* x (pow y 2)) x)) in x
1.361 * [taylor]: Taking taylor expansion of x in x
1.361 * [taylor]: Taking taylor expansion of (- (* x (pow y 2)) x) in x
1.361 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
1.361 * [taylor]: Taking taylor expansion of x in x
1.361 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.361 * [taylor]: Taking taylor expansion of y in x
1.361 * [taylor]: Taking taylor expansion of x in x
1.361 * [taylor]: Taking taylor expansion of (* x (- (* x (pow y 2)) x)) in x
1.361 * [taylor]: Taking taylor expansion of x in x
1.361 * [taylor]: Taking taylor expansion of (- (* x (pow y 2)) x) in x
1.361 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
1.361 * [taylor]: Taking taylor expansion of x in x
1.361 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.362 * [taylor]: Taking taylor expansion of y in x
1.362 * [taylor]: Taking taylor expansion of x in x
1.362 * [taylor]: Taking taylor expansion of 0 in y
1.363 * [taylor]: Taking taylor expansion of 0 in y
1.365 * [taylor]: Taking taylor expansion of (- (pow y 2) 1) in y
1.365 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.365 * [taylor]: Taking taylor expansion of y in y
1.365 * [taylor]: Taking taylor expansion of 1 in y
1.368 * [taylor]: Taking taylor expansion of 0 in y
1.369 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (* x (pow y 2))) (/ 1 x)) x) in (x y) around 0
1.369 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* x (pow y 2))) (/ 1 x)) x) in y
1.369 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (pow y 2))) (/ 1 x)) in y
1.369 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y
1.369 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
1.369 * [taylor]: Taking taylor expansion of x in y
1.369 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.369 * [taylor]: Taking taylor expansion of y in y
1.370 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.370 * [taylor]: Taking taylor expansion of x in y
1.370 * [taylor]: Taking taylor expansion of x in y
1.370 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* x (pow y 2))) (/ 1 x)) x) in x
1.370 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (pow y 2))) (/ 1 x)) in x
1.370 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x
1.370 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
1.370 * [taylor]: Taking taylor expansion of x in x
1.370 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.370 * [taylor]: Taking taylor expansion of y in x
1.370 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.371 * [taylor]: Taking taylor expansion of x in x
1.371 * [taylor]: Taking taylor expansion of x in x
1.371 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* x (pow y 2))) (/ 1 x)) x) in x
1.371 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (pow y 2))) (/ 1 x)) in x
1.371 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x
1.371 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
1.371 * [taylor]: Taking taylor expansion of x in x
1.371 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.371 * [taylor]: Taking taylor expansion of y in x
1.372 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.372 * [taylor]: Taking taylor expansion of x in x
1.372 * [taylor]: Taking taylor expansion of x in x
1.373 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) 1) in y
1.373 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.373 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.373 * [taylor]: Taking taylor expansion of y in y
1.373 * [taylor]: Taking taylor expansion of 1 in y
1.376 * [taylor]: Taking taylor expansion of 0 in y
1.380 * [taylor]: Taking taylor expansion of 0 in y
1.386 * [taylor]: Taking taylor expansion of 0 in y
1.393 * [taylor]: Taking taylor expansion of 0 in y
1.400 * [taylor]: Taking taylor expansion of 0 in y
1.401 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 (* x (pow y 2)))) x)) in (x y) around 0
1.401 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 (* x (pow y 2)))) x)) in y
1.401 * [taylor]: Taking taylor expansion of -1 in y
1.401 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* x (pow y 2)))) x) in y
1.401 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* x (pow y 2)))) in y
1.401 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.401 * [taylor]: Taking taylor expansion of x in y
1.401 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y
1.401 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
1.401 * [taylor]: Taking taylor expansion of x in y
1.401 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.401 * [taylor]: Taking taylor expansion of y in y
1.401 * [taylor]: Taking taylor expansion of x in y
1.401 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 (* x (pow y 2)))) x)) in x
1.402 * [taylor]: Taking taylor expansion of -1 in x
1.402 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* x (pow y 2)))) x) in x
1.402 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* x (pow y 2)))) in x
1.402 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.402 * [taylor]: Taking taylor expansion of x in x
1.402 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x
1.402 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
1.402 * [taylor]: Taking taylor expansion of x in x
1.402 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.402 * [taylor]: Taking taylor expansion of y in x
1.402 * [taylor]: Taking taylor expansion of x in x
1.403 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 (* x (pow y 2)))) x)) in x
1.403 * [taylor]: Taking taylor expansion of -1 in x
1.403 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* x (pow y 2)))) x) in x
1.403 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* x (pow y 2)))) in x
1.403 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.403 * [taylor]: Taking taylor expansion of x in x
1.403 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x
1.403 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
1.403 * [taylor]: Taking taylor expansion of x in x
1.403 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.403 * [taylor]: Taking taylor expansion of y in x
1.404 * [taylor]: Taking taylor expansion of x in x
1.404 * [taylor]: Taking taylor expansion of (* -1 (- 1 (/ 1 (pow y 2)))) in y
1.404 * [taylor]: Taking taylor expansion of -1 in y
1.404 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (pow y 2))) in y
1.404 * [taylor]: Taking taylor expansion of 1 in y
1.404 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.404 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.404 * [taylor]: Taking taylor expansion of y in y
1.408 * [taylor]: Taking taylor expansion of 0 in y
1.414 * [taylor]: Taking taylor expansion of 0 in y
1.426 * [taylor]: Taking taylor expansion of 0 in y
1.434 * [taylor]: Taking taylor expansion of 0 in y
1.444 * [taylor]: Taking taylor expansion of 0 in y
1.444 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1)
1.444 * [approximate]: Taking taylor expansion of (* x (pow y 2)) in (y x) around 0
1.444 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
1.444 * [taylor]: Taking taylor expansion of x in x
1.444 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.444 * [taylor]: Taking taylor expansion of y in x
1.444 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
1.444 * [taylor]: Taking taylor expansion of x in y
1.444 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.444 * [taylor]: Taking taylor expansion of y in y
1.444 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
1.445 * [taylor]: Taking taylor expansion of x in y
1.445 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.445 * [taylor]: Taking taylor expansion of y in y
1.445 * [taylor]: Taking taylor expansion of x in x
1.446 * [taylor]: Taking taylor expansion of 0 in x
1.447 * [taylor]: Taking taylor expansion of 0 in x
1.448 * [taylor]: Taking taylor expansion of 0 in x
1.448 * [approximate]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in (y x) around 0
1.448 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x
1.448 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
1.448 * [taylor]: Taking taylor expansion of x in x
1.448 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.448 * [taylor]: Taking taylor expansion of y in x
1.449 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y
1.449 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
1.449 * [taylor]: Taking taylor expansion of x in y
1.449 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.449 * [taylor]: Taking taylor expansion of y in y
1.449 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y
1.449 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
1.449 * [taylor]: Taking taylor expansion of x in y
1.449 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.449 * [taylor]: Taking taylor expansion of y in y
1.450 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.450 * [taylor]: Taking taylor expansion of x in x
1.451 * [taylor]: Taking taylor expansion of 0 in x
1.452 * [taylor]: Taking taylor expansion of 0 in x
1.454 * [taylor]: Taking taylor expansion of 0 in x
1.455 * [approximate]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in (y x) around 0
1.455 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x
1.455 * [taylor]: Taking taylor expansion of -1 in x
1.455 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
1.455 * [taylor]: Taking taylor expansion of x in x
1.455 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.455 * [taylor]: Taking taylor expansion of y in x
1.455 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in y
1.456 * [taylor]: Taking taylor expansion of -1 in y
1.456 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
1.456 * [taylor]: Taking taylor expansion of x in y
1.456 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.456 * [taylor]: Taking taylor expansion of y in y
1.456 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in y
1.456 * [taylor]: Taking taylor expansion of -1 in y
1.456 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
1.456 * [taylor]: Taking taylor expansion of x in y
1.456 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.456 * [taylor]: Taking taylor expansion of y in y
1.456 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.456 * [taylor]: Taking taylor expansion of -1 in x
1.456 * [taylor]: Taking taylor expansion of x in x
1.457 * [taylor]: Taking taylor expansion of 0 in x
1.459 * [taylor]: Taking taylor expansion of 0 in x
1.461 * [taylor]: Taking taylor expansion of 0 in x
1.461 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
1.461 * [approximate]: Taking taylor expansion of (- (* x y) x) in (x y) around 0
1.461 * [taylor]: Taking taylor expansion of (- (* x y) x) in y
1.461 * [taylor]: Taking taylor expansion of (* x y) in y
1.461 * [taylor]: Taking taylor expansion of x in y
1.461 * [taylor]: Taking taylor expansion of y in y
1.462 * [taylor]: Taking taylor expansion of x in y
1.462 * [taylor]: Taking taylor expansion of (- (* x y) x) in x
1.462 * [taylor]: Taking taylor expansion of (* x y) in x
1.462 * [taylor]: Taking taylor expansion of x in x
1.462 * [taylor]: Taking taylor expansion of y in x
1.462 * [taylor]: Taking taylor expansion of x in x
1.462 * [taylor]: Taking taylor expansion of (- (* x y) x) in x
1.462 * [taylor]: Taking taylor expansion of (* x y) in x
1.462 * [taylor]: Taking taylor expansion of x in x
1.462 * [taylor]: Taking taylor expansion of y in x
1.462 * [taylor]: Taking taylor expansion of x in x
1.462 * [taylor]: Taking taylor expansion of 0 in y
1.463 * [taylor]: Taking taylor expansion of (- y 1) in y
1.463 * [taylor]: Taking taylor expansion of y in y
1.463 * [taylor]: Taking taylor expansion of 1 in y
1.464 * [taylor]: Taking taylor expansion of 0 in y
1.466 * [taylor]: Taking taylor expansion of 0 in y
1.468 * [taylor]: Taking taylor expansion of 0 in y
1.468 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in (x y) around 0
1.468 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in y
1.468 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
1.468 * [taylor]: Taking taylor expansion of (* x y) in y
1.468 * [taylor]: Taking taylor expansion of x in y
1.468 * [taylor]: Taking taylor expansion of y in y
1.468 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.468 * [taylor]: Taking taylor expansion of x in y
1.468 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in x
1.468 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.469 * [taylor]: Taking taylor expansion of (* x y) in x
1.469 * [taylor]: Taking taylor expansion of x in x
1.469 * [taylor]: Taking taylor expansion of y in x
1.469 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.469 * [taylor]: Taking taylor expansion of x in x
1.469 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in x
1.469 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.469 * [taylor]: Taking taylor expansion of (* x y) in x
1.469 * [taylor]: Taking taylor expansion of x in x
1.469 * [taylor]: Taking taylor expansion of y in x
1.470 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.470 * [taylor]: Taking taylor expansion of x in x
1.470 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1) in y
1.470 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.470 * [taylor]: Taking taylor expansion of y in y
1.470 * [taylor]: Taking taylor expansion of 1 in y
1.472 * [taylor]: Taking taylor expansion of 0 in y
1.475 * [taylor]: Taking taylor expansion of 0 in y
1.478 * [taylor]: Taking taylor expansion of 0 in y
1.481 * [taylor]: Taking taylor expansion of 0 in y
1.481 * [approximate]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in (x y) around 0
1.481 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in y
1.481 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.482 * [taylor]: Taking taylor expansion of x in y
1.482 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
1.482 * [taylor]: Taking taylor expansion of (* x y) in y
1.482 * [taylor]: Taking taylor expansion of x in y
1.482 * [taylor]: Taking taylor expansion of y in y
1.482 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x
1.482 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.482 * [taylor]: Taking taylor expansion of x in x
1.482 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.482 * [taylor]: Taking taylor expansion of (* x y) in x
1.482 * [taylor]: Taking taylor expansion of x in x
1.482 * [taylor]: Taking taylor expansion of y in x
1.483 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x
1.483 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.483 * [taylor]: Taking taylor expansion of x in x
1.483 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.483 * [taylor]: Taking taylor expansion of (* x y) in x
1.483 * [taylor]: Taking taylor expansion of x in x
1.483 * [taylor]: Taking taylor expansion of y in x
1.483 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y
1.483 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.483 * [taylor]: Taking taylor expansion of y in y
1.484 * [taylor]: Taking taylor expansion of 1 in y
1.485 * [taylor]: Taking taylor expansion of 0 in y
1.487 * [taylor]: Taking taylor expansion of 0 in y
1.490 * [taylor]: Taking taylor expansion of 0 in y
1.493 * [taylor]: Taking taylor expansion of 0 in y
1.493 * * * [progress]: simplifying candidates
1.494 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (/ (* x (- (* y (* x y)) x)) (- (* x y) x)))
  (log1p (/ (* x (- (* y (* x y)) x)) (- (* x y) x)))
  (- (+ (log x) (log (- (* y (* x y)) x))) (log (- (* x y) x)))
  (- (log (* x (- (* y (* x y)) x))) (log (- (* x y) x)))
  (log (/ (* x (- (* y (* x y)) x)) (- (* x y) x)))
  (exp (/ (* x (- (* y (* x y)) x)) (- (* x y) x)))
  (/ (* (* (* x x) x) (* (* (- (* y (* x y)) x) (- (* y (* x y)) x)) (- (* y (* x y)) x))) (* (* (- (* x y) x) (- (* x y) x)) (- (* x y) x)))
  (/ (* (* (* x (- (* y (* x y)) x)) (* x (- (* y (* x y)) x))) (* x (- (* y (* x y)) x))) (* (* (- (* x y) x) (- (* x y) x)) (- (* x y) x)))
  (* (cbrt (/ (* x (- (* y (* x y)) x)) (- (* x y) x))) (cbrt (/ (* x (- (* y (* x y)) x)) (- (* x y) x))))
  (cbrt (/ (* x (- (* y (* x y)) x)) (- (* x y) x)))
  (* (* (/ (* x (- (* y (* x y)) x)) (- (* x y) x)) (/ (* x (- (* y (* x y)) x)) (- (* x y) x))) (/ (* x (- (* y (* x y)) x)) (- (* x y) x)))
  (sqrt (/ (* x (- (* y (* x y)) x)) (- (* x y) x)))
  (sqrt (/ (* x (- (* y (* x y)) x)) (- (* x y) x)))
  (- (* x (- (* y (* x y)) x)))
  (- (- (* x y) x))
  (/ x (* (cbrt (- (* x y) x)) (cbrt (- (* x y) x))))
  (/ (- (* y (* x y)) x) (cbrt (- (* x y) x)))
  (/ x (sqrt (- (* x y) x)))
  (/ (- (* y (* x y)) x) (sqrt (- (* x y) x)))
  (/ x 1)
  (/ (- (* y (* x y)) x) (- (* x y) x))
  (/ 1 (- (* x y) x))
  (/ (- (* x y) x) (* x (- (* y (* x y)) x)))
  (/ (* x (- (* y (* x y)) x)) (* (cbrt (- (* x y) x)) (cbrt (- (* x y) x))))
  (/ (* x (- (* y (* x y)) x)) (sqrt (- (* x y) x)))
  (/ (* x (- (* y (* x y)) x)) 1)
  (/ (- (* x y) x) (- (* y (* x y)) x))
  (/ (* x (- (* y (* x y)) x)) (- (pow (* x y) 3) (pow x 3)))
  (/ (* x (- (* y (* x y)) x)) (- (* (* x y) (* x y)) (* x x)))
  (* (- (* x y) x) (+ (* (* y (* x y)) (* y (* x y))) (+ (* x x) (* (* y (* x y)) x))))
  (* (- (* x y) x) (+ (* y (* x y)) x))
  (expm1 (* x (- (* y (* x y)) x)))
  (log1p (* x (- (* y (* x y)) x)))
  (* x (- (* y (* x y)) x))
  (+ (log x) (log (- (* y (* x y)) x)))
  (log (* x (- (* y (* x y)) x)))
  (exp (* x (- (* y (* x y)) x)))
  (* (* (* x x) x) (* (* (- (* y (* x y)) x) (- (* y (* x y)) x)) (- (* y (* x y)) x)))
  (* (cbrt (* x (- (* y (* x y)) x))) (cbrt (* x (- (* y (* x y)) x))))
  (cbrt (* x (- (* y (* x y)) x)))
  (* (* (* x (- (* y (* x y)) x)) (* x (- (* y (* x y)) x))) (* x (- (* y (* x y)) x)))
  (sqrt (* x (- (* y (* x y)) x)))
  (sqrt (* x (- (* y (* x y)) x)))
  (* (sqrt x) (sqrt (- (* y (* x y)) x)))
  (* (sqrt x) (sqrt (- (* y (* x y)) x)))
  (* x (fma y (* x y) (- (* (cbrt x) (* (cbrt x) (cbrt x))))))
  (* x (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))))
  (* x (fma y (* x y) (- (* (sqrt x) (sqrt x)))))
  (* x (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))))
  (* x (fma y (* x y) (- (* x 1))))
  (* x (fma (- x) 1 (* x 1)))
  (* x (* y (* x y)))
  (* x (- x))
  (* x (* y (* x y)))
  (* x (- x))
  (* (fma y (* x y) (- (* (cbrt x) (* (cbrt x) (cbrt x))))) x)
  (* (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))) x)
  (* (fma y (* x y) (- (* (sqrt x) (sqrt x)))) x)
  (* (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))) x)
  (* (fma y (* x y) (- (* x 1))) x)
  (* (fma (- x) 1 (* x 1)) x)
  (* (* y (* x y)) x)
  (* (- x) x)
  (* (* y (* x y)) x)
  (* (- x) x)
  (* x (* (cbrt (- (* y (* x y)) x)) (cbrt (- (* y (* x y)) x))))
  (* x (sqrt (- (* y (* x y)) x)))
  (* x 1)
  (* (cbrt x) (- (* y (* x y)) x))
  (* (sqrt x) (- (* y (* x y)) x))
  (* x (- (* y (* x y)) x))
  (* x (- (pow (* y (* x y)) 3) (pow x 3)))
  (* x (- (* (* y (* x y)) (* y (* x y))) (* x x)))
  (expm1 (* y (* x y)))
  (log1p (* y (* x y)))
  (* y (* x y))
  (* y (* x y))
  (+ (log y) (+ (log x) (log y)))
  (+ (log y) (log (* x y)))
  (log (* y (* x y)))
  (exp (* y (* x y)))
  (* (* (* y y) y) (* (* (* x x) x) (* (* y y) y)))
  (* (* (* y y) y) (* (* (* x y) (* x y)) (* x y)))
  (* (cbrt (* y (* x y))) (cbrt (* y (* x y))))
  (cbrt (* y (* x y)))
  (* (* (* y (* x y)) (* y (* x y))) (* y (* x y)))
  (sqrt (* y (* x y)))
  (sqrt (* y (* x y)))
  (* y x)
  (* (cbrt y) (* x y))
  (* (sqrt y) (* x y))
  (* y (* x y))
  (fma x y (- (* (cbrt x) (* (cbrt x) (cbrt x)))))
  (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x))))
  (fma x y (- (* (sqrt x) (sqrt x))))
  (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x)))
  (fma x y (- (* x 1)))
  (fma (- x) 1 (* x 1))
  (expm1 (- (* x y) x))
  (log1p (- (* x y) x))
  (- x)
  (/ (exp (* x y)) (exp x))
  (log (- (* x y) x))
  (exp (- (* x y) x))
  (* (cbrt (- (* x y) x)) (cbrt (- (* x y) x)))
  (cbrt (- (* x y) x))
  (* (* (- (* x y) x) (- (* x y) x)) (- (* x y) x))
  (sqrt (- (* x y) x))
  (sqrt (- (* x y) x))
  (- (pow (* x y) 3) (pow x 3))
  (+ (* (* x y) (* x y)) (+ (* x x) (* (* x y) x)))
  (- x)
  (- (* (* x y) (* x y)) (* x x))
  (+ (* x y) x)
  (- x)
  (+ x (* x y))
  (+ x (* x y))
  (+ x (* x y))
  (* -1 (pow x 2))
  (- (* (pow x 2) (pow y 2)) (pow x 2))
  (- (* (pow x 2) (pow y 2)) (pow x 2))
  (* x (pow y 2))
  (* x (pow y 2))
  (* x (pow y 2))
  (- (* x y) x)
  (- (* x y) x)
  (- (* x y) x)
1.499 * * [simplify]: iteration  0 :  166  enodes  (cost  1472 )
1.557 * * [simplify]: iteration  1 :  381  enodes  (cost  1336 )
1.772 * * [simplify]: iteration  2 :  1313  enodes  (cost  1157 )
2.424 * * [simplify]: iteration  done :  5001  enodes  (cost  1144 )
2.425 * [simplify]: Simplified to:
   (expm1 (/ (* x (- (* y (* x y)) x)) (- (* x y) x)))
  (log1p (/ (* x (- (* y (* x y)) x)) (- (* x y) x)))
  (log (/ (* x (- (* y (* x y)) x)) (- (* x y) x)))
  (log (/ (* x (- (* y (* x y)) x)) (- (* x y) x)))
  (log (/ (* x (- (* y (* x y)) x)) (- (* x y) x)))
  (exp (/ (* x (- (* y (* x y)) x)) (- (* x y) x)))
  (pow (/ (* x (- (* y (* x y)) x)) (- (* x y) x)) 3)
  (pow (/ (* x (- (* y (* x y)) x)) (- (* x y) x)) 3)
  (* (cbrt (/ (* x (- (* y (* x y)) x)) (- (* x y) x))) (cbrt (/ (* x (- (* y (* x y)) x)) (- (* x y) x))))
  (cbrt (/ (* x (- (* y (* x y)) x)) (- (* x y) x)))
  (pow (/ (* x (- (* y (* x y)) x)) (- (* x y) x)) 3)
  (sqrt (/ (* x (- (* y (* x y)) x)) (- (* x y) x)))
  (sqrt (/ (* x (- (* y (* x y)) x)) (- (* x y) x)))
  (- (* x (- (* y (* x y)) x)))
  (- (- (* x y) x))
  (/ x (* (cbrt (- (* x y) x)) (cbrt (- (* x y) x))))
  (/ (- (* y (* x y)) x) (cbrt (- (* x y) x)))
  (/ x (sqrt (- (* x y) x)))
  (/ (- (* y (* x y)) x) (sqrt (- (* x y) x)))
  x
  (/ (- (* y (* x y)) x) (- (* x y) x))
  (/ 1 (- (* x y) x))
  (/ (- (* x y) x) (* x (- (* y (* x y)) x)))
  (/ (* x (- (* y (* x y)) x)) (* (cbrt (- (* x y) x)) (cbrt (- (* x y) x))))
  (/ (* x (- (* y (* x y)) x)) (sqrt (- (* x y) x)))
  (* (+ (* y y) -1) (* x x))
  (/ (- (* x y) x) (- (* y (* x y)) x))
  (/ (* x (- (* y (* x y)) x)) (- (pow (* x y) 3) (pow x 3)))
  (* (/ x (* (fma y (* y x) (- x)) x)) (fma y (* y x) (- x)))
  (* (- (* x y) x) (fma (* x (pow y 3)) (* x y) (* x (fma y (* x y) x))))
  (* (- (* y x) x) (fma y (* x y) x))
  (expm1 (* x (- (* y (* x y)) x)))
  (log1p (* x (- (* y (* x y)) x)))
  (* (+ (* y y) -1) (* x x))
  (log (* x (- (* y (* x y)) x)))
  (log (* x (- (* y (* x y)) x)))
  (exp (* x (- (* y (* x y)) x)))
  (pow (* (fma y (* y x) (- x)) x) 3)
  (* (cbrt (* x (- (* y (* x y)) x))) (cbrt (* x (- (* y (* x y)) x))))
  (cbrt (* x (- (* y (* x y)) x)))
  (pow (* (fma y (* y x) (- x)) x) 3)
  (sqrt (* x (- (* y (* x y)) x)))
  (sqrt (* x (- (* y (* x y)) x)))
  (* (sqrt x) (sqrt (- (* y (* x y)) x)))
  (* (sqrt x) (sqrt (- (* y (* x y)) x)))
  (* (+ (* y y) -1) (* x x))
  (* (- x x) x)
  (* (+ (* y y) -1) (* x x))
  (* (- x x) x)
  (* (+ (* y y) -1) (* x x))
  (* (- x x) x)
  (* (* x y) (* x y))
  (- (pow x 2))
  (* (* x y) (* x y))
  (- (pow x 2))
  (* (+ (* y y) -1) (* x x))
  (* (- x x) x)
  (* (+ (* y y) -1) (* x x))
  (* (- x x) x)
  (* (+ (* y y) -1) (* x x))
  (* (- x x) x)
  (* (* x y) (* x y))
  (- (pow x 2))
  (* (* x y) (* x y))
  (- (pow x 2))
  (* x (* (cbrt (- (* y (* x y)) x)) (cbrt (- (* y (* x y)) x))))
  (* x (sqrt (- (* y (* x y)) x)))
  x
  (* (cbrt x) (- (* y (* x y)) x))
  (* (sqrt x) (- (* y (* x y)) x))
  (* (+ (* y y) -1) (* x x))
  (* x (- (pow (* y (* x y)) 3) (pow x 3)))
  (- (* y (pow (* x y) 3)) (pow x 3))
  (expm1 (* y (* x y)))
  (log1p (* y (* x y)))
  (* y (* x y))
  (* y (* x y))
  (log (* y (* x y)))
  (log (* y (* x y)))
  (log (* y (* x y)))
  (exp (* y (* x y)))
  (pow (* y (* x y)) 3)
  (pow (* y (* x y)) 3)
  (* (cbrt (* y (* x y))) (cbrt (* y (* x y))))
  (cbrt (* y (* x y)))
  (pow (* y (* x y)) 3)
  (sqrt (* y (* x y)))
  (sqrt (* y (* x y)))
  (* x y)
  (* (cbrt y) (* x y))
  (* (sqrt y) (* x y))
  (* y (* x y))
  (fma x y (- x))
  (- x x)
  (fma x y (- x))
  (- x x)
  (fma x y (- x))
  (- x x)
  (expm1 (- (* x y) x))
  (log1p (- (* x y) x))
  (- x)
  (exp (- (* y x) x))
  (log (- (* x y) x))
  (exp (- (* y x) x))
  (* (cbrt (- (* x y) x)) (cbrt (- (* x y) x)))
  (cbrt (- (* x y) x))
  (pow (- (* x y) x) 3)
  (sqrt (- (* x y) x))
  (sqrt (- (* x y) x))
  (- (pow (* x y) 3) (pow x 3))
  (* x (+ (fma y (* x y) x) (* x y)))
  (- x)
  (* (+ (* y y) -1) (* x x))
  (fma x y x)
  (- x)
  (fma x y x)
  (fma x y x)
  (fma x y x)
  (- (pow x 2))
  (* (+ (* y y) -1) (* x x))
  (* (+ (* y y) -1) (* x x))
  (* y (* x y))
  (* y (* x y))
  (* y (* x y))
  (fma x y (- x))
  (fma x y (- x))
  (fma x y (- x))
2.429 * * * [progress]: adding candidates to table
2.621 * * [progress]: iteration 3 / 4
2.621 * * * [progress]: picking best candidate
2.623 * * * * [pick]: Picked  #<alt (λ (x y) (fma (sqrt (+ (* x y) x)) (sqrt (+ (* x y) x)) y))>
2.623 * * * [progress]: localizing error
2.630 * * * [progress]: generating rewritten candidates
2.630 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
2.631 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
2.635 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
2.639 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
2.643 * * * [progress]: generating series expansions
2.643 * * * * [progress]: [ 1 / 4 ] generating series at (2)
2.643 * [approximate]: Taking taylor expansion of (fma (sqrt (+ x (* x y))) (sqrt (+ x (* x y))) y) in (x y) around 0
2.643 * [taylor]: Taking taylor expansion of (fma (sqrt (+ x (* x y))) (sqrt (+ x (* x y))) y) in y
2.643 * [taylor]: Rewrote expression to (+ (* (sqrt (+ x (* x y))) (sqrt (+ x (* x y)))) y)
2.643 * [taylor]: Taking taylor expansion of (* (sqrt (+ x (* x y))) (sqrt (+ x (* x y)))) in y
2.643 * [taylor]: Taking taylor expansion of (sqrt (+ x (* x y))) in y
2.643 * [taylor]: Taking taylor expansion of (+ x (* x y)) in y
2.643 * [taylor]: Taking taylor expansion of x in y
2.643 * [taylor]: Taking taylor expansion of (* x y) in y
2.643 * [taylor]: Taking taylor expansion of x in y
2.643 * [taylor]: Taking taylor expansion of y in y
2.644 * [taylor]: Taking taylor expansion of (sqrt (+ x (* x y))) in y
2.644 * [taylor]: Taking taylor expansion of (+ x (* x y)) in y
2.644 * [taylor]: Taking taylor expansion of x in y
2.644 * [taylor]: Taking taylor expansion of (* x y) in y
2.644 * [taylor]: Taking taylor expansion of x in y
2.644 * [taylor]: Taking taylor expansion of y in y
2.644 * [taylor]: Taking taylor expansion of y in y
2.644 * [taylor]: Taking taylor expansion of (fma (sqrt (+ x (* x y))) (sqrt (+ x (* x y))) y) in x
2.644 * [taylor]: Rewrote expression to (+ (* (sqrt (+ x (* x y))) (sqrt (+ x (* x y)))) y)
2.645 * [taylor]: Taking taylor expansion of (* (sqrt (+ x (* x y))) (sqrt (+ x (* x y)))) in x
2.645 * [taylor]: Taking taylor expansion of (sqrt (+ x (* x y))) in x
2.645 * [taylor]: Taking taylor expansion of (+ x (* x y)) in x
2.645 * [taylor]: Taking taylor expansion of x in x
2.645 * [taylor]: Taking taylor expansion of (* x y) in x
2.645 * [taylor]: Taking taylor expansion of x in x
2.645 * [taylor]: Taking taylor expansion of y in x
2.646 * [taylor]: Taking taylor expansion of (sqrt (+ x (* x y))) in x
2.646 * [taylor]: Taking taylor expansion of (+ x (* x y)) in x
2.646 * [taylor]: Taking taylor expansion of x in x
2.646 * [taylor]: Taking taylor expansion of (* x y) in x
2.646 * [taylor]: Taking taylor expansion of x in x
2.646 * [taylor]: Taking taylor expansion of y in x
2.647 * [taylor]: Taking taylor expansion of y in x
2.647 * [taylor]: Taking taylor expansion of (fma (sqrt (+ x (* x y))) (sqrt (+ x (* x y))) y) in x
2.648 * [taylor]: Rewrote expression to (+ (* (sqrt (+ x (* x y))) (sqrt (+ x (* x y)))) y)
2.648 * [taylor]: Taking taylor expansion of (* (sqrt (+ x (* x y))) (sqrt (+ x (* x y)))) in x
2.648 * [taylor]: Taking taylor expansion of (sqrt (+ x (* x y))) in x
2.648 * [taylor]: Taking taylor expansion of (+ x (* x y)) in x
2.648 * [taylor]: Taking taylor expansion of x in x
2.648 * [taylor]: Taking taylor expansion of (* x y) in x
2.648 * [taylor]: Taking taylor expansion of x in x
2.648 * [taylor]: Taking taylor expansion of y in x
2.649 * [taylor]: Taking taylor expansion of (sqrt (+ x (* x y))) in x
2.649 * [taylor]: Taking taylor expansion of (+ x (* x y)) in x
2.649 * [taylor]: Taking taylor expansion of x in x
2.649 * [taylor]: Taking taylor expansion of (* x y) in x
2.649 * [taylor]: Taking taylor expansion of x in x
2.649 * [taylor]: Taking taylor expansion of y in x
2.650 * [taylor]: Taking taylor expansion of y in x
2.650 * [taylor]: Taking taylor expansion of y in y
2.651 * [taylor]: Taking taylor expansion of 0 in y
2.658 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (pow y 2)) (- (+ (* +nan.0 y) (- +nan.0))))) in y
2.658 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (pow y 2)) (- (+ (* +nan.0 y) (- +nan.0)))) in y
2.658 * [taylor]: Taking taylor expansion of (* +nan.0 (pow y 2)) in y
2.658 * [taylor]: Taking taylor expansion of +nan.0 in y
2.658 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.659 * [taylor]: Taking taylor expansion of y in y
2.659 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 y) (- +nan.0))) in y
2.659 * [taylor]: Taking taylor expansion of (+ (* +nan.0 y) (- +nan.0)) in y
2.659 * [taylor]: Taking taylor expansion of (* +nan.0 y) in y
2.659 * [taylor]: Taking taylor expansion of +nan.0 in y
2.659 * [taylor]: Taking taylor expansion of y in y
2.659 * [taylor]: Taking taylor expansion of (- +nan.0) in y
2.659 * [taylor]: Taking taylor expansion of +nan.0 in y
2.668 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (pow y 3)) (- (+ (* +nan.0 (pow y 2)) (- (+ (* +nan.0 y) (- +nan.0))))))) in y
2.668 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (pow y 3)) (- (+ (* +nan.0 (pow y 2)) (- (+ (* +nan.0 y) (- +nan.0)))))) in y
2.668 * [taylor]: Taking taylor expansion of (* +nan.0 (pow y 3)) in y
2.668 * [taylor]: Taking taylor expansion of +nan.0 in y
2.668 * [taylor]: Taking taylor expansion of (pow y 3) in y
2.668 * [taylor]: Taking taylor expansion of y in y
2.668 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (pow y 2)) (- (+ (* +nan.0 y) (- +nan.0))))) in y
2.668 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (pow y 2)) (- (+ (* +nan.0 y) (- +nan.0)))) in y
2.668 * [taylor]: Taking taylor expansion of (* +nan.0 (pow y 2)) in y
2.668 * [taylor]: Taking taylor expansion of +nan.0 in y
2.668 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.668 * [taylor]: Taking taylor expansion of y in y
2.668 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 y) (- +nan.0))) in y
2.668 * [taylor]: Taking taylor expansion of (+ (* +nan.0 y) (- +nan.0)) in y
2.668 * [taylor]: Taking taylor expansion of (* +nan.0 y) in y
2.668 * [taylor]: Taking taylor expansion of +nan.0 in y
2.668 * [taylor]: Taking taylor expansion of y in y
2.668 * [taylor]: Taking taylor expansion of (- +nan.0) in y
2.668 * [taylor]: Taking taylor expansion of +nan.0 in y
2.673 * [approximate]: Taking taylor expansion of (fma (sqrt (+ (/ 1 x) (/ 1 (* x y)))) (sqrt (+ (/ 1 x) (/ 1 (* x y)))) (/ 1 y)) in (x y) around 0
2.673 * [taylor]: Taking taylor expansion of (fma (sqrt (+ (/ 1 x) (/ 1 (* x y)))) (sqrt (+ (/ 1 x) (/ 1 (* x y)))) (/ 1 y)) in y
2.674 * [taylor]: Rewrote expression to (+ (* (sqrt (+ (/ 1 x) (/ 1 (* x y)))) (sqrt (+ (/ 1 x) (/ 1 (* x y))))) (/ 1 y))
2.674 * [taylor]: Taking taylor expansion of (* (sqrt (+ (/ 1 x) (/ 1 (* x y)))) (sqrt (+ (/ 1 x) (/ 1 (* x y))))) in y
2.674 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 x) (/ 1 (* x y)))) in y
2.674 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in y
2.674 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.674 * [taylor]: Taking taylor expansion of x in y
2.674 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
2.674 * [taylor]: Taking taylor expansion of (* x y) in y
2.674 * [taylor]: Taking taylor expansion of x in y
2.674 * [taylor]: Taking taylor expansion of y in y
2.675 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 x) (/ 1 (* x y)))) in y
2.675 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in y
2.675 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.675 * [taylor]: Taking taylor expansion of x in y
2.675 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
2.675 * [taylor]: Taking taylor expansion of (* x y) in y
2.675 * [taylor]: Taking taylor expansion of x in y
2.675 * [taylor]: Taking taylor expansion of y in y
2.676 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.676 * [taylor]: Taking taylor expansion of y in y
2.676 * [taylor]: Taking taylor expansion of (fma (sqrt (+ (/ 1 x) (/ 1 (* x y)))) (sqrt (+ (/ 1 x) (/ 1 (* x y)))) (/ 1 y)) in x
2.676 * [taylor]: Rewrote expression to (+ (* (sqrt (+ (/ 1 x) (/ 1 (* x y)))) (sqrt (+ (/ 1 x) (/ 1 (* x y))))) (/ 1 y))
2.676 * [taylor]: Taking taylor expansion of (* (sqrt (+ (/ 1 x) (/ 1 (* x y)))) (sqrt (+ (/ 1 x) (/ 1 (* x y))))) in x
2.676 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 x) (/ 1 (* x y)))) in x
2.676 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x
2.676 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.676 * [taylor]: Taking taylor expansion of x in x
2.676 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
2.677 * [taylor]: Taking taylor expansion of (* x y) in x
2.677 * [taylor]: Taking taylor expansion of x in x
2.677 * [taylor]: Taking taylor expansion of y in x
2.677 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 x) (/ 1 (* x y)))) in x
2.677 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x
2.678 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.678 * [taylor]: Taking taylor expansion of x in x
2.678 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
2.678 * [taylor]: Taking taylor expansion of (* x y) in x
2.678 * [taylor]: Taking taylor expansion of x in x
2.678 * [taylor]: Taking taylor expansion of y in x
2.679 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.679 * [taylor]: Taking taylor expansion of y in x
2.679 * [taylor]: Taking taylor expansion of (fma (sqrt (+ (/ 1 x) (/ 1 (* x y)))) (sqrt (+ (/ 1 x) (/ 1 (* x y)))) (/ 1 y)) in x
2.679 * [taylor]: Rewrote expression to (+ (* (sqrt (+ (/ 1 x) (/ 1 (* x y)))) (sqrt (+ (/ 1 x) (/ 1 (* x y))))) (/ 1 y))
2.679 * [taylor]: Taking taylor expansion of (* (sqrt (+ (/ 1 x) (/ 1 (* x y)))) (sqrt (+ (/ 1 x) (/ 1 (* x y))))) in x
2.679 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 x) (/ 1 (* x y)))) in x
2.679 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x
2.679 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.679 * [taylor]: Taking taylor expansion of x in x
2.679 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
2.679 * [taylor]: Taking taylor expansion of (* x y) in x
2.679 * [taylor]: Taking taylor expansion of x in x
2.679 * [taylor]: Taking taylor expansion of y in x
2.680 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 x) (/ 1 (* x y)))) in x
2.680 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x
2.680 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.680 * [taylor]: Taking taylor expansion of x in x
2.681 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
2.681 * [taylor]: Taking taylor expansion of (* x y) in x
2.681 * [taylor]: Taking taylor expansion of x in x
2.681 * [taylor]: Taking taylor expansion of y in x
2.682 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.682 * [taylor]: Taking taylor expansion of y in x
2.682 * [taylor]: Taking taylor expansion of 0 in y
2.683 * [taylor]: Taking taylor expansion of 0 in y
2.688 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))) in y
2.688 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0)))) in y
2.688 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y
2.688 * [taylor]: Taking taylor expansion of +nan.0 in y
2.688 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.688 * [taylor]: Taking taylor expansion of y in y
2.688 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))) in y
2.688 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0)) in y
2.688 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 2))) in y
2.688 * [taylor]: Taking taylor expansion of +nan.0 in y
2.688 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.688 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.688 * [taylor]: Taking taylor expansion of y in y
2.689 * [taylor]: Taking taylor expansion of (- +nan.0) in y
2.689 * [taylor]: Taking taylor expansion of +nan.0 in y
2.701 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 3))) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))))) in y
2.701 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 3))) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0)))))) in y
2.701 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y
2.701 * [taylor]: Taking taylor expansion of +nan.0 in y
2.701 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.701 * [taylor]: Taking taylor expansion of y in y
2.701 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow y 3))) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))) in y
2.701 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow y 3))) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0)))) in y
2.701 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 3))) in y
2.701 * [taylor]: Taking taylor expansion of +nan.0 in y
2.701 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
2.701 * [taylor]: Taking taylor expansion of (pow y 3) in y
2.701 * [taylor]: Taking taylor expansion of y in y
2.702 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))) in y
2.702 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0)) in y
2.702 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 2))) in y
2.702 * [taylor]: Taking taylor expansion of +nan.0 in y
2.702 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.702 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.702 * [taylor]: Taking taylor expansion of y in y
2.703 * [taylor]: Taking taylor expansion of (- +nan.0) in y
2.703 * [taylor]: Taking taylor expansion of +nan.0 in y
2.712 * [approximate]: Taking taylor expansion of (fma (sqrt (- (/ 1 (* x y)) (/ 1 x))) (sqrt (- (/ 1 (* x y)) (/ 1 x))) (/ -1 y)) in (x y) around 0
2.712 * [taylor]: Taking taylor expansion of (fma (sqrt (- (/ 1 (* x y)) (/ 1 x))) (sqrt (- (/ 1 (* x y)) (/ 1 x))) (/ -1 y)) in y
2.712 * [taylor]: Rewrote expression to (+ (* (sqrt (- (/ 1 (* x y)) (/ 1 x))) (sqrt (- (/ 1 (* x y)) (/ 1 x)))) (/ -1 y))
2.712 * [taylor]: Taking taylor expansion of (* (sqrt (- (/ 1 (* x y)) (/ 1 x))) (sqrt (- (/ 1 (* x y)) (/ 1 x)))) in y
2.712 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (* x y)) (/ 1 x))) in y
2.712 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in y
2.712 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
2.712 * [taylor]: Taking taylor expansion of (* x y) in y
2.712 * [taylor]: Taking taylor expansion of x in y
2.712 * [taylor]: Taking taylor expansion of y in y
2.712 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.712 * [taylor]: Taking taylor expansion of x in y
2.713 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (* x y)) (/ 1 x))) in y
2.713 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in y
2.713 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
2.713 * [taylor]: Taking taylor expansion of (* x y) in y
2.713 * [taylor]: Taking taylor expansion of x in y
2.713 * [taylor]: Taking taylor expansion of y in y
2.713 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.713 * [taylor]: Taking taylor expansion of x in y
2.714 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.714 * [taylor]: Taking taylor expansion of -1 in y
2.714 * [taylor]: Taking taylor expansion of y in y
2.714 * [taylor]: Taking taylor expansion of (fma (sqrt (- (/ 1 (* x y)) (/ 1 x))) (sqrt (- (/ 1 (* x y)) (/ 1 x))) (/ -1 y)) in x
2.714 * [taylor]: Rewrote expression to (+ (* (sqrt (- (/ 1 (* x y)) (/ 1 x))) (sqrt (- (/ 1 (* x y)) (/ 1 x)))) (/ -1 y))
2.714 * [taylor]: Taking taylor expansion of (* (sqrt (- (/ 1 (* x y)) (/ 1 x))) (sqrt (- (/ 1 (* x y)) (/ 1 x)))) in x
2.714 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (* x y)) (/ 1 x))) in x
2.715 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in x
2.715 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
2.715 * [taylor]: Taking taylor expansion of (* x y) in x
2.715 * [taylor]: Taking taylor expansion of x in x
2.715 * [taylor]: Taking taylor expansion of y in x
2.715 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.715 * [taylor]: Taking taylor expansion of x in x
2.716 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (* x y)) (/ 1 x))) in x
2.716 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in x
2.716 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
2.716 * [taylor]: Taking taylor expansion of (* x y) in x
2.716 * [taylor]: Taking taylor expansion of x in x
2.716 * [taylor]: Taking taylor expansion of y in x
2.717 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.717 * [taylor]: Taking taylor expansion of x in x
2.718 * [taylor]: Taking taylor expansion of (/ -1 y) in x
2.718 * [taylor]: Taking taylor expansion of -1 in x
2.718 * [taylor]: Taking taylor expansion of y in x
2.718 * [taylor]: Taking taylor expansion of (fma (sqrt (- (/ 1 (* x y)) (/ 1 x))) (sqrt (- (/ 1 (* x y)) (/ 1 x))) (/ -1 y)) in x
2.718 * [taylor]: Rewrote expression to (+ (* (sqrt (- (/ 1 (* x y)) (/ 1 x))) (sqrt (- (/ 1 (* x y)) (/ 1 x)))) (/ -1 y))
2.718 * [taylor]: Taking taylor expansion of (* (sqrt (- (/ 1 (* x y)) (/ 1 x))) (sqrt (- (/ 1 (* x y)) (/ 1 x)))) in x
2.718 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (* x y)) (/ 1 x))) in x
2.718 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in x
2.718 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
2.718 * [taylor]: Taking taylor expansion of (* x y) in x
2.718 * [taylor]: Taking taylor expansion of x in x
2.718 * [taylor]: Taking taylor expansion of y in x
2.718 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.718 * [taylor]: Taking taylor expansion of x in x
2.719 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (* x y)) (/ 1 x))) in x
2.720 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in x
2.720 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
2.720 * [taylor]: Taking taylor expansion of (* x y) in x
2.720 * [taylor]: Taking taylor expansion of x in x
2.720 * [taylor]: Taking taylor expansion of y in x
2.720 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.720 * [taylor]: Taking taylor expansion of x in x
2.721 * [taylor]: Taking taylor expansion of (/ -1 y) in x
2.721 * [taylor]: Taking taylor expansion of -1 in x
2.721 * [taylor]: Taking taylor expansion of y in x
2.722 * [taylor]: Taking taylor expansion of 0 in y
2.722 * [taylor]: Taking taylor expansion of 0 in y
2.728 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))) in y
2.728 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0)))) in y
2.728 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y
2.728 * [taylor]: Taking taylor expansion of +nan.0 in y
2.728 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.728 * [taylor]: Taking taylor expansion of y in y
2.728 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))) in y
2.728 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0)) in y
2.728 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 2))) in y
2.728 * [taylor]: Taking taylor expansion of +nan.0 in y
2.728 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.728 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.728 * [taylor]: Taking taylor expansion of y in y
2.729 * [taylor]: Taking taylor expansion of (- +nan.0) in y
2.729 * [taylor]: Taking taylor expansion of +nan.0 in y
2.745 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 3))) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))))) in y
2.745 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 3))) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0)))))) in y
2.745 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y
2.745 * [taylor]: Taking taylor expansion of +nan.0 in y
2.745 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.745 * [taylor]: Taking taylor expansion of y in y
2.745 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow y 3))) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))) in y
2.745 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow y 3))) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0)))) in y
2.745 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 3))) in y
2.745 * [taylor]: Taking taylor expansion of +nan.0 in y
2.745 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
2.745 * [taylor]: Taking taylor expansion of (pow y 3) in y
2.745 * [taylor]: Taking taylor expansion of y in y
2.746 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))) in y
2.746 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0)) in y
2.746 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 2))) in y
2.746 * [taylor]: Taking taylor expansion of +nan.0 in y
2.746 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.746 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.746 * [taylor]: Taking taylor expansion of y in y
2.746 * [taylor]: Taking taylor expansion of (- +nan.0) in y
2.746 * [taylor]: Taking taylor expansion of +nan.0 in y
2.755 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
2.755 * [approximate]: Taking taylor expansion of (sqrt (+ x (* x y))) in (x y) around 0
2.755 * [taylor]: Taking taylor expansion of (sqrt (+ x (* x y))) in y
2.755 * [taylor]: Taking taylor expansion of (+ x (* x y)) in y
2.755 * [taylor]: Taking taylor expansion of x in y
2.755 * [taylor]: Taking taylor expansion of (* x y) in y
2.755 * [taylor]: Taking taylor expansion of x in y
2.755 * [taylor]: Taking taylor expansion of y in y
2.756 * [taylor]: Taking taylor expansion of (sqrt (+ x (* x y))) in x
2.756 * [taylor]: Taking taylor expansion of (+ x (* x y)) in x
2.756 * [taylor]: Taking taylor expansion of x in x
2.756 * [taylor]: Taking taylor expansion of (* x y) in x
2.756 * [taylor]: Taking taylor expansion of x in x
2.756 * [taylor]: Taking taylor expansion of y in x
2.757 * [taylor]: Taking taylor expansion of (sqrt (+ x (* x y))) in x
2.757 * [taylor]: Taking taylor expansion of (+ x (* x y)) in x
2.757 * [taylor]: Taking taylor expansion of x in x
2.757 * [taylor]: Taking taylor expansion of (* x y) in x
2.757 * [taylor]: Taking taylor expansion of x in x
2.757 * [taylor]: Taking taylor expansion of y in x
2.758 * [taylor]: Taking taylor expansion of 0 in y
2.758 * [taylor]: Taking taylor expansion of (* +nan.0 (+ y 1)) in y
2.758 * [taylor]: Taking taylor expansion of +nan.0 in y
2.758 * [taylor]: Taking taylor expansion of (+ y 1) in y
2.758 * [taylor]: Taking taylor expansion of y in y
2.758 * [taylor]: Taking taylor expansion of 1 in y
2.760 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (pow y 2)) (- (+ (* +nan.0 y) (- +nan.0))))) in y
2.760 * [taylor]: Taking taylor expansion of +nan.0 in y
2.760 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (pow y 2)) (- (+ (* +nan.0 y) (- +nan.0)))) in y
2.760 * [taylor]: Taking taylor expansion of (* +nan.0 (pow y 2)) in y
2.760 * [taylor]: Taking taylor expansion of +nan.0 in y
2.761 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.761 * [taylor]: Taking taylor expansion of y in y
2.761 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 y) (- +nan.0))) in y
2.761 * [taylor]: Taking taylor expansion of (+ (* +nan.0 y) (- +nan.0)) in y
2.761 * [taylor]: Taking taylor expansion of (* +nan.0 y) in y
2.761 * [taylor]: Taking taylor expansion of +nan.0 in y
2.761 * [taylor]: Taking taylor expansion of y in y
2.761 * [taylor]: Taking taylor expansion of (- +nan.0) in y
2.761 * [taylor]: Taking taylor expansion of +nan.0 in y
2.766 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 x) (/ 1 (* x y)))) in (x y) around 0
2.766 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 x) (/ 1 (* x y)))) in y
2.766 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in y
2.766 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.766 * [taylor]: Taking taylor expansion of x in y
2.766 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
2.766 * [taylor]: Taking taylor expansion of (* x y) in y
2.766 * [taylor]: Taking taylor expansion of x in y
2.766 * [taylor]: Taking taylor expansion of y in y
2.767 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 x) (/ 1 (* x y)))) in x
2.767 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x
2.767 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.767 * [taylor]: Taking taylor expansion of x in x
2.767 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
2.767 * [taylor]: Taking taylor expansion of (* x y) in x
2.767 * [taylor]: Taking taylor expansion of x in x
2.767 * [taylor]: Taking taylor expansion of y in x
2.768 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 x) (/ 1 (* x y)))) in x
2.768 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x
2.768 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.768 * [taylor]: Taking taylor expansion of x in x
2.768 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
2.768 * [taylor]: Taking taylor expansion of (* x y) in x
2.768 * [taylor]: Taking taylor expansion of x in x
2.768 * [taylor]: Taking taylor expansion of y in x
2.769 * [taylor]: Taking taylor expansion of 0 in y
2.770 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (/ 1 y) 1)) in y
2.770 * [taylor]: Taking taylor expansion of +nan.0 in y
2.770 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y
2.770 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.770 * [taylor]: Taking taylor expansion of y in y
2.770 * [taylor]: Taking taylor expansion of 1 in y
2.772 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))) in y
2.773 * [taylor]: Taking taylor expansion of +nan.0 in y
2.773 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0)))) in y
2.773 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y
2.773 * [taylor]: Taking taylor expansion of +nan.0 in y
2.773 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.773 * [taylor]: Taking taylor expansion of y in y
2.773 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))) in y
2.773 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0)) in y
2.773 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 2))) in y
2.773 * [taylor]: Taking taylor expansion of +nan.0 in y
2.773 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.773 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.773 * [taylor]: Taking taylor expansion of y in y
2.773 * [taylor]: Taking taylor expansion of (- +nan.0) in y
2.773 * [taylor]: Taking taylor expansion of +nan.0 in y
2.781 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 (* x y)) (/ 1 x))) in (x y) around 0
2.781 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (* x y)) (/ 1 x))) in y
2.781 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in y
2.781 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
2.781 * [taylor]: Taking taylor expansion of (* x y) in y
2.781 * [taylor]: Taking taylor expansion of x in y
2.781 * [taylor]: Taking taylor expansion of y in y
2.781 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.782 * [taylor]: Taking taylor expansion of x in y
2.782 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (* x y)) (/ 1 x))) in x
2.782 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in x
2.782 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
2.782 * [taylor]: Taking taylor expansion of (* x y) in x
2.782 * [taylor]: Taking taylor expansion of x in x
2.782 * [taylor]: Taking taylor expansion of y in x
2.783 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.783 * [taylor]: Taking taylor expansion of x in x
2.784 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (* x y)) (/ 1 x))) in x
2.784 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in x
2.784 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
2.784 * [taylor]: Taking taylor expansion of (* x y) in x
2.784 * [taylor]: Taking taylor expansion of x in x
2.784 * [taylor]: Taking taylor expansion of y in x
2.784 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.784 * [taylor]: Taking taylor expansion of x in x
2.785 * [taylor]: Taking taylor expansion of 0 in y
2.785 * [taylor]: Taking taylor expansion of (* +nan.0 (- (/ 1 y) 1)) in y
2.785 * [taylor]: Taking taylor expansion of +nan.0 in y
2.785 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1) in y
2.785 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.785 * [taylor]: Taking taylor expansion of y in y
2.786 * [taylor]: Taking taylor expansion of 1 in y
2.788 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))) in y
2.788 * [taylor]: Taking taylor expansion of +nan.0 in y
2.788 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0)))) in y
2.788 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y
2.788 * [taylor]: Taking taylor expansion of +nan.0 in y
2.788 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.788 * [taylor]: Taking taylor expansion of y in y
2.789 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))) in y
2.789 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0)) in y
2.789 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 2))) in y
2.789 * [taylor]: Taking taylor expansion of +nan.0 in y
2.789 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.789 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.789 * [taylor]: Taking taylor expansion of y in y
2.789 * [taylor]: Taking taylor expansion of (- +nan.0) in y
2.789 * [taylor]: Taking taylor expansion of +nan.0 in y
2.797 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
2.797 * [approximate]: Taking taylor expansion of (sqrt (+ x (* x y))) in (x y) around 0
2.797 * [taylor]: Taking taylor expansion of (sqrt (+ x (* x y))) in y
2.797 * [taylor]: Taking taylor expansion of (+ x (* x y)) in y
2.797 * [taylor]: Taking taylor expansion of x in y
2.797 * [taylor]: Taking taylor expansion of (* x y) in y
2.797 * [taylor]: Taking taylor expansion of x in y
2.797 * [taylor]: Taking taylor expansion of y in y
2.798 * [taylor]: Taking taylor expansion of (sqrt (+ x (* x y))) in x
2.798 * [taylor]: Taking taylor expansion of (+ x (* x y)) in x
2.798 * [taylor]: Taking taylor expansion of x in x
2.798 * [taylor]: Taking taylor expansion of (* x y) in x
2.798 * [taylor]: Taking taylor expansion of x in x
2.798 * [taylor]: Taking taylor expansion of y in x
2.799 * [taylor]: Taking taylor expansion of (sqrt (+ x (* x y))) in x
2.799 * [taylor]: Taking taylor expansion of (+ x (* x y)) in x
2.799 * [taylor]: Taking taylor expansion of x in x
2.799 * [taylor]: Taking taylor expansion of (* x y) in x
2.799 * [taylor]: Taking taylor expansion of x in x
2.799 * [taylor]: Taking taylor expansion of y in x
2.800 * [taylor]: Taking taylor expansion of 0 in y
2.800 * [taylor]: Taking taylor expansion of (* +nan.0 (+ y 1)) in y
2.800 * [taylor]: Taking taylor expansion of +nan.0 in y
2.800 * [taylor]: Taking taylor expansion of (+ y 1) in y
2.800 * [taylor]: Taking taylor expansion of y in y
2.800 * [taylor]: Taking taylor expansion of 1 in y
2.802 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (pow y 2)) (- (+ (* +nan.0 y) (- +nan.0))))) in y
2.802 * [taylor]: Taking taylor expansion of +nan.0 in y
2.802 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (pow y 2)) (- (+ (* +nan.0 y) (- +nan.0)))) in y
2.802 * [taylor]: Taking taylor expansion of (* +nan.0 (pow y 2)) in y
2.802 * [taylor]: Taking taylor expansion of +nan.0 in y
2.802 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.802 * [taylor]: Taking taylor expansion of y in y
2.802 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 y) (- +nan.0))) in y
2.802 * [taylor]: Taking taylor expansion of (+ (* +nan.0 y) (- +nan.0)) in y
2.802 * [taylor]: Taking taylor expansion of (* +nan.0 y) in y
2.802 * [taylor]: Taking taylor expansion of +nan.0 in y
2.802 * [taylor]: Taking taylor expansion of y in y
2.802 * [taylor]: Taking taylor expansion of (- +nan.0) in y
2.802 * [taylor]: Taking taylor expansion of +nan.0 in y
2.807 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 x) (/ 1 (* x y)))) in (x y) around 0
2.807 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 x) (/ 1 (* x y)))) in y
2.807 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in y
2.807 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.807 * [taylor]: Taking taylor expansion of x in y
2.807 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
2.807 * [taylor]: Taking taylor expansion of (* x y) in y
2.807 * [taylor]: Taking taylor expansion of x in y
2.807 * [taylor]: Taking taylor expansion of y in y
2.808 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 x) (/ 1 (* x y)))) in x
2.808 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x
2.808 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.808 * [taylor]: Taking taylor expansion of x in x
2.809 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
2.809 * [taylor]: Taking taylor expansion of (* x y) in x
2.809 * [taylor]: Taking taylor expansion of x in x
2.809 * [taylor]: Taking taylor expansion of y in x
2.810 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 x) (/ 1 (* x y)))) in x
2.810 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x
2.810 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.810 * [taylor]: Taking taylor expansion of x in x
2.810 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
2.810 * [taylor]: Taking taylor expansion of (* x y) in x
2.810 * [taylor]: Taking taylor expansion of x in x
2.810 * [taylor]: Taking taylor expansion of y in x
2.811 * [taylor]: Taking taylor expansion of 0 in y
2.811 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (/ 1 y) 1)) in y
2.811 * [taylor]: Taking taylor expansion of +nan.0 in y
2.811 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y
2.811 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.811 * [taylor]: Taking taylor expansion of y in y
2.811 * [taylor]: Taking taylor expansion of 1 in y
2.814 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))) in y
2.814 * [taylor]: Taking taylor expansion of +nan.0 in y
2.814 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0)))) in y
2.814 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y
2.814 * [taylor]: Taking taylor expansion of +nan.0 in y
2.814 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.814 * [taylor]: Taking taylor expansion of y in y
2.814 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))) in y
2.814 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0)) in y
2.814 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 2))) in y
2.814 * [taylor]: Taking taylor expansion of +nan.0 in y
2.814 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.814 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.814 * [taylor]: Taking taylor expansion of y in y
2.815 * [taylor]: Taking taylor expansion of (- +nan.0) in y
2.815 * [taylor]: Taking taylor expansion of +nan.0 in y
2.823 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 (* x y)) (/ 1 x))) in (x y) around 0
2.823 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (* x y)) (/ 1 x))) in y
2.823 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in y
2.823 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
2.823 * [taylor]: Taking taylor expansion of (* x y) in y
2.823 * [taylor]: Taking taylor expansion of x in y
2.823 * [taylor]: Taking taylor expansion of y in y
2.823 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.823 * [taylor]: Taking taylor expansion of x in y
2.824 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (* x y)) (/ 1 x))) in x
2.824 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in x
2.824 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
2.824 * [taylor]: Taking taylor expansion of (* x y) in x
2.824 * [taylor]: Taking taylor expansion of x in x
2.824 * [taylor]: Taking taylor expansion of y in x
2.824 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.824 * [taylor]: Taking taylor expansion of x in x
2.826 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 (* x y)) (/ 1 x))) in x
2.826 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in x
2.826 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
2.826 * [taylor]: Taking taylor expansion of (* x y) in x
2.826 * [taylor]: Taking taylor expansion of x in x
2.826 * [taylor]: Taking taylor expansion of y in x
2.826 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.826 * [taylor]: Taking taylor expansion of x in x
2.827 * [taylor]: Taking taylor expansion of 0 in y
2.827 * [taylor]: Taking taylor expansion of (* +nan.0 (- (/ 1 y) 1)) in y
2.827 * [taylor]: Taking taylor expansion of +nan.0 in y
2.827 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1) in y
2.827 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.827 * [taylor]: Taking taylor expansion of y in y
2.828 * [taylor]: Taking taylor expansion of 1 in y
2.835 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))))) in y
2.835 * [taylor]: Taking taylor expansion of +nan.0 in y
2.835 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 y)) (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0)))) in y
2.835 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y
2.835 * [taylor]: Taking taylor expansion of +nan.0 in y
2.835 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.835 * [taylor]: Taking taylor expansion of y in y
2.836 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0))) in y
2.836 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow y 2))) (- +nan.0)) in y
2.836 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow y 2))) in y
2.836 * [taylor]: Taking taylor expansion of +nan.0 in y
2.836 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.836 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.836 * [taylor]: Taking taylor expansion of y in y
2.836 * [taylor]: Taking taylor expansion of (- +nan.0) in y
2.836 * [taylor]: Taking taylor expansion of +nan.0 in y
2.844 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
2.844 * [approximate]: Taking taylor expansion of (+ x (* x y)) in (x y) around 0
2.844 * [taylor]: Taking taylor expansion of (+ x (* x y)) in y
2.844 * [taylor]: Taking taylor expansion of x in y
2.844 * [taylor]: Taking taylor expansion of (* x y) in y
2.844 * [taylor]: Taking taylor expansion of x in y
2.844 * [taylor]: Taking taylor expansion of y in y
2.844 * [taylor]: Taking taylor expansion of (+ x (* x y)) in x
2.844 * [taylor]: Taking taylor expansion of x in x
2.844 * [taylor]: Taking taylor expansion of (* x y) in x
2.844 * [taylor]: Taking taylor expansion of x in x
2.844 * [taylor]: Taking taylor expansion of y in x
2.844 * [taylor]: Taking taylor expansion of (+ x (* x y)) in x
2.844 * [taylor]: Taking taylor expansion of x in x
2.844 * [taylor]: Taking taylor expansion of (* x y) in x
2.844 * [taylor]: Taking taylor expansion of x in x
2.844 * [taylor]: Taking taylor expansion of y in x
2.845 * [taylor]: Taking taylor expansion of 0 in y
2.845 * [taylor]: Taking taylor expansion of (+ y 1) in y
2.845 * [taylor]: Taking taylor expansion of y in y
2.845 * [taylor]: Taking taylor expansion of 1 in y
2.846 * [taylor]: Taking taylor expansion of 0 in y
2.847 * [taylor]: Taking taylor expansion of 0 in y
2.849 * [taylor]: Taking taylor expansion of 0 in y
2.849 * [approximate]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in (x y) around 0
2.849 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in y
2.849 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.849 * [taylor]: Taking taylor expansion of x in y
2.849 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
2.849 * [taylor]: Taking taylor expansion of (* x y) in y
2.849 * [taylor]: Taking taylor expansion of x in y
2.849 * [taylor]: Taking taylor expansion of y in y
2.850 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x
2.850 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.850 * [taylor]: Taking taylor expansion of x in x
2.850 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
2.850 * [taylor]: Taking taylor expansion of (* x y) in x
2.850 * [taylor]: Taking taylor expansion of x in x
2.850 * [taylor]: Taking taylor expansion of y in x
2.850 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x
2.850 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.850 * [taylor]: Taking taylor expansion of x in x
2.851 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
2.851 * [taylor]: Taking taylor expansion of (* x y) in x
2.851 * [taylor]: Taking taylor expansion of x in x
2.851 * [taylor]: Taking taylor expansion of y in x
2.851 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y
2.851 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.851 * [taylor]: Taking taylor expansion of y in y
2.851 * [taylor]: Taking taylor expansion of 1 in y
2.853 * [taylor]: Taking taylor expansion of 0 in y
2.855 * [taylor]: Taking taylor expansion of 0 in y
2.858 * [taylor]: Taking taylor expansion of 0 in y
2.861 * [taylor]: Taking taylor expansion of 0 in y
2.861 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in (x y) around 0
2.861 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in y
2.861 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
2.861 * [taylor]: Taking taylor expansion of (* x y) in y
2.861 * [taylor]: Taking taylor expansion of x in y
2.861 * [taylor]: Taking taylor expansion of y in y
2.862 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.862 * [taylor]: Taking taylor expansion of x in y
2.862 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in x
2.862 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
2.862 * [taylor]: Taking taylor expansion of (* x y) in x
2.862 * [taylor]: Taking taylor expansion of x in x
2.862 * [taylor]: Taking taylor expansion of y in x
2.862 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.862 * [taylor]: Taking taylor expansion of x in x
2.862 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in x
2.862 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
2.862 * [taylor]: Taking taylor expansion of (* x y) in x
2.862 * [taylor]: Taking taylor expansion of x in x
2.862 * [taylor]: Taking taylor expansion of y in x
2.863 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.863 * [taylor]: Taking taylor expansion of x in x
2.863 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1) in y
2.863 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.863 * [taylor]: Taking taylor expansion of y in y
2.864 * [taylor]: Taking taylor expansion of 1 in y
2.865 * [taylor]: Taking taylor expansion of 0 in y
2.868 * [taylor]: Taking taylor expansion of 0 in y
2.871 * [taylor]: Taking taylor expansion of 0 in y
2.874 * [taylor]: Taking taylor expansion of 0 in y
2.875 * * * [progress]: simplifying candidates
2.876 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (fma (sqrt (+ (* x y) x)) (sqrt (+ (* x y) x)) y))
  (log1p (fma (sqrt (+ (* x y) x)) (sqrt (+ (* x y) x)) y))
  (* (sqrt (+ (* x y) x)) (sqrt (+ (* x y) x)))
  (log (fma (sqrt (+ (* x y) x)) (sqrt (+ (* x y) x)) y))
  (exp (fma (sqrt (+ (* x y) x)) (sqrt (+ (* x y) x)) y))
  (* (cbrt (fma (sqrt (+ (* x y) x)) (sqrt (+ (* x y) x)) y)) (cbrt (fma (sqrt (+ (* x y) x)) (sqrt (+ (* x y) x)) y)))
  (cbrt (fma (sqrt (+ (* x y) x)) (sqrt (+ (* x y) x)) y))
  (* (* (fma (sqrt (+ (* x y) x)) (sqrt (+ (* x y) x)) y) (fma (sqrt (+ (* x y) x)) (sqrt (+ (* x y) x)) y)) (fma (sqrt (+ (* x y) x)) (sqrt (+ (* x y) x)) y))
  (sqrt (fma (sqrt (+ (* x y) x)) (sqrt (+ (* x y) x)) y))
  (sqrt (fma (sqrt (+ (* x y) x)) (sqrt (+ (* x y) x)) y))
  (expm1 (sqrt (+ (* x y) x)))
  (log1p (sqrt (+ (* x y) x)))
  (log (sqrt (+ (* x y) x)))
  (exp (sqrt (+ (* x y) x)))
  (* (cbrt (sqrt (+ (* x y) x))) (cbrt (sqrt (+ (* x y) x))))
  (cbrt (sqrt (+ (* x y) x)))
  (* (* (sqrt (+ (* x y) x)) (sqrt (+ (* x y) x))) (sqrt (+ (* x y) x)))
  (sqrt (* (cbrt (+ (* x y) x)) (cbrt (+ (* x y) x))))
  (sqrt (cbrt (+ (* x y) x)))
  (sqrt (sqrt (+ (* x y) x)))
  (sqrt (sqrt (+ (* x y) x)))
  (sqrt 1)
  (sqrt (+ (* x y) x))
  (sqrt (+ (pow (* x y) 3) (pow x 3)))
  (sqrt (+ (* (* x y) (* x y)) (- (* x x) (* (* x y) x))))
  (sqrt (- (* (* x y) (* x y)) (* x x)))
  (sqrt (- (* x y) x))
  (/ 1 2)
  (sqrt (sqrt (+ (* x y) x)))
  (sqrt (sqrt (+ (* x y) x)))
  (expm1 (sqrt (+ (* x y) x)))
  (log1p (sqrt (+ (* x y) x)))
  (log (sqrt (+ (* x y) x)))
  (exp (sqrt (+ (* x y) x)))
  (* (cbrt (sqrt (+ (* x y) x))) (cbrt (sqrt (+ (* x y) x))))
  (cbrt (sqrt (+ (* x y) x)))
  (* (* (sqrt (+ (* x y) x)) (sqrt (+ (* x y) x))) (sqrt (+ (* x y) x)))
  (sqrt (* (cbrt (+ (* x y) x)) (cbrt (+ (* x y) x))))
  (sqrt (cbrt (+ (* x y) x)))
  (sqrt (sqrt (+ (* x y) x)))
  (sqrt (sqrt (+ (* x y) x)))
  (sqrt 1)
  (sqrt (+ (* x y) x))
  (sqrt (+ (pow (* x y) 3) (pow x 3)))
  (sqrt (+ (* (* x y) (* x y)) (- (* x x) (* (* x y) x))))
  (sqrt (- (* (* x y) (* x y)) (* x x)))
  (sqrt (- (* x y) x))
  (/ 1 2)
  (sqrt (sqrt (+ (* x y) x)))
  (sqrt (sqrt (+ (* x y) x)))
  (expm1 (+ (* x y) x))
  (log1p (+ (* x y) x))
  (* (exp (* x y)) (exp x))
  (log (+ (* x y) x))
  (exp (+ (* x y) x))
  (* (cbrt (+ (* x y) x)) (cbrt (+ (* x y) x)))
  (cbrt (+ (* x y) x))
  (* (* (+ (* x y) x) (+ (* x y) x)) (+ (* x y) x))
  (sqrt (+ (* x y) x))
  (sqrt (+ (* x y) x))
  (+ (pow (* x y) 3) (pow x 3))
  (+ (* (* x y) (* x y)) (- (* x x) (* (* x y) x)))
  (- (* (* x y) (* x y)) (* x x))
  (- (* x y) x)
  (- y (+ (* +nan.0 (pow x 2)) (- (* +nan.0 (pow x 3)))))
  (- (+ (* +nan.0 (/ (pow y 2) x)) (- (+ (* +nan.0 (pow y 2)) (- (* +nan.0 y))))))
  (- (+ (* +nan.0 (/ (pow y 2) x)) (- (+ (* +nan.0 (pow y 2)) (- (* +nan.0 y))))))
  (- (+ (* +nan.0 (pow x 2)) (- (+ (* +nan.0 x) (- (* +nan.0 (* x y)))))))
  (- (+ (* +nan.0 (/ y x)) (- (+ (* +nan.0 y) (- +nan.0)))))
  (- (+ (* +nan.0 (/ y x)) (- (+ (* +nan.0 y) (- +nan.0)))))
  (- (+ (* +nan.0 (pow x 2)) (- (+ (* +nan.0 x) (- (* +nan.0 (* x y)))))))
  (- (+ (* +nan.0 (/ y x)) (- (+ (* +nan.0 y) (- +nan.0)))))
  (- (+ (* +nan.0 (/ y x)) (- (+ (* +nan.0 y) (- +nan.0)))))
  (+ x (* x y))
  (+ x (* x y))
  (+ x (* x y))
2.878 * * [simplify]: iteration  0 :  88  enodes  (cost  827 )
2.893 * * [simplify]: iteration  1 :  214  enodes  (cost  608 )
2.953 * * [simplify]: iteration  2 :  610  enodes  (cost  560 )
3.287 * * [simplify]: iteration  3 :  1993  enodes  (cost  547 )
4.287 * * [simplify]: iteration  done :  5000  enodes  (cost  545 )
4.287 * [simplify]: Simplified to:
   (expm1 (+ (fma x y x) y))
  (log1p (+ (fma x y x) y))
  (fma x y x)
  (log (+ (fma x y x) y))
  (exp (+ (fma x y x) y))
  (* (cbrt (+ (fma x y x) y)) (cbrt (+ (fma x y x) y)))
  (cbrt (+ (fma x y x) y))
  (pow (+ (fma x y x) y) 3)
  (sqrt (+ (fma x y x) y))
  (sqrt (+ (fma x y x) y))
  (expm1 (sqrt (fma x y x)))
  (log1p (sqrt (fma x y x)))
  (log (sqrt (fma x y x)))
  (exp (sqrt (fma x y x)))
  (* (cbrt (sqrt (fma x y x))) (cbrt (sqrt (fma x y x))))
  (cbrt (sqrt (fma x y x)))
  (pow (sqrt (fma x y x)) 3)
  (fabs (cbrt (fma x y x)))
  (sqrt (cbrt (fma x y x)))
  (sqrt (sqrt (fma x y x)))
  (sqrt (sqrt (fma x y x)))
  1
  (sqrt (fma x y x))
  (hypot (pow x 3/2) (pow (* x y) 3/2))
  (sqrt (* (fma (pow y 2) x (- x (* x y))) x))
  (sqrt (* x (- (* y (* x y)) x)))
  (sqrt (- (* x y) x))
  1/2
  (sqrt (sqrt (fma x y x)))
  (sqrt (sqrt (fma x y x)))
  (expm1 (sqrt (fma x y x)))
  (log1p (sqrt (fma x y x)))
  (log (sqrt (fma x y x)))
  (exp (sqrt (fma x y x)))
  (* (cbrt (sqrt (fma x y x))) (cbrt (sqrt (fma x y x))))
  (cbrt (sqrt (fma x y x)))
  (pow (sqrt (fma x y x)) 3)
  (fabs (cbrt (fma x y x)))
  (sqrt (cbrt (fma x y x)))
  (sqrt (sqrt (fma x y x)))
  (sqrt (sqrt (fma x y x)))
  1
  (sqrt (fma x y x))
  (hypot (pow x 3/2) (pow (* x y) 3/2))
  (sqrt (* (fma (pow y 2) x (- x (* x y))) x))
  (sqrt (* x (- (* y (* x y)) x)))
  (sqrt (- (* x y) x))
  1/2
  (sqrt (sqrt (fma x y x)))
  (sqrt (sqrt (fma x y x)))
  (expm1 (fma x y x))
  (log1p (fma x y x))
  (exp (fma x y x))
  (log (fma x y x))
  (exp (fma x y x))
  (* (cbrt (fma x y x)) (cbrt (fma x y x)))
  (cbrt (fma x y x))
  (pow (fma x y x) 3)
  (sqrt (fma x y x))
  (sqrt (fma x y x))
  (+ (pow (* x y) 3) (pow x 3))
  (* (fma (pow y 2) x (- x (* x y))) x)
  (* x (- (* y (* x y)) x))
  (- (* x y) x)
  (- y (* +nan.0 (- (* x x) (pow x 3))))
  (fma (- +nan.0) (/ (pow y 2) x) (* +nan.0 (- (pow y 2) y)))
  (fma (- +nan.0) (/ (pow y 2) x) (* +nan.0 (- (pow y 2) y)))
  (- (* +nan.0 x) (* (* +nan.0 x) (+ x y)))
  (- (+ (* +nan.0 (- (/ y x) y)) +nan.0))
  (- (+ (* +nan.0 (- (/ y x) y)) +nan.0))
  (- (* +nan.0 x) (* (* +nan.0 x) (+ x y)))
  (- (+ (* +nan.0 (- (/ y x) y)) +nan.0))
  (- (+ (* +nan.0 (- (/ y x) y)) +nan.0))
  (fma x y x)
  (fma x y x)
  (fma x y x)
4.288 * * * [progress]: adding candidates to table
4.476 * [progress]: [Phase 3 of 3] Extracting.
4.476 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (+ (/ (* x (- (* y (* x y)) x)) (- (* x y) x)) y))> #<alt (λ (x y) (+ (+ (* x y) x) y))> #<alt (λ (x y) (fma (sqrt (+ (* x y) x)) (sqrt (+ (* x y) x)) y))>)
4.476 * * * [regime-changes]: Trying 3 branch expressions: ((+ (+ (* x y) x) y) y x)
4.476 * * * * [regimes]: Trying to branch on (+ (+ (* x y) x) y) from (#<alt (λ (x y) (+ (/ (* x (- (* y (* x y)) x)) (- (* x y) x)) y))> #<alt (λ (x y) (+ (+ (* x y) x) y))> #<alt (λ (x y) (fma (sqrt (+ (* x y) x)) (sqrt (+ (* x y) x)) y))>)
4.493 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (+ (/ (* x (- (* y (* x y)) x)) (- (* x y) x)) y))> #<alt (λ (x y) (+ (+ (* x y) x) y))> #<alt (λ (x y) (fma (sqrt (+ (* x y) x)) (sqrt (+ (* x y) x)) y))>)
4.507 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (+ (/ (* x (- (* y (* x y)) x)) (- (* x y) x)) y))> #<alt (λ (x y) (+ (+ (* x y) x) y))> #<alt (λ (x y) (fma (sqrt (+ (* x y) x)) (sqrt (+ (* x y) x)) y))>)
4.520 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
4.520 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ (+ (* x y) x) y)
4.520 * * [simplify]: iteration  0 :  5  enodes  (cost  7 )
4.521 * * [simplify]: iteration  1 :  8  enodes  (cost  7 )
4.521 * * [simplify]: iteration  done :  8  enodes  (cost  7 )
4.521 * [simplify]: Simplified to:
   (+ (+ (* x y) x) y)
4.923 * [regime-testing]: Baseline error score: 0.00869920771355434
4.923 * [regime-testing]: Oracle error score: 0.005750718839854982
4.924 * [regime-testing]: End program error score: 0.00869920771355434