Cleaned up radare2 formula