Mul Mul Pow x0 Pow x0 cos tan acos x0 Pow Add x1 x0 x0 asech x0 
Add Mul asech x0 Add Mul Pow Add x1 x0 x0 Mul Pow x0 Add Pow x0 cos tan acos x0 -1 Add Pow x0 cos tan acos x0 Mul Mul x0 log x0 Mul Pow x0 Add cos tan acos x0 -1 Add cos tan acos x0 Mul Mul x0 log x0 Mul Mul -1 sin tan acos x0 Mul Pow sec acos x0 2 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Pow x0 Pow x0 cos tan acos x0 Mul Pow Add x1 x0 Add x0 -1 Add x0 Mul Add x1 x0 log Add x1 x0 Mul Mul Pow x0 Pow x0 cos tan acos x0 Pow Add x1 x0 x0 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 