Add cos acoth tanh Mul Pow x0 acosh E x0 4 
Mul Mul -1 sin acoth tanh Mul Pow x0 acosh E x0 Mul Mul Pow sech Mul Pow x0 acosh E x0 2 Add Mul x0 Mul Pow x0 Add acosh E -1 acosh E Pow x0 acosh E Pow Add 1 Mul -1 Mul tanh Mul Pow x0 acosh E x0 tanh Mul Pow x0 acosh E x0 -1 