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