Pow Mul Add asech tan log x0 x1 E -4 
Mul Pow Mul Add asech tan log x0 x1 E 5 Mul -4 Mul E Mul Mul Pow sec log x0 2 Pow x0 -1 Pow Mul Mul tan log x0 tan log x0 sqrt Add 1 Mul -1 Pow Mul tan log x0 tan log x0 -1 -1 