exp Add csch x0 Mul Pow Mul Mul x0 x0 3 x0 Add -1 E 
Mul exp Add csch x0 Mul Pow Mul Mul x0 x0 3 x0 Add -1 E Add Mul Mul -1 coth x0 csch x0 Mul Add -1 E Mul Pow Mul Mul x0 x0 3 Add x0 -1 Add Mul x0 Mul 3 Add x0 x0 Mul Mul Mul x0 x0 3 log Mul Mul x0 x0 3 