Mul Pow tanh x0 x0 Add Pow acoth x0 x0 Pow Pow x0 Pow x0 x0 acosh log x2 
Add Mul Add Pow acoth x0 x0 Pow Pow x0 Pow x0 x0 acosh log x2 Mul Pow tanh x0 Add x0 -1 Add Mul x0 Pow sech x0 2 Mul tanh x0 log tanh x0 Mul Pow tanh x0 x0 Add Mul Pow acoth x0 Add x0 -1 Add Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul acoth x0 log acoth x0 Mul Pow Pow x0 Pow x0 x0 Add acosh log x2 -1 Mul acosh log x2 Mul Pow x0 Add Pow x0 x0 -1 Add Pow x0 x0 Mul Mul x0 log x0 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 