b c - 7*k - 3*b + 3*c + 7*k + a*(b - c)
b c - 7*k - 3*b + 3*c + 7*k + a*b - a*c
b c - 7*k - 3*b + 3*c + 7*k + a*b - a*c
b c - 7*k + 3*c + 7*k + b*(-3 + a) - a*c
b c - 7*k + 7*k + b*(-3 + a) + c*(3 - a)
b c - 7*k - 3*b + 3*c + 7*k + a*(b - c)
b c - 7*k - 3*b + 7*k + a*b + c*(3 - a)
b c - 7*k - 3*b + 3*c + 7*k + a*b - a*c