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