1: \begin{abstract}

2: Deriving effective Hamiltonian models plays an essential role in quantum theory, with particular emphasis in recent years on control and engineering problems.

3: In this work, we present two symbolic methods for computing effective Hamiltonian models: the Non-perturbative Analytical Diagonalization (NPAD) and the Recursive Schrieffer-Wolff Transformation (RSWT). 

4: NPAD makes use of the Jacobi iteration and works without the assumptions of perturbation theory while retaining convergence, allowing to treat a very wide range of models.

5: In the perturbation regime, it reduces to RSWT, which takes advantage of an in-built recursive structure where remarkably the number of terms increases only linearly with perturbation order, exponentially decreasing the number of terms compared to the ubiquitous Schrieffer-Wolff method.

6: In this regime, NPAD further gives an exponential reduction in terms, i.e.~superexponential compared to Schrieffer-Wolff, relevant to high precision expansions.

7: Both methods consist of algebraic expressions and can be easily automated for symbolic computation.

8: To demonstrate the application of the methods, we study the ZZ and cross-resonance interactions of superconducting qubits systems.

9: We investigate both suppressing and engineering the coupling in near-resonant and quasi-dispersive regimes.

10: With the proposed methods, the coupling strength in the effective Hamiltonians can be estimated with high precision comparable to numerical results.

11: 

12: \end{abstract}

13: