integral cos^4(x)