Add regression test

Closes sympy/sympy#21034
diofant · Mar 4, 2021 · e75acbf · e75acbf
1 parent f82a0bd
commit e75acbf
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 0 deletions.
diff --git a/diofant/tests/integrals/test_integrals.py b/diofant/tests/integrals/test_integrals.py
@@ -1334,3 +1334,13 @@ def test_sympyissue_20360():
 
 def test_sympyissue_20941():
     assert integrate(x**2*sqrt(1 - x**2), (x, 0, 1)) == pi/16
+
+
+@pytest.mark.slow
+def test_sympyissue_21034():
+    f1 = x*(-x**4/asin(5)**4 - x*sinh(x + log(asin(5))) + 5)
+    f2 = (x + cosh(cos(4)))/(x*(x + 1/(12*x)))
+
+    assert (f1.integrate(x).diff(x) - f1).simplify() == 0
+    assert (f2.integrate(x).diff(x) -
+            f2).simplify().rewrite(exp).simplify() == 0
diff --git a/docs/release/notes-0.13.rst b/docs/release/notes-0.13.rst
@@ -43,3 +43,4 @@ These Sympy issues also were addressed:
 * :sympyissue:`20973`: cancel raises PolynomialError for exp(1+O(x))
 * :sympyissue:`20985`: TypeErrors appearing for simple plynomial manipulations (did not happen in v1.6.1)
 * :sympyissue:`21031`: Limit of "limit (((1+x)**(1/x)-(1+2*x)**(1/(2*x)))/asin (x),x,0)" is wrong with v1.7.1
+* :sympyissue:`21034`: (Integration) regressions?