Mul acoth x0 Pow Mul x0 x6 Pow x0 -4 
Add Mul Pow Mul x0 x6 Pow x0 -4 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul acoth x0 Mul Pow Mul x0 x6 Add Pow x0 -4 -1 Add Mul Pow x0 -4 x6 Mul Mul Mul x0 x6 log Mul x0 x6 Mul Pow x0 5 -4 