Mul x0 Add Mul Add asec sec acoth Pow E acoth x7 x0 x0 Mul 5 Add x0 Pow Add Pow x0 -2 x0 x7 
Add Add Mul Add asec sec acoth Pow E acoth x7 x0 x0 Mul 5 Add x0 Pow Add Pow x0 -2 x0 x7 Mul x0 Add Add x0 Add asec sec acoth Pow E acoth x7 x0 Mul 5 Add 1 Mul Pow Add Pow x0 -2 x0 Add x7 -1 Mul x7 Add Mul Pow x0 3 -2 1 