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