integral cos(x)^4