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