#include "capd/autodiff/DagIndexer.hpp"
#include "capd/multiPrec/mplib.h"
#include "capd/intervals/mplib.h"