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