>>684
u=log_[2](x),v=log_[2](y)とすると
u+2v=3,u≧0,v≧0,z=uv