Eg. 2 + 2sqrt(2) / 2 -> 1+ sqrt(2) Unimplemented cases can be found by searching `TODO#75` from the codebase.