What is the name of the optimization that removes self eliminating multiplication-division statements?
It's probably most easily described as a two-step process. First a step of Copy Propagation to get 

x_2=x*c/c
print(x_2)


followed by a step of Constant folding to remove the unecessary operations.