static double sqrt(double x) {
  ret Math.sqrt(x);
}