Mul x0 Pow Mul x0 cosh Mul Add Pow -3 x4 acosh E Mul x0 x0 -1 
Add Pow Mul x0 cosh Mul Add Pow -3 x4 acosh E Mul x0 x0 -1 Mul x0 Mul Pow Mul x0 cosh Mul Add Pow -3 x4 acosh E Mul x0 x0 2 Mul -1 Add cosh Mul Add Pow -3 x4 acosh E Mul x0 x0 Mul x0 Mul sinh Mul Add Pow -3 x4 acosh E Mul x0 x0 Mul Add Pow -3 x4 acosh E Add x0 x0 