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