Mul x0 Add Pow log Mul csch x0 acot Pow Mul sqrt x2 3 x0 3 -4 
Add Add Pow log Mul csch x0 acot Pow Mul sqrt x2 3 x0 3 -4 Mul x0 Mul Pow log Mul csch x0 acot Pow Mul sqrt x2 3 x0 2 Mul 3 Mul Add Mul acot Pow Mul sqrt x2 3 x0 Mul Mul -1 coth x0 csch x0 Mul csch x0 Mul -1 Mul Mul Pow Mul sqrt x2 3 Add x0 -1 Mul Mul sqrt x2 3 log Mul sqrt x2 3 Pow Add 1 Mul Pow Mul sqrt x2 3 x0 Pow Mul sqrt x2 3 x0 -1 Pow Mul csch x0 acot Pow Mul sqrt x2 3 x0 -1 