Pow Mul Mul Pow Pow x0 Mul tan coth x1 E -1 x0 3 Add -2 cot E 
Mul Pow Mul Mul Pow Pow x0 Mul tan coth x1 E -1 x0 3 Add Add -2 cot E -1 Mul Add -2 cot E Mul 3 Add Mul x0 Mul Pow Pow x0 Mul tan coth x1 E 2 Mul -1 Mul Pow x0 Add Mul tan coth x1 E -1 Mul tan coth x1 E Pow Pow x0 Mul tan coth x1 E -1 