rev = PDC(d_lr, c_lr, id, !other @ #!corr, atom, id)
trace(rev, [10, 20, 30, 40, 50, 60, 70, 80])
