acsch Pow tanh acoth x2 sinh x0 
Mul Mul -1 Mul Pow tanh acoth x2 Add sinh x0 -1 Mul Mul tanh acoth x2 log tanh acoth x2 cosh x0 Pow Mul Mul Pow tanh acoth x2 sinh x0 Pow tanh acoth x2 sinh x0 sqrt Add 1 Mul -1 Pow Mul Pow tanh acoth x2 sinh x0 Pow tanh acoth x2 sinh x0 -1 -1 