Pow coth Add x4 exp Mul x0 x3 x0 
Mul Pow coth Add x4 exp Mul x0 x3 Add x0 -1 Add Mul x0 Mul Mul -1 Pow csch Add x4 exp Mul x0 x3 2 Mul exp Mul x0 x3 x3 Mul coth Add x4 exp Mul x0 x3 log coth Add x4 exp Mul x0 x3 