boundlab.poly.exp_linearizer#

boundlab.poly.exp_linearizer(ub, lb)[source]#

CROWN relaxation of \(\exp\).

Uses the tight secant line as the upper envelope and a tangent at the bound midpoint as the lower envelope, both convex-guaranteed on \([\ell, u]\).

Degenerate intervals (\(u \approx \ell\)) collapse to the exact tangent at \(\ell\).