Ok, Thanks for all your input. I will try to generalize the 'box' method and see
if I can use it to simplify other functions that I encounter.
I am also looking at the function trigsimp in the code. May this will help in
building some simplification rules for hyperbolic functions as well.
Does somebody know of a mathematical reference (paper, book) that explains the mathematics behind
simplification rules (treating canonical forms, intermediate expression swell, practical algorithms)?
Regards,
Nijso