Mul x0 acot Add x5 Mul x0 Add x0 Add Mul x0 sqrt x7 -4 
Add acot Add x5 Mul x0 Add x0 Add Mul x0 sqrt x7 -4 Mul x0 Mul -1 Mul Add Add x0 Add Mul x0 sqrt x7 -4 Mul x0 Add 1 sqrt x7 Pow Add 1 Mul Add x5 Mul x0 Add x0 Add Mul x0 sqrt x7 -4 Add x5 Mul x0 Add x0 Add Mul x0 sqrt x7 -4 -1 