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