[Bug 857124] octave's symbolic