(sin(sin^-1(x/sqrt(2))))*(cos(sin^-1(x/sqrt(2))))