Pow Mul x3 x0 atan asin sec x0 
Mul Pow Mul x3 x0 Add atan asin sec x0 -1 Add Mul atan asin sec x0 x3 Mul Mul Mul x3 x0 log Mul x3 x0 Mul Mul Mul tan x0 sec x0 Pow sqrt Add 1 Mul -1 Mul sec x0 sec x0 -1 Pow Add 1 Mul asin sec x0 asin sec x0 -1 