Mul x0 Add x0 Pow Mul cosh x0 asec x3 acos x0 
Add Add x0 Pow Mul cosh x0 asec x3 acos x0 Mul x0 Add 1 Mul Pow Mul cosh x0 asec x3 Add acos x0 -1 Add Mul acos x0 Mul asec x3 sinh x0 Mul Mul Mul cosh x0 asec x3 log Mul cosh x0 asec x3 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 