coth Add x0 Mul Add Pow Mul 4 sech atanh x3 x0 x0 3 
Mul Mul -1 Pow csch Add x0 Mul Add Pow Mul 4 sech atanh x3 x0 x0 3 2 Add 1 Mul 3 Add Mul Pow Mul 4 sech atanh x3 Add x0 -1 Mul Mul 4 sech atanh x3 log Mul 4 sech atanh x3 1 