minusx0xminussxsyminusxyquot0sy0quotsxsysquotminusxysyle0ytruelesx0falselesxsylexyincsxsincxinc0s0logxlogIterx0logIterxyifles0xless0xquotxss0incyiffalsebxylogZeroErroriftruefalsexsyyiftruetruexylogIterxyminus200s1quot2le2true0false0inc1log1logIter2if4logZeroError0INNERMOST./TRS/Thiemann/logarithm.trs