Applicative Order Reduction in the Lambda Calculus

Enter the λ-expression you want to reduce below:

2*3