integral of cos(x)/cos(4x)