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