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