Pow acot Add Add Pow Pow Mul x6 x0 Add x7 acos x0 pi x1 acos x0 x0 
Mul Pow acot Add Add Pow Pow Mul x6 x0 Add x7 acos x0 pi x1 acos x0 Add x0 -1 Add Mul x0 Mul -1 Mul Add Mul Pow Pow Mul x6 x0 Add x7 acos x0 Add pi -1 Mul pi Mul Pow Mul x6 x0 Add Add x7 acos x0 -1 Add Mul Add x7 acos x0 x6 Mul Mul Mul x6 x0 log Mul x6 x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul Add Add Pow Pow Mul x6 x0 Add x7 acos x0 pi x1 acos x0 Add Add Pow Pow Mul x6 x0 Add x7 acos x0 pi x1 acos x0 -1 Mul acot Add Add Pow Pow Mul x6 x0 Add x7 acos x0 pi x1 acos x0 log acot Add Add Pow Pow Mul x6 x0 Add x7 acos x0 pi x1 acos x0 