#include double log(double x) { return IEEEDPLog(x); }