cot(x) from zero to pi/2