Add profiling to benchmark and use axiom from master