Pow coth Pow Mul x0 x4 asinh x5 Mul Pow acos x0 acoth x3 -3 
Mul Pow coth Pow Mul x0 x4 asinh x5 Add Mul Pow acos x0 acoth x3 -3 -1 Add Mul Mul Pow acos x0 acoth x3 -3 Mul Mul -1 Pow csch Pow Mul x0 x4 asinh x5 2 Mul Pow Mul x0 x4 Add asinh x5 -1 Mul asinh x5 x4 Mul Mul coth Pow Mul x0 x4 asinh x5 log coth Pow Mul x0 x4 asinh x5 Mul -3 Mul Pow acos x0 Add acoth x3 -1 Mul acoth x3 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 