New Heuristics
H10 – if twicegoalP(A,B,C) and twoP(D,E) then ( twicegoalX(A,B,C) / twoX(D,E) ) H11 – if allzeroP(A,B,C,D,E) then ( A + ( B + ( C + ( D + E ) ) ) ) H12 – if goalminoneP(A,B,C) and sameP(D,E) then ( goalminoneX(A,B,C) + ( D / E ) )
H10 – if twicegoalP(A,B,C) and twoP(D,E) then ( twicegoalX(A,B,C) / twoX(D,E) ) H11 – if allzeroP(A,B,C,D,E) then ( A + ( B + ( C + ( D + E ) ) ) ) H12 – if goalminoneP(A,B,C) and sameP(D,E) then ( goalminoneX(A,B,C) + ( D / E ) )