acot Pow Mul Mul Pow cosh acoth x0 tanh Add x2 x0 x4 x0 x0 
Mul -1 Mul Mul Pow Mul Mul Pow cosh acoth x0 tanh Add x2 x0 x4 x0 Add x0 -1 Add Mul x0 Add Mul x0 Mul x4 Mul Pow cosh acoth x0 Add tanh Add x2 x0 -1 Add Mul tanh Add x2 x0 Mul sinh acoth x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul cosh acoth x0 log cosh acoth x0 Pow sech Add x2 x0 2 Mul Pow cosh acoth x0 tanh Add x2 x0 x4 Mul Mul Mul Pow cosh acoth x0 tanh Add x2 x0 x4 x0 log Mul Mul Pow cosh acoth x0 tanh Add x2 x0 x4 x0 Pow Add 1 Mul Pow Mul Mul Pow cosh acoth x0 tanh Add x2 x0 x4 x0 x0 Pow Mul Mul Pow cosh acoth x0 tanh Add x2 x0 x4 x0 x0 -1 