I'd like to price the following contingent claim using a copula model. $$V_T = (S_T-K)1_{\{S_T>K\}}1_{\{L\leq X_T\leq U\}}$$
where $S$ and $X$ are two stock price processes which follow a non-flat vol model. In particular, $S$ and $X$ are not standard GBM models with flat vols. Suppose you are given the distributions of $S_T$ and $X_T$ as a black box. Moreover, suppose you are given a copula density function, $f_{(S,X)}$, which is very good at approximating the joint distribution. I would like to derive a semi-analytic formula for the price, $V_t$. Below is my attempt. Does it look correct? What should I do next? Can I simplify further? \begin{align*} V_t & = e^{-r(T-t)} E[(S_T-K)1_{\{S_T>K\}}1_{\{L\leq X_T\leq U\}}] \\ &= e^{-r(T-t)}\int_{L}^{U}\int_{K}^{\infty}(a-K)f_{S,X}(a,b)dadb \\ &= e^{-r(T-t)}\int_{K}^{\infty}(a-K)\int_{L}^{U}f_{S,X}(a,b)dbda \\ &= e^{-r(T-t)}\int_{K}^{\infty}(a-K)\left(F_{S,X}(a,U) - F_{S,X}(a,L)\right)da \\ &= e^{-r(T-t)}\left( (a-K)\int_{K}^{\infty}F_{S,X}(a,U) - F_{S,X}(a, L) da - \int_{K}^{\infty} \int_{K}^{\infty}F_{S,X}(a,U) - F_{S,X}(a, L)dada \right) \end{align*}