Pow Mul cosh Pow x6 x0 Pow x0 9 x0 
Mul Pow Mul cosh Pow x6 x0 Pow x0 9 Add x0 -1 Add Mul x0 Add Mul Pow x0 9 Mul sinh Pow x6 x0 Mul Pow x6 Add x0 -1 Mul x6 log x6 Mul cosh Pow x6 x0 Mul Pow x0 8 9 Mul Mul cosh Pow x6 x0 Pow x0 9 log Mul cosh Pow x6 x0 Pow x0 9 