x=var('x')