Add Pow x0 Pow coth x0 acot Mul x0 Pow exp x0 x4 x0 
Add Mul Pow x0 Add Pow coth x0 acot Mul x0 Pow exp x0 x4 -1 Add Pow coth x0 acot Mul x0 Pow exp x0 x4 Mul Mul x0 log x0 Mul Pow coth x0 Add acot Mul x0 Pow exp x0 x4 -1 Add Mul acot Mul x0 Pow exp x0 x4 Mul -1 Pow csch x0 2 Mul Mul coth x0 log coth x0 Mul -1 Mul Add Pow exp x0 x4 Mul x0 Mul Pow exp x0 Add x4 -1 Mul x4 exp x0 Pow Add 1 Mul Mul x0 Pow exp x0 x4 Mul x0 Pow exp x0 x4 -1 1 