Integral arctan(cos(x))