tanh Pow Pow x0 tanh asec pi Add coth x1 tanh coth acosh x7 
Mul Pow sech Pow Pow x0 tanh asec pi Add coth x1 tanh coth acosh x7 2 Mul Pow Pow x0 tanh asec pi Add Add coth x1 tanh coth acosh x7 -1 Mul Add coth x1 tanh coth acosh x7 Mul Pow x0 Add tanh asec pi -1 tanh asec pi 