Mul Add x4 atan Add Add exp x0 -4 4 Add Add x7 acot x0 2 
Add Mul Add Add x7 acot x0 2 Mul exp x0 Pow Add 1 Mul Add Add exp x0 -4 4 Add Add exp x0 -4 4 -1 Mul Add x4 atan Add Add exp x0 -4 4 Mul -1 Pow Add 1 Mul x0 x0 -1 