Mul coth x0 atanh Mul Mul asech x0 acsch coth pi x0 
Add Mul atanh Mul Mul asech x0 acsch coth pi x0 Mul -1 Pow csch x0 2 Mul coth x0 Mul Add Mul x0 Mul acsch coth pi Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul asech x0 acsch coth pi Pow Add 1 Mul -1 Mul Mul Mul asech x0 acsch coth pi x0 Mul Mul asech x0 acsch coth pi x0 -1 