Mul Pow x2 x0 Add Pow x0 Mul 5 Pow Pow x0 x0 asech x1 -5 
Add Mul Add Pow x0 Mul 5 Pow Pow x0 x0 asech x1 -5 Mul Pow x2 Add x0 -1 Mul x2 log x2 Mul Pow x2 x0 Mul Pow x0 Add Mul 5 Pow Pow x0 x0 asech x1 -1 Add Mul 5 Pow Pow x0 x0 asech x1 Mul Mul x0 log x0 Mul 5 Mul Pow Pow x0 x0 Add asech x1 -1 Mul asech x1 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 