Mul Add -4 exp atan log Pow x0 x1 coth Pow E Pow Pow x1 x0 atanh x5 
Add Mul coth Pow E Pow Pow x1 x0 atanh x5 Mul exp atan log Pow x0 x1 Mul Mul Mul Pow x0 Add x1 -1 x1 Pow Pow x0 x1 -1 Pow Add 1 Mul log Pow x0 x1 log Pow x0 x1 -1 Mul Add -4 exp atan log Pow x0 x1 Mul Mul -1 Pow csch Pow E Pow Pow x1 x0 atanh x5 2 Mul Pow E Add Pow Pow x1 x0 atanh x5 -1 Mul Mul E log E Mul Pow Pow x1 x0 Add atanh x5 -1 Mul atanh x5 Mul Pow x1 Add x0 -1 Mul x1 log x1 