Add Pow Pow x0 Mul E Add -4 atanh x1 Pow 2 pi acot x0 
Add Mul Pow Pow x0 Mul E Add -4 atanh x1 Add Pow 2 pi -1 Mul Pow 2 pi Mul Pow x0 Add Mul E Add -4 atanh x1 -1 Mul E Add -4 atanh x1 Mul -1 Pow Add 1 Mul x0 x0 -1 