F# Test

2468 workflow runs

Read an exponential of an inverse below the bar as a negative multipl…
currently running:
F# Test#3667:Commit53a0fa4pushedbyRafael-SOWNet
master
Oct 18, 2026In progress
Read an exponential of an inverse below the bar as a negative multiple
completed successfully:
F# Test#3666:Pull request#1935openedbyRafael-SOWNet
a-power-of-a-multiple-of-the-arctangents-quadratic-splits
Oct 18, 20264m 47s
Write an exponential of a symbolic multiple of i arctan as powers of …
completed successfully:
F# Test#3665:Commit2bc0561pushedbyRafael-SOWNet
master
Oct 18, 20264m 54s
Write an exponential of a symbolic multiple of i arctan as powers of the linears
completed successfully:
F# Test#3664:Pull request#1934openedbyRafael-SOWNet
a-symbolic-multiple-of-an-arctangent-in-an-exponential
Oct 18, 20268m 42s
Write a symbolic cubic with a repeated root over its roots (#1933)
completed successfully:
F# Test#3663:Commitc1647fdpushedbyRafael-SOWNet
master
Oct 17, 20268m 13s
Write a symbolic cubic with a repeated root over its roots
completed successfully:
F# Test#3662:Pull request#1933openedbyRafael-SOWNet
a-cubic-with-a-repeated-root-is-split-over-it
Oct 17, 20264m 32s
Take a linear factor common to a sum below the bar out of it (#1932)
completed successfully:
F# Test#3661:Commit5bf5b1bpushedbyRafael-SOWNet
master
Oct 17, 20266m 12s
Take a linear factor common to a sum below the bar out of it
completed successfully:
F# Test#3660:Pull request#1932openedbyRafael-SOWNet
a-common-linear-factor-of-a-sum-below-the-bar-is-taken-out
Oct 17, 20266m 33s
Write an exponential of a whole multiple of an inverse hyperbolic tan…
completed successfully:
F# Test#3659:Commitb2ef509pushedbyRafael-SOWNet
master
Oct 17, 20267m 6s
Write an exponential of a whole multiple of an inverse hyperbolic tangent algebraically
completed successfully:
F# Test#3658:Pull request#1931openedbyRafael-SOWNet
an-exponential-of-an-inverse-hyperbolic-tangent-written-algebraically
Oct 17, 20264m 43s
Cancel a power of a cosine over a binomial in the sine (#1930)
completed successfully:
F# Test#3657:Commit081b56fpushedbyRafael-SOWNet
master
Oct 17, 20266m 8s
Cancel a power of a cosine over a binomial in the sine
completed successfully:
F# Test#3656:Pull request#1930openedbyRafael-SOWNet
a-cosine-power-over-one-plus-a-sine-cancelled
Oct 17, 20267m 10s
Integrate a function of an inverse function of a linear beside its po…
completed successfully:
F# Test#3655:Commitf77c4adpushedbyRafael-SOWNet
master
Oct 17, 20266m 43s
Integrate a function of an inverse function of a linear beside its powers under the linear
completed successfully:
F# Test#3654:Pull request#1929openedbyRafael-SOWNet
an-inverse-function-of-a-linear-beside-its-powers-under-the-linear
Oct 17, 20268m 12s
Divide out a constant common to the denominator after the half-angle …
completed successfully:
F# Test#3653:Commit9f18899pushedbyRafael-SOWNet
master
Oct 17, 20264m 47s
Divide out a constant common to the denominator after the half-angle substitution
completed successfully:
F# Test#3652:Pull request#1927synchronizebyRafael-SOWNet
an-arcsine-over-a-half-odd-power-pair-is-not-nan
Oct 17, 202612m 9s
Keep the evaluators' recursive frames to the arithmetic (#1928)
completed successfully:
F# Test#3651:Commit987e0f5pushedbyRafael-SOWNet
master
Oct 17, 202614m 8s
Keep the evaluators' recursive frames to the arithmetic
completed successfully:
F# Test#3650:Pull request#1928openedbyRafael-SOWNet
interval-evaluation-keeps-its-recursion-frame-small
Oct 17, 20267m 39s
Divide out a constant common to the denominator after the half-angle substitution
completed successfully:
F# Test#3649:Pull request#1927openedbyRafael-SOWNet
an-arcsine-over-a-half-odd-power-pair-is-not-nan
Oct 17, 20266m 37s
Integrate a power of x times an inverse tangent and the logarithm of …
completed successfully:
F# Test#3648:Commit930c5bapushedbyRafael-SOWNet
master
Oct 17, 20267m 48s
Integrate a power of x times an inverse tangent and the logarithm of its quadratic by parts
completed successfully:
F# Test#3647:Pull request#1926openedbyRafael-SOWNet
an-arctangent-times-the-logarithm-of-its-quadratic
Oct 17, 20264m 54s
Integrate a rational function over an inverse tangent's quadratic bes…
completed successfully:
F# Test#3646:Commit467d789pushedbyRafael-SOWNet
master
Oct 17, 20266m 31s
Integrate a rational function over an inverse tangent's quadratic beside it by partial fractions
completed successfully:
F# Test#3645:Pull request#1925openedbyRafael-SOWNet
a-rational-function-over-the-arctangents-quadratic-split-beside-it
Oct 17, 20267m 20s
Integrate a product of powers of a sine and a cosine beside a non-pol…
completed successfully:
F# Test#3644:Commit0d72aa4pushedbyRafael-SOWNet
master
Oct 17, 20266m 28s
Integrate a product of powers of a sine and a cosine beside a non-polynomial by linearising it
completed successfully:
F# Test#3643:Pull request#1924openedbyRafael-SOWNet
a-product-of-powers-of-a-sine-and-a-cosine-linearised
Oct 17, 20265m 22s