Mul acot Mul x0 x0 Mul x0 Add Pow Mul x0 x0 4 x7 
Add Mul Mul x0 Add Pow Mul x0 x0 4 x7 Mul -1 Mul Add x0 x0 Pow Add 1 Mul Mul x0 x0 Mul x0 x0 -1 Mul acot Mul x0 x0 Add Add Pow Mul x0 x0 4 x7 Mul x0 Mul Pow Mul x0 x0 3 Mul 4 Add x0 x0 