Bonjour

je cherche comment simplifier

2cos(2t)/cost

et
(-2cost+2cos(-2t))/(2sint+2sin(-2t))

je regardais les identités de cos(2x), mais quand même je n'ai pas réussi à réduire ces expressions

merci d'avance