tanh acsch Mul coth x2 Add 4 x0 
Mul Pow sech acsch Mul coth x2 Add 4 x0 2 Mul Mul -1 coth x2 Pow Mul Mul Mul coth x2 Add 4 x0 Mul coth x2 Add 4 x0 sqrt Add 1 Mul -1 Pow Mul Mul coth x2 Add 4 x0 Mul coth x2 Add 4 x0 -1 -1 