a subgenre of heavy metal music that combines the technicality and complexity of progressive rock with the heaviness and intensity of heavy metal