Harnesses

635 workflow runs

Read a derivative of a product with a sine, a cosine or an exponential raised from nothing in it
completed successfully:
Harnesses#585:Pull request#1980openedbyRafael-SOWNet
read-a-derivative-of-a-product-with-a-function-raised-from-nothing
Oct 20, 20267m 16s
Integrate secant powers of a logarithm two apart as the derivative of…
completed successfully:
Harnesses#584:Commit8270086pushedbyRafael-SOWNet
master
Oct 20, 202619m 6s
Integrate three pseudo-elliptic shapes from Welz's problems in closed form
completed successfully:
Harnesses#583:Pull request#1979openedbyRafael-SOWNet
integrate-three-pseudo-elliptic-shapes-from-welz
Oct 20, 202610m 23s
Integrate a polynomial times an artanh and the logarithm of its quadratic in closed form
completed successfully:
Harnesses#582:Pull request#1978openedbyRafael-SOWNet
integrate-a-polynomial-times-an-artanh-and-the-log-of-its-quadratic
Oct 20, 20269m 26s
Integrate cube roots of two linears beside a power of a third, and a …
completed successfully:
Harnesses#581:Commit56caf2cpushedbyRafael-SOWNet
master
Oct 20, 202613m 3s
Integrate secant powers of a logarithm two apart as the derivative of a product
completed successfully:
Harnesses#580:Pull request#1977openedbyRafael-SOWNet
integrate-secant-powers-of-a-logarithm-two-apart
Oct 20, 202618m 2s
Integrate a symbolic secant power, a half-odd power of a ± a sin, and…
completed successfully:
Harnesses#579:Commita3bc645pushedbyRafael-SOWNet
master
Oct 20, 202611m 4s
Integrate cube roots of two linears beside a power of a third, and a root over a power of x (b + c x)
completed successfully:
Harnesses#578:Pull request#1976openedbyRafael-SOWNet
integrate-cube-roots-of-two-linears-and-a-root-over-x-b-cx
Oct 20, 202610m 49s
Write each linear once under a symbolic power (#1974)
completed successfully:
Harnesses#577:Commita57ddccpushedbyRafael-SOWNet
master
Oct 20, 20268m 47s
Integrate a symbolic secant power, a half-odd power of a ± a sin, and an even cosine power
completed successfully:
Harnesses#576:Pull request#1975openedbyRafael-SOWNet
integrate-secant-powers-and-half-odd-sine-powers
Oct 20, 202615m 18s
Integrate x^m (d + e x^2)^p times an inverse trigonometric function b…
completed successfully:
Harnesses#575:Commite8f9adepushedbyRafael-SOWNet
master
Oct 20, 202612m 17s
Write each linear once under a symbolic power
completed successfully:
Harnesses#574:Pull request#1974openedbyRafael-SOWNet
integrate-each-linear-once-under-a-symbolic-power
Oct 20, 20268m 50s
Integrate a sum of powers of an inverse or error function by parts do…
completed successfully:
Harnesses#573:Commit607fd57pushedbyRafael-SOWNet
master
Oct 20, 20267m 47s
Integrate a power of x times a hyperbolic function of a power under t…
completed successfully:
Harnesses#572:Commit56648c3pushedbyRafael-SOWNet
master
Oct 20, 20267m 59s
Integrate x^m (d + e x^2)^p times an inverse trigonometric function by parts
completed successfully:
Harnesses#571:Pull request#1973openedbyRafael-SOWNet
a-power-of-x-over-a-power-of-a-quadratic-times-an-inverse-trigonometric-function
Oct 20, 202612m 9s
Integrate a rational function of the tangent beside roots of linears …
completed successfully:
Harnesses#570:Commit05695e6pushedbyRafael-SOWNet
master
Oct 20, 202622m 44s
Integrate a sum of powers of an inverse or error function by parts down the powers
completed successfully:
Harnesses#569:Pull request#1972openedbyRafael-SOWNet
a-sum-of-powers-of-an-inverse-or-error-function-by-parts-down-the-powers
Oct 20, 202615m 24s
Integrate an inverse hyperbolic function by parts against its logarit…
completed successfully:
Harnesses#568:Commit3d3a99bpushedbyRafael-SOWNet
master
Oct 20, 202611m 3s
Integrate a power of x times a hyperbolic function of a power under that power
completed successfully:
Harnesses#567:Pull request#1971openedbyRafael-SOWNet
a-power-of-x-times-a-hyperbolic-function-of-a-power-under-that-power
Oct 20, 202610m 1s
Integrate a rational function of the tangent beside roots of linears in it
completed successfully:
Harnesses#566:Pull request#1970openedbyRafael-SOWNet
a-rational-function-of-the-tangent-beside-roots-of-linears-in-it
Oct 20, 20269m 45s
Integrate an inverse hyperbolic function by parts against its logarithm
completed successfully:
Harnesses#565:Pull request#1969openedbyRafael-SOWNet
by-parts-against-an-inverse-hyperbolic-function-as-its-logarithm
Oct 20, 202613m 58s
Integrate a polynomial times powers of polynomials by raising each po…
completed successfully:
Harnesses#564:Commit593c539pushedbyRafael-SOWNet
master
Oct 20, 202610m 26s
Answer an odd number of secant roots where the cosine is negative too…
completed successfully:
Harnesses#563:Commit07d3df5pushedbyRafael-SOWNet
master
Oct 20, 20266m 10s
Take an interval's size without squaring, so a size past the doubles …
completed successfully:
Harnesses#562:Commit820f8d9pushedbyRafael-SOWNet
master
Oct 20, 202612m 32s
Integrate a polynomial times powers of polynomials by raising each power by one
completed successfully:
Harnesses#561:Pull request#1968openedbyRafael-SOWNet
a-polynomial-times-powers-of-polynomials-by-raising-the-powers
Oct 20, 20266m 19s