Add x1 Mul Pow Mul x0 Mul x1 x0 tanh Pow x5 acoth x0 acosh Add x7 x4 
Mul acosh Add x7 x4 Mul Pow Mul x0 Mul x1 x0 Add tanh Pow x5 acoth x0 -1 Add Mul tanh Pow x5 acoth x0 Add Mul x1 x0 Mul x0 x1 Mul Mul Mul x0 Mul x1 x0 log Mul x0 Mul x1 x0 Mul Pow sech Pow x5 acoth x0 2 Mul Pow x5 Add acoth x0 -1 Mul Mul x5 log x5 Pow Add 1 Mul -1 Mul x0 x0 -1 