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