integral of arctan(cos(x))