Add x0 log sech Mul Pow x0 exp x0 acosh E 
Add 1 Mul Mul Mul tanh Mul Pow x0 exp x0 acosh E Mul -1 sech Mul Pow x0 exp x0 acosh E Mul acosh E Mul Pow x0 Add exp x0 -1 Add exp x0 Mul Mul x0 log x0 exp x0 Pow sech Mul Pow x0 exp x0 acosh E -1 