I tend to deal with that by using intermediate calculations. I can verify subsets of the formula and then use the results of those subsets in the next stage of

I tend to deal with that by using intermediate calculations. I can verify subsets of the formula and then use the results of those subsets in the next stage of the overall formula