Add Mul Pow x0 x3 x5 Pow sech atanh x7 Mul coth x0 x0 
Add Mul x5 Mul Pow x0 Add x3 -1 x3 Mul Pow sech atanh x7 Add Mul coth x0 x0 -1 Mul Mul sech atanh x7 log sech atanh x7 Add Mul x0 Mul -1 Pow csch x0 2 coth x0 