plus0xxplussxyspluspsxytimes0y0timessxyplusytimespsxyexpx0s0expxsytimesxexpxyps00pssxspsxtowerxytowerIterxys0towerIter0yzztowerItersxyztowerIterpsxyexpyzplussxypsxplussxypluspsxytimessxypsxtimessxytimespsxytimessxyplusytimespsxyexpxsyexpxyexpxsytimesxexpxypssxpsxtowerxytowerIterxys0towerItersxyzexpyztowerItersxyzpsxtowerItersxyztowerIterpsxyexpyztruetowerxytowerIterxys0falsetowerItersxyztowerIterpsxyexpyztruetowerItersxyzpsxfalsetowerItersxyzexpyzfalseexpxsyexpxytrue1exp2018212s1113expxsytimesxexpxyfalsetimessxytimespsxytrue1times281223p1110s1410001timessxytimespsxypssxspsxps00pssxspsxtimessxyplusytimespsxyfalseplussxypluspsxytrue1plus281223p1110s1410001plussxypluspsxypssxspsxps00pssxspsxplussxypsxfalsetimessxypsxfalsepssxpsxtrue1p17111s1113