Interactive Build

InteractiveBuild.yml

2500+ workflow runs

Integrate a power of x that is not whole beside binomials in a power …
queued:
Interactive Build#3442:Commit78cd31bpushedbyRafael-SOWNet
master
Oct 21, 2026Queued
Remember a decline a sum over roots would answer as one, so a later q…
queued:
Interactive Build#3441:Commit64f144bpushedbyRafael-SOWNet
master
Oct 21, 2026Queued
Integrate a power of x beside powers of a quotient of linears and of …
queued:
Interactive Build#3440:Commit99fca7apushedbyRafael-SOWNet
master
Oct 21, 2026Queued
Integrate seven trigonometric shapes: reduced powers over a + b sin, an odd tangent beside sqrt(a + b sin^2), and five more
queued:
Interactive Build#3439:Pull request#2026synchronizebyRafael-SOWNet
integrate-seven-trigonometric-shapes-ak
Oct 21, 2026Queued
Integrate fractional trigonometric powers two apart by the reduction,…
queued:
Interactive Build#3438:Commitfc1d521pushedbyRafael-SOWNet
master
Oct 21, 2026Queued
Integrate five shapes of the independent suites
queued:
Interactive Build#3437:Pull request#2024synchronizebyRafael-SOWNet
integrate-five-shapes-of-the-independent-suites
Oct 21, 2026Queued
Raise a negative power of x beside a power of a binomial by the reduc…
queued:
Interactive Build#3436:Commit86d60b9pushedbyRafael-SOWNet
master
Oct 21, 2026Queued
Integrate a transcendental function of one shifted linear in it, the logarithms of a quotient onto the exponential integral, and derivatives over a power of a logarithm or an inverse
completed successfully:
Interactive Build#3435:Pull request#2034synchronizebyRafael-SOWNet
integrate-a-function-of-one-shifted-linear-and-logarithms-onto-ei-ai
Oct 21, 20261h 33m 14s
Integrate a power of x that is not whole beside binomials in a power of it, and thirteen more algebraic shapes
completed successfully:
Interactive Build#3434:Pull request#2027synchronizebyRafael-SOWNet
integrate-fourteen-algebraic-shapes-ah
Oct 21, 202657m 31s
Integrate five shapes of the independent suites
completed successfully:
Interactive Build#3433:Pull request#2024synchronizebyRafael-SOWNet
integrate-five-shapes-of-the-independent-suites
Oct 21, 20261h 26m 1s
Remember a decline a sum over roots would answer as one, so a later question still gets the second pass
completed successfully:
Interactive Build#3432:Pull request#2036openedbyRafael-SOWNet
remember-a-decline-a-sum-over-roots-would-answer
Oct 21, 202624m 30s
Do not simplify a substitution's quotient that still varies with x, which no rewriting can take out
completed successfully:
Interactive Build#3431:Pull request#2035openedbyRafael-SOWNet
do-not-simplify-a-quotient-that-still-varies-with-x-aj
Oct 21, 20261h 27m 58s
Expand a power of a long sum without visiting the combinations it doe…
completed successfully:
Interactive Build#3430:Commit2a98be4pushedbyRafael-SOWNet
master
Oct 21, 20261h 19m 52s
Integrate four shapes: powers of exponentials of one rate, a polynomi…
queued:
Interactive Build#3429:Commit1cb6991pushedbyRafael-SOWNet
master
Oct 21, 2026Queued
Integrate a transcendental function of one shifted linear in it, the logarithms of a quotient onto the exponential integral, and derivatives over a power of a logarithm or an inverse
queued:
Interactive Build#3428:Pull request#2034openedbyRafael-SOWNet
integrate-a-function-of-one-shifted-linear-and-logarithms-onto-ei-ai
Oct 21, 2026Queued
Raise a negative power of x beside a power of a binomial by the reduction that takes out its pole, read a derivative's constant at a point, and rationalise the roots inside a root
completed successfully:
Interactive Build#3427:Pull request#2033openedbyRafael-SOWNet
raise-a-negative-power-of-x-beside-a-binomial-ap
Oct 21, 202625m 53s
Integrate seven trigonometric shapes: reduced powers over a + b sin, an odd tangent beside sqrt(a + b sin^2), and five more
completed successfully:
Interactive Build#3426:Pull request#2026synchronizebyRafael-SOWNet
integrate-seven-trigonometric-shapes-ak
Oct 21, 20262h 10m 7s
Integrate a power of x that is not whole beside binomials in a power of it, and thirteen more algebraic shapes
completed successfully:
Interactive Build#3425:Pull request#2027synchronizebyRafael-SOWNet
integrate-fourteen-algebraic-shapes-ah
Oct 21, 202612m 9s
Integrate a power of x beside powers of a quotient of linears and of their product as one term, and 1/(a + b asinh(±i + d x^2))^n
completed successfully:
Interactive Build#3424:Pull request#2032openedbyRafael-SOWNet
integrate-a-power-of-x-beside-a-quotient-of-linears-and-their-product-ab
Oct 21, 202632m 14s
Integrate fractional trigonometric powers two apart by the reduction, and a sine raised from nothing as a derivative
completed successfully:
Interactive Build#3423:Pull request#2031openedbyRafael-SOWNet
integrate-trigonometric-second-pass-ac
Oct 21, 202655m 25s
Integrate five shapes of the independent suites
completed successfully:
Interactive Build#3422:Pull request#2024synchronizebyRafael-SOWNet
integrate-five-shapes-of-the-independent-suites
Oct 21, 202619m 53s
Integrate four inverse-hyperbolic shapes: over a half-odd power of an…
completed successfully:
Interactive Build#3421:Commit47ab958pushedbyRafael-SOWNet
master
Oct 21, 202625m 57s
Expand a power of a long sum without visiting the combinations it does not return
completed successfully:
Interactive Build#3420:Pull request#2030openedbyRafael-SOWNet
expand-a-power-of-a-long-sum-without-dead-branches
Oct 21, 202623m 28s
Read a limit at -oo on the approach it is rewritten to, and simplify …
completed successfully:
Interactive Build#3419:Commit2e3078dpushedbyRafael-SOWNet
master
Oct 21, 20261h 24m 16s
Integrate a rational function of x/sqrt(P) for an even quartic P, hig…
completed successfully:
Interactive Build#3418:Commit47e7362pushedbyRafael-SOWNet
master
Oct 21, 202634m 44s