Mul x0 Pow tan x0 asin Add Pow x0 asec x0 x1 
Add Pow tan x0 asin Add Pow x0 asec x0 x1 Mul x0 Mul Pow tan x0 Add asin Add Pow x0 asec x0 x1 -1 Add Mul asin Add Pow x0 asec x0 x1 Pow sec x0 2 Mul Mul tan x0 log tan x0 Mul Mul Pow x0 Add asec x0 -1 Add asec x0 Mul Mul x0 log x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul Add Pow x0 asec x0 x1 Add Pow x0 asec x0 x1 -1 