Pow Add Pow acot pi x0 Mul 4 x0 x0 
Mul Pow Add Pow acot pi x0 Mul 4 x0 Add x0 -1 Add Mul x0 Add Mul Pow acot pi Add x0 -1 Mul acot pi log acot pi 4 Mul Add Pow acot pi x0 Mul 4 x0 log Add Pow acot pi x0 Mul 4 x0 