Add Pow Pow coth sech x3 x0 x0 x0 
Add Mul Pow Pow coth sech x3 x0 Add x0 -1 Add Mul x0 Mul Pow coth sech x3 Add x0 -1 Mul coth sech x3 log coth sech x3 Mul Pow coth sech x3 x0 log Pow coth sech x3 x0 1 