A Case Study: Synthesis and Exploration of Instruction Set Design for Application-Specific Symbolic Computing