exp Add Pow Pow -3 pi Add Add Add acot x5 x0 x0 Add 3 x0 Mul E x0 
Mul exp Add Pow Pow -3 pi Add Add Add acot x5 x0 x0 Add 3 x0 Mul E x0 Add Mul Pow Pow -3 pi Add Add Add Add acot x5 x0 x0 Add 3 x0 -1 Mul Mul Pow -3 pi log Pow -3 pi 3 E 