Pow x0 Mul Pow Add 1 Mul x0 x2 x0 cosh E 
Mul Pow x0 Add Mul Pow Add 1 Mul x0 x2 x0 cosh E -1 Add Mul Pow Add 1 Mul x0 x2 x0 cosh E Mul Mul x0 log x0 Mul cosh E Mul Pow Add 1 Mul x0 x2 Add x0 -1 Add Mul x0 x2 Mul Add 1 Mul x0 x2 log Add 1 Mul x0 x2 