Add Mul acot Mul x0 Pow Pow Mul Mul x5 x0 x0 x7 pi x0 Mul acot pi asin Add x0 acos x0 
Add Add Mul x0 Mul -1 Mul Add Pow Pow Mul Mul x5 x0 x0 x7 pi Mul x0 Mul Pow Pow Mul Mul x5 x0 x0 x7 Add pi -1 Mul pi Mul Pow Mul Mul x5 x0 x0 Add x7 -1 Mul x7 Add Mul x0 x5 Mul x5 x0 Pow Add 1 Mul Mul x0 Pow Pow Mul Mul x5 x0 x0 x7 pi Mul x0 Pow Pow Mul Mul x5 x0 x0 x7 pi -1 acot Mul x0 Pow Pow Mul Mul x5 x0 x0 x7 pi Mul acot pi Mul Add 1 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul Add x0 acos x0 Add x0 acos x0 -1 