20.897 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.022 * * * [progress]: [2/2] Setting up program.
0.023 * [progress]: [Phase 2 of 3] Improving.
0.023 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ (+ (* x x) (* (* x 2.0) y)) (* y y))
0.024 * * [simplify]: iteration  0 :  9  enodes  (cost  13 )
0.026 * * [simplify]: iteration  1 :  18  enodes  (cost  12 )
0.028 * * [simplify]: iteration  2 :  44  enodes  (cost  10 )
0.038 * * [simplify]: iteration  3 :  69  enodes  (cost  9 )
0.047 * * [simplify]: iteration  4 :  71  enodes  (cost  9 )
0.055 * * [simplify]: iteration  done :  71  enodes  (cost  9 )
0.055 * [simplify]: Simplified to:
   (fma x (fma y 2.0 x) (* y y))
0.058 * * [progress]: iteration 1 / 4
0.058 * * * [progress]: picking best candidate
0.060 * * * * [pick]: Picked  #<alt (λ (x y) (fma x (fma y 2.0 x) (* y y)))>
0.060 * * * [progress]: localizing error
0.066 * * * [progress]: generating rewritten candidates
0.066 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.067 * * * [progress]: generating series expansions
0.067 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.067 * [approximate]: Taking taylor expansion of (fma x (fma y 2.0 x) (pow y 2)) in (x y) around 0
0.067 * [taylor]: Taking taylor expansion of (fma x (fma y 2.0 x) (pow y 2)) in y
0.067 * [taylor]: Rewrote expression to (+ (* x (fma y 2.0 x)) (pow y 2))
0.067 * [taylor]: Taking taylor expansion of (* x (fma y 2.0 x)) in y
0.067 * [taylor]: Taking taylor expansion of x in y
0.067 * [taylor]: Taking taylor expansion of (fma y 2.0 x) in y
0.067 * [taylor]: Rewrote expression to (+ (* y 2.0) x)
0.067 * [taylor]: Taking taylor expansion of (* y 2.0) in y
0.067 * [taylor]: Taking taylor expansion of y in y
0.067 * [taylor]: Taking taylor expansion of 2.0 in y
0.067 * [taylor]: Taking taylor expansion of x in y
0.067 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.067 * [taylor]: Taking taylor expansion of y in y
0.067 * [taylor]: Taking taylor expansion of (fma x (fma y 2.0 x) (pow y 2)) in x
0.068 * [taylor]: Rewrote expression to (+ (* x (fma y 2.0 x)) (pow y 2))
0.068 * [taylor]: Taking taylor expansion of (* x (fma y 2.0 x)) in x
0.068 * [taylor]: Taking taylor expansion of x in x
0.068 * [taylor]: Taking taylor expansion of (fma y 2.0 x) in x
0.068 * [taylor]: Rewrote expression to (+ (* y 2.0) x)
0.068 * [taylor]: Taking taylor expansion of (* y 2.0) in x
0.068 * [taylor]: Taking taylor expansion of y in x
0.068 * [taylor]: Taking taylor expansion of 2.0 in x
0.068 * [taylor]: Taking taylor expansion of x in x
0.068 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.068 * [taylor]: Taking taylor expansion of y in x
0.068 * [taylor]: Taking taylor expansion of (fma x (fma y 2.0 x) (pow y 2)) in x
0.068 * [taylor]: Rewrote expression to (+ (* x (fma y 2.0 x)) (pow y 2))
0.068 * [taylor]: Taking taylor expansion of (* x (fma y 2.0 x)) in x
0.068 * [taylor]: Taking taylor expansion of x in x
0.068 * [taylor]: Taking taylor expansion of (fma y 2.0 x) in x
0.068 * [taylor]: Rewrote expression to (+ (* y 2.0) x)
0.068 * [taylor]: Taking taylor expansion of (* y 2.0) in x
0.068 * [taylor]: Taking taylor expansion of y in x
0.068 * [taylor]: Taking taylor expansion of 2.0 in x
0.068 * [taylor]: Taking taylor expansion of x in x
0.068 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.068 * [taylor]: Taking taylor expansion of y in x
0.068 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.068 * [taylor]: Taking taylor expansion of y in y
0.069 * [taylor]: Taking taylor expansion of (* 2.0 y) in y
0.070 * [taylor]: Taking taylor expansion of 2.0 in y
0.070 * [taylor]: Taking taylor expansion of y in y
0.071 * [taylor]: Taking taylor expansion of 1 in y
0.073 * [approximate]: Taking taylor expansion of (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2))) in (x y) around 0
0.073 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2))) in y
0.073 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x))) (/ 1 (pow y 2)))
0.073 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x))) in y
0.073 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.073 * [taylor]: Taking taylor expansion of x in y
0.073 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 (/ 1 x)) in y
0.073 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) (/ 1 x))
0.073 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in y
0.073 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.073 * [taylor]: Taking taylor expansion of y in y
0.074 * [taylor]: Taking taylor expansion of 2.0 in y
0.074 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.074 * [taylor]: Taking taylor expansion of x in y
0.074 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.074 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.074 * [taylor]: Taking taylor expansion of y in y
0.074 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2))) in x
0.074 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x))) (/ 1 (pow y 2)))
0.074 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x))) in x
0.074 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.074 * [taylor]: Taking taylor expansion of x in x
0.075 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 (/ 1 x)) in x
0.075 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) (/ 1 x))
0.075 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in x
0.075 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.075 * [taylor]: Taking taylor expansion of y in x
0.075 * [taylor]: Taking taylor expansion of 2.0 in x
0.075 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.075 * [taylor]: Taking taylor expansion of x in x
0.075 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
0.075 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.075 * [taylor]: Taking taylor expansion of y in x
0.075 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2))) in x
0.075 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x))) (/ 1 (pow y 2)))
0.075 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x))) in x
0.075 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.075 * [taylor]: Taking taylor expansion of x in x
0.076 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 (/ 1 x)) in x
0.076 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) (/ 1 x))
0.076 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in x
0.076 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.076 * [taylor]: Taking taylor expansion of y in x
0.076 * [taylor]: Taking taylor expansion of 2.0 in x
0.076 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.076 * [taylor]: Taking taylor expansion of x in x
0.076 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
0.076 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.076 * [taylor]: Taking taylor expansion of y in x
0.077 * [taylor]: Taking taylor expansion of 1 in y
0.078 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in y
0.078 * [taylor]: Taking taylor expansion of 2.0 in y
0.078 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.078 * [taylor]: Taking taylor expansion of y in y
0.081 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.081 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.081 * [taylor]: Taking taylor expansion of y in y
0.082 * [approximate]: Taking taylor expansion of (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2))) in (x y) around 0
0.082 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2))) in y
0.082 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x))) (/ 1 (pow y 2)))
0.082 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x))) in y
0.082 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.082 * [taylor]: Taking taylor expansion of -1 in y
0.082 * [taylor]: Taking taylor expansion of x in y
0.082 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 (/ -1 x)) in y
0.083 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) (/ -1 x))
0.083 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in y
0.083 * [taylor]: Taking taylor expansion of (/ -1 y) in y
0.083 * [taylor]: Taking taylor expansion of -1 in y
0.083 * [taylor]: Taking taylor expansion of y in y
0.083 * [taylor]: Taking taylor expansion of 2.0 in y
0.083 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.083 * [taylor]: Taking taylor expansion of -1 in y
0.083 * [taylor]: Taking taylor expansion of x in y
0.083 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.083 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.083 * [taylor]: Taking taylor expansion of y in y
0.083 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2))) in x
0.084 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x))) (/ 1 (pow y 2)))
0.084 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x))) in x
0.084 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.084 * [taylor]: Taking taylor expansion of -1 in x
0.084 * [taylor]: Taking taylor expansion of x in x
0.084 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 (/ -1 x)) in x
0.084 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) (/ -1 x))
0.084 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in x
0.084 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.084 * [taylor]: Taking taylor expansion of -1 in x
0.084 * [taylor]: Taking taylor expansion of y in x
0.084 * [taylor]: Taking taylor expansion of 2.0 in x
0.084 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.084 * [taylor]: Taking taylor expansion of -1 in x
0.084 * [taylor]: Taking taylor expansion of x in x
0.085 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
0.085 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.085 * [taylor]: Taking taylor expansion of y in x
0.085 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2))) in x
0.085 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x))) (/ 1 (pow y 2)))
0.085 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x))) in x
0.085 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.085 * [taylor]: Taking taylor expansion of -1 in x
0.085 * [taylor]: Taking taylor expansion of x in x
0.085 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 (/ -1 x)) in x
0.085 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) (/ -1 x))
0.085 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in x
0.085 * [taylor]: Taking taylor expansion of (/ -1 y) in x
0.085 * [taylor]: Taking taylor expansion of -1 in x
0.085 * [taylor]: Taking taylor expansion of y in x
0.085 * [taylor]: Taking taylor expansion of 2.0 in x
0.085 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.085 * [taylor]: Taking taylor expansion of -1 in x
0.085 * [taylor]: Taking taylor expansion of x in x
0.086 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
0.086 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.086 * [taylor]: Taking taylor expansion of y in x
0.087 * [taylor]: Taking taylor expansion of 1 in y
0.088 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in y
0.088 * [taylor]: Taking taylor expansion of 2.0 in y
0.088 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.088 * [taylor]: Taking taylor expansion of y in y
0.091 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.091 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.091 * [taylor]: Taking taylor expansion of y in y
0.092 * * * [progress]: simplifying candidates
0.092 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (fma x (fma y 2.0 x) (* y y)))
  (log1p (fma x (fma y 2.0 x) (* y y)))
  (* x (fma y 2.0 x))
  (log (fma x (fma y 2.0 x) (* y y)))
  (exp (fma x (fma y 2.0 x) (* y y)))
  (* (cbrt (fma x (fma y 2.0 x) (* y y))) (cbrt (fma x (fma y 2.0 x) (* y y))))
  (cbrt (fma x (fma y 2.0 x) (* y y)))
  (* (* (fma x (fma y 2.0 x) (* y y)) (fma x (fma y 2.0 x) (* y y))) (fma x (fma y 2.0 x) (* y y)))
  (sqrt (fma x (fma y 2.0 x) (* y y)))
  (sqrt (fma x (fma y 2.0 x) (* y y)))
  (+ (pow x 2) (+ (pow y 2) (* 2.0 (* x y))))
  (+ (pow x 2) (+ (pow y 2) (* 2.0 (* x y))))
  (+ (pow x 2) (+ (pow y 2) (* 2.0 (* x y))))
0.093 * * [simplify]: iteration  0 :  23  enodes  (cost  165 )
0.096 * * [simplify]: iteration  1 :  43  enodes  (cost  165 )
0.109 * * [simplify]: iteration  2 :  95  enodes  (cost  135 )
0.124 * * [simplify]: iteration  3 :  275  enodes  (cost  135 )
0.216 * * [simplify]: iteration  4 :  1209  enodes  (cost  135 )
0.974 * * [simplify]: iteration  done :  5000  enodes  (cost  135 )
0.974 * [simplify]: Simplified to:
   (expm1 (fma x (fma y 2.0 x) (* y y)))
  (log1p (fma x (fma y 2.0 x) (* y y)))
  (* (fma y 2.0 x) x)
  (log (fma x (fma y 2.0 x) (* y y)))
  (exp (fma x (fma y 2.0 x) (* y y)))
  (* (cbrt (fma x (fma y 2.0 x) (* y y))) (cbrt (fma x (fma y 2.0 x) (* y y))))
  (cbrt (fma x (fma y 2.0 x) (* y y)))
  (pow (fma (fma y 2.0 x) x (* y y)) 3)
  (sqrt (fma x (fma y 2.0 x) (* y y)))
  (sqrt (fma x (fma y 2.0 x) (* y y)))
  (fma (fma y 2.0 x) x (* y y))
  (fma (fma y 2.0 x) x (* y y))
  (fma (fma y 2.0 x) x (* y y))
