csch atanh Pow x0 Mul asech E -3 
Mul Mul Mul -1 coth atanh Pow x0 Mul asech E -3 csch atanh Pow x0 Mul asech E -3 Mul Mul Pow x0 Add Mul asech E -3 -1 Mul asech E -3 Pow Add 1 Mul -1 Mul Pow x0 Mul asech E -3 Pow x0 Mul asech E -3 -1 