Enhancing a hybrid tableaux algorithm