Exact Expand_P1