plus0xxplussxyspluspsxytimes0y0timessxyplusytimespsxyexpx0s0expxsytimesxexpxyps00pssxspsxtowerxytowerIterxys0towerIter0yzztowerItersxyztowerIterpsxyexpyzplussxypsxplussxypluspsxytimessxypsxtimessxytimespsxytimessxyplusytimespsxyexpxsyexpxyexpxsytimesxexpxypssxpsxtowerxytowerIterxys0towerItersxyzexpyztowerItersxyzpsxtowerItersxyztowerIterpsxyexpyztruetowerxytowerIterxys0falsetowerItersxyztowerIterpsxyexpyztrue1towerIter301231exp201-121times2-11-523p1-210s1312plus21020004ps00pssxspsxtowerItersxyzpsxfalsetowerItersxyzexpyzfalseexpxsyexpxytrueexp22expxsytimesxexpxyfalsetimessxytimespsxytrue1times281223p1110s1410001timessxytimespsxypssxspsxps00pssxspsx211times210001000020000p1021210100s1110011000pssxspsxtimessxyplusytimespsxyfalseplussxypluspsxytrue1plus281223p1110s1410001plussxypluspsxypssxspsxps00pssxspsx211plus210001000020000p1021210100s1110011000pssxspsxplussxypsxfalsetimessxypsxfalsepssxpsxtruep11