0.975 * * * [progress]: adding candidates to table
1.027 * * [progress]: iteration 2 / 4
1.027 * * * [progress]: picking best candidate
1.034 * * * * [pick]: Picked  #<alt (λ (x y) (* (sqrt (fma x (fma y 2.0 x) (* y y))) (sqrt (fma x (fma y 2.0 x) (* y y)))))>
1.034 * * * [progress]: localizing error
1.048 * * * [progress]: generating rewritten candidates
1.048 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
1.050 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
1.051 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
1.063 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
1.068 * * * [progress]: generating series expansions
1.068 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
1.068 * [approximate]: Taking taylor expansion of (sqrt (fma x (fma y 2.0 x) (pow y 2))) in (x y) around 0
1.068 * [taylor]: Taking taylor expansion of (sqrt (fma x (fma y 2.0 x) (pow y 2))) in y
1.068 * [taylor]: Taking taylor expansion of (fma x (fma y 2.0 x) (pow y 2)) in y
1.068 * [taylor]: Rewrote expression to (+ (* x (fma y 2.0 x)) (pow y 2))
1.069 * [taylor]: Taking taylor expansion of (* x (fma y 2.0 x)) in y
1.069 * [taylor]: Taking taylor expansion of x in y
1.069 * [taylor]: Taking taylor expansion of (fma y 2.0 x) in y
1.069 * [taylor]: Rewrote expression to (+ (* y 2.0) x)
1.069 * [taylor]: Taking taylor expansion of (* y 2.0) in y
1.069 * [taylor]: Taking taylor expansion of y in y
1.069 * [taylor]: Taking taylor expansion of 2.0 in y
1.069 * [taylor]: Taking taylor expansion of x in y
1.069 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.069 * [taylor]: Taking taylor expansion of y in y
1.072 * [taylor]: Taking taylor expansion of (sqrt (fma x (fma y 2.0 x) (pow y 2))) in x
1.072 * [taylor]: Taking taylor expansion of (fma x (fma y 2.0 x) (pow y 2)) in x
1.072 * [taylor]: Rewrote expression to (+ (* x (fma y 2.0 x)) (pow y 2))
1.072 * [taylor]: Taking taylor expansion of (* x (fma y 2.0 x)) in x
1.072 * [taylor]: Taking taylor expansion of x in x
1.072 * [taylor]: Taking taylor expansion of (fma y 2.0 x) in x
1.072 * [taylor]: Rewrote expression to (+ (* y 2.0) x)
1.072 * [taylor]: Taking taylor expansion of (* y 2.0) in x
1.072 * [taylor]: Taking taylor expansion of y in x
1.072 * [taylor]: Taking taylor expansion of 2.0 in x
1.072 * [taylor]: Taking taylor expansion of x in x
1.072 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.072 * [taylor]: Taking taylor expansion of y in x
1.074 * [taylor]: Taking taylor expansion of (sqrt (fma x (fma y 2.0 x) (pow y 2))) in x
1.074 * [taylor]: Taking taylor expansion of (fma x (fma y 2.0 x) (pow y 2)) in x
1.074 * [taylor]: Rewrote expression to (+ (* x (fma y 2.0 x)) (pow y 2))
1.074 * [taylor]: Taking taylor expansion of (* x (fma y 2.0 x)) in x
1.074 * [taylor]: Taking taylor expansion of x in x
1.074 * [taylor]: Taking taylor expansion of (fma y 2.0 x) in x
1.075 * [taylor]: Rewrote expression to (+ (* y 2.0) x)
1.075 * [taylor]: Taking taylor expansion of (* y 2.0) in x
1.075 * [taylor]: Taking taylor expansion of y in x
1.075 * [taylor]: Taking taylor expansion of 2.0 in x
1.075 * [taylor]: Taking taylor expansion of x in x
1.075 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.075 * [taylor]: Taking taylor expansion of y in x
1.077 * [taylor]: Taking taylor expansion of y in y
1.077 * [taylor]: Taking taylor expansion of 1.0 in y
1.080 * [taylor]: Taking taylor expansion of 0 in y
1.083 * [taylor]: Taking taylor expansion of 0 in y
1.083 * [approximate]: Taking taylor expansion of (sqrt (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2)))) in (x y) around 0
1.083 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2)))) in y
1.083 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2))) in y
1.083 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x))) (/ 1 (pow y 2)))
1.083 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x))) in y
1.083 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.083 * [taylor]: Taking taylor expansion of x in y
1.084 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 (/ 1 x)) in y
1.084 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) (/ 1 x))
1.084 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in y
1.084 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.084 * [taylor]: Taking taylor expansion of y in y
1.087 * [taylor]: Taking taylor expansion of 2.0 in y
1.087 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.087 * [taylor]: Taking taylor expansion of x in y
1.087 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.087 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.087 * [taylor]: Taking taylor expansion of y in y
1.090 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2)))) in x
1.090 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2))) in x
1.090 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x))) (/ 1 (pow y 2)))
1.090 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x))) in x
1.090 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.090 * [taylor]: Taking taylor expansion of x in x
1.091 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 (/ 1 x)) in x
1.091 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) (/ 1 x))
1.091 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in x
1.091 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.091 * [taylor]: Taking taylor expansion of y in x
1.091 * [taylor]: Taking taylor expansion of 2.0 in x
1.091 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.091 * [taylor]: Taking taylor expansion of x in x
1.091 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
1.091 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.091 * [taylor]: Taking taylor expansion of y in x
1.094 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2)))) in x
1.094 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2))) in x
1.094 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x))) (/ 1 (pow y 2)))
1.094 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x))) in x
1.094 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.094 * [taylor]: Taking taylor expansion of x in x
1.094 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 (/ 1 x)) in x
1.094 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) (/ 1 x))
1.094 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in x
1.094 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.094 * [taylor]: Taking taylor expansion of y in x
1.094 * [taylor]: Taking taylor expansion of 2.0 in x
1.094 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.094 * [taylor]: Taking taylor expansion of x in x
1.095 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
1.095 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.095 * [taylor]: Taking taylor expansion of y in x
1.098 * [taylor]: Taking taylor expansion of 1 in y
1.098 * [taylor]: Taking taylor expansion of (/ 1.0 y) in y
1.098 * [taylor]: Taking taylor expansion of 1.0 in y
1.098 * [taylor]: Taking taylor expansion of y in y
1.101 * [taylor]: Taking taylor expansion of 0 in y
1.104 * [taylor]: Taking taylor expansion of 0 in y
1.109 * [taylor]: Taking taylor expansion of 0 in y
1.109 * [approximate]: Taking taylor expansion of (sqrt (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2)))) in (x y) around 0
1.110 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2)))) in y
1.110 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2))) in y
1.110 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x))) (/ 1 (pow y 2)))
1.110 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x))) in y
1.110 * [taylor]: Taking taylor expansion of (/ -1 x) in y
1.110 * [taylor]: Taking taylor expansion of -1 in y
1.110 * [taylor]: Taking taylor expansion of x in y
1.110 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 (/ -1 x)) in y
1.110 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) (/ -1 x))
1.110 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in y
1.110 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.110 * [taylor]: Taking taylor expansion of -1 in y
1.110 * [taylor]: Taking taylor expansion of y in y
1.110 * [taylor]: Taking taylor expansion of 2.0 in y
1.110 * [taylor]: Taking taylor expansion of (/ -1 x) in y
1.110 * [taylor]: Taking taylor expansion of -1 in y
1.110 * [taylor]: Taking taylor expansion of x in y
1.110 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.110 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.110 * [taylor]: Taking taylor expansion of y in y
1.113 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2)))) in x
1.113 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2))) in x
1.113 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x))) (/ 1 (pow y 2)))
1.113 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x))) in x
1.113 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.113 * [taylor]: Taking taylor expansion of -1 in x
1.113 * [taylor]: Taking taylor expansion of x in x
1.114 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 (/ -1 x)) in x
1.114 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) (/ -1 x))
1.114 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in x
1.114 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.114 * [taylor]: Taking taylor expansion of -1 in x
1.114 * [taylor]: Taking taylor expansion of y in x
1.114 * [taylor]: Taking taylor expansion of 2.0 in x
1.114 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.114 * [taylor]: Taking taylor expansion of -1 in x
1.114 * [taylor]: Taking taylor expansion of x in x
1.114 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
1.114 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.114 * [taylor]: Taking taylor expansion of y in x
1.117 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2)))) in x
1.117 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2))) in x
1.117 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x))) (/ 1 (pow y 2)))
1.117 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x))) in x
1.117 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.117 * [taylor]: Taking taylor expansion of -1 in x
1.117 * [taylor]: Taking taylor expansion of x in x
1.117 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 (/ -1 x)) in x
1.118 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) (/ -1 x))
1.118 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in x
1.118 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.118 * [taylor]: Taking taylor expansion of -1 in x
1.118 * [taylor]: Taking taylor expansion of y in x
1.118 * [taylor]: Taking taylor expansion of 2.0 in x
1.118 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.118 * [taylor]: Taking taylor expansion of -1 in x
1.118 * [taylor]: Taking taylor expansion of x in x
1.118 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
1.118 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.118 * [taylor]: Taking taylor expansion of y in x
1.121 * [taylor]: Taking taylor expansion of 1 in y
1.121 * [taylor]: Taking taylor expansion of (/ 1.0 y) in y
1.121 * [taylor]: Taking taylor expansion of 1.0 in y
1.121 * [taylor]: Taking taylor expansion of y in y
1.124 * [taylor]: Taking taylor expansion of 0 in y
1.128 * [taylor]: Taking taylor expansion of 0 in y
1.132 * [taylor]: Taking taylor expansion of 0 in y
1.133 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
1.133 * [approximate]: Taking taylor expansion of (sqrt (fma x (fma y 2.0 x) (pow y 2))) in (x y) around 0
1.133 * [taylor]: Taking taylor expansion of (sqrt (fma x (fma y 2.0 x) (pow y 2))) in y
1.133 * [taylor]: Taking taylor expansion of (fma x (fma y 2.0 x) (pow y 2)) in y
1.133 * [taylor]: Rewrote expression to (+ (* x (fma y 2.0 x)) (pow y 2))
1.133 * [taylor]: Taking taylor expansion of (* x (fma y 2.0 x)) in y
1.133 * [taylor]: Taking taylor expansion of x in y
1.133 * [taylor]: Taking taylor expansion of (fma y 2.0 x) in y
1.133 * [taylor]: Rewrote expression to (+ (* y 2.0) x)
1.133 * [taylor]: Taking taylor expansion of (* y 2.0) in y
1.133 * [taylor]: Taking taylor expansion of y in y
1.133 * [taylor]: Taking taylor expansion of 2.0 in y
1.133 * [taylor]: Taking taylor expansion of x in y
1.133 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.133 * [taylor]: Taking taylor expansion of y in y
1.135 * [taylor]: Taking taylor expansion of (sqrt (fma x (fma y 2.0 x) (pow y 2))) in x
1.135 * [taylor]: Taking taylor expansion of (fma x (fma y 2.0 x) (pow y 2)) in x
1.135 * [taylor]: Rewrote expression to (+ (* x (fma y 2.0 x)) (pow y 2))
1.135 * [taylor]: Taking taylor expansion of (* x (fma y 2.0 x)) in x
1.135 * [taylor]: Taking taylor expansion of x in x
1.135 * [taylor]: Taking taylor expansion of (fma y 2.0 x) in x
1.135 * [taylor]: Rewrote expression to (+ (* y 2.0) x)
1.135 * [taylor]: Taking taylor expansion of (* y 2.0) in x
1.135 * [taylor]: Taking taylor expansion of y in x
1.135 * [taylor]: Taking taylor expansion of 2.0 in x
1.135 * [taylor]: Taking taylor expansion of x in x
1.135 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.135 * [taylor]: Taking taylor expansion of y in x
1.136 * [taylor]: Taking taylor expansion of (sqrt (fma x (fma y 2.0 x) (pow y 2))) in x
1.136 * [taylor]: Taking taylor expansion of (fma x (fma y 2.0 x) (pow y 2)) in x
1.137 * [taylor]: Rewrote expression to (+ (* x (fma y 2.0 x)) (pow y 2))
1.137 * [taylor]: Taking taylor expansion of (* x (fma y 2.0 x)) in x
1.137 * [taylor]: Taking taylor expansion of x in x
1.137 * [taylor]: Taking taylor expansion of (fma y 2.0 x) in x
1.137 * [taylor]: Rewrote expression to (+ (* y 2.0) x)
1.137 * [taylor]: Taking taylor expansion of (* y 2.0) in x
1.137 * [taylor]: Taking taylor expansion of y in x
1.137 * [taylor]: Taking taylor expansion of 2.0 in x
1.137 * [taylor]: Taking taylor expansion of x in x
1.137 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.137 * [taylor]: Taking taylor expansion of y in x
1.138 * [taylor]: Taking taylor expansion of y in y
1.138 * [taylor]: Taking taylor expansion of 1.0 in y
1.141 * [taylor]: Taking taylor expansion of 0 in y
1.143 * [taylor]: Taking taylor expansion of 0 in y
1.143 * [approximate]: Taking taylor expansion of (sqrt (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2)))) in (x y) around 0
1.143 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2)))) in y
1.143 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2))) in y
1.144 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x))) (/ 1 (pow y 2)))
1.144 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x))) in y
1.144 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.144 * [taylor]: Taking taylor expansion of x in y
1.144 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 (/ 1 x)) in y
1.144 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) (/ 1 x))
1.144 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in y
1.144 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.144 * [taylor]: Taking taylor expansion of y in y
1.144 * [taylor]: Taking taylor expansion of 2.0 in y
1.144 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.144 * [taylor]: Taking taylor expansion of x in y
1.144 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.144 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.144 * [taylor]: Taking taylor expansion of y in y
1.147 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2)))) in x
1.147 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2))) in x
1.147 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x))) (/ 1 (pow y 2)))
1.147 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x))) in x
1.147 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.147 * [taylor]: Taking taylor expansion of x in x
1.147 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 (/ 1 x)) in x
1.147 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) (/ 1 x))
1.148 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in x
1.148 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.148 * [taylor]: Taking taylor expansion of y in x
1.148 * [taylor]: Taking taylor expansion of 2.0 in x
1.148 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.148 * [taylor]: Taking taylor expansion of x in x
1.148 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
1.148 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.148 * [taylor]: Taking taylor expansion of y in x
1.151 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2)))) in x
1.151 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2))) in x
1.151 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x))) (/ 1 (pow y 2)))
1.151 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x))) in x
1.151 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.151 * [taylor]: Taking taylor expansion of x in x
1.151 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 (/ 1 x)) in x
1.151 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) (/ 1 x))
1.151 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in x
1.151 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.151 * [taylor]: Taking taylor expansion of y in x
1.151 * [taylor]: Taking taylor expansion of 2.0 in x
1.151 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.151 * [taylor]: Taking taylor expansion of x in x
1.152 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
1.152 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.152 * [taylor]: Taking taylor expansion of y in x
1.154 * [taylor]: Taking taylor expansion of 1 in y
1.154 * [taylor]: Taking taylor expansion of (/ 1.0 y) in y
1.154 * [taylor]: Taking taylor expansion of 1.0 in y
1.154 * [taylor]: Taking taylor expansion of y in y
1.157 * [taylor]: Taking taylor expansion of 0 in y
1.161 * [taylor]: Taking taylor expansion of 0 in y
1.166 * [taylor]: Taking taylor expansion of 0 in y
1.166 * [approximate]: Taking taylor expansion of (sqrt (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2)))) in (x y) around 0
1.166 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2)))) in y
1.166 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2))) in y
1.166 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x))) (/ 1 (pow y 2)))
1.166 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x))) in y
1.166 * [taylor]: Taking taylor expansion of (/ -1 x) in y
1.166 * [taylor]: Taking taylor expansion of -1 in y
1.166 * [taylor]: Taking taylor expansion of x in y
1.166 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 (/ -1 x)) in y
1.166 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) (/ -1 x))
1.166 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in y
1.166 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.166 * [taylor]: Taking taylor expansion of -1 in y
1.166 * [taylor]: Taking taylor expansion of y in y
1.167 * [taylor]: Taking taylor expansion of 2.0 in y
1.167 * [taylor]: Taking taylor expansion of (/ -1 x) in y
1.167 * [taylor]: Taking taylor expansion of -1 in y
1.167 * [taylor]: Taking taylor expansion of x in y
1.167 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.167 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.167 * [taylor]: Taking taylor expansion of y in y
1.175 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2)))) in x
1.175 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2))) in x
1.175 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x))) (/ 1 (pow y 2)))
1.175 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x))) in x
1.175 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.175 * [taylor]: Taking taylor expansion of -1 in x
1.175 * [taylor]: Taking taylor expansion of x in x
1.175 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 (/ -1 x)) in x
1.175 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) (/ -1 x))
1.175 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in x
1.175 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.175 * [taylor]: Taking taylor expansion of -1 in x
1.175 * [taylor]: Taking taylor expansion of y in x
1.175 * [taylor]: Taking taylor expansion of 2.0 in x
1.175 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.175 * [taylor]: Taking taylor expansion of -1 in x
1.175 * [taylor]: Taking taylor expansion of x in x
1.176 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
1.176 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.176 * [taylor]: Taking taylor expansion of y in x
1.178 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2)))) in x
1.178 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2))) in x
1.179 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x))) (/ 1 (pow y 2)))
1.179 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x))) in x
1.179 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.179 * [taylor]: Taking taylor expansion of -1 in x
1.179 * [taylor]: Taking taylor expansion of x in x
1.179 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 (/ -1 x)) in x
1.179 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) (/ -1 x))
1.179 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in x
1.179 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.179 * [taylor]: Taking taylor expansion of -1 in x
1.179 * [taylor]: Taking taylor expansion of y in x
1.179 * [taylor]: Taking taylor expansion of 2.0 in x
1.179 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.179 * [taylor]: Taking taylor expansion of -1 in x
1.179 * [taylor]: Taking taylor expansion of x in x
1.179 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
1.179 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.180 * [taylor]: Taking taylor expansion of y in x
1.182 * [taylor]: Taking taylor expansion of 1 in y
1.182 * [taylor]: Taking taylor expansion of (/ 1.0 y) in y
1.182 * [taylor]: Taking taylor expansion of 1.0 in y
1.182 * [taylor]: Taking taylor expansion of y in y
1.186 * [taylor]: Taking taylor expansion of 0 in y
1.189 * [taylor]: Taking taylor expansion of 0 in y
1.194 * [taylor]: Taking taylor expansion of 0 in y
1.194 * * * * [progress]: [ 3 / 4 ] generating series at (2)
1.194 * [approximate]: Taking taylor expansion of (fma x (fma y 2.0 x) (pow y 2)) in (x y) around 0
1.194 * [taylor]: Taking taylor expansion of (fma x (fma y 2.0 x) (pow y 2)) in y
1.195 * [taylor]: Rewrote expression to (+ (* x (fma y 2.0 x)) (pow y 2))
1.195 * [taylor]: Taking taylor expansion of (* x (fma y 2.0 x)) in y
1.195 * [taylor]: Taking taylor expansion of x in y
1.195 * [taylor]: Taking taylor expansion of (fma y 2.0 x) in y
1.195 * [taylor]: Rewrote expression to (+ (* y 2.0) x)
1.195 * [taylor]: Taking taylor expansion of (* y 2.0) in y
1.195 * [taylor]: Taking taylor expansion of y in y
1.195 * [taylor]: Taking taylor expansion of 2.0 in y
1.195 * [taylor]: Taking taylor expansion of x in y
1.195 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.195 * [taylor]: Taking taylor expansion of y in y
1.195 * [taylor]: Taking taylor expansion of (fma x (fma y 2.0 x) (pow y 2)) in x
1.195 * [taylor]: Rewrote expression to (+ (* x (fma y 2.0 x)) (pow y 2))
1.195 * [taylor]: Taking taylor expansion of (* x (fma y 2.0 x)) in x
1.195 * [taylor]: Taking taylor expansion of x in x
1.195 * [taylor]: Taking taylor expansion of (fma y 2.0 x) in x
1.195 * [taylor]: Rewrote expression to (+ (* y 2.0) x)
1.195 * [taylor]: Taking taylor expansion of (* y 2.0) in x
1.195 * [taylor]: Taking taylor expansion of y in x
1.195 * [taylor]: Taking taylor expansion of 2.0 in x
1.195 * [taylor]: Taking taylor expansion of x in x
1.195 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.195 * [taylor]: Taking taylor expansion of y in x
1.195 * [taylor]: Taking taylor expansion of (fma x (fma y 2.0 x) (pow y 2)) in x
1.195 * [taylor]: Rewrote expression to (+ (* x (fma y 2.0 x)) (pow y 2))
1.195 * [taylor]: Taking taylor expansion of (* x (fma y 2.0 x)) in x
1.195 * [taylor]: Taking taylor expansion of x in x
1.195 * [taylor]: Taking taylor expansion of (fma y 2.0 x) in x
1.195 * [taylor]: Rewrote expression to (+ (* y 2.0) x)
1.195 * [taylor]: Taking taylor expansion of (* y 2.0) in x
1.195 * [taylor]: Taking taylor expansion of y in x
1.196 * [taylor]: Taking taylor expansion of 2.0 in x
1.196 * [taylor]: Taking taylor expansion of x in x
1.196 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.196 * [taylor]: Taking taylor expansion of y in x
1.196 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.196 * [taylor]: Taking taylor expansion of y in y
1.197 * [taylor]: Taking taylor expansion of (* 2.0 y) in y
1.197 * [taylor]: Taking taylor expansion of 2.0 in y
1.197 * [taylor]: Taking taylor expansion of y in y
1.199 * [taylor]: Taking taylor expansion of 1 in y
1.200 * [approximate]: Taking taylor expansion of (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2))) in (x y) around 0
1.200 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2))) in y
1.201 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x))) (/ 1 (pow y 2)))
1.201 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x))) in y
1.201 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.201 * [taylor]: Taking taylor expansion of x in y
1.201 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 (/ 1 x)) in y
1.201 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) (/ 1 x))
1.201 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in y
1.201 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.201 * [taylor]: Taking taylor expansion of y in y
1.201 * [taylor]: Taking taylor expansion of 2.0 in y
1.201 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.201 * [taylor]: Taking taylor expansion of x in y
1.201 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.201 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.201 * [taylor]: Taking taylor expansion of y in y
1.202 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2))) in x
1.202 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x))) (/ 1 (pow y 2)))
1.202 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x))) in x
1.202 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.202 * [taylor]: Taking taylor expansion of x in x
1.202 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 (/ 1 x)) in x
1.202 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) (/ 1 x))
1.202 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in x
1.202 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.202 * [taylor]: Taking taylor expansion of y in x
1.202 * [taylor]: Taking taylor expansion of 2.0 in x
1.202 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.202 * [taylor]: Taking taylor expansion of x in x
1.203 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
1.203 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.203 * [taylor]: Taking taylor expansion of y in x
1.203 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2))) in x
1.203 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x))) (/ 1 (pow y 2)))
1.203 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x))) in x
1.203 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.203 * [taylor]: Taking taylor expansion of x in x
1.203 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 (/ 1 x)) in x
1.203 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) (/ 1 x))
1.203 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in x
1.203 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.203 * [taylor]: Taking taylor expansion of y in x
1.203 * [taylor]: Taking taylor expansion of 2.0 in x
1.203 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.203 * [taylor]: Taking taylor expansion of x in x
1.204 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
1.204 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.204 * [taylor]: Taking taylor expansion of y in x
1.205 * [taylor]: Taking taylor expansion of 1 in y
1.206 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in y
1.206 * [taylor]: Taking taylor expansion of 2.0 in y
1.206 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.206 * [taylor]: Taking taylor expansion of y in y
1.208 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.209 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.209 * [taylor]: Taking taylor expansion of y in y
1.210 * [approximate]: Taking taylor expansion of (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2))) in (x y) around 0
1.210 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2))) in y
1.210 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x))) (/ 1 (pow y 2)))
1.210 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x))) in y
1.210 * [taylor]: Taking taylor expansion of (/ -1 x) in y
1.210 * [taylor]: Taking taylor expansion of -1 in y
1.210 * [taylor]: Taking taylor expansion of x in y
1.210 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 (/ -1 x)) in y
1.210 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) (/ -1 x))
1.210 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in y
1.210 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.210 * [taylor]: Taking taylor expansion of -1 in y
1.210 * [taylor]: Taking taylor expansion of y in y
1.211 * [taylor]: Taking taylor expansion of 2.0 in y
1.211 * [taylor]: Taking taylor expansion of (/ -1 x) in y
1.211 * [taylor]: Taking taylor expansion of -1 in y
1.211 * [taylor]: Taking taylor expansion of x in y
1.211 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.211 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.211 * [taylor]: Taking taylor expansion of y in y
1.211 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2))) in x
1.211 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x))) (/ 1 (pow y 2)))
1.211 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x))) in x
1.211 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.211 * [taylor]: Taking taylor expansion of -1 in x
1.212 * [taylor]: Taking taylor expansion of x in x
1.212 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 (/ -1 x)) in x
1.212 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) (/ -1 x))
1.212 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in x
1.212 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.212 * [taylor]: Taking taylor expansion of -1 in x
1.212 * [taylor]: Taking taylor expansion of y in x
1.212 * [taylor]: Taking taylor expansion of 2.0 in x
1.212 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.212 * [taylor]: Taking taylor expansion of -1 in x
1.212 * [taylor]: Taking taylor expansion of x in x
1.212 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
1.212 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.212 * [taylor]: Taking taylor expansion of y in x
1.213 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2))) in x
1.213 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x))) (/ 1 (pow y 2)))
1.213 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x))) in x
1.213 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.213 * [taylor]: Taking taylor expansion of -1 in x
1.213 * [taylor]: Taking taylor expansion of x in x
1.213 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 (/ -1 x)) in x
1.213 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) (/ -1 x))
1.213 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in x
1.213 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.213 * [taylor]: Taking taylor expansion of -1 in x
1.213 * [taylor]: Taking taylor expansion of y in x
1.213 * [taylor]: Taking taylor expansion of 2.0 in x
1.213 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.213 * [taylor]: Taking taylor expansion of -1 in x
1.213 * [taylor]: Taking taylor expansion of x in x
1.214 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
1.214 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.214 * [taylor]: Taking taylor expansion of y in x
1.214 * [taylor]: Taking taylor expansion of 1 in y
1.216 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in y
1.216 * [taylor]: Taking taylor expansion of 2.0 in y
1.216 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.216 * [taylor]: Taking taylor expansion of y in y
1.218 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.218 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.218 * [taylor]: Taking taylor expansion of y in y
1.220 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
1.220 * [approximate]: Taking taylor expansion of (fma x (fma y 2.0 x) (pow y 2)) in (x y) around 0
1.220 * [taylor]: Taking taylor expansion of (fma x (fma y 2.0 x) (pow y 2)) in y
1.220 * [taylor]: Rewrote expression to (+ (* x (fma y 2.0 x)) (pow y 2))
1.220 * [taylor]: Taking taylor expansion of (* x (fma y 2.0 x)) in y
1.220 * [taylor]: Taking taylor expansion of x in y
1.220 * [taylor]: Taking taylor expansion of (fma y 2.0 x) in y
1.220 * [taylor]: Rewrote expression to (+ (* y 2.0) x)
1.220 * [taylor]: Taking taylor expansion of (* y 2.0) in y
1.220 * [taylor]: Taking taylor expansion of y in y
1.220 * [taylor]: Taking taylor expansion of 2.0 in y
1.220 * [taylor]: Taking taylor expansion of x in y
1.220 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.220 * [taylor]: Taking taylor expansion of y in y
1.220 * [taylor]: Taking taylor expansion of (fma x (fma y 2.0 x) (pow y 2)) in x
1.220 * [taylor]: Rewrote expression to (+ (* x (fma y 2.0 x)) (pow y 2))
1.221 * [taylor]: Taking taylor expansion of (* x (fma y 2.0 x)) in x
1.221 * [taylor]: Taking taylor expansion of x in x
1.221 * [taylor]: Taking taylor expansion of (fma y 2.0 x) in x
1.221 * [taylor]: Rewrote expression to (+ (* y 2.0) x)
1.221 * [taylor]: Taking taylor expansion of (* y 2.0) in x
1.221 * [taylor]: Taking taylor expansion of y in x
1.221 * [taylor]: Taking taylor expansion of 2.0 in x
1.221 * [taylor]: Taking taylor expansion of x in x
1.221 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.221 * [taylor]: Taking taylor expansion of y in x
1.221 * [taylor]: Taking taylor expansion of (fma x (fma y 2.0 x) (pow y 2)) in x
1.221 * [taylor]: Rewrote expression to (+ (* x (fma y 2.0 x)) (pow y 2))
1.221 * [taylor]: Taking taylor expansion of (* x (fma y 2.0 x)) in x
1.221 * [taylor]: Taking taylor expansion of x in x
1.221 * [taylor]: Taking taylor expansion of (fma y 2.0 x) in x
1.221 * [taylor]: Rewrote expression to (+ (* y 2.0) x)
1.221 * [taylor]: Taking taylor expansion of (* y 2.0) in x
1.221 * [taylor]: Taking taylor expansion of y in x
1.221 * [taylor]: Taking taylor expansion of 2.0 in x
1.221 * [taylor]: Taking taylor expansion of x in x
1.221 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.221 * [taylor]: Taking taylor expansion of y in x
1.222 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.222 * [taylor]: Taking taylor expansion of y in y
1.223 * [taylor]: Taking taylor expansion of (* 2.0 y) in y
1.223 * [taylor]: Taking taylor expansion of 2.0 in y
1.223 * [taylor]: Taking taylor expansion of y in y
1.226 * [taylor]: Taking taylor expansion of 1 in y
1.228 * [approximate]: Taking taylor expansion of (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2))) in (x y) around 0
1.228 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2))) in y
1.228 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x))) (/ 1 (pow y 2)))
1.228 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x))) in y
1.228 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.228 * [taylor]: Taking taylor expansion of x in y
1.228 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 (/ 1 x)) in y
1.229 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) (/ 1 x))
1.229 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in y
1.229 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.229 * [taylor]: Taking taylor expansion of y in y
1.229 * [taylor]: Taking taylor expansion of 2.0 in y
1.229 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.229 * [taylor]: Taking taylor expansion of x in y
1.229 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.229 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.229 * [taylor]: Taking taylor expansion of y in y
1.229 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2))) in x
1.230 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x))) (/ 1 (pow y 2)))
1.230 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x))) in x
1.230 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.230 * [taylor]: Taking taylor expansion of x in x
1.230 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 (/ 1 x)) in x
1.230 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) (/ 1 x))
1.230 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in x
1.230 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.230 * [taylor]: Taking taylor expansion of y in x
1.230 * [taylor]: Taking taylor expansion of 2.0 in x
1.230 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.230 * [taylor]: Taking taylor expansion of x in x
1.230 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
1.230 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.230 * [taylor]: Taking taylor expansion of y in x
1.231 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2))) in x
1.231 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x))) (/ 1 (pow y 2)))
1.231 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x))) in x
1.231 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.231 * [taylor]: Taking taylor expansion of x in x
1.231 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 (/ 1 x)) in x
1.231 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) (/ 1 x))
1.231 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in x
1.231 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.231 * [taylor]: Taking taylor expansion of y in x
1.231 * [taylor]: Taking taylor expansion of 2.0 in x
1.231 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.231 * [taylor]: Taking taylor expansion of x in x
1.231 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
1.231 * [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 1 in y
1.234 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in y
1.234 * [taylor]: Taking taylor expansion of 2.0 in y
1.234 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.234 * [taylor]: Taking taylor expansion of y in y
1.236 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.236 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.236 * [taylor]: Taking taylor expansion of y in y
1.237 * [approximate]: Taking taylor expansion of (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2))) in (x y) around 0
1.237 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2))) in y
1.237 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x))) (/ 1 (pow y 2)))
1.238 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x))) in y
1.238 * [taylor]: Taking taylor expansion of (/ -1 x) in y
1.238 * [taylor]: Taking taylor expansion of -1 in y
1.238 * [taylor]: Taking taylor expansion of x in y
1.238 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 (/ -1 x)) in y
1.238 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) (/ -1 x))
1.238 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in y
1.238 * [taylor]: Taking taylor expansion of (/ -1 y) in y
1.238 * [taylor]: Taking taylor expansion of -1 in y
1.238 * [taylor]: Taking taylor expansion of y in y
1.238 * [taylor]: Taking taylor expansion of 2.0 in y
1.238 * [taylor]: Taking taylor expansion of (/ -1 x) in y
1.238 * [taylor]: Taking taylor expansion of -1 in y
1.238 * [taylor]: Taking taylor expansion of x in y
1.238 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.238 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.238 * [taylor]: Taking taylor expansion of y in y
1.239 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2))) in x
1.239 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x))) (/ 1 (pow y 2)))
1.239 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x))) in x
1.239 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.239 * [taylor]: Taking taylor expansion of -1 in x
1.239 * [taylor]: Taking taylor expansion of x in x
1.239 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 (/ -1 x)) in x
1.239 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) (/ -1 x))
1.239 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in x
1.239 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.239 * [taylor]: Taking taylor expansion of -1 in x
1.239 * [taylor]: Taking taylor expansion of y in x
1.239 * [taylor]: Taking taylor expansion of 2.0 in x
1.239 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.239 * [taylor]: Taking taylor expansion of -1 in x
1.239 * [taylor]: Taking taylor expansion of x in x
1.240 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
1.240 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.240 * [taylor]: Taking taylor expansion of y in x
1.240 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2))) in x
1.240 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x))) (/ 1 (pow y 2)))
1.240 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x))) in x
1.240 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.240 * [taylor]: Taking taylor expansion of -1 in x
1.240 * [taylor]: Taking taylor expansion of x in x
1.240 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 (/ -1 x)) in x
1.240 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) (/ -1 x))
1.240 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in x
1.240 * [taylor]: Taking taylor expansion of (/ -1 y) in x
1.241 * [taylor]: Taking taylor expansion of -1 in x
1.241 * [taylor]: Taking taylor expansion of y in x
1.241 * [taylor]: Taking taylor expansion of 2.0 in x
1.241 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.241 * [taylor]: Taking taylor expansion of -1 in x
1.241 * [taylor]: Taking taylor expansion of x in x
1.241 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
1.241 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.241 * [taylor]: Taking taylor expansion of y in x
1.242 * [taylor]: Taking taylor expansion of 1 in y
1.243 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in y
1.243 * [taylor]: Taking taylor expansion of 2.0 in y
1.243 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.243 * [taylor]: Taking taylor expansion of y in y
1.246 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.246 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.246 * [taylor]: Taking taylor expansion of y in y
1.247 * * * [progress]: simplifying candidates
1.248 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (sqrt (fma x (fma y 2.0 x) (* y y))))
  (log1p (sqrt (fma x (fma y 2.0 x) (* y y))))
  (log (sqrt (fma x (fma y 2.0 x) (* y y))))
  (exp (sqrt (fma x (fma y 2.0 x) (* y y))))
  (* (cbrt (sqrt (fma x (fma y 2.0 x) (* y y)))) (cbrt (sqrt (fma x (fma y 2.0 x) (* y y)))))
  (cbrt (sqrt (fma x (fma y 2.0 x) (* y y))))
  (* (* (sqrt (fma x (fma y 2.0 x) (* y y))) (sqrt (fma x (fma y 2.0 x) (* y y)))) (sqrt (fma x (fma y 2.0 x) (* y y))))
  (sqrt (* (cbrt (fma x (fma y 2.0 x) (* y y))) (cbrt (fma x (fma y 2.0 x) (* y y)))))
  (sqrt (cbrt (fma x (fma y 2.0 x) (* y y))))
  (sqrt (sqrt (fma x (fma y 2.0 x) (* y y))))
  (sqrt (sqrt (fma x (fma y 2.0 x) (* y y))))
  (sqrt 1)
  (sqrt (fma x (fma y 2.0 x) (* y y)))
  (/ 1 2)
  (sqrt (sqrt (fma x (fma y 2.0 x) (* y y))))
  (sqrt (sqrt (fma x (fma y 2.0 x) (* y y))))
  (expm1 (sqrt (fma x (fma y 2.0 x) (* y y))))
  (log1p (sqrt (fma x (fma y 2.0 x) (* y y))))
  (log (sqrt (fma x (fma y 2.0 x) (* y y))))
  (exp (sqrt (fma x (fma y 2.0 x) (* y y))))
  (* (cbrt (sqrt (fma x (fma y 2.0 x) (* y y)))) (cbrt (sqrt (fma x (fma y 2.0 x) (* y y)))))
  (cbrt (sqrt (fma x (fma y 2.0 x) (* y y))))
  (* (* (sqrt (fma x (fma y 2.0 x) (* y y))) (sqrt (fma x (fma y 2.0 x) (* y y)))) (sqrt (fma x (fma y 2.0 x) (* y y))))
  (sqrt (* (cbrt (fma x (fma y 2.0 x) (* y y))) (cbrt (fma x (fma y 2.0 x) (* y y)))))
  (sqrt (cbrt (fma x (fma y 2.0 x) (* y y))))
  (sqrt (sqrt (fma x (fma y 2.0 x) (* y y))))
  (sqrt (sqrt (fma x (fma y 2.0 x) (* y y))))
  (sqrt 1)
  (sqrt (fma x (fma y 2.0 x) (* y y)))
  (/ 1 2)
  (sqrt (sqrt (fma x (fma y 2.0 x) (* y y))))
  (sqrt (sqrt (fma x (fma y 2.0 x) (* y y))))
  (expm1 (* (sqrt (fma x (fma y 2.0 x) (* y y))) (sqrt (fma x (fma y 2.0 x) (* y y)))))
  (log1p (* (sqrt (fma x (fma y 2.0 x) (* y y))) (sqrt (fma x (fma y 2.0 x) (* y y)))))
  (+ 1/2 1/2)
  (+ 1/2 (/ 1 2))
  (+ 1 1)
  (+ (/ 1 2) 1/2)
  (+ (/ 1 2) (/ 1 2))
  (* (fma x (fma y 2.0 x) (* y y)) (fma x (fma y 2.0 x) (* y y)))
  (* (sqrt (fma x (fma y 2.0 x) (* y y))) (sqrt (fma x (fma y 2.0 x) (* y y))))
  (* (fma x (fma y 2.0 x) (* y y)) (fma x (fma y 2.0 x) (* y y)))
  (+ 1 1)
  (+ (log (sqrt (fma x (fma y 2.0 x) (* y y)))) (log (sqrt (fma x (fma y 2.0 x) (* y y)))))
  (log (* (sqrt (fma x (fma y 2.0 x) (* y y))) (sqrt (fma x (fma y 2.0 x) (* y y)))))
  (exp (* (sqrt (fma x (fma y 2.0 x) (* y y))) (sqrt (fma x (fma y 2.0 x) (* y y)))))
  (* (* (* (sqrt (fma x (fma y 2.0 x) (* y y))) (sqrt (fma x (fma y 2.0 x) (* y y)))) (sqrt (fma x (fma y 2.0 x) (* y y)))) (* (* (sqrt (fma x (fma y 2.0 x) (* y y))) (sqrt (fma x (fma y 2.0 x) (* y y)))) (sqrt (fma x (fma y 2.0 x) (* y y)))))
  (* (cbrt (* (sqrt (fma x (fma y 2.0 x) (* y y))) (sqrt (fma x (fma y 2.0 x) (* y y))))) (cbrt (* (sqrt (fma x (fma y 2.0 x) (* y y))) (sqrt (fma x (fma y 2.0 x) (* y y))))))
  (cbrt (* (sqrt (fma x (fma y 2.0 x) (* y y))) (sqrt (fma x (fma y 2.0 x) (* y y)))))
  (* (* (* (sqrt (fma x (fma y 2.0 x) (* y y))) (sqrt (fma x (fma y 2.0 x) (* y y)))) (* (sqrt (fma x (fma y 2.0 x) (* y y))) (sqrt (fma x (fma y 2.0 x) (* y y))))) (* (sqrt (fma x (fma y 2.0 x) (* y y))) (sqrt (fma x (fma y 2.0 x) (* y y)))))
  (* (fma x (fma y 2.0 x) (* y y)) (fma x (fma y 2.0 x) (* y y)))
  (sqrt (* (sqrt (fma x (fma y 2.0 x) (* y y))) (sqrt (fma x (fma y 2.0 x) (* y y)))))
  (sqrt (* (sqrt (fma x (fma y 2.0 x) (* y y))) (sqrt (fma x (fma y 2.0 x) (* y y)))))
  (* (* (cbrt (sqrt (fma x (fma y 2.0 x) (* y y)))) (cbrt (sqrt (fma x (fma y 2.0 x) (* y y))))) (* (cbrt (sqrt (fma x (fma y 2.0 x) (* y y)))) (cbrt (sqrt (fma x (fma y 2.0 x) (* y y))))))
  (* (cbrt (sqrt (fma x (fma y 2.0 x) (* y y)))) (cbrt (sqrt (fma x (fma y 2.0 x) (* y y)))))
  (* (sqrt (* (cbrt (fma x (fma y 2.0 x) (* y y))) (cbrt (fma x (fma y 2.0 x) (* y y))))) (sqrt (* (cbrt (fma x (fma y 2.0 x) (* y y))) (cbrt (fma x (fma y 2.0 x) (* y y))))))
  (* (sqrt (cbrt (fma x (fma y 2.0 x) (* y y)))) (sqrt (cbrt (fma x (fma y 2.0 x) (* y y)))))
  (* (sqrt (sqrt (fma x (fma y 2.0 x) (* y y)))) (sqrt (sqrt (fma x (fma y 2.0 x) (* y y)))))
  (* (sqrt (sqrt (fma x (fma y 2.0 x) (* y y)))) (sqrt (sqrt (fma x (fma y 2.0 x) (* y y)))))
  (* (sqrt (sqrt (fma x (fma y 2.0 x) (* y y)))) (sqrt (sqrt (fma x (fma y 2.0 x) (* y y)))))
  (* (sqrt (sqrt (fma x (fma y 2.0 x) (* y y)))) (sqrt (sqrt (fma x (fma y 2.0 x) (* y y)))))
  (* (sqrt 1) (sqrt 1))
  (* (sqrt (fma x (fma y 2.0 x) (* y y))) (sqrt (fma x (fma y 2.0 x) (* y y))))
  (* (sqrt (sqrt (fma x (fma y 2.0 x) (* y y)))) (sqrt (sqrt (fma x (fma y 2.0 x) (* y y)))))
  (* (sqrt (sqrt (fma x (fma y 2.0 x) (* y y)))) (sqrt (sqrt (fma x (fma y 2.0 x) (* y y)))))
  (* (sqrt (sqrt (fma x (fma y 2.0 x) (* y y)))) (sqrt (sqrt (fma x (fma y 2.0 x) (* y y)))))
  (* (sqrt (sqrt (fma x (fma y 2.0 x) (* y y)))) (sqrt (sqrt (fma x (fma y 2.0 x) (* y y)))))
  (* 1 1)
  (* (sqrt (fma x (fma y 2.0 x) (* y y))) (sqrt (fma x (fma y 2.0 x) (* y y))))
  (* (sqrt (sqrt (fma x (fma y 2.0 x) (* y y)))) (sqrt (sqrt (fma x (fma y 2.0 x) (* y y)))))
  (* (sqrt (sqrt (fma x (fma y 2.0 x) (* y y)))) (sqrt (sqrt (fma x (fma y 2.0 x) (* y y)))))
  (* (sqrt (sqrt (fma x (fma y 2.0 x) (* y y)))) (sqrt (sqrt (fma x (fma y 2.0 x) (* y y)))))
  (* (sqrt (sqrt (fma x (fma y 2.0 x) (* y y)))) (sqrt (sqrt (fma x (fma y 2.0 x) (* y y)))))
  (* (sqrt (sqrt (fma x (fma y 2.0 x) (* y y)))) (sqrt (sqrt (fma x (fma y 2.0 x) (* y y)))))
  (* (sqrt (sqrt (fma x (fma y 2.0 x) (* y y)))) (sqrt (sqrt (fma x (fma y 2.0 x) (* y y)))))
  (* (sqrt (sqrt (fma x (fma y 2.0 x) (* y y)))) (sqrt (sqrt (fma x (fma y 2.0 x) (* y y)))))
  (* (sqrt (sqrt (fma x (fma y 2.0 x) (* y y)))) (sqrt (sqrt (fma x (fma y 2.0 x) (* y y)))))
  (* 2 1/2)
  (* 2 1)
  (* 2 (/ 1 2))
  (* (sqrt (fma x (fma y 2.0 x) (* y y))) (* (cbrt (sqrt (fma x (fma y 2.0 x) (* y y)))) (cbrt (sqrt (fma x (fma y 2.0 x) (* y y))))))
  (* (sqrt (fma x (fma y 2.0 x) (* y y))) (sqrt (* (cbrt (fma x (fma y 2.0 x) (* y y))) (cbrt (fma x (fma y 2.0 x) (* y y))))))
  (* (sqrt (fma x (fma y 2.0 x) (* y y))) (sqrt (sqrt (fma x (fma y 2.0 x) (* y y)))))
  (* (sqrt (fma x (fma y 2.0 x) (* y y))) (sqrt 1))
  (* (sqrt (fma x (fma y 2.0 x) (* y y))) (sqrt (sqrt (fma x (fma y 2.0 x) (* y y)))))
  (* (sqrt (fma x (fma y 2.0 x) (* y y))) 1)
  (* (cbrt (sqrt (fma x (fma y 2.0 x) (* y y)))) (sqrt (fma x (fma y 2.0 x) (* y y))))
  (* (sqrt (cbrt (fma x (fma y 2.0 x) (* y y)))) (sqrt (fma x (fma y 2.0 x) (* y y))))
  (* (sqrt (sqrt (fma x (fma y 2.0 x) (* y y)))) (sqrt (fma x (fma y 2.0 x) (* y y))))
  (* (sqrt (fma x (fma y 2.0 x) (* y y))) (sqrt (fma x (fma y 2.0 x) (* y y))))
  (* (sqrt (sqrt (fma x (fma y 2.0 x) (* y y)))) (sqrt (fma x (fma y 2.0 x) (* y y))))
  (* (sqrt (fma x (fma y 2.0 x) (* y y))) (sqrt (fma x (fma y 2.0 x) (* y y))))
  (expm1 (fma x (fma y 2.0 x) (* y y)))
  (log1p (fma x (fma y 2.0 x) (* y y)))
  (* x (fma y 2.0 x))
  (log (fma x (fma y 2.0 x) (* y y)))
  (exp (fma x (fma y 2.0 x) (* y y)))
  (* (cbrt (fma x (fma y 2.0 x) (* y y))) (cbrt (fma x (fma y 2.0 x) (* y y))))
  (cbrt (fma x (fma y 2.0 x) (* y y)))
  (* (* (fma x (fma y 2.0 x) (* y y)) (fma x (fma y 2.0 x) (* y y))) (fma x (fma y 2.0 x) (* y y)))
  (sqrt (fma x (fma y 2.0 x) (* y y)))
  (sqrt (fma x (fma y 2.0 x) (* y y)))
  (+ (* 1.0 x) y)
  (+ x (* 1.0 y))
  (- (+ x (* 1.0 y)))
  (+ (* 1.0 x) y)
  (+ x (* 1.0 y))
  (- (+ x (* 1.0 y)))
  (+ (pow x 2) (+ (pow y 2) (* 2.0 (* x y))))
  (+ (pow x 2) (+ (pow y 2) (* 2.0 (* x y))))
  (+ (pow x 2) (+ (pow y 2) (* 2.0 (* x y))))
  (+ (pow x 2) (+ (pow y 2) (* 2.0 (* x y))))
  (+ (pow x 2) (+ (pow y 2) (* 2.0 (* x y))))
  (+ (pow x 2) (+ (pow y 2) (* 2.0 (* x y))))
