Mul x3 Mul Add -1 Pow Mul 2 x0 sec Mul Add 4 sqrt x7 x0 x5 
Mul x3 Mul x5 Mul Pow Mul 2 x0 Add sec Mul Add 4 sqrt x7 x0 -1 Add Mul sec Mul Add 4 sqrt x7 x0 2 Mul Mul Mul 2 x0 log Mul 2 x0 Mul Mul tan Mul Add 4 sqrt x7 x0 sec Mul Add 4 sqrt x7 x0 Add 4 sqrt x7 