Add Pow Mul x0 acos Add x6 E Pow Add x0 x0 pi Add Pow acot x0 2 Add x0 Mul Add x0 x0 5 
Add Mul Pow Mul x0 acos Add x6 E Add Pow Add x0 x0 pi -1 Add Mul Pow Add x0 x0 pi acos Add x6 E Mul Mul Mul x0 acos Add x6 E log Mul x0 acos Add x6 E Mul Pow Add x0 x0 Add pi -1 Mul pi 2 Add Mul acot x0 Mul 2 Mul -1 Pow Add 1 Mul x0 x0 -1 8 