integrate arctan((2tan x+1)/sqrt3)