cot(arcsin(-1/2)/2)