Harnesses

Workflow runs for Harnesses

• Read the symbolic trigonometric power as a factor of the integrand (#…

  completed successfully:
  Harnesses#544:Commit46a56fbpushedbyRafael-SOWNet
  master

  Oct 20, 202610m 0s
  More actions for workflow run 544

• Read the symbolic trigonometric power as a factor of the integrand

  completed successfully:
  Harnesses#543:Pull request#1958openedbyRafael-SOWNet
  a-symbolic-power-as-a-derivative-reads-the-power-as-a-factor

  Oct 20, 20267m 44s
  More actions for workflow run 543

• Keep the sign of a half-odd power of a negative multiple through the …

  completed successfully:
  Harnesses#542:Commit27e6514pushedbyRafael-SOWNet
  master

  Oct 20, 20269m 49s
  More actions for workflow run 542

• Keep the sign of a half-odd power of a negative multiple through the long division

  completed successfully:
  Harnesses#541:Pull request#1957openedbyRafael-SOWNet
  a-half-odd-power-of-a-negative-multiple-keeps-its-sign

  Oct 20, 20269m 45s
  More actions for workflow run 541

• Integrate a function of the hyperbolic tangent alone under u = tanh (…

  completed successfully:
  Harnesses#540:Commit4877ed2pushedbyRafael-SOWNet
  master

  Oct 20, 20269m 55s
  More actions for workflow run 540

• Integrate a function of the hyperbolic tangent alone under u = tanh

  completed successfully:
  Harnesses#539:Pull request#1956openedbyRafael-SOWNet
  a-function-of-the-hyperbolic-tangent

  Oct 20, 20269m 57s
  More actions for workflow run 539

• Integrate a power of x times the logarithm of a polynomial plus a roo…

  completed successfully:
  Harnesses#538:Commitb53d799pushedbyRafael-SOWNet
  master

  Oct 20, 20269m 51s
  More actions for workflow run 538

• Integrate a power of x times the logarithm of a polynomial plus a root, by parts

  completed successfully:
  Harnesses#537:Pull request#1955openedbyRafael-SOWNet
  by-parts-against-a-logarithm-of-a-radical-sum

  Oct 19, 20269m 55s
  More actions for workflow run 537

• Integrate a power of a sum beside its derivative with symbolic powers…

  completed successfully:
  Harnesses#536:Commitda07bd9pushedbyRafael-SOWNet
  master

  Oct 19, 202611m 59s
  More actions for workflow run 536

• Integrate a power of a sum beside its derivative with symbolic powers in it

  completed successfully:
  Harnesses#535:Pull request#1954openedbyRafael-SOWNet
  a-function-times-its-derivative-with-symbolic-powers

  Oct 19, 202610m 10s
  More actions for workflow run 535

• Integrate a power of a quotient of linears beside whole powers of the…

  completed successfully:
  Harnesses#534:Commit7280a44pushedbyRafael-SOWNet
  master

  Oct 19, 20267m 47s
  More actions for workflow run 534

• Integrate a power of a quotient of linears beside whole powers of them

  completed successfully:
  Harnesses#533:Pull request#1953openedbyRafael-SOWNet
  a-power-of-a-quotient-of-linears-beside-them

  Oct 19, 202610m 19s
  More actions for workflow run 533

• Integrate a power of x times an artanh whose derivative is a root, by…

  completed successfully:
  Harnesses#532:Commitfa3eff9pushedbyRafael-SOWNet
  master

  Oct 19, 20269m 47s
  More actions for workflow run 532

• Integrate a power of x times an artanh whose derivative is a root, by parts

  completed successfully:
  Harnesses#531:Pull request#1952openedbyRafael-SOWNet
  by-parts-against-an-artanh-whose-derivative-is-a-root

  Oct 19, 202612m 51s
  More actions for workflow run 531

• Integrate an exponential of a quadratic over the linear through its v…

  completed successfully:
  Harnesses#530:Commit0f0ff07pushedbyRafael-SOWNet
  master

  Oct 19, 202613m 26s
  More actions for workflow run 530

• Integrate an exponential of a quadratic over the linear through its vertex

  completed successfully:
  Harnesses#529:Pull request#1951openedbyRafael-SOWNet
  an-exponential-of-a-quadratic-over-the-linear-through-its-vertex

  Oct 19, 20269m 58s
  More actions for workflow run 529

• Integrate an exponential of the reciprocal of a linear beside another…

  completed successfully:
  Harnesses#528:Commit016d6d8pushedbyRafael-SOWNet
  master

  Oct 19, 20267m 37s
  More actions for workflow run 528

• Integrate an exponential of the reciprocal of a linear beside another linear

  completed successfully:
  Harnesses#527:Pull request#1950openedbyRafael-SOWNet
  exponential-of-a-reciprocal-linear

  Oct 19, 20265m 47s
  More actions for workflow run 527

• Write a trinomial with conjugate roots over its roots in the square (…

  completed successfully:
  Harnesses#526:Commit8a1ef45pushedbyRafael-SOWNet
  master

  Oct 19, 202620m 5s
  More actions for workflow run 526

• Integrate a polynomial beside error functions of a shifted linear (#1…

  completed successfully:
  Harnesses#525:Commitbdbfcb4pushedbyRafael-SOWNet
  master

  Oct 19, 20267m 42s
  More actions for workflow run 525

• Write a trinomial with conjugate roots over its roots in the square

  completed successfully:
  Harnesses#524:Pull request#1948openedbyRafael-SOWNet
  write-a-trinomial-with-conjugate-roots-over-them

  Oct 19, 202620m 12s
  More actions for workflow run 524

• Integrate a polynomial beside error functions of a shifted linear

  completed successfully:
  Harnesses#523:Pull request#1947openedbyRafael-SOWNet
  integrate-a-power-times-erf-squared-of-a-shift

  Oct 19, 202612m 8s
  More actions for workflow run 523

• Leave a sum beside its own derivative to the plain substitution (#1943)

  completed successfully:
  Harnesses#522:Commit3d5d146pushedbyRafael-SOWNet
  master

  Oct 19, 202610m 7s
  More actions for workflow run 522

• Flatten a whole power of a constant times an exponential (#1942)

  completed successfully:
  Harnesses#521:Commit2bec4ecpushedbyRafael-SOWNet
  master

  Oct 19, 202610m 0s
  More actions for workflow run 521

• Leave a sum beside its own derivative to the plain substitution

  completed successfully:
  Harnesses#520:Pull request#1943openedbyRafael-SOWNet
  keep-the-substitution-for-a-sum-beside-its-derivative

  Oct 19, 202620m 37s
  More actions for workflow run 520