Add acot exp sec Mul Mul x0 x4 x0 x0 
Add Mul -1 Mul Mul exp sec Mul Mul x0 x4 x0 Mul Mul tan Mul Mul x0 x4 x0 sec Mul Mul x0 x4 x0 Add Mul x0 x4 Mul x0 x4 Pow Add 1 Mul exp sec Mul Mul x0 x4 x0 exp sec Mul Mul x0 x4 x0 -1 1 