Add Pow x1 Pow csch cot Pow Add x0 Pow cosh x0 x7 x0 Pow 3 x3 acosh x3 
Mul Pow x1 Add Pow csch cot Pow Add x0 Pow cosh x0 x7 x0 Pow 3 x3 -1 Mul Mul x1 log x1 Mul Pow csch cot Pow Add x0 Pow cosh x0 x7 x0 Add Pow 3 x3 -1 Mul Pow 3 x3 Mul Mul Mul -1 coth cot Pow Add x0 Pow cosh x0 x7 x0 csch cot Pow Add x0 Pow cosh x0 x7 x0 Mul Mul -1 Pow csc Pow Add x0 Pow cosh x0 x7 x0 2 Mul Pow Add x0 Pow cosh x0 x7 Add x0 -1 Add Mul x0 Add 1 Mul Pow cosh x0 Add x7 -1 Mul x7 sinh x0 Mul Add x0 Pow cosh x0 x7 log Add x0 Pow cosh x0 x7 