【求助】新手请教，符号方程怎样变数值方程？

[省港澳大话王]

小弟在解符号微分方程的时候，得出的解总是长长的一条表达式，例如T3＝exp(25/41712*(-413+87145^(1/2))*t)*(182811/8714500*87145^(1/2)+1137/100)+exp(-25/41712*(413+87145^(1/2))*t)*(-182811/8714500*87145^(1/2)+1137/100)+269/25
甚至有的解长达5页A4纸，请问有什么方法符号表达式还原为数值表达式啊？或者可以让表达式中的分数变成小数啊？
谢谢高手指点了。。。