What is cosx times cos2x?