sin^-1(x) + sin^-1(6sqrt(3)x) = -pi/2