Simplify beta reduction.