Mul sec Pow Add asech Mul x0 pi acos x0 x0 2 
Mul 2 Mul Mul tan Pow Add asech Mul x0 pi acos x0 x0 sec Pow Add asech Mul x0 pi acos x0 x0 Mul Pow Add asech Mul x0 pi acos x0 Add x0 -1 Add Mul x0 Add Mul pi Pow Mul Mul Mul x0 pi Mul x0 pi sqrt Add 1 Mul -1 Pow Mul Mul x0 pi Mul x0 pi -1 -1 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Add asech Mul x0 pi acos x0 log Add asech Mul x0 pi acos x0 