factored out ecc symbolic computation