1.252 * * [simplify]: iteration  0 :  77  enodes  (cost  1929 )
1.273 * * [simplify]: iteration  1 :  134  enodes  (cost  1333 )
1.295 * * [simplify]: iteration  2 :  315  enodes  (cost  1171 )
1.488 * * [simplify]: iteration  3 :  1073  enodes  (cost  1120 )
2.370 * * [simplify]: iteration  done :  5000  enodes  (cost  1120 )
2.371 * [simplify]: Simplified to:
   (expm1 (sqrt (fma x (fma y 2.0 x) (* y y))))
  (log1p (sqrt (fma x (fma y 2.0 x) (* y y))))
  (log (sqrt (fma (fma y 2.0 x) x (* y y))))
  (exp (sqrt (fma x (fma y 2.0 x) (* y y))))
  (* (cbrt (sqrt (fma x (fma y 2.0 x) (* y y)))) (cbrt (sqrt (fma x (fma y 2.0 x) (* y y)))))
  (cbrt (sqrt (fma x (fma y 2.0 x) (* y y))))
  (pow (sqrt (fma x (fma y 2.0 x) (* y y))) 3)
  (fabs (cbrt (fma x (fma y 2.0 x) (* y y))))
  (sqrt (cbrt (fma x (fma y 2.0 x) (* y y))))
  (sqrt (sqrt (fma x (fma y 2.0 x) (* y y))))
  (sqrt (sqrt (fma x (fma y 2.0 x) (* y y))))
  1
  (sqrt (fma (fma y 2.0 x) x (* y y)))
  1/2
  (sqrt (sqrt (fma x (fma y 2.0 x) (* y y))))
  (sqrt (sqrt (fma x (fma y 2.0 x) (* y y))))
  (expm1 (sqrt (fma x (fma y 2.0 x) (* y y))))
  (log1p (sqrt (fma x (fma y 2.0 x) (* y y))))
  (log (sqrt (fma (fma y 2.0 x) x (* y y))))
  (exp (sqrt (fma x (fma y 2.0 x) (* y y))))
  (* (cbrt (sqrt (fma x (fma y 2.0 x) (* y y)))) (cbrt (sqrt (fma x (fma y 2.0 x) (* y y)))))
  (cbrt (sqrt (fma x (fma y 2.0 x) (* y y))))
  (pow (sqrt (fma x (fma y 2.0 x) (* y y))) 3)
  (fabs (cbrt (fma x (fma y 2.0 x) (* y y))))
  (sqrt (cbrt (fma x (fma y 2.0 x) (* y y))))
  (sqrt (sqrt (fma x (fma y 2.0 x) (* y y))))
  (sqrt (sqrt (fma x (fma y 2.0 x) (* y y))))
  1
  (sqrt (fma (fma y 2.0 x) x (* y y)))
  1/2
  (sqrt (sqrt (fma x (fma y 2.0 x) (* y y))))
  (sqrt (sqrt (fma x (fma y 2.0 x) (* y y))))
  (expm1 (fma x (fma y 2.0 x) (* y y)))
  (log1p (fma x (fma y 2.0 x) (* y y)))
  1
  1
  2
  1
  1
  (pow (sqrt (fma (fma y 2.0 x) x (* y y))) 4)
  (fma (fma y 2.0 x) x (* y y))
  (pow (sqrt (fma (fma y 2.0 x) x (* y y))) 4)
  2
  (log (fma x (fma y 2.0 x) (* y y)))
  (log (fma x (fma y 2.0 x) (* y y)))
  (exp (fma x (fma y 2.0 x) (* y y)))
  (pow (fma (fma y 2.0 x) x (* y y)) 3)
  (* (cbrt (fma x (fma y 2.0 x) (* y y))) (cbrt (fma x (fma y 2.0 x) (* y y))))
  (cbrt (fma x (fma y 2.0 x) (* y y)))
  (pow (fma (fma y 2.0 x) x (* y y)) 3)
  (pow (sqrt (fma (fma y 2.0 x) x (* y y))) 4)
  (sqrt (fma (fma y 2.0 x) x (* y y)))
  (sqrt (fma (fma y 2.0 x) x (* y y)))
  (pow (cbrt (sqrt (fma x (fma y 2.0 x) (* y y)))) 4)
  (* (cbrt (sqrt (fma x (fma y 2.0 x) (* y y)))) (cbrt (sqrt (fma x (fma y 2.0 x) (* y y)))))
  (* (cbrt (fma x (fma y 2.0 x) (* y y))) (cbrt (fma x (fma y 2.0 x) (* y y))))
  (cbrt (fma x (fma y 2.0 x) (* y y)))
  (sqrt (fma (fma y 2.0 x) x (* y y)))
  (sqrt (fma (fma y 2.0 x) x (* y y)))
  (sqrt (fma (fma y 2.0 x) x (* y y)))
  (sqrt (fma (fma y 2.0 x) x (* y y)))
  1
  (fma (fma y 2.0 x) x (* y y))
  (sqrt (fma (fma y 2.0 x) x (* y y)))
  (sqrt (fma (fma y 2.0 x) x (* y y)))
  (sqrt (fma (fma y 2.0 x) x (* y y)))
  (sqrt (fma (fma y 2.0 x) x (* y y)))
  1
  (fma (fma y 2.0 x) x (* y y))
  (sqrt (fma (fma y 2.0 x) x (* y y)))
  (sqrt (fma (fma y 2.0 x) x (* y y)))
  (sqrt (fma (fma y 2.0 x) x (* y y)))
  (sqrt (fma (fma y 2.0 x) x (* y y)))
  (sqrt (fma (fma y 2.0 x) x (* y y)))
  (sqrt (fma (fma y 2.0 x) x (* y y)))
  (sqrt (fma (fma y 2.0 x) x (* y y)))
  (sqrt (fma (fma y 2.0 x) x (* y y)))
  1
  2
  1
  (* (cbrt (sqrt (fma x (fma y 2.0 x) (* y y)))) (pow (cbrt (sqrt (fma x (fma y 2.0 x) (* y y)))) 4))
  (* (sqrt (fma x (fma y 2.0 x) (* y y))) (fabs (cbrt (fma x (fma y 2.0 x) (* y y)))))
  (pow (sqrt (sqrt (fma x (fma y 2.0 x) (* y y)))) 3)
  (sqrt (fma (fma y 2.0 x) x (* y y)))
  (pow (sqrt (sqrt (fma x (fma y 2.0 x) (* y y)))) 3)
  (sqrt (fma (fma y 2.0 x) x (* y y)))
  (pow (cbrt (sqrt (fma x (fma y 2.0 x) (* y y)))) 4)
  (* (sqrt (cbrt (fma x (fma y 2.0 x) (* y y)))) (sqrt (fma x (fma y 2.0 x) (* y y))))
  (pow (sqrt (sqrt (fma x (fma y 2.0 x) (* y y)))) 3)
  (fma (fma y 2.0 x) x (* y y))
  (pow (sqrt (sqrt (fma x (fma y 2.0 x) (* y y)))) 3)
  (fma (fma y 2.0 x) x (* y y))
  (expm1 (fma x (fma y 2.0 x) (* y y)))
  (log1p (fma x (fma y 2.0 x) (* y y)))
  (* (fma y 2.0 x) x)
  (log (fma x (fma y 2.0 x) (* y y)))
  (exp (fma x (fma y 2.0 x) (* y y)))
  (* (cbrt (fma x (fma y 2.0 x) (* y y))) (cbrt (fma x (fma y 2.0 x) (* y y))))
  (cbrt (fma x (fma y 2.0 x) (* y y)))
  (pow (fma (fma y 2.0 x) x (* y y)) 3)
  (sqrt (fma (fma y 2.0 x) x (* y y)))
  (sqrt (fma (fma y 2.0 x) x (* y y)))
  (fma 1.0 x y)
  (fma y 1.0 x)
  (- (fma y 1.0 x))
  (fma 1.0 x y)
  (fma y 1.0 x)
  (- (fma y 1.0 x))
  (fma (fma y 2.0 x) x (* y y))
  (fma (fma y 2.0 x) x (* y y))
  (fma (fma y 2.0 x) x (* y y))
  (fma (fma y 2.0 x) x (* y y))
  (fma (fma y 2.0 x) x (* y y))
  (fma (fma y 2.0 x) x (* y y))
