code: def test_sincos():
      p1 = sin(p) ** 2 + sin(p) ** 2
      p2 = 1
      rl = rewriterule(p1, p2, (p, q))
  
      assert list(rl(sin(x) ** 2 + sin(x) ** 2)) == [1]
      assert list(rl(sin(y) ** 2 + sin(y) ** 2)) == [1]
  
file_path: sympy/sympy/unify/tests/test_rewrite.py
imports: from sympy.unify.rewrite import rewriterule
  from sympy.core.basic import Basic
  from sympy.core.singleton import S
  from sympy.core.symbol import Symbol
  from sympy.functions.elementary.trigonometric import sin
  from sympy.abc import x, y
  from sympy.strategies.rl import rebuild
  from sympy.assumptions import Q
label_desc: Use image node_id 4 for calling a global function with example usage: test_sincos() without return types