Mul x0 coth Mul Add Pow Mul Pow Pow x5 x0 Mul x0 x6 x0 3 acosh Pow 5 x1 Mul x0 Mul x1 x1 
Add coth Mul Add Pow Mul Pow Pow x5 x0 Mul x0 x6 x0 3 acosh Pow 5 x1 Mul x0 Mul x1 x1 Mul x0 Mul Mul -1 Pow csch Mul Add Pow Mul Pow Pow x5 x0 Mul x0 x6 x0 3 acosh Pow 5 x1 Mul x0 Mul x1 x1 2 Add Mul Mul x0 Mul x1 x1 Mul Pow Mul Pow Pow x5 x0 Mul x0 x6 x0 2 Mul 3 Add Mul x0 Mul Pow Pow x5 x0 Add Mul x0 x6 -1 Add Mul Mul x0 x6 Mul Pow x5 Add x0 -1 Mul x5 log x5 Mul Mul Pow x5 x0 log Pow x5 x0 x6 Pow Pow x5 x0 Mul x0 x6 Mul Add Pow Mul Pow Pow x5 x0 Mul x0 x6 x0 3 acosh Pow 5 x1 Mul x1 x1 