We’re using the ActiveX control for Internet Explorer to render content. That uses the Internet Explorer 11 engine - so comparisons with Edge aren’t valid.
If the animation lags I’m afraid we have no control over that. You may need to see if it’s possible to optimise your HTML5 animations so that they run better under IE11