Experimental symbolic-numeric code generation for TVB