Given that x is an array of high precision numbers, not symbolic expressions, it should be straightforward to implement the ifft sum. It might not be efficient and it might be slow, but it should work. The one thing I'm not sure about is how well this will work to ensure that the time domain sequence, X[n], is real, which I think is the expectation based on the symmetric flag in the call to numerical ifft. If the result does have a small imaginary part, it can always be removed I suppose, but I don't know what that indicates about precision of the solution you're trying to obtain. OTOH, I'm curious if you are ensuring that the sequence x is exactly conjugate symmetric in the first place, to whatever precision you're using. Or the ifft sum can be implemented assuming x is conjugate symmetric.