Minisolver in time overview + exp_fixed stg
Optimal stg synthesis (thms)