Mul x0 Pow exp E coth Mul Pow x0 Pow x0 x3 tanh x2 
Add Pow exp E coth Mul Pow x0 Pow x0 x3 tanh x2 Mul x0 Mul Pow exp E Add coth Mul Pow x0 Pow x0 x3 tanh x2 -1 Mul Mul exp E log exp E Mul Mul -1 Pow csch Mul Pow x0 Pow x0 x3 tanh x2 2 Mul tanh x2 Mul Pow x0 Add Pow x0 x3 -1 Add Pow x0 x3 Mul Mul x0 log x0 Mul Pow x0 Add x3 -1 x3 