Mul tanh x0 Pow asec Pow Mul E x7 Mul E x2 Pow x3 Add coth E x0 
Add Mul Pow asec Pow Mul E x7 Mul E x2 Pow x3 Add coth E x0 Pow sech x0 2 Mul tanh x0 Mul Pow asec Pow Mul E x7 Mul E x2 Add Pow x3 Add coth E x0 -1 Mul Mul asec Pow Mul E x7 Mul E x2 log asec Pow Mul E x7 Mul E x2 Mul Pow x3 Add Add coth E x0 -1 Mul x3 log x3 