Add missing file for trigonometry