Pow sech Mul acsch acosh Pow acosh tanh exp x0 Mul x0 x0 x0 x7 
Mul Pow sech Mul acsch acosh Pow acosh tanh exp x0 Mul x0 x0 x0 Add x7 -1 Mul x7 Mul Mul tanh Mul acsch acosh Pow acosh tanh exp x0 Mul x0 x0 x0 Mul -1 sech Mul acsch acosh Pow acosh tanh exp x0 Mul x0 x0 x0 Add Mul x0 Mul Mul -1 Mul Mul Pow acosh tanh exp x0 Add Mul x0 x0 -1 Add Mul Mul x0 x0 Mul Mul Pow sech exp x0 2 exp x0 Pow Mul sqrt Add tanh exp x0 -1 sqrt Add 1 tanh exp x0 -1 Mul Mul acosh tanh exp x0 log acosh tanh exp x0 Add x0 x0 Pow Mul sqrt Add Pow acosh tanh exp x0 Mul x0 x0 -1 sqrt Add 1 Pow acosh tanh exp x0 Mul x0 x0 -1 Pow Mul Mul acosh Pow acosh tanh exp x0 Mul x0 x0 acosh Pow acosh tanh exp x0 Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul acosh Pow acosh tanh exp x0 Mul x0 x0 acosh Pow acosh tanh exp x0 Mul x0 x0 -1 -1 acsch acosh Pow acosh tanh exp x0 Mul x0 x0 