diff --git a/integration_tests/CMakeLists.txt b/integration_tests/CMakeLists.txt
index caad1f5c96..4632194e50 100644
--- a/integration_tests/CMakeLists.txt
+++ b/integration_tests/CMakeLists.txt
@@ -746,6 +746,7 @@ RUN(NAME symbolics_15        LABELS c_sym llvm_sym llvm_jit NOFAST EXTRA_ARGS --
 RUN(NAME symbolics_16        LABELS cpython_sym c_sym llvm_sym llvm_jit NOFAST EXTRA_ARGS --enable-symengine)
 RUN(NAME symbolics_17        LABELS cpython_sym c_sym llvm_sym llvm_jit NOFAST EXTRA_ARGS --enable-symengine)
 RUN(NAME symbolics_18        LABELS cpython_sym c_sym llvm_sym llvm_jit NOFAST EXTRA_ARGS --enable-symengine)
+RUN(NAME gruntz_demo3        LABELS cpython_sym c_sym llvm_sym llvm_jit NOFAST EXTRA_ARGS --enable-symengine)
 
 RUN(NAME sizeof_01           LABELS llvm c
         EXTRAFILES sizeof_01b.c)
diff --git a/integration_tests/gruntz_demo3.py b/integration_tests/gruntz_demo3.py
index a058f1e156..fc6da2a174 100644
--- a/integration_tests/gruntz_demo3.py
+++ b/integration_tests/gruntz_demo3.py
@@ -1,4 +1,4 @@
-from lpython import S, str
+from lpython import S
 from sympy import Symbol, Pow, sin, oo, pi, E, Mul, Add, oo, log, exp, sign
 
 def mrv(e: S, x: S) -> list[S]: