cosh Add Add -1 Mul Add Pow csch x5 x0 Add Add x7 x0 x0 acosh x5 Add x0 -2 
Mul sinh Add Add -1 Mul Add Pow csch x5 x0 Add Add x7 x0 x0 acosh x5 Add x0 -2 Add Mul acosh x5 Add Mul Pow csch x5 Add x0 -1 Mul csch x5 log csch x5 2 1 