2.371 * * * [progress]: adding candidates to table
2.592 * * [progress]: iteration 3 / 4
2.592 * * * [progress]: picking best candidate
2.594 * * * * [pick]: Picked  #<alt (λ (x y) (* (* (cbrt (fma x (fma y 2.0 x) (* y y))) (cbrt (fma x (fma y 2.0 x) (* y y)))) (cbrt (fma x (fma y 2.0 x) (* y y)))))>
2.595 * * * [progress]: localizing error
2.605 * * * [progress]: generating rewritten candidates
2.605 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
2.605 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
2.606 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
2.607 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
2.615 * * * [progress]: generating series expansions
2.615 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
2.615 * [approximate]: Taking taylor expansion of (pow (fma x (fma y 2.0 x) (pow y 2)) 1/3) in (x y) around 0
2.615 * [taylor]: Taking taylor expansion of (pow (fma x (fma y 2.0 x) (pow y 2)) 1/3) in y
2.615 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma x (fma y 2.0 x) (pow y 2))))) in y
2.615 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma x (fma y 2.0 x) (pow y 2)))) in y
2.615 * [taylor]: Taking taylor expansion of 1/3 in y
2.615 * [taylor]: Taking taylor expansion of (log (fma x (fma y 2.0 x) (pow y 2))) in y
2.615 * [taylor]: Taking taylor expansion of (fma x (fma y 2.0 x) (pow y 2)) in y
2.615 * [taylor]: Rewrote expression to (+ (* x (fma y 2.0 x)) (pow y 2))
2.615 * [taylor]: Taking taylor expansion of (* x (fma y 2.0 x)) in y
2.615 * [taylor]: Taking taylor expansion of x in y
2.615 * [taylor]: Taking taylor expansion of (fma y 2.0 x) in y
2.615 * [taylor]: Rewrote expression to (+ (* y 2.0) x)
2.615 * [taylor]: Taking taylor expansion of (* y 2.0) in y
2.615 * [taylor]: Taking taylor expansion of y in y
2.615 * [taylor]: Taking taylor expansion of 2.0 in y
2.615 * [taylor]: Taking taylor expansion of x in y
2.615 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.615 * [taylor]: Taking taylor expansion of y in y
2.616 * [taylor]: Taking taylor expansion of (pow (fma x (fma y 2.0 x) (pow y 2)) 1/3) in x
2.616 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma x (fma y 2.0 x) (pow y 2))))) in x
2.616 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma x (fma y 2.0 x) (pow y 2)))) in x
2.616 * [taylor]: Taking taylor expansion of 1/3 in x
2.616 * [taylor]: Taking taylor expansion of (log (fma x (fma y 2.0 x) (pow y 2))) in x
2.616 * [taylor]: Taking taylor expansion of (fma x (fma y 2.0 x) (pow y 2)) in x
2.616 * [taylor]: Rewrote expression to (+ (* x (fma y 2.0 x)) (pow y 2))
2.616 * [taylor]: Taking taylor expansion of (* x (fma y 2.0 x)) in x
2.616 * [taylor]: Taking taylor expansion of x in x
2.616 * [taylor]: Taking taylor expansion of (fma y 2.0 x) in x
2.616 * [taylor]: Rewrote expression to (+ (* y 2.0) x)
2.616 * [taylor]: Taking taylor expansion of (* y 2.0) in x
2.616 * [taylor]: Taking taylor expansion of y in x
2.616 * [taylor]: Taking taylor expansion of 2.0 in x
2.616 * [taylor]: Taking taylor expansion of x in x
2.616 * [taylor]: Taking taylor expansion of (pow y 2) in x
2.617 * [taylor]: Taking taylor expansion of y in x
2.617 * [taylor]: Taking taylor expansion of (pow (fma x (fma y 2.0 x) (pow y 2)) 1/3) in x
2.617 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma x (fma y 2.0 x) (pow y 2))))) in x
2.617 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma x (fma y 2.0 x) (pow y 2)))) in x
2.617 * [taylor]: Taking taylor expansion of 1/3 in x
2.617 * [taylor]: Taking taylor expansion of (log (fma x (fma y 2.0 x) (pow y 2))) in x
2.617 * [taylor]: Taking taylor expansion of (fma x (fma y 2.0 x) (pow y 2)) in x
2.617 * [taylor]: Rewrote expression to (+ (* x (fma y 2.0 x)) (pow y 2))
2.617 * [taylor]: Taking taylor expansion of (* x (fma y 2.0 x)) in x
2.617 * [taylor]: Taking taylor expansion of x in x
2.617 * [taylor]: Taking taylor expansion of (fma y 2.0 x) in x
2.617 * [taylor]: Rewrote expression to (+ (* y 2.0) x)
2.617 * [taylor]: Taking taylor expansion of (* y 2.0) in x
2.617 * [taylor]: Taking taylor expansion of y in x
2.617 * [taylor]: Taking taylor expansion of 2.0 in x
2.617 * [taylor]: Taking taylor expansion of x in x
2.617 * [taylor]: Taking taylor expansion of (pow y 2) in x
2.617 * [taylor]: Taking taylor expansion of y in x
2.618 * [taylor]: Taking taylor expansion of (pow (pow y 2) 1/3) in y
2.618 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow y 2)))) in y
2.618 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow y 2))) in y
2.618 * [taylor]: Taking taylor expansion of 1/3 in y
2.618 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y
2.618 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.618 * [taylor]: Taking taylor expansion of y in y
2.620 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (/ 1 y) 1/3)) in y
2.620 * [taylor]: Taking taylor expansion of 0.6666666666666666 in y
2.620 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
2.620 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
2.620 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
2.620 * [taylor]: Taking taylor expansion of 1/3 in y
2.620 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
2.620 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.620 * [taylor]: Taking taylor expansion of y in y
2.627 * [taylor]: Taking taylor expansion of (* -0.1111111111111111 (pow (/ 1 (pow y 4)) 1/3)) in y
2.627 * [taylor]: Taking taylor expansion of -0.1111111111111111 in y
2.627 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 4)) 1/3) in y
2.627 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 4))))) in y
2.627 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 4)))) in y
2.627 * [taylor]: Taking taylor expansion of 1/3 in y
2.627 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 4))) in y
2.627 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
2.627 * [taylor]: Taking taylor expansion of (pow y 4) in y
2.627 * [taylor]: Taking taylor expansion of y in y
2.629 * [approximate]: Taking taylor expansion of (pow (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2))) 1/3) in (x y) around 0
2.629 * [taylor]: Taking taylor expansion of (pow (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2))) 1/3) in y
2.629 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2)))))) in y
2.629 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2))))) in y
2.629 * [taylor]: Taking taylor expansion of 1/3 in y
2.629 * [taylor]: Taking taylor expansion of (log (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2)))) in y
2.629 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2))) in y
2.629 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x))) (/ 1 (pow y 2)))
2.629 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x))) in y
2.630 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.630 * [taylor]: Taking taylor expansion of x in y
2.630 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 (/ 1 x)) in y
2.630 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) (/ 1 x))
2.630 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in y
2.630 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.630 * [taylor]: Taking taylor expansion of y in y
2.630 * [taylor]: Taking taylor expansion of 2.0 in y
2.630 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.630 * [taylor]: Taking taylor expansion of x in y
2.630 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.630 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.630 * [taylor]: Taking taylor expansion of y in y
2.631 * [taylor]: Taking taylor expansion of (pow (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2))) 1/3) in x
2.632 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2)))))) in x
2.632 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2))))) in x
2.632 * [taylor]: Taking taylor expansion of 1/3 in x
2.632 * [taylor]: Taking taylor expansion of (log (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2)))) in x
2.632 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2))) in x
2.632 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x))) (/ 1 (pow y 2)))
2.632 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x))) in x
2.632 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.632 * [taylor]: Taking taylor expansion of x in x
2.632 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 (/ 1 x)) in x
2.632 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) (/ 1 x))
2.632 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in x
2.632 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.632 * [taylor]: Taking taylor expansion of y in x
2.632 * [taylor]: Taking taylor expansion of 2.0 in x
2.632 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.632 * [taylor]: Taking taylor expansion of x in x
2.633 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
2.633 * [taylor]: Taking taylor expansion of (pow y 2) in x
2.633 * [taylor]: Taking taylor expansion of y in x
2.634 * [taylor]: Taking taylor expansion of (pow (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2))) 1/3) in x
2.634 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2)))))) in x
2.634 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2))))) in x
2.634 * [taylor]: Taking taylor expansion of 1/3 in x
2.634 * [taylor]: Taking taylor expansion of (log (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2)))) in x
2.634 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2))) in x
2.634 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x))) (/ 1 (pow y 2)))
2.634 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x))) in x
2.634 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.634 * [taylor]: Taking taylor expansion of x in x
2.635 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 (/ 1 x)) in x
2.635 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) (/ 1 x))
2.635 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in x
2.635 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.635 * [taylor]: Taking taylor expansion of y in x
2.635 * [taylor]: Taking taylor expansion of 2.0 in x
2.635 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.635 * [taylor]: Taking taylor expansion of x in x
2.635 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
2.635 * [taylor]: Taking taylor expansion of (pow y 2) in x
2.635 * [taylor]: Taking taylor expansion of y in x
2.637 * [taylor]: Taking taylor expansion of (pow x -2/3) in y
2.637 * [taylor]: Taking taylor expansion of (exp (* -2/3 (log x))) in y
2.637 * [taylor]: Taking taylor expansion of (* -2/3 (log x)) in y
2.637 * [taylor]: Taking taylor expansion of -2/3 in y
2.637 * [taylor]: Taking taylor expansion of (log x) in y
2.637 * [taylor]: Taking taylor expansion of x in y
2.639 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (* (pow (/ 1 (pow x 2)) 1/3) (/ 1 y))) in y
2.639 * [taylor]: Taking taylor expansion of 0.6666666666666666 in y
2.639 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (/ 1 y)) in y
2.639 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in y
2.639 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in y
2.639 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in y
2.639 * [taylor]: Taking taylor expansion of 1/3 in y
2.639 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in y
2.639 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
2.639 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.639 * [taylor]: Taking taylor expansion of x in y
2.640 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.640 * [taylor]: Taking taylor expansion of y in y
2.648 * [taylor]: Taking taylor expansion of (* -0.1111111111111111 (* (pow (/ 1 (pow x 2)) 1/3) (/ 1 (pow y 2)))) in y
2.648 * [taylor]: Taking taylor expansion of -0.1111111111111111 in y
2.648 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (/ 1 (pow y 2))) in y
2.648 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in y
2.648 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in y
2.648 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in y
2.648 * [taylor]: Taking taylor expansion of 1/3 in y
2.648 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in y
2.648 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
2.648 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.648 * [taylor]: Taking taylor expansion of x in y
2.649 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.649 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.649 * [taylor]: Taking taylor expansion of y in y
2.675 * [taylor]: Taking taylor expansion of (* 0.04938271604938271 (* (pow (/ 1 (pow x 2)) 1/3) (/ 1 (pow y 3)))) in y
2.675 * [taylor]: Taking taylor expansion of 0.04938271604938271 in y
2.675 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (/ 1 (pow y 3))) in y
2.675 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in y
2.675 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in y
2.675 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in y
2.675 * [taylor]: Taking taylor expansion of 1/3 in y
2.675 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in y
2.675 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
2.675 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.675 * [taylor]: Taking taylor expansion of x in y
2.675 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
2.675 * [taylor]: Taking taylor expansion of (pow y 3) in y
2.675 * [taylor]: Taking taylor expansion of y in y
2.692 * [approximate]: Taking taylor expansion of (pow (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2))) 1/3) in (x y) around 0
2.692 * [taylor]: Taking taylor expansion of (pow (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2))) 1/3) in y
2.693 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2)))))) in y
2.693 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2))))) in y
2.693 * [taylor]: Taking taylor expansion of 1/3 in y
2.693 * [taylor]: Taking taylor expansion of (log (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2)))) in y
2.693 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2))) in y
2.693 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x))) (/ 1 (pow y 2)))
2.693 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x))) in y
2.693 * [taylor]: Taking taylor expansion of (/ -1 x) in y
2.693 * [taylor]: Taking taylor expansion of -1 in y
2.693 * [taylor]: Taking taylor expansion of x in y
2.693 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 (/ -1 x)) in y
2.693 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) (/ -1 x))
2.693 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in y
2.693 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.693 * [taylor]: Taking taylor expansion of -1 in y
2.693 * [taylor]: Taking taylor expansion of y in y
2.693 * [taylor]: Taking taylor expansion of 2.0 in y
2.693 * [taylor]: Taking taylor expansion of (/ -1 x) in y
2.693 * [taylor]: Taking taylor expansion of -1 in y
2.693 * [taylor]: Taking taylor expansion of x in y
2.693 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.693 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.693 * [taylor]: Taking taylor expansion of y in y
2.695 * [taylor]: Taking taylor expansion of (pow (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2))) 1/3) in x
2.695 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2)))))) in x
2.695 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2))))) in x
2.695 * [taylor]: Taking taylor expansion of 1/3 in x
2.695 * [taylor]: Taking taylor expansion of (log (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2)))) in x
2.695 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2))) in x
2.695 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x))) (/ 1 (pow y 2)))
2.695 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x))) in x
2.695 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.695 * [taylor]: Taking taylor expansion of -1 in x
2.695 * [taylor]: Taking taylor expansion of x in x
2.695 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 (/ -1 x)) in x
2.695 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) (/ -1 x))
2.696 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in x
2.696 * [taylor]: Taking taylor expansion of (/ -1 y) in x
2.696 * [taylor]: Taking taylor expansion of -1 in x
2.696 * [taylor]: Taking taylor expansion of y in x
2.696 * [taylor]: Taking taylor expansion of 2.0 in x
2.696 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.696 * [taylor]: Taking taylor expansion of -1 in x
2.696 * [taylor]: Taking taylor expansion of x in x
2.696 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
2.696 * [taylor]: Taking taylor expansion of (pow y 2) in x
2.696 * [taylor]: Taking taylor expansion of y in x
2.697 * [taylor]: Taking taylor expansion of (pow (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2))) 1/3) in x
2.697 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2)))))) in x
2.698 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2))))) in x
2.698 * [taylor]: Taking taylor expansion of 1/3 in x
2.698 * [taylor]: Taking taylor expansion of (log (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2)))) in x
2.698 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2))) in x
2.698 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x))) (/ 1 (pow y 2)))
2.698 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x))) in x
2.698 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.698 * [taylor]: Taking taylor expansion of -1 in x
2.698 * [taylor]: Taking taylor expansion of x in x
2.698 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 (/ -1 x)) in x
2.698 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) (/ -1 x))
2.698 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in x
2.698 * [taylor]: Taking taylor expansion of (/ -1 y) in x
2.698 * [taylor]: Taking taylor expansion of -1 in x
2.698 * [taylor]: Taking taylor expansion of y in x
2.698 * [taylor]: Taking taylor expansion of 2.0 in x
2.698 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.698 * [taylor]: Taking taylor expansion of -1 in x
2.698 * [taylor]: Taking taylor expansion of x in x
2.699 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
2.699 * [taylor]: Taking taylor expansion of (pow y 2) in x
2.699 * [taylor]: Taking taylor expansion of y in x
2.700 * [taylor]: Taking taylor expansion of (pow x -2/3) in y
2.700 * [taylor]: Taking taylor expansion of (exp (* -2/3 (log x))) in y
2.700 * [taylor]: Taking taylor expansion of (* -2/3 (log x)) in y
2.700 * [taylor]: Taking taylor expansion of -2/3 in y
2.700 * [taylor]: Taking taylor expansion of (log x) in y
2.700 * [taylor]: Taking taylor expansion of x in y
2.703 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (* (pow (/ 1 (pow x 2)) 1/3) (/ 1 y))) in y
2.703 * [taylor]: Taking taylor expansion of 0.6666666666666666 in y
2.703 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (/ 1 y)) in y
2.703 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in y
2.703 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in y
2.703 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in y
2.703 * [taylor]: Taking taylor expansion of 1/3 in y
2.703 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in y
2.703 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
2.703 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.703 * [taylor]: Taking taylor expansion of x in y
2.703 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.703 * [taylor]: Taking taylor expansion of y in y
2.712 * [taylor]: Taking taylor expansion of (* -0.1111111111111111 (* (pow (/ 1 (pow x 2)) 1/3) (/ 1 (pow y 2)))) in y
2.712 * [taylor]: Taking taylor expansion of -0.1111111111111111 in y
2.712 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (/ 1 (pow y 2))) in y
2.712 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in y
2.712 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in y
2.712 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in y
2.712 * [taylor]: Taking taylor expansion of 1/3 in y
2.712 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in y
2.712 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
2.712 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.712 * [taylor]: Taking taylor expansion of x in y
2.713 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.713 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.713 * [taylor]: Taking taylor expansion of y in y
2.735 * [taylor]: Taking taylor expansion of (* 0.04938271604938271 (* (pow (/ 1 (pow x 2)) 1/3) (/ 1 (pow y 3)))) in y
2.735 * [taylor]: Taking taylor expansion of 0.04938271604938271 in y
2.736 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (/ 1 (pow y 3))) in y
2.736 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in y
2.736 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in y
2.736 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in y
2.736 * [taylor]: Taking taylor expansion of 1/3 in y
2.736 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in y
2.736 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
2.736 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.736 * [taylor]: Taking taylor expansion of x in y
2.736 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
2.736 * [taylor]: Taking taylor expansion of (pow y 3) in y
2.736 * [taylor]: Taking taylor expansion of y in y
2.759 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
2.759 * [approximate]: Taking taylor expansion of (pow (fma x (fma y 2.0 x) (pow y 2)) 1/3) in (x y) around 0
2.759 * [taylor]: Taking taylor expansion of (pow (fma x (fma y 2.0 x) (pow y 2)) 1/3) in y
2.759 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma x (fma y 2.0 x) (pow y 2))))) in y
2.759 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma x (fma y 2.0 x) (pow y 2)))) in y
2.759 * [taylor]: Taking taylor expansion of 1/3 in y
2.759 * [taylor]: Taking taylor expansion of (log (fma x (fma y 2.0 x) (pow y 2))) in y
2.759 * [taylor]: Taking taylor expansion of (fma x (fma y 2.0 x) (pow y 2)) in y
2.759 * [taylor]: Rewrote expression to (+ (* x (fma y 2.0 x)) (pow y 2))
2.759 * [taylor]: Taking taylor expansion of (* x (fma y 2.0 x)) in y
2.759 * [taylor]: Taking taylor expansion of x in y
2.759 * [taylor]: Taking taylor expansion of (fma y 2.0 x) in y
2.759 * [taylor]: Rewrote expression to (+ (* y 2.0) x)
2.759 * [taylor]: Taking taylor expansion of (* y 2.0) in y
2.760 * [taylor]: Taking taylor expansion of y in y
2.760 * [taylor]: Taking taylor expansion of 2.0 in y
2.760 * [taylor]: Taking taylor expansion of x in y
2.760 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.760 * [taylor]: Taking taylor expansion of y in y
2.760 * [taylor]: Taking taylor expansion of (pow (fma x (fma y 2.0 x) (pow y 2)) 1/3) in x
2.760 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma x (fma y 2.0 x) (pow y 2))))) in x
2.760 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma x (fma y 2.0 x) (pow y 2)))) in x
2.760 * [taylor]: Taking taylor expansion of 1/3 in x
2.760 * [taylor]: Taking taylor expansion of (log (fma x (fma y 2.0 x) (pow y 2))) in x
2.760 * [taylor]: Taking taylor expansion of (fma x (fma y 2.0 x) (pow y 2)) in x
2.760 * [taylor]: Rewrote expression to (+ (* x (fma y 2.0 x)) (pow y 2))
2.760 * [taylor]: Taking taylor expansion of (* x (fma y 2.0 x)) in x
2.760 * [taylor]: Taking taylor expansion of x in x
2.760 * [taylor]: Taking taylor expansion of (fma y 2.0 x) in x
2.761 * [taylor]: Rewrote expression to (+ (* y 2.0) x)
2.761 * [taylor]: Taking taylor expansion of (* y 2.0) in x
2.761 * [taylor]: Taking taylor expansion of y in x
2.761 * [taylor]: Taking taylor expansion of 2.0 in x
2.761 * [taylor]: Taking taylor expansion of x in x
2.761 * [taylor]: Taking taylor expansion of (pow y 2) in x
2.761 * [taylor]: Taking taylor expansion of y in x
2.761 * [taylor]: Taking taylor expansion of (pow (fma x (fma y 2.0 x) (pow y 2)) 1/3) in x
2.761 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma x (fma y 2.0 x) (pow y 2))))) in x
2.761 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma x (fma y 2.0 x) (pow y 2)))) in x
2.761 * [taylor]: Taking taylor expansion of 1/3 in x
2.761 * [taylor]: Taking taylor expansion of (log (fma x (fma y 2.0 x) (pow y 2))) in x
2.761 * [taylor]: Taking taylor expansion of (fma x (fma y 2.0 x) (pow y 2)) in x
2.761 * [taylor]: Rewrote expression to (+ (* x (fma y 2.0 x)) (pow y 2))
2.761 * [taylor]: Taking taylor expansion of (* x (fma y 2.0 x)) in x
2.761 * [taylor]: Taking taylor expansion of x in x
2.761 * [taylor]: Taking taylor expansion of (fma y 2.0 x) in x
2.761 * [taylor]: Rewrote expression to (+ (* y 2.0) x)
2.761 * [taylor]: Taking taylor expansion of (* y 2.0) in x
2.761 * [taylor]: Taking taylor expansion of y in x
2.761 * [taylor]: Taking taylor expansion of 2.0 in x
2.761 * [taylor]: Taking taylor expansion of x in x
2.761 * [taylor]: Taking taylor expansion of (pow y 2) in x
2.761 * [taylor]: Taking taylor expansion of y in x
2.762 * [taylor]: Taking taylor expansion of (pow (pow y 2) 1/3) in y
2.762 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow y 2)))) in y
2.762 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow y 2))) in y
2.762 * [taylor]: Taking taylor expansion of 1/3 in y
2.762 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y
2.762 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.762 * [taylor]: Taking taylor expansion of y in y
2.764 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (/ 1 y) 1/3)) in y
2.764 * [taylor]: Taking taylor expansion of 0.6666666666666666 in y
2.764 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
2.764 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
2.764 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
2.764 * [taylor]: Taking taylor expansion of 1/3 in y
2.765 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
2.765 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.765 * [taylor]: Taking taylor expansion of y in y
2.771 * [taylor]: Taking taylor expansion of (* -0.1111111111111111 (pow (/ 1 (pow y 4)) 1/3)) in y
2.771 * [taylor]: Taking taylor expansion of -0.1111111111111111 in y
2.771 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 4)) 1/3) in y
2.771 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 4))))) in y
2.771 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 4)))) in y
2.771 * [taylor]: Taking taylor expansion of 1/3 in y
2.771 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 4))) in y
2.771 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
2.771 * [taylor]: Taking taylor expansion of (pow y 4) in y
2.771 * [taylor]: Taking taylor expansion of y in y
2.774 * [approximate]: Taking taylor expansion of (pow (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2))) 1/3) in (x y) around 0
2.774 * [taylor]: Taking taylor expansion of (pow (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2))) 1/3) in y
2.774 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2)))))) in y
2.774 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2))))) in y
2.774 * [taylor]: Taking taylor expansion of 1/3 in y
2.774 * [taylor]: Taking taylor expansion of (log (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2)))) in y
2.774 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2))) in y
2.774 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x))) (/ 1 (pow y 2)))
2.774 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x))) in y
2.774 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.774 * [taylor]: Taking taylor expansion of x in y
2.774 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 (/ 1 x)) in y
2.774 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) (/ 1 x))
2.774 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in y
2.774 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.774 * [taylor]: Taking taylor expansion of y in y
2.774 * [taylor]: Taking taylor expansion of 2.0 in y
2.774 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.774 * [taylor]: Taking taylor expansion of x in y
2.774 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.774 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.774 * [taylor]: Taking taylor expansion of y in y
2.776 * [taylor]: Taking taylor expansion of (pow (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2))) 1/3) in x
2.776 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2)))))) in x
2.776 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2))))) in x
2.776 * [taylor]: Taking taylor expansion of 1/3 in x
2.776 * [taylor]: Taking taylor expansion of (log (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2)))) in x
2.776 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2))) in x
2.776 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x))) (/ 1 (pow y 2)))
2.776 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x))) in x
2.776 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.776 * [taylor]: Taking taylor expansion of x in x
2.776 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 (/ 1 x)) in x
2.777 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) (/ 1 x))
2.777 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in x
2.777 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.777 * [taylor]: Taking taylor expansion of y in x
2.777 * [taylor]: Taking taylor expansion of 2.0 in x
2.777 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.777 * [taylor]: Taking taylor expansion of x in x
2.777 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
2.777 * [taylor]: Taking taylor expansion of (pow y 2) in x
2.777 * [taylor]: Taking taylor expansion of y in x
2.779 * [taylor]: Taking taylor expansion of (pow (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2))) 1/3) in x
2.779 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2)))))) in x
2.779 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2))))) in x
2.779 * [taylor]: Taking taylor expansion of 1/3 in x
2.779 * [taylor]: Taking taylor expansion of (log (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2)))) in x
2.779 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2))) in x
2.779 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x))) (/ 1 (pow y 2)))
2.779 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x))) in x
2.779 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.779 * [taylor]: Taking taylor expansion of x in x
2.779 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 (/ 1 x)) in x
2.779 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) (/ 1 x))
2.779 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in x
2.779 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.779 * [taylor]: Taking taylor expansion of y in x
2.779 * [taylor]: Taking taylor expansion of 2.0 in x
2.779 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.779 * [taylor]: Taking taylor expansion of x in x
2.780 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
2.780 * [taylor]: Taking taylor expansion of (pow y 2) in x
2.780 * [taylor]: Taking taylor expansion of y in x
2.781 * [taylor]: Taking taylor expansion of (pow x -2/3) in y
2.781 * [taylor]: Taking taylor expansion of (exp (* -2/3 (log x))) in y
2.781 * [taylor]: Taking taylor expansion of (* -2/3 (log x)) in y
2.781 * [taylor]: Taking taylor expansion of -2/3 in y
2.781 * [taylor]: Taking taylor expansion of (log x) in y
2.781 * [taylor]: Taking taylor expansion of x in y
2.784 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (* (pow (/ 1 (pow x 2)) 1/3) (/ 1 y))) in y
2.784 * [taylor]: Taking taylor expansion of 0.6666666666666666 in y
2.784 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (/ 1 y)) in y
2.784 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in y
2.784 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in y
2.784 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in y
2.784 * [taylor]: Taking taylor expansion of 1/3 in y
2.784 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in y
2.784 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
2.784 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.784 * [taylor]: Taking taylor expansion of x in y
2.784 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.784 * [taylor]: Taking taylor expansion of y in y
2.793 * [taylor]: Taking taylor expansion of (* -0.1111111111111111 (* (pow (/ 1 (pow x 2)) 1/3) (/ 1 (pow y 2)))) in y
2.793 * [taylor]: Taking taylor expansion of -0.1111111111111111 in y
2.793 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (/ 1 (pow y 2))) in y
2.793 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in y
2.793 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in y
2.793 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in y
2.793 * [taylor]: Taking taylor expansion of 1/3 in y
2.793 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in y
2.793 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
2.793 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.793 * [taylor]: Taking taylor expansion of x in y
2.793 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.793 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.793 * [taylor]: Taking taylor expansion of y in y
2.814 * [taylor]: Taking taylor expansion of (* 0.04938271604938271 (* (pow (/ 1 (pow x 2)) 1/3) (/ 1 (pow y 3)))) in y
2.814 * [taylor]: Taking taylor expansion of 0.04938271604938271 in y
2.814 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (/ 1 (pow y 3))) in y
2.814 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in y
2.814 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in y
2.814 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in y
2.814 * [taylor]: Taking taylor expansion of 1/3 in y
2.815 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in y
2.815 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
2.815 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.815 * [taylor]: Taking taylor expansion of x in y
2.815 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
2.815 * [taylor]: Taking taylor expansion of (pow y 3) in y
2.815 * [taylor]: Taking taylor expansion of y in y
2.832 * [approximate]: Taking taylor expansion of (pow (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2))) 1/3) in (x y) around 0
2.832 * [taylor]: Taking taylor expansion of (pow (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2))) 1/3) in y
2.832 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2)))))) in y
2.832 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2))))) in y
2.832 * [taylor]: Taking taylor expansion of 1/3 in y
2.832 * [taylor]: Taking taylor expansion of (log (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2)))) in y
2.832 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2))) in y
2.832 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x))) (/ 1 (pow y 2)))
2.832 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x))) in y
2.832 * [taylor]: Taking taylor expansion of (/ -1 x) in y
2.832 * [taylor]: Taking taylor expansion of -1 in y
2.832 * [taylor]: Taking taylor expansion of x in y
2.832 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 (/ -1 x)) in y
2.832 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) (/ -1 x))
2.832 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in y
2.832 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.832 * [taylor]: Taking taylor expansion of -1 in y
2.832 * [taylor]: Taking taylor expansion of y in y
2.832 * [taylor]: Taking taylor expansion of 2.0 in y
2.832 * [taylor]: Taking taylor expansion of (/ -1 x) in y
2.832 * [taylor]: Taking taylor expansion of -1 in y
2.832 * [taylor]: Taking taylor expansion of x in y
2.833 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.833 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.833 * [taylor]: Taking taylor expansion of y in y
2.834 * [taylor]: Taking taylor expansion of (pow (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2))) 1/3) in x
2.834 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2)))))) in x
2.834 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2))))) in x
2.834 * [taylor]: Taking taylor expansion of 1/3 in x
2.834 * [taylor]: Taking taylor expansion of (log (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2)))) in x
2.834 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2))) in x
2.834 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x))) (/ 1 (pow y 2)))
2.834 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x))) in x
2.834 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.834 * [taylor]: Taking taylor expansion of -1 in x
2.834 * [taylor]: Taking taylor expansion of x in x
2.834 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 (/ -1 x)) in x
2.835 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) (/ -1 x))
2.835 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in x
2.835 * [taylor]: Taking taylor expansion of (/ -1 y) in x
2.835 * [taylor]: Taking taylor expansion of -1 in x
2.835 * [taylor]: Taking taylor expansion of y in x
2.835 * [taylor]: Taking taylor expansion of 2.0 in x
2.835 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.835 * [taylor]: Taking taylor expansion of -1 in x
2.835 * [taylor]: Taking taylor expansion of x in x
2.835 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
2.835 * [taylor]: Taking taylor expansion of (pow y 2) in x
2.835 * [taylor]: Taking taylor expansion of y in x
2.837 * [taylor]: Taking taylor expansion of (pow (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2))) 1/3) in x
2.837 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2)))))) in x
2.837 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2))))) in x
2.837 * [taylor]: Taking taylor expansion of 1/3 in x
2.837 * [taylor]: Taking taylor expansion of (log (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2)))) in x
2.837 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2))) in x
2.837 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x))) (/ 1 (pow y 2)))
2.837 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x))) in x
2.837 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.837 * [taylor]: Taking taylor expansion of -1 in x
2.837 * [taylor]: Taking taylor expansion of x in x
2.837 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 (/ -1 x)) in x
2.837 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) (/ -1 x))
2.837 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in x
2.837 * [taylor]: Taking taylor expansion of (/ -1 y) in x
2.837 * [taylor]: Taking taylor expansion of -1 in x
2.837 * [taylor]: Taking taylor expansion of y in x
2.838 * [taylor]: Taking taylor expansion of 2.0 in x
2.838 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.838 * [taylor]: Taking taylor expansion of -1 in x
2.838 * [taylor]: Taking taylor expansion of x in x
2.838 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
2.838 * [taylor]: Taking taylor expansion of (pow y 2) in x
2.838 * [taylor]: Taking taylor expansion of y in x
2.844 * [taylor]: Taking taylor expansion of (pow x -2/3) in y
2.844 * [taylor]: Taking taylor expansion of (exp (* -2/3 (log x))) in y
2.844 * [taylor]: Taking taylor expansion of (* -2/3 (log x)) in y
2.844 * [taylor]: Taking taylor expansion of -2/3 in y
2.844 * [taylor]: Taking taylor expansion of (log x) in y
2.844 * [taylor]: Taking taylor expansion of x in y
2.847 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (* (pow (/ 1 (pow x 2)) 1/3) (/ 1 y))) in y
2.847 * [taylor]: Taking taylor expansion of 0.6666666666666666 in y
2.847 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (/ 1 y)) in y
2.847 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in y
2.847 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in y
2.847 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in y
2.847 * [taylor]: Taking taylor expansion of 1/3 in y
2.847 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in y
2.847 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
2.847 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.847 * [taylor]: Taking taylor expansion of x in y
2.847 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.847 * [taylor]: Taking taylor expansion of y in y
2.856 * [taylor]: Taking taylor expansion of (* -0.1111111111111111 (* (pow (/ 1 (pow x 2)) 1/3) (/ 1 (pow y 2)))) in y
2.856 * [taylor]: Taking taylor expansion of -0.1111111111111111 in y
2.856 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (/ 1 (pow y 2))) in y
2.856 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in y
2.856 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in y
2.856 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in y
2.856 * [taylor]: Taking taylor expansion of 1/3 in y
2.856 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in y
2.856 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
2.856 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.856 * [taylor]: Taking taylor expansion of x in y
2.856 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.856 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.856 * [taylor]: Taking taylor expansion of y in y
2.877 * [taylor]: Taking taylor expansion of (* 0.04938271604938271 (* (pow (/ 1 (pow x 2)) 1/3) (/ 1 (pow y 3)))) in y
2.877 * [taylor]: Taking taylor expansion of 0.04938271604938271 in y
2.877 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (/ 1 (pow y 3))) in y
2.877 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in y
2.877 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in y
2.877 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in y
2.878 * [taylor]: Taking taylor expansion of 1/3 in y
2.878 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in y
2.878 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
2.878 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.878 * [taylor]: Taking taylor expansion of x in y
2.878 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
2.878 * [taylor]: Taking taylor expansion of (pow y 3) in y
2.878 * [taylor]: Taking taylor expansion of y in y
2.894 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
2.894 * [approximate]: Taking taylor expansion of (pow (fma x (fma y 2.0 x) (pow y 2)) 1/3) in (x y) around 0
2.894 * [taylor]: Taking taylor expansion of (pow (fma x (fma y 2.0 x) (pow y 2)) 1/3) in y
2.894 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma x (fma y 2.0 x) (pow y 2))))) in y
2.894 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma x (fma y 2.0 x) (pow y 2)))) in y
2.894 * [taylor]: Taking taylor expansion of 1/3 in y
2.894 * [taylor]: Taking taylor expansion of (log (fma x (fma y 2.0 x) (pow y 2))) in y
2.894 * [taylor]: Taking taylor expansion of (fma x (fma y 2.0 x) (pow y 2)) in y
2.894 * [taylor]: Rewrote expression to (+ (* x (fma y 2.0 x)) (pow y 2))
2.894 * [taylor]: Taking taylor expansion of (* x (fma y 2.0 x)) in y
2.894 * [taylor]: Taking taylor expansion of x in y
2.894 * [taylor]: Taking taylor expansion of (fma y 2.0 x) in y
2.895 * [taylor]: Rewrote expression to (+ (* y 2.0) x)
2.895 * [taylor]: Taking taylor expansion of (* y 2.0) in y
2.895 * [taylor]: Taking taylor expansion of y in y
2.895 * [taylor]: Taking taylor expansion of 2.0 in y
2.895 * [taylor]: Taking taylor expansion of x in y
2.895 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.895 * [taylor]: Taking taylor expansion of y in y
2.895 * [taylor]: Taking taylor expansion of (pow (fma x (fma y 2.0 x) (pow y 2)) 1/3) in x
2.895 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma x (fma y 2.0 x) (pow y 2))))) in x
2.895 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma x (fma y 2.0 x) (pow y 2)))) in x
2.895 * [taylor]: Taking taylor expansion of 1/3 in x
2.895 * [taylor]: Taking taylor expansion of (log (fma x (fma y 2.0 x) (pow y 2))) in x
2.895 * [taylor]: Taking taylor expansion of (fma x (fma y 2.0 x) (pow y 2)) in x
2.895 * [taylor]: Rewrote expression to (+ (* x (fma y 2.0 x)) (pow y 2))
2.895 * [taylor]: Taking taylor expansion of (* x (fma y 2.0 x)) in x
2.895 * [taylor]: Taking taylor expansion of x in x
2.895 * [taylor]: Taking taylor expansion of (fma y 2.0 x) in x
2.896 * [taylor]: Rewrote expression to (+ (* y 2.0) x)
2.896 * [taylor]: Taking taylor expansion of (* y 2.0) in x
2.896 * [taylor]: Taking taylor expansion of y in x
2.896 * [taylor]: Taking taylor expansion of 2.0 in x
2.896 * [taylor]: Taking taylor expansion of x in x
2.896 * [taylor]: Taking taylor expansion of (pow y 2) in x
2.896 * [taylor]: Taking taylor expansion of y in x
2.896 * [taylor]: Taking taylor expansion of (pow (fma x (fma y 2.0 x) (pow y 2)) 1/3) in x
2.896 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma x (fma y 2.0 x) (pow y 2))))) in x
2.896 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma x (fma y 2.0 x) (pow y 2)))) in x
2.896 * [taylor]: Taking taylor expansion of 1/3 in x
2.896 * [taylor]: Taking taylor expansion of (log (fma x (fma y 2.0 x) (pow y 2))) in x
2.896 * [taylor]: Taking taylor expansion of (fma x (fma y 2.0 x) (pow y 2)) in x
2.896 * [taylor]: Rewrote expression to (+ (* x (fma y 2.0 x)) (pow y 2))
2.896 * [taylor]: Taking taylor expansion of (* x (fma y 2.0 x)) in x
2.896 * [taylor]: Taking taylor expansion of x in x
2.896 * [taylor]: Taking taylor expansion of (fma y 2.0 x) in x
2.896 * [taylor]: Rewrote expression to (+ (* y 2.0) x)
2.896 * [taylor]: Taking taylor expansion of (* y 2.0) in x
2.896 * [taylor]: Taking taylor expansion of y in x
2.896 * [taylor]: Taking taylor expansion of 2.0 in x
2.896 * [taylor]: Taking taylor expansion of x in x
2.896 * [taylor]: Taking taylor expansion of (pow y 2) in x
2.896 * [taylor]: Taking taylor expansion of y in x
2.897 * [taylor]: Taking taylor expansion of (pow (pow y 2) 1/3) in y
2.897 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow y 2)))) in y
2.897 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow y 2))) in y
2.897 * [taylor]: Taking taylor expansion of 1/3 in y
2.897 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y
2.897 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.897 * [taylor]: Taking taylor expansion of y in y
2.899 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (pow (/ 1 y) 1/3)) in y
2.899 * [taylor]: Taking taylor expansion of 0.6666666666666666 in y
2.899 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
2.899 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
2.899 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
2.899 * [taylor]: Taking taylor expansion of 1/3 in y
2.899 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
2.899 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.899 * [taylor]: Taking taylor expansion of y in y
2.905 * [taylor]: Taking taylor expansion of (* -0.1111111111111111 (pow (/ 1 (pow y 4)) 1/3)) in y
2.905 * [taylor]: Taking taylor expansion of -0.1111111111111111 in y
2.905 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 4)) 1/3) in y
2.905 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 4))))) in y
2.905 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 4)))) in y
2.905 * [taylor]: Taking taylor expansion of 1/3 in y
2.905 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 4))) in y
2.905 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
2.905 * [taylor]: Taking taylor expansion of (pow y 4) in y
2.905 * [taylor]: Taking taylor expansion of y in y
2.907 * [approximate]: Taking taylor expansion of (pow (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2))) 1/3) in (x y) around 0
2.908 * [taylor]: Taking taylor expansion of (pow (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2))) 1/3) in y
2.908 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2)))))) in y
2.908 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2))))) in y
2.908 * [taylor]: Taking taylor expansion of 1/3 in y
2.908 * [taylor]: Taking taylor expansion of (log (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2)))) in y
2.908 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2))) in y
2.908 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x))) (/ 1 (pow y 2)))
2.908 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x))) in y
2.908 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.908 * [taylor]: Taking taylor expansion of x in y
2.908 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 (/ 1 x)) in y
2.908 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) (/ 1 x))
2.908 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in y
2.908 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.908 * [taylor]: Taking taylor expansion of y in y
2.908 * [taylor]: Taking taylor expansion of 2.0 in y
2.908 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.908 * [taylor]: Taking taylor expansion of x in y
2.908 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.908 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.908 * [taylor]: Taking taylor expansion of y in y
2.910 * [taylor]: Taking taylor expansion of (pow (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2))) 1/3) in x
2.910 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2)))))) in x
2.910 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2))))) in x
2.910 * [taylor]: Taking taylor expansion of 1/3 in x
2.910 * [taylor]: Taking taylor expansion of (log (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2)))) in x
2.910 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2))) in x
2.910 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x))) (/ 1 (pow y 2)))
2.910 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x))) in x
2.910 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.910 * [taylor]: Taking taylor expansion of x in x
2.910 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 (/ 1 x)) in x
2.910 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) (/ 1 x))
2.910 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in x
2.910 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.910 * [taylor]: Taking taylor expansion of y in x
2.910 * [taylor]: Taking taylor expansion of 2.0 in x
2.910 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.910 * [taylor]: Taking taylor expansion of x in x
2.911 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
2.911 * [taylor]: Taking taylor expansion of (pow y 2) in x
2.911 * [taylor]: Taking taylor expansion of y in x
2.912 * [taylor]: Taking taylor expansion of (pow (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2))) 1/3) in x
2.912 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2)))))) in x
2.912 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2))))) in x
2.912 * [taylor]: Taking taylor expansion of 1/3 in x
2.912 * [taylor]: Taking taylor expansion of (log (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2)))) in x
2.912 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2))) in x
2.912 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x))) (/ 1 (pow y 2)))
2.912 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x))) in x
2.912 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.912 * [taylor]: Taking taylor expansion of x in x
2.913 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 (/ 1 x)) in x
2.913 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) (/ 1 x))
2.913 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in x
2.913 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.913 * [taylor]: Taking taylor expansion of y in x
2.913 * [taylor]: Taking taylor expansion of 2.0 in x
2.913 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.913 * [taylor]: Taking taylor expansion of x in x
2.913 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
2.913 * [taylor]: Taking taylor expansion of (pow y 2) in x
2.913 * [taylor]: Taking taylor expansion of y in x
2.915 * [taylor]: Taking taylor expansion of (pow x -2/3) in y
2.915 * [taylor]: Taking taylor expansion of (exp (* -2/3 (log x))) in y
2.915 * [taylor]: Taking taylor expansion of (* -2/3 (log x)) in y
2.915 * [taylor]: Taking taylor expansion of -2/3 in y
2.915 * [taylor]: Taking taylor expansion of (log x) in y
2.915 * [taylor]: Taking taylor expansion of x in y
2.917 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (* (pow (/ 1 (pow x 2)) 1/3) (/ 1 y))) in y
2.917 * [taylor]: Taking taylor expansion of 0.6666666666666666 in y
2.917 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (/ 1 y)) in y
2.917 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in y
2.917 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in y
2.917 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in y
2.917 * [taylor]: Taking taylor expansion of 1/3 in y
2.917 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in y
2.917 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
2.917 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.917 * [taylor]: Taking taylor expansion of x in y
2.918 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.918 * [taylor]: Taking taylor expansion of y in y
2.926 * [taylor]: Taking taylor expansion of (* -0.1111111111111111 (* (pow (/ 1 (pow x 2)) 1/3) (/ 1 (pow y 2)))) in y
2.926 * [taylor]: Taking taylor expansion of -0.1111111111111111 in y
2.926 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (/ 1 (pow y 2))) in y
2.926 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in y
2.926 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in y
2.926 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in y
2.926 * [taylor]: Taking taylor expansion of 1/3 in y
2.926 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in y
2.926 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
2.926 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.926 * [taylor]: Taking taylor expansion of x in y
2.927 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.927 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.927 * [taylor]: Taking taylor expansion of y in y
2.952 * [taylor]: Taking taylor expansion of (* 0.04938271604938271 (* (pow (/ 1 (pow x 2)) 1/3) (/ 1 (pow y 3)))) in y
2.952 * [taylor]: Taking taylor expansion of 0.04938271604938271 in y
2.952 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (/ 1 (pow y 3))) in y
2.952 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in y
2.952 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in y
2.952 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in y
2.952 * [taylor]: Taking taylor expansion of 1/3 in y
2.952 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in y
2.952 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
2.952 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.952 * [taylor]: Taking taylor expansion of x in y
2.953 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
2.953 * [taylor]: Taking taylor expansion of (pow y 3) in y
2.953 * [taylor]: Taking taylor expansion of y in y
2.970 * [approximate]: Taking taylor expansion of (pow (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2))) 1/3) in (x y) around 0
2.970 * [taylor]: Taking taylor expansion of (pow (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2))) 1/3) in y
2.970 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2)))))) in y
2.970 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2))))) in y
2.970 * [taylor]: Taking taylor expansion of 1/3 in y
2.970 * [taylor]: Taking taylor expansion of (log (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2)))) in y
2.970 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2))) in y
2.970 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x))) (/ 1 (pow y 2)))
2.970 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x))) in y
2.970 * [taylor]: Taking taylor expansion of (/ -1 x) in y
2.970 * [taylor]: Taking taylor expansion of -1 in y
2.970 * [taylor]: Taking taylor expansion of x in y
2.970 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 (/ -1 x)) in y
2.970 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) (/ -1 x))
2.970 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in y
2.970 * [taylor]: Taking taylor expansion of (/ -1 y) in y
2.970 * [taylor]: Taking taylor expansion of -1 in y
2.971 * [taylor]: Taking taylor expansion of y in y
2.971 * [taylor]: Taking taylor expansion of 2.0 in y
2.971 * [taylor]: Taking taylor expansion of (/ -1 x) in y
2.971 * [taylor]: Taking taylor expansion of -1 in y
2.971 * [taylor]: Taking taylor expansion of x in y
2.971 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.971 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.971 * [taylor]: Taking taylor expansion of y in y
2.972 * [taylor]: Taking taylor expansion of (pow (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2))) 1/3) in x
2.972 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2)))))) in x
2.972 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2))))) in x
2.972 * [taylor]: Taking taylor expansion of 1/3 in x
2.972 * [taylor]: Taking taylor expansion of (log (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2)))) in x
2.972 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2))) in x
2.972 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x))) (/ 1 (pow y 2)))
2.973 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x))) in x
2.973 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.973 * [taylor]: Taking taylor expansion of -1 in x
2.973 * [taylor]: Taking taylor expansion of x in x
2.973 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 (/ -1 x)) in x
2.973 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) (/ -1 x))
2.973 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in x
2.973 * [taylor]: Taking taylor expansion of (/ -1 y) in x
2.973 * [taylor]: Taking taylor expansion of -1 in x
2.973 * [taylor]: Taking taylor expansion of y in x
2.973 * [taylor]: Taking taylor expansion of 2.0 in x
2.973 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.973 * [taylor]: Taking taylor expansion of -1 in x
2.973 * [taylor]: Taking taylor expansion of x in x
2.973 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
2.973 * [taylor]: Taking taylor expansion of (pow y 2) in x
2.973 * [taylor]: Taking taylor expansion of y in x
2.975 * [taylor]: Taking taylor expansion of (pow (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2))) 1/3) in x
2.975 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2)))))) in x
2.975 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2))))) in x
2.975 * [taylor]: Taking taylor expansion of 1/3 in x
2.975 * [taylor]: Taking taylor expansion of (log (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2)))) in x
2.975 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2))) in x
2.975 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x))) (/ 1 (pow y 2)))
2.975 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x))) in x
2.975 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.975 * [taylor]: Taking taylor expansion of -1 in x
2.975 * [taylor]: Taking taylor expansion of x in x
2.975 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 (/ -1 x)) in x
2.976 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) (/ -1 x))
2.976 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in x
2.976 * [taylor]: Taking taylor expansion of (/ -1 y) in x
2.976 * [taylor]: Taking taylor expansion of -1 in x
2.976 * [taylor]: Taking taylor expansion of y in x
2.976 * [taylor]: Taking taylor expansion of 2.0 in x
2.976 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.976 * [taylor]: Taking taylor expansion of -1 in x
2.976 * [taylor]: Taking taylor expansion of x in x
2.976 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
2.976 * [taylor]: Taking taylor expansion of (pow y 2) in x
2.976 * [taylor]: Taking taylor expansion of y in x
2.977 * [taylor]: Taking taylor expansion of (pow x -2/3) in y
2.978 * [taylor]: Taking taylor expansion of (exp (* -2/3 (log x))) in y
2.978 * [taylor]: Taking taylor expansion of (* -2/3 (log x)) in y
2.978 * [taylor]: Taking taylor expansion of -2/3 in y
2.978 * [taylor]: Taking taylor expansion of (log x) in y
2.978 * [taylor]: Taking taylor expansion of x in y
2.980 * [taylor]: Taking taylor expansion of (* 0.6666666666666666 (* (pow (/ 1 (pow x 2)) 1/3) (/ 1 y))) in y
2.980 * [taylor]: Taking taylor expansion of 0.6666666666666666 in y
2.980 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (/ 1 y)) in y
2.980 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in y
2.980 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in y
2.980 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in y
2.980 * [taylor]: Taking taylor expansion of 1/3 in y
2.980 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in y
2.980 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
2.980 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.980 * [taylor]: Taking taylor expansion of x in y
2.981 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.981 * [taylor]: Taking taylor expansion of y in y
2.989 * [taylor]: Taking taylor expansion of (* -0.1111111111111111 (* (pow (/ 1 (pow x 2)) 1/3) (/ 1 (pow y 2)))) in y
2.989 * [taylor]: Taking taylor expansion of -0.1111111111111111 in y
2.989 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (/ 1 (pow y 2))) in y
2.989 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in y
2.989 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in y
2.989 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in y
2.989 * [taylor]: Taking taylor expansion of 1/3 in y
2.989 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in y
2.989 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
2.989 * [taylor]: Taking taylor expansion of (pow x 2) in y
2.989 * [taylor]: Taking taylor expansion of x in y
2.990 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.990 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.990 * [taylor]: Taking taylor expansion of y in y
3.011 * [taylor]: Taking taylor expansion of (* 0.04938271604938271 (* (pow (/ 1 (pow x 2)) 1/3) (/ 1 (pow y 3)))) in y
3.011 * [taylor]: Taking taylor expansion of 0.04938271604938271 in y
3.011 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (/ 1 (pow y 3))) in y
3.011 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in y
3.011 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in y
3.011 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in y
3.011 * [taylor]: Taking taylor expansion of 1/3 in y
3.011 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in y
3.011 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
3.011 * [taylor]: Taking taylor expansion of (pow x 2) in y
3.011 * [taylor]: Taking taylor expansion of x in y
3.011 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
3.011 * [taylor]: Taking taylor expansion of (pow y 3) in y
3.011 * [taylor]: Taking taylor expansion of y in y
3.033 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
3.033 * [approximate]: Taking taylor expansion of (pow (pow (fma x (fma y 2.0 x) (pow y 2)) 2) 1/3) in (x y) around 0
3.033 * [taylor]: Taking taylor expansion of (pow (pow (fma x (fma y 2.0 x) (pow y 2)) 2) 1/3) in y
3.034 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (fma x (fma y 2.0 x) (pow y 2)) 2)))) in y
3.034 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (fma x (fma y 2.0 x) (pow y 2)) 2))) in y
3.034 * [taylor]: Taking taylor expansion of 1/3 in y
3.034 * [taylor]: Taking taylor expansion of (log (pow (fma x (fma y 2.0 x) (pow y 2)) 2)) in y
3.034 * [taylor]: Taking taylor expansion of (pow (fma x (fma y 2.0 x) (pow y 2)) 2) in y
3.034 * [taylor]: Taking taylor expansion of (fma x (fma y 2.0 x) (pow y 2)) in y
3.034 * [taylor]: Rewrote expression to (+ (* x (fma y 2.0 x)) (pow y 2))
3.034 * [taylor]: Taking taylor expansion of (* x (fma y 2.0 x)) in y
3.034 * [taylor]: Taking taylor expansion of x in y
3.034 * [taylor]: Taking taylor expansion of (fma y 2.0 x) in y
3.034 * [taylor]: Rewrote expression to (+ (* y 2.0) x)
3.034 * [taylor]: Taking taylor expansion of (* y 2.0) in y
3.034 * [taylor]: Taking taylor expansion of y in y
3.034 * [taylor]: Taking taylor expansion of 2.0 in y
3.034 * [taylor]: Taking taylor expansion of x in y
3.034 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.034 * [taylor]: Taking taylor expansion of y in y
3.035 * [taylor]: Taking taylor expansion of (pow (pow (fma x (fma y 2.0 x) (pow y 2)) 2) 1/3) in x
3.035 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (fma x (fma y 2.0 x) (pow y 2)) 2)))) in x
3.035 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (fma x (fma y 2.0 x) (pow y 2)) 2))) in x
3.035 * [taylor]: Taking taylor expansion of 1/3 in x
3.035 * [taylor]: Taking taylor expansion of (log (pow (fma x (fma y 2.0 x) (pow y 2)) 2)) in x
3.035 * [taylor]: Taking taylor expansion of (pow (fma x (fma y 2.0 x) (pow y 2)) 2) in x
3.035 * [taylor]: Taking taylor expansion of (fma x (fma y 2.0 x) (pow y 2)) in x
3.035 * [taylor]: Rewrote expression to (+ (* x (fma y 2.0 x)) (pow y 2))
3.035 * [taylor]: Taking taylor expansion of (* x (fma y 2.0 x)) in x
3.035 * [taylor]: Taking taylor expansion of x in x
3.035 * [taylor]: Taking taylor expansion of (fma y 2.0 x) in x
3.035 * [taylor]: Rewrote expression to (+ (* y 2.0) x)
3.035 * [taylor]: Taking taylor expansion of (* y 2.0) in x
3.035 * [taylor]: Taking taylor expansion of y in x
3.035 * [taylor]: Taking taylor expansion of 2.0 in x
3.035 * [taylor]: Taking taylor expansion of x in x
3.035 * [taylor]: Taking taylor expansion of (pow y 2) in x
3.035 * [taylor]: Taking taylor expansion of y in x
3.036 * [taylor]: Taking taylor expansion of (pow (pow (fma x (fma y 2.0 x) (pow y 2)) 2) 1/3) in x
3.036 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (fma x (fma y 2.0 x) (pow y 2)) 2)))) in x
3.036 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (fma x (fma y 2.0 x) (pow y 2)) 2))) in x
3.036 * [taylor]: Taking taylor expansion of 1/3 in x
3.036 * [taylor]: Taking taylor expansion of (log (pow (fma x (fma y 2.0 x) (pow y 2)) 2)) in x
3.036 * [taylor]: Taking taylor expansion of (pow (fma x (fma y 2.0 x) (pow y 2)) 2) in x
3.036 * [taylor]: Taking taylor expansion of (fma x (fma y 2.0 x) (pow y 2)) in x
3.036 * [taylor]: Rewrote expression to (+ (* x (fma y 2.0 x)) (pow y 2))
3.036 * [taylor]: Taking taylor expansion of (* x (fma y 2.0 x)) in x
3.036 * [taylor]: Taking taylor expansion of x in x
3.036 * [taylor]: Taking taylor expansion of (fma y 2.0 x) in x
3.036 * [taylor]: Rewrote expression to (+ (* y 2.0) x)
3.036 * [taylor]: Taking taylor expansion of (* y 2.0) in x
3.036 * [taylor]: Taking taylor expansion of y in x
3.036 * [taylor]: Taking taylor expansion of 2.0 in x
3.036 * [taylor]: Taking taylor expansion of x in x
3.036 * [taylor]: Taking taylor expansion of (pow y 2) in x
3.036 * [taylor]: Taking taylor expansion of y in x
3.036 * [taylor]: Taking taylor expansion of (pow (pow y 4) 1/3) in y
3.036 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow y 4)))) in y
3.037 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow y 4))) in y
3.037 * [taylor]: Taking taylor expansion of 1/3 in y
3.037 * [taylor]: Taking taylor expansion of (log (pow y 4)) in y
3.037 * [taylor]: Taking taylor expansion of (pow y 4) in y
3.037 * [taylor]: Taking taylor expansion of y in y
3.039 * [taylor]: Taking taylor expansion of (* 1.3333333333333333 (pow y 1/3)) in y
3.039 * [taylor]: Taking taylor expansion of 1.3333333333333333 in y
3.039 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
3.039 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
3.039 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
3.039 * [taylor]: Taking taylor expansion of 1/3 in y
3.039 * [taylor]: Taking taylor expansion of (log y) in y
3.039 * [taylor]: Taking taylor expansion of y in y
3.045 * [taylor]: Taking taylor expansion of (* 0.2222222222222222 (pow (/ 1 (pow y 2)) 1/3)) in y
3.045 * [taylor]: Taking taylor expansion of 0.2222222222222222 in y
3.045 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y
3.045 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y
3.045 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y
3.045 * [taylor]: Taking taylor expansion of 1/3 in y
3.045 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y
3.045 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
3.045 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.045 * [taylor]: Taking taylor expansion of y in y
3.047 * [approximate]: Taking taylor expansion of (pow (pow (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2))) 2) 1/3) in (x y) around 0
3.047 * [taylor]: Taking taylor expansion of (pow (pow (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2))) 2) 1/3) in y
3.048 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2))) 2)))) in y
3.048 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2))) 2))) in y
3.048 * [taylor]: Taking taylor expansion of 1/3 in y
3.048 * [taylor]: Taking taylor expansion of (log (pow (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2))) 2)) in y
3.048 * [taylor]: Taking taylor expansion of (pow (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2))) 2) in y
3.048 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2))) in y
3.048 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x))) (/ 1 (pow y 2)))
3.048 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x))) in y
3.048 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.048 * [taylor]: Taking taylor expansion of x in y
3.048 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 (/ 1 x)) in y
3.048 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) (/ 1 x))
3.048 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in y
3.048 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.048 * [taylor]: Taking taylor expansion of y in y
3.048 * [taylor]: Taking taylor expansion of 2.0 in y
3.048 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.048 * [taylor]: Taking taylor expansion of x in y
3.048 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
3.048 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.048 * [taylor]: Taking taylor expansion of y in y
3.050 * [taylor]: Taking taylor expansion of (pow (pow (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2))) 2) 1/3) in x
3.050 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2))) 2)))) in x
3.050 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2))) 2))) in x
3.050 * [taylor]: Taking taylor expansion of 1/3 in x
3.050 * [taylor]: Taking taylor expansion of (log (pow (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2))) 2)) in x
3.050 * [taylor]: Taking taylor expansion of (pow (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2))) 2) in x
3.050 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2))) in x
3.050 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x))) (/ 1 (pow y 2)))
3.050 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x))) in x
3.050 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.050 * [taylor]: Taking taylor expansion of x in x
3.050 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 (/ 1 x)) in x
3.050 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) (/ 1 x))
3.051 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in x
3.051 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.051 * [taylor]: Taking taylor expansion of y in x
3.051 * [taylor]: Taking taylor expansion of 2.0 in x
3.051 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.051 * [taylor]: Taking taylor expansion of x in x
3.051 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
3.051 * [taylor]: Taking taylor expansion of (pow y 2) in x
3.051 * [taylor]: Taking taylor expansion of y in x
3.053 * [taylor]: Taking taylor expansion of (pow (pow (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2))) 2) 1/3) in x
3.053 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2))) 2)))) in x
3.053 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2))) 2))) in x
3.053 * [taylor]: Taking taylor expansion of 1/3 in x
3.053 * [taylor]: Taking taylor expansion of (log (pow (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2))) 2)) in x
3.053 * [taylor]: Taking taylor expansion of (pow (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2))) 2) in x
3.053 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x)) (/ 1 (pow y 2))) in x
3.053 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x))) (/ 1 (pow y 2)))
3.053 * [taylor]: Taking taylor expansion of (* (/ 1 x) (fma (/ 1 y) 2.0 (/ 1 x))) in x
3.053 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.053 * [taylor]: Taking taylor expansion of x in x
3.053 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2.0 (/ 1 x)) in x
3.053 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2.0) (/ 1 x))
3.053 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2.0) in x
3.053 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.053 * [taylor]: Taking taylor expansion of y in x
3.053 * [taylor]: Taking taylor expansion of 2.0 in x
3.053 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.053 * [taylor]: Taking taylor expansion of x in x
3.054 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
3.054 * [taylor]: Taking taylor expansion of (pow y 2) in x
3.054 * [taylor]: Taking taylor expansion of y in x
3.055 * [taylor]: Taking taylor expansion of (pow x -4/3) in y
3.055 * [taylor]: Taking taylor expansion of (exp (* -4/3 (log x))) in y
3.055 * [taylor]: Taking taylor expansion of (* -4/3 (log x)) in y
3.055 * [taylor]: Taking taylor expansion of -4/3 in y
3.055 * [taylor]: Taking taylor expansion of (log x) in y
3.055 * [taylor]: Taking taylor expansion of x in y
3.058 * [taylor]: Taking taylor expansion of (* 1.3333333333333333 (* (pow (/ 1 (pow x 4)) 1/3) (/ 1 y))) in y
3.058 * [taylor]: Taking taylor expansion of 1.3333333333333333 in y
3.058 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 4)) 1/3) (/ 1 y)) in y
3.058 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 4)) 1/3) in y
3.058 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 4))))) in y
3.058 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 4)))) in y
3.058 * [taylor]: Taking taylor expansion of 1/3 in y
3.058 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 4))) in y
3.058 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y
3.058 * [taylor]: Taking taylor expansion of (pow x 4) in y
3.058 * [taylor]: Taking taylor expansion of x in y
3.058 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.058 * [taylor]: Taking taylor expansion of y in y
3.067 * [taylor]: Taking taylor expansion of (* 0.2222222222222222 (* (pow (/ 1 (pow x 4)) 1/3) (/ 1 (pow y 2)))) in y
3.067 * [taylor]: Taking taylor expansion of 0.2222222222222222 in y
3.067 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 4)) 1/3) (/ 1 (pow y 2))) in y
3.067 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 4)) 1/3) in y
3.067 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 4))))) in y
3.067 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 4)))) in y
3.067 * [taylor]: Taking taylor expansion of 1/3 in y
3.067 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 4))) in y
3.067 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y
3.067 * [taylor]: Taking taylor expansion of (pow x 4) in y
3.067 * [taylor]: Taking taylor expansion of x in y
3.068 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
3.068 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.068 * [taylor]: Taking taylor expansion of y in y
3.090 * [taylor]: Taking taylor expansion of (* -0.04938271604938271 (* (pow (/ 1 (pow x 4)) 1/3) (/ 1 (pow y 3)))) in y
3.090 * [taylor]: Taking taylor expansion of -0.04938271604938271 in y
3.090 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 4)) 1/3) (/ 1 (pow y 3))) in y
3.090 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 4)) 1/3) in y
3.090 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 4))))) in y
3.090 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 4)))) in y
3.090 * [taylor]: Taking taylor expansion of 1/3 in y
3.090 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 4))) in y
3.090 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y
3.090 * [taylor]: Taking taylor expansion of (pow x 4) in y
3.090 * [taylor]: Taking taylor expansion of x in y
3.091 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
3.091 * [taylor]: Taking taylor expansion of (pow y 3) in y
3.091 * [taylor]: Taking taylor expansion of y in y
3.108 * [approximate]: Taking taylor expansion of (pow (pow (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2))) 2) 1/3) in (x y) around 0
3.108 * [taylor]: Taking taylor expansion of (pow (pow (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2))) 2) 1/3) in y
3.108 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2))) 2)))) in y
3.108 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2))) 2))) in y
3.108 * [taylor]: Taking taylor expansion of 1/3 in y
3.108 * [taylor]: Taking taylor expansion of (log (pow (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2))) 2)) in y
3.108 * [taylor]: Taking taylor expansion of (pow (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2))) 2) in y
3.108 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2))) in y
3.108 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x))) (/ 1 (pow y 2)))
3.108 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x))) in y
3.108 * [taylor]: Taking taylor expansion of (/ -1 x) in y
3.108 * [taylor]: Taking taylor expansion of -1 in y
3.108 * [taylor]: Taking taylor expansion of x in y
3.108 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 (/ -1 x)) in y
3.108 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) (/ -1 x))
3.108 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in y
3.108 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.108 * [taylor]: Taking taylor expansion of -1 in y
3.108 * [taylor]: Taking taylor expansion of y in y
3.109 * [taylor]: Taking taylor expansion of 2.0 in y
3.109 * [taylor]: Taking taylor expansion of (/ -1 x) in y
3.109 * [taylor]: Taking taylor expansion of -1 in y
3.109 * [taylor]: Taking taylor expansion of x in y
3.109 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
3.109 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.109 * [taylor]: Taking taylor expansion of y in y
3.115 * [taylor]: Taking taylor expansion of (pow (pow (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2))) 2) 1/3) in x
3.115 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2))) 2)))) in x
3.116 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2))) 2))) in x
3.116 * [taylor]: Taking taylor expansion of 1/3 in x
3.116 * [taylor]: Taking taylor expansion of (log (pow (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2))) 2)) in x
3.116 * [taylor]: Taking taylor expansion of (pow (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2))) 2) in x
3.116 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2))) in x
3.116 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x))) (/ 1 (pow y 2)))
3.116 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x))) in x
3.116 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.116 * [taylor]: Taking taylor expansion of -1 in x
3.116 * [taylor]: Taking taylor expansion of x in x
3.116 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 (/ -1 x)) in x
3.116 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) (/ -1 x))
3.116 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in x
3.116 * [taylor]: Taking taylor expansion of (/ -1 y) in x
3.116 * [taylor]: Taking taylor expansion of -1 in x
3.116 * [taylor]: Taking taylor expansion of y in x
3.116 * [taylor]: Taking taylor expansion of 2.0 in x
3.116 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.116 * [taylor]: Taking taylor expansion of -1 in x
3.116 * [taylor]: Taking taylor expansion of x in x
3.117 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
3.117 * [taylor]: Taking taylor expansion of (pow y 2) in x
3.117 * [taylor]: Taking taylor expansion of y in x
3.119 * [taylor]: Taking taylor expansion of (pow (pow (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2))) 2) 1/3) in x
3.119 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2))) 2)))) in x
3.119 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2))) 2))) in x
3.119 * [taylor]: Taking taylor expansion of 1/3 in x
3.119 * [taylor]: Taking taylor expansion of (log (pow (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2))) 2)) in x
3.119 * [taylor]: Taking taylor expansion of (pow (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2))) 2) in x
3.119 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x)) (/ 1 (pow y 2))) in x
3.119 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x))) (/ 1 (pow y 2)))
3.119 * [taylor]: Taking taylor expansion of (* (/ -1 x) (fma (/ -1 y) 2.0 (/ -1 x))) in x
3.119 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.119 * [taylor]: Taking taylor expansion of -1 in x
3.119 * [taylor]: Taking taylor expansion of x in x
3.119 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2.0 (/ -1 x)) in x
3.119 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2.0) (/ -1 x))
3.119 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2.0) in x
3.119 * [taylor]: Taking taylor expansion of (/ -1 y) in x
3.119 * [taylor]: Taking taylor expansion of -1 in x
3.119 * [taylor]: Taking taylor expansion of y in x
3.119 * [taylor]: Taking taylor expansion of 2.0 in x
3.120 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.120 * [taylor]: Taking taylor expansion of -1 in x
3.120 * [taylor]: Taking taylor expansion of x in x
3.120 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
3.120 * [taylor]: Taking taylor expansion of (pow y 2) in x
3.120 * [taylor]: Taking taylor expansion of y in x
3.122 * [taylor]: Taking taylor expansion of (pow x -4/3) in y
3.122 * [taylor]: Taking taylor expansion of (exp (* -4/3 (log x))) in y
3.122 * [taylor]: Taking taylor expansion of (* -4/3 (log x)) in y
3.122 * [taylor]: Taking taylor expansion of -4/3 in y
3.122 * [taylor]: Taking taylor expansion of (log x) in y
3.122 * [taylor]: Taking taylor expansion of x in y
3.124 * [taylor]: Taking taylor expansion of (* 1.3333333333333333 (* (pow (/ 1 (pow x 4)) 1/3) (/ 1 y))) in y
3.124 * [taylor]: Taking taylor expansion of 1.3333333333333333 in y
3.124 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 4)) 1/3) (/ 1 y)) in y
3.124 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 4)) 1/3) in y
3.124 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 4))))) in y
3.124 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 4)))) in y
3.124 * [taylor]: Taking taylor expansion of 1/3 in y
3.124 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 4))) in y
3.124 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y
3.124 * [taylor]: Taking taylor expansion of (pow x 4) in y
3.124 * [taylor]: Taking taylor expansion of x in y
3.125 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.125 * [taylor]: Taking taylor expansion of y in y
3.135 * [taylor]: Taking taylor expansion of (* 0.2222222222222222 (* (pow (/ 1 (pow x 4)) 1/3) (/ 1 (pow y 2)))) in y
3.135 * [taylor]: Taking taylor expansion of 0.2222222222222222 in y
3.135 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 4)) 1/3) (/ 1 (pow y 2))) in y
3.135 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 4)) 1/3) in y
3.135 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 4))))) in y
3.135 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 4)))) in y
3.135 * [taylor]: Taking taylor expansion of 1/3 in y
3.135 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 4))) in y
3.135 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y
3.135 * [taylor]: Taking taylor expansion of (pow x 4) in y
3.135 * [taylor]: Taking taylor expansion of x in y
3.136 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
3.136 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.136 * [taylor]: Taking taylor expansion of y in y
3.158 * [taylor]: Taking taylor expansion of (* -0.04938271604938271 (* (pow (/ 1 (pow x 4)) 1/3) (/ 1 (pow y 3)))) in y
3.158 * [taylor]: Taking taylor expansion of -0.04938271604938271 in y
3.158 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 4)) 1/3) (/ 1 (pow y 3))) in y
3.158 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 4)) 1/3) in y
3.158 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 4))))) in y
3.158 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 4)))) in y
3.158 * [taylor]: Taking taylor expansion of 1/3 in y
3.158 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 4))) in y
3.158 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y
3.158 * [taylor]: Taking taylor expansion of (pow x 4) in y
3.158 * [taylor]: Taking taylor expansion of x in y
3.158 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
3.158 * [taylor]: Taking taylor expansion of (pow y 3) in y
3.159 * [taylor]: Taking taylor expansion of y in y
3.185 * * * [progress]: simplifying candidates
3.187 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (cbrt (fma x (fma y 2.0 x) (* y y))))
  (log1p (cbrt (fma x (fma y 2.0 x) (* y y))))
  (log (cbrt (fma x (fma y 2.0 x) (* y y))))
  (exp (cbrt (fma x (fma y 2.0 x) (* y y))))
  (cbrt (* (cbrt (fma x (fma y 2.0 x) (* y y))) (cbrt (fma x (fma y 2.0 x) (* y y)))))
  (cbrt (cbrt (fma x (fma y 2.0 x) (* y y))))
  (cbrt (sqrt (fma x (fma y 2.0 x) (* y y))))
  (cbrt (sqrt (fma x (fma y 2.0 x) (* y y))))
  (cbrt 1)
  (cbrt (fma x (fma y 2.0 x) (* y y)))
  (* (cbrt (cbrt (fma x (fma y 2.0 x) (* y y)))) (cbrt (cbrt (fma x (fma y 2.0 x) (* y y)))))
  (cbrt (cbrt (fma x (fma y 2.0 x) (* y y))))
  (* (* (cbrt (fma x (fma y 2.0 x) (* y y))) (cbrt (fma x (fma y 2.0 x) (* y y)))) (cbrt (fma x (fma y 2.0 x) (* y y))))
  (sqrt (cbrt (fma x (fma y 2.0 x) (* y y))))
  (sqrt (cbrt (fma x (fma y 2.0 x) (* y y))))
  (expm1 (cbrt (fma x (fma y 2.0 x) (* y y))))
  (log1p (cbrt (fma x (fma y 2.0 x) (* y y))))
  (log (cbrt (fma x (fma y 2.0 x) (* y y))))
  (exp (cbrt (fma x (fma y 2.0 x) (* y y))))
  (cbrt (* (cbrt (fma x (fma y 2.0 x) (* y y))) (cbrt (fma x (fma y 2.0 x) (* y y)))))
  (cbrt (cbrt (fma x (fma y 2.0 x) (* y y))))
  (cbrt (sqrt (fma x (fma y 2.0 x) (* y y))))
  (cbrt (sqrt (fma x (fma y 2.0 x) (* y y))))
  (cbrt 1)
  (cbrt (fma x (fma y 2.0 x) (* y y)))
  (* (cbrt (cbrt (fma x (fma y 2.0 x) (* y y)))) (cbrt (cbrt (fma x (fma y 2.0 x) (* y y)))))
  (cbrt (cbrt (fma x (fma y 2.0 x) (* y y))))
  (* (* (cbrt (fma x (fma y 2.0 x) (* y y))) (cbrt (fma x (fma y 2.0 x) (* y y)))) (cbrt (fma x (fma y 2.0 x) (* y y))))
  (sqrt (cbrt (fma x (fma y 2.0 x) (* y y))))
  (sqrt (cbrt (fma x (fma y 2.0 x) (* y y))))
  (expm1 (cbrt (fma x (fma y 2.0 x) (* y y))))
  (log1p (cbrt (fma x (fma y 2.0 x) (* y y))))
  (log (cbrt (fma x (fma y 2.0 x) (* y y))))
  (exp (cbrt (fma x (fma y 2.0 x) (* y y))))
  (cbrt (* (cbrt (fma x (fma y 2.0 x) (* y y))) (cbrt (fma x (fma y 2.0 x) (* y y)))))
  (cbrt (cbrt (fma x (fma y 2.0 x) (* y y))))
  (cbrt (sqrt (fma x (fma y 2.0 x) (* y y))))
  (cbrt (sqrt (fma x (fma y 2.0 x) (* y y))))
  (cbrt 1)
  (cbrt (fma x (fma y 2.0 x) (* y y)))
  (* (cbrt (cbrt (fma x (fma y 2.0 x) (* y y)))) (cbrt (cbrt (fma x (fma y 2.0 x) (* y y)))))
  (cbrt (cbrt (fma x (fma y 2.0 x) (* y y))))
  (* (* (cbrt (fma x (fma y 2.0 x) (* y y))) (cbrt (fma x (fma y 2.0 x) (* y y)))) (cbrt (fma x (fma y 2.0 x) (* y y))))
  (sqrt (cbrt (fma x (fma y 2.0 x) (* y y))))
  (sqrt (cbrt (fma x (fma y 2.0 x) (* y y))))
  (expm1 (* (cbrt (fma x (fma y 2.0 x) (* y y))) (cbrt (fma x (fma y 2.0 x) (* y y)))))
  (log1p (* (cbrt (fma x (fma y 2.0 x) (* y y))) (cbrt (fma x (fma y 2.0 x) (* y y)))))
  (+ 1/3 1/3)
  (+ 1 1)
  (* (fma x (fma y 2.0 x) (* y y)) (fma x (fma y 2.0 x) (* y y)))
  (* (cbrt (fma x (fma y 2.0 x) (* y y))) (cbrt (fma x (fma y 2.0 x) (* y y))))
  (+ 1 1)
  (+ (log (cbrt (fma x (fma y 2.0 x) (* y y)))) (log (cbrt (fma x (fma y 2.0 x) (* y y)))))
  (log (* (cbrt (fma x (fma y 2.0 x) (* y y))) (cbrt (fma x (fma y 2.0 x) (* y y)))))
  (exp (* (cbrt (fma x (fma y 2.0 x) (* y y))) (cbrt (fma x (fma y 2.0 x) (* y y)))))
  (* (fma x (fma y 2.0 x) (* y y)) (fma x (fma y 2.0 x) (* y y)))
  (* (cbrt (* (cbrt (fma x (fma y 2.0 x) (* y y))) (cbrt (fma x (fma y 2.0 x) (* y y))))) (cbrt (* (cbrt (fma x (fma y 2.0 x) (* y y))) (cbrt (fma x (fma y 2.0 x) (* y y))))))
  (cbrt (* (cbrt (fma x (fma y 2.0 x) (* y y))) (cbrt (fma x (fma y 2.0 x) (* y y)))))
  (* (* (* (cbrt (fma x (fma y 2.0 x) (* y y))) (cbrt (fma x (fma y 2.0 x) (* y y)))) (* (cbrt (fma x (fma y 2.0 x) (* y y))) (cbrt (fma x (fma y 2.0 x) (* y y))))) (* (cbrt (fma x (fma y 2.0 x) (* y y))) (cbrt (fma x (fma y 2.0 x) (* y y)))))
  (sqrt (* (cbrt (fma x (fma y 2.0 x) (* y y))) (cbrt (fma x (fma y 2.0 x) (* y y)))))
  (sqrt (* (cbrt (fma x (fma y 2.0 x) (* y y))) (cbrt (fma x (fma y 2.0 x) (* y y)))))
  (* (cbrt (* (cbrt (fma x (fma y 2.0 x) (* y y))) (cbrt (fma x (fma y 2.0 x) (* y y))))) (cbrt (* (cbrt (fma x (fma y 2.0 x) (* y y))) (cbrt (fma x (fma y 2.0 x) (* y y))))))
  (* (cbrt (cbrt (fma x (fma y 2.0 x) (* y y)))) (cbrt (cbrt (fma x (fma y 2.0 x) (* y y)))))
  (* (cbrt (sqrt (fma x (fma y 2.0 x) (* y y)))) (cbrt (sqrt (fma x (fma y 2.0 x) (* y y)))))
  (* (cbrt (sqrt (fma x (fma y 2.0 x) (* y y)))) (cbrt (sqrt (fma x (fma y 2.0 x) (* y y)))))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (fma x (fma y 2.0 x) (* y y))) (cbrt (fma x (fma y 2.0 x) (* y y))))
  (* (* (cbrt (cbrt (fma x (fma y 2.0 x) (* y y)))) (cbrt (cbrt (fma x (fma y 2.0 x) (* y y))))) (* (cbrt (cbrt (fma x (fma y 2.0 x) (* y y)))) (cbrt (cbrt (fma x (fma y 2.0 x) (* y y))))))
  (* (cbrt (cbrt (fma x (fma y 2.0 x) (* y y)))) (cbrt (cbrt (fma x (fma y 2.0 x) (* y y)))))
  (* (sqrt (cbrt (fma x (fma y 2.0 x) (* y y)))) (sqrt (cbrt (fma x (fma y 2.0 x) (* y y)))))
  (* (sqrt (cbrt (fma x (fma y 2.0 x) (* y y)))) (sqrt (cbrt (fma x (fma y 2.0 x) (* y y)))))
  (* 1 1)
  (* (cbrt (fma x (fma y 2.0 x) (* y y))) (cbrt (fma x (fma y 2.0 x) (* y y))))
  (* (cbrt (sqrt (fma x (fma y 2.0 x) (* y y)))) (cbrt (sqrt (fma x (fma y 2.0 x) (* y y)))))
  (* (cbrt (sqrt (fma x (fma y 2.0 x) (* y y)))) (cbrt (sqrt (fma x (fma y 2.0 x) (* y y)))))
  (* (cbrt (sqrt (fma x (fma y 2.0 x) (* y y)))) (sqrt (cbrt (fma x (fma y 2.0 x) (* y y)))))
  (* (cbrt (sqrt (fma x (fma y 2.0 x) (* y y)))) (sqrt (cbrt (fma x (fma y 2.0 x) (* y y)))))
  (* (sqrt (cbrt (fma x (fma y 2.0 x) (* y y)))) (cbrt (sqrt (fma x (fma y 2.0 x) (* y y)))))
  (* (sqrt (cbrt (fma x (fma y 2.0 x) (* y y)))) (cbrt (sqrt (fma x (fma y 2.0 x) (* y y)))))
  (* (sqrt (cbrt (fma x (fma y 2.0 x) (* y y)))) (sqrt (cbrt (fma x (fma y 2.0 x) (* y y)))))
  (* (sqrt (cbrt (fma x (fma y 2.0 x) (* y y)))) (sqrt (cbrt (fma x (fma y 2.0 x) (* y y)))))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt (fma x (fma y 2.0 x) (* y y))) (cbrt (* (cbrt (fma x (fma y 2.0 x) (* y y))) (cbrt (fma x (fma y 2.0 x) (* y y))))))
  (* (cbrt (fma x (fma y 2.0 x) (* y y))) (cbrt (sqrt (fma x (fma y 2.0 x) (* y y)))))
  (* (cbrt (fma x (fma y 2.0 x) (* y y))) (cbrt 1))
  (* (cbrt (fma x (fma y 2.0 x) (* y y))) (* (cbrt (cbrt (fma x (fma y 2.0 x) (* y y)))) (cbrt (cbrt (fma x (fma y 2.0 x) (* y y))))))
  (* (cbrt (fma x (fma y 2.0 x) (* y y))) (sqrt (cbrt (fma x (fma y 2.0 x) (* y y)))))
  (* (cbrt (fma x (fma y 2.0 x) (* y y))) 1)
  (* (cbrt (cbrt (fma x (fma y 2.0 x) (* y y)))) (cbrt (fma x (fma y 2.0 x) (* y y))))
  (* (cbrt (sqrt (fma x (fma y 2.0 x) (* y y)))) (cbrt (fma x (fma y 2.0 x) (* y y))))
  (* (cbrt (fma x (fma y 2.0 x) (* y y))) (cbrt (fma x (fma y 2.0 x) (* y y))))
  (* (cbrt (cbrt (fma x (fma y 2.0 x) (* y y)))) (cbrt (fma x (fma y 2.0 x) (* y y))))
  (* (sqrt (cbrt (fma x (fma y 2.0 x) (* y y)))) (cbrt (fma x (fma y 2.0 x) (* y y))))
  (* (cbrt (fma x (fma y 2.0 x) (* y y))) (cbrt (fma x (fma y 2.0 x) (* y y))))
  (- (+ (* 0.6666666666666666 (* x (pow (/ 1 y) 1/3))) (pow y 2/3)) (* 0.1111111111111111 (* (pow x 2) (pow (/ 1 (pow y 4)) 1/3))))
  (pow (/ 1 x) -2/3)
  (pow (/ -1 x) -2/3)
  (- (+ (* 0.6666666666666666 (* x (pow (/ 1 y) 1/3))) (pow y 2/3)) (* 0.1111111111111111 (* (pow x 2) (pow (/ 1 (pow y 4)) 1/3))))
  (pow (/ 1 x) -2/3)
  (pow (/ -1 x) -2/3)
  (- (+ (* 0.6666666666666666 (* x (pow (/ 1 y) 1/3))) (pow y 2/3)) (* 0.1111111111111111 (* (pow x 2) (pow (/ 1 (pow y 4)) 1/3))))
  (pow (/ 1 x) -2/3)
  (pow (/ -1 x) -2/3)
  (+ (* 0.2222222222222222 (* (pow x 2) (pow (/ 1 (pow y 2)) 1/3))) (+ (pow y 4/3) (* 1.3333333333333333 (* x (pow y 1/3)))))
  (pow (/ 1 x) -4/3)
  (pow (/ -1 x) -4/3)
