Update TRIGONOMETRY.maude

Little fix