p, x, q, y, event_ndims, use_kahan_sum=True
A bijector instance.
A tensor from the preimage of p.forward.
A bijector instance of the same type as p, with matching shape.
A tensor from the preimage of q.forward.
The number of right-hand dimensions comprising the event shapes
of x and y.
When True, the reduction of any remaining event_ndims
beyond the minimum is done using Kahan summation. This requires statically
log ((abs o det o jac p)(x) / (abs o det o jac q)(y)),
i.e. in TFP code, p.forward_log_det_jacobian(x, event_ndims) -
q.forward_log_det_jacobian(y, event_ndims). In some cases
this will be computed with better than naive numerical precision, e.g. by
moving differences inside of a sum reduction.