#include <cmath>
#include "capd/basicalg/doubleFun.h"
#include "capd/intervals/Interval.h"
#include "capd/rounding/DoubleRounding.h"