/****************************************************************************/
/* (C) Copyright 1993 Universidade Estadual de Campinas (UNICAMP)           */
/*                    Campinas, SP, Brazil                                  */
/*                                                                          */
/* This file can be freely distributed, modified, and used for any          */
/*   non-commercial purpose, provided that this copyright and authorship    */
/*   notice be included in any copy or derived version of this file.        */
/*                                                                          */
/* DISCLAIMER: This software is offered ``as is'', without any guarantee    */
/*   as to fitness for any particular purpose.  Neither the copyright       */
/*   holder nor the authors or their employers can be held responsible for  */
/*   any damages that may result from its use.                              */
/****************************************************************************/

char *aat_ftag = "f5_32";
char *aat_fname = 
  "r2 = x^2 + y^2;\nm2 = (x^2 - 3*y^2)^2;\ns = x*m2 - r2^2;\nt = (1/8)/(2 + r2);\nf = s + t";
 
Float aat_f_flt (Float x, Float y)
  {
    ROUND_NEAR;
    {
      Float x2 = x*x;
      Float y2 = y*y;
      Float r2 = x2 + y2;
      Float m2 = x2 - Three * y2;
      Float s = x*m2 + r2*r2;
      Float t = 1.0/(8.0*(2.0 + r2));
      Float res = s + t;
      return (res);
    }
  }

Interval aat_f_ia (Interval x, Interval y)
  {
    Interval x2 = ia_sqr(x);
    Interval y2 = ia_sqr(y);
    Interval r2 = ia_add(x2, y2);
    Interval m2 = ia_sub(x2, ia_scale(y2, Three, One));
    Interval s = ia_add(ia_mul(x, m2), ia_sqr(r2));
    Interval t = ia_scale(ia_inv(ia_shift(r2, Two)), One, Eight);
    Interval res = ia_add(s, t);
    return (res);
  }

AAP aat_f_aa (AAP x, AAP y)
  {
    MemP frame = aa_top();
    AAP x2 = aa_sqr(x);
    AAP y2 = aa_sqr(y);
    AAP r2 = aa_add(x2, y2);
    AAP m2 = aa_sub(x2, aa_scale(y2, Three, One));
    AAP s = aa_add(aa_mul(x, m2), aa_sqr(r2));
    AAP t = aa_scale(aa_inv(aa_shift(r2, Two)), One, Eight);
    AAP res = aa_add(s, t);
    return (aa_return(frame, res));
  }

Interval aat_fxd = {-Three/Two, Three/Two};
Interval aat_fyd = {-Three/Two, Three/Two};

int aat_fn = 32;