Reinsurance premium estimation for heavy-tailed claim amounts | Synapse