Confluence of Radical Expression