simplier expression generation