Mul x1 Add x0 Add Mul x0 Pow coth x0 acoth Mul Mul 3 E x0 Mul -1 x0 
Mul x1 Add 1 Add Add Pow coth x0 acoth Mul Mul 3 E x0 Mul x0 Mul Pow coth x0 Add acoth Mul Mul 3 E x0 -1 Add Mul acoth Mul Mul 3 E x0 Mul -1 Pow csch x0 2 Mul Mul coth x0 log coth x0 Mul Mul 3 E Pow Add 1 Mul -1 Mul Mul Mul 3 E x0 Mul Mul 3 E x0 -1 -1 