Mul Pow acoth x0 Pow x4 -2 Mul Mul Mul x0 -2 x0 x6 
Add Mul Mul Mul Mul x0 -2 x0 x6 Mul Pow acoth x0 Add Pow x4 -2 -1 Mul Pow x4 -2 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Pow acoth x0 Pow x4 -2 Mul x6 Add Mul x0 -2 Mul x0 -2 