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