Add Mul Pow x0 cosh coth acoth Pow x2 Pow x1 E x0 Pow x0 exp x1 
Add Add Mul x0 Mul Pow x0 Add cosh coth acoth Pow x2 Pow x1 E -1 cosh coth acoth Pow x2 Pow x1 E Pow x0 cosh coth acoth Pow x2 Pow x1 E Mul Pow x0 Add exp x1 -1 exp x1 