All tagged trig substitution