Task partition for function tree according to innovative functional reasoning