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