((cos(2x))^4/4)'