Pow asech asech Pow x0 x4 Add x0 Add Mul E -5 x5 
Mul Pow asech asech Pow x0 x4 Add Add x0 Add Mul E -5 x5 -1 Add Mul Add x0 Add Mul E -5 x5 Mul Mul Mul Pow x0 Add x4 -1 x4 Pow Mul Mul Pow x0 x4 Pow x0 x4 sqrt Add 1 Mul -1 Pow Mul Pow x0 x4 Pow x0 x4 -1 -1 Pow Mul Mul asech Pow x0 x4 asech Pow x0 x4 sqrt Add 1 Mul -1 Pow Mul asech Pow x0 x4 asech Pow x0 x4 -1 -1 Mul asech asech Pow x0 x4 log asech asech Pow x0 x4 