import sympy as sp
from IPython.display import display

x,t = sp.symbols('x t',real=True)
F = sp.Function('F')(x)
eq = (x-t)*sp.sin(t)
F = sp.Integral(eq,(t,0,x))
Fd = sp.diff(F,x)
display(F,"この式をxで微分すると",Fd.doit())