Mul x0 Mul acoth Mul Pow Mul Mul x0 x7 -4 5 Mul x0 3 -3 
Add Mul acoth Mul Pow Mul Mul x0 x7 -4 5 Mul x0 3 -3 Mul x0 Mul -3 Mul Add Mul Mul x0 3 Mul Pow Mul Mul x0 x7 -4 4 Mul 5 Mul -4 x7 Mul Pow Mul Mul x0 x7 -4 5 3 Pow Add 1 Mul -1 Mul Mul Pow Mul Mul x0 x7 -4 5 Mul x0 3 Mul Pow Mul Mul x0 x7 -4 5 Mul x0 3 -1 