How do you simplify using the sum and difference formula cos((5pi)/12)?