Clean up cosab.asy