Pow Add Add Add x0 acot acoth x0 4 Add Add Mul x0 x3 pi Add x0 x0 E 
Mul Pow Add Add Add x0 acot acoth x0 4 Add Add Mul x0 x3 pi Add x0 x0 Add E -1 Mul E Add Add 1 Mul -1 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul acoth x0 acoth x0 -1 Add x3 2 