Kernel Benchmark

1937 workflow runs

Take a factor constant on each side of zero for an inverse times its derivative
currently running:
Kernel Benchmark#3369:Pull request#1919openedbyRafael-SOWNet
a-factor-constant-on-each-side-of-zero
Oct 17, 2026In progress
Integrate an arctangent over a power of d (1 ± i c x) under the tange…
completed successfully:
Kernel Benchmark#3368:Commit91acb28pushedbyRafael-SOWNet
master
Oct 17, 202612m 22s
Integrate an arctangent over a power of d (1 ± i c x) under the tangent
completed successfully:
Kernel Benchmark#3367:Pull request#1918openedbyRafael-SOWNet
an-arctangent-over-a-power-of-one-plus-i-c-x-under-the-tangent
Oct 17, 202614m 29s
Write an exponential of an arctangent algebraically at the question a…
completed successfully:
Kernel Benchmark#3366:Commit4590113pushedbyRafael-SOWNet
master
Oct 17, 202615m 5s
Write an exponential of an arctangent algebraically at the question asked
completed successfully:
Kernel Benchmark#3365:Pull request#1917openedbyRafael-SOWNet
an-exponential-of-an-inverse-is-written-algebraically-first
Oct 17, 202611m 48s
Take a power of x out of the bracket of the derivative of a product o…
completed successfully:
Kernel Benchmark#3364:Commita0ae245pushedbyRafael-SOWNet
master
Oct 17, 202612m 20s
Take a power of x out of the bracket of the derivative of a product of powers
completed successfully:
Kernel Benchmark#3363:Pull request#1916openedbyRafael-SOWNet
a-power-of-x-is-taken-out-of-the-bracket-of-a-derivative
Oct 17, 202611m 10s
Integrate a polynomial over a symbolic quartic that splits into two q…
completed successfully:
Kernel Benchmark#3362:Commitf9c0ac1pushedbyRafael-SOWNet
master
Oct 17, 202614m 11s
Integrate a polynomial over a symbolic quartic that splits into two quadratics
completed successfully:
Kernel Benchmark#3361:Pull request#1915openedbyRafael-SOWNet
a-symbolic-quartic-that-splits-into-two-quadratics
Oct 17, 202611m 4s
Reduce a polynomial times a high half-odd power of a quadratic with n…
completed successfully:
Kernel Benchmark#3360:Commit84dc0e7pushedbyRafael-SOWNet
master
Oct 16, 202611m 39s
Reduce a polynomial times a high half-odd power of a quadratic with numbers for coefficients
completed successfully:
Kernel Benchmark#3359:Pull request#1913openedbyRafael-SOWNet
a-high-half-power-of-a-quadratic-beside-a-power-of-another
Oct 16, 202611m 54s
Integrate a symbolic power of a trigonometric function where it is th…
completed successfully:
Kernel Benchmark#3358:Commit1e79b0epushedbyRafael-SOWNet
master
Oct 16, 202614m 23s
Integrate a symbolic power of a trigonometric function where it is the derivative of a product
completed successfully:
Kernel Benchmark#3357:Pull request#1912openedbyRafael-SOWNet
a-symbolic-power-of-a-trigonometric-function-as-the-derivative-of-a-product
Oct 16, 202610m 54s
Integrate a power of a sine or hyperbolic sine over a binomial in a p…
completed successfully:
Kernel Benchmark#3356:Commitbc175c2pushedbyRafael-SOWNet
master
Oct 16, 202611m 11s
Integrate a power of a sine or hyperbolic sine over a binomial in a power of it over its roots
completed successfully:
Kernel Benchmark#3355:Pull request#1911openedbyRafael-SOWNet
a-power-over-a-binomial-in-a-power-of-a-sine-over-its-roots
Oct 16, 202612m 11s
Integrate a rational function times a logarithm of powers of linears …
completed successfully:
Kernel Benchmark#3354:Commitbf4be60pushedbyRafael-SOWNet
master
Oct 16, 202614m 3s
Integrate a rational function times a logarithm of powers of linears by parts
completed successfully:
Kernel Benchmark#3353:Pull request#1910openedbyRafael-SOWNet
a-rational-function-times-a-logarithm-of-powers-of-linears
Oct 16, 202611m 29s
Integrate a function of an inverse times its derivative up to a facto…
completed successfully:
Kernel Benchmark#3352:Commit87be872pushedbyRafael-SOWNet
master
Oct 16, 202610m 4s
Integrate a function of an inverse times its derivative up to a factor constant though written with x
completed successfully:
Kernel Benchmark#3351:Pull request#1909openedbyRafael-SOWNet
a-function-of-an-inverse-times-its-derivative-up-to-a-constant
Oct 16, 202611m 23s
Integrate half an odd power of an inverse hyperbolic cosine of c + d …
completed successfully:
Kernel Benchmark#3350:Commitadba48cpushedbyRafael-SOWNet
master
Oct 16, 202613m 22s
Integrate half an odd power of an inverse hyperbolic cosine of c + d x^2 in error functions
completed successfully:
Kernel Benchmark#3349:Pull request#1908openedbyRafael-SOWNet
a-half-integer-power-of-an-inverse-hyperbolic-cosine-of-a-quadratic
Oct 16, 202613m 36s
Answer a difference of two cubes where the sampled check cannot tell …
completed successfully:
Kernel Benchmark#3348:Commit0cc1e5dpushedbyRafael-SOWNet
master
Oct 16, 202612m 34s
Answer a difference of two cubes where the sampled check cannot tell
completed successfully:
Kernel Benchmark#3347:Pull request#1907openedbyRafael-SOWNet
a-difference-of-two-cubes-is-split-over-the-cube-roots-of-unity
Oct 16, 202612m 9s
Integrate a negative power of an inverse function of c + d x^2 in sin…
completed successfully:
Kernel Benchmark#3346:Commit90c9d3epushedbyRafael-SOWNet
master
Oct 16, 202611m 41s
Integrate a negative power of an inverse function of c + d x^2 in sine and cosine integrals
completed successfully:
Kernel Benchmark#3345:Pull request#1906openedbyRafael-SOWNet
a-negative-power-of-an-inverse-function-of-a-quadratic
Oct 16, 202612m 7s