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