integrate 0 to pi/3 e^(x)/cos(x)