Pow Mul Mul E acoth x0 Pow log Pow x2 -5 x0 -4 
Mul Pow Mul Mul E acoth x0 Pow log Pow x2 -5 x0 5 Mul -4 Add Mul Pow log Pow x2 -5 x0 Mul E Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul E acoth x0 Mul Pow log Pow x2 -5 Add x0 -1 Mul log Pow x2 -5 log log Pow x2 -5 