Add -3 Add x0 Pow coth Add acosh E Pow acoth x0 Pow sinh Pow log x6 x7 x5 -1 
Add 1 Mul Pow coth Add acosh E Pow acoth x0 Pow sinh Pow log x6 x7 x5 2 Mul -1 Mul Mul -1 Pow csch Add acosh E Pow acoth x0 Pow sinh Pow log x6 x7 x5 2 Mul Pow acoth x0 Add Pow sinh Pow log x6 x7 x5 -1 Mul Pow sinh Pow log x6 x7 x5 Pow Add 1 Mul -1 Mul x0 x0 -1 