Add Pow sec Mul x0 asec Mul acos x0 asin x4 x0 x0 
Add Mul Pow sec Mul x0 asec Mul acos x0 asin x4 Add x0 -1 Add Mul x0 Mul Mul tan Mul x0 asec Mul acos x0 asin x4 sec Mul x0 asec Mul acos x0 asin x4 Add asec Mul acos x0 asin x4 Mul x0 Mul Mul asin x4 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul acos x0 asin x4 Mul acos x0 asin x4 -1 Mul acos x0 asin x4 Mul acos x0 asin x4 -1 Mul sec Mul x0 asec Mul acos x0 asin x4 log sec Mul x0 asec Mul acos x0 asin x4 1 