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