sqrt Mul -1 Add Add Mul Add x0 exp x0 x3 4 acot exp x0 
Mul Pow Mul 2 sqrt Mul -1 Add Add Mul Add x0 exp x0 x3 4 acot exp x0 -1 Mul -1 Add Mul x3 Add 1 exp x0 Mul -1 Mul exp x0 Pow Add 1 Mul exp x0 exp x0 -1 