integral from -pi/3 to pi/3 arctan (cos(x) * tan(pi/4)/cos(pi/3))