Add Pow coth Mul x1 Add Mul asech x3 x1 exp Pow x0 x2 x5 x0 
Add Mul Pow coth Mul x1 Add Mul asech x3 x1 exp Pow x0 x2 Add x5 -1 Mul x5 Mul Mul -1 Pow csch Mul x1 Add Mul asech x3 x1 exp Pow x0 x2 2 Mul x1 Mul exp Pow x0 x2 Mul Pow x0 Add x2 -1 x2 1 