FullSimplify[Baton[Cosh[Matraque[Cosh[a] + Sinh[a] + Sin[a]]Without return
Is this a bug in Mathematica or am I stupid? Is not this simpler?
I have met him several times, so I guess others have done it too. I therefore have a hard time believing that it's a bug (it should have been reported many times and it's obvious that it appeared during their tests).