Pow sec asech Pow sqrt Mul Pow x1 x0 exp x0 x3 x0 
Mul Pow sec asech Pow sqrt Mul Pow x1 x0 exp x0 x3 Add x0 -1 Add Mul x0 Mul Mul tan asech Pow sqrt Mul Pow x1 x0 exp x0 x3 sec asech Pow sqrt Mul Pow x1 x0 exp x0 x3 Mul Mul Pow sqrt Mul Pow x1 x0 exp x0 Add x3 -1 Mul x3 Mul Pow Mul 2 sqrt Mul Pow x1 x0 exp x0 -1 Add Mul exp x0 Mul Pow x1 Add x0 -1 Mul x1 log x1 Mul Pow x1 x0 exp x0 Pow Mul Mul Pow sqrt Mul Pow x1 x0 exp x0 x3 Pow sqrt Mul Pow x1 x0 exp x0 x3 sqrt Add 1 Mul -1 Pow Mul Pow sqrt Mul Pow x1 x0 exp x0 x3 Pow sqrt Mul Pow x1 x0 exp x0 x3 -1 -1 Mul sec asech Pow sqrt Mul Pow x1 x0 exp x0 x3 log sec asech Pow sqrt Mul Pow x1 x0 exp x0 x3 