Mul x0 Pow Add sqrt Pow Mul acos sec Mul x0 x3 x0 x0 x0 x0 
Add Pow Add sqrt Pow Mul acos sec Mul x0 x3 x0 x0 x0 x0 Mul x0 Mul Pow Add sqrt Pow Mul acos sec Mul x0 x3 x0 x0 x0 Add x0 -1 Add Mul x0 Add Mul Pow Mul 2 sqrt Pow Mul acos sec Mul x0 x3 x0 x0 -1 Mul Pow Mul acos sec Mul x0 x3 x0 Add x0 -1 Add Mul x0 Add Mul x0 Mul -1 Mul Mul Mul tan Mul x0 x3 sec Mul x0 x3 x3 Pow sqrt Add 1 Mul -1 Mul sec Mul x0 x3 sec Mul x0 x3 -1 acos sec Mul x0 x3 Mul Mul acos sec Mul x0 x3 x0 log Mul acos sec Mul x0 x3 x0 1 Mul Add sqrt Pow Mul acos sec Mul x0 x3 x0 x0 x0 log Add sqrt Pow Mul acos sec Mul x0 x3 x0 x0 x0 