Add sec acot Mul x3 x0 Add x0 Add Mul 3 x0 atan Add x0 4 
Add Mul Mul tan acot Mul x3 x0 sec acot Mul x3 x0 Mul -1 Mul x3 Pow Add 1 Mul Mul x3 x0 Mul x3 x0 -1 Add 1 Add 3 Pow Add 1 Mul Add x0 4 Add x0 4 -1 