Mul x0 Add Mul Pow Add acot x0 -4 x6 Pow x3 Mul acos x0 Add Add x0 x0 pi x3 
Add Add Mul Pow Add acot x0 -4 x6 Pow x3 Mul acos x0 Add Add x0 x0 pi x3 Mul x0 Add Mul Pow x3 Mul acos x0 Add Add x0 x0 pi Mul Pow Add acot x0 -4 Add x6 -1 Mul x6 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Pow Add acot x0 -4 x6 Mul Pow x3 Add Mul acos x0 Add Add x0 x0 pi -1 Mul Mul x3 log x3 Add Mul Add Add x0 x0 pi Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul acos x0 2 