char *aat_gtag = "gdiv";
char *aat_gname = "u = sqrt(x^2 + 16);\nv = sqrt(x^2 + 1);\ng = u/v";

Float aat_g_flt (Float x)
  {
    ROUND_NEAR;
    return (sqrt(x*x+Four*Four)/sqrt(x*x+One));
  }

Interval aat_g_ia (Interval x)
  {
    Interval u = ia_sqrt(ia_shift(ia_sqr(x), Four*Four));
    Interval v = ia_sqrt(ia_shift(ia_sqr(x), One));
    Interval res = ia_div(u,v);
    return (res);
  }

AAP aat_g_aa (AAP x)
  {
    AAP u = aa_sqrt(aa_shift(aa_sqr(x), Four*Four));
    AAP v = aa_sqrt(aa_shift(aa_sqr(x), One));
    AAP res = aa_div(u,v);
    return (res);
  }

Interval aat_gxd = {-One, Two*Four - One};
Interval aat_gyd = {-Two, Two*Four};

int aat_gn = 12;