Make local_pow_to_nested_squaring rewrite more permissive

[ricardoV94]

Description

Showed up in #740 and it was a result of a conservative fix to #456 in #461

Related Issue

• Closes #
• Related to #

Checklist

• Checked that the pre-commit linting/style checks pass
• Included tests that prove the fix is effective or that the new feature works
• Added necessary documentation (docstrings and/or example notebooks)
• If you are a pro: each commit corresponds to a relevant logical change

Type of change

• New feature / enhancement
• Bug fix
• Documentation
• Maintenance
• Other (please specify):

[twiecki]

Oops, I clicked on approve by accident, I didn't actually review :)

He didn't mean it

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

❗ No coverage uploaded for pull request base (main@27bd9aa). Click here to learn what that means.
Report is 2 commits behind head on main.

Additional details and impacted files

@@           Coverage Diff           @@
##             main     #742   +/-   ##
=======================================
  Coverage        ?   80.81%           
=======================================
  Files           ?      162           
  Lines           ?    46808           
  Branches        ?    11452           
=======================================
  Hits            ?    37826           
  Misses          ?     6734           
  Partials        ?     2248           

Files	Coverage Δ
pytensor/tensor/rewriting/math.py	87.13% <ø> (ø)

[ricardoV94]

All tests pass. The check was too conservative on my part. It should be fine. The only edge case I can think of is when the exponent broadcasts the base, but that is checked before the and we get out if that's the case

[aseyboldt]

Looks good :-)