Pow log E asech Pow x0 Add x1 2 
Mul Pow log E Add asech Pow x0 Add x1 2 -1 Mul Mul log E log log E Mul Mul Pow x0 Add Add x1 2 -1 Add x1 2 Pow Mul Mul Pow x0 Add x1 2 Pow x0 Add x1 2 sqrt Add 1 Mul -1 Pow Mul Pow x0 Add x1 2 Pow x0 Add x1 2 -1 -1 