Update trig.rkt