Add Pow tanh acoth x0 Mul log x0 x5 5 
Mul Pow tanh acoth x0 Add Mul log x0 x5 -1 Add Mul Mul log x0 x5 Mul Pow sech acoth x0 2 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul tanh acoth x0 log tanh acoth x0 Mul x5 Pow x0 -1 