Mul cosh x6 Add x2 Pow acosh sech x7 Add x0 Mul tanh x0 x0 
Mul cosh x6 Mul Pow acosh sech x7 Add Add x0 Mul tanh x0 x0 -1 Mul Mul acosh sech x7 log acosh sech x7 Add 1 Add Mul x0 Pow sech x0 2 tanh x0 