Idea: `CRP` can probably be written as `(RP (x) I) CX (RP (x) I)`, maybe this decomposition allows the application of other methodoligies? Max mentioned something about applying Taylor expansion (up until degree 1, 2 or 3) to optimize the problem?