double rt3(double);