Pow Pow sqrt coth x3 tanh Mul x0 -3 Mul x4 Pow Mul x0 acosh Add x2 x0 -2 
Mul Pow Pow sqrt coth x3 tanh Mul x0 -3 Add Mul x4 Pow Mul x0 acosh Add x2 x0 -2 -1 Add Mul Mul x4 Pow Mul x0 acosh Add x2 x0 -2 Mul Pow sqrt coth x3 Add tanh Mul x0 -3 -1 Mul Mul sqrt coth x3 log sqrt coth x3 Mul Pow sech Mul x0 -3 2 -3 Mul Mul Pow sqrt coth x3 tanh Mul x0 -3 log Pow sqrt coth x3 tanh Mul x0 -3 Mul x4 Mul Pow Mul x0 acosh Add x2 x0 3 Mul -2 Add acosh Add x2 x0 Mul x0 Pow Mul sqrt Add Add x2 x0 -1 sqrt Add 1 Add x2 x0 -1 