plus0xxplussxyspluspsxytimes0y0timessxyplusytimespsxyexpx0s0expxsytimesxexpxyps00pssxspsxtowerxytowerIterxys0towerIter0yzztowerItersxyztowerIterpsxyexpyzplussxypsxplussxypluspsxytimessxypsxtimessxytimespsxytimessxyplusytimespsxyexpxsyexpxyexpxsytimesxexpxypssxpsxtowerxytowerIterxys0towerItersxyzexpyztowerItersxyzpsxtowerItersxyztowerIterpsxyexpyztruetowerxytowerIterxys0falsetowerItersxyztowerIterpsxyexpyztruetowerItersxyzpsxfalsetowerItersxyzexpyzfalseexpxsyexpxytrueexp22expxsytimesxexpxyfalsetimessxytimespsxytrue1times281223p1110s1410001timessxytimespsxypssxspsxps00pssxspsxtimessxyplusytimespsxyfalseplussxypluspsxytrue1plus281223p1110s1410001plussxypluspsxypssxspsxps00pssxspsxplussxypsxfalsetimessxypsxfalsepssxpsxtruep11