Similar to what is done in #32391. Mechanical refactoring to use new helper functions defined in sage.symbolic.expression
instead of directly cimport
ing from sage.libs.pynac
Preparation for #32386.
CC: @kliem @tscrim
Component: symbolics
Author: Matthias Koeppe
Branch/Commit: 06e8c31
Reviewer: Jonathan Kliem
Issue created by migration from https://trac.sagemath.org/ticket/32407