Mul 3 Mul acot Add -4 Mul Pow Mul Add pi x7 x0 acot x0 Add sqrt Mul Mul -4 asin Pow x0 x0 pi x0 x0 
Mul 3 Add Mul x0 Mul -1 Mul Add Mul Add sqrt Mul Mul -4 asin Pow x0 x0 pi x0 Mul Pow Mul Add pi x7 x0 Add acot x0 -1 Add Mul acot x0 Add pi x7 Mul Mul Mul Add pi x7 x0 log Mul Add pi x7 x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Pow Mul Add pi x7 x0 acot x0 Add Mul Pow Mul 2 sqrt Mul Mul -4 asin Pow x0 x0 pi -1 Mul pi Mul -4 Mul Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Pow sqrt Add 1 Mul -1 Mul Pow x0 x0 Pow x0 x0 -1 1 Pow Add 1 Mul Add -4 Mul Pow Mul Add pi x7 x0 acot x0 Add sqrt Mul Mul -4 asin Pow x0 x0 pi x0 Add -4 Mul Pow Mul Add pi x7 x0 acot x0 Add sqrt Mul Mul -4 asin Pow x0 x0 pi x0 -1 acot Add -4 Mul Pow Mul Add pi x7 x0 acot x0 Add sqrt Mul Mul -4 asin Pow x0 x0 pi x0 