3.191 * * [simplify]: iteration  0 :  93  enodes  (cost  1834 )
3.216 * * [simplify]: iteration  1 :  188  enodes  (cost  1709 )
3.250 * * [simplify]: iteration  2 :  475  enodes  (cost  1562 )
3.410 * * [simplify]: iteration  3 :  1360  enodes  (cost  1353 )
4.347 * * [simplify]: iteration  4 :  4685  enodes  (cost  1338 )
5.470 * * [simplify]: iteration  done :  5000  enodes  (cost  1338 )
5.470 * [simplify]: Simplified to:
   (expm1 (cbrt (fma x (fma y 2.0 x) (* y y))))
  (log1p (cbrt (fma x (fma y 2.0 x) (* y y))))
  (log (cbrt (fma x (fma y 2.0 x) (* y y))))
  (exp (cbrt (fma x (fma y 2.0 x) (* y y))))
  (cbrt (pow (sqrt (cbrt (fma x (fma y 2.0 x) (* y y)))) 4))
  (cbrt (cbrt (fma x (fma y 2.0 x) (* y y))))
  (cbrt (sqrt (fma x (fma y 2.0 x) (* y y))))
  (cbrt (sqrt (fma x (fma y 2.0 x) (* y y))))
  1
  (cbrt (fma x (fma y 2.0 x) (* y y)))
  (* (cbrt (cbrt (fma x (fma y 2.0 x) (* y y)))) (cbrt (cbrt (fma x (fma y 2.0 x) (* y y)))))
  (cbrt (cbrt (fma x (fma y 2.0 x) (* y y))))
  (fma x (fma y 2.0 x) (pow y 2))
  (sqrt (cbrt (fma x (fma y 2.0 x) (* y y))))
  (sqrt (cbrt (fma x (fma y 2.0 x) (* y y))))
  (expm1 (cbrt (fma x (fma y 2.0 x) (* y y))))
  (log1p (cbrt (fma x (fma y 2.0 x) (* y y))))
  (log (cbrt (fma x (fma y 2.0 x) (* y y))))
  (exp (cbrt (fma x (fma y 2.0 x) (* y y))))
  (cbrt (pow (sqrt (cbrt (fma x (fma y 2.0 x) (* y y)))) 4))
  (cbrt (cbrt (fma x (fma y 2.0 x) (* y y))))
  (cbrt (sqrt (fma x (fma y 2.0 x) (* y y))))
  (cbrt (sqrt (fma x (fma y 2.0 x) (* y y))))
  1
  (cbrt (fma x (fma y 2.0 x) (* y y)))
  (* (cbrt (cbrt (fma x (fma y 2.0 x) (* y y)))) (cbrt (cbrt (fma x (fma y 2.0 x) (* y y)))))
  (cbrt (cbrt (fma x (fma y 2.0 x) (* y y))))
  (fma x (fma y 2.0 x) (pow y 2))
  (sqrt (cbrt (fma x (fma y 2.0 x) (* y y))))
  (sqrt (cbrt (fma x (fma y 2.0 x) (* y y))))
  (expm1 (cbrt (fma x (fma y 2.0 x) (* y y))))
  (log1p (cbrt (fma x (fma y 2.0 x) (* y y))))
  (log (cbrt (fma x (fma y 2.0 x) (* y y))))
  (exp (cbrt (fma x (fma y 2.0 x) (* y y))))
  (cbrt (pow (sqrt (cbrt (fma x (fma y 2.0 x) (* y y)))) 4))
  (cbrt (cbrt (fma x (fma y 2.0 x) (* y y))))
  (cbrt (sqrt (fma x (fma y 2.0 x) (* y y))))
  (cbrt (sqrt (fma x (fma y 2.0 x) (* y y))))
  1
  (cbrt (fma x (fma y 2.0 x) (* y y)))
  (* (cbrt (cbrt (fma x (fma y 2.0 x) (* y y)))) (cbrt (cbrt (fma x (fma y 2.0 x) (* y y)))))
  (cbrt (cbrt (fma x (fma y 2.0 x) (* y y))))
  (fma x (fma y 2.0 x) (pow y 2))
  (sqrt (cbrt (fma x (fma y 2.0 x) (* y y))))
  (sqrt (cbrt (fma x (fma y 2.0 x) (* y y))))
  (expm1 (pow (sqrt (cbrt (fma x (fma y 2.0 x) (* y y)))) 4))
  (log1p (pow (sqrt (cbrt (fma x (fma y 2.0 x) (* y y)))) 4))
  2/3
  2
  (pow (cbrt (fma x (fma y 2.0 x) (* y y))) 6)
  (pow (sqrt (cbrt (fma x (fma y 2.0 x) (* y y)))) 4)
  2
  (* 2 (log (cbrt (fma x (fma y 2.0 x) (* y y)))))
  (* 2 (log (cbrt (fma x (fma y 2.0 x) (* y y)))))
  (exp (pow (sqrt (cbrt (fma x (fma y 2.0 x) (* y y)))) 4))
  (pow (cbrt (fma x (fma y 2.0 x) (* y y))) 6)
  (* (cbrt (pow (sqrt (cbrt (fma x (fma y 2.0 x) (* y y)))) 4)) (cbrt (pow (sqrt (cbrt (fma x (fma y 2.0 x) (* y y)))) 4)))
  (cbrt (pow (sqrt (cbrt (fma x (fma y 2.0 x) (* y y)))) 4))
  (pow (cbrt (fma x (fma y 2.0 x) (* y y))) 6)
  (fabs (cbrt (fma x (fma y 2.0 x) (* y y))))
  (fabs (cbrt (fma x (fma y 2.0 x) (* y y))))
  (* (cbrt (pow (sqrt (cbrt (fma x (fma y 2.0 x) (* y y)))) 4)) (cbrt (pow (sqrt (cbrt (fma x (fma y 2.0 x) (* y y)))) 4)))
  (* (cbrt (cbrt (fma x (fma y 2.0 x) (* y y)))) (cbrt (cbrt (fma x (fma y 2.0 x) (* y y)))))
  (* (cbrt (sqrt (fma x (fma y 2.0 x) (* y y)))) (cbrt (sqrt (fma x (fma y 2.0 x) (* y y)))))
  (* (cbrt (sqrt (fma x (fma y 2.0 x) (* y y)))) (cbrt (sqrt (fma x (fma y 2.0 x) (* y y)))))
  1
  (pow (sqrt (cbrt (fma x (fma y 2.0 x) (* y y)))) 4)
  (pow (cbrt (cbrt (fma x (fma y 2.0 x) (* y y)))) 4)
  (* (cbrt (cbrt (fma x (fma y 2.0 x) (* y y)))) (cbrt (cbrt (fma x (fma y 2.0 x) (* y y)))))
  (cbrt (fma x (fma y 2.0 x) (* y y)))
  (cbrt (fma x (fma y 2.0 x) (* y y)))
  1
  (pow (sqrt (cbrt (fma x (fma y 2.0 x) (* y y)))) 4)
  (* (cbrt (sqrt (fma x (fma y 2.0 x) (* y y)))) (cbrt (sqrt (fma x (fma y 2.0 x) (* y y)))))
  (* (cbrt (sqrt (fma x (fma y 2.0 x) (* y y)))) (cbrt (sqrt (fma x (fma y 2.0 x) (* y y)))))
  (* (sqrt (cbrt (fma x (fma y 2.0 x) (* y y)))) (cbrt (sqrt (fma x (fma y 2.0 x) (* y y)))))
  (* (sqrt (cbrt (fma x (fma y 2.0 x) (* y y)))) (cbrt (sqrt (fma x (fma y 2.0 x) (* y y)))))
  (* (sqrt (cbrt (fma x (fma y 2.0 x) (* y y)))) (cbrt (sqrt (fma x (fma y 2.0 x) (* y y)))))
  (* (sqrt (cbrt (fma x (fma y 2.0 x) (* y y)))) (cbrt (sqrt (fma x (fma y 2.0 x) (* y y)))))
  (cbrt (fma x (fma y 2.0 x) (* y y)))
  (cbrt (fma x (fma y 2.0 x) (* y y)))
  2/3
  2
  (* (cbrt (pow (sqrt (cbrt (fma x (fma y 2.0 x) (* y y)))) 4)) (cbrt (fma x (fma y 2.0 x) (* y y))))
  (* (cbrt (fma x (fma y 2.0 x) (* y y))) (cbrt (sqrt (fma x (fma y 2.0 x) (* y y)))))
  (cbrt (fma x (fma y 2.0 x) (* y y)))
  (pow (cbrt (cbrt (fma x (fma y 2.0 x) (* y y)))) 5)
  (pow (sqrt (cbrt (fma x (fma y 2.0 x) (* y y)))) 3)
  (cbrt (fma x (fma y 2.0 x) (* y y)))
  (pow (cbrt (cbrt (fma x (fma y 2.0 x) (* y y)))) 4)
  (* (cbrt (fma x (fma y 2.0 x) (* y y))) (cbrt (sqrt (fma x (fma y 2.0 x) (* y y)))))
  (pow (sqrt (cbrt (fma x (fma y 2.0 x) (* y y)))) 4)
  (pow (cbrt (cbrt (fma x (fma y 2.0 x) (* y y)))) 4)
  (pow (sqrt (cbrt (fma x (fma y 2.0 x) (* y y)))) 3)
  (pow (sqrt (cbrt (fma x (fma y 2.0 x) (* y y)))) 4)
  (- (pow y 2/3) (* x (- (* (* x (cbrt (/ 1 (pow y 4)))) 0.1111111111111111) (* 0.6666666666666666 (cbrt (/ 1 y))))))
  (pow (/ 1 x) -2/3)
  (pow (/ -1 x) -2/3)
  (- (pow y 2/3) (* x (- (* (* x (cbrt (/ 1 (pow y 4)))) 0.1111111111111111) (* 0.6666666666666666 (cbrt (/ 1 y))))))
  (pow (/ 1 x) -2/3)
  (pow (/ -1 x) -2/3)
  (- (pow y 2/3) (* x (- (* (* x (cbrt (/ 1 (pow y 4)))) 0.1111111111111111) (* 0.6666666666666666 (cbrt (/ 1 y))))))
  (pow (/ 1 x) -2/3)
  (pow (/ -1 x) -2/3)
  (fma (* (cbrt (/ 1 (pow y 2))) (pow x 2)) 0.2222222222222222 (fma (* 1.3333333333333333 x) (cbrt y) (pow y 4/3)))
  (pow (/ 1 x) -4/3)
  (pow (/ -1 x) -4/3)
