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