Optionally raise for failed inner product computed by symbolic formula