Why does NotImplementedError prove that the integral is not elementary?