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