Mul x0 Add Mul Add -3 E Pow x2 Pow Add coth x0 3 Pow sqrt x3 x0 x0 
Add Add Mul Add -3 E Pow x2 Pow Add coth x0 3 Pow sqrt x3 x0 x0 Mul x0 Add Mul Add -3 E Mul Pow x2 Add Pow Add coth x0 3 Pow sqrt x3 x0 -1 Mul Mul x2 log x2 Mul Pow Add coth x0 3 Add Pow sqrt x3 x0 -1 Add Mul Pow sqrt x3 x0 Mul -1 Pow csch x0 2 Mul Mul Add coth x0 3 log Add coth x0 3 Mul Pow sqrt x3 Add x0 -1 Mul sqrt x3 log sqrt x3 1 