Pow Mul x0 acoth Mul asinh csch asinh x0 x1 -4 
Mul Pow Mul x0 acoth Mul asinh csch asinh x0 x1 5 Mul -4 Add acoth Mul asinh csch asinh x0 x1 Mul x0 Mul Mul x1 Mul Mul Mul Mul -1 coth asinh x0 csch asinh x0 Pow sqrt Add 1 Mul x0 x0 -1 Pow sqrt Add 1 Mul csch asinh x0 csch asinh x0 -1 Pow Add 1 Mul -1 Mul Mul asinh csch asinh x0 x1 Mul asinh csch asinh x0 x1 -1 