Mul x0 Mul cosh sinh asinh Pow x2 x0 acos x0 
Add Mul cosh sinh asinh Pow x2 x0 acos x0 Mul x0 Add Mul acos x0 Mul sinh sinh asinh Pow x2 x0 Mul cosh asinh Pow x2 x0 Mul Mul Pow x2 Add x0 -1 Mul x2 log x2 Pow sqrt Add 1 Mul Pow x2 x0 Pow x2 x0 -1 Mul cosh sinh asinh Pow x2 x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 