Pow Add x2 atanh acoth Pow x0 tanh x0 -4 
Mul Pow Add x2 atanh acoth Pow x0 tanh x0 5 Mul -4 Mul Mul Mul Pow x0 Add tanh x0 -1 Add tanh x0 Mul Mul x0 log x0 Pow sech x0 2 Pow Add 1 Mul -1 Mul Pow x0 tanh x0 Pow x0 tanh x0 -1 Pow Add 1 Mul -1 Mul acoth Pow x0 tanh x0 acoth Pow x0 tanh x0 -1 