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