Webster's Revised Unabridged Dictionary · 1913

Deride

Deride , transitive verb

[Latin deridere, derisum; de- + rīdēre to laugh. See Ridicule.]

To laugh at with contempt; to laugh to scorn; to turn to ridicule or make sport of; to mock; to scoff at.
And the Pharisees, also,... derided him. — Luke xvi. 14
Sport that wrinkled Care derides. And Laughter holding both his sides. — Milton