Add 5 Mul coth Mul Pow Mul x2 x0 Add -3 Pow acos x3 asec Mul x0 coth x1 x6 -4 
Mul -4 Mul Mul -1 Pow csch Mul Pow Mul x2 x0 Add -3 Pow acos x3 asec Mul x0 coth x1 x6 2 Mul x6 Mul Pow Mul x2 x0 Add Add -3 Pow acos x3 asec Mul x0 coth x1 -1 Add Mul Add -3 Pow acos x3 asec Mul x0 coth x1 x2 Mul Mul Mul x2 x0 log Mul x2 x0 Mul Pow acos x3 Add asec Mul x0 coth x1 -1 Mul Mul acos x3 log acos x3 Mul coth x1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul x0 coth x1 Mul x0 coth x1 -1 Mul x0 coth x1 Mul x0 coth x1 -1 