simplify [cos(x)+cos(2x)]^2