OCCT 7.2 introduces BRepAlgoAPI_Splitter so a intersection + subtraction will no longer be necessary. Also see if all layers can be applied at once, rather than one by one iteratively. Hopefully speeds up this operation tremendously.