Mul Mul x0 4 Add Mul x0 atan Add sec exp x0 2 x1 
Add Mul Add Mul x0 atan Add sec exp x0 2 x1 4 Mul Mul x0 4 Add atan Add sec exp x0 2 Mul x0 Mul Mul Mul tan exp x0 sec exp x0 exp x0 Pow Add 1 Mul Add sec exp x0 2 Add sec exp x0 2 -1 