atanh asech log coth Mul csch x1 Mul x0 x1 
Mul Mul Mul Mul Mul -1 Pow csch Mul csch x1 Mul x0 x1 2 Mul csch x1 x1 Pow coth Mul csch x1 Mul x0 x1 -1 Pow Mul Mul log coth Mul csch x1 Mul x0 x1 log coth Mul csch x1 Mul x0 x1 sqrt Add 1 Mul -1 Pow Mul log coth Mul csch x1 Mul x0 x1 log coth Mul csch x1 Mul x0 x1 -1 -1 Pow Add 1 Mul -1 Mul asech log coth Mul csch x1 Mul x0 x1 asech log coth Mul csch x1 Mul x0 x1 -1 