Pow asin x0 asinh sec x0 
Mul Pow asin x0 Add asinh sec x0 -1 Add Mul asinh sec x0 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul asin x0 log asin x0 Mul Mul tan x0 sec x0 Pow sqrt Add 1 Mul sec x0 sec x0 -1 