Pow Pow x0 x6 Mul Pow cosh x0 Mul -5 x0 x5 
Mul Pow Pow x0 x6 Add Mul Pow cosh x0 Mul -5 x0 x5 -1 Add Mul Mul Pow cosh x0 Mul -5 x0 x5 Mul Pow x0 Add x6 -1 x6 Mul Mul Pow x0 x6 log Pow x0 x6 Mul x5 Mul Pow cosh x0 Add Mul -5 x0 -1 Add Mul Mul -5 x0 sinh x0 Mul Mul cosh x0 log cosh x0 -5 