#include double tan(double x) { return IEEEDPTan(x); }