(A*~S)+(B*S) で ~S を共用するくらいしか小さくならないと思う、