acot Mul Pow x1 acot Mul coth x0 asinh x0 -2 
Mul -1 Mul Mul -2 Mul Pow x1 Add acot Mul coth x0 asinh x0 -1 Mul Mul x1 log x1 Mul -1 Mul Add Mul asinh x0 Mul -1 Pow csch x0 2 Mul coth x0 Pow sqrt Add 1 Mul x0 x0 -1 Pow Add 1 Mul Mul coth x0 asinh x0 Mul coth x0 asinh x0 -1 Pow Add 1 Mul Mul Pow x1 acot Mul coth x0 asinh x0 -2 Mul Pow x1 acot Mul coth x0 asinh x0 -2 -1 