Mul Pow x0 x2 Mul Pow x4 Add acot x0 x0 pi 
Add Mul Mul Pow x4 Add acot x0 x0 pi Mul Pow x0 Add x2 -1 x2 Mul Pow x0 x2 Mul pi Mul Pow x4 Add Add acot x0 x0 -1 Mul Mul x4 log x4 Add Mul -1 Pow Add 1 Mul x0 x0 -1 1 