Rigorous solutions for nonlinear TE waves guided by a waveguide that has a buried secant hyperbolic profile in the film