Add Pow cosh Mul x1 Mul E x6 Mul Mul x0 Pow coth x5 x4 x0 x7 
Mul Pow cosh Mul x1 Mul E x6 Add Mul Mul x0 Pow coth x5 x4 x0 -1 Mul Mul cosh Mul x1 Mul E x6 log cosh Mul x1 Mul E x6 Add Mul x0 Pow coth x5 x4 Mul x0 Pow coth x5 x4 