Symbolic expression log format for Spiffy