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