Mul Pow E acoth x0 acoth Mul x0 Mul x0 x5 
Add Mul acoth Mul x0 Mul x0 x5 Mul Pow E Add acoth x0 -1 Mul Mul E log E Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Pow E acoth x0 Mul Add Mul x0 x5 Mul x0 x5 Pow Add 1 Mul -1 Mul Mul x0 Mul x0 x5 Mul x0 Mul x0 x5 -1 