#include double tanh(double x) { return IEEEDPTanh(x); }