Reality Distortion: Exact and Approximate Algorithms for Embedding