Mul Pow x4 cosh x0 Pow x0 exp Add x0 x2 
Add Mul Pow x0 exp Add x0 x2 Mul Pow x4 Add cosh x0 -1 Mul Mul x4 log x4 sinh x0 Mul Pow x4 cosh x0 Mul Pow x0 Add exp Add x0 x2 -1 Add exp Add x0 x2 Mul Mul x0 log x0 exp Add x0 x2 