Random polishing. (n.b. -ssa_design_functional hilbert -> -ssa_design_functional sobolevH1)