Add exp Pow Add x0 x0 acot Pow Mul x2 E x0 -0.841470984807897 
Mul exp Pow Add x0 x0 acot Pow Mul x2 E x0 Mul Pow Add x0 x0 Add acot Pow Mul x2 E x0 -1 Add Mul acot Pow Mul x2 E x0 2 Mul Mul Add x0 x0 log Add x0 x0 Mul -1 Mul Mul Pow Mul x2 E Add x0 -1 Mul Mul x2 E log Mul x2 E Pow Add 1 Mul Pow Mul x2 E x0 Pow Mul x2 E x0 -1 