Mul x0 Pow Add x0 sin acot Add Add x0 x0 -4 Pow x3 sqrt x7 
Add Pow Add x0 sin acot Add Add x0 x0 -4 Pow x3 sqrt x7 Mul x0 Mul Pow Add x0 sin acot Add Add x0 x0 -4 Add Pow x3 sqrt x7 -1 Mul Pow x3 sqrt x7 Add 1 Mul cos acot Add Add x0 x0 -4 Mul -1 Mul 2 Pow Add 1 Mul Add Add x0 x0 -4 Add Add x0 x0 -4 -1 