Trimming & NativeAOT

Workflow runs for Trimming & NativeAOT

• Take a constant with a minus written in it out of a fractional power for either sign

  completed successfully:
  Trimming & NativeAOT#1846:Pull request#1986openedbyRafael-SOWNet
  take-a-negated-constant-out-of-a-fractional-power-for-either-sign

  Oct 21, 202610m 1s
  More actions for workflow run 1846

• Read a power of the tangent beside a power of x as the derivative of …

  completed successfully:
  Trimming & NativeAOT#1845:Commit3f57780pushedbyRafael-SOWNet
  master

  Oct 21, 20268m 3s
  More actions for workflow run 1845

• Divide a polynomial over a polynomial beside a power of a quadratic without the quadratic's condition

  completed successfully:
  Trimming & NativeAOT#1844:Pull request#1985openedbyRafael-SOWNet
  divide-without-the-conditions-of-the-denominator

  Oct 21, 202613m 3s
  More actions for workflow run 1844

• Decline a tanh-substitution answer that says nothing where the integr…

  completed successfully:
  Trimming & NativeAOT#1843:Commit0f58a64pushedbyRafael-SOWNet
  master

  Oct 21, 20267m 36s
  More actions for workflow run 1843

• Read a power of the tangent beside a power of x as the derivative of their product

  completed successfully:
  Trimming & NativeAOT#1842:Pull request#1984openedbyRafael-SOWNet
  read-a-power-of-the-tangent-beside-a-power-of-x-as-a-derivative

  Oct 21, 20267m 36s
  More actions for workflow run 1842

• Decline a tanh-substitution answer that says nothing where the integrand is defined

  completed successfully:
  Trimming & NativeAOT#1841:Pull request#1983synchronizebyRafael-SOWNet
  decline-a-tanh-answer-that-says-nothing-where-the-integrand-is-defined

  Oct 21, 202610m 58s
  More actions for workflow run 1841

• Leave a power of a ± a coth alone to the exponential substitution (#1…

  completed successfully:
  Trimming & NativeAOT#1840:Commit099997epushedbyRafael-SOWNet
  master

  Oct 21, 20263m 53s
  More actions for workflow run 1840

• Decline a tanh-substitution answer that says nothing where the integrand is defined

  completed successfully:
  Trimming & NativeAOT#1839:Pull request#1983openedbyRafael-SOWNet
  decline-a-tanh-answer-that-says-nothing-where-the-integrand-is-defined

  Oct 20, 20269m 3s
  More actions for workflow run 1839

• Leave a power of a ± a coth alone to the exponential substitution

  completed successfully:
  Trimming & NativeAOT#1838:Pull request#1982openedbyRafael-SOWNet
  leave-a-power-of-a-plus-a-coth-to-the-exponential-substitution

  Oct 20, 202618m 49s
  More actions for workflow run 1838

• Leave a hyperbolic rational function to the second pass where its que…

  completed successfully:
  Trimming & NativeAOT#1837:Commit0799cf6pushedbyRafael-SOWNet
  master

  Oct 20, 20269m 11s
  More actions for workflow run 1837

• Read a derivative of a product with a sine, a cosine or an exponentia…

  completed successfully:
  Trimming & NativeAOT#1836:Commitca50618pushedbyRafael-SOWNet
  master

  Oct 20, 20263m 46s
  More actions for workflow run 1836

• Leave a hyperbolic rational function to the second pass where its question in s would need a sum over roots

  completed successfully:
  Trimming & NativeAOT#1835:Pull request#1981openedbyRafael-SOWNet
  leave-a-hyperbolic-rational-function-to-the-second-pass

  Oct 20, 20266m 39s
  More actions for workflow run 1835

• Integrate a polynomial times an artanh and the logarithm of its quadr…

  completed successfully:
  Trimming & NativeAOT#1834:Commit31dc45epushedbyRafael-SOWNet
  master

  Oct 20, 202619m 22s
  More actions for workflow run 1834

• Integrate three pseudo-elliptic shapes from Welz's problems in closed…

  completed successfully:
  Trimming & NativeAOT#1833:Commit05e7f67pushedbyRafael-SOWNet
  master

  Oct 20, 202610m 17s
  More actions for workflow run 1833

• Read a derivative of a product with a sine, a cosine or an exponential raised from nothing in it

  completed successfully:
  Trimming & NativeAOT#1832:Pull request#1980openedbyRafael-SOWNet
  read-a-derivative-of-a-product-with-a-function-raised-from-nothing

  Oct 20, 20265m 27s
  More actions for workflow run 1832

• Integrate secant powers of a logarithm two apart as the derivative of…

  completed successfully:
  Trimming & NativeAOT#1831:Commit8270086pushedbyRafael-SOWNet
  master

  Oct 20, 202610m 39s
  More actions for workflow run 1831

• Integrate three pseudo-elliptic shapes from Welz's problems in closed form

  completed successfully:
  Trimming & NativeAOT#1830:Pull request#1979openedbyRafael-SOWNet
  integrate-three-pseudo-elliptic-shapes-from-welz

  Oct 20, 20268m 42s
  More actions for workflow run 1830

• Integrate a polynomial times an artanh and the logarithm of its quadratic in closed form

  completed successfully:
  Trimming & NativeAOT#1829:Pull request#1978openedbyRafael-SOWNet
  integrate-a-polynomial-times-an-artanh-and-the-log-of-its-quadratic

  Oct 20, 20268m 12s
  More actions for workflow run 1829

• Integrate cube roots of two linears beside a power of a third, and a …

  completed successfully:
  Trimming & NativeAOT#1828:Commit56caf2cpushedbyRafael-SOWNet
  master

  Oct 20, 20266m 1s
  More actions for workflow run 1828

• Integrate secant powers of a logarithm two apart as the derivative of a product

  completed successfully:
  Trimming & NativeAOT#1827:Pull request#1977openedbyRafael-SOWNet
  integrate-secant-powers-of-a-logarithm-two-apart

  Oct 20, 202616m 43s
  More actions for workflow run 1827

• Integrate a symbolic secant power, a half-odd power of a ± a sin, and…

  completed successfully:
  Trimming & NativeAOT#1826:Commita3bc645pushedbyRafael-SOWNet
  master

  Oct 20, 202621m 11s
  More actions for workflow run 1826

• 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:
  Trimming & NativeAOT#1825:Pull request#1976openedbyRafael-SOWNet
  integrate-cube-roots-of-two-linears-and-a-root-over-x-b-cx

  Oct 20, 202637m 12s
  More actions for workflow run 1825

• Write each linear once under a symbolic power (#1974)

  completed successfully:
  Trimming & NativeAOT#1824:Commita57ddccpushedbyRafael-SOWNet
  master

  Oct 20, 202610m 27s
  More actions for workflow run 1824

• Integrate a symbolic secant power, a half-odd power of a ± a sin, and an even cosine power

  completed successfully:
  Trimming & NativeAOT#1823:Pull request#1975openedbyRafael-SOWNet
  integrate-secant-powers-and-half-odd-sine-powers

  Oct 20, 202610m 58s
  More actions for workflow run 1823

• Integrate x^m (d + e x^2)^p times an inverse trigonometric function b…

  completed successfully:
  Trimming & NativeAOT#1822:Commite8f9adepushedbyRafael-SOWNet
  master

  Oct 20, 202612m 41s
  More actions for workflow run 1822