Interactive Build

Workflow runs for Interactive Build

• Read an exponential of an inverse below the bar as a negative multipl…

  queued:
  Interactive Build#3243:Commit53a0fa4pushedbyRafael-SOWNet
  master

  Oct 18, 2026Queued
  More actions for workflow run 3243

• Read an exponential of an inverse below the bar as a negative multiple

  completed successfully:
  Interactive Build#3242:Pull request#1935openedbyRafael-SOWNet
  a-power-of-a-multiple-of-the-arctangents-quadratic-splits

  Oct 18, 20264m 7s
  More actions for workflow run 3242

• Write an exponential of a symbolic multiple of i arctan as powers of …

  completed successfully:
  Interactive Build#3241:Commit2bc0561pushedbyRafael-SOWNet
  master

  Oct 18, 20262m 9s
  More actions for workflow run 3241

• Write an exponential of a symbolic multiple of i arctan as powers of the linears

  completed successfully:
  Interactive Build#3240:Pull request#1934openedbyRafael-SOWNet
  a-symbolic-multiple-of-an-arctangent-in-an-exponential

  Oct 18, 20262m 32s
  More actions for workflow run 3240

• Write a symbolic cubic with a repeated root over its roots (#1933)

  completed successfully:
  Interactive Build#3239:Commitc1647fdpushedbyRafael-SOWNet
  master

  Oct 17, 20262m 17s
  More actions for workflow run 3239

• Write a symbolic cubic with a repeated root over its roots

  completed successfully:
  Interactive Build#3238:Pull request#1933openedbyRafael-SOWNet
  a-cubic-with-a-repeated-root-is-split-over-it

  Oct 17, 20264m 49s
  More actions for workflow run 3238

• Take a linear factor common to a sum below the bar out of it (#1932)

  completed successfully:
  Interactive Build#3237:Commit5bf5b1bpushedbyRafael-SOWNet
  master

  Oct 17, 20264m 57s
  More actions for workflow run 3237

• Take a linear factor common to a sum below the bar out of it

  completed successfully:
  Interactive Build#3236:Pull request#1932openedbyRafael-SOWNet
  a-common-linear-factor-of-a-sum-below-the-bar-is-taken-out

  Oct 17, 20264m 56s
  More actions for workflow run 3236

• Write an exponential of a whole multiple of an inverse hyperbolic tan…

  completed successfully:
  Interactive Build#3235:Commitb2ef509pushedbyRafael-SOWNet
  master

  Oct 17, 20263m 57s
  More actions for workflow run 3235

• Write an exponential of a whole multiple of an inverse hyperbolic tangent algebraically

  completed successfully:
  Interactive Build#3234:Pull request#1931openedbyRafael-SOWNet
  an-exponential-of-an-inverse-hyperbolic-tangent-written-algebraically

  Oct 17, 20265m 21s
  More actions for workflow run 3234

• Cancel a power of a cosine over a binomial in the sine (#1930)

  completed successfully:
  Interactive Build#3233:Commit081b56fpushedbyRafael-SOWNet
  master

  Oct 17, 20265m 24s
  More actions for workflow run 3233

• Cancel a power of a cosine over a binomial in the sine

  completed successfully:
  Interactive Build#3232:Pull request#1930openedbyRafael-SOWNet
  a-cosine-power-over-one-plus-a-sine-cancelled

  Oct 17, 20262m 19s
  More actions for workflow run 3232

• Integrate a function of an inverse function of a linear beside its po…

  completed successfully:
  Interactive Build#3231:Commitf77c4adpushedbyRafael-SOWNet
  master

  Oct 17, 20266m 10s
  More actions for workflow run 3231

• Integrate a function of an inverse function of a linear beside its powers under the linear

  completed successfully:
  Interactive Build#3230:Pull request#1929openedbyRafael-SOWNet
  an-inverse-function-of-a-linear-beside-its-powers-under-the-linear

  Oct 17, 20262m 12s
  More actions for workflow run 3230

• Divide out a constant common to the denominator after the half-angle …

  completed successfully:
  Interactive Build#3229:Commit9f18899pushedbyRafael-SOWNet
  master

  Oct 17, 20263m 48s
  More actions for workflow run 3229

• Divide out a constant common to the denominator after the half-angle substitution

  completed successfully:
  Interactive Build#3228:Pull request#1927synchronizebyRafael-SOWNet
  an-arcsine-over-a-half-odd-power-pair-is-not-nan

  Oct 17, 202610m 16s
  More actions for workflow run 3228

• Keep the evaluators' recursive frames to the arithmetic (#1928)

  completed successfully:
  Interactive Build#3227:Commit987e0f5pushedbyRafael-SOWNet
  master

  Oct 17, 20266m 40s
  More actions for workflow run 3227

• Keep the evaluators' recursive frames to the arithmetic

  completed successfully:
  Interactive Build#3226:Pull request#1928openedbyRafael-SOWNet
  interval-evaluation-keeps-its-recursion-frame-small

  Oct 17, 20264m 34s
  More actions for workflow run 3226

• Divide out a constant common to the denominator after the half-angle substitution

  completed successfully:
  Interactive Build#3225:Pull request#1927openedbyRafael-SOWNet
  an-arcsine-over-a-half-odd-power-pair-is-not-nan

  Oct 17, 20262m 10s
  More actions for workflow run 3225

• Integrate a power of x times an inverse tangent and the logarithm of …

  completed successfully:
  Interactive Build#3224:Commit930c5bapushedbyRafael-SOWNet
  master

  Oct 17, 20263m 57s
  More actions for workflow run 3224

• Integrate a power of x times an inverse tangent and the logarithm of its quadratic by parts

  completed successfully:
  Interactive Build#3223:Pull request#1926openedbyRafael-SOWNet
  an-arctangent-times-the-logarithm-of-its-quadratic

  Oct 17, 20265m 5s
  More actions for workflow run 3223

• Integrate a rational function over an inverse tangent's quadratic bes…

  completed successfully:
  Interactive Build#3222:Commit467d789pushedbyRafael-SOWNet
  master

  Oct 17, 20262m 7s
  More actions for workflow run 3222

• Integrate a rational function over an inverse tangent's quadratic beside it by partial fractions

  completed successfully:
  Interactive Build#3221:Pull request#1925openedbyRafael-SOWNet
  a-rational-function-over-the-arctangents-quadratic-split-beside-it

  Oct 17, 20264m 3s
  More actions for workflow run 3221

• Integrate a product of powers of a sine and a cosine beside a non-pol…

  completed successfully:
  Interactive Build#3220:Commit0d72aa4pushedbyRafael-SOWNet
  master

  Oct 17, 20264m 26s
  More actions for workflow run 3220

• Integrate a product of powers of a sine and a cosine beside a non-polynomial by linearising it

  completed successfully:
  Interactive Build#3219:Pull request#1924openedbyRafael-SOWNet
  a-product-of-powers-of-a-sine-and-a-cosine-linearised

  Oct 17, 20262m 38s
  More actions for workflow run 3219