Pow Add x4 x0 Pow sec tan Add asech x0 x2 exp Mul x0 x6 
Mul Pow Add x4 x0 Add Pow sec tan Add asech x0 x2 exp Mul x0 x6 -1 Add Pow sec tan Add asech x0 x2 exp Mul x0 x6 Mul Mul Add x4 x0 log Add x4 x0 Mul Pow sec tan Add asech x0 x2 Add exp Mul x0 x6 -1 Add Mul exp Mul x0 x6 Mul Mul tan tan Add asech x0 x2 sec tan Add asech x0 x2 Mul Pow sec Add asech x0 x2 2 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul Mul sec tan Add asech x0 x2 log sec tan Add asech x0 x2 Mul exp Mul x0 x6 x6 