It doesn't require a Maple license exactly. Maple is just needed to use the simplifier. It is perfectly possible to write and run Hakaru programs without having Maple installed.
I'll find out what "computer-algebra guided optimizations" are I'm sure ;)