Mul Add -4 x2 acot Pow Add x0 4 Pow Pow x0 2 E 
Mul Add -4 x2 Mul -1 Mul Mul Pow Add x0 4 Add Pow Pow x0 2 E -1 Add Pow Pow x0 2 E Mul Mul Add x0 4 log Add x0 4 Mul Pow Pow x0 2 Add E -1 Mul E Mul x0 2 Pow Add 1 Mul Pow Add x0 4 Pow Pow x0 2 E Pow Add x0 4 Pow Pow x0 2 E -1 