My personal tools for finding L2 gains, reachability bounds, region of attraction for nonlinear systems