Pow Add x0 3 Add x0 Add acot Mul pi Mul Pow Add x3 pi x0 x5 x0 
Mul Pow Add x0 3 Add Add x0 Add acot Mul pi Mul Pow Add x3 pi x0 x5 x0 -1 Add Add x0 Add acot Mul pi Mul Pow Add x3 pi x0 x5 x0 Mul Mul Add x0 3 log Add x0 3 Add 1 Add Mul -1 Mul Mul pi Mul x5 Mul Pow Add x3 pi Add x0 -1 Mul Add x3 pi log Add x3 pi Pow Add 1 Mul Mul pi Mul Pow Add x3 pi x0 x5 Mul pi Mul Pow Add x3 pi x0 x5 -1 1 