The teensy 4.1 is an NXP MIMXRT1062. It actually only costs $5 at volume (so 5x more expensive). The speed actually isn't that different, the RP2350 is slower, but you won't notice it unless you're doing some complicated edge machine learning.
The rp2350 uses <10 microamps in dormant (RTC)...