Mul Pow x0 acot Mul E Mul Add Add x0 pi Add x0 -4 x0 x5 
Mul x5 Mul Pow x0 Add acot Mul E Mul Add Add x0 pi Add x0 -4 x0 -1 Add acot Mul E Mul Add Add x0 pi Add x0 -4 x0 Mul Mul x0 log x0 Mul -1 Mul Mul E Add Mul x0 2 Add Add x0 pi Add x0 -4 Pow Add 1 Mul Mul E Mul Add Add x0 pi Add x0 -4 x0 Mul E Mul Add Add x0 pi Add x0 -4 x0 -1 