5.471 * * * [progress]: adding candidates to table
5.759 * [progress]: [Phase 3 of 3] Extracting.
5.759 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (* (* (cbrt (fma x (fma y 2.0 x) (* y y))) (cbrt (fma x (fma y 2.0 x) (* y y)))) (cbrt (fma x (fma y 2.0 x) (* y y)))))> #<alt (λ (x y) (fma x (fma y 2.0 x) (* y y)))> #<alt (λ (x y) (* (sqrt (fma x (fma y 2.0 x) (* y y))) (sqrt (fma x (fma y 2.0 x) (* y y)))))>)
5.759 * * * [regime-changes]: Trying 2 branch expressions: (y x)
5.759 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (* (* (cbrt (fma x (fma y 2.0 x) (* y y))) (cbrt (fma x (fma y 2.0 x) (* y y)))) (cbrt (fma x (fma y 2.0 x) (* y y)))))> #<alt (λ (x y) (fma x (fma y 2.0 x) (* y y)))> #<alt (λ (x y) (* (sqrt (fma x (fma y 2.0 x) (* y y))) (sqrt (fma x (fma y 2.0 x) (* y y)))))>)
5.778 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (* (* (cbrt (fma x (fma y 2.0 x) (* y y))) (cbrt (fma x (fma y 2.0 x) (* y y)))) (cbrt (fma x (fma y 2.0 x) (* y y)))))> #<alt (λ (x y) (fma x (fma y 2.0 x) (* y y)))> #<alt (λ (x y) (* (sqrt (fma x (fma y 2.0 x) (* y y))) (sqrt (fma x (fma y 2.0 x) (* y y)))))>)
5.792 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
5.793 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (fma x (fma y 2.0 x) (* y y))
5.793 * * [simplify]: iteration  0 :  6  enodes  (cost  9 )
5.793 * * [simplify]: iteration  done :  6  enodes  (cost  9 )
5.793 * [simplify]: Simplified to:
   (fma x (fma y 2.0 x) (* y y))
6.583 * [regime-testing]: Baseline error score: 0.013765775660305233
6.583 * [regime-testing]: Oracle error score: 0.009265213089983942
6.584 * [regime-testing]: End program error score: 0.013765775660305233
6.603 * [regime-testing]: Target error score: 0.01589177300075347