Pow acosh Pow x5 tanh Mul x0 E x0 
Mul Pow acosh Pow x5 tanh Mul x0 E Add x0 -1 Add Mul x0 Mul Mul Pow x5 Add tanh Mul x0 E -1 Mul Mul x5 log x5 Mul Pow sech Mul x0 E 2 E Pow Mul sqrt Add Pow x5 tanh Mul x0 E -1 sqrt Add 1 Pow x5 tanh Mul x0 E -1 Mul acosh Pow x5 tanh Mul x0 E log acosh Pow x5 tanh Mul x0 E 