x/2+acot(x) local extrema