Pow Mul Mul tanh x0 Pow Add coth E Add x0 acosh exp x2 x0 x0 -4 
Mul Pow Mul Mul tanh x0 Pow Add coth E Add x0 acosh exp x2 x0 x0 5 Mul -4 Add Mul x0 Add Mul Pow Add coth E Add x0 acosh exp x2 x0 Pow sech x0 2 Mul tanh x0 Mul Pow Add coth E Add x0 acosh exp x2 Add x0 -1 Add x0 Mul Add coth E Add x0 acosh exp x2 log Add coth E Add x0 acosh exp x2 Mul tanh x0 Pow Add coth E Add x0 acosh exp x2 x0 