simplify prod_(j=0)^3 ((((((y-i^j sqrtsqrt c)^2 - 3a)(y-i^j sqrtsqrt c) - 2b)(y-i^j sqrtsqrt c) + 3a^2)(y-i^j sqrtsqrt c) - 6ab)(y-i^j sqrtsqrt c) + b^2 - a^3)