sec Pow x2 asech Pow x0 x2 
Mul Mul tan Pow x2 asech Pow x0 x2 sec Pow x2 asech Pow x0 x2 Mul Pow x2 Add asech Pow x0 x2 -1 Mul Mul x2 log x2 Mul Mul Pow x0 Add x2 -1 x2 Pow Mul Mul Pow x0 x2 Pow x0 x2 sqrt Add 1 Mul -1 Pow Mul Pow x0 x2 Pow x0 x2 -1 -1 