Max step: Max size: Max depth: Head only Evaluation only Beta reduce

Max step: Max size: Max depth: Head only Evaluation only Eta convert