Add x0 Add log x4 Pow Mul cosh x0 x4 sinh Pow x6 acos x0 
Add 1 Mul Pow Mul cosh x0 x4 Add sinh Pow x6 acos x0 -1 Add Mul sinh Pow x6 acos x0 Mul x4 sinh x0 Mul Mul Mul cosh x0 x4 log Mul cosh x0 x4 Mul cosh Pow x6 acos x0 Mul Pow x6 Add acos x0 -1 Mul Mul x6 log x6 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 