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