psxxplusx0xplusxsysplusxytimesx00timesxsyplusxtimesxyminusx0xminussxsyminuspsxpsydiv0sy0divsxsysdivminusxysyp1s1plus2AC00times2ACminus2div2FULL./TRS/AProVE_AC/AC05.trs