speedup (transformed into wider lazy margin) 3