justify math refactor with bench