Pow cosh Pow Mul -1 x0 5 Add Mul x3 x0 x0 
Mul Pow cosh Pow Mul -1 x0 5 Add Add Mul x3 x0 x0 -1 Add Mul Add Mul x3 x0 x0 Mul sinh Pow Mul -1 x0 5 Mul Pow Mul -1 x0 4 4 Mul Mul cosh Pow Mul -1 x0 5 log cosh Pow Mul -1 x0 5 Add x3 1 