Implemented efficient inverse via EEA