Camtasia Studio screen recording software can export its own recordings (.trec files) to several other multimedia formats - including the common MPEG-4 video file format (.mp4 files).
Unfortunately, no 3rd party program supports playback / conversion of .trec files, so using Camtasia remains your only choice to achieve any kind of trec file export or trec file conversion.
Updated: June 29, 2023