Kernel Benchmark

2035 workflow runs

Write each linear once under a symbolic power
currently running:
Kernel Benchmark#3467:Pull request#1974openedbyRafael-SOWNet
integrate-each-linear-once-under-a-symbolic-power
Oct 20, 2026In progress
Integrate a sum of powers of an inverse or error function by parts do…
completed successfully:
Kernel Benchmark#3466:Commit607fd57pushedbyRafael-SOWNet
master
Oct 20, 202611m 49s
Integrate a power of x times a hyperbolic function of a power under t…
completed successfully:
Kernel Benchmark#3465:Commit56648c3pushedbyRafael-SOWNet
master
Oct 20, 202618m 11s
Integrate x^m (d + e x^2)^p times an inverse trigonometric function by parts
completed successfully:
Kernel Benchmark#3464:Pull request#1973openedbyRafael-SOWNet
a-power-of-x-over-a-power-of-a-quadratic-times-an-inverse-trigonometric-function
Oct 20, 202611m 58s
Integrate a rational function of the tangent beside roots of linears …
completed successfully:
Kernel Benchmark#3463:Commit05695e6pushedbyRafael-SOWNet
master
Oct 20, 202620m 31s
Integrate a sum of powers of an inverse or error function by parts down the powers
completed successfully:
Kernel Benchmark#3462:Pull request#1972openedbyRafael-SOWNet
a-sum-of-powers-of-an-inverse-or-error-function-by-parts-down-the-powers
Oct 20, 202614m 7s
Integrate an inverse hyperbolic function by parts against its logarit…
completed successfully:
Kernel Benchmark#3461:Commit3d3a99bpushedbyRafael-SOWNet
master
Oct 20, 202612m 6s
Integrate a power of x times a hyperbolic function of a power under that power
completed successfully:
Kernel Benchmark#3460:Pull request#1971openedbyRafael-SOWNet
a-power-of-x-times-a-hyperbolic-function-of-a-power-under-that-power
Oct 20, 202611m 16s
Integrate a rational function of the tangent beside roots of linears in it
completed successfully:
Kernel Benchmark#3459:Pull request#1970openedbyRafael-SOWNet
a-rational-function-of-the-tangent-beside-roots-of-linears-in-it
Oct 20, 202613m 5s
Integrate an inverse hyperbolic function by parts against its logarithm
completed successfully:
Kernel Benchmark#3458:Pull request#1969openedbyRafael-SOWNet
by-parts-against-an-inverse-hyperbolic-function-as-its-logarithm
Oct 20, 202614m 56s
Integrate a polynomial times powers of polynomials by raising each po…
completed successfully:
Kernel Benchmark#3457:Commit593c539pushedbyRafael-SOWNet
master
Oct 20, 202611m 12s
Answer an odd number of secant roots where the cosine is negative too…
completed successfully:
Kernel Benchmark#3456:Commit07d3df5pushedbyRafael-SOWNet
master
Oct 20, 202611m 28s
Take an interval's size without squaring, so a size past the doubles …
completed successfully:
Kernel Benchmark#3455:Commit820f8d9pushedbyRafael-SOWNet
master
Oct 20, 202619m 9s
Integrate a polynomial times powers of polynomials by raising each power by one
completed successfully:
Kernel Benchmark#3454:Pull request#1968openedbyRafael-SOWNet
a-polynomial-times-powers-of-polynomials-by-raising-the-powers
Oct 20, 202614m 30s
Answer an odd number of secant roots where the cosine is negative too
completed successfully:
Kernel Benchmark#3453:Pull request#1967openedbyRafael-SOWNet
an-odd-number-of-secant-roots-holds-where-the-cosine-is-negative
Oct 20, 202611m 40s
Take an interval's size without squaring, so a size past the doubles does not agree
completed successfully:
Kernel Benchmark#3452:Pull request#1966openedbyRafael-SOWNet
a-size-past-the-doubles-is-not-taken-to-agree
Oct 20, 202614m 13s
Pair the half-odd powers of two linears whose product is an arsinh ra…
completed successfully:
Kernel Benchmark#3451:Commita639f29pushedbyRafael-SOWNet
master
Oct 20, 202611m 11s
Integrate half-odd powers of a ± a sin beside a fractional power of t…
completed successfully:
Kernel Benchmark#3450:Commit1cdcd63pushedbyRafael-SOWNet
master
Oct 20, 202620m 21s
Pair the half-odd powers of two linears whose product is an arsinh radicand
completed successfully:
Kernel Benchmark#3449:Pull request#1965openedbyRafael-SOWNet
half-odd-powers-of-two-linears-paired-to-leave-a-polynomial
Oct 20, 202611m 36s
Integrate half-odd powers of a ± a sin beside a fractional power of the cosine
completed successfully:
Kernel Benchmark#3448:Pull request#1964openedbyRafael-SOWNet
half-odd-powers-of-one-plus-a-sine-beside-a-fractional-power-of-the-cosine
Oct 20, 202611m 47s
Integrate exponentials of two bases over a power of x to the exponent…
completed successfully:
Kernel Benchmark#3447:Commit58d0decpushedbyRafael-SOWNet
master
Oct 20, 202611m 11s
Write a quotient by a radical sum with a constant conjugate product o…
completed successfully:
Kernel Benchmark#3446:Commit03f6c17pushedbyRafael-SOWNet
master
Oct 20, 202613m 13s
Integrate exponentials of two bases over a power of x to the exponential integral
completed successfully:
Kernel Benchmark#3445:Pull request#1963openedbyRafael-SOWNet
exponentials-of-two-bases-over-a-power-of-x
Oct 20, 202614m 5s
Write a quotient by a radical sum with a constant conjugate product over the conjugate
completed successfully:
Kernel Benchmark#3444:Pull request#1962openedbyRafael-SOWNet
a-quotient-by-a-radical-sum-over-its-conjugate
Oct 20, 202611m 22s
Ask a hyperbolic integrand as a trigonometric one (#1961)
completed successfully:
Kernel Benchmark#3443:Commit015078cpushedbyRafael-SOWNet
master
Oct 20, 202611m 42s