RV-Syn: Rational and Verifiable Mathematical Reasoning Data Synthesis based on Structured Function Library