exp Pow Mul x0 x2 Mul sqrt x0 Add Mul Mul x0 sec x0 x0 Pow Mul -2 x1 E 
Mul exp Pow Mul x0 x2 Mul sqrt x0 Add Mul Mul x0 sec x0 x0 Pow Mul -2 x1 E Mul Pow Mul x0 x2 Add Mul sqrt x0 Add Mul Mul x0 sec x0 x0 Pow Mul -2 x1 E -1 Add Mul Mul sqrt x0 Add Mul Mul x0 sec x0 x0 Pow Mul -2 x1 E x2 Mul Mul Mul x0 x2 log Mul x0 x2 Add Mul Add Mul Mul x0 sec x0 x0 Pow Mul -2 x1 E Pow Mul 2 sqrt x0 -1 Mul sqrt x0 Add Mul x0 Add sec x0 Mul x0 Mul tan x0 sec x0 Mul x0 sec x0 