Factorise smooth coordinate logic