exp Add Add Pow x0 Pow x0 pi Add x0 sqrt acot x0 x0 
Mul exp Add Add Pow x0 Pow x0 pi Add x0 sqrt acot x0 x0 Add Add Mul Pow x0 Add Pow x0 pi -1 Add Pow x0 pi Mul Mul x0 log x0 Mul Pow x0 Add pi -1 pi Add 1 Mul Pow Mul 2 sqrt acot x0 -1 Mul -1 Pow Add 1 Mul x0 x0 -1 1 