Mul Pow Mul x0 Pow Add 1 x0 x0 cosh E Mul 2 acos x0 
Add Mul Mul 2 acos x0 Mul Pow Mul x0 Pow Add 1 x0 x0 Add cosh E -1 Mul cosh E Add Pow Add 1 x0 x0 Mul x0 Mul Pow Add 1 x0 Add x0 -1 Add x0 Mul Add 1 x0 log Add 1 x0 Mul Pow Mul x0 Pow Add 1 x0 x0 cosh E Mul 2 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 