Create trig_identities.csv