Mul Mul E x0 coth Add Mul Pow x0 Pow 3 x6 x0 Mul Add Mul x5 4 -2 Add x7 Pow acosh Pow x1 x3 Mul x2 x0 
Add Mul coth Add Mul Pow x0 Pow 3 x6 x0 Mul Add Mul x5 4 -2 Add x7 Pow acosh Pow x1 x3 Mul x2 x0 E Mul Mul E x0 Mul Mul -1 Pow csch Add Mul Pow x0 Pow 3 x6 x0 Mul Add Mul x5 4 -2 Add x7 Pow acosh Pow x1 x3 Mul x2 x0 2 Add Add Mul x0 Mul Pow x0 Add Pow 3 x6 -1 Pow 3 x6 Pow x0 Pow 3 x6 Mul Add Mul x5 4 -2 Mul Pow acosh Pow x1 x3 Add Mul x2 x0 -1 Mul Mul acosh Pow x1 x3 log acosh Pow x1 x3 x2 