Mul asech Mul Add -3 Mul 2 x0 4 Pow Pow Pow x6 2 Add acos log x0 x0 Mul x0 pi 
Add Mul Pow Pow Pow x6 2 Add acos log x0 x0 Mul x0 pi Mul 6 Pow Mul Mul Mul Add -3 Mul 2 x0 4 Mul Add -3 Mul 2 x0 4 sqrt Add 1 Mul -1 Pow Mul Mul Add -3 Mul 2 x0 4 Mul Add -3 Mul 2 x0 4 -1 -1 Mul asech Mul Add -3 Mul 2 x0 4 Mul Pow Pow Pow x6 2 Add acos log x0 x0 Add Mul x0 pi -1 Add Mul Mul x0 pi Mul Pow Pow x6 2 Add Add acos log x0 x0 -1 Mul Mul Pow x6 2 log Pow x6 2 Add Mul -1 Mul Pow x0 -1 Pow sqrt Add 1 Mul -1 Mul log x0 log x0 -1 1 Mul Mul Pow Pow x6 2 Add acos log x0 x0 log Pow Pow x6 2 Add acos log x0 x0 pi 