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