Pow Pow x0 coth x3 cot tanh x0 
Mul Pow Pow x0 coth x3 Add cot tanh x0 -1 Add Mul cot tanh x0 Mul Pow x0 Add coth x3 -1 coth x3 Mul Mul Pow x0 coth x3 log Pow x0 coth x3 Mul Mul -1 Pow csc tanh x0 2 Pow sech x0 2 