double mysqrt(double x);