Add Mul Mul Pow x0 Add sech Mul log Add sinh x7 acosh E x0 x3 x7 x5 x0 
Add Mul x5 Mul x7 Mul Pow x0 Add Add sech Mul log Add sinh x7 acosh E x0 x3 -1 Add Add sech Mul log Add sinh x7 acosh E x0 x3 Mul Mul x0 log x0 Mul Mul tanh Mul log Add sinh x7 acosh E x0 Mul -1 sech Mul log Add sinh x7 acosh E x0 log Add sinh x7 acosh E 1 