Add Mul Pow cosh Pow x0 x2 Add x0 Mul x3 Mul x5 x0 x7 1 
Mul x7 Mul Pow cosh Pow x0 x2 Add Add x0 Mul x3 Mul x5 x0 -1 Add Mul Add x0 Mul x3 Mul x5 x0 Mul sinh Pow x0 x2 Mul Pow x0 Add x2 -1 x2 Mul Mul cosh Pow x0 x2 log cosh Pow x0 x2 Add 1 Mul x3 x5 