Reducing mathematical complexity