RuleBasedIntegration
diff --git a/‎IntegrationRuleNotebooks/1 Algebraic functions/1.1 Binomial products/1.1.1 Linear/1.1.1.5 P(x) (a+b x)^m (c+d x)^n.nb
+3,853 b/‎IntegrationRuleNotebooks/1 Algebraic functions/1.1 Binomial products/1.1.1 Linear/1.1.1.5 P(x) (a+b x)^m (c+d x)^n.nb
+3,853
diff --git a/‎IntegrationRuleNotebooks/1 Algebraic functions/1.1 Binomial products/1.1.1 Linear/1.1.1.6 P(x) (a+b x)^m (c+d x)^n (e+f x)^p.nb
+3,765 b/‎IntegrationRuleNotebooks/1 Algebraic functions/1.1 Binomial products/1.1.1 Linear/1.1.1.6 P(x) (a+b x)^m (c+d x)^n (e+f x)^p.nb
+3,765
diff --git a/‎IntegrationRuleNotebooks/1 Algebraic functions/1.1 Binomial products/1.1.1 Linear/1.1.1.7 P(x) (a+b x)^m (c+d x)^n (e+f x)^p (g+h x)^q.nb
+14,109 b/‎IntegrationRuleNotebooks/1 Algebraic functions/1.1 Binomial products/1.1.1 Linear/1.1.1.7 P(x) (a+b x)^m (c+d x)^n (e+f x)^p (g+h x)^q.nb
+14,109
diff --git a/‎IntegrationRuleNotebooks/1 Algebraic functions/1.2 Trinomial products/1.2.2 Quartic/1.2.2.8 P(x) (d+e x)^q (a+b x^2+c x^4)^p.nb
+8,633 b/‎IntegrationRuleNotebooks/1 Algebraic functions/1.2 Trinomial products/1.2.2 Quartic/1.2.2.8 P(x) (d+e x)^q (a+b x^2+c x^4)^p.nb
+8,633
diff --git a/‎IntegrationRuleNotebooks/4 Trig functions/4.3 Tangent/4.3.1.1 (a+b tan)^n.nb
+5,199 b/‎IntegrationRuleNotebooks/4 Trig functions/4.3 Tangent/4.3.1.1 (a+b tan)^n.nb
+5,199
diff --git a/‎IntegrationRuleNotebooks/4 Trig functions/4.3 Tangent/4.3.1.2 (d sec)^m (a+b tan)^n.nb
+15,129 b/‎IntegrationRuleNotebooks/4 Trig functions/4.3 Tangent/4.3.1.2 (d sec)^m (a+b tan)^n.nb
+15,129
diff --git a/‎IntegrationRuleNotebooks/4 Trig functions/4.3 Tangent/4.3.1.3 (d sin)^m (a+b tan)^n.nb
+2,375 b/‎IntegrationRuleNotebooks/4 Trig functions/4.3 Tangent/4.3.1.3 (d sin)^m (a+b tan)^n.nb
+2,375
diff --git a/‎IntegrationRuleNotebooks/4 Trig functions/4.3 Tangent/4.3.10 (c+d x)^m (a+b tan)^n.nb
+8,187 b/‎IntegrationRuleNotebooks/4 Trig functions/4.3 Tangent/4.3.10 (c+d x)^m (a+b tan)^n.nb
+8,187
diff --git a/‎IntegrationRuleNotebooks/4 Trig functions/4.3 Tangent/4.3.11 (e x)^m (a+b tan(c+d x^n))^p.nb
+5,618 b/‎IntegrationRuleNotebooks/4 Trig functions/4.3 Tangent/4.3.11 (e x)^m (a+b tan(c+d x^n))^p.nb
+5,618
diff --git a/‎IntegrationRuleNotebooks/4 Trig functions/4.3 Tangent/4.3.12 (d+e x)^m tan(a+b x+c x^2)^n.nb
+1,644 b/‎IntegrationRuleNotebooks/4 Trig functions/4.3 Tangent/4.3.12 (d+e x)^m tan(a+b x+c x^2)^n.nb
+1,644
diff --git a/‎IntegrationRuleNotebooks/4 Trig functions/4.3 Tangent/4.3.2.1 (a+b tan)^m (c+d tan)^n.nb
+36,870 b/‎IntegrationRuleNotebooks/4 Trig functions/4.3 Tangent/4.3.2.1 (a+b tan)^m (c+d tan)^n.nb
+36,870
diff --git a/‎IntegrationRuleNotebooks/4 Trig functions/4.3 Tangent/4.3.2.3 (g tan)^p (a+b tan)^m (c+d tan)^n.nb
+4,344 b/‎IntegrationRuleNotebooks/4 Trig functions/4.3 Tangent/4.3.2.3 (g tan)^p (a+b tan)^m (c+d tan)^n.nb
+4,344
diff --git a/‎IntegrationRuleNotebooks/4 Trig functions/4.3 Tangent/4.3.3.1 (a+b tan)^m (c+d tan)^n (A+B tan).nb
+22,521 b/‎IntegrationRuleNotebooks/4 Trig functions/4.3 Tangent/4.3.3.1 (a+b tan)^m (c+d tan)^n (A+B tan).nb
+22,521
diff --git a/‎IntegrationRuleNotebooks/4 Trig functions/4.3 Tangent/4.3.4.1 (a+b tan)^m (A+B tan+C tan^2).nb
+5,974 b/‎IntegrationRuleNotebooks/4 Trig functions/4.3 Tangent/4.3.4.1 (a+b tan)^m (A+B tan+C tan^2).nb
+5,974
diff --git a/‎IntegrationRuleNotebooks/4 Trig functions/4.3 Tangent/4.3.4.2 (a+b tan)^m (c+d tan)^n (A+B tan+C tan^2).nb
+12,319 b/‎IntegrationRuleNotebooks/4 Trig functions/4.3 Tangent/4.3.4.2 (a+b tan)^m (c+d tan)^n (A+B tan+C tan^2).nb
+12,319
diff --git a/‎IntegrationRuleNotebooks/4 Trig functions/4.3 Tangent/4.3.7 (d trig)^m (a+b (c tan)^n)^p.nb
+10,577 b/‎IntegrationRuleNotebooks/4 Trig functions/4.3 Tangent/4.3.7 (d trig)^m (a+b (c tan)^n)^p.nb
+10,577
diff --git a/‎IntegrationRuleNotebooks/4 Trig functions/4.3 Tangent/4.3.9 trig^m (a+b tan^n+c tan^(2 n))^p.nb
+10,305 b/‎IntegrationRuleNotebooks/4 Trig functions/4.3 Tangent/4.3.9 trig^m (a+b tan^n+c tan^(2 n))^p.nb
+10,305
diff --git a/‎IntegrationRuleNotebooks/4 Trig functions/4.5 Secant/4.5.1.1 (a+b sec)^n.nb
+9,079 b/‎IntegrationRuleNotebooks/4 Trig functions/4.5 Secant/4.5.1.1 (a+b sec)^n.nb
+9,079
diff --git a/‎IntegrationRuleNotebooks/4 Trig functions/4.5 Secant/4.5.1.2 (d sec)^n (a+b sec)^m.nb
+49,208 b/‎IntegrationRuleNotebooks/4 Trig functions/4.5 Secant/4.5.1.2 (d sec)^n (a+b sec)^m.nb
+49,208
diff --git a/‎IntegrationRuleNotebooks/4 Trig functions/4.5 Secant/4.5.1.3 (d sin)^n (a+b sec)^m.nb
+4,395 b/‎IntegrationRuleNotebooks/4 Trig functions/4.5 Secant/4.5.1.3 (d sin)^n (a+b sec)^m.nb
+4,395
diff --git a/‎IntegrationRuleNotebooks/4 Trig functions/4.5 Secant/4.5.1.4 (d tan)^n (a+b sec)^m.nb
+10,826 b/‎IntegrationRuleNotebooks/4 Trig functions/4.5 Secant/4.5.1.4 (d tan)^n (a+b sec)^m.nb
+10,826
diff --git a/‎IntegrationRuleNotebooks/4 Trig functions/4.5 Secant/4.5.10 (c+d x)^m (a+b sec)^n.nb
+4,817 b/‎IntegrationRuleNotebooks/4 Trig functions/4.5 Secant/4.5.10 (c+d x)^m (a+b sec)^n.nb
+4,817
diff --git a/‎IntegrationRuleNotebooks/4 Trig functions/4.5 Secant/4.5.11 (e x)^m (a+b sec(c+d x^n))^p.nb
+4,466 b/‎IntegrationRuleNotebooks/4 Trig functions/4.5 Secant/4.5.11 (e x)^m (a+b sec(c+d x^n))^p.nb
+4,466
diff --git a/‎IntegrationRuleNotebooks/4 Trig functions/4.5 Secant/4.5.2.1 (a+b sec)^m (c+d sec)^n.nb
+27,358 b/‎IntegrationRuleNotebooks/4 Trig functions/4.5 Secant/4.5.2.1 (a+b sec)^m (c+d sec)^n.nb
+27,358
diff --git a/‎IntegrationRuleNotebooks/4 Trig functions/4.5 Secant/4.5.2.2 (g sec)^p (a+b sec)^m (c+d sec)^n.nb
+28,554 b/‎IntegrationRuleNotebooks/4 Trig functions/4.5 Secant/4.5.2.2 (g sec)^p (a+b sec)^m (c+d sec)^n.nb
+28,554
diff --git a/‎IntegrationRuleNotebooks/4 Trig functions/4.5 Secant/4.5.3.1 (a+b sec)^m (d sec)^n (A+B sec).nb
+29,189 b/‎IntegrationRuleNotebooks/4 Trig functions/4.5 Secant/4.5.3.1 (a+b sec)^m (d sec)^n (A+B sec).nb
+29,189
diff --git a/‎IntegrationRuleNotebooks/4 Trig functions/4.5 Secant/4.5.4.1 (a+b sec)^m (A+B sec+C sec^2).nb
+12,360 b/‎IntegrationRuleNotebooks/4 Trig functions/4.5 Secant/4.5.4.1 (a+b sec)^m (A+B sec+C sec^2).nb
+12,360
diff --git a/‎IntegrationRuleNotebooks/4 Trig functions/4.5 Secant/4.5.4.2 (a+b sec)^m (d sec)^n (A+B sec+C sec^2).nb
+20,419 b/‎IntegrationRuleNotebooks/4 Trig functions/4.5 Secant/4.5.4.2 (a+b sec)^m (d sec)^n (A+B sec+C sec^2).nb
+20,419
diff --git a/‎IntegrationRuleNotebooks/4 Trig functions/4.5 Secant/4.5.7 (d trig)^m (a+b (c sec)^n)^p.nb
+13,825 b/‎IntegrationRuleNotebooks/4 Trig functions/4.5 Secant/4.5.7 (d trig)^m (a+b (c sec)^n)^p.nb
+13,825
diff --git a/‎IntegrationRuleNotebooks/4 Trig functions/4.5 Secant/4.5.9 trig^m (a+b sec^n+c sec^(2 n))^p.nb
+8,629 b/‎IntegrationRuleNotebooks/4 Trig functions/4.5 Secant/4.5.9 trig^m (a+b sec^n+c sec^(2 n))^p.nb
+8,629
diff --git a/‎IntegrationRuleNotebooks/4 Trig functions/4.7 Miscellaneous/4.7.1 Sine normalization rules.nb
+9,892 b/‎IntegrationRuleNotebooks/4 Trig functions/4.7 Miscellaneous/4.7.1 Sine normalization rules.nb
+9,892
diff --git a/‎IntegrationRuleNotebooks/4 Trig functions/4.7 Miscellaneous/4.7.2 Tangent normalization rules.nb
+6,455 b/‎IntegrationRuleNotebooks/4 Trig functions/4.7 Miscellaneous/4.7.2 Tangent normalization rules.nb
+6,455
diff --git a/‎IntegrationRuleNotebooks/4 Trig functions/4.7 Miscellaneous/4.7.3 Secant normalization rules.nb
+9,403 b/‎IntegrationRuleNotebooks/4 Trig functions/4.7 Miscellaneous/4.7.3 Secant normalization rules.nb
+9,403
diff --git a/‎IntegrationRuleNotebooks/4 Trig functions/4.7 Miscellaneous/4.7.4 (c trig)^m (d trig)^n.nb
+15,053 b/‎IntegrationRuleNotebooks/4 Trig functions/4.7 Miscellaneous/4.7.4 (c trig)^m (d trig)^n.nb
+15,053
diff --git a/‎IntegrationRuleNotebooks/4 Trig functions/4.7 Miscellaneous/4.7.5 Inert trig functions.nb
+16,777 b/‎IntegrationRuleNotebooks/4 Trig functions/4.7 Miscellaneous/4.7.5 Inert trig functions.nb
+16,777
diff --git a/‎IntegrationRuleNotebooks/4 Trig functions/4.7 Miscellaneous/4.7.6 (c+d x)^m trig(a+b x)^n trig(a+b x)^p.nb
+6,745 b/‎IntegrationRuleNotebooks/4 Trig functions/4.7 Miscellaneous/4.7.6 (c+d x)^m trig(a+b x)^n trig(a+b x)^p.nb
+6,745
diff --git a/‎IntegrationRuleNotebooks/4 Trig functions/4.7 Miscellaneous/4.7.7 F^(c (a+b x)) trig(d+e x)^n.nb
+11,609 b/‎IntegrationRuleNotebooks/4 Trig functions/4.7 Miscellaneous/4.7.7 F^(c (a+b x)) trig(d+e x)^n.nb
+11,609
diff --git a/‎IntegrationRuleNotebooks/4 Trig functions/4.7 Miscellaneous/4.7.8 u trig(a+b log(c x^n))^p.nb
+11,753 b/‎IntegrationRuleNotebooks/4 Trig functions/4.7 Miscellaneous/4.7.8 u trig(a+b log(c x^n))^p.nb
+11,753
diff --git a/‎IntegrationRuleNotebooks/4 Trig functions/4.7 Miscellaneous/4.7.9 Active trig functions.nb
+25,371 b/‎IntegrationRuleNotebooks/4 Trig functions/4.7 Miscellaneous/4.7.9 Active trig functions.nb
+25,371
diff --git a/‎IntegrationRuleNotebooks/5 Inverse trig functions/5.3 Inverse tangent/5.3.1 u (a+b arctan(c x^n))^p.nb
+58,770 b/‎IntegrationRuleNotebooks/5 Inverse trig functions/5.3 Inverse tangent/5.3.1 u (a+b arctan(c x^n))^p.nb
+58,770
diff --git a/‎IntegrationRuleNotebooks/5 Inverse trig functions/5.3 Inverse tangent/5.3.2 u (a+b arctan(c+d x))^p.nb
+4,668 b/‎IntegrationRuleNotebooks/5 Inverse trig functions/5.3 Inverse tangent/5.3.2 u (a+b arctan(c+d x))^p.nb
+4,668
diff --git a/‎IntegrationRuleNotebooks/5 Inverse trig functions/5.3 Inverse tangent/5.3.3 Exponentials of inverse tangent.nb
+36,793 b/‎IntegrationRuleNotebooks/5 Inverse trig functions/5.3 Inverse tangent/5.3.3 Exponentials of inverse tangent.nb
+36,793
diff --git a/‎IntegrationRuleNotebooks/5 Inverse trig functions/5.3 Inverse tangent/5.3.4 Miscellaneous inverse tangent.nb
+14,936 b/‎IntegrationRuleNotebooks/5 Inverse trig functions/5.3 Inverse tangent/5.3.4 Miscellaneous inverse tangent.nb
+14,936
diff --git a/‎IntegrationRuleNotebooks/5 Inverse trig functions/5.5 Inverse secant/5.5.1 u (a+b arcsec(c x))^n.nb
+10,904 b/‎IntegrationRuleNotebooks/5 Inverse trig functions/5.5 Inverse secant/5.5.1 u (a+b arcsec(c x))^n.nb
+10,904
diff --git a/‎IntegrationRuleNotebooks/5 Inverse trig functions/5.5 Inverse secant/5.5.2 Miscellaneous inverse secant.nb
+4,986 b/‎IntegrationRuleNotebooks/5 Inverse trig functions/5.5 Inverse secant/5.5.2 Miscellaneous inverse secant.nb
+4,986
diff --git a/‎IntegrationRuleNotebooks/6 Hyperbolic functions/6.3 Hyperbolic tangent/6.3.10 (c+d x)^m (a+b tanh)^n.nb
+579 b/‎IntegrationRuleNotebooks/6 Hyperbolic functions/6.3 Hyperbolic tangent/6.3.10 (c+d x)^m (a+b tanh)^n.nb
+579
diff --git a/‎IntegrationRuleNotebooks/6 Hyperbolic functions/6.3 Hyperbolic tangent/6.3.11 (e x)^m (a+b tanh(c+d x^n))^p.nb
+4,798 b/‎IntegrationRuleNotebooks/6 Hyperbolic functions/6.3 Hyperbolic tangent/6.3.11 (e x)^m (a+b tanh(c+d x^n))^p.nb
+4,798
diff --git a/‎IntegrationRuleNotebooks/6 Hyperbolic functions/6.3 Hyperbolic tangent/6.3.12 (d+e x)^m tanh(a+b x+c x^2)^n.nb
+1,299 b/‎IntegrationRuleNotebooks/6 Hyperbolic functions/6.3 Hyperbolic tangent/6.3.12 (d+e x)^m tanh(a+b x+c x^2)^n.nb
+1,299
diff --git a/‎IntegrationRuleNotebooks/6 Hyperbolic functions/6.5 Hyperbolic secant/6.5.10 (c+d x)^m (a+b sech)^n.nb
+536 b/‎IntegrationRuleNotebooks/6 Hyperbolic functions/6.5 Hyperbolic secant/6.5.10 (c+d x)^m (a+b sech)^n.nb
+536
diff --git a/‎IntegrationRuleNotebooks/6 Hyperbolic functions/6.5 Hyperbolic secant/6.5.11 (e x)^m (a+b sech(c+d x^n))^p.nb
+4,491 b/‎IntegrationRuleNotebooks/6 Hyperbolic functions/6.5 Hyperbolic secant/6.5.11 (e x)^m (a+b sech(c+d x^n))^p.nb
+4,491
diff --git a/‎IntegrationRuleNotebooks/6 Hyperbolic functions/6.7 Miscellaneous/6.7.6 (c+d x)^m hyper(a+b x)^n hyper(a+b x)^p.nb
+6,795 b/‎IntegrationRuleNotebooks/6 Hyperbolic functions/6.7 Miscellaneous/6.7.6 (c+d x)^m hyper(a+b x)^n hyper(a+b x)^p.nb
+6,795
diff --git a/‎IntegrationRuleNotebooks/6 Hyperbolic functions/6.7 Miscellaneous/6.7.7 F^(c (a+b x)) hyper(d+e x)^n.nb
+11,404 b/‎IntegrationRuleNotebooks/6 Hyperbolic functions/6.7 Miscellaneous/6.7.7 F^(c (a+b x)) hyper(d+e x)^n.nb
+11,404
diff --git a/‎IntegrationRuleNotebooks/6 Hyperbolic functions/6.7 Miscellaneous/6.7.8 u hyper(a+b log(c x^n))^p.nb
+12,314 b/‎IntegrationRuleNotebooks/6 Hyperbolic functions/6.7 Miscellaneous/6.7.8 u hyper(a+b log(c x^n))^p.nb
+12,314
diff --git a/‎IntegrationRuleNotebooks/6 Hyperbolic functions/6.7 Miscellaneous/6.7.9 Active hyperbolic functions.nb
+22,551 b/‎IntegrationRuleNotebooks/6 Hyperbolic functions/6.7 Miscellaneous/6.7.9 Active hyperbolic functions.nb
+22,551
diff --git a/‎IntegrationRuleNotebooks/7 Inverse hyperbolic functions/7.3 Inverse hyperbolic tangent/7.3.1 u (a+b arctanh(c x^n))^p.nb
+60,204 b/‎IntegrationRuleNotebooks/7 Inverse hyperbolic functions/7.3 Inverse hyperbolic tangent/7.3.1 u (a+b arctanh(c x^n))^p.nb
+60,204
diff --git a/‎IntegrationRuleNotebooks/7 Inverse hyperbolic functions/7.3 Inverse hyperbolic tangent/7.3.2 u (a+b arctanh(c+d x))^p.nb
+4,668 b/‎IntegrationRuleNotebooks/7 Inverse hyperbolic functions/7.3 Inverse hyperbolic tangent/7.3.2 u (a+b arctanh(c+d x))^p.nb
+4,668
diff --git a/‎IntegrationRuleNotebooks/7 Inverse hyperbolic functions/7.3 Inverse hyperbolic tangent/7.3.3 Exponentials of inverse hyperbolic tangent.nb
+40,046 b/‎IntegrationRuleNotebooks/7 Inverse hyperbolic functions/7.3 Inverse hyperbolic tangent/7.3.3 Exponentials of inverse hyperbolic tangent.nb
+40,046
diff --git a/‎IntegrationRuleNotebooks/7 Inverse hyperbolic functions/7.3 Inverse hyperbolic tangent/7.3.4 Miscellaneous inverse hyperbolic tangent.nb
+13,646 b/‎IntegrationRuleNotebooks/7 Inverse hyperbolic functions/7.3 Inverse hyperbolic tangent/7.3.4 Miscellaneous inverse hyperbolic tangent.nb
+13,646
diff --git a/‎IntegrationRuleNotebooks/7 Inverse hyperbolic functions/7.5 Inverse hyperbolic secant/7.5.1 u (a+b arcsech(c x))^n.nb
+14,639 b/‎IntegrationRuleNotebooks/7 Inverse hyperbolic functions/7.5 Inverse hyperbolic secant/7.5.1 u (a+b arcsech(c x))^n.nb
+14,639
diff --git a/‎IntegrationRuleNotebooks/7 Inverse hyperbolic functions/7.5 Inverse hyperbolic secant/7.5.2 Miscellaneous inverse hyperbolic secant.nb
+13,191 b/‎IntegrationRuleNotebooks/7 Inverse hyperbolic functions/7.5 Inverse hyperbolic secant/7.5.2 Miscellaneous inverse hyperbolic secant.nb
+13,191
diff --git a/‎IntegrationRuleNotebooks/8 Special functions/8.10 Bessel functions.nb
+1,525 b/‎IntegrationRuleNotebooks/8 Special functions/8.10 Bessel functions.nb
+1,525