Pow Add Pow sec acot acosh E asech tan asech x0 2 x0 
Mul Pow Add Pow sec acot acosh E asech tan asech x0 2 Add x0 -1 Add Mul x0 Mul Pow sec acot acosh E Add asech tan asech x0 -1 Mul Mul sec acot acosh E log sec acot acosh E Mul Mul Pow sec asech x0 2 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow Mul Mul tan asech x0 tan asech x0 sqrt Add 1 Mul -1 Pow Mul tan asech x0 tan asech x0 -1 -1 Mul Add Pow sec acot acosh E asech tan asech x0 2 log Add Pow sec acot acosh E asech tan asech x0 2 