I haven't run it yet as I am travelling, so this is speculation based on my interpretation of the eocs. The documentation seems to suggest that some optimizations are implemented using maple and that the software could be run without it albeit without those optimizations.

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.