Update trig_identities.csv