cosh Mul Pow Mul acos x0 Add x3 1.07302918318806 x7 x0 
Mul sinh Mul Pow Mul acos x0 Add x3 1.07302918318806 x7 x0 Add Mul x0 Mul Pow Mul acos x0 Add x3 1.07302918318806 Add x7 -1 Mul x7 Mul Add x3 1.07302918318806 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Mul acos x0 Add x3 1.07302918318806 x7 