You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
It's not great to just replace length2(x) with dot(x, x), as it would repeat the expression for x twice. Ideally it requires full-blown support for rewrite passes, in order to correctly define temporary variable for x.