Fixed simplify definition