sinh Add Mul x3 x0 Pow cosh Pow Mul x0 x0 -2 exp Pow x0 x6 
Mul cosh Add Mul x3 x0 Pow cosh Pow Mul x0 x0 -2 exp Pow x0 x6 Add x3 Mul Pow cosh Pow Mul x0 x0 -2 Add exp Pow x0 x6 -1 Add Mul exp Pow x0 x6 Mul sinh Pow Mul x0 x0 -2 Mul Pow Mul x0 x0 3 Mul -2 Add x0 x0 Mul Mul cosh Pow Mul x0 x0 -2 log cosh Pow Mul x0 x0 -2 Mul exp Pow x0 x6 Mul Pow x0 Add x6 -1 x6 