sqrt(cot x / 2)