Pow cosh Mul 2 x0 Pow Mul x0 x0 x7 
Mul Pow cosh Mul 2 x0 Add Pow Mul x0 x0 x7 -1 Add Mul Pow Mul x0 x0 x7 Mul sinh Mul 2 x0 2 Mul Mul cosh Mul 2 x0 log cosh Mul 2 x0 Mul Pow Mul x0 x0 Add x7 -1 Mul x7 Add x0 x0 