>>297
きれいになる気がしないけどなぁ。
とりあえず>>292のtを用いて
((t^3)/6)-((at^2)/2)+((π/2)-Acos(√(t/2a)))a^2
となりそう。tを入れたあとうまくきれいになる気がしない。