double drexp(double);