Pow csch exp Mul Mul x1 x0 asech x0 asinh log x2 
Mul Pow csch exp Mul Mul x1 x0 asech x0 Add asinh log x2 -1 Mul asinh log x2 Mul Mul Mul -1 coth exp Mul Mul x1 x0 asech x0 csch exp Mul Mul x1 x0 asech x0 Mul exp Mul Mul x1 x0 asech x0 Add Mul asech x0 x1 Mul Mul x1 x0 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 