The circuit subfunction relations are $sum^P_2$-complete