Pow Pow coth x0 cot cosh x1 Mul x0 -3 
Mul Pow Pow coth x0 cot cosh x1 Add Mul x0 -3 -1 Add Mul Mul x0 -3 Mul Pow coth x0 Add cot cosh x1 -1 Mul cot cosh x1 Mul -1 Pow csch x0 2 Mul Mul Pow coth x0 cot cosh x1 log Pow coth x0 cot cosh x1 -3 