Pow log x3 Mul 2 Mul Pow csch sinh x0 x6 x7 
Mul Pow log x3 Add Mul 2 Mul Pow csch sinh x0 x6 x7 -1 Mul Mul log x3 log log x3 Mul 2 Mul x7 Mul Pow csch sinh x0 Add x6 -1 Mul x6 Mul Mul Mul -1 coth sinh x0 csch sinh x0 cosh x0 