Mul x0 Add x0 Mul 3 Add Mul Mul x0 -2 sec acot x0 x0 
Add Add x0 Mul 3 Add Mul Mul x0 -2 sec acot x0 x0 Mul x0 Add 1 Mul 3 Add Add Mul sec acot x0 -2 Mul Mul x0 -2 Mul Mul tan acot x0 sec acot x0 Mul -1 Pow Add 1 Mul x0 x0 -1 1 