demonstrate canonicalization of max intrinsic
