Mul Add coth log Add x0 Pow sqrt E Add Mul x0 32 Pow Add asec x7 x0 E x0 x0 
Add Mul x0 Add Mul Mul -1 Pow csch log Add x0 Pow sqrt E Add Mul x0 32 Pow Add asec x7 x0 E 2 Mul Add 1 Mul Pow sqrt E Add Add Mul x0 32 Pow Add asec x7 x0 E -1 Mul Mul sqrt E log sqrt E Add 32 Mul Pow Add asec x7 x0 Add E -1 E Pow Add x0 Pow sqrt E Add Mul x0 32 Pow Add asec x7 x0 E -1 1 Add coth log Add x0 Pow sqrt E Add Mul x0 32 Pow Add asec x7 x0 E x0 