Add coth Add coth x0 Pow Add x6 5 x0 Add Add acoth x0 acsch cosh x0 Mul 4 Mul x0 5 
Add Mul Mul -1 Pow csch Add coth x0 Pow Add x6 5 x0 2 Add Mul -1 Pow csch x0 2 Mul Pow Add x6 5 Add x0 -1 Mul Add x6 5 log Add x6 5 Add Add Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul -1 sinh x0 Pow Mul Mul cosh x0 cosh x0 sqrt Add 1 Mul -1 Pow Mul cosh x0 cosh x0 -1 -1 9 