double log(double x);