Add Mul -2 Pow E sqrt atan Add x0 Add 0.776819399895696 Add x4 Add x0 Add cosh x0 x0 acos x3 
Mul -2 Mul Pow E Add sqrt atan Add x0 Add 0.776819399895696 Add x4 Add x0 Add cosh x0 x0 -1 Mul Mul E log E Mul Pow Mul 2 sqrt atan Add x0 Add 0.776819399895696 Add x4 Add x0 Add cosh x0 x0 -1 Mul Add 1 Add 1 Add sinh x0 1 Pow Add 1 Mul Add x0 Add 0.776819399895696 Add x4 Add x0 Add cosh x0 x0 Add x0 Add 0.776819399895696 Add x4 Add x0 Add cosh x0 x0 -1 