plus0xxplussxyspluspsxytimes0y0timessxyplusytimespsxyexpx0s0expxsytimesxexpxyps00pssxspsxtowerxytowerIterxys0towerIter0yzztowerItersxyztowerIterpsxyexpyzplussxypsxplussxypluspsxytimessxypsxtimessxytimespsxytimessxyplusytimespsxyexpxsyexpxyexpxsytimesxexpxypssxpsxtowerxytowerIterxys0towerItersxyzexpyztowerItersxyzpsxtowerItersxyztowerIterpsxyexpyztruetowerxytowerIterxys0falsetowerItersxyztowerIterpsxyexpyztruetowerItersxyzpsxfalsetowerItersxyzexpyzfalseexpxsyexpxytrueexp22expxsytimesxexpxyfalsetimessxytimespsxytruetimessxyplusytimespsxyfalseplussxypluspsxytrueplussxypsxfalsetimessxypsxfalsepssxpsxtruep11