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