sqrt Mul Pow x2 cos Mul x0 Add Add x5 sec asin x0 tan x0 2 
Mul Pow Mul 2 sqrt Mul Pow x2 cos Mul x0 Add Add x5 sec asin x0 tan x0 2 -1 Mul 2 Mul Pow x2 Add cos Mul x0 Add Add x5 sec asin x0 tan x0 -1 Mul Mul x2 log x2 Mul Mul -1 sin Mul x0 Add Add x5 sec asin x0 tan x0 Add Add Add x5 sec asin x0 tan x0 Mul x0 Add Mul Mul tan asin x0 sec asin x0 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow sec x0 2 