Mul -2 Pow coth acsc E acot Pow x0 atanh tanh x4 
Mul -2 Mul Pow coth acsc E Add acot Pow x0 atanh tanh x4 -1 Mul Mul coth acsc E log coth acsc E Mul -1 Mul Mul Pow x0 Add atanh tanh x4 -1 atanh tanh x4 Pow Add 1 Mul Pow x0 atanh tanh x4 Pow x0 atanh tanh x4 -1 