sinh Pow x3 Add sinh Add x0 x7 Add Pow acsch x6 x0 x0 
Mul cosh Pow x3 Add sinh Add x0 x7 Add Pow acsch x6 x0 x0 Mul Pow x3 Add Add sinh Add x0 x7 Add Pow acsch x6 x0 x0 -1 Mul Mul x3 log x3 Add cosh Add x0 x7 Add Mul Pow acsch x6 Add x0 -1 Mul acsch x6 log acsch x6 1 