9B Antidifferentiation involving circular functions