def mrv_max1(f, g, exps, x):
 (u, b) = f.union(g, exps)
 return mrv_max3(f, g.do_subs(exps), g, f.do_subs(exps), u, b, x)

def mrv_max1 ( f , g , exps , x ) : ( u , b ) = f . union ( g , exps ) return mrv_max3 ( f , g . do_subs ( exps ) , g , f . do_subs ( exps ) , u , b , x )
computes the maximum of two sets of expressions f and g .