Add Add Pow cosh Mul x0 cosh x3 Pow x0 x6 -5 x7 
Mul Pow cosh Mul x0 cosh x3 Add Pow x0 x6 -1 Add Mul Pow x0 x6 Mul sinh Mul x0 cosh x3 cosh x3 Mul Mul cosh Mul x0 cosh x3 log cosh Mul x0 cosh x3 Mul Pow x0 Add x6 -1 x6 