Rename *ll* and *ul* to ll and ul in defint-log-exp