OK. So you want me just to extract the smallest Mul,  and x would have the minimum power in the smallest Mul?