Mul Pow x0 asec Mul acoth Add E x1 5 Add Mul Pow Add x0 pi 2 exp x7 x0 
Add Mul Add Mul Pow Add x0 pi 2 exp x7 x0 Mul Pow x0 Add asec Mul acoth Add E x1 5 -1 asec Mul acoth Add E x1 5 Mul Pow x0 asec Mul acoth Add E x1 5 Add Mul exp x7 Mul Add x0 pi 2 1 