Delete trig-function.h