Mul tanh x0 Pow Pow x0 Mul cosh x0 x1 acosh x7 
Add Mul Pow Pow x0 Mul cosh x0 x1 acosh x7 Pow sech x0 2 Mul tanh x0 Mul Pow Pow x0 Mul cosh x0 x1 Add acosh x7 -1 Mul acosh x7 Mul Pow x0 Add Mul cosh x0 x1 -1 Add Mul cosh x0 x1 Mul Mul x0 log x0 Mul x1 sinh x0 