Does #cos240=(cos120)^2-(sin120)^2#?