(assert (= ((_ to_fp 5 11) RNA 0.0117749388721091 (/ 0.0117749388721091 0.0117749388721091))))