coth atanh Mul x0 Pow atanh x3 Add -3 E 
Mul Mul -1 Pow csch atanh Mul x0 Pow atanh x3 Add -3 E 2 Mul Pow atanh x3 Add -3 E Pow Add 1 Mul -1 Mul Mul x0 Pow atanh x3 Add -3 E Mul x0 Pow atanh x3 Add -3 E -1 