sec Pow Pow asin x2 x0 sec x0 
Mul Mul tan Pow Pow asin x2 x0 sec x0 sec Pow Pow asin x2 x0 sec x0 Mul Pow Pow asin x2 x0 Add sec x0 -1 Add Mul sec x0 Mul Pow asin x2 Add x0 -1 Mul asin x2 log asin x2 Mul Mul Pow asin x2 x0 log Pow asin x2 x0 Mul tan x0 sec x0 