if ((ParanoidOp<T>(c, b, DIVIDE) || ParanoidOp(d, b, DIVIDE))
&& TrustingOp<T>(c, d, MULTIPLY) && TrustingOp<T>(a,c,ADD)
&& TrustingOp<T>(a, b, MULTIPLY)) // (a + (cd)/b) * b
if ((ParanoidOp<T>(c, b, DIVIDE) || ParanoidOp(d, b, DIVIDE))
&& TrustingOp<T>(c, d, MULTIPLY) && TrustingOp<T>(a,c,ADD)
&& TrustingOp<T>(a, b, MULTIPLY)) // (a + (cd)/b) * b