sin(cot^-1(1/2))