double dsin1(double);