tanh Pow x0 Pow acoth Pow sech x7 x0 -2 
Mul Pow sech Pow x0 Pow acoth Pow sech x7 x0 -2 2 Mul Pow x0 Add Pow acoth Pow sech x7 x0 -2 -1 Add Pow acoth Pow sech x7 x0 -2 Mul Mul x0 log x0 Mul Pow acoth Pow sech x7 x0 3 Mul -2 Mul Mul Pow sech x7 Add x0 -1 Mul sech x7 log sech x7 Pow Add 1 Mul -1 Mul Pow sech x7 x0 Pow sech x7 x0 -1 