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