Add Add -2 x0 Pow coth atanh acoth Pow x0 Pow 2 x4 5 
Add 1 Mul Pow coth atanh acoth Pow x0 Pow 2 x4 4 Mul 5 Mul Mul -1 Pow csch atanh acoth Pow x0 Pow 2 x4 2 Mul Mul Mul Pow x0 Add Pow 2 x4 -1 Pow 2 x4 Pow Add 1 Mul -1 Mul Pow x0 Pow 2 x4 Pow x0 Pow 2 x4 -1 Pow Add 1 Mul -1 Mul acoth Pow x0 Pow 2 x4 acoth Pow x0 Pow 2 x4 -1 